Знакочередующийся ряд

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Знакочередующийся ряд — математический ряд, члены которого попеременно принимают значения противоположных знаков, то есть:

[math]\displaystyle{ \sum_{n=1}^\infty a_n = \sum_{n=1}^\infty (-1)^{n-1}\,b_n, \; b_n\gt 0 }[/math].

Признак Лейбница

Формулировка

Признак Лейбница — признак сходимости знакочередующегося ряда, установлен Готфридом Лейбницем. Формулировка теоремы:

Пусть дан знакочередующийся ряд

[math]\displaystyle{ S = \sum_{n=1}^\infty (-1)^{n-1} b_n, \ b_n \ge 0 }[/math],

для которого выполняются следующие условия:

  1. [math]\displaystyle{ b_{n} \ge b_{n+1} }[/math], начиная с некоторого номера ([math]\displaystyle{ n\ge N }[/math]),
  2. [math]\displaystyle{ \lim_{n \to \infty} b_n = 0. }[/math]

Тогда такой ряд сходится.

Замечания

Ряды, удовлетворяющие признаку Лейбница, называются рядами Лейбница. Такие ряды могут сходиться абсолютно (если сходится ряд [math]\displaystyle{ \sum_{n=1}^\infty b_n }[/math]), а могут сходиться условно (если ряд из модулей расходится).

Монотонное убывание не является необходимым для сходимости знакочередующегося ряда (в то время как [math]\displaystyle{ \lim_{n \to \infty} b_n = 0 }[/math]необходимое условие сходимости для любого ряда), таким образом и сам признак является только достаточным, но не необходимым (например, ряд [math]\displaystyle{ \sum_{n=2}^\infty \frac{(-1)^n}{n+(-1)^n} }[/math] сходится). С другой стороны, монотонное убывание существенно для применения признака Лейбница; если оно отсутствует, то ряд может расходиться даже несмотря на то, что второе условие признака Лейбница выполнено. Пример расходящегося знакочередующегося ряда с немонотонным убыванием членов[1]:

[math]\displaystyle{ \frac{1}{1} - \frac{1}{2} + \frac{1}{2} - \frac{1}{4} + \frac{1}{3} - \frac{1}{6} + \dots + \frac{1}{n} - \frac{1}{2n} + \dots }[/math]

Удвоенные частичные суммы этого ряда совпадают с частичными суммами гармонического ряда и поэтому неограниченно растут.

Доказательство

Пример

[math]\displaystyle{ \sum_{n=1}^\infty (-1)^{n+1} \frac{1}{n} \; }[/math]. Ряд из модулей имеет вид [math]\displaystyle{ \sum_{n=1}^\infty \frac{1}{n} }[/math] — это гармонический ряд, который расходится.

Теперь воспользуемся признаком Лейбница:

  1. знакочередование выполнено
  2. [math]\displaystyle{ \frac{1}{n+1}\lt \frac{1}{n} , \;\forall \;n }[/math]
  3. [math]\displaystyle{ \lim_{n \to \infty} \, \frac{1}{n} = 0 }[/math].

Следовательно, так как все условия выполнены, ряд сходится (причем условно, так как ряд из модулей расходится).

Оценка остатка ряда Лейбница

Из теоремы Лейбница вытекает следствие, позволяющее оценить погрешность вычисления неполной суммы ряда (остаток ряда):

[math]\displaystyle{ S_n = \sum_{i=1}^n (-1)^i b_i. }[/math]

Остаток сходящегося знакочередующегося ряда [math]\displaystyle{ R_n = S - S_n }[/math] будет по модулю меньше первого отброшенного слагаемого:

[math]\displaystyle{ \left| R_n \right| \lt b_{n+1}. }[/math]

Знакопеременный ряд

Знакочередующиеся ряды также иногда называют знакопеременными[3], однако этот термин может также означать любые ряды, имеющие одновременно бесконечное число положительных и отрицательных членов.

См. также

Литература

  • Бронштейн И. Н., Семендяев К. А. Справочник по математике. — Изд. 7-е, стереотипное. — М.: Государственное издательство технико-теоретической литературы, 1967. — С. 296.
  • Воробьёв Н. Н. Теория рядов. — 4-е изд. — М.: Наука, 1979. — 408 с. — (Избранные главы высшей математики для инженеров и студентов втузов).
  • Иванов Г. Е. Глава 9. Числовые ряды. §3. Ряды со знакопеременными членами // Лекции по математическому анализу. — М.: МФТИ, 2000. — Т. 1. — С. 299—303. — 359 с. — 800 экз. — ISBN 5-7417-0147-7.

Примечания

  1. Воробьёв, 1979, с. 84—85.
  2. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры: Учеб. для вузов. — 10-е изд., испр. — М.: ФИЗМАТЛИТ, 2005.
  3. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления т. 2 стр. 302