什么是差分方程？ | What Are Difference Equations?

IB数学常系数线性差分方程精讲

什么是差分方程？

在学习微积分时，我们接触的是连续变量的微分方程（differential equations）。但在离散数学中，我们研究的是差分方程（difference equations）——一种描述序列项之间递推关系的方程。

简单来说，差分方程告诉我们如何从已知的项推导出序列的下一个项。这类方程在计算机科学、经济学、生物学和工程学中有着广泛的应用。

差分方程的一般形式为：

a0yn+k + a1yn+k−1 + ... + akyn = f(n)

其中 yn 表示序列的第 n 项，ai 为常数系数，f(n) 为非齐次项。当 f(n) = 0 时，方程称为齐次方程；否则为非齐次方程。

What Are Difference Equations?

In calculus, we work with differential equations involving continuous variables. In discrete mathematics, however, we study difference equations — equations that describe recurrence relations between terms of a sequence.

Simply put, a difference equation tells us how to compute the next term of a sequence from known previous terms. These equations have widespread applications in computer science, economics, biology, and engineering.

The general form of a linear difference equation of order k is:

a0yn+k + a1yn+k−1 + ... + akyn = f(n)

Here, yn denotes the n-th term of the sequence, ai are constant coefficients, and f(n) is the non-homogeneous term. When f(n) = 0, the equation is homogeneous; otherwise, it is non-homogeneous.

一阶常系数线性差分方程

我们从最简单的一阶齐次差分方程开始：

yn+1 = r · yn

这个方程告诉我们每一项都是前一项的 r 倍。给定初始值 y0，通解为：

yn = y0 · rn

对于非齐次一阶方程 yn+1 = r · yn + c（其中 c 为常数），如果 r ≠ 1，通解为：

yn = A · rn + c / (1 − r)

其中 A 由初始条件确定。这个解由两部分组成：齐次通解（A · rn）加上一个常数特解。

实际例子：假设一笔存款每年按固定利率计息，且每年存入固定金额，那么账户余额就满足一阶非齐次差分方程。

First-Order Constant-Coefficient Linear Difference Equations

Let us begin with the simplest case — the first-order homogeneous difference equation:

yn+1 = r · yn

This equation tells us that each term is r times the previous term. Given an initial value y0, the general solution is:

yn = y0 · rn

For the non-homogeneous first-order equation yn+1 = r · yn + c, where c is a constant and r ≠ 1, the general solution is:

yn = A · rn + c / (1 − r)

Here A is determined by the initial condition. The solution consists of two parts: the homogeneous general solution (A · rn) plus a constant particular solution.

A real-world example: suppose a deposit earns interest at a fixed annual rate, and a fixed amount is deposited each year — the account balance then satisfies a first-order non-homogeneous difference equation.

特征方程法 — 二阶及更高阶

对于高阶常系数齐次线性差分方程，我们使用特征方程法。以二阶方程为例：

yn+2 + p · yn+1 + q · yn = 0

我们假设解的形式为 yn = λn，代入后得到特征方程：

λ2 + pλ + q = 0

根据判别式 Δ = p2 − 4q，有三种情况：

情况一：Δ > 0（两个不等实根）

通解为 yn = A · λ1n + B · λ2n，其中 A, B 由初始条件确定。

情况二：Δ = 0（重根）

通解为 yn = (A + Bn) · λn。

情况三：Δ < 0（共轭复根）

设 λ = re±iθ，通解为 yn = rn(A cos nθ + B sin nθ)。

The Characteristic Equation Method — Second Order and Higher

For higher-order homogeneous linear difference equations with constant coefficients, we use the characteristic equation method. Consider a second-order equation:

yn+2 + p · yn+1 + q · yn = 0

We assume a solution of the form yn = λn. Substituting yields the characteristic equation:

λ2 + pλ + q = 0

Depending on the discriminant Δ = p2 − 4q, there are three cases:

Case 1: Δ > 0 (two distinct real roots)

The general solution is yn = A · λ1n + B · λ2n, where A and B are determined by initial conditions.

Case 2: Δ = 0 (repeated root)

The general solution is yn = (A + Bn) · λn.

Case 3: Δ < 0 (complex conjugate roots)

Let λ = re±iθ. The general solution is yn = rn(A cos nθ + B sin nθ).

非齐次方程与待定系数法

非齐次方程的通解 = 齐次通解 + 一个特解。寻找特解的最常用方法是待定系数法（method of undetermined coefficients）。关键是根据 f(n) 的形式猜测特解的结构。

常见非齐次项与猜解形式的对应关系：

* 若 f(n) 为常数 c：猜 yn = K（常数）。

* 若 f(n) = c · an：猜 yn = K · an。

* 若 f(n) 为 n 的 m 次多项式：猜同次多项式 yn = K0 + K1n + ... + Kmnm。

* 若 f(n) 包含 cos ωn 或 sin ωn：猜 yn = A cos ωn + B sin ωn。

如果猜解形式与齐次通解冲突（即特征根与猜解中的参数重合），需要乘以 n 进行调整——这与微分方程中的"共振"原理完全一致。

Non-Homogeneous Equations and the Method of Undetermined Coefficients

The general solution of a non-homogeneous equation = homogeneous general solution + a particular solution. The most common method for finding a particular solution is the method of undetermined coefficients. The key is to guess the structure of the particular solution based on the form of f(n).

Common non-homogeneous terms and their corresponding trial solutions:

* If f(n) is a constant c: guess yn = K (constant).

* If f(n) = c · an: guess yn = K · an.

* If f(n) is a polynomial of degree m in n: guess a polynomial of the same degree.

* If f(n) involves cos ωn or sin ωn: guess yn = A cos ωn + B sin ωn.

If the trial solution form conflicts with the homogeneous solution (i.e. a characteristic root coincides with a parameter in the guess), multiply by n to adjust — exactly analogous to the resonance principle in differential equations.

经典例题 — Fibonacci数列

Fibonacci数列是最著名的差分方程实例：

Fn+2 = Fn+1 + Fn，其中 F0 = 0, F1 = 1

这是二阶齐次方程：Fn+2 − Fn+1 − Fn = 0。特征方程为 λ2 − λ − 1 = 0，解得：

λ1 = (1 + √5) / 2 （黄金比例 φ）

λ2 = (1 − √5) / 2

利用初始条件解得 A = 1/√5, B = −1/√5，从而得到Binet公式：

Fn = (1/√5) · [((1+√5)/2)n − ((1−√5)/2)n]

这个公式优雅地将离散递推关系转化为显式表达式，是特征方程法的经典应用。

Classic Example — The Fibonacci Sequence

The Fibonacci sequence is the most famous example of a difference equation:

Fn+2 = Fn+1 + Fn, with F0 = 0, F1 = 1

This is a second-order homogeneous equation: Fn+2 − Fn+1 − Fn = 0. The characteristic equation is λ2 − λ − 1 = 0, giving:

λ1 = (1 + √5) / 2 (the golden ratio φ)

λ2 = (1 − √5) / 2

Using the initial conditions, we obtain A = 1/√5, B = −1/√5, yielding Binet's formula:

Fn = (1/√5) · [((1+√5)/2)n − ((1−√5)/2)n]

This elegant formula converts the discrete recurrence relation into an explicit expression — a classic application of the characteristic equation method.

IB考试要点与解题策略

在IB数学考试中，常系数线性差分方程通常出现在HL试卷的离散数学或Further Mathematics部分。以下是最关键的解题步骤：

第一步：识别方程类型。判断是几阶方程，齐次还是非齐次。

第二步：写出特征方程。将差分方程转换为特征多项式，求解特征根。

第三步：写出齐次通解。根据特征根的类型（实根、重根、复根）选择相应的通解形式。

第四步：求特解（如有）。当f(n) ≠ 0时，使用待定系数法寻找一个特解。

第五步：应用初始条件。利用给定的初始条件确定通解中的任意常数。

第六步：验证。将解代回原方程，确认其正确性。

常见陷阱：忘记检查特解与齐次解的冲突（需乘n调整）；复根情况下写错三角函数形式；初始条件代入时代数计算错误。

IB Exam Tips and Problem-Solving Strategy

In the IB Mathematics exam, constant-coefficient linear difference equations typically appear in the HL Discrete Mathematics or Further Mathematics sections. Here are the key steps:

Step 1: Identify the type. Determine the order and whether the equation is homogeneous or non-homogeneous.

Step 2: Write the characteristic equation. Convert the difference equation into a characteristic polynomial and solve for the roots.

Step 3: Write the homogeneous general solution. Choose the appropriate form based on the root type — real distinct, repeated, or complex conjugates.

Step 4: Find a particular solution (if needed). When f(n) ≠ 0, use undetermined coefficients to find a particular solution.

Step 5: Apply initial conditions. Use the given initial conditions to determine the arbitrary constants in the general solution.

Step 6: Verify. Substitute your solution back into the original equation to confirm correctness.

Common pitfalls: forgetting to check for resonance between the particular solution guess and the homogeneous solution; miswriting the trigonometric form for complex roots; algebraic errors when substituting initial conditions.

差分方程在现实中的应用

差分方程不仅是数学考试中的重要主题，在现实世界中也无处不在：

金融数学：贷款还款计划、投资复利计算、资产定价模型中的递推关系。

计算机科学：算法复杂度分析中的递推式（如归并排序 T(n) = 2T(n/2) + n），动态规划的状态转移方程。

生物学：种群增长模型（如Logistic映射），传染病传播的SIR模型递推。

经济学：蛛网模型（cobweb model）描述供需动态平衡，Samuelson乘数-加速数模型。

工程学：数字信号处理中的离散时间系统，控制理论中的离散状态空间模型。

理解差分方程，相当于掌握了一把打开离散系统分析大门的钥匙。

Real-World Applications of Difference Equations

Difference equations are not just an important exam topic — they are everywhere in the real world:

Financial Mathematics: Loan repayment schedules, compound interest calculations, and recurrence relations in asset pricing models.

Computer Science: Recurrence relations in algorithm complexity analysis (e.g. merge sort: T(n) = 2T(n/2) + n), and state transition equations in dynamic programming.

Biology: Population growth models (such as the Logistic map), and recurrence in SIR epidemic models.

Economics: The cobweb model for supply-demand dynamics, and the Samuelson multiplier-accelerator model.

Engineering: Discrete-time systems in digital signal processing, and discrete state-space models in control theory.

Mastering difference equations is like acquiring a key that unlocks the analysis of discrete systems.

需要更多IB数学辅导？

A-Level / IB / IGCSE 全科辅导 · 一对一VIP课程 · 海量历年真题

访问 aleveler.com 了解更多

咨询电话：16621398022（同微信）

更多咨询请联系16621398022（同微信）