Namespaces
Variants
Actions

Difference between revisions of "Lee-Friedrichs model"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 100 formulas out of 100 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
What is known today (1998) as the Lee–Friedrichs model [[#References|[a1]]], [[#References|[a2]]] is characterized by a [[Self-adjoint operator|self-adjoint operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200601.png" /> on a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200602.png" />, which is the sum of two self-adjoint operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200603.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200604.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200605.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200606.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200607.png" /> have a common domain, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200608.png" /> has absolutely continuous spectrum (of uniform multiplicity) except for the end-point of the semi-bounded from below spectrum, and one or more eigenvalues which may or may not be embedded in the continuum (cf. also [[Spectrum of an operator|Spectrum of an operator]]; [[Absolute continuity|Absolute continuity]]). The operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l1200609.png" /> is compact and of finite rank (cf. also [[Compact operator|Compact operator]]; [[Rank|Rank]]), and induces a mapping from the subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006010.png" /> spanned by the eigenvectors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006011.png" /> to the subspace corresponding to the continuous spectrum (and the reverse). The central idea of the model is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006012.png" /> does not map the subspace corresponding to the continuous spectrum into itself, and, as a consequence, the model becomes solvable in the sense described below.
+
<!--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, please remove this message and the {{TEX|semi-auto}} category.
  
In the physical applications of the model, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006013.png" /> corresponds to the Hamiltonian operator, the self-adjoint operator (often the self-adjoint completion of an essentially self-adjoint operator) that generates the unitary evolution (through the [[Schrödinger equation|Schrödinger equation]]) of the vector in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006014.png" /> representing the state of the physical system in time (cf. also [[Hamilton operator|Hamilton operator]]).
+
Out of 100 formulas, 100 were replaced by TEX code.-->
  
The resolvent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006015.png" /> generated by the [[Laplace transform|Laplace transform]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006016.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006017.png" /> on the Schrödinger evolution operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006018.png" /> (both acting on some suitable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006019.png" />) is analytic in the upper half <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006020.png" />-plane. Denoting by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006021.png" /> (with [[Lebesgue measure|Lebesgue measure]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006022.png" />) the representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006023.png" /> on the continuous spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006024.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006025.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006026.png" /> and by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006027.png" /> the eigenvector with eigenvalue <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006028.png" /> (assuming for the sake of argument just one discrete eigenvector), one sees that the second resolvent equation
+
{{TEX|semi-auto}}{{TEX|done}}
 +
What is known today (1998) as the Lee–Friedrichs model [[#References|[a1]]], [[#References|[a2]]] is characterized by a [[Self-adjoint operator|self-adjoint operator]] $H$ on a [[Hilbert space|Hilbert space]] $\mathcal{H}$, which is the sum of two self-adjoint operators $H _ { 0 }$ and $V$ such that $H$, $H _ { 0 }$ and $V$ have a common domain, $H _ { 0 }$ has absolutely continuous spectrum (of uniform multiplicity) except for the end-point of the semi-bounded from below spectrum, and one or more eigenvalues which may or may not be embedded in the continuum (cf. also [[Spectrum of an operator|Spectrum of an operator]]; [[Absolute continuity|Absolute continuity]]). The operator $V$ is compact and of finite rank (cf. also [[Compact operator|Compact operator]]; [[Rank|Rank]]), and induces a mapping from the subspace of $\mathcal{H}$ spanned by the eigenvectors of $H _ { 0 }$ to the subspace corresponding to the continuous spectrum (and the reverse). The central idea of the model is that $V$ does not map the subspace corresponding to the continuous spectrum into itself, and, as a consequence, the model becomes solvable in the sense described below.
  
<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/l/l120/l120060/l12006029.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
In the physical applications of the model, $H$ corresponds to the Hamiltonian operator, the self-adjoint operator (often the self-adjoint completion of an essentially self-adjoint operator) that generates the unitary evolution (through the [[Schrödinger equation|Schrödinger equation]]) of the vector in $\mathcal{H}$ representing the state of the physical system in time (cf. also [[Hamilton operator|Hamilton operator]]).
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006030.png" />, can be exactly solved by the pair of equations
+
The resolvent $G ( z ) = ( z - H ) ^ { - 1 }$ generated by the [[Laplace transform|Laplace transform]] on $[ 0 , \infty )$ by $e ^ { i z t }$ on the Schrödinger evolution operator $e ^ { - i H t }$ (both acting on some suitable $f \in \mathcal{H}$) is analytic in the upper half $z$-plane. Denoting by $\langle \lambda | f )$ (with [[Lebesgue measure|Lebesgue measure]] $d \lambda$) the representation of $f \in \mathcal{H}$ on the continuous spectrum $\lambda$ of $H _ { 0 }$ on $[ 0 , \infty )$ and by $\phi \in \mathcal{H}$ the eigenvector with eigenvalue $E _ { 0 }$ (assuming for the sake of argument just one discrete eigenvector), one sees that the second resolvent equation
  
<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/l/l120/l120060/l12006031.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a1} G ( z ) = G _ { 0 } ( z ) + G _ { 0 } ( z ) V G ( z ), \end{equation}
  
<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/l/l120/l120060/l12006032.png" /></td> </tr></table>
+
where $G _ { 0 } ( z ) = ( z - H _ { 0 } ) ^ { - 1 }$, can be exactly solved by the pair of equations
 +
 
 +
\begin{equation} \tag{a2} ( \phi , G ( z ) \phi ) = \end{equation}
 +
 
 +
\begin{equation*} = \frac { 1 } { z - E _ { 0 } } + \frac { 1 } { z - E _ { 0 } } \int _ { 0 } ^ { \infty } d \lambda ( V \phi | \lambda \rangle \langle \lambda | G ( z ) \phi ) \end{equation*}
  
 
and
 
and
  
<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/l/l120/l120060/l12006033.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
\begin{equation} \tag{a3} \langle \lambda | G ( z ) \phi ) = \frac { 1 } { z - \lambda } \langle \lambda | V \phi ) ( \phi , G ( z ) \phi ). \end{equation}
  
 
Substituting (a3) into (a2), one sees that
 
Substituting (a3) into (a2), one sees that
  
<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/l/l120/l120060/l12006034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a4} h ( z ) ( \phi , G ( z ) \phi ) \equiv \end{equation}
  
<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/l/l120/l120060/l12006035.png" /></td> </tr></table>
+
\begin{equation*} \equiv \left( z - E _ { 0 } - \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { z - \lambda } d \lambda \right) ( \phi , G ( z ) \phi ) = 1. \end{equation*}
  
If the discrete spectral value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006036.png" /> is separated from the continuum (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006037.png" />), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006038.png" /> has a pole on the real axis at the point
+
If the discrete spectral value $E _ { 0 }$ is separated from the continuum ($E _ { 0 } &lt; 0$), then $( \phi , G ( z ) \phi )$ has a pole on the real axis at the point
  
<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/l/l120/l120060/l12006039.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a5} E _ { 1 } = E _ { 0 } + \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { E _ { 1 } - \lambda } d \lambda &lt; 0. \end{equation}
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006040.png" /> is embedded in the continuum that lies on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006041.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006042.png" />), one can avoid the generation of a real pole on the negative half-line by the inequality
+
If $E _ { 0 }$ is embedded in the continuum that lies on $[ 0 , \infty )$ ($E _ { 0 } &gt; 0$), one can avoid the generation of a real pole on the negative half-line by the inequality
  
<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/l/l120/l120060/l12006043.png" /></td> </tr></table>
+
\begin{equation*} \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle |^ { 2 } } { \lambda }  d \lambda &lt; E _ { 0 }. \end{equation*}
  
The projection of the time evolution of the quantum-mechanical state represented by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006044.png" /> back onto the initial state is given by (using units in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006045.png" />, the Planck constant divided by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006046.png" />, is unity):
+
The projection of the time evolution of the quantum-mechanical state represented by $\phi$ back onto the initial state is given by (using units in which $\hbar$, the Planck constant divided by $2 \pi$, is unity):
  
<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/l/l120/l120060/l12006047.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a6)</td></tr></table>
+
\begin{equation} \tag{a6} ( \phi , e ^ { - i H t } \phi ) = \frac { 1 } { 2 \pi i } \int _ { C } e ^ { - i z t } ( \phi , G ( z ) \phi ) d z, \end{equation}
  
where the contour goes from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006048.png" /> in the negative direction of the real axis and a small distance above it, around the branch point counter-clockwise at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006049.png" />, and back to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006050.png" /> below the real axis. The construction defined on the left-hand side of (a6) was used by E.P. Wigner and V.F. Weisskopf [[#References|[a3]]], [[#References|[a28]]] in 1930 as a model for the description of unstable systems; they used it to calculate the line-width of a radiating atom.
+
where the contour goes from $+ \infty$ in the negative direction of the real axis and a small distance above it, around the branch point counter-clockwise at $0$, and back to $+ \infty$ below the real axis. The construction defined on the left-hand side of (a6) was used by E.P. Wigner and V.F. Weisskopf [[#References|[a3]]], [[#References|[a28]]] in 1930 as a model for the description of unstable systems; they used it to calculate the line-width of a radiating atom.
  
The contour of the integral in (a6) can be deformed so that the integration below the real line is shifted to the negative imaginary axis where, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006051.png" /> sufficiently positive, this contribution can be considered as negligible (except near the branch cut). The integral path above the real axis can be similarly deformed into the second Riemann sheet of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006052.png" /> to the negative real axis, but there is a possibility that the second sheet extension of this function has a pole in the lower half-plane. One observes this in the Lee–Friedrichs model [[#References|[a1]]], [[#References|[a2]]] by studying (for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006053.png" /> real)
+
The contour of the integral in (a6) can be deformed so that the integration below the real line is shifted to the negative imaginary axis where, for $t$ sufficiently positive, this contribution can be considered as negligible (except near the branch cut). The integral path above the real axis can be similarly deformed into the second Riemann sheet of the function $h ( z ) ^ { - 1 }$ to the negative real axis, but there is a possibility that the second sheet extension of this function has a pole in the lower half-plane. One observes this in the Lee–Friedrichs model [[#References|[a1]]], [[#References|[a2]]] by studying (for $\zeta$ real)
  
<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/l/l120/l120060/l12006054.png" /></td> </tr></table>
+
\begin{equation*} h ( \zeta + i \epsilon ) - h ( \zeta - i \epsilon ) = \end{equation*}
  
<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/l/l120/l120060/l12006055.png" /></td> </tr></table>
+
\begin{equation*} = \int _ { 0 } ^ { \infty } | ( V \phi | \lambda ) | ^ { 2 } \left( \frac { 1 } { \zeta - \lambda - i \epsilon } - \frac { 1 } { \zeta - \lambda + i \epsilon } \right) d \lambda = \end{equation*}
  
<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/l/l120/l120060/l12006056.png" /></td> </tr></table>
+
\begin{equation*} = 2 \pi i | ( V \phi | \zeta \rangle | ^ { 2 }. \end{equation*}
  
Choosing a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006057.png" /> so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006058.png" /> is the boundary value on the real axis of an analytic function in some (sufficiently large) domain in the lower half-plane, one sees that the second sheet continuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006059.png" /> is
+
Choosing a $V$ so that $W ( \zeta ) = | ( V \phi \ | \  \zeta \rangle | ^ { 2 }$ is the boundary value on the real axis of an analytic function in some (sufficiently large) domain in the lower half-plane, one sees that the second sheet continuation of $h ( z )$ is
  
<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/l/l120/l120060/l12006060.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a7)</td></tr></table>
+
\begin{equation} \tag{a7} h ^ { I I } ( z ) = h ( z ) + 2 \pi i W ( z ). \end{equation}
  
 
Now,
 
Now,
  
<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/l/l120/l120060/l12006061.png" /></td> </tr></table>
+
\begin{equation*} \operatorname { Im } h ^ { I I } ( z ) = \operatorname { Im } z \left( \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { | z - \lambda | ^ { 2 } } d \lambda \right) + 2 \pi \operatorname { Re } W ( z ); \end{equation*}
  
if the value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006062.png" /> looked for is sufficiently close to the real axis, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006063.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006064.png" /> may have a zero for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006065.png" />. If the real part vanishes as well, one has a pole of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006066.png" /> at, say <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006067.png" />, which implies a decay law of the time evolution of the so-called survival amplitude (a6), of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006068.png" />, an exponential decay. The imaginary part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006069.png" /> is the semi-decay width computed in lowest-order perturbation theory by Wigner and Weisskopf [[#References|[a3]]], [[#References|[a28]]].
+
if the value of $z$ looked for is sufficiently close to the real axis, $\operatorname { Re } W ( z ) &gt; 0$, and $\operatorname { Im } h ^ { I I } ( z )$ may have a zero for $\operatorname{Im} z &lt; 0$. If the real part vanishes as well, one has a pole of $h ^ { I I } ( z ) ^ { - 1 }$ at, say $\tilde{z}$, which implies a decay law of the time evolution of the so-called survival amplitude (a6), of the form $e ^ { - i z t }$, an exponential decay. The imaginary part of $\tilde{z}$ is the semi-decay width computed in lowest-order perturbation theory by Wigner and Weisskopf [[#References|[a3]]], [[#References|[a28]]].
  
In quantum-mechanical scattering theory [[#References|[a4]]], [[#References|[a11]]], the scattered wave is expressed in terms of an operator-valued function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006070.png" />,
+
In quantum-mechanical scattering theory [[#References|[a4]]], [[#References|[a11]]], the scattered wave is expressed in terms of an operator-valued function of $z$,
  
<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/l/l120/l120060/l12006071.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a8)</td></tr></table>
+
\begin{equation} \tag{a8} T ( z ) = V + V G ( z ) V, \end{equation}
  
analytic in the same domain as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006072.png" />. The transition amplitude <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006073.png" /> contains, by the hypotheses of the Lee–Friedrichs model, the reduced resolvent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006074.png" />, and the second sheet pole discussed above dominates the behaviour of the scattering for an interval of energies near the real part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006075.png" />, appearing as a scattering resonance. Hence the Lee–Friedrichs model offers an opportunity to describe scattering and resonance phenomena, along with the behaviour of an unstable system, in the framework of a single mathematical model [[#References|[a5]]].
+
analytic in the same domain as $G ( z )$. The transition amplitude $\langle \lambda | T ( z ) | \lambda ^ { \prime } \rangle$ contains, by the hypotheses of the Lee–Friedrichs model, the reduced resolvent $( \phi , G ( z ) \phi )$, and the second sheet pole discussed above dominates the behaviour of the scattering for an interval of energies near the real part of $\tilde{z}$, appearing as a scattering resonance. Hence the Lee–Friedrichs model offers an opportunity to describe scattering and resonance phenomena, along with the behaviour of an unstable system, in the framework of a single mathematical model [[#References|[a5]]].
  
The pole in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006076.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006077.png" /> suggests that, in some sense, there may be an eigenvalue equation of the form
+
The pole in $h ^ { I I } ( z )$ at $\tilde{z}$ suggests that, in some sense, there may be an eigenvalue equation of the form
  
<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/l/l120/l120060/l12006078.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a9)</td></tr></table>
+
\begin{equation} \tag{a9} z f ( z ) = H f ( z ). \end{equation}
  
 
This equation is exactly solvable in the Lee–Friedrichs model, with
 
This equation is exactly solvable in the Lee–Friedrichs model, with
  
<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/l/l120/l120060/l12006079.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a10)</td></tr></table>
+
\begin{equation} \tag{a10} \langle \lambda | f ( z ) ) = \frac { 1 } { \lambda - z } \langle \lambda | V \phi ) ( \phi , f ( z ) ), \end{equation}
  
but the eigenvalue equation (a9) is satisfied only after [[Analytic continuation|analytic continuation]] to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006080.png" /> in the same way as described above. This analytic continuation can be done in terms of the sesquilinear form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006081.png" /> for a suitable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006082.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006083.png" /> is the boundary value of an analytic function on an adequate domain in the lower half-plane (including the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006084.png" /> within its boundary). (The eigenfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006085.png" /> must lie in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006086.png" /> as well.) The [[Banach space|Banach space]] functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006087.png" /> defined in this way lies in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006088.png" /> dual to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006089.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006090.png" />, i.e., an element of a Gel'fand triple (cf. [[Rigged Hilbert space|Rigged Hilbert space]]) [[#References|[a6]]], [[#References|[a7]]], [[#References|[a12]]], [[#References|[a13]]], [[#References|[a14]]], [[#References|[a15]]], [[#References|[a16]]], [[#References|[a17]]]. This construction has provided the basis for useful physical applications [[#References|[a8]]], [[#References|[a27]]], [[#References|[a18]]], [[#References|[a19]]], [[#References|[a20]]], [[#References|[a21]]], [[#References|[a22]]].
+
but the eigenvalue equation (a9) is satisfied only after [[Analytic continuation|analytic continuation]] to $\tilde{z}$ in the same way as described above. This analytic continuation can be done in terms of the sesquilinear form $( g, f ( z ) )$ for a suitable $g \in \mathcal{D} \subset \mathcal{H}$, such that $( \lambda | g )$ is the boundary value of an analytic function on an adequate domain in the lower half-plane (including the point $\tilde{z}$ within its boundary). (The eigenfunction $\phi$ must lie in $\mathcal{D}$ as well.) The [[Banach space|Banach space]] functional $f$ defined in this way lies in the space $\overline{\mathcal{H}}$ dual to $\mathcal{D}$, for which $\overline { \mathcal{H} } \supset \mathcal{H} \supset \mathcal{D}$, i.e., an element of a Gel'fand triple (cf. [[Rigged Hilbert space|Rigged Hilbert space]]) [[#References|[a6]]], [[#References|[a7]]], [[#References|[a12]]], [[#References|[a13]]], [[#References|[a14]]], [[#References|[a15]]], [[#References|[a16]]], [[#References|[a17]]]. This construction has provided the basis for useful physical applications [[#References|[a8]]], [[#References|[a27]]], [[#References|[a18]]], [[#References|[a19]]], [[#References|[a20]]], [[#References|[a21]]], [[#References|[a22]]].
  
Note that the quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006091.png" /> studied in the Wigner–Weisskopf theory [[#References|[a3]]], [[#References|[a28]]] can never be precisely exponential in form (i.e., more generally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006092.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006093.png" /> is a projection, cannot be a [[Semi-group|semi-group]]) [[#References|[a9]]], [[#References|[a23]]] although for sufficiently large (but not too large) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006094.png" />, it may well approximate an exponential. For example, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006095.png" />-derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006096.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006097.png" /> vanishes if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006098.png" /> is defined. The time dependence of the Gel'fand triple function may, however, be exactly exponential (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l12006099.png" /> is sufficiently stable).
+
Note that the quantity $( \phi , e ^ { - i H t } \phi )$ studied in the Wigner–Weisskopf theory [[#References|[a3]]], [[#References|[a28]]] can never be precisely exponential in form (i.e., more generally, $P e ^ { - i H t } P$, where $P$ is a projection, cannot be a [[Semi-group|semi-group]]) [[#References|[a9]]], [[#References|[a23]]] although for sufficiently large (but not too large) $t$, it may well approximate an exponential. For example, the $t$-derivative of $| ( \phi , e ^ { - i H t } \phi ) | ^ { 2 }$ at $t = 0$ vanishes if $H \phi$ is defined. The time dependence of the Gel'fand triple function may, however, be exactly exponential (if $\mathcal{D}$ is sufficiently stable).
  
Lee's original model [[#References|[a1]]], formulated in the framework of non-relativistic [[Quantum field theory|quantum field theory]], was motivated by an interest in the process of [[Renormalization|renormalization]]; it can be seen from (a5) that the interaction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120060/l120060100.png" /> induces a shift in the point spectrum. There is a conserved quantum number in Lee's field theory which enables the model to be written in one sector as a quantum-mechanical model equivalent to the structure used by K.O. Friedrichs [[#References|[a2]]], whose motivation was to study the general framework of the perturbation of continuous spectra.
+
Lee's original model [[#References|[a1]]], formulated in the framework of non-relativistic [[Quantum field theory|quantum field theory]], was motivated by an interest in the process of [[Renormalization|renormalization]]; it can be seen from (a5) that the interaction $V$ induces a shift in the point spectrum. There is a conserved quantum number in Lee's field theory which enables the model to be written in one sector as a quantum-mechanical model equivalent to the structure used by K.O. Friedrichs [[#References|[a2]]], whose motivation was to study the general framework of the perturbation of continuous spectra.
  
 
A relativistically covariant form of the Lee–Friedrichs model has been developed in [[#References|[a10]]] (see also [[#References|[a24]]], [[#References|[a25]]], [[#References|[a26]]]).
 
A relativistically covariant form of the Lee–Friedrichs model has been developed in [[#References|[a10]]] (see also [[#References|[a24]]], [[#References|[a25]]], [[#References|[a26]]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T.D. Lee,  "Some special exampls in renormalizable field theory"  ''Phys. Rev'' , '''95'''  (1954)  pp. 1329–1334</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  K.O. Friedrichs,  "On the perturbation of continuous spectra"  ''Commun. Pure Appl. Math.'' , '''1'''  (1948)  pp. 361–406</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  V.F. Weisskopf,  E.P. Wigner,  "Berechnung der natürlichen Linienbreite auf Grund der Diracschen Lichttheorie"  ''Z. Phys.'' , '''63'''  (1930)  pp. 54</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.R. Taylor,  "Scattering theory" , Wiley  (1972)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L.P. Horwitz,  J.-P. Marchand,  "The decay scattering system"  ''Rocky Mtn. J. Math.'' , '''1'''  (1971)  pp. 225–253</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  I.M. Gel'fand,  G.E. Shilov,  "Generalized functions" , '''4''' , Acad. Press  (1968)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  W. Baumgartel,  "Resonances of perturbed self-adjoint operators and eigenfunctions"  ''Math. Nachr.'' , '''75'''  (1976)  pp. 133–151</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  D. Cocolicchio,  ''Phys. Rev'' , '''57'''  (1998)  pp. 7251</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  L.P. Horwitz,  J.-P. Marchand,  J. LaVita,  "The inverse decay problem"  ''J. Math. Phys.'' , '''12'''  (1971)  pp. 2537–2543</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  L.P. Horwitz,  ''Found. Phys.'' , '''25'''  (1995)  pp. 39</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  R.J. Newton,  "Scattering theory of particles and waves" , McGraw-Hill  (1976)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  T. Bailey,  W.C. Schieve,  "Complex energy eigenstates in quantum decay models"  ''Nuovo Cim.'' , '''47A'''  (1978)  pp. 231–250</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  A. Bohm,  "The rigged Hilbert space and quantum mechanics" , ''Lecture Notes Physics'' , '''78''' , Springer  (1978)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  L.P. Horwitz,  I.M. Sigal,  "On a mathematical model for non-stationary physical systems"  ''Helv. Phys. Acta'' , '''51'''  (1980)  pp. 685–715</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  G. Parravicini,  V. Gorini,  E.C.G. Sudarshan,  "Resonances, scattring theory, and rigged Hilbert spaces"  ''J. Math. Phys.'' , '''21'''  (1980)  pp. 2208–2226</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  A. Bohm,  M. Gadella,  G.B. Mainland,  "Gamow vectors and decaying states"  ''Amer. J. Phys.'' , '''57'''  (1989)  pp. 1103–1108</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  A. Bohm,  M. Gadella,  "Dirac kets, Gamow vectors and Gel'fand triples" , ''Lecture Notes Physics'' , '''348''' , Springer  (1989)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  A. Grecos,  I. Prigogine,  ''Proc. Nat. Acad. Sci. USA'' , '''60'''  (1972)  pp. 1629</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  T. Petroski,  I. Prigogine,  S. Tasaki,  ''Physica A'' , '''175'''  (1991)  pp. 175</TD></TR><TR><TD valign="top">[a20]</TD> <TD valign="top">  I. Antoniou,  I. Prigogine,  ''Physica A'' , '''192'''  (1993)  pp. 443</TD></TR><TR><TD valign="top">[a21]</TD> <TD valign="top">  I. Antoniou,  S. Tasaki,  ''Internat. J. Quant. Chem.'' , '''44'''  (1993)  pp. 425</TD></TR><TR><TD valign="top">[a22]</TD> <TD valign="top">  I. Antoniou,  L. Dmitrieva,  Y. Kuperin,  Y. Melnikov,  "Resonances and the extension of dynamics to rigged Hilbert spaces"  ''Comput. Math. Appl.'' , '''34'''  (1997)  pp. 399–425</TD></TR><TR><TD valign="top">[a23]</TD> <TD valign="top">  D.N. Williams,  "Difficulty with a kinematic concept of unstable particles: the Sz.-Nagy extension and the Matthews–Salam–Zwanziger representation"  ''Comm. Math. Phys.'' , '''21'''  (1971)  pp. 314–333</TD></TR><TR><TD valign="top">[a24]</TD> <TD valign="top">  C.J. Hammer,  T.A. Weber,  "Field theory for stable and unstable particles"  ''Phys. Rev.'' , '''D5'''  (1972)  pp. 3087–3102</TD></TR><TR><TD valign="top">[a25]</TD> <TD valign="top">  D.N. Williams,  "Large width in the Lee model for the Higgs–Goldstone sector"  ''Nucl. Phys.'' , '''B264'''  (1986)  pp. 423–436</TD></TR><TR><TD valign="top">[a26]</TD> <TD valign="top">  I. Antoniou,  M. Gadella,  I. Prigogine,  G.P. Pronko,  "Relativistic Gamow vectors"  ''J. Math. Phys.'' , '''39'''  (1998)  pp. 2995–3018</TD></TR><TR><TD valign="top">[a27]</TD> <TD valign="top">  A. Grecos,  I. Prigogine,  "Kinetic and ergodic properties of quantum systems: the Friedrichs model"  ''Physica'' , '''59'''  (1972)  pp. 77–96</TD></TR><TR><TD valign="top">[a28]</TD> <TD valign="top">  V.F. Weisskopf,  E.P. Wigner,  "Ueber die natürliche Linienbreite in der Strahlung des harmonischen Oszillators"  ''Z. Phys.'' , '''65'''  (1930)  pp. 18</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  T.D. Lee,  "Some special exampls in renormalizable field theory"  ''Phys. Rev'' , '''95'''  (1954)  pp. 1329–1334</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  K.O. Friedrichs,  "On the perturbation of continuous spectra"  ''Commun. Pure Appl. Math.'' , '''1'''  (1948)  pp. 361–406</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  V.F. Weisskopf,  E.P. Wigner,  "Berechnung der natürlichen Linienbreite auf Grund der Diracschen Lichttheorie"  ''Z. Phys.'' , '''63'''  (1930)  pp. 54</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  J.R. Taylor,  "Scattering theory" , Wiley  (1972)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  L.P. Horwitz,  J.-P. Marchand,  "The decay scattering system"  ''Rocky Mtn. J. Math.'' , '''1'''  (1971)  pp. 225–253</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  I.M. Gel'fand,  G.E. Shilov,  "Generalized functions" , '''4''' , Acad. Press  (1968)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  W. Baumgartel,  "Resonances of perturbed self-adjoint operators and eigenfunctions"  ''Math. Nachr.'' , '''75'''  (1976)  pp. 133–151</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  D. Cocolicchio,  ''Phys. Rev'' , '''57'''  (1998)  pp. 7251</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  L.P. Horwitz,  J.-P. Marchand,  J. LaVita,  "The inverse decay problem"  ''J. Math. Phys.'' , '''12'''  (1971)  pp. 2537–2543</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  L.P. Horwitz,  ''Found. Phys.'' , '''25'''  (1995)  pp. 39</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  R.J. Newton,  "Scattering theory of particles and waves" , McGraw-Hill  (1976)</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  T. Bailey,  W.C. Schieve,  "Complex energy eigenstates in quantum decay models"  ''Nuovo Cim.'' , '''47A'''  (1978)  pp. 231–250</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  A. Bohm,  "The rigged Hilbert space and quantum mechanics" , ''Lecture Notes Physics'' , '''78''' , Springer  (1978)</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  L.P. Horwitz,  I.M. Sigal,  "On a mathematical model for non-stationary physical systems"  ''Helv. Phys. Acta'' , '''51'''  (1980)  pp. 685–715</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  G. Parravicini,  V. Gorini,  E.C.G. Sudarshan,  "Resonances, scattring theory, and rigged Hilbert spaces"  ''J. Math. Phys.'' , '''21'''  (1980)  pp. 2208–2226</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  A. Bohm,  M. Gadella,  G.B. Mainland,  "Gamow vectors and decaying states"  ''Amer. J. Phys.'' , '''57'''  (1989)  pp. 1103–1108</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  A. Bohm,  M. Gadella,  "Dirac kets, Gamow vectors and Gel'fand triples" , ''Lecture Notes Physics'' , '''348''' , Springer  (1989)</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  A. Grecos,  I. Prigogine,  ''Proc. Nat. Acad. Sci. USA'' , '''60'''  (1972)  pp. 1629</td></tr><tr><td valign="top">[a19]</td> <td valign="top">  T. Petroski,  I. Prigogine,  S. Tasaki,  ''Physica A'' , '''175'''  (1991)  pp. 175</td></tr><tr><td valign="top">[a20]</td> <td valign="top">  I. Antoniou,  I. Prigogine,  ''Physica A'' , '''192'''  (1993)  pp. 443</td></tr><tr><td valign="top">[a21]</td> <td valign="top">  I. Antoniou,  S. Tasaki,  ''Internat. J. Quant. Chem.'' , '''44'''  (1993)  pp. 425</td></tr><tr><td valign="top">[a22]</td> <td valign="top">  I. Antoniou,  L. Dmitrieva,  Y. Kuperin,  Y. Melnikov,  "Resonances and the extension of dynamics to rigged Hilbert spaces"  ''Comput. Math. Appl.'' , '''34'''  (1997)  pp. 399–425</td></tr><tr><td valign="top">[a23]</td> <td valign="top">  D.N. Williams,  "Difficulty with a kinematic concept of unstable particles: the Sz.-Nagy extension and the Matthews–Salam–Zwanziger representation"  ''Comm. Math. Phys.'' , '''21'''  (1971)  pp. 314–333</td></tr><tr><td valign="top">[a24]</td> <td valign="top">  C.J. Hammer,  T.A. Weber,  "Field theory for stable and unstable particles"  ''Phys. Rev.'' , '''D5'''  (1972)  pp. 3087–3102</td></tr><tr><td valign="top">[a25]</td> <td valign="top">  D.N. Williams,  "Large width in the Lee model for the Higgs–Goldstone sector"  ''Nucl. Phys.'' , '''B264'''  (1986)  pp. 423–436</td></tr><tr><td valign="top">[a26]</td> <td valign="top">  I. Antoniou,  M. Gadella,  I. Prigogine,  G.P. Pronko,  "Relativistic Gamow vectors"  ''J. Math. Phys.'' , '''39'''  (1998)  pp. 2995–3018</td></tr><tr><td valign="top">[a27]</td> <td valign="top">  A. Grecos,  I. Prigogine,  "Kinetic and ergodic properties of quantum systems: the Friedrichs model"  ''Physica'' , '''59'''  (1972)  pp. 77–96</td></tr><tr><td valign="top">[a28]</td> <td valign="top">  V.F. Weisskopf,  E.P. Wigner,  "Ueber die natürliche Linienbreite in der Strahlung des harmonischen Oszillators"  ''Z. Phys.'' , '''65'''  (1930)  pp. 18</td></tr></table>

Latest revision as of 16:55, 1 July 2020

What is known today (1998) as the Lee–Friedrichs model [a1], [a2] is characterized by a self-adjoint operator $H$ on a Hilbert space $\mathcal{H}$, which is the sum of two self-adjoint operators $H _ { 0 }$ and $V$ such that $H$, $H _ { 0 }$ and $V$ have a common domain, $H _ { 0 }$ has absolutely continuous spectrum (of uniform multiplicity) except for the end-point of the semi-bounded from below spectrum, and one or more eigenvalues which may or may not be embedded in the continuum (cf. also Spectrum of an operator; Absolute continuity). The operator $V$ is compact and of finite rank (cf. also Compact operator; Rank), and induces a mapping from the subspace of $\mathcal{H}$ spanned by the eigenvectors of $H _ { 0 }$ to the subspace corresponding to the continuous spectrum (and the reverse). The central idea of the model is that $V$ does not map the subspace corresponding to the continuous spectrum into itself, and, as a consequence, the model becomes solvable in the sense described below.

In the physical applications of the model, $H$ corresponds to the Hamiltonian operator, the self-adjoint operator (often the self-adjoint completion of an essentially self-adjoint operator) that generates the unitary evolution (through the Schrödinger equation) of the vector in $\mathcal{H}$ representing the state of the physical system in time (cf. also Hamilton operator).

The resolvent $G ( z ) = ( z - H ) ^ { - 1 }$ generated by the Laplace transform on $[ 0 , \infty )$ by $e ^ { i z t }$ on the Schrödinger evolution operator $e ^ { - i H t }$ (both acting on some suitable $f \in \mathcal{H}$) is analytic in the upper half $z$-plane. Denoting by $\langle \lambda | f )$ (with Lebesgue measure $d \lambda$) the representation of $f \in \mathcal{H}$ on the continuous spectrum $\lambda$ of $H _ { 0 }$ on $[ 0 , \infty )$ and by $\phi \in \mathcal{H}$ the eigenvector with eigenvalue $E _ { 0 }$ (assuming for the sake of argument just one discrete eigenvector), one sees that the second resolvent equation

\begin{equation} \tag{a1} G ( z ) = G _ { 0 } ( z ) + G _ { 0 } ( z ) V G ( z ), \end{equation}

where $G _ { 0 } ( z ) = ( z - H _ { 0 } ) ^ { - 1 }$, can be exactly solved by the pair of equations

\begin{equation} \tag{a2} ( \phi , G ( z ) \phi ) = \end{equation}

\begin{equation*} = \frac { 1 } { z - E _ { 0 } } + \frac { 1 } { z - E _ { 0 } } \int _ { 0 } ^ { \infty } d \lambda ( V \phi | \lambda \rangle \langle \lambda | G ( z ) \phi ) \end{equation*}

and

\begin{equation} \tag{a3} \langle \lambda | G ( z ) \phi ) = \frac { 1 } { z - \lambda } \langle \lambda | V \phi ) ( \phi , G ( z ) \phi ). \end{equation}

Substituting (a3) into (a2), one sees that

\begin{equation} \tag{a4} h ( z ) ( \phi , G ( z ) \phi ) \equiv \end{equation}

\begin{equation*} \equiv \left( z - E _ { 0 } - \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { z - \lambda } d \lambda \right) ( \phi , G ( z ) \phi ) = 1. \end{equation*}

If the discrete spectral value $E _ { 0 }$ is separated from the continuum ($E _ { 0 } < 0$), then $( \phi , G ( z ) \phi )$ has a pole on the real axis at the point

\begin{equation} \tag{a5} E _ { 1 } = E _ { 0 } + \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { E _ { 1 } - \lambda } d \lambda < 0. \end{equation}

If $E _ { 0 }$ is embedded in the continuum that lies on $[ 0 , \infty )$ ($E _ { 0 } > 0$), one can avoid the generation of a real pole on the negative half-line by the inequality

\begin{equation*} \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle |^ { 2 } } { \lambda } d \lambda < E _ { 0 }. \end{equation*}

The projection of the time evolution of the quantum-mechanical state represented by $\phi$ back onto the initial state is given by (using units in which $\hbar$, the Planck constant divided by $2 \pi$, is unity):

\begin{equation} \tag{a6} ( \phi , e ^ { - i H t } \phi ) = \frac { 1 } { 2 \pi i } \int _ { C } e ^ { - i z t } ( \phi , G ( z ) \phi ) d z, \end{equation}

where the contour goes from $+ \infty$ in the negative direction of the real axis and a small distance above it, around the branch point counter-clockwise at $0$, and back to $+ \infty$ below the real axis. The construction defined on the left-hand side of (a6) was used by E.P. Wigner and V.F. Weisskopf [a3], [a28] in 1930 as a model for the description of unstable systems; they used it to calculate the line-width of a radiating atom.

The contour of the integral in (a6) can be deformed so that the integration below the real line is shifted to the negative imaginary axis where, for $t$ sufficiently positive, this contribution can be considered as negligible (except near the branch cut). The integral path above the real axis can be similarly deformed into the second Riemann sheet of the function $h ( z ) ^ { - 1 }$ to the negative real axis, but there is a possibility that the second sheet extension of this function has a pole in the lower half-plane. One observes this in the Lee–Friedrichs model [a1], [a2] by studying (for $\zeta$ real)

\begin{equation*} h ( \zeta + i \epsilon ) - h ( \zeta - i \epsilon ) = \end{equation*}

\begin{equation*} = \int _ { 0 } ^ { \infty } | ( V \phi | \lambda ) | ^ { 2 } \left( \frac { 1 } { \zeta - \lambda - i \epsilon } - \frac { 1 } { \zeta - \lambda + i \epsilon } \right) d \lambda = \end{equation*}

\begin{equation*} = 2 \pi i | ( V \phi | \zeta \rangle | ^ { 2 }. \end{equation*}

Choosing a $V$ so that $W ( \zeta ) = | ( V \phi \ | \ \zeta \rangle | ^ { 2 }$ is the boundary value on the real axis of an analytic function in some (sufficiently large) domain in the lower half-plane, one sees that the second sheet continuation of $h ( z )$ is

\begin{equation} \tag{a7} h ^ { I I } ( z ) = h ( z ) + 2 \pi i W ( z ). \end{equation}

Now,

\begin{equation*} \operatorname { Im } h ^ { I I } ( z ) = \operatorname { Im } z \left( \int _ { 0 } ^ { \infty } \frac { | ( V \phi | \lambda \rangle | ^ { 2 } } { | z - \lambda | ^ { 2 } } d \lambda \right) + 2 \pi \operatorname { Re } W ( z ); \end{equation*}

if the value of $z$ looked for is sufficiently close to the real axis, $\operatorname { Re } W ( z ) > 0$, and $\operatorname { Im } h ^ { I I } ( z )$ may have a zero for $\operatorname{Im} z < 0$. If the real part vanishes as well, one has a pole of $h ^ { I I } ( z ) ^ { - 1 }$ at, say $\tilde{z}$, which implies a decay law of the time evolution of the so-called survival amplitude (a6), of the form $e ^ { - i z t }$, an exponential decay. The imaginary part of $\tilde{z}$ is the semi-decay width computed in lowest-order perturbation theory by Wigner and Weisskopf [a3], [a28].

In quantum-mechanical scattering theory [a4], [a11], the scattered wave is expressed in terms of an operator-valued function of $z$,

\begin{equation} \tag{a8} T ( z ) = V + V G ( z ) V, \end{equation}

analytic in the same domain as $G ( z )$. The transition amplitude $\langle \lambda | T ( z ) | \lambda ^ { \prime } \rangle$ contains, by the hypotheses of the Lee–Friedrichs model, the reduced resolvent $( \phi , G ( z ) \phi )$, and the second sheet pole discussed above dominates the behaviour of the scattering for an interval of energies near the real part of $\tilde{z}$, appearing as a scattering resonance. Hence the Lee–Friedrichs model offers an opportunity to describe scattering and resonance phenomena, along with the behaviour of an unstable system, in the framework of a single mathematical model [a5].

The pole in $h ^ { I I } ( z )$ at $\tilde{z}$ suggests that, in some sense, there may be an eigenvalue equation of the form

\begin{equation} \tag{a9} z f ( z ) = H f ( z ). \end{equation}

This equation is exactly solvable in the Lee–Friedrichs model, with

\begin{equation} \tag{a10} \langle \lambda | f ( z ) ) = \frac { 1 } { \lambda - z } \langle \lambda | V \phi ) ( \phi , f ( z ) ), \end{equation}

but the eigenvalue equation (a9) is satisfied only after analytic continuation to $\tilde{z}$ in the same way as described above. This analytic continuation can be done in terms of the sesquilinear form $( g, f ( z ) )$ for a suitable $g \in \mathcal{D} \subset \mathcal{H}$, such that $( \lambda | g )$ is the boundary value of an analytic function on an adequate domain in the lower half-plane (including the point $\tilde{z}$ within its boundary). (The eigenfunction $\phi$ must lie in $\mathcal{D}$ as well.) The Banach space functional $f$ defined in this way lies in the space $\overline{\mathcal{H}}$ dual to $\mathcal{D}$, for which $\overline { \mathcal{H} } \supset \mathcal{H} \supset \mathcal{D}$, i.e., an element of a Gel'fand triple (cf. Rigged Hilbert space) [a6], [a7], [a12], [a13], [a14], [a15], [a16], [a17]. This construction has provided the basis for useful physical applications [a8], [a27], [a18], [a19], [a20], [a21], [a22].

Note that the quantity $( \phi , e ^ { - i H t } \phi )$ studied in the Wigner–Weisskopf theory [a3], [a28] can never be precisely exponential in form (i.e., more generally, $P e ^ { - i H t } P$, where $P$ is a projection, cannot be a semi-group) [a9], [a23] although for sufficiently large (but not too large) $t$, it may well approximate an exponential. For example, the $t$-derivative of $| ( \phi , e ^ { - i H t } \phi ) | ^ { 2 }$ at $t = 0$ vanishes if $H \phi$ is defined. The time dependence of the Gel'fand triple function may, however, be exactly exponential (if $\mathcal{D}$ is sufficiently stable).

Lee's original model [a1], formulated in the framework of non-relativistic quantum field theory, was motivated by an interest in the process of renormalization; it can be seen from (a5) that the interaction $V$ induces a shift in the point spectrum. There is a conserved quantum number in Lee's field theory which enables the model to be written in one sector as a quantum-mechanical model equivalent to the structure used by K.O. Friedrichs [a2], whose motivation was to study the general framework of the perturbation of continuous spectra.

A relativistically covariant form of the Lee–Friedrichs model has been developed in [a10] (see also [a24], [a25], [a26]).

References

[a1] T.D. Lee, "Some special exampls in renormalizable field theory" Phys. Rev , 95 (1954) pp. 1329–1334
[a2] K.O. Friedrichs, "On the perturbation of continuous spectra" Commun. Pure Appl. Math. , 1 (1948) pp. 361–406
[a3] V.F. Weisskopf, E.P. Wigner, "Berechnung der natürlichen Linienbreite auf Grund der Diracschen Lichttheorie" Z. Phys. , 63 (1930) pp. 54
[a4] J.R. Taylor, "Scattering theory" , Wiley (1972)
[a5] L.P. Horwitz, J.-P. Marchand, "The decay scattering system" Rocky Mtn. J. Math. , 1 (1971) pp. 225–253
[a6] I.M. Gel'fand, G.E. Shilov, "Generalized functions" , 4 , Acad. Press (1968)
[a7] W. Baumgartel, "Resonances of perturbed self-adjoint operators and eigenfunctions" Math. Nachr. , 75 (1976) pp. 133–151
[a8] D. Cocolicchio, Phys. Rev , 57 (1998) pp. 7251
[a9] L.P. Horwitz, J.-P. Marchand, J. LaVita, "The inverse decay problem" J. Math. Phys. , 12 (1971) pp. 2537–2543
[a10] L.P. Horwitz, Found. Phys. , 25 (1995) pp. 39
[a11] R.J. Newton, "Scattering theory of particles and waves" , McGraw-Hill (1976)
[a12] T. Bailey, W.C. Schieve, "Complex energy eigenstates in quantum decay models" Nuovo Cim. , 47A (1978) pp. 231–250
[a13] A. Bohm, "The rigged Hilbert space and quantum mechanics" , Lecture Notes Physics , 78 , Springer (1978)
[a14] L.P. Horwitz, I.M. Sigal, "On a mathematical model for non-stationary physical systems" Helv. Phys. Acta , 51 (1980) pp. 685–715
[a15] G. Parravicini, V. Gorini, E.C.G. Sudarshan, "Resonances, scattring theory, and rigged Hilbert spaces" J. Math. Phys. , 21 (1980) pp. 2208–2226
[a16] A. Bohm, M. Gadella, G.B. Mainland, "Gamow vectors and decaying states" Amer. J. Phys. , 57 (1989) pp. 1103–1108
[a17] A. Bohm, M. Gadella, "Dirac kets, Gamow vectors and Gel'fand triples" , Lecture Notes Physics , 348 , Springer (1989)
[a18] A. Grecos, I. Prigogine, Proc. Nat. Acad. Sci. USA , 60 (1972) pp. 1629
[a19] T. Petroski, I. Prigogine, S. Tasaki, Physica A , 175 (1991) pp. 175
[a20] I. Antoniou, I. Prigogine, Physica A , 192 (1993) pp. 443
[a21] I. Antoniou, S. Tasaki, Internat. J. Quant. Chem. , 44 (1993) pp. 425
[a22] I. Antoniou, L. Dmitrieva, Y. Kuperin, Y. Melnikov, "Resonances and the extension of dynamics to rigged Hilbert spaces" Comput. Math. Appl. , 34 (1997) pp. 399–425
[a23] D.N. Williams, "Difficulty with a kinematic concept of unstable particles: the Sz.-Nagy extension and the Matthews–Salam–Zwanziger representation" Comm. Math. Phys. , 21 (1971) pp. 314–333
[a24] C.J. Hammer, T.A. Weber, "Field theory for stable and unstable particles" Phys. Rev. , D5 (1972) pp. 3087–3102
[a25] D.N. Williams, "Large width in the Lee model for the Higgs–Goldstone sector" Nucl. Phys. , B264 (1986) pp. 423–436
[a26] I. Antoniou, M. Gadella, I. Prigogine, G.P. Pronko, "Relativistic Gamow vectors" J. Math. Phys. , 39 (1998) pp. 2995–3018
[a27] A. Grecos, I. Prigogine, "Kinetic and ergodic properties of quantum systems: the Friedrichs model" Physica , 59 (1972) pp. 77–96
[a28] V.F. Weisskopf, E.P. Wigner, "Ueber die natürliche Linienbreite in der Strahlung des harmonischen Oszillators" Z. Phys. , 65 (1930) pp. 18
How to Cite This Entry:
Lee-Friedrichs model. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lee-Friedrichs_model&oldid=50108
This article was adapted from an original article by Lawrence P. Horwitz (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article