A NNALES DE L ’I. H. P., SECTION A
P IERRE F ERRERO
O LIVIER DE P AZZIS D ERECK W. R OBINSON
Scattering theory with singular potentials. II. The n-body problem and hard cores
Annales de l’I. H. P., section A, tome 21, n
o3 (1974), p. 217-231
<http://www.numdam.org/item?id=AIHPA_1974__21_3_217_0>
© Gauthier-Villars, 1974, 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/
217
Scattering theory with singular potentials.
II. The n-body problem and hard
coresPierre FERRERO (*), Olivier de PAZZIS (*)
and Derek W. ROBINSON (**)
Vol. XXI, nO 3, 1974, Physique , théorique. ,
ABSTRACT. Results of absolute
continuity
andasymptotic completeness
are
proved
forn-particles interacting
withpositive, spherically symmetric, decreasing potentials
which arearbitrarily singular
at theorigin.
Hardcores are also allowed. In
particular
we deduce that thescattering
matrixfor n hard
spheres
isunitary.
Results forweakly
attractivepotentials
arealso
given.
Our results are valid in all but two dimensional space.INTRODUCTION
In an earlier paper
[1],
which we refer to asI,
one of usdeveloped
thetheory
ofscattering
to twoparticles interacting
withpositive singular potentials.
In the present paper we extend many of the results of I to thecase of
n-particles.
We also demonstrate how to handle hard cores. The methods used are similar to those of I and involve extensions of Lavine’s work[2] [3]
onpositive potentials.
Wepoint
out that these methods canalso be used to discuss
weakly
attractivepotentials
and hence extend results of Iorio and O’Carroll[6].
(*) Physique Théorique, C. N. R. S., Marseille.
(**) University of Aix-Marseille II, Luminy, Marseille.
Postal address : Centre de Physique Théorique, C. N. R. S., 31, chemin J.-Aiguier,
13274 Marseille Cedex 2 (France).
Annales de l’Institut Henri Poincaré - Section A-Vol. XXI, n° 3 - 1974. 16
1. THE HAMILTONIAN
In this section we discuss the definition of a
self-adjoint
Hamiltonian forn-particles interacting
with apositive singular potential
and derive anapproximation
scheme for this Hamiltonian. The discussionparallels
part of the discussion of the twobody
Hamiltoniangiven
in 1. The results for then-body
case are,however,
weaker as weonly
have ananalogue
of thequadratic
form result of 1. Thisis, nevertheless,
sufficient for thesubsequent applications
toscattering theory, although
it leaves open a number of naturalquestions
which we mention at the end of the section.A. Point
particles
We consider
n-particles
in theconfiguration
space and thecorrespond- ing
Hilbert space~~"~
of states isgiven by L2( f~’’"), i.
E is a func-tion of n variables ... , such that
dx
1 ... oo .If one wishes to consider
particles obeying
Bose or Fermi statistics oneconsiders
only
thesubspaces H(n)± spanned by 03C8
which aretotally symmetric,
or
antisymmetric,
in the coordinates ... ,xn).
This restriction is of norelevance in the
following
and all our results are valid either on or.~ t3.
Thus we willignore
symmetry restrictions and work onWe associate with each
particle
a momentum pi, i =1,
... , n which acts as a differential operator onwhere = Th~ total kinetic energy operator for the system
can be introduced as a
symmetric
operatorThe kinetic energy of the center of mass is
given by
and the kinetic energy of the relative motion is defined
by
It is well-known that
Ttot
and %Trei
are ’positive
’ andessentially self adjoint
and oif v > 1 we will denote their
self-adjoint
extensionby Htot
and %Hrei.
If v = 1Annales de l’Institut Henri Poincaré - Section A
we define
Htot
andHrel
as theself-adjoint
operators associated with the closures of thefollowing quadratic
formswhere
D(ttot)
= = = The setS"
is defi.nedby S"
=f (xl,
... ,x") ; (xl,
... ,xn)
E xi = x~ for some i}
This choice of
Htot
andHrel corresponds
toparticles
withpoint
hardcores.
We denote
by
q~ the operator ofmultiplication by
x~. Thefollowing
estimates for
Htot
andHrel
will be of use in thesequel.
LEMMA 1.1. fihe
following inequalities
arevalid,
in the senseof quadratic forms
1 W
Proof
Thefollowing
calculations are understood to be betweenCo
vectors. We have
But it is
proved
forexample
in1,
thatand
hence,
It remains to prove that the first two terms
give
apositive
contribution.But we have
Vol. XXI, nO 3 -1974.
where the
inequality
follows from theconvexity
Theinequality
can beextended to the domain of the closed
quadratic
formhrel
associated withHrel by
closure. Thiscompletes
theproof.
Next we wish to discuss the addition of an
interparticle
interaction V to The interaction will begiven
asamultiplication by
a realpotential
...,
~) ~
..., ...,xn)
= ..., ...,xn)
and the domain of V is
given by D(V)
={ 03C8 ; dx1
...12 oo }.
At the moment we will not
specify
furtherproperties
of v but in ourappli-
cations V will
always
be lower-semi-boundeddensely defined,
and henceself-adjoint by
definition.We will need to use the
quadratic
formhtot hrel
and V associated withHrel
and VFurther if t is any closable
quadratic
form we denote its closureby
t.THEOREM 1 2. 2014 Let the
potential
v associated with the interactions beposi-
tive, or moregenerally
lowersemi-bounded,
and such thatvEL OO(K) for
each compact K c whereSn
denotes thesingularity
setSn = { (xl,
...,xn);
xl E and xi = x J
for
somepair
i1= j
E( 1, 2,
... ,n) ~ .
Itfollows
thatif
v 1= 2 the Friedrichs extension and
theform
sum extensionof Htot
+03BD(Hrel
+v)
are
equal,
i. e.Proof.
Theproof
of theinequalities
is very similar to that of theorem 1. 2 in 1. Let us prove for instance the secondinequality
theproof
of the firstone is
actually
a little bitsimpler.
As
hrel
+ v Chrel
+ 03BD, to establishequality,
it suffices to construct, for every ({J ED(hrei
+v)
a sequenceD(Hrel)
nD(V)
such thatFirstly
note that if ~p ED(hrel
+~)
has compact support K in it is easy to construct a sequenceD(Hrel)
such that all qJL have their supports in a compact K’ with K ~ K’ ~ Rn03BD/Sn, and such thatAnnales de l’Institut Henri Poincare - Section S A
Then lim
p)
= 0 follows from the estimatesTherefore in this case ~p is
approximated
in the desired manner.Let
f L
be thefollowing
sequence offunctions, already
introduced in 1:Now if 03C6 E +
;)
then PL =FL03C6
=I1
is alsoin
D(/!rei
+~)
and it has compact support in Thus the ?L can beapproximated
in the desired manner from the discussion of the aboveparagraph.
It suffices then to prove thatThe first and third conditions follow from the dominated convergence theo-
rem. To prove the second condition we note that ~ E
implies
thatthere exists a linear
change
ofcoordinates x’i
=03A303B1ijxj
such that existsn
in the sense of
distribution, and hrel(03C6) = 03A3~~x’i03C6~2.
We used the fact that is a
positive
bilinear form in the pi. ThereforeNow
lim (1
-~)
= 0 from the dominated convergence theorem.Furthermore
Vol. XXI, no 3.1974.
This term converges to zero as L ~ oo . On the other hand
and it follows from lemma 1.1 that rp E
,-1)
so that this termconverges to zero. This
completes
theproof.
We recall now the
following
theorem ofapproximation,
which isproved
in 1.
THEOREM 1 .3. Let V be a
densely defined
interaction operator associated with apositive potential
v. AssumeHtot
+ V(resp. Hrel
+V)
isdensely defined
and that its Friedrichs extension andform
sum extension areequal.
Let { VL
be a sequenceof
interactions associated with bounded poten- tials vL such thatIt
follows
thatHtot
+VL (resp.
+V L) is D(Htot) (resp.
and
Htot
+VL (Hrel
+VL)
converges to the Friedrichs extensionof Htot
+ V(Hrel
+ the strong resolvent sense.B. Hard core
particles
In this subsection we discuss the definition of the Hamiltonian for
par-
ticles with hard cores. The discussion is similar to the
foregoing
but diffe-rences enter
essentially
because the hard coresgive
rise to a choice of « free »Hamiltonians each
corresponding
to a different choice ofboundary
condi-tion on the cores.
The Hilbert space for n
particles
withspherical
hard cores ofdiameter « a » is a closed
subspace spanned by 03C8
EH(n)
which vanishon the
singularity
set whereS~ == { (x~
..., x~ E~ I
afor some
pair
i~ j E (1, 2,
...,n) ~
i. e. ...,xn)
= 0 whenever theAnnales de l’Institut Henri Poincaré - Section A
distance between any
pair
of thecoordinates xi
whichrepresent
thepositions
of the
particle
centres, is smaller than a.Next consider the differential
operators Ttot, Trel
introduced in the pre- vioussubsection,
restricted to These operators are nolonger essentially self adjoint
and hence it is notpossible
toreproduce Htot
andHrel
in the same
unique
manner as before. Instead we will defineHtot
andH~
as the Friedrichs extensions of
Ttot
andTrel (This corresponds
to the defini- tionpreviously adopted
forpoint particles
when v =1).
It is well-known that this definitionimplies
thatHtot
andHarel
are differential operators such thatonly
if ...,xn)
= 0 for ..., E where denotes the surface ofThese new definitions lead to a result similar to lemma 1.1.
LEMMA 1.4.
- If
v #= 2the following inequalities
arein the sense ’
of quadratic forms.
Proof.
- Theproof
is identical to theproof
of lemma 1.1except
we use( p~ - p~)2 > (I I
-a)2
which is valid if v ~ 2.Let us indicate how this
inequality
is deduced. It suffices to considerp2 - - ’12 acting
onL 2(Rv). If 03C6
E and wedecompose
with respectto
spherical
harmonics with coefficients[ x -~ [ x I)
and then introduce~r.([ x D _ [ ,x I)
we find thatBut if
~p(x)
= 0for
we then findWe have used the well-known
inequality - d 2 jdr 2 > 1/4r2
and a translation of coordinates.We can now formulate the
analogue
of theorem 1.3.Vol. XXI, no 3 -1974.
THEOREM 1.5. Let the
potential
v associated with the interaction bepositive,
or moregenerally
lowersemi-bounded,
and such thatVEL OO(K) for
each compact K c Itfollows that, if
v-2 the Friederichs extension and theform
sum extensionof Htot
++ V)
areequal,
1. e.
Proof.
Theproof
is identical to theproof
of theorem 1. 3 if onereplaces
the sequence of functions
fL by
thefollowing
The main result of this subsection is the
following :
THEOREM 1. 6. Let V be a
densely defined
interaction operator on associated with apositive potential
v. AssumeHatot
+ +V)
isdensely defined
and that its Friederichs extension andform
sum extension areequal.
Let {VL }L
0 be a sequenceof
interactions associated with boundedpotentials
vL such thatFinally
let{ Um
the setof interactions
onYf(n) defined by the potentials
It
follows
thatHtot
+Um
+Vm(Hrel
+Um
+Vm)
isself-adjoint
onand converges to the Friederichs extension
of Hatot
+V(Hrel
+V)
in the strong resolvent sense.Explicitly
for
all E > 0 and ’similarly for Hrel.
. Annales de Henri Poincare - Section A
Proof.
The sequence of bounded operators(Htot
+Um
+Vm
+E) -1
is
monotonically decreasing
and hence convergesstrongly.
But ifwhich converges to zero oo.
Next we shall consider the convergence of
(Htot
+Urn
+E) 1
onFirstly
we note that the restriction of lim(Htot
+Urn
+E) -1
tois an operator
R(E)
on andsecondly
we wish toidentify
this limit as+
E) -1.
In fact theforegoing
estimate and the Schwartzinequality imply immediately
that lim(Htot
+Urn
+E) 1
is apositive
boundedself-adjoint
operatorR(E)
onThe next step consists in
showing
thatR(E)
is the resolvent of some ope- rator. Let us prove thatR(E)
is aninjective mapping. Suppose
thatfor some 03C6 E One has for
some 03C8
ED(Htot)
Using
the resolventequation
thisyields :
Taking 03C8
E one sees thatUm03C8
isidentically
zero and hence(~, ({J)
=0,
thisimplies
({J = 0. Next note that the range ofR(E)
is densein
~°an~
becauseR(E)
is aninjective self adjoint
operator. Therefore we can consider the operatorR(E) -1
withdomain,
It remains to show that
R(E) -1 -
E =Htot.
Let ~p E then cp canalso be considered as a vector ~p E with the property that ~p vanishes
on the
singularity
set with this identification one has03C6 ~ D(Htot)
and
Htot03C6
= Next foreach 1/1
EH(n)
one can use the resolventequation
to deduce thatTherefore
taking
the limit we find thatThis demonstrates that
~p)
+cp)
=(~,
But asis a core for
htot
we conclude thatNext we remark that the above argument can be
respected
to concludeVol. XXI, n° 3 - 1974.
that
(Htot
+Um
+Vn
+E) -1
converges to(Htot
+Vn
+E)-1
as m oo .Theorem 1.3 can then be
applied
to deduce that(Htot
+V"
+E) -1
converges to(H~t
+E)-1
as n oo. Howeverby monotonicity
thediagonal
limitm = ~ -~ oo is identical to this double limit.
The result for can now be deduced
by noting
that the Friederichs extension and the form sum extension ofHarel
and coincide. As in 1 theimportance
of thisapproximation
theorem is the fact that ifHn
H in the strong resolvent sense thenexp {iHnt}
convergesstrongly
toexp {iHt}
uniformly
for t in any interval of !?.The above results
concerning equality
of form extensions are weaker than the results obtained for twoparticles
in 1. For twoparticles Hrel
+ Vis
essentially self-adjoint
onC~(1R2B1BS2)
if the interaction issufficiently repulsive.
The naturalconjecture
forn-particle
is that thisself-adjointness pertains
wheneverand v E where
Cv
= max(0,
1 -(v - 2)2/4).
If v ~ 4 then theresult can be
proved
as in1,
but thephysically interesting
cases v ~ 3 aremore difficult.
Finally
we remark that it is not clear whether theassumption
v E is necessary in theorem 1. 2 or whether this could be
replaced by
2. POSITIVE DECREASING INTERACTIONS
In this section we consider
only
these interactions Vgiven by
transla-tionally
invariant twobody potentials
vij of the formUsing
the methods of Lavine ’[2] [3],
thetechniques
of 1 and o the results of theprevious
section one ’ can now derive ’ thefollowing.
THEOREM 2.1. V be an interaction
given by two-body potentials
v=l, withfollowing
’properties.
Annales de l’Institut Henri Poincaré - Section A
Assume either that
vij
EO})
or vij E whereSa = { x; I x | 1
a}.
Inthe first
casedefine
H as the Friederichs extensionof Hrel
+ V in the second casedefine
Ha as the Friederichs extensionof Harel
1 + V. Itfollows
that Hand Ha haveabsolutely
continuous spectrumif v 2.
THEOREM 2.2.
- Adopt
the sameassumptions
anddefinitions
as in theo-rem 2.1. Further let vil
satisfy
It follows
that the Møller matricesSZ t (H, Hrel)’ H)
exist asunitary
mappings on
and the Møller matricesH.a)
exist as
unitary mappings
between and v # 2.Proof -
Theproof
of these two theorems is very similar to theproof given
in 1 for twoparticles.
We will sketch thisproof
for the case ofpoint particles,
theproof
for hard coreparticles
is identical except for notations.First let
v i~ ~
be a sequence of boundedpotentials
whichapproximate
v~~in the sense of theorem 1. 3. We choose the
i~
to bespherically symmetric
and
decreasing.
Let denote the Hamiltonian defined withvi~ ~ replacing
Then converges to H in the strong resolvent sense. In
particular
ifB is a bounded operator which is smooth
uniformly
inL,
i. e.with C
independent
ofL and ~,
then B is also H smooth.Next we use Lavine’s commutator estimates
[2], adapted slightly
in themanner of
1,
to construct operators B which areuniformly
smooth.These estimates are obtained with the aid of a progress operator
Here we have introduced relative coordinates
and with
By calculating
the commutatorsAg]
andestimating
a lower boundVol. XXI, nO 3 - 1974.
in the manner of 1 and
[2],
one concludes that thefollowing
operatorsare
uniformly H(L)-smooth
and hence H-smoothThe conclusion of theorem 2.1 then follows from Kato’s results
[4]
whichstate that if B is H-smooth the range of B* is contained in the
subspace
of absolutecontinuity
of H. But the range of +1) - a
is dense.To
complete
theproof
of theorem 2.2 one argues in the manner of 1.First one proves that the Moller matrices
exist. This is a known
result,
see forexample [S],
and it is established in two parts. First let ~ij denote apositive
COO function such thatand introduce
i wyn
Thus F = 1 in a
neighbourhood
of thesingularity
set and F = 0 farfrom this set. One shows that
and
Next one establishes
by
use of the smoothness estimates that thefollowing
limits exist
and
For
example
the first limit isgiven
as followswhere ’ C is a
suitably
chosen constant.Annales de l’Institut Henri Poincare - Section A
But from the second
expression
we see that the firstderivative,
with respect to t isuniformly
bounded and from the lastexpression
and smooth-ness the function is
integrable.
Thus it tends to zero atinfinity.
The existence
H)
isproved
inexactly
the same manner asthe two
body
case, see1,
lemma 3.3.Finally using
the arguments of1,
lemma 3 . 4 and theorem 3 . 5 one concludes from the existence
Hrd)
and
H)
that the Møller matricesH)
exist. We omit thedetails.
In
[3]
Lavine has shown that if V isrelatively
bounded with respect toHrel
and = the conclusions of theorem 2 . 2 are still valid. In 1 this result wasgeneralized
tosingular potentials
fortwo-particles.
We have been unable to find a
proof
in then-particle
case which is valid forsingular potentials.
3. WEAK ATTRACTION
In the
previous
section we have establishedasymptotic completeness
inthe
n-particle problem
forrepulsive
interactions.Apparently
theonly
otherresult of this type which has been established from first
principles
is theresult of Iorio and O’Carroll
[6].
These authors show that if v ~ 3 andn for some E > 0 and H =
Ho
+ ÀV definedas a form sum then the Moller matrices
Ho), H)
exist andare
unitary
forall ~, l 1 ) where ~,o
is a constantindependent
of n.In
particular
the spectrum ofHo
+ ÀV is thenabsolutely
continuous. Thus the interactions consideredby
these authors can bepartly (or wholly)
attractive but their results are
only
valid when the attraction is too weakto form bound states.
We will now show that the methods that we have used can also be
applied
to obtain a weak
coupling
result of this nature. The basic estimate is animprovement
of the commutator estimates used fordecreasing potentials.
We
give
this result for boundedpotentials,
lower semi-boundedpotentials
can be handled
by approximation.
LEMMA 3.1. - Let V be an interaction associated with bounded two
body potentials 03BDij
which arespherically symmetrie
and oncedifferentiable.
LetAg
denote the progress operator
defined in
section2,
and set H =Hrel
+ V.One
has for
~p EC~
and v 7~ 2where
Vol. XXI, ne 3 -1974.
Proof.
One hasOne shows
by
the calculations of 1 that the first term is bounded belowby
the first two terms of Let us considerBut one has and
Therefore
and the
proof
iscomplete.
Using
this estimation one can deduce the absence of bound states andasymptotic completeness
forpotentials
which arepossibly
attractive. Forexample
one has thefollowing
result.THEOREM 3 . 2. Let V be an interaction
given by
twobody potentials
vijwith
following properties.
1. vij is
spherically symmetric
and lower semi-bounded.2. vij is once
continuously differentiable
on 0}.
4. There ’ > 0 such that
Let H denote the Friederichs extension
of Hret
+ V. Itfollows, for
v #:2,
that the spectrumof
H isabsolutely
continuous and the Maller matricesH)
exist asunitary mappings
onProof.
Theproof
isagain
similar toprevious proofs
and so we willonly
sketch the outlines.First note that can
only
have apositive singularity
at theorigin
andthat vi~ can be
decomposed
as a sum of apositive decreasing potential
anda bounded
potential
which satisfies theassumptions
of the theorem. Thepositive decreasing potential
can beapproximated
from belowby
boundeddecreasing potentials
and theapproximation procedures
of theorem 1.2 willapply.
Annales de l’Institut Henri Poincare - Section A
Next
using
the bound on the boundand the results of Lemma 3.1 we find that H
(or
itsapproximates) satisfy
where cl, c2 >
0,
for all Next we have that v > - B for someB and hence
It then follows as before that
are H-smooth. This establishes that the spectrum of H is
absolutely
conti-nuous. The
proof
ofasymptotic completeness
isessentially unchanged.
Remark 1. The conditions on 03BDij in the above theorem allow 03BDij to have an
arbitrary positive singularity
at theorigin.
If one isonly
interestedin 03BDij which are Kato
perturbations
of the conditions on 03BDij can be weakened. It is nolonger
necessary that is lower semi-bounded and one can allow atinfinity.
Theproof
ofasymptotic completeness
then follows from the work of Lavine[3]
with the modified estimatesgiven
above.Remark 2. One allows under the conditions of remark 1
potentials
v~~which are
0(J B-2-6)
atinfinity.
This is in a sense theoptimal
behaviourat
infinity
becausenegative potentials
with a slower decreaseinevitably
lead to the formation of bound states, cf.
[6].
Results of the above type areinterpretable
as weakcoupling
statements in the sense of Iorio and O’Car- rollM.
Note however that in the latter authors result thecoupling
constant Ais restricted as a function of the number of
particles
n ;by
a condition of theform ~ ~ ~ I ~,o/n(n - 1).
Our resultgives only
a restriction of thetype
~ ~, j I ~o/(~ - 1).
Fromstability
considerations this latter behaviour should beoptimal.
[1] D. W. ROBINSON, Marseille Preprint, 73/P. 572.
[2] R. B. LAVINE, Commun. Math. Phys., t. 20, 1971, p. 301-323.
[3] R. B. LAVINE, J. Math. Phys., t. 14, 1973, p. 376-379.
[4] T. KATO, Perturbation Theory for Linear Operators. Springer-Verlag, Berlin, 1966.
[5] W. HUNZIKER, Helv. Phys. Acta, t. 40, 1967, p. 1052-1062.
[6] IORIO and O’CARROLL, Commun. Math. Phys., t. 27, 1972, p. 137-145.
(Manuscrit reçu le 24 janvier 1974)
Vol. XXI, n° 3 - 1974.