Relations d’incertitude de Heisenberg 309
Cette fonction représente l’amplitude de probabilité de présence de la particule,
c’est-à-dire que la densité de probabilité associée à la présence de la particule au
point rde l’espace et à l’instant test y(rt)2. La fonction y(t) est normalisée
(au sens de la norme L2) à 1 :
pour tout ty(t)2
23
y(rt)2d3r1
D´
EFINITION 13.7 On appelle fonction d’onde en repr´
esentation position la fonc-
tion de carré sommable ainsi définie. On appellera l’espace vectoriel des fonc-
tions d’onde. Cet espace, muni du produit scalaire usuel, est un espace de Hilbert1.
D´
EFINITION 13.8 On note X l’op´
erateur position sur l’axe x, Y et Z ceux sur
les axes yet z, et Rdéf. (X Y Z). L’opérateur X est défini par son action sur
toute fonction d’onde
Xy f avec f(t) : rxy(rt)
en notant génériquement r(x y z).
Il faut bien faire attention à ne pas commettre l’erreur (très) classique qui
consiste à dire que yet Xysont proportionnelles, le coefficient de proportionnalité
étant x!
Il est d’usage de noter y(t) la fonction y(t) considérée comme un vecteur
de l’espace vectoriel des fonctions d’ondes2. Le produit scalaire entre deux vecteurs
est alors (attention : la convention choisie pour le produit hermitien en mécanique
quantique est alors : linéaire à droite et semi-linéaire à gauche) :
y(t)f(t)déf. y(rt)f(rt) d3r
et l’action de l’opérateur position se note
Xy(t)f(t) avec f(rt)xy(rt)
1Ou plutôt on fait comme si c’était un espace de Hilbert, voire on le pose comme postulat.
Car pour de nombreuses applications physiques, l’espace des fonctions de carré intégrable n’est pas
suffisant. Notamment, les fonctions rexp(i k r) sont couramment employées, bien que n’étant
pas de carré sommable. Ce sont des fonctions d’onde « non physiques ». Force est de constater que les
auteurs ne définissent que très rarement ce qu’est exactement l’espace des fonctions d’onde utilisé ;
ils vérifient encore moins souvent que c’est effectivement un espace de Hilbert. Les difficultés sont
d’ailleurs disproportionnées, si on les compare aux avantages acquis pour la physique de tous les
jours.
2En réalité, y(t) est un vecteur d’un espace de Hilbert abstrait H. Il existe cependant un
morphisme de H vers L2(3), c’est-à-dire que le vecteur y(t) peut être représenté par la
fonction ry(rt) : c’est la repr´
esentation position. Cependant, puisque la transformation de
Fourier est un isomorphisme de L2(3) sur lui-même, le vecteur y(t) peut tout aussi bien être
représenté par la fonction py(pt), transformée de Fourier de la précédente. C’est ce que l’on
appelle la repr´
esentation impulsion du vecteur d’onde.