Как понять что ряд сходится или расходится
Ряды и их приложения
1 Теоретическое введение
Пусть дана последовательность чисел 
Выражение вида
 | (1.1) |
называется числовым рядом. Числа 
называются членами (элементами) ряда; 
— первый член, 
— второй член, …, 
— n-ый или общий член ряда.
Сумма 
первых n членов числового ряда:
называется его частичной суммой. Так как число членов ряда бесконечно, то частичные суммы ряда образуют последовательность частичных сумм:
Числовой ряд, получающийся из ряда (1.1) отбрасыванием его первых n членов, называется остатком числового ряда (1.1) и обозначается 
:
Определение. Числовой ряд (1.1) называемся сходящимся, если существует конечный предел последовательности его частичных сумм:
Число S в этом случае называется суммой ряда (1.1).
Если же предел последовательности частичных сумм 
равен бесконечности или не существует, то ряд называется расходящимся. Расходящийся ряд суммы не имеет.
Для исследования числовых рядов используются признаки сходимости, по которым можно установить сходится ряд или расходится. Приведем здесь те признаки, которые используются для выполнения типового расчёта
Для знакоположительных рядов (рядов с положительными членами)справедлив
Признак сравнения, связанный с пределом. Пусть даны два знакоположительных ряда 
(ряд А) и 
(ряд В) и существует предел
,
Тогда, если сходится ряд (В), то сходится и ряд (А). Если расходится ряд (В), то расходится и ряд (А). Т.е. ряды (А) и (В) ведут себя одинаково.
Признак сравнения, связанный с пределом, справедлив, в частности, в том случае, когда 
и 
эквивалентные последовательности, т.е. 
. Эквивалентность последовательностей обозначается 
.
В качестве ряда, с которым удобно производить сравнение рядов, часто используется ряд 
, который называется обобщенным гармоническим рядом или рядом Дирихле. Этот ряд сходится при p>1 и расходится при 
.
При этом удобно использовать следующее свойство многочленов: многочлен 
при 
эквивалентен своему слагаемому 
, т.е. 
. Справедливо и более общее утверждение: алгебраическая сумма степенных функций с различными положительными степенями эквивалентна при своему слагаемому, в котором степень наибольшая. Например, при
Пример. Исследовать на сходимость ряд 
.
Решение. В нашем случае 
. Воспользуемся признаком сравнения, связанным с пределом. Согласно приведенному выше свойству многочленов, числитель рассматриваемой дроби 
при 
эквивалентен слагаемому 
, знаменатель дроби 
при этом эквивалентен слагаемому 
, тогда
Ряд из 
отличается от обобщенного гармонического при 
только множителем 
и поэтому сходится. Следовательно, ряд из 
сходится по признаку сравнения, связанному с пределом.
Для знакоположительных рядов также часто используется
Признак Даламбера. Пусть дан знакоположительный ряд 
и существует предел 
. Тогда при 
ряд сходится, при 
ряд расходится.
Пример. Исследовать на сходимость ряд 
.
Решение. Находим 
, 
.
Так как 
, то данный ряд сходится по признаку Даламбера.
Для знакопеременных рядов, в которых встречаются как положительные так и отрицательные слагаемые, справедлив признак абсолютной сходимости.
Признак абсолютной сходимости. Если для знакопеременного ряда
 | (1.2) |
сходится ряд, составленный из абсолютных величин его членов:
то заданный ряд (1.2) также сходится.
Признак абсолютной сходимости является достаточным, но не необходимым. Это означает, что существуют знакопеременные ряды, которые сходятся, в то время как ряды, составленные из абсолютных величин их слагаемых, расходятся. В связи с этим вводятся следующие определения.
Знакопеременный ряд называется абсолютно сходящимся, если сходится ряд, составленный из абсолютных величин его членов. Знакопеременный ряд называется условно сходящимся, если он сходится, а ряд, составленный из абсолютных величин его членов, расходится.
 , | (1.3) |
Знакочередующиеся ряды исследуют с помощью достаточного признака сходимости Лейбница.
Признак Лейбница. Если в знакочередующемся ряде (1.3) абсолютные величины членов не возрастают: 
и общий член ряда стремится к нулю: 
, то ряд сходится.
Если знакочередующийся ряд сходится по признаку Лейбница, для остатка ряда справедлива оценка:
Т.е. остаток ряда по абсолютной величине не превосходит абсолютной величины первого слагаемого этого остатка.
1.2 Функциональные ряды
Пусть дана последовательность функций 
, n=1, 2, 3, …, определённых на множестве D.
Определение. Выражение вида
называется функциональным рядом. Множество всех точек, для которых функциональный ряд сходится, называются областью его сходимости. Соответственно, множество всех точек, для которых ряд сходится абсолютно, называется областью абсолютной сходимости.
,
где 
и коэффициенты ряда 
— постоянные числа. При 
степенной ряд имеет вид:
 | (1.4) |
Теорема Абеля. Ели ряд (1.4) сходится не при всех значениях х, но сходится в некоторой точке 
, то существует число R>0, называемое радиусом сходимости, такое, что ряд абсолютно сходится при 
и расходится при 
.
Из теоремы следует, что имеется интервал (-R; R) такой, что внутри этого интервала ряд (1.4) сходится абсолютно, а вне этого интервала ряд расходится (рис. 1). При 
ряд может сходиться абсолютно или условно, может расходиться. Этот вопрос решается индивидуально для каждого конкретного ряда.
Одним из способов нахождения радиуса сходимости является исследование степенного ряда на абсолютную сходимость по признаку Даламбера. Найдем предел:
.
Пусть существует 
, обозначим этот предел 
, тогда 
.
Если 
, или 
, то ряд (1.4) сходится абсолютно. Если 
, или 
, то ряд (1.4) расходится. Если 
или 
, ряд может как сходиться, так и расходиться.
Свойства степенных рядов запишем в виде следующих теорем.
Теорема 1. Пусть степенной ряд (1.4) имеет радиус сходимости R>0. Тогда ряды, полученные из (1.4) почленным дифференцированием и интегрированием имеют тот же радиус сходимости.
Теорема 2. Степенной ряд (1.4) в каждой точке его интервала сходимости обладает следующими свойствами:
— его сумма является непрерывной функцией;
— его можно почленно дифференцировать и интегрировать, то есть, если 
, то
и 
Путь дана бесконечно дифференцируемая в точке х=а функция f(x). При некоторых условиях её можно представить в виде степенного ряда, который называется рядом Тейлора:
 | (1.5) |
В частном случае, при а=0 ряд (1.5) принимает вид:
Этот ряд называется рядом Маклорена для функции f(x).
Приведем разложение в степенные ряды основных элементарных функций.
На всей числовой оси справедливы разложения:
 | (1.6) |
 | (1.7) |
Следующие формулы справедливы в интервале (-1; 1):
=
. 
Многие практически важные определенные интегралы не могут быть вычислены по формуле Ньютона-Лейбница, так как первообразная не всегда выражается в элементарных функциях. Однако если подынтегральная функция разлагается в степенной ряд, а пределы интегрирования принадлежат области сходимости этого ряда, то этот ряд можно почленно проинтегрировать, а полученный ряд вычислить с наперед заданной точностью.
2 Содержание типового расчёта
1. Исследовать заданный числовой ряд на сходимость. Если он сходится, найти сумму ряда, исходя из определения, т.е. как предел частичных сумм.
3 Примеры выполнения типового расчёта
1. Исследовать сходимость и найти сумму числового ряда:
Решение. Исследуем сходимость ряда:
Ряд с общим членом 
сходится как обобщенный гармонический ряд при 
, следовательно, ряд с общим членом 
сходится по признаку сравнения, связанному с пределом.
Преобразуем 
в сумму простейших дробей методом неопределённых коэффициентов:
Приведем дроби в правой части равенства к общему знаменателю и приравняем числители полученных дробей, так как знаменатели у них одинаковые:
Полученное равенство должно выполнять тождественно, т.е. оно должно быть справедливо не только для любого натурального n, но и для любого действительного переменного. Подставив в это равенство корни знаменателя исходной дроби, получим значения коэффициентов А, В, С:
Запишем частичную сумму ряда:
.
Нетрудно заметить, что дроби со знаменателями 5; 6; 7; …; n взаимно сокращаются. После сокращения в выражении 
остаются только дроби со знаменателями меньше 5 и больше n:
Сумма ряда 
в этом случае равна:
Ответ: ряд сходится, его сумма равна 
.
Решение. 2.1. Воспользуемся разложением функции sinx в степенной ряд (1.7) и умножим этот ряд на
, получим:
 . | (1.8) |
Для нахождения области сходимости исследуем полученный ряд на абсолютную сходимость по признаку Даламбера.
Рассматриваемый предел равен нулю, т.е. меньше единицы для любых х. Следовательно, полученный ряд сходится абсолютно при любом х.
Проинтегрируем обе части равенства (1.8) на отрезке [0; 1,5]:
.
Воспользуемся правилом оценки погрешности знакочередующегося ряда по признаку Лейбница. При 
, при 
. При вычислении остановимся на слагаемом 
:
2.2. Разложим подынтегральную функцию 
в степенной ряд по степеням х Для этого в формуле разложения функции 
в степенной ряд (1.6) заменим х на -х 2 :
Полученный ряд сходится при любом х (проверьте самостоятельно). Следовательно, его можно почленно интегрировать на любом отрезке и, в частности, на отрезке [0;1]:
Получен знакочередующийся ряд, сходящийся по признаку Лейбница. Используем правило оценки погрешности для знакочередующегося ряда. При 
, при 
. Следовательно, для получения заданной точности можно при расчёте остановиться на слагаемом 
:
4 Оформление отчёта
В отчёте необходимо привести все проделанные выкладки.
По первой задаче назвать признаки сходимости, использованные при его исследовании. В ответе записать сумму ряда в десятичных дробях.
По второй и третьей задачам найти область сходимости рядов, полученных при разложении подынтегральной функции, обосновать точность полученного при расчёте результата. В ответе записать значение интеграла в десятичных дробях с четырьмя знаками после запятой и значение n при расчёте частичной суммы ряда.
