Пусть |
теперь |
дана |
f x , |
x a,b и |
пусть |
имеется |
некоторое |
|||||||||||
разбиение |
для a,b (рис. 4). Пусть i |
xi 1, xi , |
тогда |
составим |
||||||||||||||
сумму |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
f ; 1,..., k |
f |
i xi , |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
которая называется интегральной суммой Римана. |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
Если |
f x 0, |
то |
каждое |
||||||
|
|
|
|
|
|
|
слагаемое |
|
|
равно площади |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
прямоугольника |
с |
|
основанием |
||||||||
|
|
|
|
|
|
|
xi и с высотой |
f i . |
|
|||||||||
|
|
|
|
|
|
|
|
|
Вся |
сумма |
|
равна пло- |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
щади ступенчатой фигуры. |
|||||||||||
Рис. 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение. |
f x называется интегрируемой (по Риману) на |
|||||||||||||||||
a,b , если A ; n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
n |
x i n i kn |
, |
n 1,2,..., |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
i 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
причем lim |
0, и |
n : |
|
n x n , x n |
|
|
|
|
|
|
|
|
|
|||||
n |
n |
i |
|
i |
|
i 1 |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
kn |
|
n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
lim f |
|
|
|
A, |
|
|
|
|
|
|
||||||
|
|
i |
xi |
|
|
|
|
|
|
|||||||||
|
|
n |
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где xi n xi n xi n1 . При выполнении вышеперечисленных условий
число А называется (римановым) определенным интегралом и обо-
значается через
b
f x dx,
a
где x переменная интегрирования, f x подынтегральная функция; a,b нижний и верхний пределы интегрирования; a,b промежуток интегрирования.
66
19.2. Ограниченность интегрируемой функции
Теорема. Если функция интегрируема на некотором отрезке, то она ограничена на этом отрезке.
□ Доказательство от противного, т.е. пусть f x , |
x a,b не |
ограничена и пусть
x i ii 0k ,
всилу неограниченности f x на a,b , она, по крайней мере, не
ограничена на |
каком-то отрезке |
|
разбиения, например, на x0 , x1 , |
||||
n |
x0 , x1 |
; |
n 1, 2,..., что |
|
|
|
|
т.е. 1 |
|
|
|
|
|||
|
|
|
lim f n |
. |
|||
|
|
|
n |
|
1 |
|
|
k
Но, по определению интеграла по Риману, f i xi будет
i 2
иметь определенное значение , тогда
|
|
|
|
|
|
n |
|
|
k |
|
|
|
i |
|
|
|
|
lim |
|
lim |
|
f |
|
|
|
x |
|
f |
|
x |
|
, |
|
||
n |
n 2 |
|
1 |
|
1 |
|
|
i |
|
|
|||||||
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
||
а это значит, что |
f x неинтегрируема. |
|
|
|
|
|
|
|
■ |
||||||||
Замечание. Обратное утверждение неверно. Контрпримером |
|||||||||||||||||
служит функция Дирихле |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
f x |
1, |
|
если x рационально |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, |
|
если x иррационально. |
|
|
|
|||||||||
Действительно, если |
i |
выбрать |
рациональными, то |
1, |
|||||||||||||
а если i выбрать иррациональными, |
то |
0, а это означает, |
что |
||||||||||||||
предела нет.
19.3. Верхние и нижние суммы Дарбу. Верхний и нижний интегралы Дарбу
Пусть f x , |
x a,b и есть x i ii 0k , |
тогда, положим, |
||||||
|
|
sup f x , |
|
|
f x ; |
|
|
|
Mi |
|
mi |
inf |
i 1, k. |
||||
|
|
xi 1 x xi |
|
xi 1 x xi |
|
|
|
|
|
|
|
67 |
|
|
|
|
|
Составим
|
|
|
|
|
k |
|
|
|
|
|
|
|
k |
S |
S f |
Mi xi ; |
s |
s f mi xi ; |
|||||||||
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
i 1 |
очевидно, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s S . |
|
|
|
|
|
|
Назовем |
S и |
s |
соответственно |
верхней и нижней суммами |
|||||||||
Дарбу. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Свойства сумм Дарбу |
||||||||
1. Если |
f x |
ограничена, то |
|
S и s определены. |
|||||||||
|
f x : Mi , mi |
i |
|
конечны, и поэтому |
|||||||||
□ В силу ограниченности |
1, k |
||||||||||||
S и s также конечны. |
|
|
|
|
|
|
|
|
■ |
||||
2. Если |
|
|
|
, то S |
S |
и s s |
. |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|||
□ Пусть |
|
|
|
|
|
|
xj |
|
|
|
|
|
|
|
|
|
|
|
|
i k |
|
j k |
|
|
|
||
|
|
|
x i i 0 и |
j 0 |
|
, тогда |
|||||||
|
|
|
|
|
f x , |
|
|
|
|
|
|
inf f x , |
|
|
|
|
mi |
|
inf |
|
i 1,k; |
|
|
|
|||||||||
|
mj |
j 1,k . |
||||||||||||||
|
xi 1 x xi |
|
|
|
|
|
|
|
x j 1 x x j |
|
|
|
|
|||
Т.к. |
x |
1 |
, x |
|
x |
, x |
, то m m . |
Кроме того, |
|
|
|
|||||
|
j |
j |
|
i 1 |
i |
|
|
|
i |
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xi |
xj , |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ji |
|
|
|
|
|
|
тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
k |
|
|
|
|
k |
|
|
k |
|
k |
|||
s mi xi |
mi x j |
mi x j |
mj |
x j |
mj x j |
|||||||||||
|
|
|
|
|
|
i |
|
|
|
|
i |
i |
i |
|
|
|
i 1 |
|
|
i 1 ji |
|
|
i 1 ji |
|
i 1 ji |
|
j 1 |
||||||
Аналогично доказывается, что S |
S . |
|
|
|
|
|||||||||||
Следствие. 1, 2: a,b s 1 |
S 2 . |
|
|
|
|
|||||||||||
□Положим, 1 и 2 , и воспользуемся свойством 2.
суммы Римана и Дарбу связаны неравенствами
|
|
s S . |
|
3. Если |
|
интегральная сумма Римана для , то |
|
|
|
|
|
|
|
s inf , |
S sup . |
|
|
1 ,... k |
1 ,... k |
|
|
|
|
s .
■
■
68
□ Пусть x |
i k |
|
для a,b и |
|
x |
|
1 |
, x |
и пусть |
|
X |
|
числовые |
|||||||||||||||||
|
i |
|
i 0 |
|
|
|
|
|
|
|
|
i |
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
i |
|
||
множества, ai |
const 0, то для множества |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
X x: x ai xi , xi Xi , i |
1, k |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
справедливы равенства |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
||||
|
sup X ai |
sup Xi ; |
|
inf X ai inf Xi . |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
s mi xi |
inf |
f i |
xi |
inf |
|
f |
i xi |
inf |
|
. |
||||||||||||||||||||
i 1 |
i 1 |
x |
|
|
x |
|
|
|
x |
|
|
x |
|
i 1 |
|
|
|
|
|
x |
|
|
x |
|||||||
i 1 |
|
|
i |
|
i |
|
|
|
i 1 |
i |
|
i |
|
|
|
|
|
|
i 1 |
i |
|
|
i |
|||||||
Аналогично |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
k |
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
S Mi xi |
sup |
f i xi |
|
|
sup |
|
f i xi |
|
|
sup . ■ |
||||||||||||||||||||
i 1 |
i 1 xi 1 i xi |
|
|
|
xi 1 i xi |
i 1 |
|
|
|
|
|
|
xi 1 i xi |
|||||||||||||||||
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. S s |
i |
|
f xi , где i |
f колебание |
f |
на xi 1, xi . |
||||||||||||||||||||||||
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
□ Пусть X ,Y числовые множества и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
Z z: z x y, |
|
x X , |
y Y , |
|
|
|
|
|
|
|||||||||||||||||
тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sup Z sup X inf Y. Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
Mi |
|
mi |
sup |
|
f x |
|
inf |
f x |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
xi 1 i xi |
|
|
|
|
|
xi 1 i xi |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
x f x |
|
|
|
f , |
|
|
|
|
|
|
|
|||||||||||
|
|
|
sup |
|
|
|
f |
|
|
|
i 1,k |
|
|
|
|
|||||||||||||||
|
xi 1 x i |
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
xi 1 x i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S |
s |
Mi |
mi xi |
i f xi . |
|
|
|
■ |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|||||
Определение. |
I |
* |
sup s , |
I |
* inf S |
называются |
соответственно |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
нижним и верхним интегралами Дарбу, причем I* I *.
69
19.4. Необходимые и достаточные условия интегрируемости
Теорема. Для того чтобы ограниченная на некотором отрезке функция была интегрируемой на нем, необходимо и достаточно
lim S s 0.
0
Иными словами, 0 ,что : выполняется нера-
венство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S s |
|
, |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
но т.к. s S , то окончательно S s . |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
□ Доказательство необходимости. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть для f x |
I b f |
x dx существует, т.е. |
lim |
|
I |
0 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если |
, то |
|
|
|
|
I |
|
|
или I |
|
I . |
||||||
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
По свойству 2 сумм Дарбу имеем
I s S I
или 0 S s 2 .
Доказательство достаточности.
Пусть для f x выполнено условие lim S s 0. Из определения
0
нижней и верхней сумм Дарбу имеем
|
|
|
|
|
s |
I |
* |
I * S , |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
откуда 0 I * I |
* |
S |
s |
|
|
|
I |
* |
I * I , |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s |
I S , |
|
|
|
|
|||||
что равносильно двум неравенствам |
|
|
|
|
||||||||||||
|
|
0 I s S |
s ; |
0 S |
I S s . |
|
||||||||||
Поэтому |
lim I s lim S I 0, |
|
|
|
|
|||||||||||
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т.е. lim s |
lim S |
I , но s |
|
|
S |
|
lim |
|
0. |
■ |
||||||
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
70