kr_kriv_pov_int
.pdfравенство ~n+(1) = ~n+(2) может быть не выполнено.
В качестве простейшего геометрического примера такой ситуации приведем поверхность ΣM , называемую листом М¨ебиуса, получающуюся пу-
тем ½закручивания“ на угол π и последующего склеивания вытянутого
прямоугольника.
Параметрические уравнения ΣM можно записать в виде:
~r = ~r(t, s) = R cos t + hs cos t sin 2t , R sin t + hs sin t sin 2t , sh cos 2t T ,
(t, s) D = {(t, s) : 0 ≤ t ≤ 2π, −1 ≤ s ≤ 1}.
Из геометрического описания листа М¼биуса ясно, что ΣM является глад- кой поверхностью (это может быть доказано и аналитически с использованием указанных параметрических уравнений ΣM ).
Кривая ` с параметрическими уравнениями
`: ~r = ~r(t) = [R cos t, R sin t, 0]T , t [0, 2π],
является окружностью радиуса R в плоскости Oxy. Эта окружность, оче-
видно, есть замкнутая кривая, которая лежит на поверхности |
ΣM (åé ñî- |
|||||||||||||||||||||||||||||||||||||||||||||||||||
ответствуют те точки ΣM , для которых s = 0). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Для поверхности ΣM |
|
|
|
|
|
|
|
|
|
2 cos t cos |
|
|
|
|
|
|
|
|
|
|
|
|
h cos t sin 2 |
|
|
|||||||||||||||||||||||||||
|
−R sin t + hs − sin t sin 2 + |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
1 |
|
|
|
t |
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
||
~r t0 = |
R cos t + hs |
cos t sin 2 + 2 sin t cos 2 |
|
|
|
|
; ~r s0 |
= |
|
h sin t sin 2 |
|
; |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h cos |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
sh sin |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
−2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|||||||
|
|
N~ = [~r t0, ~r s0 ] = |
|
Rh sin t cos(t/2) + h2s(sin2 t2− cos t)/2 |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Rh cos t cos(t/2) + h2s sin t(1 + cos t)/2 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
~ 2 |
|
2 |
|
−Rh sin(t/2) − |
2h2s sin (t/2) |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
kNk |
|
= h |
|
R + hs sin(t/2) |
|
|
|
+ h s /4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Для точек кривой ` выполнены равенства: s = 0, |
k |
~ |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
N |
= Rh и, значит, на ` |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
t |
|
T |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
~n+ = ~n+(t) = cos t cos |
|
|
, sin t cos |
|
|
|
, − sin |
|
|
|
. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
2 |
2 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
~n |
(1) |
lim ~n |
+ |
(t) = [1, |
0, |
0]T ; |
~n(2) = |
t |
|
lim |
|
|
~n |
+ |
(t) = [ |
− |
1, |
0, 0]T . |
|
|
||||||||||||||||||||||||||||||||
|
+ |
= t |
→ |
+0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
→ |
2π |
− |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
67
Таким образом, для поверхности SM и кривой ` ~n+(1) 6= ~n+(2). Отметим, что в рассмотренном примере выполняется равенство ~n+(2) =
= ~n−(1) = −~n+(1), что является частным случаем следующего общего утверждения: для любой гладкой поверхности Σ и любой гладкой замкнутой
кривой `, лежащай на Σ, возможны только два случая либо ~n+(2) = ~n+(1),
ëèáî ~n+(2) = −~n+(1). Эти две возможности разделяют гладкие поверхности в R3 на двухсторонние и односторонние. Поверхность Σ называется двухсто-
ронней, если ~n+(2) = ~n+(1) для любой гладкой замкнутой кривой `, лежащей на Σ. Если же на Σ существует гладкая замкнутая кривая `, для которой
~n+(2) = −~n+(1), то поверхность Σ называется односторонней; в частности, лист М¼биуса является односторонней поверхностью в R3.
Заметим, что в случае односторонней поверхности Σ для некоторых
кривых ` на Σ может выполняться и равенство ~n+(2) = ~n+(1) (в качестве
упражнения приведите пример такой кривой на листе М¼биуса).
Для гладкой двухсторонней поверхности Σ в R3 в каждой точке P Σ
определены два взаимно противоположных вектора единичных нормалей ~n+(P ) è ~n−(P ) = −~n+(P ), причем функции ~n+(P ) è ~n−(P ) непрерывны
в каждой точке P и непрерывны на каждой гладкой замкнутой кривой, лежащей на Σ.
В дальнейшем будем рассматривать только двухсторонние поверхно-
ñòè.
4.3. Поверхностный интеграл второго рода
Пусть заданы двухсторонняя поверхность Σ и на ней векторная функ-
öèÿ ~
f(P ). Для поверхности Σ выберем одну из двух функций, ~n+(P ) èëè ~n−(P ), задающих нормаль к Σ в каждой точке P Σ. Как было сказано, каждая из этих функций непрерывна на Σ. Поверхность Σ с заданной
на ней функцией ~n(P ) будем называть ориентированной поверхностью и обозначать Σ+ (в случае ~n(P ) = ~n+(P )) èëè Σ− (ïðè ~n(P ) = ~n−(P )).
Выберем разбиение поверхности Σ на части σi, i = 1, 2, . . . , n, точки Pi σi и рассмотрим интегральную сумму
|
|
n |
|
|
|
|
|
|
=1 |
f~(Pi ), ~n(Pi ) |
|
σi , |
|
|
|
Xi |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
||
ãäå |
σ площадь части |
σ |
поверхности Σ. Эта интегральная сумма |
|||
соответствуетi |
следующему поверхностномуi |
интегралу первого рода: |
||||
|
|
ZZ |
f~(P ), ~n(P ) dσ. |
|||
|
|
Σ |
|
|
|
|
68
Определение 4.2. Поверхностным интегралом второго рода функ-
öèè ~ |
|
|
|
|
f(P ) по ориентированной поверхности Σ+ называется число |
||||
I = ZZ |
f~(P ), ~n+(P ) dσ; |
|||
|
Σ |
|
|
|
этот интеграл обозначается обычно так: |
||||
|
= |
ZZ |
f(P ), −→) |
|
I |
|
|
~ |
dσ . |
|
|
|
Σ+
Итак, интеграл второго рода сводится к поверхностному интегралу первого рода специального вида. Из определения ясно, что
ZZ |
|
( |
) −→ |
|
= − ZZ (→− −→) |
|
Σ+ |
~ |
|
Σ− |
|
||
|
|
f |
P , dσ |
|
f , dσ |
, |
òàê êàê ~n+(P ) = −~n−(P ).
Рассмотрим вопрос о вычислении поверхностного интеграла второго
рода в том случае, когда уравнение поверхности |
Σ в декартовых коорди- |
||||
Σ |
~ |
~(1) |
|
( |
T |
|
|
) |
|||
натах имеет вид: z = g(x, y), (x, y) Dxy, è f = f |
= 0, 0, fz(x, y, z) . |
||||
Поверхность в этом случае является частью графика функции |
g x, y , |
лежащей над областью Dxy. Такое задание Σ возможно в том случае, когда Σ однозначно ортогонально проектируется на плоскость Oxy.
Отметим, что поверхность Σ, заданная указанным образом, является двухсторонней. В качестве вектора нормали к Σ можно взять один из двух
векторов, ~ |
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N+ èëè |
N−: |
|
|
|
−∂x, − |
∂y, 1 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
N~± = ± |
T |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∂y |
∂y |
|
|
|
|
|
|
|
|
|
|
|
||||
~ |
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
~ |
|
|
|
|
|
|
|
|||
Ïðè ýòîì (N+, k) = 1 в каждой точке Σ, а (N−, k) = −1. Это означает, |
||||||||||||||||||||||||||||
что вектор ~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
тупой угол. |
||
N |
+ |
образует острый угол с осью Oz, а вектор N |
− |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|||||
Таким образом, можно сказать, что выбор на Σ вектора N+ в качестве нор- |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
||
мали соответствует выбору ½верхней“ стороны Σ, а выбор N− ½нижней“ |
||||||||||||||||||||||||||||
стороны Σ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
Рассмотрим, например, поверхность |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
Σ+ (т. е. Σ с нормалью N+ íà |
|||||||||||||||||||||||||||
ней). Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~n = |
N~+ |
N~+ = |
|
|
|
|
∂g 1 2 |
|
∂g 2 −∂x, − |
∂y, 1 |
T |
|||||||||||||||||
|
|
|
|
|
. |
|||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂g |
|
∂g |
|
|
|
||
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
k k |
|
|
1 + |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
∂x |
∂y |
|
|
|
|
|
|
|
|
|
|
|
69
Òàê êàê fx = fy = 0, òî
(f~, ~n) = fz(x, y, z) "1 + |
∂x |
|
|
+ |
∂y |
# |
. |
||
|
|
∂g |
|
2 |
|
|
∂g |
2 |
−1/2 |
Поэтому в рассматриваемом случае
ZZ (f , −→) = |
ZZ |
|
|
∂g |
2 |
∂g 2 d . |
|||
~(1) |
dσ |
|
|
fz(x, y, z) |
|
|
σ |
||
Σ+ |
Σ |
s1 + |
|
+ |
|
|
|||
|
|
|
|
||||||
|
∂x |
∂y |
|
Используя формулу (4.6) для вычисления поверхностного интеграла первого рода, получим:
ZZ (f |
|
|
|
, −→) = ZZ |
|
z( |
|
|
|
( |
|
|
)) |
|
|
|
|
~(1) |
= |
|
z( |
|
|
|
) |
|
|
|
||||||||||||||
|
|
|
~(1) |
dσ |
|
|
|
|
|
f |
|
x, y, g x, y |
dx dy, |
|
|
|
f |
|
|
|
|
|
~ |
|
(4.7) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
x, y, z k, |
|
||||||||||||||||||||
Σ+ |
|
|
|
|
|
|
|
|
|
|
Dxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
в декартовых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ |
|
|
||||||||||
ãäå Σ = |
|
(x, y, z) : z = g(x, y), (x, y) Dxy . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Аналогично, если |
|
|
|
|
|
|
|
|
|
координатах поверхность |
|
|
задается |
|||||||||||||||||||||||||||||
уравнением y |
= h(x, z), |
(x, z) Dxz, в качестве Σ+ выбрана ½правая“ |
||||||||||||||||||||||||||||||||||||||||
сторона |
Σ |
è |
|
~ |
~ |
(2) |
|
|
|
|
|
|
~ |
|
òî |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
f = f |
|
|
|
= fy(x, y, z)j, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
ZZ (f |
|
|
|
, −→) = ZZ |
|
y( |
|
( |
|
|
|
) ) |
|
|
|
|
~(2) |
= |
|
y( |
|
|
|
) |
|
|
|
|||||||||||||||
|
|
|
~(2) |
dσ |
|
|
|
|
|
f |
|
x, h x, z , z dx dz, |
|
|
|
f |
|
|
|
|
|
~ |
|
(4.8) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
x, y, z j, |
|
|
|||||||||||||||||||
Σ+ |
|
|
|
|
|
|
|
|
|
|
Dxz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ |
|
|
|
|
|
(3) |
|
|
|
|
|
x = |
|||
ãäå Σ = |
|
(x, y, z) : y = h(x, z), (x, z) Dxz . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Наконец, если в декартовых координатах |
|
задана уравнением |
|
|||||||||||||||||||||||||||||||||||||||
p(y, z) |
, |
(y, z) Dyz |
, |
Σ+ |
½передняя |
сторона |
Σ |
è |
~ |
|
|
~ |
|
|
|
|
|
|
|
~ òî |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
“ |
|
|
|
|
|
|
f = f |
|
|
|
= fx(x, y, z)i, |
||||||||||||||||||||||
ZZ (f |
(3) |
, −→) = ZZ |
|
x( ( |
) |
|
|
|
|
) ) |
|
|
|
~(3) |
= |
|
x( |
|
|
) |
|
|
||||||||||||||||||||
|
|
|
~ |
|
dσ |
|
|
|
|
|
f |
p y, z , y, z , z dy dz, |
|
|
|
f |
|
|
|
|
~ |
|
(4.9) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
x, y, z i, |
|
||||||||||||||||||||||
Σ+ |
|
|
|
|
|
|
|
|
|
|
Dyz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ãäå Σ = |
|
(x, y, z) : x = p(y, z), (y, z) Dyz . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Предположим теперь поверхность |
|
|
однозначно проектируется на все |
|||||||||||||||||||||||||||||||||||||||
три координатные плоскости |
Oxy |
, |
Oxz |
è |
Oyz |
, à |
~ |
|
|
|
|
|
|
|
|
~ |
|
|
|
~ |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f = fx(x, y, z)i+fy(x, y, z)j+ |
~
fz(x, y, z)k. Выберем, например, ½верхнюю“ сторону Σ, и пусть она будет в то же самое время и ½правой“, и ½передней“ сторонами Σ. Тогда из равенств (4.7) (4.9) получим:
ZZ (f, −→) = ZZ |
x( |
) |
−→ |
|
+ ZZ ( y( |
) |
−→)+ |
|||
Σ+ |
~ |
Σ+ |
|
~ |
|
|
Σ+ |
|
~ |
|
|
|
dσ |
f |
x, y, z i, dσ |
|
|
f |
x, y, z j, dσ |
70
|
+ ZZ (fz(x, y, z)k, |
−→) = |
ZZ |
|
x |
( |
) |
|
+ |
|
|
|
|
~ |
dσ |
|
f |
|
p |
y, z , y, z |
dy dz |
|
|
|
Σ+ |
|
|
Dyz |
|
|
|
|
|
|
|
|
ZZ |
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
fy x, h(x, z), z |
dx dz + |
|
fz(x, y, g(x, y))dx dy. |
(4.10) |
||||||
|
Dxz |
|
|
Dxy |
|
|
|
|
|
|
|
Если же поверхность Σ не обладает указанными свойствами, но может быть разбита на конечное число частей Σ(k), каждая из которых однознач-
но проектируется на координатные плоскости, то поверхностный интеграл
второго рода может быть вычислен как сумма интегралов по всем частям Σ(k) (поскольку поверхностный интеграл второго рода имеет свойство ад-
дитивности); для каждой Σ(k) интеграл в этом случае вычисляется по формуле (4.10).
4.4. Теорема Гаусса-Остроградского
Если поверхность Σ замкнута, то соответствующий поверхностный интеграл второго рода обычно обозначается так:
ZZ~ −→
(f, dσ).
Σ+
Замкнутой поверхностью является, например, граница выпуклой области â R3. Отметим, что замкнутая поверхность является двухсторонней. По-
верхностный интеграл второго рода по замкнутой поверхности может быть сведен к тройному интегралу (аналогично тому, что криволинейный интеграл второго рода по замкнутой кривой сводится к двойному интегралу в соответствии с теоремой Грина). Для формулировки соответствующего утверждения целесообразно ввести следующее определение.
|
Определение 4.3. Пусть (x, y, z) декартовы координаты в R3 è |
|||
~ |
~ |
~ |
~ |
непрерывно дифферен- |
f(x, y, z) = fx(x, y, z)i + fy(x, y, z)j + fz(x, y, z)k |
|
цируемая в точке P (x, y, z) векторная функция. Дивергенцией функции
~
f в точке P называется выражение
div ~ |
∂fx |
|
∂fy |
|
∂fz |
|
|
f = |
|
+ |
|
+ |
|
|
, |
∂x |
∂y |
|
∂z |
где все частные производные вычислены в P .
Теорема 4.2. (Теорема Гаусса-Остроградского). Пусть Ω за-
мкнутая область в R3, ограниченная гладкой замкнутой поверхностью Σ, а Σ+ поверхность Σ, ориентированная так, что в каждой ее точ- ке выбрана нормаль ~n, являющаяся внешней по отношению к области Ω.
71
Пусть также функция ~ |
|
|
3 |
→ R |
3 непрерывно дифференцируема на |
||
f(P ) : R |
|
|
|
||||
области Ω. Тогда |
(f, |
−→) = |
|
|
|
||
ZZ |
ZZZ |
|
|||||
|
|
|
|
|
|||
|
~ |
|
|
|
|
div ~ |
|
|
dσ |
|
|
f dV. |
(4.11) |
||
|
|
|
|
||||
Σ+ |
|
|
|
|
Ω |
|
Доказательство. Любая ограниченная область с гладкой границей может быть разбита на конечное число правильных областей. Область
Ω назовем правильной, если она
является правильной одновременно относительно плоскостей Oxy,
Oxz и Oyz (области, правильные
относительно координатных плоскостей, определены в разд. 2.2). Правильной будет, например, любая выпуклая область с гладкой границей. Докажем сначала теорему Гаусса-Остроградского для случая, когда Ω правильная
относительно плоскости Oxy об-
ласть и |
~ |
~(1) |
|
~ |
|
|
|
f = f |
(P ) = fz(x, y, z)k. |
||
Íà |
ðèñ. |
4.1 изображены области |
|||
Ω, |
Dxy |
è |
части |
Σ+(1), Σ+(2), Σ+(3) |
(с указанными на них нормалями), на которые в этом случае
z . . |
|
|
~n. |
+(2) |
|
|
|
|
|
. |
|
|
. . . . |
. |
|
||
|
. |
|
|
|
|
|
|
|
. |
|
|
|
. |
|
|
|
|
|
Σ+(2) . |
|
|||
|
|
|
|||
|
|
|
|
. |
|
|
Σ+(3) |
Ω |
|
~n+(3) |
|
|
. . |
. |
|
|
|
|
. |
|
. |
|
|
|
. |
|
|
|
|
|
Dxy |
|
. |
|
|
|
. |
|
|
||
|
|
|
|
||
|
|
|
|
|
|
O |
. |
. |
|
. |
. |
|
..... |
||||
|
. . . . |
|
. |
||
|
. |
|
|
. |
y |
x. . |
|
(1) |
|
~n(1) |
|
|
Σ+ |
|
.. |
+ |
Ðèñ. 4.1
может быть разбита граница Σ+ области Ω. Естественно назвать ней границей Ω, Σ(2)+ верхней границей, а Σ(3)+ боковой.
По свойству аддитивности поверхностного интеграла
ZZ |
( |
|
−→) = |
( |
|
−→) + |
(f , −→) + |
( |
|
−→) |
|
|
~ |
ZZ |
|
~(1) |
ZZ |
~(1) |
|
ZZ |
~(1) |
|
|
|
|
f, dσ |
|
f , dσ |
|
dσ |
|
f , dσ . |
|||
|
|
|
|
|
Σ(1)+ íèæ-
(4.12)
Σ+ |
(1) |
(3) |
(3) |
|
Σ+ |
Σ+ |
Σ+ |
Рассмотрим поверхностный интеграл по Σ+(1) |
. Уравнение Σ(1) имеет |
|||||
|
|
|
~ (1) получим: |
|||
âèä: z = g1(x, y), (x, y) Dxy. Для нормали N |
|
|
||||
N~ (1) = ± ∂x1 , |
∂y1 , −1 |
T |
|
|||
. |
||||||
|
∂g |
|
∂g |
|
|
|
72
Так как внешняя по отношению к Ω нормаль Σ(1) образует с осью Oz тупой угол, то
|
|
|
~ |
(1) |
|
|
|
|
|
|
|
|
∂g1 |
|
|
2 |
|
|
|
|
|
|
|
∂g1 |
|
2 −1/2 |
|
|
|
∂g1 |
|
|
|
|
∂g1 |
|
|
T |
|||||||||||||||||||||||||
(1) |
|
|
N+ |
|
|
|
"1 + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|||||||||||||||||||||||||
~n+ = |
|
|
|
|
|
= |
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
, |
|
|
||||||||||||||||
|
|
N~ |
(1) |
|
|
∂x |
|
|
|
|
|
|
∂y |
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
∂y |
|
|
|
|||||||||||||||||||||||||||||||
k |
|
+ |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂g1 |
|
2 |
|
|
|
|
|
|
|
∂g1 |
|
|
|
2 |
|
|
−1/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
−fz(x, y, z) "1 + |
+ |
|
# |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
è (f~(1), ~n+ ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. Поэтому в соот- |
|||||||||||||||||||||||||||||||||||||||||||||||
|
∂x |
|
∂y |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
ветствии с формулой (4.5) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
~(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂g1 |
|
2 |
|
|
|
|
|
|
∂g1 |
|
|
|
|
2 |
−1/2 |
|
|
|||||||||||||||||
|
dσ |
|
|
|
|
|
|
f |
x, y, z |
) "1 + |
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
# |
|
|
dσ |
= |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
∂y |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
(f , −→) = − |
|
|
(1) |
z( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
ZZ |
|
|
|
|
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Σ+ |
|
|
|
|
|
|
Σ |
= − ZZ fz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
x, y, g1(x, y) dS. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.13) |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Dxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Аналогично для поверхности Σ+(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
N~ (2) = ± |
∂g |
|
|
|
|
|
∂g |
−1 |
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
, |
|
2 |
, |
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂x |
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
(2) |
|
|
|
|
|
|
|
∂g2 |
|
2 |
|
|
∂g2 |
|
|
|
|
2 |
|
|
|
−1/2 |
|
|
|
|
|
∂g2 |
|
|
|
|
|
|
|
∂g2 |
|
|
|
T |
|
|
|||||||||||||||||||||
|
|
"1 + |
|
|
|
+ |
|
# |
|
|
|
|
|
− |
|
, − |
, 1 ; |
|
|
||||||||||||||||||||||||||||||||||||||||||||
~n+ |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
∂x |
|
∂y |
|
|
|
|
|
|
∂x |
|
∂y |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂g2 |
|
|
|
2 |
|
|
|
|
|
∂g2 |
|
2 −1/2 |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
(f~(1), ~n+ ) = fz(x, y, z) "1 + |
|
|
|
+ |
|
|
|
|
|
# |
|
|
|
; |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
∂x |
|
∂y |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
~(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂g2 |
|
|
|
2 |
|
|
|
|
|
|
∂g2 |
|
|
|
2 |
−1/2 |
|
|
||||||||||||||||||
dσ |
|
|
|
|
|
f |
z( |
x, y, z |
) "1 + |
|
|
|
|
|
|
+ |
|
|
|
|
|
# |
|
|
dσ |
= |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
∂y |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
(f , −→) = |
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
ZZ |
|
|
|
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
Σ+ |
|
|
|
|
|
Σ |
|
|
= ZZ fz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
x, y, g2(x, y) dS. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.14) |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Dxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
(3) ортогональна вектору ~ |
||||||||||||||||||||||||||||||
Наконец, на поверхности Σ+ |
|
|
|
нормаль |
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k. |
||||||||||||||||||||||||||||||||
Значит, (f (1), ~n+(3)) = 0 è |
|
|
(f |
|
|
|
, −→) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
dσ . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.15) |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
73
Таким образом, из равенств (4.12) (4.15) получаем:
(f , −→) = |
ZZ |
fz x, y, g2(x, y) |
− |
fz |
|
|
|
1( |
|
|
) |
|
|
|
|||||||||
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
~(1) |
dσ |
Dxy |
|
|
|
|
|
|
|
|
|
|
x, y, g x, y |
|
|
(4.16) |
|||||||
Σ+ |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dS. |
|||||||||
С другой стороны, div ~(1) |
|
∂fz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
f |
= |
∂z |
|
, и по формуле вычисления тройного |
|||||||||||||||
интеграла в декартовых координатах получим: |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
ZZZ divf~(1)dV = ZZZ |
|
∂zz dz dy dz = ZZ dS |
|
g2(x,y) |
z |
(∂z |
)dz = |
||||||||||||||||
|
|
Z |
|
∂f |
|||||||||||||||||||
|
|
|
|
∂f |
|
|
|
|
|
|
|
|
|
|
|
|
|
x, y, z |
|
|
|||
Ω |
= ZZ |
|
Ω |
|
|
|
|
|
|
|
|
Dxy |
|
g1(x,y) |
|
|
|
|
|
|
|||
|
fz |
x, y, g1 |
(x, y) |
− fz |
x, y, g1 |
(x, y) dS. |
(4.17) |
||||||||||||||||
|
Dxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь из равенств (4.16) и (4.17) следует соотношение (4.11) для правиль-
|
|
|
|
|
|
|
|
|
|
|
~ ~(1). |
|
|
||||
ной относительно плоскости Oxy области Ω и f = f |
|
|
|||||||||||||||
|
Точно так же устанавливается равенство (4.11) и в тех случаях, ко- |
||||||||||||||||
ãäà |
Ω |
правильна относительно |
Oxz |
è |
~ ~(2) |
|
|
|
~ |
или когда |
Ω |
||||||
|
|
|
|
|
|
|
|
f = f |
= fy(x, y, z)j |
|
|||||||
правильна относительно |
Oyz |
è |
~ ~(3) |
|
|
|
|
~. |
|
|
|||||||
|
|
|
|
|
|
|
f = f |
|
= fx(x, y, z)i |
|
|
||||||
|
Поэтому для правильной области Ω справедливы равенства: |
|
|||||||||||||||
|
|
|
ZZ (f |
, −→) = |
ZZZ |
|
|
|
; |
|
|
||||||
|
|
|
|
|
~(1) |
|
dσ |
|
|
div ~ |
(1) |
dV |
|
|
|
||
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
||||
|
|
|
Σ+ |
|
, −→) = |
|
Ω |
|
|
|
|
|
|
|
|||
|
|
|
ZZ (f |
ZZZ |
|
|
|
|
|
|
|||||||
|
|
|
|
|
~(2) |
|
dσ |
|
|
div ~ |
(2) |
dV, |
|
|
|||
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
||||
|
|
|
Σ+ |
|
, −→) = |
|
Ω |
|
|
|
|
|
|
|
|||
|
|
|
ZZ (f |
ZZZ |
|
|
|
|
|
|
|||||||
|
|
|
|
|
~(3) |
|
dσ |
|
|
div ~ |
(3) |
dV. |
|
|
|||
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
||||
|
|
|
Σ+ |
|
|
|
|
|
Ω |
|
|
|
|
|
|
|
|
Òàê êàê ~ ~(1) |
~(2) |
|
~(3), то, складывая эти три равенства, получим: |
||||||||||||||
|
|
f = f |
+ f |
+ f |
|
|
|
ZZZ |
|
|
|
|
|
|
|||
|
|
|
|
ZZ (f, −→) = |
|
|
|
|
|
|
|||||||
|
|
|
|
|
~ |
dσ |
|
|
div ~ |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
fdV. |
|
|
|
|||||
|
|
|
|
Σ+ |
|
|
|
|
Ω |
|
|
|
|
|
|
|
74
Таким образом, утверждение теоре- |
|
|
|
z. . |
|
|
|
|
. |
|
|
|
|||||||
|
|
|
|
|
|
|
|
. |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
мы Гаусса-Остроградского доказано |
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|||||
|
|
|
|
|
Σ |
(1) Ω1 |
|
. Ω2 |
. Σ |
(2) |
|||||||||
для правильной области Ω. |
|
|
|
|
|
|
|
+ |
|
. |
. . |
. . |
+ |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
• |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
.. .. |
|
|||||
Пусть теперь область Ω разбита |
|
|
|
|
|
|
|
|
~n+(2) |
|
. ~n+(1) |
|
|
||||||
гладкой поверхностью на две пра- |
|
|
|
|
|
|
|
|
|
.. |
|
. |
|
|
|||||
|
|
|
O |
|
|
|
|
|
|
|
|
. |
|
||||||
|
|
|
|
|
|
|
|
|
... |
|
|||||||||
вильные области: Ω1 è Ω2 (ðèñ. 4.2). |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|||||
|
|
x. |
|
|
|
|
|
|
|
|
y |
|
|||||||
Общую границу Ω и Ω1 обозначим |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ(1), а общую границу Ω и Ω2 Σ(2). |
|
|
|
|
|
|
Ðèñ. 4.2 |
|
|
|
|
||||||||
Тогда |
ZZZ divf~dV = ZZZ divf~dV + ZZZ divf~dV ; |
|
|
(4.18) |
|||||||||||||||
|
|
Ω |
|
|
Ω1 |
(f, −→) + |
Ω2 |
|
( |
|
|
−→); |
|
|
|
|
|||
|
|
ZZZ |
|
= |
ZZ |
|
|
|
|
|
|
|
|||||||
|
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
div ~ |
|
|
|
~ |
dσ |
|
|
|
~ |
|
|
|
|
(4.19) |
||
|
|
|
fdV |
|
|
|
|
|
|
f, dσ |
|
|
|
||||||
|
|
Ω1 |
|
|
(1) |
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ+ |
( |
|
−→) + |
+ |
|
(f, −→) |
|
|
|
|
|
|||
|
|
ZZZ |
|
= |
|
ZZ |
|
|
|
|
|
|
|||||||
|
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
div ~ |
|
|
|
~ |
|
|
|
|
~ |
dσ , |
|
|
(4.20) |
|||
|
|
|
fdV |
|
|
f, dσ |
|
|
|
|
|
|
|
||||||
|
|
Ω2 |
|
|
(2) |
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ+ |
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
ãäå +(1) |
ориентированная поверхность с нормалью ~n+(1), внешней по от- |
||||||||||||||||||
ношению к Ω1, à +(2) |
тоже ориентированная поверхность , но с нормалью |
||||||||||||||||||
~n+(2), внешней по отношению к Ω2. ßñíî, ÷òî ~n+(1) = −~n+(2) , и поэтому |
|
||||||||||||||||||
|
|
|
( |
|
−→) = |
|
|
(f, −→) |
|
|
|
|
|
|
|
|
|
||
|
|
|
ZZ |
|
|
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
− |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f, dσ |
|
|
|
dσ . |
|
|
|
|
|
|
|
|
|||
|
|
|
(1) |
|
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
Складывая теперь равенства (4.19) и (4.20), получим из (4.18) формулу (4.11) для рассматриваемой области Ω. Ясно, что аналогичные рассуж-
дения применимы и в случае, когда Ω разбита на любое конечное число правильных областей.
4.5. Интегрирование по частям в R3
Теорема Гаусса-Остроградского позволяет получить формулу, являю- щуюся в случае пространства R3 аналогом формулы интегрирования по
частям для обычного определенного интеграла. Пусть |
Ω ограниченная |
|||||||||||||||
область в |
R |
3 |
с гладкой границей |
Σ |
è |
g(P ) |
è ~ |
|
~ |
~ |
~ |
|
||||
|
|
|
|
|
|
f(P ) = fxi + fyj + fzk |
|
|||||||||
непрерывно дифференцируемые в Ω функции. Тогда |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
div(gf) = |
|
|
|
|
|
|
|
||||
|
|
|
= |
∂(gfx) |
+ |
∂(gfy) |
+ |
∂(gfz) |
= |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
∂x |
∂y |
|
|
|
∂z |
|
|
|
|
75
= ∂xfx + |
∂yfy + |
∂z fz + g |
∂xx |
+ |
|
|
∂g |
∂g |
∂g |
∂f |
|
|
|
|
~ |
|
~ |
|
|
= (gradg, f) + gdivf. |
Используя равенство (4.11), получим
ZZZ
∂yy |
+ |
∂zz |
= |
∂f |
|
∂f |
|
|
~ |
|
|
|
|
gdivfdV = |
|
||
|
Ω |
|
||
= ZZZ div(gf~)dV − ZZZ (gradg, f~)dV = |
|
|||
Ω |
Ω |
|
||
= − ZZZ (gradg, f~)dV + ZZ (gf~, |
|
) = |
|
|
dσ |
|
|||
Ω |
Σ+ |
|
||
= − ZZZ (gradg, f~)dV + ZZ g(f~, ~n+)dσ = |
|
|||
Ω |
Σ |
|
||
= − ZZZ |
(gradg, f~)dV + ZZ gfndσ, |
(4.21) |
||
Ω |
Σ |
|
||
~ |
~ |
|
|
|
ãäå fn = (f, ~n+) проекция вектора f на направление внешней для области
Ω нормали ~n+.
Формула (4.21) называется формулой интегрирования по частям в R3.
4.6. Теорема Стокса. Ротор
Рассмотрим в R3 гладкую ориентированную поверхность Σ+, целиком лежащую в ограниченной области Ω. Обозначим ` замкнутую кривую в R3,
являющуюся краем 1 поверхности Σ+ , и будем считать ` гладкой кривой. Зададим на ` направление, согласованное с ориентацией Σ+ : в качестве направления на ` возьмем то из двух возможных направлений, при движении в котором по ` поверхность Σ остается ½слева“, а вектор ~n+ нормали íà Σ+ направлен ½вверх“. Так ориентированную кривую ` обозначим `+.
На рис. 4.3 изображены область Ω, поверхность Σ+ и кривая `+.
1 Сформулировать точное определение понятия ½край гладкой поверхности “ не представляется возможным в рамках данного пособия, и поэтому мы вынуждены опираться далее на наглядные геометрические представления.
76