A NNALES DE L ’I. H. P., SECTION A
K ALYAN B. S INHA
On the absolutely and singularly continuous subspaces in scattering theory
Annales de l’I. H. P., section A, tome 26, n
o3 (1977), p. 263-277
<http://www.numdam.org/item?id=AIHPA_1977__26_3_263_0>
© Gauthier-Villars, 1977, 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/
263
On the absolutely and singularly
continuous subspaces in scattering theory
Kalyan B. SINHA (*) Département de Physique Théorique,
U niversité de Genève, 121 L Genève 4
Vol. XXVI, n° 3, 1977, Physique théorique.
ABSTRACT. - A
physical
criterion is described todistinguish
betweenabsolutely
continuous andsingularly
continuoussubspaces
of a Hamil-tonian. Some models are discussed in this connection.
1. INTRODUCTION
This paper can be considered as a natural
sequel
to that of Amrein andGeorgescu [1]
on the evanescence ofscattering
states. The authors in[1]
essentially
extended Ruelle’s[2]
treatment to alarger
class ofpotentials.
In both
[1]
and[2],
the criterion used toidentify .~~,
thesubspace
of Jfcorresponding
to the continuous part of the evolution operatorVr,
is thefollowing:
where one needs some
assumption
onVt
for theimplication
«only
if »,and
Pr
is theprojection
onto asphere
of radius r. But this criterionfirstly
has no direct
physical interpretation
andsecondly,
the conclusion is notsufficiently discerning
about theabsolutely
continuous and thesingular
continuous parts of the continuous spectrum.
In this paper, we
give
a criterion which isdirectly physically
inter-(*) Supported by Fonds National Suisse.
Annales de l’Institut Henri Poincare - Section A - Vol. XXVI, n° 3 - 1977.
264 K. B. SINHA
pretable
and attempt to relate it with theabsolutely
continuous part of the Hilbert t space with respect to the evolution. In thisconnection,
thereader is also referred to the article of Gustafson
[3].
2. THE MAIN THEOREM AND ITS INTERPRETATION
Let
Vr
be theunitary
groupgenerated by
theself-adjoint
HamiltonianH,
i. e.
Vt
= and letPs
be the operator defined as(Psf)() = f(),
if ~Swhere
I S I
==Lebesgue
measurex $ S
In quantum
mechanics,
we define theprobability
that aparticle
withan initial state =
1)
be found in a spaceregion
S after time t asThen,
it is reasonable to talk about « time ofSojourn » [4]
and defineas the total time a
particle
withstate ~
at t = 0spends
in a spaceregion
S.In
principle,
it seemspossible
to measureJ(S ; ~),
or at least decide whether such aquantity
is finite or not. Such anexpression
was used for thedescrip-
tion of
time-delay
inscattering [5].
It is the purpose of this paper to associate thisquantity
J with absolutecontinuity
of H.The
principal
theorem in this direction isTHEOREM 1. - If there exists a sequence of
regions { Sn }
such thatS. lim PSn
= I andJ(Sn,
oo for all n,then 03C8
E(Vr).
The
interpretation
is two-fold andquite straight-forward.
If aparticle
with
state ~ spends
finite time in every finiteregion
in space, then thestate ~
isabsolutely
continuous. Since if#
Esubspace
ofpoint
spectra ofVr,
thenJ(S,
= oo for everyS,
one cangive
anequivalent
statementfor the
singular
continuous states. is asingular
continuous state, then there exists at least one finite(however large) region
in spaceS
such thatJ(S,
= oo.This means that
if 03C8
E.1(s.c.(Vt),
then theprobability t), though
not
independent
of time as is the case for statesbelonging
to thepoint
spectrum,decays sufficiently slowly
forlarge
times not to beintegrable.
If we set up observers on
spheres
ofincreasing
radii around thescattering
center, the
state ~
EJfp
will lead to a conclusion that it istrapped
in everyspherical region.
On the other hand astate ~
E may appear to bemoving
out inside smallerspheres only
to betrapped
inside alarger sphere
later.
Annales de l’Institut Henri Poincam - Section A
For the
proof
of the Theorem we need thefollowing
LEMMA 1. - Let
(~
EL2((1~1, dt)
where~, ~
are any two vectors in Jf. Then(~, EÂt/!)
is anabsolutely
continuous function of~,
where{ E Â }
is thespectral family
of H.Proof of
Lemma. - From[6]
and[7 ; appendix],
it is known thateith - 1
For
every h ~ 0, setting hz(t)
== , we observe that ithTherefore
where ~ is the
unitary
operator of Fourier transformation in On the otherhand f~(t)
~r~ 1pointwise
in t and henceby Lebesgue
dominated convergence
[8,
cor.16,
p.151] (~,
h~(~,
inL2-topology. However,
since ~ isunitary
inL2,
we obtainThen
clearly d(03C6, E03BB03C8) d03BB
EL2
andSince an
L2-function
isnecessarily locally
it follows from(4)
and anapplication
of Fubini’s theorem thatHence, (~,
is anabsolutely
continuous function of ~.From the
lemma,
two corollaries followeasily.
an
absolutely
continuous function of h.Since
(~,
is a bounded continuous function of t and it is square-integrable
at oo, it issquare-integrable
and hence the result.COROLLARY 2. - Under the same
hypothesis
as in theLemma,
it follows that(~
=0,
whereES
is theprojection
onto thesingular subspace.
Vol. XXVI, n° 3 - 1977.
266 K. B. SINHA
Since
(~ E~,~)
isabsolutely
continuous and(~.c.? absolutely
continuous
by
the definition of[9],
it follows thatTherefore,
ontaking
limit as ~, ~ + oo inequation (5),
we obtainProof of
theorem 1. -by hypothesis.
Hence
by
thecorollary
2 of theLemma,
it follows thatTaking
limit as n - oo, we concludeSome useful
properties
ofJ(S, #)
are established in THEOREM 2.- a)
IfSi
cS2
thenJ(Si, tfJ) J(S2, ~).
Proof of
theorem 2.a)
The result follows from the observation thatb) J(S, #)
oo means that thepositive
function t-40 II I I
isin
On the other
hand,
theunitary
group property ofVt
ensures that thesame function is
uniformly
continuous in t for - 00 t ~. Infact, uniformly
in t, sinceVt
isstrongly
continuous. ,Therefore t is a
uniformly
continuousL2-function
on [Rland
by
theproposition
1 in theappendix,
we conclude thatThe last
implication
of(b)
is wellknown and we omit theproof.
Annales de I’Institut Henri Poincare - Section A
Remarks. -
(1)
The result(a)
of the above theorem tells us that ifJ(S,
= oo for someS,
then it remains infinite for allregions containing
S.Hence if
~
E then there exists a minimalregion S
such thatJ(S~)=
oc.(2)
It is not difficult to construct acounterexample
to converse of theTheorem 1, i. e. to construct a such that
for all finite S. This can be
easily
doneusing
Pearson’sexample [10]
and_ Theorem 2. Pearson’s
example
constructs a Hamiltonian such that thewave operators
Q+ exists,
but Ran(Q+) #
Ran(Q-).
Infact,
it is shown thatand
Therefore
by
virtue of the firstimplication
of Theorem2 b, J(S, t/J)
= 00for all finite S and
all t/J belonging
to either of the twosubspaces
ofYfa.c,(Vt).
3. SOME RESULTS ON THE CONVERSE PROBLEM For this we define
The
implication
of Theorem 1 can be restated asM(H)
iseasily
seen to be a linearmanifold,
notnecessarily
closed.THEOREM 3. - Let S be any set in 1R3
with S I
oo and let there be anumber K > 0 such that
Ps(H
+i) -"
is Hilbert-Schmidt. ThenProo_f:
- LetDo - ~ ~
E E‘~o (~1) ~ ~
where isthe
representative of f
in theH-spectral representation.
where g
=(H
+i)"f
E ~f becauseDo
cD(H).
Since
by hypothesis (H -
+ is Trace-Class andVol. XXVI, n° 3 - 1977.
268 K. B. SINHA
is
essentially bounded,
we canapply
Birman-Kato-Rosenblum Lemma[5],
to deduce the finiteness of the above
integral.
ThereforeDo ~ M(H)
andsince the domain
Do
isclearly
dense in we have theresult, viz.,
Let
Ho
= -A,
the freeSchrodinger-Hamiltonian
inL2([R3)
and letH =
Ho
+ Vformally,
where V is thepotential
operator,given by
the operator ofmultiplication V(x).
Now we state various conditions under which thehypothesis
of the above theorem is satisfied.THEOREM 4. - If either
or
where ~ is the Rollnik class defined in Simon
[11],
then thehypothesis
of theorem 3 is satisfied and
therefore, M(H) =
Proof - a)
SinceD(Ho),
it follows that(Ho
+i)(H
+ isan
everywhere
defined bounded operator.Also,
it is easy toverify
thatPs(Ho
+i)
1 is a Hilbert-Schmidt operator.Therefore,
the class of Hilbert-Schmidt operators.
~)
We know from Simon[11;
Theorem II. 34, p.73]
that when +L ~,
one can establish the « second resolvent
equation »,
where z is a nonreal
complex number, A1 - ~ V 1~2, A2
= sgnV . ~ V 1~2,
and
Q(z)
= closure ofA1(Ho -
We also observe from[11]
that
[[Ho -
and[Ai(Ho - z) 1 ~2]
are both bounded operators and that[Ps(Ho -
Since ~S E ck, by [11;
Theorem1 . 1 7,
p.
14]
we know that the kernel of the closureof Ps(Ho -
is a Hilbert-Schmidt kernel.
Ps(Ho - z) -
1 isalready
known to beHilbert-Schmidt,
therefore
Ps(H - z) -1 1 E!!J2
for every non real z.Q.
E. D.Next we shall consider some cases where we can prove that
M(H)
isclosed or
equivalently M(H) ==
In all theseexamples, however,
it is
already known
that 9V. To prove theseresults,
wedepend
on the
theory
of H-smooth operatordeveloped by
Kato[12].
THEOREM 5.
- (a)
InL2(I~n), n >
3 letHo
= - A. ThenIn n > 3 let the
perturbation
be small andHo-smooth
asdescribed in
[12].
ThenM(H) ==
9V =LZ((1~’~).
Annales de l’Institut Henri Poincare - Section A
(y)
In letL(p) = - A
+ p= - 4 + p2 + p 1,
where p2 is Stark- like and pi isshort-range,
as described in[13].
Then~’roo~ f :
- We recall from Kato[12]
thatis a sufficient condition for the operator
Ps
to beH-smooth,
i. e.(oc) Clearly
xs E n > 3. Thenby
virtue of Theorem 6 . 4 of[12],
we obtainon
choosing
p = 1 and ThereforeWe start with the « second resolvent
equation »
established in Kato[12 ;
p.263],
viz.where
V E n 1 ~ p
n/2
q 00 andQ(z) == z) 1 A 2 ~ .
Then ~ Q(z)!! N, independent
of z and for allAlso,
sincexs E Lp
for all p ; 1 ~ p ~ oo, theproof
of Theorem 6.4 inpage 277 of
[12]
goesthrough
with the necessary minor modifications toyield
and
_ 1
Hence
sup ~ ] Ps(H - ~
00, where H =Ho
+gV and g ( - ,
= N
.
leading
to the desired conclusion.(y)
In this case, we shall need to assume that S is notonly
aregion
in ~1 with
Lebesgue measure
SI
00, but also that it is a boundedregion.
Vol. XXVI, n° 3 - 1977.
270 K. B. SINHA
The « resolvent
equation »
established in[13]
iswhere V1/2 =
Multiplication
operatorby ( p - q(z))1~2,
andWe also recall that for every compact I c one defines and
where
x(~)
is apositive
function such thatNow we restate the main result of
[13],
viz.Since
it follows from
equation (9)
thatSimilarly,
the fact thatM - V1~21 w 1 leads to the result
Annales de l’Institut Henri Poincaré - Section A
We also know from section 5 and 6 of
[14]
that I -V1/2R(z, L(q(z)))V1/2
isbounded invertible for all
z e o. Combining
this withequations (8), (10)
and(11),
we conclude thatfor every compact I c IRI 1 and bounded S
In order to
complete
theproof,
we needonly
to show thatwhere OJ = Re z and the above operator is to be understood as the limit of
L(p)))Ps]
as Im z -±0,
which existsby
virtue of results in[13].
This we do for an exact Stark
potential,
viz.p2(~) _ - eEç (E
>0).
In this case, the
turning point given by
theequation
Therefore,
the limit OJ - + oo isequivalent
to the limit iL oo. We choose theturning
interval[a, b]
to begiven by
All
through
thefollowing,
we hold v fixed and letjo -
±00.Define the
unitary
translation operatorT~
inL2(~1),
asIt is clear from the
Weyl
construction of the kernelR(z, L(q(z)))(ç, q)
in section 6 of
[13]
that the kernel11)
isactually
a functionof
(ç - ço)
and of vonly.
Infact, by letting
one obtains where
with
Let be
a
Hilbert-Schmidt operator definedby
the kernelVol. XXVI, n° 3 - 1977.
272 K. B. SINHA
Then we claim that
In order to prove
(21),
we need thefollowing
estimate from[13],
viz.where A is a function of v
only
andThen,
where we have used the estimate
(22)
and theinequality
On the other
hand,
Therefore,
- 0 as + oo
by
virtue ofproposition
2 in theappendix
with thechoice p = 4 and we have proven
(21).
It is also clear from definitions( 17)
and
(20)
thatand hence
by
virtue of results in[13] (I
-B:t) - 1
is a bounded operator.Then,
From relations
(18), (21)
and(23)
it follows thatAnnales de l’lnstitut Henri Poincaré - Section A
Also
Similarly,
it can be shown thatFinally,
the resolventequation (18)
and relations(12), (24), (25)
and(26) together help
us conclude thatsup ~ PSR(z,
00 andequiva-
lently,
ZRemarks
(4)
With respect to of theorem 5, it can be added that this result extendseasily
to then-body problem
with a smallperturbation
as treatedby
Iorio and O’Carroll[15].
In this case, thephysically
relevantprojection
operator is the relative one, denoted defined inL2([R3)
as follows :Then the necessary estimates follow from
[15]
with minoradjustments
as was the case with
(5)
In order to show thatM(H) =
it suffices to establish thatoo. Since there is no
simple
way ofdoing this,
we have
only attempted
to arrive at a strongerestimate,
viz.which
implies
that H =(6)
From the method ofproof
of(y)
of theorem 5, it is evident that one can do relativescattering theory
between a pure Stark-HamiltonianL( p2)
and one with a
shortrange
part thrownin,
viz.L( p2
+PI)
where p eL1(~I).
In other
words,
one can prove that themultiplication operator p1 11/2
is
L( p2)-smooth.
(7)
It is worthmentioning
that in(y),
the operatordoes not converge to zero as co - :t ’XI in contrast to the case of short- range
perturbations [11,
theorem1.23].
Vol. XXVI, n° 3 - 1977.
274 K. B. SINHA
4. EXAMPLE OF A HAMILTONIAN WITH SINGULAR CONTINUOUS SPECTRUM
Finally,
we end with anexample
of a Hamiltonian such that the spectrum has a nontrivialsingular
continuous part and(#,
- 0 as t - ±00,where #
is some vector in In this context, reader is also referredto Lemma 2 of page 626 in
[7]..
For
this,
we need anexample
of asingularly
continuousstieltjes
measureconstructed
by
Schaeffer[16],
which is stated as follows :Given r :
[0, oo)
-[0, oo)
anyincreasing function,
there exists a realnon-decreasing singularly
continuous function such thatSince addition of a constant does not
change anything,
we normalize Fso that
F( - x)
= 0 and defineThen
clearly
a is anon-decreasing
continuousfunction, singularly
conti-nuous in
[0, 2x].
Now we use the main theorem of Naimark[17,
p.282]
toarrive at the
unique
second order linear differential operator associated with thespectral
measureo-(/t,).
Conditions(A)
and(B)
of page 270 in[1 7]
are
easily
verified as also the fact that the set ofpoints
at which6(~,)
increaseshas at least one finite limit
point. Therefore,
one has aunique
differential operatorL( p) given
aswith a
potential
function p continuous in[0, CfJ)
andboundary
conditionof the tvne
Let
Lo
be theself-adjoint
operatorgiven by (29)
and let[1
be any self-adjoint
extension of the realsymmetric
operatorL1
inoo) given
asAnnales de l’Institut Henri Poincaré - Section A
where
f oo )
and I = 1,2,
....Then,
we construct the direct sumand
It is clear that for any
~6~(~ - {0 }),
In other
words,
we have embedded the one-dimensional[0, oo) problem
in three dimensions.
Now
}l=0,1,2...
such thatl
= 0 for all I 1 and0
= thecharacteristic function of
[0, 2~],
where~o, ~~
denote therepresentatives
of the
spectral representation
ofLo, Ll respectively.
Thenand with the choice
r(
one hasfor every B > 0
and I t I
- oo .Also,
since thepotential
function p is continuous in[C, oo )
it islocally square-integrable
in fR3 and thereforeby [18,
p.106]
one observes thatPs(H -
is compact. This leads to the conclusion thatwhere the same vector as
given above, clearly belongs
toVol. XXVI, n° 3 - 1977.
276 K. B. SINHA
APPENDIX
Here, we prove two propositions which have been used in the text.
PROPOSITION 1. - Let f be a function belonging to and uniformly continuous.
Then
Proof - Since f (x) is continuous, the points where > 5 > 0 form a set of intervals.
The length of such an interval (x 1, x2) tends to 0 as oc, since
Now since ) = ð,
which tends to 0, by choosing first ~, then ,ri and observing that ) f(x) - /(xi)) I - 0 uniformly in x 1.
Proof - The proof is done in three steps. First, we claim that +
whenever f, g E the class of Schwartz functions. This follows from the fact that
f(ç + ço) - 0 for all ç I - oo and an application of Lebesgue dominated conver-
gence theorem. Next, we approximate g in Lp by a sequence gn E Y and observe that
1 1 where f and - + - = 1.
p q
Finally, we approximate f ~ L1 by a sequence fm E!7 and conclude that
where we have used the fact that g E L x.
ACKNOWLEDGMENTS
The author is indebted to Dr. V. GEORGESCU for the example of the section 4 and to Dr. W. AMREIN for useful comments.
REFERENCES
[1] W. O. AMREIN and V. GEORGESCU, On the characterization of bound states and scatter-
ing states in quantum mechanics, Helv. Phys. Acta, t. 46, 1973, p. 635.
Annales de l’Institut Henri Poincaré - Section A
[2] D. RUELLE, A remark on bound states in potential scattering theory, Nuovo Cimento,
t. 61 A, 1969, p. 655.
[3] K. GUSTAFSON, Candidates for 03C3a.c. and Ha.c. ; Scattering theory in mathematical
physics, edited by J. A. Lavita and J. P. Marchand, D. Reidel Publishing Company,
1974.
[4] G. R. ALLCOCK, Annals of physics, t. 53, 1969, p. 253-286.
[5] J. M. JAUCH, K. B. SINHA and B. MISRA, Time-delay in scattering processes, Helv.
Phys. Acta, t. 45, 1972, p. 398.
[6] S. BOCHNER, Lectures on Fourier Integrals, Princeton University Press, 1959.
[7] K. B. SINHA, On the decay of an unstable particle, Helv. Phys. Acta, t. 45, 1972, p. 619.
[8] N. DUNFORD and J. T. SCHWARTZ, Linear operators, Part I, Wiley (Interscience),
1958.
[9] T. KATO, Perturbation theory of linear operators, Springer-Verlag, 1966, (see page 516).
[10] D. B. PEARSON, a) An example in potential scattering illustrating the breakdown of
asymptotic completeness, Comm. Math. Phys., t. 40, 1975, p. 125.
D. B. PEARSON, b) General theory of potential scattering with absorption at local singularities, Helv. Phys. Acta, t. 48, 1975, p. 639.
[11] B. SIMON, Quantum mechanics for Hamiltonians defined as quadratic forms, Princeton University Press, 1971.
[12] T. KATO, Wave operators and similarly for some non-selfadjoint operators, Math.
Ann., t. 162, 1966, p. 258.
[13] P. A. REJTO and K. SINHA, Absolute continuity for a 1-dimensional model of the Stark-Hamiltonian, Helv. Phys. Acta, t. 49, 1976, p. 389.
[14] P. A. REJTO, On a theorem of Titchmarsh-Naimark-Walter concerning absolutely
continuous operators II, University of Gezeva preprint, 1975.
[15] R. J. IORIO and M. O’CARROLL, Asymptotic completeness for multiparticle Schrö- dinger-Hamiltonians with weak potentials, Comm. Math. Phys., t. 27, 1972, p. 137.
[16] A. C. SCHAEFFER, The Fourier-Stieltjes coefficients of a function of bounded variation,
Amer. Jour. Math., t. 61, 1939, p. 934.
[17] M. A. NAIMARK, Linear differential operators, Part II, G. Harrap and Company, London, 1968.
[18] W. O. AMREIN, Some questions in non-relativistic quantum scattering theory, Scattering theory in Mathematical Physics, edited by J. A. Lavita and J. P. Marchand, D. Reidel Publishing Company, 1974.
(Manuscrit reçu le 23 mai 1976).
Vol. XXVI, n° 3 - 1977.