Часть 5

Определённый интеграл
 Процедура построения определенного интеграла
Пусть нам заданы следующие объекты
1. Отрезок [a, b] конечной длины b  a .
2. Функция f (x) , которая определена и ограничена на этом
отрезке.
Проведем следующее построение:
 1. Разбиение отрезка на кусочки
Разобьем отрезок [a, b] произвольным образом на части
(кусочки) точками a  x0  x1  x2  x3  ...  xn1  xn  b (см. рис.).
Для единообразия, точку а будем называть точкой х0, а точку b 
точкой хп.
0 1 2 n-1
x x x x
x1 x2 x3 ... xn-1
a = x0 b = xn

Пусть xi  xi 1  xi есть длина i-го кусочка и   max xi  самая

i
большая из этих длин.
2. Составление интегральной суммы
На каждом из кусочков [ xi , xi 1 ] возьмем произвольно
некоторую точку i (она называется средней точкой, хотя,
конечно, не обязательно лежит на середине кусочка), так что
[ xi  i  xi 1 ] и составим сумму
n 1
   f (i )xi ,
i 0
которая называется интегральной суммой.
 f (x)
f (2)

f (1)

f (0)


x
a = x0 0 x1 1 x2 2 b = x3
Геометрически она представляет собой сумму площадей
прямоугольников высотой f (i ) и длиной основания xi .
 3. Предельный переход
Наконец, перейдем к пределу lim  .
 0
Определение. Если lim  существует и не зависит от
 0
А) способа разбиения отрезка [ a , b ] на кусочки и от
Б) способа выбора средней точки,
то он называется определенным интегралом от функции f (x) на
b
отрезке [ a , b ] и обозначается символом  f ( x)dx :
a
b

 f ( x)dx = lim  .
a
 0

Функция f (x) называется подынтегральной функцией, число а

 нижним пределом интегрирования, а b – верхним пределом
интегрирования.
 Суммы Дарбу

Перейдем теперь к построению теории определенного

интеграла. Ее основой являются так называемые суммы Дарбу.
Пусть mi  inf f ( x) и M i  sup f ( x) есть наименьшее и
x[ xi , xi 1 ] x[ xi , xi 1 ]
n 1
наибольшее значения функции на i-м кусочке. Суммы s   mi xi и
i 0
n 1
S   M i xi носят название нижней и верхней сумм Дарбу.
i 0
Так как mi  f (i )  M i , то s    S при любом выборе средней
точки. Ясно также, что при фиксированном разбиении отрезка [a, b]
на кусочки s  inf  и S  sup  , где inf и sup берутся по
всевозможным выборам средних точек при заданном разбиении
отрезка [a, b] на кусочки.
f (x)
m2

m1

s
m0

x
a = x0 x1 x2 b = x3

Геометрический смысл нижней суммы Дарбу.

f (x) M2
M1

M0

x
a = x0 x1 x2 b = x3
Геометрический смысл верхней суммы Дарбу
 Свойства сумм Дарбу
1. Если к имеющимся точкам деления добавить новые, то s
может только увеличиться, а S  только уменьшиться.
Рассмотрим кусочек [ xk , xk 1 ] и представим себе, что на нем
появилась еще одна точка x , так что xk  x  xk 1.
M''k
Mk
M'k

xk x' xk+1
Пусть
M k  sup f ( x) , M k  sup f ( x) и M k  sup f ( x) .
x[ xk , xk 1 ] x[ xk , x ] x[ x, xk 1 ]
Так как
[ xk , x]  [ xk , xk 1 ] и [ x, xk 1 ]  [ xk , xk 1 ] ,
то ясно, что M k  M k и M k  M k .
Рассмотрим отдельное слагаемое, скажем, верхней суммы
Дарбу, соответствующее отрезку [ xk , xk 1 ] . До добавления точки x
оно было равно M k ( xk 1  xk ) . После добавления точки x оно
превратилось в два слагаемых и стало равно
M k ( x  xk )  M k( xk 1  x) . Так как M k  M k и M k  M k , то
M k ( x  xk )  M k( xk 1  x)  M k ( xk 1  xk ) и поэтому от добавления
точки x верхняя сумма Дарбу не могла возрасти. Аналогично
можно получить, что от добавления точки x нижняя сумма Дарбу
не могла уменьшиться.
 2. Каждая нижняя сумма Дарбу не превосходит любой верхней
суммы Дарбу, даже если они принадлежат различным разбиениям
отрезка [a, b] на кусочки.
s1, S1

s2, S2
x x x x

s3, S3
В первом разбиении, очевидно, s1  S1 , во втором  s2  S 2 .
Объединим эти два разбиения в одно, смешав вместе все точки
деления (см. рис.). Тогда, учитывая свойство 1, получим
следующую цепочку неравенств
s1  s3  S3  S 2 ,
откуда следует, что s1  S 2 , что и требовалось доказать.
Отсюда следует, что множество нижних сумм Дарбу {s},
соответствующих различным разбиениям отрезка [a, b] ограничено
сверху любой верхней суммой Дарбу, а множество верхних сумм
Дарбу {S } ограничено снизу любой нижней суммой Дарбу.
Поэтому существуют I*  sup{s} и I *  inf{S }. Они носят название
нижнего и верхнего интегралов Дарбу. Очевидно, что для любого
разбиения отрезка [a, b] на кусочки верно соотношение
s  I*  I *  S .
 Признак существования определенного интеграла
Теорема. Для существования определенного интеграла
необходимо и достаточно, чтобы limS  s   0 .
 0
Доказательство.
Необходимость. Пусть существует lim   I . Это значит, что
 0
  0     I      I   .
Но тогда, учитывая, что s  inf  и S  sup  , можем записать
I    s  S  I  ,
откуда следует, что
S  s  ( I   )  ( I   )  2 ,
и, в силу произвольности , это и означает, что limS  s   0 .
 0
 Достаточность. Пусть limS  s   0 . Это означает, что
 0
  0     S  s   .
Но s  I*  I *  S , откуда следует, что I *  I*   . Так как  сколь
угодно мало, то это означает, что I *  I*  I .
Далее имеем s  I  S , s    S ; следовательно, |   I |  , и, в
силу произвольности , это означает, что существует lim   I .
 0
 Другая форма записи этого условия
Mi

i = Mi - mi

mi

xi xi+1
Величина i  M i  mi носит название колебания функции на
отрезке [ xi , xi 1 ]. Ее можно записать и так
i  sup | f ( x)  f ( x) | . Тогда
x, x[ xi , xi1 ]
n 1 n 1
S  s   i xi , и условие теоремы принимает вид lim  i xi  0 .
 0
i 0 i 0
 Классы интегрируемых функций

Теорема 1. Если функция f (x) непрерывна на отрезке [a, b] ,

то она интегрируема на этом отрезке.
Доказательство.
Если функция f (x) непрерывна на отрезке [a, b] , то она, по
теореме Кантора, равномерно непрерывна на этом отрезке. В
обозначениях этой главы, это означает, что
  0   0 xi   i   .
Возьмем любое    . Тогда i i   и мы получаем
n 1 n 1
0   i xi   xi  (b  a )
i 0 i 0
n 1
и, в силу произвольности , отсюда следует, что lim  i xi  0 .
 0
i 0
 Теорема 2. Если функция f (x) ограничена на отрезке [a, b] и
имеет на нем лишь конечное число точек разрыва, то она
интегрируема на этом отрезке.

Доказывать эту теорему мы не будем.

 Теорема 3. Если функция f ( x) монотонна и ограничена на
отрезке [a, b] , то она интегрируема на этом отрезке.
Доказательство.
Пусть, для определенности, функция f ( x) монотонно

возрастает. Возьмем произвольное  и положим   .
f (b)  f (a )
Разобьем весь отрезок [a, b] на кусочки, длина каждого из которых
xi будет меньше . Тогда на кусочке [ xi , xi 1 ] будет
i  f ( xi 1 )  f ( xi ) и мы получим
n 1 n 1 n 1
0   i xi   i    f ( xi 1 )  f ( xi ) 
i 0 i 0 i 0
 ( f ( x1 )  f ( x0 ))  ( f ( x2 )  f ( x1 ))  ( f ( x3 )  f ( x2 ))  ...  ( f ( xn )  f ( xn1 )) 
  f ( xn )  f ( x0 )    f (b)  f (a )    ,
n 1
и, в силу произвольности , отсюда следует, что lim  i xi  0 .
 0
i 0
Свойства интегрируемых функций
1. Если функция f (x) интегрируема на [a, b] , то функция kf (x)
также интегрируема на [a, b] .
Пусть i  sup | f ( x)  f ( x) | есть колебание функции f (x)
x, x[ xi , xi 1 ]

на отрезке [ xi , xi 1 ]. Тогда ее интегрируемость на отрезке [a, b]

n 1
означает, что   x  0 .
i 0
i i  0

Пусть далее i есть колебание функции kf (x) на отрезке [ xi , xi 1 ].

Тогда имеем
i  sup | kf ( x)  kf ( x) || k |  sup | f ( x)  f ( x) || k | i ,
x , x[ xi , xi 1 ] x , x[ xi , xi 1 ]
и поэтому
n 1 n 1

 x
i 0
i i | k |  i xi 
i 0
 0 ,
0

откуда и следует интегрируемость функции kf (x) на [a, b] .

 2. Если функция f (x) интегрируема на [a, b] , то функция | f ( x) |
также интегрируема на [a, b] .
Пусть i есть колебание функции | f ( x) | на отрезке [ xi , xi 1 ].
Тогда имеем
i  sup | f ( x) |  | f ( x) |  sup | f ( x)  f ( x) | i
x, x[ xi , xi 1 ] x, x[ xi , xi 1 ]

(воспользовались неравенством | a  b | | a |  | b | , написанным в

обратном порядке) и поэтому
n 1 n 1
0   i xi   i xi 
 0 ,
0
i 0 i 0
откуда и следует интегрируемость функции | f ( x) | на [a, b] .
 3. Если функции f (x) и g (x) интегрируемы на [a, b] , то функция
f ( x)  g ( x) также интегрируема на [a, b] .
Пусть i  sup | f ( x)  f ( x) | и i  sup | g ( x)  g ( x) |
x, x[ xi , xi 1 ] x, x[ xi , xi 1 ]

есть колебания функций f (x) и g (x) на отрезке [ xi , xi 1 ]

соответственно. Тогда для колебания их суммы или разности имеем
i  sup | ( f ( x)  g ( x))  ( f ( x)  g ( x)) |
x, x[ xi , xi 1 ]
 sup {| f ( x)  f ( x) |  | g ( x)  g ( x) |} 
x, x[ xi , xi 1 ]
(модуль суммы или разности не превосходит суммы модулей)
 sup {| f ( x)  f ( x) |}  sup {| g ( x)  g ( x) |}  i  i
x, x[ xi , xi 1 ] x, x[ xi , xi 1 ]
(супремум суммы не превосходит суммы супремумов). Поэтому
n 1 n 1 n 1
0   i xi   i xi   ixi 
 0
0
i 0 i 0 i 0
откуда и следует интегрируемость функции f ( x)  g ( x) на [a, b] .
 4. Если функции f (x) и g (x) интегрируемы на [a, b] , то функция
f ( x)  g ( x) также интегрируема на [a, b] .
Вспомним, что пока мы умеем интегрировать только
ограниченные функции. Это значит, что sup | f ( x) | M f   и
x[ a , b ]

sup | g ( x) | M g   . Тогда имеем

x[ a , b ]

f ( x) g ( x)  f ( x) g ( x)  [ f ( x)  f ( x)]g ( x)  [ g ( x)  g ( x)] f ( x) ,
| f ( x) g ( x)  f ( x) g ( x) |  | f ( x)  f ( x) | M g  | g ( x)  g ( x) | M f ,
и для колебания i функции f ( x)  g ( x) на отрезке [ xi , xi 1 ] имеем
i  M g i  M f i
и поэтому
n 1 n 1 n 1
0   i xi  M g  i xi  M f  ixi 
 0 ,
0
i 0 i 0 i 0
откуда и следует интегрируемость функции f ( x)  g ( x) на [a, b] .
 5. Если функция f (x) интегрируема на [a, b] , то она
интегрируема на любой части этого промежутка.
Пусть отрезок [c, d ]  [a, b] разобьем отрезок [a, b] на кусочки,
так, чтобы точки с и d оказались в числе точек деления (см. рис.).

a c d b
Тогда имеем
0   x
i:xi [ c , d )
i i    x  0 ,
i:xi [ a , b )
i i  0

что и доказывает интегрируемость f (x) на отрезке [c, d ] .

 6. Если отрезок [a, b] разбит на части и функция f (x)
интегрируема на каждой из частей, то она интегрируема и на [a, b] .
Пусть отрезок [a, b] разбит на две части точкой с (см. рис.).

a c b
Разобьем отрезок [a, b] на части так, чтобы точка с вошла в число
точек деления. Если функция f (x) интегрируема на отрезках [a, c] и
[c, b], то это значит, что  i xi  0 и  i xi 
0
 0 .
0
i:xi [ a , c ) i:xi [ c , b )
Но тогда
  x
i:xi [ a , b )
i i    x    x  0 ,
i:xi [ a , c )
i i
i:xi [ c , b )
i i  0

что и доказывает интегрируемость f (x) на отрезке [a, b] .