Ознаки збіжності рядів і стратегія вибору

Ряди, частинні суми й збіжність

Ряд — це сума нескінченної кількості членів, $a_1 + a_2 + a_3 + \cdots$, що записується як $\sum a_n$. Додати нескінченно багато чисел безпосередньо не можна, тому додають перші $N$ у частинну суму $S_N$ і дивляться, що відбувається зі зростанням $N$. Якщо частинні суми прямують до скінченної границі $S$, ряд збігається і його сума дорівнює $S$. Інакше він розбігається.

Нескінченно багато додатних чисел можуть дати скінченну суму. Ряд $\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots$ має частинні суми $0.5$, $0.75$, $0.875$ і так далі, кожна на півдорозі між попередньою та 1, тому сума дорівнює рівно 1. Уявіть, що ви йдете до стіни й кожним кроком проходите половину шляху, що лишився: кроків нескінченно багато, але ви ніколи не пройдете більше за початкову відстань. Уся тема спирається на границі, застосовані до послідовності частинних сум.

Геометричні ряди

У геометричному ряді щоразу множать на той самий знаменник $r$. Це один із небагатьох типів рядів, суму яких можна знайти точно:

Якщо $|r| \ge 1$, члени не прямують до нуля, і ряд розбігається. Наприклад, ряд $3 + 1 + \frac{1}{3} + \frac{1}{9} + \cdots$ має перший член $a = 3$ і знаменник $r = \frac{1}{3}$, тому його сума дорівнює $\frac{3}{2/3} = 4.5$. Періодичні дроби — це замасковані геометричні ряди: $0.999\ldots = \frac{9}{10} + \frac{9}{100} + \cdots = \frac{0.9}{1 - 0.1} = 1$.

Необхідна ознака збіжності

Якщо члени $a_n$ не прямують до 0, ряд розбігається (тому її називають також ознакою розбіжності). Це завжди має бути першою перевіркою: вона займає секунди. Наприклад, $\sum\frac{n}{n + 1}$ розбігається, бо її члени прямують до 1: ви нескінченно багато разів додаєте майже 1.

Обернене твердження хибне, і це найпоширеніша помилка щодо рядів. Члени, що прямують до нуля, не гарантують збіжності. Члени гармонічного ряду $1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots$ прямують до 0, і все ж він розбігається. Згрупуйте члени: $\frac{1}{3} + \frac{1}{4} > \frac{1}{2}$, наступні чотири члени дають більше за $\frac{1}{2}$, наступні вісім — теж більше за $\frac{1}{2}$, і так далі. Нескінченно багато половинок дають необмежену суму. Щоправда, зростання дуже повільне: перший мільйон членів дає лише близько 14,4.

p-ряди й інтегральна ознака

p-ряд, який називають також узагальненим гармонічним рядом, має вигляд $\sum\frac{1}{n^p}$. Його поведінка залежить лише від $p$:

Отже, $\sum\frac{1}{n^2}$ збігається, і її сума — знамените $\frac{\pi^2}{6} \approx 1.6449$, а $\sum\frac{1}{\sqrt{n}}$ розбігається. Доведення використовує інтегральну ознаку: якщо $f$ додатна, неперервна й монотонно спадає, причому $f(n) = a_n$, то $\sum a_n$ і $\int_1^{\infty} f(x)\,dx$ поводяться однаково — обидва збігаються або обидва розбігаються. Оскільки $\int_1^{\infty}\frac{dx}{x^2} = 1$ скінченний, а $\int_1^{\infty}\frac{dx}{x}$ нескінченний, виходять два ключові випадки. Ці невласні інтеграли обчислено в статті визначений і невизначений інтеграл.

Ознаки порівняння

Ознаки порівняння вирішують долю ряду, зіставляючи його з уже відомим, зазвичай із геометричним рядом або p-рядом. Для рядів із додатними членами:

• Ознака порівняння: якщо $0 \le a_n \le b_n$ і $\sum b_n$ збігається, то збігається й $\sum a_n$. Якщо $a_n \ge b_n \ge 0$ і $\sum b_n$ розбігається, то розбігається й $\sum a_n$.
• Гранична ознака порівняння: якщо $\lim\frac{a_n}{b_n}$ — строго додатне скінченне число, обидва ряди поводяться однаково.

Щоб вибрати ряд для порівняння, залиште в чисельнику й знаменнику лише старший степінь $n$. Те, що залишиться, підкаже, з яким p-рядом чи геометричним рядом порівнювати.

Ознаки д'Аламбера й Коші

Ознака д'Аламбера порівнює кожен член із попереднім. Нехай $L = \lim_{n \to \infty}\left|\frac{a_{n+1}}{a_n}\right|$. Якщо $L < 1$, ряд збігається абсолютно; якщо $L > 1$, розбігається; а якщо $L = 1$, ознака відповіді не дає. Це природний вибір для рядів із факторіалами чи степенями на зразок $2^n$.

Радикальна ознака Коші використовує $L = \lim\sqrt[n]{|a_n|}$ з тими самими висновками й пасує до членів, піднесених до степеня $n$. Для $\sum\left(\frac{n}{2n + 1}\right)^n$ корінь $n$-го степеня дорівнює $\frac{n}{2n + 1} \to \frac{1}{2}$, тому ряд збігається.

Знакопереміжні ряди

Знакопереміжний ряд змінює знак на кожному члені. Ознака Лейбніца стверджує: якщо модулі членів монотонно спадають і прямують до 0, ряд збігається. Тому знакопереміжний гармонічний ряд $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots$ збігається, і його сума дорівнює $\ln 2 \approx 0.6931$.

Є й ще одна перевага: похибка в разі обриву після будь-якого члена не перевищує першого відкинутого члена. Обірвавши знакопереміжний гармонічний ряд після 99 членів, ви отримаєте $\ln 2$ з похибкою меншою за $\frac{1}{100}$.

Ряд збігається абсолютно, якщо збігається $\sum|a_n|$, і умовно, якщо він збігається лише завдяки взаємному погашенню знаків. Знакопереміжний гармонічний ряд збігається умовно: без знаків це гармонічний ряд, який розбігається. Абсолютна збіжність — сильніша властивість: переставлення членів абсолютно збіжного ряду ніколи не змінює його суми, тоді як умовно збіжний ряд можна переставити так, щоб він набував будь-якого заданого значення.

Стратегія вибору ознаки

1. Чи прямують члени до 0? Якщо ні, ряд розбігається.
2. Це геометричний ряд чи p-ряд? Застосуйте відоме правило.
3. Є факторіали чи степені з показником $n$, як-от $3^n$? Використовуйте ознаку д'Аламбера.
4. Увесь член піднесено до степеня $n$? Використовуйте радикальну ознаку Коші.
5. Це дріб із раціональних виразів від $n$ чи щось подібне? Використовуйте граничну ознаку порівняння з p-рядом.
6. Знаки чергуються? Використовуйте ознаку Лейбніца, а потім перевірте абсолютну збіжність.
7. Член — легко інтегровна функція? Згадайте про інтегральну ознаку.

Калькулятор збіжності рядів застосовує ці ознаки, вказує, яка з них дала відповідь, і оцінює суму. Степеневі ряди, члени яких містять $x$, досліджують так само: ознака д'Аламбера дає радіус збіжності, кінці інтервалу перевіряють окремо, і так виходять інтервали з нашого посібника з рядів Тейлора.

Телескопічні ряди й вправи

У телескопічному ряді частинні суми спрощуються, бо сусідні члени взаємно знищуються. Записавши $\frac{1}{n(n + 1)} = \frac{1}{n} - \frac{1}{n + 1}$, бачимо, що частинна сума $S_N$ дорівнює $1 - \frac{1}{N + 1}$, що прямує до 1. Розпізнавши телескопічну структуру, часто за допомогою розкладу на найпростіші дроби, ви отримуєте точну суму, а не просто відповідь «так» чи «ні».

Перевірте себе на цих рядах, перш ніж читати відповіді: $\sum\frac{5}{4^n}$ — геометричний ряд зі знаменником одна четверта, він збігається; $\sum\frac{n^2}{n^2 + 1}$ розбігається за необхідною ознакою, бо її члени прямують до 1; $\sum\frac{1}{n^{1.01}}$ збігається як p-ряд із $p > 1$; $\sum\frac{3^n}{n!}$ збігається за ознакою д'Аламбера; а $\sum\frac{(-1)^n}{\sqrt{n}}$ збігається умовно: ознака Лейбніца виконується, але ряд із модулів — розбіжний p-ряд.

Поширені запитання