--- title: matrix exponential of a 2-by-2 matrix tags: Linear algebra GA: G-77TT93X4N1 --- # matrix exponential of a 2-by-2 matrix > $e^{At}$, $t\in \mathbb{R}$ 首先我們知道 $$ \tag{1} e^x = 1 + x + \frac{1}{2!}x^2 + \frac{1}{3!}x^3 + \cdots. $$ 因此我們可以定義 matrix exponential 為 $$ \tag{2} e^{At} = I + tA + \frac{t^2}{2!}A^2 + \frac{t^3}{3!}A^3 + \cdots. $$ 若矩陣 $A$ 可以被寫成 $A = V J V^{-1}$, 那很快可以知道 $A^n = VJ^n V^{-1}$. 因此, 算 matrix exponential 問題就變成了算其 Jordan form $J$ 的 matrix exponential 問題. $$ \tag{3} e^{At} = V\left(I + tJ + \frac{t^2}{2!}J^2 + \frac{t^3}{3!}J^3 + \cdots\right)V^{-1} = V\left(e^{Jt}\right)V^{-1}. $$ ### Type 1 > $$ > \tag{4} > J = > \begin{bmatrix} \lambda_1 & \\ & \lambda_2 > \end{bmatrix}. > $$ 這個應該直接可以看出來. $$ \tag{5} e^{Jt} = \begin{bmatrix} e^{\lambda_1 t} & \\ & e^{\lambda_2 t} \end{bmatrix}. $$ ### Type 3 > $$ > \tag{6} > J = > \begin{bmatrix} \lambda & 1 \\ & \lambda > \end{bmatrix}. > $$ 首先, 我們知道 $$ \tag{7} J^n = \begin{bmatrix} \lambda^n & n\lambda^{n-1} \\ & \lambda^n \end{bmatrix}. $$ 因此, $$ \tag{8} e^{Jt} = I + tJ + \frac{t^2}{2!}J^2 + \cdots = \begin{bmatrix} \sum \frac{\lambda^n t^n}{n!} & \sum \frac{n\lambda^{n-1} t^n}{n!} \\ & \sum \frac{\lambda^n t^n}{n!} \end{bmatrix}. $$ 然後我們一個一個算: $$ \tag{9} \sum^{\infty}_{n=0} \frac{\lambda^n t^n}{n!} = \sum^{\infty}_{n=0} \frac{(\lambda t)^n}{n!} = e^{\lambda t}. $$ 另外 $$ \tag{10} \sum^{\infty}_{n=1} \frac{n\lambda^{n-1} t^n}{n!} = t\sum^{\infty}_{n=1} \frac{\lambda^{n-1} t^{n-1}}{(n-1)!} = t\sum^{\infty}_{n=0} \frac{\lambda^{n} t^n}{(n)!} = te^{\lambda t}. $$ 因此我們有 $$ \tag{11} e^{Jt} = \begin{bmatrix} e^{\lambda t} & te^{\lambda t} \\ & e^{\lambda t} \end{bmatrix}. $$ ### Type 2 > $$ > \tag{12} > J = \begin{bmatrix} a & b \\ -b & a > \end{bmatrix} > $$ **Remark:** 這邊假設 $A$ 的 eigenvalue 是 $a+ib$, eigenvector 是 $v+iw$, 並且 $A= VJV^{-1}$, 其中 $V=[v, w]$. #### Method 1 首先我們把 $J$ 寫成兩個矩陣的和: $$ \tag{13} J = a \begin{bmatrix} 1 & \\ & 1 \end{bmatrix}+ b \begin{bmatrix} & 1 \\ -1 & \end{bmatrix}= a I + bG. $$ 然後我們看一下 $e^{atI}$ 以及 $e^{btG}$ 這兩個矩陣. $I$ 是個對角矩陣所以可以直接看出 $$ \tag{14} e^{atI} = \begin{bmatrix} e^{at} & \\ & e^{at} \end{bmatrix} = e^{at} I. $$ 至於 $G$, 我們首先觀察得到以下關係, for $k=0, \cdots,$ $$ \tag{15} G^{4k+1} = G, \quad G^{4k+2} = -I, \quad G^{4k+2} = -G, \quad G^{4k} = I. $$ 因此, $$\tag{16} \begin{align} e^{btG} &= I + btG + \frac{(bt)^2}{2!}G^2 + \cdots \\ &= \begin{bmatrix} \sum_{n=0} (-1)^n\frac{(bt)^{2n}}{(2n)!} & \sum_{n=0} (-1)^n\frac{(bt)^{2n+1}}{(2n+1)!} \\ -\sum_{n=0} (-1)^n\frac{(bt)^{2n+1}}{(2n+1)!} & \sum_{n=0} (-1)^n\frac{(bt)^{2n}}{(2n)!} \end{bmatrix}= \begin{bmatrix} \cos(bt) & \sin(bt) \\ -\sin(bt) & \cos(bt) \end{bmatrix}. \end{align} $$ ##### Lemma: If $AB=BA$, then $e^{A}e^B = e^{A+B}$. > 這個 lemma 的證明就是把整個算式乘開整理. 我們這邊就不把細節寫出來了. 利用以上這個 lemma, 以及我們知道 $I$ 與 $G$ 兩個矩陣一定有 $IG=GI$, 我們就可以知道 $$ \tag{17} e^{tJ} = e^{atI}e^{btG} = \begin{bmatrix} e^{at}\cos(bt) & e^{at}\sin(bt) \\ -e^{at}\sin(bt) & e^{at}\cos(bt) \end{bmatrix}. $$ #### Method 2 假設 $A$ 的 eigenvalue 是 $a+ib$, eigenvector 是 $v+iw$, 並且令 $\tilde{V}=[v+iw, v-iw]$, 那我們就有 $$ \tag{18} A = \tilde{V}\begin{bmatrix} a+ib & \\ & a-ib \end{bmatrix}\tilde{V}^{-1}. $$ 那麼就可以直接得到 $$ \tag{19} e^{At} = \tilde{V}\begin{bmatrix} e^{at}(\cos(bt)+i\sin(bt)) & \\ & e^{at}(\cos(bt)-i\sin(bt)) \end{bmatrix}\tilde{V}^{-1}. $$ 只是等號右邊都是複數令人有點害怕. 接著我們來做矩陣分解. 我們讓 $\tilde{V}=VK$ 如下 $$ \tag{20} \tilde{V} = [v+iw, v-iw] = [v, w]\begin{bmatrix} 1 & 1 \\ i & -i \end{bmatrix} = VK. $$ 而 $K^{-1}$ 可以輕易算出, 我們有 $$ \tag{21} K^{-1} = \frac{1}{2}\begin{bmatrix} 1 & -i \\ 1 & i \end{bmatrix}. $$ 因此, 我們就可以把 (18) 式改寫為 $$ \tag{22} A = VK\begin{bmatrix} a+ib & \\ & a-ib \end{bmatrix}K^{-1}V^{-1}. $$ 中間那個矩陣我們可以計算一下 $$ \tag{23} \begin{bmatrix} 1 & 1 \\ i & -i \end{bmatrix}\begin{bmatrix} a+ib & \\ & a-ib \end{bmatrix}\begin{bmatrix} 1/2 & -i/2 \\ 1/2 & i/2 \end{bmatrix} = \begin{bmatrix} a & b \\ -b & a \end{bmatrix}. $$ 也就是說這樣子做我們還原了實數的矩陣分解 $A = VJV^{-1}$. 最後我們就可以來算 $e^{tA}$ 了. 我們把 $\tilde{V} = VK$ 代入 (19), 中間那些矩陣乘法就會是 $$ \tag{24} \begin{bmatrix} 1 & 1 \\ i & -i \end{bmatrix}\begin{bmatrix} e^{(a+ib)t} & \\ & e^{(a-ib)t} \end{bmatrix}\begin{bmatrix} 1/2 & -i/2 \\ 1/2 & i/2 \end{bmatrix}=\begin{bmatrix} e^{at}\cos(bt) & e^{at}\sin(bt) \\ -e^{at}\sin(bt) & e^{at}\cos(bt) \end{bmatrix}. $$ 得到跟 (17) 一模一樣的結果.