L’équation de Schwinger-Dyson, d'après Julian Schwinger et Freeman Dyson, est une équation de la théorie quantique des champs.

Dérivation

modifier

Étant donné une fonction bornée F sur les configurations du champ, alors pour tout vecteur d'état |ψ> (qui est solution de la théorie quantique des champs), il y a :

⟨ψ|𝒯{δδϕF[ϕ]}|ψ⟩=−i⟨ψ|𝒯{F[ϕ]δδϕS[ϕ]}|ψ⟩

avec S la fonctionnelle d'action et 𝒯 l'opérateur d'ordonnation du temps.

D'une même manière, dans la formulation de la matrice densité, pour tout état (valide) ρ, il y a :

ρ(𝒯{δδϕF[ϕ]})=−iρ(𝒯{F[ϕ]δδϕS[ϕ]})

Cet ensemble infini d'équations peut être utilisé pour résoudre les fonctions de corrélation, sans utiliser une approche perturbative.

On peut également réduire l'action S en la séparant :

S[ϕ]=12Dij−1ϕiϕj+Sint[ϕ]

Le premier terme est la composante quadratique et D−1 un tenseur covariant symétrique et réversible (antisymétrique pour les fermions) de rang 2 dans la notation de deWitt. Les équations peuvent être réécrites ainsi :

⟨ψ|𝒯{Fϕj}|ψ⟩=⟨ψ|𝒯{iF,iDij−FSint,iDij}|ψ⟩

Si F est une fonctionnelle de φ, alors pour un opérateur K, F[K] est définie comme un opérateur qui remplace K par φ. Par exemple, si

F[ϕ]=∂k1∂x1k1ϕ(x1)⋯∂kn∂xnknϕ(xn)

et que G est une fonction de J, alors :

F[−iδδJ]G[J]=(−i)n∂k1∂x1k1δδJ(x1)⋯∂kn∂xnknδδJ(xn)G[J].

S'il y a une fonction analytique Z (appelée fonctionnelle génératrice) de J (appelée champ source) satisfaisant l'équation :

δnZδJ(x1)⋯δJ(xn)[0]=inZ[0]⟨ϕ(x1)⋯ϕ(xn)⟩,

alors l'équation de Schwinger-Dyson pour la génératrice Z est :

δSδϕ(x)[−iδδJ]Z[J]+J(x)Z[J]=0

En développant cette équation en série de Taylor pour J proche de 0, le jeu entier des équations de Schwinger-Dyson est obtenu.

Un exemple: φ4

modifier

Pour donner un exemple, supposons

S[φ]=∫ddx(12∂μφ(x)∂μφ(x)−12m2φ(x)2−λ4!φ(x)4)

pour un champ réel  φ.

Alors,

δSδφ(x)=−∂μ∂μφ(x)−m2φ(x)−λ3!φ3(x).

L'équation de Schwinger–Dyson pour cet exemple particulier est donc :

i∂μ∂μδδJ(x)Z[J]+im2δδJ(x)Z[J]−iλ3!δ3δJ(x)3Z[J]+J(x)Z[J]=0

Il est à noter que

δ3δJ(x)3

n'est pas correctement défini car

δ3δJ(x1)δJ(x2)δJ(x3)Z[J]

est une distribution en :x1, x2 and x3, cette equation doit être regularisée.

Dans cet exemple, le propagateur nu D est la fonction de Green pour −∂μ∂μ−m2 et donc, le set d'équation de Schwinger–Dyson donne

⟨ψ∣𝒯{φ(x0)φ(x1)}∣ψ⟩=iD(x0,x1)+λ3!∫ddx2D(x0,x2)⟨ψ∣𝒯{φ(x1)φ(x2)φ(x2)φ(x2)}∣ψ⟩

et

⟨ψ∣𝒯{φ(x0)φ(x1)φ(x2)φ(x3)}∣ψ⟩=iD(x0,x1)⟨ψ∣𝒯{φ(x2)φ(x3)}∣ψ⟩+iD(x0,x2)⟨ψ∣𝒯{φ(x1)φ(x3)}∣ψ⟩+iD(x0,x3)⟨ψ∣𝒯{φ(x1)φ(x2)}∣ψ⟩+λ3!∫ddx4D(x0,x4)⟨ψ∣𝒯{φ(x1)φ(x2)φ(x3)φ(x4)φ(x4)φ(x4)}∣ψ⟩

etc.

(A moins qu'il n'y ait Brisure spontanée de symétrie, les fonctions de correlations impaires sont nulles.)

Notes et références

modifier

Liens externes

modifier