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