Solución del primer parcial de matemáticas especiales.

Daniela Angulo Murcillo

21 de abril de 2014

1. Usando el método de separación de variables en la ecuación diferencial parcial para el átomo de

Hidrógeno, expresada en coordenadas esféricas, se demostrará que la función Ψ(r, θ, ϕ) propuesta en la
pregunta del examen es solución de dicha ecuación.
 2
1 Ze2
 
−h̄ 1 2 1 1 2
EΨ(~r) = ∂r (r ∂r ) + ∂ θ (sinθ∂θ ) + ∂ − Ψ(~r) (1)
2µ r2 r2 sinθ r2 sin2 θ ϕ 4πε0 r
El hecho de que la ecuación (1) esté en coordenadas esféricas no es casualidad, esto permite expresar
la función Ψ(~r) como Ψ(r, θ, ϕ) = R(r)Θ(θ)Φ(ϕ), porque el potencial ya no depende de tres coordenadas
como en el caso cartesiano, sino solamente de la coordenada radial.

h̄2 1
   
2 1 1 2
− ∂ r (r ∂r RΘΦ) + ∂θ (sinθ∂θ RΘΦ) + ∂ RΘΦ −V (r)RΘΦ = ERΘΦ
2µ r2 r2 sinθ r2 sin2 θ ϕ
Siendo
1 Ze2
V (r) =
4πε0 r
Realizando las derivadas parciales, se obtiene:

h̄2 ΘΦ d RΘ d2 Φ
     
2 dR RΦ d dΘ
r + 2 sinθ + 2 2 +(V (r) + E)RΘΦ = 0
2µ r2 dr dr r sinθ dθ dθ r sin θ dϕ2

Multiplicando la ecuación por 2mr2 sin2 θ/h̄2 RΘΦ y despejando el término relacionado con ϕ:
sin2 θ d 2µr2 sin2 θ 1 d2 Φ
   
dR sinθ d dΘ
− r2 − sinθ − 2 (V (r) + E) = (2)
R dr dr Θ dθ dθ h̄ Φ dϕ2
El lado derecho de la ecuación (2) solo depende de ϕ, mientras que el lado izquierdo depende de r
y θ pero no de ϕ. Teniendo en cuenta que las tres anteriores son variables independientes, la igualdad
planteada por la ecuación (2) solo puede ser válida si cada lado es igual a la misma costante, para este
caso será −m2 :
d2 Φ
= −m2 Φ (3)
dϕ2
2mr2 −m2
   
1 d dR 1 d dΘ
− r2 − sinθ − 2 (V (r) + E) =
R dr dr Θsinθ dθ dθ h̄ sin2 θ
Para continuar con el proceso de separar la ecuación se organizan términos:
2mr2 m2
   
1 d dR 1 d dΘ
r2 + 2 (V (r) + E) = − sinθ
R dr dr h̄ sin2 θ Θsinθ dθ dθ
De nuevo se obtiene que ambos lados de la ecuación son independientes y se realiza otra separación
usando convenientemente la constante l(l + 1):
m2 Θ
 
1 d dΘ
− sinθ = l(l + 1)Θ (4)
sin2 θ sinθ dθ dθ

1
 2mRr2
 
d dR
r2 + (V (r) + E) = l(l + 1)R (5)
dr dr h̄2
De esta manera se concluye, observando las ecuaciones (3),(4) y (5), que la función Ψ(r, θ, ϕ) solución
a la ecuación (1), puede ser escrita como el producto de tres funciones independientes que cumple, cada
una, con una ecuación diferencial ordinaria de segundo orden.
En mecánica cuántica se requiere que cada una de las funciones solución y sus primeras derivadas
sean finitas, monovaluadas y continuas, con el objetivo de que las cantidades medidas apartir de estas
funciones sean finitas y definidas.
Ahora se procede a evaluar la solución para cada una de las ecuaciones diferenciales obtenidas apli-
cando el método de separación.

Para la ecuación (3) dependiente de ϕ, su solución es una función armónica:

Φ(ϕ) = Keimϕ

Se debe entrar en detalle con respecto a la condición de que Φ sea monovaluada porque, por
ejemplo, en el caso en que φ = 0 y φ = 2π que en realidad son el mismo ángulo, se debe cumplir
que Φ(0) = Φ(2π), entonces:
eim0 = eim2π
1 = cos m2π + i sin m2π
La igualdad anterior solo se cumple para valores enteros positivos o negativos de m. Normalizando
la función solución:
Z 2π Z 2π
imϕ −imϕ 2 1
(Ke )(Ke )dϕ = 1 ⇒ K dϕ = 1 ⇒ K = √
0 0 2π

Se cocluye que la solución para la ecuación (3), es:

1
Φ(ϕ) = √ eimϕ con |m| = 0, 1, 2, 3...
2π

Simplificando la ecuación (4):

d2 Θ cosθ dΘ m2
 
+ + l(l + 1) − Θ=0
dθ2 sinθ dθ sin2 θ

cambio de variable u = cosθ; Θ(θ) = F (cosθ) = F (u) y como 0 ≤ θ ≤ π entonces

se hará un √
0 ≤ senθ = 1 − u2 ≤ 1
Usando regla de la cadena:
dΘ dF p dF
= −sinθ = − 1 − u2
dθ du du

d2 Θ 2 d F
2
dF 2
2 d F dF
2
= sin θ 2
− cosθ = (1 − u ) 2
−u
dθ du du du du
Reemplazando las expresiones anteriores en la ecuación (4) simplificada:
2
m2
 
2 d F dF
(1 − u ) 2 − 2u + l(l + 1) − F =0
du du 1 − u2
La expresión que resulta es conocida como la ecuación diferencial de Legendre de orden m y sus
soluciones son los polinomios asociados de Legendre que se definen para m positivos y negativos:

d|m|
Plm (x) = (1 − x2 )−|m|/2 Pl (x)
dx|m|

2
Para demostrar la anterior afirmación se parte de la función generatriz para los polinomios de
Legendre ordinarios:
∞
X
w(x, t) = (1 − 2xt + t2 )−1/2 = Pn (x)tn
n=0

Se demostrarán dos relaciones de recurrencia a partir de esta función, derivando parcialmente con
respecto a t:
∂w
= −(t − x)(1 − 2x + t2 )−1 w
∂t
En términos de las series queda:
∞
X ∞
X
(1 − 2x + t2 ) nPn (x)tn−1 + (t − x) Pn (x)tn = 0
n=0 n=0

Expandiendo términos y organizando ı́ndices para que t siempre esté elevado a la n:

∞
X ∞
X ∞
X ∞
X ∞
X
n n n n
(n + 1)Pn+1 (x)t − 2x nPn (x)t + (n − 1)Pn−1 (x)t + Pn−1 (x)t − x Pn (x)tn = 0
n=−1 n=0 n=1 n=1 n=0

Igualando los coeficientes de tn a cero, queda la primera relación de recurrencia:

(n + 1)Pn+1 (x)tn − (2n + 1)xPn (x)tn + nPn−1 (x) = 0 (n = 1, 2, 3...) (6)

Ahora derivando parcialmente con respecto a ’x’ y simplificando:

∂w
(1 − 2xt + t2 ) − tw = 0
∂x
De manera análoga al anterior procedimiento, se igualan a cero los coeficientes de tn+1 y queda:
0
Pn+1 (x) − 2xPn0 (x) + Pn−1
0
(x) + Pn (x) = 0
0 0
Derivando (6) y reemplazando, respectivamente, Pn+1 (x) y Pn−1 (x) en la anterior ecuación, para
dar dos ecuaciones más:
xPn0 (x) − Pn−1
0
(x) = nPn (x)
0
Pn+1 (x) − xPn0 (x) = (n + 1)Pn (x)
0
Reemplazando n por n-1 en la segunda de estas y luego igualando Pn−1 (x) de la ecuación resultante
y la primera ecuación, se obtiene:

(1 − x2 )Pn0 (x) = nPn−1 (x) − nxPn (x)

0
Derivando la ecuación anterior, reemplazando Pn−1 (x) = xPn0 (x) − nPn (x) y cambiando n por l
para hacer la notación más familiar, queda:

(1 − x2 )Pl00 (x) − 2xPl0 (x) + l(l + 1)Pl (x) = 0 (7)

La ecuación (7) se conoce como la ecuación de Legendre; derivando m veces usando la fórmula
de Leibniz (8) y realizando algunas sustituciones se llegará a la ecuación asociada de Legendre y
ası́ probar la validez de las soluciones para la versión final de la ecuación (4):
m
dm X m! dm−k dk
[A(x)B(x)] = A(x) B(x) (8)
dxm k!(m − k)! dxm−k dxk
k=0

dm dm+2 dm+1 dm
 
2 00
m
(1 − x )P l (x) = (1 − x2 ) m+2 Pl (x) − 2mx m+1 Pl (x) − m(m − 1) m Pl (x)
dx dx dx dx

3
 dm dm+1 dm
 
0
2xP l (x) = 2x P l (x) + 2m Pl (x)
dxm dxm+1 dxm
Reemplazando y organizando los términos en la ecuación (7):
dm+2 dm+1 dm
(1 − x2 ) P l (x) − 2(m + 1)x P l (x) + [l(l + 1) − m(m + 1)] Pl (x) = 0
dxm+2 dxm+1 dxm
dm
Haciendo u = dxm Pl (x):

(1 − x2 )u00 − 2x(m + 1)u0 + [l(l + 1) − m(m + 1)]u = 0

Haciendo u(x) = (1 − x2 )−m/2 y(x) es posible demostrar que y(x) cumple con la función asociada
de Legendre:  
0 0 mx
u = y + y (1 − x2 )−m/2
1 − x2
m(m + 2)x2
 
2mx 0 m
u00 = y 00 + y + y + y (1 − x2 )−m/2
1 − x2 1 − x2 (1 − x2 )2
Reemplazando los anteriores resultados y simplificando términos se llega a la ecuación asociada de
Legendre de grado m, cuya función solución es y(x):
d2 y m2
 
dy
(1 − x2 ) 2 − 2x + l(l + 1) − y=0
dx dx 1 − x2
Invirtiendo la anterior sustitución para conocer el valor de y(x):

d|m|
y(x) = (1 − x2 )m/2 u(x) = (1 − x2 )|m|/2 Pl (x)
dx|m|
Definición que corresponde a los polinomios asociados de Legendre, comprobando ası́ que efectiva-
mente los polinomios de esta forma cumplen y son solución de la ecuación (4).
Siendo Pl (x) el polinomio de Legendre de grado l. Si derivamos m veces un polinomio de grado l,
con el objetivo de que la derivada no sea cero, |m| debe ser cuando mucho igual a l: −l ≤ m ≤ l.
Concluyendo, la ecuación (4) tiene como solución:
Θ(θ) = BPlm (cosθ); l = 0, 1, 2...; m = −l, −l + 1, .,0, 1, .., l
A continuación se hallará B, que representa la constante de normalización para la función solución
para θ: Z 1 Z 1 m
 m−1 
m 2 2 2 m d d
[BPl (x)] dx = 1 ⇒ B (1 − x ) Pl (x)d Pl (x)
−1 −1 dxm dxm−1
 
dm dm−1
Integrando por partes u = (1 − x2 )m dx m P l (x) y dv = d P
dxm−1 l (x) :
1 Z 1 m−1
dm dm−1 m
 
d d 2 m d
B 2 (1 − x2 )m P l (x) P l (x) −B 2
P
m−1 l
(x) (1 − x ) P l (x) dx
dxm dxm−1 −1 −1 dx dx dxm

El primer término se elimina en ambos lı́mites, luego reemplazando en la ecuación asociada de

Legendre y multiplicando todo por (1 − x2 )n−1 :
Z 1 Z 1
[BPlm (x)]2 dx = B 2 (l + m)(l − m + 1) [Plm−1 (x)]2 dx
−1 −1

El mismo proceso puede repetirse m veces llegando a:

Z 1 Z 1
[BPlm (x)]2 dx = B 2 klm [Pl (x)]2 dx
−1 −1

4
 (l + m)!
klm = (l + m)(l − m − 1)(l + m − 1)(l − m + 2)...(l + 1)l =
(l − m)!
R1
Para hallar −1 [Pn (x)]2 dx (n=l) se usará una relación de recurrencia que resulta de la suma de dos
relaciones demostradas con anterioridad y presentadas a continuación:

xPn0 (x) − Pn−1

0
(x) = nPn (x)
0
Pn+1 (x) − xPn0 (x) = (n + 1)Pn (x)
Al sumarlas se obtiene:
1
Pn (x) = [P 0 (x) − Pn−1
0
(x)]
2n + 1 n+1
Multiplicando a ambos lados por Pn (x) e integrando:
Z 1 Z 1 Z 1 
2 1 0 0
[Pn (x)] dx = [Pn (x)Pn+1 (x)]dx − [Pn (x)Pn−1 (x)]dx
−1 2n + 1 −1 −1

0
El segundo término del lado derecho es igual a cero porque Pn−1 es un polinomio de grado n-2, y
el primer término puede integrarse por partes para llegar a:
Z 1 Z 1
Pn (x)dPn+1 (x) = [Pn (x)Pn+1 (x)]1−1 − Pn+1 Pn0 (x)dx
−1 −1

El segundo término es cero porque Pn0 (x) es un polinomio de grado n-1, solucionando el primer
término: Z 1
2
[Pn (x)Pn+1 (x)]1−1 = 1 − (−1)n (−1)n+1 = 2 ⇒ [Pn (x)]2 dx =
−1 2n + 1
Reemplazando este resultado para hallar la constante B:
Z 1
2 (l + m)! (l + m)! 2
B [Pl (x)]2 dx = B 2 =1
(l − m)! −1 (l − m)! 2n + 1
Finalmente, la constante de normalización para los polinomios asociados de Legendre es:
s
(2l + 1)(l − m)!
B=
2(l + m)!
s
(2l + 1)(l − m)! m
Θ(θ) = Pl (cosθ); l = 0, 1, 2...; m = −l, −l + 1, .,0, 1, .., l
2(l + m)!
La función Θ(θ) es la solución elegida para la ecuación (4), ’elegida’ porque vale la pena aclarar
que, al ser la ecuación diferencial (4) de segundo orden deberı́a tener dos soluciones linealmente
independientes para cada valor de l y m, pero las demás soluciones son fı́sicamente inaceptables
porque presentan inconvenientes en θ = 0 o 2π y no producen funciones de onda normalizables[1].
Antes de realizar el procedimiento solución de la ecuación (5), se verán algunas propiedades de
los polinomios y las funciones asociadas de Laguerre. Partiendo de la función generatriz para los
polinomios de Laguerre:
  X ∞
1 xt Ln (x) n
exp − = t (9)
1−t 1−t n=0
n!
Reescribiendo la ecuación anterior de la siguiente manera:
   ∞
t X Ln (x) n
exp x 1 − = (1 − t) t
1−t n=0
n!

5
Derivando parcialmente con respecto a t en ambos lados de la igualdad:
   ∞ ∞
−x t X Ln (x) n−1 X Ln (x) n
exp x 1 − = (1 − t) t − t
(1 − t)2 1−t n=0
(n − 1)! n=0
n!

Usando la ecuación (9) y organizando términos de la ecuación anterior:

∞ ∞ ∞
X Ln (x) n X Ln (x) n−1 X Ln (x) n
x t + (1 − t)2 t − (1 − t) t =0
n=0
n! n=0
(n − 1)! n=0
n!

Igualando a cero los coeficientes de tn y factorizando términos, queda la siguiente relación de

recurrencia:
Ln+1 (x) + (x − 2n − 1)Ln (x) + n2 Ln−1 (x) = 0 (10)
Ahora derivando parcialmente con respecto a x la ecuación (9):
∞
L0n (x) n
  
−t t X
exp x 1 − = (1 − t) t
1−t 1−t n=0
n!

Usando la ecuación (9) y organizando términos:

∞ ∞
X Ln (x) n X L0n (x) n
t t + (1 − t) t =0
n=0
n! n=0
n!

Igualando los coeficientes de tn y factorizando se obtiene la siguiente relación de recurrencia:

L0n (x) − nL0n−1 (x) + nLn−1 (x) = 0 (11)

Reemplazando n por n+1 en (11):

L0n+1 (x) = (n + 1)(L0n (x) − Ln (x)) (1a) ⇒ L00n+1 (x) = (n + 1)(L00n (x) − L0n (x)) (1b)

Reemplazando n por n+1 y usando las dos relaciones inmediatamente anteriores se tiene que:

L00n+2 (x) = (n + 2)(n + 1)[L00n (x) − 2L0n (x) + Ln (x)] (1c)

Ahora, reemplazando de nuevo n por n+1 pero en la ecuación (10) y derivando dos veces con
respecto a x:

L00n+2 (x) + xL00n+1 (x) + 2L0n+1 (x) − (2n + 3)L00n+1 (x) + (n + 1)2 L00n (x) = 0

Reemplazando (1a), (1b) y (1c) en la ecuación anterior:

(n + 2)[L00n (x) − 2L0n (x) + Ln (x)] + (x − 2n − 3)[L00n (x) − L0n (x)] + 2[L0n (x) − Ln (x)] + (n + 1)L00n (x) = 0

Finalmente, simplificando se obtiene la ecuación de Laguerre:

d2 d
x Ln (x) + (1 − x) Ln (x) + nLn (x) = 0 (12)
dx2 dx
Derivando m veces la ecuación de Laguerre usando la fórmula de Leibniz (8), con un cambio de
notación en el cual los ı́ndices superiores de los polinomios de Laguerre representan el orden de la
derivada:
dm
  2 
d
x Ln (x) = xLm+2n (x) + mLm+1
n (x)
dxm dx2
dm
  
d
x L n (x) = xLm+1
n (x) + mLmn (x)
dxm dx

6
 xLm+2
n (x) + mLm+1
n (x) + Lm+1
n (x) − xLm+1
n (x) − mLm m
n (x) + nLn (x) = 0

Simplificando el resultado obtenido en el paso anterior se llega a la ecuación asociada de Laguerre,

cuyas soluciones son los polinomios asociados de Laguerre y será usada para solucionar la parte
radial de la separación de variables:
d2 m d
x Ln (x) + (m − x + 1) Lm (x) + (n − m)Lm
n (x) = 0 (13)
dx 2 dx n

Las funciones de Laguerre son ortogonales en el intervalo 0 ≤ x < ∞ y se definen de la siguiente

manera:
Φkj (x) = e−x/2 xk/2 Lkj (x)
Sin embargo, para la solución no se usarán estas funciones, sino unas con un pequeño cambio:

yjk (x) = e−x/2 x(k+1)/2 Lkj (x)

Que son solución a la siguiente ecuación diferencial:

1 2j + k + 1 k 2 − 1 k
 
k00
yj (x) + − + − yj (x) = 0 (14)
4 2x 4x2

La atención especial hacia la función yjk (x) y a su ecuación diferencial, reside en que es posible
reducir la ecuación (5) a una forma similar a la ecuación (14). Debe probarse si realmente yjk (x) es
solución a (14), para facilitar la escritura del precedimiento v = Lkj (x)

y = e−x/2 x(k+1)/2 v
 
1 k+1
y0 = − v + v + v 0 e−x/2 x(k+1)/2
2 2x
 
00 1 1 0 k+1 k+1k−1 k+1 0 00 −x/2 (k+1)/2
y = v− v + v+ v+ v +v e x
4 2 x 2x 2x x
Reemplazando y 0 y y 00 en (14), luego dividiendo por el factor común de los términos e−x/2 x(k+1)/2
y reduciendo la expresión:
k+1 0 j
v 00 − v 0 + v + =0
x x
Equivalente a:
xv 00 + (1 − x + k)v 0 + jv = 0
Que se reduce a la ecuación asociada a los polinomios de Laguerre (13) y se cumple si v = Lkj (x).
Entonces se concluye que yjk (x) es solución a (14) y se usará en el próximo resultado.
Para la ecuación (5), realizando un cambio de variable descrito por R(r) = y(r)/r:
   
d d d d
r2 R(r) = r2 (r−1 y(r)) = ry 00 (r)
dr dr dr dr
Reemplazando en la ecuación (5) y organizando términos queda:

d2 y(r) 2µZe2
 
2µE l(l + 1)
+ + − y(r) = 0
dr2 h̄2 4πε0 r h̄2 r2
 2
Ahora se hace γ2 = −2µEh̄2
y x = rγ lo cual implica (por regla de la cadena) que y 00 (r) = γ 2 y 00 (x)
y se obtiene:
d2 y(x) 2µZe2
 
1 l(l + 1)
+ − − y(x) = 0 (15)
dx2 4πε0 h̄2 xγ 4 x2

7
La ecuación (15) es equivalente a la (14) con:

k 2 − 1 2µZe2 2j + k + 1
l(l + 1) = ; =
4 4πε0 h̄2 γ 2

por lo tanto sus soluciones estarán dadas por las funciones yjk (x) con algunos cambios indiciales y
de variables que serán presentados a continuación.
De la primera igualdad anterior que relaciona a l con k se obtiene que k = 2l + 1 y:

2j + k + 1 2j + 2l + 2
= =n⇒j =n−l−1
2 2
En mecánica cuántica n se conoce como el número cuántico principal.
Después de obtener correctamente los ı́ndices, se retornará a la variable original r y encontrar R(r).

2µZe2 2µZe2 x
2 =n⇒γ = 2 = r
4πε0 h̄ γ 4πε0 h̄ n
l+1
2
2µZe2 r 2µZe2 r
µZe r
  
− 4πε
ynl (r) =e h̄2 n
0 L2l+1
n−l−1
4πε0 h̄2 n 4πε0 h̄2 n
Pero R(r) = y(r)/r y finalmente la solución de la ecuación (5) se halla:
l
2µZe2 r 2µZe2 r
2

µZe r

− 4πε
2l+1 h̄2 n
R(r) = Ae Ln−l−1 0
4πε0 h̄2 n 4πε0 h̄2 n
 
2µZe2
Donde la constante A absorbe el factor 4πε 2
0 h̄ n
que resulta de dividir entre r.

Para hallar la constante de normalización A, se reescribirá la ecuación de la siguiente forma para

simplificar la escritura, el valor de aµ se especificará después del proceso de normalización de R(r):
 l  
−Zr 2Zr 2Zr
R(r) = Ae naµ L2l+1
n−l−1
naµ naµ

Se usarán dos relaciones [2] para hallar A, serán llamadas propiedad ’2a’ y propiedad ’2b’ respecti-
vamente: Z ∞
[Γ(a + b + 1)]3
z a e−z Lab (z)Lab (z)dz = δb,c
0 Γ(b + 1)
b+1
zLab (z) = (a + 2b + 1)Lab (z) − La (z) − (a + b)2 Lab−1 (z)
a + b + 1 b+1
Agrupando los términos señalados por los corchetes e incluyendo el r2 presente en la integral por
el jacobiano para coordenadas esféricas:
 3 Z ∞  2l+1        
2 2aµ −Zr 2Zr 2Zr 2l+1 2Zr 2l+1 2Zr 2Zr
A e naµ
Ln−l−1 Ln−l−1 d
2Z 0 naµ naµ naµ naµ naµ

Usando la propiedad (2b) para los términos asociados y teniendo en cuenta de que si integramos
polinomios asociados de Laguerre con subı́ndices desiguales la integral se hace cero, se llega a:
 3 Z ∞  2l+1       
naµ −Zr 2Zr 2Zr 2Zr 2Zr
A2 e naµ 2nL2l+1
n−l−1 L2l+1
n−l−1 d
2Z 0 naµ naµ naµ naµ

8
 Sacando la constante 2n y aplicando la propiedad (2a), sabiendo que la función Γ(n) = (n − 1)! e
igualando a 1:
3
[(n + l)!]3

naµ
A2 (2n) =1
2Z (n − l − 1)!
Finalmente, la constante de normalización para R(r):
s 3
2Z (n − l − 1)!
A=
naµ 2n[(n + l)!]3

Y la función solución de la ecuación (5):

s 3  l  
2Z (n − l − 1)! −Zr 2Zr 2l+1 2Zr
R(r) = e naµ
L n−l−1
naµ 2n[(n + l)!]3 naµ naµ

Si se reemplaza la solución de cada una de las ecuaciones (3), (4) y (5) se obtendrá la autofunción
para la ecuación (1) que debe corresponder con la propuesta por el ejercicio para que se compruebe
lo requerido en el examen:
l
µZe2 r 2µZe2 r 2µZe2 r
  
−
Ψ(r, θ, ϕ) = N e imϕ
Plm (cosθ)e 4πε0h̄2 n L2l+1
n−l−1
4πε0 h̄2 n 4πε0 h̄2 n
Donde N es una constante que absorbe las tres constantes de normalización halladas por separado;
N = ABK. Y con la cual se garantiza que la probabilidad de encontrar la partı́cula (electrón) en un
volumen infinitesimal sea menor o igual que uno. La probabilidad estarı́a definida ası́, integrando
en todo el espacio: Z
|Ψn,l,m (r, θ, ϕ)|2 dV = 1

Comparando con la solución propuesta en el examen se puede llegar a conocer la constante aµ :

2µZe2 r 2Zr 4πε0 h̄2

2 = na ⇒ aµ = µe2
4πε0 h̄ n µ

No se puede desaprovechar la oportunidad de obtener un resultado importante como los autovalores

de la ecuación (1), que corresponden a la energı́a para átomos hidrogenoides:
 2
γ −2µE 2Z Z 2 h̄2
= ; γ = ⇒ En = −
2 h̄2 aµ n 2µa2µ n2

Los eigen valores, es decir la energı́a, para la ecuación (1) solo dependen de el valor de ’n’ y por lo
tanto presentan degeneración con respecto a l y m.Entonces, para cada valor de n, l puede tomar
valores desde 0 hasta n-1, y para cada uno de estos valores m varı́a desde -l hasta l pasando por 0.
El grado total de degeneración de los autovalores se calcula ası́:
n−1
X n(n − 1)
(2l + 1) = 2 + n = n2
2
l=0

2. Usando el método de separación de variables para la ecuación de difusión sobre la superficie de una
esfera, suponiendo que P (θ, ϕ, t) = E(t)p(θ, ϕ), se hallará una solución general:
 
∂P (θ, ϕ, t) 1 1 2
= ∂θ (sinθ∂θ ) + ∂ P (θ, ϕ, t) (16)
∂t sinθ sin2 θ ϕ

9
Suponiendo la solución propuesta por el problema:
 
dE(t) E(t) E(t) 2
p(θ, ϕ) = ∂θ (sinθ∂θ p(θ, ϕ)) + ∂ p(θ, ϕ)
dt sinθ sin2 θ ϕ

1 dE(t) 1 1
= ∂θ (sinθ∂θ p(θ, ϕ)) + ∂ 2 p(θ, ϕ)
E(t) dt p(θ, ϕ)sinθ p(θ, ϕ)sin2 θ ϕ
Se observa que el lado derecho de la ecuación no depende del tiempo, mientras que el lado izquierdo no
depende de ninguna de las coordenadas angulares. Para que la igualdad se cumpla, ambos lados de la
ecuación deben ser iguales a una constante que en este caso será de manera conveniente −k(k + 1).
La ecuación dependiente del tiempo queda:

dE(t)
+ k(k + 1)E(t) = 0 (17)
dt
Cuyas soluciones están dadas por E(t) = c1 e−k(k+1)t , función que representa un decaimiento exponencial
en función del tiempo para la energı́a.
La parte angular estará descrita por:
1 1
∂θ (sinθ∂θ p(θ, ϕ)) + ∂ 2 p(θ, ϕ) + k(k + 1)p(θ, ϕ) = 0 (18)
sinθ sin2 θ ϕ
Si se toma p(θ, ϕ) = Θ(θ)Φ(ϕ) es posible llegar a una ecuación donde un lado depende solamente de
ϕ y el otro de θ, y por lo tanto es posible separar en dos ecuaciones diferenciales que están relacionadas
por una constante −m2 :

Φ(ϕ) 1
dθ (sinθdθ Θ(θ)) + d2 Φ(ϕ) + k(k + 1)Θ(θ)Φ(ϕ) = 0
sinθ sin2 θ ϕ
Separando en dos ecuaciones:
d2 Φ
= −m2 Φ
dϕ2
d2 Θ cosθ dΘ m2
 
+ + l(l + 1) − Θ=0
dθ2 sinθ dθ sin2 θ
Las cuales son, respectivamente, equivalentes a las ecuaciones (3) y (4) obtenidas en el desarrollo del
problema número 1. Usando los resultados encontrados anteriormente para las soluciones de estas dos
ecuaciones se puede escribir a p(θ, ϕ) como:

p(θ, ϕ) = Ykm (θ, ϕ) = eimϕ Pkm (cosθ)

Estas funciones, normalizadas, se conocen comúnmente como armónicos esféricos y sobre la superficie de
una esfera conforman un conjunto ortonormal. Escribiendo la solución obtenida para la función P (θ, ϕ, t):

P (θ, ϕ, t) = c1 e−k(k+1)t eimϕ Pkm (cosθ)

La condición inicial del problema se establece cuando t = 0 y por lo tanto la función P (θ, ϕ, 0) puede ser
escrita como una combinación lineal de armónicos esféricos en donde los ı́ndices k y m están relacionados
por |m| ≤ l: X
P (θ, ϕ, 0) = Ckm eimϕ Pkm (cosθ)
k,m

Igualando la expresión anterior a la condición propuesta por el problema:

δ(θ − θ0 )δ(ϕ − ϕ0 ) X
= Ckm eimϕ Pkm (cosθ)
sinθ
k,m

10
 0
Multiplicando ambos lados por el conjugado de Ykm0 (θ, ϕ):

0 0 δ(θ − θ0 )δ(ϕ − ϕ0 ) X 0 0
e−im ϕ Pkm0 (cosθ) = Ckm eimϕ Pkm (cosθ)e−im ϕ Pkm0 (cosθ)
sinθ
k,m

Integrando en el espacio a ambos lados, analizando primero el lado izquierdo:

Z 2π Z π  
−im0 ϕ m0 δ(θ − θ0 )δ(ϕ − ϕ0 )
e Pk0 (cosθ) sinθdθdϕ
0 0 sinθ

Aprovechando que las variables ϕ y θ son independientes, es posible expresar las integrales de la manera
que se muestra a continuación y solucionarlas aplicando propiedades de la función delta de Dirac vistas
en clase: Z 2π Z π
0 0 0 0
e−im ϕ δ(ϕ − ϕ0 )dϕ Pkm0 (cosθ)δ(θ − θ0 )dθ = e−im ϕ0 Pkm0 (cosθ0 )
0 0
La parte derecha de la ecuación es no nula si k=k’ por parte de los polinomios asociados de Legendre
y si m=m’ por parte de la función armónica exponencial, aplicando estas dos condiciones queda:
Z 2π Z π Z 1
0 0 0 0
Ck 0 m0 e−i(m −m )ϕ dϕ [Pkm0 (cosθ)]2 sinθdθ = Ck0 m0 (2π) [Pkm0 (u)]2 du
0 0 −1

La integral del cuadrado de los polinomios asociados es un resultado obtenido en el primer punto cuando
se hallan las constantes de normalización, por lo tanto solo se reemplazará su valor y se igualará al
resultado obtenido de desarrollar el lado izquierdo de la ecuación:
 
2(k + m)!
Ckm (2π) = e−imϕ0 Pkm (cosθ0 )
(2k + 1)(k − m)!

Finalmente despejando Ckm y formulando una solución general , donde E0 es la energı́a inicial:
X e−imϕ0 P m (cosθ0 )
P (θ, ϕ, t) = E0 e−k(k+1)t  k  eimϕ Pkm (cosθ)
2(k+m)!
(2k+1)(k−m)! (2π)
k,m

Bibliografı́a y referencias.

[1]Griffiths, David J.. Introduction to quantum mechanics. 2nd ed. Upper Saddle River, NJ: Pearson
Prentice Hall, 2005.
[2] Morse, Philip M., and Herman Feshbach. Methods of theoretical physics. New York: McGraw-Hill,
1953.
-Arfken, George B., and Hans Weber. Mathematical methods for physicists. 7th ed. Boston: Elsevier,
2005.
-Tang, K. T.. Mathematical methods for engineers and scientists. Berlin: Springer, 2007.
-Hassani, Sadri. Mathematical methods using Mathematica for students of physics and related fields.
New York: Springer-Verlag, 2003.
-Eisberg, Robert Martin, and Robert Resnick. Fı́sica cuántica: átomos, moléculas, sólidos, núcleos y
partı́culas. México: Limusa, 1978.

11