A NNALES DE L ’I. H. P., SECTION A
A RNE J ENSEN
T OHRU O ZAWA
Classical and quantum scattering for Stark hamiltonians with slowly decaying potentials
Annales de l’I. H. P., section A, tome 54, n
o3 (1991), p. 229-243
<http://www.numdam.org/item?id=AIHPA_1991__54_3_229_0>
© Gauthier-Villars, 1991, 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/
p. 229
Classical and quantum scattering for Stark
Hamiltonians with slowly decaying potentials
Arne JENSEN
(1)
Tohru OZAWA
Department of Mathematics and Computer Science, Institute for Electronic Systems, Aalborg University, Fredrik Bajers Vej 7, DK-9220 Aalborg 0, Denmark
Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606, Japan
Vol. 54, n° 3, 1991,] Physique théorique
ABSTRACT. - A
discrepancy
between classical and quantumscattering
for Stark Hamiltonians is shown to exist for
slowly decaying potentials.
Let
Ho= -(l/2)A+~i
andH=Ho+V(x)
onL2 (~n).
For0y~l/2,
asI x ~ -~ ao,
the usual quantum wave operators betweenHo
and H do not exist. In classical one-dimensional
scattering
the classicalwave operators exist and are
asymptotically complète
for thecorrespond- ing
classicalproblem
for V(x)
= 9(log (1+~)))~),
ex>1,
as ~ -~ 2014 oo .RÉSUMÉ. 2014 Nous montrons un désaccord entre la diffusion
classique
etquantique
pour les hamiltoniens de Starkqui possèdent
despotentiels
àdécroissance lente. Soient
Ho = -1/2A+~
etH = Ho + V (x)
sur L2(~n).
Pour
0y~l/2
siIxl ~ 00, l’opérateur
d’onde habituel n’existe pas entreHo
et H. Dans le cas de la diffusionclassique
à unedimension,
lesopérateurs
d’ondeclassique
existent et sontasymptoti-
quementcomplets
pourV (x) =
0((log (1+|x|))-03B1), 03B1>1, si x~-~.
(1) Supported by the Danish Natural Science Research Council.
Annales de l’Institut Henri Poincaré - Physique théorique - 0246-0211
1. INTRODUCTION
In récent
developments
inscattering theory analogies
between classical andquantum
mechanics haveplayed
animportant
rôle. This is inparticu-
lar the case with the
geometric
method where onedécomposes phase
space(or configuration space)
into certainrégions
where the motion of the quantumparticle
isclosely approximated by
thecorresponding
motion offree classical
particles.
It is therefore of interest toinvestigate
a case wherethis
analogy
breaks down.In this paper we
study
in détail the quantumscattering
for the free Stark HamiltonianHo=-(l/2)A+~
on and itsperturbation
H =
Ho
+ Vby
aslowly decaying potential,
and thecorresponding
classicalproblem
in one dimension. Our main result can be summarizedbriefly
asfollows: There is a
discrepancy
between quantum and classicalscattering theory.
In quantumscattering theory
the usual wave operators= s- lim
eitHe-itH0
do not exist forpotentials
with a behavior0 y ~ 1/2,
as jCi ~ - 00. In thecorresponding
one-dimensionalscattering problem
the classical wave operators exist and areasymptotically complète
for
potentials
with a decrease as slow as(9((log(l+~))*°’), ex> 1,
asx -~ - oo . Thus the
concept
of along
rangepotential
is différent in the quantum and classical case. This is in contrast to the case of usualSchrddinger
operators(zéro
electricfield),
where the borderline betweenlong
range and short range behavior is the Coulombpotential c ~ x ~ -1
both in the classical and the quantum case.
This paper is
organized
as follows: In section 2 wegive
our result onnon-existence of quantum wave operators and discuss the concept of a Stark short range
potential
in some détail. In section 3 we prove existence andcompleteness
of classical wave operators for the one-dimensionalproblem
with aslowly decaying potential.
Section 4 contains various remarks.2. ON LONG RANGE POTENTIALS IN
QUANTUM
SCATTERINGFOR STARK HAMILTONIANS
In this section we
give
results that characterize a class oflong
rangepotentials
for the free Stark Hamiltonian. Toexplain
the concept of along
rangepotential
we firstgive
a review of the concept of a short rangepotential.
We start
by recalling
the usual framework for quantumscattering.
Letdénote the free Stark Hamiltonian on It is
essentially self-adjoint
on the Schwartz space The domain isAnnales de l’Institut Henri Poincaré - Physique théorique
denoted
by ~ (Ho).
The spectrum is therealline,
i. e. and it ispurely absolutely
continuous.Let V dénote a
symmetric
operatorwith (V) ::J (Ho)
and assumethat V is
Ho-bounded
with relative bound less than one. Then H =Ho
+ Vis
self-adjoint with ~(H)==~(Ho).
V is called thepotential.
TheMiller
wave operators are defined as
for
(p6~(W~)={(pe~f;
lim e. g.[7], [11] ]
forgénéral
results on wave operators. The wave operator are said to beasymptotically complète,
inRange (W ±) _ ~p (H)1,
whereYf p (H)
dénotesthe closed
subspace spanned by
theL2-eigenvectors
of H.We introduce the
following
définition :DEFINITION 2.1. - The
potential
V is said to be Stark short range(or Stark-SR),
if the wave operatorsW:f:
exist and areasymptotically complète.
We state
briefly
some sufficient conditions for apotential
to be Stark-SR. Let = -/?i. The
following
result isproved
in[5]:
THEOREM 2.2. - Let V be a
potential as
above. Assume(i ) (H
+/) ’ ~ - (Ho
+i ) -1
is compact.(ii)
There existl~0
and a real numberJl> 1
suchthat the
operatorextends to a bounded operator on ~.
Then V is Stark-SR.
The condition
(ii) requires
momentumdecay.
One cangive
otherexplicit
conditions for a
multiplication
operator. The first characterizations of V(x)
as a Stark short rangepotential
were obtained in[ 1 ], [ 13] (existence),
and
[2] (completeness).
Moregeneral
results were obtainedby Yajima [ 15]
and Simon
[ 12] .
We state thefollowing
result from[ 15] :
Letsatisfy O~X:t ~ 1,
X++ x - =1,
and X+(x 1 ) =1
for1,
X+(x 1 ) = 0
forxl
-- o.
PROPOSITION 2.3. - Let V be a real-valued
function
on Assumefor
some Õ>
1 /2
with
V1 (!R"),
limV1 (je)
=0,
andV2
EL2loc(Rn)
such that for somev with 0v4,
Then V is Stark-SR.
Stated * in
rough asymptotic form,
the conditions ofProposition
2.3 are ’essentially
where we wrote x =
’)
x f~n -1.There are other classes of
potentials
that are Stark-SR withouthaving
this
asymptotic
behavior. Thedecay
in the ~ -~ 2014 oo direction can bereplaced by
an "oscillation" condition. We recall thefollowing
result from[3], [4] :
PROPOSITION 2.4. - Assume n =1. Let V be a
decomposable
as whereV
1satisfies
the condition inProposition 2.3,
and where U = W" with boundedwbM
bounded derivatives. Then V is Stark-SR.
The results above characterize some classes of short range
potentials
for the free Stark Hamiltonian
Ho.
We should note thatpotentials
satis-fying
the conditions in eitherProposition
2.3 orProposition
2.4 alsosatisfy
the two conditions(i )
and(ii)
in Theorem 2.2.The définition of a
long
rangepotential
can begiven
in the form of thenégation
of Définition 2.1. This is notentirely satisfactory,
sinceusually
other
spectral properties
should bepreserved.
Forexample,
we would liketo have the property that where dénotes the
absolutely
continuous spectrum, and also the invariance of the essential spectra: It wasconjectured
in[13]
that the borderline for the short rangepotential
should be the behaviorO ( ~ xl I -1~2)
asFor the
purely homogeneous potential
of the form~0, 1 /2 (y 1 /2
ifn =1 ),
thisconjecture
wasproved
in[ 10] .
Hèrewe présent a
generalization
of this result:THEOREM 2.5. -
1 /2 (y 1 /2 if n =1 ),
andVi
is asymmetric
operatorsatisfying the
conditions in Theorem 2.2. Let cp E H with Fourier
transform î>
EC~0
Assume that the limit
exists in ~f. Then
(p=0.
The same result -~ 2014 oo .Annales de l’Institut Henri Poincaré - Physique " théorique
Proof. -
Theproof
is obtainedby modifying
the first step of theproof
in
[10].
Let cp E ~ withî>
EC~
begiven.
We note that cp E ~((Ho - i)k)
for any
integers
Let u + = limUsing
thegénéral
arguments in[7], [ 11 ],
we get that M+ E ~((H - i)k)
andfurthermore,
(H-0~+=W~((Ho-~(p).
Let
Redoing
the first step in theproof
of the theorem in[ 10],
we getThe first term in
(2.3)
is treated as in[10]. Namely, by
ahomogeneity argument
and thepropagation
estimate used in[1],
we have for someconstant C>O
for ail t > s > T with T > 0
sufficiently large.
To treat the second term of
(2.3)
we recall thepropagation
estimateused in
[3], [5]:
For we have1 ~-- ~i2) S~2 e -’ itHp ( 1 ~- A2) S~2 I I ~ C ( 1-~- t2) 5~2,
where ~.~
dénotes the operator norm on We rewrite theintegrand
inthe second term in
(2. 3)
to getHence we have
Collecting
thèseestimâtes,
we haveThe left hand si de of the
inequality
above is boundedby 2/1 q> 112
and theintégral
in thé first term of theright
hand sidediverges
as ~+00.Therefore we have cp = 0.
Q.E.D.
Remark 2.6. -
(i )
The result in Theorem 2. 5 can also beproved by using
the chain fuie for wave operators andpropagation
estimâtes forHo + Vo,
where andVo(x)=Vo(x) for
(ii)
The result in[ 10]
can bestrengthened slightly:
Assume thatlim exists for some Then
(p=0.
t -"±00
We can then also
strengthen
the result in Theorem 2.5similarly
underthe additional
assumption
that k = 0 in(2 . 2).
3. ONE-DIMENSIONAL CLASSICAL SCATTERING THEORY FOR STARK HAMILTONIANS
In this section we prove a result on one-dimensional classical Stark Hamiltonians. The main result is
asymptotic completeness
in the classicalscattering theory
for a class ofpotentials
with slowdecay
as x -~ - oo .Throughout
this section we consideronly
the one-dimensional case.Some remarks on
higher
dimensions can be found in section 4.The free classical Stark Hamiltonian is the function
on
phase
space !R2. Newton’séquation
iswith the solution
where we used the dot notation for the time-derivative. We introduce the
following assumptions
forslowly decaying potentials.
ASSUMPTION 3.1. - V is a real-valued differentiable function on IR such that
V,
and V’ isLipschitz
continuous.Furthermore,
there existC>0~~1,(x>l,~o0
such thatAnnales de l’Institut Henri Poincaré - Physique théorique
with
o
with the convention
n (...) =
1.j= 1
ASSUMPTION 3.2. - V is a real-valued continuons function on IR. There exist
~> 1, Po> 1,
andC>O,
such that for all!~!~P
where (pp is a function of the form
(3.4)
for someA;~
1.We note that a function P0152 from
(3.4)
satisfiesand
provided t
issufficiently large.
Let V
satisfy Assumption
3.1. The full Hamiltonian considered hère is H(x, p)
=Ho (x, p)
+ V(x).
We look at solutions to Newton’séquation
It is well-known that there exists a
unique
solution to(3 . 5),
defined for ait The initial conditions(xo, vo)
in(3 . 5)
are classifiedaccording
tothe
large
time behavior of the solution. We write(xo, v0)~Mbound
and callthe solution to
(3 . 5)
a bound state, ifi. e. the orbit lies in a bounded subset of
phase
space. We writevo) E Mscat
and call the solution to(3 . 5)
ascattering
state, if thereexist two free solutions
~ (t) [see (3.2)]
such thatAsymptotic completeness
in classicalscattering theory
means that thereare no other types of
asymptotic behavior,
up to a set of measure zéro,i. e. that we have
with a set of
Lebesgue
measure zéro. See[11] for
further discussion and références.We have the
following
result:THEOREM 3.3. - Let V
satisfy Assumption
3.1. Then the classical scatter-ing problem for (3 . 5)
isasymptotically complete.
Proof -
We shallonly give
the essential step in theproof.
We consider the t ~ + oo case. The other case is treatedanalogously.
Let je(t)
be asolution which is not bounded in
time, i.
e. we assumeArguing
as in[3],
we conclude from conservation of energy and bounded-ness of V that we
actually
haveUsing Assumption 3.1,
we can findC
> 0 such thatfor ail and then we can fix
to > 0
such that for ail we have.x (t) 0 and
We
integrate
Newton’séquation from to
to t to getwhere we first used
intégration by
parts, and then Newton’séquation.
Using (3 . 6)
in(3 . 7),
we getAnnales de l’Institut Henri Poincaré - Physique théorique "
for all for some
Going
back to(3 . 7),
we conclude theexistence of the limit
The estimate
(3 . 8)
allows us to rewrite(3 . 7)
asWe note the
following expression
for v + :We use
(3.9)
tofind t2 ~
t1 such that for ailIntegrating
both sides of theinequality above,
we haveThus there exists
~3~2
such that for ail~3
We can now
integrate
both sides of(3.10)
once more to getUsing (3. 11)
andAssumption 3. 1,
we see that thefollowing
limit exists:We also get the
expression
This
complètes
the essential step of theproof.
Theremaining
argumentsare well-known.
See,
e. g.[3], [11].
Q.E.D.
THEOREM 3.4. - Let V
satisfy Assumptions
3 . 1 and 3 . 2. Let(ç, v)
E 1R2and ,
let y (t)
= -( 1 /2) t2
+ t v +ç.
Then there , exist solutions x +(t)
and , x -(t)
to Newton’s
equation (3. 5)
such thatProof. -
We prove the result in the ~+00 case. The other case is treatedanalogously.
We omit thesuperscript
+ in thesequel.
We lookfor the solution in the form
where u E C2
and 1 + |u(t) | ~
0 as t~+~. Ifx(t)
satisfies New-ton’s
équation,
thenu (t)
mustsatisfy
We transform this differential
équation
into apair
ofintégral équations by
the arguments in theproof
of Theorem 3 . 3. A solution is then foundby using
a fixedpoint
argument. To be morespécifie,
weproceed
asfollows:
Let to
~ 1 be a
parameter to be fixed later. Letand define on B
(t0)
the metricWith this metric B
(t0)
becomes acomplète
metric space.Define a map
by
J(u, w) = (û, w),
whereTo continue the
proof
we need thefollowing
lemma :LEMMA 3 . 5. - There exists
T 0 ~
1 such thatfor
allTo
the map J iswell-defined
on B(t0)
and takes B(t0)
intoitself.
There exists a constantco,
0 co 1,
such thatfor
allt0~T0
and all(u 1, w 1 ), (u2,
weAnnales de l’Institut Henri Poincaré - Physique théorique
have
i. e. J is a , contraction on ,’
(to).
Proof of
Lemma , 3 . 5. - For a fixed o(ç, v)
E ~2 we can findso >_ 1
and oC > 0 1 such that
for ail , and all
(u, Using Assumption 3.1,
we get from(3.16)
for all ,Thus u is a well-defined continuous
function,
andM(~)~0as~-~oo.
From(3 .17)
we get for ailThus
w
is a well-defined continuousfunction,
andw(~) -~
0 as t -~ oo . Theestimâtes
(3.19)
and(3 . 20)
then show that(u, w) E ~ (to),
ifto >__ To,
andTo
issufficiently large.
Using Assumption 3 . 2,
we get after somestraightforward computations
that
(3 .18) holds, provided To
is chosensufficiently large.
Q.E.D.
Proof of
Theorem 3 . 4 continued. - Forto >_ To,
Lemma 3 . 5 and thecontraction map theorem
imply
the existence anduniqueness
of(u, w) E (to) with
It remains to
verify
thatoo))
and satisfies(3.15).
We write out(3 .12) explicitly using
the définition of J to get for ~ toand
It follows
immediately
from(3.22)
and(3.23)
that u~C1((t0,(0))
withM(/)=wM. (3.24)
We introduce the abbreviations
Then/,
g E C 1oo )),
and we can rewrite(3 . 23)
asor
The discriminant is
given by
Since both
f and gare
boundedfunctions,
thereexists t1~t0
such thatfor aIl
t >_ t~
we haveD(~(l/2)~.
It follows that either solution to(3 . 25)
is in C1oo)).
Henceoo))
andM=w.
We differentiate both sides of(3 . 23)
and make a substitution w =û
to getThis
expression
can be rewritten asTaking
we getand
hence,
forBy uniqueness
andglobal
existence of solutions to(3.5),
we extend this result to ail ~e!R. This concludes theproof of Theorem
3 . 4.Q.E.D.
Annales de l’Institut Henri Poincaré - Physique théorique
Let
(ç,
and letXi
be the solutions from Theorem 3 . 4satisfying (3.14).
We define the classical wave operatorsby
We can reformulate the results of Theorems 3 . 3 and 3 . 4 as
COROLLARY 3 . 6. - The classical wave operators
defined by (3 . 26)
are
bijections from
1R2 ontoMscat.
Remark 3.7. - The
decay
condition inAssumption
3.1 is almostoptimal
forasymptotic completeness.
This can be seenby examining
theexpression (3.13)
for apotential
of the typeV (x) = cp 1 (x),
xxo,
x>xo+ 1,
where (pi is the function from(3 . 4)
with a =1.In this case we find that the limit
does not exist.
It is
possible
to extend the result of Theorem 3 . 3 to include the class of"oscillating" potentials
from[3].
THEOREM 3 . 8. - Let
V = V 1 + U,
whereV 1 satisfies Assumption
3 .1and
U = W’,
withW, W’,
and W" isLipschitz
continuous. Then the classical
scattering problem for (3 . 5) is asymptotically complete.
Proof -
The result followsby combining
theproofs
of Theorem 3 . 3 above and Theorem 4.1 in[3].
Q.E.D.
The conclusion of Theorem 3.4 has not been obtained for the class of
potentials
considered in Theorem 3 . 8.4. REMARKS
If we compare the quantum
scattering
results in section 2 with theclassical
scattering
results in section3,
then we observe a remarkablediscrepancy
between the two cases. The classicalscattering
isasymptoti- cally complète
forpotentials
with slowlogarithmic decay,
e. g.whereas in the quantum case no state is
asymptotic
to a free state(in
the sensé oflim ~e-itH
cp - =0)
.
for
potentials
withdecay 0y~ 1 /2,
as ~ -~ - oo . This seems to be the firstdiscrepancy
of this type, which has been observed. For the caseof
Schrôdinger operators
withmagnetic
fields adiscrepancy
in theopposite
direction has been observed. For
magnetic
fields withdecay
rateVol. 54, n° 3-1991.
B
(x)
= (3() x ~ -s), 3/2 S ~ 2, as x ~ -~
oo, the quantum system isasymptoti- cally complète,
whereas thecorresponding
classical system need not beasymptotically complète,
see[9].
The
quantum scattering
for Stark Hamiltonians withlong
range poten- tialssatisfying ~~V(~)~C(1+~~)’~’’’~
for some081/2
and ail multi-indices a has been studied in[ 14] by using
thestationary
modifieranalogous
to the one used forordinary Schrôdinger
operators in
[8].
Atime-dependent
modified free évolution of Dollard- type has been constructed in[6],
andasymptotic completeness proved
inthe one-dimensional case. The results in
[6]
show that a very mild modifica- tion of the free évolution is needed to get the existence andcompleteness
of the modified wave
operators.
It would be of considérable interest to
study
the classical system in thehigher
dimensional cases, to see whether thecompleteness
holds for poten- tials with slowdecay (in
the sensé ofAssumption 3 .1 )
as x 1 --~ - oo .Preliminary computations
indicate that this may be the case. Détails of thèsecomputations
will begiven
elsewhere.In
[1]
the classicalscattering problem
for Stark Hamiltonians is discussed in fR" for a force withdecay C(~i ~’0’
Somegrowth
in the x’-variable ispermitted.
As the authorsremark,
this class is toogeneral
tohope
forcompleteness
to hold.[1] J. E. AVRON and I. W. HERBST, Spectral and Scattering Theory for the Schrôdinger Operators Related to the Stark Effect, Commun. Math. Phys., Vol. 52, 1977,
pp. 239-254.
[2] I. W. HERBST, Unitary Equivalence of Stark Effect Hamiltonians, Math. Z., Vol. 155, 1977, pp. 55-70.
[3] A. JENSEN, Asymptotic Completeness for a New Class of Stark Effect Hamiltonians,
Commun. Math. Phys., Vol. 107, 1986, pp. 21-28.
[4] A. JENSEN, Commutator Methods and Asymptotic Completeness for One-Dimensional Stark Effect Hamiltonians, pp. 151-166 in Schrödinger Operators, Aarhus, 1985, E.
BALSLEV Ed., Springer Lect. Notes Math., No. 1218, 1986.
[5] A. JENSEN, Scattering Theory for Hamiltonians with Stark Effect, Ann. Inst. Henri
Poincaré, Phys. Théor., Vol. 46, 1987, pp. 383-395.
[6] A. JENSEN and K. YAJIMA, preprint, 1990.
[7] T. KATO, Perturbation Theory for Linear Operators, second edition, Springer-Verlag, Heidelberg, 1976.
[8] H. KITADA and K. YAJIMA, A Scattering Theory for Time-Dependent Long-Range Potentials, Duke Math. J., Vol. 42, 1982, pp. 341-376.
[9] M. Loss and B. THALLER, Scattering of Particles by Long-Range Magnetic Fields, Ann.
Phys. (N. Y.), Vol. 176, 1987,
pp.
159-180.[10] T. OZAWA, Non-Existence of Wave Operators for Stark Effect Hamiltonians, preprint, 1989, Math. Z. (to appear).
Annales de l’Institut Henri Poincaré - Physique - théorique -
[11] M. REED and B. SIMON, Methods of Modern Mathematical Physics. Vol. 3, Scattering Theory, Academic Press, New York, 1979.
[12] B. SIMON, Phase Space Analysis of Simple Scattering Systems. Extensions of Some Work of Enss, Duke Math. J., Vol. 46, 1979, pp. 119-168.
[13] K. VESELI0107 and J. WEIDMANN, Potential Scattering in a Homogeneous Electrostatic Field, Math. Z., Vol. 156, 1977, pp. 93-104.
[14] D. WHITE, The Stark effect and long range scattering in two Hilbert spaces, preprint,
1990.
[15] K. YAJIMA, Spectral and Scattering Theory for Schrôdinger Operators with Stark Effect,
J. Fac. Sci. Univ. Tokyo, Sect IA, Vol. 26, 1979, pp. 377-390.
( Manuscript received August 28, 1990.)
Vol. 54, n° 3-1991.