Несколько сложных переменных - Several complex variables

В комплексном анализе теория функции нескольких сложных переменных это филиал математика иметь дело с комплексный функции в Космос C^п из п- пары комплексных чисел.

${\displaystyle f(z_{1},z_{2},\ldots ,z_{n})}$

Как в комплексный анализ функций одной переменной, что и есть п = 1, исследуемые функции голоморфный или комплексный аналитический так что локально они степенной ряд в переменных z_я. Эквивалентно, они локально единые ограничения из многочлены; или местные решения п-размерный Уравнения Коши – Римана. Если вы увеличите несколько сложных переменных, которые были одной, граница всех областей может не быть естественной границей. Следовательно, в окрестности точки ветвления невозможно обсуждать аналитическое продолжение так же, как для одной переменной. Мы рассматриваем область голоморфности так, что область, которая становится голоморфной внутри, становится естественной областью, но первый результат в области голоморфности была голоморфная выпуклость Картана и Таллена. «Idéal de domaines indétrminés» Киёси Ока (по-французски) доказал, что локальное свойство Леви было областью голоморфности, интерпретированной Картаном в теории пучков и сублимированной как теория аналитического многообразия.

Историческая перспектива

Многие примеры таких функций были известны в математике девятнадцатого века: абелевы функции, тета-функции, и немного гипергеометрический ряд. Естественно также любая функция одной переменной, которая зависит от некоторого комплекса параметр является кандидатом. Однако теория за долгие годы не стала полноценной областью в математический анализ, поскольку его характерные явления не были обнаружены. В Подготовительная теорема Вейерштрасса теперь будет классифицироваться как коммутативная алгебра; это оправдало местную картину, разветвление, который обращается к обобщению точки разветвления из Риманова поверхность теория.

С работой Фридрих Хартогс, и из Киёси Ока в 1930-х годах начала формироваться общая теория; другие работавшие в этом районе в то время были Генрих Бенке, Питер Таллен и Карл Штайн. Хартогс доказал некоторые основные результаты, например, каждый изолированная особенность является съемный, для любой аналитической функции

${\displaystyle f:\mathbf {C} ^{n}\longrightarrow \mathbf {C} }$

всякий раз, когда п > 1. Естественно аналоги контурные интегралы будет труднее справиться: когда п = 2 интеграл, окружающий точку, должен быть над трехмерным многообразие (поскольку мы находимся в четырех реальных измерениях), при повторении контурных (линейных) интегралов по двум отдельным комплексным переменным должно получиться двойной интеграл над двумерной поверхностью. Это означает, что остаток придется принять совсем другой характер.

После 1945 г. важная работа во Франции, на семинаре Анри Картан и Германии с Ганс Грауэрт и Райнхольд Реммерт, быстро изменил картину теории. Был прояснен ряд вопросов, в частности, аналитическое продолжение. Здесь основное различие очевидно из теории одной переменной: в то время как для любого открытого связного множества D в C мы можем найти функцию, которая нигде не будет аналитически продолжаться через границу, чего нельзя сказать о п > 1. Фактически D такого рода довольно специфичны по своей природе (состояние, называемое псевдовыпуклость ). Естественные области определения функций, продолженные до предела, называются Многообразия Штейна и их природа заключалась в том, чтобы сделать когомологии пучков группы исчезают. Фактически, именно необходимость поставить (в частности) работу Оки на более ясную основу, быстро привела к последовательному использованию связок для формулировки теории (с серьезными последствиями для алгебраическая геометрия, в частности из работы Грауэрта).

С этого момента появилась фундаментальная теория, которую можно было применить к аналитическая геометрия (название, принятое, как ни странно, для геометрии нулей аналитических функций: это не аналитическая геометрия учился в школе), автоморфные формы нескольких переменных, и уравнения в частных производных. В теория деформации сложных конструкций и комплексные многообразия был описан в общих чертах Кунихико Кодайра и Д. К. Спенсер. Знаменитая газета ГАГА из Серр Приколол точку пересечения от геометрическая аналитика к géometrie algébrique.

К. Л. Сигель было слышно, чтобы жаловаться, что новый теория функций нескольких комплексных переменных было мало функции в нем, что означает, что специальная функция сторона теории была подчинена связкам. Интерес к теория чисел, конечно, находится в частных обобщениях модульные формы. Классическими кандидатами являются Модульные формы Гильберта и Модульные формы Siegel. В наши дни они связаны с алгебраические группы (соответственно Ограничение Вейля из поле полностью действительных чисел из GL (2), а симплектическая группа ), для чего бывает, что автоморфные представления могут быть получены из аналитических функций. В каком-то смысле это не противоречит Зигелю; современная теория имеет свои, разные направления.

Последующие события включали гиперфункция теория и теорема о краю клина, оба из которых были вдохновлены квантовая теория поля. Есть ряд других полей, например Банахова алгебра теория, основанная на нескольких комплексных переменных.

В C^п пространство (I)

${\displaystyle \mathbb {C} ^{n}}$ определяется как декартово произведение п сложные самолеты ${\displaystyle \mathbb {C} }$, и когда ${\displaystyle \mathbb {C} ^{n}}$ - область голоморфности, ${\displaystyle \mathbb {C} ^{n}}$ можно рассматривать как Коллектор Штейна. Его можно рассматривать как п-размерный векторное пространство над сложные числа, что дает его размерность 2п над р.^{[примечание 1]} Следовательно, как множество, и как топологическое пространство, C^п идентичен р^2п и это топологическая размерность является 2п.

На безкоординатном языке любое векторное пространство над комплексными числами можно рассматривать как реальное векторное пространство с вдвое большим числом измерений, где сложная структура определяется линейный оператор J (такой, что J ² = −я) который определяет умножение посредством мнимая единица я.

Любое такое пространство, как реальное пространство, есть ориентированный. На комплексная плоскость думали как Декартова плоскость, умножение к комплексному числу ш = ты + iv имеет реальный матрица

${\displaystyle {\begin{pmatrix}u&-v\\v&u\end{pmatrix}},}$

а 2 × 2 вещественная матрица это имеет детерминант

${\displaystyle u^{2}+v^{2}=|w|^{2}\,.}$

Точно так же, если выразить любой конечномерный комплексный линейный оператор как вещественную матрицу (которая будет составлен из блоков 2 × 2 указанной формы), то его определитель равен квадрат абсолютного значения соответствующего комплексного определителя. Это неотрицательное число, из которого следует, что (реальная) ориентация пространства никогда не меняется сложным оператором. То же самое касается Якобианцы из голоморфные функции от C^п к C^п.

Голоморфные функции

Функция ${\displaystyle f(z)}$ определен в домене ${\displaystyle D\subset \mathbb {C} ^{n}}$ называется голоморфным, если ${\displaystyle f(z)}$ удовлетворяет одному из следующих двух условий.

(i) Если ${\displaystyle f(z)}$ продолжается на ${\displaystyle D}$^{[заметка 2]}

(ii) Для каждой переменной ${\displaystyle z_{\lambda }}$, ${\displaystyle f(z)}$ голоморфна, а именно,

${\displaystyle {\frac {\partial f}{\partial {\overline {z}}_{\lambda }}}=0}$

(1)

что является обобщением Уравнения Коши – Римана (с использованием частичного Производная Виртингера ), и берет начало в методах дифференциального уравнения Римана.

Уравнения Коши – Римана

Пусть для каждого индекса λ

${\displaystyle z_{\lambda }=x_{\lambda }+iy_{\lambda },\quad f(z_{1},\dots ,z_{n})=u(x_{1},\dots ,x_{n},y_{1},\dots ,y_{n})+iv(x_{1},\dots ,x_{n},y_{1},\dots y_{n}),}$

и обобщив обычное уравнение Коши – Римана для одной переменной для каждого индекса λ, получим

${\displaystyle {\frac {\partial u}{\partial x_{\lambda }}}={\frac {\partial v}{\partial y_{\lambda }}},\ \ \ \ {\frac {\partial u}{\partial y_{\lambda }}}=-{\frac {\partial v}{\partial x_{\lambda }}}.}$

(2)

Позволять

${\displaystyle {\begin{aligned}dz_{\lambda }&=dx_{\lambda }+i\,dy_{\lambda },&d{\bar {z}}_{\lambda }&=dx_{\lambda }-i\,dy_{\lambda }\\{\frac {\partial }{\partial z_{\lambda }}}&={\frac {1}{2}}{\biggl (}{\frac {\partial }{\partial x_{\lambda }}}-i{\frac {\partial }{\partial y_{\lambda }}}{\biggr )},&{\frac {\partial }{\partial {\bar {z}}_{\lambda }}}&={\frac {1}{2}}{\biggl (}{\frac {\partial }{\partial x_{\lambda }}}+i{\frac {\partial }{\partial y_{\lambda }}}{\biggr )}\end{aligned}}}$

через

${\displaystyle \operatorname {Re} {\biggl (}{\frac {\partial f}{\partial {\bar {z}}_{\lambda }}}{\biggr )}={\frac {\partial u}{\partial x_{\lambda }}}-{\frac {\partial v}{\partial y_{\lambda }}}=0,\ \ \ \ \operatorname {Im} {\biggl (}{\frac {\partial f}{\partial {\bar {z}}_{\lambda }}}{\biggr )}={\frac {\partial u}{\partial y_{\lambda }}}+{\frac {\partial v}{\partial x_{\lambda }}}=0}$

приведенные выше уравнения (1) и (2) оказываются эквивалентными.

Интегральная формула Коши

${\displaystyle f}$ удовлетворяет условию непрерывности и отдельно гоморфной на области ${\displaystyle D}$. Каждый диск имеет исправляемую кривую ${\displaystyle \gamma }$, ${\displaystyle \gamma _{\nu }}$ кусочная гладкость, класс ${\displaystyle C^{1}}$ Замкнутая кривая Жордана. (${\displaystyle \nu =1,2,\ldots ,n}$) Позволять ${\displaystyle D_{\nu }}$ быть областью, окруженной каждым ${\displaystyle \gamma _{\nu }}$. Замыкание декартова произведения${\displaystyle {\overline {D_{1}\times D_{2}\times \cdots \times D_{n}}}}$ является ${\displaystyle {\overline {D_{1}\times D_{2}\times \cdots \times D_{n}}}\in D}$. Также возьмите полидиск ${\displaystyle {\overline {\Delta }}}$ так что становится ${\displaystyle {\overline {\Delta }}\subset {D_{1}\times D_{2}\times \cdots \times D_{n}}}$. (${\displaystyle {\overline {\Delta }}(z,r)=\{\zeta =(\zeta _{1},\zeta _{2},\dots ,\zeta _{n})\in C^{n}:\left|\zeta _{\nu }-z_{\nu }\right|\leq r_{\nu }{\text{ for all }}\nu =1,\dots ,n\}}$ и разреши ${\displaystyle \{z\}_{\nu =1}^{n}}$ быть центром каждого диска.) Используя Интегральная формула Коши одной переменной многократно,

${\displaystyle {\begin{aligned}f(z_{1},\ldots ,z_{n})&={\frac {1}{2\pi i}}\int _{\partial D_{1}}{\frac {f(\zeta _{1},z_{2},\ldots ,z_{n})}{\zeta _{1}-z_{1}}}\,d\zeta _{1}\\[6pt]&={\frac {1}{(2\pi i)^{2}}}\int _{\partial D_{2}}\,d\zeta _{2}\int _{\partial D_{1}}{\frac {f(\zeta _{1},\zeta _{2},z_{3},\ldots ,z_{n})}{(\zeta _{1}-z_{1})(\zeta _{2}-z_{2})}}\,d\zeta _{1}\\[6pt]&={\frac {1}{(2\pi i)^{n}}}\int _{\partial D_{n}}\,d\zeta _{n}\cdots \int _{\partial D_{2}}\,d\zeta _{2}\int _{\partial D_{1}}{\frac {f(\zeta _{1},\zeta _{2},\ldots ,\zeta _{n})}{(\zeta _{1}-z_{1})(\zeta _{2}-z_{2})\cdots (\zeta _{n}-z_{n})}}\,d\zeta _{1}\end{aligned}}}$

Из непрерывности и раздельной голоморфности, ж непрерывна и область D где происходит интегрирование, это компактный набор^{[заметка 3]}, поэтому порядок продуктов и сумм можно поменять, чтобы повторный интеграл можно рассчитать как кратный интеграл. Следовательно,

${\displaystyle f(z_{1},\dots ,z_{n})={\frac {1}{(2\pi i)^{n}}}\int _{\partial D_{1}}\cdots \int _{\partial D_{n}}{\frac {f(\zeta _{1},\dots ,\zeta _{n})}{(\zeta _{1}-z_{1})\cdots (\zeta _{n}-z_{n})}}\,d\zeta _{1}\cdots d\zeta _{n}}$

(3)

В то время как в случае одной переменной интегральная формула Коши представляет собой интеграл по окружности диска с некоторым радиусом р, в случае многих переменных по поверхности полидиска радиусами ${\displaystyle r_{\nu }}$как в (3).

Формула оценки Коши

Поскольку порядок произведений и сумм взаимозаменяем, из (3) получаем

${\displaystyle {\frac {\partial ^{k_{1}+\cdots +k_{n}}f(\zeta _{1},\zeta _{2},\ldots ,\zeta _{n})}{\partial {z_{1}}^{k_{1}}\cdots \partial {z_{n}}^{k_{n}}}}={\frac {k_{1}\cdots k_{n}!}{(2\pi i)^{n}}}\int _{\partial D_{1}}\cdots \int _{\partial D_{n}}{\frac {f(\zeta _{1},\dots ,\zeta _{n})}{(\zeta _{1}-z_{1})^{k_{1}+1}\cdots (\zeta _{n}-z_{n})^{k_{n}+1}}}\,d\zeta _{1}\cdots d\zeta _{n}.}$

(4)

ж дифференцируема любое число раз, а производная непрерывна.

Из (4), если ${\displaystyle f(z_{1},\ldots ,z_{n})}$ голоморфна, на полидиске ${\displaystyle \{\zeta =(\zeta _{1},\zeta _{2},\dots ,\zeta _{n})\in {\mathbb {C} }^{n}\mid |\zeta _{\nu }-z_{\nu }|\leq r_{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$ и ${\displaystyle |f|\leq {M}}$, получается следующее уравнение оценки.

${\displaystyle \left|{\frac {\partial ^{k_{1}+\cdots +k_{n}}f(\zeta _{1},\zeta _{2},\ldots ,\zeta _{n})}{{\partial z_{1}}^{k_{1}}\cdots \partial {z_{n}}^{k_{n}}}}\right|\leq {\frac {Mk_{1}\cdots k_{n}!}{{r_{1}}^{k_{1}}\cdots {r_{n}}^{k_{n}}}}}$

Следовательно, Теорема Лиувилля держать.

Разложение голоморфных функций в степенной ряд

Если ${\displaystyle f(z_{1},\ldots ,z_{n})}$ голоморфна, на полидиске ${\displaystyle \{z=(z_{1},z_{2},\dots ,z_{n})\in {\mathbb {C} }^{n}\mid |z_{\nu }-a_{\nu }|<r_{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$, из интегральной формулы Коши видно, что ее можно однозначно разложить до следующего степенного ряда.

${\displaystyle {\begin{aligned}&f(z)=\sum _{k_{1},\dots ,k_{n}=0}^{\infty }c_{k_{1},\dots ,k_{n}}(z_{1}-a_{1})^{k_{1}}\cdots (z_{n}-a_{n})^{k_{n}}\ ,\\&c_{k_{1}\cdots k_{n}}={\frac {1}{(2\pi i)^{n}}}\int _{\partial D_{1}}\cdots \int _{\partial D_{n}}{\frac {f(\zeta _{1},\dots ,\zeta _{n})}{(\zeta _{1}-a_{1})^{k_{1}+1}\cdots (\zeta _{n}-a_{n})^{k_{n}+1}}}\,d\zeta _{1}\cdots d\zeta _{n}\end{aligned}}}$

(5)

К тому же, ${\displaystyle f(z)}$ , удовлетворяющая следующим условиям, называется аналитической функцией.

Для каждой точки ${\displaystyle a=(a_{1},\dots ,a_{n})\in D\subset \mathbb {C} ^{n}}$, ${\displaystyle f(z)}$ выражается как разложение в степенной ряд, сходящийся на ${\displaystyle D}$ :

${\displaystyle f(z)=\sum _{k_{1},\dots ,k_{n}=0}^{\infty }c_{k_{1},\dots ,k_{n}}(z_{1}-a_{1})^{k_{1}}\cdots (z_{n}-a_{n})^{k_{n}}\ ,}$

что явилось источником аналитических методов Вейерштрасса.

Мы уже объясняли, что голоморфные функции аналитичны. Кроме того, из теоремы, полученной Вейерштрассом, мы можем видеть, что аналитическая функция (сходящийся степенной ряд) голоморфна.

Если последовательность функций ${\displaystyle f_{1},\ldots ,f_{n}}$ который сходится равномерно на компактах внутри области D, предельная функция ${\displaystyle f}$ из ${\displaystyle f_{v}}$ также равномерно на компактах внутри области D. Кроме того, соответствующая частная производная от ${\displaystyle f_{v}}$ также компактно сходится на ${\displaystyle D}$ к соответствующей производной от ${\displaystyle f}$.

${\displaystyle {\frac {\partial ^{k_{1}+\cdots +k_{n}}f}{\partial {z_{1}}^{k_{1}}\cdots \partial {z_{n}}^{k_{n}}}}=\sum _{v=1}^{\infty }{\frac {\partial ^{k_{1}+\cdots +k_{n}}f_{v}}{\partial {z_{1}}^{k_{1}}\cdots \partial {z_{n}}^{k_{n}}}}}$

Радиус сходимости степенного ряда

В силовой серии ${\displaystyle \sum _{k_{1},\dots ,k_{n}=0}^{\infty }c_{k_{1},\dots ,k_{n}}(z_{1}-a_{1})^{k_{1}}\cdots (z_{n}-a_{n})^{k_{n}}\ }$, можно определить п комбинация ${\displaystyle r_{\nu }}$^{[примечание 4]} которые обладают свойством абсолютно сходиться на ${\displaystyle \{z=(z_{1},z_{2},\dots ,z_{n})\in {\mathbb {C} }^{n}\mid |z_{\nu }-a_{\nu }|<r_{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$ и не совсем сходится на ${\displaystyle \{z=(z_{1},z_{2},\dots ,z_{n})\in {\mathbb {C} }^{n}\mid |z_{\nu }-a_{\nu }|>r_{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$. Таким образом, можно иметь аналогичный радиус сходимости (область сходимости) для одной комплексной переменной, но есть точка, в которой она сходится за пределами области сходимости.^{[примечание 5]}

Теорема идентичности

Домен ${\displaystyle D=\{z=(z_{1},z_{2},\dots ,z_{n})\in {\mathbb {C} }^{n}\mid |z_{\nu }-a_{\nu }|<r_{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$, который является полидиском, если ${\displaystyle f,g}$ является голоморфной функцией в этой области ${\displaystyle D}$, даже для нескольких сложных переменных теорема тождества^{[примечание 6]} держится на домене ${\displaystyle D}$, потому что у него расширение степенного ряда окрестность голоморфной точки

Следовательно принцип максимума держать. Так же теорема об обратной функции и теорема о неявной функции держать.

Райнхардт домен

Несколько сложных переменных имеют некоторые точки сходимости за пределами области сходимости, но можно определить радиус сходимости, аналогичный радиусу одной комплексной переменной. Поэтому, чтобы исследовать характеристики области сходимости нескольких комплексных переменных, мы определяем область сходимости инвариантной области по вращению и исследуем эту характеристику. Другими словами, сходящиеся характеристики области Рейнхардта применяются к сходящимся характеристикам нескольких комплексных переменных.

Домен ${\displaystyle D}$ в сложном пространстве ${\displaystyle \mathbb {C} ^{n}}$, ${\displaystyle n\geq 1}$, с центром в точке ${\displaystyle a=(a_{1},\dots ,a_{n})\in \mathbb {C} ^{n}}$, со следующим свойством: Вместе с любой точкой ${\displaystyle z^{0}=(z_{1}^{0},\dots ,z_{n}^{0})\in D}$, домен также содержит множество

${\displaystyle \{z=(z_{1}\dots z_{n}):|z_{\nu }-a_{\nu }|=|z_{\nu }^{0}-a_{\nu }|,\ \nu =1\dots n\}.}$

Домен Рейнхардта ${\displaystyle D}$ с участием ${\displaystyle a=0}$ инвариантна относительно преобразований ${\displaystyle \{z^{0}\}\rightarrow \{z_{\nu }^{0}e^{i\theta _{\nu }}\}}$, ${\displaystyle 0\leq \theta _{\nu }<2\pi }$, ${\displaystyle \nu =1,\dots ,n}$. Домены Рейнхардта составляют подкласс доменов Хартогса (см. Хартогс домен ) и подкласс круговых областей, которые определяются следующим условием: вместе с любыми ${\displaystyle z^{0}\in D}$, домен содержит множество

${\displaystyle \{z=(z_{1}\cdots z_{n}):z=a+(z^{0}-a)e^{i\theta },\ 0\leq \theta <2\pi \},}$

т.е. все точки окружности с центром ${\displaystyle a}$и радиус ${\displaystyle |z^{0}-a|=\left(\sum _{\nu =1}^{n}|z_{\nu }^{0}-a_{\nu }|^{2}\right)^{1/2}}$ которые лежат на сложной линии через ${\displaystyle a}$ и ${\displaystyle z^{0}}$.

Домен Рейнхардта ${\displaystyle D}$ называется полной областью Рейнхардта, если вместе с любой точкой ${\displaystyle z^{0}\in D}$ он также содержит полидиск

${\displaystyle \{z=(z_{1}\dots z_{n}):|z_{\nu }-a_{\nu }|\leq |z_{\nu }^{0}-a_{\nu }|,\ \nu =1\dots n\}.}$

Полная область Рейнхардта звездный относительно его центра ${\displaystyle a}$. Следовательно, когда вся область Рейнхардта является граничной линией, есть способ доказать Интегральная теорема Коши без использования Теорема Жордана.

Домен Рейнхардта ${\displaystyle D}$ называется логарифмически выпуклым, если изображение ${\displaystyle \lambda (D^{*})}$ из набора

${\displaystyle D^{*}=\{z=(z_{1}\dots z_{n})\in D:z_{1}\dots z_{n}\neq 0\}}$

под отображением

${\displaystyle \lambda :z\rightarrow \lambda (z)=(\ln |z_{1}|\cdots \ln |z_{n}|)}$

это выпуклый набор в реальном пространстве ${\displaystyle \mathbf {R} ^{n}}$. Важное свойство логарифмически-выпуклый Рейнхардт домены следующие: Каждый такой домен в ${\displaystyle \mathbb {C} ^{n}}$ является внутренностью множества точек абсолютной сходимости (т.е.области сходимости) некоторого степенного ряда в ${\displaystyle \sum _{k_{1},\dots ,k_{n}=0}^{\infty }c_{k_{1},\dots ,k_{n}}(z_{1}-a_{1})^{k_{1}}\cdots (z_{n}-a_{n})^{k_{n}}\ }$, и наоборот: область сходимости любого степенного ряда по ${\displaystyle z_{1},\dots ,z_{n}}$ является логарифмически выпуклой областью Рейнхардта с центром ${\displaystyle a=0}$. ^{[примечание 7]}

Некоторые результаты

Классические результаты Таллена

Thullen Классический результат гласит, что двумерная ограниченная область Рейнхарда, содержащая начало координат, есть биголоморфный в одну из следующих областей при условии, что орбита начала координат группы автоморфизмов имеет положительную размерность:

(1) ${\displaystyle \{(z,w)\in \mathbf {C} ^{2};~|z|<1,~|w|<1\}}$ (полидиск);

(2) ${\displaystyle \{(z,w)\in \mathbf {C} ^{2};~|z|^{2}+|w|^{2}<1\}}$ (единичный шар);

(3) ${\displaystyle \{(z,w)\in \mathbf {C} ^{2};~|z|^{2}+|w|^{2/p}<1\}(p>0,\neq 1)}$ (Домен Таллен).

Феномен Хартогса

Давайте посмотрим на пример на Теорема Хартогса о продолжении страница с точки зрения домена Рейнхардта.

На полидиске, состоящем из двух дисков ${\displaystyle \Delta ^{2}=\{z\in \mathbb {C} ^{2};|z_{1}|<1,|z_{2}|<1\}}$ когда ${\displaystyle 0<\varepsilon <1}$ .

Внутренний домен

${\displaystyle H_{\varepsilon }=\{z=(z_{1},z_{2})\in \Delta ^{2}:|z_{1}|<\varepsilon \ {\text{ or }}\ 1-\varepsilon <|z_{2}|\}\ (0<\varepsilon <1)}$

Теорема Хартогс (1906): любые голоморфные функции ${\displaystyle f}$ на ${\displaystyle H_{\varepsilon }}$ аналитически продолжаются ${\displaystyle \Delta ^{2}}$ . А именно, существует голоморфная функция ${\displaystyle F}$ на ${\displaystyle \Delta ^{2}}$ такой, что ${\displaystyle F=f}$ на ${\displaystyle H_{\varepsilon }}$ .

Область сходимости простирается от ${\displaystyle H_{\varepsilon }}$ к ${\displaystyle \Delta ^{2}}$. то есть сходящаяся область ${\displaystyle H_{\varepsilon }}$ распространяется на наименьшую область Рейнхардта ${\displaystyle \Delta ^{2}}$ что может покрыть ${\displaystyle H_{\varepsilon }}$.

Результаты Сунады

В 1978 г. Тошиказу Сунада установил обобщение результата Таллена и доказал, что два ${\displaystyle n}$-мерные ограниченные области Рейнхардта ${\displaystyle G_{1}}$ и ${\displaystyle G_{2}}$ взаимно биголоморфны тогда и только тогда, когда существует преобразование ${\displaystyle \varphi :\mathbf {C} ^{n}\longrightarrow \mathbf {C} ^{n}}$ данный${\displaystyle z_{i}\mapsto r_{i}z_{\sigma (i)}(r_{i}>0)}$, ${\displaystyle \sigma }$ перестановка индексов), такая что ${\displaystyle \varphi (G_{1})=G_{2}}$.

Область голоморфности

Наборы в определении. Примечание. На этой странице замените ${\displaystyle \Omega }$ на рисунке с ${\displaystyle D}$

Функция ${\displaystyle f}$ голоморфна в области ${\displaystyle D\subset \mathbb {C} ^{n}}$, Когда ${\displaystyle f}$ не может напрямую подключиться к домену за пределами ${\displaystyle D}$ включая точку доменной границы ${\displaystyle \partial D}$, домен ${\displaystyle D}$ называется областью голоморфности ${\displaystyle f}$ а граница называется естественной границей ${\displaystyle f}$. Другими словами, область голоморфности ${\displaystyle D}$ - верхняя грань области, в которой голоморфная функция ${\displaystyle f}$ голоморфна, а область ${\displaystyle D}$, которая является голоморфной, уже не может быть продолжена. Для нескольких сложных переменных, т.е. домена ${\displaystyle D\subset \mathbb {C} ^{n}\ (n\geq 2)}$, границы не могут быть естественными границами. Теорема Хартогса о расширении дает пример области, где границы не являются естественными границами.

Формально открытый набор ${\displaystyle D}$ в п-мерное сложное пространство ${\displaystyle \mathbb {C} ^{n}}$ называется область голоморфности если не существует непустых открытых множеств ${\displaystyle U\subset D}$ и ${\displaystyle V\subset \mathbb {C} ^{n}}$ где ${\displaystyle V}$ подключен, ${\displaystyle V\not \subset D}$ и ${\displaystyle U\subset D\cap V}$ такое, что для любой голоморфной функции ${\displaystyle f}$ на ${\displaystyle D}$ существует голоморфная функция ${\displaystyle g}$ на ${\displaystyle V}$ с участием ${\displaystyle f=g}$ на ${\displaystyle U}$.

в ${\displaystyle n=1}$ В этом случае каждое открытое множество является областью голоморфности: мы можем определить голоморфную функцию с нулями накопление везде на граница домена, который тогда должен быть урочище для области определения его обратного.

Эквивалентные условия

Для домена ${\displaystyle D}$ следующие условия эквивалентны:

1. ${\displaystyle D}$ область голоморфности
2. ${\displaystyle D}$ голоморфно выпукло.
3. ${\displaystyle D}$ является псевдовыпуклый
4. ${\displaystyle D}$ является Леви выпуклый - для каждой последовательности ${\displaystyle S_{n}\subseteq D}$ аналитических компактных поверхностей таких, что ${\displaystyle S_{n}\rightarrow S,\partial S_{n}\rightarrow \Gamma }$ для некоторого набора ${\displaystyle \Gamma }$ у нас есть ${\displaystyle S\subseteq D}$ (${\displaystyle \partial D}$ не может быть "затронут изнутри" последовательностью аналитических поверхностей)
5. ${\displaystyle D}$ имеет местная собственность Леви - за каждую точку ${\displaystyle x\in \partial D}$ есть район ${\displaystyle U}$ из ${\displaystyle x}$ и ${\displaystyle f}$ голоморфный на ${\displaystyle U\cap D}$ такой, что ${\displaystyle f}$ не может быть продолжен ни в какую окрестность ${\displaystyle x}$

Последствия ${\displaystyle 1\Leftrightarrow 2,}$^{[примечание 8]} ${\displaystyle 3\Leftrightarrow 4,1\Rightarrow 4,3\Rightarrow 5}$ стандартные результаты (для ${\displaystyle 1\Rightarrow 3}$, увидеть Лемма Оки ). Доказывая ${\displaystyle 5\Rightarrow 1}$, т.е. построение глобальной голоморфной функции, которая не допускает расширения из нерасширяемых функций, определенных только локально. Это называется Проблема Леви (после Э. Э. Леви ) и была решена сначала Киёси Ока, а затем Ларс Хёрмандер используя методы функционального анализа и дифференциальных уравнений в частных производных (следствие ${\displaystyle {\bar {\partial }}}$-проблема).

Свойства области голоморфности

• Если ${\displaystyle D_{1},\dots ,D_{n}}$ являются областями голоморфности, то их пересечение ${\displaystyle D=\bigcap _{\nu =1}^{n}D_{\nu }}$ также является областью голоморфности.
• Если ${\displaystyle D_{1}\subseteq D_{2}\subseteq \cdots }$ - возрастающая последовательность областей голоморфности, то их объединение ${\displaystyle D=\bigcup _{n=1}^{\infty }D_{n}}$ также является областью голоморфности (см. Теорема Бенке – Штейна ).
• Если ${\displaystyle D_{1}}$ и ${\displaystyle D_{2}}$ являются областями голоморфности, то ${\displaystyle D_{1}\times D_{2}}$ является областью голоморфности.
• Первый Проблема кузена всегда разрешима в области голоморфности; это также верно, с дополнительными топологическими предположениями, для троюродной проблемы.

Голоморфно выпуклая оболочка

Первый результат о свойствах области голоморфности - регулярная выпуклость Анри Картан, Питер Таллен (1932).

В голоморфно выпуклая оболочка данного компакта в п-размерный сложное пространство ${\displaystyle \mathbb {C} ^{n}}$ определяется следующим образом.

Позволять ${\displaystyle G\subset \mathbb {C} ^{n}}$ быть доменом ( открыто и связное множество), или, альтернативно, для более общего определения, пусть ${\displaystyle G}$ быть ${\displaystyle n}$ размерный комплексное аналитическое многообразие. Далее пусть ${\displaystyle {\mathcal {O}}(G)}$ обозначают множество голоморфных функций на ${\displaystyle G.}$ Для компактного набора ${\displaystyle K\subset G}$, то голоморфно выпуклая оболочка из ${\displaystyle K}$ является

${\displaystyle {\hat {K}}_{G}:=\left\{z\in G\left||f(z)|\leqslant \sup _{w\in K}|f(w)|{\text{ for all }}f\in {\mathcal {O}}(G)\right.\right\}.}$

Получается более узкое понятие полиномиально выпуклая оболочка принимая ${\displaystyle {\mathcal {O}}(G)}$ вместо того, чтобы быть набором комплексных полиномиальных функций на г. Полиномиально выпуклая оболочка содержит голоморфно выпуклую оболочку.

Домен ${\displaystyle G}$ называется голоморфно выпуклый если для каждого компактного подмножества ${\displaystyle K,{\hat {K}}_{G}}$ также компактна в ${\displaystyle G}$. Иногда это сокращается как голоморфно-выпуклый.

Когда ${\displaystyle n=1}$, любой домен ${\displaystyle G}$ голоморфно выпукло, так как тогда ${\displaystyle {\hat {K}}_{G}}$ это союз ${\displaystyle K}$ с относительно компактными компонентами ${\displaystyle G\setminus K\subset G}$.

Если ${\displaystyle f}$ удовлетворяет указанной выше голоморфно выпуклости, он обладает следующими свойствами. Радиус ${\displaystyle \rho }$ полидиска ${\displaystyle \Delta =\{z=(z_{1},z_{2},\dots ,z_{n})\in {\mathbb {C} }^{n}\mid |z_{\nu }-a_{\nu }|<\rho _{\nu },{\text{ for all }}\nu =1,\dots ,n\}}$ удовлетворяет условию ${\displaystyle \rho _{\nu }=|K,\partial D|=\inf\{|z_{\nu }-z_{\nu }^{'}|\mid z_{\nu }\in K,z_{\nu }^{'}\in \partial D\}}$ также компакт удовлетворяет ${\displaystyle K\subset D}$ и ${\displaystyle D\subset \mathbb {C} ^{n}}$ это домен. В то время как любая голоморфная функция в области ${\displaystyle D}$ можно непосредственно аналитически продолжить до ${\displaystyle \Delta }$.

Связный пучок

Определение

Определение когерентного пучка согласно Жан-Пьер Серр  (1955 ).

А связный пучок на окольцованное пространство ${\displaystyle (X,{\mathcal {O}}_{X})}$ это связка ${\displaystyle {\mathcal {F}}}$ удовлетворяющий следующим двум свойствам:

1. ${\displaystyle {\mathcal {F}}}$ имеет конечный тип над ${\displaystyle {\mathcal {O}}_{X}}$, то есть каждая точка в ${\displaystyle X}$ имеет открытый район ${\displaystyle U}$ в ${\displaystyle X}$ такой, что существует сюръективный морфизм ${\displaystyle {\mathcal {O}}_{X}^{n}|_{U}\to {\mathcal {F}}|_{U}}$ для некоторого натурального числа ${\displaystyle n}$;
2. для любого открытого набора ${\displaystyle U\subseteq X}$, любое натуральное число ${\displaystyle n}$, и любой морфизм ${\displaystyle \varphi :{\mathcal {O}}_{X}^{n}|_{U}\to {\mathcal {F}}|_{U}}$ из ${\displaystyle {\mathcal {O}}_{X}}$-модули, ядро ${\displaystyle \varphi }$ имеет конечный тип.

Морфизмы между (квази) когерентными пучками такие же, как морфизмы пучков ${\displaystyle {\mathcal {O}}_{X}}$-модули.

Также, Жан-Пьер Серр  (1955 ) доказывает, что

Если в точной последовательности ${\displaystyle 0\to {\mathcal {F}}_{1}|_{U}\to {\mathcal {F}}_{2}|_{U}\to {\mathcal {F}}_{3}|_{U}\to 0}$ связок ${\displaystyle {\mathcal {O}}}$-модули два из трех пучков ${\displaystyle {\mathcal {F}}_{j}}$ когерентны, то когерентен и третий.

А квазикогерентный пучок на окольцованное пространство ${\displaystyle (X,{\mathcal {O}}_{X})}$ это связка ${\displaystyle {\mathcal {F}}}$ из ${\displaystyle {\mathcal {O}}_{X}}$-модули который имеет локальное представление, то есть каждая точка в ${\displaystyle X}$ имеет открытый район ${\displaystyle U}$ в котором есть точная последовательность

${\displaystyle {\mathcal {O}}_{X}^{\oplus I}|_{U}\to {\mathcal {O}}_{X}^{\oplus J}|_{U}\to {\mathcal {F}}|_{U}\to 0}$

для некоторых (возможно, бесконечных) множеств ${\displaystyle I}$ и ${\displaystyle J}$.

Когерентная теорема Оки для пучка голоморфных функций

Киёси Ока  (1950 ) доказал следующее

Пучок ростка голоморфной функции ${\displaystyle {\mathcal {O}}}$ на аналитическом многообразии связный пучок. Следовательно, ${\displaystyle {\mathcal {O}}^{p}}$ также является когерентным пучком. Эта теорема также используется для доказательства Теоремы Картана A и B.

Смотрите также

• Теорема Хартогса
• Сложная геометрия
• Комплексное проективное пространство
• Несколько реальных переменных
• Гармонические карты
• Гармонические морфизмы

Аннотации

1. Поле комплексных чисел представляет собой двумерное векторное пространство над действительными числами.
2. С помощью Теорема Хартогса об раздельной голоморфности, Если условие (ii) выполнено, оно будет непрерывным.
3. Это достаточное условие, чтобы быть ограниченное множество.
4. Эта комбинация не может быть уникальной.
5. Если одна из переменных равна 0, то некоторые члены, представленные произведением этой переменной, будут равны 0 независимо от значений, принимаемых другими переменными. Следовательно, даже если вы возьмете переменную, которая расходится, когда переменная отлична от 0, она может сходиться.
6. Заметим, что из теоремы Хартогса о продолжении нули голоморфных функций многих переменных не являются изолированными точками. Следовательно, для нескольких переменных недостаточно, чтобы ${\displaystyle f=g}$ удовлетворяется в точке накопления.
7. Последний абзац сводится к следующему: домен Рейнхардта - это область голоморфности тогда и только тогда, когда он логарифмически выпуклый.
8. Теорема Картана – Таллена.

использованная литература

Книги

• Х. Бенке и П. Таллен, Theorie der Funktionen mehrerer komplexer Veränderlichen (1934)
• Саломон Бохнер и В. Т. Мартин Несколько сложных переменных (1948)
• В.С. Владимиров, Методы теории функций многих комплексных переменных, M.I.T. (1966) (Пер. С рус.)
• Б.В. Шабат, Внедрение комплексного анализа, 1–2, Москва (1985).
• Борис Владимирович Шабат, Введение в комплексный анализ, AMS, 1992 г.
• Ларс Хёрмандер (1990) [1966], Введение в комплексный анализ нескольких переменных (3-е изд.), Северная Голландия, ISBN  978-1-493-30273-4
• Стивен Г. Кранц, Теория функций нескольких комплексных переменных (1992)
• Р. Майкл Рэндж, Голоморфные функции и интегральные представления от нескольких комплексных переменных, Springer 1986, 1998
• «Голоморфные функции и интегральное представление от нескольких комплексных переменных», Спрингер (1986)
• Фолькер Шайдеманн, Введение в комплексный анализ нескольких переменных, Биркхойзер, 2005 г., ISBN  3-7643-7490-X

Энциклопедия математики

• Теорема Вейерштрасса. Энциклопедия математики. URL: http://encyclopediaofmath.org/index.php?title=Weierstrass_theorem&oldid=49192, Эта статья была адаптирована из оригинальной статьи E.D. Соломенцев (составитель), появившийся в Математической энциклопедии - ISBN  1402006098
• Силовая серия. Энциклопедия математики. URL: http://encyclopediaofmath.org/index.php?title=Power_series&oldid=44404, Эта статья была адаптирована из оригинальной статьи E.D. Соломенцев (составитель), появившийся в Математической энциклопедии - ISBN  1402006098.
• Райнхардта. Энциклопедия математики. URL: http://encyclopediaofmath.org/index.php?title=Reinhardt_domain&oldid=48495, Эта статья была адаптирована из оригинальной статьи Е.Д. Соломенцева (составитель), опубликованной в Encyclopedia of Mathematics, ISBN  1402006098.
• Связная связка. Энциклопедия математики. URL: http://encyclopediaofmath.org/index.php?title=Coherent_sheaf&oldid=30768, Эта статья была адаптирована из оригинальной статьи А.Л.Онищика (составитель), которая появилась в Энциклопедии математики - ISBN  1402006098
• Окские теоремы. Энциклопедия математики. URL: http://encyclopediaofmath.org/index.php?title=Oka_theorems&oldid=44640 , Эта статья была адаптирована из оригинальной статьи Э.М.Чирки (составителя), которая появилась в Энциклопедии математики - ISBN  1402006098.

PlanetMath

Эта статья включает материалы из области Райнхардта по PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.В этой статье используется материал из книги «Голоморфно выпуклый» на PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.В эту статью включены материалы из Домена голоморфии по PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.

дальнейшее чтение

• Хартогс, Фриц (1906), "Einige Folgerungen aus der Cauchyschen Integralformel bei Funktionen mehrerer Veränderlichen"., Sitzungsberichte der Königlich Bayerischen Akademie der Wissenschaften zu München, Mathematisch-Physikalische Klasse (на немецком), 36: 223–242, JFM  37.0443.01.
• Питер Таллен, Zu den Abbildungen durch analytische Funktionen mehrerer komplexer Veraenderlichen Die Invarianz des Mittelpunktes von Kreiskoerpern, Мэтт. Анна. 104 (1931), 244–259
• Анри Картан - Петер Таллен (1932), "Zur Theorie der Singularitäten der Funktionen mehrerer komplexen Veränderlichen Regularitäts-und Konvergenzbereiche", Mathematische Annalen, 106: 617–647, Дои:10.1007 / BF01455905
• Ока, Киёси (1950), "Sur les fonctions analytiques de plusieurs variables. VII. Sur quelques notions arithmétiques", Bulletin de la Société Mathématique de France, 78: 1–27, ISSN  0037-9484, Г-Н  0035831
• Серр, Жан-Пьер (1955), "Faisceaux algébriques cohérents", Анналы математики, 61: 197–278, Дои:10.2307/1969915, Г-Н  0068874
• Тосиказу Сунада, Проблема голоморфной эквивалентности для ограниченных областей Рейнхальда, Математика. Анна. 235 (1978), 111–128

внешние ссылки

• Вкусные биты нескольких сложных переменных книга с открытым исходным кодом Йиржи Лебля