19.5. Интегрируемость непрерывных и монотонных функций
Теорема. Функция, определенная и непрерывная на некотором отрезке, интегрируема на нем.
□ Пусть f x , x a,b непрерывна, тогда она ограничена. Возьмем
0, тогда 0, |
|
|
что a,b и a,b , удовлетворяющих |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
, выполняется неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f f |
|
|
|
. |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
x |
|
i k |
|
|
|
|
|
|
|
|
b a |
|
|
|
|
|
|
f x ; |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Пусть |
i |
, |
|
|
|
причем |
|
; x x x |
|
; m inf |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
i 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
i |
|
i 1 |
|
i |
xi 1 ,xi |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x , |
|
|
|
|
|
f x непрерывна, то |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
Mi |
sup f |
i 1, k. Т.к. |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
xi 1 ,xi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i xi 1, xi |
и i xi 1, xi , |
|
|
|
|
|
||||||||||||||||||||||||
что f |
m ; |
|
|
f |
M |
i |
, причем |
|
|
i |
|
|
x |
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
i |
|
i |
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
|
||||
|
f i f i |
|
f i f i |
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b a |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
На основании этого запишем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
||
0 S s |
|
M |
i |
m |
x |
f |
f |
|
|
x |
|
|
|
x , |
||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
i |
|
|
|
|
|
i |
|
|
|
|
|
|
|
i |
|
i |
b |
|
i |
|
||||||||||
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a i 1 |
|
|
|||
т.е. lim S s 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
■ |
|||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
Теорема. Функция, определенная и монотонная на отрезке a,b , |
||||||||||||||||||||||||||||||||||||||||||
интегрируема на этом отрезке. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
□ Пусть для определенности |
f x возрастает монотонно, т.е. |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f a f x f b , |
|
|
a x b, |
|
|
|
|
|
||||||||||||||||||||||
т.е. |
f x ограниченная. Для : x i ii 0k |
имеем |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mi f xi 1 , Mi |
f xi , i |
|
, |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1,k |
|
|
|
|
|
||||||||||||||||||||||||
71
поэтому S |
|
f s f |
|
k |
M |
i |
m |
x |
|
|
k f x |
f x |
x |
|
|||||
|
|
|
|
|
|
|
|
i |
i |
|
|
|
i |
i 1 |
|
i |
|
||
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
k |
|
f x |
f b f |
a |
|
|
|
|
|
|
|
|
|
|||||
|
f x |
|
|
(т.к. в сумме уничтожаются |
|||||||||||||||
|
|
i |
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
i 1 |
|
|
f b и |
f a |
|
|
|
|
|
|
|
|
|
|
||||
все слагаемые, кроме |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
lim S |
f s f |
0. |
|
|
|
|
■ |
||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20. СВОЙСТВА ИНТЕГРИРУЕМЫХ ФУНКЦИЙ
20.1. Свойства определенного интеграла
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1. |
dx b a. |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
□ |
xi |
b a. |
|
|
|
|
|
|
|
|
|
■ |
||||
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. Если |
f x интегрируема |
на a,b , |
то |
f x |
интегрируема на |
|||||||||||
* |
|
* |
|
|
a,b . |
|
|
|
|
|
|
|
|
|
|
|
a |
,b |
|
|
|
|
|
|
|
|
|
|
|
||||
□ Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
f x ; |
|
f x , |
|
|
|
|
|
|||||
|
m* |
|
inf |
M * sup |
x* x* x* |
, |
i 1, k*. |
|||||||||
|
|
i |
|
x*i 1 ,x*i |
|
i |
|
|
i |
i |
i 1 |
|
|
|
|
|
|
|
|
|
|
x* |
,x* |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
i 1 |
i |
|
|
|
|
|
|
|
|
Запишем
* |
|
* |
|
k* |
i |
i |
i |
k |
|
i |
i |
|
i |
|
|
|
|
|
|
|
|||||||||||
0 S |
s |
|
|
M * m* x* |
|
M |
|
m |
x |
S |
s |
||||
|
|
|
|
i 1 |
|
|
|
i 1 |
|
|
|
|
|
|
|
lim S |
* s * |
0. |
|
|
|
|
|
|
|
|
|
|
|||
* 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x интегрируема на a,c и |
||||||||
3. Пусть a c b. Если |
|||||||||||||||
интегрируема на a,b ,причем |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
b |
|
c |
|
|
b |
|
|
|
|
|
|
|
|
|
|
f x dx f x |
dx f x dx. |
|
|||||||
|
|
|
|
|
|
a |
|
a |
|
|
c |
|
|
|
|
■
c,b , то она
72
□ Пусть a,b ; |
1 |
a,c ; 2 |
c,b , причем 1 , |
|
2 , тогда |
||||||||||||||||||
0 S s |
S 1 |
S 2 |
s 1 |
s 2 S 1 s 1 S 2 |
s 2 |
|
|
или, |
|
переходя |
|||||||||||||
к пределу при |
0 |
|
0, |
0 , получим lim |
S |
s |
0. |
■ |
|||||||||||||||
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x |
|
g x |
|
|
|
|
|
|
|
|
|
|
a,b , |
|
||
4. Если |
функции |
и |
интегрируемы |
|
на |
то |
|||||||||||||||||
f x g x интегрируема и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
b |
f |
x g x dx b f |
x dx b g x dx. |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
a |
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
f g |
|
k |
|
g |
x |
k |
f |
|
x |
k |
g |
|
|
|
|
||||||
□ |
|
|
f |
|
|
|
x |
|
|||||||||||||||
|
|
|
|
i |
|
i |
|
i |
i |
|
i |
|
|
i |
|
|
i |
|
|||||
|
|
|
|
|
i 1 |
|
|
|
|
|
i 1 |
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f g , |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
lim f |
g lim |
f lim g , но |
|
|
|
|
|
|||||||||||
|
|
|
|
|
0 |
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
f |
g b f |
||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
lim |
|
|
f b |
f x dx, |
|||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
5. Если f x интегрируема |
на |
||||||
x g x dx, |
|
|
|||
|
|
|
|
|
|
lim |
|
g |
b |
g x dx. |
■ |
0 |
|
|
|
|
|
|
|
|
a |
|
|
a,b |
|
|
|
||
и |
c const, то |
c f x |
|||
интегрируема и
|
|
|
|
b |
|
|
b |
|
|
|
|
|
|
c f |
x dx c f x dx. |
|
|||
|
|
|
|
a |
|
|
a |
|
|
|
k |
|
|
k |
|
|
|
|
|
□ c f c f |
i xi |
c f i xi |
c f |
|
|||||
|
i 1 |
|
|
i 1 |
|
|
|
|
|
b c f x dx lim |
|
c f lim c |
|
f c b |
f x dx. |
■ |
|||
|
0 |
|
|
0 |
|
|
|
|
|
a |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
||
|
6. Если f x и g x интегрируемы на a,b , то |
f x g x |
|||||||
интегрируема.
(Без доказательства)
73
7. Если f x и g x интегрируемы на a,b и x a,b f x g x , то
|
|
b |
|
|
b |
|
|
|
|||||
|
|
f x dx g x dx. |
|
|
|
||||||||
|
|
a |
|
|
a |
|
|
|
|||||
|
|
(Без доказательства) |
|
|
|||||||||
8. Если |
f x интегрируема на a,b , то |
|
|
|
|||||||||
|
a |
b |
a |
|
|
||||||||
|
f x dx 0, |
f x dx f x dx. |
|||||||||||
|
a |
a |
b |
|
|
||||||||
|
|
(Без доказательства) |
|
|
|||||||||
9. Если |
f x интегрируема на a,b , то |
|
f x |
|
интегрируема и |
||||||||
|
|
||||||||||||
|
|
b |
|
b |
|
|
|
||||||
|
|
|
|
|
|
||||||||
|
|
f x dx |
|
|
f x |
|
dx, |
a b. |
|||||
|
|
|
|
||||||||||
|
|
a |
|
a |
|
|
|
||||||
|
|
(Без доказательства) |
|
|
|||||||||
Замечание. Доказательство |
приведенных свойств изложено |
||||||||||||
в [1].
20.2. Теорема о среднем значении для определенного интеграла
Теорема. Пусть: |
|
1) f x и g x интегрируемы на a,b ; |
|
2) m f x M , |
x a,b ; |
3) g x не меняет знака на a,b , тогда , что |
m M и |
||
|
b |
b |
|
|
|
||
|
f x g x dx g x dx. |
|
|
|
a |
a |
|
|
|
|
|
□ Умножим неравенство m f x M |
на g x : |
|
|
при g x 0 |
mg x f x g x |
M g x ; |
|
при g x 0 |
mg x f x g x |
M g x . |
|
74
Проинтегрируем полученные неравенства:
b |
|
b |
|
|
b |
|
|
m g |
x dx f x g x dx M g x dx; |
|
|||||
a |
|
a |
|
|
a |
|
|
b |
|
b |
|
|
b |
|
|
m g x dx f x g x dx M g x dx. |
|
||||||
a |
|
a |
|
|
a |
|
|
b |
|
|
|
|
|
|
|
При g x dx 0 |
доказательство . |
|
|||||
a |
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
Рассмотрим случай g x |
dx 0 : |
|
|
||||
|
|
a |
|
|
|
|
|
b |
|
|
|
|
b |
|
|
если g x 0, то g x dx 0; если g x 0, то g x dx 0. |
|
||||||
a |
|
|
|
|
a |
|
|
|
|
|
|
|
|
b |
|
Производя деление неравенств на g x dx, получим |
в обоих |
||||||
|
|
|
|
|
|
a |
|
случаях |
|
|
|
|
|
|
|
|
|
|
b |
x g x dx |
|
|
|
|
|
|
f |
|
|
||
|
|
m |
a |
|
|
M , |
|
|
|
|
b |
|
|||
|
|
|
|
|
|
||
|
|
|
|
g x dx |
|
|
|
|
|
|
|
a |
|
|
|
|
b |
|
|
|
|
|
|
|
f x g x dx |
|
|
||||
тогда, полагая |
a |
|
|
|
. |
|
■ |
|
b |
|
|
||||
|
|
|
|
|
|
||
|
|
g x dx |
|
|
|
|
|
|
|
a |
|
|
|
|
|
Следствие (Интегральная теорема о среднем). При дополни-
тельном предположении непрерывности |
f x |
a,b , что |
b |
b |
|
f x g x dx f g x dx, |
||
a |
a |
|
в частности при g x 1 |
|
|
b |
|
|
f x dx f b a . |
|
|
a
75