Тема числовых рядов является одной из фундаментальных в высшей математике (математическом анализе). Она лежит в основе теории функций, рядов Тейлора и Фурье, а также находит широкое применение в физике, инженерии и экономике. Это пособие структурировано так, чтобы провести вас от базовых понятий к практическим навыкам решения типовых задач.
Базовые понятия и обозначения
Что такое числовой ряд?
В общем виде числовой ряд записывается следующим образом:
∑n=1∞ an
Запись ∑n=1∞ означает, что проводится суммирование от 1 до бесконечности. То есть сначала берется a1, затем a1 + a2, потом a1 + a2 + a3 и т.д. — до бесконечности.
- Переменная-счётчик: Чаще всего используется n, но возможны k, m, i и др.
- Начало суммирования: Не обязательно единица. Может быть n=0, n=2 или любое другое целое число.
- Члены ряда: Числа an называются членами ряда.
- Положительный ряд: Если все члены неотрицательны (an ≥ 0), ряд называют положительным числовым рядом.
Ряд vs Последовательность: принципиальное отличие
Внимание! Не путают ряд с числовой последовательностью.
- Последовательность: Члены рассматриваются как отдельные элементы: a1, a2, a3…
- Ряд: Члены суммируются: a1 + a2 + a3 + …
Типовые задания на запись ряда
На экзаменах и зачетах часто встречаются два обратных по смыслу задания: «развернуть» ряд и «свернуть» сумму.
Записать первые члены ряда (Развернуть)
Алгоритм: Подставляем в общий член an значения счётчика n = 1, 2, 3… (или с другого начального значения).
Пример 1. Записать первые три члена ряда ∑n=1∞ (n+1)/n²
Решение: Устно подставляем n=1, 2, 3:
- n=1: a1 = (1+1)/1² = 2/1
- n=2: a2 = (2+1)/2² = 3/4
- n=3: a3 = (3+1)/3² = 4/9
Ответ: 2/1 + 3/4 + 4/9 + …
Совет: Полученные члены лучше не упрощать и не приводить к десятичным дробям. Вид «2/1» или «4/9» гораздо удобнее для проверки преподавателем.
Пример 2 (со знакочередованием). Ряд ∑n=1∞ (-1)n / n
Решение:
- n=1: (-1)¹/1 = -1
- n=2: (-1)²/2 = 1/2
- n=3: (-1)³/3 = -1/3
Ответ: -1 + 1/2 — 1/3 + …
Записать сумму в свёрнутом виде (Найти общий член)
Задание: Дана сумма в развернутом виде. Необходимо найти закономерность и записать через сигму Σ.
Универсального алгоритма нет — нужно «увидеть» закономерность. Обращайте внимание на:
- Знаки: Чередуются? ((-1)n или (-1)n+1).
- Числители: Арифметическая прогрессия? Степени? Факториалы?
- Знаменатели: Степени? Факториалы? Произведения?
- Начало индексации: С какого n удобнее начать (1, 0, 2).
Пример 3. Свернуть сумму: 1/2 + 2/3 + 3/4 + 4/5 + …
Анализ:
- Знаки: все плюс.
- Числители: 1, 2, 3, 4… → n.
- Знаменатели: 2, 3, 4, 5… → n+1.
- Начинается с 1-го члена → n=1.
Общий член: an = n / (n+1)
Ответ: ∑n=1∞ n/(n+1)
Проверка (обязательный шаг!): Подставляем n=1,2,3… получаем исходную сумму. Всё верно.
Пример 4 (сложнее). Свернуть: 1 ⎻ 1/2 + 1/4, 1/8 + 1/16 — …
Анализ:
- Знаки чередуются, начиная с плюса → (-1)n+1 (если n=1) или (-1)n (если n=0).
- Числители: везде 1.
- Знаменатели: 1, 2, 4, 8, 16… → степени двойки: 2n-1 (при n=1) или 2n (при n=0).
Вариант А (n=1): ∑n=1∞ (-1)n+1 / 2n-1
Вариант Б (n=0): ∑n=0∞ (-1)n / 2n — часто выглядит элегантнее.
Главная задача: Исследование на сходимость
Суть вопроса: имеет ли бесконечная сумма конечное значение?
Два исхода
- Ряд расходится. Сумма равна бесконечности (∞) или предела не существует (колебания).
- Пример: ∑ 1 (сумма единиц) → ∞.
- Пример: ∑ (-1)n (1 ⎻ 1 + 1 — 1…) → предел не существует.
- Ряд сходится. Существует конечный предел частичных сумм S = lim Sn.
- Пример: ∑ 0 → сумма = 0.
- Пример: Бесконечно убывающая геометрическая прогрессия.
Геометрическая прогрессия — эталон сходимости
Ряд вида ∑n=0∞ b qn (или ∑n=1∞ b qn-1) называется геометрическим.
- b — первый член.
- q — знаменатель (основание) прогрессии.
Критерий сходимости:
- Если |q| < 1 → Ряд СХОДИТСЯ. Сумма: S = b / (1 ⎻ q).
- Если |q| ≥ 1 → Ряд РАСХОДИТСЯ.
Пример 5. Исследовать ∑n=1∞ 1 / 2n
Это геометрическая прогрессия. Приведем к стандартному виду (n=0):
∑n=1∞ (1/2)n = ∑n=0∞ (1/2)n+1 = (1/2) ∑n=0∞ (1/2)n
Здесь b = 1/2, q = 1/2. Так как |1/2| < 1, ряд сходится.
Сумма: S = (1/2) / (1 ⎻ 1/2) = (1/2) / (1/2) = 1.
Необходимый признак сходимости (Признак нулевого члена)
Это самый первый инструмент, который применяют при исследовании любого ряда.
Теорема (Необходимый признак)
Если ряд ∑ an сходится, то limn→∞ an = 0.
Противоположно (для доказательства расходимости):
Если limn→∞ an ≠ 0 (предел не равен 0 или не существует), то ряд ∑ an РАСХОДИТСЯ.
Важно: Если предел члена равен 0 (an → 0), это НЕ гарантирует сходимость. Ряд может сходиться, а может расходиться (классический пример: гармонический ряд ∑ 1/n, где члены стремятся к 0, но сумма бесконечна).
Пример 6 (Быстрая проверка на расходимость).
- ∑ (n+1)/n → an = 1 + 1/n → 1 ≠ 0 → РАСХОДИТСЯ.
- ∑ (-1)n → an = ±1, предел не существует → РАСХОДИТСЯ.
- ∑ sin(n) → предел не существует → РАСХОДИТСЯ.
Основные признаки сходимости для положительных рядов
Если ряд положительный (an > 0) и необходимый признак не сработал (члены → 0), применяют сравнительные признаки.
Признак сравнения (Малого и Большого)
Пусть даны два положительных ряда: ∑ an (исследуемый) и ∑ bn (эталонный, с известным поведением).
- Признак малого: Если an ≤ bn (начиная с какого-то номера) и ∑ bn сходится, то ∑ an сходится.
- Признак большого: Если an ≥ bn и ∑ bn расходится, то ∑ an расходится.
Эталонные ряды для сравнения:
- p-ряд (обобщенная гармоническая): ∑ 1/np. Сходится при p > 1, расходится при p ≤ 1.
- Геометрический ряд: ∑ qn (|q|<1) — сходится.
- Ряд с факториалом/показательной: ∑ 1/n!, ∑ an/n! — сходятся очень быстро.
Предельный признак сравнения (Часто самый удобный!)
Если limn→∞ (an / bn) = k, где 0 < k < ∞ (конечное ненулевое число), то ряды ∑ an и ∑ bn ведут себя одинаково (оба сходятся или оба расходятся).
Пример 7. Исследовать ∑ (n² + 3n) / (n⁴ + 5)
Необходимый признак: an ~ n²/n⁴ = 1/n² → 0. Не решает.
Выбираем эталон: Старшие степени: числитель ~ n², знаменатель ~ n⁴. Значит an ведет себя как 1/n². Берем bn = 1/n² (p-ряд с p=2 > 1 → сходится).
Считаем предел отношения:
lim (an/bn) = lim [ (n²+3n)/(n⁴+5) ] / (1/n²) = lim (n⁴+3n³)/(n⁴+5) = 1.
Преде k=1 (конечное, не 0). Эталон сходится ⇒ Исходный ряд СХОДИТСЯ.
Признак Даламбера (Отношений) и Признак Коши (Корней)
Идеальны для рядов с факториалами (n!), показательными функциями (an) или степенями nn.
- Признак Даламбера: Найти lim (an+1 / an) = L.
- L < 1 → Сходится.
- L > 1 → Расходиться.
- L = 1 → Не решает (нужен другой признак).
- Признак Коши: Найти lim ⁿ√an = L. Критерии те же (L<1, L>1, L=1).
Пример 8 (Факториал — Даламбер). ∑ n! / nn
an+1/an = (n+1)!/(n+1)n+1 * nn/n! = (n+1) * nn / (n+1)n+1 = nn / (n+1)n = 1 / (1 + 1/n)n → 1/e ≈ 0.367 < 1.
Пример 9 (Степень n — Коши). ∑ (2n+1)n / (3n)n
ⁿ√an = (2n+1)/(3n) = 2/3 + 1/(3n) → 2/3 < 1.
Знакочередующиеся ряды (Признак Лейбница)
Ряд вида ∑ (-1)n-1 bn (или (-1)n bn), где bn > 0.
Признак Лейбница (Достаточное условие сходимости)
Ряд ∑ (-1)n-1 bn сходится, если выполняются два условия:
- Монотонное убывание: bn+1 ≤ bn (начиная с некоторого места).
- Предел нуль: limn→∞ bn = 0.
Важное понятие: Абсолютная и условная сходимость.
- Если сходится ряд модулей ∑ |an| → исходный ряд сходится абсолютно (самый «сильный» тип сходимости).
- Если ∑ an сходится (по Лейбницу), но ∑ |an| расходится → ряд сходится условно.
Пример 10. ∑ (-1)n-1 / n (Гармонический знакочередующийся).
Проверяем абсолютную сходимость: ∑ 1/n — гармонический ряд (p=1) → РАСХОДИТСЯ.
Проверяем Лейбницу для исходного: bn = 1/n.
- 1/(n+1) < 1/n → убывает.
- lim 1/n = 0.
Алгоритм действий («Шпаргалка» для решения)
- Посмотрите на общий член an.
- Необходимый признак: Считаем lim an.
- ≠ 0 или не существует → РАСХОДИТСЯ (Конец).
- = 0 → Переходим дальше.
- Определите тип ряда:
- Знакочередующийся? → Проверяем абсолютную сходимость (п.4 для |an|). Если расходится → Признак Лейбница.
- Положительный? → Идем в п.4.
- Выбор признака для положительного ряда:
- Есть факториалы (n!), показательные (an) → Даламбер (an+1/an).
- Есть степени n (nn, (an+b)n) → Коши (ⁿ√an).
- Дробь со степенями n (полиномы) → Предельный признак сравнения с p-рядом (1/np).
- Похож на геометрическую прогрессию → Признак сравнения с qn.
- Сложная структура, интегрируется легко → Интегральный признак Коши (∫ f(x) dx).
- Сформулируйте вывод: «Ряд сходится (абсолютно/условно)» или «Ряд расходится».
Типичные ошибки и ловушки
- Ошибка 1: Написание «Ряд сходится, так как an → 0». Неправильно! Это необходимое, но не достаточное условие.
- Ошибка 2: Применение признака Лейбница к ряду, где члены не убывают монотонно (например, ∑ (-1)n (1/n + (-1)n/n)). Сначала проверяйте монотонность!
- Ошибка 3: Забывают проверить абсолютную сходимость знакочередующегося ряда. Если он сходится абсолютно, признак Лейбница не нужен (и про «условную сходимость» писать нельзя).
- Ошибка 4: Неправильный выбор эталона в предельном признаке сравнения. Всегда оставляйте только старшие степени n в числителе и знаменателе.
- Ошибка 5: При Даламбере/Коши получают L=1 и пишут «Ряд сходится/расходится». При L=1 признак не решает, нужно менять метод.
Практикум: Задачи для самостоятельной работы
Попробуйте исследовать на сходимость следующие ряды (ответы и краткие решения в спойлерах ниже):
- ∑n=1∞ (3n² + 2) / (n³ + 5n)
- ∑n=1∞ 2n / n!
- ∑n=1∞ (-1)n / √n
- ∑n=1∞ (n / (n+1))n²
- ∑n=2∞ 1 / (n ln n)
👁 Показать ответы и краткие решения
∑ (3n²+2)/(n³+5n) → an ~ 3n²/n³ = 3/n → 0. Предельный признак с bn=1/n (p=1, расходится). lim an/bn = 3. РАСХОДИТСЯ.
∑ 2n/n! → Есть факториал и показательная. Даламбер: an+1/an = 2/(n+1) → 0 < 1. СХОДИТСЯ (абсолютно).
∑ (-1)n/√n → Абсолютная: ∑ 1/√n (p=1/2 < 1) — расходится. Лейбница: bn=1/√n убывает, →0. СХОДИТСЯ УСЛОВНО.
∑ (n/(n+1))n² → Коши: ⁿ√an = n/(n+1) = 1 ⎻ 1/(n+1) → 1. Признак не решает. Уточняем: an = (1 ⎻ 1/(n+1))n² ~ e-n (по замечательному пределу). Сравниваем с геометрической прогрессией qn (q<1). СХОДИТСЯ.
∑ 1/(n ln n) → Интегральный признак: ∫ dx/(x ln x) = ln(ln x) |2∞ = ∞. РАСХОДИТСЯ. (Известный ряд Бертрана).
Освоение рядов — это тренировка распознавания образов. Ключ к успеху: четкое знание алгоритма (п.7), умение быстро находить пределы (для необходимого признака, Даламбера, Коши, предельного сравнения) и знание поведения эталонных рядов (гармонический, геометрический, p-ряд, факториалы). Решайте 10–15 типовых задач каждого типа, и выбор правильного признака станет интуитивным.
Материал подготовлен на основе стандартного курса математического анализа для студентов технических вузов. Источник базовых определений и примеров: mathprofi.ru.