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

Ко́мпле́ксный ана́лиз^[1], тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.

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

Каждая комплексная функция $w = f(z) = f(x+iy)$ может рассматриваться как пара вещественных функций от двух переменных: $f(z)=u(x,\;y)+iv(x,\;y)$, определяющих её вещественную и мнимую часть соответственно. Функции $u$, $v$ называются компонентами комплексной функции $f(z)$.

Понятие предела для последовательности и функции вводится так же, как и в вещественном случае, с заменой абсолютной величины на комплексный модуль. Если $\lim_{z\to a+bi}f(z)=A+Bi$, то $\lim_{x\to a,\;y \to b}u(x,\;y)=A$ и $\lim_{x\to a,\;y\to b}v(x,\;y)=B$. Верно и обратное: из существования пределов компонент вытекает существование предела самой функции, и компонентами предела будут пределы компонентов. Непрерывность комплексной функции тоже определяется так же, как в вещественном случае, и она равносильна непрерывности обеих её компонент.

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

$\varepsilon$-окрестность числа $z_0$ определяется как множество точек $z$, удалённых от $z_0$ менее чем на $\varepsilon$: $~|z-z_0|<\varepsilon$. На комплексной плоскости $\varepsilon$-окрестность представляет собой круг радиуса $\varepsilon$ с центром в $z_0$.

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

В комплексном анализе часто полезно рассматривать полную комплексную плоскость^[2], дополненную по сравнению с обычной бесконечно удалённой точкой: $z=\infty$. При таком подходе неограниченно возрастающая (по модулю) последовательность считается сходящейся к бесконечно удалённой точке. Алгебраические операции с бесконечностью не производятся, хотя несколько алгебраических соотношений имеют место:

• $\frac{z}{\infty}=0; z+\infty=\infty (z \ne \infty)$
• $z \cdot \infty=\infty; \frac{z}{0}=\infty (z \ne 0)$

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

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

Определение

Производная для комплексной функции одного аргумента $w=f(z)$ определяется так же, как и для вещественной:

$f^\prime(z)=\frac{df}{dz}=\lim_{h\to 0}\frac{f(z+h)-f(z)}{h}$

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

$f(z+h)-f(z)=\frac{df}{dz}\cdot h+o(h).$

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

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

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

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

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

$\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0;\qquad\frac{\partial^2 v}{\partial x^2}+\frac{\partial^2 v}{\partial y^2}=0.$

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

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

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

Пусть функции $f(z)$ и $g(z)$ дифференцируемы в области $G\subset\mathbb C$. Тогда $f(z)\pm g(z)$ и $f(z)\cdot g(z)$ также дифференцируемы в этой области. Если $g(z)$ в области $G$ не обращается в ноль, то $\frac{f(z)}{g(z)}$ будет дифференцируема в $G$. Композиция функций $f(g(z))$ дифференцируема всюду, где она определена. Если производная функции $w=f(z)$ в области $G$ не обращается в ноль, то существует обратная к ней функция $z=\varphi(w)$, и она будет дифференцируема.

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

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

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

Каждая комплексная функция $w=f(z)=u(x,\;y)+iv(x,\;y)$ определяет некоторое отображение комплексной плоскости с координатами $(x,\;y)$ на другую комплексную плоскость с координатами $(u,\;v)$. При этом выражение:

$\left|\frac{f(z+h)-f(z)}{h}\right| = k(h)$

при малом $h$ геометрически можно истолковать как коэффициент масштабирования, которое выполняет данное отображение при переходе от точки $z$ к точке $z+h$. Существование предела $~\lim_{h \to 0} k(h)$, то есть модуля производной $|f^\prime(z)|=k$, означает, что коэффициент масштабирования одинаков в любом направлении от точки $z$, то есть не зависит от направления. Вообще говоря, коэффициент масштабирования меняется от точки к точке.

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

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

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

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

Пусть уравнение $z=z(t),\;a\leqslant t\leqslant b$ определяет некоторую кусочно-гладкую кривую $\gamma$ в комплексной плоскости, а функция $f(z)$ определена в точках этой кривой. Разделим интервал задания параметра на $n$ равных частей: $a=t_0<t_1<\ldots<t_n=b$ и рассмотрим интегральную сумму:

$\sum_{1\leqslant k\leqslant n}f(z(t_k))(z(t_k)-z(t_{k-1})).$

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

$\int\limits_\gamma\!f(z)\,dz.$

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

$\int\limits_\gamma\!f(z)\,dz=\int\limits_a^b\!f(z(t))z'(t)\,dt=\int\limits_\gamma\!(u\,dx-v\,dy)+i\int\limits_\gamma\!(v\,dx+u\,dy).$

Здесь $u,\;v$ — компоненты $f(z)$. Из этого представления сразу следует, что свойства комплексного интеграла аналогичны свойствам вещественного криволинейного интеграла.

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

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

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

$\oint\limits_\gamma\!f(z)\,dz.$

Имеет место важная интегральная теорема Коши: для любой функции $f(z)$, аналитической в односвязной области $A\subset\C$ и для любого замкнутого контура $\gamma\subset A$ справедливо соотношение:

$\oint\limits_\gamma\!f(z)\,dz=0$.

Следствие: пусть функция $f(z)$, аналитична в односвязной области $A\subset\C$, а точки $z_1, z_2$ из области $A$ соединены некоторой кривой $\gamma$. Тогда интеграл $\int\limits_\gamma\!f(z)\,dz$ зависит только от точек $z_1, z_2$, но не от выбора соединяющей их кривой $\gamma$, так что можно обозначить его $\int\limits_{z_1}^{z_2} {f(z)\,dz}$, и имеет место теорема Ньютона — Лейбница:

$\int\limits_{z_1}^{z_2} {f(z)\,dz} = F(z_2) - F(z_1),$

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

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

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

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

Нулём функции $f(z)$ называется точка $z_0$, в которой функция обращается в ноль: $f(z_0)=0$.

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

Следствие: если функция $f(z)$ аналитическая в области $D$ и не равна тождественно нулю, то в любой ограниченной замкнутой подобласти $C \subset D$ у неё может быть лишь конечное число нулей.

Теорема единственности аналитической функции. Пусть $\{z_n\}$ — сходящаяся последовательность различных точек области $D$. Если две аналитические функции $f(z), g(z)$ совпадают во всех точках этой последовательности, то они тождественно равны в $D$.

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

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

$\sin^2 z + \cos^2 z = 1; \qquad e^u \cdot e^v = e^{u+v}$

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

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

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

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

$f(z) = \sum_{n=0}^\infty a_n(z-z_0)^n$

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

1. Ряд сходится в круге конечного и ненулевого радиуса.
2. Ряд сходится во всей комплексной плоскости, то есть $R=\infty$. Такие функции называются целыми.
3. Ряд сходится только в точке $z_0$. Пример: $\sum_{n=0}^\infty n! (z-z_0)^n$. Такие точки $z_0$ называются особыми для функции $f(z)$. Неособые точки называются правильными. Внутренность круга сходимости состоит из правильных точек.

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

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

Ряд Лорана

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

$\sum_{n=-\infty}^{\infty}c_n(z-z_0)^n = \sum_{n=0}^{\infty}c_n(z-z_0)^n + \sum_{n=1}^{\infty} \frac {c_{-n}} {(z-z_0)^n}$

Если область сходимости ряда Лорана не пуста, она представляет собой круговое кольцо: $~r<|z-z_0|<R$.

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

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

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

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

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

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

$f(x)=\frac{1}{1+x^2}$

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

$\frac{1}{1+x^2}=1-x^2+x^4-x^6+\ldots$

Этот ряд сходится только в интервале $(-1;\;1)$, хотя точки $\pm 1$ не являются какими-то особенными для $f(x)$.

Положение проясняется при переходе к функции комплексного переменного $f(z)=\frac{1}{1+z^2}$, у которой обнаруживаются две особые точки: $\pm i$. Соответственно, эту функцию можно разложить в ряд Тейлора только в круге $\Delta=\{z\colon|z|<1\}$.

История

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

См. также

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

Примечания

1. ↑ Двойное ударение указано согласно следующим источникам.
   • Большая советская энциклопедия, 3-е изд. (1973), том 12, стр. 588, статья Ко́мпле́ксные числа.
   • Советский энциклопедический словарь (1982), стр. 613, статья Ко́мпле́ксное число.
   • Последнее издание «Словаря трудностей русского языка» (Розенталь Д. Э., Теленкова М. А., Айрис-пресс, 2005, стр. 273) указывает оба варианта: «ко́мплексные (компле́ксные) числа».
   • В Большой российской энциклопедии (том 14, 2010 год) по необъяснённым причинам предлагаются одновременно ударения Компле́ксное число (стр. 691), но Ко́мплексный анализ (стр. 695).
   • Орфографический словарь русского языка» (6-е издание, 2010), Грамматический словарь русского языка, Русский орфографический словарь Российской академии наук под ред. В. В. Лопатина и ряд других словарей указывают варианты: «ко́мплексный» и «компле́ксный (матем.)».
2. ↑ Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. Указ. соч., стр. 20-21.
3. ↑ Лаврентьев М. А., Шабат Б. В. Проблемы гидродинамики и их математические модели. — М.: Наука, 1973.

Литература

• Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.
• История математики. В 3-х томах / Под редакцией А. П. Юшкевича. — М.: Наука, 1972. — Т. III.
• Краснов М. Л., Киселев А. И., Макаренко Г. И. Функции комплексного переменного. Операционное исчисление. Теория устойчивости. — М.: Наука, 1981. — 304 с.
• Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — 4-е изд. — М.: Наука, 1972.
• Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1967. — 304 с.
• Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — М.: ФИЗМАТЛИТ, 2001. — 800 с. — ISBN 5-9221-0155-2
• Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.

Разделы математики

 

Портал «Наука»

Алгебра   Элементарная алгебра  • Линейная алгебра (Полилинейная алгебра)  • Абстрактная алгебра Абстрактная алгебра Коммутативная алгебра  • Теория представлений  • Дифференциальная алгебра  • Гомологическая алгебра  • Универсальная алгебра  • Теория категорий

Математический анализ   Вариационное исчисление  • Комплексный анализ  • Теория меры  • Функциональный анализ  • Гармонический анализ  • Нестандартный анализ

Геометрия и топология   Геометрия Алгебраическая геометрия  • Аналитическая геометрия  • Евклидова геометрия  • Неевклидова геометрия  • Планиметрия  • Стереометрия  • Тригонометрия Топология Общая топология  • Алгебраическая топология Смежные направления Дифференциальная геометрия и топология  • Геометрическая топология

Дискретная математика   Комбинаторика  • Теория графов  • Теория множеств  • Булева алгебра

Прикладная математика   Математическая физика  • Математическая химия  • Математическая статистика  • Математическое моделирование  • Теория алгоритмов  • Численные методы  • Математическая экономика, Финансовая математика  • Теория вероятностей  • Исследование операций

Математическая логика (алгебра логики)  • Теория чисел (арифметика)

Портал «Математика» | Категория «Математика»