Mecánica Cuántica I

Karen M Fonseca Romero

CONTENIDO DEL CAPÍTULO SOBRE MOMENTO ANGULAR
▸ Las rotaciones en tres dimensiones no conmutan.

▸ Deducción de la fórmula de Rodrigues de la rotación de un vector v alrededor

de un vector unitario k por un ángulo θ.
v rot = v + k k ⋅ v (1 − cos(θ)) + k × v sin(θ)
T
∑
Deducción del generador de las rotaciones alrededor de k . 𝕁 = i k× ejej
▸ k
j

▸ Deducción de las relaciones de conmutación entre generadores de las

rotaciones. [𝕁 a , 𝕁 ] = i | a × b | 𝕁 , [𝕁i, 𝕁j] = iϵijk𝕁k, en donde el subíndice n
b (a×b)n
significa que el vector se ha normalizado.
CONTENIDO DEL CAPÍTULO SOBRE MOMENTO ANGULAR
2
▸ Definición del operador 𝕁 y deducción de las reglas de conmutación
2
[𝕁 , 𝕁i] = 0.

▸ Cuantización como identificador de los generadores de las simetrías y

T 2 2
∑
reescalamiento de los generadores, 𝕁 → iℏ k × e j e j , 𝕁 → 2ℏ 𝕀.
k
j

▸ Deducción de las relaciones de conmutación entre generadores de las

rotaciones. [𝕁 a , 𝕁 ] = i | a × b | 𝕁 , [𝕁i, 𝕁j] = iϵijk𝕁k
b (a×b)
n

▸ Cuantización canónica de momento angular (promover coordenadas y

momentos a operadores) y verificación de que satisfacen las reglas de
2
conmutación [𝕁i, 𝕁j] = iϵijkℏ𝕁k, [𝕁 , 𝕁i] = 0
CONTENIDO DEL CAPÍTULO SOBRE MOMENTO ANGULAR
▸ Definición de los operadores escalera J± = Jx ± iJy y deducción de las reglas
de conmutación [Jz, J±] = ± ℏJ± y [J+, J−] = 2ℏJz.
2
▸ Deducción del espectro de los operadores J y Jz. Deducción de las
2 2
ecuaciones de autovalores y autovectores L | j, m⟩ = ℏ j( j + 1) | j, m⟩ y
Lz | j, m⟩ = ℏm | j, m⟩.

▸ Deducción de la acción de los operadores escalera sobre los autoestados

comunes de J y Jz, J± | j, m⟩ = ℏ j( j + 1) − m(m ± 1) | j, m ± 1⟩ .
2
LAS ROTACIONES NO CONMUTAN
Now we're going to talk about one of the more perplexing elements of
rotations in 3D. I've got three coordinate frames here and they're all
initially parallel to each other. The x-axes, the y-axes and the z-axes are
all aligned. I'm going to pick up the first one, the red one, and I'm going
to rotate it by +90 degrees around its x-axis. Positive is in this direction
so after rotating it by 90 degrees in x-axis, it looks like this. And now I'm
going to rotate it by +90 degrees around the y-axis. So this frame is
going to end up looking like this. This is its final orientation. I'm just going
to put it down there. I'm going to pick up the blue frame and I'm going to
do the rotation within the opposite order. First of all, I'm going to rotate it
by +90 degrees around the y-axis. That's the positive direction. So it's
initially going to look like this. And now I'm going to rotate it by +90
degrees around the x-axis. The x-axis is now pointing downwards, that's
the positive rotation direction. So this is what the final orientation will
look like. And we can see that these two frames have gotten very, very
different orientations. So when it comes to doing rotations in three
dimensions, the order in which you do them is critically important.
Rotations are not to commutative.
 FÓRMULA DE RODRIGUES PARA LAS ROTACIONES
Girar v alrededor de k (de norma unidad) por un
ángulo θ, positivo usando la regla de la mano derecha.

El vector v ||, la proyección de v a lo largo de k ,

v || = k ⋅ v , permanece quieto.

El vector v ⊥ rota en el plano formado por v ⊥ y w .

El vector w es igual al producto vectorial de k por v ⊥.
El vector v ⊥ es igual a la diferencia entre v y v ||.
v ⊥ = v − v || = v − v ⋅ k k w = k × v⊥ = k × v − v ⋅ k k × k = k × v
FÓRMULA DE RODRIGUES PARA LAS ROTACIONES
Girar v alrededor de k por un ángulo θ.
v || = k ⋅ v permanece quieto.
v⊥ = v − v ⋅ k k, w= k×v
El vector v ⊥ rotado es v ′⊥ = v ⊥ cos(θ) + w sin(θ)
El vector v rotado es v rot = v || + v ′⊥
v rot = k k ⋅ v + v ⊥ cos(θ) + w sin(θ)
v rot = k k ⋅ v + ( v − k k ⋅ v )cos(θ) + k × v sin(θ)

v rot = v + k k ⋅ v (1 − cos(θ)) + k × v sin(θ)

FÓRMULA DE RODRIGUES PARA LAS ROTACIONES
Girar v alrededor de k por un ángulo θ.
El vector v rotado es v rot = v + k k ⋅ v (1 − cos(θ)) + k × v sin(θ)

( )
T T
∑
v rot = 𝕀 + (1 − cos(θ)) k k + sin(θ) k× eiei v
i

∑
(𝕀 = e j e j ⋅ ). Rotaciones alrededor del mismo eje conmutan
j N

( )
θ T θ T
∑
v rot = 𝕀 + (1 − cos( )) k k + sin( ) k × eiei v
N N i N

N→∞ ( )
θ T θ ∑ k × e e T

N∑
v rot = lim 𝕀 + k × eiei v =e i i i v
i
GENERADORES DE LAS ROTACIONES
Girar v alrededor de k por un ángulo θ.
El vector v rotado esv rot = v + k k ⋅ v (1 − cos(θ)) + k × v sin(θ)
T
θ ∑i k × e i e Ti −iθ(i ∑j k × e j e j ) −iθ𝕁 k
v rot = e v =e v =e v
Supongamos que hacemos dos rotaciones en torno a ejes
diferentes y después las deshacemos mismo en el orden.
iθ𝕁 b iθ𝕁 a −iθ𝕁 b −iθ𝕁 a
e e e e
Consideremos rotaciones infinitesimales
2
−iϵ𝕁 a ϵ
e ≈ 𝕀 − iϵ𝕁 a −
2
 GENERADORES DE LAS ROTACIONES
Supongamos que hacemos dos rotaciones en torno a ejes diferentes y después las deshacemos mismo en el orden.
iθ𝕁 b iθ𝕁 a −iθ𝕁 b −iθ𝕁 a
e e e e Consideremos rotaciones infinitesimales
2
−iϵ𝕁 a ϵ 2
e ≈ 𝕀 − iϵ𝕁 a − 𝕁 a
2
2 2
−iϵ𝕁 b −iϵ𝕁 a ϵ 2 ϵ 2
e e ≈ (𝕀 − iϵ𝕁 b − 𝕁 )(𝕀 − iϵ𝕁 a − 𝕁 a )
2 b ϵ2 ϵ 2 2
2 2 2
≈ 𝕀 − iϵ𝕁 b − iϵ𝕁 a − 𝕁 − 𝕁 a − ϵ 𝕁 b 𝕁 a
2 b 2
2 2
iϵ𝕁 b iϵ𝕁 a ϵ 2 ϵ 2 2
e e ≈ 𝕀 + iϵ𝕁 b + iϵ𝕁 a − 𝕁 − 𝕁 a − ϵ 𝕁 b 𝕁 a
2 b 2
El producto de las cuatro rotaciones es de la forma
2 2 2 2 2
(𝕀 + iϵ𝔸 − ϵ 𝔹)(𝕀 − iϵ𝔸 − ϵ 𝔹) ≈ 𝕀 − 2ϵ 𝔹 + ϵ 𝔸
2 2 2 2 2
≈𝕀−ϵ (𝕁 + 𝕁a + 2𝕁 b 𝕁 a ) + ϵ (𝕁 b + 𝕁 a )
b
 CONMUTADOR DE LOS GENERADORES DE LAS ROTACIONES
Supongamos que hacemos dos rotaciones en torno a ejes diferentes y después las deshacemos mismo en el orden.
iθ𝕁 b iθ𝕁 a −iθ𝕁 b −iθ𝕁 a
e e e e
El producto de las cuatro rotaciones es
2 2 2 2 2 2
≈ 𝕀 − ϵ (𝕁 + 𝕁a + 2𝕁 b 𝕁 a ) + ϵ (𝕁 + 𝕁a + 𝕁b𝕁a + 𝕁a𝕁b)
b b
2 2
≈ 𝕀 + ϵ (𝕁 a 𝕁 b − 𝕁 b 𝕁 a ) = 𝕀 + ϵ [𝕁 a , 𝕁 b ]
Escribimos el resultado de la siguiente manera

iϵ𝕁 b iϵ𝕁 a −iϵ𝕁 b −iϵ𝕁 a 2

e e e e ≈ 𝕀 + ϵ [𝕁 a , 𝕁 b ]
Aplicamos el conmutador a un vector c

[𝕁 a , 𝕁 b ] c = a ⃗ × ( b × c ) − b × ( a × c )
El triple producto vectorial satisface la identidad de Jacobi

a × (b × c ) + b × (c × a ) + c × (a × b) = 0
CONMUTADOR DE LOS GENERADORES
Aplicamos el conmutador a un vector
DE
c⃗
LAS ROTACIONES
2
[𝕁 a , 𝕁 b ] c = i ( a × ( b × c ) − b × ( a × c ))
El triple producto vectorial satisface la identidad de Jacobi

a × (b × c ) + b × (c × a ) + c × (a × b) = 0
la cual también puede escribirse como

a × (b × c ) − b × (a × c ) = (a × b) × c
Aunque a ⃗ y b ⃗ tienen magnitud unidad, a ⃗ × b ⃗ en general no.

(a × b)
a × (b × c ) − b × (a × c ) = | a × b | ×c
|a × b|
Así, podemos escribir
i( a × b )
[𝕁 a , 𝕁 b ] c = i | a × b | × c = i | a × b | 𝕁( a × b ) c
|a × b|
n
 CONMUTADOR DE LOS GENERADORES DE LAS ROTACIONES
[𝕁 a , 𝕁 b ] = i | a × b | 𝕁( a × b )
n

El subíndice n indica que el vector se ha normalizado. Si a = e x y b = e y, entoces

a × b = e x × e y = e z. Así [𝕁x, 𝕁y] = i𝕁z

Para tener en cuenta las permutaciones y el hecho de que un operador conmuta consigo mismo podemos escribir

[𝕁i, 𝕁j] = iϵijk𝕁k

en donde se ha usado la convención de Einstein de suma sobre índices repetidos; ϵ es el tensor totalmente
antisimétrico de Levi-Civita. ϵ123 = 1 y sus permutaciones cíclicas (ϵ231, ϵ312), ϵ321 = − 1 y sus permutaciones
cíclicas (ϵ213, ϵ132). En todos los demás casos, ϵ es cero.
 EL CUADRADO DEL MOMENTO ANGULAR
Definimos el cuadrado del momento angular como
2
𝕁 = 𝕁x𝕁x + 𝕁y𝕁y + 𝕁z𝕁z
y lo aplicamos a un vector v.
2 2
𝕁 v = i ( e x × ( e x × v ) + e y × ( e y × v ) + e z × ( e z × v ))
Vamos a usar la expansión de Lagrange del triple producto vectorial

a × (b × c ) = (a ⋅ c )b − (a ⋅ b)c .
𝕁 v = −( e x ⋅ v ⃗ e x + e y ⋅ v e y + e z ⋅ v ⃗ e z⃗ ) + ( e x ⋅ e x v + e y ⋅ e y v + e z ⋅ e z v )
2

= − v + 3 v = 2𝕀 v
2
Como 𝕁 es proporcional a la identidad, conmuta con todos los generadores de las rotaciones

2 2
[𝕁 , 𝕁 k ] = 0, [𝕁 , 𝕁i] = 0
 CUANTIZACIÓN DEL MOMENTO ANGULAR
Es conveniente reescalar los operadores para que no sean adimensionales
T T
∑ ∑
𝕁k = i k× ejej → 𝕁 k = iℏ k× ejej
j j
2 2 2
𝕁 = 2𝕀 → 𝕁 = ℏ 𝕀
A cada operación física (como una rotación) se le asigna una representación matemática.
Una rotación de θ alrededor de un eje k se representa por la matriz
−iθ𝕁 k /ℏ
ℝ = ℝ( k , θ) = e porque actúa sobre vectores tridimensionales. Si el estado de un
sistema se representa por el estado | ψ⟩, después de una rotación, el nuevo estado será
| ψ′⟩ = 𝒟(ℝ) | ψ⟩ = 𝒟(ℝ( k , θ)) | ψ⟩. Los operadores unitarios 𝒟 deben satisfacer
θJ
k
−i
relaciones iguales a las que satisfacen las rotaciones. En particular, 𝒟(ℝ( k , θ)) = e ℏ .
Los generadores clásicos y cuánticos de las rotaciones tienen los mismos nombres y
satisfacen las mismas relaciones.
L. E. Ballentine. Quantum Mechanics. A modern development. (World Scientific,
1998)
T. F. Jordan. Linear Operators for Quantum Mechanics (John Wiley & Sons, 1969).
T. F. Jordan. “Why −i∇ Is the Momentum”, Am. J. Phys. 43,1089–1093 (1975).
 CUANTIZACIÓN CANÓNICA DEL MOMENTO ANGULAR
ex ey ez
Cuánticamente, ¿se podrá definir el momento angular
L=r×p= x y z
px py pz interpretando las coordenadas y los momentos como operadores?

[Lx, Ly] = [ypz − zpy, − xpz + zpx] = y[pz, z]px + x[z, pz]py
= iℏ(xpy − ypx) = iℏLz

[Li, Lj] = iℏϵijk Lk 2

[L , Li] = 0
2 2 2 2
[L , Lz] = [Lx+ + Ly Lz , Lz]
= {Lx, [Lx, Lz]} + {Ly, [Ly, Lz]}
= iℏ (−LxLy − LyLx + LyLx + LxLy) = 0
 CUANTIZACIÓN CANÓNICA DEL MOMENTO ANGULAR
[Li, Lj] = iℏϵijk Lk 2
[L , Li] = 0 Si dos operadores conmutan, tienen autoestados comunes
2 2
L | β, m⟩ = ℏ β | β, m⟩ Lz | β, m⟩ = ℏm | β, m⟩
2 2 2 2 2
ℏ β = ⟨β, m | L | β, m⟩ ≥ ⟨β, m | Lz | β, m⟩ =ℏm
Definimos los operadores escalera J+ = Jx + iJy J− = Jx − iJy
± ± ±
[Jz, J±] = [Jz, Jx iJy] = [Jz, Jx] i[Jz, Jy] = iℏJy i(−iℏJx) = i( ) ℏJy ± ℏJx
± 2

= ± ℏ(Jx ± iJy) = ± ℏJ±

[J+, J−] = [Jx + iJy, Jx − iJy]= − i[Jx, Jy] + i[Jy, Jx] = − i(iℏJz) + i(−iℏJz)
= 2Jz
JzJ± | β, m⟩ = ([Jz, J±] + J±Jz) | β, m⟩ = (± ℏJ± + J±ℏm) | β, m⟩ = ℏ(m ± 1)J± | β, m⟩
Concluimos que J+ | β, m⟩ es un vector cuyo autovalor de Jz es ℏ(m + 1)
Concluimos que J− | β, m⟩ es un vector cuyo autovalor de Jz es ℏ(m − 1)
 CUANTIZACIÓN CANÓNICA DEL MOMENTO ANGULAR
2 2
L | β, m⟩ = ℏ β | β, m⟩ Lz | β, m⟩ = ℏm | β, m⟩ β≥m 2

JzJ± | β, m⟩ = ℏ(m ± 1)J± | β, m⟩ Debe existir un valor máximo de m, j = mMax

No podemos aumentar el valor de m cuando vale j. Así

J+ | β, j⟩ = 0 = J−J+ | β, j⟩ = (Jx − iJy)(Jx + iJy) | β, j⟩ = (Jx2 + Jy2 + i(JxJy − JyJx)) | β, j⟩

2 2 2 2 2 2
= (Jx + Jy + Jz − Jz + iiℏJz)) | β, j⟩ = (J − Jz − ℏJz)) | β, j⟩
= (ℏ β − ℏ j − ℏℏj) | β, j⟩ = ℏ (β − j( j + 1)) | β, j⟩
2 2 2 2

Para que el resultado se anule es necesario que el coeficiente sea cero, β

= j( j + 1)
No podemos disminuir el valor de m cuando vale k = mmin. Así, J− | β, k⟩ = 0. Un
procedimiento similar al anterior muestra que k = − j.
Debemos poder llegar desde -j hasta +j en un número entero de pasos: j = − j + p
Concluimos que 2j debe ser un número entero.
Momento angular
 MOMENTO ANGULAR
Si los estados | j, jz⟩ están normalizados, los vectores J ±̂ | j, jz⟩ no.
J +̂ | j, jz⟩ = N | j, jz + 1⟩ ⟨j, jz | J −̂ = N*⟨j, jz + 1 |
̂ ̂
⟨j, jz | J − J + | j, jz⟩ = NN*⟨j, jz + 1 | j, jz + 1⟩ = | N |2

2̂ 2̂ ̂ 2 2 2 2
= ⟨j, jz | J − Jz − ℏ J z | j, jz⟩ = ℏ j( j + 1) − ℏ jz − ℏ jz
2 2 2
= ℏ [ j( j + 1) − jz − jz] = ℏ ( j( j + 1) − jz( jz + 1)) .
2
Si definimos N como la raíz real positiva de ℏ ( j( j + 1) − jz( jz + 1)) tendremos
̂ 2
J + | j, jz⟩ = ℏ j( j + 1) − jz − jz | j, jz + 1⟩
De modo similar se puede mostrar el resultado para J−. Juntando los dos resultados

J± | j, m⟩ = ℏ j( j + 1) − m(m ± 1) | j, m ± 1⟩ .
 MOMENTO ANGULAR
[Li, Lj] = iℏϵijk Lk [L 2, Li] = 0
2 2
L | j, m⟩ = ℏ j( j + 1) | j, m⟩ Lz | j, m⟩ = ℏm | j, m⟩

J+ = Jx + iJy J− = Jx − iJy

[Jz, J±] = ± ℏJ± [J+, J−] = 2ℏJz

J± | j, m⟩ = ℏ j( j + 1) − m(m ± 1) | j, m ± 1⟩ .

Tarea. Construya las matrices Jx, Jy, Jz para j=3/2 y j=2