第六章 矩阵函数
核心导读: 本章解决“怎样定义并计算
”这一核心问题。普通代入会遇到无穷级数、不可对角化等障碍,因此需要最小多项式压缩次数、Jordan块处理导数信息、幂级数控制收敛。掌握后即可统一计算 、 、 及各种矩阵级数。
一、化零多项式与最小多项式
若多项式
满足
则称
在所有首一化零多项式中,次数最低者称为
💡 通俗理解
最小多项式像矩阵
Cayley-Hamilton定理
若
则
因此
从Jordan结构求最小多项式
若
若
则
⭐ 核心考点
- 特征多项式记录每个特征值的代数重数;
- 最小多项式记录每个特征值对应的最大Jordan块阶数;
可对角化 无重根。
最小多项式的两种求法
- Jordan法: 求Jordan块,取各初等因子的最小公倍式。
- 试除验证法: 先分解
,逐步降低各因子指数,再代入 检查是否为零矩阵。
⚡ 避坑指南
最小多项式不等于特征多项式。只有当每个特征值都恰有一个Jordan块时,两者才相同。
二、矩阵函数的Jordan表示
若
则定义
对
有
展开为
💡 通俗理解
在对角矩阵上,
做题步骤
- 求
及满足 的 ; - 对每个Jordan块写出
; - 拼成
; - 计算
。
⚡ 避坑指南
相似关系若写成
三、矩阵函数的多项式表示
若最小多项式次数为
设
多项式
然后计算
💡 通俗理解
多项式表示像给函数做“定点复刻”:不仅在特征值处函数值相同,还要按Jordan块大小匹配若干阶导数。匹配完成后,这个低次多项式在矩阵
⭐ 核心考点
若
四、矩阵函数的幂级数表示
若
的收敛半径为
则
常见矩阵函数:
当
⭐ 核心考点
做矩阵级数求和:
- 先把
换成标量 ; - 求标量级数的和函数与收敛半径;
- 检查
; - 把
换回 ,严格保留矩阵乘法顺序。
⚡ 避坑指南
标量恒等式推广到矩阵时,若涉及两个不同矩阵
五、常用性质
1. 指数函数
对任意方阵
若
一般情况下该式不成立。
另外
2. 三角函数
若
💡 通俗理解
同一个矩阵的各个幂彼此可交换,所以关于单个
⚡ 避坑指南
六、考题集汇
例1:求四个矩阵的最小多项式
求下列矩阵的最小多项式:
解答
最小多项式必须满足两点:它是首一化零多项式;它整除特征多项式。下面对四个矩阵分别判断。
(1)矩阵
先求特征多项式:
所以最小多项式只可能是
但
因此一次式不能化零,而二次式可以,故
这也说明
(2)矩阵
不同特征值
说明特征值
故
(3)矩阵
检验两个一次因子的乘积:
而
最小多项式无重根,因此
(4)矩阵
直接计算发现
因此
四个答案依次为
例2:利用Jordan表示计算多项式矩阵函数
设
计算
解答
第一步:写出Jordan分解
矩阵
以及
可直接验证
第二步:计算
对二阶Jordan块
多项式函数公式为
先计算函数值:
再求导:
所以
一阶Jordan块只需代入
第三步:变回原矩阵
矩阵函数保持相似关系:
先算前两个矩阵:
再右乘
也可直接计算
例3:统一计算 、 、 与
设
求
⚡ 避坑指南
原PDF本题把Jordan型第一个特征值误排成
解答
以下按题面矩阵的正确特征值
第一步:确定Jordan分解
特征多项式为
特征值
对应的变换矩阵及其逆为
可验证
第二步:写出一般函数
一阶块
于是
先乘左边两项:
再右乘
下面只需对不同函数分别计算
(1)计算
令
代入通式:
(2)计算
把
所以
令
(3)计算
令
因此
(4)计算
令
则
代入通式:
例4:矩阵函数的多项式表示
设
求
解答
第一步:求最小多项式并确定待定多项式次数
矩阵
其次数为
第二步:写出Hermite插值条件
因最小多项式中
由
得到方程组
由第二式
代入第一式得
再代入第三式:
所以
进而
因此一般多项式表示为
其中
第三步:计算
令
则
代入系数公式:
故
计算
所以
例5:矩阵幂级数求和
仍令
求
解答
第一步:先求对应的标量幂级数
从几何级数出发:
两边对
把指标改写为从
令
所以标量级数的收敛半径为
第二步:检查矩阵级数收敛条件
本题矩阵
因此可以把标量变量
第三步:计算逆矩阵及其平方
求逆得
将该逆矩阵平方,再乘以
注意
七、三种方法怎么选
| 方法 | 优点 | 适用场景 |
|---|---|---|
| Jordan表示 | 结构直观,适合统一表达 | 已知Jordan型与 |
| 多项式表示 | 最终只算有限个矩阵幂 | 最小多项式次数较低 |
| 幂级数表示 | 直接处理指数、三角与矩阵级数 | 级数结构明显、收敛易判断 |
⭐ 核心考点
先看题目给了什么:给Jordan型就走Jordan法;给最小多项式就走插值法;给无穷和式就先求标量和函数。
八、考前速记清单
,且 可对角化当且仅当 无重根。- Jordan块
计算 时要用到 至 。 - 多项式表示的次数严格小于
。 - 矩阵幂级数先检查谱半径与标量收敛半径。
永远可逆, 。- 两矩阵函数的标量公式通常需要
。
⚡ 避坑指南
最后自测:若两个矩阵特征值完全相同,
