bilutapa-kurstfkp
.pdfНапомним, что упомянутый предел не зависит от выбора точек zk и ζk . Заметим, что если кривая задана уравнением z = z(t), α ≤ t ≤ β,
то под |
f (z) dz |
можно также понимать интеграл |
||
|
|
|
|
|
β |
R |
β |
β |
|
Zα |
f [ z(t) ] z0(t) dt = Zα |
<e{f [ z(t) ] z0(t)} dt + iZα |
=m{f [ z(t) ] z0(t)} dt. |
Из (2.1) очевидно, что наряду с (2.2) существует и предел суммы
P |
R |
n |
− f (z) dz, где знак |
f (ζk )(zk −zk+1 ), который обозначают символом |
|
k = 0 |
|
¾−¿ при означает, что интегрирование по происходит в отрицатель-
ном направлении. Ясно также, что |
Z |
|
|
Z |
(2.3) |
||
|
f (z) dz = − |
f (z) dz. |
|
|
− |
|
|
|
|
Из определения интеграла (2.2) непосредственно вытекают следую-
щие его свойства: |
|
|
|
|
|
|
|
|
|
1. Если f (z), |
k = 1, 2, . . . , m, определенные на |
непрерывные |
|||||||
функции и ckk |
комплексные постоянные, то |
|
|
||||||
|
|
h X |
i |
X |
|
|
|
|
|
|
Z |
m |
|
|
m |
|
Z |
|
|
|
k =1 ck fk (z) |
dz = k =1 ck |
fk (z) dz. |
(2.4) |
|||||
2. Если гладкая кривая состоит из m |
кусков 1, 2, . . . , m, т. е. |
||||||||
= m k, то |
|
|
|
|
|
|
|
|
|
|
|
Z |
|
m |
Z |
|
|
|
|
k =1 |
|
|
|
|
|
|
|
||
|
|
f (z) dz = k =1 |
f (z) dz, |
(2.5) |
|||||
|
|
|
|
X |
k |
|
|
|
|
причем предполагается, что интегрирование по каждой дуге k происходит в направлении, порожденном направлением интегрирования на .
Если кусочно-гладкая кривая состоит из m гладких кривых k,
то интеграл по кусочно-гладкой кривой и определяется равенством (2.5). Заметим, что если граница многосвязной области D состоит из замк-
нутых кривых Жордана, то положительным направлением на границе ∂D = этой области считается направление, оставляющее область
52
слева. Поэтому в случае, когда совокупность попарно не пересекающихся замкнутых кусочно-гладких кривых 0, 1, . . . , m является границей (m+1)- связной области, причем 1, 2, . . . , m лежат внутри 0,
|
|
f (z) в |
|
|
m |
− |
|
|
|
можно написать ∂D = = 0 |
|
, и следовательно, для непрерыв- |
|||||||
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
k=1 |
|
|
|
|
ной на функции |
|
силу (2.3) получим |
|
|
|||||
|
Z |
f (z) dz = Z |
f (z) dz − k =1 Z |
f (z) dz. |
(2.6) |
||||
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
0 |
|
|
X k |
|
|
3. Наряду с непрерывной функцией f (z) |
интегрируема и функция |
| f (z) |, причем в силу неравенства треугольника и определения длины
кривой имеет место неравенство
|
Z |
( ) |
|
≤ Z | ( ) | · | |
|
| ≤ z | |
| |
|
||
|
|
|
|
|
|
|
|
|
||
|
|
f z dz |
|
|
f z |
dz |
max |
f (z) |
L, |
(2.7) |
|
|
|
|
|
|
|
|
|
|
|
где L длина кривой . |
|
|
|
|
|
|
|
|||
4. Если заданная на |
последовательность |
{fn (z)}, |
n = 1, 2, . . ., |
непрерывных функций равномерно сходится на к f (z), то функция f (z) интегрируема (ибо непрерывна) и
n → ∞ Z |
n ( |
) |
|
= |
Z |
(2.8) |
lim |
f z |
|
dz |
|
f (z) dz. |
|
|
|
|
|
|
|
|
В самом деле, в силу равномерной сходимости последовательности
{fn (z)} на для любого |
ε > 0 существует такое число |
N = N (ε) > 0, |
|||||
что | fn (z) −f (z) | < Lε |
для всех z |
|
и n > N . Поэтому на основании |
||||
(2.4) и (2.7) |
имеем |
|
|
|
Z [ fn (z) −f (z) ] dz ≤ |
||
|
Z fn (z) dz − Z |
f (z) dz = |
|
||||
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≤ Z |
| fn (z) −f (z) | · | dz | < ε |
при n > N, |
|
||||
|
|
|
|
|
|
|
|
что и доказывает справедливость равенства (2.8).
53
|
∞ |
|
В частности, если функциональный ряд f (z) = |
P |
непрерыв- |
fk (z) |
||
|
k =1 |
|
ных на функций fk (z) равномерно сходится на , то это означает, что последовательность его частичных сумм Sn(z) равномерно сходится на . Следовательно, в силу (2.8) и (2.4) имеем
Z [ k =1 |
k ( ) ] |
|
= n → ∞ Z [k =1 |
|||||
|
∞ |
|
|
|
|
|
|
n |
X |
z |
dz |
|
|
|
X |
||
|
f |
|
|
lim |
|
|||
|
|
n |
|
|
|
|
|
∞ |
|
X |
f |
z |
|
dz |
X |
||
|
lim |
|
|
= k =1 Z |
||||
= n → ∞ k =1 Z |
k |
( |
) |
|
fk (z) ] dz =
fk (z) dz,
т. е. получаем возможность почленного интегрирования равномерно сходящегося на ряда непрерывных на этой кривой функций fk (z).
2.2. Теорема Коши
Лемма Гурса. Если функция f (z) непрерывна в области D и γ лежащая в D кусочно-гладкая кривая Жордана, то для любого ε > 0
можно указать лежащую в D ломаную γP |
|
|
с вершинами на γ такую, |
||||||||||||||||||
что |
Z |
f (z) dz − Z |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
f (z) dz |
< ε. |
|
|
|
(2.9) |
|||||||||||||
|
|
|
γ |
|
|
|
|
|
γ |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Пусть G, G D, область, содержащая кривую γ, |
|||||||||||||||||||
а l длина γ. Тогда ρ |
= |
ρ |
( |
γ, ∂G |
|
inf |
|
z |
− |
ζ |
| |
> 0, поскольку |
|||||||||
|
|
|
|
|
|
|
|
) = z γ, ζ ∂G | |
|
|
|
|
|||||||||
γ ∩ ∂G = . Из равномерной непрерывности f (z) в G следует, что0 |
00для |
||||||||||||||||||||
любого ε > 0 найдется такое δ = δ(ε) > 0, что для любых точек z , z |
из |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
G таких, что | z0−z00 |< δ, выполняется неравенство |
|
|
|
|
|||||||||||||||||
|
|
|
|
| f (z0) − f (z00) | < |
ε |
|
|
|
|
|
(2.10) |
||||||||||
|
|
|
|
|
. |
|
|
|
|
||||||||||||
|
|
|
|
2l |
|
|
|
|
Разобьем кривую γ точками z1 , z2 , . . . , zn , следующими друг за дру-
гом в положительном направлении и отличными от ее начала a и кон- |
||
|
_ |
= a, zn +1 = b, длина |
ца b, на дуги |
γk = zk zk+1, k = 0, 1, . . . , n, z0 |
54
каждой из которых σ(zk , zk+1 ) < min(δ, ρ), и обозначим через
маную с вершинами в
точках zk |
(см. Рис. 6). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Очевидно, ломаная γP |
|
|
|
|
G |
|
|
γ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
лежит в области G. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zn |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Заметим, что для |
|
|
a |
|
|
|
|
|
|
|
γP |
|
|
|
|
|
|||||||||||
|
|
|
|
zk |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
интеграла |
dz вдоль |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
z1 |
|
|
|
γk |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
с началом |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k+1 |
|
|
|
|
||||
кривой R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в точке a и концом |
|
|
|
|
|
|
|
|
|
|
|
|
∂G |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
в точке b непосред- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
cтвенно из определе- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ния получим |
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 6 |
|
|
|
|
|
|
|
|
|
|||||
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
z |
= lim (z |
n+1 − |
z ) = b |
− |
a. |
||||||||||||||||||||
|
dz = |
lim |
|||||||||||||||||||||||||
|
Z |
n → ∞ k=0 |
k |
|
n → ∞ |
0 |
|
|
|
|
|
|
|
|
|
γP ло-
b
(2.11)
Учитывая свойства 1 – 3 интеграла и то, что в силу выбора точек zk
для любого |
z γk k = 0,1, . . . , n, |
имеем |
| z −zk | < δ, из (2.11) и (2.10) |
|||||||
заключаем, что имеет место неравенство |
|
|
2 . |
|||||||
|
Z f (z) dz − k= 0 f (zk )Δzk |
|
= |
k= 0 |
Z [ f (z) − f (zk ) ] dz < |
|||||
γ |
X |
|
X |
γ |
|
|
|
|
||
|
|
n |
|
|
n |
|
|
|
ε |
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогично убеждаемся также, что
Z Xn ε
f (z) dz − f (zk )Δzk < 2 ,
=0γ k
P
откуда следует (2.9).
Теорема Коши. Если функция f (z) аналитична в односвязной области D и γ любая замкнутая кусочно-гладкая кривая Жордана,
лежащая в D, то |
Z |
|
|
|
f (z) dz = 0. |
(2.12) |
γ
55
Доказательство. Поскольку для кривой с началом в точке a и
концом в точке b |
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
||
|
|
|
z dz |
|
lim |
|
|
|
|
z |
z |
|
= lim |
|
|
|
z |
|
|
z |
|
, |
|
||||
|
|
|
Z |
|
= n → ∞ k= 0 |
|
k |
k |
|
n → ∞ k= 0 |
k+1 |
|
k |
|
|
||||||||||||
то |
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
z dz = |
|
lim |
|
(z |
+ z |
|
)Δz |
= |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
Z |
|
|
2 n → ∞ k= 0 |
|
k |
k+1 |
|
|
k |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
(2.13) |
||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|||
= |
lim |
|
z2 |
|
z2 |
= |
|
lim |
|
z2 |
z2 |
|
= |
(b2 |
− |
a2). |
|||||||||||
|
|
|
|
|
|
2 |
|||||||||||||||||||||
|
2 n → ∞ |
k= 0 |
k+1 |
− k |
|
2 n → ∞ |
|
n+1 − |
|
0 |
|
|
|
|
|||||||||||||
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
В силу (2.11) и (2.13) для функций f (z) = 1 и f (z) = z |
теорема Коши |
||||||||||||||||||||||||||
верна, т. е. |
|
|
|
|
Z |
dz = Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
z dz = 0. |
|
|
|
|
|
|
|
|
|
(2.14) |
||||||||||
|
|
|
|
|
|
|
γ |
|
|
|
|
γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Для произвольной функции f (z) |
сначала рассмотрим случай, когда γ |
||||||||||||||||||||||||||
является границей γ |
треугольника |
|
|
D. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть γR |
f (z) dz |
= M |
. Соединив середины сторон треугольника |
прямолинейными отрезками, разобьем его на четыре конгруэнтных
треугольника |
|
(k), k = 1, 2, 3, 4 (см. Рис. 7), и поскольку в силу (2.3) и |
|||||||||||||
(2.7) имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M = |
|
Z f (z) dz = |
|
k=1 Z f (z) dz ≤ k=1 |
|
Z f (z) dz |
, |
||||||||
|
γ |
|
|
γ |
|
|
|
|
4 |
γ |
|
||||
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
X |
(k) |
|
|
X |
(k) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то среди треугольников |
|
(k) |
|
существует по крайней мере один, обозна- |
|||||||||||
чим его через |
|
1, для которого |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
Z f (z) dz |
|
≥ |
|
. |
|
|
|
|
|||
|
|
|
|
4 |
|
|
|
|
|||||||
|
|
|
|
γ |
|
|
|
M |
|
|
|
|
|||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
56
Указанным выше способом разобьем треугольник 1 на четыре и обозначим через 2 любой из них, для которого
|
Z f (z) dz |
|
≥ |
|
. |
42 |
|||||
γ |
|
M |
|||
|
2 |
|
|
|
|
|
|
|
|
|
|
Продолжая этот процесс бесконечно, получим последовательность треугольников k,
k = 1, 2, . . ., со следую- |
|||
щими свойствами : |
|||
|
|
1) k+1 |
k ; |
|
|
2) периметр тре- |
|
угольника k |
равен |
||
|
l |
, где l периметр |
|
|
|
||
|
2k |
; |
|
треугольника |
|||
|
|
3) для каждого k |
|
имеет место неравен- |
ство |
|
Z |
|
γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
@ |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
I@ |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
- |
|
|
|
@@ γ |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
@@ |
|
|
|
> |
|
@@ |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
(4) |
|
|
|
|
|||||||||||||||||||||||||||
|
|
= |
|
|
|
|
|
|
|
|
|
I@@ |
|
|
|
|
|
|
|
|
|
|
|
|
I@ |
|
|
|
||||||
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
(2) |
@ |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
@R@ |
|
|
|
|
|
|
|
@ |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
@ |
|
|
|
= |
|
|
|
|
@ |
|
|
|||||||||||
|
|
|
|
|
|
|
- |
|
|
|
|
@ |
|
|
|
|
|
|
|
|
|
|
- |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
f (z) dz |
|
≥ |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.15) |
|||||||||||
|
4k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k
Пересечение всех треугольников последовательности { k} состоит из единственной точки z0 D. В силу аналитичности функции f (z) в точке z0 для любого ε > 0 найдется такое δ > 0, что C(δ, z0 ) D и
f (z) − f (z0 )
z −z0
− f 0(z0 ) |
< l2 , z C(δ, z0 ). |
(2.16) |
|
|
|
ε |
|
|
|
|
|
Начиная с некоторого номера k0, все треугольники k |
лежат в круге |
||||||||||||
C(δ, z0 ) |
и, следовательно, в силу (2.4), (2.14) и (2.16) можно написать |
||||||||||||
|
Z f (z) dz |
|
= |
|
Z [ f (z) − f (z0 ) − (z −z0 )f 0(z0 ) ] dz |
|
< |
||||||
γ |
|
γ |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
k |
|
4k |
= 4k . |
|
(2.17) |
|||
|
|
|
< l2 |
Z | z − z0 |·| d z| < l2 |
|
|
|
||||||
|
|
|
|
|
ε |
|
ε |
|
l2 |
|
ε |
|
|
γ
k
57
Сравнивая (2.15) и (2.17), получим неравенство M < ε, откуда в силу
произвольности ε имеем M = 0, т. е. |
|
|
|||
|
Z |
f (z) dz = 0. |
(2.18) |
||
|
γ |
|
|
|
|
Обозначим теперь через γP |
границу произвольного многоугольника |
||||
P D и разобьем P на конечное число треугольников |
(k). Из очевид- |
||||
ного равенства |
Z f (z) dz = |
k |
Z f (z) dz |
|
|
|
γP |
|
X |
γ (k) |
|
в силу (2.18) заключаем, что |
|
|
|
|
|
|
Z |
f (z) dz = 0. |
(2.19) |
||
|
γP |
|
|
|
|
В случае, когда γ любая замкнутая кусочно-гладкая кривая Жор-
дана, на основании леммы Гурса в силу (2.9) и (2.19) получим неравен-
т. е. |
|
|
|
|
|
|
следует (2.12), |
ство |
γ f (z) dz |
< ε, из которого ввиду произвольности ε |
|||||
утверждениеR |
теоремы Коши. |
|
|||||
Обобщенная теорема Коши. Если функция f (z) |
аналитична в |
||||||
области D C, ограниченной замкнутой кусочно-гладкой кривой Жор- |
|||||||
|
|
|
|
|
|||
дана , и непрерывна в D, то |
|
|
|||||
|
|
|
|
|
Z |
f (z) dz = 0. |
(2.20) |
Доказательство. Пусть сначала замкнутая гладкая кривая
|
|
|
|
|
|
|
Жордана. В силу равномерной непрерывности функции f (z) |
в D для |
|||||
любого ε > 0 |
найдется такое δ = δ(ε) > 0, что | f (z0) −f (z00) | < ε для |
|||||
любых z0, z00 |
|
|
|
|
|
|
из D, как только | z0−z00 |< 2δ. Пусть еще |
|
|
|
|||
|
|
|
2δ < δ0 , |
(2.21) |
58
где δ0 стандартный радиус кривой , |
|
соответствующий числу θ0 = |
||||||||||||||||||||||||||||||||||
= 2 arccos 3 |
. Пусть, кроме того, δ |
|
|
таково, что можно построить много- |
||||||||||||||||||||||||||||||||
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
угольник с вершинами в точках zk , k = 1, 2, . . . , n, следующих друг |
||||||||||||||||||||||||||||||||||||
за другом в положительном направлении на , и сторонами [ zk , zk+1 ], |
||||||||||||||||||||||||||||||||||||
zn+1 = z1 , одинаковой длины r (см. Рис. 8), где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
2r = 3δ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.22) |
||||||||||||||
Тогда длина L кривой больше nr, так что в силу (2.22) имеем |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
n < |
2L |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.23) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
3δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Покажем, что мно- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
жество |
C(δ, zk ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
δ |
- θ0 |
|
|
|
|
|
|
|
|
|
|
|
|||||||
k=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
δ |
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
покрытие |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
образуетS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
кривой , каждый |
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
круг которого пере- |
|
|
|
z |
|
|
r |
|
PPP |
PP |
|
|
zZ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
rk |
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
k+1 |
|
|
|
|
P |
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
||||||||||
секается только с |
|
|
|
|
|
|
|
|
Dk+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
qζk+1 |
|
D |
|
|
q |
|
|
|
|
|
P |
Z |
|
|
|
|
|
|
|||||||||||
соседними кругами. |
|
|
|
|
|
|
|
|
k |
ζk |
|
|
|
PPZP zk−1 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
В самом деле, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|||||||
поскольку в силу |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dk−1 |
||||||||||||||
(2.22) и (2.21) имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ζk−1 |
|
|
|
|
|
|
|||||
| zk+1 −zk |= r < δ0, |
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то (см. п. 0.5) острый угол между касательными в любых точках τ1 и
_ |
θ0 |
|
|
|
3 |
τ2 дуги zk zk+1 меньше |
|
|
= arccos |
4 . _Отсюда по теореме Лагран- |
|
2 |
|||||
жа заключаем, что для любой точки |
t zk zk+1 угол между хордами |
||||
|
|
|
θ0 |
|
|
[ t, zk ] и [ t, zk+1 ] больше π − |
|
|
. С другой стороны, легко видеть, что |
||
|
2 |
множество всех точек, из которых отрезок [ zk , zk+1 ] виден под углом, |
||
θ0 |
|
|
превышающим π− 2 , представляет собой круговую луночку, ограничен- |
||
ную дугами окружностей с концами в точках zk и zk+1 , образующими |
||
|
θ0 |
_ |
с отрезком [ zk , zk+1 ] углы, равные |
2 . Таким образом, дуга |
zk zk+1 |
лежит в этой круговой луночке, содержащейся в объединении кругов C(δ, zk ) и C(δ, zk+1 ), а это означает, что все указанные круги образуют
покрытие кривой .
Далее, как мы видели выше, r < δ0 , а значит, дуга zk_−1 zk+1 короче
59
стандартной, так что угол между отрезками [zk |
, zk−1 ] |
и [zk , zk+1 ] боль- |
||||||||
|
|
√ |
|
|
|
√ |
|
|
|
|
ше π −θ0 > |
π |
|
|
|
|
2 |
|
|
||
|
|
|
|
|
||||||
2 , поэтому |zk+1 −zk−1 | > r 2 = 3δ |
|
|
> 2δ, |
т. е. круги |
||||||
|
2 |
|||||||||
C(δ, zk−1 ) и |
C(δ, zk+1 ) |
не пересекаются. Круги же |
|
C(δ, zk ) |
и C(δ, zj ), |
между которыми находится более одного круга этого покрытия, в силу (2.21) тоже не пересекаются.
Следуя В.В.Асееву, положимDk =D ∩C(δ, zk )\C(δ, zk+1 ), k = 1, 2,..., n, zn+1 = z1, и обозначим через γk соответственно границы областей Dk.
После удаления из D всех замкнутых областей Dk остается односвязная область D , граница которой является замкнутой кусочно-гладкой
жордановой кривой , так как состоит из дуг окружностей | z−zk |= δ. |
||||||||||||||
Очевидно, что |
|
|
Z |
|
|
|
Z |
Z |
|
|
||||
|
|
|
|
n |
|
|
|
|
|
|
||||
|
|
|
|
X γk |
|
|
|
|
|
|
(2.24) |
|||
|
|
|
|
k =1 |
|
|
f (z) dz = f (z) dz − |
|
f (z) dz. |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Учитывая, что D и по теореме Коши |
|
|
||||||||||||
|
|
|
|
|
|
Z |
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
f (z) dz = f (ζk ) dz = 0, |
|
|||||
|
|
|
|
|
|
|
|
γk |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где ζ |
k |
фиксированные точки областей Dk |
соответственно, из (2.24) в |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
силу (2.23) получим |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Z f (z) dz = |
k =1 |
Z [ f (z) − f (ζk ) ] dz |
≤ |
|
|||||||
|
|
|
|
|
|
|
X |
γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X Z |
|
|
|
|
|
|
|
|
|
|
|
≤| f (z) − f (ζk ) |·| dz | < ε(L + 2n·2πδ) < 3πLε,
k =1 γk
откуда следует (2.20).
60
Пусть теперь замкнутая кусочно-гладкая кривая Жордана, со-
_
стоящая из гладких дуг p = tp tp+1, где tp, p = 1, 2, . . . , m, tm+1 = t1,
вершины кривой , δp стандартный радиус дуги p, соответствующий
числу θ0 = arccos |
2 , |
|
|
|
|
3 |
|
|
|
δ0 = |
min δp, |
ρ = |
min ρ (tp, q), 0 = m. |
|
1≤p≤m |
|
p |
≤ m |
|
1 ≤ q |
q 6= p−1, p
Тогда, как и выше, по наперед заданному ε > 0 возьмем соответствую-
щее число δ, удовлетворяющее условию |
|
|
0 < 2δ < min(δ0, ρ ), |
(2.25) |
|
так что каждая окружность |
| z −tp | = δ, p = 1, 2, . . . , m, |
пересекает |
кривую в двух точках: tp0 |
p и tp00 p −1, 0 = m. Заметим, что |
указанные окружности попарно не пересекаются, и обозначим через 0p часть дуги p, p = 1, 2, . . . , m, лежащую вне кругов C(δ, tp) и C(δ, tp+1)
(см. Рис. 9). Пусть
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ0 |
= min ρ ( p0 , q0 ), |
|
|
|
|
|
|
|
|
|
(2.26) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 ≤ q |
≤ m |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p =6 q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
# |
|
|
|
r |
ρp |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
p0 |
|
|
|
|
|
|
@ |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
r |
|
rp yXX |
|
|
|
|
r |
δ |
|
|
|
||||||||||||||||
|
|
|
|
|
|
00 |
|
|
|
|
|
tp r |
X |
|
|
|
|
|||||||||||||
|
|
p +1 |
|
|
|
|
|
|
# |
|
|
|
|
|
@@ |
|
|
|||||||||||||
|
|
"! |
|
"! |
|
|
|
|
|
|
||||||||||||||||||||
|
tp +1 |
|
|
r |
tp |
+1 |
|
|
|
tp,2 |
# |
θ0 |
tp |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
R@ |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"!# |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tp |
r |
|
|
|
|
|
|
@ |
|
|
||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00 |
|
|
|
|
|
|
|
|
||||
"! |
|
|
|
|
|
Рис. 9 |
|
"! |
|
|
|
|||||||||||||||||||
|
trp +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p −1 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
При фиксированном |
δ |
выберем покрытие каждой дуги |
p0 , p = 1, |
|||||||||||||||||||||||||||
2, . . . , m, кругами C(ρp , tp, l), где число ρp удовлетворяет условию |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
0 < 2ρ < ρ0, |
p = 1, 2, . . . , m, |
|
|
|
|
|
|
|
(2.27) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
61