Funzione di matrice

In algebra lineare si può estendere il concetto di funzione alle matrici quadrate di qualsiasi ordine n attraverso l'associazione di una serie di Maclaurin ad ogni funzione, riducendola a una somma infinita di potenze di matrici:

$f(A)=\sum _{k=0}^{\mathrm{\infty }}\frac{f^{(k)}(0)}{k!}{A}^k.$

Da cui risulta già chiaro che una funzione di matrice quadrata è una matrice dello stesso ordine i cui elementi sono costituiti da una combinazione lineare della funzione degli elementi della matrice di partenza, mentre in generale non risultano semplicemente le funzioni dell'elemento corrispondente della matrice di partenza. Le funzioni di matrice sono impiegate in particolare per risolvere i sistemi differenziali, di cui i più semplici sono i sistemi differenziali del prim'ordine, nella cui soluzione compare in particolare la matrice esponenziale e la matrice potenza.

Limitazione della serie

Grazie al teorema di Hamilton-Cayley nella forma:

$A^n=-\sum _{k=0}^{n-1}{\alpha }_k{A}^k,$

si può ridurre la procedura dal calcolo delle potenze di matrice da quello infinito fornito dalla definizione a quello di $n-2$ potenze (l'identità e la matrice stessa banalmente non si calcolano), pur complicandone i coefficienti: moltiplicando più volte a destra e a sinistra del segno di uguale per la matrice $A$, è facile verificare che ogni potenza $A^{n+k}$ può essere espressa come combinazione lineare delle sole prime $n-1$ matrici.

$f(A)=\sum _{k=0}^{n-1}{\alpha }_k{A}^k.$

Individuazione dei coefficienti della serie finita

Si può osservare che ciascun autovalore ${\lambda }_j$ della matrice di partenza $A$ annulla, per definizione, il polinomio caratteristico, quindi analogamente a quanto avviene per la matrice:

$f({\lambda }_j)=\sum _{k=0}^{n-1}{\alpha }_k{\lambda }_j^k,$

Quindi scrivendo questa relazione per ciascun autovalore si ottiene un sistema lineare la cui matrice è quadrata di tipo Vandermonde di $n-1$ righe e $n-1$ colonne, che però non è invertibile quando esistono $h<n$ autovalori distinti perché alcuni hanno molteplicità $n_j>1$ con $\sum _{j=1}^h{n}_j=n$, in quanto le righe corrispondenti risultano ripetute:

$([({\lambda }_j^k){]}^T)({\alpha }_k)=(f({\lambda }_j)),0\le k\le n-1,1\le j\le h.$

Si ricorre quindi al metodo dell'interpolazione polinomiale per vincolare sufficientemente il sistema, ricorrendo alle derivate successive fino alla $(n_j-1)$-esima:

$({\alpha }_k)=([({\lambda }_j^k{)}^{(i)}{]}^T{)}^{-1}(f^{(i)}({\lambda }_j)),0\le k\le n-1,1\le j\le h,0\le i\le n_j-1.$

Questa è una matrice invertibile di $n-1$ righe e $n-1$ colonne che definisce univocamente i coefficienti e ne permette il calcolo. Per maggiore semplicità di comprensione se ne dà la forma espansa:

$\left[\begin{array}{c}{\alpha }_0\\ {\alpha }_1\\ ...\\ ...\\ ...\\ {\alpha }_{n-1}\end{array}\right]={\left[\begin{array}{ccccc}1& {\lambda }_1& {\lambda }_1^2& ...& {\lambda }_1^{n-1}\\ 0& 1& 2{\lambda }_1& ...& (n-1){\lambda }_1^{n-2}\\ ...& ...& ...& ...& ...\\ 0& 0& 0& ...& \frac{(n-1)!}{(n-n_1)!}{\lambda }_1^{n-n_1}\\ 1& {\lambda }_2& {\lambda }_2^2& ...& {\lambda }_2^{n-1}\\ 0& 1& 2{\lambda }_2& ...& (n-1){\lambda }_2^{n-2}\\ ...& ...& ...& ...& ...\\ 0& 0& 0& ...& \frac{(n-1)!}{(n-n_2)!}{\lambda }_1^{n-n_2}\\ ...& ...& ...& ...& ...\\ 1& {\lambda }_h& {\lambda }_h^2& ...& {\lambda }_h^{n-1}\\ 0& 1& 2{\lambda }_h& ...& (n-1){\lambda }_h^{n-2}\\ ...& ...& ...& ...& ...\\ 0& 0& 0& ...& \frac{(n-1)!}{(n-n_h)!}{\lambda }_1^{n-n_h}\end{array}\right]}^{-1}\left[\begin{array}{c}f({\lambda }_1)\\ f^{(1)}({\lambda }_1)\\ ...\\ f^{(n_1-1)}({\lambda }_1)\\ f({\lambda }_2)\\ f^{(1)}({\lambda }_2)\\ ...\\ f^{(n_2-1)}({\lambda }_2)\\ ...\\ f({\lambda }_h)\\ f^{(1)}({\lambda }_h)\\ ...\\ f^{(n_h-1)}({\lambda }_h)\end{array}\right].$

Procedura

In base alle considerazioni fatte, il calcolo di una funzione di matrice si compone dei seguenti sei passaggi elementari:

• individuazione della serie di MacLaurin associata alla funzione;
• calcolo degli autovalori della matrice originaria;
• calcolo della funzione di questi autovalori, e nel caso di autovalori con molteplicità n_j dei valori assunti anche dalle derivate fino alla $n_j$-esima compresa;
• calcolo dei coefficienti delle potenze come soluzione del sistema lineare di Vandermonde non omogeneo di cui sopra;
• calcolo delle potenze della matrice originaria come prodotto o molto più velocemente sfruttando il teorema di Hamilton-Cayley;
• calcolo della combinazione lineare di queste potenze con i coefficienti già calcolati.

Esempio applicativo

Si voglia calcolare il seno di matrice:

$\sin \left[\begin{array}{cc}\pi & 0\\ \frac{\pi }{4}& \frac{\pi }{2}\end{array}\right]=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{\left[\begin{array}{cc}\pi & 0\\ \frac{\pi }{4}& \frac{\pi }{2}\end{array}\right]}^{2n+1}}{(2n+1)!}.$

Gli autovalori risultano essere ${\lambda }_1=\pi$ con molteplicità $n_1=1$ e ${\lambda }_2=-\pi /2$ con molteplicità $n_2=1$ perciò i coefficienti sono:

$\left[\begin{array}{c}{\alpha }_0\\ {\alpha }_1\end{array}\right]={\left[\begin{array}{cc}1& \pi \\ 1& -\frac{\pi }{2}\end{array}\right]}^{-1}\left[\begin{array}{c}\sin \pi \\ \sin \mathrm{(}-\frac{\pi }{2})\end{array}\right]=\left[\begin{array}{c}2\\ -\frac{2}{\pi }\end{array}\right],$

perciò risulta che:

$\sin \left[\begin{array}{cc}\pi & 0\\ \frac{\pi }{4}& \frac{\pi }{2}\end{array}\right]=2\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]-\frac{2}{\pi }\left[\begin{array}{cc}\pi & 0\\ \frac{\pi }{4}& \frac{\pi }{2}\end{array}\right]=\left[\begin{array}{cc}0& 0\\ -\frac{1}{2}& 1\end{array}\right].$

Potenza di matrice

Anche la potenza di matrice necessaria per il calcolo di qualsiasi altra funzione diventa ottenibile molto più velocemente in base alle considerazioni precedenti, tanto più quanto minore è l'ordine della matrice $n$ rispetto all'esponente $x$, e in generale risulta conveniente rispetto allo svolgimento di tutte le semplici moltiplicazioni necessarie quando $n<x+1$.

In realtà per esponente intero risulta ancora di gran lunga più veloce sfruttare direttamente il teorema di Hamilton-Cayley; tuttavia questo sistema permette di generalizzare la definizione di potenza fino ad ammettere un esponente complesso:

$A^x=\sum _{k=0}^{n-1}{\alpha }_k{A}^k,$

dove in questo caso i coefficienti risultano:

$({\alpha }_k)=([({\lambda }_j^k{)}^{(i)}{]}^T{)}^{-1}(\prod _{m=x-i+1}^{x}m{\lambda }_j^{x-i}),0\le k\le n-1,1\le j\le h,0\le i\le n_j-1.$

Per esempio si voglia calcolare:

${\left[\begin{array}{cc}1& 1\\ 0& 1\end{array}\right]}^x,$

poiché l'autovalore ${\lambda }_1=1$ ha molteplicità $n_1=2$, la matrice di Vandermonde risulta coincidere con la matrice originaria:

$\left[\begin{array}{c}{\alpha }_0\\ {\alpha }_1\end{array}\right]={\left[\begin{array}{cc}1& {\lambda }_1\\ 0& 1\end{array}\right]}^{-1}\left[\begin{array}{c}{\lambda }_1^x\\ x{\lambda }_1^{x-1}\end{array}\right]=\left[\begin{array}{c}1-x\\ x\end{array}\right]$

e quindi:

${\left[\begin{array}{cc}1& 1\\ 0& 1\end{array}\right]}^x=\left[\begin{array}{cc}1& x\\ 0& 1\end{array}\right].$

Per cui per esempio possiamo ammettere senza difficoltà che:

${\left[\begin{array}{cc}1& 1\\ 0& 1\end{array}\right]}^{\pi }=\left[\begin{array}{cc}1& \pi \\ 0& 1\end{array}\right].$

Voci correlate

• Funzioni di due o più variabili
• Serie di Maclaurin
• Teorema di Hamilton-Cayley
• Matrice esponenziale