Bogolyubovin "kiilan reuna" -lause sanoo, että useiden kompleksisten muuttujien funktio, joka on holomorfinen kahdella kiilan muotoisella alueella, joilla on yhteinen reuna, jolla se on jatkuva, on myös holomorfinen reunalla. Tätä lausetta käytetään kvanttikenttäteoriassa Wightmanin funktioiden analyyttisen jatkon rakentamiseen . Lauseen ensimmäisen muotoilun ja todistuksen esitti [1] N. N. Bogolyubov kansainvälisessä konferenssissa Seattlessa, USA:ssa (syyskuu 1956), ja se julkaistiin myös monografiassa [2] (Liite A, Lause 1). Myöhemmin Jost ja Lehmann (1957), Dyson (1958), Epstein (1960) ja muut matemaatikot esittivät lauseen muita todisteita ja yleistyksiä [3] . Tärkeitä "kiilan reuna" -lauseen sovelluksia ovat: dispersiosuhteiden todistaminen kvanttikenttäteoriassa, aksiomaattinen kvanttikenttäteoria, yleistettyjen funktioiden teoria, Liouvillen lauseen yleistäminen [3] .
Yhden kompleksisen muuttujan funktioille "kiilan reuna" -lause voidaan muotoilla seuraavasti.
Tässä esimerkissä kiilat ovat ylempi ja alempi puolitaso, ja niiden yhteinen kärki on todellinen akseli. Annettu lause voidaan todistaa käyttämällä Moreran lausetta .
Yleensä kiila on kartion ja avoimen sarjan tuote.
Olkoon C avoin kartio, jonka kärki on nollassa reaaliavaruudessa R n . Olkoon E avoin joukko R n :ssä (piste). Määrittelemme kiilat ja kompleksiavaruudessa C n . Kiiloilla ja W': llä on yhteinen piste E , jossa identifioimme E :n ja kartion kärjen tulon .
Lauseen ehtoja voidaan heikentää. Ensinnäkin ei ole tarpeen määritellä f :tä kokonaan kiiloilla, riittää, että f määritellään jossain kärjen ympäristössä. Toiseksi ei ole tarpeen olettaa, että f on määritelty tai jatkuva kärjessä, riittää, että oletetaan, että f :n rajojen antamat kahdesta kärjestä saadut funktiot ovat yhtä suuret.
Wightman-jakauman kvanttikenttäteoriassa Wightman-funktioiden raja-arvot riippuvat Minkowski-avaruuden kompleksointimuuttujista . Ne ovat määriteltyjä ja holomorfisia kiilalla, jossa kummankin kuvitteellinen osa on avoimessa positiivisessa aikamaisessa kartiossa. Muuttujien permutaatiot antavat erilaisia Wightman-funktioita, jotka on määritelty eri kiiloille. Kärki on joukko avaruuden kaltaisia pisteitä. Bogolyubovin kiilapistelauseesta seuraa, että ne kaikki ovat yhden holomorfisen funktion analyyttisiä laajennuksia, jotka on määritelty kaikki kiilat sisältävälle yhdistetylle alueelle. Tässä tapauksessa raja-arvojen yhtäläisyys kärjessä seuraa paikallisuuden aksioomasta kvanttikenttäteoriassa.
"Kiilan reuna" -lauseen soveltaminen kvanttikenttäteoriassa: