11 Кратные интегралы
Прежде чем дать определение n-кратного интеграла, т.е. интеграла по подмножест- ву пространства Rn, нам нужно обобщить понятия квадрируемости и кубируемости, определив n-мерные объемы. Для n-мерного кирпича, т.е. прямоугольного парал-
лелепипеда Π = [a1; b1] × . . . × [an; bn], объем равен V (Π) = (b1 − a1) · · · (bn − an). Нетрудно проверить, что если один кирпич составлен из нескольких (они могут иметь общие точки на гранях, но не должны иметь общих внутренних точек), то их объемы складываются (аддитивность). Из этого следует, что если множество можно составить из конечного числа кирпичей разными способами, то его объем = сумма объемов этих кирпичей получится одинаковым. Такие множества назовем кирпичными.
Определение 11.1. Пусть множество B Rn. Его внутренний и внешний n- мерный объем определяются так (здесь K, M кирпичные множества) :
V (B) = sup{V (K) : K B}; V (B) = inf{V (M) : M B}.
Åñëè V (B) = V (B), то говорят, что B измеримо (по Жордану), и определен
åãî n-мерный объем V (B) = V (B) = V (B). |
|
|
|
|
Если множество измеримо по Жордану, то оно ограничено. Если |
K è M äâà |
|||
кирпичных множества, K B M è V (K) > V (B) − ε/2, V (M) < V (B) + ε/2, |
||||
то граница множества B содержится во множестве [M\K], которое |
также является |
|||
|
|
n измеримо |
||
кирпичным и имеет объем < ε. Таким образом, если множество B R |
|
|||
по Жордану, то его граница ∂B тoже измерима и V (∂B) = 0. |
|
|
|
|
Докажем аддитивность n-мерного объема. Пусть A, B R |
n два измеримых |
|||
|
|
|
, ÷òî |
|
множества, A ∩ B = . Задав ε > 0, найдем такие кирпичные A , A , B , B
A A A , |
V (A ) > V (A) − ε, V (A ) < V (A) + ε, |
B B B , |
V (B ) > V (B) − ε, V (B ) < V (B) + ε. |
С учетом того, что A ∩ B = , мы получаем:
V (A B) ≥ V (A B ) = V (A ) + V (B ) > V (A) + V (B) − 2ε,
V (A B) ≤ V (A B ) ≤ V (A ) + V (B ) < V (A) + V (B) + 2ε,
и поскольку ε можно взять сколь угодно малым, отсюда следует
V (A B) = V (A B) = V (A) + V (B) = V (A B) = V (A) + V (B).
40
Определение 11.2. Пусть B Rn измеримое множество. Разбиением B íàçû-
m
вается конечный набор измеримых множеств {Bi}mi=1, таких, что S Bi = B, è
i=1
разные множества Bi не имеют общих внутренних точек. Диаметром разбиения называется величина
diam{ |
|
m |
= |
m |
i |
|
|
i |
{| |
~ |
| |
|
|
|
|
i} |
|
B |
i}i=1 |
i=1 |
, |
ãäå diam B |
|
: |
X, Y |
B |
. |
||||||||
|
|
|
max diam B |
|
= sup XY |
|
|
|
|||||||||
Определение 11.3. Пусть {Bi}mi=1 разбиение множества B Rn, и пусть
выбраны точки Xi |
|
Bi. Интегральной суммой функции f : B |
7→ |
|||||||||||
|
R по разбие- |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
íèþ |
{Bi} |
с выбором точек |
{Xi} |
называется сумма |
{Xi} |
|
Xi |
|||||||
|
|
|
|
|
|
|
|
|
S{Bi} (f) = |
|||||
|
|
|
|
|
|
|
|
|
V (Bi)f(Xi). |
|||||
Аналогично определяются верхняя и нижняя суммы Дарбу: |
|
=1 |
||||||||||||
|
|
|||||||||||||
|
|
|
|
m |
|
|
|
|
|
|
|
m |
|
|
|
|
S |
|
Xi |
|
|
|
|
|
|
|
X |
|
|
|
|
(f) = |
V (B |
) sup f; |
|
S |
{Bi} |
(f) = |
V (B |
) inf f. |
||||
|
|
{Bi} |
|
=1 |
i |
|
Bi |
|
|
i |
Bi |
|
||
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
Определение 11.4. Пусть B Rn измеримое множество. Говорят, что функция f : B 7→R интегрируема (по Риману) на множестве B, если существует число I R, такое, что
ε > 0 δ > 0 : |
åñëè |
diam{Bi} < δ, |
òî |
S{Bi} |
(f) |
|
|
|
|
|
|
−I < ε.
Это число I называется n-кратным интегралом от функции f по множеству B и обозначается
ZZ
I = · · · f(x1, . . . , xn)dx1 . . . dxn.
B
Пример 11.1. Рассмотрим куб Q = [0; 1]Ч[0; 1]Ч[0; 1] и функцию f(x, y) = x+y+2z. Возьмем разбиение {Qi}5i=1, ãäå Q1 ïðèçма (внизу), Q2, . . . , Q5 кубы со стороной
p
1/2. diam{Qi} = diam Q1 = 12 + 12 + 0,52 = 1,5.
Вычислим суммы Дарбу: |
|
|
|
|
|
|
|
|
|
||||||||||||
S |
= 3 |
|
1 |
+ 3 |
|
1 |
+ 2 3,5 |
1 |
|
+ 4 |
|
1 |
= 3,25; |
точное значение интеграла |
|||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
{Qi} |
|
· |
1 |
1 |
|
· 8 |
|
· 8 |
|
|
|
|
|||||||||
|
2 |
|
|
· 8 |
|
1 |
|
1 |
|
|
|
||||||||||
S{Qi} = 0 · 2 + 1 · 8 |
+ 2 1,5 · |
+ 2 |
· |
= 0,75; |
Q |
x + y + 2z dxdydz = 2. |
|||||||||||||||
8 |
8 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
RRR |
|
|
41
|
Разбиение |
M |
|
R |
n называется измель- |
Определение 11.5. |
m |
{Cj}j=1 множества |
B |
|
|
чением разбиения {Bi}i=1, åñëè |
j {1, . . . , M} i {1, . . . , m} : Cj Bi. |
||||
Следующие два утверждения доказываются так же, как в одномерном случае.
Лемма 11.1. Если разбиение {Cj}Mj=1 измельчение разбиения {Bi}mi=1, òî
S{Cj}(f) ≤ S{Bi}(f), S{Cj}(f) ≥ S{Bi}(f).
Следствие 11.1. Если {Bi} è {Ck} два разбиения множества B Rn, òî
S{Bi}(f) ≤ S{Ck}(f).
Определение 11.6. Пусть функция f ограничена на B Rn. Верхним и нижним интегралами Дарбу f ïî B называются величины
I |
(f) = inf S |
|
(f), |
I |
(f) = sup |
|
S |
{Bi} |
(f), |
|
B |
{ |
Bi |
} |
|
|
|
|
|
||
|
|
|
B |
|
|
|
|
|
||
где инфимум и супремум берутся по всем возможным разбиениям B.
Из сдедствия 11.1 получаем неравенство I (f) ≥ I (f).
BB
Теорема 11.1. (Критерий Дарбу). Пусть функция f ограничена на измеримом множестве B Rn. Тогда f интегрируема по Риману на B в том и только том
ZZ
случае, если I |
|
( |
f |
) |
= I |
f |
) |
, и в этом случае |
· · · |
f |
( |
x |
, . . . , x |
n) |
dx |
|
. . . dx |
n = |
I |
( |
f |
) = |
I |
f |
) |
. |
B |
|
|
B ( |
|
|
|
1 |
|
|
1 |
|
B |
|
B ( |
|
|
B
Свойства кратных интегралов
0. Константа интегрируема, и R R
···c dx1 . . . dxn = c · V (B).
B
1. Линейность. Если f(x1, . . . , xn) è g(x1, . . . , xn) интегрируемы на множестве B Rn; c, k R, то функция cf + kg интегрируема, причем
Z Z Z Z Z Z
· · · cf + kg dx1 . . . dxn = c · · · f dx1 . . . dxn + k · · · g dx1 . . . dxn.
B B B
Доказательство. Для любого разбиения {Bi} и любых выбранных точек Xi Bi
справедливо соотношение S |
{Xi} |
(cf + kg) = cS |
{Xi} |
(f) + kS |
{Xi} |
(g). |
|
{Bi} |
|
{Bi} |
|
{Bi} |
|
Остается перейти к пределу при diam{Bi} → 0. |
|
|
|
|||
2. Сужение. Если f(x1, . . . , xn) интегрируемa на множестве B Rn, è åñëè C Bизмеримое множество, то f интегрируема на C.
Доказательство. ε > 0 δ > 0 : åñëè diam{Bi} < δ, òî S{Bi}(f) − S{Bi}(f) < ε. Выберем разбиение {Bi}mi=1 с диаметром < δ, такое, что B1 . . . Bk = C, Bk+1 . . .
B |
m |
= B |
\ |
C. Тогда S |
k (f) |
− |
S |
k (f) < ε. В силу произвольности ε по критерию |
|
|
{Bi}i=1 |
|
{Bi}i=1 |
||||
Дарбу f интегрируема на C.
42
3. Аддитивность. Если f(x1, . . . , xn) интегрируемa на измеримых множествах B, D Rn, не имеющих общих внутренних точек, то она интегрируема и на множестве
B D, причем
Z Z Z Z Z Z
· · · f dx1 . . . dxn = · · · f dx1 . . . dxn + · · · f dx1 . . . dxn.
B D B D
Доказательство. Пусть |
R f dx1 . . . dxn = I, R ···D |
R f dx1 . . . dxn = J. Докажем |
|
для произвольного ε, ÷òîR ···B |
|||
|
|
BI D(f) > I + J − ε |
|
BI D(f) < I + J + ε, |
|||
|
|
|
|
(и тогда по критерию Дарбу все будет доказано). Для этого выберем разбиение {Bi}mi=1 множества B и разбиение {Bi}Mi=m+1 множества D, такие, что
S{Bi}im=1(f)<I + |
|
ε |
|
S{Bi}im=1(f)>I − |
ε |
, S{Bi}mM+1(f)<J + |
|
ε |
|
S{Bi}mM+1(f)>J − |
ε |
||
|
|
, |
|
|
|
|
, |
|
. |
||||
2 |
2 |
2 |
2 |
||||||||||
Построим разбиение {Bi}Mi=1 множества
|
M |
(f) < I + J + ε, |
BI D(f) ≤ S{Bi}i=1 |
||
|
|
|
B D. Тогда получатся оценки
I (f) ≥ S{Bi}M (f) > I + J − ε.
i=1
B D
Из свойств аддитивности и сужения вытекает
Следствие 11.2. (лемма о ½добавлении пустоты ). Пусть C K измеримые множества в Rn, и пусть f : C 7→R. Определим функцию
f(X) f1(X) = 0
ïðè
ïðè
XC
XK\C.
Тогда интегрируемость f ïî C равносильна интегрируемости f1 ïî K, и если они интегрируемы, то их интегралы совпадают.
4. Монотонность. Пусть f è g интегрируемы на множестве B Rn; g ≥ f íà B.
Тогда Z Z Z Z
· · · g dx1 . . . dxn ≥ · · · f dx1 . . . dxn. (17)
B B
Это следует из того, что для любого разбиения и любых выбранных точек выполнено неравенство S{Xi}(g) ≥ S{Xi}(f).
{Bi} {Bi}
5. Оценка по модулю. Если f интегрируемa на множестве B Rn, òî |f| также
интегрируемa, причем |
|
· · · |
Z |
f dx1 |
. . . dxn |
≤ |
Z |
· · · |
|f| dx1 . . . dxn. |
|
Z |
B |
|
|
|
B |
Z |
||
|
|
|
|
|
|
|
|
|
|
Доказательство. Интегрируемость |
|f| |
доказывается |
по критерию Дарбу, поскольку |
|||||||||||||||||||||||||||||||
из неравенства |
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
f |
|
f |
|
получаем |
|
|
|
|
|
|
||||||||
По свойству монотонности| | | |
из неравенств |
|
|
|
|
|
(f) |
|
|
S |
|
(f). |
||||||||||||||||||||||
|
|
y |
|− |
z |
|
≤ | |
y |
− |
z |
| |
вытекает S |
|
( f ) |
S |
{Bi} |
( |
f |
) |
≤ |
S |
− |
|
{Bi} |
|||||||||||
|
|
|
|
|
|
|
|
| |
{Bi} |
|
| | − |
|
| |
| |
|
{Bi} |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
| ≥ |
|
≥ −| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Z ·B· · Z |
|f| dx1 . . . dxn ≥ Z |
·B· · Z f dx1 . . . dxn ≥ − Z ·B· · Z |f| dx1 . . . dxn. |
|
|
|
|
||||||||||||||||||||||||||||
43
6. Теорема о среднем. Если f(x1, . . . , xn) интегрируемa на B Rn, то существует число µ [inf f; sup f], называемое средним значением f на множестве B, такое, что
BB
ZZ
· · · f dx1 . . . dxn = µ · V (B).
B
Åñëè ïðè ýòîì f непрерывна и B связно, то найдется точка X B : µ = f(X).
Доказательство. Применим свойство (17) к неравенствам inf f ≤ f ≤ sup f. Результат
B B
разделим на объем множества B. На связном же множестве функция принимает все промежуточные значения. 
Теорема 11.2. А) Если функция f(x1, . . . , xn) интегрируема на множестве B Rn, то она ограничена на нем.
Б) Если функция f(x1, . . . , xn) ограничена и непрерывна на B, то она интегрируема на нем.
Доказательство. А) Предположим, что функция f интегрируема на B, но не ограни- чена на нем. Для ε = 1 найдем такое δ > 0, что интегральные суммы по разбиениям с diam < δ отличаются от интеграла менее, чем на 1. Возьмем одно такое разбиение {Bi}. Функция f неограничена хотя бы на одном Bk. Если зафиксировать точки
Xi Bi ïðè âñåõ i 6= k, а точку Xk Bk варьировать, то мы получим неограниченное множество значений интегральных сумм противоречие.
Б) Пусть сначала B компакт. Поскольку функция f непрерывна на B, она равномерно непрерывна на нем, т.е.
|
|
|
~ |
|
|
|
ε > 0 δ > 0 : åñëè X, Y B, |XY | < δ, òî |f(X) − f(Y )| < ε. |
|
|
|
|||
Взяв для множества B разбиение |
{ |
B |
с диаметром меньше δ, получим I (f) |
I |
(f) |
≤ |
|
i} |
B |
− B |
|
||
S{Bi}(f)− S{Bi}(f) < ε · V (B). По критерию Дарбу f интегрируема на B.
Теперь рассмотрим произвольное измеримое B. Существует кирпичный компакт
K B, такой, что V (B\K) < |
|
|
|
|
ε |
|
|
|
|
. Построим разбиение {Bi}ik=1 компакта K, |
||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||
|
3 sup |
f |
| |
|||||||||||||||||||||||||||||||
такое, что |
|
|
|
|
|
|
|
|
|
B |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S |
|
|
k (f) |
− |
|
S |
|
|
k (f) < |
ε |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
{Bi}i=1 |
|
|
|
{Bi}i=1 |
|
|
3. |
|
|
|
|
|
|
|
|
|||||||||||||||
Дополним его до разбиения {Bi}im=1 множества B. Тогда |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
I f |
|
I |
( |
f |
) |
≤ |
S |
|
|
|
m |
|
f |
S |
|
|
m |
( |
f |
) ≤ |
|
|
|
||||||||||
≤ {Bi}i=1 |
B ( ) − B |
|
|
|
{Bi}i=1 ( ) − |
|
{Bi}i=1 |
|
|
| |
| |
|||||||||||||||||||||||
|
3 sup f |
· |
|
|
B |
|
| |
| − |
|
|
{Bi}i=1 |
|
|
− 3 sup f |
· |
B |
||||||||||||||||||
S k |
(f) + |
ε |
|
|
|
sup f |
|
|
|
|
|
|
|
S |
k (f) |
|
|
|
|
|
ε |
|
|
sup f |
< ε. |
|||||||||
B | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
B |
| |
| |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
В силу призвольности ε, критерий Дарбу дает нужный результат.
44
12 Способы вычисления кратных интегралов
Теорема 12.1. (o cведeнии кратного интеграла к повторному). Пусть f ограниченная непрерывная функция на измеримом множестве B Rn. Пусть
Bz = {(x1, . . . , xn−1) Rn−1 : (x1, . . . , xn−1, z) B},
ò.å. B |
z |
сечение B |
(n |
− |
1)-мерной плоскостью |
{ |
x |
n = |
z |
} |
. Обозначим h |
= |
inf x |
n |
, |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B |
|
|||||||||
H |
= |
sup x |
n |
, и предположим, что при всех z |
[h; H] множества B |
z |
измеримы. |
|||||||||||||||||||||||||||
|
|
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Тогда верна формула: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
Z |
· · · Z |
|
|
|
|
|
|
|
|
|
H |
· · · Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
f(x1, . . . , xn)dx1 . . . dxn = Z Z |
f(x1, . . . , xn−1, z)dx1 . . . dxn−1 |
dz. |
(18) |
||||||||||||||||||||||||||||||
|
| |
|
B |
|
|
|
|
|
{z |
|
|
|
|
} |
h |
Bz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I{z(z) |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
J |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Непрерывность f как таковая нам не нужна. Нам важно только то, что f интегрируема по B и по каждому Bz. Нужно доказать, что функция I(z) интегрируема по отрезку и е интеграл совпадает с J.
Сначала предположим, что B = [−R; R]n n-мерный куб. Тогда Bz = [−R; R]n−1одинаковые (n − 1)-мерные кубы. Возьмем ε > 0 и найдем такую δ > 0, ÷òî äëÿ
разбиений B с диаметром< δ интегральные суммы заключены между J − ε è J + ε.
√
Пусть N N таково, что 2R n/N < δ. Именно таким будет диаметр разбиения B íà Nn равных кубиков
B |
|
|
= [a |
|
−1 |
; a |
|
] |
× |
. . . |
× |
[a |
in−1 |
; a |
|
], |
ãäå a |
= |
− |
R + |
2R · i |
, 0 |
≤ |
i |
≤ |
N. |
|
i1 |
...in |
|
i1 |
|
i1 |
|
|
|
|
in |
|
i |
|
|
N |
|
|
|
Оценим суммы Дарбу функции I(z) по разбиению [−R; R] точками a0, a1, . . . , aN :
|
N |
2R |
Z |
· · · Z |
|
|
|
|
|
|
n−1 ≤ |
|||
{ai}( ( )) = i=1 |
|
|
( 1 |
|
|
n−1 ) 1 |
|
|||||||
N ai−1≤z≤ai |
|
|
|
|||||||||||
S I z |
X |
|
sup |
|
|
Bz |
x , . . . , x |
|
, z dx |
. . . dx |
|
|
||
|
|
|
|
f |
|
|
|
|||||||
|
|
|
|
| |
|
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
I{z(z) |
|
|
|||||
45
[оценим I(z) через верхнюю сумму Дарбу по разбиению Bz]
N |
2R |
N |
N |
|
2R |
|
n−1 |
Bi1,...,in ∩{xn=z} |
|
|
|||||||
≤ i=1 |
N ai−1≤z≤ai |
i1=1 |
in−1 |
=1 N |
|
|
|
||||||||||
X |
|
|
X |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sup |
|
. . . |
|
|
|
|
|
|
sup |
f |
|
|
|
||
|
|
|
|
|
N |
|
|
N |
|
2R |
|
n |
|
|
|
|
|
|
|
|
|
|
≤ i1 |
=1 |
|
|
|
|
Bi1,...,in |
{Bi1,...,in } |
≤ |
||||
|
|
|
|
|
|
|
in=1 N |
|
|||||||||
|
|
|
|
|
X X |
|
|
|
|
|
f = S |
|
|||||
|
|
|
|
|
|
. . . |
|
|
|
|
|
sup |
|
(f) J + ε. |
|||
Следовательно, |
RRI (I(z)) |
|
J +ε. Аналогично доказывается, что |
|
RRI |
(I(z)) |
|
J ε. |
||||||
|
|
произвольно мал, мы получаем |
|
− |
|
|
|
|
≥ |
− |
||||
|
|
− |
|
≤ |
|
|
|
|
|
|
|
|||
Поскольку ε |
|
|
|
|
|
−RRI (I(z)) = −RRI (I(z)) = |
J, ÷òî è |
|||||||
требовалось доказать. |
|
|
|
|
|
|
|
|
|
|
|
|||
Теперь рассмотрим произвольное измеримое множество B. Оно ограничено = |
||||||||||||||
содержится в некотором кубе K = [−R; R]n |
. Воспользуемся следствием 11.2, положив |
|||||||||||||
|
|
|
|
|
|
|
|
|
||||||
f1 = f íà B, f1 = 0 íà K\B : |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Z ·B· · Z f dx1 . . . dxn = Z ·K· · Z f1 dx1 . . . dxn = |
|
|
|
|
|
|
|
||||
R |
dz Z |
|
|
|
H |
|
|
|
|
|
|
|
|
|
= Z |
· · · Z f1(.., z)dx1 . . . dxn−1 = Z dz Z · · · Z f(.., z)dx1 . . . dxn−1, |
|
||||||||||||
−R |
|
|
Kz |
|
|
h |
Bz |
|
|
|
|
|
|
|
поскольку при z < h è z > H сечение Bz = . |
|
|
|
|
|
|
|
|
||||||
Посмотрим, что даст нам эта теорема в двумерном случае. Пусть |
|
|
|
|
|
|||||||||
|
|
|
D = {(x, y) : h ≤ x ≤ H, u(x) ≤ y ≤ v(x)}, |
|
|
|
|
|
|
(19) |
||||
где функции u è v непрерывны на [h; H] è u(x) ≤ v(x). Тогда Dx = [u(x); v(x)], и формула 18 примет вид
ZZ |
H |
v(x) |
|
|
f(x, y)dxdy = Z |
dx Z |
f(x, y)dy. |
|
|
D |
h |
u(x) |
|
|
В трехмерном случае теорему придется применить дважды. Пусть |
|
|||
B = {(x, y, z) : (x, y) D, ϕ(x, y) ≤ z ≤ ψ(x, y)}, |
(20) |
|||
где фигура D имеет вид (19), функции ϕ è ψ непрерывны на D è ϕ ≤ ψ. Тогда
сечение Bx = {(y, z) : u(x) ≤ y ≤ v(x), ϕ(x, y) ≤ z ≤ ψ(x, y)}. Получаем:
|
H |
H |
v(x) |
ψ(x,y) |
|
ZZZ f(x, y, z)dxdydz = Z dx ZZ f(x, y, z)dydz = |
Z dx Z dy |
Z |
f(x, y, z)dz. |
||
B |
h Bx |
h |
u(x) |
ϕ(x,y) |
|
Если двумерное множество имеет более сложный вид, чем (19), или трехмерное тело сложнее, чем (20), то его нужно разбить на несколько частей вида (19) (соотв. (20)) и воспользоваться аддитивностью кратного интеграла.
46
Пример 12.1. Пусть f(x, y) = x2y2, D = {1 < x2 + y2 < 4, x > 0, y > 0} четверть
плоского кольца. Чтобы свести двойной интеграл к повторному, нужно разбить D
|
√1 − x2 < y < √4 − x2 |
|
|
0 < y < √4 − x2 |
|
|
на две части: D1 = |
|
0 < x < 1 |
|
, D2 = |
1 ≤ x < 2 |
. |
|
|
|
|
|||
Вычислять интеграл пришлось бы так:
|
|
|
|
|
|
|
|
√ |
|
|
|
|
|
|
√ |
|
|
|
|
|
||||||||
|
|
|
|
|
1 |
|
4−x2 |
|
2 |
|
|
4−x2 |
|
|
|
|||||||||||||
ZZ |
|
x2y2dxdy = Z |
dx |
|
Z |
|
x2y2dy + Z |
|
dx |
|
Z |
|
x2y2dy = |
|
||||||||||||||
|
√ |
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
D |
|
|
|
|
0 |
|
|
|
1 |
|
|
|
0 |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
1−x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
1 |
|
y=√ |
|
|
|
|
|
|
2 |
|
|
|
y=√ |
|
|
|
|
|
|
|
|
||||
|
|
|
|
4 x2 |
|
|
|
|
|
|
|
|
4 |
|
x2 |
|
|
|
|
|
||||||||
|
= Z |
x2y3 |
y=√ |
− |
!dx + Z |
|
x2y3 |
y=0 |
− |
|
!dx = |
|
|
|||||||||||||||
|
3 |
3 |
|
|
|
|
||||||||||||||||||||||
|
1 x2 |
|
|
|
|
|||||||||||||||||||||||
|
|
|
0 |
|
|
− |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
= Z |
|
3 (4 − x2)3/2 − (1 − x2)3/2 dx + Z |
|
3 (4 − x2)3/2dx = . . . |
||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|||
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Но мы его вычислим другим способом чуть позже. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
Замена переменных в кратных интегралах |
|
|
||||||||||||||||||||||||
Теорема 12.2. (без доказательства). Пусть измеримое U |
|
R |
n |
область (ò.å. |
||||||||||||||||||||||||
связное открытое). Пусть отображение Y |
|
|
|
|
|
|
|
|
|
|
|
|
|
n инъективно |
||||||||||||||
= (y1, . . . , yn) : U 7→R |
|
|||||||||||||||||||||||||||
и дифференцируемо, причeм все частные производные |
∂yi/∂uj ограничены и непре- |
|||||||||||||||||||||||||||
рывны на U. Тогда множество W = Y (U) (образ U под действием Y ) измеримо, и для любой функции f, ограниченной и непрерывной на W , верна формула замены
переменных: |
|
Z |
W· · · Z |
f(y1, . . . , yn)dy1 . . . dyn = |
|
|
(21) |
||||
= Z |
· · · Z |
f y1(u1, .., un), . . . , yn(u1, .., un) |
|
det JY (u1, .., un) du1 . . . dun, |
|||||||
|
U |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ãäå JY матрица Якоби отображения Y : |
|
|
|
|
|
|
|||||
|
|
JY (u1 |
, . . . , un) = ∂y1./∂u. . |
1 |
.. .. .. ∂y1./∂u. . |
n |
. |
|
|||
|
|
|
|
|
∂yn/∂u1 |
. . . ∂yn/∂un |
|
|
|||
Следствие 12.1. Пусть выполнены условия теоремы 12.2. Подставаив функцию f ≡ 1, мы получим, что n-мерный объeм множества W = Y (U) равен
ZZ
V (W ) = · · · det JY (u1, . . . , un) du1 . . . dun.
U
47
Эта формула проясняет геометрический смысл якобиана (определителя матрицы Якоби): коэффициент увеличения объема при отображении Y .
В двумерном случае самая часто употребляемая замена переменных полярные координаты (обозначим y1 = x, y2 = y; u1 = ρ, u2 = ϕ):
x |
= |
ρ |
cos ϕ |
; |
Y : (ρ, ϕ) : |
ρ > 0 |
7→R2\{O}. |
Y (ρ, ϕ) = y |
ρ |
·· sin ϕ |
−π < ϕ ≤ π |
Вычислим якобиан:
det JY (ρ, ϕ) = |
|
∂x/∂ρ ∂x/∂ϕ |
= |
|
cos ϕ −ρ sin ϕ |
= ρ. |
|
|
|
|
|
Пример 12.1 (продолжение) |
. Прообраз области |
D есть прямоугольник |
U = (ρ, ϕ) : |
||||
|
∂y/∂ρ ∂y/∂ϕ |
sin ϕ |
ρ cos ϕ |
|
|
|
|
|
|
|
|
2 |
{ |
2 |
|
1 4< ρ2< 2, 0 < ϕ < π/2}. Функция f(x(ρ, ϕ), y(ρ, ϕ)) примет вид (ρ cos ϕ) |
(ρ sin ϕ) |
|
= |
||||
ρ sin 2ϕ |
|
|
|
|
|
|
|
4. По формуле (21) получаем
ZZ |
π/2 |
2 |
ρ4 |
sin4 |
2 |
|
|
|
π/2 |
sin4 |
2ϕ · 6 |
ρ=1!dϕ = |
||||||
x2y2dxdy = Z |
dϕ Z |
ϕ |
· ρ dρ = Z |
|||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
ρ6 |
ρ=2 |
|||
D |
0 |
|
|
1 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 8 |
|
|
π/2 |
|
|
|
|
|
π/2 |
|
|
32 . |
|
||||
|
|
Z0 |
sin2 2ϕdϕ = 16 |
Z0 |
1 − cos 4ϕdϕ = |
|
||||||||||||
|
21 |
|
|
|
|
|
|
21 |
|
|
|
|
21π |
|
||||
Теперь рассмотрим замены переменных в трехмерном случае.
Цилиндрические координаты. u1 = ρ расстояние от оси u3 = h высота.
Y (ρ, ϕ, h) = |
y |
= |
ρ |
· sin ϕ |
; |
Y : |
π < ϕ π |
||
|
x |
|
ρ |
cos ϕ |
|
− |
ρ > 0 |
||
|
z |
|
|
· h |
|
h |
|
R≤ |
|
|
|
|
|
|
|
|
|||
Oz, u2 = ϕ азимут,
7→R3\Oz;
якобиан равен
|
|
∂x/∂ρ |
∂x/∂ϕ |
∂x/∂h |
|
|
|
cos ϕ |
−ρ sin ϕ |
0 |
|
|
|
|
det JY (ρ, ϕ, h) = |
|
∂y/∂ρ |
∂y/∂ϕ |
∂y/∂h |
|
= |
|
sin ϕ |
ρ cos ϕ |
0 |
|
= ρ. |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂z/∂ρ |
∂z/∂ϕ |
∂z/∂h |
|
|
0 |
0 |
1 |
|
|
|
||
Сферические координаты. |
u1 |
= r расстояние |
от начала координат, |
u2 = ϕ |
||||||||||
долгота, u3 = ψ широта.
|
|
xr cos ψ cos ϕ
Y (r, ϕ, ψ) = y = r cos ψ sin ϕ ;
zr sin ψ
|
|
|
r > 0 |
|
|
Y : |
−π < ϕ ≤ π 7→R3\Oz; |
|
|ψ| < π/2 |
якобиан равен
det JY (r, ϕ, ψ) = |
cos ψ sin ϕ |
r cos ψ cos ϕ |
−r sin ψ sin ϕ |
|
= r2 cos ψ. |
|
cos ψ cos ϕ |
−r cos ψ sin ϕ |
r sin ψ cos ϕ |
|
|
sin ψ |
0 |
− r cos ψ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
48
сектору |
|
|
|
2 |
2 |
2 |
|
x2 + y2 |
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos ψ |
|
|
|
|||||||||||
Пример 12.2. Проинтегрируем функцию f(x, y, z) = x2 x2 + y2 |
+ z2 по шаровому |
||||||||||||||||||||
|
Ω = |
x |
|
+ y + z |
< 1, z > r |
|
|
|
o |
= r < 1, sin ψ > |
|
√ |
|
|
|
o |
(интервал |
||||
|
|
3 |
|
||||||||||||||||||
|
|
|
|
3 |
|
||||||||||||||||
|
|
îñèn |
|
придется изъять, ведь там |
n |
|
|
|
|
|
|
|
нельзя |
||||||||
0 < z < 1 |
|
Oz |
|
|
|
нарушается инъективность |
Y |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
однозначно определить долготу, но это неважно: его объем равен 0).
Ω |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ZZZ x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x2 |
+ y2 |
+ z2 dxdydz = |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Ω |
p |
|
|
|
π/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
π |
1 |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
= Z |
dϕ Z |
dψ Z |
r3 cos2 ϕ cos2 ψ · r2 cos ψ dr = |
|
|
|
|
|
|||||||||
|
|
|
|
−π |
π/6 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
= 6 |
π |
|
π/2 |
π |
cos2 ϕ · 24dϕ = |
6 |
· 24. |
||||||||
|
|
|
|
|
|
Z |
dϕ Z |
cos2 ϕ cos3 ψdψ = 6 |
Z |
||||||||||||
|
|
|
|
|
|
1 |
|
|
|
1 |
|
5 |
|
π |
5 |
|
|||||
|
|
|
|
|
|
|
|
−π |
|
π/6 |
|
|
−π |
|
|
|
|
|
|
|
|
49
13 Приложения двойных и тройных интегралов
ГЕОМЕТРИЧЕСКИЕ ПРИЛОЖЕНИЯ
Двойной интеграл от 1 по плоской фигуре даст площадь фигуры. Если свести двойной интеграл к повторному, то получатся формулы площадей в декартовых и полярных координатах, изученные в прошлом семестре.
Двойные интегралы применяются также для вычисления площадей поверхностей, об этом речь пойдет на лекции 15.
Объем трехмерного тела вычисляется через тройной интеграл от 1, и здесь уже наши возможности расширятся.
1. Пусть тело задано в декартовых координатах:
B = {(x; y; z) : (x; y) D, g(x, y) ≤ z ≤ h(x, y)} ,
ãäå D R2 квадрируемый компакт (проекция B); функции g è h непрерывны на D, h ≥ g íà D. Тогда тело B кубируемо, и его объем равен
ZZ
V (B) = h(x, y) − g(x, y) dxdy.
D
2. Пусть тело задано в цилиндрических координатах:
C = {α ≤ ϕ ≤ β; r(ϕ) ≤ ρ ≤ R(ϕ); u(ρ, ϕ) ≤ h ≤ v(ρ, ϕ)} ,
ãäå 0 < β − α ≤ 2π; 0 ≤ r ≤ R, функции r è R
непрерывны на {α ≤ ϕ ≤ β; r(ϕ) ≤ ρ ≤ R(ϕ)} .
равен
β R(ϕ)
непрерывны на [α; β]; функции u ≤ v Тогда тело C кубируемо, и его объем
Z |
Z |
|
|
|
|
V (C) = |
dϕ |
v(ρ, ϕ) − u(ρ, ϕ) ρ dρ. |
αr(ϕ)
3.Пусть тело задано в сферических координатах:
Ω= {α ≤ ϕ ≤ β; s(ϕ) ≤ ψ ≤ n(ϕ); r ≤ R(ϕ, ψ)} ,
ãäå 0 < β − α ≤ 2π; −π/2 ≤ s ≤ n ≤ π/2, функции s è n непрерывны на [α; β]; ôóí-
кция R ≥ 0 непрерывнa на {α ≤ ϕ ≤ β; s(ϕ) ≤ ψ ≤ n(ϕ)} . Тогда тело Ω кубируемо, и его объем равен
β |
n(ϕ) |
R(ϕ,ψ) |
β |
n(ϕ) |
|
|
|
|
|
||
V (Ω) = Z |
dϕ Z |
|
Z |
ρ2 cos ψ dρ = Z |
dϕ Z |
3 |
( |
ϕ, ψ |
) |
|
|
dψ |
R |
|
cos ψ dψ. |
||||||||
|
|
3 |
|
||||||||
α |
s(ϕ) |
|
0 |
|
α |
s(ϕ) |
|
|
|
|
|
50
ФИЗИЧЕСКИЕ ПРИЛОЖЕНИЯ
Кратный интеграл 7позволяет вычислить полное значение аддитивной скалярной физической величины , если известна плотность е распределения (поверхностная или объемная), и эта плотность зависит более чем от одной координаты.
Åñëè Π плоская пластина, и величина M имеет поверхностную плотность распределения σ(x, y), то полное значение M и среднее значение σ вычисляются так:
M(Π) = ZZΠ |
σ(x, y)dxdy; σ = S(Π) . |
(22) |
|
|
|
M(Π) |
|
Если B трехмерное тело, и величина M имеет пространственную плотность распределения γ(x, y, z), то полное значение M и среднее значение γ вычисляются
òàê: |
ZZZB |
γ(x, y, z)dx; γ = V ((B)). |
(23) |
||||
M(B) = |
|||||||
|
|
|
|
|
M B |
|
|
|
|
|
|
|
|
|
|
Пример 13.1. Найти среднюю плотность γ шара, если плотность линейно изменяется от центра к поверхности от величины γo äî γ1.
Пусть R радиус шара, O(0; 0; 0) его центр. Тогда
|
|
2 |
|
ZZZ2 2 |
2 |
|
o |
|
|
|
R |
|
|
|
|
|
|
|
|
|
|||
|
M = |
|
|
|
|
|
|
γ |
|
+ |
γ1 − |
γo |
|
x2 |
+ y2 + z2 |
dxdydz. |
|||||||
|
{x +y +z ≤R } |
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
||||||||
Перейдем к сферическим координатам: |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
R |
|
π |
|
π/2 |
o |
|
|
|
R |
|
|
|
|
|
|||||
|
|
|
Z |
Z |
|
Z |
|
|
|
|
|
|
|
|
|||||||||
|
M = |
|
dr |
dϕ |
|
|
γ |
|
+ |
|
γ1 − γo |
r |
r2 cos ψ dψ = |
|
|||||||||
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
0 |
−π |
|
−π/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
R |
π |
|
o |
|
|
|
R |
|
|
|
|
|
|
R |
|
|
o |
R |
|
||||
Z Z |
|
|
|
|
|
|
|
|
|
Z |
|||||||||||||
= dr |
γ |
r2 + |
γ1 |
− γo |
r3 2dϕ = 4π γ r2 + |
γ1 − γo |
r3 dr = |
||||||||||||||||
|
|
|
|||||||||||||||||||||
0 |
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
4R |
|
|
r=R |
||
|
|
|
|
|
γo r4 |
r=0 |
||||||
= 4π γo r3 |
+ γ1 |
− |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
γo + 3γ1 |
|
|
|
||||||
Ответ: γ = |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
4 . |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|||
= |
43 |
γo + 4(γ1 |
|
|
|
π |
3 |
− γo) R3 = V · γo + 3γ1 .
4
7Такими величинами являются: масса; заряд; энергия (потенциальная, кинетическая, тепловая); статический момент; момент инерции; одна из компонент силы, действующей на тело (давление, притяжение) или вызываемой этим телом; момент такой силы.
51
Моменты и центр масс
Если известна плотность распределения массы % (поверхностная или объемная),
то статические моменты и моменты инерции имеют соответствующие плотности распределения:
äëÿ
äëÿ
äëÿ
Mx My Mz
плотность
плотность
плотность
x · % y · % z · %
äëÿ
äëÿ
äëÿ
JOx
JOy
JOz
плотность
плотность
плотность
(y2 + z2)% (x2 + z2)% (x2 + y2)%
Моменты вычисляются через интегралы по формулам (22) или (23). Центр масс имеет координаты xc = Mx/M, yc = My/M, zc = Mz/M.
Пример 13.2. Найти центр масс квадратной пластины [0; 1]×[0; 1] с плотностью
σ(x, y) = ex+y. Масса пластины равна
1 |
1 |
1 |
|
M = Z0 |
dx Z0 |
ex+ydy = Z0 |
(ex+1 − ex)dx = (e − 1)2. |
Статический момент по x :
1 |
|
1 |
1 |
|
|
1 |
|
|||
Mx = Z0 |
dx Z0 |
x · ex+ydy = Z0 |
x(ex+1 − ex)dx = (e − 1) Z0 |
xdex = |
||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
= (e − 1)(xex − ex) 0 |
= e − 1. |
|
|||
|
|
Mx |
1 |
|
|
|
|
|
||
Следовательно, xc = |
|
|
= |
|
. Äëÿ yc получится |
то же самое. |
|
|||
M |
e − 1 |
|
||||||||
Пример 13.3. Найти момент инерции шара из примера 13.1 относительно оси
Oz.
Плотность распределения момента инерции равна γ(x, y, z) ·(x2 + y2), следовательно, он вычисляется через интеграл
|
Oz |
2 |
ZZZ2 2 2 |
|
o |
|
R |
|
|
|
|
J |
|
= |
|
γ |
|
+ |
γ1 − γo |
|
x2 |
+ y2 + z2 |
(x2 + y2)dxdydz. |
|
|
{x +y +z ≤R } |
|
|
|
|
p |
|
|
||
Перейдем к сферическим координатам:
52
|
|
R |
π |
|
π/2 |
|
|
|
|
|
γ1 − γo |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
J |
Oz |
= |
dr |
dϕ |
|
|
γ |
o |
+ |
r |
|
r2 cos2 ψ |
|
r2 cos ψ dψ = |
|
|
|
|
|
|
||||||||||||||||||||||||||
|
Z Z |
|
Z |
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
+y |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
0 |
−π |
−π/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
x |
|
} π/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
R |
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
= |
dr |
|
dϕ |
γ |
r4 |
+ |
|
γ1 − γo |
r5 |
|
|
Z |
(1 |
− |
sin2 |
ψ)d sin ψ = |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
Z |
Z |
|
|
|
|
o |
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
0 |
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−π/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
R |
|
|
|
π |
|
|
|
|
|
|
|
γ1 − γo |
|
|
|
|
|
|
|
|
|
s3 |
1 |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
= dr |
|
|
γ |
|
r4 |
+ |
r5 |
|
|
|
s |
− |
|
|
dϕ = |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
Z Z |
o |
|
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
3 |
|
1 |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
R |
π |
0 |
|
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
− |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
γ1 − γo |
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
8π |
|
|
|
|
γ1 − γo |
|
|
|
|
|
||||||||
|
|
= dr |
γ |
r4 + |
r5 |
|
dϕ = |
|
|
|
γ |
r4 + |
r5 |
dr = |
|
|||||||||||||||||||||||||||||||
|
|
|
|
Z |
|
3 |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
Z Z |
o |
|
|
|
|
|
|
R |
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
o |
|
|
|
R |
|
|
|
|
|
|
|||||||||
|
|
|
0 |
−π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
r=R |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8π γo r5 |
|
|
γ1 − γo r6 |
|
4π γo |
|
γ1 |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
+ |
|
= |
+ |
R5. |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
5 |
|
|
|
|
|
|
|
6R |
|
r=0 |
3 15 |
|
3 |
|
|||||||||||||
Докажем одну известную теорему из механики.
Теорема Штейнера. Пусть ` è `o две параллельные прямые в
между ними равно δ, и центр масс тела B лежит на `o. Тогда для тела B верна формула J` = J`o + M(B) · δ2.
Доказательство. Поместим начало координат в центр масс B, пусть Oz = `o, è пусть прямая ` проходит через точку (δ; 0; 0). Тогда
|
|
|
|
J` = ZZZB |
γ(x, y, z)((x − δ)2 + y2)dxdydz = |
|
|
|
|
||||||||
= ZZZB |
γ · (x2 + y2)dxdydz − 2δ · ZZZB |
γ · x dxdydz + δ2 · ZZZB |
γ dxdydz. |
||||||||||||||
| |
|
|
J{z`o |
|
} |
| |
|
|
{z |
|
} |
| |
|
|
|
|
} |
|
|
|
|
|
|
|
M{z(B) |
||||||||||
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
||
53
