В математике из теоремы Боголюбова о ребре клина следует, что голоморфные функции на двух «клиньях» с общим «ребром» являются аналитическими продолжениями друг друга при условии, что они обе дают одну и ту же непрерывную функцию на ребре. Он используется в квантовой теории поля , чтобы построить аналитическое продолжение из функций Вайтмана . Были представлены рецептура и первое доказательство теоремы [1] [2] по Николаем Боголюбовым на Международной конференции по теоретической физике, Сиэтл, США (сентябрь, 1956) , а также опубликованы в книгеПроблемы теории дисперсионных соотношений . [3] Дальнейшие доказательства и обобщения теоремы были даны Р. Йостом и Х. Леманом (1957), [4] Ф. Дайсоном (1958), Х. Эпштейном (1960) и другими исследователями.
Одномерный случай
Непрерывные граничные значения
В одном измерении простой случай теоремы о краю клина может быть сформулирован следующим образом.
- Предположим, что f - непрерывная комплекснозначная функция на комплексной плоскости , голоморфная в верхней полуплоскости и нижней полуплоскости . Тогда он везде голоморфен.
В этом примере два клина представляют собой верхнюю полуплоскость и нижнюю полуплоскость, а их общий край - действительная ось . Этот результат можно доказать с помощью теоремы Мореры . В самом деле, функция голоморфна, если ее интеграл вокруг любого контура равен нулю; контур, пересекающий действительную ось, может быть разбит на контуры в верхней и нижней полуплоскостях, и интеграл вокруг них по гипотезе равен нулю. [5] [6]
Граничные значения распределения на окружности
Более общий случай сформулирован в терминах распределений. [7] [8] Это технически проще всего в случае, когда общей границей является единичный круг.в комплексной плоскости. В этом случае голоморфные функции f , g в областях а также есть расширения Лорана
абсолютно сходятся в одних и тех же областях и имеют граничные значения распределения, заданные формальным рядом Фурье
Их граничные значения распределения равны, если для всех п . Тогда элементарно, что общий ряд Лорана абсолютно сходится во всей области.
Граничные значения распределения на интервале
В общем, учитывая открытый интервал на действительной оси и голоморфные функции определено в а также удовлетворение
для некоторого неотрицательного целого числа N граничные значения из можно определить как распределения на вещественной оси по формулам [9] [8]
Существование можно доказать, отметив, что согласно гипотезе это -я комплексная производная голоморфной функции, продолжающаяся до непрерывной функции на границе. Если f определяется каквыше и ниже действительной оси, а F - распределение, определенное на прямоугольнике по формуле
тогда F равно от действительной оси и распределение индуцируется распределением на действительной оси.
В частности, если применимы условия теоремы о крае клина, т. Е. , тогда
По эллиптической регулярности тогда следует , что функция F голоморфен в.
В этом случае эллиптическая регулярность выводится непосредственно из того факта, что как известно, дает фундаментальное решение для оператора Коши – Римана . [10]
Используя преобразование Кэли между кругом и действительной линией, этот аргумент можно перефразировать стандартным образом в терминах рядов Фурье и пространств Соболева на окружности. Действительно, пусть а также - голоморфные функции, определенные снаружи и внутри некоторой дуги на единичной окружности, так что локально они имеют радиальные пределы в некотором пространстве Собелева, тогда, позволяя
уравнения
может быть решена локально таким образом, что радиальные пределы G и F стремятся локально к одной и той же функции в более высоком пространстве Соболева. При достаточно большом k эта сходимость равномерна по теореме вложения Соболева . По аргументам в пользу непрерывных функций, F и G поэтому соединяются, чтобы дать голоморфную функцию около дуги, и, следовательно, f и g .
Общий случай
Клин является продуктом конуса с некоторым набором.
Позволять быть открытым конусом в реальном векторном пространстве , с вершиной в начале координат. Пусть E - открытое подмножество R n , называемое ребром. Напишите W вместо клинав комплексном векторном пространстве C n , и писать W ' для противоположного клина. Затем два клина W и W ' встречаются на краю E , где мы отождествляем E с произведением E на кончик конуса.
- Предположим, что f - непрерывная функция на объединениикоторая голоморфна как на клиньях W, так и на W ' . Тогда теорема о ребре клина говорит, что f также голоморфна на E (точнее, ее можно продолжить до голоморфной функции в окрестности E ).
Условия истинности теоремы можно ослабить. Необязательно предполагать, что f определено на всех клиньях: достаточно предположить, что оно определено вблизи кромки. Также нет необходимости предполагать, что f определена или непрерывна на ребре: достаточно предположить, что функции, определенные на любом из клиньев, имеют одинаковые граничные значения распределения на ребре.
Приложение к квантовой теории поля
В квантовой теории поля распределения Вайтмана - это граничные значения функций Вайтмана W ( z 1 , ..., z n ), зависящие от переменных z i в комплексификации пространства-времени Минковского. Они определены и голоморфны в клине, где мнимая часть каждого z i - z i −1 лежит в открытом положительном времениподобном конусе. Переставляя переменные, мы получаем n ! различные функции Вайтмана, определенные в n ! разные клинья. Применяя теорему о ребре клина (с ребром, заданным набором полностью пространственноподобных точек), можно вывести, что все функции Вайтмана являются аналитическими продолжениями одной и той же голоморфной функции, определенной на связной области, содержащей все n ! клинья. (Равенство граничных значений на краю, необходимое для применения теоремы о краю клина, следует из аксиомы локальности квантовой теории поля.)
Связь с гиперфункциями
Теорема о крае клина имеет естественную интерпретацию на языке гиперфункций . Гиперфункции примерно сумма граничных значений голоморфных функций , а также можно рассматривать как нечто вроде «распределения бесконечного порядка». Набор аналитических волновых фронтов гиперфункции в каждой точке представляет собой конус в котангенсном пространстве этой точки, и его можно рассматривать как описывающий направления, в которых движется сингулярность в этой точке.
В теореме о ребре клина у нас есть распределение (или гиперфункция) f на ребре, заданное как граничные значения двух голоморфных функций на двух клиньях. Если гиперфункция является граничным значением голоморфной функции на клине, то ее аналитическое множество волновых фронтов лежит в двойственном к соответствующему конусу. Таким образом, набор аналитических волновых фронтов f лежит в двойниках двух противоположных конусов. Но пересечение этих двойников пусто, поэтому набор аналитических волновых фронтов f пуст, что означает, что f является аналитическим. Это теорема о краю клина.
В теории гиперфункций есть расширение теоремы о ребре клина на случай, когда имеется несколько клиньев вместо двух, называемое теоремой Мартино о ребре клина . Подробности см. В книге Хёрмандера .
Заметки
- ^ Владимиров, VS (1966), Методы теории функций многих комплексных переменных , Кембридж, Массачусетс: MIT Press
- ↑ В.С. Владимиров , В.В. Жаринов, А.Г. Сергеев (1994). « Теорема Боголюбова о« острие клина », ее развитие и приложения », УМН. Обзоры , 49 (5): 51–65.
- ^ Боголюбов Н.Н. ; Медведев Б.В.; Поливанов М.К. (1958), Проблемы теории дисперсионных соотношений , Принстон: Институт перспективных исследований.
- ^ Jost, R .; Леманн, Х. (1957). «Интеграл-Дарстеллунг каусалер Коммутаторен». Nuovo Cimento . 5 (6): 1598–1610. Bibcode : 1957NCim .... 5.1598J . DOI : 10.1007 / BF02856049 .
- ^ Рудин 1971
- ^ Streater & Wightman 2000
- ^ Хермандер 1990 , стр. 63-65,343-344
- ^ Б Berenstein и Гомосексуалисты 1991 , стр. 256-265
- ^ Хермандер 1990 , стр. 63-66
- ^ Хермандер 1990 , стр. 63,81,110
Рекомендации
- Беренштейн, Карлос А .; Гей, Роджер (1991), Комплексные переменные: введение , Тексты для выпускников по математике, 125 (2-е изд.), Springer, ISBN 978-0-387-97349-4
дальнейшее чтение
- Боголюбов Н.Н. ; Логунов, АА; Тодоров, ИТ (1975), Введение в аксиоматическую квантовую теорию поля , Серия монографий по математической физике, 18 , Рединг, Массачусетс : В.А. Бенджамин, ISBN 978-0-8053-0982-9, Zbl 1114,81300.
- Боголюбов Н.Н. ; Логунов, АА; Оксак, А.И.; ИТ, Тодоров (1990), Общие принципы квантовой теории поля , математической физики и прикладной математики, 10 , Дордрехт - Бостон - Лондон : Kluwer Academic Publishers , ISBN 978-0-7923-0540-8, Zbl 0732,46040
Связь с гиперфункциями описана в:
- Хёрмандер, Ларс (1990), Анализ линейных дифференциальных операторов в частных производных I , Grundlehren der Mathematischen Wissenschaft, 256 (2-е изд.), Берлин - Гейдельберг - Нью-Йорк : Springer-Verlag , ISBN 978-0-387-52343-9, Zbl 0712,35001.
- Рудин, Уолтер (1971), Лекции по теореме о ребре клина , Серия региональных конференций CMBS по математике, 6 , Провиденс, Род-Айленд: Американское математическое общество , ISBN 978-0-8218-1655-4, Руководство по ремонту 0310288 , Zbl 0214.09001
О применении теоремы о краю клина к квантовой теории поля см .:
- Streater, РФ ; Wightman, AS (2000), PCT, Spin and Statistics, and All That , Princeton Landmarks in Mathematics and Physics (1978 ed.), Princeton, NJ : Princeton University Press , ISBN 978-0-691-07062-9, Zbl 1026,81027
- Владимиров, В.С. (2001) [1994], "Теорема Боголюбова" , Энциклопедия математики , EMS Press