Le formalisme de Keldysh (ou Schwinger-Keldysh) est une technique de perturbation diagrammatique introduite par le physicien russe L. V. Keldysh pour l'étude des phénomènes hors-équilibre dans le problème à N corps comme par exemple la théorie de la fonctionnelle de la densité dépendante du temps, les équations d'Usadel dans la supraconductivité, la théorie des systèmes quantiques ouverts et la physique mésoscopique. Un formalisme similaire a été introduit par Julian Schwinger et par Leo Kadanoff et Gordon Baym.
Fonctions de Green hors équilibre Quatre types de fonctions de Green hors équilibre sont introduites (pour des fermions):
(où sont des opérateurs de création et d'annihilation, désigne le produit chronologique et désigne le produit antichronologique), au lieu d'une seule fonction de Green dans la théorie d'équilibre. Ces quatre fonctions de Green forment une matrice , qui remplace la fonction de Green scalaire dans les lignes des diagrammes de Feynman. Les observables physiques comme la densité de particules ou le courant s'expriment à l'aide de la fonction :
Les termes d'interaction (sommets des diagrammes de Feynman) acquièrent aussi une structure matricielle. En particulier, un terme d'énergie potentielle est représenté par une matrice 2×2 diagonale avec +1 sur la première ligne et -1 sur la deuxième ligne multipliant le potentiel.
Les fonctions de Green hors équilibre peuvent être obtenues en considérant un contour partant de jusqu'à un temps puis retournant en et en définissant un produit chronologique sur ce contour tel que la partie de se situe avant la partie . Lorsque est le produit chronologique,
devient le produit antichronologique. C'est pourquoi on rencontre parfois l'expression closed-time path formalism (formalisme du contour temporel fermé) utilisée comme synonyme du formalisme de Keldysh.
Fonctions de Green avancées, retardées, et fonction de Keldysh Les fonctions de Green étant linéairement dépendantes et il est possible au moyen d'une rotation de se ramener à la forme:
où
est la fonction de Green retardée, est la fonction de Heaviside,
est la fonction de Green avancée,
est la fonction de Green de Keldysh qui sert maintenant à exprimer les valeurs moyennes des observables physiques. Dans ces formules le symbole désigne l'anti-commutateur, et le commutateur. Dans cette représentation, les termes d'énergie potentielle sont représentés par une matrice identité multipliant le potentiel.
Équation de Dyson Comme dans le cas d'équilibre, il est possible de sommer les parties irréductibles de la série donnant la fonction de Green pour obtenir l'équation de Dyson
,
où est la matrice identité. L'opérateur self énergie possède la même structure matricielle que la fonction de Green. L'équation de Dyson constitue un point de départ pour l'obtention d'équations cinétiques.
Intégrales fonctionnelles et Formalisme de Keldysh Ce formalisme peut aussi être décrit en termes d'intégrales de chemin, ce qui permet de le relier à la méthode de Martin-Siggia-Rose pour les systèmes classiques hors d'équilibre.
Notes et références
Catégorie:Physique des particules