Знакоположительные ряды
Лекция 11 Знакоположительные ряды.
Числовой ряд называется знакоположительным, если все его члены – положительные (неотрицательные) числа.
Основная и довольно приятная особенность знакоположительных рядов в том, что частичные суммы ряда представляют собой неубывающую последовательность.
Поэтому достаточно проверить, что последовательность частичных сумм ограничена сверху, чтобы по теореме Вейерштрасса утверждать, что последовательность частичных сумм имеет конечный предел, т.е. ряд сходится.
На этом основаны, практически, все признаки сходимости рядов.
Ряд может сравниваться с несобственным интегралом (интегральный признак Коши), с другими рядами (признаки сравнения рядов), в частности, со сходящейся геометрической прогрессией (признак Даламбера, радикальный признак Коши).
Рекомендуемые материалы
Каждый признак можно сравнить с увеличительным стеклом. У каждого признака есть своя область применения, более широкая или более узкая (как поле зрения линзы) и своя сила. Одни признаки сильнее, позволяют различать слабо сходящиеся или слабо расходящиеся ряды, но имеют узкую область применения (например, интегральный признак Коши). Другие, наоборот, имеют широкую область применения, но довольно слабы, ряды, близкие к границе сходимости, с их помощью не различишь (например, признаки Даламбера и Коши (радикальный)).
Пока в библиотеке рядов, которые мы можем использовать для сравнения, всего два ряда: сходящийся ряд - бесконечно убывающая геометрическая прогрессия, известная еще из школы, и расходящийся гармонический ряд, полученный по критерию Коши.
Заметим, что критерий Коши (как критерий сходимости), вообще, самый сильный инструмент при исследовании сходимости ряда, но его область применимости узка.
Интегральный признак Коши, основанный на сравнении с несобственным интегралом – очень сильный признак. В самом деле, если аппроксимировать непрерывную подинтегральную функцию кусочно-постоянной, то площадь под графиком функции (интеграл) и площадь под графиком кусочно-постоянной функции будут различаться на конечное число.
Интегральный признак Коши.
Пусть при определена непрерывная, не возрастающая функция f(x), такая, что . Тогда ряд сходится тогда и только тогда, когда сходится несобственный интеграл . |
Доказательство. - это площадь под графиком функции при .
Так как (сумма площадей прямоугольников) ограничивает площадь под графиком функции снизу, а ограничивает ее сверху, то .
. Достаточность. Если интеграл сходится, то , поэтому последовательность ограничена сверху. Так как эта последовательность не убывает, то по теореме Вейерштрасса . Поэтому ряд сходится.
Необходимость. Если ряд сходится, то , а по необходимому признаку сходимости ряда при . Поэтому последовательность (неубывающая, так как ) ограничена сверху. Следовательно, по теореме Вейерштрасса , т.е. несобственный интеграл сходится.
Если ряд расходится, то и интеграл расходится и наоборот. Это легко доказывается от противного.
Поэтому говорят, что несобственный интеграл и ряд сходятся или расходятся «одновременно» , т.е. один из них сходится, то и другой сходится, если один расходится, то и другой расходится. Это понятие часто употребляют при сравнении рядов.
Пример. Применим интегральный признак к гармоническому ряду.
- интеграл расходится, поэтому и гармонический ряд расходится.
Пример. Рассмотрим «ряды Дирихле» . Название взято в кавычки, так неизвестно, рассматривал ли эти ряды Дирихле, но оно устоялось за долгие годы.
. Ясно, что интеграл сходится при p>1 и расходится при P<1. Случай p=1 рассмотрен выше (расходящийся гармонический ряд). Отсюда следует вывод
.
Интересно, что ряд , интегралы расходятся (проверьте по интегральному признаку).
Теперь становится яснее, где пролегает граница между сходящимися и расходящимися рядами. Заодно накоплена библиотека сходящихся и расходящихся рядов, которые можно использовать как эталонные при сравнении рядов. Сравнивать ряды можно с помощью признаков сравнения.
Признаки сравнения рядов.
Первый признак сравнения рядов.
Пусть выполнено неравенство . Тогда из сходимости ряда следует сходимость ряда , а из расходимости ряда следует расходимость ряда .
Замечание. В силу свойства сходящихся рядов, конечное число членов ряда не влияет на сходимость и неравенство можно проверять «начиная с некоторого n ». Поэтому эту фразу часто можно встретить в теоремах о рядах. Иногда ее просто опускают, но ее всегда надо иметь в виду.
Доказательство. 1) Пусть ряд сходится. Тогда выполнено неравенство . Поэтому последовательность частичных сумм ограничена сверху числом . Но эта последовательность не убывает. Следовательно, по теореме Вейерштрасса . Последнее неравенство справедливо в силу теоремы о предельном переходе в неравенстве.
2) Пусть ряд расходится. Если ряд сходится, то по п.1 доказательства и ряд сходится. Противоречие. Следовательно, ряд расходится.
Пример. Ряд расходится, так как , а ряд (гармонический) расходится.
Второй признак сравнения.
Пусть . Тогда ряды и сходятся или расходятся «одновременно», т.е. один из них сходится, то и другой сходится, если один расходится, то и другой расходится.
Доказательство. Раскроем определение предела. .
.
Если ряд сходится, то по 1 признаку сравнения ряд сходится (, ряд сходится (свойство сходящихся рядов).
Если ряд сходится, то ряд сходится (свойство сходящихся рядов), тогда по 1 признаку сравнения ряд сходится.
Пусть ряд расходится. Если ряд сходится, то по предыдущему ряд сходится (противоречие).
Пусть ряд расходится. Если ряд сходится, то по предыдущему ряд сходится (противоречие).
Пример. Ряд с расходится по второму признаку сравнения (ряд сравнения – гармонический ряд).
Ряд сходится. - ограничена. Ряд сравнения - сходящийся ряд Дирихле.
Признак Даламбера.
Конечная форма признака Даламбера.
Пусть , тогда ряд сходится.
Пусть , тогда ряд расходится.
Доказательство. Пусть .
Тогда .
, и ряд сходится. Можно было, не оценивая частичную сумму ряда, заключить, что ряд сходится по первому признаку сравнения с бесконечно убывающей геометрической прогрессией.
Пусть , Тогда . Поэтому не стремится к нулю при , необходимый признак сходимости ряда не выполнен, ряд расходится.
Предельная форма признака Даламбера.
Пусть , тогда ряд сходится. Пусть , тогда ряд расходится. Если , то признак не позволяет сделать вывод о сходимости или расходимости ряда.
Доказательство. Пусть . Тогда .
При малом . По конечной форме признака Даламбера ряд сходится.
Пусть . Тогда . При малом , то есть . Поэтому не стремится к нулю при , необходимый признак сходимости ряда не выполнен, ряд расходится.
Замечание. Признак Даламбера удобно применять, когда общий член ряда содержит произведение некоторых чисел или факториал.
Правда, если общий член ряда содержит факториал, то его можно заменить по формуле Стирлинга и применять второй признак сравнения.
Пример. .
. Ряд сходится по признаку Даламбера.
Пример. . Рассмотрим , так как последовательность , монотонно возрастая, стремится к при , то
. Следовательно, . Поэтому не стремится к нулю при , необходимый признак сходимости ряда не выполнен, ряд расходится.
Заметим, что . Поэтому признак Даламбера в предельной форме не дает ответ о сходимости или расходимости ряда, хотя признак в конечной форме позволяет установить расходимость ряда.
Радикальный признак Коши.
Конечная форма радикального признака Коши.
Пусть , тогда ряд сходится.
Пусть , тогда ряд расходится.
Доказательство. Пусть . Тогда , рядсходится по первому признаку сравнения с бесконечно убывающей геометрической прогрессией.
Пусть . Тогда , ряд расходится, так как необходимый признак сходимости ряда не выполнен.
Предельная форма радикального признака Коши.
Пусть , тогда ряд сходится.
Пусть , тогда ряд расходится.
Доказательство. Пусть , тогда .
при малом . Ряд сходится по конечной форме радикального признака Коши.
Пусть , тогда . при малом . Тогда , ряд расходится, так как необходимый признак сходимости ряда не выполнен.
Пример.
, ряд сходится по радикальному признаку Коши в предельной форме.
Замечание. У каждого признака сходимости есть своя «зона нечувствительности». Ни признак Даламбера, ни радикальный признак Коши не позволяют установить расходимость гармонического ряда. Проверьте это. Гармонический ряд расходится, но расходится так слабо, что попадает в «зону нечувствительности» указанных признаков. Интегральный признак Коши имеет меньшую «зону нечувствительности» и позволяет установить расходимость гармонического ряда.
Теорема Дирихле о возможности перестановки местами членов ряда в сходящихся знакоположительных рядах.
Вместе с этой лекцией читают "Синьхайская революция 1911-1912 и ее значение".
Пусть - сходящийся знакоположительный ряд. Тогда его члены можно переставлять, менять местами, полученный ряд будет сходиться и иметь ту же сумму.
Доказательство. Проведем доказательство по индукции.
Пусть меняются местами два члена ряда . Тогда в исходном и полученном перестановкой членов ряде частичные суммы, начиная с будут совпадать. Следовательно, ряд, полученный перестановкой двух членов ряда, , будет сходиться и иметь ту же сумму.
Пусть при перестановке местами членов ряда ряд сходится и имеет ту же сумму.
Пусть переставляются членов ряда. Эта перестановка сводится к перестановке членов ряда, а затем к перестановке еще какого-либо члена с каким-либо другим (перестановке двух членов ряда).
По индуктивному предположению при перестановке местами членов ряда ряд сходится и имеет ту же сумму. Ряд, полученный перестановкой двух членов ряда, будет сходиться и иметь ту же сумму. Следовательно, и при перестановке членов ряда ряд будет сходиться и иметь ту же сумму.