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

22.

ИНТЕГРАЛЬНЫЕ ФОРМУЛЫ,
СВЯЗЫВАЮЩИЕ КРАТНЫЕ,
КРИВОЛИНЕЙНЫЕ И
ПОВЕРХНОСТНЫЕ ИНТЕГРАЛЫ

В этой главе изучаются криволинейные и поверхностные ин-


тегралы. Дается достаточно строгий вывод классических формул
Грина, Стокса, Гаусса — Остроградского.

22.1 Криволинейные интегралы

22.1.1 Длина дуги гладкой кривой в Rn .


Натуральный параметр

Определение 22.1. Путём1 в Rn условимся называть


непрерывное отображение r : [a , b] −→ Rn , где [a , b] ⊂ R.
Путь называется замкнутым, если r(a) = r(b), и разомкну-
тым, если r(a) 6= r(b). Путь называется простым2 , если
t1 6= t2 =⇒ r(t1 ) 6= r(t2 ), кроме случая r(a) = r(b) для замкну-
тых путей. Путь называется гладким, если существует
непрерывная производная r 0 , причем ∀t ∈ [a , b] : r 0 (t) 6= 0.
Чтобы определить понятие длины пути, возьмем разбие-
ние T = {t0 , t1 , . . . , tN } отрезка [a , b], где

a = t0 < t1 < . . . < tN = b , ∆k := [tk , tk+1 ] , ∆tk := tk+1 −tk ,

и вычислим сначала длину l(T ) ломаной линии, последова-

1 Иногда путь называют параметризованной кривой, поскольку он за-


дается уравнением r = r(t), где t — параметр.
2 или жордановым.
22.1. Криволинейные интегралы 77

тельно соединяющей точки r(t0 ), r(t1 ), . . . , r(t0 ):


v
N
X −1 N
X −1 uX
n
u 2
l(T ) = |r(tk+1 ) − r(tk )| = t [xj (tk+1 ) − xj (tk )] ,
k=0 k=0 j=1
(22.1)
где x1 (t), . . . , xn (t) — координаты вектора r(t).
Определение 22.2. Путь называется спрямляемым,
если существует конечный предел сумм (22.1) при стрем-
лении к нулю мелкости разбиения T, и этот предел называ-
ется длиной пути:

N
X −1
l := lim l(T ) = lim |r(tk+1 ) − r(tk )| . (22.2)
λ(T )→0 λ(T )→0
k=0

Теорема 22.1. Если путь r : [a , b] −→ Rn — гладкий,


то он — спрямляемый, а для его длины справедливо равен-
ство

Zb Zb q
0
l= |r (t)| dt = [x01 (t)]2 + . . . + [x0n (t)]2 dt . (22.3)
a a

J Применяя теорему Лагранжа о конечных приращени-


ях, преобразуем правую часть равенства (22.1). Тогда полу-
чим v
N −1 uX
X u n £ 0 ¤2
l(T ) = t xj (tθjk ) ∆tk , (22.4)
k=0 j=1

где θjk ∈ [tk , tk+1 ] при k = 0, 1, . . . , N − 1. Поскольку положе-


ние точек θjk зависит не только от k, но и от j, то сумма (22.1)
не является интегральной. Для вычисления ее предела соста-
вим интегральную сумму интеграла (22.3), беря в качестве
вектора отмеченных точек вектор θ = (θ10 , θ11 , . . . , θ1,N −1 ):
v
N
X −1 uX
n
u £ ¤2
σ(|r 0 |; T, θ) = t x0j (θ1k ) ∆tk . (22.5)
k=0 j=1
78 22. Интегральные формулы

Для оценки разности между суммами (22.4) и (22.5) применим


неравенство треугольника в следующей форме:
¯q q ¯
¯ ¯
¯ a2 + a2 + . . . + a2n − a2 + b2 + . . . + b2n ¯ 6
¯ 1 2 1 2 ¯
p
6 (a2 − b2 )2 + . . . + (an − bn )2 6 |a2 − b2 | + . . . + |an − bn | .

Используя его, имеем:

|l(T ) − σ(|r 0 |; T, θ)| =


¯ v v  ¯
¯NX u n u n ¯
¯ −1 uX ¡ 0 ¢2 u X ¡ 0 ¢2 ¯
= ¯¯ t xj (θjk ) − t xj (θ1k )  ∆tk ¯¯ 6
¯ k=0 j=1 j=1 ¯
¯v v ¯
N −1 ¯uX uX ¯
X ¯u n ¡ ¢ u n ¡ 0 ¢2 ¯
6 ¯t x 0 (θ ) 2 − t x (θ ) ¯ ∆tk 6
¯ j jk j 1k ¯
k=0 ¯ j=1 j=1 ¯
N
X n q
−1 X
£ ¤2
6 x0j (θjk ) − x0j (θ1k ) ∆tk 6
k=0 j=2
n N
X X −1
6 |x0j (θjk ) − x0j (θ1k )| ∆tk 6
j=2 k=0
n
"N −1 #
X X
6 ω(x0j ; ∆k ) · ∆tk → 0
j=2 k=0

при λ(T ) → 0 в силу критерия Дарбу интегрируемости непре-


рывных функций x02 , . . . , x0n . Таким образом, пределы сумм
(22.4) и (22.5) равны. Поэтому верна и формула (22.3) . I
Определение 22.3. Два гладких пути r : [a , b] −→ Rn
и ρ : [α , β] −→ Rn условимся называть эквивалентными,
если существует диффеоморфизм τ : [a , b] −→ [α , β], та-
кой, что
∀t ∈ [a , b] : ρ[τ (t)] ≡ r(t) .
Легко показать, что так определенное отношение эквива-
лентности обладает известными свойствами рефлексивности,
симметричности и транзитивности. Поэтому множество
22.1. Криволинейные интегралы 79

всех гладких путей распадается на попарно непересекающие-


ся классы, каждый из которых состоит из всех эквивалентных
между собой гладких путей, и мы приходим к понятию глад-
кой кривой.
Определение 22.4. Гладкими кривыми условимся на-
зывать классы эквивалентных между собой гладких путей
по отношению эквивалентности, введенному в определении
22.3.
В отличие от пути, где параметризация фиксируется, на
одной и той же кривой могут задаваться различные парамет-
ризации.
Теорема 22.2. Если гладкие пути
r : [a , b] −→ Rn и ρ : [α , β] −→ Rn
эквивалентны, то их длины равны.
J Пусть задана длина пути ρ : [α , β] −→ Rn , α < β :

l= |ρ0 (τ )| dτ .
α

Производя в этом интеграле замену с помощью реализующего


эквивалентность диффеоморфизма τ = τ (t) и предполагая,
что этот диффеоморфизм возрастает, имеем
Zβ Zb Zb
0 0 0
l= |ρ (τ )| dτ = |ρ [τ (t)]| τ (t) dt = |r 0 (t)| dt .
α a a

Если же этот диффеоморфизм убывает, то


Zβ Za Zb
l= |ρ0 (τ )| dτ = − |ρ0 [τ (t)]| · |τ 0 (t)| dt = |r 0 (t)| dt . I
α b a

Замечания. 1. Доказанная теорема означает, что длина кри-


вой инвариантна, т. е. не зависит от выбора параметризации на ней
(от того пути, который ее представляет).
2. Пользуясь произволом в выборе параметризации данной
кривой, можно на ней выбирать параметризации, выгодные с точ-
ки зрения решения тех или иных вопросов.
80 22. Интегральные формулы

Пусть, например, кривая задана в виде пути r : [a , b] −→ Rn ,


a < b. Покажем, что что в качестве нового параметра, с помощью
которого задается та же кривая, можно взять переменную дли-
ну дуги
Zt
s = s(t) := |r 0 (u)| du , 0 6 s 6 l . (22.6)
a

0 0
J Так как s (t) ≡ |r (t)| > 0, то функция (22.6) строго возрас-
тает. Поэтому у нее существует единственная обратная функция
t = t(s), которая тоже строго возрастает, причем

1 1
t0 (s) = = 0 > 0.
s0 (t) |r (t)|

Таким образом, отображение (22.6) — диффеоморфизм, а рассмат-


риваемую кривую можно задать уравнением r = ρ(s) := r(t(s)),
s ∈ [0 , l] . I
3. Для параметризации r = ρ(s) имеем |ρ 0 (s)| ≡ 1, и в связи с
этим параметр s принято называть натуральным.
4. В качестве примеров приведем здесь еще формулы для длин
плоских и пространственных кривых соответственно:

Zb p
l= [x0 (t)]2 + [y 0 (t)]2 dt ,
a
Zb p
l= [x0 (t)]2 + [y 0 (t)]2 + [z 0 (t)]2 dt .
a

22.1.2 Криволинейные интегралы 1-го рода


(по длине дуги)

Пусть γ — гладкая кривая, заданная параметрически в


виде отображения r : [a , b] −→ D, где [a , b] ⊂ R, a < b,
D ⊂ Rn — область. Пусть задана непрерывная функция3 f :
D −→ R.
3 Такую функцию иногда называют скалярным полем, определенным

в области D.
22.1. Криволинейные интегралы 81

Определение 22.5. Криволинейный интеграл 1-го рода


от функции f по кривой γ определяется равенством

Z Zb
f (r) ds := f [r(t)] · |r 0 (t)| dt . (22.7)
γ a

Запишем это определение через координаты. Если

r(t) = (x1 (t), . . . , xn (t)) ,

то равенство (22.7) будет выглядеть так:


Z
f (x1 , . . . , xn ) ds :=
γ

Zb q
2 2
:= f [x1 (t), . . . , xn (t)] · (x01 (t)) + . . . + (x0n (t)) dt .
a

В случае плоской кривой, т. е. при n = 2, имеем

Z Zb p
f (x, y) ds := f [x(t), y(t)] · [x0 (t)]2 + [y 0 (t)]2 dt .
γ a

В случае пространственной кривой, т. е. при n = 3, имеем

Z Zb p
f (x, y, z) ds := f [x(t), y(t)]· [x0 (t)]2 + [y 0 (t)]2 + [z 0 (t)]2 dt .
γ a

Существование криволинейного интеграла 1-го рода обес-


печивается тем, что в правой части равенства (22.7) нахо-
дится интеграл Римана от непрерывной функции. Более то-
го, равенство (22.7) позволяет распространить бо́льшую часть
свойств интеграла Римана на криволинейные интегралы 1-го
рода. Поэтому здесь остановимся, в основном, на различиях.
Определение 22.6. Условимся считать, что два экви-
валентных пути r 1 : [a1 , b1 ] −→ D, a1 < b1 , и r 2 : [a , b] −→
82 22. Интегральные формулы

−→ D, a2 < b2 , ориентированы одинаково (противоположно),


если диффеоморфизм τ : [a1 , b1 ] −→ [a2 , b2 ], обеспечиваю-
щий их эквивалентность, возрастает (убывает). Ориенти-
рованной кривой условимся называть класс эквивалентно-
сти одинаково ориентированных путей.
Замечание. Образно говоря, задать ориентацию пути r =
= r(t), a 6 t 6 b — это значит, задать на нем направление об-
хода: от точки r(a) к точке r(b), или наоборот. Таким образом, на
пути (а значит, и на кривой) имеются две ориентации. Одну из них
считают положительной, и тогда другая оказывается отрицатель-
ной.
Переходим к изложению свойств.
1◦ . Криволинейный интеграл 1-го рода по кривой γ не за-
висит от параметризации кривой γ. В частности, он не за-
висит и от ориентации кривой γ.
J Исходя из определения (22.7), возьмем другое пара-
метрическое задание кривой γ: ρ : [α , β] −→ D, α < β, и
пусть t = t(τ ) — диффеоморфизм, обеспечивающий эквива-
лентность: r[t(τ )] ≡ ρ(τ ). Производя в правой части равен-
ства (22.7) замену t = t(τ ), τ = τ (t), получим

Z Zb
f (r) ds := f [r(t)] · |r 0 (t)| dt =
γ a
τ (b)
Z Zβ
0 0
= f [r(t(τ ))] · |r (t(τ ))| · t (τ ) dτ = f [ρ(τ )] · |ρ0 (τ )| dτ ,
τ (a) α

причем независимо от того, возрастают функции t = t(τ ),


τ = τ (t), или убывают. I
Замечание. Параметризуя кривую γ натуральным парамет-
ром (переменной длиной дуги), получим

Z Zl
f (r) ds = f [r(s)] ds .
γ 0
22.1. Криволинейные интегралы 83

Определение 22.7. Пусть γ1 и γ1 — две гладкие кривые,


задаваемые соответственно уравнениями r = r 1 (t), a 6 t 6
6 c, и r = r 2 (t), c 6 t 6 d, причем выполняются условия

r 1 (c) = r 2 (c) , r 01 (c) = r 02 (c) 6= 0 . (22.8)

Их композицией назовем гладкую кривую γ1 ∗ γ2 , задаваемую


следующим уравнением:
(
r 1 (t) , a 6 t 6 c ,
r=
r 2 (t) , c 6 t 6 b .

2◦ (свойство аддитивности). В обозначениях определения


22.7 имеем
Z Z Z
f (r) ds = f (r) ds + f (r) ds . (22.9)
γ1 ∗γ2 γ1 γ2

Замечание. Равенство (22.9) является простым следствием


свойства аддитивности интеграла Римана. Оно остается справед-
ливым и в том случае, когда равенства (22.8) (одно или оба) не
выполняются. Иначе говоря, понятие криволинейного интеграла и
свойство аддитивности сохраняются не только для гладких, но и
для кусочно-гладких (и даже не обязательно свя́зных) кривых.
R
2◦ (оценка). Если |f (r)| 6 M , то | f (r) ds| 6 M · l, где l
γ
— длина кривой γ.
J Используя (22.7), имеем
¯ ¯ ¯ b ¯
¯Z ¯ ¯Z ¯ Zb
¯ ¯ ¯ ¯
¯ f (r) ds¯ := ¯ f [r(t)] · |r (t)| dt¯ 6 M |r 0 (t)| dt = M · l . I
0
¯ ¯ ¯ ¯
¯ ¯ ¯ ¯
γ a a

Рассмотрим одно приложение криволинейных интегралов


1-го рода. Пусть кривая γ представляет собой криволи-
нейный тонкий неоднородный стержень. Обозначим через
ρ(x) линейную плотность стержня в точке x. Пусть тре-
буется определить и вычислить массу M стержня. С этой
целью мысленно произведем разбиение стержня на малые
84 22. Интегральные формулы

части γ0 , γ, , . . . , γN −1 . На каждой части выберем по точ-


ке P0 , P1 , . . . , PN −1 и будем приближенно считать каждую
часть γk однородным стержнем с постоянной плотностью,
равной ρ(Pk ). Тогда искомая масса будет приблизительно
равной
N
X −1
M≈ ρ(Pk ) · ∆sk , (22.10)
k=0

где ∆sk — длина кривой γk . Переходя в (22.10) к пределу


при стремлении к нулю мелкости разбиения, при некоторых
ограничениях получим точное значение искомой массы
Z
M = ρ(x) ds .
γ

22.1.3 Криволинейные интегралы 2-го рода


(по координатам)

Пусть снова γ — гладкая кривая, заданная параметричес-


ки в виде отображения r : [a , b] −→ D, где [a , b] ⊂ R, a < b,
D ⊂ Rn — область. Будем считать кривую γ ориентированной
направлением от a к b. Пусть F : D −→ Rn — непрерывное
отображение4 с координатными функциями F = (P1 , . . . , Pn ).
Определение 22.8. Криволинейный интеграл 2-го рода
по ориентированной кривой γ от отображения F определя-
ется равенством
Z
hF |dri =
γ

Z Zb
= [P1 (x)dx1 + . . . + Pn (x)dxn ] := hF (r(t)) | r 0 (t)i dt =
γ a

Zb
= {P1 [r(t)] · x01 (t) + . . . + Pn [r(t)] · x0n (t)} dt . (22.11)
a
4 Такое
отображение иногда называют векторным полем, определен-
ным в области D.
22.1. Криволинейные интегралы 85

Замечание. В частном случае n = 2 имеем определение кри-


волинейного интеграла 2-го рода по плоской кривой
Z
[P (x, y) dx + Q(x, y)dy] :=
γ

Zb
© ª
:= P [x(t), y(t)] · x0 (t) + Q[x(t), y(t)] · y 0 (t) dt .
a

В другом частном случае n = 3 имеем определение криволи-


нейного интеграла 2-го рода по пространственной кривой
Z
[P (x, y, z) dx + Q(x, y, z) dy + R(x, y, z) dz] =:
γ

Zb
©
:= P [x(t), y(t), z(t)] x0 (t) + Q [x(t), y(t), z(t)] y 0 (t)+
a
ª
+ R [x(t), y(t), z(t)] z 0 (t) dt .

Существование криволинейного интеграла 2-го рода обес-


печивается тем, что в правой части равенства (22.11) нахо-
дится интеграл Римана от непрерывной функции. Более то-
го, равенство (22.11) позволяет перенести основные свойства
интеграла Римана на криволинейные интегралы 2-го рода.
Поэтому здесь остановимся только на сходствах и различи-
ях, существующих между криволинейными интегралами 1-го
и 2-го рода. Важнейшим отличием криволинейного интеграла
2-го рода от криволинейного интеграла 1-го рода является то,
что при изменении ориентации кривой интегрирования кри-
волинейный интеграл 2-го рода меняет знак. Сформулируем
это следующим образом.
1◦ . Криволинейные интегралы 2-го рода, взятые по двум
эквивалентным путям, равны, если эти пути ориентирова-
ны одинаково, и отличаются знаком, если эти пути ориен-
тированы противоположно.
J Пусть γ1 — путь, эквивалентный пути γ, а ρ = ρ(τ ),
α 6 τ 6 β, — его параметрическое задание. Пусть t = t(τ )
86 22. Интегральные формулы

диффеоморфизм, такой, что r[t(τ )] ≡ ρ(τ ). Производя в ин-


теграле (22.11) замену переменного t = t(τ ), τ = τ (t), получим

Z Zb
hF | dri = hF [r(t)] | r 0 (t)i dt =
γ a
τ (b)
Z
= hF [r(t(τ ))] | r 0 (t(τ ))it0 (τ ) dτ =
τ (a)
τ (b)
Z Z
0
= hF [ρ(τ ))] | ρ (τ )i dτ = ± hF | dρi ,
τ (a) γ1

где знак «+» берется в случае α = τ (a), β = τ (b), что соответ-


ствует сохранению ориентации, а знак «-» берется в случае
α = τ (b), β = τ (a), что соответствует изменению ориента-
ции. I
2◦ . Пусть τ = τ (t) — единичный вектор касательного
направления к кривой γ в точке r(t). Тогда справедливо ра-
венство Z Z
hF | dri = hF | τ i ds , (22.12)
γ γ

где ds — дифференциал длины дуги.


J Из равенства

r(t + ∆t) − r(t) = r 0 (t) · ∆t + o(∆t) при ∆t → 0

следует, что вектор r 0 (t) — касательный к кривой γ в точке


r(t). Так как ds = |r 0 (t)| · dt, то, вводя обозначение τ (t) :=
:= r 0 (t)Á|r 0 (t)|, имеем |τ (t)| ≡ 1, а из равенства (22.11) сле-
дует равенство (22.12). I
Замечание. Равенство (22.12) выражает зависимость между
криволинейными интегралами 1-го и 2-го рода. Исходя из него,
можно получить другие свойства криволинейных интегралов 2-го
рода (например, свойство аддитивности, определение криволиней-
ного интеграла 2-го рода по кусочно-гладкой кривой и др.)
22.2. Формула Грина 87

Рассмотрим одно приложение криволинейных интегралов


2-го рода. Пусть в области D ⊂ R3 задана напряженность
силового поля, т. е. отображение F : D −→ R3 , где

F (x, y, z) = P (x, y, z)i + Q(x, y, z)j + R(x, y, z)k ,

и гладкая кривая γ, задаваемая как отображение r :


[a , b] −→ D, ориентированная от a к b. Требуется найти
работу A поля F на пути γ. Исходим из того, что если си-
ла F — постоянная, а путь γ — прямолинейный вектор ∆s,
то работа равна скалярному произведению hF | ∆si. Если
путь — криволинейный, а сила — переменная, то произво-
дим разбиение пути γ на малые участки, каждый из которых
заменяем прямолинейным отрезком, а силу на нем при-
ближенно считаем постоянной. Тогда для искомой работы
получим следующее приближенное равенство типа
N
X −1
A≈ hF (Pk ) | ∆r k i .
k=0

Из этого равенства в пределе при стремлении к нулю мел-


кости разбиения можно получить точное значение искомой
работы Z
A= hF | dri .
γ

Если кривая γ — замкнутая, то работа обозначается символом


I
A = hF | dri
γ

и называется иногда циркуляцией.

22.2 Формула Грина


Определение 22.9. Поверхностью с краем называется
компактное топологическое пространство G, каждая точ-
ка которого имеет окрестность, гомеоморфную либо кру-
88 22. Интегральные формулы
© ª © ª
гу x2 + y 2 < 1 , либо полукругу x2 + y 2 < 1 ; y > 0 . Точ-
ки, окрестности которых гомеоморфны кругам, называют-
ся внутренними. Множество всех внутренних точек по-
верхности G называется ее внутренностью и обозначает-
ся символом G0 . Точки, окрестности которых гомеоморфны
полукругам, называются точками края поверхности G. Мно-
жество всех таких точек называется краем поверхности G
и обозначается символом ∂G.
Таким образом, имеем G = G0 t ∂G.
Определение 22.10. Областью с краем называется та-
кая поверхность с краем G = G0 t ∂G, что G0 ⊂ R2 .
Пусть G — область с краем, G0 ⊂ R2 — ее внутренность,
G ⊂ R2 — ее замыкание. Тогда имеем

G = G0 t Fr G ,

где Fr G — граница области G. Возникает вопрос: граница Fr G


и край ∂G — это одно и то же множество или разные? Ответ
такой: это, вообще говоря, различные множества, и потому
смешивать их недопустимо. Покажем это на примере.
Пример. Пусть
n ¯ o
G0 := z = r · eiϕ ¯ 0 < r < 1 , 0 < ϕ < 2π ⊂ R2

— открытый круг, из которого выброшен ¯ полуинтервал [0 , 1)


© ª
(см. рис. 11). Тогда G = z ∈ C ¯¯ |z| 6 1 — замкнутый круг
© ª
(см. рис. 12), а G0 t ∂G = (r , ϕ) ¯ 0 6 r 6 1 , 0 6 ϕ 6 2π , при-
чем точки (r , 0) и (r , 2π) при 0 < r 6 1 считаются различными, а
все точки вида (0 , ϕ) считаются за одну (отождествляются). Та-
ким образом, граница Fr G — объединение окружности и радиуса,
а край ∂G — замкнутая жорданова кривая, составленная из двух
«берегов» разреза по отрезку [0 , 1] и разомкнутой окружности,
соединяющей точку 1 верхнего берега с точкой 1 нижнего берега
(см. рис. 13).
Однако в том частном случае, когда граница области G
представляет собой дизъюнктное объединение конечного чис-
ла замкнутых жордановых кривых, эти понятия совпадают,
т. е. Fr G = ∂G.
22.2. Формула Грина 89

.
..........................................
........ ......
...... ....
.... ...
...
. ...
.... ...
...
...
.. .
..
... ...
... ..
.
.... ...
..... .
....... ....
........... ......
...................................

Рис. 11. Область Рис. 12. Замыкание Рис. 13. Область


области с краем
Зафиксируем конечное число окрестностей, гомеоморф-
ных полукругам и покрывающих край ∂G, вместе с гомео-
морфизмами окрестностей на верхние полукруги. Будем счи-
тать, что эти окрестности и гомеоморфизмы образуют ориен-
тирующий дифференцируемый атлас, т. е. все отображения
на верхние полукруги являются диффеоморфизмами и име-
ют положительные якобианы. Тогда край оказывается глад-
ким, и его локально можно задать уравнением r = r(x), где
x — абсцисса диаметра полукруга. Направление возрастания
переменной x локально ориентирует край. Так как атлас —
ориентирующий, то в другой локальной координате уравне-
ние края будет иметь вид r = r(x(y)), где y 7−→ x(y) —
возрастающая функция. Таким способом можно продолжить
ориентацию на каждую связную компоненту края. Эту ори-
ентацию края условимся называть стандартной. Ее можно
охарактеризовать следующим образом: если точка движет-
ся вдоль края ∂G в направлении стандартной ориентации,
то при этом область G0 остается слева.
Теорема 22.3 (формула Грина5 ). Пусть G = G0 t ∂G
— область с гладким краем ∂G, ориентированным стан-
дартно, а (P , Q) : G −→ R2 — непрерывно дифференциру-
емое отображение. Тогда
Z ZZ µ ¶
∂Q ∂P
(P dx + Q dy) = − dx ∧ dy . (22.13)
∂x ∂y
∂G G

Доказательству предшествует рассмотрение некоторых


частных случаев.
5 Грин Джордж (1793—1841) — английский математик и физик.
90 22. Интегральные формулы

Лемма 1. Формула Грина верна для любой выпуклой об-


ласти G с краем ∂G.
J Пусть [a , b] × R — вертикальная полоса минимальной
ширины, содержащая G. Тогда G можно представить в виде
© ¯ ª
G = (x , y) ∈ R2 ¯ a 6 x 6 b ; y1 (x) 6 y 6 y2 (x) ,

где y = y1 (x) и y = y2 (x) — некоторые непрерывные функции


(рис. 14). Применяя теорему Фубини, имеем

ZZ Zb yZ
2 (x) Zb ¯y=y2 (x)
∂P ∂P ¯
dx ∧ dy = dx dy = P (x , y)¯¯ dx =
∂y ∂y y=y1 (x)
G a y1 (x) a

Zb Z
= [P (x, y2 (x)) − P (x, y1 (x))] dx = − P (x , y) dx ,
a ∂G

так как интегралы по вертикальным участкам края ∂G равны


нулю, поскольку на них x ≡ const, dx ≡ 0.
Пусть теперь R × [c , d] — горизонтальная полоса мини-
мальной ширины, содержащая G. Тогда G можно представить
в виде
© ¯ ª
G = (x , y) ∈ R2 ¯ c 6 y 6 d ; x1 (y) 6 x 6 x2 (y) ,

где x = x1 (t) и x = x2 (t) — некоторые непрерывные функции


(рис. 15). Применяя теорему Фубини, имеем

ZZ Zd xZ2 (y) Zd ¯x=x2 (y)


∂Q ∂Q ¯
dx ∧ dy = y dx = Q(x , y)¯¯ dy =
∂x ∂x x=x1 (y)
G c x1 (y) c

Zd Z
= [Q(x2 (y), y) − Q(x1 (y), y)] dy = Q(x , y) dy ,
c ∂G

так как интегралы по горизонтальным участкам края ∂G рав-


ны нулю, поскольку на них y ≡ const, dy ≡ 0.
22.2. Формула Грина 91

Итак, имеем
ZZ Z
∂P
dx ∧ dy = − P dx , (22.14)
∂y
G ∂G
ZZ Z
∂Q
dx ∧ dy = Q dy . (22.15)
∂x
G ∂G
Вычитая из равенства (22.15) равенство (22.14), получим фор-
мулу Грина (22.13). I
Y Y
6 y = y2 (x) 6

x = x1 (y)
.........¾ ............... d .........¾ ...............
.... ...
... .... ...
...

x = x2 (y)
. .
G 6 G 6
..? ..?
................. -............. c ................. -.............
y = y1 (x)
- -
O a b X O X
Рис. 14. К выводу Рис. 15. К выводу
формулы (22.14) формулы (22.15)
Лемма 2. Пусть G и D — области с кусочно-гладкими
краями, а (
x = x(u , v) ,
Φ :
y = y(u , v) ,
— сохраняющий ориентацию диффеоморфизм D на G, для
которого выполнены условия теоремы о смешанных произ-
водных. Если формула Грина верна для области D, то она
верна и для области G.
J Желая установить равенство (22.13), произведем в кри-
волинейном интеграле из (22.13) замену переменных, полагая
Pe(u , v) := (P ◦ Φ)(u , v) , Q(u
e , v) := (Q ◦ Φ)(u , v) .
Тогда подынтегральное выражение криволинейного интегра-
ла преобразуется следующим образом:
µ ¶ µ ¶
e ∂x ∂x e ∂y ∂y
P dx + Q dy = P · du + dv + Q · du + dv =
∂u ∂v ∂u ∂v
µ ¶ µ ¶
∂x e · ∂y du + Pe · ∂x + Q e · ∂y dv .
= Pe · +Q
∂u ∂u ∂v ∂v
92 22. Интегральные формулы

Так как по предположению формула Грина верна для области


D, то имеем
Z ·µ ¶ µ ¶ ¸
e ∂x e ∂y e ∂x e ∂y
P· +Q· du + P · +Q· dv =
∂u ∂u ∂v ∂v
∂D
ZZ · µ ¶ µ ¶¸
∂ ∂x e · ∂y − ∂ Pe · ∂x + Q e · ∂y
= Pe · +Q du∧dv .
∂u ∂v ∂v ∂v ∂u ∂u
D
(22.16)
Используя, далее, теорему о смешанных производных (соглас-
но ей все слагаемые, содержащие смешанные производные,
взаимно уничтожатся), преобразуем подынтегральную функ-
цию двойного интеграла из (22.16):
µ ¶ µ ¶
∂ ∂x e · ∂y − ∂ Pe · ∂x + Q e · ∂y =
Pe · +Q
∂u ∂v ∂v ∂v ∂u ∂u
à ! à !
∂ Pe ∂x ∂ Pe ∂y ∂x ∂Qe ∂x ∂ Q e ∂y ∂y
= · + · · + · + · · −
∂x ∂u ∂y ∂u ∂v ∂x ∂u ∂y ∂u ∂v
à ! à !
∂ Pe ∂x ∂ Pe ∂y ∂x ∂Qe ∂x ∂ Q e ∂y ∂y
− · + · · − · + · · =
∂x ∂v ∂y ∂v ∂u ∂x ∂v ∂y ∂v ∂u
¯ ¯
à ! ¯ ∂x ∂x ¯
e
∂Q ∂P e ¯ ¯
¯ ¯
= − · ¯ ∂u ∂v ¯ .
∂x ∂y ¯ ∂y ∂y ¯
¯ ¯
∂u ∂v
Таким образом, равенство (22.16) приобретает следующий
вид:
Z ·µ ¶ µ ¶ ¸
∂x e · ∂y du + Pe · ∂x + Q e · ∂y dv =
Pe · +Q
∂u ∂u ∂v ∂v
∂D
¯ ¯
ZZ Ã e ! ¯ ∂x ∂x ¯
∂ Q ∂ Pe ¯ ¯
¯ ¯
= − · ¯ ∂u ∂v ¯ du ∧ dv .
∂x ∂y ¯ ∂y ∂y ¯
D ¯ ¯
∂u ∂v
Переходя здесь обратно к переменным x , y, получим формулу
Грина (22.13). I
22.2. Формула Грина 93

Теперь переходим к доказательству теоремы 22.3.


J Итак, пусть G — произвольная область с гладким
краем ∂G. Покажем, что каждая точка области с краем G
имеет окрестность, которая либо сама выпукла, либо такая,
что существует ее диффеоморфизм на выпуклую область,
для которого выполнены условия теоремы о смешанных
производных. Если (x0 ,©y0 ) ∈ G0 , то такой окрестностью
ª
является любой круг (x − x0 )2 + (y − y0 )2 < r2 ⊂ G0 .
Если (x0 , y0 ) ©
∈ ∂G, а связная компонентаª V 3 (x0 , y0 ) пере-
сечения G ∩ (x − x0 )2 + (y − y0 )2 < r2 выпукла, то она и
будет такой окрестностью.
Предположим теперь, что (x0 ,©y0 ) ∈ ∂G, а связная компо- ª
нента V 3 (x0 , y0 ) пересечения G∩ (x − x0 )2 + (y − y0 )2 < r2
не является выпуклой ни при каком r > 0. Выберем r на-
столько малым, чтобы край ∂V состоял из дуги окружности
(x − x0 )2 + (y − y0 )2 = r2 и дуги края ∂G (рис. 16). Обо-
значим через Π прямолинейную полосу, край которой про-
ходит через точки пересечения окружности и края ∂G пер-
пендикулярно касательной к ∂G в точке (x0 , y0 ). Положим
W := V ∩ Π и покажем, что W является окрестностью с тре-
буемыми свойствами. Действительно, сначала с помощью па-
раллельного переноса и поворота можно добиться того, чтобы
точка (x0 , y0 ) перешла в точку (0 , 0), а положительный луч
касательной в точке (x0 , y0 ) совпал с положительным лучом
оси абсцисс. Поскольку при таком отображении формула Гри-
на сохраняется, то будем считать, что множество W уже за-
нимает указанное новое положение (рис. 17). Пусть y = y(x),
y(0) = y 0 (0) = 0 — уравнение кривой ∂G ∩ ∂W . В этих обозна-
чениях отображение


u = x , √
Φ−1 : r 2 − x2 (22.17)

v = √ 2 · (y − y(x)) ,
2
r − x − y(x)
реализует диффеоморфизм окрестности W на выпуклое
множество, и очевидно, для Φ выполняются условия тео-
ремы о смешанных производных. Выпуклость следует
из того, что при диффеоморфизме (22.17) дуга окруж-
ности x2 + y 2 = r2 переходит на себя, а часть края
94 22. Интегральные формулы

с уравнением y = y(x) — на отрезок прямой v = 0.


.......................................
Y ..........

..
..
...
.
...
....

..
6 .....

...

.
..
...

........... .............
...
...

.........................................
... ... G
....

.............
.... ...
. G ...
(x0 , y....0V) .
..
... .. W

?
..

....
...

...
.

...
...
.

...
.... O X

..........
...

....
? .........

....
......................... -

...
.....
O X
Рис. 16. Окрестность V Рис. 17. Окрестность W

Так как G — компакт, то любое его открытое покрытие


содержит конечное подпокрытие. Поэтому существует конеч-
ное покрытие {U1 , . . . , UN } множества G окрестностями, об-
ладающими указанным выше свойством. Отсюда в силу лемм
1 и 2 заключаем, что для всех этих окрестностей справедлива
формула Грина.
Пусть теперь {ϕ1 , . . . , ϕN } — разложение единицы класса
C ∞ для множества G, подчиненное покрытию {U1 , . . . , UN }.
Используя его и доказанную часть теоремы, имеем оконча-
тельно
ZZ µ ¶
∂Q ∂P
− dx ∧ dy =
∂x ∂y
G

ZZ " Ã N
X
! Ã N
X
!#
∂ ∂
= Q ϕν − P ϕν dx ∧ dy =
∂x ν=1
∂y ν=1
G

ZZ XN · ¸
∂ ∂
= (Qϕν ) − (P ϕν ) dx ∧ dy =
ν=1
∂x ∂y
G

XN ZZ · ¸
∂ ∂
= (Qϕν ) − (P ϕν ) dx ∧ dy =
ν=1
∂x ∂y

22.2. Формула Грина 95

N Z
X N Z
X
= [(ϕν P ) dx + (ϕν Q) dy] = ϕν (P dx + Q dy) =
ν=1∂U ν=1∂G
ν
Z X
N Z
= ϕν · (P dx + Q dy) = (P dx + Q dy) . I
∂G ν=1 ∂G

Замечания. 1. Формула Грина доказана для областей с глад-


кими краями. Очевидно, что она остается справедливой и для об-
ластей с кусочно-гладкими краями. Действительно, любую область
с кусочно-гладким краем можно приблизить областью с гладким
краем, например, производя «скругление углов» и организуя соот-
ветствующий предельный переход в формуле Грина для «прибли-
женной» области.
2. Входящий в формулу Грина символ ∧ называется «символом
внешнего умножения». Выражение dx ∧ dy имеет глубокий смысл,
но в данном случае оно не отличается от элемента площади dx dy.
3. В качестве простейшего приложения формулы Грина ука-
жем на возможность вычисления площадей с помощью криволи-
нейных интегралов. Пусть, например, требуется вычислить пло-
щадь области G с кусочно-гладким краем ∂G. С этой целью най-
дем две гладкие функции P и Q, для которых при (x , y) ∈ G
выполняется тождество

∂Q(x, y) ∂P (x, y)
− ≡ 1.
∂x ∂y

Применяя, далее, формулу Грина, имеем


ZZ ZZ µ ¶ Z
∂Q ∂P
µ2 (G) = 1·dx∧dy = − dx∧dy = (P dx + Q dy) .
∂x ∂y
G G ∂G

В частном случае Q(x, y) ≡ x, P (x, y) ≡ 0 имеем


Z
µ2 (G) = x dy .
∂G

В другом частном случае Q(x, y) ≡ 0, P (x, y) ≡ −y получаем


Z
µ2 (G) = − y dx .
∂G
96 22. Интегральные формулы

Беря полусумму последних двух равенств, находим


Z
−y dx + x dy
µ2 (G) = .
2
∂G

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


Грина
22.3.1 Первообразная функция для
дифференциальной формы в области

Пусть G ⊂ R2 — область. В области G пусть заданы функ-


ции P, Q : G −→ R, имеющие непрерывные частные про-
изводные. Основным объектом изучения в этом параграфе
будет дифференциальная форма P (x, y) dx + Q(x, y) dy, т. е.
подынтегральное выражение криволинейного интеграла 2-го
рода (по плоской кривой).
Определение 22.11. Дифференцируемая функция F :
G −→ R называется первообразной для дифференциальной
формы
P (x, y) dx + Q(x, y) dy
в области G, если ∀ (x , y) ∈ G и ∀ (h , k) ∈ R2 выполняется
равенство
DF (x, y)(h, k) = P (x, y) · h + Q(x, y) · k . (22.18)
Теорема 22.4. Если F — первообразная для дифференци-
альной формы P dx + Q dy в области G, то все такие перво-
образные содержатся в формуле F (x, y) + C, где C — произ-
вольная постоянная.
J Пусть F1 — другая первообразная для дифференци-
альной формы P dx + Q dy. Для разности
Φ(x, y) := F1 (x, y) − F (x, y)
имеет место тождество DΦ(x, y)(h, k) ≡ 0. Отсюда в силу
следствия из теоремы о конечных приращениях вытекает, что
Φ(x, y) ≡ C в области G. Таким образом,
F1 (x, y) ≡ F (x, y) + C . I
22.3. Некоторые приложения формулы Грина 97

Теорема 22.5. Пусть F — первообразная для формы


P dx + Q dy в области G, а γ — гладкая кривая, задаваемая
уравнениями
(
x = x(t) ,
a 6 t 6 b , (x(t), y(t)) ∈ G ,
y = y(t) ,
ориентированная в Rнаправлении от a к b. Тогда для криволи-
нейного интеграла (P dx + Q dy) справедлива формула Нью-
γ
тона — Лейбница
Z ¯t=b
¯
[P (x, y) dx + Q(x, y) dy] = F [x(t), y(t)] ¯¯ =
t=a
γ

= F [x(b), y(b)] − F [x(a), y(a)] . (22.19)


J Сведем криволинейный интеграл к интегралу Римана
Z
[P (x, y) dx + Q(x, y) dy] =
γ

Zb
= {P [x(t), y(t)]x0 (t) + Q[x(t), y(t)]y 0 (t)} dt . (22.20)
a

Применяя цепное правило, имеем


d ∂F [x(t), y(t)] 0 ∂F [x(t), y(t)] 0
F [x(t), y(t)] = · x (t) + · y (t) =
dt ∂x ∂y
= P [x(t), y(t)]x0 (t) + Q[x(t), y(t)]y 0 (t) .
Отсюда видно, что композиция F [x(t), y(t)] является перво-
образной для подынтегральной функции определенного ин-
теграла из (22.20). Применяя к нему классическую формулу
Ньютона — Лейбница, получим равенство (22.19). I
Замечание. Из равенства (22.19) видно, что в условиях теоре-
R
мы 22.5 интеграл [P (x, y) dx + Q(x, y) dy] не зависит от пути (т. е.
γ
от уравнений кривой γ), а зависит только от положения началь-
ной и концевой точек данной кривой. Если, в частности, кривая γ
— замкнутая, то этот интеграл равен нулю.
98 22. Интегральные формулы

22.3.2 Локальная первообразная и критерий ее


существования

Определение 22.12. Говорят, что дифференциальная


форма P dx + Q dy имеет в точке (a , b) ∈ G0 локальную пер-
вообразную, если существует окрестность U ⊂ G0 точки
(a , b) и функция F : U −→ R, первообразная для формы
P dx + Q dy в U .
Замечание. Иногда (для внесения бо́льшей ясности) глобаль-
ной называют первообразную, о которой идет речь в определении
22.11. Очевидно, что сужение глобальной первообразной на любую
окрестность является локальной первообразной. Однако из суще-
ствования локальных первообразных во всех точках данной об-
ласти не следует существование глобальной первообразной в этой
области.
Теорема 22.6. Пусть функции P, Q : G −→ R имеют
в области G непрерывные производные. Равносильны следую-
щие утверждения:
∂Q(x, y) ∂P (x, y)
(a) ∀ (x, y) ∈ G : ≡ ;
∂x ∂y
(b) если ∆ ⊂ G — любой треугольник, то
Z
[P (x, y) dx + Q(x, y) dy] = 0 ;
∂∆

(c) в каждой точке (x, y) ∈ G дифференциальная форма

P (x, y) dx + Q(x, y) dy

имеет локальную первообразную.


J Доказательство этой теоремы будем проводить по схе-
ме:

(a)
=⇒
=⇒

(c) ⇐= (b)
22.3. Некоторые приложения формулы Грина 99

(a) ⇒ (b) Пусть ∆ ⊂ G — любой треугольник. Применяя


формулу Грина и используя условие (a), имеем

Z ZZ µ ¶ ZZ
∂Q ∂P
(P dx + Qdy) = − dx∧dy = 0·dx∧dy = 0 .
∂x ∂y
∂∆ ∆ ∆

(b) ⇒ (c) Пусть (a , b) ∈ G — любая точка, а U ⊂ G —


открытый круг с центром в этой точке. Определим функцию
F : U −→ R, полагая ∀ (x , y) ∈ U :

(x,y)
Z
F (x , y) := C + [P (u, v) du + Q(u, v) dv] , (22.21)
(a,b)

где C — произвольная постоянная, а интегрирование ведется


по прямолинейному отрезку [(a, b); (x, y)].
Желая показать, что
функция (22.21) — первооб- (x + h, y + k)
разная, выберем прираще- K
∆ (x, y)
ние (h , k) так, чтобы было µ
(x + h , y + k) ∈ U . Тогда °
(a, b)
треугольник ∆ с вершина-
ми в точках (a , b), (x , y), U
(x + h , y + k) будет лежать
в U (см. рис. 18). В силу
условия (b) имеем Рис. 18. К теореме 22.6

Z
0= (P dx + Q dy) =
∂∆
 
(x,y)
Z (x+h,y+k)
Z (a,b)
Z
 
= + +  (P dx + Q dy) .
(a,b) (x,y) (x+h,y+k)

Исходя из этого равенства, преобразуем приращение функции


100 22. Интегральные формулы

(22.21)

F (x + h , y + k) − F (x , y) =
(x+h,y+k)
Z (x,y)
Z
= (P dx + Q dy) − (P dx + Q dy) =
(a,b) (a,b)
(x+h,y+k)
Z
= (P dx + Q dy) .
(x,y)

Применяя к последнему интегралу теорему «о среднем», бу-


дем иметь

F (x + h , y + k) − F (x , y) =
Z1
= [P (x + th, y + tk) · h + Q(x + th, y + tk) · k] dt =
0
= P (ξ , η) · h + Q(ξ , η) · k

при некотором (ξ , η) ∈ [(x , y) ; (x + h , y + k)]. Равенство


(22.18) вытекает из следующей оценки:

|[F (x + h, y + k) − F (x, y)] − [P (x, y) · h + Q(x, y) · k]|


06 √ =
h2 + k 2
|[P (ξ , η) · h + Q(ξ , η) · k] − [P (x, y) · h + Q(x, y) · k]|
= √ =
h2 + k 2
|[P (ξ , η) − P (x, y)] · h + [Q(ξ , η) − Q(x, y)] · k|
= √ 6
h2 + k 2
q
2 2
6 [P (ξ , η) − P (x, y)] + [Q(ξ , η) − Q(x, y)] → 0

при (h , k) → (0 , 0) в силу непрерывности функций P и Q.


(c) ⇒ (a) Предположим противное:

∂Q(x0 , y0 ) ∂P (x0 , y0 )
∃ (x0 , y0 ) ∈ G : − 6= 0 .
∂x ∂y
22.3. Некоторые приложения формулы Грина 101

Так как частные производные непрерывны, то существует


∂Q ∂P
круг U 3 (x0 , y0 ), такой, что ∀ (x, y) ∈ U функция −
∂x ∂y
∂Q(x0 , y0 ) ∂P (x0 , y0 )
имеет тот же знак, что и − . Пусть те-
∂x ∂y
перь ∆ ⊂ U — любой треугольник. Применив к нему формулу
Грина и используя существование локальной первообразной
F : U −→ R, будем иметь
ZZ µ ¶
∂Q ∂P
0 6= − dx ∧ dy =
∂x ∂y

Z ¯
¯
= (P dx + Q dy) = F (x , y)¯¯ =0
∂∆
∂∆

в силу однозначности локальной первообразной. Получено


противоречие: 0 6= 0 . I

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

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


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