![](/user_photo/1334_ivfwg.png)
Математический анализ определенный интеграл, несобственный интеграл, приложения определенного интеграла
.pdf![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_101x1.jpg)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
sin2 t |
1 |
+∞ |
|
|
dt |
|
|
|
|
+∞ |
cos 2t |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
p+1 |
dt = |
2 |
∫ |
|
|
|
|
|
|
|
− |
∫ |
|
1− |
p+1 |
|
dt . |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1− |
|
|
1− |
p+1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
t |
q |
|
1 |
t |
|
q |
|
|
|
|
1 |
t |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
dt |
|
|
|
|
|
|
|
|
|
p +1 |
|
|
|
|
|
|
|
+∞ cos 2t |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Но |
|
|
|
∫ |
|
|
|
|
|
|
расходится, если |
|
0 ≤ |
|
|
|
|
|
<1, |
|
а |
|
∫ |
|
p+1 |
dt |
сходится, если |
||||||||||||||||||||||
|
|
|
|
|
|
p+1 |
|
|
|
|
q |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
1 t1− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 t1− |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
p +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ sin2 t |
|
|
|
|
|
|
|||||||||||||
0 ≤ |
|
|
|
|
|
|
|
<1 (по признаку Абеля – Дирихле). Значит, ∫ |
|
|
|
dt |
|
расходится, ес- |
|||||||||||||||||||||||||||||||||||
|
|
|
q |
|
|
|
|
p+1 |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 t1− |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|||||
ли 0 ≤ |
|
p +1 |
<1, а, следовательно, |
J * расходится, если 0 ≤ |
p +1 |
<1. Получаем, |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
2 |
|
|
p +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
p +1 |
|
|
||||||||
таким образом: J * сходится, если −1 < |
|
< 0, и расходится, если 0 ≤ |
<1. |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
||||
|
Окончательный вывод: несобственный интеграл J сходится абсолютно, если |
||||||||||||||||||||||||||||||||||||||||||||||||
−1 < |
|
p +1 |
< 0, и сходится условно, если 0 ≤ |
|
p +1 |
<1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+∞ |
x p sin x |
|
||
|
* 4. Исследовать на абсолютную и условную сходимость J = ∫ |
dx |
|||||||||||||||||||||||||||||||||||||||||||||||
|
q |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1+ x |
||||
( q > 0 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
Здесь |
f ( x) = |
x p sin x |
определена и непрерывна на промежутке [0, +∞) , |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
1+ xq |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если p ≥ 0 , и на промежутке (0, +∞), если p < 0 . Представим J в виде суммы
1 |
x p sin x |
|
+∞ |
x p sin x |
|
|||
двух интегралов J = J1 + J2 , где J1 = ∫ |
dx , |
J2 = ∫ |
dx . |
|||||
1+ xq |
1+ xq |
|||||||
0 |
|
|
1 |
|
|
|||
1 |
x p sin x |
|
|
|
|
|
|
|
Рассмотрим J1 = ∫ |
dx . Если p ≥ 0 , то |
J1 – собственный интеграл; |
||||||
1+ xq |
||||||||
0 |
|
|
|
|
|
|
|
если p < 0 , то J1 – несобственный интеграл ( в этом случае точка x = 0 – единственная особая точка интеграла J1 ). Отметим, что подынтегральная функция в
J |
1 |
– неотрицательная на промежутке (0,1]. Имеем |
|
x p sin x |
~ x p+1 |
= |
1 |
; |
||
|
1+ xq |
x−( p+1) |
||||||||
|
|
|
|
x→+0 |
|
|
||||
1 |
|
|
|
|
|
|
|
|||
|
|
dx |
|
|
|
|
|
|
|
|
∫ |
|
|
сходится и притом абсолютно, если −( p |
+1) <1, т. е. если |
p > −2 , и |
|||||
|
x |
−( p+1) |
||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
расходится, если p ≤ −2 , и все это при любом q > 0 (у нас по условию q > 0 ).
101
|
|
|
|
|
|
|
|
|
+∞ |
x p sin x |
|
|
|
|
|
Рассмотрим теперь J2 = ∫ |
dx . J2 – несобственный интеграл I рода. |
||||||||||||||
1+ xq |
|||||||||||||||
|
|
|
|
x p |
|
|
~ |
1 |
|
|
|
|
|
||
|
~ |
|
|
|
|
|
|
|
|
|
|||||
Положим g(x) = |
|
; |
f ( x) = sin x . Замечаем, что: |
|
|||||||||||
1+ xq |
|
||||||||||||||
1) |
~ |
|
|
на |
|
промежутке |
[1; +∞) |
ограниченную |
первообразную |
||||||
|
f ( x) имеет |
|
|||||||||||||
~ |
= −cos x ; |
|
|
|
|
|
|
|
|
|
|
|
|
||
F( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|||
2) |
~ |
имеет |
|
на |
|
промежутке |
[1; +∞) |
непрерывную |
производную |
||||||
|
g(x) |
|
|
||||||||||||
~ |
|
x p−1[p |
−(q − p)xq |
] |
|
|
|
|
|
|
|||||
g ′(x) |
= |
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
+ xq )2 |
|
|
|
|
|
|
|
|
|
|||||
|
(1 |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
31) если q − p > 0 , то g(x) монотонно убывающая (по крайней мере, начи- |
|||||
ная с некоторого места, а именно, для тех x , для которых xq > |
|
p |
); |
||
|
q − p |
||||
~ |
|
|
|
|
|
монотонно |
|
возрастающая на |
|||
32) если q − p ≤ 0 , то g(x) положительная, |
|
||||
~ |
~ |
1 |
|
||
промежутке [1; +∞) и, следовательно, для x ≥1: g(x) ≥ g(1) = |
2 . |
|
Видим, что если q − p > 0 , то выполнены условия признака Абеля – Дирихле, и, следовательно, несобственный интеграл J2 сходится.
Покажем, что если q − p ≤ 0 , то несобственный интеграл J2 расходится.
Рассуждаем от противного. Допустим, что |
J2 сходится. Но тогда любому |
||||||
ε > 0 (в частности, ε |
0 |
= 1 > 0 ) отвечает число |
M > 0 |
(можно считать: |
M >1), |
||
|
2 |
|
|
|
|
|
|
такое, что как только B1 > M , B2 > M , так сейчас же |
B2 ~ |
|
1 |
|
|||
∫g( x)sin x dx |
< |
2 |
. Заме- |
||||
|
|
|
|
B1 |
|
|
|
тим, что каким бы ни было число M, всегда можно указать натуральное число n
такое, что будет 2nπ > M . Положим B1 = 2nπ, |
B2 = 2nπ + π ( B2 > B1 > M ). Для |
|||||||||
x [2nπ, 2nπ+ π] : |
~ |
1 |
|
|
~ |
1 |
|
|||
g(x) ≥ |
2 ; sin x ≥ 0 . Поэтому |
g(x)sin x ≥ |
2 sin x |
|
||||||
|
B2 |
~ |
|
|
|
2nπ+π |
1 |
2nπ+π |
|
|
|
|
|
|
|
~ |
∫sin x dx =1 (> ε0 ) . |
||||
|
∫g( x)sin x dx |
= |
∫g(x)sin x dx ≥ 2 |
|||||||
|
B1 |
|
|
|
|
2nπ |
|
2nπ |
J2 |
|
Получено противоречие. |
Значит, |
предположение, что |
сходится при |
|||||||
q − p ≤ 0 , неверно. |
|
|
|
|
|
|
|
|
102
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_103x1.jpg)
q
q=p
p
−2
Рис. 2.6. К примеру 4
Таким образом, получаем, что несобственный интеграл J сходится в области, определяемой неравенст-
вами: q > 0 ; p > −2 ; q − p > 0 . Во
всех остальных точках верхней полуплоскости J расходится.
Исследуем J2 на абсолютную сходимость. С этой целью рассмот-
~ |
|
+∞ x p |
|
sin x |
|
|
|
|
|
|
|
|
|
||||
рим интеграл J2 |
= |
∫ |
|
|
|
|
|
dx . |
|
|
|||||||
1+ xq |
|
|
||||||
|
|
1 |
|
|
|
|
|
|
Имеем
|
|
x p sin2 x |
≤ |
x p |
|
sin x |
|
|
|
≤ |
|
x p |
|
≤ |
x p |
= |
|
|
1 |
|
|
, x [1, +∞) . |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
1+ xq |
1+ xq |
xq |
xq−p |
|
||||||||||||||||||||||||
Так как +∞ |
|
1+ xq |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
dx |
сходится при q − p >1, то заключаем, что J2 – сходится абсо- |
|||||||||||||||||||||||||||||||
xq−p |
||||||||||||||||||||||||||||||||
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
лютно при q − p >1 (т. е. при q > p +1). Имеем далее: |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
+∞ x p sin2 x |
|
|
|
|
|
|
1 |
+∞ |
x p |
|
|
|
|
1 |
+∞ x p cos 2x |
|
|
||||||||||||
|
|
|
∫1 |
|
|
|
dx |
= |
|
|
|
2 |
|
∫1 |
|
dx |
− 2 |
|
∫1 |
|
|
dx . |
|
|||||||||
|
|
|
|
1+ xq |
|
|
|
|
|
1+ xq |
|
|
1+ xq |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1442443 |
1442443 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
J2 |
|
|
|
|
|
|
|
|
|
|
J2 |
|
|
||
Несобственный интеграл |
|
|
|
|
сходится, |
если |
q − p >1, |
и расходится, |
если |
|||||||||||||||||||||||
J2 |
|
|||||||||||||||||||||||||||||||
q − p ≤1. |
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Несобственный интеграл |
|
|
|
сходится, |
если |
q − p > 0 , |
и расходится, |
если |
||||||||||||||||||||||||
J2 |
||||||||||||||||||||||||||||||||
q − p ≤ 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
q = p+1
|
q = p+1 |
|
|
q=p |
|
p |
|
|
p |
|
|
|
|
|
|
|
|
|
|
−2 |
|
|
|
|
−2 |
||||
|
Рис. 2.7. К примеру 4 |
|
|
Рис. 2.8. К примеру 4 |
103
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_104x1.jpg)
Следовательно, J2 сходится абсолютно, если q > p +1. Получаем, таким об- |
|||||
разом, что несобственный интеграл J сходится абсолютно в области, опреде- |
|||||
ляемой неравенствами q > 0 , p > −2 , q > p +1 (рис. 2.7). |
|
||||
Область условной сходимости несобственного интеграла J получается, ес- |
|||||
ли из области сходимости J удалить область его абсолютной сходимости. Об- |
|||||
ласть условной сходимости несобственного интеграла J определяется неравен- |
|||||
ствами q > 0 , p <q ≤ p +1 (рис. 2.8). |
|
|
|||
ГЛАВА 3. ПРИЛОЖЕНИЯ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА |
|||||
§1. Вычисление площадей плоских фигур |
|
||||
y |
1°. |
Некоторые |
предварительные |
сведения. |
|
Пусть (D ) – область, расположенная в плоскости |
|||||
(P ) |
|||||
(x, y) и ограниченная контуром (K ) . Заключим (D ) |
|||||
(K ) |
|||||
в прямоугольник (P ) , стороны которого параллель- |
|||||
(D ) |
ны координатным осям. Произвольной сетью пря- |
||||
|
|||||
|
мых, параллельных координатным осям, разложим |
||||
x |
(P ) на |
частичные |
прямоугольники (Pik ) ( i =1, n , |
||
Рис. 3.1. Сетка прямых |
k =1, m ) (рис. 3.1). Обозначим через λik |
длину диа- |
|||
гонали частичного прямоугольника (Pik ) , а через λ – |
|||||
для определения площади |
|||||
фигуры |
наибольшую из длин диагоналей этих частичных |
||||
|
прямоугольников. |
|
|
||
Произведенному разбиению (P ) соотнесем два числа A и B. |
|
||||
A – сумма площадей всех тех частичных прямоугольников (Pik ) , которые |
|||||
целиком содержатся в (D). (Они не имеют ни одной общей точки с (K ) ). |
|||||
B – сумма площадей всех тех частичных прямоугольников (Pik ) , которые |
|||||
имеют хотя бы одну общую точку с (D ) . |
|
|
|||
Ясно, что B = A +Q , |
где Q – |
сумма площадей всех тех частичных прямо- |
|||
угольников (Pik ) , которые имеют хотя бы одну общую точку с (K ) . Следует |
|||||
отметить, что для закрепленного способа разбиения (P ) A и B – определенные |
|||||
числа. Если же способ разбиения (P ) на части изменить, то изменятся, вообще |
|||||
говоря, и числа A, B. |
|
|
|
|
Определение. Если существуют конечные lim A, lim B , не зависящие от спо-
λ→0 λ→0
соба разбиения области (D ) , и если lim A = lim B (= S ) , то этот общий предел
λ→0 λ→0
104
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_105x1.jpg)
предел S называют площадью области (D ) , а саму область (D ) называют
квадрируемой.
Теорема 1. Для того, чтобы область (D ) была квадрируемой, необходимо и достаточно, чтобы было
lim (B − A) = 0 |
(1) |
λ→0 |
|
(разности B − A составляют из чисел, отвечающих одному и тому же способу разбиения (P ) ).
* I. Необходимость условия (1) очевидна. В самом деле, если (D ) квад-
рируема и S – площадь (D ) , то A →S и B →S и поэтому B − A →0 .
λ→0 λ→0 λ→0
II. Докажем достаточность условия (1).
Заметим, прежде всего, что каждая сумма A из {A} не больше, чем всякая сумма B из {B}, даже если они отвечают и разным способам разбиения (P ) на
части. Это предложение можно доказать чисто арифметически, на чем мы не останавливаемся. Геометрически это ясно, ибо каждая сумма A из {A} есть пло-
щадь многоугольника, содержащегося в (D), а всякая сумма B из |
{ } |
есть |
|||||||||||||
B |
|||||||||||||||
площадь многоугольника, содержащего ( |
|
) . |
|
|
|
|
|
|
|||||||
D |
|
|
|
|
|
|
|||||||||
Возьмем на множестве |
{ |
} |
произвольную сумму B и закрепим ее. Обозна- |
||||||||||||
|
B |
||||||||||||||
чим эту сумму через B0 . Тогда для всякой суммы A из {A} |
будет |
A ≤ B0 |
|
|
|||||||||||
|
{ } |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
множество |
|
A |
сумм A, |
отвечающих всевозможным способам разбиения ( |
P |
) |
|||||||||
|
|
|
|
|
|
|
{ |
} |
|
{ } |
|||||
на части, ограничено сверху. Значит, существует sup |
A . Положим S = sup |
A . |
|||||||||||||
Ясно, что S ≤ B0 |
(ибо B0 |
– верхняя граница, а S – точная верхняя граница мно- |
|||||||||||||
жества {A}). У нас B0 – любая из множества {B}. Следовательно, |
S ≤ B , для |
||||||||||||||
любой B |
{ |
} |
|
|
|
|
{ } |
|
|
|
{ } |
|
|
|
|
|
B . Так как S = sup |
A , то A ≤ S , для любой A |
A . Таким обра- |
||||||||||||
зом, получаем |
|
|
|
|
A ≤ S ≤ B . |
|
|
|
(2) |
||||||
|
|
|
|
|
|
|
|
|
|
Внеравенстве (2) A и B могут отвечать различным, а могут отвечать одному
итому же способу разбиения (P ) на части. Считая A и B отвечающими одному
итому же способу разбиения (P ) , можем написать из (2):
A − S ≤ ( B − A), B − S ≤ (B − A) .
Отсюда и из (1) следует, что A →S и B →S . А это и значит, что область
λ→0 λ→0
(D ) квадрируема.
Замечание. Необходимое и достаточное условие квадрируемости области (D ) может быть записано также в виде
lim Q = 0 . (3)
λ→0
105
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_106x1.jpg)
Здесь Q = B − A есть разности сумм B и A, отвечающих одному и тому же способу разбиения (P ) на части (Q есть сумма площадей всех тех частичных прямоугольников, которые имеют хотя бы одну общую точку с контуром (K ) ).
Определение 2. Кривую (L) , замкнутую или нет, называют простой, если она разлагается на конечное число частей, каждая из которых выражается хотя бы одним из уравнений вида y = f (x) , x [a, b], x = g( y), y [c, d]. При этом
предполагают, что f ( x) C([a, b]), а g( y) C([c, d]).
Теорема 2 (о простой кривой). Пусть (L) – простая кривая, содержащаяся в прямоугольнике (P ) . Разобьем (P ) сетью прямых, параллельных координатным осям, на частичные прямоугольники (Pik ) ( i =1, n , k =1, m ). Пусть Q –
сумма площадей всех частичных прямоугольников (Pik ) , которые имеют с (L)
хотя бы одну общую точку. Тогда lim Q = 0 , т.е. простая кривая имеет нулевую
λ→0
площадь. y
(P ) |
(L ) |
x |
Рис. 3.2. К определению площади простой кривой (теорема 2)
* Будем считать для определенности, что (L)
задана |
уравнением |
y = f (x) , |
x [a, b], |
( |
) |
прямые, параллельные оси |
|
f (x) C [a, b] . Пусть |
Oy и входящие в дробящую сеть, есть x = x0 , x = x1 ,
K , x = xn , причем a = x0 < x1 <K< xn = b .
У нас f (x) C([a, b]). Следовательно, любому
ε > 0 отвечает δ > 0 , зависящее только от ε, такое, что для любого разбиения промежутка [a, b] на час-
~
ти [xk , xk+1], у которого ранг дробления λ < δ, будет
ωk < 3(bε−a) сразу для всех k = 0, n −1. Здесь ωk – колебание функции f ( x) в промежутке [xk , xk+1]. Заметим, что число δ > 0 можно уменьшать в случае надобности. Поэтому можно считать, например, что
δ < 3(bε−a) .
Станем рассматривать разбиение (P ) на части (Pik ) , любое, но такое, у ко-
~
торого λ < δ ( и подавно λ < δ). Произведем оценку площади тех частичных прямоугольников, которые имеют хотя бы одну общую точку с (L) и которые лежат между прямыми x = xk и x = xk+1.
106
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_107x1.jpg)
|
Если ωk есть колебание |
f ( x) |
на [xk , xk+1], то y |
|
|
|
||||||||||||||||||||||||
сумма высот |
этих |
|
частичных |
прямоугольников |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||
меньше |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ωk +2λ . |
Но |
ωk < |
|
, |
ибо |
|
|
|
|
|
||||||||||||||||||||
3(b −a) |
|
ωk |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||
|
xk+1 − xk |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(L ) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
k = 0, n −1. |
|
|
|
|
|
|
|
|
||||||||||||||||
|
≤ λ < λ < δ, |
|
Кроме |
того, |
|
|
|
|
|
|||||||||||||||||||||
λ < δ < |
|
ε |
|
. Значит, сумма высот упомянутых |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||
3(b −a) |
|
|
|
|
x |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
частичных прямоугольников меньше |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
xk xk +1 |
||||||||||||||||||||||||
|
|
|
|
|
|
ε |
|
+2 |
|
|
ε |
|
|
|
= |
|
ε |
. |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 3.3. К доказательству |
|||||||||||||||
|
|
|
|
|
3(b −a) |
|
3(b −a) |
b −a |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
теоремы 2 |
|||||||||||||||
Поэтому сумма их площадей будет меньше, чем |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(xk+1 − xk ) , следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
b −a |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
ε |
|
|
|
|
|
|
ε |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
Q < ∑ |
|
|
(xk+1 − xk ) = |
|
(b −a) = ε. |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
b −a |
b −a |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Итак, Q < ε. Так как для достижения этого неравенства потребовалось
лишь, чтобы было λ < δ, то заключаем, что lim Q = 0 .
λ→0
Следствие. Область, ограниченная простым контуром, квадрируема.
2°. Площадь в прямоугольных коорди- |
y |
|
|
y = f (x ) |
|||||||||
|
|
|
|
( |
) |
|
|
|
|
||||
натах. |
Пусть |
функция |
f (x) C [a, b] |
и |
|
|
|
|
|||||
f (x) ≥ 0 , x [a, b], |
( a < b ). |
Фигура, |
ограни- |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|||||||
ченная снизу осью Ox, сверху графиком |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|||||||
функции |
y = f (x) , |
x [a, b], а с боков отрез- |
|
|
|
|
|
|
|
||||
ками прямых x = a , |
x = b , называется криво- |
|
|
|
|
|
|
|
|||||
линейной трапецией. |
|
|
|
|
|
|
|
|
|
|
|||
Видим, что контур (K ) является простой |
|
|
|
|
|
|
x |
||||||
кривой. |
Следовательно, криволинейная |
тра- |
|
|
|
|
|
|
|
||||
a=x0 |
|
|
xk xk +1 x =b |
||||||||||
пеция квадрируема. Выведем теперь формулу |
|
|
|
|
|
|
n |
||||||
Рис. 3.4. К определению площади |
|||||||||||||
для площади S этой криволинейной трапеции. |
криволинейной трапеции |
||||||||||||
Для этого: |
|
|
|
|
|
||||||||
a = x0 < x1 <K< xn = b |
произ- |
|
|
|
|
|
|
|
|||||
1) точками |
|
|
|
|
|
|
|
вольным образом разбиваем промежуток [a, b] на части [xk , xk+1] ( k = 0, n −1);
2) через точки дробления проводим отрезки прямых параллельно оси Oy. Криволинейная трапеция разобьется при этом на n полос (рис. 3.4). Рассмотрим k-ю полосу. Ясно, что она имеет площадь. Обозначим эту площадь че-
рез Sk .
107
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_108x1.jpg)
y
Mkmk
x
xk |
xk +1 |
Рис. 3.5. К выводу формулы для площади криволинейной трапеции
У нас |
( |
) |
|
( |
k |
, x |
k+1 |
) |
f ( x) C [a, b] |
f ( x) C [x |
|
|
] |
||||
f ( x) |
достигает на промежутке [xk , xk+1] |
сво- |
их наименьшего mk и наибольшего Mk значе-
ний (рис. 3.5).
Рассмотрим два прямоугольника. У них общим основанием является отрезок xk xk+1 , а вы-
сотами являются соответственно mk и Mk . Ясно, что
mk ( xk+1 − xk ) ≤ Sk ≤ Mk ( xk+1 − xk ), k = 0, n −1.
Просуммировав эти неравенства по значку k от 0 до n −1, получим
n−1 |
n−1 |
|
∑mk ∆xk ≤ S ≤ ∑Mk ∆xk . |
(4) |
|
k =0 |
k=0 |
|
n−1 |
n−1 |
|
В этом неравенстве суммы ∑mk ∆xk , ∑Mk ∆xk , являясь нижней и верхней |
||
k =0 |
k =0 |
|
суммами Дарбу соответственно, являются также интегральными суммами Римана для функции f ( x) в промежутке [a, b] . Так как f ( x) C([a, b]), то
b
f ( x) R([a, b]) lim σ существует и равен ∫ f (x) dx .
λ→0
a
Переходя в неравенстве (4) к пределу при λ → 0 , получаем
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S = ∫ f ( x) dx . |
|
|
|
|
|
|
|
(5) |
||||
y |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Площадь обобщенной |
|
|
|
криволинейной |
|||||||
|
|
y = f2 |
(x ) |
|
C |
трапеции. |
Рассмотрим теперь плоскую фи- |
|||||||||||
B |
|
|
гуру, |
ограниченную снизу графиком функ- |
||||||||||||||
|
|
|
|
|||||||||||||||
|
|
|
|
|||||||||||||||
|
|
|
|
|
ции |
y = f1(x) , |
x [a, b], сверху |
графиком |
||||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|||||||||||||
A |
|
|
|
|
D |
функции |
y = f2 ( x), x [a, b], |
|
а с боков от- |
|||||||||
|
y = f1( x ) |
|
резками |
прямых |
x = a , x = b |
( a < b ) |
(рис. |
|||||||||||
|
|
|||||||||||||||||
|
|
|
|
3.6). Предполагается, что |
|
|
|
1 |
( |
) |
||||||||
M |
|
|
N x |
|
f ( x) C [a, b] , |
|||||||||||||
|
|
|
|
f |
2 |
(x) |
|
( |
) |
1 |
f |
2 |
(x) , |
x [a, b]. |
||||
a |
|
|
|
|
C [a, b] |
и f (x) ≤ |
|
|||||||||||
|
b |
Площадь S у такой фигуры существует, так |
||||||||||||||||
|
|
Рис. 3.6. Обобщенная |
как контур |
(K ) |
этой фигуры является про- |
|||||||||||||
|
|
стым. |
|
|
|
|
|
|
|
|
|
|
||||||
|
криволинейная трапеция |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
Предположим сначала, что выполнено |
||||||||||
еще одно условие, а именно, что f1(x) ≥ 0 , |
x [a, b]. Имеем: |
|
|
|
|
|
|
108
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_109x1.jpg)
b |
b |
|
SABCD = S MBCN − S MADN = ∫ f2 ( x) dx − ∫ f1( x) dx |
|
|
a |
a |
|
b |
|
|
SABCD = ∫[f2 ( x) − f1(x)]dx . |
(6) |
a
Освободимся теперь от предположения,
что |
2 |
f1(x) ≥ 0 , |
) |
x [a, b]. |
У |
нас |
||
1 |
( |
|
1 |
2 |
(x) – ог- |
|||
f (x), f |
|
(x) C [a, b] |
f (x) , f |
|
раниченные на [a, b] можно указать число
d такое, что будет |
f1(x) + d ≥ 0 , x [a, b]. По- |
||||
ложим |
~ |
|
|
|
~ |
f1( x) = f1(x) + d , |
f2 (x) = f2 (x) + d . |
||||
Ясно, что |
~ |
≥ |
~ |
и |
~ |
f2 (x) |
f1( x) |
f1(x) ≥ 0 , x [a, b]. |
|||
Имеем |
|
|
b |
|
|
|
|
|
~ |
~ |
|
SABCD = SABCD~ ~ ~ ~ = ∫[f2 |
( x) − f1( x)]dx = |
||||
|
b |
|
a |
|
|
|
[f2 (x) − f1(x)]dx . |
||||
|
= ∫ |
a
y |
~ |
|
~ |
|
(x ) |
||
~ |
y = f2 |
C |
|
|
|
|
|
B |
|
|
|
|
|
~ |
~ |
~ |
y = |
D |
|
f1( x ) |
|
||
A |
y = f2 ( x ) |
C x |
|
a |
|||
B |
|
|
b |
A |
y = f1(x ) |
D |
|
||
|
|
Рис. 3.7. К вычислению площади обобщенной криволинейной трапеции
Замечание. Отрезки прямых |
x = a , x = b |
|
(один или оба сразу) могут вырождаться в точку. |
||
Пример 1. Вычислить площадь S фигуры, |
ограниченной линиями y = x2 , |
|
y = x3 , x = −1 (рис. 3.8). |
|
|
Здесь f1( x) = x3 , x [−1,1]; |
f2 (x) = x2 , |
y |
x [−1,1]. Имеем f2 (x) ≥ f1(x) , x [−1,1],
|
1 |
|
|
|
|
|
|
x3 |
|
x4 |
|
1 |
2 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
∫ |
|
|
2 |
|
3 |
|
|
|
|
|
|
|
|||||||
S = |
(x |
|
− x |
|
) dx = |
|
− |
|
|
|
|
= |
|
(кв. ед.). |
|
|||||
|
|
3 |
4 |
|
3 |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|||||
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Замечание 2. Если плоская фигура огра- |
||||||||||||||||||||
ничена |
|
|
линиями |
y = c , |
|
|
|
|
y = d |
( c < d ), |
||||||||||
x = g1( y), y [c, d], |
x = g2 ( y), y [c, d], при- |
|||||||||||||||||||
чем |
|
|
1 |
|
|
|
( |
) |
|
g |
2 |
|
|
|
|
( |
) |
и |
||
|
|
g ( y) C [c, d] , |
|
|
|
( y) C [c, d] |
||||||||||||||
g1( y) ≤ g2 ( y) , |
y [c, d], |
то совершенно ана- |
логично для вычисления площади S этой фигуры получают формулу
x
−1 |
1 |
Рис. 3.8. К вычислению площади фигуры в примере 1
d |
|
S = ∫[g2 ( y) − g1( y)]dy . |
(7) |
c
109
![](/html/1334/253/html_1wEs2lryO4.1DZv/htmlconvd-s_dl8_110x1.jpg)
y
x = sin πy
x = y −1
x
−1 |
1 |
Рис. 3.9. К вычислению площади фигуры в примере 2
= − cosππy − 23 y32
Пример 2. Вычислить площадь S фигу-
ры, ограниченной |
кривыми |
y = ( x +1)2 , |
|||||||
x = sin πy , y = 0 ( 0 ≤ y ≤1) (рис. 3.9). |
|||||||||
Здесь g1( y) = |
|
|
|
−1, |
g2 ( y) = sin πy , |
||||
|
|
y |
|||||||
y [0,1]. |
|
|
|
|
|
|
|
|
|
Имеем g1( y) ≤ g2 ( y) , |
y [0,1]; |
||||||||
|
1 |
|
|
( |
|
|
)] |
|
|
S = |
∫[ |
sin πy |
− |
y |
− |
dy = |
|||
|
|
|
1 |
0
+y y=1 = 2 + 1 (кв. ед.).
y=0 π 3
3°. Площадь в полярных координатах. Пусть плоская фигура ограничена линиями, уравнения которых в полярной системе координат имеют вид
ϕ = α, ϕ = β, (α <β), r = f (ϕ), ϕ [α,β] (рис. 3.10).
Предполагается, что f (ϕ) C([α,β]).
B |
|
ϕ=β |
r = f (ϕ) |
|
|
|
A |
ϕ=α |
p |
0
Рис. 3.10. Обобщенный сектор
Выведем формулу для площади S этой фигуры.
Для этого:
1) точками α = ϕ0 < ϕ1 <K< ϕn = β
произвольным |
образом |
разбиваем |
||
промежуток [α,β] на части |
[ϕk , ϕk +1] |
|||
( k = |
|
); |
|
|
0, n −1 |
|
|
||
2) проводим |
лучи |
ϕ = ϕk |
||
( k = |
|
). |
|
|
0, n −1 |
|
|
Наша фигура разобьется при этом на n элементарных обобщенных секторов. Рассмотрим k-й обобщенный сектор
|
|
ϕ=ϕk+1 |
|
|
|
|
|
|
(рис. 3.11). |
|
|
|
|
|
|
( |
) |
|
|||||
|
|
|
|
|
|
|
|
|
У |
нас |
|
|
|
|
|
||||||||
|
|
|
|
∆ϕk |
|
|
|
|
|
|
|
|
|
f (ϕ) C [α,β] |
|||||||||
|
|
|
|
|
|
|
|
|
f (ϕ) C [ϕ |
|
,ϕ |
|
] |
f (ϕ) |
достигает на про- |
||||||||
O |
|
|
|
|
|
|
|
|
|
k |
k+1 |
||||||||||||
|
ϕ=ϕk |
|
|
|
|
( |
|
|
|
) |
своих |
наименьшего |
mk и |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
[ϕk , ϕk +1] |
||||||||||||
Рис. 3.11. К выводу формулы для межутке |
|||||||||||||||||||||||
|
площади обобщенного |
|
|
наибольшего |
Mk |
значений. Проведем две дуги |
|||||||||||||||||
|
|
|
сектора |
|
|
|
|
окружностей с центром в точке O и радиусами |
|||||||||||||||
|
|
|
|
|
|
|
|
k-го |
|
mk и Mk соответственно. Если через Sk обо- |
|||||||||||||
|
значить |
|
площадь |
|
обобщенного |
|
|
сектора, |
то |
будем |
иметь |
||||||||||||
|
1 m2 ∆ϕ |
|
≤ S |
|
≤ |
1 |
M 2 |
∆ϕ |
|
( k = |
|
). Просуммировав все эти неравенства |
|||||||||||
k |
k |
k |
0, n −1 |
||||||||||||||||||||
|
2 k |
|
|
2 |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
110