Le terme propagateur a été introduit en physique par Feynman en 1948[1] 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 de Schrödinger
Considérons une particule non relativiste de masse à une dimension, dont l'opérateur hamiltonien s'écrit :
Si l'on se donne à un instant initial fixé une condition initiale , et en supposant que l'opérateur est indépendant du temps[2], on peut écrire la solution de l'équation de Schrödinger aux instants ultérieurs 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 , 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 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
à l'instant vers un état à l'instant 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 :
Avec les notations de Dirac, et en utilisant la relation de fermeture sur les impulsions :
la seconde relation s'écrit :
On tire la formule suivante :
Expression du propagateur de la particule libre
Pour une particule libre sur la droite, l'opérateur hamiltonien est indépendant de la position :
Le propagateur, qu'on note dans ce cas , s'écrit alors :
Insérons alors deux fois la relation de fermeture pour les impulsions dans la définition du propagateur :
Le ket étant par définition un état propre de l'opérateur impulsion , on a :
et l'élément de matrice devient :
Sachant que , on obtient pour le propagateur :
Compte tenu de la formule démontrée précédemment avec la transformée de Fourier, il vient :
qui se réécrit :
L'argument de l'exponentielle peut se réécrire comme suit :
Or le crochet est le début d'un carré parfait :
donc l'argument de l'exponentielle devient :
Le dernier terme étant indépendant de l'impulsion, il sort de l'intégrale et le propagateur s'écrit :
On fait un changement de variable sur les impulsions, les autres paramètres étant fixés :
ce qui donne :
Il subsiste une intégrale Gaussienne qui se calcule exactement :
On en déduit que :
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 est donnée par l'équation intégrale :
En introduisant dans cette équation la relation entre et , 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.
Notes et références
Richard P. Feynman ; Space-time approach to non-relativistic quantum mechanics, Review of Modern Physics 20 (1948) 267. Cet article est reproduit dans : Julian Schwinger (ed) ; Selected Papers on Quantum Electrodynamics, Dover Publications, Inc. (1958) (ISBN0-486-60444-6). Lire également la référence suivante.
Si l'hamiltonnien est dépendant du temps, une analyse détaillée des notions utilisées permet de définir et d'utiliser l'intégrale de cet opérateur par rapport au temps.
Voir aussi
Bibliographie
Richard P. Feynman ; Space-time approach to non-relativistic quantum mechanics, Review of Modern Physics 20 (1948) 267. Cet article est reproduit dans : Julian Schwinger (ed) ; Selected Papers on Quantum Electrodynamics, Dover Publications, Inc. (1958) (ISBN0-486-60444-6). Lire également la référence suivante.
Richard P. Feynman and André R. Hibbs, Quantum Physics and Path Integrals, New York: McGraw-Hill, 1965 [(ISBN0-070-20650-3)]. La référence historique, écrite par le Maître et l'un de ses élèves.
Freeman Dyson ; Georges Green and physics, Physics World (), 33-38.