SalimovRB_matematika_gl_1-20_2011_web
.pdfГЛАВА 12. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
§ 1. Площадь криволинейной трапеции
Пусть на плоскости Oxy задана кривая AB уравнением y f x , a x b, где a и b
– соответственно абсциссы точек A и B. Будем считать, что в указанном интервале всюду f x 0. Это значит, что кривая AB
лежит выше оси Ox (приведённые далее |
|
|
рассуждения справедливы и для случая, ко- |
|
|
гда f x 0 ). |
Рис. 109 |
|
Рассмотрим фигуру, ограниченную свер- |
||
|
ху кривой AB и снизу отрезком a, b оси Ox, а с боков – отрезками aA и bB, параллельными оси Oy (см. рис. 109) Эту фигуру назовем криволинейной трапецией и её площадь обозначим SaABb.
Будем искать площадь криволинейной трапеции. Разобьём интервал a, b на n частей точками x1, x2 , ... , xn 1 так, что каждая следующая точка лежит пра-
вее предыдущей, пусть при этом a x0 , b xn . |
Здесь мы получим n |
интерва- |
||||||
лов, |
которые |
будем |
называть частичными |
интервалами: |
x0 , x1 , |
|||
x1, |
x2 , ... , |
xn 1, xn . Длины |
каждого из |
этих |
интервалов обозначим |
|||
x1 x1 x0 ; |
x2 |
x2 x1; ... |
xn |
xn xn 1. В указанных интервалах возьмём соот- |
ветственно произвольные точки 1, 2 , ... , n (которые могут совпадать также с
концами интервалов). Найдём f |
1 , f 2 , ... , f n – ординаты точек кривой |
y f x с абсциссами 1, 2 , ... , n . |
На первом, втором, …, n -м частичных ин- |
тервалах, как на основаниях, построим прямоугольники, высоты которых равны соответственно f 1 , f 2 , , f n . Площадь полученной фигуры, со-
ставленной из этих n прямоугольников, обозначим Sn . Она будет равна сумме площадей прямоугольников, из которых эта фигура составлена:
Sn f 1 x1 f 2 x2 ... f n xn . |
(1) |
Коротко сумму (1) будем записывать с помощью символа суммирования следующим образом:
211
5354.ru
n |
i xi . |
|
Sn f |
(2) |
|
i 1 |
|
|
Чтобы вместо (2) иметь (1), нужно вместо индекса i поочередно подставить |
значения 1, 2, ... , n и полученные произведения сложить. Ясно, что площадь Sn зависит от способа разбиения интервала a,b , так как точки разбиения x1, x2 , ... , xn 1 влияют на длины оснований прямоугольников. Кроме того, площадь Sn зависит от выбора точек
1, 2 , ... , n , |
так как их выбор влияет на высоты f i прямоугольников. |
Пусть max xi |
есть наибольшая из длин частичных интервалов, на которые мы |
разбили интервал [a,b]. Число делений n устремим к бесконечности так, чтобы max xi стремился к нулю. При этом все частичные интервалы стягиваются в точки, а ступенчатая фигура с площадью Sn приближается по форме к криволинейной трапеции. Таким образом, естественно за площадь криволинейной трапеции SaABb принять величину
|
n |
|
SaABb lim |
f ( i ) xi . |
(3) |
n |
i 1 |
|
max x 0 |
|
|
i |
|
|
При этом будем считать, что предел правой части не зависит ни от способа разбиения [a,b] на частичные интервалы, ни от выбора точек 1, 2 , ... , n .
§ 2. Определение и геометрический смысл определённого интеграла
Пусть в интервале a, b a b задана функция f x , которая, в отличие от предыдущей (§1), может принимать в этом интервале как положительные, так и отрицательные и нулевые значения. Интервал a, b разобьём на n частей точками x0 a, x1, x2 , ... , xn 1, xn b. Каждая последующая точка лежит правее предыдущей. Длины n частичных интервалов соответственно равныx1 x1 x0 ; x2 x2 x1; ... ; xn xn xn 1. Внутри первого, второго, … , n -го частичных интервалов возьмём произвольные точки 1, 2 , ... , n (они могут совпасть и с концами самих интервалов). В этих точках вычислим значения заданной функции f x и образуем сумму
212
5354.ru
Sn f 1 x1 f 2 x2 ... f n xn |
n |
|
f i xi , (4) |
||
|
i 1 |
|
которая называется интегральной суммой для функции f |
x |
на интервале |
a, b , где функция задана. |
|
|
Если при n и max xi 0 интегральная сумма (4) |
имеет конечный |
|
предел, не зависящий ни от способа разбиения интервала a, b |
на частичные |
интервалы, ни от выбора точек 1, 2 , ... , n , то этот предел называют опреде-
лённым интегралом от функции f |
x по |
интервалу |
a, b |
и обозначают |
|||
b |
f x dx. Итак, по определению |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
b |
f x dx |
lim |
n |
f |
x . |
(5) |
|
|
|
n |
|
i |
i |
|
|
a |
|
max x 0 |
i 1 |
|
|
|
|
|
|
i |
|
|
|
|
В этом случае говорят, что функция |
f x интегрируема в интервале a, b . |
Числа a, b называют соответственно нижним и верхним пределами интеграла, f x – подинтегральной функцией, dx – дифференциалом переменной x, x – переменной интегрирования, a, b – интервалом интегрирования.
Теорема 1. Если функция f x непрерывна в a, b , то она в этом интервале интегрируема.
Иначе говоря, для этой функции существует конечный предел интегральной суммы, составленной для неё по интервалу a, b . Этот предел не зависит
ни от способа разбиения a, b , ни от выбора точек 1, 2 , ... , n .
Теорема принимается без доказательства.
Геометрический смысл определенного интеграла заключается в следующем. Если f x 0 всюду в a, b , то правая часть формулы (5), согласно (3),
b
равна площади криволинейной трапеции, следовательно, f (x)dx SaABb. Эта
a
трапеция ограничена снизу интервалом a, b , сверху – кривой AB с уравнением y f x , где f x – подинтегральная функция, с боков – отрезками aA и
bB.
В правую часть формулы (5) не входит переменная интегрирования x. Это означает, что определённый интеграл представляет собой число и не зависит от обозначения переменной интегрирования. Буква может быть любой, например, x или t , при этом
213
5354.ru
b |
b |
f x dx f t dt. |
|
a |
a |
До сих пор мы считали, что a b , и понятие определённого интеграла было дано для случая, когда верхний предел больше нижнего. Если же верхний предел будет меньше нижнего b a , то по определению примем
b f x dx a f x dx.
a |
b |
Из этой формулы видно, что при перестановке пределов определённый интеграл изменяет свой знак на противоположный.
Если a b, |
то по определению aa |
f (x)dx 0. |
|
|
||||
Наконец, отметим, что при f x 1 всюду в a, b будем иметь |
|
|||||||
|
|
|
|
|
|
b dx b a. |
(6) |
|
|
|
|
|
|
|
a |
|
|
В самом деле, в этом случае (5) даёт |
|
|
|
|||||
|
b |
f x dx |
lim |
n |
x |
lim |
b a b a. |
|
|
|
|
|
|||||
|
|
n |
i |
n |
|
|
||
|
a |
|
max x 0 |
i 1 |
|
max x 0 |
|
|
|
|
|
i |
|
|
i |
|
|
Здесь мы учли, что сумма длин всех частичных интервалов равна b a – длине интервала a, b , и предел постоянной есть сама эта постоянная.
§ 3. Свойства определённого интеграла
При доказательстве свойств определённых интегралов пределы берутся при n и далее эти условия указываться не будут.
Постоянный множитель можно вынести за знак определённого интеграла, т. е. если A const, то ab Af (x)dx A ab f (x)dx.
Определённый интеграл от алгебраической суммы конечного числа функций равен алгебраической сумме определённых интегралов от слагаемых функций. Например, для суммы из двух слагаемых
b |
b |
b |
(7) |
[ f (x) (x)]dx f (x)dx (x)dx. |
|||
a |
a |
a |
|
214
5354.ru
Докажем это свойство (предыдущее доказывается аналогично). Заменив в
формуле (5) |
f |
|
x |
на сумму |
f (x) |
|
(x) получим |
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|||
|
|
|
|
b f |
x x dx lim n f |
|
|
x . |
|
|||||
|
|
|
|
|
|
|
|
|
i |
i |
|
|
i |
|
|
|
|
|
a |
|
|
|
i 1 |
|
|
|
|
|
|
В правой части соберём отдельно члены, содержащие |
f , и отдельно члены, |
|||||||||||||
содержащие : |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
b |
f |
x x dx |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
lim f 1 x1 |
1 x1 |
... f n xn n xn |
lim |
|
n |
n |
|
|||||||
|
f i xi i xi . |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
i 1 |
i 1 |
|
Предел в правой части последней формулы, согласно теории пределов, равен
сумме пределов первой и второй |
сумм. |
Но предел первой |
суммы равен |
||
b |
b |
|
|
|
|
f (x)dx, а предел второй равен (x)dx. Таким образом, свойство доказано. |
|||||
a |
a |
|
|
|
|
|
Если f x x всюду в a, b |
( a b ), то |
|
||
|
|
b |
f |
x dx b x dx. |
(8) |
|
|
a |
|
a |
|
Доказательство. Согласно условию имеем, что f x x 0 всюду в ин-
тервале a, b . Запишем определённый интеграл от разности |
f x x со- |
|||||||
гласно (5): |
|
|
|
|
|
|
|
|
b f x x dx lim |
n |
f |
|
|
x . |
|
||
|
|
|
i |
i |
|
i |
|
|
a |
|
i 1 |
|
|
|
|
|
|
Так как все длины xi 0 |
и все разности |
f |
i i 0 , значит, интегральная |
сумма под знаком предела будет неотрицательной. Как известно из теории пределов, если функция неотрицательная, то и её предел обязательно будет
неотрицательным. Итак, ab [ f (x) (x)]dx 0. Согласно предыдущему свойству интеграл от разности равен разности интегралов, поэтому
ab f (x)dx ab (x)dx 0. Отсюда получаем (8). |
|
Если M и m суть наибольшее и наименьшее значения функции |
f x в |
интервале a, b ( a b ), то |
|
215
5354.ru
m b a b |
f x dx M b a . |
(9) |
a |
|
|
Доказательство. Так как m есть наименьшее значение функции в интервале a, b , то f x m всюду в a, b . Следуя предыдущему свойству, имеем
ab f (x)dx ab mdx. Согласно первому свойству постоянный множитель m в правой части вынесем за знак определённого интеграла, а оставшийся инте-
грал |
ab dx b a, |
и |
получим |
ab f (x)dx m(b a). |
Аналогично |
M (b a) ab f (x)dx. |
Объединив последнее соотношение с предыдущим, при- |
||||
дем к (9). |
|
|
|
|
|
Следующее свойство запишем в виде теоремы. |
|
||||
Теорема 2 (о среднем значении). Если функция f x непрерывна в a, b , |
a b, то в этом интервале найдётся по крайней мере одно значение a b, для которого справедлива формула
b |
|
|
|
|
|
|
|
|
|
(10) |
|
f |
|
b a |
. |
||||||
|
|
x dx f |
|
|
|
|
|
a
Доказательство. Пусть M и m – соответственно наибольшее и наименьшее значения функции f x в интервале a, b , тогда для рассматриваемой функции справедливо соотношение (9). Умножим все части этого соотношения на положительное число 1 b a (при этом знаки неравенств сохранятся)
и получим |
|
|
b |
|
|
|
Обозначив |
|
|
|
|
|
m (b |
a) 1 |
|
f |
|
|
|
|
|
||||
|
|
|
x dx M. |
|
|
|
|
|
|
|||
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
(11) |
|
|
|
|
|
|
|
(b a) 1 |
|
f |
|||
|
|
|
|
|
|
|
|
|
x dx , |
|
||
|
|
|
|
|
|
|
|
a |
|
|
|
|
имеем m M . |
Так как функция f x непрерывна в замкнутом интервале |
a, b , то в этом интервале найдётся по крайней мере одна точка , a b, в которой функция f x принимает значение , т. е. f . Подставим в правую часть (11) f , полученное при этом соотношение умножим наb a . Тогда придём к формуле (10).
Это свойство важно в теоретических исследованиях, но для вычисления определённого интеграла формула (10) не может быть использована, так как
216
5354.ru
значение в правой части этой формулы не из- |
|
вестно (как и в формулах Коши и Лагранжа). |
|
Известно лишь, что такая точка существует. |
|
Два последних свойства имеют простое |
|
геометрическое |
истолкование в случае, когда |
f x 0 в a, b . |
Пусть кривая с уравнением |
y f x имеет вид, указанный на рис. 110. |
Рис. 110 |
Из геометрического смысла интеграла следует, что площадь криволиней-
|
|
|
b |
|
|
|
|
|
|
|
|
|
ной трапеции SaABb f x dx, |
а площади показанных на рис. 110 прямоуголь- |
|||||||||||
|
|
|
a |
|
|
|
|
|
|
|
|
|
ников |
SaA B b m b a |
, SaA B b M b a , SaA B b f b a . Из coотношений (9) и |
||||||||||
|
1 |
1 |
2 |
2 |
|
|
|
3 |
3 |
|
|
|
(10) следует, что SaA B b SaABb SaA B b , SaABb SaA B b . |
|
|||||||||||
|
|
1 |
1 |
|
|
2 |
2 |
|
3 |
3 |
|
|
|
Для любых чисел a, b, c справедливо равенство |
|
||||||||||
|
|
|
|
b |
f x dx c |
f x dx b |
f x dx. |
|
||||
|
|
|
|
a |
|
|
a |
|
|
c |
|
|
Здесь предполагается, что функция |
f (x) |
определена и непрерывна в каждом |
||||||||||
из трех интервалов, |
концами которых являются числа a,b,c , поэтому все три |
|||||||||||
интеграла существуют. |
|
|
|
|
|
|
|
|
|
|||
Доказательство. Будем различать два случая: 1. |
a c b; 2. c лежит вне |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
b |
n |
интервале [a,b]. По определению интеграла |
|
f x dx lim f i xi . Мы зна- |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
a |
i 1 |
ем, что предел правой части последней формулы не зависит от способа разбиения интервала a, b . Используя это свойство, при a c b разбиение интервала будем проводить так, чтобы c всегда была точкой деления. Иначе говоря, будем делить отдельно интервал a, c и отдельно c, b . Далее в указанной интегральной сумме соберём отдельно слагаемые, относящиеся к интервалу
a, c , и |
отдельно |
слагаемые, относящиеся к |
c, b . В результате получим |
||
b |
|
|
|
|
|
f x dx |
|
Здесь |
в правой части под знаком |
||
lim |
ac f i xi cb f i xi . |
||||
a |
|
|
|
|
|
предела первая сумма содержит слагаемые, относящиеся к a, c , а вторая сумма – слагаемые, относящиеся к c, b . Предел правой части равен сумме пределов первой и второй сумм. Но согласно определению определённого
217
5354.ru
интеграла предел первой суммы равен ac f (x)dx, а предел второй суммы равен
cb f (x)dx. Таким образом, получили нужное нам соотношение.
Теперь рассмотрим второй случай.. Пусть точка c лежит вне интервалаa, b , например, правее точки b, т. е. a b c. Тогда по доказанному выше
имеем ac f (x)dx ab f (x)dx bc f (x)dx. Во втором интеграле правой части пере-
ставим местами пределы интегрирования. При этом знак интеграла изменится на противоположный, и получим
c |
f x dx b |
f x dx b |
f x dx. |
a |
a |
c |
|
Перенесем второй интеграл правой части влево и выведем требуемое соотношение.
§ 4. Производная от определённого интеграла по верхнему переменному пределу. Формула Ньютона – Лейбница
Возьмём интеграл ab f (x)dx. Зафиксируем его нижний предел a . Верхний
же предел будем считать величиной переменной. В этом случае рассматриваемый интеграл изменяется с изменением b и является функцией от верхнего
предела b. Обозначим эту функцию (b) ab f ( x)dx. Поясним сказанное геометрически.
Согласно геометрическому смыслу определённого интеграла, |
когда |
||
f x 0 всюду в a, b , |
указанный интеграл (b) равен площади SaABb |
криво- |
|
линейной трапеции, |
основанием которой служит интервал |
a, b . (см. |
|
рис. 111). Из рис. 111 видно, что с изменением b площадь SaABb |
изменится, |
следовательно, изменится рассматриваемый интеграл, значит, он является функцией своего верхнего переменного предела.
Обозначим теперь переменный предел b через x. Получим (x) ax f (x)dx. Здесь под знаком
интеграла стоит переменная интегрирования x. Чтобы её не путать с верхним переменным пределом x, переменную интегрирования обозначим
218
5354.ru
буквой t. Таким образом,
|
|
x x |
f t dt. |
|
(12) |
|
|
a |
|
|
|
Для этой функции справедлива следующая |
|
|
|
||
Теорема 3. |
Если |
f x – непрерывная функция и |
x x |
f t dt, то |
|
|
|
|
|
a |
|
|
x |
|
|
|
|
x f x или |
a f (t)dt x f x . Иначе говоря, производная от определённо- |
||||
го интеграла по верхнему переменному пределу x равна подинтегральной |
|||||
функции, взятой при значении аргумента, равном x . |
|
|
|
||
Доказательство. В выражении для x вместо x возьмем |
x x , тогда |
||||
получим (x x) ax x f (t)dt, считая для определённости |
x 0. |
|
Теперь ин- |
тервал интегрирования разделим точкой x на два и запишем интеграл в по-
следней формуле в виде (x x) ax f (t)dt xx x |
f (t)dt. Первый |
интеграл в |
|
правой части есть x согласно (12), поэтому |
|
|
|
x x x |
x x |
f t dt. |
|
|
(13) |
x
Интеграл в правой части этой формулы запишем, согласно теореме 2 параграфа 3 настоящей главы следующим образом:
x x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f t dt f x x x , |
|
x x x. |
|
|
|
|
||||||||||||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поделив на |
|
x, по- |
|
Теперь формула (13) примет вид |
|
x x |
|
x |
f |
|
x. |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||
лучим [ (x x) (x)]/ x f ( ). |
Перейдём здесь к пределу при |
x 0, |
тогда |
|||||||||||||||
x x x, x, и получим lim[( x x x ) / x] lim f . |
Заметим, что |
|||||||||||||||||
x 0 |
|
|
|
|
|
|
|
|
|
|
x . |
x |
|
|
|
|
||
левая часть этой формулы равна производной |
По условию теоремы |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f t – непрерывная функция, значит, |
lim f |
f x . Итак, x f x . Тео- |
||||||||||||||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рема доказана. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Мы показали, что если подинтегральная функция |
|
f t в формуле (12) яв- |
ляется непрерывной, то производная от интеграла в этой формуле по переменному верхнему пределу x есть f x . Это означает, что указанный инте-
грал, равный x , является первообразной (неопределённым интегралом)
219
5354.ru
для функции f x . Таким образом, попутно мы доказали, что для любой непрерывной функции f x существует её первообразная. Эту первообразную
всегда можно записать по формуле (12), т. е. в виде определённого интеграла с переменным верхним пределом, хотя эту первообразную не всегда можно выразить через элементарные функции.
Теорема 4. Если F x – первообразная для непрерывной функции |
f x в |
||
интервале a, b , т. е. F x f x |
для всех x из a, b , то справедлива форму- |
||
ла Ньютона – Лейбница |
|
|
|
|
b |
f x dx F b F a . |
(14) |
|
a |
|
|
Доказательство. По условию F x |
– первообразная для функции |
f x в |
интервале a, b , но, как мы видели, функция (12) также является первообразной для функции f x . Согласно теореме 1 параграфа 1 главы 11 две перво-
образные одной и той же функции могут отличаться лишь на постоянное слагаемое, следовательно, для всех x из a, b
x |
f t dt F x C, |
(15) |
a |
|
|
где C const. Эта формула справедлива для всех x из a, b , значит, и для x a, следовательно, aa f (t)dt F (a) c. Левая часть последней формулы равна нулю, поэтому 0 F a c и c F a . Подставим это выражение в формулу (15):ax f (t)dt F (x) F (a). Эта формула справедлива для всех x из a, b , а потому и для x b, следовательно, ab f (t)dt F (b) F (a). Так как переменная интегриро-
вания может быть обозначена любой буквой, заменим t на x. Теорема доказана.
Правую часть формулы (14) коротко записывают так: F x ba F b F a ,
отсюда ab f (x)dx F x ba F b F a .
Формула (14) показывает, что вычисление определённого интеграла приводится к нахождению первообразной F x для подинтегральной функции
f x , т. е. к вычислению неопределённого интеграла. Например,
01 x2dx x3 / 310 1/ 3 0 1/ 3.
220
5354.ru