Universidad Tecnica Federico Santa Mara

Departamento de Matematica
Notas mat 023
Series de Fourier
Segundo Semestre 2011

1. Funciones Ortogonales

Definicion 1.1 El conjunto de funciones seccionalmente continuas {n (x) : n = 0, 1, . . . } en un intervalo finito

[, ] o infinito, se dice ortogonal en [, ] con respecto a la funcion no negativa r(x) si
Z



r(x)m (x)n (x) dx = 0 m 6= n



m , n = (1.1)

Z
r(x)|n (x)|2 dx 6= 0

n

La funcion r(x) es llamada funcion peso. 

Siempre asumiremos que r(x) posee un numero finito de ceros en el intervalo [, ] y que las integrales
en 1.1 existen para todo n. La notacion n (x) significa que consideramos el conjugado de la funcion n (x),
que en general es a valores complejos. Por ello, escribimos |n (x)|2 = n (x)n (x). Sin embargo, en la mayora
de nuestras aplicaciones las funciones consideradas son a valores reales y luego, n (x) = n (x) y ademas
|n (x)|2 = 2 (x).
El conjunto de funciones {n (x) : n = 0, 1, . . . } en [, ] con respecto a la funcion peso r(x) se dice ortonormal
si cumple con la primera de las relaciones en 1.1 para m 6= n, y ademas
Z
r(x)|n (x)|2 dx = 1 n.

As, las funciones ortonormales poseen las mismas propiedades que las funciones ortogonales, pero ademas, han
sido normalizadas, i.e., cada funcion n (x) del conjunto ortogonal ha sido dividida por su propia norma, que se
define como !1/2
Z
kn k = r(x)|n (x)|2 dx . (1.2)

Ejemplo 1.1 El conjunto

{1, cos nx, n = 1, 2, . . . },

es ortogonal sobre 0 < x < con r(x) = 1. En efecto, para m 6= n, tenemos

Z
1
Z
cos mx cos nx dx = [cos(m n)x + cos(m + n)x] dx
0 2 0
 
1 sen(m n)x sen(m + n)x 
= +
2 mn m+n 
0
 
1 sen(m n) sen(m + n)
= 0+ 0 = 0.
2 mn m+n
1. Funciones Ortogonales

Ahora, puesto que

1/2

Z
k0 k = dx =
0
Z 1/2 Z 1/2 r
2 1 + cos 2nx
kn k = cos nx dx dx = dx = ,
0 0 2 2
sigue que el conjunto ( r )
1 2
, cos nx, n = 1, 2, . . . ,

es ortonormal en 0 < x < con r(x) = 1.

Ejemplo 1.2 El conjunto  

1 1 1
, cos nx, sen nx, n = 1, 2, . . . (1.3)
2
es ortonormal sobre < x < con r(x) = 1. Para esto, primero necesitamos chequear que
Z  2 Z  2 Z  2
1 1 1
dx = 1, cos nx dx = 1, sen nx dx = 1.
2
La primera integral es evidente. En tanto, las siguientes se calculan usando el ejemplo anterior mas la propiedad
Rp Rp
de integracion de funciones pares en intervalos simetricos: p h(z)dz = 2 0 h(z)dz. En segundo lugar, debemos
chequear que

1 1 1 1
Z Z
cos nx dx = 0, sen nx dx = 0,
Z 2 2

1 1 1 1
Z
cos nx cos mx dx = 0, sen nx sen mx dx = 0, m 6= n

y

1 1
Z
cos nx sen mx dx = 0 m 6= n.

Es facil chequear esto recordando que todas las funciones involucradas son trigonometricas integradas en el
perodo (, ).

Ejemplo 1.3 El conjunto de funciones a valores complejos

 
1 inx
e ,n Z , (1.4)
2
es ortonormal en el intervalo < x < con la funcion peso r(x) = 1. En efecto
Z Z
2 1 inx inx 1
kn k = e e dx = dx = 1.
2 2
Ademas, usando la formula de Euler si m 6= n:
Z Z
1 imx inx 1
m , n = e e dx = ei(mn)x dx
2 2

1 i(mn)x 
 1 n
i(mn) i(mn)
o
= e = e e
2(m n)i 
2(m n)i
1
= {cos(m n) + i sen(m n) cos(m n) + i sen(m n)} = 0.
2(m n)i

2
2. Series de Fourier

Ejemplo 1.4 Los polinomios de Chebyshev de primer orden

{Tn (x) = cos(n arc cos x), n = 0, 1, 2, . . . },

son ortogonales en el intervalo 1 < x < 1 con la funcion peso r(x) = (1 x2 )1/2 . En efecto
1
1
Z
Tm , Tn = cos(m arc cos x) cos(n arc cos x) dx
1 1 x2
Z
= cos m cos n d (x = cos )
0
0, m 6= n


= /2, m = n 6= 0

,

m = n = 0.

2. Series de Fourier

A menudo necesitaremos expandir una funcion dada en terminos de otras funciones con una exactitud es-
pecfica de tal forma de realizar operaciones en la practica. En esta seccion mostraremos que los conjuntos de
funciones que hemos estudiado en la seccion anterior pueden ser utilizados efectivamente como la base en la
expansion de funciones mas generales.

La base {e1 , e2 , . . . , en } (ek es un vector unitario) de Rn posee una importante caracterstica: para cualquier
Pn
u Rn existe una eleccion unica de constantes 1 , . . . , n para las cuales u = i
i=1 i e . Mas aun, por la
ortonormalidad de los vectores ei , 1 < i < n podemos determinar estas constantes i , 1 < i < n como sigue
n n
!
X X
j
ue = i
i e ej = i (ei ej ) = j , 1 j n.
i=1 i=1

As, el vector u posee una unica representacion.

Una generalizacion natural de este resultado el cual es ampliamente aplicable y ha llevado a una gran cantidad de
avances en matematica avanzada puede establecerse como sigue: Sea {n (x), n = 0, 1, . . . } un conjunto ortogonal
de funciones en el intervalo [, ] con respecto a la funcion peso r(x). Entonces, una funcion arbitraria f (x)
puede ser expresada como una serie infinita que involucra a las funciones n (x), n = 0, 1, . . . como

X
f (x) = cn n (x). (2.1)
n=0

La pregunta natural que surge es el sentido de la igualdad en 2.1, i.e., el o los tipos de convergencia, si las hay,
de la serie infinita en el lado derecho para poder tener una idea de que tan bien representa a f (x). Tambien
podramos determinar los coeficientes cn , n = 0, 1, 2, . . . en 2.1.
Procederemos formalmente en primer lugar sin considerar la pregunta de la convergencia. Multiplicamos 2.1

3
2.1. Serie de Fourier de Cosenos

por r(x)m (x) e integramos desde a , para obtener

Z Z X

r(x)m (x)f (x) dx = cn r(x)n (x)m (x) dx
n=0
Z
= cm r(x)|m (x)|2 dx = cm km k2 .

As, bajo condiciones adecuadas de convergencia los coeficientes constantes cn , n = 0, 1, . . . estan dados por la
formula ,
Z
cn = r(x)n (x)f (x) dx kn k2 . (2.2)

Sin embargo, si el conjunto {n (x)} es ortonormal, es decir kn k = 1, entonces tenemos

Z
cn = r(x)n (x)f (x) dx. (2.3)

P
Si la serie n=0 cn n (x) converge uniformemente a f (x) en [, ], entonces el procedimiento previo esta justi-
ficado, y entonces los coeficientes cn estan dados por 2.2.
Los coeficientes cn obtenidos en 2.2 son llamados coeficientes de Fourier de la funcion f (x) con respecto al
P
conjunto ortogonal {n (x)} y la serie n=0 cn n (x) con coeficientes 2.2 es llamada la Serie de Fourier de f (x).
Vamos a escribir

X
f (x) cn n (x)
n=0
P
lo cual, en general, es solo una correspondencia, i.e., a menudo f (x) 6= n=0 cn n (x), a menos que se pruebe.
A continuacion, listamos algunos de los casos con mas frecuencia utilizados.

2.1. Serie de Fourier de Cosenos

En la seccion pasada hemos probado que el conjunto de funciones

( r )
1 2
0 (x) = , n (x) = cos nx, n = 1, 2, . . . ,

es ortonormal en 0 < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre 0 < x < ,
r
X c0 X 2
f (x) c0 0 (x) + cn n (x) = + cn cos nx,
n=1
n=1

donde

r
1 2
Z Z
c0 = f (t) dt, cn = f (t) cos nt dt, n 1.
0 0
Luego,
 Z 
1 2 2
Z X
f (x) f (t) dt + f (t) cos nt dt cos nx,
2 0 n=1
0

4
2.2. Series de Fourier de Senos

lo que puede ser escrito como

a0 X
f (x) + an cos nx, (2.4)
2 n=1
donde
2
Z
an = f (t) cos nt dt, n 0. (2.5)
0
Esta serie es conocida como serie de Fourier de cosenos.

Ejemplo 2.1 Vamos a encontrar la serie de Fourier de cosenos de la funcion f (x) = x, 0 < x < . Claramente
2 2
Z Z
a0 = t cos 0t dt = t dt = ,
0 0
 Z
2
 
2 sen nt  sen nt
Z
an = t cos nt dt = t dt
0 n 0 0 n
2 (1)n 1
 
2 0 0 cos n
= + = , n 1.
n n2 n2
As, de 2.4, tenemos

X 2 (1)n 1
x + cos nx, 0 < x < .
2 n=1 n2
En la figura se muestra la grafica de la funcion y la aproximacion por la serie truncada para diversos valores.

3.0

2.5

2.0

1.5

1.0

0.5

0.0
0.0 0.5 1.0 1.5 2.0 2.5 3.0

Figura 2.1 Grafico de f (x) = x (purpura) y de las aproximaciones con 1 coeficiente (rojo), 4 coeficientes (naranja) y 10 coeficientes
(verde). A medida que se toman mas coeficientes de la expansion, la grafica de la serie se ajusta a la funcion, como se esperaba.

2.2. Series de Fourier de Senos

Recuerde que el conjunto ( r )

2
n (x) = sen nx, n = 1, 2, . . .

es ortonormal sobre 0 < x < . As, para cualquier funcion continua por tramos f (x) definida sobre 0 < x < ,
r
X 2
f (x) cn sen nx,
n=1

5
2.3. Serie de Fourier Trigonometrica

donde

r
2
Z
cn = f (t) sen nt dt, n 1.
0
De nuevo podemos rescribir como

X
f (x) bn sen nx, (2.6)
n=1

donde
2
Z
bn = f (t) sen nt dt, n 1. (2.7)
0
Esta representacion de f (x) es llamada serie de Fourier de senos.

Ejemplo 2.2 Vamos a encontrar la serie de Fourier de senos de la funcion

(
1, si 0 < x < /2
f (x) =
0, si /2 < x < .

Claramente, para n 1
 
2 2 2 cos(n/2) + 1
Z Z
bn = f (t) sen nt dt = sen nt dt = .
0 0 n
As,
 
X 2 1 cos(n/2)
f (x) sen nx, 0 < x < .
n=1
n

2.3. Serie de Fourier Trigonometrica

En la seccion pasada, hemos verificado que el conjunto

 
1 1 1
0 (x) = , 2n1 (x) = cos nx, 2n (x) = sen nx, n = 1, 2, . . .
2
es ortonormal sobre < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre
< x < ,
 
c0 X cos nx sen nx
f (x) + c2n1 + c2n ,
2 n=1
donde

1
Z
c0 = f (t) dt
2
Z
1
c2n1 = f (t) cos nt dt, n1

Z
1
c2n = f (t) sen nt dt, n 1.

Al reescribir las relaciones de arriba, tenemos la serie de Fourier trigonometrica

a0 X
f (x) + (an cos nx + bn sen nx) , (2.8)
2 n=1

6
2.3. Serie de Fourier Trigonometrica

donde
1
Z
an = f (t) cos nt dt, n 0, (2.9a)


1
Z
bn = f (t) sen nt dt, n 1. (2.9b)

Para nuestra discusion posterior notamos las siguientes relaciones

r

c0 = a0 , c2n1 = an , c2n = bn . (2.10)
2
Ejemplo 2.3 Vamos a encontrar la serie de Fourier trigonometrica de la funcion
(
1, si < x < 0
f (x) =
x, si 0 < x < .

De 2.9a-2.9b, tenemos
0
1 1 1
Z Z Z
an = f (t) cos nt dt = 1 cos nt dt + t cos nt dt
0
 
1 t sen nt cos nt 
= 0+ +
n n2 0
n
1 (1) 1
= , n 1.
n2
0
1 1
Z Z
a0 = 1 1 dt + t 1 dt = 1+ ,
0 2
0
1 1 1 + (1 )(1)n
Z Z
bn = 1 sen nt dt + t sen nt dt = , n 1.
0 n

3.0

2.5

2.0

1.5

1.0

0.5

0.0
-3 -2 -1 0 1 2 3

Figura 2.2 Funcion f (x) y su serie de Fourier trigonometrica para 2 coeficientes (rojo), 6 (naranja) y 100 coeficientes (verde).
Note la oscilacion de la serie en los extremos y en los puntos de discontinuidad.

Luego, hemos obtenido


2 + X 1 (1)n 1 1 + (1 )(1)n

f (x) + cos nx + sen nx , < x < .
4 n=1
n2 n

7
2.3. Serie de Fourier Trigonometrica

Es claro que las constantes an , bn para la serie de Fourier trigonometrica son diferentes de aquellos obtenidos
para la serie de Fourier de cosenos y senos. Sin embargo, si la funcion f (x) es impar, entonces
1
Z
an = f (t) cos nt dt = 0, n0

1 2
Z Z
bn = f (t) sen nt dt = f (t) sen nt dt, n1
0
y la serie de Fourier trigonometrica se reduce a la serie de Fourier de senos. As, concluimos que si f (x) es impar,
o definida solo sobre (0, ) y hacemos su extension impar entonces la serie de Fourier de senos es valida sobre
(, ). Exactamente en el mismo sentido, si f (x) es par, o definida solo sobre (0, ) y hacemos su extension
par entonces
1 2
Z Z
an = f (t) cos nt dt = f (t) cos nt dt, n0
0
Z
1
bn = f (t) sen nt dt = 0, n1

y la serie de Fourier trigonometrica se reduce a la serie de Fourier de cosenos.

Ejemplo 2.4 Vamos a calcular la serie de Fourier trigonometrica de la funcion definida sobre < x <


(x + ) si x 2


f (x) = x si 2 x 2

x si < x 3 ,

2 2

con f (x + 2) = f (x).

Puesto que la funcion es impar, sigue que a0 = an = 0, 2

n 1. Ademas, se tiene que

2
Z
bn = f (x) sen nx dx
0
Z /2 Z !
2
= x sen nx dx + ( x) sen nx dx - -

2

2

0 /2
Z /2 Z
2
= x sen nx dx x sen nx dx
0 /2
!
Z -
2

+ sen nx dx .
/2
Figura 2.3 La funcion f (x) del ejemplo. Note que es impar.

R sen nz z cos nz
Las dos primeras integrales se calculan por partes y se obtiene z sen nz dz = . Luego
n2 n
 
2 sen nx /2 x cos nx /2 x cos nx  sen nx  cos nx 
bn = +
n2 0 n n n2 /2 n
    
0 /2 /2
n n n n 
2 sen cos cos cos

2 2 2 cos n 2 cos n 2
= + +
n2 2n n 2n n n
4 n
= 2
sen .
n 2

8
2.3. Serie de Fourier Trigonometrica

Estos coeficientes son distintos de cero si n es impar, o sea, n = 2k 1, k N. Utilizando la identidad

trigonometrica del seno de la diferencia de dos angulos, sigue que sen(2k 1) 2 = cos k = (1)k+1 . Entonces

4 (1)k+1
bk = ; y
(2k 1)2

4 X (1)k+1
f (x) sen(2k 1)x .
(2k 1)2
k=1

Finalmente, hacemos notar que si la funcion seccionalmente continua f (x) esta definida sobre L < x < L,
entonces su serie de Fourier trigonometrica 2.8 toma la forma

a0 X  nx nx 
f (x) + an cos + bn sen , (2.11)
2 n=1
L L

donde
L
1 nt
Z
an = f (t) cos dt, n0 (2.12a)
L L L
L
1 nt
Z
bn = f (t) sen dt, n 1. (2.12b)
L L L

2.3.1. Expansion de Medio Rango

Suponga que una funcion f esta definida sobre 0 < x < y que deseamos expandirla en una serie de Fourier
trigonometrica. Dado que los coeficientes an y bn involucran integrales desde a , debemos de alguna manera
extender la definicion de f al intervalo (, ). Podemos hacer esto de varias maneras a nuestro beneficio. Una
forma, es extender f tal que sea una funcion par sobre el intervalo (, ) (figura 2.4). Dado que es una funcion
par, se tiene que bn = 0, n = 1, 2, . . . y la serie de Fourier trigonometrica solo posee terminos de cosenos, es
decir, coincide con la serie de Fourier de cosenos antes estudiada. Esta expansion es denominada expansion de
medio rango.
Tambien, una funcion definida en el intervalo (0, ) puede tambien ser extendida al intervalo (, ) como una
funcion impar. La figura 2.5 muestra tal extension, y notamos que se introducen discontinuidades en x = , 0, ,
a menos que f () = f (0) = f () = 0. esto no nos preocupa, puesto que como se vera en la siguiente seccion,
los teoremas de convergencia para series de Fourier son validos para funciones seccionalmente continuas. Dado
que esta expansion es impar, se tiene que an = 0, n = 0, 1, 2, . . . , la serie resultante es una serie de Fourier de
senos.

y
Figura 2.4 Extension par de f (x) al intervalo (, ).

x
- 9
2.3. Serie de Fourier Trigonometrica

y
Figura 2.5 Extension impar de f (x) al intervalo (, ).

x
-

Ejemplo 2.5 Vamos a expandir de forma par la funcion

(
0, si 0 < x < /2
f (x) =
1, si /2 < x < .
1
El grafico de la extension par se muestra en la figu-
ra 2.6. Puesto que es una expansion par, sigue que
bn = 0, n = 1, 2, . . . Ademas
2 2
Z Z
a0 = f (t) dt = dt = 1,
0 /2
y
2 2
Z Z
ak = f (t) cos kt dt = cos kt dt
0 /2

2  2 k
= = sen
k 
/2 k 2 - -

2 2

Los coeficientes son cero, salvo los impares, i.e., si

Figura 2.6 Extension par de f (x).
k = 2n 1, n = 1, 2, . . . Usando la identidad

sen n = cos n = (1)n+1 , obtenemos
2

0, si k = 2n, n = 1, 2, . . .
ak = 2 (1)n
, si k = 2n 1, n = 1, 2, . . .
2n 1
Por lo tanto,

1 2 X (1)n
f (x) + cos nx, 0 < x < .
2 n=1 2n 1
Se deja como ejercicio realizar la expansion impar.

Si deseamos expandir una funcion seccionalmente continua definida sobre el intervalo [c , c + ], formamos
su extension periodica f0 como sigue
(
f (x), si < x < ,
f0 (x) =
f0 (x 2), para cualquier otro x.

10
2.4. Serie de Fourier Compleja

No importa cuan suave sea la funcion f , estaremos introduciendo discontinuidades en x = c y x = c +

al menos que f (c ) = f (c + ). Dado que tanto f0 (x), cos nx y sen nx son todas funciones periodicas con
periodo 2, podemos reemplazar el intervalo [, ] por [c , c + ], sobre el cual f0 coincide con f . Entonces,
los coeficientes de Fourier estan dados por
c+
1
Z
an = f (t) cos nt dt, (2.13a)
c

c+
1
Z
bn = f (t) sen nt dt. (2.13b)
c

La serie de Fourier formada con los coeficientes en 2.13a-2.13b entregan una expansion que es valida sobre el
intervalo c < x < c + .

Ejemplo 2.6 Vamos a expandir la funcion f (x) = x sobre 0 < x < 2. El grafico de la extension periodica se
muestra en la figura 2.7. Calculamos

2
1
Z
a0 = t dt = 2,
0

2  2
1 1 t sen nt cos nt
Z
an = t cos nt dt = + = 0,
0 n n2 0
2
1 2

1 t cos nt sen nt
Z
bn = t sen nt dt = +
0 n n2 0 -2 - 2 4

2
= . Figura 2.7 Extension periodica de f (x).
n

Por lo tanto,

X sen nx
f (x) 2 , 0 < x < 2.
n=1
n

Observacion 2.1 Por supuesto, podramos haber hecho los calculos sobre el intervalo [, ] usando la fun-
cion extendida f0 . Sin embargo, en tal caso, las integrales que determinan los coeficientes de Fourier deberan
separarse en dos, lo que hace mas engorrosa su determinacion, aun cuando el resultado sera el mismo.

2.4. Serie de Fourier Compleja

En la seccion anterior hemos visto que el conjunto de funciones

 
1 inx
n (x) = e , n Z ,
2
es ortonormal en el intervalo < x < con la funcion peso r(x) = 1. As, para cualquier funcion seccional-
mente continua f (x) definida sobre < x < , (hemos abusado de la notacion para estar de acuerdo con la

11
3. Convergencia de las Series de Fourier

literatura existente)

X
f (x) cn n (x),
n=

donde
1
Z
cn = f (t) eint dt.
2
As
 Z 
X 1 1
f (x) f (t)eint dt einx
n= 2 2
 
1
X Z
= f (t)eint dt einx .
n=
2

Al reescribir la relacion de arriba tenemos la serie de Fourier exponencial

X
f (x) cn einx , (2.14)
n=

donde
1
Z
cn = f (t)eint dt. (2.15)
2

Ejemplo 2.7 Vamos a encontrar la serie de Fourier exponencial de la funcion f (x) = ex definida sobre
< x < . Tenemos que
Z
1 1
Z
cn = et eint dt = e(1in)t dt
2 2
1 1 h (1in) i
= e e(1in)
2 1 in
1 1  in
e ein .

= e e
2 1 in
Usando la formula de Euler y la definicion de seno hiperbolico
1 1  
cn = e cos n e cos n
2 1 in
senh (1)n
= .
1 in
Luego

senh X (1)n inx
f (x) e , < x < .
n= 1 in

********************************************************

3. Convergencia de las Series de Fourier

En esta seccion vamos a examinar la convergencia de la serie de Fourier de la funcion f (x). Por esto,
para hacer el analisis ampliamente aplicable, asumiremos que las funciones n (x), n = 0, 1, . . . y f (x) son

12
3.1. Convergencia en Media

PN
solo seccionalemente continuas sobre [, ]. Sea la suma de los primeros N + 1 terminos de n=0 cn n (x) que
denotaremos por SN (x). Consideraremos la diferencia |SN (x) f (x)| para varios valores de N y x. Si para una
constante arbitraria > 0 existe un entero N () > 0 tal que |SN (x) f (x)| < , entonces la serie de Fourier
converge uniformemente a f (x) para todo x [, ]. Por otro lado, si N depende tanto de x como de , entonces
la serie de Fourier converge puntualmente a f (x). Sin embargo, por el momento ambos tipos de convergencia
son demasiado exigentes, y nos conformaremos con algo menos. Para este fin, estudiaremos lo siguiente.

3.1. Convergencia en Media

Definicion 3.1 Sean las funciones n (x), n 0 y (x) seccionalmente continuas sobre [, ]. Diremos que la
serie {n (x)} converge en media a (x) (con respecto a la funcion peso r(x)) en el intervalo [, ] si
Z
2
lm kn k2 = lm r(x) (n (x) (x)) dx = 0.  (3.1)
n n

As, la serie de Fourier converge en media a f (x) siempre que

Z
2
lm r(x) (SN (x) (x)) dx = 0. (3.2)
N

Antes de probar la convergencia de las series de Fourier en media, vamos a considerar la posibilidad de representar
P
a f (x) por una serie de la forma n=0 dn n (x), donde los coeficientes dn no son necesariamente los coeficientes
de Fourier. Sea
N
X
TN (x; d0 , d1 , . . . , dn ) = dn n (x)
n=0

y sea eN la cantidad kTN f k. Entonces, por la ortogonalidad de las funciones n (x) es claro que
Z N
!2
X
2 2
eN = kTN f k = r(x) dn n (x) f (x) dx
n=0
N
X Z N
X Z Z
= d2n r(x)2n (x) dx 2 dn r(x)n (x)f (x) dx + r(x)f 2 (x) dx
n=0 n=0
N
X N
X
= kn k2 (dn cn )2 kn k2 c2n + kf k2. (3.3)
n=0 n=0

As, la cantidad eN es minimizada cuando dn = cn para n = 0, 1, . . . , N . Por lo tanto, hemos establecido el

siguiente resultado.

Teorema 3.1. Para cualquier entero no negativo N , la mejor aproximacion en media a la funcion f (x) por
una expresion de la forma N
P
n=0 dn n (x) es obtenida cuando los coeficientes dn son los coeficientes de Fourier
de f (x). 

Ahora, en 3.3, hacemos dn = cn , n = 0, 1, . . . , N para obtener

N
X
kSN f k2 = kf k2 kn k2 c2n . (3.4)
n=0

13
3.1. Convergencia en Media

As, sigue que

N
X
kTN f k2 = kn k2 (dn cn )2 + kSN f k2 . (3.5)
n=0

Luego, encontramos que

0 kSN f k kTN f k. (3.6)
P
Si la serie n=0 dn n (x) converge en media a f (x), i.e., si lmN kTN f k = 0, entonces de 3.6 es claro que
la serie de Fourier converge en media a f (x), i.e., lmN kSN f k = 0. Sin embargo, 3.5 implica que
N
X
lm kn k2 (dn cn )2 = 0.
N
n=0

Pero esto es posible si y solo si dn = cn , n = 0, 1, . . . . As, hemos probado el siguiente resultado.

P
Teorema 3.2. Si una serie de la forma n=0 dn n (x) converge en media a f (x), entonces los coeficientes dn
deben ser los coeficientes de Fourier de f (x). 

Ahora, de la igualdad 3.3 notamos que

0 kSN +1 f k kSN f k.

As, la serie {kSN f k, N = 0, 1, . . . } es no creciente y acotada inferiormente por cero, y por lo tanto debe
converger. Si converge a cero, entonces la serie de Fourier de f (x) converge en media a f (x). Ademas, de 3.4,
tenemos la desigualdad
N
X
kn k2 c2n kf k2 .
n=0
PN
Dado que la serie {CN , N = 0, 1, . . . }, donde CN = n=0 kn k2 c2n es no decreciente y acotada superiormente
por kf k2 , debe converger. Por lo tanto, tenemos

X
kn k2 c2n kf k2 . (3.7)
n=0

Luego, de 3.4 vemos que la serie de Fourier de f (x) converge en media a f (x) si y solo si

X
kf k2 = kn k2 c2n . (3.8)
n=0

Para el caso en que n (x), n = 0, 1, . . . sean ortonormales, 3.7 se reduce a la desigualdad de Bessel

X
c2n kf k2 (3.9)
n=0

y 3.8 se convierte en la identidad de Parseval.

X
kf k2 = c2n . (3.10)
n=0

Resumimos nuestra discusion con el siguiente resultado

14
3.1. Convergencia en Media

Teorema 3.3. Sean {n (x), n = 0, 1, . . . un conjunto ortonormal de funciones y sean cn los coeficientes de
Fourier de f (x) dados por 2.3. Entonces son validas las siguientes

P 2
i La serie n=0 cn converge, y por lo tanto
Z
lm cn = lm r(x)n (x)f (x) dx = 0,
n n

ii La desigualdad de Bessel 3.9 es verdadera,

iii La serie de Fourier de f (x) converge en media a f (x) si y solo si la identidad de Parseval 3.10 se
cumple. 

Recordando las relaciones 2.10, para la serie de Fourier trigonometrica la identidad de Parseval puede ser
escrita como 2
r

X Z
( an )2 + ( bn )2 = f 2 (x) dx,


a0 +
2 n=1

o bien

a20 X 2 1
Z
+ (an + b2n ) = f 2 (x) dx. (3.11)
2 n=1

Ejemplo 3.1 Encontraremos la serie de Fourier trigonometrica de la funcion |x| sobre el intervalo < x < .
Puesto que es una funcion par, sigue que bk = 0, k 1. Ademas

2
Z
a0 = t dt =
0
Z 
1
 
2 2 t sen kt 
Z
ak = t cos kt dt = sen kt dt
0 k 0 k 0
  
2 cos kt  2
= 0+ = 2 [(1)k 1] k1
k k 0 k

0 si k = 2n, n = 1, 2, . . .
= 4
si k = 2n 1, n = 1, 2, . . .
(2n 1)2

Luego

X 4
|x| + cos(2n 1)x, < x < .
2 n=1 (2n 1)2

Evidentemente, |x| es una funcion seccionalmente continua sobre [, ]. Ademas, comparando su serie de
Fourier trigonometrica tenemos que
a0 4
= , a2n = 0, a2n1 = , bn = 0.
2 2 (2n 1)2

As, la identidad 3.11 entrega

 2
2 X 4 1 2
Z
+ = |t| dt,
2 n=1
(2n 1)2

15
3.2. Convergencia Puntual

que es lo mismo que

2 16 X 1 2 2
+ 2 4
=
2 n=1 (2n 1) 3
Y luego

X 1 4
= .
n=1
(2n 1)4 96

3.2. Convergencia Puntual

La discusion analtica de la convergencia puntual y uniforme de la serie de Fourier de la funcion f (x) es

complicada. Por lo tanto, en esta parte vamos a establecer varios resultados sin prueba. Estos resultados son
facilmente aplicables a problemas concretos. Denotaremos por f (x+ ) y f (x ) a los lmites de f hacia x por la
derecha e izquierda respectivamente con x (, ).

Teorema 3.4. Sean f (x) y f (x) seccionalmente continuas en el intervalo [, ]. Entonces, la serie de Fourier
trigonometrica de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (, ) y en x =
la serie converge a [f ( + ) + f ( )]/2. 
(
0, si x [, 0)
Ejemplo 3.2 Vamos a encontrar la serie de Fourier trigonometrica de la funcion f (x) =
1 si x [0, ].
Tenemos que

1
Z
a0 = 1 dt = 1.
0

1 1
Z

ak = 1 cos kt = sen kt = 0, k 1,
0 k 0

1 1
Z

bk = 1 sen kt = cos kt = 0
0 k 0

1 0, si k = 2n, n = 1, 2, . . .
= ((1)k 1) = 2
k , si k = 2n 1, n = 1, 2, . . .
(2n 1)

Luego

1 2X 1
f (x) + sen(2n 1)x = S(x), digamos, < x < .
2 n=1 (2n 1)
1.0
Del teorema anterior, la igualdad S(x) = f (x) es
valida en cada punto de los intervalos abiertos (, 0) 0.8

y (0, ), mientras que en x = 0 el lado derecho es 0.6

S(0) = 1/2 que coincide con el valor [f (0+ )+ f (0 )]/2.

0.4
Ademas, en x = , S() = 1/2 que coincide con
[f ( + ) + f ( )]/2. 0.2

0.0
-3 -2 -1 0 1 2 3

Figura 3.1 Grafico de la serie de Fourier de f (x) del ejemplo.

Note la convergencia al valor [f (0+ ) + f (0 )]/2 en x = 0.
16
3.2. Convergencia Puntual

Ejemplo 3.3 Vamos a obtener la serie de Fourier de f (x) = x + x2 /4, < x < para mostrar que
P 2 2
n=1 1/n = /6. En primer lugar tenemos que

1 t2 1 t2 2
Z   Z
a0 = t+ dt = dt = .
4 4 6

En segundo lugar, notando que n 1, t cos nt y t2 sen nt son funciones impares sigue que

1
Z
t2
Z  
1
an = t+ cos nt dt = t2 cos nt dt
4 4
"  #
2 2
Z
1 t2 sen nt 
 
1 1
Z Z
=  n t sen nt dt = 0 t sen nt dt = t sen nt dt
4 n 4 n 2n
"  #
1
 
1 t cos nt  1 cos n + cos(n)
Z
= cos nt dt = + 0
2n n  n 2n n
(1)n
= , n 1,
n2 
Z
t2 1

1
Z
bn = t+ sen nt dt = t sen nt dt
4
"  #
1
 
1 t cos nt  1 cos n + cos(n)
Z
= + cos nt dt = 0
n 
n n
2
= (1)n , n 1.
n
As

2 X (1)n
f (x) + (cos nx 2n sen nx) , < x < .
12 n=1 n2
Del teorema 3.4, al evaluar en x = , encontramos que

2 X (1)n f ( ) + f ( + )
+ 2
(cos n 2n sen n) =
12 n=1 n 2

y luego

2 X (1)n n ( + 2 /4) + ( + 2 /4) 2
+ ((1) 0) = = ,
12 n=1 n2 2 4
o

X 1 2 2 2
= = .
n=1
n2 4 12 6

Para las series de Fourier de cosenos y senos tambien tenemos resultados similares, esta vez sobre el intervalo
[0, ].

Teorema 3.5. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de cosenos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ) y en x = 0 y x =
la serie converge a f (0+ ) y f ( ), respectivamente. 

17
3.2. Convergencia Puntual

Ejemplo 3.4 Dejamos como ejercicio verificar que

2 X (1)n
f (x) = x2 +4 cos nx, 0 < x < .
3 n=1
n2

Del teorema 3.5 sigue que

2
f (x) = x , si 0 < x <


2 (1)n

X
+4 cos nx = f (0+ ) = 0, si x = 0
3 n=1
n2
f ( ) = 2 ,

si x = .

As, en x = , tenemos

2 X (1)n
+4 2
cos n = 2
3 n=1
n
y luego

2 X 1
+4 2
= 2
3 n=1
n
lo que muestra que

X 1 2
= .
n=1
n2 6

Teorema 3.6. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de senos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ). En x = 0 y x = la
serie converge a 0. 

Para derivacion e integracion de series de Fourier trigonometricas tenemos los siguientes resultados

Teorema 3.7. Suponga que f (x) es continua en (, ), f () = f () y que f (x) es seccionalmente continua.
Entonces,

X
f (x) = nan sen nx + nbn cos nx,
n=1

en cada punto x (, ) donde f (x) exista. 

Ejemplo 3.5 En el ejemplo 3.1 mostramos que la serie de Fourier trigonometrica de la funcion f (x) = |x|
esta dada por

4 X cos(2n 1)x
f (x) , < x < .
2 n=1 (2n 1)2

Claramente, f (x) es continua sobre (, ), f () = f () = . Ademas,

1, si < x < 0



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



si x = 0.

18
REFERENCIAS REFERENCIAS

Luego, f (x) es seccionalmente continua en (, ). Por ultimo, f (x) = 0 si x (, 0) (0, ) y f (x) no

existe si x = 0. As, el teorema 3.7 es aplicable y tenemos

1, si < x < 0
4 X (2n 1) sen(2n 1)x 4 X sen(2n 1)x
1, si 0 < x < = f (x) = .
n=1 (2n 1)2 n=1 2n 1
si x = 0.

Note que si bien la igualdad es valida para todo x (, 0) (0, ), en x = 0 la derivada no existe, pero la
serie de Fourier vale 0.
Teorema 3.8. Suponga que f (x) es seccionalmente continua en (, ) y

a0 X
f (x) + (an cos nx + bn sen nx) , < x < .
2 n=1

Entonces, para x [, ]
Z x x Z x
a0
Z X
f (t) dt = dt + (an cos nt + bn sen nt) dt
2 n=1

a0 X 1
an sen nx bn (cos nx + (1)n+1 ) .

= (x + ) + 
2 n=1
n
Ejemplo 3.6 Vamos a usar la relacion

2 X (1)n
f (x) = x2 +4 cos nx, < x < ,
3 n=1
n2
para encontrar un polinomio p(x) tal que

X (1)n
p(x) = sen nx, x .
n=1
n3

Claramente, la funcion f (x) = x2 cumple todas las condiciones del teorema 3.8. As, integrando desde a x,
obtenemos
x
x3 3 2 1 (1)n
Z X  
2
t dt = + = (x + ) + 4 sen nx ,
3 3 3 n=1
n n2
o
x3 2 x X (1)n
= +4 sen nx
3 3 n=1
n3
y luego

x(x2 2 ) X (1)n
p(x) = = sen nx, x .
12 n=1
n3

Referencias

[1] Ordinary and Partial Differential Equations. R. P. Agarwal & D. ORegan. Universitext, Springer Verlag,
2009.

[2] Modern Mathematical Analysis. Murray H. Protter & Charles B. Morrey. AddisonWesley Publishing Com-
pany, 1964.

19
Ejercicios
A. Ejercicios Resueltos

1. a) Pruebe que las funciones 1 (x) = 1, 2 (x) = 3(2x 1) son ortonormales en el intervalo 0 < x < 1
con la funcion peso r(x) = 1.
2
b) Encontrar la serie de Fourier de f (x) = 3x en terminos de 1 , 2 en el intervalo 0 < x < 1.
c) Sea
Z 1  2
F (a, b) = 3x2 a1 (x) b2 (x) dx.
0
Encontrar a, b tal que F (a, b) alcanza su mnimo. Ademas, encuentre el mnimo valor de F (a, b).

a) Solucion. Tenemos que

Z 1 1
1 , 2 = 3 (2x 1) dx = 3 [x2 x]0 = 0,
0
Z 1
k1 k2 = 1 , 1 = 12 dx = 1,
0
1
(2x 1)3
Z
k2 k2 = 2 , 2 = 3 (2x 1)2 dx = = 1.
0 2
Luego, las funciones 1 (x), 2 (x) son ortonormales en el intervalo 0 < x < 1.
b) Los coeficientes de Fourier estan dados por 2.3, luego

Z 1 2 3
c1 = f, 1 = 3 x dx = ,
0 3
Z 1
1
c2 = f, 2 = 3 x2 (2x 1) dx = .
0 2
As, la serie de Fourier de f (x) esta dada por

3 3
f (x) + (2x 1), 0 < x < 1.
3 2
c) Primero, notamos que F (a, b) 0. Ahora, si desarrollamos
Z 1h i
F (a, b) = 3x2 2 3x2 (a1 (x) + b2 (x)) + (a1 (x) + b2 (x))2 dx
0
Z 1 Z 1 2 Z 1 2 Z 1
= ( 3x2 )2 dx 2a 3x 1 (x) dx 2b 3x 2 (x) dx + (a1 (x) + b2 (x))2 dx
0 0 0 0
= kf k2 2ac1 2bc2 + a2 + b2 ,

donde los ultimos dos terminos se han obtenido usando la ortonormalidad de 1 , 2 . Ahora derivamos
a F con respecto a a y b para obtener
F
= 2a 2c1
a
F
= 2a 2c2 .
b

20
A. Ejercicios Resueltos

Al igualar a cero ambas ecuaciones obtenemos los valores a = c1 , b = c2 . Puesto que F (a, b) 0
sigue que estos valores minimizan F . Ademas, este valor mnimo es
3 1 1 1
F (c1 , c2 ) = kf k2 c21 c22 = = .
5 3 4 60
Note que este valor no es cero. Esto es natural, es imposible obtener una aproximacion exacta al
aproximar una funcion cuadratica usando polinomios de grado cero y uno.
(
0, si < x < 0,
2. Encontrar la serie de Fourier trigonometrica de f (x) = Utilice este resultado
1, si 0 < x < .
1
para calcular la suma
P
n=1 (2n1)2 .
Solucion. Tenemos que

1 1
Z Z
a0 = f (t) dt = 1 dt = 1,
0
1 1 1
Z Z

ak = f (t) cos kt dt = cos kt dt = sen kt|0 = 0, k 1,
0 k
1 1 1
Z Z
bk = f (t) sen kt dt = sen kt dt = cos kt|0
0 k

1 cos k 1 + (1)k+1 0, si k = 2n, n = 1, 2, . . .
= = = 2 , k 1.
k k , si k = 2n 1, n = 1, 2, . . .
(2n 1)

Luego

1 X 2
f (x) + sen(2n 1)x.
2 n=1 (2n 1)
Por ultimo notamos que la forma de la serie a calcular sugiere el uso de la identidad de Parseval, entonces

a20 X 2
1 X 4 1 1
Z
+ an + b2n = + 2 (2n 1)2
= f (t) dt.
2 n=1
2 n=1

Por lo tanto

X 1 2
2
= .
n=1
(2n 1) 8

3. Encuentre la serie de Fourier trigonometrica de la funcion cos ax sobre [, ]. Utilice este resultado para
calcular el valor de la serie n=1 (1)
P n+1

n2 a2 .
Solucion. Dejamos propuesto como ejercicio el caso a Z. Para los otros casos, dado que cos ax es una
funcion par, sigue que bn = 0, n 1 y

2 1
Z
an = cos ax cos nx dx = [cos(n a)x + cos(n + a)x] dx
0
 
1 sen(n a)x sen(n + a)x 
= +
na n+a 
0
 
1 sen a sen a 1 2a
= (1)n+1 = (1)n+1 sen a 2 , n 0.
na n+a n a2

21
A. Ejercicios Resueltos

Luego, sigue que

"
#
2a 1 X (1)n+1
cos ax sen a + cos nx , < x < .
2a2 n=1 n2 a2

Al evaluar en el punto de continuidad x = 0 y usando el teorema 3.4 tenemos

"
#
2a 1 X (1)n+1
sen a + = cos 0 = 1
2a2 n=1 n2 a2

y luego

X (1)n+1 1 h a i
= 1 .
n=1
n2 a2 2a2 sen a
(
0 si < x < 0
4. Considere a la funcion de periodo 2 definida por f (x) =
sen x si 0<x<

a) Pruebe que la serie de Fourier S(x) de f (x) es

1 sen x 2 X cos 2nx
S(x) = + ,
2 n=1 4n2 1

senalando claramente cuales son los coeficientes de la expansion.

b) Utilice lo anterior para calcular

X (1)n
.
n=1
4n2 1

a) Solucion Hacemos uso de las identidades sen cos = [sen( + ) + sen( )]/2, sen sen =
[cos( ) cos( + )]/2 para calcular los coeficientes

1 1 2
Z Z
a0 = f (t) dt = sen t dt = ,
0
1 1 1
Z Z

a1 = f (t) cos t dt = sen t cos t dt = cos 2t|0 = 0,
0 4
1
Z
1
Z
ak = f (t) cos kt dt = (sen(1 + k)t + sen(1 k)t) dt
2 0
  
1 (1)k+1 1 (1)k+1 1
  
1 cos(1 + k)t  cos(1 k)t 
= + = +
2 1 + k 0 1 k 0 2 1+k 1k
k+1 k+1
 
(1) 1 1 1 (1) 1 1
= = , k2
2 k1 k+1 k2 1
2 1

si k = 2n, n = 1, 2, . . .
= 4n2 1
0 si k = 2n + 1, n = 1, 2, . . .
(
1 1 1/2 si n = 1
Z
bn = f (t) sen nt dt = sen t sen nt dt =
0 0 si n 6= 1

22
A. Ejercicios Resueltos

Con lo cual

1 sen x 2 X cos 2nx
S(x) = + , < x < ,
2 n=1 4n2 1
que es lo deseado.
b) Evaluamos en el punto de continuidad x = /2. As

1 1 2 X (1)n
1= + .
2 n=1 4n2 1

Resolviendo, se llega a

(1)n
 
X 1 1
= .
n=1
4n2 1 2 2

5. a) Obtenga la expansion en serie de Fourier trigonometrica de la funcion periodica f (x) de perodo 2

definida sobre el perodo 1 < x < 1 por
(
0 si 1 < x < 0
f (x) =
1 x si 0 < x < 1

b) Usar el resultado anterior para calcular la suma de la serie numerica

X 1
,
n=1
(2n 1)2

a) Solucion. Los coeficientes de Fourier de f (x) estan dados por

Z 1 Z 1
1 1
(1 x)2 10 =

a0 = f (x) dx = (1 x) dx =
1 0 2 2
Z 1 Z 1 (
u =1x du = dx
an = f (x) cos(nx) dx = (1 x) cos(nx) dx 1
1 0 dv = cos(nx) dx v = n sen(nx)
Z 1
1 1 1 cos(n)
sen(nx) dx = 2 2 cos(nx) 10 =

= , n = 1, 2, 3, . . .
n 0 n n2 2
Z 1 Z 1 (
u =1x du = dx
bn = f (x) sen(nx) dx = (1 x) sen(nx) dx 1
1 0 dv = sen(nx) dx v = n cos(nx)
Z 1
1 1 1 1 1
2 2 sen(nx) 10 =

= cos(nx) dx = , n = 1, 2, 3, . . .
n n 0 n n n
La serie de fourier de la funcion f (x) es
 
1 X 1 cos(n) 1
+ cos(nx) + sen(nx) , 1 < x < 1.
4 n=1 n2 2 n
1
b) En x = 0 la suma de la serie tiene valor 2 (f (0+ ) + f (0 )) = 12 , entonces

1 1 X 1 cos(n) 1 2 2 2 2 2
= + 2 2
= + 2 2 + 2 2 + 2 2 + 2 2 + ... + ...
2 4 n=1 n 4 1 3 5 7 (2n 1)2 2

X 1 2
Por lo tanto 2
= .
n=1
(2n 1) 8

23
B. Ejercicios Propuestos

B. Ejercicios Propuestos

1. Encuentre la serie de Fourier de cosenos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
(
2
0, si 0 < x < /2
(i) f (x) = x (ii) f (x) = (iii) f (x) = cos x.
1, si /2 < x <

2. Encuentre la serie de Fourier de senos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:

(i) f (x) = 1 (ii) f (x) = x.

3. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:

(
1, si < x < 0
(i) f (x) = x , < x < (ii) f (x) =
2, si 0 < x <
x, si < x < 0


(iii) f (x) = 2, si x=0

ex , si 0 < x < .

Ademas, para cada serie grafique la suma mostrando algunos terminos graficamente, comparando con la
funcion expandida.

4. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:

0, si 2 < x < 1


2
(i) f (x) = x , 0 < x < 2 (ii) f (x) = 1, si 1 < x < 1

0, si

1 < x < 2.

5. Sea f (x) una funcion periodica de perodo 2 tal que sus coeficientes de Fourier existan. Suponga que
f ( x) = f (x), x. Muestre que an = 0 si n es impar y que bn = 0 si n es par. Encuentre explicitamente
c0 , c2 y c4 .

6. Encontrar, si existe, una serie de Fourier de perodo fundamental 2 para la funcion f (x) = sen3 x, x R.
Justifique brevemente su respuesta.

7. Sea f una funcion arbitraria, seccionalmente continua en [0, ], simetrica con respecto a la recta x = /2.
Demostrar que los unicos terminos no nulos en el desarrollo de Fourier senoidal de f , con perdo 2, son
los terminos b2k1 , k = 1, 2, . . .

8. Desarrolle la funcion:
f (x) = x 1, 1x2

en serie de Fourier, de tal modo que esa expansion tenga solo terminos pares.

24
B. Ejercicios Propuestos

9. Demostrar o refutar la identidad

2 X cos 2nx
x( x) = , 0 x .
6 n=1
n2

(
1, si 0 < x < /2 2
q
10. Considere la funcion f (x) = Es sabido que las funciones n (x) =
sen nx, n =
0, si /2 < x < .
1, 2, 3 forman un conjunto ortonormal en el intervalo 0 < x < . Encuentre los valores de a, b para los
cuales la integral Z
F (a, b) = (f (x) a1 (x) b(2 (x) + 3 (x)))2 dx
0
alcanza su mnimo.
(
0, si x [1, 0)
11. Sea f (x) = Muestre que
1, si x [0, 1].

1  2 Z 1
1 3
Z

2
f (x) x dx f (x) d0 d1 x d2 x2 dx
1 2 4 1

para cualquier eleccion del conjunto de constantes d0 , d1 y d2 .

12. Sean f (x) y g(x) seccionalmente continuas en el intervalo [, ] tal que sus coeficientes de Fourier sean
iguales con respecto a un conjunto ortonormal de funciones. Muestre que f (x) = g(x) en cada punto de
[, ] donde ambas funciones sean continuas.

13. La serie de Fourier trigonometrica de la funcion ex sobre el intervalo < x < esta dada por
"
#
x 2 senh 1 X (1)n
e + (cos nx n sen nx) .
2 n=1 n2 + 1

a) Utilice la relacion de arriba para mostrar que

X 1 1
= coth .
n=1
n2 +1 2 2

b) Encuentre el valor de la suma

X (1)n
.
n=1
n2 + 1
Justifique su respuesta.

25