Teorema di Sturm

Template:S Il teorema di Sturm è uno strumento molto utile per studiare la separazione delle radici di un polinomio. Esso permette la determinazione di intervalli contenenti le radici del polinomio.

Il nome deriva dal matematico Jacques Charles François Sturm.

Successione di Sturm

Per arrivare ad enunciare il teorema di Sturm è necessario definire la successione di Sturm. Dato un polinomio $P(x)$ di grado $n,$ la sua successione di Sturm $P_0(x),P_1(x),\dots ,P_k(x)$, con $P_0(x)\equiv P(x)$ e $P_1(x)\equiv P^{\prime }(x)$, si definisce come:

$\{\begin{array}{c}{P}_0(x)=P_1(x)Q_1(x)-P_2(x)\\ P_1(x)=P_2(x)Q_2(x)-P_3(x)\\ ⋮\\ P_{k-2}(x)=P_{k-1}(x)Q_{k-1}(x)-P_k(x)\\ P_{k-1}(x)=P_k(x)Q_k(x).\end{array}$

Si definiscono variazioni successioni di due numeri consecutivi, esclusi gli zeri, che abbiano segno opposto. Il numero di tali variazioni nella successione si indica con $V(x)$.

Enunciato

Se $P(x)$, un polinomio di grado $n\ge 1$ e $a_i\in ℝ$ ha radici tutte distinte e $P_0(x),P_1(x),\dots ,P_k(x)$ è la sua successione di Sturm, allora per ogni coppia di reali $a$ e $b$ con $a\le b$, $V(a)-V(b)$ fornisce il numero di radici reali $\alpha$ di $P(x)$ tali che $a<\alpha \le b$.