A NNALES DE L ’I. H. P., SECTION A
T. O ZAWA
Local decay estimates for Schrödinger operators with long range potentials
Annales de l’I. H. P., section A, tome 61, n
o2 (1994), p. 135-151
<http://www.numdam.org/item?id=AIHPA_1994__61_2_135_0>
© Gauthier-Villars, 1994, 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/
135
Local decay estimates for Schrödinger
operators with long range potentials
T. OZAWA
Department of Mathematics, Hokkaido University, Sapporo 060, Japan
Vol. 61, n° 2, 1994,] Physique
theorique
ABSTRACT. - For a class of
long
rangepotentials, sharp propagation
estimates of the
corresponding Schrodinger
evolution groups are obtained withoutlow-energy
cut-offtechnique.
Instead oflow-energy cut-off,
anexplicit
condition isgiven
on thevanishing
order in theL2
sense at zeroenergy of initial states.
Une estimation de
propagation optimale
est obtenue pour Ie groupe d’ evolution d’uneequation
deSchrodinger
avec unpotentiel
alongue portee
sans Ie recours a latechnique
de coupure a basseenergie.
Nous proposons a la
place,
des conditionsexplicites
sur l’ordre d’ annulation des etats initiaux au sens de latopologie L2
aenergie
nulle.1.
INTRODUCTION
In this paper we consider the local
time-decay
ofscattering
solutions forSchrodinger operators
withlong-range potentials. Concerning
thisproblem, explicit
use of thelow-energy
cut-off function is often made in the statement of theprevious
results(see [ 1 ], [3], [8], [10], [ 12], [ 14]
and Remarks2,
3below).
Amajor
reason consists in the fact that thelow-energy part
ofquantum
states, even in theshort-range
case,propagates
slower than thehigh-energy part
andprevents
the fulldynamics
frombehaving
asa classical motion with
velocity supported
away from zero toprovide
Annales de l’Institut Henri Poincaré - Physique theorique - 0246-0211
Vol. 61/94/02/$ 4.oo/@ Gauthier-Villars
136 T. OZAWA
a
sharp propagation
estimate(see [9], [ 11 ], [ 15] ).
When one observesthe
propagation
of aparticular
state,however,
the introduction of low- energy cut-off functionimposes
the condition that the Fourier transform of the state must vanishidentically
in aneighborhood
of theorigin.
Inthis paper we
present
anexplicit
condition on thevanishing
order at theorigin
of the Fourier transform of states which ensuressharp propagation
estimates. Instead of the states with energy
vanishing
near zero, we turnour attention to the states in the range of a modified wave
operator
of Dollardtype
and consider the condition onvanishing
order at theorgin
ofthe Fourier transform of the inverse
image
of the statesby
the modifiedwave
operator.
In the usual case the range of the modified waveoperator
coincides with the absolute continuousspectral subspace (see [12], [ 17]
andreferences
therein),
and moreover, the evolution of the states in the range of the modified waveoperator
turns out to beexplicit
as time tends toinfinity provided
that theright comparison dynamics
is constructed. In thisrespect,
the method in this paper isinspired by Cycon [2].
Ascompared
to
[2],
weadopt
a different choice ofcomparison dynamics
which seemsmuch easier to handle.
Concerning
the construction of thecomparison dynamics,
we follow[4], [ 16] though
the choice of thephase
function in thecomparison dynamics requires
a furher modification in order to exhibita
sharp approximation
for the fulldynamics.
Let H
= -- A
+ Y be aSchrodin g er operator
onL2
with realpotential
V.Throughout
the paper we suppose that thepotential
V satisfies thefollowing
condition.Assumption (A). -
V is amultiplication operator by
a real-valued functionon R~ for which the
corresponding Schrodin g er operator
H== - -
ð + V isessentially self-adjoint
onCo (R"B{0}). Moreover,
V isdecomposed
asv = _p _p
V ~2~
_pV ~3~
with thefollowing property:
There exist measurable functions úJj on
R+, ~
=0, 1, 2,
such thatAnnales de l’Institut Henri Poincaré - Physique theorique
There exists a real constant ~, with
1/2
/~ 1 such thatwhere
(~) _ (1
+IxI2)1/2.
Example. -
Let V(x)
= + withAi, ~Z
E ~ and1/2
/~ 1 v min(n/2, 2).
Wedistinguish
three cases.(a)
When v 1+ /~,
we take(x~ _ Ai (~~-~, (~c) == ~2 (~~-V,
y(2> - Y _ y(o) _ y(i)~
andV~3~ -
0.Indeed,
(b)
When v = 1+ ~
we take(x) _ Ai 0, y(2) ~
jl -y(o)~ IT (3)
== O.(c)
When v > 1 + Ec, we take(x)
=al 0,
vc2y~~ - ~~3~(~) =
where x
is the characteristic function of the unit ball.Under the
assumption (A),
the modified waveoperator
of Dollardtype
forpositive
timeexists as a
strong
limit onLZ (ff8~), (see
theproof below,
or[17], [18]
andreferences
therein),
where U(t)
= exp(i (t~2) A)
is the freeSchrodinger
evolution group. To measure the
vanishing
order at zero energy of states,we introduce the
following
scale of function spacesXm
with m > 0.where
Ls (R~), ~
ER,
is theweighted L2
spacegiven by
Vol. 61, n° 2-1994.
138 T. OZAWA
with norm
~~~~~Ls
= and n denotes the Fourier transformgiven formally by
We
equip
theby
In terms of the
homogeneous
Sobolev spaces,Xm
=L2
n N ~. Wesummarize basic
properties
ofPROPOSITION 1. -
( 1 )
Hilbert space.(2)
m >m’
> 0.(3) Xm
=L2
withequivalent
normsif 0
m min(2, n/2).
(4) Lm if
2 mn/2, n
> 5.(5) F-1 (Co (RnB{0})) is
dense inXm for any
m > 2.We now state our main results. For t we
put (t~ _ ( 1
+t2)1/2.
then constant C such
that for
ER+
EX4
If 2 ~c - 1 ~ ~,
thenfor
any m > 8 there is a , constant C such thatfor
all t ER+
EX.,2
(2)
Let0 03C3 ~ = 1. If 0 03C3 1,
then there , is a , constant C such thatfor
all t E EX4
If 03C3
=1,
thenfor
any m > 8 there is a ’ constant C such thatfor
allt E E
X
Remark 1. - In the Coulomb case V
M ==
with A ERB{0}
andrz >
3, Cycon [2] proved
Annales de l’Institut Henri Poincaré - Physique theorique
In the
repulsive
case A >0,
it has been shown in[5]
that for te R
with |t| I
> 1This indicates that the
positivity
orrepulsivity
mayprovide sharper
estimates. But this
problem
is outside the purpose of this paper.Remark 2. - In
[ 1 ], [ 14]
there are related estimates of03A9f (Ho)
inthe
short-range
case, where H is theordinary
waveoperator, H0
=-"2 1 a
and
f
is alow-energy
cut-offfunction,
i.e.f
E Coo(R, R) with / =
1 onoo)
andf -
0 on(-00, Ao/2]
for someAo
> 0.Remark 3. - Estimates of the form
have been obtained in
[3], [8], [10], [ 12]
forlong-range potentials,
wheref
is alow-energy
cut-offfunction,
B(L~ ,
is the space of boundedoperators
fromLQ
to and 0 / r.Remark 4. - Theorem 2
implies
estimates of the formfor any
low-energy
cut-off functionf
in the case where1 / 2
M 1with Results of this
type
follow from theestimate in Remark 3 and the boundedness of
03A9f1 (Ho)
inL203C3
for somelow-energy
cut-off functionf 1 satisfying f = f f 1.
For thepossibility
ofthe latter
boundedness,
see[ 13] .
Some of the results in Theorem 2 are
optimal.
In fact:THEOREM 3. - Let
1/2 M
1 and 0 (7 EX4.
When2M -
1 M,assume further that ~
EXm for
some m > 8. ThenRemark 5. - It seems that the formula
( 1.6)
is new. A weak from of the lower bound estimates for theSchrodinger
evolution group is obtained in[5], [6].
Under some restrictive
assumption
andV,
one could obtain theexponential decay
results with the normreplaced by
the norm withexponential weights
such as exp(-Ix!)
orby
thenorm ~
. forsome
compact (see [ 19], [20]).
But this is outside the purpose of this paper.Vol. 61, n ° 2-1994.
140 T. OZAWA
The method of
proof
of Theorems 2 and 3 isroughly
illustrated asfollows.
By
the definition of the modified waveoperator ( 1.1 ),
the fulldynamics e-ztx nø
looks like the Dollarddynamics
in
L2
as t -> oo. In order to observe thelarge
time behavior of thefull
dynamics e-itx nø
in a moreexplicit
way, wereplace
the Dollarddynamics UD (t) ~ by
anothercomparison dynamics
W(t) ø, given by
with
appropriate
real function S(t, ~).
With thisform,
we have~(W (t))~(x)~
= and therefore theright
behavior ofin is obtained
through
provided
that W( t ) ~ approximates e-itH 01
better than the order 0 as t -+ oo . For this purpose we proveand estimate the rate of
decay
of theintegral
in( 1.10)
as t 2014~ oo, whichdepends
on the choice ofphase
function S and on thevanishing
order atthe
origin
ofø. By
a directcalculation,
we haveAs in the
original
choice ofDollard,
onemight
takeThis
choice, however, leads
toa rather unsatisfactory
result since thisimposes
restrictive ~ conditions on theshort-range part
and ’implies
a weakAnnales de l’Institut Henri Poincaré - Physique ’ theorique ’
decay
rate of( 1.11 ).
In other to obtain a betterapproximation,
we takefor 0
2M -
1 with1/2 ~
1 and 0 Q /~ = 1. This choicerequires
theconditon 03C6 ~ X4
since theshort-range part
of!V’9p
createssingularity
of the formlçl-4.
If2/~ -
1 cr ~C with1/2 ~
1or 7 = /~ =
1,
thepreceding
choice( 1.12)
turns out insufficient since thelong-range part
ofIV 812
grows like 0(t2-2E‘)
for1/2
~c 1 andlike 0
((log t)2) for u
=1,
both of which arelarger
than theexpected
rate 0 To cancel the
growth property
of thequadratic contribution,
we choose
As for the
decay
rate in time of( 1.11 ),
the choice( 1.13) gives
anoptimal
result for
2/~ -
1 (]"/~
but not ~c =1,
still in the latter casethis
improves
the result with theprevious
choice( 1.12) by
onelogarithmic
power. The restriction m > 8 of
Xm
comes from the second term of theright
hand side of( 1.13 )
at the cost of better rate ofdecay
in time of( 1.11 ).
This paper is
organized
as follows. In Section 2 we collect severalpreliminary estimates, including
theproof
ofProposition
1.1. Section 3 isdevoted to the estimates associated with the
comparison dynamics
W(t) .
In Section 4 we prove Theorems 2 and 3.
We conclude this introduction
by giving
notationsfreely
used in this(~i,..., xn)
E V =(9i,...,
=at
= The variables in the Fourier transform areusually
denotedby ç == (~1, . - . , çn)
E and thecorresponding
derivativesmight
bedenoted
simply by ~j
when no confusion could arise. The time variable t isusually
taken to bepositive
andmight
be omitted in course of calculations.The norm without
subscripts ~ ’ ~
denotes theL2
norm for scalar C valued functions and for vector ~ ~ valued functions as well. Differentpositive
constantsmight
be denotedby
the same letterC,
and if necessary,by
C( *, ... , * )
in order to indicate thedependence
on thequantities
inthe
parentheses.
Vol. 61, n° 2-1994.
142 T. OZAWA 2.
PRELIMINARIES
We first
give
"preliminary
estimates associated with the norm inX~ .
LEMMA 1. - Let m >
0 for n
> 2 and let m E(0, 1)
U[2, ~) for n
= 1.Then
V
I) EL2 for all 03C6
I) EXm. Moreover,
Proof - By Hardy type inequality [7],
for 0 m n we haveThis proves (2.1).
Let m > 2and 03C6
EXm.
SinceIV112
=(1/2)
ð1112 - Re(0394), by integration by parts
and Holder’sinequality
we have for e > 0By
the monotone convergencetheorem,
thisimplies (2.2).
Q.E.D.
We now prove
Proposition
1.Proof of Proposition
1. - Forpart ( 1 ),
theonly
nontrivial issue is thecompleteness
but theproof
is standard andstraightforward.
Details areomitted. Part
(2)
followsby
Holder’sinequality.
Parts(3)
and(4)
followfrom
Hardy type inequality [7]
of the formAnnales de l’Institut Henri Poincaré - Physique theorique
on
[1, oo), g -
1 on(201400, 1~,
y = 0 on[2, oo).
We setj
>1,
where(03BE)=f(j|03BE|2)g(j-1|03BE|2)(03BE). Then 03C8j
Eco (Rn{0}), 2014~ ~
and 2014~ inL2 as j
2014~ oo. It remains to prove2014~
ð~
inLz as j
-+ oo. This follows from the fact thatlçl-2 ~
ELZ
and E
L2 [see (2.2)].
Q.E.D.
We next collect estimates for
phase
functions and9~B
definedby
LEMMA 2. -
( 1 )
Let1 /2
M 1 and 0:::; () :::;
M. Let 1:::; j :::;
3. Thenthere is a constant C
independent of
tand 03BE
such that(2)
Let 0 9 M = 1. Let 1j
3. Then there is a ’ constant Cindependent of t and
such that(3)
~et 0:::; j :::;
2. Then there is a constant Cindependent of
t andç
such thatProof. - By
definition andassumption,
for1/2
M 1 we haveVol. 61, n ° 2-1994.
144 T. OZAWA
where we have made the
change
of variable r= t-2T2.
This proves(2.5). Similarly, for
= 1The last
integral
is estimatedby
This proves
(2.6).
Similar estimates show(2.7).
Q.E.D.
3. ESTIMATES FOR COMPARISON DYNAMICS
In this section we prove several estimates for the
comparison dynamics
W
(t). Throughout
this section we assume t > 10and ø
ECo
for
simplicity.
We first recall the factorization of the freeSchrodinger
evolution i7
(t)
= exp(i (t~2) 0) [4], [16]
where
Equivalent
definition of W(t)
in(1.8)
is thengiven by
where
phase
function 6’ is definedby
Annales de l’Institut Henri Poincaré - Physique theorique
if
2~c -
1 In thelimiting
case2/~ 2014
1 = ~1,
we need both(3.3)
and(3.4)
for technical reasons. We now considerFor the first term on the
right
hand side of(3.5), following [4],
wecompute
For the second term, we
compute
Vol. 61, n° 2-1994.
146 T. OZAWA
By (3.6)
and(3.7),
This
gives
We estimate the terms on the
right
hand side of(3.9).
Wedistinguish
four cases.
By
Lemma2,
Collecting (3.9)-(3.13)
andusing
Lemma1,
we obtainAnnales de Henri Poincaré - Physique theorique
(ii)
When1/2
~c 1 and2~c -
1 7~c,
we haveby (3.4)
thatwhere
~2 S
denotes the Hessian matrix. In the first norm on theright
handside of
(3.9),
the contribution of the slowestcomponent (1/2) t-21V
is cancelled
by
the first term on theright
hand side of(3.16) multiplied by (1/2) t-2. Instead,
the third term on theright
hand side of(3.16) gives
thestrongest singularity
at theorigin,
which should be minimizedby choosing
? =1/2
+e/4
with 0 e 4(w - 1/2)
in Lemma 2. The restriction 03B8 >1/2
ensures theintegrability
of the associated timeintegral.
The contribution of the thrid term is therefore estimated
by
This
requires assumption ~
EXm
of the theorems.Note that we may assume that 8 m 10 without loss of
generality.
Other terms on the
right
hand side of(3.9)
with(3.4)
are estimatedsimilarly
except
for the norminvolving ~~,
where an additional use of(2.2)
withm = 8 + c is needed. We have thus
proved
that for all m > 8(iii)
When07~=l,we
estimate(3.9) by using (2.6)
in a way similar to the case(i)
to obtainwhere the slowest contribution
proportional to t-2 (log t)2
isgiven by
6’p~~ (
from theright
hand side of(3.9).
(iv)
=1,
we estimate(3.9) by using (2.6)
in the sameway as in the case
(ii)
with some necessary modifications. Forinstance,
Vol. 61, n° 2-1994.
148 T. OZAWA
we
replace (3.17) by
by using
Lemma 2 with 9 =1/2
+s/4
for 0 ~ 2. With m >8,
we
finally
obtainwhere the slowest contribution
proportional to t-2 log t
isgiven by
theterms linear in ,5‘ from the
right
hand side of(3.9).
4. PROOF OF THEOREMS 2 AND 3
In this section we prove Theorems 2 and 3.
Let ø
ECo (R"B{0}). By
Cook’ s
argument,
we have for t > s >10,
By (3.14), (3.18), (3.19), (3.20)
and(4.1), () ~
convergesstrongly
to a
limit ~
EL2
as t 2014~ oo andwhere
Annales de l’Institut Henri Poincaré - Physique theorique
By ( 3.2 )
and Lemma 2 with 8 = J.L >!,
By
Lemma 2 with 8 == M and the dominated convergence theorem withFrom
(4.2), (4.3), (4.4)
we obtainThis
proves ~
= and(4.2) implies
By part (5)
ofProposition
1 and the boundedness uniform in time of and W(t), (4.6)
still holds forall 03C6
E On the otherhand, (3 .1 )
showsCombining (4.6)
and(4.7),
we obtain Theorem 2 for t >10,
where we have chosencr)) = 4)
in thelimiting
case 03C3 ==2tc-1
1.This
completes
theproof
of Theorem 2 since is estimated in the norm ofBy (4.7)
and the dominated convergencetheorem,
Vol. 61, n° 2-1994.
150 T. OZAWA
Theorem 3 follows from
(4.8)
and(4.6),
where we have chosen(t), r)) = m)
in thelimiting
case 03C3 ==2M -
1 1since tc > 7 =
2M -
1.Q.E.D.
Concluding
Remarks. -( 1 )
The results in this paper concern thetime-decay
estimates fore -itH
H rather than itself.Accordingly,
if one looks at the behavior of then there arises the
problem
of
characterizing
thecorresponding
space03A9Xm
of initial states. If o iscomplete (the difficulty
could come from thesingular part Y3),
then the relation ==
Ec (H)
and anoperational
calculusyield
= where denotes the
projection
onto the continuous
spectral subspace
for H. Given thecompleteness
ofH,
theonly thing
one should obtain is themapping property
of 03A9 in theweighted
spaceL2
and the bestthing
one couldhope
is thatTo prove the formula
above,
the methods in[ 1 ], [ 13], [ 14]
seem usefulalthough
the author does not have a definite answer.(2)
The results in this paper break down forpotentials
with slowerdecay
i.e. M
1 /2.
This is natural since the existence of waveoperators
of Dollardtype
breaks down in the same range. In order to include the case1/2,
one needs to refine the
phase
function Sby
further iteration withoptimal decay
ratepreserved.
Thisgives higher singularity
at theorigin
in themomentum space. We could
give
a fulldescription
on thissubject
but thewhole
procedure
is somewhat involved and therefore the details are omitted.ACKNOWLEDGMENTS
Part of this work was carried out when I visited Laboratoire de
Physique Theorique
et HautesEnergies
inOrsay,
Matematisk Institut inAarhus,
andInstitut
Mittag-Leffler
inDjursholm.
I wish to thank these institutions for theirsupport
andhospitality. Special
thanks are due to Professors Ginibre and Jensen forenlightening discusions,
and also to there referee for remarksand
suggestions concerning
theconcluding
remarks.[1] W. O. AMREIN, M. B. CIBILS, K. B. SINHA, Configuration space properties of the S-matrix
and time delay in potential scattering, Ann. Inst. Henri Poincaré, Physique Théorique,
Vol. 47, 1987, pp. 367-382.
.4nnales de Henri Poincaré - Physique theorique
[2] H. L. CYCON, An upper bound for the local time-decay of scattering solutions for the Schrödinger equation with Coulomb potential, Ann. Inst. Henri Poincaré, Physique Théorique, Vol. 39, 1983, pp. 385-392.
[3] H. L. CYCON, P. A. PERRY, Local time-decay of high energy scattering states for the Schrödinger equation, Math. Z., Vol. 188, 1984, pp. 125-142.
[4] J. GINIBRE, T. OZAWA, Long range scattering for non linear Schrödinger and Hartree
equations in space dimension n ~ 2, Commun. Math. Phys., Vol. 151, 1993, pp. 619-645.
[5] N. HAYASHI, T. OZAWA, Time decay for some Schrödinger equations, Math. Z., Vol. 200, 1989, pp. 467-483.
[6] N. HAYASHI, T. OZAWA, Lower bounds for order of decay or of growth in time for solutions
to linear and non-linear Schrödinger equations, Publ. RIMS, Kyoto Univ., Vol. 25, 1989, pp. 847-859.
[7] I. W. HERBST, Spectral theory of the operator
(p2
+m2)1/2 - Ze2/r,
Commun. Math.Phys., Vol. 53, 1977, pp. 285-294.
[8] H. ISOZAKI, Decay rates of scattering states for Schrödinger operators, J. Math. Kyoto Univ., Vol. 26, 1986, pp. 595-603.
[9] A. JENSEN, Spectral properties of Schrödinger operators and time-decay of the wave functions, Results in L2
(Rm),
m ~ 5, Duke Math. J., Vol. 47, 1980, pp. 57-80.[10] A. JENSEN, Propagation estimates for Schrödinger type operators, Trans. Amer. Math. Soc., Vol. 291, 1985, pp. 129-144.
[11] A. JENSEN, T. KATO, Spectral properties of Schrödinger operators and time-decay of the
wave functions, Duke Math. J., Vol. 46, 1979, pp. 583-611.
[12] A. JENSEN, E. MOURRE, P. PERRY, Multiple commutator estimates and resolvent smoothness in quantum scattering theory, Ann. Inst. Henri Poincaré, Physique Théorique, Vol. 41, 1984, pp. 207-225.
[13] A. JENSEN, S. NAKAMURA, Mapping properties of wave and scattering operators for two-body Schrödinger operators, Letters in Math. Phys., Vol. 24, 1992, pp. 295-305.
[14] A. MOHAPATRA, K. B. SINHA, W. O. AMREIN, Configuration space properties of the scattering operator and time delay for potentials decaying
like |x|-03B1,
03B1 > 1, Ann. Inst. Henri Poincaré, Physique Théorique, Vol. 57, 1992, pp. 89-113.[15] M. MURATA, Asymptotic expansions in time for solutions of Schrödinger type equations,
J. Funct. Anal., Vol. 49, 1982, pp. 10-56.
[16] T. OZAWA, Long range scattering for nonlinear Schrödinger equations in one space dimension, Commun. Math. Phys., Vol. 139, 1991, pp. 479-493.
[17] P. PERRY, Scattering theory by the Enss method, Math. Reports, Vol. 1, 1983, pp. 1-347.
[18] M. REED, B. SIMON, Methods of Modern Mathematical Physics III. Scattering Theory,
Academic Press, New York, 1979.
[19] D. R. YAFAEV, Spectral properties of the Schrödinger operator with a potential having a
slow falloff, Funct. Anal. Appl., Vol. 16, 1982, pp. 280-286.
[20] D. R. YAFAEV, The low energy scattering for slowly decreasing potentials, Commun. Math.
Phys., Vol. 85, 1982, pp. 177-196.
(Manuscript received April 1993;
revised version received September 1st, 1993. )
Vol. 61, nO 2-1994.