Определение 4.3 Пусть дана функция, и
-- внутренняя точка её области определения. Придадим аргументу приращение
и рассмотрим приращение функции
Если это приращениеможно представить в виде
где величинане зависит от приращения
, а
-- бесконечно малая при базе
величина, имеющая больший порядок малости, чем
, то произведение
называется дифференциалом функции
в точке
и обозначается
или просто
.
Таким образом, дифференциал
-- это функция двух аргументов
и
, причём от переменного приращения
дифференциал зависит линейно (
входит в выражение, задающее
, как множитель, стоящий в первой степени). Заметим, что в формуле
![]()
второе слагаемое в правой части имеет порядок малости, больший, чем у
, и, следовательно, при
больший, чем у
. Поэтому дифференциал
-- это главная, линейная по
, часть приращения функции.
Теорема 4.3 Функцияимеет дифференциал
в точке
тогда и только тогда, когда она имеет производную
в этой точке; при этом
![]()
Доказательство. Пусть функция
имеет дифференциал, то есть её приращение можно представить в виде
. Разделим обе части равенства на
:
![]()
При
в правой части предел первого слагаемого равен
, поскольку эта величина не зависит от
и, следовательно, при вычислении предела считается постоянной. Далее,
![]()
так как, по определению дифференциала,
имеет более высокий порядок малости, нежели
. Значит, существует предел
![]()
Но этот предел, по определению, равен производной
. Значит, функция имеет производную в точке
, и
, откуда
![]()
Пусть теперь функция
имеет производную
. Это означает, что
. По теореме о связи пределов и бесконечно малых, это эквивалентно тому, что величина
является бесконечно малой. Умножим обе части последнего равенства на
и получим:
![]()
Получили представление приращения функции в виде
, где
, а величина
, очевидно, имеет больший порядок малости, чем
, поскольку
при
. Тем самым, функция
имеет в точке
дифференциал, который имеет вид
.
Геометрический смысл дифференциала
мы выясним, исходя из найденного ранее геометрического смысла производной. Поскольку производная
-- это угловой коэффициент
касательной к графику функции при
, то дифференциал
-- это приращение ординаты
точки касательной
![]()
к графику функции
, когда абсцисса точки касательной получает приращение
:
![]()
Рис.4.6.Дифференциал равен приращению ординаты касательной
Замечание 4.6 Заметим, что для функциипроизводная равна 1, так что дифференциал
равен
, то есть
. Поэтому можно всюду вместо приращения независимой переменной
писать её дифференциал
. При этом получается, что для произвольной дифференцируемой функции
![]()
Замечание 4.7 Часто в обозначении дифференциала функции пропускают второй аргумент, от которого
зависит линейно, и пишут короче:
Однако нужно чётко понимать, что это лищь сокращённая запись, и на самом деле дифференциал -- это функция двух аргументови
, линейная по
.
Замечание 4.8 Поскольку для функциидифференциал записывается как
, то, деля на
, получаем
что придаёт смысл обозначению производной в виде отношения дифференциалов. Это обозначение было введено нами ранее, однако выше мы не придавали дробисмысла некоторого отношения двух величин, а смогли сделать это только сейчас.