Разбор примеров

Пример 1 (лёгкий). Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{2^n}{n!}$.

Ответ: ряд сходится, причём быстро — факториал в знаменателе растёт настолько стремительнее показательной функции в числителе, что отношение соседних членов стремится к нулю.

Пример 2 (средний). Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n!}{(2n)!}$, используя признак Даламбера.

Раскрываем знаменатель по главному члену при $n\to\infty$: $(2n+1)(2n+2)\sim4n^2$, а числитель $\sim n$, значит всё отношение ведёт себя как $\dfrac{n}{4n^2}=\dfrac1{4n}\to0$.

Ответ: ряд сходится.

Пример 3 (сложный, машинное обучение). В анализе сходимости одного класса итерационных численных методов (например, градиентного спуска с определённым расписанием шага) вклад ошибки на $n$-м шаге в суммарную накопленную ошибку моделируется общим членом $a_n=\dfrac{n^n}{n!\,3^n}$. Определить, сходится ли ряд $\sum a_n$ (то есть остаётся ли суммарная накопленная ошибка конечной), используя признак Даламбера. Понадобится второй замечательный предел: $\lim_{n\to\infty}\left(1+\frac1n\right)^n=e$.

Упрощаем по частям: $\dfrac{n!}{(n+1)!}=\dfrac1{n+1}$, а $\dfrac{3^n}{3^{n+1}}=\dfrac13$. Значит

По второму замечательному пределу $\left(1+\frac1n\right)^n\to e$, значит

Ответ: $L=\dfrac e3<1$, ряд сходится — то есть накопленная ошибка такого итерационного процесса остаётся конечной, хотя убывает довольно медленно (отношение соседних членов близко к единице, значит хвост ряда «тает» не очень быстро). Обрати внимание на структуру этого примера: величина $\left(1+\frac1n\right)^n\to e$ регулярно всплывает именно там, где сравниваются $n^n$ и $n!$ — эта комбинация типична для анализа сходимости факториальных и «степенно-факториальных» выражений, которые в машинном обучении встречаются при анализе количества возможных конфигураций модели и при оценке членов ряда Тейлора для функции softmax и логарифма правдоподобия.

Почему это важно

Признак Даламбера — это, пожалуй, самый «вычислительно дружелюбный» из всех признаков: он не требует придумывать эталон для сравнения, только посчитать один предел отношения соседних членов. Но за этим утилитарным удобством стоит куда более глубокая идея, которая выходит далеко за пределы числовых рядов. Ровно та же логика — отношение последовательных величин, взятое в пределе, — лежит в основе анализа сходимости итерационных численных методов: если отношение последовательных ошибок $\dfrac{\|e_{n+1}\|}{\|e_n\|}$ (или норм поправок на шаге оптимизации) ограничено числом строго меньше единицы, метод сходится линейно, и чем меньше это отношение, тем быстрее. Та же самая конструкция используется при анализе того, как быстро затухают коэффициенты в разложениях функций в степенные ряды (что напрямую связано с радиусом сходимости, который ты изучишь чуть позже в курсе), и при оценке скорости убывания весов в некоторых схемах регуляризации нейронных сетей, где вес каждого следующего слоя или компоненты штрафуется пропорционально отношению к предыдущему. Освоив признак Даламбера на числовых рядах, ты, по сути, уже понимаешь главный принцип анализа сходимости линейных итерационных процессов в численных методах.

Радикальный признак Коши: корень n-й степени из общего члена

Интуиция: если сам общий член «в среднем геометрическом смысле» меньше единицы — ряд сходится

Представь, что тебе нужно быстро прикинуть, насколько большой будет $n$-е слагаемое ряда при огромных $n$, не вдаваясь в его точную структуру. Один из способов это сделать — извлечь из него корень $n$-й степени: если $a_n\approx c^n$ для какой-то константы $c$, то $\sqrt[n]{a_n}\approx c$, и вся «показательная» природа роста или убывания слагаемого сразу становится видна в одном числе. Радикальный признак Коши именно этим и пользуется: он оценивает, к какой «эффективной геометрической прогрессии» приближается ряд, беря корень $n$-й степени напрямую из общего члена.

Радикальный признак Коши. Пусть $a_n\ge0$ для всех $n$, начиная с некоторого номера, и существует предел

$$\lim_{n\to\infty}\sqrt[n]{a_n}=L$$

Тогда: если $L<1$, ряд $\sum a_n$ сходится; если $L>1$ (в том числе $L=+\infty$), ряд расходится; если $L=1$, признак не даёт ответа.

Доказательство почти дословно повторяет логику признака Даламбера. Если $L<1$, возьмём $q$ строго между $L$ и $1$; начиная с некоторого номера $N$, выполняется $\sqrt[n]{a_n}1$ означает, что $a_n$ не стремится к нулю (при больших $n$ выполняется $a_n>q^n$ для некоторого $q>1$, а значит $a_n\to\infty$), и ряд расходится по необходимому признаку.

Радикальный признак Коши формально сильнее признака Даламбера: можно строго доказать, что везде, где применим и даёт ответ признак Даламбера, применим и радикальный признак Коши (и даёт тот же ответ), но обратное неверно — существуют ряды, где предел отношения $\frac{a_{n+1}}{a_n}$ вообще не существует (скачет туда-сюда), а предел $\sqrt[n]{a_n}$ при этом существует и прекрасно определяет сходимость. На практике, впрочем, для подавляющего большинства рядов, встречающихся в учебных и прикладных задачах, оба признака дают одинаковый ответ — и признак Даламбера часто оказывается технически проще там, где в общем члене есть факториалы, а признак Коши — там, где есть степени вида (что-то)$^n$.

Разбор примеров

Пример 1 (лёгкий). Исследовать сходимость ряда $\sum_{n=1}^\infty \left(\frac{n}{2n+1}\right)^n$.

Ответ: ряд сходится. Обрати внимание, насколько проще здесь оказался именно радикальный признак: возведение в степень $n$ «встроено» прямо в общий член, и корень $n$-й степени просто снимает эту степень, оставляя элементарный предел.

Пример 2 (средний). Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{3^n}{n^2}$, используя радикальный признак Коши. Понадобится факт $\lim_{n\to\infty}\sqrt[n]{n}=1$.

Так как $\sqrt[n]{n}\to1$, то и $\left(\sqrt[n]{n}\right)^2\to1^2=1$, значит

Ответ: $L=3>1$, ряд расходится. Это согласуется со здравым смыслом: показательная функция $3^n$ растёт значительно быстрее любой степенной функции $n^2$, поэтому общий член не стремится к нулю, а сам ряд обязан расходиться.

Пример 3 (сложный, машинное обучение). При анализе сходимости некоторых итерационных схем возникает ряд с «переменной степенью», общий член которого равен $a_n=\left(\dfrac{2n+\cos n}{4n+1}\right)^n$ (переменная $\cos n$ моделирует небольшую ограниченную флуктуацию — например, шум в оценке градиента на $n$-м шаге стохастического метода). Заметь, что здесь признак Даламбера практически бесполезен — отношение $\frac{a_{n+1}}{a_n}$ из-за $\cos n$ не имеет предела в замкнутом виде, а вот радикальный признак справляется без труда. Определить сходимость.

Разделим числитель и знаменатель на $n$:

Так как $|\cos n|\le1$, слагаемое $\frac{\cos n}n$ зажато между $-\frac1n$ и $\frac1n$, а значит по теореме о двух милиционерах стремится к нулю при $n\to\infty$, независимо от того, что $\cos n$ сам по себе предела не имеет и постоянно колеблется. Аналогично $\frac1n\to0$. Значит

Ответ: ряд сходится, $L=\frac12$. Этот пример специально показывает главное практическое преимущество радикального признака: он терпим к ограниченным флуктуациям внутри общего члена, которые полностью «убивают» существование предела в признаке Даламбера, но никак не мешают вычислению $\sqrt[n]{a_n}$, потому что «шумовая» добавка при делении на $n$ гарантированно уходит в ноль.

Почему это важно

Радикальный признак Коши даёт наиболее прямой способ оценить «эффективный показательный темп» роста или убывания общего члена — и именно поэтому он лежит в основе понятия радиуса сходимости степенного ряда, с которым ты встретишься совсем скоро в курсе: формула Коши-Адамара для радиуса сходимости — это буквально применение этого признака к степенному ряду с параметром $x$. В более широком смысле идея «взять корень $n$-й степени, чтобы увидеть скрытую геометрическую природу роста» применяется всюду, где нужно понять асимптотическое поведение последовательности величин, растущих или убывающих по показательному закону — от анализа сложности рекурсивных алгоритмов (где размер задачи на каждом шаге домножается на константу) до оценки того, как быстро растёт число различных конфигураций в комбинаторных моделях машинного обучения.

Интегральный признак Коши-Маклорена: ряд как несобственный интеграл

Интуиция: сумма площадей прямоугольников против площади под кривой

Представь график убывающей положительной функции $f(x)$ и построй на нём прямоугольники высотой $f(n)$ на каждом единичном отрезке $[n,n+1]$ — вот тебе геометрическая картинка ряда $\sum f(n)$: сумма площадей этих прямоугольников. А теперь наложи на тот же график саму кривую $y=f(x)$ и посмотри на площадь под ней, то есть на несобственный интеграл $\int_1^{\infty} f(x)\,dx$, который ты изучал в одном из предыдущих уроков. Раз функция убывает, прямоугольник высотой $f(n)$, построенный на отрезке $[n,n+1]$, либо целиком лежит над кривой (если строить его от левого конца), либо целиком под ней (если строить его от правого конца) — то есть сумма площадей прямоугольников и площадь под кривой всегда идут «рука об руку», отличаясь не более чем на конечную поправку. Значит ряд и интеграл должны сходиться или расходиться одновременно — в этом вся суть интегрального признака.

Интегральный признак (Коши-Маклорена). Пусть функция $f(x)$ определена, непрерывна, положительна и монотонно убывает на луче $[N,+\infty)$ для некоторого натурального $N$, и $a_n=f(n)$ для всех $n\ge N$. Тогда ряд $\sum_{n=N}^\infty a_n$ сходится тогда и только тогда, когда сходится несобственный интеграл $\displaystyle\int_N^{\infty} f(x)\,dx$.

Доказательство: зажимаем ряд между двумя интегралами

Так как $f$ убывает на $[n,n+1]$, для любого $x$ из этого отрезка выполняется $f(n+1)\le f(x)\le f(n)$. Интегрируя это двойное неравенство по $x$ от $n$ до $n+1$ (используя монотонность интеграла, которую ты изучал раньше) и замечая, что длина отрезка интегрирования равна единице, получаем

Суммируя это неравенство по $n$ от $N$ до некоторого $M$, получаем зажатую с двух сторон частичную сумму:

Левая часть — это частичная сумма ряда, сдвинутая на один индекс, правая — обычная частичная сумма ряда $\sum a_n$. Значит, если интеграл $\int_N^{\infty}f(x)\,dx$ сходится (то есть ограничен при $M\to\infty$), то по левому неравенству ограничены и частичные суммы ряда — а неотрицательный ряд с ограниченными частичными суммами сходится. И наоборот: если ряд сходится, частичные суммы ограничены, значит по правому неравенству ограничен и интеграл, а неотрицательная под интегралом функция с ограниченным интегралом от возрастающего верхнего предела сходится. Вот и всё доказательство — оно целиком опирается на монотонность и оценку интеграла, изученные несколькими уроками раньше.

Доказательство эталонного ряда $\sum \frac1{n^p}$ через интегральный признак

Именно интегральный признак даёт строгое обоснование того самого эталонного факта про $\sum\frac1{n^p}$, которым ты уже пользовался в разделе про признак сравнения. Возьмём $f(x)=\frac1{x^p}$ — эта функция при $p>0$ положительна и убывает на $[1,\infty)$, значит интегральный признак применим.

При $p\ne1$ первообразная $\frac1{x^p}$ равна $\frac{x^{1-p}}{1-p}$, и

Если $p>1$, то показатель $1-p<0$, значит $b^{1-p}\to0$ при $b\to\infty$, и предел равен конечному числу $\dfrac{0-1}{1-p}=\dfrac1{p-1}$ — интеграл сходится. Если $p<1$, то показатель $1-p>0$, значит $b^{1-p}\to\infty$, и предел бесконечен — интеграл расходится. Отдельно нужно разобрать случай $p=1$: тогда $\int_1^b\frac1x\,dx = \ln b - \ln1 = \ln b \to\infty$ — тоже расходится.

По интегральному признаку сходимость ряда $\sum\frac1{n^p}$ в точности повторяет сходимость этого интеграла: сходится при $p>1$, расходится при $p\le1$. Вот и всё — эталонный факт, на который ты опирался в разделе про признак сравнения, теперь строго доказан, а не просто выдан как готовое правило.

Разбор примеров

Пример 1 (лёгкий). Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{n^2+1}$ интегральным признаком.

Функция $f(x)=\dfrac1{x^2+1}$ положительна и убывает на $[1,\infty)$ — признак применим.

Интеграл сходится к конечному числу $\frac\pi4$.

Ответ: ряд сходится (заметим, что этот же результат можно было получить быстрее через признак сравнения с $\sum\frac1{n^2}$ — но здесь мы намеренно используем интегральный признак для отработки техники).

Пример 2 (средний). Исследовать сходимость ряда $\sum_{n=2}^\infty \frac1{n\ln n}$ интегральным признаком (этот ряд невозможно исследовать признаками Даламбера или Коши — оба дадут $L=1$, попробуй убедиться в этом самостоятельно).

Функция $f(x)=\dfrac1{x\ln x}$ положительна и убывает на $[2,\infty)$. Используем замену $u=\ln x$, $du=\frac{dx}x$:

При $b\to\infty$ величина $\ln b\to\infty$, а значит и $\ln(\ln b)\to\infty$ — интеграл расходится.

Ответ: ряд расходится. Это важный пример «пограничного» ряда: слагаемые $\frac1{n\ln n}$ убывают быстрее, чем у гармонического ряда $\frac1n$, но недостаточно быстро для сходимости — деление ещё и на логарифм оказывается слишком слабой добавкой.

Пример 3 (сложный, машинное обучение). При анализе накопленной ошибки некоторых адаптивных алгоритмов оптимизации возникает сумма вида $\sum_{n=2}^{\infty}\frac1{n(\ln n)^2}$ (штраф или вклад ошибки на шаге $n$, убывающий обратно пропорционально $n$ и квадрату логарифма номера шага). Определить сходимость интегральным признаком и обобщить результат на произвольный показатель $p$ у логарифма.

Функция $f(x)=\dfrac1{x(\ln x)^2}$ положительна и убывает на $[2,\infty)$. Снова делаем замену $u=\ln x$:

Интеграл сходится к конечному числу.

Ответ: ряд сходится. В общем случае для ряда $\sum \frac1{n(\ln n)^p}$ точно такое же интегрирование заменой $u=\ln x$ сводит вопрос к сходимости $\int \frac{du}{u^p}$, которая тебе уже знакома из раздела про эталонный ряд: интеграл (а значит и исходный ряд) сходится при $p>1$ и расходится при $p\le1$ — в частности, при $p=1$ получаем как раз расходящийся ряд из предыдущего примера. Такая иерархия «логарифмических» рядов — важный практический ориентир: логарифм в знаменателе всегда даёт более слабую поправку, чем любая положительная степень $n$, но при этом свою степень логарифма нужно сравнивать с единицей отдельно, точно так же, как степень самого $n$ в обычном эталонном ряду.

Почему это важно

Интегральный признак — единственный из четырёх сегодняшних инструментов, который явно связывает дискретный объект (ряд, сумму по натуральным числам) с непрерывным (интеграл, площадь под кривой) — и эта связь работает в обе стороны. С одной стороны, он позволяет доказывать сходимость рядов через уже освоенную технику несобственных интегралов, включая случаи вроде $\sum\frac1{n\ln n}$, где признаки Даламбера и Коши бессильны (в обоих $L=1$, потому что логарифмическая поправка исчезающе слаба по сравнению со степенным ростом или геометрической прогрессией). С другой стороны, та же самая идея «зажать сумму между двумя интегралами» используется в численном анализе для оценки погрешности приближения суммы интегралом (и наоборот) — например, при выводе асимптотических формул вроде формулы Эйлера-Маклорена, которая оценивает разницу между суммой и интегралом с высокой точностью и находит применение в численном интегрировании и в анализе алгоритмов, где нужно оценить сумму значений функции по большому диапазону индексов, не вычисляя её напрямую.

Сравнение признаков: когда какой выбрать

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

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

Признак Даламбера почти всегда — лучший выбор, когда в общем члене присутствует факториал ($n!$) или произведение вида $1\cdot3\cdot5\cdots(2n-1)$, потому что при делении $a_{n+1}$ на $a_n$ факториалы сокращаются практически полностью, оставляя простое алгебраическое выражение. Он же удобен, когда есть показательная функция $c^n$ в чистом виде (без переменной степени вида «что-то в степени $n$»).

Радикальный признак Коши — лучший выбор, когда весь общий член уже возведён в степень $n$ целиком, то есть имеет вид $\bigl(g(n)\bigr)^n$: извлечение корня $n$-й степени тогда мгновенно снимает внешнюю степень, оставляя элементарный предел от $g(n)$. Он же выручает там, где признак Даламбера не работает из-за отсутствия предела у отношения соседних членов (как в примере с $\cos n$ выше), потому что $\sqrt[n]{a_n}$ гораздо устойчивее к ограниченным флуктуациям внутри общего члена.

Интегральный признак — инструмент последней инстанции для рядов, где общий член хорошо выражается через элементарную убывающую функцию, которую легко проинтегрировать (особенно когда в общем члене встречается логарифм). Именно он нужен для рядов вида $\sum\frac1{n(\ln n)^p}$ и подобных, где и Даламбер, и Коши упираются в неопределённый случай $L=1$.

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

Практика: 30 заданий

Базовые задания (1–10)

Задание 1: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{n^3+2}$ признаком сравнения.

Задание 2: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n}{3^n}$ признаком Даламбера.

Задание 3: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{n^{0{,}5}}$ признаком сравнения с эталонным рядом.

Задание 4: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{3^n}{n!}$ признаком Даламбера.

Задание 5: Исследовать сходимость ряда $\sum_{n=1}^\infty \left(\frac{3n+1}{5n}\right)^n$ радикальным признаком Коши.

Задание 6: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{(n+1)(n+2)}$ признаком сравнения (сравнить с $\sum\frac1{n^2}$).

Задание 7: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{2^n}{5^n}$ радикальным признаком Коши.

Задание 8: Исследовать сходимость ряда $\sum_{n=2}^\infty \frac1{n\ln n}$ интегральным признаком.

Задание 9: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{2n-1}$ признаком сравнения.

Задание 10: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n^2}{2^n}$ признаком Даламбера.

Средние задания (11–20)

Задание 11: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n!}{n^n}$ признаком Даламбера. Понадобится $\lim_{n\to\infty}\left(1+\frac1n\right)^{-n}=\frac1e$.

Задание 12: Исследовать сходимость ряда $\sum_{n=1}^\infty \left(\frac{n}{n+1}\right)^{n^2}$ радикальным признаком Коши.

Задание 13: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{\sqrt{n}}{n^2+1}$ предельным признаком сравнения.

Задание 14: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n\cdot2^n}{n!}$ признаком Даламбера.

Задание 15 (машинное обучение): Штраф на регуляризацию весов $n$-го слоя гипотетической глубокой сети моделируется как $a_n=\frac1{n(\ln n)^3}$ (сумма по слоям от $n=2$). Определить, сходится ли суммарный штраф $\sum_{n=2}^\infty a_n$, обобщив результат интегрального признака для $\sum\frac1{n(\ln n)^p}$.

Задание 16: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{5^n}{n\cdot3^n}$ радикальным признаком Коши.

Задание 17: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{4n^3+n}{n^5+2n^2+1}$ предельным признаком сравнения.

Задание 18: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{n\cdot\sqrt[3]{n}}$ признаком сравнения.

Задание 19: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{(2n)!}{(n!)^2\cdot4^n}$ признаком Даламбера.

Задание 20: Исследовать сходимость ряда $\sum_{n=1}^\infty n\cdot\left(\frac23\right)^n$ радикальным признаком Коши. Понадобится $\lim_{n\to\infty}\sqrt[n]n=1$.

Продвинутые задания (21–30)

Задание 21 (машинное обучение): При анализе сходимости одного итерационного алгоритма норма ошибки на шаге $n$ убывает как $e_n = \dfrac{C}{n!}$ для некоторой константы $C>0$ (типичная скорость сходимости квазиньютоновских методов на поздних итерациях). Показать, что суммарная накопленная по всем шагам ошибка $\sum_{n=1}^{\infty} e_n$ конечна, используя признак Даламбера, и вычислить точную сумму, зная, что $\sum_{n=0}^\infty\frac1{n!}=e$.

Задание 22: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n^n}{(2n)!}$ признаком Даламбера. Понадобится $\lim_{n\to\infty}\left(1+\frac1n\right)^n=e$.

Задание 23: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac1{n(\ln n)(\ln\ln n)}$ (сумма начинается с достаточно большого $n$, чтобы все логарифмы были определены и положительны) интегральным признаком.

Задание 24: Исследовать сходимость ряда $\sum_{n=1}^\infty \left(1-\frac1n\right)^{n^2}$ радикальным признаком Коши. Понадобится $\lim_{n\to\infty}\left(1-\frac1n\right)^n=\frac1e$.

Задание 25: Найти все значения параметра $\alpha>0$, при которых сходится ряд $\sum_{n=1}^\infty \frac{n^\alpha}{2^n}$, используя признак Даламбера.

Задание 26 (машинное обучение): Норма градиента на $n$-м шаге одного адаптивного метода оптимизации убывает как $g_n=\dfrac1{n^{1+\varepsilon}}$ для малого $\varepsilon>0$. Требуется определить, при каких $\varepsilon$ сумма норм $\sum_{n=1}^\infty g_n$ (грубая оценка суммарного «пройденного пути» по параметрам за всё обучение) остаётся конечной, а при каких — становится бесконечной.

Задание 27: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{2^n\cdot n!}{n^n}$ признаком Даламбера. Понадобится $\lim_{n\to\infty}\left(1+\frac1n\right)^{-n}=\frac1e$.

Задание 28: Показать, что ряд $\sum_{n=1}^\infty \left(\sqrt[n]{n}-1\right)$ расходится, используя предельный признак сравнения с гармоническим рядом. Понадобится оценка $\sqrt[n]n - 1 \sim \dfrac{\ln n}{n}$ при $n\to\infty$ (следует из разложения $\sqrt[n]n=e^{\frac{\ln n}n}\approx1+\frac{\ln n}n$ для больших $n$) и факт, что $\sum\frac{\ln n}{n}$ расходится (сравнением с гармоническим рядом: $\frac{\ln n}n\ge\frac1n$ для $n\ge3$).

Задание 29: Исследовать сходимость ряда $\sum_{n=1}^\infty \frac{n!}{n^n}\cdot3^n$ признаком Даламбера и сравнить результат с заданием 22, где степень числителя была $n^n$, а не $n!$.

Задание 30 (машинное обучение): В одной из моделей анализа обучения нейросети вклад $n$-й эпохи в общее изменение функции потерь оценивается величиной $c_n = \dfrac{1}{\sqrt n\,(n+1)}$. Определить, конечна ли суммарная величина изменения $\sum_{n=1}^\infty c_n$ по всем эпохам, используя предельный признак сравнения с подходящим эталонным рядом $\sum\frac1{n^p}$, и указать точное значение $p$.

Частые ошибки

Первая и самая распространённая ошибка — заключать сходимость ряда из того, что общий член стремится к нулю. Стремление $a_n\to0$ — необходимое условие сходимости, но никак не достаточное: гармонический ряд $\sum\frac1n$ — стандартный контрпример, где $a_n\to0$, но ряд расходится. Прежде чем применять любой из четырёх признаков этого урока, вообще-то полезно сначала быстро проверить необходимое условие — если $a_n$ не стремится к нулю, ряд расходится сразу, без всякого дальнейшего анализа.

Вторая ошибка — неверная интерпретация случая $L=1$ в признаках Даламбера и Коши. Многие по инерции считают, что $L=1$ означает расходимость (по аналогии с $L>1$) — это неверно. При $L=1$ признак просто не работает: и $\sum\frac1{n^2}$ (сходится), и $\sum\frac1n$ (расходится) дают в признаке Даламбера ровно $L=1$. При встрече с $L=1$ нужно переходить к другому инструменту — признаку сравнения с подходящим эталоном или интегральному признаку.

Третья ошибка — применение признаков этого урока к рядам с меняющимся знаком. Все четыре признака (сравнение, Даламбер, Коши, интегральный) доказаны и корректно работают строго для знакоположительных рядов (или рядов с неотрицательными членами, начиная с некоторого номера). Если в общем члене ряда есть множитель вроде $(-1)^n$, ни один из сегодняшних признаков напрямую неприменим — для таких рядов существуют отдельные признаки (в частности, признак Лейбница), которые ты изучишь в следующем уроке.

Четвёртая ошибка — забывать проверять условия применимости интегрального признака. Функция $f(x)$ обязана быть не просто положительной, а именно монотонно убывающей на всём рассматриваемом луче (хотя бы начиная с некоторого номера) — интегральный признак неприменим к функции, которая колеблется или локально возрастает, даже если в целом её значения убывают. Проверка монотонности — не формальность, а необходимое условие корректности всего доказательства (напомни себе: доказательство опиралось на неравенство $f(n+1)\le f(x)\le f(n)$ на отрезке $[n,n+1]$, а оно справедливо только для убывающей функции).

Пятая ошибка — подбор неудачного эталона в признаке сравнения, из-за которого неравенство получается «в неправильную сторону». Например, если нужно доказать расходимость ряда $\sum a_n$, сравнивая его с заведомо расходящимся эталоном $\sum b_n$, необходимо неравенство $a_n\ge b_n$ (а не $a_n\le b_n$) — перепутав направление, легко получить бессмысленный или заведомо неверный вывод. Прежде чем делать заключение, всегда стоит явно проверить, в какую сторону работает неравенство и какой факт (сходимость или расходимость) из него следует.

Шестая ошибка — механическое упрощение общего члена ряда при подборе эталона без строгого обоснования через предел. Сказать «при больших $n$ выражение $\frac{n^2+5n}{n^4-3}$ ведёт себя как $\frac1{n^2}$» — это правильная интуиция, но не доказательство; интуицию обязательно нужно подтвердить вычислением предела отношения в предельном признаке сравнения, потому что отбрасывание «менее значимых» слагаемых интуитивно, без предела, иногда приводит к неверным оценкам констант или даже к неверному определению главного порядка роста в более хитрых выражениях.

Главное запомнить

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

• Стремление общего члена к нулю — необходимое, но не достаточное условие сходимости; классический контрпример — гармонический ряд $\sum\frac1n$.

• Признак сравнения (и его предельная форма) — базовый инструмент: подбираешь эталон, вычисляешь предел отношения, делаешь вывод по сходимости эталона.

• Два главных эталона: обобщённый гармонический ряд $\sum\frac1{n^p}$ (сходится при $p>1$) и геометрическая прогрессия $\sum q^n$ (сходится при $|q|<1$).

• Признак Даламбера — предел отношения соседних членов $\frac{a_{n+1}}{a_n}$; лучше всего работает при факториалах в общем члене.

• Радикальный признак Коши — предел $\sqrt[n]{a_n}$; лучше всего работает, когда весь общий член уже возведён в степень $n$, и терпим к ограниченным флуктуациям внутри общего члена.

• Оба признака (Даламбера и Коши) при результате $L=1$ не дают никакого ответа — нужен другой инструмент, а не механический вывод о расходимости.

• Интегральный признак связывает ряд и несобственный интеграл от той же убывающей функции; именно он строго доказывает эталонный факт про $\sum\frac1{n^p}$.

• Логика признака Даламбера (отношение последовательных величин, взятое в пределе) напрямую переносится на анализ сходимости итерационных численных методов и скорости убывания весов в схемах регуляризации.

• Практический выбор признака зависит от структуры общего члена: дробь из многочленов — сравнение; факториалы — Даламбер; вся конструкция в степени $n$ — Коши; логарифмы, которые легко интегрировать — интегральный признак.

Связь с другими темами курса

Этот урок напрямую опирается на числовые ряды и понятие частичной суммы из предыдущего урока, на пределы последовательностей (без них не сформулировать ни один из признаков) и на технику несобственных интегралов, которую ты изучал несколькими уроками раньше — интегральный признак буквально переиспользует определение $\int_a^{\infty}f(x)\,dx$ как предела при $b\to\infty$. Также он опирается на монотонность и оценку определённого интеграла, изученные в разделе про свойства интеграла — именно эти свойства лежат в основе доказательства интегрального признака.

Вперёд этот урок ведёт сразу в двух направлениях. Ближайший следующий урок — про знакопеременные ряды и признак Лейбница — расширит сегодняшний арсенал на ряды, где члены чередуют знак, для которых признаки сравнения, Даламбера, Коши и интегральный напрямую неприменимы. А чуть дальше в курсе радикальный признак Коши напрямую превратится в формулу Коши-Адамара для радиуса сходимости степенных рядов — важнейшего инструмента, который используется при построении рядов Тейлора и при анализе того, для каких значений аргумента функция вообще может быть представлена бесконечной суммой степеней.

Интересные факты

Ряд $\sum\frac1{n^2}$ — тот самый частный случай эталонного ряда с $p=2$ — имеет знаменитую точную сумму $\dfrac{\pi^2}6$, и вопрос о её нахождении получил название «Базельской задачи»: она была поставлена в 1644 году и оставалась нерешённой почти столетие, пока Леонард Эйлер не нашёл её точный ответ в 1734 году совершенно неожиданным способом — через разложение функции синуса в бесконечное произведение. Интегральный признак говорит лишь о том, что этот ряд сходится, но ни один из четырёх признаков этого урока не способен найти точную сумму — это отдельная и куда более тонкая задача.

Признак Даламбера и радикальный признак Коши не эквивалентны по силе: существует строгая теорема, что везде, где предел $\lim\frac{a_{n+1}}{a_n}$ существует, существует и равен ему предел $\lim\sqrt[n]{a_n}$ (это классический результат анализа о связи среднего арифметического-геометрического поведения последовательностей отношений и корней), но обратное неверно. Это означает, что радикальный признак Коши в некотором точном смысле сильнее признака Даламбера — просто на практике признак Даламбера часто технически удобнее там, где есть факториалы.

Гармонический ряд $\sum\frac1n$ расходится настолько медленно, что частичная сумма первых миллиона слагаемых даёт число, лишь немного превышающее $14$, а чтобы частичная сумма гармонического ряда превысила, скажем, $100$, потребовалось бы сложить астрономически много слагаемых — порядка $10^{43}$. Такая «почти незаметная» расходимость — одна из причин, почему гармонический ряд так легко перепутать со сходящимся при поверхностном взгляде на числа.

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

Лайфхаки и полезные трюки

Прежде чем применять любой признак, всегда проверяй необходимое условие сходимости — предел общего члена $a_n$ при $n\to\infty$. Если он не равен нулю (или вообще не существует), ряд расходится мгновенно, без всякого дальнейшего анализа, и ты экономишь себе кучу вычислений.

Шпаргалка по выбору признака, если необходимое условие пройдено: увидел факториал ($n!$) в общем члене — сразу пробуй признак Даламбера, он почти наверняка приведёт к красивому сокращению. Увидел всю конструкцию, возведённую в степень $n$ целиком (вида $(\ldots)^n$) — сразу пробуй радикальный признак Коши, корень $n$-й степени мгновенно снимет внешнюю степень. Увидел дробь из многочленов, корней или их простых комбинаций без факториалов и степени $n$ — сразу пробуй предельный признак сравнения, подобрав эталон по главным степеням числителя и знаменателя. Увидел логарифм в структуре, которую легко проинтегрировать (особенно $\ln n$ в знаменателе) — используй интегральный признак.

Для предельного признака сравнения есть быстрый практический трюк: чтобы подобрать эталон $b_n$, в дроби, которой задан $a_n$, оставь в числителе и знаменателе только слагаемые с наибольшей степенью $n$ (или наибольшей внутри логарифмов), а все остальные слагаемые отбрось. Так, для $\dfrac{2n+1}{n^3+5n}$ эталоном сразу становится $\dfrac{2n}{n^3}=\dfrac2{n^2}$ (или просто $\dfrac1{n^2}$, если константа неважна для определения сходимости). Это резко ускоряет подбор эталона, хотя окончательный вывод всё равно нужно подтвердить вычислением предела отношения.

Если у тебя одновременно есть факториал и степень вида $n^n$ в одном общем члене, признак Даламбера почти всегда предпочтительнее признака Коши — потому что при делении $a_{n+1}$ на $a_n$ факториалы сокращаются алгебраически чисто, тогда как извлечение корня $n$-й степени из факториала не даёт элементарного выражения без привлечения формулы Стирлинга.

Если признак Даламбера или Коши дал $L=1$, не паникуй и не делай поспешных выводов — это стандартный сигнал переключиться на предельный признак сравнения или интегральный признак. Хорошая эвристика: если общий член ряда — это частное многочленов, степенных функций или их произведений без факториалов и без показательных функций, скорее всего именно признак сравнения или интегральный признак дадут ответ там, где Даламбер и Коши упёрлись в единицу.

Держи в голове константу $e\approx2{,}718$ и предел $\left(1+\frac1n\right)^n\to e$ — эта комбинация регулярно всплывает при анализе рядов, где есть и факториал, и степень вида $n^n$ одновременно (как в нескольких примерах и заданиях этого урока), и умение сразу узнавать эту структуру экономит массу времени на вычислениях.

Напоследок

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