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

Определение

Если функция [latex]y=f(x)[/latex] определена в некоторой [latex]\delta[/latex]-окрестности точки [latex]x_{0}[/latex], а приращение [latex]\Delta y[/latex] функции [latex]y=f(x)[/latex] в точке [latex]x_{0}[/latex] представимо в виде:
$$\Delta y = A\Delta x + \Delta x \varepsilon (\Delta x),$$ где [latex]A=A(x_{0})[/latex] не зависит от [latex]\Delta x[/latex], а [latex]\varepsilon(x) \rightarrow 0[/latex] при [latex]\Delta x \rightarrow 0[/latex], то функция [latex]f[/latex] называется дифференцируемой в точке [latex]x_{0}[/latex], а произведение [latex]A\Delta x[/latex] называется её дифференциалом в точке [latex]x_{0}[/latex] и обозначается [latex]df(x_{0})[/latex] или $dy.$

Таким образом, [latex]\Delta y=dy+o(\Delta x)[/latex], при [latex]\Delta x \rightarrow 0[/latex], где [latex]dy=A\Delta x[/latex].

Теорема (Критерий дифференцируемости функции)

Для того, чтобы функция [latex]f[/latex] была дифференцируема в точке [latex]x_{0}[/latex] необходимо и достаточно, чтобы она имела производную в точке [latex]x_{0}[/latex]. При этом дифференциал функции и её производная связаны следующим равенством:
[latex]dy={f}’ (x^{0})\Delta x[/latex].

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

Необходимость
Если функция [latex]f(x)[/latex]−дифференцируема в точке [latex] x_{0} [/latex], то [latex]\exists A: \Delta f(x))=A+\Delta x\alpha (\Delta x)[/latex], где: [latex]\lim_{\Delta x\rightarrow 0}\alpha (\Delta x)=0[/latex].
Отсюда получаем, что [latex]\lim_{\Delta x\rightarrow 0}\frac{\Delta f(x)}{\Delta x}=\lim_{\Delta x\rightarrow 0}\frac{A}{\Delta x}+\frac{\Delta x\alpha (\Delta x)}{\Delta x}=[/latex][latex]=\lim_{\Delta x\rightarrow 0}A+\alpha (\Delta x)=A[/latex]. Отсюда [latex]\exists f{}'(x_{0})=A[/latex], откуда следут, что [latex]dy=f{}'(x_{0})\Delta x[/latex].

Достаточность
Если существует [latex] f{}'(x_{0})=\lim_{\Delta x\rightarrow 0}\frac{\Delta f(x)}{\Delta x} [/latex], то [latex] \frac{\Delta f(x)}{\Delta x}- f{}'(x_{0}) = \alpha (\Delta x) [/latex], где [latex] \lim_{\Delta x\rightarrow 0}\alpha (\Delta x)=0 [/latex]. Отсюда следует, что [latex] \Delta f(x)=f{}'(x_{0})\Delta x+\alpha (\Delta x)\Delta x [/latex]. Полученное равенство означает, что функция [latex] f(x) [/latex] — дифференцируема в точке [latex] x_{0} [/latex].  [latex]\square [/latex].

Замечание

Приращение [latex] \Delta x [/latex] часто обозначают символом [latex] dx [/latex] и называют дифференциалом независимого переменного. По-этому формулу [latex] dy={f}’ (x^{0})\Delta x [/latex] записывают в виде [latex] dy={f}’ (x^{0})dx [/latex].

Тест

Тест:

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

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

Тест на знание критерия дифференцируемости функции.

Таблица лучших: Критерий дифференцируемости функции

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

Дифференцируемость и арифметические операции

Если функции [latex]f[/latex] и [latex]g[/latex] дифференцируемы в точке [latex]x[/latex], то в этой точке также дифференцируемы следующие функции: [latex]\alpha f(x)\pm\beta g(x)[/latex], [latex]f(x)g(x)[/latex], [latex]\frac{f(x)}{g(x)}, (g(x) \neq 0)[/latex];

Причём:

  1. [latex]{[\alpha f(x) \pm \beta g(x)]}’ = \alpha {f}'(x) \pm \beta {g}'(x)[/latex]([latex]\alpha[/latex] и [latex]\beta[/latex] — некоторые константы);
  2. [latex]{[f(x)g(x)]}’ = {f}'(x)g(x) + f(x){g}'(x)[/latex];
  3. [latex]{[\frac {f(x)}{g(x)}]}’ =\frac{{f}'(x)g(x) — f(x){g}'(x)}{[g(x)]^2} (g(x) \neq 0)[/latex];

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

  1. Достаточно доказательства для случая [latex]y(x) = \alpha f(x) + \beta g(x);[/latex]
    [latex]y(x) = {\alpha f(x) + \beta g(x)} \Rightarrow\Delta y=[/latex]
    [latex]=y(x + \Delta x) — y(x) = \alpha f(x + \Delta x) + \beta g(x+\Delta x) — \alpha f(x) — \beta g(x)=[/latex]
    [latex]=\alpha f(x+\Delta x) -\alpha f(x)+\beta g(x+\Delta x) — \beta g(x) =[/latex]
    [latex]=\alpha \Delta f(x) + \beta \Delta g(x) \Rightarrow[/latex] [latex]\frac{\Delta y}{\Delta x} =[/latex] [latex]=\frac{\alpha\Delta f(x)+\beta \Delta g(x)}{\Delta x}=[/latex]
    [latex]\alpha \frac{\Delta f(x)}{\Delta x} +\beta \frac{\Delta g(x)}{\Delta x} \underset{propetiesoflimits}{\Rightarrow} \lim\limits_{\Delta x \to 0} \frac{\Delta y}{\Delta x} =[/latex] [latex]={y}'(x) = \lim\limits_{\Delta x \to 0} \alpha \frac{\Delta f(x)}{\Delta x} + \beta \frac{\Delta g(x)}{\Delta x} = \alpha{f}'(x)+\beta{g}'(x)[/latex]
    [latex]\Rightarrow[/latex] В общем случае: [latex]{[\alpha f(x) \pm \beta g(x)]}’ = \alpha {f}'(x) \pm \beta {g}'(x)[/latex];
  2. [latex]y(x)=f(x)g(x) \Rightarrow \Delta y = y(x + \Delta x) — y(x) =[/latex]
    [latex]= f(x + \Delta x)g(x + \Delta x) — f(x)g(x) = [f(x) + \Delta f(x)][g(x) + \Delta g(x)] — f(x)g(x) =[/latex]
    [latex]= \Delta f(x)g(x) + \Delta g(x)f(x) + \Delta f(x) \Delta g(x) \Rightarrow[/latex]
    [latex]\frac{\Delta y}{\Delta x} = \frac{\Delta f(x)}{\Delta x}g(x) + \frac{\Delta g(x)}{\Delta x}f(x) + \frac{\Delta f(x)}{\Delta x}\Delta g[/latex]
    При переходе к пределам получим следующее:
    [latex]\lim\limits_{\Delta x \to 0} \frac{\Delta y}{\Delta x} = {y}'(x) = {f}'(x)g(x)+f(x){g}'(x)+{f}'(x)0([/latex]в силу непрерывности дифференцируемой функции [latex]g(x), \lim\limits_{\Delta x \to 0} \Delta g(x)=0);[/latex]
    [latex]\Rightarrow {y}'(x)={f}'(x)g(x)+f(x){g}'(x)[/latex], что и требовалось доказать;
  3. [latex]y = \frac{f(x)}{g(x)}, (g(x) \neq 0)\Rightarrow[/latex]
    [latex]\Delta y = \frac{f(x+\Delta x)}{g(x + \Delta x)} — \frac{f(x)}{g(x)}=[/latex]
    [latex]= \frac{f(x) + \Delta f(x)}{g(x) + \Delta g(x)}- \frac{f(x)}{g(x)} =[/latex]
    [latex]\frac{\Delta f(x)g(x) + f(x)g(x) — f(x)g(x) — \Delta g(x)f(x)}{[g(x)]^2+\Delta g(x)\Delta g(x)}=[/latex]
    [latex]\frac{\Delta f(x)g(x) — \Delta g(x)f(x)}{[g(x)]^2+\Delta g(x)\Delta g(x)}[/latex]
    [latex]\Rightarrow \frac{\Delta y}{\Delta x} = \frac{\frac{\Delta f(x)g(x)}{\Delta x} — \frac{\Delta g(x)f(x)}{{\Delta x}}}{[g(x)]^2+[\Delta g(x)]^2}[/latex]
    Перейдя к пределам получим:
    [latex]\lim\limits_{\Delta x \to 0} \frac{\Delta y}{\Delta x} = {y}'(x) = \frac{{f}'(x)g(x) — {g}'(x)f(x)}{[g(x)]^2}[/latex], что и требовалось доказать.

Замечание: Из определения дифференциала и формул дифференцирования 1,2 и 3 следует, что:

  • [latex]d(\alpha f+\beta g)=\alpha df + \beta dg;[/latex]
    Другими словами оператор дифференцирования является линейным оператором.
  • [latex]d(fg) = gdf + fdg;[/latex]
  • [latex]d(\frac{f}{g}), g \neq 0 = \frac{gdf — fdg}{g^2};[/latex]

Примеры:

  • Условие: Найти производную функции [latex]f(x)=e^{3x}+\frac{4x}{x^{2}}[/latex]
    Решение:
    Найдём производную по 1-ому правилу: [latex]{(e^{3x}+\frac{4x}{x^{2})}}’=3e^{3x}+{(\frac{4x}{x^{2}})}'[/latex], теперь по 3-ему правилу:[latex]{(\frac{4x}{x^{2}})}’=\frac{4x^{2}-8x^{2}}{x^{4}}[/latex], итого получаем, что [latex]{(e^{3x}+\frac{4x}{x^{2})}}’=3e^{3x}-\frac{4x^{2}}{x^{4}}[/latex]

Тест:

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


Таблица лучших: Правила дифференцирования

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

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

  • Курс лекций по математическому анализу в двух частях Часть 1. В.И.Коляда, А.А.Кореновский стр. 111-112.
  • Лекции Зои Михайловны Лысенко.

Дифференцируемость сложной функции

Теорема (о дифференцировании сложной функции)

Если функции $latex z=f(y)$ и $latex y=\varphi(x)$ дифференцируемы соответственно в точках $latex y_0$ и $latex x_0$, где $latex y_0=\varphi(x_0)$, то $latex z=f(\varphi(x))$ — дифференцируема в точке $latex x_0$, причём $latex z'(x_0)=f'(y_0)\cdot \varphi'(x_0)=f'(\varphi(x_0)) \cdot \varphi'(x_0)$.

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

Т.к. функции $latex f$ и $latex \varphi$ непрерывны, то $latex z(x)=f(\varphi(x))$ — непрерывны в точке $latex x_0 \Rightarrow z$ определена в $latex u_\delta (x_0)$

$latex |\Delta x|<\delta$

$latex \Delta y=\varphi(x_0+\Delta x) — \varphi(x_0)$
$latex \Delta z=z(x_0+\Delta x)-z(x_0)$

$latex \Delta z=f(y)=f(\varphi(x))$
$latex \Delta z=f'(y_0) \cdot \Delta y + \Delta y \cdot \alpha (\Delta y)$, где $latex \lim\limits_{\Delta y \to 0} \alpha (\Delta y)=0$
$latex \frac{\Delta z}{\Delta x} = \lim\limits_{\Delta x \to 0} \frac{f'(y_0) \Delta y + \Delta y \cdot \alpha (\Delta y)}{\Delta x}=&s=2$
$latex =\lim\limits_{\Delta x \to 0}(f'(y_0)\cdot \underset{\underset{\varphi'(x_0)}{\downarrow}}{\underbrace{\frac{\Delta y}{\Delta x}}} + \underset{\underset{0}{\downarrow}}{\underbrace{\frac{\Delta y}{\Delta x} \cdot \alpha (\Delta x)}})=f'(y_0) \cdot \varphi'(x_0) &s=2$
Теорема доказана.

Читать далее «Дифференцируемость сложной функции»

Дифференцируемость обратной функции

Теорема (о дифференцируемости обратной функции)

Если $latex y=f(x)$ непрерывна и строго монотонна на $latex \Delta=[x_0-\delta;x_0+\delta] (\delta>0)$ и если $latex \exists f'(x_0) \neq 0 \Rightarrow x=\varphi(y)$ (обратное к $latex y=f(x)$) дифференцируемо в точке $latex y_0=f(x_0)$, причём $latex \varphi'(y_0)=\frac{1}{f'(x_0)}$

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

$latex x_0-\delta \rightarrow f(x_0-\delta)=\alpha$
$latex x_0+\delta \rightarrow f(x_0+\delta)=\beta$
По теореме об обратной функции функция $latex f$ имеет обратную $latex x=\varphi(y)$, $latex y\epsilon [\alpha;\beta]$, $latex \varphi(x)$ — строго монотонна и непрерывна.
$latex y'(y_0)=\lim\limits_{\Delta y \rightarrow 0}\frac{\Delta x}{\Delta y}= $
$latex \lim\limits_{\Delta y \rightarrow 0} \frac{1}{\frac{\Delta y}{\Delta x}}=\frac{1}{f'(x_0)}&s=2 $

Примеры

1) Доказать, что:

$latex (\arcsin x)’=\frac{1}{\sqrt{1-x^2}}, |x|<1&s=2$
y=arcsin(x), график
График функции $latex y=arcsinx$. Обратите внимание, что масштабы по осям координат отличаются.

Решение:

$latex y=\arcsin x, |y|<\frac{\pi}{2}$
$latex x=\sin y=\varphi(y)$
$latex \varphi'(y)=\cos y$
$latex \frac{dy}{dx}=\frac{1}{\frac{dx}{dy}}=\frac{1}{\cos y} = $
$latex \frac{1}{\sqrt{1-\sin^2 y}}=\frac{1}{\sqrt{1-x^2}}&s=2$

2) Доказать, что:

$latex ( \textrm{arctg} x)’ = \frac{1}{1+x^2}, x \epsilon \mathbb{R} &s=2$
y=arctg(x), график

Решение:

$latex y=\textrm{arctg} x$
$latex x=\textrm{tg} y=\varphi(y)$
$latex \varphi(y)=\frac{1}{\cos^2 y}&s=1$
$latex \frac{dy}{dx}=\frac{1}{\frac{dx}{dy}}=\frac{1}{\frac{1}{\cos^2 y}}= $
$latex \cos^2 y=\frac{1}{1+\textrm{tg}^2 y}=\frac{1}{1+x^2}&s=2$

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

Тест: дифференцируемость обратной функции

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


Спойлер

Таблица лучших: Тест: дифференцируемость обратной функции

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