Bourbaki

Proposition 2

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

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

Let (un)(u_n) and (vn)(v_n) be two series with positive terms: 1. If the series (vn)(v_n) converges then the relation un≪vnu_n \ll v_n (resp. un∼vnu_n \sim v_n) implies ∑p=n∞up≪∑p=n∞vp\sum_{p=n}^{\infty} u_p \ll \sum_{p=n}^{\infty} v_p (resp. ∑p=n∞up∼∑p=n∞vp\sum_{p=n}^{\infty} u_p \sim \sum_{p=n}^{\infty} v_p). 2. If ∑n=1∞vn=+∞\sum_{n=1}^{\infty} v_n = +\infty then the relation un≪vnu_n \ll v_n (resp. un∼vnu_n \sim v_n) implies ∑p=1nup≪∑p=1nvp\sum_{p=1}^{n} u_p \ll \sum_{p=1}^{n} v_p (resp. ∑p=1nup∼∑p=1nvp\sum_{p=1}^{n} u_p \sim \sum_{p=1}^{n} v_p).

One obtains convenient convergence criteria by taking for the comparison series (vn)(v_n) in prop. 1 a series whose terms are of the form vn=f(n)v_n = f(n), where ff is a function ≥0\geq 0 defined for every real number x>x0x > x_0 and decreasing on the interval [x0,+∞[[x_0, +\infty[; indeed:

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.