Espace préhilbertien complexe/Annexe/Application à la mécanique quantique
Le but de cet annexe n’est pas de présenter l'intégralité du formalisme mathématique de la mécanique quantique, mais de faire un début de passerelle entre les notions présentées dans ce cours de mathématiques et leur application en physique.
- → Pour une présentation plus exhaustive et plus adaptée à la physique, se reporter au cours « Outils mathématiques utilisés en mécanique quantique ».
Rapide introduction
modifierLes espaces préhilbertiens complexes sont également la base mathématique du développement de la physique quantique.
En quelques mots, les particules quantiques sont modélisées par une fonction d'onde , qui représente l'état de la particule. En particulier, cette fonction d'onde est reliée à la probabilité dp de présence de la particule dans un volume dV autour de la position par la relation .
- → Voir le cours d'introduction à la mécanique quantique pour de plus amples informations sur les interprétations physiques de la fonction d'onde.
Notation Bra-ket
modifierest généralement une fonction complexe. L'ensemble des fonctions d'onde possibles forme un espace vectoriel, qu'on peut munir du produit scalaire complexe (qu'on suppose défini)
Paul Dirac, dont la contribution à cette nouvelle physique a été très grande, a introduit une nouvelle notation, dite « bra-ket » pour écrire les équations de la mécanique quantique. En anglais, le terme « bracket » désigne les sortes de parenthèses anguleuses qui jalonnent les cours mettant en jeu des produits scalaires.
Une fonction d'onde en tant que vecteur de l'espace des fonctions d'onde est notée .
On appelle cette représentation vecteur-ket, ou plus simplement ket associé à l'état .
On peut alors effectuer les mêmes manipulations linéaires que sur un vecteur normal. Par exemple, si et sont deux fonctions d'onde, la superposition avec a pour ket associé :
De plus, à partir d'un vecteur , on peut construire un élément de l'espace dual à travers l’application . Dans le cas des espaces hermitiens, on a même un isomorphisme.
À partir d'un ket , on peut définir la forme , élément du dual de l'espace des fonctions d'onde.
Cette forme est représentée sous la forme d'un bra :
Ainsi, si l’on veut calculer le produit scalaire du vecteur et du vecteur , on peut appliquer le bra au vecteur , ce qui se note ou, plus simplement… !
On peut faire également des opérations sur les bras, mais cette fois, de façon semi-linéaire, toujours à cause de la définition du produit scalaire complexe qui est semi-linéaire à gauche : si et sont deux fonctions d'onde, la superposition des bras qui leur sont associés donne :
Décomposition en base orthonormée dans un espace hilbertien
modifierOn se place dans un espace hilbertien de dimension n muni d'une base orthonormée .
Soit un vecteur de cet espace.
- La décomposition de x suivant la base e s'écrit
- Le projecteur orthogonal sur le vecteur de base est l’application
- En effet, appliquée au ket , on obtient .
On observe que l'ordre des éléments est important :
|
Opérateur hermitique
modifierSoit A une matrice.
On appelle conjugué hermitique de A et on note la matrice .
Une matrice hermitienne est alors une matrice égale à son conjugué hermitique :
En physique quantique, ces matrices hermitiennes sont importantes car elles représentent des opérateurs appelés opérateurs hermitiques qui sont associés à des observables expérimentales.