Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE CIENCIAS
ESCUELA DE MATEMÁTICA
SERIES DE FOURIER
Ramón Bruzual
Marisela Domı́nguez
Caracas, Venezuela
Marzo 2003
Ramón Bruzual
Correo-E: rbruzual@euler.ciens.ucv.ve
Marisela Domı́nguez
Correo-E: mdomin@euler.ciens.ucv.ve
http://euler.ciens.ucv.ve/~labfg
Prólogo
Estas notas fueron escritas especialmente para los Talleres de Formación Matemática
(TForMa), auspiciadas por la Asociación Matemática Venezolana. Han sido concebidas
como material de estudio para un primer curso de análisis de Fourier.
Los objetivos fundamentales del curso son motivar a los participantes hacia el estudio del
análisis armónico y conseguir que apliquen en forma rigurosa los tópicos que ya han estudiado,
tanto para comprender resultados clásicos, como para resolver problemas sencillos.
iii
iv
Ramón Bruzual.
Marisela Domı́nguez.
Marzo 2003.
Contenido
v
vi CONTENIDO
1. Notación compleja 43
2. Funciones de perı́odo arbitrario 44
3. Desarrollo en serie de cosenos y en serie de senos 45
4. Ejercicios adicionales 47
Bibliografı́a 59
Índice 61
CAPı́TULO 1
1. Funciones trigonométricas
Se supone que el lector está familiarizado con las propiedades básicas de las funciones
trigonométricas.
En esta sección repasaremos algunas identidades y enunciaremos algunos resultados
básicos que serán necesarios más adelante.
Las funciones sen y cos tienen perı́odo 2π, es decir satisfacen:
1
2 1. FUNCIONES PERIÓDICAS Y SERIES DE FOURIER
Z 2π
sen mx cos nx dx = 0.
0
Las demostraciones de las igualdades restantes son análogas y quedarán 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 m−n 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 TRIGONOMÉTRICOS 3
2. Polinomios trigonométricos
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 .
Observación 1.5. Como cos 0 = 1 tenemos que las dos primeras fórmulas de la
Proposición 1.4 se reducen a
Z 2π
1
αk = P (x) cos kx dx para k = 0, . . . , n.
π 0
Xn
2αo
(P (x) ) = P (x) + αk P (x) cos kx + βk P (x) sen kx,
2 k=1
¤
3. PERÍODO DE UNA FUNCIÓN 5
Definición 1.7. Sea f : R → R una función. Decimos que f es periódica cuando existe
un número real T , no nulo, tal que f (x + T ) = f (x) para todo x ∈ R. En este caso se dice
que T es un perı́odo para f .
Ejemplo 1.9.
(a) Las funciones sen y cos tienen perı́odo 2π.
(b) La función u definida por u(x) = cos(2x) tiene perı́odo π.
(c) La función v definida por v(x) = sen(3x) tiene perı́odo 2π
3
.
√ √
(d) La función f definida por f (x) = sen( 2x) tiene perı́odo 2π.
(e) La función g definida por g(x) = 1 + cos(2x) + sen(3x) tiene perı́odo 2π.
(f) La función h definida por h(x) = 1 + cos(2x) + sen(4x) tiene perı́odo π.
Observación 1.10.
Es claro que si f : R → R es una función de perı́odo T entonces f está determinada por
sus valores en un intervalo semi-abierto de longitud T .
Supongamos que f es una función a valores reales definida en un intervalo I, de la forma
(a, b] ó [a, b), entonces f puede ser extendida, en forma natural, a una función de perı́odo
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 perı́odo 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 función no constante con perı́odo fundamental
igual a cero.
Ejercicio 1.14. Probar que si una función f tiene dos perı́odos T1 y T2 tales que T1 /T2
es irracional entonces el perı́odo fundamental de f es 0. Dar un ejemplo de una función no
constante con perı́odos 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 gráfico de S3 trazamos primero los gráficos 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 gráficos 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 están a la derecha de esta expresión
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 Proposición 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 sección.
Demostración.
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 función coseno es acotada, esta última expresión tiende a 0 si λ tiende a ∞.
Caso 2: f es una función escalonada.
En este caso f es una combinación lineal finita de funciones caracterı́sticas 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 función 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 PERIÓDICAS 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
Demostración.
³ ³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 fórmula de sumación (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 función de perı́odo 2π, integrable en el intervalo [0, 2π]. Sea {Sn } la
sucesión 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 fórmula de sumación obtenida en la Proposición 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 ], . . . , [zp−1 , zp ]
(zo < z1 < · · · < zp ), tales que f es continua en cada uno de los intervalos (zk−1 , zk ).
(ii) Para cada k = 1, . . . , p − 1, los siguientes lı́mites 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)
Observación 2.5. Notar que si f satisface las hipótesis 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 hipótesis 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 hipótesis 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 qué ocurre con las medias de Cesaro de las sumas parciales
de la serie de Fourier de una función. A continuación veremos algunos resultados en esta
dirección.
Al igual que en la Sección anterior sea f : R → R una función de perı́odo 2π, integrable
en el intervalo [0, 2π] y sea {Sn } la sucesión de sumas parciales de la serie de Fourier de f .
Consideremos sus medias de Cesaro
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
Demostración.
Rπ
(a) Es inmediato, ya que −π
Dk (t) dt = 1, para k = 0, 1, 2, . . .
de donde,
Teorema 2.14 (Fejer). Sea f : R → R una función continua de perı́odo 2π, sea {σn } la
sucesión de las medias de Cesaro de las sumas parciales de la serie de Fourier de f . Entonces
{σn } converge uniformemente a f en R.
¯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 función 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. ¤
Indicación:
(A) Considerar primero el caso en que f está definida en un intervalo [a, b] y
0 < a < b < 2π.
(i) Demostrar que en este caso f se puede extender a una función continua g con
dominio [0, 2π], tal que g(0) = g(2π).
(ii)) Demostrar que g tiene una extensión continua y de perı́odo 2π definida en todo
R.
(iii) Utilizar el Teorema de Fejer para demostrar que g puede ser aproximada uni-
formemente por polinomios trigonométricos 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 función
continua. Demostrar que si
Z b
xk f (x) dx = 0 para k = 0, 1, 2, . . .
a
1. Media cuadrática
Ejercicio 3.2. Sea f : R → R una función de perı́odo 2π, continua a trozos. Demostrar
que para cada ε > 0 existe g : R → R, continua y de perı́odo 2π tal que
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 expresión 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 CUADRÁTICA 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 Proposición 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
Teorema 3.5. Sea f : R → R una función de perı́odo 2π, continua a trozos, sea N un
entero positivo y sea P un polinomio trigonométrico de grado N . Sea {Sn } la sucesión de
sumas parciales de la serie de Fourier de f . Entonces
kf − SN k2 ≤ kf − P k2
¤
30 3. CONVERGENCIA EN MEDIA CUADRÁTICA DE LA SERIE DE FOURIER
Corolario 3.7. Sea f : R → R una función de perı́odo 2π, continua a trozos y sean ak
y bk sus coeficientes de Fourier. Entonces la serie
∞
X
a2k + b2k
k=1
es convergente
Teorema 3.8. Sea f : R → R una función de perı́odo 2π, continua a trozos y sea {Sn }
la sucesión 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 sucesión 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. APLICACIÓN A SUMACIÓN DE SERIES NUMÉRICAS 31
Sea n ≥ No , entonces
kf − Sn k2 ≤ kf − Sg,n k2
≤ kf − gk2 + kg − Sg,n k2
ε ε
< + = ε.
2 2
¤
Observación 3.9. Se puede probar que el resultado anterior vale para cualquier función
de cuadrado integrable, no necesariamente continua a trozos.
Tomando lı́mite 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 función
µ ¶
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. Fenómeno 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
Se observa que f tiene una discontinuidad de salto en los puntos 0, ±2π, ±4π, . . . .
-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 gráficas se observa claramente un salto de altura similar alrededor de cada discon-
tinuidad.
1. FENÓMENO DE GIBBS 35
2
1.5
1
0.5
-10 -5 5 10
-0.5
-1
-1.5
-2
A través de los siguientes ejercicios vamos a formalizar lo que observamos en los gráficos.
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 término a término, solamente cuando
es uniformemente convergente. Sin embargo para series de Fourier la integración término a
término es posible, más precisamente, se tiene.
Teorema 4.5. Sea f : R → R una función de perı́odo 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, más
aún, por la Proposición 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).
Corolario 4.8. Si f : R → R es una función de perı́odo 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
k
converge.
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 función continua a trozos y de perı́odo 2π cuya
serie de Fourier sea ∞
X sen kx
.
k=2
ln k
Teorema 4.12. Sea f : R → R una función de perı́odo 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→∞
Demostración. 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 función f (x) = 2
para
−π < x < π (Ejercicio 4.11), hallar el desarrollo de Fourier de la función f (x) = x2
para −π < x < π.
(2) Sea f : R → R una función de perı́odo 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
CAPı́TULO 5
1. Notación compleja
A continuación enunciamos algunos resultados que pueden ser verificados sin mayores
dificultades por el estudiante familiarizado con el manejo de números complejos.
Si en un polinomio trigonométrico de la forma
Xn
αo
P (x) = + αk cos kx + βk sen kx,
2 k=1
hacemos la substitución
1 1 ikx
cos kx = (eikx + e−ikx ) sen kx = (e − e−ikx ),
2 2i
obtenemos
n
X
P (x) = γk eikx ,
k=−n
43
44 5. CASOS MÁS GENERALES
donde los números complejos γk están relacionados con los números αo , αk y βk por la
ecuaciones
1
γo = α o ,
2
1
γk = (αk − iβk ),
2
1
γ−k = (αk + iβk ),
2
αk = γk + γ−k ,
βk = i(γk − γ−k ).
donde
Z 2π
1
ck = f (x)e−ikx dx.
2π 0
Una función de perı́odo 2T , integrable en el intervalo [0, 2T ], tiene una serie de Fourier
(generalizada) de la forma
X∞ µ ¶ µ ¶
ao kπx kπx
+ ak cos + bk sen ,
2 k=1
T T
donde µ ¶
Z T
1 kπx
ak = f (x) cos dx (k = 0, 1, . . . ),
T −T T
Z T µ ¶
1 kπx
bk = f (x) sen dx (k = 1, 2, . . . ).
T −T T
Los resultados sobre convergencia, integración, diferenciabilidad, etc... se extienden en
forma completamente natural a funciones de perı́odo 2T con el tipo de expansión que aca-
bamos de señalar.
Ejercicio 5.4. Sea f una función de perı́odo 2T , integrable en el intervalo [0, 2T ], con
serie de Fourier µ ¶ µ ¶
X∞
ao kπx kπx
+ ak cos + bk sen .
2 k=1
T T
Demostrar que si f es par entonces
bk = 0 para k = 1, . . . , n,
y además
Z T µ ¶
2 kπx
ak = f (x) cos dx (k = 0, 1, . . . ).
T 0 T
46 5. CASOS MÁS GENERALES
ak = 0 para k = 0, . . . , n,
y además
Z T µ ¶
2 kπx
bk = f (x) sen dx (k = 1, 2, . . . ).
T 0 T
entonces g es una extensión par de f al intervalo [−T, T ]. La función g tiene una extensión
de perı́odo 2T a toda la recta. La expansión 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 extensión impar de f al intervalo [−T, T ]. La función h tiene una extensión
de perı́odo 2T a toda la recta (más precisamente la restricción de h al intervalo [−T, T )).
La expansión 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 función integrable, entonces su
desarrollo en serie de cosenos es
X∞ µ ¶
ao kπx
+ ak cos ,
2 k=1
T
donde
Z T µ ¶
2 kπx
ak = f (x) cos dx (k = 0, 1, . . . ).
T 0 T
4. EJERCICIOS ADICIONALES 47
donde Z µ ¶
T
2 kπx
bk = f (x) sen dx (k = 1, 2, . . . ).
T 0 T
4. Ejercicios adicionales
(2) Desarrollar la función 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)n−1 π2
(b) = .
n=1
n2 12
X∞
(−1)n−1 π3
(c) 3
= .
n=1
(2n − 1) 32
48 5. CASOS MÁS GENERALES
1. Introducción
La idea básica de las series de Fourier es que, una amplia variedad de funciones periódicas
se puede expresar como una suma de funciones trigonométricas simples, (senos y cosenos)
con un perı́odo común.
Esta idea aparece en forma natural en el estudio de fenómenos astronómicos periódicos.
Ya los Babilonios usaban una forma primitiva de series de Fourier para la predicción de
eventos relacionados con los astros.
La historia más reciente de las series de Fourier comienza con D’Alembert en el año 1747,
quien estudiaba el problema de la descripción de la oscilación de una cuerda de violı́n, para
lo cual debı́a resolver la ecuación en derivadas parciales
∂ 2u ∂2u
= ,
∂x2 ∂t2
∂ 2u ∂u
2
= .
∂x ∂t
49
50 6. APLICACIÓN A LA RESOLUCIÓN 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 ecuación (6.3)
equivale al par de ecuaciones diferenciales ordinarias
ψ 00 (x) − λψ(x) = 0,
(6.4)
φ00 (t) − λa2 φ(t) = 0.
Analicemos primero la ecuación
ψ(x) = C1 + C2 x,
donde C1 y C2 son constantes reales. Al igual que en el caso previo, es fácil verificar que si
se satisface la condición ψ(0) = ψ(L) = 0 entonces C1 = C2 = 0. Luego, en este caso, sólo
obtenemos la solución trivial.
Si λ < 0 entonces la solución general de la ecuación (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 solución no sea trivial se debe
cumplir
√
sen( −λ L) = 0,
de donde
k2π2
(6.7) λ=− ,
L2
para algún entero positivo k.
2. ECUACIÓN DE LA CUERDA VIBRANTE 53
De la solución general (6.6) obtenemos que, para cada entero positivo k, la función ψk
definida por ¶ µ
kπ
ψk (x) = γk sen x ,
L
donde γk es una constante real, es una solución de la ecuación (6.5).
Reemplazando el valor de λ, dado en (6.7), en la segunda ecuación de (6.4) obtenemos
k2π2 2
φ00 (t) + a φ(t) = 0.
L2
La solución general de esta ecuación es
µ ¶ µ ¶
kπ kπ
φk (t) = αk cos at + βk sen at ,
L L
donde αk y βk son constantes reales.
En conclusión, para cada entero positivo k, tenemos una solución de la ecuación (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 solución de la ecuación (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 fórmula para el desarrollo en serie de senos de una función (ver Sección 3 del
Capı́tulo 5), obtenemos
54 6. APLICACIÓN A LA RESOLUCIÓN DE ECUACIONES EN DERIVADAS PARCIALES
Z L µ ¶
2 kπx
Ak = f (x) sen dx
L 0 L
Z L µ ¶
2 kπx
Bk = g(x) sen dx.
kπa 0 L
Teorema 6.1. Sea L un número real positivo y sean f, g : [0, L] → R funciones tales
que
g(0) = g(L) = 0.
Para k ≥ 1 sean
Z L µ ¶
2 kπx
Ak = f (x) sen dx
L 0 L
Z L µ ¶
2 kπx
Bk = g(x) sen dx.
kπa 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. ECUACIÓN 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 ecuación (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. APLICACIÓN A LA RESOLUCIÓN 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
ecuación tiene que ser constante. Si llamamos λ a esta constante, obtenemos que la ecuación
(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 solución 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
k2π2
(6.16) λ=− ,
L2
para algún entero positivo k.
De la solución general (6.15) obtenemos que, para cada entero positivo k, la función ψk
definida por µ ¶
kπ
ψk (x) = γk sen x ,
L
donde γk es una constante real, es una solución de la primera ecuación de (6.14).
3. ECUACIÓN DEL CALOR 57
De la fórmula para el desarrollo en serie de senos de una función (ver Sección 3 del
Capı́tulo 5), obtenemos
Z L µ ¶
2 kπx
(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 fórmula (6.19) y f satisface ciertas condiciones, la serie (6.17) converge a una
solución de la ecuación (6.11), que satisface las condiciones de borde (6.12) (ver [4] para más
detalles).
58 6. APLICACIÓN A LA RESOLUCIÓN DE ECUACIONES EN DERIVADAS PARCIALES
Bibliografı́a
[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 inglés por A. Freeman. Cambridge University
Press, 1878. Reimpreso por Dover, 1955. Obra Original: Théorie Analytique de la Chaleur, 1822.
[4] D. Kreider, R. Kuller, D. Otsberg y F. Perkins. Introducción al Análisis Lineal, Parte 2. Fondo
Educativo Interamericano, 1971. 54, 57
[5] M. Spiegel. Análisis de Fourier. Serie Schaum. McGraw-Hill, 1977.
[6] G. Tolstov. Fourier Series. Dover, 1976.
59
60
Índice
Fejer
Núcleo de , 21
Teorema de, 22
Fourier
coeficientes de, 6
serie de , 7
función
continua a trozos, 18
impar, 45
par, 45
periódica, 5
61