119. Дифференциалы высших порядков.
Обратимся теперь к дифференциалам высших порядков; они также определяются индуктивно. Дифференциалом второго порядка или вторым дифференциалом функции
в некоторой точке называется дифференциал в этой точке от ее (первого) дифференциала; в обозначениях
Дифференциалом третьего порядка или третьим дифференциалом называется дифференциал от второго дифференциала:
Вообще, дифференциалом
порядка или
дифференциалом функции
называется дифференциал от ее
дифференциала:
Если пользоваться функциональным обозначением, то последовательные дифференциалы могут быть обозначены так:
причем получается возможность указать то частное значение
при котором дифференциалы берутся.
При вычислении дифференциалов высших порядков очень важно помнить, что
есть произвольное и независящее от х число, которое при дифференцировании по
надлежит рассматривать как постоянный множитель. В таком случае, будем иметь (все время - предполагая существование соответствующих производных):
и т. д. Легко угадываемый общий закон
доказывается методом математической индукции. Из него следует, что
так что отныне этот символ можно рассматривать как дробь.
Воспользовавшись равенством (2), легко теперь преобразовать формулу Лейбница к дифференциалам. Достаточно умножить обе части ее на
чтобы получить
Сам Лейбниц установил свою формулу именно для дифференциалов.