
§2.
Функціональні ряди. Степеневі ряди
189
Ііт
VI
«„001
='(*).
то для визначення області збіжності слід розв'язати нерівність 1(х) < 1 , а
для визначення області розбіжності - нерівність 1(х)> 1. При цьому для
дослідження поведінки ряду в точках, де 1(х) =
1
(в точках межі області),
проводиться додаткове дослідження (це пов'язано з тим, що вказані ознаки
збіжності при І(х) =
1
не дають відповіді на питання збіжний ряд чи ні).
Сума п перших членів ряду (2.15) називається п -ю частинною су-
мою 5
п
(х) ряду, тобто
я„
(*)=£«*(*).
к = \
Функція
5(х) = Ііт 8
п
(х),
/7_>оо
де х є X , називається сумою ряду.
Функція
г
п
(х) = 8(х)-8„(х) =
к = п+]
називається п - м залишком ряду.
Функціональний ряд (2.15) називається рівномірно збіжним на про-
міжку [а,Ь], якщо для будь-якого Є > 0 існує такий номер N є N , що для
всіх п > N і Ухє[а,Ь] виконується нерівність |/•„ (х) | < є.
Функціональний ряд (2.15) називається мажоровним на проміжку
[а, Ь], якщо існує збіжний числовий ряд з додатними членами
І>„ , (2.16)
»=і
такий, що
|и
я
0с)|<а„
(2.17)
на цьому проміжку.
Збіжний числовий ряд з додатними членами (2.16) називаєтьсямажо-
рантним на проміжку [а, Ь] по відношенню до функціонального ряду (2.15).
Теорема 1 (ознака Вейєрштрасса). Якщо функціональний ряд (2.15)
мажоровний на проміжку [а, Ь], то він абсолютно і рівномірно збіжний на
цьому проміжку.
Теорема 2 (критерій Коші). Для того, щоб функціональний ряд (2.15)
був рівномірно збіжним на [а,Ь], необхідно та достатньо, щоб для будь-
якого є > 0 існував такий номер N , що для всіх п > N і для будь-якого
натурального числа р виконувалась нерівність