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