Classic 2 Quantic

De la mcanique classique la
mcanique quantique:
pourquoi et comment quantier?
Charles-Michel Marle
Universit e Pierre et Marie Curie
Paris, France
De la m ecanique classique ` a la m ecanique quantique: p. 1/34
Origines de la mcanique quantique
Vers la n du XIXme sicle, on pensait que lvolution des
systmes physiques pouvait tre dcrite dans le cadre de la
mcanique classique. Cependant, certains faits restaient
mal compris et allaient conduire remettre en question
cette croyance.
cette croyance.
La non-invariance des quations de Maxwell par le groupe
de Galile amenait admettre lexistence de repres
privilgis, ceux dans lesquels lhypothtique ther
(support des ondes lectromagntiques) est xe; lespace
absolu postul par Newton, dont les mcaniciens avaient
eu tant de mal se dbarrasser, ressurgissait.
cette croyance.
La non-invariance des quations de Maxwell par le groupe
de Galile amenait admettre lexistence de repres
privilgis, ceux dans lesquels lhypothtique ther
(support des ondes lectromagntiques) est xe; lespace
absolu postul par Newton, dont les mcaniciens avaient
eu tant de mal se dbarrasser, ressurgissait. Or le
mouvement de la Terre par rapport lther na pas pu tre
mis en vidence exprimentalement (A.A. Michelson et
E.W. Morley, vers 1880). Cela allait conduire labandon du
concept de temps absolu (Relativit, A. Einstein, 1905).
Origines de la mcanique quantique (2)
Dautre part, les principes de la mcanique statistique
classique, appliqus par Rayleigh au rayonnement du corps
noir (1900), conduisaient une densit dnergie innie. En
laissant de ct ces principes et en admettant que pour
chaque frquence , la valeur de lnergie du rayonnement
de frquence ne pouvait tre quun multiple entier de h
(h tant une constante universelle aujourdhui appele
constante de Planck), M. Planck parvint tablir une
formule conduisant une densit totale dnergie nie, en
excellent accord avec lexprience.
Dautre part, les principes de la mcanique statistique
classique, appliqus par Rayleigh au rayonnement du corps
noir (1900), conduisaient une densit dnergie innie. En
laissant de ct ces principes et en admettant que pour
chaque frquence , la valeur de lnergie du rayonnement
de frquence ne pouvait tre quun multiple entier de h
(h tant une constante universelle aujourdhui appele
constante de Planck), M. Planck parvint tablir une
formule conduisant une densit totale dnergie nie, en
excellent accord avec lexprience.
La dcouverte de M. Planck a conduit modier la formule
empirique donnant la chaleur spcique des solides,
dcouverte par P.L. Dulong et A.T. Petit (1819), et dobtenir
un bien meilleur accord avec lexprience aux basses
tempratures (A. Einstein et P. Debye, 1906).
Autre succs de la dcouverte de M. Planck: A. Einstein
montre (1905) quelle fournit une explication satisfaisante
de leffet photolectrique, dcouvert en 1902 par
J.J. Thomson et P. Lenard.
En 1911, E. Rutherford dcouvre exprimentalement la
structure de latome: un noyau dot dune charge lectrique
positive, autour duquel gravitent des lectrons chargs
ngativement (la dcouverte de llectron, la mesure de sa
masse et de sa charge, sont dues J.J. Thomson, 1897).
Mais pourquoi ces chargent en mouvement ne perdent pas
leur nergie en mettant un rayonnement? Et comment
expliquer les spectres dmission des atomes?
En 1911, E. Rutherford dcouvre exprimentalement la
structure de latome: un noyau dot dune charge lectrique
positive, autour duquel gravitent des lectrons chargs
ngativement (la dcouverte de llectron, la mesure de sa
masse et de sa charge, sont dues J.J. Thomson, 1897).
Mais pourquoi ces chargent en mouvement ne perdent pas
leur nergie en mettant un rayonnement? Et comment
expliquer les spectres dmission des atomes?
En 1913, N. Bohr montre que lide, initialement due
M. Planck, de quantier les changes dnergie, permet
de rpondre ces questions.
N. Bohr admet que dans latome dhydrogne, llectron
gravite autour du noyau en tant soumis aux forces
lectrostatique, selon les lois de la mcanique classique,
sans rayonner, en gardant une nergie constante. Il admet:
les seules orbites possibles sont celles correspondant
une valeur du moment cintique multiple entier de h/(2).
latome met un rayonnement lorsque llectron passe
dune orbite o son nergie est E
1
une orbite o cette
nergie est E
2
; le rayonnement est mis de manire
discrte, sous forme dun photon, dont la frquence est
= (E
1
E
2
)/h.
latome met un rayonnement lorsque llectron passe
dune orbite o son nergie est E
1
une orbite o cette
nergie est E
2
; le rayonnement est mis de manire
discrte, sous forme dun photon, dont la frquence est
= (E
1
E
2
)/h.
Cela permet de rendre compte de manire trs
satisfaisante du spectre de rayonnement de lhydrogne, et
dautres atomes plus complexes.
Principes de la mcanique quantique
Malgr ces succs, lemploi de rgles de quantication et
de la mcanique classique restait peu satisfaisant.
W. Heisenberg et E. Schrdinger, indpendamment, ont en
1925 formul deux thories quantiques plus systmatiques,
en apparence diffrentes mais qui se sont rvles
quivalentes.
Principes de la mcanique quantique
Malgr ces succs, lemploi de rgles de quantication et
de la mcanique classique restait peu satisfaisant.
W. Heisenberg et E. Schrdinger, indpendamment, ont en
1925 formul deux thories quantiques plus systmatiques,
en apparence diffrentes mais qui se sont rvles
quivalentes.
Sur cette base, grce aux efforts de ces deux savants, de
P. Dirac, J. von Neumann, N. Bohr, M. Born et dautres, une
nouvelle Mcanique a t cre: la Mcanique quantique.
Principes de la mcanique quantique (2)
Cette nouvelle Mcanique
admet la Mcanique classique comme cas limite, pour les
systmes de grande dimension et de grande masse,
conduit des rgles de quantication prcises, non
imposes a priori , mais consquences de la thorie ,
explique pourquoi la matire et le rayonnement
lectromagntique peuvent se comporter tantt comme des
particules et tantt comme des ondes.
explique pourquoi la matire et le rayonnement
lectromagntique peuvent se comporter tantt comme des
particules et tantt comme des ondes.
La Mcanique quantique a permis dexpliquer de
nombreuses proprits physiques jusqualors mystrieuses,
telles que, par exemple, les proprits chimiques des
lments, la formation des liaisons chimiques.
En Mcanique statistique classique, on utilise, pour
reprsenter un systme, un espace des phases qui est une
varit symplectique. Un tat du systme est une mesure
de probabilit sur lespace des phases. Une observable
est une fonction f, valeurs relles, dnie sur lespace
des phases. La valeur prise par lobservable f lorsque ltat
du systme est est une variable alatoire dont la loi de
probabilit est la mesure image f
.
En Mcanique statistique classique, on utilise, pour
reprsenter un systme, un espace des phases qui est une
varit symplectique. Un tat du systme est une mesure
de probabilit sur lespace des phases. Une observable
est une fonction f, valeurs relles, dnie sur lespace
des phases. La valeur prise par lobservable f lorsque ltat
du systme est est une variable alatoire dont la loi de
probabilit est la mesure image f
.
En Mcanique quantique, on utilise encore les notions
dtat et dobservable, et lorsque le systme est dans un
tat donn, la valeur prise par lobservable est encore une
variable alatoire. Mais sa loi de probabilit nest plus la
mesure image, par une fonction, dnie sur un espace des
phases, reprsentant lobservabe, dune mesure
reprsentant ltat du systme.
En Mcanique quantique, un systme physique est
associ un espace de Hilbert complexe H.
Un tat pur du systme est un sous-espace vectoriel de
dimension 1 de H; un reprsentant de cet tat est un
lment non nul de ce sous-espace vectoriel, quon peut
toujours choisir de norme 1.
Une observable est un oprateur auto-adjoint A, pas
ncessairement born, sur H.
Une observable est un oprateur auto-adjoint A, pas
ncessairement born, sur H.
Le thorme spectral permet dassocier chaque
oprateur auto-adjoint A sur H une mesure valeurs
projections P
A
sur la tribu de Borel de R qui associe,
chaque partie borlienne E de R, un oprateur de
projection dans H not P
A
E
.
La probabilit pour que la mesure de lobservable A,
lorsque le systme est dans ltat pur reprsent par le
vecteur unitaire de H, donne un rsultat appartenant au
borlien E de R, est
P
A
E
()

_
,
o (, ) | est la forme sesquilinaire qui dnit la
structure hilbertienne de H.
La probabilit pour que la mesure de lobservable A,
lorsque le systme est dans ltat pur reprsent par le
vecteur unitaire de H, donne un rsultat appartenant au
borlien E de R, est
P
A
E
()

_
,
o (, ) | est la forme sesquilinaire qui dnit la
structure hilbertienne de H.
Lvolution de ltat du systme au cours du temps est
dtermine par la donne dun oprateur autoadjoint H, le
Hamiltonien du systme.
Dans le schma de Schrdinger, llment de H qui
reprsente ltat du systme, not
t
, dpend du temps t,
tandis que les observables qui reprsentent les diverses
proprits physiques du systme sont indpendants du
temps. On a
t
= exp(itH)
0
,
Dans le schma de Schrdinger, llment de H qui
reprsente ltat du systme, not
t
, dpend du temps t,
tandis que les observables qui reprsentent les diverses
proprits physiques du systme sont indpendants du
temps. On a
t
= exp(itH)
0
,
et par suite t
t
est solution de lquation de Schrdinger
abstraite
d
t
dt
= iH
t
.
Dans le schma de Heisenberg, ltat du systme est
reprsent par un lment xe
0
de H, ne dpendant pas
du temps, tandis que les observables correspondant aux
grandeurs physiques du systme dpendent du temps. Si
A
0
est loprateur autoadjoint reprsentant une grandeur
physique donne linstant 0, loprateur qui reprsente
cette mme grandeur physique linstant t est
A
t
= exp(itH) A
0
exp(itH) ,
Dans le schma de Heisenberg, ltat du systme est
reprsent par un lment xe
0
de H, ne dpendant pas
du temps, tandis que les observables correspondant aux
grandeurs physiques du systme dpendent du temps. Si
A
0
est loprateur autoadjoint reprsentant une grandeur
physique donne linstant 0, loprateur qui reprsente
cette mme grandeur physique linstant t est
A
t
= exp(itH) A
0
exp(itH) ,
et t A
t
est solution de lquation diffrentielle
dA
t
dt
= i[H, A
t
] = i(H A
t
A
t
H) .
Quantication dun systme classique
La Mcanique quantique nest pas une thorie physique
autonome: elle sappuie ncessairement sur la Mcanique
et llectromagntisme classiques, car elle ne fait que
fournir des prvisons sur des rsultats de mesures. Or
chaque mesure rsulte dune interaction du systme tudi
avec un appareil de mesure, dont le comportement est rgi
par la Physique classique.
Quantication dun systme classique
La Mcanique quantique nest pas une thorie physique
autonome: elle sappuie ncessairement sur la Mcanique
et llectromagntisme classiques, car elle ne fait que
fournir des prvisons sur des rsultats de mesures. Or
chaque mesure rsulte dune interaction du systme tudi
avec un appareil de mesure, dont le comportement est rgi
par la Physique classique.
Dautre part, la description dun systme classique au
moyen de la Mcanique classique doit tre une premire
approximation dune description plus ne de ce mme
systme au moyen de la Mcanique quantique. Comment
faire, lorsquon connat les quations qui rgissent
lvolution dun systme dans le cadre de la Mcanique
classique, pour trouver les quations quantiques
correspondantes? Cest le problme de la quantication.
Quantication dun systme classique (2)
Rappelons lquation qui, dans le schma de Heisenberg,
dcrit lvolution dune observable quantique en fonction du
temps:
dA
t
dt
= i[H, A
t
] = i(H A
t
A
t
H) .
temps:
dA
t
dt
= i[H, A
t
] = i(H A
t
A
t
H) .
Cette quation ressemble beaucoup celle qui rgit
lvolution dune observable classique, pour un systme
hamiltonien, que nous allons rappeler.
temps:
dA
t
dt
= i[H, A
t
] = i(H A
t
A
t
H) .
Cette quation ressemble beaucoup celle qui rgit
lvolution dune observable classique, pour un systme
hamiltonien, que nous allons rappeler.
Soit (M, ) une varit symplectique et E C
(M, R) une
fonction, le hamiltonien classique (dont la signication
physique est lnergie du systme). Soit X
E
le champ de
vecteurs hamiltonien associ E, dni par
i(X
E
) = dE .
Lquation diffrentielle dtermine par X
E
, appele
quation de Hamilton, scrit
d(t)
dt
= X
E
_
(t)
_
,
ou, en coordonnes canoniques (x
1
, . . . , x
n
, p
1
, . . . , p
n
),
dx
i
dt
=
H
p
i
,
dp
i
dt
=
H
xi
,
1
i n.
Soit f C
(M, R) une observable classique. Si

t (t) =
_
x
i
(t), p
i
(t)
_
est une solution de lquation de
Hamilton, on a
df
_
(t)
_
dt
=
n
i=1
_
f
x
i
E
p
i
f
p
i
E
x
i
_
_
(t)
_
.
Soit f C
(M, R) une observable classique. Si

t (t) =
_
x
i
(t), p
i
(t)
_
est une solution de lquation de
Hamilton, on a
df
_
(t)
_
dt
=
n
i=1
_
f
x
i
E
p
i
f
p
i
E
x
i
_
_
(t)
_
.
Cela scrit aussi, en utilisant le crochet de Poisson,
df
_
(t)
_
dt
= {E, f}
_
(t)
_
.
On peut mettre cette dernire quation sous une forme
encore plus voisine de celle de lquation quantique en
faisant intervenir le ot rduit
t
du champ de vecteurs X
E
.
On peut alors crire
d(
t
f)
dt
=
t
{E, f} = {E,
t
f} ,
car
t
E = E (lnergie est une intgrale premire de X
E
),
et le tenseur de Poisson est aussi invariant par le ot
t
,
On peut mettre cette dernire quation sous une forme
encore plus voisine de celle de lquation quantique en
faisant intervenir le ot rduit
t
du champ de vecteurs X
E
.
On peut alors crire
d(
t
f)
dt
=
t
{E, f} = {E,
t
f} ,
car
t
E = E (lnergie est une intgrale premire de X
E
),
et le tenseur de Poisson est aussi invariant par le ot
t
,
comparer lquation quantique
dA
t
dt
= i[H, A
t
] = i(H A
t
A
t
H) .
Cette comparaison conduit penser que la quantication
dun systme classique devrait permettre dassocier, un
systme hamiltonien classique (M, , E), un espace de
Hilbert complexe H, et dassocier chaque observable
classique f C
(M, R), une observable quantique,

cest--dire un oprateur autoadjoint F sur H, de manire
telle que lapplication f F soit un homomorphisme de
lalgbre de Lie C
(M, R) (munie du crochet de Poisson)

dans une algbre de Lie doprateurs autoadjoints sur H
(avec, pour loi de composition, le produit du commutateur
par une constante imaginaire pure convenablement choisie.
Cette comparaison conduit penser que la quantication
dun systme classique devrait permettre dassocier, un
systme hamiltonien classique (M, , E), un espace de
Hilbert complexe H, et dassocier chaque observable
classique f C
(M, R), une observable quantique,

cest--dire un oprateur autoadjoint F sur H, de manire
telle que lapplication f F soit un homomorphisme de
lalgbre de Lie C

dans une algbre de Lie doprateurs autoadjoints sur H
(avec, pour loi de composition, le produit du commutateur
par une constante imaginaire pure convenablement choisie.
En fait, la loi de composition de lalgbre de Lie des
observables quantiques est (avec - h = h/(2)):
(A, B) {A, B} =
i
-h
(A B B A) .
La quantication canonique formelle
Le procd de quantication traditionnellement employ est
la quantication canonique formelle. Il sapplique aux
systmes hamiltoniens classiques de N particules
ponctuelles, de masses m
i
, dont lnergie potentielle V ne
dpend que des positions de ces particules. On notera x
i
(avec 1 i n = 3N) les coordonnes de ces particules
dans un repre cartsien orthonorm, et on posera
p
i
= m
i
dx
i
dt
,
m
i
dsignant la masse de la particule i.
La quantication canonique formelle
Le procd de quantication traditionnellement employ est
la quantication canonique formelle. Il sapplique aux
systmes hamiltoniens classiques de N particules
ponctuelles, de masses m
i
, dont lnergie potentielle V ne
dpend que des positions de ces particules. On notera x
i
(avec 1 i n = 3N) les coordonnes de ces particules
dans un repre cartsien orthonorm, et on posera
p
i
= m
i
dx
i
dt
,
m
i
dsignant la masse de la particule i. Lnergie du
systme est
E =
1
2
n
i=1
p
2
i
m
i
+V (x
1
, . . . , x
n
) .
La quantication canonique formelle (2)
On prend pour espace de Hilbert H lespace L
2
(R
n
) des
(classes de) fonctions de carr intgrable des n variables
x
1
, . . . , x
n
. On associe aux observables classiques x
i
et p
i
les oprateurs
x
i , multiplication par la coordonne x
i
,
et
P
i
=
-h
i
x
i
.
Lnergie quantique, encore note E comme lnergie
classique, sobtient en remplaant dans celle-ci les p
i
par
les oprateurs quantiques correspondants et en
considrant V (x
1
, . . . , x
n
) comme oprateur de
multiplication par V (x
1
, . . . , x
n
). On a donc, si L
2
(R
n
)
appartient au domaine de dnition de loprateur E,
E() =
-h
2
2
n
j=1
1
m
j
x
i
2
+V .
Lnergie quantique, encore note E comme lnergie
classique, sobtient en remplaant dans celle-ci les p
i
par
les oprateurs quantiques correspondants et en
considrant V (x
1
, . . . , x
n
) comme oprateur de
multiplication par V (x
1
, . . . , x
n
). On a donc, si L
2
(R
n
)
appartient au domaine de dnition de loprateur E,
E() =
-h
2
2
n
j=1
1
m
j
x
i
2
+V .
Le hamiltonien quantique H est li lnergie quantique E
par la relation trs simple
E = -hH .
Les applications de la quantication canonique formelle
des systmes physiques ont conduit de nombreux
succs. Cependant, on peut se poser, propos de ce
procd, diverses questions. Par exemple:
Pourquoi employer des coordonnes cartsiennes
orthonormes, plutt que des coordonness curvilignes
plus gnrales? Peut-on mettre le procd de quantication
canonique formelle sous une forme plus intrinsque?
Pourquoi employer des coordonnes cartsiennes
orthonormes, plutt que des coordonness curvilignes
plus gnrales? Peut-on mettre le procd de quantication
canonique formelle sous une forme plus intrinsque?
Comment trouver lexpression de lnergie quantique dans
des cas plus gnraux, par exemple lorsque lnergie
classique comporte des termes de la forme p
i
x
i
? Si lon
transforme ces termes en remplaant p
i
par loprateur P
i
et x
i
par loprateur de multiplication par x
i
, dans quel ordre
doit-on placer ces deux oprateurs, qui ne commutent pas?
La quantication gomtrique
La thorie de la quantication gomtrique (qui a t
dveloppe principalement par B. Kostant et J.-M. Souriau,
pour des motivations autant mathmatiques que physiques)
tente de rpondre ces questions. On distingue en gnral
deux tapes.
deux tapes.
Premire tape: la prquantication. Cette tape permet,
tant donn une varit symplectique (M, ) vriant
certaines conditions, dite prquantiable, dassocier
chaque fonction diffrentiable sur M un oprateur sur
lespace des sections dun certain espace br ayant pour
base M. Cette correspondance est un homomorphisme
dalgbres de Lie.
deux tapes.
Premire tape: la prquantication. Cette tape permet,
tant donn une varit symplectique (M, ) vriant
certaines conditions, dite prquantiable, dassocier
chaque fonction diffrentiable sur M un oprateur sur
lespace des sections dun certain espace br ayant pour
base M. Cette correspondance est un homomorphisme
dalgbres de Lie.
Deuxime tape: la quantication. A partir de lespace des
sections de lespace br prcdent, on construit lespace
de Hilbert utilis en Mcanique quantique.
La prquantication
Soit (M, ) une varit symplectique. La prquantication
de cette varit est prsente, par B. Kostant et
J.-M. Souriau, de deux manires lgrement diffrentes,
mais quivalentes.
La prquantication
mais quivalentes.
B. Kostant tudie lexistence dun br en droites
complexes : L M de base M, muni dune structure
hermitienne H : (u, v) H(u, v) = u|v et dune connexion
pour laquelle cette structure hermitienne est invariante,
dont la courbure est gale .
La prquantication
mais quivalentes.
J.-M. Souriau tudie lexistence dun br en cercles
: U M, de base M, et dune 1-forme de contact sur U
telle que d =
.
La prquantication
mais quivalentes.
J.-M. Souriau tudie lexistence dun br en cercles
: U M, de base M, et dune 1-forme de contact sur U
telle que d =
.
Ces deux problmes sont quivalents, le br en cercles U
sidentiant lensemble des lments u de L tels que
u|u = 1, et la forme de contact la forme de connexion.
La prquantication (2)
La forme de connexion est une 1-forme , dnie sur L
=
complmentaire dans L de la section nulle, invariante par
laction de C
= C {0} par multiplication, et vriant, pour

tout isomorphisme de C
sur une bre de L
=
1
2i
dz
z
.
La forme de connexion est une 1-forme , dnie sur L
=
complmentaire dans L de la section nulle, invariante par
laction de C
= C {0} par multiplication, et vriant, pour

tout isomorphisme de C
sur une bre de L
=
1
2i
dz
z
.
B. Kostant et J.-M. Souriau montrent que le problme quils
tudient (existence dun br en droites complexes, ou dun
br en cercles, vriant les proprits indiques) a une
solution si et seulement si la classe de cohomologie de la
forme symplectique est entire (ce thorme est parfois
aussi attribu A. Weil).
Lorsque cest le cas, ils montrent que lensemble des
classes disomorphisme de brs solutions du problme est
un espace homogne principal du groupe

1
(M) (groupe
des caractres du groupe fondamental
1
(M)).
Lorsque cest le cas, ils montrent que lensemble des
classes disomorphisme de brs solutions du problme est
un espace homogne principal du groupe

1
(M) (groupe
des caractres du groupe fondamental
1
(M)).
Une fois choisi un br en droites complexes : L M
ayant les proprits voulues, on peut associer, chaque
fonction f C
(M, R), un oprateur (f) agissant sur

lespace des sections diffrentiables de ce br, selon la
formule
(f)s =
X
f
s 2ifs ,
o X
f
est le champ de vecteurs hamiltonien sur M associ
f, et loprateur de drivation covariante de la
connexion.
Loprateur (f) peut aussi tre considr comme un
champ de vecteurs sur le br L
(ou, dans le formalisme

de J.-M. Souriau, sur le br en cercles U), projetable sur
M et ayant X
f
pour projection. Dans le formalisme de
Souriau, cest le champ hamiltonien associ
f sur la
varit de contact (U, ).
Loprateur (f) peut aussi tre considr comme un
champ de vecteurs sur le br L
(ou, dans le formalisme

de J.-M. Souriau, sur le br en cercles U), projetable sur
M et ayant X
f
pour projection. Dans le formalisme de
Souriau, cest le champ hamiltonien associ
f sur la
varit de contact (U, ).
Lapplication : f (f) est un homomorphisme de
lalgbre de Lie C

dans une algbre de Lie doprateurs sur lespace des
sections diffrentiables de L, avec le commutateur pour loi
de composition:
_
{f, g}
_
= (f) (g) (g) (f) .
On peut munir lespace des sections diffrentiables et
support compact du br L dune structure prhilbertienne,
et considrer lespace de Hilbert obtenu en le compltant.
En prolongeant (lorsque cest possible) les oprateurs (f)
en oprateurs anti-adjoints sur cet espace de Hilbert, et en
multipliant les oprateurs obtenus par une constante
imaginaire pure (pour transformer les oprateurs
anti-adjoints en oprateurs autoadjoints), on obtient un
homomorphisme dune sous-algbre de Lie de C
(M, R)
dans une algbre de Lie doprateurs autoadjoints sur un
espace de Hilbert.
En prolongeant (lorsque cest possible) les oprateurs (f)
en oprateurs anti-adjoints sur cet espace de Hilbert, et en
multipliant les oprateurs obtenus par une constante
imaginaire pure (pour transformer les oprateurs
anti-adjoints en oprateurs autoadjoints), on obtient un
homomorphisme dune sous-algbre de Lie de C
(M, R)
dans une algbre de Lie doprateurs autoadjoints sur un
espace de Hilbert.
Applique la varit des mouvements de certains
systmes hamiltoniens, la prquantication explique, par
exemple, le caractre discret de lensemble des valeurs de
lnergie pour des systmes tels que latome dhydrogne.
Pourtant, la prquantication nest quune premire tape.
Applique la varit symplectique R
2n
(coordonnes
x
1
, . . . , x
n
, p
1
, . . . , p
n
), munie de la forme symplectique
usuelle

n
j=1
dp
j
dx
j
, la prquantication conduit utiliser
L
2
(R
2n
) comme espace de Hilbert, et associer
x
j
loprateur i-h

p
j
+x
j
,
p
j
loprateur i-h

x
j
.
Pourtant, la prquantication nest quune premire tape.
Applique la varit symplectique R
2n
(coordonnes
x
1
, . . . , x
n
, p
1
, . . . , p
n
), munie de la forme symplectique
usuelle

n
j=1
dp
j
dx
j
, la prquantication conduit utiliser
L
2
(R
2n
) comme espace de Hilbert, et associer
x
j
loprateur i-h

p
j
+x
j
,
p
j
loprateur i-h

x
j
.
Cela ne correspond pas ce que donne la quantication
canonique formelle, dans laquelle lespace de Hilbert est
L
2
(R
n
). La reprsentation obtenue au moyen de la
prquantication nest pas irrductible.
La quantication
La seconde tape a pour but de construire, partir du br
prquantique et de lhomomorphisme dalgbres de Lie
f (f), un sous-espace de lespace des sections du br
L permettant dobtenir une reprsentation irrductible dune
sous-algbre de lalgbre de Lie C
(M, R).
La quantication
La seconde tape a pour but de construire, partir du br
prquantique et de lhomomorphisme dalgbres de Lie
f (f), un sous-espace de lespace des sections du br
L permettant dobtenir une reprsentation irrductible dune
(M, R).
On utilise pour cela une polarisation de la varit
symplectique (M, ), cest--dire un feuilletage de M dont
les feuilles sont des sous-varits lagrangiennes. Dans les
cas les plus favorables, les feuilles de cette polarisation
sont simplement connexes, leur ensemble est une varit
diffrentiable N et la projection de M sur N est une
submersion. On ne considre plus que les sections de L
qui sont covariantes constantes le long des feuilles de la
polarisation, et on montre quelles sidentient aux sections
dun br rduit, de base N.
La quantication (2)
Si une fonction f C
(M, R) est telle que (f), considr

comme champ de vecteurs sur L
, laisse, par son ot, la

polarisation invariante, on peut considrer (f) comme
oprant sur lespace des sections du br rduit de base N.
La quantication (2)
Si une fonction f C


En utilisant des demi-densits, on peut construire, partir
de lespace des sections diffrentiables support compact
du br rduit de base N, un espace prhilbertien. En
compltant cet espace on obtient une reprsentation dune
(M, R) dans cet espace

de Hilbert. Il reste sassurer que cette reprsentation est
irrductible.
La quantication (2)
Si une fonction f C


En utilisant des demi-densits, on peut construire, partir
de lespace des sections diffrentiables support compact
du br rduit de base N, un espace prhilbertien. En
compltant cet espace on obtient une reprsentation dune
(M, R) dans cet espace

de Hilbert. Il reste sassurer que cette reprsentation est
irrductible.
Applique R
2n
avec la polarisation verticale, cette
mthode permet de retrouver les formules donnes par la
quantication canonique formelle pour les oprateurs
correspondant aux x
j
et p
j
.
La quantication (3)
Malheureusement, les fonctions f telles que (f) soit
compatible avec la polarisation verticale sont les
polynmes de degr au plus 1 en les p
j
, coefcients
fonctions de x
1
, . . . , x
n
. La plupart des hamiltoniens usuels
sont quadratiques en les p
j
, donc ne peuvent pas tre
quantis par ce procd!
La quantication (3)
Malheureusement, les fonctions f telles que (f) soit
compatible avec la polarisation verticale sont les
polynmes de degr au plus 1 en les p
j
, coefcients
fonctions de x
1
, . . . , x
n
. La plupart des hamiltoniens usuels
sont quadratiques en les p
j
, donc ne peuvent pas tre
quantis par ce procd!
On est donc conduit transporter la polarisation au moyen
du ot des champs de vecteurs (f). Ce qui conduit
devoir dnir des isomorphismes entre les espaces de
Hilbert construits avec deux polarisations diffrentes. On
doit encore remplacer les demi-densits par des
demi-formes, an de grer les singularits qui apparaissent
lorsque les deux polarisations considres ne sont pas
transverses . . .
Rfrences
S. Bates and A. Weinstein, Lectures on Geometric Quantization,
Berkeley Mathematics Lecture Notes 8, Amer. Math. Soc.,
Providence, 1997.
R. J. Blattner, Quantization and Representation Theory, in
Harmonic Analysis on Homogeneous Spaces, Proceedings of
Symposia in Pure Mathematics 26, American Mathematical
Society, Providence, 1973.
P. A. M. Dirac, Lectures on Quantum Mechanics, Belfer graduate
School of Science, Yeshiva University, New York, 1964.
W. Heisenberg, The Physical Principles of the Quantum Theory,
Dover, New York 1949 (rst published by the University of
Chicago Press, 1930).
B. Kostant, Quantization and Unitary Representations, part 1,
Prequantization, Lecture Notes in Mathematics 170 (1970),
87208.
Rfrences (2)
L. Landau et E. Lifchitz, M ecanique quantique, ditions Mir,
Moscou, 1967.
G. W. Mackey, The Mathematical Foundations of Quantum
Mechanics, W. A. Benjamin, Inc., New York, 1963.
D. J. Simms and N. M. J. Woodhouse, Lectures on Geometric
Quantization, Lecture Notes in Physics 53, Springer, Berlin
1976.
J.-M. Souriau, Structure des syst ` emes dynamiques, Dunod, Paris,
1970.
N. Woodhouse, Geometric Quantization, Clarendon Press,
Oxford, 1980.

Classic 2 Quantic

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Classic 2 Quantic

Загружено:

Авторское право:

Доступные форматы

De la mcanique classique la

(M, R) une observable classique. Si

(M, R) une observable classique. Si

(M, R), une observable quantique,

(M, R) (munie du crochet de Poisson)

(M, R), une observable quantique,

(M, R) (munie du crochet de Poisson)

= C {0} par multiplication, et vriant, pour

sur une bre de L

= C {0} par multiplication, et vriant, pour

sur une bre de L

(M, R), un oprateur (f) agissant sur

(ou, dans le formalisme

(ou, dans le formalisme

(M, R) (munie du crochet de Poisson)

(M, R) est telle que (f), considr

, laisse, par son ot, la

(M, R) est telle que (f), considr

, laisse, par son ot, la

(M, R) dans cet espace

(M, R) est telle que (f), considr

, laisse, par son ot, la

(M, R) dans cet espace

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