9.

3 Series seno y coseno de Fourier

Ciertas propiedades de las funciones se reflejan prominentemente en sus series de
Fourier. Se dice que la función f definida para todo valor t es par si

➤ f (2t) 5 f (t) (1)

para todo valor de t; en cambio, f es impar si

➤ f (2t) 5 2f (t) (2)

para toda t. La primera condición conlleva a que la gráfica de y 5 f (t) sea simétrica
con respecto al eje y, mientras que la condición en (2) implica que la gráfica de una
función impar sea simétrica con respecto al origen (véase la fig. 9.3.1). Las funciones
f (t) 5 t2n (con n un entero) y g(t) 5 cos t son pares, mientras que las funciones f (t)
5 t2n11 y g(t) 5 sen t son impares. Veremos así que la serie de Fourier de una función
periódica par tiene sólo términos coseno, y que la serie de Fourier de una función pe-
riódica impar tiene solamente términos seno.
y y
(−t, f (t)) (t, f (t))

(t, f (t))

t t

Par Impar
(−t, −f (t))

(a) (b)

FIGURA 9.3.1. (a) Función par; (b) función impar.

598 Capítulo 9 Métodos de series de Fourier

+ + +
−a
−a a a

−
f Par f Impar

(a) (b)

FIGURA 9.3.2. Áreas bajo las gráficas de (a) una función par y (b) una función impar.

La suma y cancelación de áreas como se indica en la figura 9.3.2 nos recuerdan

los siguientes conceptos básicos acerca de las integrales de funciones pares e impa-
res en un intervalo f2a, ag simétrico alrededor del origen.
 a  a
Si f es par: f (t) dt = 2 f (t) dt. (3)
−a 0

 a
Si f es impar: f (t) dt = 0. (4)
−a

Estas conclusiones son fáciles de verificar analíticamente (problema 17).

Se concluye inmediatamente de las ecuaciones (1) y (2) que el producto de dos
funciones pares es par, así como lo es el producto de dos funciones impares, y que el
producto de una función par y de una función impar es impar. En particular, si f (t) es
una función periódica par de periodo 2L, entonces f (t) cos(nptyL) es par, mientras que
f (t) sen(nptyL) es impar porque la función coseno es par y la función seno es impar.
Por lo anterior, cuando se calculan los coeficientes de Fourier de f se obtiene que

 L  L
1 nπt 2 nπ t
an = f (t) cos dt = f (t) cos dt (5a)
L −L L L 0 L
y
L
1 np t
bn 5 f (t) sen dt 5 0 (5b)
L 2L L

debido a (3) y (4). Como resultado, la serie de Fourier de la función par f de periodo
2L tiene sólo términos coseno:

a0  ∞
nπt
f (t) = + an cos ( f par) (6)
2 n=1
L

con los valores de an dados por la ecuación (5a). A su vez, si f (t) es impar, entonces
f (t) cos(nptyL) es impar, mientras que si f (t) sen(nptyL) es par, en consecuencia

 L
1 nπ t
an = f (t) cos dt = 0 (7a)
L −L L
 9.3 Series seno y coseno de Fourier 599

y
L L
1 np t 2 np t
bn 5 f (t) sen dt 5 f (t) sen dt. (7b)
L 2L L L 0 L

Por tanto, la serie de Fourier de la función impar f de periodo 2L tiene sólo términos
seno:
q
np t
f (t) 5 bn sen ( f impar) (8)
n51
L

con los coeficientes bn dados en la ecuación (7b).

Extensiones pares e impares

En todas las presentaciones y ejemplos anteriores se trabajó con una función perió-
dica definida para todo valor de t; en tanto la serie de Fourier de cada función fue
determinada de manera única por las fórmulas de los coeficientes de Fourier. En
muchos casos prácticos, no obstante, se inicia con una función f definida solamente
en un intervalo de la forma 0 , t , L, y se intenta representar sus valores en este
intervalo para una serie de Fourier de periodo 2L. El primer paso es la necesaria ex-
tensión de f al intervalo 2L , t , 0. Obtenido esto, se puede extender f en toda la
línea real por una condición de periodicidad f (t 1 2L) 5 f (t) (y utilizar la propiedad
de valor promedio para cualquier discontinuidad que aparezca). Pero la forma en
cómo se define f en el intervalo 2L , t , 0 es nuestra elección, y de esta elección de-
penderá la representación de la serie de Fourier obtenida para f (t) en el intervalo (0, L).
Específicamente, diferentes elecciones de la extensión de f en el intervalo (2L, 0)
llegarán a distintas series de Fourier que convergen en la misma función f (t) en el
intervalo original 0 , t , L, pero que a la vez convergen en las diferentes extensio-
nes de f en el intervalo 2L , t , 0.
En la práctica, a partir de f (t) definida para 0 , t , L, en general se hace una
de las dos siguientes elecciones naturales: se extiende f de tal manera que se obtenga
una función par, o bien una función impar en toda la recta real. La extensión par de
periodo 2L de f es la función fE definida como
f (t) si 0 , t , L,
f E(t) 5 b (9)
f (2t) si 2L , t , 0
y por fE(t 1 2L) 5 fE(t) para todo valor de t. La extensión impar de periodo 2L de
f es la función fO definida como
f (t) si 0 , t , L,
f O(t) 5 b (10)
2f (2t) si 2L , t , 0
y por fO(t 1 2L) 5 fO(t) para toda t. Los valores de fE o fO para t, un múltiplo entero
de L, pueden definirse de la forma conveniente que se desee, dado que estos valores
aislados no afectan la serie de Fourier de las extensiones obtenidas. Como sugiere la
figura 9.3.1, con frecuencia es suficiente con visualizar la gráfica de fE en (2L, 0)
como la reflexión con respecto al eje vertical de la gráfica original de f en (0, L), y la
gráfica de fO en (2L, 0) como la reflexión con respecto al origen de la gráfica original.
Por ejemplo, si f (t) 5 2t 2 t2 en el intervalo 0 , t , 2 (para que L 5 2), en-
tonces (9) y (10) resultan en

fE(t) 5 2(2t) 2 (2t)2 5 22t 2 t2

y

fO(t) 5 2f2(2t) 2 (2t)2g 5 2t 1 t2

600 Capítulo 9 Métodos de series de Fourier

1 para los valores de estas dos extensiones en el intervalo 22 , t , 0. Las gráficas de

las dos extensiones periódicas correspondientes de f se muestran en la figura 9.3.3.
−8 −6 −4 −2 2 4 6 8 t
−1 La serie de Fourier de la extensión par fE de la función f, dada por las ecuacio-
nes (5) y (6), contendrá sólo términos coseno y por ello se le denomina serie coseno
(a)
de Fourier de la función original f. La serie de Fourier de la extensión impar fO, dada
por las ecuaciones (7) y (8), contendrá sólo términos seno, por lo que se le denomina
1 serie seno de Fourier de f.
−8 −6 −4 −2 2 4 6 8 t
−1 DEFINICIÓN Series seno y coseno de Fourier
(b) Supóngase que la función f (t) es continua por tramos en el intervalo f0, Lg. Enton-
FIGURA 9.3.3. (a) Extensión par ces la serie coseno de Fourier de f es la serie
de periodo 4 de f (t) 5 2t 2 t2 para
0 , t , 2. (b) Gráfica de la a0  ∞
nπ t
extensión impar de periodo 4 de ➤ f (t) = + an cos (11)
f (t) 5 2t 2 t2 para 0 , t , 2. 2 n=1
L

con

 L
2 nπt
➤ an = f (t) cos dt. (12)
L 0 L

La serie seno de Fourier de f es la serie

q
np t
➤ f (t) 5 bn sen (13)
n51
L

con

L
2 np t
➤ bn 5 f (t) sen dt. (14)
L 0 L

Considérese que f es suave por tramos y satisface la condición del valor promedio
f (t) 5 12 ff (t1) 1 f (t2)g en cada una de sus discontinuidades aisladas, el teorema 1
de la sección 9.2 implica que cada una de las dos series en (11) y (13) converge en
f (t) para todo valor de t en el intervalo 0 , t , L. Fuera de este intervalo, la serie
coseno en (11) converge en la extensión par de periodo 2L de f, mientras que la
serie seno en (13) converge en la extensión impar de periodo 2L de f. En muchos
casos de interés no son relevantes los valores de f fuera del intervalo original (0, L),
y por esto la elección entre (11) y (12) o entre (13) y (14) se determina por la forma
en que se prefiera representar f (t) en el intervalo (0, L): por una serie coseno o por
una serie seno. (Véase ejemplo 2 para una situación determinada por la elección
entre una serie coseno o una serie seno de Fourier para representar la función dada.)

Ejemplo 1 Supóngase que f (t) 5 t para 0 , t , L. Encuéntrense las series coseno y seno de
Fourier para f.

Solución La ecuación (12) obtiene

 L  L
2 2 1 2
a0 = t dt = t =L
L 0 L 2 0
 9.3 Series seno y coseno de Fourier 601

y
L np
2 np t 2L
an 5 t cos dt 5 2 2 u cos u du
L 0 L n p 0

4L
2L np 2 para n par;
5 2 2 u sen u 1cos u 5 c n2p 2
n p 0
0 para n impar.
Así, la serie coseno de Fourier de f es
 
L 4L πt 1 3π t 1 5π t
t= − 2 cos + 2 cos + 2 cos + ··· (15)
2 π L 3 L 5 L

para 0 , t , L. Ahora la ecuación (14) resulta en

L np
2 np t 2L
bn 5 t sen dt 5 2 2 u sen u du
L 0 L n p 0
−2L −L L 2L 3L 4L
2L np 2L
FIGURA 9.3.4. Extensión par de 5 2u cos u 1sen u 5 (21) n11 .
n2p 2 0 np
periodo 2L de f.
De esta manera, la serie seno de Fourier de f es

2L pt 1 2p t 1 3p t
t5 sen 2 sen 1 sen 2??? (16)
p L 2 L 3 L
−L L 2L 3L 4L
para 0 , t , L. La serie en la ecuación (15) converge en la extensión par de periodo
2L de f mostrada en la figura 9.3.4 y la serie en la ecuación (16) converge en la ex-
FIGURA 9.3.5. Extensión impar tensión impar de periodo 2L expuesta en la figura 9.3.5. ■
de periodo 2L de f.

Derivación término a término de series de Fourier

En esta y en las subsecuentes secciones se considera la serie de Fourier como posible
solución de ecuaciones diferenciales. Para sustituir una serie de Fourier por la variable
dependiente desconocida de una ecuación diferencial y verificar si es una solución,
primero es necesario derivar la serie a fin de calcular las derivadas que aparecen en
la ecuación. Para esto se requiere tener cuidado, pues la derivación término a término
de una serie infinita de términos de la variable no siempre es válida. El teorema 1
proporciona las condiciones suficientes para validar la derivación término a término
de una serie de Fourier.

TEOREMA 1 Derivación término a término de series de Fourier

Supóngase que la función f es continua para todo valor de t, periódica con periodo
2L y que su derivada f 9 es suave por tramos para todo valor de t. Entonces la serie
de Fourier de f 9 es la serie

f 9(t ) 5 ∑ a2  b,

q
np npt np npt
an  sen  1    bn  cos (17)
n51 L L L L
obtenida por derivación término a término de la serie de Fourier

 1  ∑ aan cos  b.

a0 q
npt npt
f (t ) 5   1  bn  sen (18)
L n =1 L L
602 Capítulo 9 Métodos de series de Fourier

Demostración. El punto nodal del teorema es que la serie derivada de la

ecuación (17) en realidad converge en f 9(t) (con la usual condición acerca de los
valores promedio). Pero como f 9 es periódica y suave por tramos, se sabe por el teo-
rema 1 de la sección 9.2 que la serie de Fourier de f 9 converge a f 9(t):

 1  ∑ aa n cos  b.
a0 q
npt npt
f 9(t ) 5   1  b n  sen (19)
2 n51 L L

Para probar el teorema 1 es suficiente con mostrar que las series de las ecuaciones
(17) y (19) son idénticas. Esto se demostrará bajo la hipótesis adicional de que f 9 es
continua en cualquier lugar. Luego entonces

1 L  1 L
α0 = f (t) dt = f (t) =0
L −L L −L

debido a que f (L) 5 f (2L) por periodicidad, y

L
1 np t
an 5 f (t) cos dt
L 2L L
L L
1 np t np 1 npt
5 f (t) cos 1 ? f (t) sen dt
L L 2L L L 2L L

—integrando por partes—. De esto se sigue que

nπ
αn = bn .
L
De manera similar, se encuentra que
nπ
βn = − an ,
L
y por tanto las series en las ecuaciones (17) y (19) son, sin lugar a dudas, idénticas.
▲
La consideración de que la derivada f 9 es continua es meramente convencional
—la prueba del teorema 1 puede reforzarse para que permita discontinuidades aisla-
das de f 9— por lo que es importante notar que la conclusión de este teorema general-
mente falla cuando la propia f es discontinua. Por ejemplo, considérese la serie de
Fourier

  asen  2   sen

2L pt 1 2pt 1 3p t
t  5   1   sen 2…b, (16)
p L 2 L 3 L

2L , t , L, de la función diente de sierra discontinua mostrada en la gráfica de la

figura 9.3.5. Todas las hipótesis del teorema 1 se satisfacen excepto por la continui-
dad de f, y f tiene solamente discontinuidades de saltos aislados. Pero la serie
 
πt 2π t 3π t
2 cos − cos + cos − ··· (20)
L L L
obtenida derivando término a término la serie en la ecuación (16) diverge (por ejem-
plo, cuando t 5 0 y cuando t 5 L), la derivación término a término de la serie en la
ecuación (16) no es válida.
 9.3 Series seno y coseno de Fourier 603

En contraste, considérese la función de onda triangular (continua) f (t) mostra-

da en la gráfica de la figura 9.3.4, con f (t) 5 u t u para 2L , t , L. Esta función satis-
face todas las hipótesis del teorema 1, de tal manera que su serie de Fourier
 
L 4L πt 1 3πt 1 5π t
f (t) = − 2 cos + 2 cos + 2 cos + ··· (15)
2 π L 3 L 5 L

puede derivarse término a término. El resultado es

f 9(t ) 5    asen  1   sen

4 pt 1 3p t 1 5pt
 1   sen  1…b , (21)
p L 3 L 5 L

la cual es la serie de Fourier de la función de onda cuadrada de periodo 2L que toma

los valores de 21 para 2L , t , 0, y de +1 para 0 , t , L.

Soluciones de ecuaciones diferenciales

por serie de Fourier
En lo que resta de este capítulo y en el 10 con frecuencia será necesario resolver
problemas con valores en la frontera de la forma general

ax0 1 bx9 1 cx 5 f (t) (0 , t , L); (22)

x(0) 5 x(L) 5 0, (23)

donde se proporciona la función f (t). Por supuesto, se podría considerar aplicar las
técnicas del capítulo 3 resolviendo el problema a través de:

1. Encontrar primero la solución general xc 5 c1x1 1 c2x2 de la ecuación diferen-

cial homogénea asociada;
2. Después calculando una sola solución particular xp de la ecuación no homogé-
nea en (22), y
3. Finalmente, determinando las constantes c1 y c2 de tal manera que x 5 xc 1 xp
satisfaga las condiciones de frontera dadas en (23).

En muchos problemas, sin embargo, el siguiente método de la serie de Fourier

es más adecuado y común. Primero se extiende la definición de la función f (t) al in-
tervalo 2L , t , 0 de una manera apropiada, y después a toda la recta real mediante
las condiciones de periodicidad f (t 1 2L) 5 f (t). Entonces la función f, si es suave
por tramos, tiene la serie de Fourier

 1  ∑ aAn cos  b,

A0 q
npt npt
f (t ) 5   1  Bn  sen (24)
2 n =1 L L

con coeficientes HAnJ y HBnJ susceptibles de calcularse. Entonces se asume que la ecua-
ción diferencial en (22) tiene una solución x(t) con una serie de Fourier

 1  ∑ aan cos  b

a0 q
npt npt
x (t ) 5   1  bn  sen (25)
2 n =1 L L

que puede derivarse dos veces en forma correcta término a término. Se busca deter-
minar los coeficientes de la ecuación (25) sustituyendo primero la serie de las ecua-
ciones (24) y (25) en la ecuación diferencial dada en (22), y después igualando
coeficientes de términos similares —muy parecido al método ordinario de coeficien-
tes indeterminados (secc. 3.5), excepto por que ahora se tiene un número infinito de
604 Capítulo 9 Métodos de series de Fourier

coeficientes por determinar. Si este procedimiento es desarrollado de tal manera que

la serie resultante de la ecuación (25) también satisface las condiciones de frontera
dadas en (23), se tiene una “solución formal en términos de la serie de Fourier” del
problema original con valores en la frontera; esto es, una solución sujeta a verifica-
ción mediante la derivación término a término considerada. El ejemplo 2 ilustra este
proceso.

Ejemplo 2 Encuéntrese una solución formal en términos de la serie de Fourier para el problema
con valores en la frontera

x0 1 4x 5 4t, (26)
x(0) 5 x(1) 5 0. (27)

Solución Aquí f (t) 5 4t para 0 , t , 1. Un primer paso crucial —el cual no se hace explícito
en la presentación anterior— es elegir una extensión periódica f (t) de tal manera que
cada término de su serie de Fourier satisfaga las condiciones de frontera dadas en
(27). Para este propósito se elige una extensión impar de periodo 2, debido a que
cada término de la forma sen npt satisface (27). De este modo, de la serie en la ecua-
ción (16) con L 5 1 se obtiene la serie de Fourier

8 ∞
(−1)n+1
4t = sen npt (28)
π n=1 n

para 0 , t , 1. Por lo anterior, se espera una solución en términos de una serie

seno

∞
x(t) = bn sen npt, (29)
n=1

y se advierte que cada serie satisfará las condiciones de frontera dadas en (27). Cuan-
do se sustituyen las series en (28) y (29) en la ecuación (26), el resultado es
q
8 q
(21) n11
(2n 2 p 2 1 4)bn sen npt 5 sen npt. (30)
n51
p n51
n

Si se continúa con la igualación de coeficientes de términos semejantes en la ecua-

ción (30) se llega a
8 · (−1)n+1
bn = ,
nπ(4 − n 2 π 2 )
0.4
de tal manera que la solución formal en términos de la serie de Fourier es
0.2
8 q
(21) n11 sen npt
x(t) 5 . (31)
0.0 p n(4 2 n 2 p 2 )
x

n51

−0.2 En el problema 16 se pide obtener la solución exacta

x = t − sen 2t
sen 2t
−0.4 sen 2
x(t) 5 t 2 (0 t 1), (32)
sen 2
−1.0 0.0 1.0 2.0
t
y verificar que (31) es una serie de Fourier de la extensión impar de periodo 2 de esta
FIGURA 9.3.6. Gráfica de la solución.
solución del ejemplo 2. La curva punteada en la figura 9.3.6 se graficó sumando 10 términos de la serie
de Fourier dada en (31). La curva sólida para 0 % t % 2 es la gráfica de la solución
exacta dada en (32). ■
 9.3 Series seno y coseno de Fourier 605

Integración término a término de series de Fourier

El teorema 2 garantiza que la serie de Fourier de una función periódica continua por
partes siempre puede integrarse término a término, ¡sea o no convergente! Una prue-
ba de esto se presenta en el problema 25.

TEOREMA 2 Integración término a término de una serie

de Fourier
Supóngase que f es una función periódica continua por partes con periodo 2L y
serie de Fourier
q
a0 np t np t
f (t) , 1 an cos 1 bn sen , (33)
2 n51
L L

la cual puede no ser convergente. Entonces

t q
a0 t L np t np t
f (s) ds 5 1 an sen 2 bn cos 21 , (34)
0 2 n51
np L L

con la serie del lado derecho convergente para todo valor de t. Nótese que la serie en
la ecuación (34) es resultado de la integración término a término de la serie dada
en (33), pero si a0 Z 0, no es una serie de Fourier debido a su término lineal inicial
1
2 a0t.

Ejemplo 3 Inténtese verificar la conclusión del teorema 2 en el caso en que f (t) es la función de
periodo 2p tal que

−1, −π < t < 0;
f (t) = (35)
+1, 0 < t < π.

Por el ejemplo 1 de la sección 9.1 la serie de Fourier de f es

4 1 1
f (t) 5 sen t1 sen 3t 1 sen 5t 1 ? ? ? . (36)
p 3 5

El teorema 2 implica entonces que

t
F(t) 5 f (s) ds
0
t
4 1 1
5 sen s1 sen 3s 1 sen 5s 1 ? ? ? ds
0 p 3 5
4 1 1
5 (1 2 cos t) 1 2 (1 2 cos 3t) 1 2 (1 2 cos 5t) 1 ? ? ? .
p 3 5
Así,  
4 1 1
F(t) = 1+ + 2 + ···
π 32 5
 
4 1 1
− cos t + cos 3t + 2 cos 5t + · · · . (37)
π 3 2 5
606 Capítulo 9 Métodos de series de Fourier

Por otro lado, la integración directa de (35) obtiene

 t 
−t, −π < t < 0,
F(t) = f (s) ds = |t| =
0 t, 0 < t < π.

Se sabe del ejemplo 1 de esta sección (con L 5 p) que

 
π 4 1 1
|t| = − cos t + 2 cos 3t + 2 cos 5t + · · · . (38)
2 π 3 5

También se sabe de la ecuación (18) de la sección 9.2 que

1 1 1 π2
1+ + + + · · · = ,
32 52 72 8
por consiguiente se concluye que las dos series en las ecuaciones (37) y (38) son, en
realidad, idénticas. ■

9.3 Problemas

En los problemas 1 al 10 se proporciona una función f (t) defi- 16. (a) Obtenga la solución x(t) 5 t 2 (sen 2t)y(sen 2) del
nida en un intervalo 0 , t , L. Encuentre las series coseno y problema con valores en la frontera
seno de Fourier de f y trace las gráficas de las dos extensiones
x0 1 4x 5 4t, x(0) 5 x(1) 5 0.
de f para las cuales estas series convergen.
(b) Muestre que la serie de la ecuación (31) es la serie
1. f (t) 5 1, 0 , t , p seno de Fourier de la solución en el inciso (a).
2. f (t) 5 1 2 t, 0 , t , 1 17. (a) Suponga que f es una función par. Compruebe que
3. f (t) 5 1 2 t, 0 , t , 2
 0  a
t, 0 , t 1;
4. f (t) 5 f (t) dt = f (t) dt.
2 2 t, 1 t , 2 −a 0

0, 0 , t , 1; (b) Considere que f es una función impar. Compruebe

5. f (t) 5 1, 1 , t , 2; que
 0  a
0, 2 , t , 3
f (t) dt = − f (t) dt.
6. f (t) 5 t 2, 0 , t , p −a 0
7. f (t) 5 t (p 2 t), 0 , t , p
8. f (t) 5 t 2 t 2, 0 , t , 1 18. Por el ejemplo 2 de la sección 9.2, la serie de Fourier de la
9. f (t) 5 sen t, 0 , t , p función f de periodo 2 con f (t) 5 t2 para 0 , t , 2 es
sen t, 0 , t p
10. f (t) 5 4 4 q
cos npt 4 q
sen npt
0, p t , 2p f (t) 5 1 2 2 .
3 p n 2 p n
n51 n51
En los problemas 11 al 14, determine las soluciones formales
en términos de la serie de Fourier de los problemas con valo- Muestre que la derivada término a término de esta serie no
res en la frontera. converge a f 9(t).
19. Inicie con la serie de Fourier
11. x0 1 2x 5 1, x(0) 5 x(p) 5 0
12. x0 2 4x 5 1, x(0) 5 x(p) 5 0 
∞
(−1)n+1
13. x0 1 x 5 t, x(0) 5 x(1) 5 0 t =2 sen nt, 2p , t , p,
14. x0 1 2x 5 t, x(0) 5 x(2) 5 0 n=1
n
15. Obtenga la solución formal en términos de la serie de
Fourier del problema con valores en la frontera e integre término a término tres veces sucesivas para ob-
tener la serie
x0 1 2x 5 t, x9(0) 5 x9(p) 5 0.
1 4 π 2t 2 ∞
(−1)n ∞
(−1)n
(Sugerencia: utilice la serie coseno de Fourier en la cual t = −2 4
cos nt + 2 .
cada término satisface las condiciones de frontera.) 24 12 n=1
n n=1
n4
 9.3 Series seno y coseno de Fourier 607

20. Sustituya t 5 py2 y t 5 p en la serie del problema 19 para donde

obtener las sumas  L
2 nπt
∞
1 π4 
∞
(−1)n+1 7π 4 an = f (t) cos dt (n impar)
4
= , = , L 0 2L
n=1
n 90 n=1
n4 720
23. Dada f (t) 5 t, 0 , t , p, obtenga las series seno de semi-
y múltiplo impar (problema 21)
1 1 1 π4
1+ 4
+ 4 + 4 + ··· = . 8 (21) (n21)/ 2 nt
3 5 7 96 f (t) 5 sen .
p n 2 2
n impar
21. Dada f (t) para 0 , t , L (series seno de semimúltiplo im-
par), defina F (t) para 0 , t , 2L como sigue:
 24. Considerando el problema con valores en la frontera
f (t), 0 < t < L;
F(t) = x0 2 x 5 t, x(0) 5 0, x9(p) 5 0,
f (2L − t), L < t < 2L .
De esta manera, la gráfica de F(t) es simétrica alrededor note que cualquier múltiplo constante de sen (nty2) con n
de la recta t 5 L (fig. 9.3.7). Por tanto, la serie seno de impar satisface las condiciones de frontera. Por tanto,
Fourier de periodo 4L de F es aplique las series seno de semimúltiplo impar del proble-
q
np t ma 23 para obtener la solución formal en términos de la
F(t) 5 bn sen , serie de Fourier
n51
2L
donde
32 (21) (n11)/ 2 nt
1 L
npt x(t) 5 2 2
sen .
bn 5 f (t) sen
dt p n impar n (n 1 4) 2
L 0 2L
1 2L npt 25. En este problema se presenta la demostración del teore-
1 f (2L 2 t) sen dt. ma 2. Suponga que f (t) es una función continua por tra-
L L 2L
mos de periodo 2L. Defina
Sustituya s 5 2L 2 t en la segunda integral a fin de obte-
ner la serie (para 0 , t , L)  t  
F(t) = f (s) − 12 a0 ds,
npt 0
f (t) 5 bn sen ,
n impar
2L
donde donde HanJ y HbnJ representan los coeficientes de Fourier de
f (t). (a) Muestre directamente que F(t 1 2L) 5 F(t), de tal
L
2 np t manera que F es una función continua de periodo 2L y por
bn 5 f (t) sen dt (n impar).
L 0 2L tanto tiene una serie de Fourier convergente

q
y A0 npt np t
F(t) 5 1 An cos 1 Bn sen .
2 n51
L L

(b) Suponga que n ^ 1. Demuestre por cálculo directo

que

t L 2L − t 2L t L L
An = − bn y Bn = an .
nπ nπ
FIGURA 9.3.7. Construcción de F a partir de
f en el problema 21. (c) Así,

t
22. Considere f (t) para 0 , t , L (series coseno semimúltiplo t 1
impar), defina G(t) para 0 , t , 2L como sigue: f (s) ds 5 a0 1 A0
0 2 2
 q L
f (t), 0 < t < L; npt npt
G(t) = 1 an sen 2 bn cos .
− f (2L − t), L < t < 2L . n51
np L L

Utilice la serie coseno de Fourier de periodo 4L de G(t) a Finalmente, sustituya t 5 0 para ver que
fin de obtener la serie (para 0 , t , L)
np t 1 ∞
L
f (t) 5 an cos , A0 = bn .
n impar
2L 2 n=1
nπ
608 Capítulo 9 Métodos de series de Fourier

9.3 Aplicación Series de Fourier de funciones suaves por tramos

La mayoría de sistemas de álgebra en computadora permite el uso de la función es-
calón unitario para la derivación eficiente de series de Fourier de funciones “defini-
das por por tramos”. Aquí se ilustra el uso de Maple para este propósito.
Sea la “función unitaria” unit(t, a, b) con el valor de 1 en el intervalo a % t , b
y valor de cero en cualquier otro caso. Entonces puede definirse una función suave
por tramos f (t) como una “combinación lineal” de diferentes funciones unitarias
correspondientes a los intervalos separados en los cuales la función es suave, con la
función unitaria de cada intervalo multiplicada por la fórmula que define a f (t) en ese
intervalo. Por ejemplo, considérese la función par de periodo 2p cuya gráfica se
muestra en la figura 9.3.8. Esta “función de onda trapezoidal” está definida para 0 ,
t , p por
π π
f (t) = unit t, 0,
3 6
π     
π 5π π 5π
+ − t unit t, , + − unit t, ,π . (1)
2 6 6 3 6

( 6π , π3 (

t
−π π 2π

( 5π , − π( ( 7π , − π(
6 3 6 3

FIGURA 9.3.8. Función de onda trapezoidal par de periodo 2p.

La función escalón unitario (con valores 0 para t , 0 y 1 para t . 0) puede utilizarse

en Maple como la “función de Heaviside”. Por ejemplo, Heaviside (22) 5 0 y Hea-
viside (3) 5 1. La función unitaria en el intervalo fa, bg puede definirse como

unit := (t,a,b,) —> Heaviside(t-a) - Heaviside(t-b):

Así, la función de onda trapezoidal de la ecuación (1) se determina para 0 % t % p

por

f := t —> (Pi/ 3)*unit(t, 0, Pi/6) +

(Pi/2 - t)*unit(t, Pi/6, 5*Pi/6) +
(-Pi/3)*unit(t, 5*Pi/6, Pi):
1
Pueden calcularse ahora los coeficientes de Fourier en la serie coseno f (t) 5 2 a0 1
an cos nt.

a := n —> (2/Pi)*int(f(t)*cos(n*t), t=0..Pi);

Se encuentra entonces que la suma parcial típica de la serie está dada por

fourierSum := a(0)/2 + sum(a(n)*cos(n*t), n=1..25);

 9.4 Aplicaciones de las series de Fourier 609
√ √ √
3 cos(t) 2 3 cos(5t) 2 3 cos(7t)
Suma de Fourier: = 2 − −
π 25 π 49 π
√ √ √
2 3 cos(11t) 2 3 cos(13t) 2 3 cos(17t)
+ + −
121 π 169 π 289 π
√ √ √
2 3 cos(19t) 2 3 cos(23t) 2 3 cos(25t)
− + +
361 π 529 π 625 π

De esta manera se llega a la hermosa serie de Fourier

√
2 3  (±) cos nt
f (t) = (2)
π n2

con un patrón de signos 122112211, donde la suma se toma sobre todos los
enteros positivos impares de n que no son múltiplos de 3. Puede verificarse con la
instrucción

plot(fourierSum, t=-2*Pi..3*Pi);
que esta serie de Fourier es consistente con la figura 9.3.8.
Por consiguiente, puede aplicarse este método para encontrar la serie de Fourier
de las siguientes funciones de periodo 2p.

1. La función de onda cuadrada par cuya gráfica se muestra en la figura 9.3.9.

2. Las funciones de onda triangular pares e impares cuyas gráficas se observan
en las figuras 9.2.4 y 9.3.10.
3. La función de onda trapecial impar cuya gráfica se muestra en la figura 9.2.5.

Se puede encontrar de manera similar la serie de Fourier de algunas funciones suaves

por tramos de elección propia, tal vez algunas con periodos diferentes a 2p y que
sean pares o impares.

( π2 , 1( π ( 2π , π2 (
2
1

t t
−π π 2π −π π 2π

−1
( π2 , −1( ( 32π , −1( − π2 ( π , − π2 (

FIGURA 9.3.9. Función de onda cuadrada par de FIGURA 9.3.10. Función de onda triangular par
periodo 2p. de periodo 2p.