Кратные интегралы
.pdf
Докажем важное свойство двукратного интеграла.
Теорема 1. Если область D, правильная в направлении Оу, разбита на две подобласти D1 и D2 прямой, параллельной оси Оу или оси Ох, то двукратный интеграл по области D будет равен сумме таких же интегралов по областям D1 и D2:
|
|
|
|
|
|
|
|
|
I D = |
I D |
+ I D |
2 |
. |
|
|
|
|
|
|
|
|
|
(15) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
а) Пусть прямая х = с разбивает D на D1 и D2 , правильные в |
|||||||||||||||||||||||||
направлении Оу. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
b жj |
2(x ) |
|
ц |
|
|
b |
|
|
|
|
|
|
|
c |
|
|
|
|
b |
|
|
|
I |
|
|
= |
з |
|
|
ч |
|
= |
|
F(x)dx |
= |
|
|
|
F(x)dx + |
|
F(x)dx |
= |
||||||
|
D |
з |
т |
f (x,y)dy чdx |
т |
|
т |
т |
||||||||||||||||||
|
|
|
тз |
|
чч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
з |
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ш |
|
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
c |
|
|
|
|
|
|
|
|
a иj 1(x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
c жj |
2(x ) |
|
|
|
ц |
b жj |
2(x ) |
|
|
|
|
ц |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
з |
|
|
f (x,y)dy |
ч |
з |
|
f (x,y)dy |
ч |
= |
|
I |
|
|
+ I |
|
|
. |
|
|
|
||||||
з |
|
|
чdx + з |
|
чdx |
|
D |
|
D |
|
|
|
|
|||||||||||||
тз |
т |
|
|
|
|
ч |
тз |
т |
|
|
|
|
ч |
|
|
|
|
|
|
2 |
|
|
|
|
||
|
|
|
|
ч |
|
|
|
|
ч |
|
|
|
1 |
|
|
|
|
|
|
|
||||||
з |
|
|
|
|
|
ч |
з |
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ш |
|
|
|
|
|
ш |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
a иj 1(x ) |
|
|
|
c иj 1(x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
б) Пусть прямая y = h разбивает D на правильные в направлении Оу области D1 и D2 (рис.2). Обозначим через M1 (a1, h) и M2 (b1, h) точки пересечения прямой y = h с границей L области D.
Рис.4.
Область D1 ограничена непрерывными линиями
1) y = φ1(x);
11
2) кривой А1М1М2В, уравнение которой запишем |
y = φ1*(x), где |
|
φ1*(х) = φ2(х) при а ≤ х ≤ а1 и b1 ≤ x ≤ b, φ1*(х) = h при а1 ≤ х ≤ b1; |
||
3) прямыми x = a, x = b. |
|
|
Область D2 ограничена линиями y = φ1*(x), у = φ2(х), а1 ≤ х ≤ b1. |
||
Применим к внутреннему интегралу теорему |
о |
разбиении |
промежутка интегрирования: |
|
|
|
|
|
b жj |
2(x ) |
ц |
|
b жj |
1*(x ) |
|
j 2(x ) |
||
I |
|
= |
з |
|
|
ч |
= |
з |
|
|
f (x, y)dy + |
|
D |
з |
т |
f (x,y)dy чdx |
з |
т |
т |
||||||
|
|
тз |
чч |
|
тзз |
|
||||||
|
|
|
з |
|
(x ) |
ч |
|
a зj |
(x ) |
|
* |
|
|
|
|
a иj |
1 |
ш |
|
|
j 1 (x ) |
||||
|
|
|
|
|
|
|
и |
1 |
|
|
||
ц
ч
ч
f (x,y)dy чdx =
ч
ч
ч
ш
|
|
b жj 1*(x ) |
|
ц |
|
b жj 2(x ) |
ц |
|
|
|
|
|
|||||
|
|
|
з |
|
|
|
ч |
|
|
з |
|
ч |
|
|
|
|
|
|
|
т |
т |
|
|
ч |
|
|
т |
ч |
|
|
|
|
|
||
= |
з |
|
f (x,y)dy |
ч |
|
тз |
ч |
|
|
|
|
|
|||||
|
з |
|
|
чdx + |
|
з |
|
f (x,y)dy чdx. |
|
|
|
||||||
|
|
|
з |
|
|
|
ч |
|
|
з |
* |
ч |
|
|
|
|
|
|
|
|
з |
|
|
|
ч |
|
|
з |
|
ш |
|
|
|
|
|
|
|
a иj 1(x ) |
|
ш |
|
a иj 1 (x ) |
|
|
|
|
|||||||
Представим второй из полученных интегралов в виде суммы: |
|||||||||||||||||
b жj 2(x ) |
|
ц |
|
a1 |
жj 2(x ) |
ц |
|
b1 |
жj 2(x ) |
ц |
|||||||
|
з |
|
|
|
|
ч |
|
|
з |
|
|
ч |
|
|
з |
|
ч |
|
|
|
|
|
ч |
|
|
|
|
ч |
+ |
|
|
ч |
|||
|
з |
т |
f (x,y)dy чdx = |
т |
з |
т |
f (x,y)dy чdx |
т |
з |
т |
f (x,y)dy чdx + |
||||||
тзз |
|
|
ч |
|
зз |
|
ч |
|
зз |
ч |
|||||||
|
з |
* |
|
|
|
ч |
|
a |
з |
* |
|
ч |
|
|
з |
* |
ч |
a иj 1 (x ) |
|
ш |
|
иj |
1 (x ) |
ш a1 |
иj |
1 (x ) |
ш |
||||||||
|
b |
жj 2(x ) |
|
ц |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
з |
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
т |
з |
т |
f (x,y)dy чdx . |
|
|
|
|
|
|
|
|
|
|
||||
|
зз |
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|||
|
b1 |
з |
* |
(x ) |
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
иj |
1 |
|
ш |
|
|
|
|
|
|
|
|
|
|
|
||
Поскольку φ1*(х) = φ2(х) при а ≤ х ≤ а1 и b1 ≤ x ≤ b, первый и третий из полученных интегралов тождественно равны нулю. Следовательно,
|
|
|
|
b жj 1*(x ) |
ц |
b1 жj 2(x ) |
ц |
|||
|
|
|
|
з |
|
ч |
|
з |
|
ч |
I |
|
= |
|
|
ч |
|
|
ч |
||
D |
|
з |
т |
f (x,y)dy чdx + |
т |
з |
т |
f (x,y)dy чdx , |
||
|
|
тз |
ч |
з |
ч |
|||||
|
|
|
|
з |
|
ч |
|
з |
* |
ч |
|
|
|
|
з |
|
ч |
|
з |
|
ш |
|
|
|
|
a иj 1(x ) |
ш |
a1 иj 1 (x ) |
||||
то есть |
|
I D |
= I D |
+ I D . |
|
|
|
|
||
|
|
|
|
|
1 |
2 |
|
|
|
|
Следствие. Таким же образом можно разбить область D на любое число правильных областей. При этом двукратный интеграл по области D будет равен сумме интегралов по частичным областям.
12
Замечание 1. Используя теорему 1 и теоремы о среднем для определенного интеграла, можно доказать, что для двукратного интеграла справедливы соотношения:
|
b жj |
2(x ) |
ц |
|
|
з |
т |
ч |
|
mS Ј |
тз |
ч |
(16) |
|
з |
|
f (x,y)dy чdx Ј MS, |
||
|
з |
|
ч |
|
|
|
ч |
|
|
|
a иj 1(x ) |
|
||
|
ш |
|
||
где т и М – соответственно наименьшее и наибольшее значение функции f(x, y) в области D, а S – площадь этой области, и
ID = f(P)S, |
(17) |
где Р – точка, принадлежащая области D .
Замечание 2. Более употребительной формой записи двукратного
интеграла является
b жj 2(x )
тa ззззиj т1(x )
ц |
b |
|
j 2(x ) |
|
|
ч |
т |
dx |
т |
f (x,y)dy. |
(18) |
чч |
|||||
f (x,y)dy чdx = |
|
|
|||
ч |
a |
|
j 1(x ) |
|
|
ш |
|
|
|
Теорема 2. Двойной интеграл от непрерывной функции f(x, y) по правильной области D равен двукратному интегралу от этой функции по данной области, то есть
тт f (x,y)dxdy =
D
b жj 2(x )
тa ззззиj т1(x )
ц
ч
f (x,y)dy чdx . (19)
ч
ч
ч
ш
Доказательство.
Разобьем область D прямыми, параллельными координатным осям, на п правильных (в основном прямоугольных) областей S1, S2,…, Sn. Тогда по теореме 1
|
|
n |
I D = I DS1 + I DS2 + ... + I DSn |
= |
е I DSi . |
|
|
i = 1 |
|
|
n |
Из (16) получим: I DSi = f (Pi )DSi , I D |
= |
е f (Pi )D Si , где справа |
|
|
i = 1 |
стоит интегральная сумма, предел которой равен двойному интегралу от f
13
по области D, а слева – постоянное число ID . Переходя к пределу при max D Si ® 0 , получим равенство (19).
Пример 1.
Вычислим двойной интеграл от функции z = x + y по области, представляющей собой треугольник с вершинами в точках (0,0), (0,1) и (1,0) (рис.5).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 5 |
|
|
|
|
|||
Здесь а = 0, b = 1, φ1(x) = 0, φ2(x) = 1 – x. |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1- x |
|
|
|
|
|
|
||
Тогда тт(x + y)dxdy = |
тdx т (x + y)dy = |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
1 |
|
|
ж |
|
y |
2 |
|
1 - |
x ц |
|
|
|
1 |
ж |
|
|
|
(1 - x) |
2 |
ц |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
з |
|
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
||||
= |
|
т |
|
+ |
|
|
|
|
|
|
ч |
= |
т |
з |
|
- x) + |
|
|
ч |
= |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
dx з(xy |
|
|
|
|
|
|
ч |
зx(1 |
|
|
чdx |
|||||||||||||||
|
|
|
з |
|
2 |
|
0 |
ч |
|
|
|
и |
|
|
|
2 |
|
ш |
|
||||||||
|
|
|
|
|
|
|
|
|
з |
|
|
|
|
ч |
|
||||||||||||
|
0 |
|
|
и |
|
|
|
|
|
|
|
ш |
|
|
0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
1 1 |
|
2 |
|
|
|
1 ж |
|
x 3 ц |
1 |
|
1 |
|
|
|
|
|
||||||||||
|
|
|
|
т(1 - x )dx = |
|
|
з |
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
||||||
= |
|
|
|
|
|
|
|
|
|
|
= . |
|
|
|
|
||||||||||||
|
|
|
|
|
зx - |
|
|
|
|
ч |
0 |
|
|
|
|
||||||||||||
|
2 |
|
|
|
|
|
|
|
|
2 и |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
||||
|
|
|
0 |
|
|
|
|
|
|
|
|
3 ш |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. Вычисление двойного интеграла в полярных координатах
Введем на плоскости криволинейную систему координат, называемую полярной. Она состоит из точки О (полюса) и выходящего из него луча (полярной оси).
14
Рис. 6 |
Рис. 7 |
Координатами точки М в этой системе (рис. 6) будут длина отрезка МО – полярный радиус ρ и угол φ между МО и полярной осью: М(ρ,φ). Отметим, что для всех точек плоскости, кроме полюса, ρ > 0, а полярный угол φ будем считать положительным при измерении его в направлении против часовой стрелки и отрицательным – при измерении в противоположном направлении.
Замечание. Если ограничить значения φ интервалом [0,2π] или [-π, π], то каждой точке плоскости соответствует единственная пара координат (ρ,φ). В других случаях можно считать, что φ может принимать любые значения, то есть полярный угол определяется с точностью до слагаемого, кратного 2π.
Связь между полярными и декартовыми координатами точки М можно задать, если совместить начало декартовой системы координат с полюсом, а положительную полуось Ох – с полярной осью (рис. 7). Тогда
x=ρcosφ, у=ρsinφ . Отсюда r = x 2 + y2 , tgj = |
y . |
|
x |
Правильной областью в полярных координатах назовем такую область, границу которой каждый луч, выходящий из полюса, пересекает не более чем в двух точках (рис.8).
15
Зададим в области D, ограниченной кривыми ρ=Φ1 (φ) и ρ=Φ2 (φ), где φ1 < φ < φ2 , непрерывную функцию z = f(φ, ρ) . Разобьем область D на части Sik , ограниченные лучами ρ = ρi-1 и ρ = ρi , выходящими из полюса, и дугами окружностей φ = φk-1 и φ = φk с центром в полюсе, и составим
n |
|
интегральную сумму Vn = е (е f (Pik )DSik ) , где |
Pik – произвольная |
k = 1 i |
|
точка, принадлежащая Sik . Найдем площадь части |
Sik , не пересекаемой |
границей области, как разность площадей двух секторов:
Рис. 8
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
= (ri + |
D r |
)Dri Dj k |
|
|
||||
D Sik = |
2 |
(ri |
+ D ri )2 Dj k - |
|
2 ri2Dj k |
|
2 i |
= ri*Dri D j k , |
|||||||||||||||
где |
|
ri |
< |
ri* |
< ri |
+ Dri |
. Учитывая, |
что площади частей, |
пересекаемых |
||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
границей области, стремятся к нулю при D j k |
® |
0 и Dri |
® 0, получим: |
||||||||||||||||||||
|
|
f (r,j )drdj = |
lim |
|
V |
|
= |
lim |
n |
ж |
f (r *,j * )r *Dr |
ц |
|
|
|||||||||
тт |
0 |
|
е |
з |
е |
чDj = |
|||||||||||||||||
|
|
|
|
|
D ri ® |
|
|
n |
|
D ri ® 0 |
з |
|
i |
k |
i |
ч |
k |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
з |
|
|
i ч |
|
|||||
D |
|
|
|
|
|
|
D j k ® 0 |
|
|
|
D j k ® 0 |
k = 1и i |
|
|
|
|
ш |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
j 2 жF |
2(j ) |
|
ц |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
= |
|
|
з |
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(20) |
т |
з |
т |
f (r,j )rdr чdj . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
з |
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
з |
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j 1 иF |
1(j ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
ш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Пример 2.
Выведем с использованием двойного интеграла формулу для площади круга радиуса R с центром в начале координат:
16
|
|
|
2p |
|
R |
|
2p |
ж 2 |
|
R |
ц |
|
R |
2 |
2p |
|
|
R |
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
тт |
|
|
т |
|
т |
|
т |
з |
r |
|
|
ч |
|
|
т |
|
|
|
|
|||
|
|
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
||||||
drdj |
= |
dj |
rdr = |
dj з |
|
|
|
ч |
= |
|
|
dj |
= |
|
|
2p = |
pR . |
|||||
|
|
|
|
|
|
|
|
з |
2 |
|
0 |
|
|
2 |
|
|
|
2 |
|
|
||
D |
|
|
0 |
|
0 |
|
0 |
и |
|
|
ш |
|
|
0 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Пример 3.
Вычислим, используя полярные координаты, двойной интеграл
I = тт(2x + y 3 )dxdy ,
D
где D – часть кругового сектора единичного радиуса с центром в начале координат, расположенная в 1-м квадранте.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мx = r cos j |
|
||
|
|
|
|
|
Заданный интеграл |
|
|
в |
полярных |
|
координатах |
п |
|
|
по |
||||||||||||||||||
|
|
|
|
|
|
|
|
н |
= |
r sin j |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
пy |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
оп |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
0 |
|
Ј |
r |
Ј |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
указанной области D : |
п |
|
|
|
|
|
|
|
p имеет вид: |
|
|
|
|
|
|||||||||||||||||||
н |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
п |
0 |
Ј |
j |
Ј |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
п |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
оп |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
p |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
1 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
23 r 3 |
|
|
|
|
|
||||||
I |
= |
тdj т(2r cos j + |
r 3 sin3 j )rdr |
= т |
|
cos j dj |
- |
|
|
|
|||||||||||||||||||||||
|
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
p |
|
|
p |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
2 |
|
r 5 |
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
1 |
|
2 |
|
|
|
|
|
|
|
|
|
||||
- т |
5 |
|
|
sin2 j |
Чsin j dj |
|
|
= |
|
3 sin j |
|
- |
5 |
т(1 - |
cos2 j )d cosj |
= |
|
|
|||||||||||||||
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
2 |
|
|
|
1 cosj |
2 |
1 |
cos3 j |
|
2 |
|
2 + |
1 |
|
|
|
|
1 |
|
|
4 |
|
|
|
|
||||||||
= |
- |
|
+ |
|
|
= |
- |
|
|
|
= |
|
|
|
|
||||||||||||||||||
3 |
|
|
|
|
5 |
|
|
15 |
5 |
|
|
|
|
||||||||||||||||||||
|
|
|
|
5 |
15 |
|
|
|
|
|
|
0 |
|
3 |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. Вычисление тройного интеграла в декартовых координатах
Процедура вычисления тройного интеграла аналогична соответствующей операции для двойного интеграла. Для ее описания введем понятие правильной трехмерной области:
17
Определение 4. Трехмерная область V, ограниченная замкнутой поверхностью S, называется правильной, если:
1)любая прямая, параллельная оси Оz и проведенная через внутреннюю точку области, пересекает S в двух точках;
2)вся область V проектируется на плоскость Оху в правильную двумерную область D;
3)любая часть области V, отсеченная от нее плоскостью, параллельной какой-либо из координатных плоскостей, обладает свойствами 1) и 2).
Рассмотрим правильную область V, ограниченную снизу и сверху
поверхностями z=χ(x,y) и z=ψ(x,y) и проектирующуюся на плоскость Оху в правильную область D, внутри которой х изменяется в пределах от а до
b, ограниченную кривыми y=φ1(x) и |
y=φ2(x) (рис.9). Зададим в области V |
|||||||
непрерывную функцию f(x, y, z). |
|
|
|
|
||||
Определение 5. Назовем трехкратным интегралом от функции |
|
|||||||
f(x, y, z) по области V выражение вида: |
|
|
||||||
|
b |
жj |
2(x ) жy (x,y ) |
|
ц |
ц |
|
|
I = |
|
з |
з |
|
|
ч |
ч |
(21) |
т |
з |
з |
т |
f (x,y, z)dz чdy чdx . |
||||
V |
з |
т з |
|
ч |
ч |
|
||
|
з |
з |
|
|
ч |
ч |
|
|
|
|
|
|
ч |
ч |
|
||
|
a |
иj |
1(x ) иc (x,y ) |
|
|
|||
|
|
ш |
ш |
|
||||
Рис.9.
18
Трехкратный интеграл обладает теми же свойствами, что и двукратный. Перечислим их без доказательства, так как они доказываются аналогично случаю двукратного интеграла.
1. Если область V разбить на две области V1 и V2 плоскостью, параллельной какой-либо из координатных плоскостей, то трехкратный интеграл по области V равен сумме трехкратных интегралов по областям
V1 и V2.
2.Если т и М – соответственно наименьшее и наибольшее значения функции f(x,y,z) в области V, то верно неравенство mV ≤ IV ≤ MV, где V – объем данной области, а IV – трехкратный интеграл от функции f(x,y,z) по области V.
3.Трехкратный интеграл IV от непрерывной функции f(x,y,z) по области V равен произведению его объема V на значение функции в
некоторой |
точке |
Р |
области |
V |
(теорема |
о |
среднем): |
b жj 2(x ) жy (x,y )
IV = тa ззззиj т1(x ) ззззиc (тx,y )
ц |
ц |
|
|
ч |
ч |
f (P )V . |
(22) |
f (x,y, z)dz чdy чdx = |
|||
ч |
ч |
|
|
ч |
ч |
|
|
ч |
ч |
|
|
ш |
ш |
|
|
Теорема 3. Тройной интеграл от функции f(x,y,z) по правильной области V равен трехкратному интегралу по той же области:
|
|
|
b жj |
2(x ) жy (x,y ) |
ц |
ц |
|
|
|
f (x,y, z)dv = |
з |
з |
|
ч |
ч |
(23) |
|
ттт |
з |
з |
т |
f (x, y, z)dz чdy чdx . |
||||
|
|
тз |
т з |
ч |
ч |
|
||
|
|
|
з |
з |
|
ч |
ч |
|
|
|
|
|
ч |
ч |
|
||
V |
|
|
a иj |
1(x ) иc (x,y ) |
|
|||
|
|
ш |
ш |
|
||||
Доказательство. |
|
|
|
|
|
|
|
|
Разобьем область |
V плоскостями, |
параллельными |
координатным |
|||||
плоскостям, на п правильных областей Dv1, Dv2,..., Dvn . Тогда из свойства
1 следует, что |
IV |
= I Dv |
+ I Dv |
2 |
+ ... + I Dv |
n |
, где I Dv |
i |
- трехкратный |
|
|
1 |
|
|
|
|
интеграл от функции f(x,y,z) по области D vi .
Используя формулу (21), предыдущее равенство можно переписать в
виде:
IV = f (P1)D v1 + f (P2 )Dv2 + ... + f (Pn )D vn .
19
Из условия непрерывности функции f(x,y,z) следует, что предел интегральной суммы, стоящей в правой части этого равенства, существует
и равен тройному интегралу ттт f (x,y, z)dv . Тогда, переходя к пределу
V
при r ® 0 , получим: IV = ттт f (x,y, z)dv , что и требовалось доказать.
V
Замечание.
Аналогично случаю двойного интеграла можно доказать, что изменение порядка интегрирования не меняет значения трехкратного интеграла.
Пример 4.
Вычислим интеграл тттxyzdxdydz, где V – треугольная пирамида с
V
вершинами в точках (0, 0, 0), (1, 0, 0), (0, 1, 0) и (0, 0, 1). Ее проекцией на плоскость Оху является треугольник с вершинами (0, 0), (1, 0) и (0, 1). Снизу область ограничена плоскостью z = 0, а сверху – плоскостью x + y + z = 1. Перейдем к трехкратному интегралу:
1 1- x 1- x - y
|
|
|
|
|
тттxyzdxdydz = |
тdx т dy |
т |
|
xyzdz. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
V |
|
|
|
|
|
0 |
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
Множители, не зависящие от переменной интегрирования, можно |
|
|||||||||||||||||||||||||||||||||
вынести за знак соответствующего интеграла: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
1 |
|
|
|
|
1- x |
|
|
1- x - y |
|
|
1 |
|
|
1- x |
ж 2 |
|
1 - x - y |
ц |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
т |
|
|
|
|
т |
|
|
т |
|
|
|
т |
|
|
|
т |
|
з |
z |
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|
||
xdx |
ydy |
zdz = |
|
xdx |
|
|
|
|
|
|
|
0 |
|
ч |
= |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
з 2 |
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
ydy з |
|
|
|
|
|
|
|
|
ч |
|
|
|
|
|
|
|
|
|
|
||||||||||||
0 |
|
|
|
|
0 |
|
|
0 |
|
|
0 |
|
|
|
0 |
|
и |
|
|
|
|
|
|
|
ш |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
1 |
1 |
|
|
1- x |
|
|
2 |
|
|
|
1 |
1 |
|
|
ж |
|
2 y |
2 |
|
|
|
y |
3 |
|
y |
4 |
|
1 - |
x ц |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
т |
|
|
т |
|
|
|
|
|
|
т |
|
|
з |
|
|
|
|
|
|
|
|
|
|
ч |
|
||||||||||||
= |
|
|
xdx |
y(1 - x - |
y) dy |
= |
|
xdx |
x) |
|
|
- |
2(1 |
- x) |
|
|
+ |
|
|
|
|
ч |
= |
|||||||||||||||
2 |
2 |
з(1 - |
2 |
3 |
4 |
|
0 |
ч |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
з |
|
|
|
|
|
|
ч |
|
|||||||||||||||||
|
|
|
0 |
1 |
|
0 |
|
|
|
1 |
|
|
|
|
0 |
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
ш |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
= |
1 |
тx(1 - x)4dx = |
1 |
т(x - 4x 2 + 6x 3 - 4x 4 + x 5 )dx = |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
24 |
24 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20
