32_PiskunovT1 (523111), страница 62
Текст из файла (страница 62)
С во й ство 5. Если функция 1(х) непрерывна на отрезке [а, Ь], то при любой последовательности разбиений отрезка [а, Ь] на отрезки [х1 „, х;1, не обязательно путем присоединения новых точек деления, если только шах Ах1 — О, нижняя интегральная сумма з' и верхняя интегральная сумма з' стремятся к пределу з, определенному в свойстве 3. Доказательство. Рассмотрим последовательность разбиений последовательности верхних интегральных сумм з„, определенных в свойстве 2. При любых значениях и и т (на основании неравенства (18)) можем написать з„*,<з„.
Переходя к пределу нри и — оо, на основании (15) можем написать з„*< з. Аналогичным способом докажем з < з,',. Итак, з' < з<з'„, или з — з' )О, з* — з)О. (22) Рассмотрим предел разности 1нп (з" — з„*), Так как функция и!ах Ьх 0 ! 1(х) непрерывна на замкнутом отрезке [а, Ь], то (так же как и при доказательстве свойства 3) докажем (см.
равенство (16)), что 1пп (з* — з*) = О. и!ах Ьх -!. 0 Перепишем последнее соотношение так: 1пп [(з* — з) + (з — з„')] = О. паах Ьх "+ 0 На основании (22) каждая из разностей, стоящих в квадратных скобках, неотрицательна. Следовательно, 1пп (з„' — з) = О, 1пп (з — з„') = О, и!ах Ьх ° -!. О ! и!»х Ьх ° -а О 1 (23) и окончательно получаем 1пп з„'=з, 11ш з* = з, и!ах Ьх; -а 0 и!ах Ь»1-а 0 что и требовалось доказать.
Теперь можно доказать и сформулированную выше теорему. Пусть 1(х) непрерывна на отрезке [а, Ь]. Рассмотрим произволь- ОПРВДВЛЕННЫй ИНТЕГРАЛ ~ГЛ. К1 и НУЮ ПОСЛЕДОВатЕЛЬНОСтЬ ИНтЕГРаЛЬНЫХ СУММ З„= ЛЧ5п (($;) ЛХ; та!=! ' кую, что шахЛх; — О, 5; — произвольная точка отрезка 1х; о х). Для данной последовательности разбиений рассмотрим соответствуюпгие последовательности верхних и нижних интегральных сумм з„ и з„.
Для каждого разбиения будут справедливы соотношения (2): з„ с. з„ С з„. Переходя к пределу при так Лх; — О и пользуясь равенствами (23) и теоремой 4 $5 гл. П, получаем 1пп з,=з, где з— !пах Ах. О ! предел, определенный в свойстве 3. Этот предел, как уже говорилось выше, и называется опредеь ленным интегралом ) 1(х)бх. Итал, если 1(х) непрерывна на оти резке (а, Ц, то ь 1пп ~1(К;) Лх;= ) ~(х)а(х.
!пах Ах;-!. П (24) а ь а ~1(х)бх= $1ЯГ11=... = ~)'(г)бг. Замечание 2. При введении понятия определенного интеь грала ~1(х)бх мы предполагали, что а(Ь. В случае Ь<а приа мем по определению ь и ~ 1 (х) Йх = — ~ 1(х) дх. (Еб) а а о а Так, например, ) ххах= — ) ххах. а о Отметим, что среди разрывных функций есть как интегрируемые, 'гак и неинтегрируемые. Замечание 1.
Отметим, что определенный интеграл зависит только от вида функции 1(х) и пределов интегрирования, но не от переменной интегрирования, которую можно обозначить любой буквой. Поэтому, не изменяя величины определенного интеграла, моиг!Ио заменить букву х любой другой буквой; ОпРеделенныЙ интеграл $21 Замечание 3. В случаеа=Ь полагаем по определению, что для любой функции Г(х) имеет место (26) Это естественно и с геометрической точки зрения.
В самом деле, основание криволинейной трапеции имеет длину, равную нулю, следовательно, и площадь этой криволинейной трапеции равна нулю. ь Пример 1. Вычнслнм интеграл )»хг(х (Ь> а). а Р е ш е н н е. Геометрнческн задача эквнвалентна вычислению плошадн !с трапеции, ограниченной линиями у=»х, х=а, у=е (рнс. 215). Функция р=»х, стояшая под знаком интеграла, непрерывна, Следовательно, для вычисления оцределенного интеграла мы вправе, как это было замечено выше, произвести разбиение отрезка [а, Ь] произвольным способом н произвольно выбрать промежуточные точки $». Результат вычнслення определенного интеграла не зависит от способа построения интегральной суммы — лишь бы шаг резоне. ння стремнлся к нулю.
Делам отрезок [а, Ь] на в равных отрезков. Рнс. 2!5. Рнс. 216. Ь вЂ” а Длина Ьх каждого частичного отрезка равна Лх= —; это число н будет шагом разбиения. Точки деления имеют координаты ха=а, хт=а+Ьх, ха= = а-[-2Ьх, ..., х„=а+пах. В качестве точек $» возьмем левые концы каждого отрезка; юг=а, ае=а+Ьх, аа=а+2Лх, ..., 5„=а+(л — 1) Ьх. Составим интегральную сумму (!). Так как 1(а!) =Ць то з„=цг Ьх+»23 Ьх+... +»а„бх= =»аЬх+[»(а+Ьхй Ьх+...+(» [а+(л — !) ЬхЦ ах= =Ь(а+(а+Ьх)+(а+2Ьх)+... + [а+(и — 1) ЬхЦ Ьх= =й(па+[ах+2Ьх+., +(н — !) Ь»ЦЬх= =»(па+[1+2+...
+(а — !Ц Ьх) Ьх, Ь вЂ” а а (а — 1) где Ьх= —, Учитывая, что 1+2+, „+(а — 1)= (как сумма гео- о 2 ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ (ГЛ. Х! метрической прогрессии), получим и(л — 1) Ь вЂ” а1Ь вЂ” а Г л — 1 Ь вЂ” а"х з„=й ~..+ — 1!' — = Ь 













