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

Разделы:

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

Содержание

1 Общие понятия
2 Бесконечно удалённая точка
3 Дифференцирование
4 Интегрирование
- 4.1 Контурный интеграл
5 Теоремы единственности и аналитическое продолжение
6 Разложение в ряд
- 6.1 Степенной ряд
- 6.2 Ряд Лорана
7 Приложения в вещественном анализе
8 История
9 См. также
10 Примечания
11 Литература

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

Каждая комплексная функция w=f(z)=f(x+iy){displaystyle w=f(z)=f(x+iy)}

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

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

Понятие предела для последовательности и функции вводится так же, как и в вещественном случае, с заменой абсолютной величины на комплексный модуль. Если limz→a+bif(z)=A+Bi{displaystyle lim _{zto a+bi}f(z)=A+Bi}

$lim _{{zto a+bi}}f(z)=A+Bi$ , то limx→a,y→bu(x,y)=A{displaystyle lim _{xto a,;yto b}u(x,;y)=A} $lim _{{xto a,;yto b}}u(x,;y)=A$ и limx→a,y→bv(x,y)=B{displaystyle lim _{xto a,;yto b}v(x,;y)=B} $lim _{{xto a,;yto b}}v(x,;y)=B$ . Верно и обратное: из существования пределов компонент вытекает существование предела самой функции, и компонентами предела будут пределы компонентов. Непрерывность комплексной функции тоже определяется так же, как в вещественном случае, и она равносильна непрерывности обеих её компонент.

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

ε{displaystyle varepsilon }

$varepsilon$ -окрестность числа z0{displaystyle z_{0}} $z_{0}$ определяется как множество точек z{displaystyle z} $z$ , удалённых от z0{displaystyle z_{0}} $z_{0}$ менее чем на ε{displaystyle varepsilon } $varepsilon$ :

|z−z0|<ε{displaystyle ~|z-z_{0}|<varepsilon }

~|z-z_{0}|<varepsilon

На комплексной плоскости ε{displaystyle varepsilon }

$varepsilon$ -окрестность представляет собой внутренность круга радиуса ε{displaystyle varepsilon } $varepsilon$ с центром в z0{displaystyle z_{0}} $z_{0}$ .

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

В комплексном анализе часто полезно рассматривать полную комплексную плоскость[2], дополненную по сравнению с обычной бесконечно удалённой точкой: z=∞{displaystyle z=infty }

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

z∞=0;z+∞=∞(z≠∞){displaystyle {frac {z}{infty }}=0;z+infty =infty (zneq infty )} ${frac {z}{infty }}=0;z+infty =infty (zneq infty )$
z⋅∞=∞;z0=∞(z≠0){displaystyle zcdot infty =infty ;{frac {z}{0}}=infty (zneq 0)} $zcdot infty =infty ;{frac {z}{0}}=infty (zneq 0)$

ε{displaystyle varepsilon }

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

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

Определение

Производная для комплексной функции одного аргумента w=f(z){displaystyle w=f(z)}

$w=f(z)$ определяется так же, как и для вещественной:

f′(z)=dfdz=limh→0f(z+h)−f(z)h{displaystyle f^{prime }(z)={frac {df}{dz}}=lim _{hto 0}{frac {f(z+h)-f(z)}{h}}}

f^{prime }(z)={frac {df}{dz}}=lim _{{hto 0}}{frac {f(z+h)-f(z)}{h}}

(здесь h{displaystyle h}

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

f(z+h)−f(z)=dfdz⋅h+o(h).{displaystyle f(z+h)-f(z)={frac {df}{dz}}cdot h+o(h).}

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

Следует учитывать одну важную особенность: поскольку комплексная функция задана на плоскости, существование приведённого предела означает, что он одинаков при стремлении к z{displaystyle z}

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

∂u∂x=∂v∂y;∂u∂y=−∂v∂x.{displaystyle {frac {partial u}{partial x}}={frac {partial v}{partial y}};qquad {frac {partial u}{partial y}}=-{frac {partial v}{partial x}}.}

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

Отсюда следует, что дифференцируемости компонент u{displaystyle u}

$u$ и v{displaystyle v} $v$ недостаточно для дифференцируемости самой функции.

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

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

∂2u∂x2+∂2u∂y2=0;∂2v∂x2+∂2v∂y2=0.{displaystyle {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.}

{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{displaystyle u+iv}

$u+iv$ , где u,v{displaystyle u,;v} $u,;v$ — взаимосвязанные гармонические функции двух аргументов.

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

Пусть функции f(z){displaystyle f(z)}

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

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

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

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

Каждая комплексная функция w=f(z)=u(x,y)+iv(x,y){displaystyle w=f(z)=u(x,;y)+iv(x,;y)}

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

|f(z+h)−f(z)h|=k(h){displaystyle left|{frac {f(z+h)-f(z)}{h}}right|=k(h)}

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

при малом h{displaystyle h}

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

Если коэффициент масштабирования k>1{displaystyle k>1}

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

Что касается аргумента производной, то он определяет угол поворота гладкой кривой, проходящей через точку z{displaystyle z}

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

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

Понятие первообразной комплексной функции (неопределённого интеграла) вводится так же, как в вещественном случае. Однако аналог определённого интеграла в интервале от a{displaystyle a}

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

Пусть уравнение z=z(t),a⩽t⩽b{displaystyle z=z(t),;aleqslant tleqslant b}

$z=z(t),;aleqslant tleqslant b$ определяет некоторую кусочно-гладкую кривую γ{displaystyle gamma } $gamma$ в комплексной плоскости, а функция f(z){displaystyle f(z)} $f(z)$ определена в точках этой кривой. Разделим интервал задания параметра на n{displaystyle n} $n$ равных частей: a=t0<t1<…<tn=b{displaystyle a=t_{0}<t_{1}<ldots <t_{n}=b} $a=t_{0}<t_{1}<ldots <t_{n}=b$ и рассмотрим интегральную сумму:

∑1⩽k⩽nf(z(tk))(z(tk)−z(tk−1)).{displaystyle sum _{1leqslant kleqslant n}f(z(t_{k}))(z(t_{k})-z(t_{k-1})).}

sum _{{1leqslant kleqslant n}}f(z(t_{k}))(z(t_{k})-z(t_{{k-1}})).

Предел этой суммы при неограниченном возрастании n{displaystyle n}

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

∫γf(z)dz.{displaystyle int limits _{gamma }!f(z),dz.}

int limits _{gamma }!f(z),dz.

Для любой функции f(z){displaystyle f(z)}

$f(z)$ , непрерывной вдоль γ{displaystyle gamma } $gamma$ , этот интеграл существует и может быть вычислен через обычный вещественный интеграл по параметру:

∫γf(z)dz=∫abf(z(t))z′(t)dt=∫γ(udx−vdy)+i∫γ(vdx+udy).{displaystyle int limits _{gamma }!f(z),dz=int limits _{a}^{b}!f(z(t))z'(t),dt=int limits _{gamma }!(u,dx-v,dy)+iint limits _{gamma }!(v,dx+u,dy).}

int limits _{gamma }!f(z),dz=int limits _{a}^{b}!f(z(t))z'(t),dt=int limits _{gamma }!(u,dx-v,dy)+iint limits _{gamma }!(v,dx+u,dy).

Здесь u,v{displaystyle u,;v}

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

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

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

Если кривая γ{displaystyle gamma }

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

∮γf(z)dz.{displaystyle oint limits _{gamma }!f(z),dz.}

oint limits _{gamma }!f(z),dz.

Имеет место важная интегральная теорема Коши: для любой функции f(z){displaystyle f(z)}

$f(z)$ , аналитической в односвязной области A⊂C{displaystyle Asubset mathbb {C} } $Asubset mathbb{C}$ и для любого замкнутого контура γ⊂A{displaystyle gamma subset A} $gamma subset A$ справедливо соотношение:

∮γf(z)dz=0{displaystyle oint limits _{gamma }!f(z),dz=0}

oint limits _{gamma }!f(z),dz=0

Следствие: пусть функция f(z){displaystyle f(z)}

$f(z)$ , аналитична в односвязной области A⊂C{displaystyle Asubset mathbb {C} } $Asubset mathbb{C}$ , а точки z1,z2{displaystyle z_{1},z_{2}} $z_{1},z_{2}$ из области A{displaystyle A} $A$ соединены некоторой кривой γ{displaystyle gamma } $gamma$ . Тогда интеграл ∫γf(z)dz{displaystyle int limits _{gamma }!f(z),dz} $int limits _{gamma }!f(z),dz$ зависит только от точек z1,z2{displaystyle z_{1},z_{2}} $z_{1},z_{2}$ , но не от выбора соединяющей их кривой γ{displaystyle gamma } $gamma$ , так что можно обозначить его ∫z1z2f(z)dz{displaystyle int limits _{z_{1}}^{z_{2}}{f(z),dz}} $int limits _{{z_{1}}}^{{z_{2}}}{f(z),dz}$ , и имеет место теорема Ньютона — Лейбница:

∫z1z2f(z)dz=F(z2)−F(z1),{displaystyle int limits _{z_{1}}^{z_{2}}{f(z),dz}=F(z_{2})-F(z_{1}),}

int limits _{{z_{1}}}^{{z_{2}}}{f(z),dz}=F(z_{2})-F(z_{1}),

где F(z) — первообразная для f(z){displaystyle f(z)}

$f(z)$ .

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

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

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

Нулём функции f(z){displaystyle f(z)}

$f(z)$ называется точка z0{displaystyle z_{0}} $z_{0}$ , в которой функция обращается в ноль: f(z0)=0{displaystyle f(z_{0})=0} $f(z_{0})=0$ .

Теорема о нулях аналитической функции. Если нули функции f(z){displaystyle f(z)}

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

Следствие: если функция f(z){displaystyle f(z)}

$f(z)$ аналитическая в области D{displaystyle D} $D$ и не равна тождественно нулю, то в любой ограниченной замкнутой подобласти C⊂D{displaystyle Csubset D} $Csubset D$ у неё может быть лишь конечное число нулей.

Теорема единственности аналитической функции. Пусть {zn}{displaystyle {z_{n}}}

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

В частности, если две аналитические функции совпадают на некоторой кусочно-гладкой кривой в D{displaystyle D}

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

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

sin2⁡z+cos2⁡z=1;eu⋅ev=eu+v{displaystyle sin ^{2}z+cos ^{2}z=1;qquad e^{u}cdot e^{v}=e^{u+v}}

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

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

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

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

Всякая дифференцируемая в точке z0{displaystyle z_{0}}

$z_{0}$ функция разлагается в окрестности этой точки в степенной ряд Тейлора:

f(z)=∑n=0∞an(z−z0)n{displaystyle f(z)=sum _{n=0}^{infty }a_{n}(z-z_{0})^{n}}

f(z)=sum _{{n=0}}^{infty }a_{n}(z-z_{0})^{n}

Коэффициенты ряда вычисляются по обычным формулам. Этот ряд сходится к функции f(z){displaystyle f(z)}

$f(z)$ в некотором круге радиуса R{displaystyle R} $R$ с центром в точке z0{displaystyle z_{0}} $z_{0}$ , который служит аналогом интервала сходимости вещественного ряда. В этом круге ряд абсолютно сходится, а вне его расходится. При этом возможны 3 случая.

Ряд сходится в круге конечного и ненулевого радиуса.
Ряд сходится во всей комплексной плоскости, то есть R=∞{displaystyle R=infty } $R=infty$ . Такие функции называются целыми.
Ряд сходится только в точке z0{displaystyle z_{0}} $z_{0}$ . Пример: ∑n=0∞n!(z−z0)n{displaystyle sum _{n=0}^{infty }n!(z-z_{0})^{n}} $sum _{{n=0}}^{infty }n!(z-z_{0})^{n}$ . Такие точки z0{displaystyle z_{0}} $z_{0}$ называются особыми для функции f(z){displaystyle f(z)} $f(z)$ . Неособые точки называются правильными. Внутренность круга сходимости состоит из правильных точек.

Граница круга сходимости содержит хотя бы одну особую точку. Отсюда следует, что радиус круга сходимости в точке z0{displaystyle z_{0}}

$z_{0}$ равен расстоянию от z0{displaystyle z_{0}} $z_{0}$ до ближайшей к ней особой точки.

Теорема Абеля: если R{displaystyle R}

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

Ряд Лорана

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

∑n=−∞∞cn(z−z0)n=∑n=0∞cn(z−z0)n+∑n=1∞c−n(z−z0)n{displaystyle 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}}}}

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−z0|<R{displaystyle ~r<|z-z_{0}|<R}

$~r<|z-z_{0}|<R$ .

Основная теорема: если функция f(z){displaystyle f(z)}

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

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

$z_{0}$ .

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

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

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

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

f(x)=11+x2{displaystyle f(x)={frac {1}{1+x^{2}}}}

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

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

11+x2=1−x2+x4−x6+…{displaystyle {frac {1}{1+x^{2}}}=1-x^{2}+x^{4}-x^{6}+ldots }

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

Этот ряд сходится только в интервале (−1;1){displaystyle (-1;;1)}

$(-1;;1)$ , хотя точки ±1{displaystyle pm 1} $pm 1$ не являются какими-то особенными для f(x){displaystyle f(x)} $f(x)$ .

Положение проясняется при переходе к функции комплексного переменного f(z)=11+z2{displaystyle f(z)={frac {1}{1+z^{2}}}}

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

История

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

См. также

Примечания

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