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

Эта статья находится в разработке!

Читателям

Эта статья каг бе говорит тебе: пойми меня и исправь всё неправильное, а так же добавь понятности и викифицируй меня.

(Дополнительно) Объясни меня тому, кто всё это написал

(Дополнительно) Допиши меня

Нанопример

В простейших случаях легко убедиться в существовании определённого интеграла.

Например, для [math]f(x) = m[/math]:

[math]\sigma(f, \tau) = \sum\limits_{k = 0}^n - 1 m\Delta x_k = m(b - a)[/math]

Значит, [math]\int\limits_a^b m dx = m(b - a)[/math]

Функция Дирихле

Рассмотрим функцию Дирихле: [math] d(x) = \left\{ \begin{aligned} 1,\ & x \notin \mathbb{Q} \\ 0,\ & x \in \mathbb{Q} \\ \end{aligned} \right. [/math]

Тогда можно составить две различных системы точек:

• [math]X_Q = \{a | a \in \mathbb{Q} \}[/math]
• [math]X_R = \{a | a \notin \mathbb{Q} \}[/math]

В одном случае получаем, что [math]\int\limits_0^1 d(x) dx = 0[/math], а в другом — [math]\int\limits_0^1 d(x) dx = 1[/math].

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

Суммы Дарбу

Возникает вполне логичный вопрос: <<Какова должна быть функция [math]f[/math], чтобы быть интегрируемой?>>. Напишем ответ на классическом языке(Дарбу).

В силу того, что ограниченность функции необходима для интегрируемости, далее это не оговаривается.

Пусть задана ограниченная функция [math]f \colon [a; b] \to \mathbb{R}[/math] и задан набор точек [math]\tau : a = x_0 \lt x_1 \lt \ldots \lt x_n = b[/math]

Определим

[math]m_k(f) = m_k = \inf\limits_{x \in [x_k; x_{k+1}]} f(x)[/math] [math]M_k(f) = M_k = \sup\limits_{x \in [x_k; x_{k+1}]} f(x)[/math] [math]\underline{s} (f, \tau) = \underline{s} (\tau) = \sum\limits_{k = 0}^{n - 1} m_k \Delta x_k[/math] — нижняя сумма Дарбу [math]\overline{s} (f, \tau) = \overline{s} (\tau) = \sum\limits_{k = 0}^{n - 1} M_k \Delta x_k[/math] — верхняя сумма Дарбу

Тогда, очевидно, [math]\underline{s}(\tau) \leq \sigma(\tau) \leq \overline{s}(\tau)[/math].

Определение:

Если [math]\tau_1 \subset \tau_2[/math], то говорят, что [math]\tau_2[/math] мельче, чем [math]\tau_1[/math], или же [math]\tau_2 \leq \tau_1[/math]

Утверждение:

Сумма Дарбу обладает следующими свойствами: [math]\underline{s}(\tau) \leq \overline{s}(\tau)[/math] [math]\tau_1 \subset \tau_2 \Rightarrow \left\{ \begin{aligned} \underline{s}(\tau_1) & \leq & \underline{s}(\tau_2) \\ \overline{s}(\tau_1) & \geq & \overline{s}{\tau_2} \\ \end{aligned} \right. [/math] [math]\forall \tau_1, \tau_2 \ \underline{s}(\tau_1) \leq \overline{s}(\tau_2)[/math]

[math]\triangleright[/math]

Первое свойство очевидно(из определения сумм Дарбу). Докажем второе свойство. Ясно, что достаточно рассмотреть случай, когда в [math]\tau_1[/math] добавлена только одна точка. [math]a = x_0 \lt x_1 \lt \ldots \lt x_n = b[/math] — [math]\tau_1[/math] [math]a = x_0 \lt x'_0 \lt x_1 \lt \ldots x_n = b[/math] — [math]\tau_2[/math] Докажем неравенство для нижних сумм. Обозначим [math]m_0[/math], [math]m'_0[/math] и [math]m''_0[/math] [math]m_0 = \inf\limits_{x \in [x_0; x_1]} f(x)[/math], [math]m'_0 = \inf\limits_{x \in [x_0; x'_0]} f(x)[/math], [math]m''_0 = \inf\limits_{x \in [x'_0; x_1]} f(x)[/math]. Тогда, очевидно, [math]m_0 \leq m'_0, m''_0[/math] [math]m_0(x_1 - x_0) = m_0(x'_0 - x_0) + m_0(x_1 - x'_0) \leq m'_0(x'_0 - x_0) + m''_0(x_1 - x'_0)[/math] Далее все слагаемые будут одинаковы. Значит, неравенство выполнено. Пункт 3. Положим [math]\tau_3 = \tau_1 \cup \tau_2[/math]. Тогда [math]\tau_3 \leq \tau_1, \tau_2[/math]. Значит, в силу пунктов 1 и 2, получим: [math]\underline{s}(\tau_1) \leq \underline{s}(\tau_3) \leq \overline{s}(\tau_3) \leq \overline{s}(\tau_2)[/math]

[math]\triangleleft[/math]

Критерий интегрируемости

Пусть [math]\omega(f, \tau) = \overline{s}(\tau) - \underline{s}(\tau) = \sum\limits_{k = 0}^{n - 1} (M_k - m_k)\Delta x_k \leq 0[/math]

[math]\lim\limits_{\operatorname{rang} \tau \to 0} \omega(f, \tau) \to 0 \Rightarrow[/math] [math]\forall \varepsilon \gt 0\ \exists \delta \gt 0 : \ \operatorname{rang} \tau \lt \delta \Rightarrow \omega(f, \tau \lt \varepsilon)[/math]

Определим [math]\underline{I} = \sup\limits_{\{\tau\}} \underline{s}(\tau)[/math], [math]\overline{I} = \inf\limits_{\{\tau\}} \overline{s}(\tau)[/math]

[math]I = \lim\limits_{\operatorname{rang} \tau \to 0} \sigma(\tau)[/math]

Теорема (Критерий интегрируемости):

[math]f \in \mathcal{R}(a; b) \iff \lim\limits_{\operatorname{rang} \tau \to 0} \omega(f, \tau) = 0[/math]

Доказательство:

[math]\triangleright[/math]

1. [math]f \in \mathcal{R}(a; b)[/math] [math]\exists I = \lim \sigma(\tau)[/math] [math]\forall \varepsilon \gt 0\ \exists \delta \leq 0 : \ \operatorname{rang} \tau \lt \delta \Rightarrow I - \varepsilon \leq \sigma(\tau) \leq I + \varepsilon[/math] Это верно для любой системы промежуточных точек. В интегральной сумме [math]\Delta x_k \gt 0[/math]. Отсюда следует, что если варьировать промежуточные точки, и по ним перейти к [math]\inf[/math] и [math]\sup[/math], то [math]\inf = \underline{s}[/math], [math]\sup = \overline{s}[/math]. Так как написанное неравенство выполняется для любой системы точек, то в силу определения граней, мы можем получить, что [math]I - \varepsilon \leq \underline{s}(\tau) \leq \overline{s}(\tau) \leq I + \varepsilon \Rightarrow[/math] [math]\omega(f, \tau) \leq 2\varepsilon[/math] [math]\varepsilon \to 0 \Rightarrow \lim\limits_{\operatorname{rang} \tau \to 0} \omega(f, \tau) = 0[/math] 2. [math]\lim\limits_{\operatorname{rang} \tau \to 0} \omega(f, \tau) = 0[/math] Воспользуемся неравенствами, написанными перед теоремой вместе с числами [math]\overline{I}[/math] и [math]\underline{I}[/math]. (что хотели сказать фразой <<вместе с числами \_I и \^I>>?) [math]0 \leq \overline{I} - \underline{I} \leq \omega(f, \tau)[/math] Но, так как [math]\omega(f, \tau) \to 0[/math], то [math]\overline{I} = \underline{I} = I[/math] [math]\underline{s}(\tau) \leq I,\ \sigma(\tau) \leq \overline{s}(\tau)[/math] [math]|\sigma(\tau) - I| \leq \omega(f, \tau) \to 0[/math] Тогда, по принципу сжатой переменной, [math]I = \sigma(\tau)[/math] Значит, искомый интеграл [math]\int\limits_a^b f(x) = I[/math] существует.

[math]\triangleleft[/math]

Функция Римана

Приведём важный пример применения этой теоремы.

Вернёмся к функции Дирихле.

[math] d(x) = \left\{ \begin{aligned} 1,\ & x \notin \mathbb{Q} \\ 0,\ & x \in \mathbb{Q} \\ \end{aligned} \right. [/math]

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

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

[math] r(x) = \left\{ \begin{aligned} 1,\ & x \notin \mathbb{Q} \\ 1 - \frac1n,\ & x \in \mathbb{Q}, x = \frac{m}{n}\\ \end{aligned} \right. [/math]

Утверждение:

[math]\int\limits_0^1 r(x) = 1[/math]

[math]\triangleright[/math]

Очевидно, что в любом конечном отрезке имеется лишь конечное число несократимых дробей с наперёдзаданным знаменателем. Отсюда следует, что функция Римана в каждой (какое-то мутное место) иррациональной точке разрывна, а в каждой рациональной — непрерывна (/мутное место). Покажем, что существует [math]\int\limits_0^1 r(x)[/math]. Для этого выпишем [math]\omega[/math]. [math]\omega(r, \tau) = \sum\limits_{k = 0}^{n - 1}(M_k - m_k) \Delta x[/math]. Нужно показать, что (пшшшшшшшшшшшш) Если мы докажем, что эта функция интеграруема, то вопрос её вычисления станет тривиальным, ибо если у интеграционной суммы есть предел, то он не зависит от [math]\tau[/math]. Это позволяет выбирать промежуточные точки таким образом, чтобы предел сумм считался легко. Будем составлять интегральные суммы, выбирая в качестве промежуточных точек иррациональные числа. Тогда соответствующая интегральная сумма окажется равной [math]\int\limits_0^1 r(x) = \sum\limits_{k = 0}^{n - 1} x_{k + 1} - x_k = 1[/math] Поэтому, вся трудность заключается в доказательстве существования интеграла. Обычно существование интеграла через [math]\omega[/math] доказывается следующим образом: интересующая сумма разбивается на две, таким образом, чтобы в первой сумме [math]M_k - m_k[/math] было мало, но [math]\sum \Delta x_k \approx b - a[/math]. Во второй сумме надо, чтобы [math]\sum \Delta x[/math] было достаточно малым (эти [math]\Delta x[/math] — плохие). Тогда сумма обеих сумм окажется малой, и задача будет решена. Пусть [math]\varepsilon \gt 0[/math]. Тогда [math]\exists N_\varepsilon:\ \frac1{N_\varepsilon} \leq \varepsilon[/math] [math][x_k; x_{k + 1}],\ M_k = 1[/math](так как на отрезке есть иррациональные числа). Разберёмся с [math]m_k[/math]. Его поиск связан с перебором чисел вида [math]1 - \frac1n[/math] и поиском минимума из них, при этом, [math]\frac{m}{n} \in [x_k; x_{k + 1}][/math]. [math]m_k = \frac1{P_k}[/math], где [math]P_k[/math] — наибольшее из тех знаменателей, для которых соответствующая рациональная дробь содержится в текущем отрезке. Тогда [math]M_k - m_k = \frac1{P_k}[/math]. В отрезке [math][0; 1][/math] дробей со знаменателем [math]N_\varepsilon[/math] конечное число. Тогда отсюда ясно, что если рассмотреть [math]\tau[/math] достаточно малого ранга, то сумма длин тех отрезков, в которых содержатся несократимые дроби [math]\frac{m}{N_\varepsilon}[/math] будет достаточно малым и при [math]\operatorname{rang} \tau \to 0[/math] сумма будет становиться мегьше и меньше. Что касается других промежуточных отрезков, то в силу формулы [math]M_k - m_k = \frac1{P_k}[/math], [math]P_k \leq N_\varepsilon[/math], [math]M_k - m_k \lt \frac1{N_\varepsilon} \leq \varepsilon[/math]. Но сумма этих отрезков не превзойдёт единицы. Оценим сверху [math]I[/math]: [math]\omega(r, \tau) \leq \varepsilon + N_\varepsilon \operatorname{rang} \tau[/math]. Тогда при [math]\delta = \frac\varepsilon{N_\varepsilon}[/math]: [math]\omega(r,\tau) \leq \varepsilon + \varepsilon[/math] [math]\forall\varepsilon[/math] мы нашли [math]\delta[/math] такое, что [math]\operatorname{rang} \tau \delta \Rightarrow \omega(r, \tau) \leq 2\varepsilon[/math]

[math]\triangleleft[/math]

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

Колебания О_о

Определение:

Пусть [math]f[/math] определена на [math][c; d][/math] и ограничена на нём. Тогда колебанием ограниченной функции на отрезке [math][c;d][/math] назовём [math]\omega(f, [c; d]) = \sup\limits_{x', x'' \in [c; d]} |f(x'') - f(x')|[/math]

Продолжение следует!

УТВ трололо