Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

kr_kriv_pov_int

.pdf
Скачиваний:
12
Добавлен:
09.02.2015
Размер:
675.9 Кб
Скачать

равенство ~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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

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)

 

 

fz(x, y, z)

 

 

σ

Σ+

Σ

s1 +

 

+

 

 

 

 

 

 

 

∂x

∂y

 

Используя формулу (4.6) для вычисления поверхностного интеграла первого рода, получим:

ZZ (f

 

 

 

, −→) = ZZ

 

z(

 

 

 

(

 

 

))

 

 

 

 

~(1)

=

 

z(

 

 

 

)

 

 

 

 

 

 

~(1)

 

 

 

 

 

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)

 

 

 

 

 

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(

 

 

)

 

 

 

 

 

~

 

 

 

 

 

 

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(

)

−→)+

Σ+

~

Σ+

 

~

 

 

Σ+

 

~

 

 

 

f

x, y, z i, dσ

 

 

f

x, y, z j, dσ

70

 

+ ZZ (fz(x, y, z)k,

−→) =

ZZ

 

x

(

)

 

+

 

 

 

~

 

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 ~

 

 

 

 

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σ

 

 

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

 

 

 

 

 

 

 

 

 

f

x, y, z

) "1 +

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

#

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∂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

 

 

 

 

 

 

 

f

z(

x, y, z

) "1 +

 

 

 

 

 

 

+

 

 

 

 

 

#

 

 

=

 

 

 

 

 

 

 

 

 

 

 

∂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)

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)

 

 

 

div ~

(1)

dV

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

Σ+

 

, −→) =

 

Ω

 

 

 

 

 

 

 

 

 

 

ZZ (f

ZZZ

 

 

 

 

 

 

 

 

 

 

 

~(2)

 

 

 

div ~

(2)

dV,

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

Σ+

 

, −→) =

 

Ω

 

 

 

 

 

 

 

 

 

 

ZZ (f

ZZZ

 

 

 

 

 

 

 

 

 

 

 

~(3)

 

 

 

div ~

(3)

dV.

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

Σ+

 

 

 

 

 

Ω

 

 

 

 

 

 

 

Òàê êàê ~ ~(1)

~(2)

 

~(3), то, складывая эти три равенства, получим:

 

 

f = f

+ f

+ f

 

 

 

ZZZ

 

 

 

 

 

 

 

 

 

 

ZZ (f, −→) =

 

 

 

 

 

 

 

 

 

 

 

~

 

 

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 ~

 

 

 

~

 

 

 

~

 

 

 

 

(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~,

 

) =

 

 

Ω

Σ+

 

= − 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]