Feynman path integral
Suppose that one is given an equation
where , , and is a function defined on , where is some space and is a linear operator acting in a suitable way on a selected space of functions on . In a number of cases the transition function of equation (1) (that is, the kernel operator of the semi-group , ) can be represented in the form of a path integral
where is some function defined on , the integration is carried out over the set of "trajectories" , , with values in , "leaving" at time zero and "arriving" at at time , and, finally, is some measure (or pre-measure) given on this set of trajectories. The integral is interpreted either in the usual Lebesgue sense or in the sense prescribed by any one of the methods of path integration (see , ). Integrals of the form (2), and also integrals obtained from them by means of certain natural transformations (for example, changing the integration variables, an additional integration over the "ends" and or over other parameters appearing in (2), differentiation with respect to these parameters, etc.) are commonly called Feynman path integrals.
The representation (2) was introduced by R.P. Feynman  in connection with the new interpretation of quantum mechanics that he proposed. He considered the case when , the operator has the form , where is a Sturm–Liouville differential operator , is the Laplace operator in , is some function defined on (a potential) and . Here one obtains in the representation (2) for the function , , , and the complex pre-measure (the Feynman measure) is given on cylindrical sets of the form
by integration over the set (with respect to the usual Lebesgue measure on ) of the density
where , , , . The expression (2) was regarded by Feynman as the limit of the finitely-multiple integrals obtained by replacing the integral in the exponent in the integrand by some integral sum of it. But he did not give a rigorous foundation for the validity of this definition of the integral, or of equation (2).
Subsequently M. Kac  obtained (2), in which is the same as the Wiener measure, with complete mathematical rigour in the case of an operator , where has the form above. Therefore (2) is often called the Feynman–Kac formula.
The Feynman path integral is used as a convenient and deep analytical tool in a variety of questions in mathematical physics (, , ), probability theory  and the theory of differential equations .
|||R.P. Feynman, "Space-time approach to non-relativistic quantum mechanics" Rev. Modern Phys. , 20 (1948) pp. 367–387|
|||M. Kac, "On some connections between probability theory and differential and integral equations" , Proc. 2nd Berkeley Symp. Math. Stat. Probab. (1950) , Univ. California Press (1951) pp. 189–215|
|||J. Ginibre, "Some applications of functional integration in statistical mechanics" C.M. DeWitt (ed.) R. Stora (ed.) , Statistical mechanics and quantum field theory , Gordon & Breach pp. 327–427|
|||B. Simon, "The Euclidean (quantum) field theory" , Princeton Univ. Press (1974)|
|||Yu.L. Daletskii, "Integration in function spaces" Progress in Mathematics , 4 (1969) pp. 87–132 Itogi Nauk. Mat. Anal. 1966 (1967) pp. 83–124|
|||S.A. Albeverio, R.J. Høegh-Krohn, "Mathematical theory of Feynman path integrals" , Springer (1976)|
|||I.I. [I.I. Gikhman] Gihman, A.V. [A.V. Skorokhod] Skorohod, "The theory of stochastic processes" , 3 , Springer (1979) (Translated from Russian)|
|||V.A. Golubeva, "Some problems in the analytic theory of Feynman integrals" Russian Math. Surveys , 31 : 2 (1976) pp. 135–202 Uspekhi Mat. Nauk , 31 : 2 (1976) pp. 135–202|
The phrase "Feynman integral" is also used in physics to denote an (ordinary) integral over a closed loop in a Feynman diagram (arising in particle physics when calculating radiative conditions). Instead of Feynman path integral and Feynman integral one also finds the phrases path integral, functional integral and (rarely) continual integral in the literature.
|[a1]||R.P. Feynman, A.R. Hibbs, "Quantum mechanics and path integrals" , McGraw-Hill (1965)|
|[a2]||L.S. Schulman, "Techniques and applications of path integration" , Wiley (1981)|
|[a3]||J. Glimm, A. Jaffe, "Quantum physics, a functional integral point of view" , Springer (1981)|
|[a4]||V.N. Popov, "Functional integrals in quantum field theory and statistical physics" , Reidel (1983) (Translated from Russian)|
|[a5]||J.-P. Antoine (ed.) E. Tirapegui (ed.) , Functional integration. Theory and applications , Plenum (1980)|
|[a6]||B. Simon, "Functional integration and quantum physics" , Acad. Press (1979) pp. 4–6|
Feynman integral. R.A. Minlos (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Feynman_integral&oldid=12576