Непрерывные и дифференцируемые функции
[32/84%]Пусть
Докажите, что функция является полиномом степени не выше тогда и только тогда, когда при любых .
Пусть . Докажите, что при тогда и только тогда, когда и равномерно непрерывна на .
Пусть функция дифференцируема на отрезке . Докажите, что если , то существует такая точка , что (теорема Дарбу).
Пусть функция дифференцируема на отрезке . Докажите, что если множество замкнуто при любом , то .
Пусть функция определена на интервале . Докажите, что тогда и только тогда, когда отношение стремится при к конечному пределу равномерно на каждом промежутке из ().
Пусть и для любого существует конечный предел . Докажите, что
если на , то функция возрастает;
если , то функция постоянна;
если , то .
Пусть и для любого существует конечный предел . Докажите, что
если на , то функция выпукла;
если , то функция есть многочлен не выше первой степени (теорема Шварца);
если , то .
Пусть функция дифференцируема на () и удовлетворяет условию: для любой точки существует такое число , что при . Докажите, что функция есть многочлен не выше второй степени.
Пусть - замкнутое множество без внутренних точек. Докажите, что существует такая строго возрастающая функция , что .
Пусть . Эквивалентны ли утверждения:
-
функция постоянна на ;
-
;
-
.
Может ли производная всюду дифференцируемой и не постоянной на интервале функции обратиться в нуль
во всех иррациональных точках этого интервала?
на плотном подмножестве (в каждом непустом подынтервале имеется корень производной)?
Изменится ли ответ, если дополнительно потребовать ограниченности производной?
Пусть . Докажите, что если функция непрерывна в точке , то и функция непрерывна в этой точке.
Пусть функция определена на промежутке . Вариацией функции на называется наименьшая верхняя граница всевозможных сумм
Функция называется функцией ограниченной вариации на , если . Символом будем обозначать множество всех функций, имеющих ограниченную вариацию на .
Пусть . Докажите, что
Рис. 6
Докажите, что
если , где или 1 , то ;
на средней трети каждого промежутка , определённого при построении канторова множества (см. § 1 гл. I), функция постоянна и принимает значение ;
;
при ;
при ;
при ;
при , где .
Пусть при
График функции изображён на рис. 6 к задаче 3.13. Функцию называют канторовой функцией (а её график - «канторовой лестницей»).
Найдите длину графика канторовой функции.
При каких канторова функция входит в класс
Пусть - обобщённое канторово множество (см. определение перед задачей I.1.29), - его сегменты -го ранга. Пусть, далее, - интервалы, удаляемые из сегментов при построении сегментов -го ранга.
Определим на функцию следующим образом:
Функцию будем называть канторовой функцией, соответствующей множеству . Докажите, что
функция возрастает и непрерывна на ;
для любой точки и любого числа справедливо неравенство (функция строго возрастает в любой точке множества ).
Обобщённое канторово множество строится следующим образом. Пусть - произвольный невырожденный сегмент. Множество получается удалением из непустого интервала , концы которого не совпадают с и ; иными словами, есть объединение двух невырожденных сегментов и , называемых сегментами первого ранга. При построении сегментов -го ранга из каждого сегмента -го ранга удаляется непустой интервал , концы которого не совпадают с концами ; разность состоит из двух сегментов -го ранга, левый из которых обозначается , а правый - . Множество есть объединение всех сегментов -го ранга. Если множество не имеет внутренних точек, то оно называется обобщённым канторовым множеством.
Пусть - замкнутое множество без изолированных точек. Докажите, что существует такая функция , что
-
при любом ;
-
при любом и любом .
Пусть при . Докажите, что дифференцируема на , но функция не дифференцируема в нуле. Существует ли при ?
Пусть при . Докажите, что
, если и только если ;
лишь при ;
если , то , где .
Пусть . Постройте функцию из класса , не имеющую ограниченной вариации ни на каком невырожденном промежутке .
Укажите такие функции , что
и при любом ;
и при любом .
Пусть функция непрерывна и -периодична,
Докажите, что , точнее, что
Пусть . Докажите, что , но при .
Пусть , где . Докажите, что , где , но при .
Пусть . Докажите, что при любом . Верно ли, что ?
Пусть . Докажите, что
при ;
функция не дифференцируема ни в одной точке.
Оцените сверху модуль непрерывности функции .
В задачах 3.27-3.29 рассматриваются различные варианты примера Вейерштрасса всюду непрерывной, но нигде не дифференцируемой функции. В своё время этот пример вызвал оживлённое обсуждение. Широко известны слова Ш. Эрмита, что он «с ужасом отворачивается от внушающей сожаление язвы непрерывных функций, не имеющих ни в одной точке производной» (по мнению Н.Бурбаки, это сказано «не без некоторого юмора, который, по-видимому, дошёл не до всех комментаторов»). Большая свобода приводимой ниже конструкции позволяет, основываясь на общей идее, строить недифференцируемые функции, принадлежащие классам при любом . Отметим, что в классе такие примеры заведомо невозможны, так как в силу теоремы Лебега функции ограниченной вариации (и тем более функции из класса ) дифференцируемы на множестве полной меры (см., например, [Ву], [КФ], [Т]). Однако существуют нигде не дифференцируемые функции, модуль непрерывности которых «сколь угодно мало» отличается от липшицевского.
Пусть - произвольная определённая на полуоси непрерывная возрастающая функция, удовлетворяющая условиям: убывает при и .
Докажите, что существует такая непрерывная, нигде не дифференцируемая -периодическая функция вида
модуль непрерывности которой есть .
Пусть - периодическая и не постоянная на функция, принадлежащая классу .
Докажите, что для любого непрерывная функция
не дифференцируема ни в одной точке, если параметр достаточно велик.
Докажите, что если последовательность положительных чисел такова, что , то при любом функция
принадлежит классу , а при это уже, вообще говоря, не так.
Пусть - множество критических точек функции . Докажите, что
если для любой точки , то
если функция дважды дифференцируема на , то
Говорят, что функция , определенная на промежутке , содержащем точку , принадлежит классу (), если существуют такие положительные числа и , что для любой точки из пересечения .
Точка, в которой производная гладкой функции (в случае функций нескольких переменных - градиент гладкой функции) обращается в нуль, называется критической точкой этой функции, а значение функции в критической точке называется её критическим значением.
Докажите, что существует функция , у которой множество критических значений совпадает с классическим канторовым множеством (см. задачу I.1.29 и текст перед ней).
По теореме Сарда (см., например, [МУ]) множество критических значений функции из класса имеет меру нуль и, следовательно, не содержит внутренних точек. Предположение о -гладкости функции не может быть существенно ослаблено.
Точка, в которой производная гладкой функции обращается в нуль, называется критической точкой этой функции, а значение функции в критической точке называется её критическим значением (см. также задачу 3.30).
Обобщённое канторово множество называется однородным, если для каждого длины всех его сегментов -го ранга (см. замечание к задаче 3.17) одинаковы; обозначим эту общую длину (полагая ). Если отношение одно и то же при всех , то такое множество называется множеством с постоянным отношением ; при этом . Классическое канторово множество получается при и .
Взяв функцию , построенную в предыдущей задаче, и положив , покажите, что утверждение теоремы Сарда перестаёт быть верным в классе функций, у которых частные производные первого порядка удовлетворяют условию Липшица с показагелем . Модифицируя это построение, убедитесь, что контрпример к теореме Сарда можно получить и в классе гладких функций, частные производные которых удовлетворяют условию Липшица с любым показателем .