Namespaces
Variants
Actions

Difference between revisions of "Massive field"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (Automatically changed introduction)
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A [[Quantum field theory|quantum field theory]] contains massive fields if the [[Hilbert space|Hilbert space]] obtained by repeated application of these fields to the vacuum carries a [[Unitary representation|unitary representation]] of the covering group of the orthochronous proper Poincaré group (cf. also [[Poincaré group|Poincaré group]]) which fulfills the mass-gap condition: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300701.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300702.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300703.png" /> referring to the "time variable" ) be the generators of the space-time translations and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300704.png" /> be the mass operator. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300705.png" /> is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300706.png" /> lies in the forward lightcone [[#References|[a1]]]. The mass-gap condition then says that the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300707.png" /> lies in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300708.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m1300709.png" /> and the multiplicity of the zero-eigenvector of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007010.png" /> is one (uniqueness of the vacuum).
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.
  
By the analysis of E. Wigner [[#References|[a2]]], [[#References|[a3]]], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007011.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007012.png" /> is the eigenvalue of these states with respect to the mass operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007014.png" />, called the  "spin"  of the particle, labels the finite-dimensional representation of the little group stabilizing a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007015.png" /> in the Minkowski space-time with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007017.png" />, i.e. the covering group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007018.png" />. As a consequence of the mass gap assumption, all particles in a theory with massive fields have positive mass <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007019.png" />. Since one-particle states are usually assumed to be the states of lowest energy (above that of the vacuum), the mass-gap assumption and the assumption that a quantum field theory contains only particle states with positive mass, are considered as equivalent assumptions.
+
Out of 43 formulas, 42 were replaced by TEX code.-->
  
In the case that the one-particle states with the label <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007020.png" /> are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007021.png" /> lies in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007022.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007023.png" />, and there is some quantum field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007024.png" /> in the theory such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007025.png" /> for some Schwartz test function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007026.png" /> (cf. also [[Generalized functions, space of|Generalized functions, space of]]), with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007027.png" /> the projector on the Hilbert subspace on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007028.png" />-one-particle states, one can apply the Haag–Ruelle scattering theory [[#References|[a4]]], [[#References|[a5]]], [[#References|[a16]]] to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007029.png" />: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007030.png" /> be Schwartz test functions, such that the [[Fourier transform|Fourier transform]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007031.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007032.png" /> has support in the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007033.png" />. Setting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007034.png" />, one defines asymptotic fields by their action on the vacuum vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007035.png" />:
+
{{TEX|semi-auto}}{{TEX|part}}
 +
A [[Quantum field theory|quantum field theory]] contains massive fields if the [[Hilbert space|Hilbert space]] obtained by repeated application of these fields to the vacuum carries a [[Unitary representation|unitary representation]] of the covering group of the orthochronous proper Poincaré group (cf. also [[Poincaré group|Poincaré group]]) which fulfills the mass-gap condition: Let $P ^ { \mu }$ ($\mu = 0,1,2,3$ with $\mu = 0$ referring to the  "time variable" ) be the generators of the space-time translations and let $M = \sqrt { P _ { \mu } P ^ { \mu } }$ be the mass operator. $M$ is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of $P ^ { \mu }$ lies in the forward lightcone [[#References|[a1]]]. The mass-gap condition then says that the spectrum of $M$ lies in $\{ 0 \} \cup [ m _ { 0 } , \infty )$, where $m _ { 0 } &gt; 0$ and the multiplicity of the zero-eigenvector of $M$ is one (uniqueness of the vacuum).
  
<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/m/m130/m130070/m13007036.png" /></td> </tr></table>
+
By the analysis of E. Wigner [[#References|[a2]]], [[#References|[a3]]], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair $[ m , s ]$. Here, $m$ is the eigenvalue of these states with respect to the mass operator $M$ and $s \in ( 1 / 2 ) \mathbf{Z}$, called the  "spin" of the particle, labels the finite-dimensional representation of the little group stabilizing a vector $p$ in the Minkowski space-time with $p ^ { 0 } &gt; 0$, $p ^ { 2 } = m ^ { 2 }$, i.e. the covering group of $ \operatorname {SO} ( 3 )$. As a consequence of the mass gap assumption, all particles in a theory with massive fields have positive mass $m \geq m _ { 0 } &gt; 0$. Since one-particle states are usually assumed to be the states of lowest energy (above that of the vacuum), the mass-gap assumption and the assumption that a quantum field theory contains only particle states with positive mass, are considered as equivalent assumptions.
  
where the vectors on the right-hand side converge in the strong Hilbert space topology. The asymptotic fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007037.png" /> are free fields and generate a [[Fock space|Fock space]] of multi-particle in- and out-states over the space of one-particle states with label <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007038.png" />. If these in- and out-Fock spaces span the whole Hilbert space of the theory (the so-called requirement of asymptotic completeness) then, as a corollary to the PCT theorem, the [[Scattering matrix|scattering matrix]] taking in-states to the related out-states is unitary [[#References|[a6]]]. The requirements of Haag–Ruelle theory alone suffice to derive the LSZ-reduction formulas [[#References|[a7]]], which express the scattering matrix elements (scalar product of in- and out-states, which gives the physical transition amplitude) via the time-ordered vacuum expectation values of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007039.png" /> [[#References|[a8]]]. This links the general formalism of quantum fields [[#References|[a1]]], [[#References|[a6]]] to the heuristic perturbation expansions for the time-ordered Wightman functions based on the classical Lagrangian and the heuristic path integral (cf. also [[Quantum field theory|Quantum field theory]]).
+
In the case that the one-particle states with the label $[ m , s ]$ are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of $M$ lies in $\{ 0 \} \cup \{ m \} \cup [ m + \epsilon , \infty )$ for some $\epsilon &gt; 0$, and there is some quantum field $A ( f )$ in the theory such that $E_{[ m , s ]} A ( f ) \Omega \neq 0$ for some Schwartz test function $f$ (cf. also [[Generalized functions, space of|Generalized functions, space of]]), with $E _ { [ m , s ] }$ the projector on the Hilbert subspace on the $[ m , s ]$-one-particle states, one can apply the Haag–Ruelle scattering theory [[#References|[a4]]], [[#References|[a5]]], [[#References|[a16]]] to $A ( f )$: Let $f _ { l }$ be Schwartz test functions, such that the [[Fourier transform|Fourier transform]] $\mathcal{F} ( f _ { l } )$ of $f _ { l }$ has support in the set $\left\{ p : p ^ { 0 } &gt; 0 , | p ^ { 2 } - m ^ { 2 } | &lt; \epsilon \right\}$. Setting $f _ { l } ^ { t } = \mathcal{F} ^ { - 1 } ( e ^ { i ( p ^ { 0 } - \omega ) t } \mathcal{F} ( f _ { l } ) )$, one defines asymptotic fields by their action on the vacuum vector $\Omega$:
  
From the 1960s onwards, a systematic construction of rigorous (non-perturbative) models has been started in space-time dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007040.png" />, see [[#References|[a9]]], [[#References|[a10]]], [[#References|[a11]]]; for models with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007041.png" /> arbitrary (however with a state space carrying an indefinite inner product), see e.g. [[#References|[a12]]].
+
\begin{equation*} \prod _ { l = 1 } ^ { n } A ^ { \text { in/out } } ( f _ { l } ) \Omega = \operatorname { lim } _ { t \rightarrow \pm \infty } \prod _ { l = 1 } ^ { n } A ( f _ { l } ^ { t } ) \Omega, \end{equation*}
 +
 
 +
where the vectors on the right-hand side converge in the strong Hilbert space topology. The asymptotic fields $A ^ { \text { in/out } } ( f )$ are free fields and generate a [[Fock space|Fock space]] of multi-particle in- and out-states over the space of one-particle states with label $[ m , s ]$. If these in- and out-Fock spaces span the whole Hilbert space of the theory (the so-called requirement of asymptotic completeness) then, as a corollary to the PCT theorem, the [[Scattering matrix|scattering matrix]] taking in-states to the related out-states is unitary [[#References|[a6]]]. The requirements of Haag–Ruelle theory alone suffice to derive the LSZ-reduction formulas [[#References|[a7]]], which express the scattering matrix elements (scalar product of in- and out-states, which gives the physical transition amplitude) via the time-ordered vacuum expectation values of the field $A ( f )$ [[#References|[a8]]]. This links the general formalism of quantum fields [[#References|[a1]]], [[#References|[a6]]] to the heuristic perturbation expansions for the time-ordered Wightman functions based on the classical Lagrangian and the heuristic path integral (cf. also [[Quantum field theory|Quantum field theory]]).
 +
 
 +
From the 1960s onwards, a systematic construction of rigorous (non-perturbative) models has been started in space-time dimensions $d = 2,3$, see [[#References|[a9]]], [[#References|[a10]]], [[#References|[a11]]]; for models with $d$ arbitrary (however with a state space carrying an indefinite inner product), see e.g. [[#References|[a12]]].
  
 
Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as  "weak"  in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. [[Massless field|Massless field]]). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g.  "quarks" ,  "confinement"  and  "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [[#References|[a13]]] for an interesting new approach).
 
Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as  "weak"  in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. [[Massless field|Massless field]]). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g.  "quarks" ,  "confinement"  and  "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [[#References|[a13]]] for an interesting new approach).
Line 16: Line 24:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R.F. Streater,  A.S. Wightman,  "PCT spin &amp; statistics and all that<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007042.png" />" , Benjamin  (1964)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E.P. Wigner,  "On unitary representations of the inhomogenous Lorentz group"  ''Ann. Math.'' , '''40'''  (1939)  pp. 149</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  W. Rühl,  "The Lorentz group and harmonic analysis" , Benjamin  (1970)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Haag,  "Quantum field theories with composite particles and asymptotic condition"  ''Phys. Rev.'' , '''112'''  (1958)  pp. 669</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  D. Ruelle,  "On the asymptotic condition in quantum field theory"  ''Helv. Phys. Acta'' , '''35'''  (1962)  pp. 147</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  R. Jost,  "The general theory of quantized fields" , Amer. Math. Soc.  (1965)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  H. Lehmann,  K. Symanzik,  W. Zimmermann,  "Zur Formulierung quantisierter Feldtheorien"  ''Il Nuovo Cimento'' , '''1'''  (1954)  pp. 205</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  K. Hepp,  "On the connection between LSZ and Wightman quantum field theory"  ''Commun. Math. Phys.'' , '''1'''  (1965)  pp. 95</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  B. Simon,  "The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007043.png" /> Euclidean (quantum) field theory" , Princeton Univ. Press  (1975)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J. Glimm,  A. Jaffe,  "Quantum physics: A functional integral point of view" , Springer  (1987)  (Edition: Second)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  S. Albeverio,  "Mathematical physics and stochastic analysis"  ''Bell. Sci. Math.'' , '''117'''  (1993)  pp. 125</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  S. Albeverio,  H. Gottschalk,  J.-L. Wu,  "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs"  ''Rept. Math. Phys.'' , '''44''' :  1  (1999)  pp. 21</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  D. Buchholz,  R. Vrech,  "Scaling algebras and renormalization group in algebraic quantum field theory"  ''Rev. Math. Phys.'' , '''7'''  (1995)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  W. Strauss,  "Nonlinear wave equations" , Amer. Math. Soc.  (1989)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  S.B. Kuksin,  "On the long-time behaviour of solutions of nonlinear wave equations"  D. Iagolnitzer (ed.) , ''XIth Int. Cong. Math. Phys.'' , Cambridge Internat. Press  (1995)  pp. 273–277</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  R. Streater,  "Uniqueness of the Haag–Ruelle scattering states"  ''J. Math. Phys.'' , '''8'''  (1967)  pp. 1685–1693</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  R.F. Streater,  A.S. Wightman,  "PCT spin &amp; statistics and all that<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m130/m130070/m13007042.png"/>" , Benjamin  (1964)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  E.P. Wigner,  "On unitary representations of the inhomogenous Lorentz group"  ''Ann. Math.'' , '''40'''  (1939)  pp. 149</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  W. Rühl,  "The Lorentz group and harmonic analysis" , Benjamin  (1970)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R. Haag,  "Quantum field theories with composite particles and asymptotic condition"  ''Phys. Rev.'' , '''112'''  (1958)  pp. 669</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  D. Ruelle,  "On the asymptotic condition in quantum field theory"  ''Helv. Phys. Acta'' , '''35'''  (1962)  pp. 147</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  R. Jost,  "The general theory of quantized fields" , Amer. Math. Soc.  (1965)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  H. Lehmann,  K. Symanzik,  W. Zimmermann,  "Zur Formulierung quantisierter Feldtheorien"  ''Il Nuovo Cimento'' , '''1'''  (1954)  pp. 205</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  K. Hepp,  "On the connection between LSZ and Wightman quantum field theory"  ''Commun. Math. Phys.'' , '''1'''  (1965)  pp. 95</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  B. Simon,  "The $P ( \varphi ) _ { 2 }$ Euclidean (quantum) field theory" , Princeton Univ. Press  (1975)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J. Glimm,  A. Jaffe,  "Quantum physics: A functional integral point of view" , Springer  (1987)  (Edition: Second)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  S. Albeverio,  "Mathematical physics and stochastic analysis"  ''Bell. Sci. Math.'' , '''117'''  (1993)  pp. 125</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  S. Albeverio,  H. Gottschalk,  J.-L. Wu,  "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs"  ''Rept. Math. Phys.'' , '''44''' :  1  (1999)  pp. 21</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  D. Buchholz,  R. Vrech,  "Scaling algebras and renormalization group in algebraic quantum field theory"  ''Rev. Math. Phys.'' , '''7'''  (1995)</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  W. Strauss,  "Nonlinear wave equations" , Amer. Math. Soc.  (1989)</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  S.B. Kuksin,  "On the long-time behaviour of solutions of nonlinear wave equations"  D. Iagolnitzer (ed.) , ''XIth Int. Cong. Math. Phys.'' , Cambridge Internat. Press  (1995)  pp. 273–277</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  R. Streater,  "Uniqueness of the Haag–Ruelle scattering states"  ''J. Math. Phys.'' , '''8'''  (1967)  pp. 1685–1693</td></tr></table>

Revision as of 17:45, 1 July 2020

A quantum field theory contains massive fields if the Hilbert space obtained by repeated application of these fields to the vacuum carries a unitary representation of the covering group of the orthochronous proper Poincaré group (cf. also Poincaré group) which fulfills the mass-gap condition: Let $P ^ { \mu }$ ($\mu = 0,1,2,3$ with $\mu = 0$ referring to the "time variable" ) be the generators of the space-time translations and let $M = \sqrt { P _ { \mu } P ^ { \mu } }$ be the mass operator. $M$ is well defined due to the positive-energy condition, i.e. the condition that the joint spectrum of $P ^ { \mu }$ lies in the forward lightcone [a1]. The mass-gap condition then says that the spectrum of $M$ lies in $\{ 0 \} \cup [ m _ { 0 } , \infty )$, where $m _ { 0 } > 0$ and the multiplicity of the zero-eigenvector of $M$ is one (uniqueness of the vacuum).

By the analysis of E. Wigner [a2], [a3], all states which describe a single particle form a Hilbert subspace carrying an irreducible representation of the Poincaré group which is labelled by a pair $[ m , s ]$. Here, $m$ is the eigenvalue of these states with respect to the mass operator $M$ and $s \in ( 1 / 2 ) \mathbf{Z}$, called the "spin" of the particle, labels the finite-dimensional representation of the little group stabilizing a vector $p$ in the Minkowski space-time with $p ^ { 0 } > 0$, $p ^ { 2 } = m ^ { 2 }$, i.e. the covering group of $ \operatorname {SO} ( 3 )$. As a consequence of the mass gap assumption, all particles in a theory with massive fields have positive mass $m \geq m _ { 0 } > 0$. Since one-particle states are usually assumed to be the states of lowest energy (above that of the vacuum), the mass-gap assumption and the assumption that a quantum field theory contains only particle states with positive mass, are considered as equivalent assumptions.

In the case that the one-particle states with the label $[ m , s ]$ are separated from the rest of the mass spectrum by a second mass-gap, i.e. the spectrum of $M$ lies in $\{ 0 \} \cup \{ m \} \cup [ m + \epsilon , \infty )$ for some $\epsilon > 0$, and there is some quantum field $A ( f )$ in the theory such that $E_{[ m , s ]} A ( f ) \Omega \neq 0$ for some Schwartz test function $f$ (cf. also Generalized functions, space of), with $E _ { [ m , s ] }$ the projector on the Hilbert subspace on the $[ m , s ]$-one-particle states, one can apply the Haag–Ruelle scattering theory [a4], [a5], [a16] to $A ( f )$: Let $f _ { l }$ be Schwartz test functions, such that the Fourier transform $\mathcal{F} ( f _ { l } )$ of $f _ { l }$ has support in the set $\left\{ p : p ^ { 0 } > 0 , | p ^ { 2 } - m ^ { 2 } | < \epsilon \right\}$. Setting $f _ { l } ^ { t } = \mathcal{F} ^ { - 1 } ( e ^ { i ( p ^ { 0 } - \omega ) t } \mathcal{F} ( f _ { l } ) )$, one defines asymptotic fields by their action on the vacuum vector $\Omega$:

\begin{equation*} \prod _ { l = 1 } ^ { n } A ^ { \text { in/out } } ( f _ { l } ) \Omega = \operatorname { lim } _ { t \rightarrow \pm \infty } \prod _ { l = 1 } ^ { n } A ( f _ { l } ^ { t } ) \Omega, \end{equation*}

where the vectors on the right-hand side converge in the strong Hilbert space topology. The asymptotic fields $A ^ { \text { in/out } } ( f )$ are free fields and generate a Fock space of multi-particle in- and out-states over the space of one-particle states with label $[ m , s ]$. If these in- and out-Fock spaces span the whole Hilbert space of the theory (the so-called requirement of asymptotic completeness) then, as a corollary to the PCT theorem, the scattering matrix taking in-states to the related out-states is unitary [a6]. The requirements of Haag–Ruelle theory alone suffice to derive the LSZ-reduction formulas [a7], which express the scattering matrix elements (scalar product of in- and out-states, which gives the physical transition amplitude) via the time-ordered vacuum expectation values of the field $A ( f )$ [a8]. This links the general formalism of quantum fields [a1], [a6] to the heuristic perturbation expansions for the time-ordered Wightman functions based on the classical Lagrangian and the heuristic path integral (cf. also Quantum field theory).

From the 1960s onwards, a systematic construction of rigorous (non-perturbative) models has been started in space-time dimensions $d = 2,3$, see [a9], [a10], [a11]; for models with $d$ arbitrary (however with a state space carrying an indefinite inner product), see e.g. [a12].

Massive quantum field theory is taken to be an approximation to the real physical situation, where all long range forces, associated with massless fields, can be neglected as "weak" in comparison with the strong short range forces associated with massive fields. If only massive fields are present in a theory, the mathematical treatment of the theory is simpler, due to the absence of a number of effects connected with massless particles and fields (cf. Massless field). However, several features of the contemporary (2000) physical theory of strong interactions, as e.g. "quarks" , "confinement" and "asymptotic freeness" , are not yet well explained in the given mathematical framework (but see e.g. [a13] for an interesting new approach).

Massive classical fields are studied in the framework of non-linear hyperbolic partial differential equations (cf. also Hyperbolic partial differential equation), see e.g. [a14], [a15].

References

[a1] R.F. Streater, A.S. Wightman, "PCT spin & statistics and all that" , Benjamin (1964)
[a2] E.P. Wigner, "On unitary representations of the inhomogenous Lorentz group" Ann. Math. , 40 (1939) pp. 149
[a3] W. Rühl, "The Lorentz group and harmonic analysis" , Benjamin (1970)
[a4] R. Haag, "Quantum field theories with composite particles and asymptotic condition" Phys. Rev. , 112 (1958) pp. 669
[a5] D. Ruelle, "On the asymptotic condition in quantum field theory" Helv. Phys. Acta , 35 (1962) pp. 147
[a6] R. Jost, "The general theory of quantized fields" , Amer. Math. Soc. (1965)
[a7] H. Lehmann, K. Symanzik, W. Zimmermann, "Zur Formulierung quantisierter Feldtheorien" Il Nuovo Cimento , 1 (1954) pp. 205
[a8] K. Hepp, "On the connection between LSZ and Wightman quantum field theory" Commun. Math. Phys. , 1 (1965) pp. 95
[a9] B. Simon, "The $P ( \varphi ) _ { 2 }$ Euclidean (quantum) field theory" , Princeton Univ. Press (1975)
[a10] J. Glimm, A. Jaffe, "Quantum physics: A functional integral point of view" , Springer (1987) (Edition: Second)
[a11] S. Albeverio, "Mathematical physics and stochastic analysis" Bell. Sci. Math. , 117 (1993) pp. 125
[a12] S. Albeverio, H. Gottschalk, J.-L. Wu, "Scattering behaviour of quantum vector fields obtained from Euclidean covariant SPDEs" Rept. Math. Phys. , 44 : 1 (1999) pp. 21
[a13] D. Buchholz, R. Vrech, "Scaling algebras and renormalization group in algebraic quantum field theory" Rev. Math. Phys. , 7 (1995)
[a14] W. Strauss, "Nonlinear wave equations" , Amer. Math. Soc. (1989)
[a15] S.B. Kuksin, "On the long-time behaviour of solutions of nonlinear wave equations" D. Iagolnitzer (ed.) , XIth Int. Cong. Math. Phys. , Cambridge Internat. Press (1995) pp. 273–277
[a16] R. Streater, "Uniqueness of the Haag–Ruelle scattering states" J. Math. Phys. , 8 (1967) pp. 1685–1693
How to Cite This Entry:
Massive field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Massive_field&oldid=17599
This article was adapted from an original article by S. AlbeverioH. Gottschalk (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article