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