Professional Documents
Culture Documents
Notes de cours
Avril 2010
2 La
2.1
2.2
2.3
2.4
2.5
Quantification Canonique
Introduction . . . . . . . . . . . . . . . . . . . .
LOscillateur Harmonique . . . . . . . . . . . .
Les Oprateurs q et p : la Thorie des Matrices
La Quantification Canonique . . . . . . . . . . .
Les Relations dIncertitude de Heisenberg . . . .
3 La
3.1
3.2
3.3
Mcanique Ondulatoire
Introduction . . . . . . . . . . . . . . .
LEquation de Schrdinger . . . . . . .
LOscillateur Harmonique :
Equation de Schrdinger . . . . . . . .
3.4 Lien avec la Quantification Canonique :
3.5 Interprtation de la Fonction dOnde .
3.6 lments de Thorie de la Mesure . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
7
11
13
14
17
. . . . . . . . . . . . . . . . . 17
. . . . . . . . . . . . . . . . . 18
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
2
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
23
26
29
.
.
.
.
.
31
31
31
35
37
44
47
5.1
5.2
5.3
5.4
5.5
5.6
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . .
La Particule Libre : Paquet dOndes . . . . . . . . . . . .
Potentiel Constant par Morceau et Conditions aux Limites
Le Puits de Potentiel Carr . . . . . . . . . . . . . . . . .
La Marche de Potentiel . . . . . . . . . . . . . . . . . . . .
Barrire de Potentiel. Effet Tunnel . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
54
56
62
66
71
. . . . . . . . . . 71
. . . . . . . . . . 72
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
76
80
83
86
94
.
.
.
.
.
.
.
.
.
.
.
.
99
99
101
102
104
109
110
.
.
.
.
.
113
. 113
. 114
. 116
. 119
. 121
.
.
.
.
123
. 123
. 125
. 125
. 131
.
.
.
.
.
.
.
.
.
k
.
.
.
.
.
.
.
.
.
:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
134
134
137
139
139
141
142
142
144
163
. 163
. 165
. 166
. 166
. 166
. 168
. 169
12 Particules identiques
12.1 Introduction . . . . . . . . . . . .
12.2 Fermions. Principe de Pauli. . . .
12.2.1 Energie dun systme de N
12.3 Bosons . . . . . . . . . . . . . . .
12.3.1 Bosons sans interaction . .
173
. 173
. 175
. 176
. 179
. 180
. . . . . . . .
. . . . . . . .
fermions sans
. . . . . . . .
. . . . . . . .
. . . . . . .
. . . . . . .
interaction
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
12.4 Lespace de Fock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
A Espace de Hilbert
A.1 Gnralits . . . . . . . . . . . . . . . . . . .
A.2 Espaces de Hilbert de dimension infinie : . . .
A.3 Projecteurs et Reprsentation Spectrale I :
Dimension Finie . . . . . . . . . . . . . . . . .
A.4 Changements de Base et Oprateurs Unitaires
A.5 Projecteurs et Reprsentation Spectrale II :
Dimension Infinie . . . . . . . . . . . . . . . .
A.6 Produit tensoriel . . . . . . . . . . . . . . . .
183
. . . . . . . . . . . . . 183
. . . . . . . . . . . . . 188
. . . . . . . . . . . . . 191
. . . . . . . . . . . . . 194
. . . . . . . . . . . . . 197
. . . . . . . . . . . . . 201
B Intgrales Gaussiennes
B.1 Intgrale Gaussienne Relle . . . . . . . . . . . . . . . . .
B.2 Intgrale Gaussienne Relle avec un "Terme de Source" . .
B.3 Intgrale Gaussienne Complexe . . . . . . . . . . . . . . .
B.4 Intgrale Gaussienne Complexe avec un "Terme de Source"
B.5 Quelques Cas Particuliers . . . . . . . . . . . . . . . . . .
B.6 Intgrales contenant une Gaussienne . . . . . . . . . . . .
C Rgle de Cramer
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
207
. 207
. 208
. 208
. 210
. 211
. 212
215
vii
Ouvrages Recommands
Il existe de trs nombreux ouvrages en franais et en anglais traitant de la mcanique quantique.
En franais :
1. La rfrence historique : Messiah. Excellent livre, toujours la rfrence dans
de nombreux domaines.
2. La rfrence moderne : Cohen-Tanoudji, Diu, Lalo. Livre trs clair avec des
calculs exceptionnellement bien expliqus et dtaills. Il est donc recommand
pour "dmystifier" le ct calculatoire de la mcanique quantique. Il reste
cependant difficile consulter comme rfrence car il est trs volumineux.
3. Deux ouvrages plus rcents :
- Le Bellac. Original dans ses choix, parle de problmes dactualit. Explications mathmatiques prcises mais concises.
- Basdevant & Dalibard. Intressant grce son CD ROM de dmonstrations.
4. La rfrence russe : Landau & Lifshitz. Exceptionnel dans la concision et
ltendue des sujets abords. Ouvrage auquel on revient souvent comme chercheur, il reste relativement difficile pour une premire approche. Problme
majeur : il nutilise pas les notations modernes universellement employes de
nos jours.
En anglais :
1. Les rfrences un peu vieillies :
- Schiff
- Merzbacher
2. Un livre concis et astucieux : Sakurai
3. Une excellente compilation de notes de cours : Baym
Avant-Propos
La mcanique quantique est sans doute la plus grande rvolution intellectuelle de
lhistoire de la physique. Elle est remarquable plus dun titre :
- Elle est fondamentale dans pratiquement tous les domaines de la physique (physique atomique, physique molculaire, physique des solides, optique, physique
des particules, thermodynamique et physique statistique) ds quon sintresse
de petites dimensions (de lordre du diamtre dun atome : 1 [Angstrm]
1010 [m]).
viii
- Elle a permis de comprendre de trs nombreux phnomnes qui taient sans
explications depuis de nombreuses annes, comme par exemple les raies dexcitation de latome dhydrogne, par opposition la relativit, qui a t avant
tout prdictive.
- Elle na ce jour pas t mise en dfaut. Ses prdictions, aussi prcises soientelles, ont toujours t vrifies.
- Elle repose sur des bases mathmatiques et conceptuelles trs fragiles. Dans
beaucoup de contextes, il apparat par exemple des divergences quon est oblig
dignorer. Par ailleurs la formulation des dveloppements les plus rcents en
physique des hautes nergies repose sur un objet mathmatiquement mal dfini,
lintgrale de chemin. Enfin, la dfinition prcise des postulats repose sur la
notion de mesure, qui fait encore lobjet de dbats houleux.
Il y a donc de nombreuses faons denseigner la mcanique quantique, quil
sagisse du choix des problmes mis en avant pour expliquer la ncessit dune nouvelle thorie, ou quil sagisse de la faon de prsenter la thorie elle-mme. Les
choix faits dans ce cours ont t guids dune part par sa position dans le cursus des
tudiants et dautre part par mes gots et orientations personnels. Comme ce cours
intervient avant llectrodynamique et la physique statistique, je me baserai sur les
difficults de la mcanique classique expliquer la structure de latome pour motiver
le dveloppement de la thorie. Par ailleurs, je crois quon shabitue la mcanique
quantique dabord et avant tout en lutilisant sur des problmes concrets, et je mettrai laccent sur lextraordinaire puissance de la mcanique quantique expliquer
des phnomnes, en renvoyant des cours plus spcialiss pour les dveloppements
mathmatiques plus rigoureux sur tel ou tel aspect du formalisme.
Chapitre 1
La Thorie des Quanta
1.1
Introduction
Lide que lnergie dun systme ne pouvait prendre que certaines valeurs discrtes et non pas lensemble continu des valeurs prdites par la thorie classique
du phnomne a t mise pour la premire fois par Planck en 1900, qui, pour expliquer certaines particularits du rayonnement thermique, a suppos que lnergie
dun champ lectromagntique de frquence ne pouvait prendre que des valeurs
discrtes de la forme
En = nh
(1.1)
o n est un entier et h une constante appele constante de Planck (h = 6.6261
1034 [Js]). 1
En 1905, Einstein a suggr que cette ide, considre par Planck comme une
astuce pour corriger la formule du rayonnement du corps noir, avait une certaine
ralit. En effet, il avait t remarqu quil tait possible dextraire des lectrons dun
solide en envoyant des ondes lectromagntiques (effet photolectrique), mais que
cela ntait pas toujours possible. Pour que leffet se produise, il faut que la frquence
du rayonnement soit suprieure une frquence 0 , et ce indpendamment de
lintensit du rayonnement. Einstein a suggr linterprtation suivante : pour jecter
un lectron dun solide, il faut lui fournir une nergie E0 (appele travail de sortie).
Supposons quune onde lectromagntique de frquence se comporte comme une
collection de particules dnergie h appeles photons. Lors de linteraction avec une
telle onde lectromagntique 2 , un lectron ne peut alors acqurir quune nergie
gale h. Il ne pourra donc tre ject que si la frquence est suprieure 0
donne par
h0 = E0
(1.2)
1. Voir cours de physique statistique pour la description de ce phnomne.
2. Si lon fait lapproximation trs raisonnable pour une source standard quun lectron ne peut
interagir quavec un seul photon la fois.
n
p 0
0
(1.4)
1.2
1 1
n2 0
(1.5)
mk 2
2 (Ir + I + I )2
(1.6)
e2
,
40
(1.7)
on trouve finalement :
K=
me4 1
32 2 20 I32
(1.8)
Bohr remarqua que cette expression permet dtablir un lien avec les termes spectraux introduits par Ritz. En effet, si on fait lhypothse que I3 peut prendre les
valeurs
h
2
4
1
me
K (I3 = n~) =
2 2 2
2
32 0 ~ n
I3 = n~ ,
En =
~=
1
Ry ,
n2
(1.9)
1Ry = 13.6 eV
1.3
La "thorie des quanta" (ou "vieille mcanique quantique") est donc base sur les
rgles de Bohr-Sommerfeld qui stipulent que le mouvement nest possible que sur
des orbites priodiques pour lesquels les variables actions de frquence non nulles
(comme I3 dans lexemple prcdent) sont des multiples entiers de ~.
Cette thorie a eu un succs considrable. Bohr la considrait comme "la voie
royale vers la quantification", et partir de 1915, on a essay de lappliquer diffrents problmes. Elle souffre nanmoins de srieux dsavantages :
1. Dun point de vue pratique, elle se base sur les variables action-angle. Elle suppose donc quon peut rsoudre lquation de Hamilton-Jacobi. Mais cest en
gnral impossible. Du coup, il a fallu dvelopper des stratgies dapproximation pour les problmes non-sparables, qui sont en gnral plus compliques
que le formalisme moderne.
2. Cette thorie est limite aux orbites priodiques et ne fait aucune prdiction
sur la diffusion des lectrons, qui pourtant, comme nous le verrons, rvle des
effets quantiques tout aussi importants.
3. Mais le problme le plus fondamental est que cette thorie ne donne quune
recette sans remettre en cause la formulation de la mcanique ou de llectro-
(1.10)
(1.11)
on a :
K = I
En = ~n
(1.12)
(1.13)
Chapitre 2
La Quantification Canonique
2.1
Introduction
Pour aller au-del de lhypothse ad-hoc de la thorie des quanta, il faut que la
quantification des nergies possibles soit une consquence logique de la thorie. Il
faut donc modifier les hypothses de dpart.
Une possibilit qui pourrait sembler naturelle serait de modifier lhamiltonien dun
systme comme latome dhydrogne pour que seules certaines trajectoires soient
possibles, mais une telle approche reviendrait remettre en cause la forme des lois
de la physique des phnomnes lchelle macroscopique, ce qui nest pas du tout
satisfaisant.
En 1925, un jeune physicien, Werner Heisenberg (alors g de 24 ans), propose
que ce nest pas la forme de lhamiltonien quil faut modifier, mais que cest plutt
la notion mme de trajectoire quil faut abandonner. Aprs tout, personne
na pu observer le mouvement dun lectron autour dun noyau. Tout ce quon a pu
observer, ce sont les niveaux dnergie possibles de llectron autour du noyau.
Mais si lhamiltonien sexprime sous la forme classique, cest--dire par exemple
comme
1
p2
+ m 2 x2
(2.1)
H=
2m 2
pour un oscillateur harmonique, quelles hypothses faut-il faire sur q, p et H pour
que les valeurs observables de H soient discrtes ? La rponse de Heisenberg est que
sont des oprateurs linaires, et que les valeurs observables
cest possible si q, p et H
sont les valeurs propres de ces oprateurs 1 . Plus prcisment, Heisenberg a dmontr
que si q et p sont des oprateurs qui satisfont
[
q , p] = i~1l = i~
(2.2)
1. Il est conseill de lire le dbut de lannexe A avant daller plus loin. Il contient toutes les
notions mathmatiques ncessaires.
La Quantification Canonique
sont de la forme
(o 1l est loprateur identit 2 ), les valeurs propres de H
1
, n N.
~ n +
2
(2.3)
(2.4)
de valeurs propres
Ces tats seraient donc galement vecteurs propres de H,
2
p
1
2 2
H|q,pi =
(2.5)
+ m q |q,pi.
2m 2
serait lensemble des nerAutrement dit, si q et p commutaient, le spectre de H
gies possibles classiquement.
On est donc conduit naturellement supposer que q et p ne commutent pas.
Lhypothse "minimale" est de supposer que le commutateur est proportionnel
lidentit (on na introduit aucun autre oprateur ce stade).
[
q, p] = a1l
(2.6)
[
q, p] = (
q p) (
pq) = p q q p = pq qp = [
q, p]
a = a a = i , R
(2.7)
Mais
2.2
LOscillateur Harmonique
(2.9)
a
p = conjugu hermitique de a
x i
2~
2m~
Ces relations sinversent en :
~
a + a
r2m
m~
p = i
a a
2
Calculons le commutateur de a, a . Daprs leurs expressions, il vient :
x =
1
1
a, a = i [
x, p] + i [
p, x]
2~
2~
(2.11)
(2.12)
a, a = 1
a + a a a aa + a + a + a a + aa
=
4
~
=
a a + aa
2
~
a a + a a + 1
=
2
1
H = ~ a a +
2
(2.13)
La Quantification Canonique
(2.14)
(2.15)
Mais h|N|i = 0
an+1 |n i = 0
ka|ik2 = 0
(2.16)
ap |n i = 0 si p n + 1
a a|n+1 i = a a|n+1 i
(n + 1) |n+1i = (n + 1) |n+1 i
|n+1i = |n+1 i
(2.17)
Dernire tape : Comment construire les vecteurs propres de valeur propre n quelconque ?
Proposition : si |i est vecteur propre de N de valeur propre n, a |i est vecteur
propre de N de valeur propre n + 1.
Dmonstration :
N|i = n|i ,
par hypothse
Na |i = a aa |i
= a a a + 1 |i
= a a a |i + a |i
(2.18)
= a n|i + a |i
Consquence : a
n
= (n + 1) a |i
2
a n
= hn |aa |n i = hn |a a + 1|n i = (n + 1) hn |n i
a
|n i est normalis
n+1
a
|n+1i =
|n i
n+1
(2.19)
10
La Quantification Canonique
Ainsi,
n
a
|n i = |0 i
n!
a |n i = n + 1|n+1i
(2.20)
(2.21)
a|n i =
(2.22)
n|n1i
|3 i
|2 i
|J 1 i
|0 i
Rcapitulation
Les valeurs propres de loscillateur harmonique sont donnes par
1
, nN
En = ~ n +
2
(2.23)
(2.24)
(2.25)
11
n + 1|n+1 i
et
a|n i =
n|n1i
(2.26)
Remarque : Cest la solution complte du problme 4 . La valeur moyenne de nimporte quelle observable dans nimporte quel tat sobtienten exprimant
lobservable
a + a = a + a2 + a a + aa = a + a2 + 2a a + 1
2
h0 | a |0 i = h0 |a |1 i = 2h0 |2 i = 0
x2 =
h0 |a2 |0 i = h0 |a a|0 i = 0
2
h0 | a + a |0 i = h0 |0 i = 1
< x2 >=
(2.27)
~
2m
2.3
(2.28)
(2.29)
12
La Quantification Canonique
Du coup, pour des matrices de dimension finie N, Tr ([A, B]) = 0, alors que Tr ([
x, p]) =
Tr (i~1l) = i~N.
Il faut donc considrer des oprateurs agissant dans un espace de dimension infinie.
Le choix fait par Bohr, Heisenberg et Jordan consiste reprsenter x et p par des
matrices de dimension infinie dans la base des tats propres de a a. Dans cette base,
les oprateurs a et a sont reprsents par :
0
0
0
0
1 0
0
0
0
2 0
0
a =
3 0 (2.30)
0
0
.
..
..
..
.
4
.
0
..
..
..
.. . .
.
.
.
.
.
1 0
0
0
0
0 0
2 0
0
0
0
0
3
0
a=
.
.
.
.
.. ..
..
. .
0
4
.. ..
..
..
.. ..
.
.
. .
.
.
avec
1
0
|0 i = 0
..
.
0
1
|1 i = 0
..
.
(2.31)
1
0
0
1 0
2 0
r
..
~
.
2 0
3
0
x =
2m
..
.
3 0
0
0
..
..
..
.. ..
.
.
.
.
.
1
0
0
0
2
0
r
1 0
m~
0
2
0
3
p = i
3
0
0
0
..
..
..
..
.
.
.
.
..
.
..
.
..
.
(2.32)
13
ainsi que
1
0
0
1
i~
12
0
xp =
2
0
23
..
..
.
.
et
12
0
0
23
1
0
..
1
..
..
.
34
..
.
0
..
..
.
.
0
0
1
0
12
0
0
0
2
3
0
1
0
i~
12
0
1
0
34
px =
2
0
23
0
1
0
..
..
..
..
..
.
.
.
.
.
..
.
..
.
..
.
(2.33)
1 0
..
.
xp px = i~ 0 1
.. . . . .
.
.
.
Cette thorie, qui est la premire thorie "exacte", cest--dire la premire forme
de la thorie moderne de la mcanique quantique (par opposition la thorie des
quanta) est appele thorie des matrices. Nous verrons dans le chapitre suivant quil
y a une autre faon physiquement quivalente mais beaucoup plus intuitive de les
reprsenter.
2.4
La Quantification Canonique
Cette approche a donn naissance une formulation trs gnrale de la quantification des systmes classiques. Lide consiste tendre la relation
[
q , p] = i~1l
(2.34)
14
La Quantification Canonique
La relation [
q , p] = i~ est formellement identique la relation des crochets de
Poisson en mcanique classique au facteur i~ prs :
(2.35)
{q, p} = 1
Or, lvolution temporelle dune fonction des variables q et p est rgie en mcanique
hamiltonienne par :
f
df
= {f, H} +
(2.36)
dt
t
Le principe de correspondance stipule quon obtient lquivalent quantique de f
en remplaant q et p par des oprateurs. On obtient alors un oprateur hermitique
f. En tant que tel, il peut correspondre une quantit observable. Par analogie avec
lquation classique pour f , son volution temporelle est rgie par lquation :
df
1 h i f
f, H +
=
dt
i~
t
o on a remplac {f, H} par
2.5
1
i~
h
i
par analogie avec {q, p} = 1
f, H
(2.37)
1
i~
[
q , p] = 1l.
Les consquences physiques de ce changement radical de point de vue sont considrables. En particulier, il va falloir prciser ce quon entend par "valeur observable".
Ce problme, auquel on se rfre en gnral en parlant de linterprtation de la
mcanique quantique, a une solution communment (mais pas universellement !) accepte, base sur un autre point de vue, celui de la mcanique ondulatoire, qui sera
dvelopp dans le chapitre suivant.
Le point de vue de Heisenberg a nanmoins une consquence directe trs surprenante. En effet, comme x et p ne commutent pas, il est impossible de les diagonaliser
dans une base commune. Autrement dit, si |i est un tat propre de p,
il ne
peut pas tre simultanment tat propre de x
.
Pour "mesurer" quel point un tat est diffrent dun tat propre dun oprateur,
il est commode de faire la remarque suivante. Supposons que |i soit un tat propre
normalis de x de valeur propre x R :
x|i = x|i et x2 |i = x2 |i
h|
x2 |i = h|
x|i2
(2.38)
h|
x2 |i h|
x|i2
(2.39)
15
est nulle. Par contre, elle ne lest pas si |i nest pas tat propre de x. Considrons
par exemple un tat
2
2
|| + || = 1 (Normalisation)
|i = |1 i + |2i tel que x|1 i = x1 |1 i
x|2 i = x2 |2 i et x1 6= x2 (
h1 |2 i = 0)
h|
x|i = h1 + 2 |x1 1 + x2 2 i = ||2 x1 + ||2 x2
h|
x2 |i = h1 + 2 |x21 1 + x22 2 i = ||2 x21 + ||2 x22
h|
x2 |i h|
x|i2 = ||2 x21 + ||2 x22 ||4 x21 ||4 x22 2 ||2 ||2 x1 x2
(2.40)
En multipliant ||2 x21 + ||2 x22 par |2 | + | 2 | (= 1), il vient
x = || || |x1 x2 |
(2.41)
x
p
~
2
(2.42)
(2.43)
On a bien sr [
x0 , p0 ] = i~1l. De plus, comme x est hermitique, h|
x|i h|
xi =
h
x|i = h|
xi h
x||
xi est rel. x0 est donc aussi hermitique. Considrons
dsormais ltat :
(
x0 + i
p0 ) |i
R
(2.44)
Sa norme au carr doit tre positive (par dfinition de la norme) :
k(
x0 + i
p0 ) |ik2 0
h| (
x0 i
p0 ) (
x0 + i
p0 ) |i 0
2
2
2
h|
x0 |i + h|
p0 |i ih|
p0 x0 |i + ih|
x0 p0 |i 0
2
2
2
h|
x0 |i + h|
p0 |i + ih| [
x0 , p0 ] |i 0
2
2
2
h|
p0 |i ~ + h|
x0 |i 0
(2.45)
16
La Quantification Canonique
Pour que ce polynme de degr 2 soit toujours positif, son discriminant doit tre
ngatif
~2
~2 4h|
p20 |ih|
x20|i 0 h|
p20 |ih|
x20|i
4
2
2
2
Mais h|
x0 |i = h| x 2h|
x|i
x + h|
x|i |i
2
2
= h|
x |i 2h|
x|i + h|
x|i2
= h|
x2 |i h|
x|i2
De mme, h|
p20|i = h|
p2 |i h|
p|i2
x
p
(2.46)
(2.47)
~
2
Chapitre 3
La Mcanique Ondulatoire
3.1
Introduction
Lun des aspects remarquables de la mcanique quantique rside dans le fait que
des thories apparemment sans rapport les unes avec les autres, mais en ralit
rigoureusement quivalentes, ont t dveloppes compltement indpendamment.
Ainsi, alors que Bohr, Heisenberg, et dautres ont construit une thorie base sur
la quantification des niveaux dnergie, De Broglie, puis surtout Schrdinger ont
construit une thorie base sur la dualit onde-particule.
Le point de dpart de Louis De Broglie est lhypothse que tous les phnomnes
microscopiques sont dcrits par des concepts identiques. Or, lhypothse de Planck
et lexplication par Einstein de leffet photolectrique suggrent que le champ lectromagntique, qui est une onde, a aussi un aspect corpusculaire, et quune onde de
frquence se compose de particules dnergie E = h = ~ et dimpulsion p~ = ~~k,
avec E = c |~p|. Lexistence dune impulsion ~p = ~~k est rvle par leffet Compton
lors de la diffusion de la lumire par les lectrons.
De Broglie met donc lhypothse en 1924 que les particules comme llectron se
comportent aussi comme des ondes. Ainsi, une particule dans lespace doit pouvoir,
lchelle microscopique, se dcrire par une fonction donde. Par analogie, en labsence
de toute interaction avec dautres particules, cette fonction doit avoir, comme le
champ lectromagntique, la forme dune onde plane :
~
(~r, t) ei(k~rt)
(3.1)
18
La Mcanique Ondulatoire
doivent tre diffracts par des objets de petite taille, et quon doit observer des interfrences. Cette prdiction na t vrifie quen 1927 dans lexprience de diffraction
par un cristal de Davisson et Germer, aprs la formalisation des ides de De Broglie
par Schrdinger.
3.2
LEquation de Schrdinger
2
p
Lanalogie E = ~, p~ = ~~k et la relation classique pour une particule libre E = 2m
~
suggre que la drive par rapport au temps de la fonction (~r, t) ei(k~rt) doit
tre relie la drive seconde de cette onde par rapport la variable despace. Ces
remarques ont amen Schrdinger postuler que la fonction donde dune particule
dans le vide doit satisfaire lquation
i~
~2
(~r, t) =
(~r, t)
t
2m
(3.2)
En effet,
= i~ (i) = ~
t
~2 k 2
~2 ~ ~
~2
ik =
=
2m
2m
2m
i~
et
(3.3)
En remplaant ~ par E et ~~k par p~, cette quation est bien compatible avec la
p2
.
relation classique E = 2m
Cette quation diffrentielle nest pas la seule qui conduise cette relation, mais
cest la plus simple pour plusieurs raisons :
Elle est linaire en fonction du temps, et la donne de la fonction donde un
instant donn suffit pour la connatre tout instant ultrieur.
Elle est globalement linaire, ce qui permet de discuter la diffraction en termes
de superposition dondes.
Le vritable tour de force de Schrdinger a t de gnraliser cette quation au cas
dune particule se dplaant dans un potentiel V (~r). Par des raisonnements que nous
reproduirons plus tard lors de ltude des liens entre la mcanique quantique et la
mcanique classique, il a dmontr que la mcanique classique tait la mcanique
quantique ce que loptique gomtrique est loptique ondulatoire si la fonction
donde satisfaisait lquation :
i~
~2
(~r, t) =
(~r, t) + V (~r) (~r, t)
t
2m
(3.4)
19
En gnral, les solutions ne sont pas des ondes planes. Ce nest le cas que localement dans des portions de lespace o le potentiel est constant. Par contre, si le
potentiel est indpendant du temps, on peut chercher des solutions de la forme
E
(3.5)
(~r, t) = (~r) ei ~ t
~2
+ V = E
2m
(3.6)
3.3
LOscillateur Harmonique :
Equation de Schrdinger
Dans ce paragraphe, nous nous proposons donc de dterminer les solutions stationnaires de loscillateur harmonique. Daprs ce qui prcde, elles sont solutions
de lquation :
~2 d 2 1
+ m 2 x2 = E
2m dx2
2
(3.7)
1
~
1. En utilisant lAnsatz (~r, t) = (~r) (t), lquation 3.5 se rcrit i~
t = 2m +V = E
o la dernire galit vient du fait que les deux membres de lquation dpendent de variables
distinctes.
20
La Mcanique Ondulatoire
Solution
Pour simplifier, on introduit la notation q =
(q) = (x)
d dq
d
=
=
dx
dq dx
m d2
d2
=
dx2
~ dq 2
p m
x, et on pose
m d
~ dq
(3.8)
+ ~q 2 (q) = E (q)
2 dq 2
2
2
2E
d
(q)
2 + q 2 (q) =
dq
~
soit
o on a pos =
donne par
2E
.
~
(3.9)
d2
2
+
q
(q) = 0
dq 2
(3.10)
21 q 2
(q) e
A ce stade, Schrdinger met lhypothse que la solution doit tre borne et que
1 2
seul le comportement asymptotique e 2 q est acceptable. Cherchons donc la solution
sous la forme
1 2
(q) = H (q) e 2 q
1 2
d
dH 1 q2
=
e 2 + H (q) (q) e 2 q
dq
dq
2
1 2
1 2
1 2
d
d2 H 1 q 2
dH
=
e 2 +2
(q) e 2 q H (q) e 2 q + q 2 H (q) e 2 q
2
2
dq
dq
dq
(3.11)
2q
+ ( 1) H = 0
dq 2
dq
(3.12)
21
H (q) =
+
X
(3.13)
aj q j
j=0
Il vient :
+
X
dH X
=
aj jq j1 =
aj+1 (j + 1) q j
dq
j=1
j=0
+
X
d2 H X
j1
=
a
(j
+
1)
jq
=
aj+2 (j + 2) (j + 1) q j
j+1
dq 2
j=1
j=0
+
X
dH X
q
=
aj jq j =
aj jq j
dq
j=1
j=0
+
X
aj+2 = aj
j=0
(3.14)
[aj+2 (j + 2) (j + 1) 2aj j + ( 1) aj ] q j = 0
2j + (1 )
(j + 2) (j + 1)
Supposons 2j + 1 6= 0 j, et tudions le comportement asymptotique des solutions. Comme V (q) q 2 est pair, on peut chercher des solutions paires ou impaires.
Solutions paires :
H (q) =
a2j q 2j
a2j
4j 3
2j (2j 1)
j
1
a2j
j!
X
2
a2j q 2j eq
pour j grand
(3.15)
1 2
(q) e 2 q
Daprs lhypothse selon laquelle les solutions doivent tre bornes, cette solution
doit tre rejete.
22
La Mcanique Ondulatoire
Solutions impaires :
H (q) =
a2j+1 q 2j+1
a2j+1 = a2(j1)+1
4j 2 + 1
a2j1
(2j + 1) (2j)
j
pour j impair
1
a2j+1
j!
X
2
(3.16)
1 2
(q) qe 2 q
= 2n + 1
Dans ce cas, la relation de rcurrence sur les coefficients scrit :
aj+2 = aj
2 (j n)
(j + 1) (j + 2)
(3.18)
E=
1
n+
2
(3.19)
1 2
Les fonctions propres associes sont des fonctions du type H (q) e 2 q avec
(
a0 + a2 q 2 + + an q n si n pair
Hn (q) =
a1 q + a3 q 3 + + an q n si n impair
avec aj+2
2 (j n)
= aj
(j + 1) (j + 2)
(3.20)
23
0 (x) e 2~ x
(3.21)
Cette fonction est non dgnre, de mme que les tats excits : pour n donn, on
peut construire un et un seul polynme de Hermite.
3.4
p : (x, t) 7 i~
(x, t)
x
(3.22)
(i~)
(x)
= x (i~)
x
x
= i~x
+ i~ x
+
x
x
= i~
(3.23)
h|
x |i = (h|
x|i)
Z +
=
(x) x (x) dx
Z +
=
(x) x (x) dx
(3.24)
2. x est hermitique.
Dmonstration :
= h|
x|i
24
La Mcanique Ondulatoire
3. p est hermitique.
Dmonstration :
dx
h|
p |i = i~
(x)
x
Z +
dx
= i~
(x)
x
Z +
+
dx + i~ (x) (x)
= i~
{z
}
|
x
(3.25)
H = E
p2
avec H =
+ V (
x)
2m
(3.26)
1
d2
~2 d 2
p2
=
(i~)2 2 =
2m
2m
dx
2m dx2
V (
x) = V (x)
(3.27)
=0
= h|
p|i
en intgrant par parties et en tenant compte du fait que des fonctions de carr
sommable sannulent linfini.
4. Lquation de Schrdinger indpendante du temps scrit :
Dmonstration :
Conclusion : on trouve la mme solution parce que lon rsout le mme problme
dans un autre langage.
La gnralisation trois dimensions se fait en dfinissant les oprateurs
xi : (~r, t) 7 xi (~r, t)
(~r, t)
pi : (~r, t) 7 i~
xi
avec ~r = (x1 , x2 , x3 )
(3.28)
(3.29)
25
Evolution temporelle :
Dans le cadre de la quantification canonique, ce sont les oprateurs qui voluent. Pour un oprateur ne dpendant pas explicitement du temps, lvolution est
rgie par
1
dA
(3.31)
=
[A, H]
dt
i~
Cest le point de vue de Heisenberg.
Dans le cadre de la mcanique ondulatoire, ce sont les vecteurs qui voluent :
i~
(~r, t) = H (~r, t)
t
(3.32)
dA
dhAi
= h| |i
dt
dt
1
= h| [A, H] |i
i~
1
1
= h| AH|i h| HA|i
i~
i~
H
H
= h|A| i + h |A|i
i~
i~
(3.34)
Daprs Schrdinger, on a :
H
H
dhAi
= h |A|i + h|A| i = h |A|i + h|A| i
dt
t
t
i~
i~
(3.35)
Les deux points de vue sont donc quivalents si lon se contente de considrer les
valeurs moyennes doprateurs. Comme nous le verrons par la suite, ce sont bien
les valeurs moyennes dobservables qui contiennent linformation physique.
Remarque : lexistence de deux formalismes peut sembler superflue dans la mesure
o ils sont quivalents. En ralit, les deux approches sont souvent complmentaires.
Reprenons lexemple de loscillateur harmonique. Dans le cadre du formalisme de
la quantification canonique, lexistence dun fondamental unique est une hypothse,
26
La Mcanique Ondulatoire
alors que dans le cadre de lquation de Schrdinger, cest un rsultat. Mais lapproche de Schrdinger est complte de faon trs utile par le formalisme algbrique.
Essayons en effet de construire des tats propres de norme 1. Pour le fondamental,
cest assez simple. Nous savons en effet quil est de la forme
m
0 (x) e 2~ x
(3.36)
Mais 2 ,
Z
21 Ax2
dx =
2
A
(3.37)
Ainsi,
Z
r
m 2 2 r 2~
~
=
e 2~ x
=
2m
m
0 (x) =
m 14
~
e 2~ x
(3.38)
Pour les tats excits, cest a priori assez compliqu. Il faut construire le polynme
de Hermite correspondant, puis calculer le produit scalaire pour dterminer la norme,
ce qui implique plusieurs intgrales. Le formalisme canonique offre une approche
beaucoup plus simple. A partir de |0 i, on obtient un tat normalis en appliquant
n
a )
(
simplement n! |0 i. Or,
a =
m
1
x i
p =
2~
2m~
m
x+
2~
~
2m x
(3.39)
3.5
Cest lanalyse minutieuse des expriences de diffraction qui a conduit la formulation couramment accepte de linterprtation de la fonction donde et au-del, de
la mcanique quantique.
La prdiction de De Broglie a donc t vrifie : les lectrons sont diffracts par
un cristal, exactement comme des ondes lectromagntiques (rayons X). Sans rentrer dans les dtails, si on envoie un faisceau dlectrons sur un cristal, on observe
2. Voir annexe B sur les intgrales gaussiennes.
27
Figure 3.1 Exemple de formation dune figure dinterfrences par des lectrons.
que cela reste vrai mme si lon sefforce au maximum de prparer les lectrons
exactement de la mme faon. En mcanique classique, si lon connat exactement
la position et la vitesse dune particule, on peut prdire avec certitude o elle va
aller. En mcanique quantique, ce nest pas le cas. Si on connat la fonction donde
avec prcision, on peut prvoir avec certitude son volution, mais cette connaissance
parfaite de la fonction donde ne permet pas de prvoir o se trouve la particule :
lorsquon la dtecte, on peut la trouver plusieurs endroits.
La seule interprtation "simple" de ce phnomne consiste adopter un point
de vue probabiliste : si une particule est dcrite par une fonction donde (~r),
3. La premire exprience vrifiant la diffraction des lectrons est due Davisson et Germer
(1927). Un faisceau dlectrons est envoy sur un monocristal de Nickel. On observe que les directions privilgies dans lesquelles on reoit des lectrons sont celles qui satisfont la condition de
Bragg : n = 2d sin o est la longueur donde du rayonnement incident, d la distance sparant
deux plans datomes de Nickel et langle dincidence du rayonnement par rapport ces plans.
28
La Mcanique Ondulatoire
Elle doit tre conserve au cours du temps, ce qui suppose que lon puisse crire
lquation de continuit
| (~r)|2
+ div~j = 0
(3.41)
t
pour un champ vectoriel ~j dterminer.
La premire proprit est une hypothse quil faut rajouter lquation de Schrdinger. Cest pour la satisfaire quon travaille avec des fonctions donde de carr
sommable lorsquon veut dcrire une particule. On peut remarquer que cest cette
condition qui a conduit au spectre de loscillateur harmonique. En effet, les fonctions
2
qui se comporte comme ex ( > 0) pour x grand ne sont pas de carr sommable.
La deuxime proprit est une consquence de lquation de Schrdinger. En effet,
~2
=
+ V
t
2m
(3.42)
~2
=
+ V
i~
t
2m
Multiplions la premire quation par , la deuxime par , et faisons la diffrence.
Il vient
~2
~2
i~
=
+
+ V ||2 +
V ||2
t
t
2m
2m
i~
avec
||2
~2
i~
=
( )
t
2m
||2
~2 ~ ~
~
= 0
i~
+
t
2m
||2 ~ ~
+j =0
t
~
~
~j = ~
2mi
(3.43)
~ ~
im
p
~
m,
~j cor-
3.6
29
(3.45)
Mais une fonction qui est nulle partout sauf en un point nest pas satisfaisante :
son intgrale avec nimporte quelle fonction est nulle.
(a)
Pour remdier ce problme, on peut introduire x0 (x) = lima0 x0 (x) avec
(
0 si x
/ x0 a2 , x0 + a2
(a)
x 0 = 1
a
a
si
x
,
x
+
0
0
a
2
2
(3.46)
Z +
x(a)
dx = 1 (a) , et lim x(a)
(x) = 0 si x 6= x0 .
0
0
a0
En effet,
x(a)
f
0
1
(x) dx =
a
x0 + a2
f (x) dx
(3.48)
x0 a2
respond bien au produit de la vitesse par la densit (de probabilit), comme par exemple en
lectromagntisme o la densit de courant lectrique scrit ~j = ~v avec la densit de charges
et ~v la vitesse de ces charges.
30
La Mcanique Ondulatoire
(3.49)
Chapitre 4
Formulation Gnrale de la
Mcanique Quantique
4.1
Introduction
Lquivalence entre la thorie des matrices de Heisenberg et la mcanique ondulatoire de Schrdinger a conduit Dirac proposer une formulation gnrale de la
mcanique quantique qui ne repose pas explicitement sur telle ou telle reprsentation
de lespace de Hilbert et des observables. Cette formulation repose sur un certain
nombre de postulats. Alors que le contenu des postulats est essentiellement le mme
pour tous les auteurs, le dcoupage varie dun auteur lautre. Dans ce qui suit,
nous adoptons une formulation base sur quatre postulats. Ils sont la gnralisation
naturelle des notions rencontres prcdemment pour le mouvement dune particule,
mais ils sappliquent tous les autres degrs de libert, comme le spin. Bien que ces
postulats soient peu prs universellement accepts comme point de dpart, il faut
nanmoins noter quil existe dautres hypothses conduisant la mme thorie. En
particulier, il existe une autre formulation en termes dintgrales de chemin due
Feynman (1948) qui est au dpart compltement diffrente. Elle permet nanmoins
de retrouver lquation de Schrdinger, et si elle est manifestement peu adapte aux
problmes dtats lis, elle donne un clairage trs intressant sur les interfrences et
sur la limite classique de la mcanique quantique. Elle constitue par ailleurs loutil
le plus adapt pour la quantification des champs relativistes.
4.2
Les Postulats
Postulat 1
Ltat dun systme est dfini par un vecteur dans un espace de Hilbert appel
vecteur dtat.
32
(4.1)
(r)
(4.2)
i=1
P
(i)
(i)
et juste aprs la mesure, le systme est dans ltat N1 ri=1 hm |i|m i avec
1
Pr (i) 2 2
pour que ltat soit normalis.
N=
i=1 hm |i
2. Ce postulat est de loin le plus problmatique. En particulier, la notion de mesure suppose implicitement quon fait rfrence un objet classique. Mais
la mcanique quantique contient en principe la mcanique classique comme
cas limite quand ~ 0, et tous les objets sont essentiellement quantiques.
Limpossibilit de poser les postulats de la mcanique quantique sans faire rfrence des objets (appels appareils de mesure) qui ne le sont pas nest pas
tout fait satisfaisante, et de nombreuses tentatives ont t faites pour remdier ce problme. La difficult essentielle est de rendre compte de lvolution
33
|(t)i = H(t)|(t)i
dt
(4.3)
p : (x) 7 i~
x
H = HClassique (x = x, p = p)
(4.4)
Enfin, pour bien comprendre les diffrences entre mcanique classique et mcanique
quantique, il est instructif de comparer leurs postulats (voir le tableau 4.1).
34
Mcanique Classique
Ltat dun systme est dfini par deux
fonctions x(t) et p(t).
Les variables dynamiques sont des fonctions de x(t) et p(t) : A (x(t), p(t)).
x =
H
x
Mcanique Quantique
Ltat dun systme est dfini par un
vecteur |(t)i dun espace de Hilbert.
Les quantits physiques sont des oprateurs hermitiques A qui ont la mme
expression en x et p que dans le cas
classique, mais x et p sont eux-mmes
des oprateurs qui vrifient [
x, p] = i~
On ne peut mesurer que les valeurs
La probabilit de troupropres de A.
a i = a|a i.
ver a est |ha |i|2 si A|
Le systme est dans ltat |a i aprs la
mesure.
Lvolution est dcrite par lquation de
Schrdinger
i~
|(t)i = H|(t)i
dt
est loprateur
o H
H (x(t), p(t)).
associ
Table 4.1 Comparaison des postulats de la mcanique quantique avec leurs quivalents classiques.
4.3
35
3. cart type : = 2 =
)2
i pi (ai a
pm am =
Mais A =
X
m
X
m
am |hm |i|2 =
am |m ihm |
X
m
am hm |ih|m i
(4.5)
a
= h|A|i
h|A|i
est donc la valeur moyenne que lon trouve lors de la mesure rpte
de lobservable A dans ltat |i.
X
i
X
i
X
i
Or,
pi a2i 2
a
pi ai + a
2
pi a2i
X
m
pm a2m =
pi ai
X
m
pi
pi a2i 2
a2 + a
2
X
(4.6)
!2
a2m hm |ih|m i
m i = am |m i
Mais A|
m i = a2 |m i
A2 |m i = am A|
m
(4.7)
36
et = h|A |i h|A|i
3. On en dduit que lcart type est donn par : =
En mcanique quantique, cet cart type est not
A|i =
2
h|A2 |i h|A|i
2
h|A2 |i h|A|i
(4.9)
(4.10)
m i2
hm |A2 |m i = a2m hm |m i = a2m = hm |A|
(4.11)
h
i
1
B
|i
h| A,
2
(4.12)
h
i
B
hermitiques h| A,
B
|i est
Dmonstration : On remarque dabord que A,
imaginaire pur. En effet,
h
i
h
i
B
= AB
B
A = B
A A B
= B
A AB
= A,
B
A,
(4.13)
h
i
h
i
h
i
h| A, B |i = h| A, B |i = h| A, B |i
37
A0 = A h|A|i1
l
0 = B
h|B|i1
B
l
(4.14)
qui satisfont
2 = A2
h|A20 |i = h|A2 |i 2h|A|ih|
A|i
+ h|A|i
|i
h
i h
i
0 = A,
B
A0 , B
(4.15)
A0 = A0
et on considre
2
0 |i
f () =
A0 iB
0 ()
0 A0 iB
0 |i
Mais f () = h| A0 + iB
2 |i ih|A0 B
0 |i + ih|B
0 A0 |i
soit f () = h|A20|i + 2 h|B
0
h
i
2 |i + ih| A0 , B
0 |i
= h|A20 |i + 2 h|B
0
{z
}
|
(4.16)
Pour que ce polynme du second degr soit positif , il faut quil nait pas de racine
relle (parabole au-dessus de laxe ), donc que son discriminant soit ngatif :
h
i
2
0 |i 4h|A2 |ih|B
2|i 0
= ih| A0 , B
0
0
2
h
i
2 |i h|B|i
2 1 h| A,
2 h|B
B
|i (4.17)
h|A2 |i h|A|i
4
h
i
1
B
|i
|i h| A,
A|i B
2
Il est donc impossible de mesurer simultanment est avec une prcision arbitraire
deux observables qui ne commutent pas.
4.4
d
|(t)i = H(t)|(t)i
dt
(4.18)
38
o par une quation dvolution pour les oprateurs analogue lvolution temporelle
des variables dynamiques en mcanique classique :
!
1 h i
dAH
A
AH , HH +
=
(4.19)
dt
i~
t
H
Cette quivalence stend au processus de mesure lui-mme tel quil est dcrit par le
postulat 3. Pour le voir, commenons par introduire un concept trs utile, loprateur
dvolution.
LOprateur dEvolution
Lquation de Schrdinger est une quation diffrentielle du premier ordre par
rapport au temps. Du coup, si on connat ltat du systme un instant donn, par
exemple t = t0 , on le connat tout instant. Ceci permet dintroduire un oprateur
dcrivant lvolution du systme au cours du temps.
Dfinition : Loprateur dvolution est dfini par
t )|(t )i
|(t)i = U(t,
(4.20)
Proprits :
1. Il satisfait lquation diffrentielle
U (t, t )
U(t, t ) = H(t)
t
Dmonstration : Daprs lquation de Schrdinger, on a :
i~
(4.21)
d
|(t)i = H(t)|(t)i
dt
U(t,
t )|(t )i
(4.22)
U(t, t )|(t )i = H(t)
i~
t
U (t, t )|(t )i
U(t, t ) |(t )i = H(t)
i~
t
Mais cette quation est vraie quel que soit |(t )i. Les deux oprateurs sont
donc gaux.
2. U (t, t ) est inversible.
i~
Dmonstration : On a en effet
t )|(t )i = |(t)i
U (t, t )U (t , t)|(t)i = U(t,
(4.23)
(4.24)
(t , t) = U (t, t )1
U
(4.25)
De mme, on a :
On en dduit que :
39
t ) = U (t, t ) U(t,
t ) + U
(t, t ) U (t, t )
U (t, t )U(t,
t
t
t
U (t, t )
1
(4.26)
Or,
U (t, t )
= H(t)
t
i~
1
U (t, t )
= U (t, t )H(t)
t
i~
Ainsi, on a :
U (t, t ) + U (t, t )H(t)
U (t, t ) = 0
i~
U (t, t )U (t, t ) = U (t, t )H(t)
t
(4.27)
t) = 1l
U (t, t)U(t,
(t, t )U (t, t ) = 1l t, t
U
(4.28)
U (t, t )U (t, t ) = 0
t
Comme loprateur dvolution est inversible, on en dduit quil est unitaire. Il est
nanmoins instructif de dmontrer directement que lon a galement
U (t, t )U (t, t ) = 1l t, t
(4.29)
Pour cela, revenons la dfinition de loprateur dvolution :
|(t)i = U (t, t )|(t )i
(4.30)
U (t, t )
(t, t ) d|(t )i = 0
|(t
)i
+
U
t
dt
U (t, t )
)|(t )i
|(t )i = U (t, t )H(t
(4.31)
i~
t
(t, t ) sont donnes
On en dduit que les drives par rapport t de U (t, t ) et U
par :
U (t, t )
)
i~
= U (t, t )H(t
t
U (t, t )
)U (t, t )
= H(t
(4.32)
i~
t
Du coup, il vient :
40
A
t
(4.34)
H
est
U (t, t0 ) avec H
H (t) = U (t, t0 )H(t)
U (t, t0 )
AH (t) = U (t, t0 )A(t)
(4.35)
Dmonstration :
A
dAH
U (t, t0 )
(t, t0 )A(t)
U (t, t0 )
A(t)U(t, t0 ) + U (t, t0 ) U (t, t0 ) + U
=
dt
t
t
t
1
1
A(t)
U (t, t0 ) + U (t, t0 )A(t)
U(t,
t0 )
H(t)
= U (t, t0 )H(t)
i~
i~
(t, t0 ) A U (t, t0 )
+U
t
1
U(t,
t0 )U (t, t0 )A(t)
U(t,
t0 )
U (t, t0 )H(t)
=
i~
1
U
(t, t0 )U (t, t0 )H(t)
U (t, t0 ) + U (t, t0 ) A U(t,
t0 )
+
U (t, t0 )A(t)
i~
t
!
i
1 h
A
H (t) +
=
AH (t), H
i~
t
H
(4.36)
(4.37)
|hm |(t)i| = hm |U(t, t0 )|(t0 )i
Daprs Heisenberg, cest lobservable A qui volue. Si on fait une mesure au temps
t, on ne peut trouver quune valeur propre de AH (t). Il y a donc une difficult : les
41
valeurs propres de AH (t) sont-elles les mmes que celles de A ? La rponse est oui,
une proprit qui dcoule de lunitarit de U (t, t0 ).
m i = am |m i. Alors,
En effet, supposons que A|
(t, t0 )|m i = U (t, t0 )A U (t, t0 )U
(t, t0 ) |m i
AH (t) U
{z
}
|
1l
= U (t, t0 )am |m i
= am U (t, t0 )|m i
(4.38)
Ainsi toute valeur propre de A est aussi valeur propre de AH (t), et le vecteur propre
associ est U (t, t0 )|m i.
La probabilit de mesurer
am au temps t est donc donne, du point
de vue de
2
2
Heisenberg par am (t) = hU (t, t0 )m |(t0 )i = hm |U (t, t0 )|(t0 )i
Les points de vue de Heisenberg et de Schrdinger sont donc rigoureusement
quivalents vis--vis des postulats.
Indpendant du Temps
Cas Particulier : H
Si lhamiltonien ne dpend pas explicitement du temps, les choses se simplifient
considrablement.
Tout dabord, il est possible de trouver une expression explicite de U (t, t ). En
est indpendant du
effet, il satisfait lquation diffrentielle 4.21. Mais quand H
temps la solution est donne par :
(4.39)
En effet,
iH
i~ U (t, t ) = i~
t
~
)/~
iH(tt
U(t,
t )
eiH(tt )/~ = He
=H
(4.40)
H (t) = H.
En effet, H
commute avec lui-mme, donc avec son exponenDe plus, H
tielle. Du coup,
H (t) U (t, t )H
U (t, t ) = H
U (t, t ) U (t, t ) = H
H
|
{z
}
(4.41)
1l
42
du temps scrit :
i
1 h
dAH
AH (t), H
=
dt
i~
1
=
U (t, t0 )AU (t, t0 )H H U (t, t0 )AU(t, t0 )
i~
1
= U (t, t0 ) A, H U (t, t0 )
i~
(4.42)
(4.43)
o les {|n i} sont orthonorms et o lon a suppos le spectre discret pour simplifier
les notations, et posons
|(t)i =
X
n
cn (t)|n i
(4.44)
dcm (t)
= cm (t)Em
dt
cm (t) = cm (t0 )eiEm (tt0 )/~
(4.45)
i~
|(t)i =
X
n
43
effet,
H|n i = En |n i
)/~
t )|n i = eiH(tt
U(t,
|n i = eiEn (tt )/~|n i
X
X
t )
eiEn (tt )/~|n ihn |
U(t,
|n ihn | =
|n
U (t, t ) =
{z
1l
X
n
(4.46)
t ) =
NB : Lorsque lhamiltonien dpend explicitement du temps, lexpression U(t,
eiH(tt )/~ nest pas valable. Nous verrons dans le chapitre sur les perturbations dpendantes du temps comment procder dans ce cas.
Thorme dEhrenfest
Si lon prend la valeur moyenne dans un tat |i quelconque de lquation dvolution de Heisenberg dune observable qui ne dpend pas explicitement du temps, il
vient :
h
i
d
1
H (t) |i
h|AH (t)|i = h| AH (t), H
dt
i~
(4.47)
Mais
2
= p + V (
H
x)
2m
h
i
= 1 x, p2
x, H
2m
1
([
x, p] p + p [
x, p])
=
2m
i~
= p
h
i m
= [
p, H
p, V (
x)]
(V (x)(x)) V (x)(i~)
x
x
V
(x)
= i~
x
h
i
= i~V (
p, H
x)
[
p, V (
x)] (x) = i~
(4.48)
44
Ainsi,
1
d
h
x(t)i = h
p(t)i
dt
m
d
h
p(t)i = hF (
x)i
dt
(4.49)
4.5
La Reprsentation {|pi}
(4.50)
dfinie par
(p)
= hp|i
(4.51)
En effet,
(p)
= hp|i =
dxhp|xihx|i =
eipx/~
1 p
dx(x)
=
~
2~
~
(4.52)
Dans cette reprsentation, les oprateurs x et p prennent une forme trs simple,
symtrique de la reprsentation {|xi}. En effet,
hp|
p|i = (h|
p |pi) = (h|
p|pi) = (ph|pi) = php|i
p : (p)
7 p(p)
(4.53)
(4.54)
1. Ce nest rien dautre quun changement de base de lespace de Hilbert : au lieu de travailler
avec les vecteurs propres {|xi} de loprateur x, on travaille avec les vecteurs propres {|pi} de
loprateur p.
45
De mme,
hp|
x|i =
dxxhp|xihx|i
eipx/~
hx|i
= dxx
2~
Z
eipx/~
hx|i
= dxi~
p
2~
Z
= dxi~ hp|xihx|i
p
= i~ hp|i
p
x : (p)
7 i~
(4.55)
(p)
R
o, nouveau, on a utilis dx|xihx| = 1l. Par analogie avec le calcul fait pour le
commutateur de x et p en reprsentation {|xi}, on a :
[
p, x
] = i~
[
x, p] = i~
(4.56)
46
Chapitre 5
Quelques Problmes Simples en
Dimension 1
5.1
Introduction
5.2
Le problme de la particule libre est la fois trivial et subtil. Il est trivial parce
que les fonctions propres de lhamiltonien sont dj connues : ce sont des ondes
planes. En effet,
p2
H
= 2m
p|pi = p|pi
p2
H|pi
|pi
=
2m
(5.1)
48
e
2~
2
ip
~2 1
=
eipx/~
2m 2~ ~
p2
p (x)
=
2m
2
2
p (x) = ~
H
2m x2
(5.2)
Mais il est subtil car les ondes planes ne sont pas de carr sommable. Elles ne peuvent
donc pas dcrire une particule. En dautres termes, il est impossible de trouver des
tats stationnaires physiquement acceptables pour une particule libre !
La solution du problme de la particule libre impose donc de revenir lquation
de Schrdinger dpendante du temps, et de chercher des solutions non sparables.
Cela peut se faire de deux faons quivalentes mais toutes deux instructives.
p (x, t)
p (x, t) = H
t
(5.3)
p (x, t) =
e
2~
(5.4)
i~
donnes par
Comme lquation de Schrdinger dpendante du temps est linaire, toute combinaison linaire des p (x, t) est aussi solution. Pour trouver une solution acceptable,
il suffit donc de construire ce quon appelle un paquet donde, cest--dire une combinaison linaire dondes planes de carr sommable :
(x, t) =
dp f (p)p (x, t)
(5.5)
49
Comme lvolution est rgie par un oprateur unitaire, il suffit de vrifier que cette
fonction est de norme 1 t = 0. Mais
Z
eipx/~
(x, t = 0) = dp f (p)
2~
Z
h|i = dx |(x)|2
Z
Z
Z
ip x/~
eipx/~
e
dp f (p )
= dx dp f (p)
2~
2~
Z
Z
= dp f (p) dp f (p )(p p )
Z
= dp |f (p)|2
(5.6)
dp f (p)|pi
(5.7)
dp |f (p)|2
(5.8)
eipx/~
f (p) = hp|(t = 0)i = dx hp|xihx|(t = 0)i = dx (x, t = 0)
2~
Z
Z
ipx /~ ipx/~
e
e
2
(5.9)
eip t/2m~
(x, t) = dp dx (x , t = 0)
2~ 2~
Z
Z
i(x x)p
itp2
(x , t = 0)
dp e 2m~ ~
= dx
2~
Lintgrale gaussienne sur p correspond la dernire formule de lannexe B avec
50
A=
t
,
m~
B=
x x
~
dx
(5.10)
0) = eiHt/~
U(t,
(5.11)
Du coup,
0)|(t = 0)i =
(x, t) = hx|(t)i = hx|U(t,
Mais hx|U (t, 0)|x i =
0)|x i =
hx|U(t,
ipx /~
ipx/~
ip2 t e
e
dp e 2m~
2~ 2~
m i/4 i(xx )2 m
e
e 2~t
2~t
(5.12)
Et (p,
t) = f (p)e 2m~
(5.13)
51
(5.14)
p0
,
m
et qui est
Dmonstration :
Z +
Z
1
1
2
2
2
dx ex /4 =
dx |(x)| =
2 2 = 1
2
2
(5.15)
2. h
xi = 0 et
x|i =
Dmonstration :
1
h|
x|i =
2
dx xex
2 /4 2
Z +
=0
1
1
2
2
2
h|
x |i =
dx x2 ex /4 =
2
2
p
x2 |i h|
x|i2 =
x|i = h|
2
1
2
3/2
= 2
(5.16)
3. (p)
=
e ~2 (p0 p) f (p)
~
Dmonstration :
1
1
1
(p)
=
1/4
(2)
2~
dx eipx/~eip0 x/~ex
{z
B2 /42
e
=
2 /4 2
(5.17)
52
1
42
et B =
i(p0 p)
~
2
1
1
1
2 (p0 p)2
2e
(p)
=
(2)1/4 2~
(5.18)
4. h
pi = p0
Dmonstration : Le plus simple est de se placer en reprsentation {|pi} :
h
pi =
p(p)
dp (p)
= p0
= p0
Z +
2
2 (p p0 )
dp (p)
dp (p) +
{z
} |
{z
}
=1
(5.19)
=0
o la deuxime intgrale est nulle car lintgrant est une fonction impaire de
p.
Cette fonction donde correspond donc une gaussienne centre en p0 en reprsentation {|pi}, do le nom de paquet donde gaussien. Comme la transforme de
Fourier dune gaussienne est une gaussienne, elle a aussi la forme dune gaussienne
(multiplie par une exponentielle si p0 6= 0) en reprsentation {|xi}.
Evolution au cours du temps : On pourrait utiliser loprateur dvolution, mais il
est lgrement plus simple dvaluer directement
Z
eipx/~ ip2 t
dp (p)
e 2m~
2~
1/4
Z +
p2 t
px
2
2
1 1
2
=
dp e ~2 (p0 p) +i ~ i 2m~
~ 2
1/4
Z
(pp0 )x
p2 t
2
2
1 1 ip0 x/~ +
2
e
=
dp e ~2 (pp0 ) +i ~ i 2m~
~ 2
{z
}
|
(x, t) =
(5.20)
Il faut calculer lintgrale I qui est une gaussienne. On fait le changement de variable
p p + p0 do
I=
(p+p0 )2 t
2 2
+i px
i 2m~
~
dp e ~2 p
(5.21)
it
2m~
+p
ix
~
53
ip0 t
m~
ip20 t
,
2m~
et ainsi
B22
I =e
e 4
(
2
it
2 = ~2 + 2m~
avec
0t
ip
B = ix
~
m~
r
t2
t~
4
2
+
exp i arctan
soit =
~4 4m2 ~2
2m 2
r
4
t2
i
t~
4
=
+
exp
arctan
~4 4m2 ~2
2
2m 2
2
2
x pm0 t
B2
1
p0 t
x
et
= 2 2i~t
=
42
2it
42
~ m~
4 + m
+ m~
~2
ip2 t
0
2m~
(5.22)
(x, t) =
1/4
2i arctan(
q
4
4
~4
t~
2m 2
ip2 t
0
) 2m~
t2
4m2 ~2
eip0 x/~ e
p0
m
(x pm0 t )
4 2 + 2i~t
m
centre en
p0
t.
m
(5.23)
En effet,
"
2 #2
x pm0 t
q
h(x, t)|
x|(x, t)i =
dx x exp 2 2i~t
2
4 + m
4
+ 4mt2 ~2 |
~4
{z
}
J
"
"
2 #2
#
Z +
Z +
p0 t 2 2
x pm0 t
x
p0 t
p
t
0
J=
dx x
dx exp 2 m2i~t
exp 2 2i~t +
m
m
4 + m
4 + m
|
|
{z
}
{z
}
2
2
1/2
=0
=1
(5.24)
o nouveau la premire intgrale est nulle car lintgrant est impair tandis que
la seconde vaut 1 en se rappelant que (x) est normalise (5.15) et que lvolution
temporelle est
q engendre par un oprateur unitaire qui conserve la norme. Calculons
x|(x,t)i =
h| (
x h
xi)2 |i :
2
2 1/2
p0 t
1
q
h| x
|i =
m
2
4
+
~4
t2
4m2 ~2
#2
"
2
x
2
dx x exp 2 2i~t
4 + m
(5.25)
54
p0 t
m
e a+ib e aib = e
do
#
"
2 1/2
Z +
2 2
p0 t
1
8
x
q
h x
i=
dx x2 exp
2 2
m
2
4
t2
16 4 + 4~m2t
+ 4m2 ~2
~4
2 1/2
2
q
2A3/2 avec A =
=
~2 t2
2
t2
4
4 + 4m
2
+
4
2
2
~
4m ~
4
2 1/2
~2 t2
t2
3
2
2
=
= 1+ 4 2
+
2
~4 4m2 ~2
4 m
x|(x,t)i =
1+
(5.26)
(5.27)
~2 t2
4 4 m2
On constate donc que le paquet donde slargit au cours du temps. Ce phnomne sappelle ltalement du paquet donde.
5.3
~2
(x) + V (x)(x) = E(x)
2m
(5.28)
2m
(5.29)
p
p2
= E V , soit p = 2m(E V )
2m
(5.30)
55
2. E < V
(5.31)
~
~2
p
=
E
V
,
soit
l
=
2ml2
2m(V E)
(5.32)
(x) = Ax + B
Entre deux rgions o le potentiel est constant, il doit y avoir une discontinuit.
Deux cas de figure sont utiles :
1.
(
V1
V (x) =
V2
si x < x0
si x > x0
(5.33)
V (x)
V2
V1
0
x0
(5.34)
56
dx (x) = 2
dx (V (x) E) (x)
~ x0
x0
Z
2m x0 +
2m
0 quand 0
(5.35)
5.4
(5.36)
(5.37)
(5.38)
57
V (x)
V2
V1
0
x1
x2
Ce systme a une solution non nulle si est seulement si son dterminant est nul,
cest--dire si
p(x1 x2 )
p(x1 x2 )
~
ei ~
=0
p(x2 x1 )
sin
=0
~
p
(x2 x1 )
2m(E V1 )
= n
~
2
n~
2m(E V1 ) =
(x2 x1 )
2 2
~
E = V1 +
n2
2m(x2 x1 )2
ei
(5.39)
B = Ae
2ipx1
~
(5.41)
x x1
sin n
x2 x1
(5.42)
Mais p =
n~
x2 x1
ipx1 /~
(x) = 2iAe
(5.40)
58
x2
dx |(x)|2 = 1
x1
x2 x1
=1
2
1
A= p
2(x2 x1 )
4A2
(5.43)
Par ailleurs, on peut laisser tomber le facteur de phase ieipx1 /~. Finalement, on peut
crire la solution :
E = V1 +
n (x) =
~2 2
n2
2m(x2 x1 )2
x x1
2
sin n
x2 x1
x2 x1
(5.44)
x/l
Ae
(x) = Beipx/~ + Ceipx/~
x/l
De
avec l =
~
2m(V2 E)
x/l
et p =
la forme :
si x < x1
si x1 < x < x2
si x > x2
(5.45)
x < x1 et e
pour x > x2 afin dobtenir une solution de carr sommable.
Comme il sagit de simples discontinuits, on doit raccorder la fonction et sa
drive en x1 et x2 , do les quations :
(
: Aex1 /l = Beipx1 /~ + Ceipx1 /~
x1 :
: Al ex1 /l = ip~ Beipx1 /~ Ceipx1 /~
(
x2 :
(5.46)
:
:
59
(x)
0.5
-0.5
n=1
n=2
n=3
-1
2
2.5
3
x
3.5
=0
(5.47)
Posons a = ip~ et b = eip(x2 x1 )/~. On sait quon ne change pas la valeur dun dterminant en multipliant une ligne ou une colonne par une constante. On peut donc
multiplier chaque colonne de (5.47) par une exponentielle bien choisie et on obtient :
1 1 1
0
1
0
l a a
1
0 b
1
b
0 ab a 1
b
l
=0
(5.48)
60
l
l
l
b bl
(5.49)
1 2
a
l
b2 =
a + 1l
!2
ip
1
~
l
soit
= ei2p(x2 x1 )/~
ip
1
+
~
l
ip
~
ip
~
1
l
1
l
= eip(x2 x1 )/~
1
ip
1 eip(x2 x1 )/~ =
1 + eip(x2 x1 )/~
~
l
ip(x2 x1 )/~
~
1e
=
ipl
1 + eip(x2 x1 )/~
eip(x2 x1 )/2~ eip(x2 x1 )/2~ eip(x2 x1 )/2~
~
= ip(x2 x1 )/2~ ip(x2 x1 )/2~
ipl
e
(e
+ eip(x2 x1 )/2~)
~
p(x2 x1 )
= tan
pl
2~
p(x2 x1 )
~2
1
~2
2
2
1 + tan
=1+ 2 2 = 2 p + 2
2~
p l
p
l
(5.50)
x1 )
p
cos2 p(x22~
(5.51)
cos p(x2 x1 ) = p
p0
2~
61
Cette condition doit tre complte par la condition perdue lorsquon a prit le
carr la dernire ligne de (5.50) 3 :
p(x2 x1 )
>0
tan
(5.52)
2~
2.
ip
~
ip
~
1
l
1
l
= eip(x2 x1 )/~
pl
2~
p(x2 x1 )
1
p2
2
= 02
1 + cot
=
x1 )
2~
p
sin2 p(x22~
(5.53)
sin p(x2 x1 ) = p
2~
p0
cot
p(x2 x1 )
2~
<0
On peut rsoudre graphiquement les quations des deux cas (voir figure 5.4).
Limite V2 : Dans cette limite, p0 , la pente tend vers 0, et les valeurs
possibles de p sont 4 : x2n~
. Les valeurs possibles de lnergie sont donc
x1
E = V1 +
p2
2 ~2
2
= V1 +
2n
2m
2m (x2 x1 )
(5.54)
Remarques :
1. Il y a toujours au moins une solution.
2. La n-ime solution a n 1 noeuds (ceci peut se voir directement sur la figure
5.3).
3. Il existe aussi des tats dnergie E > V2 . Dans ce cas, toutes les nergies sont
possibles. Le problme est trs semblable celui que nous allons traiter dans
les deux sections suivantes.
3. En effet, on a par dfinition : p, l, ~ > 0.
4. Elles correspondent aux zros du sinus et du cosinus.
62
0.8
0.6
0.4
0.2
0
0
10
12
14
Figure 5.4 Rsolution graphique des niveaux dnergie du puits carr pour
V2 < . Les intersections entre la droite dquation f (p) = pp0 et les sinus (courbes
continues) et les cosinus (courbes tirets) donnent les nergies possibles.
5.5
La Marche de Potentiel
(
V1
V (x) =
V 2 > V1
si x < 0
si x > 0
(5.55)
63
V (x)
V2
V1
0
V 1 < E < V2
Dans ce cas, la solution est de la forme
(
Aeipx/~ + Beipx/~ si x < 0
(x) =
Cex/l
si x > 0
p
avec l = ~
et p = 2m(E V1 ).
(5.56)
2m(V2 E)
Mais 1 +
ipl
~
ipl
(A B)
A+B =
~
ipl
ipl
A 1+
= B 1 +
~
~
1 + ipl
1 + ipl
~
~
=
A
B=A
ipl
ipl
1 + ~
1 ~
q
q
p2 l2 i
pl
ipl
= 1 + ~2 e avec tan = ~ , et 1 ~ = 1 +
B = Ae2i
(5.58)
p2 l2 i
e ,
~2
do
(5.59)
64
Ainsi, |B|2 = |A|2 . Londe se dplaant vers la gauche a la mme intensit que celle
se dplaant vers la droite.
Linterprtation de ces tats stationnaires pose le mme problme que celle des
ondes planes. En effet, ces fonctions donde ne sont pas de carr sommable. Pour
trouver une solution satisfaisante, il faut retourner lquation de Schrdinger dpendante du temps et construire des paquets dondes. Cela se fait trs facilement
numriquement 5 , par contre il ny a pas dexemple de paquet dondes donnant lieu
des calculs analytiques simples, et il faut se contenter dune description qualitative
des rsultats.
Si on construit un paquet dondes centr autour de p > 0, il se dplace peu
prs librement la vitesse v = mp jusquau moment o il rencontre la marche. A
ce moment-l, des interfrences se produisent, et un peu de "poids" pntre sous la
marche. Enfin, un paquet dondes repart la vitesse mp , et le poids sous la marche
disparat.
Tous ces effets sont en fait des consquences de la forme des solutions stationnaires.
La prsence dinterfrences vient du fait que A et B diffrent par une phase tandis
que la disparition complte de la partie de londe passant sous la marche vient du
fait que la fonction donde est une exponentielle relle, donc vanescente. Enfin, le
fait quune onde de mme intensit repart en sens inverse est associe lquivalence
de lamplitude des coefficients A et B.
Ces remarques sont la base de la thorie quantique de collisions lastiques (ou
diffusion lastique par un potentiel indpendant du temps) : on cherche les solutions
stationnaires avec des conditions aux limites donnes, et on interprte ces solutions
stationnaires en traduisant leurs proprits en terme de paquets dondes.
Pour prciser cette ide, considrons maintenant le cas o londe peut se propager
mme pour x > 0 :
E > V2
Dans ce cas, la fonction donde est de la forme :
(
Aeip1 x/~ + Beip1 x/~ si x < 0
(x) =
Ceip2 x/~ + Deip2 x/~ si x > 0
Elle dpend de 4 amplitudes relies par deux conditions de raccordement :
(
:A+B =C +D
: p1 (A B) = p2 (C D)
(5.60)
(5.61)
Lespace des solutions est dsormais de dimension 2. Il y a donc un certain arbitraire dans le choix des solutions, mais au vu de la discussion prcdente, le choix
5. Voir, entre autres, le CD ROM de dmonstration de Basdevant-Dalibar ou sur le web
http ://www.quantum-physics.polytechnique.fr/.
65
qui simpose naturellement est de choisir des solutions qui "dcrivent" la diffusion
dun paquet dondes venant de la gauche ou venant de la droite.
Pour un paquet dondes venant de la gauche, on choisira D = 0 : il y a une onde
incidente (eip1 x/~), une onde rflchie (eip1 x/~) et une onde transmise (eip2 x/~) 6 .
Pour un paquet dondes venant de la droite, on choisira de mme A = 0. Les proprits ces tats stationnaires dcriront trs bien les proprits de paquets dondes.
Comme les deux cas sont similaires, considrons celui dun paquet dondes venant
de la gauche. Puisque D = 0, on peut calculer les amplitudes B et C en fonction de
A laide des quations de raccordement :
(
:A+B =C
: p1 (A B) = p2 C
p1 (A B) = p2 (A + B)
A(p1 p2 ) = B(p1 + p2 )
p1 p2
B=A
p1 + p2
p1 p2
2p1
et C = A + B = A 1 +
=A
p1 + p2
p1 + p2
(5.62)
Comme londe eip1 x/~ correspond une onde rflchie et eip2 x/~ une onde transmise, il est habituel de dfinir des coefficients de rflexion et de transmission par
B
A
C
Coefficient de transmission : T
A
Coefficient de rflexion : R
T =
2p1
p1 + p2
(5.63)
On sattend ce que ces deux coefficients satisfassent une relation de conservation du genre R2 + T 2 = 1. Mais cette relation nest pas vrifie, et la relation
effectivement vrifie est plus subtile. Pour la dterminer il faut identifier quelle est
la quantit conserve. Pour un tat stationnaire, cest la probabilit de prsence
= |(x)|2 qui lest. Daprs lquation de continuit, on en dduit que
=0
div~j =
t
(5.64)
2
p
. Si on pose
6. En effet, la partie temporelle de la fonction donde scrit eit avec = 2m~
p
k = ~ , la fonction donde devient eikxt cos(kx t). En t = 0, une crte de londe se trouve
en x = 0 et en t + dt cette mme crte se sera dplace dans le sens des x positifs. Donc, daprs le
signe de la partie temporelle, une fonction donde avec une partie spatiale eipx/~ se dplace dans
le sens des x positifs alors quune fonction donde avec une partie spatiale eipx/~ se dplace dans
le sens ngatif.
66
j
pour une solution stationnaire. Mais 1 dimension, div~j = x
, et div~j = 0 j =
~
~
~ , soit
cte. Cest donc le courant ~j qui est conserv. Mais ~j = 2mi
~
1 dimension : j = 2mi
. Calculons j(x) pour x < 0 :
x
x
ip1 A ip2 x/~ ip1 B ip1 x/~
= A e
+B e
e
x
~
~
ip1
|A|2 |B|2 A Be2ip1 x/~ + AB e2ip1 x/~
=
~
ip1
j=
ip1 x/~
ip1 x/~
(5.65)
p1
p1
|A|2 |B|2 =
|A|2 (1 R2 )
m
m
ip2
= |C|2
x
~
j=
(5.66)
p2
p2
|C|2 =
|A|2 T 2
m
m
On en dduit la relation :
p1 (1 R2 ) = p2 T 2
(5.67)
5.6
si
V1
V (x) = V2 > V1 si
V1
si
(5.68)
Considrons dans un premier temps le cas dun paquet dondes venant de la gauche
avec une nergie E comprise entre V1 et V2 .
V 1 < E < V2
67
V (x)
V2
V1
0
x1
x2
ipx/~
+ Beipx/~ si x < x1
Ae
(x) = Cex/l + Dex/l
si x1 < x < x2
ipx/~
Ee
si x > x2
(5.69)
o lon na gard que londe eipx/~ pour x > x2 puisquon sintresse un paquet
dondes venant de la gauche.
Les conditions de raccordement en x1 et x2 conduisent aux quations suivantes :
(
x1 :
x2 :
:
:
:
:
(5.70)
68
C x2 /l D x2 /l ip ipx2 /~
e
le
+ ~ Ee
l
= Aeipx1 /~
= ip~ Aeipx1 /~
=0
=0
(5.71)
det(Sxi )
det(S)
(5.72)
0
0
eipx2 /~
ip ipx2 /~
e
~
ip x/l
1 x/l
(5.75)
x/l
x/l
=e
e
+
e
e
l2
~l
1 x/l
ip ipx/~ ip x/l
x/l
x/l
e
e
e
+e
+ e
~
~
l
2ip
1
p2
x
x
ipx/~
2 2 + 2 cosh
2 sinh
=e
l
l
~
l
~l
ipx/~
7. Voir annexe C.
69
eipx/~A
4ip
~l
2
2 sinh x
l12 ~p2 + 2 cosh
l
|E|2
|T | =
|A|2
16p2
= 22
~l
4 l12
2
2
2
p
~2
x
l
2ip
~l
1
sinh2
x
l
16p2
~2 l2
cosh2
x
l
(5.76)
p2
~2 l 2
|T |2 =
2
p2
4p2
(x2 x1 )
1
2 (x2 x1 )
sinh
+
cosh2
2
2
2
2
l
~
l
~ l
l
4
Mme si elle a une nergie plus basse que la barrire (E < V2 ), une particule a
donc une certaine probabilit de la traverser. Cest ce quon appelle leffet tunnel. Cette probabilit tend nanmoins vers 0 si la longueur de la barrire |x2 x1 |
tend vers +, ou si lnergie tend vers V1 , auquel cas p 0.
E > V2
Dans ce cas, il suffit de remplacer les exponentielles relles
p par des exponentielles
complexes ou encore de remplacer 1l par ip~2 avec p2 = 2m(E V2 ). Si on pose
p
p1 = 2m(E V1 ), on trouve finalement
2
|T | =
4p21 p22
p
(x
x
)
p2 (x2 x1 )
2
2
1
+ 4p21 p22 cos2
~
~
(5.77)
70
Chapitre 6
Mouvement dans un Potentiel
Central
6.1
Introduction
H=
+ V (
r)
2m
p
o r = x2 + y 2 + z 2
(6.1)
dt
dt
dt
~p
=
~p +~r F~
m
| {z }
(6.2)
=0
72
6.2
ypz zpy
~ = ~r p~ = zpx xpz
L
xpy ypx
(6.3)
x, L
y, L
z sont hermitiques. Etablissons les
On vrifie aisment que les oprateurs L
rgles de commutation entre loprateur moment cintique et loprateur position :
h
i
Lx , x
=0
h
i
x , y = [
L
y pz zpy , y] =
z [
py , y] = i~
z
h
i
Li , xj = i~ijk xk
avec ijk
123
231
312
ijk
=0
dans les autres cas
(6.4)
(6.5)
h
i
i , pj = i~ijk pk
L
i y
i x
V
V
~
x
y
=
i
y
x
=x
(6.6)
73
p
x2 + y 2 + z 2 do
V
V
V y
V x
y
=x
y
=0
y
x
r r
r r
z commute avec V.
L
x, L
y commutent avec V.
L
~ 2 = L
2x + L
2y + L
2z commute avec V.
L
x
(6.7)
De plus, on a
h
i
i
h
z , px = [
z , p2x = i~
py px + i~
px py = 2i~
px py
L
x
,
p
]
p
=
i~
p
x
y
y
h
i
h
i
2
Lz , py = i~
px
px py
Lz , py = 2i~
i
h
i
h
z , pz = 0
z , p2 = 0
L
L
z
h
i
z , p~ 2 = 0
(6.8)
x, L
y , L
~ 2 , commutent avec p~ 2
L
(6.9)
x, L
y, L
z et L
~ 2 commutent avec H.
~ En effet,
Par ailleurs, lhamiltonien sexprime simplement en fonction de L.
2 = (
L
y pz zpy )2
x
= y2 p2z + z2 p2y y pz z py z py y pz
|{z}
|{z}
=
y2 p2z
zpz i~
z2 p2y
ypy i~
+ i~
y py + i~
z pz 2
y py zpz
~ 2 = x2 + y2 p2 + y2 + z2 p2 + z2 + x2 p2 + 2i~ (
L
xpx + ypy + zpz )
z
x
y
2
y py zpz 2
xpx ypy 2
z pz xpx
= ~r 2 ~p 2 z2 p2 x2 p2 y2p2 + 2i~~r p~ 2
y py zpz 2
xpx ypy
z
2
z pz xpx
2
22
= ~r ~p ~r ~p + i~~r ~p
2
~2
1 ~ 2
~2 2 2
p~ 2 = 2 L
r
r
r r
2
2
2
=~ ~ + 1 L
~ 2 + V (r)
H
2
2
2m r
mr r 2mr
(6.10)
74
~
o lon a utilis les proprits suivantes : x2 p2x = (
xpx )2 = i~
xpx et (~r )f
= r f
,
r
f
~ = ~er +
qui dcoule de lexpression du gradient en coordonnes sphriques : f
r
1 f
1 f
~
e
+
~
e
.
r
r sin
~ 2 commute avec H, on peut les diagonaliser dans une base commune.
Comme L
On a donc spar le problme en 2 parties :
~ 2 .
Trouver les valeurs propres et les fonctions propres de L
en rempla Trouver les valeurs propres et les vecteurs propres de loprateur H
. Mais
naturel (mais trop naf, et en fait faux) serait de choisir loprateur i~ r
= i~ d~r + i~ d~r
r
r
Z
Z 2
Z +
= i~
sin d
d
r 2 ( )dr
r
0
0
{z
}
|0
(6.12)
i~ 1r r
r
h|
pr |i h|
pr |i
Z
Z 2
Z
= i~
sin d
d
0
= i~
1
r
+
r r
1
+
r r
1
1
2
+
dr
r
+
+
r r
r r
0
Z +
2
2
=
r
( ) + dr
r
r
0
Z +
2
(r )dr
=
r
0
+
= r 2 0 = 0 si r 0 pour r + et 0.
(6.13)
75
On peut aussi voir les choses directement en termes doprateurs. Par dfinition,
~r
x
y
z
= .~p = px + py + pz
A = i~
r
r
r
r
r
y
+
A = px + py + pz 6= A
r
r
r
(6.14)
:
On en dduit que pr est simplement la forme symtrise de loprateur i~ r
1 ~r
~r
pr =
.~p + p~.
2 r
r
1
1
+
+
= ~
r r
r r
2
1
1
1
1
2
= ~
+
+
+
r 2 r r r 2 r 2 r r
2
2
2
+
= ~
r 2 r r
2
76
(6.16)
implique que
~ 2
L
2
2
~p = pr + 2
r
(6.17)
6.3
(6.18)
~ 2 : Considrations Algbriques
Le Spectre de L
Lx , Ly = [
y pz zpy , zpx xpz ]
= [
y pz , zpx ] + [
z py , xpz ]
z
= i~
y px + i~
xpy = i~L
h
i
i, L
j = i~ijk L
k L
~ L
~ = i~L
~
L
(6.19)
i
i h
i h
h
x, L
2z
x, L
2y + L
x, L
~ 2 = L
L
y i~L
z + i~L
z L
y L
z i~L
y i~L
y L
z
=L
=0
x, L
y et L
z commutent avec L
~ 2 .
L
x, L
y et L
z ne commutent pas entre eux, on ne peut pas les diagonaliser siComme L
~ 2 .
multanment. Par contre, on peut diagonaliser simultanment lun dentre eux et L
z et L
~ 2 :
tats propres de L
z et L
~ 2 :
Soit |i un tat propre de L
z |i = ~|i, L
~ 2 |i = ~2 |i
L
(6.20)
~ 2 : Considrations Algbriques
6.3 Le Spectre de L
+ et L
:
Introduisons les oprateurs L
(
(
+ + L
)
+ = L
x + iL
y
x = 1 (L
L
L
2
+ L
)
y = 1 (L
= L
x iL
y
L
L
2i
y + i2 ~L
x = ~L
+
Lz , L = Lz , Lx i Lz , Ly = i~L
h
i
h
i
h
i
+, L
= i L
x, L
y + i L
y, L
x = 2~L
z
L
77
(6.21)
(6.22)
x et L
y , L
+ et L
comPar ailleurs, comme ce sont des combinaisons linaires de L
~ 2.
mutent avec L
h
i
+ |i. Comme L
z, L
+ = ~L
+ , il vient :
Considrons le ket L
zL
+ |i = L
+L
z |i + ~L
+ |i = ~( + 1)L
+ |i
L
(6.23)
z L
|i = ~( 1)L
|i
L
(6.24)
~ 2 L
+ |i = L
+L
~ 2 |i = ~2 L
+ |i. De mme,
Par ailleurs, L
Proprits :
2 + L
2
~ 2 = L
2 + L
2 + L
2 L
~ 2 L
2 = L
1. L
z
x
y
x
y
z
2x + L
2y |i 0. En effet, h|L
2x |i est suprieur la plus petite valeur
Mais h|L
2 , qui est un carr et est donc positive.
propre de L
x
~ 2 L
2 |i = ~2 ( 2 ) 0. Pour donn, les valeurs propres
Du coup, h|L
z
z sont bornes :
possibles de L
p
p
(6.25)
L L
L+ |L i = 0
L+ |L i
= 0 hL |L
h
i
L
+ = L
2 + L
2 + i L
x, L
y = L
~ 2 L
2 ~L
z
Mais L
x
y
z
(6.27)
2
2
L L+ |L i = ~ L L = 0
= L (L + 1)
78
(6.28)
+L
= L
~ 2 L
2z + ~L
z
L
+L
|L i = ~2 L2 + L = 0
L
(6.29)
= L (L 1)
ou
(6.30)
~ 2 et L
z corresRcapitulation provisoire : Les vecteurs propres communs L
~ 2 ont des valeurs propres de L
z
pondant une valeur propre ~2 L(L + 1) de L
de la forme ~ avec L L.
3. Soit
(
~ 2 |i = ~2 L(L + 1)|i
L
|i :
z |i = ~L|i
L
(6.31)
1
3
L est entier ou demi-entier. L = 0, , 1, , 2, . . .
2
2
Conclusion :
(6.32)
~ 2 : Considrations Algbriques
6.3 Le Spectre de L
79
~ 2 sont :
Les valeurs propres possible de L
~2 L(L + 1),
1
L = 0, , 1, . . .
2
(6.33)
(6.35)
(6.36)
De mme,
p
|L, Mi = ~ L(L + 1) M(M 1)|L, M 1i
L
2
L
+ |L, Mi = ~2 (L(L + 1) M(M + 1))
L+ |L, Mi
= hL, M|L
(6.37)
(6.38)
+ |L, Mi = ~
L
(6.39)
Remarque : Ces rsultats sont valables pour tout oprateur vectoriel satisfaisant les
rgles de commutation
h
i
i, L
j = i~ijk L
k
L
(6.40)
Un tel oprateur sappelle, par extension, un moment cintique ("angular momen~ = ~r ~p sappelle loprateur de moment cintique
tum" en anglais), et loprateur L
orbital. On parle par ailleurs de moment cintique L lorsquon considre un opra~ 2 de valeur
teur de moment cintique restreint au sous-espace des tats propres de L
propre ~2 L(L + 1). L est parfois appel la pseudo-norme.
80
6.4
x
=
r
sin
cos
r
y = r sin sin tan2
tan
z = r cos
= x2 + y 2 + z 2
2
2
= x z+y
2
= xy
(6.41)
f (r, , )
f r
f
f
=
+
+
xi
r xi
xi xi
(6.42)
r
r
x
= 2x
= = sin cos
x
x
r
r
y
r
= 2y
= = sin sin
2r
y
y
r
r
r
z
2r
= 2z
= = cos
z
z
r
(6.43)
On obtient
1.
r 2
xi
r
= 2r x
i
2r
2.
tan2
xi
= 2 tan cos12 x
i
2x
cos cos
1
= 2
=
2
cos x
z
x
r
2y
cos sin
1
= 2
=
2 tan 2
cos y
z
y
r
2
2
1
2(x + y )
sin
2 tan 2
=
cos z
z2
z
r
2 tan
3.
tan
xi
(6.44)
1
cos2 xi
sin
1
= 2
=
2
cos x
x
x
r sin
1
1
cos
=
=
2
cos y
x
y
r sin
1
=0
=0
2
cos z
z
(6.45)
81
~
cos cos
sin
~
sin cos +
=
px =
i x
i
r
r
r sin
~
~
cos sin
cos
py =
sin sin +
=
+
i y
i
r
r
r sin
~
sin
~
cos
=
pz =
i z
i
r
r
(6.46)
~ :
ainsi que loprateur L
x = ypz zpy
L
~
(r sin sin cos r cos sin sin )
=
i
r
r sin sin sin r cos cos sin
+
r
r
cos
+ r cos
r sin
(6.47)
~
cos
Lx =
sin
i
tan
y = zpx xpz
L
~
(r cos sin cos r sin cos cos )
=
i
r
r cos cos cos r sin cos sin
+
+
r
r
sin
+ r cos
r sin
sin
~
cos
Ly =
i
tan
(6.48)
82
~
(r sin cos sin sin r sin sin sin cos )
=
i
r
cos sin
cos cos
+ sin cos
r sin sin
r
r
sin
cos
+ r sin sin
+ r sin cos
r sin
r sin
(6.49)
z = ~
L
i
+ i cot
+ i cot
L = Lx iLy = ~e
~ 2 = L
L
+ + L
2 + ~L
z
L
z
i
2 i
e
+ i cot
+ i cot
L L+ = ~ e
2
i
2 i
i
i
e
=~ e
i cot
+ i cot
e
e
2
+ i cot
ei i cot
2
2
i
ei i cot
+ i cot iei
= ~2 ei ei 2 ei 2
sin
2
2
i
i
i
+ i cot ie i cot
+ i cot e i cot 2
+ i cot e
2
2
cot
i cot2
cot2 2
= ~2 2 + i 2
sin
2
2
cot
cot2 2
= ~2 2 + i
2
2
2
2
2
2
~ =~
+i
cot
cot 2
i
L
2
+ = L
x + iL
y = ~ei
L
2
2
1
1
2
2
~ = ~
L
+
+
2 tan sin2 2
(6.50)
83
z :
Considrons une fonction propre de L
~ (r, , )
= ~m(r, , ) (r, , ) = (r, )eim
i
(6.51)
Mais pour que (r, , ) soit une fonction univoque des coordonnes, il faut que
(r, , + 2) = (r, , ) ei2m = 1
(6.52)
m entier
(6.53)
6.5
~ 2 et L
z de valeurs propres
Cherchons dsormais les fonctions propres communes L
~2 l(l + 1) et ~m. Daprs ce qui prcde, on peut les chercher sous la forme :
Ylm (, ) = Flm ()eim
(6.54)
l cot Fll () = 0
(6.55)
(6.56)
(6.57)
84
Normalisation :
Si Yll (, ) = cl (sin )l eil , alors
Z
Z
2
|cl |
sin d
d(sin )2l = 1
0
0
Z
2
soit |cl | 2 Il = 1 avec Il =
sin d(sin )2l
(6.58)
(sin )2 = 1 u2
(6.59)
du(1 u2 )l1 (1 u2 )
1
Z 1
= Il1
du u u(1 u2 )l1
"1
#
1
Z 1
(1 u2 )l
(1 u2 )l
= Il1 u
du
2l
2l
1
1
1
= Il1 Il
2l
1
Il 1 +
= Il1
2l
2l
(2l)(2l 2) 2
Il =
Il1 =
I0
2l + 1
(2l + 1)(2l 1) 3
(6.60)
[(2l)(2l 2) 2]2
I0
(2l + 1)!
22l+1 (l!)2
ou encore Il =
(2l + 1)!
soit Il =
(2l + 1)! 1
4 22l (l!)2
(6.61)
(6.62)
85
, sachant que
Les autres fonctions sen dduisent par application systmatique de L
1
Y m (, )
L
Ylm1 (, ) = p
l
~ l(l + 1) m(m 1)
(6.63)
i
= ~e
+ i cot
avec L
Exemples :
1. l = 0
1
Y00 (, ) =
4
2. l = 1
(6.64)
r
1 6
=
sin ei
2 4
r
3
1
sin ei
Y1 (, ) =
8
Y11 (, )
3
1
= ei
8
2
r
1
3
=
2 cos
2 8
r
3
cos
Y10 (, ) =
4
Y10 (, )
Y11 (, )
!
cos
cos e + i
sin iei
sin
i
(6.65)
3
sin ei
8
3. l = 2
Y22 (, )
15
sin2 e2i
32
Y21 (, ) =
Y20 (, )
15
sin cos ei
8
5
3 cos2 1
16
(6.66)
86
Remarques :
1. Les harmoniques sphriques sont des fonctions propres doprateurs hermitiques. Elles sont donc orthogonales :
Z
= l,l m,m
d sin (Ylm ) Ylm
(6.67)
Ylm (, )
(1)
= l
2 l!
2l + 1 (l + m)! im
dlm
m
(sin )2l
e (sin )
lm
4 (l m)!
d(cos )
(6.68)
(6.69)
4. On a en particulier 2 :
6.6
Pour une valeur donne de l, on peut donc chercher les tats stationnaires de
lquation de Schrdinger dune particule dans un potentiel central sous la forme :
(r, , ) = R(r)Ylm (, )
(6.70)
+
+ V (r) R(r) = ER(r)
2m r 2 mr r
2mr 2
1. Voir par exemple Cohen-Tanoudji, Diu, Lalo pp. 686-688.
2. Mme rfrence, p. 690.
(6.71)
87
+
dr 2 r 3
r 2 dr r dr 2
2 du 1 d2 u
2
2 du
~2 2
u(r) 2
+
3 u(r) + 2
2m r 3
r dr r dr 2
r
r dr
2
~ l(l + 1)
u(r)
u(r)
+
+ V (r)
=E
2
2mr
r
r
soit
(6.72)
~2 d 2
~2 l(l + 1)
+
+ V (r) u(r) = Eu(r)
2m dr 2
2mr 2
(6.73)
(6.75)
(6.76)
88
0.2
l=0
l=1
0.15
0.1
U(r)
0.05
-0.05
-0.1
-0.15
-0.2
0
10
r
15
l(l+1)
r2
1
r
20
pour l = 0 et l = 1.
l(l+1)
Par ailleurs, le potentiel "effectif" U(r) = ~ 2mr
r a lallure reprsente sur la
2
Figure 6.1. Dans tous les cas, on sattend donc trouver des tats lis uniquement
pour E < 0. Plaons-nous dans ce cas, et faisons le changement de variables
r
E
, =
EI
a0
2
m
~2
avec EI =
,
a
=
0
2~2
m
=
(6.77)
89
Lquation devient
soit
~2 1 d 2
~2 l(l + 1)
u() = EI 2 u()
+
2
2 2
2
2m a0 d
2ma0
a0
2
2
2
d
2mEI a20 2
~ l(l + 1) 2ma0 2ma20
u()
=
+
+
u()
d2
2ma20 2
~2
~2 a0
~2
2
2m2 2 ~4 2
l(l + 1) 2
d
u()
=
+
u()
d2
2
2~4 m2 2
(6.78)
d2
l(l + 1) 2
2
+ u() = 0
d2
2
Quand +, on a approximativement
d2 u
2 u u() e
2
d
(6.79)
du
= e + e y
d
d2 u
= 2 e y 2e y + e y
d2
2
d
d
2 l(l + 1)
2 +
y() = 0
d2
d
2
(6.80)
l+1
y() =
+
X
q=0
cq =
+
X
q=0
cq q+l+1
(6.81)
90
dy X
=
cq (q + l + 1)l+q
d
q=0
+
d2 y X
=
cq (q + l + 1)(q + l)l+q1
2
d
q=0
+
X
cq (q + l + 1)(q + l)l+q1 2cq (q + l + 1)l+q + 2cq l+q
q=0
l+q1
cq l(l + 1)
(6.82)
=0
(
c0 (l + 1)ll1 c0 (l + 1)ll1 = 0
cq (q + l + 1)(q + l) 2cq1 (q + l) + 2cq1 cq l(l + 1) = 0
cq = cq1
2 ((q + l) 1)
q(q + 2l + 1)
(6.83)
A priori, quand q +,
cq cq1
2
q
1
2
q!
y() l+1 e2
cq
(6.84)
u() e
qui nest autre que la solution rejete prcdemment. Il faut donc que le numrateur
sannule, autrement dit quil existe un entier k 1 tel que
(k + l) 1 = 0
1
=
k+l
(6.85)
EI
(k + l)2
k = 1, 2, . . .
(6.86)
91
(6.87)
1
= , c1 = 0
2
u1,1 () = c0 2 e 2
(6.88)
2 12 1 1
1
1
= , c1 = c0
= c0
2
1(1 + 1)
2
e 2
u2,0 () = c0 1
2
(6.89)
2. k = 1, l = 1
3. k = 2, l = 0
r
,
a0
R2 r 2 dr = 1
en divisant
(6.90)
r
a0
l+1 "
k1 #
r
r
c0 + c1
+ ... + ck1
a0
a0
(6.91)
avec
2 ((q + l) 1)
1
et =
q(q + 2l + 1)
k+l
cq = cq1
(6.92)
r 2 (Rk,l (r))2 dr = 1
(6.93)
92
Exemples :
R1,0 (r) = c0 e a0
c0 est donn par :
Z +
2r
c20 e a0 r 2 dr = 1
Z +
Z0 +
d2
2
d2 1
2 ax
ax
Mais
x e dx = 2
= 3
e dx = 2
da
da a
a
0
0
Z +
a0 3 a30
2r
c20 e a0 r 2 dr = 2
=
3
4
0
(6.94)
c0 = 2a0 2
3 r
a
R +
0
r n ear dr = n! a1n
3
r 2ar
e 0
R1,1 (r) = (2a0 ) 2
3a0
r
r
23
1
R2,0 (r) = 2(2a0 )
e 2a0
2a0
(6.95)
~2
a0 = me2 = 0.52 []
(6.96)
93
E [eV]
0
13.6
16
4s
4p
4d
13.6
9
3s
3p
3d
13.6
4
2s
2p
13.6
4f
1s
l=0
l=1
l=2
l=3
(6.97)
94
6.7
Moment Magntique
Comment peut-on observer la dgnrescence des niveaux n > 1 ? Dans ce paragraphe, nous allons voir quil suffit de plonger le systme dans un champ magntique.
En lectrodynamique classique, lorsque des particules charges se dplacent dans
un circuit ferm, elles crent un moment magntique
~ = IS
~
M
(6.98)
H
~ = 1 ~r d~r est le vecteur surface du circuit. Ce
o I est lintensit du courant et S
2
~ en produisant
moment magntique se couple un champ magntique extrieur B
~ B
~ lnergie. Or, pour un lectron tournant autour dun
une contribution M
e
noyau, lintensit I = T , o T est la priode :
I
I
I
e
d~
r
e
e
~
~ =
(6.99)
~r d~r =
~r m dt =
Ldt
M
2T
2T m
dt
2T m
~ est constant
Mais pour un mouvement force centrale, L
I
e ~1
e ~
~
M=
L
dt =
L
2m T
2m
(6.100)
Le moment cintique est donc coupl au champ magntique par un terme dnergie
e ~ ~
L.B.
2m
Ceci reste vrai en mcanique quantique. Dmontrons-le explicitement. La premire
tape consiste dterminer la forme de lHamiltonien dune particule charge en
prsence dun champ magntique.
La particule charge dans un champ magntique :
On sintresse au problme dune particule de charge e dans un champ magntique
~
B. En mcanique classique, la particule est soumise une force
e
~
F~ = ~v B
c
et lquation du mouvement scrit :
m
e d~r
d2
~
~r =
B
2
dt
c dt
Pour quantifier le problme, la premire tape est dtablir la formulation hamiltonienne du problme. Pour cela, tablissons dabord la forme du lagrangien.
Proposition :
95
Le langrangien
e ~
1
r)
L = m~r 2 + ~r.A(~
2
c
~ = rot
~
~ A
conduit lquation du mouvement cherche si B
Dmonstration :
Lquation dEuler-Lagrange scrit :
d L
L ~
=0
dt ~r
~r
mais
L
e~
r)
= m~r + A(~
c
~r
d2~r e ~ ~
d L
=m 2 +
~r. A
dt ~r
dt
c
e~ ~
L
~r.A(~r)
=
~r
c
~ a.~b) = ~a rot
~ ~b + ~b rot~
~ a
~ ~b + (~a.)
~ a + (~b.)~
(~
~
~
~
~
~
~
~r.A(~r) = ~r rotA + ~r. A
Lquation du mouvement scrit donc :
m
d2~r e ~ ~ e
~ A
~ = ~0
~ e ~r.
~ A
~
r
.
+
~
r
rot
dt2
c
c
c
2
~
m ddt2~r = ec ~r B
c
~r
H(~r, p~) = p~.~r L(~r, ~r )
Mais
e~
1
p~ A(~
r)
~r =
m
c
1
e ~ 2 e 1
~ r ) .A(~
~ r ) + ~p. 1 p~ A(~
~ r)
H=
~p A(~
r)
p~ A(~
2m
c
cm
m
96
H=
1
2m
2
~ r)
p~ ec A(~
H=
~p A(~r) + V (~r)
2m
c
(6.101)
(6.102)
~ = B,
~ et de plus divA
~ = 0.
~ A
On a bien rot
Dmonstration :
1.
~ = ~rdivB
~ (~r )
~ B
~ + (B
~ )~
~ r Bdiv(~
~
~ r B)
rot(~
r)
(6.103)
~ est uniforme.
Les deux premiers termes sont nuls puisque B
x
~
~ )~
~ r = Bx , By , Bz y = B
(B
x
y
z
z
div(~r) =
x+
y+ z=3
x
y
z
~ = 2B
~
~ r B)
rot(~
~=B
~
~ A
rot
(6.104)
2.
~ =B
~ rot(~
~
~ r ) ~r rot
~ B
div(~r B)
(6.105)
97
~ = 0, p~ et A
~ commutent. En effet,
Or, si divA
h
i
~ = [
p~, A
px , Ax ] + [
py , Ay ] + [
pz , Az ]
~
(Ax ) Ax
Mais [
px , Ax (
x, y, z)] (x, y, z) =
i x
x
~ Ax
=
+ Ax
Ax
i
x
x
x
~ Ax
=
i x
h
i
~ Ax Ay Az
~
Ainsi, ~p, A =
+
+
i
x
y
z
~
~
= divA
i
(6.106)
(6.107)
do finalement
2
2
= p~ e L
~ B
~ + e (~r B)
~ 2+V
H
2
2m 2mc
8mc
(6.108)
e ~
L
2mc
(6.109)
e~
2mc
(6.110)
(6.111)
Dans un tat s (l = 0), le moment magntique est toujours nul, dans un tat p, les
~ z sont B , 0, B , et ainsi de suite.
valeurs propres possibles de M
98
(6.112)
Chapitre 7
Spin
7.1
Introduction
l=0
l=1
B B
B B
l
l=2
B B
B B
B B
~ =0
B
~ 6= 0
B
~ =0
B
~ 6= 0
B
~ =0
B
~ 6= 0
B
100
Spin
champ magntique :
1s
~ =0
B
2B B
~ 6= 0
B
~
S
~
(7.1)
Ag
2 taches
Ag : [Kr] 4d10 5s1
~ = B z non uniforme
B
~ M
~ B)
~ Mz B z
F~ = (
z
1
2
101
7.2
Le Formalisme du Spin
1
2
(7.3)
+
=
1
0
(7.4)
1
1
1
0
| i
| i
0
1
2
2
Cette description est trs utile car elle permet dexprimer les oprateurs S x , S y , S z
comme des matrices 2 2.
~ S
~ est un oprateur et on se permet de faire lconomie
1. Dans ce chapitre, il est entendu que S
du symbole .
2. Il est traditionnel domettre l = 21 dans la notation |l, mi.
102
Spin
(7.5)
(7.6)
1
1
= 1 , 1 ( ) = 0
1 : 1
2
2
2
2
2
1
1
= 0 , 1 ( ) = 1
1 : 1
2
2
2
2
2
(7.7)
(7.8)
7.3
~ 1
1
S | i= | i
~ 1 0
z
2
2 2
S =
~ 1
1
2 0 1
z
S | i = | i
2
2 2
z
(7.9)
103
1
S +| i = 0
2
s
1 1
1
1
1
1
1
+
+ 1 | i = ~| i
+1
S | i = ~
2
2 2
2
2
2
2
0 1
S =~
0 0
+
s
1 1
1
1
1 1
1
+1
+ 1 | i = ~| i
S | i=~
2
2 2
2 2
2
2
1
S | i = 0
2
(7.10)
0 0
S =~
1 0
(
S+
S
= S x + iS y
= S x iS y
~
S =
2
x
On voit que S x , S y et S z
0
x =
1
puisque S i = ~2 i
0 1
1 0
(
Sx
Sy
~
S =
2
y
= 21 (S + + S )
= 2i1 (S + S )
0 i
i 0
(7.11)
(i = x, y, z).
4. [i , j ] = 2iijk k
5. i j = j i pour i 6= j
Les matrices de Pauli anticommutent.
104
Spin
Dmonstration :
i 0
0 i
0 1
=
0 i
i 0
1 0
0 i
0 1
i 0
=
i 0
1 0
0 i
(7.13)
pour i 6= j
i j = ij 0 + iijk k
(7.14)
(7.15)
7.4
Les matrices de Pauli sont notamment trs utiles pour dcrire les rotations. Considrons en effet le problme suivant : soient n
et m
deux vecteurs unitaires relis par
une rotation R~ dangle = k~
k autour de la direction
= k~~ k , cest--dire :
n
= R~ (m)
(7.17)
~n
Comment les tats propres |
n i et |
n i de S
sont-ils relis aux tats propres
~
|m
i et |m
i de S m
?
Proposition :
~
~
~ n
~ m
S
= eiS~/~ S
eiS~/~
(7.18)
105
Dmonstration :
En consultant la figure, on voit aisment que :
(7.19)
n
= cos m
+ sin
m
(7.20)
h
i
i
~ ,
~ n
~ n
~ n
S
() + O(d2)
S
( + d) = S
() d S
~
(7.21)
(7.22)
~ n
Si on considre S
comme fonction de , on a donc :
i
d ~
i h~
~ n
(7.23)
Sn
= S
, S
d
~
~
~ m.
avec la condition initiale S n
( = 0) = S
~
~
~ m
Dmontrons que A eiS~/~ S
eiS~/~ est solution (en se rappelant de la
dfinition
=
~
k~
k
~ =
kk
).
= 0) = S
~ m
A(
trivial
i
~
~
dA
iS
iS
i h~
A+A
, A
=
= S
d
~
~
~
CQFD
(7.24)
106
Spin
Revenons la question que nous nous sommes pose au dpart, savoir le rapport
~
~ n
~ m.
entre les tats propres de S
et ceux de S
Considrons ltat eiS~/~|m
i.
~
~
~
~
~ n
~ m
S
eiS~/~|m
i = eiS~/~ S
eiS~/~eiS~/~|m
i
~
~ m|
= eiS~/~S
m
i
~
~
i
= eiS~/~ |m
2
(7.25)
~
~ n
Ainsi, eiS~/~|m
i est vecteur propre de S
, de valeur propre ~/2. Par ailleurs,
~ /~ iS~
~ /~
iS~
hm
|e
e
|m
i = hm
|m
i = 1. Comme, par dfinition, |
n i est
~
galement une vecteur propre normalis de S n
de valeur propre ~/2, et comme
cette valeur propre est non dgnre, les deux kets doivent tre gaux un facteur
de phase prs :
~
|
n i = ei eiS~/~|m
i
(7.26)
~ n
~ m
La phase dpend du choix de phase lors de la diagonalisation de S
et de S
~ /~
i iS~
De mme, |
n i = e e
|m
i.
Remarque :
La dmonstration repose sur lidentit :
h
i
~ ~a, S
~ ~b = i~S
~ (~a ~b)
S
(7.27)
Or, cette identit est vraie pour nimporte quel moment cintique. En effet, partir
des relations de commutation
x, L
y ] = i~L
z
[L
on trouve
x ax + L
y ay + L
z az , L
x bx + L
y by + L
z bz ]
[L
x, L
y ] + ax bz [L
x, L
z]
= ax by [L
y , L
x ] + ay bz [L
y , L
z]
+ ay bx [L
z , L
x ] + az by [L
z , L
y]
+ az bx [L
z (ax by ay bx ) + i~L
x (ay bz az by ) + i~L
y (az bx ax bz )
= i~L
~ (~a ~b).
= i~L
(7.28)
et
~
~
~ n
~ m
eiL~/~
L
= eiL~/~ L
~
|
nLMi = eiL~/~|mLMi.
(7.29)
(7.30)
107
Dans le cas du spin 12 , cet oprateur a une forme trs simple. En effet, si on
reprsente un ket par un vecteur colonne relatif la quantification dans la direction
z, on peut crire
~
(7.31)
eiS~/~ = ei~~/2
o ~ est le vecteur dfini prcdemment dont les composantes sont les matrices de
Pauli. Mais,
n
n
+
+
X
X
1
1
i~
i~
~
i~
~
/2
=
(7.32)
e
=
2
n!
2
n!
n=0
n=0
et par (7.15)
(~ )
2 = 0
+ i~ (
) = 0
do
i~
~
/2
X i n 1
1
+ ~
= 0
n!
2
n!
n=1,3,5,...
n=0,2,4,...
= cos 0 i
sin
2
2
X
i
2
(7.33)
n
(7.34)
2
2
2 1 i
0 + i
x =
2
2
2 i 1
(7.35)
2 1 i
2 1
1
=
|
n i |{z}
0
2 i 1
2 i
(7.26)
Or,
1
1
0 i
1
=
=
y
i
i
i 0
i
!
!
2 1
2 1
~
Sy
=
2 i
2
2 i
(7.36)
marche !
108
Spin
Remarques :
1. Si on fait une rotation de 2, loprateur associ vaut 0 . Autrement dit, on
a transform un tat en son oppos ! Ceci est vrai pour les spins demi-entiers,
mais pas pour les spins entiers. Cette proprit a t vrifie par des expriences
dinterfrence sur des neutrons, qui, comme les lectrons, possdent un spin 12 .
Il faut faire une rotation de 4 pour se retrouver dans le mme tat avec le
mme signe (S.A. Werner et al., Physical Review Letters 35, 1053, (1975)).
Cest un exemple dune proprit gnrale des rotations : ce nest quaprs une
rotation de 4 quun objet en relation avec son environnement se retrouve dans
son tat initial (argument d Dirac, voir le livre de Jean-Marc Lvy-Leblond
et Franoise Balibar : Quantique).
2. Si on applique la mme rotation ltat |m
i, on obtient bien sr |
n i. En
a
effet, |m
i = | m
i | n
i = |
n i. Si un tat est dcrit par le vecteur
b
i~
~
/2
relatif la quantification
loprateur rotation e
le
dans la direction m,
a
relatif la quantification dans la direction n
.
transforme en ltat
b
3. Une
question voisine mais diffrente est de savoir comment exprimer un vecteur
a
relatif la quantification dans la direction z dans la base relative la
b
quantification dans la direction n
, sachant que n
= R~ (
z ).
a
a
correspond |i = a|
z i+b|
z i. Les coordonnes du vecteur
Ltat
b
b
dans la base |
ni scrivent :
(
a
b
Or,
= h
n |i
= h
n |i
~ /~
iS~
|
n i = e
i~
~
/2
|
z i = e
h
n | = h
z |eiS~/~ = 1
a
=
ei~~/2
1
0
b
=
ei~~/2
0
1
a
i~
~
/2 a
=e
b
b
1
0
0 ei~~/2
!
a
b
!
a
b
(7.37)
7.5
109
Un lectron non relativiste peut donc tre dcrit par 4 degrs de libert : 3 pour
la position dans lespace et un, discret, pour le spin. Ayant choisi une direction pour
quantifier le spin, on peut donc le dcrire par une fonction donde.
(x, y, z; ) C;
x, y, z R;
1 1
{ , }
2 2
(7.38)
Question : Supposons quun lectron soit dcrit par une fonction donde o la
variable spin est relative la direction z :
(x, y, z; z)
(7.40)
XZ
d3 r~ (x , y , z ; z )|r~i |
z i
(7.41)
(x, y, z; n
) = (h~r| h
n|)|i
XZ
=
d3 r~ (x , y , z ; z )h~r|r~ih
n|
z i
(7.42)
XZ
d3 r~ (x , y , z ; z )(~r r~ )h
n|
z i
(7.43)
(x, y, z; z )h
n|
z i
= h
n|((x, y, z; z )|
z i + (x, y, z; z )|
z i)
(7.44)
110
Spin
(x, y, z; n
)
(x, y, z; n
)
i~
~
/2
=e
(x, y, z; m
)
(x, y, z; m
)
(7.45)
Cette proprit amne prfrer dans certains cas reprsenter la fonction donde
dun lectron par un vecteur colonne
appel spineur
(x, y, z; z )
(x, y, z; z )
(7.46)
Application : supposons quun lectron soit dans un tat (x, y, z; z). Quelle est
?
la probabilit de le trouver au point x, y, z avec une projection ~2 dans la direction n
~ dsigne la rotation pour passer de z n
, elle est donne par
Rponse : si
2
|(x, y, z; n
)| , qui sobtient partir de (x, y, z; z) laide de lquation prcdente.
7.5.1
Comme le spin et les coordonnes sont des degrs de libert, ils correspondent
des observables qui commutent,
~ ~r] = [S,
~ p~] = [S,
~ L]
~ =0
[S,
(7.47)
Chacun des oprateurs agit sur les degrs de libert correspondants. Pour dterminer leffet dun oprateur faisant intervenir la fois le spin et des degrs de libert
spatiaux, il suffit de dcomposer ltat dans lespace de Hilbert produit tensoriel et
dappliquer les oprateurs sur les composantes respectives :
(Aspin Aorb )|i =
XZ
(7.48)
eiS~/~ eiL~/~
(7.49)
~ /~
~ et S
~ commutent, sous la forme eiJ~
que lon peut crire, puisque L
, o J~ =
~ + L.
~ Nous verrons au chapitre suivant que loprateur J~ est lui-mme un moment
S
cintique appel moment cintique total.
111
1 1 dU ~ ~
) SL
2m2 c2 r dr
(7.50)
~ S
~ ? Cest lobjet
Cest le couplage spin-orbite. Comment diagonaliser loprateur L
du chapitre suivant.
Remarque : ce couplage vient du fait quen relativit, une particule se dplacant
~ la vitesse ~v sent un champ magntique ~vE~ . Ce
dans un champ lectrique E
c
champ se couple au spin, ce qui rajoute lHamiltonien un terme
~
~
E
E
g |e| ~
|e| ~
S.~v
S.~v
2mc
c
mc
c
(7.51)
~ = V
~ = ~r 1 dV
Mais |e| E
r dr
Hs.o =
|e| ~
1 dV 1
1 1 dU ~ ~
S ~v ~r
=( 2 2
) SL
mc
r dr ec
m c r dr
(7.52)
~
112
Spin
Chapitre 8
Addition des moments cintiques
8.1
Introduction
( 2
J~i |ji mi i = ~2 ji (ji + 1)|ji mi i
(8.1)
Cependant, la somme de plusieurs moments cintiques satisfait les rgles de commutation des moments cintiques. En effet, comme les oprateurs relatifs des moments cintiques diffrents commutent entre eux, on a :
[J1x + J2x + . . . , J1y + J2y + . . . ] = [J1x , J1y ] + [J2x , J2y ] + . . .
= i~J1z + i~J2z + . . .
P
~
Si on dfinit J~ = N
i=1 Ji , on a donc :
[J x , J y ] = i~J z
(8.2)
(8.3)
114
Or, il arrive souvent que les oprateurs individuels ne commutent pas avec lhamiltonien, mais que leur somme commute. Cest par exemple le cas si le systme est
globalement invariant par rotation, mais quil contient des termes du type J~i J~k .
En effet, J~i J~k = Jix Jkx + Jiy Jky + Jiz Jkz ne commute pas avec Ji . Par contre, J~i J~k
commute avec Ji + Jk . Considrons par exemple Jiz + Jkz .
[Jiz , J~i J~k ] = [Jiz , Jix ]Jkx + [Jiz , Jiy ]Jky
= i~Jiy Jkx i~Jix Jky
[Jkz , J~i J~k ] = Jix [Jkz , Jkx ] + Jiy [Jkz , Jky ]
= i~Jix Jky i~Jiy Jkx
[Jiz + Jkz , J~i J~k ] = 0
[Ji + Jk , J~i J~k ] = 0
X
[
Jl , J~i J~k ] = 0
(8.4)
(8.5)
(8.6)
Ainsi, le moment cintique total commute avec le produit scalaire de deux moments
cintiques. Il est donc trs utile en gnral de savoir construire des tats propres de
J z et J~2 .
Dans le cas de 2 moments cintiques, cette construction peut se faire de manire
explicite. Comme il s agit dun cas particulier trs important (moment cintique
~ +S
~ dun lectron autour dun noyau, spin total de deux lectrons. . .), nous
total L
le traitons dans le paragraphe suivant.
8.2
Considrons deux moments cintiques J~1 , J~2 , on peut considrer comme base de
lespace de Hilbert les tats
|j1 j2 m1 m2 i = |j1 m1 i |j2 m2 i
(8.7)
Daprs ce qui prcde, il doit tre possible de construire des combinaisons linaires
qui soient tats propres de J~2 et J z de valeurs propres ~2 j(j + 1) et ~m(m =
j, j + 1, . . . , j). Comme J z = J1z + J2z , la plus grande valeur de m possible est
j1 + j2 , et la plus petite j1 j2 . Par ailleurs, si un tat est vecteur propre de J~2 de
valeur propres j, il appartient un ensemble de 2j + 1 tats relis entre eux par J +
et J et quon peut reprer par m = j, j + 1, . . . , j . Un tel ensemble dtats a
un et un seul reprsentant ayant une valeur donne de m comprise entre j et j. Si
115
n(m) =
(8.8)
j=m
(8.9)
n(j1 + j2 ) = 1
n(j1 + j2 1) = 2
n(j1 j2 ) = j1 + j2 (j1 j2 ) + 1 = 2j2 + 1
n(j1 j2 1) = 2j2 + 1
n(0 ou 1 ) = 2j + 1
2
2
N(j1 + j2 1) = 1
N(j1 + j2 2) = 1
...
N(j1 j2 ) = 1
N(j1 j2 1) = 0
...
(8.10)
(8.11)
116
Par ailleurs, il est clair que N(j1 + j2 ) = 1. En effet, il y a un et un seul tat tel que
J z = j1 +j2 , savoir ltat |j1 j2 j1 j2 >. Autrement dit, il existe un et un seul ensemble
dtats de j donn pour |j1 j2 | j j1 +j2 , et il ny en a aucun pour j |j1 j2 |.
Vrification : comparons les tailles des espaces de Hilbert. L espace produit tensoriel a (2j1 + 1)(2j2 + 1) tats. Lespace ayant 1 ensemble dtats de j donn pour
| j1 j2 | j j1 + j2 a (2(j1 + j2 ) + 1) + (2(j1 + j2 ) 1) + + (2(j1 j2 ) + 1)
tats a bien :
(2(j1 + j2 ) + 1) + (2(j1 + j2 ) 1) + + (2(j1 j2 ) + 1) = (2j1 + 1)(2j2 + 1) (8.12)
(voir la dmonstration graphique ci-dessous).
Conclusions :
Dans lespace de dimension (2j1 +1)(2j2 +1) engendr par les vecteurs |j1 j2 m1 m2 i
les valeurs possibles de j sont :
|j1 j2 | , |j1 j2 + 1| , . . . , j1 + j2
(8.13)
(8.14)
Cette proprit est lanalogue quantique du fait que si on fait la somme de deux
vecteurs ~j1 et ~j2 , le vecteur le plus long quon peut obtenir aura pour longueur
j1 + j2 (ce sera le cas si ~j1 et ~j2 sont parallles et de mme sens), et le vecteur le
plus court quon peut obtenir aura pour longueur |j1 j2 | (ce sera le cas si ~j1 et ~j2
sont parallles et de sens opposs).
8.2.1
Coefficients de Clebsch-Gordan
Dsignons ces tats par |j1 j2 jmi. Nous disposons dsormais de deux bases de
lespace de Hilbert. Le problme est de les relier entre elles :
X
|j1 j2 jmi =
hj1 j2 m1 m2 |j1 j2 jmi|j1 j2 m1 m2 i
(8.15)
m1 ,m2 , (m1 +m2 =m)
117
(8.16)
m1 ,m2
Pour j = j et m = m, il vient :
X
(8.17)
et
, J = J1 + J2
(8.18)
p
j(j + 1) m(m + 1) hj1 j2 m1 m2 |j1 j2 j, mi
p
= j1 (j1 + 1) m1 (m1 + 1) hj1 j2 m1 + 1, m2 |j1 j2 j, m + 1i
p
+ j2 (j2 + 1) m2 (m2 + 1) hj1 j2 m1 m2 + 1|j1 j2 j, m + 1i
(8.19)
118
Considrons un triangle,
D aprs la deuxime relation de rcursion, il suffit de connatre deux des coefficients pour connatre le 3me . Comme tous les coefficients lextrieur des valeurs
possibles sannulent, tous les coefficients peuvent se dduire dun coefficient du bord,
par exemple au point X. Si on choisit le premier coefficient rel, ils le seront tous.
Finalement, le premier coefficient est fix en imposant la relation
X
|hj1 j2 m1 m2 |j1 j2 jji|2 = 1
(8.20)
m1 ,m2 , (m1 +m2 =j)
8.3
119
(8.21)
(8.22)
~ +
On est donc amen chercher les tats propres et les valeurs propres de (L
2
2
~
le paragraphe prcdent, elles sont de la forme ~ j(j + 1) avec j =
S) . 1Daprs
l , . . . l + 1 . Pour l = 0, il y a une seule possibilit : j = 1 . Par contre, ds que
2
2
2
~ S
~ sont alors
l > 0, il y a deux possibilits : j = l 21 . Les valeurs propres de L
donnes par :
2
~ S|l,
~ s, j, mi = ~ (j(j + 1) l(l + 1) 3 )|l, s, j, mi
L
2
4
j= l+1/2 :
3
3
1
(l + )(l + ) l(l + 1) = l
2
2
4
~ S|l,
~ s, l + 1 , mi = ~2 l |l, s, l + 1 , mi
L
2
2
2
j= l-1/2
(8.23)
(l > 0)
(l 1/2)(l + 1/2) l(l + 1)
3
= l 1
4
~ S|l,
~ s, l 1 , mi = ~2 l 1 |l, s, l 1 , mi
L
2
2
2
(8.24)
120
Cas l = 0 , j = 1/2 :
hl, s, m1 m2 |l, s, j, mi = m2 ,m
puisque
m1 = 0 (l = 0)
1
1
1
hl, s, l, |l, s, l + , l i = 1
2
2
2
1
1
Pour l 2 < m < l + 2 , il suffit dutiliser les relations de rcurrence une seule
fois pour relier les coefficients entre eux. En effet, la deuxime relation applique
m2 = 12 relie directement hj1 j2 m1 m2 |j1 j2 j, m1i hj1 j2 m1 + 1, m2 |j1 j2 j, mi puisque
hj1 j2 m1 m2 + 1|j1 j2 j, mi = 0. De mme, la premire relation applique m2 = 21
relie directement hj1 j2 m1 m2 |j1 j2 j, mi hj1 j2 m1 1, m2 |j1 j2 j, mi.
Or, si j1 = l, j = l +
1
2
et m = m1 + 23 , on a
j(j + 1) m(m 1) = l2 + 2l +
3
1
3
m2 m = (l + m + )(l m + )
4
2
2
et
j1 (j1 + 1) m1 (m1 + 1) = l2 + l m2
Ainsi la deuxime relation conduit :
3 1
1
hl, s, m , |l, s, l + , m 1i =
2 2
2
ou encore
1
1 1
hl, s, m , |l, s, l + , mi =
2 2
2
3
1
3
+ 2m = (l m + )(l + m )
4
2
2
l + m 1/2
1 1
1
hl, s, m , |l, s, l + , mi
l + m + 1/2
2 2
2
l + m + 1/2
1 1
1
hl, s, m + , |l, s, l + , m + 1i
l + m + 3/2
2 2
2
Cette relation peut tre rutilise jusqu ce que le dnominateur soit gal l + (l +
1
) + 12 .
2
1 1
1
hl, s, m , |l, s, l + , mi
2s
s2 2
r
l + m + 1/2 l + m + 3/2
1
1 1
...
hl, s, l, |l, s, l + , i
=
l + m + 3/2 l + m + 5/2
2l + 1
2
2 2
r
l + m + 1/2
=
2l + 1
121
8.3.1
r
1
l m + 1/2
, mi =
2
2l + 1
r
l m + 1/2
1
, mi =
2
2l + 1
(8.25)
(8.26)
122
Chapitre 9
Symtries
9.1
Introduction
Uf : oprateur linaire
(9.2)
(9.3)
124
Symtries
Il faut que la valeur moyenne de toute observable dans tout tat ait la mme valeur
quel que soit le point de vue quon adopte. Ainsi, on doit avoir
h|Uf1 AUf |i = hUf |A|Uf i
(9.5)
Uf = Uf
et Uf = Uf1
(9.6)
Ainsi loprateur Uf doit tre tel que Uf = Uf1 . Autrement dit, une opration
de symtrie peut tre dcrite en mcanique quantique par un oprateur unitaire U.
Elle peut tre dcrite de deux faons :
1.
2.
(
A U AU : point de vue passif
|i inchang
(9.7)
(9.8)
(9.9)
125
il faut que
|hU|Ui|2 = |h|i|2
(9.10)
(9.11)
2.
hK|Ki = h|i (= h|i)
(9.12)
Parmi les symtries couramment rencontres en physique, seule lopration renversement du temps est reprsente par un oprateur anti-unitaire (voir ci-dessous).
Toutes les autres oprations sont reprsentes par un oprateur unitaire.
9.2
Dans cette section, nous allons passer en revue les transformations despace et de
temps fondamentales en mcanique quantique non relativiste, et nous allons tablir
la forme de loprateur qui leur est associ.
9.2.1
Transformations despace
Daprs le principe de correspondance, la mme transformation en mcanique quantique doit tre dcrite par
b
~r f (b
~r)
(9.14)
Mais cette transformation doit pouvoir se dcrire par une transformation unitaire :
f (b
~r) = Uf b
~r Uf
(9.15)
|i Uf |i
(9.16)
Si lon adopte le point de vue "actif", les kets sont transforms selon :
126
Symtries
Lemme :
Uf |r~0 i = |f (r~0 )i
(9.17)
Dmonstration :
f (b
~r) = Uf b
~r Uf
b
~rUf = Uf f (b
~r)
b
~rUf |r~0 i = Uf f (b
~r)|r~0 i
= Uf f (r~0 )|r~0 i
= f (r~0 )Uf |r~0 i
(9.18)
Uf (~
ro ) est donc vecteur propre de ~r de valeur propre f (r~0 ). Mais, par dfinition
des vecteurs propres de b
~r on a :
b
~r |f (r~0 )i = f (r~0 )|f (r~0 )i
(9.19)
~r Uf
f 1 (b
~r) = Uf b
f 1 (f (b
~r)) = b
~r
Uf f (b
~r)Uf = Uf Uf b
~r Uf Uf = b
~r
Uf |~ri = |f 1(~r)i
(9.21)
127
Translations
Considrons une translation par a dun systme un degr de libert :
x x + a
On cherche un oprateur T (a) tel que
T (a) x T (a) = x + a
(9.22)
(9.23)
=
=
=
=
aT (a)|xi
aT (a)|xi
(x + a)T (a)|xi
|x + ai
(9.24)
(9.25)
Le facteur 1 est conventionnel, mais le choix dun facteur i est intressant car il
conduit un oprateur K hermitique. En effet, T () tant unitaire, on a :
T ()T () = 1l
soit
1l iK + iK + O( 2) = 1l
K = K
(9.27)
[
x, 1l iK] = 1l + O( 2 )
[
x, K] = i1l
(9.28)
128
Symtries
p
~
(9.29)
Enfin, comme les translations commutent entre elles, on peut dcomposer une
translation finie en produit de translations :
T (a) = T (a/N)N
1
a
= [1l i K + O( 2 )]N
N
N
Mais
lim [1 +
En effet,
lim ln[(1 +
x
1
+ O( 2 )]N = ex
N
N
1
x
+ O( 2 ))N ] =
N
N
(9.30)
x
1
+ O( 2 )]
N
N
N
x
1
= lim N( + O( 2 ))
N
N
N
= x
lim N ln[1 +
Ainsi,
T (a) = exp(ia
p/~)
(9.31)
(9.33)
T (~a) = exp(i~a b
~p/~)
(9.34)
Pour sen convaincre, le plus simple est de dcomposer T (~a) suivant les 3 directions
de lespace :
T (~a) = T (ax~ux )T (ay ~uy )T (az ~uz )
(9.35)
et dutiliser le rsultat obtenu une dimension. Comme les composantes de loprateur impulsion px , py et pz commutent, le produit des exponentielles est gal
lexponentielle de la somme, do le rsultat annonc.
129
Rotations
Considrons dsormais une rotation R~ dangle = k~
k. Loprateur dcrivant
cette rotation en mcanique quantique est dfini par
R (~
) b
~r R(~
) = R~ (b
~r)
(9.36)
R(~
)|~ri = |R~ (~r)i
(9.37)
Daprs les formules gnrales de transformations despace, cet oprateur agit selon
(9.38)
(9.39)
(9.40)
[b
~r, R(~n)] = R(~n)~n b
~r + O( 2 ) = ~n b
~r + O( 2)
(9.41)
(9.42)
ou encore
(9.43)
130
Symtries
En crivant R(~
) = R( N~ )N , et en prenant la limite N + , il vient :
~b
~ L
R(~
) = exp(i
)
~
(9.44)
(9.45)
(9.46)
(~r)(~r)d~r =
(~r)(~r)d~r = (~r)(~r)d~r
d~r
(9.47)
(9.48)
(9.49)
b
~r = b
~r
(9.50)
b
~r |~r0 i = b
~r | ~r0 i = ~r0 | ~r0 i = b
~r |~r0 i
b
~r = b
~r
(9.51)
131
De mme , b
~p = b
p~. Dmontrons le pour une composante :
[b
x, pb]
[b
x, pb]
b
x b
p b
p b
x
[b
x, b
p]
b
p
=
=
=
=
=
i~
i~
i~
i~
b
p
(9.52)
(9.53)
~b = L
~b
L
(9.54)
Les vecteurs qui changent de signe dans une opration de parit sont appels vecteurs
polaires. Ceux qui ne changent pas de signe sont appels vecteurs axiaux.
9.2.2
Renversement du temps
(9.55)
(9.56)
Dans ce cas, si le couple (~r(t),~p(t)) est solution, le couple (~r (t) ~r(t),~p (t)
~p(t)) est galement solution.
Dmontrons le dans un cas simple : Soit q(t), p(t) une solution des quations de
Hamilton :
(
q(t)
= 2 H(q(t), p(t))
(9.57)
p(t)
= 1 H(q(t), p(t))
2 H(q, p) = 2 H(q, p)
(9.58)
Dmontrons que {
q(t) q(t), p(t) p(t)} est solution. Les quations de Hamilton appliques au temps t donnent :
(
q(t)
= 2 H(q(t), p(t))
(9.59)
p(t)
= 1 H(q(t), p(t))
132
Symtries
p(t) = p(t)).
On en dduit :
(
q(t) = 2 H(
q(t),
p(t))
p(t) = 1 H(
q(t),
p(t))
Mais
1 H(
q(t),
p(t)) = 1 H(
q(t), p(t))
2 H(
q(t),
p(t)) = 2 H(
q(t), p(t))
Ainsi,
(
q(t) = 2 H(
q (t), p(t))
p(t) = 1 H(
q(t), p(t)) CQFD
On est donc naturellement amen considrer la transformation dfinie par :
(
1 b
~r = b
~r
1 b
~p = b
p~
ou, de faon quivalente :
(
b
~r 1 = b
~r
1
b
~p = b
p~
h|[xbi , pbi ]1 |i
h| [xbi , pbi]|i
h| i~|i
i|i
(9.60)
(9.61)
(9.62)
133
(9.64)
|i =
d~r(~r)|~ri
|i =
d~r (~r)|~ri
il vient :
soit
|i = | i
(9.66)
(9.67)
(9.69)
~b = b
qui dcoule de celles de b
~r et b
p~ et de la dfinition L
~r b
~p.
9.2.3
volution temporelle
U(t, t0 ) = e ~ H(tt0 )
(9.70)
Du point de vue de Heisenberg (ou point de vue passif), ce sont les observables qui
sont transformes :
bH (t) = U (t, t0 )AU(t,
b
A
t0 )
(9.71)
134
Symtries
Du point de vue de Schrdinger, ce sont les vecteurs dtats qui sont transforms :
|(t)i = U(t, t0 ))|(t0 )i
(9.72)
9.3
(9.73)
(9.74)
De faon tout fait gnrale, cette relation implique que si |i est tat propre de
H, K|i lest aussi. En effet, si H|i = E|i,
HK|i = KH|i = KE|i = EK|i
(9.75)
Ainsi, si K|i nest pas proportionnel |i, la valeur propre E est dgnre. Si
loprateur K est diagonalisable cela implique quon peut diagonaliser H et K dans
une base commune.
Enfin, si K est hermitique, cela implique quil correspond une quantit conserve.
De ce point de vue, les diffrentes symtries prsentes dans la section prcdente
(parit, renversement du temps, translations, rotation) se sparent naturellement
en deux classes : les symtries discrtes et les symtries continues. tudions les
consquences de linvariance de lhamiltonien dans ces diffrents cas.
9.3.1
Symtries discrtes
135
Renversement du temps
Dans ce cas, loprateur nest ni hermitique, ni unitaire. Par contre, il peut
conduire dans certains cas une dgnrescence. Ce sera le cas pour les tats propres
de H tels que |i ne soit pas proportionnel |i.
Pour prciser dans quels cas on peut sattendre trouver une dgnrescence, remarquons tout dabord que 2 ne change pas le systme. Il doit donc tre proportionnel
lidentit un facteur de phase prs :
2 = ei 1l
(9.76)
Proposition : ei = 1
Dmonstration : considrons 2 kets |a i et |b i. Daprs lanti-unitarit de , il
vient :
ha |b i =
=
2i
e
=
i
e
=
Si ei = 1, on a alors :
hb |2 a i = ei hb |a i
ei ha |2 b i = ei2 ha |b i
1
1
(9.77)
ha |b i = hb |a i
(9.78)
h|i = 0
(9.79)
z
z
J = J
J x = J x
y
J = J y
J + = (Jx + iJy ) = Jx iJy = Jx + iJy
J + = J et J = J +
(9.80)
136
Symtries
(9.81)
(9.82)
On a alors :
J + |j, mi = ei(j,m) J + |j, mi
p
= ei(j,m) j(j + 1) m(m 1)|j, m + 1i
Mais J = J ,
J + |j, mi = J |j, mi
p
= j(j + 1) m(m 1)|j, m 1i
p
= ei(j,m1) j(j + 1) m(m 1)|j, m + 1i
(9.83)
ei(j,m) = ei(j,m1)
(9.84)
(9.85)
On a donc :
|j, mi = ei(j) (1)jm |j, mi
2 |j, mi = (|j, mi)
= ei(j) (1)jm ei(j) (1)j+m|j, mi
2 |j, mi = (1)2j |j, mi
(9.86)
137
Parit
Loprateur parit est un oprateur linaire quon peut facilement diagonaliser.
Comme 2 = 1l, ses valeurs propres sont 1, et partir de nimporte quel ket
de lespace de Hilbert qui nest pas vecteur propre de , on peut construire deux
vecteurs propres de :
|+ i = |i + |i
| i = |i |i
(9.87)
(9.88)
|+ i = |+ i tat pair
| i = | i tat impair
(9.89)
Si lhamiltonien est invariant dans une opration de parit, on peut donc chercher
les tats propres sparment dans les sous-espaces des tats pairs et des tats impairs.
Exemple : mouvement dune particule dans un potentiel central. La transformation
de parit ~r ~r laisse lhamiltonien invariant. Les solutions doivent donc avoir une
~ invariant, L
~ commute avec , et on
parit bien dfinie. Comme la parit laisse L
doit pouvoir les diagonaliser dans une base commune. Cest effectivement le cas. En
coordonnes sphriques, la parit correspond la transformation
(r, , ) (r, , + )
(9.90)
et on peut vrifier que les harmoniques sphriques sont paires si l est pair et impaires
si l est impair.
9.3.2
Symtries continues
Dans le cas des translations ou des rotations, nous avons vu que les oprateurs
i
se transforment laide doprateurs unitaires de la forme e ~ ~a~p pour les translai
~
tions et e ~ ~ L pour les rotations. En fait, on peut dmontrer que pour tout groupe
doprateurs unitaires dpendant dune variable continue et satisfaisant la relation
U(1 + 2 ) = U(1 )U(2 )
(9.91)
(9.92)
138
Symtries
(9.93)
Pour que les transformations U() forment un groupe, elles doivent contenir U( =
0) = 1l. Faisons un dveloppement limit de U() autour de = 0. Il vient :
U() = 1l iT + O(2)
[H, U()] = i[H, T ] + O(2) = 0
[H, T ] = 0
(9.94)
Pour les symtries continues, il existe ainsi un oprateur hermitique, donc une observable, qui commute avec lhamiltonien. Autrement dit, le gnrateur de la transformation est une quantit conserve.
Exemples : si lhamiltonien est invariant par translation, [H, Pi ] = 0. Si lhamiltonien est invariant par rotation, [H, Li ] = 0.
Comme un oprateur hermitique est toujours diagonalisable, il en rsulte quon
peut diagonaliser H et le gnrateur de transformations qui laissent H invariant
dans une base commune. Sil y a un seul gnrateur, cest bien sr lui quon va
utiliser. Par exemple, en dimension 1, on peut utiliser p comme gnrateur, ce qui
conduit aux fonctions propres eipx/~, c..d aux ondes planes. Mais sil y plusieurs
gnrateurs, il faut distinguer deux cas, illustrs par les translations et les rotations.
Translations : il y a 3 gnrateurs px , py , pz . Ils commutent entre eux. Du coup,
si lhamiltonien commute avec ~p, on peut le diagonaliser dans une base commune
p~x , p~y , p~z . Ce raisonnement conduit aux ondes planes ei~p~r/~.
x, L
y , L
z , mais ils ne commutent pas entre
Rotations : il y a aussi 3 gnrateurs L
eux. Du coup, on ne peut priori utiliser quun seul de ces gnrateurs la fois.
~ 2 , et on peut par exemple
En ralit, lune des composantes commute aussi avec L
2
~ . Cest ce que nous faisons pour
diagonaliser H dans une base commune Lz et L
le cas de la particule dans un potentiel central. La prsence de gnrateurs qui
ne commutent pas entre eux est lorigine de dgnrescence sils commutent avec
~ 2 , L+ et L engendrent
lhamiltonien. Dans le cas des rotations, si lon a utilis Lz et L
en effet des tats de mme nergie sils nannulent pas le vecteur sur lequel on les
applique.
9.4
139
La succession de deux ou plusieurs oprations de symtrie est encore une opration de symtrie. Lensemble des oprations de symtrie que lon engendre par
application successive de ce principe constitue en gnral un groupe.
Rappel : un groupe est dfini par les rgles suivantes :
1. Le produit de deux lments du groupe est un lment du groupe : a, b, G
ab G.
2. Le produit est associatif : a(bc) = (ab)c.
3. Il existe un lment neutre e G tel que ea = ae = a ( a G).
4. Chaque lment a un inverse not a1 tel que aa1 = a1 a = e.
Le groupe est dit commutatif si ab = ba ( a, b). Il est dit fini sil possde un
nombre fini dlments. Il est dit discret si le nombre dlments est fini ou dnombrable. Il est dit continu sinon.
Exemples :
1. Loprateur parit constitue avec lidentit 1l un groupe dordre 2 : 1 = ,
2 = 1l.
2. Lensemble des translations forme un groupe continu :
T (~a)T (~b) = T (~a + ~b)
T (~a)1 = T (~a)
(9.95)
9.4.1
(9.96)
140
Symtries
Reprsentation irrductible
Si lespace de dimension n dans lequel les matrices dune reprsentation agissent
peut tre spar en sous-espaces tels que toutes les matrices soient diagonales par
bloc, la reprsentation est dite rductible. Si cest impossible, la reprsentation est
dite irrductible.
Invariance et reprsentation
Supposons que H soit invariant par certaines oprations de symtrie, autrement
dit quil commute avec les oprateurs U(a) associs aux lments a dun groupe G.
(9.97)
[H, U(a)] = 0
On suppose par ailleurs que U(ab) = U(a)U(b). Soit E une valeur propre n fois
dgnre de H :
H|k i = E|k i , k = 1 . . . n
(9.98)
Proposition : les matrices D(a) dfinies par
Dij (a) = hi |U(a)|j i
(9.99)
(9.100)
XX
j
X
l
|l i
(9.102)
141
(9.103)
(9.104)
Dlk (ba) =
ou encore
Application : Si un hamiltonien commute avec les lments dun groupe, ses tats
propres peuvent tre classs en fonction des reprsentations irrductibles auxquelles
ils appartiennent. La thorie des groupes permet de dterminer uniquement sur la
base des relations entre lments du groupe les reprsentations irrductibles et la
faon dont les vecteurs associs une reprsentation irrductible se transforment
par les lments du groupe.
Exemple : la parit constitue un groupe avec lidentit : G = {1l, }. Ce groupe
possde deux reprsentations irrductibles de dimension 1 : lune correspond aux
tats pairs, lautre aux tats impairs.
Reprsentation du groupe des rotations
Le groupe des rotations possde des reprsentations irrductibles de dimension
~ et L
~ 2 . Cette affirmation
2l + 1 construites sur la base des tats propres |l, mi de L
repose sur le rsultat suivant :
Proposition :
i
hl m |e ~ ~ L |l, mi = 0 si l 6= l
(9.105)
e ~ ~ L |l, m;
~ i = e ~ m |l, m;
~i
(9.106)
Dm m (R(~
)) = hlm |e ~ ~ L |l, mi
(9.107)
9.5
De mme quil est utile de classer les oprateurs vectoriels en vecteurs axiaux ou
polaires suivant comment ils se transforment vis--vis de la parit, il est trs utile de
142
Symtries
9.5.1
Vecteurs
(9.109)
(9.110)
Or cette dmonstration ne fait aucune hypothses supplmentaires sur ~r. Elle peut
~ = (Ax , Ay , Az ).
donc tre tendue sans aucune modification tout oprateur A
Exemple : ~p est un vecteur. En effet, nous avons vu loccasion de la rsolution
j ] = i~ijk pk .
de lquation de Schrdinger dans un potentiel central que [
pi , L
9.5.2
Tenseurs
o les matrices Dlk (R~ ) constituent une reprsentation du groupe des rotations.
Remarque 1 : Cest bien une gnralisation de la notion de vecteurs. En effet, pour
un vecteur, on a :
A
~ ) = R
~
R(~
)1 AR(~
(9.112)
143
~
cartsiennes. On en dduit :
R(~
~ )1
~ )R(~
)AR(~
R(~
)R(~
)1 AR(~
)1 = R
~
R(~
~ = R
~ )1
A
)AR(~
(9.113)
1 = t R
, puisque R
~ est une matrice orthogonale.
Mais, R
~
~ )1 =
R(~
)AR(~
R(~
)Ai R(~
)1 =
R(~
)Ai R(~
)1 =
A
~
R
~
X
X
j
ij
Aj
Aj R
ji
(9.114)
Remarque 2 : Cette convention pour dfinir les tenseurs vient dun autre point de
vue, celui des transformations canoniques. Par analogie avec la mcanique classique,
une transformation canonique est une transformation qui ne change aucune proprit
du systme. Une telle transformation consiste changer simultanment les vecteurs
et les oprateurs. Mais si on change les vecteurs et les oprateurs laide dun
oprateur U :
|i U|i
(9.115)
A U AU
(9.116)
|Ui
h|A|i
hU|U AU
U|i
= h|U U AU
= h|A|i
Autrement dit, la transformation canonique associe une opration de symtrie
est dcrite par :
(
|i U|i
(9.117)
A
U AU
Comme en mcanique classique, une transformation canonique bien choisie peut
considrablement simplifier le problme.
144
9.5.3
Symtries
k
X
(k)
Tkq Dq q (R~ )
(9.119)
q =k
q
q
[Jz , Tk ] = qT
k
p
[J+ , Tkq ] = pk(k + 1) q(q + 1)Tkq+1
[J , Tkq ] =
k(k + 1) q(q 1)Tkq1
(9.120)
y
Dmonstration : Il suffit de considrer des rotations infinitsimales autour de x,
~ (voir exercice).
et z, et dutiliser les lments de matrice des composantes de L
~ est un vecteur, les oprateurs :
Proposition : Si A
T11 =
Ax iAy
, T10 = Az
, T11 =
Ax + iAy
(9.121)
(9.122)
145
La premire condition dcoule directement des proprits des coefficients de ClebschGordan. La deuxime condition vient du fait que hjkmq|jkj m i = 0 sauf si :
j k j
k j j
|j k| j j + k
j j+k
k j j
k j + j
k j j
|j j | k j + j
(9.124)
rang 2 (A1 B2 + A2 B1 , A1 B3 + A3 B1 , A2 B3 + A3 B2 ,
~ B)
~
A1 B1 A2 B2 , 3A3 B3 A.
(9.125)
(9.126)
(9.127)
146
Symtries
Chapitre 10
Mthodes dapproximation I :
Problmes indpendants du temps
Il existe de nombreux problmes - limmense majorit ! - pour lesquels on ne sait
pas trouver exactement les tats propres et les nergies propres de lHamiltonien.
Diffrentes techniques approximatives existent permettant nanmoins dobtenir des
informations pertinentes.
10.1
Approche variationelle
Lide de base de cette mthode repose sur le thorme suivant, connu sous le
nom de principe variationnel :
( |i)
h|H|i
E0
h|i
E0 (nergie du fondamental)
(10.1)
X
N
h|H|i =
X
N
E0
EN |NihN|
EN |h|Ni|2
X
N
|h|Ni|2 = E0
= E0 h|i CQFD.
X
N
h|NihN|i
(10.2)
148
|i =
h|H|i =
ci |ii
|ci |2 Ei E0
X
i
|ci |2 = E0 h|i
(10.3)
H=
~2 d2
1
+ m 2 x2
2
2m dx
2
(10.4)
I1 =
Posons
In =
1
dx
x
= [arctan( )]+
=
+a
a
a
a
dx
2
(x + a)n
x2
dIn
= nIn+1
da
1 dIn
In+1 =
n da
dI1
do I2 =
= a3/2
da
2
3 5/2
a
I3 =
8
5 7/2
I4 =
a
16
1
dx d2
(
)dx =
x2 + a dx2 x2 + a
1
d
( 2
)
dx x + a
149
2
dx
+
d
1
1
(
)
+ 2
x + a dx x2 + a
d
2x
1
=
2
2
dx x + a
(x + a)2
Z
dx d2
1
4x2
(
)dx =
dx = 4[I3 aI4 ]
x2 + a dx2 x2 + a
(x2 + a)4
Z
dx
x2 2
= I1 aI2
(x + a)2
1
~2
(4)[I3 aI4 ] + m 2 [I1 aI2 ]
2m
2
h|i = I2
h|H|i
~2 1 1
=
+ m 2 a = E(a)
h|i
4m a 2
dE
= 0 pour
da
~
amin =
2m
1
Emin = E(amin ) = ~
2
h|H|i =
(10.5)
10.2
(10.6)
o H0 est lhamiltonien que lon sait rsoudre exactement (par exemple un oscillateur harmonique) et V est un terme complmentaire appel perturbation tel que
= H
0 + V ne possde plus de solution exacte (par exemple un terme dordre
H
suprieur 2 en x).
150
H0 |p i = p |p i
(10.8)
Si est suffisamment petit, on peut esprer crire la solution sous la forme dun
dveloppement en puissances de :
2
(2)
|n i = |n i + |(1)
n i + |n i + . . .
En = n + En(1) + 2 En(2) + . . .
(10.9)
Il vient :
(1)
(2)
(H0 + V )(|n i + |n i + 2 |n i + . . . )
(1)
(2)
(1)
(2)
= (n + En + 2 En + . . . )(|n i + |n i + 2 |n i + . . . )
(10.10)
2. Ordre 1
H0 |n i = n |n i
(10.11)
(1)
(1)
H0 |(1)
n i + V |n i = n |n i + En |n i
(10.12)
151
3. Ordre k ( 2) :
(1)
(k1)
(k)
(k1) i = n |(k)
H0 |(k)
i + + En(k1) |(1)
n i + V |n
n i + En |n
n i + En |n i
(10.13)
Faisons le produit scalaire de lordre 1 par hn | :
(1)
(1)
hn |H0 |(1)
n i + hn |V |n i = n hn |n i + En hn |n i
(1)
(10.14)
(10.15)
(k)
(k1) i
hm |H0 |(k)
n i + hm |V |n
(1)
(k1)
n hm |(k)
i + + En(k) hm |n i
n i + En hm |n
(k1) i
m hm |(k)
n i + hm |V |n
(1)
(k1)
=
n hm |(k)
i + + En(k1) hm |(1)
n i + En hm |n
n i
hm |(k)
n i =
1
(1)
(k1)
(k1)
(1)
hm |V |(k1)
i
E
h
|
i
E
h
|
i
m
m
n
n
n
n
n
n m
(k)
(1)
(k1)
(1)
(k1)
1
hm |V |n i
n m
(10.16)
152
ce qui dfinit |n i.
En(2) = hn |V |(1)
n i
X
=
hn |V |m ihm |(1)
n i
m
m6=n
hn |V |m ihm |(1)
n i
(1)
puisque hn |n i = 0 , do :
En(2) =
h
|
V
|
i
X
m
n
m6=n
(10.17)
n m
Remarques :
1) Si |n i est le fondamental, n m < 0 ( m). Le terme de deuxime ordre
abaisse donc toujours lnergie du fondamental.
1
2) Il apparat dans toutes les formules des dnominateurs du type n
pour m 6= n.
m
Cest une indication que cette approche ne peut pas sappliquer un niveau dgnr. Ce cas sera trait dans le paragraphe suivant.
hm |(2)
n i
1
(1)
(1)
(1)
hm |V |n i En hm |n i
=
n m
!
X
1
(1)
=
hm |V |p ihp |(1)
n i hn |V |n ihm |n i
n m p6=n
1
=
n m
10.2.1
X hm |V |p ihp |V |n i
p6=n
n p
hn |V |n ihm |V |n i
n m
Normalisation
Si lon veut calculer la valeur moyenne dune observable dans ltat perturb, il
faut crire :
>= hn |O|n i
<O
hn |n i
153
(10.18)
(10.19)
on a :
hn |n i = 1 +
+
X
k,l=1
(l)
k+l h(k)
n |n i
(10.20)
(10.21)
soit
hn |n i = 1 + 2
m6=n
hn |n i = 1 + 2
10.2.2
(1)
h(1)
n |m ihm |n i
X hm |V |n i
m6=n
(n m )2
(10.22)
(10.23)
154
|
V
|
i
X hm
n
(2)
E =
n
(n m )
m6=n
2
X hm |V |n i
|n m |
m6=n
2
1 X
hm |V |n i
m6=n
1
=
X
m
hn |V |m ihm |V |n i hn |V |n i
1
hn |V 2 |n i hn |V |n i2
=
(2)
(1)
La condition En En sera donc satisfaite ds que :
h |V 2 | i
n
n
hn |V |n i
hn |V |n i
(10.24)
De faon plus simple, tronquer la srie de perturbation a des chances dtre une
bonne approximation si les lements de matrice de la perturbation sont petits par
(1)
rapport lcart entre niveaux. En effet, les coefficients de |n i sont petits ds que
10.2.3
h |V | i
m
n
1
n m
(10.25)
Thorie de Brillouin-Wigner
m6=n
|m ihm |n i
(10.26)
Les composantes hm |n i sont des O() puisquelles tendent vers 0 quand tend
vers 0. Faisons apparatre explicitement cette proprit en faisant le produit scalaire
de (H0 + V )|n i = En |n i par hm |. Il vient :
(En m )hm |n i = hm |V |n i
ou encore
hm |n i =
hm |V |n i
(En m )
155
(10.27)
(10.28)
En reportant cette expression dans la dcomposition de |n i sur la base non perturbe, il vient :
X
hm |V |n i
(10.29)
|m i
|n i = |n i +
E
n m
m6=n
En itrant cette quation, il vient :
|n i = |n i +
+2
m6=n
m6=n,j6=n
|m i
|m i
hm |V |n i
En m
1
1
hm |V |j i
hj |V |n i + . . .
En m
En j
(10.30)
(10.31)
m6=n
hn |V |m i
m6=n,j6=n
hn |V |m i
1
hm |V |n i
En m
(10.32)
1
1
hm |V |j i
hj |V |n i + . . .
En m
En j
156
sont en gnral meilleurs que ceux de la thorie de Rayleigh-Schrdinger car lnergie contient galement une infinit de termes dordre suprieur du dveloppement
de Rayleigh-Schrdinger.
10.3
(10.33)
X
j
hnj |n i|nj i +
X
m
hm |n i|mi
(10.34)
o les composantes hnj |n i sont des O(1) et les composantes hm |n i sont des
O(). Lquation aux valeurs propres
(H0 + V )|n i = En |n i
(10.35)
(10.36)
X
j
X
hni |V |m ihm |n i (10.37)
m
10.3.1
157
(10.39)
(10.40)
le systme se rcrit :
(1)
Ce problme aux valeurs propres possde k solutions. Si lon dsigne par En,i les k
valeurs propres de la matrice M (1) , o i peut prendre toutes les valeurs de 1 k, et
par ~ui les vecteurs propres associs, les k solutions En,i et |n,ii sont donnes par
(1)
En,i = n + En,i
hnj |n,ii = uij
(10.41)
(10.42)
Cest donc bien la base qui annule les lments non diagonaux de V .
(1)
Remarque 1 : En,i 6= hni |V |ni i !
(1)
Remarque 2 : En gnral, les corrections En,i sont toutes diffrentes. On dit alors
que la perturbation a lev la dgnrescence.
Exemple :
Considrons 2 niveaux dgnrs |1 i et |2 i. La leve de dgnrescence est obtenue en diagonalisant la matrice Vij = hni |V |nj i, ce qui correspond lquation
aux valeurs propres :
V11 E
V12
V21
V22 E
=0
158
q
1
[V11 + V22 (V11 + V22 )2 4V11 V22 + 4 |V12 |2 ]
=
2
q
1
1
=
(V11 + V22 )
(V11 V22 )2 + 4 |V12 |2
2
2
(10.43)
(10.44)
E = V |V12 |
(1)
(1)
(10.45)
E+ E = 2|V12 |
La leve de dgnrescence est linaire dans les termes non diagonaux. Ce rsultat
est contraster avec la contribution des lments de matrice non diagonaux avec
des tats non dgnrs au dpart, qui est elle toujours quadratique.
Si V12 = 0 on trouve
(
(1)
E+ = V11
(1)
E = V22
Mais si V12 6= 0, ce nest pas le cas (voir remarque ci-dessus) !
10.3.2
sur hm |. Il vient :
ou encore
(H0 + V )|n i = En |n i
(10.47)
(En m )hm |n i = hm |V |n i
(10.48)
hm |n i =
hm |V |n i
En m
(10.49)
159
X hm |V |n ihn |n i
i
i
+ O(2 )
n m
i
+2
ou encore
(En n )hni |n i =
X
j
n m
hni |V |nj i + 2
hnj |n i
n m
hnj |n i
Comme dans le calcul au premier ordre, lensemble de ces quations pour i = 1, ..., k
correspond un problme aux valeurs propres qui peut se rcrire :
(10.50)
n m
(10.51)
(2)
Si lon dsigne par En,i les valeurs propres de la matrice M (2) et par ~v i les vecteurs
propres associs, les k solutions En,i et |n,ii sont donnes par
(2)
En,i = n + En,i
160
thorie des perturbations dgnres, les corrections valables jusqu un ordre donn
se calculent comme les valeurs propres dune matrice qui contient des contributions
de tous les ordres infrieurs.
Remarque 2 : Pour aller au-del de lordre 1, il ny a pas dalgorithme rcurrent
du mme type que celui de Rayleigh-Schrdinger qui permet de calculer simplement
les corrections un ordre donn sur la base des rsultats aux ordres prcdents.
Une thorie systmatique consiste tablir la forme de loprateur qui agit dans le
sous-espace dgnr et dont les valeurs propres donnent les corrections lnergie
un ordre donn. Cet oprateur sappelle lHamiltonien effectif. Sa drivation systmatique sort du cadre de ce cours. Une drivation de lHamiltonien effectif lordre
2 est prsente dans la section suivante.
Remarque 3 : Si, par exemple pour des raisons de symtrie, hnj |V |ni i = 0, la dgnrescence ne sera leve quau second ordre, et les valeurs propres correspondent
la diagonalisation de la matrice
X hnj |V |m ihm |V |ni i
n m
(10.52)
Les situations o la dgnrescence nest pas leve au premier ordre sont frquentes,
et la thorie des perturbations dgnres au second ordre est un outil dusage trs
courant.
10.3.3
Hamiltonien effectif
(10.53)
Dsignons par P le projecteur sur le sous-espace dgnr, et par Q son complmentaire (Q = 1l P ) qui projette sur tous les autres tats. On cherche donc un
oprateur tel que
Hef f P |0 i = E0 P |0 i
(10.54)
(10.55)
161
1
QHP |0 i = E0 P |0 i
E0 QHQ
1
QHP
E0 QHQ
1
QHP
= P H0 P + P V P + P HQ
E0 QHQ
(10.56)
Hef f = P HP + P HQ
(10.57)
1
QV P
E0 QHQ
(10.58)
Ce rsultat est exact, mais il contient lnergie inconnue E0 . Suivant la facon dont
1
on dveloppe le dnominateur E0 QHP
, on peut obtenir des thories de perturbation
de type Rayleigh-Schrdinger ou Brillouin-Wigner. Pour deux oprateurs A et B,
on peut crire :
n
1
1
1X
B
=
AB
A n=0
A
En effet,
(A B)
= [(1 BA )A]
1 1
= A (1 BA )
(10.59)
=A
+
X
n=0
(BA1 )n
(10.60)
162
Posons
A = 0 QH0 Q
B = QV Q E0 + 0
(10.61)
On en dduit le dvelopement :
n
X
1
1
(QV Q E0 + 0 )
QV P
Hef f = P H0 P +P V P +P V Q
0 QH0 Q n=0
0 QH0 Q
(10.62)
Le terme n = 0 ne dpend pas de lnergie inconnue E0 . Il permet de calculer
lnergie perturbe lordre 2. Cest le rsultat tabli prcdemment de facon moins
systmatique.
Chapitre 11
Mthodes dapproximation II :
Problmes dpendants du temps
11.1
Introduction-Oprateur dvolution
Lvolution temporelle dun systme en mcanique quantique est rgie par lquation de Schrdinger
i~
|(t)i = H(t)|(t)i
t
(11.1)
(11.2)
H(tt
0)
~
(11.3)
dpend
Pour obtenir une expression explicite de loprateur dvolution lorsque H
du temps, revenons lquation diffrentielle satisfaite par U (t, t0 ) :
i~
U (t, t0 )
U (t, t0 ) = H(t)
t
(11.4)
1 )U(t
1 , t0 )
i~ U (t, t0 ) U (t0 , t0 ) =
dt1 H(t
t0
(11.5)
164
0 , t0 ) = 1l. On a donc :
Mais U(t
t0 ) = 1l i
U(t,
~
1 )U (t1 , t0 )
dt1 H(t
(11.6)
t0
i
U (t, t0 ) = 1l
~
1) +
dt1 H(t
t0
i
~
2 Z
dt1
t1
1 )H(t
2 )U (t2 , t0 ) (11.7)
dt2 H(t
t0
t0
n Z
+
X
i
n=1
dt1
t0
t1
t0
dt2
tn1
t0
1 ) H(t
n)
dtn H(t
(11.8)
Cette expression est difficile utiliser car les bornes des intgrales sont variables.
Nous allons rcrice cette expression de manire ce que toutes les intgrales soient
effectues de t0 t.
Dans ce but, nous dfinissons loprateur chronologique T par :
p(1) ) H(t
p(n) )) = H(t1 ) H(tn ) si t1 > > tn
T (H(t
(11.9)
U (t, t0 ) = 1l +
dt1
dt2
dtn T H(t1 ) H(tn )
(11.10)
~
n! t0
t0
t0
n=1
car lintgrale dans chacun des n! secteurs dfinis par la position relative des ti est
la mme vu que loprateur chronologique les remet dans le mme ordre que dans
lexpression initiale.
Cette expression peut tre condense en :
t0 ) = T
U(t,
Remarques :
i
exp
~
t
t0
)dt
H(t
(11.11)
165
Rt
R
)dt 6= exp i t dt H(t
) .
1. Dans le cas gnral, nous avons T exp i
H(t
~ t0
~ t0
Rt
On ne peut donc pas en gnral calculer lintgrale t0 H(t )dt , puis lexponentielle pour en dduire U (t, t0 ), cause de loprateur T . Pour un calcul explicite
dans le cas gnral, il faut revenir lquation 11.10, et calculer chaque terme
du dveloppement (o les H(ti ) apparaissent toujours dans lordre chronologique), puis calculer la somme.
i ), H(t
j )] = 0 pour tous les ti , tj , loprateur T est sans effet puisquil
2. Si [H(t
rordonne des termes qui de toutes facon commutent, et on peut donc crire :
n Z t
Z t
Z t
+
X
1
i
1 ) H(t
n ), (11.12)
dt1
dt2
U(t, t0 ) = 1l +
dtn H(t
~
n!
t
t
t
0
0
0
n=1
do :
i
U (t, t0 ) = exp
~
)
dt H(t
t0
i ), H(t
j )] = 0 ( ti , tj )
si [H(t
(11.13)
Rt
), puis son exponentielle, pour dterDans ce cas, on peut calculer t0 dt H(t
miner U (t, t0 ).
est indpendant du temps, nous avons bien sr [H(t
i ), H(t
j )] = 0, et de
3. si H
Rt
t0 )).
H(t
plus t0 dt H(t ) = H(t t0 ) , et par consquent U (t, t0 ) = exp( i
~
Nous retrouvons lquation (11.3).
i ), H(t
j )] 6= 0, il faut en principe calculer tous
4. Dans le cas gnral o [H(t
les termes. Cest evidemment en gnral infaisable, et un tel dveloppement
nest utile que si on peut se limiter quelques termes. Cest pourquoi ce genre
dapproche sapplique avant tout des problmes o lhamiltonien est de la
forme :
0 + V (t)
H(t)
=H
(11.14)
0 . Lide est alors dobtenir un dveloppement de
o V (t) est petit devant H
U (t, t0 ) en puissance de V (t). Mais si on applique le developpement 11.10,
des termes dordre V p vont tre gnr par tous les termes dordre n > p
i ). Pour obtenir directement un dveloppement en
du dveloppement en H(t
puissance de V (t), il faut changer de reprsentation de la mcanique quantique.
11.2
166
11.2.1
Reprsentation de Schrdinger
Cest la reprsentation devenue traditionnelle. Les tats |S (t)i (lindice S fait ici
rfrence la reprsentation de Schrdinger) voluent suivant
i~
S (t)|S (t)i
|S (t)i = H
t
(11.15)
Les observables sont des oprateurs fixs une fois pour toutes. Elles peuvent dpendre du temps, mais il sagit alors dune dpendance intrinsque lie la quantit
quon veut mesurer. Elle nest pas rgie par lHamiltonien.
11.2.2
Reprsentation de Heisenberg
11.3
(11.17)
Reprsentation interaction :
0 + V (t).
H(t)
=H
La reprsentation interaction sobtient en transfrant la dpendance temporelle due
0 sur les observables :
H
I (t) = eiH 0 (tt0 )/~O
S (t)eiH 0 (tt0 )/~
O
Pour que les valeurs moyennes des observables restent inchanges, il faut galement
modifier les tats :
167
i
0 (tt0 )/~ iH0
0 (tt0 )/~
iH
iH
UI (t, t0 ) = e
US (t, t0 ) + e
H(t)US (t, t0 )
t
~
~
i
0 (tt0 )/~
iH
H
0 US (t, t0 )
H(t)
= e
~
i
=
e
V (t)eiH0 (tt0 )/~eiH0 (tt0 )/~US (t, t0 )
~
i
VI (t)UI (t, t0 )
=
~
(11.18)
i~ U
I (t, t0 ) = VI (t)UI (t, t0 )
t
S (t, t0 ) en
Cest la mme quation que celle obtenue pour loprateur dvolution U
reprsentation de Schrdinger, mais cest la perturbation en reprsentation interaction VI (t) qui joue le rle de lHamiltonien.
S (t, t0 ) laide de H(t)
n Z
+
X
i
n=1
+
X
dt1
t1
dt2
t0
t0
n
t0
t
1 t
i
dt1
dt2
~
n! t0
t0
n=1
Z t
i
ou UI (t, t0 ) = T exp
dt VI (t )
~ t0
I (t, t0 ) = 1l +
ou U
tn1
t
t0
dtn T VI (t1 )VI (t2 ) VI (tn1 )
(11.19)
I (t, t0 )
US (t, t0 ) = eiH0 (tt0 )/~U
168
11.4
(
0 si t t0
V (t) =
V (t) si t > t0
0 :
Appelons |ii les tats propres de H
0 |ii = Ei |ii
H
(11.20)
(11.21)
(11.22)
cn (t)|ni
(11.23)
2
La probabilit de transition
P de |ii2 |ni est donne par |cn (t)| . Il sagit bien
dune probabilit puisque n |cn (t)| = 1. Daprs ce qui prcde ,
S (t, t0 )|ii
|s (t)i = U
S (t, t0 )|ii
cn (t) = hn|s (t)i = hn|U
i
I (t, t0 )|ii
= hn|e ~ H0 (tt0 ) U
i
Pin
I (t, t0 )|ii
= e ~ En (tt0 ) hn|U
2
= |cn (t)|2 = hn|U
(t,
t
)|ii
I
0
(11.24)
Mais
Z
i t
dt1 VI (t1 )
UI (t, t0 ) = 1l
~ t0
Z t
i
hn|UI (t, t0 )|ii =
dt1 hn|VI (t1 )|ii
~ t0
i
i
VI (t1 ) = e ~ H0 (t1 t0 ) V (t1 )e ~ H0 (t1 t0 )
Z t
i
I (t, t0 )|ii =
dt1 ei(En Ei )(t1 t0 )/~hn|V (t1 )|ii
hn|U
~ t0
2
Z t
i
i(E
E
)(t
t
)/~
dt1 e n i 1 0 hn|V (t1 )|ii
Pin =
~ t0
(11.25)
11.4.1
169
Applications
0 si t 0
V indpendant du temps si t > 0
Pin
Mais
Z
2
Z t
i
= hn|V |ii
dt1 ei(En Ei )t1 /~
~
t0
t
i(En Ei )t1 /~
dt1 e
t0
=
Donc
Pin
Or
~ei(En Ei )t1 /~
i(En Ei )
~e
i
i(En Ei )t1 /~
En Ei
(11.26)
(11.27)
t
2
2 1 ei(En Ei )t1 /~
= hn|V |ii
En Ei
1 eix 2 = (1 eix )(1 eix )
Ainsi
Pin =
2
4 hn|V |ii
(En Ei )2
sin2
(En Ei )t
2~
(11.28)
f () = 0 si
2k
t
= k =
(k 6= 0)
2
t
lim f () = t2
170
4
t
si
=
+ k
2
2
2
Pour une valeur de t donne, les transitions les plus favorises sont telles que
2
.
t
f () =
sin (x)/(x)
1
0.8
0.6
0.4
~ 0.047
0.2
0
(11.29)
4
2
f ()
4
0 quand t +
f ( = 0)
2t2
f ()
lim
171
1
sin2 (t) = ().
2
t
(11.31)
1
sin2 (t)()d = (0)
2
Z +
x dx
x
t2
1
2
2
dx
sin (x)
=
sin (x)
2
2
t t
t
x
x
Z +
Z +
sin2 (x) x
sin2 (x)
lim
dx
=
(0)
dx = (0)
t
x2
t
x2
1
t
(En Ei )t
2~
t
.
2~
t
(En Ei )
2~
2 2
hn|V |ii (En Ei )
~
(11.32)
si t > 0
(11.33)
2
Z
i t
i(En Ei )t1 /~
it1
it1
dt1 e
(hn|V |iie
+ hn|V |iie
)
=
~ t0
2
E E
1 ei( En ~Ei +)t
i( n ~ i )t
1
hn|V |ii +
hn|V |ii (11.34)
=
En Ei + ~
En Ei ~
Aux temps longs, les transitions vers les tats dnergie En = Ei ~ sont favorises. Sans refaire les calculs, on obtient :
172
win
2 2
2 2
=
hn|V |ii (En Ei + ~) +
hn|V |ii (En Ei ~)
~
~
(11.35)
Chapitre 12
Particules identiques
12.1
Introduction
Dans sa version non relativiste la mcanique quantique donne une version cohrente de la description dune particule comme llectron. La partie spatiale de la
fonction donde est rgie par lquation de Schrdinger :
~2
(~r) + V (~r)(~r) = E(~r)
2m
(12.1)
Essayons de gnraliser cett quation au cas de deux particules identiques en interaction via un potentiel deux corps U(r~1 , r~2 ) (par exemple la rpulsion coulombienne
2
entre deux lectrons |r~1er~2 | ).
Une ide "naturelle" serait de dcrire chaque particule par une fonction donde et
dexiger que le produit 1 (r1 )2 (r2 ) satisfasse lquation de Schrdinger approprie :
~2
~2
1
2 + V (r~1 ) + V (r~2 ) + U(r~1 , r~2 ) 1 (r~1 )2 (r~2 ) = E1 (r~1 )2 (r~2 )
2m
2m
(12.2)
Mais une telle approche suppose que lquation diffrentielle
~2
~2
1
2 + V (r~1 ) + V (r~2 ) + U(r~1 , r~2 ) (r~1 , r~2 ) = E(r~1 , r~2 )
2m
2m
(12.3)
soit sparable, ce qui nest en gnral pas le cas. Pour dcrire un sytme deux
particules, la seule gnralisation possible consiste dcrire le systme par une seule
fonction donde dpendant de toutes les coordonnes.
Linterprtation de cette fonction donde implique quelle ne peut-tre quelconque.
En effet, |(r~1 , r~2 )|2 est la probabilit de trouver une particule au point r~1 et lautre
174
Particules identiques
au point r~2 . Mais cette probabilit est galement donne par |(r~2 , r~1 )|2 . En effet,
pour quil en soit autrement, il faudrait pouvoir distinguer les particules. Le principe
dindiscernabilit des particules identiques suppose que lon ne peut prcisment
pas les distinguer. Les consquences de ce principe sont fondamentales et largement
vrifies par lexprience. Reprenons lexemple de deux particules. Nous avons vu
que :
=
=
=
=
=
(12.4)
(12.5)
Fermions
Bosons
Antisymtrique
Symtrique
S
...
0, 1, 2, . . .
1 3
,
2 2
Nous allons maintenant dcrire un certain nombre de consquences de ces proprits de symtrie.
12.2
175
(x1 . . . xN ) =
(12.6)
n1 ,n2 ...nN
do lon tire :
(x1 . . . xN ) = hx1 | hx2 | . . . hxN ||i =
n1 ,n2 ...nN
(12.8)
qui conduit lexpression cherche puisque hxi |ni i = ni (xi ).
Mais une telle fonction nest en gnral ni symtrique ni antisymtrique. Comment
se limiter aux fonctions donde antisymtriques ?
Reprenons lexemple de 2 particules, et essayons de construire une base des fonctions donde antisymtriques. Si lon utilise la fonction n pour les 2 coordonnes, le
rsultat est symtrique : n (x1 )n (x2 ) = n (x2 )n (x1 ). Si lon utilise deux fonctions
diffrentes n1 (x1 ) et n2 (x2 ), il est par contre possible de construire des combinaisons linaires symtriques et antisymtriques :
(
n1 (x1 )n2 (x2 ) n1 (x2 )n2 (x1 ) Antisymtrique
n1 (x1 )n2 (x2 ) + n1 (x2 )n2 (x1 ) Symtrique
La fonction donde antisymtrique peut encore scrire comme un dterminant :
n1 (x1 ) n1 (x2 )
n2 (x1 ) n2 (x2 )
176
Particules identiques
n (x1 ) . . . n (xN )
1
1
1
..
..
..
.
.
.
N!
nN (x1 ) . . . nN (xN )
12.2.1
(12.10)
Si les particules sont identiques, tous les Hi sont les mmes, et ils ont le mme
spectre. Ainsi,
Hn1 (x1 )n2 (x2 ) . . . nN (xN ) = (En1 +En2 + +EnN ) (n1 (x1 )n2 (x2 ) . . . nN (xN ))
Mais si on fait nimporte quelle permutation des coordonnes, la somme des nergies reste inchange :
Hn1 (xp(1) )n2 (xp(2) ) . . . nN (xp(N ) ) =
(En1 + En2 + . . . EnN ) n1 (xp(1) )n2 (xp(2) ) . . . nN (xp(N ) )
On en dduit que :
n (x1 ) . . . n (xN )
1
1
.
..
.
.
.
H
.
.
.
nN (x1 ) . . . nN (xN )
177
n (x1 ) . . . n (xN )
1
1
.
..
.
.
.
= (En1 + En2 + . . . EnN )
.
.
.
nN (x1 ) . . . nN (xN )
Les nergies possible dun systme de fermions sans interaction sont les sommes
des nergies monoparticulaires restreintes par la condition que chaque tat nest
utilisable quune fois. Cette proprit est la base de la statistique de Fermi-Dirac (cf
cours de physique statistique).
Structure de latome
Le principe de Pauli est la base de la physique atomique. En effet, limpossibilit
de mettre deux lectrons dans le mme tat impose de remplir successivement les
niveaux |1s i, |1s i, |2s i, |2s i . . . . Cest ce qui conduit la classification
priodique des lments (voir Physique Quantique III et IV).
Particules de spin
1
2
(12.11)
2
2
Donc un singulet doit avoir une partie orbitale symtrique.
(12.12)
178
Particules identiques
Symtrique :
1/2 (1 )1/2 (2 ) | i
1/2 (1 )1/2 (2 ) | i
| i + | i
1
(1/2 (1 )1/2 (2 ) + 1/2 (1 )1/2 (2 ))
2
2
Le triplet doit donc avoir une partie orbitale antisymtrique.
Ces remarques sont lorigine dun phnomne trs important appel rgle de
Hund qui stipule que si on place plusieurs lectrons dans un niveau atomique dgnr (par exemple un niveau d), les spins de ces lectrons auront tendance former
un tat de spin maximum. Considrons en effet deux lectrons dans un niveau atomique deux fois dgnr dcrit par les fonctions 1 (~r) et 2 (~r). Sils sont dans un
tat triplet, la partie orbitale est antisymtrique, alors que sils sont dans un tat
singulet, la partie spatiale est symtrique. A partir des deux fonctions donde 1 (~r)
et 2 (~r), on peut construire une fonction antisymtrique :
1
A (r~1 , r~2 ) = (1 (r~1 )2 (r~2 ) 1 (r~2 )2 (r~1 ))
2
(12.13)
et 3 fonctions symtriques :
1
(1)
S (r~1 , r~2 ) = (1 (r~1 )2 (r~2 ) + 1 (r~2 )2 (r~1 ))
2
(2)
S (r~1 , r~2 ) = 1 (r~1 )1 (r~2 )
(3)
(12.14)
(12.15)
(12.16)
(12.17)
Mais comme A (r~1 = ~r, r~2 = ~r) = 0, la valeur moyenne de la rpulsion cou2
(i)
lombienne |r~ e r~ |2 est nettement plus petite que dans les tats S , pour lesquels
1
2
S (r~1 = ~r, r~2 = ~r) 6= 0. Ltat construit avec la fonction orbitale antisymtrique A
est donc favoris. Il correspond une partie spin symtrique de spin gal 1.
Termes dchange
Considrons un tat deux fermions construit partir des tats 1 et 2 :
1
(x1 , x2 ) = (1 (x1 )2 (x2 ) 1 (x2 )2 (x1 ))
2
1 , x2 ) scrit :
La valeur moyenne dune observable quelconque O(x
(12.18)
12.3 Bosons
1
2
179
dx1
dx2
h
1 , x2 )1 (x1 )2 (x2 )
1 (x1 )2 (x2 )O(x
1 , x2 )1 (x2 )2 (x1 )
+ 1 (x2 )2 (x1 )O(x
1 , x2 )1 (x2 )2 (x1 )
1 (x1 )2 (x2 )O(x
i
(12.19)
Les deux derniers termes correspondent des intgrales o on a interverti les fonc 1 , x2 ). Ils sappellent
tions relatives x1 et x2 gauche et droite de loprateur O(x
les termes dchange et jouent un rle trs important dans beaucoup de domaines.
Cette discussion amne une question naturelle. Considrons deux particules sans
interaction. Lhamiltonien total est la somme dun oprateur relatif x1 et dun
oprateur relatif x2 : Htot = H(x1 )+H(x2 ). Pour des fonctions donde 1 particule
normalises, le calcul prcdent conduit :
(12.20)
12.3
Bosons
Pour les bosons, il ny a aucune restriction sur les fonctions donde quon peut utiliser pour construire une fonction acceptable car il est toujours possible de construire
une fonction totalement symtrique. Commencons par quelques exemples :
n (x1 )n (x2 ) est symtrique
n1 (x1 )n2 (x2 ) + n2 (x1 )n1 (x2 ) est symtrique
(12.21)
180
Particules identiques
(12.22)
12.3.1
(12.23)
12.4
Lespace de Fock
La donne des fonctions une particule utilises pour construire un tat totalement antisymtrique pour les fermions ou totalement symtrique pour les bosons
spcifie compltement ltat N particules. Partant dune base de fonctions propres
1 particule 1 , 2 . . . .., on peut donc construire ce quon appelle les espaces de Fock
N particules o les kets sont simplement reprs par le nombre de fois quune fonction intervient.
181
Fermions :
|n1 , n2 , . . .i,
ni = 0 ou 1
(12.24)
|n1 , n2 , . . .i,
ni = 0, 1, 2, . . .
(12.25)
Bosons :
Oij ci cj
(12.26)
ij
P
o (1, i 1)|n1 , . . . , ni . . .i = (n1 + + ni1 ). Sur la base de cette dfinition,
la seule qui garantit lexpression simple ci-dessus pour les oprateurs, on dmontre
que :
{ci , cj } = {ci , cj } = 0
{ci , cj } = ij
o {A, B} = AB + BA est lanticommutateur.
Bosons
ci |n1 , . . . , ni . . .i = ni + 1 |n1 , . . . , ni + 1, . . .i
ci |n1 , . . . , ni . . .i = ni |n1 , . . . , ni 1, . . .i
(12.27)
182
Particules identiques
[ci , cj ] = [ci , cj ] = 0
[ci , cj ] = ij
(12.28)
Annexe A
Espace de Hilbert
A.1
Gnralits
Dfinition : Un espace de Hilbert est un espace vectoriel sur le corps des complexes
muni dun produit scalaire dfini positif.
Dimension : Un espace de Hilbert est de dimension finie si on peut trouver une
base ayant un nombre fini de vecteurs. Sinon, il est de dimension infinie. Sauf mention contraire, les proprits ci-dessous sont valables pour des espaces de Hilbert de
dimension quelconque, finie ou infinie.
Notations : En mcanique quantique, il est habituel de noter les lments de
lespace de Hilbert par des symboles |i, |i, |i Le produit scalaire de |i avec
|i est not h|i.
Exemple : Lexemple de plus naturel despace de Hilbert de dimension N est
donn par des vecteurs colonnes N composantes complexes :
a1
|i = ...
aN
b1
|i = ...
bN
(A.1)
a1
= (b1 bN ) ...
aN
(A.2)
(A.3)
184
Espace de Hilbert
(A.4)
2. h|i = h|i
(A.5)
Dmonstration :
h1 + 2 |i = h|1 + 2 i
= h|1 i + h|2 i
= h1 |i + h2 |i
4. h|i est rel car h|i = h|i. On note aussi h|i = ||||2 (norme au
carr).
5. Par hypothse, h|i 0, et h|i = 0 si et seulement si |i = 0.
Exemple : toutes ces proprits sont trivialement vrifies par le produit scalaire
dfini sur lespace des vecteurs colonnes coefficients complexes.
Oprateurs linaires :
Un oprateur linaire est un oprateur associant tout lment de lespace de
Hilbert un autre lment de lespace de Hilbert, et satisfaisant la condition de linarit :
|A( + )i = |Ai + |Ai
(A.6)
Valeur moyenne :
En mcanique quantique, la quantit h|A|i est appele valeur moyenne de loprateur A dans ltat |i. Lorigine de cette terminologie est explicite au chapitre
4.
A.1 Gnralits
185
h|A i = hA|i
ou encore, ce qui est quivalent :
(A.8)
h|A i = h|Ai
12
A = ..
(A.9)
A = ..
.
.
aN 1
aN N
a1N
aN N
Proprit : (AB) = B A
Dmonstration :
h|(AB) i = hAB|i = hB|A i = h|B A i
(A.10)
Oprateur hermitique :
Un oprateur est hermitique sil est gal son conjugu hermitique, cest--dire si
A = A
(A.11)
On dit que |i est vecteur propre de A, et que a ( C) est la valeur propre associe
A|i = a|i
(A.12)
186
Espace de Hilbert
Mais
h|A|i = ah|i
(A.13)
(A.14)
h|A|i = ah|i
(A.15)
(A.16)
ah|i = bh|i
h|i = 0
si a 6= b
(A.17)
A.1 Gnralits
187
Identit de Jacobi : [A, [B, C]] + [B, [C, A]] + [C, [A, B]] = 0
Dmonstration :
188
Espace de Hilbert
X
i
Tr(A(1) , , A(n) ) =
=
X
i
i1 , ,in1
i1 , ,in
i1 , ,in
(1)
(1)
(2)
(n1)
(n)
(n1)
(n)
(1)
(n1)
(A.20)
Autres proprits :
Tr(AB) = Tr(BA)
Tr(A + B) = Tr(A) + Tr(B)
Tr([A, B]) = 0
Tr(ABC) = Tr(CAB) = Tr(BCA)
A.2
Un espace de Hilbert est dit de dimension infinie sil ne possde pas de base
ayant un nombre fini dlments. On dit quil est sparable sil possde une base
dnombrable.
Thorme : Tous les espaces sparables sont isomorphes.
Dmonstration : Voir cours de math.
Trois exemples despaces de Hilbert sparables sont couramment utiliss en mcanique quantique.
189
Lespace (2) : Un lment |i 2 est dfini par une suite de nombres complexes
c1 , . . . , cn , . . . telle que
+
X
2
kk =
|cn |2 < +
(A.21)
n=1
Proposition :
(A.23)
|h|i| < +
(A.24)
h | i = kk h|i h|i + || kk 0 C
En choisissant =
kk2
h|i
kk2
,
h|i
kk4 kk2
0
kk kk kk +
|h|i|2
kk4 kk2 kk2 |h|i|2
2
on obtient :
|h|i| kk kk
Proposition :
|i, |i (2)
| + i (2)
Dmonstration :
Mais,
h + | + i = kk2 + 2 kk2 + h|i + h|i
h | i 0
et,
kk2 + 2 kk2 h|i + h|i
k + k2 2 kk2 + 2 kk2 < +
(A.25)
190
Espace de Hilbert
b
a
dx |(x)|2 < +
(A.26)
(A.27)
conduit
qui, appliqu =
(A.28)
dx (x)(x)
( C)
kk2
,
h|i
+
X
n=
1
avec cn =
ba
cn
Z
2inx
1
e ba
ba
2inx
ba
dx (x)e
(A.29)
1 e
ba
2inx
ba
191
1
kn (x)k =
ba
2
dx e
2inx
ba
2inx
ba
=1
(A.30)
et
Z b
2ix(mn)
1
hn |m i =
dx e ba
ba a
i
2ia(mn)
1
(b a) h 2ib(mn)
e ba e ba
=
b a 2i(m n)
Mais
e
2ib(mn)
ba
2ia(mn)
ba
=e
2ia(mn)
ba
h 2i(ba)(mn)
i
ba
e
1 =0
(A.31)
(A.32)
Lespace L2 (R)
Cest la gnralisation de lespace prcdent au cas o lintervalle [a, b] est remplac
par R. Tous les rsultats prcdents sappliquent, et on peut dmontrer que cet
espace est sparable, cest--dire quil existe des bases dnombrables. En particulier,
les fonctions propres de loscillateur harmonique constituent une base dnombrable
de cet espace de Hilbert.
A.3
(A.33)
(A.34)
h| i = h|i a = 0
(A.35)
192
Espace de Hilbert
h| = bra
(A.36)
(A.37)
P|i = |ih|
Relation de Fermeture :
Soit {|i i, i = 1, . . . , N} une base orthonorme de lespace de Hilbert. La somme
des projections de tous les lments de la base est gale lidentit.
Dmonstration : Considrons un vecteur |i quelconque de H . On peut crire :
|i =
N
X
i=1
(A.38)
ci |i i
PN
j6=i cj |j i
P|ii |i = ci |i i
N
X
i=1
P|i i |i =
N
X
i=1
ci |i i = |i
est orthogonale
(A.39)
X
n
|n ihn |
(A.40)
193
X
m,n
Amn |m ihn |
(A.41)
m,n
im
jn
1. Supposons que ses valeurs soient toutes non dgnres. Les vecteurs propres
sont alors orthogonaux deux deux, et aprs normalisation, ils constituent une
base orthonorme. Dsignons cette base par {|ii, i = 1, . . . , N}. Les lments
de matrice de A dans cette base sont tous diagonaux. En effet,
i i = ai hj |i i = ai ji = 0 si j 6= i
hj |A|
(A.43)
On en dduit que
A =
X
i
ai |i ihi |
(A.44)
2. Supposons que les valeurs propres puissent tre dgnres, et appelons G(i)
la dgnrescence de la valeur propre ai , o i prend moins de N valeurs
si lune au moins des valeurs propres est dgnre. Dsignons de plus par
(r)
i , r = 1, . . . , G(i) une base orthonorme du sous-espace engendr par les
vecteurs propres associs la valeur propre ai . On a alors
(r)
(r )
hi |A|
j i = 0 si i 6= j car les vecteurs propres associs deux valeurs
propres diffrentes sont orthogonaux.
194
Espace de Hilbert
(r)
(r )
(r )
(r)
hi |A|
i i = ai rr car hi |i i = rr .
On en dduit la reprsentation spectrale de A :
A =
G(i)
XX
i
r=1
(r)
(r)
ai |i ihi |
(A.45)
A.4
(A.47)
(A.48)
195
Ui
= h|U
U|i
(A.49)
+ )|U(
+ )i = hU
|Ui
+ ||2 hU|
U i + 2e(hU|
Ui)
et hU(
(A.50)
Lgalit (A.49) implique
Ui)
e(h|i) = e(hU|
U i)
= 1 e(h|i) = e(hU|
Ui)
= i m(h|i) = m(hU|
(A.51)
(A.52)
hm |n i = hU m |U n i = hm |U
= hm |n i = mn
(A.53)
196
Espace de Hilbert
U i =
hU|
cm cn
m,n
hm |n i
| {z }
mn
X
n
|cn |2 = h|i
(A.54)
Unm
cm
cn =
(A.55)
m
Dmonstration :
cn = hn |i =
=
X
m
X
m
X
m
hn |m ihm |i
hU n |m ihm |i
|m ihm |i
hn |U
(A.56)
Unm
cm
(A.57)
197
Dsignons par {|i i} la base de ses vecteurs propres, et par Dij = di ij la matrice
diagonale le reprsentant dans cette base. Soit enfin U loprateur unitaire qui fait
passer de {|i i} {|i i}, cest--dire tel que |i i = U |i i, et dsignons par Uij sa
matrice dans la base {|i i}.
et A satisfont
Proposition : Les matrices U
AU
U
= di ij
(A.58)
ij
Dmonstration :
ji
di ij = hi |A|
X
n ihn |j i
=
hi |m ihm |A|
m,n
AU
Uim
Amn Unj = U
m,n
A.5
(A.59)
ij
Alors que de nombreuses proprits sont tendues sans difficult majeure en dimension infinie, la reprsentation spectrale des oprateurs hermitiques en dimension
infinie est un problme subtil.
Bien entendu, si lensemble des vecteurs dun oprateur hermitique constitue une
base dnombrable de lespace de Hilbert, les relations se gnralisent immdiatement.
n i = an |n i, |n i H . On a bien,
Supposons en effet que A|
X
1l =
|n ihn |
n
A =
X
n
an |n ihn |
(A.60)
Le problme vient du fait que les oprateurs hermitiques en dimension infinie nont
pas toujours une base dnombrable de vecteurs propres. En effet, bien que lespace
de Hilbert (suppos sparable) possde une base dnombrable, certains oprateurs
nadmettent pas de dcomposition spectrale dans une telle base. Parfois, des oprateurs nont mme pas de vecteurs propres dans lespace de Hilbert. Nous lavons vu
dj vu dans le cas de loprateur x. Les solutions de lquation
x(x) = x0 (x)
ne sont pas des lments de L2 (R).
(A.61)
198
Espace de Hilbert
(x x0 ) = lim x(a)
(x)
0
( a0
0 si x
/ x0 a2 , x0 + a2
(a)
avec x0 (x) =
1 si x x0 a2 , x0 + a2
(A.62)
(on peut aussi lobtenir comme limites dautres fonctions) permettait de dfinir les
kets |x0 i par
Z +
(A.63)
hx0 |i =
dx (x x0 )(x) = (x0 )
o la fonction (x x0 ) peut tre prise comme la limite dautres fonctions que celle
dfinie en (A.62). Alors on a le rsultat suivant :
Proposition :
Z
(A.64)
dx |xihx| = 1l
Dmonstration :
Z +
Z
h|
dx |xihx||i =
(A.65)
(x)
dx |xihx|i =
dx (x)|xi
(A.66)
199
Oprateur p
(A.68)
= p(x)
x
(A.69)
ipx/~
(x) = Ce
dx |(x)| = C
dx
diverge
(A.70)
Transforme de Fourier :
La reprsentation spectrale est base sur la notion de transforme de Fourier dune
fonction. Soit (x) une fonction de L2 (R). Sa transforme de Fourier est dfinie
par
1
(k)
=
2
dx eikx (x)
(A.71)
dk eikx (k)
(A.72)
(A.73)
dp |pihp|
(A.74)
p (x) =
la relation de fermeture scrit
1l =
200
Espace de Hilbert
Dmonstration :
Z +
Z +
hx|
dp |pihp||i =
dp hx|pihp|i
Z +
Z +
1
1
ipx/~
e
eipx /~(x )
dx
=
dp
2~
2~
Z + Z +
1
=
dp
dx eipx/~eipx /~(x )
2~
Z +
Z +
1
ipx/~
dp e
dx eipx /~(x )
=
2~
Z +
p
1
dp eipx/~ 2
=
2~
~
Z +
1 1
dk ~eikx (k)
=
~
2
= (x)
(A.75)
o on a inject la relation de fermeture sur les tats |xi dans le produit scalaire hp|i
pour passer de la premire la deuxime ligne. On a donc dmontr que |xi, |i
Z +
(A.76)
hx|
dp |pihp||i = hx|i
ipx/~ ipx /~
dx (x )
= (x)
dp e
e
2~
dp eipx/~eipx /~ = (x x )
hx|x i =
dp hx|pihp|x i =
2~
hx|x i = (x x )
(A.77)
(A.78)
(A.79)
hp|p i =
201
1
dx hp|xihx|p i =
2~
dx eip x/~eipx/~ = (p p)
(A.80)
hp|p i = (p p )
car (p p) = (p p ).
Reprsentation Spectrale
En dimension infinie, les oprateurs ont en gnral un spectre discret et un spectre
continu 1 . Si on repre les valeurs propres discrtes par n et les valeurs propres du
spectre continu par , on a de faon gnrale :
Z
X
1l =
|nihn| + d |ih|
(A.81)
n
et
A =
X
n
an |nihn| +
d a()|ih|
(A.82)
hm|ni = mn
h| i = ( )
A.6
(A.83)
Produit tensoriel
X
m,n
bm,n |m ni
(A.84)
(A.85)
202
Espace de Hilbert
|i =
X
m
cm |mi; |i =
X
n
dn |ni
(A.86)
X
m,n
cm dn |m ni
(A.87)
Proprits :
1. |mi |ni = |m ni.
Du coup, on note indiffrement le produit |i |i ou | i.
2. |i |1 + 2 i = |i |1 i + |i |2 i.
Autrement dit, le produit tensoriel est linaire.
3. h | i = h| ih| i.
4. Le produit tensoriel est indpendant du choix de la base.
Considrons en effet des bases {|ii} et {|ji} orthonormes de H1 et H2 obtenues
par des transformations unitaires partir de {|mi} et {|ni} :
P
|ii = Pm Rim |mi
|ji = n Sjn |ni
(A.88)
Par rapport cette base, le produit tensoriel de |i et |i pourrait tre dfini par
^
|i
|i =
X
i,j
(A.89)
Proposition :
^
|
i = | i
Dmonstration :
(A.90)
|i =
de mme
cei =
dej =
^
|
i =
203
X
m
cei |ii
XX
m
XX
X
m
cm
X
i
1
Rmi
|ii
1
dn Snj
1
cm Rmi
cm |mi =
X
m
cm
X
j
dej |ji
1
cm Rmi
|ii
1
cm Rmi
X
m
X
m
XX
j
1
dn Snj
|ji
Rim |m i
(R1 R)mm |m i
cm |mi
X
n
XX
n
dn
cn |ni = | i
1
dn Snj
X
n
X
n
Sin |n i
(S 1 S)nn |n i
(A.91)
Etats intriqus
Le vecteur le plus gnral du produit tensoriel despaces de Hilbert scrit
|i =
X
m,n
bm,n |m ni
(A.92)
En gnral, ce nest pas le produit tensoriel de deux tats. Ce nest le cas que si lon
peut trouver M +N nombres cm (m = 1...M) et dn (n = 1...N) tels que bmn = cm dn .
Comme il y a M N quations pour M +N inconnues, cest impossible en gnral. Un
tat qui ne peut pas scrire comme le produit tensoriel de deux tats sappelle un
tat intriqu. Ces tats jouent un rle fondamental dans les dveloppements rcents
sur les "ordinateurs quantiques".
Produit tensoriel doprateurs
agissant dans H1 et H2 est dfini
Le produit tensoriel de deux oprateurs A et B
par :
|Bi
(A B)(|i
|i) = |Ai
(A.93)
b 1lH2
A
(A.94)
204
Espace de Hilbert
AB|i
|i = (A 1lH2 )(1lH1 B)|i
|i
= (A|i
(B|i
(A.95)
et de mme
A|i
A 1lH2 )|i |i
B
|i = (1lH1 B)(
A|i
= (1lH1 B)(
|i
= (A|i (B|i
(A.96)
=B
A.
CQFD.
Ainsi, AB
Extensions : la notion de produit tensoriel stend sans problme au cas des espaces de dimension infinie, et au cas du produit tensoriel de plus de deux espaces.
Applications : la notion de produit tensoriel permet en gnral de dfinir lespace
de Hilbert dun systme partir des espaces de Hilbert des diffrents degrs de
libert. Par exemple, si on dnote par Hx , Hy et Hz les espace de Hilbert correspondant au mouvement dune particule dans les directions x, y et z, lespace de Hilbert
pour le mouvement global est le produit tensoriel : H~r = Hx Hy Hz , et les kets
|~ri sont relis aux kets |xi, |yi et |zi par
|~ri = |xi |yi |zi
(A.97)
(A.98)
Pour une particule se dplacant dans lespace, les tats stationnaires considrs
du point de vue du produit tensoriel sont en gnral intriqus. Ils ne le sont pas si
lquation de Schroedinger est sparable.
Remarques :
1. Le produit tensoriel ne donne pas toujours lensemble des tats possibles. Pour
des particules identiques, une partie seulement de lespace produit correspond
des tats possibles (cf chapitre sur les particules identiques).
2. Il ne faut pas confondre le produit tensoriel avec la somme directe de deux
espaces vectoriels H1 H2 qui est lespace de dimension M + N engendr par
la runion des bases de H1 et H2 supposes orthogonales entre elles.
205
3. En pratique, lorsquil ny a pas dambigut, on laisse souvent tomber le symbole pour les produits tensoriels dtats ou doprateurs.
206
Espace de Hilbert
Annexe B
Intgrales Gaussiennes
B.1
Proposition B.1
Z
12 Ax2
dx e
Dmonstration : Posons z =
R +
1
2
dx e 2 Ax
z =
21 Ax2
dx e
2
A
(B.1)
dy e 2 Ay
Z
1
2
2
=
dxdy e 2 A(x +y )
R2
Z +
Z 2
1
2
=
dr r
d e 2 Ar
0
Z + 0
= 2
du eAu
0
Au +
e
= 2
A 0
2
=
A
r
2
z=
A
(B.2)
208
B.2
Intgrales Gaussiennes
Proposition B.2
Z
21 Ax2 +Bx
dx e
2 B2
e 2A
A
(B.3)
Dmonstration :
2
1
B
B2
1 2
+
Ax + Bx = A x
2
2
A
2A
Z +
Z
Z +
+
B 2
1
B2
B2
1
2
A
x
21 Ax2 +Bx
)
(
A
dx e
= e 2A
= e 2A
dx e 2
du e 2 Au
}
| {z
2
(B.4)
B.3
Proposition B.3
Z
2 x2
dx e
(B.5)
(B.6)
Nous allons calculer cette intgrale par la mthode des rsidus. Considrons cet
2
effet la fonction ez avec z C, et calculons son intgrale suivant le contour donn
2
sur la figure B.1. Comme ez est analytique, on a bien sr I1 + I2 + I3 = 0 avec
Z R
2
I1 =
dx ex
0
(B.7)
Z +
x2
lim I1 =
dx e
=
R+
2
0
I2 : on pose z = Rei dz = iRei d, do z 2 = R2 e2i = R2 (cos 2 + i sin 2)
Z
2
(B.8)
I2 = iR d e(R (cos 2+i sin 2)+i)
0
209
m(z)
I3
I2
I1
e(z)
I3 : on pose z = rei dz = ei dr
i
2i r 2
dr ee
R
Z
i
lim I3 = e
I3 = e
R+
(B.9)
e2i r 2
dr e
0
1. 2 <
.
2
cos
eR
cos 2
, et
R
2
2eR cos 2 0
R+
2
(B.11)
|
{z
}
2
eR
cos
R R2 cos R
e
+
2
2
R2 u
du
(B.12)
e
sin
|I2 |
R R2 cos
R 1 eR
|I2 |
e
+
2
2 sin
R2
cos
cos
0
R+
210
Intgrales Gaussiennes
Z +
2i 2
= ei
du ee u
2
0
Z +
e2i u2
du e
= i
2e
0
R+
(B.13)
2 x2
dx e
B.4
=
=
i
a 2e
(B.14)
pendante de .
2 (x+)2
dx e
est ind-
I3
I4
R
m(z)
I2
I1
2 z2
e(z)
211
I1
R+
I2 =
2 x2
dx e
2 (R+iy)2
dy ie
I4 0
R+
I3
R+
Comme e
(B.15)
R+
2 z 2
2 (x+)2
dx e
(B.16)
Z +
B22
2 (x+)2 +Bx
dx e
=
e 4
(B.17)
Dmonstration :
2
B2
B
x + Bx = x 2 + 2
2
4
2 2
B.5
(B.18)
do le rsultat.
Proposition B.5
Z
dx e
i
Ax2
2
2 isigne(A)
4
e
|A|
Dmonstration :
iA
=
2
2
Proposition B.6
Z
dx e
i
Ax2 iBx
2
A R
|A| i signe(A)
4
e
2
2 isigne(A) i B2
4e
2A
e
|A|
A R
(B.19)
(B.20)
(B.21)
Dmonstration :
2
i 2
i
B
B2
Ax iBx = A x
i
2
2
A
2A
(B.22)
212
B.6
Intgrales Gaussiennes
Proposition B.7
Z
dx x2 e 2 Ax =
2A 2
I(A) =
A R
(B.23)
R +
1
2
dx e 2 Ax . On sait que
2
A
3
dI
1
=
2A 2
dA
2
(B.24)
Z
1
dI
1 +
2
dx x2 e 2 Ax
=
dA
2
Z +
1
3
2
dx x2 e 2 Ax = 2A 2
(B.25)
R +
1
2
dx xn e 2 Ax , alors
n+1
(n 1)!! 2A 2
Jn =
0
si n est pair
si n est impair
(B.26)
n+1
1
dn
[I(A)]
=
(1
.
.
.
(n
1))
2A 2
n
dA
2
n Z +
1
1
2
=
dx xn e 2 Ax
2
n+1
Jn = (n 1)!! 2A 2
n
1
dn+1
n+1
n+1
1
2
A
[I(A)]
=
(1
.
.
.
(n
1))
2
dAn+1
2
2
n
n+3
1
1
A 2
(1 3 . . . (n 1)) 2(n + 1)
=
2
2
n+1
n+3
1
=
(1 3 . . . (n 1) (n + 1)) 2A 2
2
n+1 Z +
1
1
2
=
dx xn+2 e 2 Ax
2
n+3
Jn+2 = (n + 1)!! 2A 2
213
(B.27)
214
Intgrales Gaussiennes
Annexe C
Rgle de Cramer
On considre un systme linaire de N quations N inconnues :
a11 x1
a21 x1
..
.
aN 1 x1
+ + a1N xn = y1
+ + a2N xn = y2
..
..
..
.
.
.
+ + aN N xn = yN
(C.1)
(C.2)
(C.3)
216
Rgle de Cramer
pour k 6= r :
a11 a12 (a11 x1 + + a1r xr + a1N xN ) a1N
..
..
..
..
.
.
.
xr det(A) = .
aN 1 aN 2 (aN 1 x1 + + aN r xr + aN N xN ) aN N
|
{z
}
e
r colonne
(C.4)
= det(Ar )
(C.5)
y1
o Ar est la matrice obtenue en remplaant la re colonne de A par le vecteur ... .
yN
En particulier si det(A) 6= 0, on a
xr =
det(Ar )
det(A)
r = 1, 2, . . . , n
(C.6)