JordanDecomposition

JordanDecomposition[m]

产生一个方阵 m 的 Jordan 分解. 结果是一个列表 {s,j},其中 s 是一个相似矩阵,jm 的 Jordan 范式.

更多信息

  • 原矩阵 m 等于 s.j.Inverse[s]. »
  • 矩阵 m 是数值型或者是符号型.

范例

打开所有单元关闭所有单元

基本范例  (1)

出 3×3 矩阵的 Jordan 分解:

格式化结果:

范围  (10)

基本用法  (6)

机器精度矩阵的约旦分解:

格式化结果:

复矩阵的约旦分解:

具有亏特征空间 (deficient eigenspace) 的精确矩阵的约旦分解:

的第三列中的 1 表明对应于 48 的特征空间是亏的:

因此 的第三列是一个广义的特征向量,其中 给出 ,而不是

任意精度矩阵的约旦分解:

符号矩阵的约旦分解:

高效计算大型数值矩阵的约旦分解:

特殊矩阵  (4)

稀疏矩阵的约旦分解:

结构化矩阵的特征系统:

IdentityMatrix 是约旦标准型:

关联的相似矩阵是单位矩阵的平方根:

HilbertMatrix 的约旦分解:

应用  (12)

广义特征向量和可对角化性  (4)

对于矩阵 ,根据真实特征向量和广义特征向量解释约旦分解的 矩阵的列:

计算约旦分解:

在对应的 第 1、3 和 4 列 的对角线上没有 的列是真正的特征向量,其中

剩余的列是一个广义特征向量,其中

证明下面的矩阵只有一个特征向量,但它有一个完整的广义特征向量链,构成了 TemplateBox[{}, Reals]^4 的基:

Eigensystem 显示 84 是重数为 4 的特征值,它只有一个独立的特征向量:

JordanDecomposition 矩阵的第一列是找到的一个特征向量:

其余的列是一个链,其中

由于 NullSpace 为空,其列构成 TemplateBox[{}, Reals]^4 的基:

有且仅有当方块矩阵的 矩阵为对角矩阵时,其有完整的特征向量组,因此该矩阵可对角化:

测试特定矩形是否对角化:

使用 DiagonalizableMatrixQ 进行验证:

估计一个由 1 和 0 组成的 4×4 矩阵对角化的概率:

对于 ,如果 ,则一个 × 的矩阵 是幂零矩阵:

考虑不可对角化的矩阵

可用 JordanDecomposition 写成可对角化矩阵和幂零矩阵的和:

的对角部分形成的矩阵:

的超对角部分形成的矩阵:

i是 的和:

矩阵 是可对角化的:

矩阵 是幂零矩阵:

而且,矩阵 是可交换的:

对角化  (4)

对于可对角化矩阵,约旦分解直接给出其对角化为 m=s.j.TemplateBox[{s}, Inverse]. 将其应用于将矩阵 对角化:

计算约旦分解:

验证对角化:

为线性变换,其标准矩阵由矩阵 给出. 求得 TemplateBox[{}, Reals]^4 的基 ,在该基 表示的属性为对角矩阵:

的约旦分解:

由特征向量组成,即 的列. 当 坐标转换为标准坐标时,其逆向转换为相反方向:

因此 TemplateBox[{s}, Inverse].a.s 给出 ,且为对角矩阵:

请注意,这只是对角矩阵,其项是特征值:

实值对称矩阵 可正交对角化为 h=o.d.TemplateBox[{o}, Transpose],其中 为实值对角矩阵且 为正交. 验证以下矩阵是对称的,然后对其进行对角化:

计算约旦分解:

等于

在正规化其列后等于

验证 实际上为正交矩阵:

验证 h=o.d.TemplateBox[{o}, Transpose]

TemplateBox[{n}, ConjugateTranspose].n=n.TemplateBox[{n}, ConjugateTranspose] 则矩阵被称为正规矩阵. 正规矩阵是最通用的一种矩阵,可以通过酉变换对角化. 所有实对称矩阵 都是正规矩阵,因为等式的两边都是

证明下面的矩阵是正规的,并对其进行对角化:

使用 NormalMatrixQ 验证:

计算约旦分解:

不像实对称矩阵,该对角矩阵的值为复数:

的列进行正规化得到酉矩阵:

验证对角化 n=u.d.TemplateBox[{u}, ConjugateTranspose]

矩阵函数和动态系统  (4)

使用约旦分解计算下列矩阵

计算 矩阵:

验证单位矩阵 m=s.j.TemplateBox[{s}, Inverse]

然后 m^k=s.j.TemplateBox[{s}, Inverse].s.j.TemplateBox[{s}, Inverse].....s.j.TemplateBox[{s}, Inverse]=s.j^k.TemplateBox[{s}, Inverse]. 由于 是上三角形且接近对角线,因此对角线项的乘方为 ,项 变为

因此 的表达式为:

通过 MatrixPower 的直接计算进行验证:

应用指数的幂级数,对角线项变成 ,而非对角线项只是重新索引的指数和. 因此,它也变成了

因此 的表达式为:

通过 MatrixExp 的计算进行验证:

验证约旦矩阵的方程 ,该约旦矩阵由下列矩阵 和函数 , 的单链组成:

首先计算 的方程:

使用 MatrixFunction 验证该计算:

的计算也类似:

MatrixFunction 验证了该结果:

由于 有参数,需要使用 D 而非 Derivative,并在 中代换:

同样,当使用 Function 输入 时,MatrixFunction 确认结果:

求解常微分方程组 , , . 首先,构建右侧的系数矩阵

计算 的约旦分解:

使用前面例子的方程式, 由下式给出:

通解为 exp(ta).{c_1,c_2,c_3}=s.exp(tj).TemplateBox[{s}, Inverse].{TemplateBox[{1}, CTraditional],TemplateBox[{2}, CTraditional],TemplateBox[{3}, CTraditional]},对于三个任意的起始值:

使用 DSolveValue 验证解:

是以下随机矩阵时,生成动态系统 的一般解:

计算 的约旦分解:

由于 为对角矩阵, 仅包括对角项的 次幂:

通解为 A^k.{c_1,c_2.c_3}=s.j^k.TemplateBox[{s}, Inverse].{c_1,c_2.c_3}

验证 满足动态方程:

属性和关系  (10)

JordanDecomposition[m] 给出 m 的矩阵分解为 s.j.Inverse[s]

求 Jordan 分解:

m 等于 s.j.Inverse[s]

m 特征值是 j 的对角元素:

当且仅当约旦分解的 j 矩阵为对角矩阵,该矩阵可对角化:

如果 m 是对角化的,Jordan 分解实际上和 Eigensystem 相同:

次序是不相同:

特征值是 j 的对角元素:

特征向量是 s 的列元素:

对于可对角化矩阵, JordanDecomposition 将函数应用简化为特征值的应用:

使用对角化计算矩阵指数,仅对对角线项求幂:

使用 MatrixExp 计算矩阵指数:

请注意,这不仅仅是每个项的指数:

对于不可对角化矩阵,约旦分解将函数应用限制在每个广义特征向量链上:

j 矩阵不是对角矩阵,所以 m 不可对角化:

对于 j 在对角线上方有 1 的列,函数应用仅扩展到对角线上方:

验证 f(m)=s.f(j).TemplateBox[{s}, Inverse]

对于实对称数值矩阵, 矩阵是正交矩阵:

矩阵为对角实数矩阵:

对于实反对称数值矩阵, 矩阵是酉矩阵:

矩阵是有纯虚对角项的对角矩阵:

对于实酉数值矩阵, 矩阵是酉矩阵:

矩阵为对角矩阵:

对角线项位于单位圆上:

对于正规数值矩阵, 矩阵是酉矩阵:

矩阵为对角矩阵:

正规矩阵 nSchurDecomposition[n,RealBlockDiagonalFormFalse]

到这里,结果与约旦分解一致:

tj 矩阵相等:

为验证 q 是否具有特征向量作为列,将每列的第一个条目设置为 1. 可以消除 qs 之间的相位差:

可能存在的问题  (2)

m 是一个 4×4 矩阵,其中一些项略有不同:

用明确算法求 Jordan 分解:

这显示 m 是对角化的:

用机器数算法求 Jordan 分解:

用机器数算法的计算来指定矩阵不是对角化的:

对于机器精度,m 是难区分非对角矩阵的形式:

矩阵 m 有一些机器精度的项:

由于数值四舍五入,2. 处的缺陷特征空间被分成两个独立的特征空间:

使用精确算术进行计算,确定矩阵是否可对角化:

Wolfram Research (1996),JordanDecomposition,Wolfram 语言函数,https://reference.wolfram.com/language/ref/JordanDecomposition.html (更新于 2010 年).

文本

Wolfram Research (1996),JordanDecomposition,Wolfram 语言函数,https://reference.wolfram.com/language/ref/JordanDecomposition.html (更新于 2010 年).

CMS

Wolfram 语言. 1996. "JordanDecomposition." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2010. https://reference.wolfram.com/language/ref/JordanDecomposition.html.

APA

Wolfram 语言. (1996). JordanDecomposition. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/JordanDecomposition.html 年

BibTeX

@misc{reference.wolfram_2024_jordandecomposition, author="Wolfram Research", title="{JordanDecomposition}", year="2010", howpublished="\url{https://reference.wolfram.com/language/ref/JordanDecomposition.html}", note=[Accessed: 06-September-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_jordandecomposition, organization={Wolfram Research}, title={JordanDecomposition}, year={2010}, url={https://reference.wolfram.com/language/ref/JordanDecomposition.html}, note=[Accessed: 06-September-2024 ]}