Théorème de Bernstein (polynômes)

Modèle:Voir homonymes En analyse, le théorème de Bernstein est une inégalité reliant le maximum du module d'une fonction polynomiale complexe sur le disque unitaire avec le maximum du module de sa dérivée sur le disque unitaire. Ce résultat a été prouvé par Sergueï Bernstein alors qu'il travaillait sur la théorie de l'approximation.

Énoncé

On note $\underset{|z|=1}{\max }|f(z)|$ le module maximum d'une fonction arbitraire $f$ sur $\{|z|=1\}$ et on désigne par $f^{\prime }$ sa dérivée. Alors pour chaque polynôme $P$ à coefficients complexes de degré $n$, on a:

$$\underset{|z|=1}{\max }|P^{\prime }(z)|\le n\underset{|z|=1}{\max }|P(z)|.$$

L'inégalité est la meilleure possible, puisqu'il y a égalité si et seulement si :

$$P(z)=\alpha z^n,|\alpha |=\underset{|z|=1}{\max }|P(z)|.$$

Preuve

Soit $P$ un polynôme de degré $n$ et soit $Q$ un autre polynôme du même degré sans zéros dans $\{|z|⩾1\}$. On montre d'abord que si $|P(z)|<|Q(z)|$ sur $\{|z|=1\}$, alors $|P^{\prime }(z)|<|Q^{\prime }(z)|$ sur $\{|z|⩾1\}$ .

Par le théorème de Rouché, le polynôme $P(z)+aQ(z)$ avec $|a|\ge 1$ a tous ses zéros dans le disque unité. En vertu du théorème de Gauss-Lucas, $P^{\prime }(z)+a{Q}^{\prime }(z)$ a tous ses zéros dans $\{|z|<1\}$. Il s'ensuit que $|P^{\prime }(z)|<|Q^{\prime }(z)|$ sur $\{|z|⩾1\}$, sinon on pourrait choisir un $a$ avec $|a|\ge 1$ tel que $P^{\prime }(z)+a{Q}^{\prime }(z)$ ait un zéro dans $\{|z|⩾1\}$ .

Pour un polynôme arbitraire $P$ de degré $n$, nous obtenons alors le théorème de Bernstein en appliquant le résultat ci-dessus au polynôme $Q(z)=C{z}^n$, où $C$ est une constante arbitraire dépassant $\underset{|z|=1}{\max }|P(z)|$.

Inégalité de Bernstein

En analyse mathématique, lModèle:'inégalité de Bernstein énonce que sur le plan complexe, dans le disque de rayon 1, le degré d'un polynôme multiplié par la valeur maximale d'un polynôme est une majoration de ce même maximum pour sa dérivée. Prenant la "k- ème dérivée" du théorème, on obtient

$\underset{|z|\le 1}{\max }(|P^{(k)}(z)|)\le \frac{n!}{(n-k)!}\cdot \underset{|z|\le 1}{\max }(|P(z)|).$

Résultats similaires

Paul Erdős a conjecturé que si $P(z)$ n'a pas de zéros dans le disque unité $\{|z|<1\}$, alors $\underset{|z|=1}{\max }|P^{\prime }(z)|\le \frac{n}{2}\underset{|z|=1}{\max }|P(z)|$ . Cela a été prouvé par Peter Lax.

M. A. Malik a montré que si $P(z)$ n'a pas de zéros dans $\{|z|<k\}$ pour un $k\ge 1$ donné, alors $\underset{|z|=1}{\max }|P^{\prime }(z)|\le \frac{n}{1+k}\underset{|z|=1}{\max }|P(z)|$ .

Bibliographie

• Modèle:Article.
• Modèle:Ouvrage.
• Modèle:Ouvrage.