Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

SalimovRB_matematika_gl_1-20_2011_web

.pdf
Скачиваний:
42
Добавлен:
12.05.2015
Размер:
3.88 Mб
Скачать

ГЛАВА 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

max xi 0,

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

Рис. 111

интеграла предел первой суммы равен 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]