01 Выпуклость и неравенства
Ошибка.
Попробуйте повторить позже
Исследовать на выпуклость следующие функции:
a) ;
b) ;
c) ;
d) ;
a)
Но - выпукла тогда и только тогда, когда , то есть тогда и только тогда, когда , то есть на промежутках вида
На остальных промежутках , наоборот, вогнута.
b)
То есть при функция - выпукла, а при - вогнута.
c) Заметим вначале, что функция, будучи в том числе показательной, определена лишь при ,
,
Но при ограничении на () ясно, что , поэтому всюду, где определена,
она выпукла.
d)
То есть на участке - выпукла, а на дополнении до него - вогнута.
Ошибка.
Попробуйте повторить позже
Доказать неравенство Йенсена для выпуклой функции. А именно, пусть функция - выпукла на интервале и пусть числа таковы, что и . Доказать, что тогда для любых выполнено
Будем доказывать индукцией по .
1. База индукции. При у нас единственный вес , и поэтому неравенство обращается в
тривиальное ;
Заметим, что при мы получаем неравенство
в точности являющееся определением выпуклости на интервале .
2. Шаг индукции. Пусть всё верно для . Докажем для .
То есть фактически нам нужно доказать, что
Сделаем такую хитрость. Ясно, что
И тогда, коль скоро по предположению индукции мы верим, что неравенство Йенсена верно для сумм из слагаемых, то мы можем им воспользоваться
(здесь мы считали выражение
за одно единое слагаемое, и поэтому смогли воспользоваться предположением
индукции - и в левой и в правой части у нас по слагаемых)
Однако ж теперь примем во внимание, что раз была выпукла, то
С учетом этого продолжим писать начатую ранее цепочку неравенств:
Но ровно это и требовалось доказать.
Ошибка.
Попробуйте повторить позже
a) Вывести из неравенства Йенсена, что если - выпукла на , то для любых выполнено
b) Доказать неравенство о средних
для любых ;
c) Доказать, что при
a) Это в точности неравенство Йенсена для частного случая весов
b) Рассмотрим функцию . Поскольку
то функция - выпукла. Следовательно, к ней применимо на любом интервале из луча
неравенство, доказанное в пункте a).
Итак, пусть лежат в некотором интервале . Тогда к этому набору иксов и к
применим неравенство, выведенное из неравенства Йенсена в пункте a):
уберем минусы
Далее, поскольку функция , очевидно, монотонно возрастает, то мы можем применить её к обеим частям неравенства и неравенство сохранится:
И получаем, что
Что и требовалось доказать.
c) Рассмотрим функцию .
Поэтому при , а значит при таких функция будет выпукла и можем
применить к ней неравенство из пункта a) для :
Далее применяем формулу для суммы арифметической прогрессии:
А это, после домножения на есть в точности то, что и нужно было доказать.