Metodi per la risoluzione di sistemi lineari

Transcript

1 Metodi per la risoluzione di sistemi lineari Sistemi di equazioni lineari. Rango di matrici Come è noto (vedi [] sez.0.8), ad ogni matrice quadrata A è associato un numero reale det(a) detto determinante della matrice. L ordine di una matrice quadrata è il numero delle sue righe o, equivalentemente, delle sue colonne. Definizione.. Data una matrice A, si chiama minore della matrice A una sotto-matrice quadrata, cioè una matrice che si ottiene da A cancellando alcune righe (anche nessuna) ed alcune colonne (anche nessuna) in modo che il numero di righe rimanenti sia uguale al numero di colonne rimanenti. Diremo che un minore M di A è non nullo se det(m) 0. Chiameremo rango di A l ordine massimo dei suoi minori non nulli, ovvero rg(a) = k se esiste un minore non nullo di ordine k e se tutti i minori di ordine k + (se esistono) sono nulli. Osservazione.2. Se A è una matrice m n, cioè ha m righe e n colonne, il suo rango è al più min(m, n), in questo caso si dice che la matrice ha rango massimo. Una matrice n n ha rango massimo se e solo se il suo determinante è non nullo. Una matrice ha rango zero se e solo se tutti i numeri che la compongono sono nulli. Esempio.3. Consideriamo la matrice ( ) 3, (.) 5 e osserviamo che il suo determinante vale 6, quindi il suo rango è massimo, cioè vale 2. Consideriamo la matrice 2 4 2, (.2) 0 2 9

2 Sistemi lineari 2 e osserviamo che il suo determinante vale 0, quindi il suo rango non è massimo, cioè è minore di 3. D altra parte, cancellando ad esempio l ultima riga e l ultima colonna, si ottiene il minore ( ), (.3) 4 2 che ha determinante 2, quindi il rango è 2. La definizione di rango di una matrice suggerisce un metodo per calcolarlo dal basso : cominciamo col cercare i minori di ordine di A non nulli (facile!): se non ne troviamo la matrice A ha rango 0, altrimenti rg(a). In questo caso cerchiamo quelli di ordine 2 non nulli (ancora facile): se non ne troviamo la matrice ha rango, altrimenti rg(a) 2. Andiamo avanti in questo modo finché non troviamo un numero k per cui c è un minore di ordine k non nullo ma tutti i minori di ordine k +, se esistono, sono nulli. k sarà il rango della matrice. Consideriamo allora la matrice A = (.4) Mentre è facile trovare minori di ordine e 2 non nulli, per sapere se il rango è 3 potremmo dover calcolare i determinanti di tutti i minore di ordine 3, cioè di 4 matrici 3 3. Il risultato che segue dimostra che possiamo fare qualche calcolo in meno. Definizione.4. Se M è un minore di ordine k della matrice A, e N è un minore di ordine k + della matrice A, diremo che N orla M (N è una matrice orlata di M) se M si ottiene da N cancellandone una riga ed una colonna. Proposizione.5 (delle matrici orlate). Se M è un minore non nullo di A di ordine k, la matrice A ha rango k se e solo se tutte le matrici orlate di M hanno determinante nullo. In pratica il risultato precedente ci dice che, nella ricerca del rango dal basso, possiamo fermarci al valore k se abbiamo trovato un minore non nullo di ordine k, e, invece di controllare tutti i minori di ordine k + (se esistono) ci limitiamo a controllare solo quelli che si ottengono orlando il minore M. Nel caso della matrice A di eq. (.4) ad esempio, scelto il minore non nullo ( ) 0 5, (.5) ci sono solo due minori che lo orlano, e cioè M = 0 e N = 2. (.6)

3 Sistemi lineari 3 E facile vedere che entrambi hanno determinante nullo, e questo implica che il rango di A è 2. Cioè la Proposizione.5 ci assicura che se si annullano entrambi i minori M ed N che orlano il minore 2 2 non nullo che abbiamo scelto si annullano tutti i minori di ordine 3 (verificate!). Esempio.6. Studiamo ora la matrice 4 4 B = (.7) Partendo ( ) dai minori di ordine basso, possiamo scegliere il minore non nullo. I minori che lo orlano sono 4: M = M 2 = 0 2 2, M 3 = M 4 = Mentre i primi tre minori M, M 2 e M 3 hanno determinante nullo, det(m 4 ) = 4, quindi il rango della matrice B è almeno 3. Calcoliamo infine il determinante della matrice B sviluppandolo a partire dalla 3 a riga, in modo da ritrovare alcuni dei determinanti già calcolati: det(b) = 2 det det = 2( ) 3( ) = 0, det(m ) 8 det(m 2 ) quindi il rango di B non è 4. Mettendo insieme i due risultati si ha rg(b) = 3..2 Il teorema di Rouché-Capelli Ricordiamo che un generico sistema di equazioni lineari si può scrivere nella forma AX = B, ove A è la matrice dei coefficienti, X è il vettore delle incognite e B è il vettore dei termini noti, mentre con AX si intende il prodotto tra matrici (vedi [] sez.0.4 e 0.7). Come è noto tre situazioni sono possibili per il sistema AX = B: esistenza e unicità del vettore delle soluzioni, esistenza di infinite soluzioni dipendenti da alcuni parametri, nessuna soluzione esistente. Il seguente Teorema caratterizza completamente le diverse alternative tramite i valori del rango delle matrici A e A B, ove con A B si intende la matrice ottenuta aggiungendo alla matrice A la colonna data dal vettore B. Teorema.7 (di Rouché-Capelli). Il sistema AX = B è compatibile, cioè ha soluzioni, se e solo se rg(a) = rg(a B). In questo caso, se n è il numero delle incognite e k = rg(a) = rg(a B), lo spazio delle soluzioni dipende da n k parametri. In particolare il vettore delle soluzioni esiste ed è unico se e solo se n = k, mentre se rg(a) rg(a B) non ci sono soluzioni.

4 Sistemi lineari 4 Osservazione.8. Se A è una matrice n n, la soluzione esiste ed è unica se e solo se det(a) 0, cioè rg(a) = n (Teorema di Cramer). Da un alto infatti, se det(a) 0, la matrice A B è n (n+), perciò, avendo un minore di ordine n non nullo (cioè la matrice A) ed essendo n il rango massimo, rg(a) = rg(a B) = n, cioè il sistema è compatibile. Inoltre il numero delle incognite è uguale al rango, cioè la soluzione è unica. Viceversa, l esistenza vuol dire rg(a) = rg(a B), e l unicità vuol dire n = rg(a). Il Teorema di Rouché-Capelli fornisce anche il seguente metodo per determinare le soluzioni, quando esistono: se rg(a) = rg(a B) = k, si può scegliere un minore M di ordine k non nullo. Scegliere un tale minore corrisponde a scegliere k righe e k colonne, cioè k equazioni e k incognite. Allora il sistema originale è equivalente ad un sistema che contiene solo le k equazioni prescelte, con le k incognite prescelte, mentre le restanti n k incognite vanno interpretate come parametri. Esempio.9. Si consideri il sistema di equazioni lineari ty + 3z = (t + )x 2y 2z = 4. x + 5y + z = (a) Dire se esistono, ed in caso da quanti parametri dipendono, le soluzioni del sistema, al variare del parametro t. (b) Determinare le soluzioni, quando esistono, per ogni valore di t. Risposta (a). Il determinante della matrice A dei coefficienti vale 0 t 3 det t = 2t + 5(t + ) 63 t(t + ) = t 2 + 6t 48, 5 che si annulla per t = 4 o t = 2. Dunque rg(a) = 3 se e solo se t 4 e t 2. Calcoliamo ora il rango della matrice 0 t 3 A B = t ( ) 0 3 Se scegliamo il minore C = di ordine 2 non nullo, le matrici che lo orlano sono la matrice A e la matrice M = t , 5 il cui determinante vale det(m) = 2t 8. Nel complesso

5 REFERENCES 5. Se t 4 e t 2, rg(a) = rg(a B) = 3, ovvero esiste un unica soluzione per per ogni t diverso da 4 e da Se t = 4, rg(a) = rg(a B) = 2, ovvero lo spazio delle soluzioni dipende da un parametro. 3. Se t = 2, rg(a) = 2 ma rg(a B) = 3, ovvero non esistono soluzioni. Risposta (b).. Se t 4 e t 2, si ha, usando il metodo di Cramer, t det det t x = t 2, y = + 6t 48 t 2, z = + 6t 48 ovvero (x, y, z) = ( 2 t 2, 2 t 2 (t 4) ),. t 2 det 2. Se t = 4 e scegliamo il minore non nullo C descritto sopra, selezioniamo la prima e l ultima equazione e le incognite x e z. Di conseguenza, ponendo y = a, il sistema originale è equivalente a { 3z = 4a x + z = 5a, da cui si ricava facilmente x = ( 2 + a)/3, y = a e z = ( 4a)/3. 3. Se t = 2 non esistono soluzioni. Esercizio.0. Si considerino i sistemi di equazioni lineari ty + 3z = 9 ty + 3z = 6 (t + )x 25y 2z = 9, (t + )x 0y 2z = 2. x + 5y + z = 8 x + 5y + z = Per ciascuno dei sistemi qui sopra, (a) dire se esistono, ed in caso da quanti parametri dipendono, le soluzioni del sistema, al variare del parametro t. (b) determinare le soluzioni, quando esistono, per ogni valore di t. References [] Marco Abate. Matematica e statistica. Le basi delle scienze della vita. Mc- Graw Hill t t t 2 + 6t 48,