Autofunciones del Laplaciano en Esfricas.

1.

Autofunciones del Laplaciano en esfricas.

1.1.

Expresin del Laplaciano en esfricas.

Recordemos la relacin entre coordenadas cartesianas y esfricas:

(1)
(2)
(3)

x = r sin cos
y = r sin cos
z = r cos
En coordenadas esfricas el Laplaciano se expresa de la siguiente forma:




1
2f
1
f
1

2 f
f = 2
r
+ 2
sin
+ 2 2
.
r r
r
r sin

r sin 2
1.2.

(4)

Separacin de Variables.

Vamos a calcular las autofunciones del Laplaciano en estas coordenadas

Para ello escribiremos la ecuacin de autovalores de la forma
v = v

(5)

v = R(r)Y (, )

(6)

y la resolveremos por separacin de variables suponiendo que las autofunciones se

pueden factorizar de la forma:

sustituimos esta expresin en la ecuacin y multiplicamos por rv





2Y
1
Y
1

1
2 R
r
+
sin
+
= r 2
v =
2
2
R(r) r
r
Y (, ) sin

Y (, ) sin
(7)
si reorganizamos la ecuacin:
1
v =
R(r) r
|





Y
1

2Y
1
2 R
2
r
+ r +
sin
+
=0
r
Y (, ) sin

Y (, ) sin2 2
{z
} |
{z
}

(8)
vemos que el miembro de la izquierda es suma de dos funciones, una que depende
exclusivamente de la variable radial r y otra que depende de las variables angulares.
La nica forma en la que ambas funciones pueden sumar cero es si ambas funciones

son constantes de signo opuesto. Esto da lugar a dos ecuaciones, una para la variable
radial:



2 dR
r
+ r 2 R(r) = R(r)
(9)
r
dr
y otra para las variables angulares:


Y
1 2Y
1
sin
+
+ Y = 0
(10)
sin

sin2 2
centrmonos en la parte angular y separemos ahora la funcin Y de la forma
Y = ()(). Sustituyamos en la ecuacin y multipliquemos por sin2 /Y .


sin

2
sin
+ sin2 + 2 = 0
(11)

|
{z
} |{z}
m2

m2

1.3.

Autofunciones de la parte angular. Armnicos Esfricos

Centrmonos en la ecuacin para la variable que es y Consideremos la condicion

de controno ( + 2) = ()
d2
= m2
d2
( + 2) = ()

(12)
(13)

Nos da como soluciones.

() = Cm eim

(14)

donde m = 0, 1, 2, . . .
tambien se puede escribir como
() = Am sin(m) + Bm cos(m)
Pq de dos formas distintas???
Volvamos a la ecuacin para la variable


d
d
sin
+ sin2 m2 = 0
sin
d
d

(15)

(16)

Esta ecuacin esta relacionada con la ecuacin de Legendre. Para verlo mas claramente haremos el cambio x = cos() con lo que se llega a una nueva incognita
expresada en funcin de la nueva variable independiente x se obtiene () y(x).
La relacin entre las derivadas es

d
dy
dy dx
dy
=
= sin
= 1 x2
(17)
d
dx d
dx
dx
2

Por lo tanto el operador diferencial se tranforma como





d
d
2 dy
2 dy
sin
= (1 x )
(1 x )
sin
d
d
dx
dx
de modo que podemos escribir la ecuacin como:

 

dy
m2
2 dy
(1 x )
+
y=0
dx
dx
1 x2

(18)

(19)

A estas ecuaciones se las denomina ecuaciones asociadas de Legendre. Varios

comentarios:
1. Notese que tenemos una ecuacin para cada valor de m2 que viene fijada por la
solucin de la ecuacin para la variable .
2. Ya hemos estudiado un caso concreto de estas ecuaciones que es el correspondiente a m = 0 denominada simplemente ecuacin de Legendre.


dy
2 dy
(1 x )
+ y = 0
dx
dx

(20)

Que tena como soluciones los polinomios de Legendre.

3. Esta una ecuacin de autovalores para un operador diferencial autoadjunto. Se
puede escribir de la forma:


dy
dy
p(x)
+ q(x)y = y
dx
dx
donde p(x) = 1 x2 y q(x) =

m2
1x2

(21)

son reales.

4. Por todo lo anterior enfatizamos que m no es una incgnita. La incgnita es

que se puede entender como el autovalor del mencionado operador autoadjunto.
debe calcularse imponiendo unas codiciones de controno.
5. Nos preguntamos ahora por la condicin de contorno para la variable . Para
empezar notaremos que la solucin debe estar definida para 0 < < lo que
implica que 1 < x < 1
6. Por otro lado la nica condicin que nos impone el problema de autovalores es
que las autofunciones sean acotadas. Esto implica que || < y por tanto que
|y| <
7. La ecuaciones asociadas de Legendre se pueden escribir en forma la cannica de
la que se deduce que, se deduce que los puntos x = 1 son puntos singulares y
que la soluciones pueden diverger en tales puntos. En tal caso las soluciones no
seran acotadas.
3

8. Se puede demostrar que solo tenemos soluciones acotadas si = l(l + 1) donde

l esta relacionado con m de la forma m = |l|, |l 1|, . . . , 0, |l 1|, |l|
(m)

Las soluciones de estas ecuaciones son las funciones asociadas de Legendre. Pl (x)
donde l |m|
Por ser autofunciones de un operador autoadjunto se puede demostrar que son
ortogonales para distintos valores de l
Z 1
Z
(m)
(m)
(m)
(m)
Pl (x)Pl (x)dx =
(22)
Pl (cos())Pl (cos()) sin()d ll
0

donde hemos utilizado que dx = sin d

Las autofunciones del problema angular son los Armnicos Esfricos y pueden
escribirse como
(m)

Yl
Z

(m)

(m)

= Pl

(cos )eim

(cos(), )Yl m )(cos(), ) sin()dd ll =

0
0
Z 2
Z
(m)
(
im im
e e
d
Pl (cos())Pl m)(cos()) sin()d =
Yl

(23)
(24)
(25)

2ll

2 (l + m)!
mm
2l + 1 (l m)!

(26)

se compueba que la normalizacin es compatible con el caso m=0

1.4.

Problema radial.

Volviendo a la parte radial del problema:


 

1 d
l(l + 1)
2 dR
r
+
R(r) = 0
(27)
r 2 dr
dr
r2
Tenemos ecuaciones donde l esta fijado por la parte angular. En forma cannica
observamos que r = 0 es un punto singular. Para garantizar que las soluciones no
diverjan en r = 0, impondremos que las soluciones sean acotadas en ese punto |R(0)| <
. El conteo de unidades en la ecuacin indica que tiene unidades de nmero de
onda al cuadrado. Por ello, a partir de ahora vamos a escribir sabemos ademas que
debe ser positivo y por consiguiente escribiremos = k 2 .


dR2 2 dR
l(l + 1)
2
+
+ k
R(r) = 0
(28)
dr 2
r dr
r2
podemos extraer k 2 de la ecuacin haciendo el cambio x = kr y(x) = R(kr)


2 dy
l(l + 1)
d2 y
+
+ 1
y(r) = 0
(29)
dx2 x dx
x2
4

Esta ecuacin es similar pero no idntica a la ecuacin de Bessel que es:



dJ 2 1 dJ
2
+
+ 1 2 J =0
dx2 x dx
x

(30)

Nos preguntamos si existe algn cambio de variable J(x) = f (x)y(x) que transforme nuestra ecuacin en la ecuacin de Bessel. Para ello vamos a sustituir el cambio
J = f y en (30). Obtenemos
 2

d2 y
df
f dy
df
1 df
l(l + 1)
f 2 + (2 + ) +
+
+ (1
)f y = 0
(31)
dx
dx x dx
dx2 x dx
x2
Si dividimos por f e igualamos coeficientes con la ecuacin 29. Para el coeficiente
dy
obtenemos:
que acompaa a dx
1
2
2 df
+ =
f dx x
x

(32)

que tiene como solucin f = x 2 . Para el coeficiente que acompaa a y obtenemos:



1 d2 f
1 df
l(l + 1)
2
+
+ (1
)= 1 2
(33)
f dx2 xf dx
x2
x
multiplicamos por f


d2 f
l(l + 1)
1 df
2
+
+ (1
)f = 1 2 f
dx2 x dx
x2
x

(34)

sustituimos el valor de f = x1/2 obtenemos:

41 + l(l + 1) = 2
Completando un cuadrado en el miembro de la izquierda:
1
(l + )2 = 2
(35)
2

Por todo ello podemos concluir que el cambio adecuado es y = rR:



(l + 12 )2
d2 y 1 dy
y=0
(36)
+
+ 1
dr 2 r dr
r2
Se puede ver que estas ecuaciones corresponden a las ecuaciones de Bessel donde
el orden es semientero (l + 21 ). Las soluciones son Jl+ 1 (r) es decir funciones de Bessel
2
de orden semientero. Podemos desacer los cambios y tendremos que
r

J 1 (z)
jl (z) =
(37)
2z l+ 2
Son las denominadas funciones de Bessel esfricas.
Podemos escribir la solucin de la parte radial como
1
Rl (r) = Jl+ 1 (kr)
2
r
5

(38)

1.5.

Solucin del problema de contorno.

Para r = vamos a suponer que satisface las siguientes CC homogeneas

 
dR
+ A0 R() = 0
A1
dr

(39)

Donde A1 = 0 corresponde a CC de primera especie, A0 = 0 corresponde a CC de

segunda especie y A0 6= 0, A1 6= 0 corresponde a condiciones de tercera especie.
El caso A1 = 0
r
1
2
R() = A0 Jl+ 1 (k) = A0
jl (k) = 0
(40)
2

la solucin de esta ecuacin es xq,l = k es la raiz q-sima de jl (x). Estas raices estan tabuladas (ver tabla 7.4 Libro AL.) y se pueden suponer conocidas. Esta
x
condicin determina el valor de kq,l = q,l
El caso A0 = 0
r  
 
dR
2
djl
A1
= A1
=0
(41)
k
dr

dx
xq,l es la raiz q-sima de

djl
.
dx

Estas raices estn tabuladas (ver tabla 7.5 Libro AL)

y se pueden suponer conocidas. Esta condicin determina el valor de kq,l =

Podemos concluir que las autofunciones del Laplaciano en esfricas son
vq,l,m (r, , ) = jl (kq,l r)Plm (cos )eim

xq,l

(42)

los autovalores son = (kq,l )2

2.

Signo de los autovalores del Laplaciano

Hemos observado sistemticamente que, en todas la geometras y con las condiciones de contorno consideradas hasta el momento, los autovalores de Laplaciano tienen
signo negativo. Por eso elegiamos escribir la ecuacin de autovalores de la forma
v = v

(43)

(v, v) = (v, v)

(44)

Ahora vamos a entender que hay una razn fundamental para que esto sea as. Vamos
a considerar el producto escalar:

es decir

(v, v)
(v, v)
6

(45)

recordando la definicin de producto escalar en d=3

Z
(f, g) =
f gdV

(46)

podemos expresar (45) como

R
vvdV
= RV 2
v dV
V

(47)

~ (a~b) = a
~ ~b + a
~ ~b

(48)

~ v
~
v =

(49)

Recordemos la identidad del clculo vectorial1 :

y que el Laplaciano es la divergencia del gradiente.

Aplicando a nuestro caso:

dV vv =
V

~b

z}|{ Z
h
i
~
~
~
~
~
~
dV |{z}
v v =
dV (v v) v v =

(50)

~
~ ds
(v v)

~ v)
~
dV (v

donde en el ltimo paso hemos utilizado el teorema de Gauss

Z
Z
~bds
~ =
~ ~b dV

(51)

(52)

El flujo a traves de la superficie se anula para condiciones de contorno de primera

y segunda especie homogneas.
R
~ 2 dV
|v|
(53)
= VR 2
v dV
V

Como los integrandos son positivos es positivo. Supongamos que la autofuncin

v est normalizada, entonces concluimos que
Z
~ 2 dV
=
|v|
(54)
V

que es siempre positivo.

notese que un campo ~b sin fuentes escalares multiplicado por un campo escalar a, adquiere una divergencia proporcional al gradiente de a
1