「管理数学基础」1.8 矩阵理论：矩阵分析、矩阵序列、方阵幂级数、方阵函数

本文链接：https://blog.csdn.net/weixin_42815609/article/details/111044210

矩阵分析、矩阵序列、方阵幂级数、方阵函数

矩阵序列

定义：矩阵序列

分析：

注意这里的矩阵是多个，在序列中
即对每个元素分别求极限
就是该矩阵序列中的极限

例题：矩阵序列

分析：

分别求极限即可

性质：矩阵序列

分析：

类似数的极限，矩阵序列的极限也可以拆开
此外，进行相似变换后的矩阵，收敛到经过同样相似变换的矩阵（这条性质很有用，之后再仿真幂级数中会用到）

方阵幂级数

泰勒展开

泰勒展开将要用到。

幂收敛

定义：幂收敛

条件：幂收敛

$A$ 的幂收敛问题等价于其若当形 $J$ 的幂收敛问题。

我们最终要得出的定理是：

证明一下。

如上，如果 $J^k$ 收敛于 $J_0$ ，那么 $A^k$ 收敛于 $P J_0 P^{-1}$ 。

而对 $J$ 的幂收敛的讨论，可以转化为对其若当块 $J_i$ 的讨论 $(i = 1, . . ., s)$ 。

分析：

如上，利用了若当块的特殊形状，将其拆分为 $\lambda E + N$
对于 $J_{(m)}^k(\lambda),(k\ge m)$ ，我们开始查看矩阵内的每个元素，希望其每个元素都分别在 $k\to \infty$ 时收敛
因此，如下，继续证明

分析：

如上，对于对角元 $\lambda^k$ ，只有 $|\lambda|\le 1$ 时才收敛
对于非对角元 $u_k$ ，只有 $|\lambda|< 1$ 时才收敛（但是，如果若当块 $m = 1$ ，则不存在非对角元 $u_k$ ，此时可以有 $|\lambda|\le 1$ ）
定理得证

再放一下定理，用于回顾证明过程。

例题：判断幂收敛

分析：

直接求特征值

方阵幂级数

定义：仿真幂级数

分析：

注意幂级数是序列的求和

收敛半径

分析：

使用 $\lim_{k \to \infty} |\frac{a_{k+1}}{a_k}|=\rho$ 得到 $\rho$
注意 $R$ 与 $\rho$ 是倒数关系
- 即 $\rho=0$ ，后一项不比前一项大（不高出数量级）， $R=+\infty$ ，无论 $x$ 取多少都收敛
- $\rho=+\infty$ ，后一项比前一项大（高出数量级）， $R = 0$ ，无论 $x$ 取多少都发散

方阵幂级数的收敛条件

可以使用类似条件：幂收敛中的推导。

依旧，可以将整体的目标（ $\sum_{k=0}^\infty a_k A^k$ ）的收敛性转换为对每个若当块的讨论。

下面我们来看若当块。

对于若当块中的每个元素，进行如下变换，利用微积分变成与 $f(x)=\sum_{k=0}^\infty a_k x^k$ 相关的式子。

因此得到如下定理。

分析：

主要使用上述的(1)
即，求 $A$ 的谱半径，判断方阵幂级数是否收敛
具体来讲，需要使用 $f$ 中 $a_k$ ，通过 $\frac{a_{k+1}}{a_k},k\to \infty$ 求得 $\rho$
求 $f (A)$ 则使用(2)
即，求 $f (A)$ 则目标变为求 $P$ 与 $J_f$
若要求 $J_{f_i}$ ，则对 $f$ 整理（一般去掉 $f$ 中 $\sum$ 符号）、求导

例题：方阵幂级数收敛、求和f(A)

分析：

首先整理 $f$ ，把 $\sum$ 符号去掉
根据 $\frac{a_{k+1}}{a_k},k\to \infty$ 求得 $\rho$ ，进而求得收敛半径 $R$ ，判断收敛性
题目要求：求 $f (A)$ ，那么通过 $f(A)=P[J_{f_i}]P^{-1}$ 来求
- 求若当形 $J$ （行列式因子->不变因子->初等因子）
- 求过渡矩阵 $P J = A P$ （ $J=P^{-1}AP$ ）
对 $f$ 求导，依据 $J_{f_i}$ 公式代入得到 $J_{f_i}]$
得到 $f (A)$