Академический Документы
Профессиональный Документы
Культура Документы
В. В. Горяйнов, Е. С. Половинкин
ЛЕКЦИИ
ПО ТЕОРИИ ФУНКЦИЙ
КОМПЛЕКСНОГО ПЕРЕМЕННОГО
Учебное пособие
МОСКВА
МФТИ
2017
УДК 517.53(075)
ББК 22.161.5я73
Г67
Рецензенты:
Доктор физико-математических наук В. И. Буслаев
Доктор физико-математических наук К. Ю. Федоровский
3
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
§ 1. Комплексные числа
4
КОМПЛЕКСНЫЕ ЧИСЛА
(x + iy)2 = α + iβ.
x2 − y 2 = α,
(
(x2 + y 2 )2 = α2 + β 2 ,
5
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
при α ≥ 0 и
√
x = 0, y = ± −α
√
β 6= 0, а при β = 0 этими корнями являются ± α, если α > 0,
если √
и ±i −α, если α < 0. Оба эти корня, как и в случае извлечения
квадратного корня из положительного числа, отличаются друг от
друга только знаком.
Отметим также, что введенное выше равенство комплексных чи-
сел можно подкрепить следующими рассуждениями. Пусть α+
+iβ = γ + iδ, т. е. мы имеем две записи одного комплексного чис-
ла. Тогда α − γ = i(δ − β) и после возведения в квадрат обе-
их частей равенства приходим к равенству вещественных чисел
(α − γ)2 = −(δ − β)2 , которое возможно лишь в случае α = γ и
β = δ одновременно. Совокупность всех комплексных чисел обо-
значают символом C. Из проведенных выше рассуждений следует,
что C является числовым полем.
Под комплексным сопряжением понимается операция, которая
каждому комплексному числу a = α + iβ ставит в соответствие
сопряжённое число a = α − iβ. Комплексное сопряжение является
инволюцией, что выражается равенством a = a. Вещественная и
мнимая части комплексного числа a алгебраически выражаются
через a и a:
1 1
Re a = (a + a), Im a = (a − a).
2 2i
Фундаментальным свойством сопряжения является то, что
a + b = a + b, ab = ab.
6
КОМПЛЕКСНЫЕ ЧИСЛА
a |a|
= .
b |b|
7
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
8
КОМПЛЕКСНЫЕ ЧИСЛА
9
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
z n = a,
ρn = r, nθ = ϕ + 2kπ, k ∈ Z,
10
КОМПЛЕКСНЫЕ ЧИСЛА
lim an = a.
n→∞
lim αn = α, lim βn = β.
n→∞ n→∞
11
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
12
КОМПЛЕКСНЫЕ ЧИСЛА
число z ∈ C по формуле
x1 + ix2
z = .
1 − x3
Это равенство определяет взаимно однозначное соответствие меж-
ду S \ {(0, 0, 1)} и C. Действительно, используя очевидное соотно-
шение
x2 + x22 1 + x3
|z|2 = 1 2
= ,
(1 − x3 ) 1 − x3
легко находится обратное отображение
|z|2 − 1 z+z 1 z−z
x3 = , x1 = , x2 = .
|z|2 + 1 1 + |z|2 i 1 + |z|2
Заметим также, что при |z| → ∞ соответствующая точка на сфере
S стремится к точке (0, 0, 1). Продолжая отображение соответстви-
ем (0, 0, 1) 7→ ∞, приходим к взаимно однозначному соответствию
S и C. Это отображение называется стереографической проекцией
и обладает рядом замечательных свойств.
x3
x2
x1
13
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
∞
P
ряд an сходится, если сходится последовательность его частич-
n=1
ных сумм. При этом S = limn→∞ Sn называется суммой ряда и
∞
P
пишут S = an .
n=1
Пусть an = αn + iβn , n = 1, 2, . . . Тогда частичные суммы ряда
∞
P
an будут иметь вид
n=1
n
X n
X
Sn = αk + i βk .
k=1 k=1
Следовательно, ряд ∞
P
n=1 an сходится вPтом и только
P∞том случае,
если сходятся два вещественных ряда ∞ α
n=1 n и n=1 βn . Кри-
терий Коши, примененный к последовательности частичных сумм,
∞
P
показывает, что ряд an сходится в том и только том случае,
n=1
если для любого ε > 0 найдется такой номер N (ε), что
n+m
X
ak < ε
k=n
§ 2. Комплексная дифференцируемость
14
КОМПЛЕКСНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ
если для каждого ε > 0 найдется такое δ > 0, что |f (z) − A| < ε
при всех z ∈ Ȯδ (a), т. е. при 0 < |z − a| < δ.
Формулировка определения легко видоизменяется в случаях, ко-
гда a = ∞ или A = ∞ (или оба вместе). Например, при a = ∞ нуж-
но фразу «при всех z ∈ Ȯδ (a)» заменить на фразу «при |z| > δ».
Хорошо известные из вещественного анализа результаты, касаю-
щиеся пределов суммы, произведения и частного, остаются вер-
ными и в комплексном случае, поскольку при их доказательстве
используются лишь свойства модуля. Заметим также, что усло-
вие (2.1) эквивалентно следующему:
15
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
16
КОМПЛЕКСНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ
17
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
∂f ∂u ∂v ∂v ∂u ∂f
f 0 (z) = = +i = −i = −i .
∂x ∂x ∂x ∂y ∂y ∂y
∂f ∂f
df = dx + dy =
∂x ∂y
1 ∂f 1 ∂f
= (dz + dz) + (dz − dz) =
2 ∂x 2i ∂y
1 ∂f ∂f 1 ∂f ∂f
= −i dz + +i dz
2 ∂x ∂y 2 ∂x ∂y
∂f
= 0.
∂z
Система уравнений Коши—Римана (2.3) обладает рядом инте-
ресных свойств. В частности, если предположить, что функции
u(x, y) и v(x, y) являются дважды непрерывно дифференцируемы-
ми, то из (2.3) получаем
18
КОМПЛЕКСНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ
19
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
→ g 0 (w0 )f 0 (z0 )
при ∆z → 0.
Определение 2.4. Множество E ⊂ C называется связным, ес-
ли не существует двух открытых множеств G1 и G2 , удовлетворя-
ющих условиям
(i) E ⊂ G1 ∪ G2 ;
(ii) E ∩ G1 ∩ G2 = ∅;
(iii) G1 ∩ E 6= ∅, G2 ∩ E 6= ∅.
Интуитивно связность означает, что множество E состоит из од-
ного «куска». В случае, когда E является открытым множеством,
условие (ii) можно сформулировать в виде G1 ∩ G2 = ∅, посколь-
ку в этом случае множества G1 и G2 , удовлетворяющие условиям
(i) — (iii), можно заменить на E ∩ G1 и E ∩ G2 .
Теорема 2.2. Отрезок прямой — связное множество. При
этом допускается, чтобы один из концов отрезка был бесконеч-
но удалённой точкой, а сам отрезок был открытым, замкнутым
или полуоткрытым.
Доказательство. Допустим противное, т. е. найдутся два от-
крытых множества G1 и G2 , для которых выполнены условия (i) —
(iii), где E — наш отрезок. Тогда на E найдутся две конечные
точки a ∈ G1 и b ∈ G2 . Очевидно, что условия (i) — (iii) так-
же выполняются при замене E на отрезок E1 = [a, b]. Разобьём
E1 пополам и выберем ту его часть E2 , которая представляет со-
бой отрезок с концами в разных множествах G1 и G2 . Продолжая
этот процесс, получим последовательность замкнутых вложенных
отрезков E1 ⊃ E2 ⊃ . . ., длины которых стремятся к нулю. По тео-
реме Кантора, существует единственная точка ξ, принадлежащая
всем отрезкам последовательности {En }. Из условий (i), (ii) сле-
дует, что ξ принадлежит одному из множеств G1 или G2 . Пусть это
для определённости будет G1 . В силу открытости G1 и стремле-
ния длин En к нулю следует, что En ⊂ G1 при достаточно больших
номерах n. Однако это противоречит условиям выбора En .
20
КОМПЛЕКСНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ
21
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
22
КОМПЛЕКСНАЯ ДИФФЕРЕНЦИРУЕМОСТЬ
u0x u0y
= u0x · vy0 − u0y · vx0 = (u0x )2 + (vx0 )2 = |f 0 (z)|2 ,
vx0 vy0
23
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
24
СТЕПЕННЫЕ РЯДЫ И ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ
∞
P
мажорирует на множестве E функциональный ряд fn (z), т. е.
n=1
|fn (z)| ≤ αn для всех z ∈ E и всех n, за исключением, быть может,
∞
P
конечного числа, и числовой ряд αn сходится, то функциональ-
n=1
∞
P
ный ряд fn (z) сходится на E равномерно.
n=1
Под степенным рядом понимается функциональный ряд вида
∞
X
an z n = a0 + a1 z + a2 z 2 + . . . , (3.1)
n=0
1 − z n+1
Sn (z) = 1 + z + . . . + z n = .
1−z
Заметим, что в случае |z| < 1 предел частичных сумм существует
и
1
S(z) = lim Sn (z) = .
n→∞ 1−z
В случае |z| ≥ 1 не выполняется необходимое условие сходимости
ряда и геометрический ряд расходится. Оказывается, что такая
ситуация в определённом смысле типична для степенных рядов.
Теорема 3.1. Для каждого степенного ряда (3.1) число
1
R = pn
, 0 ≤ R ≤ +∞, (3.2)
lim |an |
n→∞
25
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
26
СТЕПЕННЫЕ РЯДЫ И ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ
Qn (z) − Qn (z0 ) ε
<
z − z0 3
27
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Sn (z) − Sn (z0 ) ε
− Sn0 (z0 ) < .
z − z0 3
S(z) − S(z0 )
− g(z0 ) < ε.
z − z0
28
СТЕПЕННЫЕ РЯДЫ И ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ
29
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
z2 z4 z3 z5
cos z = 1 − + − ..., sin z = z − + − ...
2! 4! 3! 5!
Для вещественных z = x мы получаем ряды Тейлора соответству-
ющих функций вещественного переменного. Непосредственно из
определения косинуса и синуса следует формула Эйлера:
cos(a+b) = cos a cos b−sin a sin b, sin(a+b) = sin a cos b+sin b cos a.
30
СТЕПЕННЫЕ РЯДЫ И ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ
η = arg z + 2kπ, k ∈ Z,
31
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
т. е. (ζ1 + ζ2 ) ∈ Ln{z1 z2 }.
Допустим теперь, что в некоторой области D ⊂ C определена
непрерывная функция ζ = f (z), принимающая в каждой точке
z ∈ D значение f (z) ∈ Ln{z}. Тогда ef (z) = z, и мы будем называть
f непрерывной ветвью (или просто ветвью) логарифма в области
D. Будем писать f (z) = ln z, если ясно, о какой ветви идет речь.
Рассмотрим случай области D = C \ R− , R− = {x ∈ R : x ≤ 0}.
В этой области можно выделить ветвь arg z, которая принимает
значения из интервала (−π, π). Функция ζ = ln z = ln |z| + i arg z
будет непрерывной в D и обратной к функции z = eζ , определённой
в полосе | Im ζ| < π. По теореме об обратной функции выделенная
ветвь ln z будет голоморфной функцией в D и
d 1 1
ln z = ζ = .
dz e z
Замечая, что 1 + z расположено в D = C \ R− при |z| < 1, мож-
но рассмотреть непрерывную ветвь ln(1 + z) в единичном круге
D = {z ∈ C : |z| < 1}. Далее,
∞
d 1 X
ln(1 + z) = = (−1)n z n ,
dz 1+z
n=0
32
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
∞ n
(−1)n−1 zn
P
где степенной ряд сходится в единичном круге D. Ряд
n=1
также сходится в D, а его сумма S(z) является голоморфной функ-
∞
цией в D и S 0 (z) = (−1)n z n . Таким образом,
P
n=0
(ln(1 + z) − S(z))0 = 0
33
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
34
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
n
X n
X
f (z(τk ))(z(tk ) − z(tk−1 )), f (z(τk ))|z(tk ) − z(tk−1 )|,
k=1 k=1
35
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z Zβ Z Zβ
0
f (z)dz = f (z(t))z (t)dt, f (z)|dz| = f (z(t))|z 0 (t)|dt.
γ α γ α
36
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
37
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
то
Z Z
f (z)dz ≤ |f (z)||dz| ≤ max |f (z)| · Length(γ).
z∈γ
γ γ
38
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
F (z) − F (z0 )
Z
1
− f (z0 ) = (f (ζ) − f (z0 ))dζ ≤
z − z0 |z − z0 |
[z0 ,z]
Z
ε
≤ |dζ| = ε.
|z − z0 |
[z0 ,z]
39
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
и теорема доказана.
40
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
1
|I(∆1 )| ≥ |I(∆)| .
4
Теперь разобьём ∆1 на четыре конгруэнтных треугольника
(1) (4)
∆1 , . . . , ∆1 и выберем из них ∆2 так, чтобы выполнялось нера-
венство
1 1
|I(∆2 )| ≥ |I(∆1 )| ≥ 2 |I(∆)| .
4 4
Продолжая этот процесс, получим последовательность вложенных
треугольников ∆ ⊃ ∆1 ⊃ ∆2 ⊃ . . ., удовлетворяющих условию
1
|I(∆n )| ≥ |I(∆)|.
4n
41
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z Z
|I(∆n )| = f (z)dz = (f (z) − f (z ∗ ) − (z − z ∗ )f 0 (z ∗ ))dz ≤
∂∆n ∂∆n
Z
≤ε |z − z ∗ ||dz|.
∂∆n
Поскольку z∗
расположена внутри ∆n , то для z ∈ ∂∆n величина
∗
|z − z | не превышает периметра треугольника ∆n , т. е. величи-
ны l · 2−n . Но тогда из способа построения треугольников ∆n и
полученного выше неравенства имеем
εl2
Z Z
1 εl
|I(∆)| ≤ |I(∆n )| ≤ ε |z − z ∗ ||dz| ≤ |dz| = .
4n 2n 4n
∂∆n ∂∆n
42
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
43
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Zβ
z 0 (t)
Z
dz
= dt.
z z(t)
γ α
44
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
45
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
46
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
47
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
z−a 0
1 1
ln = − .
z−b z−a z−b
48
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
γ = k1 γ1 + . . . + km γm , (4.5)
49
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
(1)
для любой голоморфной в ∆i функции g. Сумма λj = λj + ...
(l)
+λj будет замкнутой ломаной со звеньями, параллельными осям
координат, и такая, что
Z Z
g(z)dz = g(z)dz
λj γj
50
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
51
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
M N
!
X
J(σ − k∂Qi , ai ) = J λ− J(λ, ar )∂Qr − k∂Qi , ai =
r=1
M
X N
= J(λ, ai ) − J(λ, ar )J(∂Qr , ai ) − kJ(∂Qi , ai ) = −k.
r=1
M
X N
J(σ−k∂Qi , aj ) = J(λ, aj )− J(λ, ar )J(∂Qr , aj )−kJ(∂Qi , aj ) = 0.
r=1
J(σ − k∂Qi , ai ) = 0.
52
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
53
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
a1 a2 a3
a4 a5 a6
a7 a8 a9
D
54
КОМПЛЕКСНОЕ ИНТЕГРИРОВАНИЕ. ТЕОРЕМА КОШИ
γ = γ0 − γ1 − . . . − γn
55
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
56
ИНТЕГРАЛЬНАЯ ФОРМУЛА КОШИ. ИНТЕГРАЛ КОШИ
f (z) − f (a)
Z Z
1 f (z) 1
dz − f (a) = dz ≤ M · r,
2πi z−a 2π z−a
λr λr
57
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z
ϕ(ζ)dζ
|F1 (z; ϕ) − F1 (z0 ; ϕ)| = |z − z0 | ≤
(ζ − z)(ζ − z0 )
γ
Z
1
≤ |z − z0 | |ϕ(ζ)||dζ|.
2δ 2
γ
58
ИНТЕГРАЛЬНАЯ ФОРМУЛА КОШИ. ИНТЕГРАЛ КОШИ
ϕ
= F1 z0 ; = F2 (z0 ; ϕ).
ζ − z0
Таким образом, голоморфность функции F1 (z; ϕ) и равенство
F10 (z; ϕ) = F2 (z; ϕ) доказаны.
Воспользуемся теперь методом математической индукции и до-
пустим, что голоморфность функции Fn−1 (z; ϕ) и равенство
0
Fn−1 (z; ϕ) = (n − 1)Fn (z; ϕ)
доказаны. Тогда из представления
Z
1 1
Fn (z; ϕ) − Fn (z0 ; ϕ) = − ϕ(ζ)dζ+
(ζ − z)n (ζ − z)n−1 (ζ − z0 )
γ
Z Z
ϕ(ζ)dζ ϕ(ζ)dζ
+ n−1
− =
(ζ − z) (ζ − z0 ) (ζ − z0 )n
γ γ
Z
ϕ(ζ)dζ
= (z − z0 ) +
(ζ − z)n (ζ − z0 )
γ
ϕ ϕ
+ Fn−1 z; − Fn−1 z0 ;
ζ − z0 ζ − z0
следует непрерывность функции Fn (z; ϕ). Действительно, огра-
ниченность интеграла, который стоит множителем при (z − z0 ),
устанавливается в окрестности точки z0 , как и при доказательстве
непрерывности F1 , а непрерывность Fn−1 имеем по предположению
индукции. Далее, из равенства
Fn (z; ϕ) − Fn (z0 ; ϕ) ϕ
= Fn z; +
z − z0 ζ − z0
ϕ ϕ
Fn−1 z; − Fn−1 z0 ;
ζ − z0 ζ − z0
+ ,
z − z0
доказанной непрерывности Fn и предположений индукции получа-
ем голоморфность функции Fn (z; ϕ) и выполнение соотношения
ϕ ϕ
Fn0 (z0 ; ϕ) = Fn z0 ; +(n−1)Fn z0 ; = nFn+1 (z0 ; ϕ).
ζ − z0 ζ − z0
59
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Теорема доказана.
1
F (z) = F1 (z; ϕ).
2πi
Поэтому функция F является голоморфной в C \ γ и
1
F 0 (z) = F2 (z; ϕ).
2πi
Функция F2 (z; ϕ), а следовательно, и функция F 0 (z) также явля-
ются голоморфными и
2!
F 00 (z) = F3 (z; ϕ).
2πi
По индукции получаем бесконечную дифференцируемость функ-
ции F и равенства
n!
F (n) (z) = Fn+1 (z; ϕ),
2πi
n = 1, 2, . . ., которые эквивалентны (5.3).
60
ИНТЕГРАЛЬНАЯ ФОРМУЛА КОШИ. ИНТЕГРАЛ КОШИ
61
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Теорема доказана.
62
ЛОКАЛЬНО РАВНОМЕРНАЯ СХОДИМОСТЬ. РЯДЫ ТЕЙЛОРА И ЛОРАНА
§ 6. Локально равномерная
сходимость. Ряды Тейлора и Лорана
63
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
64
ЛОКАЛЬНО РАВНОМЕРНАЯ СХОДИМОСТЬ. РЯДЫ ТЕЙЛОРА И ЛОРАНА
f (ζ) − fn (ζ)
Z
0 1 4
|f (z) − fn0 (z)| = dζ ≤ max |f (ζ) − fn (ζ)|.
2π (ζ − z)2 r ζ∈γr
γr
65
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
f (n) (z0 )
cn = , (6.2)
n!
n = 1, 2, . . .
Доказательство. Допустим вначале, что Or (z0 ) ⊂ D, и пусть
γ = ∂Or (z0 ) — положительно ориентированная граница круга Or (z0 ).
Тогда f имеет представление в Or (z0 ) интегральной формулой Ко-
ши: Z
1 f (ζ)
f (z) = dζ.
2πi ζ −z
γ
z − z0 |z − z0 |
= < 1,
ζ − z0 r
f (n) (z0 )
Z
1 f (ζ)
dζ = ,
2πi (ζ − z0 )n+1 n!
γ
n = 1, 2, . . .
66
ЛОКАЛЬНО РАВНОМЕРНАЯ СХОДИМОСТЬ. РЯДЫ ТЕЙЛОРА И ЛОРАНА
67
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
68
ЛОКАЛЬНО РАВНОМЕРНАЯ СХОДИМОСТЬ. РЯДЫ ТЕЙЛОРА И ЛОРАНА
69
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Пусть теперь r < r0 < R0 < R. Тогда цикл γR0 − γr0 ограничивает
кольцо K 0 = {z : r0 < |z − a| < R0 }. В силу интегральной формулы
Коши (5.2) имеем в кольце K 0 представление
Z Z
1 f (ζ) 1 f (ζ)
f (z) = dζ − dζ = f1 (z) + f2 (z),
2πi ζ −z 2πi ζ −z
γR0 γr 0
где
Z Z
1 f (ζ) 1 f (ζ)
f1 (z) = dζ, f2 (z) = − dζ.
2πi ζ −z 2πi ζ −z
γR0 γr 0
70
ЛОКАЛЬНО РАВНОМЕРНАЯ СХОДИМОСТЬ. РЯДЫ ТЕЙЛОРА И ЛОРАНА
ζ −a r0
= < 1,
z−a |z − a|
∞
X bn
f2 (z) = ,
(z − a)n
n=1
где
Z
1
bn = (ζ − a)n−1 f (ζ)dζ = c−n .
2πi
γr0
71
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
и теорема доказана.
72
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
∞
cn z n по положительным степеням z,
P
точки понимается сумма
n=1
0
cn z n по отрица-
P
а под правильной частью понимается сумма
n=−∞
тельным степеням z и c0 . Это связано с тем, что z n
→ 0 при z → ∞
для отрицательных n и z n → ∞ при z → ∞ для положительных
n. В случае отсутствия главной части f (z) → c0 при z → ∞, а
замена z = 1/ζ приводит к тому, что функция g(ζ) = f (1/ζ) будет
голоморфной в окрестности точки ζ = 0.
73
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z Z
1 f (ζ) M M
|cn | = n+1
dζ ≤ |dζ| = ,
2π (ζ − a) 2π%n+1 %n
γ% γ%
M = max |f (z)|,
z∈γ%
74
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
75
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
76
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
77
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
комплексное число
Z
1
res f (z) = f (z)dz,
z=a 2πi
γ%
78
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
1 d(m−1)
c−1 = res f = g(z) .
a (m − 1)! dz m−1
z=a
при каждом k = 1, . . . , n.
79
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
80
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
Замечая, что Z
1
f (z)dz = − res f (z),
2πi z=∞
γR
Замечая, что Z
1
f (z)dz = − res f (z),
2πi z=∞
ΓR
приходим к доказываемому утверждению.
81
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z2π
R(cos θ, sin θ)dθ.
0
82
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
Z2π Z
1 X
R(cos θ, sin θ)dθ = R1 (z)dz = 2π res R1 (z),
i z=a
0 T |a|<1
83
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
ZR Z∞
P (x) P (x)
lim dx = dx.
R→∞ Q(x) Q(x)
−R −∞
84
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
Z Zπ Zπ/2
−αR sin θ
iαz
e |dz| = R e dθ = 2R e−αR sin θ dθ
ΓR 0 0
85
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Zπ/2 Zπ/2
e−αR sin θ dθ ≤ e−α2Rθ/π dθ =
0 0
ZαR Z∞
π π π
= e−t dt ≤ e−t dt = .
2αR 2αR 2αR
0 0
Отсюда находим, что
Z
π
eiαz |dz| < .
α
ΓR
86
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
при R → ∞. Поэтому
Z
g(z)eiαz dz → I
λR
при R → ∞ и, следовательно,
X
res g(z)eiαz .
I = 2πi
z=a
Im a>0
При этом I1 = Re I и I2 = Im I.
IV. ДОЛЕВОЙ ВЫЧЕТ В ПРОСТОМ ПОЛЮСЕ
Пусть a — изолированная особая точка функции f , т. е. f голо-
морфна в Ȯr (a) при некотором r > 0. Рассмотрим дугу окружно-
сти γ%,α : z = a + %eiθ , θ0 ≤ θ ≤ θ0 + α, где % ∈ (0, r) и α ∈ (0, 2π].
Если α = 2π, то γ%,α представляет собой полную окружность γ% и
Z
f (z)dz = i2π res f (z).
z=a
γ%
87
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Z 0 +α
θZ
dz
= i dθ = iα,
z−a
γ%,α θ0
ln z 1 iπ
res f (z) = lim = − ln(−1) = − .
z=−1 z→−1 z − 1 2 2
Для больших R > 2 и малых ε < 1/4 рассмотрим область D(R, ε),
которая получается из полукруга {z : |z| < R, Im z > 0} удалением
88
ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ. ВЫЧЕТЫ
Рис. 3. К примеру 1
−1−ε
f (z)dz + f (x)dx − f (z)dz +
ΓR −R γ1ε
−ε R
+ f (x)dx − f (z)dz + f (x)dx = 0.
−1+ε γ2ε ε
89
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Заметим, что
p
(ln R)2 + π 2
Z Z
f (z)dz ≤ |f (z)| · |dz| ≤ πR → 0
R2 − 1
ΓR ΓR
Далее,
p
(ln ε)2 + π 2
Z
f (z)dz ≤ πε → 0
1−ε
γ2ε
при ε → 0, а в силу доказанной выше леммы
π2
Z
lim f (z)dz = iπ res f (z) = .
ε→0 z=−1 2
γ1ε
Таким образом,
Z∞ Z∞
ln x π2 ln x π2
2 dx − = 0, dx = .
x2 − 1 2 x2 − 1 4
0 0
90
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
91
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
92
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
93
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
где k ∈ Z.
Доказательство.
p Допустим вначале, что g(z) — регулярная
ветвь f (z) в области D, т. е. g голоморфна в D и (g(z))n ≡ f (z).
n
94
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
f 0 (ζ)
Z
1
dζ = J(f (γ), 0) = k · n,
2πi f (ζ)
γ
95
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
1 1 f 0 (z)
g 0 (z) = g(z)h0 (z) = g(z) .
n n f (z)
g 0 (z)
= (g(z))−n f 0 (z) − n f (z) = 0
g(z)
Замечание
p 8.4. В условиях теоремы 8.2 регулярную ветвь g(z)
функции n f (z) в области D можно получить по формуле
1 Z f 0 (ζ)
g(z) = g(a) exp dζ , (8.5)
n f (ζ)
γz
96
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
p
функции f , представление регулярной ветви n f (z) можно пере-
писать в виде
1/n i
g(z) = |f (z)| exp (θ + ∆γz arg f (ζ)) , (8.6)
n
где θ ∈ Arg{f (a)}.
p
Замечание 8.5. Все регулярные ветви функции n f (z) в обла-
сти D отличаются друг от друга множителем ei2kπ/n , k = 0, 1, . . . ,
n − 1.
Доказательство. Действительно,
p если g1 (z) и g2 (z) — две ре-
гулярные ветви функции n f (z), то
g1 (z) n
≡ 1,
g2 (z)
откуда получаем
g1 (z) ≡ κ(z)g2 (z),
где κ(z) ∈ {ei2kπ/n : k = 0, 1, . . . , n − 1}. Из леммы 8.1 следует, что
κ(z) ≡ const, и утверждение доказано.
97
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
C \ E можно выделить
т. е. условие (8.4) выполнено и в области p
регулярную ветвь многозначной функции 4 z 3 (z + 1).
98
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
99
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
∞
1−z X 2
ln(k) = i(2k + 1)π − z −(2n−1) , k ∈ Z.
1+z 2n − 1
n=1
100
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
получаем
∞ ∞
p
n
X
m 1 X
m 1
z n−1 (z + 1) = z C1/n m
= C1/n m−1
.
z z
m=0 m=0
p ∞
X
n i2kπ/n m −(m−1)
z n−1 (z + 1) = e C1/n z , k = 0, 1, . . . , n − 1.
(k)
m=0
Z2
dx
I = p .
3
x2 (2 − x)
0
101
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Рис. 4. К примеру 3
102
РЕГУЛЯРНЫЕ ВЕТВИ ЛОГАРИФМА И КОРНЕЙ
Отсюда находим
1
res = −c−1 = −e−iπ/3 .
z=∞ g(z)
Следовательно,
Z 2−ε
Z Z 2−ε
Z
dz dx dz dx
= e−i2π/3 p , = − p .
g(z) 3
x2 (2 − x) g(z) 3
x2 (2 − x)
λ+
ε
ε λ−
ε
ε
Далее,
|dz|
Z Z
dz 2πε
≤ 1/3
≤ 2/3 → 0,
g(z) |z 2 (2 − z)| ε (2 − ε)1/3
C1ε C1ε
Z
dz 2πε
≤ → 0
g(z) (2 − ε)2/3 ε1/3
C2ε
103
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
В результате получаем
2πie−iπ/3 2πi π 2π
I = = iπ/3 = = √ .
1 − e−i2π/3 e − e−iπ/3 sin π3 3
104
ПРИНЦИП АРГУМЕНТА И ОТОБРАЖАЮЩИЕ СВОЙСТВА ГОЛОМОРФНЫХ
ФУНКЦИЙ
Таким образом,
Z 0 n m
1 f (z) X X
dz = sk J(γ, ak ) − qk J(γ, bk ) = N − P
2πi f (z)
γ k=1 k=1
и теорема доказана.
105
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
106
ПРИНЦИП АРГУМЕНТА И ОТОБРАЖАЮЩИЕ СВОЙСТВА ГОЛОМОРФНЫХ
ФУНКЦИЙ
107
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
108
ПРИНЦИП АРГУМЕНТА И ОТОБРАЖАЮЩИЕ СВОЙСТВА ГОЛОМОРФНЫХ
ФУНКЦИЙ
и, кроме того,
|f 0 (0)| ≤ 1. (9.3)
При этом знак равенства в (9.2) при z 6= 0 или в (9.3) достига-
ется лишь в случае f (z) = eiθ z, где θ ∈ R.
Доказательство. В силу сделанных в условии теоремы пред-
положений функция ϕ(z) = f (z)/z голоморфна в D \ {0} и в точ-
ке z = 0 имеет устранимую особенность. Полагая ϕ(0) = f 0 (0),
получаем голоморфную в D функцию ϕ. При этом для каждого
r ∈ (0, 1) в силу принципа максимума модуля имеем
1 1
max |ϕ(z)| = max |ϕ(z)| = max |f (z)| ≤ .
|z|≤r |z|=r r |z|=r r
109
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Конформность
Рассмотрим голоморфную в области D функцию f . Допустим,
что в точке z0 ∈ D не обращается в нуль производная f 0 (z0 ) 6= 0.
Тогда, как следует из теоремы о локальной структуре отображе-
ния, найдётся окрестность Or (z0 ), в которой f однолистна. Пусть
γ : z = z(t), α ≤ t ≤ β, — гладкий путь (т. е. z 0 (t) 6= 0) в Or (z0 ), про-
ходящий через точку z0 , т. е. z(t0 ) = z0 при некотором t0 ∈ (α, β).
Его образ Γ : w = f (z(t)), α ≤ t ≤ β, при отображении w = f (z) так-
же является гладким путём, проходящим через точку w0 = f (z0 ).
Действительно, w0 (t) = f 0 (t)z 0 (t) 6= 0 при t ∈ (α, β). В частности,
|∆w|
lim = |f 0 (z0 )|.
∆z→0 |∆z|
110
ПРИНЦИП АРГУМЕНТА И ОТОБРАЖАЮЩИЕ СВОЙСТВА ГОЛОМОРФНЫХ
ФУНКЦИЙ
111
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
w0 (t0 ) z 0 (t0 )
1 ∂f ∂f 1 ∂f ∂f
0
= −i + +i . (9.5)
z (t0 ) 2 ∂x ∂y 2 ∂x ∂y z 0 (t0 )
∂f ∂f
+i = 0,
∂x ∂y
∂f ∂f ∂f ∂f
+i = 0 или −i = 0.
∂x ∂y ∂x ∂y
112
ПРИНЦИП АРГУМЕНТА И ОТОБРАЖАЮЩИЕ СВОЙСТВА ГОЛОМОРФНЫХ
ФУНКЦИЙ
113
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Дробно-линейные преобразования
Под дробно-линейным преобразованием понимается рациональ-
ная функция
az + b
L(z) = , (10.1)
cz + d
где комплексные числа a, b, c, d называются коэффициентами пре-
образования L и удовлетворяют условию
ad − bc 6= 0. (10.2)
114
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
= (a1 d1 − b1 c1 )(a2 d2 − b2 c2 ) 6= 0,
поскольку условие (10.2) выполняется для L1 и L2 .
Покажем теперь, что для каждого дробно-линейного преобразо-
вания L существует обратное L−1 и L−1 ∈ M. Решая уравнение
az + b
w =
cz + d
относительно z, находим
dw − b
z = L−1 (w) = .
−cw + a
ad − bc
L0 (z) = 6= 0,
(cz + d)2
115
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
т. е. L конформно в точке z = ∞.
Если c = 0, то в силу (10.2) коэффициенты a и d не должны
обращаться в нуль. Поэтому L0 (z) = a/d 6= 0, что означает кон-
формность L в конечных точках. В бесконечно удалённой точке
отображение L имеет простой полюс и также является конформ-
ным.
116
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
T (z1 ) = (z1 , z2 , z3 , z4 ).
= T (z1 ) = (z1 , z2 , z3 , z4 )
и теорема доказана.
(w, w1 , w2 , w3 ) = (z, z1 , z2 , z3 )
относительно w.
117
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Круговое свойство
При стереографической проекции каждой окружности на сфе-
ре Римана в комплексной плоскости C соответствует окружность
или прямая. Поэтому под окружностью в C в дальнейшем будем
понимать окружность или прямую. Другими словами, прямая —
это окружность в C, проходящая через бесконечно удалённую точ-
ку. Оказывается, что семейство окружностей в C преобразуется
посредством дробно-линейных преобразований в себя.
Предложение 10.4. Прообразом вещественной оси при отоб-
ражении L : C 7→ C, L ∈ M, является окружность в C (т. е.
окружность или прямая).
Доказательство. Пусть L определяется равенством (10.1) с
условием (10.2) на коэффициенты. Условие z ∈ L−1 (R) можно
записать в виде равенства Im L(z) = 0 или
az + b az + b
− = 0.
cz + d cz + d
Последнее равенство можно переписать в эквивалентном виде:
где
ad − bc bd − bd
A = , B = .
ac − ac ac − ac
Замечая также, что
|ad − bc|2
|A|2 − B = > 0,
|ac − ac|2
118
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
Im(z1 , z2 , z3 , z4 ) = 0.
Принцип симметрии
Если дробно-линейное преобразование (10.1) определяется веще-
ственными коэффициентами, то оно переводит вещественную ось
119
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
(z ∗ , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ). (10.4)
z ∗ − z2
z − z2
= .
z ∗ − z3 z − z3
120
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
(z ∗ , z1 , z2 , z3 ) = (z, z1 , z2 , z3 ) = (z, z1 , z2 , z3 ) =
2
R2 R2 R2
R
= , , , =
z − a z 1 − a z2 − a z3 − a
2
R
= , z1 − a, z2 − a, z3 − a =
z−a
2
R
= + a, z1 , z2 , z3 .
z−a
Другими словами,
R2
∗
T (z ) = T +a .
z−a
R2 R2
z∗ = +a или z∗ − a = .
z−a z−a
121
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
122
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
dw d α ln z w
= e = α
dz dz z
следует, что степенная функция определяет конформное отобра-
жение во всех точках области C \ R+ .
Экспоненциальная функция
Рассмотрим отображающие свойства функции w = ez . Если
z = x + iy, то w = ex eiy , откуда видно, что прямая z = x + iy0 ,
−∞ < x < ∞, взаимно однозначно отображается на луч w = ex eiy0 ,
−∞ < x < ∞, который выходит из начала координат и образует с
положительным направлением вещественной оси угол, равный y0 .
Прямые, параллельные мнимой оси, отображаются на окружности
с центром в начале координат. При этом каждая точка окруж-
ности является бесконечно-кратной, поскольку функция ez имеет
период 2πi. Всякая другая прямая в z-плоскости переходит в ло-
гарифмическую спираль в w-плоскости. Областью однолистности
экспоненциальной функции является всякая горизонтальная поло-
са, имеющая ширину, не превышающую 2π. В частности, горизон-
тальная полоса {z : y1 < Im z < y2 } при y2 − y1 < 2π однолистно
отображается на сектор {w : y1 < arg w < y2 }, который в случае
123
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
d z
e = ez 6= 0,
dz
то отображение, осуществляемое экспоненциальной функцией, кон-
формно в каждой точке.
Функция Жуковского
Рациональная функция
z2 + 1
1 1
w = z+ =
2 z 2z
124
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
u2 v 2
+ 2 = 1
a2 b
и c2 = a2 − b2 = 1 (т. е. (−c, 0), (c, 0) — фокусы эллипса). При этом
положительному обходу точкой z окружности |z| = r при r > 1
соответствует положительный обход эллипса точкой w, а в случае
r < 1 обход эллипса осуществляется в противоположном направле-
нии. Кроме того, окружностям |z| = r и |z| = 1/r соответствует в
w-плоскости один и тот же эллипс. Единичная окружность |z| = 1
переходит в отрезок [−1, 1], который обходится дважды. К этому
отрезку стягиваются эллипсы, которые являются образами окруж-
ностей |z| = r при r → 1.
Пусть теперь θ ∈ (0, π/2) фиксировано, а r меняется от 0 до
+∞. Тогда для всех w, соответствующих точкам этого луча, будет
выполняться равенство
u2 v2
− = 1,
cos2 θ sin2 θ
т. е. точки w находятся на гиперболе с теми же фокусами w = ±1.
Легко видеть, что когда r меняется от 0 до ∞, точка w движется
по правой ветви гиперболы снизу вверх. Если изменить знак θ,
т. е. взять его из интервала (−π/2, 0), то образом этого луча будет
та же ветвь гиперболы, но с противоположным обходом. Лучи,
125
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
126
ЭЛЕМЕНТАРНЫЕ КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
Поскольку при z ∈ T
z−a z−a
= = 1,
1 − az z−a
|ϕ(z)| ≤ |z|
|z| ≤ |ϕ(z)|,
127
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
128
ПРИНЦИП КОМПАКТНОСТИ И ТЕОРЕМА РИМАНА
129
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
130
ПРИНЦИП КОМПАКТНОСТИ И ТЕОРЕМА РИМАНА
131
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
132
ПРИНЦИП КОМПАКТНОСТИ И ТЕОРЕМА РИМАНА
Z
|f (z 0 ) − f (z 00 )| = f 0 (z)dz ≤ M |z 0 − z 00 | < M δ ≤ ε,
[z 0 ,z 00 ]
133
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
134
ПРИНЦИП КОМПАКТНОСТИ И ТЕОРЕМА РИМАНА
135
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
136
ПРИНЦИП КОМПАКТНОСТИ И ТЕОРЕМА РИМАНА
137
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
Следовательно,
138
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
139
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
140
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
141
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
142
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
143
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
144
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
Пусть теперь |t1 − t0 | < δ. Тогда Ut0 ∩ Ut1 6= ∅ и для тех t, при
которых γt − γt0 ⊂ Ut0 , γt − γt1 ⊂ Ut1 , будут выполняться равенства
145
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
146
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
0 D1
0 D0
0 D−1
147
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
∞
X
Ua := {z : |z − a| < R}, S(z) := cn (z − a)n ,
n=0
148
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
149
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
150
АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ
f (z), если z ∈ D+ ∪ I,
(
F (z) =
f (z), если z ∈ D− .
151
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
152
ЦЕЛЫЕ И МЕРОМОРФНЫЕ ФУНКЦИИ
153
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
154
ЦЕЛЫЕ И МЕРОМОРФНЫЕ ФУНКЦИИ
155
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
т. е. f — рациональная функция.
При этом
n
X
f (z) − gk (z) → 0
k=1
156
ЦЕЛЫЕ И МЕРОМОРФНЫЕ ФУНКЦИИ
157
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
158
ЦЕЛЫЕ И МЕРОМОРФНЫЕ ФУНКЦИИ
Следовательно,
l2k+1 l2k 16k
= 8, = ≤ 16.
d2k+1 d2k 2k − 1
|1 + ei2z | |1 − e−2y |
| ctg z| = = ≤ 1.
|1 − ei2z | |1 + e−2y |
(z − an ) cos z cos an 1 1
res f (z) = lim = = ,
z=an z→an z sin z an (sin z)0 z=an an
159
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
получаем
1 1 1 1
g2k (z) = , g2k+1 (z) = − , k = 1, 2, . . .
kπ z − kπ kπ z + kπ
∞
1 X 1 1
= + + .
z z − kπ z + kπ
k=1
160
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
и теорема доказана.
161
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
162
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
163
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
1 − |z|2
u(z) = Re L(z) =
|1 − z|2
164
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
165
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
1 − |a|2
Z Z
1 0 1
u(a) = u(κ)|L (κ)||dκ| = u(κ) |dκ|.
2π 2π |1 − aκ|2
T T
|1 − aκ| = |κ − a| = |κ − a|,
166
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
Связь
Re S(z; ϕ) = P (z; ϕ)
между интегралами Пуассона и Шварца с одной и той же плотно-
стью позволяет использовать методы теории аналитических функ-
ций при изучении свойств интеграла Пуассона.
Теорема 14.7. Пусть ϕ — интегрируемая на единичной окруж-
ности T вещественнозначная функция. Тогда S(z; ϕ) является
голоморфной в единичном круге D функцией. Кроме того, если
ϕ обращается в нуль на некоторой открытой дуге γ ⊂ T, то
S(z; ϕ) аналитически продолжается через γ во внешность еди-
ничного круга и на γ функция S(z; ϕ) принимает чисто мнимые
значения.
167
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
z − z0
Z
κϕ(κ)
S(z; ϕ) − S(z0 ; ϕ) = |dκ|,
π (κ − z)(κ − z0 )
T
S(z; ϕ) − S(z0 ; ϕ) 1
Z
κϕ(κ)
− |dκ| =
z − z0 π (κ − z0 )2
T
|z − z0 | |z − z0 |
Z Z
κϕ(κ)
= |dκ| ≤ |ϕ(κ)||dκ|.
π (κ − z)(κ − z0 )2 4πr3
T T
κ+z 1 − |z|2
Re = = 0
κ−z |κ − z|2
168
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
1 − |z|2 κ+z
2
= Re
|κ − z| κ−z
169
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
и (
0 при κ ∈ γ,
ϕ2 (κ) =
ϕ(κ) − ϕ(κ0 ) при κ ∈ T \ γ.
Поскольку P (z; ϕ(κ0 )) ≡ ϕ(κ0 ), то
170
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
171
В. В. ГОРЯЙНОВ, Е. С. ПОЛОВИНКИН
zn → κ ∈ T при n → ∞, то
m Z
1 X 1 − |z|2 ±
|Uε± (z)| = ϕ (κ)|dκ| ≤
2π |κ − z|2 ε
k=1 γ ε
k
m
M 1 + |z| X M 1 + |z|
Z
≤ |dκ| = nε.
2π 1 − |z| 2π 1 − |z|
k=1 γ ε
k
Но тогда и
nM 1 + |z|
|U (z)| ≤ ε .
2π 1 − |z|
Поскольку ε выбиралось произвольно из промежутка (0, d/2), то в
полученном неравенстве можно осуществить предельный переход
при ε → 0 и мы приходим к равенству U (z) = 0.
172
ГАРМОНИЧЕСКИЕ ФУНКЦИИ И ЗАДАЧА ДИРИХЛЕ
173
Литература
174
Учебное издание
ЛЕКЦИИ
ПО ТЕОРИИ ФУНКЦИЙ
КОМПЛЕКСНОГО ПЕРЕМЕННОГО