Théorème de sturm

Théorème de Sturm

Le théorème de Sturm permet de calculer le nombre de racines réelles distinctes d'une fonction polynôme comprises dans un intervalle donné. Ce théorème a été établi en 1829 par Charles Sturm.

Enoncé du théorème

Le nombre de racines réelles distinctes dans un intervalle [a,b] d'un polynôme à coefficients réels, dont a et b ne sont pas des racines, est égal à la différence du nombre de changements de signe de la suite de Sturm aux bornes de cet intervalle.

Suite de Sturm

La suite de Sturm ou chaîne de Sturm est construite à partir des polynômes $P_0=P~$ et de sa dérivée $P_1=P^\prime$

$P=x^n + \ldots + a_1 x + a_0$

$P^\prime=n*x^{(n-1)} + \ldots + a_1$

Cette suite est la séquence de résultats intermédiaires que l'on obtient en appliquant l'algorithme d'Euclide à $P_0~$ et sa dérivée $P_1~$ .

Pour obtenir cette suite on calcule :

$\begin{matrix} P_0&=&P_1 * Q_1 - P_2\\ P_1&=&P_2 * Q_2 - P_3\\ &\ldots&\\ \end{matrix}$

Les $P i$ sont donc les opposés des restes successifs de la division des deux termes précédents de la suite. Si $P~$ possède uniquement des racines distinctes, le dernier terme est une constante non nulle. Si ce terme est nul, $P~$ admet des racines multiples, et on peut dans ce cas appliquer le théorème de Sturm en utilisant la suite $T_0, T_1, \ldots, T_{r-2}, 1$ que l'on obtient en divisant les $P_1, P_2, \ldots, P_{r-1}\ par\ P_{r-1}$ .

Si on note $\sigma(\xi)~$ le nombre de changements de signe (zéro n'est pas compté comme un changement de signe) dans la séquence

$P(\xi), P_1(\xi), P_2(\xi),\ldots, P_r(\xi)$ .

le théorème de Sturm nous dit que pour deux nombres réels $a, b~$ , $a<b~$ , a et b ne sont pas des racines de $P$ , le nombre de racines dans l'intervalle $[a,b]~$ est :

$\sigma(a)-\sigma(b)~$ .

On peut utiliser ce théorème pour calculer le nombre de racines réelles distinctes en choisissant de manière appropriée les bornes $a~$ et $b~$ , par exemple toutes les racines réelles d'un polynôme sont dans l'intervalle $[-M, M]~$ avec :

$M=\max(1, \sum |a_i|)$ .

Références

Sur la résolution des équations numériques, par C. Sturm Sciences mathématiques et physiques, Tome VI Paris 1835 p 271-318

Portail des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Sturm ».

Catégories : Équation polynomiale | Analyse réelle | Théorème de mathématiques

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de sturm de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Théorème de Sturm — Le théorème de Sturm permet de calculer le nombre de racines réelles distinctes d une fonction polynôme comprises dans un intervalle donné. Ce théorème a été établi en 1829 par Charles Sturm. Énoncé du théorème Le nombre de racines réelles… … Wikipédia en Français
Théorème de Gauss-Lucas — Pour les articles homonymes, voir Théorème de Gauss. En mathématiques, le théorème de Gauss Lucas, ou théorème de Lucas, établit une propriété des polynômes complexes. Il énonce que les racines du polynôme dérivé sont situées dans l enveloppe… … Wikipédia en Français
Sturm — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronyme 2 Science et technique 3 … Wikipédia en Français
Theoreme spectral — Théorème spectral Un ellipsoïde en trois possède autant d axes de symétrie que l espace de dimensions. Ils sont notés ici x, y et z … Wikipédia en Français
STURM (C. F.) — STURM CHARLES FRANÇOIS (1803 1855) Après avoir été étudiant à l’université de Genève (sa ville natale), Sturm se rend, pour être précepteur dans la famille Broglie, à Paris, où il fréquente les plus grands savants de l’époque et où il se fixe… … Encyclopédie Universelle
Theoreme de Liouville — Théorème de Liouville Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ;… … Wikipédia en Français
Théorème de liouville — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ; le théorème de… … Wikipédia en Français
Théorème spectral — Un ellipsoïde en trois possède autant d axes de symétrie que l espace de dimensions. Ils sont notés ici x, y et z … Wikipédia en Français
Théorème de Liouville — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mathématicien Joseph Liouville a laissé son nom à plusieurs théorèmes : le théorème de Liouville en analyse complexe ; le théorème de… … Wikipédia en Français
Charles-François Sturm — Charles Sturm Pour les articles homonymes, voir Sturm. Charles Sturm Jacques Charles François Sturm, né à Genève le 29 … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de sturm