Переходя к пределу в каждой интегральной сумме I и In , имеем
I lim In lim |
b a b a и I lim In lim0 0. |
||
n |
n |
n |
n |
Получили, что значение предела интегральной суммы I nlim In
n
lim f ci xi зависит от выбора точек ci xi 1,xi a,b , следова-
n i 10
b
тельно не существует nlim In , а значит и не существует f x dx для
a
функции Дирихле f x .
Утверждение. Неограниченная на отрезке a,b функция y f x
не интегрируема на этом отрезке.
Доказательство. Пусть T – такое разбиение отрезка a,b , в кото-
ром на |
|
|
a,b |
j 1,2, ,n |
|
функция |
некотором интервале x j 1 |
,x j |
|
||||
y f x |
|
|
|
|
|
, в кото- |
не ограничена, то есть существует точка c j x j 1,x j |
||||||
рой функция y f x имеет разрыв II |
рода (бесконечный), |
а именно |
|
lim f x . Поэтому для любого сколь угодно большого числа A>0 |
|||||||||||
|
x c j |
|
|
|
|
|
|
|
|
|
||
найдется такое число |
d=d(А)>0, |
зависящее от |
A , |
что для |
всех |
|||||||
|
x Î[xi-1,xi ], удовлетворяющих |
неравенству |
|
x -ci |
|
˂ |
δ, следует, |
что |
||||
|
|
|||||||||||
|
f (x) |
|
> A . |
|
|
f (c j )Dx j в интегральной сумме |
||||||
|
|
|
|
|||||||||
|
|
|
Отсюда следует, что слагаемое |
|||||||||
|
|
|
n |
x1 f |
c2 x2 f c j |
x j f cn xn |
||||||
|
In f ci xi f c1 |
i 1
разбиения T может быть сколь угодно большим по абсолютной величине за счет выбора точки c j Îéêëx j-1,x j ùúû . Поэтому не существует конеч-
b
ного предела функция y = f (x), а значит и интеграла f x dx .
a
11
1.2. Геометрический смысл определенного интеграла
Пусть на отрезке a,b задана непрерывная неотрицательная функция y f x .
Геометрический смысл определенного интеграла от неотрицатель-
ной функции состоит в том, что определенный интеграл численно равен площади криволинейной трапеции. Покажем это.
Разобьем отрезок a,b на n частей с помощью точек
x0 a,x1,x2. ,xn b .
Функция y f x достигает своего наибольшего и наименьшего
значения на каждом отрезке x0,x1 , x1,x2 , , xi 1,xi , , xn 1,xn . Пусть M1,M2, ,Mi , ,Mn – наибольшие значения функции на каж-
дом отрезке x0,x1 , x1,x2 , , xi 1,xi , , xn 1,xn соответственно. По-
строим сумму S Sn M1 x1 M2 x2 Mi xi M n xn (см. рис. 1.3), которая называется верхней суммой функции y f x для полученного
разбиения отрезка a,b . Верхняя сумма Sn равна площади, заштрихо-
ванной части на рис. 1.3 ступенчатой фигуры, которая содержит криволинейную трапецию.
Множество Sn верхних сумм заданной функции y f x для всевозможных разбиений отрезка a,b является ограниченным снизу.
Пусть m1,m2, ,mi , ,mn – наименьшие значения функции на каж-
дом отрезке x0,x1 , x1,x2 , , xi 1,xi , , xn 1,xn соответственно. Построим сумму s sn m1 x1 m2 x2 mi xi mn xn (см. рис. 1.4),
которая называется нижней суммой функции y f x для полученного разбиения отрезка a,b .
Рис. 1.3. Разбиение криволинейной трапеции для построения верхней суммы Sn
12
Нижняя сумма sn равна площади, заштрихованной части на рис. 1.4 ступенчатой фигуры, которая содержится в криволинейной трапеции.
Рис. 1.4. Разбиение для построения нижней суммы sn
Следовательно, множество sn нижних сумм заданной функции
y f x для всевозможных разбиений отрезка a,b является ограни-
ченным сверху.
Верхняя и нижняя сумма зависят от n – числа разбиений отрезкаa,b . Верхняя Sn и нижняя sn суммыобладаютследующими свойствами.
Для верхней Sn , нижней sn и интегральной In сумм справедливо неравенство sn In Sn .
Для функции y f x на любом отрезке xi 1,xi выполняются не-
равенство mi f ci Mi для произвольно выбранных тачек ci |
и нера- |
||
венствоmi |
xi f ci xi Mi xi |
для всех xi 0, i 1,2, ,n . |
|
Свойство 1. Для любого фиксированного разбиения T и для любо- |
|||
го числа |
0 промежуточные |
точки ci на отрезках |
xi 1,xi |
i 1,2, ,n можно выбрать так, что интегральная сумма будет удовле-
творять неравенствам 0 Sn In и 0 In sn i 1,2, ,n . Доказательство. Пусть T – фиксированное разбиение отрезка
a,b . Для функции y f x на любом отрезке xi 1,xi выполняются неравенство mi f ci Mi для произвольно выбранных тачек ci , гдеMi и mi – наибольшее и наименьшее значения функции y f x на отрезкеxi 1,xi . Для любого числа 0 промежуточные точки ci на отрезкахxi 1,xi i 1,2, ,n можно выбрать так, чтобы имело место неравен-
ство 0 Mi f ci b a .
13
Умножим каждое из этих неравенств на длину соответствующего отрезка и сложим полученные произведения, получим
|
n |
n |
|
|
n |
||
0 Mi xi f ci xi |
|
|
xi . |
||||
|
|
||||||
|
i 1 |
i 1 |
b a i 1 |
||||
n |
дает длину отрезка a,b , |
|
n |
||||
Сумма xi |
сумма Mi xi пред- |
||||||
i 1 |
|
|
|
|
|
|
i 1 |
|
|
|
|
|
n |
|
|
ставляет собой верхнюю сумму |
|
, а сумма |
f ci xi – интеграль- |
||||
Sn |
i 1
ную сумму In . Получили одно из требуемых неравенств: 0 Sn In . Аналогично, для заданного числа 0 промежуточные точки ci на отрезках xi 1,xi i 1,2, ,n можно выбрать так, чтобы имело место
неравенство 0 f ci mi b a . Умножим каждое из этих неравенств на длину соответственного отрезка и, складывая полученные произведе-
n |
n |
|
|
|
n |
ния, получаем 0 f ci xi mi xi |
|
|
|
xi . |
|
|
|
||||
i 1 |
i 1 |
|
b a i 1 |
||
n |
|
|
|
|
n |
Сумма xi дает длину отрезка a,b |
, сумма mi xi представ- |
||||
i 1 |
|
|
|
|
i 1 |
|
|
|
n |
|
|
ляет собой нижнюю сумму |
sn , а сумма |
f ci xi – интегральную |
i 1
сумму In .
Получили одно из требуемых неравенств: 0 In sn , что и требо-
валось.
Свойство 2. Если разбиение T отрезка получено путем добавления
новых точек к точкам разбиения T этого отрезка, то верхняя сумма Sk
разбиения T не больше верхней суммы |
|
|
разбиения T , а именно: |
||||||||
|
Sn |
||||||||||
|
|
|
|
; нижняя сумма sk разбиения T |
|
|
|
||||
|
Sk |
|
не меньше нижней суммы sn |
||||||||
|
Sn |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
разбиения T , а именно: sk sn .
Другими словами: при увеличении числа отрезков, на которые разбивается заданный отрезок a,b путем добавления новых точек деления,
нижняя сумма sn может только возрастать, а верхняя сумма Sn – только убывать.
14
Доказательство. Разбиение T может быть получено из разбиения T путем последовательного добавления к разбиению T новых точек, поэтому сформулированное свойство достаточно доказать для случая, когда к разбиению T добавляется одна точка (см. рис. 1.5). Пусть эта точка x xi 1,xi разбиения T отрезка a,b .
|
|
|
|
Рис. 1.5. Добавление точки к разбиению T |
|
|
|
|
|||||||
|
Добавление точки |
x xi 1,xi дает новое разбиение |
T отрезка |
||||||||||||
a,b . |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Обозначим Mi и Mi наибольшие значения функции |
y f x на |
|||||||||||||
отрезках xi 1,x |
и x ,xi соответственно, через xi , |
xi и xi – длины |
|||||||||||||
отрезков xi 1,x , x ,xi |
и xi 1,xi |
соответственно. |
Отметим, что |
||||||||||||
xi |
xi xi . |
Верхняя |
|
сумма разбиения |
T |
|
– |
это |
|
|
M1 x1 |
||||
|
|
|
Sn |
||||||||||||
M2 x2 Mi xi Mn xn , а верхняя сумма разбиения T – это |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mn xn , |
||||||||||
|
|
Sn 1 M1 x1 Mi 1 xi 1 Mi xi Mi xi |
|||||||||||||
где |
M1,M2, ,Mi , ,Mn |
– |
наибольшие значения функции |
y f x на |
отрезках x0,x1 , x1,x2 , , xi 1,xi , , xn 1,xn .
|
Кроме того, |
отметим, что на отрезке xi 1,xi выполняются нера- |
венства Mi Mi |
и Mi M , потому что наибольшие значения Mi и |
|
Mi |
функции y |
f x на отрезках xi 1,x и x ,xi , которые являются |
частями отрезка xi 1,xi и не превосходят наибольшего значения Mi функции y f x на всем отрезке xi 1,xi . Так как Sn (верхняя сумма
разбиения T ) и |
|
(верхняя сумма разбиения T ) различаются только |
||||||||||||
Sn 1 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
слагаемыми |
Mi xi |
|
и |
, то разность |
|
|
|
|||||||
|
Mi xi |
Mi xi |
Sn Sn 1 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mi xi Mi xi Mi xi . |
|
|
|
|
|
|
|
|
|
|
Заменяем xi xi xi и группируем, вынося общий множитель,
получаем Sn Sn 1 Mi Mi xi Mi Mi x 0.
15
Тогда Sn Sn 1 0 или Sn 1 Sn , то есть при добавлении новых точек деления на отрезке a,b верхняя сумма Sn – убывает. Доказательство того, что при добавлении новых точек деления на отрезке a,b нижняя сумма sn возрастает, проводится аналогично.
Свойство 3. Пусть T и T – любые два разбиения отрезка a,b . Тогда нижняя сумма одного из этих разбиений не превосходит верхнюю
сумму другого разбиения. Именно, если s , S и s , S – нижние и верхние суммы разбиений T и T соответственно, то выполняются неравен-
ства |
s |
|
и s |
|
. |
|
||||
S |
S |
|
||||||||
|
|
|
Доказательство. Ранее было |
установлено, что для верхней |
||||||
|
|
, |
нижней sn и интегральной In |
сумм справедливо неравенство |
||||||
|
Sn |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
sn In Sn . Отсюда делаем вывод, что нижняя сумма заданного разбие-
ния не превосходит верхнюю сумму этого же разбиения, а именно,
sn Sn .
Пусть T – разбиение отрезка a,b , полученное объединением раз-
биений T и T , причем общие точки разбиений T и T учитываются один раз. Разбиение T может быть получено из разбиения T путем до-
бавления к нему точек разбиения T . Обозначим S и s – верхнюю и нижнюю суммы разбиения T соответственно.
Учитывая свойство 2 и то, что если s и S – соответственно ниж-
ние и верхние суммы разбиения T , получаем s s S S .
Но разбиение T можно рассматривать, как разбиение T путем добавления к нему точек разбиения T , тогда по свойству 2, учитывая
что s и S – соответственно нижние и верхние суммы разбиения T , имеем s s S S .
Сравнивая последние два неравенства, получаем s s S S и s s S S .Следовательно, s S и s S ,чтоитребовалосьдоказать.
Свойство 4. Множество S верхних сумм данной функции y f x для всевозможных разбиений отрезка a,b ограничено снизу, а множество s нижних сумм ограничено сверху.
16
Доказательство. Из свойства 3 следует, что S s и S s , то есть любая верхняя сумма заданной функции y f x не меньше неко-
торой фиксированной нижней суммы. Следовательно, множество S верхних сумм ограничено снизу.
Аналогично, из свойства 3 следует: s S и s S , то есть любая
нижняя сумма заданной функции y f x не превосходит некоторой фиксированной верхней суммы. Следовательно, множество s нижних сумм ограничено сверху.
Свойство 5. Множество нижних сумм sn |
и множество верхних |
|||||||
сумм |
|
|
|
|
|
|||
|
для функции y f x при неограниченном увеличении числа |
|||||||
Sn |
||||||||
отрезков |
|
|
путем добавления новых |
точек деления x j |
||||
x j 1 |
,x j |
j 1,2, ,n,n 1, стремятся к некоторым пределам s и S соответ-
ственно, а именно существуют lim sn s и lim Sn S .
n n
Доказательство. Последовательность sn является неубываю-
щей, то есть при добавлении новых точек деления на отрезке a,b для нижних сумм выполняется неравенство sn sn 1 (свойство 2). Кроме того
последовательность sn является ограниченной сверху (свойство 4).
По известной теореме Вейерштрасса (см, например, [9], с.71, теорема 3.15): всякая неубывающая последовательность ограниченная сверху имеет предел, следовательно, существует nlim sn s .
Аналогично, последовательность Sn является невозрастающей, то есть при добавлении новых точек деления на отрезке a,b для верхних сумм выполняется неравенство Sn Sn 1 (свойство 2).
Кроме того последовательность Sn является ограниченной снизу
(свойство 4).
По известной теореме Вейерштрасса (см., например, [9], с.71, теорема 3.15): всякая невозрастающая последовательность, ограниченная
снизу, имеет предел, следовательно, существует lim Sn S . Свойство 5
n
доказано.
17
Свойство 6. Для непрерывной функции y f x на замкнутом от-
резке a,b выполняется равенство s |
|
I при условии max xi 0. |
|||
S |
|||||
|
Число |
I совпадает |
с пределом |
последовательности частичных |
|
сумм |
I lim |
n |
, а значит и с определенным интегралом. |
||
f ci xi |
|||||
|
n |
|
|
|
|
|
0 i 1 |
|
|
|
|
|
Получили, что определенный интеграл численно равен площади |
||||
|
|
|
|
|
b |
криволинейной трапеции |
от неотрицательной функции: S f x dx . |
||||
|
|
|
|
|
a |
Это и есть геометрический смысл определенного интеграла. |
|||||
|
1.3. Необходимое и достаточное условие существования |
||||
|
|
определенного интеграла |
Теорема. Для того чтобы ограниченная на отрезке a,b функция y f x была интегрируема на этом отрезке, необходимо и достаточно, чтобы для любого 0 нашлось такое разбиение T отрезка a,b , для
которого выполняется неравенство S s .
Доказательство. Необходимость. Пусть функция y f x явля-
ется интегрируемой на отрезке a,b ,то есть существует интегралфункции y f x ,какконечныйпределпоследовательностиинтегральныхсумм:
|
n |
|
|
|
|
||
I lim f ci xi . |
|
||||||
|
n |
|
|
|
|
||
|
0 i 1 |
|
|
|
|
||
По определению предела для любого числа |
0 можно указать |
||||||
такое число 0, что для любого разбиения T , удовлетворяюще- |
|||||||
го условию , независимо от выбора точек ci , |
принадлежащих ча- |
||||||
стичным отрезкам xi 1,xi , i 1,2,3, ,n |
выбранного разбиения T вы- |
||||||
полняется неравенство |
|
|
|
|
|||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||
|
f ci xi I |
|
|
|
. |
|
|
|
|
|
|
|
|||
|
i 1 |
|
|
4 |
|
|
18
|
Зафиксируем выбранное разбиение |
T отрезка |
a,b . Согласно |
||
свойству 1, для любого фиксированного разбиения T и для любого числа |
|||||
0 |
промежуточные точки ci на отрезках xi 1,xi i 1,2, ,n можно |
||||
|
|
|
|
n |
|
выбрать так, что интегральная сумма In f ci xi будет удовлетво- |
|||||
|
|
|
|
i 1 |
|
рять |
неравенствам 0 |
|
In и |
0 In s |
i 1,2, ,n , |
S |
где S , s – верхняя и нижняя суммы разбиения T . Построим две новые интегральные суммы. Для этого выберем на каждом отрезке
xi 1,xi |
|
|
|
|
n |
i 1,2, ,n точки |
ci |
и ci . Обозначим |
In |
f ci xi |
|
|
|
|
|
|
i 1 |
n |
|
|
|
|
|
и In f ci xi новые интегральные суммы функции |
y f x . Точ- |
i 1
ки выберем так, чтобы выполнялись неравенства:
|
In In |
|
|
|
, |
|
In In |
|
|
|
, |
|
|
In |
|
и |
In s |
|
. |
||
|
|
|
|
|
S |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
4 |
|
|
|
|
|
|
4 |
|
4 |
|
4 |
|
||||||
|
Оценим разность |
|
s . Для этого внутри разности прибавим и от- |
||||||||||||||||||
|
S |
||||||||||||||||||||
нимем три интегральные суммы In , In |
и In , а потом сгруппируем: |
S s S In In In In In In s .
|
|
|
Разность в каждой скобке не превосходит |
|
, поэтому получим |
|||||||||
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
s . Необходимость доказана. |
|
|
|
|
|
|
|
|
||||
|
S |
|
|
|
|
|
|
|
|
|||||
|
|
|
Достаточность. Пусть для функции y f x |
и для любого числа |
||||||||||
0 |
нашлось такое разбиение T |
отрезка a,b , что для разности верх- |
||||||||||||
ней |
|
|
и нижней |
s сумм этого |
разбиения |
выполняется неравенство |
||||||||
S |
||||||||||||||
|
|
|
|
|
. Покажем, что существует интеграл функции y f x , как ко- |
|||||||||
|
|
|
|
|||||||||||
|
S s 3 |
|||||||||||||
нечный |
предел |
последовательности |
интегральных |
|
сумм: |
|||||||||
|
I lim |
n |
|
|
|
|
|
|
|
|
|
|||
|
f ci xi , а именно, для выбранного числа 0 можно ука- |
|||||||||||||
|
|
n |
i 1 |
|
|
|
|
|
|
|
|
|
||
|
|
0 |
|
|
|
|
|
|
|
|
|
|||
зать такое число 0, что из условия следует |
|
In I |
|
. |
||||||||||
|
|
19
Согласно свойству 1 для любого фиксированного разбиения T и
для любого числа 0 промежуточные точки ci на отрезках |
xi 1,xi |
|||||
|
|
|
|
n |
|
|
i 1,2, ,n можно выбрать так, что интегральная сумма In f ci xi |
||||||
|
|
|
i 1 |
|
|
|
при |
будет удовлетворять неравенствам |
0 |
|
In |
и |
|
S |
||||||
|
|
|
|
|
3 |
|
0 In s 3 i 1,2, ,n .
Известны теоремы о предельном переходе в неравенствах
(см., например, [9], с.68, теорема 3.13): если элементы сходящейся последовательности In , начиная с некоторого номера n , удовлетворяет
неравенству In |
|
, то и предел I |
этой последовательности удовлетво- |
|||||||||||||
S |
||||||||||||||||
ряют неравенству I |
|
. Поэтому, |
для заданного числа 0 |
разность |
||||||||||||
S |
||||||||||||||||
|
|
|
|
I |
|
. |
|
|
||||||||
|
|
|
S |
|
|
|
||||||||||
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
Оценим разность |
|
In I |
|
, добавляя и отнимая нижнюю s |
и верх- |
|||||
|
|
|
|
|
|
|
|
нюю S суммы, а также используя свойство модуля.
|
|
|
|
|
In I |
|
|
|
In s s |
|
|
|
|
|
|
I |
|
, |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
S |
S |
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
||||||||||
|
In s s |
|
|
|
I |
|
|
In s |
|
|
|
|
|
|
|
|
|
I |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
s |
|
|
|
|
|||||||||||||||||||||||||
S |
S |
S |
S |
||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
3 |
3 |
|
||||||||||||||||||||
Тогда |
для выбранного числа 0 можно указать |
такое |
число |
||||||||||||||||||||||||||||||||||
0 |
и такое натуральное число N N , что из условий |
и |
n N следует In I .Достаточностьдоказанаиснейдоказанатеорема. Сформулируем эквивалентную теорему о необходимом и доста-
точном условии интегрируемости функции y f x |
на отрезке a,b . |
|
Определение. Число i |
Mi mi называется колебанием функции |
|
y f x на отрезке xi 1,xi , |
i 1,2,3, ,n , где Mi |
и mi – наибольшее |
и наименьшее значения функции y f x соответственно, на отрезке
xi 1,xi a,b .
Отметим, что колебание функции y f x на отрезке xi 1,xi является неотрицательным числом, так как на каждом отрезке xi 1,xi выполняется неравенство Mi mi , i 1,2,3, ,n .
20