ВУЗ:
Составители:
§4. Общая форма теоремы Коши 67
противоположной ориентацией. Таким образом, мы нашли цикл γ в
D, который не является гомологичным нулю относительно D.
2
§4. Общая форма теоремы Коши
Понятие цикла, гомологичного нулю, позволяет сформулировать
наиболее общий вид теоремы Коши.
Теорема 1. Пусть f — голоморфная в области D функция и цикл
γ гомологичен нулю относительно области D. Тогда
Z
γ
f(z) dz = 0.
Доказательство. Выполним вначале разбиение γ на дуги γ
1
, . . . , γ
n
так, чтобы каждая γ
j
содержалась в круге ∆
j
⊂ D. Поскольку
f(z) dz — полный дифференциал в ∆
j
, то
Z
γ
j
f(z) dz =
Z
λ
j
f(z) dz,
где λ
j
— ломаная, соединяющая в ∆
j
концы дуги γ
j
и имеющая звенья,
параллельные координатным осям. Сумма λ =
P
n
j=1
λ
j
представляет
собой цикл, состоящий из замкнутых ломаных со звеньями, парал-
лельными координатным осям. При этом
Z
λ
f(z) dz =
Z
γ
f(z) dz. (1)
Заметим, что (1) имеет место для любой аналитической в D функции
f. В частности, если a 6∈ D, то 1/(z −a) является аналитической в D
и J(λ, a) = J(γ, a) = 0, т. е. λ ∼ 0.
Далее, через каждую вершину λ проведем прямые, параллель-
ные координатным осям. В результате мы получим сетку, разбиваю-
щую всю плоскость на конечное число прямоугольников Q
1
, . . . , Q
n
0
и
неограниченных областей H
1
, . . . H
n
00
типа полуполос или углов. Ис-
ключая тривиальный случай, когда λ расположено на одной прямой,
существует хотя бы один прямоугольник, т. е. n
0
6= 0. Обозначим
§ 4. Общая форма теоремы Коши 67 противоположной ориентацией. Таким образом, мы нашли цикл γ в D, который не является гомологичным нулю относительно D. 2 § 4. Общая форма теоремы Коши Понятие цикла, гомологичного нулю, позволяет сформулировать наиболее общий вид теоремы Коши. Теорема 1. Пусть f — голоморфная в области D функция и цикл γ гомологичен нулю относительно области D. Тогда Z f (z) dz = 0. γ Доказательство. Выполним вначале разбиение γ на дуги γ1 , . . . , γn так, чтобы каждая γj содержалась в круге ∆j ⊂ D. Поскольку f (z) dz — полный дифференциал в ∆j , то Z Z f (z) dz = f (z) dz, γj λj где λj — ломаная, соединяющая в ∆j концы дуги γj и имеющая звенья, P параллельные координатным осям. Сумма λ = nj=1 λj представляет собой цикл, состоящий из замкнутых ломаных со звеньями, парал- лельными координатным осям. При этом Z Z f (z) dz = f (z) dz. (1) λ γ Заметим, что (1) имеет место для любой аналитической в D функции f . В частности, если a 6∈ D, то 1/(z − a) является аналитической в D и J(λ, a) = J(γ, a) = 0, т. е. λ ∼ 0. Далее, через каждую вершину λ проведем прямые, параллель- ные координатным осям. В результате мы получим сетку, разбиваю- щую всю плоскость на конечное число прямоугольников Q1 , . . . , Qn0 и неограниченных областей H1 , . . . Hn00 типа полуполос или углов. Ис- ключая тривиальный случай, когда λ расположено на одной прямой, существует хотя бы один прямоугольник, т. е. n0 6= 0. Обозначим
Страницы
- « первая
- ‹ предыдущая
- …
- 63
- 64
- 65
- 66
- 67
- …
- следующая ›
- последняя »