WikiDer > Несколько сложных переменных

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к Сделайте это понятным для неспециалистов, не снимая технических деталей. (Январь 2015) (Узнайте, как и когда удалить этот шаблон сообщения) эта статья требует внимания специалиста по математике. Конкретная проблема: Смотрите страницу обсуждения и обсуждайте цель слияния комплексный анализ. ВикиПроект по математике может помочь нанять эксперта. (Ноябрь 2020) Эта статья включает список литературы, связанное чтение или внешние ссылки, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшить эта статья введение более точные цитаты. (Ноябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

Было высказано предположение, что Область голоморфности быть слился в эту статью. (Обсудить) Предлагается с ноября 2020 года.

В комплексном анализе теория функции нескольких сложных переменных это филиал математика иметь дело с комплексный функции в Космос 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 и ^ {2} + v ^ {2} = | ш | ^ {2} ,.}$

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

Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (апрель 2013)

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

Функция ${ displaystyle f (z)}$ определен в домене ${ Displaystyle D подмножество 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 {align} 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 {align}}}$

через

${ 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}) в C ^ {n}: left | zeta _ { nu} -z _ { nu} right | leq r _ { nu} { text {для всех}} nu = 1, dots, n } }$ и разреши ${ Displaystyle {г } _ { ню = 1} ^ {п}}$ быть центром каждого диска.) Используя Интегральная формула Коши одной переменной многократно,

${ displaystyle { begin {align} 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 {align}}}$

Из непрерывности и раздельной голоморфности, ж непрерывна и область 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 {для всех}} nu = 1, dots, n }}$ и ${ Displaystyle | е | 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} |$, из интегральной формулы Коши видно, что ее можно однозначно разложить до следующего степенного ряда.

${ displaystyle { begin {align} & 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 {выровнено}}}$

(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} |$ и не совсем сходится на ${ displaystyle {z = (z_ {1}, z_ {2}, dots, z_ {n}) in { mathbb {C}} ^ {n} mid | z _ { nu} -a_ { nu} |> r _ { nu}, { text {для всех}} nu = 1, dots, n }}$. Таким образом, можно иметь аналогичный радиус сходимости (область сходимости) для одной комплексной переменной, но есть точка, в которой она сходится за пределами области сходимости.^{[примечание 5]}

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

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

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

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

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

Домен ${ displaystyle D}$ в сложном пространстве ${ displaystyle mathbb {C} ^ {n}}$, ${ Displaystyle п 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 ^ {я theta _ { nu}} }}$, ${ Displaystyle 0 Leq theta _ { nu} <2 pi}$, ${ Displaystyle Nu = 1, точки, п}$. Домены Рейнхардта составляют подкласс доменов Хартогса (см. Хартогс домен) и подкласс круговых областей, которые определяются следующим условием: вместе с любыми ${ 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} ^ {п}}$. Важное свойство логарифмически-выпуклый Рейнхардт домены следующие: Каждый такой домен в ${ 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 {(г, ш) в mathbf {C} ^ {2}; ~ | г | ^ {2} + | ш | ^ {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 {или}} 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_ {я} 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 подмножество mathbb {C} ^ {n}}$, Когда ${ displaystyle f}$ не может напрямую подключиться к домену за пределами ${ displaystyle D}$ включая точку доменной границы ${ displaystyle partial D}$, домен ${ displaystyle D}$ называется областью голоморфности ${ displaystyle f}$ а граница называется естественной границей ${ displaystyle f}$. Другими словами, область голоморфности ${ displaystyle D}$ - верхняя грань области, в которой голоморфная функция ${ displaystyle f}$ голоморфна, а область ${ displaystyle D}$, которая является голоморфной, уже не может быть продолжена. Для нескольких сложных переменных, т.е. домена ${ Displaystyle D подмножество mathbb {C} ^ {n} (п geq 2)}$, границы не могут быть естественными границами. Теорема Хартогса о расширении дает пример области, где границы не являются естественными границами.

Формально открытый набор ${ displaystyle D}$ в п-мерное сложное пространство ${ displaystyle mathbb {C} ^ {n}}$ называется область голоморфности если не существует непустых открытых множеств ${ Displaystyle U подмножество D}$ и ${ Displaystyle V подмножество mathbb {C} ^ {n}}$ где ${ displaystyle V}$ подключен, ${ Displaystyle V not subset D}$ и ${ Displaystyle U подмножество 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} substeq D}$ аналитических компактных поверхностей таких, что ${ Displaystyle S_ {n} rightarrow S, partial S_ {n} rightarrow Gamma}$ для некоторого набора ${ displaystyle Gamma}$ у нас есть ${ Displaystyle S substeq D}$ (${ displaystyle partial D}$ не может быть "затронут изнутри" последовательностью аналитических поверхностей)
5. ${ displaystyle D}$ имеет местная собственность Леви - за каждую точку ${ Displaystyle х в частичном 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} substeq D_ {2} substeq cdots}$ - возрастающая последовательность областей голоморфности, то их объединение ${ Displaystyle D = bigcup _ {п = 1} ^ { infty} D_ {п}}$ также является областью голоморфности (см. Теорема Бенке – Штейна).
• Если ${ displaystyle D_ {1}}$ и ${ displaystyle D_ {2}}$ являются областями голоморфности, то ${ displaystyle D_ {1} times D_ {2}}$ является областью голоморфности.
• Первый Проблема кузена всегда разрешима в области голоморфности; это также верно, с дополнительными топологическими предположениями, для троюродной проблемы.

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

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

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

Позволять ${ Displaystyle G подмножество 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 {для всех}} f in { mathcal {O}} (G) right. right }.}$

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

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

Когда ${ Displaystyle п = 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 {для всех}} 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 подмножество 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 substeq 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} в { mathcal {F}} | _ {U} в 0}$

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

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

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

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

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

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

Аннотации

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

Книги

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

PlanetMath

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

• Хартогс, Фриц (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

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

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