A NNALES DE L ’I. H. P., SECTION A
M ATANIA B EN -A RTZI
J ONATHAN N EMIROVSKY
Remarks on relativistic Schrödinger operators and their extensions
Annales de l’I. H. P., section A, tome 67, n
o1 (1997), p. 29-39
<http://www.numdam.org/item?id=AIHPA_1997__67_1_29_0>
© Gauthier-Villars, 1997, 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. 29
Remarks
onrelativistic Schrödinger operators and their extensions
Matania BEN-ARTZI * Jonathan NEMIROVSKY Institute of Mathematics, Hebrew University, Jerusalem, 91904, Israel.
Vol. 67,n° 1, 1997, Physique théorique
ABSTRACT. - The
operator
H =f(-4l)
+ is considered in~n,
where
f
is ageneral
realincreasing
function on andV ~x~
is areal
potential
withsingularities.
Inparticular,
the relativisticSchrodinger operator -0394
+ 1 +V(x)
is included.Limiting absorption principles
areproved
forH, including
the threshold. The smoothness of the extended resolvents isapplied
tolong-time decay
for the evolution groupexp( - itH) .
Key words: Relativistic Schrodinger operators, Limiting absorption principle, threshold regularity, long-time decay.
RESUME. - Soit H =
f(-A)
+V(x)
surIRn,
ouf est
une fonctionreelle croissante sur
R+,
etV(x)
est unpotential
reelpresentant
dessingularites. L’operateur
deSchrodinger
relativiste-0
+ 1 +V (x)
estun cas
particulier
dans cette classe. Nous prouvons leprincipe d’ absorption
limite sur H
jusqu’au
seuil. Laregularite
des resolvantes etendues estappliquee
a la decroissance atemps long
du groupe d’ evolutionexp ( - itH) .
1. INTRODUCTION
In a recent paper
by
T. Umeda[9]
somespectral properties
of therelativistic
Schrodinger operator
are studied. Thisoperator
is definedby
* Partially supported by the fund for basic research, Israel Academy of Sciences.
Annales de l’lnstitut Henri Poincaré - Physique theorique - 0246-0211 1 Vol. 67/97/01/$ 7.00/@ Gauthier-Villars
30 M. BEN-ARTZI AND J. NEMIROVSKY
where
V (x)
is ashort-range sufficiently
small realpotential.
The main tool in thespectral study
is a"Limiting Absorption Principle" (henceforth LAP),
which states that in a suitable
operator topology,
the resolventoperator
can be extendedcontinuously
up to theabsolutely
continuousspectrum (usually excluding "thresholds").
Agmon [ 1 ] proved
the LAP forshort-range perturbations
ofelliptic (and principal-type) operators. Indeed, Agmon’s method,
with minormodifications,
can be used in theproof
of the LAP for K.An abstract
theory
for the LAP forpartial
differentialoperators
wasdeveloped
in[4],
andapplied
in variousstudies,
such as thespectral theory
of the acoustic
propagator [3]
andglobal regularity
anddecay
of time-dependent equations [2], [5], [6].
We refer the reader to references in[4], [9]
for avariety
of methods and resultsconcerning
the LAP.In this paper we use the
general
method of[4]
in order to deal with awhole class of
operators (including K)
of theform,
where
f(0),
0 ER+ == (0,oo),
is a real-valuednonnegative
continuousfunction.
We shall prove several
results,
which willrequire increasingly
restrictivehypotheses
onf.
We use theterminology "g
islocally
Holder continuousin an open interval 0 C
R+"
to mean that for everycompact
S cc0,
there exist constants
C>0,0o~l,
such thatOur basic
hypothesis
on1,
which will be assumedthroughout
the paper is thefollowing.
ASSUMPTION 1.1. -
f(0)
iscontinuously
differentiable inR+,
and itsderivative
f’(0)
ispositive
andlocally
Holder continuous.Clearly,
thisassumption
rendersHo
to be aself-adjoint operator
in£2 (IRn) (we identify -A
with its naturalself-adjoint
realization in£2).
The
spectrum
isabsolutely
continuous andsatisfies 03C3(H0) = [f(0), f(~)) (we
use,f (°°) - lim f(03B8)).
Next we list our additional
assumptions,
which will be used in our refinements of the basic LAP theorem(Theorem 2A).
Annales de l’lnstitut Henri Poincaré - Physique théorique
ASSUMPTION 1.2. -
~((9)
satisfies a uniform Holder condition near 9 =0, namely,
there exist constants C >0,
01,
such thatand in addition
f’(0)
> 0.(Remark
that under(1.5) /~(9)
can be extendedcontinuously
to B =0).
ASSUMPTION 1.3. -
f’{8)
satisfies a uniform Holder condition near 9 = +00,namely,
there exists a constant M > 0 such that(1.5)
holdsfor
B2
> M.ASSUMPTION 1.4. - E
C~(R+).
Remark that
Assumption
1.4implies Assumption
1.1 andAssumption
1.2(resp. Assumption 1.3)
follows fromAssumption
1.4 iff"(0)
is assumed bounded in(0,1) (resp.
The
regularity
conditionsimposed
onf
are valid for alarge
classof
Schrodinger operators.
The method used here avoids the smoothnessassumptions (and
thegrowth
conditions atinfinity) imposed
onf by
theuse of
phase
spacetechniques (cf. [7], [8]).
We
emphasize
that all the aboveassumptions,
as well as somegrowth
conditions
imposed on f
in thefollowing sections,
are satisfied in the caseof the relativistic
Schrodinger operator f(0)
=B/1 -}- 0.
In Section 2 we prove
(Theorem 2A)
thatAssumption
1.1 suffices toyield
a LAP forHo
in the interiorof a(Ho),
thusgeneralizing
the resultof
[9]. Observe,
inparticular,
thatf
satisfies a rather limited smoothness condition. Thenby adding Assumption
1.2 we show(Theorem 2B)
that theLAP can be extended to all of
R,
thuscrossing
thethreshold f(0).
Our method of
proof
is very different from that of[9], requiring
minimalsmoothness and
yielding
the Holdercontinuity
of thelimiting
values ofthe resolvent.
In Section 3 we use the results
(and techniques)
of Section 2 in order to derive adecay
result(as I t 1---+ (0)
of solutions to thetime-dependent equation i~tu
=Hou,
for all initial conditionsu(t
=0)
inL2(Rn),
n > 3.The
analogy
to the case of the Klein-Gordonequation
isclear,
and werefer the reader to
[2]
for similar resultsconcerning
the latter(as
well asthe
wave) equation.
Finally
in Section 4 westudy
the case of H =Ho
+V(x).
Inparticular,
we remove the uniform boundedness
(and smallness) imposed
on V in[9],
atthe
price
ofhaving (possibly)
a discrete sequence of imbeddedeigenvalues.
Vol. 67, n° ° 1-1997.
32 M. BEN-ARTZI AND J. NEMIROVSKY
NOTATION. - We denote
by £2,8
=L2, s ~ ~n ~ _ ~ s
E theweighted -L2
spaces normedby
We
write ~ ~ 9 ~ ~
and denoteby (
,)
theL2 inner-product.
Denoting by 9
the Fourier transformof g,
the Sobolev spaceH5 (s
ER)
can be defined as
with the norm
given by
For any two Hilbert spaces
X, Y,
we denoteby B(X, Y)
the space of bounded linearoperators
from X toY, equipped
with thenorm II
T2. THE OPERATOR
Ho
TWO LIMITING ABSORPTION PRINCIPLES
In this section we prove two theorems
concerning
the LAP forHo,
as definedby (1.3).
] +Im
z >0}
and letRo(z) = (Ho - z ) -1,
Imz ~ 0,
bethe resolvent of
Ho.
In our first theorem we assumeonly
thatf
satisfiesAssumption
1.1.THEOREM 2A. - For every s >
2 ,
theoperator-valued function
can be extended
continuously
to the realaxis, avoiding
thepoints f ~0),
in theuniform operator topology of L2,-S).
Furthermore,
thelimiting
valuesare
locally
Holder continuous in~(L2,S, L2,-s),
Proof. -
It suffices to prove the statement forf ~ 0 ~
aAnnales de l’lnstitut Henri Poincaré - Physique théorique
Denote
by {Eo(a)},
thespectral
families associated with-A, Ho respectively.
In view of themonotonicity
off,
As was shown in
[4]
theoperator-valued
function >0,
isweakly
differentiable inB(L2,8, L2,-8),
and its weak derivative$(L2,S ~ L2,-8)
satisfieswhere 03C6, 03C8
EL2,s and [, ]
denotes the(L2,-S, L2,S) pairing. Hence, by (2.2) E~o eX)
is alsoweakly
differentiable in~2,-s~
and its weak derivative EB(L2,S, L2,-S) satisfies,
It follows from
[4]
that islocally
Holder continuous in the uniformoperator topology
ofL2,-s) (with exponent depending only
ons, n). Combining
this withAssumption
1.1 we conclude from(2.4)
thatA~o (~~
islocally
Holder continuous inL2,-s~.
As shown in[4],
this
yields
the statements of the theorem. D COROLLARY 2.1. -(Regularity of Ro (~)~.
Let be thegraph-norm
space
of Ho
inL2’-s (i.e.,
thecompletion of
withrespect
to the~Hop
Then the operator space~,2,-s)
inthe statements
of
Theorem 2A can bereplaced by L2~...~’o s~.
Proof. -
Followssimply
fromHoRo(z)
= I +zRo (z).
DEXAMPLE 2.2. - If
f(0)
>C03B803B3/2
as 0 - +00, for some 03B3 >0,
then the norm of isstronger
than that of theweighted
Sobolev space(which
is thegraph-norm
space of( - 0 ~ ~’~ 2 ~ . Corollary
2.1 thenimplies
thatL2,-s~
can bereplaced by H,~ s~.
For the(free)
relativisticSchrodinger operator f(0)
=and 03B3
=1,
whichis the result obtained in
[9].
In
general (even
for-A)
thelimiting
valuesRo (~~
are unbounded(in L2,-s~) f(0). However, by strengthening
theassumptions
on
f , taking s
> 1 andrestricting
the dimension to n > 3 we canactually
obtain the smooth behavior of
R§ (A)
near ~ _Vol. 67, n° ° 1-1997.
34 M. BEN-ARTZI AND J. NEMIROVSKY
THEOREM 2B. - Let n >
3,
s >1,
and letf satisfy Assumptions 1.1, 1.2,
and assume in addition thatf (
= Then theoperator-valued function,
can be extended
continuously
to(5+ == ~G+
U~(resp. (5- ==
c-uR )
inthe
uniform
operatortopology of $~L2~s~~n~, L2,-s~~n~~.
Thelimiting
values
~o ~~~
arelocally
Holder continuous in a E with values in.B B .Z 2’ s L 2’ s ~ .
.Proof. -
In view of Theorem2A,
it suffices to deal with aneighborhood
of 03BB =
f(0).
We recall thefollowing
tracelemma,
theproof
of which canbe found in
[6, Appendix].
TRACE LEMMA. - Let
EHs(Rn), n ~ 3, 1 2
s2 . Then for any r
>0,
where C
depends only
on s, n.Combining
the trace lemma with(2.3)-(2.4)
we obtain for A >f(0),
In
particular,
extends to alocally
Holder continuous function on Rby setting Al~o (~) - 0 for ~ f (0).
The conclusions now follow as inthe case of the
proof
of Theorem 2A. DREMARK 2.3. - Note that if s =
1,
thenby (2.6),
is bounded in13(L2u, L2,-1)
for A near/(0),
but does notnecessarily
vanish as03BB ~
f(0).
3. LARGE-TIME DECAY OF THE UNITARY GROUP exp
If cp
E thenu( t)
= exp can beexpressed
aswhich must be
interpreted
in theappropriate
weak sense.Annales de l’Institut Henri Poincaré - Physique théorique
We say
that p
has"compact
energysupport"
ifcp( ç)
vanishesfor ç
ina
neighborhood of ç
= 0 and oo. This isequivalent, by (2.3)-(2.4),
to thefact that
AHo (~)
cp iscompactly supported
in( f (0),
Clearly,
if cp hascompact
energysupport,
then forevery t
E R and every(3
ER, u(t)
EH03B2(Rn).
Infact,
thenorm ~ u(t) decays, as ] t 1-7
oo,in the
following
sense,where s
> ~
and Cdepends only
on s, n,,~
and suppcp.
Theproof
of(3.2)
is similar to
proofs
ofanalogous
statements in[5]
and is omitted.In order to prove a
global decay result, avoiding
the"compact
energysupport" hypothesis,
we need tostrengthen
somewhat therequirements imposed
onf
in Theorem 2B.THEOREM 3A. - Let n > 3 and let
f satisfy Assumptions 1.1,
1.2. Assume in addition thatfor
some constant L >0,
Then there exists a constant C >
0, depending only
on n,f,
suchthat for
every the
L2-valued function
= expsatisfies
Proof. -
It is seen from(2.6)
and(3.3)
thatBy
an obviousdensity argument,
it suffices to establish(3.4)
forcp E
C~(R~).
Letw(x, t)
E and use(3.1)
to writeDenoting by (., A)
=e+it03BB w(., t)
dt the Fourier transform ofw(., t)
with
respect to t,
werewrite (3.6)
as,Vol . 67,n° ° 1-1997.
36 M. BEN-ARTZI AND J. NEMIROVSKY
Since
~o(A) = 2014 the bilinear form [A~(A)-,’]
is nonnegative and,
for any
Using
these considerations and theCauchy-Schwartz inequality
in(3.7)
we obtain
where we have used
(3.5)
in the laststep.
The Plancherel theorem nowyields,
which can be rewritten as,
and which is
equivalent
to(3.4) by duality.
DCOROLLARY 3.1. -
The function ,f (8)
=1 + 03B8 satisfies
all thehypotheses of
Theorem3A,
so that(3.4) applies
in the caseof
the relativistic~free) Schrödinger operator Ho
= - 0394 + 1.REMARK 3.2. -
(Asymptotic
behavior of~o (a~ +(0). If f satisfies
Assumption
1.3 and(3.3)
issatisfied,
then we deduce from(2.3)-(2.4)
thatA~o (~~
isuniformly
bounded anduniformly
Holder continuous forlarge
~.This
implies,
in view of the Privaloff-Korntheorem, that,
for every s> ~
In
particular,
this holds in the caseof - ~ ~
1.However,
as theexample
in[9] shows,
it is not true thatR§ (A)
- 0 in theoperator
norm.Annales de l’lnstitut Henri Poincaré - Physique théorique
4. THE OPERATOR H =
Ho
+V (x)
In order to allow
(some) singular
behavior ofV(x),
we need to assumesome
regularity
ofRo (~),
asexpressed by Corollary
2.1 andExample
2.2.Also,
toexploit
thegeneral
method of[4],
more smoothness(locally)
isrequired
forf. Thus,
we now assume thatf
satisfiesAssumption
1.4and,
in
addition,
for some 7 >0,
In view of
Example 2.2, Ho
satisfies the LAPH,~ s ),
forf(0) ~
s >2 .
From the
general theory
in[4,
Section3]
we now obtain:THEOREM 4A. - Let
f
Esatisfy (4.1).
LetV(x)
be a realpotential
such
that, for
some ~ >0,
themultiplication
operator(1-+- I
~1)1+£ V(x)
is compact
from
into Then:(i)
The continuous spectrum~~ (.H) _ [, f (0 ) , oo )
isabsolutely continuous, except possibly for
a discrete sequenceAi of
imbeddedeigenvalues,
whichcan accumulate
only
atf(0),
00.(ii)
The resolvent~(z) _ (H - z)-1,
z EC+ (resp.
z EC-)
canbe extended
continuously,
with respect to the operator normtopology of
H,~ s),
s >~,
toC+ (resp.
C- whereA =
Furthermore,
thelimiting
valuesR~ (~t) ,
~ Eare
locally
Holder continuous in the sametopology.
REMARK 4.1. -
Following
theproof
in[4,
Section5]
we obtain here that if p E satisfies cp for some ~ >f (0),
thenfor p in a
neighborhood
of A. It is here that theassumption f
EC2(1R+)
is
required.
REMARK 4.2. - For
f(())
= all thehypotheses
of Theorem 4A aresatisfied
with ~
= 1.Thus,
theoperator
K =~/-A+1+ V (x)
satisfiesthe LAP for any
potential V(x)
such thatWe refer to
[ 1 ]
for moregeneral
criteria forcompactness
inL~).
As in
[9],
if C in(4.2)
issufficiently small,
then there are no imbeddedeigenvalues.
Vol. 67, n° 1-1997.
38 M. BEN-ARTZI AND J. NEMIROVSKY
In order to extend the LAP for H across the threshold ~ =
f (0),
inanalogy
with Theorem2B,
one needs to ensure that I + are invertible in(compare [6]). Assuming that f
satisfies thegrowth
condition
(4.1 )
we recall thefollowing
definition[6].
DEFINITION 4.3. - The
point A
=j(O)
is said to be a resonanceof
Hif for
some s >1,
there exists0 ~ ~
E such that.~~
= 0 in thesense
of
distributions.We can now formulate the
following theorem,
whichsupplements
Theorem 4A.
THEOREM 4B . - Let n >
3,
s > 1.Let f
EC2 ( ff~+ )
and assumethat f satisfies (4.1 )
and thatf " ( 8)
isuniformly
bounded in aneighborhood of
8 = 0. Assume
further
thatV(x) satisfies, for
someC,
b >0,
and that H =
I~o
+ Y has no resonance atf ~0~.
Then there exists ri > 0 such that the limits
exist and are Holder continuous in the
operator
normtopology of
~J~).
Inparticular,
H has noeigenvalues
in( f (0~ -
1], +r~).
Proof. -
It follows from Theorem 2B thatRo(z)
can be extendedcontinuously
’toC~ (resp. f). By
our non-resonanceassumption
theoperators
I +(resp.
I + are invertible inL2’s
for Anear
(note
that(4.3) implies
thecompactness
ofV).
Theproof
maynow be concluded as the
proof
of Theorem 2 in[6].
DREMARK 4.4. - Note that
by combining
theassumptions
of Theorem 4B and Remark 3.2(i.e., (3.3)
andAssumptions 1.1-1.3,
or, moresimply, (3.3)
and the uniform boundedness of
f "(8~, 9
EM+),
it follows that ifAi
=~,
Since the weak derivative
= d EH(03BB)
of thespectral family
, , , a ,
associated with
H,
satisfies theequality,
it follows that A E is also
uniformly
bounded inL2, -S ) .
We nowproceed
as in theproof
of Theorem 3A to obtain alarge-time decay
result for solutions ofiut
=Hu, where u( t
=0) belongs
to the
absolutely
continuoussubspace
withrespect
to H.Annales de l ’lnstitut Henri Poincaré - Physique théorique
ACKNOWLEDGEMENT
This paper was
partly
written when M. B-A. wasvisiting (1996)
the Centre de
Mathematiques Appliquees
of the EcolePolytechnique, Palaiseau,
France. He would like to thank the Centerand,
inparticular,
Professors J.-C. Nedelec and P.A. Raviart for the very warm
hospitality.
REFERENCES
[1] S. AGMON, Spectral properties of Schrödinger operators and scattering theory, Ann. Scula
Norm. Sup. Pisa, Vol. 2, 1975, (4), pp. 151-218.
[2] M. BEN-ARTZI, Regularity and Smoothing for some Equations of Evolution in Nonlinear Partial Differential Equations and Their Applications, Vol. 11, 1994, pp. 1-12, Pittman Publ.
[3] M. BEN-ARTZI, Y. DERMENJIAN and J. C. GUILLOT, Acoustic waves in perturbed stratified fluids: A spectral theory, Comm. in PDE, Vol. 14, 1989, (4), pp. 479-517.
[4] M. BEN-Artzi and A. DEVINATZ, The limiting absorption principle for partial differential operators, Memoirs Amer. Math. Soc., Vol. 66, 1987, (364).
[5] M. BEN-ARTZI and A. DEVINATZ, Local Smoothing and Convergence Properties for Schrödinger-Type Equations, J. Func. Anal., Vol. 101, 1991, pp. 231-254.
[6] M. BEN-ARTZI and S. KLAINERMAN, Decay and Regularity for the Schrödinger Equation,
J. d’Analyse Math., Vol. 58, 1992, pp. 25-37.
[7] Pl. MUTHURAMALINGAM, Spectral properties of vaguely elliptic pseudodifferential with momentum-dependent long-range potentials using time-dependent scattering theory,
J. Math. Phys., Vol. 25, 1984, 6, pp. 1881-1889.
[8] B. SIMON, Phase space analysis of simple scattering systems: extensions of some work of Enss, Duke Math. J., Vol. 46, 1979, pp. 119-165.
[9] T. UMEDA, Radiation conditions and resolvent estimates of relativistic Schrödinger
operators, Ann. Inst. H. Poincaré - Physique theorique, Vol. 63, 1995, 3, pp. 277-296.
(Manuscript received June 24, 1996;
Revised version received November 8, 1996. )
Vol. 67, n° 1-1997.