Tarea 7.

Mecánica Cuántica I
Daniel Afanador
October 23, 2020

Nota: A lo largo de este documento, se hará uso de las siguientes propiedades del operador de con-
mutación:

Lema: Propiedades del operador de conmutación:

Para cualesquiera operadores A, B, C, tenemos las siguientes propidades:

i)[A + B, C] = [A, C] + [B, C]

Dem:
[A + B, C] = (A + B)C − C(A + B)
= AC + BC − CA − CB
= (AC − CA) + (BC − CB)
= [A, C] + [B, C]

ii)[A, A] = 0

Dem:
[A, A] = (A)A − A(A) = A2 − A2 = 0

iii)[A, BC] = [A, B]C + B[A, C]

Dem:
[A, BC] = A(BC) − (BC)A
= ABC − BCA
= ABC − BAC + BAC − BCA
= (ABC − BAC) + (BAC − BCA)
= (AB − BA)C + B(AC − CA)
= [A, B]C + B[A, C]

iv)[AB, C] = A[B, C] + [A, C]B

Dem:
[AB, C] = (AB)C − C(BA)
= ABC − CBA
= ABC − ACB + ACB − CBA

1
 = (ABC − ACB) + (ACB − CBA)
= A(BC − CB) + (AC − CA)B
= A[B, C] + [A, C]B

∂
Ahora, veamos que para el operador pj = −ih̄ ∂j y el operador j = j, donde j = x, y, z, se tiene que:

v)[pj , j] = −ih̄

Dem: Considerando los productos pj j y jpj , y a sus respectivos operadores, debido a una función f (j),
obtenemos la siguiente ecuación:

     
∂ ∂ ∂ ∂
[pj , j]f (j) = (pj j − jpj ) f (j) = −ih̄ j − j −ih̄ f (j) = −ih̄ j−j f (j)
∂j ∂j ∂j ∂j

     
∂ ∂f (j) ∂f (j) ∂j ∂f (j) ∂j
= −ih̄ (jf (j)) − j = −ih̄ j + f (j) −j = −ih̄ f (j) = −ih̄f (j)
∂j ∂j ∂j ∂j ∂j ∂j

Por tanto, como [pj , j]f (j) = −ih̄f (j), se concluye que [pj , j] = −ih̄.

vi)[pj , k] = 0, donde j, k = x, y, z y j 6= k

Dem:        
∂ ∂ ∂ ∂
[pj , k] = −ih̄ k − k −ih̄ = −ih̄k − −ih̄k =0
∂j ∂j ∂j ∂j

vii)[pj , pk ] = 0, donde j, k = x, y, z y j 6= k

Dem:
         
∂ ∂ ∂ ∂ 2 ∂ ∂ ∂ ∂
[pj , pk ] = −ih̄ −ih̄ − −ih̄ −ih̄ = −h − =0
∂j ∂k ∂k ∂j ∂j ∂k ∂k ∂j

viii)[j, k] = 0, donde j, k = x, y, z y j 6= k

Dem:
[j, k] = jk − kj = jk − jk = 0
De esta forma, se han demostrado todas las propiedades a usar en este documento.

1. Demostrar que el operador L cumple las siguientes reglas de conmutación:

i)[Lx , y] = ih̄z; ii)[Lx , py ] = ih̄pz ; iii)[Lx , x] = 0; iv)[Lx , px ] = 0

Dem:
i)[Lx , y] = [(ypz − zpy ), y]

2
 = [ypz , y] − [zpy , y]

= y[pz , y] + [y, y]pz − z[py , y] − [z, y]py

= y(pz y − ypz ) + (0) − z[py , y] − (zy − yz)py

= (y 2 pz − y 2 pz ) − z(−ih̄) + (0)

= ih̄z

ii)[Lx , py ] = [(ypz − zpy ), py ]

= [ypz , py ] − [zpy , py ]

= y[pz , py ] + [y, py ]pz − z[py , py ] − [z, py ]py

= (0) + (ih̄)pz − (0) − (0)

= ih̄pz

iii)[Lx , x] = [(ypz − zpy ), x]

= [ypz , x] − [zpy , x]

= y[pz , x] + [y, x]pz − z[py , x] − [z, x]py

= (0) + (0) − (0) − (0)

=0

iv)[Lx , px ] = [(ypz − zpy ), px ]

= [ypz , px ] − [zpy , px ]

= y[pz , px ] + [y, px ]pz − z[py , px ] − [z, px ]py

= (0) + (0) − (0) − (0)

=0

2. Demostrar que las componentes de L conmutan entre sı́ de la siguiente manera:

3
 i)[Lx , Ly ] = ih̄Lz ; ii)[Lz , Lx ] = ih̄Ly ; iii)[Ly , Lz ] = ih̄Lx

Dem:
i)[Lx , Ly ] = [(ypz − zpy ), (zpx − xpz )]

= [ypz , zpx ] − [ypz , xpz ] − [zpy , zpx ] + [zpy , xpz ]

= y[pz , z]px − (0) − (0) + x[z, pz ]py

= ypx [pz , z] − xpy [pz , z]

= (ypx − xpy )[pz , z]

= (ypx − xpy )(−ih̄)

= (−Lz )(−ih̄)

= ih̄Lz

ii)[Lz , Lx ] = [(xpy − ypx ), (ypz − zpy )]

= [xpy , ypz ] − [xpy , zpy ] − [ypx , ypz ] + [ypx , zpy ]

= x[py , y]pz − (0) − (0) + z[y, py ]px

= xpz [py , y] − zpx [py , y]

= (xpz − zpx )[py , y]

= (xpz − zpx )(−ih̄)

= (−Ly )(−ih̄)

= ih̄Ly

iii)[Ly , Lz ] = [(zpx − xpz ), (xpy − ypx )]

= [zpx , xpy ] − [zpx , ypx ] − [xpz , xpy ] + [xpz , ypx ]

= z[px , x]py − (0) − (0) + y[x, px ]pz

= zpy [px , x] − ypz [px , x]

4
 = (zpy − ypz )[px , x]

= (zpy − ypz )(−ih̄)

= (−Lx )(−ih̄)

= ih̄Lx

3. Demostrar que en un estado propio de Lz vale:

hLx i = hLy i = 0

Dem: Supongamos que el componente z del momento angular, Lz , tiene un estado propio |ai. Queremos
ver que los valores esperados de Lx y Ly en el estado |ai es 0. Vamos a hacer la demostración de las siguientes
dos formas:
i) Usando el hecho de que Lz genera las rotaciones alrededor del eje z, si consideramos una rotación de
π alrededor de z, podemos cambiar el signo de Lj , donde j = x, y, considerando la siguiente transformación:

e−iπLz Lj eiπLz = −Lj

Luego, como el valor esperado es definido por hAi := ha|A|ai, donde A es el observable de nuestro interés,
en este caso, Lj , obtenemos que:

ha|e−iπLz Lj eiπLz |ai = −ha|Lj |ai

Pero, por las propiedades del estado propio, debemos tener también que eiπLz |ai = eiπa |ai, ha|e−iπLz =
ha|e−iπa , y simplificamos nuestro resultado:

ha|e−iπa Lj eiπa |ai = −ha|Lj |ai

Esto es,

ha|Lj e−iπa eiπa |ai = −ha|Lj |ai

que se simplifica como

ha|Lj |ai = −ha|Lj |ai

donde la última ecuación implica que ha|Lj |ai = hLj i = 0, como se querı́a.

ii) Usando las relaciones de incertidumbre para los operadores de momento angular, tenemos que:
h̄
∆Lx ∆Lz ≥ |hLy i|2
2
h̄
∆Ly ∆Lz ≥ |hLx i|2
2
Luego, como el estado en que nos encontramos es un estado propio de Lz , entonces ∆Lz = 0, de manera
que las anteriores relaciones implican que hLx i = hLy i = 0.

Nota: Para el uso de la segunda demostración, se ha asumido que la covarianza cuántica,

dada por h[A, B]/2 − hAihBii es cero. De esta forma, como [Lx , Lz ] = −ih̄Ly , y [Ly , Lz ] = ih̄Lx , se
obtienen las anteriores relaciones de incertidumbre.

5
4. Calcule qué angulos puede formar el vector L con el eje z en un estado con l = 3

~ está definida como |L|

~ =
p
Dem: Como tenemos que la magnitud del momento angular total |L| l(l + 1)h̄,
y obtenemos que para el estado l = 3:
√ √
~ =
|L| 3 · 4h̄ = 2 3h̄
Luego, como los valores permitidos para Lz están dados por Lz = ml h̄ = m3 h̄, con m3 = 0, ±1, ±2, ±3.
De manera que:

Lz = ±3h̄, ±2h̄, ±h̄, 0

~ para encontrar los posibles θ:
Ası́, usando la relación angular entre Lz y |L|
Lz ml h̄ ml
cos θ = = √ = √
~
|L| 2 3h̄ 2 3
donde encontramos los siguientes valores:
√ √ √
3 3 3
cos θ = ± ,± ,± ,0
2 3 6
y por tanto, obtenemos los siguientes 7 posibles angulos θ:

θ = ±30◦ , ±54.7◦ , ±73.2◦ , 90◦

5. Analizando componente por componente, demuestre que cualquier componente de L con-

muta con p2 = p2x + p2y + p2z

Dem: Queremos ver que Lj , donde j = x, y, z, conmuta con p2 = p2x + p2y + p2z , es decir, queremos ver
que:

[Lj , p2 ] = [Lj , p2x + p2y + p2z ] = 0

En efecto, si analizamos componente por componente, obtenemos que:

[Lj , p2x + p2y + p2z ] = [Lj , p2x ] + [Lj , p2y ] + [Lj , p2z ]

= −([p2x , Lj ] + [p2y , Lj ] + [p2z , Lj ])

= −(px [px , Lj ] + [px , Lj ]px + py [py , Lj ] + [py , Lj ]py + pz [pz , Lj ] + [pz , Lj ]pz )
Ahora, consideremos los siguientes 9 conmutadores:

i)[px , Lx ] = [px , (ypz − zpy )]

= [px , ypz ] − [px , zpy ]

= [px , y]pz + y[px , pz ] − [px , z]py − z[px , py ]

= (0) + (0) − (0) − (0) = 0

ii)[px , Ly ] = [px , (zpx − xpz )]

= [px , zpx ] − [px , xpz ]

6
= [px , z]px + z[px , px ] − [px , x]pz − x[px , pz ]

= (0) + (0) − (−ih̄)pz − (0) = ih̄pz

iii)[px , Lz ] = [px , (xpy − ypx )]

= [px , xpy ] − [px , ypx ]

= [px , x]py + x[px , py ] − [px , y]px − y[px , px ]

= (−ih̄)py + (0) − (0) − (0) = −ih̄py

iv)[py , Lx ] = [py , (ypz − zpy )]

= [py , ypz ] − [py , zpy ]

= [py , y]pz + y[py , pz ] − [py , z]py − z[py , py ]

= (−ih̄)pz + (0) − (0) − (0) = −ih̄pz

v)[py , Ly ] = [py , (zpx − xpz )]

= [py , zpx ] − [py , xpz ]

= [py , z]px + z[py , px ] − [py , x]pz − x[py , pz ]

= (0) + (0) − (0) − (0) = 0

vi)[py , Lz ] = [py , (xpy − ypx )]

= [py , xpy ] − [py , ypx ]

= [py , x]py + x[py , py ] − [py , y]px − y[py , px ]

= (0) + (0) − (−ih̄)px − (0) = ih̄px

vii)[pz , Lx ] = [pz , (ypz − zpy )]

= [pz , ypz ] − [pz , zpy ]

7
 = [pz , y]pz + y[pz , pz ] − [pz , z]py − z[pz , py ]

= (0) + (0) − (−ih̄)py − (0) = ih̄py

viii)[pz , Ly ] = [pz , (zpx − xpz )]

= [pz , zpx ] − [pz , xpz ]

= [pz , z]px + z[pz , px ] − [pz , x]pz − x[pz , pz ]

= (−ih̄)px + (0) − (0) − (0) = −ih̄px

ix)[pz , Lz ] = [pz , (xpy − ypx )]

= [pz , xpy ] − [pz , ypx ]

= [pz , x]py + x[pz , py ] − [pz , y]px − y[pz , px ]

= (0) + (0) − (0) − (0) = 0

De esta forma, si consideramos para cada caso de [Lj , p2 ], obtenemos que:

[Lx , p2 ] = −(px [px , Lx ] + [px , Lx ]px + py [py , Lx ] + [py , Lx ]py + pz [pz , Lx ] + [pz , Lx ]pz )

= −(px (0) + (0)px + py (−ih̄z) + (−ih̄z)py + pz (ih̄py ) + (ih̄py )pz ) = 0

[Ly , p2 ] = −(px [px , Ly ] + [px , Ly ]px + py [py , Ly ] + [py , Ly ]py + pz [pz , Ly ] + [pz , Ly ]pz )

= −(px (ih̄pz ) + (ih̄pz )px + py (0) + (0)py + pz (−ih̄px ) + (−ih̄px )pz ) = 0

[Lz , p2 ] = −(px [px , Lz ] + [px , Lz ]px + py [py , Lz ] + [py , Lz ]py + pz [pz , Lz ] + [pz , Lz ]pz )

= −(px (−ih̄py ) + (−ih̄py )px + py (ih̄px ) + (ih̄px )py + pz (0) + (0)pz ) = 0

Por tanto, hemos demostrado que para cualquier componente de L, Lj , tenemos que [Lj , p2 ] = 0, y por
tanto, cualquier componente de L conmuta con p2 .

6. Analizando componente por componente, demuestre que cualquier componente de L con-

muta con r2 = x2 + y 2 + z 2

8
 Dem: Queremos ver que Lj , donde j = x, y, z, conmuta con r2 = x2 + y 2 + z 2 , es decir, queremos ver
que:

[Lj , r2 ] = [Lj , x2 + y 2 + z 2 ] = 0
En efecto, si analizamos componente por componente, obtenemos que:

[Lj , x2 + y 2 + z 2 ] = [Lj , x2 ] + [Lj , y 2 ] + [Lj , z 2 ]

= −([x2 , Lj ] + [y 2 , Lj ] + [z 2 , Lj ])

= −(x[x, Lj ] + [x, Lj ]x + y[y, Lj ] + [y, Lj ]y + z[z, Lj ] + [z, Lj ]z)

Ahora, consideremos los siguientes 9 conmutadores:

i)[x, Lx ] = [x, (ypz − zpy )]

= [x, ypz ] − [x, zpy ]

= [x, y]pz + y[x, pz ] − [x, z]py − z[x, py ]

= (0) + (0) − (0) − (0) = 0

ii)[x, Ly ] = [x, (zpx − xpz )]

= [x, zpx ] − [x, xpz ]

= [x, z]px + z[x, px ] − [x, x]pz − x[x, pz ]

= (0) + z(ih̄) − (0) − (0) = ih̄z

iii)[x, Lz ] = [x, (xpy − ypx )]

= [x, xpy ] − [x, ypx ]

= [x, x]py + x[x, py ] − [x, y]px − y[x, px ]

= (0) + (0) − (0) − y(ih̄) = −ih̄y

iv)[y, Lx ] = [y, (ypz − zpy )]

= [y, ypz ] − [y, zpy ]

= [y, y]pz + y[y, pz ] − [y, z]py − z[y, py ]

= (0) + (0) − (0) − z(ih̄) = −ih̄z

9
 v)[y, Ly ] = [y, (zpx − xpz )]

= [y, zpx ] − [y, xpz ]

= [y, z]px + z[y, px ] − [y, x]pz − x[y, pz ]

= (0) + (0) − (0) − (0) = 0

vi)[y, Lz ] = [y, (xpy − ypx )]

= [y, xpy ] − [y, ypx ]

= [y, x]py + x[y, py ] − [y, y]px − y[y, px ]

= (0) + x(ih̄) − (0) − (0) = ih̄x

vii)[z, Lx ] = [z, (ypz − zpy )]

= [z, ypz ] − [z, zpy ]

= [z, y]pz + y[z, pz ] − [z, z]py − z[z, py ]

= (0) + y(ih̄) − (0) − (0) = ih̄y

viii)[z, Ly ] = [z, (zpx − xpz )]

= [z, zpx ] − [z, xpz ]

= [z, z]px + z[z, px ] − [z, x]pz − x[z, pz ]

= (0) + (0) − (0) − x(ih̄) = −ih̄x

ix)[z, Lz ] = [z, (xpy − ypx )]

= [z, xpy ] − [z, ypx ]

= [z, x]py + x[z, py ] − [z, y]px − y[z, px ]

= (0) + (0) − (0) − (0) = 0

10
 De esta forma, si consideramos para cada caso de [Lj , r2 ], obtenemos que:

[Lx , r2 ] = −(x[x, Lx ] + [x, Lx ]x + y[y, Lx ] + [y, Lx ]y + z[z, Lx ] + [z, Lx ]z)

= −(x(0) + (0)x + y(−ih̄z) + (−ih̄z)y + z(ih̄y) + (ih̄y)z) = 0

[Ly , r2 ] = −(x[x, Ly ] + [x, Ly ]x + y[y, Ly ] + [y, Ly ]y + z[z, Ly ] + [z, Ly ]z)

= −(x(ih̄z) + (ih̄z)x + y(0) + (0)y + z(−ih̄x) + (−ih̄x)z) = 0

[Lz , r2 ] = −(x[x, Lz ] + [x, Lz ]x + y[y, Lz ] + [y, Lz ]y + z[z, Lz ] + [z, Lz ]z)

= −(x(−ih̄y) + (−ih̄y)x + y(ih̄x) + (ih̄x)y + z(0) + (0)z) = 0

Por tanto, hemos demostrado que para cualquier componente de L, Lj , tenemos que [Lj , r2 ] = 0, y por
tanto, cualquier componente de L conmuta con r2 .

Hemos terminado.

11