Участник:Yulya3102/Матан — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Критерий интегрируемости Римана)
(Аддитивность интеграла)
Строка 348: Строка 348:
  
 
=== Аддитивность интеграла ===
 
=== Аддитивность интеграла ===
 +
{{Теорема
 +
|id=аддитивность интеграла
 +
|about=Аддитивность интеграла по отрезку
 +
|statement=Если <tex>a,b,c\in\mathbb{R},\ f\in R[\min\{a,b,c\},\max\{a,b,c\}]</tex>, то
 +
 +
<tex>\int_a^bf=\int_a^cf+\int_c^bf</tex>.
 +
|proof=Пусть <tex>a<c<b,\ f\in R[a,b]</tex>. Тогда по [[#Интегрируемость на меньшем параллелепипеде|теореме об интегрируемости функции и ее сужения]] <tex>f\in R[a,c]</tex> и <tex>f\in R[c,b]</tex>. Пусть <tex>\{(\bar\tau^{(n)},\bar\xi^{(n)})\}, \{(\bar{\bar\tau}^{(n)},\bar{\bar\xi}^{(n)})\}</tex> - последовательности оснащенных дроблений отрезков <tex>[a,c]</tex> и <tex>[c,b]</tex> на <tex>n</tex> равных частей, <tex>\tau^{(n)}=\bar\tau^{(n)}\cup\bar{\bar\tau}^{(n)},\ \xi^{(n)}=\bar\xi^{(n)}\cup\bar{\bar\xi}^{(n)},\ \bar\sigma_n,\ \bar{\bar\sigma}_n</tex> и <tex>\sigma_n</tex> - соответствующие последовательности интегральных сумм. Тогда
 +
 +
<tex>\sigma_n=\bar\sigma_n+\bar{\bar\sigma}_n.</tex>
 +
 +
Остается перейти к пределу при <tex>n\to+\infty.</tex>
 +
 +
Если <tex>a<b<c</tex>, то по доказанному
 +
 +
<tex>\int_a^bf=\int_a^cf-\int_b^cf=\int_a^cf+\int_c^bf.</tex>
 +
 +
Если <tex>a=b</tex>, то
 +
 +
<tex>\int_a^bf=0=\int_a^cf+\int_c^bf.</tex>
 +
 +
Остальные случаи разбираются аналогично.
 +
}}
  
 
=== Предел римановых сумм ===
 
=== Предел римановых сумм ===

Версия 19:22, 9 апреля 2012

Содержание

Основные вопросы

Список

  • Замечание о представимости функции рядом Тейлора
  • Дифференцирование разложений Тейлора
  • Иррациональность числа e
  • Теорема о необходимом и достаточном условии экстремума
  • Следствие о точках разрыва производной выпуклой функции
  • Дифференциальный критерий выпуклости
  • Неравенство Йенсена
  • Неравенство Гельдера
  • Неравенство Минковского
  • Неравенство Коши
  • Теорема о свойствах неопределенного интеграла
  • Теорема о разложении рациональной дроби на простейшие
  • Лемма о свойствах сумм Дарбу
  • Критерий интегрируемости Римана
  • Интегрируемость на меньшем параллелепипеде
  • Аддитивность интеграла
  • Предел римановых сумм
  • Линейность интеграла
  • Монотонность интеграла
  • Интегрируемость модуля интегрируемой функции
  • Интегрируемость произведения
  • Интегрируемость частного
  • Ослабленный критерий Лебега. Следствие
  • Теорема о среднем. Следствия
  • Теорема Барроу
  • Формула Ньютона-Лейбница для кусочно-непрерывных функций
  • Замена переменных и интегрирование по частям в определенном инетграле
  • Иррациональность числа пи
  • Формула Валлиса
  • Формула Тейлора с интегральным остатком
  • Неравенство Чебышева для функций и конечных последовательностей
  • Неравенства Гельдера и Минковского
  • Неравенство Йенсена для интегралов. Неравенство Коши
  • Теорема о формуле трапеций
  • Формула Эйлера - Маклорена
  • Формула Стирлинга
  • Свойства несобственного интеграла: аддитивность, линейность, монотонность, интегрирование по частям
  • Признак сравнения сходимости несобственного интеграла

Правило Лопиталя

Правило Лопиталя для неопределенностей вида 0/0

Теорема:
Пусть:

[math]-\infty \le a \lt b \le +\infty[/math],

функции f и g дифференцируемы на (a, b),

[math]g'(t) \ne 0[/math] для любого [math]t \in (a, b)[/math],

[math]\underset {x \to a+}{\lim} f(x) = \underset{x \to a+}{lim} g(x) = 0[/math]

и существует предел [math]\underset{x \to a+}{lim} {{f'(x)} \over {g'(x)}} = A \in \overline{\mathbb{R}}[/math].

Тогда предел [math]\underset{x \to a+}{lim} {{f(x)} \over {g(x)}}[/math] также существует и равен A.
Доказательство:
[math]\triangleright[/math]

1. Пусть [math]a \in \mathbb{R}[/math]. Доопределим функции в точке a нулём: [math]f(a) = g(a) = 0[/math]. Тогда доопределенные функции f и g будут непрерывны на [a, b). Возьмем последовательность [math]\{ x_n \} : x_n \in (a, b), x_n \to a[/math], и докажем, что [math]{{f(x_n)} \over {g(x_n)}} \to A[/math]. Функции f и g удовлетворяют условиям теоремы Коши на каждом отрезке [math][a, x_n][/math]. Поэтому для любого [math]n \in \mathbb{N}[/math] найдется такая точка [math]c_n \in (a, x_n)[/math], что

[math] {{f(x_n} \over {g(x_n)}} = {{f(x_n) - f(a)} \over {g(x_n) - g(a)}} = {{f'(c_n)} \over {g'(c_n)}}[/math].

По теореме о сжатой последовательности [math]c_n \to a[/math]. По определению правостороннего предела на языке последовательностей [math]{f'(c_n) \over g'(c_n)} \to A[/math], а тогда в силу произвольности [math] \{x_n\}[/math] и [math]{f(x) \over g(x)} \underset{x \to a+}{\to} A[/math].

2. Пусть [math]a = -\infty[/math]. В силу локальности предела можно считать, что b < 0. Положим [math]\phi (t) = f(-{1 \over t}), \psi (t) = g(-{1 \over t}) (t \in (0, - {1 \over b}))[/math]. Тогда

[math]\phi '(t) = {1 \over t^2} f'(-{1 \over t})[/math],

[math]\psi '(t) = {1 \over t^2} g'(-{1 \over t}) \ne 0[/math],

[math]\underset {t \to 0+}{lim} \phi (t) = \underset {x \to -\infty}{lim} f(x) = 0[/math],

[math]\underset {t \to 0+}{lim} \psi (t)= \underset {x \to -\infty}{lim} g(x) = 0[/math],

[math]\underset {t \to 0+}{lim} {\phi '(t) \over \psi '(t)} = \underset{x \to -\infty}{lim} {f'(x) \over g'(x)} = A[/math].

По доказанному

[math]\underset {x \to -\infty}{lim} {f(x) \over g(x)} = \underset {t \to 0+}{lim} {\phi (t) \over \psi (t)} = A[/math].
[math]\triangleleft[/math]

Правило Лопиталя для неопределенностей вида inf/inf

Теорема:
Пусть:

[math]-\infty \le a \lt b \le +\infty[/math],

функции f и g дифференцируемы на (a, b),

[math]g'(t) \ne 0[/math] для любого [math]t \in (a, b)[/math],

[math]\underset{x \to a+}{lim} g(x) = \infty[/math]

и существует предел [math]\underset{x \to a+}{lim} {{f'(x)} \over {g'(x)}} = A \in \overline{\mathbb{R}}[/math].

Тогда предел [math]\underset{x \to a+}{lim} {{f(x)} \over {g(x)}}[/math] также существует и равен A.
Доказательство:
[math]\triangleright[/math]

1. Пусть [math]A = 0[/math]. Возьмем последовательность [math]\{x_n\}[/math] со свойствами: [math]x_n \in (a, b), x_n \to a[/math], и докажем, что [math]{f(x_n) \over g(x_n)} \to 0[/math]. Зафиксируем число [math]\sigma \gt 0[/math]. По условию найдется такое [math]y \in (a, b)[/math], что для любого [math]c \in (a, y)[/math] будет [math]g(c) \ne 0[/math] и [math]\left\vert {f'(c) \over g'(c)}\right\vert \lt \sigma[/math]. Начиная с некоторого номера [math]x_n \in (a, y)[/math], поэтому можно считать, что [math]x_n \in (a, y)[/math] для всех n. По теореме Коши для любого n найдется такое [math]c_n \in (x_n, y)[/math], что

[math]{f(x_n) \over g(x_n)} = {f(x_n) - f(y) \over g(x_n) - g(y)} {g(x_n) - g(y) \over g(x_n)} + {f(y) \over g(x_n)} = {f'(c_n) \over g'(c_n)} \left ( 1 - {g(y) \over g(x_n)} \right ) + {f(y) \over g(x_n)}[/math].

Учитывая еще, что [math]g(x_n) \to \infty[/math], находим

[math]\left\vert {f(x_n) \over g(x_n)} \right\vert \le \sigma \left ( 1 + \left\vert{g(y) \over g(x_n)}\right\vert \right ) + \left\vert {f(y) \over g(x_n)}\right\vert \underset{n \to \infty}{\to} \sigma[/math].

Поэтому [math]\overline{lim} \left\vert {f(x_n) \over g(x_n)} \right\vert \le \sigma[/math]. Но, так как [math]\sigma[/math] произвольно, [math]\overline{lim} \left\vert {f(x_n) \over g(x_n)} \right\vert = 0[/math], а значит, и [math]lim {f(x_n) \over g(x_n)} = 0[/math].

2. Пусть [math]A \in \mathbb{R}[/math] произвольно. Положим [math]h = f - Ag[/math]. Тогда

[math]\underset{x \to a+}{lim} {h'(x) \over g'(x)} = \underset{x \to a+}{lim} \left ( {f'(x) \over g'(x)} - A \right ) = 0[/math].

По доказанному [math]{h(x) \over g(x)} \underset{x \to a+}{\to} 0[/math], то есть [math]{f(x) \over g(x)} \underset{x \to a+}{\to} A[/math].

3. Случай [math]A = +\infty[/math] рассматривается аналогично случаю [math]A = 0[/math]. При этом вместо [math]\left\vert {f'(c) \over g'(c)}\right\vert \lt \sigma[/math] используется неравенство [math]{f'(c) \over g'(c)} \gt M[/math] и доказывается, что [math]\underline{lim} {f(x_n) \over g(x_n)} \ge M[/math]. Случай [math]A = -\infty[/math] разбирается аналогично или сводится к случаю [math]A = +\infty[/math] переходом к функции [math]-f[/math].
[math]\triangleleft[/math]

Замечание о представимости функции рядом Тейлора

Дифференцирование разложений Тейлора

Иррациональность числа е

Виноградов, том 1, 213

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

Критерий монотонности функции

Теорема:
Пусть функция f непрерывна на [math]\left \langle a, b\right \rangle[/math] и дифференцируема на [math](a, b)[/math]. Тогда f возрастает (убывает) на [math]\left \langle a, b\right \rangle[/math] в том и только в том случае, когда [math]f'(x) \ge 0 \ (f'(x) \le 0) \ \forall x \in (a, b)[/math].
Доказательство:
[math]\triangleright[/math]

1. Необходимость. Пусть f возрастает. Возьмем [math]x \in (a, b)[/math]. Тогда [math]f(y) \ge f(x) \ \forall x \in (a, b \rangle[/math] , поэтому

[math]f'(x) = f'_+(x) = \underset{y \to x+}{lim}{f(y) - f(x) \over y - x} \ge 0[/math].

2. Достаточность. Пусть [math]f'(x) \ge 0 \ \forall x \in \langle a, b\rangle[/math] . Возьмем [math]x_1, x_2 \in \langle a, b\rangle : x_1 \lt x_2[/math], и докажем, что [math]f(x_1) \le f(x_2)[/math]. По теореме Лагранжа [math]\exists c \in (x_1, x_2)[/math]:

[math]f(x_2) - f(x_1) = f'(c)(x_2 - x_1) \ge 0[/math].

Случай убывающей функции сводится к рассмотренному переходом к функции [math]-f[/math].
[math]\triangleleft[/math]

Следствие: критерий постоянства функции

Теорема:
Пусть [math]f: \langle a, b\rangle \to \mathbb{R}[/math]. Тогда f постоянна на [math]\langle a, b\rangle[/math] в том и только том случае, когда [math]f \in C\langle a, b\rangle[/math] и [math]f'(x) = 0 \ \forall x \in (a, b)[/math].
Доказательство:
[math]\triangleright[/math]
То, что производная постоянной функции равна нулю, известно. Обратно, если [math]f \in C\langle a, b\rangle[/math] и [math]f'(x) = 0 \ \forall x \in (a, b)[/math], то по критерию монотонности функции функция [math]f[/math] одновременно возрастает и убывает, то есть постоянна на [math]\langle a, b\rangle[/math].
[math]\triangleleft[/math]

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

Теорема:
Пусть функция f непрерывна на [math]\langle a, b\rangle[/math] и дифференцируема на [math](a, b)[/math]. Тогда f строго возрастает на [math]\langle a, b\rangle[/math] в том и только в том случае, когда:

1) [math]f'(x) \ge 0 \ \forall x \in (a, b)[/math];

2) [math]f'[/math] не обращается в нуль тождественно ни на каком интервале.
Доказательство:
[math]\triangleright[/math]

По критерию постоянства функции условие 2) означает, что [math]f[/math] не постоянна ни на каком интервале. Поэтому из строгого возрастания [math]f[/math] вытекает утверждение 2), а утверждение 1) верно по критерию монотонности функции.

Пусть теперь выполнены утверждения 1) и 2). Из неотрицательности производной следует возрастание [math]f[/math]. Если возрастание нестрогое, то [math]\exists x_1, x_2 \in \langle a, b\rangle : x_1 \lt x_2, f(x_1) = f(x_2)[/math]. Тогда [math]f[/math] постоянна на [math][x_1, x_2][/math], что противоречит условию 2).
[math]\triangleleft[/math]

Теорема о необходимом и достаточном условии экстремума

Лемма о трех хордах

Лемма:
Пусть функция [math]f[/math] выпукла вниз на [math]\langle a, b\rangle[/math], [math]x_1, x_2, x_3 \in \langle a, b\rangle, x_1 \lt x_2 \lt x_3[/math]. Тогда [math]{f(x_2) - f(x_1) \over x_2 - x_1} \le {f(x_3) - f(x_1) \over x_3 - x_1} \le {f(x_3) - f(x_2) \over x_3 - x_2}[/math].
Доказательство:
[math]\triangleright[/math]

По определению выпуклости

[math]f(x_2) \le tf(x_1) + (1-t)f(x_3)[/math],

где [math]t={x_3 - x_2 \over x_3 - x_1}, \ 1-t = {x_2 - x_1 \over x_3 - x_1}[/math]. Преобразуем неравенство двумя способами. С одной стороны,

[math]f(x_2) \le f(x_1)+(1-t)(f(x_3)-f(x_1))=f(x_1)+(x_2-x_1){f(x_3)-f(x_1)\over x_3-x_1}[/math],

что равносильно левому неравенству в лемме. С другой стороны,

[math]f(x_2)\le f(x_3)-t(f(x_3)-f(x_1))=f(x_3)-(x_3-x_2){f(x_3)-f(x_1)\over x_3-x)1}[/math],

что равносильно правому неравенству в лемме.
[math]\triangleleft[/math]

Теорема об односторонней дифференцируемости выпуклой функции

Теорема:
Пусть функция [math]f[/math] выпукла вниз на [math]\langle a, b \rangle[/math]. Тогда для любой точки [math]x \in (a, b) \ \exists[/math] конечные [math]f'_-(x), f'_+(x): f'_-(x) \le f'_+(x)[/math].
Доказательство:
[math]\triangleright[/math]

Возьмем [math]x \in (a, b)[/math] и положим

[math]g(\xi) = {f(\xi) - f(x) \over \xi - x}, \ \xi \in \langle a, b \rangle \backslash \{x\}[/math].

По лемме о трех хордах g возрастает на [math]\langle a, b \rangle \backslash \{x\}[/math]. Поэтому, если [math]a \lt \xi \lt x \lt \eta \lt b[/math], то [math]g(\xi) \le g(\eta)[/math], то есть

[math]{f(\xi) - f(x) \over \xi - x} \le {f(\eta) - f(x) \over (\eta - x}[/math].

Следовательно, g ограничена на [math]\langle a, x)[/math] сверху, а на [math](x, b\rangle[/math] - снизу. По теореме о пределе монотонной функции существуют конечные пределы [math]g(x-)[/math] и [math]g(x+)[/math], которые по определению являются односторонними производными [math]f'_-(x)[/math] и [math]f'_+(x)[/math]. Устремляя [math]\xi[/math] к [math]x[/math] слева, а [math]\eta[/math] - справа, получаем, что [math]f'_-(x) \le f'_+(x)[/math].
[math]\triangleleft[/math]

Следствие о точках разрыва производной выпуклой функции

Описание выпуклости с помощью касательных

Теорема:
Пусть функция f дифференцируема на [math]\langle a, b\rangle[/math]. Тогда f выпукла вниз на [math]\langle a, b\rangle[/math] в том и только том случае, когда график f лежит не ниже любой своей касательной, то есть [math]\forall x, x_0 \in \langle a, b\rangle[/math] [math]f(x) \ge f(x_0)+f'(x_0)(x-x_0)[/math].
Доказательство:
[math]\triangleright[/math]

1. Необходимость. Пусть f выпукла вниз, [math]x, x_0 \in \langle a, b\rangle[/math].

Если [math]x \gt x_0[/math], то по лемме о трех хордах [math]\forall \eta \in (x_0, x)[/math]

[math]{f(\eta) - f(x_0) \over \eta - x_0} \le {f(x)-f(x_0)\over x-x_0}[/math].

Устремляя [math]\eta[/math] к [math]x_0[/math] справа, получаем неравенство

[math]f'(x_0) \le {f(x) - f(x_0) \over x-x_0}[/math],

равносильное неравенству в теореме.

Если [math]x \lt x_0[/math], то по лемме о трех хордах [math]\forall \xi \in (x,x_0)[/math]

[math]{f(\xi)-f(x_0)\over\xi-x_0}\ge{f(x)-f(x_0)\over x-x_0}[/math].

Устремляя [math]\xi[/math] к [math]x_0[/math] слева, получаем неравенство

[math]f'(x_0) \ge {f(x)-f(x_0)\over x-x_0}[/math],

равносильное неравенству в теореме.

2. Достаточность. Пусть [math]\forall x,x_0 \in \langle a, b\rangle[/math] верно неравенство в теореме. Возьмем [math]x_1, x_2 \in \langle a, b\rangle : x_1 \lt x_2, \ x \in (x_1, x_2)[/math]. Применяя данное неравенство дважды: сначала к точкам [math]x_1[/math] и [math]x[/math], а затем - к [math]x_2[/math] и [math]x[/math], получаем

[math]f(x_1) \ge f(x) + f'(x)(x_1 - x)[/math],

[math]f(x_2) \ge f(x) + f'(x)(x_2 - x)[/math],

что равносильно

[math]{f(x) - f(x_1)\over x-x_1}\le f'(x)\le{f(x_2)-f(x)\over x_2-x}[/math].

Крайние части и составляют неравенство, равносильное неравенству из определения выпуклости.
[math]\triangleleft[/math]

Дифференциальный критерий выпуклости

Виноградов, том 1, 234

Неравенство Йенсена

Неравенство Гельдера

Неравенство Минковского

Неравенство Коши

Теорема о свойствах неопределенного интеграла

Теорема о разложении рациональной дроби на простейшие

Лемма о свойствах сумм Дарбу

Теорема:
1. [math]S_\tau(f)=\underset{\xi}{\sup}\sigma_\tau(f,\xi),\ s_\tau(f)=\underset{\xi}{\inf}\sigma_\tau(f,\xi)[/math] (грани берутся по всевозможным оснащениям дробления [math]\tau[/math]).


2. При добавлении новых точек дробления верхняя сумма не увеличится, а нижняя - не уменьшится.


3. Каждая нижняя сумма Дарбу не превосходит каждой верхней (даже отвечающей другому дроблению).
Доказательство:
[math]\triangleright[/math]

1. Для определенности докажем утверждение о верхних суммах. Очевидно, что [math]f(\xi_k)\le M_k\ \forall k\in[0:n-1][/math] . Умножая эти неравенства на [math]\Delta x_k[/math] и суммируя по [math]k[/math], получаем неравенство [math]\sigma\le S[/math], то есть [math]S[/math] - верхняя граница для интегральных сумм Римана. Докажем, что эта верхняя граница точная.

Пусть [math]f[/math] ограничена сверху на [math][a,b][/math]. Возьмем [math]\epsilon\gt 0[/math] и для каждого [math]k[/math] по определению верхней грани подберем [math]\xi^*_k\in[x_k,x_{k+1}]:\ f(\xi^*_k)\gt M_k-{\epsilon\over b-a}[/math]. Тогда

[math]\sigma^*=\underset{k=0}{\overset{n-1}{\sum}}f(\xi^*_k)\Delta x_k\gt S={\epsilon\over b-a}\underset{k=0}{\overset{n-1}{\sum}}\Delta x_k=S-\epsilon[/math].

Так как [math]\epsilon[/math] произвольно, [math]S[/math] - точная верхняя граница.

Пусть [math]f[/math] не ограничена сверху на [math][a,b][/math]. Тогда [math]\exists \nu:\ f[/math] - не ограничена сверху на [math][x_\nu,x_{\nu+1}][/math]. Возьмем [math]A\gt 0[/math] и выберем точки [math]\xi^*_k[/math] при [math]k\ne\nu[/math] произвольно, а [math]\xi^*_\nu[/math] - так, чтобы

[math]f(\xi^*_\nu)\gt {1\over\Delta x_\nu}\left(A-\underset{k\ne\nu}{\sum}f(\xi^*_k)\Delta x_k\right)[/math].

Тогда

[math]\sigma^*=\underset{k=0}{\overset{n-1}{\sum}}f(\xi^*_k)\Delta x_k\gt A[/math].

Так как [math]A[/math] произвольно, [math]\underset{\xi}{\sup}\sigma=+\infty=S[/math].

2. Для определенности докажем утверждение о верхних суммах. В силу принципа математической индукции достаточно проверить, что верхняя сумма не увеличится при добавлении одной новой точки дробления. Пусть дробление [math]T[/math] получено из дробления [math]\tau=\{x_k\}^n_{k=0}[/math] добавлением точки [math]c\in(x_\nu,x_{\nu+1})[/math]. Тогда

[math]S_\tau=\underset{k=0}{\overset{\nu-1}{\sum}}M_k\Delta x_k+M_\nu\Delta x_\nu+\overset{n-1}{\underset{k=\nu+1}{\sum}}M_k\Delta x_k[/math],

[math]S_T=\underset{k=0}{\overset{\nu-1}{\sum}}M_k\Delta x_k+M'(c-x_\nu)+M''(x_{\nu+1}-c)+\underset{k=\nu+1}{\overset{n-1}{\sum}}M_k\Delta x_k[/math],

где [math]M'=\underset{x\in[x_\nu,c]}{\sup}f(x),\ M''=\underset{x\in[c,x_{\nu+1}]}{\sup}f(x)[/math]. Поскольку при сужении множества его супремум не увеличивается, [math]M'\le M_\nu[/math] и [math]M''\le M_\nu[/math]. Поэтому

[math]S_\tau-S_T=M_\nu\Delta x_\nu - M'(c-x_\nu)-M''(x_{\nu+1}-c)\ge M_\nu(x_{\nu+1}-x_\nu-c+x_\nu+c-x_{\nu+1} = 0.[/math]

3. Неравенство [math]s_\tau\le S_\tau[/math] между суммами для одного и того же дробления [math]\tau[/math] тривиально. Пусть [math]\tau_1[/math] и [math]\tau_2[/math] - два дробления отрезка [math][a,b][/math]. Докажем, что [math]s_{\tau_1} \le S_{\tau_2}[/math]. Положим [math]\tau=\tau_1\cup\tau_2[/math]. Тогда по свойству 2

[math]s_{\tau_1}\le s_\tau\le S_\tau\le S_{\tau_2}.[/math]
[math]\triangleleft[/math]

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

Теорема (Критерий интегрируемости функции):
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Тогда [math]f\in R[a,b][/math] в том и только том случае, когда [math]S_\tau(f) - s_\tau(f)\underset{\lambda\to0}{\to}0[/math], то есть [math]\forall\epsilon\gt 0\ \exists\delta\gt 0\ \forall\tau:\lambda_\tau\lt \delta\ S_\tau(f)-s_\tau(f)\lt \epsilon.[/math]
Доказательство:
[math]\triangleright[/math]

1. Необходимость. Пусть [math]f\in R[a,b][/math]. Обозначим [math]I=\int^b_af[/math]. Возьмем [math]\epsilon\gt 0[/math] и подберем такое [math]\delta\gt 0[/math] из определения предела интегральных сумм, что для любого оснащенного дробления [math](\tau,\xi)[/math], ранг которого меньше [math]\delta[/math],

[math]I-{\epsilon\over3}\lt \sigma_\tau(f,\xi)\lt I+{\epsilon\over3}.[/math]

Переходя к супремуму и инфимуму по [math]\xi[/math], в силу свойства 1 получаем:

[math]I-{\epsilon\over3}\le s_\tau\le S_\tau\le I+{\epsilon\over3}[/math],

откуда [math]S_\tau-s_\tau\le{2\epsilon\over3}\lt \epsilon.[/math]

2. Достаточность. Пусть [math]S_\tau-s_\tau\underset{\lambda\to0}{\to}0[/math]. Тогда все суммы [math]S_\tau[/math] и [math]s_\tau[/math] конечны.

[math]\forall\tau\ s_\tau\le I_*\le I^*\le S_\tau[/math],

поэтому [math]0\le I^*-I_*\le S_\tau-s_\tau.[/math]

Так как правая часть последнего неравенства принимает сколь угодно малые значения, [math]I_*=I^*[/math]. Обозначим общее значение [math]I_*[/math] и [math]I^*[/math] через [math]I[/math] и докажем, что [math]I=\underset{\lambda\to0}{\lim}\sigma[/math]. Из неравенств

[math]s_\tau\le I\le S_\tau,\ s_\tau\le\sigma_\tau\le S_\tau[/math]

следует, что

[math]\vert\sigma_\tau-I\vert\le S_\tau-s_\tau.[/math]

По [math]\epsilon\gt 0[/math] можно подобрать такое [math]\delta\gt 0[/math], что для любого дробления [math]\tau[/math], ранг которого меньше [math]\delta[/math], будет [math]S_\tau-s_\tau\lt \epsilon[/math], а тогда для любого оснащения [math]\xi[/math] такого дробления [math]\vert\sigma_\tau(f,\xi)-I\vert\lt \epsilon.[/math]
[math]\triangleleft[/math]
Теорема (Критерий интегрируемости Римана):
Пусть [math]f:[a,b]\to\mathbb{R}.[/math] Тогда [math]f\in R[a,b][/math] в том и только том случае, когда [math]\forall\epsilon\gt 0\ \exists\tau:\ S_\tau(f)-s_\tau(f)\lt \epsilon.[/math]

Интегрируемость на меньшем параллелепипеде

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

Теорема (Аддитивность интеграла по отрезку):
Если [math]a,b,c\in\mathbb{R},\ f\in R[\min\{a,b,c\},\max\{a,b,c\}][/math], то [math]\int_a^bf=\int_a^cf+\int_c^bf[/math].
Доказательство:
[math]\triangleright[/math]

Пусть [math]a\lt c\lt b,\ f\in R[a,b][/math]. Тогда по теореме об интегрируемости функции и ее сужения [math]f\in R[a,c][/math] и [math]f\in R[c,b][/math]. Пусть [math]\{(\bar\tau^{(n)},\bar\xi^{(n)})\}, \{(\bar{\bar\tau}^{(n)},\bar{\bar\xi}^{(n)})\}[/math] - последовательности оснащенных дроблений отрезков [math][a,c][/math] и [math][c,b][/math] на [math]n[/math] равных частей, [math]\tau^{(n)}=\bar\tau^{(n)}\cup\bar{\bar\tau}^{(n)},\ \xi^{(n)}=\bar\xi^{(n)}\cup\bar{\bar\xi}^{(n)},\ \bar\sigma_n,\ \bar{\bar\sigma}_n[/math] и [math]\sigma_n[/math] - соответствующие последовательности интегральных сумм. Тогда

[math]\sigma_n=\bar\sigma_n+\bar{\bar\sigma}_n.[/math]

Остается перейти к пределу при [math]n\to+\infty.[/math]

Если [math]a\lt b\lt c[/math], то по доказанному

[math]\int_a^bf=\int_a^cf-\int_b^cf=\int_a^cf+\int_c^bf.[/math]

Если [math]a=b[/math], то

[math]\int_a^bf=0=\int_a^cf+\int_c^bf.[/math]

Остальные случаи разбираются аналогично.
[math]\triangleleft[/math]

Предел римановых сумм

Линейность интеграла

Монотонность интеграла

Интегрируемость модуля интегрируемой функции

Интегрируемость произведения

Интегрируемость частного

Ослабленный критерий Лебега. Следствие

Теорема о среднем. Следствия

Теорема Барроу

Формула Ньютона-Лейбница для кусочно-непрерывных функций

Замена переменных и интегрирование по частям в определенном интеграле

Интегральность числа пи

Формула Валлиса

Формула Тейлора с интегральным остатком

Неравенство Чебышева для функций и конечных последовательностей

Неравенство Гельдера и Минковского

Неравенство Йенсена для интегралов. Неравенство Коши

Теорема о формуле трапеций

Формула Эйлера - Маклорена

Формула Стирлинга

Свойства несобственного интеграла: аддитивность, линейность, монотонность, интегрирование по частям

Признак сравнения сходимости несобственного интеграла

Определения и факты

Список

  • Ряды Тейлора основных элементарных функций
  • Локальный экстремум
  • Точка возрастания функции
  • Стационарная точка
  • Выпуклое множество в R^m
  • Надграфик и подграфик
  • Дробление параллелепипеда
  • Что значит, что одно дробление мельче другого
  • Интеграл функции по параллелепипеду
  • Множество объема 0
  • Множество меры 0
  • Интеграл с переменным верхним пределом
  • Кусочно-непрерывная функция
  • Почти первообразная
  • Несобственный интеграл

Ряды Тейлора основных элементарных функций

Локальный экстремум

Точка возрастания функции

Стационарная точка

Выпуклая функция

Определение:
Функция [math]f: \langle a,b\rangle \to \mathbb{R}[/math] называется:

выпуклой вниз на [math]\langle a,b\rangle[/math], если [math]\forall x_1,x_2\in\langle a,b\rangle, \ t\in(0,1)[/math] выполняется неравенство

[math]f(tx_1+(1-t)x_2)\le tf(x_1)+(1-t)f(x_2)[/math];

строго выпуклой вниз на [math]\langle a,b\rangle[/math], если [math]\forall x_1,x_2\in\langle a,b\rangle \ (x_1\ne x_2), \ t\in(0,1)[/math] выполняется неравенство

[math]f(tx_1+(1-t)x_2) \lt tf(x_1)+(1-t)f(x_2)[/math].

Если выполняются противоположные неравенства, то функция [math]f[/math] называется соответственно выпуклой вверх или строго выпуклой вверх на [math]\langle a,b\rangle[/math].

Часто функции, которые только что были названы выпуклыми вниз, называют просто выпуклыми, а те, что были названы выпуклыми вверх, - вогнутыми.

Выпуклое множество в R^m

Надграфик и подграфик

Опорная прямая

Определение:
Пусть [math]f:\langle a,b\rangle\to\mathbb{R},\ x_0\in\langle a,b\rangle[/math]. Прямая, задаваемая уравнением [math]y = \ell(x)[/math], называется опорной для функции [math]f[/math] в точке [math]x_0[/math], если

[math]\forall x\in \langle a,b\rangle \ f(x_0)=\ell(x_0),\ f(x)\ge\ell(x)[/math].

Если же

[math]\forall x\in \langle a,b\rangle\backslash\{x_0\} \ f(x_0)=\ell(x_0),\ f(x)\gt \ell(x)[/math],

то прямая называется строго опорной для функции [math]f[/math] в точке [math]x_0[/math].


Первообразная

Определение:
Пусть [math]f, F:\langle a,b\rangle\to\mathbb{R}[/math]. Функция [math]F[/math] называется первообразной функции [math]f[/math] на [math]\langle a,b\rangle[/math], если [math]\forall x\in\langle a,b\rangle\ F'(x)=f(x)[/math].


Таблица первообразных

1. [math]\int0dx=C[/math]

2. [math]\int x^\alpha dx={x^{\alpha+1}\over\alpha+1}+C,\ \alpha\ne-1[/math]

3. [math]\int {dx\over x}=ln\vert x\vert+C[/math]

4. [math]\int a^x dx={a^x\over \ln a}+C[/math]

5. [math]\int \sin x dx=-\cos x+C[/math]

6. [math]\int \cos x dx=\sin x+C[/math]

7. [math]\int {dx\over \cos ^2 x}=\tan x+C[/math]

8. [math]\int {dx\over \sin ^2x}=-\cot x+C[/math]

9. [math]\int{dx\over\sqrt{1-x^2}}=\arcsin x+C=-\arccos x+C[/math]

10. [math]\int{dx\over 1+x^2}=\arctan x+C[/math]

11. [math]\int{dx\over\sqrt{x^2\pm1}}=\ln\vert x+\sqrt{x^2\pm1}\vert+C[/math]

12. [math]\int{dx\over1-x^2}={1\over2}\ln\left\vert{1+x\over1-x}\right\vert+C[/math]

Дробление отрезка

Определение:
Пусть [math][a,b][/math] - невырожденный отрезок. Набор точек

[math]\tau = \{x_k\}^n_{k=0}:\ a=x_0\lt x_1\lt ...\lt x_n=b[/math]

называется дроблением отрезка [math][a,b][/math]. Отрезки [math][x_k,x_{k+1}\ (k\in[0:n-1])[/math] называют отрезками дробления, через [math]\Delta x_k[/math] обозначается длина [math]k[/math]-го отрезка дробления. Величина

[math]\lambda = \lambda_\tau=\underset{0\le k\le n-1}{max}\Delta x_k[/math]

называется рангом или мелкостью дробления [math]\tau[/math]. Набор точек [math]\xi=\{\xi_k\}^{n-1}_{k=0}[/math], таких что [math]\xi_k\in[x_k,x_{k+1}]\ \forall k\in[0:n-1][/math], называется оснащением дробления. Дробление вместе с его оснащением, то есть пара [math](\tau, \xi)[/math], называется оснащенным дроблением.


Дробление параллелепипеда

Что значит, что одно дробление мельче другого

Сумма Дарбу

Определение:
Пусть [math]f: [a,b]\to\mathbb{R},\ \tau=\{x_k\}^n_{k=0}[/math] - дробление [math][a,b][/math],

[math]M_k=\underset{x\in[x)k,x_{k+1}]}{\sup}f(x),\ m_k=\underset{x\in[x_k,x_{k+1}]}{\inf}f(x),\ k\in[0:n-1][/math].

Суммы

[math]S=S_\tau(f)=\underset{k=0}{\overset{n-1}{\sum}}M_k\Delta x_k[/math] и [math]s=s_\tau(f)=\underset{k=0}{\overset{n-1}{\sum}}m_k\Delta x_k[/math]

называются верхней и нижней интегральными суммами или суммами Дарбу функции [math]f[/math], отвечающими дроблению [math]\tau[/math].


Верхний интеграл Дарбу

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Величины

[math]I^*=\underset{\tau}{\inf}S_\tau[/math], и [math]I_*=\underset{\tau}{\sup}s_\tau[/math]

называются верхним и нижним интегралами Дарбу функции [math]f[/math].


Интегрируемая по Риману функция

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Если существует предел интегральных сумм [math]\underset{\lambda\to0}{\lim}\sigma[/math], равный числу [math]I[/math], то функция [math]f[/math] называется интегрируемой по Риману на [math][a,b][/math], а число [math]I[/math] - интегралом (определенным интегралом, интегралом Римана) от функции [math]f[/math] по отрезку [math][a,b][/math] и обозначается [math]\int^b_af[/math].


Интеграл функции по параллелепипеду

Риманова сумма

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Суммы

[math]\sigma=\sigma_\tau(f,\xi)=\underset{k=0}{\overset{n-1}{\sum}}f(\xi_k)\Delta x_k[/math]

называются интегральными суммами или суммами Римана функции [math]f[/math], отвечающими оснащенному дроблению [math](\tau,\xi)[/math].


Колебание функции на множестве

Определение:
Пусть [math]f:D\subset\mathbb{R}\to\mathbb{R}[/math]. Величина

[math]\omega(f)_D=\underset{x,y\in D}{\sup}(f(c)-f(y))[/math]

называется колебанием функции [math]f[/math] на множестве [math]D[/math].


Множество объема 0

Множество меры 0

Интеграл с переменным верхним пределом

Кусочно-непрерывная функция

Почти первообразная

Несобственный интеграл