Vapaa kenttä on fyysinen kenttä , jonka kvantit ovat vuorovaikuttamattomia hiukkasia ja jota kuvataan energian ja liikemäärän avulla. [1] Vapaat kentät vastaavat erilaisia hiukkasia, jotka muodostavat perustan näiden hiukkasten kuvaamiselle vuorovaikutteisten kenttien teorian puitteissa. [2]
Klassisessa fysiikassa vapaa kenttä on kenttä, jonka liikeyhtälöt on annettu lineaarisilla osittaisilla differentiaaliyhtälöillä (PDE). [1] Heillä on ainutlaatuinen ratkaisu tiettyyn alkutilaan.
Kvanttikenttäteoriassa kvantisoitu kenttä , joka on matemaattisesti kuvattu yleisillä funktioilla operaattoriarvoilla , on vapaa kenttä, jos se täyttää jonkin lineaarisen PDE:n siten, että klassisen kentän saman lineaarisen PDE:n vastaava tapaus on Euler. -Lagrangen yhtälö jollekin toisen asteen Lagrangian . [1] Voimme erottaa nämä yleistyneet funktiot määrittelemällä niiden derivaatat differentioiduiksi yleistetyiksi funktioiksi . Katso lisätietoja yleistoiminnosta . Koska kyse ei ole tavallisista yleisfunktioista, vaan yleisistä funktioista, operaattoriarvoista, on selvää, että nämä PDE:t eivät ole tilojen rajoituksia, vaan kuvaavat laajennettujen kenttien välisiä suhteita. PDE:n lisäksi operaattorit täyttävät myös toisen suhteen, kommutointi- ja antikommutaatiorelaatiot.
Tyypillisesti kommutaattori ( bosoneille ) tai antikommutaattori fermioneille , kahdella laajennetulla kentällä on Peierlsin hakasulkeissa kentän tulo itsensä kanssa (mitä kuvaa todella yleistetty, ei tavallinen funktio), yleistettyjen laajennettujen funktiokenttien osittaista differentiaaliyhtälöä varten. Matemaattisesti tätä kuvaa CCR- ja CAR-algebra .
CCR/CAR-algebroilla, joilla on äärettömän monta vapausastetta, on monia ei-ekvivalentteja pelkistymättömiä unitaarisia esityksiä. Jos teoria määritellään Minkowski-avaruuden yli , voimme valita unitaarin pelkistymättömän esityksen, joka sisältää tyhjiötilan , vaikka tämä ei aina ole välttämätöntä.
Olkoon yleistetty funktio operaattorin arvolla ja PDE:llä (Klein-Gordon):
.Tämä on bosoninen kenttä. Määritä yleinen funktio Peierls-sulkeilla
Sitten,
missä on klassinen kenttä ja ovat Peierls-sulut.
Sitten kanoninen kommutaatiosuhde
.Huomaa, että se on yleistetty funktio, jossa on kaksi argumenttia ja jota voidaan laajentaa loputtomasti.
Vastaavasti voisimme vaatia sitä
missä on aikajärjestysoperaattori ja ja erotetaan avaruusmaisella neliulotteisella välillä .
.