Inégalité 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 $\alpha _{k}$ complexes et des coefficients $\lambda _{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 {\pi }{2}}$, en effectuant le changement de variables $u={\frac {\pi t}{2\Lambda }}$. On supposera que $\Lambda$ a cette valeur dans la suite.

On utilise la formule suivante

    $\forall x\in [-{\frac {\pi }{2}},{\frac {\pi }{2}}],\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 $\lambda _{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 $\gamma _{n}e^{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 }$
