Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Fourier - Ramón Bruzual & Marisela Domínguez
Series de Fourier - Ramón Bruzual & Marisela Domínguez
FACULTAD DE CIENCIAS
ESCUELA DE MATEMATICA
SERIES DE FOURIER
Ramon Bruzual
Marisela Domnguez
Caracas, Venezuela
Marzo 2003
Ramon Bruzual
Correo-E: rbruzual@euler.ciens.ucv.ve
Marisela Domnguez
Correo-E: mdomin@euler.ciens.ucv.ve
Prologo
Estas notas fueron escritas especialmente para los Talleres de Formacion Matematica
(TForMa), auspiciadas por la Asociacion Matematica Venezolana. Han sido concebidas
como material de estudio para un primer curso de analisis de Fourier.
Se estudian los siguientes temas: Funciones periodicas y series de Fourier. Condiciones
para la convergencia puntual y en media aritmetica de una serie de Fourier. Convergencia
en media cuadratica de la serie de Fourier. Desigualdad de Bessel, identidad de Parseval
y aplicaciones. Comportamiento de las series de Fourier. Desarrollo en serie de senos y en
serie de cosenos. Aplicacion a la resolucion de ecuaciones en derivadas parciales.
Los objetivos fundamentales del curso son motivar a los participantes hacia el estudio del
analisis armonico y conseguir que apliquen en forma rigurosa los topicos que ya han estudiado,
tanto para comprender resultados clasicos, como para resolver problemas sencillos.
La nocion de integral que usamos es la de Riemann, para un curso de mayor profundidad
sera necesaria la integral de Lebesgue.
El requisito fundamental para la lectura de estas notas es un curso avanzado de calculo
diferencial e integral en una variable. Mas en detalle: los participantes deben dominar
las nociones basicas de los siguientes temas: calculo diferencial en una variable, integral
de Riemann unidimensional, convergencia uniforme de sucesiones y series de funciones. Es
recomendable que el participante posea un mnimo de conocimientos de algebra lineal y
rudimentos de calculo en varias variables.
iii
iv
Ramon Bruzual.
Marisela Domnguez.
Marzo 2003.
Contenido
Captulo 1. Funciones periodicas y series de Fourier
1. Funciones trigonometricas
2. Polinomios trigonometricos
4. Coeficientes de Fourier
5. Lema de Riemann-Lebesgue
12
6. Ejercicios adicionales
16
17
17
20
3. Ejercicios adicionales
24
27
1. Media cuadratica
27
28
29
31
5. Ejercicios adicionales
32
33
1. Fenomeno de Gibbs
33
36
40
4. Ejercicios adicionales
41
43
v
vi
CONTENIDO
1. Notacion compleja
43
44
45
4. Ejercicios adicionales
47
49
1. Introduccion
49
50
55
Bibliografa
59
Indice
61
CAPTULO 1
Funciones peri
odicas y series de Fourier
1. Funciones trigonom
etricas
Se supone que el lector esta familiarizado con las propiedades basicas de las funciones
trigonometricas.
En esta seccion repasaremos algunas identidades y enunciaremos algunos resultados
basicos que seran necesarios mas adelante.
Las funciones sen y cos tienen perodo 2, es decir satisfacen:
sen(x + 2) = sen(x),
cos(x + 2) = cos(x)
para todo n
umero real x.
Las siguientes identidades seran utilizadas en distintas partes del libro (x e y denotan
n
umeros reales).
(1.1)
(1.2)
(1.3)
sen2 x =
(1.4)
(1.5)
(1.6)
(1.7)
1 cos(2x)
2
1
+
cos(2x)
cos2 x =
2
1
sen x cos y = (sen(x y) + sen(x + y))
2
1
sen x sen y = (cos(x y) cos(x + y))
2
1
cos x cos y = (cos(x y) + cos(x + y))
2
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
Z 2
Z 2
0,
sen mx sen nx dx =
cos mx cos nx dx =
0
0
,
Z
si m 6= n;
si m = n.
sen mx cos nx dx = 0.
0
n. Demostraremos que
Demostracio
Z
sen mx sen nx dx =
0
0,
si m 6= n;
, si m = n.
Las demostraciones de las igualdades restantes son analogas y quedaran como ejercicio.
Supongamos m 6= n, por la identidad (1.6) tenemos que
1
sen mx sen nx = ( cos((m n)x) cos((m + n)x) ),
2
por lo tanto,
Z 2
0
Z
1 2
cos((m n)x) dx
cos((m + n)x) dx
2 0
0
2
1 sen((m n)x)
1 sen((m + n)x)
=
2
mn
2
m+n
0
0
1
sen mx sen nx dx =
2
= 0 0 = 0.
Supongamos m = n, por la identidad (1.3) tenemos que
sen2 (mx) =
1 cos(2mx)
,
2
por lo tanto,
Z
2
0
1
sen (mx) dx =
2
( 1 cos(2mx) ) dx
0
2
1
sen(2mx)
=
x
2
2m
0
= .
2. POLINOMIOS TRIGONOMETRICOS
2. Polinomios trigonom
etricos
Como es usual R denotara el cuerpo de los n
umeros reales.
n 1.2. Un polinomio trigonometrico es una funcion de R en R de la forma
Definicio
n
X
o
P (x) =
+
k cos kx + k sen kx,
2
k=1
(1.8)
cos jx dx =
0
cos jx cos 0x dx = 0,
0
luego
Z
P (x) dx =
0
X
o
dx +
j
2
j=1
cos jx dx + j
0
sen jx dx = o .
0
sen jx cos kx dx = 0,
0
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
0,
cos jx cos kx dx =
si j 6= k;
, si j = k,
para j = 1, . . . , n. Luego
Z
2
0
o
P (x) cos kx dx =
2
coskx dx +
0
n
X
cos jx cos kx dx + j
0
j=1
sen jx cos kx dx
0
= k .
2
0
n
X
o2
k2 + k2 .
(P (x) ) dx =
+
2
k=1
2
n. Notemos que
Demostracio
n
X
o
k P (x) cos kx + k P (x) sen kx,
(P (x) ) = P (x) +
2
k=1
2
2
0
o
(P (x) ) dx =
2
P (x) dx +
0
n
X
k=1
P (x) cos kx dx + k
0
P (x) sen kx dx
0
n
X
o
o +
k k + k k
2
k=1
!
n
X
o2
=
+
k2 + k2 .
2
k=1
=
3. PERIODO DE UNA FUNCION
f (x) dx =
a
f (x) dx.
0
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
f (u T ) du =
T a
f (u) du =
T a
f (x) dx,
T a
luego
Z
T a
f (x) dx =
a
T a
f (x) dx +
Z
f (x) dx
0
T a
f (x) dx +
Z
T a
f (x) dx
0
f (x) dx.
0
4. COEFICIENTES DE FOURIER
(1.9)
1
ak =
1
bk =
(1.10)
Z
Z
f (x) cos kx dx
(k = 0, 1, . . . ),
f (x) sen kx dx
(k = 1, 2, . . . ).
0
2
0
X
ao
+
ak cos kx + bk sen kx
2
k=1
(1.11)
1,
si
f (x) =
1, si
0 x ;
< x < 2,
sen x sen 3x
sen(2k + 1)x
+
+ +
+
1
3
2k + 1
1
3
5
Para visualizar el grafico de S5 trazamos primero los graficos de las funciones
4 sen 5x
4 sen 3x
y
.
3
5
sen x
1
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
1
0.5
1
0.5
0.5
1
-0.5
-1
-0.5
-0.5
-1
-1
4 sen x
1
4 sen 3x
3
1
0.5
2
-0.5
-1
Figura 1.1. S5
1
0.5
1
4 sen 5x
5
-0.5
-1
4. COEFICIENTES DE FOURIER
g(x) = x para
x < ,
+
+ + (1)k+1
+
1
2
3
k
S3 (x) = 2
+
1
2
3
Para visualizar el grafico de S3 trazamos primero los graficos de las funciones 2 sen x,
sen 2x y
-6
-4
2
3
sen 3x.
3
-2
2
-1
-6
-4
-2
-1
-6
-4
-2
-2
-2
-2
-3
-3
-3
2 sen x
sen 2x
-1
2
3
sen 3x
10
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
3
2
1
-6
-4
-2
-1
-2
-3
Figura 1.3. S3
3
2
1
-6
-4
-2
2
-1
-2
-3
Figura 1.4. S6
Al igual que en el ejemplo anterior, estos graficos sugieren que la serie de Fourier de g
converge a g en cada punto de continuidad.
En el Captulo 2 daremos condiciones suficientes para la convergencia de la serie de
Fourier de una funcion.
4. COEFICIENTES DE FOURIER
11
1 2
a2o X 2
2
(f (x)) dx =
+
ak + b2k .
0
2
k=1
n. Notar que por hipotesis f es continua, ya que es lmite uniforme de
Demostracio
funciones continuas. Por lo tanto f 2 es integrable en [0, 2].
Como
f (x) =
entonces
(f (x))2 =
X
ao
+
ak cos kx + bk sen kx
2
k=1
X
ao f (x)
+
ak f (x) cos kx + bk f (x) sen kx.
2
k=1
y la convergencia es uniforme.
Z
Integrando obtenemos
Z
Z 2
Z 2
2
X
ao 2
2
(f (x)) dx =
f (x) dx +
ak
f (x) cos kx dx + bk
f (x) sen kx dx .
2 0
0
0
0
k=1
Luego
2
0
X
2
a2o
(f (x)) dx = +
ak + b2k .
2
k=1
2
0
k=1
n. Consideramos las sumas parciales de la serie de Fourier de f , esto es
Demostracio
para n 1 sea
(1.12)
Sn (x) =
n
X
ao
+
ak cos kx + bk sen kx.
2
k=1
Tenemos que
(f (x))2 2f (x)Sn (x) + (Sn (x))2 = (f (x) Sn (x))2 0
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
12
y por lo tanto
Luego
(f (x)) dx 2
0
f (x)Sn (x) dx
0
Z 2
Z
Z 2
Z 2
n
X
ao 2
f (x)Sn (x) dx =
f (x) dx +
ak
f (x) cos kx dx + bk
f (x) sen kx dx ,
2 0
0
0
0
k=1
luego
f (x)Sn (x) dx =
0
n
X
a2o
+
a2k + b2k
2
k=1
!
.
Z 2
n
2
X
a
o
a2k + b2k ,
(Sn (x))2 dx =
+
2
0
k=1
por lo tanto
Z
2
0
!
n
n
2
2
X
X
a
a
o
o
a2k + b2k
a2k + b2k
(f (x))2 dx 2
+
+
2
2
k=1
k=1
!
n
X
a2o
=
a2k + b2k .
+
2
k=1
5. LEMA DE RIEMANN-LEBESGUE
13
n.
Demostracio
Demostraremos que
lim
f (x) sen(x) dx = 0,
a
1, x [c, d];
f (x) =
0, x
/ [c, d].
En este caso
Z
f (x) sen(x) dx =
a
sen(x) dx
d
cos(x)
=
c
1
= (cos(c) cos(d) ),
b
a
Z b
< .
h(x)
sen(x)
dx
2
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
14
f
(x)
sen(x)
dx
=
(
f
(x)
h(x)
+
h(x)
)
sen(x)
dx
a
a
Z b
Z b
Z b
Z b
Z b
h(x) sen(x) dx
| f (x) h(x) | dx +
Z
< + = .
2 2
k+
k+
A continuacion probaremos una formula de sumacion y aplicaremos el Lema de RiemannLebesgue al calculo de una integral definida que no es posible obtener a traves del Teorema
fundamental del calculo.
n 1.25. Si x R, sen( x2 ) 6= 0 y n es un n
Proposicio
umero natural, entonces
(1.13)
sen n + 12 x
1
.
+ cos x + cos 2x + + cos nx =
2
2 sen x2
n.
Demostracio
x 1
2 sen
+ cos x + cos 2x + + cos nx =
2
2
x
x
x
+ 2 sen
cos x + + 2 sen
cos nx
= sen
2
2
2
5. LEMA DE RIEMANN-LEBESGUE
15
2 sen
cos kx = sen
kx + sen
+ kx
2
2
2
1
1
= sen
k x + sen
+k x
2
2
1
1
= sen
k
x + sen
k+
x .
2
2
Por lo tanto
x 1
+ cos x + cos 2x + + cos nx =
2 sen
2
2
x
x
1
1
3x
3x
sen
+ sen
sen
+ sen
n
x + sen
n+
x
= sen
2
2
2
2
2
2
1
= sen
n+
x .
2
2
1
t sen n + 12 t dt = 0.
lim
n+
t sen 2
0
(c) Utilizar la formula de sumacion (1.13) para demostrar que, para todo entero n 1
se tiene que
Z
sen
n + 12 t
dt = .
sen 2t
n+
0
sen
n+
t
1
2
dt =
0
sen t
dt.
t
1. FUNCIONES PERIODICAS
Y SERIES DE FOURIER
16
+
0
sen t
dt = .
t
2
6. Ejercicios adicionales
(1) Calcular
Z
(a)
(b)
para x < ,
CAPTULO 2
(2.1)
2
0
"
#
n
1 X
f (t)
cos kt cos kx + sen kt sen kx dt,
+
2 k=1
n 2.1. El n
Definicio
ucleo de Dirichlet es la sucesion de funciones {Dn } definida por
Dn (t) =
sen((n + 12 )t)
2 sen( 12 t)
17
18
Sn (x) =
f (x + t)Dn (t) dt =
0
1
1
+ (cos t + cos 2t + cos nt) .
2
de esta u
ltima igualdad se obtiene que
Z
Dn (t) dt = 1,
0
Dn (t) dt =
0
1
Dn (t) dt = .
2
xzk+
lim f (x).
xzk
xzo+
lim f (x).
xzp
19
h0
f (zk + h) f (zk+ )
h
f (zk + h) f (zk )
.
h
lim
h0
Sn (x) =
Luego
f (x+ ) + f (x )
=
Sn (x)
2
Z
Z
f (x + t)Dn (t) dt f (x )
1
2
Dn (t) dt
( f (x + t) f (x ) )Dn (t) dt +
0
Dn (t) dt f (x )
0
=
=
( f (x + t) f (x ) )Dn (t) dt
sen n + 12 t dt
f (x + t) f (x )
sen( 12 t)
Z 0
1
f (x + t) f (x )
+
sen n + 12 t dt.
1
2
sen( 2 t)
g(t) =
f (x + t) f (x+ )
,
sen( 12 t)
f (x + t) f (x+ )
t
t
sen( 12 t)
de las hipotesis sobre f sigue inmediatamente que existe limt0 g(t) y que si definimos g(0)
como este lmite entonces g es continua a trozos en [0, ].
Por el Lema de Riemann-Lebesgue (ver Lema 1.23) tenemos que
1
f (x + t) f (x+ )
lim
sen n + 12 t dt = 0.
1
n 2 0
sen( 2 t)
20
Z 0
f (x + t) f (x )
1
lim
sen n + 12 t dt = 0.
1
n 2
sen( 2 t)
Por lo tanto
lim Sn (x) =
f (x+ ) + f (x )
.
2
n 2.5. Notar que si f satisface las hipotesis del Teorema 2.4 entonces su
Observacio
serie de Fourier converge puntualmente a f en cada punto de continuidad.
Corolario 2.6. Si f satisface las hipotesis del Teorema anterior y todos sus coeficientes
de Fourier son iguales a cero entonces f es nula, salvo en una cantidad finita de puntos.
Corolario 2.7. Si f y g satisfacen las hipotesis del Teorema anterior y los coeficientes
de Fourier de f son iguales a los de g entonces f = g, salvo en una cantidad finita de puntos.
Ejercicio 2.8. Demostrar que
1 1 1
= 2 1 + + .
2
3 5 7
x < .
0 + 1 + + n
.
n+1
Ejercicio 2.10.
(1) Demostrar que si limn+ n = L entonces la sucesion de las medias de Cesaro de
{n } tambien converge a L.
(2) Dar un ejemplo de una sucesion {n } tal que existe
lim
n+
0 + 1 + + n
,
n+1
2. CONVERGENCIA DE LAS MEDIAS ARITMETICAS
21
Es muy natural preguntarse que ocurre con las medias de Cesaro de las sumas parciales
de la serie de Fourier de una funcion. A continuacion veremos algunos resultados en esta
direccion.
Al igual que en la Seccion anterior sea f : R R una funcion de perodo 2, integrable
en el intervalo [0, 2] y sea {Sn } la sucesion de sumas parciales de la serie de Fourier de f .
Consideremos sus medias de Cesaro
(2.4)
n (x) =
f (x + t)
n (x) =
dt.
n 2.11. El n
Definicio
ucleo de Fejer es la sucesion de funciones {Kn } definida por
(2.6)
Kn (t) =
donde {Dn } es el n
ucleo de Dirichlet.
n 2.12. Claramente
Observacio
Z
(2.7)
n (x) =
(a)
Kn (t) dt = 1,
(b) Kn (t) =
2(n + 1)
(c) Kn (t) 0.
sen
(n+1)t
2
sen
t
2
2
,
22
n.
Demostracio
(a) Es inmediato, ya que
Dk (t) dt = 1, para k = 0, 1, 2, . . .
Dk (t) =
de donde,
1 cos(n + 1)t
1
=
2(n + 1)
1 cos t
(n+1)t
sen
2
1
t .
=
2(n + 1)
sen 2
Kn (t) =
si x, x0 R y |x x0 | < .
Sea x R, por la formula (2.7) y por (b) de la Proposicion 2.13, tenemos que
2. CONVERGENCIA DE LAS MEDIAS ARITMETICAS
23
|n (x) f (x)| =
( f (x + t) f (x) )Kn (t) dt
Kn (t) dt + 2M
Kn (t) dt + 2M
Kn (t) dt
Z
Z
2M
2M
1
1
Kn (t) dt +
dt
t dt +
2
2(n + 1) sen ( 2 )
2(n + 1) sen2 ( 2t )
2M
1
= +
dt.
2 (n + 1) sen2 ( 2t )
La funcion sen x2 es creciente para 0 x . Luego
1
1
,
t
2
sen ( 2 )
sen2 ( 2 )
para t . Por lo tanto
Z
1
1
.
t dt ( )
2
sen ( 2 )
sen2 ( 2 )
sen2 ( 2 )
Como
1
= 0,
n n + 1
lim
<
.
2
(n + 1) sen2 ( 2 )
Tenemos que si n No entonces
|n (x) f (x)| <
para todo x R.
Como ejercicio demostrar los siguientes resultados.
24
n+
Teorema 2.16 (Teorema de aproximacion de Weierstrass). Toda funcion continua a valores reales, definida en un intervalo cerrado y acotado puede ser aproximada uniformemente
por polinomios.
Indicacion:
(A) Considerar primero el caso en que f esta definida en un intervalo [a, b] y
0 < a < b < 2.
(i) Demostrar que en este caso f se puede extender a una funcion continua g con
dominio [0, 2], tal que g(0) = g(2).
(ii)) Demostrar que g tiene una extension continua y de perodo 2 definida en todo
R.
(iii) Utilizar el Teorema de Fejer para demostrar que g puede ser aproximada uniformemente por polinomios trigonometricos en R.
(iv) Utilizar el Teorema de Taylor para demostrar que g se puede aproximar uniformemente por polinomios en el intervalo [a, b].
(B) Obtener el caso general a partir del anterior.
3. Ejercicios adicionales
(1) Sea f : R R una funcion continua, de perodo 2. Demostrar que si
Z 2
f (x) cos(kx) dx = 0
para k = 0, 1, . . . ,
0
f (x) sen(kx) dx = 0
para k = 1, 2, . . .
1
1
2
= 1 + 2 + 2 + .
8
3
5
Indicacion: Ver el Ejercicio 2 de la Seccion 6 del Captulo 1
3. EJERCICIOS ADICIONALES
25
(3) Sea [a, b] R un intervalo cerrado y acotado y sea f : [a, b] R una funcion
continua. Demostrar que si
Z b
xk f (x) dx = 0
para k = 0, 1, 2, . . .
26
CAPTULO 3
21 Z
Z 2
f (x) g(x) dx
(f (x) )2 dx
(g(x) )2 dx
12
.
n. Sea R, entonces
Demostracio
Z
( f (x) g(x) )2 dx 0,
de donde,
Z
(f (x) ) dx 2
f (x)g(x) dx +
0
(g(x) )2 dx 0.
(g(x) ) dx
0.
27
3. CONVERGENCIA EN MEDIA CUADRATICA
DE LA SERIE DE FOURIER
28
N
X
o
k cos kx + k sen kx.
+
2
k=1
Entonces
Z
Z
Z
Z
1 2
2 2
1 2
1 2
2
2
(f (x) P (x) ) dx =
(f (x) ) dx
f (x)P (x) dx +
(P (x) )2 dx.
0
0
0
0
Por la Proposicion 1.6 tenemos que
1
(P (x) )2 dx =
N
X
o2
k2 + k2 ,
+
2
k=1
f (x)P (x) dx =
0
o 1
=
2
f (x) dx +
0
N
X
k=1
o ao X
+
k ak + k bk .
=
2
k=1
1
k
2
0
1
f (x) cos kx dx + k
f (x) sen kx dx
0
29
Luego
1
(3.1)
2
0
(f (x) P (x) )2 dx =
Z
(f (x) )2 dx 2
N
X
o2
+
k2 + k2
2
0
k=1
!
N
N
2
2
X
X
(a
)
a
o
o
o
= kf k22 +
+
(ak k )2 + (bk k )2
+
a2k + b2k
2
2
k=1
k=1
1
=
o ao X
+
k ak + k bk
2
k=1
a2o X 2
+
ak + b2k kf k22
2
k=1
para todo entero positivo N .
n. Sea {Sn } la sucesion de sumas parciales de la serie de Fourier de f ,
Demostracio
considerando la formula (3.1) con P = SN , obtenemos
kf k22
a2o X 2
+
ak + b2k
2
k=1
1
=
(f (x) SN (x) )2 dx 0.
30
a2k + b2k
k=1
es convergente
Teorema 3.8. Sea f : R R una funcion de perodo 2, continua a trozos y sea {Sn }
la sucesi
on de sumas parciales de la serie de Fourier de f . Entonces
lim kf Sn k2 = 0.
n+
n+
12
(f (x) n (x) ) dx
lim kf n k2 = lim
n+
= 0.
n+
kf gk2 < .
2
Sea {Sg,n } la sucesion de sumas parciales de la serie de Fourier de g, por lo que acabamos
de probar, existe un entero positivo No tal que si n No entonces
kg Sg,n k2 < .
2
Por el Teorema 3.5 tenemos que, para cada n N,
kf Sn k2 kf Sg,n k2 .
A SUMACION
DE SERIES NUMERICAS
4. APLICACION
31
Sea n No , entonces
kf Sn k2 kf Sg,n k2
kf gk2 + kg Sg,n k2
<
+ = .
2 2
n 3.9. Se puede probar que el resultado anterior vale para cualquier funcion
Observacio
de cuadrado integrable, no necesariamente continua a trozos.
Teorema 3.10 (Identidad de Parseval). Sea f : R R una funcion de perodo 2,
continua a trozos y sean ak y bk sus coeficientes de Fourier. Entonces
a2o X 2
+
ak + b2k = kf k22 .
2
k=1
n. Sea {Sn (x)} la sucesion de sumas parciales de la serie de Fourier de f ,
Demostracio
considerando la formula (3.1) con P = Sn , obtenemos
!
Z
n
2
X
a
1 2
o
2
2
2
kf k2
ak + bk =
(f (x) Sn (x) )2 dx = kf Sn k22 .
+
2
0
k=1
Tomando lmite cuando n tiende a infinito y usando el Teorema 3.8 tenemos que
!!
n
2
X
a
o
a2k + b2k
= 0.
lim
kf k22
+
n
2
k=1
4. Aplicaci
on a sumaci
on de series num
ericas
Ejemplo 3.11. Vamos a ver como la identidad de Parseval nos permite establecer que
1+
1
1
2
1
+
+
+
=
.
22 32 42
6
Consideremos la funcion
f (x) = x para
extendida por periodicidad a toda la recta.
x < ,
32
+
+ + (1)k+1
+
1
2
3
k
Al aplicar la identidad de Parseval obtenemos
Z
1
1 2
1
1
4 1 + 2 + 2 + 2 + =
x dx
2
3
4
1 x3
2
=
= 2,
3 3
de donde se obtiene el resultado.
5. Ejercicios adicionales
(1) Demostrar que
1+
1
1
1
4
+
+
+
=
.
24 34 44
90
1
1
1
+
+
+ .
26 36 46
1+
1
1
1
+ 8 + 8 + .
8
2
3
4
CAPTULO 4
(0 x < 2),
2
1.5
1
0.5
-10
-5
5
-0.5
-1
-1.5
-2
33
10
34
X
sen kx
.
k
k=1
Sea
n
X
sen kx
Sn (x) =
.
k
k=1
2
1.5
1
0.5
-10
-5
10
10
-0.5
-1
-1.5
-2
Figura 4.2. S5
2
1.5
1
0.5
-10
-5
-0.5
-1
-1.5
-2
Figura 4.3. S9
En las graficas se observa claramente un salto de altura similar alrededor de cada discontinuidad.
1. FENOMENO
DE GIBBS
35
2
1.5
1
0.5
-5
-10
10
-0.5
-1
-1.5
-2
Figura 4.4. S19
A traves de los siguientes ejercicios vamos a formalizar lo que observamos en los graficos.
Ejercicio 4.2. Demostrar que
lim Sn
Indicacion: Identificar Sn
=
0
sen t
dt.
t
sen t
dt 1, 85
t
sen t
dt f (0+ )
t
0
Z
sen t
=
dt
t
2
0
1, 85 0, 28 0, 09.
2
f (0 )
R
0
sen t
t
dt.
36
f (0+ )
9
(f (0+ ) f (0 )).
100
En conclusion, a la derecha de 0, las sumas parciales Sn difieren del valor de f en aproximadamente un 9% del valor del salto.
2. Integraci
on y derivaci
on de series de Fourier
Necesitaremos el siguiente resultado, que dejamos como ejercicio.
Ejercicio 4.4. Sea I R un intervalo cerrado y acotado y sea f : I R una funcion
continua a trozos. Sea xo I y sea F : I R definida por
Z
F (x) =
f (t) dt.
xo
X
ao
+
ak cos kx + bk sen kx.
2
k=1
b
a
X
ao
ak (sen kb sen ka) bk (cos kb cos ka)
f (t) dt = (b a) +
.
2
k
k=1
F (x) =
0
ao
dt.
f (t)
2
Y DERIVACION
DE SERIES DE FOURIER
2. INTEGRACION
37
Por el Ejercicio 4.4, F es continua y posee derivadas laterales en cada punto de la recta, mas
a
un, por la Proposicion 1.11
Z
ao
F (x + 2) =
f (t)
dt
2
0
Z x
Z x+2
ao
ao
=
f (t)
dt +
f (t)
dt
2
2
0
x
Z 2
ao
= F (x) +
f (t)
dt
2
0
Z 2
= F (x) +
f (t) dt ao
x+2
= F (x).
Por lo tanto F tiene perodo 2.
Por el Teorema 2.4 la serie de Fourier de F converge a F en cada punto de la recta, es
decir, si Ak y Bk son los coeficientes de Fourier de F , tenemos que, para cada x R
F (x) =
X
Ao
Ak cos kx + Bk sen kx.
+
2
k=1
2
Z 2
1
1
sen kx
ao
=
F (x)
f (x)
sen kx dx
k
k 0
2
0
=
bk
,
k
ak
.
k
X
Ao
ak sen kx bk cos kx
F (x) =
+
,
2
k
k=1
de donde
Z
(4.1)
0
X
Ao
ak sen kx bk cos kx
ao x
+
+
.
f (t) dt =
2
2
k
k=1
38
X
ao
f (t) dt =
dt +
ak
cos kt dt + bk
sen kt dt,
a
a 2
a
a
k=1
es decir, la serie se puede integrar termino a termino.
Corolario 4.8. Si f : R R es una funcion de perodo 2, continua a trozos en [0, 2],
con serie de Fourier
X
ao
+
ak cos kx + bk sen kx,
2
k=1
entonces la serie
X
bk
k=1
converge.
Ao X bk
=
.
2
k
k=1
Ejercicio 4.10.
(i) Demostrar que la serie
X
sen kx
k=2
ln k
X
sen kx
k=2
ln k
sen kx
x X
=
(1)k+1
2
k
k=1
para < x < .
Y DERIVACION
DE SERIES DE FOURIER
2. INTEGRACION
39
Teorema 4.12. Sea f : R R una funcion de perodo 2, continua a trozos en [0, 2],
con serie de Fourier
X
ao
ak cos kx + bk sen kx.
+
2
k=1
X
X
bk
bk cos kx + (ak + (1)k+1 ao ) sen kx
f (t) dt =
+
.
k
k
0
k=1
k=1
n. Para obtener el resultado basta substituir el valor de Ao /2 (ver ObserDemostracio
vacion 4.9) y el desarrollo de x/2 (ver Ejercicio 4.11) en la formula 4.1.
X
ao
ak cos kx + bk sen kx.
+
2
k=1
k=1
a0k
1
=
1
1
= [f (x) cos kx]2
0 +k
= kbk .
De igual manera se obtiene
b0k = kak .
40
X
ao
+
ak cos kx + bk sen kx,
2
k=1
X
ao
ak cos kx + bk sen kx,
+
2
k=1
X
ao
ak cos kx + bk sen kx,
+
2
k=1
|ak | < y
k=1
|bk | < .
k=1
X
k=1
ak cos kx + bk sen kx
4. EJERCICIOS ADICIONALES
41
4. Ejercicios adicionales
(1) Partiendo del desarrollo en serie de Fourier de la funcion f (x) =
x
2
para
42
CAPTULO 5
Casos m
as generales
1. Notaci
on compleja
Muchas de las operaciones con funciones trigonometricas se simplifican al pasar a los
n
umeros complejos, usando la formula de Euler
ei = cos + i sen .
(5.1)
(5.2)
A continuacion enunciamos algunos resultados que pueden ser verificados sin mayores
dificultades por el estudiante familiarizado con el manejo de n
umeros complejos.
Si en un polinomio trigonometrico de la forma
n
X
o
+
k cos kx + k sen kx,
P (x) =
2
k=1
hacemos la substitucion
1
cos kx = (eikx + eikx )
2
sen kx =
obtenemos
P (x) =
n
X
k=n
43
k eikx ,
1 ikx
(e eikx ),
2i
GENERALES
5. CASOS MAS
44
donde los n
umeros complejos k estan relacionados con los n
umeros o , k y k por la
ecuaciones
1
o = o ,
2
1
k = (k ik ),
2
1
k = (k + ik ),
2
para k = 1, . . . , n. Tambien se tiene que
k = k + k ,
k = i(k k ).
ck eikx ,
k=
donde
1
ck =
2
f (x)eikx dx.
(f (x)) dx =
0
+
X
|ck |2 .
k=
45
Una funcion de perodo 2T , integrable en el intervalo [0, 2T ], tiene una serie de Fourier
(generalizada) de la forma
X
ao
kx
kx
+
ak cos
+ bk sen
,
2
T
T
k=1
donde
1
ak =
T
1
bk =
T
f (x) cos
Z
f (x) sen
T
kx
T
kx
T
dx
(k = 0, 1, . . . ),
dx
(k = 1, 2, . . . ).
X
kx
ao
kx
+
ak cos
+ bk sen
.
2
T
T
k=1
f (x) cos
0
kx
T
dx
(k = 0, 1, . . . ).
GENERALES
5. CASOS MAS
46
f (x) sen
0
kx
T
dx
(k = 1, 2, . . . ).
f (x)
si x [0, T ],
f (x)
si x [T, 0],
entonces g es una extension par de f al intervalo [T, T ]. La funcion g tiene una extension
de perodo 2T a toda la recta. La expansion de Fourier de g es lo que se conoce como el
desarrollo en serie de cosenos de f .
Si definimos
h(x) =
f (x)
si x [0, T ],
f (x)
si x [T, 0],
entonces h es una extension impar de f al intervalo [T, T ]. La funcion h tiene una extension
de perodo 2T a toda la recta (mas precisamente la restriccion de h al intervalo [T, T )).
La expansion de Fourier de h es lo que se conoce como el desarrollo en serie de senos de f .
Del Ejercicio 5.4 sigue que si f : [0, T ] R es una funcion integrable, entonces su
desarrollo en serie de cosenos es
X
ao
kx
+
ak cos
,
2
T
k=1
donde
2
ak =
T
f (x) cos
0
kx
T
dx
(k = 0, 1, . . . ).
4. EJERCICIOS ADICIONALES
47
bk sen
k=1
donde
2
bk =
T
f (x) sen
0
kx
T
kx
T
dx
(k = 1, 2, . . . ).
4. Ejercicios adicionales
(1) Demostrar que
1
1
1
2 8
+
+
+
=
.
12 32 32 52 52 72
16
Indicacion: Desarrollar f (x) = sen x, 0 x en serie de cosenos.
(2) Desarrollar la funcion f (x) = x, 0 < x < 2, en serie de cosenos y en serie de senos.
(3) Demostrar que, para 0 x , se cumplen las siguientes igualdades:
+
+
+ .
6
12
22
32
13
33
53
(4) Utilizar el ejercicio anterior para demostrar que
(a)
X
2
1
=
.
2
n
6
n=1
X
2
(1)n1
=
.
(b)
n2
12
n=1
X
(1)n1
3
(c)
=
.
3
(2n
1)
32
n=1
GENERALES
5. CASOS MAS
48
1
1
1
1
1
1
3 3 2
+
+
+
=
.
13 33 53 73 93 113
16
CAPTULO 6
Aplicaci
on a la resoluci
on de ecuaciones en derivadas parciales
1. Introducci
on
La idea basica de las series de Fourier es que, una amplia variedad de funciones periodicas
se puede expresar como una suma de funciones trigonometricas simples, (senos y cosenos)
con un perodo com
un.
Esta idea aparece en forma natural en el estudio de fenomenos astronomicos periodicos.
Ya los Babilonios usaban una forma primitiva de series de Fourier para la prediccion de
eventos relacionados con los astros.
La historia mas reciente de las series de Fourier comienza con DAlembert en el a
no 1747,
quien estudiaba el problema de la descripcion de la oscilacion de una cuerda de violn, para
lo cual deba resolver la ecuacion en derivadas parciales
2u
2u
=
,
x2
t2
con ciertas condiciones de borde.
La contribucion de Fourier comienza en el a
no 1807, cuando estudia el problema de la
transmision del calor, que esta asociado a la ecuacion
u
2u
=
.
2
x
t
En su libro Theorie Analytique de la Chaleur (1822) aparece un intento serio de demostracion
de que toda funcion periodica y suave a trozos puede ser expresada como una serie trigonometrica. Las pruebas rigurosas y precisas de este hecho fueron dadas despues por Dirichlet
(1829) y por Riemann (1867).
A continuacion vamos a considerar la ecuacion de la cuerda vibrante y la ecuacion del
calor en dos situaciones particularmente sencillas y veremos como el metodo de separacion
de variables, combinado con el metodo de expansion en series trigonometricas, permite hallar
la solucion de estas ecuaciones.
49
A LA RESOLUCION
DE ECUACIONES EN DERIVADAS PARCIALES
6. APLICACION
50
2. Ecuaci
on de la cuerda vibrante
2.1. Planteamiento del problema.
Consideremos una cuerda de longitud L, que se encuentra fija en sus extremos. Si
esta cuerda realiza un movimiento de vibracion en un plano, entonces este movimiento
se puede describir mediante una funcion de dos variables u(x, t) de la siguiente manera:
Sea xu el plano en el que vibra la cuerda, supongamos que la posicion de equilibrio de
la cuerda queda a lo largo del eje x. La funcion u(x, t) tiene por dominio el conjunto
{(x, t) : 0 x L, t 0} y para cada t 0 el grafico de la funcion x 7 u(x, t) es la forma
de la cuerda en el instante t. La siguiente figura nos ilustra esta situacion.
u
u = u(x,t)
0
Figura 6.1.
Supongamos que se cumplen las siguientes condiciones ideales:
(a) La amplitud de la cuerda es peque
na y cada punto de la misma se mueve solamente
en direccion vertical.
(b) Todas las fuerzas de friccion, tanto internas como externas, pueden despreciarse.
(c) La masa de la cuerda, por unidad de longitud, es peque
na en relacion con la tension
en la misma, por lo que la fuerza de gravedad puede ser despreciada.
Entonces la funcion u, que describe el movimiento de la cuerda, satisface la ecuacion en
derivadas parciales
(6.1)
2u
1 2u
=
,
x2
a2 t2
donde a es una constante positiva, que depende de la tension y otras caractersticas fsicas
de la cuerda.
DE LA CUERDA VIBRANTE
2. ECUACION
51
u(0, t) = u(L, t) = 0, t 0
(6.2)
u(x, 0) = f (x),
(x, 0) = g(x),
t
donde f y g se suponen funciones conocidas.
La interpretacion fsica es sencilla: tal como se
nalamos anteriormente la funcion u(x, t)
describe el movimiento de una cuerda ideal de longitud L, cuya posicion de equilibrio coincide
con el eje x y cuyos extremos se encuentran fijos en x = 0 y en x = L.
Suponemos que la forma inicial de la cuerda es conocida y esta dada por el grafico de f ,
tambien supondremos conocida la velocidad inicial de cada punto de la cuerda y que esta
dada por g.
2.2. Separaci
on de variables.
Vamos a comenzar por buscar soluciones no triviales de la ecuacion (6.1) que tengan la
forma
u(x, t) = (x)(t)
y que satisfagan
u(0, t) = u(L, t) = 0 t 0.
En este caso tendremos que
2u
= 00 (x)(t)
x2
2u
= (x)00 (t).
t2
1
(x)00 (t),
a2
por lo tanto
(6.3)
00 (x)
1 00 (t)
= 2
,
(x)
a (t)
A LA RESOLUCION
DE ECUACIONES EN DERIVADAS PARCIALES
6. APLICACION
52
tiene que ser constante. Si llamamos a esta constante, obtenemos que la ecuacion (6.3)
equivale al par de ecuaciones diferenciales ordinarias
00 (x) (x) = 0,
(6.4)
00 (t) a2 (t) = 0.
(6.5)
(x) = C1 e
+ C2 e
donde C1 y C2 son constantes reales. Como (0) = 0 tiene que ser C1 = 0. Como (L) = 0
tiene que ser C2 sen( L) = 0, por lo tanto para que la solucion no sea trivial se debe
cumplir
sen( L) = 0,
de donde
(6.7)
para alg
un entero positivo k.
k22
,
L2
DE LA CUERDA VIBRANTE
2. ECUACION
53
De la solucion general (6.6) obtenemos que, para cada entero positivo k, la funcion k
definida por
k
k (x) = k sen
x ,
L
donde k es una constante real, es una solucion de la ecuacion (6.5).
Reemplazando el valor de , dado en (6.7), en la segunda ecuacion de (6.4) obtenemos
00 (t) +
La solucion general de esta ecuacion es
k (t) = k cos
k22 2
a (t) = 0.
L2
k
k
at + k sen
at ,
L
L
k
k
k
uk (x, t) = Ak cos
at + Bk sen
at
sen
x ,
L
L
L
donde Ak y Bk son constantes reales.
Supongamos que la solucion de la ecuacion (6.1) que satisface las condiciones (6.2), se
puede expresar en la forma
(6.8)
u(x, t) =
uk (x, t)
k=1
y que
uk (x, 0) = f (x)
k=1
X
uk
(x, 0) = g(x),
t
k=1
es decir
(6.9)
X
k=1
(6.10)
Ak sen
k
x
L
= f (x)
X
k
k
aBk sen
x = g(x)
L
L
k=1
De la formula para el desarrollo en serie de senos de una funcion (ver Seccion 3 del
Captulo 5), obtenemos
54
A LA RESOLUCION
DE ECUACIONES EN DERIVADAS PARCIALES
6. APLICACION
2
Ak =
L
f (x) sen
0
2
Bk =
ka
kx
L
g(x) sen
0
dx
kx
L
dx.
f (x) sen
0
2
Bk =
ka
kx
L
g(x) sen
0
kx
L
dx
dx.
Entonces la serie
u(x, t) =
X
k=1
Ak cos
k
k
k
at + Bk sen
at
sen
x
L
L
L
DEL CALOR
3. ECUACION
u(0, t) = u(L, t) = 0,
u(x, 0) = f (x),
u (x, 0) = g(x).
t
55
t 0,
3. Ecuaci
on del calor
3.1. Planteamiento del problema.
Consideremos una barra homogenea de longitud L, delgada y aislada en forma tal que su
calor no puede perderse a traves de su superficie. Supongamos ademas que la temperatura
de la barra es constante en cada una de sus secciones transversales. Entonces la temperatura
en la barra se puede describir mediante una funcion u(x, t), donde 0 x L y t 0.
Se puede probar que la funcion u(x, t) satisface la ecuacion
2u
u
= a2 ,
2
x
t
(6.11)
u(0, t) = u(L, t) = 0, t 0
(6.12)
u(x, 0) = f (x),
donde f es una funcion que se supone conocida.
La interpretacion fsica es la siguiente: Vamos a describir la distribucion de temperatura en un barra, cuyos extremos se mantienen a temperatura constante igual a 0 y cuya
distribucion inicial de temperatura esta dada por la funcion f .
3.2. Separaci
on de variables.
Al igual que en el ejemplo anterior comenzamos buscando soluciones no triviales de la
ecuacion (6.11) que tengan la forma
u(x, t) = (x)(t)
y que satisfagan
u(0, t) = u(L, t) = 0 t 0.
A LA RESOLUCION
DE ECUACIONES EN DERIVADAS PARCIALES
6. APLICACION
56
u
= (x)0 (t).
t
(6.13)
siempre que (x)(t) 6= 0.
Al igual que en el ejemplo de la cuerda se prueba que cada uno de los miembros de esta
ecuacion tiene que ser constante. Si llamamos a esta constante, obtenemos que la ecuacion
(6.13) equivale al par de ecuaciones diferenciales ordinarias
00 (x) (x) = 0,
(6.14)
0 (t)
(t) = 0.
a2
donde C1 y C2 son constantes reales. Como (0) = 0 tiene que ser C1 = 0. Como (L) = 0
sen( L) = 0,
de donde
(6.16)
k22
,
L2
para alg
un entero positivo k.
De la solucion general (6.15) obtenemos que, para cada entero positivo k, la funcion k
definida por
k (x) = k sen
k
x ,
L
DEL CALOR
3. ECUACION
57
k22
(t) = 0.
L2 a2
k22
k (t) = k exp 2 2 t
La
k22
k
uk (x, t) = Ak exp 2 2 t sen
x ,
La
L
donde Ak es una constante real.
Supongamos que la solucion de la ecuacion (6.11) que satisface las condiciones (6.12), se
puede expresar en la forma
(6.17)
u(x, t) =
uk (x, t)
k=1
uk (x, 0) = f (x),
k=1
es decir
(6.18)
Ak sen
k=1
k
x
L
= f (x)
De la formula para el desarrollo en serie de senos de una funcion (ver Seccion 3 del
Captulo 5), obtenemos
(6.19)
2
Ak =
L
f (x) sen
0
kx
L
dx.
Al igual que en el caso de la cuerda se puede probar que, si los coeficientes Ak se definen
mediante la formula (6.19) y f satisface ciertas condiciones, la serie (6.17) converge a una
solucion de la ecuacion (6.11), que satisface las condiciones de borde (6.12) (ver [4] para mas
detalles).
58
A LA RESOLUCION
DE ECUACIONES EN DERIVADAS PARCIALES
6. APLICACION
Bibliografa
[1] R. Courant y F. John. Introduction to Calculus and Analysis, Volume I. Wiley, 1965. 33
[2] H. Dym y H.P. McKean. Fourier Series and Integrals. Academic Press 1972. 33
[3] J. Fourier. The Analytical Theory of Heat. Traducido al ingles por A. Freeman. Cambridge University
Press, 1878. Reimpreso por Dover, 1955. Obra Original: Theorie Analytique de la Chaleur, 1822.
[4] D. Kreider, R. Kuller, D. Otsberg y F. Perkins. Introducci
on al An
alisis Lineal, Parte 2. Fondo
Educativo Interamericano, 1971. 54, 57
[5] M. Spiegel. An
alisis de Fourier. Serie Schaum. McGraw-Hill, 1977.
[6] G. Tolstov. Fourier Series. Dover, 1976.
59
60
Indice
polinomio trigonometrico, 3
grado, 3
Dirichlet, N
ucleo de, 17
serie de cosenos, 46
serie de senos, 47
ecuacion de la cuerda, 50
Weierstrass, Teorema de, 24
61