
UML_4256
.pdf
|
σ (τ, f )− I |
|
< ε |
(4) |
|
|
не зависимо от выбора точки ξi .
Определение 2. Предел интегральных сумм (3) называется кратным интегралом от функции f (x) по множеству E , то есть
∫ f (x)dx = lim |
m |
|
|
∑ f (ξi )µ(Ei ). |
(5) |
||
E |
δτ →0 i=1 |
|
Теорема 2. Определения 1 и 2 эквивалентны.
Доказательство. Заключим область интегрирования E в брус π% . Тогда функция F(x) (см. (1)) будет продолжением функции f (x) в
область π \ E . При таком продолжении к возможным точкам разрыва функции f (x) внутри области E добавятся возможные точки разрыва
на границе ∂E . А поскольку мера Жордана границы ∂E равна нулю, то
∫ |
f (x)dx = ∫ F(x)dx (см. свойство 6 в теореме 1). |
E |
π |
Примем определение 2, то есть будем считать (5) верным. Поскольку предел интегральных сумм в (5) не зависит от способа разбиения области интегрирования, то справедливо равенство (3) в §2. А это означает, что из определения 2 следует определение 1.
Доказательство обратного утверждения (что из определения 1 следует определение 2) довольно громоздкое, поэтому примем его без доказательства. Заметим только, что фактически мы принимаем без доказательства утверждение, что мера Жордана области интегрирования не зависит от способа ее разбиения, в частности от выбора системы координат, поскольку ребра элементарных брусов мы выбираем параллельными осям координат.
§ 4. Сведение двойного интеграла к повторному
Рассмотрим сначала частный случай, когда ограниченная функция двух переменных f (x, y) задана на двумерном брусе (прямоугольнике)
π |
= [a1,b1 ]×[a2 ,b2 ]. |
(1) |
Теорема. Если функция двух переменных |
f (x, y) интегрируема |
на прямоугольнике (1), то есть существует двойной интеграл Римана ∫∫ f (x, y)dxdy , и для всякого фиксированного x [a1,b1 ] существует
π
однократный интеграл Римана
391

J (x)= b∫2 |
f (x, y)dy , |
|
|
(2) |
||
a2 |
|
|
|
|
|
|
|
|
b |
|
b |
b |
f (x, y)dy , равный |
то существует повторный интеграл ∫1 |
J (x)dx = ∫1 dx ∫2 |
|||||
двойному, то есть |
|
a1 |
|
a1 |
a2 |
|
b |
b |
|
|
|
|
|
|
f (x, y)dy . |
|
|
|||
∫∫ f (x, y)dxdy = ∫1 dx ∫2 |
|
(3) |
||||
π |
a1 |
a2 |
|
|
|
|
Доказательство. Разобьем ребро [a1,b1 ] |
на k отрезков точками |
|||||
a1 = x0 < x1 < x2 < ... < xk = b1 , а ребро |
[a2 ,b2 ] |
на |
p |
отрезков точками |
||
a2 = y0 < y1 < y2 <... < yp = b2 . |
Проведем через |
точки xi , y j прямые, |
параллельные осям координат, получим сеточное разбиение
прямоугольника π |
|
на |
|
элементарные |
ячейки π |
ij = ∆xi ×∆y j (см. |
|||||||||||||
рисунок). |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
b2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
yj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π ij |
|
|
|
|
|
|
|
|
|
|||
|
yj−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
0 |
|
|
a1 |
x |
|
|
x |
i |
b |
1 |
|
|||||||
|
|
|
|
|
|
|
i−1 |
|
|
|
|
|
|
|
|
|
Пусть mij и |
Mij |
– точные |
нижняя |
и |
верхняя грани функции |
|||
f (x, y) на ячейке π |
ij . Тогда |
|
|
|
|
|
||
|
|
|
mij ≤ f (x, y)≤ Mij . |
|
(4) |
|||
Зафиксируем |
|
в |
(4) |
переменную |
x |
(положим x = ξi , |
где |
|
ξi [xi−1, xi ] – произвольная точка) и проинтегрируем неравенство (4) |
||||||||
по переменной y по отрезку |
|
|
|
|
|
|||
y j−1, y j . В результате получим |
|
|||||||
|
|
|
|
y j |
(ξi , y)dy ≤ Mij ∆y j . |
|
||
|
|
mij ∆y j ≤ ∫ f |
(5) |
|||||
|
|
|
|
y j−1 |
|
j , получим |
|
|
Суммируя неравенства (5) по индексу |
|
|||||||
|
|
|
|
392 |
|
|
|
|
p |
|
|
p |
|
|
∑ mij ∆y j ≤ J (ξi )≤ ∑ Mij ∆y j . |
(6) |
|||
|
j=1 |
|
j=1 |
|
|
p |
y j |
b |
|
|
|
|
|
2 |
f (ξi , y)dy . |
|
|
Здесь J (ξi )= ∑ ∫ |
f (ξi , y)dy = ∫ |
|
|||
j=1 y |
j−1 |
a |
|
|
|
|
|
2 |
|
|
|
Умножим теперь неравенства (6) на ∆xi и просуммируем по |
|||||
индексу i . Получим |
|
|
|
|
|
k p |
|
|
k |
k p |
|
∑ ∑ mij ∆xi ∆y j |
≤ ∑ J (ξi )∆xi ≤ ∑ ∑ Mij ∆xi∆y j . |
(7) |
|||
i=1 j=1 |
|
|
i=1 |
i=1 j=1 |
|
Левая и правая части неравенства (7) представляют собой нижнюю и верхнюю суммы Дарбу. И поскольку двойной интеграл существует,
то в пределе, когда |
диаметр |
разбиения δτ → 0, |
они совпадают с |
|||
двойным интегралом |
∫∫ f (x, y)dxdy . Средняя часть неравенства |
(7) |
||||
|
|
π |
|
|
|
|
представляет собой интегральную сумму для функции J (x) на отрезке |
||||||
[a1,b1 ]. Так как при |
δτ → 0 |
max ∆xi → 0 , то по |
теореме о «двух |
|||
милиционерах» имеем |
b1 |
|
|
|
||
|
k |
|
J (x)dx = ∫∫ f (x, y)dxdy . |
|
||
lim |
∑ J |
(ξi )∆xi = ∫ |
|
|||
max ∆xi →0 i=1 |
|
a1 |
π |
|
|
|
Теорема доказана. |
|
|
|
|
|
|
Сведение двойного интеграла к повторному – основной способ |
||||||
вычисления двойного интеграла. |
|
|
|
|||
Пример 1. Вычислить интеграл |
|
|
||||
|
∫∫(x2 + y2 )dxdy , |
D :1 ≤ x ≤ 2, 2 ≤ y ≤ 3. |
|
|||
|
D |
|
|
f (x, y) = x2 + y2 |
|
|
Решение. |
Функция |
|
непрерывна |
в |
прямоугольнике D , следовательно, интегрируемая и удовлетворяет условиям теоремы. Воспользуемся формулой (3):
|
2 |
3 |
|
2 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||
∫∫(x2 + y2 )dxdy = ∫dx∫ |
(x2 |
+ y2 )dy = ∫ |
x2 y + |
|
|
y3 |
|
32 dx = |
|||
3 |
|||||||||||
D |
1 |
2 |
|
1 |
|
|
|
|
|||
|
|
|
2 |
|
|
19 |
|
|
1 |
|
|
|
19 |
|
|
|
|
26 |
|
|||
|
|
|
|
|
|
|
|||||||||||||
= ∫ |
x2 |
+ |
|
|
dx = |
|
|
x3 |
+ |
|
|
x |
|
12 |
= |
|
. Ответ совпадает с результатом, |
||
3 |
3 |
3 |
3 |
||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
полученным в примере §2.
Замечание 1. Если поменять местами x и y , то при тех же требованиях теоремы вместо (3) получим
393

|
b |
b |
|
∫∫ f (x, y)dxdy = ∫2 |
dy ∫1 f (x, y)dx . |
(8) |
|
π |
a2 |
a1 |
|
Замечание 2. Формулы (3) и (8) доказывают возможность менять порядок интегрирования в повторном интеграле, если требования теоремы выполняются (см. (7) в §1, гл.10).
Пусть теперь функция двух переменных f (x, y) задана на
произвольном компакте K , граница переменных которого ∂K является кусочно-гладкой кривой. Тогда граница имеет нулевую двумерную меру, поэтому сам компакт – измеримое множество. Положим, что компакт K является элементарным множеством вдоль оси y . Это
означает, что любая прямая, параллельная оси y, пересекает границу ∂K не более чем в двух точках или совпадает с границей (см. рисунок).
y |
y2 (x) |
|
|
b2 |
|
||
|
|
|
|
a2 |
y1 |
(x) |
|
|
x |
||
0 |
a1 |
b |
|
|
|
1 |
|
Пусть π K – брус, содержащий компакт K . В этом случае компакт можно представить в виде:
K ={(x, y) R2 : a1 ≤ x ≤ b1 ,
y1 (x)≤ y ≤ y2 (x)}, |
(9) |
где y1 (x) и y2 (x) – кусочно-гладкие функции.
Сведем и в этом случае двойной интеграл по компакту K к повторному интегралу.
(π |
Пусть прямоугольник π |
= [a1,b1 ]×[a2 ,b2 ] содержит компакт K |
|||
K ) и пусть функция |
(x, y) K, |
||||
|
F (x, y)= f (x, y), |
||||
|
|
|
|
||
|
0, |
(x, y) π \ K. |
394

|
|
|
Если функция F (x, y) |
удовлетворяет требованиям теоремы, то |
|||||||||||||||||||||
справедлива формула (3), |
которая |
для |
функции |
f (x, y) |
согласно |
||||||||||||||||||||
определению 1 §3 запишется так: |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
∫∫ f |
(x, y)dxdy =∫∫F (x, y)dxdy = |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
K |
|
|
π |
|
|
|
|
y (x) |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
b |
b |
|
|
|
b |
|
(x, y)dy. |
|
|
|||||||||
|
|
|
|
|
|
= ∫1 dx ∫2 F (x, y)dxdy = ∫1 dx |
2∫ |
f |
|
(10) |
|||||||||||||||
|
|
|
|
|
|
|
a1 |
a2 |
|
|
a1 |
|
y1(x) |
|
|
|
|
|
|
|
|
|
|||
|
|
|
Замечание |
3. Если |
компакт |
|
K |
– |
элементарное множество в |
||||||||||||||||
направлении оси x , то есть его можно представить в виде |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
{ |
|
|
2 |
|
|
|
2 |
1 |
|
|
|
|
2 |
} |
|
||
|
|
|
|
|
|
K = (x, y) R2 |
: a |
≤ y ≤ b , x (y)≤ x ≤ x |
(y) , |
(11) |
|||||||||||||||
то вместо формулы (10) будем иметь |
(y) |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
b |
x |
f (x, y)dx . |
|
|
||||||||||
|
|
|
|
|
|
|
|
∫∫ |
f (x, y)dxdy = ∫2 dy |
2∫ |
|
(12) |
|||||||||||||
|
|
|
|
|
|
|
|
K |
|
|
a2 |
x1(y) |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Пример 2. Найти площадь фигуры D , ограниченной кривыми: |
||||||||||||||||||||||
|
y |
|
|
|
|
|
|
(x −1)2 + y2 =1, y = 2 |
|
|
x, x = 2 (см. рисунок). |
||||||||||||||
|
|
|
|
|
|
|
Решение. Согласно следствию §3 имеем |
|
|||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 x |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
µ(D)= S = ∫∫ dxdy =∫dx |
|
∫ |
dy = |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
D |
|
|
0 |
|
1−(x−1)2 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−(x −1) |
2 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
= ∫ |
2 x − 1 |
|
|
dx = |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
0 |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 |
2 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
4 |
|
|
|
1 |
|
|
|
|
1 |
|
|
8 |
|
2 − π . |
|
|||||||||
= |
|
x3 − |
|
(x |
−1) |
1−(x − |
1)2 − |
arcsin (x −1) |
|
02 = |
|
|
|||||||||||||
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||
3 |
|
|
9 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
3 |
|
2 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание 4. Если компакт K не является элементарным в направлении осей координат, но его можно представить в виде конечного объединения элементарных компактов, не имеющих общих
|
m |
|
|
внутренних точек K =U Ki , µ(Ki ∩ K j )= 0, i ≠ |
j , |
|
|
|
i=1 |
|
|
то воспользовавшись свойством аддитивности интеграла, получим |
|
||
|
m |
|
|
∫∫ f (x, y)dxdy =∑ ∫∫ f (x, y)dxdy . |
(13) |
||
K |
i=1 Ki |
|
|
395

§5. Сведение кратного интеграла к повторному (общий случай). Теорема Фубини
|
|
Представим |
n -мерный брус |
|
π |
=[a1,b1 ]×[a2 ,b2 ]×...×[an ,bn ], |
где |
||||||||||||||||||||||||||||||||||||||||
[ai ,bi ]={ai ≤ xi ≤ bi ,i =1,2,...,n}, |
|
в |
|
виде |
|
прямого |
произведения |
|
двух |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
брусов |
|
π = π1 ×π2 , |
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
а |
|||||||||||||||||||||||||||
|
|
π1 = a1,b1 × a2 ,b2 ×...× am ,bm |
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
π2 = am+1,bm+1 ×...× an ,bn . Брус π1 R |
называют проекцией бруса |
||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||
π |
на |
координатное подпространство |
точек |
u = (x1, x2 ,..., xm ), |
а |
|
брус |
||||||||||||||||||||||||||||||||||||||||
π |
2 Rn−m |
– |
|
|
проекцией |
|
|
бруса |
|
|
|
π |
|
|
на |
|
подпространство |
|
точек |
||||||||||||||||||||||||||||
v = (xm+1, xm+2 ,..., xn ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
Обозначим точку x = (x1, x2 ,..., xn )= (u,v). Тогда функцию |
f (x) n |
||||||||||||||||||||||||||||||||||||||||||||
переменных |
|
|
можно |
|
считать |
|
|
|
функцией |
двух |
переменных |
||||||||||||||||||||||||||||||||||||
u,v, f (x) = f (x1, x2 ,..., xm , xm+1,..., xn )= f (u,v) . |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
Теорема (Фубини). Пусть функция |
|
f (x)= f (u,v) |
определена и |
||||||||||||||||||||||||||||||||||||||||||
ограничена на брусе π |
= π1 ×π |
2 . Если функция |
f (u,v) интегрируема на |
||||||||||||||||||||||||||||||||||||||||||||
брусе π |
и при любом фиксированном u π1 |
интегрируема на брусе π |
2 , |
||||||||||||||||||||||||||||||||||||||||||||
а |
при |
любом |
|
фиксированном |
v π |
2 |
интегрируема на |
брусе |
π1, |
то |
|||||||||||||||||||||||||||||||||||||
справедлива формула |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
∫ |
f (x)dx = ∫ |
f (u,v)dudv = ∫ du ∫ f (u,v)dv = ∫ |
dv ∫ f (u,v)du . |
|
|
(1) |
|||||||||||||||||||||||||||||||||||||||
|
|
π |
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
π1 |
π |
2 |
|
|
|
|
|
π |
2 |
π1 |
|
|
|
|
|
|
|
||||||||||
|
|
Доказательство теоремы совпадает с доказательством аналогичной |
|||||||||||||||||||||||||||||||||||||||||||||
теоремы для двойного интеграла (см. §4). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
Если |
в |
|
частности |
π1 = [a1,b1 ], |
|
то |
есть |
m =1, |
а |
функция |
|||||||||||||||||||||||||||||||||||
|
f (x)= f (x1, x2 ,..., xn ) |
удовлетворяет требованиям теоремы Фубини, то |
|||||||||||||||||||||||||||||||||||||||||||||
из (1) получим |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x1, x2 ,..., xn )dx2dx3...dxn . |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
∫ |
f (x)dx = ∫1 dx1 ∫ |
|
|
|
|
|
|
(2) |
|||||||||||||||||||||||||||||||||||
|
|
|
|
π |
|
|
|
|
|
|
a1 |
|
π |
2 |
|
|
2 = [a2 ,b2 ]×π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
Если в свою очередь π |
3 , то применяя формулу (1) к |
||||||||||||||||||||||||||||||||||||||||||||
внутреннему интегралу (2), получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
b |
|
|
|
|
|
|
f (x1, x2 ,..., xn )dx3dx4 ...dxn . |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
∫ |
f (x)dx = ∫1 dx1 ∫2 dx2 ∫ |
|
|
|
|
|
(3) |
||||||||||||||||||||||||||||||||||||
|
|
|
|
π |
|
|
|
|
|
|
|
a1 |
|
a2 |
|
|
|
π |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
Продолжая |
этот |
процесс |
|
|
(n −1) |
|
раз, |
окончательно |
получим |
следующую формулу:
396

|
|
b |
b |
b |
|
|
|
∫ f (x)dx = ∫1 dx1 ∫2 |
dx2 ... ∫n f (x1, x2 ,..., xn )dxn . |
(4) |
|||
|
π |
a1 |
a2 |
an |
|
|
|
Таким образом интегрирование функции n переменных по брусу |
|||||
π |
сводится к n -кратному интегрированию по отрезку. |
|
||||
|
Пусть теперь ограниченная функция f (x) |
задана на некотором |
||||
компакте K Rn , граница которого ∂K имеет |
n -мерную меру нуль. |
|||||
Предположим также, что компакт K – множество связное выпуклое |
||||||
(см.§2, гл.9). |
[a1,b1 ] |
– проекция компакта K на координатную |
||||
|
Пусть отрезок |
|||||
ось Ox1 . При этом a1 |
= min x1,b1 = max x1, x = (x1, x2 ,..., xn ). |
|
||||
|
|
x K |
|
x K |
точку x1 =ξ1 [a1,b1 ] |
|
|
Через произвольную, |
но фиксированную |
проведем плоскость, перпендикулярную оси Ox1 , и рассмотрим сечение |
|||||||
компакта K , то есть множество точек K1 ={(ξ1, x2 , x3 ,..., xn ) K}. |
|
||||||
|
Поместим компакт |
K в брус π |
= [a1,b1 |
]×π |
2 , где |
брус |
|
π |
2 =[a2 ,b2 ]×...×[an ,bn ] и π |
2 K1 при любом ξ1 [a1 |
,b1 ]. |
|
|||
|
Рассмотрим функцию |
F (x)= f (x), x K1 . Если функция |
F (x) |
||||
|
|
0, x π |
\ K |
|
|
|
удовлетворяет условиям теоремы Фубини, то согласно (1) и определению 1 §3 имеем
∫ F (x)dx = ∫ |
b |
|
||
f (x)dx = ∫1 dx1 ∫ F (x)dx2 ...dxn = |
|
|||
π |
K |
a1 π |
2 |
|
b |
∫ f (x1, x2 ,..., xn )dx2...dxn . |
|
||
= ∫1 dx1 |
(5) |
|||
a1 |
K1 |
|
|
|
Применим теперь теорему Фубини к внутреннему интегралу равенства (5). Для этого компакт K1 спроектируем на координатную ось
Ox2 . Эта проекция будет отрезком, длина которого зависит от выбора
точки |
|
x =ξ |
[ |
a ,b |
] |
. Пусть |
a (x ),b |
( |
x |
проекция K |
на ось Ox . |
|||
|
|
1 |
1 |
1 1 |
|
2 1 2 |
1 ) |
|
1 |
2 |
||||
Через |
|
|
|
произвольную, |
но |
|
фиксированную |
точку |
||||||
x =ξ |
2 |
= |
a |
(x ),b (x ) проведем плоскость, |
перпендикулярную оси |
|||||||||
2 |
|
2 |
1 |
2 |
|
1 |
|
|
|
|
|
|
||
Ox2 , |
и рассмотрим |
|
сечение |
компакта |
|
K1 , |
то |
есть множество точек |
||||||
K2 ={(ξ1,ξ2 , x3 ,..., xn ) K1}. |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
397 |
|
|
|
|
|


Здесь Dyz |
и |
Dxz – проекции области V на плоскости x = 0 и |
||||||||||||||
y = 0 соответственно. |
|
I = ∫∫∫(1+ x)dxdydz , |
|
|
|
|
|
|
|
|||||||
Пример |
1. |
Вычислить |
|
если |
область |
V |
||||||||||
|
|
|
|
|
|
|
V |
|
|
|
|
|
|
|
|
|
ограничена параболоидом z = x2 + (y −1)2 |
и плоскостью 2 y + z = 2 (см. |
|||||||||||||||
рисунок). |
|
|
|
|
|
формулой (9). Чтобы найти Dxy , |
||||||||||
Решение. |
Воспользуемся |
|
||||||||||||||
|
|
|
исключим из уравнений параболоида и |
|||||||||||||
|
|
|
плоскости |
переменную |
z . |
В |
|
результате |
||||||||
|
|
|
получим |
2 − 2 y = x2 + (y −1)2 x2 + y2 =1, |
||||||||||||
|
|
|
то |
есть |
Dxy |
– |
круг, |
граница |
которого |
|||||||
|
|
|
x2 + y2 =1. Границей ∂V области V является |
|||||||||||||
|
|
|
часть параболоида и плоскости. Прямая, |
|||||||||||||
|
|
|
параллельная оси z , пересекает |
∂V в двух |
||||||||||||
|
|
|
точках: |
z |
= x2 + (y −1)2 и z |
2 |
= 2 − 2 y . |
|
||||||||
Согласно (9) получим |
|
|
1 |
|
|
|
|
|
|
|
|
|
||||
2−2 y |
|
|
|
|
|
|
|
|
|
|
|
|||||
I = ∫∫ |
(1+ x)dxdy |
dz = ∫∫ |
(1+ x)(1− x2 − y2 )dxdy . |
|
||||||||||||
∫ |
|
|
||||||||||||||
|
Dxy |
|
|
x2 +(y−1)2 |
Dxy |
|
|
|
|
|
|
|
|
Получили двойной интеграл, который можно вычислить по формулам (10) или (12) предыдущего параграфа. В нашем случае
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
I = ∫∫ |
((1+ x)(1− x2 )−(1+ x)y2 )dxdy = |
|
|
|
|
|
|||||||||||||||
|
|
|
Dxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1−x2 |
( |
|
|
|
|
|
|
|
|
) |
|
4 |
1 |
3 |
|
|||
= |
|
∫ dx ∫ |
|
(1+ x)(1− x2 )−(1+ x)y2 |
dy = |
∫ (1+ x)(1 |
− x2 ) |
|
dx = |
||||||||||||
|
2 |
||||||||||||||||||||
|
3 |
||||||||||||||||||||
|
−1 |
− 1−x |
2 |
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
x = sin t |
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
= |
|
|
|
|
= |
4 |
|
∫2 (1+sin t )cos4 tdt = π . |
|
|
|
|
|
||||||||
|
dx = costdt |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
3 −π2 |
|
|
|
|
2 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Пример 2. Найти объем 4-мерного шара |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
x2 |
+ x2 |
+ x2 |
+ x2 |
≤ r2 , r = const . |
(11) |
|||||||
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
Решение. Шар – множество выпуклое. Воспользуемся формулой |
||||||||||||||||||
(8). Проекцию Kx |
получим из неравенства (11), положив в нем x4 = 0 . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
4 |
|
x2 + x2 + x2 ≤ r2 – шар в пространстве R3 . Точки |
||||||||||
В результате получим |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
399 |
|
|
|
|
|
|

пересечения прямой, параллельной |
оси x4 , |
с |
границей шара |
будут |
||||||||
x |
= ± r2 − x2 − x2 |
− x2 . |
Согласно |
формуле |
(8) и |
следствию |
в |
§3 |
||||
4 |
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
запишем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r2 −x2 −x2 −x2 |
|
|
||
|
µ(K )=V = ∫ dx = |
|
dx1dx2dx3 |
1 |
2 |
3 |
|
|
||||
|
∫∫∫ |
∫ |
|
dx4 = |
|
|
||||||
|
|
|
K |
|
x12 +x22 +x32 ≤r2 |
− |
r2 −x2 |
−x2 |
−x2 |
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
= 2 |
∫∫∫ |
r2 − x12 − x22 − x32 dx1dx2dx3. |
|
|
|
|
|||||
|
x2 |
+x2 +x2 ≤r2 |
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
Получили |
тройной интеграл, |
который |
|
можно |
вычислить |
по |
формулам (9) или (10). Используя формулу (9) и табличный интеграл
|
∫ |
a |
2 − x2 dx = |
1 |
x |
a2 − x2 + |
1 |
a2 arcsin |
x |
, |
||||
получим |
2 |
2 |
a |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
r2 −x2 |
−x2 |
|
|
|
|
|
|
||
|
|
|
dx1dx2 |
1 |
2 |
2 − x12 − x22 − x32 dx3 = |
||||||||
V = 2 ∫∫ |
|
∫ |
r |
|||||||||||
|
x12 +x22 ≤r2 |
− r2 −x2 −x2 |
|
|
|
|
|
|
||||||
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
||
= π ∫∫ |
|
(r2 − x12 − x22 )dx1dx2 . |
|
|
|
|
|
|
||||||
x2 |
+x2 |
≤r2 |
|
|
|
|
|
|
|
|
|
|
||
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Получили |
двойной |
интеграл, который |
можно |
вычислить по |
формулам (10) или (12) предыдущего параграфа. Воспользуемся первой формулой
V = π ∫ |
dx1 |
r2 −x2 |
|
(r2 − x12 − x22 )dx2 |
|
|
|
|
|
|
|
|
|
3 |
|
= |
||||||||||||||||||||||
|
|
∫ |
|
|
= 4 π ∫ (r2 − x12 )2 dx1 |
|||||||||||||||||||||||||||||||||
|
|
r |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−r |
|
|
− |
|
r2 −x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 −r |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
x1 = r sin t |
|
|
|
8 |
|
|
|
π |
|
|
|
|
|
|
|
8 |
|
|
|
|
|
π |
1 |
+ cos 2t 2 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
4 |
|
|
4 |
|
|
|
|
|
4 |
2 |
|
||||||||||||||||||
= |
dx1 = r cost |
= |
|
|
|
π |
∫ r |
|
|
cos |
|
tdt = |
|
πr |
|
|
∫ |
|
|
|
dt = |
|||||||||||||||||
|
3 |
|
|
|
3 |
|
|
|
2 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|||||||||||||||
|
2 |
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
1+ cos 4t |
|
|
1 |
|
|
|
|
|
|
|
|
|||||||||||
|
πr4 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
π 2r |
4 . |
|
|
|
|
|||||||||||||||||
= |
|
∫ |
1+ 2cos 2t + |
|
|
|
|
|
|
dt |
= |
|
|
|
|
|
|
|
|
|||||||||||||||||||
3 |
|
|
2 |
|
2 |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Упражнение. Вычислить объем пирамиды в четырехмерном |
||||||||||||||||||||||||||||||||||||||
пространстве |
x1 |
|
+ |
x2 |
|
|
+ |
x3 |
|
+ |
x4 |
≤1, x ≥ 0,i =1,2,3,4 . |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
α1 |
|
|
α2 α3 α4 |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Ответ: |
1 |
α α α α |
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
24 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
1 |
|
2 |
3 |
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
400 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|