Интеграл Римана по прямоугольнику — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м
м (Аддитивность двойного интеграла: чуть больше понятности)
Строка 86: Строка 86:
 
<tex>\iint\limits_\Pi f = \sum\limits_{m = 1}^p \, \iint\limits_{\Pi_m} f</tex>
 
<tex>\iint\limits_\Pi f = \sum\limits_{m = 1}^p \, \iint\limits_{\Pi_m} f</tex>
 
|proof=
 
|proof=
 +
''Пункт 1''. Сначала докажем для разбиения на стандартные клетки
 +
 
<tex>a = a_0 < a_1 \ldots < a_n = b</tex>
 
<tex>a = a_0 < a_1 \ldots < a_n = b</tex>
  
Строка 98: Строка 100:
 
<tex>\tau = \tau_1 \times \tau_2</tex> {{---}} разбиение прямоугольника <tex>\Pi</tex>.
 
<tex>\tau = \tau_1 \times \tau_2</tex> {{---}} разбиение прямоугольника <tex>\Pi</tex>.
  
''Пункт 1''
+
 
  
 
В силу специфики выбора <tex>\tau_1</tex> и <tex>\tau_2</tex> ясно, что каждая клетка <tex>\Pi_{ij}</tex> разбивается в свою очередь на часть клеток разбиения <tex>\tau</tex>.
 
В силу специфики выбора <tex>\tau_1</tex> и <tex>\tau_2</tex> ясно, что каждая клетка <tex>\Pi_{ij}</tex> разбивается в свою очередь на часть клеток разбиения <tex>\tau</tex>.
Строка 107: Строка 109:
 
<tex>\iint\limits_\Pi f = \sum\limits_{i, j} \iint\limits_{\Pi_{ij}} f</tex>, то есть, для специального разбиения всё доказано.
 
<tex>\iint\limits_\Pi f = \sum\limits_{i, j} \iint\limits_{\Pi_{ij}} f</tex>, то есть, для специального разбиения всё доказано.
  
''Пункт 2''
+
''Пункт 2''. Теперь докажем для общего случая(любое замощение прямоугольниками).  
 
 
Теперь докажем для общего случая.  
 
  
 
Занумеруем границы сторон <tex>\Pi_k</tex> в порядке возрастания их координат по вертикали. Так же сделаем с горизонталью. В результате получим  
 
Занумеруем границы сторон <tex>\Pi_k</tex> в порядке возрастания их координат по вертикали. Так же сделаем с горизонталью. В результате получим  

Версия 13:07, 12 июня 2011

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

Будем рассматривать функции двух аргументов. Большее число аргументов добавляет лишь ещё несколько индексов.

[math]\Pi = [a; b] \times [c; d] \subset \mathbb{R}^2[/math], [math]z = f(x, y)[/math]

[math]\tau_1 : a = x_0 \lt x_1 \lt \ldots \lt x_n = b[/math]

[math]\tau_2 : c = y_0 \lt y_1 \lt \ldots \lt y_n = d[/math]

[math]\Pi_{ij} = [x_i; x_{i + 1}] \times [y_j; y_{j + 1}][/math]


Определение:
Совокупность [math]\Pi_{ij}[/math] — разбиение прямоугольника на стандартные клетки. [math]\tau = \tau_1 \times \tau_2[/math]


Определение:
[math]\operatorname{rang} \tau = \max\{\operatorname{diam} \Pi_{ij}\}[/math], где [math]\operatorname{diam} \Pi_{ij}[/math] — диаметр клетки(то есть, длина ее диагонали).


[math](\bar{x_i}, \bar{y_i}) \in \Pi_{ij}[/math]

[math]\sigma(f, \tau) = \sum\limits_{i= 0}^{n - 1} \sum\limits_{j = 0}^{m - 1} f(\bar{x_i}, \bar{y_j}) \delta x_i \delta y_j[/math]

[math]|\Pi_{ij}| = \delta x_i \delta y_j[/math]


Определение:
Двойной интеграл [math]\iint\limits_\Pi f = \iint\limits_\Pi f(x, y) dx dy = \lim\limits_{\operatorname{rang} \tau \to 0} \sigma(f, \tau)[/math]


Далее аналогично определённому интегралу получаем линейность:

  • [math]\iint\limits_\Pi (\alpha f + \beta g) = \alpha \iint\limits_\Pi f + \beta\iint\limits_\Pi g[/math]
  • [math]f(x, y) \leq g(x, y) \Rightarrow \iint\limits_\Pi f \leq \iint\limits_\Pi g[/math]

Для того, чтобы выписать критерий существования двойного интеграла, определим аналоги сумм Дарбу: [math]m_{ij} = \inf\limits_{\Pi_{ij}} f(x, y)[/math], [math]M_{ij} = \sup\limits_{\Pi_{ij}} f(x, y)[/math]

[math]\underline{s}(f, \tau) = \sum\limits_{i, j} m_{ij} \delta x_i \delta y_j[/math],

[math]\overline{s}(f, \tau) = \sum\limits_{i, j} M_{ij} \delta x_i \delta y_j[/math]

Введём понятие "измельчение разбиения":


Определение:
Возьмём более мелкое разбиение по [math]x[/math], [math]y[/math]. Тогда полученное разбиение называется 'мельче исходного'(каждая клетка мелкого разбиения содержится в более крупной).


Установим свойства этих сумм, аналогичные одномерным:

  • [math]\tau' \leq \tau \Rightarrow \underline{s}(\tau) \leq \underline{s}(\tau') \leq \overline{s}(\tau') \leq \overline{s}(\tau)[/math]
  • [math]\tau, \tau' \Rightarrow \underline{s}(\tau') \leq \overline{s}(\tau)[/math]

Тогда существование интеграла равносильно совпедению пределов нижней и верхней интегральных сумм [math]\underline{I}[/math] и [math]\overline{I}[/math].

[math]\iint\limits_\Pi[/math] существует [math]\iff[/math] [math]\underline{I} = \overline{I}[/math] [math]\iff[/math] [math]\omega(f, \tau) \to 0[/math].

Прямоугольник — компакт на плоскости [math]\Rightarrow[/math] (функция непрерывна [math]\Rightarrow[/math] равномерно непрерывна) [math]\Rightarrow[/math] [math]\forall \varepsilon \gt 0 \ \exists \delta \geq 0 : \|x'' - x'\| \lt \delta \Rightarrow |f(x'') - f(x')| \lt \varepsilon[/math]

[math]f[/math] — непрерывна на [math]\Pi[/math]. [math]\forall \varepsilon \gt 0 \ \exists \delta : \operatorname{rang} \tau \lt \delta \Rightarrow \forall x', x'' \in \Pi_{ij} : |f(x') - f(x'')| \lt \varepsilon[/math]

Тогда [math]\omega(f, \tau) \leq \varepsilon |\Pi| \to 0[/math]

Итак, если [math]f[/math] — непрерывна на [math] \Pi [/math], то существует [math]\iint\limits_\Pi f[/math](достаточное условие интегрируемости).

Аддитивность двойного интеграла

Некоторая специфика возникает в аддитивности интеграла.

Было в однократном интеграле: [math]\int\limits_a^c f = \int\limits_a^b f + \int\limits_b^c f[/math] ([math]a \leq b \leq c[/math]). При этом, [math]\exists \int\limits_a^c f \iff \exists \int\limits_a^b f, \exists\int\limits_b^c f[/math].

Сам факт аддитивности сохраняется. Если [math]\Pi[/math] разбито на конечное число прямоугольников [math]p[/math], и они не имеют общих внутренних точек, то:

  • [math]\exists \iint\limits_\Pi f \iff \forall m \ \exists \int\limits_{\Pi_m} f[/math]
  • [math]\iint\limits_\Pi f = \sum\limits_{m = 1}^p \, \iint\limits_{\Pi_m} f[/math]

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

Утверждение:
[math]\iint\limits_\Pi f = \sum\limits_{m = 1}^p \, \iint\limits_{\Pi_m} f[/math]
[math]\triangleright[/math]

Пункт 1. Сначала докажем для разбиения на стандартные клетки

[math]a = a_0 \lt a_1 \ldots \lt a_n = b[/math]

[math]c = c_0 \lt c_1 \ldots \lt c_n = d[/math]

[math]\Pi_{ij} = [a_i; a_{i + 1}] \times [c_j; c_{j + 1}][/math]

[math]\Pi = \bigcup\limits_{i, j} \Pi_{ij}[/math]

[math]\tau_1[/math] — разбиение [math][a; b][/math], содержит все [math]a_i[/math]. Аналогично, [math]\tau_2[/math] — разбение [math][c; d][/math], содержит все [math]c_j[/math].

[math]\tau = \tau_1 \times \tau_2[/math] — разбиение прямоугольника [math]\Pi[/math].


В силу специфики выбора [math]\tau_1[/math] и [math]\tau_2[/math] ясно, что каждая клетка [math]\Pi_{ij}[/math] разбивается в свою очередь на часть клеток разбиения [math]\tau[/math]. То есть, мы получаем разбиение каждой клетки [math]\Pi_{ij}[/math]. Посчитаем интегральные суммы по всем клеткам. Тогда ясно, что если все эти суммы сложить, то получим разбиение [math]\tau[/math]. Каждая из этих сумм стремится к конечному пределу [math]\iint\limits_{\Pi_{ij}} f[/math], сумм конечное число. Тогда получаем:

[math]\iint\limits_\Pi f = \sum\limits_{i, j} \iint\limits_{\Pi_{ij}} f[/math], то есть, для специального разбиения всё доказано.

Пункт 2. Теперь докажем для общего случая(любое замощение прямоугольниками).

Занумеруем границы сторон [math]\Pi_k[/math] в порядке возрастания их координат по вертикали. Так же сделаем с горизонталью. В результате получим разбиение вертикальной и горизонтальной сторон исходного прямоугольника [math]\Pi[/math], с помощью них, как и в пункте 1, разбиваем [math]\Pi[/math] на клетки [math]\Pi_{ij}[/math]. По первому пункту получаем:

[math]\iint\limits_{\Pi} f = \sum\limits_{i, j} \iint\limits_{\Pi_{ij}} f[/math]

С другой стороны, по тому, как выстраиваются разбиения, ясно, что вся совокупность клеток разбивается на части по принципу: "к [math]k[/math]-й части относятся те из них, которые разбивают клетку [math]\Pi_k[/math]". Такое разбиение снова стандарнтно.

[math]\iint\limits_{\Pi_k} f = \sum\limits_{\Pi_{ij} \subset \Pi_k} \iint\limits_{\Pi_{ij}} f[/math]

[math]\sum\limits_k \iint\limits_{\Pi_k} f [/math] [math]= \sum\limits_k \sum\limits_{\Pi_{ij} \subset \Pi_k} \iint\limits_{\Pi_{ij}} f [/math] [math]= \sum\limits_{i, j} \iint\limits_{\Pi_{ij}} f [/math] [math]= \iint\limits_\Pi f[/math]

Формула доказана для произвольного разбиения.
[math]\triangleleft[/math]