Теорема Боголюбова «острие клина»
Теоре́ма Боголю́бова «острие́ кли́на», обобщение принципа аналитического продолжения, особенно для случая многих комплексных переменных; получена Н. Н. Боголюбовым в 1956 г. при обосновании дисперсионных соотношений в квантовой теории поля (Боголюбов. 1958. Дополнение А). Современная формулировка: пусть функция , голоморфна в открытом множестве , где – такой открытый конус в с вершиной в нуле, что , открытое множество содержится в шаре и для любой основной функции из существует
не зависящий от способа стремления , ; тогда допускает аналитическое продолжение в область :
где – комплексная окрестность множества , причём – постоянная, зависящая только от конуса , а – расстояние от точки до границы множества . Теорема Боголюбова «острие клина» остаётся верной и при . В этом случае и при некоторых предположениях о росте функции получается первоначальная формулировка Н. Н. Боголюбова (Боголюбов. 1958; роль конуса играл световой конус в ). Существуют различные доказательства и обобщения этой теоремы (Владимиров. 1964). Особо следует отметить обобщения на гиперфункции (Hyperfunctions and pseudo-differential equations ... 1973) и голоморфные коциклы (Martineau. 1967).
Теорема Боголюбова «острие клина» находит широкие применения в аксиоматической квантовой теории поля, теории дифференциальных уравнений с частными производными, теории граничных значений го ломорфных функций (особенно функций многих комплексных переменных). При этом полезным дополнением к теореме является теорема о -выпуклой оболочке (Владимиров. 1964); пусть в условиях теоремы Боголюбова «острие клина», , , где – выпуклый острый конус; тогда
где – оболочка голоморфности области , – действительное сечение области , есть -выпуклая оболочка множества , т. е. наименьшее открытое множество, содержащее и обладающее тем свойством, что если точки и из могут быть соединены -подобной кривой, целиком лежащей в , то и все гомотонные ей кривые лежат в .