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

Tom_2

.pdf
Скачиваний:
65
Добавлен:
18.02.2016
Размер:
3.2 Mб
Скачать

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−xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òòò(x + y + z)dxdy dz = òòdxdy

 

 

ò

 

 

(x + y + z)dz =

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1−x

 

 

2−xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1−x æ

 

 

 

 

 

 

 

1 ö

 

2−xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ò

 

 

ò

 

 

 

ò

 

 

(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 = A00 ),

B = B0 +

ξ;η0 ) ,

ABCD

с

вершинами

в

точках

C = C0 +

ξ;η0 +

η) ,

D = D00 +

η) . При

 

отображении

(2)

множеству ABCD будет соответствовать в области D элементарный

криволинейный четырехугольник МNPQ, вершины которого

находятся в точках

 

 

 

 

 

 

 

 

 

 

 

M (x0 0 ); y0 0 )) , N(x0 + ξ,η0 ); y0 + ξ,η0 )) ,

 

 

 

P(x0 + ξ,η0 + η); y0 + ξ,η0 + η)) ,

 

 

 

 

 

Q(x0 0 + η); y0 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 = (x0 + Dξ,η0 ) - x0 0 ); y0 + Dξ,η0 ) - y0 0 )), MQ = (x0 0 + Dη) - x0 0 ); y0 0 + Dη) - y0 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

 

вычислен в точке (ξ00 )Î 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 = η -

(6)

 

 

 

3

 

3

 

 

1

 

- 2

 

1

 

 

 

 

 

 

 

и вычислим якобиан J =

3

 

3

=

. По формуле (4) получаем

 

 

3

 

 

1

 

 

1

 

 

 

 

 

3

 

3

 

 

 

 

 

83

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]