GUIA 10

Series de Fourier
A finales del siglo XVIII Jan Baptiste Joseph Fourier (1768-1830) descubrió un
método que permite aproximar funciones periódicas mediante combinaciones lineales
de funciones trigonométricas sencillas.

1. Revisión sobre el espacio euclideo Rn

En esta guı́a se desarrollará una analogı́a 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 única mediante combinaciones lineales de elementos de la base, es decir,

n
X
x= aj ej ,
j=1

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

de x se determinan mediante la fórmula

aj =< x, ej >

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

ortogonales si < x, y >= 0.
Como enseña 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 número máximo de vectores linealmente independientes que tiene un espacio vec-

torial se llama la dimensión 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, kλxk = |λ| kxk, λ ∈ R

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

2. El espacio de funciones cuadrado integrables

Si bien Fourier ideó su método pensando en funciones continuas, ocurre que sus
ideas se pueden aplicar mejor en el contexto más 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 será conveniente utilizar
negrillas para denotarlas.
De aquı́ en adelante emplearemos la siguiente notación para las funciones trigo-
nométricas 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
periódicas con perı́odo 2πl .

Definición 1 Sea l > 0. Una función 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 función definida en [−l, l], acotada y continua a trozos es cua-
drado integrable en su dominio. Es claro que las funciones trigonométricas sk y ck
son cuadrado integrables en [−l, l]. En efecto, un cálculo elemental muestra que
Z l Z l
kxπ
2 kxπ
cos dx = l, sen2 dx = l.
−l l −l l
.

Definición 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 función f ∈ L2 [−l, l] está 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 definición 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 trigonométrica

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 sustitución 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.

Análogamente 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 están en L2 [−l, l] y si λ es un escalar cualquiera, entonces
(f + g) ∈ L2 [−l, l], (λf ) ∈ L2 [−l, l].
Más aún,
kf + gk ≤ kf k + kgk, kλf k = |λ| kf k,
kf + gk2 = kf k2 + 2 < f , g > +kgk2 ,
| < f , g > | ≤ kf k kgk.
Demostración. 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 números

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
s≤2 f (x) dx + 2 g2 (x) dx < ∞.
−l −l
QED.

A la par de las analogı́as señaladas entre Rn y L2 [−l, l] se dan importantes dife-

rencias entre estos dos espacios. Sabemos por ejemplo que Rn tiene dimensión (finita)
n, sin embargo
Teorema 2 L2 [−l, l] es un espacio vectorial normado de dimensión infinita.
Demostración. Sea N cualquier número natural (N puede ser arbitrariamente gran-
de). Mostraremos que existe una colección de N elementos (funciones) en L2 [−l, l]
que es linelamente independiente. En efecto, basta tomar N funciones trigonométricas
distintas como las definidas en el ejemplo 2. Para simplificar el argumento, tomemos
la colección {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 (téngase en cuenta la
analogı́a 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: Gráfica de la funcion

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

Observación. Como se ha señalado la norma kf k de una función f ∈ L2 [−l, l]

indica el tamaño de la función f . Ahora bien, el que kf k sea pequeño no implica que
f (x) sea pequeño en cualquier x ∈ [−l, l]. En efecto, sea m un entero tan grande como
se quiera, y defı́nase la función
½
1 − | ml x|, si |x| ≤ ml ,
fm (x) =
0, si ml < |x|
cuyo gráfico 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 pequeño, mas el valor
fm (0) = 1 siempre es fijo. Se tiene asi que
lı́m kfm k = 0, lı́m fm (0) = 1,
m→∞ m→∞

lo que no implica contradicción alguna.

3. Representación de funciones mediante series de

Fourier
Fourier descubrió lo que en lenguaje moderno se expresa dicendo que la colección
(infinita) de funciones trigonométricas
c0 , s0 , c1 , s1 , c2 , s2 , c3 , s3 , · · ·

5
forma una base de L2 [−l, l]. De manera más precisa:
Teorema 3 Para cualquier función f ∈ L2 [−l, l] existen escalares a0 , a1 , b1 , a2 , b2 , · · · ,
llamados coeficientes de Fourier de la función f , tal que f puede expresarse de manera
única 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 nπx 1 l nπx
an = f (x) cos dx, bn = f (x) sen dx. (3)
l −l l l −l l
Demostración. Una demostración rigurosa de este resultado esta más allá 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 función residual Rm satisface kRm k ≤ ². Más aún,

lı́m kRm k = 0. (4)
m→∞

Ahora mostraremos de donde sale el valor de los coeficientes de Fourier. El término

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

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

lı́mm→∞ 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 definición de Sm y el hecho de que las funciones
trigonométricas 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 lı́mm→∞ a ambos lados se obtiene finalmente que ai =< f , ci >. Análoga-
mente se muestra que bi =< f , si >. QED.

Observación. Según el teorema anterior f = Sm + Rm , con lı́mm→∞ kRm k = 0.

Pero la igualdad 4 no implicaPque lı́mm→∞ 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
Definición 3 La representación en serie de Fourier de una función f ∈ L2 [−l, l] es

a0 X ³ n π x´
∞
nπx
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 función 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 señalado, la representación en serie de Fourier de f no tiene porque
coincidir con el valor f (x). Sin embargo, coinciden cuando f es contı́nua y acotada y
x es un punto interior de [−l, l].

Teorema 4 Si f es una función continua y acotada definida en [l, l] y si x ∈ (−l, l)

entonces
a0 X ³ n π x´
∞
nπx
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 representación series de Fourier se simplifica en el caso de funciones pares o
impares.

Definición 4 Una función f ∈ L2 [−l, l] se llama una función par si f (−x) = f (x)
para todo x ∈ [−l, l]. La función se llama impar si cumple f (−x) = −f (x).

Los gráficos de las funciones pares son simétricos con respecto al eje de las orde-
nadas, y le gráfico de funciones impares es simétrico con respecto al origen (simetrı́a
radial). cos x es el ejemplo tı́pico de una función par mientras que sen x es impar. Se

7
verifica sin dificultad que las funciones trigonométricas 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 multiplicación. 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,
R−l
l Rl
f par implica −l
f (x) dx = 2 0 f (x) dx
Teorema 5 Si f ∈ L2 [−l, l] es una función par entonces la representación en series
de Fourier de f esta dada por
∞ Z
a0 X nπx 2 l nπx
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 función impar entonces la representación en
series de Fourier de f esta dada por
X∞ Z
nπx 2 l nπx
f∼ bn sen , con bn = f (x) sen dx.
n=1
l l 0 l
Ejemplo Calcularemos la representación en series de Fourier de f (x) = x, x ∈
[−1, 1] (l = 1). Como f es una función 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
Nótese que la representación 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). Más es claro que f (1) = 1.

5. Interpretación fı́sica 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