Академический Документы
Профессиональный Документы
Культура Документы
осень 2021
Теория функций комплексного переменного Назад к содержанию
Содержание
1 Комплексные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3 Комплексная экспонента . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
15 Первообразная . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
17 Cтепенные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
19 Гармонические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
20 Теорема единственности. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
21 Теоремы Вейерштрасса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
22 Ряд Лорана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
24 Вычеты. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
31 Конформные отображения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
33 Дробно-линейные отображения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
35 Функция Жуковского . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1 Комплексные числа
Определение 1.1. Множеством комплексных чисел называется множество C := R2 с
арифметическими операциями, введенными следующим образом: Поле имеет 9 свойств: 4 на
сложение и 4 на умножение +
◁ ∀(𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 ) ∈ C : (𝑥1 , 𝑦1 ) + (𝑥2 , 𝑦2 ) := (𝑥1 + 𝑥2 , 𝑦1 + 𝑦2 ) дистрибутивность. Всё
проверяется подстановкой.
Свойство №8 нужно доказать.
◁ ∀(𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 ) ∈ C : (𝑥1 , 𝑦1 ) · (𝑥2 , 𝑦2 ) := (𝑥1 𝑥2 − 𝑦1 𝑦2 , 𝑥1 𝑦2 + 𝑥2 𝑦1 )
Из 8
Замечание. В предыдущих курсах уже доказывалось, что комплексные числа с опреде- свойства
ленными выше арифметическими операциями образуют поле. Отметим также, что имеет следуютсвойства
2
Извлекая корень из обеих частей равенства |𝑧1 𝑧2 |2 = |𝑧1 |2 |𝑧2 |2 , получим требуемое.
Утверждение 1.2 (неравенство Коши). Для любых 𝑧1 , . . . , 𝑧𝑛 , 𝑤1 , . . . , 𝑤𝑛 ∈ C выполнено
следующее неравенство:
⃒ ⃒2 (︃ )︃ (︃ 𝑛 )︃
𝑛
⃒∑︁ ⃒ 𝑛
∑︁ ∑︁
𝑧𝑘 𝑤𝑘 ⃒ 6 |𝑧𝑘 |2 |𝑤𝑘 |2
⃒ ⃒
⃒
⃒ ⃒
𝑘=1 𝑘=1 𝑘=1
𝑛
∑︁ 𝑛
∑︁
2
06 |𝐵𝑧𝑘 − 𝐶𝑤𝑘 | = (𝐵𝑧𝑘 − 𝐶𝑤𝑘 )(𝐵𝑧𝑘 − 𝐶𝑤𝑘 ) =
𝑘=1 𝑘=1
𝑛
∑︁ 𝑛
∑︁ 𝑛
∑︁ 𝑛
∑︁
2 2 2
=𝐵 |𝑧𝑘 | − 𝐵𝐶 𝑧𝑘 𝑤𝑘 − 𝐵𝐶 𝑧𝑘 𝑤𝑘 + |𝐶| |𝑤𝑘 |2 = 𝐵 2 𝐴 − 𝐵|𝐶|2
𝑘=1 𝑘=1 𝑘=1 𝑘=1
𝜙 Re 𝑧
𝜙 𝜙 1
−𝑧 𝑧
Любой элемент множества Arg 𝑧 обозначается через arg 𝑧. Главным значением аргумен-
та числа 𝑧 называется единственное число arg0 𝑧 такое, что arg0 𝑧 ∈ Arg 𝑧 ∩ (−𝜋, 𝜋].
Замечание. Легко видеть, что ∀𝑧 ∈ C∖{0} : Arg 𝑧 = {arg0 𝑧 + 2𝜋𝑘 : 𝑘 ∈ Z}. Отметим
также, что для любых 𝑧1 , 𝑧2 ∈ C выполнены следующие равенства:
3 Комплексная экспонента
Определение 3.1. Комплексной экспонентой называется функция 𝑒𝑧 : C → C следую-
щего вида:
𝑒𝑧 := 𝑒𝑥 (cos 𝑦 + 𝑖 sin 𝑦), 𝑧 = 𝑥 + 𝑖𝑦 ∈ C
2. ∀𝑧 ∈ C : 𝑒𝑧 ̸= 0.
4. ∀𝑧 ∈ C : 𝑒−𝑧 = 1
𝑒𝑧
.
5. ∀𝑧 ∈ C : ∀𝑛 ∈ N : (𝑒𝑧 )𝑛 = 𝑒𝑧𝑛 .
Доказательство.
1. ∀𝑧 ∈ 𝐸 : 𝑧 ± 𝑇 ∈ 𝐸
2. ∀𝑧 ∈ 𝐸 : 𝑓 (𝑧 + 𝑇 ) = 𝑓 (𝑧)
Утверждение 3.2. Любое число вида 2𝜋𝑘𝑖, 𝑘 ∈ Z, является периодом комплексной экс-
поненты, причем других периодов у нее нет.
Ln 𝑧 := {𝑤 ∈ C : 𝑒𝑤 = 𝑧}
{︀√ }︀
Замечание. Для любого 𝑛 ∈ N, 𝑛 > 1, выполнено равенство 𝑛 0 = {0}.
Аналогичным образом можно убедиться, что для функции 𝑔(𝑡) = 𝑒𝑎𝑡 при любом 𝑎 ∈ C
𝑎𝑡
выполнено 𝑔 ′ (𝑡) = 𝑎𝑒𝑎𝑡 . Следовательно, если 𝑎 ̸= 0, то 𝑒𝑎𝑡 𝑑𝑡 = 𝑒𝑎 + 𝐶, где 𝐶 ∈ C.
∫︀
Определение 7.5. Пусть 𝛾 — кривая с параметризацией 𝑧 = 𝜎(𝑡), 𝑡 ∈ [𝑎, 𝑏]. Кривая назы-
вается:
◁ Простой замкнутой, или контуром, если она замкнута и сужение 𝜎|[𝑎,𝑏) инъективно
Определение 7.7. Кривая 𝛾 называется гладкой, если она имеет параметризацию вида
𝑧 = 𝜎(𝑡) = 𝜉(𝑡) + 𝑖𝜂(𝑡), 𝑡 ∈ [𝑎, 𝑏], где 𝜉, 𝜂 ∈ 𝐶 1 [𝑎, 𝑏] и для всех 𝑡 ∈ [𝑎, 𝑏] выполнено 𝜎 ′ (𝑡) ̸= 0,
кусочно-гладкой, если ее можно разбить на конечное число гладких дуг.
1. Множество 𝐺 открыто
Замечание. Легко видеть, что если lim𝑛→∞ 𝑧𝑛 = 𝑎 ∈ C, то, начиная с некоторого номера,
все значения элементов 𝑧𝑛 конечны, тогда lim𝑛→∞ |𝑧𝑛 − 𝑎| = 0. Кроме того, положим
|∞| := +∞ и заметим, что выполнены следующие эквивалентности:
◁ lim𝑛→∞ (𝑧𝑛 + 𝑤𝑛 ) = 𝑎 + 𝑏
◁ lim𝑛→∞ 𝑧𝑛 𝑤𝑛 = 𝑎𝑏
𝑧𝑛 𝑎
◁ Если ∀𝑛 ∈ N : 𝑤𝑛 ̸= 0 и 𝑏 ̸= 0, то lim𝑛→∞ 𝑤𝑛
= 𝑏
Замечание. Для комплексных числовых рядов выполнен аналог критерия Коши схо-
димости вещественных числовых рядов. В частности, из него легко вывести, что любой
абсолютно сходящийся ряд сходится.
Пример. Ряд ∞ 𝑛
∑︀
∑︀∞ 𝑛=0 𝑧 сходится при любом 𝑧 ∈ C, |𝑧| < 1, поскольку при таком 𝑧 сходится
1
ряд 𝑛=0 |𝑧|𝑛 = 1−|𝑧| . Вычислим его сумму:
∞
𝑛 1 − 𝑧 𝑛+1 𝑛→∞ 1 ∑︁ 1
𝑆𝑛 = 1 + 𝑧 + · · · + 𝑧 = −−−→ ⇒ 𝑧𝑛 =
1−𝑧 1−𝑧 𝑛=0
1−𝑧
и 𝑎 = 𝑏 + 𝑖𝑐 ∈ C, то: ⎧
⎪ lim
⎨(𝑥,𝑦)→(𝑥 𝑢(𝑥, 𝑦) = 𝑏
0 ,𝑦0 )
lim 𝑓 (𝑧) = 𝑎 ⇔
𝑧→𝑧0 ⎪ lim 𝑣(𝑥, 𝑦) = 𝑐
⎩
(𝑥,𝑦)→(𝑥0 ,𝑦0 )
◁ lim𝑧→𝑧0 𝑓 (𝑧)𝑔(𝑧) = 𝑎𝑏
˚𝛿 (𝑧0 ) : 𝑔(𝑧) ̸= 0 и 𝑏 ̸= 0, то lim𝑧→𝑧0
◁ Если ∀𝑧 ∈ 𝐵 𝑓 (𝑧)
= 𝑎
𝑔(𝑧) 𝑏
Определение 9.2. Пусть функция 𝑓 определена в некоторой окрестности 𝐵𝛿0 (𝑧0 ) точки
𝑧0 ∈ C. Функция 𝑓 называется непрерывной в точке 𝑧0 , если lim𝑧→𝑧0 𝑓 (𝑧) = 𝑓 (𝑧0 ).
Замечание. Легко заметить, что если 𝑓 (𝑧) = 𝑓 (𝑥+𝑖𝑦) = 𝑢(𝑥, 𝑦)+𝑖𝑣(𝑥, 𝑦), то 𝑓 непрерывна
в точке 𝑧0 = 𝑥0 + 𝑖𝑦0 ∈ C ⇔ 𝑢, 𝑣 непрерывны в точке (𝑥0 , 𝑦0 ), поскольку аналогичная
эквивалентность выполнена для предела функции в точке.
Пример. Рассмотрим функцию 𝑓 : C → C следующего вида:
⎧
1
⎨𝑧 − 𝑖,
⎪
⎪
⎪ если 𝑧 ∈ C∖{𝑖, ∞}
𝑓 (𝑧) = 0, если 𝑧 = ∞
⎪
⎪
⎪
⎩∞, если 𝑧 = 𝑖
𝑒𝑧 + 𝑒−𝑧 𝑒𝑧 − 𝑒−𝑧
ch 𝑧 := , sh 𝑧 := ,𝑧∈C
2 2
Замечание. Комплексная экспонента, многочлены, а также тригонометрические и гипер-
болические синус и косинус считаются основными элементарными функциями. По уже
доказанным свойствам, они непрерывны в каждой точке из C.
Теорема 11.1. Пусть 𝑓 (𝑧) = 𝑓 (𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦). Тогда 𝑓 дифференцируема в
точке 𝑧0 = 𝑥0 + 𝑖𝑦0 ∈ C ⇔ 𝑢, 𝑣 дифференцируемы в точке (𝑥0 , 𝑦0 ) и выполнены следующие
равенства, называемые условиями Коши-Римана:
{︃
𝑢′𝑥 (𝑥0 , 𝑦0 ) = 𝑣𝑦′ (𝑥0 , 𝑦0 )
𝑢′𝑦 (𝑥0 , 𝑦0 ) = −𝑣𝑥′ (𝑥0 , 𝑦0 )
Доказательство.
𝑢(𝑥 + ∆𝑥, 𝑦 + ∆𝑦) + 𝑖𝑣(𝑥 + ∆𝑥, 𝑦 + ∆𝑦) − 𝑢(𝑥, 𝑦) − 𝑖𝑣(𝑥, 𝑦) = 𝐴∆𝑧 + |∆𝑧|𝛼(∆𝑧) =
√︀
= (𝐵 + 𝑖𝐶)(∆𝑥 + 𝑖∆𝑦) + (∆𝑥)2 + (∆𝑦)2 (𝛽(∆𝑥, ∆𝑦) + 𝑖𝛾(∆𝑥, ∆𝑦))
Значит, 𝑢, 𝑣 дифференцируемы в точке (𝑥0 , 𝑦0 ). Кроме того, 𝐵 = 𝑢′𝑥 (𝑥0 , 𝑦0 ) = 𝑣𝑦′ (𝑥0 , 𝑦0 )
и 𝐶 = 𝑣𝑥′ (𝑥0 , 𝑦0 ) = −𝑢′𝑦 (𝑥0 , 𝑦0 ).
⇐ Положим 𝐵 := 𝑢′𝑥 (𝑥0 , 𝑦0 ) = 𝑣𝑦′ (𝑥0 , 𝑦0 ), 𝐶 := 𝑣𝑥′ (𝑥0 , 𝑦0 ) = −𝑢′𝑦 (𝑥0 , 𝑦0 ), тогда снова вы-
полнена система из доказательства (⇒). Умножая второе равенство системы на 𝑖 и
складывая с первым, получим требуемое.
Замечание. Из определения производной и теоремы выше легко видеть, что если 𝑓 диф-
ференцируема в точке 𝑧0 = 𝑥0 +𝑖𝑦0 ∈ C и 𝑓 (𝑧) = 𝑓 (𝑥+𝑖𝑦) = 𝑢(𝑥, 𝑦)+𝑖𝑣(𝑥, 𝑦), то выполнены
следующие равенства:
Обозначение — 𝑓 ∈ 𝐶 1 (𝐺).
Замечание. Если 𝑓 (𝑧) = 𝑓 (𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦), то, как нетрудно убедиться, выпол-
нены следующие равенства:
∫︁ ∫︁ ∫︁
𝑓 (𝑧)|𝑑𝑧| = 𝑢(𝑥, 𝑦)𝑑𝑠 + 𝑖 𝑣(𝑥, 𝑦)𝑑𝑠
𝛾
∫︁ ∫︁ 𝛾 ∫︁ 𝛾
𝑓 (𝑧)𝑑𝑧 = 𝑢𝑑𝑥 − 𝑣𝑑𝑦 + 𝑖 𝑣𝑑𝑥 + 𝑢𝑑𝑦
𝛾 𝛾 𝛾
4. Аналогичные пунктам (1), (2), (3) свойства выполнены для интегралов первого рода
Таким образом, первое неравенство уже получено, а второе следует из свойств веще-
ственных интегралов.
интеграл: ∫︁
𝐼𝑛 := (𝑧 − 𝑧0 )𝑛 𝑑𝑧
|𝑧−𝑧0 |=𝑅
1. 𝐺 ⊂ R2 — односвязная область
2. 𝑃, 𝑄 ∈ 𝐶 1 (𝐺)
𝜕𝑃 𝜕𝑄
3. 𝜕𝑦
≡ 𝜕𝑥
на 𝐺
Теорема 13.2 (интегральная теорема Коши для односвязной области). Пусть выполнены
следующие условия:
1. 𝐺 ⊂ C — односвязная область
2. 𝑓 ∈ 𝐶 1 (𝐺)
Проверим, что первый интеграл в сумме выше равен нулю, поскольку равенство нулю
второго интеграла проверяется аналогично. Поскольку функция 𝑓 регулярна, то выполне-
но 𝑢, 𝑣 ∈ 𝐶 1 (𝐺), причем 𝜕𝑢 𝜕𝑣
∫︀
𝜕𝑦
≡ − 𝜕𝑥 на 𝐺 по условиям Коши-Римана, тогда 𝛾 𝑢𝑑𝑥 − 𝑣𝑑𝑦 = 0
по предыдущей теореме.
𝛾1 𝛾
𝛾2 𝛾3
𝑧0
˚𝜀 (𝑧0 )
𝐺2 = 𝐵
𝐺1
Теорема 13.3 (без доказательства, формула Грина для области с простой границей).
Пусть выполнены следующие условия:
Теорема 13.4 (интегральная теорема Коши для ограниченной области с простой грани-
цей). Пусть выполнены следующие условия:
3. 𝑓 ∈ 𝐶 1 (𝐺)
3. 𝑓 ∈ 𝐶 1 (𝐺)
4. 𝑧0 ∈ 𝐺
Тогда верно следующее равенство:
∫︁
1 𝑓 (𝑧)
𝑓 (𝑧0 ) = 𝑑𝑧
2𝜋𝑖 𝜕𝐺 𝑧 − 𝑧0
15 Первообразная
Определение 15.1. Функция 𝐹 называется первообразной функции 𝑓 на области 𝐺 ⊂ C,
если 𝐹 дифференцируема на 𝐺 и 𝐹 ′ ≡ 𝑓 на 𝐺.
Замечание. Если 𝐹 — первообразная функции 𝑓 на области 𝐺, то для любого 𝐶 ∈ C
функция 𝐹 + 𝐶 — тоже первообразная.
Доказательство. Тривиально, поскольку 𝐶 ′ ≡ 0 на C.
Утверждение 15.1. Если 𝐹1 , 𝐹2 — первообразные функции 𝑓 на области 𝐺, то для неко-
торого 𝐶 ∈ C выполнено 𝐹1 − 𝐹2 ≡ 𝐶 на 𝐺.
Доказательство. Положим 𝐹 := 𝐹2 − 𝐹1 , тогда 𝐹 тоже дифференцируема на 𝐺, причем
𝐹 ′ = 𝐹2′ −𝐹1′ ≡ 0 на 𝐺, откуда 𝐹 ′ ∈ 𝐶 1 (𝐺). Пусть 𝐹 (𝑧) = 𝑈 (𝑥, 𝑦)+𝑖𝑉 (𝑥, 𝑦), тогда выполнено
равенство 𝐹 ′ = 𝑈𝑥′ + 𝑖𝑉𝑥′ , и, по условиям Коши-Римана, 𝑈𝑥′ , 𝑈𝑦′ , 𝑉𝑥′ , 𝑉𝑦′ ≡ 0 на 𝐺. Значит,
функции 𝑈 и 𝑉 постоянны на 𝐺, что и требовалось.
Получено требуемое.
Следствие. Пусть функция 𝑓 непрерывна и имеет первообразную на области 𝐺 ⊂ C.
Тогда для любой замкнутой кусочно-гладкой кривой 𝛾 такой, что 𝑀 (𝛾) ⊂ 𝐺, выполнено
равенство: ∫︁
𝑓 𝑑𝑧 = 0
𝛾
2. 𝑓𝑛 →ЛР 𝑓 на 𝐺
Тогда 𝑓 непрерывна на 𝐺.
2. Ряд ∞
∑︀
𝑘=0 𝑓𝑘 локально равномерно сходится к сумме 𝑆 на 𝐺
Тогда 𝑆 непрерывна на 𝐺.
Доказательство.
2. 𝑓𝑛 →ЛР 𝑓 на 𝐺
Получено требуемое.
Замечание. Переформулируем утверждение выше для случая функциональных рядов.
Пусть выполнены следующие условия:
1. Функции 𝑓0 , 𝑓1 , . . . непрерывны на области 𝐺 ⊂ C
2. Ряд ∞
∑︀
𝑛=0 𝑓𝑛 сходится локально равномерно на 𝐺
3. Ряд ∞
∑︀
𝑛=0 𝑎𝑛 сходится
Тогда ряд ∞
∑︀
𝑛=0 𝑓𝑛 сходится регулярно на 𝐸.
17 Cтепенные ряды
Определение 17.1. Пусть 𝑧0 ∈ C и 𝑐0 , 𝑐1 , . . . ∈ C. Степенным рядом называется выра-
жение вида ∞ 𝑛
∑︀
𝑛=0 𝑐𝑛 (𝑧 − 𝑧0 ) . Точка 𝑧0 называется центром разложения.
1. Ряд ∞ 𝑛
∑︀
𝑛=0 𝑐𝑛 𝑧 сходится абсолютно для любого 𝑧 ∈ 𝐾
2. Ряд ∞ 𝑛
∑︀
𝑛=0 𝑐𝑛 𝑧 сходится регулярно в круге 𝐾𝑟 := {𝑧 ∈ C : |𝑧| 6 𝑟} при любом 𝑟 < 𝑅
1. Ряд ∞ 𝑛−1
∑︀
𝑛=1 𝑛𝑐𝑛 𝑧 сходится абсолютно для любого 𝑧 ∈ 𝐾
2. Ряд ∞ 𝑛−1
∑︀
𝑛=1 𝑛𝑐𝑛 𝑧 сходится регулярно в круге 𝐾𝑟 при любом 𝑟 < 𝑅
⃒ ⃒ 𝑧 ⃒𝑛−1 𝑛𝑀
⃒ ⃒ (︂ )︂𝑛−1
⃒ 𝑛−1
⃒ ⃒ 𝑛−1
⃒𝑛𝑐𝑛 𝑧 ⃒ = ⃒𝑛𝑐𝑛 𝑧1 ⃒ ⃒ ⃒ 𝑟
6
⃒ 𝑧1 ⃒ |𝑧1 | |𝑧1 |
Следствие. Ряды ∞
∑︀ 𝑛
∑︀∞ 𝑛−1
𝑛=0 𝑐𝑛 𝑧 и 𝑛=1 𝑛𝑐𝑛 𝑧 сходятся локально равномерно на круге схо-
димости 𝐾 первого ряда.
Замечание. Пусть функция 𝑓 может быть представлена в виде степенного ряда в круге
{𝑧 ∈ C : |𝑧 − 𝑧0 | < 𝑅}, где 𝑧0 ∈ C, 𝑅 > 0. Тогда это представление единственно, поскольку
оно совпадает с рядом Тейлора функции 𝑓 .
∑︁ (𝑧 − 𝑧0 )𝑛 ∞
1 1 1 1
= = · 𝑧−𝑧0 =
𝑤−𝑧 (𝑤 − 𝑧0 ) − (𝑧 − 𝑧0 ) 𝑤 − 𝑧0 1 − 𝑤−𝑧 0 𝑛=0
(𝑤 − 𝑧0 )𝑛+1
Следствие. Интеграл Коши 𝐹 (𝑧) бесконечно дифференцируем на C∖𝑀 (𝛾), причем для
любых 𝑧 ∈ C и 𝑛 ∈ N выполнено равенство:
∫︁
(𝑛) 𝑛! 𝑓 (𝑤)
𝐹 (𝑧) = 𝑑𝑤
2𝜋𝑖 𝛾 (𝑤 − 𝑧)𝑛+1
Тогда 𝑓 регулярна на 𝐺.
Доказательство. По условию, функция 𝑓 имеет первообразную на 𝐺, причем ее перво-
образная 𝐹 регулярна на 𝐺 в силу непрерывности функции 𝑓 . К каждой точке из 𝐺
применима предыдущая теорема, откуда 𝐹 ∈ 𝐶 ∞ (𝐺). Но тогда и 𝑓 = 𝐹 ′ ∈ 𝐶 ∞ (𝐺).
Пример. Пусть 𝐾1 = {𝑧 ∈ C : |𝑧| < 1}, тогда граница круга 𝜕𝐾1 задает кривую 𝛾 с
параметризацией 𝑤 = 𝑒𝑖𝑡 , 𝑡 ∈ [−𝜋, 𝜋]. Тогда для функции 𝑓 (𝑧) = 𝑒𝑧 и любого 𝑛 ∈ N
выполнено следующее равенство:
𝜋 𝑖𝑡 𝜋
𝑒𝑤 𝑒𝑒 · 𝑖𝑒𝑖𝑡
∫︁ ∫︁ ∫︁
(𝑛) 𝑛! 𝑛! 𝑛!
1=𝑓 (0) = 𝑛+1
𝑑𝑤 = 𝑖𝑡(𝑛+1)
𝑑𝑡 = 𝑒cos 𝑡+𝑖(sin 𝑡−𝑡𝑛) 𝑑𝑡
2𝜋𝑖 𝛾 𝑤 2𝜋𝑖 −𝜋 𝑒 2𝜋 −𝜋
19 Гармонические функции
Определение 19.1. Пусть 𝐺 ⊂ R2 — область. Функция 𝑢 : R2 → R называется гармони-
ческой на 𝐺, если выполнены следующие условия:
1. 𝑢 ∈ 𝐶 2 (𝐺)
2. 𝑢′′𝑥𝑥 + 𝑢′′𝑦𝑦 ≡ 0 на 𝐺
Утверждение 19.1. Пусть функция 𝑓 (𝑧) = 𝑓 (𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) регулярна на
области 𝐺 ⊂ C. Тогда функции 𝑢, 𝑣 — гармонические на 𝐺.
Доказательство. Поскольку 𝑓 ∈ 𝐶 ∞ (𝐺), то и 𝑢, 𝑣 ∈ 𝐶 ∞ (𝐺). По условиям Коши-Римана,
на 𝐺 выполнено 𝑢′𝑥 ≡ 𝑣𝑦′ и 𝑢′𝑦 ≡ −𝑣𝑥′ . Дифференцируя тождества по 𝑥 и 𝑦 соответственно
и складывая их, получим:
𝑢′′𝑥𝑥 + 𝑢′′𝑦𝑦 ≡ 𝑣𝑦𝑥
′′ ′′
− 𝑣𝑥𝑦 ≡0
′′ ′′
Аналогично, 𝑣𝑥𝑥 + 𝑣𝑦𝑦 ≡ 0 на 𝐺.
Утверждение 19.2. Пусть выполнены следующие условия:
1. 𝐺 ⊂ R2 — односвязная область
2. Функция 𝑢 — гармоническая на 𝐺 ⊂ R2
Тогда существует гармоническая на 𝐺 функция 𝑣 такая, что на 𝐺 регулярна функция
𝑓 (𝑧) = 𝑓 (𝑥 + 𝑖𝑦) := 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦).
Доказательство. Поскольку 𝑢 — гармоническая, то на 𝐺 выполнено 𝑢′′𝑥𝑥 + 𝑢′′𝑦𝑦 ≡ 0, тогда
интеграл ниже не зависит от выбора кусочно-гладкой кривой, соединяющей фиксирован-
ные точки (𝑥0 , 𝑦0 ), (𝑥, 𝑦) ∈ 𝐺:
∫︁ (𝑥,𝑦)
𝑣(𝑥, 𝑦) := −𝑢′𝑦 𝑑𝑥 + 𝑢′𝑥 𝑑𝑦
(𝑥0 ,𝑦0 )
Значит, 𝑣(𝑥, 𝑦) — потенциальная функция поля (−𝑢′𝑦 , 𝑢′𝑥 ), поэтому на 𝐺 выполнены тож-
дества 𝑣𝑥′ ≡ −𝑢′𝑦 и 𝑣𝑦′ ≡ 𝑢′𝑥 . Тогда 𝑣 — гармоническая на 𝐺, и 𝑓 ∈ 𝐶 1 (𝐺).
Замечание. Функция 𝑣 в теореме выше восстанавливается однозначно с точностью до
константы как решение системы дифференциальных уравнений, задаваемой условиями
Коши-Римана. Аналогично доказывается, что по гармонической функции 𝑣 однозначно
с точностью до константы восстанавливается функция 𝑢. Требование односвязности при
этом существенно, что показывает пример ниже.
Пример. Пусть 𝐺 := {𝑧 ∈ C : 21 < |𝑧| < 2}, 𝑢(𝑥, 𝑦) := ln(𝑥2 + 𝑦 2 ). Можно проверить, что
функция 𝑢 — гармоническая на 𝐺, однако не существует гармонической на 𝐺 функции 𝑣
такой, что 𝑓 (𝑧) = 𝑓 (𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) регулярна на 𝐺. Предположим, что такая
функция 𝑣 существует, тогда:
2 2
𝑓 ′ (𝑥) = 𝑢′𝑥 + 𝑖𝑣𝑥′ = 𝑢′𝑥 − 𝑖𝑢′𝑦 = =
𝑥 + 𝑖𝑦 𝑧
2
Значит, функция 𝑓 является первообразной для функции 𝑧
на 𝐺. При этом для круга
𝐾 := {𝑧 ∈ C : |𝑧| = 1} выполнено следующее равенство:
∫︁
2
𝑑𝑧 = 4𝜋𝑖 ̸= 0
𝐾 𝑧
2
Значит, функция 𝑧
не может иметь первообразной на 𝐺 — противоречие.
20 Теорема единственности
Определение 20.1. Точка 𝑧0 ∈ C называется нулем функции 𝑓 , если 𝑓 (𝑧0 ) = 0.
Замечание. Пусть 𝑧0 ∈ C, 𝑅 > 0. Мы уже знаем, что если функция 𝑓 регулярна на круге
𝐾 := {𝑧 ∈ C : |𝑧 − 𝑧0 | < 𝑅}, то существует единственное разложение функции 𝑓 в ряд:
∞
∑︁
𝑓 (𝑧) = 𝑐𝑛 (𝑧 − 𝑧0 )𝑛
𝑛=0
1. Если ∀𝑛 ∈ N ∪ {0} : 𝑐𝑛 = 0, то 𝑓 ≡ 0 на 𝐾
Ряд ∞ 𝑛
∑︀
𝑛=0 𝑐𝑛+𝑚 (𝑧 − 𝑧0 ) сходится на круге 𝐾, как исходный ряд, поэтому задаваемая
им функция ℎ(𝑧) регулярна на 𝐾. Тогда, поскольку 𝑐𝑚 ̸= 0, то ℎ ̸= 0 на некотором
круге 𝐾1 ⊂ 𝐾. Значит, 𝑓 ̸= 0 на 𝐾1 ∖{𝑧0 }, то есть нуль 𝑧0 функции 𝑓 — изолированный.
Тогда 𝑓 ≡ 0 на 𝐺.
𝐺 𝐾1
𝑧1
𝑓 ≡0
𝛾 𝑧*
𝐾
𝑧0
𝑦 (𝑛) + 𝑎1 𝑦 (𝑛−1) + · · · + 𝑎𝑛 𝑦 = 0
21 Теоремы Вейерштрасса
Теорема 21.1 (первая теорема Вейерштрасса). Пусть выполнены следующие условия:
1. Функции 𝑓0 , 𝑓1 , . . . регулярны на области 𝐺 ⊂ C
2. 𝑓𝑛 →ЛР 𝑓 на 𝐺
Тогда 𝑓 регулярна на 𝐺.
2. 𝑓𝑛 →ЛР 𝑓 на 𝐺
(𝑚)
Тогда ∀𝑚 ∈ N : 𝑓𝑛 →ЛР 𝑓 (𝑚) на 𝐺.
𝑚!𝑅 𝑛→∞
|𝑓𝑛(𝑚) (𝑧) − 𝑓 (𝑚) (𝑧)| 6 𝑚
max{|𝑓𝑛 (𝑤) − 𝑓 (𝑤)| : |𝑤 − 𝑧0 | = 𝑅} −−−→ 0
(𝑅 − 𝑅1 )
2. Ряд ∞
∑︀
𝑛=0 𝑓𝑛 сходится локально равномерно к сумме 𝑆 на 𝐺
22 Ряд Лорана
Определение 22.1. Пусть 𝑧0 ∈ C и ∀𝑛 ∈ Z : 𝑐𝑛 ∈ C. Рядом Лорана называется выражение
вида +∞ 𝑛
∑︀
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) . Ряд Лорана сходится в точке 𝑧 ∈ C, если 𝑧 ̸= 𝑧0 и сходятся оба
следующих ряда:
∑︀−1 𝑛
◁ 𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) — главная часть ряда Лорана
∑︀+∞ 𝑛
◁ 𝑛=0 𝑐𝑛 (𝑧 − 𝑧0 ) — правильная часть ряда Лорана
Замечание. Ряду −1
∑︀ 𝑛
∑︀+∞ 𝑚
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) поставим в соответствие ряд 𝑚=1 𝑐−𝑚 𝑤 , полу-
1
чаемый из данного заменой 𝑤 = 𝑧−𝑧 0
. Пусть этот ряд имеет радиус сходимости 𝜌 > 0,
тогда он сходится регулярно на любом круге {𝑤 ∈ C : |𝑤| 6 𝜌1 } при 𝜌1 < 𝜌, поэтому
ряд −1 𝑛 1
∑︀
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) сходится локально равномерно на {𝑧 ∈ C : |𝑧 − 𝑧0 | > 𝜌 }. Тогда, по
теоремам Вейерштрасса:
1. Сумма ряда −1 𝑛 1
∑︀
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) регулярна на множестве {𝑧 ∈ C : |𝑧 − 𝑧0 | > 𝜌 }
2. Ряд −1 𝑛
∑︀
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) можно почленно дифференцировать любое число раз на мно-
жестве {𝑧 ∈ C : |𝑧 − 𝑧0 | > 𝜌1 }
Доказательство. Ряд −1 𝑛
∑︀
𝑛=−∞ 𝑐𝑛 (𝑧 − 𝑧0 ) сходится локально равномерно и абсолютно при
+∞
|𝑧 − 𝑧0 | > 𝜌1 , а ряд 𝑛=0 𝑐𝑛 (𝑧 − 𝑧0 )𝑛 — при |𝑧 − 𝑧0 | < 𝑅, из чего следует требуемое.
∑︀
∫︁
1 𝑓 (𝑤)
𝑐𝑛 = 𝑑𝑤
2𝜋𝑖 𝐾𝜌 (𝑤 − 𝑧0 )𝑛+1
𝐾𝜌 2
𝐾1
𝜌2 𝑧0
𝜌1
𝐾𝜌1
𝑧1
Представим первый интеграл в правой части степенным рядом как интеграл Коши:
∫︁ +∞
(︃ ∫︁ )︃
1 𝑓 (𝑤) ∑︁ 1 𝑓 (𝑤)
𝑑𝑤 = 𝑛+1
𝑑𝑤 (𝑧 − 𝑧0 )𝑛
2𝜋𝑖 𝐾𝜌2 𝑤 − 𝑧 𝑛=0
2𝜋𝑖 𝐾𝜌2 (𝑤 − 𝑧0 )
Обозначим коэффициенты степенного ряда выше через 𝑐𝑛 для всех 𝑛 ∈ N ∪ {0}. Чтобы
преобразовать второй интеграл, заметим следующее:
+∞
1 1 1 1 ∑︁ (𝑤 − 𝑧0 )𝑚
− = = · =
𝑤−𝑧 (𝑧 − 𝑧0 ) − (𝑤 − 𝑧0 ) 𝑧 − 𝑧0 1 − 𝑤−𝑧
𝑧−𝑧0
0
𝑚=0
(𝑧 − 𝑧0 )𝑚+1
1 𝑓 (𝑤)
𝑔𝑛 (𝑤) :=
2𝜋𝑖 (𝑤 − 𝑧0 )𝑛+1
max𝑤∈𝐾𝜌 |𝑓 (𝑤)|
|𝑐𝑛 | 6
𝜌𝑛
в точке 𝑧0 .
Пример. Функция 𝑓 (𝑧) = sin𝑧 𝑧 регулярна на C∖{0}, поэтому точки 0 и ∞ являются ее
изолированными особыми точками.
Определение 23.2. Изолированная особая точка 𝑧0 ∈ C функции 𝑓 называется:
◁ Устранимой, если ∃ lim𝑧→𝑧0 𝑓 (𝑧) ∈ C
𝑀 𝜌→0
|𝑐𝑛 | 6 𝑛
= 𝑀 𝜌|𝑛| −−→ 0
𝜌
1 1 1
𝑓 (𝑧) = =
𝑔(𝑧) (𝑧 − 𝑧0 )𝑚 ℎ(𝑧)
1
Но функция ℎ(𝑧) регулярна на 𝐵𝛿 (𝑧0 ), поэтому она представима степенным рядом на
𝐵𝛿 (𝑧0 ), то есть ее ряд Лорана не имеет главной части:
+∞
1 ∑︁
= 𝑎𝑛 (𝑧 − 𝑧0 )𝑛
ℎ(𝑧) 𝑛=0
1
Наконец, ℎ(𝑧0 )
̸= 0, поэтому 𝑎0 ̸= 0. Получено требуемое.
𝑔(𝑧) 𝑧→𝑧0
𝑓 (𝑧) = 𝑚
−−−→ ∞
(𝑧 − 𝑧0 )
2. Если 𝐴 ∈ C, то существуют числа 𝜀 > 0 и 𝛿 > 0 такие, что на 𝐵˚𝛿 (𝑧0 ) выполнено
˚𝛿 (𝑧0 ) определена следующая функция:
|𝑓 − 𝐴| > 𝜀. Тогда на 𝐵
1
𝑔(𝑧) :=
𝑓 (𝑧) − 𝐴
Более того, |𝑔| 6 1𝜀 на 𝐵˚𝛿 (𝑧0 ). Значит, точка 𝑧0 является устранимой особой точкой
функции 𝑔, то есть ∃ lim𝑧→𝑧0 𝑔(𝑧) = 𝐵 ∈ C. Если 𝐵 ̸= 0, то ∃ lim𝑧→𝑧0 𝑓 (𝑧) = 𝐴+ 𝐵1 , тогда
𝑧0 является устранимой особой точкой функции 𝑓 — противоречие. Если же 𝐵 = 0, то
∃ lim𝑧→𝑧0 𝑓 (𝑧) = ∞, тогда 𝑧0 является полюсом функции 𝑓 — снова противоречие.
Таким образом, точка ∞ является изолированной особой точкой функции 𝑓 (𝑧) того же
типа, что и точка 0 — для функции 𝑓 ( 𝑧1 ).
˚𝜀 (∞)
Определение 23.5. Пусть ∞ — изолированная особая точка функции 𝑓 . Тогда на 𝐵
функция 𝑓 единственным образом представляется рядом Лорана:
+∞
∑︁
𝑓 (𝑧) = 𝑐𝑛 𝑧 𝑛
𝑛=−∞
24 Вычеты
Определение 24.1. Пусть 𝑧0 ∈ C — изолированная особая точка функции 𝑓 . Вычетом
функции 𝑓 в точке 𝑧0 называется коэффициент 𝑐−1 ряда Лорана функции 𝑓 на 𝐵˚𝜀 (𝑧0 ).
Обозначение — res𝑧0 𝑓 .
˚𝜀 (0) имеет следу-
Пример. Пусть 𝑓 (𝑧) := sin 𝑧1 , 𝑧 ̸= 0. Тогда ряд Лорана функции 𝑓 на 𝐵
ющий вид:
+∞
∑︁ (−1)𝑘 1
𝑓 (𝑧) = 2𝑘+1
𝑘=0
(2𝑘 + 1)! 𝑧
Значит, res0 𝑓 = 1.
Утверждение 24.1. Пусть 𝑧0 ∈ C — устранимая особая точка или точка регулярности
функции 𝑓 . Тогда res𝑧0 𝑓 = 0.
˚𝜀 (𝑧0 ).
Доказательство. В обоих случаях функция 𝑓 представима степенным рядом на 𝐵
Степенной ряд не имеет главной части, поэтому res𝑧0 𝑓 = 0.
˚𝜀 (𝑧0 ). Тогда для любого
Утверждение 24.2. Пусть 𝑧0 ∈ C, и функция 𝑓 регулярна на 𝐵
числа 0 < 𝜌 < 𝜀 выполнено следующее равенство:
∫︁
𝑓 𝑑𝑧 = 2𝜋𝑖 res 𝑓
|𝑧−𝑧0 |=𝜌 𝑧0
Получено требуемое.
1 )︀(𝑚−1)
lim 𝑓 (𝑧)(𝑧 − 𝑧0 )𝑚
(︀
res 𝑓 =
𝑧0 (𝑚 − 1)! 𝑧→𝑧0
˚𝜀 (𝑧0 ):
Доказательство. Функция 𝑓 представима рядом Лорана на 𝐵
+∞
𝑐−𝑚 𝑐−1 ∑︁
𝑓 (𝑧) = 𝑚
+ · · · + + 𝑐𝑛 (𝑧 − 𝑧0 )𝑛
(𝑧 − 𝑧0 ) 𝑧 − 𝑧0 𝑛=0
Значит, функция 𝑔(𝑧) := 𝑓 (𝑧)(𝑧 − 𝑧0 )𝑚 представима степенным рядом на 𝐵˚𝜀 (𝑧0 ). Тогда,
по теореме Абеля, этот ряд cходится на 𝐵𝜀 (𝑧0 ), и его сумма регулярна на 𝐵𝜀 (𝑧0 ). Следо-
вательно, выполнены следующие равенства:
Получено требуемое.
2. ℎ(𝑧0 ) = 0, но ℎ′ (𝑧0 ) ̸= 0
𝑔
Тогда вычет функции 𝑓 := ℎ
в точке 𝑧0 можно вычислить по следующей формуле:
𝑔(𝑧0 )
res 𝑓 =
𝑧0 ℎ′ (𝑧0 )
𝐺 𝛾1 𝛾2 𝑧1
𝑧𝑛−1
𝐷
|𝑧| = 𝑅
Теорема доказана.
Получено требуемое.
Таким образом:
(︃ )︃ (︂ )︂
8
𝐼 = −2𝜋𝑖 res 𝑓 + res2 𝑓 + res 𝑓 = 2𝜋𝑖 1 − 2
2
𝜋
−𝜋 ∞ 𝜋
Замечание. В отличие от примера выше, интеграл |𝑧|=1 sin 𝑧 sin 𝑧1 𝑑𝑧 нельзя вычислить
∫︀
2. 𝑛 > 𝑚 + 2
Значит, выполнены все условия леммы «+», из которой следует первое равенство. Вто-
рое доказывается аналогично.
3. 𝛼 > 0
Тогда верно следующее равенство:
∫︁
lim 𝑔𝑒𝑖𝛼𝑧 𝑑𝑧 = 0
𝑅→+∞ +
𝐶𝑅
Получено требуемое.
Теорема 25.2. Пусть выполнены следующие условия:
1. 𝑓 = 𝑝𝑞 , где 𝑝, 𝑞 ∈ C[𝑧] — многочлены степеней 𝑚, 𝑛 ∈ N ∪ {0} соответственно, не
имеющие общих корней
2. 𝑛 > 𝑚 + 1
4. 𝛼 > 0, 𝛽 ∈ R
Тогда верны следующие равенства:
∫︁ +∞ 𝑛
∑︁ 𝑚
∑︁
𝑓 𝑒𝑖(𝛼𝑥+𝛽) 𝑑𝑥 = 2𝜋𝑖 res 𝑓 𝑒𝑖(𝛼𝑥+𝛽) = −2𝜋𝑖 res 𝑓 𝑒𝑖(𝛼𝑥+𝛽)
(︀ )︀ (︀ )︀
−∞ 𝑧𝑘 𝑤𝑘
𝑘=1 𝑘=1
С одной стороны, его можно вычислить, используя теорему о вычетах. С другой сто-
роны, если произвести замену 𝑧 = 𝑒𝑖𝑡 , то:
∫︁ 2𝜋
𝐼= 𝑅(cos 𝑡, sin 𝑡)𝑑𝑡
0
𝑖 𝑧
𝜙
Re 𝑧
1
13𝜋
𝜙1 = 4
𝑦(𝑡)
⎩ sin 𝜙(𝑡) ≡ √︀
⎪
⎪
⎪
𝑥(𝑡)2 + 𝑦(𝑡)2
Положим 𝑢(𝑡) := cos 𝜙(𝑡), 𝑣(𝑡) := sin 𝜙(𝑡), функции в правой части системы выше обо-
значим через 𝑢(𝑡),
̃︀ 𝑣(𝑡),
̃︀ а подынтегральную функцию из условия — через 𝑎(𝜏 ). Тогда:
⎪
⎪
⎪ 𝑢(𝑡0 ) = cos 𝜙(𝑡0 )
⎪
𝑣(𝑡0 ) = sin 𝜙(𝑡0 )
⎩
(𝑓1 𝑓2 )′ (𝑧)
∫︁ (︂ ′
𝑓1 (𝑧) 𝑓2′ (𝑧)
∫︁ )︂
∆𝛾 arg(𝑓1 𝑓2 ) = Im 𝑑𝑧 = Im + 𝑑𝑧 = ∆𝛾 arg 𝑓1 + ∆𝛾 arg 𝑓2
𝛾 𝑓1 (𝑧)𝑓2 (𝑧) 𝛾 𝑓1 (𝑧) 𝑓2 (𝑧)
4. 𝑓 ̸= 0 на 𝜕𝐺
Тогда 𝑓 имеет лишь конечное число нулей на 𝐺. Более, если 𝑁 и 𝑃 — числа нулей и
полюсов функции 𝑓 на 𝐺 с учетом их порядков, то:
𝑓′ 𝑝𝑘 ℎ′
res = res + res = 𝑝𝑘 + 0 = 𝑝𝑘
𝑏𝑘 𝑓 𝑏𝑘 𝑧 − 𝑏 𝑘 𝑏𝑘 ℎ
𝑓′ −𝑞𝑘 ℎ′
res = res + res = −𝑞𝑘 + 0 = −𝑞𝑘
𝑎𝑘 𝑓 𝑎𝑘 𝑧 − 𝑎𝑘 𝑎𝑘 ℎ
Замечание. Число полюсов или нулей в теореме выше может быть и нулевым.
3. Функции 𝑓, 𝑔 регулярны на 𝐺
4. |𝑓 | > |𝑔| на 𝜕𝐺
С другой стороны:
(︂ (︂ )︂)︂ (︂ )︂
𝑔 𝑔
∆𝜕𝐺 arg(𝑓 + 𝑔) = ∆𝜕𝐺 arg 𝑓 1 + = ∆𝜕𝐺 arg 𝑓 + ∆𝜕𝐺 arg 1 +
𝑓 𝑓
Im 𝑧
𝑖
𝑧
𝜙 Re 𝑧
1
Γ
Получено требуемое.
Следствие (теорема Лиувилля). Если 𝑓 — целая функция, и для некоторого 𝑅0 > 0 она
ограниченна на {𝑧 ∈ C : |𝑧| > 𝑅0 }, то 𝑓 постоянна на C.
Доказательство. Применим утверждение выше для случая, когда 𝑚 = 0.
Теорема 28.1 (основная теорема алгебры). Любой многочлен 𝑝 ∈ C[𝑧], степень которого
не меньше одного, имеет корень в C.
Доказательство с помощью теоремы Лиувилля. Предположим противное, тогда функ-
ция 𝑝1 — целая, причем выполнено lim𝑧→∞ 𝑝1 (𝑧) = 0, то есть эта функция ограниченна в C.
Тогда, по теореме Лиувилля, 𝑝1 постоянна на C, но тогда и функция 𝑝 постоянна на C, что
неверно.
Доказательство с помощью теоремы Руше. Пусть 𝑝(𝑧) = 𝑧 𝑛 +𝑎𝑛−1 𝑧 𝑛−1 +· · ·+𝑎0 . Выберем
𝑅 > max{1, 𝑛−1
∑︀
𝑘=0 |𝑎𝑘 |}. Проверим условия теоремы Руше для области {𝑧 ∈ C : |𝑧| < 𝑅}:
⃒ 𝑛−1 ⃒ (︃ 𝑛−1 )︃
⃒∑︁ ⃒ ∑︁
𝑎𝑘 𝑅𝑘 ⃒ 6 𝑅𝑛−1 |𝑎𝑘 | < 𝑅𝑛 = |𝑧 𝑛 |, |𝑧| = 𝑅
⃒ ⃒
⃒
⃒ ⃒
𝑘=0 𝑘=0
Значит, многочлен 𝑝 имеет столько же нулей с учетом порядков на этой области, сколько
и 𝑧 𝑛 , а именно — 𝑛 нулей. Ясно также, что других корней у многочлена 𝑝 нет.
Решения этой системы задают на 𝐵𝛿 (𝑥0 , 𝑦0 ) вектор-функцию (𝑥(𝑢, 𝑣), 𝑦(𝑢, 𝑣)), обрат-
ную к вектор-функции (𝑢(𝑥, 𝑦), 𝑣(𝑥, 𝑦)), причем 𝑥, 𝑦 ∈ 𝐶 1 (𝐵𝜀 (𝑢0 , 𝑣0 )). Наконец, на 𝐵𝜀 (𝑢0 , 𝑣0 )
имеют место следующие тождества:
𝑢(𝑥(̃︀
𝑢, 𝑣),
̃︀ 𝑦(̃︀ ̃︀ ≡ 𝑢
𝑢, 𝑣)) ̃︀
𝑣(𝑥(̃︀
𝑢, 𝑣),
̃︀ 𝑦(̃︀ ̃︀ ≡ 𝑣̃︀
𝑢, 𝑣))
(︂ ′
𝑢𝑥 𝑢′𝑦 𝑥′𝑢 𝑥′𝑣
)︂ (︂ )︂ (︂ )︂
1 0
≡
𝑣𝑥′ 𝑣𝑦′ 𝑦𝑢′ 𝑦𝑣′ 0 1
1. 𝐺 ⊂ C — область
2. Функция 𝑓 регулярна на 𝐺
3. 𝑧0 ∈ 𝐺, 𝑤0 := 𝑓 (𝑧0 )
4. 𝑓 ′ (𝑧0 ) ̸= 0
Тогда существуют числа 𝛿 > 0 и 𝜀 > 0 такие, что 𝑓 ′ ̸= 0 на 𝐵𝛿 (𝑧0 ) и для любой точки
̃︀ ∈ 𝐵𝜀 (𝑤0 ) на 𝐵𝛿 (𝑧0 ) уравнение 𝑓 (𝑧) = 𝑤
𝑤 ̃︀ имеет единственное решение. Решения этого
уравнения задают на 𝐵𝛿 (𝑧0 ) функцию 𝑔(𝑤), обратную к 𝑓 (𝑧), причем 𝑔 ∈ 𝐶 1 (𝐵𝜀 (𝑤0 )).
Наконец, на 𝐵𝜀 (𝑤0 ) имеют место следующие тождества:
𝑓 (𝑔(𝑤)) ≡ 𝑤
𝑔 ′ (𝑤)𝑓 ′ (𝑔(𝑤)) ≡ 1
Условия выполнены, поэтому 𝑔 регулярна 𝐶 1 (𝐵𝜀 (𝑤0 )). Остается проверить тождество
для производных на круге 𝐵𝜀 (𝑤0 ):
𝑢′𝑥 (𝑔(𝑤)) − 𝑖𝑣𝑥′ (𝑔(𝑤)) ′ 𝑓 ′ (𝑔(𝑤))𝑓 ′ (𝑔(𝑤))
𝑔 ′ (𝑤)𝑓 ′ (𝑔(𝑤)) ≡ 𝑓 (𝑔(𝑤)) ≡ ≡1
|𝑓 ′ (𝑔(𝑤))|2 |𝑓 ′ (𝑔(𝑤))|2
Получено требуемое.
1. 𝐺 ⊂ C — область
2. Функция 𝑓 регулярна на 𝐺
3. 𝑧0 ∈ 𝐺, 𝑤0 := 𝑓 (𝑧0 )
Доказательство. Докажем, что множество 𝑓 (𝐺) — открытое. Пусть 𝑤0 ∈ 𝑓 (𝐺) тогда для
некоторого 𝑧0 ∈ 𝐺 выполнено 𝑓 (𝑧0 ) = 𝑤0 . Если 𝑓 ′ (𝑧0 ) ̸= 0, то по теореме об обратной
функции существуют числа 𝛿 > 0 и 𝜀 > 0 такие, что для любого 𝑤 ∈ 𝐵𝜀 (𝑤0 ) уравнение
𝑓 (𝑧) = 𝑤 имеет единственное решение на 𝐵𝛿 (𝑧0 ), поэтому 𝐵𝜀 (𝑤0 ) ⊂ 𝑓 (𝐺). Если же, наобо-
рот, 𝑓 ′ (𝑧0 ) = 0, то, поскольку 𝑓 непостоянна, существует натуральное 𝑛 > 2 такое, что
𝑓 (𝑛) (𝑧0 ) ̸= 0, и применима теорема о локальной структуре отображения, дающая анало-
гичный результат.
Теперь докажем связность множества 𝑓 (𝐺). Пусть 𝑤1 , 𝑤2 ∈ 𝑓 (𝐺) тогда для некоторых
𝑧1 , 𝑧2 ∈ 𝐺 выполнено 𝑓 (𝑧1 ) = 𝑤1 и 𝑓 (𝑧2 ) = 𝑤2 . Пусть 𝛾 — кривая, соединяющая точки
𝑧1 и 𝑧2 , такая что 𝑀 (𝛾) ⊂ 𝐺. Тогда кривая Γ = 𝑓 (𝛾) соединяет точки 𝑤1 и 𝑤2 , причем
𝑀 (Γ) ⊂ 𝑓 (𝐺). Получено требуемое.
31 Конформные отображения
Замечание. Пусть функция 𝑓 регулярна в точке 𝑧0 ∈ C, 𝑓 (𝑧0 ) = 𝑤0 и 𝑓 ′ (𝑧0 ) ̸= 0. Тогда,
по теореме об обратной функции, 𝑓 взаимно однозначно отображает некоторую область
𝐺 ⊂ 𝐵𝛿 (𝑧0 ) на круг 𝐵𝜀 (𝑤0 ).
𝐵𝜀 (𝑤0 )
𝑓
Γ
𝐺
𝑧0
𝑤0
𝛾
𝑓 −1
𝐵𝛿 (𝑧0 )
|𝑤(𝑡) − 𝑤0 |
𝐾 := lim
𝑡→𝑡0 +0 |𝑧(𝑡) − 𝑧0 |
Получено требуемое.
Замечание. Пусть 𝜃0 := arg 𝑧 ′ (𝑡0 ), 𝜃1 := arg 𝑤′ (𝑡0 ), тогда поскольку 𝑤′ (𝑡0 ) = 𝑓 ′ (𝑧0 )𝑧 ′ (𝑡0 ),
то 𝜃1 = arg 𝑓 ′ (𝑧0 ) + 𝜃0 . Значит, отображение 𝑓 поворачивает все кривые в точке 𝑧0 на один
и тот же угол, сохраняя углы между ними.
Пример. Функция 𝑓 (𝑧) := 𝑒𝑧 конформна в любой точке из C, при этом она конформна
на области {𝑧 ∈ C : |𝑧| < 3}, но не конформна на области {𝑧 ∈ C : |𝑧| < 4}, потому что на
ней уже не выполнена инъективность.
⎨ 1 , если 𝑧 =
⎧
̸ 0, 𝑧 =
̸ 2 и 𝑧 ̸= ∞
𝑓 (𝑧) := 𝑧 2 − 2𝑧
0, если 𝑧 = 0, 𝑧 = 2 или 𝑧 = ∞
⎩
Определение 31.6. Пусть 𝑧 = 𝑧(𝑡), 𝑡 ∈ [𝑡0 , +∞) — непрерывная функция такая, что
lim𝑡→+∞ 𝑧(𝑡) = ∞. Говорят, что функция 𝑧(𝑡) задает бесконечную кривую.
Im 𝑧 𝛾2 Im 𝜁
𝑖 𝛾1 𝑖
𝜁
Re 𝑧 1 Re 𝜁
1
Γ1
Γ2
3. Γ1 = 𝑓 (𝛾1 ), Γ2 = 𝑓 (𝛾2 )
Тогда ∠(Γ1 , Γ2 )∞ = ∠(𝛾1 , 𝛾2 )𝑧0 .
Доказательство. Пусть 𝛾 ̃︀1 , 𝛾
̃︀2 — кривые, в которые переходят бесконечные Γ1 , Γ2 при отоб-
1
ражении 𝜁(𝑤) = 𝑤 . Достаточно проверить, что ∠(̃︀ 𝛾1 , 𝛾
̃︀2 )0 = ∠(𝛾1 , 𝛾2 )𝑧0 . Поскольку точка
𝑔(𝑧)
𝑧0 — полюс первого порядка функции 𝑓 , то на 𝐵𝜀 (𝑧0 ) выполнено тождество 𝑓 (𝑧) ≡ 𝑧−𝑧 0
, где
𝑔 — регулярная на 𝐵𝜀 (𝑧0 ) функция такая, что 𝑔(𝑧0 ) ̸= 0. Значит, функция 𝜁(𝑓 (𝑧)) = 𝑧−𝑧 0
𝑔(𝑧)
регулярна на некотором круге 𝐵𝛿 (𝑧0 ), причем (𝜁 ∘ 𝑓 )′ (𝑧0 ) ̸= 0. Такая функция сохраняет
углы между кривыми в точке 𝑧0 , что и требовалось.
Замечание. Нетрудно проверить, что и во всех остальных случаях конформное в точке
𝑧0 отображение сохраняет углы между кривыми, проходящими через эту точку.
Утверждение 31.3. Пусть функция 𝑓 регулярна и однолистна на области 𝐺 ⊂ C. Тогда
функция 𝑓 конформна на 𝐺.
Доказательство. Достаточно проверить, что 𝑓 ′ ̸= 0 на 𝐺. Пусть это не так, то есть суще-
ствует точка 𝑧0 ∈ 𝐺 такая, что 𝑓 ′ (𝑧0 ) = 0. Если для всех 𝑛 ∈ N выполнено 𝑓 (𝑛) (𝑧0 ) = 0, то
𝑓 ≡ 𝑓 (𝑧0 ) на 𝐺, то есть 𝑓 не однолистна. Если же существует 𝑚 ∈ N такое, что 𝑓 (𝑚) (𝑧0 ) ̸= 0,
то 𝑓 не однолистна по теореме о локальной структуре отображения.
Замечание. Если функция 𝑓 регулярна и однолистна на области 𝐺 ⊂ C, то:
1. Множество 𝐷 := 𝑓 (𝐺) является областью по принципу сохранения области
Im 𝑧
𝐷
Re 𝑧
Im 𝑧
𝐷1
Re 𝑧
√
Для этого подойдет функция 𝑧1 (𝑧) = 3 𝑧. Действительно, поскольку функция 𝑧(𝑧1 ) = 𝑧13
конформна на 𝐷1 , то и обратная к ней функция конформна на прообразе 𝐷. Остается
перевести область 𝐷1 в {𝑧 ∈ C : Im 𝑧 > 0}, но для этого подойдет функция 𝑧2 (𝑧1 ) = 𝑧12 .
Ответом будет композиция 𝑧2 (𝑧1 (𝑧)), также являющаяся конформным отображением.
1. 𝐷, 𝐺 ⊂ C — односвязные области
2. Функция 𝑓 регулярна на 𝐷
𝑤
𝑓
𝐷 𝑤
𝑤0
𝐺
𝑤1
𝜕𝐷 𝜕𝐺
1 1
𝑁1 = ∆𝜕𝐷 arg(𝑓 − 𝑤1 ) = ∆𝜕𝐺 arg(𝑤 − 𝑤1 ) = 0
2𝜋 2𝜋
Значит, уравнение не имеет корней, поэтому 𝑓 (𝐷) ⊂ 𝐺 в силу произвольности выбора
точки 𝑤1 . Теперь найдем число 𝑁0 корней уравнения 𝑓 (𝑧) = 𝑤0 в области 𝐷. Для этого
снова воспользуемся принципом аргумента, но для функции 𝑓 (𝑧) − 𝑤0 :
1 1
𝑁0 = ∆𝜕𝐷 arg(𝑓 − 𝑤0 ) = ∆𝜕𝐺 arg(𝑤 − 𝑤0 ) = 1
2𝜋 2𝜋
Значит, уравнение имеет ровно один корень для каждого 𝑤0 ∈ 𝐺, то есть 𝑓 (𝐷) = 𝐺,
причем отображение 𝑓 однолистно. Тогда, поскольку функция 𝑓 регулярна на 𝐷, она
конформно отображает 𝐷 на 𝐺.
33 Дробно-линейные отображения
Определение 33.1. Линейным отображением называется функция вида 𝑤(𝑧) = 𝑎𝑧 + 𝑏,
где 𝑎 ∈ C∖{0}, 𝑏 ∈ C, при этом считается, что 𝑤(∞) = ∞.
𝜁 𝜂
𝑧1 0 𝑤1
𝜁 𝜂
𝑧2 ∞ 𝑤2
𝜁 𝜂
𝑧3 1 𝑤3
Значит, отображение 𝑤 = 𝜂 −1 ∘ 𝜁 является искомым. Его удобнее задавать следующим
равенством:
𝑧 − 𝑧1 𝑧3 − 𝑧2 𝑤 − 𝑤1 𝑤3 − 𝑤2
· = ·
𝑧 − 𝑧2 𝑧3 − 𝑧1 𝑤 − 𝑤2 𝑤3 − 𝑤1
Если же среди точек из условия есть бесконечно удаленная точка, то формальное со-
кращение бесконечностей в равенстве выше дает новое равенство, задающее искомое отоб-
ражение для этого случая. Опустим непосредственную проверку этого факта. Единствен-
ность лектор не доказал.
Замечание. Образом прямой под действием линейного отображения всегда является пря-
мая, а образом окружности под действием линейного отображения всегда является окруж-
ность. Далее мы получим аналогичное свойство для дробно-линейных отображений.
Определение 33.3. Обобщенной окружностью на C называется множество, являющееся
либо окружностью, либо объединением прямой и точки ∞.
Утверждение 33.4 (круговое свойство дробно-линейных отображений). Образом обоб-
щенной окружности под действием дробно-линейного отображения всегда является обоб-
щенная окружность.
Доказательство. Пусть 𝑤(𝑧) = 𝑎𝑧+𝑏𝑐𝑧+𝑑
, тогда 𝑤(𝑧) = 𝑎𝑐 − 𝑐(𝑐𝑧+𝑑)
𝑎𝑑−𝑏𝑐
, то есть 𝑤 можно предста-
вить в виде композиции 𝑤 = 𝑧3 ∘ 𝑧2 ∘ 𝑧1 , где 𝑧1 (𝑧) := 𝑐𝑧 + 𝑑, 𝑧2 (𝑧1 ) := 𝑧11 , 𝑧3 (𝑧2 ) := 𝑎𝑐 − 𝑎𝑑−𝑏𝑐
𝑐
𝑧2 .
1
Значит, остается проверить, что отображение 𝑧 ↦→ 𝑧 переводит обобщенные окружности в
обобщенные окружности. Известно, что любая прямая или окружность задается следую-
щим уравнением с вещественными коэффициентами:
Как видно, это уравнение тоже задает прямую или окружность. Наконец, образом обоб-
щенной окружности является вся обобщенная окружность, поскольку отображение 𝑧 ↦→ 𝑧1
является обратным к самому себе.
Определение 33.4. Пусть Γ — обобщенная окружность. Точки 𝑧1 , 𝑧2 ∈ C называются
симметричными относительно Γ, если выполнено одно из условий:
◁ Γ — прямая, и точки 𝑧1 , 𝑧2 симметричны относительно Γ как прямой
𝑧*
𝛾
𝑅
𝑧0 𝑧1 𝑧2
Утверждение 33.7. Пусть 𝐷 := {𝑧 ∈ C : |𝑧| < 1}, 𝐺 := {𝑤 ∈ C : |𝑤| < 1}, и функция 𝑓
конформно отображает 𝐷 на 𝐺. Тогда существуют 𝑧0 ∈ 𝐷 и 𝛼 ∈ [0, 2𝜋) такие, что 𝑓
имеет следующий вид:
𝑧 − 𝑧0 𝑖𝛼
𝑓 (𝑧) = 𝑒 ,𝑧∈𝐷
1 − 𝑧0 𝑧
Доказательство. Зафиксируем 𝑧0 := 𝑓 −1 ∈ 𝐷 и рассмотрим следующее отображение:
𝑧 − 𝑧0
𝑤(𝑧) :=
1 − 𝑧𝑧0
Параметризуем окружность 𝜕𝐷 как 𝑧 = 𝑒𝑖𝑡 , 𝑡 ∈ [0, 2𝜋). Тогда для любого 𝑡 ∈ [0, 2𝜋)
выполнены следующие равенства:
⃒ (︀ 𝑖𝑡 )︀⃒ ⃒ 𝑒𝑖𝑡 − 𝑧0 ⃒ 𝑖𝑡 𝑖𝑡
⃒ ⃒
⃒𝑤 𝑒 ⃒ = ⃒ ⃒ = |𝑒 − 𝑧0 | = |𝑒 − 𝑧0 | = 1
⃒ 1 − 𝑒𝑖𝑡 𝑧0 ⃒ |𝑒−𝑖𝑡 − 𝑧0 | |𝑒𝑖𝑡 − 𝑧0 |
Значит, 𝑤(𝜕𝐷) ⊂ 𝜕𝐺, причем имеет место равенство 𝑤(𝜕𝐷) = 𝜕𝐺 в силу кругового
свойства. Проверим, что тогда 𝑤(𝐷) ⊂ 𝐺. Действительно, пусть существует такая точка
𝑧1 ∈ 𝐷, что 𝑤(𝑧1 ) ̸∈ 𝐺, тогда отрезок [𝑧0 , 𝑧1 ] переходит в дугу с концами 𝑤(𝑧0 ) = 0 и 𝑤(𝑧1 ),
поэтому существует точка 𝑧 * ∈ [𝑧0 , 𝑧1 ] такая, что 𝑤(𝑧 * ) ∈ 𝜕𝐺. Но это невозможно, посколь-
ку 𝑧 * ̸∈ 𝜕𝐷, а отображение 𝑤(𝑧) конформно. Аналогично доказывается, что 𝑤−1 (𝐺) ⊂ 𝐷,
тогда 𝑤(𝐷) = 𝐺.
Итак, 𝑤(𝑧) конформно отображает 𝐷 на 𝐺, тогда и отображения вида 𝑔(𝑧) = 𝑤(𝑧)𝑒𝑖𝛼
для произвольного 𝛼 ∈ [0, 2𝜋). В частности, это верно для 𝛼 := arg 𝑓 ′ (𝑧0 ). Но, по теореме
Римана, отображение 𝑓 однозначно задается значениями 𝑧0 = 𝑓 −1 (0) и 𝛼 = arg 𝑓 ′ (𝑧0 ),
поэтому оно имеет требуемый вид.
Утверждение 33.8. Пусть 𝐷 := {𝑧 ∈ C : Im 𝑧 > 0}, 𝐺 := {𝑤 ∈ C : |𝑤| < 1}, и функция
𝑓 конформно отображает 𝐷 на 𝐺. Тогда существуют 𝑧0 ∈ 𝐷 и 𝛼 ∈ [0, 2𝜋) такие, что 𝑓
имеет следующий вид:
𝑧 − 𝑧0 𝑖𝛼
𝑓 (𝑧) = 𝑒 ,𝑧∈𝐷
𝑧 − 𝑧0
Доказательство. Зафиксируем 𝑧0 ∈ 𝐷 и рассмотрим следующее отображение:
𝑧 − 𝑧0
𝑤(𝑧) :=
𝑧 − 𝑧0
Значит, 𝑤(𝜕𝐷) ⊂ 𝜕𝐺, причем имеет место равенство 𝑤(𝜕𝐷) = 𝜕𝐺 в силу кругового
свойства. Дальнейшее рассуждение аналогично предыдущему утверждению, но в данном
случае следует положить 𝛼 := arg 𝑓 ′ (𝑧0 ) + 𝜋2 .
1. 𝐷 := C∖{0}, 𝐹 (𝑧) := Ln 𝑧
√
2. 𝐷 := C, 𝐹 (𝑧) := {𝑛 𝑧}, где 𝑛 ∈ N, 𝑛 > 2
Пример. Рассмотрим функцию 𝑓 (𝑧) := 𝑒𝑧 . Легко видеть, что она конформно отображает
область 𝐺 := {𝑧 ∈ C : | Im 𝑧| < 𝜋} на область 𝐷 := C∖(−∞, 0].
Im 𝑧 Im 𝑤
𝜋𝑖
𝑓
𝑒𝑥
𝐺 𝑦
𝑥 + 𝑖𝑦
Re 𝑧 Re 𝑤
𝐷
𝑔0
−𝜋𝑖
1
𝑒𝑔0 (𝑤) ≡ 𝑤 ⇒ 𝑒𝑔0 (𝑤) 𝑔0′ (𝑤) ≡ 1 ⇒ 𝑔0′ (𝑤) ≡ 𝑒−𝑔0 (𝑤) ≡
𝑤
Теперь найдем функцию 𝑔0 в явном виде. Поскольку для любой точки 𝑤 ∈ 𝐷 выполнено
𝑔0 (𝑤) ∈ Ln 𝑤, то 𝑔0 (𝑤) = ln |𝑤| + 𝑖𝜙 для некоторого 𝜙 ∈ Arg 𝑤, причем, в силу ограничения
Im |𝑔0 (𝑤)| < 𝜋, имеем 𝜙 = arg0 (𝑤). Таким образом, 𝑔0 (𝑤) = ln |𝑤| + 𝑖 arg0 𝑤.
Замечание. Из результата выше следует, что функции ln |𝑤| и arg0 𝑤 являются гармо-
ническими на области C∖(−∞, 0], а функции вида 𝑔0 (𝑤) + 2𝜋𝑘𝑖 для любых 𝑘 ∈ Z тоже
являются регулярными ветвями функции Ln 𝑤 на области C∖(−∞, 0].
√
Пример. Главной регулярной ветвью функции {𝑛 𝑤} на области 𝐷 := C∖(−∞, 0] назовем
следующую функцию:
1
𝑔𝑛 (𝑤) := 𝑒 𝑛 𝑔0 (𝑤) , 𝑤 ∈ 𝐷
Функция 𝑔𝑛 действительно является регулярной ветвью в силу уже доказанного. Вы-
пишем ее в явном виде, используя явный вид функции 𝑔0 :
√︀ arg0 𝑤
𝑔𝑛 (𝑤) := 𝑛
|𝑤|𝑒𝑖 𝑛 , 𝑤 ∈ 𝐷
Im 𝑧 Im 𝑤
𝑧𝑛
𝜋 𝐺
𝑛
Re 𝑧 Re 𝑤
− 𝜋𝑛
𝐷
𝑔𝑛
1 𝑔𝑛 (𝑤)
𝑔𝑛 (𝑤)𝑛 ≡ 𝑤 ⇒ 𝑛𝑔𝑛 (𝑤)𝑛−1 𝑔𝑛′ (𝑤) ≡ 1 ⇒ 𝑔𝑛′ (𝑤) ≡ 𝑛−1
≡
𝑛𝑔𝑛 (𝑤) 𝑛𝑤
2𝜋𝑘
Замечание. Из результата выше следует, что функции вида 𝑔𝑛 (𝑤)𝑒𝑖 𝑛 для любых 𝑘 ∈ Z
√
тоже являются регулярными ветвями функции {𝑛 𝑤} на области C∖(−∞, 0].
35 Функция Жуковского
Определение 35.1. Функцией Жуковского называется функция 𝑓* : C → C, имеющая
следующий вид: ⎧ (︂ )︂
⎨ 1 𝑧 + 1 , если 𝑧 ̸= 0 и 𝑧 ̸= ∞
⎪
𝑓* (𝑧) := 2 𝑧
⎪
⎩∞, если 𝑧 = 0 или 𝑧 = ∞
Кроме того, для любых 𝑧1 , 𝑧2 ∈ C условие 𝑓* (𝑧1 ) = 𝑓* (𝑧2 ) равносильно тому, что либо
{𝑧1 , 𝑧2 } = {0, ∞}, либо 𝑧1 𝑧2 = 1. Это и означает требуемое.
2. 𝑓* (Ω1 ) = 𝑓* (Ω2 )
𝑢2 𝑣2
(︁ (︁ )︁)︁2 + (︁ (︁ )︁)︁2 = 1
1 1 1 1
2
𝜌+ 𝜌 2
𝜌− 𝜌