Exponencial d'una matriu

L'exponencial d'una matriu és una funció definida sobre les matrius quadrades, similar a la funció exponencial.

Sigui $X$ una matriu $n\times n$ de nombres reals o complexos. L'exponencial de $X$, denotada per $e^{X}$ o $\exp(X)$ és la matriu $n\times n$ definida per la sèrie de potències:

$e^{X}=\sum _{k=0}^{\infty }{\frac {X^{k}}{k!}}.$

Aquesta sèrie convergeix per a tota matriu $X$. Observem que, si la matriu $X$ és una matriu 1×1, l'exponencial de $X$ correspon amb l'exponencial ordinària.

Propietates

Siguin $X$ i $Y$ dues matrius $n\times n$, i siguin també $a$ i $b$ dos nombres complexos qualssevol. Denotem per $I$ la matriu identitat, i per $0$ la matriu nul·la. Llavors:

1. Matriu identitat: $e^{0}=I\,$.
2. Linealitat: $\exp(a\,X)\exp(b\,X)=e^{(a+b)\,X}$.
3. $\exp(X)\,\exp(-X)=I$. Aquesta propietat és conseqüència de les dues anteriors.
4. Matriu inversa: $(e^{A})^{-1}=e^{-A}\;$ conseqüència de l'anterior
5. Relació traça-determinant: $\det e^{X}=e^{trX}\,$.
6. $\exp {X^{\dagger }}=(\exp X)^{\dagger }$, on $X^{\dagger }$ denota la transposada de la matriu $X$.
7. Preservació de la commutació: Si $X\,Y=Y\,X$ llavors $e^{X}\,e^{Y}=e^{X+Y}=e^{Y}e^{X}$.
8. Si $Y\,$ és invertible, llavors $e^{YXY^{-1}}=Y\,e^{X}\,Y^{-1}$.
9. Acotació de la norma: $\|e^{A}\|\leq e^{\|A\|}$

D'aquí se segueix que, si $X$ és simètrica, llavors la seva exponencial també ho és. Si $X$ és antisimètrica, la seva exponencial és ortogonal.

• $\exp(X^{*})=(\exp X)^{*}\,$ on $X^{*}\,$ denota la transposada conjugada de $X$.

D'aquí se segueix que, si $X$ és hermítica, llavors la seva exponencial també ho és. Si $X$ és antihermítica llavors la seva exponencial és unitària.

Càlcul de l'exponencial de matrius

Matrius diagonals i diagonalitzables

Si una matriu $A$ és diagonal:

$A={\begin{bmatrix}a_{1}&0&\ldots &0\\0&a_{2}&\ldots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\ldots &a_{n}\end{bmatrix}},$

llavors la seva exponencial s'obté prenent les exponencials de cadascun dels elements de la diagonal principal:

$e^{A}={\begin{bmatrix}e^{a_{1}}&0&\ldots &0\\0&e^{a_{2}}&\ldots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\ldots &e^{a_{n}}\end{bmatrix}}.$

Si tenim una matriu $M\;$ diagonalitzable llavors:

$M=PDP^{-1}\;$

on $D\;$ és una matriu diagonal, i $P\;$ és una matriu no singular, que pot escollir-se de tal forma que sigui unitària. L'exponenciació de matrius diagonalitzables pot reduir-se al cas de l'exponencial d'una matriu diagonal, tot fent servir la propietat 8 mencionada a dalt:

$e^{M}=Pe^{D}P^{-1}\;$

Matrius que admeten forma de Jordan

L'exponencial d'una matriu que té estructura de bloc de Jordan és molt senzilla:

$B_{J}={\begin{bmatrix}\lambda &1&0&\cdots &0\\0&\lambda &1&\cdots &0\\0&0&\lambda &\cdots &0\\\vdots &&&\ddots &\vdots \\0&0&0&\cdots &\lambda \end{bmatrix}}\Rightarrow \qquad e^{B_{J}}={\begin{bmatrix}e^{\lambda }&{\frac {e^{\lambda }}{1!}}&{\frac {e^{\lambda }}{2!}}&\cdots &{\frac {e^{\lambda }}{(n-1)!}}\\0&e^{\lambda }&{\frac {e^{\lambda }}{1!}}&\cdots &{\frac {e^{\lambda }}{(n-2)!}}\\0&0&e^{\lambda }&\cdots &{\frac {e^{\lambda }}{(n-3)!}}\\\vdots &&&\ddots &\vdots \\0&0&0&\cdots &e^{\lambda }\end{bmatrix}}$

Hom diu que una matriu $M\;$ admet forma canònica de Jordan $J\;$ quan existeix una altra matriu no singular tal que:

$M=P^{-1}JP\;$

essent $J\;$ una matriu triangular formada per blocs de Jordan (és a dir, la diagonal principal de la qual conté els valors propis de $M\;$, i només la diagonal superior a la principal té alguns valors 1). En aquest cas, l'exponencial pren la forma:

$M=P^{-1}JP\to e^{M}=e^{P^{-1}JP}=\sum _{k=0}^{\infty }{\frac {(P^{-1}JP)^{k}}{k!}}=\sum _{k=0}^{\infty }{\frac {P^{-1}(J)^{k}P}{k!}}=P^{-1}e^{J}P$

Aplicacions

• Donat un sistema d'equacions diferencials a coeficients constants:

${\begin{cases}{\dot {\mathbf {X} }}(t)=\mathbf {A} \mathbf {X} (t)+\mathbf {f} (t)\\\mathbf {X} (t_{0})={\mathbf {X} }_{0}\end{cases}}$

on $\mathbf {X} (t)$ representa el vector de funcions incògnita, la solució d'aquest sistema ve donada per l'exponenciació de la matriu de coeficients:

$\mathbf {X} (t)=e^{\mathbf {A} (t-t_{0})}\mathbf {X} _{0}+\int _{t_{0}}^{t}e^{\mathbf {A} (t-s)}\mathbf {f} (s)\ ds$

Generalitzacions

En mecànica quàntica hom pot definir l'exponencial de l'operador hamiltonià, que és un operador lineal sobre un espai vectorial de Hilbert de dimensió infinita. L'evolució temporal del sistema quàntic, el hamiltonià del qual no depengui del temps, ve donada per:

$|\Psi (t)\rangle =\exp(it{\hat {H}})|\Psi _{0}\rangle$

En general, el càlcul de l'exponencial d'un operador pot resultar complexa si no es coneixen els estats propis del hamiltonià, per la qual cosa la solució anterior resulta de vegades tan complicada com la resolució de l'equació de Schrödinger.

En mecànica quàntica de camps, la matriu S es pot calcular també a partir d'una exponencial d'un operador. Com que, en general, el càlcul directe de l'exponencial no és senzill, hom empra sèries pertorbatives per calcular l'exponencial. Aquestes sèries pertorbatives són les anomenades sèries de Feynman, cadascuna calculable a partir d'un diagrama de Feynman. Usualment, aquestes sèries tenen el problema addicional de ser sèries formals, amb la qual cosa la seva suma directa no proporciona un resultat finit, i per aquesta raó aquest procediment requereix tècniques addicionals de renormalització.

Bibliografia

• Hall, Brian C. Lie groups, Lie algebras, and representations: An elementary introduction. 222. 2a edició. Springer, 2015. ISBN 978-3-319-13466-6. 
• Horn, Roger A.; Johnson, Charles R. Topics in Matrix Analysis. Cambridge University Press, 1991. ISBN 978-0-521-46713-1. .
• Moler, Cleve; Van Loan, Charles F. «Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later». SIAM Review, 45, 1, 2003, pàg. 3–49. Bibcode: 2003SIAMR..45....3M. DOI: 10.1137/S00361445024180. ISSN: 1095-7200..
• Suzuki, Masuo «Decomposition formulas of exponential operators and Lie exponentials with some applications to quantum mechanics and statistical physics». Journal of Mathematical Physics, 26, 4, 1985, pàg. 601. Bibcode: 1985JMP....26..601S. DOI: 10.1063/1.526596.
• Curtright, T L; Fairlie, D B; Zachos, C K «A compact formula for rotations as spin matrix polynomials». Symmetry, Integrability and Geometry: Methods and Applications, 10, 2014, pàg. 084. arXiv: 1402.3541. Bibcode: 2014SIGMA..10..084C. DOI: 10.3842/SIGMA.2014.084.
• Householder, Alston S. The Theory of Matrices in Numerical Analysis. Dover Books on Mathematics, 2006. ISBN 978-0-486-44972-2. 
• Van Kortryk, T. S. «Matrix exponentials, SU(N) group elements, and real polynomial roots». Journal of Mathematical Physics, 57, 2, 2016, pàg. 021701. arXiv: 1508.05859. Bibcode: 2016JMP....57b1701V. DOI: 10.1063/1.4938418.