¿Qué queremos decir cuando decimos que algún hamiltoniano es invariante bajo rotaciones?

Antes de continuar con el examen de algunos ejemplos de precesión de espín, vale la pena comentar la dependencia temporal de los valores esperados. ( 4.23 ) , ( 4.28 ) , y (4.30). Primero, nótese de (4.16) que

d d t S z = i ψ | [ H ^ , S ^ z ] | ψ
Podemos ver en la forma explícita del hamiltoniano (4.17), que es solo un múltiplo constante de S ^ z , eso H ^ viaja con S ^ z y por lo tanto S z es independiente del tiempo [como muestra (4.23)]. Es interesante considerar este resultado desde la perspectiva de la invariancia rotacional. En particular, con el campo magnético externo en el z dirección, rotaciones sobre el z eje deja el espín hamiltoniano sin cambios. Así el generador S ^ z de estas rotaciones debe conmutar con H ^ , y en consecuencia de (4.31) S z es una constante del movimiento. La ventaja de pensar en términos de simetría (una operación de simetría es aquella que deja el sistema invariante) es que podemos usar la simetría para determinar las constantes del movimiento antes de realizar los cálculos. También podemos saber de antemano que S X y S y debe variar con el tiempo. Después de todo, desde S ^ X y S ^ y generar rotaciones sobre el X y y ejes, respectivamente, y el hamiltoniano no es invariante bajo rotaciones alrededor de estos ejes, H ^ no conmuta con estos generadores.

¿Cómo es un operador invariante (o no invariante) bajo otra operación? Creo que la redacción me confunde. ¿Qué queremos decir con "las rotaciones sobre el eje z dejan el hamiltoniano de giro sin cambios"? ¿Nos estamos refiriendo a la energía correspondiente del estado o simplemente estamos afirmando que el operador de rotación y el hamiltoniano conmutan, es decir, que el estado evolucionado en el tiempo de un estado rotado es igual al estado evolucionado en el tiempo rotado? Lo siento por la falta de claridad.

¿A qué texto se refieren sus números de ecuación?

Respuestas (2)

Si tienes unitario tu 1 = tu transformación (independiente del tiempo) tal como tu ( φ ) = Exp [ i φ S ^ z ] (el operador de giro en la dirección z es el generador de rotaciones alrededor del eje z), luego transforma el hamiltoniano a través de

H H = tu H tu
(Esto es análogo a un cambio de base para una matriz). Ahora bien, si el hamiltoniano conmuta con el operador de espín [ H , S z ] = 0 , entonces puede mover libremente el hamiltoniano en la expresión anterior, ya que puede usar la definición de serie del exponencial y luego el hamiltoniano puede moverse a través de cada término. Entonces verás que
H = H tu tu = H 1 = H
por lo que el hamiltoniano es invariante bajo rotaciones sobre el eje z.

"Esto es análogo al cambio de base de una matriz". ¿Qué se entiende por "esto" aquí? Solo me parece ver un cambio de representación para una matriz.
Bueno, si el espacio de Hilbert es de dimensión finita, el hamiltoniano se puede expresar como una matriz y luego tu es simplemente una matriz unitaria. Por ejemplo, si está considerando girar 1 / 2 partículas la dimensión será 2 y una rotación alrededor del eje x puede ser representada por tu ( φ ) = mi i / φ S ^ X = ( porque ( φ / 2 ) i pecado ( φ / 2 ) i pecado ( φ / 2 ) porque ( φ / 2 ) ) . Que es simplemente una matriz de rotación (excepto que ahora es un espacio vectorial complejo).

Si tu es un operador unitario que actúa sobre estados en su espacio de Hilbert y representa la operación (u operaciones) bajo consideración, entonces H es invariante si

H = tu H tu .
si representas tu como una matriz de la misma dimensión que su espacio de Hilbert, entonces tu transforma sus vectores base a una nueva base, y por lo tanto tu H tu es el hamiltoniano expresado en esta nueva base.

Lo que es confuso es que el título de su pregunta se refiere a la invariancia bajo rotaciones, pero el texto se refiere a rotaciones sobre el z ^ eje _ La rotación sobre z ^ son de hecho un subconjunto de todas las rotaciones posibles (hay rotaciones sobre X ^ y y ^ , y de hecho rotaciones sobre ejes en direcciones arbitrarias.)

En el ejemplo de su texto, las rotaciones sobre z ^ se dan (probablemente) de forma abstracta como tu ( θ ) = mi i θ L z . Ahora, la exponencial de un operador viene dada por su serie

mi i θ L z = 1 ^ i θ L z + 1 2 θ 2 L z 2 +
tan claro si [ L z , H ] = 0 luego luego
mi i θ L z H mi i θ L z = H
expandiendo ambas exponenciales:
mi i θ L z H mi i θ L z = H + i θ [ L z , H ] 1 2 θ 2 [ L z , [ L z , H ] ] +
(ver esta parte de wiki , aunque no es la notación más digerible).

Por el contrario, si mi i θ L z H mi i θ L z = H , entonces debe ser (salvo ejemplos intrincados que rara vez ocurren en la física) que [ L z , H ] = 0 , que le permite identificar un operador que se desplaza con H . Por supuesto si A y B viajar con H , esto no significa que [ A , B ] = 0 .

Finalmente, si tienes un operador hermitiano A de modo que [ A , H ] = 0 , entonces puedes construir la transformación tu ( α ) = mi i α A y viajará con H . Esto es bastante útil cuando se puede identificar fácilmente a dicho operador. Entonces tu ( θ ) generará un cambio de base que dejará H sin cambios, es decir , generará transformaciones que dejarán H invariante.

Otro ejemplo sería la paridad en un potencial simétrico. Entonces PAG H PAG = H desde V ( X ) = V ( X ) y el término cinético tampoco cambia. Esto le permite dividir su espacio de Hilbert en soluciones pares o impares.

La diferencia entre paridad y rotaciones es que las rotaciones dependen continuamente de un ángulo, por lo que uno puede escribir tu ( θ ) = mi i θ L z por algún ermitaño L z , mientras que no existe tal forma exponencial para la paridad. En otras palabras, no es posible recuperar algo como L z que viaja con H por la paridad, incluso si H es invariante bajo paridad y aún puede dividir el espacio de Hilbert en sectores pares/impares.