Métodos matemáticos I

Jaime Avendaño

Función de Green
Consideremos la ecuación in-homogénea

𝑎2 (𝑥)𝑦 ′′ (𝑥) + 𝑎1 (𝑥)𝑦 ′ (𝑥) + 𝑎0 (𝑥)𝑦(𝑥) = 𝑔(𝑥) , (1)

la cual podemos reescribir como

̂ 𝑦(𝑥) = ℎ(𝑥) ,
𝔏 (2)

̂ el operador de Sturm-Liouville, y que las funciones sobre las que opera satisfacen las
𝔏
condiciones de frontera regulares en (𝑎, 𝑏)

𝑑𝑓(𝑎) 𝑑𝑔(𝑎)
𝛼𝑓(𝑎) + 𝛽 =0 𝛼𝑔(𝑎) + 𝛽 =0
{ 𝑑𝑥 , { 𝑑𝑥 ; (3)
𝑑𝑓(𝑏) 𝑑𝑔(𝑏)
𝛾𝑓(𝑏) + 𝛿 =0 𝛾𝑔(𝑏) + 𝛿 =0
𝑑𝑥 𝑑𝑥
𝛼 0 𝛾 0
con (𝛽 ) ≠ ( ), ( ) ≠ ( ).
0 𝛿 0
Sea

̂ 𝑦𝑛 (𝑥) = 𝜆𝑛 𝜌(𝑥)𝑦𝑛 (𝑥) ,

𝔏 (4)

el correspondiente problema de eigenvalores (problema de Sturm-Liouville) con las

mismas condiciones de frontera dadas por (3).

Las eigenfunciones 𝑦𝑛 (𝑥) en general no están normalizadas, sin embargo las podemos
normalizar de manera inmediata
𝑏
𝑦𝑛 (𝑥)
𝜑𝑛 (𝑥) = , ‖𝑦𝑛 ‖2 = (𝑦𝑛 , 𝑦𝑛 )𝜌 = ∫ 𝜌(𝑥)𝑦𝑛 (𝑥)𝑦𝑛 (𝑥)𝑑𝑥 , ∀ 𝑛 , (5)
‖𝑦𝑛 ‖
𝑎

{𝜑𝑛 (𝑥)} forman un conjunto completo para el espacio 𝒞[𝑎,𝑏], por lo tanto 𝑦(𝑥) en (2) se
puede desarrollar en esta base
 𝑦(𝑥) = ∑ 𝑐𝑛 𝜑𝑛 (𝑥) , (6)
𝑛

sustituyendo (6) en (2)

̂ 𝑦(𝑥) = 𝔏
ℎ(𝑥) = 𝔏 ̂ ∑ 𝑐𝑛 𝜑𝑛 (𝑥) = ∑ 𝑐𝑛 𝔏
̂ 𝜑𝑛 (𝑥) , (7)
𝑛 𝑛

sustituyendo ahora (4) en (7)

̂ 𝜑𝑛 (𝑥) = ∑ 𝑐𝑛 𝜆𝑛 𝜌(𝑥)𝜑𝑛 (𝑥) ,

ℎ(𝑥) = ∑ 𝑐𝑛 𝔏 (8)
𝑛 𝑛

multiplicando (8) por 𝜑𝑗 (𝑥) e integrando

𝑏 𝑏

∫ 𝜑𝑗 (𝑧)ℎ(𝑧)𝑑𝑧 = ∫ 𝜑𝑗 (𝑧) ∑ 𝑐𝑛 𝜆𝑛 𝜌(𝑧)𝜑𝑛 (𝑧) 𝑑𝑧 , (9)

𝑎 𝑎 𝑛

podemos intercambiar la suma con la integral

𝑏 𝑏

∫ 𝜑𝑗 (𝑧)ℎ(𝑧)𝑑𝑧 = ∑ 𝑐𝑛 𝜆𝑛 ∫ 𝜌(𝑧)𝜑𝑗 (𝑧)𝜑𝑛 (𝑧)𝑑𝑧

𝑎 𝑛 𝑎

= ∑ 𝑐𝑛 𝜆𝑛 (𝜑𝑗 , 𝜑𝑛 )𝜌 = ∑ 𝑐𝑛 𝜆𝑛 𝛿𝑗𝑛 = 𝜆𝑗 𝑐𝑗 , (10)

𝑛 𝑛

por lo tanto
𝑏
1
𝑐𝑗 = ∫ 𝜑𝑗 (𝑧)ℎ(𝑧)𝑑𝑧 , (11)
𝜆𝑗
𝑎

sustituyendo (11) en (6) para el coeficiente 𝑐𝑛

𝑏
1
𝑦(𝑥) = ∑ 𝑐𝑛 𝜑𝑛 (𝑥) = ∑ ∫ 𝜑𝑛 (𝑧)ℎ(𝑧)𝑑𝑧 𝜑𝑛 (𝑥)
𝜆𝑛
𝑛 𝑛 𝑎

𝑏
𝜑𝑛 (𝑧)𝜑𝑛 (𝑥)ℎ(𝑧)
=∑ ∫ 𝑑𝑧 , (12)
𝜆𝑛
𝑛 𝑎

introduciendo la suma dentro de la integral

 𝑏 𝑏
𝜑𝑛 (𝑧)𝜑𝑛 (𝑥)ℎ(𝑧) 𝜑𝑛 (𝑧)𝜑𝑛 (𝑥)
𝑦(𝑥) = ∫ ∑ 𝑑𝑧 = ∫ ∑ ℎ(𝑧)𝑑𝑧 , (13)
𝜆𝑛 𝜆𝑛
𝑎 𝑛 𝑎 𝑛

definiendo

𝜑𝑛 (𝑧)𝜑𝑛 (𝑥)
𝐺(𝑧, 𝑥): ≡ ∑ , (14)
𝜆𝑛
𝑛

podemos escribir (13) como

𝑏

𝑦(𝑥) = ∫ 𝐺 (𝑧, 𝑥)ℎ(𝑧)𝑑𝑧 . (13)

𝑎

𝐺(𝑧, 𝑥) definida en (14) recibe el nombre de función de Green.

Ejemplo

1
𝑦 ′′ (𝑥) + 𝑦 = sin 2𝑥 , 𝑦(0) = 0 , 𝑦(𝜋) = 0 , (1)
4
observando la ecuación, obtenemos: 𝑎2 (𝑥) = 1, 𝑎1 (𝑥) = 0, 𝑎0 (𝑥) = 1/4, esto implica
que
𝑥 𝑎1 (𝑡) 𝑥 0
∫ 𝑑𝑡 𝑑𝑡
𝑝(𝑥) = 𝑒 𝑎2 (𝑡) = 𝑒∫ 1 = 𝑒0 = 1 , (2𝑎)
𝑥 𝑎1 (𝑡)
1 ∫ 𝑑𝑡
⇒ 𝜌(𝑥) = 𝑒 𝑎2 (𝑡) = 1 , (2𝑏)
𝑎2 (𝑥)

𝑦 𝑞(𝑥) = 𝜌(𝑥)𝑎0 (𝑥) = 1(1/4) = 1/4 , (2𝑏)

por lo tanto el operador de Sturm-Liouville y el problema de eigenvalores son

𝑑 𝑑 𝑑 𝑑 1 𝑑2 1
̂≡
𝔏 [𝑝(𝑥) ] + 𝑞(𝑥) = [ ]+ = 2+ , (3𝑎)
𝑑𝑥 𝑑𝑥 𝑑𝑥 𝑑𝑥 4 𝑑𝑥 4
1
∴ ̂ 𝑦 = 𝜆𝑦
𝔏 𝑖. 𝑒. 𝑦 ′′ (𝑥) + 𝑦 = 𝜆𝑦 , 𝑦(0) = 0 , 𝑦(𝜋) = 0 , (3𝑏)
4
esto implica que

1
𝑦 ′′ (𝑥) + ( − 𝜆) 𝑦 = 0 , (4)
4
es una ecuación con coeficientes constantes, por consiguiente su solución es de la forma
𝑦(𝑥) = 𝑒 𝑟𝑥 , por lo tanto

𝑦 ′ (𝑥) = 𝑟𝑒 𝑟𝑥 , 𝑦 ′′ (𝑥) = 𝑟 2 𝑒 𝑟𝑥 , (5)

susituyendo (5) en (4)

1 1
𝑟 2 𝑒 𝑟𝑥 + ( − 𝜆) 𝑒 𝑟𝑥 = 0 ⇒ [𝑟 2 + ( − 𝜆)] 𝑒 𝑟𝑥 = 0 ∀ 𝑥 , (6)
4 4

por lo tanto

1 1
𝑟 2 − (𝜆 − ) = 0 ⇒ 𝑟 = ±√𝜆 − , (7)
4 4

es decir, hay dos soluciones linealmente independientes

√𝜆−1 𝑥 − √𝜆−
1
𝑥
𝑦1 (𝑥) = 𝑒 4 , 𝑦2 (𝑥) = 𝑒 4 , (8)

por lo tanto, la solución general

√𝜆−1 𝑥 − √𝜆−
1
𝑥
𝑦(𝑥) = 𝑐1 𝑒 4 + 𝑐2 𝑒 4 , (9)

esta solución debe satisfacer las condiciones de frontera, la primera 𝑦(0) = 0 implica que

𝑦(0) = 𝑐1 + 𝑐2 = 0 ⇒ 𝑐2 = −𝑐1 , (10)

sustituyendo (10) en (9)

√𝜆−1 𝑥 − √𝜆−
1
𝑥 √𝜆−1 𝑥 − √𝜆−
1
𝑥
𝑦(𝑥) = 𝑐1 𝑒 4 − 𝑐1 𝑒 4 = 𝑐1 (𝑒 4 −𝑒 4 )

1
= 𝑐1 2 sinh (√𝜆 − 𝑥) , (11)
4

la otra condición de frontera 𝑦(𝜋) = 0, implica que

1
𝑦(𝜋) = 𝐴 sinh (√𝜆 − 𝜋) = 0 , (12)
4

𝐴 ≠ 0, por lo tanto
 1
sinh (√𝜆 − 𝜋) = 0 , (13)
4

pero sabemos muy bien que el sinh solamente se anula en el origen, por consiguiente (13)
1
solamente sería posible si 𝜆 = 4; pero si esto sucede la solución 𝑦(𝑥) dada en (11) sería
idénticamente nula, por lo tanto 𝜆 no puede ser mayor igual que ¼. Esto implica que 𝜆
1 1
debe cumplir que 𝜆 − 4 < 0 𝑖. 𝑒. 𝜆 < 4, en este caso

1 1 1 1
√𝜆 − = √− ( − 𝜆) = √−1 √ − 𝜆 = 𝑖 √ − 𝜆 , (13)
4 4 4 4

por lo tanto (11) implica que

1 1 1
𝑦(𝑥) = 2𝑐1 sinh (𝑖 √ − 𝜆 𝑥) = 2𝑐1 𝑖 sin (√ − 𝜆 𝑥) = 𝐴 sin (√ − 𝜆 𝑥) , (14)
4 4 4

veamos si (14) satisface la condición de frontera 𝑦(𝜋) = 0

1
𝑦(𝜋) = 𝐴 sin (√ − 𝜆 𝜋) = 0 , (15)
4

𝐴 ≠ 0, por lo tanto

1
sin (√ − 𝜆 𝜋) = 0 , (16)
4

pero

1 1
sin (√ − 𝜆 𝜋) = 0 ⇒ √ − 𝜆 𝜋 = 𝑛𝜋 , 𝑛∈ℤ
4 4

1
⇒ 𝜆𝑛 = − 𝑛2 , 𝑛∈ℤ , (17)
4
por consiguiente sustituyendo (17) en (14) obtenemos
 1 1 1
𝑦𝑛 (𝑥) = 𝐴 sin (√ − 𝜆𝑛 𝑥) = 𝐴 sin (√ − ( − 𝑛2 ) 𝑥) = 𝐴 sin(𝑛 𝑥) , (18)
4 4 4

de donde observamos que 𝑛 = 0 ⇒ 𝑦0 (𝑥) = 0 ∀ 𝑥, y que los 𝑛 < 0 no aportan nuevas

soluciones que sean linealmente independientes, por lo tanto las eigenfunciones y
eigenvalores son

1
𝑦𝑛 (𝑥) = 𝐴 sin(𝑛 𝑥) , 𝜆𝑛 = − 𝑛2 , 𝑛 = 1,2,3, ⋯ , (19)
4
estas eigenfunciones no están normalizadas, las podemos normalizar inmediatamente
𝑏 𝜋

‖𝑦𝑛 ‖2 = (𝑦𝑛 , 𝑦𝑛 ) = ∫ 𝜌(𝑥)𝑦𝑛 (𝑥)𝑦𝑛 (𝑥)𝑑𝑥 = ∫ 𝐴2 sin2 (𝑛 𝑥) 𝑑𝑥

𝑎 0

𝜋 𝜋 𝜋 𝜋
𝐴2
= 𝐴2 ∫ sin2 (𝑛 𝑥) 𝑑𝑥 = 𝐴2 ∫ 12(1−cos 2𝑛𝑥)𝑑𝑥 = (∫ 𝑑𝑥 − ∫ cos 2𝑛𝑥 𝑑𝑥 )
2
0 0 0 0

𝐴2 1 sin 2𝑛𝑥 𝜋 𝐴2
= (𝜋 − | )= 𝜋 , (20)
2 2𝑛 0
2

entonces, las eigenfunciones normalizadas son

𝑦𝑛 (𝑥) 𝐴 sin(𝑛 𝑥) 2
𝜑𝑛 (𝑥) = = = √ sin 𝑛𝑥 , (21)
‖𝑦𝑛 ‖ 𝐴√𝜋/2 𝜋

por lo tanto, la función de Green es

∞
𝜑𝑛 (𝑧)𝜑𝑛 (𝑥) 2 sin(𝑛𝑧) sin(𝑛𝑥)
𝐺(𝑧, 𝑥) = ∑ = ∑ , (22)
𝜆𝑛 𝜋 1 2
𝑛 𝑛=1
4−𝑛
por lo tanto, para ℎ(𝑥) = sin 2𝑥
𝑏 𝜋 ∞
2 sin(𝑛𝑧) sin(𝑛𝑥)
𝑦(𝑥) = ∫ 𝐺(𝑧, 𝑥)ℎ(𝑧)𝑑𝑧 = ∫ ∑ sin(2𝑧) 𝑑𝑧
𝜋 1 2
𝑛=1 − 𝑛
𝑎 0 4
∞ 𝜋 ∞ 𝜋
2 sin(𝑛𝑥) sin(𝑛𝑥) 2 2
= ∑ ∫ sin(𝑛𝑧) sin(2𝑧) 𝑑𝑧 = ∑ ∫ √ sin(𝑛𝑧) √ sin(2𝑧) 𝑑𝑧
𝜋 1 2 1 2 𝜋 𝜋
− 𝑛
𝑛=1
4 0 𝑛=1
4−𝑛 0
 ∞ 𝜋 ∞ ∞
sin(𝑛𝑥) sin(𝑛𝑥) sin(𝑛𝑥)
=∑ ∫ 𝜑𝑛 (𝑧)𝜑2 (𝑧)𝑑𝑧 = ∑ (𝜑𝑛 , 𝜑2 ) = ∑ 𝛿𝑛2
1 2 1 2 1 2
𝑛=1
4−𝑛 0 𝑛=1
4−𝑛 𝑛=1
4−𝑛
∞
sin(𝑛𝑥) sin(2𝑥) 4
=∑ 𝛿𝑛2 = = − sin 2𝑥 , (23)
1 2 1 15
𝑛=1
4−𝑛 4−4
por lo tanto, la solución buscada de (1) es

4
𝑦(𝑥) = − sin 2𝑥 . (24)
15