GUIA 10

Series de Fourier
A nales 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 R
n
En esta gua se desarrollara una analoga entre el espacio euclideo R
n
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
n
, digamos {e
j
, j = 1, . . . , n}, permite expresar un vector x R
n
arbitrario de
manera unica mediante combinaciones lineales de elementos de la base, es decir,
x =
n

j=1
a
j
e
j
,
los componentes relativos a la base (tambien llamados coecientes) a
j
, j = 1, , n
de x se determinan mediante la formula
a
j
=< x, e
j
>
en donde < , > indica el producto escalar en R
n
. Dos vectores x, y R
n
se dicen
ortogonales si < x, y >= 0.
Como ense na el Algebra lineal, un conjunto de vectores {v
1
v
k
} se llama line-
almente independiente si
k

j=1
a
j
v
j
= 0 implica a
1
= = a
j
= 0.
El n umero 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 R
n
es n.
Normas en R
n
. La norma del vector x =

n
j=1
a
j
e
j
, esta dado por
x =

j=1
a
2
j
=

< x, x >.
1
La norma de vectores en R
n
tiene las siguientes propiedades
x +y x +y, x = || x, R
x +y
2
= x
2
+ 2 < x, y > +y
2
,
| < x, y > | x y.
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 denidas en un intervalo [l, l]:
s
k
(x) = sen
k x
l
, c
k
(x) = cos
k x
l
en donde k = 0, 1, . Se observa que para todo k = 0, 1, , s
k
y c
k
son funciones
periodicas con perodo
2
l
.
Denicion 1 Sea l > 0. Una funcion f : [l, l] R se llama cuadrado integrable si

l
l
|f (x)|
2
dx < .
El conjunto de funciones cuadrado integrables en [l, l] se denota con L
2
[l, l].
Ejemplo 1. Toda funcion denida en [l, l], acotada y continua a trozos es cua-
drado integrable en su dominio. Es claro que las funciones trigonometricas s
k
y c
k
son cuadrado integrables en [l, l]. En efecto, un calculo elemental muestra que

l
l
cos
2
k x
l
dx = l,

l
l
sen
2
k x
l
dx = l.
.
Denicion 2 En L
2
[l, l] deniremos el producto interno entre funciones f y g por
< f , g >=
1
l

l
l
f (x) g(x) dx.
2
La norma f de una funcion f L
2
[l, l] esta denida por
f =

1
l

l
l
f (x)
2
dx =

< f , f >.
Diremos que dos funciones f y g en L
2
[l, l] son ortogonales si < f , g >= 0.
Ejemplo 2. El ejemplo 1 muestra que
s
k
= c
k
= 1, k = 1, 2, . (1)
De otro lado, de la denicion del producto interno se tiene
< c
k
, s
j
>=
1
l

l
l
cos
k x
l
sen
j x
l
dx.
Ahora, al aplicar la identidad trigonometrica
cos
1
sen
2
=
1
2
(sen (
2

1
) sen (
2
+
1
)) ,
con
1
=
k x
l
y
2
=
j x
l
resulta
< c
k
, s
j
>=
1
2l

l
l
sen
(j + k) x
l
dx +
1
2l

l
l
sen
(j k) x
l
dx.
La sustitucion s =
(j+k) x
l
dx conduce a

l
l
sen
(j + k) x
l
dx =
l
(j + k)

(j+k)
(j+k)
sen s ds = 0,
por consiguiente < c
k
, s
j
>= 0.
Analogamente se muestra que para todo k, j = 0, 1, 2,
< c
k
, c
j
>=< s
k
, s
j
>=
kj

0 si k = j
1 si k = j.
lo que implica entre otras cosas que las funciones c
k
y s
j
son ortogonales.
Lema 1 El producto escalar en L
2
[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 L
2
[l, l] tiene estructura de espacio vectorial
normado, es decir, si f y g estan en L
2
[l, l] y si es un escalar cualquiera, entonces
(f +g) L
2
[l, l], (f ) L
2
[l, l].
Mas a un,
f +g f +g, f = || f ,
f +g
2
= f
2
+ 2 < f , g > +g
2
,
| < f , g > | f g.
Demostracion. Probar que (f +g) L
2
[l, l] es equivalente a mostrar que la integral
S denida mediante
s =

l
l
(f (x) +g(x))
2
dx
es nita. Ahora bien, en vista de que a b a
2
+ b
2
para cualquier par de n umeros
reales a y b, se tiene para cualquier x [l, l] que
(f (x) +g(x))
2
= f
2
(x) + 2f (x) g(x) +g
2
(x) 2

f
2
(x) +g
2
(x)

,
por consiguiente
s 2

l
l
f
2
(x) dx + 2

l
l
g
2
(x) dx < .
QED.
A la par de las analogas se naladas entre R
n
y L
2
[l, l] se dan importantes dife-
rencias entre estos dos espacios. Sabemos por ejemplo que R
n
tiene dimension (nita)
n, sin embargo
Teorema 2 L
2
[l, l] es un espacio vectorial normado de dimension innita.
Demostracion. Sea N cualquier n umero natural (N puede ser arbitrariamente gran-
de). Mostraremos que existe una coleccion de N elementos (funciones) en L
2
[l, l]
que es linelamente independiente. En efecto, basta tomar N funciones trigonometricas
distintas como las denidas en el ejemplo 2. Para simplicar el argumento, tomemos
la coleccion {c
1
, c
N
}, y sean a
1
, , a
N
escalares tales que
a
1
c
1
+ + a
m
c
m
+ + a
N
c
N
= 0.
donde m {1, , M} es un indice arbitrario. Mostraremos (tengase en cuenta la
analoga con el espacio euclideo R
n
) que todos los escalares a
1
, , a
N
se anulan.
En virtud del Lema 1 se tiene
< a
1
c
1
+ + a
m
c
m
+ + a
N
c
N
, c
m
>=
a
1
< c
1
, c
m
> + + a
m
< c
m
, c
m
> + + a
N
< c
N
, c
m
>=
a
m
< c
m
, c
m
>= a
m
= 0,
4
l
m m
l l
f (x)
m
x
l
Figura 1: Graca de la funcion
puesto que < c
k
, c
j
>=
kj
y < c
m
, c
m
>= 1. QED
Observaci on. Como se ha se nalado la norma f de una funcion f L
2
[l, l]
indica el tama no de la funcion f . Ahora bien, el que f sea peque no no implica que
f (x) sea peque no en cualquier x [l, l]. En efecto, sea m un entero tan grande como
se quiera, y defnase la funcion
f
m
(x) =

1 |
m
l
x|, si |x|
l
m
,
0, si
l
m
< |x|
cuyo graco aparece en la gura 1. Se tiene que f
m
(0) = 1 para cualquier entero m.
Ahora bien, de
f
m

2
=
1
l

l
l
f
2
m
(x) dx =
2
l

l
0
(1
m
l
x)
2
dx =
2
3m
se concluye que f
m
=

2
3m
puede hacerse arbitrariamente peque no, mas el valor
f
m
(0) = 1 siempre es jo. Se tiene asi que
lm
m
f
m
= 0, lm
m
f
m
(0) = 1,
lo que no implica contradiccion alguna.
3. Representaci on de funciones mediante series de
Fourier
Fourier descubrio lo que en lenguaje moderno se expresa dicendo que la coleccion
(innita) de funciones trigonometricas
c
0
, s
0
, c
1
, s
1
, c
2
, s
2
, c
3
, s
3
,
5
forma una base de L
2
[l, l]. De manera mas precisa:
Teorema 3 Para cualquier funcion f L
2
[l, l] existen escalares a
0
, a
1
, b
1
, a
2
, b
2
, ,
llamados coecientes de Fourier de la funcion f , tal que f puede expresarse de manera
unica mediante
f =

j=0
(a
j
c
j
+ b
j
s
j
) , (2)
en donde los coecientes de Fourier a
n
y b
n
, n = 0, 1, 2, , estan dados por
a
n
=
1
l

l
l
f (x) cos
n x
l
dx, b
n
=
1
l

l
l
f (x) sen
n x
l
dx. (3)
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
f =
m

j=0
(a
j
c
j
+ b
j
s
j
) +R
m
,
donde la funcion residual R
m
satisface R
m
. Mas a un,
lm
m
R
m
= 0. (4)
Ahora mostraremos de donde sale el valor de los coecientes de Fourier. El termino
S
m

m

j=0
(a
j
c
j
+ b
j
s
j
)
se suele llamar suma parcial de orden m. Tenemos entonces que f = S
m
+ R
m
, con
lm
m
R
m
= 0. Por eso, para cualquier entero positivo i jo se tiene
< f , c
i
>=< S
m
, c
i
> + < R
m
, c
i
> .
Ahora bien, teniendo en cuenta la denicion de S
m
y el hecho de que las funciones
trigonometricas c
j
, s
j
, j = 1 , son ortogonales entre si resulta < S
m
, c
i
>= a
i
. De
otro lado, como c
i
= 1 se tiene
| < R
m
, c
i
> | R
m
c
i
= R
m
.
Asi que
a
i
=< f , c
i
> +R
m
,
y tomando lm
m
a ambos lados se obtiene nalmente que a
i
=< f , c
i
>. Analoga-
mente se muestra que b
i
=< f , s
i
>. QED.
Observaci on. Seg un el teorema anterior f = S
m
+ R
m
, con lm
m
R
m
= 0.
Pero la igualdad 4 no implica que lm
m
R
m
(x) = 0. En consecuencia, no necesa-
riamente es cierto que f (x) =

j=0
(a
j
c
j
(x) + b
j
s
j
(x)) para todo x [l, l].
6
Denicion 3 La representacion en serie de Fourier de una funcion f L
2
[l, l] es
f
a
0
2
+

n=1

a
n
cos
n x
l
+ b
n
sen
n x
l

,
donde los coecientes de Fourier a
n
y b
n
, 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)
f (x) =

0 si 1 x < 0,
1 si 0 x l.
Esta claro que f L
2
[1, 1]. Los coecientes de Fourier estan dados por
a
n
=

1
1
f (x) cos n x dx =

1
0
cos n xdx = 0,
b
n
=

1
1
f (x) sen n x dx =

1
0
sen n xdx =
1 cos n
n
=
(1 (1)
n
)
n
.
Entonces
Como ya se ha se nalado, la representaci on 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 denida en [l, l] y si x (l, l)
entonces
f (x) =
a
0
2
+

n=1

a
n
cos
n x
l
+ b
n
sen
n x
l

,
donde los coecientes a
n
y b
n
, n = 0, 1, 2, , estan dados por (3).
4. Series de Fourier de funciones pares e impares
La representacion series de Fourier se simplica en el caso de funciones pares o
impares.
Denicion 4 Una funcion f L
2
[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 gracos de las funciones pares son simetricos con respecto al eje de las orde-
nadas, y le graco 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
verica sin dicultad que las funciones trigonometricas c
j
, j = 1, , son todas pares
y que s
j
, 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
f impar implica

l
l
f(x) dx = 0,
f par implica

l
l
f(x) dx = 2

l
0
f(x) dx
Teorema 5 Si f L
2
[l, l] es una funcion par entonces la representacion en series
de Fourier de f esta dada por
f
a
0
2
+

n=1
a
n
cos
n x
l
, con a
n
=
2
l

l
0
f(x) cos
n x
l
dx.
Teorema 6 Si f L
2
[l, l] es una funcion impar entonces la representacion en
series de Fourier de f esta dada por
f

n=1
b
n
sen
n x
l
, con b
n
=
2
l

l
0
f(x) sen
n x
l
dx.
Ejemplo Calcularemos la representaci on 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
f (x) =

n=1
b
n
sen n x, con b
n
= 2

1
0
x sen n xdx.
Integrando por partes tenemos
2

1
0
x sen n xdx =
4
n
cos n =
4
n
(1)
n
.
Luego
f (x) =

n=1
(1)
n
4
n
sen n x =
4

n=1
(1)
n
n
sen n x
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. Interpretaci on fsica de las series de Fourier
Espectro de frecuencias
8
x
l l
f(x)
2 3 4 5 6
n
c
=( a
n
+ b
n
)
1/2
n
c
n
c

: peso de las contribuciones de los modos n
l
= /l
: frecuencia fundamental
9