В математике голоморфная функция — это комплекснозначная функция одной или нескольких комплексных переменных, которая комплексно дифференцируема в окрестности каждой точки области в комплексном координатном пространстве . Существование комплексной производной в окрестности является очень сильным условием: оно подразумевает, что голоморфная функция бесконечно дифференцируема и локально равна своему собственному ряду Тейлора (является аналитической ). Голоморфные функции являются центральными объектами изучения в комплексном анализе .
Хотя термин аналитическая функция часто используется взаимозаменяемо с термином «голоморфная функция», слово «аналитический» определяется в более широком смысле для обозначения любой функции (действительной, комплексной или более общего типа), которая может быть записана как сходящийся степенной ряд в окрестности каждой точки своей области определения . То, что все голоморфные функции являются комплексными аналитическими функциями, и наоборот, является основной теоремой в комплексном анализе . [1]
Голоморфные функции также иногда называют регулярными функциями . [2] Голоморфная функция, областью определения которой является вся комплексная плоскость , называется целой функцией . Фраза «голоморфная в точке » означает не просто дифференцируемую в , но и дифференцируемую всюду в некоторой близкой окрестности в комплексной плоскости.
Для комплекснозначной функции одной комплексной переменной производная в точке ее области определения определяется как предел [3 ]
Это то же самое определение, что и для производной действительной функции , за исключением того, что все величины являются комплексными. В частности, предел берется, когда комплексное число стремится к , и это означает, что то же самое значение получается для любой последовательности комплексных значений для , которая стремится к . Если предел существует, называется комплексно дифференцируемой в . Эта концепция комплексной дифференцируемости разделяет несколько свойств с действительной дифференцируемостью : она линейна и подчиняется правилу произведения , правилу частного и правилу цепочки . [4]
Функция голоморфна на открытом множестве , если она комплексно дифференцируема в каждой точке . Функция голоморфна в точке , если она голоморфна в некоторой окрестности . [5] Функция голоморфна на некотором не открытом множестве , если она голоморфна в каждой точке .
Функция может быть комплексно дифференцируемой в точке, но не голоморфной в этой точке. Например, функция комплексно дифференцируема в , но не комплексно дифференцируема нигде больше, в частности, ни в одном месте, близком к (см. уравнения Коши–Римана ниже). Таким образом, она не голоморфна в .
Связь между действительной дифференцируемостью и комплексной дифференцируемостью следующая: если комплексная функция голоморфна, то и имеют первые частные производные по и и удовлетворяют уравнениям Коши–Римана : [6]
или, что эквивалентно, производная Виртингера по , комплексно сопряженному , равна нулю: [7]
то есть, грубо говоря, функционально независим от , комплексно сопряженного .
Если непрерывность не задана, обратное утверждение не обязательно верно. Простое обратное утверждение заключается в том, что если и имеют непрерывные первые частные производные и удовлетворяют уравнениям Коши–Римана, то является голоморфным. Более удовлетворительное обратное утверждение, которое гораздо сложнее доказать, — это теорема Лумана–Менхоффа : если непрерывна, и имеют первые частные производные (но не обязательно непрерывные) и удовлетворяют уравнениям Коши–Римана, то является голоморфным. [8]
Термин голоморфный был введен в 1875 году Шарлем Брио и Жаном-Клодом Буке , двумя учениками Огюстена-Луи Коши , и происходит от греческого ὅλος ( hólos ), что означает «целый», и μορφή ( morphḗ ), что означает «форма» или «внешний вид» или «тип», в отличие от термина мероморфный, полученного от μέρος ( méros ), что означает «часть». Голоморфная функция напоминает целую функцию («целое») в области комплексной плоскости, в то время как мероморфная функция (определенная как означающая голоморфную, за исключением некоторых изолированных полюсов ), напоминает рациональную дробь («часть») целых функций в области комплексной плоскости. [a] [9] [10] Вместо этого Коши использовал термин синектический . [b]
Сегодня термин «голоморфная функция» иногда предпочитают термину «аналитическая функция». Важным результатом комплексного анализа является то, что каждая голоморфная функция является комплексно-аналитической, факт, который не следует очевидным образом из определений. Термин «аналитический», однако, также широко используется.
Поскольку комплексное дифференцирование линейно и подчиняется правилам произведения, частного и цепочки, суммы, произведения и композиции голоморфных функций голоморфны, а частное двух голоморфных функций голоморфно везде, где знаменатель не равен нулю. [12] То есть, если функции и голоморфны в области , то также являются , , , и . Кроме того, голоморфна, если не имеет нулей в ; в противном случае она мероморфна .
Если отождествить с действительной плоскостью , то голоморфные функции совпадают с теми функциями двух действительных переменных с непрерывными первыми производными, которые решают уравнения Коши–Римана , систему двух уравнений в частных производных . [6]
Каждая голоморфная функция может быть разделена на действительную и мнимую части , и каждая из них является гармонической функцией на (каждая удовлетворяет уравнению Лапласа ), причем является гармонически сопряженной функцией . [13] И наоборот, каждая гармоническая функция на односвязной области является действительной частью голоморфной функции: если является гармонически сопряженной функцией , единственной с точностью до константы, то голоморфна.
Интегральная теорема Коши подразумевает, что контурный интеграл каждой голоморфной функции вдоль петли равен нулю: [14]
Здесь — спрямляемый путь в односвязной комплексной области , начальная точка которого совпадает с его конечной точкой, а — голоморфная функция.
Интегральная формула Коши утверждает, что каждая функция, голоморфная внутри диска , полностью определяется своими значениями на границе диска. [14] Более того: Предположим, что — комплексная область, — голоморфная функция, а замкнутый диск полностью содержится в . Пусть — круг, образующий границу . Тогда для каждого внутри :
где контурный интеграл берется против часовой стрелки .
Производную можно записать в виде контурного интеграла [14] с использованием формулы дифференцирования Коши :
для любой простой петли, положительно обмотанной один раз вокруг , и
для бесконечно малых положительных петель вокруг .
В областях, где первая производная не равна нулю, голоморфные функции являются конформными : они сохраняют углы и форму (но не размер) малых фигур. [15]
Каждая голоморфная функция является аналитической . То есть голоморфная функция имеет производные каждого порядка в каждой точке своей области определения, и она совпадает со своим собственным рядом Тейлора в в окрестности . Фактически, совпадает со своим рядом Тейлора в в любом круге с центром в этой точке и лежащем внутри области определения функции.
С алгебраической точки зрения множество голоморфных функций на открытом множестве является коммутативным кольцом и комплексным векторным пространством . Кроме того, множество голоморфных функций на открытом множестве является областью целостности тогда и только тогда, когда открытое множество связно. [7] Фактически, это локально выпуклое топологическое векторное пространство , в котором полунормы являются супремумами на компактных подмножествах .
С геометрической точки зрения функция голоморфна в тогда и только тогда, когда ее внешняя производная в окрестности точки равна для некоторой непрерывной функции . Это следует из
что также пропорционально , подразумевая, что производная сама по себе голоморфна и, таким образом, бесконечно дифференцируема. Аналогично, подразумевает, что любая функция , которая голоморфна в односвязной области , также интегрируема в .
(Для пути из в , полностью лежащего в , определим ; в свете теоремы Жордана о кривой и обобщенной теоремы Стокса не зависит от конкретного выбора пути , и, таким образом, является хорошо определенной функцией на , имеющей или .
Все полиномиальные функции в с комплексными коэффициентами являются целыми функциями (голоморфными во всей комплексной плоскости ), а также экспоненциальная функция и тригонометрические функции и (ср. формулу Эйлера ). Главная ветвь функции комплексного логарифма голоморфна на области . Функция квадратного корня может быть определена как и , следовательно, голоморфна везде, где логарифм . Обратная функция голоморфна на . (Обратная функция и любая другая рациональная функция мероморфны на .)
Как следствие уравнений Коши–Римана , любая вещественнозначная голоморфная функция должна быть константой . Следовательно, абсолютное значение , аргумент , вещественная часть и мнимая часть не являются голоморфными. Другим типичным примером непрерывной функции, которая не является голоморфной, является комплексно сопряженная (Комплексно сопряженная функция антиголоморфна .)
Определение голоморфной функции обобщается на несколько комплексных переменных простым способом. Функция по комплексным переменным является аналитической в точке , если существует окрестность , в которой равна сходящемуся степенному ряду по комплексным переменным ; [16] функция голоморфна в открытом подмножестве из , если она аналитична в каждой точке . Лемма Осгуда показывает (используя многомерную интегральную формулу Коши), что для непрерывной функции это эквивалентно тому, что является голоморфной по каждой переменной в отдельности (это означает, что если какие-либо координаты фиксированы, то ограничение является голоморфной функцией оставшейся координаты). Гораздо более глубокая теорема Хартогса доказывает, что предположение о непрерывности не является необходимым: голоморфна тогда и только тогда, когда она голоморфна по каждой переменной в отдельности.
В более общем смысле функция нескольких комплексных переменных, интегрируемая с квадратом по каждому компактному подмножеству своей области определения, является аналитической тогда и только тогда, когда она удовлетворяет уравнениям Коши–Римана в смысле распределений.
Функции нескольких комплексных переменных в некоторых основных отношениях сложнее функций одной комплексной переменной. Например, область сходимости степенного ряда не обязательно является открытым шаром; эти области являются логарифмически выпуклыми областями Рейнхардта , простейшим примером которых является полидиск . Однако они также имеют некоторые фундаментальные ограничения. В отличие от функций одной комплексной переменной, возможные области, на которых существуют голоморфные функции, которые не могут быть расширены до более крупных областей, сильно ограничены. Такой набор называется областью голоморфности .
Комплексная дифференциальная -форма голоморфна тогда и только тогда, когда ее антиголоморфная производная Дольбо равна нулю: .
Понятие голоморфной функции может быть распространено на бесконечномерные пространства функционального анализа . Например, производная Фреше или Гато может быть использована для определения понятия голоморфной функции на банаховом пространстве над полем комплексных чисел.
Briot & Bouquet (1875), стр. 14–15; [9] см. также Harkness & Morley (1893), стр. 161. [10]Lorsqu'une fonction est continue, monotrope, et a une dérivée, quand la Variable se meut dans une une partie du plan, nous dirons qu'elle est holomorphe dans cette party du plan. Мы указываем по этому названию, что это похоже на функции, которые позволяют вам пользоваться этой собственностью в рамках всего плана. [...]
Une Fractionnelle admet comme Pôles les racines du dénominateur; это голоморфная функция на всей вечеринке плана, который содержит все эти полюса.
Lorsqu’une fonction est голоморф в этой партии плана, за исключением некоторых полюсов, мы говорим, что это мероморф в этой партии плана, это очень похоже на дроби rationnelles.
[Когда функция непрерывна, монотропна и имеет производную, когда переменная движется в определенной части [комплексной] плоскости , мы говорим, что она голоморфна в этой части плоскости. Под этим названием мы подразумеваем, что она похожа на целые функции , которые обладают этими свойствами во всем объеме плоскости. ...
[Рациональная дробь допускает в качестве полюсов корни знаменателя; она является голоморфной функцией во всей той части плоскости, которая не содержит полюсов .
[Когда функция голоморфна в части плоскости, за исключением определенных полюсов, мы говорим, что она мероморфна в этой части плоскости, то есть она напоминает рациональные дроби.]