Определение дифференциала высшего порядка
Рассмотрим функцию
y = f(x), которая является дифференцируемой на интервале
(a, b).
Дифференциал первого порядка данной функции в точке
x ∈ (a, b) определяется формулой
Видно, что дифференциал
dy зависит от двух величин − от переменной
x (через производную
f'(
x)) и от дифференциала независимой переменной
dx.
Зафиксируем приращение
dx, т.е. будем считать, что
dx является постоянной величиной. Тогда дифференциал
dy представляет собой функцию только переменной
x, для которой можно также определить дифференциал, причем в качестве приращения Δ
x возьмем тот же самый дифференциал
dx. В результате мы получим
второй дифференциал или
дифференциал второго порядка, который обозначается как
d 2y или
d 2f(
x). Итак, по определению,
Обычно обозначают
(dx)2 = dx2. Поэтому получаем:
Таким же образом можно установить, что
третий дифференциал или
дифференциал третьего порядка имеет вид
В общем случае
дифференциал произвольного
n-го порядка выражается формулой
которую можно строго доказать методом математической индукции. Отсюда, в частности, следует соотношение для
производной n-го порядка:
Заметим, что для линейной функции
y = ax + b второй дифференциал и последующие дифференциалы более высокого порядка равны нулю. Действительно,
В таком случае, очевидно, что
Свойства дифференциала n-го порядка
Пусть функции
u и
v имеют производные
n-го порядка. Тогда справедливы следующие свойства:
Последнее равенство непосредственно следует из
формулы Лейбница.
Дифференциал n-го порядка сложной функции
Рассмотрим теперь композицию двух функций, таких, что
y = f(u) и
u = g(x). В таком случае
y является сложной функцией от независимой переменной
x:
Первый дифференциал функции
y записывается в виде
Вычислим второй дифференциал
d 2y (считая
dx по определению постоянной величиной). Используя
правило дифференцирования произведения функций, получаем:
Учтем, что
Следовательно,
или в краткой форме
Полученные формулы показывают, что дифференциал второго порядка, в отличие от первого дифференциала, не обладает
свойством инвариантности формы. В формуле для второго дифференциала появляется дополнительное слагаемое
y'd 2u. Впрочем, в случае линейной функции
u = g(x) = ax + b ее второй дифференциал равен
Поэтому для этого случая инвариантность формы второго дифференциала
d 2y сохраняется.