![](/user_photo/_userpic.png)
книги из ГПНТБ / Салехов, Г. С. Вычисление рядов и несобственных интегралов
.pdfто ряды
Е f(n), Е /(«(«)) І3(«+ 1)-8(я)|
/і= 1 |
н - 1 |
являются сопряженными.
В частном случае при 3 (п) = р", р > 1 из последней тео ремы получается теорема О. Коши ]56[. Кроме этого В. А. Зморович [18—22] доказывает ряд теорем о сходимости рядов с положительными членами, из которых как следствия полу чаются теоремы Н. И. Лобачевского [25], О. Шлемильха [67],
Г.Л. Лунца [26], В. П. Бондаря [4], Клуни [571.
3)Теорема Н. В. Бугаева может быть использована дл оценки остатка сходящегося ряда (см. также [44]).
Эта теорема позволяет для данного сходящегося ряда при выбранной функции 3(.х) построить класс сходящихся рядов с различной скоростью стремления их общих членов к нулю. Применяя к ряду
со
/і—і
последовательно ѵ раз преобразование |
(1.16) при о (я) = In я" |
|||
получим ряды Бертрана |
|
|
|
|
со |
|
|
|
|
S A р ) = Y . ---------- ----------- (ѵ — 0, |
1, 2, . . . ) , . |
|||
,Ип ' |
{п) (ІП' ПУ |
|
|
|
где |
|
|
|
|
lnvп = In ... Inп, |
1пѵ/га>0, |
|
||
1п0 п — А0 (п) = п, \ (п) = |
п In п 1щ п ... 1пѵп. |
|||
С помощью признака |
Ермакова |
можно |
показать, что по |
|
лученные ряды сходятся |
при р > 0 и |
расходятся при р < 0- |
||
Более того очевидно, что общий |
член |
ряда Sv(р) стремится |
к нулю быстрее, чем общий член ряда Sb (рД если ѵ< ѵ, или ѵ = ѵ, и р > р]. Поэтому для данного положительного ряда (1.15) с монотонно убывающими членами можно найти такие
ряды Sv(г) и Sv (R), |
что |
|
Sv (R) < S /(я ) < 5 , (Г), |
||
где |
п~т |
|
|
|
|
г= inf рл, R = sup р„, |
0< r < R < со, |
|
гі^-т |
rC^rti |
|
Рп |
1ч Д (п)/ (/г)] |
(п > т). |
|
1пѵ+і 11 |
|
30
Так как при р > О
J |
dx |
|
к U )(ln, л:)Р |
р (lnv m)p |
|
т |
|
|
то используя оценку (1.8), получим
R(ln4 m)R |
< £ А") < |
- ( І П ѵ (т + 1 ) > 0 ) . ' |
' L i ' ' ' ' |
r(lnv (/и — 1))' |
|
v |
п = т |
|
Пример. |
Рассмотрим |
ряд |
оо
Е
п-2
Здесь
ѵ= 1, R —а — 1,
и поэтому
1
—(а >1) .
пln“ П —-У~п
г - |
ln (т ln“ т — V т) — ln (т In т) |
|
ln ln т |
||
|
ОО
-----------< У} |
-------- !-----гг < |
------- --------- (т > е + 1). |
(а— 1) (Inln т)')а 1 |
я ln“ я — I/ п |
г [Іи (яг 1)Б |
§ 3. АСИМПТОТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ОСТАТКОВ РЯДОВ*
Асимптотическое представление остатков сходящихся ря дов позволяет находить приближенные численные значения остатков рядов для достаточно больших значений п. Более того, получаемые при этом сравнительно простые асимпто тические формулы характеризуют поведение остатков рядов при я —>оо. Рассматриваемый метод позволяет также полу чить асимптотические формулы для частных сумм расходя щихся рядов, и может быть использован, например, в анали тической теории чисел. Очевидно, в этом случае будут рас сматриваться расходящиеся ряды (А) и (В):
оо |
«*. |
(А) |
k=\Е |
||
оо |
|
|
Яя = Е & * |
(«>!)•■ |
(В) |
k ~ n |
|
|
см. также [63[.
31
Мы будем говорить, что остаток ряда (А) асимптотически равен Ап при « —»оо, если
оо
Ііш — ак= 1.
«-«о л„ Li к^=п
Этот факт записывается формулой
оо
Y i ak ~ Ап (п -* °°)
или же в виде равенства
Е я* = А, О + 0 (1 )) (л-»оо).
к ~ п
Для остатка положительного ряда (А), сходящегося по общему признаку § 1, асимптотическое равенство может быть установлено на основании следующей теоремы.
Теорема. Если для положительного ряда (А) существует такой положительный ряд (В), что
Ііш — = R (0 < R < со), k-+oo CLfz
то справедливо асимптотическое равенство
(п —■>оо).
R
Доказательство. Суммируя очевидные неравенства
^ - < a k< А . Rn Rn
по k от k = п до &= оо, получаем O
J?n-<
R n
1 |
c |
! |
|
где
Откуда
R
R n
sup |
|
» |
n |
__ inf |
|
|
|
oo |
|
^ |
Я |
^ |
/? |
i n |
|
||
д г |
Е |
* |
* |
R n |
|
|
k — n |
|
|
|
32
и в силу равенств
lim Rn= lim Rn = R
убеждаемся в справедливости теоремы.
Рассмотрим применение доказанной теоремы для получе
ния асимптотических |
равенств для |
остатков |
рядов, сходя |
||||
щихся по некоторым конкретным признакам сходимости. |
|||||||
1) Если ряд (А) сходится |
по признаку Куммера, т. е. |
||||||
п->~°о |
\ |
|
ап |
/ |
|
|
|
где {сп\ — некоторая |
последовательность |
положительных чи |
|||||
сел, то получаем следующее асимптотическое равенство |
|||||||
V akr^ - j ( c nan |
lim ckak) {/i—>oo). |
||||||
k=n |
|
|
k-+<x> |
|
|
|
|
|
|
|
|
|
|
|
|
Пример. Для ряда |
|
|
|
|
|
||
|
|
со |
|
|
|
|
|
|
|
S (k+\)ka |
|
> 0) |
|
|
|
примем ck = k + 1. Тогда R = a, |
lim ckak = 0 |
и |
|||||
£ |
|
1 |
|
1 |
(n |
со). |
|
(k + l) ka |
a~nа |
|
|||||
k=.n |
|
|
|
|
|
|
2) Если положительный ряд (А) сходится по алгебраи ческому признаку Коши, т. е. для некоторого положительно го постоянного р < 1
lim — = R > О,
л->оо ап
то находим следующее асимптотическое равенство
(«—>оо).
2 j a*" (1-р)/?
Пример. Для ряда
6 і Ѵ~Ь
полагая р = а, находим
(п —*оо).
Ып ѵк 1 — а
Д-198— 3 |
33 |
|
3) Если для положительного ряда (А) выполняется усло вие
|
a k + \ |
= 1 |
1 |
. |
С + 0 (1) |
|
, , |
|
I |
1 |
^ А \ |
||
|
Як |
— |
+ |
■ |
"■..(k-+oo, |
с-т 1 < |
0), |
||||||
|
|
|
k |
|
|
k ln k |
|
|
|
|
|
|
|
то будем иметь асимптотическое равенство |
|
|
|||||||||||
|
|
|
U |
сіи |
|
|
апп ln п |
(tl —> оо). |
|
|
|||
|
|
|
|
|
с + |
1 |
|
|
|
||||
|
|
|
k=n |
|
|
|
|
|
|
|
|
|
|
Пример. |
|
Для |
ряда |
|
|
|
|
|
|
|
|
||
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
У1 — - |
|
с = |
— а и |
|
|
||||
|
|
|
|
ft=2 |
fein" k |
|
|
|
|
|
|
||
|
|
|
|
^ |
k |
1пс |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
а—1 |
( f l - * со, |
|
а > 1 ) . |
|
|
ft=n k ln“ k |
|
(г — 1) (ln п) |
|
|||||||||
|
|
|
|
|
|
|
|||||||
4) |
Если f(x) — положительная |
монотонно убывающая при |
|||||||||||
|
|
|
|
|
|
|
00 |
|
|
|
|
|
|
х > \ |
функция, |
и интеграл |
\ f (х) dx |
сходится, |
то получаем |
||||||||
асимптотическое равенство |
1 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|||||||
|
|
|
со |
|
|
|
оо |
|
|
|
|
|
|
|
|
|
]Г] / |
(£) ~ - ^ |
j /(•*) |
|
|
(я-*°°). |
|
|
|||
где |
|
к=п |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* + і
R = Hm ——Х ■ I f(x)dx.
ft-f-oo f/(*)k JR
Пример. Для |
функции f ( x ) - ~ - |
(а >1) имеем |
|
Л і |
1 — (я — оо, |
а > 1). |
(1) |
(а — 1) ri |
|
k = n
Зная сумму ряда и асимптотическое представление остат ка ряда, можно записать и асимптотическое равенство для частной суммы. Например, рассмотрим сумму
3- - Л - ? |
* >1)- |
А—1 |
|
которую запишем в виде |
|
оо |
оо |
ft=l |
к=Пл+1 к*1 |
34
Но |
Ü k° |
= '(a) |
и, |
согласно |
соотношения (1), |
|
|||||
|
|
|
|
1 |
________1______ |
(n |
oo). |
|
|||
|
|
|
U+ 1 k* |
(a- l)(n + l)—1 |
|
||||||
Поэтому |
|
|
|
|
|||||||
|
|
|
1 |
|
|
|
►OO, |
|
|
||
|
|
|
|
|
|
|
|
|
|
||
|
|
S„ |
C(«) + |
( |
a - l H / |
i + |
l ) |
<*> |
1), |
||
|
|
- 1 |
|||||||||
где |
С(л:) — дзета-функция Римана |
[12]. |
равенств будет рас |
||||||||
|
Метод улучшения |
асимптотических |
|||||||||
смотрен |
в следующем параграфе. |
|
|
|
|
||||||
|
|
|
§ 4. УЛУЧШЕНИЕ СХОДИМОСТИ РЯДОВ |
|
|||||||
|
При вычислениях с рядами |
имеет большое |
практическое |
||||||||
значение вопрос о быстроте сходимости ряда. |
|
||||||||||
|
|
ос |
|
|
|
|
|
|
|
|
|
|
Ряд |
Y. bk называют сходящимся более быстро к своей сум- |
|||||||||
ме, |
чем |
ряд У ак, если. |
|
|
|
|
|
|
|||
|
|
|
ft=1 |
|
lim - ^ = 0. |
|
|
(1.17) |
|||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
£ - * ОС |
Я & |
|
|
|
|
|
В случае, когда ряды У ак |
и |
|
bk положительны, из ус- |
||||||||
ловим (1.17) |
следует |
*=і |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
lim — |
----= 0 . |
|
|
(1.18) |
||
|
|
|
|
|
/7-00 |
°° |
|
|
|
|
|
aft
*=//
Действительно, по определению предела (1.17) для любо го сколь угодно малого в > 0 существует такое число N, что выполняются неравенства
|
|
|
О < — < е |
|
|
|
а* |
для всех к > Д'г |
или |
0 < bk < saA. Суммируя эти неравенства |
|
по к от к = п до |
к — оо, |
получаем |
|
|
|
0 0 |
ос |
|
О < |
У>Ьк<£ У ak (п> N) |
|
|
|
к — п |
k = n |
3 * |
35 |
|
и отсюда
S»*
0 < - ^ ---- < s (n> N ), |
|
|
|
оо |
ak |
|
|
2 |
|
|
|
k^n |
|
|
|
что равносильно равенству (1.18). |
|
|
|
|
оо |
|
оо |
Любое преобразование, |
сводящее ряд |
ак к |
ряду У] bk |
|
A-=l |
|
*«=1 |
при условии (1.17), называется улучшением сходимости ряда
2 а ,
ft-i |
|
|
Пример . Рассмотрим медленно сходящийся ряд [3] |
||
оо |
|
|
и |
(1.19) |
|
*1 , 0 0 1 • |
||
|
Определим, сколько членов ряда нужно сложить, чтобы по лучить значение суммы ряда с точностью до единицы. Обо значим число взятых членов ряда через п. Это число долж-
но быть |
выбрано так, |
оо |
1. Данное условие |
чтобы £ £-1'001 < |
|||
|
|
А=л+1 |
|
выполнится, как только |
|
||
|
Г ^ к < 1 . |
(1.20) |
|
|
J |
X |
|
Вычисляя |
интеграл (1.20), получаем - Qwi |
< 1 или п > ІО3000. |
Суммирование такого количества членов ряда практически невозможно. Составим вспомогательный ряд
оо |
é - f 1 |
dx |
CO |
|
|
1000, |
|
S |
J' |
|
1000 |
\ |
|||
X 1,001 |
(*+ 1)0,001 J |
||||||
ft=i |
k |
|
—1 |
|
|
|
|
с помощью которого ряд (1.19) можно преобразовать |
к виду: |
||||||
|
|
|
оо |
|
|
|
|
|
|
|
юоо |
+ |
1000 |
\ |
|
|
|
|
*0,001 |
(* + 1>0'001 ) |
‘ |
||
|
|
|
£=1 |
|
|
|
|
Полученный ряд сходится гораздо быстрее, чем исходный ряд (1.19). Уже первый член преобразованного ряда дает значение суммы 5 « 1000,3 с точностью до 0,3.
36
4.1. П р е о б р а з о в а н и е К у м м е р а
Предположим, что для ряда
со |
|
Е ак |
( 1.21) |
k=m |
|
найден такой сходящийся ряд |
|
|
|
«.= f |
|
|
|
|
|
|
(В) |
||
|
|
|
|
к^т |
|
|
|
|
|
|
|
что существует |
конечный предел |
|
|
|
|
|
|
||||
|
|
lim ^ - = R ^ 0. |
|
|
|
|
|||||
|
|
k*+oo |
üfo |
|
|
|
|
|
|
|
|
Тогда имеет место следующее тождество |
|
|
|
||||||||
|
S a‘ - v |
+S ( a‘' ^ ) ’ |
|
|
<L22) |
||||||
которое называется преобразованием Куммера для ряда |
(1.21). |
||||||||||
Преобразование |
(1.22) улучшает сходимость |
ряда |
(1.21), так |
||||||||
как общий член а* = ak |
|
h |
преобразованного ряда |
£ Д" |
|||||||
|
R |
||||||||||
|
|
|
|
|
|
|
|
|
ßV' |
|
к = т |
стремится к нулю быстрее, |
чем |
ak, |
т. е. |
|
|
Оче- |
|||||
lim —-— = 0. |
|||||||||||
видно, |
чем быстрее отношение — |
|
k-t-oa Ok |
|
|
||||||
будет |
стремиться к |
||||||||||
своему конечному пределу |
R ^ 0, |
&k |
|
быстрее |
будет схо |
||||||
тем |
|||||||||||
диться ряд в правой части (1.22), |
|
|
|
|
|
|
|||||
Процесс улучшения сходимости данного ряда (1.21) мож |
|||||||||||
но продолжить |
неограниченно. |
Это |
осуществляется |
путем |
|||||||
применения преобразования (1.22) последовательно |
несколько |
||||||||||
раз или |
путем |
изменения |
|
вспомогательного |
ряда (В) так, |
||||||
чтобы члены преобразованного ряда в |
правой части (1.22) |
||||||||||
стремились к нулю быстрее. |
|
|
|
|
|
|
|
||||
Предположим, что ряды |
|
|
|
|
|
|
|
|
|||
|
|
В{т = Е № |
(я = |
0, |
1 ,.-.,р) |
|
|
|
|||
|
|
к=т |
|
|
|
|
|
|
|
|
|
подобраны так, что выполняются следующие условия:
1) |
суммы В {т |
(п = 0, 1 |
известны, |
2) |
существуют |
конечные пределы |
|
|
lim Rk ]— /?(л) ф 0 |
(л = 0, 1, ...,/>), |
|
|
k~>oo |
|
|
37
( и )
~(л)
(0) |
вг+,,= п |
4 ° |
&k |
я* : |
f>(») |
Тогда, полагая |
М."1 |
1 |
в(«); |
где |
lim е<'!>= |
О, |
после |
|||
fit") |
||||||||||
|
|
" |
|
|
ft-oo |
|
|
|
||
кратного преобразования ряда (1.21) получаем |
|
|
|
|||||||
оо |
|
|
|
ОО |
|
// |
|
|
|
|
к=т |
|
RVi) |
|
£=/w |
и—0 |
|
|
(1.23) |
||
|
|
|
|
|
||||||
|
|
|
|
|
|
|||||
Иногда, начиная с некоторого |
я |
все |
s^) = 0, н сумма |
ряда |
||||||
вычисляется точно. |
(1.23) последний член приравнять |
к ну |
||||||||
Если в равенстве |
||||||||||
лю, то получим асимптотическое равенство |
для |
остатка |
||||||||
ряда (1.21). |
|
р ң(к) |
|
|
|
|
|
|
|
|
“ |
|
|
|
|
|
|
|
|
||
к—п |
|
|
(/г^ ° ° ’ |
n>rn)- |
|
|
|
|||
|
|
|
|
|
|
|
|
|
Таким образом, методы улучшения сходимости рядов можно рассматривать и как методы улучшения асимптотических ра венств.
4.2. Некоторые специальные ряды
Преобразование Куммера требует вспомогательных рядов
(В) и знания их сумм. Поэтому приведем два класса рядов с известными суммами, которые в этом отношении являются полезными. Первый из них
оо
1________ |
(т - 1) ! |
(Р> 2). |
|
1)... (к + р~\) |
(р —1) (от + р —2)! |
||
|
к— т
А второй
оо
(а = 2, 3 ,...).
Sа являются значениями дзета-функции Римана [51]. Значе ния ее для четных целых а известны в конечном виде
S2 |
И т.,д., |
но для нечетных чисел конечный вид неизвестен. Приведем таблицу значений Sa для а = 2, 3,..., 15.
38
Т а б л и ц а 1.
а |
2 |
3 |
4 |
5 |
6 |
7 |
|
8 |
5 , |
1,6 4 4 9 3 |
1 ,2 0 2 0 6 |
1 ,08232 |
1 ,0 3 6 9 3 |
1 ,0 1 7 3 4 |
1 ,0 0 8 3 5 |
|
1 ,0 0 4 0 8 |
а |
9 |
10 |
11 |
12 |
13 |
14 |
− |
15 |
5 , |
1,00201 |
1 ,0 0 0 9 9 |
1 ,0 0 0 4 9 |
1 ,0 0 0 2 5 |
1 ,0 0 0 1 2 |
1 ,0 0 0 0 6 |
|
1,0 0 0 0 3 |
Большое количество рядов с известными суммами можно получить из разложения элементарных функций в ряд Тей лора.
4.3. Способ улучшения сходимости рядов, сходящихся по признаку Куммера
1)Пусть ряд (1.21) сходится по признаку Куммера. В это
случае |
в |
тождестве |
(1.22) |
положим bk= ckak— ck+lak+1 = |
||
= — A (ckak), где {ck} |
некоторая |
положительная последова |
||||
тельность, |
для которой |
|
|
|
||
|
|
lim ckak = 0, lim А{с^ |
= -£ > ф 0 . |
|
||
|
|
fc-»-oo |
£ - * о о |
Ü f z |
|
|
Тогда |
на основании (1.22) получаем преобразованный ряд |
|||||
|
|
со |
оо |
|
|
|
|
k = m |
k=rn |
|
|
(1-24) |
|
|
|
|
|
|||
Рассмотрим на конкретномпримере улучшение |
сходимости |
|||||
числового |
ряда путем повторного |
применения |
преобразова |
|||
ния (1.24). |
|
|
|
|
|
|
Пример. Пусть дан ряд [47] |
|
|
||||
|
|
|
оо |
|
|
|
|
|
5 = |
/г=і |
~ |
1)644934...), |
|
|
|
|
|
|
|
который и в дальнейшем будем использовать в качестве примера для того, чтобы можно было сравнивать эффектив ность различных методов улучшения сходимости рядов. По лагая ck — k, т — 1, согласно (1.24), получаем
оо
5 = 1 + у ! |
----- ------- . |
U |
А*(* + 1) |
А=1 |
|
39