Kwong-Tin Tang - Mathematical Methods For Engineers and Scientists. Volume 3-Springer (011-067) .En - Es

Traducido del inglés al español - www.onlinedoctranslator.
com
1
Series de Fourier
Una de las herramientas más útiles del análisis matemático es la serie de Fourier,
llamada así por el físico matemático francés Jean Baptiste Joseph Fourier (1768–
1830). El análisis de Fourier es omnipresente en casi todos los campos de las
ciencias físicas.
En 1822, Fourier en su trabajo sobre el flujo de calor hizo una notable afirmación de
que toda funciónF(X) con periodo 2πse puede representar mediante una serie infinita
trigonométrica de la forma
1 ∑∞
F(X) = a0 + (anorte porquenx+bnortepecadonx). (1.1)
2 norte=1
Ahora sabemos que, con muy pocas restricciones en la función, este es el caso. Una serie
infinita de esta forma se llama serie de Fourier. La serie se propuso originalmente para
las soluciones de ecuaciones diferenciales parciales con condiciones de contorno (y/o
iniciales). Si bien sigue siendo uno de los métodos más poderosos para tales problemas,
como veremos en capítulos posteriores, su utilidad se ha extendido mucho más allá del
problema de la conducción de calor. La serie de Fourier es ahora una herramienta
esencial para el análisis de todo tipo de formas de onda, desde el procesamiento de
señales hasta las ondas de partículas cuánticas.
1.1 Series de Fourier de funciones con periodicidad 2π
1.1.1 Ortogonalidad de funciones trigonométricas
Para discutir la serie de Fourier, necesitamos las siguientes integrales. Simetroynorteson números
enteros, entonces ∫π
porquemxdX=0, (1.2)
−π
∫π
pecadomxdX=0, (1.3)
−π
4 1 Serie de Fourier
∫π
porquemxpecadonxdX=0, (1.4)
−π
⎧
∫π ⎨0 m-=norte,
porquemxporquenxdX= π metro=n-= 0, (1.5)
⎩
−π 2π metro=norte=0,
∫π {
0 m-=norte,
pecadomxpecadonxdX= (1.6)
−π π metro=norte.
Las primeras dos integrales son triviales, ya sea por integración directa o al notar que
cualquier función trigonométrica integrada durante un período completo dará cero ya
que la parte positiva cancelará la parte negativa. El resto de las integrales se pueden
mostrar usando las fórmulas de trigonometría para productos y luego integrando. Una
forma más fácil es usar las formas complejas
∫π ∫π miimx+mi−imx miinx−mi−inx
porquemxpecadonxdX= dX.
−π −π 2 2i
Podemos ver los resultados sin tener que multiplicar. Todos los términos en el producto
son de la forma eikx,dóndekes un número entero. Ya que
∫π
miikx 1 [ miikx ]π
dX= = 0,
−π ik −π
se sigue que todas las integrales en el producto son cero. Similarmente

∫π ∫π miimx+mi−imx miinx+mi−inx
porquemxporquenxdX= dX
−π −π 2 2
es idénticamente cero exceptonorte=metro,en ese caso

∫π ∫π mii2mx+2 + mi−i2mx
porquemxporquemxdX= dX
−π −π 4
∫π1 {
π metro -= 0,
= [1 + porque 2mx] dX=
− π2 2π metro=0.
De la misma manera podemos demostrar que sin-=metro,

∫π
pecadomxpecadonxdX=0
−π
y sinorte=metro,
∫π ∫π
1
pecadomxpecadomxdX= [1−porque 2mx] dX=π.
−π − π2
Esto concluye la demostración de (1.2)–(1.6).

1.1 Series de Fourier de funciones con periodicidad 2π 5
En general, si dos miembrosψnorte, ψmetrode un conjunto de funciones{ψi}satisfacer la

condición ∫b
ψnorte(X)ψmetro(X)dX=0 sin-=metro, (1.7)
a
despuésψnorteyψmetrose dice que son ortogonales, y (1.7) se conoce como la
condición ortogonal en el intervalo entreayb.El conjunto{ψi}es un conjunto
ortogonal sobre el mismo intervalo.
Así, si los miembros del conjunto de funciones trigonométricas son
1,porqueX,pecadoX,porque 2X,pecado 2X,porque 3X,pecado 3X, . . . ,
entonces este es un conjunto ortogonal en el intervalo de−πaπ.
1.1.2 Los coeficientes de Fourier
SiF(X) es una función periódica de periodo 2π,es decir,
F(X+2π) =F(X)
y está representado por la serie de Fourier de la forma (1.1), los coeficientes anorteybnortese
puede encontrar de la siguiente manera.
Multiplicamos ambos lados de (1.1) por cosmx,dóndemetroes un entero positivo
1 ∑∞
F(X) porquemx=a cs X (anorteporquenxporquemx+bnortepecadonxporquemx).
20ometro+
norte=1
Esta serie se puede integrar término a término

∫π ∫π ∑∞ ∫π
1
F(X) porquemxdX= a0 porquemxdX+ anorte porquenxporquemxdX
−π 2 −π norte=1
−π
∑∞ ∫π
+ bnorte pecadonxporquemxdX.
norte=1
−π
De las integrales que hemos discutido, vemos que todos los términos asociados conbnorte
desaparecerá y todos los términos asociados conanortetambién desaparecerá excepto el
término connorte=metro,y ese término viene dado por
⎧ ∫π
⎪⎪ 1
∫π ⎪⎪ a0 dX=a0π pormetro=0,
⎨ 2 −π
F(X) porquemxdX= ∫
−π ⎪⎪ π
⎪⎪
⎩ametro porque2mxdX=ametroπ porm-= 0.
−π
Estas relaciones nos permiten calcular cualquier coeficiente deseadoametroincluidoa0

cuando la funcionF(X) es conocida.
los coeficientesbmetropuede obtenerse de manera similar. La expansión se multiplica por el

pecado.mxy luego integrado término por término. Las relaciones de ortogonalidad producen
∫π
F(X) pecadomxdX=bmetroπ.
−π
Ya quemetropuede ser cualquier entero, se sigue queanorte(incluidoa0) ybnorteson dados por

∫π
1
anorte= F(X) porquenxdX, (1.8)
π ∫−π
1 π
bnorte= F(X) pecadonxdX. (1.9)
π −π
Estos coeficientes se conocen como las fórmulas de Euler para los coeficientes de Fourier, o
simplemente como lasCoeficientes de Fourier.
En esencia, la serie de Fourier descompone la función periódica en ondas
coseno y seno. Del procedimiento se puede observar que:
– El primer término1 2a0representa el valor medio deF(X) durante un período 2π.

- El términoanorteporquenxrepresenta la onda coseno con amplitudanorte.Dentro de un
período 2π,existennorteondas de coseno completas.
- El términobnortepecadonxrepresenta la onda sinusoidal con amplitudbnorte,ynortees el
número de ondas sinusoidales completas en un período 2π.
- En generalanorteybnortese puede esperar que disminuya a medida quenorteaumenta
1.1.3 Expansión de funciones en series de Fourier
Antes de discutir la validez de la serie de Fourier, usemos el siguiente ejemplo para

mostrar que es posible representar una función periódica con período 2πpor una serie
de Fourier, siempre que se tomen suficientes términos.
Supongamos que queremos expandir la función de onda cuadrada, que se muestra en la figura 1.1, en
una serie de Fourier.
f(x)
X
− 2π −π 0 π 2π
-k
Figura 1.1.Una función de onda cuadrada

1.1 Series de Fourier de funciones con periodicidad 2π 7
Esta función es periódica con periodo 2π.Se puede definir como

{
-k − π < x <0
F(X) = , f(X+2π) =F(X).
k 0<x < π
Para encontrar los coeficientes de la serie de Fourier de esta función
∑∞ 1
F(X) = a0 + (anorteporquenx+bnortepecadonx)
2 norte =1
siempre es una buena idea calculara0por separado, ya que viene dada por integral
simple. En este caso ∫π
1
a0= F(X)dX=0
π −π
se puede ver sin integración, ya que el área bajo la curva deF(X) Entre
− πyπes cero Para el resto de los coeficientes vienen dados por (1.8) y
(1.9). Para realizar estas integraciones, tenemos que descomponer cada una de ellas en
dos integrales porqueF(X) se define mediante dos fórmulas diferentes en los intervalos (
−π,0) y (0, π). Desde (1.8)
∫π [∫0 ∫π ]
1 1
anorte= F(X) porquenxdX= (−k) porquenxdX+ kporquenxdX
π −π π −π 0
{[ ]0 [ ] π}
1 pecadonx pecadonx
= -k + k = 0.
π norte
−π norte
0
Desde (1.9)
∫ π [∫ 0 ∫ π ]
1 1
bnorte= F(X) pecadonxdX= (−k) pecadonxdX+ kpecadonxdX
π −π π −π 0
{ }
1 [ porquenx]0
[ porquenx]π 2k
= k + −k = (1−porquenπ)
π norte −π norte 0 nπ
{
4k
2k si
=
nortees impar,
(1−(−1)norte) = nπ
nπ 0 si norteincluso.
Con estos coeficientes, la serie de Fourier se convierte en

4k∑1
F(X) = pecadonx
π (
norte
)
extraño
norte
4k 1 1
= pecadoX+ pecado 3X+ pecado 5X+· · · . (1.10)
π 3 5
Alternativamente, esta serie se puede escribir como
4k∑ 1
F(X) = pecado(2norte -1)X.
π norte=1
2norte -1
Para examinar la convergencia de esta serie, definamos las sumas parciales como
4k∑ norte
1
Snorte= pecado(2norte -1)X.
π norte=1
2norte -1
En otras palabras,Snortees la suma la primeranortetérminos de la serie de Fourier.S1es

simplemente el primer termino4πkpecadoX, S2es la suma de los dos primeros términos4k π(pecadoX+
1
3pecado 3X),etc.
En la figura 1.2a, las primeras tres sumas parciales se muestran en la columna de la

derecha, los términos individuales de estas sumas se muestran en la columna de la izquierda.
se ve queSnortese acerca aF(X) comonorteaumenta, aunque las contribuciones de los
(a) 1.5
k pecadoX
4pags S1
k 1 k
0.5
0
−pags
− 2,5 − 1,25 0 1.25 2.5 pags −pags pags
− 0,5
−1
−k −k
− 1,5
+
4k pecado3X k S2 k
3pags
−pags pags −pags pags

−k −k
+
4k pecado5X k S3 k
5pags
pags −pags pags

−pags
−k −k
S8
(b) k
− 2pags −pags pags 2pags
−k
Figura 1.2.La convergencia de una expansión en serie de Fourier de una función de onda cuadrada. (a
) Las primeras tres sumas parciales se muestran en elCorrecto; los términos individuales en estas
sumas se muestran en laizquierda. (b) La suma de los ocho primeros términos de la serie de Fourier
de la función
1.2 Convergencia de la Serie de Fourier 9
los términos individuales están disminuyendo constantemente a medida quenortese

hace más grande En la figura 1.2b mostramos el resultado deS8.Con ocho términos, la
suma parcial ya se parece mucho a la función de onda cuadrada. Notamos que en los
puntos de discontinuidad X=−π, x=0, yX=π,todas las sumas parciales tienen el valor cero,
que es el promedio de los valores deky−kde la función Nótese también que comoX se
aproxima a una discontinuidad deF(X) de cualquier lado, el valor deSnorte(X) tiende a
sobrepasar el valor deF(X),en este caso−ko +k.Comonorteaumenta, los excesos (alrededor
del 9% de la discontinuidad) se empujan más cerca de los puntos de discontinuidad, pero
no desaparecerán incluso sinorteva al infinito. Este comportamiento de una serie de
Fourier cerca de un punto de discontinuidad de su función se conoce comofenómeno de
Gibbs.
1.2 Convergencia de la Serie de Fourier
1.2.1 Condiciones de Dirichlet
Las condiciones impuestas aF(X) para hacer (1.1) válido se establecen en el siguiente
teorema.
Teorema 1.2.1.Si una función periódicaF(X)de período 2π es acotado y continuo

por tramos, y tiene un número finito de máximos y mínimos en cada período,
entonces la serie trigonométrica
1 ∑∞
a0+ (anorteporquenx+bnortepecadonx)
2 norte =1
con
∫π
1
anorte= F(X) porquenxdX, norte=0,1,2, . . .
π ∫−π
1 π
bnorte= F(X) pecadonxdX, norte=1,2, . . .
π −π
converge aF(X)dóndeF(X)es continua y converge al promedio de los límites
izquierdo y derecho deF(X)en los puntos de discontinuidad.
Una prueba de este teorema puede encontrarse en GP Tolstov,Series de Fourier,
Dover, Nueva York, 1976.
MientrasF(t) es periódico, la elección de los límites de integración superior e
inferior simétricos (−π, π) no es imprescindible. Cualquier intervalo de 2π,como (X0,
X0+2π) dará el mismo resultado.
Las condiciones de convergencia fueron probadas por primera vez por el
matemático alemán PG Lejeune Dirichlet (1805–1859), y por lo tanto se conocen
como condiciones de Dirichlet. Estas condiciones imponen muy pocas restricciones
a la función. Además, estas son sólo condiciones suficientes. Se sabe que cierta
función que no satisface estas condiciones también puede ser representada por la
Series de Fourier. No se conocen las condiciones mínimas necesarias para su

convergencia. En cualquier caso, se puede suponer con seguridad que las funciones de
interés en problemas físicos pueden representarse todas por su serie de Fourier.
1.2.2 Serie de Fourier y función delta
(Para aquellos que aún no han estudiado la integración de contornos complejos, esta sección
se puede omitir).
En lugar de probar el teorema de la convergencia, usaremos una función delta para
demostrar explícitamente que la serie de Fourier
1 ∑∞
S∞(X) = a0 + (anorte porquenx+bnorte pecado nx)
2 norte
=1
converge aF(X).
Conanorteybnortedada por (1.8) y (1.9),S∞(X) Se puede escribir como
∫ π 1∑∞(∫π )
1
S∞(X) = F(X′)dX′+ F(X′) porquenx′dX′ porquenx
2π −π π norte=1
−π
1∑∞(∫π )
+ F(X′) pecadonx′dX′ pecadonx
π −π
[ ]
norte=1
∫ π
1 1∞∑
= F(X′ ) + (porquenx′porquenx+pecadonx′pecadonx) dX′
−π 2π π norte
[ ]
=1
∫π 1∑∞
1
= F(X′) + porquenorte(X′−X) dX′.
−π 2π π norte =1
Si la serie del coseno
1 1∑∞
D(X′−X) = + porquenorte(X′−X)
2π π norte =1
se comporta como una función deltad(X′−X), despuésS∞(X) =F(X) porque

∫π
F(X′)d(X′−X)dX′=F(X) por− π <x < pi.
−π
Recuerda que la función deltad(X′−X) Puede ser definido como

{
0X′ =X
d(X′−X) = ,
∞X′ =X
∫π
d(X′−X)dX′=1 para − π <x < pi.
−π
1.2 Convergencia de la Serie de Fourier 11
Ahora mostraremos que efectivamenteD(X′−X) tiene estas propiedades. Primero, para asegurar
la convergencia, escribimos la serie coseno como
D(X′−X) = límiteDγ(X′−X),
γ→1−
[ ∞
]
1 1 ∑
Dγ(X′−X) = + γnorteporquenorte(X′−X) ,
π 2 norte =1
donde el limiteγ→1−significa queγse acerca a uno desde abajo, es decir,γ es

infinitamente cercano a 1,pero siempre es menor que 1. Para resumir esta
serie, es ventajoso considerarDγ(X′−X) como la parte real de la serie compleja
[( )]
11 ∑∞
Dγ(X′−X) = Re + γnortemiinorte(X′−x)
.
π2 norte=1
Ya que
1
= 1 +γmii(X′−x)+γ2mii2(X′−x)+· · · ,
1− γmii(X′−x)
γmii(X′−x)
=γmii(X′−x)+γ2mii2(X′−x)+γ3mii3(X′−x)+· · · ,
1− γmii(X′−x)
asi que
∞
1 ∑ γnortemiinorte(X′−x) 1 i(X′ − x)
γmi
+ = +
2 norte =1
2 1− γmii(X′−x)
1 +γmii(X′−x) 1 +γmii(X′−x) 1− γmi−i(X′−x)

= =
2(1− γmii(X′−x)) 2(1− γmii(X′−x)) 1− γmi−i(X′−x)
1− γ2+γmii(X′−x)− γmi−i(X′−x) 1− γ2+i2γpecado(X′−X)
= = .
2[1− γ(mii(X′−x)+mi−i(X′−x)) +γ2] 2[1−2γporque (X′−X) +γ2]
De este modo
[ ]
1− γ2+i2γpecado(X′−X)
Dγ(X′−X) = Re
2π[1−2γporqueX′−X) +γ2]
1− γ2
= .
2π[1−2γporqueX′−X) +γ2]
Claramente, siX′-=X,
1− γ2
D(X′−X) = límite = 0.
γ→12π[1−2γporqueX′−X) +γ2]
SiX′=X,entonces porque(X′−X) = 1,y
1− γ2 1− γ2
=
2π[1−2γporqueX′−X) +γ2] 2π[1−2γ+γ2]
(1− γ)(1 +γ) 1 +γ

= = .
2π[1− γ]2 2π(1− γ)
Resulta que
1 +γ
D(x −′ x) = límite → ∞, X′=X.
γ→12π(1− γ)
Es más
∫π
1− γ2∫π dX′
Dγ(x −′ x)dX′= .
−π 2π −π (1 +γ2 ) − 2γporqueX′−X)
Hemos demostrado en el capítulo sobre la teoría del residuo (ver Ejemplo 3.5.2 del
Volumen 1) que ∮
dθ 2π
=√ , a > b.
un - segundoporqueθ a2−b2
Con una sustituciónX′−X=θ,
∫π ∮
dX′ dθ
= .
− π( 1 +γ2 ) − 2γporqueX′−X) (1 +γ2)−2γporqueθ
Mientrasγno es exactamente uno, 1 +γ2>2γ,asi que

∮
dθ 2π 2π
=√ = .
(1 +γ2)−2γporqueθ (1 +γ2)2−4γ2 1− γ2
Por lo tanto ∫π
1− γ2 2π
Dγ(X ′−X)dX′= = 1.
−π 2π 1− γ2
Esto concluye nuestra demostración de queD(X′−X) se comporta como la función
delta d(X′−X).Por lo tanto siF(X) es continua, entonces la serie de Fourier converge a F(X),
∫π
S∞(X) = F(X′)D(X′−X)dX′=F(X).
−π
Suponer queF(X) es discontinua en algún puntoX, y esoF(X+) y F(X−) son los

valores límite a medida que nos acercamosXdesde la derecha y desde la izquierda.
Luego, al evaluar la última integral, la mitad deD(X′−X) se multiplica por F(X+) y la
mitad porF(X−),como se muestra en la siguiente figura.
1.3 Series de Fourier de Funciones de cualquier Período 13
f(x+)
f(x−)
Por lo tanto, la última ecuación se convierte en
1
S∞(X) = [F(X+) +F(X−)].
2
Así en los puntos dondeF(X) es continua, la serie de Fourier da el valor de F(X),y
en los puntos dondeF(X) es discontinua, la serie de Fourier da el valor medio de
los límites derecho e izquierdo deF(X).
1.3 Series de Fourier de Funciones de cualquier Período
1.3.1 Cambio de Intervalo
Hasta ahora la atención se ha restringido a las funciones del período 2π.Esta restricción
puede relajarse fácilmente. SiF(t) es periódico con un período 2L, podemos hacer un
cambio de variable
L
t= X
π
y deja ( )
L
F(t) =F X ≡F(X).
π
Por esta definición,
( ) ( )
L L
F(t+2L) =F X+2L=F [X+2π] =F(X+2π).
π π
Ya queF(t) es una función periódica con un período 2L
F(t+2L) =F(t)
resulta que:
F(X+2π) =F(X).
Asi queF(X) es periódico con un período 2π.
podemos ampliarF(X) en una serie de Fourier, luego se transforma de nuevo a una función
det
1 ∑∞
F(X) = a0+ (anorteporquenx+bnortepecadonx) (1.11)
2 norte =1
con
∫π
1
anorte= F(X) porquenxdX,
π ∫−π
1 π
bnorte= F(X) pecadonxdX.
π −π
π
Ya queX= tyF(X) =F(t),(1.11) se puede escribir como
L
1 ∑∞( nπ nπ)
F(t) = a0 + t+ t
anorte porque bnortepecado (1.12)
2 L
norte=1
L
y los coeficientes también se pueden expresar como integrales sobret.Cambiando el

π
variable de integración deXatcon dX= dyo,tenemos
L
∫L
1 (nπ)
anorte= F(t) porque t dyo, (1.13)
L −L L
∫L
1 (nπ)
bnorte= F(t) pecado t dt. (1.14)
L −L L
método de Kronecker.Como cuestión práctica, muy a menudoF(t) tiene forma detk,
pecadokt,porquekt,mineralkt para varios valores enteros dek.Tendremos que
realizar las integraciones del tipo
∫ ∫
no no
tkporque dyo, pecadoktporque dt.
L L
Estas integrales se pueden evaluar mediante integración repetida por partes. El
siguiente enfoque sistemático es útil para reducir los tediosos detalles inherentes
en tal cómputo. Considere la integral
∫
F(t)gramo(t)dt
y deja ∫
gramo(t)dt=dGRAMO(t), después GRAMO(t) = gramo(t)dt.
Con integración por partes se obtiene

∫ ∫
F(t)gramo(t)dt=F(t)GRAMO(t)− F′(t)GRAMO(t)dt.
Continuando este proceso, con

∫ ∫ ∫
GRAMO1(t) = GRAMO(t)dt, g2(t) = GRAMO1(t)dt, . . . , gnorte(t) = GRAMOn−1(t)dyo,
tenemos
∫ ∫
F(t)gramo(t)dt=F(t)GRAMO(t)−F′(t)GRAMO1(t) + F"(t)GRAMO1(t)dt (1.15)
=F(t)GRAMO(t)−F′(t)GRAMO1(t) +F"(t)GRAMO2(t)−F""(t)GRAMO3(t) +· · · . (1.16)
Este procedimiento se conoce como método de Kronecker.

Ahora siF(t) =tk,después
F′(t) =ktk−1, . . . , fk(t) =k!, fk+1(t) = 0,
la expresión anterior terminará. Además, sigramo(t) = porqueno L,después
∫ ( )
no L no
GRAMO(t) = dt= ,
L nπ L
porque pecado
( )∫ ( ) 2
L no L no
GRAMO (t) = dt=− ,
nπ L nπ L
1 pecado porque
( ) 3 ( ) 4
L no L no
GRAMO2(t) =− , g 3( t) = ,....
nπ L nπ L
pecado porque
Del mismo modo, sigramo(t) = pecadonoL,después
∫ ( ) ( ) 2
no L no L no
GRAMO(t) = dt=− , g( 1t) =− ,
L nπ L nπ L
pecado porque pecado
( ) 3 ( ) 4
L no L no
GRAMO2(t) = , g(t) 3= ,....
nπ L nπ L
porque pecado
De este modo
∫b [ ( ) 2
no L tk no L ktk−1 no
tkporque dt= +
L nπ L nπ L
pecado porque
a
( ) 3 ]b
L no
− k(k -1)tk−2pecado + ··· (1.17)
nπ L
a
y
∫b [ ( ) 2
tk no L tk no L ktk−1 no
dt= − +
L nπ L nπ L
pecado porque pecado
a
( ) ]b
3
L no
+ k(k -1)tk−2 + ··· . (1.18)
nπ L
porque
SiF(t) = pecadokt,después
F′(t) =kporquekt, F"(t) =−k2pecadokt.

dieciséis 1 Serie de Fourier
podemos usar (1.15) escribir
∫b [ ( ) 2 ]b
nπ L no L no
pecadoktporque tdt= pecadoktpecado + k porquektporque
a L nπ L nπ L
a
( ) ∫2 b
L nπ
+ k2 pecadoktporque tdt.
nπ a L
Combinando el último término con el lado izquierdo, tenemos
[ ()] ∫b
2
L nπ
1−k2 pecadoktporque tdt
nπ a L
[ ( ) ]b
2
L no L no
= pecadoktpecado + k porquektporque
nπ L nπ L
a
o
∫b
nπ
pecadoktporque tdt
a L
[ ( ) ]b
2
(nπ)2 L no L no
= pecadoktpecado + k porquektporque .
(nπ)2−(kL)2 nπ L nπ L
a
Claramente, integrales como

∫b ∫ b ∫b
nπ nπ nπ
pecadoktpecado tdyo, porquektporque tdyo, porquektpecado tdyo,
L a L a L
∫a b ∫ b
nπ mikt nπ tdt
miktporque tdyo,
L L
pecado
a a
puede integrarse de manera similar.
Ejemplo 1.3.1.Encuentre la serie de Fourier paraF(t) que se define como
F(t) =t por−L < t≤L, y F(t+2L) =F(t).

Solución 1.3.1.
1 ∑∞ ( no no
)
F(t) = a0+ a + b s en ,
L L
norteporque
2
norte
norte =1
∫L
1
a0= tdt=0,
L −L
∫L [ ( ) ]L
2
1 no 1 L no L no
anorte= tporque dt= tpecado + = 0,
L −L L L nπ L nπ L
porque
−L
∫ L
1 no
bnorte= tpecado dt
L −L L
[ ( ) ]L
2
1 L no L no 2L
= − tporque + =− porquenπ.
L nπ L nπ L nπ
pecado
−L
De este modo
∞ ∞
2L∑ 1 no 2L∑ (−1)norte+1 no
F(t) = − porquenπpecado =
π norte norte L π norte L
pecado
norte
=1 =1
( )
2L πt 1 2πt 1 3πt
= − + pecado −··· . (1.19)
π L L L
pecado pecado
2 3
La convergencia de esta serie se muestra en la Fig. 1.3, dondeSnortees la suma parcial

definida como
S3
− 3L − 2L −L 0 L 2L 3L
S6
− 3L − 2L −L 0 L 2L 3L
S9
− 3L − 2L −L 0 L 2L 3L
Figura 1.3.La convergencia de la serie de Fourier para la función periódica cuya definición en
un periodo esF(t) =t, −L < t < L.El primeronorteLas aproximaciones de los términos se muestran
comoSnorte
2L ∑ no
norte
(−1)norte+1
Snorte= .
π norte L
pecado
norte
=1
Note la creciente precisión con la que los términos se aproximan a la función.

Con tres términos,S3ya se parece a la función. Excepto por el fenómeno de
Gibbs, se obtiene una muy buena aproximación conS9.
Ejemplo 1.3.2.Encuentre la serie de Fourier de la función periódica cuya definición

en un período es
F(t) =t2por−L < t≤L,yF(t+2L) =F(t).
Solución 1.3.2.Los coeficientes de Fourier están dados por

∫L
1 t2 dt= 1 1 [L3−(−L)3] = 2
a0 = L2.
L −L L3 3
∫L
1 no
anorte= t2porque dyo, n-= 0
L −L L
[ ( ) ( ) ]L
2 3
1 L nπt L no L no
= t pecado + 2tporque −
L nπ L nπ L nπ L
2 2 pecado
−L
2L 4L 2
= [Lporquenπ+Lporque−nπ)] = (−1)norte.
(nπ)2 norte2π2
∫L
1 no
bnorte= t2pecado dt=0.
L −L L
Por lo tanto, la expansión de Fourier es
L2 4L 2∑ ∞ (−1)norte no
F(t) = +
π2 L
porque
3 norte=1
norte2
( )
L2 4L 2 π 1 2π 1 3π
= − t -porque t+porque t+· · · . (1.20)
π2 L L L
porque
3 4 9
Con la suma parcial definida como
L2 4L2∑ norte
(−1)norte no
Snorte= + ,
π2 L
porque
3 norte=1
norte2
comparamosS3yS6conF(t) en la figura 1.4.

S3
− 3L − 2L −L 0 L 2L 3L
S6
− 3L − 2L −L 0 L 2L 3L
Figura 1.4.La convergencia de la expansión de Fourier de la función periódica cuya

definición en un período esF(t) =t2, −L < t≤lLa suma parcial deS3ya es una muy buena
aproximación
se ve queS3ya es una muy buena aproximación deF(t).La diferencia entreS6y

F(t) apenas se nota. Esta serie de Fourier converge mucho más rápido que la
del ejemplo anterior. la diferencia es queF(t) en este problema es continua no
solo dentro del período sino también en el rango extendido, mientras queF(t)
en el ejemplo anterior es discontinua en el rango extendido.
Ejemplo 1.3.3.Encuentre la serie de Fourier de la función periódica cuya definición

en un período es
{
0 − 1<t <0
F(t) = , f(t+2) =F(t). (1.21)
t 0<t <1
Solución 1.3.3.La periodicidad 2Lde esta función es 2,asi queL=1,y la serie de

Fourier está dada por
1 ∑∞
F(t) =a + [anorte cosNuevo
(π) Testamento+b nortepecado(no)]
20 norte =1
con
∫1 ∫1
1
a0= F(t)dt= tdt= ,
−1 0 2
∫1 ∫1
anorte= F(t) porque(no)dt= tporqueno)dyo,
−1 0
∫1 ∫1
bnorte= F(t) pecado(no)dt= tpecado(no)dt.
−1 0
Usando (1.17) y (1.18), tenemos

[ ( ) ]1 ( ) ( )
2 2 2
1 1 1 1
anorte= tpecadono+ porqueno = porquenπ -
nπ nπ nπ nπ
0
(−1)norte−1
= ,
(nπ)2
[ ( ) ]1
2
1 1 1 (−1)norte
bnorte= − tporqueno+ pecadono =− porquenπ=− .
nπ nπ nπ nπ
0
Por lo tanto, la serie de Fourier para esta función esF(t) =S∞,dónde
[ ]
1 (−1)
∑norte norte−1 (−1)norte
Snorte= + porquenπt - pecadono .
4 norte=1
(nπ)2 nπ
F(t)
t
−3 −2 −1 0 1 2 3
Figura 1.5.La función periódica de (1.21) se muestra junto con la suma parcial S5de su
serie de Fourier. La función se muestra como lalínea sólidayS5como unlinea de circulos
En la Fig. 1.5 esta función (mostrada como la línea sólida) se aproxima conS5
que está dado por
1 2 2 2
S5= − porqueπt - porque 3πt − porque 5πt
4 π2 9π2 25π2
1 1 1 1 1
+ pecadoπt - pecado 2πt+ pecado 3πt − pecado 4πt+ pecado 5πt.
π 2π 3π 4π 5π
Si bien la convergencia en este caso no es muy rápida, está claro que con un número
suficiente de términos, la serie de Fourier puede dar una representación precisa de esta
función.
1.3.2 Series de Fourier de funciones pares e impares
SiF(t) es una función par, tal que
F(−t) =F(t),
entonces su serie de Fourier contiene solo términos de coseno. Esto se puede ver de la siguiente manera. losb
norteLos coeficientes se pueden escribir como
∫0 () ∫L ( )
1 nπ 1 nπ
bnorte= F(s) pecado s ds+ F(t) pecado tdt. (1.22)
L−L L L 0 L
Si hacemos un cambio de variable y dejamoss=-t,la primera integral del lado

derecho se convierte en
∫0 ( ) ∫0 ( )
1 nπ 1 nπ
F(s) pecado s ds= F(−t) pecado − t d(−t)
L −L L L L L
∫0 ( )
1 nπ
= F(t) pecado t dyo,
L L L
desde el pecado(−x) =−pecado(X) yF(−x) =F(X).Pero

∫0 () ∫L ( )
1 nπ 1 nπ
F(t) pecado tdt=− F(t) pecado t dyo,
L L L L 0 L
que es el negativo de la segunda integral del lado derecho de (1.22). Por lo tantob
norte=0 para todosnorte.
Siguiendo el mismo procedimiento y usando el hecho de que cos(−x) = porque(X),
encontramos
∫0 ) ( ∫L ( )
1 nπ 1 nπ
anorte= F(s) porque s ds + F ( t) porque t dt
L−L L L 0 L
∫ ( ) ∫L ( )
1 0 nπ 1 nπ
= F(−t) porque − d(−t) + F(t) porque t dt
L L L L 0 L
∫ ( ) ∫ ( )
1 0 nπ 1 L nπ
=− F(t) porque t dt+ F(t) porque t dt
L L L L 0 L
∫ ( )
2 L nπ
= F(t) porque t dt. (1.23)
L 0 L
Por eso
∫ [ ∫L ( )]
1 L ∑∞ 2 nπ nπ
F(t) = F(t′)dt′+ F(t′) porque t′ dt′ t. (1.24)
L0 L L
porque
norte=1
0 L
Del mismo modo, siF(t) es una función impar
F(−t) =−F(t),
después [ ( ) ]
∑∞ ∫ 2 L
nπ nπ
F(t) = F(t′) pecado t′ dt′ t. (1.25)
L0 L
pecado
norte=1
L
En los ejemplos anteriores, la función periódica de la figura 1.3 es una función impar, por
lo que su desarrollo de Fourier es una serie de senos. En la figura 1.4, la función es una función
par, por lo que su serie de Fourier es una serie coseno. En la figura 1.5, la función periódica no
tiene simetría, por lo que su serie de Fourier contiene términos tanto de coseno como de seno.
Ejemplo 1.3.4.Encuentre la serie de Fourier de la función que se muestra en la figura 1.6.
f (t)
2k
− 5 −4 −3 −2 −1 0 1 2 3 4 5
Figura 1.6.Una función de onda cuadrada uniforme
Solución 1.3.4.La función que se muestra en la Fig. 1.6 se puede definir como
⎧
⎨0 si − 2<t < -1
F(t) = 2ksi − 1<t <1,F(t) =F(t+4). 1<t <2
⎩
0 si
El periodo de la función 2Les igual a 4,por lo tantoL=2.Además, la función es par, por lo

que la expansión de Fourier es una serie de cosenos, todos los coeficientes para los
términos del seno son iguales a cero
bnorte=0.
Los coeficientes para la serie del coseno están dados por

∫ 2 ∫1
2
a0= F(t)dt= 2kdt=2k,
20 0
∫ 2 ∫1
2 no no 4k nπ
anorte= F(t) porque dt= 2kporque dt= .
nπ
pecado
2 0 2 0 2 2
Así, la serie de Fourier deF(t) es
( )
4k π 1 3π 1 5π
F(t) =k+ t -porque t+porque t -· · · . (1.26)
π
porque
2 3 2 5 2
Es instructivo comparar la figura 1.6 con la figura 1.1. La figura 1.6 representa una
función par cuya expansión de Fourier es una serie coseno, mientras que la función
asociada con la figura 1.1 es una función impar y su serie de Fourier contiene solo
términos seno. Sin embargo, están claramente relacionados. Las dos figuras se pueden
hacer coincidir si (a) nos movemosy-eje en la Fig. 1.6 una unidad a la izquierda (desdet=0
at=−1), (b) hacer un cambio de variable para que la periodicidad cambie de 4 a 2π, (c)
desplazar la figura 1.6 hacia abajo en una cantidad dek.
Los cambios en la serie de Fourier debido a estas operaciones son los siguientes.
Primero dejat′=t+1,de modo quet=t′−1 en (1.26),
( )
4k π 1 3π 1 5π
F(t) =k+ (t′−1)− (t′−1) + (t′−1)−· · · .
π
porque porque porque
2 3 2 5 2
Ya que
⎧ nπ
nπ ( nπ nπ) ⎨ pecado t′ norte=1,5,9, . . .
(t′ − t′− = 2 ,
porque
2
1) = porque
2 2 ⎩ − nπ
pecado t′ norte=3,7,11, . . .
2
F(t) expresado en términos det′se convierte
( )
4k π 1 3π 1 5π
F(t) =k+ t′ + pecado t′ + pecado t′−· · · =gramo(t′).
π
pecado
2 3 2 5 2
A esta expresión la llamamosgramo(t′),todavía tiene una periodicidad de 4.A continuación

vamos a hacer un cambio de variablet′=2x/π,de modo que la función expresada en términos de
X tendrá un plazo de 2π,
( ( ) ( ) ( ) )
4k π 2X 1 3π 2X 1 5π 2X
gramo(t′) =k+ + pecado + pecado −···
π π π π
pecado
2 3 2 5 2
( )
4k 1 1
=k+ pecadoX+ pecado 3X+ pecado 5x −· · · =h(X).
π 3 5
Finalmente, moviéndolo hacia abajo pork,tenemos
( )
4k 1 1
h(X)−k= pecadoX+ pecado 3X+ pecado 5x −· · · .
π 3 5
Esta es la serie de Fourier (1.10) para la función impar que se muestra en la figura 1.1.
1.4 Series de Fourier de funciones no periódicas

en rango limitado
Hasta ahora hemos considerado sólo funciones periódicas que se extienden desde−
∞a +∞. En aplicaciones físicas, a menudo nos interesan los valores de una función
solo en un intervalo limitado. Dentro de ese intervalo la función puede no ser
periódica. Por ejemplo, en el estudio de una cuerda vibrante fija en ambos
extremos. No hay condición de periodicidad en lo que se refiere al problema físico,
pero tampoco hay interés en la función más allá de la longitud de la cuerda. El
análisis de Fourier aún se puede aplicar a dicho problema, ya que podemos
continuar la función fuera del rango deseado para hacerla periódica.
Suponga que el intervalo de interés en la funciónF(t) que se muestra en la figura
1.7a está entre 0 ylPodemos extender la función entre−Ly 0 como queramos. Si lo
extendemos primero simétricamente como en la parte (b), entonces a toda la línea
real por la condición de periodicidadF(t+2L) =F(t), se puede encontrar una serie de
Fourier que consiste solo en términos de coseno para la función par. Una extensión
como en la parte (c) nos permitirá encontrar una serie de senos de Fourier para la
función impar. Ambas series convergerían al dadoF(t) en el intervalo de 0 a
lTales expansiones en serie se conocen como expansiones de rango medio. Los
siguientes ejemplos ilustrarán dichas expansiones.
(a) (b) (C)

F(t) F(t) F(t)
t t t
0 L −L 0 L −L 0 L
Figura 1.7.Extensión de una función. (a) La función se define sólo entre 0 yl(b) Una
extensión simétrica produce una función par con una periodicidad de 2l (C) Una
extensión antisimétrica produce una función impar con una periodicidad de 2L
Ejemplo 1.4.1.La funciónF(t) se define solo en el rango 0<t <1 para ser
F(t) =t - t2.
Encuentre las expansiones de Fourier de coseno y seno de rango medio deF(t).
Solución 1.4.1.(a) Sea el intervalo (0,1) medio período de la función simétricamente

extendida, de modo que 2L=2 oL=1.Una expansión de rango medio de esta función
par es una serie coseno
1.4 Series de Fourier de funciones no periódicas en rango limitado 25
1 ∑
F(t) = a0 + anorte porqueno
2 norte =1
con
∫1
1
a0=2 (t - t2)dt= ,
0 3
∫1
anorte=2 (t - t2) porquenodyo, n-= 0.
0
Usando el método de Kronecker, tenemos

∫1 [ ( ) ]1
2
1 1
tporquenodt= tpecadono+ porqueno
0 nπ nπ
0
( ) 2
1
= (porquenπ -1),
nπ
∫ [ ( ) ( ) ]1
1 2 3
1 1 1
t2porquenodt= t2pecadono+ 2tporquenπt - 2 pecadono
0 nπ nπ nπ
0
( ) 2
1
=2 porquenπ,
nπ
asi que ∫1 ( ) 2
1
anorte=2 (t - t2) porquenodt=−2 (porquenπ+1).
0 nπ
Con estos coeficientes, la expansión del coseno de Fourier de rango medio viene dada por
Sincluso
∞,dónde
Sincluso 1 2 ∑norte(porquenπ+1)
= − porqueno
norte
6 π2 norte norte
=1
2
( )
1 1 1 1
= − porque 2πt+ porque 4πt+ porque 6πt+· · · .
6 π2 4 9
La convergencia de esta serie se muestra en la figura 1.8a.
(b) Se encontraría una expansión de seno de rango medio formando un anti-

extensión simétrica. Como es una función impar, la expansión de Fourier es una serie de
senos ∑
F(t) = bnortepecadoπt
norte=1
con ∫1
bnorte=2 (t - t2) pecadonodt.
0
(a)
Sincluso
2 F(t)
0.3
Sincluso
6 0.25
0.2
0.15
0.1
0.05
0 t
−2 −1 0 1 2
(b) Sextraño
1
F(t)
Sextraño
3
Figura 1.8.Convergencia de la serie de expansión de rango medio. La funciónF(t) =t−t2

se da entre 0 y 1.Tanto la serie del coseno como la del seno convergen a la función dentro de este
rango. Pero fuera de este rango, la serie de cosenos converge a una función par que se muestra en (a)
y la serie de senos converge a una función impar que se muestra en (b).Sincluso 2 y
Sincluso
6 son aproximaciones de dos y cuatro términos de la serie del coseno.Sextraño
1 ySextraño3 son
aproximaciones de uno y dos términos de la serie del seno
Ahora
∫ [ ( ) ]1
1 2
1 1 1
tpecadonodt= − tporqueno+ pecadono =− porquenπ,
0 nπ nπ nπ
0
∫ [ ( ( )
) ]1
1 2 3
t2 pecadonodt= − 1 t2porqueno+ 1
2tpecadono+
1
2 porqueno
0 nπ nπ nπ
0
( ) 3 ( ) 3
1 1 1
=− porquenπ+2 porquenπ -2 ,
nπ nπ nπ
asi que
∫1 ( ) 3
2 1
bnorte=2 (t - t)pecadonodt=4 (1−porquenπ).
0 nπ
Por lo tanto, la expansión del seno de rango medio está dada porSextraño
∞ , con
1.4 Series de Fourier de funciones no periódicas en rango limitado 27
4∑ norte
(1−porquenπ)
Sextraño
= pecadono
norte
π3 (=1 norte3
)
norte
8 1 1
= pecadoπt+ pecado 3πt+ pecado 5πt+· · · .
π3 27 125
La convergencia de esta serie se muestra en la figura 1.8b.
Se ve que tanto la serie del coseno como la del seno convergen ent - t2en el
rango entre 0 y 1.Fuera de este rango, la serie del coseno converge en una función
par y la serie del seno converge en una función impar. La tasa de convergencia
también es diferente. Para la serie de senos en (b), con un solo término, Sextrañoya
1 muy cercaF(t).Con sólo dos términos,Sextraño(tres términos si incluimos
esta 3 elnorte=
2 término que es igual a cero) es indistinguible de F(t) en el rango de interés. La
convergencia de la serie del coseno en (a) es mucho más lenta. Aunque la
aproximación de cuatro términosSinclusoestá mucho más cerca 6 de F(t) que la
aproximación de dos términosSincluso,la diferencia
2 entreSinclusoy F(t) en el rango
6 de
interés sigue siendo perceptible.
Este es generalmente el caso de que si hacemos que la extensión sea suave, se obtiene
una mayor precisión para un número particular de términos.
Ejemplo 1.4.2.Una funciónF(t) se define solo en el rango 0≤t≤2 para ser F(t) =t.
Encuentre una serie de Fourier con solo términos de seno para esta función.
Solución 1.4.2.Se puede obtener una expansión sinusoidal de rango medio

extendiendo antisimétricamente la función. Tal función es descrita por
F(t) =tpor−2<t≤2,yF(t+4) =F(t).
La serie de Fourier para esta función viene dada por (1.19) conL=2
4∑∞ (−1)norte+1 no
F(t) = .
π
pecado
norte=1
norte 2
Sin embargo, esta serie no converge a 2,el valor de la función ent=2. converge
a 0,el valor medio de los límites derecho e izquierdo de la función ent=2,como
se muestra en la figura 1.3.
Podemos encontrar una serie de senos de Fourier que converge al valor correcto en los
puntos extremos, si consideramos la función
{
tpor 0<t≤2,
F(t) =
4−tpara 2<t≤4.
Una extensión antisimétrica nos dará una función impar con una periodicidad de 8
(2L=8, L=4). La expansión de Fourier para esta función es una serie de senos
∑∞ no
F(t) = bnortepecado
norte=1
4
con
∫ 4
2 no
bnorte= F(t) pecado dt
4 0 4
∫ 2 ∫ 4
2 no 2 no
= tpecado dt+ (4−t) pecado dt.
4 0 4 4 2 4
Usando el método de Kronecker, tenemos

[ ( ) 2 ]2 [ ]4
1 4 no 4 no 4 no
bnorte= − tporque + +2 −
nπ nπ nπ
pecado porque
2 4 4 4 2
0
[ ( ) ]4
2
1 4 no 4 no
−− tporque +
nπ nπ
pecado
2 4 4
2
( ) 2
4 nπ
= .
nπ
pecado
2
De este modo
∑∞ ( 4 ) 2 nπ no
F(t) =
nπ
pecado pecado
norte =1
2 4
[ ]
πt 1 3πt 1 5πt
− −··· .
dieciséis
= + pecado (1.27)
π2
pecado pecado
4 9 4 25 4
−8 −6 −4 −2 0 2 4 6 8
Figura 1.9.Serie de Fourier para una función definida en un rango limitado. Dentro del
rango 0≤t≤2,la serie (1.27) converge aF(t) =t.Fuera de este rango, la serie converge a una
función periódica impar con una periodicidad de 8
Dentro del rango de 0≤t≤2,esta serie de senos converge aF(t) =t. Fuera de este
rango, esta serie converge en una función periódica impar que se muestra en la
figura 1.9. Converge mucho más rápido que la serie en (1.19). El primer término,
que se muestra como una línea discontinua, ya proporciona una aproximación
razonable. La diferencia entre la aproximación de tres términos y la función dada
apenas se nota.
1.5 Serie de Fourier compleja 29
Como hemos visto, para una función que está definida solo en un rango
limitado, es posible tener muchas series de Fourier diferentes. Todos convergen a la
función en el rango dado, aunque su tasa de convergencia puede ser diferente.
Afortunadamente, en aplicaciones físicas, la cuestión de qué serie debemos usar
para la descripción de la función suele determinarse automáticamente por las
condiciones de contorno.
De todos los ejemplos hasta ahora, hacemos las siguientes observaciones:
– Si la función es discontinua en algún punto, los coeficientes de Fourier son

decrecientes como 1/norte.
– Si la función es continua pero su primera derivada es discontinua en algún
punto, los coeficientes de Fourier son decrecientes como 1/norte2.
– Si la función y su primera derivada son continuas, los coeficientes de Fourier son
decrecientes como 1/norte3.
Aunque estos comentarios se basan en algunos ejemplos, en general son

válidos (consulte el Método de saltos para los coeficientes de Fourier). Es útil
tenerlos en cuenta al calcular los coeficientes de Fourier.
1.5 Serie de Fourier compleja
La serie de Fourier
1 ∑∞ ( nπ nπ
)
F(t) = a0 + anorte porque t+b
nortepecado t
2 norte =1
pags pags
se puede poner en la forma compleja. Ya que
nπ 1 ( mii(nπ/p)t+mi−i(nπ/p)t )
t= ,
pags 2
porque
nπ 1 ( mii(nπ/p)t−mi−i(nπ/p)t )
t= ,
pags 2i
pecado
sigue:
∑∞[( ) ( ) ]
1 1 1 mii(nπ/p)t + 1 1 mi−i(nπ/p)t
F(t) = a0 + a + b un - b .
2 2i 2i
norte norte
2norte 2norte
norte =1
Ahora bien, si definimosCnortecomo
1 1
Cnorte= a +
2 2i
norte b norte
∫pags ( ) ∫pags ( )
11 nπ 11 nπ
= F(t) porque t dt+ F(t) pecado tdt
2pags
- pag
pags 2ipags
- pag
pags
∫ pags [ ( ) ( )]
1 nπ nπ
= F(t) t − es en t dt
pags pags
porque
2pags
- pag
∫pags
1 F(t)mi−i(nπ/p)tdyo,
=
2pags
- pag
1 1
C−n= anorte− b
2 2inorte
∫ pags ( ) ∫ pags ( )
11 nπ 11 nπ
= F(t) porque t dt - F(t) pecado t dt
2pags
- pag
pags 2ipags - pag
pags
∫ pags
1
= F(t)mii(nπ/p)tdt
2pags
- pag
y ∫ pags
1 11
C0= a0= F(t)dyo,
2 pags 2
- pag
entonces la serie se puede escribir como
∑∞ [ ]
Cnortemii(nπ/p) i(nπ/p)t
F(t) =C0+ t+C−nmi
norte=1
∑∞
Cnortemii(nπ/p) t
= (1.28)
norte=−∞
con ∫pags
1 F(t)mi−i(nπ/p)tdt
Cnorte= (1.29)
2pags
- pag
para positivonorte, negativonorte,onorte=0.

Ahora la serie de Fourier aparece en forma compleja. SiF(t) es una función compleja
de variable realyo,entonces la serie compleja de Fourier es natural. SiF(t) es una función
real, todavía se puede representar mediante la serie compleja (1.28).En
Ese caso,C−nes el complejo conjugado deCnorte(C−n=C∗ norte).
Ya que
1 1
Cnorte= b ),
(anorte−inorte C−n= (a
2 2norte+ibnorte),
si se sigue que:
anorte=Cnorte+C−n, bnorte=i(Cnorte−C−n).
Así siF(t) es una función par, entoncesC−n=Cnorte.SiF(t) es una función impar,

entoncesC−n=−Cnorte.
Ejemplo 1.5.1.Encuentre la serie compleja de Fourier de la función

{
0 - π < t <0,
F(t) =
1 0<t < π.
1.5 Serie de Fourier compleja 31
Solución 1.5.1.Como el periodo es 2π,asi quepags=π,y la serie compleja de Fourier

está dada por
∑∞
F(t) = CnortemiiNuevo Testamento
norte=−∞
con
∫ π
1 1
C0= dt=,
2π 0 2
∫ π {
1 1−mi−inπ 0 norte=incluso,
Cnorte= mi−iNuevo Testamentodt= = 1
2π 0 2ni πni norte=extraño.
Por lo tanto la serie compleja es

( )
1 1 1 mi−i3t−mi−it+miit 1
F(t) = + ···− + mii3t+· · · .
2 iπ 3 3
Está claro que

1 1
C−n= = =C∗
π(−n)i n(−i) norte
como esperamos, senoF(t) es real. Además, desde
miiNuevo Testamento−mi−iNuevo Testamento=2i pecadoNuevo Testamento,
la serie de Fourier se puede escribir como

( )
1 2 1 1
F(t) = + pecadot+ pecado 3t+ pecado 5t+· · · .
2 π 3 5
Esto es también lo que esperábamos, ya queF(t)−1 2es una función impar y
1 1
anorte=Cnorte+C−n= + = 0,
ni π(−n)i
( )
1 1 2
bnorte=i(Cnorte−C−n) = yo − = .
ni π(−n)i n
Ejemplo 1.5.2.Encuentre la serie de Fourier de la función definida como
F(t) = mit por− π <t < π, f(t+2π) =F(t).
Solución 1.5.2.Esta función periódica tiene un período de 2π.Podemos expresarlo como

la serie de Fourier
1 ∑∞
F(t) = a0 + (anorte porqueNuevo Testamento
bnorte pecado
+ Nuevo Testamento).
2 norte =1
Sin embargo, los coeficientes complejos de Fourier son más fáciles de calcular, por lo que primero los
expresamos como una serie compleja de Fourier
∑∞
F(t) = CiNuevo Testamento
nortemi
norte=−∞
con ∫π [ ]π
1 1 1
Cnorte= mitmi−iNuevo Testamentodt=
mi(1−inorte)t
.
2π −π 2π1−inorte −π
Ya que
mi(1−inorte)π=miπmi−inπ= (−1)nortemiπ,
mi−(1−inorte)π=mi−πmiinπ= (−1)nortemi−π,
miπ−mi−π=2 pecadosπ,
asi que
(−1)norte (miπ−mi−π ) = ( − 1)norte1 + yonorte pecadoπ.

Cnorte=
2π(1−inorte) π 1 +norte2
Ahora
(−1)norte 2
anorte=Cnorte+C−n= pecadoπ,
π 1 +norte2
(−1)norte 2norte
bnorte=i(Cnorte−C−n) =− pecadoπ.
π 1 +norte2
Por lo tanto, la serie de Fourier está dada por
pecadoπ 2 pecadosπ ∑∞ (−1)norte

miX= + (porquent - nortepecadoNuevo Testamento).
π π norte=1
1 +norte2
1.6 El método de los saltos

Existe una forma eficaz de calcular los coeficientes de Fourier, conocida como el método
de los saltos. Siempre que la función dada sea continua por tramos, este método nos
permite encontrar los coeficientes de Fourier mediante técnicas gráficas.
Suponer queF(t),que se muestra en la figura 1.10, es una función periódica con un
período 2pags.Es continuo a trozos. Las ubicaciones de la discontinuidad están en t1, t2
, . . . , tN−1,contando de izquierda a derecha. Los dos puntos finalest0ytnorte
pueden o no ser puntos de discontinuidad. DejarF(t+ i)Sea el límite de la mano derecha
de la función comotenfoquestidesde la derecha, yF(t− i),la mano izquierda
límite. En cada discontinuidadti,excepto en dos puntos finalest0ytnorte=t0+2pags,

definimos un saltojicomo
ji=F(t+ i)−F(t− i).
1.6 El método de los saltos 33
f (t)
jn−1
j2
jnorte
j0
j1
t
t0 t1 t2 tn−1 tnorte=t0+2pags
Figura 1.10.Un período de una función periódica continua por tramosF(t) con periodo 2
pags
At0,el saltoj0Se define como
j0=F(t+ 0)−0 =F(t+ 0)
y entnorte,el saltojnortees
jnorte=0−F(t− norte) =−F(t−norte).
Estos saltos están indicados por las flechas en la figura 1.10. se ve quejiserá positivo
si el salto enties arriba y negativo si el salto es abajo. Tenga en cuenta que
at0,el salto es de cero apie+ 0,y entnorte,el salto es depie− nortea
cero.
Ahora mostraremos que los coeficientes de la serie de Fourier se pueden expresar en
términos de estos saltos.
Los coeficientes de la serie compleja de Fourier, como se ve en (1.29), vienen dados por
∫pags
1 F(t)mi−i(nπ/p)tdt.
Cnorte=
2pags
- pag
Definamos la integral como

∫pags
F(t)mi−i(nπ/p)tdt=yonorte[F(t)].
- pag
Asi queCnorte=21pagsyonorte[F(t)].
Ya que
d[ pags ]
− F(t)mi−i(nπ/p)t =− pags
dF(t) mi−i(nπ/p)t+F(t)mi−i(nπ/p)t,
dt inπ inπ dt
asi que
[ pags ]
F(t) mi−i(nπ/p)tdt=d− F(t)mi−i(nπ/p)t + mipags
−i(nπ/p)tdF(t),
inπ inπ
resulta que:
∫pags [ pags ] ∫pags
yonorte[F(t)] = d− F(t)mi−i(nπ/p)t + pags mi−i(nπ/p)tdF(t).
- pag
inπ inπ - pag
Tenga en cuenta que
∫pags ∫pags
mi−i(nπ/p)tdF(t) = mi−i(nπ/p)tdF(t) dt=yonorte[F′(t)],
- pag - pag
dt
y
∫pags [ ] [∫t1 ∫t2 ∫tnorte ]
F(t)mi−i(nπ/p)t =− pags
pags
d− + + · · ·+
- pag
inπ inπ t0 t1] tN−1
[
×d F(t)mi−i(nπ/p)t.
Ya que
∫t1 [ ]
d F(t)mi−i(nπ/p)t =F(t− 1)mi−i(nπ/p)t1−F(t+ 0)mi−i(nπ/p)t0,
t0
∫t2 [ ]
d F(t)mi−i(nπ/p)t =F(t− 2)mi−i(nπ/p)t2−F(t+ 1)mi−i(nπ/p)t1,
t1
∫tnorte [ ]
d F(t)mi−i(nπ/p)t =F(t− norte)mi−i(nπ/p)tnorte−F(t+ N−1)mi−i(nπ/p)tN−1,
tN−1
tenemos
∫pags [ pags ]
d− F(t)mi−i(nπ/p)t = pags F(t+)mi−i(nπ/p)t0
- pag
inπ inπ 0
pags
+ [F(t+)−F(−1 t1)]mi − inπ/
( pags)t1
inπ
pags ∑
pags
k=norte
+ ····− F(t−)mi−i(norte π/p)tnorte= jmi−i(nπ/p)tk .

k
inπ norte
inπ
k=0
De este modo
pags=norte
k∑ pags
yonorte[F(t)] =
jmi−i(nπ/p)tk + yo[F′(t)].
k
inπ inπnorte
k=0
1.6 El método de los saltos 35
Claramente,yonorte[F′(t)] se puede evaluar de manera similar ayonorte[F(t)].Esta fórmula se puede

utilizar iterativamente para encontrar el coeficiente de FourierCnortepara distinto de ceronorte,
ya que Cnorte=yonorte[F(t)]/2pags.Juntos conC0,que viene dada por una integral simple, estos
coeficientes determinan todos los términos de la serie de Fourier. Para muchas funciones
prácticas, su serie de Fourier se puede obtener simplemente a partir de los saltos en los puntos
de discontinuidad. Los siguientes ejemplos ilustrarán qué tan rápido se puede hacer esto con
los esquemas de la función y sus derivadas.
Ejemplo 1.6.1.Usa el método de saltos para encontrar la serie de Fourier de la

función periódicaF(t),uno de sus periodos se define en el intervalo de−π < t < π
como {
kpor−π <t <0
F(t) = .
-kpor 0<t < π
Solución 1.6.1.El esquema de esta función es
pie)
-k
2k
t
− 2π t0= −π t1= 0 t2= π 2π
−k
-k
El periodo de esta función es 2π,por lo tantopags=π.Es claro que todas las derivadas de
esta función son iguales a cero, por lo que tenemos
1 ∑
2
1 −
Cnorte= yo[F(t)] = jk (π/pags)tk,n-=
miinorte 0,
2π i2n
norte
k=0
dónde
t0=−π, t1=0, t2=π
y
j0=−k, j1=2k, j2=−k.
Por eso
1
Cnorte= [−kmiinπ+2k - kmi−inπ]
i2n
{
k 0 norte=incluso
= [2−2 porque(nπ)] = .
i2n 2k
inπ norte=extraño
Resulta que:
anorte=Cnorte+C−n=0,
{
0 norte=incluso
bnorte=i(Cnorte−C−n) = 4k .
norte=extraño
nπ
Es más, ∫π
1
C0= F(t)dt=0.
2π −π
Por lo tanto, la serie de Fourier está dada por

( )
4k 1 1
F(t) = pecadot+ pecado 3t+ pecado 5t+· · · .
π 3 5
Ejemplo 1.6.2.Utilice el método de saltos para encontrar la serie de Fourier de la

siguiente función:
{
0−π <t <0
F(t) = , f(t+2π) =F(t).
t 0<t < π
Solución 1.6.2.La primera derivada de esta función es

{
0 - π < t <0,
F′(t) =
1 0<t < π
y las derivadas superiores son todas iguales a cero. los bocetos deF(t) yF′(t) se muestran de la
siguiente manera:
F(t) F-(t)
π 1
t t
−π π −π π
En este caso
pags=π, t0=−π, t1=0, t2=π.
De este modo
1∑ 2 1
yonorte[F(t)] = k k +
jmi−iNuevo Testamento
yo[F′(t)],
norte
inorte inorte
k=0
dónde
j0=0, j1=0, j2=−π,
1.7 Propiedades de la Serie de Fourier 37
y
1∑ 2
yonorte[F′(t)] = j′ Testamentok
kmi−iNuevo
inorte
k=0
con
j′ 0=0, j′ 1=1, j′ 2=−1.
Resulta que:
[ ]
1 1 1 π
yonorte[F(t)] = (−π)mi−inπ+ (1−mi−inorte )
inorte inorte inorte
y
1 1 mi−inπ− 1
Cnorte= yo[F(t)] =− (1−mi−inπ), n-= 0.
2πnorte i2norte 2n2
Además ∫π
1 π
C0= tdt= .
2π 0 4
Por lo tanto los coeficientes de Fourieranorteybnorteson dados por
1 (−mi−inπ+miinπ 1 (mi−inπ+miinπ 1
anorte=Cnorte+C−n= )+ )−
i2norte 2n2 n2
{
2
1 1 1 − n2 norte=extraño
= pecadonπ+ porquenπ - = ,
norte n2 n2 0 norte=incluso
[ ]
1 (mi−inπ+miinπ 1 (mi−inπ−miinπ)
bnorte=i(Cnorte−C−n) = yo − )+
norte
i2 2n2
{
1
1 1 norte=extraño
=− porquenπ+ pecadonπ=
norte
.
norte n2 − 1
norte
norte=incluso
Entonces la serie de Fourier se puede escribir como
π 2∑ 1 ∑ (−1)norte
F(t) = − porque (2norte -1)t - pecadoNuevo Testamento.
4 π norte=1
(2norte -1)2
norte=1
norte
1.7 Propiedades de la Serie de Fourier
1.7.1 Teorema de Parseval
Si la periodicidad de una función periódicaF(t) es 2pags,el teorema de Parseval

establece que ∫pags ∞
1 1 1∑ 2
[F(t)]2dt= a02+ (a2norte+bnorte),
2pags−pags 4 2 norte =1
dóndeanorteybnorteson los coeficientes de Fourier. Este teorema se puede probar

expresandoF(t) como la serie de Fourier
∑∞( )
1 no no
F(t) = a0 + anorte porque + b ,
pags pags
nortepecado
2 norte =1
y llevar a cabo la integración. Sin embargo, el cálculo es más sencillo si primero

trabajamos con la serie compleja de Fourier
∑∞
Cnortemii(nπ/p)t,
F(t) =
norte=−∫∞
pags
1 F(t)mi−i(nπ/p)t.
Cnorte=
2pags
- pag
Con estas expresiones, la integral se puede escribir como

∫pags ∫pags
1 1 ∑∞
[F(t)]2dt= F(t) Cnorte
i mi(nπ/p)tdt
2pags 2pags
- pag - pag
norte=−∞
∫pags
∑∞ 1
= Cnorte2pags F(t)mii(nπ/p)tdt.
- pag
norte=−∞
Ya que ∫pags ∫pags

1 F(t)mi−i((−n)π/p)t 1
C−= norte = F(t)mii(nπ/p)tdyo,
2pags 2pags
- pag - pag
resulta que:
∫ pags ∑∞ ∑∞
1 2
[F(t)]2dt= CnorteC−n=C0+2 CnorteC−n.
2pags
- pag
norte=−∞ norte=1
SiF(t) es una función real, entoncesC−n=C∗ norte.Ya que
1 ∗= 1
Cnorte= i ),
(anorte−bnorte (a + yobnorte),
2 2
norte
Cnorte
]
asi que
1[ 1
CnorteC−n=CnorteCnorte
∗ = a
2
− (ib)2 = (a2norte+ b2.
4 4
norte norte norte)
Por lo tanto
∫pags
∑∞ ( ) 2 1∑∞
1 1
[F(t)]2dt=C2 0+2 CnorteC−n= a0 + (a2norte+b2
norte).
2pags−pags
norte=1
2 2 norte =1
Este teorema tiene una interpretación interesante e importante. En física

aprendimos que la energía de una onda es proporcional al cuadrado de su
amplitud. Para la onda representada porF(t), la energía en un periodo será
∫
proporcional a pags[F(t)]2dt.Ya queanorteporquenopags también representa una onda, por lo que el
- pag
energía en esta onda de coseno puro es proporcional a

∫pags( ) 2 ∫pags
nπ no
anorteporque t dt=a2 porque2 dt=Pensilvania
pags pags
2
norte norte
- pag - pag
entonces la energía en la onda sinusoidal pura es
∫pags( ) 2 ∫pags
nπ no
bnortepecado t dt=b2 dt=pb2
pags pags
pecado2
norte norte.
- pag - pag
Del teorema de Parseval tenemos

∫pags
1 ∑∞
2
[F(t)]2dt=Pensilvania2+pags (a2norte+bnorte).
- pag
20 norte=1
Esto dice que la energía total en una onda es solo la suma de las energías en todos los
componentes de Fourier. Por esta razón, el teorema de Parseval también se llama
“teorema de la energía”.
1.7.2 Sumas de potencias recíprocas de números enteros
Una aplicación interesante de la serie de Fourier es que se puede usar para sumar una serie de
potencias recíprocas de números enteros. Por ejemplo, hemos demostrado que la serie de
Fourier de la onda cuadrada
{
-k − π < x <0
F(X) = , f(X+2π) =F(X)
k 0<x < π
es dado por
( )
4k 1 1
F(X) = pecadoX+ pecado 3X+ pecado 5X+· · · .
π 3 5
AX=π/2,tenemos
(π) ( )
4k 1 1 1
F =k= 1−+−+· · · ,
2 π 35 7
de este modo
π 1 1 1 ∑∞ (−1)norte+1
= 1−+−+· · ·= .
4 357
norte=1
2norte -1
Este es un famoso resultado obtenido por Leibniz en 1673 a partir de consideraciones

geométricas. Se hizo muy conocido porque fue la primera serie que involucróπalguna vez
descubierto.
El teorema de Parseval también se puede utilizar para obtener resultados adicionales. En este
problema,
{
4k
norte=extraño
n
[F(t)]2=k2, anorte=0, bnorte= ,
0 norte=incluso
∫π 1∑∞ ( ) (2 )
1 1 4k 1 1
[F(t)]2dt=k2= bnorte
2 = 1+ ++ ··· .
2π −π 2 norte =1
2 π 32 52
Entonces tenemos
π2 1 1 ∑∞ 1
=1+ ++ · · ·= .
8 32 52 norte=1(2norte -1)2
En el siguiente ejemplo, demostraremos que se puede obtener un número de

tales sumas con una serie de Fourier.
Ejemplo 1.7.1.Utilice la serie de Fourier para la función cuya definición es
F(X) =X2por−1<X <1, y F(X+2) =F(X),
para mostrar que
∑∞ (−1)norte+1 π2 ∑∞ 1 π2
(a) = , (b) = ,
norte=1
norte2 12 norte=1
norte2 6
∑∞ (−1)norte+1 π3 ∑∞ 1 π4
(C) = , (d) = .
norte=1
(2norte -1)3 32 norte=1
norte4 90
Solución 1.7.1.La serie de Fourier para la función está dada por (1.20) con
L=1:
1 4∑ ∞ (−1)norte
X2= + porquenπx.
3 π2 norte =1
norte2
(un conjuntoX=0,entonces tenemos
X2=0, porquenπx=1.
De este modo
1 4∑ ∞ (−1)norte
0=+
3 π2 norte=1
norte2
o
4∑ ∞ (−1)norte 1
− =.
π2 norte=1
norte2 3
Resulta que:
1 1 1 π2
1− + − + · · ·= .
22 32 42 12
(b) ConX=1,la serie se convierte
1 4∑ ∞ (−1)norte
1= + porquenπ.
3 π2 norte =1
norte2
Desde porquenπ= (−1)norte,tenemos
1 4∑ ∞ (−1)2norte
1− =
3 π2 norte =1
norte2
o
π2 1 1 1
=1+ +++ ···.
6 22 32 42
(c) Integrando ambos lados de 0 a 1/2,
∫ [ ]
∫1/2 1/2
1
∞
4 ∑ (−1)norte
X2dX= + porquenπx dX
0 0 3 π2 norte =1
norte2
obtenemos
( ) ( ) 4∑ ∞(−1)norte1
1 13 1 1 nπ
= +
π2 nπ
pecado
3 2 3 2 norte=1
norte2 2
o
1 4∑ ∞ (−1)norte nπ
− = .
8 π3 norte
pecado
=1
norte3 2
Ya que ⎧
0 ⎨ norte=incluso,
nπ
pecado = 1 norte=1,5,9, . . . ,
2 ⎩
−1 norte=3,7,11, . . .
la suma se puede escribir como

( )
1 4 1 1 1
− =− 1− + − + ··· .
8 π3 33 53 73
Resulta que:
∞
π3 ∑ (−1)norte+1
= .
32 norte=1
(2norte -1)3
(d) Usando el teorema de Parseval, tenemos

∫1( ( ) 2 1∑∞ [ ]2
1 ) 1 4 (−1)norte
X2 2dX= + .
2 −1 3 2 norte =1
π2 norte2
De este modo
1 1 8∑ ∞ 1
= + .
5 9 π4 norte =1
norte4
Resulta que:
∞
π4 ∑ 1
= .
90 norte=1
norte4
Esta última serie jugó un papel importante en la teoría de la radiación del cuerpo
negro, que fue crucial en el desarrollo de la mecánica cuántica.
1.7.3 Integración de Series de Fourier
Si una serie de Fourier deF(X) se integra término a término, un factor de 1/nortese

introduce en la serie. Esto tiene el efecto de mejorar la convergencia. Por lo tanto,
esperamos que la serie resultante de la integración término a término converja a la
integral deF(X) . Por ejemplo, hemos demostrado que la serie de Fourier para la
función imparF(t) =tdel periodo 2Les dado por
∞
2L∑ (−1)norte+1 nπ
t= t.
π norte L
pecado
norte
=1
Esperamos que una integración término a término del lado derecho de esta
ecuación converja a la integral det.Eso es
∫t ∞
2L∑ (−1)norte+1∫t nπ
XdX= XdX.
π norte L
pecado
0 norte
0
=1
El resultado de esta integración es

[ ]t
1 t2 2L∑ ∞(−1)norte+1 L nπ
= − X
π norte nπ L
porque
2 norte
=1 0
o ∞
4 L2 ∑ (−1)norte+1 4L2∑ ∞ (−1)norte+1 nπ
t2= − t.
π2 norte π2 L
porque
norte2 norte2
=1 norte=1
Ya que
∑∞ (−1)norte+1 π2
= ,
norte=1
norte2 12
obtenemos
L2 4L2∑ ∞ (−1)norte nπ
t2= + t.
π2 L
porque
3 norte=1
norte2
Esta es de hecho la serie de Fourier correcta que converge at2del periodo 2L,como se ve
en (1.20).
Ejemplo 1.7.2.Encuentre la serie de Fourier de la función cuya definición en un

período es
F(t) =t3, −L < t < L.
Solución 1.7.2.Integrando la serie de Fourier parat2en el rango requerido término a

término
∫ ∫[ ]
t2dt= + tdyo,
π2 L
porque
3 norte=1
norte2
obtenemos
1 L2 4L2∑ ∞ (−1)norte L nπ
t3= t+ t+C.
π2 norte nπ L
pecado
3 3 =1
norte2
mirando los valores de ambos lados

Podemos encontrar la constante de integraciónC
de esta ecuación ent=0.ClaramenteC=0.Además, dado que en el rango de
- L < t < L,
∞
t= yo,
π norte L
pecado
norte
=1
por lo tanto la serie de Fourier det3en el rango requerido es
2L3∑ ∞ (−1)norte+1 nπ 12L3∑

∞
(−1)norte nπ
t3= t+ t.
π L π3 L
pecado pecado
norte norte3
norte=1 norte=1
1.7.4 Diferenciación de Series de Fourier
Al diferenciar una serie de Fourier término por término, debemos ser más cuidadosos. Una
diferenciación término por término hará que los coeficientesanorteybnorteser multiplicado por un
factornorte.Como crece linealmente, es posible que la serie resultante ni siquiera converja.
Tomar como ejemplo
∞
t= t.
π norte L
pecado
norte
=1
Esta ecuación es válida en el rango de−L <t <L,como se ve en (1.19). el derivado det
por supuesto es igual a 1.Sin embargo, una diferenciación término por término de
la serie de Fourier en el lado derecho
[ ∞
]
re 2L∑ (−1)norte+1 nπ ∑∞ nπ
t=2 (−1)norte+1porque t
dt π L L
pecado
norte
norte=1 norte=1
ni siquiera converge, y mucho menos igual a 1.

Para ver bajo qué condiciones, si las hay, la serie de Fourier de la

funciónF(t)
1 ∑∞( nπ nπ)
F(t) = a0 + anorte porque t+b t
L L
nortesi norte
2 norte =1
puede diferenciarse término a término, supongamos primero queF(t) es

continua dentro del rango−L <t <L,y la derivada de la funciónF′(t) se puede
expandir en otra serie de Fourier
1 ∑∞ ( nπ nπ)
F′(t) = a0′ + a′ t+b′ t .
L L
sistema operativo pecado
2 norte =1
norteC norte
los coeficientesa′ norteson dados por

∫
1 L nπ
anorte
′ = F′(t) porque tdt
L −L L
1[ ∫ L
nπ]L nπ nπ
= F(t) porque t + F(t) pecado tdt
L L −L L2 −L L
1 nπ
= [F(L)−F(−L)] porquenπ+ (1.30)
L L
bnorte.
Similarmente
1 nπ
bnorte
′ = [F(L)−F(−L)] pecadonπ - n/A. (1.31)
L L
norte
Por otro lado, derivando la serie de Fourier de la función término a término,

obtenemos
[ ]
d 1 ∑∞ ( nπ nπ)
a0+ a t+b t
dt 2 L L
norte porque nortepecado
norte =1
∑∞ ( nπ nπ nπ nπ)
= − unnorte t+b cos t.
L L L L
pecado norte
norte=1
Esto simplemente daría coeficientes

nπ nπ
anorte
′ = b bnorte
′ = − anorte . (1.32)
Lnorte, L
Así vemos que la derivada de una función no se da, en general, derivando la
serie de Fourier de la función término a término. Sin embargo, si la función
satisface la condición
F(L) =F(−L), (1.33)
b
despuésa′nortey ′ nortedadas por (1.30) y (1.31) son idénticas a las dadas por (1.32).
Llamamos a (1.33) la condición “cara igual a cruz”. Una vez satisfecha esta condición,
una diferenciación término a término de la serie de Fourier de la función será
1.8 Series de Fourier y ecuaciones diferenciales 45
convergen a la derivada de la función. Tenga en cuenta que si la función periódica F(t) es

continua en todas partes, esta condición se cumple automáticamente.
Ahora está claro por qué (1.19) no se puede diferenciar término por término. Para esta
función
F(L) =L-=−L=F(−L),
la condición de “cara es igual a cruz” no se cumple. En el siguiente ejemplo, la
función cumple esta condición. De hecho, su derivada viene dada por el resultado
de la diferenciación término a término.
Ejemplo 1.7.3.La serie de Fourier parat2en el rango−L < t < Lviene dada por
(1.20)
+ t=t2.
π2 L
porque
3 norte=1
norte2
Satisface la condición de “cara igual a cruz”, como se muestra en la figura 1.4. Demostrar que
una diferenciación término por término de esta serie es igual a 2t.
Solución 1.7.3.
[ ]
d L2 4L2∑ ∞ (−1)norte nπ 4L2∑ ∞ (−1)norted nπ
+ t = t
dt 3 π2 norte L π2 dt L
porque porque
norte2 norte2
=1 norte=1
∞
= t
π norte L
pecado
norte
=1
que es la serie de Fourier de 2ten el rango requerido, como se ve en (1.19).
1.8 Series de Fourier y ecuaciones diferenciales
Las series de Fourier juegan un papel importante en la resolución de ecuaciones diferenciales

parciales, como veremos en muchos ejemplos en capítulos posteriores. En esta sección nos
limitaremos a algunas aplicaciones de las series de Fourier para resolver ecuaciones
diferenciales ordinarias no homogéneas.
1.8.1 Ecuación diferencial con condiciones de contorno
Consideremos la siguiente ecuación diferencial no homogénea:
d2X
+ 4X=4yo,
dt2
X(0) = 0, X(1) = 0.
Queremos encontrar la solución entret=0 yt=1.Anteriormente hemos

aprendido que la solución general de esta ecuación es la suma de la
función complementariaXCy la solución particularXpags.Eso es
X=XC+Xpags,
dóndeXCes la solución de la ecuación homogénea
d2XC+4XC=0 días
t2
con dos constantes arbitrarias, yXpagses la solución particular de
d2Xpags+4Xpags=4t
dt2
sin constante arbitraria. Se puede comprobar fácilmente que en este caso
XC=Aporque 2t+Bpecado 2t, x

pags=t.
Por lo tanto la solución general es
X(t) =Aporque 2t+Bpecado 2t+t.
Las dos constantesAyBestán determinados por las condiciones de contorno. Ya que
X(0) =A=0,
X(1) =Aporque 2 +Bsen 2 + 1 = 0,
De este modo
1
A=0, B=− .
pecado 2
Por lo tanto, la solución exacta que satisface las condiciones de contorno está dada por
1
X(t) =t - pecado 2t.
pecado 2
Esta función en el rango de 0≤t≤1 se puede expandir a una serie de seno de Fourier
de rango medio
∑∞
X(t) = bnortepecadono,
norte=1
dónde ∫1( )
1
bnorte=2 t- pecado 2tpecadonodt.
0 pecado 2
Ya hemos demostrado que

∫1
(−1)norte+1
tpecadonodt= .
0 nπ
Con integración por partes dos veces, encontramos
∫1 [ ]1
1 2
pecado 2tpecadonodt=− pecado 2tporqueno+ porque 2tpecadono
0 nπ (nπ)2 0
∫1
4
+ pecado 2tpecadonodt.
(nπ)2 0
Combinando el último término con el lado izquierdo y poniendo los límites, obtenemos
∫1
(−1)norte+1nπ
pecado 2tpecadonodt= pecado 2.
0 [(nπ)2−4]
Resulta que:
[ ]
(−1)norte+1 1 (−1)norte+1nπ 8
bnorte=2 − = (−1)norte+1 . (1.34)
nπ
pecado 2
pecado 2 [(nπ)2−4] nπ[4−(nπ)2]
Por lo tanto, la solución que satisface las condiciones de contorno se puede escribir
como
8∑∞ (−1)norte+1
X(t) = pecadono.
π norte=1
norte[4−(nπ)2]
Ahora mostraremos que este resultado se puede obtener directamente del siguiente
método de la serie de Fourier. Primero expandimos la solución, cualquiera que sea, en una
serie de seno de Fourier de rango medio
∑∞
X(t) = bnortepecadono.
norte=1
Este es un procedimiento válido porque no importa cuál sea la solución, siempre

podemos extenderla antisimétricamente al intervalo−1<t <0 y luego a toda la línea
real por la condición de periodicidadX(t+2) =X(t).La serie de Fourier que representa
esta función impar con una periodicidad de 2 está dada por la expresión anterior.
Esta función es continua en todas partes, por lo que se puede diferenciar término a
término. Además, las condiciones de contorno,X(0) = 0 yX(1) = 1,se satisfacen
automáticamente con esta serie.
Cuando ponemos esta serie en la ecuación diferencial, el resultado es
∑∞[ ]
− (nπ)2+4bnortepecadono=4t.
norte=1
Esta ecuación se puede considerar como la función 4texpresada en una serie de senos de
Fourier. Los coeficientes [−(nπ)2+4]bnorteson dados por
∫1
(−1)norte+1
[−(nπ)2+4]bnorte=2 4tpecadonodt=8 .
0 nπ
Resulta que:
8(−1)norte+1
bnorte= ,
nπ[4−(nπ)2]
que es idéntica a (1.34). Por lo tanto obtendremos exactamente el mismo resultado que
antes.
Esto demuestra que el método de la serie de Fourier es conveniente y directo. No todos los
problemas de valores en la frontera se pueden manejar de esta manera, pero muchos de ellos
sí. Cuando el problema se resuelve mediante el método de la serie de Fourier, a menudo la
solución se encuentra en una forma más útil.
Ejemplo 1.8.1.Una viga horizontal de longitudL,apoyado en cada extremo está

uniformemente cargado. La desviación de la vigay(X) se sabe que satisface la ecuación
d4y w
= ,
dX4 IE
dóndenosotros,yyoson constantes (wes la carga por unidad de longitud,mies el módulo
de Young,yoes el momento de inercia). Es más,y(t) satisface las siguientes cuatro
condiciones de contorno
y(0) = 0, y(L) = 0,
y"(0) = 0, y"(L) = 0.
(Esto se debe a que no hay deflexión ni momento en ninguno de los extremos).

Encuentre la curva de deflexión de la vigay(X).
Solución 1.8.1.La función se puede expandir convenientemente en un seno de Fourier

serie
∑∞ nπ
y(X) = bnortepecado X.
norte=1
L
Las cuatro condiciones de contorno se cumplen automáticamente. Esta serie y sus
derivadas son continuas, por lo que se pueden derivar repetidamente término a
término. Poniéndolo en la ecuación, tenemos
∑∞ (nπ)4 nπ w
X= .
L L IE
bnorte pecado
norte=1
Esto significa quebnorte(nπ/L)4son los coeficientes de la serie de senos de Fourier de con

EI.Por lo tanto
(nπ)4 2 ∫Lw nπ 2w L
= XdX=− (porquenπ -1).
L L 0 IE L
pecado
LE nπ
bnorte
Resulta que: ⎧
⎨4wL4 1
norte=extraño
bnorte= IE (nπ)5 .
⎩
0 norte=incluso
Por lo tanto
∞
4wL4∑ 1 (2norte -1)nπx
y(X) = .
EIπ5 L
pecado
(2norte -1)5
norte=1
Esta serie es rápidamente convergente debido a la quinta potencia denorteen el denominador.
1.8.2 Oscilador accionado periódicamente
Considere un sistema resorte-masa amortiguado impulsado por una función de fuerza

periódica externa. La ecuación diferencial que describe este movimiento es
d2X dX
metro + C + kx=F(t). (1.35)
dt dt
Recordemos que si la función de forzamiento externoF(t) es una función seno o coseno,
entonces la solución de estado estacionario del sistema es un movimiento oscilatorio con la
misma frecuencia de la función de entrada. Por ejemplo, si
F(t) =F0pecadoωyo,
después
F0
Xpags(t) =√ pecado(ωt - α), (1.36)
(k - metro2)2+ (cω)2
dónde
cω
α=broncearse−1 .
k - metro2
Sin embargo, siF(t) es periódica con frecuenciaω,pero no es una función seno o coseno,
entonces la solución de estado estacionario contendrá no solo un término con la frecuencia de
entradaω, pero también otros términos de múltiplos de esta frecuencia. Suponga que la
función de forzamiento de entrada está dada por una onda cuadrada
{
1 0<t <L
F(t) = , F(t+2L) =F(t). (1.37)
− 1 - L < t <0
Esta onda cuadrada se repite en el intervalo de tiempo de 2lEl número de veces
que se repite en 1 s se llama frecuenciaV.Claramentev= 1/(2L).Recuerde que la
frecuencia angularωse define como 2πν.Por lo tanto
1 π
ω=2π = .
2L L
Con frecuenciaωsimplemente se conoce como frecuencia.
Ahora, como hemos mostrado, la expansión de la serie de Fourier deF(t) es dado por
∑∞ nπ
F(t) = bnortepecado yo,
norte=1
L
⎧
⎨ 4
norte=extraño,
bnorte= nπ
⎩ 0norte=incluso.
Se ve que el primer término es una onda sinusoidal pura con la misma frecuencia
que la onda cuadrada de entrada. La llamamos la frecuencia fundamental.ω1(ω1=ω).
Los otros términos de la serie de Fourier tienen frecuencias múltiplos de la
frecuencia fundamental. Se llaman armónicos (o sobretonos). Por ejemplo, los
armónicos segundo y tercero tienen, respectivamente, frecuencias deω2=2π/L=2ω y
ω3=3π/L=3ω.(En esta terminología, no hay primer armónico.)
Con la onda cuadrada de entradaF(t) expresada en términos de su serie de Fourier en
(1.35), la respuesta del sistema es también una superposición de los armónicos, ya que
(1.35) es una ecuación diferencial lineal. es decir, siXnortees la solución particular de
d2Xnorte+C dXnorte+kx
metro =bpecado ωnorteyo,
dt dt
norte norte
entonces la solución de (1.35) es
∑∞
Xpags= Xnorte.
norte=1
Por lo tanto, de (1.36) se deduce que con la función de fuerza de entrada dada por la onda
cuadrada, la solución de estado estacionario del sistema resorte-masa está dada por
∑∞ bnortepecado(ωnortet - anorte)
Xpags = √ ,
norte=1
(k - metro2norte)2+ (cωnorte)2
dónde
nπ −1 cωnorte
ωnorte= =nω, αnorte=broncearse .
L k - metronorte2
Esta solución contiene no solo un término con la misma frecuencia de entradaω, pero
también otros términos con múltiplos de esta frecuencia. si uno de esos√ mi más alto
frecuencias está cerca de la frecuencia natural del sistemaω0(ω0=k/m), entonces el
término particular que contiene esa frecuencia puede desempeñar el papel dominante
en la respuesta del sistema. Este es un problema importante en el análisis de vibraciones.
La frecuencia de entrada puede ser considerablemente más baja que la frecuencia
natural del sistema, pero si esa entrada no es puramente sinusoidal, aún podría generar
resonancia. Esto se ilustra mejor con un ejemplo específico.
Ejemplo 1.8.2.Suponga que en algún conjunto consistente de unidades,metro=1, C=

0.2, k=9, yω= 1,y la entradaF(t) está dada por (1.37). Encuentre la solución de estado
estacionarioXpags(t) del sistema masa-resorte.
Solución 1.8.2.Ya queω=π/L=1,asi queL=πyωnorte=norte.Como hemos

mostrado, la serie de Fourier deF(t) es
( )
4 1 1
F(t) = pecadot+ pecado 3t+ pecado 5t+· · · .
π 3 5
Por lo tanto, la solución de estado estacionario está dada por
4∑1∞ pecado(nt − αnorte)

Xpags(t) = √ ,
π norte= impar
norte (9−norte2)2+ (0.2norte)2
0.2norte
αnorte=broncearse−1 , 0≤ αnorte≤ π.
9−norte2
Realizando el cálculo, encontramos
Xpags(t) = 0.1591 pecado(t -0.0250) + 0.7073 pecado(3t -1.5708)

+ 0.0159 pecado(5t -3.0792) +· · · .
La siguiente figura muestraXpags(t) en comparación con la función de fuerza de entrada.

Para tener la misma dimensión de distancia, la fuerza de entrada se expresa en términos
de “distancia estática”F(t)/k.El término 0.7073 pecado(3t -1.5708) se muestra como la línea
de puntos. Se ve que este término domina la respuesta del sistema. Esto se debe a que el
término connorte=3 en la serie de Fourier deF(t)
Producción(Xpags)
0.5
Aporte(F(t)/k)
0
0 1.25 2.5 3.75 5 6.25
− 0,5
−1
√
tiene la misma frecuencia que la frecuencia natural del sistema ( k/m=3).
Por lo tanto, se producen vibraciones cercanas a la resonancia, con la masa completando
esencialmente tres oscilaciones por cada oscilación de la fuerza de entrada externa.
En Feynman Lecture on Physics, vol. yo, cap. 50
Identifiquemos los dos sucesivosCs cerca de la mitad del teclado por

do, do′,y elGRAMOestá justo arriba deG, G′.Los fundamentales tendrán frecuencias
relativas como sigue:
C − 2 sol-3
C′ − 4 GRAMO −6 ′
Estas relaciones armónicas se pueden demostrar de la siguiente manera.

Supongamos que presionamosC′lentamente – para que no suene pero hacemos
que se levante el amortiguador. si sonamosC,producirá su propia fundamental y
algunos armónicos. El segundo armónico establecerá las cuerdas deC′en vibración.
Si ahora soltamosC(acuerdoC′presionado) el amortiguador detendrá la vibración del
Ccuerdas, y podemos escuchar (suavemente) la nota deC′mientras muere. De
manera similar, el tercer armónico deCpuede causar una vibración deGRAMO′.
Este fenómeno es tan interesante como importante. En un sistema mecánico o
eléctrico que es forzado con una función periódica que tiene una frecuencia menor que la
frecuencia natural del sistema, siempre que la función forzada no sea puramente
sinusoidal, uno de sus armónicos puede resonar con el sistema. Para evitar la aparición
de vibraciones de resonancia anormalmente grandes y destructivas, no se debe permitir
que ningún sobretono de la función de entrada domine la respuesta del sistema.
Ejercicios
1. Demuestra que simetroynorteentonces son enteros ∫
{
L
nπx mπx L
(a) dX=
norte=metro,
2
L L
pecado pecado
0 0 n-=metro.
∫L {
nπx mπx L
(b) dX=
norte=metro,
2
L L
porque porque
0 0 n-=metro.
∫L
nπx mπx
(C) dX=0, todosn, m.
L L
pecado porque
−L
∫L
nπx mπx
(d) dX
L L
pecado porque
0
{
0 n, mambos pares o ambos impares,
= L 2norte
norteincluso, metroextraño; onorteextraño, metroincluso.
π norte2−metro2
2. Encuentra la serie de Fourier de las siguientes funciones:

{
0 − π < x <0
(a)F(X) = , f(X+2π) =F(X),
2 0<x < π
⎧ π π
⎪⎨1 − <X<
(b)F(X) =
2 2
⎪⎩−1 π 3π , f(X+2π) =F(X),
<X<
2 2
{
0 − π < x <0
(C)F(X) = , f(X+2π) =F(X).
pecadoX 0<x < π
[ ]
4 1 1
respuesta.(a) F(X) = 1 + pecadoX+ pecado 3X+ pecado 5x −· · · · ,
π 3 5
[ ]
4 1 1
(b)F(X) = porquex − porque 3X+ porque 5x −· · · ,
π 3 5
[ ]
1 2 1 1 1
(C) F(X) = − porque 2X+ porque 4X+ porque 6x −· · · ·
π π 3 15 35
1
+ pecadoX.
2
3. Encuentra la serie de Fo{urier de las siguientes funciones:
− 1 − 2<t <0
(a)F(t) = , f(t+4) =F(t),
1 0<t <2
(b)F(t) =t2, 0<t <2, F(t+2) =F(t).

[ ]
4 πt 1 3πt 1 5πt
respuesta.(a)F(t) = + pecado + pecado ···· ,
π
pecado
2 3 2 5 2
4 4∑1 4∑1
(b)F(t) = + porqueno+ pecadono.
3 π2 norte2 π norte
4. Encuentre las expansiones de seno y coseno de Fourier de rango medio de las siguientes
funciones:
(a)F(t) = 1, 0<t <2.

(b)F(t) =yo, 0<t <1.
(C)F(t) =t2, 0<t <3.
4∑ 1 (2norte -1)πt
respuesta.(a) 1; ,
π
pecado
2norte -1 2
1 4∑ 1 2∑ (−1)norte+1
(b) − porque (2n−1)πt; pecadono,
2 π2 (2norte -1)2 π norte
36∑ [( )
(−1)norte no 18 π2 4 πt
c) 3 + ; −
π2 3 π3
porque pecado
norte2 1 13 3
( )
π2 2πt π2 4 3πt
− pecado + − pecado
2 3 3 33 3
]
π2 4πt
− pecado + ··· .
4 3
5. La salida de un oscilador electrónico toma la forma de una onda sinusoidal F(t) =

pecadotpor 0<t≤ π/2,luego cae a cero y comienza de nuevo. Encuentre la serie
compleja de Fourier de esta forma de onda.
Respuesta
∞
∑2 4nortei−1 mii4Nuevo Testamento.
πdieciséisnorte2−1
norte=−∞
6. Usa el método de los saltos para encontrar la serie de cosenos de rango medio de la
funcióngramo(t) = pecadotdefinido en el intervalo de 0<t < π.
Insinuación: Para una serie coseno, necesitamos una extensión par de la función. Dejar
{
gramo(t) = pecadot 0<t < π,
F(t) =
gramo(−t) =−pecadot - π < t <0.
Sus derivados son

{
porquet 0<t < π
F′(t) = , f"(t) =−F(t).
− porquet −π < t <0
Los esquemas de la función y sus derivadas se muestran a continuación:
f (t) F-(t) f-(t)

1 1 1
−π π
t t t
−π π −π π
−1 −1 −1
Respuesta
( )
2 4 1 1 1
F(t) = − porque 2t+ porque 4t+ porque 6t+· · · .
π π 3 15 35
7. Use el método de saltos para encontrar las expansiones de Fourier de rango medio
(a) coseno y (b) seno degramo(t),que se define solo en el rango 0<t <1 como
gramo(t) =t - t2,0<t <1.

Insinuación: (a) Para la expansión del coseno de rango medio, la función debe
extenderse simétricamente a negativot.Es decir, tenemos que expandir en una serie
de Fourier la función parF(t) definido como
{
gramo(t) =t - t2 0<t <1,
F(t) =
gramo(−t) =−t - t2 − 1<t <0.
Las derivadas primera y segunda de esta función están dadas por

{
1−2t 0<t <1
F′(t) = , f"(t) =−2
− 1−2t − 1<t <0
y todas las derivadas superiores son cero. Los esquemas de esta función y sus
derivadas son los siguientes:
f (t) F-(t) f-(t)
2 2 2
1 1 1
1 −1 1
t t t
−1 1 −1
−1 −1 −1
−2 −2 −2
(b) Para la expansión del seno de rango medio, una extensión antisimétrica degramo(t) a
negativotse necesita Dejar
{
gramo(t) =t - t2 0<t <1,
F(t) =
- gramo(−t) =t+t2 − 1<t <0.
Las derivadas primera y segunda de esta función están dadas por

{ {
1−2t 0<t <1, − 2 0<t <1,
F′(t) = F"(t) =
1 + 2t − 1<t <0, 2 − 1<t <0
y todas las derivadas superiores son cero. Los esquemas de estas funciones se muestran a
continuación.
f (t) F-(t) F-(t)
2 2 2
1 1 1
−1 −1 1 1
t t t
1 −1
−1 −1 −1
−2 −2 −2
( )
1 1 1 1
respuesta. (a)F(t) = − porque 2t+ porque 4t+ porque 6t+· · · .
6 π2 4 9
( )
8 1 1
(b)F(t) = pecadoπt+ pecado 3πt+ pecado 5πt+· · · .
π3 27 125
8. Haz el problema 3 con el método de los saltos.
9. (a) Encuentre la expansión del coseno de rango medio de la siguiente función:
F(t) =yo,0<t <2.
(b) Dibuje la función (a partir det=−8 a 8) que representa esta serie de

Fourier.
(c) ¿Cuál es la periodicidad de esta función?
Respuesta
4∑ ∞ 1 nπ
F(t) = 1 + (porquenπ -1) porque t; período = 4.
π2 1
norte2 2
10. (a) Encuentre la expansión del coseno de rango medio de la siguiente función:
{
t 0<t≤2
F(t) = .
4−t 2≤t <4
(b) Dibuje la función (a partir det=−8 a 8) representa esta serie de Fourier.
(c) ¿Cuál es la periodicidad de esta función?
Respuesta
8∑ ∞ 1 nπ nπ
F(t) = 1− (1 + porquenπ -2 porque ) porque t; período = 8.
π2 1
norte2 2 4
11. (a) Demuestre que las series de Fourier en los dos problemas anteriores son
idénticas entre sí.
(b) Compare los dos bocetos para averiguar por qué esto es así. Respuesta
Como representan la misma función, ambas series de Fourier se pueden
expresar como
8 πt 1 3πt 1 5πt
F(t) = 1− (porque + porque + porque + · · ·).
π2 2 9 2 25 2
12. Usa la serie de Fourier para
F(t) =tpor − 1<t <1, y F(t+2) =F(t)
para mostrar que
1 1 1 π
(a) 1−+−+· · ·=, 3
5 7 4
1 1 1 π2
(b) 1 + +++ · · ·= .
22 32 42 6
13. Use la serie de Fourier que se muestra en la figura 1.5 para demostrar que
1 1 1 π2
(a) 1 + +++ · · ·= ,
32 52 72 8
1 1 1 π4
(b) 1 + +++ · · ·= .
34 54 74 96
∑
Insinuación: (un conjuntot=0.(b) Usar el teorema de Parseval y 1/norte2=π2/6.
14. Uso
∑∞ 1 π4 ∑∞ 1 π4
= y =
norte=1
norte4 90 norte=1
(2norte -1)4 96
para mostrar que
1 1 1 7π4
1− + − + · · ·= .
24 34 44 720
15. Una función imparF(t) de periodo de 2πdebe aproximarse mediante una serie de Fourier
que tiene solonortetérminos. La llamada “desviación cuadrática” se define como
ser ]2
∫ [π ∑ norte
ε= F(t)− bnortepecadoNuevo Testamentodt.
−π norte=1
Es una medida del error de esta aproximación. Demuestra que paraεser

mínimo,bnortedebe estar dado por el coeficiente de Fourier
∫π
1
bnorte= F(t) pecadoNuevo Testamentodt.
π −π
∂ε
Insinuación: Establecer = 0.
∂bnorte
16. Demuestra que para−π≤X≤ π
pecadokπ
∑∞ 2kpecadokπ
(a) porquekx= + (−1)norte porqueno,
kπ π(k2−norte2)
( )
norte=1
∞
1 1 ∑ 2k
(b) cunakπ= − .
π k norte=1
norte2−k2
17. Encuentre la solución de estado estacionario de
d2X dX
+2 + 3X=F(t),
dt2 dt
dóndeF(t) =t, −π≤t < π,yF(t+2π) =F(t).
Respuesta
∑ (−1)norte2(norte2−3) ∑ (−1)norte4
Xpags= pecadoNuevo Testamento+ porqueNuevo Testamento.
norte(norte4−2norte2+9) norte4−2norte2+9
18. Use el método de la serie de Fourier para resolver el siguiente valor límite
problema
d4y px
=
dX4 NIE
y(0) = 0, y(L) = 0,
y"(0) = 0, y"(L) = 0.
(y(X) es la flecha de una viga que soporta una carga linealmente creciente dada por
píxeles/L)
Respuesta
2ES4∑ (−1)norte+1 nπx

y(X) = .
π4IE L
pecado
norte5
19. Encuentra la serie de Fourier para
(a)F(t) =t por − π <t < π, y F(t+2π) =F(t),

(b)F(t) =|t| por − π <t < π, y F(t+2π) =F(t).
Demuestre que la serie que resulta de una derivación término por término de la
serie en (a) no converge aF′(t),mientras que la serie resultante de una derivación
término a término de la serie en (b) converge aF′(t).¿Por qué?

Kwong-Tin Tang - Mathematical Methods For Engineers and Scientists. Volume 3-Springer (011-067) .En - Es

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Kwong-Tin Tang - Mathematical Methods For Engineers and Scientists. Volume 3-Springer (011-067) .En - Es

Cargado por

Copyright:

Formatos disponibles

Traducido del inglés al español - www.onlinedoctranslator.

1.1 Series de Fourier de funciones con periodicidad 2π

1.1.1 Ortogonalidad de funciones trigonométricas

se sigue que todas las integrales en el producto son cero. Similarmente

es idénticamente cero exceptonorte=metro,en ese caso

De la misma manera podemos demostrar que sin-=metro,

Esto concluye la demostración de (1.2)–(1.6).

En general, si dos miembrosψnorte, ψmetrode un conjunto de funciones{ψi}satisfacer la

1,porqueX,pecadoX,porque 2X,pecado 2X,porque 3X,pecado 3X, . . . ,

entonces este es un conjunto ortogonal en el intervalo de−πaπ.

1.1.2 Los coeficientes de Fourier

SiF(X) es una función periódica de periodo 2π,es decir,

Esta serie se puede integrar término a término

Estas relaciones nos permiten calcular cualquier coeficiente deseadoametroincluidoa0

los coeficientesbmetropuede obtenerse de manera similar. La expansión se multiplica por el

Ya quemetropuede ser cualquier entero, se sigue queanorte(incluidoa0) ybnorteson dados por

– El primer término1 2a0representa el valor medio deF(X) durante un período 2π.

1.1.3 Expansión de funciones en series de Fourier

Antes de discutir la validez de la serie de Fourier, usemos el siguiente ejemplo para

Figura 1.1.Una función de onda cuadrada

Esta función es periódica con periodo 2π.Se puede definir como

Con estos coeficientes, la serie de Fourier se convierte en

En otras palabras,Snortees la suma la primeranortetérminos de la serie de Fourier.S1es

En la figura 1.2a, las primeras tres sumas parciales se muestran en la columna de la

−pags pags −pags pags

pags −pags pags

− 2pags −pags pags 2pags

los términos individuales están disminuyendo constantemente a medida quenortese

1.2 Convergencia de la Serie de Fourier

1.2.1 Condiciones de Dirichlet

Teorema 1.2.1.Si una función periódicaF(X)de período 2π es acotado y continuo

Series de Fourier. No se conocen las condiciones mínimas necesarias para su

1.2.2 Serie de Fourier y función delta

Si la serie del coseno

se comporta como una función deltad(X′−X), despuésS∞(X) =F(X) porque

Recuerda que la función deltad(X′−X) Puede ser definido como

donde el limiteγ→1−significa queγse acerca a uno desde abajo, es decir,γ es

1 +γmii(X′−x) 1 +γmii(X′−x) 1− γmi−i(X′−x)

SiX′=X,entonces porque(X′−X) = 1,y

(1− γ)(1 +γ) 1 +γ

Mientrasγno es exactamente uno, 1 +γ2>2γ,asi que

Suponer queF(X) es discontinua en algún puntoX, y esoF(X+) y F(X−) son los

Por lo tanto, la última ecuación se convierte en

1.3 Series de Fourier de Funciones de cualquier Período

1.3.1 Cambio de Intervalo

y los coeficientes también se pueden expresar como integrales sobret.Cambiando el

Con integración por partes se obtiene

Continuando este proceso, con

=F(t)GRAMO(t)−F′(t)GRAMO1(t) +F"(t)GRAMO2(t)−F""(t)GRAMO3(t) +· · · . (1.16)

Este procedimiento se conoce como método de Kronecker.

F′(t) =ktk−1, . . . , fk(t) =k!, fk+1(t) = 0,

la expresión anterior terminará. Además, sigramo(t) = porqueno L,después

Del mismo modo, sigramo(t) = pecadonoL,después

F′(t) =kporquekt, F"(t) =−k2pecadokt.

podemos usar (1.15) escribir

Claramente, integrales como

puede integrarse de manera similar.

Ejemplo 1.3.1.Encuentre la serie de Fourier paraF(t) que se define como

F(t) =t por−L < t≤L, y F(t+2L) =F(t).

La convergencia de esta serie se muestra en la Fig. 1.3, dondeSnortees la suma parcial

Note la creciente precisión con la que los términos se aproximan a la función.

Ejemplo 1.3.2.Encuentre la serie de Fourier de la función periódica cuya definición

F(t) =t2por−L < t≤L,yF(t+2L) =F(t).