Series de Fourier

Luis Angel Zaldvar Cruz

Departamento de Ciencias Bsicas

Instituto Tecnolgico de Tehuacn

16 de agosto de 2017
Competencias del tema
En este tema desarrollaremos las representaciones en series de funciones que
usaremos para resolver ecuaciones diferenciales parciales.
I Consideraremos una clase especial de problema de valores en la frontera
conocido como problema de Sturm-Liouville, que nos permitir introducir
varios conceptos importantes.
I Estudiaremos cinco problemas con valores en la frontera para la ecuacin
diferencial
y 00 + y = 0.
Estos problemas con valores en la frontera estn relacionados con las
ecuaciones diferenciales parciales que discutiremos posteriormente.
Definiremos qu debemos entender por valores caractersticos (valores
propios) y funciones caractersticas (funciones propias) de los problemas
con valores en la frontera y mostraremos que estas funciones
caractersticas tienen una propiedad conocida como ortogonalidad.
I Introduciremos las series de Fourier, que son expansiones de funciones
dadas en trminos de senos y cosenos.
I Utilizaremos SAGE (acrnimo de Software for Algebra and G eometry
E xperimentation) para el clculo de los coeficientes de Fourier.
Problema de Sturm-Liouville
Definicin 1
Consideremos un problema con valores en la frontera que consiste de
1. una ecuacin diferencial lineal homognea de segundo orden
 
d dy
p(x) + [q(x) + r(x)] y = 0, (1)
dx dx

donde p, q, y r son funciones reales tales que p tiene una derivada

continua, q y r son continuas, p(x) > 0 y r(x) > 0 para todo x en
un intervalo real a x b; es un parmetro independiente de x; y
2. dos condiciones adicionales

A1 y(a) + A2 y 0 (a) = 0,
B1 y(b) + B2 y 0 (b) = 0, (2)

donde A1 , A2 , B1 y B2 son constantes reales tales que A1 y A2 no

son ambas cero y B1 y B2 no son ambas cero.

Este tipo de problema con valores en la frontera se denomina un

problema de Sturm-Liouville.
Problema de valores propios para y 00 + y = 0
Si en la ecuacin diferencial (1) del problema de Sturm-Liouville hacemos
p(x) = 1, q(x) = 0 y r(x) = 1; y en las condiciones adicionales (2) hacemos
a = 0 y b = L, obtenemos los cinco problemas

Problema 1: y 00 + y = 0, y(0) = 0, y(L) = 0

Problema 2: y 00 + y = 0, y 0 (0) = 0, y 0 (L) = 0

Problema 3: y 00 + y = 0, y(0) = 0, y 0 (L) = 0

Problema 4: y 00 + y = 0, y 0 (0) = 0, y(L) = 0

Problema 5: y 00 + y = 0, y(L) = y(L), y 0 (L) = y 0 (L)

Observe que las condiciones de frontera del Problema 5, a diferencia de los

problemas 1-4, no requieren que y o y 0 sean cero en los puntos frontera, exige
solamente que y y y 0 tengan el mismo valor en x = L. Decimos que las
condiciones de frontera en el Problema 5 son peridicas.
Problema de valores propios para y 00 + y = 0

I Obviamente, y 0 (la solucin trivial) es una solucin de los Problemas

1-5 para cualquier valor de . Para la mayora de los valores de no hay
otras soluciones.
I La cuestin interesante es:
Para qu valores de los problemas (1-5) tienen soluciones
no triviales y cules son estos valores?

Definicin 2
Un valor de para el que uno de los problemas 1-5 tiene una solucin no trivial
es un valor propio de dicho problema y las soluciones no triviales son funciones
propias asociadas con .
Los Problemas 1-5 se denominan problemas de valores propios. Resolver un
problema de valores propios significa encontrar todos sus valores propios y sus
funciones propias asociadas. Consideraremos como un hecho dado que todos
los valores propios de los Problemas 1-5 son nmeros reales.
Problema de valores propios para y 00 + y = 0

Teorema 1
Los Problemas 1-5 no tienen valores propios negativos. Adems, = 0 es un
valor propio de los Problemas 2 y 5, con funcin propia asociada y0 = 1, pero
= 0 no es un valor propio de los Problemas 1, 3, o 4.

Demostracin.
Consideraremos los Problemas 1-4 y dejamos el Problema 5 como ejercicio al
lector. Si y 00 + y = 0, entonces y(y 00 + y) = 0, as
L
y(x) y 00 (x) + y(x) dx = 0


0

y por consiguiente
L L
y 2 (x)dx = y(x)y 00 (x)dx. (3)
0 0
Problema de valores propios para y 00 + y = 0
Continuacin de la demostracin.
La integracin por partes produce
L L L
2
y(x)y 00 (x)dx = y(x)y 0 (x) y 0 (x) dx

0 0 0
L
2
= y(L)y 0 (L) y(0)y 0 (0) y 0 (x) dx. (4)
0

Sin embargo, si y satisface cualquiera de las condiciones de frontera de los Problemas

1-4, entonces
y(L)y 0 (L) y(0)y 0 (0) = 0;
de aqu, (3) y (4) implican
L L
2
y 2 (x)dx = y 0 (x) dx.
0 0

L
Si y 6= 0, entonces 0 y 2 (x)dx > 0. Por consiguiente 0, y si = 0, entonces
y 0 (x) = 0 para todo x en (0, L) (por qu?), y y es una funcin constante en (0, L).
Cualquier funcin constante satisface las condiciones de frontera del Problema 2, as
= 0 es un valor propio del Problema 2 y cualquier funcin constante distinta de cero
es una funcin propia asociada. Sin embargo, la nica funcin constante que satisface
las condiciones de frontera de los Problemas 1, 3 o 4 es y 0. Por consiguiente = 0
no es un valor propio de los Problemas 1, 3 o 4.
Problema de valores propios para y 00 + y = 0
Teorema 2
El problema de valores propios

y 00 + y = 0, y(0) = 0, y(L) = 0 (5)

tiene un nmero infinito de valores propios positivos n = n2 2 /L2 , con funciones

propias asociadas
nx
yn = sen , n = 1, 2, 3, . . . .
L
No hay otros valores propios.

Demostracin.
Del Teorema 1, cualquier valor propio de (5) debe ser positivo. Si y satisface (5) con
> 0, entonces
y = c1 cos x + c2 sen x
donde c1 y c2 son constantes.
La condicin de frontera y(0) = 0 implica que c1 = 0.
Por consiguiente
y = c2 sen x. Ahora
la condicin de frontera y(L) = 0 implica que
c2 sen L = 0. Para hacer c2 sen L = 0 con c2 6= 0 debemos elegir = n/L,
donde n es un entero positivo. Por consiguiente, n = n2 2 /L2 es un valor propio y

nx
yn = sen
L

es una funcin propia asociada.

Problema de valores propios para y 00 + y = 0
Teorema 3
El problema de valores propios

y 00 + y = 0, y 0 (0) = 0, y 0 (L) = 0 (6)

tiene el valor propio 0 = 0, con la funcin propia asociada y0 = 1, y un nmero

infinito de valores propios positivos n = n2 2 /L2 , con funciones propias asociadas

nx
yn = cos , n = 1, 2, 3, . . . .
L

No hay otros valores propios.

Teorema 4
El problema de valores propios

y 00 + y = 0, y(0) = 0, y 0 (L) = 0 (7)

tiene un nmero infinito de valores propios positivos n = (2n 1)2 2 /4L2 , con
funciones propias asociadas

(2n 1)x
yn = sen , n = 1, 2, 3, . . . .
2L

No hay otros valores propios.

Problema de valores propios para y 00 + y = 0
Demostracin.
Del Teorema 1, cualquier valor propio de (7) debe ser positivo. Si y satisface
(7) con > 0, entonces

y = c1 cos x + c2 sen x
donde c1 y c2 son constantes. La condicin
de frontera y(0) = 0 implica que
0

c1 = 0. Por consiguiente y = c2 sen x. De aqu
que y = c2 cos x y la
condicin 0
de frontera y (L) = 0 implica que c2 cos x = 0. Para hacer
c2 cos x = 0 con c2 6= 0 debemos elegir

(2n 1)
= ,
2L

donde n es un entero positivo. Entonces n = (2n 1)2 2 /4L2 es un valor propio y

(2n 1)x
yn = sen , n = 1, 2, 3, . . . .
2L

No hay otros valores propios.

Problema de valores propios para y 00 + y = 0
Teorema 5
El problema de valores propios

y 00 + y = 0, y 0 (0) = 0, y(L) = 0 (8)

tiene un nmero infinito de valores propios positivos n = (2n 1)2 2 /4L2 , con
funciones propias asociadas

(2n 1)x
yn = cos , n = 1, 2, 3, . . . .
2L

No hay otros valores propios.

Teorema 6
El problema de valores propios

y 00 + y = 0, y(L) = y(L), y 0 (L) = y 0 (L) (9)

tiene el valor propio 0 = 0, con funcin propia asociada y0 = 1, y un nmero infinito

de valores propios positivos n = n2 2 /L2 , con funciones propias asociadas

nx nx
y1n = cos y y2n = sen , n = 1, 2, 3, . . . .
L L

No hay otros valores propios.

Problema de valores propios para y 00 + y = 0
Demostracin.
Del Teorema 1, = 0 es un valor propio de (9) con funcin propia asociada
y0 = 1, y cualquier otro valor propio de (9) debe ser positivo. Si y satisface (9)
con > 0, entonces
y = c1 cos x + c2 sen x (10)
donde c1 y c2 son constantes. La condicin de frontera y(L) = y(L) implica
que
   
c1 cos L + c2 sen L = c1 cos L + c2 sen L. (11)

Ya que
   
c1 cos L = c1 cos L y c2 sen L = c2 sen L, (12)

(11) implica
c2 sen L = 0. (13)
Derivando (10) produce
 
y0 = c1 sen x + c2 cos x .
Problema de valores propios para y 00 + y = 0

Continuacin de la demostracin.
La condicin de frontera y 0 (L) = y 0 (L) implica
   
c1 sen L + c2 cos L = c1 sen L + c2 cos L,

y (12) implica
c1 sen L = 0. (14)

Las ecuaciones (13) y (14) implican c1 = c2 = 0 a no ser que = n/L donde n es
un entero positivo, en cuyo caso (13) y (14) se cumplen para valores arbitrarios de c1
y c2 . Los valores propios determinados en esta manera son n = n2 2 /L2 , y estos
valores propios tienen las funciones propias asociadas linealmente independientes

nx nx
cos y sen .
L L
Ortogonalidad
Definicin 3
Se dice que dos funciones integrables f y g son ortogonales en un intervalo
[a, b] si
b
f (x)g(x)dx = 0.
a
Mas generalmente, decimos que el conjunto de funciones 1 , 2 , . . . , n , . . .
(finito o infinito) es ortogonal en [a, b] si
b
i (x)j (x)dx = 0 siempre que i 6= j.
a

La importancia del concepto de ortogonalidad ser entendida cuando

estudiemos las series de Fourier!

Ejemplo 1
Demuestre que las funciones propias
x x 2x 2x nx nx
1, cos , sen , cos , sen , . . . , cos , sen ,... (15)
L L L L L L
del Problema 5 son ortogonales en [L, L].
Ortogonalidad
Solucin:
Debemos demostrar que L
f (x)g(x)dx = 0 (16)
L

siempre que f y g sean funciones distintas de (15). Si r es cualquier entero

distinto de cero, entonces
L L
rx L rx 
cos dx = sen =0 (17)
L L r L L
y
L
L
rx L rx 
sen dx = cos = 0.
L L r L L
Por consiguiente, (16) se cumple si f 1 y g es otra funcin cualquiera en
(15).
Si f (x) = cos mx/L y g(x) = cos nx/L donde m y n son enteros positivos
distintos, entonces
L L
mx nx
f (x)g(x)dx = cos cos dx. (18)
L L L L
Ortogonalidad

Continuacin de la solucin
Para evaluar esta integral utilizamos la identidad
1
cos A cos B = [cos (A B) + cos (A + B)]
2
con A = mx/L y B = nx/L. Entonces (18) se convierte en
L  L L 
1 (m n)x (m + n)x
f (x)g(x)dx = cos dx + cos dx .
L 2 L L L L

Puesto que m n y m + n son enteros distintos de cero, (17) implica que las
integrales en la derecha son iguales a cero. Por consiguiente, (16) es cierta en
este caso.
Si f (x) = sen mx/L y g(x) = sen nx/L donde m y n son enteros positivos
distintos, entonces
L L
mx nx
f (x)g(x)dx = sen sen dx. (19)
L L L L
Ortogonalidad
Continuacin de la solucin
Para evaluar esta integral utilizamos la identidad
1
sen A sen B = [cos (A B) cos (A + B)] ,
2
con A = mx/L y B = nx/L. Entonces (19 ) se convierte en
L  L L 
1 (m n)x (m + n)x
f (x)g(x)dx = cos dx cos dx = 0.
L 2 L L L L

Si f (x) = sen mx/L y g(x) = cos nx/L donde m y n son enteros positivos
distintos, entonces
L L
mx nx
f (x)g(x)dx = sen cos dx = 0
L L L L

puesto que el integrando es una funcin impar y los lmites son simtricos
alrededor de x = 0.
Los ejercicios 19-22 le piden al lector verificar que las funciones propias de los
Problemas 1-4 son ortogonales en [0, L]. Sin embargo, esto tambin se sigue de
un teorema general involucrando el problema de Sturm-Liouville.
Ejercicios 1
1. Pruebe que = 0 es un valor propio del Problema 5 con funcin propia
asociada y0 = 1 y que cualquier otro valor propio debe ser positivo. Ayuda: Vea
la prueba del Teorema 1.
En los Ejercicios 2-16 resuelva el problema de valores propios.
2. y 00 + y = 0, y(0) = 0, y() = 0
3. y 00 + y = 0, y(0) = 0, y 0 () = 0
4. y 00 + y = 0, y() = y(), y 0 () = y 0 ()
5. y 00 + y = 0, y 0 (0) = 0, y(1) = 0
6. y 00 + y = 0, y(1) = y(1), y 0 (1) = y 0 (1)
7. y 00 + y = 0, y(2) = y(2), y 0 (2) = y 0 (2)
8. y 00 + y = 0, y 0 (0) = 0, y(3) = 0
9. y 00 + y = 0, y 0 (0) = 0, y 0 () = 0
10. y 00 + y = 0, y 0 (0) = 0, y() = 0
11. y 00 + y = 0, y 0 (0) = 0, y 0 (1) = 0
12. y 00 + y = 0, y(0) = 0, y(1) = 0
13. y 00 + y = 0, y(0) = 0, y 0 (1) = 0
14. y 00 + y = 0, y(0) = 0, y(2) = 0
15. y 00 + y = 0, y(0) = 0, y 0 (1/2) = 0
16. y 00 + y = 0, y 0 (0) = 0, y 0 (5) = 0
Ejercicios 1
17. Pruebe el Teorema 3
18. Pruebe el Teorema 5
19. Verifique que las funciones propias

x 2x nx
sen , sen , . . . , sen ,...
L L L
del Problema 1 son ortogonales en [0, L].
20. Verifique que las funciones propias

x 2x nx
1, cos , cos , . . . , cos ,...
L L L
del Problema 2 son ortogonales en [0, L].
21. Verifique que las funciones propias

x 3x (2n 1)x
sen , sen , . . . , sen ,...
2L 2L 2L
del Problema 3 son ortogonales en [0, L].
22. Verifique que las funciones propias

x 3x (2n 1)x
cos , cos , . . . , cos ,...
2L 2L 2L
del Problema 4 son ortogonales en [0, L].
Series de Fourier: I
A continuacin se demostrar un resultado que permitir determinar los
coeficientes de una serie de Fourier.
Teorema 7
Suponga que las funciones 1 , 2 , 3 , . . . , son ortogonales en [a, b] y
b
2n (x)dx 6= 0, n = 1, 2, 3, . . . . (20)
a

PN
Sean c1 , c2 , c3 , . . . constantes tales que las sumas parciales fN (x) = m=1 cm m (x)
satisfacen las desigualdades

|fN (x)| M, a x b, N = 1, 2, 3, . . .

para alguna constante M < . Suponga tambin que la serie

X
f (x) = cm m (x) (21)
m=1

converge y es integrable en [a, b]. Entonces

b
a f (x)n (x)dx
cn = b , n = 1, 2, 3, . . . . (22)
2
a n (x)dx
Series de Fourier: I
Demostracin.
Multiplicando (21) por n e integrando obtenemos

b b
X
!
f (x)n (x)dx = n (x) cm m (x) dx. (23)
a a m=1

Puede demostrarse que el acotamiento de las sumas parciales {fN } N =1 y la integrabilidad de f nos
permite intercambiar las operaciones de integracin y suma en la derecha de (23), y reescribir (23) como

b
X b
f (x)n (x)dx = cm n (x)m (x)dx. (24)
a m=1 a

(No es fcil comprobar sto). Puesto que

b
n (x)m (x)dx = 0 si m 6= n,
a

(24) se reduce a
b b
2
f (x)n (x)dx = cn n (x)dx.
a a

Ahora (20) implica (22).

Motivado por el Teorema 7, hacemos la siguiente definicin.

Series de Fourier: I

Definicin 4
Supngase que 1 , 2 , 3 , . . . , son ortogonales en [a, b] y ab 2
n (x)dx 6= 0, n = 1, 2, 3, . . .. Sea f
integrable en [a, b], y defina

b
a f (x)n (x)dx
cn = b , n = 1, 2, 3, . . . . (25)
2
a n (x)dx

P
Entonces, la serie infinita n=1 cn n (x) se denomina la expansin de Fourier de f en trminos del
conjunto ortogonal {n } n=1 , y c1 , c2 , . . . , cn , . . . se denominan los coeficientes de Fourier de f
respecto a {n }n=1 . Indicamos la relacin entre f y su expansin de Fourier por

X
f (x) cn n (x), a x b. (26)
n=1

Puede parecer extrao por qu no escribimos

X
f (x) = cn n (x), a x b,
n=1

en lugar de (26). Desafortunadamente, esto no siempre es cierto. La serie en la derecha de (26) puede
divergir para algunos o todos los valores de x en [a, b], o puede converger a f (x) para algunos valores
de x y no hacerlo para otros. As, que por ahora pensaremos de la serie como asociada con f debido a la
definicin de los coeficientes {cn }, e identificaremos esta asociacin informalmente mediante (26).
Series de Fourier: I
SERIES DE FOURIER
Estudiaremos las expansiones de Fourier en trminos de las funciones propias

x x 2x 2x nx nx
1, cos , sen , cos , sen , . . . , cos , sen ,...
L L L L L L

del Problema 5. Si f es integrable en [L, L], entonces su expansin de Fourier en

trminos de estas funciones se denomina la serie de Fourier de f en [L, L]. Puesto
que
L
12 dx = 2L,
L

L L 2nx L
   
nx 1 2nx 1 L
cos2 dx = 1 + cos dx = x+ sen = L,
L L 2 L L 2 2n L 
L
y

L L 2nx L
   
nx 1 2nx 1 L
sen2 dx = 1 cos dx = x sen = L,
L L 2 L L 2 2n L 
L

vemos de (25) que la serie de Fourier de f en [L, L] es


X nx nx 
a0 + an cos + bn sen
n=1
L L
Series de Fourier: I

donde L
1
a0 = f (x)dx,
2L L
L L
1 nx 1 nx
an = f (x) cos dx, y bn = f (x) sen dx, n 1.
L L L L L L
Observe que a0 es el valor promedio de f en [L, L], mientras que an y bn
(para n 1) son dos veces los valores promedio de
nx nx
f (x) cos y f (x) sen
L L
en [L, L], respectivamente.

CONVERGENCIA DE LAS SERIES DE FOURIER

La cuestin de la convergencia de las series de Fourier para funciones
integrables arbitrarias est fuera del alcance de este tema. Sin embargo,
exponemos un teorema que establece esta cuestin para la mayora de las
funciones que surgen en las aplicaciones.
Series de Fourier: I

Comenzamos con la siguiente definicin.

Definicin 5
Se dice que una funcin es suave en partes en [a, b] si:

(a) f tiene a lo ms un nmero finito de puntos de discontinuidad en (a, b);

(b) f 0 existe y es continua excepto posiblemente en un nmero finito de
puntos en (a, b);
(c) f (x0 +) = lmxx+0 f (x) y f 0 (x0 +) = lmxx+0 f 0 (x) existen si
a x0 < b;
(d) f (x0 ) = lmxx0 f (x) y f 0 (x0 ) = lmxx0 f 0 (x) existen si
a < x0 b;
Puesto que se requiere que f y f 0 sean continuas (con la posible excepcin de
un nmero finito de puntos) en [a, b], se sigue que f (x0 +) = f (x0 ) y
f 0 (x0 +) = f 0 (x0 ) en (a, b), excepto posiblemente en un nmero finito de
valores de x0 en (a, b). Se dice que la funcin f tiene una discontinuidad de
salto en x0 si f (x0 +) 6= f (x0 ).
Series de Fourier: I

El siguiente teorema da las condiciones suficientes para la convergencia de una

serie de Fourier. La prueba est fuera del alcance de este tema1 .

Teorema 8
Si f es suave en partes en [L, L], entonces la serie de Fourier

X nx nx 
F (x) = a0 + an cos + bn sen (27)
n=1
L L

de f en [L, L] converge para todo x en [L, L]; adems

f (x)
si L < x < L y f es continua en x;
F (x) = f (x)+f2
(x+)
si L < x < L y f es discontinua en x;
f (L+)+f (L)

2
si x = L o x = L.

1
Para su prueba, puede consultar: Fourier Series and Boundary Value
Problems, Brown and Churchill, McGraw-Hill, 5th edition.
Series de Fourier: I

Puesto que f (x+) = f (x) si f es continua en x, tambin podemos decir que

(
f (x+)+f (x)
2
si L < x < L,
F (x) = f (L)+f (L+)
2
si x = L.

Observe que F es en si misma suave en partes en [L, L], y F (x) = f (x) en

todos los puntos del intervalo abierto (L, L) donde f es continua. Puesto que
la serie en (27) converge a F (x) para todo x en [L, L], usted puede estar
tentado a inferir que el error
 N 

nx nx 
 X 
EN (x) = F (x) a0 an cos + bn sen

L L 


n=1

se puede hacer tan pequeo como queramos para todo x en [L, L] eligiendo
N suficientemente grande. Sin embargo, esto no es cierto si f tiene una
discontinuidad en alguna parte en (L, L) o si f (L+) 6= f (L). En este
caso la situacin es la siguiente.
Series de Fourier: I
Fenmeno de Gibbs
Si f tiene una discontinuidad de salto en un punto en (L, L), existirn sucesiones
de puntos {uN } y {vN } en (L, ) y (, L), respectivamente, tal que

lm uN = lm vN =
N N

y
EN (uN ) .09 |f () f (+)| y EN (vN ) .09 |f () f (+)| .
As, el valor mximo del error EN (x) cerca de no se aproxima a cero cuando
N , sino lo que ocurre es que estar cada vez ms cerca de (y en ambos lados
de) y es esencialmente independiente de N .
Si f (L+) 6= f (L), entonces existirn sucesiones de puntos {uN } y {vN } en
(L, L) tal que
lm uN = L y lm vN = L
N N

EN (uN ) .09 |f (L+) f (L)| y EN (vN ) .09 |f (L+) f (L)| .

Observacin
Podr ver este fenmeno en las Figuras 2, 3 y 4; sin embargo, daremos un ejemplo
especfico al final de esta seccin.
Series de Fourier: I
Ejemplo 2
Encuentre la serie de Fourier de la funcin suave en partes
(
x, 2 < x < 0
f (x) = 1
2
, 0<x<2

en [2, 2](Figura 1). Determine la suma de la serie de Fourier para 2 x 2.

(
x, 2 < x < 0
Figura 1: Grfica de f (x) = 1, 0<x<2
.
2
Series de Fourier: I
Solucin:
Observe que no nos hemos molestado por definir f (2), f (0) y f (2). Sin importar
cmo puedan ser definidas estas cantidades, f es suave en partes en [2, 2], y los
coeficientes en la serie de Fourier

X nx nx 
F (x) = a0 + an cos + bn sen
n=1
L L

no son afectados por ello. En cualquier caso, el Teorema 8 implica que F (x) = f (x)
en (2, 0) y (0, 2), donde f es continua, mientras
 
f (2+) + f (2) 1 1 5
F (2) = F (2) = = 2+ =
2 2 2 4

y  
f (0) + f (0+) 1 1 1
F (0) = = 0+ = .
2 2 2 4
Para resumir 5

4
, x = 2
x, 2 < x < 0,




F (x) = 14 , x = 0,
1

2, 0 < x < 2,



5
4
, x = 2.
Series de Fourier: I
Calculamos los coeficientes de Fourier como sigue:
2
1 2
 0 
1 1 3
a0 = f (x)dx = (x) dx + dx = ;
4 2 4 2 0 2 4

si n 1, entonces

1 2 0 2
 
nx 1 nx 1 nx
an = f (x) cos dx = (x) cos dx + cos dx
2 2 2 2 2 2 0 2 2
2
= 2 2 (cos n 1) ,
n
y

1 2 0 2
 
nx 1 nx 1 nx
bn = f (x) sen dx = (x) sen dx + sen dx
2 2 2 2 2 2 0 2 2
2
= (1 + 3 cos n) .
2n
Por consiguiente

3 2 X cos n 1 nx 1 X 1 + 3 cos n nx
F (x) = + 2 cos + sen .
4 n=1 n2 2 2 n=1 n 2
Series de Fourier: I
La Figura 2 muestra cmo la suma parcial
m m
3 2 X cos n 1 nx 1 X 1 + 3 cos n nx
Fm (x) = + cos + sen
4 2 n=1 n2 2 2 n=1 n 2

aproxima f (x) para m = 5 (curva verde), m = 10 (curva azul cielo) y m = 15 (curva roja). Los puntos

(2, 5/4), (0, 1/4) y (2, 5/4) se muestran como crculos pequeos.

(
x, 2 < x < 0
Figura 2: Aproximacin de f (x) = 1, 0<x<2
, mediante sumas parciales de la serie de
2
Fourier.
Series de Fourier: I
FUNCIONES PARES E IMPARES
El clculo de los coeficientes de Fourier de una funcin f puede ser tedioso; sin
embargo, a menudo estos clculos pueden simplificarse aprovechando las
simetras en f o de algunos de sus trminos. Centrndonos en esto, recordemos
los conceptos de funciones pares e impares que estudiamos en clculo
diferencial. Sean u y v funciones definidas en [L, L] y supngase que

u(x) = u(x) y v(x) = v(x), x [L, L] .

Entonces decimos que u es una funcin par y v una funcin impar.

Teorema 9 (Propiedades fundamentales de las funciones pares

e impares)
1. El producto de funciones pares es una funcin par.
2. El producto de funciones impares es una funcin par.
3. El producto de una funcin impar y de una funcin par es una funcin
impar.
4. La suma (diferencia) de dos funciones pares es una funcin par.
5. La suma (diferencia) de dos funciones impares es una funcin impar.
Series de Fourier: I

Demostracin.
Slo demostraremos el inciso (2) de este Teorema; se deja los restantes como
ejercicios para el lector.
Supongamos que u y v son funciones impares. En este caso tenemos
u(x) = u(x) y v(x) = v(x). Definiendo el producto como
U (x) = u(x)v(x), entonces

U (x) = u(x)v(x) = (u(x)) (v(x)) = u(x)v(x) = U (x),

lo cual demuestra que U (x) es par. Queda demostrado, que el producto de dos
funciones impares es una funcin par.

Ejemplo 3
Las funciones u(x) = cos ax y v(x) = x2 son funciones pares, mientras que
w(x) = sen ax y z(x) = x3 son funciones impares. La funcin y(x) = ex no es
par ni impar. De acuerdo con el Teorema 9, la funcin G(x) = x3 cos x es una
funcin impar y la funcin H(x) = x3 sen x es una funcin par.
Series de Fourier: I
Teorema 10 (Propiedades (del clculo) de las funciones pares e
impares)
Supngase que u es una funcin par y v una funcin impar en [L, L].
Entonces,
L L
1. u(x)dx = 2 u(x)dx,
L 0
L
2. v(x)dx = 0,
L
L L
nx nx
3. u(x) cos dx = 2 u(x) cos dx,
L L 0 L
L L
nx nx
4. v(x) sen dx = 2 v(x) sen dx,
L L 0 L
L
nx
5. u(x) sen dx = 0,
L L
L
nx
6. v(x) cos dx = 0.
L L
Series de Fourier: I
Demostracin.
Demostraremos nicamente los incisos (1) y (2). Los incisos restantes son consecuencia de los dos
primeros incisos.

1. Por una propiedad conocida de la integral definida

L 0 L
u(x)dx = u(x)dx + u(x)dx. (28)
L L 0

Sea x = t en la primer integral del lado derecho de (28):

0 0 L L
u(x)dx = u(t)dt = u(t)dt = u(t)dt (29)
L L 0 0

puesto que u(t) = u(t). Puesto que en matemticas las variables son mudas, podemos escribir
(29) como
0 L
u(x)dx = u(x)dx. (30)
L 0

Sustituyendo (30) en (28),

L L L L
u(x)dx = u(x)dx + u(x)dx = 2 u(x)dx,
L 0 0 0

que es lo que se quera demostrar.

Series de Fourier: I
Demostracin.
La demostracin del inciso (2) es similar.

2. Por una propiedad conocida de la integral definida

L 0 L
v(x)dx = v(x)dx + v(x)dx. (31)
L L 0

Sea x = t en la primer integral del lado derecho de (31):

0 0 L L
v(x)dx = v(t)dt = v(t)dt = v(t)dt (32)
L L 0 0

puesto que v(t) = v(t). Puesto que en matemticas las variables son mudas, podemos
escribir (32) como
0 L
v(x)dx = v(x)dx. (33)
L 0

Sustituyendo (33) en (31),

L L L
v(x)dx = v(x)dx + v(x)dx = 0,
L 0 0

que es lo que se quera demostrar.

Series de Fourier: I
Ejemplo 4
Encuentre la serie de Fourier de f (x) = x2 x en [2, 2], y determine su suma
para 2 x 2.

Solucin
Ya que L = 2,

X nx nx 
F (x) = a0 + an cos + bn sen
n=1
2 2

donde 2
1
x2 x dx,


a0 = (34)
4 2
2
1 nx
x2 x cos


an = dx, n = 1, 2, 3, . . . , (35)
2 2 2
y 2
1 nx
x2 x sen


bn = dx, n = 1, 2, 3, . . . . (36)
2 2 2
Simplificamos la evaluacin de estas integrales utilizando el Teorema 10 con
u(x) = x2 y v(x) = x; as de (34)
Series de Fourier: I
2
2
1 2 x3  4
a0 = x dx = = .
2 0 6 0 3
De (35),
2  2 
nx 2 nx 2 nx

an = x2 cos
dx = x2 sen  2 x sen dx
0 2 n 2 0 0 2
 2 
8 nx 2 nx

= 2 2 x cos  cos dx
n 2 0 0 2
" 2 #
8 2 nx  16
= 2 2 2 cos n sen = (1)n 2 2 .
n n 2 0 n

De (36),
2 2
 
nx 2
nx 2 nx

bn = x sen dx =
x cos  cos dx
0 2 n2 0 0 2
" 2 #
2 2 nx  4
= 2 cos n sen = (1)n .
n n 2 0 n
Series de Fourier: I

Por consiguiente,

4 16 X (1)n nx 4 X (1)n nx
F (x) = + 2 cos + sen .
3 n=1 n2 2 n=1 n 2

El Teorema 8 implica que

4,
x = 2,
F (x) = x2 x, 2 < x < 2,

4, x = 2.

La Figura 3 muestra cmo la suma parcial

m m
4 16 X (1)n nx 4 X (1)n nx
Fm (x) = + 2 2
cos + sen
3 n=1 n 2 n=1 n 2

aproxima f (x) para m = 5 (curva verde), m = 10 (curva azul cielo) y m = 15

(curva roja).
Series de Fourier: I

Figura 3: Aproximaciones de f (x) = x2 x mediante sumas parciales de la

serie de Fourier en [2, 2].
Series de Fourier: I
El teorema siguiente se sigue inmediatamente del Teorema 10.

Teorema 11
Supngase que f es integrable en [L, L].
1. Si f es par entonces la serie de Fourier de f en [L, L] es

X nx
F (x) = a0 + an cos dx,
n=1
L

donde
L L
1 2 nx
a0 = f (x)dx y an = f (x) cos dx, n 1.
L 0 L 0 L

2. Si f es impar entonces la serie de Fourier de f en [L, L] es

X nx
F (x) = bn sen dx,
n=1
L

donde L
2 nx
bn = f (x) sen dx, n 1.
L 0 L
Series de Fourier: I
Ejemplo 5
Encuentre la serie de Fourier de f (x) = x en [, ], y determine su suma para
x .

Solucin
Puesto que f es impar y L = ,

X
F (x) = bn sen nx
n=1

donde
 
2 2
bn = x cos nx|0
x sen nx dx = cos nx dx
0 n 0

2 2  n+1 2
= cos n + 2 sen nx = (1) .
n n 0 n

Por lo tanto

X (1)n
F (x) = 2 sen nx.
n=1
n
Series de Fourier: I
Continuacin de la solucin
La Figura 4 muestra cmo la suma parcial

m
X (1)n
Fm (x) = 2 sen nx
n=1
n

aproxima f (x) para m = 5 (curva en verde), m = 10 (curva en azul) y m = 15 (curva

en rojo).

Figura 4: Aproximaciones de f (x) = x mediante sumas parciales de la serie de Fourier en [, ].

Series de Fourier: I
Ejemplo 6
Encuentre la serie de Fourier de f (x) = |x| en [, ], y determine su suma
para x .

Solucin
Puesto que f es par y L = ,

X
F (x) = a0 + an cos n x.
n=1

Puesto que f (x) = x si x 0,


1 x2 
a0 = x dx = =
0 2 0 2

y si n 1,
  
2 2 
an = x cos nx dx = x sen nx sen nx dx
0 n 0 0

2 2 2
= 2 cos nx = 2 (cos n 1) = 2 [(1)n 1] .

n 0 n n
Series de Fourier: I

Continuacin de la solucin
Por lo tanto,

2 X (1)n 1
F (x) = + cos nx. (37)
2 n=1 n2

Sin embargo, ya que (

n 0, si n = 2m,
(1) 1=
2, si n = 2m + 1,

los trminos en (37) para los que n = 2m son todos iguales a cero. Por consiguiente, solamente
tenemos que incluir los trminos para los que n = 2m + 1; esto es, podemos reescribir (37) como

4 X 1
F (x) = cos(2m + 1)x.
2 m=0 (2m + 1)2

Sin embargo, puesto que el nombre del ndice de la suma no importa, preferimos reemplazar m por n y
escribir

4 X 1
F (x) = cos(2n + 1)x.
2 n=0 (2n + 1)2

Puesto que |x| es una funcin continua para toda x y || = ||, el Teorema 8 implica que
F (x) = |x| para toda x [, ].
Series de Fourier: I
Ejemplo 7  
Encuentre la serie de Fourier de f (x) = x x2 L2 en [L, L], y determine su suma para
L x L.

Solucin
Puesto que f es impar

X nx
F (x) = bn sen
n=1 L

donde

L
2 
2 2
 nx
bn = x x L sen dx
L 0 L
" L L #
2 
2 2
 nx  2 2
 nx
= x x L cos  3x L cos dx
n L 0 L

0
" L #
2L nx L nx
  
2 2
= 3x L sen  6 x sen dx
n2 2 L 0 L

0
L
12L2 3
" #
nx L nx n 12L

= x cos  cos dx = (1) .
n3 3 L 0 L n3 3

0

Por consiguiente,

12L3 X (1)n nx
F (x) = sen .
3 n=1 n3 L
 
El Teorema 8 implica que F (x) = x x2 L2 para toda x [L, L].
Series de Fourier: I
Ejemplo 8 (Fenmeno de Gibbs)
La serie de Fourier de
0,
1 < x < 12
,
f (x) = 1, 21 < x < 1,
2

0, 1 < x < 1
2

en [1, 1] es

1 2 X (1)n1
F (x) = + cos(2n 1)x.
2 n=1 2n 1

Verifquelo!. De acuerdo al Teorema 8,

0, 1 x < 2 1,


1
2,

x = 12
,
F (x) = 1, 12
<x< 1 2
,
1, 1,

x= 2
2


0, 1 < x 1;
2

as F (al igual que f ) tiene discontinuidades de salto unitario en x = 1

2
. Las Figuras 5, 6 y 7
muestran las grficas de y = f (x) donde

N
1 2 X (1)n1
y = F2N 1 (x) = + cos(2n 1)x
2 n=1 2n 1
Series de Fourier: I
para N = 10, 20 y 30. Usted puede ver que aunque F2N 1 aproxima bien a F (y por
consiguiente a f ) cuando N se incrementa, los valores absolutos de los errores
permanecen aproximadamente iguales a 0.9, lo que ocurre muy cerca a las
discontinuidades x = 21 cuando N se incrementa.

Figura 5: El fenmeno de Gibss, Ejemplo 8, N = 10.

Series de Fourier: I

Figura 6: El fenmeno de Gibss, Ejemplo 8, N = 20.

Series de Fourier: I

Figura 7: El fenmeno de Gibss, Ejemplo 8, N = 30.

Ejercicios 2
En los ejercicios 1-15 encuentre la serie de Fourier de f en[L, L] y determine su suma para
L x L. En los ejercicios 1, 5,7, 14, 15 y 16 utilizando SAGE grafique f y las sumas parciales

m 
nx nx
X 
Fm (x) = a0 + an cos dx + bn sen dx
n=1 L L

en los mismos ejes para varios valores de m.

1. L = 1; f (x) = 2 x

2. L = ; f (x) = 2x 3x2

3. L = 1; f (x) = 1 3x2

4. L = ; f (x) = |sen x|

5. L = ; f (x) = x cos x

6. L = ; f (x) = |x| cos x

7. L = ; f (x) = x sen x

8. L = ; f (x) = |x| sen x

1 < x < 2 1,
0,

9. L = 1; f (x) = cos x, 1 2
< x < 1,
2

0, 1 < x < 1
2

0,
1 < x < 1 2
,
10. L = 1; f (x) = cos x, 2 1 < x < 1,
2

0, 1 < x < 1
2
Ejercicios 2
0,
1 < x < 12
,
11. L = 1; f (x) = sen x, 2 1 < x < 1,
2

0, 1 < x < 1
2
1 < x < 2 1,
0,

12. L = 1; f (x) = |sen x| , 12
<x< 1 2
,

0, 1 < x < 1
2
0,
1 < x < 1 2
,
13. L = 1; f (x) = sen x, 1 2
<x< 1 2
,

0, 1 < x < 1
( 2
0, 4 < x < 0,
14. L = 4; f (x) =
x, 0 < x < 4
(
x2 , 1 < x < 0,
15. L = 1; f (x) =
1 x2 , 0 < x < 1
16. Verifique el fenmeno de Gibbs para

2,
2 < x < 1,
f (x) = 1, 1 < x < 1,

1, 1 < x < 2.

17. Verifique el fenmeno de Gibbs para

2,
3 < x < 2,
f (x) = 3, 2 < x < 2,

1, 2 < x < 3.

18. Deduzca del Ejemplo 6 que

X 1 2
= .
n=1 (2n + 1)2 8
Series de Fourier: II
En esta seccin discutiremos las expansiones de Fourier en trminos de las funciones propias de los
Problemas 1-4.

SERIE DE FOURIER DE COSENOS

Del Ejercicio 20 del conjunto de Ejercicios I, las funciones propias

x 2x nx
1, cos , cos , . . . , cos ,...
L L L

del problema con valores en la frontera

00 0 0
y + y = 0, y (0) = 0, y (L) = 0 (38)

(Problema 2) son ortogonales en [0, L]. Si f es integrable en [0, L] entonces la expansin de Fourier de
f en trminos de estas funciones se denomina serie de Fourier de cosenos de f en [0, L]. Esta serie es

X nx
a0 + an cos ,
n=1 L

donde L L
0 f (x)dx 1
a0 = L = f (x)dx
0 dx L 0

y
L L
0 f (x) cos nx
L
dx 2 nx
an = L = f (x) cos dx, n = 1, 2, 3, . . . .
cos2 nx dx L 0 L
0 L
Series de Fourier: II
Comparando esta definicin con el Teorema 11 inciso (1) vemos que la serie de Fourier
de cosenos de f en [0, L] es la serie de Fourier de la funcin
(
f (x), L < x < 0,
f1 (x) =
f (x), 0 x L,

obtenida por la extensin de f en [L, L] como una funcin par (ver la Figura 8).

(
f (x), L < x < 0,
Figura 8: Grfica tpica de y =
f (x), 0 x L.
Series de Fourier: II
Aplicando el Teorema 8 a f1 se llega al siguiente teorema.

Teorema 12
Si f es una funcin suave en partes en [0, L] entonces la serie de Fourier de
cosenos

X nx
C(x) = a0 + an cos
n=0
L
de f en [0, L], con

1 L 2 L
nx
a0 = f (x)dx y an = f (x) cos dx, n = 1, 2, 3, . . . ,
L 0 L 0 L
converge para todo x en [0, L]; adems


f (0+) si x = 0;

f (x) si 0 < x < L y f es continua en x;
C(x) = f (x)+f (x+)


2
si 0 < x < L y f es discontinua en x;

f (L) si x = L.
Series de Fourier: II
Ejemplo 9
Encuentre la serie de Fourier de cosenos de f (x) = x en [0, L].

Solucin
Los coeficientes son
L L
1 1 x2  L
a0 = xdx =  =
L 0 L 2 0 2

y si n 1,

L " L #
2 nx nx L
2 nx

an = x cos dx =  x sen
sen dx
L 0 L n L 0 L

0
L
2 nx 2L nx L 2L 

n 
= sen dx = cos  = 2 2 (1) 1

n 0 L n2 2 L 0 n

4L
si n = 2m 1,

= (2m 1)2 2

0 si n = 2m.

Por consiguiente

L 4L X 1 (2n 1)x
C(x) = cos .
2 2 n=1 (2n 1)2 L

El Teorema 12 implica que

C(x) = x, 0 x L.
Series de Fourier: II
SERIE DE FOURIER DE SENOS
Del Ejercicio 19 del conjunto de Ejercicios I, las funciones propias
x 2x nx
sen , sen , . . . , sen ,...
L L L
del problema con valores en la frontera

y 00 + y = 0, y(0) = 0, y(L) = 0 (39)

(Problema 1) son ortogonales en [0, L]. Si f es integrable en [0, L] entonces la

expansin de Fourier de f en trminos de estas funciones se denomina serie de
Fourier de senos de f en [0, L]. Esta serie es

X nx
bn sen ,
n=1
L

donde
L
f (x) sen nx
L
dx 2 L
nx
bn = 0
L = f (x) sen dx, n = 1, 2, 3, . . . ..
2 nx
sen L dx L 0 L
0
Series de Fourier: II
Comparando esta definicin con el Teorema 11 inciso (2) vemos que la serie de Fourier
de senos de f en [0, L] es la serie de Fourier de la funcin
(
f (x), L < x < 0,
f2 (x) =
f (x), 0 x L,

obtenida por la extensin de f en [L, L] como una funcin impar (ver la Figura 9).

(
f (x), L < x < 0,
Figura 9: Grfica tpica de y =
f (x), 0 x L.
Series de Fourier: II
Aplicando el Teorema 8 a f2 se llega al siguiente teorema.

Teorema 13
Si f es una funcin suave en partes en [0, L] entonces la serie de Fourier de
senos

X nx
S(x) = bn sen
n=0
L
de f en [0, L], con
L
2 nx
bn = f (x) sen dx, n = 1, 2, 3, . . . ,
L 0 L
converge para todo x en [0, L]; adems


0 si x = 0;

f (x) si 0 < x < L y f es continua en x;
S(x) = f (x)+f (x+)


2
si 0 < x < L y f es discontinua en x;

0 si x = L.
Series de Fourier: II

Ejemplo 10
Encuentre la serie de Fourier de senos de f (x) = x en [0, L].

Solucin
Los coeficientes son

L " L #
2 nx 2 nx L nx

bn = x sen dx = x cos  cos dx
L 0 L n L 0 L

0

2L 2L nx L 2L

n+1  = (1)n+1
= (1) + sen .
n n2 2 L 0 n


Por consiguiente

2L X (1)n nx
S(x) = sen .
n=1 n L

El Teorema 12 implica que (

x, 0 x < L,
S(x) =
0, x = L.
Series de Fourier: II
SERIE DE FOURIER MIXTA DE COSENOS
Del Ejercicio 22 del conjunto de Ejercicios I, las funciones propias

x 3x (2n 1)x
cos , cos , . . . , cos ,...
2L 2L 2L

del problema con valores en la frontera

00 0
y + y = 0, y (0) = 0, y(L) = 0 (40)

(Problema 4) son ortogonales en [0, L]. Si f es integrable en [0, L] entonces la expansin de Fourier de
f en trminos de estas funciones se denomina serie de Fourier mixta de cosenos de f en [0, L]. Esta
serie es

X (2n 1)x
cn cos ,
n=1 2L

donde

L (2n1)x L
0 f (x) cos 2L
dx 2 (2n 1)x
cn = L = f (x) cos dx, n = 1, 2, 3, . . . .
2 (2n1)x L 0 2L
0 cos L
dx

Denominamos a esta expansin la serie de Fourier mixta de cosenos de f en [0, L], debido a que las
condiciones de frontera de (40) estn mezcladas en el sentido de que requieren que y sea cero en un
punto frontera y y 0 sea cero en el otro. Por contraste, la serie de Fourier de cosenos ordinaria est
asociada con (38), en donde las condiciones de frontera requieren que y 0 sea igual a cero en los dos
puntos frontera.
Series de Fourier: II
Puede demostrarse que la serie de Fourier mixta de cosenos de f en [0, L] es
simplemente la restriccin a [0, L] de la serie de Fourier de cosenos de
(
f (x), 0 x L,
f3 (x) =
f (2L x), L < x 2L

en [0, L] (Figura 10).

(
f (x), 0 x L,
Figura 10: Grfica tpica de y =
f (2L x), L < x 2L.
Series de Fourier: II
Aplicando el Teorema 12 con f reemplazada por f3 y L
reemplazada por 2L se obtiene el siguiente teorema.
Teorema 14
Si f es suave en partes en [0, L] entonces la serie de Fourier mixta de cosenos

X (2n 1)x
CM (x) = cn cos
n=1
2L

de f en [0, L], con

L
2 (2n 1)x
cn = f (x) cos dx, n = 1, 2, 3, . . . .
L 0 2L
converge para todo x en [0, L]; adems


f (0+) si x = 0;

f (x) si 0 < x < L y f es continua en x;
CM (x) = f (x)+f (x+)


2
si 0 < x < L y f es discontinua en x;

0, si x = L.
Series de Fourier: II
Ejemplo 11
Encuentre la serie de Fourier mixta de cosenos de f (x) = x L en [0, L].

Solucin
Los coeficientes son
L
1 (2n 1)x
cn = (x L) cos dx
2L 0 2L
" L #
(2n 1) x L

4 (2n 1)x
= (x L) sen sen dx
(2n 1) 2L 
0 0 2L
L
8L (2n 1)x  8L
=
(2n 1)2 2
cos
2L  = (2n 1)2 2 .
0

Por consiguiente

8L X 1 (2n 1)x
CM (x) = cos .
2 n=1 (2n 1)2 2L

El Teorema 14 implica que

CM (x) = x L, 0 x L.
Series de Fourier: II
SERIE DE FOURIER MIXTA DE SENOS
Del Ejercicio 21 del conjunto de Ejercicios I, las funciones propias

x 3x (2n 1)x
sen , sen , . . . , sen ,...
2L 2L 2L

del problema con valores en la frontera

y 00 + y = 0, y(0) = 0, y 0 (L) = 0 (41)

(Problema 3) son ortogonales en [0, L]. Si f es integrable en [0, L] entonces la

expansin de Fourier de f en trminos de estas funciones se denomina serie de Fourier
mixta de senos de f en [0, L]. Esta serie es

X (2n 1)x
dn sen ,
n=1
2L

donde
L (2n1)x
f (x) sen dx 2 L (2n 1)x
0 2L
dn = L (2n1)x
= f (x) sen dx, n = 1, 2, 3, . . . .
2 L 2L
0 sen dx 0
2L
Series de Fourier: II
Puede demostrarse que la serie de Fourier mixta de senos de f en [0, L] es simplemente la restriccin a
[0, L] de la serie de Fourier de senos de

(
f (x), 0 x L,
f4 (x) =
f (2L x), L < x 2L

en [0, 2L] (Figura 11).

(
f (x), 0 x L,
Figura 11: Grfica tpica de y =
f (2L x), L < x 2L.
Series de Fourier: II
Aplicando el Teorema 13 con f reemplazada por f4 y L reemplazada por 2L se
obtiene el siguiente teorema.

Teorema 15
Si f es suave en partes en [0, L] entonces la serie de Fourier mixta de senos

X (2n 1)x
SM (x) = dn sen
n=1
2L

de f en [0, L], con

L
2 (2n 1)x
dn = f (x) sen dx, n = 1, 2, 3, . . . .
L 0 2L

converge para todo x en [0, L]; adems

0 si x = 0;

f (x) si 0 < x < L y f es continua en x;
SM (x) = f (x)+f (x+)


2
si 0 < x < L y f es discontinua en x;

f (L), si x = L.
Series de Fourier: II

Ejemplo 12
Encuentre la serie de Fourier mixta de senos de f (x) = x en [0, L].

Solucin
Los coeficientes son

L
2 (2n 1)x
dn = x sen dx
L 0 2L
" L #
4 (2n 1)x L (2n 1)x

= x cos  cos dx
(2n 1) 2L 2L

0 0
L
4 (2n 1)x
= cos dx
(2n 1) 0 2L
8L (2n 1)x L 8L

n+1
= sen  = (1)
 .
(2n 1)2 2 2L 0 (2n 1)2 2

Por consiguiente

8L X (1)n (2n 1)x
SM (x) = sen .
2 n=1 (2n 1)2 2L

El Teorema 15 implica que

SM (x) = x, 0 x L.
Series de Fourier: II
Observacin 1
En las aplicaciones que involucran expansiones en trminos de las funciones propias de los Problemas
1-4, las funciones que se expanden a menudo son polinomios que satisfacen las condiciones de frontera
del problema bajo consideracin. En este caso el siguiente teorema presenta una manera eficiente para
obtener los coeficientes en la expansin.

Teorema 16

1. Si f 0 (0) = f 0 (L) = 0, f 00 es continua y f 000 es continua en partes en [0, L], entonces

X nx
f (x) = a0 + an cos , 0 x L, (42)
n=1 L

con
L L
1 2L2 000 nx
a0 = f (x)dx y an = f (x) sen dx, n 1. (43)
L 0 n3 3 0 L

2. Si f (0) = f (L) = 0, f 0 es continua y f 00 es continua en partes en [0, L], entonces

X nx
f (x) = bn sen , 0 x L, (44)
n=1 L

con L
2L 00 nx
bn = f (x) sen dx. (45)
n2 2 0 L
Series de Fourier: II
Teorema 16 (cont.)

3. Si f 0 (0) = f (L) = 0, f 0 es continua y f 00 es continua en partes en [0, L],

entonces

X (2n 1)x
f (x) = cn cos , 0 x L, (46)
n=1
2L

con L
8L (2n 1)x
cn = f 00 (x) cos dx. (47)
(2n 1)2 2 0 2L
4. Si f (0) = f 0 (L) = 0, f 0 es continua y f 00 es continua en partes en [0, L],
entonces

X (2n 1)x
f (x) = dn sen , 0 x L, (48)
n=1
2L

con L
8L (2n 1)x
dn = f 00 (x) sen dx. (49)
(2n 1)2 2 0 2L
Series de Fourier: II
Demostracin.
Probaremos (1) y dejamos los otros incisos al lector. Ya que f es continua en [0, L], el
Teorema 12 implica (42) con a0 , a1 , a2 , . . . como se definen en dicho Teorema 12. Ya
sabemos que a0 es como se muestra en (43). Si n 1, integrando por partes dos
veces se obtiene
L
2 nx
an = f (x) cos dx
L 0 L
" L L #
2 nx  0 nx
= f (x) sen f (x) sen dx
n L 0 0 L
L
2 nx
= f 0 (x) sen dx (puesto que sen 0 = sen n = 0)
n 0 L
" L L #
2L nx  nx
= 2 2 f 0 (x) cos f 00
(x) cos dx
n L 0 0 L
L
2L nx
= 2 2 f 00 (x) cos dx (puesto que f 0 (0) = f 0 (L) = 0)
n 0 L
" L #
2L2 nx L

nx
= 3 3 f 00 (x) sen f 000
(x) sen dx
n L 0 0 L
L
2L2 nx
= 3 3 f 000 (x) sen dx (puesto que sen 0 = sen n = 0).
n 0 L
Series de Fourier: II
Ejemplo 13
Encuentre la expansin de Fourier de cosenos de f (x) = x2 (3L 2x) en [0, L].

Solucin
Aqu
L !L
1 2 3
 1 3 x4  L3
a0 = 3Lx 2x dx = Lx  =

L 0 L 2 0 2

y
L
2 2 3
 nx
an = 3Lx 2x cos dx, n 1.
L 0 L

La evaluacin de esta integral es muy laboriosa. Sin embargo, puesto que f 0 (x) = 6Lx 6x2 , vemos
que f 0 (0) = f 0 (L) = 0. Puesto que f 000 (x) = 12, vemos de (43) que si n 1 entonces

L L
24L2 nx 24L3 nx  24L3  n 
an = sen dx = cos  = (1) 1
n3 3 0 L n4 4 L 0 n4 4

48L3 si n = 2m 1,
= (2m1)4 2
0, si n = 2m.

Por consiguiente

L3 48L3 X 1 (2n 1) x
C(x) = cos .
2 4 n=1 (2n 1)4 L
Series de Fourier: II

Ejemplo 14
Encuentre la expansin de Fourier de senos de f (x) = x x2 3Lx + 2L2 en [0, L].

Solucin
Puesto que f (0) = f (L) = 0 y f 00 (x) = 6 (x L), vemos de (45) que
L
12L nx
bn = 2 2
(x L) sen dx
n 0 L
" L #
12L2 nx L

nx
= 3 3 (x L) cos cos dx
n L 0 0 L
" #
12L2 nx L 12L3

L
= 3 3 L sen = 3 3.
n n L 0 n

Por consiguiente

12L3 X 1 nx
S(x) = sen .
3 n=1 n3 L
Series de Fourier: II
Ejemplo 15
Encuentre la expansin de Fourier mixta de cosenos de f (x) = 3x3 4Lx2 + L3 en
[0, L].

Solucin
Puesto que f 0 (0) = f (L) = 0 y f 00 (x) = 2 (9x 4L), vemos de (47) que
L
16L (2n 1) x
cn = 2
(9x 4L) cos dx
(2n 1) 2 0 2L
" L #
32L2 (2n 1) x L

(2n 1) x
= (9x 4L) sen  9 sen dx
(2n 1)3 3 2L 0 0 2L
" #
32L2 (2n 1) x L

18L
= 3 3
(1)n+1 5L + cos
(2n 1) (2n 1) 2L 
0

32L3
 
n 18
= (1) 5 + .
(2n 1)3 3 (2n 1)

Por consiguiente

32L3 X
 
1 18 (2n 1) x
CM (x) = 3 3
(1)n 5 + cos .
n=1 (2n 1) (2n 1) 2L
Series de Fourier: II
Ejemplo 16
Encuentre la expansin de Fourier mixta de senos de f (x) = x 2x2 9Lx + 12L2


en [0, L].

Solucin
Puesto que f (0) = f 0 (L) = 0, y f 00 (x) = 6 (2x 3L), vemos de (49) que
L
48L (2n 1)x
dm = 2
(2x 3L) sen dx
(2n 1) 2 0 2L
" L #
96L2 (2n 1)x L

(2n 1)x
= (2x 3L) cos  2 cos dx
(2n 1)3 3 2L 0 0 2L
" #
96L2 (2n 1)x L

4L
= 3 3
3L sen
(2n 1) (2n 1) 2L 
0

96L3
 
n 4
= 3 + (1) .
(2n 1)3 3 (2n 1)

Por consiguiente

96L3 X
 
1 4 (2n 1)x
SM (x) = 3 3
3 + (1)n sen .
n=1 (2n 1) (2n 1) 2L
Ejercicios 3
En los ejercicios 2, 3, 5, 9, 10, 11, 12, 14, 15, 16, 18, 20, 21, 24, 25 , 30, 36,
37 y 43, grafique la funcin f y algunas sumas parciales de la serie requerida.
Si el intervalo es [0, L], elija un valor especfico de L para la grfica.
En los Ejercicios 1-10 encuentre la serie de Fourier de cosenos.
1. f (x) = x2 ; [0, L]
2. f (x) = 1 x; [0, 1]
3. 2
f (x) = x 2Lx; [0, L]
4. f (x) = sen kx (k 6= entero); [0, ]
(
1, 0 x L2
5. f (x) = ; [0, L]
0, L2 < x < L;
6. f (x) = x2 L2 ; [0, L]
7. f (x) = (x 1) ;2
[0, 1]
8. f (x) = ex ; [0, ]
9. f (x) = x (L x) ; [0, L]
10. f (x) = x (x L) ; [0, L]
Ejercicios 3 (cont.)
En los Ejercicios 11-17 encuentre la serie de Fourier de senos.
11. f (x) = 1; [0, L]
12. f (x) = 1 x; [0, 1]
13. f (x) = cos kx (k 6= entero); [0, ]
(
1, 0 x L
14. f (x) = 2 ; [0, L]
0, L 2
<x<L
(
x, 0x L
15. f (x) = 2 ; [0, L]
L x, L 2
<x<L
16. f (x) = x sen x; [0, ]
17. f (x) = ex ; [0, ]
En los Ejercicios 18-24 encuentre la serie de Fourier mixta de cosenos.
18. f (x) = 1; [0, L]
19. f (x) = x2 ; [0, L]
20. f (x) = x; [0, 1]
(
1, 0 x L
21. f (x) = 2 ; [0, L]
0, L
2
<x<L
22. f (x) = cos x; [0, ]
23. f (x) = sen x; [0, ]
24. f (x) = x (L x) ; [0, L]
Ejercicios 3 (cont.)

En los Ejercicios 25-30 encuentre la serie de Fourier mixta de senos.

25. f (x) = 1; [0, L]
26. f (x) = x2 ; [0, L]
(
1, 0 x L
27. f (x) = 2 ; [0, L]
0, L2
<x<L
28. f (x) = cos x; [0, ]
29. f (x) = sen x; [0, ]
30. f (x) = x (L x) ; [0, L]
En los Ejercicios 31-34 utilice el Teorema 16 (1) para encontrar la serie de Fourier de
cosenos de f en [0, L]
31. f (x) = 3x2 x2 2L2

32. f (x) = x3 (3x 4L)

33. f (x) = x2 3x2 8Lx + 6L2

34. f (x) = x2 (x L)2

Ejercicios 3 (cont.)

35. (a) Pruebe el Teorema 16 inciso (2)

(b) Adems de las suposiciones del Teorema 16 inciso (2), suponga que
f 00 (0) = f 00 (L) = 0, f 000 es continua, y f (4) es continua en partes en [0, L].
Demuestre que
L
2L3 nx
bn = f (4) (x) sen dx, n 1.
n4 4 0 L

En los Ejercicios 36-41 utilice el Teorema 16 inciso (2) o, donde sea aplicable, el
Ejercicio 35(b), para encontrar la serie de Fourier de senos de f en [0, L].
36. f (x) = x (L x)
37. f (x) = x2 (L x)
38. f (x) = x L2 x2

39. f (x) = x x3 2Lx2 + L3

40. f (x) = x 3x4 10L2 x2 + 7L4

41. f (x) = x 3x4 5Lx3 + 2L4

Ejercicios 3 (cont.)

42. (a) Pruebe el Teorema 16 inciso (3)

(b) Adems de las suposiciones del Teorema 16 inciso (3), suponga que
f 00 (L) = 0, f 00 es continua, y f 000 es continua en partes en [0, L]. Demuestre que
L
16L2 (2n 1)x
cn = f 000 (x) sen dx, n 1.
(2n 1)3 3 0 2L

En los Ejercicios 43-49 utilice el Teorema 16 inciso (3) o, donde sea aplicable, el
Ejercicio 42(b), para encontrar la serie de Fourier mixta de cosenos de f en [0, L].
43. f (x) = x2 (L x)
44. f (x) = L2 x2
45. f (x) = L3 x3

46. f (x) = 2x3 + 3Lx2 5L3

47. f (x) = 4x3 + 3Lx2 7L3
48. f (x) = x4 2Lx3 4L3
49. f (x) = x4 4Lx3 + 6L2 x2 3L4
Ejercicios 3 (cont.)

50. (a) Pruebe el Teorema 16 inciso (4)

(b) Adems de las suposiciones del Teorema 16 inciso (4), suponga que
f 00 (0) = 0, f 00 es continua, y f 000 es continua en partes en [0, L]. Demuestre que
L
16L2 (2n 1)x
dn = 3
f 000 (x) cos dx, n 1.
(2n 1) 3 0 2L

En los Ejercicios 51-56 utilice el Teorema 16 inciso (4) o, donde sea aplicable, el
Ejercicio 50(b), para encontrar la serie de Fourier mixta de senos de f en [0, L].
51. f (x) = x (2L x)
52. f (x) = x2 (3L 2x)
53. f (x) = (L x)3 + L3
54. f (x) = x x2 3L2

55. f (x) = x3 (3x 4L)

56. f (x) = x x3 2Lx2 + 2L3