
UML_4256
.pdf
§ 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 |
|
|
|
|
|
|


|
|
|
|
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′ |
|
z′y |
|
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 |
|
|
|
|


области 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