Главная » Просмотр файлов » VI Зарубин В.С. и др. Интегральное исчисление функций одного переменного

VI Зарубин В.С. и др. Интегральное исчисление функций одного переменного (1081395), страница 28

Файл №1081395 VI Зарубин В.С. и др. Интегральное исчисление функций одного переменного (Зарубин В.С., Крищенко А.П. - Комплекс учебников из 21 выпуска) 28 страницаVI Зарубин В.С. и др. Интегральное исчисление функций одного переменного (1081395) страница 282018-01-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 28)

Функция и(х) = у(х) — ~(х) на отрезке [а, Ь] отлична От нуля лишь в конечном числе й точек. Поэтому она Ограничена, так как принимает лишь конечное число значений, и непрерывна всюду, за исключением конечного числа точек. действительно, если хО Е (а, 6) и и(хО) = О, то функция и(х) ®епрерывна в точке хО, потому что обращается в нуль в ®итервале (хо — ю,хо+8), где 8 — наименьшее расстояние от 263 Д.б...д. Доказательство теореи 6.19 и 6.20 Дополнение 6.2. Доказательство теорем 6.19 и 6.20 Доказательство теоремы 6.19. Рассмотрим некоторое разбиение Т = (хо — — а, х1, ..., х;, ..., х„= Ц отрезна [а, Ь), на а частиичных отрезков [х; 1, х;) длиной Ьх;.

Положим Ц =у(х;) и т; =у®) в некоторых точках (; Е [х; 1, х;). В силу монотонности функции д(х) имеем у(а)=$о ~ 11 ~ ... ($„=у(6) и Ц 1(т;($;. ~(дфЦуф)ьх; =~ /(т,) уЯьх<ш дж1 дж1 в В = ~ Дт<)(д(х<) — д(х< ~))+~ Дт;)г<= д=1 д=1 в ФЪ = ~Дт;)ы;+ '~ /(т)т<, (6.60) где Ьц=ц — ц1 и х; а = ~(6)Ьхд — Мхах = 7®)~М вЂ” Ю( д)+Ю(хд-1) х; д Используя неравенство (6.41), находим, что х; / (7Ыю) 7(*))"* Ц= хю-1 хю-1 Итак, точки $о, $1, ..., $„(среди которых могут быть одина ковые) образуют разбиение Т' отрезка [у(а), у(6)~.

Иитпегральную сумму для функции ~(у(х))7(х), соответствующую разбиению Т, запишем в виде 6. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ где ы; — колебание функции у(х) на отрезке [х; 1, х;]. Интегрируемая на отрезке [а, ф] функция Я) на основании теоремы 6.1 ограничена на [а,,6], т.е. ~Д$)~ < М 'Й Е [о, ф Поэтому в силу (6.60) получаем, что тВ и в ~(д($))у($)ь*<-) 7(т)ж< < м~ мах<. (661) з=1 и=1 с=1 Ь' = мах(Ц вЂ” Ц 1) = шах (д(х;) — д(х; 1)) < е. 1=1,а ~=1,я Таким образом, если Ь -+ О, то и Ь' -+ О. Функция Д8) интегрируема на отрезке [д(а), д(Ь)] С [а, ~3], Поэтому в силу определения 6.3 предела интегральной суммы и (6.6) л(ь) 1!т ~ Дт;)Ы< — — / ~(Ф)Й.

1ж1 л(©) Так как функция ~(х) интегрируема на отрезке [а, Ь], то согласно следствию 6.1, !1т ~и;Ьз, =О. й-+О . с=1 (6.63) Переходя в (6.61) к пределу при Ь-+О (азначит, и при Ь'-+0) устанавливаем с учетом (6.62) и (6.63), что интегральная сумма для функции ~(д(х))7(х) на отрезке [а, Ь] имеет предел, т е.

Функция д(х), согласно теореме 6.15, непрерывна на отрезке [а, Ь], причем в силу равномерной непрерывности на этом отрезке для произвольного числа е > 0 найдется такое 8 = о(е) > О, что если х, х' е [а, Ь] и )х — х'~ < 8(е), то ~д(х) — д(х') [ < е [1-5.9].

Отсюда следует, что если максимаюьный шаг разбиения Т отрезка [а, Ь] удовлетворяет неравенству Ь < б(е), то максимальный шаг разбиения Т' отрезка [д(а), д(Ь)] удовлетворяет нера- венству Д.6.3. Сваэь интеграюв Нъютонв и Рикана Дополнение 6.3. Свизь интегралов Ньютона и Римана Предположим, что функция ~(х) интегрируема на отрезке ~а, Ц и имеет переообразную, т.е. для нее на этом отрезке существуют и интеграл Римана 1д, и интеграл Ньютона,Ъ. Естествен вопрос: совпадают ли значения этих интегралов? Ответ на него дает следующая теорема.

Теорема 6.21. Если функция Дх) интегрируема на отрезке ~а, 6) и имеет на этом отрезке первообразную Р(х), то интегралы Римана и Ньютона от этой функции по данному отрезку совпадают. 4 Так как функция Дх) имеет на отрезке ~а, Ц первообразную Р(х), интеграл Ньютона можно вычислить по формуле Ньютона — Лейбница. Покажем, что эту формулу можно использовать и для интеграла Римана. Возьмем произвольное разбиение Т отрезка ~а, Ц на ча стичные отрезки ~х; 1, х;], ~ = 1, и. Согласно определению первообразной, функция Г(х) на каждом частичном отрезке удовлетворяет условиям теоремы Лагранжа ~П1.

Поэтому для любого ~=1,п найдется такая точка ~; Е ~х; 1,х;~, чтобудет верно равенство Р(х;) — г (х; 1) = Р'®) Ьх; = Я;) Ьх;, где Ьх;=х; — х; 1, ~ — — 1,п. Следовательно, Левая часть равенства (6.69) представляет собой интегральную сумму функции Дх), соответствующую разбиению Т отрезка [а, 6) и специальным образом подобранным точкам (;. В силу интегрируемости функции ~(х) существует предел указанной суммы при стремлении к нулю максимального ша га разбиения Ь, причем этот предел равен интегралу Римана 6. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ 268 Дх) Их = Е(6) — Р(а), в т.е.

в условиях теоремы интеграл Римана можно вычислять по формуле Ньютона — Лейбница. Это равносильно совпадению интегралов Римана и Ньютона. ~ Замечаиие 6.8. Доказанная теорема фактически утверждает, что интегрируемость функции на отрезке и существование на этом отрезке первообразной достаточны для формулы Ньютона — Лейбница, которая в рамках интеграла Римана была доказана лишь для непрерывной на отрезке функции. Итак, интегралы Ньютона и Римана совпадают, если оба существуют.

Можно, однако, привести примеры, когда существует один из этих интегралов, но не существует другой. Пример 6.18. а. Нетрудно убедиться непосредственной проверкой, что функция х2з1п —, х у~ О; 2х~ ' О, *=О является на отрезке [О, 1] первообразной функции Я' 4Г 3Г 2хз1п —, — -соз — „х;Е О; Дх) 2х~ ю 2х~ ' О, х=О. Следовательно, для функции Дх) по отрезку [О, 1] существу ет интеграл Ньютона, равный, согласно формуле (5.3) Ньюто на — Лейбница, 4ч = з1п(я'/2) = 1.

Но интеграл Римана от этой функции на том же отрезке не существует, так как функция Дх) не ограничена на отрезке [О, 1]. функции У(х) на отрезке [а, Ь]. Так как интегральная сумма на самом деле имеет фиксированное значение Р(Ь) — Г(а), то для интеграла Римана приходим к формуле 269 Д.бА. Обобщение теорем о среднем значении Дополнение 6.4. Обобщение теорем о среднем значении Теорема 6.22. Если функция д(х) непрерывна на отрезке 1» о], а функция Дх) неотрицательна, не возрастает и непреРывно дифференцируема, то существует такая точка с Е 1», о], что 6 с Дх)д(х)»х = Да) (6.70) д(х)»х. б.

Функция Дх) = 281п(1пх) ограничена и непрерывна на отрезке 10, Ц всюду, кроме точки х=О. Согласно теореме 6.8, она интегрируема на 10, Ц и ее интеграл Римана равен 1 1 2в!п()пз) Из = ~лв~п()пи) — хсов~)пж) = -1, о о где под значением первообразной в точке х=О понимается ее предел при х-++О. Однако функция Дх) не имеет первообразной на отрезке ~0, Ц. В самом деле, зта функция имеет первообразную Р(х) = = хв1п(1пх) — хсов(1пх) на любом промежутке (о, Ц. Значит, если Дх) имеет первообразную, тоеюявляетсяфункция Р(х), доопределенная в точке х = 0 значением 0 своего предела при х -++О.

Но доопределенная таким образом функция оказывается недифференцируемой в точке О, так как предел Р(Ьх) — Г(0) 1ип = 1пп (81п(1пЬх) — сов(1пЬх)) = Ье-+о Ьх Ье-+о 7Г = 11п1 ~/2»1п 1пЬх —— ьж-+о 4 не существует. Отметим, что точка х = 0 для функции ~(х) является точкой разрыва второго рода, так что интеграл Ньютона для функции Дх) на отрезке 10, Ц не существует и в обобщенном смысле (см.

5.2). 6. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ 270 ь Х(х)д(х) йх = Ях) йС(х) = Дх)С(х) а ь У'(х)С(х) а = У(Ь)С(Ь)- У (х)С(х) сЕх. (6.73) Так как функция ~(х) не возрастает на отрезке [а, Ь|, то ~'(х) < 0 Чх Е= [а, Ь1. Поэтому с учетом (6.72), замечания 6.6 и неравенства ДЬ) > О, вытекающего из неотрицательности функции Дх) на [а, Ь], можем записать ь ь ~'(х)С(х) йх < МЯЬ) — М ~'(х) ах = У(Ь)С(Ь)— й = МДЬ) — МЯЬ) — Да)) = М~(а), ь ~'(х)С(х) Йх > тДЬ) — т ~'(х) 4х = У(Ь)С(Ь)— а й = т~(Ь) — т(ДЬ) — ~(а)) = т~(а).

~ В силу непрерывности на отрезке [а,Ь1 функция Дх)д(х) интегрируема на этом отрезке. Согласно следствию 6.4, одну из первообразных функции д(х) на отрезке [а, Ь1 можно записать в виде интпеграла с переменным верхним пределом: С(х) = д®й Чх е [а, Ь3. (6.71) 6 Функция С(х) как первообразная, согласно теореме 6.15, непрерывна на отрезке [а, Ц и поэтому в силу второй теоремы Вейерштрасса [1-9.4) достигает на этом отрезке наибольшего М и наименьшего т значений, т.е.

т » «С(х) «М Чх Е [а, Ц. (6.72) Учитывая„что аС(х) =д(х)ах и С(а) =О, и интегрируя левую часть (6.70) по частям, находим ь ь 271 Д.6А. Обобщение теорем о среднем значении Объединяя эти неравенства с (6.73), получаем тра) < ~(х)д(х)ах < М~(а). Если ~(а) =О, то из неотрицательности и невозрастания на [а, 6] функции Дх) следует, что Дх) = 0 Чх Е [а, 6). В этом случае утверждение теоремы верно при любом выборе точки с Е [а, 61. Если же Да) > О, то т < — Ях)д(х) ах < М. 1 ~(а) а (6.74) 1 д(х) ах =— 1(а) О(с) = Дх)д(х) ах. Отсюда следует утверждение теоремы.

$» Таким же путем можно доказать следующую теорему. Теорема 8.23. Если функция д(х) непрерывна на отрезке [а, Ц, а функция ~(х) неотрицательна, не убывает и непреРывно дифференцируема, то существует такая точка с Е [а, Ц, что Ь Ь ~(х)д(х) ах = Д6) д(х) (Ь. 4~ (6.75) Формулы (6.70) и (6.75) называют формулами Бонне по ®Мени французского математика П.О. Бонне (1819-1892).

Непрерывная на отрезке [а, 6~ функция С(х) принимает любое значение, лежащее между ее минимальным ш и максимальным М значениями [1-9.41. Поэтому, сравнивая (6.74) с (6.72), заключаем, что существует такая точка с Е [а, Ц, в которой с учетом (6.71), 6. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ 272 Теорема 6.24. Если функция д(х) непрерывна на отрезке [а, Ь], функция ~(х) монотонна и непрерывно дифференциру ема, то существует такая точка с Е [а, Ь], что Дх)д(х) Ых = Да) д(х) Юх+ ЯЬ) У(х) 4х. (6.76) й(х)д(х) ах = Ь(Ь) д(х) ах, или после подстановки выражения для функции й(х) фх) — ~(аЯд(х) йх = (~(Ь) — 3'(а)) д(х) ах. Отсюда с учетом линейности и аддитпивностпи определенного интегра4а Ях)д(х)ах = ~(а) д(х)ах — ~(а) д(х) ах+ у(х) ахи д(х) Ых = ~(а) д(х) Их+ ДЬ) + У(Ь) что совпадает с утверждением теоремы.

Если же функция ~(х) не возрастает на отрезке [а, Ь1 то функция ю(х) = ~(х) — ДЬ) будет на этом отрезке неотр» цательной, невозрастающей и непрерывно дифференцируемо»' 4 Допустим сначала, что функция Дх) не убывает на от резке [а, Ь]. Тогда функция й(х) = ~(х) — ~(а) будет на этом отрезке неотрицательной, неубывающей и непрерывно диффе ренцируемой. Поэтому, согласно утверждению теоремы 6.23, существует такая точка с б [а, Ь], что 273 Вопросы и эадвчи Поэтому, согласно утверждению теоремы 6.22, существует та- кая точка сЕ [а, Ц, что ш(х)у(х) пх = ю(а) у(х) Их.

Характеристики

Тип файла
DJVU-файл
Размер
5,91 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Зарубин В.С., Крищенко А.П
Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6418
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее