Théorème de Bernstein sur les fonctions totalement monotones

En analyse fonctionnelle, une branche des mathématiques, le théorème de Bernstein établit que toute fonction à valeurs réelles sur la demi-droite des réels positifs qui est totalement monotone est une combinaison (dans un cas important, une moyenne pondérée ou une espérance mathématique) d'exponentielles.

Énoncé

La « monotonie totale » d'une fonction f sur ]0, +∞[ signifie qu'elle est indéfiniment dérivable sur cet intervalle et que pour tout entier naturel n,

$(-1)^{n}{\mathrm {d} ^{n} \over \mathrm {d} t^{n}}f\geq 0$.

On dit aussi que f est complètement monotone sur ]0, +∞[. On dit qu'elle est complètement monotone sur [0, +∞[ si elle est de plus définie et continue à droite en 0.

La moyenne pondérée peut alors être caractérisée :

Théorème — Une fonction f est complètement monotone sur ]0, +∞[ (resp. [0, +∞[) (si et) seulement s'il existe une fonction croissante (resp. croissante et bornée) $g:\left[0,+\infty \right[\to \mathbb {R}$ telle que pour tout x > 0 (resp. x ≥ 0) :

$f(x)=\int _{0}^{\infty }\operatorname {e} ^{-xt}~\mathrm {d} g(t)$.

Dans un langage plus abstrait, le théorème caractérise les transformées de Laplace des mesures de Borel positives sur [0, +∞[. Sous cette forme, il est connu sous le nom de théorème de Bernstein-Widder, ou de Hausdorff-Bernstein-Widder. Felix Hausdorff, dans sa solution au problème des moments, avait déjà caractérisé les suites complètement monotones.

Démonstration

Reformulons d'abord le théorème dans un langage plus contemporain, sans intégrale de Stieltjes. On va d'abord énoncer et démontrer le théorème avec la condition de continuité à droite en zéro ; on en déduira ensuite le cas général.

Théorème de Bernstein

Une fonction $f$ de $\mathbb {R} _{+}$ dans $\mathbb {R}$ est totalement monotone (si et) seulement si c'est la transformée de Laplace d'une mesure borélienne positive finie sur $\mathbb {R} _{+}$ :

$\forall x\in \mathbb {R} _{+}\quad f(x)=\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \nu (t)$.

(Le « si » est immédiat.) Pour prouver le « seulement si », supposons f totalement monotone. L'hypothèse implique que pour tout entier naturel n, $(-1)^{n}f^{(n)}$ est positive décroissante. Toutes les dérivées ont des limites en $+\infty$, qu'on notera $f^{(n)}(+\infty )$.

On démontre d'abord (élémentairement) que

$\forall x\in \mathbb {R} _{+}\quad \forall n\in \mathbb {N} \quad f(x)-f(+\infty )=\int _{0}^{\infty }\phi _{n}(xt)\,\mathrm {d} \mu _{n}(t)$,

où

$\phi _{n}(x)=(1-x/n)^{n}\mathbb {1} _{[0,n]}(x)$

et μ_n est la mesure sur $\mathbb {R} _{+}$ ayant pour densité (par rapport à la mesure de Lebesgue) la fonction positive $t\mapsto {\frac {(-1)^{n-1}}{(n-1)!}}(n/t)^{n}f^{(n+1)}(n/t){\frac {1}{t^{2}}}$.

Démonstration

Pour tout n > 0, par décroissance de $(-1)^{n}f^{(n)}=\left|f^{(n)}\right|$,

$\forall x>0\quad \left|f^{(n)}(x)\right|\leqslant {\frac {2}{x}}\int _{x/2}^{x}(-1)^{n}f^{(n)}(y)\,\mathrm {d} y={\frac {2}{x}}\left|f^{(n-1)}(x)-f^{(n-1)}(x/2)\right|$.

En particulier (pour n = 1) $\left|f'(x)\right|=_{x\to +\infty }{\frac {2}{x}}o(1)=o(1/x)$ puis (par récurrence)

$\forall n>0\quad \left|{f^{(n)}(x)}\right|=_{x\to +\infty }o(1/x^{n})$.

Par ailleurs, pour tous x, a > 0, d'après la formule de Taylor avec reste intégral,

$f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+{\frac {f^{(2)}(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(n)}(a)}{n!}}(x-a)^{n}+\int _{a}^{x}{\frac {f^{(n+1)}(y)}{n!}}(x-t)^{n}\,\mathrm {d} y$.

On déduit de ces deux points (en faisant tendre a vers +∞ puis en effectuant le changement de variable $y=n/t$) :

${\begin{aligned}\forall x>0\quad f(x)-f(+\infty )&={\frac {(-1)^{n-1}}{n!}}\int _{x}^{\infty }(y-x)^{n}f^{(n+1)}(y)\,\mathrm {d} y\\&={\frac {(-1)^{n-1}}{(n-1)!}}\int _{0}^{n/x}\left(1-{\frac {xt}{n}}\right)^{n}(n/t)^{n}f^{(n+1)}(n/t){\frac {1}{t^{2}}}\,\mathrm {d} t.\end{aligned}}$

On a donc bien :

$\forall x>0\quad \forall n\in \mathbb {N} \quad f(x)-f(+\infty )=\int _{0}^{\infty }\phi _{n}(xt)\,\mathrm {d} \mu _{n}(t)$.

Par convergence monotone, cette égalité est encore vraie pour x = 0. Autrement dit :

$f(0)-f(+\infty )=\mu _{n}(\mathbb {R} _{+})$.

Toutes les μ_n ont donc pour norme $R=f(0)-f(+\infty )$ dans l'espace des mesures de Radon finies sur $\mathbb {R} _{+}$, espace qui est le dual de l'espace ${\mathcal {C}}_{0}$ des fonctions continues sur $\mathbb {R} _{+}$ qui tendent vers 0 à l'infini, muni de la norme uniforme.

Dans ce dual muni de la topologie faible-*, la boule fermée $B'$ de centre 0 et de rayon R est séquentiellement compacte, car elle est à la fois compacte (théorème de Banach-Alaoglu) et métrisable (car ${\mathcal {C}}_{0}$ est séparable). De la suite (μ_n), on peut donc extraire une sous-suite convergente $(\mu _{n_{k}})$. Notons $\mu$ sa limite. Alors, f est la transformée de Laplace de la mesure

$\nu =f(+\infty )\delta _{0}+\mu$,

où $\delta _{0}$ est la mesure de Dirac en 0.

Démonstration

• Puisque $\mu _{n_{k}}\to \mu$ *-faiblement,

  $\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \mu _{n_{k}}(t)\to \int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \mu (t)$.

• Puisque la convergence de $\phi _{n}(u)$ vers $\operatorname {e} ^{-u}$ est uniforme sur $\mathbb {R} _{+}$,

  $\left|\int _{0}^{\infty }\left(\phi _{n}(xt)-\operatorname {e} ^{-xt}\right)\,\mathrm {d} \mu _{n}(t)\right|\leq R\left\|u\mapsto \phi _{n}(u)-\operatorname {e} ^{-u}\right\|_{\infty }\to 0$.

Par conséquent,

$\forall x\in \mathbb {R} _{+}\quad f(x)=f(+\infty )+\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \mu (t)=\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \left(f(+\infty )\delta _{0}+\mu \right)(t)$.

Si l'on abandonne l'hypothèse de continuité à droite en zéro pour f, l'équivalence reste vraie, mais seulement sur ]0, +∞[, et pour une mesure de Borel positive $\nu$ pas forcément finie mais telle que toutes les mesures $\operatorname {e} ^{-at}\mathrm {d} \nu (t),a>0$ soient finies.

Démonstration

Pour tout réel $a>0$, la fonction $x\mapsto f(a+x)$ vérifie les hypothèses du théorème démontré ci-dessus ; notons $\nu _{a}$ la mesure associée :

$\forall x\geqslant 0\quad f(a+x)=\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \nu _{a}(t)$.

Pour $0<\alpha <\beta$, on a alors :

$\forall x\geqslant 0\quad \int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \nu _{\beta }(t)=f(\beta +x)=f(\alpha +\beta -\alpha +x)=\int _{0}^{\infty }\operatorname {e} ^{-(\beta -\alpha +x)t}\,\mathrm {d} \nu _{\alpha }(t)$.

Comme la transformation de Laplace des mesures est injective, on en déduit que pour tous réels $\alpha ,\beta >0$, $\nu _{\beta }$ admet pour densité $t\mapsto \operatorname {e} ^{-(\beta -\alpha )t}$ par rapport à $\nu _{\alpha }$. Il existe donc une mesure de Borel $\nu$ (unique) de densité $t\mapsto \operatorname {e} ^{at}$ par rapport à $\nu _{a}$ pour tout $a>0$, si bien que

$\forall x>0\quad f(x)=\int _{0}^{\infty }\operatorname {e} ^{-0t}\,\mathrm {d} \nu _{x}(t)=\int _{0}^{\infty }\operatorname {e} ^{-xt}\,\mathrm {d} \nu (t)$
.

Remarquons que la démonstration ci-dessus prouve de surcroît que les valeurs d'une fonction totalement monotone sur [a, +∞[ pour a > 0 déterminent la fonction sur tout ]0, +∞[. Cette rigidité est à rapprocher de l'analyticité des fonctions absolument monotones.

On peut donner une autre interprétation au théorème, au moins dans le cas où la fonction est continue à droite en 0 : on peut alors montrer que l'ensemble des fonctions totalement monotones telles que f(0) = 1 est convexe (c'est trivial) et compact pour la topologie de la convergence simple. Les exponentielles à exposant négatif sont les points extrémaux de ce compact convexe, et le théorème de Bernstein traduit la représentation intégrale de Choquet. On trouvera les détails dans le livre de Peter Lax.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Bernstein's theorem on monotone functions » (voir la liste des auteurs).

Liens externes

• « Un problème de concours (1998, MP, math1) sur les fonctions absolument monotones et complètement monotones », sur concours-centrale-supelec.fr et Michel Stainer, « son corrigé »
• (en) Djalil Chafaï, « The Bernstein theorem on completely monotone functions », 2013
• (en) Eric W. Weisstein, « Completely Monotonic Function », sur MathWorld