Тройной интеграл

Понятие тройного (а в дальнейшем – т-мерного) интеграла вводится по аналогии с двойным интегралом.

Пусть в пространстве задана некоторая область V, ограниченная замкнутой поверхностью S. Зададим в этой замкнутой области непрерывную функцию f(x, y, z). Затем разобьем область V на произвольные части Δv_i , считая объем каждой части равным Δv_i , и составим интегральную сумму вида

, (25.1)

где точка P_i принадлежит Δv_i . Пусть ρ – наибольшее расстояние между двумя точками любой части области V.

Определение. Предел при интегральных сумм (25.1), не зависящий от способа разбиения области V, называется тройным интегралом от функции f(x, y, z) по области V: (25.2)

Замечание 1. Условие непрерывности подынтегральной функции не является обязатель-ным для существования кратного (двойного, тройного и т.д.) интеграла, но исследование вопросов, связанных с интегрированием разрывных функций, выходит за рамки нашего курса.

Замечание 2. Все сформулированные ранее свойства двойного интеграла можно распространить на тройной интеграл.

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

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

Определение. Трехмерная область V, ограниченная замкнутой поверхностью S, называется правильной, если:

1) любая прямая, параллельная оси Оz и проведенная через внутреннюю точку области, пересекает S в двух точках;

2) вся область V проектируется на плоскость Оху в правильную двумерную область D;

3) любая часть области V, отсеченная от нее плоскостью, параллельной какой-либо из координатных плоскостей, обладает свойствами 1) и 2).

z z=ψ(x,y)

V

z=χ(x,y)

O

a y

b y=φ₁(x) D

y=φ₂(x)

Рис.1.

Рассмотрим правильную область V, ограниченную снизу и сверху поверхностями z=χ(x,y) и z=ψ(x,y) и проектирующуюся на плоскость Оху в правильную область D, внутри которой х изменяется в пределах от а до b, ограниченную кривыми y=φ₁(x) и y=φ₂(x) (рис.1). Зададим в области V непрерывную функцию f(x, y, z).

Определение. Назовем трехкратным интегралом от функции f(x, y, z) по области V выражение вида:

. (25.3)

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

1. Если область V разбить на две области V₁ и V₂ плоскостью, параллельной какой-либо из координатных плоскостей, то трехкратный интеграл по области V равен сумме трехкратных интегралов по областям V₁ и V₂.

2. Если т и М – соответственно наименьшее и наибольшее значения функции f(x,y,z) в области V, то верно неравенство . mV ≤ I_V ≤ MV,

где V – объем данной области, а I_V – трехкратный интеграл от функции f(x,y,z) по области V.

3. Трехкратный интеграл I_V от непрерывной функции f(x,y,z) по области V равен произведению его объема V на значение функции в некоторой точке Р области V: (25.4)