Teoría de la electrodinámica cuántica

La electrodinámica cuántica (QED acrónimo en inglés de Quantum Electrodynamics) es la teoría cuántica del campo electromagnético. QED describe los fenómenos que implican las partículas eléctricamente cargadas que obran recíprocamente por medio de la fuerza electromagnética.

La QED es una de las teorías más precisas de cuantos que se crearon en el siglo XX. Es capaz de hacer predicciones de ciertas magnitudes físicas con hasta veinte cifras decimales de precisión, un resultado poco frecuente en las teorías físicas anteriores. Por esa razón la teoría fue llamada "la joya de la física". Entre sus predicciones más exactas están:

${displaystyle g_{e}=2(1+a)=2left(1+{frac {q_{e}^{2}}{4pi epsilon _{0}hc}} ight)}$

Donde:

Shin'ichirō Tomonaga, Julian Schwinger y Richard Feynman recibieron los premios Nobel de Física de 1965 por su desarrollo, sus contribuciones que implicaban una prescripción covariante y gauge invariante para el cálculo de cantidades observables. La técnica matemática de Feynman, basada en sus diagramas, parecía inicialmente muy diferente del enfoque teórico de campos, basado en operadores de Schwinger y Tomonaga, pero más adelante se demostró su equivalencia. El procedimiento de renormalización para dar sentido a algunas de las predicciones infinitas de la teoría cuántica del campo también encontró su primera puesta en práctica acertada en electrodinámica cuántica.

La electrodinámica cuántica es una descripción detallada de la interacción entre fotones y partículas cargadas de tipo fermiónico. La teoría cuántica comparte ciertos rasgos con la descripción clásica. De acuerdo con la descripción de la óptica clásica la luz viaja sobre todos los caminos permitidos, y su interferencia determina los frentes de onda que se propagan de acuerdo con el principio de Fermat. Similarmente, en la descripción cuántica de los fotones (y los fermiones), estos pasan por cada camino posible permitido por aberturas o sistemas ópticos. En ambos casos el observador detecta simplemente el resultado matemático de la superposición de todas las ondas consideradas a lo largo de integrales de línea. Una diferencia es que en la electrodinámica la velocidad efectiva de un fotón puede superar la velocidad de la luz en promedio.^[1]​

Además QED fue la primera teoría cuántica del campo en la cual las dificultades para construir una descripción completa de campos y de creación y aniquilación de partículas cuánticas, fueron resueltas satisfactoriamente.

Matemáticamente, podemos decir que la electrodinámica cuántica tiene la estructura de una teoría de gauge abeliana, siendo el grupo de gauge asociado en grupo unitario ${displaystyle scriptstyle mathrm {U} (1)}$. El campo de gauge que media la interacción entre campos de espín -1/2 con carga es el campo electromagnético.

La evolución temporal de un sistema de partículas cargadas y fotones puede ser calculada mediante un cálculo perturbativo. En concreto la comparación con los experimentos realizables frecuentemente requiere el cálculo de los elementos de la matriz S que permiten encontrar las secciones eficaces de dispersión para partícula que puede ser comparada con los resultados de los experimentos.

La electrodinámica cuántica reduce este tipo de cálculos a un desarrollo perturbativo en serie de potencias que permite encontrar con la precisión deseada esas secciones eficaces. Cada uno de los términos perturbativos admite una representación gráfica conocida como diagrama de Feynman. De hecho, la electrodinámica cuántica fue históricamente la primera teoría donde se usaron diagramas de Feynman como ayuda en el cálculo perturbativo. La forma de cada uno de los términos perturbativos y, por tanto, la representación gráfica asociada depende de la forma del lagrangiano que caracteriza dicha teoría (ver más adelante).

Es interesante observar como se puede hallar el lagrangiano de la QED como simple exigencia de que el lagrangiano de un fermión libre con carga eléctrica no nula sea invariante gauge local. Sea ${displaystyle {mathcal {L}}_{l}}$ el lagrangiano del fermión libre:

${displaystyle {mathcal {L}}_{l}={dot {imath }}{ar {psi }}gamma ^{mu }partial _{mu }psi -m{ar {psi }}psi ={ar {psi }}({dot {imath }}gamma ^{mu }partial _{mu }-m)psi }$

En otras palabras, queremos que ${displaystyle {mathcal {L}}_{l}}$ sea invariante bajo una transformación local ${displaystyle mathrm {U} (1)}$ de manera que el campo cambie como:

${displaystyle psi (x) ightarrow e^{-{dot {imath }}alpha (x)}psi (x)}$

En ese caso, la derivada covariante y el gauge serán:

${displaystyle D_{mu }=partial _{mu }-{dot {imath }}eA_{mu }qquad herefore qquad A_{mu } ightarrow A_{mu }-{frac {1}{e}}partial _{mu }alpha }$

Con todo esto, nos queda el lagrangiano de la electrodinámica cuántica:

${displaystyle {mathcal {L}}_{QED}={ar {psi }}left({dot {imath }}gamma ^{mu }partial _{mu }-m ight)psi +e{ar {psi }}gamma ^{mu }A_{mu }psi -{frac {1}{4}}F_{mu u }F^{mu u }}$

Es importante señalar que la electrodinámica cuántica no da valores concretos de lo que sucedería en un experimento concreto, sino solo probabilidades de que suceda un determinado tipo de situación. Es por eso, que los experimentos usan un número relativamente grande de partículas que son dispersadas estadísticamente de acuerdo con las probabilidades predichas por la teoría. A partir de la distribución de partículas dispersadas puede medirse la sección eficaz comparable con las predicciones numéricas de la teoría.

Las predicciones de la electrodinámica cuántica han sido confirmadas por los experimentos hasta un nivel insólito de precisión: habitualmente se tienen experimentos que coinciden en 12 cifras decimales correctas con las predicciones de la teoría. Esto hace de la electrodinámica cuántica la teoría más precisa construida por el ser humano.

La dinámica y propiedades básicas de una teoría de campo depende de la forma seleccionada para el lagrangiano. La selección de lagrangiano depende de las simetrías del grupo de gauge y del hecho de que la teoría describa adecuadamente la interacción entre fermiones cargados. En una teoría que describa campos fermiónicos interactuando mediante un campo de gauge bosónico asociado a partículas sin masa (fotones) cuyo grupo de gauge es conmutativo, el lagrangiano de partida puede tomarse como:

(1)${displaystyle {mathcal {L}}=i{ar {psi }}gamma ^{mu }partial _{mu }psi -e{ar {psi }}gamma _{mu }A^{mu }psi -m{ar {psi }}psi -{frac {1}{4}}F_{mu u }F^{mu u },}$

Donde el campo ferminónico ${displaystyle psi }$ y su adjunto de Dirac ${displaystyle {ar {psi }}}$ son los campos que representan partículas de carga eléctrica, específicamente el electrón y los campos del positrón representados como espinor de Dirac. La parte del lagrangiano que contiene el tensor de campo electromagnético describe la evolución libre del campo electromagnético, mientras que la ecuación de Dirac con la derivada covariante de gauge describe la evolución libre de los campos del electrón y del positrón así como su interacción con el campo electromagnético.

Las ecuaciones de "movimiento" o ecuaciones de evolución temporal de la QED pueden obtenerse mediante las ecuaciones de Euler-Lagrange del lagrangiano de la teoría. Insertando ese lagrangiano en las ecuaciones de Euler-Lagrange se obtiene la ecuación de evolución temporal de la teoría:

(2)${displaystyle partial _{mu }left({frac {partial {mathcal {L}}}{partial (partial _{mu }psi )}} ight)-{frac {partial {mathcal {L}}}{partial psi }}=0quad {mbox{con}}{egin{cases}partial _{mu }left({frac {partial {mathcal {L}}}{partial (partial _{mu }psi )}} ight)=partial _{mu }left(i{ar {psi }}gamma ^{mu } ight)\{frac {partial {mathcal {L}}}{partial psi }}=-e{ar {psi }}gamma _{mu }A^{mu }-m{ar {psi }}end{cases}}}$

Colocando los dos términos dentro de la ecuación de Euler-Lagrange resulta finalmente la siguiente ecuación de evolución para el campo fermiónico:

El miembro de la izquierda es precisamente la ecuación de Dirac y el término de la derecha representa la interacción con el campo electromagnético.

Las mismas ecuaciones de Euler-Lagrange, aplicadas ahora al campo ${displaystyle A^{mu }}$, permiten encontrar las ecuaciones de evolución del campo electromagnético:

(3)${displaystyle partial _{ u }left({frac {partial {mathcal {L}}}{partial (partial _{ u }A_{mu })}} ight)-{frac {partial {mathcal {L}}}{partial A_{mu }}}=0quad {mbox{con}}{egin{cases}partial _{ u }left({frac {partial {mathcal {L}}}{partial (partial _{ u }A_{mu })}} ight)=partial _{ u }left(partial ^{mu }A^{ u }-partial ^{ u }A^{mu } ight)\{frac {partial {mathcal {L}}}{partial A_{mu }}}=-e{ar {psi }}gamma ^{mu }psi end{cases}}}$

Y la ecuación de evolución del campo electromagnético resulta finalmente:

Donde el segundo miembro puede ser interpretado como la densidad de corriente asociada al campo fermiónico.

Para dar cuenta de todos los efectos cuánticos, es necesario reemplazar las componentes de los campos en las anteriores ecuaciones diferenciales por operadores autoadjuntos interpretables como genuinos operadores cuánticos. En general eso lleva a unos sistemas de ecuaciones que no sabemos como integrar exactamente, pero que admiten un tratamiento perturbativo, descomponiendo el operador de evolución temporal ${displaystyle {hat {U}}_{QED}=exp(it{hat {H}}_{QED})}$ en series de potencias o serie perturbativa.

El cálculo de cada término de la serie anterior puede realizarse de manera casi automática con la ayuda de los llamados diagramas de Feynman, a los que se puede asociar unas reglas de Feynman. La precisión del cálculo depende de cuantos términos se consideran en la serie perturbativa anterior.

Un serio problema con las reglas de Feynman es que tal como fueron establecidas por primera vez conducen a diagramas y términos divergentes en la serie perturbativa, es decir, términos no finitos que echan a perder el cálculo de los términos finitos. Obviamente todos los resultados físicos son finitos y esos términos divergentes del cálculo no son observables en la realidad. La renormalización es un conjunto de reglas adicionales que interpretan qué relación existe entre los términos calculados y los términos medibles en la realidad y generan reglas adicionales que permiten "normalizar" los cálculos y garantizar que se producen resultados numéricos finitos comparables con la realidad mediante experimento.

Es conocido que el hecho de que una teoría cuántica sea una teoría de campo de gauge le confiere la propiedad de ser renormalizable, en el sentido de que existe un conjunto de reglas adicionales que permiten eliminar términos divergentes no observables y dar lugar a resultados finitos.

---