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 forma 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 Dirac libre para un espinor con masa , que, en unidades naturales, se convierte y con la notación de barra de Feynman se puede escribir.

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 donde

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 y al mismo tiempo dividir ω en dos dos espinores:

Resultados

El uso de toda la información anterior para conectarla a la ecuación de Dirac da como resultado que esta ecuación matricial sea en realidad dos ecuaciones acopladas:

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 de energía positiva completa se escribe convencionalmente como Lo anterior introduce un factor de normalización derivado en la siguiente sección.

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 de que estos dos conjuntos de soluciones son "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 donde están los 4 vectores de Pauli y es la raíz cuadrada de la matriz hermitiana.

Orientación de giro

Dos espinores

En la representación de Dirac, las definiciones más convenientes para los dos espinores son: y dado que forman una base ortonormal con respecto a un producto interno (complejo).

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 marco 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 y

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 y

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 se puede aclarar observando que, cuando se escribe en el espacio de momento, la ecuación de Dirac tiene la forma y

Esto se debe a lo que a su vez se deriva de las relaciones anti-conmutación para las matrices gamma : con el tensor métrico en un espacio plano (en un espacio curvo, las matrices gamma pueden verse como una especie de vielbein , aunque esto está más allá del alcance de el artículo actual). Quizás sea útil señalar que la ecuación de Dirac, escrita en el sistema de reposo, toma la forma y de modo que los espinores del sistema de reposo puedan interpretarse correctamente como soluciones de la ecuación de Dirac. Aquí hay cuatro ecuaciones, no ocho. Aunque los 4 espinores se escriben como cuatro números complejos, lo que sugiere 8 variables reales, sólo cuatro de ellos tienen independencia dinámica; los otros cuatro no tienen importancia y siempre se pueden parametrizar. Es decir, se podría tomar cada uno de los cuatro vectores y multiplicar cada uno por una fase global distinta. Esta fase no cambia nada; puede interpretarse como una especie de libertad de medición global. Esto no quiere decir que "las fases no importen", como por supuesto sí lo hacen; la ecuación de Dirac debe escribirse en forma compleja y las fases se acoplan al electromagnetismo. Las fases incluso tienen un significado físico, como implica el efecto Aharonov-Bohm : el campo de Dirac, acoplado al electromagnetismo, es un haz de fibras U(1) (el haz circular ), y el efecto Aharonov-Bohm demuestra la holonomía de ese haz. Todo esto no tiene ningún impacto directo en el recuento del número de componentes distintos del campo de Dirac. En cualquier entorno, sólo hay cuatro componentes reales y distintos.

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 la matriz identidad: son ortogonales y son 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 donde denota la transpuesta, es una matriz de 4 × 4 y es un factor de fase arbitrario. El artículo sobre la conjugación de carga deriva la forma anterior y demuestra por qué la palabra "carga" es la palabra adecuada a utilizar: puede interpretarse como carga eléctrica . En la representación de Dirac para las matrices gamma , la matriz se puede escribir como Por lo tanto, una solución de energía positiva (eliminando el superíndice de espín para evitar una sobrecarga de notación) se lleva a su conjugado de carga . Tenga en cuenta los conjugados complejos perdidos. Estos se pueden consolidar con la identidad que se obtendrá con el ser de 2 espinores. Como este tiene precisamente la forma de la solución de energía negativa, queda claro que la conjugación de carga intercambia las soluciones de partículas y antipartículas. Tenga en cuenta que no sólo se invierte la energía, sino que también se invierte el impulso. El spin-up se transmuta en spin-down. Se puede demostrar que la paridad también se invierte. La conjugación de carga es en gran medida una combinación del espinor de Dirac con su "exactamente opuesto".

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.