Tom_2
.pdf
y
D2
D1
D D3
Рис. 3
Замечание 2. Если область D не является правильной ни в направлении оси Ox , ни в направлении оси Oy , то
ее нужно разбить на конечное число правильных областей, не имеющих общих внутренних точек, и записать сумму интегралов по соответствующим областям.
Например, область D , изображенную на рис. 3, можно разбить на сумму областей D1, D2 и D3 .
Пример 2. Изменить порядок интегрирования в интеграле
|
|
|
1 |
2x |
|
|
|
||
|
|
|
|
I = òdx ò f (x, y)dy . |
|
||||
|
|
|
0 |
x2 |
|
|
|
||
|
|
|
|
Решение. |
Изобразим |
область |
|||
|
|
интегрирования (рис.4). Она ограничена |
|||||||
|
|
линиями |
x =1 , y = x2 , |
y = 2x . |
Разобьем эту |
||||
|
|
область на две части с помощью прямой y =1. |
|||||||
|
|
Получим |
|
|
|
|
|||
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
y |
2 |
1 |
|
|
|
Рис. 4 |
I = òdy ò f (x, y)dx + òdy ò |
f (x, y)dx . □ |
|||||||
|
|
0 |
y 2 |
1 |
y 2 |
|
|
||
§3. Тройной интеграл
10. Объем трехмерного тела. Понятие площади плоской фигуры легко переносится на понятие объема множества в пространстве. Отметим основные моменты теории, связанные с вычислением объема тела.
Телом будем называть любое ограниченное множество точек
пространства R3 . Под многогранным телом будем понимать объединение любого конечного числа ограниченных многогранников. Понятие объема многогранника известно из курса математики средней школы.
74
Верхним объемом V тела F называется точная нижняя грань множества объемов μ(Q) всех многогранных тел Q, содержащих F,
т.е. V = inf μ(Q) .
Нижним объемом V* тела F называется точная верхняя грань множества объемов μ(P) всех многогранных тел P, содержащихся в
F, т.е. V* = sup μ(P) .
Из определений следует, что для любого тела F выполняется
V* ≤ V .
Тело F называется кубируемым (имеющим объем), если
V* = V = V (F) . Число V (F) называется объемом тела F.
Объем тела является неотрицательным числом и обладает свойствами аддитивности, инвариантности и монотонности, аналогичными свойствам площади плоского тела (см.§1). Введенное понятие объема называется мерой Жордана пространственного множества.
Упражнение 1. Сформулировать и доказать свойства объема пространственного множества.
20. Определение тройного интеграла и его свойства. Пусть в трехмерной декартовой системе координат задана кубируемая область V и на ней определена функция f (x, y, z) = f (P), P = (x; y; z) .
Разобьем область V произвольно на n частей Vi с объемами Vi . В каждой из частей Vi выберем любую точку Pi и найдем значение f (Pi ) функции f в этой точке.
n
Составим интегральную сумму å f (Pi ) Vi . Рассмотрим предел
i=1
этой суммы при условии, что наибольший диаметр λn частей Vi
стремится к нулю. Если такой предел существует и не зависит от способа разбиения области V на части, то его значение называется
тройным интегралом от функции f (x, y, z) = f (P) по множеству V и
обозначается символами
|
n |
Vi = òòò f (P) dv = òòò f (x, y, z) dxdy dz . |
|
|
lim |
å f (Pi ) |
(1) |
||
λn →0 i=1 |
V |
V |
|
|
В формуле (1) под символом dv понимается элемент объема, под символом dx ( dy , dz ) − элемент расстояния между точками
прямой, параллельной оси Ох (Оу, Оz). Таким образом dv = dxdydz .
75
Аналогично двумерному случаю для некоторого разбиения
множества V |
на части V ,...,V |
вводятся |
понятия нижней |
S′ |
и |
|
верхней S′′ |
1 |
n |
|
f (P) = f (x, y, z) . |
n |
|
интегральных |
сумм |
функции |
Тогда |
|||
n |
|
|
|
|
|
|
достаточное условие существования тройного интеграла от ограниченной функции по множеству V выражается равенством
′′ |
′ |
(2) |
lim (Sn |
− Sn ) = 0, |
|
λn →0 |
|
|
где λn − максимальный из диаметров множеств Vi , i =1,n .
Упражнение 2. Доказать условие (2) существования тройного интеграла.
Справедлива
Теорема 1. Если функция f (x, y, z) непрерывна в замкнутой кубируемой области V, то она интегрируема по V.
|
Доказательство теоремы 1 аналогично доказательству теоремы |
||
1 |
. |
1 |
. |
Упражнение 3. Доказать теорему 1.
Свойства тройного интеграла аналогичны свойствам двойного интеграла.
Упражнение 4. Сформулировать и доказать свойства тройного интеграла.
§4. Вычисление тройного интеграла в декартовой
системе координат
Вычисление тройных интегралов сводится к вычислению интегралов меньшей размерности.
Область V называется правильной в направлении оси Oz, если любая прямая, параллельная оси Oz и проходящая через внутреннюю точку области V, пересекает границу этой области только в двух т о ч к а х .
Область, правильная в направлении оси Ox (оси Oy)
определяется аналогично.
Область, правильная одновременно в направлении осей Ox, Oy, Oz, называется правильной.
76
Теорема |
1. |
Пусть |
существует |
тройной |
интеграл |
|||||||
òòò f (x, y, z)dxdy dz |
по |
области |
V, |
являющейся |
правильной |
в |
||||||
V |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z2 (x,y) |
|
|
|
направлении оси Oz . Пусть существует интеграл |
ò |
|
f (x, y, z) dz , |
|||||||||
|
|
|
|
|
|
|
|
|
z1(x, y) |
|
|
|
где z1(x, y) и z2 (x, y) , |
z1(x, y) ≤ z2 (x, y) , есть проекции на ось |
Oz |
||||||||||
точек |
пересечения |
прямой, |
параллельной |
оси |
Oz |
с границей |
||||||
множества |
V. |
Тогда |
существует |
двойной |
интеграл |
|||||||
òòdxdy |
z2 (x,y) |
|
|
|
|
|
|
|
|
|
|
|
ò f (x, y, z)dz |
по |
двумерной |
области |
V1 , |
являющейся |
|||||||
V1 |
z1(x,y) |
|
|
|
|
|
|
|
|
|
|
|
проекцией области |
V |
на плоскость Oxy , |
и справедлива формула |
|||||||||
повторного интегрирования |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
z2 |
(x,y) |
|
|
|
|
|
|
òòò f (x, y, z)dxdy dz = òòdxdy |
ò |
f (x, y, z)dz . |
|
(1) |
|||||||
|
V |
|
|
|
V1 |
z1(x,y) |
|
|
|
|
|
|
Если при этом область V1 является правильной в направлении |
||||||||||||
оси Oy и y1(x), y2 (x), y1(x) ≤ y2 (x), |
есть ординаты точек пересечения |
|||||||||||
прямой, параллельной оси Oy с областью V1 , а a, b есть, соответственно, наименьшая и наибольшая абсциссы точек области
V1 |
( и |
о б л а с т и |
V ) , |
т о |
||
|
|
b |
y2 (x) |
z2 (x,y) |
|
|
|
òòò f (x, y, z)dxdy dz = òdx ò dy |
ò |
f (x, y, z)dz . |
(2) |
||
|
V |
a |
y1(x) |
z1(x,y) |
|
|
Упражнение 1. Доказать теорему 1.
В формуле (2) сначала выполняется интегрирование функции f (x, y, z) по z при постоянных x, y . В результате получаем
функцию, зависящую от двух переменных x, y . Далее выполняется интегрирование по y при постоянном х и лишь затем интегрирование
по х. Таким образом, вычисление тройного интеграла сводится к последовательному вычислению трех определенных интегралов.
В частном случае, когда область V является параллелепипедом с
гранями |
x = a, x = b, y = c, y = d, z = k, z = l, a < b, c < d, k < l, |
то |
|||
формула (1) принимает вид |
b |
d |
l |
|
|
|
|
|
|||
|
òòò f (x, y, z)dxdy dz = òdxòdyò f (x, y, z)dz . |
(3) |
|||
|
V |
a |
c |
k |
|
77
В этом случае интегрирование можно проводить в любом порядке.
Пример 1. Вычислить òòòxy dxdy dz , где
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V |
|
|
|
|
|
|
|
|
область V ограничена плоскостями |
x = 0 , x =1 , |
|||||||||||
|
Рис. 1 |
|
|
|
y = 0, |
y = 2, z = 0, |
|
|
z =1 (рис.1). |
|
|
|
|||||
|
Решение. По формуле (2) имеем |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
1 |
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
òòòxy dxdy dz = òdxòdyò xy dz = |
|
|
|
|
|
|
|
|||||||||
|
V |
|
|
|
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
1 |
1 |
2 |
|
1 |
æ |
1 |
|
ö |
|
2 |
1 |
|
1 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
xy2 |
|
|
= ò2xdx = x2 |
|
|
||||
= òdx òdy(xyz) |
|
|
= òdxòxy dy = òdxç |
|
÷ |
|
|
|
|
=1. □ |
|||||||
|
|
2 |
|
|
|
0 |
|||||||||||
|
|
|
ø |
|
|
|
|
||||||||||
0 |
0 |
|
0 |
0 |
0 |
|
0 |
è |
|
|
0 0 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||||||||
|
Пример |
|
|
2. |
Вычислить |
òòò(x + y + z)dxdydz , где |
область V |
||||||||||
V
ограничена плоскостями x = 0, y = 0, z =1, x + y + z = 2 (рис.2).
Решение. Область V является правильной в направлении оси Oz. Интегрирование по z совершается от z =1 до
y |
|
|
|
|
|
|
1 |
|
x+y=1 |
|
|
|
|
|
|||
|
|
|
|
||
|
|
|
V1 |
|
|
0 |
|
|
|
|
x |
|
1 |
||||
Рис. 2 |
|
|
|
|
|
|
|
|
Рис.3 |
|
|
z = 2 − x − y . Проекцией V1 области V на |
плоскость Oxy является |
||||
треугольник, ограниченный прямыми x = 0, |
y = 0, x + y =1 (рис.3). |
||||
78
Область V1 является правильной в направлении оси Oy. Точки пересечения области V1 и прямой, параллельной оси Oy, имеют ординаты y = 0 и y =1− x . Переменная x изменяется от 0
д |
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
. |
||
|
|
|
Поэтому получаем |
|
|
|
|
|
|
|
|
|
|
|
2−x− y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
òòò(x + y + z)dxdy dz = òòdxdy |
|
|
ò |
|
|
(x + y + z)dz = |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
V |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
1 |
|
1−x |
|
|
2−x− y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 1−x æ |
|
|
|
|
|
|
|
1 ö |
|
2−x−y |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
ò |
|
|
ò |
|
|
|
ò |
|
|
(x + y + z)dz = |
ò |
|
|
|
|
ò |
|
è |
|
|
|
|
|
|
|
|
2 |
z2 |
ø |
|
|
|
||||||||||||||||||||||
|
|
|
= |
0 |
dx |
0 |
dy |
1 |
|
|
0 |
dx |
0 |
dyç xz + yz + |
|
|
÷ |
|
1 |
= |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
1 |
|
1−x æ |
|
( y + x |
- 2) |
2 |
|
- x2 |
|
- y2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
ö |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
= |
ò |
dx |
ò |
ç |
|
|
|
|
- 2xy + x + y - |
|
÷dy = |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
÷ |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
0 |
|
|
0 |
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
|
|
|
|
1−x |
|
|||||
|
|
|
|
1 |
|
|
æ |
|
(y |
|
+ x - 2) |
3 |
- x2 y - |
|
1 |
y3 |
- xy2 |
|
|
|
|
1 |
y2 |
|
1 |
|
ö |
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
= |
ò |
dx |
ç |
|
|
|
|
|
+ xy + |
|
- |
y ÷ |
|
|
|
|
|
= |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
3 |
2 |
2 |
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
÷ |
|
|
|
|
|
|
||||||||||
|
1 |
|
|
0 |
|
|
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
æ |
(x -1)3 |
|
|
|
(x -1)2 |
|
|
|
(x - 2)3 |
|
|
|
|
x |
|
2 |
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
= |
|
ç |
|
|
|
|
+ |
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
|
+ |
|
|
|
- |
|
|
|
÷dx |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
3 |
|
|
|
|
|
2 |
|
|
|
|
|
6 |
|
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
òç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
÷ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
0 |
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
æ |
(x -1)4 |
|
(x -1)3 |
|
(x - 2)4 |
|
x2 |
|
|
2x |
ö |
|
1 |
|
7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
= |
ç |
|
|
|
|
+ |
|
|
|
|
|
|
- |
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
- |
|
|
|
|
÷ |
|
|
= |
|
|
. □ |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
ç |
|
12 |
|
|
|
|
|
|
|
6 |
|
|
|
|
|
24 |
|
|
|
|
|
|
4 |
|
3 |
÷ |
|
|
|
24 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание 1. Если область V не является правильной ни в одном из направлений Ox, Oy, Oz , то ее следует разбить на конечное
число частей, являющихся правильными в направлении какой-либо из осей, не имеющих общих внутренних точек, и воспользоваться свойством аддитивности интеграла по множествам.
§ 5. Замена переменных в кратных интегралах
10. Преобразование координат. Помимо прямоугольной декартовой системы координат на плоскости и в пространстве можно рассматривать другие системы координат. Отметим, что в любой системе координат точка на плоскости характеризуется двумя числами, а в пространстве – тремя.
На плоскости Oxy рассмотрим некоторую область D и определенные в этой области однозначные функции
79
|
|
|
|
|
ξ = ξ (x, y), |
η =η(x, y) . |
|
|
|
|
(1) |
||
Множество образов точек из D при преобразовании (1) |
|||||||||||||
обозначим через Q. |
|
|
|
|
|
|
|
|
|
|
|||
Предположим, что уравнения (1) разрешимы относительно x и y, |
|||||||||||||
т |
|
|
|
|
. |
|
|
е |
|
|
|
|
. |
|
|
|
|
|
x = x(ξ,η), |
y = y(ξ,η), |
|
|
|
|
(2) |
||
причем |
функции |
x = x(ξ,η), |
y = y(ξ,η) |
|
определены |
и |
|||||||
непрерывно дифференцируемы по ξ и η в области Q плоскости Oξη. |
|||||||||||||
Изобразим область D в плоскости Oxy, а область Q – в |
|||||||||||||
плоскости Oξη, считая координатные оси Oξ и Oη также |
|||||||||||||
прямоугольными (рис.1). Рассмотрим в области Q элементарный |
|||||||||||||
прямоугольник |
|
|
|
A = A(ξ0;η0 ), |
B = B(ξ0 + |
ξ;η0 ) , |
|||||||
ABCD |
с |
вершинами |
в |
точках |
|||||||||
C = C(ξ0 + |
ξ;η0 + |
η) , |
D = D(ξ0;η0 + |
η) . При |
|
отображении |
(2) |
||||||
множеству ABCD будет соответствовать в области D элементарный |
|||||||||||||
криволинейный четырехугольник МNPQ, вершины которого |
|||||||||||||
находятся в точках |
|
|
|
|
|
|
|
|
|
|
|||
|
M (x(ξ0 ,η0 ); y(ξ0 ,η0 )) , N(x(ξ0 + ξ,η0 ); y(ξ0 + ξ,η0 )) , |
|
|
||||||||||
|
P(x(ξ0 + ξ,η0 + η); y(ξ0 + ξ,η0 + η)) , |
|
|
|
|
|
|||||||
Q(x(ξ0 ,η0 + η); y(ξ0 ,η0 + η)) . |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
η |
|
|
|
|
|
|
|
|
|
P |
|
з =з 0 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
D |
C |
|
|
||
|
|
|
Q |
M |
|
|
|
|
|
||||
|
|
|
|
|
|
з 0 |
A |
|
B |
|
|
||
|
|
D |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
Q |
|
|
|
|||
|
|
|
о=о0 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
x |
|
0 |
|
о0 |
ξ |
|
|
|
|
|
|
|
|
|
Рис. 1 |
|
|
|
|
|
|
В силу дифференцируемости функций (2), площадь |
|||||||||||||
четырехугольника МNPQ с точностью до бесконечно малых равна |
|||||||||||||
площади параллелограмма, построенного на |
векторах MN, MQ . |
||||||||||||
Известно, что площадь параллелограмма равна абсолютной величине |
|||||||||||||
определителя, составленного по векторам, определяющим его |
|||||||||||||
стороны, т.е. |
SMNPQ = |[MN,MQ]| , где |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
80 |
MN = (x(ξ0 + Dξ,η0 ) - x(ξ0 ,η0 ); y(ξ0 + Dξ,η0 ) - y(ξ0 ,η0 )), MQ = (x(ξ0 ,η0 + Dη) - x(ξ0 ,η0 ); y(ξ0 ,η0 + Dη) - y(ξ0 ,η0 )).
Применяя теорему Лагранжа, с точностью до бесконечно малых
первого порядка получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
æ |
¶x(ξ |
|
,η ) |
|
|
|
|
|
|
¶y(ξ |
|
,η ) |
|
ö |
|
|
|
|
|
|
|
æ |
¶x(ξ |
0 |
,η ) |
|
¶y(ξ |
|
,η ) |
ö |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
MN = ç |
|
0 |
0 |
Dξ |
; |
|
|
|
|
|
0 |
0 |
|
|
Dξ ÷, |
|
|
MQ = ç |
|
|
|
|
0 |
Dη; |
|
0 |
0 |
Dη ÷. |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¶η |
|
|||||||||||||||||||||||||||||||||||
è |
¶ξ |
|
|
|
|
|
|
|
|
|
¶ξ |
|
|
|
ø |
|
|
|
|
|
|
è |
|
|
|
|
¶η |
ø |
||||||||||||||||||||||
Отсюда, пренебрегая бесконечно малыми второго порядка, |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
и |
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
|
|
|
|
|
|
м |
|
||||
|
|
|
|
|
|
|
¶x |
|
Dξ |
|
|
|
¶y |
|
Dξ |
|
|
¶x ¶y |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
SMNPQ = |
|
¶ξ |
|
|
|
|
¶ξ |
|
= |
|
¶ξ |
|
|
|
¶ξ |
|
|
|
Dξ Dη, |
|
|
|
(3) |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
¶x |
|
Dη |
|
|
|
¶y |
|
Dη |
|
|
¶x ¶y |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
¶η |
|
|
|
¶η |
|
|
|
¶η |
|
|
|
¶η |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
где определитель |
|
¶x |
|
¶y |
|
вычислен в точке (ξ0;η0 )Î ABCD . |
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
¶ξ |
|
|
|
¶ξ |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
¶x |
|
¶y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
¶η |
|
|
¶η |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D(x, y) |
|
|
|
|
¶x |
|
|
|
¶y |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Определитель |
|
|
|
|
|
J(ξ,η) = |
|
= |
|
¶ξ |
|
|
|
|
|
¶ξ |
|
|
|
называется |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
¶x |
|
|
|
¶y |
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
D(ξ,η) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
¶η |
|
|
|
|
¶η |
|
|
|
|
|
|
|
|
|||
функциональным определителем Якоби или якобианом.
Формула (3) показывает, что величина J (ξ,η) характеризует
степень искажения площади фигуры при преобразовании координат
(2).
Замена координат в пространстве проводится аналогично. Пусть равенства x = x(u,v, w) ; y = y(u,v,w) ; z = z(u,v, w) , (u;v; w) ÎQ Ì 3 ,
определяют взаимно однозначное соответствие между переменными
(x, y, z) и (u,v,w) , и криволинейный параллелепипед |
есть образ |
||||
элементарного |
|
параллелепипеда |
|
D′ÎQ |
|
с ребрами, параллельными осям координат и измерениями |
u, v, w . |
||||
Тогда |
объем |
тела |
приближенно |
равен |
величине |
81
∂x ∂y |
|
∂z |
|
|
|
|
∂x ∂y |
|
|
|
∂z |
|||||||
|
|
|
|
|
|
|
|
|||||||||||
∂u |
|
∂u |
|
∂u |
|
|
|
|
∂u |
|
|
|
∂u |
|
|
|
∂u |
|
∂x ∂y |
|
∂z |
|
u v w , где якобиан |
J (u,v, w) = |
|
∂x ∂y |
|
|
|
∂z |
|||||||
∂v ∂v ∂v |
|
|
|
|
∂v ∂v ∂v |
|||||||||||||
∂x ∂y |
|
∂z |
|
|
|
|
∂x ∂y |
|
|
|
∂z |
|||||||
∂w |
|
∂w |
|
∂w |
|
|
|
∂w |
|
∂w |
|
∂w |
||||||
вычисляется в некоторой точке (u0;v0;w0 ) ′ .
20. Замена переменных в двойном и тройном интегралах.
При вычислении двойных и тройных интегралов возникают трудности, связанные не только со сложностью подынтегральной функции, но и с формой границы области интегрирования. С целью приведения интеграла к виду, более удобному для его вычисления, производится замена переменных.
Пусть в некоторой области D 2 для функции f (x, y) существует двойной интеграл òò f (x, y)dxdy . Пусть задано взаимно
D
однозначное отображение (2) между областями D плоскости Oxy и Q плоскости Oξη , причем функции
|
Рис. 2 |
|
(2) |
||||||||
имеют в области Q непрерывные |
|||||||||||
частные |
производные |
первого |
|||||||||
порядка |
и отличный |
от |
|
нуля |
|||||||
|
|
|
∂x |
|
|
|
∂y |
|
. |
||
|
|
|
|
|
|
|
|||||
якобиан |
J(ξ,η) = |
|
∂ξ |
|
|
|
∂ξ |
|
|
||
|
|
|
∂x |
|
|
|
∂y |
|
|
||
|
|
|
∂η |
|
|
|
∂η |
|
|
|
|
Разобьем множество Q сеткой, состоящей из прямоугольников со сторонами x, y . При помощи отображения (2) часть сетки, содержащаяся в Q , переходит в криволинейную сетку линий, разбивающую D на квадрируемые части (рис.2).
Обозначим через ′ любой из полных прямоугольников сетки, входящих в Q . При преобразовании (2) ′ переходит в множество .
При этом, |
если диагональ прямоугольника ′ стремится к нулю |
(( x)2 + ( |
y)2 → 0), то максимальный диаметр множеств D тоже |
82
стремится к нулю, потому что в преобразовании (2) функции x(ξ,η) , y(ξ,η) равномерно непрерывны на замкнутом множестве Q .
На основании формулы (3) преобразования площади, имеем
å f (x, y)S(D) =å f (x(ξ,η), y(ξ,η)) J (ξ,η) DξDη ,
где суммирование берется по всем |
, |
причем данное равенство |
тем точнее, чем меньше значения x и |
y . Переходя в последнем |
|
равенстве к пределу при (Dx)2 + (Dy)2 ® 0 , |
в силу интегрируемости |
|
функции f по множеству D , получим формулу замены переменных для двойного интеграла
òò f (x, y) dx dy = òò f (x(ξ,η), y(ξ,η)) |
|
J (ξ,η) |
|
dξ dη . |
(4) |
|
|
|
|||||
|
|
|
||||
D |
Q |
|
||||
Пример 1. |
Вычислить òò(x - 4y)dxdy , где |
D − |
||||
четырехугольник, |
D |
прямыми |
||||
ограниченный |
||||||
x − y =1, x − y = 4, 2x + y =1, 2x + 5y =1 (рис.3).
Решение. Если вычислять этот интеграл непосредственно, то область D надо разбить на три части и вычислить, соответственно, три интеграла. Рассмотрим преобразование
ìx - y = ξ, |
(5) |
í |
|
î2x + y =η. |
|
При преобразовании |
(5) прямые |
x − y =1, x − y = 4 переходят |
соответственно в прямые |
ξ =1, ξ = 4 |
в системе координат Oξη , |
прямая |
2x + y =1 − в прямую η =1, а прямая 2x + 5y =1 − в прямую |
7η − 8ξ |
= 3 . Тогда четырехугольник D преобразуется в более простую |
область интегрирования Q (рис.4). Выразим из (5) переменные |
x и |
||||||||
y : |
|
|
|
|
|
|
|
|
|
|
x = |
ξ +η , |
y = η - 2ξ |
(6) |
|||||
|
|
|
3 |
|
3 |
|
|||
|
1 |
|
- 2 |
|
1 |
|
|
||
|
|
|
|
|
|||||
и вычислим якобиан J = |
3 |
|
3 |
= |
. По формуле (4) получаем |
|
|||
|
3 |
|
|||||||
|
1 |
|
|
1 |
|
|
|
|
|
|
3 |
|
3 |
|
|
|
|
|
|
83
