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

А. Р. Лакерник. Высшая математика.Краткий курс

.pdf
Скачиваний:
5
Добавлен:
10.10.2023
Размер:
3.65 Mб
Скачать

VII. Кратные и криволинейные интегралы. Теория поля

4. Пусть в области (D) функция f (x,y) ³ 0. Тогда òò f (x,y)dxdy ³ 0,

если этот интеграл существует.

(D)

 

¡

òò

f (x,y)dxdy = lim

 

f (Mi )Si ³0 (так как интеграл существует). x

 

0

å14243

 

 

(D)

 

i

³0

 

1442443

³0

5.Пусть в области (D) функция f (x,y) ³ g(x,y) . Тогда

òòf (x,y)dxdy ³ òò g(x,y)dxdy,

 

 

 

(D)

 

(D)

 

если оба этих интеграла существуют.

 

 

 

 

 

 

 

 

 

 

 

 

4)

[ f (x ,y )- g (x ,y )]dxdy ³ 0

¡ f (x,y) ³ g(x,y)Þ f (x,y)- g (x,y )³

òò

 

 

 

 

 

 

 

 

 

 

(D)

 

2)

 

 

 

 

 

 

 

 

 

òò f ( x,y) dxdy ³ òòg( x,y) dxdy. x

Þ òò f ( x,y) dxdy – òòg( x,y) dxdy ³ 0 Þ

( D)

( D)

 

( D)

( D)

 

 

£ òò

 

 

 

 

 

6.

 

òò f ( x,y) dxdy

 

 

f ( x,y)

 

dxdy,

если оба этих интеграла суще-

 

 

 

 

 

 

 

 

ствуют.

 

( D)

 

 

( D)

 

 

 

 

 

 

 

 

 

 

¡ Из свойств абсолютных величин чисел следует, что

å f (Mi )Si £ å f (Mi )Si .

ii

Переходя в этом неравенстве к пределу при l ® 0 , имеем

λ→lim0

 

å f (Mi )Si

 

£ limλ→0

å

 

f (Mi )

 

Si ,èëè

òò f ( x,y) dxdy

£ òò

 

f ( x,y)

 

dxdy. x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

( D)

 

 

( D)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7. òò dxdy = S, где S, как уже было отмечено выше, это площадь

 

 

(D)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

области (D).

 

 

 

 

 

 

 

òò

λ→0å

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

λ→0

 

 

¡ Согласно определению имеем

 

dxdy = lim

S = limS = S. x

 

 

 

 

 

 

 

 

 

 

(D)

 

i

 

 

 

 

 

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

8.Аналогично случаю одной переменной доказывается следующая теорема.

Теорема 19.1. Если функция z = f (x,y) непрерывна в замкнутой

области (D) , то òò f (x,y)dxdy существует.

(D)

9. Теорема 19.2 (о среднем в двойном интеграле). Пусть z = f (x,y) непрерывна в замкнутой области (D) с площадью S. Тогда существует

такая точка (x0,y0)Î(D) , ÷òî òò f (x,y)dxdy = f (x0,y0 )S.

(D)

¡ Согласно теореме 19.1 интеграл òò f (x,y)dxdy существует. Пусть

(D)

m и M – наименьшее и наибольшее значения непрерывной функции f (x,y) в области (D) (см. теорему 12.2). Тогда при

 

5)

òòm dxdy £

 

 

 

1)

( x,y) Î( D) m £ f ( x,y) £ MÞ

òò f ( x,y) dxdy £ òòMdxdyÞ

 

( D)

( D)

( D)

m òò dxdy £ òò

 

7)

 

f (x,y)dxdy £M òò dxdy Þ

 

(D)

(D)

 

 

 

(D)

 

mS £ òò f (x,y)dxdy £ MS Þ m £

1

òò f (x,y) dxdy £ M .

S

(D)

 

 

 

 

(D)

 

Здесь 1 òò f (x,y)dxdy – это число, заключенное между двумя значе-

S (D)

ниями mи M функции f (x). Тогда согласно теореме 12.3 существует точ-

êà (x0,y0) (D) , такая, что f (x0,y0) = S1 (òòD)f (x,y) dxdy Þ

f (x0, y0)S = òò f (x,y) dxdy. x

(D)

10. Пусть z = f (x,y) непрерывна в замкнутой области (D) и в этой

области f (x,y) ³ 0. Согласно определению двойного интеграла 19.1 (который в данном случае существует в силу теоремы 19.1)

378

379

VII. Кратные и криволинейные интегралы. Теория поля

òò f (x,y)dxdy = limλ→0

å f (Mi )Si .

(D)

i

Впоследнейсуммеслагаемое f (Mi )Si –этообъемцилиндрасосно- ванием (Di ) и высотой f (Mi ) (рис. 94), а сумма таких слагаемых – это объем «ступенчатого» тела, состоящего из таких цилиндров .

z

z – f (x)

y

(D)

(D1)

x

 

Ðèñ. 94

 

Под объемом V тела, ограниченного областью (D) на плоскости 0xy, поверхностью z = f (x,y) и цилиндрической поверхностью, образующие которой параллельны оси 0z, а направляющей является граница области (D), будем понимать предел объемов таких ступенчатых тел при λ → 0 , если этот предел существует и не зависит от разбиения (D) на части и от выбора точек в каждой из частей. Но данный предел как раз и дает двойной интеграл, значит,

V = òò f (x,y).

(19.2)

(D)

 

19.2. Вычисление двойного интеграла

Предположим, что в двойном интеграле òò f (x,y) область (D) яв-

(D)

ляется так называемой криволинейной трапецией, ограниченной прямыми x = a è x = b (a £ b) и кривыми y = ϕ(x) è y = ψ(x) , где обе эти функции непрерывны на отрезке [a, b] и y(x) ³ j(x), x О[a,b] (рис. 95). Такая область называется правильной в направлении оси 0y. Любая прямая, параллельная оси 0y, пересекает не вертикальную границу об-

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

y

 

 

y = ψ(x)

 

 

y = ϕ(x)

 

x

 

a

b

x

Ðèñ. 95

 

ласти (D) не более чем в двух точ-

 

 

ках. Пример неправильной облас-

y

 

ти приведен на рис. 96.

 

 

Если область (D) не является

 

 

правильной, то ее нужно разбить

 

 

на правильные части и для вычис-

 

 

ления двойного интеграла приме-

 

 

нить свойство 3 из разд. 19.2.

 

x

Теорема 19.3. Пусть (D) – кри-

 

 

Ðèñ. 96

волинейная трапеция, ограничен-

 

 

 

ная прямыми x = a è x = b (a £ b) и кривыми y = ϕ(x) è y = ψ(x) , где обе эти функции непрерывны на отрезке [a, b] и y(x) ³ j(x), x О[a,b], и пусть функция z = f (x,y) непрерывна в области (D). Тогда

òò

b

ψ(x)

 

f (x,y)dxdy = òdx

ò f (x,y )dy .

(19.3)

(D)

a

ϕ(x)

 

¡ Функцию z = f (x,y) будем полагать непрерывной в замкнутой области (D), что согласно теореме 19.1 обеспечивает существование нашего двойного интеграла. Предположим еще, что в области (D) f (x,y) ³ 0, тогда для вычисления двойного интеграла можно применить формулу (19.2). Но согласно результатам разд. 10.8 объем тела можн о по-

b

считать и как интеграл от площади поперечного сечения: V = òS(x)dx

a

(отметим,чтопритакомрассуждениимыиспользуемравносильностьопределений объема, данных в разд. 10.8 и 19.1, что нуждается в строг ом

380

381

VII. Кратные и криволинейные интегралы. Теория поля

обосновании). Тогда òò f (x,y)dxdy = òb S(x)dx. Теперь найдем S(x) –

(D) a

площадь сечения тела плоскостью, перпендикулярной оси 0x, в точке с

абсциссой x (рис. 97).

Из рис. 97 видно, что поперечное сечение – это криволинейная трапеция, площадь которой согласно результату разд. 10.1 рав на

b

ò f (x)dx, где a и b – наименьшее и наибольшее значения х; f (x) – вер-

a

хняя граница трапеции. В нашем случае интеграл берется по переменной y, наименьшее и наибольшее значения этой переменной – j(x) и y(x) , а верхняя граница – f (x,y) (х фиксирован). Значит,

ψ(x)

S(x) = ò f (x,y)dy è

ϕ(x)

b

b éy( x)

 

òò f ( x,y) dxdy =òS( x) dx=òêê ò f

( D)

a

a ëj( x)

z

ù

( x,y) dyúú dx.

û

z = f (x,y)

ϕ(x) ψ(x)

a

y

x

b

x

y = ϕ(x)

y = ψ(x)

Ðèñ. 97

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

Âпоследнем интеграле dx переставляют вперед и записывают эту формулу в виде

 

b

y( x)

òò f ( x,y) dxdy =òdx

ò f ( x,y) dy.

( D)

a

j( x)

Докажем справедливость этой формулы в случае невыполнен ия условия f (x,y) ³ 0. Так как f (x,y) непрерывна в замкнутой области (D), значит, в этой области она ограничена и существует число C (в нашем случае отрицательное), такое, что f (x,y) ³ C Ю f (x,y) -C ³ 0 . Следовательно, только что выведенную формулу можно применить к ф ункции

f (x,y) -C :

 

b

y( x)

 

 

 

 

 

 

 

 

 

 

 

òò[ f (x,y) – C]dxdy =òdx

ò[ f (x,y) – C]dy.

 

 

 

(D)

a

j(x)

 

 

 

Преобразуем левую и правую части последней формулы:

согласно свойствам двойного интеграла

 

 

 

òò [ f (x,y) -C]dxdy = òò

f (x,y)dxdy -C òò dxdy = òò f (x,y)dxdy -CS;

(D)

 

(D)

 

(D)

(D)

 

согласно свойствам обычного определенного интеграла

b

y( x)

b

éy(x)

y(x) ù

b

y(x)

òdx

ò[ f (x,y) – C]dy= òdx êê ò f (x,y)dy – C òdyúú

=òdx

ò f (x,y)dy –

 

j( x)

 

ë

j(x)

û

 

j(x)

a

a

êj(x)

ú a

 

 

b

b

y(x)

 

 

 

 

 

– Cò[y(x) – j(x)]dx=òdx

ò f (x,y)dy – CS.

 

 

 

a

a

j(x)

 

 

 

Здесь S – площадь (D).

Приравнивая два полученных результата, убеждаемся в спра ведливости нужной нам формулы. x

Расстановка пределов в формуле (19.3) производится следующи м образом: x меняем от a до b, далее фиксируем произвольное значение x и проводим через точку x вертикальную прямую; вдоль этой прямой y меняется от минимального значения (или, как говорят, от точ ки «входа») ϕ(x) до максимального значения (или, как говорят, до точки «выхода») y(x) (см. рис. 95).

382

383

VII. Кратные и криволинейные интегралы. Теория поля

Интеграл в правой части формулы (19.3) вычисляется следующим

образом: сначала при каждом фиксированном x берется внутренний

ψ(x)

интеграл ò f (x,y)dy . Этот интеграл является функцией от x, которая

ϕ(x)

интегрируется от a до b.

Теперь рассмотрим случай, когда область (D) является правильной в направлении оси 0x, т.е. является криволинейной трапецией, изображенной на рис. 98.

y

b

y

 

0

x

a

x = y(y)

 

 

x = j(y)

 

Ðèñ. 98

Тогда аналогично предыдущему расстановка пределов в двойном интеграле производится по формуле

òò

b

ψ(y)

f (x,y)dxdy =òdy

ò f (x,y) dx (19.4)

(D)

a

ϕ(y)

Здесь y меняем от наименьшего значения a до наибольшего значения b, далее фиксируем произвольное значение y и проводим через точку y горизонтальную прямую; вдоль этой прямой x меняется от минимального значения ϕ(y) до максимального значения ψ(y) .

Пример 1. Расставить пределы в двойном интеграле òò f (x,y)dxdy (â

(D)

том и в другом порядке) по области (D) , ограниченной кривыми x2 + y2 = 2, (y ³ 0), y = x, x = 0.

Ð å ø å í è å

 

 

 

òò

1

2x2

y

 

 

f (x,y)dxdy = òdx

ò f (x,y)dy

 

 

 

 

 

2

 

 

(D)

0

x

 

 

 

 

 

1

 

 

( x2 + y2 = 2 Û y = ± 2 - x2

– это окружность

 

 

 

радиуса

2 с центром в начале координат

 

y = x

 

(рис. 99); выбирается знак «+», так как на

 

 

нашей дуге окружности y

³ 0).

 

 

 

0

1

2 x

При расстановке пределов в другом по-

 

 

 

рядке область приходится разбивать на две

 

Ðèñ. 99

 

части:

 

 

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

òò

1

y

2

f (x,y)dxdy = òdyò f (x,y)dx + ò dy

(D)

0

0

1

Пример 2. Найти объем тела, ограниченного поверхностями y = x2, y = 2x, z = 0, z = x2y 2.

Р е ш е н и е Первые две поверхности – цилиндрические

с образующими (в силу отсутствия в уравнениях координаты z), параллельными оси 0z. Проекцией тела на плоскость 0xy является заштрихованная область (D) , изображенная на рис. 100

( 2x = x2 Þ x1 = 0, x2 = 2 ).

Не вдаваясь в изучение вида поверхности z = x2 y , отметим, что при (x,y) О (D) z ³ 0. Тогда выполняются условия, при которых справедлива формула (19.2) и

2y2

òf (x, y)dx.

0

y

y = 2x

 

y = x2

0

x

2

x

Ðèñ. 100

 

2

2x

 

 

 

 

 

2

 

y2

 

2x

 

2

æ

4x4

 

x6

ö

 

 

 

 

 

 

 

 

 

 

V = òò x2ydxdy = òdx ò x2 ydy = ò x2

 

 

 

 

dx = ò

ç

 

-

 

÷ dx =

 

2

 

 

2

2

(D)

0

x2

 

 

 

 

 

0

 

 

 

x2

 

0

è

 

ø

2

 

 

 

2

 

 

 

 

 

 

 

 

=

2x5

 

-

x7

 

=

64

-

64

=

128

.

 

 

 

 

 

 

 

 

 

 

 

 

5

 

0

14

 

0

5

 

7

35

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что при решении задачи мы сумели обойтись без пространственного чертежа рассматриваемого тела.

19.3. Определение и свойства тройного интеграла

Определение тройного интеграла дается по аналогии с опре делением 19.1 двойного интеграла. При этом не будем пытаться строго определять такие понятия, как гладкие поверхности или кусочно-гладкие поверхности, и ограничимся их интуитивным пониманием.

Определение 19.2. Пусть функция u = f (M ) = f (x,y,z) определена в замкнутой области (T) трехмерного пространства, ограниченной гладкой или кусочно-гладкой поверхностью. Разобьем эту област ь сетью (гладких или кусочно-гладких) поверхностей на конечное чи сло замкнутых частей (Ti ) с объемами Vi (будем считать, что эти объемы, равно как и объем всей области V, существуют). В каждой части разбиения возьмем произвольную точку Mi (Ti ) (рис. 101). Составим интеграль-

384

385

VII. Кратные и криволинейные интегралы. Теория поля

(Ti)

Mi

(T)

Ðèñ. 101

Таким образом,

ную сумму s = å f (Mi )Vi . Обозначим

i

через l наибольший из диаметров

множеств (Ti ) . Если существует предел наших интегральных сумм при l ® 0 , который не зависит от разбиения области (T ) на части (Ti ) и от выбора точек Mi (Ti ), то этот предел называется тройным интегралом от функции по области (T) и обознача-

åòñÿ òòò f (x,y,z)dxdydz .

(T )

òòò

λ→0 λ→0

å

 

i

i

 

 

 

f (x,y,z,)dxdydz = lims = lim

 

f (M

 

)V

,

(19.5)

(T )

 

i

 

 

 

 

 

если этот предел существует и не зависит от разбиения обл асти на части и от выбора точек в каждой части.

Свойства тройного интеграла также аналогичны свойствам двойного (а значит, и обычного определенного) интеграла и дока зываются точно так же, как в разд. 19.1. Ниже приведем эти свойства, огран ичи- ваясь только теми доказательствами, в которых есть какиелибо отли- чия от доказательств свойств двойного интеграла (разд. 19.1).

1) òòòaf (x,y,z)dxdydz = aòòò f (x,y,z)dxdydz, если интеграл справа

(T )

(T )

существует:

 

òòò ë

1

(x,y,z) ±

 

2

û

òòò

 

1

(x,y,z)dxdydz ±

2)

é f

 

f

 

(x,y,z)ù dxdydz =

 

f

 

 

(T )

 

 

 

 

 

(T )

 

 

 

±òòò f2(x,y,z)dxdydz , если интегралы справа существуют;

(T )

3) пусть (T ) = (T 1) È (T 2) , ãäå (T 1) è (T 2) не имеют общих внутренних точек. Тогда:

òòò f (x,y,z)dxdydz = òòò f (x,y,z)dxdydz = òòò f (x,y,z)dxdydz,

(T )

(T1)

(T2 )

если все эти три интеграла существуют;

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

4)пусть в области (T ) f (x,y,z) ³ 0 . Тогда

òòòf (x,y,z)dxdydz ³ 0,

(T )

если этот интеграл существует;

5) пусть в области (T ) f (x,y,z) ³ g(x, y,z) . Тогда

òòò f (x,y,z)dxdydz ³ òòò g(x,y,z )dxdydz.

 

 

(T )

 

 

(T )

 

 

если оба этих интеграла существуют;

 

 

 

£ òòò

 

f (x,y,z )

 

dxdydz, если оба этих интегра-

6)

òòò f (x,y,z)dxdydz

 

 

 

 

 

(T )

 

(T )

 

 

 

 

 

 

 

ла существуют.

 

 

 

 

 

 

 

 

 

7) òòòdxdydz =V , где V, как уже было отмечено выше, – объем об-

 

(T )

 

 

 

 

 

 

 

 

 

ласти (T ).

 

 

òòò

 

 

 

å i

 

 

 

 

 

 

 

λ→0

λ→0

¡ Согласно определению

 

 

dxdydz = lim

V

= limV =V . x

 

 

 

 

 

(T )

 

 

 

i

 

Теорема 19.4. Если функция u = f (x,y,z)

непрерывна в замкну-

той области (T), то òòò f (x,y,z)dxdydz существует.

(T )

Теорема 19.5 (о среднем в тройном интеграле). Пусть u = f (x,y,z) непрерывна в замкнутой области (T) с объемом V. Тогда существует такая

точка (x0,y0,z0) (T) , ÷òî òòò f (x,y,z)dxdydz = f (x0,y0,z0 )V .

(T )

¡ Согласно теореме 19.4 òòò f (x,y,z)dxdydz существует.

(T )

Пусть m и M – наименьшее и наибольшее значения непрерывной функции f (x,y,z) вобласти(T )(см.теорему12.2).Тогдапри(x,y,z) О (T)

5)

òòòmdxdydz £

 

1)

m £ f (x,y,z)£ M Þ

òòò f (x,y,z)dxdydz £ òòòMdxdydz Þ

 

(T )

(T )

(T )

 

 

 

7)

mòòòdxdydz £ òòò f (x,y,z)dxdydz £ M òòòdxdydz Þ

(T )

(T )

 

(T )

386

387

VII. Кратные и криволинейные интегралы. Теория поля

mV £ òòò f (x,y,z)dxdydz £ MV Þ m £ V1 òòò f (x,y,z)dxdydz £ M .

(T )

(T )

Таким образом, число 1 òòò f (x,y,z)dxdydz заключено между дву-

V (T )

мя значениями функцииm и M. Тогда согласно теореме 12.3 существует точка (x0,y0,z0)О(T ), такая, что

f (x0,y0,z0) =

1

òòò f (x,y,z)dxdydz Þ f (x0,y0,z0)V = òòò f (x,y,z)dxdydz. x

V

 

 

(T )

(T )

19.4.

Вычисление тройного интеграла

Теорема 19.6. Пусть область (T) ограничена снизу и сверху гладкими или кусочно-гладкими поверхностями z = p (x,y) и z = q (x,y), проектирующимися на плоскость 0xy в некоторую ограниченную область (D), p(x,y) q(x,y), (x,y) (D) , а сбоку – цилиндрической поверхностью с образующими, параллельными оси 0z , и границей области (D) в роли направляющей (рис. 102) . Пусть также функция u = f (x,y,z) непрерывна в области (T). Тогда

z

z = q (x,y)

z = p (x,y)

y

 

(D)

x

(x,y)

 

 

Ðèñ. 102

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

 

 

q(x,y)

 

òòò f (x,y,z)dxdydz = òòdxdy=

ò f (x,y,z)dz .

(19.6)

(T )

(D)

p(x,y)

 

¡ Разобьем область (D) гладкими или кусочно-гладкими кривыми на части (Di ) с площадями Si и рассмотрим цилиндры с основаниями (Di ) и образующими, параллельными оси 0z. Пусть

m= inf

p(x,y), M= sup q(x,y).

( x,y ) Î( D)

( x,y) Î( D )

Разобьем отрезок [m,M ] на части точками zk и проведем плоскости z = zk . Обозначим Dzk = zk+1 - zk . Тогда плоскости z = zk разобьют наши цилиндры на более мелкие, которые будем обозначать д вумя ин-

дексами, а именно: (Tik ) = {(x,y,z):(x,y)Î(Di ), z Î[zk ,zk+1]} . Тем самым мы разбили область (T) на части (Tik ) с объемами Vik = Si zk .Îäíà

из таких частей изображена на рис. 102.

Как обычно, через l обозначим наибольший (по i и k) диаметр областей (Tik ) . Будем предполагать, что число l достаточно мало. Тогда части, расположенные около верхней и нижней границ, тоже м ожно заменить на цилиндры указанного вида (это является следс твием стремления к 0 при l ® 0 интеграла по данным частям).

Преобразуем правую часть формулы (19.6):

 

 

 

 

 

 

 

g(x,y)

 

zk+1

 

 

 

 

 

 

òòdxdy

ò f (x,y,z)dz = òòdxdyå ò f (x,y,z)dz.

 

 

 

 

 

 

(D)

p(x,y)

(D)

k z

k

 

 

 

 

 

 

 

 

 

 

 

Применим к интегралу по z теорему о среднем 10.1, где

z Î éz

k

,

z

k+1

ù :

 

 

 

 

k

ë

 

 

û

 

 

 

 

 

 

 

 

 

 

zk+1

 

 

 

 

 

 

 

 

òò dxdyå

ò f (x,y,z)dz = òò dxdyå f (x,y,zk ) zk =

 

 

 

 

(D)

k

zk

(D)

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= åDzk òò f (x,y,zk )dxdy = åDzk å òò f (x,y,zk )dxdy =

 

 

 

 

 

k

(D)

 

k

i (D )

 

 

 

 

 

 

 

 

 

i

 

=åDzk òò f (x,y,zk )dxdy.

i,k (Di )

388

389

VII. Кратные и криволинейные интегралы. Теория поля

К каждому из последних интегралов применим теорему 19.2 о среднем:

 

 

 

 

 

òò f (x,y,zk )dxdy = f (xik ,yik ,zk )Si ,

 

 

 

 

(Di )

 

ãäå

(x

,y ,z ) T

 

(координаты «средних» точек x и y обозначаются

 

ik

ik

k

ik

 

 

двумя индексами, так как эти точки зависят как от области (Di ), òàê è

от значения z = z ). Отсюда следует, что

 

 

 

 

 

k

 

 

 

 

 

 

g( x,y)

 

 

 

 

 

òòdxdy

ò f (x,y,z)dz=å f (x*ik,y*ik,z*k )SiDzk =å f (x*ik,y*ik,z*k )Vik .

 

( D)

 

p( x,y)

 

 

i,k

i,k

Но последняя сумма является одной из интегральных сумм дл я тройного интеграла в левой части формулы (19.6) (этот интегра л существует в силу непрерывности подынтегральной функции). Зн ачит, при достаточно малых λ эта сумма сколь угодно мало отличается от самого интеграла. Таким образом, правая и левая части формулы (19.6) с коль угодно близки, т.е. совпадают. x

Подведем итог, пользуясь не вполне математическим, но зат о доступным языком: в формуле (19.6) пределы расставляются для тре хмерной области (T ), представляющей собой параллельную оси 0z «цилиндрическую банку» с двумя «крышками» – нижней z = p (x,y) и верхней z = q (x,y); при расстановке пределов х и y меняются по проекции (T ) на плоскость 0xy, а z меняется от нижней до верхней «крышки». При таком рассуждении часто можно, не рисуя область (T ), обойтись плоским чертежом области (D).

При вычислении тройного интеграла по формуле (19.6) сначала

q(x,y)

находим интеграл ò f (x,y,z ) dz, который зависит от х и y, а потом

p(x,y)

двойной интеграл от полученной функции по области (D).

Если область (D) является криволинейной трапецией, изображенной на рис. 95, то согласно теореме 19.3 можно расставить и преде лы по x и y, получив результат

by( x) q( x,y)

òòò f ( x,y,z) dxdydz = òdx òdy

ò f ( x,y,z) dz.

(19.7)

( T )

a j( x)

p( x,y)

 

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

Пример 1. Расставить пределы в тройном интеграле òòò f (x,y,z)dxdydz,

(T )

где область (T ) ограничена поверхностями x = 0, y = 0, z = 0, x + y + z = 1.

Ð å ø å í è å

Пространственный чертеж области (T ) (без которого можно и обойтись) и чертеж ее проекции на плоскость 0xy имеют вид, представленный на рис. 103 и 104.

z 1

 

y

1

 

 

 

y = 1 – x

 

1

 

1

(D)

y

0

x

1

x

Ðèñ. 103

Ðèñ. 104

Используя формулы (19.6) и (19.7), расставим пределы интегрирования:

 

1xy

1

1x

1xy

òòò f (x,y,z)dxdydz = òò dxdy

ò

f( x, y, z)dz = ò dx ò

dy ò f( x, y, z) dz.

(T )

(D)

0

0

0

0

Пример 2. Найти объем тела, ограниченного поверхностями y = x, y = 2x, x = 1, z = x2 + y2, z = x2 + 2y2.

Ð å ø å í è å

y

 

Три первые поверхности – это плос-

 

y = 2x

кости, параллельные (ввиду отсутствия

 

 

координаты z) оси 0z. Эти плоскости и

 

x = 1

образуют описанную выше цилиндри-

 

 

 

ческую поверхность. Область (D) на

 

 

плоскости 0xy изображена на рис. 105.

 

y = x

Две последние поверхности (на са-

 

 

 

мом деле это эллиптические параболои-

 

 

ды) выполняют роль нижней и верхней

 

 

«крышек» соответственно (x2 + y2 x2 + 2y2;

x

x

область (D) эти поверхности не пересе-

 

Ðèñ. 105

 

 

390

391

VII. Кратные и криволинейные интегралы. Теория поля

кают, так как из уравнений этих поверхностей при z = 0

получаем, что

x = y = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда из свойства 7 тройного интеграла и формулы (19.7) получа ем

 

1

2x

x2 +2y2

1

2x

1

1

y3

 

2x

7

1

 

 

V = òòòdxdydz = òdx ò dy

ò

dz = òdx ò y2dy =

 

òdx

 

 

 

=

 

ò x3dx =

3

3

 

 

3

(T )

0

x

x2 + y2

0

x

 

0

 

 

x

 

 

0

 

 

 

 

 

=7 x4 1 = 7 .

3 4 0 12

19.5.Замена переменных в двойном интеграле

Рассмотрим òò f (x,y)dxdy , где область (D ) ограничена гладкой или

(D)

кусочно-гладкой кривой, а функция z = f (x,y) непрерывна в этой об-

ласти. Пусть x = x(u,v), y = y(u,v), где эти функции осуществляют взаимно однозначное и в обе стороны непрерывно дифференциру емое соответствие между точками области (D) на плоскости 0xy и точками некоторой области (D¢) на плоскости 0uv (это означает, что каждой точке одной из этих областей соответствует одна, и только одна точка другой и функции x = x(u,v), y = y(u,v) è u = u(x,y), v = v(x,y) имеют непрерывные частные производные в соответствующих област ях). Можно показать, что при этом границе одной из этих областей со ответствует граница другой, и наоборот.

Так как функция z = f (x,y) непрерывна в области (D), то òò f (x,y)dxdy существует, поэтому для его вычисления, как предела

(D)

интегральных сумм, можем эти суммы выбирать наиболее удоб ным для нас способом: пренебрегая частями у границы (что можно сде лать, так как интегралы по этим частям стремятся к 0 при λ → 0 ), разобьем область (D¢) на прямоугольники линиями u = const, v = const, при этом и область (D) разобьется на некоторые подобласти. Рассмотрим один из таких прямоугольников (рис. 107) и соответствующий ему (огра ниченный сплошной линией) «криволинейный четырехугольник» (р ис. 106) на плоскости 0xy ( Dx и y достаточно малы).

Возьмем в этой области точку P1(x,y) , соответствующую точке

P1(u,v) , ò.å. P1(x(u,v),y(u,v)) = P1(x,y) . На рис. 106 и 107 точке P2(u + u,v) соответствует точка P2(x(u + u,v),y(u + u,v)) , точке

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

y

 

 

v

 

 

 

 

 

P3

v + v

P4

P

 

 

 

 

3

P4

 

(Di )

 

(D )

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

P2

v

P

 

 

 

 

y

 

 

P1

2

 

P1

 

 

 

 

0

0

 

 

 

x

x

u

u + u

u

 

Ðèñ. 106

 

Ðèñ. 107

 

 

 

– точка P3(x(u + u,v +

v),y(u + u,v +

v)) и точке

P3(u + u,v + v)

P4(u,v +

v) – точка P4(x(u,v +

v), y(u,v +

v)).

 

 

Так как функции x = x(u,v),

y = y(u,v) имеют непрерывные част-

ные производные, то эти функции дифференцируемы. Вспомним , что для любой дифференцируемой функции g(x,y) согласно определению 12.21 и теореме 12.6

g(u + u,v + v) = g(u,v) +

g(u,v)

u +

g(u,v)

v + αΔu + βΔv,

 

v

 

u

 

ãäå α, β → 0 ïðè u, v 0 . Пренебрегая в этой формуле членами более высокого порядка малости α u è β v и опуская (как и для точки P1) аргументы u и v, получим приближенные значения координат то- чек Pi , i = 2, 3, 4 :

P2

æ

¶x

(u,v)Du,y(u,v) +

¶y

ö

= P2

æ

¶x

Du,y +

¶y

ö

ç x(u,v) +

¶u

¶u

(u,v)Du ÷

ç x +

¶u

¶u

Du ÷

 

è

 

ø

 

è

 

ø

 

здесь v = 0,

P

æ x + ¶x

Du + ¶x

Dv,y +

¶y

Du + ¶y Dv ö ,

 

3

ç

¶u

¶v

 

 

 

¶u

¶v

 

ø

 

è

 

 

 

 

P

æ x + ¶x

Dv, y +

¶y Dv

ö

– здесь

u

=

0 .

4

ç

¶v

 

¶v

÷

 

 

è

 

ø

 

 

 

 

 

 

Находя координаты вектора как разность координат конца и нача- ла, имеем

 

ì

¶x

Du,

¶y

ü

,

 

 

ì

¶x

Du,

¶y

ü

,

P1P2

P4P3

= í

¶u

 

Duý

= í

¶u

 

Duý

 

î

 

¶u þ

 

 

 

î

 

¶u þ

 

392

393

VII. Кратные и криволинейные интегралы. Теория поля

т.е. эти векторы равны. Значит, изображенный штриховыми лин иями на рис. 106 четырехугольник P1P2P3P4 есть параллелограмм. Пренебрегая членами более высокого порядка малости, заменим площадь криволинейного четырехугольника P1P2P3P4 на площадь этого параллелограмма, которая, как известно из курса аналитической геоме трии, равна модулю векторного произведения образующих его векторов P1P2 è

 

ì

¶x

Dv,

¶y

ü

:

P1P4

= í

¶v

¶v

Dvý

 

î

 

þ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

j

k

 

 

 

 

 

 

x

 

y u 0

 

S =

 

P P

×

P P

=

u

=

 

1

2

1

4

 

u

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

v

y

 

v

0

 

 

 

 

 

 

 

 

 

v

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x u

y u

 

 

 

 

 

 

 

=

 

+

 

 

u

 

u

 

 

0

k

 

 

 

 

 

 

 

 

x

v

y

v

 

 

 

 

 

 

v

v

 

 

 

 

 

 

 

 

 

Определение 19.3. Определитель

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

u

u

 

 

u

 

 

 

v

 

.

(19.8)

 

 

 

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

y

 

 

 

 

 

 

 

 

 

 

I = I (u,v) =

 

u

 

 

 

u

называется

 

 

 

 

 

x

 

 

 

y

 

 

 

 

 

 

v

 

 

 

v

 

определителем Якоби, или якобианом функций x(u,v), y(u,v) .

В формуле (19.8) стоит абсолютная величина этого определител я. Произведение DuDv дает площадь Sпрямоугольника на плоскости 0uv , изображенного на рис. 107.

Используя определение 19.1 и поступая так с каждой частью об ласти (D ) на плоскости 0xy (индекс i отличает эти части друг от друга), получим

òò f (x,y,z) dxdy= lim å f (x(ui,vi),y(ui,vi)) I(ui,vi) S¢i .

( D)

0 i

Последний предел (в силу непрерывности подынтегральной ф ункции) дает двойной интеграл по u и v :

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

òò f (x,y)dxdy = òò f (x(u,v),y(u,v))

 

I (u,v)

 

dudv.

(19.9)

 

 

 

 

 

(D)

 

(D )

 

Пример. Вычислить

òò (2x y)dxdy , где (D ) ограничена прямыми

(D)

x + y = 1, x + y = 2, 2x – y = 1, 2x – y = 3 (ðèñ.108). Ð å ø å í è å

Расстановка пределов по параллелограмму (D), как легко понять, приведет к трем слагаемым, поэтому проще сделать замену: x + y = u, 2x – y = v.

Складывая эти уравнения, имеем x =

u + v

. Подставляя х в первое уравне-

 

ние, получаем y = u

u + v

=

2u v

3

 

. При такой замене область (D ) перей-

 

3

3

 

 

 

 

дет в прямоугольник (D ), ограниченный прямыми u = 1, u = 2, v = 1, v = 3 (ðèñ. 109).

y

 

v

 

 

 

 

 

 

 

 

3

 

 

 

 

1

 

 

0

x

0

1 2

u

 

 

 

Ðèñ. 108

Ðèñ. 109

 

 

 

 

 

 

 

 

 

 

1

 

2

 

1

 

2

 

1

 

 

 

 

 

 

 

 

Якобиан функций x (u,v), y (u,v) равен

I (u,v) =

3

 

3

= −

= −

;

по формуле (19.9) получаем

 

1

-

1

 

9

 

9

 

3

 

 

3

 

3

 

 

 

 

 

 

 

 

 

1

1

2

3

1v2

 

3

4

 

 

 

òò(2x – y)d xd y= òòv

 

d udv=

 

òd uòvd v=

 

 

 

 

 

=

 

.

3

3

3

2

3

(D)

(D)

 

 

 

1

1

 

 

1

 

 

 

 

 

 

 

 

394

395

VII. Кратные и криволинейные интегралы. Теория поля

19.6. Двойной интеграл в полярных координатах

Как частный случай формулы (19.9) рассмотрим переход в двойно м интеграле к полярным координатам по формулам x = r cosj , y = r sinj . Якобиан этих функций имеет вид

 

¶x

¶y

 

 

cosj

sinj

 

 

 

 

 

 

 

 

 

I(r,j) =

¶r

¶r

=

 

 

= r cos2 j + r sin2 j = r.

(19.10)

 

 

 

¶x

¶y

 

 

-r sinj

r cosj

 

 

 

 

¶j

¶j

 

 

 

 

 

 

 

Соответственно формула перехода приобретает вид

òò

f (x,y)dxdy = òò f (r cosϕ,r sinϕ)rdrdϕ.

(19.11)

(D)

 

(D )

 

Чтобы расставить пределы в последнем интеграле, нужно, чт обы область (D) на«плоскости» r,j былакриволинейнойтрапецией(рис.110).

r

 

 

 

 

 

 

 

 

 

r = r2 (j)

 

 

 

 

 

r = r1 (j)

 

0

a

 

b

j

 

 

Ðèñ. 110

 

 

Тогда

 

 

(ϕ)

 

 

òò f

β

r2

 

 

x,y d xd y=òd j

 

ò f rcosj,rsinj rd r.

 

 

( )

 

(

)

(19.12)

(D)

α

r1 (ϕ)

 

 

Последний чертеж можно перенести на плоскость 0xy. Область интегрирования при этом должна быть ограничена линиями j = a и ϕ = β (это два луча, проведенные из начала координат) и двумя кри выми, заданными в полярной системе координат: r = r1(ϕ) è r = r2(ϕ) , ãäå r2(j) ³ r1(j) (ðèñ. 111).

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

r = r2 (j)

b

r = r

1 (j)

 

a

 

0

Ðèñ. 111

 

 

 

Пользуясь рис. 111, расставим пределы в полярных координатах следующим образом: j меняем от a до b, теперь фиксируем угол j , т.е. проводим луч из начала координат, вдоль этого луча r меняется от минимального значения (точки «входа») r1(j) до максимального значения (точки «выхода») r2(j).

К полярным координатам стоит переходить, если уравнение г раницы области или, может быть, подынтегральная функция сод ержат выражение x2 + y2 , которое в этих координатах превращается в r2 cos2 j + r2 sin2 j = r2 .

Пример. Вычислить

òò

x2 + y2 dxdy , где область (D) ограничена кри-

âûìè y = 0 è x2 + y2 = 2x

(D)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(y ³ 0) (ðèñ. 112).

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ð å ø å í è å

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Преобразовав последнее уравнение к виду

 

 

 

 

 

 

 

 

 

 

 

 

(x - 1)2 + y2 = 1, видим, что это уравнение окруж-

 

 

 

 

 

 

 

 

 

 

 

ности радиуса 1 с центром в точке (1;0); тогда об-

 

0

 

 

 

 

 

1

 

 

2 x

ласть интегрирования – «серая» область на рис. 112.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перейдем в уравнении окружности к поляр-

 

 

 

 

 

 

 

 

 

 

 

ным координатам: r2 = 2r cosj, r = 2cos j. Â ñîîò-

 

 

 

 

 

 

 

 

 

 

 

ветствии с формулой (19.12), имеем

 

 

 

 

 

 

 

 

 

 

 

 

Ðèñ. 112

 

 

 

 

 

 

 

 

 

 

 

p

2cosj

 

p

 

 

 

 

 

2cosj

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

òò x2+y2 dxd y= òdj ò r×rdr= òdjr33

0

 

=

 

 

 

 

 

 

( D)

 

 

 

 

 

0

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

æ

sin3j ö

 

 

 

 

 

 

 

8

3

8

 

2

 

 

 

8

 

2

 

 

8

æ

1 ö

16

 

 

 

 

 

 

 

 

 

 

 

 

 

=

3

ò

cos jd j=

3 ò

(1 – sin

j)dsinj=

 

ç sinj –

 

 

 

 

÷

 

 

=

 

ç1 –

÷=

 

.

3

3

 

 

 

3

9

 

 

 

 

 

 

 

ç

÷

 

 

 

 

è

3 ø

 

 

 

0

 

 

0

 

 

 

 

 

 

è

 

 

 

ø

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

396

397