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
![{\displaystyle f(t)=\sum _{k=1}^{p}\alpha _{k}e^{i\lambda _{k}t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d327cfe8b4de096e7e9975bd5b444596feb6029f)
avec des coefficients
complexes et des coefficients
réels et distincts. L'inégalité s'énonce ainsi
![{\displaystyle \|f'\|_{\infty }\leq \max \limits _{1\leq k\leq p}|\lambda _{k}|\cdot \|f\|_{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b28169b7d1dc3f53bfa56dbdce31a6cafece20d)
On notera
![{\displaystyle \Lambda =\max \limits _{1\leq k\leq p}|\lambda _{k}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f40235fb0a21a032bd2e03c71f8232672b3c3da)
On peut se ramener au cas où cette constante a une valeur choisie, par exemple
, en effectuant le changement de variables
. On supposera que
a cette valeur dans la suite.
On utilise la formule suivante
![{\displaystyle \forall x\in [-{\frac {\pi }{2}},{\frac {\pi }{2}}],\qquad x=\sum _{n=-\infty }^{+\infty }\gamma _{n}e^{inx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/137185700a3841a9511bb3f0ef3bdea34f2cde04)
avec
![{\displaystyle \gamma _{2n}=0,\qquad \gamma _{2n+1}={\frac {2(-1)^{n+1}i}{\pi (2n+1)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9689da7d2e529742a22413d7f6b49e9f5b372d8)
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
apparaissant dans la dérivée de f à l'aide de cette formule,
![{\displaystyle 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)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58bce73bee204519b6d4be78e65a19fb3421e197)
Finalement la dérivée s'exprime comme
![{\displaystyle f'(t)=i\sum _{n=-\infty }^{+\infty }\gamma _{n}f(t+n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3454b2f103beeef7fb193c2ff6904bbba2a489d1)
Ce qui peut être majoré par
![{\displaystyle |f'(t)|\leq \left(\sum _{n=-\infty }^{+\infty }|\gamma _{n}|\right)\cdot \|f\|_{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfdb25b8c438973b6a90eb58b2673682c92ccdd5)
Or pour
, tous les termes
sont réels positifs, donc
![{\displaystyle \sum _{n=-\infty }^{+\infty }|\gamma _{n}|={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff9097f105a358dc896b17ce9904c179df791d72)
Ce qui est bien la propriété souhaitée :
![{\displaystyle \|f'\|_{\infty }\leq \Lambda \cdot \|f\|_{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7003bde5f8f0f47c78c051c77381c4a900f2a1e6)