Bourbaki

Remark 1

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

Functions of a Real Variable, chapter V, Appendix 0. Hardy Fields. (H) Functions

If gg is of order <1< 1 relative to xx, the function u(x)−un(x)u(x) - u_n(x) tends to 0 with xx once nn is sufficiently large. Indeed, in the opposite case one would have gg′′n≫1g{g''}^n \gg 1 for every nn, so gg would be of infinite order relative to 1/g′1/g'; in other words, one would have log⁡∣g∣≫log⁡∣g′∣\log|g| \gg \log|g'|, whence, on differentiating, g′/g≫g′′/g′g'/g \gg g''/g'. But if gg is of order μ<1\mu < 1 relative to xx one has g′/g∼g′′/g′g'/g \sim g''/g' when μ=−∞,g′g∼μμ−1g′′g′\mu = -\infty, \frac{g'}{g} \sim \frac{\mu}{\mu - 1} \frac{g''}{g'} when μ≠0\mu \neq 0, and finally g′/g≪g′′/g′g'/g \ll g''/g' when μ=0\mu = 0 (V, p. 251, n 3).

In contrast, if gg is of order 1 relative to xx one can have gg′′n≫1g{g''}^n \gg 1 for every integer n>0n > 0, as the example g(x)=x/log⁡xg(x) = x/\log x shows.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.