Полный дифференциал функции нескольких переменных¶

Полный дифференциал — это главная линейная часть приращения функции нескольких переменных относительно приращений её аргументов. Понятие обобщает дифференциал функции одной переменной на случай функций двух, трёх и большего числа независимых переменных и лежит в основе дифференциального исчисления, математического анализа и его приложений в физике, геометрии и вычислительной математике.

Для функции одной переменной \( y = f(x) \) дифференциал определяется как \( dy = f'(x)\,dx \). При переходе к функции нескольких переменных роль производной играют частные производные, а роль приращения аргумента — приращения каждой переменной.

¶Определение

Пусть функция \( z = f(x_1, x_2, \dots, x_n) \) определена в окрестности точки \( M \). Полным приращением функции в этой точке называется разность

\[ \Delta z = f(x_1 + \Delta x_1, \dots, x_n + \Delta x_n) - f(x_1, \dots, x_n). \]

Функция называется дифференцируемой в точке \( M \), если её полное приращение можно представить в виде

\[ \Delta z = A_1 \Delta x_1 + A_2 \Delta x_2 + \dots + A_n \Delta x_n + o(\rho), \]

где \( \rho = \sqrt{\Delta x_1^2 + \dots + \Delta x_n^2} \), а коэффициенты \( A_i \) не зависят от приращений аргументов. Линейная часть этого выражения и называется полным дифференциалом:

\[ dz = A_1 \Delta x_1 + \dots + A_n \Delta x_n. \]

Доказывается, что коэффициенты \( A_i \) равны частным производным функции в рассматриваемой точке, а приращения независимых переменных совпадают с их дифференциалами. Поэтому основная формула принимает вид

\[ dz = \frac{\partial z}{\partial x_1}\,dx_1 + \frac{\partial z}{\partial x_2}\,dx_2 + \dots + \frac{\partial z}{\partial x_n}\,dx_n. \]

Для функции двух переменных \( z = f(x, y) \) формула записывается особенно часто:

\[ dz = \frac{\partial z}{\partial x}\,dx + \frac{\partial z}{\partial y}\,dy. \]

¶Связь с частными производными

Необходимым условием дифференцируемости является существование всех частных производных в точке. Однако одного этого недостаточно: частные производные могут существовать, но функция при этом не будет дифференцируемой. Достаточным условием служит непрерывность частных производных в окрестности точки — в этом случае функция дифференцируема.

Важно различать частный и полный дифференциалы. Частный дифференциал по переменной \( x \) учитывает изменение функции только вдоль одного направления:

\[ d_x z = \frac{\partial z}{\partial x}\,dx. \]

Полный дифференциал складывается из всех частных дифференциалов и описывает изменение функции при одновременном изменении всех аргументов.

¶Геометрический смысл

Для функции двух переменных \( z = f(x, y) \) график представляет собой поверхность в трёхмерном пространстве. Полный дифференциал равен приращению аппликаты касательной плоскости к этой поверхности в данной точке. Иными словами, если заменить поверхность её касательной плоскостью, то \( dz \) покажет, насколько изменится высота точки на плоскости при смещении на \( dx \) и \( dy \).

Уравнение касательной плоскости к поверхности \( z = f(x, y) \) в точке \( (x_0, y_0) \) имеет вид

\[ z - z_0 = \frac{\partial z}{\partial x}(x - x_0) + \frac{\partial z}{\partial y}(y - y_0), \]

что непосредственно связано с выражением для полного дифференциала.

¶Применение в приближённых вычислениях

Одно из важнейших практических применений полного дифференциала — приближённое вычисление значений функций. Поскольку при малых приращениях аргументов \( \Delta z \approx dz \), получаем формулу

\[ f(x + \Delta x, y + \Delta y) \approx f(x, y) + \frac{\partial f}{\partial x}\Delta x + \frac{\partial f}{\partial y}\Delta y. \]

Эта формула позволяет оценивать погрешности при измерениях и вычислениях. Если величины \( x \) и \( y \) измерены с некоторыми погрешностями, то предельная абсолютная погрешность функции приближённо равна сумме абсолютных величин частных дифференциалов.

¶Дифференциал сложной функции

Если \( z = f(u, v) \), а \( u \) и \( v \) сами зависят от переменных \( x, y \), то полный дифференциал сохраняет свою форму записи:

\[ dz = \frac{\partial z}{\partial u}\,du + \frac{\partial z}{\partial v}\,dv. \]

Это свойство называется инвариантностью формы первого дифференциала. Оно отличает дифференциал первого порядка от дифференциалов высших порядков, форма которых при замене переменных, как правило, не сохраняется.

¶Дифференциалы высших порядков

Второй дифференциал функции двух переменных при условии непрерывности вторых частных производных вычисляется по формуле

\[ d^2 z = \frac{\partial^2 z}{\partial x^2}\,dx^2 + 2\frac{\partial^2 z}{\partial x \partial y}\,dx\,dy + \frac{\partial^2 z}{\partial y^2}\,dy^2. \]

Структура выражения напоминает разложение квадрата суммы, что позволяет записывать дифференциалы высших порядков символически:

\[ d^n z = \left( \frac{\partial}{\partial x}\,dx + \frac{\partial}{\partial y}\,dy \right)^n z. \]

Дифференциалы высших порядков применяются при исследовании экстремумов функций нескольких переменных, в разложениях в ряд Тейлора и в теории поверхностей.

¶Значение и области применения

Понятие полного дифференциала используется в самых разных разделах математики и естественных наук:

• Математический анализ — исследование дифференцируемости, экстремумов, неявных функций.
• Физика — описание малых изменений термодинамических величин, например \( dU = T\,dS - P\,dV \).
• Геометрия — построение касательных плоскостей и нормалей к поверхностям.
• Теория погрешностей — оценка точности косвенных измерений.
• Численные методы — линеаризация нелинейных зависимостей.

В термодинамике полные дифференциалы функций состояния (внутренней энергии, энтальпии, энтропии) позволяют устанавливать связи между физическими величинами и выводить уравнения состояния.

¶Критерий полного дифференциала

Выражение вида \( P(x, y)\,dx + Q(x, y)\,dy \) является полным дифференциалом некоторой функции тогда и только тогда, когда выполнено условие

\[ \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}. \]

Это условие используется при решении дифференциальных уравнений в полных дифференциалах и при восстановлении функции по её частным производным.

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