Wicks sætning (i kvanteelektrodynamik) er et udsagn, der gør det muligt at beregne grundstoffer - matricer i rækkefølgen af forstyrrelsesteori.
Wicks teorem blev formuleret og bevist af D. Wick i 1950 [1] [2]
Som du ved, har overgangsmatrixelementet formen:
Indeksene opregner de indledende partikler og de sidste. Indekserne for operatorerne og middelværdier osv. - symbolet for det kronologiske produkt af operatorer.
Wicks teorem siger, at vakuumgennemsnittet af et hvilket som helst antal bosoniske operatorer er lig med summen af produkterne af alle mulige parvise gennemsnit af disse operatorer. I dette tilfælde skal faktorerne i hvert par være i samme rækkefølge som i det originale produkt. For fermioniske operatorer kommer hvert led i summen ind med et plus- eller minustegn, afhængigt af om antallet af permutationer, der kræves for at sætte alle gennemsnitsoperatorer side om side, er lige eller ulige [3] .
Definer som et normalt produkt af flere operatorer , hvor alle oprettelsesoperatorer er til venstre for annihilationsoperatorerne, og plus- eller minustegnet afhænger af, om en lige eller ulige permutation af Fermi-operatorerne fører til denne type produkt. Vi definerer som fordoblet produktet af to operatorer . Wicks teorem siger, at det kronologiske produkt af et hvilket som helst antal operatorer kan repræsenteres som summen af normale produkter med alle mulige fordoblinger
Således er det kronologiske produkt af operatørerne lig med normalproduktet plus summen af normale produkter med en fordobling, hvor parret skal vælges på alle mulige måder, plus summen af normale produkter med to fordoblinger, hvor de to par af fordoblinger skal vælges på alle mulige måder osv. For at omdanne et kronologisk produkt til et normalt produkt skal alle fødselsoperatører omarrangeres med destruktionsoperatørerne, der går forud. Dette resulterer i en formel af ovenstående type. Det vil kun omfatte fordoblinger af de operatører, hvis rækkefølge i det kronologiske produkt afviger fra rækkefølgen i det normale produkt. Da fordoblingerne af operatorer, for hvilke begge ordrer er ækvivalente, er lig med nul, kan vi antage, at højre side af formlen indeholder normale produkter med alle mulige fordoblinger. [fire]