A NNALES DE L ’I. H. P., SECTION A
A RNE J ENSEN
Scattering theory for hamiltonians with Stark effect
Annales de l’I. H. P., section A, tome 46, n
o4 (1987), p. 383-395
<http://www.numdam.org/item?id=AIHPA_1987__46_4_383_0>
© Gauthier-Villars, 1987, 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/
383
Scattering theory for Hamiltonians with Stark effect
Arne JENSEN
Matematisk Institut, Aarhus Universitet,
Ny Munkegade, Bygning 530, DK-8000 Arhus C, Danemark
Vol. 46, n° 4, 1987, Physique theorique
ABSTRACT. - For a
large
class of Hamiltonians with Starkeffect,
existence andasymptotic completeness
of the wave operators are shown.For operators H == - A +
Fxl
+U(xl)
+V,
F >0,
we assume that Vdecays as
as Xi -~ 2014 oo, and that U =W",
W a smooth function with all derivatives bounded.Furthermore,
U isperiodic, or ~ U’ 1100
F.The last case allows U to be a sum of
periodic
and almostperiodic
functions.More
general
operators than H above are considered.RESUME. - On demontre 1’existence . et la
completude asymptotique
des
operateurs
d’onde pour une classe etendue de Hamiltoniens aveceffet Stark. On con sidere des
operateurs
H = - 0 +Fx1
+ +V,
F >
0,
on suppose que V decroitcomme 1- 1/2 - E
pour x 1 -~ 2014 oo et que U =W",
ou West une fonction lisse avec toutes ses derivees bornées.De
plus,
U estsupposee periodique
ousatisfaisant ~ U’ 1100
F. Le der-nier cas permet a U d’etre une somme de fonctions
periodiques
et presqueperiodiques.
On considere aussi desoperateurs plus generaux
que Ie H ci-dessus.1. INTRODUCTION. STATEMENT OF RESULT
In this paper we continue our
study
of Stark effect Hamiltonians witha new class of
potentials,
which wasbegun
in[7~] ] [77].
We obtain anextension to dimension n > 1 of these results.
Poincaré - Physique theorique - 0246-0211
There has been a considerable interest
recently
instudying
the spectrum of Stark effectHamiltonians,
inparticular
in connection with randompotentials,
see e. g.[2] ] [3] ] [4] ] [5] ] [6 ].
One finds that in many cases the presence of an electric fieldimplies
that thespectrum
has anabsolutely
continuous
component equal
to !R.However,
as shown in[6 ],
if thepoten-
tial is toosingular,
the situation is different. Asufficiently strong
electric field isrequired
to obtain theabsolutely
continuous component.Many
of these results were obtained in one dimension
using ordinary
differentialequation techniques.
Thus it is of interest tostudy
these operators in dimen- sion n >1,
and to include alarge
class ofpotentials.
To describe the results we need some notation. In we
consider for F > 0
and for U a bounded realvalued function
Both operators are
essentially selfadjoint
on the Schwartz space~(!R).
Let
T2
be aselfadjoint
operator with domain!Ø(T2)
in aseparable
Hilbertspace
Yf2.
We consider on~fi
(8)~2
theselfadj oint
operators determinedby
These operators are
essentially selfadjoint
on ~ ==~(!R)
(8)~(T2) (algebraic
tensorproduct).
We use the same notation for the closures.Let
Bk(R)
denote the bounded realvalued functions on R with k bounded00
derivatives,
and let =l 8f’(IR).
Theassumption
on U is either~=1
ASSUMPTION 1.1. = for some W
E 8I00(~),
and further-more
or
ASSUMPTION 1. 2. - is realvalued and
periodic
withperiod ç. Furthermore,
We note that
Assumption
1. 2implies
U = W" for somesee
[10 ].
Under theseassumptions
on U the electric field dominates inthe
propagation properties
This is the central part of our results.Propagation
estimates are obtainedusing
the extensions of the Mourre methodgiven
in[9] ] [72] with
aconjugate
operatorThe
key
step is to prove the Mourre estimate(2. 2)
for K and A. We canthen use the results from
[72] ]
to obtain ascattering theory
for K andH = K +
V,
with Vshort-range
with respect to A. We use thefollowing assumption expressed
in terms of Hand K.ASSUMPTION 1.3. - Let H be a
selfadjoint
operator on jf such that(H
+i ) -1 - (K
+ is compact, and such that for someinteger k
>- 0 and real number ,u > 1 the operatorextends to a bounded operator on jf.
An
explicit assumption
on V is alsoused,
whenT2
is bounded below.ASSUMPTION 1. 4. Let V be a
symmetric
operator withfØ(V) ::)
such that
V(Ho
+i -1
is compact, and such that for some ~> - 1
the operatorextends to a bounded operator on ~f.
The main result of this paper is
THEOREM 1.5. - Let U
satisfy
eitherAssumption
1.1 orAssump-
tion 1.2. Assume either
i )
H satisfiesAssumption
1. 3or
ii) T2
is boundedbelow,
and H = K + V with Vsatisfying Assump-
tion 1. 4.
Then the wave operators
exist and are
asymptotically complete.
Furthermore,
thesingular
continuous spectrum of H isempty,
and thepoint
spectrum of H is discrete in tR.We shall outline the
proof:
Let us first note that under eitherassumption
on U the wave operators
Ho)
exist and areunitary.
Inparticular
Khas
purely absolutely
continuous spectrumequal
to IR. This follows fromand the results in
[10 ]. Using
the chainrule for wave operators
(see [13 D
Ho)
=Ho).
we see that the
problem
is reduced toproving
existence andcompleteness
of
K).
This result is obtained from the abstractscattering theory developed
in[12 ],
thepropagation
estimates for e - itKproved
in section2,
and the fact theassumptions
on H or V areprecisely
thoserequired
inorder to
apply
the results in[12 ].
An extension of this result isgiven
inTheorem 3 . 6. In Section 3
examples
ofpotentials satisfying
our conditionsare
given.
The conditions on V can be made
explicit,
if wespecify T2. Taking J~2
= andT2
= -A~,
we get fromAssumption
1. 4 theusual conditions on
V, roughly
as ~i ~ 2014 oo,+ oo.Thus
the
previous
results[7] ] [2] ] [7] ] [7J] ] [77] ] [7~] ] [79] ] [27] are generalized by allowing
the inclusion of U. The existence andcompleteness K)
for U
periodic
was obtained in[3 ], using
resolvent estimates and sta-tionary
Kato-Kurodascattering theory.
2. PROPAGATION ESTIMATES
The
proofs
of existence andcompleteness
of waveoperators given
heredepend
onpropagation
estimates for K relative to the operator A. We use the extension of the Mourre methodgiven
in[9] ] [72] ]
to obtain theseestimates. The
key
result to be established is the Mourre estimate for K andA,
see(2 .1 )
and(2 . 2).
We start
by proving
that K and Asatisfy
the conditions in[12;
Defi-nition 2.1
],
i. e. that A isconjugate
toK,
and K is oo-smooth withrespect
to A. To
simplify
reference to[12 ],
we follow thenumbering
ofproperties
of
operators
used there.EK
denotes thespectral
measure of K. In thissection we set F = 1 to
simplify
notation.LEMMA 2.1. - Let U
satisfy Assumption
1.1. Then K and A have thefollowing properties :
a) ~(A)
n~(K)
is dense in~(K)
with thegraph
norm.b) ei03B8A
mapsD(K)
intoD(K),
and sup oo forThe form
i [K, A ],
defined on~(A)
n!Ø(K),
is bounded from below and closable. Theselfadjoint operator
associated with its closure is denotediB1.
We have(B1)
=)~(K). For j
=2, 3,
... we have that the form defined on~(A) n ~(K),
is bounded from below andAnnales de l’Institut Henri Poincaré - Physique theorique
closable. The associated 0
selfadjoint operator
is denoted 01
We have~(K).
e)
There exists x > 0 such that forany interval
Jwe have
Proof
2014 We noted above that K isessentially selfadj oint
onThus
a)
holds.By
definitionei03B8A = e-i03B8p1
QI2,
and thereforeon ~. From this relation we get
b). Computing
as aquadratic
form on ~ x ~we find
U’ is
by assumption bounded,
and thusiB1
= I + U’ @I2
is a boundedselfadjoint operator,
so2Ø(K)
holdstrivially. By assumption
U so we get
and all the
properties
in have been verified. Condition( 1.1 ) implies
with a = 1 LT
~L~
>0,
and thus(2 .1 )
holds. DLEMMA 2.2. 2014 Let U
satisfy Assumption
1.2. Then K satisfiesa), b),
and of Lemma 2.1.
Furthermore,
for any E E IR there exist a > 0 and ð > 0 such that with J =(E - ð,
E +ð)
we haveProof
2014 We have U Eby assumption.
This was theonly
property used in Lemma 2.1 inproving a), b),
and so these results also hold here.To prove
(2. 2),
fix WriteJa
=(E - £5,
E +5).
It suffices to prove that(operator
norm in~)
as ~0.
We recall therepresentation (see [20 ])
where the
integral
isweakly
convergent. Thus it suffices to prove(Here
the norm is operator norm in~1.)
First wereplace
thespectral
Vol.
projection
with a smooth cutoff function. Choose ~p E0 ~ ~ ~ 1,
-= 1
for | | ~ 1,
= 0for | | ~
2. Define =E)/03B4).
Note that is the translation operator in
~1.
We writeWe have
~(h 1 ),
and thus
Let
c~a(~)
+~)T~~~pa(h 1
+~) ~ II.
Since U isperiodic
withperiod ~,
we get
~a(~,
+ç)
=c~a(~,)
from(2 . 3).
Thus it suffices to consider ~, E[0, ~].
Since ~pa is
smooth, d~a(~,)
is continuous in ~,. Consider a fixed ~, E[0, ç].
We write = + and ==
(,u
+ We haveIt is
proved
in[7~] that
extends to a bounded operator on
~1’
and that(h 1 1 + i ) -1
is compact. Since
h 1
haspurely absolutely
continuous spectrum, s-lim ð!O ~--~,)
=0,
and there existsb = ~ ~, ()
suchthat ~ ~, a() -. 1
Now2
we use the
periodicity
and the compactness of[0, ç] ]
to conclude that there exists 03B4 > 0 such that for all 03BB~ R 03A603B4(03BB) ~ 2:. 1
Thus2 . 2
followswith a =
1
since E h1
(Ja - 03BB) = Ehl (Ja - a( ) _ i + 03BB).
2 0 ( )
ows
REMARK 2 . 3. - The
difficulty
inproving
the estimate(2 . 2)
comes fromthe fact that U’ Q
I2
is not compact relative toK,
except in the trivial case~2
= en. Sinceh 1
is notsemibounded,
thetechnique developed
in[16] to
handle similar
problems,
encountered in the context ofmany-body
Schro-dinger operators,
cannot be used here. Thus it seems that an additionalhypothesis
isneeded;
in our case either smallness orperiodicity.
PROPOSITION 2.4. - Let U
satisfy Assumption
1.1 orAssumption
1. 2.Let g E
Co ((~).
Then for 0 s’ s we haveAnnales de Henri Poincaré - Physique theorique
for all t E
IR,
andforallt,
± ~ > 0.Proof.
2014 In Lemmas 2.1 and 2.2 we have verified that K and Asatisfy
the
assumptions
in thetheory developed
in[12 ].
Thus the results follow from those in[9 ] [12 ].
Note that theassumption
of semiboundedness isnot needed here. One can
verify [9;
Lemma3.8] directly.
One needs toshow that
[g(K), A and higher
commutators all extend to bounded ope- rators on Jf. This followsby straightforward
commutatorcomputations, using
therepresentation ( g
denotes the Fouriertransform)
and the fact that
[K,A] ]
andhigher
commutators[ [K, A ], A ], ... ,
allextend to bounded
operators
on~f,
as verified in theproof
ofLemma
2.1.D To make
explicit
the conditions onperturbations
of K in theapplications
we need to prove
propagation estimates,
where the localization(1 +A~)’~
is
replaced by
a localization in x1 ; cf. the discussion in[9 ].
In order to prove the result we need to assume
T2
boundedbelow,
a condi-tion which is verified in all
applications;
see section 3.LEMMA 2.5. - Assume that
T2
is bounded below.For ~,
0 ~ 51,
the operatorextends to a bounded operator on Jf.
Proof
The result is obtainedby interpolation.
It suffices to show thatextends to a bounded operator on H. The details are
given
inAppen-
dix A. D
PROPOSITION 2 . 6. - Let U
satisfy Assumption
1.1 orAssumption
1. 2.Assume that
T2
is bounded below.Let g
E For 0 s’ s 1we have
for all t E
[R,
andforallt, ± ~ > 0.
Proof
- The results follow fromProposition
2 . 4 and Lemma 2 . 5.Note that the restriction ~ ~ 1 comes from Lemma 2.5. D
3. EXAMPLES AND REMARKS
In this section we
give
someexamples
ofoperators T2
andpotentials
Uand V
satisfying
ourassumptions.
We alsogive
a few remarks on our results.EXAMPLE 3.1. - A
large
class ofpotentials satisfying Assumption
1.1can be obtained
by
thefollowing
construction : Let U be a realvalued func- tion which can berepresented
aswhere ~
is a Borel measuresatisfying
and
for all =
0, 1, 2,
....Additionally
one needs thecondition ~ U’~L~
F.A
large
class ofalmost-periodic
functions is obtained if onetakes /~
to bea sum of
point
measures.REMARK 3.2. - In our Theorem 1. 5 the
operator T2
can be any self-adjoint operator
on a Hilbert space. Due to the tensorproduct
structure, thespectrum of T2
can bequite arbitrary.
It is clear that to prove Lemma2 . 5,
one needs to have
T2
bounded below. Acounterexample
isprovided by
Thus we get results on
When U =
0,
our results reduce to thosepreviously obtained,
at least for Va
multiplication operator,
see[7] [2] [7] [7~] ] [18 [27].
Wegive
anexample (cf. [21 ]).
l’Institut Henri Poincaré - Physique theorique
EXAMPLE 3.3.2014 For the case
T2
= -A~
ondx’),
a sufficientcondition on V to
satisfy Assumption
1. 4 isgiven by
thefollowing
Stummel-type
condition : The functions x+ and x- are those used indefining
p, see(2. 4).
and
V2
E such that for some v, 0 v4,
We
emphasize
that ourAssumption
1.4 does notrequire
V to be a mul-tiplication
operator. It is easy togive examples
of finite rank operators whichsatisfy
theassumption.
EXAMPLE 3.4. - We can also take
were Z is a suitable
perturbation
of - If Z is a usual short rangeperturbation (see
e. g.[7J]),
then the wave operatorsexist and are
complete.
Thususing
the chain rule for wave operators,we get existence and
completeness
of the wave operators between - A + xl and - 0394 + x1 + +Z(x’)
+x’)
on(with
an obviousnotation).
Here U satisfiesAssumption
1.1 or 1. 2 and VAssumption
1.4.REMARK 3.5. - There is a different version of Theorem
1.5,
whereone
requires
less smoothness onU,
but fasterdecay
in thexl-variable
ofthe
potential
V. We state thefollowing
result. The detailedproof
isquite long,
so it willonly
be sketched here.THEOREM 3 . 6. - Let U
satisfy
eitherLet V
satisfy Assumption
1.4 with ~ > 1 in(1.2).
Let H = K +V,
andlet
T2
be bounded below. Then the wave operatorsW±(H, Ho)
exist andare
asymptotically complete. Furthermore,
thesingular
continuous spec- trum of H isempty,
and thepoint
spectrum of H is discrete in M.Proof
2014 We shallonly
outline theproof.
The newassumptions
on tJimply
that(in
theterminology
of[9] [72])
A isconjugate
to K at every and that K is 2-smooth w. r. t. A. Thus the results follow from[12,
Theo-rem
4 . 4 ].
Therequirement 03B4
> 1 comes from the fact that now the estimates inProposition
2.6 hold for 2s’ >1, provided
we can take s > 2. That i turn follows from (5 > 1 and an extension of Lemma 2. 5. DACKNOWLEDGEMENT
Work
supported
in partby
a researchgrant
from the US-NSF.Annales de l’Institut Henri Poincaré - Physique theorique
APPENDIX A
In this appendix we prove Lemma 2.5_. We assume T2 bounded below. By adding a
constant we can assume T2 = Q2, Q = is the positive square root. We first extend a
result due to Herbst-Simon [8, Theorem C.1 to the present setting. We recall that x+
is the cutoff function used in (2. 4). To simplify the notation, we identify Q2 with 11 Q Q2, p21 with 2 1 O I2
= - d2
Q I2, etc.LEMMA A. 1. - The following operators extend to bounded operators on ~f:
Proof. - We follow [8]. We compute as quadratic forms on ~(M) Q Coo(T2), where
Coo(T2) denotes the C~-vectors for T2.
We have for some . c > 0. j For any
We note that Ho maps into itself. Thus we can take f = (Ho + i)-lg,
g E @ and the results follow. 0 Proof of Lemma 2.5. - We must prove that
extends to a bounded operator on Yt. Below we compute in the quadratic form sense
on y(fR) (8) We note that all operators considered here map this set into itself.
We continue to use the simplified notation K = pi + xi + Q2 + U, etc.
We first note that for any f E (8) C°°(T2)
Thus it suffices to prove that
extends to a bounded operator on ~. We have
The first term is a bounded operator on The second term is rewritten :
We have, using (3.4),
Now (A. 2) implies that both terms extend to bounded operators on J~f.
Since Xl + U = 1 + U’ is bounded, the second term is bounded on J~f.
The first term extends to a bounded operator on Jf by
(A. 4),
if we note that X + is supportedon [1, oo), so we can write /+(xi). The second term is also bounded. This can be seen by computations similar to those in [18; Lemma 8 . 5 ].
We give the computations for the sake of completeness. We write X - = x _ (x 1 )( 1 + x 1 ) - ~.
For f E ~(f~) Q9 COO(T2) we have
Thus pi)(-.(Ho + i)-1 extends to a bounded operator on Jf. This completes the proof
of Lemma 2. 5.
[1] J. E. AVRON, I. W. HERBST, Spectral and scattering theory for Schrödinger operators related to Stark effect. Commun. Math. Phys., t. 52, 1977, p. 239-254.
[2] M. BEN-ARTZI, Remarks on Schrödinger operators with an electric field and deter- ministic potentials. J. Math. Anal. Appl., t. 109, 1985, p. 333-339.
[3] M. BEN-ARTZI, A. DEVINATZ, The limiting absorption principle for partial differential
operators. Preprint, 1985.
[4] F. BENTOSELA, R. CARMONA, P. DUCLOS, B. SIMON, B. SOUILLARD, R. WEDER, Schrö-
dinger operators with an electric field and random or deterministic potentials.
Commun. Math. Phys., t. 88, 1983, p. 387-397.
[5] R. CARMONA, One-dimensional Schrödinger operators with random or deterministic
potentials: New spectral types. J. Funct. Anal., t. 51, 1983, p. 229-258.
[6] F. DELYON, B. SIMON, B. SOUILLARD, From power pure point to continuous spectrum in disordered systems. Ann. Inst. H. Poincaré, Sect. A, t. 42, 1985, p. 283-309.
[7] W. HERBST, Unitary equivalence of Stark effect Hamiltonians. Math. Z., t. 155, 1977, p. 55-70.
Henri Poincaré - Physique theorique
[8] I. W. HERBST, B. SIMON, Dilation analyticity in constant electric fields. II. N-body problem, Borel summability. Commun. Math. Phys., t. 80, 1981, p. 181-216.
[9] A. JENSEN, Propagation estimates for Schrödinger-type operators. Trans. Amer.
Math. Soc., t. 291, 1985, p. 129-144.
[10] A. JENSEN, Asymptotic completeness for a new class of Stark effect Hamiltonians.
Commun. Math. Phys., t. 107, 1986, p. 21-28.
[11] A. JENSEN, Commutator methods and asymptotic completeness for one-dimensional Stark effect Hamiltonians. Schrödinger operators, Aarhus 1985 (ed. E. Balslev).
Springer, Lecture Notes in Mathematics, vol. 1218, 1986, p. 151-166.
[12] A. JENSEN, E. MOURRE, P. PERRY, Multiple commutator estimates and resolvent smoothness in quantum scattering theory. Ann. Inst. H. Poincaré, Sect. A, t. 41, 1984, p. 207-224.
[13] T. KATO, Perturbation theory for linear operators. Springer Verlag, Heidelberg, Berlin, New York, 2nd edition, 1976.
[14] E. MOURRE, Link between the geometrical and the spectral transformation approach
in scattering theory. Commun. Math. Phys., t. 68, 1979, p. 91-94.
[15] P. PERRY, Scattering theory by the Enss method. Math. Reports, t. 1, part 1, 1983.
[16] P. PERRY, I. SIGAL, B. SIMON, Spectral analysis of N-body Schrödinger operators.
Ann. Math., t. 114, 1981, p. 519-567.
[17] P. A. REJTO, K. B. SINHA, Absolute continuity for a 1-dimensional model of the Stark- Hamiltonian. Helv. Phys. Acta, t. 49, 1976, p. 389-413.
[18] B. SIMON, Phase space analysis of simple scattering systems: Extensions of some
work of Enss. Duke Math. J., t. 46, 1979, p. 119-168.
[19] K. VESELIC, J. WEIDMANN, Potential scattering in a homogeneous electrostatic field.
Math. Z., t. 156, 1977, p. 93-104.
[20] J. WEIDMANN, Linear operators in Hilbert space. Graduate Texts in Mathematics, Springer Verlag, Heidelberg, Berlin, New York, 1980.
[21] K. YAJIMA, Spectral and scattering theory for Schrödinger operators with Stark effect. J. Fac. Sci. Univ. Tokyo, Sect. IA, t. 26, 1979, p. 377-390.
(Manuscrit reçu le 30 juillet 1986) (Version revisee reçue le 10 decembre 1986)