Bourbaki

Exercice 1, § 2

Fonctions d’une variable réelle, II, p. 33

Soient α\alpha et β\beta deux nombres réels finis tels que α<β\alpha < \beta. Montrer que si γ\gamma et δ\delta sont deux nombres tels que α<γ≤δ<β\alpha < \gamma \leq \delta < \beta, il existe une fonction numérique ff, définie dans un intervalle (0,a)(0, a), ne prenant que les valeurs α\alpha et β\beta, telle que dans tout intervalle (ϵ,a)(\epsilon, a) (pour ϵ>0\epsilon > 0), ff soit une fonction en escalier et que, si on pose g(x)=∫0xf(t) dtg(x) = \int_0^x f(t) \, dt, on ait

(*)

lim inf⁡x→0,x>0g(x)x=γ,lim sup⁡x→0,x>0g(x)x=δ \liminf_{x \to 0, x > 0} \frac{g(x)}{x} = \gamma, \quad \limsup_{x \to 0, x > 0} \frac{g(x)}{x} = \delta

(prendre pour gg une fonction dont le graphe est une ligne brisée dont les côtés consécutifs ont pour pentes α\alpha et β\beta et dont les sommets se trouvent alternativement, soit sur les droites y=γxy = \gamma x, y=δxy = \delta x pour y≠δy \neq \delta, soit sur la droite y=γxy = \gamma x et la parabole y=γx+x2y = \gamma x + x^2 pour γ=δ\gamma = \delta.

Par la même méthode, montrer que si γ\gamma et δ\delta sont finis ou non (γ<δ\gamma < \delta) il existe une fonction numérique ff définie dans ]0,a]]0, a] telle que, dans tout intervalle (ϵ,a)(\epsilon, a) (pour ϵ>0\epsilon > 0), ff soit une fonction en escalier, que l’intégrale g(x)=∫0xf(t) dtg(x) = \int_0^x f(t) \, dt existe et que l’on ait encore les relations (*).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.