Интегрирование по мере

ПОВТОРНЫЙ ИНТЕГРАЛ

интеграл, в к-ром последовательно выполняется интегрирование по разным переменным, т. е. интеграл вида

(1)

Функция f(x, y).определена на множестве А, лежащем в прямом произведении XX Y пространств Xи У, в к-рых заданы s-конечные меры m _x и m _y, обладающие свойством полноты; множество ("сечение" множества А), измеримое относительно меры m _х;. множество А _у (проекция множества Ав пространство Y), измеримое относительно меры m _у. Интегрирование по (у).производится по мере (m _x, а по А _у - по мере m _y. Интеграл (1) обозначают также

К П. и. могут быть сведены кратные интегралы. Пусть функция f(x, у), интегрируемая по мере на множестве , продолжена нулем на все пространство , тогда П. и.

и

существуют и равны между собой:

(2)

(см. Фубини теорема). В левом интеграле внешнее интегрирование фактически производится по множеству . Таким образом, в частности, для точек множества (у).измеримы относительно меры m _х. По всему множеству А _у брать этот интеграл, вообще говоря, нельзя, т. к. при измеримом относительно меры m множества Амножество А _у может оказаться неизмеримым относительно меры m _y, так же, как и отдельные множества (у), , могут быть неизмеримы относительно меры m _х.

Множество же всегда измеримо относительно меры m _y, если только множество Аизмеримо относительно меры m.

Сформулированные условия возможности перемены порядка интегрирования в П. и. являются лишь достаточными, но не необходимыми: иногда перемена порядка интегрирования в П. и. допустима, а соответствующий кратный интеграл не существует.

Напр., для функции при x²+y²>0 и f(0, 0) = 0 П. и.

а кратный интеграл

не существует. Однако если существует хотя бы один из интегралов

или

то функция f интегрируема на множестве и справедливо равенство (2).

Для П. и. в случае, когда внутренний интеграл является интегралом Стилтьеса, а внешний - интегралом Лебега, справедлива следующая теорема о перемене порядка интегрирования: пусть функция g(x, у). суммируема по уна [с, d]для всех значений хиз [ а, b ]и является функцией ограниченной вариации по хна [ а, b ]для почти всех значений . Пусть, далее, полная вариация функции g(x, у).но переменной хна [a, b]при всех указанных значениях уне превышает нек-рой неотрицательной и суммируемой на [с, d] функции. Тогда функция является функцией ограниченной вариации от переменной хна [а, b]и для любой непрерывной на [а, b]функции f(х).имеет место формула

2Вопросы по теме «интегралы одной переменной»