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