На практике часто не столь важно найти сумму ряда, как ответить на вопрос о сходимости ряда. Для этой цели используются признаки сходимости, основанные на свойствах общего члена ряда.
Необходимый признак сходимости ряда
ТЕОРЕМА 1
Если
ряд
сходится, то его общий член
стремится к нулю при
,
т.е.
.
Кратко : если ряд сходится, то его общий член стремится к нулю.
Доказательство. Пусть ряд сходится и его сумма равна . Для любого частичная сумма
.
Тогда .
Из
доказанного необходимого признака
сходимости вытекает достаточный
признак расходимости ряда:
если при
общий член ряда не стремится к нулю, то
ряд расходится.
Пример
4.
Для
этого ряда общий член
и
.
Следовательно, данный ряд расходится.
Пример
5.
Исследовать
на сходимость ряд
Очевидно,
что общий член этого ряда, вид которого
не указан ввиду громоздкости выражения,
стремится к нулю при
,
т.е. необходимый признак сходимости
ряда выполняется, однако этот ряд
расходится, так как его сумма
стремится к бесконечности.
Знакоположительные числовые ряды
Числовой ряд, все члены которого положительны, называется знакоположительным.
ТЕОРЕМА 2 (Критерий сходимости знакоположительного ряда)
Для сходимости знакоположительного ряда необходимо и достаточно, чтобы все его частичные суммы были ограничены сверху одним и тем же числом.
Доказательство.
Так как для любого
,
то,
т.е. последовательность
– монотонно возрастающая, поэтому для
существования предела необходимо и
достаточно ограничение последовательности
сверху каким-либо числом.
Эта теорема в большей степени имеет теоретическое, чем практическое значение. Далее приведены другие признаки сходимости, имеющие большее применение.
Достаточные признаки сходимости знакоположительных рядов
ТЕОРЕМА 3 (Первый признак сравнения)
Пусть даны два знакоположительных ряда:
(1)
(2)
причем,
начиная с некоторого номера
,
для любого
выполняется неравенство
Тогда:
Схематическая запись первого признака сравнения:
сход.сход.
расх.расх.
Доказательство.
1) Так как отбрасывание конечного числа
членов ряда не влияет на его сходимость,
докажем теорему для случая
.
Пусть для любого
имеем
, (3)
где
и
-
соответственно частичные суммы рядов
(1) и (2).
Если
ряд (2) сходится, то существует число
.
Поскольку
при этом последовательность
- возрастающая, ее предел больше любого
из ее членов, т.е.
для
любого
.
Отсюда
из неравенства (3) следует
.
Таким
образом, все частичные суммы ряда (1)
ограничены сверху числом
.
Согласно
теореме 2 этот ряд сходится.
2) Действительно, если бы ряд (2) сходился, то по признаку сравнения сходился бы и ряд (1).
Для применения этого признака часто используют такие ряды-эталоны, сходимость или расходимость которых известна заранее, например:
3)
-
ряд
Дирихле (он сходится при
и расходится при
).
Кроме этого часто используют ряды, которые можно получить с помощью следующих очевидных неравенств:
,
,
,
.
Рассмотрим на конкретных примерах схему исследования знакоположительного ряда на сходимость с помощью первого признака сравнения.
Пример
6.
Исследовать
ряд
на сходимость.
Шаг
1. Проверим знакоположительность ряда:
для
Шаг
2. Проверим выполнение необходимого
признака сходимости ряда:
.
Так как
,
то
(если вычисление предела вызывает трудности, то этот шаг можно пропустить).
Шаг
3. Используем первый признак сравнения.
Для этого подберем для данного ряда
ряд-эталон. Так как
,
то в качестве эталона можно взять ряд
,
т.е. ряд Дирихле. Этот ряд сходится, так
как показатель степени
.
Следовательно, согласно первому признаку
сравнения сходится и исследуемый ряд.
Пример
7.
Исследовать ряд
на сходимость.
1)
Данный ряд знакоположительный, так как
для
2) Необходимый признак сходимости ряда выполняется, ибо
3)
Подберем ряд-эталон. Так как
,
то в качестве эталона можно взять
геометрический ряд
.
Этот ряд сходится, следовательно,
сходится и исследуемый ряд.
ТЕОРЕМА 4 (Второй признак сравнения)
Если
для знакоположительных рядов
и
существует отличный от нуля конечный
предел
,
то
ряды
сходятся или расходятся одновременно.
Доказательство.
Пусть ряд (2) сходится; докажем, что тогда
сходится и ряд (1). Выберем какое-нибудь
число
,
большее,
чем
.
Из
условия
вытекает
существование такого номера
,
что для всех
справедливо неравенство
,
или,
что то же,
(4)
Отбросив
в рядах (1) и (2) первые
членов (что не влияет на сходимость),
можно считать, что неравенство (4)
справедливо для всех
Но ряд с общим членом
сходится
в силу сходимости ряда (2). Согласно
первому признаку сравнения, из неравенства
(4) следует сходимость ряда (1).
Пусть теперь сходится ряд (1); докажем сходимость ряда (2). Для этого следует просто поменять ролями заданные ряды. Так как
то, по доказанному выше, из сходимости ряда (1) должна следовать сходимость ряда (2).
Если
при
(необходимый признак сходимости), то из
условия
,
следует, чтои– бесконечно малые одного порядка
малости (эквивалентные при
).
Следовательно, если дан ряд
,
где
при
,
то для этого ряда можно брать ряд-эталон
,
где общий член
имеет тот же порядок малости, что и общий
член данного ряда.
При
выборе ряда-эталона можно пользоваться
следующей таблицей эквивалентных
бесконечно малых при
:
1)
; 4)
;
2)
; 5)
;
3)
; 6)
.
Пример 8. Исследовать на сходимость ряд
.
для любого
.
Так
как
,
то возьмем в качестве ряда-эталона
гармонический расходящийся ряд
.
Поскольку предел отношения общих членовиконечен и отличен от нуля (он равен 1),
то на основании второго признака
сравнения данный ряд расходится.
Пример
9.
по двум признакам сравнения.
Данный
ряд знакоположительный, так как
,
и
.
Поскольку
,
то в качестве ряда-эталона можно брать
гармонический ряд.
Этот ряд расходится и следовательно,
по первому признаку сравнения, исследуемый
ряд также расходится.
Так
как для данного ряда и ряда-эталона
выполняется условие
(здесь использован 1-й замечательный
предел), то на основании второго признака
сравнения ряд
– расходится.
ТЕОРЕМА 5 (Признак Даламбера)
существует конечный предел
,
то ряд сходится при
и расходится при
.
Доказательство.
Пусть
.
Возьмем какое-либо число,
заключенное
между
и
1:
.
Из условия
следует,
что начиная с некоторого номера
выполняется
неравенство
;
;
(5)
Рассмотрим ряд
Согласно
(5) все члены ряда (6) не превосходят
соответствующих членов бесконечной
геометрической прогрессии
Поскольку
,
эта прогрессия является сходящейся.
Отсюда в силу первого признака сравнения
вытекает сходимость ряда
Случай
рассмотрите самостоятельно.
Замечания :
следует,
что остаток ряда
.
Признак Даламбера удобен на практике тогда, когда общий член ряда содержит показательную функцию или факториал.
Пример 10. Исследовать на сходимость ряд по признаку Даламбера.
Данный ряд знакоположительный и
.
(Здесь при вычислении дважды применено правило Лопиталя).
то по признаку Даламбера данный ряд сходится.
Пример 11. .
Данный
ряд знакоположительный и
.
Поскольку
то данный ряд сходится.
ТЕОРЕМА 6 (Признак Коши)
Если
для знакоположительного ряда
существует
конечный предел
,
то при
ряд сходится, а при
ряд расходится.
Доказательство аналогично теореме 5.
Замечания :
Пример
12.
Исследовать
на сходимость ряд
.
Данный
ряд знакоположительный, так как
для любого
.
Поскольку вычисление предела
вызывает определенные трудности, то
проверку выполнимости необходимого
признака сходимости ряда опускаем.
то по признаку Коши данный ряд расходится.
ТЕОРЕМА 7 (Интегральный признак сходимости Маклорена - Коши)
Пусть дан ряд
члены которого положительны и не возрастают:
Пусть,
далее
-
функция, которая определена для всех
вещественных
,
непрерывна, не возрастает и
Определение числового ряда и его сходимости.
Необходимый признак сходимости
Пусть – бесконечная последовательность чисел.
Определение. Выражение
, (1)
или, что то же самое, , называется числовым рядом , а числа https://pandia.ru/text/79/302/images/image005_146.gif" width="53" height="31">– членами ряда. Член с произвольным номером называется n -м, или общим членом ряда .
Само по себе выражение (1) никакого определенного числового смысла не имеет, потому что, вычисляя сумму, мы каждый раз имеем дело лишь с конечным числом слагаемых. Определить смысл этого выражения наиболее естественно следующим образом.
Пусть дан ряд (1).
Определение. Сумма n первых членов ряда
называется n -й частичной суммой ряда. Образуем последовательность частичных сумм:
font-size:14.0pt">С неограниченным увеличением числа n в сумме учитывается все большее число членов ряда. Поэтому разумно дать такое определение.
Определение. Если при существует конечный предел последовательности частичных сумм https://pandia.ru/text/79/302/images/image011_76.gif" width="103" height="41"> называется его суммой .
Если последовательность https://pandia.ru/text/79/302/images/image013_77.gif" width="80" height="31">, 2) если колеблющаяся. В обоих случаях говорят, что ряд суммы не имеет.
Пример 1. Рассмотрим ряд, составленный из членов геометрической прогрессии:
, (2)
где – называется первым членом прогрессии, а font-size:14.0pt"> Частичная сумма этого ряда при font-size:14.0pt">font-size:14.0pt">Отсюда:
1) если , то
font-size:14.0pt">т. е. ряд геометрической прогрессии сходится и его сумма .
В частности, если , ряд сходится и его сумма .
При https://pandia.ru/text/79/302/images/image026_42.gif" width="307" height="59 src="> также сходится и его сумма .
2) если , то , т. е. ряд (2) расходится.
3) если , то ряд (2) принимает вид font-size:14.0pt"> и , т. е. ряд расходится (при font-size:18.0pt">) .
4) если https://pandia.ru/text/79/302/images/image036_32.gif" width="265" height="37"> . Для этого ряда
https://pandia.ru/text/79/302/images/image038_28.gif" width="253" height="31 src=">,
т. е..gif" width="67" height="41"> не существует, следовательно, ряд также расходится (при ) .
Вычисление суммы ряда непосредственно по определению очень неудобно из-за трудности явного вычисления частичных сумм font-size:14.0pt"> и нахождения предела их последовательности. Но, если установлено, что ряд сходится, его сумму можно вычислить приближенно, т. к. из определения предела последовательности следует, что при достаточно больших . Поэтому при исследовании рядов достаточно
1) знать приемы, позволяющие констатировать сходимость ряда без нахождения его суммы;
2) уметь определить font-size:14.0pt">.gif" width="16 height=24" height="24"> с определенной точностью.
Сходимость числовых рядов устанавливается с помощью теорем, которые называются признаками сходимости.
Необходимый признак сходимости
Если ряд сходится, то его общий член стремится к нулю, т. е. font-size:14.0pt">.gif" width="61 height=63" height="63"> расходится.
Пример 2. Доказать, что ряд 0 " style="border-collapse:collapse">
;
;
;
.
Решение.
А) https://pandia.ru/text/79/302/images/image051_28.gif" width="176" height="81 src="> расходится.
и поэтому ряд расходится. При решении использовался второй замечательный
предел: (подробнее см. ).
В) font-size:14.0pt">, т. е. последовательность
– бесконечномалая. Так как при font-size:14.0pt">~ (см. ), то
~ .Учитывая это, получим:
значит, ряд расходится.
Г) font-size:14.0pt">,
следовательно, ряд расходится.
Условие является необходимым, но не достаточным условием сходимости ряда: существует множество рядов, для которых , но которые тем не менее расходятся.
Пример 3. Исследовать сходимость ряда font-size:14.0pt"> Решение. Заметим, что https://pandia.ru/text/79/302/images/image066_20.gif" width="119" height="59 src=">, т. е. необходимое условие сходимости выполнено. Частичная сумма
left">
– раз
поэтому font-size:14.0pt">, а это значит, что ряд расходится по определению.
Достаточные признаки сходимости знакоположительных рядов
Пусть . Тогда ряд font-size:14.0pt"> Признак сравнения
Пусть и – знакоположительные ряды. Если для всех выполняется неравенство , то из сходимости ряда следует сходимость ряда , а из расходимости ряда https://pandia.ru/text/79/302/images/image074_19.gif" width="55" height="60">.
Этот признак остается в силе, если неравенство https://pandia.ru/text/79/302/images/image072_18.gif" width="60" height="24">, а лишь начиная с некоторого номера . Его можно проинтерпретировать следующим образом: если больший ряд сходится, то меньший тем более сходится; если расходится меньший ряд, то больший также расходится.
Пример 4. Исследовать сходимость ряда 0 " style="margin-left:50.4pt;border-collapse:collapse">
;
Решение.
А) Заметим, что font-size:14.0pt"> для всех . Ряд с общим членом
сходится, т. к. является рядом геометрической прогрессии со знаменателем (см. пример 1), поэтому данный ряд сходится по признаку сравнения.Б) Сравним ряд с рядом ..gif" width="91" height="29 src=">.gif" width="87" height="59"> расходится, значит, данный ряд также расходится.
Несмотря на простоту формулировки признака сравнения, на практике более удобна следующая теорема, являющаяся его следствием.
Предельный признак сравнения
Пусть https://pandia.ru/text/79/302/images/image071_17.gif" width="53" height="60 src="> – знакоположительные ряды. Если существует конечный и не равный нулю предел , то оба ряда и
одновременно сходятся или одновременно расходятся.
В качестве ряда, используемого для сравнения с данным, часто выбирают ряд вида . Такой ряд называется рядом Дирихле . В примерах 3 и 4 было показано, что ряд Дирихле с и расходится. Можно пока-
зать, что ряд font-size:14.0pt"> .Если , то ряд называется гармоническим . Гармонический ряд расходится.
Пример 5. Исследовать на сходимость ряд с помощью предельного признака сравнения, если
; | ; | ; |
Решение. а) Так как при достаточно больших https://pandia.ru/text/79/302/images/image101_9.gif" width="31" height="23 src=">, а
~ , то ~ font-size:14.0pt">сравнения с данным гармонический ряд font-size:14.0pt">, т. е. .
font-size:14.0pt"> Поскольку предел конечен и отличен от нуля и гармонический ряд расходится, то расходится и данный ряд.
Б) При достаточно больших https://pandia.ru/text/79/302/images/image109_10.gif" width="111" height="31 src=">.gif" width="129" height="31 src=">.gif" width="132" height="64 src="> – общий член ряда, с которым будем сравнивать данный:
Font-size:14.0pt">Ряд сходится (ряд Дирихле с font-size:16.0pt">) , поэтому данный ряд также сходится.
В) , поэтому бесконечно малую font-size:14.0pt"> можно
заменить на эквивалентную ей при величину (https://pandia.ru/text/79/302/images/image058_20.gif" width="13" height="21 src="> при font-size: 20.0pt">) . ;
;
;
г )
;
.
Как мы уже знаем математический анализ, занимается проблемами изучения множества объектов, таких как: числа, переменные, функции, последовательности, ряды и др. При изучении свойств того или иного объекта могут возникать пробелы или “пустоты". Это возникает тогда, когда наука не может объяснить: “Почему происходит так, а не иначе? ”. Такой казус существовал некоторое время и при изучении рядов, а точнее при изучении расходящихся рядов .
При изучении рядов заданному числовому ряду
(А)в качестве его суммы мы приписывали предел её частичной суммы
, в предположении, что этот предел существует и конечен. “Колеблющийся" расходящийся ряд оказывался лишенным суммы и подобные ряды, как правило, из рассмотрения исключали. Естественно возникает вопрос о возможности суммирования расходящихся рядов в некоем новом смысле, конечно отличном от обычного. Этот вопрос возник ещё до второй половины XIX века. Некоторые методы такого суммирования оказались довольно-таки плодотворными.В данной своей работе я хочу рассмотреть эти методы, обратить внимание на то, где и какой метод наиболее применим, изучить связь между этими методами. Моя работа состоит из 4 глав, первая из которых содержит основные термины и определения необходимые для работы. Последующие главы рассматривают непосредственно сами методы суммирования. Вторая и третья главы посвящены двум основным методам суммирования: метод степенных рядов и метод средних арифметических , а третья содержит сведения о других существующих, но реже применяемых методах. Каждая из четырех глав содержит примеры суммирования рядов по данному конкретному методу.
Глава 1. Основные понятия теории рядов
1.1 Определения и термины
Как мы упомянули вначале цель нашего исследования - расходящиеся ряды . А что же такое, вообще, ряд ?
Пусть задана некоторая бесконечная последовательность чисел
(1)Составленный из этих чисел символ
(2)называется бесконечным рядом , а сами числа (1) - членами ряда. Вместо (2), пользуясь знаком суммы, часто пишут так:
(2а)Станем последовательно складывать члены ряда, составляя (в бесконечном количестве) суммы;
(3)их называют частичными суммами ряда.
Конечный или бесконечный предел А частичной суммы ряда ( 2) при :
называют суммой ряда и пишут
,Придавая тем самым символу (2) или (2а) числовой смысл. Если ряд имеет конечную сумму, его называют сходящимся, в противном же случае (т. е если сумма равна
, либо же суммы вовсе нет) - расходящимся.Примеры.1) простейшим примером бесконечного ряда является уже знакомая геометрическая прогрессия:
Его частичная сума будет (если
)Если знаменатель прогрессии, q, по абсолютной величине меньше единицы, то
имеет конечный пределто есть наш ряд сходится, и
будет его суммой. та же прогрессия дает пример расходящегося ряда. Если , то его суммой будет бесконечность (определенного знака), в прочих случаях суммы вовсе нет. Отметим, в частности, любопытный ряд, который получается при a=1 и q= - 1; …1+ (-1) +1+ (-1) +1+…Его частичные суммы попеременно равны то 1, то 0.
2) Легко установить расходимость ряда
В самом деле, так как члены его убывают, то его n -я частичная сумма
и растет до бесконечности вместе с n.
1.2 Истоки проблемы
Различные факты из области математического анализа, как, например, расходимость, произведения двух сходящихся рядов, естественно выдвинули вышеупомянутый вопрос: “О возможности суммирования расходящихся рядов, в некоем новом смысле”.
Нужно сказать, что до создания Коши строгой теории пределов (и связанной с нею теории рядов) расходящиеся ряды нередко встречались в математической практике.
Хотя применение их при доказательствах и оспаривалось, тем не менее иной раз делались попытки придавать им даже числовой смысл.
Вспомним, опять, наш колеблющийся ряд
Еще со времен Лейбница в качестве "суммы" приписывалось число
. Эйлер, например, мотивировал это тем, что из разложения(которое в действительности имеет место лишь для
) при подстановке вместо х единицы как раз и получаетсяВ этом уже содержалось зерно истины, но постановке вопроса не хватало четкости; самый произвол в выборе разложения оставлял открытой возможность, скажем из другого разложения (где п и т - любые, но
Частичных сумм не имеет конечного предела. Напр., ряды
расходятся.
Р. р. стали появляться в работах математиков 17-18 вв. Л. Эйлер (L. Euler) первым пришел к выводу, что нужно ставить вопрос, не чему равна сумма, а как определить сумму Р. р., и нашел подход к решению этого вопроса, близкий к современному. Р. р. до кон. 19 в. не находили применения и были почти забыты. Накопление к кон. 19 в. различных фактов математич. анализа вновь пробудило интерес к Р. р. Стал выдвигаться вопрос о возможности суммирования рядов в нек-ром смысле, отличном от обычного.
П р и м е р ы. 1) Если перемножить два ряда
сходящихся соответственно к А
и В, то полученный в результате перемножения ряд
может оказаться расходящимся. Однако если сумму ряда (1) определить не как частичных сумм s n
, а как
(2)
то в этом смысле ряд (1) всегда будет сходиться (т. е. предел в (2) будет существовать) и его сумма в этом смысле равна С=АВ.
2) Ряд Фурье функции f(х),
непрерывной в точке х 0 (или имеющей разрыв 1-го рода), может расходиться в этой точке. Если же сумму ряда определить по формуле (2), то в этом смысле ряд Фурье такой функции всегда будет сходиться и его сумма в этом смысле равна f(x 0) (или соответственно , если х 0 -
точка разрыва 1-го рода).
3) Степенной ряд
сходится для к сумме и расходится для .
Если сумму ряда определить как
(4)
где s n
- частичные суммы ряда (3), то в этом смысле ряд (3) будет сходиться для всех z, удовлетворяющих условию Re z
Для обобщения понятия суммы ряда в теории Р. р. рассматривают нек-рую операцию или правило, в результате к-рого Р. р. ставится в определенное , наз. его суммой (в этом определении). Такое правило наз. суммирования, методом.
Так, правило, описанное в примере 1), наз. методом суммирования средних арифметических (см. Чезаро методы суммирования
).
Правило, определяемое в примере 2), наз. Бореля методом суммирования.
См. также Суммирование расходящихся рядов
. Лит.
: В о г е 1 Е., Lecons sur les series divergentes, P., 1928; Х а р д и Г., Расходящиеся ряды, пер. с англ., М., 1951; Кук Р., Бесконечные матрицы и пространства последовательностей, пер. с англ., М., I960; Р е у е r i m h о f f A., Lectures on summability, В., 1969; К n о р р К., Theory and application on infinite series, N. Y., 1971; Z e 1 1 е r К., B e e k m a n n V., Theory der Limitierungsverfahren, B.- Hdlb. - N. Y., 1970. И. И. Волков.
Математическая энциклопедия. - М.: Советская энциклопедия . И. М. Виноградов . 1977-1985 .
Смотреть что такое "РАСХОДЯЩИЙСЯ РЯД" в других словарях:
расходящийся ряд - — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN divergent series … Справочник технического переводчика
расходящийся ряд - diverguojančioji eilutė statusas T sritis fizika atitikmenys: angl. divergent series vok. divergente Reihe, f rus. расходящийся ряд, m pranc. série divergente, f … Fizikos terminų žodynas
Ряд, у которого последовательность частичных сумм не имеет конечного предела. Если общий член ряда не стремится к нулю, то ряд расходится, например 1 1 + 1 1 + ... + (1) n 1 + ...; примером Р. p., общий член которого стремится к нулю,… …
Добавление членов ряда Фурье … Википедия
Ряд, бесконечная сумма, например вида u1 + u2 + u3 +... + un +... или, короче, . (1) Одним из простейших примеров Р., встречающихся уже в элементарной математике, является сумма бесконечно убывающей геометрической прогрессии 1 + q + q 2 +... + q… … Большая советская энциклопедия
Содержание. 1) Определение. 2) Число, определяемое рядом. 3) Сходимость и расходимость рядов. 4) Условная и абсолютная сходимость. 5) Равномерная сходимость. 6) Разложение функций в ряды. 1. Определения. Р. есть последовательность элементов,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
I бесконечная сумма, например вида u1 + u2 + u3 +... + un +... или, короче, Одним из простейших примеров Р., встречающихся уже в элементарной математике, является сумма бесконечно убывающей… … Большая советская энциклопедия
Б е с к о н е ч н а я с у м м а, последовательность элементов (наз. ч л е н а м и д а н н о г о р я д а) нек рого линейного топологич. пространства и определенное бесконечное множество их конечных сумм (наз. ч а с т и ч н ы м и с у м м а м и р я… … Математическая энциклопедия
Ряд Фурье представление произвольной функции f с периодом τ в виде ряда Этот ряд может быть также переписан в виде. где Ak амплитуда k го гармонического колебания (функции cos), кру … Википедия
Такие суммы называются бесконечными рядами , а их слагаемые – членами ряда. (Многоточие означает, что число слагаемых бесконечно.) Решения сложных математических задач редко удается представить в точном виде посредством формул. Однако в большинстве случаев эти решения можно записать в виде рядов. После того, как такое решение найдено, методы теории рядов позволяют оценить, сколько членов ряда необходимо взять для конкретных вычислений или как записать ответ в наиболее удобном виде. Наряду с числовыми рядами мы можем рассматривать т.н. функциональные ряды , слагаемыми которых являются функции . Многие функции можно представить с помощью функциональных рядов. Изучение числовых и функциональных рядов является важной частью математического анализа .
В примерах (1) и (2) сравнительно легко догадаться, по какому закону образуются последовательные члены. Закон образования членов ряда может быть гораздо менее очевидным. Например, для ряда (3) он станет ясен, если этот ряд записать в следующем виде:
Сходящиеся ряды.
Поскольку сложение бесконечного числа членов ряда физически невозможно, необходимо определить, что именно следует понимать под суммой бесконечного ряда . Можно представить себе, что указанные операции сложения и вычитания выполняются последовательно, одна за другой, например, на компьютере. Если возникающие при этом суммы (частичные суммы) все ближе и ближе подходят к некоторому числу, то это число разумно назвать суммой бесконечного ряда. Таким образом, сумму бесконечного ряда можно определить как предел последовательности частичных сумм. При этом такой ряд называется сходящимся.
Найти сумму ряда (3) нетрудно, если заметить, что преобразованный ряд (4) можно записать в виде
Последовательные частичные суммы ряда (5) равны
и т.д.; можно заметить, что частичные суммы стремятся к 1. Таким образом, этот ряд сходится и его сумма равна 1.
В качестве примера бесконечных рядов можно рассматривать бесконечные десятичные дроби. Так, 0,353535... – это бесконечная периодическая десятичная дробь, являющаяся компактным способом записи ряда
Закон образования последовательных членов здесь понятен. Аналогично, 3,14159265... означает
но закон образования последующих членов ряда здесь неочевиден: цифры образуют десятичное разложение числа p , и трудно сразу сказать, какова, например, 100 000-я цифра, хотя теоретически эту цифру можно вычислить.
Расходящиеся ряды.
О бесконечном ряде, который не сходится, говорят, что он расходится (такой ряд называют расходящимся ). Например, ряд
расходится, так как его частичные суммы равны 1/2, 1, 1 1 / 2 , 2,.... Эти суммы не стремятся ни к какому числу как к пределу, поскольку, взяв достаточно много членов ряда, мы можем сделать частичную сумму сколь угодно большой. Ряд
также расходится, но по другой причине: частичные суммы этого ряда попеременно обращаются то в 1, то в 0 и не стремятся к пределу.
Суммирование.
Найти сумму сходящегося ряда (с заданной точностью), последовательно суммируя его члены, хотя теоретически и возможно, но практически трудно осуществимо. Например, ряд
сходится, и сумма его с точностью до десяти знаков после запятой равна 1,6449340668, но для того, чтобы вычислить ее с этой точностью, потребовалось бы взять ок. 20 млрд. членов. Такие ряды обычно суммируют, первоначально преобразуя их с помощью различных приемов. При этом используют алгебраические или вычислительные методы; например, можно показать, что сумма ряда (8) равна p 2 /6.
Обозначения.
Работая с бесконечными рядами, полезно иметь удобные обозначения. Например, конечную сумму ряда (8) можно записать как
Такая запись указывает на то, что n последовательно полагается равным 1, 2, 3, 4 и 5, а результаты складываются:
Аналогично, ряд (4) можно записать в виде
где символ Ґ указывает на то, что мы имеем дело с бесконечным рядом, а не с конечной его частью. Символ S (сигма) называют знаком суммирования.
Бесконечная геометрическая прогрессия.
Мы смогли просуммировать ряд (4), так как существовала простая формула для его частичных сумм. Аналогично, можно найти сумму ряда (2), или в общем виде,
если r принимает значения между –1 и 1. В этом случае сумма ряда (9) равна 1/(1 – r ); при других значениях r ряд (9) расходится.
Можно рассматривать периодические десятичные дроби вроде 0,353535... как иной способ записи бесконечной геометрической прогрессии
Это выражение можно записать также в виде
где в скобках стоит ряд (9) с r = 0,01; следовательно, сумма ряда (10) равна
Тем же способом можно представить в виде обычной дроби любую периодическую десятичную дробь.
Признаки сходимости.
В общем случае простой формулы для частичных сумм бесконечного ряда не существует, так что для установления сходимости или расходимости ряда прибегают к специальным методам. Например, если все члены ряда положительны, то можно показать, что ряд сходится, если каждый его член не превосходит соответствующего члена другого ряда, о котором известно, что он сходится. В принятых обозначения это можно записать следующим образом: если a n і 0 и сходится, то сходится, если 0 Ј b n Ј a n . Например, так как ряд (4) сходится и
то можно сделать вывод, что ряд (8) тоже сходится. Сравнение представляет собой основной метод, позволяющий устанавливать сходимость многих рядов, сопоставляя их с простейшими сходящимися рядами. Иногда используют более специальные признаки сходимости (их можно найти в литературе по теории рядов.) Приведем еще несколько примеров сходящихся рядов с положительными членами:
Сравнение можно использовать и для установления расходимости ряда. Если ряд расходится, то и ряд также расходится, если 0 Ј b n Ј a n .
Примерами расходящихся рядов могут служить ряды
и, в частности, т.к. гармонический ряд
В расходимости этого ряда можно убедиться, сосчитав следующие частичные суммы:
и т.д. Таким образом, частичные суммы, которые оканчиваются членами 1/4, 1/8, 1/16, 1/32, ј , превосходят частичные суммы расходящегося ряда (6), и поэтому ряд (14) должен расходиться.
Абсолютная и условная сходимости.
К таким рядам, как
метод сравнения неприменим, поскольку члены этого ряда имеют разные знаки. Если бы все члены ряда (15) были положительными, то мы получили бы ряд (3), о котором известно, что он сходится. Можно показать, что отсюда следует также сходимость ряда (15). Когда изменением знаков отрицательных членов ряда на противоположные его можно превратить в сходящийся, говорят, что исходный ряд сходится абсолютно .
Знакопеременный гармонический ряд (1) не является абсолютно сходящимся, т.к. ряд (14), состоящий из тех же, но только положительных членов, не сходится. Однако с помощью специальных признаков сходимости для знакопеременных рядов можно показать, что ряд (1) в действительности сходится. Сходящийся ряд, который не сходится абсолютно, называется условно сходящимся .
Операции с рядами.
Исходя из определения сходящегося ряда, легко показать, что его сходимость не нарушится от вычеркивания или приписывания к нему конечного числа членов, а также от умножения или деления всех членов ряда на одно и то же число (разумеется, деление на 0 исключается). При любой перестановке членов абсолютно сходящегося ряда его сходимость не нарушается, а сумма не меняется. Например, так как сумма ряда (2) равна 1, сумма ряда
также равна 1, поскольку этот ряд получается из ряда (2) перестановкой соседних членов (1-го члена со 2-м и т.д.). Можно как угодно изменять порядок следования членов абсолютно сходящегося ряда, лишь бы в новом ряду присутствовали все члены исходного. С другой стороны, перестановка членов условно сходящегося ряда может изменить его сумму и даже сделать его расходящимся. Более того, члены условно сходящегося ряда всегда можно переставить так, что он будет сходиться к любой заранее заданной сумме.
Два сходящихся ряда Sa n и Sb n можно почленно складывать (или вычитать), так что сумма нового ряда (который также сходится) складывается из сумм исходных рядов, в наших обозначениях
При дополнительных условиях, например, если оба ряда абсолютно сходятся, их можно умножать друг на друга, как это делается для конечных сумм, причем получающийся двойной ряд (см. ниже ) будет сходиться к произведению сумм исходных рядов.
Суммируемость.
Несмотря на то, что принятое нами определение сходимости бесконечного ряда кажется естественным, оно не является единственно возможным. Сумму бесконечного ряда можно определить и другими способами. Рассмотрим, например, ряд (7), который может быть записан компактно в виде
Как мы уже говорили, его частичные суммы попеременно принимают значения 1 и 0, и поэтому ряд не сходится. Но если мы образуем поочередно попарные средние его частичных сумм (текущее среднее), т.е. вычислим сначала среднее значение первой и второй частичных сумм, затем среднее второй и третьей, третьей и четвертой и т.д., то каждое такое среднее будет равно 1/2, и поэтому предел попарных средних также окажется равным 1/2. В этом случае говорят, что ряд суммируем указанным методом и его сумма равна 1/2. Было предложено много методов суммирования, позволяющих приписывать суммы довольно обширным классам расходящихся рядов и тем самым использовать некоторые расходящиеся ряды в вычислениях. Для большинства целей способ суммирования полезен, однако, только в том случае, если применительно к сходящемуся ряду он дает его конечную сумму.
Ряды с комплексными членами.
До сих пор мы молчаливо предполагали, что имеем дело лишь с действительными числами, но все определения и теоремы применимы и к рядам с комплексными числами (за исключением того, что суммы, которые могут быть получены при перестановке членов условно сходящихся рядов, не могут принимать произвольные значения).
Функциональные ряды.
Как мы уже отмечали, членами бесконечного ряда могут быть не только числа, но и функции, например,
Суммой такого ряда также является функция, значение которой в каждой точке получается как предел вычисленных в этой точке частичных сумм. На рис. 1 показаны графики нескольких частичных сумм и суммы ряда (при x , изменяющемся от 0 до 1); s n (x ) означает сумму первых n членов. Сумма ряда представляет собой функцию, равную 1 при 0 Ј x x = 1. Функциональный ряд может сходиться при одних значениях x и расходиться при других; в рассмотренном нами примере ряд сходится при –1Ј x x.
Сумму функционального ряда можно понимать по-разному. В некоторых случаях важнее знать, что частичные суммы близки (в том или ином смысле) к некоторой функции на всем интервале (a , b ), чем доказывать сходимость или расходимость ряда в отдельных точках. Например, обозначив частичную сумму n -го порядка через s n (x ), мы говорим, что ряд сходится в среднем квадратичном к сумме s (x ), если
Ряд может сходиться в среднем квадратичном, даже если он не сходится ни в одной отдельной точке. Существуют также и другие определения сходимости функционального ряда.
Некоторые функциональные ряды получили название по тем функциям, которые в них входят. В качестве примера можно привести степенные ряды и их суммы:
Первый из этих рядов сходится при всех x . Второй ряд сходится при |x | r x r x| Ј 1, если r > 0 (за исключением тех случаев, когда r – неотрицательное целое число; в последнем случае ряд обрывается после конечного числа членов). Формула (17) называется биномиальным разложением для произвольной степени.
Ряды Дирихле.
Рядами Дирихле называются функциональные ряды вида S (1/a n x ), где числа a n неограниченно возрастают; примером ряда Дирихле может служить дзета-функция Римана
Ряды Дирихле часто используются в теории чисел.
Тригонометрические ряды.
Так называются функциональные ряды, содержащие тригонометрические функции; тригонометрические ряды специального вида, используемые в гармоническом анализе, называются рядами Фурье. Примером ряда Фурье может служить ряд
F (x ), обладающая следующим свойством: если мы возьмем конкретную частичную сумму ряда (18), например сумму первых трех его членов, то разность между f (x ) и этой частичной суммой, вычисленной при некотором значении x , будет мала при всех значениях x вблизи 0. Иначе говоря, хотя мы не может добиться хорошей аппроксимации функции f (x ) в какой-либо конкретной точке x , далекой от нуля, взяв даже очень много членов ряда, но при x , близком к 0, всего лишь несколько его членов дают весьма хорошее ее приближение. Такие ряды называются асимптотическими . В численных расчетах асимптотические ряды обычно полезнее, чем сходящиеся, поскольку они с помощью небольшого числа членов обеспечивают достаточно хорошее приближение. Асимптотические ряды широко используются в теории вероятностей и математической физике.
Двойные ряды.
Иногда приходится суммировать двумерные массивы чисел
Мы можем просуммировать по строкам, а затем сложить построчные суммы. Вообще говоря, у нас нет особых оснований отдавать предпочтение строкам перед столбцами, но если суммирование сначала проводить по столбцам, то результат может оказаться другим. Например, рассмотрим двойной ряд
Здесь каждая строка сходится к сумме, равной 0, и сумма построчных сумм поэтому также равна нулю. С другой стороны, сумма членов первого столбца равна 1, а всех остальных столбцов равна 0, поэтому сумма сумм по столбцам равна 1. Единственными «удобными» сходящимися двойными рядами являются абсолютно сходящиеся двойные ряды: их можно суммировать по строкам или столбцам, равно как и любым другим способом, и сумма всегда получается одной и той же. Какого-либо естественного определения условной сходимости двойных рядов не существует.