Tarea #4: Rotacin en el hamiltoniano

Marco Antonio Zrate Navarro

1

Introduccin

El laplaciano en coordenadas esfricas lleva a la ecuacin de Legendre, que tiene una solucin muy particular...

Obtencin de la EDP

El movimiento vibracional y la energa potencial no se consideran. Una vez que se denen los operadores para el
momento angular, se tiene



z
Lx = i} y
z
y



x
Ly = i} z
x
z



Lz = i} x
y
y
x

(1)

puesto que en coordenadas cartesianas no se pueden separar variables, se tratar el problema en coordenadas
esfricas [Levine, 2009, Captulo 5]:


x = i} sin () + cot () cos ()
L




y = i} cos ()
L
cot () sin ()

z = i}
L

(2)

2 = L
L
 2

1
2
2 = } + cot () +
L
2
sin2 () 2

(3)

con

el operador
2 = }2
L

sin ()



 2 

sin ()
+
2

sin () 2

(4)

2 y L
z , las cuales de denen como Y (ver que
se aplica en la funcin Y (, ). Se tienen dos eigenfunciones, L
2

H = L /2I ). Puesto que estos operadores involucran y , Y es una funcin de estas dos coordenadas: Y = Y (, )
(, ) = EY (, )
HY

(5)

dando




 2 
1

}2
sin ()
+
Y (, ) = EY (, )
2
2I sin ()

sin () 2

deniendo la constante

(6)

 :=

2IE
}2

con I = m1 l1 + m2 l2 , pero simplicando a I == l2 para obtener un problema de un solo cuerpo. Con esto se
obtiene
sin ()


sin ()


+

2Y
+ sin2 () Y = 0
2

(7)

En este coordenado, se puede aplicar el mtodo de separacin de variables proponiendo que la funcin es el producto
de dos funciones de cada argumento...
(8)

Y (, ) = () ()

Esto da en la EDP separable



2
() () + sin2 () () () = 0
sin () () () +
2




()
2 ()
() sin ()
sin ()
+ ()
+ sin2 () () () = 0

2


1

()
1 2 ()
sin ()
sin ()
+ sin2 () =
()

() 2

sin ()

(9)

se obtienen 2 ecuaciones diferenciales, las cuales son iguales a una constante de manera que sumadas den cero:

1
sin ()
()


sin ()

()

+ sin2 () = m2

1 2 ()
= m2
() 2

(10)
(11)

Solucin de las EDOs generadas

La Ecuacin (11) es fcil de resolver con el operador D

D2 = D0 (1) m2


D=
1 (m)
= im

entonces hay una solucin para cada signo

()

Am exp (im)

Am exp (im)

que por la idendtidad de Euler se sabe que () = ( + 2), o sea exp (i2m) = 1, entonces m = 0, 1, 2, . . .
deben de ser enteros para que se cumpla esto y se le llama nmero cuntico magntico [Field et al., 2013]. Estas
ecuaciones se resumen en
m () = Am exp (im)

(12)

el dominio de la funcin es m () [0, 2], as que para ortogonalizar se hace

m () m () d = 1
0

que al multiplicarse por el conjugado, m () m () = exp (im + im) = 1 , por lo que

Am = A = 1/ 2

(13)

Para resolver la Ec. (10) se tiene que hacer un cambio de variables:

x = cos ()
() = P (x)

por lo que dx/d = sin (), y dx/ sin () = d. El dominio [0, ] cambia a x [0, 1]. Adems, sin2 () =
1 cos2 () = 1 x2 , por lo que
d
dP d
=
d dx
d
=


d
sin () d
sin () + sin2 () = m2
() d
d

   


1
d
d
dx
dx
(sin ())
sin () P (x)
+ 1 x2 = m2
P (x)
dx
dx
d
d




d
dP (x)
(sin ())
sin ()
( sin ()) ( sin ()) + 1 x2 = P (x) m2
dx
dx





d
dP (x)
2
2
1x
sin ()
+ P (x) 1 x2 = P (x) m2
dx
dx



d




2
2 dP (x)
1x
1x
+ P (x) 1 x2 = P (x) m2
dx
dx
2

d P (x)
P (x) m2
dP (x)
+ 1 x2
+
P
(x)

=0
2x2
dx
dx2
(1 x2 )



d2 P (x)
m2
2 dP (x)
1 x2

2x
+
P
(x)

=0
dx2
dx
(1 x2 )

que es la ecuacin de Legendre... La restriccin en la continuidad de () lleva a que est cuantizado. Por lo que
se propone (sin pruebas)
= l (l + 1) ,

l = 0, 1, . . .

y
m = 0, 1, 2, . . . , l

lo que lleva a la cuantizacin de la energa [McQuarrie, 2008]

=

La solucin total para los nmeros m y l es

2IE
}2
E=
2
}
2I

1
Ylm =
2

exp (im) m
l ()

Y las soluciones para la ecuacin de Legendre estn dadas por [Levi, 2006]
m

Plm (x) = (1)

1 x2

m/2 dm
Pl (x)
dxm

que son los polinomios asociados de Legendre. Los polinomios de Legendre estn dados por
Pl (x) =

l
1 dl
x2 1
l
l
2 l! dx

Estas soluciones se obtienen mediante series innitas del tipo

P =

X
l=1

am xm

(14)

que, para obtener los coecientes am se trata de un proceso ms o menos sencillo, pero muy engorroso que se puede
ver en [Kreyszig, 2010, Cap. 5,2] . Tambin se pueden escribir como
Pl (x) =

l
k
i
X
(1) (l + k)! h
k
l
k
(1

x)
+
(1)
(1
+
x)
(1 k)! (k!) 2k+1

k=0

Los polinomios de Legendre tambin se pueden dar en trminos de cosenos volviendo a la variable original x = cos ()
m

Plm (cos ()) = (1) (sin ())

dm
m (Pl (cos ()))
d (cos ())

Los polinomios de Legendre son ortogonales en el dominio [1, 1], por lo que

si i = j

Pi (x) Pj (x) dx = 0,
1

Armnico esfrico

Se normaliza la funcin para que d la unidad

|Ylm (, )| sin () dd = 1


2


1/2
d (2)
exp (im) = 1

|m
l (x)| dx = 1
1

suponiendo que 0 m l, la ortogonalidad de los polinomios de Legendre da

Pkm Plm dx =
1

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

o en trminos de la variable propuesta (que da lo mismo)...

m
|Am
l Pl (cos ())| ( sin () d) = 1
0
2

(Am
l )

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

Am
=
l

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

1/2

Entonces, los armnicos esfricos son...

Ylm


=

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

1/2

Plm (cos ()) exp (im)

= EY para el rotor rgido. Un ejemplo grco de estas funciones se muestra

que son las eigenfunciones de HY
ms abajo, que est hecho con Matlab. Se muestra el valor absoluto... se pueden descomponer en parte real e
imaginaria.

2
Figure 1: Yml  con l = 0, m = 0

|Y 11 | 2

2
Figure 2: Yml  con l = 1, m = 1

|Y 23 | 2

2
Figure 3: Yml  con l = 2, m = 3

References
Robert Field, Troy van Voorhis, Balan, Arunima, and Alex Kohn. Lectures on quantum mechanics: The rigid rotor
i (lecture 16). Fall 2013.

Advanced engineering mathematics. John Wiley & Sons, 2010.

Anthony Frederic John Levi. Applied quantum mechanics. Cambridge University Press, 2006.
Ira N Levine. Quantum chemistry, volume 6. Pearson Prentice Hall Upper Saddle River, NJ, 2009.
Donald Allan McQuarrie. Quantum chemistry. University Science Books, 2008.
Erwin Kreyszig.