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