Незнакопостоянные ряды
НЕТ ВОЙНЕ |
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России |
Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению. |
meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки. |
Содержание
Определение
Определение: |
Если в ряду есть бесконечно много как положительных, так и отрицательных членов, то такой ряд называется незнакопостоянным |
Утверждение: |
Исследование незнакопостоянных рядов во сто крат сложнее исследования знакопостоянных |
Пример незнакопостоянного ряда:
Для таких рядов вводится дополнительная терминология. Пусть дан незнакопостоянный ряд
. Составим ряд .
Определение: |
Если ряд из модулей сходится, то | называют абсолютно сходящимся, иначе — условно-сходящийся.
. По критерию Коши видим, что абсолютно сходящийся ряд сходится и сам по себе. Устремляя , получаем .
Введём для условно-сходящихся рядов два важных дополнительных ряда.
Определение: |
Определение: |
Отсюда, имея ряд , построим ряды и . Они положительны по определению и .
В силу оценок
, если ряд абсолютно сходится, то сходятся и оба вспомогательных ряда и.
Утверждение: |
Если ряд условно сходится, то и расходятся |
Предположим на секунду, что | сходится. Но . Тогда, по линейности рядов, начнёт сходиться и ряд . Тогда, по линености рядов, так как , начнёт сходиться и ряд . Противоречие.
Именно этим и объясняется сложность исследования условно-сходящихся рядов.
Ряд Лейбница
Определение: |
, — знакочередующийся ряд |
Определение: |
Знакочередующийся ряд, в котором | убывает и стремится к нулю — ряд Лейбница
Например, — ряд Лейбница. Позже мы докажем, что сумма этого ряда равна .
Перед формулировкой теоремы введём понятие «остатка ряда».
Определение: |
Пусть дан сходящийся ряд. Рассмотрим Так как ряд сходящийся, у частичных сумм есть предел . Зафиксируем в равенстве и устремим к бесконечности. Тогда в пределе,Тогда остатком ряда называют . . | .
По определению остатка ряда, .
Утверждение: |
При . , |
Теорема (Лейбниц): |
1. Любой ряд Лейбница сходится.
2. Для остатка такого ряда справедлива оценка . |
Доказательство: |
1. Рассмотрим суммы с чётными номерами. В силу определения ряда Лейбница,
По условию теоремы каждая скобка неотрицательна, значит, возрастает.Рассмотрим Каждая скобка неотрицательна убывает.. Тогда ограничена сверху. Тогда по теореме Вейерштрасса, сходится. Но так как и , то . Значит, по принципу сжатой переменной, обе эти подпоследовательности стремятся к одному и тому же числу. Значит, вся последовательность стремится к . То есть, ряд Лейбница всегда сходится. 2. Теперь установим неравенство для остатков на примере чётного остатка. Случай нечётного рассматривается аналогично. , т.е ряд Лейбница.
Значит, . Для нечётного аналогично. |
Теорема Абеля-Дирихле
Теперь установим признак сходимости более общего плана, чем только что установленная теорема Лейбница. Более того, из этого признака теорема Лейбница вытекает как частный случай, но это не умаляет её значения, ибо помимо сходимости эта теорема позволяет оценить остаток.
Теорема (Абель-Дирихле): |
Пусть , убывает и . Тогда сходится. |
Доказательство: |
По критерию Коши нужно установить, что .Для этого применим приём, имеющий важное значение в анализе в целом — преобразование Абеля. , .
|
Рассмотрим действие этой теоремы на примере ряда
. За возьмём . Она убывает, положительна и стремтся к нулю.Докажем ограниченность
. Домножим на. Это, очевидно, ограничено.