![](/user_photo/_userpic.png)
книги из ГПНТБ / Дьяченко, А. Н. Интегральное исчисление функций нескольких переменных. Теория вероятностей и элементы математической статистики учебное пособие
.pdfСвойство 6. Если функции / х (х, у, z) и f2 (х, у, z) таковы, что для всех точек области V справедливо соотношение
h(x, у, 2) > / 3(л:, у, |
z), |
(2.9) |
|
то |
|
|
|
J J f h (х, |
У, 2) А>> J [' J f2 (х, |
у, z) dv. |
(2.10) |
у' |
V |
|
|
Д о к а з а т е л ь с т в о . Рассмотрим функцию Ф (х, у, z), определенную соотношением
Ф (х, у, z) = f1(x, у, z)—f2(x, у, z).
Из формулы (2.9) следует, что Ф (х, у, г) > 0. Применив к функ ции Ф \х, у, z) свойство 5, получим требуемое неравенство (2.10).
Свойство 7. Если числа т и М таковы, что для всех точек обла сти V справедливо соотношение
m^Cf(x, у, 2) < М ,
то |
J f J / (я, г/, z)dv-^Mv, |
|
/щ> |
(2-11) |
|
|
j yj |
|
где v — объем области |
V. |
|
Доказательство этого свойства аналогично доказательству свой ства 7 двойных интегралов, при этом имеет место формула, анало
гичная формуле (1.16): |
|
t» = JJfdu. |
(2.12) |
Jv' |
|
Теорема о среднем. Свойство 8. Если функция f (х, у, |
z) непре |
рывна в замкнутой области V, то в этой области найдется такая |
|
точка Р (х0, у0, z0), для которой справедливо равенство |
|
J f j V ( * , У, z)dv = f(xо, г/о. 20) V. |
(2.13) |
v |
|
Доказательство этого свойства аналогично доказательству свой ства 8 для двойных интегралов.
2.3. Вычисление тройных интегралов
Простая область в трехмерном пространстве. Понятие ’области простой в заданном направлении (см. §1.3), распространяется и на
случай трехмерной области: область V называется п р о с т о й |
в на |
||||||||||
п р а в л е н и и I, |
если любая прямая, проходящая через внутреннюю |
||||||||||
точку области, параллельно I |
пересекает границу области в двух |
||||||||||
и только в двух точках. |
Область V, заданную |
в декартовой си |
|||||||||
стеме |
координат |
Oxyz, |
будем |
называть |
п р о с т о й , |
если она яв |
|||||
ляется |
простой |
в направлении |
осей х, у, г. Проекции области V |
||||||||
на |
координатные плоскости |
обозначим |
соответственно |
Dx, Dy, |
|||||||
Dz, |
где Dx — проекция |
на плоскость |
х = 0, |
a Dy |
и Dz — со |
||||||
ответственно на |
плоскости |
у = |
0 и z = |
0 |
(рис. |
22). Легко видеть, |
40
что если V — простая область, то ее проекции на координатные оси также являются простыми областями.
Рассмотрим способы задания границы простой области V. Пусть
граница области Dz в плоскости z = 0 задана в канонической форме: |
||||
х = а\ |
|
х=Ь\ |
|
|
У = Уи(х); |
у=Угг(х) |
|
||
(индекс z у функций у1г (х) и у ( х ) |
||||
указывает, что эти кривые |
распо |
|||
ложены в плоскости z = |
0). |
Тогда |
||
область V можно изобразить (в наи |
||||
более общем случае) так, |
как по |
|||
казано на рис. 23. «Задней стен |
||||
кой» области является часть пло |
||||
скости х — а (фигура BBxQjCjCQ). |
||||
«Передней |
стенкой» |
является |
||
часть плоскости |
х = b |
(фигура |
АА уР^Е^Р). «Левой стенкой» и х
«правой стенкой» являются соответ
Рис. 22
ственно цилиндрические поверхно сти у = у1г (х) и у = г/22 (х). (Обра
зующие этих поверхностей параллельны оси г, а направляющими являются линии, входящие в состав границы области Dz). Ниж ней и верхней границами области V являются поверхности
ABQCEP и A 1B1Q1C1E1P. |
Пусть |
уравнения |
их соответственно |
||
z — Zj (х, у) и z = z2 (х, у). Таким |
образом, |
граница области V |
|||
может быть задана в виде |
|
|
|
|
|
х — а\ |
|
x=b\ |
I |
|
|
У = У1г(х)-, |
у = Учг(*)'. |
|
(2.14) |
||
Z = Zi(x, |
у)\ |
z = z2{x,y). J |
|
41
Эту форму задания границы области V будем называть канони ческой формой. Меняя порядок рассмотрения переменных, получим другие канонические формы задания границы области V. Очевидно, что существует 6 канонических форм задания границы области (столько, сколько существует различных перестановок трех объек тов). Приведем для примера еще две канонические формы задания границы области:
у = с\ |
|
y = d\ |
z = e\ |
z = f\ |
(2.16) |
|||
x |
= |
x t |
г {у)\ |
x = |
x z (y )\ |
(2.15) x = xly(z); |
x x2y (z)-, |
|
|
|
|
2 |
y = yi(x, z); |
y = y2(x, z). |
|
||
z = |
z 1(x , уУ, |
z = |
z 2(x , у У |
|
Трехкратные интегралы. Пусть в простой области V задана не прерывная функция / (х, у, г). Выберем произвольную точку с ко ординатами (х, у) из области Dz. При фиксированных значениях переменных х и у функцию / (х, у, г) можно рассматривать как функ цию одного переменного z, определенную в интервале [zx (х, у), z2 (х, у) ]. Если проинтегрируем в этих пределах функцию / (х, у, г) по' z (при фиксированных х и у), то получим результат, зависящий от зафиксированных значений переменных х и у, т. е. функцию от двух переменных х и у. Обозначив эту функцию F (х, у), имеем:
( * . у)
F{x, у) = J /(х , у, z) dz.
?l (X, у)
Итак, в каждой точке области Dz определена функция F (х, у). Будем считать, что эта функция интегрируема в области Dz и вы числим интеграл
[ (■F (х, у) dxdy. '°г
В этом двойном интеграле расставим пределы интегрирования. Так как это можно сделать двумя способами, то получим одно из
следующих двух |
выражений, |
которые |
обозначим соответственно |
||||||
/ |
и I |
■ |
|
|
|
|
|
|
|
1zyx |
лгх у |
|
|
|
|
|
|
|
|
|
|
|
ь |
y2Z « |
?2 (.v, y) |
f (x, у, |
z)dz, |
||
|
|
1zyx~ [’ dx |
j1 |
dy |
I* |
||||
|
|
|
’a |
ylz |
(x) |
|
\x, y) |
|
|
|
|
I |
d |
x 2z W |
z2 |
y) |
f (x, |
y, z)dz. |
|
|
|
zxy = Cdy |
J |
dx |
( |
||||
|
|
|
c |
x^z (y) |
z1 \x, y) |
|
|
Величины Izyx и Izxy, получающиеся в результате трехкратного интегрирования функции / (х, у, z), называются трехкратными (или
.повторными) интегралами от функции f (х, у, z) по области V, при чем нижние индексы указывают на порядок интегрирования.
Легко заметить, что меняя порядок интегрирования, можно по лучить всего шесть видов трехкратных интегралов, каждый из ко торых соответствует одной из канонической форм задания границы
42
области V. Так, например, канонической форме задания границы V (2.16) соответствует трехкратный интеграл:
f |
* 2у ( г ) |
У2 (х, у) |
I yxz = $dz J |
dx J f(x, у, z)dy. |
|
e |
xiy(2) |
yi(x’ y) |
Вычисление тройного интеграла с помощью трехкратного. По добно тому, как двйной интеграл вычисляется с помощью двух кратного интеграла, тройной интеграл может быть выражен через трехкратный интеграл. Имеет место теорема, которую сформули руем без доказательства.
Теорема. Если функция f (х, у, г) интегрируема в простой об
ласти V, то тройной интеграл от этой функции по области V равен любому из ее трехкратных интегралов по этой области.
Формула
|
Ъ |
VazW |
Z2(Jс, у) |
$!\!if(x,y ,z ) dxdydz = jdx |
J |
dy J f(x,y,z)d z. (2.17) |
|
V |
а |
У12(х) |
z x (*,!/) |
является одной из шести возможных реализаций сформулирован ной теоремы.
Пример 1. Вычислить тройной интеграл
|
7 = 1 ( 1 |
(х Ц- у + z) dxdydz, |
|
V |
|
где |
область V — прямоугольный |
параллелепипед 1 < х < 2; 2 < ( / < 3 ; |
О < |
г < 1. |
|
Расставляя пределы по формуле (2.17), получим:
2 |
3 |
1 |
|
J = ( dx ( dy J (х + у + z) dz . |
|||
1 |
2 |
О |
|
■Вычислим внутренний интеграл (по переменной г): |
|||
■z) dx = (x + |
y + |
z)3 |i = |
(х + у + 1 У2— (х + уУ |
|
2 |
Ю |
2 |
|
~ |
х “Ь У |
0,5. |
Подставляя этот результат в трехкратный интеграл, получим:
2 з
7 = j dx j ( х у -\-О ,Ъ) dy.
\2
Вычислим внутренний интеграл (по переменной у):
J (x + y + 0 , 5 ) 7 , = |
(^ + |
У + °у5), . [з |
= J x + |
3_,_5)i - ( x + 2,5)3 ■■х+З, |
Учитывая этот результат имеем: |
|
|
||
7 = |
(x + |
3)7, = i i + ^ | 2 = 5- ^ i ! = 4,5. |
||
J |
|
2 |
'1 |
2 |
43
Пример 2. Вычислить тройной интеграл
J = | [ J куг dxdy dz, v
где область V — часть шара х2 + у2 + z2 = 2, заключенная между координатными плоскостями у = 0 и г = 0, цилиндрической поверх ностью у = х2 и плоскостью х = 1 (рис. 24). Граница области F мо жет быть задана в следующей канонической форме:
х = 0, |
х = |
1, |
. г/ = 0 , |
у = |
х2, |
г = 0, |
z = ] /2 — х2 — у2. |
Ри с . 24
Тогда тройной интеграл' может быть представлен трехкратным:
У = Г С f xyz dx dy dz = |
1 |
V 2—лг-—у3 |
||
j" dx f' dy |
[ |
xt/Z dz. |
||
" v J |
d |
o |
о |
|
Вычислим внутренний интеграл (no |
z): |
|
У 2—Х-—У2 |
г2 V 2—Х-—У1 , |
|
j” |
xyz dz = ху — |
= — х «/(2 -х 2- у 2). |
о2 о
Подставляя этот результат в трехкратный интеграл, имеем:
J = — J dx [ ху (2 — х2 — у2) dy.
2 о |
|
6 |
|
|
Вычислим внутренний |
интеграл (по у): |
|||
j” ху (2 — х2 — у2) dy = |
х |
(2 — х2) у2 |
У* 1 |
|
|
2 |
4 _ 0 |
||
|
|
|
||
х9 |
_ |
5 |
х7 |
х9 |
4 |
~ |
|
2 |
Т ‘ |
(2— х2) х5 2
44
![](/html/65386/283/html_Lnb8lYilox.OgGm/htmlconvd-CzQm_b46x1.jpg)
Учитывая этот результат, имеем:
J
2 |
4 ) Х ~ 2 [ 6 |
16 |
40 / о |
||
о |
_1 _ |
L _ |
i |
i |
|
= J _ |
|
||||
12 |
32 |
80 _ |
480 ' |
|
Замечание. Легко убедиться, что этот же результат получается и при
любом другом порядке интегрирования. Например, если задать гра ницу V в виде (2.15)
|
|
У = |
0, |
у = |
1; |
|
|
|
|
|
|
х = |
У у, |
х = |
1; |
|
|
|
|
|
|
г = |
0, г = |
]/~2 — х3 — г/2, |
|
|
|
||
то |
|
|
|
|
|
|
|
|
|
1 |
1 |
4^2—х-—у! |
хг/z dz |
|
I |
|
|
|
|
J — \ dy |
|
dx |
j |
dy j xy (2 |
x2 — г/2) dx = |
|
|||
0 |
Нг/ |
|
|
|
0 |
/ 7 |
|
|
|
1 |
|
l ! |
|
|
|
1 |
|
|
J9_ |
|
|
|
|
|
|
|
|||
2 |
|
4 |
|
|
|
.3 |
16 |
10 |
480 * |
Если область V не является простой, то формула (2.17) применима в том случае, когда область V может быть разбита на конечное число простых областей.
2.4. Замена переменных в тройном интеграле
Формула замены переменных в тройном интеграле. Пусть тре буется вычислить тройной интеграл [от непрерывной функции f (х, у, z) по простой области V:
J = jj [ j f (х, у, z) dxdydz.
У j
Пусть заданы функции, связывающие переменные х, у, г с пе
ременными и, v, t: |
|
|
х = х(и, |
v, t), у — у(и, v, t), z = z(u, v, t). |
(2.18) |
Будем считать, что формулы (2.18) устанавливают взаимно однозначное соответствие между точками области V пространства с системой координат Oxyz и точками области У пространства с си стемой координат Oyxvt. Предположим, что функции (2.18) опре делены и непрерывны вместе со своими частными производными
45
в области V . Составим по аналогии с формулой (1.34) якобиан пре образования
дх |
ду |
дг |
ди |
ди |
ди |
j _ дх |
ду |
дг |
dv |
dv |
dv |
дх |
ду |
дг |
dt |
dt |
dt |
Аналогично тому, как это было сделано для двойных интегралов (см. § 1.4), можно показать, что абсолютное значение якобиана, вычисленное в некоторой точке области V , геометрически может трактоваться как коэффициент растяжения объемов в окрестности данной точки при преобразовании (2.18), т. е.
|/ |= lim |
, |
Лгу |
|
где Лгу — объем частичной области |
Vk, содержащейся в V; Лгу — |
объем соответствующей частичной области Vk, содержащейся в V ;
Кп— ранг дробления области V. |
V |
якобиан |
отличен от |
нуля, то |
Если для всех точек области |
||||
тройной интеграл по области V может быть преобразован к трой |
||||
ному интегралу по области V . Формула преобразований аналогична |
||||
формуле (1.40) и имеет вид |
|
|
|
|
( Сj / (х, у, |
z) dxdydz = |
|
|
|
" v |
|
|
|
|
= Щ / [ * (и, v, t), у (и, v, |
/), |
г (и, v, |
t)]\I \dudvdt. |
(2.19) |
J V' |
|
|
|
|
Переход в тройном интеграле к цилиндрическим координатам. Цилиндрическими координатами * называется система координат, в которой положение точки А пространства определяется коорди натами ср, г, z, где ф, г — полярные координаты в плоскости Оху точки А' — проекции точки А на плоскость Оху (рис. 25); г — ап пликата точки А.
Декартовы координаты точки А связаны с ее цилиндрическими координатами формулами х — г cos ф, у = г sin ф, z = г.
Вычислим якобиан этого преобразования:
дх |
ду_ |
dz |
— г sin ф гсоэф 0 |
— ГБШф |
Г COS ф |
|||
дер |
дф |
ду |
||||||
|
|
|
|
|
||||
дх |
ду_ |
дг |
= cos ф |
sin ф |
0 |
= |
|
|
/ = дг |
дг |
дг |
|
|||||
дх |
ду |
dz |
0 |
0 |
1 |
COS ф |
sin ф |
|
дг |
дг |
dz |
||||||
|
|
|
|
|
* См. [3], § 1.5.
46
Подставив этот результат в формулу (2.19), получим формулу перехода в тройном интеграле к цилиндрическим координатам:
J j’ f f (х, у, |
z) dxdydz = § \§f (г coscp, rsin<p, z) rdydrdz. (2.20) |
v J |
J V' |
Переход в тройном интеграле к сферическим координатам. Сфе рическими координатами называется система координат, в которой* положение точки А определяется координатами 0, ср, г, где г — расстояние от точки А до начала координат; 0 — угол между векто ром ОА и осью 2, ф — угол между вектором ОА' и осью х (А' — про екция точки А на плоскость Оху) (рис. 26).
jj|§ Декартовы координаты точки А связаны с ее сферическими ко ординатами формулами:
х = г sin 0 cos ф; у = г sin 0 sin ф; z =
Вычислим якобиан этого преобразования:
|
dx |
dy_ |
dz |
|
— r sin 0 sin ф |
r sin 0 cos ф |
|
dtp |
dcp |
0ф |
|
|
|
/ = |
* |
dy |
dz |
= |
r cos 0 COS Ф |
r cos 0 sin ф |
j |
00 |
00 |
||||
|
Q CD |
|
|
|
||
|
dx |
dy |
dz |
|
sin 0 cos ф |
sin 0 sin ф |
|
dr |
dr |
dr |
|
||
|
|
|
|
г cos 0.
0
—r sin 0
cos 0
г cos 0 sin ф |
— r sin 0 |
= — г sin 0 sin ф |
cos 0 |
sin 0 sin ф |
|
— г sin 0 cos ф г cos 0 cos Ф |
— r sin 0 |
sin 0 cos ф |
cos 0 |
— r sin 0 sin ф (r cos2 0 sin ф + r sin2 0 sin ф) —
-r sin 0 cos ф (r cos2 0 cos ф + r sin2 0 cos ф) =
—r2 sin 0 sin2 ф— r2 sin 0 cos2 ф = — r2 sin 0.
*Cm. [3], § 1.5.
47
Таким образом
I = — r2sin 0.
Подставив этот результат в формулу (2.19), получим формулу перехода в тройном интеграле к сферическим координатам:
[ Сj f (х, у, z) dxdydz=
V
г sin 0 cos cp, rsin0sinq),rcos0)r2sin0dq)d0dr. (2.21)
2.5.Приложения тройных интегралов
Вычисление объемов тел. Пусть тело занимает в пространстве область V. Как показано выше, объем v этого тела может быть вы числен по формуле (2.12):
v — ГГ Гdxdydz. v
Пример 3. Вычислить объем v эллипсоида:
а2 Ь2 с2
Обозначим область, ограниченную этим эллипсоидом, V, тогда
V
Сделаем замену переменных:
х = ar sin 0 cos ф; у — br sin ф sin 0; z — cr cos 0.
Якобиан I этого преобразования равен:
|
— ar sin 0 sin ф |
br sin 0 cos ф |
0 |
|
||
/ = |
dr cos 0 cos ф |
&/’ соз0зш ф |
— crsinO |
= — abcr2sin 0. |
||
|
a sin 0 cos ф |
6 sin 0 sin ф |
ccos0 |
|
||
|
Применив формулу (2.19), |
имеем: |
|
|||
|
° = Ш |
а6с г2sin BdcpdQdr. |
|
|||
|
|
V |
|
|
|
|
|
Чтобы расставить пределы в этом тройном интеграле, представим |
|||||
границу области V |
в канонической форме. Заметим, что для любого |
|||||
г |
из интервала [0,1 ] |
переменные 0 и ф независимо друг от друга мо |
||||
гут принимать любые значения из интервалов [0, |
я ] и [0, 2я] соот |
|||||
ветственно, т. е. граница области V' |
может быть представлена в форме |
|||||
|
|
■ 0 = |
0; |
0 = |
it |
|
|
|
Ф = |
0; |
Ф = |
2я |
|
|
|
г = |
0; |
г = |
1. |
|
48
Переходя к трехкратному интегралу, получим:
я |
2я |
1 |
пи. я |
2я |
||
v = abc j' dQ |
^ dcp J г2 sin 0dr = — |
j" dB J sin Bdcp = |
||||
o |
o |
o |
|
^ o |
o |
|
- |
---------Г sin 0d0 = |
— |
nabc. |
|||
|
|
3 |
^ |
3 |
|
|
Вычисление массы тела. Пусть в области V распределена масса с плотностью f (х, у, г), где f (х, у, г) — непрерывная положительная функция, определенная в области V (будем в этом случае область V называть телом). Как было показано ранее (2.3), масса М тела~К может быть вычислена с помощью тройного интеграла:?
М = j j J / (x,'ry, "z) dxdydz.
Пример 4. Вычислить массу шара, плотность любой точки которого про
порциональна квадрату расстояния этой точки |
до центра шара. |
|||
Пусть дан шар х2 + у2 + z2 = |
R2 и плотность его f, (х, у, г) имеет |
|||
вид |
|
|
|
|
/ (х, у, |
г) — k (х2-(- у2-f- г2) |
(к — const). |
||
Масса М шара V может быть определена по формуле |
||||
М = |
J f | k (х2+ у2+ |
z2) dxdydz. |
(2.22) |
|
|
V |
|
|
|
Перейдем к сферическим координатам: |
|
|||
х = г sin 0 cos р; |
у = г sin 0 sin <p; |
z = |
r'cos0; |
| /| = r2sin0; |
M = k j f [ rs sin Bd&dqdr.
J y , - >
Заметим, что для любого г из промежутка [0, R ] переменная 0 может принимать любое значение из промежутка [0, я] и независимо от г и <р переменная ф может принимать любые значения из проме жутка [0, 2л]. Следовательно, граница области V' может быть пред ставлена в виде
0 = 0; |
0 = л |
Ф= 0; |
ф = 2л |
г = 0; |
r = R. |
Переходя к формуле (2.22) к трехкратному интегралу, соответст вующему указанной канонической форме задания границы V', имеем:
я
гь
= к
о
я 2я |
R |
М = k f dB [ |
йф ( г3 sin BdBd(fdr = |
o o o
я |
|
2я |
а . |
|
kR* ‘ |
Q Г . |
яkR* |
||
sin Bdcp = |
dB |
\ sin 0с(ф = |
—— |
|
4 |
|
о |
|
|
о |
|
|
|
я
sin0d0 = nkR4.
о
вычисление моментов тел. Пусть в области V распределена масса с плотностью / (х, у, z) (/ (х, у, z) — непрерывная положительная
3 Заказ № 1740 |
40 |