Степеневі ряди в комплексній обл. Круг збіжності

-функціональний комплексний ряд (1)

=> (1)-степеневий комплексний ряд

- степеневий комплексний ряд (2)

-коефіцієнти степеневого ряду

Озн. Якщо в т. ряд (2) збігається, то ми наз. її т. збіжності компл. степеневого ряду.

Множина всіх точок збіжності степеневого ряду наз. областю збіжності степеневого ряду.

При : (3)

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

Дов. Оскільки ряд (3) збігається в т. , то отримаємо: збіжний. За необхідною умовою збіжності ряду

. Виберемо Виберемо Складемо ряд (4) Покажимо, що цей ряд збіжний

загальний член нескінченно малої геометричної прогресії, яка є збіжним числовим рядом.

. За ознакою порівняння ряд (4) збіжний, а отже і ряд (3) є абсолютно збіжним в : . Нехай ряд (3)розбігається в т. . Покажемо, що він буде розбігатися в т. : . Припустимо супротивне, що ряд (3) в т. збігається. Тоді за 1-ю частиною теореми він повинен збігатися в т. . Це суперечить умові.

Теор. (Коші-Адамара)

1) якщо , то степеневий ряд (1) збіг абсолютно на всій числовій осі;

2) якщо , то степ ряд (1) збігається тільки в т ;

3) якщо , то степ ряд (1) збігається абсолютно в інтервалі і розбігається поза ним.

Якщо , то степ ряд збігається в проміжку , ,
рівність є формулоюю Коші-Адамара.

Теор. Нехай степ ряд має радіус збіжності , тоді має місце рівність: . Радіус збіжного останнього степ ряду .

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

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

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

Озн. Степ рядом називається ряд, що має вигляд (1), де - фіксована т, - деяка комплексна зміна, якщо часто розглядають так (2). Степ ряди є частинними випадками функціональних рядів (2), де - деякі функціїї задані на множині .

Функціональний ряд (2) називається рівномірно збіжним на множині до функціїї , кщо .