stringtranslate.com

espinor de dirac

En la teoría cuántica de campos , el espinor de Dirac es el espinor que describe todas las partículas fundamentales conocidas que son fermiones , con la posible excepción de los neutrinos . Aparece en la solución de onda plana de la ecuación de Dirac , y es una determinada combinación de dos espinores de Weyl , concretamente, un bispinor que se transforma "espinorialmente" bajo la acción del grupo de Lorentz .

Los espinores de Dirac son importantes e interesantes en numerosos sentidos. Ante todo, son importantes porque describen todos los fermiones de partículas fundamentales conocidos en la naturaleza ; esto incluye el electrón y los quarks . Algebraicamente se comportan, en cierto sentido, como la "raíz cuadrada" de un vector . Esto no se desprende fácilmente del examen directo, pero poco a poco se ha ido aclarando a lo largo de los últimos 60 años que las representaciones espinoriales son fundamentales para la geometría . Por ejemplo, efectivamente, todas las variedades de Riemann pueden tener espinores y conexiones de espín construidas sobre ellas, mediante el álgebra de Clifford . [1] El espinor de Dirac es específico del espacio-tiempo de Minkowski y de las transformaciones de Lorentz ; el caso general es bastante similar.

Este artículo está dedicado al espinor de Dirac en la representación de Dirac . Esto corresponde a una representación específica de las matrices gamma y es más adecuado para demostrar las soluciones de energía positiva y negativa de la ecuación de Dirac. Hay otras representaciones, sobre todo la representación quiral , que es más adecuada para demostrar la simetría quiral de las soluciones de la ecuación de Dirac. Los espinores quirales pueden escribirse como combinaciones lineales de los espinores de Dirac que se presentan a continuación; por tanto, no se pierde ni se gana nada, salvo un cambio de perspectiva con respecto a las simetrías discretas de las soluciones.

El resto de este artículo se presenta de manera pedagógica, utilizando notaciones y convenciones específicas de la presentación estándar del espinor de Dirac en los libros de texto sobre teoría cuántica de campos. Se centra principalmente en el álgebra de las soluciones de ondas planas. La manera en que el espinor de Dirac se transforma bajo la acción del grupo de Lorentz se analiza en el artículo sobre bispinores .

Definición

El espinor de Dirac es el bispinor en el ansatz de onda plana.

de la ecuación de Diracespinor
unidades naturales
notación de barra diagonal de Feynman

A continuación se proporciona una explicación de los términos que aparecen en el ansatz.

El espinor de Dirac para la solución de frecuencia positiva se puede escribir como

En unidades naturales, cuando se suma m 2 a p 2 o cuando se suma m a , m significa mc en unidades ordinarias; cuando se suma m a E , m significa mc 2 en unidades ordinarias. Cuando se suma m a o significa (lo que se llama longitud de onda Compton reducida inversa ) en unidades ordinarias.

Derivación de la ecuación de Dirac

La ecuación de Dirac tiene la forma

Para derivar una expresión para los cuatro espinores ω , las matrices α y β deben darse en forma concreta. La forma precisa que adoptan depende de la representación. A lo largo de este artículo, se utiliza la representación de Dirac. En esta representación, las matrices son

Estas dos matrices de 4×4 están relacionadas con las matrices gamma de Dirac . Tenga en cuenta que aquí 0 e I son matrices de 2 × 2.

El siguiente paso es buscar soluciones de la forma

ω

Resultados

Usar toda la información anterior para conectarla a la ecuación de Dirac da como resultado

Resuelva la segunda ecuación para χ y se obtiene

Tenga en cuenta que esta solución debe tener para que sea válida en un marco donde la partícula tiene .

Derivación del signo de la energía en este caso. Consideramos el término potencialmente problemático .

Por lo tanto, es evidente que debe omitirse la solución negativa, y . Finalizar la derivación.

Al ensamblar estas piezas, la solución completa de energía positiva se escribe convencionalmente como

Resolviendo en cambio la primera ecuación para un conjunto diferente de soluciones se encuentra:

En este caso, es necesario aplicar eso para que esta solución sea válida en un marco donde la partícula tiene . La prueba sigue de manera análoga al caso anterior. Esta es la llamada solución de energía negativa . A veces puede resultar confuso llevar consigo una energía explícitamente negativa, por lo que es convencional invertir el signo tanto de la energía como del impulso y escribir esto como

En un desarrollo posterior, las soluciones de tipo se denominan soluciones de partículas , lo que describe una partícula de espín 1/2 de masa positiva que transporta energía positiva, y las soluciones de tipo se denominan soluciones de antipartículas , que nuevamente describen una partícula de masa positiva. partícula spin-1/2, nuevamente portadora de energía positiva. En el marco del laboratorio, se considera que ambos tienen masa positiva y energía positiva, aunque todavía son muy duales entre sí, y el signo invertido en la onda plana de la antipartícula sugiere que está "viajando hacia atrás en el tiempo". La interpretación de "hacia atrás en el tiempo" es un poco subjetiva e imprecisa, y equivale a hacer un gesto con la mano cuando la única evidencia que tenemos son estas soluciones. Obtiene evidencia más sólida al considerar el campo de Dirac cuantificado. En la sección sobre conjugación de cargas , a continuación, se proporciona un significado más preciso para que estos dos conjuntos de soluciones sean "opuestas entre sí" .

base quiral

En la representación quiral de , el espacio de solución está parametrizado por un vector , con solución de espinor de Dirac

los 4 vectores de Pauli

Orientación de giro

Dos espinores

En la representación de Dirac, las definiciones más convenientes para los dos espinores son:

base ortonormal

matrices de pauli

Las matrices de Pauli son

Utilizando estos, se obtiene lo que a veces se llama el vector de Pauli :

Ortogonalidad

Los espinores de Dirac proporcionan un conjunto completo y ortogonal de soluciones a la ecuación de Dirac. [2] [3] Esto se demuestra más fácilmente escribiendo los espinores en el marco de reposo, donde esto resulta obvio, y luego aumentando a un marco de coordenadas de Lorentz arbitrario. En el cuadro de reposo, donde el impulso de los tres se desvanece: se pueden definir cuatro espinores

Presentamos la notación de barra diagonal de Feynman

los espinores potenciados se pueden escribir como

Los espinores conjugados se definen como los que se pueden demostrar para resolver la ecuación de Dirac conjugada.

entendiéndose que la derivada actúa hacia la izquierda. Los espinores conjugados son entonces

La normalización elegida aquí es tal que la invariante escalar realmente es invariante en todos los marcos de Lorentz. Específicamente, esto significa

Lo completo

Los cuatro espinores del marco de reposo indican que hay cuatro soluciones distintas, reales y linealmente independientes de la ecuación de Dirac. Que en realidad son soluciones puede quedar claro observando que, cuando se escribe en el espacio de momento, la ecuación de Dirac tiene la forma

Esto se debe a que

matrices gamma
tensor métricovielbein
efecto Aharonov-Bohmhaz de fibras U(1)haz circularholonomía

Con una elección adecuada de las matrices gamma, es posible escribir la ecuación de Dirac en una forma puramente real, teniendo sólo soluciones reales: esta es la ecuación de Majorana . Sin embargo, sólo tiene dos soluciones linealmente independientes. Estas soluciones no se acoplan al electromagnetismo; Describen una partícula de espín 1/2 masiva y eléctricamente neutra. Al parecer, el acoplamiento al electromagnetismo duplica el número de soluciones. Pero, por supuesto, esto tiene sentido: acoplarse al electromagnetismo requiere tomar un campo real y hacerlo complejo. Con un poco de esfuerzo, la ecuación de Dirac puede interpretarse como la ecuación "complejizada" de Majorana. Esto se demuestra más fácilmente en un entorno geométrico genérico, fuera del alcance de este artículo.

Matrices de proyección de estados propios de energía

Es convencional definir un par de matrices de proyección y , que proyectan los estados propios de energía positivos y negativos. Dado un sistema de coordenadas de Lorentz fijo (es decir, un momento fijo), estos son

Estos son un par de matrices de 4×4. Suman a la matriz identidad:

idempotentes

Conviene fijarse en su huella:

Tenga en cuenta que las propiedades de traza y ortonormalidad son independientes del marco de Lorentz; estas son covariantes de Lorentz.

Conjugación de carga

La conjugación de carga transforma el espinor de energía positiva en el espinor de energía negativa. La conjugación de carga es un mapeo (una involución ) que tiene la forma explícita

la conjugación de cargacarga eléctricamatrices gamma

Ver también

Referencias

  1. ^ Jost, Jürgen (2002). "Múltiples de Riemann". Geometría de Riemann y análisis geométrico (3ª ed.). Saltador. págs. 1–39. doi :10.1007/978-3-642-21298-7_1. Ver sección 1.8.
  2. ^ Bjorken, James D.; Drell, Sidney D. (1964). Mecánica Cuántica Relativista . McGraw-Hill. Consulte el Capítulo 3.
  3. ^ Itzykson, Claude; Zuber, Jean-Bernard (1980). Teoría cuántica de campos . McGraw-Hill. ISBN 0-07-032071-3. Consulte el Capítulo 2.