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

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

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

Опубликовано: Обновлено:

Формула

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

Обозначения

$I$
интервал сходимости, множество значений x
$R$
радиус сходимости, единицы x
$a$
центр разложения, единицы x
$x$
аргумент ряда, единицы x

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

  • Сначала известен радиус R для данного ряда.
  • Рассматривается ряд с реальной переменной x; для комплексного случая проверка концевых случаев делается по модулю.
  • Для крайних точек нужно выбрать подходящий критерий: знакочередование, абсолютная сходимость, интегральный критерий и т.д.

Ограничения

  • Неполное исследование концов — частая причина неверного интервала.
  • Знакочередующийся критерий применим только при корректном монотонном убывании модуля членов.
  • Точки a±R могут принадлежать интервалу по разным причинам, включая условную сходимость; это нельзя унифицировать формулой.

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

Интервал сходимости — это «готовый» результат, который нельзя сводить только к радиусу. Для степенного ряда радиус даёт «основную» область. Но в окрестности края геометрия меняется: ряды с одинаковым R могут вести себя по-разному на концах. Практически это означает, что в отчёте по ряду всегда нужно явно указать, включены ли крайние точки и в каком смысле (абсолютно/условно).

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

  1. Сначала вычислите полный радиус сходимости ряда R.
  2. Запишите промежуток (a−R,a+R) как базовый ответ.
  3. Проверяйте каждую из крайних точек отдельно по подходящему признаку сходимости.
  4. Уточняйте в финале тип сходимости и фиксируйте, где ряд даёт абсолютно точную функцию.

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

Этапная структура «внутренние точки + отдельно концы» сформировалась в ходе строгой школы анализа на тему бесконечных рядов. Это стало стандартом в учебных курсах из-за частых ошибочных обобщений на границы интервала. В XIX веке именно различение абсолютной и условной сходимости позволило корректно упорядочить примеры, которые раньше казались противоречивыми.

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

Современная форма записи интервала сходимости — результат накопления стандартов анализа, а не результат единого открытия. Конвенция проверять края ряда закреплялась в учебной и исследовательской практике как необходимый минимум корректности.

Пример

Рассмотрим f(x)=\sum_{n=1}^{\infty} x^n/n. По Cauchy-Гауссу R=1, значит промежуток |x|<1. На x=1 получаем гармонический ряд — расходится, а на x=−1 чередующийся гармонический ряд, который сходится условно (−\ln2). Поэтому итог интервал: [−1,1). Это классический урок, почему без отдельной проверки краёв нельзя писать конечный ответ. В прикладной задаче это напрямую влияет на корректность модели: если использовать разложение у x=1 как будто оно работает, получите неправильную оценку и возможный разброс при численном решении.

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

Главная ошибка — объявить итоговый интервал только как (a−R,a+R) и забыть о концах. Второе — подставить x=a±R как если это всегда сходимость или всегда расходимость. Третья — применять один и тот же признак ко всем степенным чадам без проверки условий (например, знакочередующийся критерий без монотонности). Часто также смешивают абсолютную и условную сходимость на концах, что меняет вывод об устойчивости модели.

Практика

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

Интервал для ln(1+x)

Условие. \sum_{n=1}^{\infty}(-1)^{n+1}x^n/n

Решение. R=1, значит сначала (−1,1). Проверка x=1 даёт ln2 как сходящийся знакочередующийся ряд, x=−1 приводит к \sum (-1)^{n+1}(-1)^n/n= -\sum 1/n, расходящийся. Итого [−1,1) с x=1 включается.

Ответ. (-1,1]

Интервал для p-строки

Условие. \sum_{n=1}^{\infty} (-1)^n x^n/n^2

Решение. R=1, внутри (−1,1). При x=1 получается \sum (-1)^n/n^2, абсолютная сходимость. При x=−1 получаем \sum (-1)^n/n^2 с тем же абсолютным характером, тоже сходится. Итого весь [−1,1].

Ответ. [-1,1]

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

  • Apostol, Calculus, Vol. 1
  • Kreyszig, Advanced Engineering Mathematics

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

Математика

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

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

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

Математика

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

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

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

Математика

Признак сравнения

$0\le a_n\le b_n,\;\sum b_n\text{ сходится }\Rightarrow\sum a_n\text{ сходится};\;0\le b_n\le a_n,\;\sum b_n\text{ расходится }\Rightarrow\sum a_n\text{ расходится}$

Сравнение с уже изученным рядом позволяет быстро переносить сходимость и расходимость. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.