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