Признаки Дирихле и Абеля равномерной сходимости функционального ряда.

Ради целостности изложения напомним изученные при рассмотрении числовых рядов преобразование Абеля и неравенство Абеля. Пусть дана сумма вида .

Воспроизведем далее выкладки без комментариев:

,

Такое преобразование частичных сумм называется преобразованием Абеля. С его помощью докажем неравенство Абеля.

Лемма (неравенство Абеля). Если и то

Доказательство. Так как

Замечание. Доказательство проходит и в случае Это значит, что можно потребовать просто монотонности . Важно, что оценка дается модулем первого и последнего члена и не зависит от числа слагаемых.

Теорема (признак Дирихле). Функциональный ряд сходится равномерно на множестве D, если выполнены следующие условия:

а) последовательность , равномерно ограничена на множестве D, то есть

б) функциональная последовательность монотонна на множестве D, то есть и равномерно стремится к нулю на множестве D:

Доказательство. Для любого номера , любого и любого целого в силу условия а) имеем

Воспользуемся неравенством Абеля, которое в рассматриваемом случае будет иметь вид (на месте постоянной В стоит 2М)

В силу равномерной сходимости к нулю последовательности мы имеем:

Но тогда для всех n>N₀ и для всех натуральных р мы будем иметь:

Следовательно, в силу критерия Коши равномерной сходимости функционального ряда, ряд равномерно сходится на множестве D.

Теорема доказана.

Теорема (признак Абеля). Функциональный ряд сходится равномерно на множестве D, если выполняются условия:

а) ряд сходится равномерно на множестве D;

б) последовательность монотонна на множестве D, то есть , и равномерно ограничена, то есть

Доказательство. Обозначим тогда ряд удовлетворяет условию Коши, откуда мы получаем

Теперь тоже выполнены условия леммы о неравенстве Абеля, только роль постоянной В играет . Поэтому для всех номеров и для всех неравенство Абеля даст

В силу критерия Коши ряд равномерно сходится на D.

Дата добавления: 2015-07-18