Schwinger-Tomonaga rovnice , v kvantové teorii pole , základní pohybová rovnice [1] , zobecňovat Schrödinger rovnici k relativistickému případu.
Vlnová funkce v relativistickém případě musí být dána jako funkcionál prostorových hyperpovrchů . Schwinger-Tomonaga rovnice pro vlnovou funkci má tvar: [2]
kde je hustota Hamiltoniánu
je souřadnice v Minkowského prostoru . Schwinger-Tomonaga rovnice pro matici hustoty , která je také funkcionálem prostorových hyperpovrchů, má tvar: [3]
Prostorově podobné hyperplochy jsou definovány trojrozměrným různým tvarem v , který může být rozšířen ve všech prostorových směrech. Tyto variety jsou určeny skutečností, že v každém bodě má hyperplocha jednotkový normálový vektor
časový
Schwinger-Tomonaga rovnice je funkční diferenciální rovnice . Lze na ni nahlížet jako na diferenciální rovnici v rodině kontinua časových proměnných. [3] K tomu je nutné zvolit parametrizaci hyperplochy pomocí souřadnic trojrozměrného prostoru , pak lze body reprezentovat jako . Každý bod má tedy svou vlastní časovou proměnnou .
Uvažujme bod a různou hyperplochu , která se liší pouze v nějakém okolí bodu . Označme objem čtyřrozměrné oblasti uzavřené mezi a . Potom je funkční derivace libovolného funkcionálu , což je zobrazení z množiny hyperploch na reálná čísla , definována [4] následovně [5]
Řešení Schwinger-Tomonaga rovnice pro matici hustoty lze znázornit jako [6]
kde je unitární evoluční operátor formy
kde je časově uspořádaný exponent. je matice počáteční hustoty definovaná na počátečním hyperpovrchu . Podobně, řešení Schwinger-Tomonaga rovnice pro vlnovou funkci může být reprezentováno jako
kde je počáteční vlnová funkce.
Stejně jako parciální diferenciální rovnice vyžadují pro integrovatelnost komutovatelnost těchto derivací, tak Schwinger-Tomonaga rovnice pro matici hustoty má nezbytnou podmínku integrovatelnosti [6] , která vyžaduje, aby variační derivace komutovaly v libovolných bodech každé pevné prostorové hyperplochy :
Tato podmínka je důsledkem požadavku mikrokauzality na hustotu Hamiltoniánu . Uvádí, že Hamiltoniany pro různé body prostorových intervalů
Pokud vezmeme v úvahu Jacobiho identitu , máme:
Podmínka integrovatelnosti zajišťuje jedinečnost řešení.
Prostorový svazek je definován [7] hladkou rodinou s jedním parametrem
skládající se z prostorových hyperploch s vlastností, že každý bod patří k jedné a pouze jedné hyperplochě :
Hyperplochu odpovídající bodu označujeme jako . Pevný svazek generuje rodinu stavových vektorů
Potom lze Schwinger-Tomonaga rovnici přeformulovat do integrálního tvaru
Čtyřrozměrná integrace je rozšířena na oblast obklopenou počáteční hyperplochou a hyperplochou rodiny, která leží zcela v budoucnosti .
Nechť jsou hyperplochy definovány implicitním výrazem
kde je hladká skalární funkce. Potom jednotkový normálový vektor
Pro usnadnění normalizujeme funkci definující nadrovinu tak, abychom eliminovali normalizační faktor ve vzorci pro normální
Derivování integrální rovnice pro stavové vektory
kde se integrace provádí přes hyperpovrch . Tato rovnice je kovariantní zobecnění Schrödingerovy rovnice. S přihlédnutím
pohybová rovnice pro stavové vektory má tvar
Bezprostředně po nástupu kvantové mechaniky začaly pokusy budovat její relativistické zobecnění. Na této cestě však vyvstal zásadní problém, [1] z toho důvodu, že ve formalismu kvantové mechaniky [8] hraje čas v podstatě odlišnou roli, odlišnou od souřadnic. Na druhou stranu v teorii relativity musí časové a prostorové souřadnice působit symetricky jako složky jednoho 4-vektoru.
Pro nalezení relativistického zobecnění rovnice pro vývoj stavů bylo nutné pochopit, že nerelativistický čas hraje dvě role najednou, které jsou v relativistickém zobecnění rozděleny. Na jedné straně je to individuální čas události - právě tento čas by měl být symetrický k souřadnicím, na druhé straně slouží jako evoluční parametr řadící události v prostorově oddělených bodech. Relativistickým zobecněním této druhé funkce času může být libovolná množina vzájemně prostorově podobných bodů, takže každá časově podobná světová čára zahrnuje jeden a pouze jeden bod této množiny. Takovou sbírkou je vesmírný hyperpovrch .
Rovnice v popsané podobě byla nezávisle zavedena S. Tomonaga v roce 1946 a J. Schwingerem v roce 1948 a sloužila jako základ pro konstrukci Lorentz-invariantní poruchové teorie .