Identità di Newton

Template:U In matematica, le identità di Newton, dette anche formule di Newton–Girard, descrivono le relazioni che legano i polinomi simmetrici elementari con altri polinomi simmetrici ottenuti mediante somme di potenze. Possono essere anche interpretate come relazioni che legano i coefficienti di un polinomio monico con le sue radici, più precisamente, con la somma delle radici, la somma dei quadrati delle radici etc. Furono scoperte da Isaac Newton nel 1666 circa; egli probabilmente non era a conoscenza di un precedente lavoro di Albert Girard del 1629. Queste identità hanno applicazioni immediate in molti campi della matematica, fra cui la teoria di Galois, la teoria degli invarianti, la teoria dei gruppi, il calcolo combinatorio, e anche al di fuori di essa, come per esempio nella relatività generale.

Enunciato in forma relativa ai polinomi simmetrici elementari

Se $x_1,...,x_n$ sono variabili, si definisca, per $k\ge 1$, il polinomio $p_k(x_1,...,x_n)$ come la somma delle $k$-esime potenze di $x_1,...,x_n$, cioè:

$p_k(x_1,\dots ,x_n)=\sum _{i=1}^n{x}_i^k=x_1^k+\cdots +x_n^k.$

Per k ≥ 0 siano e_k(x₁,…,x_n) i polinomi simmetrici elementari, cioè, la somma di tutti i possibili prodotti di k variabili distinte:

$\begin{array}{cc}{e}_0(x_1,\dots ,x_n)& =1,\\ e_1(x_1,\dots ,x_n)& =x_1+x_2+\cdots +x_n,\\ e_2(x_1,\dots ,x_n)& =\sum _{1\le i<j\le n}{x}_i{x}_j,\\ \dots \\ e_n(x_1,\dots ,x_n)& =x_1{x}_2\cdots x_n,\\ e_k(x_1,\dots ,x_n)& =0,\text{per}k>n.\\ \end{array}$

Le identità di Newton possono essere allora enunciate come:

$k{e}_k(x_1,\dots ,x_n)=\sum _{i=1}^k(-1{)}^{i-1}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

per tutti i k ≥ 1. In particolare, per i primi valori di k:

$\begin{array}{cc}{e}_1(x_1,\dots ,x_n)& =p_1(x_1,\dots ,x_n),\\ 2e_2(x_1,\dots ,x_n)& =e_1(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-p_2(x_1,\dots ,x_n),\\ 3e_3(x_1,\dots ,x_n)& =e_2(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-e_1(x_1,\dots ,x_n)p_2(x_1,\dots ,x_n)+p_3(x_1,\dots ,x_n).\\ \end{array}$

Caso delle radici di un polinomio

Si consideri un polinomio di grado n con esattamente n radici nell'anello in cui si sta lavorando:

$p(\lambda )=\prod _{\alpha =1}^n(\lambda -x_{\alpha })={\lambda }^n+\sum _{k=1}^n{a}_k{\lambda }^{n-k}$

dove $x_{\alpha }$ sono le radici e $a_k$ sono i coefficienti. Si ha

$a_k=(-1{)}^k{e}_k(x_1,\dots ,x_n).$

Definiamo la somma di potenze

$t_j=\sum _{\alpha =1}^n{x}_{\alpha }^j$

Allora le identità di Newton forniscono:

$t_1=-a_1$

$t_2=-a_1{t}_1-2a_2$

$t_3=-a_1{t}_2-a_2{t}_1-3a_3$

$t_4=-a_1{t}_3-a_2{t}_2-a_3{t}_1-4a_4$

$t_5=-a_1{t}_4-a_2{t}_3-a_3{t}_2-a_4{t}_1-5a_5$

Da queste relazioni possiamo facilmente ottenere utili formule che esprimono la somma delle potenze in termini dei coefficienti:

$t_1=-a_1$

$t_2=a_1^2-2a_2$

$t_3=-a_1^3+3a_1{a}_2-3a_3$

$t_4=a_1^4-4a_1^2{a}_2+4a_1{a}_3+2a_2^2-4a_4$

$t_5=-a_1^5+5a_1^3{a}_2-5a_1^2{a}_3-5a_1{a}_2^2+5a_1{a}_4+5a_2{a}_3+5a_5$

Infine possiamo risolvere le espressioni per fornire i coefficienti come somma di potenze:

$a_1=-t_1$

$a_2=\frac{1}{2}(t_1^2-t_2)$

$a_3=-\frac{1}{6}(t_1^3-3t_1{t}_2+2t_3)$

$a_4=\frac{1}{24}(t_1^4-6t_1^2{t}_2+3t_2^2+8t_1{t}_3-6t_4)$

$a_5=-\frac{1}{120}(t_1^5-10t_1^3{t}_2+20t_1{t}_2^2+15t_1^2{t}_3-30t_1{t}_4-20t_2{t}_3+24t_5)$

e così via.

Applicazione per calcolare il polinomio caratteristico di una matrice (o di un operatore)

Se il polinomio in considerazione è il polinomio caratteristico di un operatore lineare (o di una matrice), allora le sue radici sono gli autovalori dell'operatore (o della matrice).

Si verifica che in questo caso ciascun $t_j$ è la traccia della potenza j-esima della matrice:

$t_j=\mathrm{t}\mathrm{r}\left(A^j\right).$

Le identità di Newton forniscono così un metodo per calcolare il polinomio caratteristico di una matrice senza fare uso del determinante, poiché gli $a_j$ possono essere ricavati in funzione dei $t_j.$ Si noti che, per applicare questo metodo, non è necessario calcolare effettivamente gli autovalori, ma solo la loro somma, la somma dei loro quadrati etc. In particolare, gli autovalori potrebbero non esistere nemmeno nel campo in cui si considerano i coefficienti della matrice (per esempio, la matrice potrebbe essere a coefficienti reali ma con autovalori complessi), ma i calcoli che vengono effettuati sono tutti svolti nel campo dei coefficienti della matrice.

Voci correlate

• Polinomio simmetrico
• Teoremi newtoniani

Collegamenti esterni

• Template:Collegamenti esterni