Работайте, работайте – а понимание придёт потом Ж.Л. Даламбер
Всех поздравляю с началом учебного года! Сегодня 1 сентября, и я решил в честь праздника познакомить читателей с тем, что вы давно с нетерпением ждали и жаждали узнать – признаками сходимости числовых положительных рядов. Праздник Первое сентября и мои поздравления всегда актуальны, ничего страшного, если на самом деле за окном лето, вы же сейчас в третий раз пересдаете экзамен учитесь, если зашли на эту страничку!
Для тех, кто только начинает изучать ряды, рекомендую для начала ознакомиться со статьей Числовые ряды для чайников. Собственно, данная телега является продолжением банкета. Итак, сегодня на уроке мы рассмотрим примеры и решения по темам:
Одним из распространенных признаков сравнения, который встречается в практических примерах, является признак Даламбера. Признаки Коши встречаются реже, но тоже весьма популярны. Как всегда, постараюсь изложить материал просто, доступно и понятно. Тема не самая сложная, и все задания в известной степени трафаретны.
Признак сходимости Даламбера
Жан Лерон Даламбер – это знаменитый французский математик 18-го века. Вообще, Даламбер специализировался на дифференциальных уравнениях и на основании своих исследований занимался баллистикой, чтобы у Его Величества лучше летали пушечные ядра. Заодно и про числовые ряды не забыл, не зря потом шеренги наполеоновских войск так четко сходились и расходились.
Перед тем как сформулировать сам признак, рассмотрим важный вопрос: Когда нужно применять признак сходимости Даламбера?
Сначала начнем с повторения. Вспомним случаи, когда нужно применять самый ходовой предельный признак сравнения. Предельный признак сравнения применяется тогда, когда в общем члене ряда:
1) В знаменателе находится многочлен.
2) Многочлены находятся и в числителе и в знаменателе.
3) Один или оба многочлена могут быть под корнем.
4) Многочленов и корней, разумеется, может быть и больше.
Основные же предпосылки для применения признака Даламбера следующие:
1) В общий член ряда («начинку» ряда) входит какое-нибудь число в степени, например, , , и так далее. Причем, совершенно не важно, где эта штуковина располагается, в числителе или в знаменателе – важно, что она там присутствует.
2) В общий член ряда входит факториал. С факториалами мы скрестили шпаги ещё на уроке Числовая последовательность и её предел. Впрочем, не помешает снова раскинуть скатерть-самобранку:
…
…
! При использовании признака Даламбера нам как раз придется расписывать факториал подробно. Как и в предыдущем пункте, факториал может располагаться вверху или внизу дроби.
3) Если в общем члене ряда есть «цепочка множителей», например, . Этот случай встречается редко, но! При исследовании такого ряда часто допускают ошибку – см. Пример 6.
Вместе со степенями или (и) факториалами в начинке ряда часто встречаются многочлены, это не меняет дела – нужно использовать признак Даламбера.
Кроме того, в общем члене ряда может встретиться одновременно и степень и факториал; может встретиться два факториала, две степени, важно чтобы там находилось хоть что-то из рассмотренных пунктов – и это как раз предпосылка для использования признака Даламбера.
Признак Даламбера: Рассмотрим положительный числовой ряд . Если существует предел отношения последующего члена к предыдущему: , то:
а) При ряд сходится. В частности, ряд сходится при .
б) При ряд расходится. В частности, ряд расходится при .
в) При признак не дает ответа. Нужно использовать другой признак. Чаще всего единица получается в том случае, когда признак Даламбера пытаются применить там, где нужно использовать предельный признак сравнения.
У кого до сих пор проблемы с пределами или недопонимание пределов, обратитесь к уроку Пределы. Примеры решений. Без понимания предела и умения раскрывать неопределенность дальше, к сожалению, не продвинуться.
А сейчас долгожданные примеры.
Пример 1
Исследовать ряд на сходимость
Мы видим, что в общем члене ряда у нас есть , а это верная предпосылка того, что нужно использовать признак Даламбера. Сначала полное решение и образец оформления, комментарии ниже.
Используем признак Даламбера:
Таким образом, исследуемый ряд сходится.
(1) Составляем отношение следующего члена ряда к предыдущему: . Из условия мы видим, что общий член ряда . Для того, чтобы получить следующий член ряда нужно ВМЕСТО подставить : .
(2) Избавляемся от четырехэтажности дроби. При определенном опыте решения этот шаг можно пропускать.
(3) В числителе раскрываем скобки. В знаменателе выносим четверку из степени.
(4) Сокращаем на . Константу выносим за знак предела. В числителе в скобках приводим подобные слагаемые.
(5) Неопределенность устраняется стандартным способом – делением числителя и знаменателя на «эн» в старшей степени.
(6) Почленно делим числители на знаменатели, и указываем слагаемые, которые стремятся к нулю.
(7) Упрощаем ответ и делаем пометку, что с выводом о том, что, по признаку Даламбера исследуемый ряд сходится.
В рассмотренном примере в общем члене ряда у нас встретился многочлен 2-й степени. Что делать, если там многочлен 3-й, 4-й или более высокой степени? Дело в том, что если дан многочлен более высокой степени, то возникнут трудности с раскрытием скобок. В этом случае можно применять «турбо»-метод решения.
Пример 2
Возьмём похожий ряд и исследуем его на сходимость
Сначала полное решение, потом комментарии:
Используем признак Даламбера:
Таким образом, исследуемый ряд сходится.
(1) Составляем отношение .
(2) Избавляемся от четырехэтажности дроби.
(3) Рассмотрим выражение в числителе и выражение в знаменателе. Мы видим, что в числителе нужно раскрывать скобки и возводить в четвертую степень: , чего делать совершенно не хочется. А для тех, кто не знаком с биномом Ньютона, эта задача окажется ещё сложнее. Проанализируем старшие степени: если мы вверху раскроем скобки , то получим старшую степень . Внизу у нас такая же старшая степень: . По аналогии с предыдущим примером, очевидно, что при почленном делении числителя и знаменателя на у нас в пределе получится единица. Или, как говорят математики, многочлены и – одного порядка роста. Таким образом, вполне можно обвести отношение простым карандашом и сразу указать, что эта штука стремится к единице. Аналогично расправляемся со второй парой многочленов: и , они тоже одного порядка роста, и их отношение стремится к единице.
На самом деле, такую «халтуру» можно было провернуть и в Примере № 1, но для многочлена 2-й степени такое решение смотрится всё-таки как-то несолидно. Лично я поступаю так: если есть многочлен (или многочлены) первой или второй степени, я использую «длинный» способ решения Примера 1. Если попадается многочлен 3-й и более высоких степеней, я использую «турбо»-метод по образцу Примера 2.
Пример 3
Исследовать ряд на сходимость
Полное решение и образец оформления в конце урока
Рассмотрим типовые примеры с факториалами:
Пример 4
Исследовать ряд на сходимость
В общий член ряда входит и степень, и факториал. Ясно, как день, что здесь надо использовать признак Даламбера. Решаем.
Таким образом, исследуемый ряд расходится.
(1) Составляем отношение . Повторяем еще раз. По условию общий член ряда: . Для того чтобы получить следующий член ряда, вместо нужно подставить , таким образом: .
(2) Избавляемся от четырехэтажности дроби.
(3) Отщипываем семерку от степени. Факториалы расписываем подробно. Как это сделать – см. начало урока или статью о числовых последовательностях.
(4) Сокращаем всё, что можно сократить.
(5) Константу выносим за знак предела. В числителе раскрываем скобки.
(6) Неопределенность устраняем стандартным способом – делением числителя и знаменателя на «эн» в старшей степени.
Пример 5
Исследовать ряд на сходимость
Полное решение и образец оформления в конце урока
Пример 6
Исследовать ряд на сходимость
Иногда встречаются ряды, которые в своей начинке содержат «цепь» множителей, этот тип ряда мы еще не рассматривали. Как исследовать ряд с «цепочкой» множителей? Использовать признак Даламбера. Но сначала для понимания происходящего распишем ряд подробно:
Из разложения мы видим, что у каждого следующего члена ряда добавляется дополнительный множитель в знаменателе, поэтому, если общий член ряда , то следующий член ряда:
. Вот здесь часто автоматом допускают ошибку, формально по алгоритму записывая, что
Примерный образец решения может выглядеть так:
Используем признак Даламбера:
Таким образом, исследуемый ряд сходится.
Радикальный признак Коши
Огюстен Луи Коши – еще более знаменитый французский математик. Биографию Коши вам может рассказать любой студент технической специальности. В самых живописных красках. Не случайно эта фамилия высечена на первом этаже Эйфелевой башни.
Признак сходимости Коши для положительных числовых рядов чем-то похож на только что рассмотренный признак Даламбера.
Радикальный признак Коши: Рассмотрим положительный числовой ряд . Если существует предел: , то:
а) При ряд сходится. В частности, ряд сходится при .
б) При ряд расходится. В частности, ряд расходится при .
в) При признак не дает ответа. Нужно использовать другой признак. Интересно отметить, что если признак Коши не даёт нам ответа на вопрос о сходимости ряда, то признак Даламбера тоже не даст ответа. Но если признак Даламбера не даёт ответа, то признак Коши вполне может «сработать». То есть, признак Коши является в этом смысле более сильным признаком.
Когда нужно использовать радикальный признак Коши? Радикальный признак Коши обычно использует в тех случаях, когда корень «хорошо» извлекается из общего члена ряда. Как правило, этот перец находится в степени, которая зависит от . Есть еще экзотические случаи, но ими голову забивать не будем.
Пример 7
Исследовать ряд на сходимость
Мы видим, что дробь полностью находится под степенью, зависящей от «эн», а значит, нужно использовать радикальный признак Коши:
Таким образом, исследуемый ряд расходится.
(1) Оформляем общий член ряда под корень.
(2) Переписываем то же самое, только уже без корня, используя свойство степеней .
(3) В показателе почленно делим числитель на знаменатель, указывая, что
(4) В результате у нас получилась неопределенность . Здесь можно было пойти длинным путем: возвести в куб, возвести в куб, потом разделить числитель и знаменатель на «эн» в кубе. Но в данном случае есть более эффективное решение: этот приём можно использовать прямо под степенью-константой. Для устранения неопределенности делим числитель и знаменатель на (старшую степень многочленов).
(5) Выполняем почленное деление, и указываем слагаемые, которые стремятся к нулю.
(6) Доводим ответ до ума, помечаем, что и делаем вывод о том, что ряд расходится.
А вот более простой пример для самостоятельного решения:
Пример 8
Исследовать ряд на сходимость
И еще пара типовых примеров.
Полное решение и образец оформления в конце урока
Пример 9
Исследовать ряд на сходимость
Используем радикальный признак Коши:
Таким образом, исследуемый ряд сходится.
(1) Помещаем общий член ряда под корень.
(2) Переписываем то же самое, но уже без корня, при этом раскрываем скобки, используя формулу сокращенного умножения: .
(3) В показателе почленно делим числитель на знаменатель и указываем, что .
(4) Получена неопределенность вида , и здесь тоже можно выполнять деление прямо под степенью. Но с одним условием: коэффициенты при старших степенях многочленов должны быть разными. У нас они разные (5 и 6), и поэтому можно (и нужно) разделить оба этажа на . Если же эти коэффициенты одинаковы, например (1 и 1): , то такой фокус не проходит и нужно использовать второй замечательный предел. Если помните, эти тонкости рассматривались в последнем параграфе статьи Методы решения пределов.
(5) Собственно выполняем почленное деление и указываем, какие слагаемые у нас стремятся к нулю.
(6) Неопределенность устранена, у нас остался простейший предел: . Почему в бесконечно большой степени стремится к нулю? Потому что основание степени удовлетворяет неравенству . Если у кого есть сомнения в справедливости предела , то я не поленюсь, возьму в руки калькулятор:
Если , то
Если , то
Если , то
Если , то
Если , то
… и т.д. до бесконечности – то есть, в пределе:
Прямо таки бесконечно убывающая геометрическая прогрессия на пальцах =) ! Никогда не используйте этот приём в качестве доказательства! Ибо если что-то очевидно, то это ещё не значит, что это правильно.
(7) Указываем, что и делаем вывод о том, что ряд сходится.
Пример 10
Исследовать ряд на сходимость
Это пример для самостоятельного решения.
Иногда для решения предлагается провокационный пример, например: . Здесь в показателе степени нет «эн», только константа. Тут нужно возвести в квадрат числитель и знаменатель (получатся многочлены), а далее придерживаться алгоритма из статьи Ряды для чайников. В подобном примере сработать должен либо необходимый признак сходимости ряда либо предельный признак сравнения.
Интегральный признак Коши
Или просто интегральный признак. Разочарую тех, кто плохо усвоил материал первого курса. Для того чтобы применять интегральный признак Коши необходимо более или менее уверенно уметь находить производные, интегралы, а также иметь навык вычисления несобственного интеграла первого рода.
В учебниках по математическому анализу интегральный признак Коши дан математически строго, но слишком уж поморочено, поэтому я сформулирую признак не слишком строго, но понятно:
Рассмотрим положительный числовой ряд . Если существует несобственный интеграл , то ряд сходится или расходится вместе с этим интегралом.
И сразу примеры для пояснения:
Пример 11
Исследовать ряд на сходимость
Почти классика. Натуральный логарифм и какая-нибудь бяка.
Основной предпосылкой использования интегрального признака Коши является тот факт, что в общем члене ряда содержатся множители, похожие на некоторую функцию и её производную. Из темы Производная вы наверняка запомнили простейшую табличную вещь: , и у нас как раз такой каноничный случай.
Как использовать интегральный признак? Сначала берем значок интеграла и переписываем со «счётчика» ряда верхний и нижний пределы: . Затем под интегралом переписываем «начинку» ряда с буковкой «хэ»: . Чего-то не хватает…, ах, да, еще в числителе нужно прилепить значок дифференциала: .
Теперь нужно вычислить несобственный интеграл . При этом возможно два случая:
1) Если выяснится, что интеграл сходится, то будет сходиться и наш ряд .
2) Если выяснится, что интеграл расходится, то наш ряд тоже будет расходиться.
Повторюсь, если материал запущен, то чтение параграфа будет трудным и малопонятным, поскольку применение признака по сути дела сводится к вычислению несобственного интеграла первого рода.
Полное решение и оформление примера должно выглядеть примерно так:
Используем интегральный признак:
Подынтегральная функция непрерывна на
Таким образом, исследуемый ряд расходится вместе с соответствующим несобственным интегралом.
Пример 12
Исследовать ряд на сходимость
Решение и образец оформления в конце урока
В рассмотренных примерах логарифм также мог находиться под корнем, это не изменило бы способа решения.
И еще два примера на закуску
Пример 13
Исследовать ряд на сходимость
По общим «параметрам» общий член ряда подходит для использования предельного признака сравнения. Нужно всего лишь раскрыть скобки и сразу сдать на кандидата предельно сравнить данный ряд со сходящимся рядом . Впрочем, я немного слукавил, скобки можно и не раскрывать, но всё равно решение через предельный признак будет выглядеть несколько вычурно.
Поэтому мы используем интегральный признак Коши:
Подынтегральная функция непрерывна на
Получено конечное число, значит, исследуемый ряд сходится вместе с соответствующим несобственным интегралом.
! Примечание: полученное число – не являетсясуммой ряда!!!
Пример 14
Исследовать ряд на сходимость
Решение и образец оформления в конце урока, который подходит к концу.
Да. Возможно, у некоторых возник вопрос, почему я начал этот урок с таким энтузиазмом? Всё просто – начался учебный год, а мне не нужно на учебу!!! Я столько мучался =( Что даже не устал в заключительных аккордах этой статьи.
Примечание: Можно было использовать и «турбо»-метод решения: сразу обвести карандашом отношение , указать, что оно стремится к единице и сделать пометку: «одного порядка роста».
Пример 5: Используем признак Даламбера:
Таким образом, исследуемый ряд сходится.
Пример 8:Используем радикальный признак Коши:
Таким образом, исследуемый ряд сходится.
Пример 10:Используем радикальный признак Коши:
Таким образом, исследуемый ряд расходится. Примечание: Здесь основание степени , поэтому
Пример 12:Используем интегральный признак:. Подынтегральная функция непрерывна на .
Получено конечное число, значит, исследуемый ряд сходится вместе с соответствующим несобственным интегралом.
Пример 14: Используем интегральный признак: Подынтегральная функция непрерывна на .
Таким образом, исследуемый ряд расходится вместе с соответствующим несобственным интегралом.
Примечание: Ряд также можно исследовать с помощью предельного признака сравнения. Для этого удобно раскрыть скобки под корнем и сравнить исследуемый ряд с расходящимся рядом .