Признак Гаусса сходимости: формулировка и применение

Признак Гаусса - самый тонкий из «отношенческих» критериев сходимости положительного числового ряда: он вступает в игру там, где даже признак Раабе уходит в неопределённость. Идея в том, чтобы не брать один-единственный предел, а выписать асимптотическое разложение отношения $a_n/a_{n+1}$ по степеням $1/n$ с контролируемым остатком: $\dfrac{a_n}{a_{n+1}} = 1 + \dfrac{\mu}{n} + O\!\left(\dfrac{1}{n^{1+\varepsilon}}\right)$. Тогда вопрос о сходимости решается по коэффициенту $\mu$ - причём, в отличие от признака Раабе, граничный случай $\mu = 1$ разбирается точно, а не остаётся «серой зоной». Критерий восходит к работе Карла Фридриха Гаусса 1812 года о гипергеометрическом ряде, где такое разложение возникает естественно. Ниже - формулировка, связь с соседними признаками, аккуратный разбор границы $\mu = 1$, доказательная схема и классические примеры.

Формулировка признака Гаусса

Пусть дан положительный ряд $\sum_{n=1}^{\infty} a_n$ с $a_n > 0$. Предположим, что отношение соседних членов допускает разложение

$\frac{a_n}{a_{n+1}} = 1 + \frac{\mu}{n} + O\!\left(\frac{1}{n^{1+\varepsilon}}\right), \quad \varepsilon > 0,$

где $\mu$ - постоянная, а остаток ограничен величиной порядка $1/n^{1+\varepsilon}$ при некотором фиксированном $\varepsilon > 0$. Тогда:

• при $\mu > 1$ ряд $\sum a_n$ сходится;
• при $\mu \le 1$ ряд расходится.

Ключевое отличие от признака Раабе - само значение $\mu = 1$ уже относится к расходящемуся случаю, никакой неопределённости в формулировке нет. Расплата за это - более жёсткое требование к структуре отношения: нужен не просто предел, а целое разложение с явной оценкой остатка $O(n^{-1-\varepsilon})$. Если такого разложения нет (остаток убывает медленнее, чем любая степень $n^{-1-\varepsilon}$), признак Гаусса неприменим, и приходится возвращаться к признаку Бертрана или интегральному критерию.

Классическая запись через многочлены

Гаусс формулировал критерий для отношения, которое является рациональной функцией от $n$ - именно в таком виде оно возникает у гипергеометрических членов. Если

$\frac{a_n}{a_{n+1}} = \frac{n^k + b_1 n^{k-1} + \dots + b_k}{n^k + c_1 n^{k-1} + \dots + c_k},$

то, поделив числитель на знаменатель и разложив по $1/n$, получаем $\dfrac{a_n}{a_{n+1}} = 1 + \dfrac{b_1 - c_1}{n} + O\!\left(\dfrac{1}{n^2}\right)$. Здесь остаток автоматически имеет порядок $O(n^{-2})$, то есть $\varepsilon = 1$, и условие признака Гаусса выполнено «бесплатно». Параметр $\mu = b_1 - c_1$ - разность старших после-ведущих коэффициентов числителя и знаменателя. Сходимость определяется простым неравенством: $b_1 - c_1 > 1$ - сходится, $b_1 - c_1 \le 1$ - расходится. Это самая практичная форма: достаточно записать $a_n/a_{n+1}$ как дробь и сравнить коэффициенты при $n^{k-1}$.

Связь с признаком Раабе

Признак Гаусса - прямое усиление признака Раабе. Напомним: признак Раабе считает предел $R = \lim_{n\to\infty} n\left(\dfrac{a_n}{a_{n+1}} - 1\right)$ и даёт ответ при $R \ne 1$, а при $R = 1$ молчит. Если у нас есть гауссовское разложение $\dfrac{a_n}{a_{n+1}} = 1 + \dfrac{\mu}{n} + O(n^{-1-\varepsilon})$, то

$n\left(\frac{a_n}{a_{n+1}} - 1\right) = \mu + O\!\left(\frac{1}{n^{\varepsilon}}\right) \to \mu,$

то есть предел Раабе равен в точности $\mu$. Значит при $\mu \ne 1$ оба признака дают один и тот же вывод. Вся ценность признака Гаусса - в случае $\mu = 1$: контроль над остатком $O(n^{-1-\varepsilon})$ гарантирует, что следующий за $1/n$ член разложения не способен «вытащить» ряд в сходимость, и ряд расходится. Иерархия критериев выстраивается так: д’Аламбер $\to$ Раабе $\to$ Бертран $\to$ Гаусс, где Гаусс закрывает граничные случаи, опираясь на асимптотику, а не на один предел.

Почему граница $\mu = 1$ ведёт к расходимости

Разберём, откуда берётся именно граница $\mu = 1$. Сравним ряд с эталоном $b_n = 1/n^p$, для которого $\dfrac{b_n}{b_{n+1}} = \left(\dfrac{n+1}{n}\right)^p = 1 + \dfrac{p}{n} + O(n^{-2})$. Значит коэффициент $\mu$ играет роль показателя $p$ эталонного ряда Дирихле $\sum 1/n^p$, который сходится при $p > 1$ и расходится при $p \le 1$ - отсюда и порог $\mu > 1$.

Но при $\mu = 1$ простого сравнения с $1/n^p$ уже не хватает: гармонический ряд $\sum 1/n$ ($p = 1$) расходится «логарифмически медленно», и нужно убедиться, что остаточный член разложения не переломит эту тенденцию. Здесь работает признак Куммера: берётся вспомогательная последовательность $D_n = n \ln n$, и для неё

$\frac{a_n}{a_{n+1}} D_n - D_{n+1} = (n\ln n)\left(1 + \frac{1}{n} + O(n^{-1-\varepsilon})\right) - (n+1)\ln(n+1).$

Аккуратное раскрытие показывает, что это выражение стремится к $-1 < 0$, а отрицательный предел в признаке Куммера означает расходимость. Именно требование $O(n^{-1-\varepsilon})$ (а не просто $o(1/n)$) гарантирует, что вклад остатка в эту разность исчезает - без контроля над остатком вывод о расходимости при $\mu = 1$ был бы необоснован.

Пример: гипергеометрический ряд

Канонический объект, ради которого Гаусс и вывел свой критерий, - гипергеометрический ряд

$F(\alpha,\beta,\gamma;1) = \sum_{n=0}^{\infty} \frac{(\alpha)_n (\beta)_n}{(\gamma)_n\, n!}, \qquad (x)_n = x(x+1)\cdots(x+n-1).$

Здесь общий член $a_n = \dfrac{(\alpha)_n (\beta)_n}{(\gamma)_n\, n!}$, и отношение соседних членов считается явно:

$\frac{a_{n+1}}{a_n} = \frac{(\alpha+n)(\beta+n)}{(\gamma+n)(1+n)}, \qquad \frac{a_n}{a_{n+1}} = \frac{(n+\gamma)(n+1)}{(n+\alpha)(n+\beta)}.$

Раскроем числитель и знаменатель: числитель $= n^2 + (\gamma+1)n + \gamma$, знаменатель $= n^2 + (\alpha+\beta)n + \alpha\beta$. По форме признака Гаусса $\mu = (\gamma + 1) - (\alpha + \beta)$. Вывод классический: гипергеометрический ряд в точке $x = 1$ сходится тогда и только тогда, когда $\gamma + 1 - \alpha - \beta > 1$, то есть $\gamma > \alpha + \beta$. Подробнее свойства самой функции разобраны в материале про гипергеометрическую функцию Гаусса. Этот результат невозможно получить ни д’Аламбером (отношение стремится к $1$), ни одним лишь пределом Раабе на границе - нужен полный гауссовский разбор.

Пример: ряд с двойными факториалами

Возьмём $a_n = \left(\dfrac{(2n-1)!!}{(2n)!!}\right)^s$ при параметре $s > 0$. Отношение

$\frac{a_n}{a_{n+1}} = \left(\frac{2n+2}{2n+1}\right)^s = \left(1 + \frac{1}{2n+1}\right)^s = 1 + \frac{s/2}{n} + O\!\left(\frac{1}{n^2}\right).$

Получаем $\mu = s/2$, остаток порядка $O(n^{-2})$ - условие признака Гаусса выполнено. Следовательно, ряд сходится при $s/2 > 1$, то есть $s > 2$, и расходится при $s \le 2$. В частности, при $s = 2$ имеем ровно границу $\mu = 1$: ряд $\sum \left(\dfrac{(2n-1)!!}{(2n)!!}\right)^2$ расходится - и это тот самый случай, где признак Раабе дал бы $R = 1$ и спасовал, а Гаусс уверенно отвечает «расходится».

Сравнение с соседними признаками

Чтобы зафиксировать место признака Гаусса, сопоставим его с другими критериями для положительных рядов.

Признак Гаусса - самый «дальнобойный» среди отношенческих: он не оставляет неопределённости при $\mu \ne$ нужного порога и сам разбирает критическую границу $\mu = 1$. Цена - требование, чтобы отношение раскладывалось в ряд с остатком $O(n^{-1-\varepsilon})$; для рядов с логарифмическими множителями (например $\sum 1/(n \ln^p n)$) этого разложения нет, и там по-прежнему нужен интегральный признак. Сходимость рядов вида $\sum a_n b_n$ со знакопеременным множителем исследуется иначе - через признак Дирихле.

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

• Считают, что $\mu = 1$ неопределён. Это случай Раабе, а не Гаусса. В признаке Гаусса $\mu = 1$ строго означает расходимость - за счёт контроля остатка $O(n^{-1-\varepsilon})$.
• Игнорируют требование к остатку. Разложение $a_n/a_{n+1} = 1 + \mu/n + o(1/n)$ без явной степенной оценки остатка недостаточно: именно $O(n^{-1-\varepsilon})$ с $\varepsilon > 0$ делает вывод при $\mu = 1$ законным.
• Путают порядок отношения. Как и у Раабе, берётся $a_n/a_{n+1}$ (предыдущий к следующему), а не $a_{n+1}/a_n$. Перепутав, получают $\mu$ с обратным знаком и неверный вывод.
• Берут $\mu$ как старший коэффициент, а не как разность. В рациональной форме $\mu = b_1 - c_1$ - разность коэффициентов при $n^{k-1}$ в числителе и знаменателе, а не сам коэффициент числителя.
• Применяют к знакочередующимся рядам. Признак Гаусса требует $a_n > 0$. Для $\sum (-1)^n c_n$ нужен признак Лейбница или Дирихле; Гаусс годится лишь для ряда модулей (абсолютной сходимости).

FAQ

Чем признак Гаусса сильнее признака Раабе? Тем, что разбирает граничный случай $\mu = 1$, где Раабе даёт $R = 1$ и молчит. Контроль над остаточным членом $O(n^{-1-\varepsilon})$ позволяет доказать (через признак Куммера с $D_n = n\ln n$), что при $\mu = 1$ ряд расходится. Раабе использует только один предел и до этого следующего порядка не дотягивается.

Как быстро применить признак Гаусса на практике? Запишите $a_n/a_{n+1}$ как рациональную дробь от $n$ вида $\dfrac{n^k + b_1 n^{k-1} + \dots}{n^k + c_1 n^{k-1} + \dots}$ и сравните старшие после-ведущие коэффициенты: $\mu = b_1 - c_1$. Если $\mu > 1$ - ряд сходится, если $\mu \le 1$ - расходится. Для гипергеометрических членов это сводится к одному неравенству на параметры.

Что делать, если разложения с остатком $O(n^{-1-\varepsilon})$ не существует? Значит признак Гаусса неприменим - типично для рядов с логарифмами, где отношение ведёт себя как $1 + 1/n + c/(n\ln n) + \dots$. Здесь переходят к признаку Бертрана (он чувствителен к логарифмическому слою) или к интегральному признаку Коши, который напрямую сводит сходимость ряда к сходимости интеграла.

Коротко

Признак Гаусса - тончайший отношенческий критерий сходимости положительного ряда: если $\dfrac{a_n}{a_{n+1}} = 1 + \dfrac{\mu}{n} + O(n^{-1-\varepsilon})$ при $\varepsilon > 0$, то ряд сходится при $\mu > 1$ и расходится при $\mu \le 1$, включая границу $\mu = 1$. В отличие от признака Раабе, где $R = 1$ остаётся неопределённостью, Гаусс закрывает этот случай за счёт контроля остатка (через признак Куммера). На практике отношение $a_n/a_{n+1}$ записывают рациональной дробью, и $\mu = b_1 - c_1$ - разность коэффициентов при $n^{k-1}$. Главная сфера применения - гипергеометрические ряды и ряды с факториалами, где $a_{n+1}/a_n \to 1$ и более простые признаки бессильны.