Интеграл от положительной функции

Свойство 1 (интеграл от положительной функции)

 Если $latex f(x) \in R[a,b]$ и $latex f(x)\geqslant 0\;\forall\;x\in[a,b]\;(a<b)$, то и
$latex \int\limits_{a}^{b} f(x)dx \geqslant 0$.

Спойлер

$latex \square$Рассмотрим интегральную сумму Дарбу для данного интеграла

$latex \delta _{T}(\xi ,f)=\sum\limits_{i=1}^{n}f(\xi _{i})\Delta x_{i}$.

Поскольку $latex f(\xi _{i})\geqslant 0$ и $latex \delta x_{i}\geqslant 0$, то и

$latex \delta _{T}(\xi ,f)=\sum\limits_{i=1}^{n}f(\xi _{i})\Delta x_{i} \geqslant 0$,

тогда

$latex \int\limits_{a}^{b}f(x)dx=\lim\limits_{\lambda\rightarrow 0}\delta _{T}(\xi ,f) \geqslant 0$.

Что и требовалось доказать.$latex \blacksquare$

[свернуть]
Пример

Не вычисляя интеграла, определить его знак $latex \int\limits_{1}^{2}(x^{2}+3)dx$.

Спойлер

Рассмотрим подынтегральную функцию $latex f(x)=x^{2}+3$. Поскольку $latex f(x)>0 , \; \forall \; x \in [1,2]$, то по свойству интеграла от положительной функции  $latex \int\limits_{1}^{2}(x^{2}+3)dx > 0$.

[свернуть]
Литература
Смотрите так же

Свойства определенного интеграла, связанные с операциями над функциями

Свойство  1

Если $latex f,g\in \mathbb{R}[a;b] $, то $latex \forall \alpha ,\beta \in \mathbb{R}$  $latex \varphi (x)=\alpha f+\beta g\in \mathbb{R}[a;b] $$latex \int\limits_{a}^{b}(\alpha f(x)+\beta g(x))dx=\alpha \int\limits_{a}^{b}f(x)dx+\beta \int\limits_{a}^{b}g(x)dx $.

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

Пусть $latex \delta _{T}(\xi ,f),\delta _{T}(\xi ,g),\delta _{T}(\xi ,\varphi ) $  — интегральные суммы для соответствующих функций, тогда: $latex \delta _{T}(\xi ,\varphi )=\alpha \delta _{T}(\xi ,f)+\beta \delta _{T}(\xi ,g) $. Если $latex \lambda (T)\rightarrow 0 $, то $latex \alpha \delta _{T}(\xi ,t)\rightarrow \alpha \int\limits_{a}^{b}f(x)dx, $ $latex \beta \delta _{T}(\xi ,g)\rightarrow \beta \int\limits_{a}^{b}g(x)dx $.

Свойство 2

Если $latex f,g\in \mathbb{R}[a;b] $, то $latex fg\in \mathbb{R}[a;b] $

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

Воспользуемся критерием интегрируемости:

1) $latex fg $ — ограничены, так как  $latex f $ — ограничена по условию,  $latex g $ — ограничена по условию. $latex \left | f(x) \right |\leq C_{1}, \left | g(x) \right |\leq C_{2}, \left | fg(x) \right |=\left | f(x) \right |*\left | g(x) \right |\leq C_{1}*C_{2} $

2) В терминах колебаний:

$latex fg=\varphi; x^{1},x^{n}\in \Delta _{i}[x_{i-1};x_{i}]; $

$latex \varphi(x^{n})-\varphi(x^{1})=f(x^{n})g(x^{n})-f(x^{1})g(x^{1})= $

$latex f(x^{2})g(x^{2})-f(x^{1})f(x^{n})+f(x^{1})g(x^{n})-f(x^{1})g(x^{1})\leq $

$latex g(x^{n})(f(x^{n})-f(x^{1}))+f(x^{1})(g(x^{n})-g(x^{1}))\leq $

$latex C((f(x^{n})-f(x^{1}))+(g(x^{n})-g(x^{1})); $

$latex \omega _{i}(f)=M_{i}-m_{i}=\underset{x^{1},x^{2}\in \Delta _{i}}\sup\left(f(x^{1})-f(x^{n})\right)\leq $

$latex C(\underset{x^{1},x^{2}\in \Delta _{i}}\sup(f(x^{1})-f(x^{n}))+\underset{x^{1},x^{2}\in \Delta _{i}}\sup(g(x^{1})-g(x^{n})))= $

$latex C(\omega_{i}(f)+\omega_{i}(g)) $ $latex \Rightarrow $ $latex \varphi(x^{n})-\varphi(x^{1})\leq $

$latex C(\omega_{i}(f)+\omega_{i}(g)) $ $latex \Rightarrow $ $latex \omega_{i}(\varphi )= $ $latex \sup(\varphi(x^{2}) $ $latex -\varphi(x^{1})) $

Свойство  3

Если $latex f\left(x \right)\in \mathbb{R}[a;b] $, тогда  $latex \left| f\left(x \right)\right|\in \mathbb{R}[a;b] $  и

$latex \left| \int\limits_{a}^{b}{}f\left(x \right)dx\right|\leq \int\limits_{a}^{b}{}\left|f\left(x \right) \right|dx$

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

$latex f=\begin{cases}-1, & \text{ } x\in\mathbb{R}/\mathbb{Q} \\ 1, & \text{ } x\in \mathbb{Q} \end{cases}$

По свойству модуля:

$latex \forall x^{1}, x^{2}\in B_{i}=[x_{i-1};x_{i}]=\left | \left | f(x^{2}) \right |\left | f(x^{1}) \right | \right |\leq \left | f(x^{2})-f(x^{1}) \right |\Rightarrow $

$latex \left | \left | f(x^{2}) \right |-\left | g(x^{1}) \right | \right |\leq \omega_{i}(\left | f\right |)\leq\omega (f); i=\overline{1,n}\Rightarrow $

$latex 0\leq\sum\limits_{i=1}^{n}{}\omega_{i}(\left | f\right |)\Delta x_{i}\leq\sum\limits_{i=1}^{n}\omega_{i}(f)\Delta x_{i} $.

Список литературы:

 

Свойства определенного интеграла, связанные с операциями над функциями

Начало теста

Таблица лучших: Свойства определенного интеграла, связанные с операциями над функциями

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Интегральная теорема о среднем

Пусть функции $latex f(x)$ и $latex g(x)$ удовлетворяют следующим условиям:

  1. $latex f,g \in R[a,b]$
  2. $latex \exists\;m,M:\;m\leqslant f(x)\leqslant M\forall\;x\in [a,b]$
  3. $latex g(x)$ не меняет знак на $latex [a,b]$

Тогда

$latex \exists\;\mu\in[m,M]:\int_{a}^{b}f(x)g(x)dx=\mu\int_{a}^{b}g(x)dx$.

Спойлер

$latex \square$Не ограничивая общности рассуждений рассмотрим случай $latex g(x)\geqslant 0$ на $latex [a,b]$.
Домножив все части неравенства $latex m\leqslant f(x)\leqslant M$ на $latex g(x)$, получим

$latex m\, g(x)\leqslant f(x)g(x)\leqslant M g(x)$.

По свойству монотонности интеграла, получим

$latex m\int_{a}^{b}g(x)dx\leqslant \int_{a}^{b}f(x)g(x)dx\leqslant M\int_{a}^{b}g(x)dx$.

Если $latex \int_{a}^{b}g(x)dx=0$, то и $latex \int_{a}^{b}f(x)g(x)dx=0$, тогда $latex \mu$ — любое из отрезка $latex [a,b]$. Пусть, далее, $latex \int_{a}^{b}g(x)dx \neq 0$. Разделим все части неравенства на $latex \int_{a}^{b}g(x)dx>0$, будем иметь

$latex m\leqslant \frac{\int_{a}^{b}f(x)g(x)dx}{\int_{a}^{b}g(x)dx}\leqslant M$.

Обозначим

$latex \frac{\int_{a}^{b}f(x)g(x)dx}{\int_{a}^{b}g(x)dx}=\mu$.

Получили, что $latex \mu \in [a,b]$ и $latex \int_{a}^{b}f(x)g(x)dx=\mu\int_{a}^{b}g(x)dx$. Случай $latex g(x)\leqslant0$ доказывается аналогично.$latex \blacksquare$

[свернуть]
Следствие

Если $latex f(x)$ непрерывна на $latex [a,b]$, $latex g \in R[a,b]$ и не меняет знак на $latex [a,b]$, то $latex \exists\;c\in [a,b]:\int_{a}^{b}f(x)g(x)dx=f(c)\int_{a}^{b}g(x)dx$. В частности, если $latex g(x)=1$, то

$latex \exists\;c\in[a,b]:\int_{a}^{b}f(x)dx=f(c)(b-a)$.

Спойлер

$latex \square$Пусть

$latex m=\underset{[a,b]}{inf}f(x)$ и $latex M=\underset{[a,b]}{sup}f(x)$.

Тогда, по второй теореме Вейерштрасса, $latex \exists\;x_{1},x_{2}\in [a,b]$ такие что $latex f(x_{1})=m$ и $latex f(x_{2})=M$ и $latex f(x_{1})\leqslant f(x)\leqslant f(x_{2}), x\in[a,b]$. По интегральной теореме о среднем

$latex \int_{a}^{b}f(x)g(x)dx=\mu \int_{a}^{b}g(x)dx$,

где $latex f(x_{1})\leqslant \mu \leqslant f(x_{2})$. Тогда, по теореме о промежуточных значениях непрерывной функции, $latex \exists\:c\in[a,b]:\mu=f(c)$.$latex \blacksquare$

[свернуть]
Примеры

1)Найти среднее значение функции $latex y=2x+3$, заданной на отрезке $latex [2,5]$, а также значение аргумента, в котором оно достигается.

Спойлер

Функция $latex f(x)$ непрерывна на отрезке $latex [2,5]$, следовательно интегрируема на этом отрезке. Тогда найдется такое $latex c\in[2,5]$, что

$latex f(c)=\frac{\int_{2}^{5}(2x+3)dx}{5-2}=\frac{1}{3}\left(x^{2}+3x)\right|^{5}_{3}=\frac{1}{3}(25+15-4-6)=10$.

$latex f(c)=10$

$latex 2c+3=10$

$latex c=\frac{7}{2}$

Среднее значение функции равно 10, достигается в точке $latex c=\frac{7}{2}$.

[свернуть]

2)Доказать неравенство: $latex \frac{1}{10\sqrt{2}}\leqslant\int_{0}^{1}\frac{x^{9}dx}{\sqrt{1+x}}\leqslant\frac{1}{10}$

Спойлер

 

Подынтегральную функцию представим в виде произведения: $latex \frac{x^{9}}{\sqrt{1+x}}=g(x)f(x)$, где $latex g(x)=x^{9}, f(x)=\frac{1}{\sqrt{1+x}}, x\in[0,1]$. Очевидно, что

$latex m=\underset{[0,1]}{inf}f(x)=\frac{1}{\sqrt{2}},
M=\underset{[0,1]}{sup}f(x)=1$.

Отсюда, по теореме о среднем получим $latex I=\int_{0}^{1}\frac{x^{9}dx}{\sqrt{1+x}}=c\int_{0}^{1}x^{9}dx=\frac{c}{10}$, причем $latex \frac{1}{\sqrt{2}}\leqslant c\leqslant 1$, по этому $latex \frac{1}{10\sqrt{2}}\leqslant I\leqslant \frac{1}{10}$.

[свернуть]
Литература
  • З.М. Лысенко. Конспект лекций по математическому анализу, 1 семестр.: О. 2012
  • Б.П. Демидович и др. Задачи и упражнения по математическому анализу. Издание девятое. Стр. 196-198: М. Наука. — 1977, 528 стр.
  • В.А. Ильин, Э.Г. Позняк. Основы математического анализа. Часть 1. Издание четвертое. Стр. 336-341: М. Наука. — 1982, 616 стр.
  • Г.М. Фихтенгольц. Курс дифференциального и интегрального исчисления. Том 2. Издание седьмое. Стр. 113-115: М. Наука. — 1969, 800 стр.
Смотрите так же на википедии

Тест на тему интегральная теорема о среднем

Таблица лучших: Интегральная теорема о среднем

максимум из 7 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

 

Свойства определенного интеграла связанные с неравенствами

Свойства определенного интеграла, связанные с неравенствами включают в себя следующие 4 свойства:

  1. Свойство 1 (интеграл от положительной функции)

  2. Свойство 2 (свойство монотонности интеграла)

  3. Свойства 3 и 4 (оценка модуля интеграла)

Также после ознакомления со всеми свойствами вы можете пройти тест на знание вышеупомянутых свойств.

Тест на тему свойства определенного интеграла связанные с неравенствами

Таблица лучших: Свойства определенного интеграла связанные с неравенствами

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных
Литература
Смотрите так же на википедии