Bourbaki

Remark 2

Tag 08GC, permanent. Cite it as [Bourbaki, Tag 08GC].

Functions of a Real Variable, chapter V, § 4. APPLICATION TO SERIES WITH POSITIVE TERMS

The criteria of the second kind can be applied only to series whose general term behaves in a very regular way as nn tends to +∞+\infty; in other words, their scope is much more restricted than those of the logarithmic criteria, and it would be a blunder to try to use them beyond the special cases to which they are particularly suited. For example, for the series (un)(u_n) defined by u2m=2−mu_{2m} = 2^{-m}, u2m+1=3−mu_{2m+1} = 3^{-m} one has u2m+1/u2m=(23)mu_{2m+1}/u_{2m} = \left(\frac{2}{3}\right)^m, u2m+2/u2m+1=12(32)mu_{2m+2}/u_{2m+1} = \frac{1}{2} \left(\frac{3}{2}\right)^m; the first of these ratios tends to 0 and the second to +∞+\infty as mm increases indefinitely, so no criterion of the second kind is applicable; nevertheless, since un≼2−n/2u_n \preccurlyeq 2^{-n/2}, it is immediate that the series converges.

Even when un+1/unu_{n+1}/u_n has a simple expression, a direct evaluation of a principal part for unu_n often leads to a result as quickly as the criteria of the second kind. For example, for the hypergeometric series, Stirling’s formula shows immediately that un∼anα+β−γ−1u_n \sim a n^{\alpha + \beta - \gamma - 1}, where aa is a constant ≠0\neq 0, and the logarithmic criterion of order 0 is then applicable.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.