# Schwinger-Dyson equation

﻿
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\left\{T\right\}left\left\{frac\left\{delta\right\}\left\{deltaphi\right\}F \left[phi\right] ight\right\} ight|psi ight angle = -ileftlanglepsileft|mathcal\left\{T\right\}left\left\{F \left[phi\right] frac\left\{delta\right\}\left\{deltaphi\right\}S \left[phi\right] ight\right\} ight|psi ight angle$

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

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

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

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-1ij φi φj+Sint [φ] 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 Sint is the "interaction action". Then, we can rewrite the SD equations as

:$langlepsi|mathcal\left\{T\right\}\left\{F phi^j\right\}|psi angle=langlepsi|mathcal\left\{T\right\}\left\{iF_\left\{,i\right\}D^\left\{ij\right\}-FS_\left\{int,i\right\}D^\left\{ij\right\}\right\}|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 \left[phi\right] =frac\left\{partial^\left\{k_1\left\{partial x_1^\left\{k_1phi\left(x_1\right)cdots frac\left\{partial^\left\{k_n\left\{partial x_n^\left\{k_nphi\left(x_n\right)$

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

:$Fleft \left[-ifrac\left\{delta\right\}\left\{delta J\right\} ight\right] G \left[J\right] =\left(-i\right)^n frac\left\{partial^\left\{k_1\left\{partial x_1^\left\{k_1frac\left\{delta\right\}\left\{delta J\left(x_1\right)\right\} cdots frac\left\{partial^\left\{k_n\left\{partial x_n^\left\{k_nfrac\left\{delta\right\}\left\{delta J\left(x_n\right)\right\} G \left[J\right]$.

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

:$frac\left\{delta^n Z\right\}\left\{delta J\left(x_1\right) cdots delta J\left(x_n\right)\right\} \left[0\right] =i^n Z \left[0\right] langlephi\left(x_1\right)cdots phi\left(x_n\right) angle$,

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

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

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

= An example: φ4 =

To give an example, suppose

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

for a real field φ.

Then,

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

The Schwinger-Dyson equation for this particular example is:

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

Note that since

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

is not well-defined because

:$frac\left\{delta^3\right\}\left\{delta J\left(x_1\right)delta J\left(x_2\right) delta J\left(x_3\right)\right\}Z \left[J\right]$

is a distribution in

:"x"1, "x"2 and "x"3,

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\left\{T\right\}\left\{phi\left(x_0\right)phi\left(x_1\right)\right\}|psi angle=iD\left(x_0,x_1\right)+frac\left\{lambda\right\}\left\{3!\right\}int d^dx_2 D\left(x_0,x_2\right)langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_1\right)phi\left(x_2\right)phi\left(x_2\right)phi\left(x_2\right)\right\}|psi angle$

:$langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_0\right)phi\left(x_1\right)phi\left(x_2\right)phi\left(x_3\right)\right\}|psi angle = iD\left(x_0,x_1\right)langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_2\right)phi\left(x_3\right)\right\}|psi angle + iD\left(x_0,x_2\right)langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_1\right)phi\left(x_3\right)\right\}|psi angle + iD\left(x_0,x_3\right)langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_1\right)phi\left(x_2\right)\right\}|psi angle$::::: $+ frac\left\{lambda\right\}\left\{3!\right\}int d^dx_4D\left(x_0,x_4\right)langlepsi|mathcal\left\{T\right\}\left\{phi\left(x_1\right)phi\left(x_2\right)phi\left(x_3\right)phi\left(x_4\right)phi\left(x_4\right)phi\left(x_4\right)\right\}|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.)

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Equation de Schwinger-Dyson — Équation de Schwinger Dyson L’équation de Schwinger Dyson, d après Julian Schwinger et Freeman Dyson, est une équation de la théorie quantique des champs. Étant donné une fonction bornée F sur les configurations du champ, alors pour tout vecteur… …   Wikipédia en Français

• Équation de schwinger-dyson — L’équation de Schwinger Dyson, d après Julian Schwinger et Freeman Dyson, est une équation de la théorie quantique des champs. Étant donné une fonction bornée F sur les configurations du champ, alors pour tout vecteur d état | ψ > (qui est… …   Wikipédia en Français

• Équation de Schwinger-Dyson — L’équation de Schwinger Dyson, d après Julian Schwinger et Freeman Dyson, est une équation de la théorie quantique des champs. Étant donné une fonction bornée F sur les configurations du champ, alors pour tout vecteur d état | ψ > (qui est… …   Wikipédia en Français

• Dyson (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot Dyson peut faire référence à : Dyson, une société britannique d électroménager design, créée en 1993 par : James Dyson (1947 ), KBE,… …   Wikipédia en Français

• Dyson (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot Dyson peut faire référence à : Dyson, une société anglaise d électroménager design, créée en 1993 par : James Dyson (1947 ), KBE, inventeur et …   Wikipédia en Français

• Dyson series — In scattering theory, the Dyson series is a perturbative series, and each term is represented by Feynman diagrams. This series diverges asymptotically, but in quantum electrodynamics (QED) at the second order the difference from experimental data …   Wikipedia

• Julian Schwinger — Infobox Scientist name =Julian Schwinger imagesize = 180px caption = birth date = birth date|1918|2|12|mf=y birth place = New York City, New York, USA death date = death date and age|1994|7|16|1918|2|12 death place = Los Angeles, California, USA… …   Wikipedia

• Freeman Dyson — Pour les articles homonymes, voir Dyson (homonymie). Freeman Dyson en 2005. Freeman J. Dyson, né à Crowthorne  …   Wikipédia en Français

• Freeman J. Dyson — Freeman Dyson Pour les articles homonymes, voir Dyson (homonymie). Freeman Dyson en 2005. Freeman J. Dyson, né à Crowthorne, dans le Berkshire, le …   Wikipédia en Français

• Propagateur de l'équation de Schrödinger — Le terme propagateur a été introduit en physique par Feynman en 1948[1] pour sa formulation de la mécanique quantique en intégrales de chemin, une nouvelle approche de la quantification centrée sur le Lagrangien, contrairement à la procédure… …   Wikipédia en Français