Математический анализ 2 семестр (957837), страница 3
Текст из файла (страница 3)
Сумма называется интегральной суммой, суммы
,
называются соответственно нижней и верхней суммами Дарбу.
Будем измельчать разбиение так, чтобы . Если существует предел интегральных сумм при неограниченном измельчении разбиения, то он называется определенным интегралом (по Риману) от функции
по отрезку
:
.
Если существуют пределы нижней и верхней сумм Дарбу при неограниченном измельчении разбиения, то они называются нижним и верхним
интегралами Дарбу.
Критерий существования определенного интеграла. Для того, чтобы существовал определенный интеграл по Риману , необходимо и достаточно, чтобы существовали и были равны нижний и верхний интегралы Дарбу.
Следствие. Если определенный интеграл существует как предел интегральных сумм, то он не зависит
Поэтому (критерий Римана) для интегрируемости по Риману ограниченной на отрезке функции необходимо и достаточно, чтобы существовало некоторое конкретное разбиение отрезка, на котором для любого
.
Теорема. Если функция непрерывна на отрезке, то она интегрируема на этом отрезке.
Теорема. Если функция кусочно непрерывна на отрезке (имеет на нем не более конечного числа разрывов первого рода), то она интегрируема на этом отрезке.
Мы пришли к определенному интегралу от задачи о площади криволинейной трапеции. Если функция принимает на отрезке неотрицательные значения, то определенный интеграл можно интерпретировать как площадь под графиком функции. В этом состоит геометрический смысл определенного интеграла.
К понятию интеграла можно придти и от других задач. Например, от задачи о работе переменной по величине силы, не меняющей направления на прямолинейном пути, от задачи о массе отрезка, плотность которого меняется от точки к точке, от задачи о пути тела, движущегося прямолинейно с переменной скоростью. Фактически, все эти задачи формально сводятся к задаче о площади криволинейной трапеции. В задаче о работе силы по оси ординат откладываются значения скалярного произведения вектора силы в данной точке x отрезка на орт оси OX. В задаче о массе отрезка по оси ординат откладываются значения переменной плотности. В задаче о пути, пройденном телом, по оси ординат откладывается величина скорости тела в данной точке.
К схеме определенного интеграла сводится любая задача вычисления некоторой величины, аддитивно зависящей от множества, т.е. величины I, удовлетворяющей соотношению , где А, В – отрезки оси OX (в общем случае определенного интеграла по некоторому множеству А, В – некоторые множества). В качестве таких величин можно выбрать длину отрезка, длину кривой, площадь поверхности, объем пространственного тела, массу указанных множеств и т.д.
Свойства определенного интеграла.
-
Свойства линейности
Вообще говоря, свойствами линейности обладают все линейные операции (дифференцирование, интегрирование, проектирование и т.д.)
-
Свойство аддитивности (по множеству)
Доказательство. Пусть . Выберем разбиение так, чтобы точка с была границей элемента разбиения
. Это возможно (следствие). Составим интегральную сумму
. Будем измельчать разбиение, сохраняя точку с границей элемента разбиения. Это возможно (следствие). Тогда предел при
левой части равенства интегральных сумм равен
, первого слагаемого правой части
, второго слагаемого правой части
.
Составляя интегральную сумму для интеграла в правой части равенства, заметим, что элемент разбиения надо проходить в другом направлении, от конца отрезка к началу. Поэтому для этого интеграла интегральная сумма будет
-
. Переходя к пределу при измельчении разбиения, получим
.
Так как на отрезке, то
. Переходя к пределу, получим
.
Так как на отрезке, то
. Переходя к пределу, получим
.
-
(переменная интегрирования – «немая» переменная, ее можно изменить, она не несет в себе самостоятельного смысла)
Определенный интеграл является функцией своих пределов, при фиксированных пределах интегрирования это – число. Он определен своими пределами. Поэтому он и называется определенным.
Теорема об оценке определенного интеграла.
Пусть на отрезке
и функция
интегрируема на отрезке. Тогда
Доказательство. Интегрируя по свойству 7 неравенство , с учетом свойства 5 получаем требуемое утверждение.
Теорема об оценке полезна, когда интеграл вычислить трудно или вообще невозможно, но приблизительно оценить его необходимо. Это часто встречается в инженерной практике.
Пример. . Такой интеграл «не берется». Но
на отрезке
. Поэтому, учитывая четность подинтегральной функции, получим
. Конечно, это – очень грубая оценка, более точную оценку можно получить, применяя методы численного интегрирования.
Теорема о среднем значении определенного интеграла («теорема о среднем»).
Пусть функция непрерывна на отрезке
. Тогда существует
, что
(или
).
Геометрически, смысл этого соотношения состоит в том, что площадь криволинейной трапеции равна площади прямоугольника с тем же основанием и высотой .
Доказательство. По второй теореме Вейерштрасса функция, непрерывная на отрезке, достигает на нем своей верхней и нижней
грани. По теореме об оценке
, откуда, деля на
, получим
. По второй теореме Больцано – Коши функция, непрерывная на отрезке, принимает на нем все промежуточные значения между m и M. В частности, существует и такая точка
, в которой функция принимает свое промежуточное значение
, т.е.
Лекция 6. Формула Ньютона – Лейбница.
Интеграл с переменным верхним пределом.
Определенный интеграл представляет собой функцию пределов интегрирования. Это ясно даже из геометрической интерпретации интеграла как площади криволинейной трапеции. Изменяя пределы интегрирования, мы изменяем основание трапеции, изменяя тем самым ее площадь.
Рассмотрим интеграл как функцию верхнего предела интегрирования – интеграл с переменным верхним пределом . Переменная интегрирования по свойству 9 определенного интеграла – «немая переменная», ее можно заменить z или t или как- либо еще. Никакого отношения к верхнему пределу интегрирования она не имеет.
Теорема о производной интеграла по переменному верхнему пределу (основная теорема математического анализа)
Пусть функция непрерывна на отрезке
, пусть
. Тогда
.
При доказательстве мы воспользовались теоремой о среднем и непрерывностью функции
.
Формула Ньютона – Лейбница.
Пусть функция непрерывна на отрезке
- некоторая первообразная функции
. Тогда
.
Доказательство. Из теоремы о производной интеграла по переменному верхнему пределу следует, что , т.е.
- первообразная для функции
. По теоремам о первообразных две первообразных отличаются на константу т.е.
Но
(свойство 4 определенного интеграла), поэтому
. Тогда
. Следовательно,
.
Формула Ньютона – Лейбница - это одна из немногих формул - связок, связывающих различные разделы математики воедино. Если бы не было формулы Ньютона – Лейбница, то неопределенные интегралы не нашли бы приложения, а определенные интегралы нельзя было бы вычислить аналитически. Именно эта формула делает интегральное исчисление важнейшим инструментом исследования процессов. Любой процесс описывается дифференциальными или интегральными уравнениями, а они решаются в интегралах.
Мы встречались с такими формулами или теоремами – связками. Например, теорема о связи функции, ее предела и бесконечно малой связывает бесконечно малые и пределы. Теорема Ферма и ее следствия – теоремы о средних значениях связывают дифференциальное исчисление и теорию экстремума. В дальнейшем мы тоже будем встречаться с теоремами – связками, они всегда играют фундаментальную роль, например теоремы Остроградского – Гаусса и Стокса в векторном анализе.
Методы вычисления определенного интеграла.
Методы вычисления остаются теми же, что и методы вычисления неопределенного интеграла, но разница есть. В неопределенном интеграле, делая замену переменной, надо затем возвратиться к исходной функции, в определенном интеграле этого делать не нужно, при замене пересчитываются и пределы интегрирования для новой переменной. Определенный интеграл при постоянных пределах интегрирования – число и все равно, в каких переменных считать это число. Но требование взаимной однозначности функции – замены и в определенном интеграле сохраняется, просто оно маскируется условиями теоремы о замены переменной.
Метод замены переменной.