13 Определенный интеграл Римана
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пользуясь первой теоремой о среднем, оценить интеграл
Пусть ,
. Ясно, что на
функция
, а функция
-
непрерывна. Более того, поскольку они обе непрерывны на отрезке
, то и интегрируемы на нём.
Следовательно, применима первая теорема о среднем.
А именно, можно сказать, что существует точка такая, что
А дробь при
находится в диапазоне от
до
.
Поэтому можно заключить, что
Ошибка.
Попробуйте повторить позже
Пользуясь второй теоремой о среднем, оценить интеграл
Пусть ,
. Тогда ясно,
- непрерывна на всём
,
- непрерывна на
любом множестве, не содержащем точку 0. Следовательно, они обе интегрируемы на любом отрезке
при
. Кроме того,
- монотонно убывает на любом отрезке
(
), поскольку
выполнено, что
.
Следовательно, применима вторая теорема о среднем.
А именно, можно сказать, что существует точка такая, что
Далее, поскольку каждый синус может теоретически меняться от до
, то их произведения
тоже:
А следовательно,
Ошибка.
Попробуйте повторить позже
Вычислить, пользуясь заменой переменной в определенном интеграле:
Замечая, что множитель разрешается относительно
, поскольку это биквадратное
относительно
выражение, мы имеем, что
. И это нам
поможет:
Далее, делаем замену . Исходная подынтегральная функция непрерывна всюду,
заменяющая функция
- всюду непрерывно дифференцируема, поэтому можно пользоваться
теоремой о замене переменной под знаком определенного интеграла. При этой замене отрезок
переходит в
. С учётом этого, а также того, что
имеем:
Комментарий. Заметим, что этот интеграл можно было вычислить и непосредственно,
поскольку подынтегральная функция - это просто многочлен, если раскрыть скобки.
Однако при таком лобовом
подходе вычисления получаются куда более громоздкими
и долгими. Сравните это с тем, как красиво и просто у нас получилось при помощи
теоремы о замене переменной в определенном интеграле.
Ошибка.
Попробуйте повторить позже
Вычислить, пользуясь заменой переменной в определенном интеграле:
Сделаем замену . Тогда
. А поскольку замена у нас
на
, то мы должны
наоборот понять, какой был отрезок по
, что при применении к нему
получился отрезок
по
. Ясно, что это был отрезок
. Следовательно,
Ошибка.
Попробуйте повторить позже
Для функции на отрезке
составить последовательность интегральных сумм,
соответствующих разбиениям с отмеченными точками, диаметр которых стремится к нулю, и
посчитать, куда будут стремиться при этом сами интегральные суммы.
Пусть - равномерное разбиение отрезка
на
равных отрезков длины
то
есть:
И так далее...
Очевидно что при
. То есть диаметр наших разбиений
действительно
стремится к нулю.
Выберем теперь как-нибудь отмеченные точки.
Пусть при каждом разбиении отмеченные точки
выбираются каждый раз в крайней
правой точке отрезка разбиения. То есть,
где
Тогда, при любом таком разбиении интегральная сумма равна
И ясно, что при
То есть интегральные суммы при таких разбиениях и при таком выборе отмеченных точек будут
стремиться к .
Ошибка.
Попробуйте повторить позже
Доказать, что условие малых колебаний, то есть условие:
Для любого найдется
такое, что при любом разбиении
отрезка
с
параметром
выполняется соотношение:
является не только достаточным условием интегрируемости на
, но и необходимым. То
есть если
- интегрируема на
, то для неё обязательно выполнено условие малых
колебаний.
Итак, пусть нам дано, что - интегрируема на
. Докажем, что тогда для любого
найдется
такое, что при любом разбиении
отрезка
с параметром
выполняется соотношение:
Хорошо, пусть - какое-то разбиение отрезка
,
- отрезки этого разбиения,
-
соответственно, их длины (как и всегда). Тогда:
Если обозначить через
И затем ввести нижнюю и верхнюю интегральные суммы соответственно:
То мгновенно из определения и
будет следовать, что при любом выборе отмеченных точек
данного разбиения
будет выполняться такое двойное неравенство:
Однако ясно, что какое бы , мы для каждого
по определению супремума, ведь
можем найти такие точки
, что
и тогда
Таким образом, верхняя интегральная сумма является супремумом всех возможных интегральных
сумм для данного разбиения , потому что она, очевидно, всегда не меньше любой интегральной
суммы с данным разбиением
, но мы можем всегда за счет выбора отмеченных подобрать
интегральную сумму с данным разбиением
, которая больше, чем
для любого
.
То есть мы получаем, что
Аналогично же можно показать, что
Теперь, пусть - интегрируема на отрезке
. По определению это означает, что
Но, в силу соотношений, что для любого разбиения с отмеченными точками выполнено
А в то же самое время, для любого и для любого разбиения
можно подобрать такой
набор отмеченных точек
, что
То есть мы имеем для произвольного и для любого разбиения
Следовательно, по теореме о двух милиционерах, раз у существует предел при
и любом выборе отмеченных точек, то обязан существовать предел и у
при
, и мы
получаем, что
То есть
Для любого . Отсюда, разумеется, следует, что
, то есть равен,
собственно, тому же самому, что и
.
Аналогично можно показать и то, что
Таким образом, если была интегрируема на
, и её интеграл был равен
, то обязательно
будут иметь предел верхние и нижние интегральные суммы (и предел и тех и других будет равен
).
Осталось теперь лишь заметить, что для произвольного разбиения выполнено:
(в силу того, что колебание на
ом отрезке, очевидно, равно
).
Таким образом, продолжая:
И раз - интегрируема на
, то
стремится к
,
тоже стремится к
при
стремлении
, а следовательно,
Что и требовалось доказать. Таким образом, мы показали, что если функция интегрируема на
, то она удовлетворяет условию малых колебаний.
Ошибка.
Попробуйте повторить позже
Доказать, что если ,
- ограничена на
и имеет конечное число точек разрыва на
, то
- интегрируема на
.
Пусть имеет
точек разрыва на отрезке
. Докажем, что тогда
все еще удовлетворяет
условию малых колебаний, то есть для любого
найдется
такая, что для всех разбиений
с параметром
выполнено, что
Итак, пусть дано . Окружим каждую точку разрыва
окрестностью. Тогда
множество
- это конечное объединение отрезков . На каждом из них
будет непрерывна (потому
что разрывна она только внутри этих окрестностей - в точках разрыва). Следовательно, по теореме
Гейне-Кантора, она на них равномерно непрерывна. Тогда она равномерно непрерывна и на
объединении
.
Следовательно, по определению равномерной непрерывности, существует такое , что при всех
таких, что
обязательно выполнено
Пусть теперь . Тогда, при любом разбиении
, параметр которого
посчитаем сумму колебаний
.
Эту сумму разобьем на две части:
В включим только те слагаемые, которые отвечают отрезкам разбиения, не имеющим общих
точек с построенными
окрестностями точек разрыва
. В
включим все остальные слагаемые.
Поскольку параметр разбиения сейчас , то у нас в разбиении не может
быть отрезков, которые целиком содержат
окрестности точек разрыва
и при этом
еще что-то. То есть любой отрезок разбиения либо лежит внутри
окрестности какой-то
точки разрыва
, либо частично лежит внутри этой окрестности, частично снаружи (и в
том и в другом случае слагаемое, соответствующее этому отрезку, попадет в
), либо
вообще не пересекается ни с какой окрестностью, и тогда такое слагаемое попадёт в
.
Итак, поскольку на каждом отрезке, слагаемые которого попали в ,
равномерно непрерывна, а
диаметр каждого такого отрезка не превосходит
, то мы можем из равномерной непрерывности
легко оценить
:
(ибо сумма по отрезкам, не пересекающимся с окрестностями точек разрыва
уж
точно не больше суммы вообще по всем отрезкам разбиения, а это равно длине всего отрезка
).
Теперь оценим :
Во-первых, нам дано, что - ограничена на
, следовательно, найдется такая константа
, что
для любого
выполнено
.
Тогда
(ибо количество таких отрезков, которые пересекаются с окрестностями точек разрыва уж
точно не больше, чем количество таких окрестностей
, умноженное на то, сколько
максимально с каждой окрестностью может пересекаться отрезков длины
, пусть это
).
Таким образом,
То есть удовлетворяем условию малых колебаний и, значит, интегрируема на
.
Ошибка.
Попробуйте повторить позже
Доказать, что если - монотонна на
(то есть либо всюду на
возрастает, либо всюду
убывает), то
- интегрируема на
.
Раз - монотонна на
, то неважно, возрастает она на нем или убывает, в любом
случае
Тогда для любого возьмем
и получим что для любого разбиения
с параметром
:
Однако, в силу того, что и для каждого выполнено, что
Тогда получается:
Поскольку - монотонна, то она либо монотонно возрастает, и тогда все выражения
вида
под модулем имеют знак плюс и тогда модуль можно вообще снять, либо она монотонно убывает, и тогда все выражения вида
под модулем имеют знак минус и тогда все модули раскрываются одинаково, в любом случае можем написать, что
таким образом, удовлетворяет условию малых колебаний и, значит, интегрируема на
.
Ошибка.
Попробуйте повторить позже
Привести пример функции , определенной на
, непрерывной на
, но не
интегрируемой по Риману на
.
Можно взять, например, функцию Рассмотрим функцию
Она всюду определена на , непрерывна на
, но, разумеется, не интегрируема по Риману
на
, поскольку даже не ограничена на
.
Ошибка.
Попробуйте повторить позже
Привести пример функции , интегрируемой по Риману на
, но не имеющей
первообразной на
.
Рассмотрим функцию
Эта функция всюду определена на отрезке , у нее один-единственный разрыв I рода на этом
отрезке, значит, как ограниченная функция, имеющая лишь конечное число точек разрыва,
-
интегрируема по Риману на отрезке
.
В то же время, у не может быть первообразной на
.
Действительно, если бы такая первообразная нашлась, то это бы означало, что всюду на
выполнено
То есть имела бы разрыв I рода на отрезке
. Но это невозможно, поскольку производная
не может иметь разрывов I рода.
Ошибка.
Попробуйте повторить позже
Привести пример функции такой, что
- не интегрируема по Риману на
, но
-
интегрируема по Риману на
.
Рассмотрим функцию
В качестве отрезка можно взять любой отрезок.
Тогда - не интегрируема по Риману на
. Это можно усмотреть и потому, что
является
лишь слегка модифицированной функцией Дирихле и можно по определению проверить, что у её
интегральных сумм нет предела при
.
Но можно и, пользуясь нашей новой теорией, указать на то, что такая функция не может
удовлетворять условию малых колебаний. А именно, каково бы ни было разбиение
, и каков бы ни
был отрезок разбиения
, ясно, что
поскольку совершенно в любом отрезке найдется хотя бы одна как рациональная, так и
иррациональная точка, а значит в любом отрезке принимает как значение 1, так и значение минус 1,
а потому её колебание на любом отрезке равно двум.
А потому сумма всех колебаний, умноженных на длины отрезков разбиения для функции
:
И уже точно не может быть сделана меньше любого наперед заданного за счет мелкости
разбиений.
В то же время - интегрируема на любом отрезке как непрерывная функция.