Область Рейнхарта

Обзорная статья: Области комплексного пространства

Диаграмма неполной области Рейнхарта в ${\displaystyle \mathbb {C} ^{3}}$

О́бласть Ре́йнхарта (англ. Reinhardt domain) — понятие комплексного анализа, раздела математики, обобщение понятий шара и поликруга. Названа в честь немецкого математика Карла Рейнхарта^[англ.][1][2][3][4].

Синонимы: кратно-круговая область[1][3][4]; ${\displaystyle n}$-круговая область (англ. multicircular domain)[2][5].

Не следует путать с полиобластью (polydomain) и полукруговой областью.

Логарифмически выпуклая область Рейнхарта обладает следующим свойством: любая такая область в комплексном пространстве ${\displaystyle \mathbb {C} ^{n}}$ есть внутренность множества точек абсолютной сходимости (другими словами, собственно область сходимости) некоторого степенного ряда по переменным

${\displaystyle z_{1}-a_{1},\,z_{2}-a_{2},\,\dots ,\,z_{n}-a_{n},}$

и обратно: область сходимости любого степенного ряда по

${\displaystyle z_{1},\,z_{2},\,\dots ,\,z_{n}}$

есть логарифмически выпуклая полная область Рейнхарта с центром ${\displaystyle a=0}$[1].

Область Рейнхарта есть частный случай круговой области[1][6], а также кратно-кругообразной области[4].

Определение области Рейнхарта

Область Рейнхарта (англ. Reinhardt domain) — область ${\displaystyle D}$ комплексного пространства ${\displaystyle \mathbb {C} ^{n}}$, ${\displaystyle n\geqslant 1}$, имеющая такое свойство, что вместе с каждой точкой ${\displaystyle z^{0}=(z_{1}^{0},\,z_{2}^{0},\,\dots ,\,z_{n}^{0})\in D}$ в области ${\displaystyle D}$ лежат также и все точки следующего вида[1][2][3][7][5]:

${\displaystyle \{z=(z_{1},\,z_{2},\,\dots ,\,z_{n})\in \mathbb {C} ^{n}\colon \,|z_{k}-a_{k}|=|z_{k}^{0}-a_{k}|,\,k=1,\,2,\,\dots ,\,n\},}$

или

${\displaystyle z=\{a_{k}+(z_{k}^{0}-a_{k})e^{i\theta _{k}}\},\quad }$ ${\displaystyle 0<\theta _{k}<2\pi ,}$

или

${\displaystyle z=a+(z^{0}-a)e^{i\theta },\quad }$ ${\displaystyle \theta =(\theta _{1},\,\theta _{2},\,\dots ,\,\theta _{n})\in \mathbb {R} .}$

При ${\displaystyle a=0}$ получаем[1][2][8][9][4][5]:

${\displaystyle z=z^{0}e^{i\theta },\quad }$ ${\displaystyle \theta =(\theta _{1},\,\theta _{2},\,\dots ,\,\theta _{n})\in \mathbb {R} .}$

Присутствующая в определении точка ${\displaystyle a\in \mathbb {C} ^{n}}$ называется центром области Рейнхарта[1][2][3][7].

Область Рейнхарта имеет следующие автоморфизмы[3][7]:

${\displaystyle z_{k}=a_{k}+(z_{k}^{0}-a_{k})e^{i\theta _{k}},\quad }$ ${\displaystyle 0\leqslant \theta _{k}\leqslant 2\pi ,\quad }$ ${\displaystyle k=1,\,2,\,\dots ,\,n.}$

Теорема. Для связной области Рейнхарта ${\displaystyle D\subset \mathbb {C} ^{n}}$, причём начало координат ${\displaystyle 0\in D}$, голоморфная в ${\displaystyle D}$ функция ${\displaystyle f(z)}$ может быть разложена на области ${\displaystyle D}$ в ряд по степеням ${\displaystyle z}$

${\displaystyle f(z)=\sum _{m\in \mathbb {N} ^{n}}a_{m}z^{m}}$,

причём этот ряд сходится нормально^[англ.] на области ${\displaystyle D}$ и это разложение единственно[10].

Указанный в теореме ряд в общем случае будет сходиться и за пределами области Рейнхарта, имея своей областью сходимости соответствующую полную область Рейнхарта, в которой содержится исходная область Рейнхарта ${\displaystyle D}$. Но не любая полная область ${\displaystyle D\subset \mathbb {C} ^{n}}$ служит такой областью сходимости ряда[7].

Полная область Рейнхарта

Полная область Рейнхарта (англ. complete Reinhardt domain) — область Рейнхарта ${\displaystyle D}$, в которой с каждой точкой ${\displaystyle z^{0}=(z_{1}^{0},\,z_{2}^{0},\,\dots ,\,z_{n}^{0})\in D}$ лежит следующий поликруг[1][2][3][7][5]:

${\displaystyle \{z=(z_{1},\,z_{2},\,\dots ,\,z_{n})\in \mathbb {C} ^{n}\colon \,|z_{k}-a_{k}|\leqslant |z_{k}^{0}-a_{k}|,\,k=1,\,2,\,\dots ,\,n\},}$

или

${\displaystyle z=\{a_{k}+(z_{k}^{0}-a_{k})\lambda _{k}\},\quad }$ ${\displaystyle |\lambda _{k}|\leqslant 1,}$

или

${\displaystyle z=a+(z^{0}-a)\lambda _{k},\quad }$ ${\displaystyle |\lambda _{k}|\leqslant 1.}$

При ${\displaystyle a=0}$ получаем[5]:

${\displaystyle z=z^{0'},\quad }$ ${\displaystyle |z_{k}^{0'}|\leqslant |z_{k}^{0}|.}$

Полная область Рейнхарта ${\displaystyle D}$ звездообразна относительно своего центра ${\displaystyle a\in D}$[1]. Примеры полных областей Рейнхарта: шар и поликруг[1][2][11]. В случае ${\displaystyle n=1}$ примеры неполных областей Рейнхарта — кольца ${\displaystyle \{r<|z-a|<R\}}$, а полных областей Рейнхарта — круги ${\displaystyle \{|z-a|<R\}}$[2][5].

Полная область Рейнхарта ${\displaystyle D\in \mathbb {C} ^{n}}$, пересекаясь с любой плоскостью

${\displaystyle z_{1}=\mathrm {const} ,\,\dots ,\,z_{j-1}=\mathrm {const} ,\,z_{j+1}=\mathrm {const} ,\,\dots ,\,z_{n}=\mathrm {const} ,}$

вырезает в ней полный круг[12].

Область Рейнхарта — наиболее важный вид кратно-кругообразной области. В том случае, когда начало координат принадлежит области Рейнхарта ${\displaystyle D}$, её аналитическое расширение — выпуклая область Рейнхарта ${\displaystyle {\tilde {D}}}$. Так полученная область ${\displaystyle {\tilde {D}}}$ называется рейнхартовым аналитическим расширением области[4].

Логарифмически выпуклая область Рейнхарта

Логарифмически выпуклая область Рейнхарта (англ. logarithmically convex Reinhardt domain) — область Рейнхарта как логарифмически выпуклое множество[1].

Логарифмически выпуклая область Рейнхарта обладает следующим свойством: любая такая область в комплексном пространстве ${\displaystyle \mathbb {C} ^{n}}$ есть внутренность множества точек абсолютной сходимости (другими словами, собственно область сходимости) некоторого степенного ряда по переменным

${\displaystyle z_{1}-a_{1},\,z_{2}-a_{2},\,\dots ,\,z_{n}-a_{n},}$

и обратно: область сходимости любого степенного ряда по

${\displaystyle z_{1},\,z_{2},\,\dots ,\,z_{n}}$

есть логарифмически выпуклая полная область Рейнхарта с центром ${\displaystyle a=0}$[1].

Диаграмма Рейнхарта

Поскольку центр ${\displaystyle a}$ области Рейнхарта ${\displaystyle D}$ всегда можно сдвинуть в начало координат комплексного пространства ${\displaystyle \mathbb {C} ^{n}}$, то можно считать без ограничения общности, что ${\displaystyle a=0}$. Область Рейнхарта ${\displaystyle D}$ с так упрощённым описанием инвариантна относительно следующего преобразования:

${\displaystyle \{z^{0}\}\to \{z_{k}^{0}e^{i\theta _{k}}\},\quad }$ ${\displaystyle 0\leqslant \theta _{k}<2\pi ,\quad }$ ${\displaystyle k=1,\,2,\,\dots ,\,n,}$

то есть с любой своей точкой ${\displaystyle \{z_{k}\}}$ область Рейнхарта ${\displaystyle D}$ включает также и все точки с теми же ${\displaystyle |z_{k}|,}$ ${\displaystyle k=1,\,2,\,\dots ,\,n,\,}$ и всевозможными аргументами[1][2][5].

Отсюда следует, что можно рассмотреть отображение

${\displaystyle z\to \alpha (z)=(|z_{1}|,\,|z_{2}|,\,\dots ,\,|z_{n}|)}$

${\displaystyle 2n}$-мерного пространства ${\displaystyle \mathbb {C} ^{n}}$ в ${\displaystyle n}$-мерное пространство ${\displaystyle \mathbb {R} ^{n}}$, точнее говоря, в абсолютный октант ${\displaystyle \mathbb {R} _{+}^{n}}$[2]}[11].

Абсолютный октант ${\displaystyle \mathbb {R} _{+}^{n}}$ — восьмая часть ${\displaystyle n}$-мерного пространства ${\displaystyle \mathbb {R} ^{n}}$:

${\displaystyle \mathbb {R} _{+}^{n}=\underbrace {\mathbb {R} _{+}\times \mathbb {R} _{+}\times \cdots \times \mathbb {R} _{+}} _{n{\text{ раз}}}}$,

где ${\displaystyle \mathbb {R} _{+}=[0,\,\infty )}$ — полуось неотрицательных чисел[13][11].

Диаграмма, или изображение, Рейнхарта ${\displaystyle D_{+}}$ области ${\displaystyle D}$ (англ. trace ${\displaystyle \operatorname {tr} D}$) — множество точек абсолютного октанта ${\displaystyle D_{+}\in \mathbb {R} _{+}^{n}}$, в которое переводит область ${\displaystyle D\in \mathbb {C} ^{n}}$ при отображении ${\displaystyle \alpha (z)\colon \,\mathbb {C} ^{n}\to \mathbb {R} _{+}^{n}}$[14][11][5].

В частности, в случае полной области Рейнхарта ${\displaystyle D}$ диаграмма Рейнхарта ${\displaystyle D_{+}}$ есть область и обладает тем свойством, что вместе с каждой точкой ${\displaystyle \{|z_{k}^{0}|\}}$ в области ${\displaystyle D_{+}}$ лежит и весь прямоугольный параллелепипед, или призма, ${\displaystyle \{|z_{k}|\leqslant |z_{k}^{0}|,\,k=1,\,2,\,\dots ,\,n\}}$[14][11].

Область Рейнхарта полностью характеризуется своей диаграммой Рейнхарта. Например, если ${\displaystyle D}$ связно, то и ${\displaystyle D_{+}}$ связно (и наоборот), если ${\displaystyle D}$ открыто, то и ${\displaystyle D_{+}}$ открыто[14][5].

В случае области Рейнхарта, или двоякокруглой области, расположенной в двумерном комплексном пространстве ${\displaystyle \mathbb {C} ^{2}}$ двух комплексных переменных ${\displaystyle z}$ и ${\displaystyle w}$, абсолютный октант есть абсолютная четверть-плоскость с координатами ${\displaystyle |z|}$ и ${\displaystyle |w|}$[11].

Свойство диаграммы Рейнхарта понижать размерность пространства на ${\displaystyle n}$ единиц делает изображение Рейнхарта наглядным для ${\displaystyle n=2}$ и ${\displaystyle n=3}$. На рисунках ниже показаны диаграммы Рейнхарта для ${\displaystyle n=2}$ и ${\displaystyle n=3}$ шара ${\displaystyle \{|z|<1\}}$ и поликруга ${\displaystyle \{|z_{k}|<1\}}$; для поликруга изображены множества ${\displaystyle \Gamma _{k}}$ его границы и его остов ${\displaystyle \Gamma }$[14].

• Диаграммы Рейнхарта шара и поликруга
• 
  Диаграмма Рейнхарта шара для ${\displaystyle n=2}$
• 
  Диаграмма Рейнхарта шара для ${\displaystyle n=3}$
• 
  Диаграмма Рейнхарта бикруга для ${\displaystyle n=2}$
• 
  Диаграмма Рейнхарта трикруга для ${\displaystyle n=3}$

Пример

Рассмотрим некоторое множество ${\displaystyle M\subset \mathbb {C} ^{2}}$ с диаграммой Рейнхарта ${\displaystyle \alpha (M)}$, показанной на рисунке ниже слева. Это множество не относится к логарифмически выпуклым. Логарифмический образ ${\displaystyle \lambda (M_{0})}$ этого множества показана на рисунке ниже справа[15].

• Диаграмма Рейнхарта и логарифмический образ в C×C
• 
  Диаграмма Рейнхарта логарифмически выпуклой оболочки ${\displaystyle \alpha ({\hat {M}}_{L})}$ некоторого множества ${\displaystyle M}$ в ${\displaystyle \mathbb {C} ^{2}}$ и выпуклая оболочка его логарифмического образа ${\displaystyle \lambda (M_{0})}$

Прообраз выпуклой оболочки логарифмического образа ${\displaystyle \lambda (M_{0})}$ есть логарифмически выпуклая оболочка ${\displaystyle {\hat {M}}_{L}}$ множества ${\displaystyle M}$. Диаграммы Рейнхарта оболочки ${\displaystyle \alpha ({\hat {M}}_{L})}$ и исходного множества ${\displaystyle \alpha (M)}$ отличаются только сегментом, граница которого показан пунктиром на рисунке. Этот сегмент получен как прообраз треугольника, дополняющего логарифмический образ ${\displaystyle \lambda (M_{0})}$ до выпуклости. Гипотенуза этого треугольника есть отрезок прямой

${\displaystyle \operatorname {ln} |z_{2}|=\operatorname {ln} |r|+\operatorname {ln} |R|-\operatorname {ln} |z_{1}|}$,

поэтому сегмент выпуклости, добавленный к диаграмме Рейнхарта ${\displaystyle \alpha (M)}$, ограничен частью следующей гиперболы[15]:

${\displaystyle |z_{2}||z_{1}|=|r||R|}$.

Круговая область

Область Рейнхарта естественным образом обобщается на круговую область[1].

Круговая область — область ${\displaystyle D}$ комплексного пространства ${\displaystyle \mathbb {C} ^{n}}$, ${\displaystyle n\geqslant 1}$, имеющая такое свойство, что вместе с каждой точкой ${\displaystyle z^{0}=(z_{1}^{0},\,z_{2}^{0},\,\dots ,\,z_{n}^{0})\in D}$ в области ${\displaystyle D}$ лежат и все точки вида

${\displaystyle z=\{a+(z^{0}-a)e^{i\theta }\},\quad }$ ${\displaystyle 0<\theta <2\pi ,}$

другими словами, все точки окружности на комплексной прямой, проходящей через заданную точку ${\displaystyle a\in \mathbb {C} ^{n}}$ и любую точку ${\displaystyle z^{0}\in D}$, с центром ${\displaystyle a}$ и следующим радиусом[1][6]:

${\displaystyle |z^{0}-a|={\sqrt {\sum _{k=1}^{n}|z_{k}^{0}-a_{k}|^{2}}}}$.

При ${\displaystyle a=0}$ получаем[16]:

${\displaystyle z=z^{0}e^{i\theta },\quad }$ ${\displaystyle 0<\theta <2\pi .}$

Присутствующая в определении точка ${\displaystyle a\in \mathbb {C} ^{n}}$ называется центром круговой области[6].

Синоним: круговое точечное множество[17].

Круговая область есть частный случай области Хартогса[17].

Теорема. Для связной круговой области ${\displaystyle D\subset \mathbb {C} ^{n}}$, причём начало координат ${\displaystyle 0\in D}$, голоморфная в ${\displaystyle D}$ функция ${\displaystyle f(z)}$ может быть разложена на области ${\displaystyle D}$ в ряд по однородным многочленам

${\displaystyle f(z)=\sum _{k=0}^{\infty }P_{k}(z)}$,

где ${\displaystyle P_{k}(z)}$ — однородный многочлен степени ${\displaystyle k}$ по переменным ${\displaystyle z_{1},\,z_{2},\,\dots ,\,z_{n}}$, причём этот ряд сходится нормально^[англ.] на области ${\displaystyle D}$ и это разложение единственно[16].

Полная круговая область — круговая область ${\displaystyle D}$, в которой с каждой точкой ${\displaystyle z^{0}=(z_{1}^{0},\,z_{2}^{0},\,\dots ,\,z_{n}^{0})\in D}$ лежит весь следующий круг[1][6]:

${\displaystyle \{z=a+(z^{0}-a)\lambda \},\quad }$ ${\displaystyle |\lambda |\leqslant 1.}$

При ${\displaystyle a=0}$ достаточно простое преобразование комплексного пространства ${\displaystyle \mathbb {C} ^{n}}$ вида

${\displaystyle (z_{1},\,z_{2},\,\dots ,\,z_{n})\to \left({\frac {z_{1}}{z_{n}}},\,{\frac {z_{2}}{z_{n}}},\,\dots ,\,{\frac {z_{n-1}}{z_{n}}},\,z_{n}\right)}$

переводит круговую область ${\displaystyle D}$ в область Хартогса, причём указанное преобразование определено только на области ${\displaystyle D}$ без начала координат ${\displaystyle D\setminus \{z=0\}}$, поскольку оно имеет особенность при ${\displaystyle z=0}$[18].

Примечания

1. Соломенцев Е. Д. Кратно круговая область, 1982.
2. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 16.
3. Владимиров В. С. Методы теории функций многих комплексных переменных, 1964, § 7. Голоморфные отображения, б. Группа автоморфизмов, с. 63.
4. Бохнер С., Мартин У. Т. Функции многих комплексных переменных, 1951, Глава IV. Аналитическое расширение. § 8. Кратно-кругообразные области, с. 114.
5. Jaap Korevaar, Jan Wiegerinck Several Complex Variables, 2011, 2.3 Multiple power series and multicircular domains, p. 30.
6. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 18.
7. Фукс Б. А. Теория аналитических функций многих комплексных переменных, 1962, § 3. Представление голоморфного функционального элемента степенным рядом, 3. n-круговые области, с. 57.
8. Хёрмандер, Ларс Введение в теорию функций нескольких комплексных переменных, 1968, 2.4. Степенные ряды и области Рейихарта, с. 57.
9. Мальгранж Б. Лекции по теории функций нескольких комплексных переменных, 1969, § 2. Области Рейнхарта и круговые области, с. 12.
10. Мальгранж Б. Лекции по теории функций нескольких комплексных переменных, 1969, § 2. Области Рейнхарта и круговые области, с. 12—13.
11. Фукс Б. А. Теория аналитических функций многих комплексных переменных, 1962, § 3. Представление голоморфного функционального элемента степенным рядом, 3. n-круговые области, с. 58.
12. Фукс Б. А. Теория аналитических функций многих комплексных переменных, 1962, § 3. Представление голоморфного функционального элемента степенным рядом, 3. n-круговые области, с. 57—58.
13. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 16—17.
14. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 17.
15. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 7. Степенные ряды, с. 44.
16. Мальгранж Б. Лекции по теории функций нескольких комплексных переменных, 1969, § 2. Области Рейнхарта и круговые области, с. 18.
17. Бохнер С., Мартин У. Т. Функции многих комплексных переменных, 1951, Глава IV. Аналитическое расширение. § 7. Кругообразные области, с. 110.
18. Шабат Б. В. Введение в комплексный анализ, ч. II, 1976, 2. Простейшие области, с. 19.

Источники

• Бохнер С., Мартин У. Т.^[англ.] Функции многих комплексных переменных / Пер. с англ. Б. А. Фукса. М.: «Издательство иностранной литературы», 1951. 300 с.: ил. [Salomon Bochner, William Ted Martin, Several Complex Variables. Princeton, 1948.]
• Владимиров В. С. Методы теории функций многих комплексных переменных / Предисловие академика Н. Н. Боголюбова. М.: «Наука», 1964. 411 с.: ил.
• Мальгранж Б. Лекции по теории функций нескольких комплексных переменных / Пер. с англ. Ю. В. Линника. М.: «Наука», 1969. 119 с.: ил. [Malgrange B. Lectures on the theory of functions of several complex variables.]
• Соломенцев Е. Д. Кратно круговая область // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 3 Коо—Од. М.: «Советская энциклопедия», 1982. 1184 стб., ил. Стб. 88—89.
• Соломенцев Е. Д. Поликруг // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 4 Ок—Сло. М.: «Советская Энциклопедия», 1984. 1216 стб., ил. Стб. 405—406.
• Фукс Б. А. Теория аналитических функций многих комплексных переменных: 2-е изд., перераб. и доп. М.: Физматлит, 1962. 419 с.
• Хёрмандер, Ларс. Введение в теорию функций нескольких комплексных переменных / Пер. с англ. Е. М. Чирки, под ред. Б. В. Шабата. М.: «Мир», 1968. 279 с.
• Шабат Б. В. Введение в комплексный анализ, ч. II, изд. 2-е, перераб. и доп. М.: «Наука», 1976. 400 с.: ил.
• Jaap Korevaar^[англ.], Jan Wiegerinck. Several Complex Variables. Amsterdam: University of Amsterdam, November 18, 2011. 260 p.