5.5 Основные теоремы дифференциального исчисления

Теорема Ферма. Пусть функция $f$ определена на интервале $\left ( a, b \right ) $ и в некоторой точке $x_0 \in \left ( a, b \right ) $ принимает наибольшее (наименьшее) значение на этом интервале. Если существует ${f}’\left ( x_0\right ) $, то ${f}’\left ( x_0\right ) =0$.

Пусть $x_0$ – точка максимума функции $f$. Рассмотрим разностное отношение $\displaystyle\frac{f\left ( x\right ) -f\left ( x_0\right ) }{x-x_0}$. Так как $f\left ( x\right ) \leqslant f\left ( x_0\right ) $, то при $x \gt x_0$ имеем $\displaystyle\frac{f\left ( x\right ) -f\left ( x_0\right ) }{x-x_0} \leqslant 0$ и, следовательно, ${f_+}’\left ( x_0\right ) \leqslant 0$. Если же $x \lt x_0$, то $\displaystyle\frac{f\left ( x\right ) -f\left ( x_0\right ) }{x-x_0} \geqslant 0$ и поэтому ${f_-}’\left ( x_0\right ) \geqslant 0$. Но из дифференцируемости функции $f$ в точке $x_0$ следует, что ${f_+}’\left ( x_0\right ) ={f_-}’\left ( x_0\right ) ={f}’\left ( x_0\right ) $. Поэтому ${f}’\left ( x_0\right ) =0$.

С геометрической точки зрения теорема Ферма означает, что если в точке экстремума у графика функции существует касательная, то она параллельна оси $Ox$.

Замечание. У функции $f= \left | x \right |, \left ( -1 \lt x \lt 1\right ) $ в точке $x_0=0$ имеется экстремум, но производной в нуле эта функция не имеет. Теорема Ферма означает, что для поиска экстремума функции $f$ во внутренних точках области определения следует исследовать поведение функции $f$ лишь в тех точках, в которых производная обращается в нуль, либо не существует. Экстремума не может быть в тех точках, в которых производная существует и отлична от нуля. Однако из равенства нулю производной в точке $x_0$ не следует, что $x_0$ – точка экстремума. Например, у функции $f\left ( x\right ) =x^3$ в точке $x_0=0$ экстремума нет и в то же время ${f}’\left ( x_0\right ) =0$.

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

Теорема Ролля. Пусть функция $f$

Тогда существует такая точка $\xi \in \left ( a, b\right ) $, что ${f}’\left ( \xi\right ) =0$.

Так как $f$ непрерывна на $\left [a, b\right ] $, то, в силу второй теоремы Вейерштрасса, она достигает своих наибольшего и наименьшего значений, т. е. существуют точки $\xi_1, \xi_2$, такие, что $f\left ( \xi_1\right ) = \max\limits_{a \leqslant x \leqslant b} f\left ( x\right ) $, $f\left ( \xi_2\right ) = \min\limits_{a \leqslant x \leqslant b} f\left ( x\right ) $. Если $f\left ( \xi_1\right ) =f\left ( \xi_2\right ) $, то это означает, что $f$ тождественно постоянна на $\left [a, b\right ] $ и, следовательно, в каждой точке $\xi \in \left ( a, b\right ) $ справедливо равенство ${f}’\left ( \xi\right ) =0$. Если же $f\left ( \xi_1\right ) \gt f\left ( \xi_2\right ) $, то хотя бы одно из этих двух значений отлично от $f\left ( a\right ) =f\left ( b\right ) $, т. е. хотя бы одна из двух точек $\xi_1, \xi_2$ находится на интервале $\left ( a, b\right ) $. Обозначим ее через $\xi$. Тогда на $\left ( a, b\right ) $ к функции $f$ можно применить теорему Ферма. Именно, $f$ дифференцируема в точке $\xi$ и имеет в этой точке экстремум. Согласно теореме Ферма, ${f}’\left ( \xi\right ) =0$.

Следствие. Между двумя корнями дифференцируемой функции находится корень производной.

Пример. Уравнение нечетной степени $x^5+x-1=0$ имеет действительный корень. Покажем, что он единственный. Обозначим $y=x^5+x-1$. Тогда ${y}’=5x^4+1 \gt 0$ для всех $x \in \mathbb{R}$. Если бы данное уравнение имело еще хотя бы один корень, то, согласно следствию, нашлась бы точка, в которой производная ${y}’$ обратилась бы в нуль, а это невозможно.

Теорема Лагранжа (формула конечных приращений). Пусть функция $f$

Тогда существует такая точка $\xi \in \left ( a, b\right ) $, что
$$\frac{f\left ( b\right ) -f\left ( a\right ) }{b-a}={f}’\left ( \xi\right ) .$$

Доказательство теоремы Лагранжа сводится к применению теоремы Ролля. Запишем уравнение прямой $l$, проходящей через точки $\left ( a, f\left ( a\right ) \right ) $ и $\left ( b, f\left ( b\right ) \right ) $:
$$l\left ( x\right ) =f\left ( a\right ) +\frac{f\left ( b\right ) -f\left ( a\right ) }{b-a}\left ( x-a\right ) .$$
Рассмотрим функцию $F\left ( x\right ) =f\left ( x\right ) -l\left ( x\right ) $. Покажем, что для функции $F$ выполнены все условия теоремы Ролля. Непрерывность на $\left [a, b\right ] $ и дифференцируемость на $\left ( a, b\right ) $ функции $F$ следует из соответствующих свойств функции $f$, данных по условию, и дифференцируемости линейной функции $l$. Далее, $F\left ( a\right ) =f\left ( a\right ) -l\left ( a\right ) =0, F\left ( b\right ) =f\left ( b\right ) -l\left ( b\right ) =0$ Применяя к $F$ теорему Ролля, найдем такую точку $\xi \in \left ( a, b\right ) $, что ${F}’\left ( \xi\right ) =0$. Но
$${F}’\left ( \xi\right ) ={f}’\left ( \xi\right ) -{l}’\left ( \xi\right ) ={f}’\left ( \xi\right ) -\frac{f\left ( b\right ) -f\left ( a\right ) }{b-a}=0.$$
Отсюда следует утверждение теоремы.

Геометрический смысл теоремы Лагранжа состоит в том, что существует точка $\xi \in \left ( a, b\right ) $, в которой касательная к графику функции $y=f\left ( x\right ) $ параллельна отрезку, соединяющему точки $\left ( a, f\left ( a\right ) \right ) $ и $\left ( b, f\left ( b\right ) \right ) $.

Замечание. Теорема Ролля является частным случаем теоремы Лагранжа, в котором $f\left ( a\right ) =f\left ( b\right ) $.

Равенство, полученное в теореме Лагранжа, можно переписать в таком виде:
$$f\left ( b\right ) -f\left ( a\right ) ={f}’\left ( \xi\right ) \left ( b-a\right ) ,$$
или
$$f\left ( b\right ) -f\left ( a\right ) ={f}’\left ( a+\theta\left ( b-a\right ) \right ) \left ( b-a\right ) ,$$
где $0 \lt \theta \lt 1$. Ничего более конкретного о значении $\theta$ сказать нельзя. Два последних равенства принято называть формулами конечных приращений.

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

Пусть $\left | {f}’\left ( \xi\right ) \right | \leqslant M \left ( \xi \in \left ( a, b\right ) \right ) $. Тогда для любых $x_1, x_2 \in \left ( a, b\right ) $, согласно формуле конечных приращений,
$$\begin{equation}\label{eq:first11} \left | f\left ( x_1\right ) -f\left ( x_2\right ) \right | = \left | {f}’\left ( \xi\right ) \right | \cdot \left | x_1-x_2 \right | \leqslant M \left | x_1-x_2 \right |,\end{equation}$$
где $\xi$ – точка из интервала с концами $x_1$ и $x_2$. Зададим $\varepsilon \gt 0$ и положим $\delta=\displaystyle\frac{\varepsilon}{M}$. Тогда для любых $x_1, x_2 \in \left ( a, b\right ) $ из неравенства $\left | x_1-x_2 \right | \lt \delta$ и из $\left ( 1\right ) $ следует, что $\left | f\left ( x_1\right ) -f\left ( x_2\right ) \right | \lt \varepsilon$, т. е. функция $f$ равномерно непрерывна на $\left ( a, b\right ) $.

Итак, следствие 1 дает достаточное условие равномерной непрерывности дифференцируемой на $\left ( a, b\right ) $ функции. Оно состоит в ограниченности производной на $\left ( a, b\right ) $. Это условие, однако, не является необходимым, т. е. из равномерной непрерывности не следует ограниченность производной. Например, функция $f\left ( x\right ) =\sqrt x$ равномерно непрерывна на отрезке $\left [0, 1\right ] $ (это сразу следует из ее непрерывности и из теоремы Кантора), а следовательно, эта функция равномерно непрерывна и на интервале $\left ( 0, 1\right ) $. В то же время производная ${f}’\left ( x\right ) =\displaystyle\frac{1}{2 \sqrt x}$ не ограничена на $\left ( 0, 1\right ) $.

Рассмотрим еще один важный пример функции
$$f\left ( x\right ) = \left \{ \begin{matrix} x^ \alpha \sin \displaystyle\frac{1}{x}, & 0 \lt x \leqslant 1, \\ 0, & x=0. \end{matrix} \right.$$
Эта функция непрерывна в каждой точке полуинтервала $\left ( 0, 1\right ] $ ( при любом $\alpha$). Если $\alpha \leqslant 0$, то $f$ не имеет предела справа в точке $0$ и, следовательно, в точке $0$ имеет разрыв $II$ рода. Если же $\alpha \gt 0$, то $\lim\limits_{x \to 0+} x^ \alpha \sin \displaystyle\frac{1}{x}=0$ (произведение бесконечно малой функции $x^ \alpha$ на ограниченную функцию $\sin \displaystyle\frac{1}{x}$). Значит, в силу теоремы Кантора, при $\alpha \gt 0$ функция $f$ равномерно непрерывна на $\left [0, 1\right ] $. Вычислим производную
$${f}’\left ( x\right ) =\alpha \cdot x^{\alpha -1} \sin \frac{1}{x} + x^ \alpha \cos \frac{1}{x} \cdot \left ( — \frac{1}{x^2}\right ) \ \ \ \ \left ( 0 \lt x \leqslant 1\right ) .$$
При $0 \lt \alpha \lt 2$ производная ${f}’\left ( x\right ) $ неограничена на $\left ( 0, 1\right ] $, хотя $f$ равномерно непрерывна на $\left [0, 1\right ] $. Вычислим
$${f_+}’\left ( 0\right ) = \lim\limits_{x \to 0+} \frac{f\left ( x\right ) -f\left ( 0\right ) }{x-0}=\lim\limits_{x \to 0+} x^ {\alpha -1} \sin \frac{1}{x}.$$
Если $\alpha \gt 1$ то, очевидно, ${f_+}’\left ( 0\right ) =0$. Если же $\alpha \leqslant 1$ то правой производной в нуле функция $f$ не имеет.
Очевидно, что у тождественно постоянной на $\left ( a, b\right ) $ функции производная равна нулю в каждой точке $\xi \in \left ( a, b\right ) $. Формула Лагранжа позволяет легко обратить это утверждение.

Следствие 2. Если дифференцируемая на $\left ( a, b\right ) $ функция $f$ такова, что для любой $\xi \in \left ( a, b\right ) $ производная ${f}’\left ( \xi\right ) =0$, то $f$ тождественно постоянна на $\left ( a, b\right ) $.

Выберем произвольные $x_1, x_2 \in \left ( a, b\right ) \ \ \left ( x_1 \lt x_2\right ) $ и применим к отрезку $\left [x_1, x_2\right ] $ теорему Лагранжа, из которой получим
$$f\left ( x_2\right ) -f\left ( x_1\right ) ={f}’\left ( \xi\right ) \left ( x_2-x_1\right ) ,\ \ где \ \ x_1 \lt \xi \lt x_2.$$
Но из равенства ${f}’\left ( \xi\right ) =0$ следует теперь, что $f\left ( x_1\right ) =f\left ( x_2\right ) $, а так как $x_1, x_2$ – произвольные, то тем самым следствие доказано.

Теорема Коши (обобщенная формула конечных приращений). Пусть функции $f$ и $g$

Тогда существует такая точка $\xi \in \left ( a, b\right ) $, что справедливо равенство
$$\frac{f\left ( b\right ) -f\left ( a\right ) }{g\left ( b\right ) -g\left ( a\right ) }=\frac{{f}’\left ( \xi\right ) }{{g}’\left ( \xi\right ) }.$$

Из условий теоремы следует, что $g\left ( b\right ) \neq g\left ( a\right ) $. В самом деле, если $g\left ( b\right ) = g\left ( a\right ) $, то, в силу теоремы Ролля, найдется точка $x \in \left ( a, b\right ) $, такая, что ${g}’\left ( x\right ) =0$ а это противоречит условию теоремы.
Доказательство теоремы Коши, как и доказательство теоремы Лагранжа, сводится к применению теоремы Ролля. Рассмотрим функцию
$$\varphi\left ( x\right ) = \left [f\left ( x\right ) -f\left ( a\right ) \right ] — \lambda \left [g\left ( x\right ) -g\left ( a\right ) \right ] ,$$
где параметр $\lambda$ подберем так, чтобы было выполнено равенство $\varphi\left ( a\right ) =\varphi\left ( b\right ) =0$, т. е. положим
$$\lambda=\frac{f\left ( b\right ) -f\left ( a\right ) }{g\left ( b\right ) -g\left ( a\right ) }.$$
Тогда функция $\varphi$ удовлетворяет всем условиям теоремы Ролля, согласно которой существует точка $\xi \in \left ( a, b\right ) $, такая, что ${\varphi}’\left ( \xi\right ) =0$, т. е.
$${\varphi}’\left ( \xi\right ) ={f}’\left ( \xi\right ) -\frac{f\left ( b\right ) -f\left ( a\right ) }{g\left ( b\right ) -g\left ( a\right ) } \cdot {g}’\left ( \xi\right ) =0,$$
откуда следует утверждение теоремы Коши.

Замечание. Теорема Лагранжа является частным случаем теоремы Коши при $g\left ( x\right ) =x$. Однако теорема Коши не есть прямым следствием теоремы Лагранжа. Именно, согласно теореме Лагранжа, найдутся такие точки $\xi_1 \in \left ( a, b\right ) $ и $\xi_2 \in \left ( a, b\right ) $, что $f\left ( b\right ) -f\left ( a\right ) ={f}’\left ( \xi_1\right ) \left ( b-a\right ) $ и $g\left ( b\right ) -g\left ( a\right ) ={g}’\left ( \xi_2\right ) \left ( b-a\right ) $, откуда получим
$$\frac{f\left ( b\right ) -f\left ( a\right ) }{g\left ( b\right ) -g\left ( a\right ) }=\frac{{f}’\left ( \xi_1\right ) }{{g}’\left ( \xi_2\right ) }.$$
Но в этом равенстве точки $\xi_1$ и $\xi_2$ вообще говоря, разные, а теорема Коши утверждает, что левая часть равна отношению производных, взятых в одной и той же точке из $\left ( a, b\right ) $.

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

Выше мы рассмотрели пример функции $f\left ( x\right ) =x^{\alpha} \sin \displaystyle\frac{1}{x}, 0 \lt x \leqslant 1, f\left ( 0\right ) =0$, дифференцируемой на $\left [0, 1\right ] $, но производная ${f}’$ у которой при $1 \lt \alpha \leqslant 2$ разрывна. При этом, как мы видели, ${f}’\left ( 0\right ) =0$, но ${f}’$ не имеет предела при $x \to 0+$. Это означает, что точка $0$ является точкой разрыва производной $II$ рода. Зададимся вопросом: может ли производная некоторой функции иметь разрыв первого рода? Ответ на этот вопрос дает следующая теорема.

Теорема Дарбу. Пусть функция $f$ дифференцируема на отрезке $\left [a, b\right ] $ и $c$ – любое число, заключенное между ${f_+}’\left ( a\right ) $ и ${f_-}’\left ( b\right ) $. Тогда существует такая точка $\xi \in \left [a, b\right ] $, что ${f}’\left ( \xi\right ) =c$.

Пусть ${f_+}’\left ( a\right ) \lt c \lt {f_-}’\left ( b\right ) $. Так как $${f_+}’\left ( a\right ) = \lim\limits_{h \to 0+} \frac{f\left ( a+h\right ) -f\left ( a\right ) }{h},$$ $${f_-}’\left ( b\right ) = \lim\limits_{h \to 0+} \frac{f\left ( b-h\right ) -f\left ( b\right ) }{-h}=\lim\limits_{h \to 0+} \frac{f\left ( b\right ) -f\left ( b-h\right ) }{h},$$ то найдется такое $h \gt 0$, что
$$\begin{equation}\label{eq:second11} \frac{f\left ( a+h\right ) -f\left ( a\right ) }{h} \lt c \lt \frac{f\left ( b\right ) -f\left ( b-h\right ) }{h}.\end{equation}$$
Зафиксируем это $h$ и рассмотрим функцию $\varphi\left ( x\right ) =\displaystyle\frac{f\left ( x+h\right ) -f\left ( x\right ) }{h}$, определенную на $\left [a, b-h\right ] $. В этих обозначениях неравенство $\left ( 2\right ) $ принимает такой вид: $\varphi\left ( a\right ) \lt c \lt \varphi\left ( b-h\right ) $. Но из непрерывности функции $f$ следует также непрерывность $\varphi$, и поэтому, в силу теоремы Больцано – Коши о промежуточном значении, существует такая точка $\alpha, a \leqslant \alpha \leqslant b-h$, что $c=\varphi\left ( \alpha\right ) =\displaystyle\frac{f\left ( \alpha+h\right ) -f\left ( \alpha\right ) }{h}$. На отрезке $\left [\alpha, \alpha+h\right ] $ к функции $f$ применим теорему Лагранжа, согласно которой найдется такая точка $\xi \in \left ( \alpha, \alpha+h\right ) $, что $f\left ( \alpha+h\right ) -f\left ( \alpha\right ) ={f}’\left ( \xi\right ) \cdot h$. Из этого равенства следует, что $c={f}’\left ( \xi\right ) $.

Замечание. Теорема Дарбу означает, что производная ${f}’$ не может быть произвольной функцией. Свойство производной, которое гарантируется теоремой Дарбу, называется свойством промежуточных значений. Согласно этому свойству, у производной не может быть скачков или устранимых разрывов, т. е. разрывов $I$ рода. Как было показано выше, разрывы $II$ рода у производной могут быть.

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

  1. Найти предел $\lim\limits_{x \to a}\displaystyle\frac{a^x-x^a}{x-a}, \ a \gt 0$
    Решение

    $\lim\limits_{x \to a}\displaystyle\frac{a^x-x^a}{x-a}=\lim\limits_{x \to a}\displaystyle\frac{\left (a^x-a^a \right )- \left (x^a-a^a \right ) }{x-a}$. Возьмем $f_1 \left ( x \right )=a^x$ и $f_2 \left ( x \right )=x^a$. Так как эти функции непрерывны на $\left[ a, x \right ]$ и дифференцируемы на $\left (a, x \right )$, то к ним можно применить теорему Лагранжа. Имеем $\lim\limits_{x \to a} \displaystyle\frac{\left (a^x-a^a \right )- \left (x^a-a^a \right ) }{x-a}=\lim\limits_{\stackrel{x \to a}{\xi_1, \xi_2 \in \left ( a, x \right )}} \displaystyle\frac{{f_1}’ \left (\xi_1 \right ) \left( x-a \right )- {f_2}’ \left (\xi_2 \right ) \left( x-a \right ) }{x-a}= \\ =\lim\limits_{\stackrel{x \to a}{\xi_1, \xi_2 \in \left ( a, x \right )}} {f_1}’ \left (\xi_1 \right )-{f_2}’ \left (\xi_2 \right )=\lim\limits_{\stackrel{x \to a}{\xi_1, \xi_2 \in \left ( a, x \right )}} a^{\xi_1} \cdot \ln{a}-a \cdot {\xi_2}^{a-1}= \\ =a^a \cdot \ln{a}-a^a$

  2. Функция $f \left( x \right)$ непрерывна и дифференцируема на отрезке $\left [ 2, 10 \right ]$. Известно, что $f \left ( 2 \right )=8$ и производная на данном промежутке удовлетворяет условию ${f}’\left ( x \right ) \leqslant 4$ для всех $x \in \left ( 2, 10 \right )$. Определить максимально возможное значение функции при $x=10$.
    Решение

    Для оценки значения $f \left( 10 \right)$ воспользуемся формулой Лагранжа, примененной к функции $f \left ( x \right )$ на отрезке $\left [ 2,10 \right ]$, которая записывается так
    $$f \left( 10 \right)-f \left( 2 \right)={f}’ \left ( \xi \right ) \left ( 10-2 \right ),$$
    где $\xi \in \left ( 2,10 \right )$. Перепишем эту формулу в виде
    $$f \left( 10 \right)=f \left( 2 \right)+8{f}’ \left ( \xi \right ).$$
    Максимально возможное значение производной на данном интервале составляет ${f}’\left ( x \right )=4$. Следовательно
    $$f \left( 10 \right) \leqslant f \left( 2 \right) +8 \cdot 4=8+32=40.$$
    Таким образом, максимально возможное значение функции на правом конце отрезка равно $40$.

  3. Показать, что функция $f \left( x \right)=x^2-3x+2$ удовлетворяет условиям теоремы Ролля на промежутке $\left [ 1,2 \right ]$, и найти точку $c \in \left [ 1,2 \right ]$, в которой ${f}’ \left ( c \right )=0$.
    Решение

    Функция $f \left( x \right)=x^2-3x+2$ дифференцируема на промежутке $\left [ 1,2 \right ]$ и на его концах принимает одинаковые значения:
    $$f \left( 1 \right)=f \left( 2 \right)=0.$$
    Тогда, по теореме Ролля, существует точка $c \in \left [ 1,2 \right ]$, в которой ${f}’ \left ( c \right )=0.$ Найдем производную заданной функции ${f}’ \left ( x \right )=2x-3$. Найдем значение производной в точке $c$ и приравняем полученное значение к $0$:
    $${f}’ \left ( x \right )=2c-3 \Rightarrow c=\frac{3}{2}.$$

  4. Доказать, что для любых $x \gt 0$ верно следующее неравенство:
    $$\ln{\left ( 1+x \right )} \lt x.$$

    Решение

    Пусть $f \left( x \right)=\ln{\left ( 1+x \right )}, f \left( x \right) \in C_{\left [ 0,x \right ]}, f \left( x \right)$ — дифференцируема на $\left ( 0,x \right )$. Тогда она удовлетворяет теореме Лагранжа. Имеем
    $$f \left( x \right)=f \left( x \right)-f \left( 0 \right)={f}’ \left( \xi \right) \left ( x-0 \right)=\frac{1}{1+\xi} \cdot x,$$
    где $\xi \in \left ( 0,x \right ) \Rightarrow \xi \gt 0 \Rightarrow \displaystyle\frac{1}{1+\xi} \cdot x \lt x$.

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

  1. Тер-Крикоров А. М., Шабунин М. И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М. И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001. – 672 с. — c. 150-158.
  2. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. — 703 с. — c. 313-327.
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 1 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1962. — 607 с. — c. 223-231.

Основные теоремы дифференциального исчисления

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

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

Пусть функция [latex]f[/latex] интегрируема на отрезке [latex][a,b][/latex]. Обозначим
$$F(x) = \int\limits_{a}^{x} f(t)dt (x \epsilon [a,b]).$$
По свойству интегрируемых функций, [latex]f[/latex] интегрируема на [latex][a,x][/latex] для любого [latex]x \epsilon [a,b][/latex]. Поэтому функция [latex]F[/latex] интегрируема на [latex][a,b][/latex]. Заметим, что [latex]F(a) = 0[/latex]. Функцию [latex]F[/latex] называют интегралом с переменным верхним пределом, или неопределенным интегралом Римана.

Теорема.
Если функция [latex]f[/latex] интегрируема на отрезке [latex][a,b][/latex], то функция [latex]F(x)[/latex] непрерывна на этом отрезке.

Пусть [latex]x[/latex] [latex]\epsilon[/latex] [latex][a,b][/latex] и [latex]x + \Delta x[/latex] [latex]\epsilon[/latex] [latex][a,b][/latex]. Докажем, что
$\Delta F = F\left(x + \Delta x \right) — F \left(x \right) \to 0$ при $\Delta x \to 0.$
В силу свойств интеграла, связанных с отрезками интегрирования, имеем
$$\Delta F = \int\limits_{a}^{x + \Delta x} f \left(t \right)dt — \int\limits_{a}^{x} f \left(t \right)dt = \int\limits_{x}^{x + \Delta x} f \left(t \right)dt.$$
Так как функция [latex]f[/latex] интегрируема на отрезке [latex][a,b][/latex], то она ограничена, т. е.
$$\exists M > 0 : \forall x \epsilon [a,b] \to |f(x)| \leqslant M$$
Согласно правилу оценки интеграла:
$$ \left|\Delta F \right| \leqslant \left|\int\limits_{x}^{x + \Delta x} \left|f(t) \right|dt \right| \leqslant M|\Delta x|,$$
откуда получаем: [latex]\Delta F \to 0[/latex] при [latex]\Delta x \to 0[/latex], т. е. функция [latex]F[/latex] непрерывна в точке [latex]x[/latex]. Поскольку [latex]x[/latex] — произвольная точка отрезка [latex][a,b][/latex], то функция [latex]F[/latex] непрерывна на отрезке [latex][a,b][/latex].
Теорема доказана.

Теорема.
Пусть функция [latex]f[/latex] интегрируема на [latex][a,b][/latex] и непрерывна в точке [latex]x_0[/latex] [latex]\epsilon[/latex] [latex][a,b][/latex]. Тогда функция [latex]F[/latex] дифференцируема в точке [latex]x_0[/latex] и [latex]F^\prime(x_0) = f(x_0)[/latex].

Пусть, например, [latex]a <x_0 < b[/latex].
(в точках [latex]a[/latex] и [latex]b[/latex] можно рассматривать только односторонние производные). Тогда для любого [latex]h \neq 0[/latex], такого, что [latex]x_0 + h[/latex] [latex]\epsilon[/latex] [latex][a,b][/latex], имеем
$$\frac{F(x_0 + h) — F(x_0)}{h} = \frac{1}{h}\cdot\left(\int\limits_a^{x_0+h} f(t)dt — \int\limits_a^{x_0} f(t)dt\right) = \frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} f(t)dt.$$
Отсюда следует
$$\left|\frac{F(x_0 + h) — F(x_0)}{h} — f(x_0)\right| = \left|\frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} f(t)dt — f(x_0)\right| =$$
$$= \left|\frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} [f(t) — f(x_0)]dt\right| \leqslant \frac{1}{|h|} \cdot \left|\int\limits_{x_0}^{x_0+h} \left|f(t) — f(x_0)\right|dt\right| \equiv \rho(h).$$
Если мы покажем, что [latex]\rho(h) \to 0[/latex] при [latex]h \to 0[/latex], то тем самым теорема будет доказана. Для оценки [latex]\rho(h)[/latex] предположим для определенности, что [latex]h > 0[/latex].
Зададим произвольное [latex]\varepsilon > 0[/latex] и, пользуясь непрерывностью функции [latex]f[/latex] в точке [latex]x_0[/latex], найдем такое [latex]\delta > 0[/latex], то для всех [latex]t[/latex], удовлетворяющих условию [latex]\left|t — x_0\right| < \delta[/latex], справедливо неравенство [latex]\left|f(t) — f(x_0)\right| < \varepsilon[/latex]. Если теперь [latex]0 < h < \delta[/latex], то получим
$$\rho(h) = \frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h}\left|f(t) — f(x_0)\right|dt \leqslant \varepsilon.$$
Отсюда следует, что [latex]\rho(h) \to 0[/latex] при [latex]h \to 0[/latex].
Случай [latex]h < 0[/latex] исчерпывается аналогичным образом. В точках [latex]x_0 = a[/latex] и [latex]x_0 = b[/latex] приведенные выше рассуждения достаточно применить для [latex]h > 0[/latex] и [latex]h < 0[/latex], соответственно.
Теорема доказана.

Замечание.Условие непрерывности функции [latex]f[/latex] в точке [latex]x_0[/latex] не является необходимым для дифференцируемости [latex]F[/latex] в точке [latex]x_0[/latex]. Например, если взять непрерывную на отрезке [latex][a,b][/latex] функцию [latex]f[/latex], то, по доказанной теореме, функция [latex]F[/latex] будет дифференцируемой в каждой точке отрезка [latex][a,b][/latex]. Изменим теперь значение функции [latex]f[/latex] в одной точке. В результате получим разрывную функцию [latex]\overline{f}[/latex]. В то же время, как легко видеть, функция [latex]F[/latex] остается прежней, т.е. [latex]\overline{F}(x)[/latex] [latex]\equiv[/latex] [latex]\int\limits_a^x \overline{f}(t)dt[/latex] [latex]=[/latex] [latex]F(x)[/latex] [latex](x[/latex] [latex]\epsilon[/latex] [latex][a,b])[/latex] (поскольку изменение функции в конечном числе точек не влияет на величину её интеграла). Таким образом, получим, что интеграл с переменным верхним пределом от разрывной функции может оказаться дифференцируемым.

Пример 1.
Рассмотрим функцию
$$f \left( x \right) = \begin{cases} \sin\frac{1}{x}, & 0 < x \leqslant 1, \\ 0, & x = 0 \end{cases}$$
Эта функция ограничена на отрезке [latex][0,1][/latex] и имеет единственную точку разрыва [latex]x_0[/latex] [latex]=[/latex] [latex]0[/latex]. Значит она интегрируема на [latex][0,1][/latex]. Обозначим [latex]F(x)[/latex] [latex]=[/latex] [latex]\int\limits_0^x f(t)dt[/latex]. Поскольку [latex]f[/latex] непрерывна в каждой точке [latex]x \neq 0[/latex], то, по предыдущей теореме, функция [latex]F[/latex] дифференцируема в каждой точке [latex]x \epsilon [0,1][/latex] и [latex]F^\prime(x)[/latex] [latex]=[/latex] [latex]\sin\frac{1}{x}[/latex]. В точке [latex]x_0 = 0[/latex] функция [latex]f[/latex] разрывна и поэтому предыдущая теорема неприменима. Однако можно показать, что существует [latex]F^\prime_+(0) = 0[/latex].

Пример 2.
Пусть $f(x) = \operatorname {sign} x$, [latex]-1 \leqslant x \leqslant 1[/latex]. Если [latex]-1 \leqslant x < 0[/latex], то [latex]f(t)[/latex] [latex]=[/latex] [latex]-1[/latex], [latex]-1 \leqslant t \leqslant x[/latex] и [latex]\int\limits_{-1}^{x} f(t)dt = -\left(x — \left(-1\right)\right) = -\left(x + 1\right)[/latex]. Если же [latex]0 \leqslant x \leqslant 1[/latex], то [latex]\int\limits_{-1}^{x} f(t)dt = \int\limits_{-1}^{0} f(t)dt + \int\limits_{0}^{x} f(t)dt = -1 + x[/latex].
Таким образом,
$$f \left( x \right) = \begin{cases} -\left(x + 1\right), & -1 \leqslant x \leqslant 0, \\ x — 1, & 0 \leqslant x \leqslant 1.\end{cases}$$
Легко видеть, что в точке [latex]x_0 = 0[/latex] функция [latex]F[/latex] недифференцируема.

Упражнение. Покажите, что если в некоторой точке функция [latex]f[/latex] имеет скачок, что интеграл с переменным верхним пределом от этой функции недифференцируем в этой точке.

Теорема (основная теорема интегрального исчисления).
Пусть функция [latex]f[/latex] непрерывна на отрезке [latex][a,b][/latex]. Тогда она имеет первообразную на этом отрезке. Одной из её первообразных является интеграл с переменным пределом от этой функции.

Пусть [latex]x[/latex] — произвольная точка отрезка [latex][a,b][/latex]. По теореме о дифференцируемости интеграла функция [latex]F(x)[/latex] имеет в точке [latex]x[/latex] производную, равную [latex]f(x)[/latex], т. е.
$$F^\prime(x) = \frac{d}{dx} \cdot \left(\int\limits_{a}^{x} f(t)dt \right) = f(x)$$
Согласно определения первообразной функция [latex]F(x)[/latex] является первообразной для функции [latex]f(x)[/latex] на отрезке [latex][a,b][/latex], и поэтому справедливо равенство
$$\int f(x)dx = \int\limits_{a}^{x} f(t)dt + C,$$ где [latex]C[/latex] — произвольная постоянная.

Покажем, что у разрывной функции может существовать первообразная. Действительно в примере 1 функция [latex]f[/latex] разрывна в точке [latex]x_0 = 0[/latex]. Рассмотрим функцию [latex]\varphi(x) = x^{2} \cdot \cos \frac {1}{x}[/latex], [latex]x \neq 0[/latex], [latex]\varphi(0) = 0[/latex]. Легко видеть, что [latex]\varphi^\prime(0) = 0[/latex], а при [latex]x < 0 \neq 1[/latex] имеем [latex]\varphi^\prime(0) = 2 \cdot \cos \frac{1}{x} + \sin \frac{1}{x}[/latex]. Положим [latex]g(x) = 2 \cdot \cos \frac{1}{x}[/latex], [latex](x \neq 0)[/latex], [latex]g(0) = 0[/latex]. Тогда функция [latex]g[/latex] непрерывна на [latex][0,1][/latex] и, в силу основной теоремы интегрального исчисления имеет первообразную на [latex][0,1][/latex]. Поэтому и функция [latex]f(x) = \varphi^\prime (x) — g(x)[/latex] имеет первообразную на [latex][0,1][/latex] как разность двух функций, имеющих первообразные.

Теорема Ньютона — Лейбница (основная формула интегрального исчисления).
Пусть функция [latex]f[/latex] непрерывна на отрезке [latex][a,b][/latex] и [latex]\Phi[/latex] — её первообразная на этом отрезке. Тогда
$$\int\limits_{a}^{b} f(x)dx = \Phi(b) — \Phi(a) \equiv \Phi(x) \bigg|_{a}^{b}.$$

Существование первообразной следует из предыдущей теоремы. Кроме того, одной из первообразных является функция $F(x) = \int\limits_{a}^{x}f(t)dt$. Но разность двух любых первообразных постоянна, так что [latex]F(x) — \Phi(x) \equiv C[/latex]. Поскольку [latex]F(a) = 0,[/latex] то отсюда получаем [latex]-\Phi(a) = C.[/latex] Таким образом $F(x) = \Phi(x) — \Phi(a).$ При [latex]x = b[/latex] имеем
$$\int\limits_{a}^{b} f(x)dx = F(b) = \Phi(b) — \Phi(a).$$
Теорема доказана.

Теорема (обобщенная теорема Ньютона — Лейбница).
Пусть функция [latex]f[/latex] интегрируема на отрезке [latex][a,b][/latex], а [latex]\Phi[/latex] непрерывна на этом отрезке и [latex]\Phi^\prime = f(x)[/latex] для всех [latex]x[/latex] [latex]\epsilon[/latex] [latex][a,b][/latex], за исключением, быть может, конечного числа точек. Тогда
$$\int\limits_{a}^{b} f(x)dx = \Phi(b) — \Phi(a).$$

Возьмем произвольное разбиение [latex]a = x_0 < x_1 < … <x_n = b[/latex] отрезка [latex][a,b][/latex], такое, что среди его точек содержатся все те точки, в которых не выполняется равенство [latex]\Phi^\prime = f(x)[/latex]. На каждом из отрезков [latex][x_i, x_i+1][/latex] функция [latex]\Phi[/latex] удовлетворяет условиям теоремы Лагранжа. В силу этой теоремы имеем
$$\Phi(x_i+1) — \Phi(x_i) = \Phi^\prime(\xi_i)\Delta x_i = f(\xi_i) \Delta x_i,$$
где точки [latex]\xi_i[/latex] [latex]\epsilon[/latex] [latex]\left(x_i,x_i+1 \right)[/latex]. Складывая эти равенства, получаем
$$\sum\limits_{i = 0}^{n — 1} \left[\Phi(x_i+1) — \Phi(x_i) \right] = \sum\limits_{i = 0}^{n — 1} f(\xi_i) \Delta x_i$$
Сумма слева, очевидно, равна [latex]\Phi(b) — \Phi(a)[/latex], так что
$$\Phi(b) — \Phi(a) = \sum\limits_{i=0}^{n-1} f(\xi_i) \Delta x_i.$$
Справа имеем интегральную сумму для функции [latex]f[/latex]. По условию [latex]f[/latex] — интегрируемая функция, так что при стремлении к нулю диаметра разбиения сумма справа стремится к [latex]\int\limits_{a}^{b} f(x)dx[/latex]. Поэтому получили
$$\Phi(b) — \Phi(a) = \int\limits_{a}^{b} f(x)dx.$$
Теорема доказана.

Следствие. Если функция [latex]\Phi(x)[/latex] дифференцируема на отрезке [latex][a,b][/latex] и её производная [latex]f(x) \equiv \Phi^\prime(x)[/latex] интегрируема по Риману на этом отрезке, то
$$\Phi(x) = \Phi(a) + \int\limits_{a}^{x} f(t)dt.$$

Определение. Пусть функция [latex]f[/latex] задана на отрезке [latex][a,b][/latex]. Функцию [latex]\Phi[/latex] будем называть обобщенной первообразной функции [latex]f[/latex] на этом отрезке, если [latex]\Phi[/latex] непрерывна на [latex][a,b][/latex] и [latex]\Phi^\prime(x) = f(x)[/latex] всюду, за исключением быть может, конечного числа точек.

Заметим, что обобщенная первообразная определяется однозначно с точностью до постоянного слагаемого, а именно, если [latex]\Phi_1[/latex] и [latex]\Phi_2[/latex] — две обобщенные первообразные для функции [latex]f[/latex], то [latex]\Phi_1 — \Phi_2 \equiv C[/latex].

Теорема.
Если функция [latex]f[/latex] ограничена на отрезке [latex][a,b][/latex] и непрерывна всюду, за исключением, быть может, конечного числа точек, то на этом отрезке она имеет обобщенную первообразную. Одной из обобщенных первообразных является [latex]\int\limits_{a}^{x} f(t)dt[/latex].

Доказательство этой теоремы легко получается из основной теоремы интегрального исчисления.

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

  1. Доказать, что если функция [latex]f[/latex] непрерывна на [latex]\mathbb{R}[/latex], а функции [latex]\varphi[/latex] и [latex]\psi[/latex] дифференцируемы на [latex]\mathbb{R}[/latex], то
    $$\frac{d}{dx} \left(\int\limits_{\varphi(x)}^{\psi(x)} f(t)dt \right) = \psi^\prime \left(x \right) \cdot f \left(\psi \left(x \right)\right) — \varphi^\prime \left(x \right) \cdot f \left(\varphi \left(x \right)\right)$$
    Обозначим это равенство [latex](*)[/latex].

    Решение

    Пусть [latex]F[/latex] — первообразная для функции [latex]f[/latex]; тогда по формуле Ньютона — Лейбница находим
    $$\int\limits_{\varphi(x)}^{\psi(x)} f(t)dt = F(t) \bigg|_{t = \varphi(x)}^{t = \psi(x)} = F(\psi(x)) — F(\varphi(x)),$$
    откуда, используя правило дифференцирования сложной функции и равенство [latex]F^\prime (t) = f(t)[/latex] получаем формулу [latex](*)[/latex].

  2. Найти производную функции $F(x) = \int\limits_{2}^{x^{3}} e^{t}dt.$
    Решение

    В данном случае верхний предел является функцией от [latex]x[/latex], поэтому воспользуемся правилом дифференцирования сложной функции.
    Пусть $G(x) = \int\limits_{2}^{x} e^{t}dt$.
    Тогда производная функции $G^\prime (x) = e^{x}.$ Следовательно $G^\prime (x^{3}) = e^{x^{3}}.$ Далее $F(x) = G(x^{3})$ и $F^\prime (x) = (x^{3})^\prime \cdot G^\prime (x^{3}).$ Откуда получаем
    $$F^\prime (x) = e^{x^{3}} \cdot (x^{3})^\prime = 3 \cdot x^{2} \cdot e^{x^{3}}$$

  3. Покажем, что первообразная $F(x) = \int\limits_{0}^{x} f(t)dt$ от непрерывной периодической функции с периодом [latex]T[/latex] может быть представлена в виде суммы линейной и периодической с периодом [latex]T[/latex] функции.
    Решение

    Рассмотрим функцию $g(t) = f(t) — A$, где $A = \frac{1}{T} \cdot \int\limits_{0}^{T} f(t)dt$ — среднее значение функции [latex]f(t)[/latex] по периоду. Покажем, что её первообразная $G(x) = \int\limits_{0}^{x} g(t)dt$ является периодической с периодом [latex]T[/latex] функцией.
    Действительно, $G(x + T) — G(x) = \int\limits_{x}^{x+T} g(t)dt = \int\limits_{0}^{T} g(t)dt,$ поскольку [latex]g(t)[/latex] периодическая с периодом [latex]T[/latex] функция.
    Далее, $\int\limits_{0}^{T} g(t)dt = \int\limits_{0}^{T} (f(t) — A)dt = \int\limits_{0}^{T} f(t)dt — A \cdot T = 0$ в силу определения числа [latex]A[/latex].
    Таким образом, $G(x + T) — G(x) = 0$ для любого значения [latex]x[/latex] [latex]\epsilon[/latex] [latex]\mathbb{R}[/latex].
    И на конец, $F(x) = \int\limits_{0}^{x} f(t)dt = \int\limits_{0}^{x} (A + g(t))dt = A \cdot x + G(x),$ что и требовалось доказать.

  4. Найти с помощью интеграла $\lim \limits_{n \to \infty} S_n$, если
    $$S_n = \frac{1^{\alpha} + 2^{\alpha} + … + n^{\alpha}}{n^{\alpha + 1}}, \alpha > 0$$

    Решение

    Запишем [latex]S_n[/latex] в виде $S_n = \frac{1}{n} \sum\limits_{k=1}^{n} \left(\frac {k}{n} \right)^{\alpha}$, здесь [latex]S_n[/latex] — интегральная сумма для функции [latex]f(x) = x^{\alpha}[/latex] на отрезке [latex][0,1][/latex], соответствующая разбиению [latex]T[/latex] этого отрезка на отрезки $\delta_k = \left[ \frac{k-1}{n}, \frac{k}{n} \right]$, $k = \overline{1,n}$, каждый из которых имеет длину [latex]\frac{1}{n}[/latex]; в качестве точки [latex]\xi_k[/latex] [latex]\epsilon[/latex] [latex]\Delta_k[/latex] берется правый конец отрезка [latex]\Delta_k[/latex], т.е. [latex]\xi_k = \frac{k}{n}[/latex]. Так как [latex]l(T) = \frac{1}{n} \to 0[/latex] при [latex] n \to \infty[/latex], а функция [latex]x^{\alpha}[/latex] непрерывна на отрезке [latex][0,1][/latex], то существует
    $$\lim \limits_{n \to \infty} S_n = \int\limits_{0}^{1} x^{\alpha}dx = \frac{x^{\alpha + 1}}{\alpha+1} \bigg|_{0}^{1} = \frac{1}{\alpha + 1}.$$

Информацию по теме «Интеграл с переменным верхним пределом» вы можете также найти в следующих учебниках:

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

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

6.1 Определение и простейшие свойства неопределенного интеграла

Пусть функция $f$ дифференцируема в некоторой точке $x$. Тогда, согласно определению дифференцируемости и свойствам производной, справедливо равенство $$f\left(x + \Delta x\right) − f \left(x\right) = f’\left(x\right) \Delta x + \overline{o}\left(\Delta x\right)\,\,\,\,\,\,\,\,\left(\Delta x \to 0\right).$$ Левая часть этого равенства называется приращением функции $f$ в точке $x,$ соответствующим приращению $\Delta x$ независимой переменной в точке $x,$ и обозначается $\Delta f \equiv \Delta f \left(x\right) = f \left(x + \Delta x\right) − f \left(x\right).$ Таким образом, приращение $\Delta f \left(x\right)$ дифференцируемой в точке $x$ функции $f$ состоит из двух слагаемых: $f’\left(x\right) \Delta x $ и $\overline{o}\left(\Delta x\right)$ При этом главную часть этого приращения составляет первое слагаемое (за исключением случая, когда $f’\left(x\right)=0$).
Итак, мы приходим к следующему определению.

Определение. Пусть функция $f$ дифференцируема в точке $x.$ Линейная функция $dy=f’\left(x\right)dx$ переменной $dx$ называется дифференциалом функции $f$ в точке $x$ и обозначается
$$df=f’\left(x\right)dx.$$ Если в определении дифференциала переменную $x$ считать зависимой от другой переменной $x = x(t)$, то для функции $g(t)=f(x(t))$ будем иметь

$$df\left(t\right)=df\left(x\left(t\right)\right)=dg\left(t\right)=g’\left(t\right)dt=f’\left(x\left(t\right)\right)x’\left(t\right)dt=f’\left(x\right)dx.$$ Получили, что форма дифференциала функции не зависит от того, является ли переменная $x$ зависимой, или независимой. Это свойство называется инвариантностью формы дифференциала. Свойства дифференциала определяются свойствами производных и правилами дифференцирования. Например,
$$d\left(uv\right)=\left(u’\left(x\right)v\left(x\right)+u\left(x\right)v’\left(x\right)\right)dx=u\left(x\right)dv\left(x\right)+v\left(x\right)du\left(x\right),$$
или, короче,
$$d\left(uv\right)=udv+vdu.$$
Аналогично имеем
$$d\left(\frac{u}v\right)=\frac{vdu-udv}{v^2}.$$
В дальнейшем при изучении функций многих переменных мы остановимся на понятии дифференциала более подробно. Напомним, что функция $f$ называется дифференцируемой на интервале, если она дифференцируема в каждой точке этого интервала.

Определение. Пусть функция $f$ определена на интервале $I$. Если существует функция $F$, дифференцируемая на интервале $I$ и такая, что $F’\left(x\right)=f\left(x\right)$ для всех $x \in I$, то функция $F$ называется первообразной (или примитивной) для функции $f$ на этом интервале. Например, $$f\left(x\right)=2xe^{x^2}, F\left(x\right)=e^{x^2}\,\,\,\,\left(-\infty<x<+\infty\right).$$
Если для функции $f$ существует одна первообразная, то существует бесконечно много первообразных. Действительно, каждая функция вида $F(x)+C,$ где $C$ — постоянная, также является первообразной, поскольку

$$\left(F\left(x\right)+C\right)’=F’\left(x\right)=f\left(x\right).$$
Ниже будет доказана следующая.

Теорема. Каждая непрерывная на интервале функция имеет первообразную на этом интервале.

Пример. Пусть $f\left(x\right)=|x|,\,\, x \in \left(-\infty,+\infty\right).$ Тогда $F\left(x\right)=\frac{x^2}2$ при $x>0$ и $F\left(x\right)=-\frac{x^2}2$ при $x<0.$ Легко проверить, что для функции $F\left(x\right)=-\frac{x^2}2 sign\, x\,\,\,\,\left(-\infty<x<\infty\right)$ справедливо также равенство $F’\left(0\right)=0=|0|=f\left(0\right),$ так что $F$ — первообразная для $f.$

Теорема. Если функция $f$ имеет первообразную на интервале $I,$ то разность двух любых ее первообразных тождественно постоянна на этом интервале.

Пусть $F_1,F_2$ — две первообразные для функции $f.$ Тогда ${F’}_1\left(x\right)=f\left(x\right)$ и ${F’}_2\left(x\right)=f\left(x\right)$ для всех $x \in I$ справедливо равенство $\left(F_1-F_2\right)’\left(x\right)=0.$ Поэтому, в силу следствия из теоремы Лагранжа, разность $F_1 − F_2$ – тождественно постоянная функция, что и требовалось доказать.

Следствие. Bсе первообразные можно описать равенством $F\left(x\right)+C$, где $F\left(x\right)$ — одна из первообразных.

Определение. Совокупность всех первообразных функции $f$ называется неопределенным интегралом от функции $f$ и обозначается $\int f\left(x\right)dx$. При этом сама функция $f\left(x\right)$ называется подынтегральной функцией, а $f\left(x\right)dx$ называется подынтегральным выражением. Как было сказано выше, если $F\left(x\right)$ – одна из первообразных функции $f\left(x\right),$ то справедливо следующее равенство:

$$\int f\left(x\right)dx = F\left(x\right) + C,$$
где $C$ – постоянная.
Операция нахождения первообразных называется интегрированием. Отметим, что определение первообразной не является конструктивным, как, например, определение производной. Действительно, в определении производной дается правило ее вычисления, а в определении первообразной – только свойство, которым она должна обладать. Такое определение называется дескриптивным.

Простейшие свойства неопределенного интеграла

1. Если функция $F$ дифференцируема на интервале $I,$ то
$$\int F’\left(x\right)dx = F\left(x\right) + C.$$
Это сразу следует из определения первообразной.

2. Если $\int f\left(x\right)dx = F\left(x\right) + C $ и $\int g\left(x\right)dx = G\left(x\right) + C$, то $\int [f\left(x\right) + g\left(x\right)]dx= F\left(x\right) + G\left(x\right) + C,$ или, что то же самое,
$\int [f\left(x\right) + g\left(x\right)]dx =\int f\left(x\right)dx + \int g\left(x\right)dx$
Действительно, при наших предположениях имеет место равенство
$$\left(F\left(x\right) + G\left(x\right)\right)0 = F’\left(x\right) + G’\left(x\right) = f\left(x\right) + g\left(x\right).$$

3. Если $\int f\left(x\right)dx = F\left(x\right) + C,$ то для любого действительного числа $α \neq 0$ $\int [αf\left(x\right)]dx = αF\left(x\right) + C,$ или, что то же самое, $$\int [αf\left(x\right)]dx = α\int f\left(x\right)dx.$$
Это равенство очевидно следует из определения. Заметим, что при $α = 0$ оно неверно по той причине, что в левой его части совокупность всех постоянных, а в правой – тождественный нуль.

4. Если $\int f\left(t\right)dt = F\left(t\right) + C,$ то для любого $a \neq 0$ и для любого $b$
$\int f\left(ax + b\right)dx = \frac{1}aF’\left(ax + b\right) + C.$
Действительно,
$\biggl[\frac{1}aF\left(ax+b\right)\biggr]’=\frac{1}aF’\left(ax+b\right)·a=f\left(ax+b\right).$

Формулы для нахождение простейших неопределенных интегралов

1.$\int adx=ax+C$

2.$\int x^ndx=\frac{x^{n+1}}{n+1}+C,\,\, a\neq-1,\,\, x>0$

3.$\int \frac{dx}x=\ln|x|+C$

4.$\int a^xdx=\frac{a^x}{\ln|a|}+c$

5.$\int e^xdx=e^x+C$

6.$\int \sin xdx=-\cos x+C$

7.$\int \cos xdx=\sin x+C$

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

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

  1. $\int \left(x^2-4x\right)dx=$
    Решение

    $=\int x^2dx-\int 4xdx=\frac{x^3}3-\frac{4x^2}2+C=\frac{x^3}3-2x^2+C$

  2. $\int \left(\frac 1{\sqrt[3]{x^2}}\right)dx=$
    Решение

    $=\int x^{\frac{-2}{3}}dx=\frac{x^{\frac{1}3}}{\frac{1}3}=3\sqrt[3]{x}+C$

  3. $\int \cos\left(2x+3\right)dx=$
    Решение

    $=\frac{1}2\sin\left(2x+3\right)+C$

  4. $\int \left(3\sin x+\frac{10}x\right)dx=$
    Решение

    $=\int 3\sin xdx+\int \frac {10}xdx=-3\cos x+10 \ln|x|+C$

Неопределенный интеграл и его простейшие свойства

Данный тест поможет вам лучше разобраться с темой.

Литература

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

12.8.2 Локальные экстремумы функций многих переменных

Определение. Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Говорят, что $f$ имеет локальный максимум в точке $x_{0} \in E$, если существует такая окрестность $U$ точки $x_{0}$, что для всех $x \in U$ выполняется неравенство $f\left(x\right) \leqslant f\left(x_{0}\right)$.

Локальный максимум называется строгим, если окрестность $U$ можно выбрать так, чтобы для всех $x \in U$, отличных от $x_{0}$, было $f\left(x\right) < f\left(x_{0}\right)$.

Определение
Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Говорят, что $f$ имеет локальный минимум в точке $x_{0} \in E$, если существует такая окрестность $U$ точки $x_{0}$, что для всех $x \in U$ выполняется неравенство $f\left(x\right) \geqslant f\left(x_{0}\right)$.

Локальный минимум называется строгим, если окрестность $U$ можно выбрать так, чтобы для всех $x \in U$, отличных от $x_{0}$, было $f\left(x\right) > f\left(x_{0}\right)$.

Локальный экстремум объединяет понятия локального минимума и локального максимума.

Теорема (необходимое условие экстремума дифференцируемой функции)
Пусть $f$ – действительная функция на открытом множестве $E \subset \mathbb{R}^{n}$. Если в точке $x_{0} \in E$ функция $f$ имеет локальный экстремум и дифференцируема в этой точке,то $$\text{d}f\left(x_{0}\right)=0.$$ Равенство нулю дифференциала равносильно тому, что все частные производные равны нулю, т.е. $$\displaystyle\frac{\partial f}{\partial x_{i}}\left(x_{0}\right)=0.$$

В одномерном случае это – теорема Ферма. Обозначим $\phi \left(t\right) = f \left(x_{0}+th\right)$, где $h$ – произвольный вектор. Функция $\phi$ определена при достаточно малых по модулю значениях $t$. Кроме того, по теореме о производной сложной функции, она дифференцируема, и ${\phi}’ \left(t\right) = \text{d}f \left(x_{0}+th\right)h$.
Пусть $f$ имеет локальный максимум в точкеx $0$. Значит, функция $\phi$ при $t = 0$ имеет локальный максимум и, по теореме Ферма, ${\phi}’ \left(0\right)=0$.
Итак, мы получили, что $df \left(x_{0}\right) = 0$, т.е. дифференциал функции $f$ в точке $x_{0}$ равен нулю на любом векторе $h$.

Определение
Точки, в которых дифференциал равен нулю, т.е. такие, в которых все частные производные равны нулю, называются стационарными. Критическими точками функции $f$ называются такие точки, в которых $f$ не дифференцируема, либо ее градиент равен нулю. Если точка стационарная, то из этого еще не следует, что в этой точке функция имеет экстремум.

Пример 1.
Пусть $f \left(x,y\right)=x^{3}+y^{3}$. Тогда $\displaystyle\frac{\partial f}{\partial x} = 3 \cdot x^{2}$,$\displaystyle\frac{\partial f}{\partial y} = 3 \cdot y^{2}$, так что $\left(0,0\right)$ – стационарная точка, но в этой точке у функции нет экстремума. Действительно, $f \left(0,0\right) = 0$, но легко видеть, что в любой окрестности точки $\left(0,0\right)$ функция принимает как положительные, так и отрицательные значения.

Пример 2.
У функции $f \left(x,y\right) = x^{2} − y^{2}$ начало координат – стационарная точка, но ясно, что экстремума в этой точке нет.

Теорема (достаточное условие экстремума).
Пусть функция $f$ дважды непрерывно-дифференцируема на открытом множестве $E \subset \mathbb{R}^{n}$. Пусть $x_{0} \in E$ – стационарная точка и $$\displaystyle Q_{x_{0}} \left(h\right) \equiv \sum_{i=1}^n \sum_{j=1}^n \frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right)h^{i}h^{j}.$$ Тогда

  1. если $Q_{x_{0}}$ – знакоопределенная квадратичная форма, то функция $f$ в точке $x_{0}$ имеет локальный экстремум, а именно, минимум, если форма положительноопределенная, и максимум, если форма отрицательноопределенная;
  2. если квадратичная форма $Q_{x_{0}}$ неопределенная, то функция $f$ в точке $x_{0}$ не имеет экстремума.

Воспользуемся разложением по формуле Тейлора (12.7 стр. 292). Учитывая, что частные производные первого порядка в точке $x_{0}$ равны нулю, получим $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right) = \frac{1}{2} \sum_{i=1}^n \sum_{j=1}^n \frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}+\theta h\right)h^{i}h^{j},$$ где $0<\theta<1$. Обозначим $\displaystyle a_{ij}=\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right)$. В силу теоремы Шварца (12.6 стр. 289-290), $a_{ij}=a_{ji}$. Обозначим $$\displaystyle \alpha_{ij} \left(h\right)=\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}+\theta h\right)−\frac{\partial^{2} f}{\partial x_{i} \partial x_{j}} \left(x_{0}\right).$$ По предположению, все частные производные второго порядка непрерывны и поэтому $$\lim_{h \rightarrow 0} \alpha_{ij} \left(h\right)=0. \left(1\right)$$ Получаем $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right)=\frac{1}{2}\left[Q_{x_{0}} \left(h\right)+\sum_{i=1}^n \sum_{j=1}^n \alpha_{ij} \left(h\right)h_{i}h_{j}\right].$$ Обозначим $$\displaystyle \epsilon \left(h\right)=\frac{1}{|h|^{2}}\sum_{i=1}^n \sum_{j=1}^n \alpha_{ij} \left(h\right)h_{i}h_{j}.$$ Тогда $$|\epsilon \left(h\right)| \leq \sum_{i=1}^n \sum_{j=1}^n |\alpha_{ij} \left(h\right)|$$ и, в силу соотношения $\left(1\right)$, имеем $\epsilon \left(h\right) \rightarrow 0$ при $h \rightarrow 0$. Окончательно получаем $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right)=\frac{1}{2}\left[Q_{x_{0}} \left(h\right)+\epsilon \left(h\right)|h|^{2}\right]. \left(2\right)$$ Предположим, что $Q_{x_{0}}$ – положительноопределенная форма. Согласно лемме о положительноопределённой квадратичной форме (12.8.1 стр. 295, Лемма 1), существует такое положительное число $\lambda$, что $Q_{x_{0}} \left(h\right) \geqslant \lambda|h|^{2}$ при любом $h$. Поэтому $$\displaystyle f \left(x_{0}+h\right)−f \left(x_{0}\right) \geq \frac{1}{2}|h|^{2} \left(λ+\epsilon \left(h\right)\right).$$ Так как $\lambda>0$, а $\epsilon \left(h\right) \rightarrow 0$ при $h \rightarrow 0$, то правая часть будет положительной при любом векторе $h$ достаточно малой длины.
Итак, мы пришли к тому, что в некоторой окрестности точки $x_{0}$ выполнено неравенство $f \left(x\right) >f \left(x_{0}\right)$, если только $x \neq x_{0}$ (мы положили $x=x_{0}+h$\right).  Это означает, что в точке $x_{0}$ функция имеет строгий локальный минимум, и тем самым доказана первая часть нашей теоремы.
Предположим теперь, что $Q_{x_{0}}$ – неопределенная форма. Тогда найдутся векторы $h_{1}$, $h_{2}$, такие, что $Q_{x_{0}} \left(h_{1}\right)=\lambda_{1}>0$, $Q_{x_{0}} \left(h_{2}\right)= \lambda_{2}<0$. В соотношении $\left(2\right)$ $h=th_{1}$ $t>0$. Тогда получим $$f \left(x_{0}+th_{1}\right)−f \left(x_{0}\right) = \frac{1}{2} \left[ t^{2} \lambda_{1} + t^{2} |h_{1}|^{2} \epsilon \left(th_{1}\right) \right] = \frac{1}{2} t^{2} \left[ \lambda_{1} + |h_{1}|^{2} \epsilon \left(th_{1}\right) \right].$$ При достаточно малых $t>0$ правая часть положительна. Это означает, что в любой окрестности точки $x_{0}$ функция $f$ принимает значения $f \left(x\right)$, большие, чем $f \left(x_{0}\right)$.
Аналогично получим, что в любой окрестности точки $x_{0}$ функция $f$ принимает значения, меньшие, чем $f \left(x_{0}\right)$. Это, вместе с предыдущим, означает, что в точке $x_{0}$ функция $f$ не имеет экстремума.

Рассмотрим частный случай этой теоремы для функции $f \left(x,y\right)$ двух переменных, определенной в некоторой окрестности точки $\left(x_{0},y_{0}\right)$ и имеющей в этой окрестности непрерывные частные производные первого и второго порядков. Предположим, что $\left(x_{0},y_{0}\right)$ – стационарная точка, и обозначим $$\displaystyle a_{11}= \frac{\partial^{2} f}{\partial x^{2}} \left(x_{0} ,y_{0}\right), a_{12}=\frac{\partial^{2} f}{\partial x \partial y} \left(x_{0}, y_{0}\right), a_{22}=\frac{\partial^{2} f}{\partial y^{2}} \left(x_{0}, y_{0}\right).$$ Тогда предыдущая теорема примет следующий вид.

Теорема
Пусть $\Delta=a_{11} \cdot a_{22} − a_{12}^2$. Тогда:

  1. если $\Delta>0$, то функция $f$ имеет в точке $\left(x_{0},y_{0}\right)$ локальный экстремум, а именно, минимум, если $a_{11}>0$, и максимум, если $a_{11}<0$;
  2. если $\Delta<0$, то экстремума в точке $\left(x_{0},y_{0}\right)$ нет. Как и в одномерном случае, при $\Delta=0$ экстремум может быть, а может и не быть.

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

Алгоритм нахождения экстремума функции многих переменных:

  1. Находим стационарные точки;
  2. Находим дифференциал 2-ого порядка во всех стационарных точках
  3. Пользуясь достаточным условием экстремума функции многих переменных, рассматриваем дифференциал 2-ого порядка в каждой стационарной точке
  1. Исследовать функцию на экстремум $f \left(x,y\right) = x^{3} + 8 \cdot y^{3} + 18 \cdot x — 30 \cdot y$.
    Решение

    Найдем частные производные 1-го порядка: $$\displaystyle \frac{\partial f}{\partial x}=3 \cdot x^{2} — 6 \cdot y;$$ $$\displaystyle \frac{\partial f}{\partial y}=24 \cdot y^{2} — 6 \cdot x.$$ Составим и решим систему: $$\displaystyle \begin{cases}\frac{\partial f}{\partial x}= 0\\\frac{\partial f}{\partial y}= 0\end{cases} \Rightarrow \begin{cases}3 \cdot x^{2} — 6 \cdot y= 0\\24 \cdot y^{2} — 6 \cdot x = 0\end{cases} \Rightarrow \begin{cases}x^{2} — 2 \cdot y= 0\\4 \cdot y^{2} — x = 0\end{cases}$$ Из 2-го уравнения выразим $x=4 \cdot y^{2}$ — подставим в 1-ое уравнение: $$\displaystyle \left(4 \cdot y^{2}\right)^{2}-2 \cdot y=0$$ $$16 \cdot y^{4} — 2 \cdot y = 0$$ $$8 \cdot y^{4} — y = 0$$ $$y \left(8 \cdot y^{3} -1\right)=0$$ В результате получены 2 стационарные точки:
    1) $y=0 \Rightarrow x = 0, M_{1} = \left(0, 0\right)$;
    2) $\displaystyle 8 \cdot y^{3} -1=0 \Rightarrow y^{3}=\frac{1}{8} \Rightarrow y = \frac{1}{2} \Rightarrow x=1, M_{2} = \left(\frac{1}{2}, 1\right)$
    Проверим выполнение достаточного условия экстремума:
    $$\displaystyle \frac{\partial^{2} f}{\partial x^{2}}=6 \cdot x; \frac{\partial^{2} f}{\partial x \partial y}=-6; \frac{\partial^{2} f}{\partial y^{2}}=48 \cdot y$$
    1) Для точки $M_{1}= \left(0,0\right)$:
    $$\displaystyle A_{1}=\frac{\partial^{2} f}{\partial x^{2}} \left(0,0\right)=0; B_{1}=\frac{\partial^{2} f}{\partial x \partial y} \left(0,0\right)=-6; C_{1}=\frac{\partial^{2} f}{\partial y^{2}} \left(0,0\right)=0;$$
    $A_{1} \cdot B_{1} — C_{1}^{2} = -36<0$ , значит, в точке $M_{1}$ нет экстремума.
    2) Для точки $M_{2}$:
    $$\displaystyle A_{2}=\frac{\partial^{2} f}{\partial x^{2}} \left(1,\frac{1}{2}\right)=6; B_{2}=\frac{\partial^{2} f}{\partial x \partial y} \left(1,\frac{1}{2}\right)=-6; C_{2}=\frac{\partial^{2} f}{\partial y^{2}} \left(1,\frac{1}{2}\right)=24;$$
    $A_{2} \cdot B_{2} — C_{2}^{2} = 108>0$, значит, в точке $M_{2}$ существует экстремум, и поскольку $A_{2}>0$, то это минимум.
    Ответ: Точка $\displaystyle M_{2} \left(1,\frac{1}{2}\right)$ является точкой минимума функции $f$.

  2. Исследовать функцию на экстремум $f=y^{2} + 2 \cdot x \cdot y — 4 \cdot x — 2 \cdot y — 3$.
    Решение

    Найдём стационарные точки: $$\displaystyle \frac{\partial f}{\partial x}=2 \cdot y — 4;$$ $$\displaystyle \frac{\partial f}{\partial y}=2 \cdot y + 2 \cdot x — 2.$$
    Составим и решим систему: $$\displaystyle \begin{cases}\frac{\partial f}{\partial x}= 0\\\frac{\partial f}{\partial y}= 0\end{cases} \Rightarrow \begin{cases}2 \cdot y — 4= 0\\2 \cdot y + 2 \cdot x — 2 = 0\end{cases} \Rightarrow \begin{cases} y = 2\\y + x = 1\end{cases} \Rightarrow x = -1$$
    $M_{0} \left(-1, 2\right)$ – стационарная точка.
    Проверим выполнение достаточного условия экстремума: $$\displaystyle A=\frac{\partial^{2} f}{\partial x^{2}} \left(-1,2\right)=0; B=\frac{\partial^{2} f}{\partial x \partial y} \left(-1,2\right)=2; C=\frac{\partial^{2} f}{\partial y^{2}} \left(-1,2\right)=2;$$
    $A \cdot B — C^{2} = -4<0$ , значит, в точке $M_{0}$ нет экстремума.
    Ответ: экстремумы отсутствуют.

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


Таблица лучших: Локальные экстремумы функций многих переменных

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

Литература:
См. Также:

4.12 Эквивалентные функции. Символы Ландау

$\DeclareMathOperator{\ctg}{ctg}\DeclareMathOperator{\tg}{tg} \DeclareMathOperator{\arctg}{arctg} \newcommand{\rndBrcts}[1]{\left ( #1 \right )} \newcommand{\abs}[1]{\left | #1 \right |}$Определение. Пусть функции $f$ и $g$ отличны от нуля в проколотой окрестности точки $x_0$ (равной, быть может, $+\infty,$ $-\infty$ или $\infty$). Говорят, что функции $f$ и $g$ эквивалентны при $x \to x_0,$ если $\lim\limits_{x \to x_0}\frac{f\rndBrcts{x}}{g\rndBrcts{x}} = 1.$ Обозначают это так: $f\rndBrcts{x} \sim g\rndBrcts{x} \ \rndBrcts{x \to x_0}.$

В терминах этого определения найденные ранее (см. Первый замечательный предел, Второй замечательный предел) пределы можно переписать следующим образом (все соотношения формулируются для случая $x \to 0$):
$$
\sin{x} \sim x, \\
\tg{x} \sim x, \\
1-\cos{x} \sim \frac{1}{2}x^2, \\
\arcsin{x} \sim x, \\
\arctg{x} \sim x, \\
a^x-1 \sim x \ln{a}, \\
\log_a{\rndBrcts{1+x}} \sim \frac{x}{\ln{a}}, \\ \
\rndBrcts{1+x}^\alpha-1\sim \alpha \cdot x.
$$

Эти соотношения останутся в силе, если в них вместо переменной $x$ записать отличную от нуля функцию $\varphi \rndBrcts{x},$ стремящуюся к нулю при $x \to x_0.$ Например, $\sin{x^2} \sim x^2 \ \rndBrcts{x \to 0},$ $\tg{\frac{1}{x}} \sim \frac{1}{x} \ \rndBrcts{x \to \infty},$ $\tg{\sin{\rndBrcts{x-1}^2}} \sim \sin{\rndBrcts{x-1}^2} \sim \rndBrcts{x-1}^2 \ \rndBrcts{x \to 1}.$

Теорема (применение эквивалентных функций для нахождения пределов). Пусть $f\rndBrcts{x} \sim f_1\rndBrcts{x}$ и $g\rndBrcts{x} \sim g_1\rndBrcts{x}$ при $x \to x_0$ и пусть существует $\lim\limits_{x \to x_0}\frac{f_1\rndBrcts{x}}{g_1\rndBrcts{x}} = A.$ Тогда существует $\lim\limits_{x \to x_0}\frac{f\rndBrcts{x}}{g\rndBrcts{x}} = A.$

По определению эквивалентных функций, используя арифметические свойства пределов, получаем
$$\lim\limits_{x \to x_0}\frac{f\rndBrcts{x}}{g\rndBrcts{x}} = \lim\limits_{x \to x_0}\frac{f\rndBrcts{x}}{f_1\rndBrcts{x}} \cdot \frac{g_1\rndBrcts{x}}{g\rndBrcts{x}} \cdot \frac{f_1\rndBrcts{x}}{g_1\rndBrcts{x}} = 1 \cdot 1 \cdot A = A,$$ и теорема доказана.

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

Пример.
$$\lim\limits_{x \to 0} \frac{\arcsin{x} \cdot \rndBrcts{e^x-1}}{1-\cos{x}} = \lim\limits_{x \to 0} \frac{x \cdot x}{\frac{x^2}{2}} = 2$$

Сравнение бесконечно больших и бесконечно малых

Символами Ландау называются символы $\overline{o}$ и $\underline O.$ Дадим определение.

Определение Пусть функции $f$ и $g$ определены в проколотой окрестности точки $x_0$ (конечного или бесконечного) и $g\rndBrcts{x} \neq 0.$ Говорят, что $f\rndBrcts{x}$ является $\overline{o}$-малой относительно $g\rndBrcts{x}$ при $x \to x_0,$ если $\lim\limits_{x \to x_0} \frac{f\rndBrcts{x}}{g\rndBrcts{x}} = 0.$ Обозначают это так: $f\rndBrcts{x} = \overline o\rndBrcts{g\rndBrcts{x}} \ \rndBrcts{x \to x_0}.$

Если $f\rndBrcts{x} \to 0, \ g\rndBrcts{x} \to 0$ и $f\rndBrcts{x} = \overline o\rndBrcts{g\rndBrcts{x}}$ при $x \to x_0,$ то говорят, что $f\rndBrcts{x}$ является бесконечно малой более высокого порядка, чем $g\rndBrcts{x},$ при $x \to x_0.$ Если же $f\rndBrcts{x} \to \infty, \ g\rndBrcts{x} \to \infty$ и $f\rndBrcts{x} = \overline o\rndBrcts{g\rndBrcts{x}} \text{ при } x \to x_0,$ то говорят, что $g\rndBrcts{x}$ стремится к бесконечности быстрее, чем $f\rndBrcts{x},$ при $x \to x_0.$ Например, $\sin \rndBrcts{x^2} = \overline o\rndBrcts{x} \ \rndBrcts{x \to 0}, \ \tg^3{x} \cdot \sin{\frac{1}{x}} = \overline o\rndBrcts{x^2} \ \rndBrcts{x \to 0}.$

Определение. Пусть функции $f$ и $g$ определены в проколотой окрестности $x_0$ (конечного или бесконечного) и $g\rndBrcts{x} \neq 0.$ Говорят, что $f\rndBrcts{x}$ является $\underline O$-большим относительно $g\rndBrcts{x}$ при $x \to x_0,$ если существует такая проколотая окрестность $U_{\delta}$ точки $x_0,$ что для всех $x \in U_{\delta}$ справедливо неравенство $\abs{f\rndBrcts{x}} \leqslant c \cdot \abs{g\rndBrcts{x}},$ где постоянная $c$ не зависит от $x$ (но может зависеть от окрестности $U_{\delta}$). Обозначают это так: $f\rndBrcts{x} = \underline O \rndBrcts{g\rndBrcts{x}} \ \rndBrcts{x \to x_0}.$

Например, $x^2+2x^3 = \underline O \rndBrcts{x^2}.$

Теорема. Пусть существует $\lim \limits_{x \to x_0} \abs{\frac{f\rndBrcts{x}}{g\rndBrcts{x}}} = K,$ где $0 \leqslant K \lt+\infty.$ Тогда $f\rndBrcts{x} = \underline O \rndBrcts{g\rndBrcts{x}}.$

Рассматриваем случай $x_0 \in \mathbb{R}.$ Зададим $\varepsilon = 1$ и найдем такое $\delta \gt 0,$ что для всех $x,$ удовлетворяющих условию $\abs{x-x_0} \lt \delta,$ справедливо неравенство $\abs{\abs{\frac{f\rndBrcts{x}}{g\rndBrcts{x}}}-K} \lt 1.$ Последнее неравенство равносильно тому, что
$$K-1 \lt \abs{\frac{f\rndBrcts{x}}{g\rndBrcts{x}}} \lt K+1.$$ Умножая правое неравенство на $\abs{g\rndBrcts{x}},$ получаем утверждение теоремы.

Теорема (критерий эквивалентности функций). Для того, чтобы отличные от нуля функции $f$ и $g$ были эквивалентны при $x \to x_0,$ необходимо и достаточно, чтобы было выполнено равенство $f\rndBrcts{x} = g\rndBrcts{x}+\overline o\rndBrcts{g\rndBrcts{x}} \ \rndBrcts{x \to x_0}.$

Необходимость. Пусть $f\rndBrcts{x} \sim g\rndBrcts{x}$ при $x \to x_0.$ Тогда $\frac{f\rndBrcts{x}}{g\rndBrcts{x}}-1 \to 0 \ \rndBrcts{x \to x_0},$ т. е. $\frac{f\rndBrcts{x}}{g\rndBrcts{x}}-1 = h\rndBrcts{x},$ где $h\rndBrcts{x} \to 0 \ \rndBrcts{x \to x_0}.$ Отсюда следует, что $f\rndBrcts{x} = g\rndBrcts{x}+g\rndBrcts{x} \cdot h\rndBrcts{x}.$ Но $\frac{g\rndBrcts{x} \cdot h\rndBrcts{x}}{g\rndBrcts{x}} = h\rndBrcts{x},$ т. е. $g\rndBrcts{x} \cdot h\rndBrcts{x} = \overline o\rndBrcts{g\rndBrcts{x}} \ \rndBrcts{x \to x_0}.$

Достаточность. Если $f\rndBrcts{x} = g\rndBrcts{x}+\overline o\rndBrcts{g\rndBrcts{x}} \ \rndBrcts{x \to x_0},$ то $\frac{f\rndBrcts{x}}{g\rndBrcts{x}} = 1+\frac{\overline o\rndBrcts{g\rndBrcts{x}}}{g\rndBrcts{x}}$ и поэтому $\lim\limits_{x \to x_0} \frac{f\rndBrcts{x}}{g\rndBrcts{x}} = 1.$

Используя эту теорему, набор эквивалентных функций, выписанный нами ранее, можно переписать в следующем виде (всюду $x \to 0$):
$$
\sin{x} = x+\overline o\rndBrcts{x}, \\
\tg{x} = x+\overline o\rndBrcts{x}, \\
1-\cos{x} = \frac{1}{2}x^2+\overline o\rndBrcts{x^2}, \\
\arcsin{x}= x+\overline o\rndBrcts{x}, \\
\arctg{x} = x+\overline o\rndBrcts{x},\\
a^x-1 = x \ln{a}+\overline o\rndBrcts{x}, \\
\log_a{\rndBrcts{1+x}} = \frac{x}{\ln{a}} + \overline o\rndBrcts{x}, \\
\rndBrcts{1+x}^\alpha-1 = \alpha \cdot x + \overline o\rndBrcts{x}.
$$

С помощью этой таблицы можно вычислять пределы. Покажем это на примерах.

Пример 1.$$\lim\limits_{x \to 0}\frac{e^x-\sqrt[3]{1+x}}{2 \arctg{x}-\arcsin{x}} = \lim\limits_{x \to 0}\frac{e^x-1-\rndBrcts{\sqrt[3]{1+x}-1}}{2 \arctg{x}-\arcsin{x}} = \\ = \lim\limits_{x \to 0}\frac{x+\overline o\rndBrcts{x}-\rndBrcts{\frac{1}{3}x+\overline o\rndBrcts{x}}}{2\rndBrcts{x+\overline o\rndBrcts{x}}-x+\overline o\rndBrcts{x}} = \lim\limits_{x \to 0}\frac{\frac{2}{3}x+\overline o\rndBrcts{x}}{x+\overline o\rndBrcts{x}} = \\ = \lim\limits_{x \to 0}\frac{\frac{2}{3}+\frac{\overline o\rndBrcts{x}}{x}}{1+\frac{\overline o\rndBrcts{x}}{x}} = \frac{2}{3}$$

Пример 2. Раскрытие неопределенности $\left [ 1^\infty \right ].$ Пусть $\alpha\rndBrcts{x} \to 0 \rndBrcts{\alpha\rndBrcts{x} \neq 0}, \ \beta\rndBrcts{x} \to \infty.$ Тогда, в силу непрерывности показательной функции,
$$\lim\limits_{x \to x_0}\rndBrcts{1+\alpha\rndBrcts{x}}^{\beta\rndBrcts{x}} = \lim\limits_{x \to x_0}e^{\beta\rndBrcts{x}\ln \rndBrcts{{1+\alpha\rndBrcts{x}}}} = e^{\lim\limits_{x \to x_0}\beta\rndBrcts{x}\rndBrcts{\alpha\rndBrcts{x}+\overline o\rndBrcts{\alpha\rndBrcts{x}}}}.$$ Если существует $\lim\limits_{x \to x_0}\alpha\rndBrcts{x}\cdot\beta\rndBrcts{x} = A,$ то
$$\lim\limits_{x \to x_0}\beta\rndBrcts{x}\rndBrcts{\alpha\rndBrcts{x}+\overline o\rndBrcts{\alpha\rndBrcts{x}}} = \\ =\lim\limits_{x \to x_0}\beta\rndBrcts{x}\cdot\alpha\rndBrcts{x}\cdot\frac{\alpha\rndBrcts{x}+\overline o\rndBrcts{\alpha\rndBrcts{x}}}{\alpha\rndBrcts{x}} = \\ = \lim\limits_{x \to x_0}\beta\rndBrcts{x}\cdot\alpha\rndBrcts{x}\cdot\rndBrcts{1+\frac{\overline o\rndBrcts{\alpha\rndBrcts{x}}}{\alpha\rndBrcts{x}}}= A.$$ Поэтому
$$\lim\limits_{x \to x_0}\rndBrcts{1+\alpha\rndBrcts{x}}^{\beta\rndBrcts{x}} = e^A.$$

Упражнение. Пусть $\lim\limits_{x \to x_0}\alpha\rndBrcts{x} = 0, \lim\limits_{x \to x_0}\beta\rndBrcts{x} = \infty.$ Доказать, что $\lim\limits_{x \to x_0}\rndBrcts{1+\alpha\rndBrcts{x}}^{\beta\rndBrcts{x}} = 0,$ если $\lim\limits_{x \to x_0}\alpha\rndBrcts{x}\cdot\beta\rndBrcts{x} = -\infty.$ Если же $\lim\limits_{x \to x_0}\alpha\rndBrcts{x}\cdot\beta\rndBrcts{x} = +\infty,$ то $\lim\limits_{x \to x_0}\rndBrcts{1+\alpha\rndBrcts{x}}^{\beta\rndBrcts{x}} = +\infty.$

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

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

  1. Найти предел $\lim\limits_{x \to 1}\displaystyle\frac{\rndBrcts{x^{2018}-2x+1} \rndBrcts{e^{x-1}-1}}{\rndBrcts{x-1}\sin{ \rndBrcts{x-1}}}.$
    Решение

    $\lim\limits_{x \to 1}\displaystyle\frac{\rndBrcts{x^{2018}-2x+1} \rndBrcts{e^{x-1}-1}}{\rndBrcts{x-1}\sin{ \rndBrcts{x-1}}} = \\
    = \left[
    \begin{gathered}
    \text{При }x \to 1\\
    e^{x-1}-1 \sim x-1\\
    \sin{\rndBrcts{x-1}} \sim x-1\\
    \end{gathered}
    \right ] = \\
    = \lim\limits_{x \to 1}\displaystyle\frac{\rndBrcts{x^{2018}-2x+1} \rndBrcts{x-1}}{\rndBrcts{x-1}\rndBrcts{x-1}} = \\
    = \lim\limits_{x \to 1}\displaystyle\frac{x^{2018}-2x+1}{x-1} = \\
    = \left[
    \begin{gathered}
    \rndBrcts{x^{2018}-2x+1} \bigg|_{x=1} = 0 \\
    \Leftrightarrow \\
    \rndBrcts{x^{2018}-2x+1} \vdots \rndBrcts{x-1}\\
    \text{Разделим многочлен} \rndBrcts{x^{2018}-2x+1} \\
    \text{ на двучлен } \rndBrcts{x-1}\\
    \text{при помощи схемы Горнера:}\\
    \ \ \ 1 \ 0 \ 0 \ 0 \ \ldots \ 0 \ -2 \ 1\\
    1 \ 1 \ 1 \ 1 \ 1 \ \ldots \ 1 \ -1 \ 0\\
    \end{gathered}
    \right ] = \\
    = \lim\limits_{x \to 1}\frac{\rndBrcts{x-1}\rndBrcts{x^{2017}+x^{2016}\ldots+x^2+x-1}}{\rndBrcts{x-1}} = \\ = \lim\limits_{x \to 1}\rndBrcts{x^{2017}+x^{2016}+\ldots+x^2+x-1} = 2016$

  2. Найти предел $\lim\limits_{x \to +\infty} \rndBrcts{\cos{\frac{1}{\sqrt{x}}}}^x.$
    Решение

    $\lim\limits_{x \to +\infty} \rndBrcts{\cos{\frac{1}{\sqrt{x}}}}^x = \lim\limits_{x \to +\infty}e^{x \ln{\cos{\frac{1}{\sqrt{x}}}}} =
    e^{\lim\limits_{x \to +\infty}x \ln{\cos{\frac{1}{\sqrt{x}}}}} = \\ =
    \left[
    \begin{gathered}
    \lim\limits_{x \to +\infty}x \ln{\cos{\frac{1}{\sqrt{x}}}} = \\ = \lim\limits_{x \to +\infty}x \ln{\rndBrcts{1+\rndBrcts{ \cos{\frac{1}{\sqrt{x}}}-1}}} = \\
    = \left[
    \begin{gathered}
    \text{При } x \to +\infty \\
    \ln{\rndBrcts{1 + \rndBrcts{ \cos{\frac{1}{\sqrt{x}}}-1}}} \sim \\ \sim \cos{\frac{1}{\sqrt{x}}}-1 = \\ = -2{\sin^2{\frac{1}{2\sqrt{x}}}} \sim \\ \sim -2 \cdot {\rndBrcts{\frac{1}{2\sqrt{x}}}}^2 = -\frac{1}{2x}
    \end{gathered}
    \right ] = \\
    = \lim\limits_{x \to +\infty}\frac{-x}{2x} = -\frac{1}{2}
    \end{gathered}
    \right ]
    = e^{-\frac{1}{2}}$

  3. Найти предел $\lim\limits_{x \to 0} \displaystyle\frac{\arctg{\rndBrcts{\rndBrcts{1+x}^3-1}}+2\tg{x}}{e^x-1+3\ln{\rndBrcts{1+x}}}.$
    Решение

    $\lim\limits_{x \to 0} \displaystyle\frac{\arctg{\rndBrcts{\rndBrcts{1+x}^3-1}}+2\tg{x}}{e^x-1+3\ln{\rndBrcts{1+x}}} = \\
    = \left[
    \begin{gathered}
    \text{При }x \to 0\\
    \arctg{\rndBrcts{\rndBrcts{1+x}^3-1}} = \\ =\rndBrcts{1+x}^3-1 + \overline o\rndBrcts{\rndBrcts{1+x}^3-1} = \\
    =\rndBrcts{1+x}^3-1+\overline o\rndBrcts{x} = \\ = 3x+\overline o\rndBrcts{x}+\overline o\rndBrcts{x}=3x+\overline o\rndBrcts{x}\\
    \tg{x} = x+\overline o\rndBrcts{x}\\
    e^x-1 = x+\overline o\rndBrcts{x}\\
    \ln{\rndBrcts{1+x}} = x+\overline o\rndBrcts{x}
    \end{gathered}
    \right ] = \\
    =\lim\limits_{x \to 0}\displaystyle\frac{3x+\overline o\rndBrcts{x}+2x+\overline o\rndBrcts{x}}{x+\overline o\rndBrcts{x}+3 \rndBrcts{x+\overline o\rndBrcts{x}}} =
    \lim\limits_{x \to 0}\displaystyle\frac{5x+\overline o\rndBrcts{x}}{4x+\overline o\rndBrcts{x}} = \\ =\lim\limits_{x \to 0}\displaystyle\frac{5+\frac{\overline o\rndBrcts{x}}{x}}{4+\frac{\overline o\rndBrcts{x}}{x}}=\frac{5}{4}$

    Здесь воспользовались простой леммой: если при $x\to x_0 \ f\rndBrcts{x} \sim g\rndBrcts{x},$ то $\overline o\rndBrcts{f\rndBrcts{x}} = \overline o\rndBrcts{g\rndBrcts{x}}.$ Читателю в качестве упражнения предлагается доказать ее самостоятельно.

  4. Найти предел $\lim\limits_{x \to a} \displaystyle\frac{a^x-x^a}{x-a}, \ a \gt 0.$
    Решение

    $\lim\limits_{x \to a} \displaystyle\frac{a^x-x^a}{x-a} = \lim\limits_{x \to a} \displaystyle\frac{\rndBrcts{a^x-a^a}-\rndBrcts{x^a-a^a}}{x-a} = \\ = \lim\limits_{x \to a} \displaystyle\frac{a^a\rndBrcts{a^{x-a}-1}-a^a\rndBrcts{\rndBrcts{\frac{x}{a}}^a-1}}{x-a} = \\
    = \lim\limits_{x \to a}\displaystyle\frac{a^a\rndBrcts{a^{x-a}-1}-a^a\rndBrcts{\rndBrcts{1+\rndBrcts{\displaystyle\frac{x}{a}-1}}^a-1}}{x-a} = \\
    = \left[
    \begin{gathered}
    \text{При }x \to a \\
    a^{x-a}-1 = \rndBrcts{x-a}\ln{a}+\overline o\rndBrcts{x-a} \\
    \rndBrcts{1+\rndBrcts{\frac{x}{a}-1}}^a-1 = \\
    = a\rndBrcts{\frac{x}{a}-1}+\overline o\rndBrcts{\frac{x}{a}-1} = \\
    = \rndBrcts{x-a}+\overline o\rndBrcts{x-a}
    \end{gathered}
    \right ] = \\
    = \lim\limits_{x \to a} \frac{a^a\rndBrcts{\rndBrcts{x-a}\ln{a}+\overline o\rndBrcts{x-a}}-a^a\rndBrcts{\rndBrcts{x-a}+\overline o\rndBrcts{x-a}}}{x-a} = \\ = \lim\limits_{x \to a} \displaystyle\frac{a^a\rndBrcts{x-a}\rndBrcts{\ln{a}-1}+\overline o\rndBrcts{x-a}}{x-a} = \\
    = a^a\rndBrcts{\ln{a}-1}$

  5. Доказать, что $\forall n \in \mathbb{N} \ \underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{n \text{ корней}} \sim \sqrt{x}$ при $x \to +\infty$
    Решение

    Докажем утверждение методом математической индукции по $n$ — количеству корней.

    База индукции. При $n = 1$ имеем $\sqrt{x} \sim \sqrt{x},$ что, очевидно, верно в силу рефлексивности бинарного отношения эквивалентности функций.

    Предположение индукции. Пусть утверждение верно для всех $n \leqslant k, \ k \geqslant 1.$

    Шаг индукции. Докажем теперь утверждение для $n = k+1.$ Покажем, что $\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k+1 \text{ корень}} \sim \sqrt{x},$ что равносильно тому, что $\lim\limits_{x \to +\infty}\displaystyle\frac{\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k+1 \text{ корень}}}{\sqrt{x}}=1.$ Имеем: $\displaystyle\frac{\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k+1 \text{ корень}}}{\sqrt{x}} = \displaystyle\frac{\sqrt{x}\sqrt{1+\frac{{\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k \text{ корней}}}}{x}}}{\sqrt{x}} = \\ = \displaystyle\sqrt{1+\frac{{\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k \text{ корней}}}}{x}}.$
    По индуктивному предположению $\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k \text{ корней}} \sim \sqrt{x},$ что по критерию эквивалентности означает, что $\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k \text{ корней}} = \sqrt{x}+\overline{o}\rndBrcts{\sqrt{x}} = \overline{o}\rndBrcts{x}.$ Тогда переходя к пределу имеем: $\lim\limits_{x \to +\infty}\displaystyle\frac{\underbrace{\sqrt{x+\sqrt{x+\ldots+\sqrt{x}}}}_{k+1 \text{ корень}}}{\sqrt{x}} = \lim\limits_{x \to +\infty}\sqrt{1+\frac{\overline{o}\rndBrcts{x}}{x}} = 1.$

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

  1. Тер-Крикоров А. М., Шабунин М.И. Курс математического анализа: Учеб. пособие для вузов. – 3-е изд., исправл. / А. М. Тер-Крикоров, М.И. Шабунин. – Москва: ФИЗМАТЛИТ, 2001. – 672 с. — С. 116-121.
  2. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. — 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. — 703 с. — С. 253-271.
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 1 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1962. — 607 с. — С. 136-146.

Эквивалентные функции и символы Ландау

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