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