A equação Schwinger-Dyson, de acordo com Julian Schwinger e Freeman Dyson, é uma equação da Teoria quântica de campos. Dada uma função F delimitada sobre as configurações do campo e, em seguida, para cada estado | ψ> (que é a solução QFT), então:
![{\displaystyle <\psi |{\mathcal {T}}\{{\frac {\delta }{\delta \phi }}F[\phi ]\}|\psi >=-i<\psi |{\mathcal {T}}\{F[\phi ]{\frac {\delta }{\delta \phi }}S[\phi ]\}|\psi >}](//wikimedia.org/api/rest_v1/media/math/render/svg/6ba0be3849672434b7840f456ba519bce67a5b42)
S com a função de ação e \mathcal (T) operação ordenada de tempo.
Da mesma forma, na formulação do estado densidade para qualquer estado (válidos) ρ, temos:
![{\displaystyle \rho ({\mathcal {T}}\{{\frac {\delta }{\delta \phi }}F[\phi ]\})=-i\rho ({\mathcal {T}}\{F[\phi ]{\frac {\delta }{\delta \phi }}S[\phi ]\})}](//wikimedia.org/api/rest_v1/media/math/render/svg/813a4318bef20e51efbb7bba61edc33615a2031a)
Estas infinitas equações podem ser usados para resolver a funções correlativas sem interrupção.
Isso também pode reduzir a ação por separação S: S [φ] = 1 / 2 D-1ij φ i + j φ Sint [φ] para o primeiro mandato quadrático D-1 e um maior rigor covariante simétrico e reversível na notação de categoria 2, na notação de DeWitt. Assim, podemos reescrever as equações do seguinte modo:
![{\displaystyle <\psi |{\mathcal {T}}\{F\phi ^{j}\}|\psi >=<\psi |{\mathcal {T}}\{iF_{,i}D^{ij}-FS_{int,i}D^{ij}\}|\psi >}](//wikimedia.org/api/rest_v1/media/math/render/svg/d247f94cb52dbbb118b22887f02d6ed37a552ad1)
Se F é uma função de φ e, em seguida, para um operador K, M [K] é definido como um operador que substitui K φ. Por exemplo, se
![{\displaystyle F[\phi ]={\frac {\partial ^{k_{1}}}{\partial x_{1}^{k_{1}}}}\phi (x_{1})\cdots {\frac {\partial ^{k_{n}}}{\partial x_{n}^{k_{n}}}}\phi (x_{n})}](//wikimedia.org/api/rest_v1/media/math/render/svg/380681744b427fb7ca61b3058f2c68e3f33295e2)
e G é uma função de J, então:
.
Se temos uma função analítica Z (conhecida função geradora) J (fonte conhecida do campo) satisfazendo a equação:
,
então usando a equação Schwinger-Dyson para o geradorr Z:
![{\displaystyle {\frac {\delta S}{\delta \phi (x)}}[-i{\frac {\delta }{\delta J}}]Z[J]+J(x)Z[J]=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/3beff8361cbdd44e5aefbfaa52205d83333b0c9e)