Необходимо перенести в эту статью содержимое статьи Аналитическая функция и поставить оттуда перенаправление.
Вы можете помочь проекту, объединив статьи (см. инструкцию по объединению). В случае необходимости обсуждения целесообразности объединения, замените этот шаблон на шаблон {{К объединению}} и добавьте соответствующую запись на страницеВП:КОБ.
Голоморфная функция осуществляет конформное отображение, преобразуя ортогональную сетку в такую же ортогональную (там где комплексная производная не обращается в нуль).
В отличие от вещественного случая, это условие означает, что функция бесконечно дифференцируема и может быть представлена сходящимся к ней рядом Тейлора.
Голоморфные функции также называют иногда аналитическими, хотя второе понятие гораздо более широкое, так как аналитическая функция не обязана быть определена на множестве комплексных чисел.
Тот факт, что для комплекснозначных функций комплексной переменной множества голоморфных и аналитических функций совпадают, является нетривиальным и весьма замечательным результатом комплексного анализа.
Определение
Пусть — открытое подмножество в и — комплекснозначная функция на .
Функцию называют комплексно дифференцируемой в точке , если существует предел
В этом выражении предел берется по всем последовательностям комплексных чисел, сходящихся к , для всех таких последовательностей выражение должно сходиться к одному и тому же числу . Комплексное дифференцирование во многом похоже на вещественное: оно линейно и удовлетворяет тождеству Лейбница.
Функцию называют голоморфной в, если она комплексно дифференцируема в каждой точке .
Функцию называют голоморфной в, если она комплексно дифференцируема в некоторой окрестности .
Другое определение
Определению голоморфной функции можно придать несколько другой вид, если воспользоваться операторами и , определяемыми по правилу
Целая функция — функция, голоморфная на всей комплексной плоскости.
Мероморфная функция — функция, голоморфная в области и имеющая во всех своих особых точках полюс.
Функция называется голоморфной на компакте, если существует открытое множество, содержащее , такое что голоморфна в .
Свойства
Комплексная функция является голоморфной тогда и только тогда, когда выполняются условия Коши — Римана
и частные производные непрерывны.
Сумма и произведение голоморфных функций — голоморфная функция, что следует из линейности дифференцирования и выполнения правила Лейбница. Частное голоморфных функций также голоморфно во всех точках, где знаменатель не обращается в 0.
Производная голоморфной функции опять является голоморфной, поэтому голоморфные функции являются бесконечно дифференцируемыми в своей области определения.
Голоморфные функции являются аналитическими, то есть могут быть представлены в виде сходящегося в некоторой окрестности каждой точки ряда Тейлора. Таким образом, для комплексных функций комплексной переменной множества голоморфных и аналитических функций совпадают.
Из любой голоморфной функции можно выделить её вещественную и мнимую часть, каждая из которых будет решением уравнения Лапласа в . То есть если — голоморфная функция, то и — гармонические функции.
Если абсолютная величина голоморфной функции достигает локального максимума во внутренней точке своей области определения, то функция постоянна (предполагается, что область определения связна). Отсюда следует, что максимум (и минимум, если он не равен нулю) абсолютной величины голоморфной функции могут достигаться лишь на границе области.
В области, где первая производная голоморфной функции не обращается в 0, а функция однолистна, она осуществляет конформное отображение.
Интегральная формула Коши связывает значение функции во внутренней точке области с её значениями на границе этой области.
Согласно теореме Вейерштрасса, если ряд голоморфных функций в области равномерно сходится на любом компакте в то его сумма также голоморфна, причём её производная является пределом производных частичных сумм ряда[1].
История
Термин «голоморфная функция» был введён двумя учениками Коши, Брио (1817—1882) и Буке (1819—1895), и происходит от греческих слов őλoς (холос), что значит «целый», и μoρφń (морфе) — форма, образ.[2]
Сегодня многие математики предпочитают термин «голоморфная функция» вместо «аналитическая функция», так как второе понятие более общее. Кроме того, одним из важных результатов комплексного анализа является то, что любая голоморфная функция является аналитической, что не очевидно из определения. Термин «аналитический» употребляют обычно для более общих функций, заданных не обязательно на комплексной плоскости.
Вариации и обобщения
Многомерный случай
Существует также определение голоморфности функций многих комплексных переменных
Для определения используются понятия -дифференцируемости и -линейности таких функций
С-линейность
Функция называется -линейной если удовлетворяются условия:
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2025 WikiSort.ru - проект по пересортировке и дополнению контента Википедии