Notation bra-ket

notation d'un état quantique

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

modifier

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

modifier

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-dessus se réécrivent donc de la façon suivante :

  ,
  ,

et plus généralement, pour deux fonctions d'onde   et   :

 .

Kets et bras

modifier

Définitions

modifier

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.

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

modifier

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

modifier

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

modifier

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  

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

modifier
  1. a et b Elbaz 1995, chapitre 4 Formalisme de Dirac.
  2. (en) P. A. M. Dirac, « A new notation for quantum mechanics », Mathematical Proceedings of the Cambridge Philosophical Society,‎ , p. 416-418 (lire en ligne).
  3. Claude Cohen-Tannoudji, Bernard Diu, Franck Laloë, Mécanique quantique I, Paris, Hermann, , 890 p. (ISBN 2-7056-6074-7).

Voir aussi

modifier

Bibliographie

modifier

Articles connexes

modifier