Diagonalizzabilità e base di autovettori al variare di un parametro

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot)

Se hai acquistato uno o più Topic speciali, puoi pubblicarli qui cliccando su "Apri un Topic".

Il registro completo dei Topic risolti e in corso è disponibile sul proprio profilo.

Diagonalizzabilità e base di autovettori al variare di un parametro #101423

avt
math.h
Punto
Salve a tutti.

Ho difficoltà nello svolgimento di un esercizio sulla diagonalizzabilità di una matrice al variare di un parametro k reale. Mi occorrerebbe una grossa mano perché non ho capito come gestire il parametro.

Siano k un parametro reale e A_k la seguente matrice

A_k = [ 2k+1 2-k 0 ; k 1 0 ; 0 0 k+3 ]

1) Determinare i valori di k per i quali la matrice A_k è diagonalizzabile su R.

2) Per i valori di k trovati, determinare una base di R^3 composta da autovettori di A_k

Provo ad impostare la prima parte: per la diagonalizzabilità bisogna anzitutto calcolare il polinomio caratteristico ed imporlo uguale a zero. Le radici di questo polinomio saranno quindi gli autovalori, giusto?

Grazie ancora.
 
 

Diagonalizzabilità e base di autovettori al variare di un parametro #101424

avt
Galois
Amministratore
Data la seguente matrice quadrata parametrica di ordine tre

A_k = [2k+1 2-k 0 ; k 1 0 ; 0 0 k+3]

dobbiamo determinare i valori di k ∈ R per cui la matrice è diagonalizzabile in R, per poi calcolare una base di R^3 formata da autovettori di A_k.

Per prima cosa calcoliamo gli autovalori di A_k. Successivamente stabiliremo per quali valori di k è diagonalizzabile e, successivamente, calcoleremo una base di autovettori.


Calcolo degli autovalori

Gli autovalori di una matrice sono gli zeri del polinomio caratteristico, dato dal determinante della matrice (A_k-λ Id_n), dove λ è una variabile e Id_n è la matrice identità avente lo stesso ordine di A_k.

p(λ) = det(A_k-λ Id_3) = det[[2k+1 2-k 0 ; k 1 0 ; 0 0 k+3]-λ [1 0 0 ; 0 1 0 ; 0 0 1]] = det[2k+1-λ 2-k 0 ; k 1-λ 0 ; 0 0 k+3-λ] =

sviluppiamo il determinante con Laplace riferito alla terza riga, in quanto ha due elementi nulli

= (-1)^(3+3)·(k+3-λ)·det[2k+1-λ 2-k ; k 1-λ] = (k+3-λ)[(2k+1-λ)(1-λ)-k(2-k)] =

svolgiamo i calcoli nella coppia di parentesi quadre

= (k+3-λ)(2k-2kλ+1-λ-λ+λ^2-2k+k^2) =

ordiniamo il polinomio nella seconda coppia di parentesi tonde secondo le potenze decrescenti di λ

= (k+3-λ)(λ^2-2(k+1)λ+k^2+1)

In buona sostanza:

p(λ) = (k+3-λ)(λ^2-2(k+1)λ+k^2+1)

Troviamone gli zeri risolvendo l'equazione

(k+3-λ)(λ^2-2(k+1)λ+k^2+1) = 0

Applichiamo la legge di annullamento del prodotto e risolviamo, separatamente:

k+3-λ = 0 → λ = k+3 ; λ^2-2(k+1)λ+k^2+1 = 0

Quest'ultima è un'equazione di secondo grado nell'incognita λ della forma

aλ^2+bλ+c = 0

con

a = 1 ; b = -2(k+1) ; c = k^2+1

Calcoliamone le soluzioni con la formula ridotta.

(Δ)/(4) = ((b)/(2))^2-ac = (k+1)^2-(k^2+1) = k^2+2k+1-k^2-1 = 2k

per cui

λ_(1,2) = (-(b)/(2)±√((Δ)/(4)))/(a) = k+1±√(2k)

Abbiamo così trovato gli autovalori di A_k:

λ_1 = k+1-√(2k) ; λ_2 = k+1+√(2k) ; λ_3 = k+3


Studio della diagonalizzabilità di A_k

Una matrice quadrata è diagonalizzabile in R se sono soddisfatte le seguenti condizioni:

1) il numero degli autovalori reali, contati con le rispettive molteplicità algebriche, è uguale all'ordine della matrice;

2) per ogni autovalore, le molteplicità algebrica e geometrica coincidono.

In particolare, essendo la molteplicità geometrica di un autovalore maggiore di 1 e minore della rispettiva molteplicità algebrica, se una matrice di ordine n ammette esattamente n autovalori reali distinti, allora è diagonalizzabile in R.

Ciò premesso, gli autovalori di A_k sono

λ_1 = k+1-√(2k) ; λ_2 = k+1+√(2k) ; λ_3 = k+3

e affinché siano reali dev'essere k ≥ 0.

Stabiliamo, ora, per quali valori di k sono distinti tra loro.

- Imponendo che sia λ_1 = λ_2 otteniamo l'equazione

k+1-√(2k) = k+1+√(2k) → 2√(2k) = 0

che è soddisfatta per k = 0.

- Imponendo che sia λ_1 = λ_3 otteniamo l'equazione

k+1-√(2k) = k+3 → √(2k) = -2

che non ammette soluzioni reali.

- Imponendo che sia λ_2 = λ_3 otteniamo l'equazione

k+1+√(2k) = k+3 → √(2k) = 2

che è soddisfatta per k = 2.

Possiamo dunque asserire che per k ∈ R^+-0,2 la matrice A_k ammette tre autovalori reali e distinti, per cui è diagonalizzabile in R.

Vediamo cosa succede per k = 0 e per k = 2.


Studio della diagonalizzabilità per k = 0

Quando k = 0 abbiamo

A_0 = [1 2 0 ; 0 1 0 ; 0 0 3]

e i suoi autovalori sono:

λ_1 = λ_2 = 1 con molteplicità algebrica 2;

λ_3 = 3 con molteplicità algebrica e geometrica uguali a 1.

Calcoliamo la molteplicità geometrica di λ_1 con la formula

m_g(λ_1) = n-rk(A_0-λ_1 Id_n)

dove n = 3 è l'ordine di A_0 e rk indica il rango di una matrice.

m_g(1) = 3-rk(A_(0)-1 Id_3) = 3-rk[[1 2 0 ; 0 1 0 ; 0 0 3]-[1 0 0 ; 0 1 0 ; 0 0 1]] = 3-rk[0 2 0 ; 0 0 0 ; 0 0 2] =

il rango è certamente 2, infatti l'intera matrice ha determinante pari a zero e il minore associato alla sottomatrice di ordine due che si ottiene eliminandone la prima colonna e la seconda riga è non nullo

= 3-2 = 1

Poiché la molteplicità geometrica di λ_1 = 1 è diversa da quella algebrica, per k = 0 la matrice non è diagonalizzabile.


Studio della diagonalizzabilità per k = 2

A_(2) = [5 0 0 ; 2 1 0 ; 0 0 5]

e i suoi autovalori sono:

λ_1 = 1 con molteplicità algebrica e geometrica uguali a 1;

λ_2 = λ_3 = 5 con molteplicità algebrica 2.

La molteplicità geometrica di λ_2 è:

m_g(5) = 3-rk(A_(2)-5 Id_3) = 3-rk[[5 0 0 ; 2 1 0 ; 0 0 5]-[5 0 0 ; 0 5 0 ; 0 0 5]] = 3-rk[0 0 0 ; 2 -4 0 ; 0 0 0] = 3-1 = 2

In questo caso le molteplicità algebrica e geometrica dei due autovalori coincidono, dunque A_2 è diagonalizzabile in R.

In conclusione A_k è diagonalizzabile in R per ogni k > 0.


Calcolo di una base di autovettori

Abbiamo stabilito che A_k è diagonalizzabile in R per ogni k > 0 e che i suoi autovalori sono:

λ_1 = k+1-√(2k) ; λ_2 = k+1+√(2k) ; λ_3 = k+3

Per calcolare una base di R^3 formata da autovettori di A_k è sufficiente calcolare una base per ciascuno degli autospazi associati ai tre autovalori e considerarne l'unione.


Base dell'autospazio relativo a λ_1

Una base dell'autospazio associato a λ_1 coincide con una base per lo spazio delle soluzioni del sistema omogeneo

(A-λ_1 Id_3) v = 0

dove v ∈ R^3 è un vettore colonna di incognite e 0 ∈ R è il vettore colonna nullo.

Ricaviamo la forma esplicita del sistema

[[2k+1 2-k 0 ; k 1 0 ; 0 0 k+3]-λ_1 [1 0 0 ; 0 1 0 ; 0 0 1]][x ; y ; z] = [0 ; 0 ; 0] ; [k+√(2k) 2-k 0 ; k -k+√(2k) 0 ; 0 0 2+√(2k)][x ; y ; z] = [0 ; 0 ; 0]

calcoliamo il prodotto riga per colonna

[(k+√(2k))x+(2-k)y ; kx+(-k+√(2k))y ; (2+√(2k))z] = [0 ; 0 ; 0]

e otteniamo il sistema omogeneo

(k+√(2k))x+(2-k)y = 0 ; kx+(-k+√(2k))y = 0 ; (2+√(2k))z = 0

di cui dobbiamo trovare una base per lo spazio delle soluzioni.

L'ultima equazione ha per soluzione z = 0

(k+√(2k))x+(2-k)y = 0 ; kx+(-k+√(2k))y = 0 ; z = 0

Assegnando il ruolo di parametro libero a y e ricavando il valore di x dalla seconda equazione otteniamo che le soluzioni del sistema sono:

(x,y,z) = ((k-√(2k))/(k)a,a,0) = a((k-√(2k))/(k),1,0)

per cui una base dell'autospazio associato a λ_1 è formata dal vettore

v_1 = ((k-√(2k))/(k),1,0)


Base dell'autospazio relativo a λ_2

Una base dell'autospazio associato a λ_2 è una base per lo spazio delle soluzioni del sistema

(A-λ_2 Id_3) v = 0

ossia

[k-√(2k) 2-k 0 ; k k+√(2k) 0 ; 0 0 2-√(2k) ] [x ; y ; z] = [0 ; 0 ; 0]

che equivale a

(k-√(2k))x+(2-k)y = 0 ; kx+(k+√(2k))y = 0 ; (2-√(2k))z = 0

Tale sistema è soddisfatto da

(x,y,z) = ((k+√(2k))/(k)a,a,0) = a((k+√(2k))/(k),1,0)

dunque una base dell'autospazio associato a λ_2 è formata dal vettore

v_2 = ((k+√(2k))/(k),1,0)


Base dell'autospazio relativo a λ_3

Oramai dovrebbe essere chiaro che una base dell'autospazio riferito a λ_3 si ottiene risolvendo il sistema

(A-λ_3 Id_3) v = 0

la cui forma esplicita è data da

(k-2)x+(2-k)y = 0 ; kx-(k+2)y = 0

Assegnando a z il ruolo di parametro libero otteniamo le soluzioni

(x,y,z) = (0,0,a) = (0,0,1)

pertanto una base dell'autospazio associato a λ_3 è formata dal vettore

v_3 = (0,0,1)


Per concludere, per k ∈ R^+-0 una base di R^3 formata da autovettori di A_k è

mathcalB = v_1, v_2, v_3

È tutto!
Ringraziano: Omega

Re: Diagonalizzabilità e base di autovettori al variare di un parametro #101425

avt
math.h
Punto
Ciao Galois.

Nella risoluzione mi ci sono trovato, tuttavia ho dei dubbi:

1) Quando hai trovato gli autovalori al variare di k, bisogna imporre k ≥ 0 perché altrimenti sulla radice, con numeri negativi, vengono valori complessi?

2) Perché hai imposto l'equivalenza tra tutte le coppie di autovalori? Potresti rispiegarmelo?

3) Quindi nella risoluzione del sistema lineare omogeneo, per trovare la base dell'autospazio relativo ad un autovalore devo trovare una base per lo spazio delle soluzioni del sistema lineare imposto con un λ?

4) Nell'ultima risoluzione, con λ_3 = k+3 , perché l'hai trovato per λ_3 = k ?

Grazie mille

Re: Diagonalizzabilità e base di autovettori al variare di un parametro #101427

avt
Galois
Amministratore
Vediamo di chiarire questi ultimi dubbi.

In generale, una delle condizioni che deve soddisfare una matrice affinché sia diagonalizzabile in un campo K è che tutti i suoi autovalori appartengano a K.

Nel nostro caso è richiesto lo studio della diagonalizzabilità in R e affinché λ_1, λ_2, λ_3 siano tutti e tre reali, k dev'essere positivo o, al più, nullo. Se così non fosse la quantità √(2k) restituirebbe un numero complesso e verrebbe meno una delle condizioni sulla diagonalizzabilità.


Passando alla seconda domanda, sappiamo che se una matrice di ordine n ha esattamente n autovalori reali e distinti allora è diagonalizzabile in R. Ho quindi imposto che gli autovalori siano uguali a due a due per trovare i valori di k per cui coincidono e, di conseguenza, i valori per cui sono diversi tra loro.


Terza domanda: data una matrice A di ordine n e detto λ_0 un suo autovalore, si dice autospazio relativo a λ_0 l'insieme

V_(λ_0) = v ∈ R^n | Av = λ_0 v

Si dimostra che una base di V_(λ_0) è una base dello spazio delle soluzioni del sistema

Av = λ_0 v

ossia

(A-λ_0 Id_n)v = 0

cosicché per calcolare una base di V_(λ_0) è sufficiente calcolare una base del suddetto sistema lineare omogeneo.


Quarta e ultima domanda: si è trattato di un errore di digitazione. I calcoli sono stati effettuati per l'autovalore λ_3 = k+3

Re: Diagonalizzabilità e base di autovettori al variare di un parametro #101428

avt
math.h
Punto
Ok bene, ho compreso le tue risposte.

Ultima cosa:
quindi osservando dalle imposizioni che per k=2 e k=0 la molteolicità algebrica e geometrica non coincidono, non posso usare la definizione, quindi devo andare ''studiare'' manualmente (sempre con la definizione) proprio la molteplicità geometrica in quanto quella algebrica la conosco già; è giusto il mio ragionamento?

Re: Diagonalizzabilità e base di autovettori al variare di un parametro #101429

avt
Galois
Amministratore
Dovresti esserci, ma ti sei espresso davvero poco chiaramente...

Per k = 0 e per k = 2 sai che la matrice ha due autovalori reali e distinti:

- uno con molteplicità algebrica 1, e quindi anche la geometrica è 1;

- l'altro con molteplicità algebrica 2.

Affinché la matrice sia diagonalizzabile la molteplicità algebrica di ogni autovalore dev'essere uguale alla rispettiva molteplicità geometrica, dunque occorre calcolare la molteplicità geometrica degli autovalori che hanno molteplicità algebrica 2 e trarre le giuste conclusioni.
Ringraziano: math.h

Re: Diagonalizzabilità e base di autovettori al variare di un parametro #101430

avt
math.h
Punto
Ok perfetto, adesso è tutto chiaro.
Scusami, mi ero espresso male.
Grazie mille!
Ringraziano: Galois
  • Pagina:
  • 1
Os