📈 Матанализ

Как решать степенные ряды: сходимость и сумма

Q: Почему степенной ряд сходится именно в интервале?

Потому что при фиксированном $x$ это числовой ряд, и Даламбер сводит его к $|x| \cdot L < 1$: меньше — сходится абсолютно, больше — члены не стремятся к нулю, расходится. На границе всё решают конкретные коэффициенты. За это свойство отвечает теорема Абеля: внутри радиуса сходимость абсолютная и равномерная, за пределами — никакой.

Q: Можно ли дифференцировать ряд почленно — и что с концами?

Внутри интервала — можно сколько угодно раз: производные степенных функций дифференцируются, а равномерная сходимость разрешает обмен местами суммы и предела. Радиус при этом не меняется. Концы — отдельная песня: после дифференцирования они могут выпасть из области сходимости, после интегрирования — добавиться. Правило: операции внутри, проверка концов заново после каждой операции.

Q: Что делать, если коэффициенты не дают простого отношения?

Идите в корень: радикальный признак Коши даёт $\frac{1}{R} = \lim \sqrt[n]{|a_n|}$ — для рядов с показателями и корнями он часто проще. Если и это буксует, оцените коэффициенты сравнением: радиус определяется старшим поведением $a_n$, а точная константа не нужна — достаточно порядка роста.

Q: Зачем искать суммы степенных рядов?

Потому что это обратная сторона разложения: если $\frac{1}{1-x}$ — сумма ряда, то ряд — разложение функции. Суммы рядов дают точные значения вроде $\ln 2$ и $\frac{\pi^2}{6}$, решают дифференциальные уравнения в виде ряда и стоят за всеми приближенными вычислениями от физики до финансов. Разложение в ряд — в уроке [формула Тейлора](/course/matanaliz/formula-tejlora/), сравнение подходов — в [разборе Тейлор vs Маклорен](/sravneniya/tejlor-vs-makloren/).

Радиус сходимости через Даламбера, честная проверка концов интервала и поиск суммы почленным дифференцированием: три примера с полной выкладкой.

Сложность: Продвинутый 2 схемы действий

Степенной ряд $\sum a_{n} x^{n}$ — это многочлен, которому разрешили иметь бесконечно много членов. У такой роскоши есть цена: сумма может существовать не при всех $x$ , а только внутри своего интервала сходимости. Поэтому любая задача о степенном ряде состоит из двух вопросов: где ряд сходится и во что сходится — какова его сумма. Первый вопрос решается признаком Даламбера за две строки, второй — почленными операциями с геометрическим рядом.

Разбор: алгоритм, затем три эталонных примера — исследование $\sum \frac{x ^{n}}{n}$ с проверкой обоих концов, поиск суммы $\sum n x^{n - 1}$ дифференцированием и разложение $\frac{1}{2 + x}$ в степенной ряд. Теория — в уроке степенные ряды, база по числовым рядам — в уроке числовые ряды; здесь — техника решения.

Выпишите коэффициенты $a_{n}$ и найдите отношение $\frac{a _{n + 1}}{a _{n}}$ ; предел $L$ этого отношения не зависит от $x$ .
Примените Даламбера к ряду с членами $a_{n} x^{n}$ : внутри интервала $∣ x ∣ \cdot L < 1$ , радиус сходимости $R = \frac{1}{L}$ .
Проверьте концы $x = \pm R$ отдельно — там ряд уже числовой, и работают признаки сходимости числовых рядов.
Для суммы вспомните опору: $\sum_{n = 0}^{\infty} x^{n} = \frac{1}{1 - x}$ при $∣ x ∣ < 1$ .
Дифференцируйте или интегрируйте опору почленно: внутри интервала сходимости это законно и радиус не меняет.
Для разложения функции используйте таблицу Маклорена или подстановку в геометрический ряд — не изобретайте разложение с нуля.

Пример 1: область сходимости ряда $\sum \frac{x^n}{n}$#

Коэффициенты $a_{n} = \frac{1}{n}$ . Отношение соседних: $\frac{a _{n + 1}}{a _{n}} = \frac{n}{n + 1} \to 1$ , значит $L = 1$ и радиус $R = 1$ : внутри $∣ x ∣ < 1$ ряд сходится абсолютно. Концы — отдельная история, и её нельзя пропускать: при $∣ x ∣ < 1$ всё чисто, а на границе ряд становится числовым со своим характером.

x = 1 : \sum \frac{1}{n} — гармонический, расходится; x = - 1 : \sum \frac{( - 1 ) ^{n}}{n} — Лейбниц, сходится

концы одного интервала ведут себя по-разному — проверять нужно каждый

Область сходимости: $[- 1; 1)$ . Обратите внимание на асимметрию — левый конец включён, правый нет; записывать « $∣ x ∣ \leq 1$ » здесь ошибка. Заодно вопрос суммы: производная суммы $S^{'} (x) = \sum x^{n - 1} = \frac{1}{1 - x}$ , а $S (0) = 0$ , значит $S (x) = - ln (1 - x)$ ; при $x = - 1$ это даёт $- ln 2$ — сумма ряда $1 - \frac{1}{2} + \frac{1}{3} - \dots$ действительно равна $ln 2$ .

Частичные суммы: как ряд набирает сумму

Ряды

Каждая точка ломаной — частичная сумма $S_{n} = a_{1} + a_{2} + \dots + a_{n}$ : столько ряд «накопил» к члену номер $n$ . У сходящихся рядов точки прилипают к предельной линии — сумме ряда $S_{\infty}$ ; у гармонического члены $a_{n} = 1/ n$ тают, а сумма всё равно уходит на бесконечность.

Пресет ряда

aₙ = 1/2ⁿ⁻¹сходится, сумма 2нарисовано 40 из 40

Полоса членов: aₙ > 0 — вверх (изумрудный), aₙ < 0 — вниз (розовый)

S₁₀

1,998

S₄₀

S∞

Горизонт N (членов в графике)N = 40

«Проиграть» добавляет точки по одной — смотрите, ломаная прилипает к пределу или ползёт вверх. Тумблер «Члены aₙ» покажет слагаемые столбиками: сразу видно, почему знакочередующийся ряд сходится, а гармонический — нет.

Пример 2: сумма ряда $\sum n x^{n-1}$ через дифференцирование#

Множитель $n$ при степени — фирменный признак производной геометрического ряда. Начнём с опоры $\sum_{n = 0}^{\infty} x^{n} = \frac{1}{1 - x}$ , $∣ x ∣ < 1$ , и продифференцируем обе части почленно: производная суммы равна сумме производных, а $\frac{d}{d x} x^{n} = n x^{n - 1}$ .

n = 1 \sum \infty n x^{n - 1} = (\frac{1}{1 - x})^{'} = \frac{1}{( 1 - x ) ^{2}}, ∣ x ∣ < 1

радиус не изменился: почленное дифференцирование внутри интервала законно

Формула обещает $\frac{1}{( 1 - 1/2 ) ^{2}} = \frac{1}{1/4} = 4$ .
Считаем ряд напрямую: $1 + \frac{2}{2} + \frac{3}{4} + \frac{4}{8} + \frac{5}{16} = 1 + 1 + 0, 75 + 0, 5 + 0, 3125 = 3, 5625$ .
Добавляем следующие члены: $\frac{6}{32} = 0, 1875$ , $\frac{7}{64} \approx 0, 109$ , $\frac{8}{128} = 0, 0625$ — сумма уже $3, 92$ .
Хвост продолжает подрастать ровно до $4$ : сходится медленно, но честно. Ответ подтверждён.

Тот же приём работает в обратную сторону: интегрирование опоры даёт ряды с $\frac{1}{n}$ при степени $n + 1$ — именно так получается $ln (1 + x) = \sum \frac{( - 1 ) ^{n - 1} x ^{n}}{n}$ . Дифференцирование поднимает множители-степени, интегрирование их опускает; обе операции не трогают радиус, но концы после них проверяются заново — теорема о почленных операциях гарантирует сходимость только внутри интервала.

Многочлен Тейлора: чем больше членов, тем точнее

Формула Тейлора

Разложение в точке x = 0: многочлен $T_{N} (x)$ повторяет функцию — совпадают значение и первые N производных. Поднимайте степень ползунком или кнопкой «Проиграть» и смотрите, как янтарная кривая прижимается к функции всё точнее (для ln(1+x) — только пока $∣ x ∣ < 1$ ).

функция f(x) = eˣмногочлен Tₙ(x)

Степень N

f(2)

7,3891

Tₙ(2)

|f − Tₙ|

6,3891

Члены ряда Tₙ(x) · подсвечен последний добавленный

Tₙ(x) = 1

Полоса ошибки: |f(x₀) − Tₙ(x₀)|радиус сходимости не ограничен

Степень многочлена NN = 0

Точка наблюдения x₀x₀ = 2

Ряд экспоненты сходится при любом x, а его члены — просто 1/k! : 1 + x + x²/2 + x³/6 + …

«Проиграть» добавляет по члену ряда каждые ~180 мс — подсвеченный член показывает, что именно добавилось. Точка наблюдения x₀ переводит приближение в числа: f(x₀), Tₙ(x₀) и полосу ошибки.

Пример 3: разложение $\frac{1}{2+x}$ в степенной ряд#

Дробь с линейным знаменателем не нужно раскладывать через производные — она превращается в геометрический ряд подстановкой. Вынесем двойку и подгоним под опору $\frac{1}{1 - t} = \sum t^{n}$ :

\frac{1}{2 + x} = \frac{1}{2} \cdot \frac{1}{1 + \frac{x}{2}} = \frac{1}{2} n = 0 \sum \infty (- \frac{x}{2})^{n} = n = 0 \sum \infty \frac{( - 1 ) ^{n} x ^{n}}{2 ^{n + 1}}, \frac{x}{2} < 1

геометрический ряд с

t = - \frac{x}{2}

; условие

∣ t ∣ < 1

даёт

∣ x ∣ < 2

Первые члены: $\frac{1}{2} - \frac{x}{4} + \frac{x ^{2}}{8} - \frac{x ^{3}}{16} + \dots$ Проверка в центре: при $x = 0$ ряд даёт $\frac{1}{2}$ — точно как функция. Проверка в $x = 1$ : функция равна $\frac{1}{3}$ ; ряд $\frac{1}{2} - \frac{1}{4} + \frac{1}{8} - \frac{1}{16} + \dots = \frac{1/2}{1 + 1/2} = \frac{1}{3}$ — совпало. Область: $∣ x ∣ < 2$ , и это единственная оговорка: за пределами двойки разложение молчит, хотя функция жива.

Ряд	Радиус $R$	Концы	Сумма
$\sum x^{n}$	$1$	оба расходятся	$\frac{1}{1 - x}$ , $∣ x ∣ < 1$
$\sum \frac{x ^{n}}{n}$	$1$	$x = - 1$ сходится, $x = 1$ нет	$- ln (1 - x)$
$\sum n x^{n - 1}$	$1$	оба расходятся	$\frac{1}{( 1 - x ) ^{2}}$
$\sum \frac{x ^{n}}{n !}$	$\infty$	концов нет	$e^{x}$ при всех $x$
$\sum n! x^{n}$	$0$	ряд жив только в нуле	нет суммы вне $x = 0$

три сценария радиуса: конечный, бесконечный и нулевой

Концы не проверены. После Даламбера остаются два отдельных числовых ряда — каждый исследуйте своим признаком: Лейбниц, сравнение, интегральный.
$R$ против области. Радиус задаёт интервал, но область сходимости — интервал плюс выжившие концы: пишите именно её.
Индекс сбит. При дифференцировании $\sum x^{n}$ нулевой член исчезает: $\frac{d}{d x} \sum_{n = 0}^{\infty} x^{n} = \sum_{n = 1}^{\infty} n x^{n - 1}$ — начинать нужно с единицы.
Отношение коэффициентов перевёрнуто. $R = lim \frac{a _{n}}{a _{n + 1}}$ : для $\sum n! x^{n}$ это ноль, а не бесконечность.
Подстановка без условия. В $\frac{1}{2 + x}$ замена $t = - \frac{x}{2}$ тянет за собой требование $∣ t ∣ < 1$ , то есть $∣ x ∣ < 2$ — забытая оговорка делает разложение неверным.

Проверь себя+10 XP

Чему равен радиус сходимости ряда $\sum n! x^{n}$ ?

Проверь себя+10 XP

Сходится ли ряд $\sum \frac{x ^{n}}{n ^{2}}$ при $x = - 1$ ? Если да — как?

Проверь себя+15 XP

Чему равна сумма $\sum_{n = 1}^{\infty} n x^{n - 1}$ при $x = \frac{1}{2}$ ?

Частые вопросы

Почему степенной ряд сходится именно в интервале?

Потому что при фиксированном $x$ это числовой ряд, и Даламбер сводит его к $∣ x ∣ \cdot L < 1$ : меньше — сходится абсолютно, больше — члены не стремятся к нулю, расходится. На границе всё решают конкретные коэффициенты. За это свойство отвечает теорема Абеля: внутри радиуса сходимость абсолютная и равномерная, за пределами — никакой.

Можно ли дифференцировать ряд почленно — и что с концами?

Внутри интервала — можно сколько угодно раз: производные степенных функций дифференцируются, а равномерная сходимость разрешает обмен местами суммы и предела. Радиус при этом не меняется. Концы — отдельная песня: после дифференцирования они могут выпасть из области сходимости, после интегрирования — добавиться. Правило: операции внутри, проверка концов заново после каждой операции.

Что делать, если коэффициенты не дают простого отношения?

Идите в корень: радикальный признак Коши даёт $\frac{1}{R} = lim n ∣ a_{n} ∣$ — для рядов с показателями и корнями он часто проще. Если и это буксует, оцените коэффициенты сравнением: радиус определяется старшим поведением $a_{n}$ , а точная константа не нужна — достаточно порядка роста.

Зачем искать суммы степенных рядов?

Потому что это обратная сторона разложения: если $\frac{1}{1 - x}$ — сумма ряда, то ряд — разложение функции. Суммы рядов дают точные значения вроде $ln 2$ и $\frac{π ^{2}}{6}$ , решают дифференциальные уравнения в виде ряда и стоят за всеми приближенными вычислениями от физики до финансов. Разложение в ряд — в уроке формула Тейлора, сравнение подходов — в разборе Тейлор vs Маклорен.

Куда дальше: теория — в уроке степенные ряды, числовая база — в числовых рядах и разборе исследование ряда на сходимость; признаки под рукой — в разделе признаков сходимости. Алгоритм рядов целиком — в как решать ряды, формулы — в шпаргалке рядов. Практика: тренажёр рядов и задачи по рядам.