Matrisexponentialfunktion

Matrisexponentialfunktionen är inom matematiken en utökning av exponentialfunktionen från komplexa tal till att gälla även kvadratiska matriser, så att man får en matrisfunktion.

Definition

Exponentialfunktionen för matriser definieras genom exponentialfunktionens Maclaurinutveckling:

e X = k = 0 1 k ! X k {\displaystyle e^{X}=\sum _{k=0}^{\infty }{\frac {1}{k!}}X^{k}}

Denna serie konvergerar för alla matriser, X . {\displaystyle X.}

Egenskaper

  • e 0 = I {\displaystyle e^{0}=I\,} , för nollmatrisen 0 och enhetsmatrisen I.
  • e T A T 1 = T e A T 1 {\displaystyle e^{TAT^{-1}}=Te^{A}T^{-1}}
  • det e A = e tr A {\displaystyle \det e^{A}=e^{\operatorname {tr} {A}}} , där det är determinant av matrisen och tr är spåret av matrisen
  • e A + B = e A e B = e B e A {\displaystyle e^{A+B}=e^{A}e^{B}=e^{B}e^{A}\,} om A {\displaystyle A} och B {\displaystyle B} kommuterar.
  • ( e A ) 1 = e A {\displaystyle (e^{A})^{-1}=e^{-A}\,} för alla inverterbara[särskiljning behövs] matriser A {\displaystyle A}

Beräkning

Diagonalmatriser

Om D är diagonal med diagonelelementen d i i {\displaystyle d_{ii}} är e D {\displaystyle e^{D}} en diagonalmatris med diagonalelementen e d i i {\displaystyle e^{d_{ii}}} , dvs:

D = ( d 11 0 0 0 d 22 0 0 0 d n n ) {\displaystyle D={\begin{pmatrix}d_{11}&0&\cdots &0\\0&d_{22}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &d_{nn}\end{pmatrix}}}
e D = ( e d 11 0 0 0 e d 22 0 0 0 e d n n ) {\displaystyle e^{D}={\begin{pmatrix}e^{d_{11}}&0&\cdots &0\\0&e^{d_{22}}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &e^{d_{nn}}\end{pmatrix}}}

Detta kommer av att en diagonalmatris upphöjt till något tal blir en diagonalmatris med diagonalementen upphöjda till detta tal (vilket inses lätt om man tänker på hur matrismultiplikation funkar). Man kan då betrakta Maclaurinutvecklingen av matrisen varje diagonalelement för sig, vilket per definition blir e x {\displaystyle e^{x}} för diagonalelementet x.

Nilpotenta matriser

Om N är en nilpotent matris, dvs N k = 0 {\displaystyle N^{k}=0} för något heltal k, definieras e N {\displaystyle e^{N}} som:

e N = I + N + 1 2 ! N 2 + 1 3 ! N 3 + . . . + 1 ( k 1 ) ! N k 1 {\displaystyle e^{N}=I+N+{\frac {1}{2!}}N^{2}+{\frac {1}{3!}}N^{3}+...+{\frac {1}{(k-1)!}}N^{k-1}}

Dvs, Maclaurinutvecklingen av e X {\displaystyle e^{X}} tills att det bara blir nollmatriser.

Generalisering

Om matrisen har element som är reella eller komplexa tal kan man använda Jordans normalform för att beräkna e A {\displaystyle e^{A}} för alla kvadratiska matriser A. En kvadratisk matris kan då skrivas A = T J T 1 {\displaystyle A=TJT^{-1}} där J är en matris på Jordans normalform. Matrisen J kan skrivas J = D + N {\displaystyle J=D+N} för en diagonal matris D och en nilpotent matris N. Så att:

e A = e T J T 1 = T e J T 1 = T e D + N T 1 = T e D e N T 1 {\displaystyle e^{A}=e^{TJT^{-1}}=Te^{J}T^{-1}=Te^{D+N}T^{-1}=Te^{D}e^{N}T^{-1}}

Se även

  • Exponentialfunktion
  • Matrisfunktion
  • Matrislogaritm
v  r
Linjär algebra
Grundläggande begrepp
Skalär · Vektor · Noll · Ortogonalitet · Ekvationssystem · Rum · Linjärkombination · Inre produkt · Oberoende · Bas · Radrum · Kolonnrum · Nollrum · Gram-Schimdt · Egenvärde · Hölje · Linjäritet
Bild på euklidiska rummet
Vektoralgebra
Matriser
Elementär · Block · Enhet · Determinant · Norm · Rang · Transformation · Rotation · Invers · Cramers regel · Trappstegsform · Spår · Transponat · Gausselimination · Symmetri · Addition
Multilinjär algebra
Geometrisk algebra · Yttre algebra · Bivektor · Multivektor · Tensor
Konstruktioner
Delrum · Dualrum · Funktionsrum · Kvotrum · Tensorprodukt
Numerik
Kategori Kategori