В отличие от вещественного случая, это условие означает, что функция бесконечно дифференцируема и может быть представлена сходящимся к ней
рядом Тейлора
.
Пусть
—
открытое
подмножество в
и
— комплекснозначная функция на
. Функцию называют
голоморфной
на множестве
, если выполняется одно из следующих равносильных условий:
У функции существует комплексная производная в каждой точке множества
, то есть предел
Функция является комплексно-дифференцируемой в каждой точке
, то есть существует число
такое, что в
окрестности
точки
Функция является вещественно-дифференцируемой и в каждой точке
выполняются
условия Коши — Римана
и
Здесь
и
— вещественная и мнимая части рассматриваемой функции.
Функция является вещественно-дифференцируемой и в каждой точке
, где
.
Ряд Тейлора
функции в каждой точке
имеет ненулевой радиус сходимости, и его сумма равна
в некоторой окрестности
.
Функция непрерывна и
интеграл
для любой замкнутой кривой
.
Тот факт, что все эти определения эквивалентны является нетривиальным и весьма замечательным результатом комплексного анализа.
Функцию
называют
голоморфной в точке
, если она голоморфна в некоторой окрестности
.
Функцию
называют
голоморфной
, если она комплексно дифференцируема в области определения.
Связанные определения
Целая функция
— функция, голоморфная на всей комплексной плоскости.
Комплексная функция
является голоморфной тогда и только тогда, когда выполняются
условия Коши — Римана
и частные производные
непрерывны.
Сумма и произведение голоморфных функций — голоморфная функция, что следует из линейности дифференцирования и выполнения правила Лейбница. Частное голоморфных функций также голоморфно во всех точках, где знаменатель не обращается в 0.
Производная
голоморфной функции опять является голоморфной, поэтому голоморфные функции являются бесконечно дифференцируемыми в своей области определения.
Голоморфные функции могут быть представлены в виде сходящегося в некоторой окрестности каждой точки
ряда Тейлора
.
Из любой голоморфной функции можно выделить её вещественную и мнимую часть, каждая из которых будет решением уравнения Лапласа в
. То есть если
— голоморфная функция, то
и
—
гармонические
функции.
Если
абсолютная величина
голоморфной функции достигает локального максимума во внутренней точке своей области определения, то функция постоянна (предполагается, что область определения связна). Отсюда следует, что максимум (и минимум, если он не равен нулю) абсолютной величины голоморфной функции могут достигаться лишь на границе области.
Согласно теореме
Вейерштрасса
, если ряд голоморфных функций в области
равномерно сходится на любом
компакте
в
то его сумма также голоморфна, причём её производная является пределом производных частичных сумм ряда
.
Если
в области
не обращается в ноль, то
голоморфна в
.
Некоторые свойства голоморфных функций близки к свойствам
многочленов
, что, впрочем, и неудивительно — разложимость голоморфных функций в ряды Тейлора свидетельствует о том, что функции — в некотором роде предельные варианты многочленов. Допустим, согласно
основной теореме алгебры
любой многочлен может иметь нулей числом не более его степени. Для голомофных функций справедливо аналогичное утверждение, вытекающее из
теоремы единственности
в альтернативной форме:
Если множество нулей голоморфной в односвязной области функции имеет в этой области
предельную точку
, то функция тождественно равна нулю.
Для функции от нескольких действительных переменных дифференцируемости по каждой из переменных недостаточно для дифференцируемости функции. Для функции от нескольких комплексных переменных голоморфности по каждой из переменных достаточно для голоморфности функции (
Теорема Хартогса
).
Примеры
Все многочлены от z являются голоморфными функциями на всей плоскости
.
Функции
,
неголоморфны на
, поскольку они не имеют комплексной производной ни в одной точке. При этом сужение
на вещественную ось является аналитической функцией
вещественного
переменного (так как оно полностью совпадает с сужением функции
).
История
Термин «голоморфная функция» был введён двумя учениками
Коши
, Брио (
1817
—
1882
) и Буке (
1819
—
1895
). Термин «аналитическая функция» употребляют обычно для более общего случая, когда функции многозначны и их удобно рассматривать как функции, заданные на подходящей
римановой поверхности
.
Вариации и обобщения
Многомерный случай
Существует также определение голоморфности функций многих комплексных переменных
Для определения используются понятия
-дифференцируемости и
-линейности таких функций
С-линейность
Функция
называется
-линейной если удовлетворяются условия: