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