Пример 8

Исследовать ряд на сходимость

Используем признак Лейбница:
1) Ряд является знакочередующимся.

2)

Дело в том, что не существует стандартных обыденных приемов для решения подобных пределов. Куда стремится такой предел? К нулю, к бесконечности? Здесь важно, ЧТО на бесконечности растёт быстрее – числитель или знаменатель. Если числитель при растёт быстрее факториала, то . Если, на бесконечности факториал растёт быстрее числителя, то он, наоборот – «утянет» предел на ноль: . А может быть этот предел равен какому-нибудь отличному от нуля числу?

Попробуем записать несколько первых членов ряда:

Создается стойкое впечатление, что , но где гарантия, что при очень больших «эн» факториал не «обгонит» числитель и не утащит предел на ноль?

Обратимся к теории математического анализа, там давно всё доказано.

Справка

– Факториал растёт быстрее, чем любая показательная последовательность, иными словами: или . Да хоть миллион в степени «эн», это не меняет дела. Математики говорят, что факториал более высокого порядка роста, чем любая показательная последовательность.

– Факториал растёт быстрее, чем любая степенная последовательность или многочлен, иными словами: или . Вместо можно подставить какой-нибудь многочлен тысячной степени, это опять же не изменит ситуацию – рано или поздно факториал всё равно «перегонит» и такой страшный многочлен. Факториал более высокого порядка роста, чем любая степенная последовательность.

– Факториал растёт быстрее, чем произведение любого количества показательных и степенных последовательностей (наш случай).

– Любая показательная последовательность растёт быстрее, чем любая степенная последовательность, например: , . Показательная последовательность более высокого порядка роста, чем любая степенная последовательность. Аналогично факториалу, показательная последовательность «перетягивает» произведение любого количества любых степенных последовательностей или многочленов:

Конец справки

Таким образом, второй пункт исследования (вы еще об этом помните? =)) можно записать так:
2) , так как более высокого порядка роста, чем .
Члены ряда убывают по модулю.

Вывод: ряд сходится.

Исследуем ряд на абсолютную сходимость:

А здесь уже работает старый добрый признак Даламбера:

Используем признак Даламбера:

Таким образом, ряд сходится.

Исследуемый ряд сходится абсолютно.

Разобранный пример можно решить другим способом.

Теорема: Если ряд сходится абсолютно, то он сходится и условно.

Наверное, вы уже заметили, что обратное неверно: если ряд сходится условно, то это еще не значит, что он сходится абсолютно.

Пример 8 «на бис» вторым способом.

Исследовать ряд на сходимость

Решение: Исследуем ряд на абсолютную сходимость:

Используем признак Даламбера:
…
только что печатал
…
Таким образом, ряд сходится.
По соответствующей теореме из абсолютной сходимости ряда следует и условная сходимость ряда.

Вывод: Исследуемый ряд сходится абсолютно.

Правда, при втором способе решения есть риск, что преподаватель оценит хитро… смекалку студента и забракует задание. А может и не забракует.

И напоследок пара примеров для самостоятельного решения. Один из той же оперы (перечитайте справку), но попроще. Другой для гурманов – на закрепление интегрального признака сходимости.