Inegalite de Bernstein

Inégalité de Bernstein

En mathématiques, l'inégalité de Bernstein est un résultat d'analyse. Elle permet de comparer la borne supérieure d'une fonction ayant une forme particulière et celle de sa dérivée.

Sous sa forme générale, l'inégalité s'applique à une fonction de la forme suivante

$f(t)=\sum_{k=1}^p \alpha_k e^{i\lambda_k t}$

avec des coefficients α_k complexes et des coefficients λ_k réels et distincts. L'inégalité s'énonce ainsi

$\|f'\|_\infty \leq \max\limits_{1\leq k\leq p}|\lambda_k|\cdot \|f\|_\infty$

Démonstration

On notera

$\Lambda = \max\limits_{1\leq k\leq p}|\lambda_k|$

On peut se ramener au cas où cette constante a une valeur choisie, par exemple $\Lambda=\frac\pi2$, en effectuant le changement de variables $u=\frac{\pi t}{2\Lambda}$. On supposera que Λ a cette valeur dans la suite.

On utilise la formule suivante

$\forall x\in [-\frac\pi2, \frac\pi2], \qquad x=\sum_{n=-\infty}^{+\infty} \gamma_n e^{inx}$

avec

$\gamma _{2n}=0,\qquad \gamma_{2n+1}= \frac{2(-1)^{n+1}i}{\pi (2n+1)^2},$

formule issue de la théorie des séries de Fourier. Il s'agit en effet du développement en série de Fourier d'une fonction triangle.

Si on décompose les facteurs λ_k apparaissant dans la dérivée de f à l'aide de cette formule,

$f'(t)=\sum_{k=1}^p\left( \sum_{n=-\infty}^{+\infty} \gamma_n e^{in\lambda_k}\right) i \alpha_k e^{i\lambda_k t} = i\sum_{n=-\infty}^{+\infty} \gamma_n \sum_{k=1}^p \alpha_k e^{i\lambda_k (t+n)}$

Finalement la dérivée s'exprime comme

$f'(t)= i\sum_{n=-\infty}^{+\infty} \gamma_n f(t+n)$

Ce qui peut être majoré par

$|f'(t)|\leq \left( \sum_{n=-\infty}^{+\infty} | \gamma_n |\right)\cdot \|f\|_\infty$

Or pour $t=\frac\pi 2$, tous les termes γ_ne^int sont réels positifs, donc

$\sum_{n=-\infty}^{+\infty} | \gamma_n |=\frac\pi 2$

Ce qui est bien la propriété souhaitée :

$\|f'\|_\infty \leq \Lambda\cdot \|f\|_\infty$

Ce document provient de « In%C3%A9galit%C3%A9 de Bernstein ».