Momento angular del campo de Dirac

Estoy revisando la discusión de Peskin & Shroeder sobre el campo de Dirac, y estoy luchando con un par de afirmaciones que hacen sobre el momento angular. En primer lugar, el operador de momento angular viene dado por:

j = d 3 X ψ ( X ) [ X × ( i ) + 1 2 Σ ] ψ ( X )

dónde Σ son, en la representación quiral, las matrices de Pauli duplicadas : Σ i = ( σ i 0 0 σ i ) . Ahora, el libro afirma:

  • La división del momento angular en espín y partes orbitales no es fácil para los fermiones relativistas. Dado que el momento lineal del campo es:

    PAG = d 3 X ψ ( X ) ( i ) ψ ( X )
    me parece bastante natural interpretar el primer término de j como el momento angular orbital y el segundo como el espín. ¿Por qué esto no es válido en general?

  • El operador de momento angular (al menos la componente z , aunque creo que esto debería ser cierto para cualquier componente) aniquila el estado de vacío | 0 . Sin embargo, esto no es sencillo para mí ya que habrá un término proporcional a a b | 0 al calcular j z | 0 que no veo cómo cancelar.

  • para estados b 0 s | 0 , y suponiendo que el resultado anterior sea cierto, podemos escribir:

    j z b 0 s | 0 = [ j z , b 0 s ] | 0
    Entonces se supone que es sencillo demostrar que el primer término de j z (es decir, la parte orbital ) no contribuye a esta expresión, pero no sé cómo demostrarlo.

Estoy usando las siguientes convenciones para el campo:

ψ ( X ) = d 3 pag ( 2 π ) 3 1 2 mi pag s [ a pag s tu s ( pag ) mi i pag X + b pag s v s ( pag ) mi i pag X ]

Sé que no he dado muchos resultados que obtuve por mi cuenta, pero eso es porque todo lo que pude hacer fue básicamente cálculos sucios en una hoja de papel que no parecen útiles para la discusión...


EDITAR (para proporcionar más información después de la respuesta por Nombre YYY )

i) En primer lugar, la componente z del operador de momento angular viene dada explícitamente en términos de operadores de creación y aniquilación por:

j z = d 3 X d 3 pag d 3 k mi i ( pag k ) X ( 2 π ) 6 4 mi pag mi k × r , s [ b pag r v r ( pag ) + a pag r tu r ( pag ) ] [ ( X × k ) z + Σ 3 2 ] [ a k s tu s ( k ) + b k s v s ( k ) ]

donde estoy evaluando t = 0 los campos ya que, siendo j una cantidad conservada, que no afecta el resultado. Ahora, el problema es que no puedo integrar más X (porque tengo un X en el producto vectorial), que es el truco habitual para obtener un d ( 3 ) ( pag k ) y luego usar la relación de ortogonalidad entre el tu 'arena v 's. Sin esto, al aplicar j z a | 0 , obtienes los términos de la forma a pag r b k s | 0 que no necesariamente se desvanece, ya que el factor es tu r ( pag ) v s ( k ) - posiblemente con la matriz Σ 3 en el medio en el término de espín.

ii) Ahora, con respecto a la parte orbital que se desvanece del momento angular cuando actúa sobre b 0 s | 0 , el argumento heurístico me parece un poco engañoso... El hamiltoniano también es un escalar, y puedes expandirlo usando una integral sobre todos los valores posibles del impulso, que es un vector. De manera similar, podría ser posible expandir el momento angular del estado de momento cero con una integral sobre todos los momentos posibles. Aparte de eso, pude probar que el momento angular orbital no contribuye a [ j z , a 0 t ] | 0 porque el único conmutador no nulo (que actúa sobre el vacío) usando la expresión anterior para j z es:

[ a pag r a k s , a 0 t ] | 0 = ( 2 π ) 3 d 3 ( k ) d s t a pag r | 0

pero esto hace que la parte angular del momento angular sea cero ya que contiene el producto vectorial X × k . El problema con el b 's es que el conmutador análogo que no desaparece es:

[ b pag r b k s , b 0 t ] | 0 = ( 2 π ) 3 d 3 ( pag ) d r t b k s | 0

y esto contiene d 3 ( pag ) en lugar de d 3 ( k ) , por lo que no es obvio cómo cancelar la parte orbital del momento angular...

Espero que mis problemas con este cálculo sean más claros ahora... ¡Gracias por su ayuda!

Para manejar la integración X , tenga en cuenta que el operador diferencial solo actúa sobre el exponencial. Puedo ser cambiado por un operador diferencial en el momento

Respuestas (1)

me parece bastante natural interpretar el primer término de J como el momento angular orbital y el segundo como el espín. ¿Por qué esto no es válido en general?

La razón es que cuanto más relativista es la partícula, menos definida está la definición de espín. Formalmente esto está relacionado con el hecho de que el cuadrado del operador de Pauli-Lubanski W ^ m , que define el giro s de representación (estado de una partícula), se convierte en cero para partículas sin masa. En lugar de espín, las partículas sin masa (podemos pensar en una partícula ultrarrelativista masiva como en una partícula sin masa) se caracterizan por la helicidad. h ^ - la proyección del espín en la dirección del impulso, que puede tomar solo dos valores:

h ^ W ^ pag ^ | pag | = ± s
Puede pensar heurísticamente sobre eso de la siguiente manera: cuando la partícula (bosón o fermión de espín arbitrario, no importa) se vuelve ultrarrelativista, entonces, debido al efecto de aberración relativista, la distribución de proyecciones de espín en la dirección del movimiento se vuelve solo paralela y antiparalelo.

Sin embargo, esto no es sencillo para mí ya que habrá un término proporcional a

No te olvides de las relaciones

tu s ( pag ) v s ( pag ) = 0
Esto es importante, ya que esta cantidad está en el frente de
a s ( pag ) b s ( pag ) | 0

no contribuye a esta expresión, pero no sé cómo demostrarlo.

Dado que, como ha demostrado al responder a su segunda pregunta,

j ^ z | 0 = 0 ,
puedes escribir:
j ^ z a ^ s ( pag ) | 0 j ^ z a ^ s ( pag ) | 0 a ^ s ( pag ) j ^ z | 0 [ j ^ z , a ^ s ( pag ) ] | 0 ,
lo que prueba la relación.

¿O ha preguntado sobre la prueba de que la parte orbital no contribuye al estado de una partícula de impulso cero? Entonces es más fácil de ver por el siguiente pensamiento heurístico: dado que el estado exterior tiene un impulso cero, entonces la cantidad

L 0 = d 3 X Ψ ^ ( X ) [ X × ( i ) ] Ψ ^ ( X ) a ^ s ( 0 ) | ,
no depende de ningún vector. Sin embargo, dado que es (pseudo) vector por definición, debe depender de algún vector. Para evitar esta contradicción, llegamos al enunciado de que esta cantidad es igual a cero.

Bien con la primera respuesta, pero los otros dos argumentos no parecen muy convincentes... ¡Editaré mi publicación con algunos cálculos más para que sepas exactamente dónde está mi problema!