Propagateur de l'équation de Schrödinger

Restez toujours informé : suivez-nous sur Google (☆)

Introduction

Le terme propagateur a été introduit en physique par Feynman en 1948 pour sa formulation de la mécanique quantique en intégrales de chemin, une nouvelle approche de la quantification centrée sur le Lagrangien, contrairement à la procédure habituelle de quantification canonique fondée sur le Hamiltonien.

Le propagateur, outil mathématique très commode, sera rapidement identifié par Dyson comme n'étant rien d'autre qu'une fonction de Green. Cette remarque permettra à Dyson de faire en 1948 le lien manquant entre la formulation abstraite de l'électrodynamique quantique développée par Schwinger, et celle, basée sur des diagrammes, inventée indépendamment par Feynman.

Propagateur

Introduction

Considérons une particule non relativiste de masse m à une dimension, dont l'opérateur Hamiltonien s'écrit :

En représentation de Schrödinger, cette particule est décrite par le ket $∣ ψ (t)⟩$ qui obéit à l'équation de Schrödinger :

Si l'on se donne à un instant initial t₀ fixé une condition initiale $∣ ψ (t_{0})⟩$ , et en supposant que l'opérateur $\hat{H}$ est indépendant du temps, on peut écrire la solution de l'équation de Schrödinger aux instants ultérieurs t > t₀ comme :

Projetons cette équation dans la représentation des positions :

et insérons la relation de fermeture dans le terme de droite :

il vient :

Compte-tenu du fait que $⟨ q ∣ ψ (t)⟩ = ψ (q, t)$ , l'équation précédente s'écrit sous la forme :

Définition

On définit le propagateur de l'équation de Schrödinger par :

de telle sorte que la fonction d'onde évolue selon l'équation intégrale :

Remarque

Comme ψ(q,t) est une solution de l'équation de Schrödinger, le propagateur est aussi une solution de cette équation :

qui doit de plus vérifier la condition initiale :

Les mathématiciens parlent dans ce cas d'une solution élémentaire de l'équation de Schrödinger, les physiciens utilisant plutôt le nom de fonction de Green.

Application au calcul d'une amplitude de transition

L'amplitude de transition pour que la particule passe d'état initial | ψ(t₁) > à l'instant t₁ vers un état $∣ φ (t_{2}) >$ à l'instant t₂ > t₁ est donné par l'élément de matrice :

En insérant deux fois la relation de fermeture, on obtient :

c’est-à-dire :

On constate donc que la connaissance du propagateur permet de calculer n'importe quelle amplitude de transition quantique, au moins formellement.

Expression du propagateur de la particule libre

Rappels sur la transformation de Fourier

On rappelle les relations :

\hat{ψ} (p) = \int \frac{d q}{2 π ℏ} e^{- i pq /ℏ} ψ (q)

ψ (q) = \int \frac{d p}{2 π ℏ} e^{+ i pq /ℏ} \hat{ψ} (p)

Avec les notations de Dirac, et en utilisant la relation de fermeture sur les impulsions :

1 = \int d p ∣ p > < p ∣

la seconde relation s'écrit :

< q ∣ ψ > = \int \frac{d p}{2 π ℏ} e^{+ i pq /ℏ} < p ∣ ψ > = \int d p < q ∣ p > < p ∣ ψ >

On tire la formule suivante :

< q | p > \ = \ \frac{e^{\, + \, i p q/\hbar}}{\sqrt{2 \pi \hbar}} \

Expression du propagateur de la particule libre

Pour une particule libre sur la droite, l'opérateur Hamiltonien est indépendant de la position :

\hat{H} = \frac{p ^ ^{2}}{2 m}

Le propagateur, qu'on note dans ce cas K₀, s'écrit alors :

K_{0} (q, t ∣ q_{0}, t_{0}) = < q ∣ e^{- i \overset{p}{^}^{2} (t - t_{0}) / (2 m ℏ)} ∣ q_{0} >

Insérons alors deux fois la relation de fermeture pour les impulsions dans la définition du propagateur :

K_{0} (q, t ∣ q_{0}, t_{0}) = \int d p \int d p_{0} < q ∣ p > < p ∣ e^{- i \overset{p}{^}^{2} (t - t_{0}) / (2 m ℏ)} ∣ p_{0} > < p_{0} ∣ q_{0} >

Le ket | p₀ > étant par définition un état propre de l'opérateur impulsion $\overset{p}{^}$ , on a :

\overset{p}{^} ∣ p_{0} > = p_{0} ∣ p_{0} >

et l'élément de matrice devient :

< p ∣ e^{- i \overset{p}{^}^{2} (t - t_{0}) / (2 m ℏ)} ∣ p_{0} > = e^{- i p_{0}^{2} (t - t_{0}) / (2 m ℏ)} < p ∣ p_{0} >

Sachant que < p | p₀ > = δ(p − p₀), on obtient pour le propagateur :

K_{0} (q, t ∣ q_{0}, t_{0}) = \int d p < q ∣ p > e^{- i p^{2} (t - t_{0}) / (2 m ℏ)} < p ∣ q_{0} >

Compte-tenu de la formule démontrée précédemment avec la transformée de Fourier, il vient :

K_{0} (q, t ∣ q_{0}, t_{0}) = \int d p \frac{e ^{+ i pq /ℏ}}{2 π ℏ} \times e^{- i p^{2} (t - t_{0}) / (2 m ℏ)} \times \frac{e ^{- i p q_{0} /ℏ}}{2 π ℏ}

qui se réécrit :

K_{0} (q, t ∣ q_{0}, t_{0}) = \int \frac{d p}{2 π ℏ} exp [\frac{i p ( q - q _{0} )}{ℏ} - \frac{i p ^{2} ( t - t _{0} )}{2 m ℏ}]

L'argument de l'exponentielle peut se réécrire comme suit :

\frac{i p ( q - q _{0} )}{ℏ} - \frac{i p ^{2} ( t - t _{0} )}{2 m ℏ} = - \frac{i ( t - t _{0} )}{2 m ℏ} \times [p^{2} - \frac{2 m p ( q - q _{0} )}{( t - t _{0} )}]

Or le crochet est le début d'un carré parfait :

p^{2} - \frac{2 m p ( q - q _{0} )}{( t - t _{0} )} = [p - \frac{m ( q - q _{0} )}{( t - t _{0} )}]^{2} - \frac{m ^{2} ( q - q _{0} ) ^{2}}{( t - t _{0} ) ^{2}}

donc l'argument de l'exponentielle devient :

- \frac{i ( t - t _{0} )}{2 m ℏ} \times [(p - \frac{m ( q - q _{0} )}{( t - t _{0} )})^{2} - \frac{m ^{2} ( q - q _{0} ) ^{2}}{( t - t _{0} ) ^{2}}]

= - \frac{i ( t - t _{0} )}{2 m ℏ} (p - \frac{m ( q - q _{0} )}{( t - t _{0} )})^{2} + \frac{im ( q - q _{0} ) ^{2}}{2ℏ ( t - t _{0} )}

Le dernier terme étant indépendant de l'impulsion, il sort de l'intégrale et le propagateur s'écrit :

K_{0} (q, t ∣ q_{0}, t_{0}) = exp (\frac{im ( q - q _{0} ) ^{2}}{2ℏ ( t - t _{0} )}) \times \int \frac{d p}{2 π ℏ} exp [- \frac{i ( t - t _{0} )}{2 m ℏ} (p - \frac{m ( q - q _{0} )}{( t - t _{0} )})^{2}]

On fait un changement de variable sur les impulsions, les autres paramètres étant fixés :

p ⟶ k = p - \frac{m ( q - q _{0} )}{( t - t _{0} )} ⟹ d p ⟶ d k = d p

ce qui donne :

K_{0} (q, t ∣ q_{0}, t_{0}) = \frac{1}{2 π ℏ} exp (\frac{im ( q - q _{0} ) ^{2}}{2ℏ ( t - t _{0} )}) \times \int d k exp [- \frac{i ( t - t _{0} ) k ^{2}}{2 m ℏ}]

Il subsiste une intégrale Gaussienne qui se calcule exactement :

\int d k e^{- α k^{2}} = \frac{π}{α}

On en déduit que :

K_{0} (q, t ∣ q_{0}, t_{0}) = \frac{1}{2 π ℏ} \frac{2 π m ℏ}{i ( t - t _{0} )} exp (\frac{+ im ( q - q _{0} ) ^{2}}{2ℏ ( t - t _{0} )})

d'où l'expression finale du propagateur libre :

Remarque

Pour une particule libre dans un espace Euclidien à d dimensions, on pourrait démontrer de façon analogue que :

Équation de Chapman-Kolmogorov

La fonction d'onde à un instant t₂ > t₁ est donnée par l'équation intégrale :

En introduisant dans cette équation la relation entre ψ(q₁,t₁) et ψ(q₀,t₀), on obtient :

qu'on peut écrire :

Mais comme on peut aussi écrire directement que :

On en déduit la formule fondamentale suivante :

Cette relation porte le nom d'équation de Chapman-Kolmogorov dans la théorie des processus stochastiques, dont le mouvement brownien est un cas particulier.