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

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

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

IГ С. С АЛ ЕХО В! Л . М . М УРАТО В

В . Е. ПОСПЕЕВ

ЛЕНИЕ

КАЗАНСКИЙ ФИЗИКО-ТЕХНИЧЕСКИЙ ИНСТИТУТ АН СССР

КАЗАНСКИЙ ИНЖЕНЕРНО-СТРОИТЕЛЬНЫЙ ИНСТИТУТ

I Г. С. САЛЕХОВ j, Л. М. МУРАТОВ, В. Е. ПОСПЕЕВ

ВЫЧИСЛЕНИЕ РЯДОВ

И НЕСОБСТВЕННЫХ

ИНТЕГРАЛОВ

ИЗДАТЕЛЬСТВО

КАЗАНСКОГО УНИВЕРСИТЕТА

1 973

Печатается по постановлению

 

Редакционно-издательского совета

 

Казанского

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

 

Научный редактор кандидат физико-математических

.У -

наук — доцент

К. М. Шайдуков

Р ■' fOf':А ■

;■

 

 

" " "

 

? Ч - 6 Ю $ ( К

 

В книге изложены вопросы сходимости, общие методы

вычисления, оценки остатков, улучшения сходимости

обыкно­

венных и

кратных рядов с положительными

членами.

Анало­

гичные вопросы рассмотрены для простых

и кратных

несоб­

ственных

интегралов

от положительных

функций.

Дается

общий метод выводы различных классических и новых приз­ наков сходимости. Для какдого признака сходимости указы­ вается класс рядов и несобственных интегралов, для которых

предлагаются эффективные методы их вычисления. Весь

мате­

риал иллюстрирован примерами.

справочное

пособие

Монография

представляет собою

с краткими доказательствами основных результатов;

она

пред­

назначается для

научных работников и инженеров,

занимаю­

щихся в области прикладной математики,

а также может

быть

полезна студентам-математикам при выполнении курсовых и дипломных работ.

Издательство Казанского университета. 1973 г.

ПРЕДИСЛОВИЕ

Многие задачи теории и практики приводят к вычисле­ нию сумм бесконечных рядов с положительными членами и значений несобственных интегралов от положительных функций как в одномерном, так и многомерном случаях. Весьма редко удается свести их вычисление к вычислению значений табулированных функций. В связи с этим приобре­ тает актуальное значение разработка приближенных мето­ дов вычисления рядов и несобственных интегралов. Даже оптимальное использование современных электронно-вычис­ лительных машин (ЭВМ) не снижает практическую ценность разрабатываемых методов решения таких задач. Во многих случаях приходится вычислять суммы рядов и значения несобственных интегралов, имеющих очень слабую сходи­ мость, и непосредственное использование ЭВМ для числен­ ного решения указанных задач с любой требуемой точ­ ностью оказывается практически невозможным. Простым

примером может служить

ряд

 

<х>1.

Сумма

этого

ряда не

может быть

вычислена с любой требуемой

точ­

ностью

на ЭВМ,

если

а

достаточно

близко

к

единице.

Однако используя

методы

улучшения сходимости и оценки

остатка

для этого ряда, удается достаточно

быстро

опре­

делить сумму рядов такого типа с желаемой точностью.

В настоящей книге с единой

точки зрения

даны

резуль­

таты исследования сходимости,

оценки

остатков, улучшения

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

В отборе материала и его изложении авторы придержи­ вались содержания, методов и идей книги Г. С. Салехова

^Вычисление рядов“

(М., ГИТТЛ, 1955), которая подверглась

переработке

и была

дополнена новыми

результатами, полу­

ченными за

последние

15 лет

как

авторами настоящей

книги, так

и другими

авторами,

работающими в этой об­

ласти. Тем самым назрела необходимость издания настоя­ щей книги, так как вышеназванная книга Г. С. Салехова была выпущена малым тиражом и быстро разошлась.

Книга состоит из четырех глав.

3

В главе I излагается метод сопряжения двух рядов, позволяющий установить некоторый общий признак сходи­ мости. Из общего признака сходимости выводятся как из­ вестные достаточные признаки сходимости (Куммера, Даламбера, Коши, Гаусса, интегральный признак и др.), так и новые признаки сходимости рядов с положительными членами. Для каждого ряда, сходимость которого установ­ лена по данному признаку, дается соответствующая оценка его остатка. Более того, когда ряд сходится медленно или оценки остатка ряда получаются грубыми, для каждого выбранного признака предлагается соответствующий способ улучшения сходимости ряда. В частности показывается, что известное преобразование степенных рядов, предложенное

Эйлером, является

простым

следствием способа улучшения

сходимости рядов,

соответствующего

признаку Даламбера.

В этой же главе излагается

метод получения асимптотиче­

ских формул для остатков сходящихся

рядов.

Глава II посвящена вычислению значений несобственных интегралов от положительных функций. Как и в главе I, из общего признака сходимости выводятся отдельные доста­ точные признаки сходимости, рассматриваются соответ­ ствующие каждому признаку сходимости оценки остатков несобственных интегралов и способы улучшения их сходи­ мости. Кроме этого предлагаются некоторые приемы вычис­ ления несобственных интегралов с помощью рядов.

В главах III и IV излагаются вопросы сходимости, оценки остатков и улучшения сходимости é-кратных рядов с поло­ жительными членами и ^-кратных несобственных интегралов от ограниченных положительных функций.

Основная методика сопряжения, использованная в этой книге, легко распространяется на решения обыкновенных дифференциальных уравнений с сингулярными правыми ча­ стями [31], она также применима для приближенного реше­ ния линейных и нелинейных интегральных уравнений с раз­ рывными ядрами [41].

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

Эта книга в рукописи была прочитана профессорами Б. М. Гагаевым,-. М. А. Пудовкиным и доктором технических наук В. В. Скворцовым. И были сделаны ценные замечания, которые были учтены в процессе написания этой книги. Особенно большая помощь при окончательном оформлении книги была получена от доцента К. М. Шайдукова.

Выражаем всем им свою глубокую благодарность.

Ав т оры

ГЛАВА I

ВЫЧИСЛЕНИЕ РЯДОВ С ПОЛОЖИТЕЛЬНЫМИ ЧЛЕНАМИ

§ 1. ОСНОВНЫЕ ПОНЯТИЯ. ОБЩИЙ ПРИЗНАК СХОДИМОСТИ И ОЦЕНКА ОСТАТКА РЯДА

Рядом называется сумма

 

 

С\ + С2 + ... + £* + .•• — S

Ch’

 

( ^ )

 

 

 

 

л=1

 

 

 

составленная из

членов

бесконечной

последовательности

ck), k = \,

2,....

Члены ряда (С) могут

быть постоянными

числами или функциями от переменных

(jclt

х2, ..., xk),

определенных в некоторой

области.

 

 

 

Для

каждого

ряда (С)

можно составить

последователь-

 

 

 

 

 

 

 

П

ность

его

частных сумм {5„}, п — \, 2,...,

где

Sn= 2 ск-

 

 

 

 

 

 

 

k=i

Если последовательность {£„} имеет определенный конечный

предел S = 1іш5„, то этот

предел называют суммой ряда (С)

со

 

 

 

 

и записывают

 

 

 

 

 

 

со

 

 

S ~

S ck-

 

 

 

 

А=1

 

 

В этом случае ряд (С)

называют

сходящаяся. Если

же

последовательность

не

имеет

конечного предела,

то

ряд (С) называют расходящимся.

Под вычислением (или суммированием) ряда понимают нахождение суммы ряда 5. Точное суммирование удается выполнить лишь для узкого класса рядов, когда п-ые част­ ные суммы можно определить в замкнутой (конечной) форме через известные элементарные функции относительно п н переменных (л^, х 2,..., х^. Часто сумму ряда находят при­ ближенно. При приближенном вычислении сумму 5 заме­ няют частной суммой 5„.

5

Разность rn = S — Sn называют остатком ряда. Из са­ мого определения суммы сходящегося ряда следует, что

. lim r(i=

lim (S — Sn) — 0.

П - * - е ю

n ~ > oo

Таким образом, при достаточно большом п остаток ряда может быть сделан сколь угодно малым. Для обеспечения требуемой точности при замене S на Sn возникает необхо­ димость оценки остатка ряда. Вместе с тем желательно, чтобы практически небольшое число суммируемых членов обеспечило требуемую точность. Так возникает вопрос об улучшении сходимости ряда, то есть о таком его преобра­ зовании, после которого для приближенного вычисления суммы ряда с той же точностью требуется меньше членов частной суммы преобразованного ряда. При этом общий член преобразованного ряда не должен иметь более слож­ ную аналитическую структуру. Улучшение сходимости за счет сильного усложнения структуры общего члена улуч­ шенного ряда практически может иногда и не иметь значе­ ния. Итак, в теории вычисления рядов основными вопро­ сами являются: исследование на сходимость, оценка остатка, улучшение сходимости.

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

 

 

 

 

£

ak,

 

(А)

 

 

 

 

*=1

 

 

 

 

 

 

 

оо

(т>\),

(В)

 

 

 

 

 

 

 

 

 

k—m

 

 

полагая,

что

ряд (А) с

положительными

членами задан,

а ряд (В)

с положительными членами выбирается соответ­

ствующим

образом.

В дальнейшем

ряд с

положительными

членами будем

называть

положительным рядом.

Введем

обозначения:

 

 

 

 

 

/?*■= — ,

R = \ i m R k,

R = \ i m R k,

 

 

ак

 

 

 

к->-оо

 

 

 

R,n =

Inf /г*,

Rm-

sup Rk.

 

 

 

&>/77

 

 

k>m

 

Если существует предел последовательности {Rk} при А—>оо, то имеем предельный случай R = R = R.

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

Rmak^ Ьк < Rmak

6

от k — m до k = oo, получаем

 

оо

оо

( 1. 1)

*

Вт S

ak<B,n<Kn I Ч-

k=m

k—m

 

Очевидно всегда можно указать такой номер т, когда из /? > О следует Rm> 0 и из R < оо следует Rm< оо. Поэтому

на основании неравенств (1.1) получаем следующий Общий п р и з н а к с ходимос т и .

Если R > 0 и Вт< со, то ряд (Л) сходится, если же

7? < со и Вт= оо, то ряд (Л) расходится.

 

В случае,

если

ряд

(Л) сходится, из неравенств (1.1)

определяем оценку

остатка ряда

 

 

 

 

 

оо

 

 

 

 

 

 

( R m > 0).

( 1.2)

Последовательность \bk\ выбирается так, чтобы сумма

ряда (В) была заранее

известна

или ее можно

было легко

вычислить.

При этом

получаем

различные признаки сходи­

мости и оценки остатков рядов. Точность и простота оценки остатков зависит от выбора последовательности {bk\.

 

Пр и ме р

1. Рассмотрим ряд (Л) с общим членом

 

 

 

 

4 =

— 'j r 1 ''

( k - * o o ) ,

 

где

 

2 — целое

число.

 

В

качестве

вспомогательного

ряда (В) примем непосредственно суммируемый ряд

 

S

________1_______

 

 

____________1__________

 

k(k + i)...(k +

р ~ і )

 

 

— 1)./я (да +

1) ... (да + р — 2)

 

 

 

 

(см. § 4 п. 4.2). В

этом

случае Вт<со и

 

 

 

 

/ ? - lim ----- ^ £ + £ Ш )------

 

 

 

 

k-yoo

k {k

1)...(k + P -r—1)

Следовательно, по общему признаку ряд (Л) сходится.

 

Пр и ме р

2. Ряд

усо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ .£ 2+ Vk

 

 

 

 

 

 

«—1

 

 

 

как частный случай ряда, рассмотренного в примере 1, сходится. Определим оценку остатка ряда. Для этого примем

оо

В , п = S k {к + 1) =

7

Тогда последовательность

 

к2 + V к

ак

k ( k + l )

монотонно

возрастает при k > 3, поэтому

 

 

 

 

Rm= lim Rk= 1,

R„

т? +

У Гі

1)

 

 

 

 

к-уоо

 

 

 

 

m (m -l-

 

и согласно

неравенств (1.2) будем иметь

 

 

 

 

 

- <

V.

1

 

,

т + 1

,

ч

 

 

 

 

 

 

< —-------

(/И>3).

 

 

 

т

L ik 2 +Ѵк

 

т*+ У'т

 

 

 

 

При ме р

3.

k—m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

У 2 -і- sin к

 

 

 

 

 

 

 

 

 

 

Тк

 

 

 

 

 

 

 

 

£-1

 

 

 

 

 

 

 

 

Возьмем как вспомогательный ряд бесконечную гео­

метрическую

прогрессию

 

 

 

 

 

 

 

 

 

 

 

 

2*

 

(т > 1).

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

bk

 

1

•,

R = lim

 

 

 

 

 

2m-i

 

 

 

 

 

 

 

 

ак

У~2 + sin к

 

£ - ►0 0

1 2

г sin к

 

У З

По общему признаку данный

ряд

сходится.

Учитывая,

что

 

согласно

оценки (1.2) получаем

 

уз

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

о с

_____ __________

 

 

 

 

 

 

_ J _ <

y i c tt;! " *

< v s _

 

(„ ,> !).

 

 

2m_1

LA

2*

 

 

1

 

 

 

 

§ 2. ДОСТАТОЧНЫЕ ПРИЗНАКИ СХОДИМОСТИ.

 

 

 

 

ОЦЕНКИ ОСТАТКОВ

 

 

 

 

Положим

bk — zk—•zk+1.

Тогда

Brn=

У

bk= zm— lim ^к-

 

 

 

 

 

 

 

 

 

 

k=m

 

Выбирая соответствующим образом сходящуюся последова­ тельность к}, можно получить как известные, так и новые

достаточные признаки сходимости положительных рядов.

2.1. Признак Куммера

Начнем изложение с одного общего признака сходи­

мости.

 

 

 

приз на к

Куммера .

 

Положитель­

О б о б ще н н ы й

 

ный

ряд

(Л)

сходится,

если

можно подобрать такую по­

ложительную последовательность

*\ что

для некото­

рого фиксированного

I

 

 

 

 

 

 

 

 

 

 

 

 

 

R = lim

ick+iak+i

ck+i+\ak+i-vi) ^ О-

 

 

 

 

 

 

 

k~+oo

 

 

 

 

 

 

 

 

 

 

 

Ряд (А) расходится, если

 

 

 

 

 

 

 

 

 

 

 

 

/? = \m — {ckak- c k+xak+l) < О

 

 

 

 

и расходится ряд

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

п=*т

 

 

 

 

 

 

 

(1.3)

 

 

 

 

 

 

zk= ck+lak+l.

 

 

 

 

 

Доказательство.

П рі^м

Если

/?>0,

то

существует такое число N,

что bk = ck+lak+l — ck+l+xak+l+x> О

для

k >

N.

Тогда

последовательность

частных

сумм

П

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'Z bk:==cm+iam+i — cn u ^ an+i+\

( n > m > N ) ,

как

возрастаю-

Л=лг

и ограниченная

сверху,

имеет

конечный

предел

при

щая

п »со,

т. е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вт = 2 bk=

cm+iam+i - lim спап< оо.

 

 

 

 

 

 

 

k=m

 

 

 

 

П-+со

 

 

 

 

 

В этом

случае по общему признаку

ряд (Л) сходится.

 

 

 

 

 

_

л—1

 

< О Для n > m > N ,

т. е. стат —

Если же R < 0, то £

 

 

 

 

 

 

k—m

 

 

 

 

 

 

 

 

 

спа„ < 0 или ап>

для всех /г> т > N. Следовательно,

если

ряд

 

 

СП

 

то

по

признаку

сравнения

расхо­

(1.3) расходится,

дится

и

ряд (Л).

 

(Л),

согласно (1.2), получаем

 

 

Для

сходящегося ряда

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

(Сл+/««+/ -

 

lim спап) <

У] ап <

 

 

 

 

 

 

 

R

 

 

л - о о

 

 

h J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

п=т

 

 

 

 

 

 

 

 

 

< - іг

(cm+fim+i -

lim спап),

 

 

 

 

(1.4)

 

 

 

 

Нт

 

 

 

п-+о°

 

 

 

 

 

 

 

О выборе

последовательности { с

см. в п. 2.8.

 

 

 

 

9

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