
16 Поверхностные интегралы
Пусть Σ квадрируемая гладкая поверхность. Ее разбиением называется такой
конечный набор квадрируемых гладких поверхностей |
m |
σi ∩ σj |
= |
è |
||||||||
m |
|
|
|
|
|
|
|
|
{σi}i=1, ÷òî |
|
||
|
[σi] = [Σ], ò.å. Σ составлена из σi-ых, склеенных по границам. Диаметр разбие- |
|||||||||||
i=1 |
|
|
|
|
|
m |
|
|
|
|
|
|
ния равен |
|
|
|
|
|
|
|
|
|
|
||
diam |
|
σ |
|
= max diam σ |
. |
|
|
|
|
|||
S |
|
{ |
i} |
|
|
|
|
|||||
|
|
|
|
i=1 |
i |
|
|
|
|
|
Определение 16.1. Пусть скалярная функция f(x, y, z) определена на квадрируемой
гладкой поверхности Σ. Пусть {σi}mi=1 разбиение Σ; выбраны точки Xi [σi]. Интегральной суммой называется сумма
m
S{Xi}(f) = XS(σi)f(Xi).
{σi}
i=1
Верхняя и нижняя суммы Дарбу по разбиению {σi}mi=1 :
|
|
m |
|
|
|
|
|
m |
|
S |
|
Xi |
|
|
|
|
|
X |
|
(f) = |
|
S(σ ) sup f; |
|
S |
{σi} |
(f) = |
S(σ |
) inf f. |
|
{σi} |
|
|
i |
|
|
i |
[σi] |
||
|
|
=1 |
[σi] |
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
Определение 16.2. Функция f(x, y, z) интегрируема по квадрируемой гладкой поверхности Σ, если Σ D(f) и существует число J R : ε > 0 δ > 0 : если diam{σi} < δ, то при любом выборе точек Xi σi имеем
S{σi} |
(f) − J |
< ε. |
||
|
{Xi} |
|
|
|
|
|
|
|
|
Число J называется поверхностным интегралом I рода
хности Σ и обозначается
ZZ
J = f(x, y, z)dS.
Σ
(33)
функции f по повер-
Для поверхностного интеграла I рода справедлив критерий Дарбу: функция f(x, y, z) интегрируема на Σ, если и только если совпадают верхний и нижний интегралы
Дарбу |
(f) = inf S |
|
|
|
|
|
|
|
|
|
|
I |
|
(f) |
è |
I |
(f) = sup |
|
S |
{σi} |
(f); |
||
Σ |
{ |
σi |
} |
|
|
|
|
|
|
||
|
|
|
|
Σ |
|
|
|
|
|
в этом случае интеграл J совпадает с ними обоими.
Теорема 16.1. Пусть Σ = ~r(U) = {(x(u, v); y(u, v); z(u, v)) : (u, v) U} квадри-
руемая гладкая поверхность. Пусть f(x, y, z) непрерывная ограниченная скалярная
функция, определенная на Σ. Тогда f интегрируема по Σ, и е поверхностный интеграл I рода равен
ZZ |
f(x, y, z)dS = ZZ |
|
|
|
|
|
f x(u, v), y(u, v), z(u, v) |
|
detG(u, v) dudv. |
(34) |
|||
Σ |
U |
|
p |
|
62

Доказательство. Интегрируемость f ïî Σ доказывается так же, как для кратного интеграла (теорема 11.2). Обозначим этот интеграл через J.
Поскольку U R2 квадрируемая область, элементы матрицы G(u, v) непрерывны и ограничены, то интеграл I в правой части (34) тоже существует, а значит, при достаточно малом диаметре разбиения U на множества Ui будет выполнено
√ |
|
√ |
|
|
|
|
detG) < I + ε. |
(35) |
|||
I − ε < S{Ui}(f ◦ ~r · |
detG) ≤ S{Ui}(f ◦ ~r · |
|
Пусть σi образ Ui (кроме граничных точек) при отображении ~r. Тогда {σi} разбиение Σ. Поскольку diam{σi} ≤ sup (|∂~r/∂u| + |∂~r/∂v|) · diam{Ui}, мы можем, взяв достаточно малый диаметр разбиения {Ui}, получить столь малый диаметр {σi}, чтобы при любом выборе точек Xi σi
S(σi) = |
ZZ |
pdetG(u, v) dudv, |
Ui |
по теореме о среднем найдется (ui, vi) σi : |
S(σi) = S(Ui) |
detG(ui, vi). Возьмем |
|||||
Xi = ~r(ui, vi). Тогда интегральная сумма |
p |
||||||
|
m |
|
|
|
√ |
|
|
{Xi} |
|
|
|
{(ui,vi)} |
|
|
|
|
|
|
|
||||
S = S{σi} |
(f) = |
S(Ui) detG(ui, vi)f(Xi) = S{Ui} |
(f ◦ ~r · detG) |
||||
|
=1 |
p |
|
|
|
|
|
|
Xi |
|
|
|
|
заключена между суммами Дарбу (35) и потому |S − I| < ε. Â ñèëó (33), |S − J| < ε, следовательно, |I − J| < 2ε. Поскольку ε > 0 произвольно, мы получаем I = J.
Свойства поверхностного интегралa I рода
1. |
Линейность: ZZΣ |
cf + kg dS = c ZZΣ |
f dS + k ZZΣ |
g dS. |
f dS = ZZ |
f dS + Z |
|
||||||
2. Аддитивность: если [Σ] = [Σ1] [Σ2], Σ1 ∩Σ2 = , òî ZZ |
f dS. |
||||||||||||
|
|
|
|
|
≤ ZZΣ |
|
≤ |
|
|
Σ |
Σ1 |
Σ2 |
|
|
Оценка: S |
(Σ) |
Σ |
|
f dS |
|
Σ |
|
|
|
|
||
3. |
|
inf f |
|
|
S(Σ) sup f. |
|
|
|
|
Поверхностный интеграл II рода
Определение 16.3. На поверхности задана ориентация, если на ней задано непрерывное поле единичных нормалей, т.е. непрерывная векторнозначная функция ~n :
Σ 7→R3, такая, что X Σ вектор ~n(X) направлен по нормали и |~n(X)| = 1.
Если на поверхности можно задать ориентацию, она называется ориентируемой или двусторонней; в противном случае неориентируемой или односторонней. Пос-
кольку вектора ~ru è ~rv образуют базис касательной плоскости TX Σ, то единичная нормаль в точке X = ~r(u, v) имеет вид
±1
~n(X) = |~ru × ~rv| · ~ru × ~rv,
63
причем знак + èëè − сохраняется на всей поверхности, задаваемой отображением
~r(u, v) ( + если вектора ~ru, ~rv è ~n образуют правую тройку, − если левую). Таким образом, простая гладкая поверхность ориентируема. Простейший пример неориентируемой поверхности лист Мебиуса.
Определение 16.4. Пусть векторное поле V~ (x, y, z) = |
Q(x, y, z) |
|
P (x, y, z) |
|
R(x, y, z) |
определено на
квадрируемой гладкой ориентируемой поверхности Σ. Поверхностным интегра-
ëîì II ðîäà ~ |
~ |
|
|
V по поверхности Σ, или потоком V через Σ, называется интеграл |
|||
ZZ P dydz + Q dzdx + R dxdy = ZZ |
|
V~ , ~n dS. |
|
Σ |
Σ |
|
Из теоремы 16.1 следует, что непрерывное ограниченное векторное поле интегрируемо по квадрируемой ориентируемой поверхности. Выведем формулу для вычисления интеграла II рода по простой гладкой поверхности, предположив, что вектора
~ru, ~rv è ~n образуют правую тройку:
ZZ (V~ , ~n)dS = ZZ V~ · |
|
~ru |
× ~rv |
dS = ZZ |
|
~ru |
|
~rv |
|
|
V~ , ~ru, ~rv |
|~ru × ~rv| dudv = |
||||||||
|
|
|
|
~ru |
~rv |
|
|
|
|
|
1 |
|
|
D |
|
E |
|
|
|
|
Σ |
Σ |
|
| × | |
|
U |
|
| × | |
|
yu |
zu |
dudv, (36) |
|||||||||
|
|
|
|
|
= |
|
V~ , ~ru, ~rv |
dudv = |
|
xu |
||||||||||
|
|
|
|
|
|
ZZ |
D |
|
|
|
E |
|
|
|
ZZ |
|
P |
Q |
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
xv |
yv |
zv |
||||||
|
|
|
|
|
|
U |
|
|
|
|
|
|
U |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ãäå P = P |
x(u, v), y(u, v), z(u, v) |
è ò. ä. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Свойства поверхностного интегралa II рода |
|
|
|||||||||||||||||
1. Линейность: ZZ |
(cV~ |
+ kW~ ), ~n dS = c ZZ |
|
V~ |
, ~n dS + k ZZ |
W~ |
, ~n dS. |
|
||||||||||||
|
Σ |
|
|
|
|
|
|
Σ |
|
|
|
|
Σ |
|
|
|
|
2. |
Аддитивность: если [Σ] = [Σ1] [Σ2], Σ1 ∩ Σ2 = , причем ориентации Σ1 è Σ2 |
|||||||||||||
совпадают с ориентацией Σ, òî ZZ |
|
V~ , ~n dS = ZZ |
|
V~ , ~n dS + ZZ |
|
V~ , ~n dS. |
||||||||
3. |
Оценка: |
|
V~ |
, ~n dS |
|
Σ |
|
Σ1 |
|
Σ2 |
|
|||
≤ S(Σ) sup |V~ |. |
|
|
|
|
|
|
||||||||
|
|
ZZ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Σ |
|
|
|
|
|
|
|
|
|
|
Σ |
|
|
|
|
|
|
|
|
|
|
|
|
4. Если поменять ориентацию поверхности, то поверхностный интеграл II рода поменяет знак.
64

17 Циркуляция и формула Грина
замкнутой, если X(α) = X(β). |
|
|
называется |
Определение 17.1. Кривая ` = |
|
X(t) = (x(t); y(t); z(t)) : t [α; β] |
|
Она называется несамопересекающейся, если нет другой пары значений параметра s, t [α; β] : s < t, X(s) = X(t).
Криволинейный интеграл II рода по замкнутой кривой называется циркуляцией, и в его обозначении может использоваться знак H вместо R . Физический смысл
циркуляции работа силы по замкнутому контуру. Циркуляция не зависит от того, какую точку считать началом и концом кривой: пусть A è B две точки на замкнутой
кривой `, на которой задана ориентация; обозначим через `1 е участок, ведущий из
A â B, а через `2 ведущий из B â A. Тогда в силу аддитивности криволинейного интеграла II рода мы получим
îò A äî A |
I |
= Z + Z , |
îò B äî B |
I |
= Z + Z . |
|
|
` |
`1 `2 |
|
` |
`2 `1 |
|
|
|
|
|
|
d |
~ |
Теорема 17.1. Пусть Ω область (т.е. связное открытое множество) â R |
; V : |
Ω 7→Rd непрерывное векторное поле. Тогда следующие утверждения равносильны :
~ |
~ |
(1) V |
является потенциальным, т.е. Φ : Ω 7→R : V = rΦ íà Ω. |
~
(2) Циркуляция V по любой замкнутой несамопересекающейся кусочно-гладкой кривой ` Ω равна 0.
Доказательство. (1)= (2) по формуле Ньютона Лейбница для криволинейного инте-
грала, поскольку конец совпадает с началом. |
, пусть ~ |
~ |
~ |
. Зафиксируем |
|||
(2) |
= |
(1): Рассмотрим для простоты случай |
d = 2 |
||||
|
|
V = P i + Qj |
|
Z
точку A Ω, положим Φ(A) = 0; для других X Ω пусть Φ(X) = P dx + Qdy, ãäå
AX
AX Ω гладкая кривая с началом A и концом X. Такое определение корректно: если `1 è `2 две кривые с началом A и концом X, то возьмем кривую `3 Ω с началом X и концом A, не имеющую с `1 è `2 других общих точек, тогда
I |
P dx + Qdy = 0 = Z |
= − Z ; |
I |
P dx + Qdy = 0 = Z |
= − Z . |
`1 `3 |
`1 |
`3 |
`2 `3 |
`2 |
`3 |
Теперь покажем, что X Ω функция Φ
дифференцируема, и r ~
Φ(X) = V (X).
Вычислим частные производные Φ в точке X = (x, y). Пусть Xt = (x + t, y). Тогда
65

t |
|
t |
Z |
|
|
− Z |
|
|
|
|
|
|
|
||
Φ(Xt) − Φ(X) |
= |
1 |
|
P dx + Qdy |
|
P dx + Qdy = |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
AXXt |
|
|
AX |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= t |
Z |
P dx + äàcò 0 |
= t |
x+t |
|
|
|||
|
|
|
|
|
|
Z |
P (u, y)du = P (Xθ) |
||||||||
|
|
|
|
|
|
|
1 |
|
Qdy |
|
1 |
|
|
|
|
по теореме о среднем, где |
|θ| ≤ |t| |
. |
|
XXt |
|{z} |
|
|
x |
|
|
θ → 0 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
t → 0 |
|
||||
|
|
|
|
|
|
|
Следовательно, при |
|
|
|
также |
, è |
мы получаем в пределе ∂Φ/∂x(X) = P (X). Аналогично получим ∂Φ/∂y(X) = Q(X).
Поскольку частные производные функции Φ непрерывны на Ω, получаем е диффе-
, ïðè ýòîì r ~ ренцируемость в каждой точке X Ω Φ = V .
Следующая теорема (формула Грина) устанавливает связь между двойным |
|||||||
интегралом по плоской области и циркуляцией по е границе. |
|
||||||
Теорема 17.2. Пусть U R |
2 ограниченная область со связной кусочно-гладкой |
||||||
|
|
|
|
~ |
|||
границей `; |
на ` задана ориентация против часовой стрелки 8. Пусть V (x, y) = |
||||||
Q(x, y) |
|
векторное поле, непрерывное на [U] и имеющее непрерывные частные |
|||||
P (x, y) |
|
|
|
|
|
|
|
производные в U. Тогда верна формула |
∂x − |
∂y dxdy. |
|
||||
|
|
I` P (x, y)dx + Q(x, y)dy = ZZU |
(37) |
||||
|
|
|
|
|
∂Q |
∂P |
|
Доказательство. В силу линейности всех разновидностей интегралов, нам достаточ- но доказать следующие две формулы:
äëÿ ïîëÿ P (x, y) ·~i |
I` |
P (x, y)dx = − ZZU |
∂y |
dxdy; |
(38) |
|||
|
|
|
|
∂P |
|
|
|
|
äëÿ ïîëÿ Q(x, y) ·~j |
I` |
Q(x, y)dy = |
ZZU |
|
∂x |
dxdy. |
(39) |
|
|
|
|
|
|
∂Q |
|
||
Докажем формулу (38). Сначала пусть область U имеет вид |
|
|
||||||
U = {(x; y) : |
a < x < b; g(x) < y < h(x)}, |
|
(40) |
где g(x) и h(x) непрерывные функции с кусочно-непрерывными производными, h(x) > g(x) при a < x < b. Вычислим правую часть (38):
− ZZ |
∂y |
b |
h(x) |
∂y |
dy = − Z |
b |
|
− P |
x, g(x) dx. |
dxdy = − Z |
dx Z |
P x, h(x) |
|
||||||
|
∂P |
|
|
∂P |
|
|
|
|
|
U |
|
a |
g(x) |
|
a |
8т.е. при движении по ∂U в заданном направлении область U остается слева.
66

Чтобы вычислить левую часть (38), заметим, что ` = ∂U замкнутая кусочно-глад- кая кривая, составленная из следующих четырех кривых:
`a = {(a; y) : g(a) ≤ y ≤ h(a)}
`g = {(x; y) : a ≤ x ≤ b; y = g(x)}
`b = {(b; y) : g(b) ≤ y ≤ h(b)}
`h = {(x; y) : a ≤ x ≤ b; y = h(x)}
ориентирована сверху вниз; ориентирована слева направо; ориентирована снизу вверх; ориентирована справа налево.
Z |
|
Z |
Интегралы |
P (x, y)dx è |
P (x, y)dx равны 0, поскольку касательный вектор к |
`a |
|
`b |
·~
вертикальному отрезку ортогонален вектору P (x, y) i. На кривой `g в качестве пара- метра можно взять x, тогда
Z |
b |
Z |
|
P (x, y)dx = |
P (x, g(x))dx. |
`g |
a |
На кривой `h в качестве параметра также можно взять x, но ориентация получится обратной (слева направо), поэтому
b
ZZ
P (x, y)dx = − |
P (x, h(x))dx. |
`h |
a |
Сложив интегралы II рода по четырем кривым, получаем
b
IZ
P (x, y)dx = P x, g(x) − P x, h(x) dx,
`a
èформула (38) для области U вида (40) доказана.
Практически любую ограниченную область со связной кусочно-гладкой границей
можно разбить вертикальными отрезками на конечное множество областей Ui âèäà (40). При этом двойные интегралы сложатся по аддитивности. Для криволинейных
интегралов аддитивность тоже сработает: невертикальные участки границы U состоят
из невертикальных участков границ Ui-ûõ, и ориентации согласованы; интегралы по вертикальным отрезкам равны 0.
67

Доказательство (39) аналогично, отличие в том, что разбиваем U горизонтальными
отрезками на области вида
(x; y) : a < y < b; g(y) < x < h(y) .
Следствие 17.1. Пусть область Ω R2 односвязна, т.е. не имеет дыр;
~ |
P |
: Ω 7→R |
2 |
V (x, y) = |
Q |
|
векторное поле с непрерывными частными производными, причем ∂P /∂y = ∂Q/∂x
~ |
является потенциальным. |
(x, y) Ω. Тогда V |
Доказательство. В силу теоремы 17.1 нам достаточно доказать, что циркуляция ~
V
по любой замкнутой несамопересекающейся кусочно-гладкой кривой ` Ω равна 0. Если ` Ω, то ограничиваемая ею область U также содержится в Ω, поскольку область Ω односвязна. Применим формулу Грина:
I` |
P (x, y)dx + Q(x, y)dy = ZZU |
∂x − |
∂y |
dxdy = ZZU |
0 dxdy = 0. |
|
|
∂Q |
∂P |
|
|
Замечание 17.1. Из доказательства формулы Грина (переход от области простого вида к произвольной) видно, что теорема 17.2 останется справедливой даже для неодносвязной области. Тогда в левой части формулы (37) будет стоять сумма нескольких циркуляций: внешнюю границу следует обходить против часовой стрелки, а границу каждой дыры по часовой стрелкe (в обоих случаях область остается слева).
68

18 Дивергенция. Теорема Остроградского Гаусса
Определение 18.1. Пусть V~ (x, y, z) = |
P |
векторное поле; A = (x, y, z) |
|||||||||||
Q |
|||||||||||||
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
определения. Если |
P |
, |
Q |
è |
R |
дифференцируемы в |
A |
, |
||||
внутренняя точка его области |
|
|
|
|
|
|
|
|
|
||||
то дивергенцией поля ~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
V в точке A называется величина |
|
|
|
||||||||||
~ |
|
∂P |
∂Q |
|
|
∂R |
|
|
|
|
|
||
divV (A) = |
|
(A) + |
|
(A) + |
|
|
(A). |
|
|
|
|||
∂x |
∂y |
|
∂z |
|
|
|
Геометрический смысл дивергенции станет ясен позже.
Теорема 18.1. (Остроградский Гаусс). Пусть Ω R3 ограниченная область, такая, что ∂Ω связная кусочно-гладкая квадрируемая поверхность ; пусть на каждой гладкой части поверхности ∂Ω задано непрерывное поле единичных нор-
P
~
малей ~n, направленных наружу Ω. Тогда для векторного поля V (x, y, z) = Q ,
R
непреpывного на [Ω], имеющего непрерывные частные производные в Ω, верна формула9
ZZ∂Ω |
ZZZΩ |
|
~ |
~ |
(41) |
(V , ~n)dS = |
divV (x, y, z)dxdydz. |
Доказательство. В силу линейности всех разновидностей интегралов, нам достаточ- но доказать следующие три формулы:
ZZ∂Ω |
ZZZΩ |
|
|
ZZ∂Ω |
ZZZΩ |
||
~ |
|
|
∂P |
~ |
∂Q |
||
(P · i, ~n)dS = |
ZZ∂Ω |
|
∂x dxdydz; |
(Q · j, ~n)dS = |
∂y dxdydz; |
||
|
|
|
ZZZΩ |
|
|||
|
|
~ |
∂R |
|
|||
|
|
(R · k, ~n)dS = |
|
∂z |
dxdydz. |
(42) |
Докажем (42); две другие формулы доказываются аналогично. Сначала предположим, что область Ω имеет вид
Ω = (x; y; z) : (x; y) D, g(x, y) < z < h(x, y) , |
(43) |
ãäå D R2 квадрируемая ограниченная область; функции g и h непрерывны на [D], имеют непрерывные частные производные на D, и h > g на D. Граница такой
9такой знак используется вместо RR для обозначения поверхностного интеграла II рода только в том случае, когда интеграл берется по всей поверхности тела, причем нормали направлены наружу.
69

области имеет вид ∂Ω = Σg Σh Σo, ãäå
|
Σg = |
( ; |
(;x;(y) |
|
D |
, |
~n = |
2 |
|
2 |
∂g/∂y |
|
|||||
|
|
|
|
|
|
|
|
|
1 + (∂g/∂x) |
|
+ (∂g/∂y) |
|
|
|
∂g/∂x |
||
|
|
|
|
|
|
|
|
|
−1 |
|
|||||||
|
|
x y g x, y)) : |
|
|
1 |
|
|
|
|
|
|
|
|
||||
|
Σh = |
( ; |
(;x;(y) |
|
D |
, |
~n = |
p |
2 |
|
|
2 |
−∂h/∂y |
||||
|
|
x y h x, y)) : |
|
|
|
1 + (∂h/∂x) |
|
+ (∂h/∂y) |
|
|
− |
1 |
|
||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
||
g(x, y) ≤ z ≤ h(x, y) |
|
|
|
|
|
|
|
|
|
|
|
||||||
Σ0 = |
(x; y; z) : (x; y) ∂D; |
, |
~n направлены горизонтально. |
|
|
|
|
~ |
Вычислим интегралы II рода по этим трем поверхностям (потоки векторного поля |
||||||||||||||||||||
V через них наружу Ω): |
|
|
|
|
|
|
|
|
|
|
|
= ZZ |
|
|
|
||||||
|
ZZ (R · ~k, ~n)dS = ZZ |
|
|
|
1 + (∂h/∂x)2 + (∂h/∂y)2 |
R x, y, h(x, y) dxdy; |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
R(x, y, z) dS |
|
|
|
|
|
|
|
|
||
|
Σh |
|
|
· |
Σh |
|
p |
|
|
|
|
|
|
|
|
|
D |
|
|||
|
ZZ |
|
|
ZZ |
|
|
1 + (∂g/∂x)2 + (∂g/∂y)2 |
|
− ZZ |
|
|
|
|||||||||
|
|
(R |
|
~k, ~n)dS = |
|
|
|
|
−R(x, y, z) dS |
|
|
= |
|
|
R x, y, g(x, y) dxdy; |
||||||
|
Σg |
|
|
|
Σg |
p |
|
|
|
|
|
|
|
|
D |
|
|
|
|||
интеграл по Σ0 равен 0. Сложив три интеграла, получаем |
|
|
|
||||||||||||||||||
|
|
|
|
|
ZZ |
|
|
|
|
ZZ |
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
D |
|
|
|
|
|
|
|||||
|
|
|
|
|
∂Ω |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
(R · k, ~n)dS = |
|
|
R x, y, h(x, y) R x, y, g(x, y) dxdy. |
|
||||||||||||
В то же время |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
ZZZ |
∂z dxdydz = ZZ dxdy |
h(x,y) |
R x, y, h(x, y) |
|
− R x, y, g(x, y) dxdy, |
|||||||||||||||
|
Z |
|
∂z dz = ZZ |
|
|||||||||||||||||
|
|
∂R |
|
|
|
|
|
|
|
|
∂R |
|
|
|
|
|
|
|
|||
|
Ω |
|
|
|
D |
|
|
g(x,y) |
|
|
D |
|
|
|
и формула (42) для области вида (43) доказана.
Практически любую область, удолетворяющую условиям этой теоремы, можно разбить вертикальными цилиндрическими поверхностями на конечное множество
областей Ωi вида (43). При этом тройные интегралы сложатся по аддитивности. Для поверхностных интегралов аддитивность тоже сработает: невертикальные части ∂Ω
состоят из невертикальных частей границ Ωi-ûõ, и ориентации согласованы; инте- гралы по вертикальным поверхностям равны 0.
70

Следствие 18.1. Пусть U R |
3 |
область; векторное поле ~ |
7→R |
3 имеет в |
|||||||||
|
|
|
|
|
|
V : U |
|
||||||
точке A U непрерывные частные производные. Тогда |
|
|
|
|
|||||||||
|
|
|
|
|
|
→ |
|
ZZ |
|
|
|
|
|
|
~ |
|
|
|
|
|
1 |
|
~ |
|
|
|
|
div |
V |
( |
A |
|
|
lim |
V (Ω) |
(V , ~n |
dS , |
|
|
||
|
|
) = diamΩ 0 |
|
) |
|
|
|
ãäå A Ω U, область Ω имеет кусочно-гладкую границу.
Таким образом, дивергенция это плотность источников векторного поля (от-
~
ношение потока из тела Ω к его объему). Точки, в которых divV > 0, называются
~
источниками векторного поля; точки, в которых divV < 0, называются стоками.
Доказательство. Применим теорему Остроградского Гаусса, затем теорему о среднем:
ZZ∂Ω |
ZZZΩ |
|
|
· |
~ |
|
~ |
~ |
|
|
|
B Ω. |
|
(V , ~n)dS = |
divV |
dxdydz = V (Ω) divV (B), |
||||
|
|
~ |
~ |
|
|
|
При diam Ω → 0 имеем B → A = divV (B) → divV (A). |
|
|
Свойства дивергенции
1. Дивергенция не зависит от выбора декартовой системы координат. Это вытекает из следствия 18.1.
|
|
|
~ |
|
|
~ |
|
~ |
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|||
2. Линейность: div(c V + k W ) = c |
· divV + k · divW . |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
~ |
~ |
~ |
|
|
|
|
|
|
||||
3. Åñëè ϕ(x, y, z) дифференцируема, то div(ϕ·V ) = ϕ·divV +(rϕ, V ). Действительно, |
||||||||||||||||||||||||
div(ϕ·V~ ) = |
∂x· |
P |
+ ∂y· |
Q |
+ ∂z· |
R |
= ∂x |
·P + ∂y |
·Q+ ∂z ·R+ϕ· |
∂x |
+ ∂y |
+ ∂z . |
||||||||||||
|
∂ϕ |
∂ϕ |
∂ϕ |
∂ϕ |
∂ϕ |
∂ϕ |
|
∂P |
|
∂Q |
|
∂R |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим пример применения формулы Остроградского Гаусса.
Пример 18.1. Найти поток векторного поля наружу через повер- хность полушара Ω = {x2 +y2 +z2 < 1; z > 0}. Сначала вычислим поток непосредственно. Поверхность ∂Ω состоит из двух гладких поверхностей круга и полусферы:
|
|
Σ0 = {x |
2 |
+ y |
2 |
≤ 1; z = 0}; |
|
|
~ |
|
|
|||||||
Σ1 = |
|
|
|
вектор нормали ~n0 = −k; |
|
|
||||||||||||
|
x2 + y2 < 1; z = |
|
|
1 x2 |
y2 ; |
нормаливектор ~n1 = |
|
y |
|
|||||||||
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
x |
|
|
|
|
{ |
|
|
|
|
− − |
} |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
1 − x2 |
− y2 |
|||||||||
V через Σ0 |
|
|
|
|
|
|
|
~n0 V |
ïðè z = 0. |
|
p |
|
|
|||||
Поток ~ |
|
ZZ |
равен 0, поскольку |
|
|
~ |
ZZ |
Поэтому |
|
|
||||||||
|
|
~ |
|
|
ZZ |
~ |
|
|
|
|
|
|
|
|
||||
|
|
(V , ~n)dS = |
|
|
(V , ~n1)dS = |
1 dS = S(Σ1) = 2π. |
|
|
||||||||||
|
|
Σ |
|
|
|
|
Σ1 |
|
|
|
|
Σ1 |
|
|
|
|
|
По формуле Остроградского Гаусса поток будет вычисляться так:
ZZΣ |
ZZZΩ |
ZZZΩ |
|
· |
2π |
|
|
~ |
|
~ |
|
|
|
|
|
(V , ~n)dS = |
|
divV (x, y, z)dxdydz = |
3 dxdydz = 3V (Ω) = 3 |
|
3 |
= 2π. |
71
19 Ротор и теорема Стокса
Определение 19.1. Пусть V~ (x, y, z) = |
Q векторное поле; A = (x, y, z) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
внутренняя точка его области |
|
|
|
|
|
|
|
|
|
P Q R |
|
|
A |
||||
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
определения. Если |
, |
è |
дифференцируемы в , |
|||||||||||
то ротором поля ~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V в точке A называется вектор |
|
|
|
|
|||||||||||||
rot~ V~ (A) = |
∂ |
|
− |
|
|
∂ |
|
|
|
= |
~ |
|
~ |
~ |
|
|
|
∂z∂ |
P |
∂x∂ R |
|
|
|||||||||||||
∂/∂x |
∂/∂y |
∂/∂z |
|
||||||||||||||
|
∂y R |
∂z Q |
|
i |
|
j |
k |
|
|
||||||||
|
|
|
|
− |
|
|
|
P |
|
|
|
|
|
||||
|
∂ |
|
Q |
|
∂ |
P |
|
Q |
R |
|
|||||||
|
∂x |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Этот странный ½определитель придуман лишь для удобства запоминания формулы ротора. При вычислении этого определителя элементы перемножаются сверху вниз.
Пример 19.1. Рассмотрим поле скоростей твердого тела, вращающегося вокруг Oz с угловой скоростью ω :
−ωy
~
V (x, y, z) = ωx .
0
Его ротор равен
rot~ V~ (x, y, z) = |
~ |
~ |
~ |
= |
0 |
, |
∂/∂x |
∂/∂y |
∂/∂z |
||||
|
i |
j |
k |
|
0 |
|
ωy |
ωx |
0 |
2ω |
|
||
|
|
|
|
|||
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т.е. ротор параллелен оси вращения, его норма равна 2ω, и он направлен по правилу винта.
Определение 19.2. Пусть U R2 ограниченная область, ∂U замкнутая кусоч- но-гладкая кривая, ориентированная против часовой стрелки. Пусть отображение
x(u, v)
~r(u, v) = y(u, v) : [U] 7→R3 z(u, v)
инъективно и имеет непрерывные частные производные на [U], причем матрица Якоби J~r(u, v) имеет ранг 2 для всех (u; v) U. Тогда кривая ` = ~r(∂U) называется контуром гладкой поверхности Σ = ~r(U).
Пусть на поверхности Σ задана такая ориентация, что вектора ∂~r/∂u, ∂~r/∂v и ~n(X) образуют в каждой точке X Σ правую тройку; на кривой ` задана ориентация, полученная из ориентации ∂U при отображении ~r. Тогда говорят, что ориентации Σ и ` согласованы.
Правило согласования ориентаций поверхности и е контура называют ½правилом винта : если воткнуть винт в точку X Σ и крутить его в направлении обхода `, то
он будет ввинчиваться в направлении ~n(X).
72

Теорема 19.1. (Стокс). Пусть Σ простая гладкая поверхность с кусочно-гладким
контуром `, их ориентации согласованы. Тогда для векторного поля V~ |
= |
Q , |
||||
|
|
|
|
|
|
P |
непрерывного на Σ ` и имеющего в каждой точке Σ непрерывные частные |
|
|
||||
|
|
|
|
|
|
R |
|
|
|
|
производные, |
||
верна формула |
|
I` |
P dx + Qdy + Rdz = ZZΣ |
(rot~ V~ , ~n)dS. |
|
|
Доказательство. В силу линейности всех разновидностей интегралов, нам достаточ- но доказать следующие три формулы:
I |
P (x, y, z)dx = ZZ |
|
|
∂z ~j − |
∂y ~k |
|
dS; |
(44) |
|||||
|
|
, ~n |
|||||||||||
|
|
|
∂P |
|
∂P |
|
|
|
|
|
|
||
` |
Σ |
|
|
|
|
|
|
|
|
|
|
||
I |
Q(x, y, z)dy = ZZ |
|
|
∂x |
~k − |
|
∂z |
~i |
|
dS; |
|
||
|
|
|
, ~n |
|
|||||||||
|
|
|
∂Q |
|
∂Q |
|
|
|
|||||
` |
Σ |
|
|
|
|
|
|
|
|
|
|||
I |
R(x, y, z)dz = ZZ |
|
|
∂y |
~i − |
∂x~j |
|
|
dS. |
|
|||
|
|
|
, ~n |
|
|||||||||
|
|
|
|
∂R |
|
∂R |
|
|
|
|
|
||
` |
Σ |
|
|
|
|
|
|
|
|
|
Докажем формулу (44); две другие получаются аналогично. Пусть Σ = ~r(U), ` = ~r(∂U), и пусть граница U параметризована против часовой стрелки: ∂U = {(u(t); v(t)) : 0 ≤ t ≤ T }. Тогда
` = n x(u(t), v(t)); y(u(t), v(t)); z(u(t), v(t)) |
: 0 ≤ t ≤ T o. |
|
|
Вычислим левую часть (44):
|
|
T |
P · |
|
|
|
|
|
dt =∂UI P · |
|
|
|
|
||
I` |
P (x, y, z)dx = Z0 |
∂x |
|
∂x |
∂x |
du + P · |
∂x |
|
|||||||
|
u˙ + |
|
v˙ |
|
|
dv = |
|||||||||
∂u |
∂v |
∂u |
∂v |
||||||||||||
по формуле Грина |
∂u P · |
∂v − |
∂v P · |
∂u dudv = |
|
|
|||||||||
|
= ZZU |
|
|
||||||||||||
|
|
|
|
∂ |
|
|
∂x |
|
|
∂ |
∂x |
|
|
|
|
73

[предположим, что x дважды непрерывно дифференцируем по u è v; его вторые частные производные сократятся]
|
|
|
|
|
ZZU |
∂u |
|
|
|
· |
∂v − |
|
∂v |
|
|
· |
|
∂u |
|
|
|
|
|||||||||
|
|
|
= |
∂(P |
◦ |
~r) |
|
∂x |
|
|
∂(P |
◦ |
~r) |
|
|
∂x |
|
dudv = |
|
|
|||||||||||
= ZZU |
∂y |
· ∂u |
· ∂v + |
∂z |
|
· |
∂u |
· ∂v |
− |
∂y |
· |
|
∂v |
· ∂u |
− ∂z |
· ∂v |
· ∂u dudv |
||||||||||||||
|
|
∂P |
|
∂y |
∂x |
∂P |
|
|
∂z |
|
∂x |
|
|
∂P |
|
∂y |
|
|
∂x |
|
∂P |
|
∂z |
|
∂x |
(слагаемые с ∂P/∂x сократились).
Теперь вычислим правую часть (44) по формуле (36):
|
|
∂P ~j |
∂P ~k |
, ~n dS = |
|
∂x/∂u |
∂y/∂u |
−∂z/∂u |
dudv = самоетоже. |
|||
ZZ |
|
|
|
|
|
|
|
ZZ |
0 |
∂P /∂z |
∂P /∂y |
|
|
− |
|
|
|
|
|
||||||
∂z |
∂y |
∂x/∂v |
∂y/∂v |
∂z/∂v |
||||||||
Σ |
|
|
|
|
|
|
U |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, формула Стокса доказана для поверхности класса C2, т.е. для случая,
когда x, y è z имеют непрерывные вторые частные производные по u è v. Íî åñëè îíè
имеют лишь непрерывные первые производные (как оговорено в условии теоремы), т.е. поверхность класса C1, то e можно приблизить поверхностью класса C2 òàê, ÷òî
правая и левая части формулы Стокса будут приближены с любой точностью.
Следствие 19.1. (Геометрический смысл ротора). Пусть U R3 область; вектор-
íîå ïîëå ~ |
|
3 |
имеет в точке A U непрерывные частные производные. Тогда |
|||||||||||
~ ~ |
V : U 7→R |
|
||||||||||||
такой вектор, что для любого единичного вектора |
~n |
|||||||||||||
rotV (A) |
|
|
|
|
|
|
) = diamΣ→0 |
S(Σ) I |
|
|
|
|
||
|
|
(rot |
|
( |
) |
+ |
|
+ |
|
|
||||
|
|
~ |
~ |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
` |
|
|
|
|
||||||
|
|
|
|
V |
|
A , ~n |
lim |
|
P dx |
|
Qdy |
|
Rdz , |
где A Σ U, плоская поверхность Σ имеет нормаль ~n и кусочно-гладкий контур ` согласованной с нею ориентации.
Доказательство. Применим теорему Стокса, а затем теорему о среднем:
I ZZ
~ ~ · ~ ~
P dx + Qdy + Rdz = (rotV , ~n) dS = S(Σ) (rotV (B), ~n), B Σ.
` Σ
Ïðè diam |
Σ → 0 |
имеем |
~ |
~ |
~ ~ |
. |
||
|
|
|
|
B → A = rotV (B) → rotV (A) |
|
|||
|
|
|
|
|
Свойства ротора |
|
||
1. |
Ротор не зависит от выбора декартовой системы координат. Это вытекает из |
|||||||
следствия (19.1). |
|
|
|
|
|
|||
2. |
Линейность: ~ |
~ |
~ |
~ ~ |
~ ~ . |
|
||
|
|
|
rot(c · V + k · W ) = c · rotV + k · rotW |
|
74

3. Åñëè |
ϕ(x, y, z) |
дифференцируема, то ~ |
~ |
~ ~ |
~ |
. Действительно, |
|
rot(ϕ·V ) = ϕ·rotV |
+rϕ×V |
|
rot(~ ϕ |
· |
V~ ) = |
|
|
|
|
∂(ϕ · P )/∂z − ∂(ϕ · R)/∂x |
= ϕ |
|
rot~ V~ + |
∂ϕ/∂z · P − ∂ϕ/∂x · R . |
∂(ϕ R)/∂y − ∂(ϕ · Q)/∂z |
|
|
|
∂ϕ/∂y · R − ∂ϕ/∂z · Q |
∂(ϕ ·· Q)/∂x − ∂(ϕ · P )/∂y |
|
· |
|
∂ϕ/∂x · Q − ∂ϕ/∂y · P |
Важным следствием теоремы Стокса является теорема о достаточном условии потенциальности векторного поля в трехмерном пространстве. Векторное поле, имеющее нулевой ротор в некоторой области пространства, называется безвихревым в этой области.
Теорема 19.2. Пусть область Ω R3 односвязна (в пространстве это означает, что на любую замкнутую кусочно-гладкую кривую ` Ω, не завязанную узлом,
~ |
|
|
|
P |
|
|
|
|
|
|
Q |
: Ω 7→R |
3 |
||||
можно натянуть гладкую поверхность Σ Ω). Пусть V (x, y, z) = |
|
|||||||
|
~ |
~ |
R |
|
|
|
||
|
|
|
|
|
|
|
||
векторное поле с непрерывными частными производными, и |
|
|
|
íà |
Ω |
. Тогда |
||
|
rotV = 0 |
|
|
|
~
V является потенциальным на Ω.
Доказательство. В силу теоремы 17.1 нам достаточно доказать, что циркуляция ~
V
по любой замкнутой несамопересекающейся кусочно-гладкой кривой ` Ω равна 0.
Åñëè ` Ω не завязана узлом, то натянем на не поверхность Σ Ω. Применим формулу Стокса:
I` |
P dx + Q dy + R dz = ZZΣ |
(rot~ V~ , ~n) dS = ZZΣ |
(0~, ~n) dS = 0. |
Если замкнутая кривая ` узел, то можно разбить е на две кривые `1 (с началом A и концом B) è `2 (с началом B и концом A), затем добавить третью кривую `3 ñ началом A и концом B, такую, что кривые `1 `3 è `2 `3 не имеют самопересечений
и не завязаныI |
узлом. Тогда циркуляции по ним |
I |
= Z |
+ Z |
|
|||||||
|
= Z |
− Z |
= 0; |
I |
= Z |
+ Z |
= 0 = |
= 0. |
||||
`1 `3 |
`1 |
`3 |
|
`2 `3 |
`2 |
`3 |
|
` |
`1 |
`2 |
|
Обратное утверждение что потенциальное векторное поле с непрерывными част- |
|
ными производными является безвихревым ( ~ |
) справедливо в любой области |
rotrΦ ≡ 0
пространства и было доказано в прошлом семестре.
75

20 Теория поля (итоговая лекция)
Пусть Ω R3 область. Символом Ck(Ω) будем обозначать класс скалярных функций f : Ω 7→R, имеющих на Ω непрерывные частные производные до k-го порядка;
k |
~ |
3 |
, имеющих на Ω непрерывные |
символом V C |
(Ω) класс векторных полей V |
: Ω 7→R |
частные производные до k-го порядка. Операции градиента, дивергенции и ротора действуют на этих классах следующим образом:
r : |
Ck(Ω) 7→V Ck−1(Ω) |
при каждом |
k N; |
|||||
div : |
V Ck(Ω) |
7→Ck−1(Ω) |
при каждом |
k N; |
||||
~ |
V C |
k |
(Ω) |
7→V C |
k−1 |
(Ω) |
при каждом |
k N. |
rot : |
|
|
|
|||||
Рассмотрим особые разновидности векторных полей из класса V C1(Ω). |
||||||||
1. Векторное поле ~ |
|
|
|
|
|
|
~ |
|
V |
соленоидальное, если divV = 0 íà Ω. Такое поле не имеет |
источников и стоков; его поток через поверхность любого тела B Ω равен 0.
Примеры из физики: магнитное поле; поле скоростей несжимаемой жидкости. Ротор любого векторного поля из класса V C2(Ω) является соленоидальным:
div rot~ V~ = ∂x ∂y |
− ∂z |
+ ∂y |
∂z |
− ∂x + ∂z |
∂x − |
∂y = 0, |
|||||||
|
∂ |
∂R |
∂Q |
|
∂ |
∂P |
|
∂R |
|
|
∂ |
∂Q |
∂P |
поскольку ∂2R/∂x∂y = ∂2R/∂y∂x, |
∂2Q/∂x∂z = ∂2Q/∂z∂x, |
∂2P /∂z∂y = ∂2P /∂y∂z. |
|||||||||||
2. Векторное поле ~ |
безвихревое, если |
~ ~ |
~ íà |
Ω |
. Оно имеет нулевую циркуля- |
||||||||
V |
|
|
|
|
rotV = 0 |
|
|
|
|
цию по всякой замкнутой кривой, на которую можно натянуть поверхность Σ Ω.
3. Векторное поле ~ |
2 |
|
|
÷òî ~ |
V потенциальное, если существует функция Φ C |
|
(Ω), такая, |
V |
= rΦ на Ω. Оно имеет нулевую циркуляцию по всякой замкнутой кривой |
` Ω. Всякое потенциальное поле является безвихревым. Обратное утверждение
верно лишь в том случае, если область Ω односвязна. Примеры потенциальных
полей из физики: гравитационное; электрическое (при отсутствии электродвижущей силы). Дивергенция гравитационного поля пропорциональна плотности масс (массыисточники поля, стоков нет); дивергенция электрического поля пропорциональна
плотности заряда ( источники, стоки).
4. Векторное поле ~
V гармоническое, если оно потенциально и соленоидально, т.е. потенциал такого поля Φ удовлетворяет уравнению Лапласа
∂2Φ ∂2Φ ∂2Φ
divrΦ = ∂x2 + ∂y2 + ∂z2 ≡ ΔΦ = 0;
такая функция Φ тoже называется гармонической. Физические примеры: гравитационное и электрическое поля в вакууме.
76

Векторные линии и векторные трубки |
|
|
|||||
Определение 20.1. |
1) |
Точка |
X Ω |
стационарнa, если ~ |
~. |
|
|
|
|
V (X) = 0 |
|
|
|||
|
|
|
|
~ |
V C(Ω) (непрерывного |
||
2) Гладкая кривая ` называется векторной линией для V |
|||||||
|
|
|
|
~ |
|
|
|
векторного поля в Ω), если в каждой точке X ` имеем V (X) k TX `. |
~ |
V C(Ω), |
|||||
3) Гладкая поверхность Σ называется векторной трубкой для поля V |
~ k
если в каждой точке X Σ имеем V (X) TX Σ.
Векторная линия является фазовой кривой для автономной системы дифференциальных уравнений
dy/dt = Q(x, y, z) |
èëè |
dx |
= |
dy |
= |
dz . |
(45) |
||
dx/dt = P (x, y, z) |
|
|
|
|
|
|
|
|
|
dz/dt = R(x, y, z), |
|
|
|
|
|
|
|
|
|
|
P (x, y, z) |
|
Q(x, y, z) |
|
R(x, y, z) |
|
|||
|
|
|
|
|
|
|
|
|
|
Из теоремы о существовании и единственности решения задачи Коши следует, что |
||||
в случае ~ |
|
|
1 |
(Ω) через каждую нестационарную точку проходит ровно одна |
V V C |
|
|||
векторная линия. |
|
|
||
Если непрерывное векторное поле потенциально (т.е. ~ |
||||
êöèè Φ C |
1 |
|
|
V = rΦ для некоторой фун- |
|
(Ω)), то в окрестности нестационарной точки Xo поверхность уровня |
потенциала E = {X Ω : Φ(X) = Φ(Xo)} является гладкой, и вектор rΦ(Xo)
перпендикулярен касательной плоскости TXo E, следовательно, и векторная линия в |
|||||||
точке Xo перпендикулярна поверхности E. |
|
|
|
|
|||
Пример 20.1. Рассмотрим векторное поле ~ |
|
|
|
||||
|
|
|
|
V , имеющее потенциал Φ(x, y, z) = |
|||
|
z2 |
в области Ω = R3\{O}. Имеем |
|
|
|
|
|
|
x2 + y2 + z2 |
|
|
−yz |
. |
||
|
V~ (x, y, z) = Φ = (x2 + y2 + z2)2 |
||||||
|
|
|
|
2z |
|
xz |
|
|
|
r |
|
x2−+ y2 |
|
||
|
|
|
|
Стационарные точки данного поля это все точки оси Oz и плоскости Oxy, кроме, разумеется, точки O. Поверхности уровня {Φ = C} представляют собою конусы (при 0 < C < 1), ось Oz\{O} (при C = 1), или плоскость Oxy\{O} (при C = 0). Решим
систему (45): |
dx |
|
|
dy |
|
dz |
|
= |
|
= |
|||
|
|
|
|
|
||
|
−xz |
−yz |
x2 + y2 |
77

Поскольку z 6= 0 в нестационарных точках, домножаем на (−z) и получаем
dxx = dyy = x = Cy èëè y = Cx.
Можно ввести новую переменную t > 0 : x = t cos α, y = t sin α, ãäå α константa.
Тогда |
dt |
|
|
zdz |
|
|
|
|
|
|||
|
= − |
= t dt = −z dz = t2 = C2 − z2. |
|
|
||||||||
|
|
|
|
|
|
|
|
|||||
|
|
t |
t2 |
|
|
|||||||
Итак, получены параметрические уравнения векторных линий: |
|
|
||||||||||
|
y = |
|
|
|
· sin α |
− |
|
|
|
|||
|
√C2 |
− z2 |
|
|
||||||||
|
x = |
√C2 |
− z2 |
· cos α ; 0 < z < C èëè |
|
C < z < 0 |
, |
(46) |
||||
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
т.е. это четверти окружностей с центром O и диаметром на оси Oz. В точках с
z = 0 векторные линии прерываются, поскольку эти точки стационарные. Нетрудно
проверить, что через каждую нестационарную точку проходит кривая из семейства (46), следовательно, других векторных линий, кроме (46), быть не может. Очевидно,
эти линии перпендикулярны всем конусам поверхностям уровня Φ.
Векторными трубками для ~
V являются, например, все верхние и нижние полусферы с центром O и все четверти плоскости, один из краев которых половина оси Oz, а другой лежит в плоскости Oxy.
Пример 20.2. 1) Для поля ~ |
~ векторными трубками являются |
|
|
V (x, y, z) = P (x, y, z) · i |
|
все цилиндры с образующими, параллельными оси Ox. |
||
2) Äëÿ ïîëÿ V~ (x, y, z) = y |
|
векторныe трубки все конусы с вершиной O. |
x |
|
|
z |
|
|
78

Как вообще могут выглядеть векторные трубки для поля |
~ |
|||
следующей леммы. |
|
|
|
V , становится ясно из |
|
|
|
|
|
Лемма 20.1. Пусть ~ |
V C |
1 |
|
~ |
V |
|
(Ω); пусть Σ Ω векторная трубка для V , X Σ. |
|
|
|
|
|
~ |
|
|
|
|
|
|
|
Åñëè ` 3 X векторная линия для V , òî ` проходит по Σ, пока не дойдет до е |
||||||||||||
êðàÿ. |
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Достаточно доказать, что найдется окрестность Uε(X), в которой |
||||||||||||
` ∩ Uε(X) Σ ∩ Uε(X). Пусть, например, NX |
не перпендикулярна оси Oz. Тогда |
|||||||||||
при некотором ε > 0 поверхность Σ ∩ Uε(X) имеет вид {z = h(x, y) : |
|
(x; y) D}; |
||||||||||
X = (xo; yo; h(xo, yo)). В каждой точке Y |
= (x, y, h(x, y)) Σ ∩ Uε(X) касательная |
|||||||||||
плоскость имеет вид |
; |
|
|
|
|
V~ (Y ) = |
|
|
|
|
, |
|
TY Σ = span |
0 |
1 |
= |
|
|
q(x, y) |
||||||
|
1 |
|
|
0 |
|
|
|
|
|
p(x, y) |
|
|
∂h/∂x |
∂h/∂y |
|
p |
· |
∂h/∂x + q |
· |
||||||
|
|
|
|
|
|
|
∂h/∂y |
причем функции p(x, y) = P (x, y, h(x, y)), q(x, y) = Q(x, y, h(x, y)) принадлежат классу C1(D) = ! решение задачи Коши
|
|
˙x(0) = xo ; |
y(0) = yo. |
||
|
|
|
x = p(x, y) ; y˙ = q(x, y) |
||
Тогда кривая |
x(t); y(t); h(x(t), y(t)) |
совпадает с кривой |
|||
лежит в Σ. |
|
` ∩ Uε(X) и в то же время |
|||
|
|
|
|
~ |
~ |
Если Σ векторная трубка для поля V , то поток V через Σ равен 0. Это следует |
|||||
èç òîãî, ÷òî åñëè ~ |
|
~ |
|
|
|
|
V (X) k TX Σ, òî V (X) ~n(X) : |
||||
|
ZZ |
V~ |
(X), ~n(X) dS = ZZ 0 dS = 0. |
||
|
Σ |
|
|
|
Σ |
Следствие 20.1. Пусть Ω область в R3, поверхность которой имеет вид ∂Ω = |
|||||
[Σ0 Σ1 Σ2], ãäå Σi ∩ Σj |
= , нормали направлены наружу Ω. Пусть векторное |
ïîëå ~ |
|
|
|
|
|
V соленоидально, и Σ0 векторная трубка. Тогда |
|||||
ZZ |
|
V~ , ~n dS = − ZZ |
|
V~ , ~n dS |
|
Σ1 |
|
Σ2 |
|
(сколько втекает через Σ1, столько же вытекает через Σ2).
79