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