28Ряды

Ряды — это просто бесконечные суммы. Мы с ними уже несколько раз сталкивались — например, когда обсуждали, что некоторые функции оказываются равны своим рядам Тейлора (см. замечание 2 из лекции 22). Пришло время поговорить про ряды подробнее.

28.1Сходящиеся и расходящие ряды

28.1.1Определения и примеры

Пусть есть какая-то последовательность .

Определение 1. Бесконечным рядом (или просто рядом) называется такая бесконечная сумма:
Если вместо бесконечности взять первые слагаемых, получится частичная сумма ряда:
По определению, суммой ряда называется предел частичных сумм:

Конечно, этот предел может существовать, а может не существовать. В первом случае ряд называется сходящимся, во втором — расходящимся.

Пример 1. Ряд
сходится. Это геометрическая прогрессия со знаменателем, по модулю меньшим 1, но сходимость здесь можно увидеть и непосредственно. Если у вас была одна шоколадка, вы съели от неё половину, потом половину от оставшейся половины (то есть четверть), потом половины от того, что осталось (то есть одну возьмую) и т.д. — в пределе ничего не останется, но и больше, чем целую шоколадку, вы не съедите. Значит, сумма съеденных кусочков стремится к единице.
Рис. 28.1: Сумма бесконечной геометрической прогрессии «на шоколадках»

Пример 2. Ряд
расходится: поскольку все слагаемые больше или равны 1, частичные суммы неограничены: , и значит расходятся. Можно сказать, что сумма равна плюс бесконечности:

28.1.2Геометрическая прогрессия

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

Поскольку я никогда не могу запомнить формулу для суммы членов геометрической прогрессии и каждый раз вывожу её заново, приведу этот вывод и здесь.

Утверждение 1. Для всяких , и справедливо утверждение

Доказательство. Вынесем за знак суммирования, а потом сделаем замену индекса суммирования :
Остаётся найти, чему равна сумма . Обозначим её через . Тогда
Вычитая из первого равенства второе, получаем:
откуда

Следствие 1. При ,
поскольку в этом случае стремится к нулю при стремящемся к бесконечности. При при ряд расходится, поскольку стремится к бесконечности. При последовательность является постоянной и ряд расходится при .

В примере 1, и , значит сумма равна

как и ожидалось.

28.1.3«Телескопические суммы»

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

Пример 3. Найдём сумму ряда
Для этого заметим, что
Дальше хочется сделать такую штуку:
Это преобразование выглядит реалистично — в самом деле, нас учили, что при суммировании неважно, как расставлять скобки — однако таит в себе опасность. Рассмотрим, например, такой ряд:
Его частичными суммами будут числа (при нечётных ) и — при чётных. Мы знаем, что предела у такой последовательности нет. Однако, казалось бы, можно записать:
Впрочем, с тем же успехом мы могли бы получить и , если бы сгруппировали слагаемые иначе (первое оставили отдельно, а второе сгруппировали с третьим, четвертой с пятым и т.д.)

Пример с рядом показывает, что бесконечные суммы могут быть коварными — привычные нам операции типа группировки слагаемых могут менять результат. Как же всё-таки найти сумму ряда (28.1)?

Если мы не уверены, что некоторое преобразование сработает с бесконечным рядом, мы можем вернуться в ту область, где всё просто и понятно — в область конечных сумм. Давайте рассмотрим частичные суммы этого ряда:

Тут уже скобки не важны, потому что группировка слагаемых в конечных суммах не меняет их значения. Мы видим, что слагаемые и сокращаются, и дальше сократятся все пары слагаемых, заканчивая и . Останется только первое и последнее слагаемое. (Если вы чувствуете малейшие сомнения в этом месте, подставьте какое-нибудь небольшое конкретное — например, , и проследите, как это работает.) Итак:
и значит предел частичных сумм равен . То есть наше вычисление дало правильный результат, и теперь мы это аккуратно обосновали. (Проверьте, что будет, если попытаться применить то же самое рассуждение к ряду (28.2).)

Суммы такого вида, у которых слагаемые последовательно сокращаются, иногда называют «телескопическими» — в процессе сокращения сумма как бы складывается, как складная подзорная труба или телескоп.

28.1.4Простейшие свойства

Как показвает пример с рядом (28.2), не все привычные нам операции с конечными суммами можно применять к рядам. Однако, некоторые всё-таки можно.

Утверждение 2. Пусть ряды и сходятся и — какая-то константа. Тогда
  1. .
  2. .

Доказательство. Это прямое следствие из аналогичных свойств пределов. Докажем, например, первое свойство. Рассмотрим -ю частичную сумму:
Это конечная сумма, в ней можно раскрывать скобки и переставлять слагаемые, как нас учат в школе. Поэтому можно продолжить равенство:
Значит
В третьем равенства мы использовали теорему о пределе суммы.

Второе свойство доказывается аналогично, запишите доказательство самостоятельно.

28.2Признаки сходимости и расходимости

28.2.1Необходимое условие сходимости: члены стремятся к нулю

Утверждение 3. Если ряд сходится, то

Доказательство. Обозначим через частичную сумму нашего ряда:
Тогда для всех
Рассмотрим предел последовательности :
но пределы и — это фактически один и тот же предел (во втором случае последовательность просто сдвинута на один элемент вправо, но предел от этого не изменился). И оба предела существуют, потому что по определению, предел частичных сумм — это сумма ряда, а ряд сходится. Обозначим сумму ряда за . Тогда

Замечание 1. Теперь мы могли бы мгновенно сказать, что ряд (28.2) расходится: его члены не стремятся к нулю.

28.2.2Гармонический ряд

Условие является необходимым для сходимости ряда, но является ли оно достаточным? Оказывается, нет. Приведём в качестве примере известный гармонический ряд.

Утверждение 4. Ряд
расходится.

Доказательство. Заметим, что
Каждая из сумм в левой части не меньше, чем своё последнее слагаемое (самое маленькое) умножить на число слагаемых. Понятно, что так можно продолжать и дальше. Для произвольного натурального возьмём слагаемые с номерами от до . Их количество равно разности между этими двумя числами, плюс один. (Потому что и первое и последнее число включатся в подсчёт: например, если бы эти числа совпадали, разность равнялась нулю, но при этом одно слагаемое мы бы взяли.) Значит, общее число слагаемых равно
и каждое слагаемое не меньше последнего, то есть . Итак:
Возьмём первые слагаемых ряда (28.3). В них есть первое слагаемое, равное , и ещё «блоков» вида (28.4), каждый из которых не меньше . Значит, их сумма не меньше, чем и стремится к бесконечности. Значит, ряд расходится.

Замечание 2. Суммирование гармонического ряда похоже на интегрирование функции . И это не фигура речи. Мы знаем, что
и можно доказать, что существует такая константа (постоянная Эйлера — Маскерони), что
то есть у частичных сумм гармонического ряда есть «логарифмическая асимптота» (асимптота вида ).
import matplotlib.pyplot as plt
import numpy as np
import qqmbr.odebook as ob
# see https://github.com/ischurov/qqmbr/blob/master/qqmbr/odebook.py

def harmonic(n):
    # reverse order for better precision
    return sum(1 / k for k in range(n, 0, -1))
gamma = 0.57721566490153286060
# From Wikipedia: https://en.wikipedia.org/wiki/Euler–Mascheroni_constant

N = range(1, 10)
plt.plot(N, [harmonic(n) for n in N], 'o', 
         label=r'частичные суммы гармонического ряда')

x = np.linspace(0.1, max(N) + 1, 301)
plt.plot(x, np.log(x) + gamma, label=r'$y=\ln x + \gamma$')
plt.yticks([1, 2, 3])
plt.xticks(N)
plt.legend()

ob.center_spines(grid=False, minor_ticks=False)
ob.settle_axes(xmin=-0.5, xmax=max(N) + 1, ymin=-0.2, ymax=4.2, 
               xlabel="x", ylabel="y")
Рис. 28.2: Логарифмическая асимптота для частичных сумм гармонического ряда

28.2.3Признак сравнения

Ну хорошо, у нас есть необходимое условие сходимости — может быть, есть и какие-то достаточные? Да, есть.

Теорема 1. Рассмотрим два ряда:
Если известно, что для всех натуральных верны неравенства
и ряд
сходится, то ряд
тоже сходится.

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

Верный ответ. Обозначим сумму ряда (28.6) через , частичные суммы ряда (28.6) через , а частичные суммы ряда (28.7) через . Поскольку все слагаемые неотрицательны, обе последовательности и неубывают. Также в силу (28.5), для всех , . С другой стороны, в силу неубывания, все элементы не превосходят предела (если бы какой-то элемент перескочил через предел, все следующие элементы были бы отделены от предела и не могли бы к нему стремиться). Значит, для всех , и значит последовательность является неубывающей и ограниченной. Значит, по теоремe Вейерштрасса, у неё есть предел.

Пример 4. Докажем, что ряд
сходится. Действительно, для всех , и следовательно . Никакое конечное число начальных членов на сходимость ряда не влияет и значит в признаке сравнения достаточно выполнения неравенства для всех , начиная с некоторого. А ряд
сходится. Значит, и наш ряд сходится.

Пример 5. Докажем, что ряд
расходится. Действительно, для всех , и следовательно
Но если бы ряд (28.8) сходился, тогда и ограниченный им ряд тоже сходился бы. Но мы знаем, что последнее неверно. Значит, наш ряд расходится.

28.2.4Интегральный признак сходимости

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

Теорема 2. Пусть функция невозрастает, неотрицательна и интегрируема на любом отрезке , . В этих условиях ряд
сходится тогда и только тогда, когда сходится несобственный интеграл

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

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

Рис. 28.3: Интеграл оценивает сумму ряда, начиная со второго слагаемого

Площадь -го прямоугольника равна , сумма всех площадей равна сумме ряда. Все прямогольники, кроме первого, находятся не выше графика функции: в силу неубывания на каждом отрезке значение функции не меньше . Разобьём наш ряд в сумму первого члена и всех остальных:

Слагаемое не меняет сходимости ряда, и значит достаточно изучить сходимость . Любая частичная сумма этого ряда не превосходит значение интеграла (28.10) и последовательность частичных сумм неубывает в силу неотрицательности . Значит, последовательность частичных сумм имеет предел и ряд сходится.

Формально можно записать так. Заметим, что

где — окугление «вверх» от числа . Этот интеграл равен площади суммы всех прямоугольников, которую мы обсуждали выше (на каждом полуинтервале мы интегрируем константу ). С другой стороны, и значит . По признаку сравнения для интегралов, если интеграл (28.10) сходится, то и интеграл (28.11) сходится.

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

Рис. 28.4: Сумма ряда оценивает интеграл сверху
Формально, можно записать:
гда — округление вниз числа , и использовать неравенство . Значит ряд ограничивает интеграл и из сходимости ряда следует сходимость интеграла.

Пример 6. Докажем, что ряд
сходится.

Действительно, этот ряд можно представить в виде ряда , где — невозрастающая неотрицательная функция. Значит сходимость этого ряда эквивалентна сходимости интеграла

Но мы уже доказывали, что этот интеграл сходится. Значит, ряд тоже сходится.

Замечание 3. Из интегрального признака сходимости рядов не следует, что сумма ряда равна соответствующему интегралу — это только оценка! Например, сумма ряда (28.13) довольно неожиданно равна , в то время как соответствующий интеграл равен . Однако, из доказательства теоремы 2 можно извлечь оценку на сумму ряда. Скажем, даже если бы мы не знали, чему равна сумма ряда (28.13), мы могли бы показать, что она меньше двух (первый член равен 1, а остаток оценивается сверху интегралом, который равен 1) и больше одного (весь ряд, включая первый член, больше либо равен соответствующему интегралу).

28.2.5Знакочередующиеся ряды

Признаки сравнения, обсуждающиеся выше, применимы к рядам с неотрицательными членами. Легко придумать их аналоги для рядов, чьи члены всегда неположительны. Если условие знакопостоянства верно для всех членов, начиная с некоторого, эти признаки тоже работают: никакое конечное число первых членов на сходимость ряда не влияют.

Можно ли что-то сказать в том случае, когда среди членов ряда есть бесконечно много положительных и бесконечно много отрицательных членов (такие ряды называют знакопеременными)? В некоторых случаях — можно.

Определение 2. Пусть — некоторая последовательность с положительными членами. Рассмотрим ряд
Он называется знакочередующимся. Также можно поставить коэффициент , получится тоже знакочередующийся ряд.

Про знакочередующиеся ряды обычно просто сказать, сходятся они или нет: необходимое условие сходимости в этом случае почти совпадает с достаточным (но не совсем совпадает, нужно дополнительное условие).

Теорема 3. (Признак Лейбница.) Пусть для знакочередующегося ряда (28.14) модули членов невозрастают, то есть для всех , . Если при этом
то ряд сходится.

Доказательство. Обозначим частичные суммы ряда через . Тогда , , и т.д. Будем откладывать эти точки на числовой прямой, см. рис. 28.5.

Вот мы отложили точку . Затем нужно сдвинуться влево на , чтобы получить . Отсюда нужно сдвинуться вправо на , чтобы получить . Может ли оказаться, что мы «перескочим» при этом ? Нет, потому что последовательность невозрастает, и значит , то есть сдвиг от до не превосходит длину отрезка . Значит точка лежит в отрезке .

Рис. 28.5: Частичные суммы знакочередующегося ряда с убывающими членами
Следующий шаг должен быть влево, и поскольку , точка лежит на отрезке . И так далее.

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

то есть концы -го отрезка — это просто частичные суммы (-я и -я), записанные в правильном порядке (та, что больше, справа, а та, что меньше, слева). Тогда и т.д. По построению, и при . Значит по лемме о вложенных отрезках существует единственная точка , принадлежащая всем , и концы отрезков стремятся к . Но концами являются наши предельные суммы и значит если они стремятся к , то ряд сходится к .

Пример 7. Ряд
является сходящимся.

28.3Абсолютная и условная сходимость

Определение 3. Рассмотрим ряд
Если ряд из модулей
сходится, ряд (28.16) называется абсолютно сходящимся.

Утверждение 5. Если ряд сходится абсолютно, то он сходится. (Звучит забавно, но, действительно, в определении абсолютной сходимости ничего не сказано про то, сходится сам ряд, или нет — сказано только про ряд из модулей.)

Доказательство. Докажите самостоятельно. Подсказка: пусть . Тогда и . Но .

Определение 4. Если ряд сходится, но не является абсолютно сходящимся, говорят, что он сходится условно.

Пример 8. Ряд (28.15) сходится условно, потому что соответствующий ему ряд из модулей является гармоническим (см. (28.3)) и расходится.

Оказывается, что абсолютно и условно сходящиеся ряды ведут себя существенно по-разному — некоторые естественные операции можно безопасно делать с абсолютно сходящимися рядами, но нельзя с условно сходящимися. В частности, для условно сходящихся рядов не действует принцип «от перемены мест слагаемых сумма не меняется».

Определение 5. Биективное отображение называется перестановкой натурального ряда.

Если задана какая-то перестановка натурального ряда , с её помощью можно из ряда

изготовить ряд
то есть ряд, члены которого совпадают с , но их порядок изменён с помощью перестновки .

Теорема 4. В результате перестановок членов абсолютно сходящегося ряда его сумма не меняется.

Набросок доказательства. Если ряд имеет только положительные элементы, легко показать, что частичные суммы переставленного ряда оцениваются частичными суммами исходного, и наоборот. Ряд с положительными и отрицательными членами можно представить как разность двух рядов с положительными членами.

Теорема 5. (Римана) Пусть есть какой-то условно сходящийся ряд . Тогда выбором подходящей перестановки его членов можно получить ряд с любой заранее заданной суммой. Иными словами, для всякого найдётся такая перестановка , что в результате этой перестановки получается ряд, сумма которого равна .

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

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

Ключевой момент доказательства состоит в том, чтобы отдельно рассмотреть положительные и отрицательные члены ряда. Для этого введём такие обозначения:

Тогда ряд
состоит только из его положительных слагаемых исходного ряда, а
только из отрицательных. Заметим, что
Докажем, что оба ряда (28.17) и (28.18) расходятся. Действительно, пусть, например, ряд сходится (другой случай рассматривается так же). Тогда
тоже сходится, как разность сходящихся рядов (см. утверждение 2). Но в этом случае и ряд
тоже сходится, а это противоречит предположению, что исходный ряд сходится лишь условно, а не абсолютно.

Итак, оба ряда (28.18) и (28.17) расходятся. Первый состоит только из неотрицательных слагаемых. Единственный способ, каким он может расходиться, то есть не иметь предела — это стремиться к плюс бесконечности. Действительно, последовательность частичных сумм неубывает. Она не может быть ограниченной сверху, поскольку неубывающая ограниченная сверху последовательность имеет предел по теореме Вейерштрасса 2. Значит, она не является ограниченной, то есть для всякого найдётся такое , что . Но в силу неубывания, для всех , . Значит, при .

Аналогично доказывается, что ряд (28.18) стремится к минус бесконечности.

Точная подгонка. Пусть из последовательности выкинули все нулевые члены. Подпоследовательность, составленную из оставшихся членов, назовём . Порядок следования членов последовательности — такой же, как в , просто все нулевые пропущены.

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

Иными словами, и — это последовательности положительных и отрицательных членов исходной последовательности .

Эта лекция читается в конце декабря, так что можно представить себе, что — это мешок с бесконечным количеством подарков, каждый подарок имеет свой размер, влияющий на то, насколько повышается настроение у человека, которому вы его дарите. Про этот мешок вы знаете, что подарки в нём пронумерованы, и что мешок этот бесконечно большой, подарков в нём достаточно, чтобы поднять настроение на любой уровень.

Тогда — это мешок антиподарков, которые снижают настроение, а не повышают его. Подарки в нём также пронумерованы и имеют в совокупности неограниченный потенциал для снижения настроения.

Пусть теперь нам задано какое-то число . Мы будем выписывать элементы последовательностей и таким образом, чтобы сумма выписанных элементов стремилась к . Каждый элемент будет выписан ровно один раз, и до любого элемента мы рано или поздно доберёмся.

Алгоритм устроен так. Допустим, , обратный случай рассматривается аналогично. Мы начинаем из точки и будем выписывать элементы из последовательности по порядку, до тех пор, пока сумма выписанных элементов не превзойдёт . Если в какой-то момент эта сумма попала ровно в , выпишем ещё один элемент. Визуально это соответствует тому, что мы делаем скачки вправо на величину , и т.д., до тех пор, пока не «перескочим» через .

Как только это произошло, мы меняем направление. Теперь будем выписывать элементы из последовательности по порядку. Они отрицательные, поэтому сумма всех выписанных элементов будет каждый раз сдвигаться влево на модуль очередного выписанного элемента. В какой-то момент мы перескочим через (теперь в обратном направлении, слева направо). Сразу после этого нужно снова сменить направление движения.

Теперь мы опять должны выписывать элементы из , продолжая ровно с того места, где остановились в прошлый раз. Если последний выписанный нами на предыдущем этапе элемент был , то начать надо с элемента . И снова мы выписываем элементы из до тех пор, пока сумма всех элементов (включая все выписанные ранее) не превзойдёт . В этот момент мы снова переключимся, и будем так продолжать до бесконечности.

Почему этот алгоритм работает.

Я утверждаю, что описанный нами алгоритм реализует искомую перестановку — а именно, что получится последовательность, которая является перестановкой исходной последовательности , и что предел её частичных сумм равен .

Во-первых, этот алгоритм никогда не остановится, и будет делать бесконечное количество переключений между движением вправо и движением влево. Почему так? Потому что сумммы (28.17) и (28.18) расходятся, и значит в наших «мешках с подарками и антиподарками» подарков достаточно, чтобы сделать сколь угодно хорошее и сколь угодно плохое настроение. Более того, поскольку начальные члены ряда не влияют на сумму, эти свойства сохранятся и после того, как какое-то конечное количество слагаемых из последовательностей и было выписано. Значит мы всегда можем взять достаточно много элементов из «хвостов» этих последовательностей, чтобы сдвинуться как угодно далеко вправо или как угодно далеко влево. Значит, нам всегда удастся перескочить через и сменить направление движения.

В ходе каждого этапа движения вправо или влево из соответстующей последовательности берётся по крайней мере один элемент. По построению, мы не пропускаем никакие элементы и не повторяем одни и тот же элемент дважды. Поскольку этапов бесконечно много, это означает, что любой элемент рано или поздно будет выписан, причём ровно один раз. Это означает, что новая последовательность — перестановка старой.

Наконец, почему предел её частичных сумм стремится к ? Заметим, что в силу необходимого условия сходимости, при и значит и . Это означает, что и . То есть скачки, которые мы совершаем каждый раз, стремятся к нулю. Однако, расстояние от до очередной частичной суммы не превосходит модуля длины последнего скачка, после которого мы перескочили через . Этот скачок равен соответствующему элементу последовательности , и его номер стремится к бесконечности, поскольку при каждом проходе «вправо» мы берём как минимум один элемент из последовательности положительных членов, а при проходе «влево» берём как минимум один элемент из последовательности отрицательных членов. Значит, как минимум не меньше, чем число проходов вправо и влево. Поэтому расстояние от до очередной частичной суммы стремится к нулю.

Теорема доказана.

28.4Заключение

Ряды естественным образом возникают в ситуациях, когда есть какая-то величина, меняющаяся дискретно (в отдельные моменты времени), и нас интересует, как это величина накапливается. Сложные проценты в финансах, расчёты платежей в теории игр, математические ожидания дискретных случайных величин в теории вероятностей — во всех этих областях появляются ряды. Особенно важно понимать, какие ряды сходятся, а какие нет — и мы подробно обсудили несколько достаточно универсальных признаков, применимых в широком спектре ситуаций. К сожалению, нахождение значений рядов — задача ещё более сложная, чем нахождение сумм интегралов. Впрочем, если вы хотите углубиться в эту тему, могу рекомендовать книгу «Конкретная математика. Основание информатики» (Р. Грэхем, Д. Кнут, О. Поташник). Там эта тема обсуждается подробно.

А мы подходим к концу курса. Осталась буквально одна тема. И это будет что-то новое!