Momento angular total y conmutador de la ecuación de Dirac

Yo sé eso [ H D , j ] = 0 donde H D es el hamiltoniano de Dirac y j = L + S dónde L = X × pag y S = ( 1 / 2 ) Σ con Σ = diagnóstico ( σ , σ ) con σ las matrices de Pauli. Sin embargo, quería entender mejor por qué se conserva el momento angular total en oposición al orbital o al giro. Tengo una formación básica en el grupo de Lorentz como un grupo de Lie, su álgebra de Lie, la doble cubierta de SL(2,C) del grupo de Lorentz, etc. Del álgebra de Lie, sé que hay 3 generadores de rotaciones. Llevar

j 3 = ( 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 )
Por ejemplo.

  1. ¿Es entonces cierto que si calculo la tercera componente de J = L + S, obtendría esta matriz? Traté de hacer esto yo mismo, pero me quedé atascado en cómo representar los operadores de posición y momento como matrices para combinarlos con el Σ matriz.

  2. Además, suponiendo que pudiera hacer tal cosa, ¿encontrar que J es el generador de rotaciones es suficiente para concluir que debe conmutar con el hamiltoniano?

  3. ¿Hay alguna otra forma teórica de grupo de ver por qué [ H D , j ] = 0 Opuesto a L o S debe ser cierto en todo caso.

Respuestas (1)

Para arreglar la notación, escribiré el hamiltoniano como H D = d d X ψ ( X ) γ 0 ( γ i ( i X i ) + metro ) ψ ( X ) , dónde metro es el valor numérico de la masa y γ m satisface el álgebra de Clifford. Tenga en cuenta que, aunque el número de componentes es 4 (en (3+1)-D), el tamaño real del hamiltoniano cuantificado en primer lugar (una partícula) es en realidad de dimensión infinita, debido al espacio continuo X i .

En esta representación, j i = L i + S i , S i = ϵ i j k i 4 [ γ i , γ j ] y L i = ϵ i j k X j ( i k ) (tenga en cuenta que los segundos generadores cuantificados están dados por j ^ = d d X ψ j ψ etc). Uno puede hacer la transformación directamente y mostrar que el hamiltoniano es invariante. Algebraicamente es fácil ver por qué L i en sí misma no es una simetría, porque para una transformación pasiva R = mi i θ norte ^ L ^ dará

H D = d d X ψ ( X ) γ 0 ( γ i ( i ( R X ) i ) + metro ) ψ ( X )

que aparentemente no es igual al hamiltoniano original: también es necesario rotar la parte del espinor (el espacio de γ matrices).

Otra forma de "comprender" por qué L y S no deberían ser simetría por separado: la ecuación de Dirac es una representación de espinor irreducible para adaptarse a la simetría de Lorentz. Si L y S son generadores de simetría por sí mismos, significa que los índices de "espín" desacoplados de la parte espacial, tienen una estructura de producto tensorial y no es una representación irreducible. Esto es cierto para la simetría rotacional del campo de Schrödinger no relativista de espín.

H S = d d X ψ σ ( X ) ( 1 2 metro ( i X i ) 2 + V ( X ) ) ψ σ ( X )

donde la parte del espinor σ totalmente desacoplado de la parte orbital X i . En retrospectiva, la forma γ i ( i X i ) nos dijo que el espín y el orbital ya están acoplados.