Зверович Э.И. Вещественный и комплексный анализ. Часть 6
Зверович Э.И. Вещественный и комплексный анализ. Часть 6
Зверович Э.И. Вещественный и комплексный анализ. Часть 6
Зверович
ВЕЩЕСТВЕННЫЙ И КОМПЛЕКСНЫЙ
АНАЛИЗ
Учебное пособие
в шести частях
Часть 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
Задачи
1) |z − 3| > 9 , |w − 8| < 1 ,
−6 , ∞ , −8 , 0 ;
2) Im z < Re z , |w − 5| > 4 ,
−2i , 1 + i , 5 + 6i , 5 + 4i ;
3) |z − i| < 1 , Re w < 5 ,
i
i + 1, , 5 − 5i , 0 ;
2
4) |z + 2| > 2 , |w| < 4 ,
−2 − 2i , 10 , 4i , 0 ;
5) Im z > 3 , |w − 1| < 2 ,
4i , 1 + 3i , 1 , −1 .
30.9. Для области D = {Im z < 0 , |z + il| > R}, где l > R > 0,
решить задачу Дирихле:
¯ ¯
∆u = 0 , z ∈ D , u¯Im z=0 = 0 , u¯|z+il|=R = T ≡ const .
R
2π
где z = reiϕ , u1 (eiϕ ) dϕ = 0 .
0
31. ЦЕЛЫЕ И МЕРОМОРФНЫЕ
ФУНКЦИИ
pn
X c−νn
gn (z) := , n ∈ N, (31.1)
ν=1
(z − an )ν
1
∀n ∈ N ∀z ∈ Kn : |gn (z) − Pn (z)| 6 . (31.3)
2n
1 Миттаг-Лёфлер (Mittag-Löffler) Магнус Гёста (1846 – 1927) — швед-
ский математик.
288 31. Целые и мероморфные функции
ζ2 ζp ζ p+1 ζ p+2
ln g(ζ, p) = ln(1 − ζ) + ζ + +...+ =− − −...
2 p p+1 p+2
|ζ|p+1
| ln g(ζ, p)| < |ζ|p+1 (1 + |ζ| + |ζ|2 + . . .) 6 . (31.8)
1−q
и, следовательно, ряд
∞
X µ ¶
z
gn (z) := ln g , pn (31.9)
an
n=N
F (z) =
∞ µ
Y ¶
z 2 pn
e an + 2 ( an ) +...+ p1n ( azn )
z 1 z
= z m eg(z) 1− , (31.10)
n=1
an
ln M (r)
σ := lim . (31.13)
r→+∞ rρ
³ eµν ´ nµ µ ¶ nµ
n n eµνrµ
|cn z | ≺ r = .
n n
296 31. Целые и мероморфные функции
1
Очевидно, что правая часть этого неравенства меньше n ,
2
eµνrµ 1
если < µ , т.е. при n > 2µ eµνrµ . Поэтому, обозначая
n 2
N := [2µ eµνrµ ], где [. . .] — целая часть, имеем
N
X µ ¶ N
X
1 1 1
|f (z)| ≺ |cn |rn + + + ... = |cn |rn + .
n=0
2N +1 2N +2 n=0
2N
при любом ε ∈ R+ . I
31.2. Рост целых функций 297
ln n
ρ = lim . (31.19)
n→∞ 1
ln pn
|cn |
откуда
³ eρµ ´ nρ
|cn | ≺ .
n
Отсюда на основании леммы 2 заключаем, что
ρ ln Mf (r)
Mf (r) ≺ e(µ+ε)r или ≺µ+ε
rρ
с любым ε ∈ R+ . Переходя в последнем неравенстве к верх-
нему пределу при r → ∞, получим σ 6 µ + ε, откуда ввиду
произвольности µ > σ
e и ε > 0 находим σ 6 σ
e. I
Замечание. Теоремы 31.3 и 31.4 позволяют строить примеры
целых функций любых наперед заданных порядков и типов.
∞ ³ eσρ ´ n
P ρ
Пример 1. Целая функция f (z) := z n имеет
n=1 n
порядок ρ и тип σ.
µ ¶n
P
∞ ln n ρ n
Пример 2. Целая функция f (z) := z имеет
n=2 n
порядок ρ и максимальный тип.
µ ¶n
P∞ 1 ρ z n имеет
Пример 3. Целая функция f (z) :=
n=2 n ln n
порядок ρ и минимальный тип.
P∞ zn
Пример 4. Сумма ряда f (z) = n
— целая функция
n=2 (ln n)
бесконечного порядка.
P
∞ 2
Пример 5. Сумма ряда f (z) = e−n z n — целая функция
n=0
нулевого порядка.
Читателю предлагается самостоятельно обосновать все эти
утверждения.
πρ0
Так как на этой дуге cos ρ0 ϕ > cos > 0 и µ < ρ0 , то при
2α
любом ε > 0 правая часть неравенства (31.21) стремится к
нулю при r → +∞, и потому на этой дуге будет |fε (z)| 6 M .
Отсюда в силу принципа максимума следует, что |fε (z)| 6 M
всюду в Sα . Устремляя теперь ε к нулю, имеем |f (z)| 6 M
всюду в Sα . I
Замечание. Чем меньше раствор угла Sα (т.е. чем больше
α), тем для функций бо́льшего роста в этой угловой области со-
храняется принцип максимума. Оценка роста ρ < α в теореме
Фрагмена — Линделёфа точна: при ρ = α теорема 31.5 перестает
быть верной. Это видно из примера аналитической в Sα функции
π
f (z) = exp(z α ), где | arg z| < . Она неограничена, но ее модуль
2α
на сторонах угла Sα тождественно равен 1.
T13
∀ λ ∈ Λ0 : µ[λ(z)] ≡ µ(z) .
A T25 T26 B (31.22)
B2 A2 J В самом деле, пусть
C1 λ ∈ Λ 0 — произвольное
отображение, а z ∈ U —
Рис. 44. Модулярная фигура произвольная точка. Тогда
точка z принадлежит замы-
канию некоторого кругового треугольника T из описанных
выше. Функция µ конформно отображает треугольник T на
верхнюю или нижнюю полуплоскость так, что его вершины
переходят в точки 0, 1 и ∞ соответственно. По построению
функция µ отображает треугольник λ(T ) на ту же полу-
плоскость, причем соответствующие точки снова переходят в
точки 0, 1 и ∞ соответственно. Поэтому функции µ и µ ◦ λ
конформно отображают T на одну и ту же полуплоскость с
одинаковым соответствием трех граничных точек. Отсюда
в силу условия единственности конформного отображения
вытекает тождество (31.22). I
Замечание. Однозначные мероморфные функции, инвари-
антные относительно некоторой группы дробно-линейных преобра-
зований аргумента, называются автоморфными функциями. По-
строенная в этом пункте модулярная функция µ является при-
мером автоморфной функции. Примерами автоморфных функ-
ций являются и периодические мероморфные функции с основным
304 31. Целые и мероморфные функции
тик.
Задачи 305
Задачи
µ ¶
∞ n3 − 1
Q 2 Q
∞ (−1)n+1
5) 3 +1
= ; 6) 1− = 1;
n=2 n 3 n=1 n
Q
∞ α sin α Q
∞ 4n2 π
7) cos = ; 8) = .
n=1 2n α n=1 4n2 − 1 2
1 P
∞ 2z
1) ctg z = + ;
z n=1 z 2 − n2 π 2
1 1 P
∞ (−1)n 2z
2) = + ;
sin z z n=1 z 2 − n2 π 2
P
∞ 2z
3) tg z = µ ¶2 ;
n=1 (2n − 1)π
− z2
2
1 P∞ 1
4) = ;
sin2 z n=−∞ (z − nπ)2
Задачи 307
P
∞ 2z
5) th z = ³ ´2 ;
n=1 (2n−1)π
z2 + 2
1 1 P
∞ (−1)n 2z
6) = + ;
sh z z n=1 z 2 + n2 π 2
z z P
∞ 2z 2
7) = 1 − + ;
ez − 1 2 n=1 z 2 + 4n2 π 2
1 P∞
(−1)n (2n−1)
8) =π 2 .
cos z n=1 (2n − 1)π
z 2 −
2
31.4. Предполагая, что a > 0, найти порядки и типы следую-
щих функций:
∞ ³ z ´n
µ ¶n
P P
∞ ln n a
1) ; 2) zn ;
n=1 n n=2 n
µ ¶n
P∞ 1 a P
∞ 2
3) zn ; 4) e−n z n ;
n=2 n ln n n=0
√
P
∞ zn P∞ ch n n
5) ; 6) z ;
n=1 nn1+a n=0 n!
P∞ (−1)n z 2n P∞ z 2n
7) ; 8) .
n=0 (n!)2 n=0 n!
ЛИТЕРАТУРА
Вейль Г. 219
Жуковский Н.Е. 54
Каратеодо́ри К. 253
Кристоффель Э.Б. 264
Лаплас П.С. 24
Лежандр А.М. 271
Линделёф 256
Лиувилль Ж. 109
Лоран П.А. 131
Чаплыгин С.А. 60
ОГЛАВЛЕНИЕ
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . 3
Задачи . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
ЛИТЕРАТУРА . . . . . . . . . . . . . . . . . . . . . . . . . 308
ИМЕННОЙ УКАЗАТЕЛЬ . . . . . . . . . . . . . . . . . . 310
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ . . . . . . . . . . . . . . . 311