Relation de commutation canonique

En mécanique quantique, la relation de commutation canonique est la relation fondamentale entre les grandeurs conjuguées canoniques (grandeurs qui sont liées par définition telles que l'une est la transformée de Fourier d'une autre). Par exemple :

$[\hat{x},{\hat{p}}_x]=i\hslash$

entre l'opérateur de position Modèle:Mvar et l'opérateur d'impulsion Modèle:Mvar dans la direction Modèle:Mvar d'une particule ponctuelle dans une dimension, où Modèle:Formule est le commutateur de Modèle:Mvar et Modèle:Mvar, Modèle:Mvar est l'unité imaginaire, et Modèle:Formule est la constante de Planck réduite Modèle:Formule . En général, la position et l'impulsion sont des vecteurs d'opérateurs et leur relation de commutation entre les différentes composantes de la position et de l'impulsion peut être exprimée comme :

$[{\hat{r}}_i,{\hat{p}}_j]=i\hslash {\delta }_{ij}.$

où ${\delta }_{ij}$ est le delta de Kronecker .

Cette relation est attribuée à Max Born (1925), qui l'appelait une « condition quantique » servant de postulat à la théorie ; il a été noté par E. Kennard (1927) pour impliquer le principe d'incertitude de Heisenberg. Le théorème de Stone-von Neumann donne un résultat d'unicité pour les opérateurs satisfaisant (une forme exponentielle de) la relation de commutation canonique.

Relation avec la mécanique classique

En revanche, en physique classique, toutes les observables commutent et le commutateur serait nul. Cependant, une relation analogue existe, qui s'obtient en remplaçant le commutateur par le crochet de Poisson multiplié par Modèle:Formule :

$\{x,p\}=1.$

Cette observation a conduit Dirac à proposer que les homologues quantiques Modèle:Mvar Modèle:Mvar aux classiques Modèle:Mvar Modèle:Mvar satisfont :

$[\hat{f},\hat{g}]=i\hslash \widehat{\{f,g\}}.$

En 1946, Hip Groenewold a démontré qu'une correspondance systématique générale entre les commutateurs quantiques et les crochets de Poisson ne pouvait pas être cohérenteModèle:,.

Cependant, il a en outre apprécié qu'une telle correspondance systématique existe en fait entre le commutateur quantique et une déformation du crochet de Poisson, aujourd'hui appelé crochet de Moyal, et, en général, les opérateurs quantiques et les observables classiques et les distributions dans l'espace des phases. Il a ainsi finalement élucidé le mécanisme de correspondance cohérent, la transformée de Wigner-Weyl, qui sous-tend une représentation mathématique équivalente alternative de la mécanique quantique connue sous le nom de quantification de déformationModèle:,.

Dérivation de la mécanique hamiltonienne

Selon le principe de correspondance, dans certaines limites, les équations quantiques des états doivent se rapprocher des équations de mouvement d'Hamilton. Ce dernier énonce la relation suivante entre la coordonnée généralisée q (par exemple la position) et l'impulsion généralisée p :

$\{\begin{array}{c}\dot{q}=\frac{\partial H}{\partial p}=\{q,H\};\\ \dot{p}=-\frac{\partial H}{\partial q}=\{p,H\}.\end{array}$

En mécanique quantique, l'hamiltonien $\hat{H}$, coordonnée (généralisée) $\hat{Q}$ et impulsion (généralisée) $\hat{P}$ sont tous des opérateurs linéaires.

La dérivée temporelle d'un état quantique est $i\hat{H}/\hslash$ (par l'équation de Schrödinger ). De manière équivalente, puisque les opérateurs ne sont pas explicitement dépendants du temps, on peut les voir évoluer dans le temps (voir l'image d'Heisenberg) en fonction de leur relation de commutation avec l'hamiltonien :

$\frac{d\hat{Q}}{dt}=\frac{i}{\hslash }[\hat{H},\hat{Q}]$

$\frac{d\hat{P}}{dt}=\frac{i}{\hslash }[\hat{H},\hat{P}].$

Pour que cela se concilie dans la limite classique avec les équations de mouvement d’Hamilton, $[\hat{H},\hat{Q}]$ doit dépendre entièrement de l'apparence de $\hat{P}$ dans l’hamiltonien et $[\hat{H},\hat{P}]$ doit dépendre entièrement de l'apparence de $\hat{Q}$ dans l'hamiltonien. De plus, puisque l'opérateur hamiltonien dépend des opérateurs de coordonnées (généralisés) et d'impulsion, il peut être considéré comme une fonctionnelle, et nous pouvons écrire (en utilisant des dérivées fonctionnelles) :

$[\hat{H},\hat{Q}]=\frac{\delta \hat{H}}{\delta \hat{P}}\cdot [\hat{P},\hat{Q}]$ fonctionnelle

$[\hat{H},\hat{P}]=\frac{\delta \hat{H}}{\delta \hat{Q}}\cdot [\hat{Q},\hat{P}].$

Afin d'obtenir la limite classique, nous devons alors avoir :

$[\hat{Q},\hat{P}]=i\hslash$

Les relations de Weyl

Le groupe $H_3(ℝ)$ généré par l'exponentiation de l'algèbre de Lie tridimensionnelle, déterminée par la relation de commutation $[\hat{x},\hat{p}]=i\hslash$ s'appelle le groupe Heisenberg . Ce groupe peut être réalisé comme le groupe des matrices triangulaires $3\times 3$ supérieures avec des 1 en diagonale.

Selon la formulation mathématique standard de la mécanique quantique, les observables quantiques tels que $\hat{x}$ et $\hat{p}$ devraient être représentés comme des opérateurs autoadjoints sur un certain espace de Hilbert. Il est relativement facile de voir que deux opérateurs satisfaisant les relations de commutation canoniques ci-dessus ne peuvent pas tous deux être bornés. Certainement, si $\hat{x}$ et $\hat{p}$ étaient des opérateurs de classe trace, la relation $\mathrm{Tr}(AB)=\mathrm{Tr}(BA)$ donne un nombre différent de zéro à droite et zéro à gauche.

Alternativement, si $\hat{x}$ et $\hat{p}$ étaient des opérateurs bornés, notez que $[{\hat{x}}^n,\hat{p}]=i\hslash n{\hat{x}}^{n-1}$, donc les normes des opérateurs satisferaient

$2\Vert \hat{p}\Vert {\Vert \hat{x}\Vert }^n\ge n\hslash {\Vert \hat{x}\Vert }^{n-1}$, de sorte que, pour tout n :

$2\Vert \hat{p}\Vert \Vert \hat{x}\Vert \ge n\hslash$

Cependant, Modèle:Mvar peut être arbitrairement grand, de sorte qu'au moins un opérateur ne peut pas être borné et la dimension de l'espace de Hilbert sous-jacent ne peut pas être finie. Si les opérateurs satisfont les relations de Weyl (une version exponentielle des relations de commutation canoniques, décrites ci-dessous), alors en conséquence du théorème de Stone-von Neumann, les deux opérateurs doivent être illimités.

Pourtant, ces relations de commutation canoniques peuvent être rendues quelque peu « plus triviales » en les écrivant en termes d'opérateurs unitaires (bornés) $\mathrm{e}\mathrm{x}\mathrm{p}(it\hat{x})$ et $\mathrm{e}\mathrm{x}\mathrm{p}(is\hat{p})$. Les relations de couplage résultantes pour ces opérateurs sont les relations dites de Weyl :

$\mathrm{e}\mathrm{x}\mathrm{p}(it\hat{x})\mathrm{e}\mathrm{x}\mathrm{p}(is\hat{p})=\mathrm{e}\mathrm{x}\mathrm{p}(-ist\hslash )\mathrm{e}\mathrm{x}\mathrm{p}(is\hat{p})\mathrm{e}\mathrm{x}\mathrm{p}(it\hat{x})$.

Ces relations peuvent être considérées comme une version exponentielle des relations de commutation canoniques ; elles reflètent que les translations en position et les translations en impulsion ne commutent pas. On peut facilement reformuler les relations de Weyl en termes de représentations du groupe Heisenberg.

L'unicité des relations de commutation canoniques – sous la forme des relations de Weyl – est alors garantie par le théorème de Stone-von Neumann.

Il est important de noter que pour des raisons mathématiques, les relations de Weyl ne sont pas strictement équivalentes à la relation de commutation canonique $[\hat{x},\hat{p}]=i\hslash$ . Si $\hat{x}$ et $\hat{p}$ étaient des opérateurs bornés, alors un cas particulier de la formule de Baker – Campbell – Hausdorff permettrait « d'exponentialiser » les relations de commutation canoniques aux relations de Weyl. Puisque, comme nous l'avons noté, tout opérateur satisfaisant les relations de commutation canoniques doit être illimité, la formule de Baker – Campbell – Hausdorff ne s'applique pas sans hypothèses de domaine supplémentaires. En effet, il existe des contre-exemples satisfaisant les relations de commutation canoniques mais pas les relations de Weyl (ces mêmes opérateurs donnent un contre-exemple à la forme naïve du principe d'incertitude). Ces problèmes techniques sont la raison pour laquelle le théorème de Stone-von Neumann est formulé en termes de relations de Weyl.

Une version discrète des relations de Weyl, dans laquelle les paramètres s et t s'étendent sur $\mathbb{Z}/n$, peut être réalisée sur un espace de Hilbert de dimension finie au moyen des matrices d'horloge et de décalage.

Généralisations

La formule simple :

$[x,p]=i\hslash ,$

valable pour la quantification du système classique le plus simple, peut être généralisée au cas d'un lagrangien arbitraire $ℒ$ . On identifie les coordonnées canoniques (comme Modèle:Mvar dans l'exemple ci-dessus, ou un champ Modèle:Formule dans le cas de la théorie quantique des champs) et les moments canoniques Modèle:Formule (Modèle:Mvar dans l'exemple ci-dessus, ou plus généralement, certaines fonctions impliquant le dérivées des coordonnées canoniques par rapport au temps) :

${\pi }_i\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\frac{\partial ℒ}{\partial (\partial x_i/\partial t)}.$

Cette définition de l'impulsion canonique garantit que l'une des équations d'Euler – Lagrange a la forme :

$\frac{\partial }{\partial t}{\pi }_i=\frac{\partial ℒ}{\partial x_i}.$

Les relations de commutation canoniques s'élèvent alors à :

$[x_i,{\pi }_j]=i\hslash {\delta }_{ij},$

où Modèle:Formule est le delta de Kronecker.

De plus, on peut facilement montrer que :

$[F(\overrightarrow{x}),p_i]=i\hslash \frac{\partial F(\overrightarrow{x})}{\partial x_i};[x_i,F(\overrightarrow{p})]=i\hslash \frac{\partial F(\overrightarrow{p})}{\partial p_i}.$

En utilisant $C_{n+1}^k=C_n^k+C_n^{k-1}$, on peut facilement montrer que par induction mathématique :

$[{\hat{x}}^n,{\hat{p}}^m]=\sum _{k=1}^{min(m,n)}\frac{-{(-i\hslash )}^{k}n!m!}{k!(n-k)!(m-k)!}{\hat{x}}^{n-k}{\hat{p}}^{m-k}=\sum _{k=1}^{min(m,n)}\frac{{\left(i\hslash \right)}^{k}n!m!}{k!(n-k)!(m-k)!}{\hat{p}}^{m-k}{\hat{x}}^{n-k}$

Invariance de jauge

La quantification canonique est appliquée, par définition, sur des coordonnées canoniques . Cependant, en présence d'un champ électromagnétique, l'impulsion canonique Modèle:Mvar n'est pas invariante de jauge. La vitesse correcte invariante de jauge (ou moment cinétique) est :

$p_{\text{kin}}=p-qA$ (Unités SI)    $p_{\text{kin}}=p-\frac{qA}{c}$ (unités cgs),

où Modèle:Mvar est la charge électrique de la particule, Modèle:Mvar est le potentiel vecteur et Modèle:Formule est la vitesse de la lumière. Bien que la quantité Modèle:Formule soit la « quantité de mouvement physique », en ce qu'elle est la quantité à identifier avec la quantité de mouvement dans les expériences de laboratoire, elle ne satisfait pas les relations de commutation canoniques ; seul l'impulsion canonique fait cela. Cela peut être vu comme suit :

L'hamiltonien non relativiste pour une particule chargée quantifiée de masse Modèle:Mvar dans un champ électromagnétique classique est (en unités cgs) :

$H=\frac{1}{2m}{(p-\frac{qA}{c})}^2+q\varphi$

où Modèle:Mvar est le potentiel à trois vecteurs et Modèle:Mvar est le potentiel scalaire. Cette forme de l'hamiltonien, ainsi que l'équation de Schrödinger Modèle:Formule, les équations de Maxwell et la loi de force de Lorentz sont invariantes sous la transformation de jauge :

$A\to A^{\prime }=A+\mathrm{\nabla }\mathrm{\Lambda }$

$\varphi \to {\varphi }^{\prime }=\varphi -\frac{1}{c}\frac{\partial \mathrm{\Lambda }}{\partial t}$

$\psi \to {\psi }^{\prime }=U\psi$

$H\to H^{\prime }=UH{U}^{†},$

où :

$U=\exp \left(\frac{iq\mathrm{\Lambda }}{\hslash c}\right)$

et Λ = Λ (x, t) est la fonction de jauge.

L'opérateur de moment cinétique est :

$L=r\times p$

et obéit aux relations de quantification canoniques :

$[L_i,L_j]=i\hslash {ϵ}_{ijk}{L}_k$

définissant l'algèbre de Lie pour so(3), où ${ϵ}_{ijk}$ est le symbole Levi-Civita. Sous les transformations de jauge, le moment cinétique se transforme en :

$⟨\psi |L|\psi ⟩\to ⟨{\psi }^{\prime }|L^{\prime }|{\psi }^{\prime }⟩=⟨\psi |L|\psi ⟩+\frac{q}{\hslash c}⟨\psi |r\times \mathrm{\nabla }\mathrm{\Lambda }|\psi ⟩.$

Le moment cinétique invariant (ou moment cinétique angulaire) est donné par :

$K=r\times (p-\frac{qA}{c}),$

qui a les relations de commutation :

$[K_i,K_j]=i\hslash {{ϵ}_{ij}}^k(K_k+\frac{q\hslash }{c}{x}_k(x\cdot B))$

où :

$B=\mathrm{\nabla }\times A$

est le champ magnétique. La non-équivalence de ces deux formulations apparaît dans l'effet Zeeman et l'effet Aharonov – Bohm.

Relation d'incertitude et commutateurs

Toutes ces relations de commutation non triviales pour des paires d'opérateurs conduisent à des relations d'incertitude correspondantes, impliquant des contributions d'espérance semi-définies positives par leurs commutateurs et anticommutateurs respectifs. En général, pour deux opérateurs Hermitiques Modèle:Mvar et Modèle:Mvar considérés valeurs moyennes dans un système dans l'état Modèle:Mvar, la variance autour de la valeur moyenne correspondante étant :

Puis :

$\mathrm{\Delta }A\mathrm{\Delta }B\ge \frac{1}{2}\sqrt{{\left|⟨[A,B]⟩\right|}^2+{\left|⟨\{A-⟨A⟩,B-⟨B⟩\}⟩\right|}^2},$

où Modèle:Formule est le commutateur de Modèle:Mvar et Modèle:Mvar, et Modèle:Formule est l'anticommutateur.

Cela fait suite à l'utilisation de l'inégalité de Cauchy – Schwarz, puisque Modèle:Formule et Modèle:Formule ; et de même pour les opérateurs décalés Modèle:Formule et Modèle:Formule (Cf. dérivations du principe d'incertitude.)

En substituant Modèle:Mvar et Modèle:Mvar (et en prenant soin de l'analyse), on obtient la relation d'incertitude d’Heisenberg pour Modèle:Mvar et Modèle:Mvar.

Relation d'incertitude pour les opérateurs de moment cinétique

Pour les opérateurs de moment cinétique, tels que Modèle:Formule, on a :

$[L_x,L_y]=i\hslash {ϵ}_{xyz}{L}_z,$

où ${ϵ}_{xyz}$ est le symbole Levi-Civita et renverse simplement le signe de la réponse sous l'échange par paires des indices. Une relation analogue est valable pour les opérateurs de spin.

Ici, pour Modèle:Mvar et Modèle:Mvar, en multiplets de moment angulaire $\psi =|\ell ,m⟩$ on a, pour les composantes transversales de l'invariance de Casimir Modèle:Formule les relations symétriques en Modèle:Mvar :

$⟨L_x^2⟩=⟨L_y^2⟩=(\ell (\ell +1)-m^2)\frac{{\hslash }^2}{2}$,

ainsi que Modèle:Formule

Par conséquent, l'inégalité ci-dessus appliquée à cette relation de commutation spécifie :

$\mathrm{\Delta }{L}_x\mathrm{\Delta }{L}_y\ge \frac{1}{2}\sqrt{{\hslash }^2|⟨L_z⟩{|}^2},$

Par conséquent :

$\sqrt{|⟨L_x^2⟩⟨L_y^2⟩|}\ge \frac{{\hslash }^2}{2}m$

et donc :

$\ell (\ell +1)-m^2\ge m,$

cette relation donne donc des contraintes utiles telles qu'une borne inférieure sur l'invariant de Casimir : $\ell (\ell +1)\ge m(m+1)$ , et donc $\ell \ge m$, entre autres.

Voir également

• Théorème de Stone-von Neumann
• Quantification canonique
• Algèbre CCR
• Dérivé de Lie
• Crochet de Moyal

Bibliographie

• Hall, Brian C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, 267, Springer.
• Hall, Brian C. (2013), Lie Groups, Lie Algebras and Representations, An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer.