19Старшие производные и выпуклость

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

Такого типа разница в поведении функций часто оказывается важной с практической точки зрения. Например, в экономике известен закон убывающей предельной полезности. Увеличение какого-нибудь ресурса приносит разную отдачу в зависимости от того, много его в наличии или мало: чем больше ресурса есть, тем меньший эффект от его увеличения. Бывают и обратные ситуации. Например, экономический эффект от коммуникационной сети при увеличении количества её участников (можно думать о периоде истории, когда только-только изобрели телефоны) растёт с ускорением (можно считать, что для каждого владельца телефона полезность телефонной сети растёт линейно с ростом числа человек, которым можно позвонить, и значит эффект от всей сети в целом для общества будет расти квадратично).

С математической точки зрения эта разница в поведении функций связана со свойством выпуклости. Его-то мы и обсудим. Но сперва поговорим про старшие производные.

19.1Старшие производные

Пусть у нас есть какая-нибудь функция и мы хотим различать ситуации, когда её график «загибается вверх» (то есть она растёт с ускорением) или «вниз» (то есть замедляется). Поскольку скорость роста функции — это её производная, нас интересует, возрастает производная или убывает. Чтобы исследовать функцию на возрастание и убывание, мы можем воспользоваться производной, но что делать, если мы хотим исследовать таким образом саму производную? Нужно посчитать производную от производной! Она называется второй производной исходной функции.

Пример 1. Рассмотрим функцию . Её производная равна
а вторая производная — это просто производная первой производной:

Аналогично можно определить третью производную (производную от второй производной) и т.д. Формальное определение такое:

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

Вопрос 1. Пусть — некоторый многочлен степени :
Найдите его -ую производную .
 

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

 

Верный ответ. Верно! Каждый раз при дифференцировании будет сноситься очередная степень, и каждый раз она будет уменьшаться на 1. В результате за дифференцирований вынесется .

 

Неверный ответ. Нет, уже в первой производной не будет фигурировать.

 

Неверный ответ. Не совсем. Попробуйте взять и проверьте, что получится.

  .

Неверный ответ. Ну нет. Попробуйте взять и проверьте, что получится.

Замечание 1. Может так оказаться, что функция дифференцируема в какой-то точке, но её вторая производная в этой точке не существует. Например, рассмотрим функцию
Её первая производная имеет вид:
Можно проверить по определению, что в нуле производная определена и действительно равна нулю (проверьте!). Однако, вторая производная в нуле уже не определена: функция имеет в нуле излом.

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

19.2Выпуклость вверх и вниз

19.2.1Геометрическое определение

Допустим, я хочу сказать, что некоторая функция растёт с ускорением. Можно было бы сказать, что её производная возрастает. Однако, не у всякой функции есть производная. Оказывается, можно дать определение, которое будет выражать ту же идею «роста с ускорением», но не требовать производных.

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

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

Пример 2. Функция является нестрого выпуклой вниз, а — строго выпуклой вниз. Эти факты можно строго доказать, но мы пока ограничимся картинками.

Замечание 2. Иногда вместо «выпуклость вверх» и «выпуклость вниз» говорят «выпуклость» и «вогнутость». Мало того, что невозможно запомнить, кто из них кто, так ещё и в разных источниках терминология отличается с точностью до наоборот. Мы не будем использовать эти термины, чтобы не создавать путаницу.

Термины «выпуклость вниз» и «выпуклость вверх» кажутся достаточно наглядными: достаточно представить себе график , который смотрит «выпуклостью вниз», и , который смотрит «выпуклостью вверх».

19.2.2Аналитическое определение

Геометрическое определение в терминах хорд достаточно наглядно, но для доказательств полезно переформулировать его аналитически. Для этого нужно научиться параметрически задавать точки на хорде.

Рассмотрим две точки на декартовой плоскости: и . Пусть для определенности и (хотя рассуждения будут верными и в других случаях). Пусть и Точка делит отрезок в отношении , то есть отношение длин отрезков и равно . (Проверьте — это простое вычисление!) Можно думать про как о «средневзвешенном» между точками и : при получается точка , по мере того, как увеличивается, точка сдвигается в сторону , при получается . Если , получается середина отрезка.

Аналогично ведёт себя точка .

Утверждение 1. Рассмотрим точку на плоскости
Она лежит на отрезке с концами в точках и и делит этот отрезок в отношении .

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

Рассмотрим точку , которая лежит на отрезке и делит его в отношении . Докажем, что .

Проведём через точки , и вертикальные прямые до пересечения с горазонтальной осью в точках , и . По теореме Фалеса точка разбивает отрезок в том же отношении, в котором точка разбивает отрезок . Значит, .

Аналогично проведём через точки , и горизонтальные прямые до пересечения в вертикальной осью в точках , и . По той же теореме Фалеса точка должна совпадать с точкой . Значит, имеет координаты , то есть совпадает с точкой .

Теперь мы готовы дать аналитическое определение выпуклости.

Определение 3. Пусть областью определения функции является некоторый промежуток (интервал, отрезок, полуинтервал, луч, вся прямая). Говорят, что (нестрого) выпукла вниз , если для любых различных точек , и любого :
Соответственно, (нестрого) выпукла вверх, если
Чтобы получить строгую выпуклость, надо нестрогое неравенство заменить на строгое.

Замечание 3. Пусть , . Тогда точка лежит на графике функции , а точка — на соответствующей хорде. Таким образом, неравенства в определении 3 говорят ровно то же самое, что и в определении 2: что точка на графике лежит над или под точкой на хорде.

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

Определение 4. Скажем, что точка лежит (нестрого) выше (или над) графиком функции , если . В частности, точка лежит над некоторой прямой , если .

19.2.3Хорды, касательные и производные

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

Доказательство. Мы докажем, что из первого утверждения следует второе, из второго третье, а из третьего — первое. Таким образом будет доказано, что все три утверждения эквивалентны.

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

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

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

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

Чтобы доказать, что из третьего утверждения следует первое, нам понадобится несколько дополнительных понятий и утверждений.

19.3Выпуклые множества и функции

Определение 5. Множество на плоскости называется выпуклым, если для любых точек , весь отрезок лежит внутри . Например, круг и треугольник выпуклы, а звезда — нет.

Определение 6. Надграфиком функции называется множество точек плоскости, лежащих над её графиком (включая сам график). Формально:

Упражнение 2. Догадайтесь, что такое подграфик функции.

Утверждение 2. Функция является выпуклой вниз тогда и только тогда, когда её надграфик выпуклый.

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

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

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

Замечание 4. Аналогично, если функция выпукла вверх, выпуклым является её подграфик.

Замечание 5. Рассмотрим произвольную невертикальную прямую на плоскости. Она является графиком некоторой функции и делит плоскость на две полуплоскости — надграфик этой функции и подграфик. По упражнению 1, линейная функция одновременно выпукла вверх и вниз, и значит полуплоскости являются выпуклыми множествами.

Утверждение 3. Пусть — набор выпуклых множеств . Тогда их пересечение
выпукло.

Множество по определению состоит их тех точек плоскости, которые содержатся во всех .

Пример 3. Здесь — «номер» очередного множества в наборе, но при этом не обязан быть натуральным числом. Например, можно рассмотреть набор треугольников с вершинами , и для всех (пусть каждый треугольник включает свои стороны).

Упражнение: найти в этом примере. (Даже не пытайтесь двигаться дальше, если вы не можете выполнить это упражнение.)

Доказательство. Рассмотрим две любые точки . Поскольку , то для всех , . Аналогично, для всех , . Следовательно, для всех , отрезок (поскольку каждое выпукло). Следовательно, .

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

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

Пример 4. Функция выпукла вниз. Действительно, , . Доказать это утверждение вручную, пользуясь определением 3 тоже можно, но гораздо тоскливее (попробуйте!).

19.4Заключение

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