Notation bra-ket
La notation bra-ket[1] a été introduite par Paul Dirac en 1939[2] (on l'appelle aussi formalisme de Dirac[1]) pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique.
Le nom provient d'un jeu de mots avec le terme anglais bracket qui signifie « crochet de parenthèse », en l'occurrence « » et « » qui avec l'adjonction d'une barre verticale « » sont respectivement appelés « bra » et « ket ». Cette notation est depuis reprise dans l’étude mathématique de l’algèbre des opérateurs, dont le champ d’application est plus large.
Usage en mécanique quantique
La structure mathématique de la mécanique quantique se prête à l'application de la théorie des représentations pour facilement représenter divers objets de la théorie par leur contrepartie en algèbre linéaire :
- Les divers états quantiques d'un système peuvent être représentés par des vecteurs dans un espace complexe de Hilbert (la structure exacte de cet espace dépend de la situation). Souvent, l'état peut être étiqueté à l'aide de nombres quantiques : dans ce cas, on dénote alors l'état simplement par . Un état pourrait par exemple représenter l'état dans lequel se trouve l'électron d'un atome d'hydrogène à un moment donné ;
- Une superposition d'états quantiques peut être représentée par une combinaison linéaire d'états propres. Par exemple, un électron dans l'état est dans une superposition quantique des états et ;
- Les mesures sont représentées par des opérateurs linéaires (appelés observables) sur l'espace de Hilbert des états quantiques ;
- L'évolution d'un système quantique est ainsi décrite par l'action des opérateurs linéaires sur la fonction d'onde dans l'espace de Hilbert. Par exemple, dans la représentation de Schrödinger, l'opérateur linéaire d'évolution temporelle agit de manière telle que si un électron se trouve dans l'état , il se trouvera un instant plus tard dans l'état .
Puisqu'un grand nombre de calculs en mécanique quantique impliquent les objets mentionnés ci-haut, l'usage de la notation bra-ket est très utile.
L'origine du formalisme
Notation : la notation désigne l'adjoint d'une matrice ou d'un vecteur. L'adjoint est défini comme le transposé du conjugué complexe. Une autre notation utilisée régulièrement dans le cadre de la mécanique quantique pour l'adjoint est le « dague » .
Rappelons que selon les postulats de la mécanique quantique[3], les fonctions d'onde sont des fonctions du temps , des coordonnées spatiales , et possiblement d'autres paramètres internes (spins, moments magnétiques…)
- ,
qu'elles sont solutions de l'équation de Schrödinger
- ,
qu'elles sont normalisées de sorte que
- ,
et que la valeur d'une grandeur physique est calculée selon
- .
La notation de Dirac permet d'exprimer les intégrales précédentes, qui n'est rien de moins qu'un produit hermitien sur l'espace des fonctions à valeur complexe de carré intégrable , de façon très compacte. Il suffit de définir la façon de représenter les objets suivants :
- la fonction est représentée par un vecteur dénommé ket ;
- la fonctionnelle duale est représentée par un vecteur dual dénommé bra .
Les intégrales ci-haut se réécrivent donc de la façon suivante :
- ,
- ,
et plus généralement, pour deux fonctions d'onde et :
- .
Kets et bras
Définitions
Kets
Soit un vecteur de l’espace de Hilbert des états . Il est dénoté et s'appelle vecteur-ket ou ket.
Les kets forment un espace vectoriel complexe. Ainsi, si et sont des nombres complexes quelconques et et sont deux kets, alors
est également un ket.
Plus généralement, si dépend d’un indice continu , et si est une fonction complexe normalisée sur , alors,
est également un ket.
On peut définir un produit scalaire pour les vecteurs-kets, mais pour ce faire, il faut tout d'abord introduire les vecteurs duaux aux kets : les bras.
Bras
L'espace dual des états quantiques, dénoté , est l'espace vectoriel des fonctionnelles linéaires sur les kets de . (Rappel : une fonctionnelle linéaire agit linéairement sur un espace vectoriel et renvoie un scalaire.) Les éléments de sont les bras et sont dénotés par .
Puisque les bras forment un espace vectoriel, une combinaison linéaire à coefficients complexes de bras est également un autre bra.
Produit scalaire et correspondance bras → kets
Il est possible de définir un produit scalaire de deux kets et qui correspond au produit scalaire des fonctions d'ondes correspondantes :
Comme tout produit scalaire complexe, ce produit est sesquilinéaire, c’est-à-dire que :
- ,
et que :
- .
(L'expression signifie que l'on prend le complexe conjugué de — voir Nombre complexe.)
Ceci implique donc une correspondance bra → ket (notons que l'inverse n'existe pas forcément) qui est antilinéaire :
Une norme peut également être définie pour un ket
- .
Cette définition est consistante avec la définition mentionnée plus haut en termes des fonctions d'onde.
Composantes
L’écriture de la norme permet d’écrire un bra sous forme de composantes dans l’espace vectoriel dual de même dimension que l’espace vectoriel des états :
- ,
- ,
- .
On représente aussi le bra sous la forme d’un vecteur ligne, une suite de nombres (les composantes) rangés horizontalement :
Le produit matriciel ci-dessus est commutatif, car la matrice ligne ne contient que des scalaires, la matrice colonne que des bras unitaires, et le produit d’un scalaire et d’un bra est commutatif, et le produit matriciel d’une matrice colonne et d’une matrice ligne, s'il est défini, est toujours commutatif. Il en est de même du produit matriciel d’une matrice colonne de scalaires et d’une matrice ligne de kets.
Il est alors possible d’écrire le produit scalaire d'un bra et d’un ket sous forme du produit de quatre matrices : deux matrices scalaires et des matrices de bras unitaires ou de kets unitaires. En permutant les matrices scalaires, il reste à déterminer le produit de matrices de bras unitaires et de kets unitaires. Or, ces matrices unitaires sont transposées et conjuguées, ce qui signifie que leur produit se réduit au produit de leurs normes. Comme par définition, la norme des matrices unitaires est 1, ces matrices unitaires peuvent être éliminées du produit scalaire. La définition même du produit scalaire nous permet alors de l'écrire simplement en termes de produit de deux matrices scalaires de la façon suivante :
Opérateurs et notation de Dirac
D’une façon générale, les opérateurs linéaires agissant sur l’espace des états peuvent s’écrire sous la forme d’une combinaison linéaire d'opérateurs.
Ainsi, à titre d'exemple de combinaison linéaire, on peut former l'opérateur:
- ou plus simplement ,
dont l’action sur un état, représenté par le ket , sera l’état :
- , ce qui permet une grande économie d’écriture.
Un exemple physique :
Prenons le cas d'un atome à deux niveaux. Notons son niveau (état) fondamental et son état excité.
On peut définir comme étant l'opérateur dont l'application permet de faire passer l'atome de son état fondamental vers son état excité.
Ainsi, si l'on fait porter sur on obtient :
- car
- car
Au passage on notera que l'application d'un opérateur en notation de Dirac doit se lire de droite à gauche. Dans le cas présent, l'opérateur assure donc bien la transition de vers
Notes et références
- Elbaz 1995, chapitre 4 Formalisme de Dirac.
- (en) P. A. M. Dirac, « A new notation for quantum mechanics », Mathematical Proceedings of the Cambridge Philosophical Society, , p. 416-418 (lire en ligne).
- Claude Cohen-Tannoudji, Bernard Diu, Franck Laloë, Mécanique quantique I, Paris, Hermann, , 890 p. (ISBN 2-7056-6074-7).
Voir aussi
Bibliographie
- Edgard Elbaz, Quantique, Paris, Ellipses, , 506 p. (ISBN 2-7298-9561-2)