**矩阵指数**（matrix exponential）是方块矩阵的一种矩阵函数，与指数函数类似。矩阵指数给出了矩阵李代数与对应的李群之间的关系。

设*X*为*n*×*n*的实数或复数矩阵。*X*的指数，用*e**X*或exp(*X*)来表示，是由以下幂级数所给出的*n*×*n*矩阵：

{\displaystyle e^{X}=\sum \_{k=0}^{\infty }{1 \over k!}X^{k}}
以上的级数总是收敛的，因此*X*的指数是定义良好的。注意，如果*X*是1×1的矩阵，则*X*的矩阵指数就是由*X*的元素的指数所组成的1×1矩阵。

性质
--

### 基本性质

设*X*和*Y*为*n*×*n*的复数矩阵，并设*a*和*b*为任意的复数。我们把*n*×*n*的单位矩阵记为*I*，把零矩阵记为0。

我们可以从指数级数的定义直接得到矩阵指数的如下性质：

* *e*0 = *I*
* exp(*X*T) = (exp *X*)T，其中*X*T表示*X*的转置。从中可以推出，如果*X*是对称矩阵，则*e**X*也是对称矩阵；如果*X*是斜对称矩阵，则*e**X*是正交矩阵。

* exp(*X*\*) = (exp *X*)\*，其中*X*\*表示*X*的共轭转置。可以推出，如果*X*是埃尔米特矩阵，则*e**X*也是埃尔米特矩阵；如果*X*是斜埃尔米特矩阵，则*e**X*是酉矩阵。

* 如果*Y*是可逆矩阵，那么 *e**YXY*−1 = *Ye**X**Y*−1

接下来是一个关键性质：

* 如果{\displaystyle XY=YX}那么 {\displaystyle e^{X}e^{Y}=e^{X+Y}}

由此导出的推论有：

* *e**aX**e**bX* = *e*(*a* + *b*)*X*
* *e**X**e*−*X* = *I*

### 线性微分方程

矩阵指数的一个重要性，是它可以用来解微分方程。从(1)可知，以下微分方程

{\displaystyle {\frac {d}{dt}}y(t)=Ay(t),\quad y(0)=y\_{0}}
其中*A*是矩阵，具有解

{\displaystyle y(t)=e^{At}y\_{0}\ }
矩阵指数也可以用来解非齐次方程：

{\displaystyle {\frac {d}{dt}}y(t)=Ay(t)+z(t),\quad y(0)=y\_{0}}
参见以下的例子。

当*A*不是常数时，以下形式的微分方程没有闭式解：

{\displaystyle {\frac {d}{dt}}y(t)=A(t)\,y(t),\quad y(0)=y\_{0}}
但马格努斯级数可以给出无穷级数形式的解。

### 矩阵指数的行列式

根据雅可比公式，对任意复矩阵，下列迹等式成立：

{\displaystyle \det(e^{A})=e^{\operatorname {tr} (A)}~}

除了提供一种额外的计算工具，这个等式还表明矩阵指数总是可逆矩阵。这点可以如下证明：因为上述等式的右边恒不等于0，所以左边det(*eA*) ≠ 0，从而*eA*必可逆。

### 指数相加

我们知道，对于任何实数（标量）*x*和*y*，指数函数都满足公式*e**x* + *y* = *e**x**e**y*。类似的等式对于可交换矩阵也成立：如果矩阵*X*和*Y*是可交换的（即*XY* = *YX*），则：

{\displaystyle e^{X+Y}=e^{X}e^{Y}\ }
但是，如果它们不是可交换的，则以上的等式不一定成立。

这个命题反过来不成立：*e**X*+*Y*=*e**X**e**Y*并不一定就意味着*X*和*Y*是可交换的。但是，如果*X*和*Y*只含有代数数，而且它们的大小至少为2×2，则反过来也成立。

*X*和*Y*不可交换的情况可以用以下方法计算：

### 李乘积公式

即使{\displaystyle X}和{\displaystyle Y}不可交换，{\displaystyle e^{X+Y}}可以用李乘积公式来计算

{\displaystyle e^{X+Y}=\lim \_{n\rightarrow \infty }(e^{X/n}e^{Y/n})^{n}}
### 贝克尔-坎贝尔-豪斯多夫公式

从另一个方向讲，如果{\displaystyle X}和{\displaystyle Y}是元素足够小（但不一定可交换）的矩阵，我们有：

{\displaystyle e^{X}e^{Y}=e^{Z}}
其中{\displaystyle Z}可以通过{\displaystyle X}和{\displaystyle Y}的交换子的级数（贝克尔-坎贝尔-豪斯多夫公式）来计算：

{\displaystyle Z=X+Y+{\frac {1}{2}}[X,Y]+{\frac {1}{12}}[X,[X,Y]]+\cdots }
其中余项均为与{\displaystyle X}和{\displaystyle Y}相关的迭代交换子。

### 指数映射

注意矩阵的指数总是非奇异方阵。*e**X*的逆矩阵由*e*−*X*给出。这与复数的指数总是非零的事实类似。这样，矩阵指数就给出了一个映射：

{\displaystyle \exp \colon M\_{n}(\mathbb {C} )\to {\mbox{GL}}(n,\mathbb {C} )}
这是从所有*n*×*n*矩阵的空间到一般线性群（所有非奇异方阵所组成的群）的映射。实际上，这个映射是满射，就是说每一个非奇异方阵都可以写成某个矩阵的指数。矩阵对数就是这个映射的逆映射。

对于任何两个矩阵*X*和*Y*，我们有：

{\displaystyle \|e^{X+Y}-e^{X}\|\leq \|Y\|e^{\|X\|}e^{\|Y\|}}
其中|| · ||表示任意的矩阵范数。从中可以推出，指数映射在*M**n*(**C**)的紧子集内是连续和利普希茨连续的。

以下的映射

{\displaystyle t\mapsto e^{tX},\qquad t\in \mathbb {R} }
定义了一般线性群中的一条光滑曲线，当*t* = 0时穿过单位元。实际上，这给出了一般线性群的一个单参数子群，这是由于：

{\displaystyle e^{tX}e^{sX}=e^{(t+s)X}\ }
这条曲线在点*t*的导数（或切向量）由以下等式给出：

{\displaystyle {\frac {d}{dt}}e^{tX}=Xe^{tX}\qquad (1)}
*t* = 0时的导数就是矩阵*X*，所以我们可以说，*X*是这个单参数子群的推广。

更加一般地：

{\displaystyle {\frac {d}{dt}}e^{X(t)}=\int \_{0}^{1}e^{(1-\alpha )X(t)}{\frac {dX(t)}{dt}}e^{\alpha X(t)}\,d\alpha }

矩阵指数的计算
-------

找到可靠而准确的方法来计算矩阵指数是很困难的，这仍然是目前数学和数值分析领域的一个重要研究课题。Matlab、GNU Octave和SciPy都使用帕德近似。 在本节中，我们讨论了原则上适用于任何矩阵的方法，并且可以对小矩阵进行显式处理。 随后的章节描述了适合对大矩阵进行数值评估的方法。

### 可对角化矩阵

如果矩阵是对角的：

{\displaystyle A={\begin{bmatrix}a\_{1}&0&\ldots &0\\0&a\_{2}&\ldots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\ldots &a\_{n}\end{bmatrix}}}
则把主对角线上的所有元素取指数，就是原矩阵的指数：

{\displaystyle 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}}}
这也允许了我们计算可对角化矩阵的指数。如果{\displaystyle A=UDU^{-1}}，且*D*是对角矩阵，则{\displaystyle e^{A}=Ue^{D}U^{-1}}。用西尔维斯特公式，也可以得到相同的结果。

### 幂零矩阵

如果对于某个整数*q*，有*N**q* = 0，则矩阵*N*称为幂零矩阵。在这种情况下，矩阵指数*e**N*可以直接从级数展开式来计算，这是因为级数在有限个项后就终止了：

{\displaystyle e^{N}=I+N+{\frac {1}{2}}N^{2}+{\frac {1}{6}}N^{3}+\cdots +{\frac {1}{(q-1)!}}N^{q-1}}
### 推广

当矩阵*X*的最小多项式可以分解为一次多项式的积时，它就可以表示为以下的和：

{\displaystyle X=A+N\ }
其中：

* *A*是可对角化矩阵；
* *N*是幂零矩阵；
* *A*与*N*是可交换的（也就是说， *AN* = *NA*）。

这称为Dunford分解。

这就是说，我们可以通过化为前两种情况，来计算*X*的指数：

{\displaystyle e^{X}=e^{A+N}=e^{A}e^{N}\ }
注意为了让最后一步成立， *A*和*N*必须是可交换的。

另外一个密切相关的方法，是利用*X*的若尔当标准型。假设*X* = *PJP*−1，其中*J*是*X*的若尔当标准型。那么：

{\displaystyle e^{X}=Pe^{J}P^{-1}\ }
另外，由于

{\displaystyle J=J\_{a\_{1}}(\lambda \_{1})\oplus J\_{a\_{2}}(\lambda \_{2})\oplus \cdots \oplus J\_{a\_{n}}(\lambda \_{n})}
{\displaystyle {\begin{aligned}e^{J}&{}=\exp {\big (}J\_{a\_{1}}(\lambda \_{1})\oplus J\_{a\_{2}}(\lambda \_{2})\oplus \cdots \oplus J\_{a\_{n}}(\lambda \_{n}){\big )}\\&{}=\exp {\big (}J\_{a\_{1}}(\lambda \_{1}){\big )}\oplus \exp {\big (}J\_{a\_{2}}(\lambda \_{2}){\big )}\oplus \cdots \oplus \exp {\big (}J\_{a\_{k}}(\lambda \_{k}){\big )}\end{aligned}}}
因此，我们只需要知道怎样计算若尔当块的矩阵指数。但是，每一个若尔当块都具有形式

{\displaystyle J\_{a}(\lambda )=\lambda I+N\ }
其中*N*是幂零矩阵。则这个区块的矩阵指数由下式给出：

{\displaystyle e^{\lambda I+N}=e^{\lambda }e^{N}\ }

计算
--

假设我们想要计算以下矩阵的指数。

{\displaystyle B={\begin{bmatrix}21&17&6\\-5&-1&-6\\4&4&16\end{bmatrix}}}
它的若尔当型为：

{\displaystyle J=P^{-1}BP={\begin{bmatrix}4&0&0\\0&16&1\\0&0&16\end{bmatrix}}}
其中矩阵*P*由下式给出：

{\displaystyle P={\begin{bmatrix}-{\frac {1}{4}}&2&{\frac {5}{4}}\\{\frac {1}{4}}&-2&-{\frac {1}{4}}\\0&4&0\end{bmatrix}}}
我们首先来计算exp(*J*)。我们有：

{\displaystyle J=J\_{1}(4)\oplus J\_{2}(16)}
1×1矩阵的指数仅仅是该矩阵的元素的指数，因此exp(*J*1(4)) = [*e*4]。{\displaystyle J\_{2}(16)}的指数可以用以上提到的公式exp(λ{\displaystyle I}+*N*) = *e*λ exp(*N*)来算出：

{\displaystyle \exp \left({\begin{bmatrix}16&1\\0&16\end{bmatrix}}\right)=e^{16}\exp \left({\begin{bmatrix}0&1\\0&0\end{bmatrix}}\right)=e^{16}\left({\begin{bmatrix}1&0\\0&1\end{bmatrix}}+{\begin{bmatrix}0&1\\0&0\end{bmatrix}}+{1 \over 2!}{\begin{bmatrix}0&0\\0&0\end{bmatrix}}+\cdots \right)={\begin{bmatrix}e^{16}&e^{16}\\0&e^{16}\end{bmatrix}}}
因此，原矩阵*B*的指数为：

{\displaystyle \exp(B)=P\exp(J)P^{-1}=P{\begin{bmatrix}e^{4}&0&0\\0&e^{16}&e^{16}\\0&0&e^{16}\end{bmatrix}}P^{-1}={1 \over 4}{\begin{bmatrix}13e^{16}-e^{4}&13e^{16}-5e^{4}&2e^{16}-2e^{4}\\-9e^{16}+e^{4}&-9e^{16}+5e^{4}&-2e^{16}+2e^{4}\\16e^{16}&16e^{16}&4e^{16}\end{bmatrix}}}

应用
--

### 线性微分方程

矩阵指数在解线性微分方程时十分有用。前面曾提到，以下形式的微分方程

{\displaystyle \mathbf {y} '=C\mathbf {y} }
具有解*e*C*t**y(0)*。如果我们考虑以下向量

{\displaystyle \mathbf {y} (t)={\begin{bmatrix}y\_{1}(t)\\\vdots \\y\_{n}(t)\end{bmatrix}}}
我们就可以把线性微分方程表示为： 

{\displaystyle \mathbf {y} '(t)=A\mathbf {y} (t)+\mathbf {b} (t)}
如果我们作一个猜想，把两边乘以一个积分因子 *e*−*At*，便得到：

{\displaystyle e^{-At}\mathbf {y} '-e^{-At}A\mathbf {y} =e^{-At}\mathbf {b} }
{\displaystyle {\frac {d}{dt}}(e^{-At}\mathbf {y} )=e^{-At}\mathbf {b} }
如果我们可以计算*e**At*，那么就得到了微分方程的解。 

#### 例子（齐次）

假设我们有以下的微分方程组：

{\displaystyle {\begin{matrix}x'&=&2x&-y&+z\\y'&=&&3y&-1z\\z'&=&2x&+y&+3z\end{matrix}}}
相关的矩阵为：

{\displaystyle M={\begin{bmatrix}2&-1&1\\0&3&-1\\2&1&3\end{bmatrix}}}
在以上的例子中，我们计算了矩阵指数 

{\displaystyle e^{tM}={\begin{bmatrix}2e^{t}-2te^{2t}&-2te^{2t}&0\\-2e^{t}+2(t+1)e^{2t}&2(t+1)e^{2t}&0\\2te^{2t}&2te^{2t}&2e^{t}\end{bmatrix}}}
因此微分方程组的通解为： 

{\displaystyle {\begin{bmatrix}x\\y\\z\end{bmatrix}}=C\_{1}{\begin{bmatrix}2e^{t}-2te^{2t}\\-2e^{t}+2(t+1)e^{2t}\\2te^{2t}\end{bmatrix}}+C\_{2}{\begin{bmatrix}-2te^{2t}\\2(t+1)e^{2t}\\2te^{2t}\end{bmatrix}}+C\_{3}{\begin{bmatrix}0\\0\\2e^{t}\end{bmatrix}}}
也就是说，

{\displaystyle {\begin{aligned}x&=C\_{1}(2e^{t}-2te^{2t})+C\_{2}(-2te^{2t})\\y&=C\_{1}(-2e^{t}+2(t+1)e^{2t})+C\_{2}(2(t+1)e^{2t})\\z&=(C\_{1}+C\_{2})(2te^{2t})+2C\_{3}e^{t}\end{aligned}}}
#### 非齐次的情况──参数变换

对于非齐次的情况，我们可以用积分因子的方法（类似于参数变换的方法）。我们找到形为***y***p(*t*) = exp(*tA*)***z***(*t*)一个特解：

{\displaystyle \mathbf {y} \_{p}'=(e^{tA})'\mathbf {z} (t)+e^{tA}\mathbf {z} '(t)}
{\displaystyle =Ae^{tA}\mathbf {z} (t)+e^{tA}\mathbf {z} '(t)}
{\displaystyle =A\mathbf {y} \_{p}(t)+e^{tA}\mathbf {z} '(t)}
为了让***y***p为方程的解，必须有：

{\displaystyle e^{tA}\mathbf {z} '(t)=\mathbf {b} (t)}
{\displaystyle \mathbf {z} '(t)=(e^{tA})^{-1}\mathbf {b} (t)}
{\displaystyle \mathbf {z} (t)=\int \_{0}^{t}e^{-uA}\mathbf {b} (u)\,du+\mathbf {c} }
因此，

{\displaystyle {\begin{aligned}\mathbf {y} \_{p}&{}=e^{tA}\int \_{0}^{t}e^{-uA}\mathbf {b} (u)\,du+e^{tA}\mathbf {c} \\&{}=\int \_{0}^{t}e^{(t-u)A}\mathbf {b} (u)\,du+e^{tA}\mathbf {c} \end{aligned}}}
其中***c***由问题的初始条件决定。

#### 例子（非齐次）

假设我们有以下的微分方程组：

{\displaystyle {\begin{matrix}x'&=&2x&-y&+z&+e^{2t}\\y'&=&&3y&-1z&\\z'&=&2x&+y&+3z&+e^{2t}\end{matrix}}}
那么我们有 

{\displaystyle M={\begin{bmatrix}2&-1&1\\0&3&-1\\2&1&3\end{bmatrix}}}
以及

{\displaystyle \mathbf {b} =e^{2t}{\begin{bmatrix}1\\0\\1\end{bmatrix}}}
用前面的方法，我们可以得出齐次微分方程的解。由于齐次方程的通解与非齐次方程的特解的和就是非齐次方程的通解，因此我们只需要找到一个特解（用参数变换法）。

我们有：

{\displaystyle \mathbf {y} \_{p}=e^{t}\int \_{0}^{t}e^{(-u)M}{\begin{bmatrix}e^{2u}\\0\\e^{2u}\end{bmatrix}}\,du+e^{tM}\mathbf {c} }
{\displaystyle \mathbf {y} \_{p}=e^{t}\int \_{0}^{t}{\begin{bmatrix}2e^{u}-2ue^{2u}&-2ue^{2u}&0\\\\-2e^{u}+2(u+1)e^{2u}&2(u+1)e^{2u}&0\\\\2ue^{2u}&2ue^{2u}&2e^{u}\end{bmatrix}}{\begin{bmatrix}e^{2u}\\0\\e^{2u}\end{bmatrix}}\,du+e^{tM}\mathbf {c} }
{\displaystyle \mathbf {y} \_{p}=e^{t}\int \_{0}^{t}{\begin{bmatrix}e^{2u}(2e^{u}-2ue^{2u})\\\\e^{2u}(-2e^{u}+2(1+u)e^{2u})\\\\2e^{3u}+2ue^{4u}\end{bmatrix}}+e^{tM}\mathbf {c} }
{\displaystyle \mathbf {y} \_{p}=e^{t}{\begin{bmatrix}-{1 \over 24}e^{3t}(3e^{t}(4t-1)-16)\\\\{1 \over 24}e^{3t}(3e^{t}(4t+4)-16)\\\\{1 \over 24}e^{3t}(3e^{t}(4t-1)-16)\end{bmatrix}}+{\begin{bmatrix}2e^{t}-2te^{2t}&-2te^{2t}&0\\\\-2e^{t}+2(t+1)e^{2t}&2(t+1)e^{2t}&0\\\\2te^{2t}&2te^{2t}&2e^{t}\end{bmatrix}}{\begin{bmatrix}c\_{1}\\c\_{2}\\c\_{3}\end{bmatrix}}}
进一步简化，就可以得到原方程的特解。

註釋
--

1. ↑  Hall 2015 harvnb error: no target: CITEREFHall2015 (help) Proposition 2.3
2. ↑  Hall 2015 harvnb error: no target: CITEREFHall2015 (help) Theorem 2.12
3. ↑  （Horn & Johnson 1991，pp.435–437）
4. ↑  Hall 2015 harvnb error: no target: CITEREFHall2015 (help) Theorem 2.11
5. ↑  Hall 2015 harvnb error: no target: CITEREFHall2015 (help) Chapter 5
6. ↑ . Mathworks. 2011-04-30  [2013-06-05]. （原始内容存档于2012-07-30）.
7. ↑ . Network-theory.co.uk. 2007-01-11  [2013-06-05]. （原始内容存档于2015-05-29）.
8. ↑ . The SciPy Community. 2015-01-18  [2015-05-29].
9. ↑  见Hall 2015 harvnb error: no target: CITEREFHall2015 (help)。2.2节

参考文献
----

* Horn, Roger A.; Johnson, Charles R. Cambridge University Press, 1991, ISBN 978-0-521-46713-1 .
* Moler, Cleve; Van Loan, Charles F.  (PDF), SIAM Review, 2003, **45** (1): 3–49  [2008-08-14], ISSN 1095-7200, （原始内容存档 (PDF)于2008-12-08） .

参閱
--

* 矩阵对数
* 指数函数
* 指数映射
* 向量流
* 高登─湯普森不等式
* 位相型分布

外部链接
----

* 埃里克·韦斯坦因.. MathWorld.
* 矩阵指数的教程