Академический Документы
Профессиональный Документы
Культура Документы
Aplicaciones
Notas de Clase Ecuación de Legendre
1. Introducción. Motivación
En un conjunto muy amplio de problemas de la Fı́sica Matemática, nos encontramos con el
problema de resolver ecuaciones diferenciales en derivadas parciales que involucran al Lapla-
ciano de una determinada función
∂2Φ ∂2Φ ∂2Φ
∇2 Φ = + +
∂x2 ∂y 2 ∂z 2
Además, dependiendo de cuál es la simetrı́a del problema a analizar -esto es, donde se fijan
las condiciones de contorno, por ejemplo- la elección de un sistema de coordenadas adecuado
se vuelve fundamental. Si las condiciones de borde se dan sobre un cubo, las coordenadas
cartesianas son las adecuadas. Si las condiciones son impuestas sobre la superficie de una
esfera, serán las coordenadas esféricas las que mejor (y más simple) describan el problema. Y
ası́, según las condiciones y simetrı́as del problema habrá coordenadas preferenciales.
donde las cantidades gµν son las coordenadas del tensor métrico en este sistema de coordenadas
x = ρ cos(θ), y = ρ sin(θ)
entonces,
dx = cos(θ) dρ − ρ sin(θ)dθ, dy = sin(θ) dρ + ρ cos(θ)dθ
Calculando el elemento de arco,
entonces,
gρρ gρθ gρz 1 0 0
[g]cilindricas = gθρ gθθ gθz = 0 ρ2 0
gzρ gzθ gzz 0 0 1
entonces,
grr grϕ grθ 1 0 0
[g]esf ericas = gϕr gϕϕ gϕθ = 0 r2 sin2 (θ) 0
gθr gθϕ gθθ 0 0 r2
La técnica es la siguiente:
Entonces,
1 ∂ p 2 ρρ ∂u 1 ∂ p 2 θθ ∂u
∇2 u = p ρ g +p ρ g
ρ2 ∂ρ ∂ρ ρ2 ∂θ ∂θ
Reemplazando, tenemos
1 ∂2u
2 1 ∂ ∂u
∇ u= ρ + 2 2
ρ ∂ρ ∂ρ ρ ∂θ
Entonces,
2 1 ∂ p 2 ρρ ∂u 1 ∂ p 2 θθ ∂u 1 ∂ p 2 zz ∂u
∇ u= p ρ g +p ρ g +p ρ g
ρ2 ∂ρ ∂ρ ρ2 ∂θ ∂θ ρ2 ∂z ∂z
Reemplazando, tenemos
1 ∂2u ∂2u
1 ∂
2 ∂u
∇ u= ρ + 2 2 + 2
ρ ∂ρ ∂ρ ρ ∂θ ∂z
g rr g rϕ g rθ 1 0 0
1
g−1 ϕr ϕϕ ϕθ = 0 0
esf ricas
= g
g g
r2 sin2 (θ)
g θr g θϕ g θθ 0 0 1
r2
Entonces,
q q
2 1 ∂ 4 2 rr ∂u 1 ∂ 4 2 ϕϕ ∂u
∇ u = p r sin (θ)g +p r sin (θ)g
r sin (θ) ∂r
4 2 ∂r r4 sin2 (θ) ∂ϕ ∂ϕ
q
1 ∂ ∂u
+ p r4 sin2 (θ)g θθ
r sin (θ) ∂θ
4 2 ∂θ
Reemplazando, tenemos
2 1 ∂ 2 ∂u 1 ∂ 1 ∂u 1 ∂ ∂u
∇ u= 2 r + 2 + 2 sin(θ)
r ∂r ∂r r sin(θ) ∂ϕ sin(θ) ∂ϕ r sin(θ) ∂θ ∂θ
d2 R 2 dR
2
∇ Φ = Y (ϕ, θ) + +
dr2 r dr
1 ∂ 2 Y (ϕ, θ)
1 1 ∂ ∂Y (ϕ, θ)
+ R(r) 2 sin(θ) +
r sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
Entonces,
r2 r2
2
2 d R 2 dR
∇ Φ= + +
R(r)Y (ϕ, θ) R(r) dr2 r dr
1 ∂ 2 Y (ϕ, θ)
1 1 ∂ ∂Y (ϕ, θ)
+ sin(θ) +
Y (ϕ, θ) sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
Considerando que las variables son separables en el sentido presentado, tenemos que la ecua-
ción de Laplace en esféricas la podemos escribir
r2 d2 R 2 dR 1 ∂2Y
1 1 ∂ ∂Y (ϕ, θ)
+ + sin(θ) + =0
R dr2 r dr Y sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
o bien
r2 d2 R 2 dR 1 ∂2Y
1 1 ∂ ∂Y
− + = sin(θ) +
R dr2 r dr Y sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
| {z } | {z }
sólo depende de r sólo depende de θ y ϕ
r2 d2 R 2 dR
+ = −C
R dr2 r dr
1 ∂2Y
1 1 ∂ ∂Y
sin(θ) + = C
Y sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
d2 R dR
r2 2
+ 2r +CR=0
dr dr
Es decir, la Ecuación de Euler que ya hemos analizado.
Entonces, C es
C = −` (` + 1)
Entonces, la solución general será
1
φ=A Y + B r` Y
r`+1
Con este valor de C vamos a la ecuación para Y (θ, ϕ)
2.2. La ecuación en θ y ϕ
Para la función Y (θ, ϕ) la ecuación diferencial es
1 ∂2Y
1 ∂ ∂Y
sin(θ) + + `(` + 1) Y (ϕ, θ) = 0
sin(θ) ∂θ ∂θ sin2 (θ) ∂ϕ2
Si efectuamos el cambio de coordenadas ξ = cos(θ) tendremos que las derivadas las podemos
escribir:
∂Y ∂Y
= − sin(θ)
∂θ ∂ξ
2
∂ Y ∂Y ∂2Y
= − cos(θ) + sin2 (θ) 2
∂θ2 ∂ξ ∂ξ
Reemplazando en la ecuación para los ángulos tenemos
∂2Y ∂Y 1 ∂2Y
(1 − ξ 2 ) − 2ξ + `(` + 1) Y + =0
∂ξ 2 ∂ξ 1 − ξ 2 ∂ϕ2
Si proponemos Y = Y1 (ξ) eimϕ con m ∈ Z y reemplazamos en la ecuación, tenemos
2 m2
2 ∂ Y1 ∂Y1
(1 − ξ ) 2 − 2ξ + `(` + 1) − Y1 eimϕ = 0
∂ξ ∂ξ 1 − ξ2
que es satisfecha por la función solución de
∂ 2 Y1 m2
2 ∂Y1
(1 − ξ ) 2 − 2ξ + `(` + 1) − Y1 = 0
∂ξ ∂ξ 1 − ξ2
que es la Ecuación Asociada de Legendre.
d2 Y1 dY1
(1 − ξ 2 )
2
− 2ξ + `(` + 1)Y1 = 0
dξ dξ
que es la ecuación conocida como Ecuación de Legendre.
Entonces,
∞
X ∞
X
0 k−1 00
y (x) = ck k x , y (x) = ck k (k − 1) xk−2
k=1 k=2
∞
X ∞
X
ck k (k − 1) xk−2 + [`(` + 1) − k(k + 1)] ck xk = 0
k=2 k=0
`(` + 1) − k(k + 1)
ck+2 = − ck
(k + 2) (k + 1)
Esto es consistente con el hecho de que hay dos soluciones linealmente independientes.
X X
y(x) = c0 b2k x2k + c1 b2k+1 x2k+1
par impar
4. Polinomios de Legendre
Dada la ecuación de Legendre, con ` ∈ N,
` P` (x)
0 1
1 x
1 2
2 2 (3x − 1)
1 3
3 2 (5x − 3x)
1 4 2
4 8 (35x − 30x + 3)
1 5 3
5 8 (63x − 70x + 15x)
1 6 4 2
6 16 (231x − 315x + 105x − 5)
1 7 5 3
7 16 (429x − 693x + 315x − 35x)
1 8 6 4 2
8 128 (6435x − 12012x + 6930x − 1260x + 35)
1 9 7 5 3
9 128 (12155x − 25740x + 18018x − 4620x + 315x)
4.1. Propiedades
Las propiedades más relevantes de los polinomios de Legendre son, a saber
I. Fórmula de Rodrigues.
1 d` h 2 `
i
P` (x) = (x − 1)
2` `! dx`
III. Ortogonalidad.
1
2
Z
P` (x) P`0 (x) dx = δ``0
−1 2` + 1
V. Paridad.
P` (−x) = (−1)` P` (x)
Ortogonalidad.
1
2
Z
P` (x) P`0 (x) dx = δ``0
−1 2` + 1
d2 d
(1 − x2 ) [P` ] − 2x [P` ] + ` (` + 1) P` = 0
dx2 dx
d2 d
(1 − x2 ) 2 [P`0 ] − 2x [P`0 ] + `0 (`0 + 1) P`0 = 0
dx dx
Estas ecuaciones pueden escribirse como
d 2 dP`
(1 − x ) + ` (` + 1) P` = 0
dx dx
d dP`0
(1 − x2 ) + `0 (`0 + 1) P`0 = 0
dx dx
Entonces, si ` 6= `0 tenemos Z 1
P` (x) P`0 (x)dx = 0
−1
El cálculo de
1
2
Z
P`2 (x) dx =
−1 2` + 1
`(` + 1) − k(k + 1)
ck+2 = − ck
(k + 2) (k + 1)
(2` − 1)!! 2 1
(x − 1)` = ` (x2 − 1)`
(2`)! 2 `!
1 d` h 2 `
i
P` (x) = (x − 1)
2` `! dx`
que es la Fórmula de Rodrigues.
Finalmente, si θ = 0, esto es, calculamos el potencial generado por una partı́cula en un punto
1
del eje z, con lo cual, será u = 1−r entonces,
∞ ∞ ∞
1 X X X
= B` r` P` (cos(0)) = B` r` P` (1) = B` r `
1−r
`=0 `=0 `=0
Por identificación con la suma geométrica, no queda otra posibilidad que B` = 1 para todo `.
Entonces,
∞
X
u= r` P` (cos(θ))
`=0
Esta es la función que es la inversa entre la distancia entre un punto de la esfera de radio
unidad y un punto del interior de la misma.
o, equivalentemente,
∞ X
∞
1 X 0
2
= P` (x) P`0 (x) t`+`
1 + t − 2tx 0 ` =0 `=0
Integrando a ambos miembros respecto de x entre -1 y 1, obtenemos
1 1 ∞ X
∞
1
Z Z
0
X
2
dx = P` (x) P`0 (x) t`+` dx
−1 1 + t − 2tx −1 `0 =0 `=0
Sumando,
∞
X ((−1)`+1 − 1)
log(1 + t) + (−1) log(1 − t) = x`
`
`=1
Además, (
2 ` impar
((−1)`+1 − 1) =
0 ` par
Entonces, como del lado derecho podemos aplicar la ortogonalidad ya demostrada, tendremos:
∞ ∞ Z 1
X 2 2`
X
t = 2
P` (x) dx t2`
2` + 1 −1
`=0 `=0
Entonces,
1
2
Z
P`2 (x) dx = ||P` (x)||2 =
−1 2` + 1
x
Notemos que el potencial no depende del ángulo azimutal, ya que el valor del potencial es el
mismo a z = cte
d
Si llamamos α = r podemos escribir
Gm 1
Φ(r, θ) = − p
r 1 + α2 − 2 α cos(θ)
Podemos notar que
1
p
2
1 + α − 2 α cos(θ)
es la función generatriz de los polinomios de Legendre, pero en vez de x, en cos(θ) y en vez
de t, α
∞
Gm X d
Φ(r, θ) = − P` (cos(θ) α` , α=
r r
`=0
Ya que conocemos los primeros términos, veamos la expresión del potencial, bien lejos de la
partı́cula.
El primer término es el potencial generado por la masa m como si ésta estuviera en el origen
del sistema de coordenadas.
6.1. Definiciones
Masas. Vamos a condiderar un sistema definidio por una partı́cula puntual (satélite)
de masa m y una distribución continua de materia (planeta), cuya masa total será M .
Origen y orientación de ejes. Vamos a considerar un origen dentro del planeta, cuyo
eje x estará en la dirección de la ubicación instantánea del satélite.
P
d
m
~r p
ψ
~r
O
X rp` ∞
Gm
U (~rp ) = − = −G m P` (cos(ψ))
d r`+1
`=0
Entonces,
( )
1 rp cos(ψ) (3 cos2 (ψ) − 1)rp2
U (~rp ) = −G m + + + ··· = U0 (~rp ) + U1 (~rp ) + U2 (~rp ) + · · ·
r r2 2 r3
U0 :
Gm
U0 (~rp ) = −
r
Este término no depende de ~rp por lo que lo podemos considerar constante. No aporta
a ninguna fuerza.
U1 :
Gm Gm
U1 (~rp ) = −
2
rp cos(ψ) = − 3 ~r · ~rp
r r
Este término produce una fuerza constante (que no depende de ~rp ) ya que
Gm
∇[U1 ] = − ~r
r3
| | | |
π π 3 2π ψ
2 2π
Los máximos y mı́nimos se alternan por intervalos de π/2, es decir, cada 6 horas. Esto es,
cada 12 horas hay pleamar y cada 12 horas bajamar.
7. Bibliografı́a Recomendada
Boyce, William E.; Diprima, Richard C. Ecuaciones diferenciales y problemas con va-
lores en la frontera, Ed. Limusa (1991)
Kreider, D.; Kuller, R.; Ostberg, D.; Perkins, F. Introducción al Análisis Lineal, Tomo
II, Fondo Educativo Interamericano (1971)
Murray, Carl D.; Dermott, Stanley F. Solar System Dynamics, Ed. Cambridge Univer-
sity Press (1999)
Simmons, George F. Differential equations with applications and historical notes, Ed.
Mc Graw Hill (1972)