Частные производные и дифференцируемость
В многомерном анализе для функций нескольких переменных вводится понятие частной производной, аналогичное обычной производной для функций одной переменной. Рассматривается связь между существованием частных производных, дифференцируемостью и непрерывностью функции.
Частные производные первого порядка
Для функции двух переменных ( f(x_1, x_2) ) частная производная по переменной ( x_1 ) в точке фиксируется путём рассмотрения функции как зависящей только от ( x_1 ), при этом ( x_2 ) остаётся постоянной.
- Определение: Частная производная ( \frac{\partial f}{\partial x_1} ) в точке — это предел отношения приращения функции к приращению аргумента ( x_1 ) при стремлении последнего к нулю, при условии, что ( x_2 ) зафиксирована.
- Обозначение: Аналогично определяется ( \frac{\partial f}{\partial x_2} ). Существование частных производных — это формальное применение правил дифференцирования функции одной переменной к каждому аргументу по отдельности.
Важно: наличие всех частных производных в точке не гарантирует даже непрерывности функции в этой точке.
Дифференцируемость функции
Дифференцируемость является более сильным и важным понятием, чем просто наличие частных производных. Функция ( f ) называется дифференцируемой в точке, если её полное приращение можно представить в виде линейной части плюс бесконечно малая более высокого порядка.
- Формальное определение: Функция дифференцируема в точке ( x^* ), если существуют такие константы ( A_1, A_2 ), что выполняется равенство: ( f(x) - f(x^*) = A_1 \Delta x_1 + A_2 \Delta x_2 + o(\rho) ), где ( \rho \to 0 ).
- Связь с частными производными: Если функция дифференцируема в точке, то в этой точке существуют все частные производные первого порядка, и коэффициенты ( A_1, A_2 ) как раз равны их значениям: ( A_1 = \frac{\partial f}{\partial x_1}, A_2 = \frac{\partial f}{\partial x_2} ).
- Геометрический смысл: Дифференцируемость означает существование касательной плоскости к графику функции в точке, аналогично существованию касательной для функции одной переменной.
Ключевое отличие от одномерного случая: из существования всех частных производных не следует дифференцируемость, а значит, и непрерывность функции.
Дифференцируемость сложной функции
Для дифференцируемости суперпозиции функций накладываются более строгие условия, чем просто наличие частных производных у внешней функции.
- Условия: Чтобы сложная функция была дифференцируема, требуется, чтобы внешняя функция была дифференцируема в соответствующей точке, а все внутренние функции также были дифференцируемы (имели полный дифференциал).
- Частные производные недостаточны: Наличия лишь частных производных у внешней функции не хватает для корректного применения правила дифференцирования сложной функции, так как аргументы могут стремиться к точке по произвольным траекториям.
Таким образом, для работы со сложными функциями основным рабочим понятием является именно дифференцируемость.
Производные высших порядков
Для функций многих переменных можно последовательно определять частные производные второго и更高их порядков, дифференцируя уже найденные производные.
- Вторая производная: Например, ( \frac{\partial^2 f}{\partial x_1^2} ) — это частная производная от ( \frac{\partial f}{\partial x_1} ) снова по ( x_1 ).
- Смешанные производные: Производные вида ( \frac{\partial^2 f}{\partial x_1 \partial x_2} ) (сначала по ( x_2 ), затем по ( x_1 )) и ( \frac{\partial^2 f}{\partial x_2 \partial x_1} ) называются смешанными.
- Теорема о равенстве смешанных производных: Если смешанные производные непрерывны в окрестности точки, то они равны в этой точке: ( \frac{\partial^2 f}{\partial x_1 \partial x_2} = \frac{\partial^2 f}{\partial x_2 \partial x_1} ). Без условия непрерывности они могут не совпадать.
Техника вычисления производных высших порядков сводится к многократному применению правил дифференцирования функций одной переменной, так как при нахождении частной производной все остальные переменные фиксируются.