Вы находитесь на странице: 1из 8

Nuclear Physics 7 (1958) 4 5 1 - - 4 5 8 ; (~) North-Holland Publishing Co.

, Amsterdam
Not to be reproduced by photoprint or microfilm without written permission from the publisher

S U R LA D t ~ T E R M I N A T I O N DE L'I~TAT F O N D A M E N T A L
D ' U N SYSTI~ME DE P A R T I C U L E S
CLAUDE BLOCH

Centre d'~tudes Nucldaires de Saclay, Gi]-sur-Yvette (S. ~ 0.)


1Re~u le 18 m a r s 1958
T h e linked d i a g r a m e x p a n s i o n s of t h e g r o u n d s t a t e e n e r g y a n d w a v e f u n c t i o n
of a s y s t e m of particles are derived b y a m e t h o d i n v o l v i n g t h e u s e of t h e t i m e - d e p e n d e n t
as well as t h e t i m e - i n d e p e n d e n t f o r m u l a t i o n s of p e r t u r b a t i o n t h e o r y . T h e essential
s t e p is t h e derivation, in t h e t i m e - d e p e n d e n t f o r m u l a t i o n , of a s i m p l e e x p o n e n t i a l f o r m u l a
o b t a i n e d b y s u m m a t i o n of t h e d i s c o n n e c t e d v a c u u m - v a c u u m d i a g r a m s .

Abstract:

1. Introduction

Les formules dormant l'dnergie de liaison et la fonction d'onde de l'6tat


fondamental sous la forme d'une somme de termes relatifs ~ des diagrammes
lids (linked diagrams) ou connexes jouent un r61e fondamental dans l'dtude
des syst6mes composds d'un grand nombre de particules. Ces formules,
6tablies per Brueckner 1) jusqu'au quatri~me ordre, ont dtd ddmontrdes
clans toute leur gdndralitd par Goldstone 3) puis par Hugenholtz 3).
Nous nous proposons d'en donner ici une ddmonstration basde sur l'utilisation simultande de la mdthode des perturbations ddpendantes du temps et
de la mdthode des perturbations inddpendantes du temps. L'intdr~t de ce
procddd rdside dans le fait que certaines propridtds s'expriment simplement
dans la formulation inddpendante du temps, alors que d'autres et en particulier la formule exponentielle qui sera dtablie au paragraphe 3 ne s'expriment
simplement que dans la formulation ddpendante du temps.
La mdthode ddcrite ici conduit par une gdndralisation tr~s naturelle 4)
un ddveloppement du potentiel de Gibbs qui prdsente sur les ddveloppements habituels de la mdcanique statistique l'avantage de tenir compte
beaucoup mieux du caract6re de symdtrie des fonctions d'onde des bosons
ou des fermions.
2. Les Fonctions O(e) et

U(t)

Les mdthodes des perturbations inddpendantes du temps et ddpendantes


du temps reposent essentiellement sur les fonctions respectives
1
=

(1)
U (t) = e i n t e - i t l t,
451

452

BLOCH

CLAUDE

oh H est l'Hamiltonien du syst6me


H = Ho+V,

(2)

et H o l'Hamiltonien d&rivant le syst~me correspondant de particules inddpendantes. La fonction G(e), oh 8 est une variable complexe a y a n t la
dimension d'une 6nergie, est la fonction de Green du syst~me t alors que
U(t) est l'opdrateur d'6volution en fonction du temps dans la repr&entation d'interaction.
Ces deux fonctions sont reli&s par une transformation du type de Fourier:

U(t)= ~T~if c e"Ho-*)'G(e) de,


a(e) = _1 f~:oo e ~(e-H)* U(t)
~ o

(3)

dt,

oh C est un contour compos6 d'une parall~le ~ l'axe r6el en dessous de celuici parcourue dans le sens positif et d'une parall~le au-dessus parcourue dans
le sens n6gatif (fig. 1). Dans la seconde formule, il faut &endre l'int6grale
jusqu'~ + oo lorsque la partie imaginaire de e est positive et jusqu'k --oo
dans le cas contraire.
,qt
tm

Fig. 1. Le contour d'int6gration C de la formule (3) darts le plan complexe des e.

Pour d6montrer ces relations, il suffit d'&rire G(e) et U(t) sous la forme
1

G(~) = ~, r n > ~ < n l ,


.

~-~.

(4)

U (t) = e 'no' ~, In ) e-i~" ' ( hi,


n

en appelant in) et E n les fonctions propres et les valeurs propres de H.


En substituant ces expressions dans (3), la v6rification des formules de
transformation se ram~ne k des calculs d'intdgrales 616mentaires.
Les fonctions G(e) et U(t) peuvent ~tre d6veloppdes en puissances de V
sous la forme bien connue
G(e)

e-- Ho ,=0

V e--n

g(t) = ~ ( - i ) ,
~=0

1~> t l >

...>

(5)
dt~dt~.., dt, V(t~)V(t2)... V(t,).
t~>0

Dans le second d6veloppement nous avons supposd t ~ 0, et nous avons pos6


V(t) = eiHoeV e -iH*.
(6)
? Hugenholtz a) appelle rdsolvante la fonction

--G(z).

L'1~TAT FONDAMENTAL D'UN SYSTI~ME DE PARTICULES

453

I1 est extr6mement commode pour analyser les ddveloppements (5)


d'utiliser le formalisme de la seconde quantification. Nous suivrons de tr&
pros dans cet article les notations de Goldstone, et nous utiliserons le formalisme de la seconde quantification en prenant par ddfinition pour dtat
du vide l'&at fondamental (suppos6 non ddgdndrd) du systbme de particules
inddpendantes.
Ceci conduit ~ mettre les ddveloppements (5) sous la forme de sommes
de termes associ& /~ t o u s l e s diagrammes qu'on peut dessiner. Les termes
des deux ddveloppements correspondant au m~me diagramme se transforment l'un dans l'autre sous l'effet des transformations (3).
Rappelons qu'on appelle partie lide (linked) d'un diagramme toute la
pattie du diagramme qui peut 6tre atteinte en suivant les ]ignes du diagramme lorsqu'on entre dans celui-ci par les lignes ext&ieures. On appelle
partie connexe d'un diagramme une partie qui peut ~tre parcourue enti~rement en suivant les lignes intdrieures. Un diagramme est dit lid lorsqu'il
n'a qu'une partie lide, et connexe lorsqu'il n'a qu'une partie connexe.

3. La F o r m u l e Exponentielle
Supposons que nous voulions calculer la quantit6
(01V(t) 10).
(7)
Les diagrammes qui interviennent iei sont tousles diagrammes sans lignes
extdrieures ou diagrammes vide-vide. Un diagramme de ce type est en
gdndral composd de plusieurs parties connexes. Ddsignons par F 1,/'2,/'3 . . . .
l'ensemble des diagrammes vide-vide connexes. Le diagramme vide-vide le
plus gdndral sera de la forme
F = niG+n~/'~+

....

(nl, n~ . . . . .

o, 1, 2 ....

).

Pour un diagramme d&ermind, les temps auxquels se produisent les interactions sont ordonn& d'une mani&re bien ddterminde. Lorsqu'un diagramme
est composd de plusieurs parties eonnexes on peut former une /amille de

o o iiii
(,]

(z ]

(W

Fig. 2. U n e famille de d i a g r a m m e s v i d e - v i d e cornpos6s de d e u x p a r t i e s c o n n e x e s distinctes.

diagrammes semblables qui ne diffbrent les uns des autres que par la faqon
dont sont ordonn& les temps relatifs ~ des parties connexes diff&entes.
Ainsi, les fig. 2 et 3 reprdsentent des familles de diagrammes semblables

454

CLAUDE

BLOCH

comprenant deux parties connexes. Lorsqu'on consid~re la somme des contributions provenant de t o u s l e s diagrammes d'une famiLle, seuls les temps
relatifs aux interactions d'une m~me partie connexe sont ordonn6s les uns

rb

?7]

-J

Fig. 3. U n e famille de d i a g r a m m e s vide-vide composds de d e u x parties connexes identiques.

par rapport aux autres. I1 en rdsulte que la somme de ces contributions


s'dcrit
(0[Ur(t) ]0) = (0[ Ur,(t)[o) n, (ol Ur,(t)lO)n'...
(8)

(O[Ur,(t)]O) ddsigne la contribution A (7) provenant du diagramme F~.


Lorsqu'un diagramme comprend plusieurs parties connexes identiques,
les membres de la famille ne sont pas tous distincts. Ainsi, la fig. 3 reprdsente
les membres d'une famille composde de diagrammes formds de deux parties
connexes identiques. Ces diagrammes sont classds par groupes de deux qui
se ddduisent Fun de l'autre par permutation des deux parties connexes.
Cette opdration ne donnant pas naissance ~ des diagrammes nouveaux, on
voit que cheque diagramme est comptd deux fois dens la famille. Plus
gdndralement, si une partie connexe figure n fois, la famille obtenue en
modifiant de routes les faqons possibles l'ordre des temps relatifs ~ des parties
distinctes se composera de groupes n l diagrammes se ddduisant les uns des
autres par permutation des parties connexes identiques. I1 en rdsulte que
(7) peut s'dcrire
oh

(0[U(t)10) :

O[Ur,(t)]O)nl(O[Ur,(t)[O)"'''"

n l , n z , - - . n 1! n 2 . . . .

= exp

[(O[Ur,(t)[O)+(O]Ur~(t)]O)-- ...],

ou encore
(01U (t) [0) = exp (01U (t) ]O)e,

(9)

L'I~TAT FONDAMENTAL

D'UN

SYSTI~ME DE

PARTICULES

455

oh (0[U(t)10)e d6signe la somme des contributions provenant des diagrammes


connexes, n faut ici faire la convention que le diagramme ne comprenant
aucune ligne (auquel correspond le terme 1 dans le d6veloppement (5) de
U(t)) n'est pas un diagramme connexe, et ne doit, par cons6quent, pas ~tre
pris en consid6ration clans le calcul de (01U(t)10}e.
On remarquera que, dans le d6veloppement de G(e), l'6quivalent de la
factorisation (8) est beaucoup moins facile A mettre en 6vidence parce que
les d6nominateurs (,--H0)-I d6pendent des 6tats des particules dans Fensemble du diagramme, et non pas seulement ~ l'int6rieur d'une pattie
connexe. On peut cependant 6tablir la propri6t6 correspondante, soit
directement comme l'a fair Hugenholtz a), soit en transformant par les
formules (3) la propri6t6 6tablie ici.
La formule (9) s'~tend imm6diatement aux autres 616ments de matrice
de U(t) sous la forme
U ( t ) -~-

UL(t ) exp (0lV(t)10}c,

(lO)

oh UL(t ) d6signe la somme des contributions dues aux diagrammes lids, avec
la convention que le diagramme ne comprenant aucune ligne est un diagramme liC En effet, le diagramme le plus g6n6ral est la somme d'une partie
li6e (pouvant comprendre plusieurs parties connexes) et d'une partie videvide (fig. 4). En faisant, comme plus haut, la sommation des diagrammes

PQet~e ~ e

Po~o'e v / ~ . v , ' d e

Fig. 4. Le diagramme le plus g6n~ral.


vide-vide comprenant plusieurs parties connexes, on obtient imm6diatement
la formule (10).

4. L'l~nergie de l']~tat F o n d a m e n t a l
Nous allons maintenant, dans les d6veloppements pr6c6dents, poser
it ~- fl, oh fl est r6el. Dans le calcul du potentiel de Gibbs du syst~me (4),
on verra que fl sera l'inverse de la temp6rature. Ici nous n'utiliserons que le
passage A la limite/3--> ~ . Avec ce changement de notation, la premiere
relation (3) devient
1
U(fl) = zma~--~[ceP(n-*' G(e) de.
(If)

456

CLAUDE

BLOCH

De la seconde relation (4) nous d6duisons que


(0lV(fl)[0) = ~ [(0In)[ 2 eP~E0-E-~.
Lorsque fl -+ + ~ , le terme dominant dans le second membre de cette expression est celui pour lequel En est le plus petit, c'est-5.-dire l'&at
fondamental:
lim (0[U(fl)[0) = [(0[/}[ 2 e -p~Eo,
(12)
B -++oo

off 1/) d&igne la fonction d'onde de cet 6tat, et oh


A E o = E I - E o.
D'aprbs la relation (9), il nous suffit, pour 6valuer le premier membre
de (12), de calculer la quantit6
lim ( 0 ] g (fl)10)c = lim
p~+oo
~-.+o~ 2~i

e ~Eo-~ (0[G (e)[0)e de,

(13)

oh (0]G(e)]0>c ddsigne la somme des diagrammes vide-vide eonnexes de


G(e) qui peut s'&rire
(olG

1
(e)[o)~

--

(e--E0) ~

F(e)

en posant
1

F(e) = ( 0 l V + V e _ H - ~ o V + V e - ~ o V e - - ~ o V + . . .

[0)c.

Les diff6rents termes du d6veloppement de la fonction F(e) pr&entent des


singularitds pour toutes les valeurs propres de H o saul E o. En effet, un
diagramme connexe ne peut pas comprendre le vide comme dtat interm6diaire, et le vide est le seul dtat interm6diaire pour lequel (e--Ho)-I a
un p61e en E 0.
Compte tenu de ces propri6t6s analytiques, le contour C de la fig. 1 pour
l'int6grale (13) peut ~tre d&ompos6 en C0+C 1 suivant la fig. 5. Lorsque
0o

1
m

Fig. 5. Le contour d'int~gration de la formule (13) dans le plan complexe des e.

fl ~ + oo, le rapport de la contribution de C1 5. la contribution de Co qui


est enti~rement 5. gauche de Cx tend vers z~ro, et on peut &rire
de
lira (0[U(fl)[0)e = - ~ 1 f co ea~eo-'~ F(e) ~(t--E)

19--~-eeo

= F'(Eo)--flF(Eo),

L'~TA_T FONDAMENTAL D'UN SYST~ME DE PARTICULES

457

c o m m e le montre le calcul du r4sidu en Eo. D'apr~s (10) on a

lira <01U(/~)10> = eF'~~-pF~E*~,


B~+oo

et en identifiant avec (12) on obtient enfin les r4sultats que nous voulions
4tablir:
1
AE o = F(Eo) = ( 0 i V + V - V + . . . [0)e,
K01/>l~ = ev'(E0).

Eo--H o

La premiere relation est la formule de Goldstone ~); la seconde, donnant


le facteur de normalisation de la fonction d'onde de l'4tat fondamental a
4t4 4tablie pour la premiere fois par Hugenholtz 3).
On remarquera que ces raisonnements supposent qu'on peut effectuer les
int4grales de contour s6pa%ment sur chaque terme du d4veloppement en
puissances de l'interaction, et sommer ensuite le d4veloppement obtenu.
Cette hypoth~se qui est bien dans l'esprit de la m4thode des perturbations
n'est pas forc6ment toujours justifi4e.
La F o n c t i o n d ' O n d e de l'l~tat F o n d a m e n t a l

La m6thode du paragraphe pr4c4dent s'4tend facilement au calcul de


la fonction d'onde I/) de l'4tat fondamental. D'apr~s (4) on a

U(fl)lO > -~ eBHo ~_, In) e-BE-<n[0),


71

et
I1) :

lim ea(E,-no)

U(~)IO>/<IIO>.

p-++co

La relation (10) et les rdsultats du paragraphe prdc4dent sur la limite de


alors d'dcrire [/) sous la forme

<OlU(~)lO>e permettent

[/) ---- l i m e B(eo-no) UL(~)IO)<OI/>


#--~+oo

p-.+oo

Les diff4rents-termes:du d4veloppement de la fonction

GL(~/10>--~--Eo 1+ ~_----~V+ ~_/_/-----~V ~_noV+ ... LI0>


ont des singularit4s pour toutes les valeurs propres de H o, mais en E o ils
n'ont qu'un p61e simple.
Le contour d'int4gration peut 5. nouveau ~tre d4compos4 en C o et Ct
suivant la fig. 4 et la partie dominante pour fl--~ + oo provient de C0.
Le calcul du r4sidu en ce point donne enfin l'expression de Goldstone:

1 V)S lo)(oll>,
I1> ----/O~o (~o--Ho

458

CLAUDE BLOCH

Bibliographie
1)
2)
3)
4)

K.
J.
N.
C.

A. Brueckner, Phys. Rev. 100 (1955) 36


Goldstone, Proc. Roy. Soc. A 239 (1957) 267
M. Hugenholtz, Physica 23 (1957) 481
Bloch et C. De Dominicis, Nuclear Physics 7 (1958) 459

Вам также может понравиться