Namespaces
Variants
Actions

Difference between revisions of "Integral over trajectories"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
(One intermediate revision by one other user not shown)
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515701.png" />-subalgebra of cylinder sets with fixed support is already a measure. Sometimes integration over trajectories is defined as the limit as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515702.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515703.png" />-fold integrals (calculated with respect to the Lebesgue measure in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515704.png" />) that arise as a result of suitable approximations of the function space (domain of integration) by an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515705.png" />-dimensional space; while the functional to be integrated is approximated by a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515706.png" /> 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.
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515707.png" /></td> </tr></table>
+
$$
 +
\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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515708.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm exp} \{ - tH \} ,\  t > 0 ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i0515709.png" /> is a [[Sturm–Liouville operator|Sturm–Liouville operator]] in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i05157010.png" /> (the energy operator for a system of quantum particles). Similar representations were then obtained for a wider class of operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i05157011.png" /> (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]]])
+
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]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R.P. Feynman,  A.R. Hibbs,  "Quantum mechanics and path integrals" , McGraw-Hill  (1965)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Kac,  "Probability and related problems in physical sciences" , Interscience  (1959)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  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)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  J. Genibre,  "Statistical mechanics and quantum field theory" , New York  (1971)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.N. Bogolyubov,  D.V. Shirkov,  "Introduction to the theory of quantized fields" , Wiley  (1958)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B. Simon,  "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i05157012.png" /> Euclidean (quantum) field theory" , Princeton Univ. Press  (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  L. Schwartz,  "Radon measures on arbitrary topological spaces and cylindrical measures" , Oxford Univ. Press  (1973)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  J. Glimm,  A. Jaffe,  "Quantum physics, a functional integral point of view" , Springer  (1981)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R.P. Feynman,  A.R. Hibbs,  "Quantum mechanics and path integrals" , McGraw-Hill  (1965)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Kac,  "Probability and related problems in physical sciences" , Interscience  (1959)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  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)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  J. Ginibre,  "Statistical mechanics and quantum field theory" , New York  (1971)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.N. Bogolyubov,  D.V. Shirkov,  "Introduction to the theory of quantized fields" , Wiley  (1958)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  B. Simon,  "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051570/i05157012.png" /> Euclidean (quantum) field theory" , Princeton Univ. Press  (1974)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  L. Schwartz,  "Radon measures on arbitrary topological spaces and cylindrical measures" , Oxford Univ. Press  (1973)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  J. Glimm,  A. Jaffe,  "Quantum physics, a functional integral point of view" , Springer  (1981)</TD></TR></table>
 
 
 
 
  
 
====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 Euclidean (quantum) field theory" , Princeton Univ. Press (1974)
[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)
How to Cite This Entry:
Integral over trajectories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_over_trajectories&oldid=15245
This article was adapted from an original article by R.A. Minlos (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article