16Нахождение производных

На прошлой лекции и семинаре мы нашли производные нескольких функций, пользуясь определением. Однако, как и в случае пределов, доказательства по определению — довольно трудоёмкое занятие. На этой лекции мы докажем несколько теорем, позволяющих вычислять производные функций, заданных формулами, с помощью достаточно простого алгоритма.

16.1Арифметика производных

16.1.1Производная суммы

Начнём с простого: производной суммы.

Теорема 1. Пусть функции и дифференцируемы в точке . Тогда функция дифференцируема в точке и

Доказательство. Воспользуемся определением производной:
Перегруппируем слагаемые в числителе и разобъём дробь на две:
По теореме о пределе суммы:
Пределы в левой части равенства существуют, поскольку и дифференцируемы в точке , и следовательно теорему о пределе суммы применять можно. Теорема доказана.

16.1.2Производная произведения

Тут получится немножко сложнее, но не сильно.

Теорема 2. Пусть функции и дифференцируемы в точке . Тогда функция дифференцируема в точке и

Доказательство. Снова запишем определение производной:
Аналогично теореме о пределе произведения, полезно нарисовать картинку 16.1 и представить разность произведений в виде суммы площадей двух прямоугольников.
Нарисовано два прямоугольника, большой с шириной f(x_0+Delta x)
и высотой g(x_0 + Delta x) и поменьше с шириной f(x_0) и высотой
g(x_0), второй вписан в левый нижний угол первого. Уголок между
ними разбит на два прямоугольника: наверху с шириной f(x_0) и
справа с высотой g(x_0 + Delta x)
Рис. 16.1: Разбиваем разность произведений в сумму двух произведений
Подставляя это в (16.1) и разбивая дробь в сумму двух дробей, получаем:
Каждая из двух дробей стремится к соответствующей производной, сомножитель не зависит от и стремится сам к себе, стремится к , поскольку функция непрерывна в точке , т.к. она дифференцируема в этой точке (см. теорему 1 из предыдущей главы). Пользуясь теоремами о пределах суммы и произведения, получаем искомое.

Пример 1. Найдём производную функции :

16.2Производная частного

Теорема 3. Пусть функция дифференцируема в точке и . Тогда функция дифференцируема в точке и

Доказательство этой теоремы несложно провести пользуясь определением, аналогично двум предыдущим теоремам. Оставляем это в качестве полезного упражнения.

Теорема 4. Пусть функции и дифференцируемы в точке и . Тогда функция дифференцируема в точке и

Эту теорему легко вывести из теоремы о производной произведения и теоремы 3. Тоже оставляем в качестве упражнения.

16.3Производная сложной функции

16.3.1Картинка и формулировка

Чтобы сформулировать теорему о производной сложной функции полезно нарисовать картинку и обсудить ещё один способ думать о производной. Пусть функция дифференцируема в точке , а функция дифференцируема в точке . Рассмотрим их композицию — функцию . Будем использовать переменные , и : функция отображает в , функция отображает в , а функция —  в , см. рис. 16.2. Рассмотрим маленький отрезок на оси . Под действием функции он отображается в отрезок на оси . Производная показывает, во сколько раз отрезок больше отрезка при маленьких . Иными словами, показывает, во сколько раз маленькие отрезки с одним из концов в точке растягиваются под действием .
Описание см. в тексте.
Рис. 16.2: Действие композиции на маленький отрезок

Проследим за тем, что происходит с отрезком под действием отображения . Сначала на действует отображение и он превращается в , растягиваясь примерно в раз. Затем на отрезок действует отображения и он превращается в отрезок . Во сколько раз отрезок больше отрезка ? Во столько, во сколько раз отображение растягивает маленькие отрезки, один конец которых совпадает с точкой . Чтобы найти это число нам нужно вычислить значение производной функции в точке , то есть .

Во сколько раз отрезок больше отрезка ? Мы сначала растянули отрезок в раз, а потом ещё в . Значит, в итоге он растянулся в раз. Это и есть значение прозводной функции в точке .

Эти рассуждения не претендуют на аккуратность — аккуратное доказательство будет ниже. Но теперь мы можем сформулировать теорему о производной сложной функции, и получающаяся в ней формула не будет казаться взявшейся с потолка.

Теорема 5. Пусть функция дифференцируема в точке , а функция дифференцируема в точке . Тогда функция дифференцируема в точке и

16.3.2Аккуратные оценки

Доказательство. Обозначим . Определим следующие функции: Тогда
и
Последнее равенство мгновенно следует из картинки (см. рис. 16.3), но формально доказывается так. Заметим, что
Таким образом,
и правая часть (16.2) превращается в определение производной .

Нарисованы три оси x, y, z, отмечены точки x_0 и x_0 + Delta x на
оси x, y_0 = f(x_0) и f(x_0 + Delta x) на оси y и
g(y_0)=g(f(x_0))=h(x_0), g(f(x_0+Delta x) = h(x_0 + Delta x) на оси
z. Между осями проставлены стрелочки, показывающие, как действуют
отображения f и g. Отрезок между x_0 и x_0 + Delta x имеет длину
Delta x, отрезок между y_0 = f(x_0) и f(x_0 + Delta x) имеет длину
Delta f(Delta x), отрезок между h(x_0) и h(x_0 + Delta x) имеет
длину Delta g(Delta f(Delta x)).
Рис. 16.3: Функции и

Первая попытка. Естественный первый шаг состоит в том, чтобы представить отношение

в виде произведения двух отношений:
Дальше мы могли бы перейти к пределу при и получить искомое произведение производных. Однако, тут нас поджидает проблема: значение выражения (16.3) определено не всегда. Может так случиться, что отображение переведёт в ту же точку, что и , то есть отрезок схлопнется в точку. В этом случае и делить на него нельзя. Что же делать?

Новые функции. Давайте рассмотрим такую функцию:

Она определена в некоторой проколотой окрестности нуля. По определению производной функции ,
Теперь рассмотрим новую функцию:
Иными словами, мы доопределили функцию в нуле значением . Функция непрерывна в точке — мы её ровно так доопредили, чтобы предел функции в этой точке был равен её значению.

Докажем, что для всех из некоторой проколотой окрестности нуля выполняется равенство

Рассмотрим два случая:
  1. Пусть . Тогда
    В этом случае правая часть (16.5) совпадает с (16.3) и в нём можно сократить на и равенство выполняется.
  2. Пусть теперь . Тогда левая часть (16.5) равна нулю (поскольку функцию в нуле принимает значение ), равно как и правая часть, и значит равенство снова выполняется.

Предел сложной функции. Перейдём теперь в равенстве (16.5) к пределу при . Имеем:

Второй сомножитель стремится к . Для нахождения предела первого сомножителя воспользуемся теоремой о пределе сложной функции. Предел внутренней функции при равен нулю. (Действительно, функция непрерывна в точке , поскольку дифференцируема в этой точке, и значит .) Внешняя функция непрерывна в нуле по построению. Значит,
Таким образом, по теореме о пределе произведения,
и теорема доказана.

Пример 2. Найдём производную функции . Внутренняя функция . Внешняя функция . Их производные: , . Тогда

Замечание 1. Рассмотрим композицию трёх функций: . Найдём её производную:
Как мы видим, при дифференцировании композиции нескольких функций их производные как бы «нанизываются» друг на друга в виде длинного произведения. По-английски теорема о производной сложной функции называется chain rule, по-русски её иногда называют цепным правилом.

16.4Заключение

Мы доказали основные теоремы, позволяющие находить производные любых функций, заданных формулами, если известны производные их элементарных составных частей. Например, сколь бы сложной ни была формула, если в ней участвуют только арифметические операции, экспоненты и тригонометрические функции, мы можем посчитать её производную. Когда производная найдена, она позволяет ответить на множество вопросов про поведение функции — в частности, найти её экстремумы и промежутки монотонности. Подробнее о связи свойств производной со свойствами самой функции — на следующей лекции.