Processing math: 100%

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

Определение. Числовой ряд n=1an называется знакопеременным (знакочередующимся), если его слагаемые попеременно меняют знак, т. е. если anan+1<0 (n=1,2,).
Знакопеременный ряд можно записать в виде u1u2+u3u4+=n=1(1)n1un, где un0.

Теорема Лейбница. Если модули слагаемых знакочередующегося ряда n=1(1)n1un(15.14) монотонно убывают к нулю, то этот ряд сходится.

Обозначим через Sn частичную сумму ряда (15.14). Рассмотрим частичные суммы с четными номерами S2m=(u1u2)+(u3u4)++(u2m1u2m). Так как un убывают по условию, то в каждой скобке выражение неотрицательно. Поэтому S2(m+1)=S2m+2=S2m+(u2m+1u2m+2)S2m. Это означает, что последовательность {S2m}m=1 возрастает. С другой стороны, из представления S2m=u1(u2u3)(u4u5)(u2m2u2m1)u2m, в силу монотонности uk, следует, что S2mu1. Таким образом, последовательность {S2m}m=1 ограничена сверху и возрастает и, следовательно, имеет предел. Обозначим S=limmS2m. Для доказательства сходимости ряда (15.14) нужно еще показать, что S2m+1S(m). Но это сразу следует из равенства S2m+1=S2m+u2m+1 и условия теоремы u2m+10(m). Окончательно, последовательность частичных сумм ряда (15.14) с четными и с нечетными номерами сходятся к одному и тому же пределу S. Поэтому S=limnSn.
Знакочередующийся ряд, для которого выполнены условия теоремы Лейбница, называется рядом лейбницевского типа. Теорема Лейбница утверждает, что ряд лейбницевского типа сходится.

Пример 1. Рассмотрим полугармонический ряд n=1(1)n1n. Здесь un=1n и данный ряд является рядом лейбницевского типа. По теореме Лейбница, он сходится. Ранее мы показали, что ряд, составленный из модулей слагаемых, – гармонический – расходится. Таким образом, сходимость исходного ряда обусловлена не малостью его слагаемых, а взаимной интерференцией слагаемых.

Пример 2. Приведем пример, показывающий, что в теореме Лейбница нельзя отбросить условие монотонности.
Ряд n=1(1)n1n является рядом лейбницевского типа и, следовательно, сходится. Гармонический ряд n=11n расходится. Рассмотрим знакопеременный ряд n=1[(1)n1n+1n]. Его слагаемые стремятся к нулю, но их модули не монотонны. Легко видеть, что он расходится. Действительно, если бы он являлся сходящимся, то сходился бы и ряд n=11n, как разность двух сходящихся рядов n=1[(1)n1n+1n] и n=1(1)n1n. Но гармонический ряд n=11n расходится.

Теорема (оценка остатка ряда лейбницевского типа). Остаток после n-го слагаемого ряда лейбницевского типа имеет такой же знак, как и его первое слагаемое, а по абсолютной величине не превосходит абсолютной величины первого слагаемого.

Пусть Sn– частичные суммы ряда лейбницевского типа n=1(1)n1un(15.15) S=n=1(1)n1un и rn=k=n+1(1)k1uk Тогда rn=SSn, и мы хотим оценить rn.
При доказательстве теоремы Лейбница мы получили, что последовательность частичных сумм ряда (15.15) с четными номерами S2m возрастает, и поэтому S2mS. С другой стороны, S2m+1=u1(u2u3)(u4u5)(u2mu2m+1), откуда видно, что S2m+1S2m+3, т.е. последовательность частичных сумм ряда (15.15) с нечетными номерами убывает и поэтому S2m+1S.
Таким образом, S2mSS2m+1, откуда 0SS2mS2m+1S2m=u2m+1, т.е. остаток четного порядка r2m=SS2m удовлетворяет неравенству 0r2mu2m+1, что и доказывает теорему для остатков четного порядка.
Аналогично, из неравенства S2m+2SS2m+1 следует 0SS2m+1S2m+2S2m+1=u2m+2, т. е. u2m+2r2m+10, чем доказано утверждение теоремы для остатков нечетного порядка.
Итак, мы показали, что sign  rn=(1)n и rn∣⩽un+1 для любого n=1,2,

Примеры решения задач

Определить, сходятся ли ряды:

  1. n=1(1)nln2nn
    Решение

    Найдём предел un=ln2nn при n, воспользовавшись правилом Лопиталя: limnln2nn=limn2lnnn=limn2n=0, то есть модули слагаемых стремятся к нулю. Для проверки монотонности воспользуемся теоремой о достаточном условии строгой монотонности:
    (ln2xx)=2lnxxxln2xx2=lnx(2lnx)x2 Откуда видно, что при x, (ln2xx)<0, откуда следует, что модули слагаемых монотонно убывают. То есть, данный ряд удовлетворяет условиям теоремы Лейбница, следовательно, он сходится.

  2. n=1(1)n+1nn
    Решение

    Найдём предел un=(1)n+1nn при n: limn(1)n+1nn=limnn1n=limnelnnn.Воспользуемся правилом Лопиталя: limnelnnn=limne1n=e0=1. Покажем, что данный ряд не удовлетворяет не только условиям теоремы Лейбница, но и необходимое условие сходимости числового ряда: limn(1)n+1nn=limn(1)n+1 Но предела limn(1)n+1 не существует (можно показать по Гейне, взяв xk=2n+1 и xk=2n). То есть, данный ряд расходится.

  3. n=1(1)n+12narctg n
    Решение

    Найдём предел limn12narctg n=limn12nπ2=0. То есть модули слагаемых стремятся к нулю. Проверяем монотонность: (12xarctg x)=2+11+x2(2xarctg x)2, откуда видно, что при x (12xarctg x)<0, что по теореме о достаточном условии строгой монотонности говорит о том, что {12narctg n}n=1 монотонно убывает. То есть, по теореме Лейбница, ряд сходится.

  4. n=1sin(πn2+k2), где kN
    Решение

    Воспользовавшись нечётностью и периодичностью синуса, получим, что sinα=sin(α)=sin(2πnα)=sin(πn+(πnα))==sin(πn)cos(πnα)cos(πn)sin(πnα)==cos(πn)sin(πnα)=(1)n+1sin(πnα). То есть, n=1sinπn2+k2=n=1(1)n+1sin(πnπn2+k2). Предел общего члена ряда: limn(1)n+1sin(πnπn2+k2)=limnsin(n2(n2+k2)n+n2+k2)==limnsin(πk2n+n2+k2)=0. Монотонность. (πk2x+x2+k2)=πk2x+x2+k2(1+xx2+k2)==πk2x+x2+k2(x+x2+k2x2+k2)=πk2xx2+k2+x2+k2, то есть при n (πk2x+x2+k2)<0, а значит, по теореме о достаточном условии строгой монотонности {πk2n+n2+k2}n=1 монотонно убывает при достаточно больших n. При y в окрестности нуля, по таблице эквивалентных, sin(y)y, а y=πk2x+x2+k2 монотонно убывает к 0, как было показано. Значит, общий член ряда также монотонно убывает к нулю, следовательно, по признаку Лейбница, ряд сходится.

    При первом взгляде могло показаться, что для этого ряда не выполняется необходимое условие сходимости числового ряда. Однако, это не так: limnsin(πn2+k2)=limnsin(πn2(1+k2n2))==limnsinπn1+k2n2=limnsinπn=0

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

Тест для проверки уровня усвоения материала по теме «признак Лейбница».

  1. Лысенко З.М. Конспект лекций по математическому анализу.
  2. В.И.Коляда, А.А.Кореновский. Курс лекций по математическому анализу т.2. Одесса, «Астропринт», 2010, стр 16-19
  3. Б.П.Демидович. Сборник задач и упражнений по математическому анализу, 13-ое издание, Московского университета, 1997, стр. 259-260

Смотрите также

  1. Л.Д.Кудрявцев. Курс математического анализа, том. 2 стр. 27-29
  2. Г.М. Фихтенгольц. Курс дифференциального и интегрального исчисления.- т.2., стр. 302-305

Абсолютная и условная сходимость рядов

Рассмотрим числовой ряд с бесконечным множеством положительных и бесконечным множеством отрицательных членов. Такой ряд называется знакопеременным рядом.

Запишем произвольный знакопеременный ряд
a1+a2+a3++an+=n=1an (1),
где числа a1,a2,a3,,an, являются как положительными, так и отрицательными, причем располагаются они в ряде произвольно. Так же рассмотрим ряд, составленный из абсолютных величин членов ряда (1):
|a1|+|a2|+|a3|++|an|+=n=1|an| (2).
Для знакопеременных рядов справедлива следующая Теорема:

Теорема 1

Если ряд (2) сходится, то сходится и ряд (1).

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

Предположим, что ряд (2) сходится. Обозначим через Sn частичную сумму ряда (1), а через σn частичную сумму ряда  (2). Тогда: Sn=a1+a2+a3++an;

σn=|a1|+|a2|+|a3|++|an|. Так как ряд  (2) сходится, то последовательность его частичных сумм σn имеет предел limnσn=σ, при этом для любого n справедливо неравенство

σnσ (3),
Поскольку члены ряда  (2) неотрицательны.
Обозначим через Sn сумму положительных членов, а через S»n сумму модулей отрицательных членов, содержащихся в сумме Sn.
Тогда
Sn=SnS»n (4),
σn=Sn+S»n (5).
Видно, что последовательности Sn и S»n не убывают, а из равенства (5) и неравенства (3) следует, что они являются ограниченными: Snσnσ и S»nσnσ. Следовательно, существуют limnSn=S и limnSn»=S». Но в таком случае, в силу равенства (4), последовательность частичных сумм ряда (1) имеет предел
limnSn=limn(SnS»n)=limnSnlimnS»n=SS».

Это означает, что ряд (1) сходится. ◼

Пример 1

Ряд 1122132+142+152162172+ согласно доказанной Теореме 1 сходится, т. к. сходится ряд, составленный из абсолютных величин членов данного ряда: 1+122+132+142+152+162+172+
Ниже представлен график поведения первых двадцати, составленных из абсолютных величин, членов ряда
Пример 1(абсолют.сход.)
Рассмотренный признак сходимости знакопеременного ряда является достаточным, но не необходим, т. к. существуют знакопеременные ряды, которые сходятся, а ряды, составленные из абсолютных величин их членов, расходятся. Так, например, ряд n=11n+11n согласно признаку Лейбница сходится, а ряд n=11n, составленный из абсолютных величин его членов, расходится.

Поэтому все сходящиеся ряды можно разделить на абсолютно и условно сходящиеся.

Ряд с действительными или комплексными членами n=1an называется абсолютно сходящимся, если сходиться ряд n=1|an|.

Ряд n=1an называется условно сходящимся, если этот ряд сходиться, а ряд n=1|an| расходиться.

Спойлер

Абсолютная и условная сходимость рядов

Предлагаем Вам пройти тест на тему «Абсолютная и условная сходимость рядов».


Таблица лучших: Абсолютная и условная сходимость рядов

максимум из 5 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Знакопеременные ряды. Теорема Лейбница

Знакопеременным числовым рядом
называется ряд, содержащий как положительные, так и отрицательные члены.
Знакочередующийся ряд
Числовой ряд вида u1u2+u3u4++(1)n1un+, где unэто модуль члена ряда, называется знакочередующимся числовым рядом.Знакочередующийся ряд является частным случаем знакопеременного ряда.
Теорема Лейбница(Признак Лейбница)
Если для знакочередующегося числового ряда
u1u2+u3u4++(1)n1un+()
Выполняются два условия:

  • Члены ряда монотонно убывают по абсолютной величине u1>u2>>un>
  • Члены ряда стремятся к нулю limnun=0

то ряд () сходится, при этом сумма положительна и не превосходит первого члена ряда.

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

Частичную сумму чётного порядка можно записать так: S2n=(u1u2)+(u3u4)++(u2n1u2n).

По условию u1>u2>>u2n1>u2n, следовательно все разности в скобках положительны, значит, S2n увеличивается с возрастанием n и S2n>0 при любом n.

С другой стороны, если переписать так S2n=u1[(u2u3)+(u4u5)++(u2n2u2n1)+u2n]. Выражение в квадратных скобках положительно и  S2n>0, поэтому  S2n<u1для любого  n. Таким образом, последовательность частичных сумм S2n ограничена и возрастает, следовательно, существует конечный  limnS2n=S. При этом  0<S2nu1.

Переходя к частичную сумму нечётного порядка, имеем S2n+1=S2n+u2n+1. Перейдём в последнем равенстве к пределу при n:limnS2n+1=limnS2n+limnu2n+1=S+0=S. Таким образом, частичные суммы как чётного, так и нечётного порядка имеют один и тот же предел S, поэтому limnSn=S, следовательно данный ряд сходится.

Знакопеременные ряды. Признак Лейбница

В данном тесте вы можете проверить, как вы усвоили материал.


Таблица лучших: Знакопеременные ряды. Признак Лейбница

максимум из 9 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Литература: