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

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

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

где Ап(п = 0 , 1, — 1) — постоянные коэффициенты. С дру­ гой стороны

р .

S '' nJ 2k) = f ( 2k+

X) - f V k) + 0 ( / (р)(2&))

(Ä -oo).

(1.53)

1

 

 

 

 

 

Приравнивая правые части

(1.52) и (1.53), находим

 

f (2k) —/ (2k + 1) =

-

р - I

/ (''>(2^ + 0(/^(2£))

(A-»oo).

(1.54)

£ Л

 

 

0

 

 

 

Суммируем равенства

(1.54) по k от k — 0 до k — со:

 

OO

p — 1

со

 

 

S ( - l f / W =

S A ,/ W(0 )+ S 0(/<'>(2é)) (Ä- OO)

= 0

n= 0

= 0

 

 

или окончательно

получаем

 

 

S(- 1)*/(*)= s \/(n)(0+ f [/(2Ä)-/(2A + 1) +

k =0 n — 0 = 0

 

 

 

+

2 Л ,* (Я)(2*)] ,

(1.55)

 

 

 

 

/г= 0

 

где

Д(п)(2k) =

/ я>(2yfe +

2) - / (,!) (2Ä).

Ап в равен­

Приведем

таблицу

значений коэффициентов

стве

(1.52) для р = 1,

2,

3, 4.

 

р= 1

Р— 2

IIСО

Р= 4

Таблица 3

^0 А, Л2 ^3

1

2

11

2~~ 4

1

 

1

0

2

~

4

 

1

 

1

1

2

~

4

0

48

Частная сумма Sn преобразованного ряда (1.55) при не­ больших значениях п может давать приближенное значение искомой суммы ряда G хорошей точностью. В правой части

60

(1.55) заменяя ряд с его п-й частной суммой, получаем при­ ближенное равенство:

f

( - 1 )7 (£) * S

1/(2*) - Z(2é + 1)] + Y>AJ(k) (2п + 2).

*«=о

* = 0

 

 

 

 

 

*= 0

В

частности, при р = 4 имеем

 

 

 

оо

 

 

 

 

Л

 

 

 

 

£ (-!)* /(* ) ~

Е [/(2 * )-/(2 * + 1 )1 +

 

к=0

(2л + 2) _

 

k = 0

 

(2л

2)

 

f

/' (2л + 2)

Пример .

 

 

 

 

 

 

48

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

S

( - D*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k-0Ä+ l

 

 

Применяя преобразование (1.55)

при р = 4, получаем

 

S ( - l ) ft =

5_

,

1

ір

I2fe2 +

24fe +

11

 

Л +

1

8

+

2LÂ{k + 1)(2£ + 1)‘(2А+3)« '

 

л=0

 

 

 

 

ft=0

 

 

 

Преобразованный ряд довольно быстро сходится. Уже один член преобразованного ряда дает приближенное зна­ чение суммы

5 ~ 1 + _LL ~ 0,6929

8162

стремя верными знаками после запятой, в то время как для нахождения суммы ряда с такой точностью до преобразова­ ния понадобилось бы взять сумму 5000 членов ряда. Учиты-

вая два члена полученного ряда, будем иметь 5^0,69313, тогда как точное значение S = In 2 « 0,69315.

§ 5. УЛУЧШЕНИЕ СХОДИМОСТИ ФУНКЦИОНАЛЬНЫХ РЯДОВ*

5.1. С п о с о б ы у л у ч ш е н и я с х о д и м о с т и с т е п е н н ы х р я д о в

Рассмотрим методы улучшения сходимости рядов вида

оо

 

( И < 1 ’ т > \ ) ,

(1.56)

п=т

где Р{гі) и Q(ti) взаимно простые многочлены степени г и s соответственно, s - r = v > l и многочлен Q{n) не имеет целых положительных корней.

* См. также [45, 47].

61

1) Преобразуем

дробь

так

же, как в п. 4.6.

Р( п) =

у (я)

_!_______ Р\ (я)

Q(n)

Lp+v-l (п)

<?(лН/)+ѵ_і(л)

где Z./)+4_, (л) = п (п + 1)... (п + р +

V— 2), сс (я) и Р{ (п) мно­

гочлены степени

(/7— 1) и (s — 1)

соответственно. Таким

образом последнее слагаемое имеет порядок величины п~р~ѵ

при ti

»сю. Первое

слагаемое

разложим на простые

дроби

 

 

 

С,У; (Я)

=

/Н-ѵ-2

«л-

 

 

 

 

 

у і

 

 

 

 

 

ѵ-1 (л)

 

/в Л

/і’

 

 

Определяя

ak {k = 0,

1,...,/? + ѵ— 2) методом неопределенных,

коэффициентов, получаем

 

 

 

 

 

 

 

( - l)fey (—О

(А’ = 0, 1, ... ,/7 + V— 2).

(1.57)

 

 

*! + V—k —2)!

Тогда

 

 

 

 

 

 

 

 

ОО

 

/ > + Ѵ — 2

ОО

 

ОО

 

 

 

S

f S

H - - , Е ‘ » Е . - £ - + Е

 

(1-58>

 

 

£=0

л=ш

 

 

 

 

 

где сумма

ряда S я + k вычисляется

точно.

Ряд

 

 

 

 

 

 

 

 

 

п^т

ОО

п —т

<т +«г-і 1—f

сходится равномерно на любом сегменте, лежащем внутри интервала (—1,1), поэтому интегрируя при | х j < 1 будем иметь

>pn+k—l

Ltn + к .1 1-1 ,* = - ! „ 0 - * ) -

Согласно (1.58), получим окончательно

£

Р(п)

 

 

р+ѵ—2

X

 

1п (1 — х)

Q(л)

 

7 =ГП

 

 

 

А = 0

 

 

 

 

«=ЕQ (л) I (Л) л"

 

 

 

+

Р

 

 

 

Z./J+v_ 1 <л)

 

 

 

 

rn+к—1

(1.59)

V 1

1

 

у\

Х_

+

м

7

 

 

 

 

 

(1.60)

62

' где коэффициенты ak определяются но формуле (1.57) и

 

L p + , _ j («) =

п (п +

1)... (п + р +

V- 2).

Пример.

Пусть

 

дан ряд

 

 

 

 

 

 

 

 

 

 

уч

П2Хп

( М < 1),

 

 

 

 

 

 

 

2J

п* + 1

 

 

 

 

 

 

 

п—1

 

 

 

 

 

 

где оощии член имеет порядок

величины — при -+ о о .

Преобразуем ряд так,

 

чтобы общий член

нового ряда имел

порядок

величины я<

 

при /г—>оо.

При V=

1, р = 3, <р(«) =

= ап

Ьп + с имеем

 

 

 

 

 

 

 

 

я2

й/г2

Ь 6я 4- с

 

__ (1 — а) я5 + (3 — Ь) п* + (2 — с) я3—ап2—Ьп—с

л3 + 1

п(п 1) (л +2)

 

 

 

 

п (п +

1) (л +

2) (л3 + 1)

Отсюда

определяем

 

а = \ , b = 3,

с =

2, ср (гг) =

я2 + 3/г + 2 и

РI («)

 

3/г — 2.

 

Согласно (1.60), будем иметь

 

 

 

 

 

 

 

 

со

 

 

 

 

 

 

И3 + 1

=

— In (1 — х) —У ——

 

 

 

 

 

 

 

V

 

U n (п3~(л я+

1)

 

 

п= 1

 

 

 

 

 

я—1

 

 

 

Учитывая три члена преобразованного ряда, получаем

 

со

П2Х п

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

84 +

Г4>

 

П=1

 

 

 

 

 

 

18

 

 

 

 

 

 

 

 

 

 

 

 

причем

при I х| < 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

(я3+ 1)

 

 

 

 

 

 

 

 

 

л = 4

 

 

 

 

 

Для оценки суммы ряда в правой

части

этого

неравенства

воспользуемся соотношениями (1.4) при сп = п и / = 0. Тогда

для

1

 

 

 

 

 

ап= --------- - имеем

 

 

 

 

 

п (я3 + 1)

 

 

 

 

 

 

 

 

= 3 -

6л2 + 8л + 6

 

 

ап

л3 +

Зл2 +

Зл + 2

 

 

 

Легко убедиться,

что /?„

возрастает

при

/г!> 1. Поэтому

/?4 =

inf /?„ = /?4 =

Ц иI

 

 

 

 

 

 

I г41<

Ri « 0,008л:4.

 

63

2) Покажем теперь другой метод разложения дроби ——

Q(«) для улучшения сходимости рядов вида (1.56). По-прежнему

обозначим Z.v(я) = я (я + 1)... (я + ѵ— 1) и определим много­ члены Рк(п) (k = 1, 2,... ,р) следующим образом:

Рі (я ) = Р(п) Z,v (я) — <?iQ (я),

Р2(я) = Рі (я) (я -Б ѵ) — c sQ (я),

Я3 (я) =

Р2 (я) (я + V+ 1) — caQ(я),

(1.61)

сг

 

 

Рр (я) =

(я) (я + V + / 7 - 2) — c„Q (я).]

 

Здесь число Cj равно отношению старшего коэффициента многочлена Р(п)' к старшему коэффициенту многочлена <3(я),

а числа с2» Съ ---,СР определяются следующим образом. В правой части первого из равенств (1.61) в силу определения числа сj уничтожится член с наивысшей степенью я и, сле­ довательно, если степень многочлена Q(n) равна s, то сте­

пень многочлена

Р, (я) не выше,

чем 5 1 . Если эта степень

в точности

равна s — 1

, то положим

сг

равным

отношению

старшего

коэффициента

Рх(я)

к старшему

коэффициенту

Q (я);

если же степень

Л (я) меньше

чем 5 —1, то

положим

с2 — 0.

 

Степень

определенного

теперь

многочлена

Р2 (я)

опять

не выше, чем s —1 . Если она

в точности равна s —1 ,

то положим cz

равным отношению

старшего

коэффициента

многочлена

Р2

(я)

к старшему

коэффициенту

Q (я);

если же

степень

Р2

(я)

меньше,

чем 5

1

, то положим с3 = 0.

 

Аналогичным образом определяются и все последующие

коэффициенты ck. Ясно,

что степень любого из определенных

с помощью (1.61) многочленов Pk(n) не выше, чем s — 1.

Теперь

каждое из равенств (1.61) разделим соответственно

на произведение

Q (я) Lk+4(ri)

(k = 0, 1

, — 1 ), после

чего

полученные равенства сложим. Будем иметь:

 

 

 

 

 

 

 

Р(п)

 

 

Ск_____[____(п)

 

 

п 62)

 

 

 

Q(n)

L i

ift+v_ x (я)

Q ( n ) L

+, ^ ( п ) '

 

 

 

 

 

 

 

 

А=1

 

 

 

 

 

 

 

 

 

 

Очевидно выражение

 

Л» (я)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q (л) Lp+4_ x (л)

 

 

 

 

 

 

относительно

1

будет

порядка

не ниже, чем р + ѵ. Умно-

жая обе

 

 

л

 

 

 

 

 

 

от я =

яг

до

оо, по­

части (1.62) на хп и суммируя

лучаем окончательно

 

 

 

' оо

 

 

 

 

 

ОО

 

 

 

р

 

 

 

 

 

 

 

(1.63)

 

 

 

 

 

*—1

 

 

 

 

Q

(Л) Ѵ ѵ - 1

( " )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

64

где

 

и,

(1.64)

(п +

1)...(я + S — 1)

Путем разложения общего члена на простые дроби ряд (1.64)

легко

преобразуется к виду

 

 

 

 

 

 

 

 

 

 

 

 

со S— 1

( - 1 )ft хп

 

 

S— 1

 

( - 1

 

 

 

 

 

 

 

 

 

 

 

irS

 

 

 

 

 

; (sk -1

)! (я + к)

ш

k\ (s k

 

+ k

 

 

 

n=m A=0

1 )!

LJ n

 

 

 

 

 

 

 

ft=0

 

 

 

 

n=m

 

Далее, используя равенство (1.59) и соотношение

 

 

 

 

 

*-1

( - 1 ) *

 

_

!

1

Л _ І . Ѵ - 1

 

 

 

 

Sk— 0 k\( s - f c -xkі )

 

 

(s—

х)1 ) ' Л

находим для ряда (1.64)

 

 

 

j— 1

 

 

 

m+Ä— 1

 

и

 

 

 

 

 

 

 

 

 

 

«л

іп(і—л)

1V -1 1

 

(~Dfe+i

 

V1

і

 

^

^

(S— 1)! V

X /

 

 

^Jk\( s — k — 1)!

2 j

 

 

 

 

 

 

 

 

k — 0

 

 

 

 

1 = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.65)

 

В

частности,

полагая

в формуле

(1.65) s = l,2 , 3, 4, 5 и

т — 1

, будем иметь

 

 

 

 

 

 

 

 

 

 

« 1

(1 , х) =

— ln ( 1

— х),

 

 

 

 

 

 

 

 

 

 

м2

(1 , х) =

1 ^ 1

----( 1 х),

 

 

 

 

 

 

 

 

 

<1■•*) =

- 7 ( 1-

тУ 1" <1-

х) +

55 -

ІІГ+ - Ь ■

/ 1

4

1 Л

1 Л4, /1

4

,25

І3 .

7

I

'

 

24 V

х )

288

72л

48л3

24л3

 

 

 

 

 

 

 

 

( 1.66)

Пример. Преобразуем ряд

 

 

 

 

 

 

 

 

пЧп

( М

< 1 ).

 

 

 

 

 

п= 1 л3 + 1

 

 

 

 

 

 

 

 

 

 

рассмотренный в п. 1). Согласно (1.61), вычислим три много­ члена Pft(/i). Здесь Р(га) = я2, Q(n) = ns + 1, ѵ = 1, р = 3> Тогда находим Рх(я) = — 1, Р2 (я) = — я — 1, Р3 (я) = — я2

Д-198—5

6 3

 

Зп — 2 (Cj = 1, с2 = сг — 0). Применяя формулы (1.63) и (1.66), окончательно получаем

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

ПлХ п

 

In ( 1 - * ) - У —

 

 

 

 

0

= 1

п 3+

Г

 

)

 

 

 

71—1

(п +

 

 

 

 

 

 

 

 

ІА п

®3 н

1

 

 

Получено то же самое преобразование ряда,

 

которое

имели

в п.

1 ).

 

 

 

 

 

 

 

 

 

5.2.

О б щ и й

с л у ч а й

у л у ч ш е н и я

с х о д и м о с т и с т е п е н н ы х

рядов

Рассмотрим

ряд

вида

 

 

 

 

 

 

 

 

 

 

со

 

 

 

 

 

 

 

 

 

 

ІХі*)*"

(w>i)’

 

 

 

(L67>

 

 

 

 

п=*т

 

 

 

 

 

 

где функция f(t) аналитическая в окрестности t = 0 и /( 0 )= 0 .

Разложив

^ в сходящийся

ряд

 

 

 

а,

U2

 

п\

 

 

п

п-2

+ • • • +

+ • • • •

 

+

2

представим ряд (1.67) в виде

 

 

 

со

оо

а,ях

*+

2+ ... + ах

 

 

І К т У - І

 

 

 

Х п +■

П=тЩ

 

 

 

 

 

+

 

 

, + . . . +

X

 

 

 

2

 

пх

В правой части последнего равенства

первый ряд относится

к виду (1.56), а коэффициенты второго ряда при «.—»соотно­

сительно — будут порядка не ниже, чем

X+ 1. Выбирая X

П

 

первому

ряду формулу

достаточно большим и применяя к

(1.60) или (1.63), можно достаточно

хорошо

улучшить схо­

димость ряда

(1.67).

 

 

 

Пример .

Пусть дан ряд [47)

 

 

 

 

оо

 

 

 

 

s “ S - '" ln( I + T ')

(И <

1

>-

 

п- 1

 

 

 

Используя разложение функции lnYl + —^

по степеням — ,

 

V

п J

 

п

66

запишем ряд в виде

оо

П=1

со

+И [Ч1+ 7 ) - Т ^

 

----4-

1 - 1

ж*.

 

Зл3

 

 

4л4

 

 

 

 

 

 

 

п*J

 

 

/1=

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Коэффициенты второго ряда в правой

части имеют

порядок

величины — .

 

 

 

 

 

 

 

 

 

 

 

 

 

л5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Улучшим сходимость первого ряда

 

 

 

 

 

 

 

 

5 ,=

(12пъ6 и2 + Ап — 3) 1

х п

 

 

 

 

 

2

л4 '

 

 

 

 

 

/1=1

 

 

 

 

 

 

 

 

 

 

 

Согласно (1.61), при р = 4,

v = l ,

P(«) =

1

2

я3 6

2

+ 4я — 3

и Q (« )= 1 2 /r4

находим

 

 

 

 

 

 

 

 

 

 

 

^ =

.

1

,

1

 

,

1

с4

=

— -

и

 

1 , с2

= — -

с3== — -

 

 

 

 

Я4

(/г) =

— 10/г3 — 9я2

— 18«.

 

 

 

 

С помощью (1.63) получаем

 

 

 

 

 

 

 

 

 

 

•Si =

« i ( l . * ) — І - й а О . - *) — -1«з(1.-«) — 1 « 4 (1 . х)~

 

 

 

(Юл2 + 9л + 18) Xя

 

 

 

 

 

 

 

 

 

п=1 12л4 (я + 1) (л + 2) (я + 3)

 

 

 

 

где uk{\,x)

(k — 1,2,3, 4) определяются по формулам (1.66)*

Тогда окончательно будем иметь

 

 

 

 

 

 

 

 

 

£ * " 1 п (і + ^ =

 

X) - 1

«2 (1 , X) — ІЦ 3 (1 , х ) ~

Л = 1

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

Я=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д-

 

Юл2 + 9л + 18

+

ІП

 

 

 

 

 

Г + - К

 

 

 

 

0

 

 

 

 

12л4 (л + 1) (л + 2) (л + 3)

 

+т ) - л

 

2л2

 

 

 

1

 

1 — о Г -Ц

 

 

 

 

 

 

 

 

 

Зл3

+

 

 

 

 

 

 

 

 

 

4л4ІЯ4

\л 5

)

 

 

 

 

 

 

5*

67

5.3. С п о с о б у л у ч ш е н и я

с х о д и м о с т и т р и г о н о м е т р и ч е с к и х

 

р я д о в

 

 

Рассмотрим ряды вида

 

 

 

х пsin nt

(m > 1 )

(1.68)

SQ (n)

 

 

xncos nt

(m > 1 ),

(1.69)

Q(n)

 

 

 

где P(«) и Q(«) взаимно простые многочлены степени г и s соответственно, s — г = ѵ > і и многочлен Q(n) не имеет целых положительных корней. Используя соотношение (1.62) и разложение

 

А + ѵ -2

(-D*

1

Y1

^й+ѵ-Х (л)

5=0

s! (k + V— j — 2)!(л + «)

 

 

преобразуем ряд (1 .6 8 ) к виду

©о

 

-„ ,

р

£+ѵ —2

(— l ) s

VT

VI Р{п)

X

> \Ck V

Q (n)

Sin nt =

------- -— ---------

>

 

 

LA

LA

s\(k + V — S — 2)!

Z j

 

 

 

k ~ l

s—0

 

n—m

Pp jn) x n sin nt

+

Q{n)Lp+v_X (я)

x n sinnt ,

------------- h n + s

(1.70)

Чтобы получить аналогичное преобразование для ряда (1.69), достаточно в (1.70) заменить slnwi на cos nt.

Вычислим сумму рядов

х а sin nt и

cos nt

n + s

n ■{■s

n=m

n=m

Для этого проинтегрируем ряд

J ^xn+s-i enä ^

Ym+s—i emti

,

,

______

(1.71)

 

(|* | < 1

i ^ \ r r \ )

по переменной x от 0 до x

oo

m + s —l

ft=l

68

Возможность

почленного интегрирования следует из

равно­

мерной сходимости ряда

(1.71) относительно х и t

в области

| х | < 1 —а,

пк + ß < t <

(п + 1 )іг — ß, « — целое,

а, §

> 0

сколь угодно малые числа [47].

Выделяя действительную и мнимую части, получаем

ХпCOS nt

 

 

 

 

LЕA п + S

= — X

cos st ln (1 2x cos t + X2)

 

Xsin t

m+s—l

 

(s — k) t] ,

 

V|

— cos

sin st arctg — 'v

------!-

 

1 Xcos t

Ld

k

J

oo

^= x~sj*-^ sin st ln (1 2x COS t + X2) +

m+s- 1

cos

arctg—x Sl" ----- 1-

V

— sln(s —&)/

(1.72)

 

 

1 — Xcos t

 

LA

k

 

 

 

 

 

A= 1

 

 

Пример.

 

 

 

 

 

 

5 =

E

n2x" sin nt

( 0

< / < 2K, IXI < 1 ).

 

Л3 + 1

 

 

n=i

 

 

 

 

 

Пользуясь вычислениями, проведенными при рассмотрении примера в п. 5.1 и на основании (1.70), (1.72), преобразуем ряд в более быстро сходящийся ряд

S = arctg

X sin t

S

хпsinnt

1 Xcos t

п(л3+ 1 )

 

 

л«»1

 

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