Esto se debe a que cada estado esféricamente invarianteψ
debe tener un momento angular cero.
En efecto, por hipótesis, el estadoψ
verifica
ψ (Rnorte⃗ ( θ )X⃗ ) = (miyo θnorte⃗ ⋅j^⃗ ψ ) (X⃗ ) = ψ (X⃗ )(1)
dónde
norte⃗ ⋅j^⃗
es el generador autoadjunto de rotaciones
Rnorte⃗ ( θ )
alrededor
norte⃗
, es decir, es el momento angular a lo largo
norte⃗
. Tomando el
θ
derivada de (1) para
θ = 0
tenemos
norte⃗ ⋅j^⃗ ψ = 0
en particular, para
k = x , y, z
,
j^kψ = 0,
de modo que
j^2ψ =j^2Xψ +j^2ψ +j^2z= 0.
ANEXO . En realidad, un estado está representado por un vector normalizado hasta una fase . Por lo tanto, un estado esféricamente simétrico se representa mediante una versión vectorial satisfactoria de (1) más débil que la presentada anteriormente:
ψ (Rnorte⃗ ( θ )X⃗ ) = (miyo θnorte⃗ ⋅j^⃗ ψ ) (X⃗ ) = χ ( θ ,norte⃗ ) ψ (X⃗ )(2)
dónde
| χ(θ,norte⃗ ) | = 1
. Tomando el
θ
derivado de
θ = 1
encontramos
norte⃗ ⋅j^⃗ ψ = α (norte⃗ ) ψ
donde el valor propio es
α (norte⃗ ) =dχ ( θ ,norte⃗ )dθ|θ = 0
que es un número real tan fácilmente se sigue de
| χ(θ,norte⃗ ) | = 1
. Los vectores propios comunes
ψ ≠ 0
de
j^X,j^y,j^z
tienen el valor propio común
0
como se puede probar por inspección directa (o por medio de algún argumento teórico directo que explote las relaciones de conmutación
[j^X,j^y] = yoj^z
). Concluimos que esta forma más completa conduce al mismo resultado que antes.
Adán