Difference between revisions of "Integral over trajectories"
m (→References: Typo - Ginibre, not Genibre) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
Line 1: | Line 1: | ||
+ | <!-- | ||
+ | i0515701.png | ||
+ | $#A+1 = 11 n = 1 | ||
+ | $#C+1 = 11 : ~/encyclopedia/old_files/data/I051/I.0501570 Integral over trajectories, | ||
+ | Automatically converted into TeX, above some diagnostics. | ||
+ | Please remove this comment and the {{TEX|auto}} line below, | ||
+ | if TeX found to be correct. | ||
+ | --> | ||
+ | |||
+ | {{TEX|auto}} | ||
+ | {{TEX|done}} | ||
+ | |||
''continual integral, functional integral, path integral'' | ''continual integral, functional integral, path integral'' | ||
− | An integral for which some function space serves as the domain of integration. Most often, an integral over trajectories is defined as an ordinary [[Lebesgue integral|Lebesgue integral]] of a functional defined on a space of (possibly generalized) functions with respect to some (possibly complex) measure in this space. In those cases when the Lebesgue construction of the integral proves to be inapplicable, other methods of functional integration are considered. For example, instead of a measure, a [[Pre-measure|pre-measure]] (or quasi-measure) can be used, that is, an additive set function defined on the algebra of all cylinder subsets of the function space such that its restriction to any | + | An integral for which some function space serves as the domain of integration. Most often, an integral over trajectories is defined as an ordinary [[Lebesgue integral|Lebesgue integral]] of a functional defined on a space of (possibly generalized) functions with respect to some (possibly complex) measure in this space. In those cases when the Lebesgue construction of the integral proves to be inapplicable, other methods of functional integration are considered. For example, instead of a measure, a [[Pre-measure|pre-measure]] (or quasi-measure) can be used, that is, an additive set function defined on the algebra of all cylinder subsets of the function space such that its restriction to any $ \sigma $- |
+ | subalgebra of cylinder sets with fixed support is already a measure. Sometimes integration over trajectories is defined as the limit as $ n \rightarrow \infty $ | ||
+ | of $ n $- | ||
+ | fold integrals (calculated with respect to the Lebesgue measure in $ \mathbf R ^ {n} $) | ||
+ | that arise as a result of suitable approximations of the function space (domain of integration) by an $ n $- | ||
+ | dimensional space; while the functional to be integrated is approximated by a function of $ n $ | ||
+ | variables. These and other definitions of integration over trajectories are applied to their own special classes of functionals; in those cases when these definitions are all applicable, they lead, in general, to different values of the integral. Finally, the integrals over trajectories encountered in physics literature sometimes do not have an exact meaning, but are regarded as formal expressions with which one operates as with ordinary integrals (change of variables, majorization, differentiation with respect to a parameter, limit transitions, etc.); even so, important and heuristically valuable results are often obtained by this means. | ||
Integration over trajectories, which arose originally in the theory of random processes, was subsequently used for representing the group | Integration over trajectories, which arose originally in the theory of random processes, was subsequently used for representing the group | ||
− | + | $$ | |
+ | \mathop{\rm exp} \{ itH \} ,\ t \in \mathbf R ^ {1} , | ||
+ | $$ | ||
as well as the semi-group of operators | as well as the semi-group of operators | ||
− | + | $$ | |
+ | \mathop{\rm exp} \{ - tH \} ,\ t > 0 , | ||
+ | $$ | ||
− | where | + | where $ H $ |
+ | is a [[Sturm–Liouville operator|Sturm–Liouville operator]] in the space $ \mathbf R ^ {n} $( | ||
+ | the energy operator for a system of quantum particles). Similar representations were then obtained for a wider class of operators $ H $( | ||
+ | every representation of this type is usually called a Feynman–Kac formula) and have been an appropriate device for studying the properties of these operators (estimates of the boundary of a spectrum, asymptotics of eigen values, scattering properties, etc., [[#References|[3]]]) | ||
Among the applications of integration over trajectories in mathematical physics (based principally on the Feynman–Kac formula), the deepest have proved to be their application to problems of quantum statistical physics [[#References|[4]]] and quantum field theory [[#References|[5]]], [[#References|[6]]]. To some extent, the development of general questions of measure theory and integration in infinite-dimensional spaces are related to integration over trajectories [[#References|[7]]]–[[#References|[9]]]. | Among the applications of integration over trajectories in mathematical physics (based principally on the Feynman–Kac formula), the deepest have proved to be their application to problems of quantum statistical physics [[#References|[4]]] and quantum field theory [[#References|[5]]], [[#References|[6]]]. To some extent, the development of general questions of measure theory and integration in infinite-dimensional spaces are related to integration over trajectories [[#References|[7]]]–[[#References|[9]]]. | ||
Line 19: | Line 44: | ||
====Comments==== | ====Comments==== | ||
− | |||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.S. Schulman, "Techniques and applications of path integration" , Wiley (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V.N. Popov, "Functional integrals in quantum field theory and statistical physics" , Reidel (1983) (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> S.A. Albeverio, R.J. Høegh-Krohn, "Mathematical theory of Feynman path integrals" , Springer (1976)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.-P. Antoine (ed.) E. Tirapegui (ed.) , ''Functional integration. Theory and applications'' , Plenum (1980)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L.S. Schulman, "Techniques and applications of path integration" , Wiley (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V.N. Popov, "Functional integrals in quantum field theory and statistical physics" , Reidel (1983) (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> S.A. Albeverio, R.J. Høegh-Krohn, "Mathematical theory of Feynman path integrals" , Springer (1976)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.-P. Antoine (ed.) E. Tirapegui (ed.) , ''Functional integration. Theory and applications'' , Plenum (1980)</TD></TR></table> |
Latest revision as of 22:12, 5 June 2020
continual integral, functional integral, path integral
An integral for which some function space serves as the domain of integration. Most often, an integral over trajectories is defined as an ordinary Lebesgue integral of a functional defined on a space of (possibly generalized) functions with respect to some (possibly complex) measure in this space. In those cases when the Lebesgue construction of the integral proves to be inapplicable, other methods of functional integration are considered. For example, instead of a measure, a pre-measure (or quasi-measure) can be used, that is, an additive set function defined on the algebra of all cylinder subsets of the function space such that its restriction to any $ \sigma $- subalgebra of cylinder sets with fixed support is already a measure. Sometimes integration over trajectories is defined as the limit as $ n \rightarrow \infty $ of $ n $- fold integrals (calculated with respect to the Lebesgue measure in $ \mathbf R ^ {n} $) that arise as a result of suitable approximations of the function space (domain of integration) by an $ n $- dimensional space; while the functional to be integrated is approximated by a function of $ n $ variables. These and other definitions of integration over trajectories are applied to their own special classes of functionals; in those cases when these definitions are all applicable, they lead, in general, to different values of the integral. Finally, the integrals over trajectories encountered in physics literature sometimes do not have an exact meaning, but are regarded as formal expressions with which one operates as with ordinary integrals (change of variables, majorization, differentiation with respect to a parameter, limit transitions, etc.); even so, important and heuristically valuable results are often obtained by this means.
Integration over trajectories, which arose originally in the theory of random processes, was subsequently used for representing the group
$$ \mathop{\rm exp} \{ itH \} ,\ t \in \mathbf R ^ {1} , $$
as well as the semi-group of operators
$$ \mathop{\rm exp} \{ - tH \} ,\ t > 0 , $$
where $ H $ is a Sturm–Liouville operator in the space $ \mathbf R ^ {n} $( the energy operator for a system of quantum particles). Similar representations were then obtained for a wider class of operators $ H $( every representation of this type is usually called a Feynman–Kac formula) and have been an appropriate device for studying the properties of these operators (estimates of the boundary of a spectrum, asymptotics of eigen values, scattering properties, etc., [3])
Among the applications of integration over trajectories in mathematical physics (based principally on the Feynman–Kac formula), the deepest have proved to be their application to problems of quantum statistical physics [4] and quantum field theory [5], [6]. To some extent, the development of general questions of measure theory and integration in infinite-dimensional spaces are related to integration over trajectories [7]–[9].
References
[1] | R.P. Feynman, A.R. Hibbs, "Quantum mechanics and path integrals" , McGraw-Hill (1965) |
[2] | M. Kac, "Probability and related problems in physical sciences" , Interscience (1959) |
[3] | I.M. Gel'fand, A.M. Yaglom, "Integration in function spaces and its application to quantum physics" Uspekhi Mat. Nauk , 11 : 1 (1956) pp. 77–114 (In Russian) |
[4] | J. Ginibre, "Statistical mechanics and quantum field theory" , New York (1971) |
[5] | N.N. Bogolyubov, D.V. Shirkov, "Introduction to the theory of quantized fields" , Wiley (1958) (Translated from Russian) |
[6] | B. Simon, "The ![]() |
[7] | O.G. Smolyanov, S.V. Fomin, "Measures on linear topological spaces" Russian Math. Surveys , 31 : 4 (1976) pp. 1–53 Uspekhi Mat. Nauk , 31 : 4 (1976) pp. 3–50 |
[8] | L. Schwartz, "Radon measures on arbitrary topological spaces and cylindrical measures" , Oxford Univ. Press (1973) |
[9] | J. Glimm, A. Jaffe, "Quantum physics, a functional integral point of view" , Springer (1981) |
Comments
References
[a1] | L.S. Schulman, "Techniques and applications of path integration" , Wiley (1981) |
[a2] | V.N. Popov, "Functional integrals in quantum field theory and statistical physics" , Reidel (1983) (Translated from Russian) |
[a3] | S.A. Albeverio, R.J. Høegh-Krohn, "Mathematical theory of Feynman path integrals" , Springer (1976) |
[a4] | J.-P. Antoine (ed.) E. Tirapegui (ed.) , Functional integration. Theory and applications , Plenum (1980) |
Integral over trajectories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_over_trajectories&oldid=20470