Teoremi di Gershgorin

In matematica, e più precisamente in algebra lineare, i teoremi di Gershgorin sono tre teoremi riguardanti la localizzazione degli autovalori di una matrice a termini nel campo complesso. Il nome di questi teoremi è dovuto a quello del matematico bielorusso Semyon Aranovich Gershgorin, che per primo li ha enunciati nel 1931.

Cerchi di Gershgorin

Rappresentazione nel piano complesso dei cerchi di Gershgorin della matrice $A=\left(\begin{array}{ccc}-2& 1& 0\\ -1& 2& -1\\ 1& -2& 4\end{array}\right)$. Le croci indicano la posizione effettiva degli autovalori.

Una definizione di basilare importanza nella comprensione di questi teoremi è quella del cerchio di Gershgorin.

Sia $A=(a_{ij})$ una matrice in ${ℂ}^{n\times n}$. Si consideri l'elemento $i$-esimo $a_{ii}$ della diagonale principale di $A$ e la somma dei moduli degli elementi della riga $i$-esima fuori della diagonale:

$R_i=\sum _{j=1,j\ne i}^n|a_{ij}|.$

Queste due quantità individuano il seguente sottoinsieme del piano complesso:

$K_i:={\overline{B}}_{R_i}(a_{ii})=\{z\in ℂ:|z-a_{ii}|\le R_i\},$

corrispondente ad un disco di raggio $R_i$ centrato in $a_{ii}$, che viene detto $i$-esimo cerchio di Gershgorin della matrice $A$.

Primo teorema di Gershgorin

Teorema. Sia $A\in {ℂ}^{n\times n}$ e sia $\lambda \in \mathrm{sp}(A)$ un suo autovalore. Se $x_h$ è una coordinata di modulo massimo di un autovettore $𝐱$ relativo a $\lambda$, allora $\lambda \in K_h$. In particolare esiste $h$ tale per cui $\lambda \in K_h$, ovverosia $\lambda$ appartiene almeno ad un cerchio di Gershgorin di $A$.

Dimostrazione. Sia $\lambda$ un autovalore di $A$ e sia $𝐱=(x_j)$ un autovettore relativo a $\lambda$. Sia $h$ l'indice di una coordinata di $𝐱$ con modulo massimo tra tutte le coordinate. Dal momento che $𝐱$ è autovettore, $𝐱$ non è nullo, e dunque $|x_h|\ne 0$. Sempre perché $𝐱$ è un autovettore, vale l'identità $A𝐱=\lambda 𝐱$, che, applicata all'$h$-esima coordinata, implica che:

$\sum _{j=1}^n{a}_{hj}{x}_j=\lambda x_h.$

Allora, manipolando la somma, otteniamo che:

$\lambda x_h-a_{hh}{x}_h=\sum _{j=1,j\ne h}^n{a}_{hj}{x}_j.$

Dividendo entrambi i membri per $x_h$ (che ricordiamo essere non nullo), passando ai moduli e applicando la disuguaglianza triangolare otteniamo che:

$|\lambda -a_{hh}|=\left|\sum _{j=1,j\ne h}^n{a}_{hj}\frac{x_j}{x_h}\right|\le \sum _{j=1,j\ne h}^n|a_{hj}|\frac{|x_j|}{|x_h|}\stackrel{(*)}{\overbrace{\le }}\sum _{j=1,j\ne h}^n|a_{hj}|=R_h,$

dove la disuguaglianza $(*)$ vale poiché $|x_j|\le |x_h|$ $\mathrm{\forall }j$ data la scelta iniziale di $h$. Pertanto $\lambda \in K_h$, da cui la tesi.

Estensione del teorema e generalizzazione agli ovali di Cassini

Dal momento che gli autovalori di $A=(a_{ij})$ sono invarianti per similitudine, se $D$ è una matrice diagonale invertibile, allora $D^{-1}AD=(d_i^{-1}{a}_{ij}{d}_j)$ ha gli stessi autovalori di $A$, mantenendone invariati i centri dei cerchi di Gershgorin e riscalandone soltanto il raggio. In particolare, il nuovo raggio, indicato con ${R_i}^{\prime }$, è calcolato mediante la seguente formula:

${R_i}^{\prime }=\frac{1}{|d_i|}\sum _{j=1,j\ne i}|a_{ij}|\cdot |d_j|.$

Pertanto, il primo teorema di Gershgorin può essere esteso al seguente risultato:

Teorema. Sia $A\in {ℂ}^{n\times n}$. Allora $\mathrm{sp}(A)\subseteq \bigcap _{d\in D}\bigcup _{i=1}^n\{z\in ℂ:|z-a_{ii}|\le \frac{1}{d_i}\sum _{j=1,j\ne i}^n{a}_{ij}\cdot d_j\}$, dove $D\subseteq {ℂ}^n$ è un insieme di vettori con coordinate positive.

Confronto tra i cerchi di Gershgorin (in blu, verde e giallo) e gli ovali di Cassini (in rosso) relativi alla matrice $A=\left(\begin{array}{ccc}-2& 1& 0\\ -1& 2& -1\\ 1& -2& 4\end{array}\right)$. Le croci indicano la posizione effettiva degli autovalori.

Il teorema può essere esteso anche abbandonando la struttura dei cerchi di Gershgorin e riducendosi a degli ovali di Cassini della forma $C(a,b,r):=\{z\in ℂ:|(z-a)(z-b)|\le r\}$, secondo il seguente enunciato:

Teorema (degli ovali di Brauer). Sia $A\in {ℂ}^{n\times n}$ e sia $\lambda \in \mathrm{sp}(A)$ un suo autovalore. Allora $\lambda$ è contenuto nell'unione $\bigcup _{i>j}C(a_{ii},a_{jj},r_i{r}_j)$ di ovali di Cassini, dove $r_i$ è il raggio dell'$i$-esimo cerchio di Gershgorin di $A$.

Secondo teorema di Gershgorin

Teorema. Sia $A\in {ℂ}^{n\times n}$. Siano $I_1$ e $I_2$ due famiglie di indici con $I_1\cup I_2=\{1,\dots ,n\}$ e $I_1\cap I_2=\varnothing$.

Si definiscano $M_1:=\bigcup _{i\in I_1}{K}_i$ e $M_2:=\bigcup _{i\in I_2}{K}_i$. Se $M_1\cap M_2=\varnothing$, allora esattamente $|I_1|$ autovalori appartengono a $M_1$ (contati con molteplicità algebrica) e i restanti $|I_2|=n-|I_1|$ appartengono a $M_2$.

Questo teorema porta con sé delle importanti implicazioni. Ad esempio, per $A\in {ℝ}^{n\times n}$, si ricava immediatamente che un cerchio disgiunto da tutti gli altri deve per forza contenere un solo autovalore, che, in quanto unico, dovrà per forza essere reale (se fosse complesso non reale, allora nello stesso cerchio dovrebbe trovarsi anche il suo autovalore complesso coniugato, e dunque il cerchio conterrebbe due autovalori invece che uno solo).

Idea di dimostrazione: La dimostrazione fa uso di un argomento di continuità. Sia $D=\mathrm{diag}(A)$ la matrice diagonale ottenuta prendendo la diagonale di $A$ e ponendo $0$ tutti gli altri termini. Si consideri la funzione $B:[0,1]\to {ℂ}^{n\times n}$ tale per cui $B(t)=D+t(A-D)$ (ovverosia $B$ parametrizza il cammino fatto sul segmento $[D,A]$ che congiunge $D$ ad $A$). Chiaramente $B$ è una funzione continua dallo spazio topologico $[0,1]$ con l'usuale topologia euclidea allo spazio ${ℂ}^{n\times n}$ avente la topologia indotta dall'analoga euclidea di ${ℂ}^{n^2}$. Sia $K_i(t)$ l'$i$-esimo cerchio di Gershgorin di $B(t)$. Si osserva che $K_i(t)$ ha centro $a_{ii}$ indipendentemente da $t$, mentre il suo raggio è $t{R}_i$, dove $R_i$ è il raggio di $K_i(1)$, il cerchio riferito ad $A$. Pertanto $K_i(t_1)\subseteq K_i(t_2)$ per $t_1\le t_2$. Si ricorda che gli zeri di un polinomio dipendono continuamente dai coefficienti, e che gli autovalori di $B(t)$ sono gli zeri del polinomio caratteristico di $B(t)$, i cui coefficienti dipendono continuamente dai termini di $B(t)$, e dunque da $t$. Pertanto, poiché anche $B(t)$ è continua, gli autovalori di $B(t)$ dipendono continuamente da $t$. Sia $\lambda (t)$ il cammino continuo di uno degli autovalori. Allora, se $\lambda (0)\in M_1$, $\lambda (t)\in M_1$ per ogni $t\in [0,1]$; altrimenti esisterebbe uno $t_0$ per cui $\lambda (t)\notin K_i(1)\supseteq K_i(t_0)$ per ogni $i$ (il che violerebbe il primo teorema di Gershgorin) o varrebbe $t_0\in M_1\cap M_2=\varnothing$, assurdo. Analogamente vale lo stesso per $M_2$. Pertanto $M_1$ contiene lo stesso numero di autovalori di $\bigcup _{i\in I_1}{K}_i(0)=\bigcup _{i\in I_1}\{a_{ii}\}$, e quindi $|I_1|$ autovalori. Analogamente $M_2$ ne contiene $|I_2|$, da cui la tesi.

Terzo teorema di Gershgorin

Teorema. Sia $\lambda$ un autovalore di una matrice $A\in {ℂ}^{n\times n}$ irriducibile per permutazioni. Se per ogni indice $j$ vale l'implicazione $\lambda \in K_j⟹\lambda \in \partial K_j$, allora $\lambda \in K_i$ $\mathrm{\forall }i$, e dunque $\lambda \in \underset{i=1}{\overset{n}{\cap }}\partial K_i$.

Dimostrazione. Sia $h$ tale per cui $\lambda \in K_h$. Ripercorrendo la stessa dimostrazione del primo teorema di Gershgorin si ottiene che:

$|\lambda -a_{hh}|\le \sum _{j=1,j\ne h}^n|a_{hj}|\frac{|x_j|}{|x_h|}\le \sum _{j=1,j\ne h}^n|a_{hj}|=R_h.$

Dal momento che $\lambda$ appartiene alla frontiera $\partial K_h$, allora il primo e l'ultimo membro devono essere uguali, e così tutte le disuguaglianze si rivelano essere uguaglianze. Affinché ciò accada, è necessario che valga $|x_j|=|x_h|$ per tutti gli indici $j$ per cui $a_{hj}\ne 0$; ciò implica che per tutti questi indici $j$ anche $x_j$ è una coordinata di modulo massimo per $𝐱$: per il primo teorema di Gershgorin, allora $\lambda \in K_j$ per tali $j$.

Poiché $A$ è irriducibile per permutazioni, il grafo associato ad $A$ è fortemente connesso, e dunque deve esistere una sequenza di cammini di indici (eventualmente ripetuti) $h_1=h$, $h_2$, ..., $h_m$ con $m\ge n$ tale per cui appaiano in essa tutti i numeri da $1$ a $n$. Dacché esiste dunque un arco da $h_1=h$ a $t:=h_2$, $a_{ht}\ne 0$, e dunque, per il ragionamento di prima, $\lambda \in K_t$. Reiterando la stessa dimostrazione fino alla fine della sequenza sostituendo ad $h$ e $t$ gli indici successivi nella sequenza, si è mostrato dunque che $\lambda \in K_i$ per ogni $i$, da cui la tesi.

Bibliografia

• D. Bini, M. Capovani, O. Menchi, Metodi numerici per l'algebra lineare, Zanichelli, Bologna, 1988.
• R. S. Varga, Geršgorin and His Circles, Springer, 2004.