Tomado de ECUACIONES DIFERENCIALES
con aplicaciones de modelado / 6ta. edic.
SERIES DE FOURIER DENNIS G. ZILL
El conjunto de funciones
1 1 3 cos o , se , sen-x, 2% P sen-x, 3a P . . . 1
es ortogonal en el intervalo [-p, p] (véase el problema 12 de los ejercicios 10.1). Supongamos
que f es una función definida en el intervalo [-p, p] que se puede desarrollar en la serie
trigonométrica
Entonces, los coeficientes uo, al, ~2,. . . , bl, b2, *. . se pueden determinar tal como describimos
para la serie de Fourier generalizada en la sección anterior.
Al integrar ambos lados de la ecuación (2), desde -p hastap, se obtiene
(3)
Como cada función cos(nm/p), sen(nrx/p), n > 1, es ortogonal a 1 en el intervalo, el lado
derecho de (3) se reduce a un solo término y, en consecuencia,
l”,f(x)dx=~~pdx=~x~; =Pa,,,
P
Al despejar UO se obtiene
(4)
Ahora multipliquemos la ecuación (2) por cos(mm/p) e integremos:
I ;pf(x)cos~xdx=2~pcos~xdx
cos.Excos-xdx + b, ’ coszxsen-xdx (5)
-P P P
Por la ortogonalidad tenemos que
I ’ coszxdx=O,
-P P
m>O
0 , m#n
I ’ cosExcos-xdx
-P P P
=
p, m=n
Y
I’ -P
cosExsen-xdx
P P
= 0.
*Hemos optado por escribir el coeficiente de 1 en la serie (2) en la forma ad2, y no como ao. Es sólo por comodidad;
la fórmula para u,, se reducirá entonces a ao cuando n = 0.
Entonces, la ecuación (5) se reduce a
y así (6)
Por último, si multiplicamos a (2) por sen(m?rx/p), integramos y aplicamos los resultados
I ’ sen=x dx = 0,
-P P
m>O
P rnn
I sen-x cosFx
-P P P
dx = 0
P
I senm?‘xsenr41rxdx
-P P P
=
llegamos a (7)
La serie trigonométrica (2) en que las ecuaciones (4), (6) y (7) definen respectivamente
los coeficientes ao, un y b,, es una serie de Fourier de la fhnción$ Los coeficientes que así se
obtienen se llaman coeficientes de Fourier clef:
Al determinar los coeficientes ao, u,, y b, supusimos que f es integrable en el intervalo y que
la ecuación (2) -al igual que la serie obtenida multiplicando dicha ecuación por cos(mm/p)-
converge en tal forma que permite la integración término a término. Hasta no demostrar que la
ecuación (2) es convergente para determinada función& no se debe tomar el signo igual en
sentido estricto o literal. Algunos textos emplean el símbolo - en lugar del =. En vista de que
en las aplicaciones la mayor parte de las funciones son del tipo que garantiza la convergencia
de la serie, usaremos el signo igual. Sinteticemos los resultados:
Desarrollo en serie de Fourier
Desarrolle
en una serie de Fourier.
--k--7C
n
FIGURA 10.1
X
SOLUCIÓN En la figura 10.1 vemos la gráfica de J: Con p = T tenemos, según las
ecuaciones (9) y (lo),
= - 1 cosnxff
- -
m n o
= -cos n77 + 1 c cos nn = (-1)”
n27r
En forma semejante vemos que, según (1 l),
Por consiguiente, (13)
f(x) = a + s {’ -n\, l)” cos nx + i semx} . n
Observe que u, definida por la ecuación (10) se reduce a UO da& por la ecuación (9), cuando
se hace n = 0. Pero como muestra el ejemplo 1, esto quizá no sea el caso después de evaluar la
integral para u,.
Convergencia de una serie de Fourier El teorema que sigue especifica las condi-
ciones suficientes de convergencia de una serie de Fourier en un punto.
El lector puede encontrar una demostración de este teorema en el texto clásico de Churchill y
Brown.?
Convergencia en un punto de discontinuidad
La función (12) del ejemplo 1 satisface las condiciones del teorema 10.1. Así, para todo x
del intervalo (-n, T), excepto cuando x = 0, la serie (13) convergerá hacia f(x). Cuando
x = 0 la función es discontinua y por consiguiente la serie convergerá a
f(o+) +f(O-) _ 7r + 0 77
--ce.
2 2 2
Extensión periódica Observamos que las funciones del conjunto básico (1) tienen un
periodo común 2~; por consiguiente, el lado derecho de la ecuación (2) es periódico. Deducimos
entonces que una serie de Fourier no solo representa a la función en el intervalo (-p, p), sino
que también da la extensión periódica deffuera de este intervalo. Ahora podemos aplicar el
teorema 10.1 a la extensión periódica de f o suponer, desde el principio, que la función dada
es periodica, con periodo 2p (esto es, f(x + 2~) =f(x)). Cuando fes continua por tramos y
existen las derivadas derecha e izquierda en x = -p y en x = p, respectivamente, la serie (8)
converge hacia el promedio [f(p-) +f(p+)]/2 en esos extremos, y hacia este valor extendido
periódicamente a f3p, 45p, 1Í’p, etcétera.
+ En otras palabras, cuando x es punto en el intervalo y h > 0,
f(x+) = limf(x + h), f(x-) = limf(x - h)
h-r0 h+O
t Ruel V. Churchill y James Ward Brown, Fourier Series und Boundary Value Problems (New York: McGraw-Hill).
Convergencia a la extensión periódica
La serie de Fourier (13) converge hacia la extensión periódica de (12) en todo el eje x. Los
puntos llenos de la figura 10.2 representan el valor
en 0, k21r, k47r, . . . . En fo, f31r, f5n, . . . . la serie converge hacia el valor
f(n-> + A-r+) = 0
2
Y
:\,
-+.2+-
ix,
+-+-L
’
-4z -3rr - 2 n -7r
n
--H
:\,
w 2K 3n-----3
FIGURA 10.2
4w
:\,
Las respuestas ri los problemas nones se encuentran en el apéndice de respuestas.
Determine las series de Fourier de cada f en el intervalo dado en los problemas 1 a 16.
-7T<x<O
6. f(x) = ="
ã2 - x2, Olx<?r
7. f(x) =x + ?r, -71 <x < ?r 8.f(x)=3-2x, -n<x<n
-lrr<x<o 0, -??/2<x<o
0,
9.f(x)= O7 10. f(x) =
r senx, Olx<?l i cos x, Orx<n/2
1
-2<x<-1
-lSX<O 0, -2<x< :o
ll. f(x) = -2, 12. f(x) = 1 x, osx< :1
0:1 OSx<l
15x<2 1, lSx< :2
-n<x<O
15. f(x) = ex, -r < x < r7
9 05x-c7r
