§ 5 Частные производные и полные дифференциалы высших порядков

1.0Частные производные. Теорема о смешанных производных

Частные производные функции нескольких переменных сами являются функциями тех
же переменных, и мы можем определить их частные производные. Таким образом, мы
получим частные производные второго порядка исходной функции, которые будут
функциями тех же переменных, и их дифференцирование приведет к частным
производным третьего и высших порядков.
Так, для функции 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦) двух независимых переменных можно определить
(предполагается, что все производные существуют) две частные производные первого
порядка 𝑓𝑓’𝑥𝑥 и 𝑓𝑓’𝑦𝑦 и четыре частные производные второго порядка. Последние
обозначаются символами:
𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕 2 𝑓𝑓
(𝑓𝑓’𝑥𝑥 )′𝑥𝑥 = � � = 𝑓𝑓′′𝑥𝑥𝑥𝑥 = 2
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝑥𝑥
𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕 2 𝑓𝑓
(𝑓𝑓’𝑥𝑥 )′𝑦𝑦 = � � = 𝑓𝑓′′𝑥𝑥𝑥𝑥 =
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕
𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕 2 𝑓𝑓
(𝑓𝑓’𝑦𝑦 )′𝑥𝑥 = � � = 𝑓𝑓′′𝑦𝑦𝑦𝑦 =
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕
𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕 2 𝑓𝑓
(𝑓𝑓’𝑦𝑦 )′𝑦𝑦 = � � = 𝑓𝑓′′𝑦𝑦𝑦𝑦 = 2
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝑦𝑦
Пример
Найти все производные второго порядка функции 𝑧𝑧 = 𝑥𝑥 4 + 3𝑥𝑥 2 𝑦𝑦 2 .
Решение
𝑧𝑧′𝑥𝑥 = 4𝑥𝑥 3 + 6𝑥𝑥𝑦𝑦 2 , 𝑧𝑧′𝑦𝑦 = 6𝑥𝑥 2 𝑦𝑦,

𝑧𝑧′′𝑥𝑥𝑥𝑥 = 12𝑥𝑥 2 + 6𝑦𝑦 2 , 𝑧𝑧′′𝑦𝑦𝑦𝑦 = 12𝑥𝑥𝑥𝑥,

𝑧𝑧′′𝑥𝑥𝑥𝑥 = 12𝑥𝑥𝑥𝑥, 𝑧𝑧′′𝑦𝑦𝑦𝑦 = 6𝑥𝑥 2 .

Аналогично определяются частные производные 3-го, 4-го и старших порядков.

𝜕𝜕𝑛𝑛 𝑓𝑓
Например, 𝜕𝜕𝑥𝑥 𝑝𝑝 𝜕𝜕𝑦𝑦 𝑞𝑞, причем 𝑝𝑝 + 𝑞𝑞 = 𝑛𝑛.

Частные производные, являющиеся результатом дифференцирования по разным

переменным, называются смешанными производными. Это, например, 𝑧𝑧′′𝑥𝑥𝑥𝑥 , 𝑧𝑧′′𝑦𝑦𝑦𝑦 .
Как видно из примера 𝑧𝑧′′𝑥𝑥𝑥𝑥 , 𝑧𝑧′′𝑦𝑦𝑦𝑦 , то есть смешанные производные равны.
Но это справедливо не всегда. Имеет место следующая теорема.
Теорема (о смешанных производных)
Пусть функция 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦) имеет смешанные производные второго порядка 𝑓𝑓′′𝑥𝑥𝑥𝑥
и 𝑓𝑓′′𝑦𝑦𝑦𝑦 в некоторой окрестности точки (𝑥𝑥0 , 𝑦𝑦0 ), непрерывные в самой этой точке.
Тогда:
𝑓𝑓 ′′ 𝑥𝑥𝑥𝑥 (𝑥𝑥0 , 𝑦𝑦0 ) = 𝑓𝑓′′𝑦𝑦𝑦𝑦 (𝑥𝑥0 , 𝑦𝑦0 )
Доказательство
Рассмотрим функцию
𝜔𝜔 = 𝑓𝑓(𝑥𝑥0 + ∆𝑥𝑥, 𝑦𝑦0 + ∆𝑦𝑦) − 𝑓𝑓(𝑥𝑥0 , 𝑦𝑦0 + ∆𝑦𝑦) − 𝑓𝑓(𝑥𝑥0 + ∆𝑥𝑥, 𝑦𝑦0 ) + 𝑓𝑓(𝑥𝑥0 , 𝑦𝑦0 ).
Если обозначить 𝜑𝜑 (𝑥𝑥, 𝑦𝑦) = 𝑓𝑓(𝑥𝑥 + ∆𝑥𝑥, 𝑦𝑦) + 𝑓𝑓(𝑥𝑥, 𝑦𝑦), то 𝜔𝜔 = 𝜑𝜑(𝑥𝑥0 , 𝑦𝑦0 + ∆𝑦𝑦) − 𝜑𝜑(𝑥𝑥0 , 𝑦𝑦0 )
и по формуле конечных приращений 𝜔𝜔 = 𝜑𝜑′𝑦𝑦 (𝑥𝑥0 , 𝑦𝑦0 + 𝜃𝜃∆𝑦𝑦) ∗ ∆𝑥𝑥.

Но тогда

𝜔𝜔 = �𝑓𝑓′𝑦𝑦 (𝑥𝑥0 + ∆𝑥𝑥 , 𝑦𝑦0 + 𝜃𝜃∆𝑦𝑦) − 𝑓𝑓′𝑦𝑦 (𝑥𝑥0 , 𝑦𝑦0 + 𝜃𝜃∆𝑦𝑦)� ∗ ∆𝑥𝑥

и, применяя еще раз формулу конечных приращений, получаем

𝜔𝜔 = 𝑓𝑓′′𝑦𝑦𝑦𝑦 (𝑥𝑥0 + 𝜃𝜃1 ∆𝑥𝑥 , 𝑦𝑦0 + 𝜃𝜃∆𝑦𝑦) ∗ ∆𝑥𝑥∆𝑦𝑦. (1)

Если обозначить 𝜓𝜓(𝑥𝑥, 𝑦𝑦) = 𝑓𝑓(𝑥𝑥 , 𝑦𝑦 + ∆𝑦𝑦) − 𝑓𝑓(𝑥𝑥 , 𝑦𝑦), то следуя той же схеме
рассуждений, последовательно получим
𝜔𝜔 = 𝜓𝜓(𝑥𝑥0 + ∆𝑥𝑥 , 𝑦𝑦0 ) − 𝜓𝜓(𝑥𝑥0 , 𝑦𝑦0 ) = 𝜓𝜓′ 𝑥𝑥 (𝑥𝑥0 + 𝜃𝜃2 ∆𝑥𝑥 , 𝑦𝑦0 )∆𝑥𝑥 =

= 𝑓𝑓 ′′ 𝑥𝑥𝑥𝑥 (𝑥𝑥0 + 𝜃𝜃2 ∆𝑥𝑥 , 𝑦𝑦0 + 𝜃𝜃3 ∆𝑦𝑦) ∗ ∆𝑥𝑥∆𝑦𝑦.

(Здесь 0 < 𝜃𝜃 < 1, 0 < 𝜃𝜃𝑖𝑖 < 1, 𝑖𝑖 = 1,2,3).

Приравняем правые части равенств (1) и (2) и после деления на ∆𝑥𝑥∆𝑦𝑦 получим:
𝑓𝑓 ′′ 𝑦𝑦𝑦𝑦 (𝑥𝑥0 + 𝜃𝜃1 ∆𝑥𝑥 , 𝑦𝑦0 + 𝜃𝜃∆𝑦𝑦) = 𝑓𝑓 ′′ 𝑥𝑥𝑥𝑥 (𝑥𝑥0 + 𝜃𝜃2 ∆𝑥𝑥 , 𝑦𝑦0 + 𝜃𝜃3 ∆𝑦𝑦)

Перейдем в этом равенстве к пределу при ∆𝑥𝑥 → 0, ∆𝑦𝑦 → 0, согласно непрерывности

𝑓𝑓 ′′ 𝑥𝑥𝑥𝑥 и 𝑓𝑓 ′′ 𝑦𝑦𝑦𝑦 в точке получаем равенство 𝑓𝑓 ′′ 𝑥𝑥𝑥𝑥 (𝑥𝑥0 , 𝑦𝑦0 ) = 𝑓𝑓 ′′ 𝑦𝑦𝑦𝑦 (𝑥𝑥0 , 𝑦𝑦0 ). Теорема доказана.

20. Полные дифференциалы высших порядков

Будем использовать бином Ньютона:
(𝑎𝑎 + 𝑏𝑏)𝑛𝑛 = 𝑎𝑎𝑛𝑛 + 𝐶𝐶𝑛𝑛1 𝑎𝑎𝑛𝑛−1 𝑏𝑏 + 𝐶𝐶𝑛𝑛2 𝑎𝑎𝑛𝑛−2 𝑏𝑏 2 + ⋯ + 𝐶𝐶𝑛𝑛𝑘𝑘 𝑎𝑎𝑛𝑛−𝑘𝑘 𝑏𝑏 𝑘𝑘 + ⋯ + 𝐶𝐶𝑛𝑛𝑛𝑛−1 𝑎𝑎𝑏𝑏 𝑛𝑛−1 + 𝐶𝐶𝑛𝑛𝑛𝑛 𝑏𝑏 𝑛𝑛 =
𝑛𝑛

= � 𝐶𝐶𝑛𝑛𝑘𝑘 𝑎𝑎𝑛𝑛−𝑘𝑘 𝑏𝑏 𝑘𝑘
𝑘𝑘=0
𝑛𝑛!
Где 𝐶𝐶𝑛𝑛𝑘𝑘 = 𝑘𝑘!(𝑛𝑛−𝑘𝑘)! , 𝑘𝑘 = 0,1, … , 𝑛𝑛.

𝑛𝑛!
Тогда 𝐶𝐶𝑛𝑛0 = 1, (0! = 1 по определению), 𝐶𝐶𝑛𝑛1 = 1!(𝑛𝑛−1)! = 𝑛𝑛, 𝐶𝐶𝑛𝑛𝑛𝑛 = 1, 𝐶𝐶𝑛𝑛𝑚𝑚 = 𝐶𝐶𝑛𝑛𝑛𝑛−𝑚𝑚 .

Нетрудно показать, что 𝐶𝐶𝑘𝑘𝑚𝑚 + 𝐶𝐶𝑘𝑘𝑚𝑚+1 = 𝐶𝐶𝑘𝑘+1

𝑚𝑚+1
.
𝑘𝑘! 𝑘𝑘! 𝑘𝑘! 1 1
Действительно, 𝐶𝐶𝑘𝑘𝑚𝑚 + 𝐶𝐶𝑘𝑘𝑚𝑚+1 = 𝑚𝑚!(𝑘𝑘−𝑚𝑚)! + (𝑚𝑚+1)!(𝑘𝑘−𝑚𝑚−1)! = 𝑚𝑚!(𝑘𝑘−𝑚𝑚−1)! �𝑘𝑘−𝑚𝑚 + 𝑚𝑚+1� =

𝑘𝑘! 𝑘𝑘+1 (𝑘𝑘+1)!𝑚𝑚+1

= 𝑚𝑚!(𝑘𝑘−𝑚𝑚−1)! ∗ (𝑘𝑘−𝑚𝑚)(𝑚𝑚+1) = (𝑚𝑚+1)!(𝑘𝑘−𝑚𝑚)! = 𝐶𝐶𝑘𝑘+1 .
Докажем формулу бинома Ньютона методом математической индукции.
Доказательство
1. При 𝑛𝑛 = 1 – формула верна, так как (𝑎𝑎 + 𝑏𝑏)1 = 𝑎𝑎 + 𝑏𝑏 и ∑1𝑘𝑘=0 𝐶𝐶1𝑘𝑘 𝑎𝑎1−𝑘𝑘 𝑏𝑏 𝑘𝑘 =
= 𝐶𝐶10 𝑎𝑎 + 𝐶𝐶11 𝑎𝑎0 𝑏𝑏1 = 𝑎𝑎 + 𝑏𝑏.
2. Предположим, что формула верна при 𝑛𝑛 = 𝑘𝑘. Докажем, что ее справедливость
сохранится при переходе к 𝑛𝑛 = 𝑘𝑘 + 1.
(𝑎𝑎 + 𝑏𝑏)𝑘𝑘+1 = (𝑎𝑎 + 𝑏𝑏)(𝑎𝑎 + 𝑏𝑏)𝑘𝑘 =
= (𝑎𝑎 + 𝑏𝑏)�𝑎𝑎𝑘𝑘 + 𝐶𝐶𝑘𝑘1 𝑎𝑎𝑘𝑘−1 𝑏𝑏 + 𝐶𝐶𝑘𝑘2 𝑎𝑎𝑘𝑘−2 𝑏𝑏 2 + ⋯ + 𝐶𝐶𝑘𝑘𝑘𝑘−1 𝑎𝑎𝑏𝑏 𝑘𝑘−1 + 𝐶𝐶𝑘𝑘𝑘𝑘 𝑏𝑏 𝑘𝑘 � =
= 𝑎𝑎𝑘𝑘+1 + 𝐶𝐶𝑘𝑘0 𝑎𝑎𝑘𝑘 𝑏𝑏 + 𝐶𝐶𝑘𝑘1 𝑎𝑎𝑘𝑘 𝑏𝑏 + 𝐶𝐶𝑘𝑘1 𝑎𝑎𝑘𝑘−1 𝑏𝑏 2 + 𝐶𝐶𝑘𝑘2 𝑎𝑎𝑘𝑘−1 𝑏𝑏 2 + ⋯ + 𝐶𝐶𝑘𝑘𝑘𝑘−1 𝑎𝑎𝑏𝑏 𝑘𝑘 +
+𝐶𝐶𝑘𝑘𝑘𝑘 𝑎𝑎𝑏𝑏 𝑘𝑘 + 𝐶𝐶𝑘𝑘𝑘𝑘 𝑏𝑏 𝑘𝑘+1 = 𝑎𝑎𝑘𝑘+1 + (𝐶𝐶𝑘𝑘0 + 𝐶𝐶𝑘𝑘1 )𝑎𝑎𝑘𝑘 𝑏𝑏 + (𝐶𝐶𝑘𝑘1 + 𝐶𝐶𝑘𝑘2 )𝑎𝑎𝑘𝑘−1 𝑏𝑏 2 + ⋯ +
+�𝐶𝐶𝑘𝑘𝑘𝑘−1 + 𝐶𝐶𝑘𝑘𝑘𝑘 �𝑎𝑎𝑏𝑏 𝑘𝑘 + 𝐶𝐶𝑘𝑘𝑘𝑘 𝑏𝑏 𝑘𝑘+1 = 𝑎𝑎𝑘𝑘+1 + 𝐶𝐶𝑘𝑘+1
1 2
𝑎𝑎𝑘𝑘 𝑏𝑏 + 𝐶𝐶𝑘𝑘+1 𝑎𝑎𝑘𝑘−1 𝑏𝑏 2 + ⋯ +
𝑘𝑘 𝑘𝑘+1 𝑘𝑘+1
+𝐶𝐶𝑘𝑘+1 𝑎𝑎𝑏𝑏 𝑘𝑘 + 𝐶𝐶𝑘𝑘+1 𝑏𝑏 .
Утверждение доказано.
Определение
Функция нескольких переменных называется n раз дифференцируемой, если
дифференцируема она сама и все ее частные производные до (𝑛𝑛 − 1) – го порядка
включительно
Рассмотрим функцию 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦).
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
Если эта функция дифференцируема, то 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑.

Но 𝑑𝑑𝑑𝑑 = 𝑑𝑑𝑑𝑑(𝑥𝑥, 𝑦𝑦) и если эта функция дифференцируема, то 𝑑𝑑(𝑑𝑑𝑑𝑑) = 𝑑𝑑2 𝑧𝑧 называется
дифференциалом 2 – го порядка.
Если функция дифференцируема 𝑛𝑛 раз, то полный дифференциал 𝑛𝑛 – го порядка этой
функции определяется равенством 𝑑𝑑𝑛𝑛 𝑧𝑧 = 𝑑𝑑(𝑑𝑑𝑛𝑛−1 𝑧𝑧).
Пусть имеется 𝑛𝑛 – раз дифференцируемая функция 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦). Выведем формулы
для дифференциалов 2 – го, 3 – го 𝑛𝑛 – го порядков. Заметим, что из условия: функция
𝑛𝑛 раз дифференцируема, следует непрерывность частных производных этой функции
до (𝑛𝑛 − 1) – порядка включительно, значит, смешанные производные до порядка
включительно не зависят от порядка дифференцирования. Можно доказать, что и
смешанные производные 𝑛𝑛 – го порядка не зависят от порядка дифференцирования.
Таким образом,
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓
𝑑𝑑2 𝑧𝑧 = 𝑑𝑑(𝑑𝑑𝑑𝑑) = 𝑑𝑑 �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� = 𝑑𝑑 �𝜕𝜕𝜕𝜕 � 𝑑𝑑𝑑𝑑 + 𝑑𝑑 �𝜕𝜕𝜕𝜕� 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝑥𝑥 2 𝑑𝑑𝑥𝑥 2 + 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 +

𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓

+ 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑦𝑦 2 𝑑𝑑𝑦𝑦 2 = 𝜕𝜕𝑥𝑥 2 𝑑𝑑𝑥𝑥 2 + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑦𝑦 2 𝑑𝑑𝑦𝑦 2.

Заметим, что 𝑑𝑑𝑑𝑑 и 𝑑𝑑𝑑𝑑 суть приращения независимых переменных 𝑥𝑥 и 𝑦𝑦 и они

являются 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐.
Аналогично можно показать, что:
𝜕𝜕3 𝑓𝑓 𝜕𝜕3 𝑓𝑓 𝜕𝜕3 𝑓𝑓 𝜕𝜕3 𝑓𝑓
𝑑𝑑3 𝑧𝑧 = 𝑑𝑑(𝑑𝑑2 𝑧𝑧) = 𝜕𝜕𝑥𝑥 3 𝑑𝑑𝑥𝑥 3 + 3 𝜕𝜕𝑥𝑥 2 𝜕𝜕𝜕𝜕 𝑑𝑑𝑥𝑥 2 𝑑𝑑𝑑𝑑 + 3 𝜕𝜕𝜕𝜕𝜕𝜕𝑦𝑦 2 𝑑𝑑𝑑𝑑𝑑𝑑𝑦𝑦 2 + 𝜕𝜕𝑦𝑦 3 𝑑𝑑𝑦𝑦 3 .
Методом математической индукции можно доказать, что
𝜕𝜕𝑛𝑛 𝑓𝑓 𝜕𝜕 𝑛𝑛 𝑓𝑓 𝜕𝜕𝑛𝑛 𝑓𝑓
𝑑𝑑𝑛𝑛 𝑧𝑧 = 𝜕𝜕𝑥𝑥 𝑛𝑛 𝑑𝑑𝑥𝑥 𝑛𝑛 + 𝐶𝐶𝑛𝑛1 𝜕𝜕𝑥𝑥 𝑛𝑛−1 𝜕𝜕𝜕𝜕 𝑑𝑑𝑥𝑥 𝑛𝑛−1 𝑑𝑑𝑑𝑑 + 𝐶𝐶𝑛𝑛2 𝜕𝜕𝑥𝑥𝑛𝑛−2 𝜕𝜕𝑦𝑦 2 𝑑𝑑𝑥𝑥 𝑛𝑛−2 𝑑𝑑𝑦𝑦 2 + ⋯ +

𝜕𝜕 𝑛𝑛 𝑓𝑓 𝜕𝜕𝑛𝑛 𝑓𝑓
+𝐶𝐶𝑛𝑛𝑛𝑛−1 𝜕𝜕𝜕𝜕𝜕𝜕𝑦𝑦 𝑛𝑛−1 𝑑𝑑𝑑𝑑𝑑𝑑𝑦𝑦 𝑛𝑛−1 + 𝐶𝐶𝑛𝑛𝑛𝑛 𝜕𝜕𝑦𝑦 𝑛𝑛 𝑑𝑑𝑦𝑦 𝑛𝑛 .

Символически полученные результаты можно записать следующим образом:

𝜕𝜕 𝜕𝜕
𝑑𝑑𝑑𝑑 = �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� ∗ 𝑓𝑓,

𝜕𝜕 𝜕𝜕 2
𝑑𝑑2 𝑧𝑧 = �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� ∗ 𝑓𝑓,

𝜕𝜕 𝜕𝜕 𝑛𝑛
𝑑𝑑𝑛𝑛 𝑧𝑧 = �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� ∗ 𝑓𝑓.

Формула бинома Ньютона с последующим условным умножением на 𝑓𝑓 приводит к

формуле для дифференциала 𝑛𝑛 – го порядка функции 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦).
30. Неинвариантность формы дифференциалов высшего порядка сложных функций
Пусть функции 𝑥𝑥 = 𝑥𝑥 (𝑈𝑈, 𝑉𝑉) и 𝑦𝑦 = 𝑦𝑦 (𝑈𝑈, 𝑉𝑉) дважды дифференцируемы в точке
(𝑈𝑈0 , 𝑉𝑉0 ), а функция 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦) дважды дифференцируема в точке (𝑥𝑥0 , 𝑦𝑦0 ), где 𝑥𝑥0 =
𝑥𝑥 (𝑈𝑈0 , 𝑉𝑉0 ), 𝑦𝑦0 = 𝑦𝑦 (𝑈𝑈0 , 𝑉𝑉0 ).
Тогда дифференциал первого порядка в силу инвариантности формы
𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
1 – го дифференциала будет иметь вид 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑.

𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕

Однако 𝜕𝜕𝜕𝜕 = 𝜕𝜕𝜕𝜕 (𝑥𝑥, 𝑦𝑦), 𝜕𝜕𝑦𝑦 = 𝜕𝜕𝜕𝜕 (𝑥𝑥, 𝑦𝑦), 𝑑𝑑𝑑𝑑 = 𝑑𝑑𝑑𝑑(𝑈𝑈, 𝑉𝑉) и 𝑑𝑑𝑑𝑑 = 𝑑𝑑𝑑𝑑(𝑈𝑈, 𝑉𝑉), поэтому

𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓

𝑑𝑑2 𝑧𝑧 = 𝑑𝑑 �𝜕𝜕𝜕𝜕 � 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑 2 𝑥𝑥 + 𝑑𝑑 �𝜕𝜕𝜕𝜕� 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑2 𝑦𝑦 = 𝜕𝜕𝑥𝑥 2 𝑑𝑑𝑥𝑥 2 + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑦𝑦 2 𝑑𝑑𝑦𝑦 2 +

𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕2 𝑓𝑓 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 2 𝜕𝜕2 𝑓𝑓 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕
+ 𝜕𝜕𝜕𝜕 𝑑𝑑2 𝑥𝑥 + 𝜕𝜕𝜕𝜕 𝑑𝑑 2 𝑦𝑦 = 𝜕𝜕𝑥𝑥 2 �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� +

𝜕𝜕2 𝑓𝑓 𝜕𝜕𝜕𝜕 𝜕𝜕𝜕𝜕 2 𝜕𝜕𝜕𝜕 𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑦𝑦 𝜕𝜕2 𝑦𝑦

+ 𝜕𝜕𝑦𝑦 2 �𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑� + 𝜕𝜕𝜕𝜕 �𝜕𝜕𝑈𝑈 2 𝑑𝑑𝑈𝑈 2 + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑉𝑉 2 𝑑𝑑𝑉𝑉 2 �.

Таким образом, показано, что имеет место нарушение инвариантности формы для
дифференциала второго порядка 𝑑𝑑2 𝑧𝑧. Рассмотрим один частный случай. Пусть 𝑥𝑥 и 𝑦𝑦 –
линейные функции независимых переменных 𝑈𝑈 и 𝑉𝑉, то есть:
𝑥𝑥 = 𝑎𝑎1 𝑈𝑈 + 𝑏𝑏1 𝑉𝑉 + 𝐶𝐶1 , 𝑦𝑦 = 𝑎𝑎2 𝑈𝑈 + 𝑏𝑏2 𝑉𝑉 + 𝐶𝐶2 .
Тогда 𝑑𝑑𝑑𝑑 = 𝑎𝑎1 𝑑𝑑𝑑𝑑 + 𝑏𝑏1 𝑑𝑑𝑑𝑑, 𝑑𝑑𝑑𝑑 = 𝑎𝑎2 𝑑𝑑𝑑𝑑 + 𝑏𝑏2 𝑑𝑑𝑑𝑑 причем 𝑑𝑑𝑑𝑑 и 𝑑𝑑𝑑𝑑 это константы, как
дифференциалы независимых переменных.
Тогда 𝑑𝑑𝑑𝑑 и 𝑑𝑑𝑑𝑑 тоже константы и 𝑑𝑑 2 𝑥𝑥 = 𝑑𝑑2 𝑦𝑦 = 0. В этом случае не нарушается
инвариантность формы дифференциала второго порядка.
Пример
𝑈𝑈
Найти 𝑑𝑑2 𝑧𝑧, где 𝑍𝑍 = 𝑓𝑓 (𝑥𝑥, 𝑦𝑦), 𝑥𝑥 = 𝑈𝑈 ∗ 𝑉𝑉, 𝑦𝑦 = 𝑉𝑉 .

Решение
𝜕𝜕𝑥𝑥 𝜕𝜕𝑥𝑥 𝜕𝜕𝑥𝑥 𝜕𝜕𝑥𝑥
= 𝑉𝑉, 𝜕𝜕𝜕𝜕 = 𝑈𝑈 и 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 = 𝑉𝑉𝑉𝑉𝑉𝑉 + 𝑈𝑈𝑈𝑈𝑈𝑈;
𝜕𝜕𝜕𝜕
𝜕𝜕𝑦𝑦 1 𝜕𝜕𝑥𝑥 𝑈𝑈 𝜕𝜕𝑦𝑦 𝜕𝜕𝑦𝑦 1 𝑈𝑈
= 𝑉𝑉 , 𝜕𝜕𝜕𝜕 = − 𝑉𝑉 2 и 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 = 𝑉𝑉 𝑑𝑑𝑑𝑑 − 𝑉𝑉 2 𝑑𝑑𝑑𝑑
𝜕𝜕𝜕𝜕

Отсюда:
𝜕𝜕𝑓𝑓 𝜕𝜕𝑓𝑓 𝜕𝜕𝑓𝑓 𝜕𝜕𝑓𝑓 1 𝑈𝑈
𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑 = 𝜕𝜕𝜕𝜕 (𝑉𝑉𝑉𝑉𝑉𝑉 + 𝑈𝑈𝑈𝑈𝑈𝑈) + � 𝑑𝑑𝑑𝑑 − 𝑉𝑉 2 𝑑𝑑𝑑𝑑�.
𝜕𝜕𝜕𝜕 𝑉𝑉

Далее,
𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑥𝑥 𝜕𝜕2 𝑥𝑥
= 0, 𝜕𝜕𝑉𝑉 2 = 0, 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 = 1 и 𝑑𝑑 2 𝑥𝑥 = 𝜕𝜕𝑈𝑈 2 𝑑𝑑𝑈𝑈 2 + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑈𝑈 2 𝑑𝑑𝑈𝑈 2 = 2𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑;
𝜕𝜕𝑈𝑈 2

𝜕𝜕2 𝑦𝑦 𝜕𝜕2 𝑦𝑦 2𝑈𝑈 𝜕𝜕2 𝑦𝑦 1 𝜕𝜕2 𝑦𝑦 𝜕𝜕2 𝑦𝑦 𝜕𝜕2 𝑦𝑦 2

= 0, 𝜕𝜕𝑉𝑉 2 = , = − 𝑉𝑉 2 и 𝑑𝑑 2 𝑦𝑦 = 𝜕𝜕𝑈𝑈 2 𝑑𝑑𝑈𝑈 2 + 2 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝑈𝑈 2 𝑑𝑑𝑈𝑈 2 = − 𝑉𝑉 2 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 +
𝜕𝜕𝑈𝑈 2 𝑉𝑉 3 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕
2𝑈𝑈
+ 𝑉𝑉 3 𝑑𝑑𝑉𝑉 2 .

Таким образом,
𝜕𝜕2 𝑓𝑓 𝜕𝜕2 𝑓𝑓 1 𝑈𝑈 𝜕𝜕2 𝑓𝑓 1 𝑈𝑈 2
𝑑𝑑2 𝑧𝑧 = 2
(𝑉𝑉𝑉𝑉𝑉𝑉 + 𝑈𝑈𝑈𝑈𝑈𝑈)2 + 2 (𝑉𝑉𝑉𝑉𝑉𝑉 + 𝑈𝑈𝑈𝑈𝑈𝑈) � 𝑑𝑑𝑑𝑑 − 2 𝑑𝑑𝑑𝑑� + 2 � 𝑑𝑑𝑑𝑑 − 2 𝑑𝑑𝑑𝑑� +
𝜕𝜕𝑥𝑥 𝜕𝜕𝜕𝜕𝜕𝜕𝜕𝜕 𝑉𝑉 𝑉𝑉 𝜕𝜕𝑦𝑦 𝑉𝑉 𝑉𝑉

𝜕𝜕𝑓𝑓 𝜕𝜕𝑓𝑓 2 2𝑈𝑈

+ 𝜕𝜕𝜕𝜕 ∗ 2𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + 𝜕𝜕𝜕𝜕 �− 𝑉𝑉 2 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 + + 𝑉𝑉 3 𝑑𝑑𝑉𝑉 2 �.