Funciones arm onicas esfericas

Se dice que u es una funci on arm onica esferica si u = en las coordenadas

esfericas :

x = r sen()cos() [0, 2)
y = r sen()sen() [0, ]
z = r cos() r [0, )
en coordenadas esto es

2
u
r
2
+
2
r
u
r
+
1
r
2
sen()

(sen()
u

) +
1
r
2
sen
2
()

2
u

= 0. (1)
Aplicando el metodo de separacion de variables, proponemos u = (r, , ) =
R(r)()(), si ahora sustituimos esta expresion en el operador de (1) y lo
dividimos por u, se obtiene
R

+
2
r
R

R
+
(sen()

r
2
sen()
+

r
2
sen
2
()
= 0 (2)
Multiplicando la expresion en (2) por r
2
sen
2
() nos permite separar el
problema donde

=

; y por las condiciones de periodicidad de la se
concluye que

= m
2
con m N {0}, luego
=

cos(m)
sen(m)
(3)
Teniendo en cuenta (3), la ecuacion (2) se reduce a una ecuacion con dos
variables
R

+
2
r
R

R
+
(sen()

r
2
sen()

m
2
r
2
sen
2
()
= 0. (4)
y para separarlas tenemos que multiplicar (4) por r
2
, obteniendo as las
siguientes ecuaciones ordinarias

r
2
(R

+
2
r
R

) R = 0 (5.1)
(sen()

m
2
sen()
+ sen() = 0 (5.2)
(5)
donde es la constante de separaci on de las variables r y .
Observacion. La ecuaci on (5.2) es singular en sus bordes = 0 y = .
Nosotros buscaremos soluciones tales que y

esten acotadas.
1
Introduciendo el cambio de coordenadas t = cos() e identicando () =
P(cos()) resulta que (5.2), en esta nueva coordenada, se transforma en
d
dt
[(1 t
2
)
dP
dt
]
m
2
1 t
2
P + P = 0 1 < t < 1 (6)
Nota. Seguimos teniendo un problema de autovalores con dos singularidades
en los bordes t = 1 y t = 1; en esta nueva coordenada buscaremos soluciones
tales que P y (1 t
2
)
1
2
P

esten acotadas en dichos bordes.

Veamos ahora para distintos valores de m y los problemas de Sturm-
Liouville.
Caso m = 0 y = 0:
Las soluciones de este problema son

(1 + t)
m/2
(1 t)
m/2
(1 t)
m/2
(1 + t)
m/2
Ninguna de las dos familias de autofunciones, que es completo (ver
Weinberger pag.189), satisface simultaneamente las condiciones de bor-
de impuestas y entonces podemos descartarlas de nuestra solucion.
Caso m = 0 y = 0:
P 1 es la unica soluci on para dicha ecuaci on diferencial con las condi-
ciones de borde impuestas, por lo tanto = 0 es autovalor.
Observacion. A pesar de no ser un problema de Sturm-Lioville regular
la condici on de que los autovalores son no negativos sigue valiendo
en este caso.
Caso m = 0 y > 0:
Bajo estas condiciones vale que
(5.2) =
d
dt
[(1 t
2
)
dP
dt
] + P = 0 Ecuacion de Legendre (7)
2
Busquemos como soluci on una serie de potencias en un entorno de
t = 1, esto es, P(t) = (t 1)

k=0
c
k
(t 1)
k
. Sustituyendo esta ultima
expresi on en (7) se obtiene la siguiente ecuacion
c
0
2
2
(t1)
1

k=0
{2(k++1)
2
c
k+a
+[+(k++1)(k+)]}(t1)
k+
= 0
Si = 0 entonces existira una soluci on que se comportara como ln(1
t) en t = 1. Luego nuestra propuesta de soluci on es de la forma P(t) =

k=0
c
k
(t 1)
k
donde vale la siguiente ecuacion de recurrencia
c
k+1
=
k(k + 1)
2(k + 1)
2
c
k
(8)
y por el criterio del cociente se tiene que dicha serie de potencias con-
verge para | t 1 |< 2.
Observacion. Si c
0
y = n(n + 1) con n N, entonces los coecientes
de la serie c
k
son todos no nulos y esto nos da como resultados una
soluci on que se comporta como ln(
t + 1
t 1
).
La unica forma de que esta serie que propusimos respete las condiciones
de borde es que = n(n + 1), y la serie se convierte en un polinomio.
Los polinomios de la forma
P
n
=
n

k=0
(n + k)!
(k!)
2
(n k)!2
k
(t 1)
k
Polinomios de Legendre (9)
verican la relaci on de recurrencia de (8) y que c
0
= 1, es decir, los
polinomios P
n
son soluci on de (5.2) y forman una base ortogonal para
el problema de Sturm-Liouville (7).
Propiedades de los P
n
(t):
1.

1
1
t
k
P
n
(t)dt = 0 k n 1.
2. F ormula de Rodrigues P
n
(t) =
1
2
n
n!
d
n
dt
n
(t
2
1)
n
.
3. P
n
(t) tiene n ceros reales en 1 t 1.
3
4. (Funcion generatriz ) Los P
n
tambien se pueden denir como los coe-
cientes de una serie de Taylor de la siguiente manera
1

1 2xt + t
2
=

k=0
P
n
(x)t
k
Caso m > 0 y > 0:
Si derivamos m-veces la ecuacion (7) se obtiene la siguiente ecuacion
diferencial
(1 t
2
)P
(m+2)
2(m + 1)tP
m+1
+ ( m(m + 1))P
(m)
= 0
Introduciendo el cambio de variable Q(t) = (1t
2
)
m/2
P
(m)
(t) se puede
ver que Q(t) satisface
((1 t
2
)Q

m
2
1 t
2
Q + Q = 0
Esto nos muestra como partiendo de una soluci on de (7) con =
n(n + 1) nos podemos construir una soluci on de (5.2).
Observacion. Si = n(n + 1) las soluciones que se encuentran no sat-
isfacen las condiciones de borde.
Las funciones P
m
n
(1 t
2
)
m/2
d
m
dt
m
(P
n
(t)) se llaman funciones de Leg-
endre asociadas y satisfacen las condiciones de borde impuestas.
Volviendo al problema de separacion de variables, aun nos resta resolver
(5.1) pero ya sabemos que = n(n + 1) con n N {0}. Las soluciones de
(5.1) son {r
n
, r
n1
} pero la segunda no esta acotada en r = 0.
Finalmente obtenemos las autofunciones arm onicas que son regulares
i
en todo
el espacio (r, , ), y estas son

r
n
P
m
n
(cos())cos(m)
r
n
P
m
n
(cos())sen(m)
(10)
i
Regulares en el sentido que R(r) esta acotada en r = 0 y las demas condiciones de
borde que se impusieron a y .
4
Consideremos ahora el siguiente problema:

2
u
r
2
+
2
r
u
r
+
1
r
2
sen()

(sen()

) +
1
r
2
sen
2
()

2
u

= 0 en r < R
u(R, , ) = f(, )cuando r = R.
De lo visto anteriormente tenemos la siguiente expresi on formal para una
soluci on
u(r, , ) =

n=0
(
r
R
)
n
[
1
2
a
n0
P
n
(cos())+
n

m=1
(a
nm
sen(m)+b
nm
cos(m))P
m
n
(cos())]
donde

a
nm
=
(2n + 1)(n m)!
2(n + m)!

2
0

0
f(, )P
m
n
(cos())cos(m)sen()dd
b
nm
=
(2n + 1)(n m)!
2(n + m)!

2
0

0
f(, )P
m
n
(cos())sen(m)sen()dd
5