Vous êtes sur la page 1sur 104

Coherence quantique et dissipation

Magist`ere de Physique
Septembre-novembre 2003

Table des mati`


eres
Introduction

1 Coh
erence quantique et interf
erences `
a deux ondes

Lexperience des trous dYoung . . . . . . . . . . . . . . . . . . . . . . . .

Fonctions donde macroscopiques . . . . . . . . . . . . . . . . . . . . . . . 10

Le brouillage de la coherence dans une experience dYoung . . . . . . . . . 14

2 Champs quantiques et bains doscillateurs

17

Comment caracteriser un photon ? . . . . . . . . . . . . . . . . . . . . . . . 17

Quantification du mouvement dune corde vibrante . . . . . . . . . . . . . 22

Interferences `a plusieurs particules . . . . . . . . . . . . . . . . . . . . . . . 25

3 Lop
erateur densit
e

29

Etats purs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

Melanges statistiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

Exemples doperateurs densite . . . . . . . . . . . . . . . . . . . . . . . . . 35

Syst`emes intriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

Intrication non locale et paradoxe EPR . . . . . . . . . . . . . . . . . . . . 39

4 Le mouvement brownien classique

45

Force de friction et force de Langevin . . . . . . . . . . . . . . . . . . . . . 45

Proprietes statistiques de la force de Langevin . . . . . . . . . . . . . . . . 46

Evolution de la vitesse de la particule brownienne . . . . . . . . . . . . . . 48

Distribution de probabilite pour la vitesse . . . . . . . . . . . . . . . . . . 50


3

`
TABLE DES MATIERES

4
5

Le refroidissement datomes par laser . . . . . . . . . . . . . . . . . . . . . 53

5 L
equation pilote

59

Mod`eles de relaxation pour un spin 1/2 . . . . . . . . . . . . . . . . . . . . 59

Couplages en jeu dans le probl`eme general . . . . . . . . . . . . . . . . . . 62

Evolution de la matrice densite du petit syst`eme . . . . . . . . . . . . . . . 64

Relaxation et thermalisation dun spin 1/2 . . . . . . . . . . . . . . . . . . 67

6 Le mouvement brownien quantique

71

Couplage harmonique particule brownienne-fluide . . . . . . . . . . . . . 71

Lequation pilote . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

Equation de Fokker-Planck-Kramers . . . . . . . . . . . . . . . . . . . . . 76

La fragilite des etats (( chats de Schrodinger )) . . . . . . . . . . . . . . . . 77

7 Fonctions donde Monte-Carlo

83

La desexcitation dun niveau instable . . . . . . . . . . . . . . . . . . . . . 84

La methode generale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

Coherente et dissipation pour un syst`eme `a deux niveaux . . . . . . . . . . 89

8 Ondes de mati`
eres coh
erentes

93

La distribution de Bose-Einstein . . . . . . . . . . . . . . . . . . . . . . . . 93

Gaz de Bose `a une dimension . . . . . . . . . . . . . . . . . . . . . . . . . 95

Gaz de Bose `a 3 dimensions et condensation . . . . . . . . . . . . . . . . . 98

Interferences de condensats . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

Introduction g
en
erale
Un des principes les plus importants de la theorie quantique est sans conteste le principe de superposition. Si un syst`eme donne peut etre prepare dans chacun des deux
vecteurs detats |1 i et |2 i, alors les vecteurs
1 |1 i + 2 |2 i

(1)

sont egalement des etats accessibles au syst`eme. Ce principe de superposition intervient


dans de nombreuses experiences de physique quantique. Linterference observee dans un
dispositif de trous dYoung, par exemple, sinterpr`ete en disant que la particule est dans
un etat qui est la superposition du passage par le trou 1 et du passage par le trou 2.
On retrouve ces superpositions coherentes detats quantiques en resonance magnetique
nucleaire, en physique de la mati`ere condensee (jonctions Josephson, squids), ou encore
dans les experiences de collisions.
Quand on sinteresse `a un objet microscopique isole (atome, photon,...), ces superpositions coherentes detats nont a priori rien dexceptionnel. Si un atome dhydrog`ene
peut etre prepare dans letat |1si ou
dans letat |2si, pourquoi ne pourrait-il pas exister
egalement dans letat (|1si + |2si)/ 2 ? Si lobjet microscopique quon consid`ere nest pas
isole, mais couple `a un environnement, la physique devient beaucoup plus compliquee.
Letat du syst`eme global, objet+environnement, sera generalement intrique et secrira
sous la forme :
X
(j)
(j)
j |objet i |envir. i .
(2)
j

De cette intrication, naissent des correlations entre lobjet et lenvironnement, ainsi quune
modification des proprietes de coherence de lobjet, telles quelles se manifestent par
exemple dans une experience dinterference. Le syst`eme physique compose par lobjet
forme desormais un syst`eme ouvert, couple `a dautres syst`emes, et il ne peut donc pas
etre decrit par un vecteur detat |objet i.
Le but de ce cours est dabord de presenter les bases de letude de tels syst`emes
ouverts en mecanique quantique, cest-`a-dire definir les outils bien adaptes pour decrire
levolution dun objet quantique simple quand il est couple `a son environnement. Nous
etudierons souvent des situations physiques qui peuvent avoir un equivalent classique, mais
les conclusions seront radicalement differentes. Prenons lexemple du mouvement dune
particule ponctuelle libre, et interessons-nous `a la modification entranee par lexistence
dun environnement constitue par un fluide dilue. Classiquement, la premi`ere consequence
`a laquelle on songe est lapparition dune force de friction F = P , o`
u P designe
5

`
TABLE DES MATIERES

limpulsion de la particule. Cette force ralentit la particule (P (t) = P 0 et ) ; on pourrait navement penser que la version quantique de cet effet, via linegalite de Heisenberg
X P h
/2, est une augmentation de la (( coherence )) de la particule, puisque son
impulsion diminue. Nous verrons que la situation est plus complexe que cela ; dailleurs
en et ne preserverait pas les relations
une simple evolution de loperateur impulsion P
j , Pk ] = ih jk . Nous verrons quau niveau quantique, la dissipation
de commutation [X
quam`ene le fluide va de pair avec des fluctuations, et ces fluctuations limitent le degre de
coherence accessible.
La (( decoherence )) qui apparat lorsquun objet quantique est couple `a son environnement joue egalement un role essentiel dans les developpements modernes de la theorie de
la mesure. Le point dans ce domaine est dexpliquer pourquoi les appareils de mesure ne
sont pas dans une superposition coherente de tous les resultats possibles dune experience
(un etat de type (( chat de Schrodinger ))). Ici encore, cest linteraction avec lenvironnement qui se charge de transformer une superposition coherente du type (1) en un melange
incoherent dont nous preciserons la nature.
Dans la derni`ere partie de ce cours, nous nous interesserons `a une autre manifestation
de la coherence quantique et de son brouillage, de nature leg`erement differente de ce qui
prec`ede. Nous reviendrons vers un syst`eme isole, mais nous supposerons quil dispose dun
grand nombre de degres de liberte, comme un gaz de particules. En prenant lexemple
des condensats de Bose-Einstein, nous montrerons que cette coherence peut se manifester de mani`ere spectaculaire, meme entre des syst`emes qui nont jamais ete en contact.
Nous verrons egalement que cette coherence quantique depend fortement de la dimensionalite du syst`eme. Selon que le syst`eme a une geometrie tri-dimensionnelle ou quasi
uni-dimensionnelle, nous verrons que la phase macroscopique de lassemblee atomique
peut ou non exister.
R
ef
erences
Nous donnerons `a la fin des differents chapitres les references utiles. Signalons simplement ici les emprunts considerables que ce texte a fait aux cours donnes par C. CohenTannoudji au Coll`ege de France lors des annees 1977-78, 1988-89 et 1989-90. Ces cours
sont disponibles en version electronique depuis la page web du Departement de Physique
de lENS : http ://www.phys.ens.fr/cours/

Chapitre 1
Coh
erence quantique et
interf
erences `
a deux ondes
Ce premier chapitre est consacre `a la description de quelques experiences pour lesquelles la coherence quantique se manifeste de mani`ere spectaculaire. Nous partons dune
situation experimentale bien connue, les trous dYoung, et nous etudions sa mise en uvre
pratique pour des atomes ou des grosses molecules. Nous considerons egalement le cas de
fonctions donde macroscopiques, decrivant une assemblee datomes tous condenses dans
le meme etat. Nous etudions ensuite le brouillage possible de cette coherence, soit par
lintrication de la particule `a son environnement (ce qui fournit une information sur le
chemin suivi dans linterferom`etre), soit par le desordre apporte par la temperature finie
de lechantillon considere.

1
1.1

Lexp
erience des trous dYoung
Principe

Cette experience est bien connue de toute personne ayant un jour etudie un phenom`ene
ondulatoire. Le principe est rappele sur la figure 1.1. Une onde plane arrive sur un ecran
perce de 2 trous A+ et A . On mesure lintensite de londe sur un deuxi`eme ecran situe
`a une distance D du premier. Lamplitude en un point M de cet ecran est la somme des
amplitude rayonnees par les deux trous, consideres comme des sources secondaires. En
notant k = 2/ le vecteur donde, on trouve :
p
xa
+ . . . (1.1)
A(M ) eikd+ + eikd
avec
d = D2 + (x (a/2))2 ' D
2D
ce qui conduit `a une modulation de lintensite I(M ) = |A(M )|2 en cos2 (kxa/(2D)), soit
un interfrange egal `a xi = D/a.
Le caract`ere paradoxal de cette experience survient quand on associe une particule `a
londe. Dans un raisonnement classique, une particule passe par un trou ou par lautre.
On sattend alors `a ce que la figure obtenue sur le deuxi`eme ecran soit la somme des
7

rence quantique et interfe


rences a
` deux ondes
Chapitre 1 Cohe

S1

xi

a
S2
D

Fig. 1.1: Experience des trous dYoung.

eclairements obtenus en bouchant un trou ou lautre. Ce raisonnement classique ne rend


pas compte du resultat obtenu experimentalement avec des objets microscopiques, en
particulier de la modulation avec periode xs . Dans cette situation, le fait de permettre
`a la particule de passer par les deux trous `a la fois diminue la probabilite datteindre
certains points de lecran, ce qui est evidemment paradoxal dun point de vue classique.
Plusieurs questions se posent alors naturellement :
Jusqu`a quelle taille dobjet ce type dexperience peut-il etre mene ?
Que se passe-t-il si on (( enregistre )), volontairement ou non, le chemin suivi dans
cette experience dinterference ?
Cette interference entre chemins quantiques peut-elle se generaliser `a des chemins
plus abstraits, dans un espace de Hilbert `a plusieurs particules par exemple ?
1.2

Exp
erience dYoung avec des atomes

Les premi`eres manifestations du caract`ere ondulatoire de la mati`ere ont ete obtenues


avec des particules leg`eres, comme des electrons (experience de diffraction par Davisson
et Germer). Depuis, on cherche `a etendre ce type dexperience `a des objets de plus en
plus massifs : neutrons, atomes, ou molecules.
Le principe et le resultat dune experience dinterferences effectuee avec des atomes1
dans un dispositif de fentes dYoung est represente sur la figure 1.2. Un nuage de quelques
millions datomes de neon est dabord capture et refroidi au milliKelvin dans un pi`ege
laser. Il est ensuite lache, sans vitesse initiale, `a 3,5 cm au-dessus dun ecran perce de
deux fentes parall`eles, de largeur 2 microns et separees par 6 microns. Les atomes sont
detectes lorsquils frappent une plaque situee 85 cm sous le plan des deux fentes. La plaque
detectrice enregistre limpact de chaque atome, un impact etant represente par un point
sur la figure 1.2.
On observe que ces impacts se distribuent suivant un syst`eme de franges parfaitement
semblable `a celui obtenu dans des interferences lumineuses ou acoustiques. Il y a des zones
sombres (beaucoup dimpacts ; flux datome intense) parall`eles `a la direction des fentes,
qui alternent avec des zones claires (peu ou pas dimpacts ; flux datomes faible).
Lexperience a ete reproduite avec dautres particules : electrons, neutrons, molecules.
Dans tous les cas, la distribution des impacts sur lecran rev`ele une figure dinterferences.
1

F. Shimizu, K. Shimizu, H. Takuma, Phys. Rev. A 46, R17 (1992) et communication privee.

rience des trous dYoung


1 . Lexpe
atomes froids

3,5 cm

85 cm

cran de dtection

1 cm

Fig. 1.2: A gauche : experience de fentes dYoung realisee avec des atomes de
neon, prealablement refroidis par laser au milliKelvin. A droite : distribution observee
experimentalement ; chaque point de la figure correspond `a limpact dun atome sur la plaque
detectrice. Les franges dinterferences sont clairement visibles.

Linterfrange mesure est xi = D/a, o`


u la longueur et limpulsion p = mv des particules
de vitesse v, sont reliees par la relation de de Broglie :
p = h/ .

(1.2)

Le calcul precis des franges dinterferences dans lexperience montree en figure 1.2 doit
prendre en compte la variation de la longueur donde de de Broglie = h/p au fur et `a
mesure de lacceleration des atomes par le champ de pesanteur. La vitesse des atomes au
niveau des fentes est de 0, 8 m s1 ; au niveau de la plaque detectrice, elle est de 4 m s1 .

1.3

Interf
erences quantiques avec de gros objets

Le groupe de A. Zeilinger2 `a Innsbruck, puis `a Vienne, a recemment mis en evidence le


comportement ondulatoire de grosses molecules comme les fuller`enes (C60 , masse 720 amu)
ou des molecules derivees (C60 F48 , masse 1632 amu).
Le montage experimental est un peu plus complexe quune simple experience de trous
dYoung (figure 1.3). Il est fonde sur leffet Talbot. On part de 3 reseaux identiques de
pas d de lordre du micron, reguli`erement espaces (distance D entre 20 et 40 cm). Le
premier reseau prepare la coherence transverse du jet. Le deuxi`eme reseau est responsable de la diffraction. Le troisi`eme reseau est utilise pour sonder le profil diffracte, dont
on sattend `a ce quil presente une modulation de periode d. Cette modulation liee au
caract`ere ondulatoire du mouvement atomique se superpose `a la modulation attendue en
prenant simplement des trajectoires classiques rectilignes. On pourra montrer que leffet
ondulatoire est important si D d2 .
Lenjeu de ces experiences est detudier sil existe une eventuelle limite au champ
dapplication de la mecanique quantique. Dans le cadre de la physique quantique, le
phenom`ene dinterference en tant que tel reste le meme quand on passe dun electron `a
2

M. Arndt et al., Nature (London) 401, 680 (1999) ; B. Brezger et al., Phys. Rev. Lett. 88, 100404
(2002) ; L. Hackerm
uller et al., Phys. Rev. Lett. 91, 090408 (2003).

10

rence quantique et interfe


rences a
` deux ondes
Chapitre 1 Cohe

Fig. 1.3: Montage experimental de B. Brezger et al., utilisant leffet Talbot pour mettre en
evidence le comportement ondulatoire de grosses molecules.

une grosse molecule. Cest le degre de liberte du centre de masse de lobjet qui est en jeu et
tous les degres de liberte interne de la molecule (vibrations, rotations, spin) sont a priori
spectateurs. En pratique, ces experiences sont rendues difficiles par le fait que ces degres
de liberte peuvent se coupler `a lenvironnement lors du temps de vol de la molecule dans le
dispositif experimental. Par exemple, la molecule peut emettre spontanement un photon
correspondant `a la transition entre deux niveaux de vibration. La detection de ce photon
peut correspondre `a une information sur le chemin suivi, ce qui doit en toute logique
diminuer le contraste des interferences observees. Nous approfondirons cette question
dans les chapitres qui suivent.

2
2.1

Fonctions donde macroscopiques


Condensation de Bose-Einstein

Considerons une assemblee de N particules bosoniques independantes, cest-`a-dire sans


interaction. A basse temperature, une fraction macroscopique de lassemblee saccumule
dans le meme etat quantique |0 i, qui est letat fondamental de lhamiltonien `a une particule. Pour des particules confinees dans une bote de volume
L3 , le seuil de condensation

se produit quand la longueur donde thermique T = h/ 2mkB T devient de lordre de la


distance entre particules d = n1/3 , o`
u n = N/L3 est la densite spatiale (plus precisement,
il faut que n3T > (3/2) ' 2,612).
Dans les experiences sur les gaz dilues, les particules sont en general confinees dans un
potentiel harmonique. En supposant ce potentiel isotrope et en notant sa pulsation , la
2
2
fonction
p donde de letat fondamental est la gaussienne 0 (r) exp(r /2a0 ), de 3largeur
/m. Le seuil de condensation correspond alors `a N > 1,202 (kB T / h
) .
a0 = h
La fraction accumulee dans letat fondamental est appelee condensat de Bose-Einstein,
et letat 0 (r) est appele fonction donde macroscopique du condensat. Placons-nous `a
temperature nulle pour simplifier. Dans ce cas, toutes les particules sont condensees et la

2 . Fonctions donde macroscopiques

11

fonction donde de lassemblee `a N particules secrit :


(r 1 , r 2 , . . . , r N ) = 0 (r 1 ) 0 (r 2 ) . . . 0 (r N )

(1.3)

Si les particules interagissent entre elles (ce qui en general le cas dans des experiences),
la theorie de la condensation de Bose-Einstein nest plus exacte. On decrit souvent linteraction entre deux particules i et j par un potentiel de contact, note :
4
h2 a
V (r i r j ) =
(r i r j )
m
La quantite a est homog`ene `a une longueur et est appelee longueur de diffusion ; elle
caracterise la force du potentiel. On peut alors distinguer deux regimes limites : le cas des
interactions faibles, correspondant `a na3 1, et le cas des interactions fortes (na3 1).
Dans le cas des interactions faibles, on peut montrer que la description de lassemblee `a N
particules en termes de fonction donde `a N particules du type (1.3) reste valable. Ce cas
est celui quon rencontre dans les experiences de condensation des gaz atomiques dilues
(alcalins, hydrog`ene, helium metastable, etc.).
Pour les syst`eme denses, comme lhelium liquide superfluide, les interactions sont importantes et le crit`ere na3 1 nest plus satisfait. On continue neanmoins `a decrire le
syst`eme en terme de fonction donde macroscopique 0 (r), mais cette fonction donde
ne represente plus letat de chacun des N atomes constituant le syst`eme. Il sagit dune
quantite plus abstraite, qui joue le role pour de param`etre dordre pour la transition de
phase en jeu (la transition superfluide par exemple). Cette fonction donde macroscopique
peut neanmoins etre utilisee pour decrire les proprietes macroscopiques du syst`eme, lors
dun ecoulement ou dune mise en rotation par exemple.
Nous allons maintenant voir comment cette description du syst`eme en terme de fonction donde macroscopique donne naissance `a des phenom`enes de coherence remarquables
dans une experience de type (( trous dYoung )). Pour cela, il nous faut dabord regarder
comment les atomes dun condensat sont confines dans un pi`ege magnetique et comment
on peut extraire des atomes de ce pi`ege.
2.2

Pi`
ege magn
etique et coupleur radio-fr
equence

Pour des atomes alcalins, comme le sodium, le rubidium,..., le dipole magnetique


de latome dans son etat fondamental est de lordre du magneton de Bohr3 , B =
9,27 1024 J/T. Linteraction de ces atomes avec un champ magnetique inhomog`ene
secrit :
V (r) = B(r)
Le piegeage magnetique consiste `a aligner au depart et B(r), et `a supposer que le
moment magnetique garde ensuite son orientation vis-`a-vis du champ magnetique local
lorsque latome bouge. On a donc V (r) = B(r), o`
u le signe depend de lorientation
3

Dautres atomes, comme lhelium, ont un moment magnetique beaucoup plus faible dans leur etat
fondamental, de lordre du magneton nucleaire n .

rence quantique et interfe


rences a
` deux ondes
Chapitre 1 Cohe

12

Energie magntique
+gravitationnelle

(a)

(b)

m=1

(c)

z0

z
m=0
surface
B=Cte

condensat

Fig. 1.4: a : Deplacement du centre du condensat d


u `a la gravitation. (b) Extraction des atomes
du condensat en utilisant une onde radio-frequence. (c) (( Laser `a atomes )) extrait du condensat
(figure tiree de larticle dI. Bloch, T.W. Hansch, et T. Esslinger, Phys. Rev. Lett. 82, 3008
(1999)).

choisie au depart. Si le signe + est realise, les atomes vont saccumuler au voisinage dun
minimum local du champ magnetique. Si le signe est realise, les atomes sont attires
vers les zones de grand champ magnetique.
On peut montrer sans grande difficulte quil est impossible de realiser dans le vide une
configuration de champ magnetique statique telle que B admette un maximum local. Un
atome prepare dans un etat o`
u est de meme sens que B (pour lequel V (r) = B(r))
sera donc attire vers les fils ou les aimants permanents creant le champ, et ne pourra pas
etre confine de mani`ere stable.
En revanche, il est possible de realiser un minimum local de B(r). Supposons que
le module du champ magnetique secrive au voisinage de 0 : |B(r)| = B0 + r2 . Le
potentiel magnetique de piegeage sera harmonique et isotrope : V (r) = V0 + m 2 r2 /2.
Du fait de la gravite, les atomes seront pieges leg`erement en dessous de O, en un point
O0 daltitude z0 = g/ 2 (figure 1.4a). Experimentalement, on a /2 100 Hz, soit
z0 30 m. Lextension r0 du condensat dans la fonction donde 0 est de quelques
microns ; comme r0 z0 , on peut considerer que les atomes voient un champ magnetique
qui varie lineairement avec leur altitude sur toute lextension du condensat.
Pour extraire des atomes de mani`ere coherente du pi`ege magnetique, un moyen particuli`erement commode consiste `a utiliser une onde radio, qui peut faire basculer les spins
des atomes quand ils se trouvent `a une distance donnee du centre4 (figure 1.4b). Notons
la frequence de londe radio-frequence et considerons par exemple des atomes de moment
cinetique J = 1. Ces atomes sont initialement prepares dans letat m = 1, correspondant
`a B(r) = +|| |B(r)|. Les atomes entreront en resonance avec londe quand ils
croiseront la surface |B(r)| = h/. Ils basculeront alors vers letat m = 0, dans lequel ils
ne sont plus sensibles au champ magnetique et tombent simplement sous linfluence de la
gravite. La surface o`
u la bascule se produit est une sph`ere centree en O, qui correspond
4

Ce moyen est egalement utiliser pour mettre en uvre le refroidissement par evaporation, qui permet
datteindre la condensation.

2 . Fonctions donde macroscopiques

13

approximativement une portion de plan horizontal sur lextension du condensat. On peut


donc extraire des atomes selectivement `a linterieur du condensat, en les faisant sortir `a
une altitude donnee.
On choisit lintensite de londe radio-frequence suffisamment faible, pour que la probabilite dextraction dun atome traversant cette surface soit petite devant 1. De la sorte, le
processus dextraction est une petite perturbation et il faut attendre une duree de lordre
de la seconde pour vider compl`etement le condensat. On peut prendre une photo du filet
datomes en train de secouler sous le condensat (figure 1.4c). Le faisceau atomique ainsi
genere est a priori coherent, tout comme le faisceau laser constitue de photons sechappant
dune cavite electromagnetique `a travers un miroir partiellement reflechissant.
2.3

Interf
erences entre deux ondes macroscopiques

La coherence du faisceau atomique ainsi genere a ete demontree de mani`ere spectaculaire par le groupe de Munich. En envoyant deux ondes radio-frequence de frequences
1 = 1 /(2) et 2 = 2 /(2), extrayant donc les atomes `a deux altitudes differentes
z1 et z2 , les chercheurs de ce groupe ont mesure linterference entre les deux filets
datomes extraits de ces deux plans. Les energies de ces deux filets datomes sont
Ei = Econd. h
i = M gzi . La fonction donde de latome dans letat m = 0, qui tombe
dans le potentiel de gravitation depuis un point daltitude zi , est solution de lequation
de Schrodinger :
h
2 d2

+ M gz (z) = M gzi (z)


2M dz 2
2
1/3
On introduit lechelle de longueur l = h
/2M 2 g
et on pose Z = (z zi )/l :
00 (Z) = Z (Z)
dont la solution tendant vers 0 en z = + est une fonction dAiry Ai(Z). En utilisant le
developpement asymptotique de cette fonction quand |Z| est grand et negatif :
Ai(Z)

1
3/2
exp
i
(2/3)
|Z|
,
|Z|1/4

on trouve que la distribution datomes en train de tomber est :


2

n(z) = Ai((z z1 )/l) eiE1 t/h + Ai((z z2 )/l) eiE2 t/h


h p
io
p
1 n
p
2 + 2 cos q
|z| gt2 /2
|z|

avec q = M (z1 z2 ) 2g/h. On pourra verifier que cette prediction reproduit la forme
de la distribution observee experimentalement (figure 1.5a). En particulier, le contraste
eleve des franges dinterferences (voisin de 100 %) est une signature de la validite de la
description de cette assemblee datomes sous forme dune fonction donde macroscopique
(1.3).

rence quantique et interfe


rences a
` deux ondes
Chapitre 1 Cohe

14

Fig. 1.5: Interferences entre deux ondes de mati`ere issues dune assemblee datomes confinee
dans un pi`ege magnetique (a) : condensat de Bose-Einstein ; (b) temperature plus elevee, au
dessus du seuil de condensation. Images extraites de I. Bloch, T. W. Hansch and T. Esslinger,
Nature 403, 166 (2000).

3
3.1

Le brouillage de la coh
erence dans une exp
erience dYoung
Information sur le chemin suivi dans un interf
erom`
etre

Considerons lexperience de pensee representee sur la figure 1.6. On realise lexperience


des fentes dYoung avec des atomes initialement dans un etat interne excite |ei. Une
cavite electromagnetique resonnante avec les atomes est placee derri`ere chacun des trous
dYoung. Chaque cavite est initialement vide, cest-`a-dire quelle ne contient aucun photon.
En anticipant un peu sur la suite de ce cours, nous noterons cet etat |0a i ou |0b i, cest-`adire 0 photon dans la cavite. Latome en passant dans la cavite peut y laisser un photon
et tomber dans son etat fondamental |f i :
Trou A :

|e, 0a , 0b i |f, 1a , 0b i

Trou B :

|e, 0a , 0b i |f, 0a , 1b i

(1.4)

Letat |1a i represente la cavite a avec 1 photon `a linterieur (et de meme pour b). On note
pour simplifier |na , nb i letat produit tensoriel |na i |nb i.
Tout ce quil est necessaire de savoir pour le moment est lorthonormalite des etats
|0a i et |1a i :
h0a |0a i = 1
h1a |1a i = 1
h0a |1a i = 0
(1.5)
et idem pour |0b i et |1b i.
En absence de couplage entre latome et les cavites electromagnetiques, letat dun
atome apr`es passage par les deux trous dYoung secrit
1
(a (r) + b (r)) |ei
2

(1.6)

rence dans une expe


rience dYoung
3 . Le brouillage de la cohe

atome

15

e
f

B
Fig. 1.6: Experience des trous dYoung, dans laquelle on essaie de detecter le chemin suivi
par latome, en regardant le photon quil laisse dans une des deux cavites electromagnetiques
resonantes situes derri`ere les trous.

et la densite de probabilite pour detecter latome en un point r de lecran vaut :


P (r) =

1
|a |2 + |b |2 + a b + a b he|ei
2

(1.7)

Cest la fonction dinterference habituelle, avec une modulation de periode xs provenant


du terme a b + a b .
Supposons maintenant les deux cavites mises en place et resonnantes avec les atomes.
Apr`es passage de latome par les deux trous dYoung et les cavites, letat du syst`eme
atome+champ secrit :
1
(a (r)|1a , 0b i + b (r)|0a , 1b i) |f i
2

(1.8)

Notons quon neglige ici la modification de letat externe de latome (a,b (r)) lors de
lemission du photon. En toute rigueur, il faudrait prendre en compte le recul de latome,
cest-`a-dire le changement de limpulsion atomique par une quantite h
k, ce qui se traduirait par une multiplication de a,b (r) par eikr .
La probabilite de trouver latome en un point r est desormais :
P (r) =

1
{|a |2 h1a , 0b |1a , 0b i + |b |2 h0a , 1b |0a , 1b i
2
+a b h1a , 0b |0a , 1b i + a b h0a , 1b |1a , 0b i} hf |f i

(1.9)
(1.10)

A cause de lorthogonalite des etats |0a i et |1a i (et |0b i et |1b i), le terme dinterference
disparat et la probabilite de detection :
P (r) =

1
|a |2 + |b |2 hf |f i
2

ne presente aucune modulation `a lechelle de xs .

(1.11)

rence quantique et interfe


rences a
` deux ondes
Chapitre 1 Cohe

16

La lecon `a retenir ici est simple : on a (( ecrit )) le chemin suivi par latome sur un
detecteur, en loccurrence les cavites, et le signal dinterference disparat. Cette disparition
du signal dinterference nest pas un brouillage de la fonction donde atomique, comme le
ferait par exemple une phase aleatoire qui viendrait se mettre devant b . Le signal disparat
parce que letat de latome sest intrique avec letat de lenvironnement, en loccurrence les
cavites. Comme le signal final ne porte que sur latome (la fonction P (r)), lorthogonalite
des etats de lenvironnement detruit toute interference.
Gomme quantique ou d
ecoh
erence. Quand linformation sur le chemin suivi est
stockee de mani`ere aussi precise que celle discutee ci-dessus, on peut chercher `a leffacer
pour faire reapparatre un signal dinterference. Cette interference se manifeste alors sur
une fonction de correlation entre latome et les cavites, ce qui rev`ele la coherence quantique
(cest-`a-dire lintrication) qui sest etablie entre les differents syst`emes5 . En revanche, bien
souvent, letat de lenvironnement est extremement complexe `a determiner : ce sera le cas
si lexperience est fait dans un vide imparfait et que les collisions sur le gaz jouent un
role important, ou encore si la temperature est assez elevee pour que le rayonnement du
corps noir ne puisse pas etre neglige. Lintrication du petit syst`eme avec lenvironnement
est alors un processus veritablement irreversible et la coherence quon avait entre les deux
points sources de lexperience dYoung se (( dilue )) dans lenvironnement. Les cours qui
suivent seront consacres `a la mise en place du formalisme permettant de decrire levolution
dun petit syst`eme couple `a un gros reservoir. Notons quil existe une source de decoherence
inevitable pour un interferom`etre `a particules materielles, qui est constituee par le fond
dondes gravitationnelles, generees par toutes les sources de lunivers, comme par exemple
les syst`emes binaires dans notre galaxie ou dans des galaxies proches. Cette source est
heureusement negligeable pour les interferom`etres atomiques actuellement realises ou en
cours de realisation6 .
3.2

Le d
esordre li
e`
a la temp
erature

La coherence quantique peut egalement disparatre pour un syst`eme isole, si celui-ci


comporte un grand nombre de liberte et quon augmente sa temperature. Un exemple
est represente sur la figure 1.5b, o`
u on regarde la superposition de deux filets datomes
extraits dun gaz piege quand la temperature du gaz est au dessus de la temperature de
condensation. La figure dinterference quon observait `a basse temperature ne se produit
plus. Le profil observe est la superposition incoherente des deux jets datomes, du moins
d`es que la
distance entre les deux altitudes z1 et z2 depasse la longueur donde thermique
T = h/ 2mkB T , qui est de lordre de 0,1 m pour ces param`etres experimentaux.
Nous reviendrons dans la derni`ere partie du cours sur cet aspect de la perte de
coherence dun syst`eme quantique macroscopique, en nous attachant en particulier `a discuter linfluence de la dimensionalite (1D ou 3D) du syst`eme considere.

5
6

voir par exemple M.O. Scully et al., Nature 351, 111 (1991).
B. Lamine et al, Eur. Phys. J. D. 20, 165 (2002).

Chapitre 2
Champs quantiques et
bains doscillateurs
Nous introduisons ici le concept de photon de mani`ere simple, en identifiant les
equations de Maxwell dans lespace libre aux equations du mouvement dune collection
doscillateurs harmoniques independants. Nous montrons ensuite que cette meme identification peut etre faite pour dautres types de champs, comme celui decrivant le mouvement
dune corde vibrante. Ce mod`ele dun bain doscillateurs harmoniques pouvant se coupler
au syst`eme etudie sera ensuite frequemment utilise dans la suite de ce cours.
A la fin de ce chapitre, nous utilisons le concept de photon pour decrire des experiences
dinterferences moins intuitives que celle des trous dYoung decrites au chapitre precedent.
Ces experiences mettent simultanement en jeu plusieurs particules : dans ces conditions,
le signal obtenu resulte toujours de linterference entre plusieurs chemins quantiques, mais
ceux-ci sont alors des chemins dans un espace abstrait.

Comment caract
eriser un photon ?

Dans le chapitre precedent, nous avons ete amenes `a introduire la notion de photon.
Dans la mesure o`
u celle-ci sera necessaire dans plusieurs parties de ce cours, nous allons
presenter ici le bagage minimum pour manipuler cette notion dans le cadre de notre programme. Bien s
ur, les quelques pages qui suivent ne sauraient en aucun cas se substituer `a
un veritable cours de theorie quantique des champs. Pour quantifier un champ (( selon les
r`egles )), il faut determiner la densite de lagrangien du syst`eme et identifier ses variables canoniques. Ici, nous nous contenterons de travailler par analogie, en montrant lequivalence
entre le mouvement du champ electromagnetique (ou celui dune corde vibrante) et celui
dune assemblee doscillateurs harmoniques independants.

17

18

Chapitre 2 Champs quantiques et bains doscillateurs

1.1

Les
equations de Maxwell dans lespace r
eciproque

Nous nous interessons ici au champ electromagnetique libre, en absence de source. Les
equations devolution des champs electriques et magnetiques sont :
E =0

B =0

E =

B
t

1 E
c2 t

B =

En designant par V le volume disponible, lenergie du champ secrit :

Z
0 E 2
B2
H=
d3 r
+
2
20
V

(2.1)

(2.2)

Nous ferons le choix de jauge suivant (jauge de Coulomb) :


A=0 ,

V =0

E=

A
t

B =A

(2.3)

On se place dans une cavite cubique de volume L3 et on prend des conditions aux
limites periodiques. Les champs E et B peuvent donc se decomposer en series de Fourier
vis `a vis de la variable r, les vecteurs donde autorises k etant discretises :
k=

2
n
L

n (nx , ny , nz )

ni entiers relatifs

(2.4)

On pose :
1 X
E k eikr
E(r) =
L3 k

1 X
A(r) =
Ak eikr
L3 k
(2.5)
de sorte que les equations de Maxwell et le choix de jauge secrivent :
k Ek = 0

1 X
B(r) =
Bk eikr
L3 k

k Bk = 0

ik E k =

dBk
dt

ik Bk =

1 dE k
c2 dt

(2.6)

dAk
k Ak = 0
(2.7)
dt
On va travailler dans ce qui suit avec E k et Ak , en eliminant le champ magnetique Bk .
Ceci donne les equations utilisees dans la suite :
Bk = ik Ak

k Ek = 0

k Ak = 0

Ek =

Ek =

dAk
dt

c2 k 2 Ak =

dE k
dt

(2.8)

On voit que les champs E k et Ak sont parall`eles entre eux et orthogonaux `a k.


Pour chaque k, on se donne alors deux vecteurs unitaires 1 et 2 orthogonaux `a k,
qui representent la base de polarisation. Une base des etats du champ est donnee par lensemble des modes {(k, 1 ) , (k, 2 )}. En denotant par lindice courant ` = (k, i ) chaque
mode du champ, on pose E` = E k i et A` = Ak i , soit
E k = Ek,1 1 + Ek,2 2

(2.9)

riser un photon ?
1 . Comment caracte

19

Les equations de Maxwell se resument alors aux deux equations couplees :


E` =

dA`
dt

c2 k 2 A` =

dE`
dt

(2.10)

Lenergie du champ electromagnetique et le champ electrique en un point r secrivent


avec ces notations :

0 X 2
1 X
H=
E` eikr
(2.11)
|E` | + c2 k 2 |A` |2
E(r) =
3
2
L
`=(k,)

`=(k,)

1.2

Analogie avec une collection doscillateurs harmoniques

Considerons un probl`eme a priori non relie, constitue par une collection doscillateurs
harmoniques `a une dimension, reperes par un indice `. Chaque oscillateur a une masse m`
et une frequence ` . Les oscillateurs sont independants, cest-`a-dire quils ninteragissent
pas entre eux. Lenergie de cet ensemble doscillateurs et les equations du mouvement
correspondantes secrivent :
H=

X p2
1
`
+ m` `2 x2`
2m` 2
`

m`

dx`
= p`
dt

dp`
= m` `2 x`
dt

(2.12)

Lanalogie avec lenergie du champ electromagnetique et les equations de Maxwell est


compl`ete. Si on pose :
` = ck

m ` x` =

0 A`

p
` = 0 E`
m`

(2.13)

on voit que la dynamique du champ electromagnetique est compl`etement equivalente `a


celle des oscillateurs harmoniques independants. Dans la mesure o`
u la quantification dun
oscillateur harmonique est une procedure bien identifiee, la quantification du champ va
sen deduire immediatement.
1.3

Quantification dun oscillateur harmonique

Pour un oscillateur harmonique, le passage de la mecanique classique `a la mecanique


quantique se fait en remplacant les variables x et p par des operateurs x et p, en imposant
la relation de commutation [
x, p] = ih. On en deduit immediatement le spectre en (n +
1/2)h. Une mani`ere tr`es commode pour arriver au resultat consiste `a introduire des
operateurs position et impulsion reduits :
r
p
P ] = ih
= m x
P =
[X,
X
h

m
h
et les operateurs destruction et creation :
1
a
= (X
+ iP )
2

1
a
= (X
iP )
2

(2.14)

20

Chapitre 2 Champs quantiques et bains doscillateurs

Ces operateurs verifient [


a, a
] = 1, et ils permettent de construire tous les etats propres
`a partir de letat fondamental |0i :
a
|ni =
et
a
|ni =

n + 1 |n + 1i

n |n 1i si n > 0

(
a )n
|ni = |0i
n!

(2.15)

et

(2.16)

Lhamiltonien associe `a loscillateur secrit :


=h
H
a
a
+ 1/2

a
|0i = 0

(2.17)

Remarque : nous allons maintenant proceder `a lidentification x A` et p E` pour


quantifier le champ. Une leg`ere difficulte subsiste : habituellement, les variables de depart
x et p sont reelles, alors quici Ak et E k sont complexes (avec Ak = Ak et E k = E k ).
La procedure de quantification canonique pour un oscillateur X, P complexe est modifiee
P tels que [X,
P ] = 0 et
de la mani`ere suivante : on associe `a X, Pdes operateurs X,

P ] = i, les operateurs a
+ iP )/ 2 et a
iP )/ 2 verifiant toujours
[X,
= (X
= (X

[
a, a
] = 1. On pourra se convaincre de la validite de cetteprocedure1 en decomposant

X, P en leur partie reelle et imaginaire (X = (X1 + iX2 )/ 2, P = (P1 + iP2 )/ 2), ce


qui permet de se ramener `a un couple de deux oscillateurs reels independants (X1 , P1 ) et
(X2 , P2 ).
1.4

Quantification dun mode du champ

On duplique la quantification dun oscillateur materiel pour chaque mode du champ


electromagnetique. On associe aux variables classiques A` et E` des operateurs A` et E` .
Grace `a (2.13), la relation de commutation [
x, p ] = i
h se transpose immediatement en

[A` , E` ] = ih/0 . On introduit ici encore les operateurs creation et annihilation pour le
mode ` :
r
r

0
0

` A` iE`
a
` =
` A ` + i E`
(2.18)
a
` =
2h`
2
h`
Lhamiltonien correspond `a lenergie du mode secrit

H` = h
` a
` a
` + 1/2

(2.19)

et ses energies propres sont les (n + 1/2)h` . Letat fondamental |0` i est appele le vide
pour le mode `. Chaque excitation du mode ` est appele photon. Letat |n` i correspond
ainsi `a n` photons presents dans le mode `. La difference en energie entre letat `a n`

+ iP )/ 2 et
On peut construire
un deuxi`eme oscillateur independant du premier en posant b = (X

b = (X
iP )/ 2. On pourra se convaincre dans la suite que cet oscillateur (( de deuxi`eme type )) pour
le mode ` (k, ) nest autre que loscillateur (( de premier type )) pour le mode `0 (k, ), du fait
de la relation decoulant de la realite de A et E : Ak = Ak et E k = E k . Il ny a donc pas lieu de le
considerer ici pour eviter les doubles comptages.
1

riser un photon ?
1 . Comment caracte

21

photons et le vide est n` h


` , ce qui correspond bien `a lidee quun photon du mode ` a
lenergie h
` .
La construction explicite des etats `a |n` i photons `a partir du vide se fait comme pour
un oscillateur materiel :
a
` |n` i
et
a
` |n` i =

n` + 1 |n` + 1i

n` |n` 1i si n` > 0

(
a` )n`
|n` i =
|0i
n` !
et

a
` |0` i = 0

(2.20)

(2.21)

Dans cette derni`ere equation, attention de ne pas confondre letat vide du mode `, note
|0` i, qui est un etat de norme 1, correspondant `a un etat physique parfaitement legitime,
et le vecteur nul de lespace de Hilbert note 0.
1.5

Quantification du champ

Comme les differents modes du champ sont decouples les uns des autres (la theorie de
Maxwell est lineaire), la quantification se fait de mani`ere independante pour ces differents
modes. Les couples doperateurs (a` , a` ) et (a`0 , a`0 ) correspondant `a deux modes ` et `0
du champ commutent entre eux puisquils se rapportent `a des syst`emes differents.
Une base de lespace associe `a la description de letat du champ est composee des
vecteurs :
|n1 i |n2 i . . . |n` i . . . |n`0 i . . . |n1 , n2 , . . . , n` , . . . , n`0 , . . .i
cest-`a-dire n1 photons dans le mode 1, n2 photons dans le mode 2, . . ., n` photons dans
le mode `, etc. Cette base est une base propre de lhamiltonien2 :
X
=
h
` a
` a
` + constante
(2.22)
H
`

On peut egalement definir loperateur champ electrique au point r en utilisant le


developpement (2.5) et en regroupant les contributions des modes (k, ) et ((k, ) :

(+) (r) + E
() (r)
E(r)
=E
avec

(+)

(r) = i

X
k,

eikr a
k,
20 L3

(+)
() (r) = E
(r)
E

(2.23)

(2.24)

La constante cache pudiquement une somme de h` /2 sur tous les modes, donc un infini. Cet infini
nest quun apercu des probl`emes qui surgissent en theorie des champs, cest-`a-dire les syst`emes avec un
nombre infini de degres de liberte. Nous nen dirons pas plus dans ce cours car ces infinis ne joueront
pas de role, mais il est clair quil faut resoudre ce probl`eme pour calculer precisement certaines quantites
physiques (deplacement de Lamb des niveaux atomiques par exemple...).

22
1.6

Chapitre 2 Champs quantiques et bains doscillateurs

Signaux de photo-d
etection

Nous utiliserons lexpression du signal donnant la probabilite P (r) de detecter


un photon de polarisation donnee au point r, pour un etat donne |i du champ
electromagnetique. On peut montrer que cette probabilite secrit :

() (r)
(+) (r) |i
P (r) h| E
E
2

(+)
(2.25)
(r)|i
E
Le coefficient de proportionnalite, qui fait intervenir lefficacite des detecteurs, est sans
importance `a ce stade. On verifiera que si le champ electromagnetique est dans son etat
fondamental (n` = 0 pour tout mode `), la probabilite de detecter un photon en r est
nulle.
On sinteressera egalement `a la probabilite de detecter un photon de polarisation 1
au point r 1 , et un autre photon de polarisation 2 au point r 2 . Cette probabilite secrit :

() (r 1 )
() (r 2 )
(+) (r 2 ) 1 E
(+) (r 1 ) |i
P (r 1 , r 2 ) h| 1 E
2 E
2 E

(+)
(+)

2 E (r 2 ) 1 E (r 1 ) |i
(2.26)
On verifiera aisement que cette quantite ne peut etre non nulle que si letat du champ
contient au moins deux photons, qui peuvent etre dans le meme mode ou dans deux modes
differents.

Quantification du mouvement dune corde vibrante

La procedure que nous venons de suivre nest pas specifique `a la quantification du


champ electromagnetique et elle peut etre utilisee pour de nombreux autres champs.
Prenons lexemple des vibrations dun solide, cest-`a-dire un mod`ele de corde vibrante.
Considerons une corde de longueur L, de tension et de masse lineique . Cette corde,
tendue le long de laxe Oz, peut vibrer dans le plan xOz ; on se limite ici aux petits ecarts
par rapport `a laxe Oz (figure 2.1). Letat de la corde `a un instant donne est caracterise
par la fonction x(z, t), qui est un champ scalaire `a une dimension. Langle de la tangente
`a la corde avec laxe Oz est :
x
(2.27)
(z, t) =
z
et on suppose (z, t) 1. La relation fondamentale de la dynamique appliquee `a un
element centre en z et de longueur z donne :

2x
z
z

z 2 = z +
(2.28)
z
= z
t
2
2
z
On en deduit lequation donde :

2x
2x
=

t2
z 2

(2.29)

23

2 . Quantification du mouvement dune corde vibrante

x(z,t)

L
z

Fig. 2.1: Mouvement dune corde vibrante.

correspondant `a une vitesse de propagation c =

p
/.

On peut identifier lenergie cinetique et lenergie potentielle de la corde


2 vibrante.
Lenergie cinetique de lelement z considere plus haut vaut 21 z x
; lenergie
t
cinetique totale est donc :
Z 2
L x
Ec (t) =
dz
(2.30)
2 0
t
Lenergie potentielle se calcule `a partir de lallongement de la corde :
Z Lp
Z L 2

x
Ep (t) = L =
dz
1 + 2 (z, t) dz L '
2 0
z
0

(2.31)

Decomposons maintenant le mouvement de la corde selon ses modes propres :


r
2X
x(z, t) =
sin(kz) Xk (t)
(2.32)
L k
Les conditions aux limites x(0, t) = x(L, t) = 0 imposent kL/ entier positif. La vitesse
de la corde au point z secrit :
r
2X
sin(kz) Vk (t)
avec
Vk (t) = X k (t)
(2.33)
v(z, t) =
L k
Lequation du mouvement de la corde est avec ces notations :
V k (t) = k 2 Xk (t)

(2.34)

La dynamique de la corde se ram`ene donc au mouvement dune assemblee infinie


doscillateurs harmoniques independants ; `a chaque mode k de vibration de la corde est
associe un oscillateur de frequence k = ck. Cette interpretation se confirme quand on
exprime les energies cinetique et potentielles en fonction des Xk et des Vk :
Z
X 2
L2X
(2.35)
sin kz sin k 0 z Vk (t) Vk0 (t) =
V (t)
Ec =
2 0 L k,k0
2 k k
Z
L2X 0
X 2 2
(2.36)
Ep =
kk cos kz cos k 0 z Xk (t)Xk0 (t) =
k Xk (t)
2 0 L k,k0
2 k
soit
E=

X1
k

1
Vk2 + k 2 Xk2
2
2

(2.37)

24

Chapitre 2 Champs quantiques et bains doscillateurs

Fig. 2.2: Representation de letat quantique dune corde vibrante. Les trois premiers modes de
` chaque
vibration, de pulsation = n c/L avec n = 1, 2, 3 sont indiques sur la ligne du haut. A
mode est associe un oscillateur harmonique quantifie, et le degre dexcitation de cet oscillateur
pour letat de la corde |2, 1, 1, 0, . . .i est indique par une pastille noire.

On quantifie alors chaque oscillateur harmonique comme si cetait un oscillateur


materiel. On associe au couple positionimpulsion pour un mode donne (Xk , Pk ) (avec
k , Pk ) tels que [X
k , Pk0 ] = ihk,k0 . On introduit ensuite
Pk = Vk ) un couple doperateurs (X

des operateurs ak et ak tels que :


r
ak =

k
Pk
Xk + i
2h
2hk

ak

k
Pk
Xk i
2h
2
hk

(2.38)

avec [ak , ak0 ] = k,k0 . Lhamiltonien du syst`eme est


H=

h
k

ak ak

1
+
2

(2.39)

Une base de lespace des etats de la corde sobtient en considerant les vecteurs correspondant `a une excitation donnee pour chaque mode k :
|n/L , n2/L , . . .i

(2.40)

Letat fondamental de P
la corde est donne par |0, 0, . . .i. Notons que cet etat fondamental a une energie infinie : k h
k /2 ; il faudrait renormaliser notre theorie pour eliminer
cet infini non physique.
On a represente sur la figure 2.2 letat |2, 1, 1, . . .i. Cest un etat `a 4 (( cordons ))
(ce qui remplace les photons pour notre corde), deux cordons dans letat k = /L, 1
cordon dans letat k = 2/L et 1 cordon dans letat k = 3/L. Les operateurs ak et ak
sinterpr`etent comme les operateurs annihilation et creation dun cordon dans le mode k.
Enfin loperateur deformation de la corde (qui joue le role de loperateur champ electrique
ou champ magnetique) sobtient `a partir de (2.32) :
x(z, t) =

X
k

s
h

sin kz (ak + ak )
k L

(2.41)

rences a
` plusieurs particules
3 . Interfe

25

Interf
erences `
a plusieurs particules

Dans ce dernier paragraphe, nous allons mettre en uvre le formalisme que nous
venons de developper pour etudier des experiences dinterference plus (( subtiles )) que
lexperience des fentes dYoung consideree au premier chapitre.
Supposons quune etoile double nous envoie de la lumi`ere avec deux vecteurs donde k
et k0 . Ces deux vecteurs sont proches lun de lautre et on cherche `a determiner leur angle
. La premi`ere solution, proposee par Michelson, consiste `a fabriquer un interferom`etre.
Le probl`eme de cet interferom`etre est sa tr`es grande sensibilite aux fluctuations du chemin optique, liees par exemple aux turbulences de latmosph`ere. Une deuxi`eme methode,
beaucoup plus robuste, a ete proposee par Hanbury-Brown et Twiss3 , et est fondee sur
des correlations dintensite. Nous allons examiner ces deux methodes, dabord en termes
de champs classiques, puis en termes de photons. Ceci nous permettra dutiliser le formalisme que nous venons de mettre au point et nous verrons ainsi un exemple concret
dinterferences `a plusieurs particules.
3.1

Linterf
erom`
etre stellaire de Michelson

Le principe de cet interferom`etre est represente sur la figure 2.3. Les points r 1 et r 2
sont conjugues optiquement au point P par la lentille. Les trajets optiques de r 1,2 `a P
sont donc egaux et lintensite detectee au point P secrit :
I(P ) = h|E(P )|2 i

avec

E(P ) = E(r 1 ) + E(r 2 )

(2.42)

soit
I(P ) = h|E(r 1 )|2 i + h|E(r 2 )|2 i + hE (r 1 ) E(r 2 )i + hE(r 1 ) E (r 2 )i

(2.43)

linterference provenant des deux derniers termes. Dans le cas dune source double, on a :
0

E(r 1 ) = Ek eikr1 + Ek0 eik r1

E(r 2 ) = Ek eikr2 + Ek0 eik r2

(2.44)

Les fluctuations des phases des champs electriques emis par les deux composantes de
letoile double sont decorrelees. Quand on evalue lintensite moyenne, on a donc :
hEk i = hEk0 i = hEk0 Ek i = 0

(2.45)

En supposant pour simplifier que les deux composantes ont la meme intensite moyenne :
hEk Ek i = hEk0 Ek0 i = I0 ,

(2.46)

I(P )/I0 = 2 + cos(k (r 1 r 2 )) + cos(k0 (r 1 r 2 ))


= 2 + 2 cos((k + k0 ) r 0 /2) cos((k k0 ) (r 1 r 2 ))
' 2 + 2 cos((k + k0 ) r 0 /2) cos(kr0 /2)

(2.47)
(2.48)
(2.49)

on arrive `a :

H. Hanbury-Brown and R.Q. Twiss, Nature 178, 1046 (1956).

26

Chapitre 2 Champs quantiques et bains doscillateurs

Fig. 2.3: Interferom`etre stellaire de Michelson. Cet interferom`etre permet la mesure de langle
entre les vecteurs donde k et k0 , correspondant `a la lumi`ere emise par les composantes dune
etoile double.

o`
u on a pose r 0 = r 1 r 2 . Le dernier terme en cos(kr0 /2) contient linformation
interessante. En faisant varier r0 , on peut determiner langle entre k et k0 . La difficulte principale de cette methode provient du terme cos((k + k0 ) r 0 /2) qui est tr`es
sensible aux fluctuations atmospheriques qui changent leg`erement k ou k0 .
3.2

Leffet Hanbury-Brown et Twiss

Supposons quon dispose deux detecteurs aux points r 1 et r 2 et quon mesure la


correlation entre les intensites des deux detecteurs (figure 2.4). Le signal detecte est alors :
C = hI(r 1 ) I(r 2 )i = hE (r 1 ) E(r 1 ) E (r 2 ) E(r 2 )i

(2.50)

On remplace E(r 1 ) et E(r 2 ) par leur valeur


0

E(r 1 ) = Ek eikr1 + Ek0 eik r1

E(r 2 ) = Ek eikr2 + Ek0 eik r2

ce qui donne :

0
0
C = h |Ek |2 + |Ek0 |2 + Ek Ek0 ei(k k)r1 + Ek Ek0 ei(k k)r1 (r 1 r 2 )i

(2.51)

(2.52)

On developpe le produit en utilisant la decorrelation entre les champs Ek et Ek0 :


C h(|Ek |2 + |Ek0 |2 )2 i + 2h|Ek |2 |Ek0 |2 i cos((k k0 ) (r 1 r 2 ))

(2.53)

On retrouve la modulation en (kk0 )(r 1 r 2 ) = kr0 , mais sans le prefacteur sensible aux
fluctuations atmospheriques. Cette methode rend donc la mesure de langle beaucoup
plus simple.
3.3

Interpr
etation corpusculaire de leffet H-B et T

Supposons que letat du champ soit un etat `a deux photons, avec un photon dans le
mode k et un photon dans le mode k0 :
|i = |1k , 1k0 i

(2.54)

rences a
` plusieurs particules
3 . Interfe

27

Correlateur dintensit

Fig. 2.4: Methode mise au point par Hanbury-Brown et Twiss pour mesurer la difference k k0 ,
fondee sur la correlation en intensite.

Le photon du mode k a ete emis par la source S et le photon k0 par la source S 0 . On


veut calculer la probabilite de detecter un photon au point r 1 et un autre au point r 2
en utilisant (2.26). Dans le developpement de E (+) , seuls vont compter les deux modes
initialement peuples k et k0 . En supposant que ces deux modes ont la meme frequence
et en oubliant la polarisation pour simplifier les notations, le calcul de la correlation
cherchee se ram`ene `a :

0
0

P (r 1 , r 2 ) ak eikr1 + ak0 eik r1 ak eikr2 + ak0 eik r2 |1k , 1k0 i


(2.55)
Quand on developpe le produit, 4 termes apparaissent. Deux sont nuls ; ce sont ceux qui
contiennent a2k ou a2k0 . On ne peut detruire deux photons k sur un etat nen contenant
quun ! Il reste donc la contribution des deux termes ak ak0 :

2
0
0

P (r 1 , r 2 ) ei(kr1 +k r2 ) + ei(kr2 +k r1 ) = 2 + 2 cos((k k0 ) (r 1 r 2 ))


(2.56)
On retrouve bien la modulation calculee ci-dessus pour des champs classiques.
Linteret de lexpression (2.56) est de bien montrer la relation entre leffet HB-T et
un effet dinterference. Le signal detecte est relie `a la superposition coherente de deux
amplitudes de probabilite :

A r2
A r1
et
(2.57)
B r2
B r1
avec en particulier une interference constructive en r 1 = r 2 .
Conclusion
En resume, les idees importantes de ces deux premiers cours sont les suivantes :
Un syst`eme quantique avec quelques degres de liberte seulement pert sa coherence en
sintriquant avec son environnement. Letat de lensemble syst`eme+environnement
reste decrit par un vecteur detat, mais les interferences qui permettaient de caracteriser la coherence du syst`eme initial voient leur contraste diminuer, voire disparatre.

28

Chapitre 2 Champs quantiques et bains doscillateurs

Un syst`eme quantique avec beaucoup de degres de liberte (un gaz de bosons par
exemple) peut perdre sa coherence meme sil est isole, si sa temperature est assez
elevee.
La coherence dun syst`eme peut se manifester dune mani`ere plus subtile que via
une figure dinterference `a une particule. Les effets de coherence observables peuvent
resulter de linterference entre chemins quantiques dans un espace abstrait. Dun
point de vue mathematique, les interferences `a un photon (ou plus generalement `a
une particule) font intervenir des quantites du type hE (r 1 ) E(r 2 )i (souvent appelee
fonction g1 ) alors que les interferences `a deux photons (correlation dintensite) sont
sensibles `a hE (r 1 ) E(r 1 ) E (r 2 ) E(r 2 )i (souvent appelee fonction g2 ).
Nous avons developpe un formalisme simple, mais efficace, pour decrire quantiquement un champ auquel peut se coupler le syst`eme que nous considerons. Ce champ
quantifie peut etre vu comme un bain doscillateurs harmoniques avec des frequences
multiples dun quantum de base 2 c/L ; chaque oscillateur correspond `a un mode
propre du champ et il est caracterise par un operateur de creation et un operateur
dannihilation a et a .
Prolongements
1. A partir de letat `a deux photons (2.54), calculer `a partir de (2.25) la probabilite
P (r) de detecter un photon au point r. Cette probabilite presente-t-elle un signe
dinterference ? On pourra ensuite se poser la meme question pour letat `a 1 photon :

1
|i = |1k , 0k0 i + ei |0k , 1k0 i
2

(2.58)

Que se passe-t-il si on refait la meme experience un grand nombre de fois et quon


moyenne les resultats, avec une phase fluctuant dune realisation de lexperience
`a une autre ?
2. Nous avons traite ici leffet HB-T pour des photons, et notre traitement setend sans
modification `a nimporte quelles particules bosoniques. Comment se transpose-t-il
pour des fermions (en particulier linterference constructive en r 1 = r 2 ) ?
3. Comment le traitement quantique de leffet Hanbury-Brown et Twiss se generaliset-il `a des nombres plus eleves de particules ? On pourra considerer un etat `a 2N
particules, |i = |Nk , Nk0 i et chercher comment ces 2N particules vont se disposer
sur un ecran de detection, cest-`a-dire chercher `a calculer la fonction de correlation
P (r 1 , r 2 , . . . , r 2N ).
R
ef
erences compl
ementaires
C. Cohen-Tannoudji, J. Dupont-Roc et G. Grynberg, Photons et atomes, introduction `a lelectrodynamique quantique, InterEditions.
A. Aspect, C. Fabre et G. Grynberg, Introduction aux lasers et `a loptique quantique,
Ellipses.
M. O. Scully and M. S. Zubairi, Quantum optics, Cambridge University Press.

Chapitre 3
Lop
erateur densit
e
La formulation la plus simple de la mecanique quantique repose sur le principe que
lon peut preparer un syst`eme donne dans un etat decrit par un vecteur |i de lespace de
Hilbert. Connaissant |i, nous pouvons alors calculer les probabilites de tous les resultats
possibles dune mesure donnee. De tels etats sont appeles etats purs. Cependant, il existe
de nombreuses situations physiques pour lesquelles on ne peut pas disposer dune connaissance compl`ete de letat du syst`eme. Les deux exemples qui suivent illustrent ce point.
Le premier exemple concerne un faisceau lumineux depolarise, de vecteur donde
k = k uz fixe. De mani`ere generale, pour caracteriser letat de polarisation dun faisceau lumineux, on peut utiliser des combinaisons de polariseurs `a deux voies et de lames
`a retard (1/4 donde, 1/2 onde). Rappelons quun polariseur `a deux voies a la propriete
suivante : si on oriente son axe selon x et quon envoie un faisceau polarise selon x, ce
faisceau est compl`etement transmis par le polariseur. Si le faisceau est polarise selon y,
il est compl`etement deflechi lors de la traversee du polariseur. Cest lequivalent dune
experience de Stern et Gerlach.
Considerons donc un faisceau depolarise. Quand on place un polariseur `a deux voies
dans le plan xy, eventuellement precede de lames `a retard, quelle que soit lorientation de
ce polariseur, on trouve toujours que 50% des photons sont transmis et 50% sont deflechis.
Comment decrire letat dun photon dans cette situation ? Introduisons les deux etats `a
un photon correspondant `a une polarisation lineaire selon x et selon y :
|x i ak,ux |0i

|y i ak,uy |0i

(3.1)

qui forment une base de lespace des etats `a un photon de vecteur donde k = k uz . On
peut alors chercher `a decrire un (( etat depolarise )) en prenant
| i = cos |x i + sin |y i .

(3.2)

Pour = /4, ceci fournit bien une probabilite 1/2 de transmission et de deflexion si
laxe du polariseur est aligne selon x ou y. Mais cela nest plus vrai d`es quon tourne
le polariseur ; on se convainc facilement (par exemple en regardant le signal de photodetection `a un photon (2.25)) que ceci correspond `a un photon polarise lineairement selon
la direction cos ux + sin uy . Les etats de type (3.2) ne correspondent donc pas `a une
29

rateur densite

Chapitre 3 Lope

30

lumi`ere depolarisee. On peut augmenter la taille de la classe des vecteurs detats consideres
en utilisant des coefficients complexes et en introduisant par exemple les deux etats :

1
|+ i = (|x i + i|y i)
2

1
| i = (|x i i|y i) .
2

(3.3)

Ces deux etats ont effectivement la propriete de fournir une probabilite 1/2 de transmission
et de deflexion pour toute orientation dun polariseur. Mais ils ne correspondent pas `a une
lumi`ere depolarisee. Si on place devant le polariseur une lame 1/4 donde, qui introduit un
dephasage de /2 entre les composantes selon x et y du champ electrique, alors on retrouve
derri`ere cette lame un photon polarise lineairement, decrit par (3.2), avec = /4. Plus
generalement, nimporte quelle combinaison de |x i et |y i avec des coefficients complexes
correspond `a un photon compl`etement polarise (avec une polarisation en general elliptique,
la polarisation lineaire (3.2) ou circulaire (3.3) etant un cas limite). En dautres termes, il
ny a pas de place pour le (( desordre )) correspondant `a une lumi`ere depolarisee dans une
description du syst`eme en termes de vecteur detat.
Le deuxi`eme exemple concerne une mesure incompl`ete. Considerons un oscillateur
harmonique `a deux dimensions de pulsation . Supposons quon mesure son energie et
quon trouve le resultat 2 h
. Quel est letat du syst`eme apr`es cette mesure ? Il ny a pas
de reponse unique `a cette question, puisque |nx = 1 , ny = 0i, ou |nx = 0 , ny = 1i, ou
nimporte quelle combinaison lineaire de ces deux etats sont des choix possibles.
Par consequent, il nest pas toujours possible de definir de mani`ere non ambigue le
vecteur detat dun syst`eme quantique. Nous devons remplacer cette notion par une autre
formulation, plus generale, qui nous permettra de decrire des syst`emes mal prepares, cest`a-dire des syst`emes pour lesquels toutes les quantites physiques associees `a un ECOC nont
pas ete mesurees. Pour cela nous devons reformuler les principes de la mecanique quantique
habituels en termes de loperateur densite. Nous commencerons par les cas particuliers o`
u
le syst`eme est effectivement decrit par un vecteur detat. Dans ce cas, on dit que le syst`eme
est dans un etat pur. Nous passerons ensuite au cas general, correspondant par exemple
aux deux exemples presentes ci-dessus, pour lesquels la description en terme de vecteurs
detats est impossible. Nous montrerons que la description en terme doperateur densite est
bien adaptee `a ces situations, quon qualifie de cas impurs ou melanges statistiques. Nous
donnerons quelques exemples dapplication de loperateur densite, tels que la distribution
de Wigner et la description de mesures effectuees sur des syst`emes constitues de deux soussyst`emes intriques, et nous conclurons par une br`eve description de largument EPR1 .

Une partie de ce chapitre reprend le chapitre 14 et lappendice D du cours de Mecanique Quantique


de lEcole polytechnique, par J.-L. Basdevant et J. Dalibard.

31

1 . Etats purs

Etats purs

1.1

Un outil math
ematique : la trace dun op
erateur

Considerons un espace de Hilbert avec une base orthonormee {|ni} et un operateur A


agissant dans cet espace. La trace de A est definie par :
=
Tr(A)

hn|A|ni
.

(3.4)

ne depend pas du choix de la base {|ni}. Si on consid`ere une autre


La quantite Tr(A)
base orthonormee {|
ni}, on a :
X

hn|A|ni
=

X
mi
mi
h
n|A|

hn|
ni h
n|A|
hm|ni

=
n
,m

n,
n,m

!
X
hn|
ni hm|ni

X
X
mi
ni ,
=
h
n|A|
n ,m =
h
n|A|
n
,m

o`
u nous avons utilise la relation de fermeture :

P
n

|nihn| =

P
n

|
nih
n| = 1.

=Tr(B
A)
pour toute paire
Une propriete importante de la trace est Tr(AB)

doperateurs A et B, que ces operateurs commutent ou non :


=
Tr(A B)

X
X
X

A|mi

A)
,
hn|A B|ni
=
hn|A|mi
hm|B|ni
=
hm|B
= Tr(B
n

n,m

(3.5)

o`
u nous avons utilise de nouveau le relation de fermeture.
Dans la suite, nous considererons des operateurs particuliers comme A = |ih|, o`
u

|i and |i sont deux etats de lespace de Hilbert. Dans ce cas, Tr(AB) est simplement
:
lelement de matrice de B
X
X
=
|ni =

Tr(A B)
hn| (|ih|) B
hn|i h|B|ni
= h|B|i
.
(3.6)
n

= 1 et |i = |i, o`
En particulier, si nous considerons B
u |i est un vecteur de norme 1,
nous trouvons Tr(|ih|) = h|i = 1.
1.2

Lop
erateur densit
e pour des
etats purs

Considerons un syst`eme dans letat |i. Nous definissons loperateur densite (t) de
la mani`ere suivante :
(t) = |(t)ih(t)| .
(3.7)
Loperateur est hermitien et correspond au projecteur sur letat |i. A partir des principes de la mecanique quantique, nous pouvons deduire les proprietes suivantes :

rateur densite

Chapitre 3 Lope

32

1) Si nous effectuons une mesure de la quantite physique A, correspondant `a lobservable


la probabilite de trouver la valeur propre a est :
A,
P(a ) = ||P |i||2 = h|P |i ,
o`
u P est le projecteur sur le sous-espace propre de A correspondant `a la valeur propre
a . Cela peut aussi secrire :

P(a ) = Tr P .
(3.8)

En particulier, la valeur moyenne hai = h|A|i


est egale `a :

hai = Tr A .

(3.9)

2) Immediatement apr`es une mesure donnant le resultat a , letat du syst`eme est | 0 i =


P |i/||P |i||. Loperateur densite correspondant est donc :
0 =

P P
.
P(a )

(3.10)

3) Notons H(t)
lhamiltonien du syst`eme. Tant quaucune mesure nest effectuee,
levolution du syst`eme est donnee par lequation de Schrodinger. Loperateur densite
verifie donc :
ih

d|(t)i
dh(t)|

= i
h
h(t)| + ih|(t)i
= H|(t)ih(t)|
|(t)ih(t)|H
dt
dt
dt

ce qui secrit aussi :

1.3

i
d
h
i
h = H(t), (t) .
dt

(3.11)

Formulation
equivalente de la m
ecanique quantique pour des
etats purs

Nous pouvons maintenant formuler les principes de la mecanique quantique en terme


de loperateur densite au lieu du vecteur detat :
Premier principe : description de l
etat dun syst`
eme. A tout syst`eme physique
est associe un espace de Hilbert approprie EH . A tout instant t, letat du syst`eme est
compl`etement determine par un operateur densite (t). Cet operateur est hermitien et
satisfait la condition de normalisation Tr(
(t)) = 1.
Cas particulier : Si le syst`eme est dans un etat pur, (t) a une valeur propre egale `a
1 et toutes les autres valeurs propres sont nulles.
Deuxi`
eme principe : mesure de grandeurs physiques. Le principe concernant la
mesure de quantites physiques est donne par (3.8) et (3.10).

langes statistiques
2 . Me

33

Troisi`
eme principe :
evolution dans le temps. Levolution de loperateur densite
est donnee par (3.11).
Remarquons que lhypoth`ese concernant les valeurs propres de (t) est equivalente `a
la formulation en termes de vecteur detat |i. En effet peut etre diagonalise puisquil
est hermitien. La condition Tr(
) = 1 entrane :
X
n = 1 ,
n

o`
u les n sont les valeurs propres de . Par hypoth`ese, toutes les valeurs propres de
sont nulles sauf une. Notons 1 = 1 la valeur propre non nulle et |i le vecteur propre
correspondant. Nous avons par construction = |ih|.
A ce stade, il semble que nous avons seulement complique la formulation des principes de la mecanique quantique, habituellement presentes en terme de vecteur detat.
Neanmoins, nous montrerons au paragraphe suivant que cette complication apparente
permet de decrire des situations plus generales, correspondant aux etats incompl`etement
prepares mentionnes dans lintroduction.

2
2.1

M
elanges statistiques
Le photon non polaris
e

Une mesure de polarisation dun photon impliquant des lames `a retard suivies dun
polariseur `a deux voies peut toujours sinterpreter comme la mesure de la projection de
letat de polarisation |i (inconnu) du photon sur un etat determine par les orientations
des lames et du polariseur :
|, i = cos |x i + ei sin |y i .
Avec la probabilite P+ = |h, |i|2 , le photon est transmis par le polariseur `a deux voies.
Avec la probabilite P = 1 P+ , le photon est deflechi. Dans le premier cas, on dira
que la mesure a donne le resultat +1, dans le second cas le resultat 1. On notera P,
lobservable associee `a cette mesure ; ses valeurs propres sont donc +1 et 1, les etats
propres correspondant etant |, i et | + /2, i.
Revenons sur le faisceau lumineux considere dans lintroduction. Le fait que le faisceau
soit non polarise secrit en termes mathematiques hP, i = 0 pour tout couple (, ). Nous
avons indique en introduction quaucun vecteur detat |i ne permet de rendre compte
de ce resultat. En revanche, il est facile de trouver loperateur densite correspondant, en
supposant que (3.9) reste valable pour des melanges statistiques :

1
1 1 0
(3.12)
= 1 ,
nonpol. =
2 0 1
2
qui garde la meme forme dans toute base orthonormee. En effet, on trouve dans ce cas
Tr(P, nonpol. ) = (1/2) Tr(P, ) = 0.

rateur densite

Chapitre 3 Lope

34

La signification suivante de (3.12) est la suivante. Dans la base |x i, |y i , loperateur


densite secrit :
1
1
= |x ihx | + |y ihy | .
(3.13)
2
2
Nous pouvons decrire le calcul de la valeur moyenne de nimporte quel operateur A de la
mani`ere suivante.
1. Supposons que le photon est dans letat |x i et calculons la valeur moyenne correspondante :
x i = Tr(A |x ihx |) .
hai(x) = hx |A|
2. De meme, supposons que le photon est dans letat |y i et calculons hai(y) .
3. Moyennons les deux resultats avec des poids egaux :
nonpol. ) = 1 hai(x) + 1 hai(y) .
Tr(A
2
2
Cette procedure est tr`es differente de celle quon
suivrait si le photon etait dans un etat
pur de polarisation, par exemple (|x i + |y i)/ 2. Dans ce cas, on devrait travailler avec
des amplitudes de probabilites, et des phenom`enes dinterference pourraient se produire,
puisque on partirait dune superposition coherente des etats |x i et |y i. Au contraire, pour
un photon non polarise, nous moyennons simplement les deux resultats associes aux deux
etats possibles |x i, |y i, comme on le ferait dans une description probabiliste classique.
La situation decrite par (3.12) est souvent appel
ee (( melange incoherent )), par opposition
avec la superposition coherente (|x i + |y i)/ 2, pour laquelle loperateur densite secrit
dans la base |x i, |y i :

1 1 1
.
(3.14)
2 1 1
Remarquons pour terminer que loperateur densite (3.13) peut egalement secrire :
1
1
= |+ ih+ | + | ih | .
2
2

(3.15)

Un melange `a poids egal de polarisations lineaires orthogonales peut donc egalement


sinterpreter comme un melange `a poids egal de polarisations circulaire gauche et circulaire
droite.
2.2

Lop
erateur densit
e pour un m
elange statistique

Generalisons maintenant `a un syst`eme quantique quelconque ce que nous venons de


voir pour un photon non polarise. Nous supposons que loperateur densite le plus general
obeit aux proprietes suivantes :
Premier principe (suite). Cas g
en
eral : Loperateur densite est hermitien et satisfait
la condition de normalisation Tr(
(t)) = 1. Toutes les valeurs propres i de verifient :
0 i 1 .

(3.16)

rateurs densite

3 . Exemples dope

35

Les deuxi`eme et troisi`eme principes sont toujours decrits mathematiquement par (3.8),
(3.9), (3.10) et (3.11).
Linterpretation physique de cette distribution est la suivante. Considerons une base
propre {|i i} de ; nous avons par definition :
X
i |i ihi | .
=
i

Lensemble des nombres


Ppositifs i peut etre interprete comme une distribution de probabilite puisque Tr(
) = i i = 1. Le calcul de la valeur moyenne dune grandeur physique
A secrit :
X
ii .
hai = Tr(A ) =
i hi |A|
i

Cela signifie quon peut dabord calculer les differentes valeurs moyennes hai(i) en supposant que le syst`eme est dans letat pur |i i, puis moyenner les differents resultats hai(i)
avec les poids statistiques i .
Supposons que lon realise une experience avec un syst`eme (par exemple un photon
P dont on mesure la polarisation) dont letat correspond au melange statistique =
etat |j i choisit aleatoirement
i i |i ihi |. Tout se passe comme si on disposait dun
par un (( acteur exterieur )) parmi lensemble des etats possibles {|i i}. La probabilite
pour que (( lacteur )) choisisse |j i est j . La sequence compl`ete des mesures faites sur
ce syst`eme particulier (par exemple grace `a une serie de lames `a retard et de polariseurs)
doit etre analysee comme si le syst`eme etait initialement dans letat |j i et rien dautre.
Ensuite, la meme sequence experimentale realisee une deuxi`eme fois (avec un autre photon) correspondra `a un autre etat |k i, egalement tire au sort dans lensemble {|i i} des
etats propres de , et ainsi de suite.
Un melange statistique est donc compl`etement different dun
cas pur, o`
u le syst`eme se
P
trouve dans une superposition coherente, par exemple |i = i i |i i. Dans ce dernier
cas, en realisant la meme sequence experimentale sur plusieurs syst`emes tous prepares dans
letat |i, lexperience permet
de mettre en evidence les interferences entre les differentes
amplitudes de probabilite i .

3
3.1

Exemples dop
erateurs densit
e
Les ensembles micro-canoniques et canoniques

Considerons un syst`eme pour lequel la seule information disponible est : le syst`eme


est avec certitude (i.e. une probabilite 1) dans un sous-espace F de lespace de Hilbert
E. Par exemple, letat de loscillateur harmonique mentionne dans lintroduction est dans
le sous-espace de dimension 2 engendre par {|nx = 1, ny = 0i, |nx = 0, ny = 1i} si une
mesure de son energie a donne le resultat 2 h
.
Si la dimension d de F est strictement plus grande que 1, le syst`eme nest pas dans un
etat pur et il doit etre decrit par un operateur densite. Nous postulerons que cet operateur

rateur densite

Chapitre 3 Lope

36
est :

1
= PF ,
d

(3.17)

o`
u PF est le projecteur sur ce sous-espace. Introduisons une base orthonormee |i i (i =
1, . . . , d) de F ; loperateur densite secrit :
d

1X
|i ihi | .
=
d i=1

(3.18)

Ce choix, appele operateur densite micro-canonique, est intuitif. Puisquon ne dispose


daucune information concernant letat particulier qui est occupe `a linterieur de F, nous
attribuons une meme probabilite `a chaque etat possible `a linterieur de ce sous-espace.
Cest une generalisation directe de ce que nous avons fait en (3.12) pour un photon 1/2
non polarise.
Ce principe est `a la base de la physique statistique quantique. Il permet de construire
lensemble canonique, qui decrit letat dequilibre dun syst`eme S en interaction faible
avec un grand reservoir denergie. Loperateur densite de S est :

e H
=
,
Tr(e H )

(3.19)

est lhamiltonien
o`
u est relie `a la temperature T du reservoir ( = (kB T )1 ) et o`
uH
de S, en labsence de couplage avec le reservoir.
A partir de (3.19), on deduit en particulier la loi de Boltzmann. Considerons deux
Dans une mesure
energies En et Em , qui sont deux valeurs propres non degenerees de H.
denergie, les probabilites respectives Pn et Pm de trouver les resultats En et Em sont
telles que Pn /Pm = exp((En Em )/kB T ).
3.2

La distribution de Wigner dune particule ponctuelle sans spin

Considerons une particule ponctuelle de masse m et de spin 0. Loperateur densite


decrivant letat de la particule peut etre developpe sur la base continue |ri associee `a
loperateur position de la particule. Introduisons :
(r, r 0 ) = hr|
|r 0 i ,

(3.20)

qui est une fonction complexe de r et r 0 . Les principes poses plus haut entranent que la
quantite (r, r) est positive, et quelle donne la probabilite de trouver la particule en r
(`a d3 r pr`es) :
Z
d3 P = (r, r) d3 r

et

(r, r) d3 r = 1 .

La distribution de Wigner w(r, p) de loperateur densite est definie par :


Z
u
u
1
(r , r + ) eiup/h d3 u ,
w(r, p) =
3
(2h)
2
2

(3.21)

rateurs densite

3 . Exemples dope

37

o`
u p a la dimension dune impulsion. Puisque (r, r 0 ) = (r 0 , r), cette quantite verifie :
ZZ
w(r, p) reel
;
w(r, p) d3 r d3 p = 1 .
(3.22)
La valeur moyenne dune quantite physique dependant seulement de la position A(r) ou
de limpulsion B(p) a une expression tr`es simple en terme de la distribution de Wigner :
ZZ
hai = Tr (A(
r ) ) =
A(r) w(r, p) d3 r d3 p ,
(3.23)
ZZ
hbi = Tr (B(
p) ) =
B(p) w(r, p) d3 r d3 p .
(3.24)
A partir de (3.22), (3.23) et (3.24), on pourrait etre tente de deduire que w(r, p) est la densite dans lespace des phases pour la particule consideree, cest-`a-dire que w(r, p) d3 r d3 p
represente la probabilite de trouver la particule au point r (`a d3 r pr`es) avec limpulsion
p (`a d3 p pr`es). Cest bien s
ur faux puisquune telle assertion na pas de sens dans le cadre
de la mecanique quantique si d3 r d3 p est plus petit que h
3 . Par ailleurs, rien ne garantit
que w(r, p) soit une quantite positive ; en fait, on peut aisement trouver des situations
pour lesquelles w(r, p) est negatif dans certaines regions de lespace des phases.
Supposons que la particule soit soumise au potentiel V (r), de sorte que lhamiltonien
= p2 /2m + V (
est H
r ). Nous laissons au lecteur le soin de montrer en exercice que
lequation de mouvement de w(r, p, t), deduite de (3.11) peut se mettre sous la forme :
w
p
+
r w = K[w] ,
t
m
avec :

Z
K[w] =

et

(3.25)

1
1
N (r, q) =
ih (2h)3

N (r, q) w(r, p q, t) d3 q
Z

u
u iuq/h 3
V (r ) V (r + ) e
du.
2
2

(3.26)

(3.27)

Lequation integro-differentielle (3.25)-(3.26) est plus compliquee que son equivalent classique donnant levolution de la densite dans lespace des phases. Dans le cas classique,
on trouve lequation de Liouville, qui a la meme structure que (3.25), mais o`
u (3.26) est
remplacee par :
K[w]|class. = r V p w .
(3.28)
Le fait que lequation classique, qui est locale en r et p, soit remplacee dans le monde
quantique par une equation integro-differentielle est une manifestation directe des proprietes etudiees tout au long de ce livre. Par exemple, dans le probl`eme du double puits,
en raison de la non-localite de (3.27) vis `a vis du potentiel V (r), la particule localisee
initialement dans le puits de gauche (( ressent )) lexistence du puits de droite et elle finit
par latteindre apr`es un certain temps.
Il y a deux cas o`
u les evolutions classique et quantique concident, au moins de mani`ere
approchee :

rateur densite

Chapitre 3 Lope

38

1) Si le potentiel V (r) varie lineairement ou quadratiquement avec la position, alors


(3.26) et (3.28) sont egales. Considerons par exemple le potentiel harmonique isotrope
V (r) = m 2 r2 /2. Le noyau N (r, q) vaut dans ce cas :
N (r, q) = m 2 r q (q)
R
o`
u nous avons utilise (q) = (2
h)3 eiuq/h d3 u. Une integration par parties dans (3.26)
donne alors K[w] = m 2 r p w = K[w]|class. .
2) Supposons que w(r, pq) varie doucement avec q dans lintegrale (3.26). Nous pouvons
alors faire lapproximation :
w(r, p q) ' w(r, p) (q p )w .
R
R
En utilisant N (r, q) d3 q = 0 et q N (r, q) d3 q = r V , nous obtenons K[w] '
K[w]|class. . Pour que cette approximation soit correcte, il faut que la largeur en q de
N soit beaucoup plus petite que lechelle dimpulsion p caracteristique de w(r, p). La
variation en q de N est directement reliee `a la transformee de Fourier du potentiel V (r).
Par consequent, si on note r0 lechelle typique de variation de V (r), cette approximation
est valable si r0 h
/ p.

Syst`
emes intriqu
es

4.1

Op
erateur densit
e r
eduit

Considerons un syst`eme S forme de deux sous-syst`emes A et B. Lespace de Hilbert


associe `a S est EA EB . Notons {|n i} une base de EA et {|m i} une base de EB .
Considerons loperateur densite du syst`eme complet, et definissons les operateurs
densite reduits A et B agissant dans EA et EB respectivement :
hn |
A |n0 i =

X
hn ; m |
|n0 ; m i
m

hm |
B |m0 i =

X
hn ; m |
|n ; m0 i .

(3.29)

Ces operateurs densite reduits sont egalement appeles traces partielles de sur B et sur
A et ils sont notes A = TrB (
) et B = TrA (
).
On verifie que A et B satisfont les proprietes dun operateur densite dans les espaces
EA et EB . Ils sont tous deux hermitiens, de trace 1 puisque Tr(
) = 1. De plus, pour tout
projecteur PA sur un sous-espace EA , on trouve :

Tr PA A = Tr (PA 1B ) 0 ,
o`
u la derni`ere inegalite est la consequence du fait que toutes les valeurs propres de sont
positives. On en deduit que toutes les valeurs propres de A sont egalement positives (et
de meme pour B ).

39

5 . Intrication non locale et paradoxe EPR

Lutilite de A et B apparat quand on cherche `a mesurer une grandeur physique


associee `a un des deux sous-syst`emes seulement. Supposons par exemple quon sinteresse
`a lobservable A 1B . La probabilite de trouver la valeur propre a de A est (cf. (3.8)) :

P(a ) = Tr (P 1B ) = Tr (P A ) .
En particulier, la valeur moyenne de A est hai = Tr(A A ).
Pour resumer, quand une mesure est effectuee sur le sous-syst`eme A seulement, toutes
les predictions concernant cette mesure peuvent etre faites `a partir de loperateur densite
reduit A .
4.2

Evolution dun op
erateur densit
e r
eduit

Supposons que le syst`eme S soit isole, et que les deux sous-syst`emes A et B ninter =H
A + H
B ,
agissent pas entre eux. Lhamiltonien total a donc la structure suivante : H
A = H
A 1B (resp. H
B = 1A H
B ) est lhamiltonien du syst`eme A (resp. B). En
o`
uH
utilisant le resultat general (3.11), nous obtenons :
ih

d
A
A , A ]
= [H
dt

ih

d
B
B , B ] .
= [H
dt

(3.30)

Si les deux sous-syst`emes ninteragissent pas, chaque operateur densite reduit A (resp.
A (resp. H
B ) uniquement.
B ) evolue sous laction de lhamiltonien du sous-syst`eme H
Resumons les resultats de cette section : lorsquun syst`eme A est isole pendant un
intervalle de temps (ti , tf ), nous pouvons calculer les proprietes physiques de ce syst`eme
(probabilites des differents resultats de mesure) en utilisant uniquement loperateur densite reduit de ce syst`eme `a linstant initial ti , et en determinant levolution de cet operateur
A grace `a (3.30). Cela est valable meme si A a interagi avec un autre syst`eme B (ou plusieurs autres) avant linstant ti et si le syst`eme total A + B est dans un etat intrique2 `a
linstant ti .

Intrication non locale et paradoxe EPR

5.1

Les corr
elations EPR

Une illustration des concepts qui prec`edent est fournie par lanalyse du paradoxe EPR.
Rappelons bri`evement la nature de ce paradoxe. Nous le presentons ici dans une version
mise au point par David Bohm en 1952, qui est plus agreable `a traiter mathematiquement
que la version initiale, tout en etant equivalente quant `a ses implications conceptuelles.
Considerons un atome `a trois niveaux. Les niveaux superieurs |ei et inferieurs |f i
ont un moment cinetique nul, alors que le niveau intermediaire |ri (niveau relais) a un
2

En revanche, cest uniquement `a partir de loperateur densite total (et pas A B ) que les
correlations entre les mesures effectuees sur A et sur B peuvent etre calculees de mani`ere correcte.

rateur densite

Chapitre 3 Lope

40

a
Alice

b
Bernard

ua

ub

Fig. 3.1: Situation EPR : deux photons a et b sont prepares dans un etat correle en polarisation.
Le photon a se dirige vers Alice qui effectue une mesure de la composante de sa polarisation ua .
Le photon b se dirige vers Bernard qui mesure la composante de la polarisation selon ub .

moment cinetique 1. Ce schema correspond `a la structure datomes alcalino-terreux, le


calcium par exemple. Un atome initialement prepare dans letat |ei va retomber sur le
niveau |f i, en emettant une paire (a, b) de photons. Le premier photon a a une energie
h
a = Ee Er et le second une energie h
b = Er Ef . Ces energies sont differentes et la
couleur des photons a et b est donc notablement differente (bleu et violet pour le calcium).
On sinteresse au cas o`
u la paire de photons est emise selon laxe z. Grace `a des filtres
colores, on peut selectionner les evenements tels que le photon a se dirige vers Alice et le
photon b vers Bernard.
Le moment cinetique total est conserve lors du processus demission. Comme les etats
atomiques de depart et darrivee ont un moment cinetique nul, la paire de photons a
egalement un moment cinetique nul. On peut montrer quun photon polarise circulairement | i porte un moment cinetique h selon sa direction de propagation. On en deduit
que le vecteur detat de la paire de photons emise secrit :
1
|s i = (|a : + i |b : i + |a : i |b : + i) .
2

(3.31)

ce qui peut encore secrire en revenant `a la base de polarisation lineaire :


1
|s i = (|a : x i |b : x i + |a : y i |b : y i) .
2

(3.32)

Le photon a se dirige vers Alice, qui va effectuer une mesure de sa polarisation le long
dun axe de vecteur unitaire ua (figure 3.1) ; de meme le photon b se dirige vers Bernard,
qui effectue une mesure de sa polarisation le long dun axe de vecteur unitaire ub . On
convient de noter +1 le resultat de la mesure si le photon est transmis par le polariseur
et 1 si le photon est deflechi. Rappelons que si Alice oriente son polariseur selon x, un
photon |x i sera transmis avec probabilite 1 (resultat +1) alors quun photon |y i sera
deflechi avec probabilite 1 (resultat 1).
Les mesures dAlice et de Bernard presentent de fortes correlations. Supposons tout
dabord quAlice et Bernard choisissent tous les deux laxe x pour effectuer leur mesure :
ua = ub = ux . Avec une probabilite 1/2, Alice et Bernard trouveront chacun +1 (transmission) ; toujours avec une probabilite 1/2, ils trouveront chacun 1 (deflexion). En
revanche, Alice et Bernard ne peuvent jamais obtenir des resultats differents. Il y donc
correlation parfaite.

5 . Intrication non locale et paradoxe EPR

41

Cette correlation se generalise immediatement `a toute situation dans laquelle Alice et


Bernard effectuent leur mesure selon un axe commun quelconque du plan xy. En effet le
choix des axes xy permettant de passer de (3.31) `a (3.32) est arbitraire.
5.2

Th
eories `
a variables cach
ees et in
egalit
es de Bell

De telles correlations ou anti-correlations parfaites sont frequentes dans la vie quotidienne. Supposons que lon dispose de deux cartes, lune rouge, lautre jaune, et quon
les place chacune dans une enveloppe scellee. Apr`es melange, on donne une enveloppe `a
Alice, lautre `a Bernard. Quand Alice ouvre son enveloppe, elle decouvre la couleur de sa
carte, jaune avec une probabilite 1/2 et rouge avec une probabilite 1/2. Il y a evidemment
une anti-correlation parfaite avec le resultat ulterieur de Bernard ; si la carte dAlice est
rouge, celle de Bernard est jaune et reciproquement. Il napparat aucun paradoxe dans
ces correlations : la couleur de la carte dAlice et de celle de Bernard sont tirees au sort
au moment du melange des enveloppes et ce nest pas le fait quAlice prenne connaissance
de la couleur de sa carte qui determine la couleur de la carte de Bernard.
On pourrait chercher une interpretation similaire des correlations EPR, ce qui revient
`a raisonner en termes de theories `a variables cachees. Dans le cadre de ces theories, supposees donner une description plus compl`ete de la (( realite )) que la mecanique quantique,
il existe un param`etre (variable cachee), different pour chaque paire, qui predetermine le
resultat de lanalyse Stern et Gerlach qui va suivre. Lexistence de telles theories a ete
ecartee par les test experimentaux (experiences dAlain Aspect par exemple), au moins
si on leur ajoute lhypoth`ese de localite. On montre en effet que les predictions de ces
theories sont contraintes par certaines inegalites, appelees inegalites de Bell, alors que ces
inegalites sont violees dans lexperience (et par la theorie quantique).
5.3

Il ny a pas de transmission supra-luminique !

Une fois convaincus que lexplication des correlations EPR en termes de variables
cachees nest pas possible, nous pouvons revenir vers lexplication quantique. Supposons
quAlice effectue sa mesure avant Bernard. Dans le formalisme quantique, on est amene
`a poser que lors de la mesure dAlice de la polarisation de son photon selon laxe x, letat
du syst`eme global est projete de la mani`ere suivante :
Resultat dAlice = +
Resultat dAlice =

|s i |a : x i |b : x i
|s i |a : y i |b : y i

(3.33)
(3.34)

La mesure dAlice affecte donc letat du syst`eme global, en particulier sa composante


sur lespace des etats de la polarisation du photon b. On peut donc se poser la question
suivante : est-ce que la modification instantanee de letat total du syst`eme induit une
modification des proprietes que Bernard peut mesurer ? Si cetait le cas, cela correspondrait `a une transmission dune certaine information dAlice vers Bernard, ce qui serait
evidemment en contradiction avec le principe de relativite.
Heureusement, il nen nest rien, comme on peut le voir simplement. Tant que Bernard

rateur densite

Chapitre 3 Lope

42

ne fait que des mesures portant sur le photon b, les predictions portant sur ces mesures
peuvent etre calculees `a partir de loperateur densite reduit de la polarisation du photon
b:
Avant quAlice effectue sa mesure, le syst`eme total etant dans letat (3.32), cet
operateur densite reduit se calcule aisement et on trouve b = 1B /2. Pris separement,
le photon b apparat donc compl`etement depolarise.
Une fois quAlice a effectue sa mesure, loperateur densite de la polarisation du
photon b est |b : x ihb : x | dans le cas (3.33) (probabilite 1/2) et |b : y ihb : y | dans
le cas (3.34) (egalement probabilite 1/2). Sil pense quAlice a effectue sa mesure,
Bernard, ne connaissant pas le resultat de cette mesure, va prendre un operateur
densite ponderant ces deux eventualites, cest-`a-dire :
1
1
|b : x ihb : x | + |b : y ihb : y |
2
2
ce qui nest autre que 1B /2.
En resume, quAlice ait fait ou non une mesure, les predictions que Bernard est capable
de faire sur son sous-syst`eme, le photon b, sont inchangees et elles se font en prenant
B = 1B /2. Cela reste valable tant que Bernard na pas ete informe du resultat dAlice.
Une fois quil a recu dAlice le resultat obtenu sur a, il peut bien s
ur comparer avec
son propre resultat et constater la correlation parfaite. Mais cette information transite a
priori par un canal respectant la relativite. Il ny a donc pas de violation du principe de
relativite engendree par le fait que la mesure dAlice projette immediatement lensemble
du vecteur detat. Ouf !
Prolongements
1. Trace de 2 : montrer que Tr(
2 ) 1 et Tr(
2 ) = 1 uniquement pour un etat pur.
2. Evolution dun etat pur : En utilisant le resultat de lexercice precedent et lequation
devolution (3.11), montrer quun etat pur reste un etat pur lors dune evolution
hamiltonienne.
3. Inegalites verifiees par : Montrer que |h|
|i|2 h|
|i h|
|i pour toute paire
detats |i, |i orthogonaux.
que loperateur densite dun spin 1/2
4. Operateur densite dun spin

1/2 : Montrer
/2 ,o`
u les i (i = x, y, z) sont les matrices
peut toujours secrire = a0 1 + a
de Pauli matrices et les quatre nombres a0 , ai (i = x, y, z) sont reels. Determiner les
contraintes existant sur ces nombres. Calculer le spin moyen hSi pour cet operateur
densite et retrouver les deux cas limites correspondant `a un spin compl`etement
polarise et non polarise.
R
ef
erences compl
ementaires
Proprietes generales de loperateur densite : U. Fano, Review of Modern Physics 29,
74 (1957) ; D. Ter Haar, Report of Progress in Physics 24, 304 (1961).
La distribution de Wigner : E.P. Wigner, Phys. Rev. 40, 749 (1932) ; T. Takabayasi,
Progress in Theoretical Physics 11, 341 (1954) ; S.R. De Groot and L. G. Suttorp,

5 . Intrication non locale et paradoxe EPR

Foundations of Electrodynamics (Amsterdam, North-Holland, 1972).

43

44

rateur densite

Chapitre 3 Lope

Chapitre 4
Le mouvement brownien classique
Quand on observe le mouvement dune grosse particule (un grain de pollen dans lobservation initiale de Brown) plongee dans un fluide, on constate quelle subit un mouvement aleatoire. Ce mouvement resulte de deux composantes antagonistes ; lune est une
force de friction, qui tend `a amortir le mouvement de la particule ; lautre est un terme
de chauffage, qui resulte du caract`ere aleatoire des chocs des molecules du fluide sur la
particule brownienne.
Nous presentons ici un mod`ele developpe independamment par Einstein et Smoluchovski pour rendre compte de ces observations. Ce mod`ele va nous permettre de degager,
au niveau classique, les deux concepts essentiels caracterisant le couplage dun syst`eme
avec son environnement, fluctuations et dissipation. Nous montrons en particulier que dans
letat stationnaire, la distribution en vitesse de la particule brownienne est une distribution de Maxwell-Boltzmann. Pour terminer, nous examinons une application (( moderne ))
de ce mod`ele de mouvement brownien : le refroidissement datomes par laser. Dans les
cours suivants, nous reprendrons une demarche similaire, mais au niveau quantique cette
fois-ci.

Force de friction et force de Langevin

Si la particule brownienne est lancee avec une vitesse v 0 dans le fluide, on constate
que sa vitesse moyenne decrot exponentiellement, avec une constante de temps 1/. Pour
etre plus precis, en faisant un nombre N 1 de fois le meme lancer et en moyennant les
differentes histoires v (n) (t), n = 1, . . . , N , on constate que la vitesse moyenne
N
1 X (n)
v(t) =
v (t)
N n=1

(4.1)

v(t) = v 0 et

(4.2)

decrot selon la loi :

45

46

Chapitre 4 Le mouvement brownien classique

Pour modeliser cet amortissement, on pose que la particule brownienne est soumise `a une
force de friction de la part des particules du fluide et cette force secrit :
F frict. = M v

(4.3)

Cette force de friction permet de rendre compte de lamortissement de la vitesse


moyenne observe experimentalement. Cependant, cette hypoth`ese ne peut `a elle seule
decrire lensemble des caracteristiques du mouvement brownien. Si la force de friction
etait la seule force presente, la particule serait compl`etement immobile apr`es quelques
, ce qui ne correspond pas `a lobservation. Pour rendre compte de ce qui se passe dans
lexperience, on suppose que la particule est egalement soumise `a une deuxi`eme force,
appelee force de Langevin et notee F (t). Cette force est une variable aleatoire, dont
nous allons preciser les caracteristiques (valeur moyenne, fonction de correlation). Elle est
sensee representer leffet des molecules du fluide sur la particule brownienne non inclus
dans la force de friction M v. Lequation du mouvement de la particule brownienne
est donc donnee par :
dv
M
= M v(t) + F (t)
(4.4)
dt
Il est important de bien comprendre que cette separation de leffet des molecules
du fluide en deux parties, friction dune part et fluctuations de lautre, est purement
phenomenologique. Une particule brownienne, quelle bouge ou non, subit en permanence
de tr`es nombreux chocs avec les molecules du fluide. Si la particule brownienne est en
mouvement, elle subit plus de chocs de molecules venant `a sa rencontre que de molecules
allant dans le meme sens quelles. Le bilan net est donc une force qui soppose en moyenne
au mouvement de la particule brownienne, tout en la relancant dans une direction aleatoire
si elle vient `a sarreter. Une theorie microscopique du mouvement brownien doit en principe permettre de determiner le coefficient et toutes les caracteristiques de F (t) en
fonction des donnees de base du probl`eme, potentiels dinteraction molecule-molecule et
molecule-particule brownienne. Nous developperons plus loin un mod`ele quantique simple
de mouvement brownien, pour lequel cette determination ab initio sera possible. Toutefois,
en pratique, on se limite souvent `a une determination experimentale de ces coefficients.

Propri
et
es statistiques de la force de Langevin

Nous supposerons que le fluide est `a lequilibre thermodynamique. La force de Langevin


est donc un processus aleatoire stationnaire. En termes de valeurs moyenne, ceci entrane
que F (t) independant de t et que F (t1 ) F (t2 ) ne depend que de t1 t2 . Il importe de
bien comprendre la notion de valeur moyenne dans ce contexte : on suppose quon realise
N fois la meme experience, avec la meme particule brownienne lancee dans le fluide avec
la meme vitesse ; la moyenne dune quantite quelconque se definit alors dune mani`ere
analogue `a ce quon a fait pour la vitesse en (4.1).
Valeur moyenne de F . Prenons la valeur moyenne de lequation du mouvement (4.4).
Pour assurer que la valeur moyenne de la vitesse relaxe bien vers 0 avec le taux , il faut

te
s statistiques de la force de Langevin
2 . Proprie

47

C()
2
0

2 c
-1

Fig. 4.1: Allure generale de la fonction de correlation C( ).

que nous posions :


F (t) = 0 .

(4.5)

Fonction de corr
elation de F . Si la force de Langevin est en moyenne nulle `a nimporte quel instant t, il nen va pas de meme pour son carre (sinon la force serait rigoureusement nulle et le probl`eme serait trivial). On a donc F02 = F 2 (t) > 0. Considerons
maintenant deux instants t1 et t2 tr`es eloignes lun de lautre (cette notion sera precisee
dans un instant). On sattend `a ce que la force F (t1 ) agissant `a linstant t1 nait a priori
rien `a voir avec celle agissant `a linstant t2 et que les deux quantites soient decorrelees :
Si t2 t1 (( grand )), alors :

F (t1 ) F (t2 ) = 0

(4.6)

Il nous faut donc preciser comment la fonction de correlation C( ) = F (t) F (t + )


decrot avec lecart . Pour cela, rappelons que la valeur instantanee de F (t) est
determinee par les molecules du fluide en train dagir avec la particule brownienne. La
force F (t) depend du nombre de molecules en train de subir un choc avec la particule, ainsi
que de leur vitesse. Le temps de correlation c recherche correspond au temps necessaire
pour quune certaine configuration de molecules du fluide en interaction avec la particule
soit remplacee par une autre. Ce temps est donc de lordre du temps dinteraction entre
une molecule et la particule brownienne, soit typiquement1 1011 `a 1012 s. Lallure de
la fonction de correlation C( ) est donnee sur la figure 4.1 : elle vaut F02 en = 0 pour
decrotre `a 0 sur lechelle de c .
Le point essentiel de cette fonction de correlation est la petitesse de lechelle de temps
c , comparee `a lautre echelle de temps du probl`eme 1 . Nous supposerons dans tout ce
qui suit que
c 1 .
(4.7)
La signification physique de cette inegalite est claire : il faut que le changement moyen
de vitesse de la particule brownienne pendant c soit tr`es petit. Autrement dit, il faut
un nombre de collisions bien superieur `a celui se produisant pendant c pour modifier de
mani`ere appreciable la vitesse de la particule brownienne2 .
1

portee caracteristique dinteraction entre 0,1 et 1 nm, avec une vitesse relative moyenne de 100 m/s.
Ceci ne serait pas vrai si la masse de la particule brownienne etait comparable `a la masse m dune
particule du fluide.
2

48

Chapitre 4 Le mouvement brownien classique

A partir du moment o`
u on se place dans le cadre defini par (4.7), la forme generale
de C( ) na plus grande importance ; nous verrons dans la suite que le seul param`etre
important pour la suite est lintegrale de C( ). On posera :
Z

F (t) F (t + ) d = 3 Dv M 2 .

(4.8)

Le param`etre Dv est appele coefficient de diffusion en vitesse3 . Son ordre de grandeur est :
1
F 20 c
=
Dv '
2
M
c

F 0 c
M

2
(4.9)

Le coefficient F 0 c /M a la dimension dune vitesse : cest le module du changement de


vitesse typique de la particule brownienne pendant le temps c sous leffet de la force de
Langevin, cest-`a-dire le pas de la marche au hasard queffectue la vitesse de la particule
brownienne. Le coefficient 1/c en facteur de cette expression est le taux avec lequel cette
marche au hasard seffectue.
Pour tirer parti de lindependance du mod`ele vis `a vis de c (pour une valeur de Dv
fixee), on remplacera frequemment dans ce qui suit la forme exacte (inconnue) de C( )
par une distribution de Dirac :
F (t) F (t + ) = 6 Dv M 2 ( ) ,

(4.10)

dans laquelle la valeur exacte de c nintervient pas. Ceci revient `a prendre la limite
F0 et c 0, tout en gardant F02 c Dv constant.

Evolution de la vitesse de la particule brownienne

3.1

Int
egration de l
equation du mouvement
Lequation (4.4) peut etre integree formellement pour donner :
v(t) = v(t0 ) e

(tt0 )

1
+
M

e(tt ) F (t0 ) dt0 .

(4.11)

t0

De ce resultat apparemment anodin, ou de sa limite obtenue pour un instant initial t0


eloigne de plus que quelques 1 dans le passe de t :
1
v(t) =
M

e(tt ) F (t0 ) dt0 ,

(4.12)

nous allons pouvoir deduire toute une serie de proprietes remarquables de ce mod`ele.
3

Le facteur 3 introduit dans cette definition correspond `a la dimension de lespace. Si la particule etait
contrainte `a se deplacer sur une droite ou sur un plan, ce coefficient serait remplace par 1 ou 2.

3 . Evolution de la vitesse de la particule brownienne

3.2

49

Evolution de la vitesse quadratique moyenne

Prenons dabord la moyenne de (4.11) pour une vitesse initiale v(t0 ) fixee. Comme
F (t0 ) = 0 pour tout t0 , on retrouve bien :
v(t) = v(t0 ) e(tt0 )

(4.13)

qui a ete notre point de depart.


Passons maintenant `a la moyenne du carre de la vitesse v 2 (t). En derivant cette quantite par rapport au temps et en utilisant lequation du mouvement (4.4), on obtient :
d 2
dv(t)
2
v (t) = 2 v(t)
= 2 v 2 (t) +
v(t) F (t) .
(4.14)
dt
dt
M
Il sagit maintenant devaluer la fonction de correlation entre la vitesse de la particule
brownienne et la force de Langevin au meme instant. Pour cela, utilisons (4.12) :
Z t
1
0
e(tt ) F (t0 ) F (t) dt0 .
v(t) F (t) =
(4.15)
M
On utilise maintenant la fonction de correlation (4.10) de la force de Langevin pour
trouver :
v(t) F (t) = 3 M Dv ,
(4.16)
Notons que la forme precise de C( ) en ( ) nest pas essentielle ici. Le seul point important est que le temps caracteristique c soit tr`es petit devant 1 de sorte quon peut
0
negliger la variation du terme e(tt ) dans lintegrale figurant dans (4.15). On deduit en
reportant dans (4.14) :
d 2
v (t) = 2 v 2 (t) + 6 Dv
(4.17)
dt
La signification physique de cette equation est tr`es simple. La vitesse quadratique moyenne
de la particule evolue sous leffet de deux termes antagonistes. Le premier est le terme de
friction qui tend `a reduire sa valeur. Le second resulte de laction de la force de Langevin
qui tend au contraire `a augmenter v 2 , donc `a chauffer la particule. On comprend ainsi la
denomination de Dv comme coefficient de diffusion en vitesse.
On constate que (4.17) admet un etat stationnaire (ce qui est rassurant) et qui correspond `a :
Dv
(4.18)
v 2 stat. = 3

Dans notre calcul, les coefficients et Dp sont a priori independants et on pourrait


conclure que la vitesse quadratique moyenne de la particule brownienne peut prendre
nimporte quelle valeur, en ajustant lun ou lautre des coefficients. Ce nest en fait pas le
cas. La physique statistique doit etre coherente, ce qui entrane que lenergie cinetique de
la particule dans son etat stationnaire doit etre egale `a (3/2) kB T , o`
u T est la temperature
du fluide moleculaire.
Pour assurer cette coherence, il doit donc exister une relation entre les param`etres
et Dv :
M D v = kB T
(4.19)

50

Chapitre 4 Le mouvement brownien classique

Cette relation dEinstein relie les deux phenom`enes caracteristiques du mouvement brownien, fluctuations et dissipation. Nous la trouvons ici comme une contrainte a posteriori
de notre mod`ele. Dans une theorie microscopique du probl`eme, cette relation apparatrait
comme une consequence naturelle des equations du mouvement des molecules du fluide
et de la particule brownienne.
3.3

Simulation num
erique du mouvement brownien.

Si on veut effectuer une simulation sur ordinateur donnant une idee dun mouvement
brownien de coefficient de diffusion Dv et de friction , il faut dabord disposer dun
generateur de nombres pseudo-aleatoires fiable. On se donne ensuite un pas dintegration
temporel t aussi petit que possible. Le passage de v(t) `a v(t + t) se fait :
en tirant au sort la valeur de la force de Langevin F (supposee constante) pendant
lintervalle t. Les valeurs des 3 composantes Fi de la force selon les 3 axes i =
x, y, p
z sont decorrelees les unes des autres et on peut prendre par exemple Fi =
M 2 Dv / t. Dans ce cas, lelement aleatoire est le signe de chaque coefficient.
en passant de t `a t + t selon la loi :
v(t + t) = v(t) et + F t / M
p
' v(t) t v(t) + 2 Dv t

(4.20)

avec i = .
On pourra verifier directement que cette procedure (4.20) redonne bien, apr`es moyenne
sur les trois nombres aleatoires i = , lequation (4.17).
On notera que lincrement lie `a la force deterministe (force de friction) est proportionnel `a t, comme toujours pour un schema dintegration numerique dune equation

differentielle. En revanche, lincrement lie `a la force fluctuante est proportionnel `a t.


Ceci est necessaire si on veut que la valeur moyenne de cet increment soit nulle et que son
carre donne naissance au chauffage `a taux constant qui apparat dans (4.17). La formulation mathematique de ce type dequation que nous avons etabli ici de mani`ere heuristique
porte le nom dequation differentielle stochastique.
Cette procedure numerique donne une bonne image de ce quest le mouvement brownien, au moins sur des echelles de temps nettement superieures `a t. En revanche, pour
les echelles de temps plus courtes que t, le mouvement apparat regulier alors que ce
nest pas le cas dun mouvement brownien reel (considere dans la limite c 0).

Distribution de probabilit
e pour la vitesse

Nous allons nous interesser maintenant `a levolution de la fonction P(v, t) qui donne
la distribution de probabilite de la vitesse `a un instant t. Pour simplifier les notations,
nous considerons ici un probl`eme `a une dimension, mais nos resultats se generaliseront
sans difficulte `a 3D.

pour la vitesse
4 . Distribution de probabilite

4.1

51

Processus de Markov

Pour etablir cette equation, nous allons tirer parti de lhypoth`ese faite sur le temps
de correlation tr`es court de la force de Langevin. Cette hypoth`ese revient `a supposer que
le processus de marche au hasard considere ici est `a memoire courte : lhistoire future du
syst`eme apr`es linstant t ne depend que de la vitesse v(t) `a cet instant, mais pas de la
mani`ere avec laquelle on est arrive `a cette valeur. En termes mathematiques, on dit quon
a affaire `a un processus de Markov, dont la propriete principale est la suivante :
Pn (v1 , t1 ; v2 , t2 ; . . . ; vn , tn |vn+1 , tn+1 ) = P1 (vn , tn |vn+1 , tn+1 )

(4.21)

o`
u la quantite Pn (v1 , t1 ; v2 , t2 ; . . . ; vn , tn |vn+1 , tn+1 ) represente la probabilite de trouver la
vitesse vn+1 `a linstant tn+1 , sachant que la vitesse valait v1 `a linstant t1 , v2 `a linstant t2
et vn `a linstant tn (t1 < t2 < . . . < tn ).
Donnons-nous un intervalle de temps t. On deduit de lhypoth`ese de memoire courte
la loi de passage de P(v, t) `a P(v, t + t) :
Z
P(v, t + t) = P(v v, t) P1 (v v, t|v, t + t) dv
(4.22)
Dans ce qui suit, nous prendrons la limite t 0, ce qui signifie en particulier que
t est court devant le temps caracteristique 1 associe `a la particule brownienne4 . La
stationnarite du processus entrane que la fonction P1 (v v, t|v, t + t) ne depend pas
de t, mais seulement de t ; nous la noterons donc P1 (v v|v, t) :
Z
P(v, t + t) = P(v v, t) P1 (v v|v, t) dv
(4.23)
Nous allons maintenant chercher `a prendre la limite t 0 de cette equation pour en
deduire une equation aux derivees partielles donnant levolution de P(v, t).
4.2

Evolution
en absence de fluctuations

Commencons par etudier le probl`eme en absence de force de Langevin, ce qui revient


`a prendre Dv = 0 dans ce qui prec`ede. Effectuons un developpement de Taylor du produit
P(v v, t) P1 (v v|v, t) figurant dans lintegrale (4.22). On obtient
P(v v, t) P1 (v v|v, t) = P(v, t) P1 (v|v + v, t)
(4.24)

X (1)n (v)n n
+
[P(v, t) P1 (v|v + v, t)]
n
n!
v
n=1
Pour t petit, on a :

F (v) t
P1 (v|v + v, t) = v
M
4

(4.25)

Si le temps de correlation c de la force de Langevin nest pas infiniment court, lapproche de ce


paragraphe na de sens que si t c , ce qui complique la structure du resultat final.

52

Chapitre 4 Le mouvement brownien classique

avec F (v) = M v. Notons que cette expression satisfait bien la condition de normalisation :
Z
P1 (v|v + v, t) dv = 1
(4.26)
Nous allons prendre la limite t 0 de (4.23). Il faut donc evaluer les differents
termes `a lordre 1 en t. Puisque t et v sont proportionnels (cf. 4.25), on se limite
aux termes n = 0 et n = 1 dans (4.24) et on trouve :
Z

F (v) t
dv
P(v, t + t) = P(v, t)
v P(v, t) v
v
M
t
= P(v, t)
[F (v) P(v, t)]
(4.27)
M v
soit, en prenant la limite t 0 :

1
P(v, t) +
[F (v) P(v, t)] = 0
t
M v

(4.28)

ou encore

P(v, t) =
[v P(v, t)]
(4.29)
t
v
Cette equation du mouvement pour P(v, t) est equivalente `a lequation du mouvement de
Newton v = v.
4.3

Equation de Fokker-Planck

Cherchons maintenant `a prendre en compte la force de Langevin. Il sagit toujours


decrire (4.23) `a lordre 1 inclus en t, pour faire ensuite tendre t vers 0. Toutefois,
contrairement au cas Dv = 0, le premier ordre en t ne sobtient pas compl`etement en
prenant le premier ordre en v dans le developpement de Taylor (4.24). Il nous faudra aller
au deuxi`eme ordre en v, la raison etant clairement visiblesur (4.20) : laccroissement
de vitesse lie `a la force de Langevin varie seulement comme t.
Pour proceder dune mani`ere systematique, reportons le developpement (4.24) dans
(4.22), divisons par t et prenons la limite t 0 :

n
P(v, t) =
(1)n n [Mn (v) P(v, t)]
t
v
n=1
o`
u les coefficients Mn (v) sont definis par :
Z
1
1
lim
(v)n P1 (v|v + v, t) dv
Mn (v) =
n! t0 t

(4.30)

(4.31)

Pour calculer chaque coefficient Mn , on utilise lexpression de v(t + t) en fonction de


v(t) :
Z t+t
t
v(t + t) = v(t)e
+
F (t0 ) dt0
(4.32)
t

53

5 . Le refroidissement datomes par laser

Les valeurs de M1 et M2 sont donc :


v(t + t) v(t)
(v(t + t) v(t))2
1
= v
M2 = lim
= Dv (4.33)
t0
t
2 t0
t
Notons que la valeurs de M1 est inchangee par rapport au resultat trouve en labsence de
force fluctuante.
M1 = lim

On verifie ensuite
R que les autres coefficients Mn sont nuls. Par exemple, le coefficient
u chaque ti varie dans linM4 fait intervenir F (t1 ) F (t2 ) F (t3 ) F (t4 ) dt1 dt2 dt3 dt4 o`
tervalle [0, t]. Les seuls quadruplets (t1 , t2 , t3 , t4 ) qui contribuent de mani`ere significative
`a lintegrale sont ceux tels que les 4 temps se regroupent en deux paires proches lune de
lautre `a lechelle de c . Par exemple |t1 t2 | c et |t3 t4 | c . On en deduit que la
contribution de lintegrale est de lordre de F04 (t)2 c2 . Quand on divise par t et quon
prend la limite t 0, cette contribution sannule donc.
Lequation du mouvement de P(v, t) est donc finalement :
P(v, t)

2 P(v, t)
=
[v P(v, t)] + Dv
(4.34)
t
v
v 2
Cette equation est appelee equation de Fokker-Planck. Elle joue un role essentiel dans la
determination de levolution des proprietes de la particule brownienne.
4.4

Solution stationnaire.
Les solutions stationnaires de lequation de Fokker-Planck sont telles que :

P(v, t)
= constante
(4.35)
v
On sinteresse aux solutions qui sannulent `a linfini ainsi que leur derivees. La constante
dintegration est donc nulle et la solution stationnaire de lequation de Fokker-Planck est
une distribution de vitesse gaussienne donnee par :
v P(v, t) + Dv

Pstat (v) = exp(v 2 / 2v02 )

avec

v02 = Dv /

(4.36)

Comme on la dit plus haut, la coherence de la physique statistique est assuree si et


seulement si M Dv / = kB T . La distribution dequilibre de la particule brownienne est
alors la distribution de Maxwell-Boltzmann, de temperature egale `a la temperature T du
fluide de molecules.

Le refroidissement datomes par laser

Un exemple recent dans lequel les concepts que nous venons de degager ont joue un
role important concerne le refroidissement datomes par laser. Nous nous limitons ici `a la
version la plus simple du refroidissement, fondee sur leffet Doppler. Nous modelisons la
dynamique interne des atomes par un syst`eme `a deux niveaux, notes |f i (fondamental)
et |ei (excite). Lenergie de la transition f e est h
0 . On note = 1/ la duree de vie
du niveau excite e.

54

Chapitre 4 Le mouvement brownien classique


e ()
Laser

atome
v

Laser

0
f

Fig. 4.2: Principe du refroidissement Doppler `a une dimension.

5.1

Principe du refroidissement Doppler

Considerons pour simplifier un atome mobile selon une dimension et eclairons cet
atome par deux ondes se propageant en sens contraire. Ces deux ondes ont des caracteristiques identiques : meme intensite et meme frequence. De plus, on choisit cette
frequence inferieure `a la frequence de resonance atomique (figure 4.2).
Quelle est la consequence de la presence de ces deux ondes sur le mouvement du centre
de masse de latome ? Pour un atome au repos, les deux forces de pression de radiation (notion que nous preciserons quantitativement ci-dessous) sequilibrent et latome ne ressent
aucune force moyenne. Si latome est en mouvement, par exemple vers la droite, il va voir
en raison de leffet Doppler londe venant `a sa rencontre avec une frequence superieure.
Pour une vitesse suffisamment basse, cette onde est donc vue plus proche de resonance, et
sa force de pression de radiation est augmentee. Au contraire, londe allant dans le meme
sens que latome est vue avec une frequence plus basse et sa force de pression de radiation
est diminuee. Lequilibre entre les deux forces est donc rompu : la force resultante a une
direction opposee `a la vitesse atomique. Cette force de friction cree un refroidissement des
atomes, appele refroidissement Doppler.
Le but de ce paragraphe est de decrire plus quantitativement ce refroidissement et
detudier sa temperature limite, en utilisant les outils developpes dans ce chapitre. Le
mouvement de latome eclaire par ces ondes laser peut en effet etre considere comme un
mouvement brownien, dans lequel les molecules du fluide sont remplacees par les photons
des ondes laser, qui sont diffuses par latome.
5.2

Force de friction

Quand un atome (( `a deux niveaux )) est eclaire par une onde laser monochromatique
de pulsation et dintensite I, cet atome effectue des cycles de fluorescence, constitue
par labsorption dun photon laser et lemission spontanee dun autre photon, de direction
aleatoire. Nous nous limitons ici au cas o`
u lintensite I est faible, ce qui permet de negliger
le phenom`ene demission stimulee. Pour un atome au repos, le taux avec lequel ces cycles
sont effectues secrit :
2
I
(4.37)
G=
2 Is 2 + 42
On a introduit ici lintensite de saturation Is , qui est une caracteristique de la transition
atomique consideree (Is est typiquement egale `a quelques mW/cm2 ). On a pose par ailleurs

55

5 . Le refroidissement datomes par laser

= 0 (desaccord). Si latome bouge par rapport `a londe laser, la frequence apparente


de londe est modifiee et il faut remplacer dans la formule precedente par k v, o`
u
k represente le vecteur donde du laser.
Comme les photons transportent une impulsion h
k, une force sexerce sur latome
quand il subit ces cycles de fluorescence. Chaque processus elementaire (absorption ou
emission) change la vitesse de latome dune quantite h
k/M , appelee vitesse de recul. Cette
vitesse est de lordre du cm/s pour les atomes couramment utilises (sodium, rubidium).
Un bilan dimpulsion simple permet devaluer la force qui resulte de la repetition de ces
processus. Dans le n-i`eme cycle, la variation dimpulsion de latome vaut h
k h
ki , o`
u
kn est le vecteur du n-i`eme photon spontane. Les vecteurs donde des differents photons
spontanes sont decorreles et le transfert dimpulsion correspondant se moyenne `a 0. La
force moyenne provient donc des photons laser qui ont ete absorbes, et elle vaut :
F =h
k G = h
k

I
2
2 Is 2 + 4( k v)2

(4.38)

Considerons maintenant un atome eclaire par 6 ondes laser, se propageant selon les
directions x, y, z. Dans la limite de faible saturation, la force moyenne agissant sur
latome est egale `a la somme des six forces de pression de radiation. Pour un atome au
repos, cette force est nulle, puisque les 6 pressions de radiation se compensent deux `a
deux. Prenons maintenant un atome en mouvement et limitons-nous pour simplifier au
cas des faibles vitesses (kv ), ce qui permet de developper (4.38) au premier ordre en
v. On trouve alors :
F =h

I
82
2 Is (2 + 42 )2

ki (ki v)

(4.39)

i=1,...,6

La somme qui intervient dans cette expression vaut simplement 2k 2 v. La force cherchee
est donc proportionnelle `a la vitesse atomique et secrit :
F = M v

avec

h
k2 I
83
M Is (2 + 42 )2

(4.40)

Pour un desaccord negatif ( < 0 ), le coefficient de friction est positif et on a bien une
force de friction isotrope qui agit sur la particule. Pour des intensites I de lordre dune
fraction de Is et un desaccord = /2, le temps typique damortissement de la vitesse
est de quelques M/
hk 2 , ce qui correspond `a une fraction de milliseconde.
5.3

Coefficient de diffusion

Si la force de friction que nous venons de calculer decrivait toute la physique du


probl`eme, la vitesse de latome tendrait vers 0 au bout dun temps de lordre de 1 .
Mais on sait que quil faut aussi prendre en compte la diffusion en vitesse pour decrire
correctement la temperature limite dun mouvement brownien. Pour evaluer le coefficient
de diffusion Dv , le plus simple est de considerer un atome de vitesse nulle et devaluer

56

Chapitre 4 Le mouvement brownien classique

levolution de sa vitesse quadratique moyenne aux temps courts. En utilisant (4.17), on


attend une croissance de v 2 lineaire en temps, avec une pente 6 Dv .
En une duree T (quon choisit courte5 devant 1 pour negliger leffet Doppler), un
atome initialement au repos et eclaire par les 6 ondes laser effectue N ' 6 GT cycles de
fluorescence et son changement de vitesse secrit :
Mv =

Ni h
ki

N
X

h
kn

(4.41)

n=1

i=x+ ,x ,...,z

o`
u Ni represente le nombre de photons absorbes dans londe i, et kn limpulsion du ni`eme photon de fluorescence. Les variables aleatoires figurant dans cette expression sont
les Ni et les kn . Prenons le carre de cette expression et moyennons le resultat obtenu. En
utilisant le fait que les photons de fluorescence sont decorreles entre eux, on arrive `a :
M 2 v 2 = {(Nx+ Nx )2 + (Ny+ Ny )2 + (Nz+ Nz )2 + N }h2 k 2

(4.42)

Les trois premiers termes de laccolade correspondent aux fluctuations de limpulsion


apportee par chacun des 6 faisceaux lasers ; le dernier terme correspond aux fluctuations
de limpulsion emportee par les photons de fluorescence.
En prenant une distribution de Poisson pour les Ni , on arrive `a :
(Nx+ Nx )2 = (Ny+ Ny )2 = (Nz+ Nz )2 =

N
3

soit un coefficient de diffusion en vitesse :


Dv =

5.4

v2
2G
h2 k 2
h2 k 2 I
2
=
=
6T
M2
M 2 Is 2 + 42

Temp
erature limite

On peut maintenant appliquer le formalisme qui prec`ede. On sait que la distribution


en vitesse stationnaire des atomes places dans cette melasse optique sera gaussienne, avec
une (( temperature )) donnee par :

M Dv
h

2||

kB T =
=
+
.
(4.43)

4 2||

Il est remarquable que ce resultat ne depende pas de lintensite des ondes laser, mais
seulement du desaccord. Pour minimiser la temperature, on choisit = /2 et on
obtient la temperature limite du refroidissement Doppler :
kB Tmin =
5

.
2

(4.44)

Il faut en parall`ele choisir T suffisamment long pour avoir un nombre important de cycles de
fluorescence (N 1) ; ceci est possible car les transitions atomiques utilisees habituellement verifient
M hk 2 .

5 . Le refroidissement datomes par laser

57

Fig. 4.3: Photographie dune melasse optique datomes de sodium, `a lintersection de trois
paires donde laser se propageant respectivement selon x, y, z. Le nuage datome a une taille
de lordre du cm3 et contient environ 107 atomes (photo NIST). La temperature de ces atomes
est voisine de celle prevue par la theorie du refroidissement Doppler (elle peut etre notablement
inferieure dans le regime o`
u le refroidissement Sisyphe est significatif).

Il faut noter que cette temperature nest pas celle du (( fluide )) dans lequel les atomes sont
immerges, contrairement `a ce qui se passe dans un mouvement brownien traditionnel. En
effet, les photons laser nont pas de temperature `a proprement parler.
Ce resultat a fait lobjet de nombreuses etudes experimentales. Pour certains atomes
simples, pour lesquels lapproximation `a deux niveaux est valable, il decrit tr`es bien les observations. Pour des atomes dont la structure interne est plus complexe, les temperatures
mesurees sont notablement plus basses, car un autre mecanisme entre en jeu (refroidissement Sisyphe). La signature de cet effet de refroidissement est spectaculaire. Du fait
de la force de friction importante, les atomes sont (( englues )) dans cette melasse optique
et peuvent y rester confines pendant des temps tr`es longs `a lechelle atomique (le coefficient de diffusion spatiale Dr = Dv / 2 est faible). Pour des faisceaux laser dun diam`etre
de quelques centim`etres, ce temps depasse largement la seconde et on observe donc une
fluorescence importante emanant du nuage atomique refroidi (figure 4.3).
Prolongements
1. Determiner la fonction de correlation de la vitesse de la particule brownienne
v(t) v(t + ).
2. En utilisant lequation de Fokker-Planck (4.34), retrouver levolution de la vitesse
moyenne (4.13) et de son carre v 2 (t) (4.17).
3. En suivant pour la position r(t) de la particule brownienne une procedure
equivalente `a celle donnee plus haut pour la vitesse v(t), montrer quon peut definir
un coefficient de diffusion en position Dr . Montrer que Dr = Dv / 2 .

58

Chapitre 4 Le mouvement brownien classique

R
ef
erences compl
ementaires
N.G. Van Kampen, Stochastic processes in Physics and Chemistry, North-Holland.
C.W. Gardiner, Handbook of Stochastic Methods, Springer.
C. Cohen-Tannoudji, Cours au Coll`ege de France 1977-78, Chaps. 2-4.

Chapitre 5
L
equation pilote
Nous abordons maintenant un point central de ce cours : comment peut-on decrire
quantitativement levolution dun syst`eme quantique S lorsquil est couple `a son environnement ? Ce probl`eme est tr`es general et il apparat dans de nombreux domaines de la
physique : interaction dun atome isole avec le champ electromagnetique, mouvement dun
electron dans un reseau cristallin imparfait et/ou `a temperature non nulle, couplage dun
spin nucleaire aux champs magnetiques locaux dans une experience de RMN. Ce couplage dun syst`eme quantique avec son environnement est en particulier responsable de la
decoherence, qui est joue un role central dans la theorie de la mesure en mecanique quantique. Cette decoherence est par ailleurs lobstacle majeur que doivent affronter toutes
les equipes cherchant `a mettre en uvre le traitement quantique de linformation, voire
relaiser un (( ordinateur quantique )).
Nous modeliserons lenvironnement comme un gros reservoir R, que nous supposerons
peu perturbe par le syst`eme S. Nous ferons un traitement perturbatif de linteraction
S R (approximation de Born) et nous supposerons que la (( memoire )) du reservoir est
tr`es courte (approximation de Markov). Notre approche apparat ainsi comme la version
quantique du traitement du chapitre precedent, qui nous a conduit `a lequation de FokkerPlanck pour le mouvement brownien dune particule classique au sein dun fluide.

1
1.1

Mod`
eles de relaxation pour un spin 1/2
Les temps T1 et T2

Avant daborder le formalisme general de lequation pilote, nous allons considerer la


dynamique dun spin 1/2 couple `a un reservoir. Ce mod`ele de spin 1/2 est tr`es utilise dans
de nombreux domaines de la physique. En effet, il arrive souvent quon puisse ramener la
dynamique dun objet quantique (atome, molecule, point quantique dans un solide, squid)
`a levolution dun syst`eme `a deux niveaux, quon peut alors considerer comme un spin
fictif. Par ailleurs, le champ de recherche lie au traitement de linformation quantique fait
constamment appel `a la notion de q-bit, qui nest autre quun syst`eme quantique `a deux
59

quation pilote
Chapitre 5 Le

60

niveaux, representant le 0 et le 1 de la logique booleenne. Les resultats qui suivent


seront donc tr`es utiles dans de nombreuses applications.
Nous supposons que le spin 1/2 est plonge dans un champ magnetique B0 . Ceci constitue le syst`eme S, dhamiltonien :
h

Hs =
z ,
(5.1)
2
On pose par convention > 0, de sorte que le niveau |+i est au dessus du niveau |i. La
forme la plus frequente1 de lequation pilote regissant levolution de loperateur densite
dune assemblee de spins 1/2 couples `a un reservoir est la suivante :

1
1
++ |relax. =
++ stat
+ |relax. =
+ stat
,
++
+
T1
T2
les deux autres equations se deduisant de la conservation de la trace (++ + = 1) et
de lhermiticite (+ = + ). Les temps T1 et T2 correspondent aux temps de relaxation
des populations et des coherences. Selon les cas, ces deux temps peuvent etre comparables
ou au contraire tr`es differents.
Nous allons etudier deux cas limites de relaxation, correspondant respectivement `a
une decroissance par emission spontanee et un dephasage aleatoire des niveaux |i.
1.2

Relaxation par
emission spontan
ee
Considerons une assemblee de particules de spin 1/2 preparees `a linstant 0 dans letat
|(0)i = 0 |+i + 0 |i

et supposons que letat |+i soit instable : le spin prepare dans |+i peut tomber sur letat
|i en emettant un photon. On note 1 la duree de vie de letat |+i. A linstant t, letat
du syst`eme global (( particule + champ electromagnetique )) peut secrire (cf. theorie de
Wigner-Weisskopf) :
|(t)i = 0 e(i+/2)t |+i |0i + 0 |i |i + 0 |i |0i
o`
u |i est un etat norme du champ electromagnetique contenant un photon et o`
u est
egal `a (1 et )1/2 (ce qui assure que la norme de |(t)i vaut bien 1).
On en deduit immediatement loperateur densite du spin, en prenant la trace sur letat
du champ electromagnetique :
++ (t) = |0 |2 et
1

+ (t) = 0 0 e(i+/2)t

(5.2)

ce qui correspond `a T1 = et T2 = 2 . Dans ce cas, les temps de relaxation des


populations et des coherences sont du meme ordre. Nous verrons en 4 comment ce
resultat se generalise au cas dun reservoir `a temperature finie. Ceci nous permettra de
mettre egalement en place les phenom`enes dabsorption et demission stimulee.
1

En toute rigueur, lequation la plus generale inclut aussi des couplages entre populations et coherences.
Toutefois, levolution libre des coherences fait intervenir un terme ei0 t/2 alors que les populations
nevoluent pas. On peut donc la plupart du temps negliger les couplages entre ces differents termes ayant
des evolutions libres aussi radicalement differentes ; cest lapproximation seculaire, sur laquelle nous
reviendrons un peu plus loin.

`les de relaxation pour un spin 1/2


1 . Mode

1.3

61

Relaxation par d
ephasage

Nous supposons desormais que le phenom`ene demission stimulee est negligeable et


letat |+i est stable. En revanche, nous considerons le cas o`
u la particule portant le spin
se deplace dans lespace et nous nous interessons `a la situation dans laquelle le module B0
du champ magnetique nest pas uniforme. La pulsation de Larmor depend egalement de
lespace et une trajectoire donnee de la particule correspond `a une histoire donnee (t).
Nous considerons ici encore le vecteur detat initial :
|(0)i = 0 |+i + 0 |i ,
le vecteur detat `a linstant t secrivant :
|(t)i = t |+i + t |i
avec :

(t)
t
2
Ces equations sint`egrent pour donner :

i t =

i t =

t = 0 e

it /2

(t)
t .
2
Z

it /2

t = 0 e

t =

(t0 ) dt0 .

Supposons maintenant quon dispose dun grand nombre de spins independants, suivants chacun des trajectoires differentes. On sinteresse `a loperateur densite correspondant `a la moyenne sur les differentes trajectoires possibles. On trouve donc :
++ (t) = |t |2 = |0 |2

= |t |2 = |0 |2

(5.3)

ce qui prouve que les deux populations des etats restent constantes, cest-`a-dire T1 = .
En revanche, les coherences evoluent :
+ = ht t i = 0 0 heit i

(5.4)

la moyenne portant sur la variation de (t) sur les differentes trajectoires.


Pour aller plus loin, nous devons nous donner un mod`ele de variation de (t). Supposons que (t) = 0 + , o`
u la variable aleatoire a une distribution gaussienne, centree
en 0 et decart-type . Nous supposons de plus que garde une valeur constante pendant une duree pour sauter ensuite `a une valeur differente, decorrelee de la precedente.
En un temps t, on a n = t/ sauts de et on trouve :

n
heit i = ei0 t hei(1 +...+n ) i = ei0 t hei i
La moyenne restante se calcule alors en utilisant le caract`ere gaussien de la distribution
de :
Z
1
2
2
2
i

he
i=
e() / 2() ei d() = e( ) /2
2
En utilisant n = t/ , on arrive finalement `a :
()2
1
=
(5.5)
T2
2
Dans ce mod`ele, on a donc T1 infini, alors que la relaxation des coherences se fait en un
temps T2 fini.
+ (t) = + (0) ei0 t et/T2

avec

quation pilote
Chapitre 5 Le

62

Proton
Proton-MRI

3He
3He-MRI

Fig. 5.1: Le temps de relaxation T1 du spin des noyaux du gaz 3 He est extremement long,
meme dans un environnement `a pression ordinaire. On peut donc utiliser ce gaz polarise pour
limagerie medicale des cavites pulmonaires, grace `a la resonance magnetique nucleaire (photo
de droite). Par comparaison, la photo de gauche illustre une photo de RMN standard, utilisant
la detection du proton de leau ; les cavites pulmonaires ne sont alors pratiquement pas visibles
(photos extraites de larticle de G. Allan Johnson, Laurence Hedlund and James MacFall, dans
Physics World, Novembre 1998).

Exemple dapplication. Ce mod`ele sapplique bien au moment magnetique dun


atome quand ce spin est de nature nucleaire. Cest par exemple le cas de lhelium 3 dans son
etat fondamental. Grace `a des techniques de pompage optique, on sait polariser le gaz 3 He
et cette polarisation est tr`es robuste (T1 est tr`es long). On peut alors utiliser ce gaz polarise
pour limagerie medicale. En faisant respirer le gaz aux patients et en utilisant une technique de resonance magnetique nucleaire, on peut obtenir une image des cavites pulmonaires avec une precision remarquable (voir la figure 5.1 et le site web de lequipe du L.K.B.
effectuant cette recherche : http ://www.lkb.ens.fr/recherche/flquant/hepol01fr.html )

2
2.1

Couplages en jeu dans le probl`


eme g
en
eral
Caract
erisation des syst`
emes en pr
esence

Syst`
eme S. Dans la suite de ce chapitre, le syst`eme S est quelconque ; nous noterons
son hamiltonien Hs . Plus tard nous preciserons sa nature : particule de masse M libre
(mouvement brownien) ou syst`eme `a deux niveaux (spin 1/2, degres de liberte interne
dun atome).
R
eservoir R. Le reservoir sera modelise par un bain doscillateurs harmoniques, chaque
oscillateur etant repere par un indice . Un oscillateur peut representer par exemple un
mode du champ electromagnetique ( = (k, )), un mode du champ de phonons dun
solide, etc. Lhamiltonien du reservoir sera note :
X
Hr =
h
a a .
(5.6)

`me ge
ne
ral
2 . Couplages en jeu dans le proble

63

Les operateurs a et a correspondent `a la creation et `a la destruction dun quantum dans


le mode . Le point crucial pour que R soit (( un bon reservoir )) est que les frequences
des modes forment un quasi-continuum et couvrent un tr`es grand intervalle en frequence,
dans lequel toutes les frequences de Bohr pertinentes de S sont incluses. Notons quon
oublie ici lenergie de point zero egale `a h
/2 par mode, qui ne joue pas de role dans la
dynamique du probl`eme.
Le reservoir sera suppose `a lequilibre thermodynamique `a la temperature T . Son
operateur densite (en absence de couplage avec le petit syst`eme) sera donc :
eHr / kB T
,
Tr(eHr / kB T )
ce qui entrane en particulier les valeurs moyennes suivantes :
=
(stat)
r

ha i = ha i = 0

ha a i = , n

avec n =

1
.
exp(h / kB T ) 1

(5.7)

(5.8)

Couplage S R. Le couplage entre le syst`eme S et le reservoir R sera suppose de la


forme :
X
g a + g a .
(5.9)
V = RS
avec
R=

Loperateur S est hermitien et il agit seulement sur le syst`eme S. Les coefficients g


caracterisent la force du couplage entre S et R. Lexpression (5.9) represente la forme
la plus simple de couplage entre S et R ; les resultats que nous obtiendrons ci-dessous
P
peuvent ensuite se generaliser sans difficulte `a un couplage plus general du type i Ri Si .
2.2

Le point de vue interaction

Pour connatre la dynamique de lensemble S R, il faut resoudre lequation


devolution de loperateur densite du syst`eme global :
d(t)
1
=
[H, (t)]
avec
H = Hs + Hr + V .
(5.10)
dt
i
h
Comme souvent dans ce genre de probl`eme, il est utile (( denlever )) de cette equation
levolution libre de S et R, se produisant sous leffet de Hs et Hr . Pour cela, on pose :
(t) = ei(Hs +Hr )t/h (t) ei(Hs +Hr )t/h .

(5.11)

Si V = 0, (t) reste constant au cours du temps ; (t) nevolue quen presence de couplage,
ce qui se prete bien `a un developpement perturbatif en puissances de ce couplage.
Lequation devolution de (t) secrit :
d

1
= [V (t), (t)]
avec
V (t) = R(t)S(t) ,
dt
ih
o`
u on a pose :
S(t) = eiHs t/h S eiHs t/h
et
R(t) = eiHr t/h R eiHr t/h =

g a ei t + g a ei t .

(5.12)
(5.13)
(5.14)

quation pilote
Chapitre 5 Le

64
2.3

Valeur moyenne impliquant lop


erateur R(t)

Dans ce qui suit, nous serons amenes `a utiliser la valeur moyenne de loperateur R(t)
ainsi que celle du produit R(t)R(t ), valeur moyenne prise sur letat stationnaire du
reservoir (5.7). On constate que la valeur moyenne `a un operateur est nulle quel que soit
t. La valeur moyenne `a deux operateurs vaut :
X

g( ) = hR(t)R(t )i =
|g |2 n ei + (n + 1) ei .
(5.15)

Lhypoth`ese dun (( gros reservoir )) se transcrit simplement sur cette fonction : elle ne
prend des valeurs notablement differentes de 0 que sur un intervalle tr`es etroit autour de
= 0. Nous noterons c la largeur caracteristique de cet intervalle. Pour | | c , les
oscillations des differentes exponentielles ei sont dephasees les unes par rapport aux
autres et leur somme est negligeable. Ce temps c est `a rapprocher du temps de correlation
de la force de Langevin du mouvement brownien classique, etudie au chapitre precedent.
Notons pour finir que si le reservoir est `a temperature nulle, tous les n sont nuls ; toutefois
g( ) garde une valeur non nulle.

3
3.1

Evolution de la matrice densit


e du petit syst`
eme
It
eration de l
equation du mouvement

Loperateur densite s (t) du syst`eme S est obtenu en prenant la trace partielle de (t)
sur le reservoir. Le but de ce paragraphe est dobtenir une equation fermee sur s (t), en
traitant leffet du couplage V entre S et R `a lordre le plus bas non nul.
Considerons lequation devolution (5.12) pour loperateur densite total et integrons
la formellement :
Z
1 t
(t) = (0) +
[V (t ), (t )] d .
(5.16)
ih 0
Cette equation est un bon point de depart pour un traitement perturbatif en V , puisque
la connaissance de `a lordre n dans le membre de droite permet de deduire aussitot la
valeur de `a lordre n + 1 pour le membre de gauche.
Reportons cette valeur de (t) dans lequation (5.12) :
Z
1
1 t
d

= [V (t), (0)] 2
[V (t), [V (t ), (t )]] d .
dt
ih
h
0

(5.17)

On prend maintenant la trace partielle sur le reservoir. On suppose que la matrice densite
(stat)
initiale `a linstant t = 0 est factorisee : (0) = s (0) r . La trace partielle du premier
terme donne donc 0 et il reste :
Z
1 t
d
s
= 2
TrR {[V (t), [V (t ), (t )]]} d .
(5.18)
dt
h
0
ce stade, aucune approximation na encore ete faite.
A

du petit syste
`me
3 . Evolution de la matrice densite

3.2

65

Approximation de d
ecorr
elation

Pour progresser dans letablissement dune equation devolution simple pour s , nous
allons maintenant proceder `a une approximation essentielle. Nous allons supposer qu`a
chaque instant t0 = t figurant dans le membre de gauche de (5.18), nous pouvons
remplacer loperateur densite (t0 ) par une valeur approchee :
.
(t0 ) ' s (t0 ) (stat)
r

(5.19)

Ceci revient `a :
negliger les correlations qui setablissent entre S et R, au del`a de lordre 2 en V ,
negliger la modification de letat du reservoir du fait de son couplage avec le petit
(stat)
syst`eme : r (t) =TrS ((t)) ' r .
Ces deux approximations sappuient sur le fait que le reservoir est beaucoup plus gros que
S et quil poss`ede un grand nombre de degres de liberte simultanement couples `a S.
Cette approximation de decorrelation correspond `a un developpement en puissances
de V . Il importe de bien caracteriser le param`etre (sans dimension) du developpement. A
premi`ere vue, on pourrait songer quil sagit de vt/
h, o`
u v represente lordre de grandeur dun element de matrice de loperateur de couplage V . Si cetait le cas, notre
developpement serait voue `a lechec, au moins pour les longs temps de couplage, et naurait donc que peu dinteret. Heureusement, le veritable param`etre du developpement ne
depend pas de t et vaut vc /h. Or, nous supposerons dans tout ce qui suit :
vc
1.
h

(5.20)

Nous ne ferons pas la demonstration ici du fait que vc /


h est le seul infiniment petit
du probl`eme, car cette demonstration est techniquement assez lourde2 . On peut toutefois
comprendre intuitivement lapparition de cet infiniment petit en rapprochant ce probl`eme
de celui du mouvement brownien classique : on avait alors pu ecrire une equation simple
(equation de Fokker-Planck) `a la seule condition que c soit petit devant 1 (et non pas
t 1).
3.3

Equation d
evolution de s :
equation int
egro-diff
erentielle

Nous remplacons maintenant (t ) par sa valeur approchee (5.19) dans lequation


du mouvement (5.18) :
Z
1 t
d
s
= 2
g( ) {S(t )
s (t )S(t) S(t) S(t )
s (t )} d + h.c. (5.21)
dt
h
0
o`
u h.c. represente lhermitique conjugue. Cette equation ne porte plus que sur loperateur
densite du syst`eme S et correspond donc presque `a notre but final. Toutefois, elle reste
compliquee `a utiliser car il sagit dune equation integro-differentielle et pas dune equation
differentielle ordinaire. Il reste donc une etape `a franchir pour obtenir lequation pilote
que nous utiliserons finalement.
2

(stat)

Il faut ecrire lequation devolution de (t) s (t) r

et majorer soigneusement le resultat.

quation pilote
Chapitre 5 Le

66
3.4

Equation d
evolution de s :
equation diff
erentielle

Nous avons dej`a mentionne que le formalisme utilise est un traitement perturbatif en
fonction du petit param`etre vc /h. A cet ordre du calcul, on peut donc remplacer s (t )
par s (t) dans (5.21). En effet, les temps contribuant `a lintegrale sont de lordre de c ,
du fait de la decroissance rapide de la fonction g( ). Comme s (t) nevolue que sous leffet
du couplage V , les termes correspondant `a la difference entre s (t ) et s (t) sont au
moins dordre 1 en (vc /h) ; ils peuvent donc etre negliges dans lintegrale sur , qui est
dej`a dordre 2 en ce petit param`etre. On peut alors remplacer (5.21) par :
Z
d
s
1 t
= 2
g( ) {S(t )
s (t)S(t) S(t) S(t )
s (t)} d + h.c.
(5.22)
dt
h
0
Choisissons maintenant un temps t suffisamment eloigne de 0 (t c ) pour pouvoir
remplacer les bornes de lintegrale par + :
Z
d
s
1 +
= 2
g( ) {S(t ) s (t) S(t) S(t) S(t ) s (t)} d + h.c.
(5.23)
dt
h
0
La derni`ere etape (facultative) de notre demarche consiste `a quitter le point de vue
interaction pour revenir au point de vue (( standard )) :

ds
1
1
= [Hs , s (t)] + 2 U s (t) S + S s (t) U S U s (t) s (t)U S ,
dt
i
h
h

o`
u on a pose :

(5.24)

U=

g( ) S( ) d .

(5.25)

Nous avons atteint le but que nous nous etions fixe : nous disposons dune equation
differentielle donnant levolution de loperateur densite reduit du syst`eme S, `a lordre le
plus bas non nul vis `a vis du couplage avec le reservoir R.
On voit sur (5.24-5.25) que la frequence typique qui apparat dans levolution de S du
fait du couplage est de lordre de v 2 c /
h2 . Cette frequence est beaucoup plus basse que
c1 , ce qui justifie a posteriori lapproximation de memoire courte faite plus haute. En
fait, on remarque que cette frequence est meme plus basse que la frequence (( naturelle ))
v/h. On a en effet la hierarchie :
v
1
v 2 c

2
h

c
h

(5.26)

qui apparat d`es que la condition vc /


h 1 est verifiee. Cette frequence v/
h est celle quon
aurait pu attendre navement comme resultant du couplage S R. En fait, cest elle qui
apparatrait si S netait couple qu`a un seul mode de R, avec un couplage dordre v. Le
fait que le couplage se fasse vers un grand nombre de modes independants introduit une
reduction de leffet de ce couplage, appelee retrecissement par le mouvement et donnant
naissance `a cette frequence basse v 2 c /
h2 . On pourra rapprocher cette frequence v 2 c /h2
du taux de relaxation trouve plus haut dans le mod`ele de relaxation par dephasage dune

67

4 . Relaxation et thermalisation dun spin 1/2

assemblee de spins 1/2 : 1/T2 2 (eq. (5.5)). La frequence qui caracterisait les
fluctuations de champ magnetique locale est remplacee ici par v/
h, et le temps pendant
lequel une valeur donnee de intervenait est remplace ici par le temps de correlation c
du couplage atome-reservoir.

Relaxation et thermalisation dun spin 1/2

Nous revenons maintenant au cas du spin 1/2 et nous allons chercher comment le
traitement general que nous avons mis au point sapplique dans ce cas particulier.
4.1

Mod`
ele consid
er
e

Comme dans le premier paragraphe de ce chapitre, nous prenons un spin 1/2 plonge
dans un champ magnetique B0 . Ceci constitue le syst`eme S, dhamiltonien :
Hs =

h
0
z ,
2

(5.27)

o`
u les i (i = x, y, z) sont les matrices de Pauli et o`
u 0 > 0. On suppose que le spin est
couple `a un champ de bosons et on cherche comment ce couplage provoque la relaxation
de loperateur densite de ce spin. On prendra S = x = + + , soit :
Z

U=

g( ) S( ) d = G+ + + G

(5.28)

avec

G+ =

g( ) e
0

4.2

Z
i0

G =

g( ) e+i0 d .

(5.29)

Equation pilote
Reecrivons lequation pilote (5.24) en fonction des operateurs :
ds
=
dt
+
+
+

0
[z , s (t)]
2
(G+ + G+ ) + s (t) G+ + s (t) G+ s (t) +
(G + G ) s (t) + G + s (t) G s (t) +
G+ + s (t)+ + G s (t) .
i

(5.30)

En ecrivant cette equation, nous avons separe sur chaque ligne des contributions dont
la trace totale est nulle et qui, comme nous le verrons plus loin, correspondent `a des
processus physiques clairement identifiables. Notons que nous avons utilise les proprietes
+ + = 0 et = 0.

quation pilote
Chapitre 5 Le

68
4.3

Evolution des populations

En prenant les elements de matrice de (5.30) entre h+| et |+i, et entre h| et |i, on
trouve :
d+
= (G+ + G+ ) (G + G )+ ,
dt
d
d+
=
.
dt
dt

(5.31)

Le coefficient reel + = G+ + G+ correspond donc au taux de transition de |i vers


|+i, alors que + = G + G correspond donc au taux de transition de |+i vers |i.
Ces coefficients se calculent en utilisant lexpression de g( ) :
Z
X

2
+ = G+ + G+ =
|g |
n ei( 0 ) + (n + 1) ei( +0 ) d ,(5.32)

+ = G + G =

Z
|g |2

n ei( +0 ) + (n + 1) ei( 0 )

d .(5.33)

(5.34)
R
R
On utilise maintenant ei( 0 ) d = 2 ( 0 ) alors que ei( +0 ) d =
2 ( + 0 ) est nulle puisque et 0 sont toutes deux positives. On trouve donc :
X
+ = 2
|g |2 n ( 0 ) ,

+ = 2

|g |2 (n + 1) ( 0 ) .

(5.35)

La signification physique de ces deux taux est claire : il y a n photons (ou phonons, ...) par
mode dans letat stationnaire. Seuls comptent les photons resonnants avec la transition
|i |+i do`
u la presence de la distribution de Dirac. Le taux + (deuxi`eme ligne de
(5.30)) correspond `a un processus dabsorption, directement proportionnel au nombre de
photons dans les modes resonnants. Le taux + (troisi`eme ligne de (5.30)) correspond
`a un processus demission et fait intervenir n +1, ce qui peut se decomposer de la mani`ere
suivante :
Le terme proportionnel `a n represente lemission stimulee, et le taux correspondant
est egal au taux dabsorption.
Le terme independant de n correspond `a lemission spontanee. Ce terme ne depend
pas de letat du reservoir et il est present meme si le reservoir est `a temperature
nulle.
On note que la troisi`eme ligne de (5.30) ne contribue pas `a levolution des populations.
4.4

Etat
stationnaire pour les populations ; r`
egle dor de Fermi
Letat stationnaire des equations (5.31) est :
(stat)

(stat)

= + + +

(5.36)

69

4 . Relaxation et thermalisation dun spin 1/2

On suppose pour simplifier que les coefficients g ne dependent que de la frequence du


mode . On deduit alors de (5.35) le resultat :
(stat)
+

n0
=
2n0 + 1

(stat)

n0 + 1
=
2n0 + 1

(stat)

(stat)

= exp(
h0 / kB T )

(5.37)
o`
u n0 designe le nombre de photons (ou phonons, ...) dans un mode du reservoir de
frequence 0 . Le resultat final est tr`es satisfaisant : sous leffet du couplage avec un
reservoir `a temperature T , le spin (( prend )) egalement la temperature T , et cela quelles
que soient la force et la nature du couplage spin-reservoir. La valeur du taux peut
secrire :
2 X
2
=
|g |2 (2n + 1) (h h
0 ) =
|g0 |2 (2n0 + 1) (E0 )
(5.38)
h

h

o`
u (E) represente la densite detats3 du reservoir au voisinage de lenergie E0 = h
0 de
la transition du spin. Ce resultat est connu sous le nom de r`egle dor de Fermi.
4.5

Evolution
des coh
erences

En prenant maintenant lelement de matrice de (5.30) entre h+| et |i, on en deduit


levolution de s+ :

ds+
= i0 + G+ + G s+ + G+ s+ .
(5.39)
dt
Le dernier terme de cette equation (G+ s+ ) provient de la derni`ere ligne de (5.30). Il
represente un couplage entre la coherence s+ , qui evolue essentiellement en ei0 t ,
et la coherence s+ , qui evolue en ei0 t . A lordre le plus bas en vc /h, leffet de ce
couplage est negligeable car le deplacement 0 (voir ci-dessous) de la frequence propre
et les taux damortissement sont tr`es petits devant lecart 0 : nous omettrons donc
ce terme dans la suite, ce qui constitue lapproximation seculaire. Le terme G+ + G vaut
quant `a lui :
Z +

G+ + G =
(g( ) + g ( )) ei0 d
0
Z +
X

2
=
|g | (2n + 1)
cos( ) ei0 d = i0 + , (5.40)
2
0

o`
u on a introduit4 le coefficient reel 0 :

X
2
0 =
|g | (2n + 1) P

1
1
+
0 0 +

(5.41)

Cette quantite represente le deplacement de la frequence de la transition |+i |i sous


leffet du couplage avec le reservoir. Le coefficient donne lamortissement de la coherence
entre les deux etats |i. Dans letat stationnaire, loperateur densite est donc diagonal
dans cette base |i, avec des populations donnees par (5.37).
R
P
La densite detats est Rdefinie de sorte que F (
h ) = (E) F (E) dE.

4
On utilise ici legalite 0 ei d = iP(1/) + (), o`
u P designe lintegrale en partie principale.

quation pilote
Chapitre 5 Le

70
4.6

Bilan : forme de l
equation pilote pour un spin 1/2
On peut recapituler les resultats obtenus dans ce paragraphe de la mani`ere suivante :

d+
(stat)
= + (t) +
dt

ds+

0 +
= i
s+ (t)
dt
2

d
(stat)
= (t)
, (5.42)
dt
s+ (t) = s+ (t) ,

(5.43)

o`
u on a pose
0 = 0 + 0 . Cest cette forme qui est utilisee en pratique pour decrire
la relaxation dun syst`eme `a deux niveaux. Le temps necessaire pour atteindre lequilibre
est 1/. Si les deux etats |+i et |i sont en plus couples par un champ coherent (onde
radio-frequence dans le cas dune experience de RMN, onde laser dans le cas de deux
niveaux atomiques ou moleculaires), on ajoute le terme de couplage `a ces equations de
relaxation. Les equations obtenues sont alors appelees equations de Bloch (ou equations
de Bloch optiques).
Prolongements
1. On se place dans le cas particulier o`
u loperateur S commute avec lhamiltonien Hs
et on introduit la base {|si} commune aux deux operateurs, avec S |si = s |si.
Comment evolue les populations des etats |si ? Meme question pour les coherences
hs1 |s |s2 i.
2. Integrer numeriquement les deux equations differentielles couplees :
x = ix + y

y = iy + x

(5.44)

o`
u est un param`etre sans dimension, pour verifier la validite de lapproximation
seculaire.
R
ef
erences compl
ementaires
C. Cohen-Tannoudji, J. Dupont-Roc, G. Grynberg, Processus dinteraction entre
photons et atomes, InterEditions/Editions du CNRS.
C.W. Gardiner, Quantum noise, Springer-Verlag.
M. Sargent, M. Scully and W. Lamb, Laser Physics, Addison-Wesley.

Chapitre 6
Le mouvement brownien quantique
Dans ce chapitre, nous revenons sur le mouvement brownien, mais considere cette
fois-ci dun point de vue quantique. Notre but est double. Nous souhaitons dabord retrouver pour certaines observables, comme limpulsion moyenne, un comportement similaire `a celui attendu classiquement. Nous obtiendrons ici ce resultat `a partir dun mod`ele
microscopique du fluide moleculaire, ce qui nous permettra de verifier ab initio la relation dEinstein assurant la coherence de laspect thermodynamique du probl`eme. Lautre
interet de ce traitement quantique, au moins aussi important que le precedent, est de proposer un mecanisme de decoherence explicite pour un syst`eme continu, en loccurrence
une particule libre. Plus precisement, nous montrerons que la decroissance des elements
non diagonaux de loperateur densite de la particule, hr|s |r 0 i, est dautant plus rapide
que la distance |r r 0 | est grande. Ceci explique pourquoi des objets macroscopiques ne
peuvent pas etre maintenus pendant une duree raisonnable dans un etat de type (( chat
de Schrodinger )), avec une fonction donde du type :
1
(r) = ((r r 0 ) + (r + r 0 ))
2
qui est lanalogue de letat obtenu pour des objets microscopiques dans une experience de
fentes dYoung.

1
1.1

Couplage harmonique particule brownienne-fluide


Les syst`
emes en pr
esence

Considerons une particule lourde, de masse M , couplee harmoniquement `a un ensemble


de N molecules leg`eres. La masse de la molecule j est mj , et le potentiel harmonique entre
la molecule j et la particule brownienne a une pulsation j . Lhamiltonien du syst`eme
secrit donc :
X p2j
X1
P2
(6.1)
+
+
mj j2 (X xj )2
H=
2M
2mj
2
j
j
71

72

Chapitre 6 Le mouvement brownien quantique

En developpant le terme dinteraction, cet hamiltonien peut aussi secrire :

X
P2
2 X p2j
1
2 2
H=
+ X +
+ m j j xj X
mj j2 xj
2M
2
2m
2
j
j
j

(6.2)

P
o`
u on a pose = j mj j2 . Nous utiliserons dans la suite cette forme developpee. Notons
toutefois un petit pi`ege contenu dans cette ecriture. Il pourrait sembler que le point 0 joue
un role particulier puisque la partie de lhamiltonien ne contenant que les variables X et
P (les deux premiers termes de (6.2) correspond `a lenergie dun oscillateur harmonique
centre en O. Ce role privilegie de O est factice comme on sen convainc immediatement
sur (6.1), qui est invariant par translation globale de toutes les particules.
1.2

La solution classique

Si on traite ce probl`eme par la mecanique classique, il faut ecrire les equations du


mouvement des variables X et P dune part, et des variables xj et pj dautre part :
P
X =
M

P = X+

mj j2 xj

pj
mj

x j =

pj = mj j2 xj +mj j2 X (6.3)

Pour resoudre formellement lequation sur (xj , pj ), on introduit la variable zj = xj +


ipj /(mj ) dont lequation du mouvement (du premier ordre) sint`egre immediatement :
Z
zj = ij zj + ij X

ij t

zj (t) = zj (0)e

+ ij

eij X(t ) d

(6.4)

avec en particulier pour la partie reelle xj :

xj (t) = Re zj (0) e

ij t

sin(j )X(t ) d

+ j

(6.5)

On reporte alors ce resultat dans lequation du mouvement de (X, P ) pour obtenir :


P
X =
M

P = X
0

dN ( )
X(t ) d + F (t)
d

o`
u on a pose :
N ( ) =

X
j

mj j2 cos(j )

F (t) =

mj j2 Re zj (0) eij t

(6.6)

La force F (t) va jouer le role dune force de Langevin. En effet, pourvu que le spectre
des frequences j soit tr`es large, sa fonction de correlation est extremement etroite. Par
ailleurs, si on rep`ete la meme experience un grand nombre de fois, la moyenne `a un instant
donne de F sera nulle puisque les conditions initiales xj (0) et pj (0) sont des variables
aleatoires.

quation pilote
2 . Le

73

Il reste `a integrer par parties le terme faisant intervenir la fonction N ( ). On remarque


dabord que cette fonction est paire et que N (0) = . On trouve donc :
P (t)

X(t)
=
M

P (t) = N (t) X(0)

) d + F (t)
N ( ) X(t

(6.7)

On suppose par ailleurs que la fonction N (t) est piquee au voisinage de 0 et sannule
ensuite du fait du brouillage des differentes fonctions oscillantes cos(j ). Plus quantitativement, on pose souvent :
1
N ( ) =
2

J() ei d

J() = m 2

avec

{( j ) + ( + j )}

et on choisit une fonction spectrale J() telle que :


J() = 2M
= 0

pour
pour

|| c
|| > c

(6.8)
(6.9)

o`
u a la dimension dun coefficient de friction, soit
N ( ) =

2
sin(c )
M
= 2M c ( )

et

N (0) = =

2
M c

Dans cette expression, la fonction c ( ) = sin(c )/( ) tend vers la distribution de Dirac
quand la frequence de coupure c tend vers linfini.
On suppose que t est suffisamment eloigne de 0 pour que N (t) soit negligeable. (6.7)
devient donc :
Z t
P

) d + F (t)

P =
N ( ) X(t
X=
M
0
En remarquant que N ( ) est tr`es proche de 2 M ( ) si on la fait agir sur des fonctions
variant lentement `a lechelle de c1 , on arrive finalement `a :
P
X =
M

P = M X(t)
+ F (t)

ce qui est lequation de Langevin caracteristique du mouvement brownien. La condition


pour que ce mod`ele soit auto-coherent est que lechelle de temps 1 pour la variation de
X soit effectivement beaucoup plus longue que c1 , soit c .

L
equation pilote

Nous abordons desormais le traitement quantique du probl`eme. Nous allons utiliser les
resultats du chapitre 5 pour ecrire une equation pilote decrivant levolution de loperateur

74

Chapitre 6 Le mouvement brownien quantique

densite reduit pour la particule brownienne. Nous remarquons dabord que lhamiltonien
dont nous partons (eq. 6.2) a bien la forme generale H = Hs + Hr + V avec :
P2

+ X2
2M
2
X
X p2j
1
2 2
h
j aj aj + Cte
=
+ m j j xj =
2mj 2
j
j

Hs =
Hr

= RS

et

S=X

R=

mj j2 xj =

(6.10)
X

h
mj3
aj + aj
2

Nous pouvons donc appliquer les resultats generaux obtenus au chapitre 5. Lequation
pilote donnant levolution de s secrit :

ds
1 P2
1 X 2
=
, s +
, s
dt
ih 2M
ih
2

1
(6.11)
+ 2 U s (t) X + X s (t) U X U s (t) s (t)U X ,
h

avec

U=

g( ) X( ) d .

(6.12)

2.1

Op
erateurs et fonctions de corr
elation

Nous aurons besoin de loperateur X en point de vue interaction : X(t) =


e
XeiHs t/h . Dans cette expression, on peut negliger le terme en de Hs , car il correspondrait `a des termes dordre superieur dans lequation pilote. Nous prendrons donc :
iHs t/
h

X(t) = eiP

2 t/(2M
h)

X eiP

2 t/(2M
h)

=X+

Pt
M

Le reservoir intervient par lintermediaire de la fonction g( ) definie par :


Xh

mj j3
g( ) = hR(t)R(t )i =
nj eij + (nj + 1) eij
2
j
X
iX
=
h
mj j3 (nj + 1/2) cos(j )
h
mj j3 sin(j ) .
2 j
j
Comme nous lavons suppose dans le mod`ele classique de 1.2, nous poserons que les
frequences des oscillateurs j sont comprises entre 0 et une frequence de coupure c . Nous
supposerons de plus que ce reservoir est `a haute temperature, soit kB T h
c . Ceci
permet de simplifier les populations nj des differents modes :
nj =

kB T
1
'
1
exp(
hj /(kB T ) 1
h
j

quation pilote
2 . Le

75

En prenant nj + 1/2 ' nj , il vient donc :


i
h dN ( )
2
d
= 2D c ( ) + i
hM c 0 ( )

g( ) = kB T N ( ) +

(6.13)
(6.14)

o`
u on a pose comme pour le mouvement brownien classique D = M kB T . A ce stade, il
ne sagit que dune notation, mais nous verrons plus loin que D correspond effectivement
au coefficient caracterisant la diffusion en impulsion1 de la particule brownienne. Nous
allons maintenant calculer successivement leffet des termes en D et en .
2.2

Terme proportionnel `
aD
Ce terme fait intervenir :

Z
n
2D +
P
P
c ( )
X
s (t) X + X s (t) X
M
M
h
2 0

o
P
P
X X
s (t) s (t) X
X d
M
M

Les termes en P /M ont une contribution negligeable du fait de la faible largeur de la


fonction c ( ). Il reste donc simplement :

2.3

D
[X, [X, s (t)]] .
h
2

(6.15)

Terme proportionnel `
a
Ce terme fait intervenir :

Z
n
iM 0
P
P
c ( )
s (t) X X s (t) X
X
h

M
M
0

o
P
P
X X
s (t) + s (t) X
X d
M
M

Les deux integrales sur le temps valent respectivement :


Z
c
c 0 ( ) d = c (0) =

Z 0
1
c 0 ( ) d =
2
0

(6.16)
(6.17)

Deux termes contribuent alors. Le premier est :


1
iM c 2
[X , s (t)] = [ X 2 , s ]
h
i
h 2
1

Le coefficient de diffusion en impulsion D et le coefficient de diffusion en vitesse Dv diff`erent dun


facteur M 2 : D = M 2 Dv .

76

Chapitre 6 Le mouvement brownien quantique

et vient exactement compenser la contribution du (( potentiel harmonique fictif )) X 2 /2


qui apparat dans (6.11). Le second terme secrit :

[X, P s + s P ]
2ih
2.4

Bilan

En regroupant les differents termes, on trouve lequation pilote pour le mouvement


brownien quantique :

ds
1 P2

D
=
, s +
[X, P s (t) + s (t)P ] 2 [X, [X, s (t)]]
(6.18)
dt
ih 2M
2ih
h

Nous allons maintenant discuter physiquement laction des deux termes issus du couplage de la particule brownienne avec le fluide, respectivement proportionnels `a et D.

Equation de Fokker-Planck-Kramers

Lequation 6.18 constitue un des resultats centraux de ce chapitre. Pour explorer le


contenu physique de cette equation, il est commode dutiliser la representation de Wigner w(x, p, t) de loperateur densite s . Rappelons sa definition pour un syst`eme unidimensionnel (la generalisation `a 3 dimensions est immediate) :
Z +
1
u
u
w(x, p, t) =
eipu/h hx + |s |x i du
(6.19)
2h
2
2
Z +
v
1
v
eixv/h hp + |s |p i dv
=
(6.20)
2h
2
2
Selon le terme `a evaluer dans lequation pilote (6.18), on utilise lune ou lautre des
definitions (6.19) ou (6.20). Considerons par exemple le terme proportionnel `a D et utilisons la forme (6.19) :

u
u
D
u 2
u 2
u
u
u
u
x+
hx + |s |x i = . . . 2
+ x
2 x+
x
hx + |s |x i
t
2
2
2
2
2
2
2
2
h

u
u
D
(6.21)
= . . . 2 u2 hx + |s |x i
2
2
h

ce qui apr`es transformee de Fourier par rapport `a la variable u donne simplement :


2w
w
= + D 2
t
p
On traite de meme les deux autres termes de lequation pilote (6.18) et on arrive `a
lequation de Fokker-Planck-Kramers :
p w

2w
w
+
= [p w] + D 2
t
M x
p
p

(6.22)

des e
tats (( chats de Schro
dinger ))
4 . La fragilite

77

Cette equation est identique `a celle obtenue pour le mouvement brownien classique.
En labsence de couplage avec le reservoir, on a = 0 et D = 0, et lequation se ram`ene
`a lequation de Liouville pour une particule libre.
On peut integrer cette equation sur la position x pour obtenir levolution de la distribution en impulsion P(p, t), qui est donnee par une equation de Fokker-Planck :
P

2P
= [p P] + D 2
t
p
p

(6.23)

dont la solution stationnaire sannulant en p = est la gaussienne P(p)


exp(p2 /2p20 ), avec p20 /M = D/(M ) = kB T .
Linteret de ce resultat est double :
Dune part, nous avons montre quun traitement quantique donnait (dans la limite
haute temperature) un resultat identique `a celui du traitement classique du chapitre
4.
Dautre part, nous avons propose ici un mod`ele microscopique de couplage entre la
particule brownienne et le reservoir. Lequation de Fokker-Planck na pas ete obtenue
`a partir dune description phenomenologique en termes de force de Langevin, mais `a
partir de lequation fondamentale de la dynamique2 et une elimination systematique
des variables du reservoir `a un ordre donne du couplage.

La fragilit
e des
etats (( chats de Schr
odinger ))

Le probl`eme que nous nous posons maintenant va nous conduire `a un resultat essentiel
de ce cours. Puisque nous disposons dun mod`ele explicite de couplage entre un syst`eme
quantique (la particule brownienne) et un reservoir, nous allons chercher comment la
coherence dun etat initial du syst`eme est affecte par le reservoir. En dautres termes,
nous cherchons comment les fluctuations (coefficient de diffusion D) et la dissipation
(coefficient de friction ) affecte une superposition initialement coherente detats de la
particule brownienne.
4.1

Etat initial de la particule

Nous supposerons que la particule brownienne est dans un etat superposition de deux
fonctions donde bien localisees :
1
(x) = ((x a) (x + a))
2

(6.24)

La fonction (x) correspond `a un paquet donde centre en 0 et de largeur . Typiquement,


on pourra prendre (x) exp(x2 /(2 2 )). On suppose que
a
2

ici lequation de Schrodinger pour notre traitement quantique, mais on aurait pu utiliser aussi les
equations de Newton pour un traitement classique.

78

Chapitre 6 Le mouvement brownien quantique


h/2a

(b)

(a)

h/

x
-a

Fig. 6.1: Superposition coherente de deux paquets dondes ; (a) distribution en position. (b)
distribution en impulsion.

pour que les deux paquets dondes correspondant `a (x a) et `a (x + a) ne se recouvrent


pas. La distribution en position associee `a cet etat P(x) est trace sur la figure 6.1a. Letat
(6.24) correspond par exemple `a celui dune particule de masse M dans un interferom`etre
de type trous dYoung, juste apr`es que la particule a traverse ces trous. Letat (x a)
correspond au passage par un des trous, et letat (x + a) correspond au passage par
lautre trou.
Il sera utile de considerer la distribution en impulsion associee `a cette fonction donde.
En prenant le module carre de la transformee de Fourier de (x), on trouve :
2
P(p, 0) = 2 sin2 (pa/h) |(p)|

o`
u (p)
est la transforme de Fourier de (x) ; cest une fonction centree en p = 0 de
largeur h
/. Lallure de P(p, 0) est tracee sur la figure 6.1b. La superposition coherente se
manifeste par une modulation de periode
h/a, lenveloppe de la courbe etant simplement
2

|(p)| , cest-`a-dire ce quon aurait pour un seul paquet dondes.


4.2

L
etat (( m
elange incoh
erent ))

Letat (6.24) correspond `a une coherence totale entre les deux paquets dondes. Du
fait du couplage avec le reservoir constitue par les molecules du fluide, on sattend `a
ce que cette coherence soit diminuee. On peut donc sinteresser au cas extreme o`
u la
superposition des deux paquets donde | i, associes aux fonctions donde (x a), est
compl`etement incoherente, cest-`a-dire au cas dun operateur densite :
s =

1
(|+ ih+ | + | ih |)
2

(6.25)

et se demander quelles sont les distributions de position P(x) et dimpulsion P(p) associees.
On constate immediatement que la distribution en position est inchangee par rapport `a
celle representee sur la figure 6.1a. En revanche la distribution en impulsion est modifiee

des e
tats (( chats de Schro
dinger ))
4 . La fragilite

79

(b)

(a)

h/

x
-a

Fig. 6.2: Superposition incoherente de deux paquets dondes ; (a) distribution en position. (b)
distribution en impulsion.

(figure 6.2b). Elle ne presente pas de modulation `a lechelle de h


/a et elle correspond
simplement `a une fonction en cloche de largeur h
/ (une gaussienne si (x) est elle-meme
une gaussienne).
4.3

Evolution aux temps courts : de la superposition coh


erente vers un
m
elange statistique

Dans ce paragraphe, nous allons nous limiter `a levolution de letat initial aux temps
courts, pendant lesquels le mouvement de la particule brownienne peut etre neglige. Ceci
revient `a prendre la limite M dans lequation pilote (6.18), en se rappelant que
= D/(M kB T ). Il ne reste donc que le terme de diffusion en impulsion, proportionnel `a
D. On sinteresse `a levolution des termes non diagonaux de loperateur densite hx|s |x0 i
et on trouve donc :

D
hx|s (t)|x0 i = 2 (x x0 )2 hx|s |x0 i
(6.26)
t
h

La signification physique de cette equation est claire : ces termes non diagonaux
decroissent exponentiellement vers 0, et cela dautant plus rapidement que les points
x et x0 sont eloignes lun de lautre.
On trouve alors aisement le temps necessaire pour passer de letat coherent (6.24) au
melange statistique (6.25). Il faut que les coherences entre deux points x et x0 distants de
2a aient le temps de disparatre, ce qui correspond `a :
tcoh '

h
2
4Da2

(6.27)

Ce resultat essentiel peut secrire de plusieurs facons differentes. Une formulation suggestive consiste `a remplacer D par M
kB T et `a introduire la longueur donde thermique de
la particule brownienne T = h/ 2M kB T . On trouve alors :
2
T
1
tcoh '
(6.28)
a
Pour une particule macroscopique (M = 1 gramme) et une separation macroscopique (a =
1 cm), on trouve `a 300 K une longueur donde thermique T = 1.31020 cm, soit tcoh

80

Chapitre 6 Le mouvement brownien quantique

1040 . Meme si la constante de temps damortissement de la particule brownienne est de


lordre de lage de lunivers3 ( 1 3 1017 s), la coherence entre les deux composantes
de la fonction donde est amortie en 1023 s !
4.4

Evolution aux temps longs

Considerons maintenant les temps plus longs pendant lesquels on ne peut pas negliger
le terme de friction, ni le terme de vol libre dans lequation de Fokker-Planck-Kramers.
Nous nallons pas resoudre compl`etement cette equation, ce qui serait un peu long dans le
cadre de ce cours, mais nous allons nous interesser simplement `a une fonction caracterisant
ces termes non diagonaux qui nous interessent ici :
Z

G(u) =

u
u
hx + |s |x i dx ,
2
2

dont on verifiera simplement que cest la transformee de Fourier de la distribution en


impulsion :
Z +
P(p) eipu/h dp .
G(u) =

Pour letat (( chat de Schrodinger )) de depart, cette fonction G(u) a lallure representee
sur la figure 6.3a.
On verifiera sans difficulte que levolution de cette fonction G(u, t) `a partir dune
distribution initiale G0 (u) est donnee par :

t
Du2 1 e2t
G(u, t) = G0 u e
exp 2
(6.29)
2
h

On peut distinguer sur cette equation les deux regimes de temps interessants :
Le regime de temps courts (t 1) dej`a etudie ci-dessus pour lequel on obtient :

Du2 t
G(u, t) = G0 (u) exp 2
.
(6.30)
h

On retrouve lamortissement exponentiel des coherences entre points separes par


une distance u. Au bout de cette periode, on voit en prenant t 1 dans (6.30)
que le couplage `a lenvironnement a detruit toutes les coherences portant
sur une
echelle de longueur superieure `a la longueur donde thermique T = h/ 2mkB T
(figure 6.3b).
Le regime de temps longs, pour lesquels t 1, pour lequel la fonction G(u) tend
vers un etat stationnaire gaussien (6.3c) :

Du2
= exp( u2 /2T )
(6.31)
Gstat (u) exp 2
2
h
3

On pourra chercher `a evaluer la qualite du vide requise pour atteindre une dissipation aussi faible...

des e
tats (( chats de Schro
dinger ))
4 . La fragilite

81

(a)

2a

-2a

(b)
u

(c)
u

Fig. 6.3: Allure de la fonction G(u) (a) pour la superposition coherente initiale des etats | i ;
(b) Au bout dun temps egal `a une fraction de 1 ; (c) Apr`es relaxation vers lequilibre thermique.

82

Chapitre 6 Le mouvement brownien quantique

En combinant ces deux resultats, on voit clairement les effets antagonistes de la diffusion,
qui tend `a contracter la fonction G(u) en amortissant les valeurs de la fonction pour des
grandes valeur de u, et de la friction, qui tend au contraire `a dilater la fonction initiale en
remplacant G0 (u) par G0 (u) o`
u le param`etre est plus petit que 1. La diffusion est en
effet un processus de chauffage qui va diminuer la coherence de letat initial, alors que la
friction est un processus de refroidissement, qui tend `a augmenter la coherence de letat
de la particule brownienne.
Letat stationnaire atteint est une gaussienne de largeur T , ce qui etait previsible.
On sait
en effet que la distribution en impulsion P(p) stationnaire est une gaussienne de
largeur M kB T , et la fonction G(u) est la transformee de Fourier de P(p).
Conclusion
Le resultat que nous avons trouve dans cette section illustre bien un principe general
des etudes de decoherence : pour un couplage donne dun syst`eme `a un environnement,
la fragilite dune coherence entre deux etats differents du syst`eme augmente avec la (( distance )) entre ces deux etats. Dans le cas particulier du mouvement brownien, cette (( distance )) a une signification physique bien claire, puisquelle correspond `a lecart 2a entre
les centres des deux paquets dondes.
R
ef
erences compl
ementaires

C. Cohen-Tannoudji, Cours au Coll`ege de France 1988-89.


S. Haroche, Cours au Coll`ege de France 2001-02 et 2002-03.
C.W. Gardiner, Quantum Noise, Springer-Verlag.
A.O. Caldeira and A.J. Leggett, Ann. Phys. 149, 374 (1983).
E. Joos and H.D. Zeh, Z. Phys. B 59, 223 (1985).
W.G. Unruh and W.H. Zurek, Phys. Rev. D 40, 1071 (1989).

Chapitre 7
Fonctions donde Monte-Carlo
Nous avons vu dans les chapitres precedents la methode standard pour traiter le couplage dissipatif entre un petit syst`eme et un reservoir. Cette methode consiste `a ecrire une
equation pilote pour loperateur densite du petit syst`eme, qui decrit levolution irreversible
de celui-ci du fait de son couplage avec le reservoir. Dans ce chapitre, nous presentons une
approche differente `a ce probl`eme ; elle consiste `a decrire letat du syst`eme par un vecteur
detat (et non un operateur densite), lirreversibilite etant introduite par un element stochastique dans levolution du vecteur detat. Nous verrons que ce traitement donne des
resultats identiques `a ceux de lequation pilote, si on moyenne levolution du syst`eme sur
un grand nombre de realisations partant dun meme etat initial.
Les elements stochastiques que nous introduisons dans levolution du vecteur detat
sont constitues par des sauts quantiques, qui peuvent sinterpreter physiquement comme
des mesures faites sur le syst`eme via son couplage avec le reservoir. Ceci permettra de
donner un eclairage nouveau sur le couplage dissipatif entre le syst`eme et son environnement, eclairage qui sera bien adapte `a letude experimental dun syst`eme unique (un
ion piege par exemple). Au contraire loperateur densite est plutot adapte `a letude dune
collection dun grand nombre de syst`emes quantiques identiques independants.
Cette methode des fonctions donde Monte-Carlo presente egalement un avantage pratique. Les objets quon manipule sont des vecteurs detats, donc des ensembles de N objets, o`
u N est la dimension de lespace de Hilbert considere. Loperateur densite a quant `a
lui une taille N 2 , ce qui rend sa manipulation problematique pour certaines applications.
Dun point de vue formel, on peut considerer que cette approche est pour le probl`eme
quantique lequivalent de lequation de Langevin pour le mouvement brownien, alors que
lequation pilote quantique est la contrepartie de lequation de Fokker-Planck classique.
Comme pour le cas classique, il est bon de garder les deux approches en memoire, pour
utiliser celle qui est la mieux adaptee `a un probl`eme donne.

83

84

1
1.1

Chapitre 7 Fonctions donde Monte-Carlo

La d
esexcitation dun niveau instable
D
ecroissance depuis un
etat purement excit
e

Commencons cette etude par un probl`eme simple. On consid`ere une assemblee de


particules (atomes, molecules, noyaux) preparees dans un etat excite instable |ei denergie
Ee , et on cherche `a decrire la desexcitation de ce syst`eme quand il retombe dans son etat
fondamental |gi denergie Eg = Ee 0 (h = 1 et 0 > 0). Nous ne voulons pas rentrer ici
dans le detail du processus de desexcitation ; nous supposons simplement connu le taux
de decroissance .
Nous poserons dans ce qui suit S+ = |eihg| et S = |gihe|, et nous utiliserons les
projecteurs sur les etats excite et fondamental :
Pe = |eihe| = (|eihg|) (|gihe|) = S+ S ,
Pg = |gihg| = (|gihe|) (|eihg|) = S S+ .
Dans le point de vue de loperateur densite, on a une equation pilote qui secrit (cf.
chapitre 5) :
d

= i[(t), H0 ] (Pe (t) + (t) Pe ) + S (t)S+


(7.1)
dt
2
avec H0 = 0 Pe . Levolution des 4 elements de matrice est donc :

ee = ee
gg = ee
eg = i0 +
eg
ge = i0
ge (7.2)
2
2
et sa solution secrit :
ee (t) = et

gg (t) = 1 et

(7.3)

Les coefficients non diagonaux eg et ge sont nuls `a linstant 0 si tous les atomes sont
dans letat |ei. Ils restent donc nuls `a tout instant.
On peut simuler tr`es simplement cette evolution par une evolution stochastique. On
peut considerer quun syst`eme part dans letat |(0)i = |ei de linstant 0 et que, sil est
encore dans letat |ei `a linstant t, son evolution entre t et t + dt est aleatoire, avec les
deux eventualites :
avec une probabilite dp = dt
|(t + dt)i = |gi
avec une probabilite 1 dp = 1 dt
|(t + dt)i = |ei

(7.4)
(7.5)

Une fois le syst`eme dans letat |gi, on suppose quil nevolue plus. Il est immediat de
prouver que les probabilites respectives pour trouver un syst`eme dans letat e ou g sont
donnees par (7.3).
On peut simuler numeriquement cette evolution stochastique en prenant un generateur
de nombres quasi-aleatoires distribues uniformement entre 0 et 1. Quand le nombre ainsi
tire au sort est inferieur `a dp = dt, on suit la voie (7.4), sinon on suit la voie (7.5). Cette

sexcitation dun niveau instable


1 . La de

85

simulation correspond `a levolution quantique quon predit lors dune observation continue
du syst`eme : tant quon ne detecte pas de photon emis, le syst`eme est encore dans letat
e ; quand on detecte un photon, ceci projette le vecteur detat de latome dans letat g. Le
saut quantique quon introduit dans (7.4) correspond simplement `a cette evolution lors
dune mesure (( positive )) sur le syst`eme, cest-`a-dire la (( reduction du paquet dondes ))
lors de la detection dun photon.
1.2

Evolution dans une mesure (( n


egative ))

Compliquons un peu le probl`eme et supposons que nos atomes partent dans letat
initial
1
|(0)i = (|ei + |gi)
(7.6)
2
La solution de lequation pilote est alors :
1
ee (t) = et
2

1
gg (t) = 1 et
2

1
eg = e(i0 +/2)t
2

(7.7)

Si on dispose de N 1 syst`emes identiques au depart, on sattend `a ce que N/2


photons soient emis, et les N syst`emes se retrouvent dans letat g au bout dun temps
long devant 1 .
Cherchons `a reproduire cette loi de decroissance par une evolution stochastique. La
probabilite que le syst`eme tombe de e vers g entre 0 et dt est dp = dt e o`
u e designe
la probabilite que le syst`eme soit dans letat e (e = 1/2). Si latome tombe sur g,
levolution sarrete comme precedemment. Cette evolution avec saut quantique correspond
`a la detection dun photon emis lors de la transition e g.
Mais que faire dans le cas o`
u il ny a pas de saut quantique, ce qui se produit avec
une probabilite 1 dp = 1 dt/2 ? Si, pour trouver levolution entre dt et 2 dt, on se
contente de repartir du meme etat (7.6) (et ainsi de suite entre n dt et (n + 1) dt), on ne
va pas reproduire levolution (7.7). On va plutot trouver une decroissance avec un taux
/2 (donc reduit par rapport au taux reel ), et une emission de N photons au lieu de
N/2.
O`
u est la faute ? Pour la trouver, le plus simple est decrire formellement le vecteur
detat total (syst`eme+champ) `a linstant dt :
edt/2
1
|(dt)i = |gi |0i + |ei |0i + |gi |champ i
2
2

(7.8)

o`
u |champ i est un vecteur de norme dt/2 contenant 1 photon. Le tirage au sort correspond
`a la mesure dun eventuel photon emis :
Si la mesure donne un resultat positif (un photon est detecte), letat du syst`eme est
projete sur letat |gi |champ i ; en particulier, latome est projete dans letat |gi,
comme attendu.
La demarche `a suivre dans le cas dune mesure negative (aucun photon nest detecte)

86

Chapitre 7 Fonctions donde Monte-Carlo

est un peu plus subtile. Letat du syst`eme est projete dans ce cas sur
1
edt/2
|gi |0i + |ei |0i
2
2
quil sagit de normaliser. En utilisant le fait que dt 1, on trouve que letat de
latome apr`es normalisation est `a lordre 1 en dt :

1
1
dt
dt
1+
|gi + 1
|ei
(7.9)
4
4
2
2
Letat de latome change donc apr`es la mesure, que le resultat soit positif ou negatif. En
particulier, le fait de ne rien mesurer fait effectuer une leg`ere rotation au vecteur detat
atomique, dun angle proportionnel `a dt. Dans le cas particulier considere au paragraphe
precedent (1.1), cet angle etait nul car letat initial etait purement excite. En revanche,
dans le cas general o`
u letat atomique est une combinaison de e et g, cet angle est non
nul.
1.3

Sch
ema Monte-Carlo pour ce probl`
eme

Une fois identifies les deux types devolution possibles, saut quantique vers |gi dans le
cas dune mesure positive, ou rotation infinitesimale dans le cas dune mesure negative,
nous pouvons proposer le principe dune simulation Monte-Carlo qui reproduira, apr`es
moyenne sur un grand nombre de (( trajectoires quantiques )), levolution de loperateur
densite donnee par lequation pilote (7.2). Notons
|(t)i = (t)|ei + (t)|gi
un vecteur detat obtenu dans une simulation donnee apr`es une duree devolution t.
Pour passer de t `a t + dt, on tire au sort entre deux evolutions possibles. Avec une
probabilite dp = dt |(t)|2 = dt h(t)|Pe |(t)i, on effectue un saut quantique qui
am`ene latome dans letat |gi, duquel il ne bougera plus :
Probabilite dp = dt |(t)|2

|(t + dt)i = |gi .

Avec une probabilite 1 dp, on fait evoluer le vecteur detat de latome sous leffet de
lhamiltonien non hermitien

H = 0 i
|eihe|
2
et on normalise le resultat final, ce qui donne :
Probabilite 1 dp = 1 dt |(t)|2

|(t + dt)i = (1 iH dt)|(t)i .

Le terme non hermitien i(/2) |eihe| assure que la rotation du vecteur detat dans une
mesure negative se produit correctement. Le coefficient de normalisation vaut
= (1 dp)1/2 .

thode ge
ne
rale
2 . La me

87

Lequivalence entre cette evolution stochastique et levolution donnee par lequation


pilote (7.2) se demontre simplement. Considerons une realisation stochastique donnee, qui
a conduit au resultat |(t)i. On pose (t) = |(t)ih(t)| et on sinteresse `a loperateur
(t + dt) = |(t + dt)ih(t + dt)|. Cet operateur peut prendre deux valeurs, selon les deux
eventualites donnees ci-dessus. Pour |(t)i donne, la valeur moyenne de (t + dt) vaut :
(t + dt) = (1 dp) 2 (1 iH dt)|(t)ih(t)|(1 + iH dt) + dp|gihg|

' (t) i dt H (t) (t) H + dt S (t)S+


(7.10)
On moyenne maintenant (7.10) sur les differents vecteurs detat |(t)i obtenus en faisant
levolution stochastique entre 0 et t, et on note
(t) la moyenne de tous les |(t)ih(t)|.
En prenant la limite dt 0 dans (7.10), on trouve :
d

= i[
, H0 ] (Pe
+
Pe ) + S S+
dt
2
Levolution de la quantite (t), apr`es moyenne sur differentes realisations Monte-Carlo,
est donc identique `a celle de loperateur densite. Comme les etats initiaux (0) et (0)
concident (ils sont egaux `a |(0)ih(0)|), on en deduit que cette evolution stochastique
est bien equivalente `a celle donnee par lequation pilote1 .

La m
ethode g
en
erale

2.1

Traitement dune
equation de Lindbladt

Le traitement que nous venons de presenter se generalise sans difficulte `a une classe
tr`es generale2 dequations pilotes appelees equations de Lindbladt :

ds
1

= i[s (t), H0 ] +
Cm s (t) Cm
C Cm s (t) + s (t) Cm Cm
.
(7.11)
dt
2 m
m
On peut suppose qu`a chaque instant, le syst`eme est decrit par un vecteur detat |(t)i,
le passage de t `a t + dt se faisant de la mani`ere suivante :

Avec une probabilite pm = t h(t)|Cm


Cm |(t)i, le syst`eme effectue un saut quantique associe `a loperateur Cm :

Cm |(t)i
|(t + dt)i Cm |(t + dt)i (7.12)
Probabilite pm = t h(t)|Cm
P
Avec une probabilite 1 p, o`
u p = m pm , le syst`eme evolue sous leffet dun
hamiltonien non hermitien :

Probabilite 1 p
1

|(t + dt)i (1 iH dt) |(t)i

(7.13)

Le cas o`
u loperateur densite initial correspond `a un melange statistique se traite en choisissant letat
|(0)i parmi les differents etats de la decomposition diagonale de (0).
2
Notons toutefois que lequation pilote obtenue pour le mouvement brownien au chapitre 6 nest pas
de la forme de Lindbladt, et quil nest donc pas simple de la decrire dans le cadre de cette methode des
fonctions donde Monte-Carlo.

88

Chapitre 7 Fonctions donde Monte-Carlo

avec
H = H0

iX
C Cm
2 m m

(7.14)

Dans les deux cas, il faut ensuite normer le resultat obtenu pour |(t+dt)i. Nous ne ferons
pas ici la demonstration de lequivalence de cette approche avec lequation pilote. Cette
preuve est une extension directe de celle donnee plus haut pour lemission spontanee dun
atome `a deux niveaux
Une fois obtenu un ensemble de N vecteurs detat | (i) (t)i correspondant chacun `a une
evolution stochastique, on peut calculer la valeur moyenne de nimporte quelle observable
A grace `a :
hAi =

1 X (n)
h (t)|A| (n) (t)i = Tr (
(t)A)
N n

(t) =

1 X (n)
| (t)ih (n) (t)| (7.15)
N n

Pour que le bruit relatif sur cette determination de hAi soit petit, il suffit en general3 que
le nombre de realisations soit grand devant 1.
2.2

Avantages et inconv
enients de la m
ethode stochastique.

Les considerations ci-dessus nous permettent de voir lavantage pratique de la methode


Monte-Carlo par rapport `a lutilisation de lequation pilote. Supposons que la dimension
de lespace de Hilbert du syst`eme considere soit N . Quand on travaille avec lequation
pilote, on doit manipuler un operateur densite de taille N 2 , que lon fait evoluer entre 0
et t. Quand on utilise la methode des fonctions donde Monte-Carlo, on travaille avec des
objets de taille N , donc beaucoup plus petits que loperateur densite pour un syst`eme
complexe. En revanche, il faut effectuer un nombre de simulations N 1 pour obtenir
une precision suffisante, donc calculer N evolutions entre 0 et t. Lavantage pratique de
cette methode se fera donc sentir seulement si N est vraiment tr`es grand devant 1. Sinon,
leffort necessaire pour acquerir une precision suffisante sur le resultat nest pas justifie
par le passage dobjets de taille N 2 `a des objets de taille N .
Un exemple typique dutilisation de cette methode est letude du refroidissement laser,
dans le regime vraiment tr`es froid pour lequel on doit traiter quantiquement le mouvement 3D du centre de masse de latome. On est alors amene `a discretiser limpulsion
atomique sur une grille comportant typiquement 50 50 50 points, soit N 105 . Le
point de vue de loperateur densite oblige alors `a manipuler un objet `a 1010 composantes,
ce qui est enorme pour un calculateur standard. Le point de vue des fonctions donde
Monte-Carlo utilise des objets `a 105 composantes, et une centaine devolutions est suffisante pour determiner precisement les caracteristiques de letat stationnaire (temperature,
distribution en position).
Au del`a de cet avantage pratique, cette methode fournit egalement une image physique
originale du syst`eme. Elle correspond souvent `a ce quon observe sur un objet quantique
individuel, les sauts quantiques etant la consequence du couplage avec lenvironnement
3

Pour plus de details, voir par exemple K. Mlmer et al, JOSA B 10, 524 (1993).

rente et dissipation pour un syste


`me a
` deux niveaux
3 . Cohe

89

(comme lemission spontanee dun photon par exemple). Au contraire, lequation pilote
donne une evolution moyenne, qui represente ce quon observe quand on regarde simultanement un grand nombre de syst`emes quantiques identiques et independants. Il est donc
important de garder `a lesprit ces deux approches, pour choisir celle qui est la plus proche
de lexperience quon cherche `a modeliser.

3
3.1

Coh
erente et dissipation pour un syst`
eme `
a deux niveaux
Excitation coh
erente dun syst`
eme `
a deux niveaux

Pour illustrer cette methode sur une exemple simple, nous revenons au cas dun
syst`eme `a deux niveaux, et nous supposons maintenant quun couplage coherent de pulsation est present entre |ei et |gi. Lhamiltonien du syst`eme `a deux niveaux secrit
alors :
H0 (t) = 0 Pe + (S+ + S ) cos(t)
(7.16)
Le terme caracterise la force du couplage ; il est appele frequence de Rabi. La frequence
est choisie proche de la frequence de resonance 0 . Plus precisement, nous supposerons
dans ce qui suit que la frequence de Rabi et le desaccord = 0 verifient :
|| 0
3.2

|| 0 .

Passage dans le r
ef
erentiel tournant

Nous allons chercher `a tirer parti de lhypoth`ese || 0 pour transformer lhamiltonien dependant du temps en un probl`eme independant du temps. Dans le cas simple
qui nous interesse ici, portant sur un syst`eme `a deux niveaux, on pourrait faire cette manipulation directement sur les quatre coefficients de loperateur densite. Toutefois, il est
instructif dadopter un point de vue plus general, fonde sur la notion de transformation
unitaire, qui se generalise `a beaucoup dautres probl`emes.
Transformation unitaire. Supposons quun vecteur detat |(t)i soit solution de

lequation de Schrodinger i dtd |(t)i = H0 (t)|i. On pose |(t)i


= U (t)|(t)i. On verifie

immediatement que le nouveau vecteur detat |i verifie la nouvelle equation de Schrodinger :


d
avec H
0 (t)|i
0 (t) = U (t)H0 (t)U (t) + i dU U .
=H
i |(t)i
dt
dt
Dans le probl`eme qui nous interesse, posons
U (t) = eiPe t

U = eiPe t .

Linteret de cette transformation est dobtenir des coefficients du vecteur detat sur la
base {|ei, |gi} qui evoluent lentement avec le temps. En effet, partant du vecteur detat
|(t)i = (t)|ei + (t)|gi, pour lequel (t) evolue rapidement (comme ei0 t en absence

90

Chapitre 7 Fonctions donde Monte-Carlo

de couplage ) alors que (t) evolue lentement (il est constant en absence de couplage),
on aboutit `a

= (t) ,
|(t)i
= U (t)|(t)i =
(t) |ei + (t)|gi
avec

(t) = eit (t) , (t)


et les deux coefficients
et evoluent effectivement lentement (cest-`a-dire avec une
frequence typique et/ou ).
Le nouvel hamiltonien est
0 (t) = 0 eiPe t Pe eiPe t + cos(t) eiPe t (S+ + S )eiPe t + i dU U ,
H
dt
= 0 Pe + cos(t) (S+ eit + S eit ) Pe ,

= Pe +
(S+ + S ) +
(S+ e2it + S e2it ) .
2
2
Les deux premiers termes de la derni`ere ligne decrivent la dynamique dun syst`eme `a deux
niveaux, denergies respectives 0 et , couples par un potentiel statique dintensite /2.
Le troisi`eme terme est un couplage haute frequence (2), dont leffet est negligeable dans
la limite , . On peut donc negliger ce terme pour prendre simplement :
0 = Pe + (S+ + S ) .
H
2
Cette approximation est appelee approximation du champ tournant, terminologie heritee
de la resonance magnetique nucleaire. Une fois cette approximation faite, on est ramene
`a un probl`eme independant du temps.
3.3

Les
equations de Bloch optiques

Supposons maintenant, comme en 1.1, que letat e est instable et peut retomber
par emission spontanee sur g en emettant un photon. Levolution de loperateur densite
0 dans lequation pilote (7.1).
atomique est obtenue en inserant lexpression de H
La transformation unitaire (t) = U (t) (t) U (t), avec U = eiPe t , ne change pas
les elements de matrice diagonaux (populations) ee et gg . Les elements non diagonaux
sont changes en :
eg (t) eg = eit eg (t)

ge (t) ge = eit ge (t)

On verifie immediatement que les termes de relaxation ne sont pas modifies lors de cette
transformation unitaire :
d

0 ] (Pe (t) + (t) Pe ) + S (t)S+ .


= i[
(t), H
(7.17)
dt
2
Levolution des 4 composantes de loperateur densite est donnee par :

ee = i (
eg ge ) ee
(7.18)
2
gg = ee
(7.19)

eg =
i
(7.20)
eg + i (ee gg )
2
2
(7.21)
ge = eg

rente et dissipation pour un syste


`me a
` deux niveaux
3 . Cohe

91

Temps (unit : -1)


Fig. 7.1: (a) Evolution temporelle de la population de letat excite |+i dun syst`eme `a deux
niveaux ; + est calculee en suivant une (( trajectoire )) donnee par une fonction donde MonteCarlo ( = 3, = 0). Les lignes tiretees correspondent aux sauts quantiques projetant letat
de latome sur |i. (b) Moyenne de + obtenue `a partir de 100 fonctions donde Monte-Carlo,
partant toutes de letat |i `a linstant t = 0. La ligne pointillee represente la prediction des
equations de Bloch optiques.

Ces equations sont appelees equations de Bloch et elles ont ete introduites pour etudier
le comportement dun spin dans une experience de resonance magnetique. On les nomme
egalement equations de Bloch optiques quand on sinteresse `a la dynamique dun atome
modelise par un syst`eme `a deux niveaux, et excite de mani`ere coherente par une onde
laser.
On verifiera que ces equations de Bloch admettent un etat stationnaire correspondant
`a :
stat
ee =

22
22 + 2 + 42

(7.22)

Cet etat stationnaire est atteint au bout dun temps caracteristique de lordre de 1 .
On voit sur (7.22) que la population de letat excite varie de mani`ere resonnante avec
la frequence de lexcitation, avec une dependance lorentzienne vis `a vis de . Pour un
desaccord fixe, la population stationnaire de letat excite crot avec la force de lexcitation, caracterisee par la frequence de Rabi . Pour des excitations intenses ( ,
mais toujours ), les populations de e et de g sont egales `a 1/2 : latome passe la
moitie du temps dans chacun des deux niveaux. On pourra sentraner `a retrouver avec
ces equations les resultats utilises pour traiter le refroidissement datomes par laser au
chapitre 4.
3.4

Le point de vue des fonctions donde Monte-Carlo

On peut retrouver cette evolution vers letat stationnaire grace `a la methode des
fonctions donde Monte-Carlo. La figure 7.1 represente levolution de la population de e
obtenue dans une simulation menee selon la procedure decrite plus haut pour un desaccord

92

Chapitre 7 Fonctions donde Monte-Carlo

nul ( = 0). On voit que cette population oscille de mani`ere coherente entre 0 et 1, jusqu`a
ce quun saut quantique interrompe cette oscillation. Ce saut quantique correspond `a
lemission spontanee dun photon, et latome est alors projete dans letat g. Latome
repart alors pour une autre oscillation, identique `a la premi`ere et dephasee dune quantite
qui depend de linstant du premier saut quantique ; ce dephasage est donc aleatoire.
Quand on moyenne un grand nombre (une centaine) de (( trajectoires quantiques ))
ayant toutes la meme condition initiale, on trouve une oscillation amortie pour la population de e. Cette oscillation concide (au bruit pr`es) avec le resultat trouve lors de
lintegration des equations de Bloch. Pour cet exemple, il est clair que la methode des
fonctions donde Monte-Carlo napporte aucun gain de calcul, bien au contraire. Il est
plus rapide de faire evoluer une fois les 4 composantes de loperateur densite que 100 fois
les deux composantes du vecteur detat. En revanche, cette methode apporte un eclairage
original sur la nature de lamortissement qui conduit `a latteinte de letat stationnaire
(7.22).
R
ef
erences compl
ementaires
J. Dalibard, Y. Castin and K. Mlmer, Phys. Rev. Lett. 68, 580 (1992) ; K. Mlmer,
Y. Castin and J. Dalibard, J. Opt. Soc. Am. B 10, 524 (1993).
H.J. Charmichael, An Open Systems Approach to Quantum Optics, Springer-Verlag.
M. Scully and M. Zubairy, Quantum Optics, Cambridge University Press.

Chapitre 8
Ondes de mati`
eres coh
erentes
Quand nous avons considere une particule ponctuelle de masse M couplee `a un
reservoir `a temperature T , nous avons vu que la longueur de coherence associee `a son
etat stationnaire est voisine de sa longueur donde thermique (cf. equation 6.31) :
`coh T

h
.
2M kB T

A basse temperature, ce resultat est considerablement modifie dans le cas o`


u un grand
nombre de particules identiques sont simultanement presentes. En se limitant au cas de
particules bosoniques, on trouve que la longueur de coherence `coh est fortement augmentee
par la prise en compte de lindiscernabilite des particules. Pour un gaz homog`ene et sans
interaction `a une dimension, on trouve que :
Gaz de Bose 1D :

`coh T ((1D) T )

pour (1D) T 1 .

La quantite (1D) represente la densite lineique de particules. Pour un gaz tri-dimensionnel,


la modification du resultat `a une particule est encore plus dramatique puisque le
phenom`ene de condensation de Bose-Einstein conduit `a :
Gaz de Bose 3D :

pour (3D) 3T > (3/2) ' 2.612 ,

`coh = +

Dans ce chapitre, nous allons presenter lanalyse de ces deux situations, 1D et 3D, pour un
gaz sans interaction. Nous terminerons par letude de la phase relative de deux condensats
independants, en cherchant `a repondre `a la question suivante : est-ce que deux condensats
(( qui ne se sont jamais rencontres )) ont une phase relative definie ?

La distribution de Bose-Einstein

Considerons une assemblee de N particules identiques de spin nul sans interaction, `a


(i = 1, . . . , N ),
temperature T . Chaque particule i evolue sous leffet de lhamiltonien h(i)
de sorte que lhamiltonien total secrit :
=
H

N
X
i=1

93

.
h(i)

`res cohe
rentes
Chapitre 8 Ondes de matie

94

On note |i et { } les etats propres et les niveaux denergie de lhamiltonien `a une


Puisque les particules ninteragissent pas, les niveaux denergie de H
sont
particule
h.
P
P
les
n , avec
n = N . Les etats propres correspondants sont |{n }i, caracterises
par les nombres doccupation n . On cherche `a connatre le nombre moyen de particules
occupant un etat donne |i. Le resultat est donne par la distribution de Bose-Einstein :
n =

1
exp(( ) / kB T ) 1

(8.1)

La quantite est appelee potentiel chimique et se determine en imposant que le nombre


total de particules soit egal `a N :
Determination de :

N=

n =

1
.
exp(( ) / kB T ) 1

(8.2)

On remarque immediatement une contrainte sur le potentiel chimique. Comme le nombre


moyen de particules sur chaque niveau est forcement positif et fini, il faut quon ait
pour tout : exp(( ) / kB T ) > 1, ce qui impose > pour tout . Le potentiel
chimique doit donc etre inferieur `a toutes les energies propres , cest-`a-dire :
< 0

(8.3)

o`
u 0 est lenergie de letat fondamental de h.
Placons-nous `a temperature fixee. La relation (8.2) entre le nombre total de particules
N et le potentiel chimique est bijective et monotone :
Quand le potentiel chimique tend vers , chaque terme de la somme tend vers
0 et on a1 :
X
:
n ' e / kB T e / kB T 0
N ' e / kB T
e / kB T 0

(8.4)
Le nombre total datomes N tend vers 0 et on retrouve dans cette limite la statistique
de Boltzmann.
Quand le potentiel chimique se rapproche de sa borne superieure 0 , la population
secrit :
dun niveau voisin du fondamental de h
kB T :

n '

kB T

(8.5)

En particulier, quand tend vers 0 , on trouve :


0 :

n0 '

kB T

N=

(8.6)

On peut donc obtenir nimporte quel nombre de particule N dans le syst`eme en faisant
varier entre et 0 . Dans la suite, on posera z = e/(kB T ) , param`etre sans dimension
appele fugacite, qui varie donc entre 0 (pour = ) et e0 /(kB T ) .
1

On admettra bien s
ur que toutes les sommes ecrites ici convergent. Si ce netait pas le cas, cela
signifierait que la description du syst`eme par les methodes usuelles de la physique statistique nest pas
possible.

` une dimension
2 . Gaz de Bose a

2
2.1

95

Gaz de Bose `
a une dimension
Densit
e lin
eique et potentiel chimique

Considerons un gaz de N bosons uni-dimensionnel, confine dans une bote de longueur


est simplement : h
= P 2 /2M et ses etats propres sont
L. Lhamiltonien `a une particule h
les ondes planes :
1
p (x) = eipx/h
L

p =

p2
2M

p=

2h
j
L

(8.7)

o`
u j est un entier relatif. On a choisit ici des conditions aux limites periodiques, ce qui
revient `a se placer sur un cercle de perim`etre L, plutot que sur un segment. On utilisera
la densite lineique de ce syst`eme :
(1D) = N/L .

(8.8)

Nous allons etre amenes `a calculer des sommes du type :


X
F=
F (p)
p

Rappelons que si F (p) varie peu quand p passe de j 2


h/L `a (j + 1) 2h/L, ce qui est
en general le cas quand la taille L tend vers linfini (limite thermodynamique), on peut
passer dune somme discr`ete `a une integrale :
Z +
L
F (p) dp
F=
2h

Ecrivons
la relation donnant le nombre total datomes N en fonction de la temperature
et du potentiel chimique :
Z +
Z +
X
L
L
dp
N=
n(p) =
n(p) dp =
(8.9)
2 /(2M k T )
1
p
B
2
h
2h z e
1
p
Dans lintegrale, on regroupe p et p, on introduit la variable sans dimension u = pT /h
et on trouve :
Z +
du
(1D)

T =
.
(8.10)
1
u2 1
z e
La physique de ce syst`eme est donc enti`erement determinee par le param`etre sans dimension (1D) T , qui caracterise la degenerescence du syst`eme. Quand ce param`etre est petit,
la distance moyenne entre particules est beaucoup plus grande que la longueur donde
thermique ; les corrections liees `a la statistique quantique sont negligeables et on sattend
`a retrouver la statistique de Boltzmann classique. En revanche, dans le cas (1D) T 1,
on sattend `a ce que le gaz soit degenere et que les corrections quantiques jouent un role
essentiel. Cest `a cette limite haute densite (`a temperature donnee) ou basse temperature
(`a densite donnee) que nous allons maintenant nous interesser.

`res cohe
rentes
Chapitre 8 Ondes de matie

96
2.2

La limite (1D) T 1

Placons-nous `a temperature donnee. Cette limite haute densite (donc N grand) sob en loctient en faisant tendre le potentiel chimique vers lenergie du fondamental de h,
currence 0. Faisons maintenant lhypoth`ese que lapproximation (8.5) :
n(p) '

kB T
p2
2M

(8.11)

sapplique `a tous les niveaux p peuples de mani`ere appreciable. Il faudra bien s


ur verifier
`a la fin de notre analyse la coherence de cette approximation, cest-`a-dire montrer que
p2car. M kB T , o`
u pcar. est la largeur caracteristique de la distribution en impulsion.
Posons p2c = 2M (on rappelle que est negatif) pour recrire cette distribution en
impulsion sous la forme :
h2
1
n(p) =
(8.12)
2
2
T p + p2c
Le nombre total datomes sobtient en sommant sur tous les p, soit :
Z +
Z +
X
L
L h2
dp
L h2
N=
n(p) =
n(p) dp '
=
2h
h 2T p2 + p2c
h 2T pc
p

(8.13)

soit

h
1
.
(8.14)
T (1D) T
Cette relation determine le potentiel chimique en fonction de la densite lineique et de la
temperature.
pc =

Avant daller plus loin, il faut verifier la coherence de notre analyse. La condition de
validite du traitement est que lapproximation (8.11) soit valable pour toutes les classes
dimpulsion peuplees. Or, on vient de trouver une distribution lorentzienne de largeur pc .
Il faut donc que pour p pc , lapproximation (8.11) soit valable. Ceci entrane :
p2c
1
2M kB T

p2c

h2
2T

(1D) T 1

Il suffit donc detre dans le regime degenere pour que cette description du gaz soit valable.
Notons que cette approximation lorentzienne pour la distribution en impulsion permet de
calculer le potentiel chimique , mais ne peut pas etre utilisee pour calculer certaines
autres quantites, comme lenergie cinetique moyenne
R 2 par exemple. En effet, lintegrale
quon est alors amene `a calculer fait intervenir p n(p) dp, qui diverge si on fait lapproximation dune decroissance de n(p) comme p2 `a linfini.
On a trace sur la figure 8.1 la distribution en impulsion calculee `a partir de la formule
de Bose-Einstein exacte pour une bote de taille L = 1000 T . Les differentes courbes
correspondent `a un nombre de particules de 102 , 103 , 104 et 105 . Pour les petits nombres
de particules (102 et 103 ), la distribution est gaussienne (parabole en coordonnees semilogarithmiques). On passe de la courbe correspondant `a 100 particules `a celle correspondant `a 1000 particules par une simple loi dechelle (multiplication de n(p) par un facteur

` une dimension
2 . Gaz de Bose a

n(p)

97

10000
1000
100
10
1
0.1
0.01
1E-3

pL/h
0

250

500

750

1000

Fig. 8.1: Distribution en impulsion dun gaz 1D confine dans une bote de longueur L = 1000 T .
Le nombre N de particules vaut (de bas en haut) 102 , 103 , 104 et 105 .

10, soit une translation en semi-log). Au dessus de 1000 particules, on rentre dans le domaine degenere. Les ailes de la distribution saturent alors, et la majorite des particules
saccumulent dans le pic central, correspondant `a la distribution lorentzienne trouvee
ci-dessus.
Cette prediction dune distribution en impulsion lorentzienne a recemment ete verifiee
experimentalement dans le groupe dOptique Atomique, `a lInstitut dOptique dOrsay.
Les experiences ont ete menees sur un nuage datomes de rubidium pieges dans un
pi`ege harmonique tr`es fortement anisotrope (frequence selon z 200 fois plus faible que
la frequence dans le plan xy). Le nombre datomes dimpulsion pz donnee a ete mesure
en envoyant sur le gaz atomique une paire dondes laser ayant des differences de vecteurs
donde kz et de frequences bien controlees. Par un processus dabsorption dans une
onde et demission stimulee dans lautre onde, on extrait des atomes du nuage froid. Cette
extraction devant satisfaire la condition de conservation de lenergie et de limpulsion, elle
ne se produit que pour une classe dimpulsion p bien definie et on determine ainsi n(p).
2.3

Coh
erence spatiale dans le cas d
eg
en
er
e
Nous avons vu au chapitre 6 que la fonction caracterisant la coherence spatiale
Z +
u
u
G(u) =
hx + |s |x i dx ,
2
2

est simplement la transformee de Fourier de la distribution en impulsion :


Z +
G(u) =
n(p) eipu/h dp .

`res cohe
rentes
Chapitre 8 Ondes de matie

98

Fig. 8.2: Distribution en impulsion dun gaz datomes de rubidium quasi-unidimensionnel. Figure extraite de S. Richard et al, Phys. Rev. Lett. 91, 010405 (2003).

Pour un distribution en impulsion lorentzienne, on trouve donc une fonction de coherence


exponentielle :
G(u) = exp(|u|/`coh )

avec

`coh =

n(1D) T
= T
pc
2

(8.15)

Cest bien le resultat annonce dans lintroduction. Lentree dans le regime de degenerescence quantique correspond `a une augmentation spectaculaire de la longueur de coherence,
par rapport `a la valeur `coh T attendue dans le cadre de la statistique de MaxwellBoltzmann (cf. (6.31)).

3
3.1

Gaz de Bose `
a 3 dimensions et condensation
Le ph
enom`
ene de condensation

A trois dimensions, nous ne pouvons pas transposer la methode que nous avons utilisee
pour le gaz uni-dimensionnel. En effet, lapproximation (8.12) conduit immediatement `a
un nombre datomes infini apr`es integration `a 3 dimensions :
Z 2
Z
X
p dp
? 2 L3
? L3
3
N=
n(p) = 3 3 n(p) d p '
= +
(8.16)
2
2 + p2

p
8
h

0
c
T
px ,py ,pz
Les deux egalites marquees par un point dinterrogation sont fausses. La seconde conduit
`a un infini clairement non physique : lelement de volume `a trois dimensions p2 dp nous
interdit de proceder `a la meme approximation lorentzienne qu`a 1D. La premi`ere egalite
conduit egalement `a une absurdite : meme quand on prend pour le potentiel chimique la
valeur maximale = 0, on trouve en gardant la distribution de Bose-Einstein exacte (et
pas son approximation lorentzienne) une valeur finie pour le nombre datomes :
Z
Z
L3
p2 dp
L3
3
n(p)
d
p
=
Nmax =
exp(p2 /(2M kB T )) 1
8 3 h
3
2 2 h
3
Z

L3 4
u2 du
L3

=
=
(3/2)
(8.17)
2
3T 0 eu 1
3T

` 3 dimensions et condensation
3 . Gaz de Bose a

99

avec (3/2) ' 2,612. Ceci est en contradiction avec le resultat exact (8.6) et semble
interdire de pouvoir mettre un nombre datomes arbitrairement eleve dans le syst`eme, la
densite spatiale ne pouvant pas depasser :
(3D)
max =

Nmax
(3/2)
=
.
3
L
3T

La solution de ce probl`eme est bien connue et elle figure dans tous les cours de base
de physique statistique. A basse temperature, plus precisement pour
(8.18)
T < Tc
avec
(3D) 3Tc = (3/2) ,
P
il faut isoler dans la somme
n(p) la contribution de letat fondamental p = 0. Cette
contribution absorbe un nombre N Nmax de particules. La population des autres niveaux
peut etre traitee de mani`ere continue comme en (8.17) en prenant = 0. Pour ces autres
niveaux, la largeur de la distribution en impulsion correspond `a p2 /(2M kB T ) 1, cest`a-dire p h
/T . On trouve donc, pour une densite dans lespace des phases (3D) 3T
superieure au seuil de condensation :
Z
L3
L3
N = n(0) + 3 3 n(p) d3 p = n(0) + 3 (3/2) .
(8.19)
T
8 h

On peut reecrire ce resultat pour exprimer la fraction datomes condenses n(0)/N sous la
forme :
3/2
T
n(0)
T < Tc :
=1
.
(8.20)
N
Tc
3.2

Coh
erence spatiale dun gaz condens
e

Pour calculer la fonction de coherence spatiale G(u), on doit prendre la transformee


de Fourier de n(p). A la limite continue, la distribution n(p) est une somme de deux composantes : la contribution de la population de letat p = 0 correspond `a une distribution
de Dirac (p), la population des autres niveaux formant une fonction reguli`ere de largeur
h
/T .
La transformee de Fourier G(u) va donc avoir elle aussi deux composantes (cf. figure
8.3) :
Un fond constant correspondant `a la transformee de Fourier de la distribution de
Dirac. Ce fond constant correspond `a une longueur de coherence infinie pour le
syst`eme.
Une composante maximale en u = 0 et tombant `a 0 quand u devient de lordre de
T .
Pour un condensat `a temperature nulle, toute la population se concentre dans letat
p = 0 et seul subsiste le fond constant pour G(u). Ceci est important pour les applications
pratiques car on peut ainsi former des sources donde de mati`ere compl`etement coherentes,
dont les proprietes sont similaires `a celles dun faisceau laser. Toutefois, dun point de
vue plus fondamental, ceci nest pas laspect le plus spectaculaire de la condensation de

`res cohe
rentes
Chapitre 8 Ondes de matie

100

G(u)
1

G(u)

(a)

G(u)

(b)

(c)

n(0)/N

Fig. 8.3: Fonction de correlation spatiale G(u) : (a) pour une particule en contact avec un
thermostat `a temperature T ; (b) pour un gaz parfait de bosons 1D ; (c) pour un gaz parfait
de bosons 3D. Dans ce dernier cas, le plateau setendant jusqu`a u = est la signature de la
presence du condensat.

Bose-Einstein. En effet, `a temperature nulle, meme la distribution de Maxwell-Boltzmann


conduit `a une longueur de coherence infinie puisque T . Sur le plan fondamental,
le point vraiment remarquable est davoir une longueur de coherence infinie d`es que la
temperature est dessous du seuil de condensation. Sur ce point, la comparaison avec le
gaz 1D traite dans le paragraphe precedent est particuli`erement instructive.
3.3

Densit
e d
etats

Pour expliquer la difference de comportements entre un syst`eme 1D et un syst`eme


3D, il est utile de considerer la repartition typique des premiers niveaux denergie de
lhamiltonien `a un corps. Cette distribution est representee sur la figure 8.4. Dans le
cas 1D, on voit que les niveaux sont tr`es nombreux au voisinage de lenergie nulle (la
densite detats varie comme E 1/2 ). On peut donc repartir les N particules du gaz de
mani`ere reguli`ere sur ces premiers niveaux, avec la distribution lorentzienne trouvee plus
haut. Dans le cas 3D, la densite detat varie comme E 1/2 et sannule donc en 0. On voit
clairement sur la figure 8.4b que lecart entre les premiers niveaux est relativement grand,
puis se reduit au fur et `a mesure o`
u on monte en energie. On comprend donc lorigine de
la singularite en p = 0 dans la repartition entre populations n(p).

Interf
erences de condensats

Considerons maintenant deux condensats de Bose-Einstein purs, notes a et b, contenant


chacun N atomes, et posons-nous la question suivante : y a-t-il coherence entre les deux
condensats ?

rences de condensats
4 . Interfe

(a)

101

(b)

Fig. 8.4: Les 200 premiers niveaux denergie (a) dans un pi`ege 1D (b) dans une bote 3D
parallelipedique dont les cotes sont dans les rapports 1 : 21/4 : 31/4 (on prend des rapports non
rationnels pour eviter les degenerescences).

4.1

Lexp
erience du MIT

La premi`ere reponse experimentale `a cette question a ete apportee par une experience
menee au MIT2 . En eclairant le centre du pi`ege magnetique confinant le condensat par une
nappe de lumi`ere (figure 8.5a), on peut realiser un double puits de potentiel. La nappe
lumineuse joue le role dune barri`ere repulsive, qui empeche en pratique tout passage
datomes condenses entre la partie gauche et la partie droite. On prepare par evaporation
un condensat dans chacune de ces deux regions, puis on coupe le potentiel magnetique,
ainsi que la barri`ere lumineuse. Les deux condensats setalent, se recouvrent, et on prend
une photo de la distribution spatiale des atomes (fig. 8.5b). Cette distribution presente des
franges dinterference avec un fort contraste (70 %), ce qui prouve la coherence relative
des sources atomiques constituees par chacun des deux condensats.
Nous ne m`enerons pas ici la modelisation quantitative de cette experience, qui est
un peu lourde `a mettre en place. Indiquons simplement les grandes lignes : on decrit
chacun des deux condensats par un champ donde de mati`ere classique, comme on le fait
en optique pour un faisceau lumineux monochromatique. Levolution de ces deux ondes
de mati`ere lors de letalement qui suit la coupure du pi`ege est donnee par lequation
de Schrodinger, qui remplace ici les equations de Maxwell decrivant la propagation des
faisceaux lumineux. La repartition spatiale des atomes `a linstant de la photo 8.5b sobtient
en additionnant les amplitudes des deux ondes, ce qui permet dexpliquer la figure dinterference obtenue. Notons toutefois quon ne peut pas prevoir a priori la position de la frange
brillante centrale. Celle-ci depend de la phase relative initiale entre les deux condensats,
qui fluctue dune realisation de lexperience `a une autre : si lon refait plusieurs fois cette
experience, on obtiendra pour chaque realisation un profil dinterference semblable `a celui
de la figure 8.5b, mais son syst`eme de franges sera decale aleatoirement ; la moyenne de
toutes ces figures dinterference conduira ainsi `a une distribution atomique uniforme.
2

M.R. Andrews et al., Science 275, 637 (1997).

`res cohe
rentes
Chapitre 8 Ondes de matie

102

(a)

(b)

Fig. 8.5: (a) On realise un double puits de potentiel en disposant au centre du pi`ege magnetique
un faisceau lumineux, de frequence superieure `a la frequence de resonance atomique. Ce faisceau cree une barri`ere de potentiel, qui permet dobtenir apr`es evaporation deux condensats
independants. (b) Lorsquon coupe le pi`ege magnetique et la barri`ere lumineuse, chaque condensat setale. Dans la zone de recouvrement entre les deux condensats, on observe une figure
dinterference dondes de mati`ere, avec un contraste eleve.

4.2

Interf
erence entre deux lasers (`
a atomes ou `
a photons)

Une experience plus simple `a modeliser que la precedente consiste `a extraire de chaque
condensat un petit filet datomes, similaire au laser `a atomes presente au chapitre 1 de ce
cours. On peut melanger les deux jets atomiques sur une lame separatrice et tester ainsi
leur coherence, en mesurant si leur phase relative est bien definie (figure 8.6). Le meme
probl`eme peut se transposer `a des photons, contenus dans deux cavites identiques. Si nous
supposons que chaque cavite contient initialement N photons dans un mode donne, quel
signal dinterference sattend-on `a trouver quand on fait battre les deux faisceaux sortant
des cavites ? Nous travaillerons dans ce qui suit avec des photons, pour lesquels nous
disposons doutils mathematiques commodes, les operateurs creation et destruction3 .
Si le champ de chaque cavite est dans un etat coherent, les faisceaux sont decrits par
les deux champs classiques |0 |eig and |0 |eid . Les intensites dans les deux voies de sortie
du separateur sont alors :
I+ = 2|0 |2 cos2

I = 2|0 |2 sin2 ,

(8.21)

o`
u = (g d )/2. Du rapport I+ /I , on deduit la valeur de la phase relative 2||. Notons
que est une variable aleatoire, qui prend une valeur differente pour chaque realisation
de lexperience.
Supposons que k N photons sont detectes sur D , et interessons nous pour simplifier
au cas o`
u toutes les detections se font sur le canal (+). La probabilite pour une telle
k
sequence est (cos2 ) , ce qui donne apr`es moyenne sur la phase inconnue :
Z
(2k 1)(2k 3) . . .
1
1
cos2k () d =
k1
.
(8.22)
Wk =
0
(2k)(2k 2) . . .
k
Pour k = 100, cette probabilite est 6%.
3

Des operateurs creation et annihilation peuvent egalement etre introduits pour decrire un syst`eme
de particules materielles identiques. Cest le formalisme de la seconde quantification.

rences de condensats
4 . Interfe

Compteur k+

103

sparateur
de faisceaux

D+

D-

Compteur k -

Fig. 8.6: Experience de pensee pour etudier linterference entre deux lasers (`a photons ou `a
atomes).

Tournons-nous maintenant vers la description du syst`eme en termes detats de Fock.


Supposons que le syst`eme est initialement dans letat |Ng , Nd i avec Ng = Nd = N . On
pourrait sattendre intuitivement `a ce que la phase relative soit (( brouillee )), puisque les
quantites nombre de particules et phase sont souvent decrites comme complementaires.
Deux syst`emes `a nombres de particules bien determines devraient alors apparatre comme
non coherents vis `a vis lun de lautre. Ce raisonnement intuitif (mais faux !) pourrait de
plus etre complete par largument naf suivant : puisque k N , la probabilite de detecter
le ni`eme photon (n k) dans le canal (+) est pratiquement independante des n1 resultats
precedents. La probabilite pour k detections dans le canal (+) devrait donc etre 2k . Ceci
est clairement tr`es different du Wk obtenu pour un etat coherent (2k < 1030 pour
k = 100).
Comme nous lavons dit, ce raisonnement (( intuitif )) est faux. Plus precisement, on
peut montrer que les predictions pour letat |N, N i sont identiques `a (8.21) si N 1. Le
principe du raisonnement correct est le suivant. La premi`ere detection dun photon dans
le canal (+) projette letat du champ dans un etat proportionnel `a

(
g + d)|N,
N i |i = |N, N 1i + |N 1, N i ,
o`
u g and d annihilent un photon dans les cavites de gauche et de droite respectivement.
Pour calculer la probabilite de detecter un deuxi`eme photon dans le canal (+), on doit
comparer le carre de la norme des deux vecteurs correspondant `a une detection dans les
canaux () :

N 1(|N 2, N i + |N, N 2i) + 2 N |N 1, N 1i


(+) : (
g + d)|i
=

() : (
g d)|i
=
N 1(|N 2, N i |N, N 2i)
Pour N 1, les carres des normes de ces deux vecteurs sont dans un rapport 3 :1. Ceci
indique quune fois quun premier photon a ete detecte dans le canal (+), la probabilite
pour que le deuxi`eme photon soit detecte egalement dans ce canal est 3/4, alors que la
probabilite pour que le deuxi`eme photon soit detecte dans le canal () est seulement 1/4.
Ce resultat contre-intuitif montre que les detections successives sont fortement correlees
dans le cas dun etat de Fock, meme si le nombre de photons detectes sont tr`es petits par

`res cohe
rentes
Chapitre 8 Ondes de matie

104

rapport au nombre des photons presents dans les cavites. Le raisonnement peut setendre
`a k detections et on trouve que la probabilite pour detecter respectivement k+ = k et
k = 0 atomes dans les deux canaux est :
P(k, 0) =

13
2k 1

24
2k

(8.23)

ce qui est egal `a Wk pour tout k. Les predictions pour un etat initial de Fock et pour
un etat coherent sont donc identiques, mais le resultat pour un etat coherent sobtient de
mani`ere beaucoup plus intuitive et directe que pour un etat de Fock. Cette identite des
predictions des deux points de vue setend4 `a tout resultat de mesure P(k+ , k ).
Il y a donc (( coherence totale )) entre deux condensats (ou deux lasers parfaitement
monochromatiques), meme sils nont jamais ete au contact lun de lautre. Toutefois, la
valeur de la phase relative est aleatoire et fluctue dune realisation `a lautre de lexperience.
On dispose de deux points de vue equivalents sur ces syst`emes de photons ou de condensats de Bose-Einstein. Dans le cadre dune description en terme detats coherents, la
mesure rev`ele la phase pre-existante via la relation tan2 = k /k+ . Dans le cadre dune
description en termes detats de Fock, la sequence de detection (( construit )) la valeur de
la phase.
Prolongements
1. Pour un syst`eme de taille finie, montrer qu`a temperature fixee et pour un nombre
suffisant de particules, il y a toujours accumulation des particules dans le niveau
denergie fondamental de la bote confinant les particules. On pourra introduire
0

N =

(e( 0 )/kB T 1)1

o`
u le indique que la somme porte sur tous les niveaux excepte le niveau fondamental
denergie 0 . On supposera que cette somme converge.
2. En utilisant le resultat de lexercice precedent, montrer que la condensation dans un
pi`ege harmonique isotrope de pulsation se produit quand le nombre de particules
N est de lordre de (kB T / h
)d , o`
u d 2 est la dimension du probl`eme. Comment
ce resultat est-il modifie pour un oscillateur uni-dimensionnel ?
3. On se donne une bote 1D de longueur L et on augmente N `a temperature fixee. A
partir de quelle valeur de N la population du niveau fondamental devient-elle significativement differente de celle du premier niveau excite ? On fera une application
numerique pour les param`etres de la figure (8.1). Comment ce resultat se concilie-t-il
avec labsence de condensat de Bose-Einstein `a 1D dans la limite thermodynamique ?

voir par exemple Y. Castin and J. Dalibard, Phys. Rev. A 55, 4330 (1997).

Vous aimerez peut-être aussi