ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Limite d'une fonction en un point

Exercice 11

Démonstration

Soit f:[0 ,+∞[ →[0 ,+∞[f : [0\,,+\infty[ \,\to [0\,,+\infty[ une fonction croissante telle que lim⁡x→+∞(f(x+1)−f(x))=0\lim\limits_{x \to +\infty} \big(f(x + 1) - f(x)\big) = 0.

1. Soit ε>0\varepsilon > 0 et AA tel que f(x+1)−f(x)⩽εf(x + 1) - f(x) \leqslant \varepsilon pour x⩾Ax \geqslant A. Montrer que, pour tout x⩾Ax \geqslant A, on a f(x)⩽f(A+1)+ε (x−A)f(x) \leqslant f(A + 1) + \varepsilon\,(x - A).

2. En déduire que lim⁡x→+∞f(x)x=0\lim\limits_{x \to +\infty} \dfrac{f(x)}{x} = 0.

3. Le résultat subsiste-t-il si ff n'est plus supposée croissante ? On pourra chercher un contre-exemple périodique.

Corrigé

1. Soit x⩾Ax \geqslant A et n=⌊x−A⌋n = \lfloor x - A \rfloor, de sorte que A+n⩽x<A+n+1A + n \leqslant x < A + n + 1. Par croissance de ff et en sommant les accroissements sur les intervalles [A+j ,A+j+1][A + j\,,A + j + 1], pour 1⩽j⩽n1 \leqslant j \leqslant n, f(x)⩽f(A+n+1)=f(A+1)+∑j=1n(f(A+j+1)−f(A+j))⩽f(A+1)+nε,f(x) \leqslant f(A + n + 1) = f(A + 1) + \sum_{j=1}^{n} \big(f(A + j + 1) - f(A + j)\big) \leqslant f(A + 1) + n\varepsilon, et n⩽x−An \leqslant x - A. f(x)⩽f(A+1)+ε(x−A)\boxed{f(x) \leqslant f(A + 1) + \varepsilon(x - A)}

2. Pour x⩾max⁡(A,1)x \geqslant \max(A, 1), on obtient, puisque f⩾0f \geqslant 0, 0⩽f(x)x⩽f(A+1)x+ε.0 \leqslant \frac{f(x)}{x} \leqslant \frac{f(A + 1)}{x} + \varepsilon. Le premier terme est inférieur à ε\varepsilon pour xx assez grand, donc 0⩽f(x)x⩽2ε0 \leqslant \frac{f(x)}{x} \leqslant 2\varepsilon au voisinage de +∞+\infty. lim⁡x→+∞f(x)x=0\boxed{\lim\limits_{x \to +\infty} \frac{f(x)}{x} = 0}

3. Non. Soit ff définie par f(x)=0f(x) = 0 si xx est entier, et f(x)=1x−⌊x⌋f(x) = \frac{1}{x - \lfloor x \rfloor} sinon. Elle est positive et 11-périodique, donc f(x+1)−f(x)=0f(x + 1) - f(x) = 0 pour tout xx ; mais pour xn=n+1n2x_{n} = n + \frac{1}{n^{2}}, avec n⩾2n \geqslant 2, f(xn)xn=n2n+1n2→n→+∞+∞.\frac{f(x_{n})}{x_{n}} = \frac{n^{2}}{n + \frac{1}{n^{2}}} \xrightarrow[n \to +\infty]{} +\infty.

le reˊsultat est faux sans la croissance\boxed{\text{le résultat est faux sans la croissance}} La croissance sert, à la question 1, à contrôler ff entre deux points de la forme A+jA + j.

Dans l'édifice

Thèmes

limite d'une fonction, limites, fonctions monotones, fonctions périodiques

Notions

limite d'une fonction

Ouvrir dans l'atlas interactif →