Espinor complejo de cuatro componentes
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 FeynmanA continuación se proporciona una explicación de los términos que aparecen en el ansatz.
- El campo de Dirac es un campo relativista de espín 1/2 , o concretamente una función en el espacio de Minkowski valorada en , una función vectorial compleja de cuatro componentes.
- El espinor de Dirac relacionado con una onda plana con vector de onda es un vector que es constante con respecto a la posición en el espacio-tiempo pero que depende del impulso .
- El producto interno en el espacio de Minkowski para vectores y es .
- El momento de cuatro de una onda plana es arbitrario ,
- En un sistema de referencia inercial dado , las coordenadas son . Estas coordenadas parametrizan el espacio de Minkowski. En este artículo, cuando aparece en un argumento, a veces se omite el índice.
El espinor de Dirac para la solución de frecuencia positiva se puede escribir como
- es un doble espinor arbitrario, concretamente un vector.
- es el vector de Pauli ,
- es la raíz cuadrada positiva . Para este artículo, a veces se omite el subíndice y la energía se escribe simplemente .
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 .
- Si , claramente como .
- Por otro lado, sea , con un vector unitario, y sea .
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 PauliOrientación de giro
Dos espinores
En la representación de Dirac, las definiciones más convenientes para los dos espinores son:
base ortonormalmatrices 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íaCon 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:
idempotentesConviene 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 gammaVer también
Referencias
- ^ 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.
- ^ Bjorken, James D.; Drell, Sidney D. (1964). Mecánica Cuántica Relativista . McGraw-Hill. Consulte el Capítulo 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.
- Aitchison, IJR; AJG Hola (septiembre de 2002). Teorías de calibre en física de partículas (3ª ed.) . Instituto de Publicaciones de Física. ISBN 0-7503-0864-8.
- Molinero, David (2008). "Mecánica cuántica relativista (RQM)" (PDF) . págs. 26-37. Archivado desde el original (PDF) el 19 de diciembre de 2020 . Consultado el 3 de diciembre de 2009 .