A NNALES DE L ’I. H. P., SECTION A
P ETER D. H ISLOP S HU N AKAMURA
Semiclassical resolvent estimates
Annales de l’I. H. P., section A, tome 51, n
o2 (1989), p. 187-198
<http://www.numdam.org/item?id=AIHPA_1989__51_2_187_0>
© Gauthier-Villars, 1989, 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. 187-1
Semiclassical resolvent estimates
Peter
D. HISLOP(1) Shu NAKAMURA(2)
Centre de Physique Theorique, C. N. R. S., Luminy Case 907, 13288 Marseille Cedex 9, France
Vol. 51, n° 2, 1989, Physique theorique
ABSTRACT. - We prove estimates in the semiclassical
regime
of small hon the
boundary
values of the resolvent of theSchrodinger operator:
H (h) _ - h2 0 + V
in aneighborhood
of anon-trapping
energy E. Thepotential
V isbounded,
but notnecessarily decaying
with derivativesdecaying
atinfinity.
The method alsoapplies
topotentials
with localsingularities
and to afamily
of Stark Hamiltonians. Theproof
is basedon Mourre
theory
anddecay
estimates for wavepackets
in theclassically
forbidden
region.
RESUME. 2014 Dans Ie
regime semi-classique (petit h),
nous estimons les valeurs au bord de la resolvante deFoperateur
deSchrodinger H ( h) _ - h2 0 + V
dans unvoisinage
d’ uneenergie
non liante E. Le poten- tiel Vest borne mais n’est pas necessairement decroissant mais ou avecdes derivees decroissantes a l’infini. La methode
s’applique
aussi a despotentiels
avec dessingularites
locales et a une famille d’Hamiltoniens de Stark. La preuve repose sur la theorie de Mourre et des estimations de decroissance despaquets
d’ ondes dans la zoneclassiquement
interdite.(1) Also PHYMAT, Departement de Mathématiques, Universite de Toulon et du Var, 83130 La Garde, France; Mathematics Department, University of Kentucky, Lexington, KY
40506.
(2) Department of Pure and Applied Sciences, College of Arts and Sciences, University
of Tokyo 3-8-1, Komaba, Meguro-ku, Tokyo 153, Japan.
l’Institut Henri Poincaré - Physique theorique - 0246-0211
188 P. D. HISLOP AND SHU NAKAMURA
1. INTRODUCTION
Semiclassical estimates on the resolvent of
Schrodinger operators
arean
important
technical tool forstudying
the behavior of observables like thescattering
matrix and the total cross-section([RT-1], [RT-2], [Y],
seealso
[N-l]
for anapplication
to theshape resonances).
In this note, wegive
asimple proof
of these estimates for alarge
class ofpotentials.
We
give
the details forreasonably
smoothpotentials
and discuss thegeneralization
in Section 4. We consider thefollowing
conditions:CONDITION
(A). 2014
V is a real valued function such thatV = V 1 + V 2 i = 1,
2 andwhere
x)= (1+~~)~,
...,aj,
We will consider fixed energy E~R and let CONDITION
(B). -
There are constants8, ~o>0
and aC3-vector
fieldf :
such thatfor any where
J f
is the Jacobianof f and
(.,.)
denotes the Euclidean innerproduct.
Condition
(A) implies H (h)
isself-adjoint
on(the
Sobolev space of order2).
Our main result is:THEOREM. - Let
H (h) : = 2014~ A+V
and suppose that Vsatisfies
tions
(A)
and(B) at
energy E. Then there is an open interval IE such thatfor
any a >1/2
andexists, and
if
h issufficiently
small.Annales de I’Institut Henri Poincare - Physique theorique
This result is a
key ingredient
in the estimation of the semiclassical behavior of thescattering
cross-sectionE>0,
Forpotentials V(x)=0((x)’"),
a>20142014,
andenergies
E such that(1.1)
p
( ) ( x>-03B1 ), 03B1>n+1 2,
and ener gies E such that(1.1 )
holds on [R"
withf(x)=x,
theleading
behavior ofco)
is0(h’"),
where
(cf [RT-2], [V]). Using
the abovetheorem,
itshould be
possible
to extend[RT-2]
to the moregeneral
situation whereV satisfies Condition
(A) (with possible
localsingularities,
see Section4)
and is
non-trapping
in the sense of Condition( B) .
A similar result may hold for Stark Hamiltonians discussed in Section 4. We also remark thatour methods
apply
togeneralized N-body Schrodinger
operators,although
the
potential
V does notsatisfy
Condition(A).
Thepotential
N
V=03A3 Vj.03C0j, where {03C0j}Nj=1
is a set ofmutually orthogonal projections
in We assume that each
Vj
satisfies Condition(A)
onThen,
ifwe take
f(x)=x
in Condition(B)
and considerenergies
E for which theresulting nontrapping
condition( 1.1)
holds on theanalog
of the above theorem holds forH = - h2 0 + V.
To seethis,
wesimply
note that all theremainder terms in
(3 . 3)-(3 . 5)
vanish except for(x.V)V
and(x . ~)2 V
because
c~~/(~~)=0. (Jensen [J]
hasrecently
obtained similar results in thiscase).
Our
proof
of this theorem isgiven
in Sections 2-3. In Section4,
we discuss
generalizations
topotentials
withsingularities
and to StarkHamiltonians. Our method of
proof
utilizes the localpositive
commutatorapproach
of E. Mourre( [M], [CFKS])
to obtain estimates in the nontrap-ping region
and semiclassicaldecay
estimates on wavepack-
ets localized to
G(E+8) (cf
theAppendix).
Some results on semiclassical resolvent estimates are known. These first
appeared
in a paperby
Robert and Tamura[RT-1]
who consider nontrap-ping potential Later,
in[RT-2] they
obtained semiclassical resolvent estimates at(classically) nontrapping
energy E for smooth poten- tialsdecaying
atinfinity
as(x)’", P > 0, using
both Mourretheory
andFourier
integral
methods. We note that Condition(B) implies
the classical condition of[RT-1], [RT-2].
A shorterproof
of their result wasgiven by
Gerard and Martinez
[GM]
who constructed an escape function a(x, p)
such that the Poisson
bracket {h, a ~
isglobally positive.
Yafaev[Y]
alsoused Mourre
theory
to obtain semiclassical resolvent estimates in thehigh
energy
regime
forpotentials C2
inthe ~-variable
andsatisfying
x ~C(k=0, 1, 2).
A method of Lavine[L]
was alsoapplied
to prove estimate( 1. 2)
fordecaying potentials
undernontrapping
condition
( 1.1) with f (x) =x [N-1].
190 P. D. HISLOP AND SHU NAKAMURA
We note that the semiclassical resolvent estimate is
closely
related tothe absence of resonances near the real axis in the semiclassical limit. Our
non trapping
condition( 1. 2)
firstappeared
in aproof
of the absence ofresonance in
[N-2] (see
also[BCD-1], [DeBH], [HeSj], [K], [S-1]).
2. SEMICLASSICAL MOURRE ESTIMATES
We restate the standard
assumptions
of the Mourretheory
for a self-adj oint
operator H and askew-operator
A in anh-dependent
manner.For let with the norm
= I I ( I H I + 1)S~2 ~ ~ ~,
and t denotes the norm of the maps from~S
to We let C denote ah-independent
constantwhose value may
change
from line to line.(Ml) D (A)
UH2
is dense in(M2)
The form[H, A]
defined onD (A)
extends to a boundedoperator from
H2
toand I [H, A] I I2, _ 1 _ C h.
(M3)
There exists aself-adjoint
operatorHo
withD (Ho) = D (H)
suchthat
[Ho, A]
extends to a boundedoperator
fromH2
toand is a
core for
Ho.
:f
(M4)
The form[[H, A], A]
where[H, A]
is as in(M2)
extends fromD (A) nD(HA)
to a boundedoperator
fromJe2
andA],
DEFINITION
(The
semiclassical Mourreestimate). - Let g
be a functionsuch that and on a
neighborhood
of aninterval I. We say that the semiclassical Mourre estimate holds on I if there exist such a an operator
K (h)
fromJe2
to~ _ 2
withas and
03B10>0
such thatM2 : =g (H) [H, (2.1)
PROPOSITION 2 . 1. - Let
H ( h) be a self-adjoint
operator andA ( h) a
operator
satisfying (M1)-(M4),
andsuppose the
Mourremate
(2 . 1)
holds on Then there existho > 0 such that for
anyoc > 1 /2, h E (0,
£-+0
Proof - ( 1)
We retrace theproof
of Mourre aspresented
in[CFKS]
and
[PSS] keeping
track of theh-dependence,
and we refer Section 4. 3 of[CFKS]
for details. At first we remark that if h issufficiently small,
thesecond term of the RHS of
(2.1)
is dominatedby
the first term, and hence it can be omitted.Annales de l’Institut Henri Poincaré - Physique theorique
For ~>0 let
Gt(z) :
which isanalytic
in z for Re z E Iand Im z>0. Then we obtain the
following
estimates(cf
Lemma 4.14 of[CFKS]):
if E is
sufficiently
small. It follows in the same way as in[CFKS]
that thebounds
(2. 3), (2. 4)
and(2. 5)
hold withreplacing 11.11.
(2)
LetD,: =(1+~)~(8~+1)~
forae(l/2, 1],
s>0 and letFE (z) : = DE GE (z) D£
for z :RezEI,
Im z>0.By (2 . 5)
and the definitionFrom
( 2 . 3)
and( 2 . 4)
with(p=D~,
we haveThe derivative of
F£ (z)
in ~ is estimatedusing (2 . 3)-(2 . 6) [CFKS],
Lemma
4.15),
and we obtainIt follows from
(2 . 6)
and(2 . 8)
that there exists C>O such thatafter
integrating
a finite number of times([CFKS], Proposition 4. 11).
(3) By differentiating Fg(z)
in z, we havefor
sufficiently
small fixed h. Here we used estimates(2. 7)
and(2. 8)
and(2. 9) imply
If we set
s = ~ z -z’ I~ -1,
then we obtain the Holdercontinuity
of order(cx -1/2)/( cx + 1/2)
forF 0 (z).
The existence of the limit ofF 0 (z)
as1m z~0,
Rez~I follows from this.Consequently, (2 . 2)
follows from
(2.9). N
Remark 2 . 2. - It follows from
( M2), ( M4)
and Lemma 4.12 of[CFKS],
i. e. that~) [A, g (H)] I~ _ 1,1 _ C
in oursituation,
that for any[g (H) [H, A]g(H), A]
extends to a bounded operator and is192 P. D. HISLOP AND SHU NAKAMURA
O
( h).
As an alternative to( M4)
we can take(M4Q 11[g(H)[H, A] g (H),
3. PROOF OF THEOREM
In this
section,
we prove that Conditions(A)
and(B) imply
thatH (h)
satisfies
(M1)-(M4)
and the semiclassical Mourre estimate for supp gsufficiently
small andcontaining
thenontrapping
energy E. Theconjugate
operator is
where
f
is the vector field of Condition B.LEMMA 3 . 1. - Let H
(h) :
- -h2 0
+ V where Vsatisfies
Conditions(A)
and(B).
Let I compact and E E I. Then(i)
A and Hsatisfy (Ml)-(M4)
withH0 :
=H in(M 3).
(ii)
There exist ao > 0 and a bounded operator K(h)
withII K (h) II ~
o ash -~ 0 such that
for sufficiently small,
The operator K
(h)
isgiven explicitly
in(3 . 8)
below.In the
proof
of thislemma,
we use adecay
result for wavepackets
inthe
classically
forbiddenregion
G(E).
Thisresult,
in itsoptimal
form dueto
[BCD-2],
is discussed in theAppendix.
Let b be as in Condition
(B).
The function:K
(x) : - 1- 2 ç,
J f(x) ~ ~ ~
iseasily
seen to beuniformly Lipschitz continuous,
and let co be theLipschitz
constant.LEMMA 3 . 2. - Let K
(x)
be as above and Eo be as in( 1. 1 ).
Then thereexists
K (x)
E Coo such thatProof. -
Let cx be a mollifier: LetKx: = Cx * K,
so Since K isuniformly Lipschitz,
it follows thatAnnales de l’Institut Henri Poincaré - Physique ’ theorique ’
for If
(ii)
holds. []Proof of lemma
3 . 1. -( 1)
Since is a common core forD (H), D (A),
etc., it is sufficient to prove the estimates.By
asimple calculation,
as a
quadratic
form onC~ (tR"):
where
J f = (a
is the Jacobian matrixBy
Conditions(A)
and[H, A] ~I2,o ch,
hence(M1)-(M3)
are satisfied. As for(M4), [[H, A], A]
as aquadratic
from on has the form:where ’ : = :
=(~fi)/(~xk),
etc. Theterm h2 { ... } is
cle-Xk
arly uniformly
boundedby H,
and the last is alsouniformly
boundedby
H. The second term is
Clearly, 11
is0 (h2),
and(H + i) -1 I2 (H + i) -1
isO (h)
since isuniformly
H-bounded.Thus A], A]~, -2=0(~).
(2)
In the sense ofquadratic forms,
it follows from Lemma 3.2 thatand We obtain from
(3.3):
.Let
g E Co (I),
E~I andlet x
be the characteristic function ofGc(E+03B4).
By
Lemma3. 2,
194 P. D. HISLOP AND SHU NAKAMURA
Let
B:
- sup12K(E- V) - f .
vvI
and y = supI K(x) I .
Then forI
II
xEG(E+8) x~Rn
sufficiently small,
where
and
EI (H)
is thespectral projection
for H and I.By
Lemma A.2,
for any N, so we This
completes
theproof. []
Proof of
Theorem. -By
Lemma3. 1,
thehypothesis
ofProposition
2 . 1 are
satisfied,
so the resolvent ofH (h)
satifies(2 . 2).
To pass to( 1. 3),
we use the fact there exists a constant C
independent
of h such thatfor a
E [0,1] (cf
Lemma 8 . 2 of[PSS]).
Estimate(3 . 9)
isproved directly
for a=l
using
the factI x ~ -1 f (x) I _ C
which follows from Condition( B),
and extendedby complex interpolation..
Remark 3. 3. - In certain cases, a more
precise propagation
estimateresults from
( 2 . 2)
if wereplace A > -0152 by f ~ - °‘.
This is the case whenf
vanishes on some unbounded set.Remark 3 . 4. - Instead of Lemma A.
2,
we can alsoapply
the cut and pastetechnique ( or
so-calledgeometric method)
to isolate theclassically
forbidden
region.
Infact,
if the semiclassical resolvent estimate isproved
for H on
L~(G,(E+8)),
the estimate onL~")
follows(cf (A . 5)
or[BCD-2]).
Sincenontrapping inequality ( 1.1)
holdsglobally
onthe semiclassical resolvent estimate on
L~(G~(E+8))
can beproved by
the above
argument.
Annales de l’Institut Poincaré - Physique theorique
4. GENERALIZATIONS
A. Stark Hamiltonians
The methods
developed
here can be extended to a class of StarkHamiltonians as we now indicate. In
place
of Condition(A)
we assume~)V(x) I ~C, I Cï I = 1,2. The vector
field in Condition
(B)
mustsatisfy f~C4(Rn),
andThe
nontrapping
condition is as in( 1. 1).
Note that theproof
of Lemma3 . 2 must be
improved
to show that with smallK>O
using
the fact that We also need thefollowing
lemma:
LEMMA 4.1. - and
suppose that
some y :
0~y~2.
isrelatively H (h)-bounded uniformly
in h.
It follows from the
assumptions
and this lemma thatA] (H + i) -1 ~ ~ = O (h)
andA], A](H+f)’’~=0(~).
With thesemodifications,
one proves(M1)-(M4)
and the semiclassical Mourre esti- mate(2. 1).
As a consequence, we obtain the semiclassical resolvent esti- matewhere is the usual Sobolev space with norm v
= II c~ II2 + h2 ~) ~ cp ~I2.
Here we used the fact thatand the inclusion map is bounded
uniformly
in h.B. Local
Singularities
The results of Section 3
apply
if V issingular
in theclassically
forbiddenregion
for an interval ofnontrapping energies
around E. In this case, werequire
for Ö as in Condition( B),
withp = 2
forM~3
and
p > n/2
for~4.
As iseasily
seen from theproof,
weonly
needV to be bounded away from
G(E+8)
so thedecay
estimate= 0
(hN)
holds for this class ofpotentials.
196 P. D. HISLOP AND SHU NAKAMURA
C.
Exploding potentials
We can also treat
potentials
of thetype
VeC~(~),
andV~C2(Rn), |
~x) V(x)| ~Cx>2-|03B1|,|03B1|~2,
andV(x)--+-oo
as 00.
Again,
we must take vectorfields f such that f~C4 (Rn)
andI 2014 ) /(x) |~Cx>-1-|03B1|, |03B1|~4. Following modifications similar to
those described in Part A above,
we obtain
a semiclassical Mourre estimate
and the result that
APPENDIX
Decay
of wavepackets
The purpose of this section is to prove Lemma A. 2 the result of which is used in
equation (3.8).
We use aperturbation
idea of[BCD-2]
and asimple
iterationargument
on the localized resolvent.Although
LemmaA. 2 is sufficient for our purposes, we mention a result of
[BCD-2]
whichstates that there exists
cr > 0,
where o is described in terms of a distance in theAgmon metric,
such thatII (1 -x) EI(H) II
= 0where ’
Gc (E) :
= and ’ dist( . , . ) is
the Euclidean distance. ’Proof -
LetxEG(F),
thenfor the
path
y :By
theassumption,
This proves the lemma. []
We note that the
assumption sup|~V|~
is necessaryonly
on theconvex hull of
G ( E)
in order toapply
the method toexploding potentials [Section
4(C)].
Annales de l’Institut Henri Poincaré - Physique theorique
LEMMA A. 2. -
Suppose
supLet x be
the characteristicfunction of Gc (F)
and ,I = [D, E]
with D E F. Thenfor any N,
where thespectral projection of H.
Proof. -
Lets:=(F-E)/(2N+4). By
virtue of LemmaA.l,
thereexist such that
(i) (ii)
(iii)
ifxEG(F-2jE)
and = 0 ifLet
Vo (x) : E + 2 E ~,
and letThen
o(Ho)=[E+2e, oo).
We have thegeometric
resolvent
equation:
where
It is easy to see and hence
Using
thisidentity,
we obtainLet r be a
positively oriented, simple
closed aroundI,
and away from[E + 2 E, oo). Then,
as the first term of the RHS of(A. 5)
isanalytic
inr,
we conclude
Now,
since and onr,
it followsimmediately from (A. 7)
[BCD-1] Ph. BRIET, J. M. COMBES et P. DUCLOS, On the Location of Resonances for
Schrödinger Operators in the Semiclassical Limit. I. Resonance Free Domains,
J. Math. Anal. Appl., Vol. 126, 1987, pp. 90-99.
[BCD-2] Ph. BRIET, J. M. COMBES et P. DUCLOS, Spectral Stability Under Tunneling,
Marseille preprint CPT-88/P. 2097, to appear in Commun. Math. Phys., 1989.
198 P. D. HISLOP AND SHU NAKAMURA
[CFKS] H. L. CYCON, R. G. FROESE, W. KIRSCH et B. SIMON, Schrödinger Operators with Application to Quantum Mechanics and Global Geometry, Berlin, Springer-Verlag,
1987.
[DeBH] S. DEBIÈVRE et P. D. HISLOP, Spectral Resonances for the Laplace-Beltrami Operator, Ann. Inst. Henri Poincaré, Vol. 48, 1988, pp. 97-104.
[GM] C. GÉRARD, A. MARTINEZ, Principe d’absorption limite pour des opérateurs de Schrödinger à longue portée, C.R. Acad. Sci. Paris, T. 306, 1988, pp. 121-123.
[HeSj] B. HELFFER et J. SJÖSTRAND, Resonances en limite semi-classique, Supplem. Bulle-
tin S.M.F., T. 114, 1986.
[J] A. JENSEN, High Energy Resolvent Estimates for Generalized Many-Body Schrö- dinger Operators, Publ. RIMS, Kyoto Univ., Vol. 25, 1989, p 155-167.
[K] M. KLEIN. On the Absence of Resonances for Schrödinger Operators with Non- Trapping Potentials in the Classical Limit, Commun. Math. Phys., Vol. 106, 1986, p. 485-494.
[L] R. LAVINE, Absolute Continuity of Positive Spectrum for Schrödinger Operators
with Long-Range Potentials, J. Funct. Anal., Vol. 12, 1973, pp. 30-54.
[M] E. MOURRE, Absence of Singular Spectrum for Certain Self-Adjoint Operators,
Commun. Math. Phys., Vol. 78, 1981, pp. 391-400.
[N-1] S. NAKAMURA, Scattering Theory for the Shape Resonance Model I, II, Ann. Inst.
Henri Poincaré, Vol. 50, 1989, pp. 35-52 and 53-62.
[N-2] S. NAKAMURA, A Note on the Absence of Resonances for Schrödinger Operator,
Lett. Math. Phys., Vol. 16, 1988, pp. 217-223.
[RT-1] D. ROBERT et H. TAMURA, Semiclassical Bounds for Resolvents of Schrödinger Operators and Asymptotics for Scattering Phases, Commun. P.D.E., Vol. 9, 1984, p. 1017-1058.
[RT-2] D. ROBERT et H. TAMURA, Semiclassical Estimates for Resolvents and Asymptotics
for Total Scattering Cross-Sections, Ann. Inst. Henri Poincaré, Vol. 46, 1987, pp. 415-442.
[S-1] I. M. SIGAL, Sharp Exponential Bounds on Resonances States and Width of Resonances, Adv. Appl. Math., Vol. 9, pp. 127-166.
[S-2] I. M. SIGAL, Lectures on Scattering Theory, University of Toronto, 1986.
[Y] D. R. YAFAEV, The Eikonal Approximation and the Asymptotics of the Total Cross-Section for the Schrödinger Equations, Ann. Inst. Henri Poincaré, Vol. 44, 1986, pp. 397-425.
(Manuscript received October 3, 1988) (In revised form ; April 3, 1989.)
Annales de l’Institut Henri Poincare - Physique theorique