17Применение производных

На прошлой лекции мы обсудили, как искать производные. Теперь поговорим о том, как их применять.

17.1Производные и локальное поведение функций

Производная показывает мгновенную скорость возрастания функции. Логично ожидать, что если производная положительна, то функция возрастает, а если отрицательна, то убывает. Мы обсудим различные формализации этого утверждения.

17.1.1Локальная монотонность

Теорема 1. Пусть функция дифференцируема в точке . Если , то существует такая окрестность нуля, что для всех из этой окрестности верно следующее: если , то , а если , то .

Иными словами, если существует такая окрестность точки , что если мы сдвинемся из вправо, оставаясь в этой окрестности, то значение функции увеличится по сравнению с , а если влево, то уменьшится, см. рис. 17.1

Нарисован график функции y=f(x) и отмечена точка (x_0, f(x_0)).
В этой точке производная положительна, нарисована касательная с
положительных наклоном. Вблизи точки x_0 отмечена окрестность, в
которой f(x)>f(x_0) при x>x_0 и f(x)<f(x_0) при x<x_0. Отмечена
точка x_1 вне этой окрестности, x_1 > x_0 и f(x_1) < f(x_0).
Рис. 17.1: Если мы чуть-чуть сдвинемся из точки вправо, значение функции увеличится по сравнению со значением в , а если влево — то уменьшится. Но для точек вне окрестности это может быть неверно: например, , хотя .

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

Замечание 1. Конечно, аналогично можно доказать аналогичное утверждение для случая : существует такая окрестность нуля, что для всех из этой окрестности верно следующее: если , то , а если , то .

Замечание 2. Формулировка только что доказанной теоремы звучит немножко громоздко. Почему нельзя сказать проще: если производная в точке положительна, функция возрастает, а если отрицательна, то убывает? Проблема в том, что «возрастание» и «убывание» — это свойства, которыми функция может обладать на некотором промежутке (интервале, отрезке), а утверждение про производную касается конкретной точки. Чтобы сказать что-то про убывание или возрастание, нужно определить множество, на котором это свойство выполняется. Кажется естественным такая формулировка: «если производная в точке положительна, то найдётся такая окрестность этой точки, что функция в ней будет возрастать». Оказывается, это утверждене неверно. Например, функция , доопределенная в нуле нулём, дифференцируема в нуле и имеет положительную производную, но нет никакой окрестности нуля, в которой она бы возрастала, см. рис. 17.2. (Докажите!) Поэтому упростить формулировку теоремы не получится. Это не означает, что нельзя сделать верное утверждение про монотонность функции, основываясь на её производной — можно и мы это сделаем. Но требовать мы там будем знакоопределенности производной не в одной точке, а тоже на каком-то промежутке.
import matplotlib.pyplot as plt
import numpy as np
import qqmbr.odebook as ob
# see https://github.com/ischurov/qqmbr/blob/master/qqmbr/odebook.py

x = np.linspace(-0.3, 0.3, 500)
plt.plot(x, x/10 + x ** 2 * np.sin(1 / x))

ob.center_spines(grid=False, minor_ticks=False)
ob.settle_axes(xmin=-0.32, xmax=0.32, ymin=-0.05, ymax=0.05, 
              xlabel="x", ylabel="y", axlabelshift=0.3) 
plt.xticks([])
plt.yticks([])
Рис. 17.2: Функция , доопределенная в нуле нулём, дифференцируема в нуле и имеет положительную производную, но из-за бесконечного количества колебаний нет такой окрестности нуля, в которой она бы возрастала.

17.1.2Необходимое условие экстремума

Одно из главных применений производных — поиск экстремумов.

Лемма 1. (Лемма Ферма) Пусть функция имеет локальный экстремум (минимум или максимум) в точке , определена в некоторой окрестности этой точки и дифференцируема в этой точке. Тогда её производная в точке равна нулю, см. рис. 17.3
Нарисован график функции y=f(x) с двумя точками локального
минимума и одной точкой локального максимума, в точках минимумом
и максимумов проведены касательные, они горизонтальны.
Рис. 17.3: Иллюстрация лемме Ферма

Доказательство. От противного, пусть в экстремум, но производная не равна нулю. Тогда она либо положительна, либо отрицательна. Пусть для определённости положительна. По теореме 1, значение функции можно увеличить, сдвинувшись из немножко вправо. Это значит, что не является точкой локального максимума. Но по той же теореме значение функции можно уменьшить, сдвинувшись из немножко влево. Значит, и не точка локального минимума. Случай отрицательной производной рассматривается аналогично.

Формально: если точка является точкой локального максимума, у неё существует такая -окрестность, что для всякого из этой окрестности,

Но по теореме 1 найдётся такая -окрестность точки , что для всех из этой окрестности, если , то
На пересечении этих окрестностей эти неравенства противоречат друг другу.

Аналогичный результат был бы справедлив и если бы в точке был минимум — в этом случае мы бы взяли значения и получили неравенство

Аналогично рассматривается случай .

Замечание 3. Доказанное утверждение позволяет искать локальные и глобальные экстремумы следующим образом. Сначала находим все точки, которые в принципе могут быть экстремумами, включая все нули производной. Затем анаизируем эти точки — смотрим, действительно ли они экстремумы, и если да, то в каких из них функция принимает самое большое или самое маленькое значение (если нас интересует глобальная оптимизация). Однако, при этом важно ничего не забыть.
  1. Если функция не дифференцируема в какой-то точке, эта точка может быть или не быть экстремумом (например, или при ). То есть точки недифференцируемости являются «подозрительными на экстремум».
  2. Если точка является граничной точкой области определения (или области, в которой нас интересует поведение функции), в ней может достигаться экстремум и без нулевой производной. Например, если рассматривать на отрезке , в точке будет локальный минимум, а в точке — локальный максимум, хотя производная во всех точках равна .
  3. Если нас интересует глобальная оптимизация, важно учесть поведение функции на бесконечности. Например, у функции , определённой при всех вещественных , производная равна . Она обращается в ноль в точках и , причём в у функции локальный максимум, а в — минимум. Однако глобального максимума и минимума у функции нет, поскольку при она стремится к плюс бесконечности, а при — к минус бесконечности.

Вопрос 1. Верно ли обратное? Иными словами, правда ли, что если производная функции в некоторой внутренней точке области определения функции равна нулю, то в этой точке обязательно экстремум?
  Верно.

Неверный ответ. Как насчёт функции ?

  Неверно.

Верный ответ. Конечно! Например, у функции в нуле производная равна нулю, а экстремума нет.

17.2Производные и поведение функции на отрезке

17.2.1Непрерывная на отрезке функция достигает наибольшего и наименьшего значения

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

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

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

Построим последовательность следующим образом. Для всех натуральных положим и пусть

Тогда для всех натуральных
По теореме о двух милиционерах, при .

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

В силу непрерывности функции в точке , её предел в этой точке существует и равен её значению в этой точке. По определению предела по Гейне,

Но мы знаем, что . Следовательно, . Положим .

Точка минимума находится аналогично.

Пример 1. Как обычно, условие непрерывности в теореме очень важно. Например, рассмотрим такую функцию:
Она не является непрерывной и не достигает своего максимума: для любой точки на полуинтервале всегда есть точка правее (например, ), значение в которой больше, а для точки есть точка левее (например, ), значение в которой больше .

17.2.2Теоремы Ролля и Лагранжа

Теорема 3. (Теорема Ролля) Пусть функция непрерывна на и имеет производную на . Пусть . Тогда существует такая точка , что , см. рис. 17.4.

Нарисован график функции y=f(x) и точки a и b на горизонтальной оси
(b>a). Показано, что f(a)=f(b). Отмечена точка c, в которой
касательная горизонтальна. (На картинке две различные точки с
горизонтальной касательной, одна из них отмечена как c)
Рис. 17.4: Иллюстрация к теореме Ролля. Точка с нулевой производной обязательно существует, но не обязательно единственна — на этой картинке есть две подходящие точки.
Доказательство. Поскольку функцию непрерывна на , по только что доказанной теореме 2, она достигает своего максимума и минимума в каких-то точках и . Если хотя бы одна из этих точек принадлежит интервалу , в ней выполняются все условия леммы Ферма и значит производная в ней равна нулю — эту точку мы и возьмём за . Остаётся разобрать случай когда обе точки и находятся на концах отрезка. Но значения на концах отрезка совпадают, и значит , то есть наибольшее значение функции равно её наименьшему значению. Такое может быть только если функция является константой: для всех , . Но константа имеет нулевую производную во всех точках. Значит, возьмём в качестве любую точку интервала — например, его середину .

Теорема 4. (Теорема Лагранжа о конечных приращениях) Пусть непрерывна на отрезке и дифференцируема на интервале . Тогда существует такая точка , что

Иными словами, на интервале найдётся такая точка, что касательная к графику функции, проведённая в этой точке, параллельна секущей, проходящей через точки и , см. рис. 17.5.

Нарисован график y=f(x), отмечены точки x=a и x=b, b>a, y=f(a) и
y=f(b), проведена секущая и точка c, такая, что касательная в этой
точке параллельна секущей
Рис. 17.5: Иллюстрация к теореме Лагранжа
Можно привести такую механическую интерпретацию: пусть мы стартовали в момент времени и закончили движение в момент . Правая часть равенства (17.2) — это средняя скорость. Из теоремы Лагранжа следует, что найдётся какой-то момент времени, в который мгновенная скорость будет равна этой средней. Это логично: не может быть такого, чтобы на протяжении всего пути скорость была бы больше средней (какая же она тогда средняя?), равно как и меньше.
Доказательство. Заметим, что если наклонить рисунок 17.5, так, чтобы секущая стала горизонтальной, касательная тоже станет горизонтальной и получится что-то очень похожее на рисунок 17.4. И это — не совпадение, а ключевая идея доказательства. Правда, буквально наклонить (то есть повернуть) не получится: если график повернуть, он может перестать быть графиком функции. Поэтому мы применим другую операцию — не повернём график, а «скосим» его.

Рассмотрим функцию

Это линейная функция, и её угловой коэффициент равен угловому коэффициенту секущей. Её график — прямая, проходящая через точку параллельно секущей, см. рис. 17.6.
Нарисован график y=f(x), отмечены точки x=a и x=b, b>a, y=f(a) и
y=f(b), проведена секущая и точка c, такая, что касательная в этой
точке параллельна секущей. Также проведена прямая y=h(x)
Рис. 17.6: Построение функции .
Теперь рассмотрим функцию
Эта функция показывает, насколько график проходит выше графика . Таким образом, её график выглядит как скошенная версия графика .

Заметим, что и . Эта функция непрерывна на отрезке и дифференцируема на интервале . Значит, к функции можно применить теорему Ролля и найдётся такая точка , что . Запишем производную:

Значит в точке :

Замечание 4. Часто бывает удобно умножить равенство (17.2) на и перенести в другую сторону:

17.2.3Применение теоремы Лагранжа

Теперь мы готовы доказывать утверждения о связи производной и монотонности функций.

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

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

Вопрос 2. Верно ли обратное? Правда ли, что если функция строго возрастает на отрезке, то её производная положительна внутри этого отрезка?
  Верно, это следует из теоремы Лагранжа.

Неверный ответ. А как насчёт функции ?

  Неверно, есть контрпример.

Верный ответ. Ага! Например, , , хотя функция всюду строго возрастает.

Аналогично с помощью теоремы Лагранжа можно доказывать разные другие утверждение про монотонность функции и производные, вы потренируетесь это делать на семинаре.

17.3Заключение

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