Académique Documents
Professionnel Documents
Culture Documents
Chapitre III :
Ce chapitre est destiné à donner une vue d’ensemble des outils mathématiques de base utilisés en
mécanique quantique. Dans le chapitre 1, nous avons vu que à toute particule de matière est associée une
onde. Nous avons noté par ⃗ la valeur de cette onde au point ⃗ et à l’instant . La théorie quantique
interprète ⃗ comme une amplitude de probabilité de présence de la particule au point ⃗ et à l’instant
autrement dit :
⃗ | ⃗ |
représente la probabilité pour que, à l’instant , la particule soit trouvée dans le volume
autour du point ⃗. La probabilité totale de trouver la particule dans tout l’espace étant égale à 1, on doit
avoir :
∭| ⃗ |
Cette intégrale est finie (donc convergente), ⃗ est dite une fonction de carré sommable.
Remarque :
∭| ⃗ |
⃗
où N est une quantité finie, il suffit alors de définir la fonction ⃗ pour disposer d’une fonc-
√
tion normée à l’unité.
Alors, l’onde associée à une particule matérielle est représentée par une fonction de carré sommable,
c'est-à-dire pour laquelle l’intégrale ci-dessus converge.
Dans ce chapitre, nous allons étudier ce type de fonction et introduire de nouvelles notions.
1. Généralités
L’ensemble des fonctions de carré sommable possède la structure d’un espace vectoriel dénoté . Il est
facile de montrer que satisfait toutes les propriétés d’un espace vectoriel.
1
Chapitre III : Cadre mathématique de la mécanique quantique
⃗ ⃗
A tout couple de deux éléments de ⃗ , et ⃗ , pris dans cet ordre correspond un nombre
complexe, noté ( et appelé produit scalaire de par . Ce nombre vaut par définition :
∭ ⃗ ⃗
Linéarité à droite : (
Antilinéarité à gauche :
Symétrie hermitique : ( =
√ s’appelle la norme de ⃗ .
a) Base discrète
{ ⃗ } est orthonormal si : ∭ ⃗ ⃗
{ ⃗ } constitue une base si toute fonction ⃗ peut se développer sur les ⃗ de manière
unique, soit :
⃗ ∑ ⃗ ,
les sont des nombres complexes qui constituent les coordonnées (ou les composantes de ⃗ sur la
base de ⃗ . Il est évident que :
2
Chapitre III : Cadre mathématique de la mécanique quantique
∭ ⃗ ⃗
Remarque
On notera l’analogie avec une base orthonormée {⃗⃗⃗⃗ ⃗⃗⃗⃗ ⃗⃗⃗⃗} de base ordinaire à trois dimensions.
Le fait que ⃗⃗⃗⃗ ⃗⃗⃗⃗ et ⃗⃗⃗⃗ sont orthogonaux et unitaires peut en effet s’exprimer par : ⃗⃗⃗⃗ ⃗⃗⃗⃗
. Tout vecteur ⃗⃗ de se développe sur les ⃗⃗⃗ : ⃗⃗ ∑ ⃗⃗⃗ avec ⃗⃗⃗ ⃗⃗
Ce second point peut être exprimé par une relation, dite relation de fermeture, que l’on peut établir à
l’aide de la distribution de Dirac. se comporte comme une fonction presque partout nulle sur
sauf en x=0 où elle n’est pas définie en tant que fonction. peut être défini par les relations suivantes :
∫ et si
∭ ⃗ ⃗ ⃗ ⃗ et ⃗ ⃗ si ⃗ ⃗
est donc une distribution qui fait correspondre à une fonction sa valeur en un point donné.
⃗ ∑ ⃗ ∑ ⃗ ∑ ∭ ⃗ ⃗ ⃗
=∭ ⃗ ∑ ⃗ ⃗ ∭ ⃗ ⃗ ⃗
Ceci montre que la fonction ⃗ ⃗ s’identifie à la fonction de Dirac ⃗ ⃗ ( est une fonction paire)
soit : ⃗ ⃗ ⃗ ⃗ donc ∑ ⃗ ⃗ ⃗ ⃗
Ainsi, un ensemble { ⃗ } forme une base orthonormée de si les deux relations suivantes sont satis-
faites :
avec ⃗ ∑ ⃗ et ⃗ ∑ ⃗
∑ ∑ ∭ ⃗ ⃗ ∑ ∑ ( ) ∑ ∑
Soit ∑
3
Chapitre III : Cadre mathématique de la mécanique quantique
b) Base continue
Plus généralement, on peut choisir un ensemble continu de fonction ⃗ où est un indice continu
parcourant . { ⃗ } est base orthonormée si
( ∭ ⃗ ⃗
Cette dernière relation exprime que toute fonction ⃗ peut être développée sur les ⃗ :
⃗ ∫ ⃗ avec ∭ ⃗ ⃗
∫ ∫ ∭ ⃗ ⃗
∫ ∫
Exemples :
⃗ ⃗
1) L’ensemble des fonctions d’onde plane ⃗ ⃗
On montre sans difficultés que chacun des ensembles forme une base orthonormée donc vérifie la R.O. et
la R.F. En conséquence, on peut écrire :
⃗ ⃗
1) { ⃗ ⃗ } ⃗ ∭ ⃗ ⃗ ⃗ ∭ ⃗ (
⃗ ⃗
Avec ⃗ ( ⃗ ) ∭ ⃗ ⃗ ⃗ ∭ ⃗ (
2) { ⃗ ⃗ } ⃗ ∭ ⃗ ⃗ ⃗ ∭ ⃗ ⃗ ⃗
Avec ⃗ ( ⃗ ) ∭ ⃗ ⃗ ⃗ ⃗
On voit donc sur ce dernier exemple que les composantes ⃗ de ⃗ s’identifient toutes à la valeur de
la fonction au point ⃗ .
4
Chapitre III : Cadre mathématique de la mécanique quantique
Relation
(
d’Orthonormalisation (R.O)
Relation de Fermeture ∑ ⃗ ⃗ ⃗ ⃗ ∫ ⃗ ⃗ = ⃗ ⃗
(R.F)
Décomposition ⃗ ∑ ⃗ ⃗ ∫ ⃗
Composantes ∭ ⃗ ⃗ ∭ ⃗ ⃗
Produit scalaire ∑ ∫
Carré de la norme ∑| | ∫| |
Quand on choisit une base pour décomposer une fonction ⃗ appartenant à , on dit que l’on choisit
une représentation. Nous avons vu que la fonction d'onde ⃗ associée à une particule peut aussi bien
être représentée par :
Remarque :
Cette situation est analogue à celle que l’on connaît bien pour l’espace ordinaire de : la posi-
tion d’un point dans l’espace peut être repérée par un ensemble de trois nombres ; qui sont ses
coordonées par rapport à un système d’axes défini à l’l’avance ; si l’on change de repère, au même
point correspondra un autre ensemble de coordonnées.
5
Chapitre III : Cadre mathématique de la mécanique quantique
Les coordonnées , ⃗ et ⃗ sont donc des descriptions équivalentes dans des représentations
différentes d'un même être mathématique à savoir la fonction d'onde. On peut considérer que , ⃗
et ⃗ sont les composantes dans trois bases différentes d'un même vecteur appartenant à un espace
abstrait , (espace vectoriel de Hilbert).
Tout état quantique d'une particule est caractérisé par un vecteur d'état appartenant à l'espace vectoriel
que nous appelons espace des états du système.
En réalité, l’introduction des vecteurs d’état et de l’espace des états n’apporte pas seulement une simplifi-
cation du formalisme. Elle permet aussi sa généralisation.
En mécanique quantique, on utilise la notation | ⟩pour écrire un vecteur de l'espace des états et selon
Dirac, le vecteur | ⟩est appelé un vecteur-ket ou tout simplement un ket (ici ket "psi").
De ce point de vue, la fonction ⃗ elle-même n’est qu’une composante de | ⟩dans une représentation
appelée représentation de Schrödinger (en notant ⃗ au lieu de ⃗ ). La mécanique quantique formulée dans
cette représentation constitue la mécanique quantique de Schrödinger ou mécanique ondulatoire.
Une représentation étant choisie, le ket | ⟩appartenant à s'écrit sous forme d'une matrice à une colonne
:
[i] [⃗ ] ⃗
⃗ ⃗
| ⟩ | ⟩ ⃗ | ⟩ ⃗
( ) ( ) ( )
Dans l'espace , on définit le produit scalaire, | ⟩, | ⟩du ket | ⟩par le ket| ⟩et selon Dirac ce pro-
duit s'écrit : ⟨ | ⟩où la notation ⟨ |désigne un vecteur appartenant à un autre espace vectoriel noté
(dual de ). ⟨ |est appelé vecteur bra ou tout simplement bra (ici bra "fi"). A tout ket on fait corres-
pondre un bra; ce dernier est caractérisé, dans une représentation donnée, par une matrice à une ligne dont
les éléments sont complexes conjugués des composantes du ket associé :
[i] [⃗ ] ⃗
⟨ | ; ⃗ (⃗ ) ;( ⃗ (⃗ )
| ⟩ ⟨ |
6
Chapitre III : Cadre mathématique de la mécanique quantique
| ⟩ | ⟩ ⟨ | ⟨ |
| ⟩ | ⟩ | ⟩ ⟨ | ⟨ | ⟨ |
Effectuons le produit au sens matriciel d'un bra ⟨ | par un ket | ⟩, par exemple dans la représentation [i]
où ⟨ | est représenté par ses composantes et | ⟩ par ses composantes :
⟨ | ⟩ ∑
( )
Ce produit s'identifie donc au produit scalaire des fonctions d'onde ⃗ par ⃗ ; soit :
⟨ | ⟩ ∭ ⃗ ⃗
Ce qui justifie que l'on peut transporter toutes les propriétés obtenues pour le produit scalaire des fonc-
tions d'onde au produit matriciel d'un bra par un ket à savoir : linéarité à droite pour le ket, antilinéarité à
gauche pour le bra et la symétrie hermitique; cette dernière s’écrit donc :
⟨ | ⟩ ⟨ | ⟩
Le symbole ⟨ | ⟩s'appelle "braket" (crochet) d'où l'origine de l'appellation bra pour la partie gauche
⟨ | et ket pour la partie droite | ⟩du symbole.
Ainsi (ou s'interprète comme le produit matriciel du bra ⟨ | (ou du bra ⟨ |) par le ket | ⟩.
Si l'on définit une base discrète {| ⟩ } constituée par une suite discrète de kets | ⟩, un vecteur | ⟩ s'écrit
:
| ⟩ ∑ | ⟩
7
Chapitre III : Cadre mathématique de la mécanique quantique
| ⟩ ∫ | ⟩
Dans les exemples précédents des deux bases continues, position et impulsion, on adopte, pour des rai-
sons de simplification d'écriture, la notation :
| ⃗ ⟩ |⃗ ⟩ et | ⃗ ⟩ |⃗ ⟩
⃗ est une composante de | ⟩dans la représentation position [ ⃗], appelée aussi représentation
de Schrödinger;
ou la projection du vecteur | ⟩ sur le vecteur | ⃗⟩ de la base { ⃗};
ou encore l'écriture du vecteur ket | ⟩dans la représentation de Schrödinger.
1. Définitions et propriétés
Un opérateur est un être mathématique qui a tout ket | ⟩ appartement à fait correspondre un autre ket
| ⟩ appartenant à . C’est donc une application de dans :
| ⟩ | ⟩ = | ⟩.
Somme : | ⟩ | ⟩ | ⟩
Produit : | ⟩ | ⟩
Autres propriétés :
; ;
On conçoit donc que l'action du produit sur | ⟩ ne donne pas en général le même résultat que l'action du
produit sur | ⟩. C'est pourquoi on définit le commutateur de et que le note et est égal à :
.
8
Chapitre III : Cadre mathématique de la mécanique quantique
(Identité de Jacobi)
∑ avec
avec
Etant donné une base, un opérateur est représenté par une matrice carrée dont les éléments sont :
On voit donc que les éléments de la jème colonne de la matrice représentant est constitué par les compo-
santes dans la base {| ⟩} du transformé | ⟩ du ket de base | ⟩.
Soient | ⟩ et | ⟩ deux kets appartenant à , le nombre complexe ⟨ | | ⟩ est appelé élément de matrice
de entre | ⟩ et | ⟩.
⟨ | | ⟩ ∑∑ ⟨ | | ⟩ ∑∑
⟨ | | ⟩ ∬
⟨ | | ⟩ est donc un nombre que l’on obtient en multipliant dans l’ordre la matrice colonne représentant
le ket | ⟩ par la matrice carrée représentant l’opérateur et ensuite par la matrice ligne représentant le
bra ⟨ |.
9
Chapitre III : Cadre mathématique de la mécanique quantique
3. Opérateur adjoint de A
Soit un opérateur linéaire agissant sur les éléments de , on désigne par A l'opérateur adjoint de A défi-
ni par :
⟨ | | ⟩ ⟨ | | ⟩ | ⟩ et | ⟩
Dans une base, la matrice représentant est donc la transposée conjuguée de la matrice représentant
dans cette base. Par exemple dans {| ⟩} :
⟨ | | ⟩ ⟨ | | ⟩ =
Si | ⟩ | ⟩ === ⟨ |=⟨ | .
⟨ | ⟩ ⟨ | ⟩ ⟨ | | ⟩ ⟨ | | ⟩ === ⟨ |=⟨ | .
; ; et .
Avec la notion de , on peut établir l’adjoint d’une expression quelconque contenant tous les symboles
utilisés en notation de Dirac. Pour cela, il suffit de remplacer :
Et inverser l’ordre d’écriture de ces symboles (la place des nombres n’a pas d’importance).
(puisque | ⟩ | ⟩ | ⟩ | ⟩).
10
Chapitre III : Cadre mathématique de la mécanique quantique
5. Opérateur hermitique
Un opérateur est dit hermitiuqe s’il est identique à son adjoint, soit ou encore :
⟨ | | ⟩ ⟨ | | ⟩ | ⟩ et | ⟩
Remarque :
Une combinaison linéaire à coefficients réels d’opérateurs hermitiques est hermitique. En effet :
Le produit de deux opérateurs hermitiques n’est hermitique que si ces opérateurs commutent. En
effet : qui n’est égal à que si .
∑ où (=Coefficients de la série)
Par ailleurs, on a :
mais (formule de Glauber)
Relations d’orthonormalisation
11
Chapitre III : Cadre mathématique de la mécanique quantique
Sachant que le braket s’identifie au produit scalaire des fonctions associées, on aura donc :
Relations de fermeture
| ⟩ ∑ ⟨ | ⟩| ⟩ ∑ | ⟩⟨ | ⟩ par conséquent :
∑ | ⟩⟨ | (Opérateur identité).
| ⟩ ∫ | ⟩ ∫ ⟨ | ⟩| ⟩ ∫ | ⟩⟨ | ⟩
Ces relations, dites de fermeture, expriment donc que la somme des opérateurs projecteurs sur l’espace
des états (engendré par les | ⟩ ou/et les | ⟩) est égale à l’opérateur identité, qui ne modifie pas le ket
auquel on l’applique.
Remarque :
il faut savoir que ces relations ne sont que des traductions de celles établies précédemment dans . Ainsi,
les relations établies dans peuvent être obtenues à partir de celles de et vice versa.
Les ensembles {| ⃗⟩} et {| ⃗⟩} constituent des bases orthonormées, donc satisfont à la R.O. et la R.F., soit :
⟨ ⃗| ⃗ ⟩ ⃗ ⃗ et ∭ | ⃗⟩⟨ ⃗|
⟨ ⃗| ⃗ ⟩ ⃗ ⃗ et ∭ | ⃗⟩⟨ ⃗|
| ⟩ | ⟩ ∭ | ⃗⟩⟨ ⃗| ⟩
Avec ⟨ ⃗| ⟩ ⃗ ∭ ⃗ ⃗ ⃗ ⃗
12
Chapitre III : Cadre mathématique de la mécanique quantique
Il en est de même pour ⃗ ⟨ ⃗| ⟩ qui traduit la projection du vecteur | ⟩ sur le vecteur de la base
impulsion {| ⃗⟩} . A rappeler que : ⃗ ⃗
⟨ ⃗| ⃗⟩ ⃗ ⃗
( ⃗ ⃗) ∭ ⃗ ⃗
⃗⃗
⃗
⟨ ⃗| ⃗⟩ ⟨ ⃗| ⃗⟩
⟨ ⃗| ⟩ ⟨ ⃗| | ⟩ ⟨ ⃗| ⃗⟩ ⟨ ⃗| ⟩ ⃗ ⃗
∭ soit ⃗ ∭ ⃗
Inversement :
⟨ ⃗| ⟩ ⟨ ⃗| | ⟩ ⟨ ⃗| ⃗⟩ ⟨ ⃗| ⟩ ⃗ ⃗
∭ soit ⃗ ∭ ⃗
Les opérateurs positions et impulsions sont définis respectivement dans les représenta-
tions {| ⃗⟩} et {| ⃗⟩} par :
⟨ ⃗| | ⟩ ⟨ ⃗| ⟩ ⟨ ⃗| | ⟩ ⟨ ⃗| ⟩
⟨ ⃗| | ⟩ ⟨ ⃗| ⟩ et ⟨ ⃗| | ⟩ ⟨ ⃗| ⟩
⟨ ⃗| | ⟩ ⟨ ⃗| ⟩ ⟨ ⃗| | ⟩ ⟨ ⃗| ⟩
sont considérés comme « composantes » d’un « opérateur vectoriel » position noté ⃗⃗ et il en est de
même pour les composantes ( ) de l’ « opérateur vectoriel » impulsion, noté ⃗⃗.
En représentation ⃗ , la manipulation des opérateurs est simple. Par exemple l’élément de matrice
⟨ | | ⟩ s’écrit en introduisant la R.F. entre ⟨ | et :
⟨ | | ⟩ ⟨ | | ⟩ ∭ ⟨ | ⃗⟩ ⟨ ⃗| | ⟩ ∭ ⃗ ⃗
⟨ | | ⟩ ∭ ⟨ | ⃗⟩ ⟨ ⃗| | ⟩ ∭ ⃗ ⟨ ⃗| | ⟩
On peut montrer que : (en utilisant les formules des transformations de Fourier)
⟨ ⃗| ⃗⃗| ⟩ ⃗ ⃗
13
Chapitre III : Cadre mathématique de la mécanique quantique
Ainsi, en représentation position l’opérateur ⃗⃗ coïncide avec l’opérateur différentiel appliqué aux
fonctions d’onde ⃗ .
et de façon générale :
[ ] alors que [ ] [ ]
Avec et , , .
A noter que ces commutateurs ne dépendent pas de la représentation puisqu’on a le même résultat quel
que soit la représentation.
1. Définitions
Soit un opérateur et | ⟩ un ket. Nous dirons que | ⟩ est vecteur propre de si la transformée de | ⟩
par action de est un vecteur proportionnel à | ⟩; soit :
On dit alors que est une valeur propre de et | ⟩ vecteur propre associé à cette valeur propre . L'équa-
tion | ⟩ | ⟩ est appelée équation aux valeurs propres de et l'ensemble des valeurs propres consti-
tue ce que l'on convient d'appeler le spectre de l'opérateur ; il peut être soit discret, soit continu, soit en
partie discret et en partie continu.
Afin de distinguer entre les diverses vecteurs propres de , on utilise un indice n qui affecte aussi les va-
leurs propres correspondant et l'équation aux valeurs propres se note:
| ⟩ | ⟩
Si à une valeur propre donnée , correspond un seul ket propre (à un coefficient de proportionnalité
près), est dite une valeur propre simple. Si par contre un nombre supérieur à 1 de kets propres li-
néairement indépendants (c'est à dire dont aucun ne peut être écrit sous forme d'une combinaison linéaire
des autres) sont associés à la valeur propre , on dira que est une valeur propre dégénérée, son ordre
de dégénérescence étant égal à . Dans ce cas on rajoute un autre indice, , pour distinguer entre les
différents vecteurs propres associés à la même valeur propre et l'équation s'écrit donc en général:
| ⟩ | ⟩
Notons enfin que dans ce cas, on pourra par combinaison linéaire des kets propres linéairement
indépendants engendrer tout un sous-espace vectoriel, de dimension , de kets qui sont tous kets propres
de pour la valeur propre . Ce sous-espace, noté n, est dit "sous-espace propre" associé à la valeur
propre .
14
Chapitre III : Cadre mathématique de la mécanique quantique
Soit {| ⟩} une base orthonormée dans que nous supposerons de dimension finie
| ⟩ ∑ | ⟩
Dans cette base, l’opérateur est représenté par ses éléments de matrice :
⟨ | | ⟩ .
⟨ | | ⟩ ⟨ | ⟩
∑⟨ | | ⟩⟨ | ⟩
Soit ∑
Ou encore : ∑
Nous avons là un système de équations linéaires et homogènes, les inconnues étant les coordonnées ci
du vecteur propre | ⟩, en nombre égal au nombre d'équations. Ce système n'aura de solutions (en de-
hors de la solution triviale où tous les ci sont nuls) que si le déterminant des coefficients s'annule; soit :
( )
Les valeurs propres cherchées sont donc les diverses racines de l'équation en (dite "équation caractéris-
tique" ou encore "équation séculaire").
Conséquences :
15
Chapitre III : Cadre mathématique de la mécanique quantique
La matrice représentant dans la base des vecteurs propres de est une matrice diagonale dont
les éléments sont les valeurs propres: chaque valeur propre apparaît un nombre de fois égal à son
ordre de dégénérescence; d'où le nom de diagonalisation de l'opérateur donné à cette opération.
3. Observables- E.C.O.C.
a. Observable
soient et | ⟩ valeur et vecteur propres d’un opérateur . On dit que est une observable si :
i. est hermitique.
ii. L’ensemble des vecteurs propres | ⟩ de constituent une base orthonormée dans l’espace des
états.
La condition i. implique que les valeurs propres de sont réelles. La condition ii. Entraine que les
| ⟩ vérifient les relations d’orthonormalisation ( ⟨ | ⟩ ) et de fermeture (∑ | ⟩ ⟨ | ).
Soient des observables, on dit qu’elles forment un Ensemble Complet d’Observables qui Com-
mutent (en abrégé E.C.O.C) si :
La notion d'observable et celle d’E.C.O.C. sont très utiles en mécanique quantique. Comme on le verra
dans le prochain chapitre, c'est avec une observable qu'on représentera une grandeur physique mesurable.
Les E.C.O.C. permettent en particulier de connaitre l’état d’un système après avoir effectué une mesure
sur une grandeur associée à ce système.
4. Théorèmes fondamentaux
Théorème 1 :
Deux kets propres d’un opérateur hermitique correspondant à deux valeurs propres différentes sont ortho-
gonaux.
Théorème 2 :
Si deux opérateurs et commutent et si | ⟩ et | ⟩ est un ket propre de , alors | ⟩ est aussi ket
propre de associé à la même valeur propre.
16
Chapitre III : Cadre mathématique de la mécanique quantique
Théorème 3 :
Théorème 4 :
Soient et deux observables, si , alors il existe une base orthonormée de l’espace des états cons-
tituée par des kets propres communs à et .
17