Recurrence Relations

欢迎来到递推关系的世界！

在本章中，我们将探讨递推关系 (Recurrence Relations)（有时称为差分方程 (Difference Equations)）。这些方程本质上是数学上的“规则书”，告诉你如何根据之前的数值来找出数列中的下一个数。这是高等纯数学 (Extra Pure) 单元中至关重要的一部分，因为它使我们能够对从银行利息到人口增长，甚至是数字信号处理等各种事物进行建模！

你知道吗？著名的斐波那契数列 (Fibonacci sequence) \(1, 1, 2, 3, 5, 8, ...\) 实际上就是一个递推关系！每一项都是前两项之和：\(u_{n+2} = u_{n+1} + u_n\)。

1. 递推关系的语言

在开始解题之前，我们需要掌握它的语言。递推关系将项 \(u_n\) 与之前的项（如 \(u_{n-1}\) 或 \(u_{n-2}\)）连接起来。

关键术语：
阶数 (Order)：指你需要回溯到多远的项。如果你只需要前一项 (\(u_n\))，这就是一阶 (First Order)。如果你需要前两项 (\(u_n\) 和 \(u_{n-1}\))，这就是二阶 (Second Order)。
线性 (Linear)：这意味着各项 (\(u_n, u_{n+1}\) 等) 没有被平方、立方，也没有被困在平方根之内。
齐次 (Homogeneous)：如果方程等于零（例如 \(u_{n+1} - 2u_n = 0\)），它就是齐次的。如果存在一个关于 \(n\) 的“剩余”函数（例如 \(u_{n+1} - 2u_n = 3n + 1\)），它就是非齐次 (Non-Homogeneous)。
初始条件 (Initial Conditions)：这是初始数值，例如 \(u_0 = 5\)。没有这些条件，我们只能找到“通解 (General Solution)”。有了它们，我们就能找到“特解 (Particular Solution)”。

快速复习框：长期行为类型

当 \(n\) 变得非常大时（记作 \(n \to \infty\)），数列的表现会有所不同：
1. 收敛 (Convergent)：项数稳定在一个单一数值上（即极限 (Limit)）。
2. 发散 (Divergent)：项数永远变得越来越大（或越来越小）。
3. 周期性 (Periodic)：项数以循环方式重复（例如 \(1, 0, -1, 1, 0, -1, ...\)）。
4. 震荡 (Oscillating)：项数来回跳动，通常振幅会变大或变小。

关键收获：阶数告诉你需要多少“初始信息片段”才能完整解出该数列。

2. 解一阶递推关系

一阶线性关系的形式如下：\(u_{n+1} = a u_n + f(n)\)。

齐次情况 \(u_{n+1} = a u_n\)

这是最简单的类型。它就像等比数列！如果你每次都乘以 \(a\)，通解就是：
\(u_n = A(a)^n\)
范例：若 \(u_{n+1} = 3u_n\)，则 \(u_n = A(3)^n\)。

非齐次情况 \(u_{n+1} = a u_n + f(n)\)

别担心，看起来复杂而已！我们分两部分来解，就像微分方程一样：
总解 = 互补函数 (Complementary Function, CF) + 特解 (Particular Integral, PI)

第一步：求出 CF。 忽略 \(f(n)\)，将其视为零来求解。这会给你 \(u_n = A(a)^n\)。
第二步：求出 PI。 观察 \(f(n)\) 并“猜测”一个类似的形式：
- 如果 \(f(n) = \text{常数}\)，猜 \(u_n = \lambda\)。
- 如果 \(f(n) = \text{线性（例如 } 2n+3\text{）}\)，猜 \(u_n = \lambda n + \mu\)。
- 如果 \(f(n) = \text{二次（例如 } n^2\text{）}\)，猜 \(u_n = \lambda n^2 + \mu n + \nu\)。
- 如果 \(f(n) = d k^n\)，猜 \(u_n = \lambda k^n\)。
第三步：结合并求解。 将两者相加，并利用初始条件（如 \(u_0\)）来求出常数 \(A\)。

常见错误：如果你的 PI“猜测”已经存在于 CF 中，你必须将你的猜测乘以 \(n\)。例如，如果你的 CF 是 \(A(2)^n\) 且 \(f(n) = 2^n\)，那么你的 PI 猜测应该是 \(\lambda n (2^n)\)。

3. 解二阶递推关系

这些方程的形式为 \(u_{n+2} + a u_{n+1} + b u_n = f(n)\)。这些是本章的“大魔王”题目，但解法非常有逻辑。

第一步：辅助方程 (Auxiliary Equation)

为了求出互补函数 (CF)，我们通过将 \(u_{n+2}\) 替换为 \(m^2\)、\(u_{n+1}\) 替换为 \(m\)、\(u_n\) 替换为 \(1\) 来建立一个二次方程。
对于 \(u_{n+2} + a u_{n+1} + b u_n = 0\)，其辅助方程为：\(m^2 + am + b = 0\)。

第二步：三种根的形式

解出 \(m\) 的二次方程。根的性质决定了 CF：
1. 相异实根 (\(m_1\) 和 \(m_2\))：
\(u_n = A(m_1)^n + B(m_2)^n\)
2. 重根 (\(m_1 = m_2 = m\))：
\(u_n = (A + Bn)m^n\)
3. 复数根 (\(m = p \pm iq\))：
首先，求出模 \(r = \sqrt{p^2 + q^2}\) 和幅角 \(\theta = \arctan(q/p)\)。
CF 为：\(u_n = r^n (A \cos(n\theta) + B \sin(n\theta))\)。

第三步：特解 (PI)

如果方程是非齐次的（不等于零），请使用与一阶部分相同的表格来猜测 PI。将你的猜测代入原始方程，以求出希腊字母（\(\lambda, \mu\) 等）的值。

关键收获：务必先求出 CF！在将 CF 和 PI 相加之前，你无法求出常数 \(A\) 和 \(B\)。

4. 验证与探讨

有时考试不会要求你从零开始解题。相反地，它可能会要求你验证 (verify)一个解或探讨 (investigate)一个极限。

验证（步骤）：
1. 拿给定的 \(u_n\) 解。
2. 利用该公式写出 \(u_{n+1}\) 和 \(u_{n+2}\) 的样子。
3. 将这些代入递推关系中。
4. 化简！如果左边等于右边，则解已验证。

探讨长期行为：
如果数列有一个极限 (Limit) \(L\)，那么当 \(n\) 变得非常大时，\(u_n \approx L\) 且 \(u_{n+1} \approx L\)。
要找出极限，将所有 \(u\) 项替换为 \(L\) 并解出 \(L\)。
范例：对于 \(u_{n+1} = 0.5u_n + 3\)，极限为 \(L = 0.5L + 3\)，得出 \(0.5L = 3\)，所以 \(L = 6\)。

总结检查清单

- 你能辨识阶数以及它是否为齐次吗？
- 你能解二阶关系的辅助方程吗？
- 你记得复数根的模-幅角形式吗？
- 当 PI 与 CF 重叠时，你知道要将猜测乘以 \(n\) 吗？
- 你能使用初始条件来求出 \(A\) 和 \(B\) 的特定值吗？

如果复数根刚开始让你感到奇怪，别担心！只要记住它们总是会产生 \(\sin\) 和 \(\cos\) 的规律，这是有道理的，因为阿尔冈图 (Argand diagram) 上的复数代表了旋转与震荡。