Математика / Пределы, ряды

Радиус сходимости степенного ряда

Радиус сходимости R определяет главный «каркас» степенного ряда: внутри интервала (a−R,a+R) ряд сходится, вне его расходится. В этом месте удобно разделять задачу на два этапа: сначала анализировать общий коэффициентный шаблон через limsup (или эквивалентный признак отношения), затем отдельно проверять концы. Такой подход резко снижает риск пропуска тонких случаев.

Опубликовано: 13 мая 2026 г.Обновлено: 13 мая 2026 г.

Формула

R=\frac{1}{\limsup_{n\to\infty}\sqrt[n]{|a_n|}},\quad (1/\limsup=\infty\text{ если }\limsup=0),\quad (1/\infty=0)

Обозначения

$R$: радиус сходимости ряда, единицы x
$a_n$: коэффициенты ряда, безразмерный
$x,a$: переменная и центр ряда, параметры ряда
$\limsup$: верхний предел последовательности, безразмерный

Условия применения

Коэффициенты a_n должны быть определены для всех достаточно больших n.
Используется анализ в нормированном числе n→∞.
Если используется признак отношения, требуется существование предела \lim |a_{n+1}/a_n|.

Ограничения

Лимит отношения может не существовать; тогда лучше применять limsup/liminf и отдельные критерии.
По формуле получаем только внутреннюю и внешнюю зоны, а точки a±R требуют отдельной проверки.
Для комплексных рядов логика радиуса сохраняется, но концы проверяются по тем же условиям сходимости в смысле модуля.

Подробное объяснение

Для степенного ряда радиус сходимости задаёт границу по |x-a|. Выводится из общей теории коэффициентной оценки: если коэффициенты растут не быстрее геометрии, ряд ведет себя как геометрический по удалению от центра. Через формулу с limsup автоматически получается ключевая зона. Для практики это значит: пока |x-a| меньше R, есть база для сходимости; когда больше — сходимости нет; а в точках a±R нужно отдельное исследование, потому что там «жесткая граница» может везти к разным результатам.

Как пользоваться формулой

Выделите коэффициенты a_n из записи ряда в стандартной форме.
Вычислите limsup корня n-й степени или примените признак отношения, если предел существует.
Определите внутреннюю область сходимости по неравенству |x-a|<R.
Отдельно проверьте x=a−R и x=a+R методом специальных тестов.

Историческая справка

Понятие радиуса сходимости связано с формализацией работы с бесконечными суммами в XVIII–XIX веках. На ранних этапах использовались эвристические оценки, затем через работы по теории степенных рядов был выстроен критерий по показательной скорости роста коэффициентов. Эта линия важна и в современных курсах, потому что в инженерной и прикладной математике именно радиус задает, где модель работоспособна без дополнительной реконструкции.

Историческая линия формулы

Не существует единственного авторства на формулу радиуса; это итог общего движения анализа и нормировки критериев сходимости. В источниках встречаются вариации через limsup и через отношение, но концептуально это общее наследие строгой школы серии Коши–Вейерштрасса и последующего анализа.

Пример

Ряд e^x = \sum_{n=0}^{\infty} x^n/n! имеет a_n=1/n!, поэтому R=+\infty и его интервал сходимости весь R. Это отражает известную аналитическую продолжимость экспоненты. Ряд ln(1+x)=\sum_{n=1}^{\infty}(-1)^{n+1}x^n/n задается a_n=1/n до знака; из роста 1/n получаем limsup=1 и R=1. Поэтому главный интервал |x|<1, а концы требует отдельной проверки: x=1 даёт \ln2 (сходится), x=-1 недопустимо (ln 0). Этот пример показывает, почему именно «R=1» сам по себе ещё не даёт финального ответа про концы.

Частая ошибка

Типичная ошибка — приравнивать формально R к «схеме» без вычисления limsup и пропускать нестандартный рост a_n. Часто применяют только признак отношения даже когда он не существует или колеблется. Частая ошибка и в концевой проверке: принять x=a±R автоматически расходимыми/сходящими без отдельного анализа. Ещё встречается путаница между R=0 и R=\infty в крайних случаях последовательности коэффициентов.

Практика

Задачи с решением

Радиус для факториального ряда

Условие. a_n=1/n!, f(x)=\sum_{n=0}^{\infty} a_n(x-a)^n. Найти R.

Решение. \sqrt[n]{|a_n|}=\sqrt[n]{1/n!}\to 0, значит limsup=0 и R=1/0=+\infty.

Ответ. \infty

Радиус для геометрического роста

Условие. a_n=2^n, f(x)=\sum_{n=0}^{\infty}2^n(x-a)^n. Найти R.

Решение. \sqrt[n]{|a_n|}=\sqrt[n]{2^n}=2, значит limsup=2 и R=1/2.

Ответ. 1/2

Дополнительные источники

Apostol, Calculus, Vol. 1
Rudin, Principles of Mathematical Analysis

Связанные формулы

Математика

Степенной ряд

$\sum_{n=0}^{\infty} a_n (x-a)^n$

Степенной ряд — это бесконечная сумма, где каждый следующий член строится по одному шаблону степени относительно фиксированного центра a. В таком виде функция описывается через бесконечное многочленное приближение, а локальное поведение переменной x становится управляемым по степеням (x−a). Для практики это удобно: один набор коэффициентов {a_n} определяет весь шаблон приближения и задает область, где сумма имеет смысл.

Математика

Интервал сходимости степенного ряда

$I=(a-R,a+R),\quad a\pm R\text{ — проверяются отдельно }$

После нахождения радиуса сходимости остаётся завершить задачу, исследовав сам интервал. Внутри I ряд гарантированно сходится, вне I расходится, а на концах R-круговой границы возможны любые варианты: сходящийся, расходящийся или условно сходящийся. Поэтому интервал сходимости всегда строится в два шага: «внутри/снаружи» по R и «границы» по отдельным критериям.

Математика

Формула Тейлора с остаточным членом

$f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+R_n(x),\quad R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}$

Формула Тейлора описывает функцию через начальные производные в точке a и остаточный член, который контролирует точность обрезки. В задачах это даёт не только аппроксимацию, но и механизм проверки погрешности через ξ между a и x. Такой подход делает разложение вычислительно безопасным.