La legge di inerzia di Sylvester afferma che la segnatura di una forma quadratica reale è un invariante della forma, indipendente dalla base scelta per ridurla a forma diagonale. È il risultato classificatorio centrale per le forme quadratiche.
Vedi anche: Forme Quadratiche e Forme Bilineari, Forma Bilineare, Cambio di Base.
Riduzione a Forma Canonica
Data una forma quadratica reale con simmetrica, esiste sempre un cambio di base (congruenza) che la porta alla forma diagonale:
con . I termini mancanti corrispondono a direzioni su cui è nulla (rango ).
Segnatura
La segnatura della forma quadratica è la coppia dove:
- = numero di quadrati con segno positivo (indice di positività)
- = numero di quadrati con segno negativo (indice di negatività)
- = rango della forma
Legge di inerzia di Sylvester: la segnatura è un invariante della forma quadratica, cioè non dipende dalla particolare base scelta per la diagonalizzazione.
Classificazione delle Forme Quadratiche Reali
| Condizione | Tipo |
|---|---|
| , | Definita positiva: per |
| , ammette zeri | Semidefinita positiva: |
| , | Definita negativa |
| , | Indefinita |
Criterio di Sylvester per Forme Definite Positive
Una matrice simmetrica è definita positiva se e solo se tutti i minori principali di testa (leading principal minors) sono positivi:
Questa condizione è computazionalmente efficiente e non richiede di calcolare tutti gli autovalori. Vedi: Determinante.
Relazione con gli Autovalori
Per una matrice simmetrica :
- = numero di autovalori positivi (con molteplicità)
- = numero di autovalori negativi
- = numero di autovalori nulli (nullità)
definita positiva tutti gli autovalori criterio di Sylvester. Vedi: Teorema Spettrale.
Applicazioni ingegneristiche
- Stabilità dei sistemi dinamici: un punto di equilibrio è stabile (minimo di energia) se la matrice hessiana dell’energia potenziale è definita positiva; il criterio di Sylvester lo verifica senza calcolare autovalori. Vedi: Hessiano.
- Meccanica strutturale: la matrice di rigidezza di una struttura ben vincolata è definita positiva; la sua segnatura determina il numero di modi rigidi (autovalori nulli).
- Fattorizzazione di Cholesky: una matrice simmetrica ammette la fattorizzazione (con triangolare inferiore a diagonale positiva) se e solo se è definita positiva. Vedi: Fattorizzazione di Cholesky.
- Classificazione di coniche e quadriche: la segnatura della forma quadratica associata determina il tipo di conica (ellisse, iperbole, parabola) e di quadrica.