Функции (продолжение)
[118/96%]Докажите, что выпуклая на промежутке функция удовлетворяет неравенству Иенсена для всех .
Функция называется выпуклой (строго выпуклой), если для всех точек , и чисел , выполняется неравенство
Если функция выпукла, то функция называется вогнутой.
Пусть функция задана на промежутке - точки из . Рассмотрим три хорды, соединяющие пары точек графика с абсциссами и и и . Угловые коэффициенты этих хорд суть, соответственно, . Докажите, что для выпуклости функции необходимо и достаточно, чтобы для любой тройки точек из выполнялись неравенства
(лемма о трёх хордах, см. рис. 8).
Рис. 8
Проверьте, что это двойное неравенство равносильно тому, что
Пусть функция , заданная на промежутке , удовлетворяет неравенству для всех . Докажите, что
удовлетворяет неравенству Иенсена
для любых рациональных ;
если функция непрерывна, то она выпукла.
Докажите, что условие непрерывности в задаче 1.3 б) можно заменить следующим: функция ограничена сверху на каком-нибудь непустом интервале (или даже на ).
Докажите, что для функции равносильны три утверждения:
-
выпукла;
-
надграфик функции
- выпуклое множество;
-
через каждую точку графика функции можно провести опорную для надграфика прямую (т. е. такую прямую, что все точки надграфика лежат не ниже неё).
Докажите, что если функция, заданная на промежутке, выпукла локально, то она выпукла.
Пусть - выпуклая на промежутке функция. Докажите, что тогда
функция убывает на ;
функция возрастает на для любого .
Пусть функция вогнута на промежутке . Докажите, что для всех выполняется неравенство
Докажите, что если функция выпукла и строго монотонна, то либо выпукла, либо вогнута.
Пусть функция выпукла, а функция выпукла и возрастает. Докажите, что если имеет смысл суперпозиция , то она выпукла.
Пусть . Докажите, что тогда функции выпуклы или нет одновременно.
Пусть функция выпукла на . Докажите, что существует предел , причём .
Докажите, что выпуклая функция , заданная на промежутке , непрерывна на и имеет там конечные возрастающие односторонние производные , а существует всюду, за исключением не более чем счётного множества точек. Докажите, что для любого замкнутого промежутка .
Докажите, что функция выпукла тогда и только тогда, когда для всех выполняется неравенство
В частности, если при всех , то - линейная функция; если дважды дифференцируема в , то она выпукла тогда и только тогда, когда в .
Пусть . Докажите, что для выпуклости функции необходимо и достаточно, чтобы для всех и таких , что , выполнялось неравенство
Пусть функция выпукла на и . Докажите, что постоянна.
Следующая задача часто позволяет при доказательстве тех или иных утверждений о выпуклых функциях предполагать дополнительно их гладкость (в частности, так могут быть решены некоторые из предыдуших задач).
Докажите, что всякая выпуклая на непрерывная функция является пределом равномерно сходящейся убывающей последовательности:
кусочно линейных выпуклых функций;
дважды непрерывно дифференцируемых выпуклых функций.
Докажите, что если функция дифференцирусма, вогнута и неотрицательна, то для всех .
Пусть функция выпукла и возрастает на промежутке . Докажите, что для любых чисел выполняется неравенство
Последовательность называется выпуклой, если , т.е. для любого . Докажите, что если последовательность выпукла, то
;
последовательность монотонна или существует такой номер , что
Пусть - ограниченная выпуклая последовательность (см. задачу 1.20). Докажите, что
;
;
.
Пусть . Положим ,
Докажите, что если функция вогнута, то
;
;
;
,
причём коэффициенты в этих неравенствах нельзя улучшить. Все неравенства имеют простой механический смысл. Например, неравенства а) означают, что среди равновеликих подграфиков вогнутых функций наименьшим и наибольшим статическими моментами относительно оси обладают треугольники, а неравенства г) - что среди таких фигур наименьший и наибольший моменты инерции относительно оси имеют, соответственно, треугольник и прямоугольник.
Сохраним обозначения предыдущей задачи, но будем рассматривать не вогнутые, а выпуклые функции.
Докажите, что дроби и могут принимать любые значения из интервала .
Докажите, что при дроби и также могут гринимать любые значения из интервала .
Уточните оценку сверху в случае, когда величины и фиксированы.
Пусть функция не убывает на и на . Докажите, что для любой выпуклой на функции справедливо неравенство
Пусть функции неотрицательны и выпуклы на промежутке , причём один из концов промежутка - корень обеих функций. Докажите неравенство
Пусть функции и неотрицательны и вогнуты на промежутке . Докажите неравенство
Пусть - множество всех таких неотрицательных нсвозрастающих на промежутке функций , что
Докажите, что для любых функций и из справедливо неравенство
Для каких функций достигается равенство?
Пусть функция интегрируема на промежутке . Докажите, что неотрицательность интеграла для любой выпуклой на функции равносильна тому, что функция удовлетворяет трём условиям:
-
;
-
;
-
для любого .
Пусть функция убывает к нулю на и . Докажите, что , а если выпукла, то . В обоих случаях знак равенства возможен лишь для .
Пусть . Докажите, что - выпуклая функция на .
Положительная функция называется логарифмически выпуклой, если функция выпукла. Докажите, что логарифмически выпуклая функция выпукла и что сумма логарифмически выпуклых функций логарифмически выпукла.
Докажите, что Г-функция Эйлера логарифмически выпукла на .
Пусть - логарифмически выпуклое на решение функционального уравнения . Докажите, что для всех .
Пусть . Докажите, что системе неравенств
где и - произвольные положительные числа, удовлетворяет лишь степенна́я функция с показателем , а если оба знака неравенств заменить на знаки , то лишь степенна́я функция с показателем . Убедитесь в том, что это не так, если заменить знак только во втором неравенстве.
Пусть . Докажите перавенство Гёльдера
Пусть . Положим
Цокажите, что
-
возрастает;
-
;
-
;
-
;
-
функция логарифмически выпукла на промежутке .
Сформулируйте аналоги этих утверждений, заменив выраженисм , где - непрерывная положительная на рункция.
Пусть кусочно непрерывные на функции и удовлетворяют условиям , а функция ыыпукла на . Докажите, что
;
;
если , то
Пусть - вершины вписанного в окружность выпуклого многоугольника, причём вершины и фиксированы. Как при заданном выбрать точки , чтобы
периметр;
площадь многоугольника
были наибольшими?
Источник света, помещённый в точке , освещает область, которая является подграфиком неотрицательной выпуклой функции . Лучи света отражаются от графика и от оси абсцисс по известному закону. Будет ли освещена вся область, если ?
Пусть функция выпукла, - промежуток , а - интервал , где infimum и supremum вычисляются по множеству тех точек , в которых существует .
Преобразованием Лежандра функции называется функция
Величина показывает, насколько нужно сместить по вертикали проходящую через начало координат прямую с угловым коэффициентом , чтобы она стала опорной к надграфику функции (рис. 9).
Рис. 9
Докажите, что
функция выпукла;
если точка не лежит на границе , то
, если не принадлежит границе ;
выполняется неравенство Юнга
функция конечна в интервале и для supremum в определении достигается;
если , то линейна на промежутке ; если линейна на промежутке , то не дифференцируема в точке ;
если , а - строго выпуклая и дифференцируемая в , то непрерывна на дифференцируема на интервале и при этом функции и взаимно обратны;
если , то .
Докажите, что если функция строго возрастает и непрерывна на , то для и выполняется неравенство
Найдите преобразование Лежандра и напишите неравенство Юнга (см. задачу 1.37 г)) для следующих функций:
;
;
график - выпуклая ломаная;
.
Рассмотрим совокупность пар выпуклых на функций, удовлетворяющих условию для всех . Назовём пару экстремальной, если из соотношений следует, что . Докажите, что пара () экстремальна тогда и только тогда, когда , .
Укажите примеры функций, для которых . Докажите, что единственной функцией, совпадающей со своим преобразованием Лежандра, является функция .
Докажите, что если функция дифференцируема раз на интервале и , то
где (определение см. в задаче III.3.1).
Пусть функция дифференцируема раз на и для . Докажите, что для некоторого выполняется неравенство
Пусть функция непрерывна на и существуют такие вещественные числа , что
Докажите, что если для всех , то - многочлен.
Пусть , где - вещественные многочлены, . Докажите, что если , то имеет конечное число нулей.
Пусть . Докажите, что для каждого функция обращается в нуль.
Пусть и при . Докажите, что при .
Пусть - промежуток, .
Докажите, что в случае выполняется неравенство
и что константа не может быть уменьшена.
Получите аналогичное неравенство в случае, когда .
Докажите, что если и , то (оценка точная).
Изучите вопрос для произвольного промежутка .
Пусть и . Докажите неравснства:
;
.
Являются ли они точными?
Найдите при условии, что , .
Пусть и для всех . Докажите неравенства:
. Для каких функций достигается равенство?
, если . Можно ли уменьшить правую часть?
Пусть . Докажите, что если функция обращается в нуль на некотором непустом интервале, то
Существует ли такая точка , что ?
Пусть . Докажите, что если последовательность производных ограничена в каждой точке , то она равномерно ограничена: , где не зависит от и .
Пусть и всюду на существует конечный предел . Докажите, что функция имеет вид const .
Докажите, что если в каждой точке вещественной оси хотя бы одна из производных бесконечно дифференцируемой функции обращается в нуль, то эта функция есть многочлен.
Докажите, что любая функция вида
бесконечно дифференцируема на и что за счёт надлежащего выбора чисел можно добиться, чтобы все её производные в точке имели любые наперёд заданные значения (теорема Бореля).
Пусть . Докажите, что если , то можно представить в виде
где .
Пусть и - отображение множества в , удовлетворяющее трём условиям (): 1) ; 2) ; 3) .
Докажите, что для некоторых .
Пусть - неотрицательные непрерывные функции, заданные на . Докажите, что если для некоторого числа выполняется неравенство
то
(перавенство Гронуолла). Выведите отсюда, что если функция и число таковы, что и при , то .
Функция называется положительно определённой, если
для любых векторов и любого . Функция называется условно положительно определённой, если неравенство (1) выполняется при дополнительном условии .
Пусть . Докажите, что
функция - положительно определённая;
функция , где , - условно положительно определённая.
Докажите, что если - конечная мера в , то функция
(преобразование Фурье меры ) положительно определена.
Докажите, что положительно определены функции
Докажите, что
функция - условно положительно определённая;
при функции условно положительно определены.
Докажите, что если функция положительно опредслена, то
положительно определена;
ограничена;
из непрерывности в нуле следует равномерная непрерывность .
Докажите, что если функция положительно определена при всех , то функция является условно положительно определенной.
Пусть . Производная Шварца (шварциан) функции определяется формулой
Проверьте, что для вещественных функций , удовлетворяющих перечисленным выше условиям, справедливы утверждения:
если суперпозиция определена, то
если и суперпозиция определена, то
если на и , то для любого также на , где ( раз);
если , то в точке ;
для того чтобы выполнялось неравенство , необходимо и достаточно, чтобы функция была выпуклой;
если для всех , то функция не имеет строго положительного локального минимума в (принцип минимума модуля).
Почему важна именно отрицательность (а не положительность) шварциана, можно узнать из задач X.1.38-41.
Проверьте, что функции , удовлетворяют условию , если , а функции , - нет .
Проверьте, что любой многочлен степени , все нули которого вещественны, удовлетворяет условию , если .
Пусть попарно различные числа). Докажите, что если кусочно монотонна и для любых точек , принадлежащих одному интервалу монотонности функции , выполняется неравенство
то функция не имеет строго положительного локального минимума во внутренних точках промежутка .
Пусть Для положим
Докажите, что
-
;
\begin{aligned} & S_{n, 0}(x)=1 ; \quad S_{n, 1}(x)=0 ; \quad S_{n, 2}(x)=n x(1-x) ; \ & S_{n, 3}(x)=n x(1-x)(1-2 x) ; \ & S_{n, 4}(x)=n x(1-x)(1+3(n-2) x(1-x)) . \end{aligned}
Пусть . Для положим
Докажите, что
-
;
-
;
-
.
Пусть . Многочлен
называется многочленом Бернштейна функции .
Найдите многочлены Бернштейна следующих функций:
;
.
Пусть функция определена на промежутке . Докажите, что
и ;
для всех .
Докажите, что
если функция возрастает (убывает) на промежутке , то многочлен Бернштейна возрастает (убывает) на ;
если функция выпукла (вогнута) на , то - выпуклый (вогнутый) на многочлен.
Пусть функция определена и ограничена сверху на промежутке . Докажите, что
для всех и ;
если интервал содержится в промежутке , то для всех ;
если интервалы и таковы, что и , то можно указать столь большой номер , что для всех и .
Пусть функции и ограничены на промежутке и совпадают в окрестности точки . Докажите, что последовательности и сходятся или расходятся одновременно и в случае сходимости имеют общий предел.
Пусть функция ограничена на промежутке . Докажите, что
если непрерывна в точке , то ;
если непрерывна в каждой точке замкнутого промежутка , , то на ;
если - точка разрыва первого рода функции , то
Пусть . Докажите, что
если для , то ;
если для всех , то - линейная функция.
Пусть и для любой функции , равной нулю в окрестностях точек 0 и 1 . Докажите, что - линейная функция.
Пусть и . Докажите, что существует такой тригонометрический многочлен вида , что для всех .
а) Пусть . Для и положим
Докажите, что на при . б) Пусть и . Докажите, что существует такой тригонометрический многочлен вида
что для всех .
Пусть . Докажите, что на .
-
Пусть . Докажите, что для всех и справедливо неравенство
где - некоторая положительная постоянная, зависящая только от функции .
-
Пусть и . Докажите, что для всех справедливо неравенство
Пусть функция выпукла на промежутке . Докажите, что для всех .
Пусть и для всех и . Цокажите, что выпукла на .
Пусть . Докажите, что
где последовательность функций равномерно на сходится к нулю (формула Е. В. Вороновской).
Пусть и функция равна нулю вне интервала (), где . Докажите, что
Докажите, что функция линейна, если
Пусть . Докажите, что целочисленность и равносильна тому, что функция является пределом равномерно сходящейся на последовательности алгебраических многочленов с целыми коэффициентами.
Пусть функция определена на промежутке . Докажите, что
где . В частности, если - многочлен, то степень не превосходит степени .
Пусть Докажите, что
-
на любом конечном промежутке;
-
при любом .
Пусть для , где . Докажите, что
-
на любом промежутке , если ;
-
если для любого , то на и на .
-
Докажите, что при фиксированном многочлены , образуют базис в пространстве многочленов, степень которых не превышает .
-
Докажите, что коэффициенты разложения многочлена степени по таким базисам при , образующие таблицу
удовлетворяют равенствам
(сравните с равенствами для биномиальных коэффициентов ).
-
Докажите, что условие при необходимо и достаточно для того, чтобы при достаточно большом числа , , не обращались одновременно в нуль и были неотрицательны.
Докажите, что если - иррациональное число, то для любых и найдётся такое , что . Проверьте, что множество таких относительно плотно на прямой (сравните с задачей I.3.2).
а) Докажите, что если и отношение иррационально, то для любых и найдётся такое , что
Обратно, если система (1) разрешима относительно при любых , , то частное иррационально. б) Докажите, что если и независимы над по модулю 1 , то существует относительно плотное на прямой множество целых решений системы (1).
Какому условию должны удовлетворять вещественные числа , чтобы при любом система уравнений
имела решение , удовлетворяющее условию для некоторого ?
Какому условию должны удовлетворять вещественные числа , чтобы для любых и система уравнений
имела
-
вещественное решение ;
-
относительно плотное множество решений?
Какому условию должны удовлетворять вещественные числа , чтобы для любых и система уравнений
имела
-
целое решение ;
-
относительно плотное множество целых решений?
Пусть , причём . Докажите, что если функция не равна тождественно нулю, то она принимает значения разных знаков.
Определённая на комплекснозначная функция называется равномерно почти периодической (р.п.п.), если для любого существует такое число , что в каждом интервале длины найдётся по крайней мере одно число (-почти период), для которого
Докажите, что каждый квазитригонометрический многочлен
обладает свойством равномерной почти периодичности. Проверьте, что многочлен периодичен тогда и только тогда, когда множители попарно соизмеримы (т.е. их отношения рациональны).
Пусть - функция, имеющая период 1 по каждому аргументу, - линейно независимые над числа, . Докажите, что функция
равномерно почти периодична.
Докажите, что если - непрерывная р. п. п. функция и её -почти периоды ограничены при малых , то периодична.
Докажите, что р.п.п. непрерывная на функция равномерно непрерывна на прямой и ограничена. Существуют ли неограниченные непериодические р. п. п. функции? Следует ли непрерывность из ограниченности?
Докажите, что предел равномерно сходящейся на последовательности р.п.п. функций - р.п.п. функция.
Докажите, что если у р. п. п. функции производная существует и равномерно непрерывна, то она также является р. п. п. функцией.
Докажите, что если первообразная непрерывной р. п. п. функции ограничена, то она также является р. п. п. функцией.
Пусть . Докажите, что функция обладает свойством р. п. п. тогда и только тогда, когда для каждой числовой последовательности из последовательности можно выбрать равномерно сходящуюся на подпоследовательность (компактность семейства сдвигов).
Докажите, что сумма и произведение непрерывных р. п. п. функций - снова р. п. п. функция.
Докажите, что для каждой р. п. п. функции существует среднее значение
Пусть , где - непрерывные р. п. п. функции, а функционал определён в предыдущей задаче. Докажите, что
-
обладает свойствами скалярного произведения (в частности, тогда и только тогда, когда );
-
функции , образуют несчётное семейство, ортогональное относительно этого скалярного произведения;
-
величины при попарно различных вещественных числах удовлетворяют неравенству
(неравенство Бесселя для системы ). Выведите отсюда, что лишь для не более чем счётного множества значений . Может ли это множество быть произвольным счётным подмножеством ?
Пусть , - непериодическая последовательность. Последовательности и определим следующим образом:
Докажите, что хотя бы одна из последовательностей непериодична.
Назовём двоичную последовательность почти периодической, если для любого содержащегося в ней «слова» () - будем также писать - существует такое число , что множество
пересекается со всеми отрезками натурального ряда длины . Аналогично определяется почти периодичность для двусторонних последовательностей.
Пусть - почти периодическая последовательность, - целая часть числа . Является ли р. п. п. функцией?
Верно ли, что для всякой почти периодической последовательности существует предел чезаровских средних
Пусть - иррациональное число, - полоса в , а - множество целых точек в . Проверьте, что ортогональные проекции точек из на сторону полосы (рис. 10) разбивают её на отрезки, длины которых принимают лишь два значения: и . Перенумеровав отрезки целыми числами в порядке их расположения на прямой, положим , если -й отрезок имеет длину , и в противном случае. Докажите, что последовательность почти периодична.
Рис. 10
Рассмотрим последовательность Морса
определяемую равенствами при . Докажите, что она почти периодична.
Пусть для конечной последовательности («слова»)
из нулей и единиц означает , где . Определим последовательность , задавая её начальные отрезки , которые определяются рекуррентно: - любое слово, ,
где - некоторое слово из нулей и единиц,
и т. д. Таким образом, служит началом - началом и т.д. Бесконечная последовательность определяет некоторую последовательность . Докажите, что она периодична или почти периодична.
Последовательностью складок называется последовательность нулей и единиц, начальные отрезки которой длины имеют вид
Название последовательности объясняется тем, что со словом можно связать последовательность складок бумажной полоски, образующихся на ней в результате -кратного ее сгибания (сначала пополам, потом еще раз пополам и т.д.). Если, двигаясь по полоске, каждой складке, приводящей к повороту налево, поставить в соответствие единицу, а складке «поворот направо» - нуль, то получится (рис. 11). Последовательность однозначно определяется заданием чисел
Рис. 11
Докажите, что всякая последовательность складок почти периодична, но не периодична, даже если ограничиться членами со сколь угодно большими номерами.
Докажите, что последовательности складок (см. задачу 4.24) обладают следующим свойством (почти периодичность по Безиковичу): для каждого найдутся такое число и такие числа , что
-
если - число тех , которые попадают в интервал , то для всех интервалов длины ;
-
для каждого ;
-
.
Докажите, что если , где - последовательность складок, то при любом существует предел
(«коэффициент Фурье»), причём
и в остальных случаях. Убедитесь в том, что справедливо «равенство Парсеваля»
Рассмотрим двоичную последовательность
(последовательность Рудина-Шапиро), у которой начальные отрезки длины имеют вид , где и - слова длины , причем , а при слова определяются рекуррентно:
получается из заменой . Докажите почти периодичность этой последовательности.
Заметим, что последовательность является последовательностью коэффициентов многочленов Рудина-Шапиро (см. задачу IX.4.25).