Misplaced Pages

This is an old revision of this page, as edited by Phys (talk | contribs) at 22:25, 21 October 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Everything in the following article also applies to statistical mechanics. However, the signs and factors of i are different in that case.

In quantum field theory, given the partition function in terms of the source field J, Z, the energy functional is its logarithm.

${\displaystyle E\equiv i\ln Z}$

Some physicists use W instead where W=-E. See sign conventions

Just as Z is interpreted as the generating functional of the time ordered VEVs (see path integral formulation), E is the generator of "connected" time ordered VEVs where connected here is interpreted in the sense of the cluster decomposition theorem which means that these functions approach zero at large spacelike separations, or in approximations using feynman diagrams, connected components of the graph.

${\displaystyle <\phi (x_{1})\cdots \phi (x_{n})>_{con}=(-i)^{n+1}\left.{\frac {\delta ^{n}E}{\delta J(x_{1})\cdots \delta J(x_{n})}}\right|_{J=0}}$

or

${\displaystyle <\phi ^{i_{1}}\cdots \phi ^{i_{n}}>_{con}=(-i)^{n+1}E^{,i_{1}\dots i_{n}}|_{J=0}}$

in the deWitt notation

Then the n-point correlation function is the sum over all the possible partitions of the fields involved in the product into products of connected correlation functions. To clarify with an example,

${\displaystyle <\phi (x_{1})\phi (x_{2})\phi (x_{3})>=<\phi (x_{1})\phi (x_{2})\phi (x_{3})>_{con}+<\phi (x_{1})\phi (x_{2})>_{con}<\phi (x_{3})>_{con}+<\phi (x_{1})\phi (x_{3})>_{con}<\phi (x_{2})>_{con}+<\phi (x_{1})>_{con}<\phi (x_{2})\phi (x_{3})>_{con}+<\phi (x_{1})>_{con}<\phi (x_{2})>_{con}<\phi (x_{3})>_{con}}$

Assuming E is a convex functional (which is debatable), the Legendre transformation gives a one-to-one correspondence between the configuration space of all source fields and its dual vector space, the configuration space of all φ fields. φ here is a classical field and not a quantum field operator.

Slightly out of the usual sign conventions for Legendre transforms, the value

${\displaystyle \phi =-{\delta \over \delta J}E}$

or

${\displaystyle \phi ^{i}=-E^{,i}}$

is associated to J. This agrees with the time ordered VEV <φ>_J. The Legendre transform of E is the effective action

${\displaystyle \Gamma =-<J,\phi >-E}$

or

${\displaystyle \Gamma =-J_{i}\phi ^{i}-E}$

where

${\displaystyle \phi =-{\delta \over \delta J}E}$

and

${\displaystyle J=-{\delta \over \delta \phi }\Gamma }$

or

${\displaystyle J_{i}=-\Gamma _{,i}}$.

There are some caveats, though, the major one being we don't have a true one-to-one correspondence between the dual configuration spaces.

If we perform a Taylor series expansion of Γ about the VEV, φ=<φ>, the coefficients give us the amputated correlation functions, also called one particle irreducible correlation functions or 1PI correlation functions.

We could also perform a Taylor series expansion about φ=0 or some other value which is not the VEV. But in that case, we have to include tadpoles in all our analyses, complicating our calculations. This is done, for example, if we don't know what the true VEV is.

• Quantum field theory