О многократных интегралах — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м
Строка 1: Строка 1:
Идеология о многократных полностью копирует двойные.
+
Идеология построения многократных интегралов полностью копирует двойные.
  
== Пункт 1 ==
+
== Пункт 1. Основные определения ==
 
<tex>\Pi = [a_1; b_1] \times [a_2; b_2] \times \ldots \times [a_n; b_n] \subset \mathbb{R}^n</tex>
 
<tex>\Pi = [a_1; b_1] \times [a_2; b_2] \times \ldots \times [a_n; b_n] \subset \mathbb{R}^n</tex>
  
Строка 26: Строка 26:
 
<tex>\int\limits_\Pi f = \int\limits_{a_1}^{b_1} dx_1 \ldots \int\limits_{a_n}^{b^n} f(x_1, \ldots, x_n) dx_n</tex>
 
<tex>\int\limits_\Pi f = \int\limits_{a_1}^{b_1} dx_1 \ldots \int\limits_{a_n}^{b^n} f(x_1, \ldots, x_n) dx_n</tex>
  
== Пункт 2 ==
+
== Пункт 2. Интеграл по произвольному множеству ==
  
 
<tex>E \subset \mathbb{R}^n</tex>, <tex>E \subset \Pi</tex>, <tex>f : E \to \mathbb{R}</tex>,  
 
<tex>E \subset \mathbb{R}^n</tex>, <tex>E \subset \Pi</tex>, <tex>f : E \to \mathbb{R}</tex>,  
Строка 43: Строка 43:
 
Выводятся свойства линейности и аддитивности.
 
Выводятся свойства линейности и аддитивности.
  
Добавление очередной размерности позволяет писать в разных формах формулу повторного интегрирования, оперируя сечениями фигуря, которые получаются  
+
Добавление очередной размерности позволяет писать в разных формах формулу повторного интегрирования, оперируя сечениями фигур, которые получаются  
за счёт <tex>m</tex>-мерных гиперплоскостей.
+
за счёт введения <tex>m</tex>-мерных гиперплоскостей.
  
апример, в <tex>\mathbb{R}^3</tex>: <tex>E = \{(x, y) \in G \subset \mathbb{R}^2, z \in (g_1(x, y), g_2(x, y))) \}</tex>
+
Например, в <tex>\mathbb{R}^3</tex>: <tex>E = \{(x, y) \in G \subset \mathbb{R}^2, z \in (g_1(x, y), g_2(x, y))) \}</tex>
  
 
Тогда <tex>\iiint\limits_E f(x, y, z) dx dy dz = \iint\limits_G dx dy \int\limits_{g_1(x, y)}^{g_2(x, y)} f(x, y, z) dz</tex>
 
Тогда <tex>\iiint\limits_E f(x, y, z) dx dy dz = \iint\limits_G dx dy \int\limits_{g_1(x, y)}^{g_2(x, y)} f(x, y, z) dz</tex>
Строка 53: Строка 53:
 
Далее, для точек сечения вне <tex>E</tex> <tex>f(\bar x) = 0</tex>. Получается переменный предел интегрирования.
 
Далее, для точек сечения вне <tex>E</tex> <tex>f(\bar x) = 0</tex>. Получается переменный предел интегрирования.
  
== Пункт 3 ==
+
== Пункт 3. Замена переменных интегрирования ==
  
 
Если исходные переменные выражаются через <tex>n</tex> других,
 
Если исходные переменные выражаются через <tex>n</tex> других,

Версия 02:09, 11 июня 2011

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

Пункт 1. Основные определения

[math]\Pi = [a_1; b_1] \times [a_2; b_2] \times \ldots \times [a_n; b_n] \subset \mathbb{R}^n[/math]

[math]y = f(\bar x) = f(x_1; x_2; \ldots; x_n)[/math]

[math]\tau_j : a_j = a_{j0} \lt a_{j1} \lt \ldots \lt a_{jp_j} = b_j[/math]

[math]\Pi_{i_1i_2\ldots i_n} = [a_{1i_1}; a_{1i_1 + 1}] \times [a_{2i_2}; a_{2i_2 + 1}] \times \ldots \times [a_{ni_n}; a_{ni_n + 1}][/math]


Определение:
[math]\sum f(x_{i_1}, x_{i_2}, \ldots, x_{in}) \Delta a_{1i_1} \Delta a_{2i_2} \ldots \Delta a_{ni_n}[/math] — интегральная сумма.


После этого одновременно все ранги разбиения устремляются к нулю. Если предел не зависит от выбора точек внутри клеток, то эта сумма называется [math]n[/math]-кратным интегралом Римана по прямоугольнику.

[math]\int\limits_\Pi f = \int\limits_{a_1}^{b_1} \ldots \int\limits_{a_n}^{b_n} f(x_1; x_2; \ldots x_n) dx_1 dx_2 \ldots dx_n[/math]

Далее, по аналогии, выводим линейность и аддитивность, устанавливаем тот факт, что [math]f[/math] — непрерывная [math]\Rightarrow[/math] [math]\exists \int f[/math]

Финально, формула повторного интеграла по [math]\Pi[/math]:

[math]\int\limits_\Pi f = \int\limits_{a_1}^{b_1} dx_1 \ldots \int\limits_{a_n}^{b^n} f(x_1, \ldots, x_n) dx_n[/math]

Пункт 2. Интеграл по произвольному множеству

[math]E \subset \mathbb{R}^n[/math], [math]E \subset \Pi[/math], [math]f : E \to \mathbb{R}[/math], [math]f_E(\bar x) = \begin{cases}0 & , \bar x \not\subset E\\f(\bar x) & , \bar x \subset E\end{cases}[/math]

Проверяем существование [math]\int\limits_\Pi f_E[/math]. Если этот интеграл существует, то по аддитивности проверяем, что он не зависит от [math]\Pi \supset E[/math], что позволяет по определению считать, что [math]\int\limits_E f = \int\limits_{\Pi \supset E} f_E[/math]

Это определение уже диктует все свойства [math]\int\limits_E[/math]. Как и в двойном интеграле выясняется, что всё имеет смысл только для тех [math]E \subset \mathbb{R}^n[/math], для которых [math]\exists\int\limits_E 1 = |E|[/math] — 'объём' [math]n[/math]-мерной фигуры, а саму фигуру продолжают называть 'квадрируемой'.

[math]E[/math] — квадрируема [math]\iff[/math] [math]|\partial E| \gt 0[/math] (объём границы равен 0).

Выводятся свойства линейности и аддитивности.

Добавление очередной размерности позволяет писать в разных формах формулу повторного интегрирования, оперируя сечениями фигур, которые получаются за счёт введения [math]m[/math]-мерных гиперплоскостей.

Например, в [math]\mathbb{R}^3[/math]: [math]E = \{(x, y) \in G \subset \mathbb{R}^2, z \in (g_1(x, y), g_2(x, y))) \}[/math]

Тогда [math]\iiint\limits_E f(x, y, z) dx dy dz = \iint\limits_G dx dy \int\limits_{g_1(x, y)}^{g_2(x, y)} f(x, y, z) dz[/math]

Все формулы получаются элементарно: [math]E \subset \Pi[/math], [math]\int\limits_E f = \int\limits_\Pi f_E[/math]. Тут уже есть повторный интеграл. Далее, для точек сечения вне [math]E[/math] [math]f(\bar x) = 0[/math]. Получается переменный предел интегрирования.

Пункт 3. Замена переменных интегрирования

Если исходные переменные выражаются через [math]n[/math] других,

[math]\mathcal{J}(u_1, \ldots, u_n) = \left|\begin{array}{ccc}\frac{\partial x_1}{\partial u_1} & \cdots & \frac{\partial x_1}{\partial u_n} \\\vdots & \ddots & \vdots \\\frac{\partial x_n}{\partial u_1} & \cdots & \frac{\partial x_n}{\partial u_n} \\\end{array}\right| \ne 0[/math]

[math]\int\limits_E f(\bar x) d \bar x = \int\limits_{E'} f(\bar x(\bar u)) |\mathcal{J}(\bar u)| d \bar u[/math]

Так же, как и с двойным интегралом, важнейшим этапом доказательства является то, что [math]E = \int\limits_E |\mathcal{J}(\bar u)|d \bar u[/math].

Однако, это скорее геометрический факт, нежели факт анализа.