28 Функциональные последовательности. Поточечная и равномерная сходимости.
Ошибка.
Попробуйте повторить позже
Верно ли, что если сходятся поточечно к функции
на отрезке
, то
?
Это неверно - поточечной сходимости будет недостаточно. Рассмотрим в качестве примера функциональную последовательность
В силу того, что при
при
, будем иметь, что всюду на отрезке
последовательность
поточечно сходится к нулевой функции (
умножается на
, что не превосходит единицы.)
То есть можно записать, что (
- тождественно нулевая на отрезке
функция).
Но при этом
Таким образом, для любого
, но для предельной функции
(интеграл от нулевой функции равен нулю).
Таким образом, нельзя утверждать, что из поточечной сходимости к
на отрезке
обязательно следует сходимость интегралов
к
.
Ошибка.
Попробуйте повторить позже
Верно ли, что если сходятся поточечно к функции
на отрезке
, и все
-
дифференцируемы на отрезке
, то производные
будут на
сходится поточечно к
производной
?
Это неверно. Рассмотрим, например, функциональную последовательность . Эта
последовательность функций сходится в каждой точке отрезка
, причём предельной функцией
будет
.
И мы видим, что предельная функция не дифференцируема в точке 1, потому что она в точке
1 даже не непрерывна.
Но все наши допредельные функции были для каждого
всюду дифференцируемы на отрезке
:
Значит, при поточечной сходимости, даже если все допредельные функции были всюду на отрезке
дифференцируемы, то в пределе может получиться не всюду на отрезке дифференцируемая функция.
Поэтому поточечный предел не обязан сохранять дифференцируемость, и в таком случае
бессмысленно говорить о том, что мы можем поменять местами предельный переход по и
взятие производной - в пределе никакой производной всюду на отрезке существовать и не
обязано.
Ошибка.
Попробуйте повторить позже
Пусть ,
. Доказать, что тогда
Поскольку в любой точке множества
выполнено неравенство:
То и супремум от обеих частей по всему тоже удовлетворяет тому же неравенству:
Но
Поскольку супремум суммы не превосходит суммы супремумов.
Осталось лишь заметить, что если , то по
-критерию
при
,
и точно так же если
, то по
-критерию
при
.
Таким образом, поскольку
То получится, что и . Но тогда по
-критерию мы
получаем, что
.
Ошибка.
Попробуйте повторить позже
Пусть ,
. И пусть
- ограничены на
. Доказать, что тогда
Поскольку в любой точке множества
выполнено неравенство:
Давайте теперь докажем такое полезное свойство: если и
- ограничена на
, то и все
будут ограничены на
:
Тогда переходя к супремуму по в этом неравенстве:
(супремум суммы не превосходит суммы супремумов).
Тогда получим, что, поскольку , то по
-критерию
при
.
Таким образом,
- уж хотя бы ограничена, а
просто потому что
- ограничена на
по условию.
Таким образом , то есть все
должны
быть ограничены на
.
Продолжим тогда нашу оценку для произвольной точки :
Но тогда переходя к супремуму и вновь учитывая то, что супремум суммы не превосходит суммы супремумов:
Осталось лишь заметить, что если , то по
-критерию
при
, и точно так же если
, то по
-критерию
при
.
Таким образом, поскольку
То получится, что и . Но тогда по
-критерию мы
получаем, что
.
Ошибка.
Попробуйте повторить позже
Верно ли, что если ,
, то тогда
безо всяких дополнительных
предположений про
и
?
Это неверно. Давайте возьмём в качестве (при каждом
). Тогда, очевидно,
,
поскольку у нас вообще нет зависимости от
и
не просто сходится, а вообще всюду равна
предельной функции
.
Пусть . Тогда ясно, что
(
- тождественно нулевая на
функция). То что в
каждой точке
сходится к нулю при
- это очевидно. А то что сходимость
равномерная по
, следует просто-напросто из того, что у нас нет никакой зависимости от
. В таком случае разумеется поточечная и равномерная сходимость - это одно и то же.
Однако их произведение не сходится равномерно на
к произведению
, то есть к нулевой функции.
Действительно, равномерная сходимость на
к нулевой функции по
критерию
эквивалентна тому, что
.
Однако при каждом
, и, значит, не стремится ни к какому нулю при
.
Ошибка.
Попробуйте повторить позже
Пусть - последовательность функций, дифференцируемых на
, да причём так, что
их производные
- всюду непрерывны на
.
Пусть . И пусть, кроме того, последовательность производных
тоже сходится равномерно
на
к некоторой функции.
Доказать, что тогда - дифференцируема, причём
и будет пределом у последовательности
производных
на
.
Обозначим через ту функцию, к которой последовательность производных
сходится
равномерно на
.
Поскольку нам по условию дано, что все производные - непрерывны всюду на
, а
сходимость
- равномерная, то по теореме о непрерывности равномерного предела
непрерывных функций, предел у последовательности производных
- тоже всюду непрерывна на
.
Следовательно, , как и всякая непрерывная на
функция, будет интегрируемой по Риману на
. Точно так же, поскольку по предположению все
- непрерывны на
, они будут
интегрируемы по Риману на
.
Пусть - произвольная точка из
. Тогда, поскольку
, то по теореме о почленном
интегрировании функциональной последовательности, будем иметь:
Но по теореме Ньютона-Лейбница, . Таким образом, получаем:
Но при ,
, ведь
, а значит есть как минимум
сходимость поточечная.
Таким образом, получили соотношение
Далее, поскольку мы потребовали, чтобы , то есть равномерный предел производных, была бы
непрерывна на
, то из этого следует, что интеграл с переменным верхним пределом, то есть
- дифференцируема всюду на
. Но тогда и правая часть, то есть
-
дифференцируема в каждой точке
. И мы доказали, первую часть нашего утверждения, а
именно то, что
, которая была равномерным пределом
- всюду дифференцируема на
.
Давайте теперь в равенстве возьмём производные от левой и правой части и
получим:
Следовательно, производная для в каждой точке совпадает с равномерным пределом
производных для
. И мы доказали, что
.
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Ясно, что в каждой точке отрезка
- поскольку в числителе будет какая-то
константа, а знаменатель будет стремиться к бесконечности.
Но равномерная ли эта сходимость?
Поскольку
И , то, перенося
в правую часть неравенства, получим, что для
всех
и для всех
выполнено
. Следовательно, при
и при всех
будет
. Таким образом,
А поэтому будет сходиться равномерно к нулю на
- ведь какое бы
нам ни дали,
мы всегда можем найти такое
, что при всех
и при всех
- поскольку
достаточно находить такое
так, чтобы при всех
. Тогда и
-
абсолютно для всех
.
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Ясно, что в каждой фиксированной точке , будем иметь:
.
Таким образом, сходится поточечно на
к нулевой функции. Но будет ли эта сходимость
равномерной?
Чтобы она была равномерной, по - критерию должно быть выполнено, что
.
Но при этом для каждого :
То есть при каждом супремум
уж как минимум равен
. Значит, эта
последовательность супремумов к нулю стремиться никак не может.
Таким образом, равномерной сходимости к нулю у на
нет.
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Ясно, что при
, поскольку в числителе у каждой
будет стоять единица, а в
знаменателе - бесконечно большая величина.
Однако при
, то есть в точке 0 все функции
стремятся к единице.
Поэтому сходится поточечно к функции
:
Однако эта сходимость не может быть равномерной, поскольку, очевидно, все были
непрерывны на
, а если они сходились на
равномерно к
, то и
обязана была
быть непрерывна на
, что не так.
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Давайте сначала поймём, к чему поточечно сходится на отрезке
.
Нас интересует, к чему это стремится при каждом фиксированном при
.
Давайте временно заменим на
и посмотрим, к чему стремится
при
. Для этого
сделаем замену
,
:
И мы имеем в любой точке неопределенность вида
при
.
Применяем правило Лопиталя:
Следовательно, при выполнено
. А значит, и если мы будем брать
только натуральные игреки, то есть обратно заменим
на
, то тоже, в частности, получим, что при
любом
:
.
Таким образом, имеем поточечную сходимость. Но будет ли она равномерной?
Мы исследуем на равномерную сходимость на любом отрезке . На любом таком отрезке
предельная функция
непрерывна, а также непрерывны допредельные функции
для любого
.
Кроме того, при каждом фиксированном функция
возрастает по
: поскольку
- убывает по
при каждом фиксированном
, следовательно,
- возрастает по
при каждом фиксированном
.
Следовательно, выполнено все условия теоремы Дини, а, значит, сходимость к
на каждом
отрезке
- равномерная.
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Ясно, что в каждой точке отрезка имеется поточечная сходимость
к нулю. Осталось
выяснить, сходится ли
к тождественно нулевой функции
равномерно на
.
Для исследования на равномерную сходимость будем пользоваться критерием.
Этот супремум для каждой - на самом деле просто максимум, и он обязательно
достигается на отрезке по теореме Вейерштрасса, так как все
- непрерывны на отрезке.
А в силу того, что все они дифференцируемы, точка максимума - либо конец отрезка (что точно
невозможно, потому что на концах отрезка все равны нулю), либо внутренняя точка отрезка, в
которой производная
обнуляется - по лемме Ферма.
Нули производной - это точка 0 и точка . Нетрудно убедиться, что
- точка максимума.
Следовательно, .
Таким образом,
Следовательно, по критерию,
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Ясно, что в каждой точке имеется поточечная сходимость
к
. Осталось выяснить,
сходится ли
к
равномерно на
.
Для исследования на равномерную сходимость будем пользоваться критерием.
Но супремум таких дробей явно достигается тогда, когда знаменатель у них самый маленький, ведь
именно в таком случае дроби будут самыми большими. Ясно, что знаменатель будет самый маленький
при , поэтому
А, значит,
Следовательно, по критерию,
где .
Ошибка.
Попробуйте повторить позже
Исследовать последовательность на равномерную сходимость на множестве
:
Преобразуем слегка :
Ясно, что в каждой точке имеется поточечная сходимость
к
. Осталось
выяснить, сходится ли
к
равномерно на
.
Для исследования на равномерную сходимость будем пользоваться критерием.
Но первая дробь всегда меньше второй, поэтому
Далее,
Но ясно, что при каждом конкретном эта дробь
может быть сделана сколь
угодно большой за счет того, что
в знаменателе может быть сделан сколь угодно близко к нулю.
Ведь при каждом конкретном фиксированном
(так как первый сомножитель при фиксированном
- бесконечно мал, а второй
, очевидно, ограничен).
Следовательно, при знаменатели наших дробей стремятся к нулю, значит дроби
стремятся к бесконечности. Следовательно, для каждого
Следовательно, по критерию,
где .