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:
x = r sin cos (1)
y = r sin cos (2)
z = r cos (3)
En coordenadas esfricas el Laplaciano se expresa de la siguiente forma:
f =
1
r
2

r
_
r
2
f
r
_
+
1
r
2
sin

_
sin
f

_
+
1
r
2
sin
2

2
f

2
. (4)
1.2. 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)
y la resolveremos por separacin de variables suponiendo que las autofunciones se
pueden factorizar de la forma:
v = R(r)Y (, ) (6)
sustituimos esta expresin en la ecuacin y multiplicamos por
r
2
v
v =
1
R(r)

r
_
r
2
R
r
_
+
1
Y (, ) sin

_
sin
Y

_
+
1
Y (, ) sin
2

2
Y

2
= r
2
(7)
si reorganizamos la ecuacin:
v =
1
R(r)

r
_
r
2
R
r
_
+ r
2
. .

+
1
Y (, ) sin

_
sin
Y

_
+
1
Y (, ) sin
2

2
Y

2
. .

= 0
(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
1
son constantes de signo opuesto. Esto da lugar a dos ecuaciones, una para la variable
radial:

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

_
sin
Y

_
+
1
sin
2

2
Y

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

_
sin

_
+ sin
2

. .
m
2
+

2

2
..
m
2
= 0 (11)
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) = ()
d
2

d
2
= m
2
(12)
( + 2) = () (13)
Nos da como soluciones.
() = C
m
e
im
(14)
donde m = 0, 1, 2, . . .
tambien se puede escribir como
() = A
m
sin(m) + B
m
cos(m) (15)
Pq de dos formas distintas???
Volvamos a la ecuacin para la variable
sin
d
d
_
sin
d
d
_
+ sin
2
m
2
= 0 (16)
Esta ecuacin esta relacionada con la ecuacin de Legendre. Para verlo mas cla-
ramente 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
d
=
dy
dx
dx
d
= sin
dy
dx
=

1 x
2
dy
dx
(17)
2
Por lo tanto el operador diferencial se tranforma como
sin
d
d
_
sin
d
d
_
= (1 x
2
)
dy
dx
_
(1 x
2
)
dy
dx
_
(18)
de modo que podemos escribir la ecuacin como:
dy
dx
_
(1 x
2
)
dy
dx
_
+
_

m
2
1 x
2
_
y = 0 (19)
A estas ecuaciones se las denomina ecuaciones asociadas de Legendre. Varios
comentarios:
1. Notese que tenemos una ecuacin para cada valor de m
2
que viene jada por la
solucin de la ecuacin para la variable .
2. Ya hemos estudiado un caso concreto de estas ecuaciones que es el correspon-
diente a m = 0 denominada simplemente ecuacin de Legendre.
dy
dx
_
(1 x
2
)
dy
dx
_
+ y = 0 (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
dx
_
p(x)
dy
dx
_
+ q(x)y = y (21)
donde p(x) = 1 x
2
y q(x) =
m
2
1x
2
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 denida 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|
Las soluciones de estas ecuaciones son las funciones asociadas de Legendre. P
(m)
l
(x)
donde l |m|
Por ser autofunciones de un operador autoadjunto se puede demostrar que son
ortogonales para distintos valores de l
_
1
1
P
(m)
l
(x)P
(m)
l

(x)dx =
_

0
P
(m)
l
(cos())P
(m)
l

(cos()) sin()d
ll
(22)
donde hemos utilizado que dx = sin d
Las autofunciones del problema angular son los Armnicos Esfricos y pueden
escribirse como
Y
(m)
l
= P
(m)
l
(cos )e
im
(23)
_
2
0
_

0
Y
(m)
l
(cos(), )Y
(
l
m

)(cos(), ) sin()dd
ll
= (24)
_
2
0
e
im
e
im

d
_

0
P
(m)
l
(cos())P
(
l
m)(cos()) sin()d = (25)
2
ll

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

mm
(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
r
2
d
dr
_
r
2
dR
dr
_
+
_

l(l + 1)
r
2
_
R(r) = 0 (27)
Tenemos ecuaciones donde l esta jado 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
.
dR
2
dr
2
+
2
r
dR
dr
+
_
k
2

l(l + 1)
r
2
_
R(r) = 0 (28)
podemos extraer k
2
de la ecuacin haciendo el cambio x = kr y(x) = R(kr)
d
2
y
dx
2
+
2
x
dy
dx
+
_
1
l(l + 1)
x
2
_
y(r) = 0 (29)
4
Esta ecuacin es similar pero no idntica a la ecuacin de Bessel que es:
dJ
2
dx
2
+
1
x
dJ
dx
+
_
1

2
x
2
_
J = 0 (30)
Nos preguntamos si existe algn cambio de variable J(x) = f(x)y(x) que trans-
forme nuestra ecuacin en la ecuacin de Bessel. Para ello vamos a sustituir el cambio
J = fy en (30). Obtenemos
f
d
2
y
dx
2
+ (2
df
dx
+
f
x
)
dy
dx
+
_
d
2
f
dx
2
+
1
x
df
dx
+ (1
l(l + 1)
x
2
)f
_
y = 0 (31)
Si dividimos por f e igualamos coecientes con la ecuacin 29. Para el coeciente
que acompaa a
dy
dx
obtenemos:
2
f
df
dx
+
1
x
=
2
x
(32)
que tiene como solucin f = x
1
2
. Para el coeciente que acompaa a y obtenemos:
1
f
d
2
f
dx
2
+
1
xf
df
dx
+ (1
l(l + 1)
x
2
) =
_
1

2
x
2
_
(33)
multiplicamos por f
d
2
f
dx
2
+
1
x
df
dx
+ (1
l(l + 1)
x
2
)f =
_
1

2
x
2
_
f (34)
sustituimos el valor de f = x
1/2
obtenemos:

1
4
+ l(l + 1) =
2
Completando un cuadrado en el miembro de la izquierda:
(l +
1
2
)
2
=
2
(35)
Por todo ello podemos concluir que el cambio adecuado es y =

rR:
d
2
y
dr
2
+
1
r
dy
dr
+
_
1
(l +
1
2
)
2
r
2
_
y = 0 (36)
Se puede ver que estas ecuaciones corresponden a las ecuaciones de Bessel donde
el orden es semientero (l +
1
2
). Las soluciones son J
l+
1
2
(r) es decir funciones de Bessel
de orden semientero. Podemos desacer los cambios y tendremos que
j
l
(z) =
_

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

r
J
l+
1
2
(kr) (38)
5
1.5. Solucin del problema de contorno.
Para r = vamos a suponer que satisface las siguientes CC homogeneas
A
1
_
dR
dr
_

+ A
0
R() = 0 (39)
Donde A
1
= 0 corresponde a CC de primera especie, A
0
= 0 corresponde a CC de
segunda especie y A
0
= 0, A
1
= 0 corresponde a condiciones de tercera especie.
El caso A
1
= 0
R() = A
0
1

J
l+
1
2
(k) = A
0
_
2

j
l
(k) = 0 (40)
la solucin de esta ecuacin es x
q,l
= k es la raiz q-sima de j
l
(x). Estas rai-
ces estan tabuladas (ver tabla 7.4 Libro AL.) y se pueden suponer conocidas. Esta
condicin determina el valor de k
q,l
=
x
q,l

El caso A
0
= 0
A
1
_
dR
dr
_

= A
1
_
2

k
_
dj
l
dx
_

= 0 (41)
x

q,l
es la raiz q-sima de
dj
l
dx
. Estas raices estn tabuladas (ver tabla 7.5 Libro AL)
y se pueden suponer conocidas. Esta condicin determina el valor de k
q,l
=
x

q,l

Podemos concluir que las autofunciones del Laplaciano en esfricas son

v
q,l,m
(r, , ) = j
l
(k
q,l
r)P
m
l
(cos )e
im
(42)
los autovalores son = (k
q,l
)
2
2. Signo de los autovalores del Laplaciano
Hemos observado sistemticamente que, en todas la geometras y con las condicio-
nes 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)
Ahora vamos a entender que hay una razn fundamental para que esto sea as. Vamos
a considerar el producto escalar:
(v, v) = (v, v) (44)
es decir
=
(v, v)
(v, v)
(45)
6
recordando la denicin de producto escalar en d=3
(f, g) =
_
V
fgdV (46)
podemos expresar (45) como
=
_
V
vvdV
_
V
v
2
dV
(47)
Recordemos la identidad del clculo vectorial
1
:

(a

b) = a

b +

a

b (48)
y que el Laplaciano es la divergencia del gradiente.
v =

v (49)
Aplicando a nuestro caso:
_
V
dV vv =
_
V
dV v
..
a

b
..

v =
_
V
dV
_

(v

v)

v

v
_
= (50)
=
_
V
(v

v)

ds
_
V
dV (

v

v) (51)
donde en el ltimo paso hemos utilizado el teorema de Gauss
_
V

ds =
_
V

b dV (52)
El ujo a traves de la supercie se anula para condiciones de contorno de primera
y segunda especie homogneas.
=
_
V
|

v|
2
dV
_
V
v
2
dV
(53)
Como los integrandos son positivos es positivo. Supongamos que la autofuncin
v est normalizada, entonces concluimos que
=
_
V
|

v|
2
dV (54)
que es siempre positivo.
1
notese que un campo

b sin fuentes escalares multiplicado por un campo escalar a, adquiere una diver-
gencia proporcional al gradiente de a
7