EXAMEN PARCIAL DE ECUACIONES

DIFERENCIALES PARCIALES

PROFESOR: NINAQUISPE CASTILLO, Mario

ALUMNO
 GUILLERMO CHAVEZ, Waldir
CODIGO:
132.0802.346
En cada problema escriba la serie de Fourier compleja de 𝒇, determine a que converge
esta serie y trazar algunos puntos del espectro de frecuencia. Tenga en mente que para
especificar una función de periodo 𝒑, es suficiente definir 𝒇(𝒙) en cualquier intervalo de
longitud 𝐩.
1. 𝒇 tiene periodo 𝟑 y 𝒇(𝒙) = 𝟐𝒙 para 𝟎 ≤ 𝒙 < 𝟑.
2. 𝒇 tiene periodo 𝟐 y 𝒇(𝒙) = 𝒙𝟐 para 𝟎 ≤ 𝒙 < 𝟐.
𝟏, −𝝅 ≤ 𝒙 < 𝟎
3. 𝒇(𝒙) = {
𝟐, 𝟎 ≤ 𝒙 ≤ 𝝅
𝒙
4. 𝒇(𝒙) = 𝒄𝒐𝒔 (𝟐) − 𝒔𝒆𝒏(𝒙), −𝝅 ≤ 𝒙 ≤ 𝝅
5. 𝒇(𝒙) = 𝒄𝒐𝒔(𝒙), −𝟑 ≤ 𝒙 ≤ 𝟑
𝟏 − 𝒙, −𝟏 ≤ 𝒙 < 𝟎
6. 𝒇(𝒙) = {
𝟎, 𝟎 < 𝒙 ≤ 𝟏
Solución
1. 𝒇 tiene periodo 𝟑 y 𝒇(𝒙) = 𝟐𝒙 para 𝟎 ≤ 𝒙 < 𝟑.
∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞

1 𝐿
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
3
1 1
𝑃0 = ∫ 2𝑥𝑑𝑥 = [𝑥 2 ]30
2(3) 0 6

3
𝑃0 =
2
1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
𝑘𝜋𝑖 3
3 − 𝑥
1 𝑘𝜋𝑖 1 6(𝑘𝜋𝑖𝑥 + 3)𝑒 3
𝑃𝑘 = ∫ (2𝑥)𝑒 − 3 𝑥 𝑑𝑥 = [ ]
2(3) 0 6 (𝑘𝜋)2
0

3[(𝑘𝜋𝑖 + 1)𝑒 −𝑘𝜋𝑖 − 1]

𝑃𝑘 =
(𝑘𝜋)2
∞
3 3 [(𝑘𝜋𝑖 + 1)𝑒 −𝑘𝜋𝑖 − 1] 𝑘𝜋𝑖𝑥
𝑓(𝑥) = + 2 ∑ 𝑒 3
2 𝜋 𝑘2
𝑘=−∞
2. 𝒇 tiene periodo 𝟐 y 𝒇(𝒙) = 𝒙𝟐 para 𝟎 ≤ 𝒙 < 𝟐.
∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞
1 𝐿
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
2 2
1 1 𝑥3
𝑃0 = ∫ 𝑥 2 𝑑𝑥 = [ ]
2(2) 0 4 3 0
2
𝑃0 =
3
1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
𝑘𝜋𝑖 2
1 2 𝑘𝜋𝑖 1 (2𝑖(𝑘𝜋𝑥)2 + 8𝑘𝜋𝑥 − 16𝑖)𝑒 − 2
𝑥
𝑃𝑘 = ∫ 𝑥 2 𝑒 − 2 𝑥 𝑑𝑥 = [ ]
2(2) 0 4 (𝑘𝜋)3
0

(2𝑖𝑘 2 𝜋 2 + 4𝑘𝜋 − 4𝑖)𝑒 −𝑘𝜋𝑖 + 4𝑖

𝑃𝑘 =
(𝑘𝜋)3
∞
2 2 (𝑖𝑘 2 𝜋 2 + 2𝑘𝜋 − 2𝑖)𝑒 −𝑘𝜋𝑖 + 2𝑖 𝑘𝜋𝑖𝑥
𝑓(𝑥) = + 3 ∑ 𝑒 2
3 𝜋 𝑘3
𝑘=−∞

𝟏, −𝝅 ≤ 𝒙 < 𝟎
3. 𝒇(𝒙) = {
𝟐, 𝟎 ≤ 𝒙 ≤ 𝝅
∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞
1 𝐿
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
0 𝜋
1 1
𝑃0 = [∫ 𝑑𝑥 + ∫ 2𝑑𝑥 ] = (𝜋 + 2𝜋)
2𝜋 −𝜋 0 2𝜋

3
𝑃0 =
2
1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
 0 𝜋 0 𝜋
1 1 𝑖𝑒 −𝑖𝑘𝑥 1 𝑖𝑒 −𝑖𝑘𝑥
𝑃𝑘 = [∫ 𝑒 −𝑘𝑖𝑥 𝑑𝑥 + ∫ 2𝑒 −𝑘𝑖𝑥 𝑑𝑥] = [ ] + [ ]
2𝜋 −𝜋 0 2𝜋 𝑘 −𝜋 𝜋 𝑘 0

𝑖(𝑒 −𝑖𝑘𝜋 − 1)
𝑃𝑘 =
2𝑘𝜋
∞
3 𝑖 𝑒 −𝑖𝑘𝜋 − 1 𝑘𝑖𝑥
𝑓(𝑥) = + ∑ 𝑒
2 2𝜋 𝑘
𝑘=−∞

𝒙
4. 𝒇(𝒙) = 𝒄𝒐𝒔 (𝟐) − 𝒔𝒆𝒏(𝒙), −𝝅 ≤ 𝒙 ≤ 𝝅

∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞
1 𝐿
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
1 𝜋 𝑥 1 𝑥 𝜋
𝑃0 = ∫ 𝑐𝑜𝑠 ( ) − 𝑠𝑒𝑛(𝑥)𝑑𝑥 = [cos(𝑥) + 2𝑠𝑒𝑛( )]
2𝜋 −𝜋 2 2𝜋 2 −𝜋
2
𝑃0 =
𝜋
1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
1 𝜋 𝑥
𝑃𝑘 = ∫ [𝑐𝑜𝑠 ( ) − 𝑠𝑒𝑛(𝑥)] 𝑒 −𝑘𝑖𝑥 𝑑𝑥
2𝜋 −𝜋 2
𝑥 𝑥 −𝑘𝑖𝑥 𝜋
1 2[𝑠𝑒𝑛 ( ) − 2𝑘𝑖𝑐𝑜𝑠 ( )]𝑒 𝑒 −𝑘𝑖𝑥
[−𝑘𝑖𝑠𝑒𝑛(𝑥) − cos(𝑥)]
= [ 2 2 − ]
2𝜋 1 − 4𝑘 2 1 − 𝑘2
−𝜋

1 𝑒 −𝑘𝜋𝑖 𝑒 −𝑘𝜋𝑖 −2𝑒 𝑘𝜋𝑖 𝑒 𝑘𝜋𝑖

𝑃𝑘 = [ − −( − )]
2𝜋 1 − 4𝑘 2 1 − 𝑘 2 1 − 4𝑘 2 1 − 𝑘 2
1 2(𝑒 𝑘𝜋𝑖 + 𝑒 −𝑘𝜋𝑖 ) (𝑒 𝑘𝜋𝑖 − 𝑒 −𝑘𝜋𝑖 )
= [ + ]
2𝜋 1 − 4𝑘 2 1 − 𝑘2

2cosh⁡(𝑘𝜋𝑖) 𝑠𝑒𝑛ℎ(𝑘𝜋𝑖)
𝑃𝑘 = +
𝜋(1 − 4𝑘 2 ) 𝜋(1 − 𝑘 2 )
 ∞
2 1 2cosh⁡(𝑘𝜋𝑖) 𝑠𝑒𝑛ℎ(𝑘𝜋𝑖) 𝑘𝑖𝑥
𝑓(𝑥) = + ∑ + 𝑒
𝜋 𝜋 1 − 4𝑘 2 1 − 𝑘2
𝑘=−∞

5. 𝒇(𝒙) = 𝒄𝒐𝒔(𝒙), −𝟑 ≤ 𝒙 ≤ 𝟑
∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞
𝐿
1
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
3
1 1
𝑃0 = ∫ 𝑐𝑜𝑠(𝑥)𝑑𝑥 = [𝑠𝑒𝑛(𝑥)]3−3
2(3) −3 6

𝑠𝑒𝑛(3)
𝑃0 =
3
1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
3
1 𝑘𝜋𝑖
𝑃𝑘 = ∫ cos⁡(𝑥)𝑒 − 3 𝑥 𝑑𝑥
2(3) −3

1 3 𝑘𝜋𝑖
𝑃𝑘 = ∫ cos⁡(𝑥)𝑒 − 3 𝑥 𝑑𝑥
6 −3

3 ∞
𝑠𝑒𝑛(3) 1 𝑘𝜋𝑖 𝑘𝜋𝑖
𝑓(𝑥) = + ∑ (∫ cos⁡(𝑥)𝑒 − 3 𝑥 𝑑𝑥) 𝑒 3 𝑥
3 6 −3 𝑘=−∞

𝟏 − 𝒙, −𝟏 ≤ 𝒙 < 𝟎
6. 𝒇(𝒙) = {
𝟎, 𝟎 < 𝒙 ≤ 𝟏
∞
𝑘𝜋𝑖
𝑥
𝑓(𝑥) = 𝑃0 + ∑ 𝑃𝑘 𝑒 𝐿
𝑘=−∞
1 𝐿
𝑃0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿 −𝐿
0 1
1 1 3
𝑃0 = [∫ (1 − 𝑥)𝑑𝑥 + ∫ 0𝑑𝑥 ] = ( )⁡
2(1) −1 0 2 2

3
𝑃0= ⁡
4
 1 𝐿 𝑘𝜋𝑖
𝑃𝑘 = ∫ 𝑓(𝑥)𝑒 − 𝐿 𝑥 𝑑𝑥
2𝐿 −𝐿
0 0
1 1 (𝑘𝜋𝑖𝑥 + 𝑘𝜋𝑖 + 1)𝑒 −𝑘𝜋𝑖𝑥
𝑃𝑘 = ∫ (1 − 𝑥)𝑒 −𝑘𝜋𝑖𝑥 𝑑𝑥 = [− ]
2(1) −1 2 (𝑘𝜋)2
−1

𝑒 𝑘𝜋𝑖 − 𝑘𝜋𝑖 + 1
𝑃𝑘 =
2(𝑘𝜋)2
∞
3 1 𝑒 𝑘𝜋𝑖 − 𝑘𝜋𝑖 + 1 𝑘𝜋𝑖𝑥
𝑓(𝑥) = + ∑ 𝑒
4 2 (𝑘𝜋)2
𝑘=−∞
Considere el problema con valores en la frontera:
𝝏𝟐 𝒚 𝝏𝟐 𝒚
= 𝟗 𝝏𝒙𝟐 + 𝒙𝒆−𝒙 Para 𝟎 < 𝒙 < 𝟒, 𝒕 > 𝟎
𝝏𝒕𝟐

𝒚(𝟎, 𝒕) = 𝟎, 𝒚(𝟒, 𝒕) = 𝟎 para 𝒕 ≥ 𝟎

𝝏𝒚
𝒚(𝒙, 𝟎) = 𝒙(𝟒 − 𝒙), 𝝏𝒙 (𝒙, 𝟎) = 𝒙 para 𝟎 ≤ 𝒙 ≤ 𝟒.

(a) Escribe una solución en serie.

(b) Encuentre una solución en serie cuando se quita la condición 𝒙𝒆−𝒙 de la ecuación
de onda.
(c) Dibuje la gráfica de la 40-esima suma parcial de la solución para (a) y (b) en el
mismo conjunto de ejes en el tiempo 𝒕 = 𝟎. 𝟔⁡𝒔𝒆𝒈𝒖𝒏𝒅𝒐𝒔. Repita este
procedimiento sucesivamente para los tiempos 𝒕=
𝟎. 𝟑, 𝟏. 𝟐, 𝟐. 𝟓, 𝟑. 𝟓, 𝒚⁡𝟕⁡𝒔𝒆𝒈𝒖𝒏𝒅𝒐𝒔.
Solución
(a)
(b) Encuentre una solución en serie cuando se quita la condición 𝒙𝒆−𝒙 de la ecuación
de onda.

𝝏𝟐 𝒚 𝝏𝟐 𝒚
= 𝟗
𝝏𝒕𝟐 𝝏𝒙𝟐
𝑦(𝑥, 𝑡) = 𝑋 ′ (𝑥)𝑇(𝑡)
𝑦𝑥𝑥 = 𝑋 ′′ (𝑥)𝑇(𝑡)
𝑦𝑡 = 𝑋(𝑥)𝑇′(𝑡)
𝑦𝑡𝑡 = 𝑋(𝑥)𝑇′′(𝑡)
𝑋(𝑥)𝑇 ′′ (𝑡) = 9𝑋 ′′ (𝑥)𝑇(𝑡)
𝑋′′(𝑥) 𝑇′′(𝑡)
= =𝜆
𝑋(𝑥) 9𝑇(𝑡)

𝑦(𝑥, 𝑡) = 𝑋(𝑥)𝑇(𝑡)
𝑦(0, 𝑡) = 𝑋(0)𝑇(𝑡) → 𝑋(0) = 0
𝑦(4, 𝑡) = 𝑋(4)𝑇(𝑡) → 𝑋(4) = 0

Con 𝜆 < 0 → 𝜆 = −𝛼 2 ; ⁡𝛼 > 0

𝑋 ′′ + 𝛼 2 𝑋 = 0
{ 𝑋(0) = 0
𝑋(4) = 0
 𝑋(𝑥) = 𝐶1 cos(𝛼𝑥) + 𝐶2 𝑠𝑒𝑛(𝛼𝑥)
𝑋(0) = 𝐶1 = 0
𝑋(2) = 𝐶2 sen(4α) = 0
𝑛𝜋
𝑠𝑒𝑛(4𝛼) = 0 → 𝛼 = ;𝑛 ∈ ℤ
4
𝑛𝜋
𝑋𝑛 (𝑥) = 𝐶𝑛 𝑠𝑒𝑛( 𝑥)
4
{𝑇 ′′ + 𝑐 2 𝛼 2 𝑇 = 0
𝑛𝜋 2
𝑇 ′′ + 9 ( ) 𝑇=0
4
3𝑛𝜋 3𝑛𝜋
𝑇𝑛 (𝑡) = 𝐴𝑛 𝑐𝑜𝑠 ( 𝑡) + 𝐵𝑛 𝑠𝑒𝑛( 𝑡)
4 4

3𝑛𝜋 3𝑛𝜋 𝑛𝜋
𝑦𝑛 (𝑥, 𝑡) = [𝐴𝑛 𝑐𝑜𝑠 ( 𝑡) + 𝐵𝑛 𝑠𝑒𝑛( 𝑡)] 𝑠𝑒𝑛( 𝑥)
4 4 4
∞

𝑦(𝑥, 𝑡) = ∑ 𝑦𝑛 (𝑥, 𝑡)
𝑛=1

∞
𝑛𝜋
𝑦(𝑥, 0) = 𝑓(𝑥) → 𝑥(4 − 𝑥) = ∑ 𝐴𝑛 𝑠𝑒𝑛 ( 𝑥)
4
𝑛=1

2 𝐿 𝑛𝜋
𝐴𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥
𝐿 0 𝐿

2 4 𝑛𝜋
𝐴𝑛 = ∫ 𝑥(4 − 𝑥)𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥
4 0 4
𝑛𝜋𝑥 2 2 2 2 2 𝑛𝜋𝑥 4
(32𝑛𝜋𝑥 − 64𝑛𝜋)𝑠𝑒𝑛 ( ) + (−4𝑛 𝜋 𝑥 + 16𝑛 𝜋 𝑥 + 128)𝑐𝑜𝑠(
1
= [− 4 4 )]
2 𝑛3 𝜋 3
0

1 128 cos(𝑛𝜋) 128 64((−1)𝑛+1 + 1)

= (− + ) =
2 𝑛3 𝜋 3 𝑛3 𝜋 3 𝑛3 𝜋 3

64((−1)𝑛+1 + 1)
𝐴𝑛 =
𝑛3 𝜋 3
3𝑛𝜋 3𝑛𝜋 𝑛𝜋
𝑦𝑡 (𝑥, 𝑡) = [ 𝐵𝑛 𝑐𝑜𝑠( 𝑡)] 𝑠𝑒𝑛( 𝑥)
4 4 4
 ∞
3𝑛𝜋 𝑛𝜋
𝑦𝑡 (𝑥, 0) = 𝑔(𝑥) → 𝑥 = ∑ 𝐵𝑛 𝑠𝑒𝑛( 𝑥)
4 4
𝑛=1

𝐿
2 𝑛𝜋
𝐵𝑛 = ∫ 𝑔(𝑥) 𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥
𝑎𝑛𝜋 0 𝐿
4
𝑛𝜋𝑥
𝑛𝜋𝑥 𝑛𝜋𝑥𝑐𝑜𝑠 ( 4 )
16 (𝑠𝑒𝑛 ( 4 ) − )
4
4
2 𝑛𝜋 2
𝐵𝑛 = ∫ 𝑥 𝑠𝑒𝑛 ( 𝑥) 𝑑𝑥 =
3𝑛𝜋 0 4 3𝑛𝜋 𝑛2 𝜋 2

[ ]0
2 16cos⁡(𝑛𝜋) 32(−1)𝑛
= ( )=
3𝑛𝜋 𝑛𝜋 3𝑛2 𝜋 2
32(−1)𝑛
𝐵𝑛 =
3𝑛2 𝜋 2
∞
64((−1)𝑛+1 + 1) 3𝑛𝜋 32(−1)𝑛 3𝑛𝜋 𝑛𝜋
𝑦(𝑥, 𝑡) = ∑ [ 3 3
𝑐𝑜𝑠 ( 𝑡) + 2 2
𝑠𝑒𝑛( 𝑡)] 𝑠𝑒𝑛( 𝑥)
𝑛 𝜋 4 3𝑛 𝜋 4 4
𝑛=1

(c)
40
64((−1)𝑛+1 + 1) 9𝑛𝜋 32(−1)𝑛 9𝑛𝜋 𝑛𝜋
𝑦(𝑥, 0.6) = ∑ [ 3 3
𝑐𝑜𝑠 ( ) + 2 2
𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛 𝜋 20 3𝑛 𝜋 20 4
𝑛=1
40
64((−1)𝑛+1 + 1) 9𝑛𝜋 32(−1)𝑛 9𝑛𝜋 𝑛𝜋
𝑦(𝑥, 0.3) = ∑ [ 3 3
𝑐𝑜𝑠 ( ) + 2 2
𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛 𝜋 40 3𝑛 𝜋 40 4
𝑛=1
40
64((−1)𝑛+1 + 1) 9𝑛𝜋 32(−1)𝑛 9𝑛𝜋 𝑛𝜋
𝑦(𝑥, 1.2) = ∑ [ 𝑐𝑜𝑠 ( ) + 𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛3 𝜋 3 10 3𝑛2 𝜋 2 10 4
𝑛=1
40
64((−1)𝑛+1 + 1) 15𝑛𝜋 32(−1)𝑛 15𝑛𝜋 𝑛𝜋
𝑦(𝑥, 2.5) = ∑ [ 3 3
𝑐𝑜𝑠 ( ) + 2 2
𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛 𝜋 8 3𝑛 𝜋 8 4
𝑛=1
40
64((−1)𝑛+1 + 1) 21𝑛𝜋 32(−1)𝑛 21𝑛𝜋 𝑛𝜋
𝑦(𝑥, 3.5) = ∑ [ 𝑐𝑜𝑠 ( ) + 𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛3 𝜋 3 8 3𝑛2 𝜋 2 8 4
𝑛=1
40
64((−1)𝑛+1 + 1) 21𝑛𝜋 32(−1)𝑛 21𝑛𝜋 𝑛𝜋
𝑦(𝑥, 7) = ∑ [ 3 3
𝑐𝑜𝑠 ( )+ 2 2
𝑠𝑒𝑛( )] 𝑠𝑒𝑛( 𝑥)
𝑛 𝜋 4 3𝑛 𝜋 4 4
𝑛=1
Resuelva el problema con valores de frontera usando la separación de las variables.
Dibuje la gráfica de algunas de las sumas parciales de la solución en serie, para los valores
seleccionados del tiempo.
𝝏𝟐 𝒚 𝝏𝟐 𝒚
= 𝒄𝟐 𝝏𝒙𝟐 Para 𝟎 < 𝒙 < 𝟐, 𝒕 > 𝟎
𝝏𝒕𝟐

𝒚(𝟎, 𝒕) = 𝟎, 𝒚(𝟐, 𝒕) = 𝟎 para 𝒕 ≥ 𝟎

𝝏𝒚
𝒚(𝒙, 𝟎) = 𝟎, 𝝏𝒕 (𝒙, 𝟎) = 𝒈(𝒙) para 𝟎 ≤ 𝒙 ≤ 𝟐.

𝑦(𝑥, 𝑡) = 𝑋 ′ (𝑥)𝑇(𝑡)
𝑦𝑥𝑥 = 𝑋 ′′ (𝑥)𝑇(𝑡)
𝑦𝑡 = 𝑋(𝑥)𝑇′(𝑡)
𝑦𝑡𝑡 = 𝑋(𝑥)𝑇′′(𝑡)
𝑋(𝑥)𝑇 ′′ (𝑡) = 𝑐 2 𝑋 ′′ (𝑥)𝑇(𝑡)
𝑋′′(𝑥) 𝑇′′(𝑡)
= 2 =𝜆
𝑋(𝑥) 𝑐 𝑇(𝑡)

𝑦(𝑥, 𝑡) = 𝑋(𝑥)𝑇(𝑡)
𝑦(0, 𝑡) = 𝑋(0)𝑇(𝑡) → 𝑋(0) = 0
𝑦(2, 𝑡) = 𝑋(2)𝑇(𝑡) → 𝑋(2) = 0

Con 𝜆 < 0 → 𝜆 = −𝛼 2 ; ⁡𝛼 > 0

𝑋 ′′ + 𝛼 2 𝑋 = 0
{ 𝑋(0) = 0
𝑋(2) = 0

𝑋(𝑥) = 𝐶1 cos(𝛼𝑥) + 𝐶2 𝑠𝑒𝑛(𝛼𝑥)

𝑋(0) = 𝐶1 = 0
𝑋(2) = 𝐶2 sen(2α) = 0
𝑛𝜋
𝑠𝑒𝑛(2𝛼) = 0 → 𝛼 = ;𝑛 ∈ ℤ
2
𝑛𝜋
𝑋𝑛 (𝑥) = 𝐶𝑛 𝑠𝑒𝑛( 𝑥)
2
{𝑇 ′′ + 𝑐 2 𝛼 2 𝑇 = 0
𝑛𝜋 2
𝑇 ′′ + 𝑐 2 ( ) 𝑇 = 0
2
 𝑐𝑛𝜋 𝑐𝑛𝜋
𝑇𝑛 (𝑡) = 𝐴𝑛 𝑐𝑜𝑠 ( 𝑡) + 𝐵𝑛 𝑠𝑒𝑛( 𝑡)
2 2
𝑐𝑛𝜋 𝑐𝑛𝜋 𝑛𝜋
𝑦𝑛 (𝑥, 𝑡) = [𝐴𝑛 𝑐𝑜𝑠 ( 𝑡) + 𝐵𝑛 𝑠𝑒𝑛( 𝑡)] 𝑠𝑒𝑛( 𝑥)
2 2 2
∞

𝑦(𝑥, 𝑡) = ∑ 𝑦𝑛 (𝑥, 𝑡)
𝑛=1

∞
𝑛𝜋
𝑦(𝑥, 0) = 0 → 0 = ∑ 𝐴𝑛 𝑠𝑒𝑛 ( 𝑥)
2
𝑛=1

𝐴𝑛 = 0
𝑐𝑛𝜋 𝑐𝑛𝜋 𝑛𝜋
𝑦𝑡 (𝑥, 𝑡) = [ 𝐵𝑛 𝑐𝑜𝑠( 𝑡)] 𝑠𝑒𝑛( 𝑥)
2 2 2

∞
𝑐𝑛𝜋 𝑛𝜋
𝑦𝑡 (𝑥, 0) = 𝑔(𝑥) → 𝑔(𝑥) = ∑ 𝐵𝑛 𝑠𝑒𝑛( 𝑥)
2 2
𝑛=1

2
2 𝑛𝜋
𝐵𝑛 = ∫ 𝑔(𝑥) 𝑠𝑒𝑛( 𝑥)𝑑𝑥
𝑐𝑛𝜋 0 2

∞ 2
2 𝑛𝜋 𝑛𝜋
𝑦(𝑥, 𝑡) = ∑ [ ∫ 𝑔(𝑥) 𝑠𝑒𝑛( 𝑥)𝑑𝑥] 𝑠𝑒𝑛( 𝑥)
𝑐𝑛𝜋 0 2 2
𝑛=1
 𝒏𝝅𝒙 𝒏𝝅𝒄𝒕
Sea 𝒚(𝒙, 𝒕) = 𝒔𝒆𝒏 ( ) 𝒄𝒐𝒔 ( ). Pruebe que 𝒚 satisface la ecuación de onda
𝑳 𝑳
unidimensional para cualquier entero n.

𝜕2 𝑦 𝜕2 𝑦
= 𝑘 𝜕𝑥 2 : Ecuación de onda
𝜕𝑡 2

𝑛𝜋𝑐 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡

𝑦𝑡 = − 𝑠𝑒𝑛( )𝑠𝑒𝑛( )
𝐿 𝐿 𝐿
𝑛𝜋𝑐 2 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡
𝑦𝑡𝑡 = − ( ) 𝑠𝑒𝑛 ( ) 𝑐𝑜𝑠 ( ) … (1)
𝐿 𝐿 𝐿
𝑛𝜋 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡
𝑦𝑥 = 𝑐𝑜𝑠( )𝑐𝑜𝑠( )
𝐿 𝐿 𝐿
𝑛𝜋 2 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡
𝑦𝑥𝑥 = − ( ) 𝑠𝑒𝑛 ( ) 𝑐𝑜𝑠 ( ) … (2)
𝐿 𝐿 𝐿
Reemplazando (1) y (2) en la ecuación de onda:
𝑛𝜋𝑐 2 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡 𝑛𝜋 2 𝑛𝜋𝑥 𝑛𝜋𝑐𝑡
−( ) 𝑠𝑒𝑛 ( ) 𝑐𝑜𝑠 ( ) = 𝑘 [− ( ) 𝑠𝑒𝑛 ( ) 𝑐𝑜𝑠 ( )]
𝐿 𝐿 𝐿 𝐿 𝐿 𝐿
𝑐2 = 𝑘
𝑘 = 𝑐2
∴ 𝑦(𝑥, 𝑡)⁡Satisface la ecuación de onda unidimensional.
Sean 𝒇 y 𝒇′ continuas a pedazos [−𝑳, 𝑳]. Use la desigualdad de Bessel para probar que
𝑳 𝑳
𝒏𝝅𝒙 𝒏𝝅𝒙
𝐥𝐢𝐦 ∫ 𝒇(𝒙)𝒄𝒐𝒔 ( ) 𝒅𝒙 = 𝐥𝐢𝐦 ∫ 𝒇(𝒙)𝒔𝒆𝒏 ( ) 𝒅𝒙 = 𝟎
𝒏→∞ −𝑳 𝑳 𝒏→∞ −𝑳 𝑳
Esta conclusión se conoce como el lema de Riemann.
Escribiendo 𝑓 en serie de Fourier:
∞
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓(𝑥) = + ∑ (𝑎𝑛 cos⁡( ) + 𝑏𝑛 𝑠𝑒𝑛( ))
2 𝐿 𝐿
𝑛=1

Donde:

1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥)𝑐𝑜𝑠 ( ) 𝑑𝑥
𝐿 −𝐿 𝐿

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥
𝐿 −𝐿 𝐿

Como 𝑓′(𝑥) es continua a pedazos en [−𝐿, 𝐿], entonces (𝑓′)2 es integrable.

Por la desigualdad de Bessel:
∞
𝑎0 2 1 𝐿
+ ∑(𝑎𝑛 2 + 𝑏𝑛 2 ) ≤ ∫ 𝑓 2 ⁡
2 𝐿 −𝐿
𝑛=1

Donde sus coeficientes de Fourier {𝑎𝑛 }⁡𝑦⁡{𝑏𝑛 } convergen a cero.

𝐿
𝑛𝜋𝑥
lim ∫ 𝑓(𝑥)𝑐𝑜𝑠 ( ) 𝑑𝑥 = lim 𝑎𝑛 = 0
𝑛→∞ −𝐿 𝐿 𝑛→∞

𝐿
𝑛𝜋𝑥
lim ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥 = lim 𝑏𝑛 = 0
𝑛→∞ −𝐿 𝐿 𝑛→∞

𝐿 𝐿
𝑛𝜋𝑥 𝑛𝜋𝑥
∴ ⁡⁡ lim ∫ 𝑓(𝑥)𝑐𝑜𝑠 ( ) 𝑑𝑥 = lim ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥 = 0
𝑛→∞ −𝐿 𝐿 𝑛→∞ −𝐿 𝐿