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

UML_4256

.pdf
Скачиваний:
26
Добавлен:
01.06.2015
Размер:
6.64 Mб
Скачать

§ 9. Повторные операции. Выражения основных операций поля в криволинейных координатах

 

f (M ) и векторное

 

 

 

Если скалярное

 

a(M ) – дважды

дифференцируемые поля,

то grad f и rot

a

 

– дифференцируемые

векторные поля, а div a – дифференцируемое скалярное поле. Поэтому возможны следующие повторные операции:

grad div

 

= (

 

); rot grad f = × f ;

rot rot

 

= ×( ×

 

) ;

a

a

a

a

div grad f = ( f ); div rot

 

= ( ×

 

) .

 

(1)

a

a

 

Можно убедиться, что две из приведенных в (1) пяти операций

тождественно обращаются в нуль.

Это

rot grad f = × U 0

(формально как векторное произведение двух одинаковых векторов) и div rot a = ( ×a) 0 (формально как смешанное произведение, в

котором два сомножителя одинаковые), поэтому остаются только три повторные операции.

Запишем основные операции поля (градиент, дивергенцию и ротор) в криволинейных координатах, которые мы ввели в §8 гл. 11. Пусть (x, y, z) – декартовы координаты точки M , а (u,v, w)

криволинейные координаты этой же точки. Связь между ними дается

векторной функцией векторного аргумента

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = g1 (u,v, w), y = g2 (u,v, w), z = g3 (u,v, w),

(2)

удовлетворяющей условиям (2) §6 гл. 11.

 

 

 

 

 

 

 

 

 

 

Единичные векторы (

 

,

 

,

 

) криволинейной системы координат

 

 

 

eu

ev

ew

определяются формулами:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

g

 

g

 

 

 

g

 

 

 

 

 

 

1

 

 

g

g

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eu =

 

 

 

1

,

 

 

2

,

 

 

3

, ev =

 

 

 

 

 

1 ,

 

2

,

 

3

,

 

 

 

 

 

 

 

 

Hv

 

 

 

 

 

 

Hu

u

 

 

u

 

 

 

u

 

 

 

 

 

v

v

 

v

 

 

 

 

 

1

 

 

g

 

 

g

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ew =

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

,

 

 

2

,

 

 

, где Hu ,

Hv ,

Hw

– коэффициенты Ламе.

(3)

 

 

 

 

 

 

 

 

 

 

 

Hw

w

 

 

w

 

 

w

 

 

 

 

 

 

 

 

f (M )

 

 

функцией криволинейных

 

 

 

 

Считая

 

 

скалярное

поле

 

 

 

 

координат, а криволинейную систему (3) ортогональной, найдем частные производные поля. По правилу дифференцирования сложной функции имеем

f =

f g1 +

f g2 +

f

g3 = H

 

 

u grad f

= H

 

пр

grad f ;

u

e

u

u x u y u z u

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

441

 

 

 

 

 

 

 

f

= f g1 + f

g2

+

f g3

= H

 

 

 

v grad f = H

пр grad f ;

v

e

 

v x v y v

 

z v

 

 

 

 

 

 

 

 

 

 

v v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

=

f

g1 + f

g2

+

f

g3

= Hw

 

 

w grad f = Hw прw grad f . (4)

 

e

 

 

 

w

x

 

w

y

w

 

z

w

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поясним, прu

– проекция на U .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Умножая первое уравнение равенств (4) на

eu

, второе на

ev

,

третье на

ew

и складывая, получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

f

 

u +

 

1

f

 

v +

1

 

f

 

 

w = grad f .

(5)

 

 

 

 

e

e

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hu u

 

Hv v

 

Hw w

 

 

 

 

 

Равенство (5) и дает выражение градиента в произвольной ортогональной криволинейной системе координат.

Аналогично можно получить формулы для дивергенции и ротора. Из-за громоздкости выкладок запишем их без вывода

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

(a H

H

w

)

 

 

 

 

(a H

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

div a =

 

 

 

 

 

 

 

 

 

 

u

v

 

 

 

 

+

v

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hu Hv Hw

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

v

 

 

 

 

1

 

(a

H

 

 

)

 

 

(a H

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rot a =

 

 

 

 

 

 

 

 

w

 

 

w

 

 

 

v

 

 

v

 

eu +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Hv Hw

 

v

 

 

 

 

 

 

 

 

w

 

 

 

 

 

 

 

 

 

 

1

 

(a H

)

 

 

(a

H

 

)

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

u u

 

 

 

 

 

w

 

 

w

ev

+

 

 

 

 

 

 

 

 

 

 

 

 

 

w

 

 

 

 

 

 

 

 

 

Hu Hv

 

 

Hu Hw

 

 

 

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

Hw ) + (aw Hu Hv ) . (6)

w

(a H

 

)

 

(a H

u

)

 

 

 

 

 

v

v

 

u

 

ew. (7)

 

v

 

 

u

 

 

 

 

 

 

Запишем формулы для grad f , div a и rot a в цилиндрической и

сферической системах координат. Значения коэффициентов Ламе см. в §8 гл. 11.

grad f = ρf eρ + ρ1 ϕf eϕ + fz ez ;

 

 

 

 

 

 

1 (ρ aρ )

 

1

 

aϕ

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

div a =

+

+

z

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ

 

 

 

ρ

 

 

 

ρ

 

ϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

a

 

 

 

aϕ

 

 

 

 

 

 

 

 

aρ

 

 

 

 

a

 

 

 

 

 

1

 

(ρ aϕ )

 

1

 

aρ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rot a =

 

 

 

 

 

 

 

 

z

 

 

 

eρ +

 

 

 

 

 

 

 

 

 

 

z eϕ +

 

 

 

 

 

 

 

 

ez ;

 

 

 

 

 

 

 

 

z

 

 

 

z

 

 

 

 

 

ρ

ρ

ρ

 

ϕ

 

 

 

 

 

 

ρ ϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ρ

 

 

 

 

 

grad f

=

f

 

r +

 

 

1

 

 

 

 

f

 

 

 

ϕ +

 

1

 

f

 

 

θ ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

e

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

r sinθ ϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r θ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

(r2 ar ) +

1

 

 

 

 

 

 

aϕ

 

 

 

 

 

 

 

 

1

 

 

(a

sinθ)

 

 

 

 

 

 

 

 

div a =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

θ

 

 

 

;

 

 

 

 

 

 

 

 

r2

r

r sinθ

 

 

ϕ

 

 

r sinθ

 

θ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

442

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

(sinθ aϕ )

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rot a =

 

 

 

 

 

 

 

 

 

+

θ

er +

 

 

 

 

 

 

 

 

 

θ

 

 

 

ϕ

 

 

 

 

 

 

 

 

r sinθ

 

 

 

 

 

 

 

 

 

 

(8)

 

 

 

 

 

 

 

 

 

 

 

1 ( aϕr)

 

 

 

 

 

1

 

a

(a r)

 

 

 

 

1

a

 

 

 

 

 

 

 

 

+

 

 

 

r

 

θ

 

eϕ +

 

 

 

 

 

 

 

r eθ .

r

 

r

 

 

 

 

 

r

r sinθ

 

 

 

θ

 

 

 

r

 

 

 

ϕ

§ 10. Формула Грина

Область E называется односвязной, если любой замкнутый контур, гомеоморфный окружности и целиком лежащий в E , путем непрерывной деформации можно стянуть в точку, принадлежащую области E . В противном случае область называется многосвязной (см. на рис. не заштрихована).

Y Y

0

 

 

 

X

0

 

 

 

X

Многосвязная

 

 

Односвязная

 

Теорема (Грин). Пусть функции P(x, y)

и Q(x, y)

непрерывны в

замыкании

 

области

E R2 и имеют

непрерывные частные

E

производные в области E . Если интегралы по области E от каждой из

частных производных функций P(x, y)

и Q(x, y) существуют, то

справедлива формула Грина

 

 

 

 

 

 

 

 

Q

P

 

Pdx + Qdy.

(1)

 

 

∫∫

dxdy =

 

 

E

x

y

 

E

 

 

 

Здесь E – граница

области

 

E ,

которая

обходится в

положительном направлении.

 

 

 

 

 

Доказательство. Докажем теорему только для частного случая, когда область E с кусочно-гладкой границей является односвязной и элементарной как в направлении оси Y , так и в направлении оси X .

443

P

Так как y непрерывна, то все требования, необходимые для

P

сведения двойного интеграла ∫∫E y dxdy к повторному, выполняются.

Поэтому имеем

∫∫

P

 

b

y2 ( x) P

b

b

 

y

dx dy = dx

 

 

 

dy =P(x, y2 (x)) dx P(x, y1 (x)) dx =

 

E

 

a

y1 ( x) y

a

a

 

= − P(x, y) dx P(x, y) dx = − P(x, y)dx.

(2)

 

 

BA

 

 

 

AB

 

 

E

 

 

(Сумму двух определенных интегралов по параметру x мы

представили как криволинейный интеграл второго рода).

 

Итак, ∫∫

Pdxdy = − P(x, y)dx.

 

(2')

 

 

 

E

y

 

 

 

E

 

 

 

Аналогично можно доказать, что

 

 

 

 

 

 

 

∫∫

Q

dxdy = Q(x, y)dy.

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

E

x

E

 

 

Вычитая из (3) (2), получим (1). Теорема доказана.

Замечание 1. Доказательство теоремы Грина в общем случае следует из возможности разбиения области E на две части: элементарную область с кусочно-гладкой границей (для нее теорема доказана) и область, не удовлетворяющую этим требованиям, но ее вклад можно сделать как угодно малым. Ввиду громоздкости этого доказательства, мы его опускаем.

Замечание 2. Пусть a = P(x, y)i + Q(x, y) j + 0 k – векторное поле

в области

 

 

 

 

 

 

 

Q

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E . Найдем rot a =

k. Тогда формулу Грина (1)

 

 

 

 

 

 

 

 

 

x

y

 

 

 

можно записать в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫rot a k dS = a dr.

 

 

 

(1 )

 

 

E

E

 

 

 

 

 

 

y3

 

 

Пример 1. Проверить формулу Грина для функций P =

 

,

 

x2

+ y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

, E ={(x, y) : r < x2 + y2 < R}

 

 

 

 

 

 

Q =

 

 

 

 

 

 

 

x2 + y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

444

 

 

 

 

 

 

 

 

 

Решение.

 

2x 3y2 (x2 + y2 ) + 2 y4

 

 

Q

P

 

dxdy =

∫∫

x

dxdy = ∫∫

(x

2

+ y

2

)

2

E

 

y

E

 

 

 

 

 

x = ρ cosϕ

 

 

R

 

 

2π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

y = ρsinϕ

 

= −ρ2d ρ

(2cosϕ + 3ρ3 sin2 ϕ 2ρ3 sin4 ϕ) dϕ =

 

 

 

I = ρ

 

 

r

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

ρ2

3

π ρ3d ρ

 

3

π(R2 r2 ).

 

 

 

 

 

 

 

= −

= −

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычислим теперь криволинейный интеграл правой части (1)

 

 

P dx +Qdy =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

y3dx

+

dy

=

 

x = ρ cost,

dx = −ρsin t dt

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

x2 + y2

 

x2 + y2

 

 

 

y = ρsin t,

dy = ρ cost dt

 

 

 

 

 

 

 

 

1

 

 

2π

 

 

 

 

 

 

 

 

1

 

2π

 

 

 

3

 

 

 

 

=

 

 

 

(R3 sin4 t + cost) dt

 

 

(r3 sin4 t + cost) dt =

 

π(r2

R2 ).

 

 

R

r

4

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

Как видно, формула Грина выполняется.

Упражнение. Решить задачу примера 1, если r = 0.

§ 11. Формула Стокса. Инвариантное определение ротора

Теорема (Стокс). Пусть в области G R3 задано непрерывно дифференцируемое векторное поле

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

ипусть S G – двусторонняя положительно ориентированная гладкая

поверхность, а

r

=

r

(u,v), (u,v) E R2

– ее векторное представление.

Тогда имеет место формула

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

dr

= ∫∫rot a ndS .

(1)

ГS

Здесь

 

=

 

 

ru

×

rv

 

 

= (cosα,cos β,cosγ )

(2)

n

 

 

 

×

 

 

 

 

 

 

 

 

r

r

 

 

 

 

 

 

 

 

 

u

 

v

 

 

– единичная нормаль к поверхности S , задающая ее ориентацию, Г – граница поверхности S , обходимая в положительном направлении, то

есть против стрелки часов со стороны n . В развернутом виде (1) перепишется так:

445

P dx +Qdy + R dz =

Г

 

R

Q

 

R

P

 

Q

P

 

= ∫∫

y

cosα

x

cos β +

x

cosγ dS.

(1 )

S

 

z

 

 

y

 

 

y

 

 

Доказательство. Согласно теореме 3 §3 данную поверхность S можно разрезать на части, которые задаются явными функциями. Докажем теорему для части поверхности, которая может быть задана каждой из трех функций:

x = x( y, z) , ( y, z) Syz ; y = y(x, z) , (x, z) Sxz ; z = z(x, y) ,

(x, y) Sxy (2) (см. (4) §6). Рассмотрим первый интеграл в левой части

P(x, y, z) dx . Подставляя

z = z(x, y) из (2), мы

сведем его к

(1 )

Г

 

 

 

криволинейному интегралу по границе области Sxy

– проекции

поверхности S на плоскость XOY :

 

 

P(x, y, z) dx =

P(x, y, z(x, y)) dx.

(3)

ГSxy

Для поверхности, заданной уравнением z = z(x, y) , единичная

 

 

 

 

 

 

 

z

 

zy

 

1

 

 

 

 

 

 

 

 

 

 

 

нормаль (2) запишется так: n = (cosα,cos β

,cosγ ) =

x

,

 

,

 

 

, где

D

D

 

 

 

 

 

 

 

 

 

 

D

 

D =

2

2

 

 

 

 

 

 

 

 

1+ zx

+ zy .

 

 

 

 

 

 

 

(2 )

К правой части (3) применим формулу Грина. Пользуясь правилом дифференцирования сложной функции, получим

P dx =

 

P

+

P

 

z

 

(4)

P(x, y, z(x, y)) dx = − ∫∫

dxdy .

Г

Sxy

Sxy

y

 

z

 

y

 

Используя теперь формулу (11) §7, сведем двойной интеграл в (4) к поверхностному по поверхности S .

P dx = − ∫∫

 

P

+

P

 

 

 

 

 

 

 

 

z dx dy =

 

 

 

 

Г

 

Sxy

y

 

z

y

 

 

 

 

 

 

P

+

P

z

 

 

 

 

P cos

γ

 

 

= −∫∫

cosγ dS = −∫∫

P cos β dS.

S

y

 

z

y

 

 

S

y

 

z

 

 

 

 

 

P cosγ

 

 

 

 

 

(5)

Итак, P dx = −∫∫

P cos β dS .

 

 

Г

 

S

 

y

 

 

 

z

 

S на

 

 

XOZ и

Аналогично, проектируя

поверхность

плоскость

YOZ , получим еще два интеграла:

446

Q dy = ∫∫

 

Q

cosγ

Q

cosα

 

 

 

x

z

dS ,

 

Г

S

 

 

 

 

 

R dz = ∫∫

 

R cosα

R cos β

 

(6)

 

dS .

Г

S

 

y

 

x

 

 

 

Складывая

(5)

 

 

 

 

Что и требовалось

 

и (6), получим (1 ) или (1).

доказать.

Замечание. Формула Стокса (1) справедлива и в том случае, когда

поверхность S кусочно-гладкая.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример.

Найти поток вихря

поля

a

= yi

z2 j + y3 k

через

верхнюю половину эллипсоида

x2

 

+

y2

+

z2

=1.

 

 

 

 

 

 

 

 

a2

 

b2

c2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

Найдем

 

вихрь

 

(ротор)

 

поля

 

a

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

j

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

rot

 

=

 

 

 

 

 

 

 

 

 

= (3y3

+ 2z)

 

 

 

. Можно теперь непосредственно

a

i

k

x

 

y

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y z2

 

y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вычислить

поверхностный

интеграл

∫∫rot

 

d

 

,

но это громоздко.

a

σ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

Поэтому воспользуемся формулой (1) Стокса

 

 

 

∫∫rot

 

d

 

=

 

 

 

= y dx z2dy + y3dz =

 

 

 

a

σ

a

dr

 

 

 

S

 

 

 

 

 

 

 

Г

 

 

Г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2π

 

 

 

 

 

 

 

 

=

x = a cost, y = bsin t, z = 0

= (absin2 t + 0) dt = −πab.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

Пусть M0 – произвольная точка в непрерывно дифференцируемом

векторном

поле

 

 

 

(M ) . Проведем

через точку

M0 плоскость с

 

 

a

единичным вектором n . Выберем в плоскости некоторый контур Г и запишем формулу Стокса

∫∫rot

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(7)

a

ndS = a dr или ∫∫rotn a dS = aτ dl = aτ dl .

S

Г

 

 

S

 

 

Г

 

 

 

Г

 

Здесь rotn

 

 

проекция

ротора на нормаль

 

,

 

τ

– проекция

a

 

n

a

вектора a на касательную к контуру Г, dl – дифференциал дуги. Применим к левой части (7) теорему о среднем. Получим

 

 

1

 

 

 

 

 

 

aτ dl .

(8)

 

 

 

rotn a (M ) =

 

 

 

 

µ(S) Г

 

 

 

 

447

 

 

 

 

Здесь M – некоторая точка внутри контура Г, µ(S) – площадь,

ограниченная контуром Г.

Пусть d (S ) – диаметр области, ограниченной контуром

Переходя к пределу в (8), получим в силу непрерывности rot a(M ) :

 

 

 

 

1

 

 

 

 

 

 

 

 

rotn a (M0 ) = lim

 

aτ dl .

 

 

 

d (S )0

 

µ(S) Г

 

 

Г.

(9)

Из формулы (9) видно, что ее правая часть не зависит от выбора системы координат, следовательно, и проекция ротора на нормаль не зависит от выбора системы координат. А в силу произвольности

нормали n и сам rot a не зависит от выбора системы координат. Формулу (9) называют инвариантным определением ротора. Как видно,

ротор – это плотность циркуляции вектора a (M ) в точке M0 .

§ 12. Формула Остроградского-Гаусса. Инвариантное определение дивергенции

Теорема. Пусть V R3 – ограниченная (может быть многосвязная) область с кусочно-гладкой границей V = S и пусть

векторное поле a (M ) = P(x, y, z)i + Q(x, y, z) j + R(x, y, z)k непрерывно

в замыкании V и непрерывно дифференцируемо в V . Тогда имеет место формула Остроградского-Гаусса

∫∫∫div

a

dxdy dz = ∫∫

a

d

σ

(1)

V

 

S

 

при условии, что тройной интеграл в (1) существует. В координатной форме (1) запишется так:

 

P

+

Q

+

R

 

∫∫∫

x

y

z

dxdy dz = ∫∫P dy dz + Q dxdz + R dxdy .

(1 )

V

 

 

 

S

 

Доказательство.

Докажем

формулу (1) для частного

случая,

считая поле a непрерывно дифференцируемым в замыкании V , а область V односвязной и элементарной в направлении осей координат. Тогда тройной интеграл в (1) существует и сводится к повторным (см. §5 гл. 11). Сведем к повторному сначала третий интеграл в

R

dx dy dz . Пусть

S1 и

S2 – нижняя и верхняя поверхности

(1 ) ∫∫∫

z

V

 

 

 

448

области V представлены в виде z1 = z1 (x, y) , z2 = z2 (x, y) ,

(x, y) Dxy ,

Dxy – проекция области V на плоскость XOY . Тогда имеем

 

 

 

 

 

z

( x, y)

R dz =

 

∫∫∫

R dxdy dz = ∫∫ dxdy 2

 

 

V

z

Dxy

z1 ( x, y) z

 

= ∫∫

R(x, y, z2 (x, y)) dxdy ∫∫ R(x, y, z1 (x, y)) dxdy.

(2)

Dxy

 

 

V

Dxy

 

Полную

границу

области

можем представить

как сумму

верхней S2 , нижней S1

и боковой S3 (цилиндрической) поверхностей

S = S1 S2 S3 . Ориентируем

полную поверхность S

внешней

нормалью n и сведем двойные интегралы в (2) к поверхностным второго рода (см. (9)-(11) в §7).

∫∫∫

R dxdy dz = ∫∫ R(x, y, z) dxdy + ∫∫R(x, y, z) dxdy +

 

V

z

S2

S1

 

+∫∫ R(x, y, z) dxdy = ∫∫R(x, y, z) dxdy.

(3)

S3

 

S

 

(добавили

равный нулю интеграл ∫∫ R(x, y, z) dxdy = 0 ). Аналогично

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S3

 

 

 

 

 

 

 

 

 

найдем еще два выражения: ∫∫∫

P dxdy dz = ∫∫P(x, y, z) dy dz и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

V

 

x

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫∫

dxdy dz = ∫∫Q(x, y, z) dxdz .

(4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

y

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Складывая (3) и (4), получим (1 ) , и теорема доказана.

 

 

Пример.

Найти

поток

 

вектора

 

(M ) = x2 y3

 

+ y

 

+

 

через

a

i

j

k

полусферу Z =

R2 x2 y2 . Нормаль внешняя.

 

 

Решение. Непосредственное вычисление потока громоздко,

поэтому воспользуемся формулой Остроградского-Гаусса.

 

 

 

 

 

 

 

 

 

∫∫

a

d

σ

+ ∫∫

a

d

σ

= ∫∫∫div

a

dV ,

(5)

 

 

 

 

 

 

 

 

S2

S1

 

V

 

 

 

 

 

 

 

 

 

∫∫

 

 

d

 

= ∫∫∫div

 

dv ∫∫

 

 

 

 

 

 

 

 

a

σ

a

adσ – искомый поток.

 

S2

V

 

 

 

 

 

 

 

S1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫∫div

 

dv = ∫∫∫(2xy3 +1) dv =

 

x = r cosϕsinθ,

r = r cosθ

 

=

 

 

 

 

 

 

a

 

V

V

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = r sinϕsinθ,

I = r2 sinθ

 

 

 

π

2π

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 2 sinθ dθ dϕ(2r4 cosϕsin

4 θ sin3 ϕ +1) r2dr =

 

0

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

449

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π 2

2π

2

R7 sin4

θ cosϕsin3 ϕ +

1

R3

 

π 2

1

 

R3 sinθ dθ =

=

sinθ dθ

 

 

 

dϕ = 2π

 

 

7

3

3

0

0

 

 

 

 

 

0

 

=

 

2

πR3.

 

 

3

 

dxdy = −πR2 .

 

 

 

 

 

 

 

 

 

∫∫

a

d

σ

= ∫∫

a

(

k

) dS = − ∫∫

S1

 

 

 

 

 

 

S1

x2 + y2 R2

2

 

 

 

 

 

Подставляя

в (5)

найденные интегралы, получим ответ:

πR3 +πR2 .

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть M0 – фиксированная точка области V , а d(V ) – ее диаметр. Применяя теорему о среднем к тройному интегралу формулы

Остроградского-Гаусса, получим

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫

andS .

 

 

 

 

 

 

 

 

 

 

div a(M ) µ(V ) = ∫∫

andS div a(M ) =

 

 

 

 

 

V

 

 

 

 

 

 

 

 

 

 

 

 

 

µ(V ) V

 

 

 

 

При d(V ) 0 M ′ → M 0

и в силу непрерывности дивергенции в

пределе найдем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

div a (M0 ) = lim

 

 

∫∫ a ndS .

 

(6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d (V )0

 

µ(V ) V

 

 

 

 

 

 

Так как правая часть (6) не зависит от выбора системы координат, то от нее не зависит и левая, то есть дивергенция в точке M0 . Формулу

(6) называют инвариантным определением дивергенции.

Правая часть (6) представляет собой объемную плотность потока

вектора a в точке M0 . Если a – скорость течения жидкости, то div a (M0 ) – средняя мощность источника (стока, если div a (M0 ) < 0 ), приходящаяся на единицу объема. Если div a (M0 ) = 0 , то будем считать, что в точке M0 нет источника (нет стока).

§ 13. Потенциальное поле

Пусть в некоторой области E R3 задано непрерывно

дифференцируемое векторное поле a(M ). Ради упрощения изложения материала в этом и следующем параграфе под областью E будем

понимать брус, шар или все пространство R3 , то есть не будем рассматривать области, заключенные между концентрическими

450

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