幂法的收敛性证明疑问：特征基下序列收敛性分析

咱们一步步把这个序列的收敛性逻辑补全，核心就是利用主导特征值的严格占优性，思路其实很清晰：

首先先明确已知的核心前提：

• 实矩阵 $A \in \mathbb{R}^{n\times n}$ 可实对角化（因为存在实特征基 ${e_1, e_2, \dots, e_n}$），对应特征值满足 $|\lambda_1| > |\lambda_2| \geq \dots \geq |\lambda_n|$，$\lambda_1$ 是严格占优的主导特征值
• 任意初始向量 $q \in \mathbb{R}^n$ 可唯一分解为 $q = \sum_{i=1}^n q_i e_i$，且 $q_1 \neq 0$（保证初始向量在主导特征方向上有非零分量，这是幂法能收敛的必要条件）

步骤1：推导 $A^k q$ 的表达式 #

利用特征向量的性质 $A^k e_i = \lambda_i^k e_i$，我们可以把迭代后的向量展开：
$$
A^k q = \sum_{i=1}^n q_i \lambda_i^k e_i = q_1 \lambda_1^k \left( e_1 + \sum_{i=2}^n \frac{q_i}{q_1} \left( \frac{\lambda_i}{\lambda_1} \right)^k e_i \right)
$$
这里把主导项 $q_1 \lambda_1^k e_1$ 单独提出来，剩下的部分是包含其他特征值的余项。

步骤2：分析余项的极限 #

因为 $|\lambda_i| < |\lambda_1|$（对所有 $i \geq 2$），所以 $\left| \frac{\lambda_i}{\lambda_1} \right| < 1$。当 $k \to \infty$ 时，指数项 $\left( \frac{\lambda_i}{\lambda_1} \right)^k$ 会趋于0，因此余项部分：
$$
\sum_{i=2}^n \frac{q_i}{q_1} \left( \frac{\lambda_i}{\lambda_1} \right)^k e_i \to 0
$$
这意味着括号里的整体会趋近于 $e_1$：
$$
e_1 + \sum_{i=2}^n \frac{q_i}{q_1} \left( \frac{\lambda_i}{\lambda_1} \right)^k e_i \to e_1
$$

步骤3：计算归一化后的序列极限 #

接下来我们看 $\frac{A^k q}{||A^k q||}$，把前面的表达式代入：
$$
\frac{A^k q}{||A^k q||} = \frac{q_1 \lambda_1^k \left( e_1 + \text{余项} \right)}{|q_1| \cdot |\lambda_1|^k \cdot \left| e_1 + \text{余项} \right|}
$$
我们可以把这个式子拆成三个部分来看：

1. $\frac{q_1}{|q_1|}$：这是一个常数，取值为 $1$ 或 $-1$，完全由 $q_1$ 的符号决定
2. $\frac{\lambda_1^{k}{|\lambda_1|}k}$：因为 $\lambda_1$ 是实数（实矩阵的实特征基对应实特征值），这个项等于 $\text{sign}(\lambda_1)^k$：
   • 如果 $\lambda_1 > 0$，这个项恒为 $1$
   • 如果 $\lambda_1 < 0$，这个项会交替取 $1$ 和 $-1$
3. $\frac{e_1 + \text{余项}}{\left| e_1 + \text{余项} \right|}$：当 $k \to \infty$ 时，余项趋于0，因此这个部分会趋近于 $\frac{e_1}{||e_1||}$（如果特征基是单位向量，就是 $e_1$）

最终结论 #

• 当 $\lambda_1 > 0$ 时，整个序列收敛到 $\frac{q_1}{|q_1|} \cdot \frac{e_1}{||e_1||}$（若 $e_1$ 是单位向量，就是 $\frac{q_1}{|q_1|} e_1$）
• 当 $\lambda_1 < 0$ 时，序列会在 $\frac{q_1}{|q_1|} \cdot \frac{e_1}{||e_1||}$ 和 $-\frac{q_1}{|q_1|} \cdot \frac{e_1}{||e_1||}$ 之间交替振荡，整体不收敛，但两个子序列（取偶数 $k$ 或奇数 $k$）会分别收敛到这两个点

另外要注意：这个收敛性的核心前提是主导特征值严格占优（$|\lambda_1| > |\lambda_2|$），如果存在多个特征值模长等于 $|\lambda_1|$，余项不会趋于0，序列就无法收敛到单一特征方向。

内容的提问来源于stack exchange，提问作者Igor