Выпуклость
[41/98%]Докажите, что выпуклая на промежутке функция удовлетворяет неравенству Иенсена для всех .
Функция называется выпуклой (строго выпуклой), если для всех точек , и чисел , выполняется неравенство
Если функция выпукла, то функция называется вогнутой.
Пусть функция задана на промежутке - точки из . Рассмотрим три хорды, соединяющие пары точек графика с абсциссами и и и . Угловые коэффициенты этих хорд суть, соответственно, . Докажите, что для выпуклости функции необходимо и достаточно, чтобы для любой тройки точек из выполнялись неравенства
(лемма о трёх хордах, см. рис. 8).
Рис. 8
Проверьте, что это двойное неравенство равносильно тому, что
Пусть функция , заданная на промежутке , удовлетворяет неравенству для всех . Докажите, что
удовлетворяет неравенству Иенсена
для любых рациональных ;
если функция непрерывна, то она выпукла.
Докажите, что условие непрерывности в задаче 1.3 б) можно заменить следующим: функция ограничена сверху на каком-нибудь непустом интервале (или даже на ).
Докажите, что для функции равносильны три утверждения:
-
выпукла;
-
надграфик функции
- выпуклое множество;
-
через каждую точку графика функции можно провести опорную для надграфика прямую (т. е. такую прямую, что все точки надграфика лежат не ниже неё).
Докажите, что если функция, заданная на промежутке, выпукла локально, то она выпукла.
Пусть - выпуклая на промежутке функция. Докажите, что тогда
функция убывает на ;
функция возрастает на для любого .
Пусть функция вогнута на промежутке . Докажите, что для всех выполняется неравенство
Докажите, что если функция выпукла и строго монотонна, то либо выпукла, либо вогнута.
Пусть функция выпукла, а функция выпукла и возрастает. Докажите, что если имеет смысл суперпозиция , то она выпукла.
Пусть . Докажите, что тогда функции выпуклы или нет одновременно.
Пусть функция выпукла на . Докажите, что существует предел , причём .
Докажите, что выпуклая функция , заданная на промежутке , непрерывна на и имеет там конечные возрастающие односторонние производные , а существует всюду, за исключением не более чем счётного множества точек. Докажите, что для любого замкнутого промежутка .
Докажите, что функция выпукла тогда и только тогда, когда для всех выполняется неравенство
В частности, если при всех , то - линейная функция; если дважды дифференцируема в , то она выпукла тогда и только тогда, когда в .
Пусть . Докажите, что для выпуклости функции необходимо и достаточно, чтобы для всех и таких , что , выполнялось неравенство
Пусть функция выпукла на и . Докажите, что постоянна.
Следующая задача часто позволяет при доказательстве тех или иных утверждений о выпуклых функциях предполагать дополнительно их гладкость (в частности, так могут быть решены некоторые из предыдуших задач).
Докажите, что всякая выпуклая на непрерывная функция является пределом равномерно сходящейся убывающей последовательности:
кусочно линейных выпуклых функций;
дважды непрерывно дифференцируемых выпуклых функций.
Докажите, что если функция дифференцирусма, вогнута и неотрицательна, то для всех .
Пусть функция выпукла и возрастает на промежутке . Докажите, что для любых чисел выполняется неравенство
Последовательность называется выпуклой, если , т.е. для любого . Докажите, что если последовательность выпукла, то
;
последовательность монотонна или существует такой номер , что
Пусть - ограниченная выпуклая последовательность (см. задачу 1.20). Докажите, что
;
;
.
Пусть . Положим ,
Докажите, что если функция вогнута, то
;
;
;
,
причём коэффициенты в этих неравенствах нельзя улучшить. Все неравенства имеют простой механический смысл. Например, неравенства а) означают, что среди равновеликих подграфиков вогнутых функций наименьшим и наибольшим статическими моментами относительно оси обладают треугольники, а неравенства г) - что среди таких фигур наименьший и наибольший моменты инерции относительно оси имеют, соответственно, треугольник и прямоугольник.
Сохраним обозначения предыдущей задачи, но будем рассматривать не вогнутые, а выпуклые функции.
Докажите, что дроби и могут принимать любые значения из интервала .
Докажите, что при дроби и также могут гринимать любые значения из интервала .
Уточните оценку сверху в случае, когда величины и фиксированы.
Пусть функция не убывает на и на . Докажите, что для любой выпуклой на функции справедливо неравенство
Пусть функции неотрицательны и выпуклы на промежутке , причём один из концов промежутка - корень обеих функций. Докажите неравенство
Пусть функции и неотрицательны и вогнуты на промежутке . Докажите неравенство
Пусть - множество всех таких неотрицательных нсвозрастающих на промежутке функций , что
Докажите, что для любых функций и из справедливо неравенство
Для каких функций достигается равенство?
Пусть функция интегрируема на промежутке . Докажите, что неотрицательность интеграла для любой выпуклой на функции равносильна тому, что функция удовлетворяет трём условиям:
-
;
-
;
-
для любого .
Пусть функция убывает к нулю на и . Докажите, что , а если выпукла, то . В обоих случаях знак равенства возможен лишь для .
Пусть . Докажите, что - выпуклая функция на .
Положительная функция называется логарифмически выпуклой, если функция выпукла. Докажите, что логарифмически выпуклая функция выпукла и что сумма логарифмически выпуклых функций логарифмически выпукла.
Докажите, что Г-функция Эйлера логарифмически выпукла на .
Пусть - логарифмически выпуклое на решение функционального уравнения . Докажите, что для всех .
Пусть . Докажите, что системе неравенств
где и - произвольные положительные числа, удовлетворяет лишь степенна́я функция с показателем , а если оба знака неравенств заменить на знаки , то лишь степенна́я функция с показателем . Убедитесь в том, что это не так, если заменить знак только во втором неравенстве.
Пусть . Докажите перавенство Гёльдера
Пусть . Положим
Цокажите, что
-
возрастает;
-
;
-
;
-
;
-
функция логарифмически выпукла на промежутке .
Сформулируйте аналоги этих утверждений, заменив выраженисм , где - непрерывная положительная на рункция.
Пусть кусочно непрерывные на функции и удовлетворяют условиям , а функция ыыпукла на . Докажите, что
;
;
если , то
Пусть - вершины вписанного в окружность выпуклого многоугольника, причём вершины и фиксированы. Как при заданном выбрать точки , чтобы
периметр;
площадь многоугольника
были наибольшими?
Источник света, помещённый в точке , освещает область, которая является подграфиком неотрицательной выпуклой функции . Лучи света отражаются от графика и от оси абсцисс по известному закону. Будет ли освещена вся область, если ?
Пусть функция выпукла, - промежуток , а - интервал , где infimum и supremum вычисляются по множеству тех точек , в которых существует .
Преобразованием Лежандра функции называется функция
Величина показывает, насколько нужно сместить по вертикали проходящую через начало координат прямую с угловым коэффициентом , чтобы она стала опорной к надграфику функции (рис. 9).
Рис. 9
Докажите, что
функция выпукла;
если точка не лежит на границе , то
, если не принадлежит границе ;
выполняется неравенство Юнга
функция конечна в интервале и для supremum в определении достигается;
если , то линейна на промежутке ; если линейна на промежутке , то не дифференцируема в точке ;
если , а - строго выпуклая и дифференцируемая в , то непрерывна на дифференцируема на интервале и при этом функции и взаимно обратны;
если , то .
Докажите, что если функция строго возрастает и непрерывна на , то для и выполняется неравенство
Найдите преобразование Лежандра и напишите неравенство Юнга (см. задачу 1.37 г)) для следующих функций:
;
;
график - выпуклая ломаная;
.
Рассмотрим совокупность пар выпуклых на функций, удовлетворяющих условию для всех . Назовём пару экстремальной, если из соотношений следует, что . Докажите, что пара () экстремальна тогда и только тогда, когда , .
Укажите примеры функций, для которых . Докажите, что единственной функцией, совпадающей со своим преобразованием Лежандра, является функция .