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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

В математическом анализе кратным или многократным интегралом называют множество интегралов, взятых от переменных. Например:

Замечание: кратный интеграл — это определённый интеграл, при его вычислении всегда получается число.

Определение кратного интеграла[править | править код]

Пусть  — измеримое[1] множество n-мерного вещественного пространства,  — функция на .

Разбиение множества  — это набор попарно непересекающихся подмножеств , которые в объединение дают всё .

Мелкость разбиения  — это наибольший диаметр множеств .

Разбиение называется конечным, если является конечным множеством, и измеримым, если все его элементы — измеримые (в данном случае — по Жордану) множества.

Кратным (n-кратным) интегралом функции на множестве называется число (если оно существует), такое что, какой бы малой -окрестностью числа мы ни задались, всегда найдется такое разбиение множества и набор промежуточных точек, что сумма произведений значения функции в промежуточной точке разбиения на меру разбиения будет попадать в эту окрестность. Формально:

 :  :

Здесь  — мера множества .

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

Кратным интегралом функции называют предел

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

Интеграл обозначается следующим образом:

  • В векторном виде[2]
,
  • Либо ставят значок интеграла раз, записывают функцию и дифференциалов: .
  • Для двойного и тройного интегралов используются также обозначения и соответственно.

В современных математических и физических статьях многократное использование знака интеграла не применяется.

Такой кратный интеграл называется интегралом в собственном смысле.

В случае кратный интеграл совпадает с интегралом Римана.

Существование кратного интеграла[править | править код]

Достаточные условия
  • Если функция непрерывна на измеримом по Жордану компакте, то она интегрируема на нем.
    • Неограниченная функция на множестве может быть не интегрируемой, даже если она непрерывна. Например, функция не интегрируема на интервале .
  • Если функция определена на измеримом по Жордану множестве, у которого существуют сколь угодно мелкие разбиения, для которых данная функция неограничена на объединении всех их элементов положительной меры, то эта функция неинтегрируема на этом множестве.
Критерий Дарбу

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

Критерий Лебега

Пусть - измеримое по Жордану множество. Функция интегрируема на , если:

  • Функция ограничена на .
  • Функция непрерывна на , где множество имеет меру Лебега нуль.

Свойства кратных интегралов[править | править код]

  • Линейность по функции. Пусть измеримо, функции и интегрируемы на , тогда
.
  • Аддитивность по множеству интегрирования. Пусть множества и измеримы, и . Пусть также функция определена и интегрируема на каждом из множеств и . Тогда интеграл по существует и равен
.
  • Монотонность по функции. Пусть измеримо, функции и интегрируемы на , причем . Тогда
.
  • Интегральное неравенство треугольника. Следствие предыдущего свойства.
  • Интегральная теорема о среднем. Пусть  — компакт, функция непрерывна и интегрируема на , тогда
  • Постоянная функция интегрируема на любом измеримом множестве , причем
.
  • Как следствие, .

Вычисление кратных интегралов[править | править код]

Сведение кратного интеграла к повторным[править | править код]

Пусть  — измеримое множество,  — также измеримое множество, определена и интегрируема на . Тогда

  • существует всюду на , кроме множества Лебеговой меры нуль ( может быть пустым);
  • существует , где
называемый повторным интегралом от функции по множеству ;
  • .

Любой d-мерный интеграл можно свести к d одномерным.

Замена переменных в кратном интеграле[править | править код]

Пусть задано биективное отображение , переводящее область в :

,

где  — «старые» координаты, а  — «новые» координаты. Пусть далее функции, задающие отображение, имеют в области непрерывные частные производные первого порядка, а также ограниченный и отличный от нуля якобиан

.

Тогда при условии существования интеграла

справедлива формула замены переменных:

Использование симметрии[править | править код]

Если область интегрирования симметрична относительно начала координат по крайней мере для одной из переменных интегрирования и подынтегральная функция нечётна по этой переменной, интеграл равен нулю, поскольку интегралы по двум половинкам области интегрирования имеют одно и то же абсолютное значение, но противоположные знаки. Если подынтегральная функция чётна по этой переменной, интеграл равен удвоенному интегралу по одной из половинок области интегрирования, поскольку интегралы по каждой из половинок равны.

Пример 1. Пусть функция интегрируется по области

кругу радиуса 1 с центром в начале координат.

Используя свойство линейности, интеграл можно разложить на три части:

2sin(x) и 3y3 являются нечётными функциями и, кроме того, очевидно, что диск T симметричен как относительно оси x, так и по оси y. Таким образом, вклад в конечный результат даёт только константа 5.

Пример 2. Пусть функция f(xyz) = x exp(y2 + z2) интегрируется по сфере радиуса 2 с центром в начале координат,

"Шар" симметричен по всем трём осям, но достаточно проинтегрировать по оси x, чтобы показать, что интеграл равен 0, поскольку по этой переменной функция нечётна.

Двойной интеграл[править | править код]

Геометрический смысл двойного интеграла

Двойным интегралом называют кратный интеграл с .

. Здесь  — элемент площади в рассматриваемых координатах.

В прямоугольных координатах: , где  — элемент площади в прямоугольных координатах.

Геометрический смысл двойного интеграла[править | править код]

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

Выражение двойного интеграла через полярные координаты[править | править код]

Переход из прямоугольных координат в полярные.
Переход из прямоугольных координат в полярные.

В некоторых случаях двойной интеграл проще считать не в прямоугольных, а в полярных координатах, так как при этом может произойти существенное упрощение вида области интегрирования и всего процесса интегрирования в целом.

Применим теорему о замене переменных. Соответствующее переходу преобразование имеет вид:

Модуль якобиана отображения равен . Таким образом получаем, что

где .

Здесь является элементом площади в полярных координатах.

Пример перехода в произвольную систему координат[править | править код]

Посчитаем площадь области .

Переход в полярную систему координат не сделает область проще:

.

Множитель перед синусом «мешает». В этом случае переход можно немного скорректировать:

.

Это преобразование переведет исходную область в следующую:

.

Якобиан отображения:

.

Модуль якобиана также равен .

Отсюда

.

Результат верный, так как область ограничена эллипсом, заданным каноническим уравнением. Площадь можно посчитать по формуле . Путём подстановки убеждаемся в верности вычисления интеграла.


Приложения двойных интегралов[править | править код]

Наименование величины Общее выражение Прямоугольные координаты Полярные координаты
Площадь плоской фигуры
Масса тонкой плоской пластинки

плотностью

Площадь куска поверхности
Объем цилиндрического тела,

стоящего на плоскости

Момент инерции плоской фигуры

относительно оси

Момент инерции плоской фигуры

относительно оси

Координаты центра масс

однородной пластинки

Примечания

1) Область  — проекция на плоскость ; в каждую точку области проектируется только одна точка поверхности;

 — угол между касательной плоскостью и плоскостью .

2) Совмещенной с плоскостью .

3) Или, что то же, относительно центра О.

Тройной интеграл[править | править код]

Тройным интегралом называют кратный интеграл с :

где — элемент объема в рассматриваемых координатах.

Выражение тройного интеграла через прямоугольные координаты[править | править код]

В прямоугольных координатах тройной интеграл имеет следующий вид:

где — элемент объема в прямоугольных координатах.

Выражение тройного интеграла через цилиндрические координаты[править | править код]

Объем в цилиндрических координатах

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

Модуль якобиана отображения равен . Таким образом получаем, что

где — элемент объема в цилиндрических координатах.

Выражение тройного интеграла через сферические координаты[править | править код]

Объем в сферических координатах

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

Модуль якобиана отображения равен . Таким образом получаем, что

где — элемент объема в сферических координатах.

Приложения тройных интегралов[править | править код]

Наименование величины Общее выражение Прямоугольные координаты Цилиндрические координаты Сферические координаты
Объем тела
Момент инерции геометрического

тела относительно оси

Масса физического тела с плотностью
Координаты центра масс

однородного тела

См. также[править | править код]

Примечания[править | править код]

  1. Здесь и всюду ниже, если не оговорено противное, измеримость множества понимается в Жордановом смысле.
  2. Достаточно типичным в такой записи использовать для элемента (n-мерного) объема интегрирования другой буквы, чем для обозначения векторного аргумента интегрируемой функции, т.е. не а например или просто или итп, поскольку в координатной записи этот элемент объема представляет собой в простейших случаях произведение дифференциалов координат , а в более общем случае криволинейных координат X необходимо включает в себя еще и детерминант метрики:

Литература[править | править код]

  • Выгодский, М. Я. Дифференцирование и интегрирование функций нескольких аргументов // Справочник по высшей математике. — М.: Астрель, АСТ, 2005. — 991 с. — 10 000 экз. — ISBN 5-17-012238-1, 5-271-03651-0.
  • Ильин, В. А., Позняк, Э. Г. Глава 2. Двойные и n-кратные интегралы // Основы математического анализа. — 4. — М.: ФИЗМАТЛИТ, 2001. — Т. 2. — 464 с. — (Курс высшей математики и математической физики). — 5000 экз. — ISBN 5-9221-0131-5.
  • Кудрявцев, Л. Д. Глава 6. Интегральное исчисление функций многих переменных // Курс математического анализа. — М.: Высшая школа, 1981. — Т. 2. — 584 с.
  • Будак, Б. М., Фомин С. В. Кратные интегралы и ряды. — М.: Наука, 1967. — 608 с.