GUIA 10

Series de Fourier
A finales del siglo XVIII Jan Baptiste Joseph Fourier (1768-1830) descubrio un
metodo que permite aproximar funciones periodicas mediante combinaciones lineales
de funciones trigonometricas sencillas.

1. Revision sobre el espacio euclideo Rn

En esta gua se desarrollara una analoga entre el espacio euclideo Rn y el llamado
espacio de las funciones cuadrado integrables. Presentaremos de manera sucinta las
principales propiedades del espacio euclideo:

Bases, producto interno y ortogonalidad. Como se sabe, cualquier base en

R , digamos {ej , j = 1, . . . , n}, permite expresar un vector x Rn arbitrario de
n

manera unica mediante combinaciones lineales de elementos de la base, es decir,

n
X
x= aj ej ,
j=1

los componentes relativos a la base (tambien llamados coeficientes) aj , j = 1, , n

de x se determinan mediante la formula

aj =< x, ej >

en donde < , > indica el producto escalar en Rn . Dos vectores x, y Rn se dicen

ortogonales si < x, y >= 0.
Como ensena el Algebra lineal, un conjunto de vectores {v1 vk } se llama line-
almente independiente si
k
X
aj vj = 0 implica a1 = = aj = 0.
j=1

El numero maximo de vectores linealmente independientes que tiene un espacio vec-

torial se llama la dimension del espacio. Se demuestra en los cursos de Algebra lineal
que la dimension de Rn es n.
P
Normas en Rn . La norma del vector x = nj=1 aj ej , esta dado por
v
uX
u n 2
kxk = t aj = < x, x >.
j=1

1
La norma de vectores en Rn tiene las siguientes propiedades

kx + yk kxk + kyk, kxk = || kxk, R

kx + yk2 = kxk2 + 2 < x, y > +kyk2 ,
| < x, y > | kxk kyk.

2. El espacio de funciones cuadrado integrables

Si bien Fourier ideo su metodo pensando en funciones continuas, ocurre que sus
ideas se pueden aplicar mejor en el contexto mas amplio de las funciones cuadrado
integrables. En lo que sigue, miraremos las funciones como elementos de un espacio
vectorial, es decir, las miraremos como vectores, y por eso sera conveniente utilizar
negrillas para denotarlas.
De aqu en adelante emplearemos la siguiente notacion para las funciones trigo-
nometricas definidas en un intervalo [l, l]:

kx kx
sk (x) = sen , ck (x) = cos
l l
en donde k = 0, 1, . Se observa que para todo k = 0, 1, , sk y ck son funciones
periodicas con perodo 2l .

Definicion 1 Sea l > 0. Una funcion f : [l, l] R se llama cuadrado integrable si

Z l
|f (x)|2 dx < .
l

El conjunto de funciones cuadrado integrables en [l, l] se denota con L2 [l, l].

Ejemplo 1. Toda funcion definida en [l, l], acotada y continua a trozos es cua-
drado integrable en su dominio. Es claro que las funciones trigonometricas sk y ck
son cuadrado integrables en [l, l]. En efecto, un calculo elemental muestra que
Z l Z l
kx
2 kx
cos dx = l, sen2 dx = l.
l l l l
.

Definicion 2 En L2 [l, l] definiremos el producto interno entre funciones f y g por

Z l
1
< f , g >= f (x) g(x) dx.
l l

2
La norma kf k de una funcion f L2 [l, l] esta definida por
s Z
1 l p
kf k = f (x)2 dx = < f , f >.
l l

Diremos que dos funciones f y g en L2 [l, l] son ortogonales si < f , g >= 0.

Ejemplo 2. El ejemplo 1 muestra que

ksk k = kck k = 1, k = 1, 2, . (1)

De otro lado, de la definicion del producto interno se tiene

Z
1 l kx j x
< ck , sj >= cos sen dx.
l l l l

Ahora, al aplicar la identidad trigonometrica

1
cos 1 sen 2 = (sen (2 1 ) sen (2 + 1 )) ,
2
kx j x
con 1 = l
y 2 = l
resulta
Z l Z l
1 (j + k) x 1 (j k) x
< ck , sj >= sen dx + sen dx.
2l l l 2l l l
(j+k) x
La sustitucion s = l
dx conduce a
Z l Z (j+k)
(j + k) x l
sen dx = sen s ds = 0,
l l (j + k) (j+k)

por consiguiente < ck , sj >= 0.

Analogamente se muestra que para todo k, j = 0, 1, 2,

0 si k = j
< ck , cj >=< sk , sj >= kj
1 si k =6 j.

lo que implica entre otras cosas que las funciones ck y sj son ortogonales.

Lema 1 El producto escalar en L2 [l, l] tiene las siguientes propiedades

< f , g >=< g, f >, < f + g, h >=< f , g > + < g, h >, < f , g >= < f , g > .

3
Teorema 1 El conjunto de funciones L2 [l, l] tiene estructura de espacio vectorial
normado, es decir, si f y g estan en L2 [l, l] y si es un escalar cualquiera, entonces
(f + g) L2 [l, l], (f ) L2 [l, l].
Mas aun,
kf + gk kf k + kgk, kf k = || kf k,
kf + gk2 = kf k2 + 2 < f , g > +kgk2 ,
| < f , g > | kf k kgk.
Demostracion. Probar que (f +g) L2 [l, l] es equivalente a mostrar que la integral
S definida mediante Z l
s= (f (x) + g(x))2 dx
l

es finita. Ahora bien, en vista de que a b a2 + b2 para cualquier par de numeros

reales a y b, se tiene para cualquier x [l, l] que

(f (x) + g(x))2 = f 2 (x) + 2f (x) g(x) + g2 (x) 2 f 2 (x) + g2 (x) ,
por consiguiente Z Z
l l
2
s2 f (x) dx + 2 g2 (x) dx < .
l l
QED.

A la par de las analogas senaladas entre Rn y L2 [l, l] se dan importantes dife-

rencias entre estos dos espacios. Sabemos por ejemplo que Rn tiene dimension (finita)
n, sin embargo
Teorema 2 L2 [l, l] es un espacio vectorial normado de dimension infinita.
Demostracion. Sea N cualquier numero natural (N puede ser arbitrariamente gran-
de). Mostraremos que existe una coleccion de N elementos (funciones) en L2 [l, l]
que es linelamente independiente. En efecto, basta tomar N funciones trigonometricas
distintas como las definidas en el ejemplo 2. Para simplificar el argumento, tomemos
la coleccion {c1 , cN }, y sean a1 , , aN escalares tales que
a1 c1 + + am cm + + aN cN = 0.
donde m {1, , M } es un indice arbitrario. Mostraremos (tengase en cuenta la
analoga con el espacio euclideo Rn ) que todos los escalares a1 , , aN se anulan.
En virtud del Lema 1 se tiene
< a1 c1 + + am cm + + aN cN , cm >=
a1 < c1 , cm > + + am < cm , cm > + + aN < cN , cm >=
am < cm , cm >= am = 0,

4
 f (x)
m

x
l l l l
m m

Figura 1: Grafica de la funcion

puesto que < ck , cj >= kj y < cm , cm >= 1. QED

Observacion. Como se ha senalado la norma kf k de una funcion f L2 [l, l]

indica el tamano de la funcion f . Ahora bien, el que kf k sea pequeno no implica que
f (x) sea pequeno en cualquier x [l, l]. En efecto, sea m un entero tan grande como
se quiera, y defnase la funcion

1 | ml x|, si |x| ml ,
fm (x) =
0, si ml < |x|
cuyo grafico aparece en la figura 1. Se tiene que fm (0) = 1 para cualquier entero m.
Ahora bien, de
Z Z
2 1 l 2 2 l m 2
kfm k = fm (x) dx = (1 x)2 dx =
l l l 0 l 3m
q
2
se concluye que kfm k = 3m puede hacerse arbitrariamente pequeno, mas el valor
fm (0) = 1 siempre es fijo. Se tiene asi que
lm kfm k = 0, lm fm (0) = 1,
m m

lo que no implica contradiccion alguna.

3. Representacion de funciones mediante series de

Fourier
Fourier descubrio lo que en lenguaje moderno se expresa dicendo que la coleccion
(infinita) de funciones trigonometricas
c0 , s0 , c1 , s1 , c2 , s2 , c3 , s3 ,

5
forma una base de L2 [l, l]. De manera mas precisa:
Teorema 3 Para cualquier funcion f L2 [l, l] existen escalares a0 , a1 , b1 , a2 , b2 , ,
llamados coeficientes de Fourier de la funcion f , tal que f puede expresarse de manera
unica mediante
X
f= (aj cj + bj sj ) , (2)
j=0

en donde los coeficientes de Fourier an y bn , n = 0, 1, 2, , estan dados por

Z Z
1 l nx 1 l nx
an = f (x) cos dx, bn = f (x) sen dx. (3)
l l l l l l
Demostracion. Una demostracion rigurosa de este resultado esta mas alla de los
objetivos de este curso. Sin embargo, precisaremos el sentido en que debe entenderse
(2): para todo > 0 existe un entero positivo m tal que
m
X
f= (aj cj + bj sj ) + Rm ,
j=0

donde la funcion residual Rm satisface kRm k . Mas aun,

lm kRm k = 0. (4)
m

Ahora mostraremos de donde sale el valor de los coeficientes de Fourier. El termino

Xm
Sm (aj cj + bj sj )
j=0

se suele llamar suma parcial de orden m. Tenemos entonces que f = Sm + Rm , con

lmm kRm k = 0. Por eso, para cualquier entero positivo i fijo se tiene
< f , ci >=< Sm , ci > + < Rm , ci > .
Ahora bien, teniendo en cuenta la definicion de Sm y el hecho de que las funciones
trigonometricas cj , sj , j = 1 , son ortogonales entre si resulta < Sm , ci >= ai . De
otro lado, como kci k = 1 se tiene
| < Rm , ci > | kRm k kci k = kRm k.
Asi que
ai =< f , ci > +kRm k,
y tomando lmm a ambos lados se obtiene finalmente que ai =< f , ci >. Analoga-
mente se muestra que bi =< f , si >. QED.

Observacion. Segun el teorema anterior f = Sm + Rm , con lmm kRm k = 0.

Pero la igualdad 4 no implicaPque lmm Rm (x) = 0. En consecuencia, no necesa-
riamente es cierto que f (x) =
j=0 (aj cj (x) + bj sj (x)) para todo x [l, l].

6
Definicion 3 La representacion en serie de Fourier de una funcion f L2 [l, l] es

a0 X n x

nx
f + an cos + bn sen ,
2 n=1
l l

donde los coeficientes de Fourier an y bn , n = 0, 1, 2, , estan dados por (3).

Ejemplo. Una funcion no tiene porque ser continua para poderse representar me-
diante una serie de Fourier. Considere (l = 1)

0 si 1 x < 0,
f (x) =
1 si 0 x l.

Esta claro que f L2 [1, 1]. Los coeficientes de Fourier estan dados por
Z 1 Z 1
an = f (x) cos n x dx = cos n x dx = 0,
1 0
Z 1 Z 1
1 cos n (1 (1)n )
bn = f (x) sen n x dx = sen n x dx = = .
1 0 n n
Entonces
Como ya se ha senalado, la representacion en serie de Fourier de f no tiene porque
coincidir con el valor f (x). Sin embargo, coinciden cuando f es contnua y acotada y
x es un punto interior de [l, l].

Teorema 4 Si f es una funcion continua y acotada definida en [l, l] y si x (l, l)

entonces
a0 X n x

nx
f (x) = + an cos + bn sen ,
2 n=1
l l
donde los coeficientes an y bn , n = 0, 1, 2, , estan dados por (3).

4. Series de Fourier de funciones pares e impares

La representacion series de Fourier se simplifica en el caso de funciones pares o
impares.

Definicion 4 Una funcion f L2 [l, l] se llama una funcion par si f (x) = f (x)
para todo x [l, l]. La funcion se llama impar si cumple f (x) = f (x).

Los graficos de las funciones pares son simetricos con respecto al eje de las orde-
nadas, y le grafico de funciones impares es simetrico con respecto al origen (simetra
radial). cos x es el ejemplo tpico de una funcion par mientras que sen x es impar. Se

7
verifica sin dificultad que las funciones trigonometricas cj , j = 1, , son todas pares
y que sj , j = 1, , son todas funciones impares. La paridad de funciones se conseva
en las operaciones de suma y multiplicacion. De hecho se tiene
par par produce par
par impar produce impar
impar impar produce par
Otra propiedad importante es la siguiente
Rl
f impar implica f (x) dx = 0,
Rl
l Rl
f par implica l
f (x) dx = 2 0 f (x) dx
Teorema 5 Si f L2 [l, l] es una funcion par entonces la representacion en series
de Fourier de f esta dada por
Z
a0 X nx 2 l nx
f + an cos , con an = f (x) cos dx.
2 n=1
l l 0 l
Teorema 6 Si f L2 [l, l] es una funcion impar entonces la representacion en
series de Fourier de f esta dada por
X Z
nx 2 l nx
f bn sen , con bn = f (x) sen dx.
n=1
l l 0 l
Ejemplo Calcularemos la representacion en series de Fourier de f (x) = x, x
[1, 1] (l = 1). Como f es una funcion impar y es continua en [1, 1] entonces para
todo x (1, 1) se tiene

X Z 1
f (x) = bn sen n x, con bn = 2 x sen n x dx.
n=1 0

Integrando por partes tenemos

Z 1
4 4
2 x sen n x dx = cos n = (1)n .
0 n n
Luego
X
n 4 4 X (1)n
f (x) = (1) sen n x = sen n x
n=1
n n=1 n
Notese que la representacion en series de Fourier de f no coincide con f cuando x = 1.
En efecto, al evaluar la serie de f en x = 1 se obtine el valor cero (sen n = 0 para
todo n). Mas es claro que f (1) = 1.

5. Interpretacion fsica de las series de Fourier

Espectro de frecuencias

8
 f(x)

l l x

cn
1/2
cn=(an+ b n )

= /l
: frecuencia fundamental

2 3 4 5 6

cn : peso de las contribuciones de los modos n

l