5.8.3 Выпуклые функции и точки перегиба

Определение. Определенная на интервале $I$ функция $f$ называется выпуклой (выпуклой вниз) на $I$, если для любых $x^\prime, x^{\prime\prime} \in I $ и любого числа $\lambda (0 < \lambda < 1)$ выполняется неравенство
$$f (\lambda x^\prime + (1− \lambda )x^{\prime\prime}) \leqslant \lambda f (x^\prime ) + (1− \lambda )f (x^{\prime\prime}).$$

С геометрической точки зрения смысл выпуклости состоит в том, что все точки дуги графика функции $y = f(x)$ расположены не выше хорды, соединяющей концы этой дуги. Действительно, отрезок, соединяющий точки $(x^\prime , f (x^\prime ))$ и $(x^{\prime\prime} , f (x^{\prime\prime})),$ имеет вид
$$l(x) = f (x^\prime) + \frac{f (x^{\prime\prime})− f (x^\prime )}{x^{\prime\prime}− x^\prime}(x− x^\prime ).$$
При $0 <  \lambda < 1$ точка $x = \lambda x^\prime + (1− \lambda)x^{\prime\prime}$ принадлежит интервалу с концами $x^\prime$ и $x^{\prime\prime}.$ При этом неравенство, определяющее понятие выпуклости, принимает такой вид: $f(x) \leqslant l(x).$
Обозначим $x = \lambda x^\prime + (1 − \lambda)x^{\prime\prime}.$ Тогда $  \lambda = \frac{x^{\prime\prime}−x}{x^{\prime\prime}− x^\prime }, 1− \lambda = \frac{x−x^\prime }{x^{\prime\prime}−x^\prime}.$ Поэтому определение выпуклости можно переписать в таком виде: функция $f$ называется выпуклой на интервале $I$, если для любых точек $x^\prime , x^{\prime\prime} \in I,$ таких, что $x^\prime < x^{\prime\prime}, $ и для любого $x \in [x^\prime , x^{\prime\prime}] $справедливо неравенство
$$f(x) \leqslant f (x^\prime ) \frac{x^{\prime\prime}− x}{x^{\prime\prime}− x^\prime}+ f (x^{\prime\prime}) \frac{x− x^\prime}{x^{\prime\prime}− x^\prime}.$$
Если в определении выпуклости нестрогое неравенство заменить строгим, то получим определение строгой выпуклости вниз. С геометрической точки зрения строгая выпуклость означает, что, кроме выпуклости, график функции не содержит линейных отрезков.

Пример 1. Функция $f(x) = x,$ очевидно, выпукла вниз на всей числовой прямой.

Пример 2. Пусть $f(x) = x^2.$ Выберем произвольные $x^\prime < x^{\prime\prime}.$ Тогда для $0 < \lambda < 1$ имеем
$$(\lambda x^\prime + (1− \lambda) x^{\prime\prime} )^2 = \lambda^2 {x^\prime}^2 + 2 \lambda (1− \lambda )x^\prime x^{\prime\prime} + (1− \lambda)^2 {x^{\prime\prime}}^2 =$$
$$= \lambda {x^\prime}^2 +(1− \lambda){x^{\prime\prime}}^2 + {x^\prime}^2 ( \lambda^2− \lambda) +{x^{\prime\prime}}^2 [(1− \lambda)^2− (1− \lambda)] +2 \lambda (1− \lambda) x^\prime x^{\prime\prime} =$$

$$= \lambda {x^\prime}^2 + (1- \lambda ){x^{\prime\prime}}^2- [ \lambda (1- \lambda ) {x^{\prime}}^2 + \lambda (1- \lambda ) {x^{\prime\prime}}^2- 2 \lambda (1- \lambda ) x^\prime x^{\prime\prime} ] =$$

$$= \lambda {x^\prime}^2 + (1- \lambda ) {x^{\prime\prime}}^2- \lambda ( 1- \lambda ) ( x^\prime- x^{\prime\prime} )^2 < \lambda {x^\prime}^2 + (1- \lambda) {x^{\prime\prime}}^2$$

Это означает, что функция $f(x) = x^2$ строго выпукла вниз на $(− \infty, + \infty).$

Определение. Заданная на интервале $I$ функция $f$ называется вогнутой (выпуклой вверх) на этом интервале, если для любых $x^\prime, x^{\prime\prime} \in I$ и для любого $ \lambda (0 < \lambda < 1) $ справедливо неравенство

$$f( \lambda x^\prime + (1 — \lambda) x^{\prime\prime}) \geqslant \lambda f(x^\prime) + (1 — \lambda) f(x^{\prime\prime}).$$

Ясно, что если $f$ выпукла вниз, то функция − $f$ выпукла вверх. Поэтому достаточно изучить свойства лишь выпуклых вниз (т. е. выпуклых) функций.

Теорема 1. Пусть функция $f$ выпукла на интервале $I.$ Тогда $f$ непрерывна на $I$ и в каждой точке имеет конечные левую и правую производные.

Зафиксируем точку $x_0 \in I.$ Из существования конечных односторонних производных $ f’_{-} (x_0) $ и $ f’_{+} (x_0)$ следует непрерывность $f$ в точке $x_0.$
Докажем, что существует $ f’_{+} (x_0).$ Пусть $0 < h_1 < h_2$ таковы, что $x_0 + h_2 \in I.$ Тогда, в силу выпуклости $f,$
$$ f (x_0 + h_1 ) \leqslant f (x_0) \frac{h_2- h_1}{h_2} + f (x_0 + h_2 ) \frac{h_1}{h_2},$$
откуда
$$ \frac{f (x_0 +h_1)- f (x_0)}{h_1} \leqslant \frac{f(x_0 + h_2)- f (x_0)}{h_2}$$ Это неравенство означает, что функция  $ \varphi(h) = \frac{f (x_0 + h)- f (x_0)}{h} $ убывает при убывании $h$ к нулю справа. Покажем, что $\varphi$ ограничена снизу. Пусть $ \delta > 0$  такое, что $x_0- \delta \in I.$ Тогда, в силу выпуклости $f,$ для любого $h > 0$ $$ f (x_0) \leqslant f ( x_0- \delta ) \frac{h}{h + \delta } + f (x_0 + h) \frac{\delta }{ h + \delta },$$ откуда
$$ \frac{f (x_0)- f (x_0- \delta)}{ \delta } \leqslant \frac{f (x_0 + h)- f (x_0)}{h} = \varphi (h),$$ т. е. для любого $h > 0$ справедливо неравенство $$ \varphi (h) \geqslant \frac{f (x_0)- f (x_0- \delta)}{ \delta }, $$ т. е. $\varphi (h)$ ограничена снизу.
Итак, функция $\varphi (h)$ при убывающем $h,$ стремящемся к нулю справа, убывает и ограничена снизу. Следовательно, существует $$ f’_{+} (x_0) = \lim_{h \to 0+} \frac{f (x_0 + h )- f (x_0)}{h} = \lim_{h \to 0+}{ \varphi (h) }.$$
Аналогично можно показать, что существует $f’_{-} (x_0).$

Замечание. Из выпуклости функции не следует ее дифференцируемость. Например, функция $f(x) = |x|$ выпукла, но не дифференцируема в нуле. Теорема 1 утверждает, что у выпуклой функции существуют лишь односторонние производные. Анализируя доказательство теоремы 1, легко установить, что для выпуклой вниз функции $f$ в каждой точке $x_0$ справедливо неравенство $f’_{+} (x_0) \geqslant f’_{-} (x_0).$ Можно доказать, что выпуклая функция дифференцируема всюду, за исключением, быть может, не более чем счетного множества точек.

Теорема 2. Пусть функция $f$ выпукла вниз на интервале $(a, b),$ где $−\infty < a < b < +\infty.$ Тогда $f$ ограничена снизу.

Предположим противное. Тогда найдется последовательность точек $x_n \in (a, b),$ таких, что $f (x_n) <−n.$ Так как $ \{x_n\}$ ограниченная последовательность, то можем выделить сходящуюся подпоследовательность $\{x_{n_k}\}.$ Пусть $x_0 = \lim_{k \to \infty}  x_{n_k}.$ Точка $x_0 \in [a, b]$ (она не обязана принадлежать $(a, b)$). Тогда либо слева от $x_0,$ либо справа от $x_0$ найдется бесконечно много элементов нашей подпоследовательности $\{x_{n_k}\},$ из которой можно выделить монотонную подпоследовательность. Обозначим ее через $\{y_k\}_{k \geqslant 0}.$ Рассмотрим случай, когда $\{y_k\}$ возрастает. Пусть $f (y_k) = −m_k \to −\infty$ при $k \to \infty.$ Обозначим $z_0 = \frac{1}{2} (y_0 + x_0) \in (a, b).$ Тогда, начиная с некоторого номера $N,$ будем иметь $z_0 \in [y_0, y_n]$ при $n \geqslant N.$
В силу выпуклости $f,$ для $n \geqslant N$ получаем $$f(z_0) \leqslant f (y_0) \frac{y_n- z_0}{y_n- y_0} + f (y_n) \frac{z_0- y_0}{y_n- y_0}.$$ Поскольку правая часть этого неравенства стремится к  $−\infty$ при $n \to \infty,$ то получаем противоречие с тем, что значение $f (z_0)$ конечно.

Замечание. Выпуклая вниз на ограниченном интервале функция не обязана быть ограниченной сверху. Например, функция $f(x) = \frac{1}{x}$ выпукла вниз на $(0, 1)$ и неограничена сверху на этом интервале.
Также выпуклая вниз на неограниченном интервале функция не обязана быть ограниченной снизу. Например, функция $f(x) = \ln \frac{1}{x}$ выпукла вниз на $(0, +\infty)$ и неограничена снизу.

Теорема 3 (критерий выпуклости дифференцируемой функции). Пусть функция $f$ дифференцируема на интервале $I.$ Для того чтобы $f$ была выпуклой вниз на $I,$ необходимо и достаточно, чтобы ее производная $f’$ была возрастающей на $I.$

Необходимость. Пусть $x_1 < x < x_2 .$ Тогда, как было показано при доказательстве теоремы 1, выпуклость функции $f$ равносильна такому неравенству: $$ \frac{f(x)- f(x_1)}{x — x_1} \leqslant \frac{f(x_2)- f(x)}{x_2 -x} \quad \quad (5.5)$$Устремляя $ x \to x_1 + 0,$получаем$$ f’ (x_1) = f’_{+} (x_1) = \lim_{x \to x_1 + 0} \frac{f(x)- f(x_1)}{x- x_1} \leqslant \frac{f(x_2) — f(x_1)}{x_2- x_1}.$$ С другой стороны, если устремим $x \to x_2 − 0,$ то получим $$ f’ (x_2) = f’_{-} (x_2) = \lim_{x \to x_2- 0} \frac{f (x_2)- f (x)}{x_2- x} \geqslant \frac{f (x_2) — f (x_1)}{x_2 — x_1}.$$ Из двух последних неравенств следует, что $$ f’ (x_1) \leqslant f’ (x_2).$$

Достаточность.  Пусть $x_1 < x < x_2.$ Так как выпуклость $f$ равносильна (5.5), то достаточно показать, что справедливо неравенство (5.5).
По теореме Лагранжа,$$ \frac{f (x)- f (x_1)}{x- x_1} = f'(\xi_1), \frac{f (x_2) — f (x)}{x_2- x} = f'(\xi_2), $$
где $x1 < \xi_1 < x < \xi_2 < x_2,$ т. е. $\xi_1 < \xi_2.$ Отсюда следует (5.5).$\quad \square $

Замечание. При доказательстве достаточности мы получили, что $\xi_1 < \xi_2.$ Если производная $f’$ строго возрастает на $I,$ то $f’ (\xi_1) < f’ (\xi_2),$ откуда следует

$$ \frac{f (x)- f (x_1)}{x- x_1} < \frac{f (x_2) — f (x)}{x_2- x}.$$Это означает, что функция $f$ выпукла строго. Справедливо также и обратное, т. е. из строгой выпуклости дифференцируемой функции следует, что ее производная $f’$ строго возрастает. Действительно, в силу доказанной теоремы 3, из строгой выпуклости $f,$ в силу теоремы Лагранжа, следует неравенство$$ f’ (x_1) \leqslant f’ (\xi_1) = \frac{f (x)- f (x_1)}{x- x_1} < \frac{f (x_2) — f (x)}{x_2- x} = f’ (\xi_2) \leqslant f'(x_2), $$где $x_1 < x < x_2$ – произвольные точки из $I,$ а точки $\xi_1 \in (x_1, x), \xi_2 \in (x, x_2).$ Отсюда следует, что $f’ (x_1) < f’ (x_2).$

Теорема 4 (критерий выпуклости дважды дифференцируемой функции). Пусть функция $f$ дважды дифференцируема на интервале $I.$ Для того чтобы $f$ была выпуклой вниз на $I,$ необходимо и достаточно, чтобы было выполнено неравенство $f^{\prime\prime} (x) \geqslant 0 (x \in I).$
Эта теорема мгновенно вытекает из теоремы 3 и критерия монотонности дифференцируемой функции, примененного к $f’$ .

Замечание. Если в условии теоремы 4 производная $f^{\prime\prime} > 0,$ то $f’$ строго возрастает, и поэтому, в силу замечания к теореме 3, функция $f$ строго выпукла на $I.$ Обратное, однако, неверно. Из строгой выпуклости $f$ не следует, что $f^{\prime\prime} > 0.$ Например, функция $f(x) = x^4$ строго выпукла на $(− \infty, + \infty),$ однако $f’ (x) = 4x^3 , f^{\prime\prime}(x) = 12x^2$ и $f^{\prime\prime}(0) = 0.$

Пример 1. Пусть $f(x) = x^\alpha (0 < x < +\infty).$ Тогда $ f’ (x) =  \alpha x ^{ \alpha−1} , f^{\prime\prime}(x) = \alpha (\alpha − 1) x^{\alpha −2}.$ Если $ \alpha \in (0, 1), $ то $ f^{\prime\prime}(x) < 0$ и $f$ вогнута (выпукла вверх). Если $ \alpha \in (− \infty, 0) \cup (1, + \infty),$ то $ f^{\prime\prime}(x) > 0 $ и $f$ выпукла вниз.

Пример 2. Для функции $f(x) = \sin x$ имеем $f’ (x) = \cos x, f^{\prime\prime}(x) =− \sin x.$ При $x \in (2k\pi,(2k + 1)\pi)$ имеем $f^{\prime\prime}(x) < 0,$ т. е. $f$ выпукла вверх, а при $x \in ((2k− 1)\pi, 2k\pi)$ имеем $f^{\prime\prime}(x) > 0,$ т. е. $f$ выпукла вниз.

Точки перегиба. Точкой перегиба называется такая точка графика функции $y = f(x),$ которая разделяет его выпуклую и вогнутую части.

Определение. Пусть функция $f$ определена на интервале $(a, b)$ и точка $x_0 \in (a, b).$ Если на $(a, x_0)$ функция $f$ выпукла, а на $(x_0, b)$ – вогнута, или на $(a, x_0) f$ вогнута, а на $(x_0, b)$ – выпукла, то точка $(x_0, f (x_0))$ называется точкой перегиба функции $f.$

Если существует $f^{\prime\prime} (x_0)$ и $(x_0, f (x_0))$ – точка перегиба, то $f^{\prime\prime} (x_0) = 0.$ Действительно, существование $f^{\prime\prime} (x_0)$ предполагает существование $f’ (x)$ в некоторой окрестности точки $x_0.$ Если при переходе через точку $x_0$ функция $f$ меняет характер выпуклости, то, согласно теореме 3, при переходе через точку $x_0$ производная $f’ (x)$ меняет характер монотонности. Значит, в точке $x_0$ производная $f’ (x)$ имеет экстремум, откуда, в силу теоремы Ферма, $f^{\prime\prime} (x_0) = 0.$

Однако условие $f^{\prime\prime} (x_0) = 0$ не означает, что $(x_0, f (x_0))$ – точка перегиба функции $f.$ Например, для функции $f(x) = x^4$ имеем $f^{\prime\prime}(0) = 0,$ но в точке $(0, 0)$ перегиба нет.

Достаточным условием перегиба для дважды дифференцируемой функции является условие сохранения знака второй производной $f^{\prime\prime}$ слева от $x_0,$ справа от $x_0$ и его изменения при переходе через точку $x_0.$

Теорема 5. Пусть функция $f$ определена на интервале $I$ и точка $x_0 \in I.$ Пусть, далее, существует $f^{\prime\prime}(x) (x \in I), f^{\prime\prime} (x_0) = 0$ и $f^{\prime\prime}(x) \leqslant 0$ при $x < x_0$ и $f^{\prime\prime}(x) \geqslant 0$ при $x > x_0.$ Тогда $(x_0, f (x_0))$ – точка перегиба, и при переходе через точку $x_0$ функция меняет характер выпуклости с выпуклости вверх на выпуклость вниз.

Эта теорема является следствием теоремы 3.

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

Пример 1.
Найти интервалы, при которых кубическая функция $y = x^3$ выпукла вниз и выпукла вверх.

Решение

Построим график функции $y = x^3$ .

Найдем первую и вторые производные. $$f'(x) = ( x^3)’= 3x^2;$$ $$f^{\prime \prime}(x) = (3x^2)’ = 6x.$$ Очевидно, что в этом случае $f^{\prime \prime} < 0$ для $x<0$ и $f^{\prime \prime} > 0$ для $x>0.$ Поэтому на бесконечном интервале $( \infty; 0)$ функция строго выпукла вверх, на интервале $(0; + \infty)$ строго выпукла вниз.

[свернуть]

Пример 2.
Найти точки перегиба функции $f(x) = {e^{-x}}^2.$

Решение

Найдем первую производную. $$ f'(x) = -2x {e^{-x}}^2;$$Найдем вторую производную функции: $$f^{ \prime \prime} = -2{e^{-x}}^2 + 4x^4{e^{-x}}^2 = 4(x+ \frac{1}{\sqrt{2}})(x- \frac{1}{\sqrt{2}}){e^{-x}}^2.$$

Производная функции обращается в нуль в точках $x=- \frac{1}{\sqrt{2}}$ и $x=\frac{1}{\sqrt{2}}$ и при переходе через них меняется знак, значит эти точки являются точками перегиба.

[свернуть]

Пример 3. Найти точки перегиба функции $ f(x) = x^3- 3x^2+ x.$

Решение

Найдем первую производную функции: $$ f'(x) = (x^3- 3x^2+x)’ = 3x^2- 6x +1; $$ Найдем вторую производную функции: $$ f^{\prime\prime}(x) = (3x^2- 6x + 1)’ = 6x- 6; $$ Найдем нули второй производной: $$6x- 6 = 0  \Rightarrow 6x = 6 \Rightarrow x = 1$$ $x = 1$ — точка перегиба.

[свернуть]

Пример 4. Найти точки перегиба функции $f(x) = \arccos(x + 2).$

Решение

Найдем первую производную: $$ f'(x) = ( \arccos(x+2))’ =- \frac{1}{ \sqrt{1 — (x + 2)^2}};$$

Найдем вторую производную:

$$ f^{\prime\prime} (x) = \left(- \frac{1}{ \sqrt{1- (x + 2)^2)}}\right)’=$$
$$ = \frac{1}{2 \sqrt{(1 — ( x + 2)^2)^3}} (0- 2(x +2)(x + 2))’=$$

$$=-\frac{x+2}{\sqrt{(1-(x+2)^2)^3}} = 0. $$

Найдем значение второй производной в точке $x=0:$

$x =- 2$ — точка перегиба.

[свернуть]

Пример 5. Найти точки перегиба функции $ y = \frac{\ln(x)}{x}$.

Решение

Найдем первую производную:$$ y =\left( \frac{1}{x} \ln(x) \right)’ = \frac{(\ln(x))’x- \ln(x)(x)’}{x^2}=\frac{\frac{1}{x}x- \ln(x)1}{x^2}=$$

$$=\frac{\frac{1}{x}x \ln(x)}{x^2} =\frac{ \ln{x}- 1}{ \ln^2(x)}.$$

Найдем вторую производную:

$$f^(\prime\prime)(x)== \frac{ \frac{1}{x} \ln^2(x)-(\ln(x- 1)) \frac{2 \ln(x)}{x} }{ln^4(x)}=$$ $$= \frac{\ln(x)- 2 \ln(x)+2}{x ln^3{x}}=\frac{2 — \ln(x)}{x \ln^3(x)}=0.$$

$ x = e^2 \approx 7,4$ — точка перегиба.

[свернуть]

Литература

  1. Коляда В.И., Кореновский А. А. Курс лекций по математическому анализу.- Одесса : Астропринт , 2009. стр.149-154;
  2. Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. стр. 365-378
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 1 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, стр. 294-303.
  4. З. М. Лысенко. Лекции по математическому анализу.

Выпуклые функции и точки перегиба

Этот тест проверит ваши знания касательно темы «Выпуклые функции и точки перегиба»

5.1 Дифференцируемость и производная

$\DeclareMathOperator{\tg}{tg} \DeclareMathOperator{\sign}{sign} \DeclareMathOperator{\sgn}{sgn}$ Определение 1. Пусть функция $f$ определена на интервале $(a, b)$ и точка $x_0 ∈ (a, b).$ Если существует конечный предел $\displaystyle  \lim_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0}$, то он называется производной функции $f$ в точке $x_0$ и обозначается $f^\prime(x_0)$, или $\displaystyle \frac{df}{dx}(x_0),$ $Df(x_0).$

Определение 2. Пусть функция $f$ определена на интервале $(a, b)$ и точка $x_0 ∈ (a, b).$ Функцию $f$ будем называть дифференцируемой в точке $x_0,$ если существует такая постоянная $A$ (зависящая от $x_0$ и не зависящая от $x$), что справедливо равенство: $$f(x) − f (x_0) = A (x − x_0) + r(x), $$где $r(x) = \overline{o} (x − x_0) \: \: \: (x \to x_0).$

Короче определение дифференцируемости можно записать в следующем виде: $$f(x) − f (x_0) = A (x − x_0) + \overline{o} (x − x_0) \: \: \: (x \to x_0).$$
Покажем, что эти два определения эквивалентны в том смысле, что дифференцируемость функции равносильна существованию производной.

Теорема. Функция $f$ дифференцируема в точке $x_0 ∈ (a, b)$ тогда и только тогда, когда у $f$ существует производная в точке $x_0.$

Пусть $f$ дифференцируема в точке $x_0.$ Это означает, что $f(x) − f (x_0) = A (x − x_0) + \overline{o} (x − x_0),$ где $A$ не зависит от $x$. Отсюда получаем:
$$\displaystyle \frac{f(x)-f(x_0)}{x-x_0} = A+\frac{\overline{o} (x − x_0)}{x-x_0}.$$
Тогда, учитывая определение символа $\overline{o}$, имеем
$$\displaystyle \lim_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0}=A+\lim_{x\to x_0} \frac{\overline{o} (x − x_0)}{(x − x_0)} =A$$ т. е. существует $f^\prime(x_0) = A.$
Обратно, если существует $$\displaystyle \lim_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0} = f^\prime(x_0),$$ то $$ \displaystyle \frac{f(x)-f(x_0)}{x-x_0} + f^\prime(x_0) = r_1(x),$$ где $r_1(x) \to 0 (x \to x_0)$. Отсюда следует, что $$ f(x) — f(x_0) = f^\prime(x_0)(x-x_0)+r_1(x)(x-x_0).$$ Обозначим $r(x)=r_1(x)(x-x_0).$ Тогда $r(x)=\overline{o}(x-x_0),$ т. е. $$ f(x) − f (x_0) = f^\prime(x_0)(x-x_0)+\overline{o}(x-x_0) \: \: \: (x\to x_0), $$ а это и означает, что $f$ дифференцируема в точке $x_0$, причем $A= f^\prime(x_0).$

Итак, условие дифференцируемости равносильно наличию производной. Смысл дифференцируемости состоит в том, что в некоторой окрестности точки $x_0$ функция $f$ представима в виде линейной функции $l(x)= f (x_0)+f (x_0) f^\prime(x-x_0)$ приближенно с точностью до величины бесконечно малой более высокого порядка, чем $(x-x_0) $ при $x\to x_0.$

Связь между дифференцируемостью и непрерывностью устанавливает следующая

Теорема. Если функция $f$ дифференцируема в точке $x_0$, то она непрерывна в этой точке.

Дифференцируемость $f$ означает, что
$$ f(x) − f (x_0) = A(x_0)(x-x_0)+\overline{o}(x-x_0) \: \: \: (x\to x_0). $$
Отсюда следует, что $\displaystyle \lim_{x\to x_0} (f(x)-f(x_0)) = 0$, т. е. $\displaystyle \lim_{x\to x_0} f(x)=f(x_0)$, и тем самым теорема доказана.

Обратное утверждение неверно. Именно из непрерывности функции $f$ не следует ее дифференцируемость. Примером может служить функция $f(x)=|x|,$ непрерывная в точке $x_0 = 0$, для которой выражение $$\displaystyle \frac{f(x)-f(x_0)}{x-x_0} = \frac{|x|}{x} = \sign x $$ не имеет предела $x\to 0$ и, следовательно, функция $f$ не имеет производной в точке $x_0 = 0$. Значит, $ f$ не является дифференцируемой в нуле.

Итак, непрерывность – это необходимое, но не достаточное условие дифференцируемости. Другими словами, если функция разрывна в точке $x_0$, то она недифференцируема в этой точке. Обратное неверно.

С геометрической точки зрения производная $f^\prime(x_0)$ представляет собой тангенс угла наклона касательной к графику функции $y = f(x)$ в точке $M_0(x_0, f (x_0))$. При этом касательной к графику функции $f$ в точке $M_0$ называется предельное положение секущей $M_0M$ при стремлении точки $M (x, f(x))$ вдоль кривой $y = f(x)$ к точке $M_0$. В самом деле, если функция  $f$ дифференцируема в точке $x_0$, то при стремлении $M$ к $M_0$ вдоль кривой $y = f(x)$ секущая $M_0M$ имеет тангенс угла наклона, равный $$ \displaystyle \tg\alpha(x) = \frac{f(x)-f(x_0)}{x-x_0}, $$ и при $ x \rightarrow x_0 $ точка $M$ стремится к $M_0$ вдоль кривой $y = f(x)$. Так как $$\displaystyle  \frac{f(x)-f(x_0)}{x-x_0} \to f^\prime(x_0)  \: \: \: (x\to x_0), $$ то $\tg\alpha(x) \to f^\prime(x_0) $ при $x\to x_0$, т. е. секущая стремится занять некоторое предельное положение, тангенс угла наклона $\alpha_0$ которого равен $f^\prime(x_0)$.Отсюда получаем уравнение касательной к графику дифференцируемой в точке $x_0$ функции $y = f(x):$ $$k(x)=f(x_0)+f^\prime(x_0) (x-x_0).$$

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

  1. Найти производную $f(x) = \sin x $ в точке $x_0 = 0.$
    Решение

    Пример можно легко решить, пользуясь определением производной, а так же первым замечательным пределом:
    $ \displaystyle \lim_{x\to x_0} \frac{f(x)-f(x_0)}{x-x_0}= \lim_{x\to 0} \frac{\sin x — \sin 0}{x-0}=\lim_{x\to 0} \frac{\sin x }{x}=1.$

  2. Пусть $f(x) = x^{2}$ Тогда производная $f^\prime(x_0)$ равна?
    Решение

    $\displaystyle f^\prime(x_0) = \lim_{x\to x_0} \frac{x^2-x^2_0}{x-x_0} = \lim_{x\to x_0} \frac{(x-x_0)(x+x_0)}{x-x_0}=$
    $\displaystyle = \lim_{x\to x_0} (x+x_0) = 2x_0$

  3. Пусть $f(x) = \left|x \right |$ и если $x_0 \neq 0$ существует ли $f^\prime(x_0)$?
    Решение

    $f^\prime(x_0) = \sgn x_0$, где $\sgn$ обозначает функцию знака. А если $x_0 = 0$ $f^\prime_+(x_0)=1,$ $f^\prime_-(x_0)=-1,$ а следовательно $f^\prime(x_0)$ не существует.

  4. Найдите уравнение касательной к графику функции $y=e^{2x-3}$ в точке $x_0 = 5,$ а также угол наклона касательной в этой точке.
    Решение

    Известно, что уравнение касательной в точке имеет вид $l={f}\left(x_{0}\right)+{f}’\left(x_{0}\right)\left(x-x_{0}\right),$ причём ${f}’\left(x_{0}\right)=\mathrm{tg}\alpha,$ где $\alpha$ — угол наклона касательной.
    Находим значение касательной в точке 5, получаем ${f}^\prime\left(x\right)=2e^{2x-3},$ а в точке $x_{0}=5: \, {f}^\prime\left(5\right)=2e^{7} \Rightarrow$ $l = e^{7}+2e^{7}\left(x-5\right) =$
    $ -9e^{7}+2e^{7}x$, $\alpha = \mathrm{arctg}\left(2e^{7}\right).$

  5. Найдите по определению $\sin x.$ на множестве $\mathbb{R}$
    Решение

    Воспользуемся определением производной $(\sin x)^\prime:$
    $
    (\sin x)^\prime = \displaystyle \lim_{\Delta x\to 0} \frac{\sin(x+\Delta x)-\sin x}{\Delta x} = \\
    = \displaystyle \frac{2\sin \frac{\Delta x}{2}\cdot \cos(x+\frac{\Delta x}{2})}{\Delta x} = \\
    = \displaystyle \frac{\sin \frac{\Delta x}{2}}{\frac{\Delta x}{2}} \cdot \cos(x+\frac{\Delta x}{2})
    $
    Теперь сделаем подстановку $ \displaystyle \frac{\Delta x}{2} = t$ . При $\Delta x \to 0, $ $t \to 0.$ Применим первый замечательный предел:
    $ \displaystyle \lim_{\Delta x\to 0} \frac { \sin \frac{\Delta x}2}{\frac{\Delta x}2} = \lim_{t\to 0} \frac{\sin t}{t} = 1.$
    Сделаем такую же подстановку $\displaystyle \frac{\Delta x}{2} = t$ и используем свойство непрерывности:
    $\displaystyle \lim_{\Delta x\to 0} \left ( \cos x + \frac{\Delta x}{2} \right) = \lim_{t\to 0} \cos (x+t)= \cos x.$

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

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

Дифференцируемость и производная

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

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 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

См. также: