Bogolyubovs "edge of the wedge" -sats säger att en funktion av flera komplexa variabler som är holomorfa i två kilformade regioner med en gemensam kant på vilken den är kontinuerlig också är holomorf på kanten. Denna sats används i kvantfältteorin för att konstruera en analytisk fortsättning på Wightman-funktionerna . Den första formuleringen och beviset för satsen presenterades [1] av N. N. Bogolyubov vid en internationell konferens i Seattle, USA (september 1956) och publicerades även i monografin [2] (Appendix A, Sats 1). Därefter gavs andra bevis och generaliseringar av teoremet av Jost och Lehmann (1957), Dyson (1958), Epstein (1960) och andra matematiker [3] . Viktiga tillämpningar av "edge of the wedge"-satsen är: bevis på spridningsförhållanden i kvantfältteori, axiomatisk kvantfältteori, teori om generaliserade funktioner, generalisering av Liouvilles sats [3] .
För funktioner av en komplex variabel kan "kilens kant"-satsen formuleras enligt följande.
I det här exemplet är kilarna de övre och nedre halvplanen, och deras gemensamma spets är den verkliga axeln. Den givna satsen kan bevisas med hjälp av Moreras sats .
I allmänhet är en kil en produkt av en kon och ett öppet set.
Låt C vara en öppen kon med vertex vid noll i det reella rummet R n . Låt E vara en öppen mängd i R n (punkt). Vi definierar kilar och i det komplexa rummet C n . Kilarna och W' har en gemensam punkt E , där vi identifierar E med produkten av E och konens vertex.
Villkoren för satsen kan försvagas. För det första är det inte nödvändigt att definiera f helt och hållet på kilarna, det räcker att definiera f i något område av spetsen. För det andra är det inte nödvändigt att anta att f är definierat eller kontinuerligt på spetsen, det är tillräckligt att anta att de generaliserade funktionerna som ges av gränserna för f från de två kilarna på spetsen är lika.
I kvantfältteorin för Wightman-fördelningen finns det gränsvärden för Wightman-funktionerna beroende på komplexifieringsvariablerna i Minkowski-rummet. De är definierade och holomorfa på en kil där den imaginära delen av varje ligger i en öppen positiv tidsliknande kon. Permutationer av variabler ger olika Wightman-funktioner definierade på olika wedgar. Spetsen är en uppsättning rymdliknande punkter. Det följer av Bogolyubovs kilpunktsats att alla är analytiska förlängningar av en enda holomorf funktion definierad på en ansluten domän som innehåller alla kilar. I det här fallet följer likheten mellan gränsvärdena vid spetsen från axiomet för lokalitet i kvantfältteorin.
Tillämpning av "edge of the wedge"-satsen i kvantfältteori: