Комплексная переменная

Комплексная переменная — это переменная, значениями которой являются комплексные числа. Комплексная переменная является основным объектом изучения теории функций комплексного переменного (ТФКП) — раздела математического анализа, обобщающего методы вещественного анализа на случай комплексной плоскости. Комплексная переменная обычно обозначается буквой \( z \) и записывается в алгебраической форме как \( z = x + iy \), где \( x \) и \( y \) — вещественные переменные (действительная и мнимая части соответственно), а \( i \) — мнимая единица, удовлетворяющая условию \( i^2 = -1 \).

История развития понятия

Предпосылки появления

Понятие комплексной переменной возникло в связи с необходимостью решения алгебраических уравнений, не имеющих вещественных корней. В XVI веке итальянские математики (Джероламо Кардано, Рафаэль Бомбелли) при решении кубических уравнений столкнулись с необходимостью оперировать квадратными корнями из отрицательных чисел. Однако систематическое введение комплексных чисел в математический обиход произошло лишь в XVIII–XIX веках.

Формализация в XVIII–XIX веках

Леонард Эйлер в XVIII веке ввёл обозначение \( i \) для мнимой единицы и разработал основы алгебры комплексных чисел. В начале XIX века Карл Фридрих Гаусс и Жан Робер Арган предложили геометрическую интерпретацию комплексных чисел как точек на плоскости (комплексная плоскость, или плоскость Аргана). Это позволило рассматривать комплексную переменную как непрерывно изменяющуюся точку на плоскости.

Развитие теории функций

В середине XIX века Огюстен Луи Коши, Бернхард Риман и Карл Вейерштрасс заложили основы теории функций комплексной переменной. Коши сформулировал условия дифференцируемости (условия Коши — Римана) и интегральную теорему, Риман ввёл понятие римановой поверхности и конформных отображений, а Вейерштрасс разработал теорию аналитических функций через степенные ряды.

Основные понятия и определения

Комплексное число и его представления

Комплексное число \( z \) может быть представлено в нескольких формах:

• Алгебраическая форма: \( z = x + iy \), где \( x = \operatorname{Re}(z) \) — действительная часть, \( y = \operatorname{Im}(z) \) — мнимая часть.
• Тригонометрическая форма: \( z = r(\cos \varphi + i \sin \varphi) \), где \( r = |z| = \sqrt{x^2 + y^2} \) — модуль, \( \varphi = \arg(z) \) — аргумент (угол на комплексной плоскости).
• Показательная форма: \( z = r e^{i\varphi} \), основанная на формуле Эйлера \( e^{i\varphi} = \cos \varphi + i \sin \varphi \).

Комплексная плоскость

Комплексная плоскость — это двумерное вещественное пространство, в котором каждому комплексному числу \( z = x + iy \) ставится в соответствие точка с координатами \( (x, y) \). Ось \( x \) называется действительной осью, ось \( y \) — мнимой осью. Важным расширением является расширенная комплексная плоскость, которая включает бесконечно удалённую точку \( \infty \). Она получается путём стереографической проекции сферы Римана.

Функция комплексной переменной

Функция \( f(z) \) ставит в соответствие каждому комплексному числу \( z \) из области определения некоторое комплексное число \( w \). Запись \( w = f(z) \) означает, что \( w = u(x, y) + i v(x, y) \), где \( u \) и \( v \) — вещественные функции двух вещественных переменных.

Дифференцирование и аналитические функции

Условия Коши — Римана

Функция \( f(z) = u(x, y) + i v(x, y) \) является дифференцируемой (в смысле комплексного анализа) в точке \( z_0 \), если существуют частные производные \( u_x, u_y, v_x, v_y \) и выполняются условия Коши — Римана: \[ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}. \] Эти условия являются необходимыми и достаточными для существования производной \( f'(z) \), которая не зависит от направления приращения аргумента.

Аналитические (голоморфные) функции

Функция называется аналитической (или голоморфной) в области \( D \), если она дифференцируема в каждой точке этой области. Аналитические функции обладают рядом замечательных свойств:

• Бесконечная дифференцируемость (все производные существуют).
• Разложимость в степенной ряд Тейлора в окрестности каждой точки.
• Свойство единственности: если две аналитические функции совпадают на множестве с предельной точкой, то они совпадают всюду.

Примеры аналитических функций

• Многочлены: \( P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_0 \).
• Экспонента: \( e^z = e^x (\cos y + i \sin y) \).
• Тригонометрические функции: \( \sin z = \frac{e^{iz} - e^{-iz}}{2i} \), \( \cos z = \frac{e^{iz} + e^{-iz}}{2} \).
• Логарифмическая функция: \( \operatorname{Log} z = \ln |z| + i \arg(z) \) (многозначная, требует выбора ветви).

Интегрирование и интегральная теорема Коши

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

Интеграл от функции комплексной переменной вдоль кривой \( \gamma \) на комплексной плоскости определяется как: \[ \int_\gamma f(z) \, dz = \int_\gamma (u \, dx - v \, dy) + i \int_\gamma (v \, dx + u \, dy). \]

Интегральная теорема Коши

Если функция \( f(z) \) аналитична в односвязной области \( D \) и на её границе \( \gamma \), то интеграл по замкнутому контуру равен нулю: \[ \oint_\gamma f(z) \, dz = 0. \] Это фундаментальное свойство позволяет вычислять интегралы через вычеты и доказывать существование первообразной.

Интегральная формула Коши

Для аналитической функции \( f(z) \) в области \( D \) и точки \( z_0 \) внутри контура \( \gamma \) справедливо: \[ f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z - z_0} \, dz. \] Эта формула выражает значение функции через её значения на границе и позволяет вычислять производные: \[ f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_\gamma \frac{f(z)}{(z - z_0)^{n+1}} \, dz. \]

Особые точки и вычеты

Классификация особых точек

Точка \( z_0 \) называется особой для функции \( f(z) \), если функция не является аналитической в этой точке. Различают:

• Устранимые особые точки: предел \( \lim_{z \to z_0} f(z) \) существует и конечен.
• Полюсы: предел \( \lim_{z \to z_0} f(z) = \infty \); порядок полюса определяется степенью нуля знаменателя.
• Существенно особые точки: предел не существует (например, \( e^{1/z} \) в точке \( z = 0 \)).

Теория вычетов

Вычетом функции \( f(z) \) в изолированной особой точке \( z_0 \) называется коэффициент \( a_{-1} \) ряда Лорана: \[ \operatorname{Res}(f, z_0) = a_{-1} = \frac{1}{2\pi i} \oint_{|z - z_0| = r} f(z) \, dz. \] Основная теорема о вычетах (теорема Коши о вычетах) утверждает, что интеграл по замкнутому контуру равен сумме вычетов внутри контура, умноженной на \( 2\pi i \): \[ \oint_\gamma f(z) \, dz = 2\pi i \sum_{k} \operatorname{Res}(f, z_k). \]

Применение в математике и смежных науках

Вычисление вещественных интегралов

Теория вычетов позволяет вычислять многие несобственные интегралы от вещественных функций, которые трудно или невозможно найти методами вещественного анализа. Например, интегралы вида \( \int_{-\infty}^{\infty} \frac{P(x)}{Q(x)} \, dx \), где \( P \) и \( Q \) — многочлены, и интегралы от тригонометрических функций.

Конформные отображения

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

Квантовая механика и теория поля

Комплексные переменные широко применяются в квантовой механике (волновая функция — комплекснозначная), в теории рассеяния, в квантовой теории поля (контурные интегралы в диаграммах Фейнмана). Метод перевала и метод стационарной фазы, основанные на аналитическом продолжении, используются для асимптотических оценок интегралов.

Электротехника и теория сигналов

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

Интересные факты

• Сфера Римана: Расширенная комплексная плоскость топологически эквивалентна сфере. Стереографическая проекция отображает сферу на плоскость, при этом северный полюс соответствует бесконечно удалённой точке.
• Принцип максимума модуля: Модуль аналитической функции, не равной константе, не может достигать максимума внутри области определения — только на границе.
• Теорема Лиувилля: Если аналитическая функция на всей комплексной плоскости (целая функция) ограничена, то она является константой. Это свойство используется для доказательства основной теоремы алгебры.
• Многозначные функции: Функции, такие как логарифм и корень \( n \)-й степени, являются многозначными. Для работы с ними вводятся римановы поверхности — многолистные поверхности, на которых функция становится однозначной.

Источники

1. Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1985.
2. Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — М.: Наука, 1973.
3. Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1979.
4. Маркушевич А. И. Теория аналитических функций. — М.: Наука, 1967.
5. Привалов И. И. Введение в теорию функций комплексного переменного. — М.: Высшая школа, 1984.