Bourbaki

Proposition 1

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

Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE

Let f\mathbf{f} be a regulated vector function, gg a regulated function ⩾0\geqslant 0 on an interval [a,+∞[[a, +\infty[, such that ∫a+∞g(t) dt>0\int_a^{+\infty} g(t)\,dt > 0. The relation f≼g\mathbf{f} \preccurlyeq g as xx tends to +∞+\infty implies that ∫axf(t) dt≼∫axg(t) dt\int_a^x \mathbf{f}(t)\,dt \preccurlyeq \int_a^x g(t)\,dt. If the integral ∫a+∞g(t) dt\int_a^{+\infty} g(t)\,dt converges then the integral ∫a+∞f(t) dt\int_a^{+\infty} \mathbf{f}(t)\,dt converges absolutely.

Indeed, by hypothesis there exist a b⩾ab \geqslant a and a number c′>0c' > 0 such that

∥f(x)∥⩽c′g(x)for x⩾b, \| \mathbf{f}(x) \| \leqslant c' g(x) \quad \text{for } x \geqslant b,
whence
∥∫bxf(t) dt∥⩽∫bx∥f(t)∥ dt⩽c′∫bxg(t) dt; \left\| \int_b^x \mathbf{f}(t)\,dt \right\| \leqslant \int_b^x \| \mathbf{f}(t) \| \,dt \leqslant c' \int_b^x g(t)\,dt;
since, moreover, one may suppose bb so large that ∫abg(t) dt>0\int_a^b g(t)\,dt > 0, there exists a c′′>0c'' > 0 such that ∥∫abf(t) dt∥⩽c′′∫abg(t) dt\left\| \int_a^b \mathbf{f}(t)\,dt \right\| \leqslant c'' \int_a^b g(t)\,dt; on putting c=max⁡(c′,c′′)c = \max(c', c'') one thus has
∥∫axf(t) dt∥⩽c∫axg(t) dt \left\| \int_a^x \mathbf{f}(t)\,dt \right\| \leqslant c \int_a^x g(t)\,dt
for every x⩾bx \geqslant b, whence the proposition.

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.