Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Кратные интегралы

.pdf
Скачиваний:
64
Добавлен:
20.06.2014
Размер:
888.19 Кб
Скачать

Докажем важное свойство двукратного интеграла.

Теорема 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