Вы находитесь на странице: 1из 8

22.3.

Некоторые приложения формулы Грина 101

22.3.3 Гомотопия кривых. Теорема о гомотопии

Для изучения глобальных вопросов весьма полезно ввести


и использовать понятие гомотопии кривых.
Определение 22.13. Две разомкнутые кривые γ0 и γ1
с общими концами a и b, задаваемые как отображения r0 :
[0 , 1] −→ G и r1 : [0 , 1] −→ G, называются гомотопными в об
ласти G ⊂ R2, еслисуществует непрерывное отображе-≡ние s×
−→
r( s, t) r (t) : [0, 1] [0, 1] G, обладающее следующи-

ми свойствами: (
r(0, t) ≡ r 0 (t) — кривая γ0 ;
(a) ∀ t ∈ [0, 1] :
r(1, t) ≡ r 1 (t) — кривая γ1 ;
(
r(s, 0) ≡ a — начальная точка ;
(b) ∀ s ∈ [0, 1] :
r(s, 1) ≡ b — концевая точка .
Определение 22.14. Две замкнутые кривые γ0 и γ1 ,
задаваемые как отображения r 0 : [0 , 1] −→ G и r 1 :
[0 , 1] −→ G, называются гомотопными в области G ⊂ R2 ,
если существует непрерывное отображение r(s, t) ≡ r s (t) :
[0, 1] × [0, 1] −→ G, обладающее следующими свойствами:
102 22. Интегральные формулы
(
r(0, t) ≡ r 0 (t) — кривая γ0 ;
(a) ∀ t ∈ [0, 1] :
r(1, t) ≡ r 1 (t) — кривая γ1 ;
(b) ∀ s ∈ [0, 1] : r(s, 0) ≡ r(s, 1) — замкнутость кривых.

.......................................................
.......... .
..... ...... .....................................................................................................
.. .
. ...................... ................ ....
γ1 ............. ....................... .... .............................................................................
.......................
............................
. ............... ..............
................ ............................ b
.
.........................................
....
...................
..................... .
...
.
.. ..
.
. ..
.
..
a .......................................................................................... .. ... .. .............
............ ................
........ . . ..
..................
..
... ........ .
... ...
........................................
.
.. ..... .. ..
................. ...
. .. ..
. . .
........... .................
.............................
............ .................
..................................................................................................................... ........... γs ..............
........................................................................................................ ......... ...... ..
...... ..............................................................................................................................................................................................
..
.......

........ .................... .
......... ...................................................................................................... ................
...
...........
................. . ... .... .. ....
....................................... . γ0

Рис. 19. Гомотопия разомкнутых кривых

Гомотопия кривых имеет простой геометрический смысл


(рис. 19, 20). Чтобы его пояснить, обозначим через γs кри-
вую, заданную как отображение r s : [0, 1] −→ G, где
r s (t) :≡ r(s, t). Изменение кривой γs при изменении парамет-
ра s можно рассматривать как непрерывную деформацию
кривой γs . Таким образом, гомотопия кривых γ0 и γ1 в
области G означает, что существует непрерывная дефор-
мация, преобразующая кривые γ0 и γ1 одна в другую,
притом так, что все промежуточные кривые не выходят
за пределы области G. В связи с тем, что нам предсто-
ит интегрировать по кривым γs , будем считать гомотопию
такой, что все промежуточные кривые γs являются глад-
кими. Гомотопию с этим ограничением условимся называть
гладкой.

γ0 γs γ1

Рис. 20. Гомотопия замкнутых кривых


22.3. Некоторые приложения формулы Грина 103

Замечание. Наглядным примером гладкой гомотопии ра-


зомкнутых кривых с общими концами является колеблющаяся
струна.
Теорема 22.7 (о гомотопии). Пусть функции P , Q :
G −→ R имеют непрерывные производные в области G ⊂ R2 ,
и
∂Q(x, y) ∂P (x, y)
∀(x, y) ∈ G : ≡ .
∂x ∂y
Если гладкие кривые γ0 и γ1 гладко гомотопны в G, то
Z Z
(P dx + Q dy) = (P dx + Q dy) . (22.22)
γ0 γ1

J Определим функцию J : [0 , 1] −→ R, полагая


Z
J(s) := (P dx + Q dy) , s ∈ [0 , 1] , (22.23)
γs

где γs — промежуточная кривая из определений 22.13 и 22.14.


Наша цель — показать, что функция J — постоянная, откуда
и будет вытекать равенство (22.22).
Пусть ρ := dist (Fr G ; r ([0, 1] × [0, 1])) ∈ R+ — расстояние
от границы области G до образа квадрата [0, 1] × [0, 1] при
отображении r. Задавая ε ∈ (0 , ρ) и пользуясь равномерной
непрерывностью отображения r, найдем δ = δ(ε) так, чтобы
∀ (s, t) , (σ, τ ) было:
(
|t − τ | 6 δ ,
=⇒ |r(s, t) − r(σ, τ )| < ε . (22.24)
|s − σ| 6 δ

Фиксируя σ ∈ [0, 1], станем вычислять интеграл J(σ). С


этой целью построим разбиение отрезка [0 , 1]

0 = t 0 < t1 < t2 < . . . < t n = 1 ,

мелкость которого меньше δ, и построим открытые круги

K0 , K1 , K2 , . . . , Kn−1 ,
104 22. Интегральные формулы

радиуса ε с центрами в точках

r(σ, t0 ) , r(σ, t1 ) , r(σ, t2 ) , . . . , r(σ, tn−1 )

соответственно. Так как все круги Kν лежат в области G,


то по теореме 22.6(c) в этих кругах существуют локальные
первообразные

F0 , ; F1 , F2 , . . . , Fn−1 . (22.25)

В силу условия (22.24) имеем r (σ × [tν , tν+1 ]) ⊂ Kν , поэто-


му интеграл по кривой γσν , задаваемой отображением r σ :
[tν , tν+1 ] −→ Kν , можно вычислить по формуле Ньютона —
Лейбница:
Z
(P dx + Q dy) = Fν [r σ (tν+1 )] − Fν [r σ (tν )] ,
ν
γσ

ν = 0, 1, ... , n − 1. (22.26)

Каждая первообразная из (22.26) определяется с точностью


до произвольного постоянного слагаемого. Пользуясь этим
произволом, подберем первообразные F1 , F2 , . . . , Fn−1 так,
чтобы было:

Fν+1 [r(tν+1 )] = Fν [r(tν+1 )] при ν = 0 , 1 , . . . , n − 2 .

Учитывая эти равенства и используя (22.26), имеем

Z XZ
n−1
J(σ) = (P dx + Q dy) = (P dx + Q dy) =
γσ ν=0 γ ν
σ

n−1
X
= {Fν [r σ (tν+1 )] − Fν [r σ (tν )]} = Fn−1 [r σ (1)]−F0 [r σ (0)] .
ν=0
(22.27)

Вычислим теперь интеграл J(s) при |σ − s| < δ. Так как


при t ∈ [tν , tν+1 ] из (22.24) следует, что |r s (t) − r σ (tν )| < ε,
т. е. что r s (t) ∈ Kν , то кривая γsν с уравнением r = r s (t),
t ∈ [tν , tν+1 ], отображает отрезок [tν , tν+1 ] в круг Kν . Это
22.3. Некоторые приложения формулы Грина 105

означает, что для вычисления интеграла по кривой γsν мож-


но использовать ту же первообразную, что и для вычисления
интеграла по кривой γσν , и мы имеем
Z
(P dx + Q dy) = Fν [r s (tν+1 )]−Fν [r s (tν )] , ν = 0, 1, . . . , n−1.
γsν

Используя эти равенства, находим


Z XZ
n−1
J(s) = (P dx + Q dy) = (P dx + Q dy) =
γs ν=0 γ ν
s

n−1
X
= {Fν [r s (tν+1 )] − Fν [r s (tν )]} = Fn−1 [r s (1)]−F0 [r s (0)] .
ν=0
(22.28)
В случае гомотопии разомкнутых кривых имеем r s (0) ≡
r σ (0) ≡ a, r s (1) ≡ r σ (1) ≡ b, т. е. правые части равенств
(22.27) и (22.28) равны. Поэтому J(σ) ≡ J(s) при |σ − s| < δ.
В случае гомотопии замкнутых кривых имеем r s (1) ≡
r s (0), и потому первообразные F0 и Fn−1 отличаются на сла-
гаемую константу. т. е. Fn−1 (r) − F0 (r) ≡ C. Значит, и в этом
случае правые части равенств (22.27) и (22.28) равны, т. е.
J(σ) ≡ J(s) при |σ − s| < δ.
Итак, функция J : [0 , 1] — локально постоянная, а так
как отрезок [0 , 1] связен, то она и глобально постоянная. В
частности, выполняется равенство (22.22). I
Определение 22.15. Область G ⊂ R2 называется од-
носвязной, если любая замкнутая кривая r : [0 , 1] −→ G
гомотопна одноточечной кривой (нулю).
Замечания. 1. Под одноточечной кривой понимается кривая,
задаваемая уравнением вида r(t) ≡ c, где c ∈ G — постоянная.
Это название связано, очевидно, с тем, что годограф такой кривой
состоит из одной точки.
2. Односвязные области на плоскости — это области, которые
в некотором смысле устроены наиболее просто. Критерием одно-
связности ограниченной области является связность ее границы.
Примерами односвязных областей являются области, изображен-
ные на рисунках 11 – 17.
106 22. Интегральные формулы

Теорема 22.8. Пусть G ⊂ R2 — односвязная область, а


функции P, Q : G −→ R — имеют непрерывные производ-
ные. Равносильны следующие утверждения:
∂Q(x, y) ∂P (x, y)
(a) ∀ (x, y) ∈ G : ≡ ;
∂x ∂y
(b) если γ — замкнутая кривая с носителем6 в G, то
Z
(P (x, y) dx + Q(x, y) dy) = 0 ;
γ

(c) если γ — разомкнутая гладкая кривая, то интеграл


Z
[P (x, y) dx + Q(x, y) dy]
γ

не зависит от формы кривой γ, а зависит только от поло-


жения начальной и концевой точек этой кривой;
(d) в области G существует глобальная первообразная
для дифференциальной формы P (x, y) dx + Q(x, y) dy.
J Доказательство этой теоремы будем проводить по схе-
ме:
(a) =⇒ (b)
=⇒
=⇒

(d) ⇐= (c)
(a) ⇒ (b) Так как кривая γ — замкнутая, а область G —
односвязная, то кривая γ гомотопна одноточечной кривой γ0 ,
т. е. кривой с уравнением r = r(t) ≡ c. Поэтому, используя
теорему 22.7, имеем

Z Z Z1
(P dx + Q dy) = (P dx + Q dy) = 0 · dt = 0 .
γ γ0 0

6 Если кривая γ задана как отображение r : [0, 1] −→ R 2 , то ее носи-

телем или годографом принято называть образ r([0, 1]).


22.3. Некоторые приложения формулы Грина 107

(b) ⇒ (c) Пусть γ1 и γ2 — две кривые с общими концами и


носителем в G. Тогда кривая γ1 ∗γ2−1 — замкнутая. Используя
условие (b) и свойство аддитивности, имеем
Z Z Z
0= (P dx + Q dy) = (P dx + Q dy) − (P dx + Q dy) ,
γ1 ∗γ2−1 γ1 γ2

т. е. Z Z
(P dx + Q dy) = (P dx + Q dy) .
γ1 γ2

(c) ⇒ (d) Определим функцию F : G −→ R, полагая


(x,y)
Z
F (x , y) := C + [P (u, v) du + Q(u, v) dv] , (22.29)
(x0 ,y0 )

где C — постоянная, (x0 , y0 ) ∈ G — произвольно зафиксиро-


ванная точка, (x, y) ∈ G, а путь интегрирования лежит в G.
Так как интеграл не зависит от пути, то равенство (22.29) за-
дает функцию от (x, y) ∈ G.
Чтобы показать, что F — первообразная, найдем точку
(x1 , y1 ) ∈ G так, чтобы было

[(x1 , y1 ) ; (x, y)] ∈ G

и
dist ((x1 , y1 ) ; (x, y)) < dist ((x1 , y1 ; FrG)) =: d .
Тогда круг с центром в точке (x1 , y1 ) радиуса d будет лежать
в области G и содержать внутри точку (x, y). Пользуясь тем,
что интеграл в (22.29) не зависит от пути, преобразуем его к
виду
(xZ1 ,y1 ) (x,y)
Z
F (x, y) = (P dx + Q dy) + (P dx + Q dy) , (22.30)
(x0 ,y0 ) (x1 ,y1 )

где первый интеграл берется по произвольной кривой с носи-


телем в G, а второй — по прямолинейному отрезку, соединя-
ющему точки (x1 , y1 ) и (x, y). В правой части (22.30) первый
108 22. Интегральные формулы

интеграл — постоянный, поэтому

DF (x, y)(h, k) = P (x, y) · h + Q(x, y) · k ,

что можно доказать точно так же, как и в теореме 22.6(c).


(d) ⇒ (a) Пусть F : G −→ R — первообразная для формы
P dx + Q dy в области G. Тогда ∀ (x, y) ∈ G будет

∂F (x, y) ∂F (x, y)
≡ P (x, y) ; ≡ Q(x, y) ,
∂x ∂y
и по теореме о смешанных производных будем иметь

∂ 2 F (x, y) ∂ 2 F (x, y) ∂Q(x, y) ∂P (x, y)


≡ , т. е. ≡ . I
∂x∂y ∂y∂x ∂x ∂y