Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fourier PDF
Fourier PDF
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
http://euler.ciens.ucv.ve/~labfg
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.
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.
iii
iv
Ramon Bruzual.
Marisela Domnguez.
Marzo 2003.
Contenido
v
vi CONTENIDO
1. Notacion compleja 43
2. Funciones de perodo arbitrario 44
3. Desarrollo en serie de cosenos y en serie de senos 45
4. Ejercicios adicionales 47
Bibliografa 59
Indice 61
CAPTULO 1
1. Funciones trigonometricas
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)
1
2 1. FUNCIONES PERIODICAS Y SERIES DE FOURIER
Z 2
sen mx cos nx dx = 0.
0
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 Z 2 Z
1 1 2
sen mx sen nx dx = cos((m n)x) dx cos((m + n)x) dx
0 2 0 2 0
2 2
1 sen((m n)x) 1 sen((m + n)x)
=
2 mn 0 2 m+n 0
= 0 0 = 0.
1 cos(2mx)
sen2 (mx) = ,
2
por lo tanto,
Z 2 Z 2
2 1
sen (mx) dx = ( 1 cos(2mx) ) dx
0 2 0
2
1 sen(2mx)
= x
2 2m 0
= .
2. POLINOMIOS TRIGONOMETRICOS 3
2. Polinomios trigonometricos
Z
0,
2 si j 6= k;
cos jx cos kx dx =
0
, si j = k,
para j = 1, . . . , n. Luego
Z 2 Z 2 n
X Z 2 Z 2
o
P (x) cos kx dx = coskx dx + j cos jx cos kx dx + j sen jx cos kx dx
0 2 0 j=1 0 0
= k .
Observacion 1.5. Como cos 0 = 1 tenemos que las dos primeras formulas de la
Proposicion 1.4 se reducen a
Z 2
1
k = P (x) cos kx dx para k = 0, . . . , n.
0
Xn
2o
(P (x) ) = P (x) + k P (x) cos kx + k P (x) sen kx,
2 k=1
3. PERIODO DE UNA FUNCION 5
Definicion 1.7. Sea f : R R una funcion. Decimos que f es periodica cuando existe
un numero real T , no nulo, tal que f (x + T ) = f (x) para todo x R. En este caso se dice
que T es un perodo para f .
Ejemplo 1.9.
(a) Las funciones sen y cos tienen perodo 2.
(b) La funcion u definida por u(x) = cos(2x) tiene perodo .
(c) La funcion v definida por v(x) = sen(3x) tiene perodo 2
3
.
(d) La funcion f definida por f (x) = sen( 2x) tiene perodo 2.
(e) La funcion g definida por g(x) = 1 + cos(2x) + sen(3x) tiene perodo 2.
(f) La funcion h definida por h(x) = 1 + cos(2x) + sen(4x) tiene perodo .
Observacion 1.10.
Es claro que si f : R R es una funcion de perodo T entonces f esta determinada por
sus valores en un intervalo semi-abierto de longitud T .
Supongamos que f es una funcion a valores reales definida en un intervalo I, de la forma
(a, b] o [a, b), entonces f puede ser extendida, en forma natural, a una funcion de perodo
T = b a, definida en todo R mediante la siguiente igualdad:
f (x + nT ) = f (x),
para x I y n Z.
En particular, cuando se consideran funciones de perodo 2, es usual definirlas en el
intervalo [0, 2), o en el intervalo [, ).
luego
Z T a Z 0 Z T a
f (x) dx = f (x) dx + f (x) dx
a a 0
Z T Z T a
= f (x) dx + f (x) dx
T a 0
Z T
= f (x) dx.
0
Probar:
Ejercicio 1.13. Dar un ejemplo de una funcion no constante con perodo fundamental
igual a cero.
Ejercicio 1.14. Probar que si una funcion f tiene dos perodos T1 y T2 tales que T1 /T2
es irracional entonces el perodo fundamental de f es 0. Dar un ejemplo de una funcion no
constante con perodos T1 y T2 tales que T1 /T2 es irracional.
4. Coeficientes de Fourier
Z 2
1
(1.9) ak = f (x) cos kx dx (k = 0, 1, . . . ),
0
Z 2
1
(1.10) bk = f (x) sen kx dx (k = 1, 2, . . . ).
0
X
ao
(1.11) + ak cos kx + bk sen kx
2 k=1
La serie de Fourier de f es
4 sen x sen 3x sen(2k + 1)x
+ + + +
1 3 2k + 1
(verificarlo como ejercicio).
1 1
1
1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6
-0.5 -0.5 -0.5
-1
-1 -1
0.5
1 2 3 4 5 6
-0.5
-1
Figura 1.1. S5
0.5
1 2 3 4 5 6
-0.5
-1
La serie de Fourier de g es
sen x sen 2x sen 3x sen kx
2 + + + (1)k+1 +
1 2 3 k
sen x sen 2x sen 3x
S3 (x) = 2 + .
1 2 3
Para visualizar el grafico de S3 trazamos primero los graficos de las funciones 2 sen x,
2
sen 2x y 3
sen 3x.
3 3 3
2 2 2
1 1 1
-6 -4 -2 2 4 6 -6 -4 -2 2 4 6 -6 -4 -2 2 4 6
-1 -1 -1
-2 -2 -2
-3 -3 -3
2
2 sen x sen 2x 3
sen 3x
-6 -4 -2 2 4 6
-1
-2
-3
Figura 1.3. S3
-6 -4 -2 2 4 6
-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.
Luego
Z 2 X
2 a2o 2
(f (x)) dx = + ak + b2k .
0 2 k=1
Tenemos que
y por lo tanto Z 2
(f (x))2 2f (x)Sn (x) + (Sn (x))2 dx 0.
0
Luego Z Z Z
2 2 2
2
(f (x)) dx 2 f (x)Sn (x) dx (Sn (x))2 dx.
0 0 0
Calcularemos las integrales que estan a la derecha de esta expresion
Multiplicando (1.12) por f (x) e integrando de 0 a 2, obtenemos
Z 2 Z Xn Z 2 Z 2
ao 2
f (x)Sn (x) dx = f (x) dx + ak f (x) cos kx dx + bk f (x) sen kx dx ,
0 2 0 k=1 0 0
luego !
Z 2 Xn
a2o
f (x)Sn (x) dx = + a2k + b2k .
0 2 k=1
Por la Proposicion 1.6 tenemos que
Z 2 n
!
a2 X
o
(Sn (x))2 dx = + a2k + b2k ,
0 2 k=1
por lo tanto
Z n
! n
!
2
a 2 X a2 X
o o
(f (x))2 dx 2 + a2k + b2k + a2k + b2k
0 2 k=1
2 k=1
n
!
a2o X
= + a2k + b2k .
2 k=1
5. Lema de Riemann-Lebesgue
El siguiente resultado, que dejamos como ejercicio, lo necesitaremos para probar el re-
sultado fundamental de esta seccion.
Demostracion.
Demostraremos que
Z b
lim f (x) sen(x) dx = 0,
+ a
En este caso
Z b Z d
f (x) sen(x) dx = sen(x) dx
a c
d
cos(x)
=
c
1
= (cos(c) cos(d) ),
como la funcion coseno es acotada, esta ultima expresion tiende a 0 si tiende a .
Caso 2: f es una funcion escalonada.
En este caso f es una combinacion lineal finita de funciones caractersticas de intervalos
contenidos en [a, b], por la linealidad de la integral el resultado para este caso se obtiene
inmediatamente del caso 1.
Caso 3: Caso general, sea f integrable en [a, b].
Sea > 0, por el Ejercicio 1.22, existe una funcion escalonada h, definida en [a, b], tal
que
Z b
| f (x) h(x) | dx < .
a 2
Por lo probado en el caso anterior existe o R tal que si o entonces
Z b
h(x) sen(x) dx < .
2
a
14 1. FUNCIONES PERIODICAS Y SERIES DE FOURIER
Z b Z b
f (x) sen(x) dx = ( f (x) h(x) + h(x) ) sen(x) dx
a a
Z b Z b
( f (x) h(x) ) sen(x) dx + h(x) sen(x) dx
a a
Z Z b
b
|( f (x) h(x) ) sen(x) | dx + h(x) sen(x) dx
a a
Z b Z b
| f (x) h(x) | dx + h(x) sen(x) dx
a a
< + = .
2 2
lim ak = lim bk = 0.
k+ k+
1 sen n + 12 x
(1.13) + cos x + cos 2x + + cos nx = .
2 2 sen x2
Demostracion.
x 1
2 sen + cos x + cos 2x + + cos nx =
2 2
x x x
= sen + 2 sen cos x + + 2 sen cos nx
2 2 2
5. LEMA DE RIEMANN-LEBESGUE 15
(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
0
6. Ejercicios adicionales
(1) Calcular
Z 2
(a) (1 + 2 cos 3x + cos2 3x) dx.
0
Z 2
(b) (1 + 2 cos 3x + 4 cos 5x 2 sen 10x)2 dx.
0
Sea f : R R una funcion de perodo 2, integrable en el intervalo [0, 2]. Sea {Sn } la
sucesion de sumas parciales de la serie de Fourier de f , es decir
Xn
ao
(2.1) Sn (x) = + ak cos kx + bk sen kx,
2 k=1
Z " n
#
1 2
1 X
Sn (x) = f (t) + cos kt cos kx + sen kt sen kx dt,
0 2 k=1
de la identidad (1.2) para el coseno de la suma, sigue que
Z " n
#
1 2 1 X
Sn (x) = f (t) + cos( k(t x) ) dt,
0 2 k=1
por la formula de sumacion obtenida en la Proposicion 1.25 tenemos que
Z 2
1 sen((n + 12 )(t x))
Sn (x) = f (t) dt.
2 0 sen( 21 (t x))
17
18 2. CONDICIONES PARA LA CONVERGENCIA DE UNA SERIE DE FOURIER
Z Z 0
1
Dn (t) dt = Dn (t) dt = .
0 2
(i) I se puede dividir en una cantidad finita de sub-intervalos [zo , z1 ], [z1 , z2 ], . . . , [zp1 , zp ]
(zo < z1 < < zp ), tales que f es continua en cada uno de los intervalos (zk1 , zk ).
(ii) Para cada k = 1, . . . , p 1, los siguientes lmites existen y son finitos
f (x+ ) + f (x )
.
2
Luego
Z Z Z 0
f (x+ ) + f (x ) +
Sn (x) = f (x + t)Dn (t) dt f (x ) Dn (t) dt f (x ) Dn (t) dt
2 0
Z Z 0
+
= ( f (x + t) f (x ) )Dn (t) dt + ( f (x + t) f (x ) )Dn (t) dt
0
Z
1 f (x + t) f (x ) +
= sen n + 12 t dt
2 0 sen( 12 t)
Z 0
1 f (x + t) f (x )
+ 1 sen n + 12 t dt.
2 sen( 2 t)
Observacion 2.5. Notar que si f satisface las hipotesis del Teorema 2.4 entonces su
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.
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.
Z
(a) Kn (t) dt = 1,
2
(n+1)t
1 sen 2
(b) Kn (t) = t ,
2(n + 1) sen 2
(c) Kn (t) 0.
22 2. CONDICIONES PARA LA CONVERGENCIA DE UNA SERIE DE FOURIER
Demostracion.
R
(a) Es inmediato, ya que
Dk (t) dt = 1, para k = 0, 1, 2, . . .
de donde,
Z
|n (x) f (x)| = ( f (x + t) f (x) )Kn (t) dt
Z
| f (x + t) f (x) |Kn (t) dt
Z
= | f (x + t) f (x) |Kn (t) dt
Z
+ | f (x + t) f (x) |Kn (t) dt
Z
+ | f (x + t) f (x) |Kn (t) dt
Z Z Z
Kn (t) dt + 2M Kn (t) dt + 2M Kn (t) dt
2
Z Z Z
2M 1 2M 1
Kn (t) dt + t dt + dt
2 2(n + 1) sen ( 2 )
2 2(n + 1) sen2 ( 2t )
Z
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
lim = 0,
n n + 1
para todo x R.
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 uni-
formemente por polinomios trigonometricos en R.
(iv) Utilizar el Teorema de Taylor para demostrar que g se puede aproximar uni-
formemente por polinomios en el intervalo [a, b].
(B) Obtener el caso general a partir del anterior.
3. Ejercicios adicionales
(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, . . .
a
1. Media cuadratica
kf gk2 < .
Z 2
( f (x) g(x) )2 dx 0,
0
de donde,
Z 2 Z 2 Z 2
2 2
(f (x) ) dx 2 f (x)g(x) dx + (g(x) )2 dx 0.
0 0 0
La expresion de la izquierda es un polinomio de grado 2 en la variable , por lo tanto su
discriminante es menor o igual que cero, es decir
Z 2 2 Z 2 Z 2
2 2
4 f (x) g(x) dx 4 (f (x) ) dx (g(x) ) dx 0.
0 0 0
27
28 3. CONVERGENCIA EN MEDIA CUADRATICA DE LA SERIE DE FOURIER
Entonces
Z Z Z Z
1 2 2 1 2 2 2 2 1 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
Z 2 XN
1 o2
(P (x) )2 dx = + k2 + k2 ,
0 2 k=1
Z 2
1
f (x)P (x) dx =
0
Z 2 N
X Z 2 Z 2
o 1 1 1
= f (x) dx + k f (x) cos kx dx + k f (x) sen kx dx
2 0 k=1
0 0
N
o ao X
= + k ak + k bk .
2 k=1
3. DESIGUALDAD DE BESSEL E IDENTIDAD DE PARSEVAL 29
Luego
Z 2
1
(f (x) P (x) )2 dx =
0
Z N N
!
1 2
o ao X o2 X
(3.1) = (f (x) )2 dx 2 + k ak + k bk
+ k2 + k2 +
0 2 k=1
2 k=1
N
N
!
(ao o )2 X a 2 X
o
= kf k22 + + (ak k )2 + (bk k )2 + a2k + b2k
2 k=1
2 k=1
kf SN k2 kf P k2
30 3. CONVERGENCIA EN MEDIA CUADRATICA DE LA SERIE DE FOURIER
es convergente
Teorema 3.8. Sea f : R R una funcion de perodo 2, continua a trozos y sea {Sn }
la sucesion de sumas parciales de la serie de Fourier de f . Entonces
lim kf Sn k2 = 0.
n+
Z 2 12
2
lim kf n k2 = lim (f (x) n (x) ) dx = 0.
n+ n+ 0
lim kf Sn k2 = 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
kf Sn k2 kf Sg,n k2 .
4. APLICACION A SUMACION DE SERIES NUMERICAS 31
Sea n No , entonces
kf Sn k2 kf Sg,n k2
kf gk2 + kg Sg,n k2
< + = .
2 2
Observacion 3.9. Se puede probar que el resultado anterior vale para cualquier funcion
de cuadrado integrable, no necesariamente continua a trozos.
Tomando lmite cuando n tiende a infinito y usando el Teorema 3.8 tenemos que
n
!!
a 2 X
o
lim kf k22 + a2k + b2k = 0.
n 2 k=1
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
sen x sen 2x sen 3x sen(k)x
2 + + + (1)k+1 + .
1 2 3 k
Al aplicar la identidad de Parseval obtenemos
Z
1 1 1 1 2
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. Fenomeno de Gibbs
2
1.5
1
0.5
-10 -5 5 10
-0.5
-1
-1.5
-2
33
34 4. COMPORTAMIENTO DE LAS SERIES DE FOURIER
-10 -5 5 10
-0.5
-1
-1.5
-2
Figura 4.2. S5
2
1.5
1
0.5
-10 -5 5 10
-0.5
-1
-1.5
-2
Figura 4.3. S9
En las graficas se observa claramente un salto de altura similar alrededor de cada discon-
tinuidad.
1. FENOMENO DE GIBBS 35
2
1.5
1
0.5
-10 -5 5 10
-0.5
-1
-1.5
-2
A traves de los siguientes ejercicios vamos a formalizar lo que observamos en los graficos.
Luego
Z
+ sen t
Sn f (0 ) dt f (0+ )
n 0 t
Z
sen t
= dt
0 t 2
1, 85 0, 28 0, 09.
2
Por otro lado, la altura del salto de f en 0 es
f (0+ ) f (0 ) = ,
36 4. COMPORTAMIENTO DE LAS SERIES DE FOURIER
9
Sn f (0+ ) (f (0+ ) f (0 )).
n 100
En general, una serie infinita puede ser integrada termino a termino, solamente cuando
es uniformemente convergente. Sin embargo para series de Fourier la integracion termino a
termino es posible, mas precisamente, se tiene.
Teorema 4.5. 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
Por el Ejercicio 4.4, F es continua y posee derivadas laterales en cada punto de la recta, mas
aun, por la Proposicion 1.11
Z
x+2
ao
F (x + 2) = f (t) dt
0 2
Z x Z x+2
ao ao
= f (t) dt + f (t) dt
0 2 x 2
Z 2
ao
= F (x) + f (t) dt
0 2
Z 2
= F (x) + f (t) dt ao
0
= F (x).
Ejercicio 4.10.
(i) Demostrar que la serie
X sen kx
k=2
ln k
converge para todo x R.
(ii) Demostrar que no existe ninguna funcion continua a trozos y de perodo 2 cuya
serie de Fourier sea
X sen kx
.
k=2
ln k
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
Entonces, para < x < ,
Z x X X
bk bk cos kx + (ak + (1)k+1 ao ) sen kx
f (t) dt = + .
0 k=1
k k=1
k
Z 2
1
a0k = f 0 (x) cos kxdx
0
Z 2
1 1
= [f (x) cos kx]2
0 +k f (x) sen kxdx
0
= kbk .
40 4. COMPORTAMIENTO DE LAS SERIES DE FOURIER
lim k ak = lim k bk = 0.
k k
Demostracion. El resultado sigue del Teorema 4.13 y del Corolario 1.24 aplicado a f 0 .
lim k p ak = lim k p bk = 0.
k k
lim k 2 ak = lim k 2 bk = 0.
k k
4. Ejercicios adicionales
x
(1) Partiendo del desarrollo en serie de Fourier de la funcion f (x) = 2
para
< x < (Ejercicio 4.11), hallar el desarrollo de Fourier de la funcion f (x) = x2
para < x < .
(2) Sea f : R R una funcion de perodo 2, tres veces diferenciable. Demostrar que si
f (3) es continua a trozos, entonces la serie de Fourier de f 0 converge uniformemente
a f 0 en R. Puede generalizar el resultado anterior?
42 4. COMPORTAMIENTO DE LAS SERIES DE FOURIER
CAPTULO 5
1. Notacion compleja
A continuacion enunciamos algunos resultados que pueden ser verificados sin mayores
dificultades por el estudiante familiarizado con el manejo de numeros complejos.
Si en un polinomio trigonometrico de la forma
Xn
o
P (x) = + k cos kx + k sen kx,
2 k=1
hacemos la substitucion
1 1 ikx
cos kx = (eikx + eikx ) sen kx = (e eikx ),
2 2i
obtenemos
n
X
P (x) = k eikx ,
k=n
43
44 5. CASOS MAS GENERALES
donde los numeros complejos k estan relacionados con los numeros o , k y k por la
ecuaciones
1
o = o ,
2
1
k = (k ik ),
2
1
k = (k + ik ),
2
k = k + k ,
k = i(k k ).
donde
Z 2
1
ck = f (x)eikx dx.
2 0
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 k=1
T T
donde
Z T
1 kx
ak = f (x) cos dx (k = 0, 1, . . . ),
T T T
Z T
1 kx
bk = f (x) sen dx (k = 1, 2, . . . ).
T T T
Los resultados sobre convergencia, integracion, diferenciabilidad, etc... se extienden en
forma completamente natural a funciones de perodo 2T con el tipo de expansion que aca-
bamos de senalar.
Ejercicio 5.4. Sea f una funcion de perodo 2T , integrable en el intervalo [0, 2T ], con
serie de Fourier
X
ao kx kx
+ ak cos + bk sen .
2 k=1
T T
Demostrar que si f es par entonces
bk = 0 para k = 1, . . . , n,
y ademas
Z T
2 kx
ak = f (x) cos dx (k = 0, 1, . . . ).
T 0 T
46 5. CASOS MAS GENERALES
ak = 0 para k = 0, . . . , n,
y ademas
Z T
2 kx
bk = f (x) sen dx (k = 1, 2, . . . ).
T 0 T
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
f (x) si x [0, T ],
h(x) =
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 k=1
T
donde
Z T
2 kx
ak = f (x) cos dx (k = 0, 1, . . . ).
T 0 T
4. EJERCICIOS ADICIONALES 47
donde Z
T
2 kx
bk = f (x) sen dx (k = 1, 2, . . . ).
T 0 T
4. Ejercicios adicionales
(2) Desarrollar la funcion f (x) = x, 0 < x < 2, en serie de cosenos y en serie de senos.
2 cos 2x cos 4x cos 6x
(a) x( x) = + + + .
6 12 22 32
8 sen x sen 3x sen 5x
(b) x( x) = + + + .
13 33 53
X
1 2
(a) 2
= .
n=1
n 6
X
(1)n1 2
(b) = .
n=1
n2 12
X
(1)n1 3
(c) 3
= .
n=1
(2n 1) 32
48 5. CASOS MAS GENERALES
1. Introduccion
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 comun.
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 ano 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
2u u
2
= .
x t
49
50 6. APLICACION A LA RESOLUCION DE ECUACIONES EN DERIVADAS PARCIALES
u = u(x,t)
0 L x
Figura 6.1.
y que satisfagan
u(0, t) = u(L, t) = 0 t 0.
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.
Analicemos primero la ecuacion
(x) = C1 + C2 x,
donde C1 y C2 son constantes reales. Al igual que en el caso previo, es facil verificar que si
se satisface la condicion (0) = (L) = 0 entonces C1 = C2 = 0. Luego, en este caso, solo
obtenemos la solucion trivial.
Si < 0 entonces la solucion general de la ecuacion (6.5) es
(6.6) (x) = C1 cos( x) + C2 sen( x),
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
k22
(6.7) = ,
L2
para algun entero positivo k.
2. ECUACION DE LA CUERDA VIBRANTE 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
k22 2
00 (t) + a (t) = 0.
L2
La solucion general de esta ecuacion es
k k
k (t) = k cos at + k sen at ,
L L
donde k y k son constantes reales.
En conclusion, para cada entero positivo k, tenemos una solucion de la ecuacion (6.1) de
la forma
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
X
(6.8) u(x, t) = uk (x, t)
k=1
De la formula para el desarrollo en serie de senos de una funcion (ver Seccion 3 del
Captulo 5), obtenemos
54 6. APLICACION A LA RESOLUCION DE ECUACIONES EN DERIVADAS PARCIALES
Z L
2 kx
Ak = f (x) sen dx
L 0 L
Z L
2 kx
Bk = g(x) sen dx.
ka 0 L
Teorema 6.1. Sea L un numero real positivo y sean f, g : [0, L] R funciones tales
que
g(0) = g(L) = 0.
Para k 1 sean
Z L
2 kx
Ak = f (x) sen dx
L 0 L
Z L
2 kx
Bk = g(x) sen dx.
ka 0 L
Entonces la serie
X
k k k
u(x, t) = Ak cos at + Bk sen at sen x
k=1
L L L
2u 1 2u
= ,
x2 a2 t2
3. ECUACION DEL CALOR 55
2u u
(6.11) 2
= a2 ,
x t
donde a es una constante positiva que depende de la naturaleza del material.
Vamos a resolver la ecuacion (6.11) sujeta a las condiciones de borde
u(0, t) = u(L, t) = 0, t 0
(6.12)
u(x, 0) = f (x),
u(x, t) = (x)(t)
y que satisfagan
u(0, t) = u(L, t) = 0 t 0.
56 6. APLICACION A LA RESOLUCION DE ECUACIONES EN DERIVADAS PARCIALES
por lo tanto
00 (x) 0 (t)
(6.13) = a2 ,
(x) (t)
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
Con consideraciones similares a las correspondientes al caso de la cuerda se obtiene que
para que la solucion no sea trivial debe ser < 0 y que tiene la forma
(6.15) (x) = C1 cos( x) + C2 sen( x),
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, luego
sen( L) = 0,
de donde
k22
(6.16) = ,
L2
para algun entero positivo k.
De la solucion general (6.15) 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 primera ecuacion de (6.14).
3. ECUACION DEL CALOR 57
De la formula para el desarrollo en serie de senos de una funcion (ver Seccion 3 del
Captulo 5), obtenemos
Z L
2 kx
(6.19) Ak = f (x) sen dx.
L 0 L
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 6. APLICACION A LA RESOLUCION DE ECUACIONES EN DERIVADAS PARCIALES
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. Introduccion al Analisis Lineal, Parte 2. Fondo
Educativo Interamericano, 1971. 54, 57
[5] M. Spiegel. Analisis de Fourier. Serie Schaum. McGraw-Hill, 1977.
[6] G. Tolstov. Fourier Series. Dover, 1976.
59
60
Indice
Fejer
Nucleo de , 21
Teorema de, 22
Fourier
coeficientes de, 6
serie de , 7
funcion
continua a trozos, 18
impar, 45
par, 45
periodica, 5
61