 
        
        книги из ГПНТБ / Салехов, Г. С. Вычисление рядов и несобственных интегралов
.pdfдовательность {<;„} в признаке Куммера. Начнем с признака Даламбера.
Пусть для положительного ряда (А) имеет место ра венство
| —■ = а + 0 (1) (я —»оо). | ( 1. 12) | 
Тогда ряд (А) сходится при а < 1 и расходится при а > 1.
П р и м е р .
| 
 | 
 | 
 | У, (1+ | X ) | (1+ X * )... (1+ х " ) | {х > 0). | 
 | 
 | 
 | |||||||||
| Здесь | 
 | п—1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | л + | () | при 0 < | JC< | 1, я —»оо, | 
 | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 0 | 1 | 
 | 
 | ||||||
| 
 | ап-II | 1 + | х | 
 | 
 | 
 | 2 | 
 | 
 | 
 | при х = \ , | 
 | 
 | 
 | 
 | |||
| 
 | 
 | ап | х п+{ | 
 | 
 | 
 | 
 | 
 | при л: > | 1, я —»оо. | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 0 ( 1) | 
 | 
 | ||||||||
| Следовательно, по признаку Даламбера ряд сходится. | 
 | |||||||||||||||||
| 
 | Если в | (1.12) | а = | 1, | то | для | исследования | сходимости | ||||||||||
| ряда (А) естественно | рассмотреть | следующий | член в разло | |||||||||||||||
| жении | (1.12). | 1. | Пусть | 
 | для | положительного | ряда | (А) | ||||||||||
| 
 | Пр и з н а к | 
 | ||||||||||||||||
| выполняется условие | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | -д”-+' • = 1 + | <р(я)(1 + 0 (1 )) | (я —►оо), | 
 | 
 | 
 | ||||||||||
| где | 
 | 
 | О-п | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | <р(я) = 0(1), | — | ------------1 | — | = а | + 0(1) | (я | ►оо). 1 | 
 | |||||||||
| 
 | 
 | 
 | 
 | 
 | ?(п) | 
 | ?(п — 1) | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| Если | последовательность | 
 | ср(я) < 0, | начиная | с | я > N | и | |||||||||||
| а + | 1 > 0, | то | ряд (А) сходится; | если же а + 1 < 0 и ряд | ||||||||||||||
| X У(а) расходится, то и ряд | (А) расходится. | 
 | 
 | 
 | ||||||||||||||
| п=1 | Справедливость этого | утверждения следует | из признака | |||||||||||||||
| 
 | ||||||||||||||||||
| Куммера при | сп= ---- ^ ——, так как в этом | случае | 
 | |||||||||||||||
| 
 | 
 | R„ = c„ - с пЛЛ | 
 | = | 1 + а + 0(1) | (я —оо) | 
 | 
 | ||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | а п | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| и | при | а + 1 > 0 | ряд | (А) | 
 | сходится, | а | при | а + 1 < 0 | и | ||||||||
оо
I Е ? («) | = оо
л - 1
ряд (А) расходится.
20
Оценка остатка ряда (Л) определяется неравенствами (1.4)
| при | 1 = 0, | с„ = --------- -------, | где | Ь, | /. — постоянные | пара- | ||||||||
| 
 | 
 | 
 | 
 | 
 | ? (Я 4- О | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| метры, для которых | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | ----- ^»±»------------- -----> 0 | (п>т). | 
 | 
 | 
 | ||||||||
| 
 | 
 | <? (я Н- 1 + л) ап | <f (л + I) | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| Пример. | 
 | Для ряда | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | оо | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 5 ( а- ) = | ___________ я!__________ | 
 | (А > 0) | 
 | 
 | ||||||||
| 
 | V | 1) (х + | 2)... (х + | л) | 
 | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | (х + | 
 | 
 | 
 | 
 | 
 | ||||
| находим | 
 | 
 | 
 | «-1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | -ft"И-t1? х | = 1 - — (1+0(1)) | ( п —>оо), | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| 
 | ? | , V | 
 | X | 1 | 
 | 1 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | (л) | = | -------- | 9 (п) | 
 | (я — 1) | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | п | 9 | 
 | 
 | 
 | 
 | 
 | |||
| По | признак}' | 1 | 
 | при а > | 1 ряд сходится и при | 0 < а < | 1 ряд | |||||||
| расходится. | 
 | 
 | \ | х последовательность | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| При сп = п | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| Rn = сп - с,л -fl | 
 | = п | 4- X — (п + | 1 + а ) | 
 | п + | 1 | = X | ||||||
| 
 | Я ~f* 1 | X | ||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
равна постоянному числу, поэтому получим точное значение суммы ряда
| 5 (а ) = | (схаі — lim спап) = —— - (а > 1 ) . | 
| IX | X — I | 
| В частных случаях при | <р(п) = — —— и ? (п) = | 
 | полу | ||||||||||
| чаем следующие признаки | сходимости. | 
 | 
 | 
 | (Л) вы | ||||||||
| П р и з н а к | И. Пусть для положительного ряда | ||||||||||||
| полняется | 
 | 
 | 
 | 1 + | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | Лд+L = | £± 1111 | (л _ ю о). | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | ап | 
 | 
 | 
 | п 1л п | 
 | 
 | 
 | 
 | 
 | 
 | 
| Если, | с < 0, а < 0, | то | ряд | (Л) | сходится-, если | же | с > 0, | ||||||
| а— любое | число или | а > 0, | с — любое | число, | то | ряд (Л) | |||||||
| расходится. | 
 | ряда | определяется | неравенствами (1.4) | |||||||||
| Оценка | остатка | ||||||||||||
| при | 1 — 0, | сп = (п + а) In'1(п + Ь), | а, | Ь— некоторые | постоян | ||||||||
| ные | числа. | 
 | Ряд | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| Пример. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | оо | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | у і | ____________ п!____________ | 
 | 
 | 
 | ||||||
| 
 | 
 | 
 | ІА | (1 -I- In 2)... (л + | ln (л + | 1)) | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | Пт\ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
21
| сходится | по признаку II, | так как | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | ап+1 | ____ п + I_____ __ ] _ | in п (1+0(1)) | (п | 
 | со), | |||||||||
| 
 | сіп | я -f- 1 -Ь ln (л -f- 2) | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| т. е. | с = а = | — 1 < 0. | 
 | 
 | 
 | положительного | ряда | 
 | |||||||
| Пр и з на к | III. | Пусть | для | (Л) | |||||||||||
| имеет место | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | M±Ll | = 1 | + | С+ 0(1) | (П-> оо). | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | ап | 
 | 
 | па | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| Если а < 1, с < 0 или а = | 1, | с + | 1 < 0, | то ряд | (Л) сходится. | ||||||||||
| Ряд | (Л) | расходится | водном, | из | трех | случаев: | 1) | с > 0, | |||||||
| а — любое имело, | 2) | с + | 1 > 0, | а = 1 , | 3) с — любое | число | |||||||||
| a > 1. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| Оценку остатка ряда можно | получить | из формулы | (1.4) | ||||||||||||
| при | 1 = 0, с„ — (п + X)*, | X— некоторое | постоянное | число. | |||||||||||
| Пример. | Ряд | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | У Г | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| сходится | по признаку III, | так как | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | а П 4-1 | 
 | 
 | 1 + | 0 0 ) | (п—>оо), | т. е. | а = с | 
 | 2 | ' | 
 | |||
| 
 | йп | 
 | 
 | 2 У~п | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
Оценку остатка этого ряда легче получить по дифферен циальному признаку (см. пример в п. 2.9).
Случай а=1, с = — 1 в признаке III рассмотрим отдельно. Приз на к IV. Пусть для положительного ряда (Л)
справедливы соотношения
| 
 | ап+1 _ 1 _ _ L + _ ! < £ ) _ ( ! + 0 ( 1 ) ) ( я - с о ) , | |||||
| 
 | ап | я | л | 
 | 
 | 
 | 
| 
 | _1_ | 1 | а + 0(1) | (п —>оо). | ||
| 
 | <Р(л) | у(п —1) | л | 
 | ||
| 
 | 
 | 
 | 
 | |||
| Ряд (А) сходится, | если | ф(п) < 0 | 
 | начиная | с некоторого | |
| п > N, | а + 1 > 0, | и расходится, | если а + | 1 < 0 и расхо- | ||
| 
 | оо | 
 | 
 | 
 | 
 | 
 | 
| дится | ряд ^ J | . | 
 | 
 | 
 | 
 | 
1
Для доказательства утверждения воспользуемся призна ком Куммера, полагая сп= |~~п^ . В этом случае
| К | 1П-И | а + 1 +0(1) (я—>оо). | 
| С п Сп + \' а, | 
22
| Следовательно | ряд | (Л) | сходится, | если | а + 1 > 0. | Ряд (Л) | ||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | оо | 
 | 
| расходится, | если а.+ 1 < 0 и расходится ряд | Ж“1 О(fl) | ||||||||||||
| V —-— . | ||||||||||||||
| Для оценки остатка | ряда (Л) | 
 | 
 | 
 | л - 1 | 
 | ||||||||
| следует в неравенствах (1.4) | ||||||||||||||
| принять 1 — 0 | и сп = | 
 | 
 | 
 | f l "4" | ? | 
 | Ь— некоторые посто- | ||||||
| ------ ^ | 
 | 
 | ||||||||||||
| янные числа. | 
 | 
 | 
 | 
 | <?(п + Ь) | 
 | 
 | 
 | 
 | |||||
| V. Пусть | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| П р и з н а к | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| 
 | ая+1 __ 1 _ | 
 | к | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 1 | 
 | + -гѵ т(1 | + 0(1)), | 
 | ||||||
| 
 | ап | 
 | 
 | 
 | ІА | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | К (") | h («) | 
 | 
 | 
 | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | ѵ*=0 | 
 | 
 | 
 | |||||
| 
 | 
 | 1 | 
 | 
 | 
 | 1 | 
 | * ± М 1 (л —оо), | 
 | |||||
| где | 
 | 9 (я) | ? (п — 1) | 
 | >■*(”) | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | >.ѵ(а) = п In п ... In ... ln н, | /0(п) = | п. | 
 | |||||||||
| Тогда | ряд | оо | 
 | сходится, | 
 | 
 | 
 | 
 | 
 | п > /V и | ||||
| 51 ап | есяя | <р(/г) < 0 | для | |||||||||||
| 
 | 
 | п—Х | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| а + 1 > 0. Ряд | 51 ал | 
 | расходится, | если | а + | 1 < 0 | я расхо- | |||||||
| дится ряд | 
 | П—1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | У ] | 
 | 7 7 Т | ( іп ... тin > о). | 
 | 
 | ||||||
| 
 | 
 | 
 | i d | 
 | h ( n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| Признак V | л—m | 
 | : («) | 
 | помощью | признака | Куммера | |||||||
| доказывается с | ||||||||||||||
| при | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ^ (я —1) | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | 
 | 
 | с ,= | - | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | 9 | (я — | 1) | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| В частном случае при k = 0 он | содержит признак IV. | |||||||||||||
| При <$>(п) ——-— признак IV дает | 
 | 
 | 
 | |||||||||||
| 
 | 
 | 
 | Ія п | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| Пр и з н а к | VI. Пусть | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | 
 | - 2 а ± = | 1 | 
 | 
 | J - + | С.±-°Ш..- (д | оо). | 
 | |||||
| 
 | 
 | ап | 
 | 
 | 
 | п | 
 | 
 | я In* я | 
 | 
 | 
 | ||
| Если 0 < а < | 1, с < 0 | или а — 1, с + | 
 | то ряд | ОО | |||||||||
| 1 < 0, | 51 а п сх0_ | |||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | оо | 
 | я=1 | |
| дится, | если | же а = | 1, с + | 1 > 0, то | ряд 51 ап расходится. | |||||||||
«=1
23
| Остаток | ряда | £ | ап | оценивается с | 
 | помощью (1.4) при | ||||
| 
 | 
 | 
 | Я=1 | 
 | X, | b — некоторые | постоянные | |||
| / = 0 и сп= (п + X) ln“ (п + b), | ||||||||||
| числа. | 
 | 1. Для | ряда | 
 | 
 | 
 | 
 | 
 | ||
| Приме р | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | 
 | со | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | ^ - ^ - е х р ( — 1 Inп) | 
 | 
 | 
 | |||
| имеем | 
 | *п-н | 
 | 
 | 
 | 1 +0(1)2 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 1 | 
 | (п —►со). | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | 2п 1/Л1п п | 
 | 
 | 
 | |
| По признаку VI ряд сходится, так как | a = i , | с= — . | ||||||||
| Пр и ме р | 2. | Исследуем | сходимость | 
 | ряда | 
 | ||||
| 
 | 
 | 
 | 
 | со | 
 | 1 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | VI | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | п=2 | О | + 1) hv' п | 
 | 
 | 
 | |
| Используя | преобразование | 
 | 
 | 
 | 
 | 
 | ||||
| ln1(п + | 1) == ІПХ[д | 
 | = | [ln п + ln ^l + | 
 | |||||
| ln« + -i-+ o(-^-)Jx= | lnx n+ - J (ln/i)X_1(l +0(1)) (я— со), | |||||||||
| Находим | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| a,i+i | О + 1)1+ n | 
 | = Л _ | 1 -I 0( t ) \ | л _ | X+ 0 ( 1 ) \ | ||||
| 0+2)1+ (n+1) | \ | 
 | n | J | \ | n Inn J | ||||
| 
 | 
 | = | 1 | J___ X + 0(1) | (ll —>со). | 
 | ||||
| 
 | 
 | n | 
 | n ln n | 
 | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
Итак, c= — л, а==1; по признаку VI ряд сходится при Х>1
ирасходитя при X< 1.
2.9.Дифференциальные признаки Пр и з н а к VII. Положительный ряд
| 
 | 
 | Е / ( я ) | 
 | (1.13) | |
| 
 | 
 | л=г/г | 
 | 
 | |
| сходится, | сОя | некоторой отрицательной | и диффе | ||
| ренцируемой при X >■ т функции F (х) | 
 | ||||
| 
 | іп{ | [п т | І 1 Ь ± & | = / ? > 0. | 
 | 
| 
 | o<e<iL^^ | /(я) | 
 | 
 | |
24
Справедливость утверждения следует из общего признака сходимости в силу соотношений:
| bn = F{n + \)~F (n) = F'(n + b) | (0 < Ѳ< l), | |||||
| 
 | B rn= — F(m) + lim F(n) > 0. | |||||
| 
 | 
 | 
 | n ~ + oo | 
 | 
 | |
| Из общей оценки (1.2) получаем | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | oo | 
 | |
| zr- (— F(m) + lim F(n)) < V] f(n) < | ||||||
| 
 | Rm | n~*°° | 
 | * * | 
 | |
| 
 | 
 | 
 | 
 | n—m | 
 | |
| 
 | < | (— F{m) + | lim F(n)), | (1.14) | ||
| 
 | 
 | fjl | tl~+-oo | 
 | 
 | |
| где | 
 | F ' (ft + 8) | 
 | 
 | F ' (n + 6) | |
| Rm = | sup | R n | inf | |||
| f(n) | f(n) | |||||
| n^rn | 
 | o<e<i | ||||
| 
 | O<0<1 | 
 | 
 | 
 | ||
При различном выборе функции F(x), удовлетворяющей условиям признака, можно получить различные признаки сходимости положительных рядов и соответствующие оценки их остатков. Так, например, при F(x) = f{x)g(x), где g(x) отрицательная функция, получаем признак, сходный с приз наком Куммера.
Пример. Для ряда
оо
| у . — = | ! ------------ | ■ | |
| 
 | У п2 + 1 In2 (п -г 1) | ||
| при F (х) = ---- -— (х > | 1) условия | сходимости выполнены и, | |
| ІП X | иметь | 
 | 
 | 
| согласно (1.14), будем | 
 | 
 | |
| т in т | 
 | ________ J _________ < | |
| V nF - 1 In2 (от + | 1) | П= ГП V п2 + 1 In2 (я + 1) | |
| < | те + 1 | (т > 1). | |
| 
 | |||
| У т2 + 1 in от | 
 | ||
| Пр и з на к При нс г е йма | (66]. Положительный ряд (1.13) | ||
| сходится, если для некоторого X> 0 существует предел | |||
| lim (п + l)' + xf(n) = с | (0 < с < сю). | ||
| «—►во | 
 | 
 | 
 | 
| Для оценки остатка ряда | справедливы неравенства | ||
| 
 | оо | 
 | 
 | 
| —Ц- inf (n +1f(n))< | V f(n) < —Ц- sup [(л + 1)Х/(л)І- | ||
| ш п> т | п=т | 
 | t.m | 
| 
 | 
 | 
 | |
25
Этот признак является следствием признака VII при F(x) = -----— . Оценка остатка ряда вытекает из соотноше-
ния (1.14).
Пример. Рассмотрим ряд
lnp sec
Л= 1
Так как при п —*со
| \пр sec —-— = — in' (1 —tr | 
 | + 0(1) | (п~* со), | |||||
| 
 | 2Р (п ~ 1 ? р | |||||||
| п + 1 | 2р | \ | 
 | 
 | 
 | 
 | ||
| то полагая X= 2/7—1, находим, что | т?Р | 
 | 
 | |||||
| 
 | lim (п + 1)х+1/(«) = | 
 | 
 | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | ~2Р~ ' | 
 | 
 | 
| Таким образом, при р > -j- | заданный ряд сходится. | |||||||
| Пр и з н а к | VIII. Пусть существует такая отрицательная | |||||||
| функция g{x), что при х'у>т | функция | F (х) = f (х) g (х) | ||||||
| дважды, дифференцируема и F" (х) = 0 (F'(х)) | (х —>со). Тогда | |||||||
| ряд (1.13) сходится, если | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | lim | F' ( X ) | > 0 , | / | 
 | 
 | 
| 
 | 
 | 
 | д » о о | f i x ) | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| и расходится, | если | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | l i m - ^ i ^ - | < 0 | 
 | 
 | 
 | |
| 
 | 
 | 
 | V-+00 | / (л-) | 
 | 
 | 
 | 
 | 
| и расходится | ряд | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | £ | 1 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | gin) | ' | 
 | 
 | 
 | |
| 
 | 
 | 
 | п—т | 
 | 
 | 
 | 
 | |
| Справедливость утверждения устанавливается с помощью | ||||||||
| обобщенного | признака | Куммера, | если заметим, что | |||||
| c „ = —g(n), ап=/(п) | 
 | и F(n+ 1 ) - F[n) = F'{n){\ +0(1)) | ||||||
| 
 | 
 | 
 | (п—>оо). | 
 | 
 | 
 | ||
При соответствующем выборе функции g(x) можно сфор мулировать в дифференциальной форме все признаки, полу чающиеся из признака Куммера. Например, имеет место сле дующий
Пр и з н а к IX. (Сравните с признаком 1 из 2.8). Пусть для х^у т функция f(x) дважды дифференцируема и при
X — » со
/"(* ) = 0(/'(* )), ^ f = ?(*)(l +0(1)),
26
| (л-) =0(1), | —Y= | а | 0 ( 1), | (тЬг)'-°[(- <?(*) | |
| 
 | (• '(•*) / | 
 | 
 | 
 | |
| Если у (л:) < 0 | для xf>,m | и а + | 1 | > 0, то ряд (1.13) сходит- | |
| ся. Если же а + 1 < 0 и ряд | со | ©{п) расходится, то и ряд | |||
| £ | |||||
| 
 | 
 | 
 | П~Ш | 
 | |
(1.13) расходится.
Для оценки ряда (1.13) можно использовать неравенства (1.14) , приняв F(x) — ^ ~ ~ .
Замечание. Признак IX является дифференциальным ана логом признака 1 п. 2.8. Нетрудно также сформулировать дифференциальные аналоги признаков П— VI и. 2.8. Эти приз наки позволяют выбрать последовательность {с,,} в признаке Куммера. Так если
| 
 | 
 | 4 г т | = ? ( * ) ( М -0(D) | (*-»°°)> | ||||
| 
 | 
 | /(•«) | с„ = ------------ | (с, — постоянные), т. е. | ||||
| то | можно принять | |||||||
| 
 | ^ | 
 | 
 | " | 9 (л | + | л) | 
 | 
| 
 | 
 | 
 | 
 | 
 | оо | 
 | 
 | 
 | 
| для | положительного | ряда | ^]/(я) | можно взять для сравне | ||||
| ния ряд | 
 | 
 | 
 | на | 1 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | оо | 
 | 
 | оо | 
 | 
 | 
 | 
 | 
| 
 | у > „ = . с у ) ( — L <JL±n | -----------1) | т - . ) . | |||||
| 
 | LJ | LJ | \ | ? (п -г | 
 | /. + | с (п + /.) / | |
| 
 | н = 1 | 
 | л=1 | 
 | 
 | 
 | 
 | |
Пример. Сходимость ряда
Ц ехР (— У п)
п= 1
была установлена раньше по признаку 111. Найдем оценку остатка ряда. Имеем
| /фс) = ехр(— Ух), | /' (-V | 
 | 1 | ■=. | ? (-ѵ) = | 1 | ||||
| 
 | 
 | 
 | 
 | f ( x ) | 
 | 2 ] | X | • ' ' | 2 J ' х | |
| Тогда в силу | признака | IX Е(х) = — 2 Ух ехр (— Ух) и для | ||||||||
| отношения | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| F' (х + | 6) | 
 | - | -ут+т ) ехр( Ѵ х ~ | + Ѳ) | |||||
| fix) | 
 | 
 | ||||||||
| находим | 
 | F’ (X + Ѳ) | . | . , | 
 | 
 | 
 | |||
| sup | F ' i x + Ъ) | ^ , | ||||||||
| ------------ = | 1, | wf | ||||||||
| .*■>'» | / | (x) | 
 | 
 | .v>m | 
 | / (л') | 
 | ||
| 0 « в < 1 | 
 | 
 | 
 | 
 | 0 « 9 < 1 | 
 | 
 | |||
| 
 | > I' 1- T h r ) ext’ f i h , | ( r a > a | 
 | |||||||
27
Окончательно, на основании (1.14), получим
со
2 -\fт exp (— I' tn) < V exp (— V n) < —^ — exp1 — 2т
Ш XTт - 1 2Ѵ^Г
( т > 1).
В частности,
0,067 < S ехр ( — ]/п) < 0,093,
п =25
0,00090 <• £ ехр ( — / « ) < 0,00105.
и=І00
2.10. Признаки сходимости, вытекающие из теории сопряжения рядов
| 1) | Т е о р е м а | Н. В. | Б у г а е в а |5—7]. Пусть /(х ) — пол | |
| жительная, непрерывная, | монотонно убывающая функция, | |||
| а Ь (х) — некоторая | положительная, | дифференцируемая, | ||
| возрастающая функция, такая, что | 1іто(х) = оо, причем | |||
| 
 | 
 | 
 | 
 | -Ѵ-+-00 | 
функция Ъ'{х)/{Ь(х)) при достаточно больших х монотонно
| убывает. Тогда ряды | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | £ / ( « ) | 
 | 
 | 
 | 
 | (1.15) | |
| 
 | 
 | п= 1 | 
 | 
 | 
 | 
 | 
 | |
| 
 | со | 8'( | « | Ш | Э | Д | ) | 
 | 
| 
 | п=1£ | (1.16) | ||||||
| являются сопряженными, | т. е. они одновременно сходятся | |||||||
| или расходятся. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| Утверждение теоремы следует из интегрального признака | ||||||||
| и сопряженности интегралов: | 
 | 
 | 
 | 
 | 
 | |||
| 
 | оо | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| / (х) dx, | j o' (x)f (8 (x)) dx | (a, | ? > 0). | 
 | ||||
| 
 | t | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| Ясно, что любой | признак сходимости для одного из соп | |||||||
| ряженных рядов будет признаком для другого. | 
 | |||||||
| На основании теоремы Н. В. Бугаева, в частности, дока | ||||||||
| зывается | 
 | 
 | 
 | [16]. | 
 | 
 | 
 | |
| Пр и з н а к В. П. Е р ма к о в а | 
 | 
 | возрастаю | |||||
| Пусть т (х) — некоторая | дифференцируемая | |||||||
| щая функция, такая, что у(х) > х | и | 
 | 
 | 
 | ||||
| р | _ | Т | ( т) f | (т)) | 
 | 
 | 
 | |
28
Тогда ряд (1.15) сходится, если
lim Ет = Е < 1,
1П-+00
а расходится, если
lim Ет = Е у 1.
М -Ѵ о о
Действительно, полагая 3 (и + 1) = у (8 (/г)), о(п) = т и при меняя признак Даламбера ко второму сопряженному ряду (1.16), убеждаемся в справедливости признака.
В частном случае у(/я) = ет
__ ет f (е™)
В такой записи признак Ермакова заменяет все логарифми ческие признаки Бертрана.
Например, полагая
| имеем для ряда | / ( * ) = • л: (In д:)1+х | 
| 
 | |
| 
 | (ln т)1 +х | 
| S | /г (ln n)l+l | 
| Л=2 | 
 | 
| Отсюда, если X> 0, | то 1ітДт = 0 , т. е. ряд сходится. Если | 
| 
 | т-¥ со | 
Х<0, то lim Ет = со, т. е. ряд расходится.
т~+-оо
Для оценки остатков рядов можно воспользоваться об щей оценкой (1.2), где
| Я* = Т7ІГ | £4-1 | 
| і 3' | |
| f w | J | 
| 
 | k | 
оо
W) dx. в т = \Jь' (*)/ (3 (л:)) dx.
m
2) Существование Ъ(х) для определенной функции ‘{(х), удовлетворяющих оговоренным выше условиям, установлено В. А. Зморовичем [20—22]. Он показал также, -что теорема
Н. В. Бугаева является следствием теоремы О. Шлемильха [67].
Если / (х) — положительная непрерывная строго убываю щая к нулю функция для х у>\ и Ь(х) — положительная не прерывная при X у - 1 функция, причем
a) 8(д;)—»со при л:—»оо,
B ) 8 (* + 1) >&(■*),
c) 5 (х + 2) - 8 (х + 1) < А [6 (х + 1) — 8 (*)], Л > 0,
29
