
- •Часть 2.Элементы теории определённого и кратного интеграла.
- •§ 1.Определённый интеграл.
- •§ 2. Способы вычисления «наивного» определённого интеграла.
- •§ 3.Элементы теории определённого интеграла.
- •§ 4.Измеримость по Жордану и Лебегу.
- •§ 5.Критерий интегрируемости по Риману.
- •§ 6.Обобщение теории определённого интеграла на кратные интегралы.
- •§ 7.Интеграл Римана в форме Лебега и интеграл Лебега.
- •§ 8.Длина кривой и площадь поверхности.
- •§ 9.Контрпример Шварца.
- •§ 10.Вычисление площади поверхности дифференцируемой функции по Лебегу.
Часть 2.Элементы теории определённого и кратного интеграла.
Введение.
Прежде
чем доказывать условия существования
кратного интеграла, необходимо рассмотреть
простые достаточные условия существования
определённого интеграла
,
а именно: непрерывность подинтегральной
функции и компактность области
интегрирования – отрезка (точнее,
сегмента)
как
множества точек
числовой оси, удовлетворяющих двойному
неравенству:
.
К сожалению, тот факт, что определённый
интеграл от функции, не меняющей знак
в области интегрирования
,
есть именноориентированнаяплощадь
криволинейной трапеции, в учебной
литературе недостаточно подчёркивается.
Наша основная цель – более внимательно
рассмотреть такие фундаментальные
понятия, как площадь и объём.
§ 1.Определённый интеграл.
Обозначение..
Здесь
есть подинтегральная функция,
и
- пределы интегрирования, причём
- нижний предел,
- верхний предел,
-переменная интегрирования – так
называемаясвязаннаяпеременная.
Для этой переменной можно менять
обозначение. Например, справедливо
равенство:
.
Если похожая переменная встретится в
верхнем или нижнем пределе интеграла,
то это –свободнаяпеременная,
которую нельзя переобозначать (во всяком
случае, без дополнительных переобозначений
в других местах).
Определение
1.Определённый интеграл(геометрический) для знакопостоянной
подинтегральной функции есть
ориентированная площадь криволинейной
трапеции, то есть фигуры, определяемой
множеством точек, координаты которых
удовлетворяют неравенствам:или
и
или
.
Ориентированная площадьесть площадь со знаком. Знак этой площади определяется следующим образом (см. рисунок).
1
случай.и
.
В этом случае
.
2
случай.и
.
В этом случае
.
3
случай.и
.
В этом случае
.
4
случай.и
.
В этом случае
.
Определение 1.Определённый интеграл(геометрический) для знакопеременной подинтегральной функции есть алгебраическая сумма определённых интегралов от её знакопостоянных частей.
Пример..
Теорема существования определённого интеграла.
Если
подинтегральная функция
непрерывна
на сегменте
(иначе, для любого
,
такого, что
или
предел от функции будет равен функции
от предела, то есть:
) , то
существует.
В следующей лекции после уточнения понятия интеграла требование на поведение подинтегральной функции внутри области интегрирования будет несколько ослаблено.
§ 2. Способы вычисления «наивного» определённого интеграла.
Вычисление определённого интеграла как площади криволинейной трапеции может быть выполнено двумя способами.
Первый способ– вычисление площади путём замены криволинейной трапеции на близкую по площади фигуру с последующим прямым суммированием частей этой фигуры.
Второй способ- составление дифференциального уравнения для площади криволинейной трапеции с последующим его решением.
Примервычисления по первому способу. Вычислим
.
Делим
отрезок
на
равных частей. Заменяем криволинейную
трапецию (точнее, криволинейный
треугольник)
,
на близкую по площади ступенчатую
фигуру (см. левый рисунок).
Обозначим:
.
Тогда площадь ступенчатой фигуры
(интегральная сумма), приблизительно
равная интегралу (при больших
)
будет равна (с точки зрения алгебраиста):
.
Левую часть приблизительного равенства преобразуем так:
.
Раскрывая
скобки в числителе и вспоминая
тригонометрическое равенство:,
преобразуем предыдущее равенство
следующим образом:
.
Учитывая, что внутренние слагаемые взаимно уничтожаются при приведении подобных членов, получаем:
.
Переходя к пределу при
и учитывая, что
и что дробь
стремится к единице как первый
замечательный предел, получаем в пределе:
.
Геометр
решил бы эту задачу ещё проще (см. правый
рисунок выше). На рисунке
,
,
.
Примервычисления по второму способу. Вычислим.
Пусть
.
Тогда
.
Здесь
- бесконечно – малое колебание непрерывное
функции
на отрезке длиной
от точки
до точки
.
Общее решение этого дифференциального
уравнения
есть
- неопределённый интеграл как множество
первообразных
.
Константа
ищется исходя из того, что
(площадь отрезка от точки
до точки
равна нулю). Итак:
и
или
- решение задачи скорее по Ньютону, чем
по Лейбницу.