A NNALES DE L ’I. H. P., SECTION A
E. B. D AVIES
A model of atomic radiation
Annales de l’I. H. P., section A, tome 28, n
o1 (1978), p. 91-110
<http://www.numdam.org/item?id=AIHPA_1978__28_1_91_0>
© Gauthier-Villars, 1978, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
91
A model of atomic radiation
E. B. DAVIES
Mathematical Institute, Oxford, England
Ann. Henri Poincare, Vol. XXVIII, n° 1, 1978,
Section A :
Physique théorique.
ABSTRACT. - We consider a non-relativistic quantum mechanical
particle
in an externalpotential well, coupled
to an infinite free quantum field. We proverigorously
that with certain cut-offs and in the weakcoupling
limit, theparticle decays exponentially
between its bound statesas
predicted by perturbation theory.
We also prove the existence of a «dyna-
mical
phase
transition » for aparticle
attracted to twowidely separated potential
wells and alsoweakly coupled
to an infinite reservoir.RESUME. 2014 Nous considerons une
particule quantique
non-relativiste dans unpotentiel, couplee
a unchamp
libre infini. Avec certainesregula-
risations et dans une limite
faible,
nous montrons que laparticule
passeexponentiellement
entre ses etats lies selon lespredictions
de la theoriedes
perturbations.
Nous montrons 1’existence d’une « transition dephase dynamique »
pour uneparticule
attractee par deuxpotentiels
treséloignés
et aussi
couplee
faiblement a un reservoir infini.§1
DESCRIPTION OF THE MODELWe consider a
single
quantum mechanicalparticle
with Hilbert space~f =
L 2(1R3)
and Hamiltonian whereso that
HS
may beeasily
defined as aself-adjoint
operator on ~ as described in[11] ] [18].
Annales de l’Institut Henri Poincare - Section
We also consider an infinite free
spinless
boson quantum field, in aquasi-free
state as described in[1].
Thesingle-particle
space is r = withsingle-particle
HamiltonianOne has a
representation
of the CCRs on a Hilbertspace.!#’ (not necessarily
Fock
space)
with acyclic
vector Qsatisfying
where
in the momentum space
picture,
and we assume for definiteness that d is anon-negative polynomially
bounded COO function on 1R3. For the Fockrepresentation d
= 0 and moregenerally d
determines theparticle density
for different momenta k. If the reservoir is in a Gibbs state
(which
isby
no means the
only interesting case)
thenaccording
to[1]
The parameters
j8,
,u determine the temperature anddensity,
and weneed
0 to avoidhaving
to consider thephenomenon
of Bose-Einstein condensation[14].
The
Weyl
operatorW(f)
is related to the field03A6(x)
defined as an operator- valued distributionby
The free Hamiltonian
Hb
on F satisfiesand
for all and
The Hamiltonian for the interaction between the
particle
and quantum field isformally
where
5(~)
is the(singular)
operator on ~fgiven
as aquadratic
formby
For technical reasons we introduce " space " and 0 ultraviolet cut-offs in the
Annales de l’Institut Henri Poincaré - Section A
93
A MODEL OF ATOMIC RADIATION
interaction term and consider the
self-adjoint
operator H on Jf 0 ~defined
by
rwhere
f
is a function in Schwartz space and andfor another function g in Schwartz space. The
original
Hamiltonian is then obtainedby letting f and g
tend to the delta function at theorigin
and
letting
a -+ oo, but we shall dealonly
with theregularised
Hamil-tonian H from now on.
Given that at time t = 0 the
particle
and field are uncorrelated and ina
(mixed)
state p and the(pure)
vacuum state vrespectively,
the state ofthe
particle
at time t 0 isOne expects that for small ~, the
particle
evolution will containdissipative
terms of order ~,2 and that as ~, gets smaller the
dissipation
will becomemore
nearly exponential.
Theprecise
result iswhere the operator Z on the Banach space V of trace-class operators
on J~ is defined by
with the natural domain
[6],
and the bounded operator K on V isgiven by Eqs. ( 1. 6-1.11 ).
Proof.
2014 Theproblem
is ofexactly
the type solved in[2] [3] [17],
the factthat ~f is infinite-dimensional
being
of noimportance.
The crucial esti-mate needed is that on the field
two-point
functionVol. XXVIII, n° 1 - 1978.
One may show
by
Fourieranalysis
that h satisfiesfor all x E 1R3 and t E [R. The
uniformity
of this estimate with respect to x deals with the spaceintegrations arising
from the interaction term because of the space cut-off.According
to[2] [3] Eq. (1.3)
holds withwhere
and
The influence of the field on the time evolution of the system is therefore
entirely
determinedby
thetwo-point
function h.§2
ANALYSIS OF THE PARTICLE EVOLUTIONAlthough unambiguous
theinterpretation
of Theorem 1.1 is somewhat obscure because Z and ~,2K do not have the same order ofmagnitude
as~, -+ 0. There are several methods of
dealing
with thisproblem [3] [4] [5] [12]
but none of them is
directly applicable.
IfHs
had purepoint
spectrum thenby [4]
the strong operator limit inwould exist and we could
replace Eq. (1.3) by
which has the
advantage
that Z and K~ commute. We have, however,to take account of the fact that our
HS
willgenerally
have both continuous and discrete spectrum. Thefollowing example
shows that we cannot expect K~ to exist in this situation.Annales de l’Institut Henri Poincaré - Section A
95
A MODEL OF ATOMIC RADIATION
EXAMPLE 2.1. - Let ~f =
C E9 L 2(1R)
and define the operators H and Aby
where
for all x E IR. Then
where ~=1~0.
We define the operators Z and K on the space V of trace- class operators on ~fby
A direct calculation shows that
The last term converges
weakly
to zero, but its trace remains constant.Therefore it does not converge in trace norm and K~ does not exist as a
strong operator limit.
Notice that K
happens
to be a bounded operator on the Hilbert space Jf of Hilbert Schmidt operators on ~f and that eZr is aunitary
group on Jf.PROPOSITION 2.2.
exists as a limit iri Hilbert-Schmidt norm for all p E f.
2014 We first note from
Eq. (1.7)
thatwhere X is a compact operator on ~f. Hence
The term
inside { }
converges in operator norm as a -+ 0by [12],
soKi
exists.Similarly K4
exists.Finally K2
andK3
are compact operatorson f so
K2
andK3
existagain by [12].
The
disparity
between this Hilbert-Schmidt result and that for the morephysically
relevant trace norm means that we have toproceed
with somecaution.
We let P be the
orthogonal projection
on Jf whose range is the discretespectral subspace
ofHS
and letPo
be theprojection
on V. We put
P1 -
1 -Po
and letVi
=PiV
for i = 0, 1. Since P commuteswith
HS, Po
commutes with Z and we putZi
=PiZ
for i = 0, 1. For any bounded operator L on V we putLEMMA 2.3. 2014 Both
K1
andK4
exist as operators on V andwhere X is a compact operator on Jf. The operator norm limit
exists
by [12]
soK 1
andK4
exist as strong operator limits on V withBy [12]
we also havewhich
implies
thatfor i = 1, 4. We define
and observe from Eqs.
( 1. 8)
and( 1. 9)
that B is a compact operator on V.To prove
Eq. (2.1)
we use the infiniteDyson expansion
Annales de l’Institut Henri Poincare - Section A
A MODEL OF ATOMIC RADIATION 97
Subtracting
from this the similarexpansion
with Areplaced by
A~ andputting
we obtain
Now if pEV and
then it follows from the compactness of B that
a(~,)
-+ 0 as ~, -+ 0.By Eq. (2.5)
the left-hand side ofEq. (2.1)
is boundedby
which converges to zero as /), -+ 0.
The value of the above reduction resides in the fact that
by Eqs. (1 4)
and
(2 . 2)
where Xa satisfies
Eq. (2.3).
We now restrict attention to the time evolution within thesubspace Vo
of bound states. Theassumption
of absolute conti-nuity
in thefollowing
lemma is known to be satisfied verygenerally [13].
provided HS
has nosingular
continuous spectrum.P~oof.
2014 We use the finiteexpansion
Vol. XXVIII, n° 1 - 1978.
Multiplying
on the left andright by Po
andusing
the fact that Z,AB Boo
all commute with
Po
we obtain the crude estimateBy
the dominated convergence theorem it is therefore sufficient to show that for all T > 0and
by
the compactness of B evenenough
to show that for all p in somedense subset of
V 1
and all t > 0The space
v
1 isgenerated by
vectors p= ~ ~ ~ ~ ~ ~ I
where at leastone of
~, ~ (we
henceforth assume it is lies in(1
-By Eqs. (1.8), (1.9)
and(2.4)
B has the abstract formwhere
C(1)
andC~
are compact operators on ~f andHence for all p of the above form
by Eq. (2.3)
and the factP)~.
By the
Lebesgue
dominated convergence theorem we arefinally
leftwith proving that ___
Annales de Henri Poincaré - Section A
99
A MODEL OF ATOMIC RADIATION
This is a consequence of the compactness of
C~
and the factthat 4>
liesin
(1 - P)~,
which is theabsolutely
continuousspectral subspace
ofHS
since that operator is assumed to have no
singular
continuous spectrum.THEOREM 2 . 5. 2014 If
03C1~V0,
0 To oo andHS
has nosingular
conti-nuous spectrum then
where the bounded operator C = commutes with Z and
Po.
Proof
-Putting
Lemmas 2.3 and 2.4together yields
where
Since p E
Vo
and Z, A t! andBoo
all commute withPo
we canreplace C1
in
Eq. (2.8) by
!’~I ! A b B . rThe restriction of Z to
Vo
has purepoint
spectrum so C =CZ
existsby [4]
and we can
replace C 1
inEq. (2.8) by
C. MoreoverEq. (2.7)
may be rewritten in the interactionpicture using
the factthat C commutes with Z. The result is that if p E
Vo
and 0 ~ T oo thenThe operator C, which describes both the second order energy level shifts and the
decay
of the bound states of the system, may beexplicitly computed
fromEqs. (2 . 9)
and( 1. 6)
in the same manner as in[2].
§3
LIMITATIONS OF THE THEORYWe have
given
arigorous
treatment of thedecay
of a quantumparticle
which
corresponds
to the usual calculations of second orderperturbation theory.
It is very difficult to obtainrigorous higher
order results,although
some progress is made in
[5] [15].
The model we have described can be modified
by using
a relativistic quantum field ofarbitrarily
smallpositive
mass m. Thesingle particle
Hamiltonian S of the field is
given
in the momentum spacepicture by
and estimates similar to
Eq. ( 1. 5)
can beproved by
the method ofstationary
phase [8] [9].
The removal of the space cut-oif in the interaction term of the Hamil- tonian H is, however, more difficult.
PROPOSITION 3.1. 2014 If the space cut-off is omitted
by putting
then the
integrals defining
K aregenerally
not normabsolutely
convergent.Proof.
- We take the Fockrepresentation by putting d
= 0 so thatWe put m = M = 1,
f
= g and p= t ~ > ~ ).
Thenaccording
toEq. ( 1. 7)
The
integral
whose finiteness is at stake is thereforeSince
is a bounded operator which commutes with space translations and there- fore with S
because the
integrand
isindependent
of t.The above
Proposition
does not prove the non-existence of a suitable operator K but does suggest thatconsiderably
differenttechniques
areneeded to deal with the
problem
without the space cut-off.We
finally
comment that one may solve certainproblems
similar tothose of this paper with a reservoir of
self-interacting particles provided again
that the self-interaction has a space cut-off[7].
§4
COUPLINGBETWEEN DISTANT POTENTIAL WELLS
One can
study
the evolution of aparticle
attractedby
twowidely
sepa-rated
potential
wells andsimultaneously coupled
to an infinite reservoirby choosing
the system HamiltonianHS
to beAnnales de Henri Poincaré - Section A
101
A MODEL OF ATOMIC RADIATION
on H =
L 2(!R3),
where V is asuitably regular potential, ~a~
= 1 andAs
-+ 0 thepoint
spectrum ofHS
becomesdoubly degenerate
and theeigenvectors
ofH~
which are eithersymmetric
orantisymmetric
withrespect to the operator
become less and less localised in space.
The time evolution with respect to the Hamiltonian H of
Eq. (1.1)
when 03BB
and
are both very small, should be studiedby letting
them con-verge to zero
simultaneously
but one could nothope
to obtain aphysically
relevant answer without first
removing
the space cut-off. For this reason we consider a modified model which retains many of the features of H andHs,
at least as far as the discrete spectrum of the latter is concerned.We take the system space to be
where the spaces represent the separate
potential
wells. H isprovided
with a Hamiltonian
Ho
with discrete spectrum. Itseigenvalues {03BBn}~n-
1are
supposed
to havemultiplicity
two and to bestrictly increasing
with n, and to be associated witheigenvectors en
EB 0 and 0 EÐ enforming
an ortho-normal basis ofj’f. The two wells are
coupled by
a HamiltonianH 1
definedbv
where 0
~3n {3
for all n so thatH 1
is a bounded operator. The system Hamiltonianis then
symmetric
with respect to S whereand the
eigenvectors
ofHS
fall intosymmetric
andantisymmetric pairs
We shall also use the symmetry T on Jf defined
by
and the induced symmetry T on V defined
by
although
T does not commute withHs.
Vol. XXVIII, n° 1 - 1978.
The system is
coupled
to an infinite free reservoir of the typealready described,
the Hamiltonian on H @ g-being
where " A is a
bounded self-adjoint
operator on~ o , f
lies in Schwartzand
for all We
study
the system in the limit as À -+ 0and
-+ 0simultaneously. As
-+ 0 the two systemsubspaces
become moreweakly coupled
to each other via and also arecoupled
to more remoteparts of the quantum field. We show that the
asymptotic
evolution of the systemdepends
on the relativespeed
at which 03BBand
converge to zero.If we put = 03BB03B2 where 0
03B2
oo then the time evolution of the systemchanges discontinuously at 03B2
= 2. Thesignificance
of this «dynamical phase
transition » isexplained
at the end of the section.We start
by showing
that the results of[2]
are uniform with respectto ,u.
then
where the operators
Z
andK
on V are definedby
and
Eqs. (4.5-4.10) respectively.
Proof.
- We show that the estimates of[2]
are uniform with respect toby examining
the two ways inwhich
enters the calculations. The first is viaHS
for which we useonly
the estimatewhich is valid for
all
and t. The second is via the fieldtwo-point
functionsBy
ananalysis
identical to that used forEq. (1.5)
one may obtain theestimate ..
for all /1, t E IR and i, j = 1: 1. The
analysis
of[2] [3]
now establishesEq. (4 . 3)
with
Annales de l’Institut Henri Poirrcare - Section A
103
A MODEL OF ATOMIC RADIATION
and
and
Note that
K depends
on boththrough h
andthrough HS.
For therest of the section we suppose
that
= 03BB03B2 where 0j8
oo.where
for j
= 0, 1, the operator K, which isindependent
isgiven by Eqs. (4 .13- 4.17)
and commutes with T.Proof 2014 By using
the infiniteDyson expansion
with the estimatevalid for all ~,, t we find that in order to
replace K~ by
K inEq. (4. 3)
it issufficient to prove that -
We examine each of the terms
KIA separately. By Eq. (4.4)
andpointwise
convergence
Since
H1
is boundedVol. 1 - 1978.
where
It follows
by
theLebesgue
dominated convergence theorem thatwhere
Eq (4.12)
is therefore valid withFinally
sinceAi
commute with T andHo
also commutes with T, it may be seen that K commutes with T.where the bounded operator
on V commutes with
Zo.
Moreover bothZo
and K~ commute with T.Proo, f :
Sinceand
which converges to zero as ~, -~ 0. We may therefore
drop
the termin
Eq. (4.11).
SinceZo
has purepoint
spectrum, K existsby [4]
and wemay
replace
Kby
K~ a inEq. (4 .11 ).
The case 0
~8
2 is more difficult because the term is nolonger
Annales de l’Institut Henri Poincaré - Section A
105
A MODEL OF ATOMIC RADIATION
negligible.
We shallrely mainly
on thefollowing properties ofZo
andZl.
They
commute and exp{ (Zo
+ is anisometry
for all 03BB, t E IR.Also
Zo
andZt
havejoint
purepoint
spectrum in the sense that the linear span of the set of simultaneouseigenvectors
is dense in V.LEMMA 4.4. -
If0~2
then for all oee ~2 the strong operator limitexists and defines a
projection Pa
with rangeProof.
2014 Since itsright-hand
side isuniformly
bounded in norm as afunction of ~,, we need
only
proveEq. (4.18)
whenapplied
to a state plying
in one of thesubspaces Vy .
For such pwhich converges to
fl a~ y0
as ~, -~ 0. The formulafor
all p
EVy
is sufficient to show both thatPa
is aprojection
and thatits range is
Va .
By
uniform boundedness it isagain
sufficient to proveEq. (4.19)
when03C1~V03B3. If 03B1 = 03B3 then
which converges to zero as ~, -+ 0
uniformly
with respect to (1.Vol. XXVIII, n° 1 - 1978.
LEMMA 4 . 5. 2014 If K is a bounded operator on V then the strong operator limit
exists and is
given formally by
Moreover K# commutes with
Zo
and Ifthen
Proof.
2014 In order to prove the existence of K# it is sufficientby
the uni-form boundedness in norm of the
right-hand
side ofEq. (4. 20)
to considerthe case p E
Va.
If p EVa
thenwhich converges to
P03B1K03C1
as À -+ 0by
Lemma 4.3.The formula
for all
03C1~V03B1
establishes thevalidity
ofEq. (4 . 21)
whenapplied
to any p in the densesubspace
of V.
By Eq. (4.21)
we obtainfor
all p
E ~ and hence all p E Vby
the boundedness of the operators involved. Hence K# commutes withZo
andZ1. Eq. (4.22)
is deducedfrom
Eq. (4.19).
where the operators
Zo, Z1
and K# all commute.Annales de l’Institut Henri Poineare - Section A
A MODEL OF ATOMIC RADIATION 107
Proof.
2014 We let ~ denote the Banach space of all norm-continuous V-valued functions on[0, To],
with theGiven p E V we define
f
in Eby
Since
Zo, Z1
and K# commute ourproblem
is to prove that Theequation
implies,
uponsubstituting
= r and ~,2s = (1, thatwhich may be rewritten as an operator
equation
on
Similarly
theequation
may be rewritten as an operator
equation
on ~.
We show that converges in the strong operator
topology
on E to H.Since are
uniformly
bounded in norm it is sufficient to show thatwhen g
lies in the dense set ofcontinuously
differentiable functions from[0, To]
into V.Integration by
partsyields
forsuch g
which
by Eq. (4.22)
convergesuniformly
toVol. XXVIII, n° 1 - 1978.
The strong convergence of
~~
to ~f as ~, -+ 0implies
thatfor
all g
andintegers n
0. Since areintegral
operators of Volterra type the solution ofEq. (4.23)
iswhere
for some constant c
independent
of n.Eqs. (4.24)
and(4.25) imply
thatas
required.
" "We say that a state p E V is an
asymptotic equilibrium
state if for allTHEOREM 4. 7. 2014 If 0
~i
2 theasymptotic equilibrium
states p areprecisely
those for whichIf 2
{3
oothey
are those for whichProof - Suppose
0/3
2.By
Theorem 4 . 6 every solution ofEq. (4. 26)
is an
asymptotic equilibrium
state.Conversely
if p is anasymptotic equi-
librium state then
This
implies
the weaker resultfor all 0 ~ to oo, which can be reduced to
Therefore
Zop
= 0, andEq. (4.28)
can be rewritten in the formAnnales de l’Institut Henri Poincnre - Section A
A MODEL OF ATOMIC RADIATION 109
which
implies
Repeating
the argument we obtainZ 1 p
= 0 and thenK#p
= 0.The case 2 oo is derived
similarly
from Theorem 4.3.Theorems 4.3, 4.6 and 4.7 show that the
asymptotic
evolution of the system has different forms in the cases 0 2 and 2~i
00; thespecial cases ~3
= 0 andj8
= 2 can be solvedby
similar methods.Physically
the result may be summarised
by
the statement that if 2 oo theinteraction between the two
potential
wells has no effect for times of order03BB-2,
whileif 0 03B2 2 it
has a direct effect and also causes a modification to thedecay resulting
from thesystem-reservoir
interaction. The result is that theequilibrium
states in the two cases arequite
distinct.The symmetry
T,
which appearsonly
when 2/3
oo, may beregarded
as a
superselection
ruleforbidding
the appearance ofsuperpositions
bet-ween the states of the two
potential
wells. Thus the calculations we havepresented
are relevant to the Einstein-Podolski-Rosen andSchrodinger’s
cat «
paradoxes » [10]
and to theproblems
associated with the existence of stable isomers in quantumchemistry [16] [19]
in thatthey
show that «unphy-
sic.al »
superpositions
of states of acomplex
closed system may be excluded if the system is considered as open and the variouscouplings
have appro-priate
relativemagnitudes.
REFERENCES
[1] H. ARAKI and E. J. WOODS, Representations of the CCRs describing a non-relativistic infinite free Bose gas. J. Mathematical Phys., t. 4, 1963, p. 637-662.
[2] E. B. DAVIES, Markovian Master equations. Commun. Math. Phys., t. 39, 1974,
p. 91-110.
[3] E. B. DAVIES, Markovian Master equations II. Math. Annalen, t. 219, 1976, p. 147-158.
[4] E. B. DAVIES, The classical limit for quantum dynamical semigroups. Commun.
Math. Phys., t. 49, 1976, p. 113-129.
[5] E. B. DAVIES, Asymptotic analysis of some abstract evolution equations. J. Func-
tional Anal., t. 25, 1977, p. 81-101.
[6] E. B. DAVIES, Quantum theory of open systems. Academic Press, 1976.
[7] E. B. DAVIES and J.-P. ECKMANN, Time decay for fermion systems with persistent
vacuum. Helv. Phys. Acta, t. 48, 1975, p. 731-742.
[8] L. HORMANDER, Fourier integral operators I. Acta Math., t. 127, 1971, p. 79-183.
[9] L. HORMANDER, The existence of wave operators in scattering theory. To appear.
[10] M. JAMMER, The philosophy of quantum mechanics. Wiley, 1974.
[11] T. KATO, Perturbation theory for linear operators. Springer 1966.
[12] T. KATO, On a matrix limit theorem. Linear and Multilinear Algebra, t. 3, 1975,
p. 67-71.
[13] R. LAVINE, Absolute continuity of positive spectrum for Schrödinger operators with long-range potentials. J. Functional Anal., t. 12, 1973, p. 30-54.
[14] J. T. LEWIS and J. V. PULE, The equilibrium states of the free Boson gas. Commun.
Math. Phys., t. 36, 1974, p. 1-18.
[15] P. PALMER, D. Phil., thesis, Oxford, 1976.
[16] H. PRIMAS, Pattern recognition in molecular quantum mechanics. Theoret. Chim.
Acta (Berl.), t. 39, 1975, p. 127-148.
[17] J. V. PULÈ, The Bloch equations. Commun. Math. Phys., t. 38, 1974, p. 241-256.
[18] M. REED and B. SIMON, Methods of modern mathematical physics, vol. 2, Academic Press, 1975.
[19] R. G. WOOLLEY, Quantum theory and molecular structure. Adv. Phys., t. 25, 1976,
p. 27-52.
( M anuscrit reçu le 27 janvier 1977).
Annales de l’Institut Henri Section A