Las ecuaciones de Schwinger son un sistema de ecuaciones que relacionan las funciones de Green en la teoría cuántica de campos . Introducido por Julian Schwinger en 1951.
Las ecuaciones de Schwinger se pueden formular como una sola ecuación en derivadas variacionales :
donde es el funcional de acción , es el funcional generador de las funciones de Green completas . El argumento del funcional es un objeto clásico de la misma naturaleza que el campo , es decir, la función habitual para bosones y la función anticonmutante para fermiones , - la derivada variacional por la izquierda , en el caso bosónico, en el caso fermiónico.
Para una teoría con polinomio de acción en el campo, esta ecuación es una ecuación de orden finito en derivadas variacionales. Determina la solución solo hasta un factor numérico: el funcional generador de la función de Green sin bucles de vacío se determina de forma única , donde es el funcional generador de las funciones de Green de la teoría libre.
Habiendo hecho una sustitución en la ecuación y reduciendo el multiplicador después de la diferenciación , obtenemos la ecuación de Schwinger para el funcional generatriz de las funciones de Green conexas .
Representado como una serie.
y comparando los coeficientes en todas las potencias , obtenemos un sistema de ecuaciones enlazadas para las funciones de Green conectadas .
Para obtener las ecuaciones de Schwinger se introducen fuentes clásicas de campos externos. Por ejemplo, en la electrodinámica cuántica de partículas con espín 1/2, en la versión más simple, es suficiente introducir en el Lagrangiano la interacción del campo de fotones cuantificado con la fuente de un campo electromagnético externo en la forma mínima — . Debido a esto, se hace posible, mediante variación funcional sobre una fuente clásica , obtener funciones de Green con un gran número de extremos de fotones . La matriz de dispersión se convierte en la fuente funcional . También es conveniente introducir el valor medio observado del operador de campo fotónico (teniendo en cuenta las correcciones cuánticas):
donde es el valor promedio de los operadores sobre los estados de vacío en la representación de interacción , el símbolo denota el orden cronológico de los operadores, es la derivada variacional de .
Como resultado, para la función de Green fermiónica de dos puntos
donde es el operador espinor del campo fermiónico (electrón-positrón), y la barra sobre el operador significa conjugación de Dirac , tenemos una ecuación del tipo de Dirac :
donde son las matrices de Dirac y son la carga y la masa del electrón. Para el valor promedio del operador de campo de fotones, obtenemos una ecuación del tipo de la ecuación de Maxwell (el segundo término del lado derecho de la ecuación tiene el significado de correcciones cuánticas a la corriente clásica ):
donde la traza se toma sobre los índices de espinor. Las ecuaciones resultantes, que permiten determinar y a partir de fuentes dadas , se denominan ecuaciones de Schwinger .
La función de Green del fotón de dos puntos se puede encontrar usando la relación
La cantidad se llama funcional generatriz .
La parte de vértice de tres puntos se define de la siguiente manera:
donde es el operador inverso de la función de Green fermiónica. Las ecuaciones de Schwinger están estrechamente relacionadas con las ecuaciones de Dyson . Schwinger también derivó una ecuación para la función de Green de cuatro puntos de dos partículas (fermiones). En ausencia de un campo externo, esta ecuación es equivalente a la ecuación de Bethe-Salpeter .