Etant donné un polynôme à coefficients complexes non constant, comment majorer le module de ses racines ?
Une réponse sera abordée dans cet article, grâce à la notion de borne de Cauchy.
Soit $n$ un entier naturel non nul et soit $P\in\C[X]$ un polynôme unitaire de degré $n.$ Il existe $n$ coefficients, $a_0,\dots,a_{n-1}$ tels que :
P(X) = X^n + a_{n−1}X^{n−1} + \cdots + a_1X + a_0.
Le cas $a_0 = \cdots = a_{n-1} = 0$ fournit $P(X) = X^n$ et $P$ admet $0$ pour racine unique.
Dans la suite, vous supposerez que les coefficients $a_0,\dots,a_{n-1}$ ne sont pas tous simultanément nuls.
Ramenez-vous à un polynôme réel
Considérez le polynôme $Q\in\R[X]$ défini par :
Q(X) = X^n - \vert a_{n−1}\vert X^{n−1} - \cdots - \vert a_1\vert X - \vert a_0\vert.
Ensuite, pour tout réel $x > 0$ vous posez :
f(x) = \frac{Q(x)}{x^n}.
Cette égalité définit une fonction réelle $f$, définie sur $]0,+\infty[.$
Notez que, pour tout $x>0$:
\begin{align*} f(x) &= 1-\frac{\vert a_{n−1}\vert}{x} - \cdots - \frac{\vert a_1\vert}{x^{n-1}} - \frac{\vert a_0\vert}{x^n}\\ &=1-\sum_{k=1}^n \frac{\vert a_{n-k}\vert}{x^k}\\ &=1-\sum_{\ell=0}^{n-1} \frac{\vert a_{\ell}\vert}{x^{n-\ell}}. \end{align*}
En dérivant, il vient, pour tout $x>0$:
\begin{align*} f'(x) &= - \sum_{k=1}^n \frac{-k \vert a_{n-k} \vert }{x^{k+1}}\\ &= \sum_{k=1}^n \frac{k \vert a_{n-k} \vert }{x^{k+1}}\\ &= \sum_{\ell=0}^{n-1} \frac{(n-\ell) \vert a_{\ell} \vert }{x^{n-\ell+1}}. \end{align*}
Soit $i\in\llbracket 0,n-1\rrbracket$ tel que $a_i \neq 0.$ Par positivité des éléments de la somme précédente, vous déduisez:
\forall x>0, f'(x)\geq \frac{(n-i)\vert a_i \vert}{x^{n-i+1}}.
Comme $\vert a_i \vert >0$ vous déduisez:
\forall x>0, f'(x) >0.
Sur l’intervalle $]0,+\infty[$ la fonction $f$ est strictement croissante.
D’autre part, pour tout $x>0$:
\begin{align*} \sum_{\ell=0}^{n-1} \frac{\vert a_{\ell}\vert}{x^{n-\ell}} &\geq \frac{\vert a_{i}\vert}{x^{n-i}}\\ -\sum_{\ell=0}^{n-1} \frac{\vert a_{\ell}\vert}{x^{n-\ell}} &\leq - \frac{\vert a_{i}\vert}{x^{n-i}}\\ 1-\sum_{\ell=0}^{n-1} \frac{\vert a_{\ell}\vert}{x^{n-\ell}} &\leq 1- \frac{\vert a_{i}\vert}{x^{n-i}}\\ f(x) &\leq 1- \frac{\vert a_{i}\vert}{x^{n-i}}. \end{align*}
D’autre part, comme $n-i > 0$, vous déduisez:
\lim_{\substack{x\to 0 \\x>0}} x^{n-i} = 0^{+}.
Ainsi:
\begin{align*} \lim_{\substack{x\to 0 \\x>0}} \frac{\vert a_i \vert}{x^{n-i}} &= +\infty \\ \lim_{\substack{x\to 0 \\x>0}} 1-\frac{\vert a_i \vert}{x^{n-i}} &= -\infty. \end{align*}
Par comparaison, il vient:
\lim_{\substack{x\to 0 \\x>0}} f(x) = -\infty.
Maintenant, pour l’étude en $+\infty$ vous pouvez remarquer que:
\forall k\in\llbracket 1, n\rrbracket, \lim_{x\to +\infty} x^k = +\infty.
Du coup:
\forall k\in\llbracket 1, n\rrbracket, \lim_{x\to +\infty} \frac{\vert a_{n-k}\vert}{x^k} = 0.
Par somme, vous déduisez:
\lim_{x\to +\infty} f(x) = 1.
Compte tenu des limites précédentes, de la continuité de $f$ sur $]0,+\infty[$ et de sa stricte monotonie, vous avez établi que la fonction $f$ réalise une bijection de $]0,+\infty[$ vers $]-\infty,1[.$
Comme $0\in]-\infty,1[$, l’équation $f(x) = 0$ admet une solution et une seule dans $]0,+\infty[.$
Définissez la borne de Cauchy
D’après la section précédente, il existe un unique réel strictement positif, noté $c(P)$ tel que $f(c(P))=0.$ Le nombre $c(P)$ sera appelé borne de Cauchy du polynôme $P.$
Vous allez montrer que $c(P)$ est l’unique solution strictement positive de l’équation $Q(x)=0.$
Analyse. Soit $t\in\R$ un nombre strictement positif tel que $Q(t) = 0.$ Alors $\frac{Q(t)}{t^n} = 0$ donc $f(t)=0$ et $t = c(P).$
Synthèse. Posez $t = c(P)$. Alors $t>0$ et comme $f(t)=0$ il vient $\frac{Q(t)}{t^n} = 0$ puis $Q(t)=0.$
En définitive, il existe un unique réel strictement positif, noté $c(P)$ et appelé borne de Cauchy, tel que:
\boxed{c(P)^n = \vert a_{n−1}\vert c(P)^{n−1} + \cdots + \vert a_1\vert c(P) + \vert a_0\vert.}
Obtenez un encadrement du maximum du module des racines de $P$
En tant que polynôme unitaire de $\C[X]$ et en vertu du théorème de d’Alembert, il existe $n$ nombres complexes (pas nécessairement distincts) $r_1,\dots, r_n$ tels que :
P(X) = (X-r_1)\cdots(X-r_n).
Vous notez $\boxed{R = \max \{\vert r_i\vert, i\in\llbracket 1,n\rrbracket\}.}$
Une majoration de $R$
Soit $i\in\llbracket 1, n\rrbracket.$ Comme $P(r_i) = 0$, vous déduisez :
\begin{align*} r_i^n &= - a_{n−1}r_i^{n−1} - \cdots - a_1r_i - a_0\\ \vert r_i\vert ^n &= \vert -a_{n−1}r_i^{n−1} - \cdots - a_1r_i - a_0 \vert\\ \vert r_i\vert ^n &= \vert a_{n−1}r_i^{n−1} + \cdots + a_1r_i + a_0 \vert. \end{align*}
Utilisant l’inégalité triangulaire :
\begin{align*} \vert r_i\vert ^n &\leq \vert a_{n−1} r_i\vert^{n−1} + \cdots + \vert a_1r_i\vert + \vert a_0 \vert\\ &\leq \vert a_{n−1}\vert \vert r_i\vert^{n−1} + \cdots + \vert a_1\vert \vert r_i\vert + \vert a_0 \vert\\ &\leq \vert a_{n−1}\vert R^{n−1} + \cdots + \vert a_1\vert R + \vert a_0 \vert. \end{align*}
Ainsi :
\forall i\in\llbracket 1,n\rrbracket, \vert r_i\vert^n\leq \vert a_{n−1}\vert R^{n−1} + \cdots + \vert a_1\vert R + \vert a_0 \vert.
Or, il existe $i_0\in\llbracket 1, n\rrbracket$ tel que $R = \vert r_{i_0}\vert.$ Du coup :
\begin{align*} R^n&\leq \vert a_{n−1}\vert R^{n−1} + \cdots + \vert a_1\vert R + \vert a_0 \vert \\ R^n -\vert a_{n−1}\vert R^{n−1} - \cdots - \vert a_1\vert R - \vert a_0 \vert &\leq 0\\ Q(R)&\leq 0. \end{align*}
Si $R$ est nul, alors $\vert r_1 \vert = \cdots = \vert r_n \vert = 0$ et donc $P(X) = X^n$ ce qui entraîne la nullité de tous les coefficients $a_0,\dots,a_{n-1}$ ce qui est absurde. Donc $R>0.$
Du coup, $\frac{Q(R)}{R^n} \leq 0$ soit $f(R)\leq 0$ et par suite $f(R)\leq f(c(P)).$ Supposez que $R > c(P).$ Comme $c(P)>0$, $R$ et $c(P)$ appartiennent à l’intervalle $]0,+\infty[.$ Comme $f$ est strictement croissante sur cet intervalle, vous déduisez $f(R) > f(c(P))$, contradiction.
Ainsi, le maximum des modules des racines de $P$ est inférieur ou égal à la borne de Cauchy:
\boxed{R\leq c(P).}
Une minoration de $R$
Vous développez l’expression:
P(X) = (X-r_1)\cdots(X-r_n).
Pour cela vous utilisez les fonctions symétriques des racines:
\left\{\begin{align*} \sigma_1 &= r_1+\cdots+r_n =\sum_{i=1}^n r_i\\ \vdots\\ \sigma_k &= \sum_{1\leq i_1<\cdots < i_k \leq n} r_{i_1}\cdots r_{i_k}\\ \vdots\\ \sigma_n &= r_1\cdots r_n.\\ \end{align*} \right.
Il vient:
P(X) = X^n-\sigma_1X^{n-1}+\cdots+(-1)^k \sigma_kX^{n-k}+\cdots+(-1)^n\sigma_n.
Or:
P(X) = X^n + \sum_{k=1}^n a_{n−k}X^{n−k}.
Par identification, vous déduisez:
\forall k\in\llbracket 1,n\rrbracket, a_{n-k} = (-1)^k\sigma_k.
Soit maintenant $k$ fixé appartenant à l’intervalle d’entiers $\llbracket 1, n\rrbracket.$ Vous avez:
\begin{align*} \vert a_{n-k} \vert &= \vert \sigma_k\vert \\ &=\left\vert \sum_{1\leq i_1<\cdots < i_k \leq n} r_{i_1}\cdots r_{i_k} \right\vert. \end{align*}
Par inégalité triangulaire:
\begin{align*} \vert a_{n-k} \vert &\leq \sum_{1\leq i_1<\cdots < i_k \leq n} \vert r_{i_1}\cdots r_{i_k} \vert \\ &\leq \sum_{1\leq i_1<\cdots < i_k \leq n} \vert r_{i_1}\vert \cdots \vert r_{i_k} \vert \\ &\leq \sum_{1\leq i_1<\cdots < i_k \leq n}R^k \\ &\leq \binom{n}{k} R^k. \end{align*}
Ainsi:
\forall k\in\llbracket 1, n\rrbracket, \vert a_{n-k} \vert \leq \binom{n}{k} R^k.
Or:
c(P)^n = \sum_{k=1}^n\vert a_{n−k}\vert c(P)^{n−k}.
Vous déduisez la majoration:
c(P)^n \leq \sum_{k=1}^n \binom{n}{k} R^k c(P)^{n−k}.
Il manque un terme pour obtenir le développement du binôme. Vous rajoutez ce terme:
\begin{align*} c(P)^n + c(P)^n &\leq \sum_{k=1}^n \binom{n}{k} R^k c(P)^{n−k} + c(P)^n \\ 2 c(P)^n &\leq \sum_{k=0}^n \binom{n}{k} R^k c(P)^{n−k} \\ 2 c(P)^n &\leq (R + c(P) )^{n} \\ \sqrt[n]{2} c(P) &\leq R+c(P). \end{align*}
Finalement :
\boxed{(\sqrt[n]{2} -1)c(P) \leq R.}
Concluez
En notant $R$ le maximum des modules de racines de $P$ et $c(P)$ la borne de Cauchy de $P$, vous avez un encadrement de $R$ :
\boxed{(\sqrt[n]{2} -1)c(P) \leq R\leq c(P).}
Une majoration de $c(P)$ par les coefficients du polynôme $P$
Il a été vu que $c(P)$ vérifie l’égalité suivante $f(c(P))=0.$
Pour effectuer une majoration, vous posez :
A = \max\{\vert a_i\vert, i\in\llbracket 0, n-1\rrbracket\}.
Remarquez que $A >0.$
Cela aboutit à :
\begin{align*} \vert a_{n−1}\vert (1+A)^{n−1} + \cdots + \vert a_1\vert (1+A) + \vert a_0\vert &\leq A((1+A)^{n-1}+\cdots+(1+A)+1)\\ &\leq A \times \frac{(1+A)^n-1}{(1+A)-1} \\ &\leq (1+A)^n-1\\ &< (1+A)^n. \end{align*}
Par suite, $Q(1+A) > 0$ et donc $\frac{Q(1+A)}{(1+A)^n} > 0$ donc $f(1+A)>0$ et donc $f(1+A)> f(c(P)).$
Si $1+A\leq c(P) $, alors vu que $c(P)>0$ les réels $c(P)$ et $1+A$ appartiennent à l’intervalle $]0,+\infty[.$ Or $f$ est croissante sur cet intervalle, donc $f(1+A)\leq f(c(P))$, contradiction. Ainsi $c(P) < 1+A.$
Concluez
Pour tout polynôme $P$ à coefficients complexes non constant, vous notez $\rho(P)$ le maximum du module de ses racines.
Pour tout polynôme $P$ unitaire à coefficients complexes, non constant de degré $n\in\NN$, différent de $X^n$, il existe un unique $n$-uplet $(a_0\dots,a_{n-1})\in\C^n \setminus \{(0,\dots,0)\}$ tel que:
P(X) = X^n + a_{n−1}X^{n−1} + \cdots + a_1X + a_0.
De plus, il existe un unique $c(P)\in\R_{+}^{*}$, appelé borne de Cauchy de $P$, qui est la seule solution de l’équation suivante d’inconnue $x\in\R_{+}^{*}$:
x^n = \vert a_{n-1}\vert x^{n-1}+\cdots+\vert a_1\vert x +\vert a_0\vert .
De plus, les inégalités suivantes sont vérifiées:
\boxed{(\sqrt[n]{2} -1)c(P) \leq \rho(P)\leq c(P)< 1+\max \{\vert a_i \vert, i\in\llbracket 0, n-1\rrbracket \}.}
Partagez !
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook !
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles !
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !