Евсеев

Теория функций комплексного
переменного
Н. А. Евсеев
29 декабря 2017 г.
Аннотация
Это записки лекций по курсу ТФКП прочитанному
в осеннем семестре для второго курса физического фа-
культета НГУ. В тексте возможны небольшие исправле-
ния и добавления (особенно в последних лекциях), ак-
туальная версия: www.phys.nsu.ru/evseev/tfkp2017/pdf/
lectures2017.pdf
Вопросы, замечания и предложения можно оправлять
на почту nikita2.evseev@gmail.com
1
Содержание
1 Комплексные функции 6
1.1 Комплексные числа . . . . . . . . . . . . . . . . . . 6
1.2 Полярные координаты . . . . . . . . . . . . . . . . 6
1.2.1 Бесконечно удалённая точка . . . . . . . . . 8
1.3 Топология комплексной плоскости . . . . . . . . . 9
1.4 Функции комплексного переменного . . . . . . . . 11
1.4.1 Многозначные функции . . . . . . . . . . . 12
1.5 Комплексная производная . . . . . . . . . . . . . . 12
1.5.1 Необходимые и достаточные условия суще-
ствования комплексной производной . . . . 14
1.6 Комплексная экспонента . . . . . . . . . . . . . . . 15
2 Комплексный интеграл 18
2.1 Интеграл по длине . . . . . . . . . . . . . . . . . . 20
2.1.1 Оценка интеграла . . . . . . . . . . . . . . . 21
2.2 Теорема Коши . . . . . . . . . . . . . . . . . . . . . 22
2.3 Интегральная формула Коши . . . . . . . . . . . . 24
2.4 Интеграл типа Коши . . . . . . . . . . . . . . . . . 26
3 Следствия теоремы Коши 28

3.1 Гармонические функции . . . . . . . . . . . . . . . 28
3.2 Первообразная . . . . . . . . . . . . . . . . . . . . . 29
3.3 Теорема о среднем . . . . . . . . . . . . . . . . . . . 32
3.4 Принцип максимума модуля . . . . . . . . . . . . . 32
4 Ряды аналитических функций 37

4.1 Функциональные последовательности . . . . . . . 37
4.2 Функциональные ряды . . . . . . . . . . . . . . . . 39
4.3 Степенные ряды . . . . . . . . . . . . . . . . . . . . 40
4.3.1 Аналитичность степенного ряда . . . . . . . 42
4.4 Ряд Тейлора . . . . . . . . . . . . . . . . . . . . . . 44
4.5 Классификация нулей . . . . . . . . . . . . . . . . 47
2
5 Ряд Лорана и Сингулярности 50
5.1 Ряд Лорана . . . . . . . . . . . . . . . . . . . . . . . 50
5.2 Ряд Лорана в бесконечно удалённой точке . . . . 55
5.3 Связь с рядом Фурье . . . . . . . . . . . . . . . . . 56
5.4 Изолированные особые точки . . . . . . . . . . . . 57
5.4.1 Изображения функций . . . . . . . . . . . . 62
6 Элементы теории вычетов 65

6.1 Вычисление вычетов . . . . . . . . . . . . . . . . . 68
6.2 Вычет в бесконечно удалённой точке . . . . . . . . 70
7 Вычисление интегралов - 1 72
7.1 Тригонометрические интегралы . . . . . . . . . . . 72
7.2 Стационарное уравнение теплопроводности . . . . 73
7.2.1 Суммирование по Абелю и ряд Фурье . . . 73
7.2.2 Решение задачи Дирихле в D . . . . . . . . 74
8.1 Преобразование Фурье . . . . . . . . . . . . . . . . 75
8.1.1 Рациональный случай . . . . . . . . . . . . 76
8.1.2 Вывод общей формулы . . . . . . . . . . . . 80
9.1 Рациональные интегралы . . . . . . . . . . . . . . 82
9.2 Комплексный логарифм . . . . . . . . . . . . . . . 85
9.3 Интегралы со степенным весом . . . . . . . . . . . 87
9.4 Интегралы с логарифмическим весом . . . . . . . 90
10 Преобразование Лапласа 94
10.1 Функции ограниченного роста (оригинал) . . . . . 94
10.2 Преобразование Лапласа . . . . . . . . . . . . . . . 94
10.3 Аналитичность изображения . . . . . . . . . . . . 95
10.4 Обратное преобразование Лапласа . . . . . . . . . 96
10.5 Теоремы разложения . . . . . . . . . . . . . . . . . 97
3
11 Принцип аргумента и теорема Руше 99
11.1 Логарифмическая производная . . . . . . . . . . . 99
12 Конформные отображения 104
13 Дробно-линейные функции 105
14 Γ-функция 106
14.1 Асимптотика Γ(z) при |z| → ∞ . . . . . . . . . . . 108
15 Асимптотика интегралов Лапласа 109

15.1 Случай стационарной точки . . . . . . . . . . . . . 109
16 Асимптотика интегралов Фурье 111

16.1 Случай стационарной точки . . . . . . . . . . . . . 111
4
Предисловие
Рекомендуемые источники:
• Романов А. С. Теория функций комплексного переменно-

го. Записки лектора. http://www.phys.nsu.ru/ok03/doc/
Tfkp_Romanov_FF_NGU_2007_86s.pdf, 2007.
• Романов А. С. Элементарные асимптотические методы.
http://www.phys.nsu.ru/ok03/doc/Elementary_asymptotic_
methods_Romanov_FF_NGU_2003_57s.pdf, 2003.
• Березин А. Ю., Романов А. С. Теория функций комплекс-
ного переменного. http://www.phys.nsu.ru/ok03/doc/TFKP_
Berezin_Romanov.pdf, 2015.
• Лавреньтьев М. А., Шабат Б. В. Методы теории функций

комплексного переменного. М.: Наука, 1987.
• Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka.
A first course in complex analysis. http://math.sfsu.edu/
beck/papers/complex.pdf
5
1 Комплексные функции
1.1 Комплексные числа
Напомним, что комплексные числа можно определить как мно-
жество упорядоченных пар вещественных чисел
C = {(x, y) : x, y ∈ R}, z = x + iy,
где i — мнимая единица (i2 = −1). Действительная часть Re z =

x, мнимая часть Im z = y.
Множество C снабжено операцией сложения
z1 + z2 = (x1 + x2 ) + i(y1 + y2 )
и операцией умножения
z1 · z2 = (x1 x2 − y1 y2 ) + i(x1 y2 + y1 x2 ).
Для каждого числа z ∈ C существует противоположное по

сложению число −z такое, что z + (−z) = 0. Для каждого числа
1
z 6= 0 существует обратное по умножению число такое, что
z
1
z · = 1. Имеет место формула
z
1 x y
= 2 −i 2 .
z x + y2 x + y2
p
Модуль числа z = x + iy определяется как |z| = x2 + y 2 .
Число z̄ = x − iy называется сопряжённым числом.
1.2 Полярные координаты

Каждому комплексному числу z = x + iy взаимно однознач-
но сопоставлен вектор на плоскости с координатами (x, y). Лю-
бой двумерный вектор полностью определяется своей длиной
6
p
ρ = x2 + y 2 и углом ϕ с положительным направлением оси Ox:
x = ρ cos ϕ, y = ρ sin ϕ.
z = x + iy
y
ϕ
O x
Отсюда выводим тригонометрическую запись комплексного

числа
z = ρ(cos ϕ + i sin ϕ). (1.1)
Определим аргумент комплексного числа Arg z как такой
угол ϕ, что выполнено равенство (1.1). Заметим, что также Arg z =
ϕ + 2πk, т. е. аргумент определён неоднозначно. В общем виде
аргумент можно записать как
Arg z = arg z + 2πk, где k ∈ Z,
где 0 6 arg z < 2π — главное значение аргумента. В свою

очередь, главное значение аргумента комплексного числа опре-
делено однозначно (и принимает значения в промежутке [0, 2π)).
Пусть z1 = ρ1 (cos ϕ1 + i sin ϕ1 ), а z2 = ρ2 (cos ϕ2 + i sin ϕ2 ) —
два комплексных числа, тогда несложно проверить, что
z1 · z2 = ρ1 · ρ2 (cos(ϕ1 + ϕ2 ) + i sin(ϕ1 + ϕ2 )). (1.2)
7
Другими словами, модуль произведения двух комплексных чи-
сел равен произведению модулей этих чисел, сумма аргументов
сомножителей является аргументом произведения.
Задача 1. Вывести формулу произведения (1.2).
Для любого целого числа k верно
z k = ρk (cos kϕ + i sin kϕ). (1.3)
При ρ = 1 из выражения (1.3) выводится формула Муавра
(cos ϕ + i sin ϕ)k = cos kϕ + i sin kϕ. (1.4)

Эту формулу можно использовать для нахождения синусов и
косинусов кратных углов.
Также напомним, что
√ » arg z + 2πk arg z + 2πk
n
z = n |z|(cos +i sin ), k = 0, 1 . . . , n−1.
n n
1.2.1 Бесконечно удалённая точка

Введём понятие расширенной комплексной плоскости, состоя-
щей из обычной комплексной плоскости и единственного беско-
нечно удалённого элемента — бесконечно удалённой точки
z = ∞. Аргумент комплексного числа ∞ не определён, так же
как и его действительная и мнимая части.
Для комплексного числа ∞ полагают следующие алгебраи-
ческие свойства:
1 1
= 0; = ∞;
∞ 0
z + ∞ = ∞, z − ∞ = ∞;
z · ∞ = ∞, при z 6= 0;
z
= 0, при z 6= ∞, а операции
∞
∞
∞ + ∞, 0 · ∞, − лишены смысла.
∞
8
Геометрический смысл ∞ можно увидеть при представлении рас-
ширенной комплексной плоскости сферой Римана.
1.3 Топология комплексной плоскости

Топология комплексной плоскости C ничем не отличается от то-
пологии R2 . Напомним понятия, которые потребуются в данном
курсе.
Множество B(a, r) называют окрестностью точки a (или
r-окрестностью). Однако r-окрестностью бесконечно удалённой
точки называют множество C \ B(a, r), то есть внешность круга.
Пусть E ⊂ C.
1. Точка a называется внутренней точкой множества E, если
найдётся окрестность B(a, r) ⊂ E.
2. Точка b называется граничной точкой множества E, если
всякая окрестность B(b, r) содержит точки из E и из C \ E.
3. Точка c называется предельной точкой множества E, если
всякая окрестность B(c, r) содержит точки из E, отличные от c.
4. Точка d называется изолированной точкой множества E,
если d ∈ E и найдётся окрестность B(d, r), которая не содержит
других точек из E.
Множество E ⊂ C называется открытым, если все его точ-
9
ки внутренние. Множество E ⊂ C называется замкнутым, ес-
ли оно содержит все свои граничные точки.
Пример 1.1. Пусть R > 0 и z0 ∈ C, тогда множества {z ∈ C :
|z − z0 | < R} и {z ∈ C : |z − z0 | > R} открыты, в то время как
множество {z ∈ C : |z − z0 | ≤ R} — замкнуто.
Пример 1.2. C и пустое множество ∅ — открытые множества
(и в то же время замкнутые).
Множество всех граничных точек множества E называется
границей и обозначается ∂E.
Множество всех внутренних точек множества E называется
внутренностью и обозначается int E.
Объединение множества и его границы ∂E ∪ E называется
замыканием и обозначается E.
Открытое множества Ω ⊂ C называется связным, если лю-
бые две его точки можно соединить ломаной, целиком лежащей
в данном множестве.
Рис. 2: Не связное множество

Рис. 1: Связное множество (две компоненты)
Область — это открытое связное множество.
Число компонент границы данной области называется поряд-
ком связности этой области. Далее рассматриваются только об-
10
ласти с конечным порядком связности, иными словами, конеч-
носвязные области.
Рис. 4: Конечносвязная область

Рис. 3: Односвязная область
(4-связная)
1.4 Функции комплексного переменного

Если каждому числу z из некоторого множества E ⊂ C постав-
лены в соответствие одно или несколько комплексных чисел w,
то говорят, что на множестве E задана функция f (z) = w ком-
плексного переменного.
Пример 1.3.√f (z) = z, f (z) = z n , f (z) = |z|, f (z) = z̄, f (z) =
arg z, f (z) = n z и т. п.
Любая комплексная функция может быть записана в виде
f (z) = u(z) + iv(z) или f (x + iy) = u(x, y) + iv(x, y),
где u(x, y), v(x, y) — действительнозначные функции.

Пример 1.4.
f (z) = z 2 = x2 − y 2 + i2xy.
11
1.4.1 Многозначные функции
Как
√ видим не все функции являются однозначными. Так f (z) =
n
z в каждой точке z 6= 0 принимает
√ n значений.
√ √ Многознач-
ность иногда не удобна, например, n z + n z 6= 2 n z. В некото-
рых случаях удаётся выделить однозначную ветвь многозначной
функции.
1.5 Комплексная производная

Пусть Ω ⊂ C — открытое множество и z0 ∈ Ω. Функция f : Ω →
C называется дифференцируемой в точке z0 , если существу-
ет предел
f (z) − f (z0 )
lim = f 0 (z0 ). (1.5)
z→z0 z − z0
Эквивалентное определение дифференцируемости в точке z0 : су-
ществует константа λ ∈ C такая, что
f (z) = f (z0 ) + λ(z − z0 ) + o(|z − z0 |).
Задача 2. 1. Функция f (z) = z нигде не дифференцируема.
2. Функция f (z) = z 2 дифференцируема при z0 = 0 и не диф-
ференцируема при z0 6= 0.
Сравним понятие комплексной производной с дифференци-

руемостью отображения f : R2 → R2 . Отображение f : R2 → R2
дифференцируемо в точке (x0 , y0 ) если существует токае линей-
ное преобразование Df , что
»
f (x, y) = f (x0 , y0 ) + Df (x − x0 , y − y0 ) + o( (x − x0 )2 + (y − y0 )2 ),
при этом ï 0
u0y
ò
ux
Df = .
vx0 vy0
Оказывается дифференцируемость отображения f не влечёт су-
ществование комплексной производной.
12
1.5.1 Необходимые и достаточные условия существова-
ния комплексной производной
Теорема 1.5. Пусть Ω ⊂ C — открытое множество и z0 ∈ Ω.
Функция f : Ω → C дифференцируема в точке z0 = x0 + iy0
тогда и только тогда, когда 1) функции u, v дифференцируемы
в точке (x0 , y0 ) и 2) выполнены равенства
∂u ∂v ∂u ∂v
= , =− . (1.6)
∂x ∂y ∂y ∂x
Доказательство. Пусть функция f дифференцируема в точке
z0 , обозначим f 0 (z0 ) = λ = a + ib, тогда
f (z) = f (z0 ) + λ(z − z0 ) + o(|z − z0 |).
Выделяя действительную и мнимую части в последнем неравен-

стве, получаем
»
u(x, y) = u(x0 , y0 )+a(x−x0 )−b(y−y0 )+o( (x − x0 )2 + (y − y0 )2 )
и
»
v(x, y) = v(x0 , y0 )+b(x−x0 )+a(y−y0 )+o( (x − x0 )2 + (y − y0 )2 ).
Эти равенства означают, что функции u, v дифференцируемы в

точке (x0 , y0 ) и
u0x (x0 , y0 ) = a, u0y (x0 , y0 ) = −b,
vx0 (x0 , y0 ) = b, vy0 (x0 , y0 ) = a.

Таким образом необходимость доказана.
Докажем достаточность. Пусть функции u и v дифференци-
руемы в точке (x0 , y0 ) и выполняются равенства (1.6). Тогда
»
u(x, y) = u(x0 , y0 )+u0x (x−x0 )+u0y (y−y0 )+o( (x − x0 )2 + (y − y0 )2 )
13
и
»
v(x, y) = v(x0 , y0 )−u0y (x−x0 )+u0x (y−y0 )+o( (x − x0 )2 + (y − y0 )2 ).
Из этих равенств получаем
f (z) = f (z0 )+u0x (x−x0 )+u0y (y−y0 )+i(−u0y (x−x0 )+u0x (y−y0 ))+o(|z−z0 |) =
= f (z0 ) + (u0x − iu0y )(z − z0 ) + o(|z − z0 |).
Следовательно функция f дифференцируема в точке z0 и зна-

чение производной f 0 (z0 ) = u0x (x0 , y0 ) − iu0y (x0 , y0 ).
Следствие 1.6. Если функция f (z) = u(x, y) + iv(x, y) диффе-
ренцируема в точке z0 , то значение производной можно вычис-
лять следующими способами
f 0 = u0x + ivx0 , f 0 = u0x − iu0y , f 0 = vy0 − iu0y , f 0 = vy0 + ivx0 .
1.6 Комплексная экспонента

Определим функцию exp(z) как решение решение задачи Коши
®
f 0 (z) = f (z),
(1.7)
f (0) = 1.
Это неявное определение комплексной экспоненты и не совсем

ясно как вычислить конкретное значение функции, например
exp(i). В следующей теореме мы докажем корректность опре-
деления и найдём явное выражение для функции exp(z).
Теорема 1.7. 1) Существует и единственно решение зада-

чи (1.7).
2) exp(z) = ex (cos y + i sin y).
Доказательство. По следствию 1.6 f (z) = u0x + ivx0 . Поэтому
из 1.7 получаем две задачи на действительную и мнимую части
14
функции:
® ®
u0x (x, y) = u(x, y), vx0 (x, y) = v(x, y),
u(0, 0) = 1. v(0, 0) = 0.
Решения этих задач имеют вид
u(x, y) = λ(y)ex v(x, y) = µ(y)ex , (1.8)
где λ, µ — такие функции, что λ(0) = 1, µ(0) = 0.
По следствию 1.6 также верно, что f (z) = vy0 − iu0y , а из 1.7
следует, что u0y = −v, vy0 = u. Из равенств (1.8) получаем
λ0 (y) = −µ(y) µ0 (y) = λ(y).
Заметим, что функции λ, µ удовлетворяют уравнению1 ψ 00 + ψ =
0, общее решение которого, имеет вид
C1 cos y + C2 sin y.
Используя начальные данные, получаем
λ(y) = cos y, µ(y) = sin y.
Следствие 1.8. Комплексная экспонента обладает следующи-

ми свойствами.
1) eiϕ = cos ϕ + i sin ϕ — формула Эйлера.
2) exp(z + 2πik) = exp(z) периодичность экспоненты.
3) exp(z + w) = exp(z) · exp(w) для всех z, w ∈ C.
Задача 3. Доказать, что
∞
X zn
exp(z) = .
n=0
n!
1 уравнение гармонического осциллятора
15
2 Комплексный интеграл
В этой части курса нам потребуется следующее утверждение
Теорема 2.1 (формула Грина). Пусть γ — ориентированная

кусочно-гладкая замкнутая кривая без самопересечений и пусть
Ω — ограниченная область с границей ∂Ω = γ. Если функции
u(x, y), v(x, y) дифференцируемы и имеют непрерывные частные
производные на Ω, тогда
∂v ∂u
Z ZZ Å ã
u(x, y) dx + v(x, y) dy = − dxdy. (2.1)
∂x ∂y
γ Ω
На комплексной плоскости можно определить несколько раз-

личных интегралов. Начнём с самого распространенного. Пусть
γ ⊂ C — спрямляемая кривая и f (z) — функция определённая
на этой кривой. Выберем разбиение этой кривой {z0 , z1 , . . . , zN }
и составим интегральную сумму
N
X −1
f (zk∗ ) · (zk+1 − zk ), (2.2)
k=0
где точка zk принадлежит кривой и находится между zk , zk+1 .

Если при стремлении диаметра разбиения к нулю последователь-
ность сумм (2.2) сходится, то определен интеграл от функции
f (z) по кривой γ: Z
f (z) dz.
γ
Обратите внимание, что это понятие совпадает с криволиней-

ным интегралом второго рода на плоскости.
Мы будем использовать следующее определение. Пусть γ —
ориентированная кусочно-гладкая кривая, γ(t) : [a, b] → C такая,
что γ 0 (t) 6= 0. Интеграл от непрерывной функции f : γ → C вдоль
16
кривой γ определяется равенством
Z Zb
f (z) dz = f (γ(t))γ 0 (t) dt. (2.3)
γ a
Приведём основные свойства интеграла:

Z Z Z
(αf + βg) dz = α f dz + β g dz линейность,
γ γ γ
Z Z Z
f dz = f dz + f dz аддитивность,
γ γ1 γ2
Z Z
f dz = − f dz зависимость от ориентации.
γ− γ

®
1 1, n = −1,
Z
n
(z − z0 ) dz =
2πi 0, n =
6 −1,
|z−z0 |=R
считая, что n ∈ Z, а окружность |z − z0 | = R ориентирована

против хода часовой стрелки.
Полезно помнить, что

1 dz
Z
= 1. (2.4)
2πi z − z0
|z−z0 |=R
2.1 Интеграл по длине

Вместо интегральной суммы (2.2) рассмотрим сумму
N
X −1
f (zk∗ ) · |zk+1 − zk |.
k=0
17
Это приведёт нас к понятию интеграла
Z Z

f (z) |dz| f (z) dl ,
γ γ
p
где dl = |dz| = dx2 + dy 2 – элемент длины кривой γ. В свою
очередь это понятие соответствует криволинейному интегралу
первого рода.
Пусть γ — кусочно-гладкая кривая, γ(t) : [a, b] → C такая, что
γ 0 (t) 6= 0. Интеграл по длине от непрерывной функции f : γ → C
вдоль кривой γ можно определить равенством
Z Zb
f (z) dz = f (γ(t))|γ 0 (t)| dt.
γ a
2.1.1 Оценка интеграла

Следующее утверждение описывает связь введёных выше инте-
гралов.
Лемма 2.2 (M L-оценка). Для всякой непрерывной на кривой γ
функции f выполняются неравенства
Z Z
f (z) dz ≤ |f (z)| |dz| ≤ max |f (z)| · l(γ). (2.5)

z∈γ
γ γ
Доказательство. Обозначим
Z
I = f (z) dz.
γ
Воспользуемся показательной R формой записи комплексных чи-

сел: I = |I|eiϕ , где ϕ = arg f (z) dz. Тогда
γ
Z Zb
−iϕ
|I| = e f (z)d z = e−iϕ f (z(t))z 0 (t) dt.
γ a
18
Поскольку последний интеграл является действительным чис-
лом, то
Zb Zb
−iϕ 0
|I| = Re(e f (z(t))z (t)) dt ≤ |f (z(t))| |z 0 (t))| dt =
a a
Z Z
= |f (z)| |dz| ≤ max |f (z)| · |dz| = max |f (z)| · l(γ).
z∈γ z∈γ
γ γ
2.2 Интегральная теорема Коши

Мы подошли к одной из самых значимых теорем комплексного
анализа.
Теорема 2.3 (Интегральная теорема Коши). Пусть Ω ⊂ C —
ограниченная односвязная область с кусочно-гладкой ориенти-
рованной границей γ, функция f является аналитической в об-
ласти Ω и непрерывной в замыкании Ω. Тогда
Z
f (z) dz = 0.
γ
Теорему можно доказывать следующим образом.

Имеем γ(t) = x(t) + iy(t) и f (z) = u(x, y) + iv(x, y).
Z Zb
f (z) dz = f (γ(t))γ 0 (t) dt =
γ a
Zb Zb
0 0
= (ux − vy ) dt + i (vx0 + uy 0 ) dt =
a a
Z Z
= u dx − v dy + i v dx + u dy.
γ γ
19
Воспользуемся формулой Грина (2.1)
Z Z Z
f (z)d z = u dx − v dy + i v dx + u dy =
γ γ γ
∂v ∂u ∂u ∂v
ZZ ZZ
= − − dx dy + i − dx dy = 0.
∂x ∂y ∂x ∂y
Ω Ω
Равенство нулю двойных интегралов является следствием усло-

вий Коши-Римана. 4
Замечание 2.4. Теорема 2.3 верна и для конечносвязных обла-

стей.
Доказательство. Граница γ состоит из n связных компонент
γ0 , γ1 , . . . , γn−1 . Проведем непересекающиеся гладкие разрезы lk , k =
1, . . . , ln−1 , соединяющие компоненту границы γ0 с компонентой
n−1
γk соответственно. Тогда область Ω∗ = Ω \ lk будет односвяз-
S
k=1
ной, и, следовательно, выполнены условия теоремы 2.3. Исход-
ная ориентация границы области Ω естественным образом опре-
деляет ориентацию разрезов lk , проходимых дважды, и которые
следует понимать как объединение двух различных кривых lk+ и
lk− , совпадающих как множества точек комплексной плоскости,
но имеющих противоположные ориентации.
Пусть γ ∗ — ориентированная граница односвязной области
∗
Ω , тогда
n−1
[ n−1 [
γ∗ = γ ∪ lk+ ∪ lk− .
k=1 k=1
Учитывая аддитивность интеграла и равенство

Z Z
f (z) dz + f (z) dz = 0,
l+ l−
20
получаем
Z Z n−1
XZ n−1
XZ
f (z) dz = f (z) dz + f (z) dz + f (z) dz =
γ γ k=1 + k=1 −
γk γk
Z
= f (z) dz = 0.
γ∗
2.3 Интегральная формула Коши

Теорема 2.5 (Интегральная формула Коши). Пусть Ω — огра-
ниченная конечносвязная область с ориентированной в поло-
жительном направлении кусочно-гладкой границей γ, функция
f является аналитической в области Ω и непрерывной в Ω. То-
гда для произвольной точки z ∈ Ω
1 f (w)d w
Z
f (z) = . (2.6)
2πi w−z
γ
Доказательство. 1. Пусть точка z ∈ Ω и d = dist(z, γ). Посколь-

ку функция f непрерывна в точке z, то, по определению непре-
рывности, для любого ε > 0 существует такое δ > 0, что из
выполнения неравенства |w − z| < δ следует выполнение нера-
венства |f (w) − f (z)| < ε.
2. Пусть r < min(d, δ). Рассмотрим круг B(z, r), ориентиро-
ванную против хода часовой стрелки окружность Cr = {w ∈ C |
|w − z| = r} и обозначим через Cr− окружность с противополож-
ной ориентацией.
f (w)
3. Функция w − z является аналитической по переменной w
в области Ω∗ = Ω \ B(z, r), и по интегральной теореме Коши
f (w)d w f (w)d w f (w)d w
Z Z Z
= + =0
w−z w−z w−z
∂Ω∗ γ Cr−
21
или
f (w)d w f (w)d w
Z Z
= .
w−z w−z
γ Cr
4. Учитывая,что
1 dw
Z
= 1,
2πi w−z
Cr
получаем
1 f (w)d w 1 f (z)d w 1 f (w)d w

Z Z Z
f (z) − = − ≤

2πi w−z 2πi w−z 2πi w−z
γ Cr Cr
1 |f (z) − f (w)| |d w| 1 ε
Z
≤ ≤ 2πr = ε.
2π |w − z| 2π r
Cr
5. Из произвольности выбора числа ε следует, что
1 f (w)d w
Z
f (z) = .
2πi w−z
γ
Если выполнены условия теоремы и z ∈ C \ D, то функция

f (w)
w − z оказывается аналитической по переменной w в области D
и, учитывая интегральную теорему Коши, получаем

f (z), z ∈ D;
1 f (w)d t 
Z
=
2πi w−z
0, z ∈ C \ D.

Γ
22
2.4 Интеграл типа Коши
Пусть Γ ⊂ C – ориентированная кусочно-гладкая кривая, f —
определённая на кривой Γ непрерывная функция. Для любой
f (t)
точки z ∈ C \ Γ функция t − z непрерывна по переменной t на
кривой Γ. Поэтому существует интеграл
1 f (t) dt
Z
F (z) = , (2.7)
2πi t−z
Γ
называемый интегралом типа Коши и являющийся одно-

значной функцией переменного z.
Теорема 2.6. Пусть Γ ⊂ C – ориентированная кусочно-гладкая
кривая, функция f непрерывна на Γ. Тогда интеграл типа Ко-
ши, определяемый равенством (2.7), является аналитической
функцией в области C \ Γ. Более того, функция F (z) бесконеч-
но дифференцируема и при этом
n! f (t) dt
Z
(n)
F (z) = , n ∈ N.
2πi (t − z)n+1
Γ
Доказательство. Ограничимся вычислением первой производ-

ной (т. е. F 0 (z)). Фиксируем произвольную точку z ∈ C \ Γ и
пусть 2d = dist(z, Γ), а |∆z| < d. Тогда для любого t ∈ Γ выпол-
няются неравенства |t − z| > d и |t − z − ∆z| > d.
Оценим разность
F (z + ∆z) − F (z) 1
Z
f (t) dt
− =

∆z 2πi (t − z)2

Γ
1 ∆zf (t) dt |∆z|LM

Z
= ≤ ,

2π (t − z)2 (t − z − ∆z) 2πd3

Γ
где L – длина кривой Γ, а M – максимум модуля функции f (t)

на кривой Γ (см. лемму 2.2).
23
Таким образом,
F (z + ∆z) 1 f (t) dt
Z
0
F (z) = lim = .
∆z→0 ∆z 2πi (t − z)2
Γ
24
3 Следствия теоремы Коши
Дифференцируемость интегралов типа Коши позволяет полу-
чить важное следствие:
Теорема 3.1. Дифференцируемая в области Ω ⊂ C функция
f (z) является бесконечно дифференцируемой в каждой точке
области Ω.
Доказательство. Действительно, пусть точка z0 — произволь-
ная точка области Ω и r < dist(z0 , ∂Ω). Тогда в круге B(z0 , r)
функция f (z) представима интегралом Коши
1 f (t) dt
Z
f (z) =
2πi t−z
|t−z0 |=r
и, следовательно, является бесконечно дифференцируемой.
3.1 Гармонические функции

Пусть функция f = u + iv является аналитической в области Ω,
следовательно, выполняются условия Коши-Римана
∂u ∂v ∂u ∂v
= , =− .
∂x ∂y ∂y ∂x
Дифференцируя первое равенство по переменной x, второе
равенство по переменной y, складывая и используя равенство
∂2v ∂2v
смешанных производных ( ∂x∂y = ∂y∂x ), получаем
∂2u ∂2u
∆u = + 2 = 0.
∂x2 ∂y
2 2
Дифференциальный оператор ∆ = ∂ 2 + ∂ 2 называется опе-
∂x ∂y
ратором Лапласа.
25
Дважды непрерывно дифференцируемая функция u = u(x, y)
называется гармонической в области Ω ⊂ C,2 если
∂2u ∂2u
∆u = + 2 =0 всюду в области Ω.
∂x2 ∂y
Задача 5. Гармоническая функция бесконечно дифференцируе-
ма.
Решение. Следует из бесконечной дифференцируемости анали-
тической функции. 4
3.2 Первообразная
Дифференцируемая в области Ω функция F (z) называется пер-
вообразной функции f (z), если F 0 (z) = f (z) для всех z ∈ Ω.
Задача 6. Если f — аналитическая в области Ω функция, то
в качестве первообразной можно взять
Z Zz
F (z) = f (w) dw = f (w) dw,
γ z0
где γ ⊂ Ω кусочно-гладкая кривая, соединяющая z0 и z.
Заметим, что если F (z) первообразная функции f (z), то F (z)+

const также первообразная.
Следующее утверждение является обратным к интегральной
теореме Коши.
Теорема 3.2 (Теорема Морера). Если функция f (z) непрерыв-
на в односвязной области Ω ⊂ C и вдоль любого замкнутого
2 Приведём 1
примеры гармонических функций: ex cos y, x2 − y 2 , 2
ln(x2 +
y 2 ).
26
кусочно-гладкого контура γ ⊂ Ω
I
f (z) dz = 0,
γ
то функция f (z) является голоморфной в области Ω.

Доказательство. Выше было показано, что
Zz
F (z) = f (t) dt, (3.1)
z0
где z0 и z — произвольные точки области Ω, а интеграл бе-

рётся по любому пути, соединяющему эти точки в области D,
является дифференцируемой в этой области функцией, причём
F 0 (z) = f (z). Производная аналитической функции также явля-
ется аналитической функцией (см. лемму 3.1), то есть существу-
ет непрерывная производная функции F 0 (z), а именно функция
F 00 (z) = f 0 (z), что и доказывает теорему.
Задача 7. Выяснить, какая из приведённых ниже функций яв-
ляется аналитической.
Z∞ Z∞
−(t−z)2 2
F (z) = e dt, G(z) = e−|t−z| dt.
−∞ −∞
2
Решение. 1) Функция e−(t−z) аналитична (по z). Интеграл F (z)
сходится равномерно, поэтому можно менять порядок интегри-
рования. Следовательно F (z) — аналитическая.
2) Функция G(z) принимает только действительные значе-
ния, поэтому G(z) не может быть аналитической. 4
Теорема 3.3 (Теорема Лиувилля). Пусть на всей комплексной
плоскости функция f (z) является аналитической, а её модуль
ограничен. Тогда эта функция тождественно равна постоян-
ной f (z) ≡ const .
27
Доказательство. Запишем значение производной f 0 (z) в произ-
вольной точке z по формуле :
1 f (w)
Z
0
f (z) = dw,
2πi (w − z)2
|w−z|=R
По условию теоремы существует такая константа M , что |f (w)| ≤

M независимо от R. Поэтому
1 |f (w)| M
Z
0
|f (z)| ≤ dw ≤ .
2π (w − z)2 R
|w−z|=R
Так как радиус R можно выбрать сколь угодно большим, а f 0 (z)

не зависит от R, то |f 0 (z)| = 0. В силу произвольности выбора
точки z заключаем, что |f 0 (z)| ≡ 0 на всей комплексной плоско-
сти. Отсюда следует, что f (z) ≡ const.
3.3 Теорема о среднем

Теорема 3.4 (Теорема о среднем). Если функция f (z) являет-
ся аналитической в круге B(z0 , r) и непрерывной в замкнутом
круге B(z0 , r), то ее значение в центре круга равно среднему
значению функции на граничной окружности, то есть
Z2π
1 1
Z
f (z0 ) = f (z)|dz| = f (z0 + reiϕ )dϕ.
2πr 2π
|z−z0 |=r 0
Доказательство. Используя интегральную формулу Коши (2.6)

и параметризуя окружность z = z0 + reiϕ , получаем
28
1 f (z)dz
Z
f (z0 ) = =
2πi z − z0
|z−z0 |=r
Z2π
1 1
Z
iϕ
= f (z0 + re )dϕ = f (z) |dz|.
2π 2πr
0 |z−z0 |=r
3.4 Принцип максимума модуля

Теорема 3.5 (Принцип максимума модуля). Пусть аналити-
ческая в области Ω ⊂ C функция f (z) отлична от постоянной
и M = sup |f (z)|.
z∈Ω
Тогда |f (z)| < M для произвольной точки z ∈ Ω.3
Доказательство. Если M = +∞, то утверждение теоремы оче-
видно, так как функция f (z) является аналитической и, следо-
вательно, конечной во всей области Ω.
Пусть M < +∞. Доказывать будем от противного: предполо-
жим, что существует такая точка z0 , что |f (z0 )| = M, и покажем,
что в этом случае функция f (z) является постоянной во всей об-
ласти Ω.
Выбирая r < dist(z0 , ∂Ω), используя теорему о среднем 3.4 и
определение числа M , получаем
1 Z2π
M = |f (z0 )| = f (z0 + reiϕ )dϕ ≤

2π
0
3 Иными словами, модуль отличной от постоянной аналитической функ-
ции не может достигать своего максимума ни в одной внутренней точке

области.
29
Z2π
1 1
≤ |f (z0 + reiϕ )|dϕ ≤ M 2π = M,
2π 2π
0
следовательно,
Z2π
1
|f (z0 + reiϕ )|dϕ = M.
2π
0
Поскольку функция f (z) непрерывна и |f (z)| ≤ M, то по-

следнее равенство возможно лишь при |f (z0 + reiϕ )| = M для
любого ϕ ∈ [0, 2π]. Таким образом, |f (z)| ≡ M на окружности
|z − z0 | = r. Так как r < dist(z0 , ∂Ω) выбиралось произвольно, то
|f (z)| ≡ M в любом круге B(z0 , R) ⊂ Ω, R = dist(z0 , ∂Ω).
Пусть z ∗ – произвольная точка области D. Покажем, что
|f (z ∗ )| = M. Соединим точки z ∗ и z0 кривой γ ⊂ D. Учитывая,
что расстояние от кривой γ до границы области положительно,
фиксируем положительное r < dist(γ, ∂D). Тогда для всякого
z ∈ γ замкнутый круг B(z, r) ⊂ D.
Если |z ∗ − z0 | ≤ r, то по уже доказанному |f (z ∗ )| = M.
Пусть |z ∗ − z0 | ≥ r. Так как длина кривой γ конечна, то ее
можно разбить на конечное число последовательных дуг точка-
ми z1 , z2 , . . . , zn = z ∗ , такими, что |zk+1 − zk | ≤ r. Поскольку
z1 ∈ B(z0 , r), то по уже доказанному |f (z1 )| = M. Повторяя
для точки z1 рассуждения, аналогичные ранее использованным
для точки z0 , получаем |f (z)| ≡ M в круге B(z1 , r). Поскольку
z2 ∈ B(z0 , r), то |f (z2 )| = M. Продолжая процесс, мы за конечное
число шагов дойдем до точки zn = z ∗ и получим |f (z ∗ )| = M .
Поскольку точка z ∗ выбиралась произвольным образом, то
модуль функции является постоянным во всей области D. Оста-
лось показать, что и сама функция является постоянной.
Пусть f (z) = u(x, y) + iv(x, y), тогда u2 + v 2 ≡ M 2 . Следова-
тельно,
h ∂u 2 ∂u 2 ∂v 2 ∂v 2 i
0 = ∆(u2 +v 2 ) = 2u∆u+2v∆v+2 + + =
∂x ∂y ∂x ∂y
30
h ∂u 2 ∂u 2 ∂v 2 ∂v 2 i
2 + + + .
∂x ∂y ∂x ∂y
Последнее равенство является следствием гармоничности функ-
ций u(x, y) и v(x, y) в области D. Таким образом, все частные
производные
∂u ∂u ∂v ∂v
= = = ≡ 0,
∂x ∂y ∂x ∂y
и, следовательно, f (z) ≡ const в области D. Полученное проти-
воречие и завершает доказательство теоремы.
Задача 8. Пусть голоморфное (дифференцируемое) отображе-
ние f : D → D единичного круга на себя такое, что f (0) = 0,
тогда
1) |f (z)| ≤ |z| для всех z ∈ D;
2) |f 0 (0)| ≤ 1.
Следствие 3.6. Пусть D ⊂ C — область, отличная от по-

стоянной функция f является аналитической в области D и
m = inf |f (z)|. Если f (z) 6= 0 в области D, то |f (z)| > m для
z∈D
произвольной точки z ∈ D.
Доказательство. Поскольку f (z) 6= 0, то функция g(z) = 1/f (z)
будет аналитической в области D и
1 1
sup |g(z)| = = .
z∈D inf |f (z)| m
z∈D
Остаётся воспользоваться принципом максимума модуля для

функции g(z).
Задача 9. Если u(x, y) 6= const — гармоническая функция в об-
ласти Ω, то она не может достигать своих минимальных и
максимальных значений внутри области Ω.
31
Решение. Доказывается также как для голоморфных функций.
4
Задача 10. Пусть u, v — гармонические функции в области Ω
и u(x, y) = v(x, y) для (x, y) ∈ ∂Ω. Тогда u(x, y) = v(x, y) для
(x, y) ∈ ∂Ω.
Решение. Следует из принципа максимума (и минимума). 4
Поиск гармонической функции удовлетворяющей граничным
условиям называется задачей Дирихле:
®
∆u(x, y) = 0 (x, y) ∈ Ω;
(3.2)
u(x , y ) = f (x , y ) (x0 , y 0 ) ∈ ∂Ω.
0 0 0 0
Задача 10 утверждает, что решение (3.3) единственно. Ниже мы

решим задачу для единичного круга.
Часто удобнее использовать полярную систему координат. В
полярных координатах оператор Лапласа имеет вид
∂2 1 ∂ 1 ∂2
∆= + + .
∂r2 r ∂r r2 ∂ϕ2
Задача 11. Показать, что решение задачи (3.3) в случае когда

Ω = D — единичный круг можно найти по формуле
Z2π
iϕ 1
u(re ) = f (eiθ )Pr (ϕ − θ) dθ,
2π
0
1 − r2
где Pr (ϕ) = .4
1 − 2r cos ϕ + r2
4 Ядро Пуассона.
32
4 Ряды аналитических функций
4.1 Функциональные последовательности
Пусть Ω ⊂ C и fn : Ω → C. Последовательность функций {fn }
сходится поточечно к функции f : Ω → C, если для каждого
z∈Ω
lim fn (z) = f (z).
n→∞
Последовательность функций {fn } сходится равномерно к

функции f : Ω → C если любого ε > 0 существует N ∈ N так,
что для любого z ∈ Ω и n > N
|fn (z) − f (z)| < ε.
Эквивалентное определение равномерной сходимости
sup |fn (z) − f (z)| → 0 при n → ∞.

Ω
Заметим, что
равномерная сходимость ⇒ поточечная сходимость
равномерная сходимость : поточечная сходимость
Задача 12. Показать, что последовательность функций fn (z) =

z n , определенная на D = B(0, 1) сходится поточечно к 0 при
n → ∞, но не сходится равномерно.
Лемма 4.1. Если последовательность непрерывных функций

{fn } сходится равномерно на множестве Ω к функции f , то
функция f также непрерывна.
33
Доказательство. Пусть z0 ∈ Ω, докажем, что f непрерывна в
точке z0 . В силу равномерной сходимости, для ε > 0 существует
N ∈ N такое, что для всех z ∈ Ω и n ≥ N
ε
|fn (z) − f (z)| < .
3
Поскольку функция fn непрерывна, то найдётся δ > 0 такое, что
при |z − z0 | < δ
ε
|fn (z) − fn (z0 )| < .
3
Тогда, используя неравенство треугольника, получаем
|f (z)−f (z0 )| ≤ |f (z)−fn (z)|+|fn (z)−fn (z0 )|+|fn (z0 )−f (z0 )| < ε.
Лемма 4.2. Пусть fn : Ω → C — последовательность непре-

рывных функций и {fn } сходится равномерно к f . Тогда для
любой кусочно-гладкой кривой γ ⊂ Ω
Z Z
lim fn (z) dz = f (z) dz.
n→∞
γ γ
Доказательство. Пусть ε > 0, тогда существует N ∈ N такое,

что
ε
|fn (z) − f (z)| < , для всех z ∈ Ω,
l(γ)
где l(γ) — длина5 кривой γ. Используя ML оценку (2.5), выводим

Z Z

fn (z) dz − f (z) dz ≤ max |fn (z) − f (z)| · l(γ) < ε.

γ
γ γ
5 предполагаем, что l(γ) < ∞
34
4.2 Функциональные ряды
Понятия сходимости и равномерной сходимости очевидным об-
∞
fn (z) схо-
P
разом переносится на функциональные ряды. Ряд
n=1
дится равномерно к f (z) ⇔ последовательность частичных сумм
Sn (z) сходится равномерно к f (z).
Для рядов имеет место аналог леммы 4.2
∞
fn (z) сходится равномерно на Ω,
P
Лемма 4.3. Пусть ряд
n=1
тогда для любой кусочно-гладкой кривой γ ⊂ Ω
Z X∞ ∞ Z
X
fn (z) dz = fn (z) dz.
γ n=1 n=1 γ
6
P Вейерштрасса ). ПустьP|fk (z)| ≤ Mk для
Теорема 4.4 (признак
всех z ∈ Ω и ряд Mk сходится. Тогда ряд fk (z) сходится
равномерно и абсолютно.
Доказательство. Пусть ε > 0, тогда найдётся такое N ∈ N, что
для всех n ≥ N
X∞
Mk < ε.
k=n+1
Для любого z ∈ Ω и n ≥ N

∞ ∞ ∞
X X X

fk (z)≤
|f k (z)| ≤ Mk < ε.
k=n+1 k=n+1 k=n+1
∞
|fk (z)| равномерно сходится к нулю,
P
То есть остаток ряда
k=n+1
∞
fk (z) сходится абсолютно и равномерно.
P
следовательно, ряд
k=1
6 Weierstraßscher M-Test
35
В качествеP нетривиального примера рассмотрим функцио-
1
нальный ряд kz . Область сходимости Re z > 1. Ясно что в
z = 1 ряд расходится. А что происходит в точках 1 + ti, t 6= 0 ?
4.3 Степенные ряды

При изучении функций комплексного переменного весьма важ-
ное значение имеет их представление в виде суммы некоторого
ряда уже хорошо изученных функций. Простейшим классом та-
ких функциональных рядов являются степенные ряды.
Итак, ряд вида
X∞
cn (z − z0 )n (4.1)
n=0
называется степенным рядом. Здесь z0 , c1 , c2 , . . . , cn , . . . — фик-

сированные комплексные числа.
Ряд (4.1) сходится при одних значениях z и расходится при
других.
P Точно можно сказать, что он сходится при z = z0 (так
как cn 0n = 0 + 0 + · · · = 0).
В качестве примера рассмотрим ряд (геометрическая про-
грессия)
X∞
zn = 1 + z + z2 + z3 + · · · . (4.2)
n=0
Заметим, что если |z| ≥ 1, то в силу необходимого признака схо-

димости ряд (4.2) расходится. Для частичных сумм можно вы-
вести формулу
1 − z n+1
Sn = 1 + z + z 2 + · · · + z n = .
1−z
Следовательно при |z| < 1 ряд (4.2) сходится и
∞
X 1
zn = .
n=0
1−z
36
ck (z −
P
Теорема 4.5 (Теорема Абеля). 1) Если степенной ряд
z0 )k сходится в точке w, то он сходится в любой точке z,
такой, что |z − z0 | < |w − P
z0 |.
2) Если степенной ряд ck (z − z0 )k расходится в точке w,
то он расходится в любой точке z, такой, что |z−z0 | > |w−z0 |.
Доказательство. Обозначим r = |w−z0 |. Если ряд ck (w−z0 )k
P
сходится, то ck (w − z0 )k → 0 при k → ∞, поэтому существует
такое положительное число M < ∞, что
|ck (w − z0 )k | = |ck |rk ≤ M.
Если |z − z0 | < |w − z0 | = r, то
∞ ∞ ãk ∞ Å ãk
|z − z0 | |z − z0 |
X X Å X
|ck (z − z0 )k | = |ck |rk ≤M .
r r
k=0 k=0 k=0
Поскольку z−z

r
0
< 1, то последний ряд сходится7 , а следова-
тельно, исходный ряд сходится (абсолютно).
Аналогично доказываем пункт 2).
Более точную информацию о сходимости степенного ряд даёт
ck (z − z0 )k суще-
P
Теорема 4.6. Для любого степенного ряда
ствуетPчисло R ∈ [0, +∞] такое, что
1) ряд c (z − z0 )k сходится абсолютно при |z − z0 | < R;
P k
2) ряд P ck (z − z0 )k сходится равномерно при |z − z0 | ≤ r < R;
3) ряд ck (z − z0 )k расходится при |z − z0 | > R.
Доказательство. Рассмотрим множество
X
S = {x ≥ 0 : |ck |xk сходится }.
Положим sup S = R.
Если R = 0, то по теореме Абеля 4.5 ряд расходится при
|z − z0 | > 0.
7 Это геометрическая прогрессия.
37
Пусть R > 0. Пункты 1) и 3) следуют из теоремы Абеля 4.5
(w = z0 + x). Если |z − z0 | ≤ r < R, то найдется число x ∈ S
Тогда |ck (z − z0 )k | ≤ |ck |xk , и по теореме
такое, что r < x ≤ R. P
Вейерштрасса 4.4 ряд ck (z − z0 )k сходится равномерно в круге
B(z0 , r).
Число R из теоремы 4.6 называется радиусом сходимости
и может быть найдено по формуле Коши–Адамара:
1
R= p .
lim k
|ck |
k→∞
4.3.1 Аналитичность степенного ряда

Теорема 4.7. Пусть степенной ряд
∞
X
f (z) = ck (z − z0 )k , (4.3)
k=0
имеет положительный радиус сходимости (R > 0). Тогда функ-

ция f (z) дифференцируема в круге B(z0 , R).
Доказательство. Для любого r < R ряд (4.3) сходится равно-
мерно в круге B(z0 , r). Следовательно f (z) — непрерывная функ-
ция и для любого замкнутого контура γ ⊂ B(z0 , R) имеем
Z Z X∞ ∞ Z
X
f (z) dz = ck (z − z0 )k dz = ck (z − z0 )k dz = 0.
γ γ k=0 k=0 γ
По теореме Морера 3.2 функция f дифференцируема в B(z0 , R).
∞
Задача 13. Пусть степенной ряд f (z) = ck (z − z0 )k имеет
P
k=0
положительный радиус сходимости (R > 0). Тогда
∞
X
0
f (z) = kck (z − z0 )k−1 . (4.4)
k=1
38
Радиус сходимости ряда (4.4) также равен R.
∞
Задача 14. Если степенной ряд f (z) = ck (z − z0 )k имеет
P
k=0
f k (z0 )
положительный радиус сходимости, то ck = k! .
4.4 Ряд Тейлора

В этой части мы увидим, что понятия степенного ряда и диффе-
ренцируемой функции определяют один и тот же объект: любой
степенной ряд с положительным радиусом сходимости является
дифференцируемой функцией и, наоборот, любая дифференци-
руемая функция может быть представлена степенным рядом.
Теорема 4.8 (Теорема Тейлора). Пусть функция f — диффе-
ренцируема в круге B(z0 , R). Тогда f может быть представ-
лена в B(z0 , R) степенным рядом с центром в z0 (с радиусом
сходимости ≥ R):
∞
1 f (w) dw
X Z
f (z) = ck (z − z0 )k , ck = .
2πi (w − z0 )k+1
k=0 γ
γ ⊂ B(z0 , R) — простой замкнутый кусочно-гладкий контур,

содержащий z0 внутри.
|z−z0 |+R
Доказательство. Пусть z ∈ B(z0 , R), обозначим r = 2 .
По интегральной формуле Коши (2.6)
1 f (w)
Z
f (z) = dw.
2πi w−z
|w−z0 |=r
39
1
Разложим w−z в сумму геометрической прогрессии следующим
образом:
1 1
=
w−z w − z0 − (z − z0 )
∞ Å
1 1 1 z − z0 k
X ã
= · z−z0 = · . (4.5)
w − z0 1 − w−z w − z0 w − z0
0 k=0
Ряд (4.6) сходится равномерно8 на окружности |w − z0 | = r, по-

этому сумму и интеграл можно поменять местами.
1 f (w)
Z
f (z) = dw
2πi w−z
|w−z0 |=r
∞ Å
1 1 X z − z0 k
Z ã
= f (w) dw =
2πi w − z0 w − z0
k=0
|w−z0 |=r
Ö è
∞
1 f (w)
X Z
= dw (z − z0 )k .
2πi (w − z0 )k+1
k=0
|w−z0 |=r
∞
1
R f (t) dt
Получаем требуемое f (z) = ck (z − z0 )k , ck = .
P
2πi (t−z0 )k+1
k=0 γ
Заметим, что здесь мы использовали равенство
f (t) dt f (w)
Z Z
= dw,
(t − z0 )k+1 (t − z0 )k+1
γ |t−z0 |=r
которое верно в силу интегральной теоремы Коши.

Теорема 4.9 (Теорема единственности). Пусть Ω ⊂ C — об-
ласть, множество E ⊂ Ω и имеет предельную точку z0 ∈ Ω,
8 По теореме Вейерштрасса.
40
функции f (z) и g(z) являются аналитическими в области Ω и
f (z) = g(z) для всех z ∈ E. Тогда f (z) = g(z) всюду в области
Ω.
Доказательство. Множество E содержит последовательность то-
чек {zn }, сходящуюся к точке z0 ∈ Ω. При этом
f (zn ) = g(zn ), n ∈ N.
По теореме Тейлора 4.8 в круге B(z0 , r) при r < dist(z0 , ∂Ω)

функции f (z) и g(z) представимы степенными рядами
∞
X
f (z) = ak (z − z0 )k ,
k=0
∞
X
g(z) = bk (z − z0 )k .
k=0
Начиная с некоторого номера, все точки zn лежат в круге

B(z0 , r), следовательно,
∞
X ∞
X
ak (zn − z0 )k = f (zn ) = g(zn ) = bk (zn − z0 )k .
k=0 k=0
Переходя в этом равенстве к пределу zn → z0 , получаем

a0 = b0 . Разделив обе части этой формулы на (zn − z0 ), полу-
чаем равенство
∞
X ∞
X
ak (zn − z0 )k−1 = bk (zn − z0 )k−1 ,
k=1 k=1
переходя к пределу, в котором получаем a1 = b1 .

Продолжая этот процесс, получаем ak = bk для всех номеров
k ∈ N. Следовательно, f (z) = g(z) всюду в круге B(z0 , r).
41
Пусть z ∗ — произвольная точка области Ω. Соединим точку
z0 с точкой z ∗ непрерывной кривой γ ⊂ Ω. Фиксируем положи-
тельное ρ меньшее, чем расстояние от кривой γ до границы в
области Ω.
Передвигая центр круга B(z, ρ) вдоль кривой γ последова-
тельно в точки w1 , w2 , . . . , wn = z ∗ , |wk − wk−1 | = ρ и повто-
ряя приведенное ранее рассуждение, получим f (z ∗ ) = g(z ∗ ). По-
скольку z ∗ – произвольная точка области Ω, то f (z) = g(z) всюду
в области Ω.
Задача 15. Существует ли голоморфная функция такая, что
1 1 1
Å ã Å ã
f =f − = , n = 1, 2, 3, . . .?
n n n
4.5 Классификация нулей

Рассмотрим полином степени n
p(z) = an z n + an−1 z n−1 + · · · + a1 z + a0 , an 6= 0.
Нулём порядка m полинома p(z) называется такая точка

z0 ∈ C, что
p(z) = (z − z0 )m · g(z),
где g(z) — тоже полином и g(z0 ) 6= 0.
Например, точка z0 = 1 является нулём порядка m = 2 для
полинома p(z) = 3z 3 − 6z 2 + 3z, так как p(z) = (z − 1)2 · 3z
(здесь g(z) = 3z).
Определим аналогичное понятие для аналитической функ-
ции. Точка z0 ∈ C называется нулём функции f (z), если f (z0 ) = 0.
Теорема 4.10 (Классификация нулей). Пусть f (z) — аналити-

ческая функция и точка z0 ∈ C является её нулём (f (z0 ) = 0).
42
Тогда возможны два случая:
1) f (z) = 0 для всех z ∈ B(z0 , ρ) для некоторого ρ > 0
либо
2) существует m ∈ N и аналитическая функция g(z) такая,
что f (z) = (z − z0 )m · g(z) и g(z0 ) 6= 0 для всех z ∈ B(z0 , ρ) для
некоторого ρ > 0.
Доказательство. Найдётся круг B(z0 , ρ) такой, что для всех z ∈
B(z0 , ρ)
∞
X
f (z) = ck (z − z0 )k .
k=0
Заметим, что по условию c0 = 0. Если все коэффициенты ck = 0,

то приходим к пункту 1). Пусть m — наименьшее число, такое,
что cm 6= 0, тогда
∞
X
f (z) = (z − z0 )m ( cm+k (z − z0 )k ).
k=0
Число m из теоремы называется порядком нуля.

Для функции f (z) = z 2 sin z точка z = 0 является нулём
порядка 3, а точки z = πk, k 6= 1 — нули порядка 1.
Удобный способ определения порядка нуля аналитической
функции приводится в следующем утверждении
Теорема 4.11. Точка z0 — нуль порядка m аналитической в
точке z0 функции f (z), если
f (z0 ) = f 0 (z0 ) = · · · = f (m−1) (z0 ) = 0, f (m) (z0 ) 6= 0.
Так, например, функция f (z) = cos z−1 имеет нули порядка 2

в точках z = πk. Действительно, f (πk) = cos πk − 1 = 0, f 0 (πk) =
− sin πk = 0, a f 00 (πk) = − cos πk 6= 0.
43
5 Ряд Лорана и Сингулярности
5.1 Ряд Лорана
Теорема Тейлора 4.8 предоставляет мощный инструмент описа-
ния аналитических функций. Однако, не все функции являются
аналитическими. Далее мы увидим, что некоторые не аналитиче-
ские функции можно представлять в виде суммы рядов с целы-
1
ми степенями. Например, для функции e z вполне естественной
была бы запись в виде ряда с отрицательными степенями
∞ ∞
1 1 k X z −k
Å ã
1
X
e =
z = .
k! z k!
k=0 k=0
Рассмотрим ряд
∞
X ∞
X ∞
X
cn (z − z0 )n = cn (z − z0 )n + c−n (z − z0 )−n .
n=−∞ n=0 n=1
Обозначим
∞
X ∞
X
S1 (z) + S2 (z) = cn (z − z0 )n + c−n (z − z0 )−n .
n=0 n=1
Пусть радиус сходимости ряда

∞
X
S1 (z) = cn (z − z0 )n
n=0
равен R. Тогда функция S1 (z) будет аналитической в круге B(z0 , R).

Делая во втором ряде замену переменной w = z −1 z , полу-
0
чим обычный степенной ряд по переменной w
∞
X
c−n wn .
n=1
44
Пусть радиус сходимости этого ряда равен ρ, тогда его сумма
(как функция переменной w) будет аналитической функцией в
круге |w| < ρ, и, следовательно, функция S2 (z) будет голоморф-
ной при |z − z0 | > r (здесь r = 1/ρ).
Если r < R, то функция
∞
X
f (z) = S1 (z) + S2 (z) = cn (z − z0 )n
n=−∞
будет аналитической в кольце r < |z − z0 | < R.
Рис. 5: Кольцо K.
Теорема 5.1 (Теорема Лорана). Аналитическая в кольце K =

{r < |z − z0 | < R} функция f (z) в каждой точке z ∈ K пред-
ставима в виде ряда
∞
1 f (w) dw
X Z
f (z) = ck (z − z0 )k , ck = ,
2πi (w − z0 )k+1
k=−∞ γ
γ ⊂ K — простой замкнутый кусочно-гладкий контур, обходя-

щий точку z0 .
45
Полученный в теореме 5.1 ряд называют рядом Лорана.
∞
X
ck (z − z0 )k правильная часть ряда Лорана
n=0
и
−∞
X
ck (z − z0 )k главная часть ряда Лорана.
n=−1
Доказательство. Фиксируем точку z ∈ K, тогда найдутся ра-

диусы r1 , r2 такие, что r < r1 < |z − z0 | < r2 < R. Рассмотрим за-
мкнутый контур Γ из двух окружностей |z −z0 | = r1 , |z −z0 | = r2
(см. рис. 6). Обозначим эти окружности γ1 , γ2 .
z0
γ1
z
γ2
Рис. 6: Кольцо K.
46
По интегральной формуле Коши
1 f (w)
Z
f (z) = dw =
2πi w−z
Γ
Ñ é
1 f (w) f (w)
Z Z
= dw − dw . (5.1)
2πi w−z w−z
γ2 γ1
1
1. Сначала преобразуем интеграл по γ2 . Разложим w−z в сум-
му геометрической прогрессии:
1 1
=
w−z w − z0 − (z − z0 )
∞ Å
1 1 1 z − z0 k
X ã
= · z−z0 = · . (5.2)
w − z0 1 − w−z w − z0 w − z0
0 k=0
Ряд
(5.2)
сходится равномерно на окружности γ2 (поскольку
z−z0
w−z0 < 1), поэтому сумму и интеграл можно поменять места-
ми.
1 f (w)
Z
f (z) = dw
2πi w−z
γ2
∞ Å
1 1 X z − z0 k
Z ã
= f (w) dw =
2πi w − z0 w − z0
γ2 k=0
Ñ é
∞
1 f (w)
X Z
= dw (z − z0 )k .
2πi (w − z0 )k+1
k=0 γ2
2. Перейдём к интегралу по γ1 . В этом случае используем

следующее разложение, которое приводит к равномерно сходя-
47
щемуся ряду на окружности γ1 :
1 1
=
w−z w − z0 − (z − z0 )
∞ Å
−1 1 −1 w − z0 k
X ã
= · = · . (5.3)
z − z0 1 − w−z0
z−z0
z − z0 z − z0
k=0
Тогда
∞ Å
f (w) −1 w − z0 k
Z Z X ã
dw = − g(w) · dw
w−z z − z0 z − z0
γ1 γ1 k=0
Ñ é
X∞ Z
=− f (w)(w − z0 )k dw (z − z0 )−(k+1)
k=0 γ1
Ñ é
−1
f (w)
X Z
=− dw (z − z0 )k .
(w − z0 )k+1
k=−∞ γ1
Подставляя полученные интеграл в (5.1) имеем

Ñ Ñ é
∞
1 f (w)
X Z
f (z) = dw (z − z0 )k
2πi (w − z0 )k+1
k=0 γ2
Ñ é
−1
f (w)
X Z
+ dw (z − z0 )k .
(w − z0 )k+1
k=−∞ γ1
По интегральной теореме Коши интегралы по γ1 и γ2 можно

свести к интегралу по кривой γ. Поэтому
Ñ é
∞
1 X f (w)
Z
f (z) = dw (z − z0 )k .
2πi (w − z0 )k+1
k=−∞ γ
48
Задача 16. Пусть функция f (z) является аналитической в
кольце K = {r < |z − z0 | < R}. Обозначим M (ρ) = max |f (z)|,
z∈Cρ
где r < ρ < R. Вывести следующую оценку для коэффициентов
ряда Лорана9
M (ρ)
|cn | ≤ . (5.4)
ρn
5.2 Ряд Лорана в бесконечно удалённой точке

Пусть функция f (z) является голоморфной в окрестности бес-
конечно удалённой точки, то есть существует такое R < ∞, что
функция f (z) является голоморфной при R < |z| < ∞.
Тогда функция f (1/t) является голоморфной в кольце 0 <
|t| < 1/R и допускает разложение в ряд Лорана в окрестности
точки t = 0
1 X ∞ X∞
f = bn tn + b−n t−n .
t n=0 n=1
1
Делая замену переменной t = и, полагая cn = b−n , по-
z
лучаем разложение функции f (z) в ряд Лорана в окрестности
бесконечно удалённой точки
∞
X ∞
X ∞
X
f (z) = bn z −n + b−n z n = cn z n .
n=0 n=1 n=−∞
При этом в окрестности бесконечно удалённой точки пра-

вильной частью ряда Лорана называется ряд
∞
X
c−n z −n ,
n=0
9 Неравенства Коши для коэффициентов ряда Лорана.
49
а ряд
∞
X
cn z n
n=1
называется главной частью ряда Лорана.
5.3 Связь с рядом Фурье

∞
Каждый ряд Фурье F (x) = ck eikx можно рассматривать
P
k=−∞
∞
ck z k на окружность |z| = 1. По-
P
как сужение ряд Лорана
k=−∞
этому задачу о разложении в ряд Фурье (в комплексной форме)
иногда удаётся свести к задаче о разложении в ряд Лорана в
окрестности нуля, сделав замену eix = z.
Задача 17. Используя ряд Лорана найти разложение в ряд Фу-
рье функции
a sin t
f (t) = , |a| < 1.
1 − 2a cos t + a2
5.4 Изолированные особые точки

Точка z0 ∈ C называется изолированной особой точкой
функции f (z), если существует окрестность B(z0 , ρ) точки z0 , в
которой функция f (z) является аналитической всюду, за исклю-
чением самой точки z0 (так как в точке z0 функция может быть
не определена).
1
Рассмотрим функции sinz z , z14 , e− z4 . Для каждой из этих
функций точка z0 = 0 является изолированной особой точкой.
Однако, оказывается, что характер особенности (сингулярности)
в каждом случае разный.
Изолированная особая точка z0 функции f (z) называется
1) устранимой особой точкой, если lim f (z) существует и
z→z0
50
конечен;
2) полюсом, если lim f (z) = ∞;
z→z0
3) существенно особой точкой, если функция f (z) не имеет
предела в точке z0 .
sin z
• Для функции f (z) = точка z0 = 0 является устрани-
z
мой особой точкой, поскольку
sin z
lim f (z) = lim = 1.
z→z0 z→0 z
4
1
• Для функции f (z) = 4 точка z0 = 0 является полюсом
z
(4-го порядка), поскольку

1
lim 4 = ∞,
z→0 z
1
и, следовательно, lim 4 = ∞. 4
z→z0 z
− 14
• Предела lim e z не существует. Поэтому точка z0 = 0
z→z0
1
является существенно особой для функции f (z) = e− z4 . 4
Строение ряда Лорана функции f (z) в окрестности изолиро-
ванной особой точки z0 существенным образом зависит от типа
особой точки.
Теорема 5.2. Пусть z0 ∈ C — изолированная особая точка
аналитической функции f (z).
∞
X
f (z) = ck (z − z0 )k
k=−∞
ряд Лорана в кольце 0 < |z − z0 | < R. Тогда

1) z0 — устранимая ⇔ в ряде Лорана нет членов с отрицатель-
ными номерами, то есть
∞
X
f (z) = ck (z − z0 )k .
k=0
51
2) z0 — полюс ⇔ ряд Лорана содержит лишь конечное число
членов с отрицательными номерами, то есть
∞
c−m c−1 X
f (z) = m + ··· + + ck (z − z0 )k .
(z − z0 ) z − z0
k=0
3) z0 — существенно особая ⇔ ряд Лорана содержит бесконеч-

ное число членов с отрицательными номерами, то есть имеет
вид
∞
c−m c−1 X
f (z) = · · · + + · · · + + ck (z − z0 )k .
(z − z0 )m z − z0
k=0
Доказательство. 1) Если z0 — устранимая особая точка, что су-

ществует предел lim f (z), и, следовательно |f (z)| < M на неко-
z→z0
торой окрестности B(z0 , r). Тогда для произвольного ρ < r имеет
место оценка (5.4):
M
|cn | ≤ n .
ρ
В силу произвольности ρ получаем |cn | = 0 для n < 0.
Ели ряд Лорана не имеет членов с отрицательными степеня-
ми, то lim f (z) = c0 , то есть z0 — устранимая особая точка.
z→z0
2) Пусть z0 — полюс. Тогда f (z) 6= 0 в некоторой окрестности
B(z0 , r), а функция
®
1/f (z), z 6= z0 ,
g(z) =
0, z = z0
аналитична10 в B(z0 , r). Заметим, что g(z0 ) = 0. По теореме 4.10
g(z) = (z − z0 )m h(z) для некоторого m ∈ N и аналитической
функции h(z), h(0) 6= 0. Функция 1/h(z) является аналитиче-
ской, выпишем её в ряд Тейлора и выразим f (z):
1 1 1
f (z) = = (a0 + a1 (z − z0 ) + . . . ).
(z − z0 )m h(z) (z − z0 )m
10 В силу пункта 1) функция g(z) представляется степенным рядом.
52
Полученное разложение и есть ряд Лорана для f (z), в котором
конечное число членов с отрицательными степенями (не больше
m). Обратное утверждение очевидно11 .
3) следует из 1) и 2).
Пусть z0 ∈ C — полюс. Максимальный номер m такой, что
c−m 6= 0 называется порядком полюса. И говорят: z0 — полюс
порядка m.
Для функции f (z) = sin z
z 3 точка z0 = 0 является полюсом
порядка m = 2, поскольку ряд Лорана имеет вид
1 z z3
f (z) = − + − ··· .
z2 3! 5!
4
При доказательстве пункта 2) теоремы 5.2 фактически было
получено следующее утверждение.
Теорема 5.3. Пусть f (z) — голоморфная функция и точка z0 ∈
C её нуль порядка m. Тогда функция 1/f (z) имеет в z0 полюс
порядка m.
Задача 18. Пусть f (z) аналитична на множестве B(z0 , R) \
{z0 } и ограничена |f (z)| < M . Доказать, что f (z) можно про-
должить до аналитической на всём круге B(z0 , R) функции f˜(z).
Итак, в зависимости от типа особой точки функция ведёт се-

бя по-разному: в устранимой особой точек функцию можно про-
должить до аналитической, в полюсе значения функции уходят
в бесконечно удаленную точку. Что происходит в существенно
особой точке?
Теорема 5.4 (Сохоцкого). Если z0 — существенно особая точка
функции f (z), то для любого числа z ∈ C существует последо-
вательность zn → z0 такая что lim f (zn ) = a.
n→∞
11 f (z) = g(z)/(z − z0 ), где g(z) — аналитическая и g(z0 ) 6= 0
53
Доказательство. Сначала заметим, что существует последова-
тельность zn → z0 такая, что f (zn ) → ∞, иначе z0 — устранимая.
Пусть a ∈ C. Возможны два случая.
1) Любая окрестность z0 содержит точки z такие, что f (z) =
a. Таким образом искомая последовательность существует и в
этом случае теорема доказана.
2) Допустим нашлась такая окрестность B(z0 , r), что f (z) 6= a
1
для всех z ∈ B(z0 , r). Тогда функция g(z) = аналитична
f (z) − a
в B(z0 , r) \ {z0 }. Точка z0 является существенно особой для g(z)
(т. к. предела не существует). Но, как мы заметили в самом нача-
ле найдётся последовательность zn → z0 такая, что g(zn ) → ∞.
Следовательно, f (zk ) = a + 1/g(zk ) → a.
Задача 19. Рассмотрим функцию f (z) = exp(1/z). Точка z = 0

является существенно особой. Имеем exp(zn ) → ∞ для zn =
1/n, exp(zn ) → 0 для zn = −1/n. Найти такую последователь-
ность zn → 0, что exp(zn ) → π.
Замечание 5.5. Более точный результат даёт теорема Пикара:

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

Используя метод цветных областей приведём изображения функ-
ций в окрестности особой точки.
54
sin z
Рис. 7: Функция z .
1
Рис. 8: Функция z4 . В 0 полюс 4-го порядка.
55
1
Рис. 9: Функция e− z4 . В 0 полюс существенная особенность.
Рис. 10: На изображение попытайтесь найти полюс и нули функ-

ции ζ(z).
56
6 Элементы теории вычетов
В этой лекции мы введём важное для приложений понятие вы-
чета аналитической функции в изолированной особой точке.
Немного о самом термине. Считается, что его развил Коши ос-
новываясь на работах Эйлера. Название вычет (residue), по ви-
димому, происходит от того, что нас интересует остаток после
интегрирования ряда Лорана. Точный смысл этого выражение
должен быть понятен после приведенных ниже рассуждений.
Вычетом функции f (z) в изолированной особой точке
z0 ∈ C называется величина
1
Z
Res f (z) = f (z) dz.
z=z0 2πi
|z−z0 |=ρ
ez
Задача 20. Пусть f (z) = sin z cos z . Найти Res f (z).
z=π
+∞
Лемма 6.1. Пусть f (z) = (z − z0 )k для 1 < |z| < R, тогда
P
−∞
Res f (z) = c−1 .

z=z0
Доказательство. Проинтегрируем функцию f по окружности

|z − z0 | = ρ < R:
Z Z ∞
X
f (z) dz = ck (z − z0 )k dz
k=−∞
|z−z0 |=ρ |z−z0 |=ρ
∞
X Z
= ck (z − z0 )k dz.
k=−∞
|z−z0 |=ρ
57
Вспомним (см. задачу 4), что
®
2πi, k = −1,
Z
(z − z0 )k dz =
0, k 6= −1.
|z−z0 |=ρ
Поэтому Z
f (z) dz = 2πic−1 . (6.1)
|z−z0 |=ρ
Если посмотреть с другой стороны, то можно сказать, что

интеграл равен вычету:
Z
f (z) dz = 2πi Res f (z).
z=z0
γ
На самом деле справедливо более общее свойство.

Теорема 6.2 (Основная теорема теории вычетов). Пусть f —
аналитична в D ⊂ C, за исключением изолированных особых
точек {zj }, γ — простая замкнутая кусочно-гладкая кривая,
не содержащая особых точек {zj }. Тогда
Z X
f (z) dz = 2πi Res f (z),
z=zj
γ j
где суммирование ведётся по всем точкам zj , находящимся внут-

ри.
58
γ
z1
z0
z2 z3
z4
Доказательство. Выберем достаточно малое r > 0 так, чтобы

замкнутые круги B(zk , r) лежали в области D и не пересека-
лись между собой. Обозначим через Ck+ окружность |z − zk | = r.
Функция f (z) является аналитической в области
n
[
D∗ = D \ B(zk , r)
k=1
и непрерывной в ее замыкании. Согласно интегральной теоре-

ме Коши интеграл функции f (z) по ориентированной границе
области D∗ равен нулю, т.е.
Z Z Xn Z
f (z)dz = f (z)dz + f (z)dz = 0.
∂D ∗ Γ k=1 −
Ck
Следовательно
Z n Z
X n
X
f (z)dz = f (z)dz = 2πi Res f (z).
z=zk
Γ k=1 + k=1
Ck
59
Суть теоремы 6.2 состоит
R в том, чтобы вместо непосредствен-
ного интегрирования f (z) dz вычислять вычеты Res f (z) в изо-
γ z=zj
лированных особых точках.
6.1 Вычисление вычетов

Теорема 6.3 (Теорема о сумме вычетов). Пусть f (z) — анали-
тична, за исключением конечного числа особых точек {z0 , z1 , . . . , zN }.
Тогда сумма вычетов по всем особым точкам (включая z = ∞)
равна нулю, т. е.
XN
Res f (z) = 0.
z=zj
j=1
Доказательство. Выберем достаточно большое значение R <

∞ так, чтобы все конечные особые точки z1 , z2 , . . . , zn лежали в
круге12 |z| < R. Тогда
n
1 1
X Z Z
Res f (z) + Res f (z) = f (z)dz + f (z)dz = 0.
z=zk z=∞ 2πi 2πi
k=1 + −
CR CR
Лемма 6.4. Если z0 ∈ C — устранимая особая точка функции

f , то
Res f (z) = 0.
z=z0
Доказательство. Действительно, если z0 — устранимая, то, в

частности, c−1 = 0.
Далее мы рассмотрим приёмы, которые позволяют находить

вычеты в полюсах.
12 Почему это возможно?
60
Лемма 6.5. Если z0 ∈ C — простой полюс (т.е. полюс первого
порядка) функции f , то
Res f (z) = lim ((z − z0 ) · f (z)).

z=z0 z→z0
Доказательство. Если z0 — простой полюс, то

c−1
f (z) = + c0 + c1 (z − z0 ) + c2 (z − z0 )2 + . . .
z − z0
Тогда
(z − z0 )f (z) = c−1 + c0 (z − z0 ) + c1 (z − z0 )2 + c2 (z − z0 )3 + . . .
и
(z − z0 )f (z) → c−1 при z → z0 .
Последние две леммы являются частными случаями следую-

щего утверждения.
Теорема 6.6. Если z0 — полюс порядка m функции f , то
1 dm−1
Res f (z) = lim ((z − z0 )m · f (z)).
z=z0 (m − 1)! z→z0 dz m−1
Сравните приведённое выше утверждение с теоремой 2.6.

Лемма 6.7. Пусть f , g — голоморфные в точке z0 функции
и z0 — ноль функции g порядка 1 (т. е. g(z0 ) = 0, но g 0 (z0 ) 6=
0) и f (z0 ) 6= 0. Тогда функция f (z)/g(z) имеет полюс первого
порядка в точке z0 и
f (z) f (z0 )
Å ã
Res = 0 .
z=z0 g(z) g (z0 )
61
Доказательство. По лемме 6.5
f (z) f (z)
Å ã Å ã
Res = lim (z − z0 ) · .
z=z0 g(z) z→z0 g(z)
В силу непрерывности f (z), дифференцируемости g(z) и g 0 (z0 ) 6=

0 получаем требуемое.
Лемма 6.8. Пусть f , g — голоморфные в точке z0 функции и
z0 — ноль функции g порядка 2 (т. е. g(z0 ) = 0, g 0 (z0 ) = 0 но
g 00 (z0 ) 6= 0) и f (z0 ) 6= 0. Тогда функция f (z)/g(z) имеет полюс
второго порядка в точке z0 и
f (z) 6f 0 (z0 )g 00 (z0 ) − 2f (z0 )g 000 (z0 )

Å ã
Res = .
z=z0 g(z) 3g 00 (z0 )2
6.2 Вычет в бесконечно удалённой точке

Пусть бесконечно удалённая точка z = ∞ является изолирован-
ной особой точкой функции f (z), т. е. существует такое R < ∞,
что функция f (z) является голоморфной при R < |z| < ∞.
Вычетом функции f (z) в бесконечно удалённой точке
z = ∞ называется величина
1
Z
Res f (z) = f (z) dz,
z=∞ 2πi
γ−
где интеграл берётся по ориентированной в отрицательном на-

правлении (по часовой стрелке) кривой γ.
Если известно разложение функции f (z) в ряд Лорана в окрест-
ности бесконечно удалённой точки (см. пункт 5.2), то
Res f (z) = −c−1 .

z=∞
При этом следует отметить, что даже в случае, когда бесконеч-

но удалённая точка является устранимой особой точкой, вычет
62
в ней может быть отличен от нуля. В качестве простейшего при-
мера можно рассмотреть функцию f (z) = z1 , для которой z = ∞
является устранимой особой точкой, но Res f (z) = −1.
z=∞
f (1/w)
Res f (z) = − Res .
z=∞ w=0 w2
Лемма 6.9. Если z0 = ∞ — устранимая особая точка функ-

ции f , то

Res f (z) = lim z · lim f (w) − f (z) .
z=∞ z→∞ w→∞
Доказательство. Действительно, если ∞ — устранимая особая

точка, то ряд Лорана имеет вид
c−2 c−1
··· + 2
+ + c0 .
z z
При этом lim f (w) = c0 . Далее очевидно.
w→∞
Задача 22. Пусть ∞ — устранимая особая точка функции f ,

доказать формулу
Res f (z) = lim z 2 f 0 (z).

z=∞ z→∞
63
7 Вычисление интегралов - 1
7.1 Тригонометрические интегралы
Рассмотрим интеграл
Z2π
I = R(sin ϕ, cos ϕ) dϕ,
0
где R(ξ, η) – рациональная функция, не имеющая полюсов на

окружности ξ 2 + η 2 = 1.
Сделаем замену переменной z = eiϕ , тогда
dz 1 1 1 1
Å ã Å ã
dϕ = −i , sin ϕ = z− , cos ϕ = z+ .
z 2i z 2 z
Следовательно,
1 1 1 1 dz
Z Å Å ã Å ãã
I = −i R z− , z+ =
2i z 2 z z
|z|=1
Z X
= R1 (z)dz = 2πi Res R1 (z).
z=zk
|z|=1 |zk |<1
Здесь R1 (z) — это некоторая рациональная функция комплекс-

ного переменного, которая определяется через исходную рацио-
нальнцю функцию R(ξ, η) очевидным образом.
Пример 7.1. Пусть |a| < 1, разложить в ряд Фурье функцию
1 − a2
f (x) = .
1 − 2a cos x + a2
64
7.2 Стационарное уравнение теплопроводности
7.2.1 Суммирование по Абелю и ряд Фурье
A
ck = s если
P
Будем говорить,
P что ряд сходится по Абелю и
ряд A(r) = ck rk сходится для всех r ∈ [0, 1) и s = lim A(r).
r→1
Например
∞
X A 1
(−1)k = 1 − 1 + 1 − 1 · · · = .
2
k=0
Задача 23. Вычислить сумму по Абелю

A
1 − 2 + 3 − 4 + 5 − ··· =?
Заметим, что если ряд сходится в обычном смысле, его сумма

совпадает с суммой по Абелю.
Рассмотрим функцию f (θ) : (0, 2π) → C и её ряд Фурье
X
f (θ) ∼ ck eikθ .
k∈Z
Обозначим
∞
X
Ar (f )(θ) = r|n| ck eikθ .
−∞
7.2.2 Решение задачи Дирихле в D

Покажем, что решением задачи Дирихле для уравнения Лапласа
в единичном круге является функция
1
u(r, θ) = Ar (f )(θ) = (f ∗ Pr )().
2π
65
8.1 Преобразование Фурье
Пример 8.1. Проверить равенство
+∞
eax π
Z
dx = , при 0 < Re a < 1.
1 + ex sin πa
−∞
Пример 8.2. Проверить равенство

+∞
e−2πixξ 1
Z
dx = .
ch πx ch πξ
−∞
Определим преобразование Фурье в следующей форме13

+∞
Z
fˆ(ξ) = f (x)e−ixξ dx.
−∞
Будем рассматривать специальный класс Sa (a > 0) комплекс-

ных функций, удовлетворяющих двум условиям:
1) аналитичность в полосе Sa = {z ∈ C : | Im z| < a};
2) умеренный рост по x
A
|f (x + iy)| ≤ ∀x ∈ R, |y| < a.
1 + x2
Для функций из класса Sa мы докажем следующие свойства
преобразования Фурье.
Теорема 8.3. Если f ∈ Sa , то найдутся такие постоянные
B > 0 и 0 < b < a, что
|fˆ(ξ)| ≤ Be−2πb|ξ| .
13 Возможны и другие формы, разница только в коэффициентах.
66
Теорема 8.4 (Формула обращения). Пусть f ∈ Sa , тогда
+∞
Z
f (x) = fˆ(ξ)e−ixξ dξ.
−∞
Теорема 8.5 (Формула суммирования Пуассона). Пусть f ∈

Sa , тогда
fˆ(k).
X X
f (k) =
k∈Z k∈Z
8.1.1 Рациональный случай

Интеграл вида
Z∞
I= eiαx R(x) dx (8.1)
−∞
представляет собой преобразование Фурье рациональной функ-

ции R(x).
Для нахождения таких интегралов нам понадобится следую-
щее утверждение.
Лемма 8.6 (Лемма Жордана). Пусть α > 0 и выполнены сле-

дующие условия
1) функция f (z) непрерывна в секторе
S = {Im z ≥ 0, |z| > R0 > 0};
2) MR = max |f (z)| → 0 при R → ∞,

z∈CR
где CR – верхняя полуокружность, то есть CR = {Im z ≥
0, |z| = R}.
Тогда Z
lim eiαz f (z) dz = 0.
R→∞
CR
67
y
-R0 R0 x
Рис. 11: Функция непрерывна в закрашенной области.
Доказательство. Пусть z ∈ CR , тогда z = Reiϕ , 0 ≤ ϕ ≤

π, dz = iReiϕ dϕ,
|eiαz | = |eiα(R cos ϕ+iR sin ϕ) | = e−αR sin ϕ .
В силу выпуклости функции sin ϕ на отрезке [0, π/2] выпол-

няется неравенство
2
sin ϕ ≥ ϕ.
π
y = (2/π)φ
y=sin φ
π/2 φ
68
Теперь несложно получить требуемую оценку для интеграла
Z Zπ
e f (z) dz ≤ RMR e−αR sin ϕ dϕ =
iαz

CR 0
Zπ/2 Zπ/2
−αR sin ϕ 2Rα
= 2RMR e dϕ ≤ 2RMR e− π ϕ dϕ ≤
0 0
π π
≤ MR (1 − e−αR ) ≤ MR → 0 при R → ∞.
α α
Пример 8.7. Найдём интеграл

Z∞ iax
e dx
,
x 2 + b2
−∞
параметры a, b > 0.
Решение. 1) Рассмотрим замкнутый контур ΓR , состоящий из
отрезка [−R, R] и верхней полуокружности
CR = {z ∈ C : Im z ≥ 0, |z| = R}.
ib
-R R x
69
2) Имеем
eiaz dz eiaz dz eiaz dz

I Z Z
= + .
z 2 + b2 z 2 + b2 z 2 + b2
ΓR CR [−R,R]
Первый интеграл
Z iaz
e dz
→0 при R → ∞,
z 2 + b2
CR
по лемме Жордана 8.6.

Второй интеграл
Z∞
eiaz dz eiax dx
Z
→ при R → ∞.
z 2 + b2 x2 + b2
[−R,R] −∞
iaz
3) Функция ze2 +b2 имеет полюс первого порядка в точке ib.
Тогда по основной теореме теории вычетов 6.2
I iaz
e dz eiaz 2πieia(ib)
2 2
= 2πi Res 2 2
= .
z +b z=ib z + b 2(ib)
ΓR
4) Таким образом, искомый интеграл

Z∞
eiax dx πe−ab
2 2
= .
x +b b
−∞
4
Задача 24. Доказать, что утверждение леммы Жордана оста-
нется верным если S = {Im z ≥ 0, |z| > R0 > 0} заменить на
Sa = {Im z ≥ a, |z| > R0 > 0}, а CR = {Im z ≥ 0, |z| = R} на
CR,a = {Im z ≥ a, |z| = R}, где a < 0.
70
Задача 25. Доказать, что утверждение леммы Жордана оста-
нется верным если S = {Im z ≥ 0, |z| > R0 > 0} заменить на
Sb = {Re z ≤ b, |z| > R0 > 0}, а CR = {Im z ≥ 0, |z| = R} на
CR,b = {Re z ≤ a, |z| = R}, где b > 0.
Задача 26. Будет ли утверждение леммы Жордана верным

если вместо CR рассматривать окружность целиком? Ответ
обосновать.
8.1.2 Вывод общей формулы

Теперь мы можем получить формулу для вычисления интегра-
ла Фурье (8.1) при α > 0. Рассмотрим ориентированный в по-
ложительном направлении замкнутый контур ΓR , состоящий из
отрезка [−R, R] действительной оси и верхней полуокружности
CR = {|z| = R, z ≥ 0}. Выберем такое значение 0 < R < ∞,
чтобы все конечные особые точки функции R(z) лежали в круге
|z| < R.
По основной теореме теории вычетов
ZR Z X
eiαx R(x) dx + eiαz R(z)dz = 2πi Res (eiαz R(z)). (8.2)
z=zk
zk >0
−R CR
Для сходимости интеграла (8.1) необходимо и достаточно,

чтобы функция R(z) не имела полюсов на действительной оси
и R(x) → 0 при x → ∞, т.е. R(x) ∼ Cx−k при x → ∞ и
k ≥ 1. Это означает, что R(z) ∼ Cz −k при z → ∞ и k ≥ 1,
т.е. M (R) = max |R(z)| → 0 при R → ∞.
z∈CR
Согласно лемме Жордана при R → ∞
Z
eiαx R(z)dz → 0.
CR
71
Переходя к пределу в равенстве (8.2), получаем
Z∞ X
I = eiαx R(x) dx = 2πi Res (eiαz R(z)).
z=zk
−∞ zk >0
Замечание. При α < 0 заменяя контур ΓR на симметрич-

ный ему относительно действительной оси контур Γ−
R , получим
формулу
Z∞ X
I = eiαx R(x) dx = −2πi Res (eiαz R(z)).
z=zk
−∞ zk >0
72
9.1 Рациональные интегралы
Рассмотрим интеграл
Z∞
I= f (x) dx, (9.1)
−∞
где f (x) – рациональная функция.

Пусть f (z) – соответствующая рациональная функция ком-
плексного переменного. Если f (z) = Pn (z)/Qm (z), где Pn (z) и
Qm (z) многочлены степени n и m соответственно, то для сходи-
мости интеграла (9.1) необходимо и достаточно, чтобы функция
f (z) не имела полюсов на действительной оси и для степеней
многочленов выполнялось неравенство m − n ≥ 2.
Поскольку рациональная функция на комплексной плоско-
сти C может иметь лишь конечное14 количество полюсов, то
можно выбрать такое значение 0 < R < ∞, что все конечные
особые точки функции f (z) будут лежать в круге |z| < R.
Рассмотрим ориентированный в положительном направлении
замкнутый контур, состоящий из отрезка [−R, R] и верхней по-
луокружности CR = {z ∈ C : |z| = R, Im z ≥ 0}.
CR
-R O x
R
14 почему конечное?
73
ZR Z X
f (x) dx + f (z)dz = 2πi Res f (z). (9.2)
z=zk
−R CR Im zk >0
Поскольку при R → ∞
Z
f (z)d z ≤ CR−2 2πR → 0,

CR
то переходя к пределу в равенстве (9.2), получаем

Z∞ X
I = f (x) d x = 2πi Res f (z).
z=zk
−∞ Im zk >0
В случае, когда особых точек оказывается довольно много,

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

Z∞
dx
In = , n ≥ 1.
1 + x2n
0
Решение. Функция
1
f (x) =
1 + x2n
имеет 2n особых точек.
Рассмотрим интеграл по замкнутому контуру ΓR , состояще-
му из отрезка действительной оси L = [0, R], дуги окружности
CR = {z = Reiϕ , 0 ≤ ϕ ≤ π
n } и отрезка l = {z = re
iπ/n
, 0≤r≤
R}.
74
y
l
CR
z0
O R x
L
Внутри контура ΓR функция f (x) имеет единственный про-

стой полюс z0 = eiπ/(2n) . Вычет в точке z0 равен
1 z0 z0
Res f (z) = 2n−1 = 2nz 2n = − 2n .
z=z0 2nz0 0

Z Z Z Z
f (z) dz = f (z) dz + f (z) dz + f (z) dz = 2πi Res f (z).
z=z0
ΓR L CR l
Поскольку |f (z)| ∼ 1 при z → ∞, то

|z|2n
Z
f (z) dz → 0, (R → 0).
CR
Интеграл по отрезку l сводится к интегралу по отрезку L =
75
[0; R]
Z0 ZR
dr
Z
iπ/n iπ/n iπ/n
f (z) dz = f (re )e dr = −e .
1 + r2n
l R 0
Переходя к пределу, получаем

πi iπ/(2n)
In − eiπ/n In = − e ,
n
откуда
Z∞
dx π
In = 2n
= π .
1+x 2n sin 2n
0
4
9.2 Комплексный логарифм

Прежде чем переходить в вычислению интегралов, содержащих
нецелые степени и логарифмы, мы введём понятие комплексного
логарифма и степенной функции.
Пусть z = reiϕ , тогда, определяя логарифм как обратную
функцию к экспоненте, естественно считать, что ln(z) = ln r +iϕ,
или с учётом 2πi-периодичности
Ln z = ln |z| + i Arg z. (9.3)
i Arg z
Действительно exp(ln z) = |z|e = z для всех z 6== 0. С дру-
гой стороны, равенство (9.3) определяет многозначную функ-
цию, что не всегда удобно. Покажем, что в некоторых областях
удаётся выделить аналитическую ветвь логарифма.
Теорема 9.2. Пусть Ω — односвязная область такая, что 1 ∈
Ω, а 0 6∈ Ω. Тогда в Ω можно выделить ветвь логарифма lnΩ (z),
обладающую свойствами
1) lnΩ (·) аналитична в Ω;
2) exp(lnΩ (z)) = z для всех z ∈ Ω;
3) lnΩ (x) = ln(x) для всех 1−δ < x < 1+δ, для некоторого δ > 0.
76
Доказательство. Построим lnΩ (z) как первообразную к функ-
ции 1/z. Поскольку 0 6∈ Ω, функция 1/z аналитична в Ω. Поло-
жим
dw
Z
lnΩ (z) = ,
w
1
Ùz
где 1z
ı — кривая в Ω, соединяющая 1 и z ∈ Ω.
1) Аналитичность lnΩ (z) практически очевидна15 .
2) Докажем, что z exp(− lnΩ (z)) = 1. Действительно,
(z exp(− lnΩ (z)))0 = 0.
С другой стороны, 1 · exp(− lnΩ (1)) = 1.

3) Поскольку 1 ∈ Ω, найдётся δ > 0 такое, что [1−δ, 1+δ] ⊂ Ω.
Тогда для x ∈ [1 − δ, 1 + δ]
Zx
dt
lnΩ (x) = = ln(x).
t
1
Задача 27. Показать, что для z ∈ Ω
lnΩ (z) = ln |z| + iϕ, ϕ ∈ Arg z, |ϕ| < π.
Замечание 9.3. Для наших целей более удобной оказывается

ветвь логарифма
dw
Z
ln− (z) = + iπ.
w
−1z
ˆ
Эта функция аналитична в комплексной плоскости с разрезом
по лучу [0, +∞). В частности для x > 0 имеем ln− (x + i0) = ln(x)
и ln− (x − i0) = ln(x) + 2πi. И вообще,
ln− (z) = ln |z| + i arg z, arg z ∈ [0, 2π).

15 см. также задачу 6
77
Для a ∈ C определим степенную функцию
z a = exp(a · Ln z).
Ветви степенной функции определяются соответствующими вет-
вями логарифма.
9.3 Интегралы со степенным весом

Рассмотрим интеграл вида
Z∞
I = xα−1 f (x) dx, (9.4)
0
где α — нецелое действительное число, а f (x) — рациональная

функция.
Без ограничения общности можно считать, что f (0) 6= 0 и
f (0) 6= ∞, поскольку иначе f (x) = xm f1 (x), f1 (0) 6= 0, f1 (0) 6=
∞ и xα−1 f (x) = xβ−1 f1 (x). Также при z → ∞ выполняется
оценка f (z) ∼ Cz −k , где k — целое число, так как f (z) — раци-
ональная функция.
Для сходимости интеграла необходимо:
1) чтобы функция f (x) не имела полюсов на полуоси 0 < x <
∞;
2) α > 0, поскольку xα−1 f (x) ∼ xα−1 f (0), при x → +0;
3) α < k, поскольку xα−1 f (x) ∼ Cxα−k−1 , при x → +∞.
Продолжим подынтегральную функцию f (x) в комплексную
плоскость, при этом следует учесть, что функция z α−1 является
многозначной. Пусть D — плоскость с разрезом [0, +∞]. Фикси-
руем однозначную в области D ветвь h(z) функции z α−1 , прини-
мающую положительные значения на верхнем берегу разреза, то
есть h(x + i0) = xα−1 . Тогда на нижнем берегу разреза получаем
h(x − i0) = xα−1 ei2π(α−1) = xα−1 ei2πα .
Пусть все конечные особые точки рациональной функции f (z)
лежат в кольце r < |z| < R. Рассмотрим ориентированный за-
мкнутый контур Γr,R , состоящий из окружностей Cr = {|z| =
78
r}, CR = {|z| = R} и отрезков [r, R], [R, r], лежащих соответ-
ственно на верхнем и нижнем берегах разреза.
CR
Cr
r R x
Рис. 12: Контур Γr,R .
Z ZR Zr
α−1 i2πα
h(z) f (z) d z = x f (x) d x + e xα−1 f (x) d x+
Γr,R r R
Z Z X
+ h(z) f (z) d z+ h(z) f (z) d z = 2πi Res (h(z) f (z)). (9.5)
z=zk
CR Cr−
Из условий 2) и 3) следует, что

Z
lim h(z) f (z) d z = 0,
R→∞
CR
79
Z
lim h(z) f (z) d z = 0.
r→0
Cr−
Переходя в равенстве (9.5) к пределу при r → 0 и R → ∞,

получаем
X
I − ei2πα · I = 2πi Res (h(z) f (z)).
z=zk
Окончательно, имеем:
Z∞
2πi X
I= xα−1 f (x) dx = i2πα
Res (h(z) R(z)).
1−e z=zk
0
Замечание. Достаточно часто встречающиеся интегралы ви-

да
Z1
x α
f (x) d x
1−x
0
x сводятся к интегра-
при помощи замены переменной y = 1 − x
лам со степенным весом вида (9.4).
Пример 9.4. Вычислить интеграл
Z∞
xp
dx, −1 < p < 1.
1 + x2
0
R∞ xp
Решение. Обозначим I = 1+x2 dx.
0
Рассмотрим замкнутую кривую ΓR,r как на рис. 12. Пусть
h(z) — однозначная ветвь функции z p такая, что h(x + i0) =
xp (в области, ограниченной кривой ΓR,r , h(z) = ep ln |z|+i arg z ).
80
h(z)
Особыми точками функции 1+z 2 внутри кривой являются −i, i
— полюса первого порядка. Найдём вычеты в этих точках

π 3π
h(z) eip 2 h(z) eip 2
Res = , Res = − .
z=i 1 + z2 i z=−i 1 + z 2 i
Устремляя R → ∞ и r → 0, приходим к уравнению
Ç π 3π
å
pi2π eip 2 eip 2 π 3π
I −e I = 2πi − = π(eip 2 − eip 2 ),
i i
откуда находим
π
I= .
2 cos(πp/2)
4
9.4 Интегралы с логарифмическим весом

Z∞
Im = xα−1 (ln x)m R(x) dx, (9.6)
0
где α – действительное число, m ∈ N, а R(x) – рациональная

функция.
Как и в предыдущем параграфе будем считать, что R(0) 6= 0
и R(0) 6= ∞, и R(z) ∼ Cz −k при z → ∞.
Условия сходимости интеграла (9.6) оказываются такими же
как и для интегралов со степенным весом в пункте 9.3:
1) функция R(x) должна не иметь полюсов на полуоси 0 <
x < ∞;
2) 0 < α < k.
Продолжим подынтегральную функцию в комплексную плос-
кость. Пусть D — плоскость с разрезом [0, +∞]. Фиксируем од-
нозначную в области D ветвь h(z) функции z α−1 , принимаю-
щую положительные значения на верхнем берегу разреза, то есть
81
h(x + i0) = xα−1 , и однозначную ветвь функции ln z, принима-
ющую действительные значения на верхнем берегу разреза, то
есть ln(x + i0) = ln x. Тогда на нижнем берегу разреза получаем
h(x − i0) = xα−1 ei2πα , ln(x − i0) = ln x + 2πi.
Пусть все конечные особые точки рациональной функции R(z)
лежат в кольце r < |z| < R. Рассмотрим ориентированный за-
мкнутый контур Γr,R , состоящий из окружностей Cr = {|z| =
r}, CR = {|z| = R} и отрезков [r, R], [R, r], лежащих соответ-
ственно на верхнем и нижнем берегах разреза (см. рис. 12).
Задача 28. Доказать, что функция h(z) = eα(ln |z|+i arg z) явля-
ется аналитической в области ограниченной кривой Γr,R .
Z ZR
m
h(z) (ln z) R(z) dz = xα−1 (ln x)m R(x) dx+
Γr,R r
Z Zr
+ h(z) (ln z)m R(z) dz + ei2πα xα−1 (ln x + 2πi)m R(x) dx+
CR R
Z X
+ h(z) (ln z)m R(z) dz = 2πi Res (h(z) (ln z)m R(z)). (9.7)
z=zk
Cr−
Из условия 2) следует, что

Z
lim h(z) (ln z)m R(z) d z = 0,
R→∞
CR
Z
lim h(z) (ln z)m R(z) d z = 0.
r→0
Cr−
82
Переходя в равенстве (9.7) к пределу при r → 0 и R → ∞,
получаем
Z∞ Z∞
α−1 m i2πα
x (ln x) R(x) dx − e xα−1 (ln x + 2πi)m R(x) d x =
0 0
X
= 2πi Res (h(z) (ln z)m R(z)). (9.8)
z=zk
Возможны два различных случая.

1. Число α является нецелым. В этом случае множи-
тель ei2πα перед вторым интегралом в формуле (9.8) отличен от
единицы. Наиболее простой вид формула (9.8) имеет при m = 1
Z∞ X
i2πα
(1 − e )I1 − 2πi xα−1 R(x) d x = 2πi Res (h(z) ln z R(z)).
z=zk
0
(9.9)
Если ввести обозначение
Z∞
J= xα−1 R(x) d x,
0
и выделить в формуле (9.9) действительную и мнимую части, то

мы получим линейную систему уравнений вида
ß
a1 I1 + a2 J = A
b1 I1 + b2 J = B,
из которой можно найти значение интеграла I1 . Зная значение
I1 , по формуле (9.8) можно последовательно найти значение ин-
тегралов I2 , I3 , . . . Im .
2. Число α является целым. В этом случае мы имеем
интеграл вида
Z∞
Im = (ln x)m R(x) dx,
0
83
формула (9.8) принимает вид
Z∞ Z∞ X
(ln x) R(x) dx− (ln x+2πi)m R(x) dx = 2πi
m
Res (ln z)m R(z)
z=zk
0 0
(9.10)
и не позволяет найти интеграл Im .
Для нахождения интеграла Im в формуле (9.10) в качестве
подынтегральной функции следует взять функцию (ln z)m+1 R(z).
Если рациональная функция функция R(x) является чётной,
то для вычисления интеграла Im можно использовать контур
γr,R , состоящий из отрезков действительной оси [−R, −r], [r, R]
+
и верхних полуокружностей Cr+ , CR .
84
10 Преобразование Лапласа
10.1 Функции ограниченного роста (оригинал)
Лоально интегрируемая функция f : [0, +∞) → R называется
функцией ограниченного роста, если найдутся постоянные M >
0 и a ∈ R, что для всех t ∈ [0, +∞)
|f (t)| ≤ M eat .
Точная нижняя граница всех таких a называется показателем

роста функции f и обозначается через a(f ). В частности, если
b > a(f ), то
+∞
Z
|f (t)|e−bt dt < ∞.
0
Пример 10.1. Проверить являются ли функции
H(x), ex , sin x
функциями ограниченного роста. Найти показатель роста.
10.2 Преобразование Лапласа

Преобразование Лапласа функции f (t):
+∞
Z
L{f (t)} = F (p) = e−pt f (t) dt.
0
Функция, называемая изображением, F (p) определена в

комплексной полуплоскости Re p > a(f ). В свою очередь, функ-
ция f (t) называется оригинал.
85
Пример 10.2. Пусть f (t) = H(t), тогда
+∞ +∞
1
Z Z
−pt
L{H(t)} = e H(t) dt = e−pt f (t) dt = .
p
0 0
То есть L{H(t)} = p1 . 4
Пример 10.3. Пусть f (t) = tn , t > 0. Вычислить преобразова-

ние Лапласа {f (t)}.
Hint: сначала показать, что L{tn } = np L{tn−1 }.
10.3 Аналитичность изображения

Теперь нашей задачей будет исследование регулярности изобра-
жения F (p).
Теорема 10.4. Если функция f (z, ζ) аналитична по z в одно-
связной области D, кусочно-непрерывна по совокупности пере-
менных и интеграл
Z
F (z) = f (z, ζ) dζ
C
сходится равномерно в области D, то функция F (z) является

аналитической в области D.
Доказательство. Пусть Γ — произвольный замкнутый
R кусочно-
гладкий контур в D. Тогда по теореме Коши f (z, ζ) dz = 0. В
Γ
силу равномерной сходимости можно переставить интегралы
Z Z Z Z Z
F (z) dz = f (z, ζ) dζ dz = f (z, ζ) dz dζ = 0.
Γ Γ C C Γ
По этому по теореме Морера F (z) — аналитическая функция

в D.
86
Теорема 10.5. Изображение
+∞
Z
F (p) = e−pt f (t) dt (10.1)
0
является аналитической функцией в области Re p > a(f ).

Доказательство. Пусть Re p > a(f ). Тогда
−δt
|e−pt f (t)| ≤ M e 2 ,
где δ = a(f ) − Re p. Поэтому интеграл (10.1) сходится равно-
мерно в круге B(p, δ/2). По теореме 10.4 F (p) аналитична круге
B(p, δ/2). В силу произвольности выбора точки p получаем тре-
буемое.
Задача 29. Исследовать множество равномерной сходимости
интеграла
+∞
Z
ezt dt.
0
10.4 Обратное преобразование Лапласа

Обратное преобразование Лапласа L−1 , это такое преобра-
зование, что
L−1 (L(f (t))) = f (t).
Теорема 10.6. Если 1) F (p) аналитична в полуполосе Re p > α,
2) max |F (p)| → 0 при R → ∞.
|p|=R,Re z>α
α+i∞
R
3) интеграл F (p) dp сходится абсолютно.
α−i∞
Тогда F (p) является изображением функции
α+i∞
1
Z
f (t) = ept F (p) dp
2πi
α−i∞
87
10.5 Теоремы разложения
Теорема 10.7 (Первая теорема разложения). Пусть F (p) явля-
ется аналитической в окрестности бесконечно удаленной точ-
ки и её разложение в ряд Лорана имеет вид
∞
X cn
F (p) = n
.
n=1
z
Тогда F (p) служит изображением оригинала

∞
X cn+1 n
f (t) = H(t) t .
n=0
n!
Теорема 10.8 (Вторая теорема разложения). Пусть F (p) ана-

литична во всей плоскости C, за исключением полюсов. При-
ичём в каждой ограниченной области содержится только ко-
нечное количество полюсов. Тогда если выполнены условия
1) существует полуплоскость Re p > α не содержащая по-
люсов F (p),
2) найдётся последовательность окружностей Cn = {|z| =
Rn } так, что
Rn → ∞ и max |F (p)| → 0 при n → ∞,

Cn
3) при любом a > α

+∞
Z
|F (a + is)| ds < ∞,
−∞
то F (p) является изображением оригинала

X
f (t) = H(t) Res F (p)ept .
p=pk
pk
88
Задача 30. Пусть 1) F (p) аналитична в полуполосе Re p > α,
2) max |F (p)| → 0 при R → ∞.
|p|=R,Re z>α
α+i∞
R
3) интеграл F (p) dp сходится абсолютно.
α−i∞
16
Определим
a+i∞
Z
f (t) = F (p)e−pt dp.
a−i∞
Проверить, что f (t) = 0 при всех t < 0.
16 т.е. не предполагаем, что L{f (t)} = F (p)
89
11 Принцип аргумента и теорема Руше
11.1 Логарифмическая производная
0
Пусть функция f (z) аналитична в области Ω. Функция ff (z)
(z)
на-
зывается логарифмической производной функции f (z) (дей-
ствительно, (ln f )0 = f 0 /f ).
Логарифмическая производная обладает следующим свойством
(f · g)0 f 0 · g + f · g0 f0 g0
= = + , (11.1)
f ·g f ·g f g
то есть логарифмическая производная произведения равняется
сумме логарифмических производных.
Пусть теперь f (z) — аналитическая в области Ω функция,
имеющая конечное число нулей z1 , . . . , zj кратности n1 , . . . , nj .
По теореме 4.10 функцию f (z) можно записать в виде
f (z) = (z − z1 )n1 · · · · · (z − zj )nj · g(z),
где g(z) — аналитическая функция, не имеющая нулей в обла-
сти Ω. Используя свойство (11.1), вычислим логарифмическую
производную функции f (z):
f 0 (z) n1 nj g 0 (z)
= + ··· + + . (11.2)
f (z) z − z1 z − zj g(z)
В случае если f имеет конечное число полюсов p1 , . . . , pk по-
рядка m1 , . . . , mk , логарифмическая производная примет вид
f 0 (z) m1 mk g 0 (z)
=− − ··· − + , (11.3)
f (z) z − p1 z − pk g(z)
где g(z) — аналитическая функция, не имеющая полюсов в об-
ласти Ω.
Пусть f (z) — функция, аналитическая в области Ω, за исклю-
чением конечного числа полюсов, γ ⊂ Ω — замкнутая, кусочно-
гладкая кривая без самопересечений и не проходящая через по-
люса функции f . Введём следующие обозначения:
90
N (f, γ) — число нулей функции f внутри γ,
P (f, γ) — число полюсов функции f внутри γ.
Теорема 11.1. Пусть функция f и кривая γ удовлетворяют
описанным выше условиям. Тогда
Z 0
1 f (z)
dz = N (f, γ) − P (f, γ).
2πi f (z)
γ
Доказательство. Пусть z1 , . . . , zj — нули кратности n1 , . . . , nj ,

p1 , . . . , pk — полюса порядка m1 , . . . , mk функции f , находящиеся
внутри γ.
По (11.2) и (11.3) получаем
f 0 (z) n1 nj m1 mk g 0 (z)
= + ··· + − − ··· − + ,
f (z) z − z1 z − zj z − p1 z − pk g(z)
где g(z) — голоморфная функция, не имеющая нулей и полюсов.
0
Тогда gg(z)
(z)
— голоморфная функция и по теореме Коши 2.3
Z 0
g (z)
dz = 0.
g(z)
γ
Используя равенство (2.4), выводим

Z 0
f (z)
dz = 2πi(n1 + · · · + nj − m1 − · · · − mk ),
f (z)
γ
что и завершает доказательство.

Доказанное утверждение позволяет доказать следующую тео-
рему.
Теорема 11.2 (теорема Руше). Пусть f и g — голоморфные
функции, γ — замкнутая кусочно-гладкая кривая без самопере-
сечений и |f (z)| > |g(z)| для всех z ∈ γ. Тогда
N (f + g, γ) = N (f, γ).
91
Доказательство. По теореме 11.1 имеем
Ä Ä ää0
1
Z
(f + g)0 1
Z f 1 + fg
N (f + g, γ) = dz = Ä ä dz =
2πi f +g 2πi f 1 + fg
γ γ
Ä ä0
Z 0 Z 1+ g
1 f 1 f
= dz + dz =
2πi f 2πi 1 + fg
γ γ
g 0
Ä ä
1
Z 1+ f
= N (f, γ) + dz.
2πi 1 + fg
γ
Покажем, что последний интеграл равен нулю. Заменим пе-

ременную w = 1 + fg(z)
(z) , тогда
Ä ä0
Z 1 + fg Z
1
g dz = dw.
1+ f w
γ γ0
Контур γ 0 = 1 + fg(γ)
(γ) не обходи точку 0. Действительно, в силу
того, что |g(z)/f (z)| < 1 при z ∈ γ контур γ 0 целиком содержится
внутри круга B(1, 1). Следовательно 1/w аналитична внутри и
по теореме Коши 2.3 интеграл равен нулю.
В итоге получаем требуемое N (f + g, γ) = N (f, γ).
Пример 11.3. Сколько нулей в единичном круге имеет функ-
ция h(z) = ez − 4z n + 1, где n = 1, 2, 3, . . . ?
Решение. Пусть f (z) = −4z n + 1, а g(z) = ez . На единичной
окружности |z| = 1 имеем цепочку неравенств
|ez | = |ex eiy | = ex ≤ e1 < 3 = | − 4z n | − 1 ≤ | − 4z n + 1|.
То есть |f (z)| > |g(z)|. Функция

p f (z) = −4z n + 1 имеет n нулей в
единичном круге (это n
1/4). Следовательно, по теореме Руше
92
функция h(z) = f (z) + g(z) = ez − 4z n + 1 имеет n нулей в
единичном круге. 4
Пример 11.4. Сколько корней имеет уравнение
α + z − ez = 0, α ∈ R, 1 < α < +∞
в левой полуплоскости Re z ≤ 0?
Решение. Положим f (z) = α + z, g(z) = −ez . Заметим, что f (z)
имеет только один ноль: z = −α.
В качестве замкнутой кривой выберем полуокружность CR
некоторого радиуса R > α + 1, находящуюся в левой полуплос-
кости.
-α x
Для всех точек z ∈ CR имеет место следующая цепочка нера-

венств
|α + z| ≥ ||z| − α| = R − α > 1 ≥ ex = | − ez |.
Следовательно, |f (z)| > |g(z)| для всех z ∈ CR , и по теореме

Руше f (z) + g(z) имеет столько же нулей, что и f (z) внутри CR .
В силу произвольности R уравнение α + z − ez = 0 имеет один
корень в левой полуплоскости. 4
93
С помощью теоремы Руше можно получить простое доказа-
тельство основной теоремы алгебры: Всякий многочлен степени
n имеет на комплексной плоскости C ровно n корней с учетом
их кратности.
Доказательство. Пусть Pn (z) = an z n + an−1 z n−1 + · · · + a0 , где

an 6= 0. Положим f (z) = an z n и g(z) = an−1 z n−1 + · · · + c0 .
Поскольку
f (z)
lim = ∞,
z→∞ g(z)
то существует такое значение R0 , что при всех |z| > R0 выпол-

няется неравенство |f (z)| > |g(z)|.
Согласно теореме Руше, это означает что во всяком круге
B(0, R) при R > R0 (а следовательно и во всей комплексной
плоскости C) функции f (z) и Pn (z) = f (z) + g(z) имеют одина-
ковое количество нулей с учетом их кратности.
Очевидно, что точка z = 0 является нулём порядка n для
функции f (z) = an z n . Это и завершает доказательство теоремы.
Задача 31. Почему многочлен Pn (z) не имеет нулей за преде-

лами круга B(0, R0 )?
Задача 32. Пусть f (z) 6= const аналитическая функция. До-
казать, что для любого открытого множества E ⊂ C образ
f (E) является открытым множеством.
94
12 Конформные отображения
Определение 12.1. Биективная аналитическая функция f :
U → V называется конформным отображением.
Лемма 12.2. Если f : U → V аналитична и инъективна, то
f 0 (z) 6= 0 при всех z ∈ U .
В частности, отображение обратное к конформному кон-
формно.
Доказательство.
Теорема 12.3 (Инвариантность оператора Лапласа). Пусть U
и V — открытые множества в C и F : V → U — аналитиче-
ская функция. Тогда если функция u : U → R гармонична на U ,
то композиция u(F (·)) гармонична на V .
95
13 Дробно-линейные функции
Лемма 13.1 (Шварца). Пусть f : D → D — аналитическая
функция и f (0) = 0. Тогда
1) |f (z)| ≤ |z| для всех z ∈ D;
2) |f 0 (0)| ≤ 1;
3) Если для некоторого z0 6= 0 |f (z0 )| = |z0 |, то f (z) = cz, |c| = 1;
4) Если |f 0 (0)| = 1, то f (z) = cz, |c| = 1.
Доказательство. Доказательство.
96
14 Γ-функция
При x > 0 определена функция
Z∞
Γ(x) = et tx−1 dt.
0
Лемма 14.1. Γ-функцию можно продолжить до аналитиче-

R∞
ской функции на полуполскости Re z > 0: Γ(z) = et tz−1 dt.
0
Лемма 14.2. Если Re z > 0, то
Γ(z + 1) = zΓ(z). (14.1)
Теорема 14.3. Функцию Γ(z) можно продолжить до анали-
тической функции на области C \ {0, −1, −2, . . . }.
97
Рис. 13: Функция Γ(z).
Задача 33. Вычислить Res Γ(z), при n = 0, 1, 2, . . . .

z=−n
Лемма 14.4. Γ(z + 1) = zΓ(z), z ∈ C \ {0, −1, −2, . . . }.
Лемма 14.5. Для z ∈ C выполнено равенство
π
Γ(z)Γ(1 − z) = . (14.2)
sin πz
Задача 34. Вычислить |Γ(1/2 + iy)|, y ∈ R.
1
Теорема 14.6. Функця Γ(z) аналитична в C и имеет нули
только в 0, −1, −2, . . . .
98
Рис. 14: Функция 1/Γ(z).
14.1 Асимптотика Γ(z) при |z| → ∞

Теорема 14.7. Если |z| → ∞ и | arg z − π| > δ > 0, то
√
z ln z −z 2π
Γ(z) = e e (1 + O(|z|−1/2 )).
z 1/2
99
15 Асимптотика интегралов Лапласа
Интегралом Лапласа будем называть интеграл вида
Zb
F (λ) = f (x)eλS(x) dx,
a
где f (x), S(x) достаточно регулярные функции (часто мы пред-

полагаем, что f, S ∈ C ∞ [a, b]). Нас будет интересовать вопрос об
асимптотическом поведении интеграла F (λ) при больших λ (т.е.
λ → ∞).
Сначала получим тривиальную оценку сверху для интеграла
F (λ).
Лемма 15.1 (экспоненциальная оценка). Пусть при λ0 > 0 ин-
теграл F (λ0 ) сходится абсолютно и S(x) ≤ c на (a, b). Тогда
существует постоянная M такая, что
|F (λ)| ≤ M ecλ , λ > λ0 .
Доказательство. см. Березин, Романов. ТФКП. стр. 80
Теорема 15.2. Пусть f, S ∈ C ∞ [a, b] и S(x) достигает своего
максимума на краю интервала [a, b], причём S 0 (x0 ) 6= 0 (т.е.
точка x0 не является стационарной). Тогда
eλS(a)
1) Если x0 = a, то F (λ) = − λS 0 (a) (f (a)+O(1/λ)), при λ → ∞.
eλS(b)
2) Если x0 = b, то F (λ) = λS 0 (b) (f (b) + O(1/λ)), при λ → ∞.
15.1 Случай стационарной точки

Лемма 15.3 (Ватсон). Пусть
Zd
α
W (λ) = f (x)xβ e−λx dx
0
100
и
1 (n)
f (x) = f (0) + f 0 (0)x + · · · + f (0)xn + O(xn+1 ).
n!
Тогда
n
1 X k + β + 1 f (k) (0) − k+β+1 k+β+2
W (λ) = Γ( ) λ α + O(λ− α )
α α k!
k=0
Пример 15.4. Найти асимптотику интеграла при n → ∞
Z1
(cos x)n dx.
−1
Решение. 4
101
16 Асимптотика интегралов Фурье
Zb
Φ(λ) = f (x)eiλS(x) dx
a
и зададимся вопросом об асимптотическом поведении при λ →

∞.
Так, например, утверждение леммы Римана-Лебега состоит
в том, что
Zb
f (x)eiλx dx → 0, при λ → ∞.
a
Как видно, это частный S(x) = x. Однако в этой лемме нет

ответа на вопрос о скорости сходимости.
Теорема 16.1. Пусть S 0 (x) 6= 0 при x ∈ [a, b]. Тогда
Ç å
1 f (b)eiλS(b) f (a)eiλS(a)
Φ(λ) = − + O(1/λ2 ).
iλ S 0 (b) S 0 (a)
16.1 Случай стационарной точки

Для доказательства леммы Эрдейи на потребуется вычислить
следующий интеграл.
R∞ √
Задача 35. Доказать, что eit dt = eiπ/4 2π .
0
Лемма 16.2 (Эрдейи). Пусть f ∈ ∞ [0, b]. Тогда

Zb
1 π i π (α)
…
2
f (x)eiαλx dx = e 4 f (0) + O(1/λ).
2 |α|λ
0
102
Задача 36. Вычислить предел
Z1
2 2
lim λ · cos(t)eiλ t
dt.
λ→∞
0
103

Евсеев

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Евсеев

Загружено:

Авторское право:

Доступные форматы

Теория функций комплексного

3 Следствия теоремы Коши 28

4 Ряды аналитических функций 37

6 Элементы теории вычетов 65

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

13 Дробно-линейные функции 105

15 Асимптотика интегралов Лапласа 109

16 Асимптотика интегралов Фурье 111

• Романов А. С. Теория функций комплексного переменно-

• Лавреньтьев М. А., Шабат Б. В. Методы теории функций

C = {(x, y) : x, y ∈ R}, z = x + iy,

где i — мнимая единица (i2 = −1). Действительная часть Re z =

Для каждого числа z ∈ C существует противоположное по

1.2 Полярные координаты

Отсюда выводим тригонометрическую запись комплексного

Arg z = arg z + 2πk, где k ∈ Z,

где 0 6 arg z < 2π — главное значение аргумента. В свою

z1 · z2 = ρ1 · ρ2 (cos(ϕ1 + ϕ2 ) + i sin(ϕ1 + ϕ2 )). (1.2)

(cos ϕ + i sin ϕ)k = cos kϕ + i sin kϕ. (1.4)

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

1.3 Топология комплексной плоскости

Множество E ⊂ C называется открытым, если все его точ-

Рис. 2: Не связное множество

Рис. 4: Конечносвязная область

1.4 Функции комплексного переменного

f (z) = u(z) + iv(z) или f (x + iy) = u(x, y) + iv(x, y),

где u(x, y), v(x, y) — действительнозначные функции.

1.5 Комплексная производная

Сравним понятие комплексной производной с дифференци-

f (z) = f (z0 ) + λ(z − z0 ) + o(|z − z0 |).

Выделяя действительную и мнимую части в последнем неравен-

Эти равенства означают, что функции u, v дифференцируемы в

u0x (x0 , y0 ) = a, u0y (x0 , y0 ) = −b,

vx0 (x0 , y0 ) = b, vy0 (x0 , y0 ) = a.

Из этих равенств получаем

Следовательно функция f дифференцируема в точке z0 и зна-

f 0 = u0x + ivx0 , f 0 = u0x − iu0y , f 0 = vy0 − iu0y , f 0 = vy0 + ivx0 .

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

Это неявное определение комплексной экспоненты и не совсем

Теорема 1.7. 1) Существует и единственно решение зада-

Следствие 1.8. Комплексная экспонента обладает следующи-

1 уравнение гармонического осциллятора

Теорема 2.1 (формула Грина). Пусть γ — ориентированная

На комплексной плоскости можно определить несколько раз-

где точка zk принадлежит кривой и находится между zk , zk+1 .

Обратите внимание, что это понятие совпадает с криволиней-

Приведём основные свойства интеграла:

Задача 4. Доказать, что

считая, что n ∈ Z, а окружность |z − z0 | = R ориентирована

Полезно помнить, что

2.1 Интеграл по длине

2.1.1 Оценка интеграла

Воспользуемся показательной R формой записи комплексных чи-

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

Теорему можно доказывать следующим образом.

Равенство нулю двойных интегралов является следствием усло-

Замечание 2.4. Теорема 2.3 верна и для конечносвязных обла-

Учитывая аддитивность интеграла и равенство

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

Доказательство. 1. Пусть точка z ∈ Ω и d = dist(z, γ). Посколь-

1 f (w)d w 1 f (z)d w 1 f (w)d w

5. Из произвольности выбора числа ε следует, что

Если выполнены условия теоремы и z ∈ C \ D, то функция

называемый интегралом типа Коши и являющийся одно-