Голоморфная функция

Запрос «Однозначная комплексная аналитическая функция» перенаправляется сюда; см. также другие значения.

Голоморфная функция осуществляет конформное отображение, преобразуя ортогональную сетку в такую же ортогональную (там, где комплексная производная не обращается в нуль).

Голоморфная функция или однозначная комплексная аналитическая функция (от греч. ὅλος — «весь, целый» и μορφή — «форма»), иногда называемая регулярной функцией — функция комплексного переменного, определённая на открытом подмножестве комплексной плоскости $\mathbb {C}$ и комплексно дифференцируемая в каждой точке.

В отличие от вещественного случая, это условие означает, что функция бесконечно дифференцируема и может быть представлена сходящимся к ней рядом Тейлора.

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

Определение

Пусть $U$ — открытое подмножество в $\mathbb {C}$ и $f:U\to \mathbb {C}$ — комплекснозначная функция на $U$. Функцию называют голоморфной на множестве $U$, если выполняется одно из следующих равносильных условий:

1. У функции существует комплексная производная в каждой точке множества $U$, то есть предел

   $f'(z)=\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}.$

2. Функция является комплексно-дифференцируемой в каждой точке $z\in U$, то есть существует число $L\in \mathbb {C}$ такое, что в окрестности точки $z$

   $f(z+h)=f(z)+Lh+o(h)$

3. Функция является вещественно-дифференцируемой и в каждой точке $z=x+iy\in U$ выполняются условия Коши — Римана ${\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}$ и ${\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}.$ Здесь $u(z)$ и $v(z)$ — вещественная и мнимая части рассматриваемой функции.
4. Функция является вещественно-дифференцируемой и в каждой точке $z\in U$ ${\frac {\partial f}{\partial {\bar {z}}}}=0$, где ${\frac {\partial }{\partial {\bar {z}}}}={1 \over 2}\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right),$.
5. Ряд Тейлора функции в каждой точке $z\in U$ имеет ненулевой радиус сходимости, и его сумма равна $f(z)$ в некоторой окрестности $z$.
6. Функция непрерывна и интеграл $\int \limits _{\Gamma }\,f(z)\,dz=0$ для любой замкнутой кривой $\Gamma \subset U$.

Тот факт, что все эти определения эквивалентны является нетривиальным и весьма замечательным результатом комплексного анализа.

Функцию $f$ называют голоморфной в точке $z_{0}\in U$, если она голоморфна в некоторой окрестности $z_{0}$.

Функцию $f$ называют голоморфной, если она комплексно дифференцируема в области определения.

Связанные определения

• Целая функция — функция, голоморфная на всей комплексной плоскости.
• Мероморфная функция — функция, голоморфная в области $\Omega \setminus \{{z_{i}},\;i\in I\subset {\mathbb {N}}\}$ и имеющая во всех своих особых точках $z_{i}$ полюс.
• Функция $f$ называется голоморфной на компакте $K$, если существует открытое множество $D$, содержащее $K$, такое что $f$ голоморфна в $D$.

Свойства

• Комплексная функция $u+iv=f(x+iy)$ является голоморфной тогда и только тогда, когда выполняются условия Коши — Римана

  ${\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}};\quad {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}$

и частные производные ${\frac {\partial u}{\partial x}},\;{\frac {\partial u}{\partial y}},\;{\frac {\partial v}{\partial x}},\;{\frac {\partial v}{\partial y}}$ непрерывны.

• Сумма и произведение голоморфных функций — голоморфная функция, что следует из линейности дифференцирования и выполнения правила Лейбница. Частное голоморфных функций также голоморфно во всех точках, где знаменатель не обращается в 0.
• Производная голоморфной функции опять является голоморфной, поэтому голоморфные функции являются бесконечно дифференцируемыми в своей области определения.
• Голоморфные функции могут быть представлены в виде сходящегося в некоторой окрестности каждой точки ряда Тейлора.
• Из любой голоморфной функции можно выделить её вещественную и мнимую часть, каждая из которых будет решением уравнения Лапласа в $\mathbb {R} ^{2}$. То есть если $f(x+iy)=u(x,\;y)+iv(x,\;y)$ — голоморфная функция, то $u$ и $v$ — гармонические функции.
• Если абсолютная величина голоморфной функции достигает локального максимума во внутренней точке своей области определения, то функция постоянна (предполагается, что область определения связна). Отсюда следует, что максимум (и минимум, если он не равен нулю) абсолютной величины голоморфной функции могут достигаться лишь на границе области.
• В области, где первая производная голоморфной функции не обращается в 0, а функция однолистна, она осуществляет конформное отображение.
• Интегральная формула Коши связывает значение функции во внутренней точке области с её значениями на границе этой области.
• С алгебраической точки зрения, множество голоморфных на открытом множестве функций — это коммутативное кольцо и комплексное линейное пространство. Это локально выпуклое топологическое векторное пространство с полунормой, равной супремуму на компактных подмножествах.
• Согласно теореме Вейерштрасса, если ряд голоморфных функций в области $D$ равномерно сходится на любом компакте в $D,$ то его сумма также голоморфна, причём её производная является пределом производных частичных сумм ряда.
• Если $f'(z)$ в области $G$ не обращается в ноль, то $f^{-1}(z)$ голоморфна в $G$.

Некоторые свойства голоморфных функций близки к свойствам многочленов, что, впрочем, и неудивительно — разложимость голоморфных функций в ряды Тейлора свидетельствует о том, что функции — в некотором роде предельные варианты многочленов. Допустим, согласно основной теореме алгебры любой многочлен может иметь нулей числом не более его степени. Для голомофных функций справедливо аналогичное утверждение, вытекающее из теоремы единственности в альтернативной форме:

• Если множество нулей голоморфной в односвязной области функции имеет в этой области предельную точку, то функция тождественно равна нулю.
• Для функции от нескольких действительных переменных дифференцируемости по каждой из переменных недостаточно для дифференцируемости функции. Для функции от нескольких комплексных переменных голоморфности по каждой из переменных достаточно для голоморфности функции (Теорема Хартогса).

Примеры

Все многочлены от z являются голоморфными функциями на всей плоскости $\mathbb {C}$.

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

Функции $f(z)=|z|$, $f(z)={\overline {z}}$ неголоморфны на $\mathbb {C}$, поскольку они не имеют комплексной производной ни в одной точке. При этом сужение $f(z)={\overline {z}}$ на вещественную ось является аналитической функцией вещественного переменного (так как оно полностью совпадает с сужением функции $f(z)=z$).

История

Термин «голоморфная функция» был введён двумя учениками Коши, Брио (1817—1882) и Буке (1819—1895). Термин «аналитическая функция» употребляют обычно для более общего случая, когда функции многозначны и их удобно рассматривать как функции, заданные на подходящей римановой поверхности.

Вариации и обобщения

Многомерный случай

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

$f\colon \mathbb {C} ^{n}\to \mathbb {C} .$

Для определения используются понятия $\mathbb {C}$-дифференцируемости и $\mathbb {C}$-линейности таких функций

С-линейность

Функция $f$ называется $\mathbb {C}$-линейной если удовлетворяются условия:

• $f(z'+z'')=f(z')+f(z''),\quad z',\;z''\in \mathbb {C} ^{n}$.
• $f(\lambda z)=\lambda f(z),\quad z\in \mathbb {C} ^{n},\quad \lambda \in \mathbb {C}$

(для $\mathbb {R}$-линейных функций $\lambda \in \mathbb {R}$).

• Для любой $\mathbb {R}$-линейной функции $f$ существуют последовательности $\{a_{n}\},\;\{b_{n}\}\subset \mathbb {C}$, такие, что $f=\sum _{i=1}^{n}(a_{i}z_{i}+b_{i}{\bar {z}}_{i})$.
• Для любой $\mathbb {C}$-линейной функции $f$ существуют последовательность $\{a_{n}\}\subset \mathbb {C}$, такая, что $f=\sum _{i=1}^{n}a_{i}z_{i}$.

С-дифференцируемость

Функция $f$ называется $\mathbb {C}$-дифференцируемой в точке $z\in \mathbb {C} ^{n}$ если существуют функции $l$ и $o$ такие, что в окрестности точки $z$

$f(z+h)=f(z)+l(h)+o(h),\quad \lim _{h\to 0}{\frac {o(h)}{h}}=0,$

где $l$ — $\mathbb {C}$-линейная (для $\mathbb {R}$-дифференцируемости — $\mathbb {R}$-линейная) функция.

Голоморфность

Функция $f$ называется голоморфной в области $D,$ если она $\mathbb {C}$-дифференцируема в окрестности каждой точки этой области.

Квазианалитичность

Основная статья: Квазианалитическая функция

Литература

• Голоморфная функция // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
• Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.
• Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
• Привалов И. И. Введение в теорию функций комплексного переменного: Пособие для высшей школы. — М.—Л.: Государственное издательство, 1927. — 316 с.
• Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.
• Blakey, Joseph. University Mathematics (неопр.). — 2nd. — London: Blackie and Sons, 1958.

Ссылки

• Hazewinkel, Michiel, ed. (2001), "Analytic function", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4