книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник
.pdfцилиндрический брус В на п элементарных |
частей А В 1, А В 2, . . . |
.... АВп. |
. . ., АВп цилиндром |
Заменим каждый из элементов А В г, |
с плоскими основаниями, параллельными плоскости Оху. Нижнее основание цилиндра пусть совпадает с основанием соответству ющего элемента, а высота цилиндра равна одной из аппликат
элемента. Объем А-го цилиндра |
будет равен / (Nk)AFk, |
где |
|
Nk — любая фиксированная точка AA k. |
|
||
Просуммировав объемы всех' цилиндров, получим объем сту |
|||
пенчатого тела, составленного из этих цилиндров: |
|
||
a n - ^ iN ^ A F ^ r |
. . . -\-f(Nn)AFn. |
(3) |
|
Н частности, если в каждой |
из |
замкнутых областей АА к вы |
|
брать наименьшую из аппликат тк, а затем наибольшую из ап
пликат Мк, то можно |
составить еще два ступенчатых тела с объ |
|||
емами, |
соответственно |
равными |
ѵп и |
Ѵп, где |
ѵп- |
m1 АFx J- ... -і- тпAFn, |
Vn - |
М г AFy -1- ... + М п AFn. |
|
Первое из этих тел содержится в области В, а второе содержит В,
причем ѵп ^ ап ^ Ѵп.
Желая сблизить величины ѵп и Ѵп, будем увеличивать число п, уменьшая при этом диаметры в с е х элементарных площадок
АА к. Пользуясь |
непрерывностью |
/ (М ), можно доказать,* что |
существуют и равны между собой |
пределы переменных ѵп и Ѵп |
|
при Хп ->- 0 и эти |
пределы не зависят от способа деления области |
|
А на элементы. Следовательно, переменная оп имеет тот же предел:
Jim ѵп = |
lim Vп = lim оп. |
|
|
|
|
||
0 |
К -*0 |
- |
0 |
|
|
|
|
Под объемом цилиндрического бруса В будем понимать предел |
|||||||
суммы объемов цилиндров оп при стремлении Кп к нулю: |
|
||||||
|
F = |
lim |
2 |
f (iïk) AFk = |
/(Af) dF. |
(4) |
|
|
|
|
0 |
|
A |
|
|
168. |
Понятие |
двойного |
интеграла. |
Пусть |
функция |
f (х, у) |
|
определена в некоторой конечной замкнутой области А, |
ограни |
||||||
ченной гладким или кусочно-гладким контуром I. |
|
||||||
Разобьем А произвольными гладкими линиями на п элемен |
|||||||
тарных |
частей АА ъ |
. . ., |
АА п с площадями |
AFlt . . ., AFn |
|||
соответственно. Множество этих элементарных частей области А назовем разбиением 8п. Обозначим через \ п наибольший из диа
метров элементов АА г, |
. . ., |
АА п. |
||
Последовательность разбиений {ô„} будем называть нормальной, |
||||
если lim Хп = 0. |
|
|
|
|
* См.: В. |
А. |
И л ь н ы |
и Э. |
Г. П о з н я к. Основы математического |
анализа, гл. |
11, § |
2. |
|
|
5°. Теорема (об оценке интеграла). Абсолютная величина интеграла не превосходит интеграла от абсолютной величины под ынтегральной функции
|
|
I |
l l l ( M ) d F ^ ^ \ f ( M ) \ d F . |
|
|
||
|
|
I |
л |
л |
|
|
|
|
Для доказательства достаточно перейти к пределу при Хп -*■О |
||||||
в |
неравенстве | 2 / |
(Nk)&Fk I |
2 I / (Nk) I &Fk- |
|
|
||
|
|
A |
|
A |
|
|
|
|
6°. Теорема (о среднем значении). Если / (М ) и g (М ) непре |
||||||
рывны в конечной замкнутой области A u g |
(М ) |
знакопостоянна |
|||||
в |
А, |
то имеет место формула |
|
|
|
||
|
|
l \f {M )g {M )d F = U M * ) l lg [ M ) d F |
(М*еА). |
(8) |
|||
|
|
*А |
|
А |
|
|
|
|
В |
частности, при g (М ) = |
1 в А имеем |
|
|
|
|
|
|
|
j j ' f ( M ) d F - f ( M * ) F A. |
|
|
(9) |
|
|
|
|
А |
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Согласно теореме |
Вейерштрасса |
||||
(см. п. 123), в замкнутой области А функция / (М ) достигает своего наименьшего значения р и наибольшего значения q. Поэтому вы полняется неравенство р sg / (М ) sç q. Умножим его на g (М ) (пусть для определенности g(M) >>0) и, интегрируя по области А, получим
P JJgdÆ’sS ^ f g d F ^ q |
^ g d F . |
|
A |
A |
A |
Разделим все члены этого неравенства |
на двойной интеграл от |
|
g (М). Получим р |
р, q, где |
|
(10>
ÀА
Здесь, в силу теоремы Коши (см. п. 123), число р есть одно из
значений функции / (М) в А, т. е. р == / (М*), где М* Ç А. По этому из (10) следует формула (8). Теорема доказана.
В соответствии с равенством (9) под средним значением функции у — / (М) в области А понимают отношение двойного интеграла к площади области А:
АА
170.Вычисление двойного интеграла в декартовых коорди натах. Пусть функция f(x, у) непрерывна в прямоугольнике А,
Преобразовав каждый из этих интегралов по теореме о среднем, получим
|
|
|
|
|
|
|
Р |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
аІ |
|
2 |
\Яхі, Уі) — Нхі, у,-*)1 Д у / . |
|
|
||||||||
|
|
|
|
|
|
j-1 |
|
|
|
|
|
|
|
|
|
|
||
Пусть 8 — любое положительное число. Согласно равномерной |
||||||||||||||||||
непрерывности |
|
/ (xt, |
|
у) |
в |
промежутке |
[с, öl |
существует |
число |
|||||||||
ô > 0 |
такое, |
что |
| / (xt, |
P |
yj) |
|
— f ( x ., |
yjt_)| < е |
при |
|Xlp| < ö . |
||||||||
Поэтому |
имеем |
| а,-1 < |
|
Az/y — е (5 — с). Следовательно, |
|
|||||||||||||
е 2 |
|
|||||||||||||||||
|
|
га |
|
|
|
|
і=і |
|
га |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
2 |
«/ А*< |
< |
е (<9 — с) 2 |
Ажг- |
е (д —с) (Ь —а), |
|
|
|||||||||
|
|
і =1 |
|
|
|
|
|
|
|
|
І=1 |
|
|
|
|
|
|
|
и наше утверждение |
доказано. |
|
|
|
|
|
|
|||||||||||
Первое слагаемое |
правой части |
|
|
|
|
|
|
|||||||||||
равенства |
(13) |
|
при |
|
К2т -> 0, |
где |
|
|
|
|
|
|
||||||
Хіт — наибольшее |
|
из |
|
{|Дж,-|}, |
|
|
|
|
|
|
||||||||
имеет предел, |
равный |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
га |
|
|
|
|
|
Ь |
|
|
|
|
|
|
|
|
|
|
|
lim |
2 Ф (Xj) Axt= |
|
( ф(х)0ж, |
|
|
|
|
|
|
|||||||||
^2m-” 0 * |
1 |
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
так как Ф (х) непрерывна. |
если |
|
|
|
|
|
|
|||||||||||
Отсюда |
следует, |
|
что |
|
|
|
|
|
|
|||||||||
диаметры |
всех |
элементов |
ДЛ k |
0 и |
\ 2т -> 0), то |
предел оп |
||||||||||||
стремятся |
к |
нулю |
(при |
этом |
|
Х1р |
||||||||||||
|
ь |
Ф (х) |
dx. |
|
|
|
|
|
|
|
внимание определение |
Ф (х), |
||||||
равен |
J |
Принимая |
во |
|||||||||||||||
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
получим окончательно |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
b |
д |
|
|
|
|
|
|
|
|
|
|
j j f ( x , y ) d F |
= ^ d x j f ( x , y ) d y . |
|
|
(14) |
|||||||||
|
|
|
|
|
Л |
|
|
|
|
|
|
а |
с |
|
|
|
|
|
Таким образом, вычисление двойного интеграла сведено к вы числению соответствующего повторного интеграла. Можно дока
зать, |
что формула (14) верна и для кусочно-непрерывной функции |
1 (х, |
у). |
С л у ч а й к р и в о л и н е й н о й о б л а с т и . Пусть функ |
|
ция / (х, у) непрерывна или кусочно-непрерывна в области А , заданной неравенствами
a ^ x s c b , уг (х) у у2 (х), (15)
где у 1 (х) и у2(х) непрерывны в [а, Ь\. Заключим область интегри рования А в прямоугольник В: а ^ Ь, с ^ у д, где с — наименьшее значение Ух(х) в [а, Ь], а д — наибольшее значение
Уъ{х) в [а, b] (рис. 114). Определим в этом прямоугольнике функ цию /* (х, у) следующими равенствами:
(/ (я, у), если точка' (х, у) принадлежит А,
f* (х’ у) = {[ 0 во всех других точках прямоугольника В. Функция /* (х, у) кусочно-непрерывна в прямоугольнике В. Со гласно формуле (14) имеем
I 1 1* (ж, у) dF = Jи dx Jи/* (х, у) dy.
Отсюда следует формула
Уг (ж )
U /(*. |
y)dF = §dx |
J f{x, у) dy. |
(16) |
А |
а |
у, (ж) |
|
Действительно, в соответствии с определением /* (ж, у) имеем
1) ^ U d F = ^ U d F |
U d F = l [ f { x , у) d F , |
|
|||||||||
В |
А |
|
В-A |
|
|
А |
|
|
|
|
|
в |
у, |
|
г/г |
в |
|
|
г/г |
|
|
|
|
2) j /*rfÿ = |
\ f * d y |
+ |
j i * d y + |
j |
f*dy--= j |
fdy, |
|
|
|||
|
|
|
потому что равны нулю интегралы |
||||||||
|
|
|
по |
области |
В — А |
и по проме |
|||||
|
|
|
жуткам |
[с, г/Д и [у2, д), |
где /* = |
||||||
|
|
|
= |
0. |
Отсюда |
следует |
равен |
||||
|
|
|
ство (16). |
|
|
интегрирования |
|||||
|
|
|
|
Если |
область |
||||||
|
|
|
задана |
неравенствами |
с ^ у ^ |
||||||
|
|
|
то, |
д, |
х г(у) ^ х |
^ |
х 2 (у) (рис. 115), |
||||
|
|
|
меняя |
в |
формуле (16) роли |
||||||
Pue. |
115. |
|
х и |
у, |
придем |
к |
аналогичной |
||||
|
|
|
формуле |
|
|
|
|
|
|
||
|
|
|
9 |
Ж2 ( У ) |
|
|
|
|
|
|
|
|
J J /f c . |
y ) d F = lj d y |
j |
f(x, |
y)dx. |
|
|
(17) |
|||
|
A |
|
с |
ж, (y) |
|
|
|
|
|
|
|
В частности, если область интегрирования есть прямоугольник 5 г ^ 6, с sg у SÇ д, то согласно (14) и (17) имеем
|
|
в |
д |
ь |
j j f ( x , |
y)dx = j |
dx Jf(x, |
y)dy = j d y j f ( x , y)dx. |
|
A |
a |
с |
c |
a |
Выражение dF = dx dy называется элементом площади в де картовых прямоугольных координатах.
Сформулируем основную формулу (16) в виде правила приве дения двойного интеграла к повторному. Пусть область А пере
секается прямыми, параллельными оси Оу, не более чем в двух точках.
1) |
Проектируем область А (т. е. все ее точки) на ось Ох; полу |
|||
чим |
промежуток {а, Ъ\, в котором изменяется |
переменная |
х. |
|
2) |
Составим уравнения контура области А : у |
= |
у г(х) и у |
= |
= Уъ(х). Для этого при каждом фиксированном в |
[а, |
Ъ\ значении |
||
х 0 проводим прямую X = х 0, параллельную оси Оу, |
и находим |
|||
ординаты Уі{х0) и у 2(х0) точек пересечения этой |
прямой с конту |
ром I. |
|
3) Составим повторный интеграл согласно (16). |
|
Формулы (16) и (17) выведены при условии, |
что область ин |
тегрирования А пересекается прямыми, параллельными оси Оу (соответственно Ох), не более чем в двух точках. Если это условие
нарушено, |
то А разбивают на части рассмотренного выше вида, |
||||||||
вычисляют |
интегралы |
|
по |
этим частям |
и, |
||||
сложив |
результаты, |
получают интеграл по |
|||||||
всей области А. |
|
|
|
|
|
|
|||
П р и м е р. |
Вычислить |
двойной интеграл |
от |
||||||
функции / (X, у) |
= 2ху по замкнутой области А , оп |
||||||||
ределенной |
|
неравенствами я2 + |
у 2 ^ 2х |
и у ^ |
0. |
||||
Первое из |
этих |
неравенств |
определяет |
круг, |
ог |
||||
раниченный окружностью (X — I)2 + |
У2 = |
1; второе |
|||||||
неравенство |
определяет |
верхнюю |
полуплоскость, |
||||||
включая ось абсцисс. Поэтому область А есть полукруг (рис. 116). Границу
области можно представить уравнениями |
у |
= [0 |
и у = V 1 — (х — I)2 при |
||||
0 =£: * |
2. |
По формуле (16) имеем |
|
|
|
||
|
|
|
|
2 у=УЧ Х - Х * |
|
||
|
|
|
/ = j" j" 2xydF — J dx |
|
J" |
2xydy. |
|
|
|
|
A |
0 |
y =0 |
|
|
Последовательно |
интегрируя, |
получаем |
|
|
|
||
|
|
|
y = V 2 X - X ‘ |
|
|
|
|
|
|
J = |
dx = |
|
|
|
|
|
|
|
y=o |
|
|
|
|
Этот же двойной интеграл можно вычислить по формуле (17) |
|||||||
|
1 |
x -1+Уг-уг |
1 |
_____ |
____ |
||
J = |
j dy |
j |
2xydx— § y [(l + Kl —y2)2 —(l —Vl — y2)2\dy = |
||||
|
® |
x ~ i - У 1 ~ уг |
0 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
= 4 |
j y K — y2A/l |
= -|-. |
||
о
171. Вычисление двойного интеграла в полярных координатах.
При вычислении двойного интеграла (6) в полярных координатах область А разбивается на элементы координатными линиями полярной системы координат, т. е. дугами окружностей с центром в полюсе и лучами, исходящими из полюса (рис. 117). Такое
разбиение допустимо потому, что / (х, у) интегрируема в А, и по этому величина интеграла не зависит от способа разбиения области А на элементы.
Две пары близких координатных линий г и г + Дг, <р и ср + -г Дф ограничивают элементарную часть области А, предста вляющую криволинейный четырехугольник. Его можно принять приближенно за прямоугольник со сторонами Дг и гДф, площадь которого равна AF — гДгДф. Поэтому двойной интеграл ((>) можно представить в полярных координатах в виде такого пре дела:
J ^ \ \ f ( x , |
У)dF = lim 2 /( ^ b yk)AFk = |
А |
- О А |
= П т 2 |
/ ( г * cosфь /ДщтфД/д, Дтд, Дф*,. |
Здесь правая часть есть двойной ин теграл от функции / (г cos ф, г sin ф) г. Отсюда следует формула вычисления двойного интеграла в полярных ко ординатах
j j / O o |
У) dF — |
А |
|
- Я « гсовф, |
/■sin ф) г dr сйр. (18) |
А |
|
Выражение dF = г dr <іф называется элементом площади в по лярных координатах.
Для вычисления интеграла (18) путем сведения его к повтор ному интегралу можно применить правило п. 170, учитывая, что роль переменных интегрирования играют г и ф. Таким образом, приходим к равенству
ß гг (ф)
|
/(*, У) dF ~ j d(f j |
/( гсоэф, |
г э т ф ) / - ^ , |
(19) |
|||
|
А |
а |
г і'(ф) |
|
|
|
|
где а |
и ß — соответственно |
наименьшее и |
наибольшее |
значения |
|||
переменной ф в области А; |
г = |
r1(q>) и |
г = г2(ф) — уравнения |
||||
границы А (см. рис. |
117). |
|
|
|
|
|
|
В случае, когда область А ограничена координатными линиями |
|||||||
полярной системы координат ф = а, ф = |
ß, г = |
гх, г = г2, пре |
|||||
делы |
интегрирования |
в формуле (19) получатся |
постоянными. |
||||
Именно поэтому вычисление двойного интеграла в таких случаях целесообразно, вообще говоря, в полярных координатах.
П р и м е р 1. Вычислим интеграл примера п. 170 в полярных координатах. Полюс выберем в точке (1, 0), т. е. в центре полукруга А, а полярную ось направим вдоль положительного направления оси Ох. В этой системе коор динат область А характеризуется неравенствами О ^ ф ^ я , 0 ^ r = ç : l .
