Une dérivée seconde de carré intégrable ?

On note $\|f''\|_{2}=\left(\int_{0}^{+\infty}f''^{\,2}\right)^{1/2}<+\infty$, et pour $I\subseteq\mathbb{R}_+$ on écrit $\|f''\|_{L^{2}(I)}=\left(\int_{I}f''^{\,2}\right)^{1/2}$. Comme $\int_{0}^{+\infty}f''^{\,2}$ converge, ses restes tendent vers $0$ :
$$\varepsilon_n:=\|f''\|_{L^{2}([2n,+\infty[)}\xrightarrow[n\to+\infty]{}0 .$$

L’idée est d’exploiter l’intégrabilité de $f$ pour trouver des points où $f$ est petite, d’en déduire par le théorème des accroissements finis des points où $f'$ est petite, puis de propager cette petitesse à des intervalles entiers grâce au contrôle $L^{2}$ sur $f''$.

Étape 1 : des points où $f$ est petite

Posons, pour $n\in\mathbb{N}$,
$$\alpha_n=\int_{2n}^{2n+1}|f(t)|\,\mathrm{d}t .$$Les intervalles $[2n,2n+1]$ étant deux à deux disjoints, on a $\sum_{n\geqslant 0}\alpha_n\leqslant\int_{0}^{+\infty}|f|<+\infty$, donc $\alpha_n\to 0$.

La fonction $|f|$ étant continue sur le segment $[2n,2n+1]$, de longueur $1$, la formule de la moyenne fournit un point
$$a_n\in[2n,2n+1]\qquad\text{tel que}\qquad |f(a_n)|=\alpha_n .$$

Étape 2 : des points où $f'$ est petite

On a $a_n\in[2n,2n+1]$ et $a_{n+1}\in[2n+2,2n+3]$, donc
$$1\leqslant a_{n+1}-a_n\leqslant 3 .$$Le théorème des accroissements finis appliqué à $f$ sur $[a_n,a_{n+1}]$ donne un $\xi_n\in\,]a_n,a_{n+1}[\,\subseteq[2n,2n+3]$ tel que
$$|f'(\xi_n)|=\frac{|f(a_{n+1})-f(a_n)|}{a_{n+1}-a_n}\leqslant \alpha_n+\alpha_{n+1}\xrightarrow[n\to+\infty]{}0,$$la minoration $a_{n+1}-a_n\geqslant 1$ étant ici essentielle.

Étape 3 : $f'$ tend vers $0$

Soit $x\in[2n,2n+3]$. Comme $f'$ est de classe $\mathcal{C}^{1}$, on a $f'(x)=f'(\xi_n)+\int_{\xi_n}^{x}f''(t)\,\mathrm{d}t$, et l’inégalité de Cauchy–Schwarz donne
$$\left|\int_{\xi_n}^{x}f''\right|\leqslant \sqrt{|x-\xi_n|}\;\|f''\|_{L^{2}([2n,2n+3])}\leqslant \sqrt{3}\,\varepsilon_n ,$$puisque $x$ et $\xi_n$ appartiennent tous deux à $[2n,2n+3]$. Par conséquent
$$\sup_{x\in[2n,2n+3]}|f'(x)|\ \leqslant\ \alpha_n+\alpha_{n+1}+\sqrt{3}\,\varepsilon_n\ =:\ \beta_n\xrightarrow[n\to+\infty]{}0 .$$Or $\bigcup_{n\geqslant N}[2n,2n+3]\supseteq[2N,+\infty[$, les intervalles $[2n,2n+2]$ se recouvrant de proche en proche. Donc pour tout $x\geqslant 2N$, en choisissant $n\geqslant N$ avec $x\in[2n,2n+2]$, on obtient $|f'(x)|\leqslant\sup_{k\geqslant N}\beta_k$. Ce dernier majorant tendant vers $0$ quand $N\to+\infty$, on conclut
$$f'(x)\xrightarrow[x\to+\infty]{}0 .$$

Étape 4 : $f$ tend vers $0$

Soit $x\in[2n,2n+3]$. Comme $a_n\in[2n,2n+1]$, on a $|x-a_n|\leqslant 3$ et
$$|f(x)|=\left|f(a_n)+\int_{a_n}^{x}f'(t)\,\mathrm{d}t\right|\leqslant \alpha_n+3\sup_{[2n,2n+3]}|f'|\leqslant \alpha_n+3\beta_n .$$Le même argument de recouvrement qu’à l’étape 3 donne alors $f(x)\to 0$ quand $x\to+\infty$. $\blacksquare$