| functional integral | |
|---|---|
| Name | Functional integral |
| Field | Quantum Physics, Mathematical physics |
| Introduced | 1940s |
| Notable contributors | Richard P. Feynman, Paul A. M. Dirac, Norbert Wiener, Julian Schwinger |
functional integral
The functional integral is a formulation of quantum dynamics and statistical ensembles that represents amplitudes and partition functions as integrals over spaces of functions or fields. It generalizes ordinary multiple integrals to infinite-dimensional configuration spaces and underlies modern approaches to quantum field theory, statistical mechanics, and stochastic processes. Functional integrals matter because they provide manifestly covariant, perturbative, and nonperturbative tools for computing observables, linking symmetries, conservation laws, and renormalization.
The concept traces to work by Paul Dirac on the Lagrangian in the 1930s and the formal path-sum idea of Richard Feynman in the 1940s, which recast quantum propagation as a sum over trajectories called the path integral. Parallel developments include Norbert Wiener's measure for Brownian motion and Julian Schwinger's operator methods. The functional integral matured through contributions by mathematical physicists at institutions such as Princeton University and Harvard University and through applications in particle physics at laboratories like CERN and Fermilab. Its historical arc links early quantum mechanics, the development of QED and the Standard Model, and later mathematical formalizations by researchers in probability theory and functional analysis.
Functional integrals rest on attempts to define integrals over infinite-dimensional spaces, invoking concepts from measure theory, Banach space and Hilbert space theory, and the theory of Gaussian measures. Rigorous constructions often use the Wiener measure for diffusion processes or cylindrical measures on spaces of distributions, as in the approach of constructive Quantum field theory. Key mathematical results involve the Cameron–Martin theorem, Minlos' theorem, and the Osterwalder–Schrader axioms which connect Euclidean functional integrals to relativistic quantum fields. Important institutions and contributors include the Institute for Advanced Study, researchers like Klaus Hepp, Arthur Jaffe, and projects in constructive field theory that provided rigorous examples such as the P(φ)2 theory.
In nonrelativistic quantum mechanics the functional integral reduces to a path integral over particle trajectories with action given by the classical Lagrangian. Feynman's original formulation computes the propagator as a time-sliced limit, related to the Trotter product formula and the Schrödinger equation. Seminal works include Feynman's 1948 paper and textbooks by Feynman and Messiah; pedagogical treatments appear in courses at MIT and Stanford University. Techniques such as stationary-phase approximation, time-slicing discretization, and use of coherent states for systems with spin are standard. The path integral illuminates semiclassical phenomena like the WKB approximation and instanton-mediated tunnelling important for quantum stability analyses.
The field-theoretic functional integral expresses correlation functions as integrals over field configurations weighted by exp(iS/ħ) in Minkowski signature or exp(-S_E/ħ) in Euclidean form. It provides the basis for perturbation theory via expansion about Gaussian integrals and Feynman diagrams, as developed in QED and non-Abelian gauge theories such as Yang–Mills theory. Functional determinants, ghost fields from the Faddeev–Popov procedure, and sources for generating functionals are central. Institutions like CERN and research programs around the Large Hadron Collider exploit these methods in precision calculations and phenomenology of the Standard Model and beyond.
Semiclassical analysis evaluates functional integrals by expanding about classical solutions (saddle points) of the action, relating quantum fluctuations to determinants of differential operators. Techniques include the stationary-phase method, steepest-descent contours (Lefschetz thimbles), and instanton calculus used in the study of tunnelling, anomaly computations, and vacuum structure. Influential works include analyses by Gerard 't Hooft on instantons and by Sidney Coleman on tunnelling in field theory. These approximations bridge classical stability and quantum corrections relevant to symmetry breaking and phase transitions.
Functional integrals require regularization to control ultraviolet divergences; common schemes include dimensional regularization, lattice regularization pioneered by Wilson and the lattice gauge theory program, Pauli–Villars, and cutoff methods. Renormalization procedures restore predictive power and connect to the renormalization group which explains scale dependence in quantum field theories. Gauge theories necessitate gauge fixing and introduction of ghost fields via the Faddeev–Popov method or BRST symmetry, essential in treatments by Ludwig Faddeev and Igor Tyutin. The interplay of anomaly cancellation, topology, and global symmetries is often studied through the functional integral.
Functional integrals are central to scattering amplitude calculations in high-energy physics, underpinning perturbative expansions used by collaborations at CERN and Fermilab. In statistical mechanics they map classical ensembles to Euclidean field theories, enabling analysis of critical phenomena via the Wilsonian renormalization group and conformal field theory. In condensed matter physics functional integral techniques treat many-body systems, superconductivity (BCS theory), quantum phase transitions, and topological phases; notable applications involve the Hubbard model, Kondo effect, and sigma models. Interdisciplinary bridges include stochastic quantization, connections to stochastic processes and the use of Monte Carlo methods on the lattice implemented on supercomputing resources at national labs.