Schwinger-Dyson equation

The Schwinger-Dyson equation, named after Julian Schwinger and Freeman Dyson, is an equation of quantum field theory (QFT). Given a polynomially bounded functional "F" over the field configurations, then, for any state vector (which is a solution of the QFT), |ψ>, we have

:$leftlanglepsileft|mathcal\{T\}left\{frac\{delta\}\{deltaphi\}F\; [phi]\; ight\}\; ight|psi\; ight\; angle\; =\; -ileftlanglepsileft|mathcal\{T\}left\{F\; [phi]\; frac\{delta\}\{deltaphi\}S\; [phi]\; ight\}\; ight|psi\; ight\; angle$

where "S" is the action functional and $mathcal\{T\}$ is the time ordering operation.

Equivalently, in the density state formulation, for any (valid) density state ρ, we have

:$holeft(mathcal\{T\}left\{frac\{delta\}\{deltaphi\}F\; [phi]\; ight\}\; ight)\; =\; -i\; holeft(mathcal\{T\}left\{F\; [phi]\; frac\{delta\}\{deltaphi\}S\; [phi]\; ight\}\; ight)$

This infinite set of equations can be used to solve for the correlation functions nonperturbatively.

To make the connection to diagramatical techniques (like Feynman diagrams) clearer, it's often convenient to split the action S as S [φ] =1/2 D^-1_ij φⁱ φ^j+S_int [φ] where the first term is the quadratic part and D^-1 is an invertible symmetric (antisymmetric for fermions) covariant tensor of rank two in the deWitt notation whose inverse, D is called the bare propagator and S_int is the "interaction action". Then, we can rewrite the SD equations as

:$langlepsi|mathcal\{T\}\{F\; phi^j\}|psi\; angle=langlepsi|mathcal\{T\}\{iF\_\{,i\}D^\{ij\}-FS\_\{int,i\}D^\{ij\}\}|psi\; angle$

If "F" is a functional of φ, then for an operator "K", "F" ["K"] is defined to be the operator which substitutes "K "for φ. For example, if

:$F\; [phi]\; =frac\{partial^\{k\_1\{partial\; x\_1^\{k\_1phi(x\_1)cdots\; frac\{partial^\{k\_n\{partial\; x\_n^\{k\_nphi(x\_n)$

and "G" is a functional of "J", then

:$Fleft\; [-ifrac\{delta\}\{delta\; J\}\; ight]\; G\; [J]\; =(-i)^n\; frac\{partial^\{k\_1\{partial\; x\_1^\{k\_1frac\{delta\}\{delta\; J(x\_1)\}\; cdots\; frac\{partial^\{k\_n\{partial\; x\_n^\{k\_nfrac\{delta\}\{delta\; J(x\_n)\}\; G\; [J]$.

If we have an "analytic" (whatever that means for functionals) functional "Z" (called the generating functional) of "J" (called the source field) satisfying

:$frac\{delta^n\; Z\}\{delta\; J(x\_1)\; cdots\; delta\; J(x\_n)\}\; [0]\; =i^n\; Z\; [0]\; langlephi(x\_1)cdots\; phi(x\_n)\; angle$,

then, the Schwinger-Dyson equation for the generating functional is

:$frac\{delta\; S\}\{delta\; phi(x)\}left\; [-i\; frac\{delta\}\{delta\; J\}\; ight]\; Z\; [J]\; +J(x)Z\; [J]\; =0$

If we expand this equation as a Taylor series about "J" = 0, we get the entire set of Schwinger-Dyson equations.

= An example: φ⁴ =

To give an example, suppose

:$S\; [phi]\; =int\; d^dx\; left\; (frac\{1\}\{2\}\; partial^mu\; phi(x)\; partial\_mu\; phi(x)\; -frac\{1\}\{2\}m^2phi(x)^2\; -frac\{lambda\}\{4!\}phi(x)^4\; ight\; )$

for a real field φ.

Then,

:$frac\{delta\; S\}\{delta\; phi(x)\}=-partial\_mu\; partial^mu\; phi(x)\; -m^2\; phi(x)\; -\; frac\{lambda\}\{3!\}phi(x)^3$.

The Schwinger-Dyson equation for this particular example is:

:$ipartial\_mu\; partial^mu\; frac\{delta\}\{delta\; J(x)\}Z\; [J]\; +im^2frac\{delta\}\{delta\; J(x)\}Z\; [J]\; -frac\{ilambda\}\{3!\}frac\{delta^3\}\{delta\; J(x)^3\}Z\; [J]\; +J(x)Z\; [J]\; =0$

Note that since

:$frac\{delta^3\}\{delta\; J(x)^3\}$

is not well-defined because

:$frac\{delta^3\}\{delta\; J(x\_1)delta\; J(x\_2)\; delta\; J(x\_3)\}Z\; [J]$

is a distribution in

:"x"₁, "x"₂ and "x"₃,

this equation needs to be regularized!

In this example, the bare propagator, D is the Green's function for $-partial^mu\; partial\_mu-m^2$ and so, the SD set of equation goes as

:$langlepsi|mathcal\{T\}\{phi(x\_0)phi(x\_1)\}|psi\; angle=iD(x\_0,x\_1)+frac\{lambda\}\{3!\}int\; d^dx\_2\; D(x\_0,x\_2)langlepsi|mathcal\{T\}\{phi(x\_1)phi(x\_2)phi(x\_2)phi(x\_2)\}|psi\; angle$

:$langlepsi|mathcal\{T\}\{phi(x\_0)phi(x\_1)phi(x\_2)phi(x\_3)\}|psi\; angle\; =\; iD(x\_0,x\_1)langlepsi|mathcal\{T\}\{phi(x\_2)phi(x\_3)\}|psi\; angle\; +\; iD(x\_0,x\_2)langlepsi|mathcal\{T\}\{phi(x\_1)phi(x\_3)\}|psi\; angle\; +\; iD(x\_0,x\_3)langlepsi|mathcal\{T\}\{phi(x\_1)phi(x\_2)\}|psi\; angle$::::: $+\; frac\{lambda\}\{3!\}int\; d^dx\_4D(x\_0,x\_4)langlepsi|mathcal\{T\}\{phi(x\_1)phi(x\_2)phi(x\_3)phi(x\_4)phi(x\_4)phi(x\_4)\}|psi\; angle$

etc.

(unless there is spontaneous symmetry breaking, the odd correlation functions vanish)

Examples outside the Physics:

(Deleted content that was cryptic and nonsensical.)