книги из ГПНТБ / Салехов, Г. С. Вычисление рядов и несобственных интегралов
.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