Функціональний ряд, область його збіжності. Cтепеневі ряди. Теорема Абеля

(13.28)

і числовий ряд

(13.29)

збігається, то ряд (13.22) збігається в рівномірно.

При наявності нерівності (13.28) говорять, що ряд (13.22) мажорується рядом (13.29), або що ряд (13.29) служить мажорантним рядом для (13.22).

Приклад 2. Розглянемо ряд

Р о з в ' я з о к. Оскільки нерівності виконуються на всій числовій осі, а числовий ряд збігається, то даний функціональний ряд рівномірно збігається на

1.3. Функціональні властивості суми ряду

Ми переходимо тепер до вивчення функціональних властивостей суми ряду, складеного із функцій, в зв'язку із властивістю останніх.

Cума скінченого числа неперервних на відрізку функцій є неперервна на цьому відрізку функція. Для суми ряду (що складається із безмежного числа доданків) ця властивість не зберігається. Тут необхідні додаткові вимоги на неперервні доданки.

Теорема 1 (про неперервність суми ряду). Якщо функції визначені та неперервні в проміжку і ряд (13.22) рівномірно збігається в до суми , то й ця сума буде неперервною в проміжку

Зауваження. Рівномірна збіжність фігурує в теоремі лише як достатня умова і не потрібно думати, що ця умова є необхідною для неперервності суми ряду. Наприклад, ряд

на відрізку має неперервну суму, тотожньо рівну нулю, хоча на цьому відрізку ряд збігається нерівномірно.

Теорема 2 (про почленний перехід до границі). Нехай кожна з функцій визначена в області і має скінченну границю при :

(13.30)

Якщо ряд (13.22) в області збігається рівномірно, то збігається і ряд, складений із цих границь:

(13.31)

і сума ряду (13.22) також має при границю, а саме:

(13.32)

Рівність (13.32) можна записати в такому вигляді:

(13.33)

Таким чином, при наявності рівномірної збіжності функціонального ряду, границя суми ряду дорівнює сумі ряду, складеного із границь його членів, або, іншими словами, допустимий граничний перехід ”почленно”.

Теорема 3 (про почленне інтегрування рядів). Якщо функції неперервні на відрізку і складений з них ряд (13.22) збігається на цьому проміжку рівномірно, то інтеграл від суми ряду (13.22) можна представити таким чином: