Quantum Field Theory/QFT Schwinger-Dyson
In quantum field theory, action is given by the functional S of field configurations (which only depends locally on the fields), then the time ordered vacuum expectation value of polynomially bounded functional F, <F>, is given by
In fact, on shell equations for the classical case usually have their quantum analog because, in a hand wavy way, when integrating over regions of the configuration space which are significantly off shell, the rapidly oscillating phases would tend to produce "destructive interference" wheareas for regions close on shell, we tend to have "constructive interference".
For example, what is the analog of the on shell Euler-Lagrange equations, ?
If the functional measure turns out to be translationally invariant (we'll assume this for the rest of this article, although this does not hold for, let's say nonlinear sigma models) and if we assume that after a Wick rotation
which now becomes
for some H, goes to zero faster than any reciprocal of any polynomial for large values of φ, integrate by parts (after a Wick rotation, followed by a Wick rotation back) to get the following Schwinger-Dyson equations:
for any polynomially bounded functional F.
These equations are the analog of the on shell EL equations.
If J (called the source field) is an element of the dual space of the field configurations (which has at least an affine structure because of the assumption of the translational invariance for the functional measure then, the generating functional Z of the source fields is defined to be:
Basically, if is viewed as a functional distribution (this shouldn't be taken too literally as an interpretation of QFT, unlike it's Wick rotated statistical mechanics analogue, because we have time ordering complications here!), then are its moments and Z is its Fourier transform.
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 and G is a functional of J, then .
Then, from the properties of the functional integrals, we get the "master" Schwinger-Dyson equation:
If the functional measure is not translationally invariant, it might be possible to express it as the product where M is a functional and is a translationally invariant measure. This is true, for example, for nonlinear sigma models where the target space is diffeomorphic to Rn. However, if the target manifold is some topologically nontrivial space, the concept of a translation does not even make any sense.
In that case, we would have to replace the S in this equation by another functional
If we expand this equation as a Taylor series about J=0, we get the entire set of Schwinger-Dyson equations.
Now how about the on shell Noether's theorem for the classical case? Does it have a quantum analog as well? Yes, but with a caveat. The functional measure would have to be invariant under the one parameter group of symmetry transformation as well.
Let's see how it goes. Let's just assume for simplicity here that the symmetry in question is local (I don't mean local in the gauge sense. I mean local in the sense that the transformed value of the field at any given point under an infinitesimal transformation would only depend on the field configuration over an arbitrarily small neighborhood of the point in question.). Let's also assume that the action is local in the sense that it is the integral over spacetime of a Lagrangian and that for some function f where f only depends locally on φ (and possibly the spacetime position). If we don't assume any special boundary conditions, this would not be a "true" symmetry in the true sense of the term in general unless f=0 or something. Here, Q is a derivation which generates the one parameter group in question. We could have antiderivations as well, like for example BRST and supersymmetry. Let's also assume
for any polynomially bounded functional F. This property is called the invariance of the measure. And this does not hold in general. See anomaly (physics) for more details.
, which implies
where the integral is over the boundary. This is the quantum analog.
Now, let's assume even further that Q is a local integral where q(x)[φ(y)]=δ(d)(x-y)Q[φ(y)] so that where (this is assuming the Lagrangian only depends on φ and its first partial derivatives! More general Lagrangians would require a modification to this definition!). Note that we're NOT insisting that q(x) is the generator of a symmetry (i.e. we're NOT insisting upon the gauge principle), but just that Q is. And let's also assume the even stronger assumption that the functional measure is locally invariant:
Then, we'd have
The above two equations are the Ward-Takahashi identities.
Now for the case where f=0, we can forget about all the boundary conditions and locality assumptions. We'd simply have
An example: φ4
To give an example, suppose
for a real field φ.
The Schwinger-Dyson equation for this particular example is:
Note that since is not well-defined ( is a distribution in x1, x2 and x3), this equation needs to be regularized!