Дифференциал функции. Геометрический смысл. Свойства.

Пусть функция у=ƒ(х) имеет в точке х отличную от нуля производную.

Тогда, по теореме о связи функции, ее предела и бесконечно малой функции, можно записать  у/ х=ƒ'(х)+α, где α→0 при ∆х→0, или ∆у=ƒ'(х)•∆х+α•∆х.

Таким образом, приращение функции ∆у представляет собой сумму двух слагаемых ƒ'(х)•∆х и а•∆х, являющихся бесконечно малыми при ∆x→0. При этом первое слагаемое есть бесконечно малая функция одного порядка с ∆х, так как а второе слагаемое есть бесконечно малая функция более высокого порядка, чем ∆х:

Поэтому первое слагаемое ƒ'(х) ∆х называют главной частью приращения функции ∆у.

Дифференциалом функции у=ƒ(х) в точке х называется главная часть ее приращения, равная произведению производной функции на приращение аргумента, и обозначается dу (или dƒ(х)):

dy=ƒ'(х)•∆х. (24.1)

Дифференциал dу называют также дифференциалом первого порядка. Найдем дифференциал независимой переменной х, т. е. дифференциал функции у=х.

Так как у'=х'=1, то, согласно формуле (24.1), имеем dy=dx=∆x, т. е. дифференциал независимой переменной равен приращению этой переменной: dх=∆х.

Поэтому формулу (24.1) можно записать так:

dy=ƒ'(х)dх, (24.2)

иными словами, дифференциал функции равен произведению производной этой функции на дифференциал независимой переменной.

Из формулы (24.2) следует равенство dy/dx=ƒ'(х). Теперь обозначение

производной dy/dx можно рассматривать как отношение дифференциалов dy и dх.

Выясним геометрический смысл дифференциала.

Для этого проведем к графику функции у=ƒ(х) в точке М(х; у) касательную МТ и рассмотрим ординату этой касательной для точки х+∆х (см. рис. 138). На рисунке  АМ =∆х, |AM₁|=∆у. Из прямоугольного треугольника МАВ имеем:

Но, согласно геометрическому смыслу производной, tga=ƒ'(х). Поэтому АВ=ƒ'(х)•∆х.

Сравнивая полученный результат с формулой (24.1), получаем dy=АВ, т. е. дифференциал функции у=ƒ(х) в точке х равен приращению ординаты касательной к графику функции в этой точке, когда х получит приращение ∆х.

В этом и состоит геометрический смысл дифференциала.