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

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

$\underset{d}{\underset{⏟<!--\; ⏟\; -->}{\int <!--\; \int \; -->\cdots <!--\; \cdots \; -->\int <!--\; \int \; -->}}f(x_1,\dots <!--\; \dots \; -->,x_d)d{x}_1\cdots <!--\; \cdots \; -->d{x}_d$$\underbrace {\int \cdots \int } _{d}f(x_{1},\ldots ,x_{d})dx_{1}\cdots dx_{d}$

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

Определение кратного интегралаПравить

Пусть $B\subset <!--\; \subset \; -->{\mathbb{R}}^n$$B\sub \R^n$  — измеримое множество n-мерного вещественного пространства, $f:B\to <!--\; \to \; -->\mathbb{R}$$f:B\to\R$  — функция на $B$$B$ .

Разбиение $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  множества $B$$B$  — это набор попарно непересекающихся подмножеств $\mathrm{\sigma <!--\; \sigma \; -->}=\left\{U_i\subset <!--\; \subset \; -->B\right\}$$\sigma =\left\{{{U}_{i}}\subset B\right\}$ , которые в объединение дают всё $B$$B$ .

Мелкость разбиения $\left|\mathrm{\sigma <!--\; \sigma \; -->}\right|$$\left| \sigma \right|$  — это наибольший диаметр множеств $U_i\in <!--\; \in \; -->\mathrm{\sigma <!--\; \sigma \; -->}$$U_i \in \sigma$ .

$\left|\mathrm{\sigma <!--\; \sigma \; -->}\right|=max\left\{\mathrm{diam}<!--\; \; -->\left(U_i\right)\right\}$$\left| \sigma \right|=\max \left\{ \operatorname{diam}\left( {{U}_{i}} \right) \right\}$ 

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

Кратным (n-кратным) интегралом функции $f$$f$  на множестве $B$$B$  называется число $I$$I$  (если оно существует), такое что, какой бы малой $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$ -окрестностью числа $I$$I$  мы ни задались, всегда найдется такое разбиение множества $B$$B$  и набор промежуточных точек, что сумма произведений значения функции в промежуточной точке разбиения на меру разбиения будет попадать в эту окрестность. Формально:

$\mathrm{\forall <!--\; \forall \; -->}\mathrm{\epsilon <!--\; \epsilon \; -->}>0\mathrm{\exists <!--\; \exists \; -->}\mathrm{\delta <!--\; \delta \; -->}>0$$\forall \varepsilon>0\;\; \exists \delta>0$  : $\mathrm{\sigma <!--\; \sigma \; -->}=\{U_i{\}}_{i=1}^m$$\sigma = \{ U_i \}_{i=1}^{m}$  : $\left| \sigma \right|<\delta \; \forall \xi_i \in U_i \; \; \left| {\sum_{i=1}^{m}f(\xi_i)\mu(U_i) - I} \right| < \varepsilon$ 

Здесь $\mathrm{\mu <!--\; \mu \; -->}(U_i)$$\mu(U_i)$  — мера множества $U_i$$U_{i}$ .

Это определение можно сформулировать в другой форме с использованием интегральных сумм. А именно, для данного разбиения $\mathrm{\sigma <!--\; \sigma \; -->}=\{U_i{\}}_{i=1}^m$$\sigma = \{ U_i \}_{i=1}^{m}$  и множества точек $\mathrm{\xi <!--\; \xi \; -->}=\{{\mathrm{\xi <!--\; \xi \; -->}}_i\in <!--\; \in \; -->U_i\}$$\xi = \{ \xi_i \in U_i \}$  рассмотрим интегральную сумму

$\mathrm{\zeta <!--\; \zeta \; -->}(f,\mathrm{\sigma <!--\; \sigma \; -->},\mathrm{\xi <!--\; \xi \; -->})=\underset{i=1}{\overset{m}{\sum <!--\; \sum \; -->}}f({\mathrm{\xi <!--\; \xi \; -->}}_i)\mathrm{\mu <!--\; \mu \; -->}(U_i)$$\zeta(f,\sigma, \xi) = \sum_{i=1}^m f(\xi_i) \mu(U_i)$ 

Кратным интегралом функции $f:B\to <!--\; \to \; -->\mathbb{R}$$f:B\to \R$  называют предел

$I=\underset{\left|\mathrm{\sigma <!--\; \sigma \; -->}\right|\to <!--\; \to \; -->0}{lim}\mathrm{\zeta <!--\; \zeta \; -->}(f,\mathrm{\sigma <!--\; \sigma \; -->},\mathrm{\xi <!--\; \xi \; -->})$$I = \lim_{\left| \sigma \right|\to 0} \zeta(f,\sigma,\xi)$ 

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

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

• В векторном виде

$\underset{G}{\int <!--\; \int \; -->}f\left(X\right)dX=I$$\int\limits_{G}{f\left( X \right)dX}=I$ ,

• Либо ставят значок интеграла $d$$\ d$  раз, записывают функцию и $d$$\ d$  дифференциалов: $\underset{d}{\underset{⏟<!--\; ⏟\; -->}{\int <!--\; \int \; -->\cdots <!--\; \cdots \; -->\int <!--\; \int \; -->}}f(x_1,\dots <!--\; \dots \; -->,x_d)d{x}_1\cdots <!--\; \cdots \; -->d{x}_d=I$$\underbrace{\int{\cdots }\int }_{d}f({{x}_{1}},\ldots ,{{x}_{d}})d{{x}_{1}}\cdots d{{x}_{d}}=I$ .
• Для двойного и тройного интегралов используются также обозначения $\iint <!--\; \iint \; -->$$\iint$  и $\iiint <!--\; \iiint \; -->$$\iiint$  соответственно.

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

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

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

Существование кратного интегралаПравить

Достаточные условия

• Если функция непрерывна на измеримом по Жордану компакте, то она интегрируема на нем.
  • Неограниченная функция на множестве может быть не интегрируемой, даже если она непрерывна. Например, функция $y=1/x$$y=1/x$  не интегрируема на интервале $\left(0;1\right)$$\left( 0;1 \right)$ .
• Если функция определена на измеримом по Жордану множестве, у которого существуют сколь угодно мелкие разбиения, для которых данная функция неограничена на объединении всех их элементов положительной меры, то эта функция неинтегрируема на этом множестве.

Критерий Дарбу

Основная статья: Критерий Дарбу

Пусть существуют верхний $I^{\ast <!--\; \ast \; -->}$$I^*$  и нижний $I_{\ast <!--\; \ast \; -->}$$I_*$  интегралы Дарбу функции на $G$$G$ . Тогда, если верхний и нижний интегралы Дарбу равны, то данная функция интегрируема на $G$$G$ , причем:

$I^{\ast <!--\; \ast \; -->}=I_{\ast <!--\; \ast \; -->}=\underset{G}{\int <!--\; \int \; -->}f\left(X\right)dX$$I^*=I_*=\int\limits_{G}{f\left( X \right)dX}$ 

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

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

• Функция ограничена на $G$$G$ .
• Функция непрерывна на $G\setminus <!--\; \setminus \; -->E$$G\setminus E$ , где множество $E$$E$  имеет меру Лебега нуль.

Свойства кратных интеграловПравить

• Линейность по функции. Пусть $G$$\ G$  измеримо, функции $f$$\ f$  и $g$$\ g$  интегрируемы на $G$$\ G$ , тогда

$\mathrm{\forall <!--\; \forall \; -->}\mathrm{\lambda <!--\; \lambda \; -->},\mathrm{\mu <!--\; \mu \; -->}\in <!--\; \in \; -->\mathbb{R}:\underset{G}{\int <!--\; \int \; -->}\left(\mathrm{\lambda <!--\; \lambda \; -->}f+\mathrm{\mu <!--\; \mu \; -->}g\right)dX=\mathrm{\lambda <!--\; \lambda \; -->}\underset{G}{\int <!--\; \int \; -->}fdX+\mathrm{\mu <!--\; \mu \; -->}\underset{G}{\int <!--\; \int \; -->}gdX$$\forall \lambda ,\mu \in \R:~ \int\limits_{G}{\left( \lambda f+\mu g \right)dX}=\lambda \int\limits_{G}{fdX}+\mu \int\limits_{G}{gdX}$ .

• Аддитивность по множеству интегрирования. Пусть множества $G_1$${G}_{1}$  и $G_2$$G_{2}$  измеримы, $G_1\cap <!--\; \cap \; -->G_2=\mathrm{\varnothing <!--\; \varnothing \; -->}$$G_1\cap G_2 = \varnothing$  и $G_1\cup <!--\; \cup \; -->G_2=G$$G_1\cup G_2 = G$ . Пусть также функция $f(X)$$f(X)$  определена и интегрируема на каждом из множеств $G_1$$G_{1}$  и $G_2$$G_{2}$ . Тогда интеграл по $G$$G$  существует и равен

${\int <!--\; \int \; -->}_{G}f(X)dX={\int <!--\; \int \; -->}_{G_1}f(X)dX+{\int <!--\; \int \; -->}_{G_2}f(X)dX$$\int_G f(X) dX = \int_{G_1} f(X) dX + \int_{G_2} f(X) dX$ .

• Монотонность по функции. Пусть $G$$G$  измеримо, функции $f$$f$  и $g$$g$  интегрируемы на $G$$G$ , причем $\mathrm{\forall <!--\; \forall \; -->}X\in <!--\; \in \; -->G:<!--\; :\; -->f\left(X\right)⩽<!--\; ⩽\; -->g\left(X\right)$$\forall X\in G\colon f\left( X \right)\leqslant g\left( X \right)$ . Тогда

${\int <!--\; \int \; -->}_{G}f(X)dX⩽<!--\; ⩽\; -->{\int <!--\; \int \; -->}_{G}g(X)dX$$\int_G f(X)dX \leqslant \int_G g(X)dX$ .

• Интегральное неравенство треугольника. Следствие предыдущего свойства.

$\left|{\int <!--\; \int \; -->}_{G}f(X)dX\right|⩽<!--\; ⩽\; -->{\int <!--\; \int \; -->}_G\left|f(X)\right|dX$$\left| \int_G f(X)dX \right|\leqslant \int_G \left| f(X) \right| dX$ 

• Интегральная теорема о среднем. Пусть $G$$G$  — компакт, функция $f(X)$$f(X)$  непрерывна и интегрируема на $G$$G$ , тогда

$\mathrm{\exists <!--\; \exists \; -->}Y\in <!--\; \in \; -->G:<!--\; :\; -->{\int <!--\; \int \; -->}_{G}f(X)dX=f(Y)\mathrm{\mu <!--\; \mu \; -->}(G)$$\exists Y\in G\colon \int_G f(X)dX = f(Y) \mu(G)$ 

• Постоянная функция $f(X)=c$$f(X) = c$  интегрируема на любом измеримом множестве $G$$G$ , причем

${\int <!--\; \int \; -->}_{G}f(X)dX=c\cdot <!--\; \cdot \; -->\mathrm{\mu <!--\; \mu \; -->}(G)$$\int_G f(X)dX = c\cdot \mu(G)$ .

• Как следствие, ${\int <!--\; \int \; -->}_{G}dX=\mathrm{\mu <!--\; \mu \; -->}(G)$$\ \int_G dX = \mu(G)$ .

Вычисление кратных интеграловПравить

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

Пусть $D\subset <!--\; \subset \; -->{\mathbb{R}}^{d-<!--\; -\; -->1}$$D\subset {{\mathbb{R}}^{d-1}}$  — измеримое множество, $G=\left\{\left(x_1,\dots <!--\; \dots \; -->,x_d\right):\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)\in <!--\; \in \; -->D;\mathrm{\phi <!--\; \phi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)\le <!--\; \le \; -->x_d\le <!--\; \le \; -->\mathrm{\psi <!--\; \psi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)\right\}$$G=\left\{ \left( {{x}_{1}},\ldots ,{{x}_{d}} \right):\left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right)\in D;\varphi \left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right)\le {{x}_{d}}\le \psi \left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right) \right\}$  — также измеримое множество, $f\left(X\right)$$f\left( X \right)$  определена и интегрируема на $G$$\ G$ . Тогда

• $\underset{\mathrm{\phi <!--\; \phi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\overset{\mathrm{\psi <!--\; \psi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\int <!--\; \int \; -->}}f\left(x_1,\dots <!--\; \dots \; -->,x_d\right)d{x}_d\equiv <!--\; \equiv \; -->I\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)$$\int \limits _{\ \varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\equiv I\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)$  существует всюду на $D$$D$ , кроме множества $D_0$$D_0$  Лебеговой меры нуль ($D_0$$D_0$  может быть пустым);
• существует $\underset{D}{\int <!--\; \int \; -->}\stackrel{~<!--\; ~\; -->}{I}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)d{x}_1\dots <!--\; \dots \; -->d{x}_{d-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->\underset{D}{\int <!--\; \int \; -->}\left[\underset{\mathrm{\phi <!--\; \phi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\overset{\mathrm{\psi <!--\; \psi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\int <!--\; \int \; -->}}f\left(x_1,\dots <!--\; \dots \; -->,x_d\right)d{x}_d\right]d{x}_1\dots <!--\; \dots \; -->d{x}_{d-<!--\; -\; -->1}$$\int \limits _{D}{\tilde {I}}\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)d{{x}_{1}}\ldots d{{x}_{d-1}}\equiv \int \limits _{D}{\left[\int \limits _{\,\varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\right]d{{x}_{1}}\ldots d{{x}_{d-1}}}$ , где

$\tilde I\left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right) \equiv \begin{cases} I\left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right), & ({{x}_{1}},\ldots ,{{x}_{d-1}}) \in D \backslash D_0 \\ \qquad \quad 0 & ({{x}_{1}},\ldots ,{{x}_{d-1}}) \in D_0, \end{cases}$ 

называемый повторным интегралом от функции $f\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)$$f\left( {{x}_{1}},\ldots ,{{x}_{d-1}} \right)$  по множеству $G$$G$ ;

• $\underset{G}{\int <!--\; \int \; -->}f\left(x_1,\dots <!--\; \dots \; -->,x_d\right)d{x}_1\dots <!--\; \dots \; -->d{x}_d=\underset{D}{\int <!--\; \int \; -->}\left[\underset{\mathrm{\phi <!--\; \phi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\overset{\mathrm{\psi <!--\; \psi \; -->}\left(x_1,\dots <!--\; \dots \; -->,x_{d-<!--\; -\; -->1}\right)}{\int <!--\; \int \; -->}}f\left(x_1,\dots <!--\; \dots \; -->,x_d\right)d{x}_d\right]d{x}_1\dots <!--\; \dots \; -->d{x}_{d-<!--\; -\; -->1}$$\int \limits _{G}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{1}}\ldots d{{x}_{d}}}=\int \limits _{D}{\left[\int \limits _{\,\varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\right]d{{x}_{1}}\ldots d{{x}_{d-1}}}$ .

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

Замена переменных в кратном интегралеПравить

Пусть задано биективное отображение ${\mathbb{R}}^d\leftrightarrow <!--\; \leftrightarrow \; -->{\mathbb{R}}^d$${{\mathbb{R}}^{d}} \leftrightarrow {{\mathbb{R}}^{d}}$ , переводящее область $D^{\prime }$$\ {{D}'}$  в $D$$\ D$ :

$\{\begin{array}{r}{t}_1={\mathrm{\psi <!--\; \psi \; -->}}_1\left(x_1,\dots <!--\; \dots \; -->,x_d\right)\\ t_2={\mathrm{\psi <!--\; \psi \; -->}}_2\left(x_1,\dots <!--\; \dots \; -->,x_d\right)\\ \dots <!--\; \dots \; -->\\ t_d={\mathrm{\psi <!--\; \psi \; -->}}_d\left(x_1,\dots <!--\; \dots \; -->,x_d\right)\end{array}$$\left\{ \begin{align} {{t}_{1}}={{\psi }_{1}}\left( {{x}_{1}},\ldots ,{{x}_{d}} \right) \\ {{t}_{2}}={{\psi }_{2}}\left( {{x}_{1}},\ldots ,{{x}_{d}} \right) \\ \ldots \\ {{t}_{d}}={{\psi }_{d}}\left( {{x}_{1}},\ldots ,{{x}_{d}} \right) \\ \end{align} \right.$ ,

где $t$$t$  — «старые» координаты, а $x$$x$  — «новые» координаты. Пусть далее функции, задающие отображение, имеют в области $D^{\prime }$$\ {{D}'}$  непрерывные частные производные первого порядка, а также ограниченный и отличный от нуля якобиан

$\frac{D\left(t\right)}{D\left(x\right)}=\frac{D\left(t_1,\dots <!--\; \dots \; -->,t_d\right)}{D\left(x_1,\dots <!--\; \dots \; -->,x_d\right)}$$\frac{D\left( t \right)}{D\left( x \right)}=\frac{D\left( {{t}_{1}},\ldots ,{{t}_{d}} \right)}{D\left( {{x}_{1}},\ldots ,{{x}_{d}} \right)}$ .

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

$\underset{D}{\int <!--\; \int \; -->}f\left(T\right)dT=\int <!--\; \int \; -->\underset{D}{\int <!--\; \int \; -->}\dots <!--\; \dots \; -->\int <!--\; \int \; -->f\left(t_1,\dots <!--\; \dots \; -->,t_d\right)d{t}_1\dots <!--\; \dots \; -->d{t}_d$$\int\limits_{D}{f\left( T \right)dT}=\int{\int\limits_{D}{\ldots \int{f\left( {{t}_{1}},\ldots ,{{t}_{d}} \right)d{{t}_{1}}\ldots d{{t}_{d}}}}}$ 

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

$\int <!--\; \int \; -->\underset{D}{\int <!--\; \int \; -->}\dots <!--\; \dots \; -->\int <!--\; \int \; -->f\left(t_1,\dots <!--\; \dots \; -->,t_d\right)d{t}_1\dots <!--\; \dots \; -->d{t}_d=\int <!--\; \int \; -->\underset{D^{\prime }}{\int <!--\; \int \; -->}\dots <!--\; \dots \; -->\int <!--\; \int \; -->f\left({\mathrm{\psi <!--\; \psi \; -->}}_1\left(x_1,\dots <!--\; \dots \; -->,x_d\right),\dots <!--\; \dots \; -->,{\mathrm{\psi <!--\; \psi \; -->}}_d\left(x_1,\dots <!--\; \dots \; -->,x_d\right)\right)\left|\frac{D\left(t_1,\dots <!--\; \dots \; -->,t_d\right)}{D\left(x_1,\dots <!--\; \dots \; -->,x_d\right)}\right|d{x}_1\dots <!--\; \dots \; -->d{x}_d$$\int{\int\limits_{D}{\ldots \int{f\left( {{t}_{1}},\ldots ,{{t}_{d}} \right)d{{t}_{1}}\ldots d{{t}_{d}}}}}=\int{\int\limits_{{{D}'}}{\ldots \int{f\left( {{\psi }_{1}}\left( {{x}_{1}},\ldots ,{{x}_{d}} \right),\ldots ,{{\psi }_{d}}\left( {{x}_{1}},\ldots ,{{x}_{d}} \right) \right)\left| \frac{D\left( {{t}_{1}},\ldots ,{{t}_{d}} \right)}{D\left( {{x}_{1}},\ldots ,{{x}_{d}} \right)} \right|d{{x}_{1}}\ldots d{{x}_{d}}}}}$ 

Использование симметрииПравить

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

Пример 1. Пусть функция $f(x,y)=2\sin <!--\; \; -->(x)-<!--\; -\; -->3y^3+5$$f(x,y) = 2 \sin(x)-3y^3+5$  интегрируется по области

$T=\left\{(x,y)\in <!--\; \in \; -->{\mathbf{R}}^2:x^2+y^2\le <!--\; \le \; -->1\right\},$$T=\left \{ ( x,y) \in \mathbf{R}^2 \ : \ x^2+y^2\le 1 \right \},$ 

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

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

${\iint <!--\; \iint \; -->}_T(2\sin <!--\; \; -->x-<!--\; -\; -->3y^3+5)dxdy={\iint <!--\; \iint \; -->}_{T}2\sin <!--\; \; -->xdxdy-<!--\; -\; -->{\iint <!--\; \iint \; -->}_{T}3y^{3}dxdy+{\iint <!--\; \iint \; -->}_{T}5dxdy$$\iint_T (2\sin x - 3y^3 + 5) \, dx \, dy = \iint_T 2 \sin x \, dx \, dy - \iint_T 3y^3 \, dx \, dy + \iint_T 5 \, dx \, dy$ 

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

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

$T=\left\{(x,y,z)\in <!--\; \in \; -->{\mathbf{R}}^3:x^2+y^2+z^2\le <!--\; \le \; -->4\right\}.$$T = \left \{ ( x,y, z) \in \mathbf{R}^3 \ : \ x^2+y^2+z^2 \le 4 \right \}.$ 

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

Двойной интегралПравить

 

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

Двойным интегралом называют кратный интеграл с $d=2$$\ d = 2$ .

$\underset{D}{\iint <!--\; \iint \; -->}f\left(P\right)d\mathrm{\sigma <!--\; \sigma \; -->}$$\iint\limits_{D}{f\left( P \right)d\sigma }$ . Здесь $d\mathrm{\sigma <!--\; \sigma \; -->}$$\ d\sigma$  — элемент площади в рассматриваемых координатах.

В прямоугольных координатах: $\underset{D}{\iint <!--\; \iint \; -->}f\left(x,y\right)dxdy$$\iint\limits_{D}{f\left( x,y \right)dxdy}$ , где $dxdy$$\ dxdy$  — элемент площади в прямоугольных координатах.

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

Пусть функция $f\left(x,y\right)$$f\left( x,y \right)$  принимает в области $D$$\ D$  только положительные значения. Тогда двойной интеграл $\underset{D}{\iint <!--\; \iint \; -->}f\left(x,y\right)d\mathrm{\sigma <!--\; \sigma \; -->}::$$\iint \limits _{D}{f\left(x,y\right)d\sigma }::$  численно равен объему $V$$\ V$  вертикального цилиндрического тела, построенного на основании $D$$\ D$  и ограниченного сверху соответствующим куском поверхности $z=f\left(x,y\right)$$z=f\left( x,y \right)$ .

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

 

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

 

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

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

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

$\left\{{\begin{aligned}&x=r\cos \varphi \\&y=r\sin \varphi \end{aligned}}\right.$ 

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

$\underset{D}{\iint <!--\; \iint \; -->}f\left(x,y\right)dxdy=\underset{D^{\prime }}{\iint <!--\; \iint \; -->}g\left(r,\mathrm{\phi <!--\; \phi \; -->}\right)rdrd\mathrm{\phi <!--\; \phi \; -->},$$\iint \limits _{D}{f\left(x,y\right)dxdy}=\iint \limits _{{D}'}{g\left(r,\varphi \right)rdrd\varphi },\quad$  где $g\left(r,\mathrm{\phi <!--\; \phi \; -->}\right)=f\left(r\cos <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->},r\sin <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->}\right)$$g\left(r,\varphi \right)=f\left(r\cos \varphi ,r\sin \varphi \right)$ .

Здесь $rdrd\mathrm{\phi <!--\; \phi \; -->}$$\ rdrd\varphi$  является элементом площади в полярных координатах.

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

Посчитаем площадь области $D=\left\{\left(x,y\right):x^2+\frac{y^2}{4}\le <!--\; \le \; -->1\right\}$$D=\left\{ \left( x,y \right):{{x}^{2}}+\frac{{{y}^{2}}}{4}\le 1 \right\}$ .

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

$D^{\prime }=\left\{\left(r,\mathrm{\phi <!--\; \phi \; -->}\right):r^2\left({\cos }^2\mathrm{\phi <!--\; \phi \; -->}+\frac{1}{4}{\sin }^2\mathrm{\phi <!--\; \phi \; -->}\right)\le <!--\; \le \; -->1\right\}$${D}'=\left\{ \left( r,\varphi \right):{{r}^{2}}\left( {{\cos }^{2}}\varphi +\frac{1}{4}{{\sin }^{2}}\varphi \right)\le 1 \right\}$ .

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

$\left\{ \begin{align} & x=r\cos \varphi \\ & y=2r\sin \varphi \\ \end{align} \right.$ .

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

${D}''=\left\{ \left( r,\varphi \right):{{r}^{2}}\le 1 \right\}\Rightarrow \left\{ \begin{align} & 0\le \varphi \le 2\pi \\ & 0\le r\le 1 \\ \end{align} \right.$ .

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

$\left| \begin{matrix} {{{{x}'}}_{r}} & {{{{y}'}}_{r}} \\ {{{{x}'}}_{\varphi }} & {{{{y}'}}_{\varphi }} \\ \end{matrix} \right|=\left| \begin{matrix} \cos \varphi & 2\sin \varphi \\ -r\sin \varphi & 2r\cos \varphi \\ \end{matrix} \right|=2r$ .

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

Отсюда

$S\left(D\right)=\underset{D^{″}}{\iint <!--\; \iint \; -->}2rdrd\mathrm{\phi <!--\; \phi \; -->}=2\underset{0}{\overset{2\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}d\mathrm{\phi <!--\; \phi \; -->}\underset{0}{\overset{1}{\int <!--\; \int \; -->}}rdr=\underset{0}{\overset{2\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}d\mathrm{\phi <!--\; \phi \; -->}=2\mathrm{\pi <!--\; \pi \; -->}$$S\left( D \right)=\iint\limits_{{{D}''}}{2rdrd\varphi }=2\int\limits_{0}^{2\pi }{d\varphi }\int\limits_{0}^{1}{rdr}=\int\limits_{0}^{2\pi }{d\varphi }=2\pi$ .

Результат верный, так как область $D$$\ D$  ограничена эллипсом, заданным каноническим уравнением. Площадь можно посчитать по формуле $S=\mathrm{\pi <!--\; \pi \; -->}ab$$S=\pi ab$ . Путём подстановки убеждаемся в верности вычисления интеграла.

Приложения двойных интеграловПравить

Наименование величины	Общее выражение	Прямоугольные координаты	Полярные координаты
Площадь плоской фигуры	$S=\underset{G}{\iint <!--\; \iint \; -->}d\mathrm{\sigma <!--\; \sigma \; -->}$$S=\iint\limits_{G}{d\sigma }$	$\underset{G}{\iint <!--\; \iint \; -->}dxdy$$\iint\limits_{G}{dxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}rdrd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{rdrd\varphi }$
Масса тонкой плоской пластинки плотностью $\mathrm{\mu <!--\; \mu \; -->}$$\mu$	$m=\underset{G}{\iint <!--\; \iint \; -->}\mathrm{\mu <!--\; \mu \; -->}\left(\mathrm{\sigma <!--\; \sigma \; -->}\right)d\mathrm{\sigma <!--\; \sigma \; -->}$$m=\iint\limits_{G}{\mu \left( \sigma \right)d\sigma }$	$\underset{G}{\iint <!--\; \iint \; -->}\mathrm{\mu <!--\; \mu \; -->}\left(x,y\right)dxdy$$\iint\limits_{G}{\mu \left( x,y \right)dxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}\mathrm{\mu <!--\; \mu \; -->}\left(r,\mathrm{\phi <!--\; \phi \; -->}\right)rdrd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{\mu \left( r,\varphi \right)rdrd\varphi }$
Площадь куска поверхности${}^{1)}$$^{1)}$	$S=\underset{G}{\iint <!--\; \iint \; -->}\frac{d\mathrm{\sigma <!--\; \sigma \; -->}}{\cos <!--\; \; -->\mathrm{\gamma <!--\; \gamma \; -->}}$$S=\iint\limits_{G}{\frac{d\sigma }{\cos \gamma }}$	$\underset{G}{\iint <!--\; \iint \; -->}\sqrt{1+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}z}{\mathrm{\partial <!--\; \partial \; -->}x}\right)}^2+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}z}{\mathrm{\partial <!--\; \partial \; -->}y}\right)}^2}dxdy$$\iint\limits_{G}{\sqrt{1+{{\left( \frac{\partial z}{\partial x} \right)}^{2}}+{{\left( \frac{\partial z}{\partial y} \right)}^{2}}}dxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}\sqrt{r^2+r^2{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}z}{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\rho <!--\; \rho \; -->}}\right)}^2+{\left(\frac{\mathrm{\partial <!--\; \partial \; -->}z}{\mathrm{\partial <!--\; \partial \; -->}\mathrm{\phi <!--\; \phi \; -->}}\right)}^2}drd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{\sqrt{{{r}^{2}}+{{r}^{2}}{{\left( \frac{\partial z}{\partial \rho } \right)}^{2}}+{{\left( \frac{\partial z}{\partial \varphi } \right)}^{2}}}drd\varphi }$
Объем цилиндрического тела, стоящего на плоскости $XOY$$XOY$	$V=\underset{G}{\iint <!--\; \iint \; -->}zd\mathrm{\sigma <!--\; \sigma \; -->}$$V=\iint\limits_{G}{zd\sigma }$	$\underset{G}{\iint <!--\; \iint \; -->}zdxdy$$\iint\limits_{G}{zdxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}zrdrd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{zrdrd\varphi }$
Момент инерции плоской фигуры${}^{2)}$$^{2)}$  относительно оси $O{Z}^{3)}$$O{{Z}^{3)}}$	$I_z=\underset{G}{\iint <!--\; \iint \; -->}{r}^{2}d\mathrm{\sigma <!--\; \sigma \; -->}$${{I}_{z}}=\iint\limits_{G}{{{r}^{2}}d\sigma }$	$\underset{G}{\iint <!--\; \iint \; -->}\left(x^2+y^2\right)dxdy$$\iint\limits_{G}{\left( {{x}^{2}}+{{y}^{2}} \right)dxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}{r}^{3}drd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{{{r}^{3}}drd\varphi }$
Момент инерции плоской фигуры${}^{2)}$$^{2)}$  относительно оси $O{X}^{3)}$$O{{X}^{3)}}$	$I_z=\underset{G}{\iint <!--\; \iint \; -->}{y}^{2}d\mathrm{\sigma <!--\; \sigma \; -->}$${{I}_{z}}=\iint\limits_{G}{{{y}^{2}}d\sigma }$	$\underset{G}{\iint <!--\; \iint \; -->}{y}^{2}dxdy$$\iint\limits_{G}{{{y}^{2}}dxdy}$	$\underset{G}{\iint <!--\; \iint \; -->}{r}^3{\sin }^2\mathrm{\phi <!--\; \phi \; -->}drd\mathrm{\phi <!--\; \phi \; -->}$$\iint\limits_{G}{{{r}^{3}}{{\sin }^{2}}\varphi drd\varphi }$
Координаты центра масс однородной пластинки${}^{3)}$$^{3)}$	$x_c=\frac{1}{S}\underset{G}{\iint <!--\; \iint \; -->}xd\mathrm{\sigma <!--\; \sigma \; -->}$${{x}_{c}}=\frac{1}{S}{\iint\limits_{G}{xd\sigma }}$  $y_c=\frac{1}{S}\underset{G}{\iint <!--\; \iint \; -->}yd\mathrm{\sigma <!--\; \sigma \; -->}$${{y}_{c}}=\frac{1}{S}{\iint\limits_{G}{yd\sigma }}$	$\begin{align} & \frac{1}{S}{\iint\limits_{G}{xdxdy}} \\ & \frac{1}{S}{\iint\limits_{G}{ydxdy}} \\ \end{align}$	$\begin{align} & \frac{1}{S}{\iint\limits_{G}{{{r}^{2}}\cos \varphi drd\varphi }} \\ & \frac{1}{S}{\iint\limits_{G}{{{r}^{2}}\sin \varphi drd\varphi }} \\ \end{align}$
Примечания	1) Область $G$$G$  — проекция на плоскость $XOY$$XOY$ ; в каждую точку области проектируется только одна точка поверхности; $\mathrm{\gamma <!--\; \gamma \; -->}$$\gamma$  — угол между касательной плоскостью и плоскостью $XOY$$XOY$ . 2) Совмещенной с плоскостью $XOY$$XOY$ . 3) Или, что то же, относительно центра О.

Тройной интегралПравить

Тройным интегралом называют кратный интеграл с $d=3$$\ d = 3$ :

$\underset{D}{\iiint <!--\; \iiint \; -->}f\left(P\right)dV$$\iiint\limits_{D}{f\left( P \right)dV }$ 

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

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

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

$\underset{D}{\iiint <!--\; \iiint \; -->}f(x,y,z)dxdydz$$\iiint\limits_{D} f(x,y,z) \, dx \, dy \, dz$ 

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

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

 

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

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

$\left\{ \begin{align} & x=r\cos \varphi \\ & y=r\sin \varphi \\ & z=h \\ \end{align} \right.$ 

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

$\underset{D}{\iiint <!--\; \iiint \; -->}f\left(x,y,z\right)dxdydz=\underset{D^{\prime }}{\iiint <!--\; \iiint \; -->}f\left(r,\mathrm{\phi <!--\; \phi \; -->},h\right)rdrd\mathrm{\phi <!--\; \phi \; -->}dh$$\iiint\limits_{D}{f\left( x,y,z \right)dxdydz}=\iiint\limits_{{{D}'}}{f\left( r,\varphi ,h \right)rdrd\varphi dh}$ 

где $rdrd\mathrm{\phi <!--\; \phi \; -->}dh$$rdrd\varphi dh$  — элемент объема в цилиндрических координатах.

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

 

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

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

$\left\{ \begin{align} & x=r\sin \theta \cos \varphi \\ & y=r\sin \theta \sin \varphi \\ & z=r\cos \theta \\ \end{align} \right.$ 

Модуль якобиана отображения равен $r^2\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}$$\ {{r}^{2}}\sin \theta$ . Таким образом получаем, что

$\underset{D}{\iiint <!--\; \iiint \; -->}f\left(x,y,z\right)dxdydz=\underset{D^{″}}{\iiint <!--\; \iiint \; -->}f\left(r,\mathrm{\phi <!--\; \phi \; -->},\mathrm{\theta <!--\; \theta \; -->}\right)r^2\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}drd\mathrm{\phi <!--\; \phi \; -->}d\mathrm{\theta <!--\; \theta \; -->}$$\iiint\limits_{D}{f\left( x,y,z \right)dxdydz}=\iiint\limits_{{{D}''}}{f\left( r,\varphi ,\theta \right){{r}^{2}}\sin \theta drd\varphi d\theta }$ 

где $r^2\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}drd\mathrm{\phi <!--\; \phi \; -->}d\mathrm{\theta <!--\; \theta \; -->}$${{r}^{2}}\sin \theta drd\varphi d\theta$  — элемент объема в сферических координатах.

Приложения тройных интеграловПравить

Наименование величины	Общее выражение	Прямоугольные координаты	Цилиндрические координаты	Сферические координаты
Объем тела	$V=\underset{G}{\iiint <!--\; \iiint \; -->}dV$$V=\iiint\limits_{G}{dV }$	$\underset{G}{\iiint <!--\; \iiint \; -->}dxdydz$$\iiint\limits_{G}{dxdydz}$	$\underset{G}{\iiint <!--\; \iiint \; -->}rdrd\mathrm{\phi <!--\; \phi \; -->}dh$$\iiint\limits_{G}{rdrd\varphi dh}$	$\underset{G}{\iiint <!--\; \iiint \; -->}{\mathrm{\rho <!--\; \rho \; -->}}^2\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}d\mathrm{\rho <!--\; \rho \; -->}d\mathrm{\phi <!--\; \phi \; -->}d\mathrm{\theta <!--\; \theta \; -->}$$\iiint\limits_{G}{{{\rho }^{2}}\sin \theta d\rho d\varphi d\theta }$
Момент инерции геометрического тела относительно оси $OZ$$OZ$	$I_z=\underset{G}{\iiint <!--\; \iiint \; -->}{r}^{2}dV$${{I}_{z}}=\iiint\limits_{G}{{{r}^{2}}dV }$	$\underset{G}{\iiint <!--\; \iiint \; -->}\left(x^2+y^2\right)dxdydz$$\iiint\limits_{G}{\left( {{x}^{2}}+{{y}^{2}} \right)dxdydz}$	$\underset{G}{\iiint <!--\; \iiint \; -->}{r}^{3}drd\mathrm{\phi <!--\; \phi \; -->}dh$$\iiint\limits_{G}{{{r}^{3}}drd\varphi dh}$	$\underset{G}{\iiint <!--\; \iiint \; -->}{\mathrm{\rho <!--\; \rho \; -->}}^4{\sin }^3\mathrm{\theta <!--\; \theta \; -->}d\mathrm{\rho <!--\; \rho \; -->}d\mathrm{\phi <!--\; \phi \; -->}d\mathrm{\theta <!--\; \theta \; -->}$$\iiint\limits_{G}{{{\rho }^{4}}{{\sin }^{3}}\theta d\rho d\varphi d\theta }$
Масса физического тела с плотностью $\mathrm{\mu <!--\; \mu \; -->}$$\mu$	$m=\underset{G}{\iiint <!--\; \iiint \; -->}\mathrm{\mu <!--\; \mu \; -->}dV$$m=\iiint\limits_{G}{\mu dV }$	$\underset{G}{\iiint <!--\; \iiint \; -->}\mathrm{\mu <!--\; \mu \; -->}dxdydz$$\iiint\limits_{G}{\mu dxdydz}$	$\underset{G}{\iiint <!--\; \iiint \; -->}\mathrm{\mu <!--\; \mu \; -->}rdrd\mathrm{\phi <!--\; \phi \; -->}dh$$\iiint\limits_{G}{\mu rdrd\varphi dh}$	$\underset{G}{\iiint <!--\; \iiint \; -->}\mathrm{\mu <!--\; \mu \; -->}{\mathrm{\rho <!--\; \rho \; -->}}^2\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}d\mathrm{\rho <!--\; \rho \; -->}d\mathrm{\phi <!--\; \phi \; -->}d\mathrm{\theta <!--\; \theta \; -->}$$\iiint\limits_{G}{\mu {{\rho }^{2}}\sin \theta d\rho d\varphi d\theta }$
Координаты центра масс однородного тела	$\begin{align} & {{x}_{c}}={\frac{1}{V}}{\iiint\limits_{G}{xdV }} \\ & {{y}_{c}}={\frac{1}{V}}{\iiint\limits_{G}{ydV }} \\ & {{z}_{c}}={\frac{1}{V}}{\iiint\limits_{G}{zdV }} \\ \end{align}$	$\begin{align} & {\frac{1}{V}}{\iiint\limits_{G}{xdxdydz}} \\ & {\frac{1}{V}}{\iiint\limits_{G}{ydxdydz}} \\ & {\frac{1}{V}}{\iiint\limits_{G}{zdxdydz}} \\ \end{align}$	—	—

См. такжеПравить

• Дискретная теорема Грина
• Интеграл
• Мера множества
• Теорема Тонелли — Фубини
• Механические приложения интегралов

ЛитератураПравить

• Выгодский, М. Я. Дифференцирование и интегрирование функций нескольких аргументов // Справочник по высшей математике. — М.: Астрель, АСТ, 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 с.