Материал: Лекция 06
ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
Понятие определенного интеграла
|
Пусть функция |
f (x) определена на отрезке [a,b]. Назовем разбиением |
||||||||||||||||
отрезка [a,b] совокупность точек |
{x0,x1,...,xn}: |
a x0 |
x1 ... xn |
b. |
||||||||||||||
Точки xk |
|
будем называть точками разбиения. |
В каждом из полученных |
|||||||||||||||
отрезков разбиения [xk ,xk 1] |
выберем произвольную точку k . Символом |
|||||||||||||||||
x |
обозначим |
разность |
|
|
= |
− |
( |
т.е. |
|
– |
длина |
отрезка |
||||||
разбиенияk |
). Образуем сумму |
) |
|
|
|
= |
|
( ) |
|
|||||||||
= |
Эту( , |
|
) = ( |
) |
|
+ ( |
|
+...+ |
( |
|
) |
|
|
|
. |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
сумму называют интегральной суммой (для) |
функции |
f (x) |
на |
||||||||||||
отрезке [a,b], соответствующей данному разбиению |
|
отрезка |
[a,b] и |
|||||||||||||||
данному выбору промежуточных точек k . |
|
|
|
|
|
|
|
|
|
|||||||||
|
Для того чтобы выяснить геометрический смысл интегральной суммы |
|||||||||||||||||
f , изобразим график функции y f (x) на отрезке [a,b] |
(рис. 1). |
|
|
|||||||||||||||
Y |
|
|
f ( n 1) |
C |
|
f ( 1) |
|
|
f ( 0) |
|
|
D |
|
|
A |
B |
X |
0 a x0 x1 x2 |
xn 1 xn b |
|
|
|
|
Рис. 1. |
|
Ясно, что |
– это сумма площадей прямоугольников с основаниями |
|
x0, |
x1, …, xn 1 и высотами |
f ( 0), f ( 1),…, f ( n 1) соответственно |
|
(рис. |
1 сделан |
для случая, когда |
f (x) 0). Очевидно также, что f |
представляет собой приближенное значение площади криволинейной трапеции ABCD (рис. 1), и это приближенное значение тем точнее, чем
«мельче» разбиение отрезка [a,b] |
точками x0,x1,..., xn . При этом площадь k |
|||||||||
-го прямоугольника на рис. 1 равна |
f ( k ) xk . |
|
|
|
|
|||||
Обозначим |
через |
d |
длину наибольшего |
отрезка |
разбиения, |
т.е. |
||||
d max xk . Число d назовем мелкостью разбиения отрезка [a,b]. |
|
|||||||||
0 k n 1 |
|
|
|
|
|
|
|
|
|
|
Определение. |
Число |
I называется пределом |
интегральных |
сумм |
||||||
|
0, |
|
если |
0 |
0, что для любого разбиения |
, у |
||||
которого( , ) приdd |
, |
выполняется |
неравенство |
| |
( , |
) − | < |
при |
|||
произвольном выборе промежуточных точек k .
Функция f (x) называется интегрируемой (по Риману) на отрезке [ , ], если существует конечный предел
lim ( , ) = .
→
При этом число I называется определенным интегралом от функции f (x) по отрезку [a,b] и обозначается символом
b
I f (x)dx.
a
Числа a и b называют нижним и верхним пределами интегрирования, f (x) –
подынтегральной функцией, а x – переменной интегрирования.
Замечание. В отличие от неопределенного интеграла, определенный интеграл представляет собой число, а не функцию.
Если интеграл существует, то это число определяется однозначно и зависит только от вида функции f (x) и от чисел a и b.
Отсюда, в частности, следует, что определенный интеграл не зависит от выбора обозначения для переменной интегрирования:
b b b
f (x)dx f (t)dt f (u)du и т.д.
a a a
Вычисление определенного интеграла в соответствии с приведенным определением связано с трудностями и громоздкими подсчетами. Поэтому чаще используют другие подходы, о которых будет говориться ниже.
Пусть |
функция |
f (x) |
является интегрируемой на |
отрезке |
[a,b] |
функцией. |
В этом |
случае |
будем писать f (x) L[a,b]. |
Здесь |
L[a,b] |
обозначает множество всех интегрируемых на [a,b] функций.
Свойства определенного интеграла
Сначала расширим понятие определенного интеграла. В определении интеграла мы считали, что a b. Распространим это определение на случаи a b и a b, полагая
∫ ( ) = 0 и ∫ ( ) = − ∫ ( )
1) Аддитивность интеграла. Для любых чисел a,b,c имеет место равенство
∫ ( ) = ∫ ( ) +∫ ( ) .
(Предполагается, что интегралы, входящие в эту формулу, существуют.)
Суть доказанного свойства состоит в том, что определенный интеграл по всему отрезку равен сумме интегралов по его частям.
Линейность интеграла. |
Если |
|
|
|
|
|
|
( |
) [ |
, |
], |
|
|
|||||||
любых2) , R функция |
|
|
|
|
|
f (x) |
|
L[a ,b]. |
и |
то для |
||||||||||
|
|
равенство |
) |
|
[ , ] |
|
|
|
|
|
|
|
|
|||||||
При этом справедливо ( |
)+ |
|
|
( |
|
|
|
|
|
|
|
|
|
|||||||
В частности,∫ |
( ) + |
( ) |
|
= |
|
∫ |
) |
( ) |
+ |
∫ |
( ) . |
|
|
|
|
|||||
∫ |
( ) |
= |
∫ |
|
|
( |
|
|
|
(при(при0), |
|
|
|
|||||||
∫ ( ) + ( ) = ∫ ( ) + ∫ ( ) |
|
|
|
= = 1) |
|
|
||||||||||||||
|
[ |
, |
|
) |
||||||||||||||||
для 3)x [a,b], то |
|
|
|
|
Если |
( |
), ( ) |
] и |
( |
) ≤ ( |
||||||||||
Монотонность интеграла. |
|
≤ ∫ |
|
( |
) . |
|
|
|
|
|
|
|
|
|||||||
|
|
∫ |
( |
) |
|
|
|
|
|
|
|
|
|
|
||||||
В частности, если |
( ) ≥ 0, то ∫ |
|
( ) |
|
≥ 0. |
|
|
|
|
|
|
|
|
|||||||
4) Оценки интеграла. Если |
( |
) |
[ |
|
, |
] и [ |
, |
]: |
≤ |
( |
)≤ |
, |
||||||||
то справедливы неравенства |
|
|
|
|||||||||||||||||
|
( − ) ≤ ∫ ( ) |
|
|
≤ ( − ). |
|
|
|
|
|
|
||||||||||
|
Теорема о среднем значении |
|
|
|
|
|
|
|
||||||||||||
Если функция f (x) |
непрерывна на отрезке |
[a, |
b] |
, |
то существует |
|||||||||||||||
число [ , ] такое, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∫( ) = (с)( − ).
Теорема о среднем имеет простой геометрический смысл: существует точка [ , ] такая, что площадь криволинейной трапеции ABCD равна площади прямоугольника ABMK , имеющего высоту f ( ) и основание b a
Y |
|
|
|
C |
|
|
|
|
|
f ( ) |
K |
|
|
M |
|
D |
|
|
|
|
A |
|
|
B |
O |
a |
|
b |
X |
Интеграл с переменным верхним пределом
Сейчас будет получена основная формула интегрального исчисления, которая устанавливает связь между понятиями определенного интеграла и неопределенного, а точнее, первообразной.
До сих пор мы рассматривали определенный интеграл с постоянными пределами интегрирования a и b. Очевидно, что при изменении одного из пределов (например, верхнего) величина интеграла будет изменяться.
Рассмотрим этот вопрос подробнее. Если |
f L[a,b], |
то f (x) |
интегрируема по любой части этого отрезка, |
и поэтому |
x [a,b] |
существует интеграл
x
(x) f (t)dt,
a
называемый интегралом с переменным верхним пределом.
Значение функции (x) раскрывает следующая теорема.
Теорема о дифференцируемости определенного интеграла по переменному пределу. Если функция f (x) непрерывна на отрезке [a, b],
x
то функция (x) f (t)dt дифференцируема в любой внутренней точке x
a
этого отрезка (a x b), причем справедливо равенство |
|
|||||||
( ) |
= |
( ) |
, |
т.е. ( |
∫ ( ) |
|
)′ = |
. |
|
|
|
|
( ) |
||||
Имеет место аналогичное равенство:
(∫ ( ) )′ = − ( )
Доказательство. Зафиксируем любое значение |
x (a,b) и придадим |
||||||
ему приращение |
x 0 столь малое, |
чтобы точка |
x x |
лежала внутри |
|||
отрезка [a,b], |
|
a x x b. Тогда |
|
x x |
|||
т.е. |
(x x) |
f (t)dt. Найдем |
|||||
производную функции (x). Имеем |
|
|
a |
|
|||
|
|
|
|
||||
|
|
|
|
x x |
x |
|
|
(x x) (x) |
|
f (t)dt f (t)dt |
|||||
|
|
|
|
a |
a |
|
|
|
x |
|
x x |
x |
x x |
|
|
|
f (t)dt |
f (t)dt f (t)dt f (t)dt. |
|
||||
|
a |
|
x |
a |
x |
|
|
Теперь к полученному интегралу применим теорему о среднем значении:
x x
f (t)dt f (c) x,
x
где c [x,x x], если x 0 (или c [x x,x], если x 0). Отсюда
f (c).x
Поскольку функция f (x) непрерывна на [a,b] и c x при x 0, то
lim |
f (c) f (x). |
||
x 0 |
|
||
Поэтому |
|
|
|
|
lim f (c) f (x). |
||
|
|||
(x) lim |
x |
||
x 0 |
c x |
||
Теорема доказана. |
|
|
|
Замечание. Таким образом, установлено следующее утверждение: |
|||
Любая непрерывная на отрезке [a,b] |
функция f (x) имеет на этом отрезке |
||
|
|
x |
|
первообразную, а именно, функцию (x) f (t)dt.
a
Поскольку всякая другая первообразная для функции f (x) может отличаться от указанной функции (x) только на постоянную, то получена связь между неопределенным и определенным интегралами в виде:
x
f (x)dx f (t)dt C,
a
где C – произвольная постоянная.
Формула Ньютона-Лейбница
Последняя теорема не только указывает на связь между понятиями неопределенного и определенного интеграла, но и дает практический способ вычисления определенных интегралов в случае, когда подынтегральная функция непрерывна.