*线性递推关系再探*
我们在计数与生成函数章节中已经讨论过线性递推关系。我们将在矩阵的帮助下再次研究它。考虑斐波那契数列
- 1, 1, 2, 3, 5, 8, 13, 21...
其中每个数字都是前两个数字的总和。令xn为第 (n + 1) 个斐波那契数,我们可以写成
事实上,许多线性递推关系可以用矩阵形式表示,例如
可以表示为
因此
所以,如果我们知道如何快速计算矩阵的幂,那么我们可以相当快地计算出第 (n + 1) 个斐波那契数!
快速计算幂
请注意,从现在开始,我们将强调矩阵是否是向量,并在其顶部添加箭头以区分。
考虑
当您将 *A* 乘以 或 时(*试试看*),会发生一些有趣的事情。实际上
以及
- .
通常对于矩阵 *B*,如果向量 *w* ≠ *0*(所有条目为零的矩阵),使得
对于一些标量 λ,那么 被称为 *B* 的特征向量,而 λ 被称为 *B* 的特征值(对应于 *w*)。
这是矩阵的一个特征,可以利用它来轻松计算幂。以下是使用上面 *A*、*x* 和 *y* 的方法,我们将这两条信息以矩阵形式放在一起
或者以完全数字形式写
我们鼓励您检查上述内容是否正确。我们所做的是将 和 合并到一个矩阵中,使用每个向量作为一列,然后我们将其乘以对角矩阵,对角矩阵的条目分别是每个特征向量的特征值。
如何利用这种矩阵形式快速计算 *A* 的幂?我们只需要一个简单但巧妙的步骤 - 在等式两边右乘(即从右边乘)的逆矩阵是
我们有
现在要计算 An,我们只需要做
但逆矩阵相乘得到 I,所以我们剩下的是
这很容易计算,因为对角矩阵的幂很容易计算(只需将每个元素乘以自身n次即可)。
示例 1
计算 A5,其中 A 如上所示。
解 我们得到
示例 2
令
并且它的特征向量是
- 和
直接计算B5(可选),并使用上述方法再次计算。
解答 我们首先需要确定其特征值。我们有
因此,对应于
的特征值为 1。
类似地,
因此,另一个特征值为 3。
现在我们以以下形式写出它们
现在将B作为主体
现在
- 因此,将右侧相乘,我们得到
总结 - 快速计算幂
给定矩阵A的特征向量
- 计算特征值(如果未给出)
- 以A = PDP-1的形式写出,其中D是特征值的对角矩阵,P是特征向量作为列
- 使用等式右侧计算An
练习
1. 矩阵
的特征向量为
- 和
计算B5
2. 矩阵
的特征向量为
- 和
计算B5
3. 矩阵
的特征向量为
- 和
计算B5
特征向量和特征值
从上一节我们知道,对于一个矩阵,如果我们知道它的特征向量,就可以求出相应的特征值,进而快速求出矩阵的幂。所以最后的难点是寻找特征向量。
一个矩阵A的特征向量 和其对应的特征值λ满足以下关系式
其中x ≠ 0,0 为零矩阵(所有元素都为零)。可以安全地假设A 是已知的,所以有两个未知数 - 和 λ。现在我们有足够的信息来计算出特征值(然后得出特征向量)
矩阵 (A - λI) 必须没有逆矩阵,因为如果有,那么 = 0。因此,det(A - λI) = 0。假设
那么
现在我们看到 det(A-λI) 是一个关于 λ 的多项式,并且 det(A-λI) = 0。我们已经非常熟练地解决二次方程,因此很容易计算出 λ 的值。一旦我们计算出 λ 的值,我们就可以计算出(参见示例)。
示例 1
求解以下矩阵的特征值和特征向量:
然后求解D 和 P 使得 A = P-1DP。
解
我们的目标是找到 和 λ 使得
- A = λ
我们继续
- (**)
- det(A - λI) =
- 0 = (-4 - λ)(7 - λ) + 30
- 0 = -28 - 3λ + λ2 + 30
- 0 = λ2 - 3λ + 2
- 0 = (λ - 1)(λ - 2)
- λ = 1, 2
现在对于每个特征值,我们将得到一个不同的对应特征向量。因此,我们分别考虑 λ = 1 和 λ = 2 的情况。
首先考虑 λ = 1,从(**)中得到
即
其中 由于 det(A - λI) = 0,我们知道上述方程没有唯一解。但我们注意到
对于任何实数 t 都是解,我们选择 t = 1 作为我们的解,因为它是最简单的。因此
是对应于 λ = 1 的特征向量。(***)
类似地,如果 λ = 2,从 (**) 我们得到
即
其中 我们注意到
对于任何实数 t 都是解,和之前一样,我们选择 t = 1 作为我们的解。因此
- 是对应于 λ = 2 的特征向量。(****)
我们总结 (***) 和 (****) 的结果,得到
我们将这些结果合并成一个
因此
示例 2
- a) 对矩阵 A 进行对角化,即找到可逆矩阵 P 和对角矩阵 B,使得 AP = PB
- b) 计算 A5
解答 a) 我们要解 Ax = λx,其中 λ 为常数,x′ 为列向量。首先
由于 'x′ ≠ 0,我们有
即
对于 λ = 3,
很明显
是一个解。注意我们不能接受 x = 0 作为解,因为我们假设 x ≠ 0。还要注意
对于某个常数 t 也是一个解。实际上,我们可以使用 x = y = 2,3 或 4 作为解,但为了方便,我们选择最简单的,即 x = y = 1。
对于 λ = 2,
很明显
是一个解。
因此
是一个解,并且
也是一个解。
- b)
示例 3
求解线性递推关系
解
我们需要对角化
我们继续
我们得到
- λ = 2, 3
对于 λ = 2
对于 λ = 3
因此
现在
因此
也就是说
练习
1. 计算A5,其中
2. 计算A5,其中
3. 解以下递推关系
解
1.
2.
更多应用
... 更多内容即将推出
习题集 > High_School_Mathematics_Extensions/Matrices/Problem Set
项目 > High_School_Mathematics_Extensions/Matrices/Project/Elementary_Matrices
反馈
你觉得怎么样? 太简单还是太难? 信息太多还是太少? 我们怎样才能改进? 请在讨论栏中留言告诉我们。 更好的是,自己编辑它,把它做得更好。