7.5 Свойства интеграла

$\DeclareMathOperator{\arctg}{arctg}$ 1. Линейность интеграла. Если функции $f$ и $g$ интегрируемы на отрезке $\lbrack a, b\rbrack$, а числа $\alpha, \beta \in \mathbb {R}$, то
$$\int\limits_a^b \lbrack\alpha f\left(x\right) + \beta g\left(x\right)\rbrack\,dx = \alpha\int\limits_a^b f\left(x\right)\,dx + \beta\int\limits_a^b g\left(x\right)\,dx.$$

Это свойство получено нами ранее при доказательстве интегрируемости линейной комбинации.

2. Аддитивность интеграла. Пусть числа $b < a$. Зададим точки $a = x_{0} > x_{1} > \ldots > x_{n} = b,$ выберем точки $\xi_{i} \in \lbrack x_{i+1}, x_{i}\rbrack$ и составим сумму $\displaystyle\sigma = \sum\limits_{i=0}^{n-1} f\left(\xi_{i}\right)\Delta x_{i}.$ Заметим, что в этой сумме все $\Delta x_{i} < 0.$ Ясно, что эту сумму можно получить как интегральную сумму на $\lbrack b, a\rbrack,$ только с противоположным знаком. Это приводит к следующему определению.

Определение. Пусть $b < a$ и функция $f$ интегрируема на $\lbrack b, a\rbrack.$ Тогда по определению полагаем
$$\int\limits_a^b f\left(x\right)\,dx = -\int\limits_b^a f\left(x\right)\,dx.$$
Далее, для каждой функции $f$, определенной в точке $a$, полагаем по определению

$$\int\limits_a^a f\left(x\right)\,dx = 0.$$

Теорема. Пусть $a, b, c$ — произвольные точки на действительной прямой. Если функция $f$ интегрируема на наибольшем из отрезков с концами в двух из этих точек, то она интегрируема также и на двух других отрезках, и справедливо равенство
$$\int\limits_a^b f\left(x\right)\,dx = \int\limits_a^c f\left(x\right)\,dx + \int\limits_c^b f\left(x\right)\,dx.$$

Пусть, например, $a < c < b$ и функция $f$ интегрируема на $\lbrack a, b\rbrack.$ Тогда, по доказанному ранее свойству 4, она интегрируема на отрезках $\lbrack a, c\rbrack$ и $\lbrack c, b\rbrack.$ Возьмем произвольное разбиение $a = x_{0} < x_{1} < \ldots < x_{n} = b$, такое, что $c$ является одной из точек деления. Выберем промежуточные точки $\xi_{i}$ и рассмотрим интегральную сумму $\displaystyle\sigma = \sum\limits_{i=0}^{n-1} f\left(\xi_{i}\right)\Delta x_{i}$. Если $c = x_{j}$, то эту сумму разобьем на две: $\displaystyle\sigma = \sum\limits_{i=0}^{j-1} f\left(\xi_{i}\right)\Delta x_{i} + \sum\limits_{i=j}^{n-1} f\left(\xi_{i}\right)\Delta x_{i}$. При $d(\Pi) \to 0$ первая сумма справа стремится к $\displaystyle\int\limits_a^c f\left(x\right)\,dx$, вторая — к $\displaystyle\int\limits_c^b f\left(x\right)\,dx$, а сумма $\sigma$ стремится к $\displaystyle\int\limits_a^b f\left(x\right)\,dx$. Переходя к пределу при $d(\Pi) \to 0$, получим требуемое равенство.
Пусть теперь $c < a < b$. Тогда, по уже доказанному,
$$\int\limits_c^b f\left(x\right)\,dx = \int\limits_c^a f\left(x\right)\,dx + \int\limits_a^b f\left(x\right)\,dx.$$
Отсюда следует
$$\int\limits_a^b f\left(x\right)\,dx = \int\limits_c^b f\left(x\right)\,dx-\int\limits_c^a f\left(x\right)\,dx = \int\limits_a^c f\left(x\right)\,dx + \int\limits_c^b f\left(x\right)\,dx$$
и теорема доказана полностью.

3. Интеграл от модуля. Пусть функция $f$ интегрируема на отрезке $\lbrack a, b\rbrack \left(a < b\right)$. Тогда
$$\left|\int\limits_a^b f\left(x\right)\,dx\right| \leqslant \int\limits_a^b \left|f\left(x\right)\right| \,dx.$$

Действительно, интегрируемость модуля интегрируемой функции доказана ранее. Докажем неравенство. Для этого выберем произвольное разбиение отрезка $\lbrack a, b\rbrack.$ Тогда для интегральных сумм будем иметь следующее неравенство:
$$\left|\sum\limits_{i=0}^{n-1} f\left(\xi_{i}\right)\Delta x_{i}\right| \leqslant \sum\limits_{i=0}^{n-1} \left|f\left(\xi_{i}\right)\right|\Delta x_{i}.$$
При стремлении к нулю диаметра разбиения интегральная сумма под знаком модуля в левой части стремится к к $\displaystyle\int\limits_a^b f\left(x\right)\,dx$, а сумма справа стремится к $\displaystyle\int\limits_a^b \left|f\left(x\right)\right|\,dx$. Переходя к пределу при $d(\Pi) \to 0$, получаем требуемое неравенство для интегралов.

4. Монотонность интеграла. Пусть функции $f$ и $g$ интегрируемы на $\lbrack a, b\rbrack \left(a < b\right)$ и $f\left(x\right)\leqslant g\left(x\right)$ для всех $x \in \lbrack a, b\rbrack.$ Тогда
$$\int\limits_a^b f\left(x\right)\,dx \leqslant \int\limits_a^b g\left(x\right)\,dx.$$

Действительно, возьмем произвольное разбиение отрезка $\lbrack a, b\rbrack$ и выберем промежуточные точки $\xi_{i}$. Тогда $f\left(\xi_{i}\right)\leqslant g\left(\xi_{i}\right) \left(i = 0, 1, \ldots, n-1\right)$. Умножая эти неравенства на $\Delta x_{i} > 0$ и складывая, получим
$$\sum\limits_{i=0}^{n-1} f\left(\xi_{i}\right)\Delta x_{i}\leqslant\sum\limits_{i=0}^{n-1} g\left(\xi_{i}\right)\Delta x_{i}.$$
Отсюда, устремляя к нулю диаметр разбиения, получаем требуемое неравенство.

Следствие 1. Пусть $f$ — неотрицательная интегрируемая функция на $\lbrack a, b\rbrack \left(a < b\right)$. Тогда
$$\int\limits_a^b f\left(x\right)\,dx \geqslant 0.$$

Следствие 2. Если интегрируемая функция $f$ строго положительна на $\lbrack a, b\rbrack \left(a < b\right)$, то и $$\int\limits_a^b f\left(x\right)\,dx > 0.$$

Действительно, в силу критерия Лебега , найдется точка $x_{0}\in\lbrack a, b\rbrack$, в которой функция непрерывна . Поскольку $f\left(x_0\right) > 0$, то найдется такое $\delta > 0$, что $\displaystyle f\left(x\right) > \frac{1}{2}f\left(x_0\right)$ для всех $x \in \left(x_0-\delta, x_0 + \delta\right) \cap \lbrack a, b\rbrack.$ Выберем отрезок $\lbrack\alpha, \beta\rbrack \subset \left(x_0-\delta, x_0 + \delta\right) \cap \lbrack a, b\rbrack, a\leqslant\alpha < \beta\leqslant b$.Тогда, в силу свойства аддитивности интеграла, получим $$\int\limits_a^b f\left(x\right)\,dx = \int\limits_a^\alpha f\left(x\right)\,dx + \int\limits_\alpha^\beta f\left(x\right)\,dx + \int\limits_\beta^b f\left(x\right)\,dx.$$ Первый и третий интегралы справа неотрицательны в силу следствия, а для второго интеграла, учитывая неравенство $\displaystyle f\left(x\right) \geqslant \frac{1}{2} f\left(x_0\right)$, из свойства монотонности интеграла получим $$\int\limits_\alpha^\beta f\left(x\right)\,dx \geqslant \int\limits_\alpha^\beta \frac{1}{2}f\left(x_0\right)\,dx = \frac{1}{2}f\left(x_0\right)\left(\beta-\alpha\right) > 0.$$
Таким образом, $\displaystyle\int\limits_a^b f\left(x\right)\,dx > 0$.

Следствие 3.Пусть функция $f$ интегрируема на $\lbrack a, b\rbrack$ и $m \leqslant f\left(x\right) \leqslant M$ для всех $x \in \lbrack a, b\rbrack$. Тогда
$$ \begin{equation}\label{prop_of_int_first}m\left(b-a\right) \leqslant \int\limits_a^b f\left(x\right)\,dx \leqslant M\left(b-a\right)\end{equation}.$$

Это следствие сразу вытекает из свойства монотонности интеграла.

Замечание. В условиях следствия 3 найдется такое число $\mu \in \lbrack m, M\rbrack$, что
$$\int\limits_a^b f\left(x\right)\,dx = \mu\left(b-a\right).$$

Действительно, положим $\displaystyle\mu = \frac{1}{\left(b-a\right)}\int\limits_a^b f\left(x\right)\,dx$. Тогда, по следствию 3, $m \leqslant \mu \leqslant M$.

Отметим, что при $a > b$ в такой формулировке это замечание остается в силе, в то время как знаки неравенств в $\eqref{prop_of_int_first}$ меняются на противоположные.

Следствие 4. Если функция $f$ непрерывна на $\lbrack a, b\rbrack$, то найдется такая точка $\xi \in \lbrack a, b\rbrack$, что
$$ \int\limits_a^b f\left(x\right)\,dx = f\left(\xi\right)\left(b-a\right).$$

Действительно, пусть $m$ и $M$ соответственно нижняя и верхняя грани функции $f$ на отрезке $\lbrack a, b\rbrack$, они достигаются в силу первой теоремы Вейерштрасса. По уже доказанному, найдется точка $\mu \in \lbrack m, M\rbrack$, такая, что $\displaystyle\int\limits_a^b f\left(x\right)\,dx = \mu \left(b-a\right)$. По теореме Больцано-Коши о промежуточном значении, найдется такая точка $\xi \in \lbrack a, b\rbrack$, что $f\left(\xi\right) = \mu.$

Замечание. Следствие 4 иногда называют теоремой о среднем значении. Оно тесно связано с теоремой Лагранжа, которую также называют теоремой о среднем значении в дифференциальном исчислении.

Примеры решения задач

Данные примеры читателю рекомендуется решить самому в качестве тренировки.

  1. Оценить интеграл $\displaystyle\int\limits_{0}^{2\pi} \frac{\,dx}{\sqrt{5 + 2\sin{x}}}$.
    Решение

    Оценим подынтегральную функцию:
    $$-1 \leqslant \sin{x} \leqslant 1 \Rightarrow$$
    $$3 \leqslant 5 + 2\sin{x} \leqslant 7 \Rightarrow$$
    $$\sqrt{3} \leqslant \sqrt{5 + 2\sin{x}} \leqslant \sqrt{7} \Rightarrow$$
    $$\frac{1}{\sqrt{7}} \leqslant \frac{1}{\sqrt{5 + 2\sin{x}}} \leqslant \frac{1}{\sqrt{3}}.$$
    Отсюда и из монотонности интеграла следует, что
    $$\int\limits_0^{2\pi} \frac{\,dx}{\sqrt{7}} \leqslant \int\limits_0^{2\pi}\frac{\,dx}{\sqrt{5 + 2\sin{x}}}\leqslant\int\limits_0^{2\pi} \frac{\,dx}{\sqrt{3}}.$$
    Таким образом,
    $$\frac{2\pi}{\sqrt{7}} \leqslant \int\limits_0^{2\pi}\frac{\,dx}{\sqrt{5 + 2\sin{x}}}\leqslant\frac{2\pi}{\sqrt{3}}.$$

  2. Найти определенный интеграл $\displaystyle\int\limits_0^2 \left|1-x\right|\,dx$.
    Решение

    example
    Из аддитивности интеграла
    $$\int\limits_0^2 \left|1-x\right|\,dx = \int\limits_0^1 \left|1-x\right|\,dx + \int\limits_1^2 \left|1-x\right|\,dx =$$ $$= \int\limits_0^1 \left(1-x\right)\,dx + \int\limits_1^2 \left(x-1\right)\,dx = \int\limits_0^1 \,dx-\int\limits_0^1 x \,dx + \int\limits_1^2 x \,dx-\int\limits_1^2 \,dx =$$ $$= 1-0-\left.\frac{x^2}{2}\right|_0^1 + \left.\frac{x^2}{2}\right|_1^2-(2-1) = 1-\frac{1}{2} + 0 + \frac{2^2}{2}-\frac{1}{2}-1 = 1.$$

  3. Найти определенный интеграл $\displaystyle\int\limits_0^3 \frac{x^4}{x^2 + 1}\,dx$
    Решение

    $$\int\limits_0^3 \frac{x^4}{x^2 + 1}\,dx = \int\limits_0^3 \frac{\left(x^4 -1\right) + 1}{x^2 + 1}\,dx =$$ $$= \int\limits_0^3 \frac{\left(x^2-1\right)\left(x^2 + 1\right) + 1}{x^2 + 1}\,dx = \int\limits_0^3 \left(x^2-1 + \frac{1}{x^2 + 1}\right)\,dx.$$
    Воспользовавшись свойством линейности интеграла, получим
    $$\int\limits_0^3 \left(x^2-1 + \frac{1}{x^2 + 1}\right)\,dx = \int\limits_0^3 x^2 \,dx-\int\limits_0^3 \,dx + \int\limits_0^3 \frac{\,dx}{x^2 + 1} =$$ $$= \left.\frac{x^3}{3}\right|_0^3-(3-0) + \left.\arctg{x}\right|_0^3 = 9-0-3+ \arctg{3}-\arctg{0} =$$ $$=6 + \arctg{3}.$$

  4. Не вычисляя интегралов, определить какой из них больше: $\displaystyle\int\limits_2^3 e^{-x}\sin{x}\,dx$ или $\displaystyle\int\limits_2^3 e^{-x^2}\sin{x}\,dx$.
    Решение

    Сравним подынтегральные функции. Пусть $f\left(x\right) = e^{-x}\sin{x}$, $g\left(x\right) = e^{-x^2}\sin{x}$.
    $$f\left(x\right)-g\left(x\right) = e^{-x}\sin{x}-e^{-x^2}\sin{x} = \sin{x}\left(e^{-x}-e^{-x^2}\right) =$$ $$= e^{-x}\sin{x}\left(1-e^{-x^2 + x}\right).$$
    На промежутке $\lbrack 2, 3\rbrack$ функции $\sin{x}$ и $e^{-x}$ принимают положительные значения (поскольку синус на $\lbrack 0, \pi\rbrack$ положительный). Значит нам достаточно сравнить с нулем выражение $1-e^{-x^2 + x}$. Поскольку на $\lbrack 2, 3\rbrack$ $x^2 > x$, то $-x^2 + x < 0$, а значит $e^{-x^2 + x} < 1$. $1-e^{-x^2 + x} > 0$, из чего следует, что $f\left(x\right) > g\left(x\right)$.
    Ответ:
    $$\int\limits_2^3 e^{-x}\sin{x}\,dx > \int\limits_2^3 e^{-x^2}\sin{x}\,dx.$$

  5. Найти среднее значение функции на данном отрезке: $\sin{x}$, $\displaystyle 0 \leqslant x \leqslant \frac{\pi}{2}$.
    Решение

    Воспользуемся четвертым следствием из свойства монотонности интеграла. Средним значением функции $f\left(x\right)$ на отрезке $\lbrack a, b\rbrack$ называется число $\displaystyle\mu = \frac{1}{\left(b-a\right)}\int\limits_a^b f\left(x\right)\,dx.$
    Из этого следует:
    $$\mu = \frac{1}{\left(\frac{\pi}{2}-0\right)} \int\limits_0^{\frac{\pi}{2}} \sin{x}\,dx = \left.-\frac{2}{\pi}\cos{x}\right|_0^{\frac{\pi}{2}} = -\frac{2}{\pi}(0-1) = \frac{2}{\pi}.$$
    Ответ: $\displaystyle\frac{2}{\pi}.$

Смотрите также

  1. Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001. – 672 с. — С. 326-332.
  2. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. — 703 с. — С. 570-582.
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 2 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1970.- 800 с. — С. 108-116.

Свойства интеграла

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Свойства интеграла»

5.6.1 Первая теорема Лопиталя

5.6.1 Первая теорема Лопиталя
Следующая теорема содержит правило раскрытия неопределенности вида $\left [ \displaystyle\frac{0}{0} \right ]$ для случая, когда функции $f$ и $g$ имеют производные в проколотой окрестности точки $a$, а в самой точке $a$ могут оказаться и недифференцируемыми.

Первая теорема Лопиталя
Пусть функции $f$ и $g$ дифференцируемы на интервале $\left ( a,b \right )$, $\lim\limits_{x\to a+0}f(x)=0$, $\lim\limits_{x\to a+0}g(x)=0$ и ${g}'(x)\neq 0$ для всех $x\in\left ( a, b \right )$. Далее, пусть существует $$\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(x)}{{g}'(x)}= A ,$$ где $A$ может быть конечным $+\infty$, $-\infty$ или $\infty$. Тогда существует $$\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{f(x)}{g(x)}$$ и этот предел равен  $A$.

Доопределим по непрерывности функции $f$ и $g$ в точке $a$, полагая $f(a)=g(a)=0$. Тогда для любого $x\in\left ( a, b \right )$ в силу теоремы Коши, найдется такая точка $\xi_{a}\in(a,x)$, что $$\displaystyle\frac{f(x)}{g(x)}= \displaystyle\frac{f(x)-f(a)}{g(x)-g(a)}=\displaystyle\frac{{f}'(\xi_{x})}{{g}'(\xi_{x})}.$$
Если мы покажем, что из условий $\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(x)}{{g}'(x)}= A$ и  $\xi_{a}\in(a,x)$ следует, что $\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(\xi_{a})}{{g}'(\xi_{a})}=A$, то сразу получим, что и $\lim\limits_{x\rightarrow a+0}\displaystyle\frac{f(x)}{g(x)}= A$
Итак, осталось показать, что условие $\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(x)}{{g}'(x)}= A$ влечет равенство $\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(\xi_{a})}{{g}'(\xi_{a})}=A$, где $\xi_{a}\in(a,x)$. Пусть $A$ конечно. Тогда для заданного $\varepsilon > 0$ найдем такое $\delta > 0$, что из условия $a<x<a+\delta$ следует неравенство $$\left | \displaystyle\frac{{f}'(x)}{{g}'(x)}-A \right |< \varepsilon.$$
Но из $a< \xi_x< x$ следует также, что и $a< \xi_x< a+\delta$ , и поэтому
$$\left | \displaystyle\frac{{f}'(\xi_x)}{{g}'(\xi_x)}-A \right |< \varepsilon.$$
Отсюда следует требуемое равенство
$$\lim\limits_{x\rightarrow a+0 } \displaystyle\frac{{f}'(\xi_x)}{{g}'(\xi_x)}=A.$$
Аналогично, с очевидными изменениями в форме записи, исчерпываются случаи $A=+\infty$, $A=-\infty$ и $A=\infty$.

Замечание. Теорема Лопиталя утверждает, что предел отношения функций равен пределу отношения производных, если последний существует. Однако может оказаться, что предел отношения функций существует, в то время, как предел отношения производных не существует, т. е. обратное теореме Лопиталя утверждение неверно. Приведем соответствующий пример.

Пример. Положим $f(x)=x^2\sin\displaystyle\frac{1}{x}$, $g(x)=x$. Ясно, что $ \displaystyle\frac{f(x)}{g(x)}=x\sin \displaystyle\frac{1}{x}\rightarrow 0(x\rightarrow 0)$. Но ${f}'(x)=2x\sin \displaystyle\frac{1}{x}-\cos \displaystyle\frac{1}{x}, {g}'(x)=1$, так что при  $x\rightarrow 0$ отношение $\displaystyle\frac{{f}'(x)}{{g}'(x)}$ не имеет предела, поскольку первое слагаемое в ${f}'(x)$ стремится к нулю, а $\cos \displaystyle\frac{1}{x}$ не имеет предела при $x\rightarrow 0$.

Примеры решения задач

Данные примеры читателю рекомендуется решить самому в качестве тренировки.

  1. $\large\lim\limits_{x\rightarrow 0}\displaystyle\frac{1-\cos4x}{x^2}$
    Решение

    $\left | \displaystyle\frac{0}{0} \right |=\lim\limits_{x\rightarrow 0} \displaystyle\frac{4\sin4x}{2x}=\lim\limits_{x\rightarrow 0} \displaystyle\frac{16\cos4x}{2}=8$

  2. $\large\lim\limits_{x\rightarrow 0}\displaystyle\frac{x-\sin x}{x^3}$
    Решение

    $\lim\limits_{x\rightarrow 0} \displaystyle\frac{1-\cos x}{3x^2}=\lim\limits_{x\rightarrow 0} \displaystyle\frac{\sin x}{6x}= \displaystyle\frac{1}{6}$

  3. $\large\lim\limits_{x\rightarrow 0}\displaystyle\frac{x^4}{x^2+2\cos x-2}$
    Решение

    $\lim\limits_{x\rightarrow 0} \displaystyle\frac{4x^3}{2x-2\sin x}=\lim\limits_{x\rightarrow 0} \displaystyle\frac{12x^2}{2-2\cos x}=\lim\limits_{x\rightarrow 0} \displaystyle\frac{24x}{2\sin x}=12$

  4. $\large\lim\limits_{x\rightarrow \infty }\displaystyle\frac{ \displaystyle\frac{\pi}{4}-\text{arctg}\:(1- \displaystyle\frac{1}{x})}{\sin\displaystyle\frac{1}{x}}$
    Решение

    $\lim\limits_{x\rightarrow \infty } \displaystyle\frac{ \displaystyle\frac{-1}{1+(1- \displaystyle\frac{1}{x})^2} \displaystyle\frac{1}{x^2}}{(\cos \displaystyle\frac{1}{x}) \displaystyle\frac{-1}{x^2}}=\lim\limits_{x\rightarrow \infty } \displaystyle\frac{ \displaystyle\frac{1}{1+(1- \displaystyle\frac{1}{x})^2}}{\cos \displaystyle\frac{1}{x}}= \displaystyle\frac{1}{2}$

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

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Первая теорема Лопиталя».

Литература

Смотрите также

  1. Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001 (стр. 172-176)
  2. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 2 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1970 (стр. 601-603)
  3. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003 (стр. 328-330)

4.5 Непрерывность и разрывы монотонной функции

Определение. Функция $f$, определенная на интервале $\left(a, b\right)$, называется непрерывной на этом интервале, если она непрерывна в каждой точке этого интервала. Функция $f$ называется непрерывной на отрезке $\left[a, b\right]$, если она непрерывна на $\left(a, b\right)$, а в точках $a$ и $b$ непрерывна справа и слева, соответственно.

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

Теорема $1$. Пусть функция $f$ монотонна на $\left[a, b\right]$. Тогда

  1. Если $x_0\in\left(a, b\right)$, то имеет место одна и только одна из следующих двух ситуаций:
    1. $f$ непрерывна в точке $x_0$;
    2. в точке $x_0$ функция $f$ имеет неустранимый разрыв $I$ рода.
  2. Если $x_0=a \left(x_0=b\right)$, то
    1. либо $f$ непрерывна справа (слева) в точке $x_0$;
    2. либо $f$ имеет в точке $x_0$ устранимый разрыв.

Рассмотрим случай, когда $f$ возрастает на $\left[a, b\right]$. Пусть $x_0\in\left(a, b\right)$. Тогда из неравенства $f\left(x\right)\leqslant f\left(x_0\right)\left(x<x_0\right)$ и монотонности $f$ следует, что существует $f\left(x_0-0\right)\leqslant f\left(x_0\right)$. Аналогично, из неравенства $f\left(x\right)\geqslant f\left(x_0\right)\left(x>x_0\right)$ и монотонности $f$ следует, что существует $f\left(x_0+0\right)\geqslant f\left(x_0\right)$. Итак,
$$f\left(x_0-0\right)\leqslant f\left(x_0\right)\leqslant f\left(x_0+0\right)\ \ \ \ \ \ \ \ \ \ \left(4.4\right)$$
Если в $\left(4.4\right)$ два знака неравенства, то $f$ непрерывна в точке $x_0$. Если же хотя бы одно из неравенств строгое, то в точке $x_0$ функция $f$ имеет скачок. Из $\left(4.4\right)$ также следует, что в точке $x_0$ устранимый разрыв невозможен.
Пусть теперь $x_0=b$. Тогда $f\left(x\right)\leqslant f\left(b\right)$ и существует $f\left(b-0\right)\leqslant f\left(b\right)$. Если $f\left(b-0\right)=f\left(b\right)$, то $f$ непрерывна слева в точке $b$. Если же $f\left(b-0\right)<f\left(b\right)$, то в точке $b$ у функции $f$ устранимый разрыв (левосторонний). Случай $x_0=a$ рассматривается аналогично.

Теперь изучим вопрос о количестве точек разрыва монотонной функции, заданной на $\left[a, b\right]$. Может оказаться, что точек разрыва у функции $f$ нет $(например, f\left(x\right)=x)$. Легко построить пример монотонной функции, у которой любой наперед заданный конечный набор точек из $\left[a, b\right]$ будет точками разрыва, а все остальные точки будут точками непрерывности. Монотонная функция может иметь и бесконечно много точек разрыва. Например, у невозрастающей функции $$ \displaystyle f\left(x\right)=\left\{\begin{matrix}1-\displaystyle\frac{1}{n}, \frac{1}{n+1}<x\leqslant \frac{1}{n}, n=1,2,…,\\ 1, x=0\end{matrix}\right.$$ каждая точка вида $\displaystyle\frac{1}{n}\left(n=1, 2,\ldots\right)$ является точкой разрыва. В этом примере множество точек разрыва счетное. Если же отказаться от условия монотонности, то можно привести пример функции, у которой множество точек разрыва несчетно (функция Дирихле). Естественно спросить, может ли монотонная функция иметь несчетное множество точек разрыва?

Определение. Множество называется не более чем счетным, если оно пусто, конечно или счетно.

Теорема $2$. Пусть функция $f$ монотонна на $\left(a, b\right)$. Тогда множество ее точек разрыва не более чем счетно.

Пусть функция $f$ не убывает на $\left(a, b\right)$. Согласно предыдущей теореме, если в некоторой точке $x_0\in\left(a, b\right)$ функция $f$ имеет разрыв, то это — скачок, т.е. $f\left(x_0-0\right)<f\left(x_0+0\right)$. Поэтому каждой точке разрыва $x$ можно поставить в соответствие интервал $I_x=\left(f\left(x_0-0\right), f\left(x_0+0\right)\right)$. Пусть $x’$ и $x^{\prime\prime}$ — две различные точки разрыва функции $f$. Покажем, что интервалы $I_{{x}^{\prime}}$ и $I_{{x}^{\prime\prime}}$ не пересекаются. Пусть $x'<x^{\prime\prime}$. Выберем точку $\xi$ такую что $x'<\xi<x^{\prime\prime}$. Тогда, в силу монотонности $f$, $f\left(x’+0\right)\leqslant f\left(\xi\right)$ и $f\left(x^{\prime\prime}-0\right)\geqslant f\left(\xi\right)$, т.е. $f\left(x’+0\right)\leqslant f\left(x^{\prime\prime}-0\right)$. Это означает, что интервалы $\left(f\left(x’-0\right), f\left(x’+0\right)\right)$ и $\left(f\left(x^{\prime\prime}-0\right), f\left(x^{\prime\prime}+0\right)\right)$ не имеют общих точек. Итак, каждой точке разрыва $x$ поставлен в соответствие интервал $I_x$. В каждом таком интервале $I_x$ выберем рациональное число $r_x$. При этом различным точкам разрыва $x’$ и $x^{\prime\prime}$ будут соответствовать различные числа $r_{{x}^{\prime}}$ и $r_{{x}^{\prime\prime}}$, т.к. интервалы $I_{{x}^{\prime}}$ и $I_{{x}^{\prime\prime}}$ не пересекаются.

Пусть $E\subset\left(a, b\right)$ — множество всех точек разрыва функции $f$. Если $E\neq\varnothing$, то каждому $x\in E$ поставлено в соответствие рациональное число $r_x$. Мы получили взаимно однозначное соответствие между элементами множества $E$ и некоторым подмножеством $E_1\subset \mathbb{Q}$ множества $\mathbb{Q}$. Но множество рациональных чисел $\mathbb{Q}$ счетно, поэтому и множество $E_1$ не более чем счетно, а значит не более чем счетно и само множество $E$.

Пусть функция $f$ монотонна на $\left[a, b\right]$. Тогда множество ее значений $E\left(f\right)$ содержится в отрезке $I$ с концами $f\left(a\right)$ и $f\left(b\right)$, т.е. $E\left(f\right)\subset I$. Следующая теорема показывает, что в случае $E\left(f\right)=I$ функция $f$ непрерывна на $\left[a, b\right]$. Другими словами, если в области значений монотонной функции нет пустот (промежутков), то такая функция непрерывна.

Теорема $3$. Пусть функция $f$ монотонна на $\left[a, b\right]$ и область ее значений представляет собой отрезок с концами $f\left(a\right)$ и $f\left(b\right)$. Тогда функция $f$ непрерывна на $\left[a, b\right]$.

Рассмотрим случай неубывающей $f$. Предположим, что $f$ разрывна в некоторой точке $x_0\in\left(a, b\right)$. Тогда, согласно теореме $1$, в точке $x_0$ функция $f$ имеет скачок, а из условия монотонности следует, что $f\left(x_0-0\right)<f\left(x_0+0\right)$. Итак, если $x<x_0$, то $f\left(x\right)\leqslant f\left(x_0-0\right)$, а при $x>x_0$ имеем $f\left(x\right)\geqslant f\left(x_0+0\right)$, т.е. на интервале $\left(f\left(x_0-0\right), f\left(x_0+0\right)\right)$ содержится разве что единственная точка $f\left(x_0\right)$ из области значения функции $E\left(f\right)$, что противоречит условию.

Случаи $x_0=a$ и $x_0=b$ исчерпываются аналогичным образом, и тем самым завершается доказательство теоремы.

Замечание. Теорема $3$ теряет силу, если отбросить условие монотонности функции $f$. Например, множество значений функции $$f\left(x\right)=\left\{\begin{matrix}-x, -1\leqslant x<0,\\x-1, 0\leqslant x\leqslant1, \end{matrix}\right.$$
определённой на отрезке $\left[-1, 1\right]$, представляет собой отрезок $\left[-1, 1\right]$, но в то же время эта функция разрывна в точке $x_0=0$.

Эквивалентная формулировка теоремы $3$ имеет следующий вид.

Если монотонная функция $f$ принимает все промежуточные значения между $f\left(a\right)$ и $f\left(b\right)$, то $f$ непрерывна на отрезке $\left[a, b\right]$.

Примеры решения задач

  1. Найти точки разрыва функции $$f \left(x \right)= \left \{ \begin{matrix}x^2, -1 \leqslant x<0 \\ 2x-1, 0 \leqslant x<1 \end{matrix}\right.$$
    Решение

    $f\left(+0\right)=\lim\limits_{x \to +0} f\left(x\right)=\lim\limits_{x \to +0}\left(2x-1\right)=-1$, $f\left(-0\right)=\lim\limits_{x \to -0} f\left(x\right)=\lim\limits_{x \to +0} x^2=0$. $f\left(+0\right)$ и $f\left(-0\right)$ — конечны, но не равны, поэтому точка $x=0$ — точка разрыва первого рода.

Смотрите также

Непрерывность и разрывы монотонной функции

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Непрерывность и разрывы монотонной функции».

3.2. Предел функции и его элементарные свойства

Будем рассматривать функции $f: X \to \mathbb R$, где $X \subset \mathbb R.$Окрестностью радиуса $\delta > 0$ (или $\delta$-окрестностью) точки $a \in \mathbb R$ мы называли множество таких $x ∈ \mathbb R$, что $a − \delta < x < a + \delta$, или, что то же самое, $\left | x − a \right | < \delta.$ Проколотой $\delta$-окрестностью точки $a$ называем $\delta$-окрестность точки $a \in \mathbb R$, из которой удалена сама точка $a$.  Другими словами, проколотая $\delta$-окрестность точки $a$ – это множество всех точек $x \in \mathbb R$, таких, что $a−\delta < x < a$ или $a < x < a + \delta$. Это можно записать так: $0 < \left | x − a \right | < \delta$.

Определение предела функции по Коши. Пусть функция $f$ определена в некоторой проколотой окрестности точки $a$. Число $A$ называется пределом функции $f$ в точке $a$, если для любого $\varepsilon > 0$ найдется такое $\delta > 0$, зависящее, вообще говоря, от $\varepsilon$, что для всех $x$, удовлетворяющих условию $0 < \left | x − a \right | < \delta$, справедливо неравенство от $\left | f \left ( x \right ) − A \right | < \varepsilon$. Если число $A$ является пределом функции $x$ в точке $a$, то говорят, что функция $f$ стремится к $A$ при $x$, стремящемся к $a$, и пишут: $\lim \limits_{x \to a} f \left ( x \right ) = A$, или $f \left (x \right ) \to A$ при $x \to a$.

Пример 1.
Пусть $f \left ( x \right ) = x \cdot \sin \frac{1}{x}, x\neq 0, a = 0.$
Данная функция определена в проколотой окрестности точки $a = 0.$ Покажем, что: $\lim \limits_{x \to 0} f \left (x \right ) = 0$. Зададим $\varepsilon > 0.$ Тогда для $x\neq 0$ неравенство $$\left | f \left (x \right ) — 0 \right | = \left | x \cdot  \sin \frac{1}{x} \right |\leqslant \left | x \right | \leqslant \varepsilon$$ справедливо, если только $0 < \left | x − 0 \right | = \left | x \right | < \delta$, где в качестве $\delta$ мы выбираем $\varepsilon$, т.е. $\delta = \varepsilon.$ Так как $\varepsilon > 0$ произвольно, то для любого $\varepsilon > 0$  найдется такое $\delta \left ( \delta = \varepsilon \right )$, что для всех $x$, удовлетворяющих условию $0 < \left | x − 0 \right | < \delta$, справедливо неравенство $\displaystyle \left | x \cdot  \sin \frac{1}{x} — 0 \right | <  \varepsilon$. По определению, это и означает, что $\displaystyle \lim \limits_{x \to 0} x \cdot \sin \frac{1}{x} = 0$.

Пример 2.
Пусть $f \left (x \right) = \operatorname {sgn} x = \left\{\begin{matrix}
1, x > 0, & \\
0, x = 0, & \\
-1, x < 0. &
\end{matrix}\right.$
Покажем, что функция $f$ не имеет предела в точке $a = 0$, т.е. для любого $A ∈  \mathbb R$  найдется такое $\varepsilon_{0} > 0$, что для каждого $\delta > 0$, найдется такое $x$, удовлетворяющее условию $0 < \left | x − 0 \right | < \delta$, при котором $\left | f \left (x \right ) − A \right | \leqslant \varepsilon_{0}.$
Пусть $A \in  \mathbb R$. Покажем, что $\varepsilon_{0} = 1$ обладает требуемым свойством. В самом деле, зададим произвольное $\delta > 0$. Если $A \leqslant 0$, то выберем такое $x$, что $−\delta < x < 0$, например, $\displaystyle x = \frac{−\delta}{2}$. Тогда $0 < \left | x − 0 \right | < \delta$, и $\left | f \left (x \right ) − A \right | = \left | − 1 − A \right | = 1 + A \leqslant 1 = \varepsilon_{0}$. Если же $A < 0$, то выберем такое $x$, что $0 < x < \delta$, например, $\displaystyle x = \frac{δ}{2}$. Тогда снова получим, что $0< \left | x − 0 \right | < δ$, и $\left | f \left( x \right) − A \right | = \left | 1 − A \right | = 1 − A \leqslant 1 = \varepsilon_{0}$. Итак, никакое $A ∈  \mathbb R$ не является пределом функции $f \left (x \right ) = \operatorname {sign} x $ в точке $a = 0$.

Замечание 1. В определении предела мы предполагаем, что функция $f$ определена в проколотой окрестности точки $a$. Может оказаться, что в самой точке $a$ функция $f$ также определена. Однако значение функции $f$ в этой точке $a$ совершенно не оказывает влияния на предел функции в этой точке, т. к. в определении предела мы рассматриваем лишь те значения $x$, которые отличны от $a$.

Пример 3.
Пусть $f \left ( x \right ) = |\operatorname {sign} x |= \left\{\begin{matrix}
1, x\neq 0, & \\
0, x = 0.  &
\end{matrix}\right.$
Покажем, что $\lim \limits_{x \to 0} f \left ( x \right ) = 1$.
Действительно, зададим $\varepsilon > 0$ и в качестве $\delta$ выберем любое положительное число, например, $\delta = 1$. Тогда из неравенства $0 < \left | x − 0 \right | = \left | x \right | < \delta$ вытекает $\left |f \left ( x \right) − 1 \right | = \left |1 − 1 \right | = 0 < \varepsilon$. Следует обратить внимание на то, что неравенство $\left | f \left( x \right) − 1 \right | < \varepsilon$ может и не выполняться при $x = 0$ (оно действительно не выполняется, если $\varepsilon \leqslant 1$. Но мы и не требуем, чтобы оно выполнялось при $x = 0$, т.к. рассматриваются лишь такие значения $x$, для которых $\left | x \right | > 0$.

Пример 4.
Докажем, что $\displaystyle \lim \limits_{x \to 1} \frac{x^{2}-1}{x-1} = 2$.
В самом деле, если $x \neq 1$, то $\displaystyle \frac{x^{2}-1}{x-1} = x + 1$, и тогда $\left | f \left (x \right) – 2 \right | = \left | \left( x+1 \right ) – 2 \right | = \left | x-1 \right | < \varepsilon$, если только $0 < \left | x-1 \right | < \delta$, где $\delta = \varepsilon$.

Замечание 2. Определение предела носит локальный характер. Это означает, что существование предела и его величина зависят лишь от значений, принимаемых функцией в достаточно малой проколотой окрестности точки $a$. Другими словами, если мы изменим функцию вне некоторой проколотой окрестности точки $a$, то это никак не скажется на существовании предела и его величине.

Пример 5.
Докажем, что $\lim \limits_{x \to a} \sqrt{x} = \sqrt{a}$ при любом $a > 0$.
Зададим $\varepsilon > 0$.Тогда для $x > 0$ неравенство $\displaystyle |\sqrt{x} — \sqrt{a}|= \frac{|x — a|}{\sqrt{x} + \sqrt{a}} \leqslant \frac{1}{\sqrt{a}} < \varepsilon$ будет иметь место, если только $0 < |x — a| < \sqrt{a} \cdot  \varepsilon = \delta$.

Теорема 1(единственность предела)
Если функция $f$ имеет предел в точке $a$, то он единственный.

Пусть $\lim \limits_{x \to a} f \left (x \right ) = A$ и $\lim \limits_{x \to a} f \left ( x \right ) = B$. Зададим $\varepsilon > 0$ и найдем $\delta _{1} > 0$, такое, что из неравенства $0 < \left |x − a \right | < \delta_{1}$ следует $\displaystyle \left |f \left ( x \right ) − A \right | < \frac{\varepsilon}{2}$.  Далее, найдем $\delta_{2} > 0$, такое, что из неравенства $0 < \left |x−a \right | < \delta_{2}$ следует $\displaystyle \left |f \left ( x \right )−B \right | < \frac{\varepsilon}{2}$. Положим $\delta = min \left ( \delta_{1}, \delta_{2} \right)$ и выберем такое $x$, что $0 < \left |x − a \right | < \delta$. Тогда $\displaystyle \left |B − A \right | \leqslant \left | f \left ( x \right ) − A \right | + \left | f \left ( x \right ) − B \right | < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$.
Поскольку $\varepsilon > 0$ произвольное и $\left |B − A \right | < \varepsilon$, то это означает, что $A = B$.

Локальная ограниченность функции, имеющей предел.
Функция $f$ называется ограниченной сверху (снизу) на множестве $E$, если существует такое число $M(m)$, что для всех $x \in E$ справедливо неравенство $f \left( x \right) \leqslant M \left ( f \left (x \right ) \leqslant m \right )$. Функция $f$ называется ограниченной на множестве $E$, если она ограничена на этом множестве сверху и снизу.
Другое эквивалентное определение ограниченности функции можно дать, используя понятие модуля. Именно, функция $f$ называется ограниченной на множестве $E$, если существует такое число $A$, что для всех $x \in E$ справедливо неравенство $\left |f \left (x \right ) \right | \leqslant A$.
Доказательство равносильности этих двух определений ограниченности элементарно и мы его опускаем.

Выше мы установили, что сходящаяся последовательность ограничена. Рассмотрим аналогичный вопрос для функций. Именно, следует ли из существования предела функции ее ограниченность? Отрицательный ответ на этот вопрос дает, например, функция $\displaystyle f \left ( x \right) = \frac{1}{x}, 0 < x < +\infty$. Действительно, легко видеть, что функция $f$ неограничена на $\left ( 0, +\infty \right )$. В то же время $\displaystyle \lim \limits_{x \to 1} \frac{1}{x} = 1$. В самом деле,  $\begin{vmatrix}
\frac{1}{x} – 1
\end{vmatrix} = \left |x − 1 \right | x \leqslant 2 \left| x − 1 \right | < \varepsilon,$ если только $\displaystyle \left |x − 1 \right | < \delta = min \left\{ \frac{1}{2}, \frac{\varepsilon}{2} \right\}.$ Тем не менее, справедлива.

Теорема 2
Пусть функция $f$ определена в проколотой окрестности $U$ точки $a$ и имеет предел в этой точке. Тогда существует такая проколотая окрестность $V \subset U$, на которой функция $f$ ограничена.

Пусть $\lim \limits_{x \to a}f \left (x \right) = A$. Зададим $\varepsilon = 1$ и найдем такое $\delta > 0$, что для всех $x \in U$, удовлетворяющих условию $0 < \left | x − a \right | < \delta$, справедливо неравенство $\left | f \left( x \right) − A \right | < 1$. Обозначим $V = U \cap {x : 0 < \left |x − a \right | < \delta}$. Тогда для всех $x ∈ V$ справедливо неравенство $\left | f(x) \right | \leqslant \left | f \left( x \right) − A \right | + \left |A \right | \leqslant \left |A \right | + 1$, которое и означает, что функция $f$ ограничена на $V$

Определение предела функции по Гейне.
Мы хотим связать определения предела функции и предела последовательности. Пусть функция $f$ определена в некоторой проколотой окрестности $U$ точки $a$. Возьмем произвольную последовательность аргументов $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix}_{n=1}^{\infty}$, т.е. $x_{n} \in U \left( x_{n} \neq a, n = 1, 2, \cdots \right )$. Эта последовательность аргументов порождает последовательность значений функции $f$ в точках $x_{n}$, т.е. мы получаем последовательность $\begin{Bmatrix}
{f \left (x_{n} \right )}
\end{Bmatrix}_{n=1}^{\infty}$.

Определение. Пусть функция $f$ определена в проколотой окрестности $U$ точки $a$. Число $A$ называется пределом функции $f$ в точке $a,$ если каждая последовательность аргументов $\left\{f \left ( x_{n} \right ) \right\}$, стремящаяся к $a \left (т.е. x_{n} \in U, x_{n} \neq a, n = 1, 2, \cdots \right)$ порождает соответствующую последовательность значений функции $\begin{Bmatrix}
{f \left ( x_{n} \right )}
\end{Bmatrix}$, стремящуюся к $A$.

Итак, мы имеем два определения предела функции: по Коши и по Гейне. Покажем, что эти определения эквивалентны.

Эквивалентность двух определений предела функции в точке.
Пусть $\lim \limits_{x \to a} f \left (x \right) = A$ в смысле определения по Коши. Возьмем произвольную последовательность $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix}, x_{n} \to a \left( n \to \infty \right), x_{n} \neq a$ и покажем, что $f \left( x_{n} \right) \to A \left( n \to \infty \right )$. Зададим $\varepsilon > 0$ и найдем $\delta > 0$, такое, что из неравенства $0 < \left |x − a \right | < \delta$ следует $\left |f \left ( x \right ) − A \right | < \varepsilon$. Пользуясь тем, что $x_{n} \to a \left ( n \to \infty \right )$, для найденного $\delta$ найдем номер $N$, такой, что при каждом $n \leqslant N$ справедливо неравенство $\left |x_{n} − a \right | < \delta$. Но тогда при каждом $n \leqslant N$ будет выполнено неравенство $|f \left( x_{n} \right ) − a| < \varepsilon$. Итак, для заданного $\varepsilon > 0$ найдется такой номер $N$, что для всех $n \leqslant N$ справедливо неравенство $|f \left( x_{n} \right ) − A| < \varepsilon$. Так как $\varepsilon > 0$ произвольно, то это означает, что $\lim \limits_{n \to \infty} f \left( x_{n} \right ) = A$.
Обратно, пусть число $A$ является пределом функции $f$ при $x \to a$ в смысле Гейне, т.е. для любой последовательности $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix}\left ( x_{n} \to a, x_{n} \neq a \right )$ соответствующая последовательность значений функции $\begin{Bmatrix}
{f \left ( x_{n} \right )}
\end{Bmatrix}$ стремится к $A$. Предположим, что $A$ не является пределом функции $f$ в точке $a$ в смысле Коши. Это означает, что найдется такое $\varepsilon_{0} > 0$, что для любого $\delta > 0$ существует такое $x$, что $0 < \left |x − a \right | < \delta$, но $\left |f \left ( x \right ) − A \right | \leqslant \varepsilon_{0}$. Возьмем $\delta = 1$ и найдем такое $x_{1}$, что $0 < \left |x_{1} − a \right | < 1$ и $\left |f \left ( x_{1} \right ) − A \right | \leqslant \varepsilon_{0}$. Далее, для $ \displaystyle \delta = \frac{1}{2}$ найдем такое $x_{2}$, что $\displaystyle 0 < \left |x_{2} − a \right | < \frac{1}{2}$ и $\left | f \left( x_{2} \right) − A \right | \leqslant \varepsilon_{0}$. Полагая $\displaystyle \delta = \frac{1}{n}$, найдем такое $x_{n}$, что $\displaystyle 0 < \left | x_{n} − a \right | < \frac{1}{n}$ и $\left |f \left( x_{n} \right ) − A \right | \leqslant \varepsilon_{0}$. В результате получим последовательность $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix}$. Из условия $\displaystyle \left|x_{n} − a \right| < \frac{1}{n}$  следует, что $x_{n} \to a \left (n \to \infty \right )$, а поскольку $\left |x_{n} − a \right| > 0$, то $x_{n} \neq a \left (n = 1, 2, \cdots \right)$. Кроме того, $\left |f(x_{n}) − A \right | \leqslant \varepsilon_{0}$. Это неравенство означает, что соответствующая последовательность значений функции $\left\{f \left (x_{n} \right ) \right\}$ не стремится к $A$. Окончательно, мы построили такую последовательность аргументов $\left\{x_{n}\right\}, x_{n} \to a, x_{n} \neq a$, что соответствующая последовательность значений функции $\left\{f \left( x_{n} \right ) \right\}$ не стремится к $A$. Это противоречит условию.

Итак, мы показали, что определения предела по Коши и по Гейне эквивалентны. Часто на практике определение предела по Гейне используется для доказательства того, что у функции нет предела в точке $a$. Именно, отрицание определения предела в смысле Гейне выглядит следующим образом. Число $A$ не является пределом функции $f$ в точке $a$, если существует последовательность аргументов $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix} \left (x_{n} \to a, x_{n} \neq a \right )$, такая, что $f \left (x_{n} \right)$ не стремится к $A$.
Предположим, что найдется такая последовательность аргументов, что соответствующая последовательность значений функции $\begin{Bmatrix}
{f \left( x_{n} \right )}
\end{Bmatrix}$ расходится. Тогда ясно, что никакое число не является пределом функции $f$ в точке $a$, т. е. $f$ не имеет предела при $x \to a$. Итак, для того чтобы показать, что функция $f$ не имеет предела в точке $a$, достаточно построить последовательность $\begin{Bmatrix}
{x_{n}}
\end{Bmatrix} \left(x_{n} \to a, x_{n} \neq a \right)$, такую, что $\begin{Bmatrix}
{f \left (x_{n} \right)}
\end{Bmatrix}$ не имеет предела.

Упражнение.
Доказать, что справедливо и обратное утверждение. Именно, если функция $f$ не имеет предела в точке $a$, то существует такая последовательность $\left\{x_{n} \right\} \left( x_{n} \to a, x_{n} \neq a \right)$, что $\left\{f \left (x_{n} \right ) \right\}$ расходится.

Пример.
Пусть $\displaystyle f(x) = \sin \frac{1}{x}  \left(x \neq 0 \right )$. Выберем две последовательности $\displaystyle {x}’_{k} = \frac{1}{2\pi k}$ и $\displaystyle {x}^{\prime\prime}_{k} = \frac{1}{2\pi \left(\frac{k+1}{4} \right)} \left(k = 1, 2,\cdots \right).$
Тогда ${x}’_{k} \to 0, {x}^{\prime\prime}_{k} \to 0 \left(k \to \infty \right)и f \left({x}’_{k} \right) = 0, f \left({x}^{\prime\prime}_{k} \right) = 1$. Составим последовательность аргументов ${x}’_{1}, {x}^{\prime\prime}_{1}, {x}’_{2}, {x}^{\prime\prime}_{2}, \cdots$. Тогда соответствующая им последовательность значений функции будет иметь вид $0, 1, 0, 1,…$ , которая, очевидно, расходится. Итак, мы построили стремящуюся к нулю последовательность отличных от нуля аргументов, такую, что соответствующая последовательность значений функции не имеет предела. Значит, на основании определения предела функции, функция $\displaystyle f \left(x \right) = sin \frac{1}{x}$ не имеет предела при $x \to 0$.

Идея решения этого примера часто используется и при решении других задач. Именно, для того чтобы показать, что функция $f$ не имеет предела при $x \to a$, достаточно построить две последовательности $\left\{{x}’_{n} \right\}$ и $\left\{{x}^{\prime\prime}_{n}\right\}$, стремящиеся к $a \left({x}’_{n} \neq a, {x}^{\prime\prime}_{n} \neq a \right)$, такие, что $\left\{f \left({x}’_{n} \right) \right\} $ и $\left\{f \left({x}^{\prime\prime}_{n} \right)\right\}$ аргументов ${x}’_{1}, {x}^{\prime\prime}_{1}, {x}’_{2}, {x}^{\prime\prime}_{2}, \cdots$ соответствующая последовательность значений функции $f \left({x}’_{1} \right), f \left( {x}^{\prime\prime}_{1} \right), f \left({x}’_{2} \right), f \left({x}^{\prime\prime}_{2} \right), \cdots$ будет расходящейся, так как у нее есть два различных частичных предела (не выполнено условие критерия сходимости в терминах верхнего и нижнего пределов последовательности).

Теорема (арифметические свойства пределов).
Пусть функции $f$ и $g$ заданы в проколотой окрестности $U$ точки $a$ $\lim \limits_{x \to a} f \left(x \right) = A$ и $\lim \limits_{x \to a} g \left( x \right) = B$. Тогда
1) $\lim{x \to a} \left( f \left(x \right) + g \left(x \right) \right) = A + B$;
2) $\lim{x \to a} \left(f \left(x \right) \cdot g \left(x \right) \right)= A \cdot B$;
3) если $ g \left(x \right) \neq 0 \left(x \in U \right)$ и $ B \neq 0, $ то $\displaystyle \lim \limits_{x \to a} \frac{f \left(x \right)}{g \left(x \right)} = \frac{A}{B}.$

Эта теорема мгновенно может быть получена как следствие соответствующей теоремы об арифметических свойствах пределов последовательностей. Достаточно применить определение предела в смысле Гейне.

Теорема (предельный переход и неравенства).
Пусть функции $f$ и $g$ заданы в проколотой окрестности $U$ точки $a$, $\lim \limits_{x \to a}f \left(x \right) = A$ и $\lim \limits_{x \to a}g \left(x \right) = B$, причем $B > A$. Тогда найдется проколотая окрестность $\Delta ⊂ U$ точки $a$, такая, что $f \left(x \right) < g \left(x \right)$ для всех $x ∈ \Delta$.

Зададим $\varepsilon  = \frac{B-A}{2} > 0$ и найдем такое ${\delta}’ > 0$, что для всех $x$, удовлетворяющих условию $0 < \left|x − a \right| < {\delta}’$, справедливо неравенство $ \left|f(x) − A \right| < \varepsilon$, т. е. $A − \varepsilon < f \left(x \right) < A + \varepsilon$. Далее, найдем такое ${\delta}^{\prime\prime} > 0$, что если только $0 < \left|x − a \right| < {\delta}$ , то $ \left|g \left(x \right) − A \right| < \varepsilon$, т. е. $B − \varepsilon < g \left(x \right) < B + \varepsilon$. Положим $\delta = min \left({\delta}’, {\delta}^{\prime\prime} \right) > 0$. Тогда для всех $x$, удовлетворяющих условию $0 < \left|x − a \right| < \delta$, справедливы неравенства $\displaystyle f \left(x \right) < A + \varepsilon = \frac{A+B}{2} = B − \varepsilon < g \left(x \right)$, из которых следует, что $f \left(x \right) < g \left(x \right) \left( x \in \Delta = {x : 0 < \left |x − a \right| < \delta} \right)$

Следствие. Если $f \left(x \right) \leqslant g \left(x \right)$ для всех $x$, принадлежащих проколотой окрестности $U$ точки $a$, то $\lim \limits_{x \to a} f \left(x \right) \leqslant \lim \limits_{x \to a} g \left(x \right)$, если эти пределы существуют. Действительно, если предположить, что $\lim \limits_{x \to a} f \left(x \right) < \lim \limits_{x \to a} g \left(x \right)$, то, в силу предыдущей теоремы, в некоторой проколотой окрестности точки $a$ будет справедливо неравенство $f \left(x \right) < g \left(x \right)$, что противоречит условию.

Теорема (о трех пределах). Пусть функции $f, g, h$ определены в проколотой окрестности $U$ точки $a$ и такие, что $f \left(x \right) \leqslant g \left(x \right) \leqslant h \left(x \right)$ для всех $x \in U$. Если $\lim \limits_{x \to a} f \left(x \right) = \lim \limits_{x \to a} h \left(x \right) = A$, то существует $\lim \limits_{x \to a} g \left(x \right) = A$.

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

Примеры решения задач

Рассмотрим примеры задач, в которых могут использоваться предел функции и его элементарные свойства. Читателю с целью самопроверки предлагается решить данные примеры самому, а затем сверить свое решение с приведенным.

  1. Пользуясь определением предела функции по Гейне, доказать, что $f \left(x \right) = \cos x$ не имеет предела при $x \to \infty $.
    Решение

    Выберем две последовательности точек $\left \{ {x}’_{n} \right \}$, $ {x}’_{n} = \left \left( \frac{\pi}{2} + 2 \pi n \right \right), n \in \mathbb{N}$ и $\left \{ {x}^{\prime\prime}_{n} \right \}$, ${x}^{\prime\prime}_{n} = \left(2 \pi n \right), n \in \mathbb{N}.$ Обе эти последовательности стремятся к $+\infty$. Им соответствуют последовательности значений функций: $\left \{ f \left({x}’_{n} \right) \right \}$, $f \left({x}’_{n}) = \cos \left ( \frac{\pi}{2} + 2 \pi n \right ) = 0$ и $\left \{ f \left({x}^{\prime\prime}_{n} \right) \right \}$, $f \left({x}^{\prime\prime}_{n} \right) = \cos\left ( 2 \pi n \right ) = 1$. Последовательности значений функции $\left \{ f \left({x}’_{n} \right) \right \}$ и $\left \{ f \left({x}^{\prime\prime}_{n} \right) \right \}$ — стационарные, сходятся к числам $A = 0$ и $B = 1$ соответственно. Так как $A \neq B$, то ни число $A$, ни число $B$, ни какое-либо другое число не могут быть пределом функции $f \left(x \right)$ при $x \to +\infty$, т.е. функция $f \left( x \right)$ не имеет предела при $x \to +\infty$.

  2. Доказать, что $\lim \limits_{x \to a} f \left(x \right) = A$ (указать $\delta_{\varepsilon}$).$$\lim \limits_{x \to -1}\frac{7x^{2} + 8x + 1}{x + 1} = -6.$$
    Решение

    Положим $f \left(x \right) = \frac{7x^{2} + 8x + 1}{x + 1} = -6.$ Надо показать, что для любого $\varepsilon > 0$ найдется такое положительное число $\delta$ , что для всех $\left|x — 1 \right| < \delta$ выполняется условие $\left|f \left(x \right) + 6 \right| < \varepsilon.$
    Запишем этот модуль разности: $$\left |\frac{7x^{2} + 8x + 1}{x + 1} + 6 \right | < \varepsilon$$ $$\left |\frac{7x^{2} + 8x + 1}{x + 1} + 6 \right | = \left|7x + 1 + 6 \right| = 7 \left|x+1 \right| < \varepsilon,$$ $$\left|x + 1 \right| < \frac{\varepsilon}{7}.$$
    Если выбрать $\delta = \frac{\varepsilon}{7}$ , то для любых $\left|x + 1 \right| < \delta$ искомое неравенство будет выполнено, что и означает, что $$ \displastyle\lim \limits_{x \to -1}\frac{7x^{2} + 8x + 1}{x + 1} = -6$$

  3. Пользуясь определением пределов функции по Коши и другими определениями предела функции в точке, показать, что $$\lim \limits_{x \to 2} \left(4x — 5 \right) = 3$$
    Решение

    Надо показать, что для любого $\varepsilon > 0$ существует такое $\delta = \delta_{\varepsilon} > 0$, что для всех $х$ (область определения функции $f\left(x \right) = 4x — 5$ – вся числовая ось), удовлетворяющих неравенству $0 < \left|x — 2 \right| <\delta$, будет выполняться неравенство $ \left|f \left(x \right) — 3 \right| < \varepsilon$. Последнее неравенство равносильно неравенствам: $\left|4x — 5 — 3 \right| < \varepsilon;$ $\left|4x- 8 \right| < \varepsilon;$ $4 \left|x-2 \right| < \varepsilon;$ $\left|x-2 \right| < \frac{\varepsilon}{4}.$
    Принимая $\delta = \frac{\varepsilon}{4}$, получаем, что из неравенства $\left|x-2 \right| < \delta = \frac{\varepsilon}{4}$ следует неравенство $\left| \left(4x — 5 \right) — 3 \right| < \varepsilon$, следовательно, $\lim \limits_{x \to 2} \left(4x — 5 \right) = 3.$

Предел функции и его элементарные свойства

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме

Смотрите также

  1. Коляда В. И., Кореновский А. А. Курс лекций по математическому анализу, т.1. — Одесса: Астропринт, 2009, с. 53-60
  2. Кудрявцев Л.Д. Курс математического анализа, т.1. — М.: Дрофа; — 2003, с. 162-172, 177-184
  3. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления Т.I. — М.: ФМЛ, 1962, с. 115-117
  4. Тер-Крикоров А.М., Шабунин М.И. Курс математического анализа, 3-е изд., испр. — М.: 2001, с. 73-77

5.6.2 Вторая теорема Лопиталя

$\DeclareMathOperator{\tg}{tg}$

Первая теорема Лопиталя предназначена для раскрытия неопределенности вида $\left[ \displaystyle\frac{0}{0} \right].$ Следующая теорема служит для раскрытия неопределенности вида $\left[ \displaystyle\frac{\infty}{\infty} \right] .$

Вторая теорема Лопиталя. Пусть функции $f$ и $g$ дифференцируемы на интервале $(a, b),\: g'(x)\: \neq \: 0 \:(x \: \in \: (a, b))$ и $\lim\limits_{x \to a + 0} f(x) \: = \: \infty,\: \lim\limits_{x \to a + 0} g(x) \:  = \infty,$ $$\lim\limits_{x \to a + 0} \displaystyle\frac {f'(x)}{g'(x)}= A,$$
где $A$ может быть конечным $, + \infty ,\: -\infty ,$ или $\infty$. Тогда существует
$ \lim\limits_{x \to a + 0} \displaystyle\frac {f(x)}{g(x)}$
и этот предел равен $A.$

Рассмотрим сначала случай конечного $A.$ Зададим $\varepsilon > 0$ и найдем такое $\delta > 0,$ что для всех $\xi$ $\in$ $(a,$ $a$ $+$ $\delta$) справедливо неравенство $$ \left| \displaystyle\frac{f'(\xi)}{g'(\xi)} -A \right| < \frac {\varepsilon} {4} .$$
Зафиксируем $y$ $\in$ $(a,$ $a$ $+$ $\delta).$ Тогда для любого $x$ $\in$ $(a, y),$ в силу теоремы Коши, найдется такое $\xi$  $\in$ $(x, y),$ что
$$ \displaystyle\frac { f(y) -f(x)} {g(y) -g(x)} = \displaystyle\frac { f'(\xi)} {g'(\xi)} .$$
Поскольку $\xi$ $\in$ $(a,$ $a$ $+$ $\delta),$ то получаем
$$\left| \displaystyle\frac{ f(y) -f(x)} {g(y) -g(x)} -A \right| = \left| \displaystyle\frac{f'(\xi)}{g'(\xi)} -A \right| < \displaystyle\frac {\varepsilon} {4} .$$
Представим
$$\displaystyle\frac {f(x)} {g(x)} -A = \frac {f(y) -A \cdot g(y)} {g(x)} + \left( 1 -\frac{g(y)}{g(x)}\right) \left[ \displaystyle\frac { f(y) -f(x)} {g(y) -g(x)} -A \right] .$$
Если $y$ фиксировано, а $x \to a + 0$ ,то, т.к.  $g(x) \to \infty,$ имеем
$\displaystyle\frac {f(y) -A \cdot g(y)} {g(x)} \to 0$ и $\displaystyle\frac {g(y)} {g(x)} \to 0 .$
Значит, найдется такое $\delta _1 < \delta ,$ что для всех $x$ $\in$ $(a,$ $a$ $+$ $\delta _1)$ справедливы неравенства
$\left| \displaystyle\frac {f(y) -A \cdot g(y)} {g(x)}\right| < \displaystyle\frac {\varepsilon}{2} $ и $\left| \displaystyle\frac {g(y)} {g(x)}\right| < 1 .$
Тогда получим, что для $x$ $\in$ $(a,$ $a$ $+$ $\delta _1)$ справедливо неравенство $\left|\displaystyle\frac {f(x)} {g(x)} -A\right| < \displaystyle\frac{\varepsilon}{2} + 2 \cdot \displaystyle\frac{\varepsilon}{4} = \varepsilon ,$
и тем самым завершается доказательство теоремы для $A$ $\in$ $\mathbb {R}$
В случае $A = \infty$ представим
$$ \displaystyle\frac {f(x)}{g(x)} = \left( 1 -\displaystyle\frac{g(y)}{g(x)}\right) \left[ \displaystyle\frac { f(y) -f(x)} {g(y) -g(x)} -\displaystyle\frac { f(y) } {g(y) -g(x)} \right] .$$
Зададим $B$ и найдем такое $\delta > 0$, что для всех $x$ $\in$ $(a,$ $a$ $+$ $\delta)$ справедливо неравенство $$\left| \displaystyle\frac {f'(x)} {g'(x)}\right| > 4B .$$
Тогда для любых $x, y,$ таких, что $a < x < y < a + \delta ,$ по теореме Коши, найдется $\xi \in (x, y),$ для которого $\left| \displaystyle\frac { f(y)-f(x)} {g(y) -g(x)} \right| = \left| \displaystyle\frac {f'(\xi)} {g'(\xi)} \right| > 4B .$
Так как $\displaystyle\frac{g(y)}{g(x)} \to 0$ и $\displaystyle\frac { f(y)} {g(y) -g(x)} \to 0$ при $x \to a + 0 ,$ то найдется $\delta _1 <  \delta,$ такое, что при $x$ $\in$ $(a,$ $a$ $+$ $\delta _1)$
$\left| \displaystyle\frac{g(y)}{g(x)} \right| < \displaystyle\frac{1}{2}$ и $\left| \displaystyle\frac { f(y)} {g(y) -g(x)} \right| < 2B .$
Тогда для $x$ $\in$ $(a,$ $a$ $+$ $\delta _1)$ получим
$\left| \displaystyle\frac{f(x)}{g(x)} \right| > \displaystyle\frac{1}{2}
\left[ \left| \displaystyle\frac { f(y)-f(x)} {g(y) -g(x)} \right| -\left| \frac { f(y)} {g(y) -g(x)} \right| \right] \geqslant \displaystyle\frac{1}{2} \left[ 4B -2B \right] = B ,$
и тем самым завершается рассмотрение случая $ A =\infty .$
В случаях $A = + \infty$ и $A = -\infty$ изменения в доказательстве очевидны.

Замечание 1. Обе теоремы Лопиталя аналогичным образом могут быть доказаны для случаев $x \to b -0, x \to x_0, x \to + \infty, x \to -\infty$ и $x \to \infty.$

Замечание 2. Доказательство первой теоремы Лопиталя может быть получено аналогично доказательству второй теоремы Лопиталя. Мы рассмотрели более простое доказательство первой теоремы,которое неприменимо для доказательства второй теоремы, т.к. в условиях второй теоремы функции $f$ и $g$ нельзя доопределить по непрерывности в точке $a,$ как это было сделано при доказательстве первой теоремы.

Примеры решения задач

Рассмотрим примеры задач, для решения которых может использоваться вторая теорема Лопиталя. Читателю с целью самопроверки предлагается решить данные примеры самому, а затем сверить свое решение с приведенным.

  1. Найти предел $\lim\limits_{x \to \infty} \displaystyle\frac {\ln x}{x}$
  2. Решение

    $\lim\limits_{x \to \infty} \displaystyle\frac {\ln x}{x} = \left[\displaystyle\frac{\infty}{\infty} \right]=\lim\limits_{x \to \infty} \frac {(\ln x)’}{(x)’}= \lim\limits_{x \to \infty} \frac {\displaystyle\frac{1}{x}}{1}= \lim\limits_{x \to \infty} \displaystyle\frac {1}{x} = 0$

  3. Найти предел $\lim\limits_{x \to \infty} \displaystyle\frac {e^x}{x^2}$
  4. Решение

    $\lim\limits_{x \to \infty} \displaystyle\frac {e^x}{x^2} = \left[\displaystyle\frac{\infty}{\infty} \right]=\lim\limits_{x \to \infty} \displaystyle\frac {(e^x)’}{(x^2)’}= \lim\limits_{x \to \infty} \displaystyle\frac {e^x}{2x}= \lim\limits_{x \to \infty} \displaystyle\frac {e^x}{2} = \infty$

  5. Найти предел $\lim\limits_{x \to \infty} \displaystyle\frac {x}{\ln^3 x}$
  6. Решение

    $\lim\limits_{x \to \infty} \displaystyle\frac { x}{\ln^3 x} = \left[\displaystyle\frac{\infty}{\infty} \right]=\lim\limits_{x \to \infty} \displaystyle\frac {(x)’}{(\ln^3 x)’}= \\ = \lim\limits_{x \to \infty} \displaystyle\frac {1}{\displaystyle\frac{3 \ln^2 x}{x}}= \lim\limits_{x \to \infty} \displaystyle\frac{1}{3} \displaystyle\frac {x}{\ln x^2} = \displaystyle\frac{\infty}{\infty}=\displaystyle\frac{1}{3} \lim\limits_{x \to \infty} \frac {1}{\displaystyle\frac{2 \ln x}{x}} = \displaystyle\frac{1}{6} \lim\limits_{x \to \infty} \displaystyle\frac {1}{\displaystyle\frac{1}{x}}=\displaystyle\frac{1}{6} \lim\limits_{x \to \infty} x = 0$

  7. Найти предел $\lim\limits_{x \to 0} \displaystyle\frac {\ln x}{1 +3 \ln \sin x}$
  8. Решение

    $\lim\limits_{x \to 0} \displaystyle\frac {\ln x}{1 +3 \ln \sin x} = \left[\displaystyle\frac{\infty}{\infty} \right]=\lim\limits_{x \to 0} \frac {(\ln x)’}{(1 +3 \ln \sin x)’}= \lim\limits_{x \to 0} \displaystyle\frac {\displaystyle\frac{1}{x}}{3 \displaystyle\frac{\cos x}{\sin x}}= \lim\limits_{x \to 0} \displaystyle\frac{\sin x}{3 x \cos x} =\frac {1}{3}$

  9. Найти предел $\lim\limits_{x \to \infty} (1 + x^2)^{\displaystyle\frac{1}{x}}$
  10. Решение

    Прологарифмируем исходное выражение $ \displaystyle\frac{1}{x}\ln (1 + x^2) = \displaystyle\frac{\ln (1 + x^2)}{x}$
    Найдем $\lim\limits_{x \to \infty} \displaystyle\frac{\ln (1 + x^2)}{x} = \left[\displaystyle\frac {\infty}{\infty}\right] = \lim\limits_{x \to \infty} \displaystyle\frac{2x}{1 + x^2} = \lim\limits_{x \to \infty} \frac{2}{2x} = 0$
    Так как $\ln (1 + x^2)^{\displaystyle\frac{1}{x}}$ функция непрерывная на промежутке $(0;1),$ то $\ln \lim\limits_{x \to \infty} (1 + x^2)^{\displaystyle\frac{1}{x}} = \lim\limits_{x \to \infty} \ln \: (1 + x^2)^{\displaystyle\frac{1}{x}} = 0.$ Следовательно, $\lim\limits_{x \to \infty} (1 + x^2)^{\displaystyle\frac{1}{x}} = e^0$ или $\lim\limits_{x \to \infty} (1 + x^2)^{\displaystyle\frac{1}{x}} = 1$

Вторая теорема Лопиталя

Вы можете проверить свои знания по данной теме, пройдя этот тест

Таблица лучших: Вторая теорема Лопиталя

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

См. также: