Комплексный анализ

Фундаментальные работы в комплексном анализе связаны с именами Эйлера, Римана, Коши, Вейерштрасса и многих других известных математиков. Теорияконформных отображений стала бурно развиваться благодаря имеющимся примененениям в инженерном деле, также методы и результаты комплексного анализа применяются в аналитической теории чисел. Новый всплеск интереса к комплексному анализу связан с комплексной динамикой и теорией фракталов

Комплексный анализ - одна из классических ветвей математики, уходящая корнями в XVIII век и незадолго до этого. Важные математики, связанные с комплексными числами, включают Эйлера , Гаусса , Римана , Коши , Вейерштрасса и многих других в 20 веке. Комплексный анализ, в частности теория конформных отображений , имеет множество физических приложений, а также используется во всей аналитической теории чисел . В наше время он стал очень популярным благодаря новому импульсу от сложной динамики и изображений фракталов, созданных путем повторения голоморфных функций.. Другое важное приложение комплексного анализа - теория струн, изучающая конформные инварианты в квантовой теории поля .

Общие понятия

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

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

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

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

-окрестность числа определяется как множество точек , удаленных от менее чем на :

На комплексной плоскости -окрестность представляет собой внутренность круга радиуса с центром в .

Бесконечно удаленная точка

В комплексном анализе часто полезно рассматривать полную комплексную плоскость , дополненную по сравнению с обычной бесконечно удаленной точкой: . При таком подходе неограниченно возрастающая (по модулю) последовательность считается сходящейся к бесконечно удаленной точке. Алгебраические операции с бесконечностью не производятся, хотя несколько алгебраических соотношений имеют место:

-окрестностью бесконечно удаленной точки считается множество точек , модуль которых больше, чем , то есть внешняя часть -окрестностей начала координат.

Дифференцирование

Определение

Производная для комплексной функции одного аргумента определяется так же, как и для вещественной:

(здесь — комплексное число). Если этот предел существует, функция называется дифференцируемой или голоморфной. При этом

Следует учитывать одну важную особенность: поскольку комплексная функция задана на плоскости, существование приведенного предела означает, что он одинаков при стремлении к с любого направления. Этот факт накладывает существенные ограничения на вид функций-компонент и определяет их жесткую взаимосвязь (условия Коши — Римана):

Отсюда следует, что дифференцируемости компонент и недостаточно для дифференцируемости самой функции.

Более того, имеют место следующие свойства, отличающие комплексный анализ от вещественного:

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

• Любая гармоническая функция может быть как вещественной, так и мнимой компонентой дифференцируемой функции. При этом другая компонента определяется однозначно (из условий Коши — Римана), с точностью до константы-слагаемого.

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

Другие свойства

Пусть функции и дифференцируемы в области . Об этом говорит сайт https://intellect.icu . Тогда и также дифференцируемы в этой области. Если в области не обращается в ноль, то будет дифференцируема в . Композиция функций дифференцируема всюду, где она определена. Если производная функции в области не обращается в ноль, то существует обратная к ней функция , и она будет дифференцируема.

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

Геометрический смысл производной

Пример конформного отображения. Видно, что углы сохраняются.

Каждая комплексная функция определяет некоторое отображение комплексной плоскости с координатами на другую комплексную плоскость с координатами . При этом выражение:

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

Если коэффициент масштабирования , то в окрестности точки расстояния между точками увеличиваются, и коэффициент масштабирования называют коэффициентом растяжения. Если коэффициент масштабирования , то в окрестности точки расстояния между точками уменьшаются, и коэффициент масштабирования называют коэффициентом сжатия.

Что касается аргумента производной, то он определяет угол поворота гладкой кривой, проходящей через точку . Все гладкие кривые при таком отображении поворачиваются на один и тот же угол. Отображения, сохраняющие углы, называются конформными; таким образом, любая дифференцируемая комплексная функция определяет конформное отображение (в той области, где ее производная не обращается в ноль). С этим фактом связано широкое применение комплексных функций в картографии и гидродинамике .

Интегрирование

Понятие первообразной комплексной функции (неопределенного интеграла) вводится так же, как в вещественном случае. Однако аналог определенного интеграла в интервале от до на комплексной плоскости, вообще говоря, не существует, так как путь от начальной точки до конечной неоднозначен. Поэтому основным видом комплексного интеграла является криволинейный интеграл, зависящий от конкретного пути. Ниже будут указаны условия, при выполнении которых интеграл не зависит от пути, и тогда интеграл «от точки до точки» может быть определен корректно.

Пусть уравнение определяет некоторую кусочно-гладкую кривую в комплексной плоскости, а функция определена в точках этой кривой. Разделим интервал задания параметра на равных частей: и рассмотрим интегральную сумму:

Предел этой суммы при неограниченном возрастании называется (комплексным) интегралом по кривой от данной функции ; он обозначается:

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

Здесь — компоненты . Из этого представления сразу следует, что свойства комплексного интеграла аналогичны свойствам вещественного криволинейного интеграла.

Контурный интеграл

Особый практический интерес представляют интегралы по (замкнутому) контуру, то есть по кусочно-гладкой кривой без точек самопересечения, у которой начальная точка совпадает с конечной. Контур можно обходить в двух направлениях; положительным считается направление, при котором ограниченная контуром область располагается слева по ходу движения.

Если кривая образует замкнутый контур, употребляется особое обозначение интеграла:

Имеет место важная интегральная теорема Коши: для любой функции , аналитической в односвязной области и для любого замкнутого контура справедливо соотношение:

.

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

где F(z) — первообразная для .

Другие мощные инструменты для исследования комплексных и вещественных интегралов:

• Интегральная формула Коши и ее следствия: принцип максимума модуля, теоремы о среднем
• Основная теорема о вычетах

Теоремы единственности и аналитическое продолжение

Нулем функции называется точка , в которой функция обращается в ноль: .

Теорема о нулях аналитической функции. Если нули функции , аналитической в области , имеют предельную точку внутри , то функция всюду в равна нулю.

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

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

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

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

Разложение в ряд

Степенной ряд

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

Всякая дифференцируемая в точке функция разлагается в окрестности этой точки в степенной ряд Тейлора:

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

1. Ряд сходится в круге конечного и ненулевого радиуса.
2. Ряд сходится во всей комплексной плоскости, то есть . Такие функции называются целыми.
3. Ряд сходится только в точке . Пример: . Такие точки называются особыми для функции . Неособые точки называются правильными. Внутренность круга сходимости состоит из правильных точек.

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

Теорема Абеля: если — радиус круга сходимости степенного ряда, то в любом круге с тем же центром, но меньшего радиуса, ряд сходится равномерно.

Ряд Лорана

Представляет большой практический интерес исследование поведения функции вблизи изолированной особой точки, то есть точки, в окрестности которой функция аналитична, но в самой точке либо не аналитична, либо не определена. Степенной ряд здесь бесполезен, поэтому вводится более общий ряд Лорана:

Если область сходимости ряда Лорана не пуста, она представляет собой круговое кольцо: .

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

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

1. Устранимая особая точка: если ряд Лорана не содержит элементов с отрицательными степенями . Тогда это просто степенной ряд, определяющий функцию в некотором круге, окружающем . Сумма ряда в этом круге конечна и может отличаться от только в точке , так что достаточно переопределить, чтобы функция стала аналитичной во всем круге. Имеет место следующий признак: если функция вблизи аналитична и ограничена, то — устранимая особая точка.
2. Полюс: если ряд Лорана содержит конечное число элементов с отрицательными степенями . В этом случае функция в точке бесконечна (по модулю).
3. Существенно особая точка: если ряд Лорана содержит бесконечное число элементов с отрицательными степенями . В этом случае функция в точке не может быть корректно определена так, чтобы быть непрерывной.

Приложения в вещественном анализе

С помощью теории вычетов, являющейся частью ТФКП, вычисляются многие сложные интегралы по замкнутым контурам.

Средствами комплексного анализа объясняются некоторые моменты, не поддающиеся простой интерпретации в терминах вещественного анализа. Приведем классический пример: функция

непрерывна и бесконечно дифференцируема на всей вещественной прямой. Рассмотрим ее ряд Тейлора

Этот ряд сходится только в интервале , хотя точки не являются какими-то особенными для .

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

Вау!! 😲 Ты еще не читал? Это зря!

• Аналитическая функция
• Вычет (комплексный анализ)
• Голоморфная функция
• Кватернионный анализ
• Комплексные числа
• Многомерный комплексный анализ
• Моногенная функция
• теоремы комплексного анализа ,