Дифференцируемость функции в точке и существование частных производных

Дадим определение дифференцируемости функции в точке.
Определение. Функция $f \left( x \right) = f \left( x_1, \dots, x_n \right)$ называется дифференцируемой в точке $x^0 = \left( x_1^0, \dots, x_n^0 \right)$, если она определена в некоторой окрестности этой точки и существуют такие числа $A_1, \dots, A_n$, что $$f \left( x \right) — f \left( x^0 \right) = \sum\limits_{i = 1}^{n} A_i \left( x_i — x_i^0 \right) + o \left( \rho \left( x, x^0 \right) \right) \qquad (2)$$ при $x \to x^0$.
Теорема 1. Функция $f \left( x \right)$ дифференцируема в точке $x^0$ в том и только том случае, когда в некоторой окрестности точки $x^0$ функция $f \left( x \right)$ может быть представлена в следующем виде: $$f \left( x \right) = f \left( x^0 \right) + \sum\limits_{i = 1}^{n} f_i \left( x \right) \left( x_i — x_i^0 \right), \qquad (2)$$ где функции $f_i \left( x \right)$ непрерывны в точке $x^0$.

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

Упражнение 1. Пусть функции $f \left( x \right)$ и $\varphi \left( x \right)$ определены в окрестности точки $x^0 \in \mathbb{R}^n$, функция $f \left( x \right)$ дифференцируема в точке $x^0$ и $f \left( x^0 \right) = 0$, а функция $\varphi \left( x \right)$ непрерывна в точке $x^0$. Доказать, что функция $f \left( x \right) \varphi \left( x \right)$ дифференцируема в точке $x^0$.
Упражнение 2. Доказать, что функция $$\left( x + y \right) \left( x^3 + y^3 \right) ^{\frac{1}{3}}$$ дифференцируема в точке $\left( 0, 0 \right)$.
Указание. Воспользоваться результатом упр. 1.
Пример 1. Показать, что функция $$f \left( x, y \right) = \sqrt[3]{x^3 + y^4}$$дифференцируема в точке $\left( 0, 0 \right)$.
Решение показать

Пример 2. Показать, что функция $$f \left( x, y \right) = \sqrt[3]{x^3 + y^3}$$недифференцируема в точке $\left( 0, 0 \right)$.
Решение показать

Из теоремы 1 следует, что функция $f \left( x \right)$, дифференцируемая в точке $x^0$, непрерывна в этой точке. Обратное утверждение неверно: функция примера 2 непрерывна, но недифференцируема в точке $\left( 0, 0 \right)$.

Необходимое условие дифференцируемости функции в точке.

Теорема 2. Если функция $f \left( x \right)$ дифференцируема в точке $x^0 \in \mathbb{R}^n$, то она имеет в точке $x^0$ все частные производные $\frac{ \partial f }{ \partial x_i } \left( x^0 \right)$, $i = \overline{1, n}$, и $$f \left( x \right) — f \left( x^0 \right) = \\ = \sum\limits_{i = 1}^{n} \frac{ \partial f }{ \partial x_i } \left( x^0 \right) \left( x_i — x_i^0 \right) + o \left( \rho \left( x, x^0 \right) \right), x \to x^0. \qquad (6)$$

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

Функция примера 2 имеет в точке $\left( 0, 0 \right)$ обе частные производные первого порядка: $$\frac{ \partial f }{ \partial x } \left( 0, 0 \right) = \lim\limits_{x \to 0} \frac{ f \left( x, 0 \right) — f \left( 0, 0 \right) }{ x } = \\ = \lim\limits_{x \to 0} \frac{ \sqrt[3]{x^3} }{ x } = 1, \frac{ \partial f }{ \partial y } \left( 0, 0 \right) = 1.$$ Так как функция $f \left( x, y \right) = sqrt[3]{x^3 + y^3}$ примера 2 недиффиринцируема в точке $\left( 0, 0 \right)$, то этот пример показывает, что из существования частных производных в точке не следует дифференцируемость функции в этой точке. Существование частных производных функции в точке не гарантирует даже непрерывности функции в этой точке.
Так, функция $$f \left( x \right) = \begin{cases} \frac{2xy}{x^2+y^2}, & x^2 + y^2 > 0, \\ 0, & x = y = 0 \end{cases}$$ не имеет предела при $\left( x, y \right) \to \left( 0, 0 \right)$, а поэтому и не является непрерывной в точке $\left( 0, 0 \right)$. Тем не менее у этой функции в точке $\left( 0, 0 \right)$ существуют обе частные производные: $$\frac{ \partial f }{ \partial x } \left( 0, 0 \right) = \lim\limits_{x \to 0} \frac{ f \left( x, 0 \right) — f \left( 0, 0 \right) }{ x } = 0, \frac{ \partial f }{ \partial y } \left( 0, 0 \right) = 0.$$

Достаточные условия дифференцируемости функции в точке.

Теорема 3. Если все частные производные $\frac{ \partial f }{ \partial x_i }$, $i = \overline{1, n}$ определены в окрестности точки $x^0 \in \mathbb{R}^n$ и непрерывны в точке $x^0$, то функция $f \left( x \right)$ дифференцируема в точке $x^0$.

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

Непрерывность частных производных в точке не является необходимым условием дифференцируемости функции в этой точке.
Функция $$f \left( x, y \right) = \begin{cases} \left( x^2 + y^2 \right) \sin \frac{ 1 }{ \sqrt{ x^2 + y^2 } }, & x^2 + y^2 > 0, \\ 0, & x = y = 0, \end{cases}$$ дифференцируема в точке $\left( 0, 0 \right)$, так как $$f \left( x, y \right) = 0 \cdot x + 0 \cdot y + o \left( \sqrt{ x^2 + y^2 } \right), \left( x, y \right) \to \left( 0, 0 \right).$$ Но при $x^2 + y^2 > 0$ частная производная$$\frac{ \partial f }{ \partial x } \left( x, y \right) = 2x \sin \frac{ 1 }{ \sqrt{ x^2 + y^2 } } — \frac{ x }{ \sqrt{ x^2 + y^2 } } \cos \frac{ 1 }{ x^2 + y^2 }$$ не имеет предела при $\left( x, y \right) \to \left( 0, 0 \right)$ и, следовательно, не является непрерывной функцией в точке $\left( 0, 0 \right)$. Чтобы в этом убедиться, достаточно показать, что $\frac{ \partial f \left( x, 0 \right) }{ \partial x }$ не имеет предела при $x \to 0$.

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

Тест

Тест для проверки усвоения материала

Дифференцируемость функции в точке и существование частных производных: 1 комментарий

  1. — Я несколько подкорректировал формулы в этой работе. Постарайтесь всё оформить так, как в начале статьи.
    — Длинные формулы нужно разбить после знаков равенства. Если этого окажется недостаточно, то и после знаков операций или даже после запятых.
    — Пожалуйста, не используйте не семантические теги. Например, b, i. Мы же об этом говорили на занятиях. Есть варианты, которые принято считать семантическими, а отображаются по умолчанию они точно также.
    — sqrt?!
    — Доказательства и решения примеров нужно спрятать под спойлер. Посмотрите, как это делается в работах однокурсников.
    — Нет ссылок на другие материалы сайта. Скорее всего встречаются термины или результаты, которые уже описаны раньше.
    — Вопросы в тестах мне понравились, но их мало. Нужно использовать 6-7 различных типов

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *