Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Салехов, Г. С. Вычисление рядов и несобственных интегралов

.pdf
Скачиваний:
14
Добавлен:
19.10.2023
Размер:
7.43 Mб
Скачать

то ряды

Е 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пѵп.

С помощью признака

Ермакова

можно

показать, что по­

лученные ряды сходятся

при р > 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

Но

Ü

= '(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

,(«)
R%
где

( и )

~(л)

(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

Соседние файлы в папке книги из ГПНТБ