Functional integration is a collection of results in mathematics and physics where the domain of an integral is no longer a region of space, but a space of functions. Functional integrals arise in probability, in the study of partial differential equations, and in the path integral approach to the quantum mechanics of particles and fields.

In an ordinary integral (in the sense of Lebesgue integration) there is a function to be integrated (the integrand) and a region of space over which to integrate the function (the domain of integration). The process of integration consists of adding up the values of the integrand for each point of the domain of integration. Making this procedure rigorous requires a limiting procedure, where the domain of integration is divided into smaller and smaller regions. For each small region, the value of the integrand cannot vary much, so it may be replaced by a single value. In a functional integral the domain of integration is a space of functions. For each function, the integrand returns a value to add up. Making this procedure rigorous poses challenges that continue to be topics of current research.

Functional integration was developed by Percy John Daniell in an article of 1919^[1] and Norbert Wiener in a series of studies culminating in his articles of 1921 on Brownian motion. They developed a rigorous method (now known as the Wiener measure) for assigning a probability to a particle's random path. Richard Feynman developed another functional integral, the path integral, useful for computing the quantum properties of systems. In Feynman's path integral, the classical notion of a unique trajectory for a particle is replaced by an infinite sum of classical paths, each weighted differently according to its classical properties.

Functional integration is central to quantization techniques in theoretical physics. The algebraic properties of functional integrals are used to develop series used to calculate properties in quantum electrodynamics and the standard model of particle physics.

Functional integration

Whereas standard Riemann integration sums a function f(x) over a continuous range of values of x, functional integration sums a functional G[f], which can be thought of as a "function of a function" over a continuous range (or space) of functions f. Most functional integrals cannot be evaluated exactly but must be evaluated using perturbation methods. The formal definition of a functional integral is

$${\displaystyle \int G[f]\;{\mathcal {D}}[f]\equiv \int _{\mathbb {R} }\cdots \int _{\mathbb {R} }G[f]\prod _{x}df(x)\;.}$$

However, in most cases the functions f(x) can be written in terms of an infinite series of orthogonal functions such as ${\displaystyle f(x)=f_{n}H_{n}(x)}$, and then the definition becomes

$${\displaystyle \int G[f]\;{\mathcal {D}}[f]\equiv \int _{\mathbb {R} }\cdots \int _{\mathbb {R} }G(f_{1};f_{2};\ldots )\prod _{n}df_{n}\;,}$$

which is slightly more understandable. The integral is shown to be a functional integral with a capital ${\displaystyle {\mathcal {D}}}$. Sometimes the argument is written in square brackets ${\displaystyle {\mathcal {D}}[f]}$, to indicate the functional dependence of the function in the functional integration measure.

Examples

Most functional integrals are actually infinite, but often the limit of the quotient of two related functional integrals can still be finite. The functional integrals that can be evaluated exactly usually start with the following Gaussian integral:

${\displaystyle {\frac {\displaystyle \int \exp \left\lbrace -{\frac {1}{2}}\int _{\mathbb {R} }\left[\int _{\mathbb {R} }f(x)K(x;y)f(y)\,dy+J(x)f(x)\right]dx\right\rbrace {\mathcal {D}}[f]}{\displaystyle \int \exp \left\lbrace -{\frac {1}{2}}\int _{\mathbb {R} ^{2}}f(x)K(x;y)f(y)\,dx\,dy\right\rbrace {\mathcal {D}}[f]}}=\exp \left\lbrace {\frac {1}{2}}\int _{\mathbb {R} ^{2}}J(x)\cdot K^{-1}(x;y)\cdot J(y)\,dx\,dy\right\rbrace \,,}$

in which ${\displaystyle K(x;y)=K(y;x)}$. By functionally differentiating this with respect to J(x) and then setting to 0 this becomes an exponential multiplied by a monomial in f. To see this, let's use the following notation:

${\displaystyle G[f,J]=-{\frac {1}{2}}\int _{\mathbb {R} }\left[\int _{\mathbb {R} }f(x)K(x;y)f(y)\,dy+J(x)f(x)\right]dx\,\quad ,\quad W[J]=\int \exp \lbrace G[f,J]\rbrace {\mathcal {D}}[f]\;.}$

With this notation the first equation can be written as:

${\displaystyle {\dfrac {W[J]}{W[0]}}=\exp \left\lbrace {\frac {1}{2}}\int _{\mathbb {R} ^{2}}J(x)K^{-1}(x;y)J(y)\,dx\,dy\right\rbrace .}$

Now, taking functional derivatives to the definition of ${\displaystyle W[J]}$ and then evaluating in ${\displaystyle J=0}$, one obtains:

${\displaystyle {\dfrac {\delta }{\delta J(a)}}W[J]{\Bigg |}_{J=0}=\int f(a)\exp \lbrace G[f,0]\rbrace {\mathcal {D}}[f]\;,}$

${\displaystyle {\dfrac {\delta ^{2}W[J]}{\delta J(a)\delta J(b)}}{\Bigg |}_{J=0}=\int f(a)f(b)\exp \lbrace G[f,0]\rbrace {\mathcal {D}}[f]\;,}$

${\displaystyle \qquad \qquad \qquad \qquad \vdots }$

which is the result anticipated. More over, by using the first equation one arrives to the useful result:

${\displaystyle {\dfrac {\delta ^{2}}{\delta J(a)\delta J(b)}}\left({\dfrac {W[J]}{W[0]}}\right){\Bigg |}_{J=0}=K^{-1}(a;b)\;;}$

Putting these results together and backing to the original notation we have:

${\displaystyle {\frac {\displaystyle \int f(a)f(b)\exp \left\lbrace -{\frac {1}{2}}\int _{\mathbb {R} ^{2}}f(x)K(x;y)f(y)\,dx\,dy\right\rbrace {\mathcal {D}}[f]}{\displaystyle \int \exp \left\lbrace -{\frac {1}{2}}\int _{\mathbb {R} ^{2}}f(x)K(x;y)f(y)\,dx\,dy\right\rbrace {\mathcal {D}}[f]}}=K^{-1}(a;b)\,.}$

Another useful integral is the functional delta function:

${\displaystyle \int \exp \left\lbrace \int _{\mathbb {R} }f(x)g(x)dx\right\rbrace {\mathcal {D}}[f]=\delta [g]=\prod _{x}\delta {\big (}g(x){\big )},}$

which is useful to specify constraints. Functional integrals can also be done over Grassmann-valued functions ${\displaystyle \psi (x)}$, where ${\displaystyle \psi (x)\psi (y)=-\psi (y)\psi (x)}$, which is useful in quantum electrodynamics for calculations involving fermions.

Approaches to path integrals

Functional integrals where the space of integration consists of paths (ν = 1) can be defined in many different ways. The definitions fall in two different classes: the constructions derived from Wiener's theory yield an integral based on a measure, whereas the constructions following Feynman's path integral do not. Even within these two broad divisions, the integrals are not identical, that is, they are defined differently for different classes of functions.

See also

• Feynman path integral
• Partition function (quantum field theory)
• Saddle point approximation

References

Further reading

• Jean Zinn-Justin (2009), Scholarpedia 4(2):8674.
• Kleinert, Hagen, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, 4th edition, World Scientific (Singapore, 2004); Paperback ISBN 981-238-107-4 (also available online: PDF-files)
• Laskin, Nick (2000). "Fractional quantum mechanics". Physical Review E. 62 (3): 3135–3145. arXiv:0811.1769. Bibcode:2000PhRvE..62.3135L. doi:10.1103/PhysRevE.62.3135. PMID 11088808. S2CID 15480739.
• Laskin, Nick (2002). "Fractional Schrödinger equation". Physical Review E. 66 (5): 056108. arXiv:quant-ph/0206098. Bibcode:2002PhRvE..66e6108L. doi:10.1103/PhysRevE.66.056108. PMID 12513557. S2CID 7520956.
• Minlos, R. A. (2001) [1994], "Integral over trajectories", Encyclopedia of Mathematics, EMS Press
• O. G. Smolyanov, E. T. Shavgulidze. Continual integrals. Moscow, Moscow State University Press, 1990. (in Russian). http://lib.mexmat.ru/books/5132
• Victor Popov, Functional Integrals in Quantum Field Theory and Statistical Physics, Springer 1983
• Sergio Albeverio, Sonia Mazzucchi, A unified approach to infinite-dimensional integration, Reviews in Mathematical Physics, 28, 1650005 (2016)