Use the source term and left Grassmann functional derivatives. Differentiating its exponential inserts fields according to
The sign for follows because a left derivative with respect to must cross . Keep the order when replacing these fields. Expand in the original path integral; each field monomial can now be generated by these ordered derivatives acting on the free functional. Resumming gives
The arguments refer respectively to at . The free functional arises by performing the free Gaussian field integrals, and may be chosen so that .
No additional field-integration measure remains in this differential-operator formula. Such a measure is printed outside the operator in the source even though has already integrated out those fields. At , that literal expression would contain rather than simply , which is not the free generating functional. Also, when denotes a density, the spacetime integral in the exponent is required.

Articles by others on the same topic (0)

There are currently no matching articles.