Пусть интервал [а,в], на котором задана функция у = f(х), разбит точками деления х1< х2 < … < хп – 1 на п частичных интервалов D1 = [х0,х1], D2 = [х1,х2], …, Dn = [хп–1,хп], где а =х0 , в = хп, причём в каждом частичном интервале Di выбрана какая–либо точка ai:
хi–1 £ ai £ хi (i = 1, 2, …, п). Пусть, далее, Dхi – длина интервала Di , то есть,
хi – хi–1 = Dхi (i = 1, 2, …, п),
а max Dхi – наибольшее из чисел Dхi.
|
(1) f(a1) Dх1 + f(a2) Dх2 + … + f(a п) Dхп = å f(a i) Dхi,
когда длины Dхi всех частичных интервалов Di стремятся к нулю (при этом с необходимостью число п этих интервалов будет стремиться к бесконечности). Другими словами, требуется найти предел этой суммы при max Dхi ® 0, так как условие, что максимальная из длин частичных интервалов Di стремится к нулю, равносильно условию, что все Dхi ® 0.
Итак, требуется найти
lim å f(хi) Dхi.
Определение. Сумму (1) называют интегральной суммой.
Определение. Функция f(х) называется интегрируемой на интервале [а,в], если существует конечный предел
lim å f(a i) Dхi, (2)
не зависящий от того, каким образом интервал [а,в] делится на частичные интервалы и каким образом выбираются точки a i на этих частичных интервалах, лишь бы длина максимального из них стремилась к нулю. Этот предел называется определённым интегралом от функции f(х) на интервале [а,в] и обозначается символом
f(х)dх = lim å f(a i) Dхi.
Для того чтобы не оставалось неясностей, сформулируем точно, как следует понимать предел (2).
|
|å f(a i)Dхi – J |< e
при любом выборе частных интервалов, D1, D2, …, Dп и точек a1, a2, …, a п на этих интервалах, лишь бы только выполнялось требование max Dхi ® 0, то есть лишь бы длина наибольшего (а значит, и всех) из частичных интервалов была меньше d.
Из определения определённого интеграла отнюдь не следует, что любая функция интегрируема на любом интервале. Можно подобрать такие функции, для которых определённый интеграл не существует, то есть для которых интегральная сумма не стремится к определённому пределу. Существование определённого интеграла от функции, заданной на интервале [а,в], обеспечивает непрерывность этой функции на [а,в], поэтому непрерывность функции на [а,в] является достаточным условием её интегрируемости на этом интервале, то есть
Теорема 1. Если функция f(х) непрерывна на замкнутом интервале [а,в], то она интегрируема на этом интервале, то есть имеет определённый интеграл
f(х)dх.
Иногда на практике приходится интегрировать и разрывные функции. Приведём несколько более широкое достаточное условие существования интеграла.
Теорема 2. Если на интервале [а,в] функция ограничена и имеет лишь конечное число точек разрыва, то она интегрируема на [а,в].
Дата: 2019-12-22, просмотров: 246.