Cet article ne cite pas suffisamment ses sources (avril 2019).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mécanique quantique, la théorie de la perturbation, ou théorie des perturbations, est un ensemble de schémas d'approximations liée à une perturbation mathématique utilisée pour décrire un système quantique complexe de façon simplifiée. L'idée est de partir d'un système simple et d'appliquer graduellement un hamiltonien « perturbant » qui représente un écart léger par rapport à l'équilibre du système (perturbation). Si la perturbation n'est pas trop importante, les différentes quantités physiques associées avec le système perturbé (comme ses niveaux d'énergie et états propres) seront générés de manière continue à partir de ceux du système simple. On peut donc étudier le premier à partir des connaissances sur le dernier.

Si le système étudié peut être décrit par l'opérateur hamiltonien ${\displaystyle {\mathcal {H}}}$, la théorie de la perturbation s'applique lorsqu'il peut s'écrire sous la forme :

${\displaystyle {\mathcal {H}}=H_{0}+W}$

• où ${\displaystyle H_{0}}$ est l'hamiltonien non-perturbé, opérateur indépendant du temps, dont les états propres et valeurs propres sont connus ;
• et ${\displaystyle W}$ est la perturbation, ${\displaystyle W}$ étant petit devant ${\displaystyle H_{0}}$.

Si ${\displaystyle W}$ ne dépend pas non plus du temps, alors la perturbation est dite stationnaire^[1].

La théorie de la perturbation est un outil important pour la description des systèmes quantiques réels, car trouver des solutions exactes à l'équation de Schrödinger pour des hamiltoniens de systèmes même modérément complexes peut être très difficile. Les hamiltoniens pour lesquels on connaît des solutions exactes, comme ceux de l'atome d'hydrogène, de l'oscillateur harmonique quantique et de la particule dans une boîte, sont trop idéalisés pour décrire de manière adéquate la plupart des systèmes. Ils ne visent en particulier que des systèmes à une seule particule. En utilisant la théorie de la perturbation, on peut utiliser les solutions connues de ces hamiltoniens simples comme premières approximations de solutions pour une série de systèmes plus complexes. Ainsi, en ajoutant un potentiel électrique perturbateur au modèle quantique de l'atome d'hydrogène, on peut calculer les déplacements faibles des raies spectrales de l'hydrogène en raison de la présence d'un champ électrique (effet Stark). Ceci ne peut être qu'une approximation : la somme d'un potentiel coulombien avec un potentiel linéaire est instable bien que le temps tunnel (radioactivité) soit très important. Cela montre que même pour un ajustement des raies d'énergie spectrale, la théorie de la perturbation échoue à traduire entièrement le phénomène. La théorie de la perturbation de Møller-Plesset est une application de la théorie de la perturbation à la méthode de Hartree-Fock.

Les modifications de formules induites par l'introduction de la perturbation ne sont pas exactes, mais peuvent conduire à des résultats précis tant que le paramètre de développement ${\displaystyle \scriptstyle \alpha }$ reste faible. Au-delà d'un certain ordre ${\displaystyle \scriptstyle n\sim 1/\alpha }$, cependant, les résultats deviennent erratiques dans la mesure où les séries générées divergent, leur développement étant seulement asymptotique. Il existe des manières de les convertir en séries convergentes, ce qui peut être considéré pour des paramètres de développement importants, en particulier par une méthode variationnelle.

En électrodynamique quantique (QED) dans laquelle l'interaction électron-photon est traitée de manière perturbative, le calcul du moment magnétique électronique est en accord avec l'expérience jusqu'à 11 décimales, ce qui correspond d'ailleurs à la précision des mesures actuelles. Dans cette théorie, ainsi que pour d'autres théories quantiques des champs, des techniques spécifiques de calcul connues sous le nom de diagrammes de Feynman sont employées pour effectuer une somme systématique des termes de puissance donnée de la série.

Dans certaines circonstances, la théorie de la perturbation est une approche invalide. Cela se produit lorsque le système à décrire ne peut être approché par une petite perturbation imposée à un système simple. En chromodynamique quantique, par exemple, l'interaction des quarks avec le champ gluonique ne peut être traité par perturbation aux faibles énergies car la constante de couplage (paramètre de développement) devient trop important. La théorie de la perturbation échoue aussi à décrire des états générés de manière diabatique à partir du « modèle libre », comme les états liants et différents phénomènes collectifs comme les solitons. On peut considérer, par exemple, un système de particules libres (non-interagissantes), dans lequel une interaction attractive est introduite. Selon la forme de cette interaction, un ensemble entièrement nouveau d'états propres correspondant à des groupes de particules liées entre elles peut être créé. Un exemple de ce phénomène peut être trouvé en supraconductivité conventionnelle, dans laquelle l'attraction portée par les phonons entre les électrons de conduction mène à la formation de paires d'électrons corrélés connues sous le nom de paires de Cooper. Lorsque l'on a affaire à de tels systèmes, on utilise habituellement d'autres schémas d'approximation, comme la méthode variationnelle ou l'approximation BKW. En effet, il n'existe pas d'analogue à une particule liante dans le modèle non perturbé et l'énergie d'un soliton varie typiquement comme l'inverse du paramètre de développement. Cependant, si l'on « intègre » sur le phénomène solitonique, les corrections non perturbatives seront dans ce cas faibles, de l'ordre de ${\displaystyle \scriptstyle \exp(-1/g)}$ ou ${\displaystyle \scriptstyle \exp(-1/g^{2})}$ dans le paramètre de perturbation ${\displaystyle \scriptstyle g}$. La théorie de la perturbation peut seulement conduire à des solutions « proches » de la solution non-perturbée, même s'il existe d'autres solutions (qui augmentent typiquement quand le paramètre de développement approche de zéro).

Le traitement des problèmes des systèmes non-perturbatifs a été en partie aidé par l'essor des ordinateurs modernes. Il est devenu (relativement) simple de trouver des solutions non-perturbatives pour certains problèmes, par le biais de méthodes comme la théorie de la fonctionnelle de la densité. Ces avancées ont particulièrement profité à la chimie quantique. Les ordinateurs ont également été employés pour procéder à des calculs en théorie de la perturbation atteignant de très hauts niveaux de précision, nécessaires et importants en physique des particules pour obtenir des résultats théoriques comparables à l'expérience.

Il y a deux catégories de théorie de la perturbation : indépendante du temps et dépendante du temps. Dans cette section, on traitera de la théorie de la perturbation indépendante du temps, dans laquelle le hamiltonien de perturbation est statique. La théorie de la perturbation indépendante du temps fut présentée dans un article^[2] d'Erwin Schrödinger de 1926, peu après qu'il eut énoncé ses théories en mécanique ondulatoire. Dans cet article, Erwin Schrödinger faisait référence à un travail antérieur de lord Rayleigh^[3] qui étudia les vibrations harmoniques d'une corde perturbée par des petites inhomogénéités. C'est pourquoi cette théorie de la perturbation est parfois appelée « théorie de la perturbation de Rayleigh-Schrödinger ».

On commence en utilisant un hamiltonien non perturbé ${\displaystyle \scriptstyle H_{0}}$, qui est aussi considéré comme indépendant du temps. Il possède des niveaux d'énergie et états propres connus, déterminés par l'équation de Schrödinger indépendante du temps :

${\displaystyle H_{0}|n^{(0)}\rangle =E_{n}^{(0)}|n^{(0)}\rangle \quad ,\quad n=1,2,3,\cdots }$

Pour simplifier, on postule que les énergies sont discrètes. Les exposants ${\displaystyle \scriptstyle (0)}$ indiquent que ces quantités sont associées au système non perturbé.

On peut alors introduire une perturbation dans le hamiltonien. Soit ${\displaystyle \scriptstyle V}$ un hamiltonien représentant une petite perturbation physique, comme un potentiel énergétique produisant un champ externe (donc ${\displaystyle \scriptstyle V}$ est formellement un opérateur hermitique). Soit ${\displaystyle \scriptstyle \lambda }$ un paramètre sans dimension pouvant prendre des valeurs allant continûment de 0 (pas de perturbation) à 1 (perturbation totale). Le hamiltonien perturbé est :

${\displaystyle H=H_{0}+\lambda V}$

Les niveaux d'énergie et états propres du hamiltonien perturbé sont de nouveau donnés par l'équation de Schrödinger :

${\displaystyle \left(H_{0}+\lambda V\right)|n\rangle =E_{n}|n\rangle }$

Le but est alors d'exprimer ${\displaystyle \scriptstyle E_{n}}$ et ${\displaystyle \scriptstyle \mid n\,\rangle }$ en termes de niveaux d'énergie et d'états propres de l'ancien hamiltonien. Si la perturbation est suffisamment faible, on peut les écrire en séries entières de ${\displaystyle \scriptstyle \lambda }$ :

${\displaystyle E_{n}=E_{n}^{(0)}+\lambda E_{n}^{(1)}+\lambda ^{2}E_{n}^{(2)}+\cdots }$

${\displaystyle |n\rangle =|n^{(0)}\rangle +\lambda |n^{(1)}\rangle +\lambda ^{2}|n^{(2)}\rangle +\cdots }$

où

${\displaystyle E_{n}^{(k)}={\frac {1}{k!}}{\frac {d^{k}E_{n}}{d\lambda ^{k}}}}$

et

${\displaystyle |n^{(k)}\rangle ={\frac {1}{k!}}{\frac {d^{k}|n\rangle }{d\lambda ^{k}}}.}$

Lorsque ${\displaystyle \scriptstyle \lambda =0}$, les équations se réduisent à celles non perturbées, qui sont les premiers termes de chaque série. Lorsque la perturbation est faible, les niveaux d'énergie et les états propres ne devraient pas beaucoup différer de leurs valeurs non perturbées, et les termes de perturbation devraient rapidement devenir plus petits au fur et à mesure que l'ordre augmente.

Si l'on introduit ces séries dans l'équation de Schrödinger, on obtient :

${\displaystyle {\begin{matrix}\left(H_{0}+\lambda V\right)\left(|n^{(0)}\rangle +\lambda |n^{(1)}\rangle +\cdots \right)\qquad \qquad \qquad \qquad \\\qquad \qquad \qquad =\left(E_{n}^{(0)}+\lambda E_{n}^{(1)}+\lambda ^{2}E_{n}^{(2)}+\cdots \right)\left(|n^{(0)}\rangle +\lambda |n^{(1)}\rangle +\cdots \right)\end{matrix}}}$

Le développement de cette équation et la comparaison des coefficients de chaque puissance de ${\displaystyle \scriptstyle \lambda }$ conduit à un système d'équations infini. L'équation d'ordre 0 est tout simplement l'équation de Schrödinger du système non perturbé. L'équation au premier ordre est :

${\displaystyle H_{0}|n^{(1)}\rangle +V|n^{(0)}\rangle =E_{n}^{(0)}|n^{(1)}\rangle +E_{n}^{(1)}|n^{(0)}\rangle }$

que l'on multiplie par ${\displaystyle \scriptstyle \langle n^{(0)}\mid }$. Le premier terme de gauche s'annule avec le premier terme de droite (le hamiltonien non perturbé est hermitien). Cela conduit à la modification énergétique du premier ordre :

${\displaystyle E_{n}^{(1)}=\langle n^{(0)}|V|n^{(0)}\rangle }$

C'est tout simplement l'espérance du hamiltonien de perturbation lorsque le système est dans l'état non perturbé. Ce résultat peut être interprété de la manière suivante : supposons qu'une perturbation soit appliquée, mais que l'on conserve le système dans l'état quantique ${\displaystyle \scriptstyle |n^{(0)}\,\rangle }$, qui est un état quantique valide bien que ne correspondant plus à un état propre de l'énergie. La perturbation fait que l'énergie moyenne de cet état croît de ${\displaystyle \scriptstyle \langle n^{(0)}\mid V\mid n^{(0)}\rangle }$. Cependant la modification réelle de l'énergie est légèrement différente, car l'état propre perturbé n'est pas exactement ${\displaystyle \scriptstyle \mid n^{(0)}\rangle }$. Les modifications qui s'ensuivent sont données par les corrections des deuxième ordre et suivants de l'énergie.

Avant de calculer les corrections à l'état propre d'énergie, on doit régler la question de la normalisation. On peut supposer ${\displaystyle \scriptstyle \langle n^{(0)}\mid n^{(0)}\rangle =1}$, mais la théorie de la perturbation postule que : ${\displaystyle \scriptstyle \langle n\mid n\rangle =1}$. Il s'ensuit qu'au premier ordre en ${\displaystyle \scriptstyle \lambda }$, on doit avoir ${\displaystyle \scriptstyle \langle n^{(0)}\mid n^{(1)}\rangle +\langle n^{(1)}\mid n^{(0)}\rangle =0}$. Puisque la phase globale n'est pas déterminée en mécanique quantique, on peut postuler sans perte de généralité que ${\displaystyle \scriptstyle \langle n^{(0)}\mid n\rangle }$ est réel. Ainsi, ${\displaystyle \scriptstyle \langle n^{(0)}\mid n^{(1)}\rangle =\langle n^{(1)}\mid n^{(0)}\rangle =0}$, et on en déduit :

${\displaystyle \langle n^{(0)}|n^{(1)}\rangle =0.}$

Afin d'obtenir la correction ${\displaystyle \scriptstyle \mid n^{(1)}\rangle }$ du premier ordre à l'état propre d'énergie, on utilise sa valeur extraite de l'équation au premier ordre ci-dessus. On utilise ensuite l'identité

${\displaystyle V|n^{(0)}\rangle ={\Big (}\sum _{k\neq n}|k^{(0)}\rangle \langle k^{(0)}|{\Big )}V|n^{(0)}\rangle +\left(|n^{(0)}\rangle \,\langle n^{(0)}|\right)V|n^{(0)}\rangle }$

${\displaystyle =\sum _{k\neq n}|k^{(0)}\rangle \langle k^{(0)}|V|n^{(0)}\rangle +E_{n}^{(1)}|n^{(0)}\rangle ,}$

où les ${\displaystyle \scriptstyle |k^{(0)}\rangle }$ sont les états propres de ${\displaystyle \scriptstyle H_{0}}$ situés dans le complément orthogonal de ${\displaystyle \scriptstyle |n^{(0)}\rangle }$. Les termes proportionnels à ${\displaystyle \scriptstyle |k^{(0)}\rangle }$ se compensent, et le résultat est :

${\displaystyle \left(E_{n}^{(0)}-H_{0}\right)|n^{(1)}\rangle =\sum _{k\neq n}|k^{(0)}\rangle \langle k^{(0)}|V|n^{(0)}\rangle }$

Supposons pour le moment que le niveau d'énergie d'ordre zéro ne soit pas dégénéré, c'est-à-dire qu'il n'y ait pas d'état propre de ${\displaystyle \scriptstyle H_{0}}$ dans le complément orthogonal de ${\displaystyle \scriptstyle |n^{(0)}\rangle }$ d'énergie ${\displaystyle \scriptstyle E_{n}^{(0)}}$. On multiplie alors par ${\displaystyle \scriptstyle \langle k^{(0)}|}$ , ce qui donne :

${\displaystyle \left(E_{n}^{(0)}-E_{k}^{(0)}\right)\langle k^{(0)}|n^{(1)}\rangle =\langle k^{(0)}|V|n^{(0)}\rangle }$

et par conséquent le composant de la correction de premier ordre selon ${\displaystyle \scriptstyle |k^{(0)}\rangle }$ par le postulat ${\displaystyle \scriptstyle E_{n}^{(0)}\neq E_{k}^{(0)}}$. Nous avons au total :

${\displaystyle |n^{(1)}\rangle =\sum _{k\neq n}{\frac {\langle k^{(0)}|V|n^{(0)}\rangle }{E_{n}^{(0)}-E_{k}^{(0)}}}|k^{(0)}\rangle }$

La modification de premier ordre dans le ${\displaystyle \scriptstyle n}$-ième ket propre de l'énergie possède une contribution des états propres de l'énergie ${\displaystyle \scriptstyle k\neq n}$. Chaque terme est proportionnel à l'élément de matrice ${\displaystyle \scriptstyle \langle k^{(0)}\mid V|n^{(0)}\rangle }$, qui est une mesure de combien la perturbation mélange l'état propre ${\displaystyle \scriptstyle n}$ avec l'état propre ${\displaystyle \scriptstyle k}$; il est également inversement proportionnel à la différence d'énergie entre les états propres ${\displaystyle \scriptstyle k}$ et ${\displaystyle \scriptstyle n}$, ce qui signifie que la perturbation « déforme » l'état propre plus facilement vers des états propres d'énergies voisines. On voit aussi que l'expression est singulière si l'un de ces états possède la même énergie que l'état ${\displaystyle \scriptstyle n}$, qui est ce pourquoi l'on postule la non-dégénérescence.

On peut trouver les déviations d'ordres supérieurs par une méthode similaire, bien que les calculs deviennent plus compliqués avec la formulation employée. La condition de normalisation indique que : ${\displaystyle \scriptstyle 2\langle n^{(0)}\mid n^{(2)}\rangle +\langle n^{(1)}\mid n^{(1)}\rangle =0.}$ Jusqu'au deuxième ordre, les expressions pour les énergies et les états propres (normalisés) sont :

${\displaystyle E_{n}=E_{n}^{(0)}+\langle n^{(0)}|V|n^{(0)}\rangle +\sum _{k\neq n}{\frac {|\langle k^{(0)}|V|n^{(0)}\rangle |^{2}}{E_{n}^{(0)}-E_{k}^{(0)}}}+\cdots }$

${\displaystyle |n\rangle =|n^{(0)}\rangle +\sum _{k\neq n}|k^{(0)}\rangle {\frac {\langle k^{(0)}|V|n^{(0)}\rangle }{E_{n}^{(0)}-E_{k}^{(0)}}}+\sum _{k\neq n}\sum _{\ell \neq n}|k^{(0)}\rangle {\frac {\langle k^{(0)}|V|\ell ^{(0)}\rangle \langle \ell ^{(0)}|V|n^{(0)}\rangle }{(E_{n}^{(0)}-E_{k}^{(0)})(E_{n}^{(0)}-E_{\ell }^{(0)})}}-}$

${\displaystyle -\sum _{k\neq n}|k^{(0)}\rangle {\frac {\langle n^{(0)}|V|n^{(0)}\rangle \langle k^{(0)}|V|n^{(0)}\rangle }{(E_{n}^{(0)}-E_{k}^{(0)})^{2}}}-{\frac {1}{2}}\sum _{k\neq n}|n^{(0)}\rangle {\frac {\langle n^{(0)}|V|k^{(0)}\rangle \langle k^{(0)}|V|n^{(0)}\rangle }{(E_{k}^{(0)}-E_{n}^{(0)})^{2}}}+\cdots }$

En étendant la méthode précédente, on démontre que la correction d'énergie du troisième ordre est^[4]

${\displaystyle E_{n}^{(3)}=\sum _{k\neq n}\sum _{m\neq n}{\frac {\langle n^{(0)}|V|m^{(0)}\rangle \langle m^{(0)}|V|k^{(0)}\rangle \langle k^{(0)}|V|n^{(0)}\rangle }{\left(E_{m}^{(0)}-E_{n}^{(0)}\right)\left(E_{k}^{(0)}-E_{n}^{(0)}\right)}}-\langle n^{(0)}|V|n^{(0)}\rangle \sum _{m\neq n}{\frac {|\langle n^{(0)}|V|m^{(0)}\rangle |^{2}}{\left(E_{m}^{(0)}-E_{n}^{(0)}\right)^{2}}}}$

Supposons que deux ou plus états propres d'énergie sont dégénérés à l'énergie ${\displaystyle \scriptstyle E_{n}^{(0)}.}$ Les calculs précédents pour les modifications d'énergie du premier ordre ne sont pas affectés, mais le calcul de la modification de l'état propre est incorrect car l'opérateur

${\displaystyle E_{n}^{(0)}-H_{0}}$

n'a pas d'inverse dans le complément orthogonal de ${\displaystyle \scriptstyle |n^{(0)}\rangle }$.

Cela relève d'un problème conceptuel plutôt que mathématique. Imaginons que l'on ait deux ou plus états propres perturbés avec différentes énergies, continûment générés à partir d'un nombre égal d'états propres non perturbés dégénérés. Soit ${\displaystyle \scriptstyle D}$ le sous-espace sous-tendu par ces états propres dégénérés, qui en forment donc une base particulière. Le problème repose sur le fait que tant que le système n'est pas perturbé, il n'y a pas de méthode a priori pour choisir une base d'états propres de l'énergie. En choisissant comme base différentes combinaisons linéaires des états propres utilisés pour construire ${\displaystyle \scriptstyle D}$, les vecteurs de base ne génèreraient pas continûment les états propres perturbés.

On voit ainsi qu'en présence d'une dégénérescence, la théorie de la perturbation ne fonctionne pas avec un choix de base arbitraire. On doit plutôt choisir une base telle que le hamiltonien de perturbation soit diagonal dans le sous-espace dégénéré ${\displaystyle \scriptstyle D}$. En d'autres termes,

${\displaystyle V|k^{(0)}\rangle =\epsilon _{k}|k^{(0)}\rangle +{\mbox{(termes hors de }}D)\qquad \forall \;|k^{(0)}\rangle \in D.}$

Dans ce cas, l'équation pour la perturbation de premier ordre dans l'état propre d'énergie se réduit à :

${\displaystyle \left(E_{n}^{(0)}-H_{0}\right)|n^{(1)}\rangle =\sum _{k\not \in D}\left(\langle k^{(0)}|V|n^{(0)}\rangle \right)|k^{(0)}\rangle .}$

L'opérateur de gauche n'est pas singulier lorsqu'il est appliqué aux états propres n'appartenant pas à ${\displaystyle \scriptstyle D}$, et on peut alors écrire

${\displaystyle |n^{(1)}\rangle =\sum _{k\not \in D}{\frac {\langle k^{(0)}|V|n^{(0)}\rangle }{E_{n}^{(0)}-E_{k}^{(0)}}}|k^{(0)}\rangle .}$

La théorie de la perturbation dépendante du temps, développée par Paul Dirac, traite de l'effet d'une perturbation ${\displaystyle \scriptstyle V(t)}$ dépendante du temps appliquée à un hamiltonien ${\displaystyle \scriptstyle H_{0}}$ indépendant du temps. Le hamiltonien perturbé étant dépendant du temps, ses niveaux et états propres d'énergie le sont aussi, et de toute manière leur interprétation est sujette à caution en vertu du principe d'incertitude, qui interdit de donner un sens physique à un instant donné à une énergie donnée. Par conséquent, les objectifs de la théorie de la perturbation dépendante du temps sont légèrement différents de ceux de la théorie de la perturbation indépendante du temps. On traite les quantités suivantes :

• l'espérance mathématique dépendante du temps d'une observable ${\displaystyle \scriptstyle A}$, pour un état initial donné ;
• les amplitudes dépendantes du temps des états quantiques dans la base des kets propres (vecteurs propres) de l'énergie dans le système non perturbé.

La première quantité est importante car elle est à l'origine du résultat classique d'une mesure de ${\displaystyle \scriptstyle A}$ réalisée sur un nombre macroscopique d'exemplaires du système perturbé. Par exemple, on peut prendre ${\displaystyle \scriptstyle A}$ comme le déplacement dans la direction ${\displaystyle \scriptstyle x}$ de l'électron dans un atome d'hydrogène, dans le cas duquel l'espérance mathématique, lorsqu'elle est multipliée par un coefficient approprié, donne la polarisation électrique dépendante du temps du gaz d'hydrogène. Avec un choix approprié de perturbation (ex. : un potentiel électrique oscillant), cela permet de calculer la permittivité diélectrique du gaz.

La seconde concerne la probabilité temporelle d'occupation de chaque état propre. Cela est particulièrement utile en physique des lasers, dans laquelle on s'intéresse à des populations dans différents états atomiques dans un gaz lorsqu'un champ électrique variable dans le temps est appliqué. Ces probabilités sont aussi utiles pour calculer l'élargissement quantique des raies spectrales.

On exposera brièvement ci-après les idées de la formulation de Dirac de la théorie de la perturbation dépendante du temps. Choisissons une base d'énergie ${\displaystyle \scriptstyle \{\,|n\rangle \}}$ pour le système non perturbé. On ne portera plus les exposants ${\displaystyle \scriptstyle (0)}$ pour les états propres, car parler de niveaux d'énergie et d'états propres pour le système perturbé est peu significatif.

Si le système non perturbé est un état propre ${\displaystyle \scriptstyle |j\rangle }$ au temps ${\displaystyle \scriptstyle t=0}$, son état aux temps suivants varie seulement d'une phase (on se place dans la représentation de Schrödinger, où les vecteurs d'état évoluent dans le temps et les opérateurs restent constants) :

${\displaystyle |j(t)\rangle =e^{-iE_{j}t/\hbar }|j\rangle }$

On introduit alors une perturbation du hamiltonien, dépendante du temps ${\displaystyle \scriptstyle V(t)}$. Le hamiltonien du système perturbé est :

${\displaystyle \scriptstyle H=H_{0}+V(t)}$

Soit ${\displaystyle \scriptstyle |\psi (t)\rangle }$ la notation pour l'état quantique du système perturbé au temps ${\displaystyle \scriptstyle t}$. Il obéit à l'équation de Schrödinger dépendante du temps,

${\displaystyle H|\psi (t)\rangle =i\hbar {\frac {\partial }{\partial t}}|\psi (t)\rangle }$

L'état quantique à chaque instant peut être exprimé comme une combinaison linéaire de la base propre ${\displaystyle \scriptstyle \{|n\rangle \}}$. On peut écrire la combinaison linéaire comme étant :

${\displaystyle |\psi (t)\rangle =\sum _{n}c_{n}(t)e^{-iE_{n}t/\hbar }|n\rangle }$

où les ${\displaystyle \scriptstyle c_{n}(t)}$ sont des fonctions complexes non déterminées de ${\displaystyle \scriptstyle t}$ que nous appellerons amplitudes (à strictement parler, ce sont les amplitudes dans la représentation de Dirac). On a explicitement extrait les facteurs de phase exponentiels ${\displaystyle \scriptstyle \exp(-iE_{n}t/\hbar )}$ du côté droit de l'équation. C'est simplement un problème de convention, et peut être fait sans perte de généralité. La raison pour laquelle on s'intéresse à ce problème est que quand le système débute dans l'état ${\displaystyle \scriptstyle |j\rangle }$ et qu'il n'y a pas de perturbation, les amplitudes ont la propriété intéressante que, pour tout ${\displaystyle \scriptstyle t}$, ${\displaystyle \scriptstyle c_{j}(t)=1}$ et ${\displaystyle \scriptstyle c_{n}(t)=0}$ si ${\displaystyle \scriptstyle n\neq j}$.

Le carré de la valeur absolue de l'amplitude ${\displaystyle \scriptstyle c_{n}(t)}$ est la probabilité que le système soit dans l'état ${\displaystyle \scriptstyle n}$ au temps ${\displaystyle \scriptstyle t}$ :

${\displaystyle \left|c_{n}(t)\right|^{2}=\left|\langle n|\psi (t)\rangle \right|^{2}}$

En insérant l'expression de ${\displaystyle \scriptstyle |\psi (t)\rangle }$ dans l'équation de Schrödinger, et en calculant ${\displaystyle \scriptstyle \partial /\partial t}$ par dérivation des fonctions composées, on obtient :

${\displaystyle \sum _{k}\left(i\hbar {\frac {\partial c_{k}}{\partial t}}-c_{k}(t)V(t)\right)e^{-iE_{k}t/\hbar }|k\rangle =0}$

En appliquant le bra ${\displaystyle \scriptstyle \langle n|}$ aux deux membres de l'équation précédente, et en introduisant l'opérateur identité ${\displaystyle \sum _{k}|k\rangle \langle k|}$ à la suite de ${\displaystyle V(t)}$, on obtient un système d'équations différentielles couplées pour les amplitudes :

${\displaystyle {\frac {dc_{n}}{dt}}={\frac {-i}{\hbar }}\sum _{k}\langle n|V(t)|k\rangle \,c_{k}(t)\,e^{-i(E_{k}-E_{n})t/\hbar }}$

Les éléments de matrice de ${\displaystyle \scriptstyle V}$ jouent un rôle similaire à celui tenu dans la théorie de la perturbation indépendante du temps, étant proportionnels au taux auquel les amplitudes sont modifiées entre les états. Il faut noter, cependant, que la direction (complexe) de la modification est conditionnée par le facteur de phase exponentiel. Sur des temps bien plus importants que ${\displaystyle \scriptstyle \hbar /(E_{k}-E_{n})}$, la phase peut cycler plusieurs fois. Si la dépendance en temps de ${\displaystyle \scriptstyle V}$ est suffisamment lente, cela peut provoquer une oscillation des amplitudes d'état. De telles oscillations sont utilisées pour gérer les transitions radiatives dans les lasers.

Jusque-là, on n'a fait aucune approximation, donc l'ensemble d'équations différentielles est exact. En indiquant des valeurs initiales appropriées ${\displaystyle \scriptstyle c_{n}(0)}$, on peut en principe trouver une solution exacte (non perturbative). Cela est facilement trouvé lorsqu'il y a seulement deux niveaux d'énergie (${\displaystyle \scriptstyle n=1,2}$), et la solution est utile pour des systèmes modèles comme la molécule d'ammoniac, ou une particule de spin ${\displaystyle \scriptstyle 1/2}$. Cependant, il est difficile de trouver des solutions exactes lorsqu'il y a plusieurs niveaux d'énergie, et l'on cherchera plutôt des solutions perturbatives, qui peuvent être obtenues en mettant les équations sous une forme intégrale :

${\displaystyle c_{n}(t)=c_{n}(0)+{\frac {-i}{\hbar }}\sum _{k}\int _{0}^{t}dt'\;\langle n|V(t')|k\rangle \,c_{k}(t')\,e^{-i(E_{k}-E_{n})t'/\hbar }}$

En effectuant de manière répétée la substitution pour chaque ${\displaystyle \scriptstyle c_{n}}$ dans le membre de droite de l'équation précédente, on obtient la solution itérative :

${\displaystyle c_{n}(t)=c_{n}^{(0)}+c_{n}^{(1)}(t)+c_{n}^{(2)}(t)+\cdots }$

où, par exemple, le terme de premier ordre est :

${\displaystyle c_{n}^{(1)}(t)={\frac {-i}{\hbar }}\sum _{k}c_{k}(0)\int _{0}^{t}dt'\;\langle n|V(t')|k\rangle \,e^{-i(E_{k}-E_{n})t'/\hbar }}$

De nombreux résultats induits peuvent être obtenus, comme la règle d'or de Fermi, qui lie le taux de transition entre états quantiques à la densité d'états à énergies particulières, et les séries de Dyson, obtenues en appliquant la méthode itérative à l'opérateur d'évolution temporelle, qui est l'un des points de départ de la méthode des diagrammes de Feynman.

Les perturbations dépendantes du temps peuvent être traitées par la technique des séries de Dyson. Prenons l'équation de Schrödinger :

${\displaystyle H(t)|\psi (t)\rangle =i\hbar {\frac {\partial |\psi (t)\rangle }{\partial t}}}$

Sa solution formelle est :

${\displaystyle |\psi (t)\rangle =T\exp {\left[-{\frac {i}{\hbar }}\int _{t_{0}}^{t}dt'H(t')\right]}|\psi (t_{0})\rangle }$

${\displaystyle \,T\!}$ étant l'opérateur ordonnateur de temps tel que :

${\displaystyle \,TA(t_{1})A(t_{2})=A(t_{1})A(t_{2})\!}$

si ${\displaystyle t_{1}>t_{2}}$ et :

${\displaystyle \,TA(t_{1})A(t_{2})=A(t_{2})A(t_{1})\!}$

si ${\displaystyle \,t_{2}>t_{1}\!}$, l'exponentielle représentant alors la série de Dyson suivante :

${\displaystyle |\psi (t)\rangle =\left[1-{\frac {i}{\hbar }}\int _{t_{0}}^{t}dt_{1}H(t_{1})-{\frac {1}{\hbar ^{2}}}\int _{t_{0}}^{t}dt_{1}\int _{t_{0}}^{t_{1}}dt_{2}H(t_{1})H(t_{2})+\ldots \right]|\psi (t_{0})\rangle }$.

Prenons alors le problème de perturbations suivant :

${\displaystyle [H_{0}+\lambda V(t)]|\psi (t)\rangle =i\hbar {\frac {\partial |\psi (t)\rangle }{\partial t}}}$

en postulant que le paramètre ${\displaystyle \lambda }$ est petit et que l'on peut résoudre le problème ${\displaystyle H_{0}|n\rangle =E_{n}|n\rangle }$. On procède à la transformation unitaire suivante vers la représentation d'interaction ou la représentation de Dirac :

${\displaystyle |\psi (t)\rangle =e^{-{\frac {i}{\hbar }}H_{0}(t-t_{0})}|\psi _{I}(t)\rangle }$

L'équation de Schrödinger devient :

${\displaystyle \lambda e^{{\frac {i}{\hbar }}H_{0}(t-t_{0})}V(t)e^{-{\frac {i}{\hbar }}H_{0}(t-t_{0})}|\psi _{I}(t)\rangle =i\hbar {\frac {\partial |\psi _{I}(t)\rangle }{\partial t}}}$

et peut être résolue par la série de Dyson précédente :

${\displaystyle |\psi _{I}(t)\rangle =\left[1-{\frac {i\lambda }{\hbar }}\int _{t_{0}}^{t}dt_{1}e^{{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}V(t_{1})e^{-{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}\right.}$

${\displaystyle \left.-{\frac {\lambda ^{2}}{\hbar ^{2}}}\int _{t_{0}}^{t}dt_{1}\int _{t_{0}}^{t_{1}}dt_{2}e^{{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}V(t_{1})e^{-{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}e^{{\frac {i}{\hbar }}H_{0}(t_{2}-t_{0})}V(t_{2})e^{-{\frac {i}{\hbar }}H_{0}(t_{2}-t_{0})}+\ldots \right]|\psi (t_{0})\rangle }$

étant alors une série de perturbations à petit ${\displaystyle \lambda }$. En utilisant la solution au problème non perturbé ${\displaystyle H_{0}|n\rangle =E_{n}|n\rangle }$ et ${\displaystyle \sum _{n}|n\rangle \langle n|=1}$ (dans un souci de simplicité, on postule un spectre purement discret), on a jusqu'au premier ordre :

${\displaystyle |\psi _{I}(t)\rangle =\left[1-{\frac {i\lambda }{\hbar }}\sum _{m}\sum _{n}\int _{t_{0}}^{t}dt_{1}\langle m|V(t_{1})|n\rangle e^{-{\frac {i}{\hbar }}(E_{n}-E_{m})(t_{1}-t_{0})}|m\rangle \langle n|+\ldots \right]|\psi (t_{0})\rangle }$.

Le système, initialement dans un état non-perturbé ${\displaystyle |\alpha \rangle =|\psi (t_{0})\rangle }$, peut atteindre l'état ${\displaystyle |\beta \rangle }$ en raison de la perturbation. L'amplitude de probabilité correspondante sera :

${\displaystyle A_{\alpha \beta }=-{\frac {i\lambda }{\hbar }}\int _{t_{0}}^{t}dt_{1}\langle \beta |V(t_{1})|\alpha \rangle e^{-{\frac {i}{\hbar }}(E_{\alpha }-E_{\beta })(t_{1}-t_{0})}}$

et la probabilité de transition correspondante sera alors donnée par la règle d'or de Fermi.

La théorie de la perturbation indépendante du temps peut être déduite (inversement) de la théorie de la perturbation dépendante du temps. Afin de développer ce propos, on écrit l'opérateur d'évolution unitaire, obtenu à partir de la série de Dyson précédente :

${\displaystyle U(t)=1-{\frac {i\lambda }{\hbar }}\int _{t_{0}}^{t}dt_{1}e^{{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}V(t_{1})e^{-{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}}$

${\displaystyle -{\frac {\lambda ^{2}}{\hbar ^{2}}}\int _{t_{0}}^{t}dt_{1}\int _{t_{0}}^{t_{1}}dt_{2}e^{{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}V(t_{1})e^{-{\frac {i}{\hbar }}H_{0}(t_{1}-t_{0})}e^{{\frac {i}{\hbar }}H_{0}(t_{2}-t_{0})}V(t_{2})e^{-{\frac {i}{\hbar }}H_{0}(t_{2}-t_{0})}+\ldots }$

et on prend la perturbation ${\displaystyle V}$ indépendante du temps. En utilisant l'identité :

${\displaystyle \sum _{n}|n\rangle \langle n|=1}$

avec ${\displaystyle H_{0}|n\rangle =E_{n}|n\rangle }$ pour un spectre purement discret, on peut écrire :

${\displaystyle U(t)=1-{\frac {i\lambda }{\hbar }}\int _{t_{0}}^{t}dt_{1}\sum _{m}\sum _{n}\langle m|V|n\rangle e^{-{\frac {i}{\hbar }}(E_{n}-E_{m})(t_{1}-t_{0})}|m\rangle \langle n|}$

${\displaystyle -{\frac {\lambda ^{2}}{\hbar ^{2}}}\int _{t_{0}}^{t}dt_{1}\int _{t_{0}}^{t_{1}}dt_{2}\sum _{m}\sum _{n}\sum _{q}e^{-{\frac {i}{\hbar }}(E_{n}-E_{m})(t_{1}-t_{0})}\langle m|V|n\rangle \langle n|V|q\rangle e^{-{\frac {i}{\hbar }}(E_{q}-E_{n})(t_{2}-t_{0})}|m\rangle \langle q|+\ldots }$

On voit alors, au second ordre, que l'on peut sommer sur tous les états intermédiaires. On postule ${\displaystyle t_{0}=0}$ et la limite asymptotique aux temps plus grands. Cela signifie qu'à chaque contribution de la série de perturbations, on a à ajouter un facteur multiplicatif ${\displaystyle e^{-\epsilon t}}$ dans les intégrandes, de façon que la limite ${\displaystyle t\rightarrow \infty }$ retourne l'état final du système en éliminant tous les termes oscillants mais en conservant les termes caractéristiques. ${\displaystyle \epsilon }$ doit être pris arbitrairement petit. De cette manière, on peut calculer les intégrales et, en séparant les termes diagonaux des autres, on a :

${\displaystyle U(t)=1-{\frac {i\lambda }{\hbar }}\sum _{n}\langle n|V|n\rangle t-{\frac {i\lambda ^{2}}{\hbar }}\sum _{m\neq n}{\frac {\langle n|V|m\rangle \langle m|V|n\rangle }{E_{n}-E_{m}}}t-{\frac {1}{2}}{\frac {\lambda ^{2}}{\hbar ^{2}}}\sum _{m,n}\langle n|V|m\rangle \langle m|V|n\rangle t^{2}+\ldots }$

${\displaystyle +\lambda \sum _{m\neq n}{\frac {\langle m|V|n\rangle }{E_{n}-E_{m}}}|m\rangle \langle n|}$

${\displaystyle +\lambda ^{2}\sum _{m\neq n}\sum _{q\neq n}\sum _{n}{\frac {\langle m|V|n\rangle \langle n|V|q\rangle }{(E_{n}-E_{m})(E_{q}-E_{n})}}|m\rangle \langle q|+\ldots }$

où les séries caractéristiques donnent les valeurs propres du problème perturbé et la partie restante donne les corrections aux valeurs propres^{[réf. nécessaire]}. L'opérateur d'évolution unitaire est appliqué à n'importe quel état propre du problème non perturbé et, dans ce cas, on obtient des séries caractéristiques s'appliquant aux petits temps.

De manière similaire aux faibles perturbations, il est possible de développer une théorie de la perturbation forte. Considérons l'équation de Schrödinger :

${\displaystyle H(t)|\psi (t)\rangle =i\hbar {\frac {\partial |\psi (t)\rangle }{\partial t}}}$

et l'on s'intéresse à l'existence d'une série de Dyson double qui s'applique dans la limite d'une perturbation très importante. Cette question a une réponse positive^[5] et la série est la série adiabatique bien connue par ailleurs^[6]. Cette approche est assez générale et peut être démontrée de la manière suivante. Si l'on considère le problème de la perturbation :

${\displaystyle [H_{0}+\lambda V(t)]|\psi (t)\rangle =i\hbar {\frac {\partial |\psi (t)\rangle }{\partial t}}}$

avec ${\displaystyle \lambda \rightarrow \infty }$. On souhaite trouver une solution de la forme :

${\displaystyle |\psi \rangle =|\psi _{0}\rangle +{\frac {1}{\lambda }}|\psi _{1}\rangle +{\frac {1}{\lambda ^{2}}}|\psi _{2}\rangle +\ldots }$

mais une substitution directe dans l'équation précédente ne permet pas d'obtenir des résultats utiles. Cette situation peut être ajustée en procédant à un réajustement de la variable de temps : ${\displaystyle \tau =\lambda t}$, donnant les équations utiles suivantes :

${\displaystyle V(t)|\psi _{0}\rangle =i\hbar {\frac {\partial |\psi _{0}\rangle }{\partial \tau }}}$

${\displaystyle V(t)|\psi _{1}\rangle +H_{0}|\psi _{0}\rangle =i\hbar {\frac {\partial |\psi _{1}\rangle }{\partial \tau }}}$

${\displaystyle \vdots }$

qui peuvent être résolues une fois que l'on connait la solution de l'équation d'ordre 0. Cependant, on sait que dans ce cas, on peut utiliser l'approximation adiabatique. Lorsque ${\displaystyle V(t)}$ ne dépend pas du temps, on à affaire à une série de Wigner-Kirkwood utilisée en mécanique statistique. On introduit alors la transformation unitaire :

${\displaystyle |\psi (t)\rangle =e^{-{\frac {i}{\hbar }}\lambda V(t-t_{0})}|\psi _{F}(t)\rangle }$

qui définit une représentation libre, puisqu'on essaie d'éliminer le terme d'interaction. Alors, dans d'une manière duale avec les petites perturbations, on doit résoudre l'équation de Schrödinger :

${\displaystyle e^{{\frac {i}{\hbar }}\lambda V(t-t_{0})}H_{0}e^{-{\frac {i}{\hbar }}\lambda V(t-t_{0})}|\psi _{F}(t)\rangle =i\hbar {\frac {\partial |\psi _{F}(t)\rangle }{\partial t}}}$

et on remarque le terme de développement ${\displaystyle \lambda }$ apparaît seulement dans l'exponentielle et donc, la série de Dyson correspondante, une série de Dyson double, est pertinente aux grands ${\displaystyle \lambda }$s et est :

${\displaystyle |\psi _{F}(t)\rangle =\left[1-{\frac {i}{\hbar }}\int _{t_{0}}^{t}dt_{1}e^{{\frac {i}{\hbar }}\lambda V(t_{1}-t_{0})}H_{0}e^{-{\frac {i}{\hbar }}\lambda V(t_{1}-t_{0})}\right.}$

${\displaystyle \left.-{\frac {1}{\hbar ^{2}}}\int _{t_{0}}^{t}dt_{1}\int _{t_{0}}^{t_{1}}dt_{2}e^{{\frac {i}{\hbar }}\lambda V(t_{1}-t_{0})}H_{0}e^{-{\frac {i}{\hbar }}\lambda V(t_{1}-t_{0})}e^{{\frac {i}{\hbar }}\lambda V(t_{2}-t_{0})}H_{0}e^{-{\frac {i}{\hbar }}\lambda V(t_{2}-t_{0})}+\ldots \right]|\psi (t_{0})\rangle .}$

Après le réajustement en temps ${\displaystyle \tau =\lambda t}$, on peut voir qu'il s'agit d'une série en ${\displaystyle 1/\lambda }$ justifiant ainsi le nom de série de Dyson double. La raison est que l'on a obtenu cette série en échangeant ${\displaystyle H_{0}}$ et ${\displaystyle V}$, et l'on peut aller de l'une à l'autre en appliquant cet échange. Ceci est appelé principe de dualité en théorie de la perturbation. Le choix ${\displaystyle H_{0}=p^{2}/2m}$ donne, comme déjà indiqué, une série de Wigner-Kirkwood qui est un développement en gradient. La série de Wigner-Kirkwood est une série semi-classique avec des valeurs propres données exactement comme pour l'approximation BKW^[7].

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Perturbation theory (quantum mechanics) » (voir la liste des auteurs).

• Règle d'or de Fermi
• Série perturbative
• Théorie des perturbations
• Théorie k·p

• Albert Messiah, Mécanique quantique [détail des éditions], chapitre 16
• C. Cohen-Tannoudji, B. Diu et F. Laloë, Mécanique quantique [détail de l’édition], chapitre 11

• Portail de la chimie
• Portail de la physique