Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Зверович
ВЕЩЕСТВЕННЫЙ И КОМПЛЕКСНЫЙ
АНАЛИЗ
Учебное пособие
в шести частях
Часть 6
Теория аналитических функций
комплексного переменного
Минск
2008
В этом томе излагается теоретический материал, который пре-
подается студентам математических специальностей университе-
тов в пятом и шестом семестрах. Его содержание составляют эле-
менты теории аналитических функций одного комплексного пере-
менного.
Предисловие
В этой книге излагается теоретический материал, кото-
рый преподается студентам математических специальностей
университетов в пятом и шестом семестрах. Его содержа-
ние составляют предусмотренные учебными программами
элементы теории аналитических функций одного комплекс-
ного переменного. Общий объем этого материала составляет
приблизительно 25 процентов общего объема курса мате-
матического анализа (и имеет тенденцию к сокращению).
Поэтому для сколько-нибудь полноценного изложения часть
материала из этого курса перенесена в курс анализа. В целях
экономии учебного времени студентов в определение понятия
аналитической функции введено требование о непрерывно-
сти производной (на самом деле это требование является
лишним). Из других особенностей этого пособия отметим
более систематическое (по сравнению с другими учебными
изданиями) использование элементов общей топологии.
Нумерация глав продолжает нумерацию глав предыду-
щих частей. В конце каждой главы приведены подборки за-
дач, которые составила доцент О.Б. Долгополова. В список
литературы включены учебники и учебные пособия [1 – 9],
[12, 13] и задачники [10, 11]. Учебники и учебные пособия по-
добраны по принципу близости по методике к предлагаемому
учебному пособию; учитывалась также доступность их для
студентов университетов республики Беларусь.
Выражаю благодарность профессору В.Г. Кротову, доцен-
там А.С. Ляликову и Е.К. Щетникович за квалифицирован-
ную помощь при подготовке рукописи в издательской систе-
ме LATEX 2ε , а также доценту Т.Н. Жоровиной за тщатель-
ное вычитывание рукописи. Выражаю благодарность рецен-
зентам: ректору Гродненского государственного университе-
та профессору Е.А. Ровбе и профессору того же университета
Ю.М. Вувуникяну, а также профессору Гомельского государ-
ственного университета А.П. Старовойтову.
Э.И. Зверович
24. ВВЕДЕНИЕ В КОМПЛЕКСНЫЙ
АНАЛИЗ
u + iv = f (x + iy) ,
∞
X X∞
xk 1
ex = , = (−x2 )k .
k! 1 + x2
k=0 k=0
Im z = 0 ⇐⇒ z = z ;
Re z = 0 ⇐⇒ z = −z ;
(z) = z ;
z+z
Re z = ;
2
z−z
Im z = ;
2i
z = Re z + i Im z .
Биективное отображение
C 3 z = x + iy ←→ (x, y) ∈ R2
1О комплексных числах см. также [4, п. 2.3].
24.1. Вводные замечания 7
ξ−0 η−0 ζ −1
= = = t,
x−0 y−0 0−1
P
η
O
y
z
x ξ
Итак, имеем
2|z1 − z2 |
ρ(z1 , z2 ) = p p , (24.4)
|z1 |2 + 1 |z2 |2 + 1
причем эта метрика продолжается по непрерывности до метри-
b На любом ограниченном множестве M ⊂ C евклидова и
ки на C.
сферическая метрики эквивалентны, поскольку ∀z1 , z2 ∈ M имеют
место неравенства
2|z1 − z2 |
m |z1 − z2 | 6 p p 6 2|z1 − z2 |
|z1 + 1 |z2 |2 + 1
|2
при некотором m ∈ (0, 2).
в виде (
u = u(x, y) ,
v = v(x, y) .
Итак, комплексное уравнение (24.5) равносильно систе-
ме двух вещественных уравнений. Это означает, что задание
функции комплексного переменного (24.5) равносильно зада-
нию некоторого отображения из R2 в R2 . Но график такого
отображения лежит уже в R4 и, следовательно, не допуска-
ет такого наглядного изображения, как, например, графики
функций из R в R или из R2 в R.
Для того чтобы эту трудность хотя бы частично преодо-
леть, применяют различные способы. Например, рисуют в
плоскостях комплексных переменных z и w какие-нибудь гео-
метрические фигуры и их образы при отображении f . Чаще
всего в качестве таких фигур в плоскости z берут сетки коор-
динатных линий, а в плоскости w — образы этих сеток. Снаб-
жая эти линии числовыми отметками, можно в достаточно
простых случаях получать хорошее наглядное представление
об особенностях графика данной функции комплексного пере-
менного. Примеры такого рода будут приведены ниже. Дру-
гим способом наглядного изображения функции w = f (z) яв-
ляется построение так называемого «рельефа», т.е. графика
функции u = |f (z)|.
24.2. Дифференцируемые и аналитические функции 13
24.2. ДИФФЕРЕНЦИРУЕМЫЕ
И АНАЛИТИЧЕСКИЕ ФУНКЦИИ
КОМПЛЕКСНОГО ПЕРЕМЕННОГО
l(z) = z l(1) = a z ,
¯ ∂u ¯ ¯ ¯
¯ ∂u ¯
¯α + γ
¯ ∂x ∂y ¯ δ − β ¯¯
J = ¯ ∂v ∂v ¯
= ¯¯ = α2 − γ 2 + β 2 − δ 2 = |a|2 − |b|2 .
¯ ∂x ¯ β+δ α − γ¯
∂y
f (z + h) − f (z)
f 0 (z) := lim . (24.13)
h→0 h
Как видим, это определение по форме не отличается от
определения производной функции одного вещественного пе-
ременного. Единственное отличие заключается в том, что в
равенстве (24.13) приращение является комплексным числом,
и поэтому стремление h → 0 происходит в топологии плоско-
сти C. Это, казалось бы, незначительное различие порожда-
ет весьма существенное различие свойств непрерывно диф-
ференцируемых функций вещественного переменного, с од-
ной стороны, и комплексного переменного — с другой. Но о
различиях речь пойдет позже, а сейчас остановимся кратко
на одинаковых свойствах. Они основаны кроме определения
производной по формуле (24.13) на следующих фактах:
a) теория пределов функций комплексного переменного
(кроме теорем о связи предела функции с отношениями нера-
венства) совпадает с теорией пределов функций вещественно-
го переменного;
b) арифметические операции над комплексными числами
подчиняются тем же законам, что и арифметические опера-
ции над вещественными числами.
Вследствие этого, например, теоремы о производных сум-
мы, произведения, частного, композиции, обратной функции
для функций комплексного переменного — такие же, как и
для функций вещественного переменного. Поэтому нет необ-
ходимости их снова формулировать и доказывать. Установим
лишь следующий факт, важный для дальнейшего.
Теорема 24.4. Равносильны следующие утверждения:
(a) существует конечная производная f 0 (z);
(b) функция f является C-дифференцируемой в точке z.
J (a)⇒(b) Пусть
f (z + h) − f (z)
lim = f 0 (z) ∈ C .
h→0 h
Тогда
f (z + h) − f (z)
= f 0 (z) + o(1) при h → 0 ,
h
20 24. Введение в комплексный анализ
f (z + h) − f (z)
= A + o(1) .
h
Переходя здесь к пределу при h → 0, найдем f 0 (z) = A.
Определение 24.6. Производную от функции f в точке
z по направлению θ ∈ [0, 2π) определим равенством
∂f (z) f (z + h) − f (z)
:= lim .
∂zθ |h|→0 h
arg h=θ
∂f (z) ∂f (z)
= = f 0 (z) . (24.16)
∂zθ ∂z
J (a) Так как f R-дифференцируема в точке z, то
∂f (z) ∂f (z)
Df (z)(h) = h+ h.
∂z ∂z
Полагая h = |h|eiθ , запишем приращение функции f в виде
∂f (z) ∂f (z)
f (z +h)−f (z) = |h|eiθ + |h|e−iθ +o(h) при h → 0 .
∂z ∂z
24.2. Дифференцируемые и аналитические функции 21
f 0 (z) =
∂f (z) ∂f (z) ∂u ∂v ∂v ∂u ∂u ∂u ∂v ∂v
= = = +i = −i = −i = +i .
∂z ∂zθ ∂x ∂x ∂y ∂y ∂x ∂y ∂y ∂x
2. Учитывая теорему 4(b), аналитичность функции f в точке
z можно определить как существование в некоторой окрестности
точки z непрерывной производной функции f 0 .
3. На основании предыдущих результатов уже можно постро-
ить довольно большой запас аналитических функций. Постоян-
d
ная функция f (z) ≡ c аналитична в C, так как c ≡ 0. Функ-
dz
ция f (z) µ= z = x +¶ iy аналитична в C, так как очевидно, что
∂ 1 ∂ ∂
z= +i (x + iy) ≡ 0. Далее, любая целая рациональ-
∂z 2 ∂x ∂y
ная функция P (z) = a0 z n + a1 z n−1 + . . . + an аналитична в C,
так как получена с помощью конечного числа операций сложения
и умножения из постоянных функций и функции f (z) = z. Лю-
P (z)
бая дробная рациональная функция f (z) = аналитична во
Q(z)
всех точках плоскости C, в которых знаменатель отличен от нуля
(как частное аналитических функций). Далее, на основании тео-
рем о производных композиции функций и обратной функции за-
ключаем, что аналитическими функциями являются композиция
22 24. Введение в комплексный анализ
∂f ∂f ∂f ∂f
Df (z)(1) = + , Df (z)(i) = i− i.
∂z ∂z ∂z ∂z
Подставляя эти значения в условие подобия, найдем
à !
∂f ∂f ∂f ∂f
i− i=i + ,
∂z ∂z ∂z ∂z
∂f (z)
откуда = 0, т.е. f C-дифференцируема в точке z.
∂z
(b) ⇒ (a) Если выполнено условие (b), то дифференциал
имеет вид h 7−→ Df (z)(h) = f 0 (z) h, т.е. сводится к компози-
ции растяжения и поворота. I
Замечания. 1. Учитывая, что дифференциал конформного
в точке z отображения f равен Df (z)(h) = f 0 (z) h, отметим гео-
0
метрический смысл производной f 0 (z) = |f 0 (z)| ei arg f (z) . Модуль
производной конформного отображения равен коэффициенту рас-
тяжения, а аргумент — углу поворота, которые реализует диф-
ференциал h 7−→ Df (z)(h) над фигурами, лежащими в плоскости
переменного h.
2. Исходя из приближенного равенства
f (z + h) ≈ f (z) + f 0 (z) h ,
математик и физик.
24.2. Дифференцируемые и аналитические функции 25
µ ¶ µ ¶
∂2u ∂2u ∂ ∂v ∂ ∂v
+ 2 = − ≡0
∂x2 ∂y ∂x ∂y ∂y ∂x
µ ¶ µ ¶
∂2v ∂2v ∂ ∂u ∂ ∂u
+ = − ≡ 0.
∂y 2 ∂x2 ∂y ∂x ∂x ∂y
(x,y)
Z µ ¶
∂u ∂u
v(x, y) = C + − dx + dy ,
∂y ∂x
(x0 ,y0 )
(x,y)
Z (x,y)
Z µ ¶
∂v ∂v
v(x, y) = C + dv = C + dx + dy =
∂x ∂y
(x0 ,y0 ) (x0 ,y0 )
(x,y)
Z µ ¶
∂u ∂u
=C+ − dx + dy ,
∂y ∂x
(x0 ,y0 )
∂v1 ∂v2
где ζ — аппликата9 , а ≡ ≡ 0, так как v1 и v2 зависят
∂ζ ∂ζ
только от x и y. Таким образом, условие отсутствия вихря у
поля скоростей выражается тождеством
∂v2 ∂v1
− ≡ 0.
∂x ∂y
∂v1 ∂v2
div v(z) = + ≡ 0.
∂x ∂y
dϕ = v1 dx + v2 dy , dψ = −v2 dx + v1 dy ,
имеем
∂ϕ ∂ψ
v1 = ∂x = ∂y ,
∂ϕ ∂ψ
v2 = =− .
∂y ∂x
Это значит, что функции ϕ и ψ удовлетворяют системе урав-
нений Коши — Римана, поэтому функция
∂ϕ ∂ψ
f 0 (z) = +i = v1 − iv2 .
∂x ∂x
Отсюда следует, что вектор скорости данного течения выра-
жается через комплексный потенциал в виде
v1 + iv2 = f 0 (z) .
z
° Y
Задачи
1 1
15) |z − i| + |z + i| < 4 ; 16) Re < ;
z 2
17) |z − 2| − |z + 2| < 2 ; 18) |1 − z| < |1 + z| ;
i−z π
19) 0 < arg < ; 20) |z| > 2 + Im z ;
i+z 2
π π
21) < arg(z + i) < ; 22) |z| > 1 − Re z ;
4 2
π
23) Re(z 4 ) > Im(z 4 ) ; 24) π − arg z < .
4
24.6. Найти числовые значения постоянных a, b, c, при кото-
рых функция f (z) будет аналитической:
1) f (z) = x + ay + i(bx + cy);
2) f (z) = (ch y + a sh y) cos x + i(ch y + b sh y) sin x.
24.7. Найти области, в которых функция
будет аналитической.
24.8. Является ли функция f (z) = z C-дифференцируемой?
24.9. Существует ли аналитическая функция f (z) = u + iv,
для которой:
x2 − y 2
1) u = ;
(x2 + y 2 )2
2) u = ln(x2 + y 2 ) − x2 + y 2 ;
y
3) u = e x ?
az + b
w = w(z) := , (25.1)
cz + d
где a , b , c , d — числовые коэффициенты.
Условие отличия от тождественной постоянной функции
(25.1) можно выразить неравенством
¯ ¯
¯a b ¯
¯ ¯
a(cz + d) − c(az + b) ¯ c d¯
0
w (z) = = 6≡ 0 , (25.2)
(cz + d)2 (cz + d)2
которое равносильно следующему:
¯ ¯
¯a b ¯
¯
∆ := ¯ ¯ 6= 0 .
c d¯
(25.1) к виду
¯ ¯
αz + β ¯α β ¯¯
w= , ¯ = 1. (25.3)
γz + δ ¯γ δ¯
w = Az.
ad − bc = 1 .
Множество M ⊂ C4 — многообразие комплексной размер-
ности три, т.е. любая точка (a0 , b0 , c0 , d0 ) ∈ M имеет окрест-
ность, гомеоморфную некоторой окрестности из C3 . В самом
деле, так как a0 d0 − b0 c0 = 1, то хотя бы одно из чисел a0 ,
b0 , c0 , d0 отлично от нуля. Пусть, например, a0 6= 0. Выберем
окрестность точки (a0 , b0 , c0 ) так, чтобы было a 6= 0 для всех
точек этой окрестности. В пределах этой окрестности три па-
раметра a, b, c можно задать произвольно, а четвертый d че-
1 + bc
рез них выразить: d = . Аналогично рассматриваются
a
случаи b0 6= 0, c0 6= 0, d0 6= 0.
Если в многообразии M отождествить каждую пару точек
вида (a , b , c , d) и (−a , −b , −c , −d), то получится много-
образие M 0 , которое также имеет комплексную размерность
три. С другой стороны, имеется биективное соответствие меж-
ду многообразием M 0 и множеством всех дробно-линейных
функций: именно, паре точек (a, b, c, d), (−a, −b, −c, −d)
соответствует одна дробно-линейная функция
az + b −az − b
w= = . I
cz + d −cz − d
a1 L2 (z) + b1
(L1 ◦ L2 )(z) = L1 (L2 (z)) = =
c1 L2 (z) + d1
a2 z + b2
a1 + b1
c2 z + d2 (a1 a2 + b1 c2 )z + (a1 b2 + b1 d2 )
= = .
a2 z + b2 (c1 a2 + d1 c2 )z + (c1 b2 + d1 d2 )
c1 + d1
c2 z + d2
Отсюда видно, что коэффициенты композиции образуются
по тому же закону, что и элементы произведения матриц.
А так как произведение невырожденных матриц невырож-
дено, то композиция дробно-линейных функций отлична от
постоянной. Таким образом, композиция дробно-линейных
функций есть дробно-линейная функция. Иначе говоря,
на множестве всех дробно-линейных функций определена
бинарная операция ◦ (композиция). Так как операция ком-
позиции любых отображений ассоциативна, то на множестве
всех дробно-линейных функций выполняется аксиома ас-
социативности. В качестве единичного элемента возьмем
тождественное отображение E(z) ≡ z. Для него имеем
Аналогично
w (cz + d) = az + b ⇐⇒ z (cw − a) = b − dw ,
36 25. Некоторые элементарные аналитические функции
−dw + b
z= .
cw − a
Принимая ее за элемент L−1 , имеем
w = Az + B , A , B ∈ C , A 6= 0 ,
= A1 A2 z + (A1 B2 + B1 ) .
Таким образом, композиция целых линейных функций есть целая
линейная функция. Так как (L2 ◦ L1 )(z) = A1 A2 z + (A2 B1 + B2 )
и, вообще говоря, A1 B2 +B1 6= A2 B1 +B2 , то подгруппа всех целых
линейных функций тоже не коммутативна. Так как эта подгруппа
зависит от двух комплексных параметров A ∈ C{0}, B ∈ C, кото-
рые могут принимать произвольные значения, то ее можно считать
многообразием, гомеоморфным пространству C × C{0}.
25.1. Дробно-линейные функции 37
1 1
L0 (z) ≡ z , L1 (z) = , L2 (z) = 1 − z , L3 (z) = ,
z 1−z
z−1 z
L4 (z) = , L5 (z) = .
z z−1
Тогда получим
1 A
= +B,
ζ t
t
откуда ζ = , ζ(0) = 0. Имеем
A + Bt
¯
0 A + Bt − Bt ¯¯ 1
ζ (0) = ¯ = 6= 0 .
(A + Bt)2 ¯ A
t=0
40 25. Некоторые элементарные аналитические функции
b Построим об-
Как отмечалось выше, оно непрерывно на C.
ратное к нему отображение
−dw + b d ³a´
z(w) = , z(∞) = − , z = ∞.
cw − a c c
Оно также является дробно-линейным и, значит, непрерыв-
b Тем самым установлено, что дробно-линейное отоб-
ным на C.
ражение есть гомеоморфизм C b на C.
b Осталось показать, что
d
он конформный. Если z 6= ∞ и z 6= − , то
c
¯ ¯
¯a b ¯
¯ ¯
a(cz + d) − c(az + b) ¯ c d¯
0
w (z) = = 6= 0 ,
(cz + d)2 (cz + d)2
d 1
Если z = − , то, полагая w = , получим
c ζ
µ ¶
cz + d d
ζ= , ζ − = 0,
az + b c
25.1. Дробно-линейные функции 41
¯ ¯ ¯ ¯
¯a b ¯ ¯ ¯a b ¯
µ ¶ ¯ ¯ ¯ ¯
d ¯ c d¯ ¯¯ ¯ c d¯ c2
0
ζ − =− ¯ = −µ ¶2 = − ¯¯ ¯ 6= 0 .
c (az + b)2 ¯ ad ¯ a b ¯¯
z=− dc − +b ¯ c d¯
c
b I
Таким образом, конформность установлена всюду на C.
Замечания. 1. В дальнейшем (в конце гл. 27) будет показа-
но, что верно и обратное, а именно: любое конформное отобра-
жение расширенной комплексной плоскости на себя есть дробно-
линейное отображение (25.1).
2. Переходя к пределу в равенстве (24.4) при z1 → z = z2 , мож-
но получить для дифференциала дуги на сфере ξ 2 + η 2 + ζ 2 = 1
|dz|
следующее равенство: ds = . Исходя из этого равенства,
|z|2 + 1
можно показать, что стереографическая проекция (24.3) есть го-
меоморфизм C b на S2 , конформный в смысле постоянства растяже-
ний и сохранения углов в каждой точке.
Определение 25.5. Oкружностью на C b (или короче,
b
C-окружностью) будем называть образ при стереографиче-
ской проекции любой окружности, лежащей на сфере Рима-
на.
b
Теорема 25.4. Любая C-окружность есть либо обычная
окружность на C, либо прямая линия вместе с присоединен-
b
ной к ней точкой ∞. Любую C-окружность можно задать
уравнением вида
Ezz + F z + F z + G = 0 , (25.5)
2x 2y |z|2 − 1
A + B + C + D = 0.
|z|2 + 1 |z|2 + 1 |z|2 + 1
Обозначая E = D + C, G = D − C, имеем
E =D+C, G=D−C, F = A − iB
b
Определение 25.7. Замкнутым C-кругом называется
b
замыкание открытого C-круга (т.е. либо замкнутый круг в
C, либо замкнутая полуплоскость вместе с точкой ∞, либо
замыкание внешности круга вместе с точкой ∞).
b
Следствие. Образом любого C-круга при любом дробно-
b
линейном отображении является C-круг.
J Из теорем 25.3 и 25.5 вытекает, что дробно-линейное
b
отображение отображает дополнение C-окружности на допол-
b
нение C-окружности. Каждое из этих дополнений не связно
b
и состоит из двух связных компонент (открытых C-кругов).
Так как при гомеоморфизмах образ связного множества свя-
b
зан, то образом C-круга b
может быть только C-круг. При этом
b b
образ открытого C-круга открыт, а образ замкнутого C-круга
замкнут. I
z∗
l
z
z∗
R2
z∗ − a = . (25.7)
(z − a)
Переходя в этом равенстве к пределу при z → a, получим
z ∗ → ∞. Отсюда естественно принять, что центр a окружно-
сти l и точка ∞ симметричны относительно этой окружности.
Далее, уравнение (25.7) можно записать в виде
(z ∗ − a) (z − a) = R2 .
L l
z∗ K
O l L
K a
z
z
z∗
az + b
lim = ∞,
z→∞ cz + d
25.1. Дробно-линейные функции 49
(Q ◦ T ◦ P −1 )(z) = az + b ,
причем
(Q ◦ T ◦ P −1 )(0) = b = 0 ,
(Q ◦ T ◦ P −1 )(1) = a = 1 .
Таким образом, Q◦T ◦P −1 = E (тождественное отображение),
откуда T = Q−1 ◦ P = L. I
Следствие 1. Существует дробно-линейная функция,
b
отображающая любую наперед заданную C-окружность l на
b
любую другую наперед заданную C-окружность Γ.
b
J В самом деле, C-окружность однозначно определяет-
ся, если заранее задать три лежащие на ней точки. Фиксируя
три различные точки z1 , z2 , z3 ∈ l и три различные точ-
ки w1 , w2 , w3 ∈ Γ, на основании теоремы 25.10 заключаем,
25.1. Дробно-линейные функции 51
где a, b, c, d ∈ R, причем
¯ ¯
¯a b ¯
¯ ¯
¯ c d¯
0
w (x) = > 0,
(cx + d)2
откуда ¯ ¯
¯a b ¯¯
¯ > 0. I
¯c d¯
Пример 3. Построим все дробно-линейные отображения еди-
ничного круга |z| < 1 на единичный круг |w| < 1.
J Пусть a 7−→ 0. По свойству сохранения симметричных пар
1
точек должно быть 7−→ ∞ и, значит,
a
z−a
w=k ,
z − a1
w = zn, (25.11)
25.2. Некоторые элементарные аналитические функции 53
w0 (z) = n z n−1 .
Очевидно, что w0 (z) = 0 только при z = 0. Поэтому во всех
точках z ∈ C0 отображение (25.11) — конформное, а в точке
z = 0 конформность нарушается. С целью более глубокого
изучения функции (25.11) введем в плоскостях переменных z
и w полярные координаты z = reiϕ , w = ρeiθ . Тогда уравнение
(25.11) станет равносильным следующему уравнению:
z
° w
°
w(0) := ∞ , w(∞) := ∞.
1
z= , z = ∞ ←→ t = 0 .
t
µ ¶
1 1 1
Подставляя это в равенство (25.14), получим = +t ,
ζ 2 t
2t
откуда ζ = 2 и ζ 0 (0) = 2 6= 0. Последнее неравенство
t +1
показывает, что конформность есть и в точке z = ∞.
Выясним теперь условия однолистности функции (25.14).
Пусть z1 6= z2 — две точки, для которых
µ ¶ µ ¶
1 1 1 1
z1 + = z2 + .
2 z1 2 z2
z
° w
°
−1 1
0
или µ ¶
1 1
u = 2 r + r cos ϕ ,
µ ¶ (25.16)
1 1
v = r− sin ϕ ,
2 r
где r > 1 , 0 6 ϕ 6 2π. Из последней системы легко найти
образ сетки координатных линий полярной системы коорди-
нат. Если один из параметров r , ϕ считать постоянным, а
другой — переменным, то система (30.21) будет представлять
собой параметрические уравнения некоторой кривой. Исклю-
чая этот переменный параметр, можно перейти от парамет-
рического задания кривой к неявному.
Найдем сначала образы семейства окружностей
{r = r0 | r0 > 1} .
u2 v2
− = 1,
2
cos ϕ0 sin2 ϕ0
p
фокусы которой лежат в точках ± cos2 ϕ0 + sin2 ϕ0 = ±1.
Очевидно, что образом луча ϕ = ϕ0 , r > 1, является та часть
гиперболы, которая лежит в том же квадранте, что и точ-
ка (cos ϕ0 , sin ϕ0 ). В силу свойства конформности семейство
гипербол ортогонально семейству эллипсов.
Итак, функция Жуковского реализует конформный го-
b
меоморфизм области {|z| > 1} на область C[−1, 1]. Более то-
го, образом всякой области, ограниченной линиями r = const
и ϕ = const, будет область, ограниченная образами этих час-
тей. Например, образом области {Im z > 0} {|z| < 1} явля-
ется верхняя полуплоскость. Желая подробнее исследовать
функцию Жуковского в окрестностях точек z = ±1, сделаем
такое преобразование:
µ ¶
1 1
z+ −1 µ ¶2
w−1 2 z z−1
= µ ¶ = .
w+1 1 1 z+1
z+ −1
2 z
U z−1 T U −1 1 + ζ
z 7−→ = t 7−→ t2 = ζ −
7 → = w. (25.17)
z+1 1−ζ
z
° w
°
L l
−1 1 ∠α ∠2α
0 0
а б
Рис. 10. К отображению внешности круга L на внешность
профиля Жуковского
∂u ∂u
= ex cos y , = −ex sin y ,
∂x ∂y
∂v ∂v
= ex sin y , = ex cos y .
∂x ∂y
Отсюда видно, что выполняются условия Коши — Римана:
∂u ∂v ∂u ∂v
= , =− ,
∂x ∂y ∂y ∂x
и потому экспонента аналитична в C . I
2◦ . Производная функция экспоненты равна само́й экспо-
ненте.
J Имеем
d z ∂ x iy d x
e = (e e ) = eiy e = eiy ex = ex+iy = ez . I
dz ∂x dx
J Имеем
q
|ez | = |ex (cos y + i sin y)| = ex cos2 y + sin2 y = ex 6= 0 ,
ширины 2π, (рис. 11, а). Желая найти образ этой полосы,
положим z = x + iy, w = ρeiθ и представим экспоненту w = ez
в следующих равносильных формах:
(
iθ x+iy ρ = ex , −∞ < x < +∞ ,
ρe = e ⇐⇒
θ = y, 0 6 y 6 2π .
z
° w
°
2πi
0
а б
eu eiv = reiϕ ,
25.2. Некоторые элементарные аналитические функции 65
откуда
(
u = ln r ,
v = ϕ,
w = ln z = ln r + iϕ .
d d 1
Ln z = ln z = .
dz dz z
66 25. Некоторые элементарные аналитические функции
z = x + iy , x, y ∈ R ,
имеем
q
= (1 + sh2 y) cos2 x + sin2 x sh2 y =
q q
= cos2 x + (cos2 x + sin2 x) sh2 y = cos2 x + sh2 y > | cos x| .
Из этих вычислений следует, что | cos(x + iy)| > | cos x|, при-
чем равенство имеет место только при y = 0. Отсюда, в част-
ности, заключаем, что функция cos z может обращаться в
нуль только на вещественной оси, причем все ее нули содер-
π
жатся в известной формуле +kπ, где k ∈ Z. Аналогичный
2
вывод справедлив для синуса.
68 25. Некоторые элементарные аналитические функции
sin z = 0 ⇐⇒ z = kπ ,
z
° ζ
°
πi
−π 0 0
t
° w
°
−1 0 1 −1 0 1
π
Первое отображение сдвигает полуполосу вправо на . Вто-
2
рое отображает сдвинутую полосу на нижнюю полуплоскость.
И, наконец, третье отображение переводит нижнюю полу-
плоскость на верхнюю полуплоскость. Итак, образом данной
полуполосы при отображении с помощью функции sin явля-
ется верхняя полуплоскость. Аналогично можно рассмотреть
конформные отображения, реализуемые гиперболическими
функциями ch, sh.
70 25. Некоторые элементарные аналитические функции
eiw + e−iw p
z= ⇐⇒ e2iw − 2zeiw + 1 = 0 , eiw = z ± z 2 − 1 ,
2
1 √
откуда w = Ln (z ± z 2 − 1. Итак,
i
1 p
Arccos z = Ln (z ± z 2 − 1) .
i
Многозначность этой функции зависит, таким образом, от
√
многозначности функций и Ln .
Арксинус w = Arcsin z находится из уравнения z = sin w
eiw − e−iw
или z = . Преобразовывая его к виду
2i
e2iw − 2izeiw − 1 = 0
z
° w
°
i
− π4 0 π 0
4 −1 1
−i
т.е.
1 1+z
Arth z =
Ln .
2 1−z
И, наконец, ареакотангенс гиперболический w =
= Arcth z находится из уравнения z = cth w , равносильного
1
такому: = th w . Отсюда легко найти
z
1 z +1
Arcth z = Ln .
2 z −1
Конформные отображения, реализуемые однозначными
ветвями обратных тригонометрических и обратных гипер-
болических функций, могут быть получены из конформных
отображений соответствующих прямых функций. Для это-
го достаточно плоскости соответствующей независимой и
зависимой переменных поменять местами. Например, подхо-
дящая ветвь функции w = Arctg z реализует
n конформный
πo
гомеоморфизм круга {|z| < 1} на полосу | Re w| < .
4
Задачи
1) w = z + 1 − 3i ; 2) w = −2iz √
+ 1; 3) w = −z ;
iπ 1−i 3
4) w = e 3 z; 5) w = z; 6) w = 7z .
2
1) x2 + y 2 = ax ; 2) x2 + y 2 = by ;
3) y = x + b ; 4) y = kx;
5) {y > 0 , 0 < x < 1} ; 6) {y = 0, 3 < x < 5} ;
7) {|z| = R , ϕ1 < arg z < ϕ2 } , 0 < ϕ1 < ϕ2 < π .
76 25. Некоторые элементарные аналитические функции
√
1) {x = 0} ; 2) |z| = 2; 3) |z − 1 − i| = 2 ;
4) |z| = 5 ; 5) |z − 1| = 2 ; 6) {y = 0} .
Z Zβ
f (z) dz := f [γ(t)]γ 0 (t) dt , (26.1)
γ α
Z Z2π Z2π
(z − a)n dz = (reit )n rieit dt = irn+1 ei(n+1)t dt =
γ 0 0
¯t=2π
r n+1 ¯
i(n+1)t ¯ rn+1 h 2πi(n+1) i
= e ¯ = e −1 =0
n+1 t=0 n+1
Z Z2π Z2π
dz rieit dt
= =i dt = 2πi .
z−a reit
γ 0 0
Итак, имеем
Z (
n 2πi при n = −1 ,
(z − a) dz = (26.4)
0 при n ∈ Z , n 6= −1 .
|z−a|=r
1◦ (линейность). Если a , b ∈ C, то
Z Z Z
[af (z) + bg(z)] dz = a f (z) dz + b g(z) dz . (26.5)
γ γ γ
γ1 : [α, β] −→ C , γ2 : [β, δ] −→ C —
Z Zβ2
f (z) dz = f [γ2 (τ )] γ20 (τ ) dτ =
γ2 α2
Zβ1
= f [γ2 (τ (t))] γ20 (τ (t)) τ 0 (t) dt =
α1
Zβ1 Z
= f [γ1 (t)] γ10 (t) dt = f (z) dz . I
α1 γ1
имеем
¯ ¯
¯Z ¯
¯ ¯
¯ f (z) dz ¯ = |I| = e−iθ I =
¯ ¯
¯ ¯
γ
Z Zβ
−iθ −iθ
=e f (z) dz = e f [γ(t)] γ 0 (t) dt =
γ α
Zβ Zβ
© ª © ª
= e−iθ f [γ(t)] γ 0 (t) dt = Re e−iθ f [γ(t)] γ 0 (t) dt 6
α α
Zβ Zβ Z
¯ −iθ ¯
6 ¯e f [γ(t)] γ 0 (t)¯ dt = 0
|f [γ(t)] γ (t)| dt = |f (z)| ds .
α α γ
Zβ Z
6M |γ 0 (t)| dt = M ds = M l . I
α γ
Z ZZ µ ¶
∂u ∂v
(v dx + u dy) = − dx ∧ dy . (26.13)
∂x ∂y
∂D D
Лейбница Z
f (z) dz = F [γ(β)] − F [γ(α)] . (26.16)
γ
J Дифференцируя композицию F ◦ γ, имеем
d
(F ◦ γ) (t) = F 0 [γ(t)] γ 0 (t) = f [γ(t)] γ 0 (t) .
dt
Таким образом, композиция F ◦γ является первообразной для
функции t 7−→ f [γ(t)] γ 0 (t) на отрезке [α, β]. Учитывая, далее,
равенство (26.1) и применяя классическую формулу Ньюто-
на — Лейбница для определенного интеграла Римана, полу-
чим
Z Zβ ¯t=β
¯
f (z) dz = f [γ(t)] γ (t) dt = F [γ(t)]¯¯
0
=
t=α
γ α
= F [γ(β)] − F [γ(α)] . I
Теорема 26.3. Если функция f : D −→ C непрерыв-
на в области D ⊂ C, а интеграл от нее по краю любого
треугольника, лежащего в D, равен нулю, то в некоторой
окрестности каждой точки a ∈ D существует локальная
первообразная для f .
J Пусть a ∈ D. Возьмем открытый круг U (рис. 14)
с центром в точке a так, чтобы было U ⊂ D. Введем в рас-
смотрение функцию F : U −→ C, определяемую равенством
Zz
F (z) := f (t) dt , z ∈ U , (26.17)
a
z+h
U ∆ z
F (z + h) − F (z) = f (t) dt .
z
γ1 : [α1 , β1 ] −→ D и γ2 : [α2 , β2 ] −→ D
гладко гомотопны в D, то
Z Z
f (z) dz = f (z) dz . (26.19)
γ1 γ2
|λ(z)|
lim = 1.
z→ξ, |ξ − z|
z∈λ
ное значение.
96 26. Интегральные теоремы комплексного анализа
т.е.
Z Zt2 Zϕ2
dt dt
= =i dϕ = (ϕ2 − ϕ1 )i → πi при ε → 0 .
t − t0 t − t0
Lε t1 ϕ1
Таким образом,
Z
dt
(v.p.) = πi . (26.24)
t − t0
L
Тогда
Z
(v.p.) f (z) dz = 0 . (26.26)
∂D
следней суммы
¯ ¯ ¯ ¯
¯ ¯ ¯ ¯
¯ Z ¯ ¯ Z ¯
¯ ¯ ¯ dz ¯¯
¯ ¯ ¯
¯ f (z) dz ¯ = ¯ (z − ck )f (z) ¯6
¯ ¯ ¯ z − ck ¯
¯|z−ck |=ε ¯ ¯|z−ck |=ε ¯
¯ z∈D ¯ ¯ z∈D ¯
Z
|dz|
6 max |z − ck | |f (z)| 6
|z−ck |=ε |z − ck |
z∈D |z−ck |=ε
z∈D
6 2π max |(z − ck ) f (z)| → 0 при ε → +0 .
|z−ck |=ε
z∈D
√
исходя из того, что I(0) = π.
2
J Применяя к функции z 7−→ e−z , аналитической в горизон-
тальной полосе Π := {0 < Im z < a}, интегральную теорему Коши
26.11, имеем
Z Z
+∞ Z
+∞+ai
2 2 2
0= e−z dz = e−x dx − e−z dz =
∂Π −∞ −∞+ai
Z
+∞ Z
+∞
√ −(x+ai)2 √ 2 2
= π− e dx = π − e−x e−2xai ea dx =
−∞ −∞
Z
+∞
√ 2 2 √ 2
= π − ea e−x (cos 2ax − i sin 2ax) dx = π − ea I(a) .
−∞
Отсюда находим
√ 2
I(a) = π e−a . I
ζ = z + reiϕ , 0 6 r 6 ρ , 0 6 ϕ 6 2π .
26.3. Интегральная формула Коши — Грина 101
dζ ∧ dζ = −2ir dr ∧ dϕ .
Z Z2π
f (ζ) f (z + ρeiϕ )
dζ = ρieiϕ dϕ =
ζ −z ρeiϕ
|ζ−z|=ρ 0
Z2π
=i f (z + ρeiϕ ) dϕ → 2πif (z)
0
Z Z2π
f (ζ)
dζ − i f (z + ρeiϕ )dϕ = 0 .
ζ −z
∂D 0
f 0 (z + h) − f 0 (z)
=
h
Z Z
1 1 f (ζ) 1 f (ζ)
= dζ − dζ =
h 2πi (ζ − z − h)2 2πi (ζ − z)2
∂K ∂K
Z
1 (ζ − z) + (ζ − z − h)
= f (ζ) dζ . (26.43)
2πi (ζ − z − h)2 (ζ − z)2
∂K
Z (
n! f (ζ) f (n) (z) при z ∈ D ,
dζ = (26.46)
2πi (ζ − z)n+1 0 при z ∈
/ D.
∂D
Z2π
1
f (z) = f (z + ρeiθ ) dθ . (26.47)
2π
0
J Выберем© положительное
¯ ª число ρ настолько малым,
чтобы круг ζ ∈ C ¯ |ζ − z| 6 ρ лежал в области аналитич-
ности функции f . Применяя интегральную формулу Коши и
производя в интеграле Коши замену ζ −z = ρeiθ , dζ = ρieiθ dθ,
получим
Z Z2π
1 f (ζ) dζ 1 f (z + ρeiθ )ρieiθ dθ
f (z) = = =
2πi ζ −z 2πi ρeiθ
|ζ−z|=ρ 0
Z2π
1
= f (z + ρeiθ ) dθ . I
2π
0
и механик.
110 26. Интегральные теоремы комплексного анализа
z n + a1 z n−1 + . . . + an = 0 , (26.52)
f (z) := z n + a1 z n−1 + . . . + an ,
Задачи
8) z sin z , [1, i] ;
9) z cos z , [0, i] .
112 26. Интегральные теоремы комплексного анализа
1 ez
8) |z| = , ;
2 z(z 2+ 1)
3 ez
9) |z| = , ;
2 z(z 2 + 1)
ez
10) |z| = 4 , .
z(z 2+ 1)
26.7. Пусть функция f (ξ) аналитична в области r < |ξ| < R
и непрерывна в ее замыкании. Обозначим
Z
1 f (ξ) dξ
f1 (z) = , |z| < R ,
2πi ξ−z
|ξ|=R
Z
1 f (ξ
f2 (z) = − dξ)ξ − z , |z| > r ,
2πi
|ξ|=r
∞
где z0 ∈ C — фиксированная точка, а (cn )n=0 — числовая
последовательность, называемая последовательностью ко-
эффициентов данного степенного ряда.
Определение 27.2. Радиусом сходимости степенного
ряда (27.1) называется величина R ∈ [0, +∞], вычисляемая
по следующей формуле Коши — Адамара:
1
R := p . (27.2)
lim n |cn |
n→∞
Кругом сходимости
© ¯ степенногоª ряда (27.1) называется мно-
жество z ∈ C ¯ |z − z0 | < R , где R — его радиус сходимо-
сти.
Замечание. При R = 0 кругом сходимости является пустое
множество ∅, при R = +∞ — вся плоскость C, а при 0 < R < +∞ —
обычный открытый круг радиуса R с центром в точке z0 .
Теорема 27.1. Степенной ряд расходится во внешности
его круга сходимости, сходится абсолютно внутри его круга
сходимости, сходится равномерно на любом компакте, ле-
жащем внутри его круга сходимости.
Теорема 27.2 (Тейлора). Если функция f аналитична
в области D © ⊂ C и¯z0 ∈ D — произвольная
ª точка, то в любом
круге U := z ∈ C ¯ |z − z0 | < R , лежащем в D, справедливо
разложение
∞
X
f (z) = cn (z − z0 )n =
n=0
= c0 + c1 (z − z0 ) + . . . + cn (z − z0 )n + · · · , (27.3)
где
Z
1 f (ζ) dζ
cn = , n = 0, 1, 2, . . . (27.4)
2πi (ζ − z0 )n+1
|ζ−z0 |=ρ
образом:
1 1 1 1
= = =
ζ −z (ζ − z0 ) − (z − z0 ) ζ − z0 1 − z − z0
ζ − z0
X∞ µ ¶n X ∞
1 z − z0 (z − z0 )n
= = .
ζ − z0 n=0 ζ − z0 n=0
(ζ − z0 )n+1
M ³ r ´n
X∞
,
n=0
R R
где равенства
Z
1 f (ζ)
cn = dζ , n = 0, 1, 2, . . .
2πi (ζ − z0 )n+1
|ζ−z0 |=R
Z2π
M (ρ) M (ρ)
6 |iρeiθ | dθ = . I
2πρn+1 ρn
0
Zz ∞
X Zz
c0 + ϕ(t) dt = c0 + ncn (t − z0 )n−1 dt =
z0 n=1 z0
∞
X
= c0 + cn (z − z0 )n = f (z) ,
n=1
откуда
Zz
f (z) = c0 + ϕ(t) dt ,
z0
f (z + h) − f (z)
=
h
z+h
Z Zz Z
z+h
1 1
= ϕ(t) dt − ϕ(t) dt = ϕ(t) dt = ϕ(z + θ h) ,
h h
z0 z0 z
f (k) (z0 )
ck = , k = 0, 1, 2, . . . . (27.10)
k!
f (k) (z0 ) = k! ck ,
z2 z3 z4
ez = 1 + z + + + + ... , z ∈ C;
2! 3! 4!
z2 z4 z6
cos z = 1 − + − + ... , z ∈ C;
2! 4! 6!
z3 z5 z7
sin z = z − + − + ... , z ∈ C;
3! 5! 7!
1
= 1 + z + z 2 + z 3 + z 4 + z 5 + . . . , |z| < 1 ;
1−z
z2 z3 z4
ln (1 + z) = z − + − + . . . , |z| < 1 ;
à 2! 3à !4 à !
µ µ 2 µ 3
(1 + z)µ = 1 + z+ z + z + ... , |z| < 1 ,
1 2 3
где z — комплексная переменная.
120 27. Разложения аналитических функций
f (z) = c0 + c1 (z − z0 ) + c2 (z − z0 )2 + . . . , (27.12)
c0 = c1 = . . . = cn−1 = 0 ,
где обозначено
получим функцию
µ ¶
f 1 при t 6= 0 ,
g(t) := t
0 при t = 0 ,
аналитическую и отличную от тождественного нуля в некото-
рой окрестности точки t = 0. Применяя к функции g доказан-
ную часть теоремы и переходя обратно к переменной z, заклю-
чаем, что утверждение (27.11) справедливо и при z0 = ∞ . I
Замечание. Установленное в теореме 27.5 свойство (27.11) на-
зывается свойством изолированности нулей. То же свойство в дру-
гой форме выражает и следующая теорема.
Теорема 27.6. Пусть функция f : D −→ C аналитична
в области D ⊂ C b и обращается в нуль во всех точках мно-
жества E ⊂ D, имеющего предельную точку z0 ∈ D. Тогда
f (z) ≡ 0 всюду в D.
J Введем в рассмотрение множество
© ¯ ª
F := z ∈ D ¯ f (z) = 0 .
f (z) ³ (z − z0 )n при z → z0
f (z)
lim ∈ C∗.
z→z0 (z − z0 )n
lim z n f (z) ∈ C∗ .
z→z0
f (z) = c0 + c1 (z − z0 ) + c2 (z − z0 )2 + . . . . (27.14)
c0 = c1 = . . . = cn−1 = 0 ,
где обозначено
f (z)
ϕ(z) := cn + cn+1 (z − z0 ) + cn+2 (z − z0 )2 + . . . = .
(z − z0 )n
Переходя здесь к пределу при z → z0 , получим
f (z)
lim = lim ϕ(z) = cn 6= 0 .
z→z0 (z − z0 )n z→z0
lim z n f (z) = dn 6= 0 . I
z→∞
27.1. Разложение аналитической функции в ряд Тейлора 125
и
© потому¯ сходящийся ª равномерно по t на любой окружности
t ∈ D ¯ |t − z| = ρ . Интегрируя равенство (27.16) по пере-
менной t вдоль окружности |t − z| = ρ достаточно малого
радиуса ρ и используя формулы для производных интеграла
Коши, имеем
Z Z ∞
X
n! f (t) dt n! fk (t) dt
f (n) (z) = = =
2πi (t − z)n+1 2πi (t − z)n+1
k=1
|t−z|=ρ |t−z|=ρ
∞
X Z ∞X (n)
n! fk (t) dt
= n+1
= fk (z) . I
2πi (t − z)
k=1 k=1
|t−z|=ρ
и математик.
27.1. Разложение аналитической функции в ряд Тейлора 129
f (ζ)
Так как функция переменного (ζ, z) непрерывна на ком-
ζ −z
пакте ∂G × K, то по теореме Кантора она равномерно непре-
рывна на нем, т.е.
∀ ε ∈ R+ ∃ δ ∈ R+ ∀ (ζ 0 , z 0 ) , (ζ 00 , z 00 ) ∈ ∂G × K :
¾ ¯ ¯
|z 0 − z 00 | 6 δ ¯ f (ζ 0 ) f (ζ 00 ) ¯¯
=⇒ ¯ − 6 ε.
|ζ 0 − ζ 00 | 6 δ ¯ ζ 0 − z0 ζ 00 − z 00 ¯
Выберем точки ζ0 , ζ1 , ζ2 , . . ., ζN = ζ0 так, чтобы было
max {|γ0 |, |γ1 |, . . . , |γN −1 |} 6 δ. Тогда при ζ ∈ γk , z ∈ K будет
¯ ¯
¯ f (ζ) f (ζk ) ¯¯
¯
¯ ζ − z − ζk − z ¯ 6 ε ,
ε
где |γ| — длина края ∂G. Итак, max |f (z) − g(z)| 6
|γ|, и
z∈K 2π
тем самым установлена возможность приближения аналити-
ческой в D функции рациональными дробями.
130 27. Разложения аналитических функций
E :=
½ ¯ ¾
¯
:= a ∈ /G ¯ дробь 1 можно приблизить многочленами .
¯ z−a
Множество E не пусто, так как содержит внешность лю-
бого круга, содержащего K. Действительно, если a ∈ /
∈
/ {|z − z0 | 6 R} ⊃ K, то
X∞
1 1 (z − z0 )n
= =− ,
z−a (z − z0 ) − (a − z0 ) n=0
(a − z0 )n+1
матик и инженер.
132 27. Разложения аналитических функций
где обозначено
Z
1 f (ζ) dζ
cn = , n = 0, 1, 2, . . . . (27.24)
2πi (ζ − a)n+1
|ζ−a|=R0
1 1 1
− = = =
ζ −z z−ζ (z − a) − (ζ − a)
X∞
1 1 (ζ − a)n−1
= = .
z−a ζ −a (z − a)n
1− n=1
z−a
Полученный ряд тоже сходится равномерно по ζ, такµ как0 ма-¶n
P∞ 1 r
жорируется сходящимся числовым рядом .
n=1 |z − a| |z − a|
27.2. Разложение аналитической функции в ряд Лорана 133
1
Умножая его на f (ζ) и интегрируя почленно, найдем
2πi
Z X∞
1 f (ζ) c−n
− dζ = =
2πi ζ −z n=1
(z − a)n
|ζ−a|=r 0
−1
X
= cn (z − a)n , (27.25)
n=−∞
где обозначено
Z
1
cn = f (ζ)(ζ − a)−n−1 dζ ,
2πi
|ζ−a|=r 0
Подставляя разложения
(27.23) и (27.25) в интегральную ζ
°
формулу Коши (27.22), получим
z
разложение
+∞
X
f (z) = cn (z − a)n , (27.27) a
n=−∞
P
+∞ P
−1
в точке a. При этом ряды cn (z − a)n и cn (z − a)n
n=0 n=−∞
называются соответственно регулярной и главной частями
ряда Лорана.
Замечание. Очевидно, что если главная часть ряда Лорана
тождественно равна нулю, то такой ряд становится рядом Тейлора.
Теорема 27.12. Если функция f в кольцевой области
V = {r < |z − a| < R} представима в виде суммы степенного
ряда
+∞
X
f (z) = cn (z − a)n , (27.28)
n=−∞
то она аналитична в этой области, а коэффициенты ряда
вычисляются по формулам (27.20).
J Все члены данного степенного ряда аналитичны, а сам
ряд сходится равномерно на компактах, лежащих в кольце
его сходимости. Отсюда в силу теоремы 27.9 (Вейерштрасса)
вытекает аналитичность его суммы f . Для вычисления коэф-
1
фициентов ck умножим равенство (27.28) на (z − a)−k−1
2πi
и проинтегрируем полученное равенство вдоль окружности
|z − a| = ρ, где ρ ∈ (r, R). Тогда получим
Z
1
f (z)(z − a)−k−1 dz =
2πi
|z−a|=ρ
+∞ Z
1 X
= cn (z − a)n−k−1 dz = ck ,
2πi n=−∞
|z−a|=ρ
так как
Z (
2πi , n = k ,
(z − a)n−k−1 dz = I
0 , n 6= k .
|z−a|=ρ
Z2π
M (ρ) M (ρ)
6 |iρeiθ | dθ = . I
2πρn+1 ρn
0
sin z 1 1
; ; ez ,
z z
точка z = 0 является устранимой особой точкой, полюсом и
существенно особой точкой соответственно.
Замечание. Поскольку проколотую окрестность точки можно
считать кольцом (с нулевым внутренним радиусом), то естествен-
но, что поведение аналитической функции в окрестности изоли-
рованной особой точки связано со свойствами соответствующего
ряда Лорана.
Теорема 27.14 (критерий устранимости). Изолиро-
ванная особая точка a ∈ C аналитической функции f явля-
ется устранимой, если и только если ее лорановское разло-
жение в окрестности точки a имеет вид
+∞
X
f (z) = cn (z − a)n ,
n=0
∃ M ∈ R+ ∃ ρ ∈ R+ : |z − a| < ρ =⇒ |f (z)| 6 M .
M
|cn | 6 = M ρ|n| → 0 при ρ → 0.
ρn
точки z = 0, получим
f (z) = c0 + c1 z + c2 z 2 + . . . + cn z n + . . . , (27.35)
f (z) ≡ c0 + c1 z + c2 z 2 + . . . + cn z n . (27.36)
f (z) ≡ const +
Xn1 nm
X Xn0
c1µ cmµ
+ µ
+ . . . + µ
+ cµ z µ , (27.39)
µ=1
(z − a 1 ) µ=1
(z − am ) µ=1
Задачи
P
∞
27.1. Найти радиус сходимости степенного ряда cn z n ,
n=0
если коэффициент cn соответственно равен:
µ ¶n µ ¶n
i in 1
1) ; 2) e ; 3) ;
n 1−i
πi 1
4) sin ; 5) (1 + i)n ; 6) ;
n sinn (1 + in)
n n!
7) cos in ; 8) ; 9) n ;
(1 + i)n n
µ ¶n2
1
10) n + 2n ; 11) (2 + (−1)n )n ; 12) 1 + .
n
полученных рядов:
z z2 − 1 1+z
1) ; 2) ; 3) ln ,
z 2 + 2z − 3 z2 + 9 1−z
ln 1 = 0 ;
Rz sin ξ
4) dξ ; 5) ln(2 + z) , 6) ln(z 2 + 2z − 3) ,
0 ξ
ln 2 > 0 ; ln(−3) = ln 3 + πi;
3 5
z z z7
7) ; 8) ; 9) .
(z 2 + 1)(z − 5) z2 −1 z2 +3
X∞
1
= cn z n
1 − z − z2 n=0
z 2 − 3z
1) ; 2) z 4 + 3z 2 − 1 ; 3) (sin z − 2)(z 2 + 4) ;
z3
4) cos z 4 ; 5) cos2 z ; 6) tg z + 1 ;
ctg z − 1 2
7) ; 8) ez − ez ; 9) sin2 z ;
z
z 3 − 3z 2
10) sin4 z ; 11) (ez − 1)2 ; 12) .
z−1
1
1) , 1 < |z| < 2 ;
(z + i)(z + 2i)
1
2) z 3 e z , 0 < |z| < +∞ ;
2
z +2
3) , 1 < |z| < 2 ;
(z − 1)(z − 2)
π(z + 1)
4) z sin , 0 < |z| < +∞ ;
z
z
5) , 1 < |z| < 2 ;
(z − 1)2 (z + 2i)
ez
6) , 0 < |z| < 1 ;
z(1 − z)
1
7) , 1 < |z| < 2 ;
(z 2 − 1)(z 2 − 4)
1
8) z cos , 0 < |z − 2| < +∞ ;
z−2
1
9) , 1 < |z − 1| < 2 ;
z(z − 3)2
z2
10) , 0 < |z − i| < 2 ;
z2
+1
1
11) 2 2 , 1 < |z − 1| < 2 ;
z (z − 9)
1 − e−z
12) , 0 < |z| < +∞ ;
z
z3
13) , 1 < |z + 1| < 3 ;
(z + 1)(z + 2)
z2 − z + 3
14) , 1 < |z| < 2 ;
z 3 − 3z + 2
1
15) , 2 < |z| < +∞ ;
(z 2 − 1)(z 2 + 4)
z2 − z + 3
16) , 2 < |z| < +∞ .
z 3 − 3z + 2
Задачи 149
вычет, остаток.
28.1. Понятие вычета, вычисление вычетов 151
1 1 1 1
ez = 1 + + + + ...
z 2!z 2 3!z 3
сходится в кольце C∗ = {0 < |z| < +∞}, и потому его можно счи-
тать лорановским разложением как в окрестности точки 0, так и
в окрестности точки ∞. На основании теоремы 28.1 имеем
1 1
res e z = 1 , res e z = −1 .
z=0 z=∞
1 dn−1
res f = lim n−1 [(z − a)n f (z)] . (28.4)
a (n − 1)! z→a dz
(z − a)n f (z) =
= c−n + c−n+1 (z − a) + . . . + c−1 (z − a)n−1 + c0 (z − a)n + . . . .
dn−1
[(z − a)n f (z)] = (n−1)!c−1 +n (n−1) . . . 2 c0 (z−a)+. . . .
dz n−1
Переходя здесь к пределу при z → a и деля на (n − 1)!, полу-
чим равенство (28.4).
(b) Разложим функцию f в ряд Лорана в окрестности точ-
ки ∞:
a−1 a−2
f (z) = an z n + . . . + a0 + + 2 + ... . (28.7)
z z
Искомым вычетом является число (−a−1 ). Для того чтобы
его вычислить, продифференцируем равенство (28.7) (n + 1)
раз:
(−1)n+1 (n + 1)! A B
f (n+1) (z) = a−1 + n+3 + n+4 + . . . , (28.8)
z n+2 z z
154 28. Вычеты и их приложения
Отсюда находим
(−1)n h i
−a−1 = lim z n+2 f (n+1) (z) ,
(n + 1)! z→∞
иметь
n
X Z Z Z
2πi res f = f (z) dz = f (z) dz + f (z) dz =
zµ
µ=1 ∂DR ∂D |z|=R
Z
= f (z) dz − 2πi res f .
∞
∂D
Отсюда находим
Z n
X
f (z) dz = 2πi res f + 2πi res f ,
zµ ∞
∂D µ=1
Z2π Z
dϕ dt
= · µ ¶ ¸ .
1 − 2p cos ϕ + p2 1
0 |t|=1 1−p t+ + p2 it
t
Z2π
dϕ 1 2π
= 2πi · res = . I
1 − 2p cos ϕ + p2 t=p i(1 − pt)(t − p) 1 − p2
0
Тогда
Z
+∞
X
f (x) dx = 2πi res f , (28.15)
z
−∞ Im z>0
Z
+∞
P (x)
dx , (28.17)
Q(x)
−∞
Z
+∞
X X
P (x) P (z) P (z)
= 2πi res = −2πi res .
Q(x) Im z>0
z Q(z)
Im z<0
z Q(z)
−∞
160 28. Вычеты и их приложения
Z
+∞
dx 1 2πi dn−1
= 2πi res 2 = lim n−1 (z + i)−n =
(x2 + 1) n z=i (z + 1) n (n − 1)! z→i dz
−∞
2πi £ ¤
= lim (−n)(−n − 1) . . . (−2n + 2)(z + i)1−2n =
(n − 1)! z→i
(2n − 2)! π
= .
22n−2 [(n − 1)!]2
Z
lim Φ(z) eiµz dz = 0 . (28.18)
R→+∞
|z|=R ,
Im z>0
¯ ¯
¯ ¯
¯ Z ¯
¯ ¯
¯ iµz ¯
¯ Φ(z) e dz ¯ =
¯ ¯
¯ |z|=R , ¯
¯ Im z>0 ¯
¯ π ¯
¯Z ¯ Zπ
¯ ¯
¯
= ¯ Φ(Re ) eiϕ iµR(cos ϕ+i sin ϕ)
iRe dϕ¯¯ 6 |Φ(Reiϕ )| R dϕ 6
iϕ
¯ ¯
0 0
28.2. Применение вычетов к вычислению интегралов 161
Zπ Z
π2
−µR sin ϕ
6 R M (R) e dϕ = 2R M (R) e−µR sin ϕ dϕ 6
0 0
Z
π2 ¯ϕ= π
−µR 2
ϕ 2R M (R) π −µR 2 ϕ ¯¯ 2
6 2R M (R) e π = e π
¯ =
−2µR ϕ=0
0
π ¡ ¢
= M (R) 1 − e−µR . (28.19)
µ
Здесь использовано неравенство
2
sin ϕ > ϕ,
π
π
справедливое при 0 6 ϕ 6 и выражающее свойство вы-
2
π
пуклости вверх графика функции y = sin ϕ при 0 6 ϕ 6
2
(рис. 20). Таким образом, из оценки (28.19) имеем
¯ ¯
¯ ¯
¯ Z ¯
¯ ¯ π ¡ ¢
¯ ¯
¯ Φ(z) e dz ¯ 6 M (R) 1 − e−µR .
iµz
¯ ¯ µ
¯ |z|=R , ¯
¯ Im z>0 ¯
X ZR Z
£ ¤
2πi res Φ(z)eiµz = Φ(x)e iµx
dx + Φ(z) eiµz dz .
z
Im z>0 −R |z|=R ,
Im z>0
Z
+∞
X h i
Φ(x) eiµx dx = −2πi res Φ(z)eiµz .
z
−∞ Im z<0
R
+∞
cos µx
Пример 1. Вычислить интеграл dx, предполагая,
0 x2 + a2
что a , µ ∈ R+ .
J Применяя равенство (28.20), имеем
Z
+∞
eiµx eiµz eiµai π
dx = 2πi res 2 = 2πi = e−µa .
x2 +a 2 z=ai z + a 2 2ai a
−∞
28.2. Применение вычетов к вычислению интегралов 163
Z
+∞
cos µx π −µa
dx = e . I
x2 + a2 2a
0
R
+∞
x sin µx
Пример 2. Вычислить интеграл dx, предполагая,
0 x2 + a2
что a , µ ∈ R+ .
J Применяя равенство (28.20), имеем
Z
+∞
xeiµx zeiµz aieiµai
2 2
dx = 2πi res 2 2
= 2πi = πi e−µa .
x +a z=ai z + a 2ai
−∞
Z
+∞
x sin µx π
dx = e−µa . I
x2 + a2 2
0
Z
+∞
πe−πia X £ ¤
xa−1 Q(x) dx = − res z a−1 Q(z) . (28.21)
sin πa z
0 z∈C
X Z
£ ¤
2πi res z a−1 Q(z) = z a−1 Q(z) dz =
z
z∈C ∂D
Z
+∞ Z0
a−1
= x Q(x) dx + e(a−1)(ln r+2πi) Q(r) dr =
0 +∞
Z
+∞ Z
+∞
a−1 2πi(a−1)
= x Q(x) dx − e ra−1 Q(r) dr =
0 0
Z
+∞
¡ 2πia
¢
= 1−e xa−1 Q(x) dx .
0
Отсюда находим
Z
+∞
2πi X £ ¤
xa−1 Q(x) dx = 2πia
res z a−1 Q(z) . (28.23)
1−e z
0 z∈C
Учитывая, что
Z
+∞
xa−1 πe−πia z a−1
Γ(a) Γ(1 − a) = dx = − res =
1+x sin πa z=−1 1 + z
0
= −2πi Q(x) dx .
0
166 28. Вычеты и их приложения
Zb X · ¸
z−a
Q(x) dx = − res Q(z) ln ,
z b−z
a b
z∈C
z−a
где под ln понимается непрерывная на C[a, b] ветвь, которая
b−z
на верхнем берегу разреза (a , b) принимает вещественные значе-
ния. Доказательство этого равенства также основано на примене-
нии основной теоремы о вычетах.
X Z " X
#
1 dζ
f (z) − Ga (z) = f (ζ) − Ga (ζ) =
2πi ζ −z
a∈Dn ∂Dn a∈D n
Z Z X
1 f (ζ) 1 dζ
= dζ − Ga (ζ) =
2πi ζ −z 2πi ζ −z
∂Dn ∂Dn a∈D n
Z Z
1 f (ζ) 1 X dζ
= dζ − Ga (ζ) =
2πi ζ −z 2πi ζ −z
∂Dn a∈Dn∂D
n
Z
1 f (ζ)
= dζ ,
2πi ζ −z
∂Dn
поскольку
Z
dζ
∀a ∈ Dn ∀z ∈ Dn : Ga (ζ) =0
ζ −z
∂Dn
168 28. Вычеты и их приложения
Тогда
X
f (z) = lim Ga (z) , (28.27)
n→∞
a∈Dn
−1 −1 1 1
= π = ³ π´ = ³π ´ = = (−1)ν .
sin(2ν − 1) sin νπ − sin − νπ cos νπ
2 2 2
Отсюда заключаем, что главные части функции sec в окрестностях
π
точек z = ±(2ν − 2) соответственно равны
2
(−1)ν
± π .
z ∓ (2ν − 2)
2
Выберем теперь исчерпание плоскости, беря в качестве края
области Dn квадрат со стороной, равной 2πn, с центром в точ-
ке z = 0, со сторонами, параллельными координатным осям
(рис. 21). Желая проверить для функции sec выполнение условия
(28.26), вычислим сначала значения этой функции на сторонах
n-го квадрата. На вертикальных сторонах имеем z = ±nπ + iy
и, значит,
1 1 1
| sec z| = = = , |y| 6 π .
| cos(nπ + iy)| | cos iy| ch y
На горизонтальных сторонах имеем z = x ± inπ и, значит,
1 2
| sec z| = = ix∓nπ 6
| cos(x ± inπ)| |e + e−ix±nπ |
2 1
6 nπ = .
|e − e−nπ | | sh nπ|
170 28. Вычеты и их приложения
n
X ν ν
(−1) (−1)
sec z = lim − =
n→∞ (2ν − 1)π (2ν − 1)π
ν=1 z− z+
2 2
X∞
(−1)ν (2ν − 1)
=π ,
ν=1 z 2 − (2ν − 1)2
π2
4
Построим теперь
разложение меро-
морфной функции
при ограничениях,
Рис. 21. Исчерпание для sec
меньших, чем в тео-
реме 28.10.
Теорема 28.11. Пусть f мероморфная в C функция, а
∞
исчерпание (Dn )n=1 плоскости C можно выбрать так, что
28.3. Применение вычетов к разложению функций на дроби 171
выполняется условие
Z ¯ ¯
¯ f (ζ) ¯
∃ K ∈ R+ ∃p ∈ N ∀n ∈ N : ¯ ¯
¯ ζ p dζ ¯ 6 K . (28.28)
∂Dn
∞
Тогда существует последовательность (Pn )n=1 многочленов
степеней не выше (p−1), такая, что функция f представима
в виде " #
X
f (z) = lim Pn (z) + Ga (z) , (28.29)
n→∞
a∈Dn
где Ga (z) — главная часть лорановского разложения функ-
ции f в окрестности точки a.
J Разлагая ядро Коши по степеням ζ при |ζ| > |z|, имеем
µ ¶
1 1 1 z z2 z p−1
= µ ¶= 1 + + 2 + . . . + p−1 + . . . =
ζ −z z ζ ζ ζ ζ
ζ 1−
ζ
µ ¶
1 z z2 z p−1 zp 1
= + 2 + 3 + ... + p + p . (28.30)
ζ ζ ζ ζ ζ ζ −z
Используя это тождество, при z ∈ Dn имеем
Z Z
1 f (ζ) dζ 1 z p f (ζ) dζ
= Pn (z) + , (28.31)
2πi ζ −z 2πi ζp ζ − z
∂Dn ∂Dn
где обозначено
Pn (z) :=
Z µ ¶
1 1 z z2 z p−1
:= + 2 + 3 + ... + p f (ζ) dζ . (28.32)
2πi ζ ζ ζ ζ
∂Dn
где ∂D
³ πn — край
´ n-го квадрата. На вертикальных сторонах z =
=± + nπ + iy n-го квадрата имеем
2
¯ h ³π ´ i¯
¯ h ³π ´ i¯ ¯¯ cos ± + nπ + iy ¯¯
¯ ¯ ¯ h ³ π2 ´ i ¯¯ =
¯ctg ± + nπ + iy ¯ = ¯
2 ¯ sin ± + nπ + iy ¯
¯ ¯2 ¯ ¯ ¯ ¯
¯ sin(iy) ¯ ¯ sh y ¯ ¯ ey − e−y ¯
= ¯¯ ¯=¯ ¯=¯ ¯ < 1.
cos(iy) ¯ ¯ ch y ¯ ¯ ey + e−y ¯
28.3. Применение вычетов к разложению функций на дроби 173
³π ´
На горизонтальных сторонах z = x ± i + nπ n-го квадрата
2
имеем следующую оценку:
¯ h ³π ´i ¯
¯ h ³π ´i¯ ¯¯ cos x ± i + nπ ¯¯
¯ ¯ ¯ h ³ π2 ´i ¯¯ =
¯ctg x ± i + nπ ¯ = ¯
2 ¯ sin x ± i + nπ ¯
¯ ¯2 π
¯ ix ∓( π2 +nπ) −ix ±( π +nπ ) ¯ π
¯e e +e e 2 ¯ e 2 +nπ + e− 2 −nπ
=¯ ¯ 6 π π =
¯ eix e∓( π2 +nπ) − e−ix e±( π2 +nπ) ¯ e 2 +nπ − e− 2 −nπ
³π ´ π
= cth + nπ 6 cth ,
2 2
π
так как функция cth убывает. Учитывая, что cth > 1, имеем
2
окончательно
π
| ctg z| 6 cth при z ∈ ∂Dn .
2
Z ¯ ¯ Z ³π ´
¯ ctg ζ dζ ¯
¯ ¯ 6 ctg π |dζ| cth π2 π
¯ ¯ 6 ¡π ¢8 + nπ = 8 cth .
ζ 2 |ζ| 2
+ nπ 2 2
∂Dn ∂Dn
ctg ζ
res = 0. Далее,
ζ=0 ζ
Z n ·
X ¸
1 ctg ζ ctg ζ ctg ζ
Pn (z) = dζ = res + res =
2πi ζ ζ=kπ ζ ζ=−kπ ζ
∂Dn k=1
n ·
X ¸
(ζ − kπ) cos ζ (ζ + kπ) cos ζ
= lim + lim =
ζ→kπ ζ sin ζ ζ→−kπ ζ sin ζ
k=1
n
X 1 · ¸
1
= + = 0.
kπ −kπ
k=1
∞
X µ ¶
sin z z2
ln = ln 1 − 2 2 .
z k π
k=1
Потенцируя полученное равенство, получим разложение функции
sin в бесконечное произведение
∞ µ
Y ¶
z2
sin z = z 1− 2 2 , (28.35)
k π
k=1
e2πitz
f (z) := (28.36)
z (e2πiz − 1)
¯ ¯
¯ 2πit(x±i√n) ¯
¯e ¯
|f (z)| = ¯ √ √ ¯6
¯(x ± i n)(e2πi(x±i n) − 1))¯
√
e∓2πt n 1
6√ ¯ √ ¯=√ ¯ √ √ ¯ .
x2 + n ¯e∓2π n − 1¯ x2 + n ¯e∓2π(1−t) n − e±2πt n ¯
Отсюда
¯ ¯
¯ (n+ 12 )±i√n ¯
¯ Z ¯
¯ ¯
¯2 f (z) dz ¯¯ 6
¯
¯ ¯
¯ −(n+ 21 )±i√n ¯
n+ 12
Z
2 dx
6 ¯ ∓2π(1−t)√n √ ¯ √ 6
¯e − e±2πt n ¯ x2 + n
−(n+ 21 )
2n + 1 2
6 √ ¯ √ √ ¯ →0
n ¯e∓2π(1−t) n − e±2πt n ¯
¯ ¯
¯ 2πit(±(n+ 12 +iy )) ¯
¯ e ¯
¯
|f (z)| = ¯ ¡ ¡ ¢ ¢ ³ ´ ¯¯ =
¯ ± n + 12 + iy e ( ( 2 ) ) − 1 ¯
1
2πi ± n+ +iy
28.4. Применение вычетов к суммированию рядов 177
e−2πty
= sµ ¶2 =
1 ¯ ¯
¯ ¯
+ y 2 ¯e±2πi(n+ 2 ) e−2πy − 1¯
1
n+
2
e−2πty
= sµ ¶2 =
1
n+ + y 2 |1 + e−2πy |
2
1 M
=¡ ¢ q¡ ¢ 2
6 q¡ ¢2 .
e2πty + e2π(t−1)y n + 12 + y 2 n + 12 + y 2
Из этой оценки получаем следующую оценку интеграла:
¯ ¯
¯ (n+ 12 )+i√n ¯ √
¯ Z ¯ Zn
¯ ¯ dy
¯2 f (z) dz ¯¯ 6 2M sµ =
¯ ¶
¯ ¯ √ 1
¯ (n+ 21 )−i√n ¯ − n n+ +y 2
2
¯ sµ ¯ ¯√
¯ ¶2 ¯¯ n
¯ 1 ¯¯
¯
= 4M ln ¯y + n+ + y ¯¯ ¯ =
2
¯ 2 ¯ ¯0
¯ s ¯
¯ µ ¶2 ¯
¯√ 1 ¯
¯ n+ n+ + n¯¯
¯ 2
¯ ¯
= 4M ln ,
1
n+
2
из которой видно, что он стремится к нулю при n → ∞. Пе-
реходя к пределу в равенстве (28.37) при n → ∞, получаем
сумму следующего ряда
X e2πitk
= πi (1 − 2t) , 0 < t < 1 .
k
k∈Z0
1
Отсюда, например, при t = получаем сумму известного ря-
4
да Лейбница
π 1 1 1
= 1 − + − + ... .
4 3 5 7
2. Пусть f — мероморфная функция, не имеющая полю-
сов в целых точках. Так как
1 z−k 1
res = lim = ,
z=k e2πiz − 1 z→k e2πiz − 1 2πi
то для любой области D ⊂ C с кусочно-гладким краем ∂D, не
проходящем через целые точки и через полюсы функции f , и
такой, что m, m + 1, . . . , n ∈ D, имеем
Xn Z
f (z) dz
f (k) = + R1 , (28.38)
e2πiz − 1
k=m ∂D
Но тогда
¯ ¯
¯ Z ¯ Z
¯ π ctg πz dz ¯¯ |dz|
¯
¯ ¯ 6 πM =
¯ (z + t)2 ¯ |z + t|2
¯ |z|=n+ 1 ¯ |z|=n+ 1
2 2
µ ¶
1
Z2π n+ dϕ
2
= πM ¯µ ¶ ¯2 =
¯ ¯
0 ¯ n + 1 − |t|¯
¯ 2 ¯
µ ¶
1
2π 2 M n +
2
= µµ ¶ ¶2 → 0 при n → ∞ . I
1
n+ − |t|
2
180 28. Вычеты и их приложения
π ctg πz d π2
res 2
= lim π ctg πz = − 2 .
z=−t (z + t) z→−t dz sin πt
X∞
1 π2
= .
n=1
n2 6
f0
число res (т.е. вычет в точке a логарифмической произ-
a f
водной функции f ).
Определение 28.4. Порядком мероморфной функции
f : D −→ C b в точке a ∈ D называется целое число ord f ,
a
определяемое следующим равенством:
n , если a — нуль кратности n функции f ,
ord f := −p , если a — полюс кратности p функции f ,
a
0 , если f (a) ∈ C∗ .
f0
res = ord f . (28.41)
a f a
f0 n ϕ0 (z)
res = res + res = n + 0 = n.
a f z=a z − a z=a ϕ(z)
f10 f0
Так как по предыдущему res = 0, то res = n. Если точка
∞ f1 ∞ f
∞ есть полюс кратности p функции f , то она представима в
виде
f (z) = z n f1 (z) , f1 (∞) ∈ C∗ .
Отсюда находим
f 0 (z) p f 0 (z)
= + 1 .
f (z) z f1 (z)
f10 f0
Так как по предыдущему res = 0, то res = −p. I
∞ f1 ∞ f
g(z)
Так как lim = 0, то существует такое R ∈ R+ , что на
z→∞ f (z) ¯ ¯
¯ g(t) ¯
множестве |t| > R будет выполняться неравенство ¯ ¯ ¯ < 1,
f (t) ¯
т.е. |f (t)| > |g(t)|. Применяя к этой ситуации теорему Руше,
заключаем, что функции f и f + g имеют в круге |z| < R
одинаковое число нулей. Так как эта ситуация сохраняется
при всех достаточно больших R, то можно устремить R к +∞,
и мы получим, что f и f + g имеют одинаковое число нулей в
C. Осталось только заметить, что многочлен f (z) = z n имеет
в C ровно n нулей (с учетом кратностей). I
Теорема 28.16 (принцип сохранения области). Если
функция f аналитична в области D и отлична от тожде-
ственной постоянной, то образ D∗ = f (D) области D при
отображении f является областью.
J По определению область — открытое и связное мно-
жество. Так как аналитическая функция непрерывна, а при
непрерывных отображениях связные множества переходят на
связные, то множество D∗ связно. Осталось только доказать
его открытость.
Пусть w0 ∈ D∗ := f (D). Существует точка z0 ∈ D та-
кая, что w0 = f (z0 ). Так как нули аналитических функций
изолированы, то существует настолько малое r ∈ R+ , что
{|z − z0 | 6 r} ⊂ D, а функция f (z) − w0 имеет в этом кру-
ге единственный нуль (возможно, кратный) в точке z = z0 .
Пусть γ — окружность {|t − z0 | = r}. Так как окружность γ —
компакт, то ее образ f (γ) — тоже компакт, который притом
не содержит точку w0 , и потому расстояние ρ от точки w0 до
множества f (γ) положительно (рис. 23). Покажем, что круг
{|w − w0 | < ρ} содержится в D∗ . Это и будет означать, что
точка w0 — внутренняя точка множества D∗ , и потому это
190 28. Вычеты и их приложения
Задачи
z z2 + 1 z6
1) ; 2) ; 3) ;
z5 + 2z 4 + z 3 z+1 (z 2 + 1)2
ez z 3 − 2z 2 + z 1
4) ; 5) ; 6) ctg z − ;
z3 − 2z 2 + z ez z
1 πz
7) z(ez − 1) ; 8) 2 cos ; 9) sin e−z ;
z −1 z+1
1 − cos z z − π2 z2
10) ; 11) ; 12) ;
sin z cos2 z cos z − 1
µ ¶ 1
1 1 1 exp z−1
13) − ; 14) exp z − ; 15) ;
ez −1 z z exp z − 1
1 1 ez − 1
16) ctg z − ; 17) sin z + cos ; 18) 1 .
z z e 2−z
π π
3) (z 2 − z 3 ) cos , a = 0; 4) etg z , a= ;
z 2
z
5) sin ez , a = ∞; 6) cos , a = −1 ;
z+1
π 1
7) sin , a = i; 8) e z , z = 0.
z2 + 1
Pn (z)
1) Pn (z) + Qn (z) ; 2) ;
Qm (z)
3) Pn (z) Qm (z) ; 4) (Pn (z))k , k ∈ Z ;
Pn (z)
5) exp Pn (z) ; 6) sin ;
Qm (z)
µ ¶
1
7) exp tg ; 8) Pn (Qm (z)) .
Qm (z)
2
ez z n−1
3) , n ∈ N; 4) , n ∈ N;
z 2n+1 sinn z
sin 2z − 2z sin 2z − 2 sin z
5) ; 6) ;
(1 − cos z)2 (sin z − z) sin z
z2
7) z n ctgn+3 z , n ∈ N ; 8) .
1 2
ch z − 1 − z
2
28.8. Вычислить вычет в точке z = ∞ следующих функций:
1
z4 + z + 1 π(z + 2) sin
1) ; 2) cos ; 3) z ;
z6 − 1 2z z−1
π p z−a
4) z cos2 ; 5) (z − a)(z − b) ; 6) ln ;
z z−b
√3
z−a arctg z 2z 2 − z 3
7) ez ln ; 8) ; 9) .
z−b z z+3
z2 1 1
1) ; 2) ; 3) ;
(1 − iz)3 (z 3 + 2z 2 )3 (z 2 + 1)(z − 1)2
cos z 1 sin πz
4) ; 5) ; 6) ;
(z − 1)2 e5 + 5 (z − 1)3
1 1 1 + z8
7) ; 8) ; 9) ;
z 6 (z+ 1) sin z 2 z 6 (z
+ 2)
− 1
cos z sin 2z e z2
10) ; 11) ; 12) ;
(z 2 + 1)2 (z + i)(z − i)2 1+z
z 2 + 12 1 sin z
13) e z ; 14) sin z sin z
; 15) ;
(z 2 + 1)2
1 √
sin z
16) z ;
1
17) ez+ z ; 18) √ ;
1+z sin z
√ √
z 2 + 4z − 1 cos z cos z
19) cos ; 20) ; 21) .
z+3 z z2
194 28. Вычеты и их приложения
H
28.10. Вычислить интеграл f (z) dz по замкнутой кривой,
C
ориентированной в направлении против часовой стрел-
ки, если функция f (z) и кривая C задаются соответ-
ственно следующим образом:
z 1
1) , |z + 2| = ;
(z + 1)2 (z + 2) 2
z 3
2) , |z + 2| = ;
(z + 1)2 (z + 2) 2
ez
3) , |z| = 5 ;
(z − 1)3 − z
sin πz
4) , |z| = 2 ;
z2 + z
1
5) sin2 , |z| = 1 ;
z
z
cos x2 y2
6) 2 , + = 1;
z2 − 4 9 4
e2z
7) , x2 + y 2 − 2x = 0 ;
z3 −1
1 1
8) e z (z − 1) , |z| = ;
2
z 1
9) e 2z , |z| = 4 ;
z+3
z − 351
10) , |z| = 153 ;
z 351 − 1
z 10
11) , |z| = 2 ;
1 + z 11
z3
12) z2
, |z| = 4 ;
e −1
−1 5
13) , |z| = ;
2 + ln(z + 3) 2
√
4 4
14) z + 1, |z| = 2 ;
ln(z + 1) 1
15) , |z| = ;
sin πz 2
arctg z
16) , |z| = 2 ;
z
Задачи 195
P 1 P 1
1) ; 2) ;
n∈Z (n − ξ)2 n∈N n2 + ξ 2
P 1 P (−1)n
3) ; 4) ;
n∈N (n2 + ξ 2 )2 n∈N (n2 + ξ 2 )2
P (−1)n P (−1)n cos αn
5) 2 2
; 6) ,
n∈N n + ξ n∈Z n2 + ξ 2
α ∈ (−π, π) .
1) z 5 + 5z 4 − 5 , {Re z > 0} ;
3 2
2) 2z − z − 7z + 5 , {Re z > 0} ;
12
3) z − z + 1, {Re z > 0} ;
4 3
4) z − 3z − 1 , {|z| < 2} ;
5 2
5) z + z + 1, {|z| < 2} ;
11
6) 27z − 18z + 10 , {|z| < 1} ;
Задачи 197
1
= 1 + z + z 2 + . . . + z n−1 + . . . при |z| < 1 . (29.1)
1−z
x2 x3
ln (1 + x) = x − + − ... ;
2 3
x3 x5 x7
arctg x = x − + − + ... ;
3 ! 5 Ã 7!
Ã
µ µ 2
(1 + x)µ = 1 + x+ x + ...
1 2
z2 z3
ln (1 + z) = z − + − ... ;
2 3
3 5
z z x7
arctg z = z − + − + ... ;
3 ! 5 Ã 7!
Ã
µ µ 2
(1 + z)µ = 1 + z+ z + ... .
1 2
заключаем, что
то оно выполняется и на D.
Рассмотрим еще ряд примеров на аналитическое продолжение.
Пример 5. Ряды от вещественного переменного
x2 x3
ex = 1 + x + + + ... ;
2! 3!
2 4
x x
cos x = 1 − + − ... ;
2! 4!
3 5
x x
sin x = x − + − ...
3! 5!
сходятся на всей числовой оси, а их суммы связаны многочислен-
ными тождествами, например cos2 x + sin2 x = 1. Заменяя в этих
равенствах вещественное переменное x на комплексное переменное
z, получим аналитические продолжения сумм этих рядов на C:
z2 z3
ez = 1 + z + + + ... ;
2! 3!
2 4
z z
cos z = 1 − + − ... ;
2! 4!
z3 z5
sin z = z − + − ... .
3! 5!
В силу теоремы 29.2 для комплексного переменного z выполняются
все тождества, связывающие суммы этих рядов, например
cos2 z + sin2 z = 1 .
Z
+∞ Z
+∞ Z
+∞
Z
+∞
Γ(z + n)
Γ(z) := .
(z + n) (z + n − 1) . . . z
Здесь (
при k = 2n ,
1
ck =
06 2n .
при k =
p √
n
Поэтому lim k |ck | = lim 2 1 = 1. Отсюда в силу формулы Ко-
k→∞ n→∞
1
ши — Адамара для радиуса сходимости R = p = 1 сле-
lim k |ck |
k→∞
дует, что ряд сходится в круге |z| < 1.
Изучим поведение суммы этого ряда при |z| → 1. При x ∈
∈ (0 , 1) имеем
n
f (x) = 1 + x2 + x4 + x8 + . . . + x2 + . . . > 0 .
или
∀ε ∈ R+ ∃δ ∈ R+ ∀x ∈ (1 − δ , 1) : fN (x) > N + 1 − ε .
Выбирая ε так, чтобы было N + 1 − ε = [E] + 1 − ε > E, имеем
∀E ∈ R+ ∃δ ∈ (0 , 1) ∀x ∈ (1 − δ , 1) : f (x) > fN (x) > E .
Это значит, что
lim f (x) = +∞ .
x→1
x<1
Итак, точка x = 1 — неустранимая особая точка функции f , т.е.
функцию f невозможно аналитически продолжить ни в какую об-
ласть, содержащую точку z = 1. Учитывая, что
f (z) ≡ z 2 + f (z 2 ) ,
заключаем, что неустранимыми особыми точками являются корни
уравнения z 2 = 1, т.е. точки z = ±1. Далее, так как
f (z) ≡ z 2 + z 4 + f (z 4 ) ,
такая, что
¯ ¯
∀ν = 0, 1, . . . , n − 1 : ∆ν ⊂ Dν ∩ Dν+1 и fν ¯∆ν = fν+1 ¯∆ν .
Замечание. Понятие
аналитического продол-
жения, о котором идет D1
речь в определении 29.5,
хотя и встречается, но
с теоретической точки D2
зрения является трудно ∆
обозримым. Поэтому о
нем никаких теорем здесь
не устанавливается. Бо-
лее обозримым является Рис. 24. К определению 29.4
понятие аналитического
продолжения через кривую, о котором речь пойдет в остальной
части этого пункта.
Теорема 29.3 (об аналитическом продолжении че-
рез кривую). Пусть D1 t ∂D1 и D2 t ∂D2 — области с
кусочно-гладкими краями, а функции f1 : D1 t ∂D1 −→ C,
f2 : D2 t∂D2 −→ C аналитичны соответственно в областях
D1 , D2 и представимы там по интегральной формуле Коши.
Предположим, что D1 ∩ D2 = ∅, а пересечениe ∂D1 ∩ ∂D2
содержит дугу l, гомеоморфную интервалу (0 , 1) числовой
оси. Если
f1 (z) ≡ f2 (z) для всех z ∈ l , (29.6)
то функция F : D −→ C, определяемая равенством
(
f1 (z) при z ∈ D1 t ∂D1 ,
F (z) := (29.7)
f2 (z) при z ∈ D2 t ∂D2 ,
206 29. Аналитическое продолжение
Z (
1 f2 (ζ) 0 при z ∈ D1 ,
dζ =
2πi ζ −z f2 (z) при z ∈ D2 .
∂D2
b
{Im ζ > 0} на C-круг, в границу которого входит дуга l.
Аналогично, существует дробно-линейное отображение V ,
b
реализующее конформный гомеоморфизм C-круга, в грани-
цу которого входит дуга L, на верхнюю полуплоскость. Для
композиции V ◦ f ◦ U выполнены все условия уже доказан-
ной части теоремы. Поэтому ее аналитическое продолжение
в симметричную область определяется равенством (29.9),
имеющим в данном случае следующий вид:
¡ ¡ ¢¢
V (f (U (ζ))) := V f U (ζ) . (29.11)
V (f (z)) := V (f (z ∗ )) .
∞
X (k)
fa (ζ)
fa (z) = (z − ζ)k = fζ (z) .
k!
k=0
∀ε ∈ R+ ∃δ ∈ R+ ∀ t0 , t00 ∈ [0 , 1] :
|t0 − t00 | 6 δ =⇒ |γ(t0 ) − γ(t00 )| 6 ε . (29.13)
¡ ¢
Обозначая Ft = Ur(t) (γ(t)) , fγ(t) (z) , положим
γs (t) = γ(s, t) : [0 , 1] × [0 , 1] −→ D
гомотопия. Предположим,
¡ ¢что ∀s ∈ [0 , 1] канонический эле-
мент F = Ur(a) (a) , fa (z) допускает аналитическое про-
должение вдоль пути γs : [0 , 1] −→ D. Тогда в результате
аналитического продолжения элемента F вдоль путей γ0 и
γ1 получим один и тот же элемент G.
J Через Fts = F(s, t) обозначим элемент с центром
γs (t) = γ(s , t) радиуса rs (t) = r(s , t) такой, что при каждом
фиксированном s ∈ [0 , 1] отображение t 7−→ Fts есть анали-
тическое продолжение вдоль пути γs . Обозначим
F = F0s •—• Fts1 •—• Fts2 •—• Ftsn−1 •—• F1s . (29.16)
214 29. Аналитическое продолжение
т.е. Ftsk0 •—• Ftsk+1 . Покажем, что имеет место следующая диа-
грамма непосредственных аналитических продолжений:
=
F ... G
•—•
•—•
•—•
•—
•—
•—
•—
•—
=
=
•
=
=
Zz Zeiϕ Z iϕ
re Zϕ Zr
dζ dζ dζ ieit dt dt
ln z = = + = + = ln r + iϕ .
ζ ζ ζ eit t
1 1 eiϕ 0 1
z α := eαLn z .
имеем
z α = eα[ln r+i(ϕ+2kπ)] , k ∈ Z .
Каждому фиксированному k отвечает однозначная ветвь этой
1
функции. Если α = , то имеем
n
1 √ √ ϕ+2kπ
zn = n
z = n r ei n , k ∈ Z .
ϕα : Uα −→ ϕ(Uα ) ⊂ C —
(r , ϕ) 7−→ reiϕ .
0 0
√
поверхности функции n z надо взять n листов, занумеровать их,
например, снизу вверх числами 0, 1, . . . , n − 1 и склеить анало-
гично предыдущему. В силу очевидного равенства
√
n
√
n
2πi (n−1)+ 2πi
r= re n n
Второй случай:
ϕ1 (x + 0 · i) 6≡ ϕ1 (x − 0 · i) , x ∈ (0 , r) . (29.18)
ϕ1 (ρ e0 i ) 6≡ ϕ1 (ρ e2πi ) .
до функции ϕ3 , причем
ϕ2 (ρe4πi ) ≡ ϕ3 (ρe4πi ) .
ϕn (ρen·2πi ) ≡ ϕ1 (ρe0·2πi ) .
ϕ1 , ϕ2 , . . . , ϕn
226 29. Аналитическое продолжение
ϕ1 (ρe2πi ) ≡ ϕ2 (ρe2πi ) ,
ϕ2 (ρe2·2πi ) ≡ ϕ3 (ρe2·2πi ) ,
........................
ϕn (ρen·2πi ) ≡ ϕ1 (ρe0·2πi ) .
Задачи
R1 tz−1 dt P
∞ (−1)n
1) , ;
0 et n=0 n!(n + z)
R∞ z−1
t dt P∞ (−1)n−1
2) , ;
1 t2 + 1 n=1 z − 2n
R∞ z−1
t dz P (−1)n
3) , ;
0 t + 1 n∈Z z − n
µ ¶
R∞ ln t 2 1−z P∞ 2n + 2
4) t dt , .
1 1−t n=0 (n + z)3
Задачи 229
b разрезанной по контуру
4) C,
n π o
Im z > 0 , Re z = n , n ∈ Z.
2
но следующим образом:
1) Ln 3 z , C(−∞, 0] ;
3 √
2) (1 + z + z ) z , 3
C(−∞, 0] ;
3) zz , C[0, +∞) ;
2
4) Ln (1 − z ) , C(−∞, 1) ∪ [1, +∞) ;
√
5) 1 − z 2 Ln z , C(−∞, 1] ∪ [0, +∞) ;
√
4
6) 1 − z4 , |z| < 1 ;
p
3
7) (1 − z 3 )(9 − z 2 ) , Im z > 0 ;
1 + iz
8) Ln , Re z > 0 ;
1 − iz√
9) Ln (z + 1 + z 2 ) , Re z > 0 ;
√
10) Ln z , Im z > 0 ;
p √
11) z+ z, Im z > 0 ;
√
12) Ln (iz + 1 − z 2 ) , C {(−∞, −1] ∪ [1, +∞)} .
√
29.11. Доказать, что функция 3 1 − z 2 не допускает выде-
ления однозначной аналитической ветви в области
{1 < |z| < +∞}.
29.12. Описать римановы поверхности следующих функций:
√ p √
z 2 − 1, Ln (z 2 − 1), z(z 2 − 1), Ln sin z, 3 z − 2,
p √ √
Ln (ez − 1), n z(z 2 − 1), z + Ln z, sin z, Ln tg z.
29.13. Описать римановы поверхности функций w = w(z), за-
z
данных неявно уравнениями: w2 + z 2 = 1, w2 = ,
(1 − z)2
3 3
w + z = 3zw.
29.14. Охарактеризовать точку ветвления z = 0 следующих
1 p z+1 √ √
функций: √ , ln(1 + z), ln , z + 3 z, ln ln z,
√
z z
e− ln z .
29.15. Охарактеризовать точку ветвления z = ∞ следующих
r
p √ z+1
функций: z(z 2 + 1), ln(z + z 2 − 1), ln ln z, 3 .
z−1
30. КОНФОРМНЫЕ ОТОБРАЖЕНИЯ
И НЕКОТОРЫЕ ИХ ПРИЛОЖЕНИЯ
мость.
232 30. Конформные отображения и их приложения
∀ ε ∈ R+ ∃δ ∈ R+ ∀ z1 , z2 ∈ E ∀n ∈ N :
|z1 − z2 | 6 δ =⇒ |fn (z1 ) − fn (z2 )| 6 ε . (30.1)
Z Z
1 fn (τ ) 1 fn (τ )
fn (z1 ) = dτ, fn (z2 ) = dτ .
2πi τ − z1 2πi τ − z2
∂K ∂K
же константой.
30.1. Теорема Римана о конформных отображениях 233
непрерывных функций.
234 30. Конформные отображения и их приложения
M
|f 0 (0)| 6 . Если равенство имеет место хотя бы в одной
R
точке, то, опять применяя принцип максимума, заключаем,
f (z) f (z) M iθ M iθ
что ≡ const, т.е. ≡ e или f (z) = e z. I
z z R R
по формулам
ρ = 2 arctg r ,
π
θ = ϕ ,
ряющих условиям
где параметр θ подобран так, чтобы было ϕ0 (0) > 0. Так как
значение a не принимается функцией f0 , то функция (30.4)
неограниченно аналитически продолжима в области f0 (D) и
по теореме о монодромии однозначна. Функция t = ψ(ξ), об-
ратная к ϕ, очевидно, рациональна и, значит, тоже однознач-
на. Таким образом, функция ξ = ϕ(t) однолистна в f0 (D). Да-
лее, ψ(0) = 0, и ψ¯ аналитична
¯ в круге |t| < 1. По лемме Швар-
¯ ψ(t) ¯
ца должно быть ¯¯ ¯ < 1 при |t| < 1, причем это неравенство
t ¯
строгое, так как ψ не сводится к C-линейной функции. Поэто-
5 В точке ξ = a конформность нарушается, но в надлежаще подобран-
1
му ψ 0 (0) < 1 и, значит, ϕ0 (0) = > 1. Образуем теперь
ψ 0 (0)
композицию F (z) := ϕ[f0 (z)]. Она аналитична и однолистна в
D, и для нее имеем F (0) = 0, F ∈ M, F 0 (0) = ϕ0 (0) f00 (0) > α,
так как ϕ0 (0) > 1. Неравенство F 0 (0) > α противоречит экс-
тремальному свойству функции f0 . Итак, значения функции
w = f0 (z) должны заполнять весь круг |w| < 1. Тем са-
мым доказано существование конформного гомеоморфизма
f0 : D −→ K, причем f0 (0) = 0, f00 (0) > 0. I
Замечания. 1. Покажем, что функция f0 , реализующая кон-
формный гомеоморфизм области D на круг K, подчиненная до-
полнительным условиям f0 (0) = 0, f00 (0) > 0, — единственная.
J В самом деле, если w = f1 (z) и ξ = f2 (z) — две такие функ-
ции, то композиция w = f1 ◦ f2−1 (ξ) — конформный гомеоморфизм
круга |ξ| < 1 на круг |w| < 1. Все такие гомеоморфизмы содержат-
ся в формуле
ξ−a
w(ξ) = f1 ◦ f2−1 (ξ) = eiθ .
1 − aξ
f 0 (0)
Так как w(0) = 0, w0 (0) = 10 > 0, то должно быть a = 0, θ = 0,
f2 (0)
т.е.
f1 ◦ f2−1 (ξ) ≡ ξ или f1 (z) ≡ f2 (z) . I
2. Из теоремы Римана вытекает конформная эквивалентность
любых двух односвязных областей D ⊂ C b и G ⊂ C,
b граница каждой
из которых содержит не менее двух точек. Единственность отоб-
ражающей функции f : D −→ G можно обеспечить, например,
следующим образом. Зафиксировать произвольно точки z0 ∈ D,
w0 ∈ G, задать число θ ∈ R и потребовать, чтобы было w0 = f (z0 ),
θ = arg f 0 (z0 ).
и, значит,
1 6 lim |f (z)| 6 lim |f (z)| 6 1 ,
z→t0 z→t0
z∈D z∈D
lim
z→z0
f (z) = w0 ∈ ∂G .
z∈D
∀ε ∈ R+ ∃δ ∈ R+ ∀z 0 , z 00 ∈ D : |z 0 − z 00 | 6 δ =⇒ |w0 − w00 | 6 ε ,
°
z z0 °
w w00 w000
D
G
zr∗ wr∗ wr∗∗
zr∗∗ R
w400w00
z30 z300 w40 3 00
0
w2
z20 z200
w
Γ0 0 3 Γ00
L 0
L00 w2 w100
z100 w10
z10
откуда Z
β 2 6 2πr |f 0 (z)|2 r dϕ .
Kr
Деля это неравенство на 2πr и интегрируя по r от ε > 0 до R,
получим
ZR ZR Z ZZ
β2 dr
6 |f 0 (z)|2 r drdϕ 6 dudv = µ(G) ,
2π r
ε ε Kr G
а б в
−1
Отображение ψ ◦ f ◦ ϕ : K −→ E — дробно-линейное, т.е.
w−a
(ψ ◦ f ϕ−1 )(w) = eiθ ,
1 − aw
где |a| < 1, θ ∈ R. При этом отображении точкам t1 , t2 , t3 ∈
∈ Fr D соответствуют три точки t01 , t02 , t03 ∈ Fr K , а точкам
ξ1 , ξ2 , ξ3 ∈ Fr G — три точки ξ10 , ξ20 , ξ30 ∈ Fr E . Но условиями
t0k 7−→ ξk0 при k = 1 , 2 , 3 дробно-линейная функция опреде-
ляется однозначно. I
Рассмотрим теперь проблему соответствия границ при
конформном отображении областей, все граничные точ-
ки которых — достижимые, но сами границы не являются
30.2. Дополнительные вопросы теории 251
математик.
254 30. Конформные отображения и их приложения
7 Так
для краткости условимся называть функцию, реализующую кон-
формный гомеоморфизм области D на круг {|w| < 1} и удовлетворяю-
щую условиям f0 (z0 ) = 0, f 0 (z0 ) > 0.
30.2. Дополнительные вопросы теории 255
функционалу
F 7−→ M (F ) := sup |F (z)|
z∈D
ϕ1 : K −→ D1 , ϕ2 : K −→ D2
f0 (z)
где z = x + iy, доставляет функция F0 (z) := 0 , и только
f0 (0)
она.
J При отыскании минимума функционала F 7−→ A(F )
достаточно ограничиться только такими функциями F,
для которых A(F ) < +∞. Взяв отображающую функцию
f0 : D −→ {|z| < 1}, f0 (0) = 0, f00 (0) > 0, и обратную к
ней функцию z = ϕ(ζ), преобразуем интеграл (30.7). Вводя
Используя разложение
∞
X
F 0 (ϕ(ζ)) ϕ0 (ζ) = an ζ n ,
n=0
где
1
a0 = F 0 (0) ϕ0 (0) = ,
f00 (0)
получим
ZZ X
∞ X
∞
A(F ) = lim an am rn+m+1 ei(n−m)ϕ drdϕ =
ρ→1
ρ<1 r6ρ n=0 m=0
∞ X
X ∞ ZZ
= lim an am rn+m+1 ei(n−m)ϕ drdϕ =
ρ→1
ρ<1 n=0 m=0 r6ρ
∞
X Zρ ∞
X Z1
2 2n+1 2
= 2π lim |an | r dr = 2π |an | r2n+1 dr =
ρ→1
ρ<1 n=0 0 n=0 0
X∞
|an |2
=π > π|a0 |2 .
n=0
n + 1
258 30. Конформные отображения и их приложения
Im ζ > 0 z
°
Π bk+1
lk λk
ak ak+1
bk Π∗
Im ζ < 0
и k = ν, получим
0
где C и C — произвольные постоянные, а ζ0 — произвольно
зафиксированная точка замкнутой верхней полуплоскости.
Равенство (30.14) называется формулой Кристоффеля10
— Шварца Она дает явное аналитическое выражение функ-
ции, реализующей конформный гомеоморфизм полуплоско-
сти {Im ζ > 0} на ограниченный полигон.
Выясним теперь, как изменится формула Кристоффеля —
Шварца, если одна из вершин полигона является образом точ-
ки ζ = ∞. Пусть для определенности an = ∞, т.е. ϕ(∞) = bn .
Тогда в проколотой окрестности точки ζ = ∞ будут выпол-
няться следующие равенства:
ψ4 (ζ)
ϕ(ζ) = bn + , ψ4 (∞) 6= 0 ;
ζ αn
ψ5 (ζ)
ϕ0 (ζ) = αn +1 , ψ5 (∞) 6= 0 ;
ζ
ψ6 (ζ)
ϕ00 (ζ) = αn +2 , ψ6 (∞) 6= 0 .
ζ
Отсюда находим
ϕ00 (ζ) ψ7 (ζ)
= , ψ7 (∞) 6= 0 ,
ϕ0 (ζ) ζ
10 Кристоффель (Christoffel) Эльвин Бруно (1829 – 1900) — немецкий
математик.
30.3. Конформные отображения многоугольников 265
ϕ00 (ζ)
т.е. функция аналитична и равна нулю в точке ζ =
ϕ0 (ζ)
= ∞. Поэтому в случае ϕ(∞) = bn формула Кристоффеля —
Шварца будет иметь следующий вид:
Zζ n−1
Y
ϕ(ζ) = C (t − ak )αk −1 dt + C 0 , (30.15)
ζ0 k=1
2π 1
rk := = , k = 1, 2, 3,
2 παk αk
являются целыми. Так как, кроме того, πα1 + πα2 + πα3 = π,
т.е. α1 + α2 + α3 = 1, то целые положительные числа r1 , r2 , r3
должны удовлетворять соотношению
1 1 1
+ + = 1, (30.18)
r1 r2 r3
11 Здесь имеется в виду существование общих внутренних точек.
268 30. Конформные отображения и их приложения
1 6 r1 6 r2 6 r3 6 +∞ .
r1 = r2 = r3 = 3 .
r2 = r3 = 4 ; r2 = 3 , r3 = 6 ; r2 = 2 , r3 = +∞ .
«Паркет» r1 r2 r3
1 3 3 3
2 1 +∞ +∞
3 2 4 4
4 2 3 6
5 2 2 +∞
30.3. Конформные отображения многоугольников 269
2 3
4 5
вершинами в точках
ω1 ω1 −ω1 −ω1
, + iω2 , + iω2 , ,
2 2 2 2
где ω1 , ω2 ∈ R+ . Потребуем, чтобы при этом отображении
ω1
точки 0, 1, ∞ перешли соответственно в точки 0, , iω2 .
2
ω1 1
Тогда точка + iω2 будет образом некоторой точки , где
2 k
0 < k < 1. Значит, прообразами вершин прямоугольника
−ω1 −ω1 ω1 ω1
+ iω2 , , , + iω2 будут соответственно точки
2 2 2 2
1 1
− , −1, 1, . Отображающая функция определяется по ин-
k k
тегральной формуле Кристоффеля — Шварца:
Zζ
dt
z = ϕ(ζ) = c p , (30.19)
(1 − t2 )(1 − k 2 t2 )
0
математик.
272 30. Конформные отображения и их приложения
∂2 ∂2
Здесь ∆ = + — оператор Лапласа.
∂x2 ∂y 2
Эта задача однозначно и безусловно разрешима для ши-
рокого класса областей. Единственность ее решения вытекает
из принципа максимума для гармоническиз функций (см. за-
мечание к теореме 26.17).
J Для доказательства единственности предположим, что
u1 и u2 — два решения задачи (30.20). В силу линейности этой
задачи их разность u := u1 − u2 будет гармонической в D
функцией, значения которой на ∂D тождественно равны ну-
лю. Отсюда в силу принципа максимума для гармонических
функций вытекает, что u ≡ 0, т.е. u1 ≡ u2 . I
Существование решения задачи Дирихле для односвяз-
ных областей будет доказано ниже.
13 Она называется также первой краевой задачей теории гармонических
функций.
274 30. Конформные отображения и их приложения
∂x ∂y ∂x ∂y
= , =− .
∂ξ ∂η ∂η ∂ξ
µ ¶ õ ¶2 µ ¶2 !
∂2u
e ∂2u e ∂2u ∂2u ∂x ∂y
+ 2 = + 2 + =
∂ξ 2 ∂η ∂x2 ∂y ∂ξ ∂η
µ 2 ¶
∂ u ∂2u 2
= + · (g 0 (ζ)) .
∂x2 ∂y 2
Z2π
iϕ 1 1 − r2
u(re ) = u(eiθ ) dθ . (30.22)
2π 1 − 2r cos(θ − ϕ) + r2
0
ζ + z0
z = g(ζ) = .
1 + z0ζ
w(z) − w(ζ)
w(z, ζ) = . (30.34)
1 − w(ζ)w(z)
∂
где — производная по внутренней нормали.
∂n
J Зафиксируем точку z0 ∈ D, и пусть w = w(z, z0 ),
w(z0 , z0 ) = 0 — конформный гомеоморфизм области D на
круг |w| < 1, а z = z(w), z0 = z(0) — обратное к нему кон-
формное отображение. В силу теоремы 31.22 функция ue(w) :=
:= u(z(w)) — гармонична в круге |w| < 1. В силу теоремы о
среднем арифметическом для гармонических функций имеем:
Z2π
1
u
e(0) = e0 (eiθ ) dθ ,
u w = eiθ . (30.38)
2π
0
Тогда получим u
e(w(z, z0 )) = u(z) и, учитывая уравнения
Коши — Римана, а также равенство (30.31), будем иметь
∂
dθ = arg w(ζ, z0 ) dsζ =
∂sζ
∂ ∂G(ζ, z0 )
=− ln |w(ζ, z0 )| dsζ = |dζ| .
∂nζ ∂n
e ζ) = ln 1
G(z, ζ) + iG(z, + g(z, ζ) + ie
g (z, ζ) + iα .
z−ζ
e ζ) = ln 1
G(z, ζ) + iG(z, .
w(z, ζ)
∂u ∂u ∂u
= cos α + sin α = g(ζ) , ζ ∈ ∂D , (30.39)
∂n ∂x ∂y
15 Нейман (Neumann) Карл Готфрид (1832—1925) — немецкий матема-
тик.
30.4. Некоторые приложения конформных отображений 281
∂u ∂u
возможно только тогда, когда ≡ ≡ 0, т.е. u(z) ≡ const,
∂x ∂y
которая в силу того, что u(z0 ) = 0, равна нулю. I
Теорема 30.23. При дополнительном предположении
об односвязности области D задача Неймана (30.39) для
нахождения функции u(z) сводится к задаче Дирихле для
нахождения гармонически сопряженной к ней функции v(z).
J В силу условия Коши — Римана имеем:
∂u ∂v
= .
∂n ∂s
Zζ
v(ζ) = c + g(t) dt . I
z0
ратора Шварца
Z Z
1 ζ + z g(ζ) 1 g(ζ) dζ
zf 0 (z) = dζ = .
πi ζ −z ζ πi ζ −z
|ζ|=1 |ζ|=1