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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Області в означенні області голоморфності.

В математиці, а саме в теорії функцій комплексної змінної, областю голоморфності називається область, для якої існує голоморфна функція, яку не можна продовжити на більшу область.

Означення[ред. | ред. код]

Область (відкрита зв'язана множина) в n-вимірному комплексному просторі називається областю голоморфності якщо не існує областей і що задовольняють умови:

  1. ,
  2. не є підмножиною ,
  3. Для кожної функції , що є голоморфною в , існує функція голоморфна у для якої у

Еквівалентно означення можна задати за допомогою граничних точок. Нехай функція є голоморфною в Функція називається непродовжуваною в точці якщо для кожного зв'язаного околу не існує функції голоморфної у що є рівною на деякій компоненті зв'язності

Область називається областю голоморфності, якщо для кожної точки існує функція що не продовжується в точці Іноді при таких еквівалентних означеннях область називається слабкою областю голоморфності, а областю голоморфності область для якої існує функція що не продовжується в жодній точці Насправді обидва ці означення є еквівалентними.

Зауваження. Якщо не є областю голоморфності, то не обов'язково у всій множині якщо ця множина не є зв'язаною. Наприклад нехай де:
Тоді є областю Рейнхарта і будь яка функція голоморфна на однозначно аналітично продовжується на Це стосується, зокрема, і всіх функцій і тому не є областю голоморфності. Проте, наприклад, для гілки функції на можна ввести дві гілки квадратного кореня, що будуть голоморфними на Обравши одну з них (наприклад ту, що відповідає додатним кореням із додатних дійсних чисел) із її можна продовжити до функції на Проте не може дорівнювати на Справді, наприклад, в малому околі точки у функція приймає комплексні значення близькі до 0.9, а в (і тому ), як значення близькі до 0.9, так і значення близькі до -0.9.

Еквівалентні умови[ред. | ред. код]

Для області умови нижче є еквівалентними:

  1. є областю голоморфності
  2. є голоморфно опуклою, тобто для компактної підмножини її голоморфно опукла оболонка теж компактно належить області, тобто Еквівалентно можна надати таку характеристику: де для двох підмножин відстань а відстань між точками задається як
  3. Для кожної нескінченної множини що не має граничних точок у існує функція що є необмеженою на множині
  4. є псевдоопуклою, тобто існує неперервна плюрісубгармонічна функція на для якої замикання множини є компактним для всіх Більш конкретно можна взяти функцію Область буде областю голоморфності тоді і тільки тоді, коли ця функція буде плюрісубгармонічною на .
  5. є псевдоопуклою за Гартогсом — для довільної загальної фігури Гартогса якщо то також Тут фігурою Гартогса називається полікруг всі елементи мультирадіуса для якого є рівними 1 і для деяких чисел Загальною фігурою Гартогса називається образи елементів фігури Гартогса при біголоморфному відображенні.
  6. є опуклою за Леві — для кожної послідовності голоморфних компактних поверхонь (тобто обмежених множин, що є замиканнями множин виду де — голоморфне невироджене відображення, а — область) для деякої множини виконується ( не можна торкнутися з середини послідовністю аналітичних поверхонь)
  7. задовольняє локальну властивість Леві — для кожної точки існує окіл точки і функція голоморфна на для якої не існує не існує аналітичного продовження на будь-який окіл точки

Основна проблема полягає в доведенні , тобто побудові глобальної голоморфної функції при умові існування лише локальних функцій для яких не існує продовження. Доведення існування таких функцій називається проблемою Леві (на честь італійського математика Евгеніо Еліа Леві). Вона вперше була розв'язана Кійосі Ока і Ларсом Германдером.

Властивості[ред. | ред. код]

Нехай компактна підмножина. Кожна функція із також є голоморфною на і з властивостей голоморфно опуклих оболонок випливає, що для всіх Як наслідок що разом із рівністю і очевидною нерівністю дає нерівність
Якби не була областю голоморфності, то для деякої компактної підмножини було б Але тоді існувала б область для якої що приводить до суперечності.
  • Якщо є зростаючою послідовністю областей голоморфності, тоді їх об'єднання також є областю голоморфності (теорема Бенке — Штейна).
  • Якщо — область голоморфності і — її образ при біголоморфному відображенні то також є областю голоморфності.
Нехай є компактною підмножиною, тоді, оскільки є гомеоморфізмом, підмножина теж є компактною. Оскільки є областю голоморфності (а тому голоморфно опуклою) то
Крім того Справді, якщо деяка точка то і існує функція така, що Позначимо Очевидно, що і а це означає, що
З випливає, що і тому Таким чином, є голоморфно опуклою і, отже, є областю голоморфності.
  • Якщо і є областями голоморфності, тоді є областю голоморфності. За індукцією це ж є справедивим і для довільної скінченної кількості множників.
Цю властивість легко довести за допомогою третього еквівалентного означення області голоморфності. Нехай є дискретною підмножиною і — деяка послідовність елементів з Можливі два варіанти — послідовність є дискретною у або має граничну точку у . Якщо послідовність має граничну точку у , то існує підпослідовність що збігається до деякої точки Послідовність не може мати граничної точки у інакше існує підпослідовність що збігається до деякої точки Але тоді збігається до точки що є неможливим.
Якщо є дискретною у то оскільки є областю голоморфності то існує для якої множина є необмеженою. В іншому випадку є дискретною у і існує для якої множина є необмеженою. Таким чином якась із голоморфних функцій є необмеженою на що завершує доведення.
  • Перша проблема Кузена завжди має розв'язок в області голоморфності; при додаткових топологічних умовах це також справедливо для другої проблеми Кузена.

Приклади[ред. | ред. код]

  • Довільна опукла область є голоморфно опуклою, а тому областю голоморфності.
  • Будь-яка область є областю голоморфності.
  • Будь яка область виду де є областю голоморфності, зокрема довільний полікруг, що є добутком кругів є областю голоморфності.
  • Область Рейнхарта є областю голоморфності тоді і тільки тоді коли вона є повною і логарифмічно опуклою.
  • Якщо є областями, — голоморфними функціями в області і замикання множини є компактною підмножиною то є обастю голоморфності. називається аналітичним поліедром.

Див. також[ред. | ред. код]

Література[ред. | ред. код]

  • Field, Mike (1982). Several Complex Variables and Complex Manifolds I. London Mathematical Society Lecture Note Series 65. Cambridge University Press. ISBN 9780521283014. 
  • Lars Hörmander. An Introduction to Complex Analysis in Several Variables, North-Holland Publishing Company, New York, New York, 1973.
  • Steven G. Krantz. Function Theory Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
  • Boris Vladimirovich Shabat, Introduction to Complex Analysis, AMS, 1992