矩阵指数

✍ dations ◷ 2025-08-26 16:04:43 #矩阵论,李群,指数

矩阵指数是方块矩阵的一种矩阵函数,与指数函数类似。矩阵指数给出了矩阵李代数与对应的李群之间的关系。

设为×的实数或复数矩阵。的指数,用或exp()来表示,是由以下幂级数所给出的×矩阵:

以上的级数总是收敛的,因此的指数是定义良好的。注意,如果是1×1的矩阵,则的矩阵指数就是由的元素的指数所组成的1×1矩阵。

设和为×的复数矩阵,并设和为任意的复数。我们把×的单位矩阵记为,把零矩阵记为0。

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

接下来是一个关键性质:

由此导出的推论有:

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

其中是矩阵,具有解

矩阵指数也可以用来解非齐次方程:

参见以下的例子。

当不是常数时,以下形式的微分方程没有闭式解:

但马格努斯级数可以给出无穷级数形式的解。

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

det ( e A ) = e tr ( A )   {\displaystyle \det(e^{A})=e^{\operatorname {tr} (A)}~} ) ≠ 0,从而必可逆。

我们知道,对于任何实数(标量)和,指数函数都满足公式 + = 。类似的等式对于可交换矩阵也成立:如果矩阵和是可交换的(即 = ),则:

但是,如果它们不是可交换的,则以上的等式不一定成立。

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

和不可交换的情况可以用以下方法计算:

即使 X {\displaystyle X} 的逆矩阵由−给出。这与复数的指数总是非零的事实类似。这样,矩阵指数就给出了一个映射:

这是从所有×矩阵的空间到一般线性群(所有非奇异方阵所组成的群)的映射。实际上,这个映射是满射,就是说每一个非奇异方阵都可以写成某个矩阵的指数。矩阵对数就是这个映射的逆映射。

对于任何两个矩阵和,我们有:

其中|| · ||表示任意的矩阵范数。从中可以推出,指数映射在(C)的紧子集内是连续和利普希茨连续的。

以下的映射

定义了一般线性群中的一条光滑曲线,当 = 0时穿过单位元。实际上,这给出了一般线性群的一个单参数子群,这是由于:

这条曲线在点的导数(或切向量)由以下等式给出:

= 0时的导数就是矩阵,所以我们可以说,是这个单参数子群的推广。

更加一般地:

寻找计算矩阵指数的可靠和准确的方法是困难的,目前在数学和数值分析领域中仍然是一个正在研究的话题。有些方法列举如下。

如果矩阵是对角的:

则把主对角线上的所有元素取指数,就是原矩阵的指数:

这也允许了我们计算可对角化矩阵的指数。如果 A = U D U 1 {\displaystyle A=UDU^{-1}} 是对角矩阵,则 e A = U e D U 1 {\displaystyle e^{A}=Ue^{D}U^{-1}} ,有 = 0,则矩阵称为幂零矩阵。在这种情况下,矩阵指数可以直接从级数展开式来计算,这是因为级数在有限个项后就终止了:

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

其中:

这称为Dunford分解。

这就是说,我们可以通过化为前两种情况,来计算的指数:

注意为了让最后一步成立, 和必须是可交换的。

另外一个密切相关的方法,是利用的若尔当标准型。假设 =  −1,其中是的若尔当标准型。那么:

另外,由于

因此,我们只需要知道怎样计算若尔当块的矩阵指数。但是,每一个若尔当块都具有形式

其中是幂零矩阵。则这个区块的矩阵指数由下式给出:

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

它的若尔当型为:

其中矩阵由下式给出:

我们首先来计算exp()。我们有:

1×1矩阵的指数仅仅是该矩阵的元素的指数,因此exp(1(4)) = 。 J 2 ( 16 ) {\displaystyle J_{2}(16)} ) = λ exp()来算出:

因此,原矩阵的指数为:

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

具有解C。如果我们考虑以下向量

我们就可以把线性微分方程表示为:

如果我们作一个猜想,把两边乘以一个积分因子 −,便得到:

如果我们可以计算,那么就得到了微分方程的解。

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

相关的矩阵为:

在以上的例子中,我们计算了矩阵指数

因此微分方程组的通解为:

也就是说,

对于非齐次的情况,我们可以用积分因子的方法(类似于参数变换的方法)。我们找到形为p() = exp()()一个特解:

为了让p为方程的解,必须有:

因此,

其中由问题的初始条件决定。

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

那么我们有

以及

用前面的方法,我们可以得出齐次微分方程的解。由于齐次方程的通解与非齐次方程的特解的和就是非齐次方程的通解,因此我们只需要找到一个特解(用参数变换法)。

我们有:

进一步简化,就可以得到原方程的特解。

相关

  • 琵琶湖坐标:35°20′00″N 136°10′00″E / 35.33333°N 136.16667°E / 35.33333; 136.16667琵琶湖(日语:琵琶湖/びわこ Biwa Ko)位于日本滋贺县,为日本最大的湖泊;日本湖沼水质保全特
  • 杨弦杨弦(1950年11月2日-)生于台湾花莲,台湾民谣歌手,母亲为会计,父亲担任国民党花莲县党部主任委员,于杨弦四岁时过世。父亲逝世后,移居台北,与母亲相依为命。大学时代进入台大农化系,在
  • 品种 (动物)动物中的品种(英语:breed)是指由人类培育的具有某些相同特征的家养动物的种下类群。非专业人士常将种(即物种)错误地称作品种,但动物品种是种之下的类群单位。此外,家养动物品种与
  • 李河璘李河璘(韩语:이하린;1983年9月8日-)于2004年出道,曾是韩国女团Sugar成员之一。自2009年起,参演多部韩国电视剧包括《料理绝配Pasta》、《幻想巨塔》等等。
  • 张逸云张逸云,(1871年—1933年),清末民国实业家,中国味精工业先驱。原名汝桂,字彝年,浙江省镇海县(宁波)小港街道衙前村人。清朝光绪十九年(1893年),中举人。早年在上海继承家族生意,从事传统的
  • 刚姓刚姓为中文姓氏之一。第一个渊源:源于地名,出自战国时期齐国刚邑,属于以居邑名称为氏。第二个渊源:源于鲜卑族,出自北魏时期侯伏侯氏(胡引氏)人侯刚,属于以帝王赐名为氏。第三个渊源
  • 卡尔森峰坐标:75°57′S 70°33′W / 75.950°S 70.550°W / -75.950; -70.550卡尔森峰(英语:Carlson Peak)是南极洲的山峰,座标,位于埃尔斯沃思地,属于豪贝格山脉的一部分,美国地质调查局根
  • 吸血鬼魅影《吸血鬼魅影》(英语:)是一套2000年的英美合制剧情片,由E·伊莉雅丝·米夏治执导,约翰·马尔科维奇及威廉·达福等主演。电影以F·W·穆瑙于1921年在东欧拍摄《不死僵尸—恐栗交
  • 挪威语言冲突挪威语言冲突(挪威语:språkstriden;丹麦语:sprogstriden)是指挪威政治和文化领域中关于挪威语书写标准所引起的冲突。挪威语的发展深受民族主义、城乡差异、方言冲突、以及各项
  • 爱子内亲王缺课事件爱子内亲王缺课事件(日语:愛子内親王不登校騷動/あいこないしんのうふとうこうそうどう )为日本皇室成员爱子内亲王于2010年因在学期间缺课所引起的骚动事件。爱子就读于东京新