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

Определение

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

Теорема Кантора

Если функция $ f $ определена и непрерывна на сегменте $ [a,b] $, то она равномерно непрерывна на $ [a,b] $.

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

Проведем доказательство методом от противного. Пусть $ f $ не равномерно непрерывна на $ [a,b] $, тогда

$ \exists \varepsilon > 0,~ \forall \delta > 0 $ $ \exists~ x’,~x»~ \epsilon~[a,b] $, $ |x’-x»| < \delta $ : $ |f(x’) — f(x»)| \geq \varepsilon $.

Выберем последовательность $ \delta_n = \frac{1}{n} $, $ n = \overline{1,+\infty} $. Согласно допущению, найдутся такие последовательности $ \left\{x’_n \right\}_{n=1}^\infty $, $ \left\{x»_n \right\}_{n=1}^\infty $, что:

$ x’_n,~x»_n~\epsilon~[a,b] $, $ |x’_n-x»_n|<\delta_n = \frac{1}{n} $ : $ |x’-x»| < \delta $ : $ |f(x’_n) — f(x»_n)| \geq \varepsilon $.

Последовательность $ \left\{x’_n \right\}_{n=1}^\infty $ ограничена и поэтому имеет подпоследовательность $ \left\{x’_{n_{i}} \right\}_{i=1}^\infty $, которая сходится к элементу $ x_0 $, причем что $ x_0~\epsilon~[a,b] $. Тогда для подпоследовательности $ \left\{x»_{n_{i}} \right\}_{n=1}^\infty $ $ x_0~\epsilon~[a,b] $ так же является пределом.

По условию теоремы $ f $ — непрерывна на $ [a,b] $, поэтому

$ \lim\limits_{i\rightarrow \infty} f(x’_{n_{i}}) = f(x_0) = \lim\limits_{i\rightarrow \infty} f(x»_{n_{i}}) $.

Это противоречит тому, что $ |f(x’_{n_{i}}-f(x»_{n_{i}})| \geq \varepsilon > 0 $, $ \forall i = \overline{1,+\infty}$.

Это противоречие и доказывает теорему.

$ \blacksquare $

Решим таким же методом, каким было проведено доказательство теоремы, пример.

Спойлер

Доказать, что ограниченная и непрерывная функция $ f(x)=\sin{\frac{\pi}{x}} $ не является равномерно непрерывной на $ (0,1) $.

$ f(x) $ — ограничена и непрерывна. Тогда $ \exists \varepsilon > 0,~ \forall \delta > 0 $ $ \exists~ x’,~x»~ \epsilon~(0,1) $ $ |x’-x»| < \delta $: $ |f(x’) — f(x»)| \geq \varepsilon $. Выберем такие подпоследовательности $ x’_n = \frac{1}{n},~x»_n = \frac{2}{2n-1} $.

$ |f(x’) — f(x»)| $ $ = $ $ |\sin{\pi n} — \sin{\frac{(2n-1)\pi}{2}}| = 1 $.
$ |x’ — x»| = |\frac{1}{n} — \frac{2}{2n-1} $ $ = $ $ |\frac{2n-1-2n}{n(2n-1)}| $ $ = $ $ \frac{1}{n(2n-1)} $ $ \rightarrow 0 $.

$ \exists \varepsilon = 1 ~ \forall \delta $ можно выделить такие подпоследовательности $ x’_n=\frac{1}{n},~x»_n = \frac{2}{2n-1} $ $ |x’_n-x»_n| < \frac{1}{n} $.

$ n > \frac{1}{\delta} $: $ |f(x’_n)-f(x»_n)| = 1 \geq \varepsilon $. Следовательно, функция не является равномерно непрерывной на $ (0,1) $.

[свернуть]

Список использованной литературы:

Равномерная непрерывность

Определение

Пусть функция $ f $ определена на $ [a,b] $. Тогда $ f $ называется равномерно непрерывной, если $ \forall~\varepsilon>0 $ $ \exists~\delta=\delta(\varepsilon)~>0\ $ такие, что $ \forall x_1,~x_2~\epsilon~[a,b] $, $ |x_1 — x_2| < \delta $, выполняется неравенство $ | f(x_1) — f(x_2) | < \varepsilon $.

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

Рассмотрим некоторые примеры.

Спойлер

  1. Показать, что равномерная функция $ f(x)=\frac{1}{x} $ на $ (0,1) $ не является равномерно непрерывной.
    $ \forall \varepsilon > 0 $ $ \exists \delta > 0 $, что $ |\frac{1}{n} — \frac{1}{n_0}| < \varepsilon $ $ \forall~n $, что $ |x-x_0| < \delta $.
    $ |\frac{1}{n}-\frac{1}{n_0}|<\varepsilon $ $ \Rightarrow $ $ \frac{1}{n}-\varepsilon < \frac{1}{n} < \frac{1}{n_0} + \varepsilon $ $ \Rightarrow \frac{n_0}{1+\varepsilon n_0} < n < \frac{n_0}{1-\varepsilon n_0} $ $ \Rightarrow $ $ n_o — \frac{\varepsilon n^2_0}{1+\varepsilon n_0} < n < n_0 + \frac{\varepsilon n^2_0}{1-\varepsilon n_0} $ $ \rightarrow 0 $, $ n \rightarrow \infty $.
    Это значит, что $ |x-x_0| $ может быть меньше заданного положительного числа, но какое бы мы не взяли положительное $ \delta $, мы можем приближать $ n_0 $ к $ 0 $ так близко, что $ |\frac{1}{n}-\frac{1}{n_0}| > \varepsilon $, однако $ |n — n_0| < \delta $. Следовательно, функция $ f(x)=\frac{1}{x} $ является непрерывной, но не равномерно непрерывной на $ (0,1) $.

  2. Исследовать на равномерную непрерывность функцию $ f(x) = \frac{x}{4-x^2} $ на отрезке $ [-1,1] $.

    $ |f(x_1) — f(x_2)| $ $ = $ $ |\frac{x_1}{4-x_1^2} — \frac{x_2}{4-x_2^2}| $ $ = $ $ |\frac{4+x_1x_2}{(4-x_1^2)(4-x_2^2)}| \cdot |x_1-x_2| $.

    $ |\frac{4+x_1x_2}{(4-x_1^2)(4-x_2^2)}| < \frac{4+1}{3 \cdot 3} $ $ = \frac{5}{9} < 1 $.

    Зафиксируем произвольное $ \varepsilon > 0 $ и положим $ \delta = \varepsilon $.

    Тогда $ |x_1 — x_2| < \delta$, $ \forall x_1,~x_2 $ $ (x_1,~x_2~\epsilon ~ [-1,1]) $ $ | f(x_1) — f(x_2) | < \varepsilon $.

    Следовательно, функция $ f(x) $ на $ [-1,1] $ равномерно непрерывна.

  3. Доказать, что функция $ f(x)=\sqrt{x} $ равномерно непрерывна на $ [1,+\infty] $.

    По теореме Лагранжа $ \forall x_1\geq 1 $ и $ \forall x_2\geq 1 $

    $ |f(x_2)-f(x_1)| $ $ = $ $ |f(\xi)||x_2-x_1| $ $ = $ $ \frac{1}{2\sqrt\xi)}|x_2-x_1|<\frac{1}{2}|x_2-x_1| $

    Если для $ \varepsilon>0 $ выбрать любое $ \delta $, $ 0<\delta\leq2\varepsilon $, то при $ |x_2-x_1|<\delta $ выполняется $ ~ $ $ |f(x_2)-f(x_1)|<\varepsilon $, иначе говоря, $ f(x)=\sqrt{x} $ является равномерно непрерывной на $ [1,+\infty] $.

[свернуть]

Список использованной литературы:

Вычисление объема тела вращения.

Вычисление объема тела вращения

Пусть [latex]M[/latex] — некоторая плоская фигура. Тело вращения мы можем получить 2 способами:

  • вращением [latex]M[/latex] вокруг оси абсцисс([latex]OX[/latex]);
  • вращением [latex]M[/latex] вокруг оси ординат ([latex]OY[/latex]).

Примеры

Пример 1

Пусть [latex]M[/latex] — тело вращения полученная вращением фигуры [latex]T[/latex], образованной линиями [latex]y=x^2-4x+2[/latex] и [latex]y=0[/latex], вокруг оси [latex]OX[/latex].
Первым делом начертим график:
svg1113
Искомая фигура [latex]T[/latex] на графике заштрихована.
Отрезок на котором задана фигура равен [latex](2-\sqrt{2};2-\sqrt{2})[/latex]
Объем тела вращения равен:,
[latex]V=\pi\int\limits_{2-\sqrt{2}}^{2+\sqrt{2}} {(x^2-4x+2)}^2 dx=[/latex] [latex]\pi\int\limits_{2-\sqrt{2}}^{2+\sqrt{2}} (x^4-8x^3+20x^2-16x+4) dx=[/latex] [latex]\pi (\frac{x^5}{5}-2x^4+\frac{20x^3}{3}-8x^2+4x){|}_{2-\sqrt{2}}^{2+\sqrt{2}}=[/latex] [latex]\frac{64\sqrt{2}\pi}{15}[/latex]

Пример 2

Пусть [latex]M[/latex] — тело вращения полученная вращением фигуры [latex]T[/latex], образованной линиями [latex]y=x^2-4x+2[/latex] и [latex]y=0[/latex], вокруг оси [latex]OX[/latex].
Hачертим график:

Предел функции по множеству


Возьмём произвольные множества $X$, $Y$. Отображением $F$ из $X$ в $Y$ называется соответствие, которое каждому $x\in X$ сопоставляет единственный элемент $y \in Y$.

  • Множество $X$ — область определения.
  • Множество всех $y\in Y$ — область значения. Надо рассмотреть функции $f$, определённые на некоторых множествах $E \subset \mathbb{R}^{n}$ со значениями в ${R}^{m}$. Такие функции называются векторными функциями многих переменных. Значениями функции $f$ являются $m$-мерные векторы. Функции такого вида также будем называть отображениями.
    Функция значения которой являются действительные числа наз. действительной.Функция $f$: $E \mapsto \mathbb{R} , E \subset \mathbb{R}^{n}$.Пусть $f$: $E \mapsto \mathbb{R}^{m} , m \geq 2 $ где, $E \subset \mathbb{R}^{n}$. Тогда для любого фиксированного $x\in E$ с значением $f(x)$ есть $m$ — мерный вектор, который мы можем записать в таком виде:$f(x) = (f^{1}(x),…,f^{m}(x)),$ где
    $f^{i}(x)$ — действительный числа(координаты вектора $f(x)$.

    Поэтому следует, что мы получаем $m$ действительных функций на множестве $E: f^{i}: E \mapsto \mathbb{R}$.
    $f = (f^{1},…,f^{m}),$
    $f^{i}$ — называют компонентами векторной функции $f$.

    Предел функции

    Дано множество $E \subset \mathbb{R}^{n}$, $a$ — предельная точка множества $E$ и функция $f$: $E \mapsto \mathbb{R}^{m}$.
    Точка $b\in \mathbb{R}^{m} $ называется пределом функции $f$ в точке по множеству $E$, если для любого $\varepsilon > 0$ найдётся такое $\delta > 0$, что для всех $x \in E$, отличных от точки $a$ и удовлетворяющих условию $0 < \left | x-a \right | < \delta$ , справедливо неравенство $\left | f(x)- b \right | < \varepsilon$. В этом случае пишут

    $b = \lim\limits_{x \to a, x \in E } {f(x)}$

    и говорят, что $f(x)$ стремится к $b$, проходя множество $E$.

    Теорема

    Допустим функция $f$: $E \mapsto \mathbb{R}^{m}$ где, $E \subset \mathbb{R}^{n}$ и $a$ — предельная точка множества $E$. Чтобы точка $b\in\mathbb{R}^{m}$ являлась пределом функции $f$ в точке $a$ по множеству $E$ , необходимо и достаточно, чтобы для любой сходящейся к $a$ последовательности $\left \{ x_{\kappa } \right \}$ точек из $E$, отличных от $a$, было выполнено равенство $\lim\limits_{\kappa \to \infty} f(x_\kappa ) = b$.

    Необходимость:

    Пусть $\lim\limits_{x \to a, x \in E} f(x) = b$ и пусть $x_\kappa \in E,x_\kappa \neq a, \lim\limits_{\kappa \to \infty} x_\kappa = a $, то есть фиксируем некоторую последовательность $0 $<$ \left | x — a \right | $<$ \delta $ . Докажем, что $\lim\limits_{\kappa \to \infty} f(x_\kappa) = b$. Зададим $\varepsilon > 0$. Тогда, по определению предела функции , найдётся такое $\delta > 0$, что для всех $x \in E $, удовлетворяющих условию $ 0 $<$ \left | x — a \right | < \delta $ справедливо неравенство $\left | f(x) — b\right | < \varepsilon $, так как $ x_{\kappa }\rightarrow a$ и $ x_{\kappa } \neq a $, то найдётся такой номер $N$, что при любом $\kappa \geq N$ будет $0<\left | x_{\kappa}-a \right |<\delta$.
    Поэтому для $ \kappa \geq N$ выполнено неравенство $ \left | f(x_{\kappa}) — b\right | < \varepsilon $. Это означает,что $\lim\limits_{\kappa \to \infty} f(x_\kappa) = b.$

    Достаточность:

    Сделаем предположение,что предел функции $f$ в точке $a$ либо не существует,либо существует,но не равен $b$. Тогда найдется такое $ \varepsilon_{0} > 0 $ , что для любого $ \delta > 0 $ найдется точка $ x’ \in E$ для котoрой, $\left | x’-a \right | < \delta $, но $\left | f(x’) — b\right | \geq \varepsilon$. Пологая $\delta =\frac{1}{\kappa}$, построим последовательность точек$x’_{\kappa}$, для которых $ 0 $<$ \left | x’_{\kappa } — a \right | $<$ \frac{1}{\kappa } $, но $\left |f(x’_{\kappa }) — b \right | \geq \varepsilon _{0} $, тогда получим, что $x’_{\kappa} \rightarrow a $, нo $f\left ( x’_{\kappa } \right )$ не стремится к $b$, а это противоречит нашему условию.

    Определим функцию по Гейне:

    Точка $b$ называется пределом функции $f$ в точке $a$, если для любой последовательности $\left \{ x_{\kappa } \right \}$ точек из $E$ ,сходящейся к $a$,  $x_{\kappa } \neq a$, соответствующая последовательность $\left \{ f(x_{\kappa }) \right \} $ значений функции сходится к точке $b$.

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

    Теорема(арифметические свойства): пусть функции $f,g$: $ E\rightarrow \mathbb{R}^{m}, E\subset \mathbb{R}^{n}$, $a$- прeдельная точка множества $E$ и

    $\lim\limits_{x\to a, x \in E}f(x) = b$, $\lim\limits_{x\to a, x \in E}g(x) = c$

    Тогда
    1)$\lim\limits_{x\to a, x \in E}(f+g)(x) = b+c$;

    2)$\lim\limits_{x\to a, x \in E}(f \cdot g)(x) = b \cdot c$;

    3)если $f,g$ — действительные функции и $g(x)\neq 0, c\neq 0$ ,то $\lim\limits_{x\to a, x \in E}\frac{f}{g}(x) = \frac{b}{c}.$

    Литература

  • В.И. Коляда и А. А. Кореновский » Курс лекций по математическому анализу.Часть 1.»- О.: «Астропринт» ,2009. — (с.250-252)
  • Конспект лекций Г.М. Вартаняна
  • предел функции на множестве

    Тест на закрепление материала на тему «Граница функции на множестве»