У математичному аналізі (комплексному або дійсному) радіусом збіжності степеневого ряду називається невід'ємне дійсне число (або нескінченність), таке що в усіх точках розташованих на відстані від центру степеневого ряду меншій, ніж це число цей ряд збігається. До того ж виявляється, що ряд збігається абсолютно у всіх точках круга з цим радіусом і в усіх точках розташованих на відстані від центру степеневого ряду більшій, ніж радіус збіжності, ряд обов'язково розбігається. Поняття степеневих рядів їх радіусів і кругів збіжності відіграють дуже важливу роль в різних розділах аналізу.
- Теорема Абеля: Нехай ряд має радіус збіжності . Тоді в кругу збіжності цей ряд є абсолютно збіжним і також рівномірно збіжним по на будь-якій компактній підмножині цього круга. Натомість у всіх точках за межами замикання круга збіжності (тобто точках для яких ) ряд є розбіжним. На колі ряд може збігатися абсолютно в одних точках, збігатися умовно в інших і бути розбіжним ще в інших.
- Для знаходження радіуса збіжності можна використати формулу Коші — Адамара: .
- В багатьох випадках зручніше використовувати варіант ознаки Д’Аламбера.
- Позначимо і . Тоді і , якщо ця границя існує.
- Сума степеневого ряду у межах круга збіжності є голоморфною функцією.
- Радіус збіжності степеневого ряду з центром у точці рівний відстані (на комплексній площині) до найближчої точки, в якій функцію — суму ряду не можна визначити так щоб вона була голоморфною. В межах круга збіжності степеневий ряд буде рядом Тейлора цієї функції.
- Нехай і — два степеневі ряди з радіусами збіжності і . Тоді
- Якщо у ряду додатково вільний член є рівним нулю, то
- Для многочленів радіус збіжності очевидно рівний нескінченності.
- Ряд має радіус збіжності рівний одиниці, що легко отримується за допомогою формули Коші — Адамара чи ознаки Д'Аламбера. Його сумою в одиничному крузі є функція . Ця функція має особливі точки у , які розташовані на відстані 1 від початку координат (що є центром даного степеневого ряду). Це узгоджується із властивостями голоморфних функцій і їх рядів Тейлора.
- Ряд має радіус збіжності рівний 1, що легко випливає з формули Коші — Адамара чи функції арктангенс.
- Для ряду , де — числа Бернуллі, радіус збіжності найпростіше знайти за допомогою властивостей функції у лівій частині. Вона може мати особливі точки тільки там де її знаменник є рівним нулю. Окрім того, є усувною особливою точкою. Загалом особливі точки мають вигляд Серед ненульових з них найближчі розташовані до нуля на відстані і тому .
- Ряд має радіус збіжності рівний 0.
На границі круга збіжності (тобто на колі радіуса з центром у центрі степеневого ряду) можливі різні варіанти щодо збіжності ряду: він може збігатися абсолютно, неабсолютно або взагалі розбігатися. Нижче наведено кілька прикладів для рядів із одиничним радіусом збіжності.
Критерії збіжності на границі
- Ознака Д’Аламбера: Якщо при і виконано нерівність
- тоді степеневий ряд є абсолютно збіжним в усіх точках кола і збіжність є рівномірною по . Цю ознаку зокрема можна використати для доведення абсолютної збіжності у всіх точках границі для ряду з третього прикладу.
- Ознака Діріхле: Якщо всі коефіцієнти степеневого ряду є додатними дійсними числами і послідовність монотонно збігається до нуля, тоді цей ряд є збіжним в усіх точках кола , окрім, можливо, точки . Цю ознаку зокрема можна використати для доведення збіжності у всіх точках границі за винятком 1 для ряду з другого прикладу.
- Теорема Ландау. Нехай — степеневий ряд з одиничним радіусом збіжності і . Для кута позначимо . Іншими словами є регіоном комплексної площини обмеженим двома променями, що йдуть від точки 1 у лівій комплексній півплощині з кутом симетрично щодо дійсної прямої.
- Якщо існує послідовність для деякого , така що , ціла частина числа для починаючи з деякого числа і . Тоді .
Для степеневих рядів багатьох змінних аналогом круга збіжності є логарифмічно опукла повна область Рейнхардта. Натомість кожна логарифмічно опукла повна область Рейнхардта є областю збіжності деякого степеневого ряду.
Також можна дати означення полікруга збіжності, як полікруга, в кожній точці якого степеневий ряд збігається абсолютно і не існує жодного полікруга, що строго містить цей полікруг, для якого теж би виконувалася ця властивість. Мультирадіус цього полікруга називається мультирадіусом збіжності. Координати мультирадіуса мають задовольняти співвідношення із коефіцієнтами ряду які випливають із формули Коші — Адамара. Всі полікруги, що задовольняють ці співвідношення є полікругами збіжності даного степеневого ряду. Довільний полікруг є полікругом збіжності деякого степеневого ряду.
Sierpiński, Wacław (1918), O szeregu potęgowym który jest zbieżny na całem swem kole zbieżności jednostajnie ale nie bezwzględnie, Prace matematyka-fizyka, т. 29, с. 263—266
- Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2403 с.(укр.)
- Грищенко А.О., Нагнибіда М.І., Настасів П.П. Теорія функцій комплексної змінної. — К.: Вища школа, 1994. — 375 ст.
- Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969.
- Boos, Johann (2000). Classical and modern methods in summability. New York: Oxford University Press. ISBN 019850165X.
- Greene, Robert E.; Krantz, Steven G. (2002), Function Theory of One Complex Variable (вид. 2nd), American Mathematical Society, ISBN 0-8218-2905-X
- Scheidemann, Volker (2005), Introduction to complex analysis in several variables, Birkhauser, ISBN 3-7643-7490-X