📚 IB Mathematics: General Properties of Difference Equations | 差分方程的一般性质分析
A difference equation is a relation that defines a sequence by expressing each term as a function of earlier terms. Such equations appear throughout IB Mathematics, especially in the Applications and Interpretation higher-level option on discrete mathematics, and they provide the foundation for understanding iterative processes, recurrence relations, and numerical methods. This article surveys the general properties of difference equations, from order and linearity to stability and the structure of solutions.
差分方程是一种通过将每一项表示为前几项的函数来定义序列的关系式。在 IB 数学中，尤其是在“应用与解释”高级别的离散数学选修内容里，差分方程频繁出现；它也是理解迭代过程、递推关系和数值方法的基础。本文将系统考察差分方程的一般性质，包括阶、线性、稳定性以及解的结构。
1. What Is a Difference Equation? | 什么是差分方程？
Broadly speaking, a difference equation is an equation involving a sequence yₙ and one or more of its shifted values yₙ₊₁, yₙ₊₂, … , yₙ₋₁, yₙ₋₂, …. For example, yₙ₊₁ = 2yₙ + 3 is a difference equation because it connects consecutive terms. Such equations are used to model quantities that change in discrete steps, such as interest payments, population counts, and inventory levels.
从广义上讲，差分方程是涉及序列 yₙ 及其一个或多个平移项 yₙ₊₁, yₙ₊₂, … , yₙ₋₁, yₙ₋₂, … 的方程。例如，yₙ₊₁ = 2yₙ + 3 就是一个差分方程，因为它联系了相邻项。这类方程常用于描述按离散步骤变化的量，例如利息结算、种群数量和库存水平。
A difference equation is also called a recurrence relation. In IB, you may encounter both first-order relations such as uₙ₊₁ = r uₙ + d and second-order relations such as Fₙ₊₂ = Fₙ₊₁ + Fₙ, the Fibonacci sequence. The same mathematical ideas underpin both: starting from an initial value, the equation generates a unique sequence.
差分方程也被称为递推关系。在 IB 课程中，你可能会遇到一阶关系式如 uₙ₊₁ = r uₙ + d，以及二阶关系式如 Fₙ₊₂ = Fₙ₊₁ + Fₙ，即斐波那契数列。同样的数学思想贯穿两者：由初始值出发，方程生成唯一的序列。
2. Order and Representation | 阶与表示
The order of a difference equation is the largest difference between the largest and smallest index appearing in the equation. For instance, yₙ₊₂ − 5yₙ₊₁ + 6yₙ = 0 is second-order, because the indices differ by 2. The general first-order autonomous equation can be written as yₙ₊₁ = f(yₙ), while a general second-order equation is often written as yₙ₊₂ = f(yₙ₊₁, yₙ).
差分方程的阶是指方程中出现的最大索引与最小索引之差。例如，yₙ₊₂ − 5yₙ₊₁ + 6yₙ = 0 是二阶的，因为索引之差为 2。一般的一阶自治方程可写为 yₙ₊₁ = f(yₙ)，而一般的二阶方程常写成 yₙ₊₂ = f(yₙ₊₁, yₙ)。
Another useful representation uses the forward difference operator Δ, defined by:
Δyₙ = yₙ₊₁ − yₙ
The operator Δ measures the discrete change in the sequence. Higher-order differences are defined by repeated application, for example Δ² yₙ = Δ(Δyₙ) = yₙ₊₂ − 2yₙ₊₁ + yₙ. Writing a recurrence with Δ can reveal connections to differential calculus, where derivatives approximate such differences.
另一种有用的表示通过前向差分算子 Δ 实现，定义如下：
Δyₙ = yₙ₊₁ − yₙ
算子 Δ 度量序列的离散变化。高阶差分由重复应用定义，例如 Δ² yₙ = Δ(Δyₙ) = yₙ₊₂ − 2yₙ₊₁ + yₙ。用 Δ 描述递推关系可以揭示与微积分的联系，因为导数正是对差分近似取极限的结果。
3. Linear versus Nonlinear Difference Equations | 线性与非线性差分方程
A difference equation is linear if every term involving y appears to the first power only, with no products of two or more y terms. Examples of linear equations include yₙ₊₁ = 3yₙ + 2 and yₙ₊₂ − yₙ₊₁ + yₙ = 0. The coefficients may depend on n, as in yₙ₊₁ = n yₙ + 1, and the equation is still linear.
如果方程中涉及 y 的每一项都只以一次幂出现，并且不存在两个或多个 y 项的乘积，则该差分方程是线性的。线性方程的例子包括 yₙ₊₁ = 3yₙ + 2 和 yₙ₊₂ − yₙ₊₁ + yₙ = 0。系数可以依赖于 n，例如 yₙ₊₁ = n yₙ + 1，这样的方程仍然是线性的。
If the equation contains terms such as yₙ², sin(yₙ), or yₙ yₙ₊₁, it is nonlinear. A classic nonlinear example is the logistic map yₙ₊₁ = r yₙ(1 − yₙ). Nonlinear difference equations are generally much harder to solve explicitly, and their solutions can display chaotic behaviour for certain parameter values.
如果方程中包含 yₙ²、sin(yₙ) 或 yₙ yₙ₊₁ 等项，则它是非线性的。经典的非线性例子是逻辑斯蒂映射 yₙ₊₁ = r yₙ(1 − yₙ)。非线性差分方程通常很难求出显式解，并且在某些参数值下可能表现出混沌行为。
4. Homogeneous and Non-homogeneous Equations | 齐次与非齐次方程
A linear difference equation is homogeneous if every term contains y or a shifted y, so the only constant term is zero. For example, yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 0 is homogeneous. If there is a term depending only on n, such as a constant or an exponential, the equation is non-homogeneous, for example yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 3ⁿ.
如果线性差分方程中每一项都含有 y 或其平移项，且唯一的常数项为零，则它是齐次的。例如，yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 0 是齐次方程。如果存在仅依赖于 n 的项，例如常数或指数函数，则方程为非齐次的，如 yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 3ⁿ。
This classification is essential because of the superposition principle. For linear homogeneous equations, any linear combination of solutions is again a solution. For non-homogeneous equations, the general solution is the sum of the general solution of the corresponding homogeneous equation and one particular solution of the non-homogeneous equation.
这一分类之所以重要，是因为叠加原理。对于线性齐次方程，任意解的线性组合仍然是解。对于非齐次方程，通解等于对应齐次方程的通解加上非齐次方程的一个特解。
5. Structure of the General Solution | 通解的结构
Consider the first-order linear equation yₙ₊₁ = a yₙ + b, where a and b are constants. If a ≠ 1, there is a constant fixed point satisfying y* = a y* + b, hence:
y* = b / (1 − a)
Then the general solution is:
yₙ = aⁿ(y₀ − y*) + y*
考虑一阶线性方程 yₙ₊₁ = a yₙ + b，其中 a 和 b 为常数。若 a ≠ 1，则存在常数不动点满足 y* = a y* + b，因此：
y* = b / (1 − a)
此时通解为：
yₙ = aⁿ(y₀ − y*) + y*
This formula shows that the behaviour of the sequence depends on the initial value y₀ and on the size of a. If |a| < 1, the term aⁿ tends to 0 and yₙ converges to y*. If |a| > 1, the solution diverges unless y₀ = y*. If a = −1, the sequence oscillates between two values. This simple solution structure is a prototype for more general linear difference equations.
该公式表明，序列行为取决于初始值 y₀ 以及 a 的大小。若 |a| < 1，则 aⁿ 趋于 0，yₙ 收敛到 y*。若 |a| > 1，则除非 y₀ = y*，否则解发散。若 a = −1，序列会在两个值之间振荡。这一简单的解结构是更一般的线性差分方程的雏形。
6. Solving Second-Order Linear Equations | 求解二阶线性方程
A second-order linear difference equation with constant coefficients has the form:
yₙ₊₂ + p yₙ₊₁ + q yₙ = 0
To solve it, we try a solution of the form yₙ = λⁿ, where λ is a constant. Substitution gives the characteristic equation:
λ² + p λ + q = 0
常系数二阶线性差分方程具有如下形式：
yₙ₊₂ + p yₙ₊₁ + q yₙ = 0
求解时，我们尝试形如 yₙ = λⁿ 的解，其中 λ 为常数。代入后得到特征方程：
λ² + p λ + q = 0
Let the roots be λ₁ and λ₂. If λ₁ and λ₂ are real and distinct, the general solution is:
yₙ = A λ₁ⁿ + B λ₂ⁿ
If the roots are real and equal, so that λ₁ = λ₂ = λ, the general solution is:
yₙ = (A + B n) λⁿ
设两根为 λ₁ 与 λ₂。若 λ₁ 和 λ₂ 为互异实根，则通解为：
yₙ = A λ₁ⁿ + B λ₂ⁿ
若两根相等，即 λ₁ = λ₂ = λ，则通解为：
yₙ = (A + B n) λⁿ
If the characteristic roots are complex conjugates of the form λ = R(cos θ ± i sin θ), the general solution can be written as:
yₙ = Rⁿ (A cos nθ + B sin nθ)
This formula describes oscillatory behaviour whose amplitude grows or decays according to R. The constant A and B are determined by the initial conditions y₀ and y₁.
若特征根是共轭复数，形式为 λ = R(cos θ ± i sin θ)，则通解可写为：
yₙ = Rⁿ (A cos nθ + B sin nθ)
该公式描述了一种按 R 增长或衰减的振荡行为。常数 A 和 B 由初始条件 y₀ 和 y₁ 确定。
7. Particular Solutions for Non-homogeneous Equations | 非齐次方程的特解
For a non-homogeneous equation such as yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 4, we first solve the homogeneous equation, obtaining the complementary function y_c = A + B 2ⁿ. Then we look for one particular solution yₚ of the full equation. Because the RHS is constant, we guess a constant solution yₚ = C. Substitution gives C − 3C + 2C = 4, that is 0 = 4, which is impossible. This indicates that a constant guess fails when the RHS is already a solution of the homogeneous equation.
对于非齐次方程，如 yₙ₊₂ − 3yₙ₊₁ + 2yₙ = 4，我们首先求解齐次方程，得到余函数 y_c = A + B 2ⁿ。然后寻找完整方程的一个特解 yₚ。由于右端为常数，我们猜测常数解 yₚ = C。代入得 C − 3C + 2C = 4，即 0 = 4，这是不可能的。这说明当右端本身已经是齐次方程的解时，常数猜测会失效。
In such cases, the method of undetermined coefficients requires multiplying the trial solution by n. Try yₚ = C n. Then yₙ₊₂ = C(n + 2), yₙ₊₁ = C(n + 1), yₙ = C n. The equation becomes C(n + 2) − 3C(n + 1) + 2C n = 4, which simplifies to −C = 4, so C = −4. Thus yₚ = −4n, and the general solution is yₙ = A + B 2ⁿ − 4n.
在这种情况下，待定系数法要求将试探解乘以 n。尝试 yₚ = C n。则 yₙ₊₂ = C(n + 2)，yₙ₊₁ = C(n + 1)，yₙ = C n。方程化为 C(n + 2) − 3C(n + 1) + 2C n = 4，化简得 −C = 4，即 C = −4。因此 yₚ = −4n，通解为 yₙ = A + B 2ⁿ − 4n。
8. Equilibrium Points and Fixed Points | 平衡点与不动点
An equilibrium point or fixed point of the autonomous first-order equation yₙ₊₁ = f(yₙ) is a value y* such that if yₙ = y* then all subsequent terms remain equal to y*. This requires:
y* = f(y*)
平衡点或不动点是一阶自治方程 yₙ₊₁ = f(yₙ) 中满足如下条件的值 y*：若 yₙ = y*，则后续所有项均保持为 y*。这要求：
y* = f(y*)
Geometrically, fixed points are the x-coordinates of the intersection points between the curve yₙ₊₁ = f(yₙ) and the diagonal line yₙ₊₁ = yₙ. For the linear equation yₙ₊₁ = a yₙ + b, the fixed point is y* = b / (1 − a) when a ≠ 1. For nonlinear maps, there may be several fixed points, each with its own stability property.
在几何上，不动点是曲线 yₙ₊₁ = f(yₙ) 与对角线 yₙ₊₁ = yₙ 交点的横坐标。对于线性方程 yₙ₊₁ = a yₙ + b，当 a ≠ 1 时，不动点为 y* = b / (1 − a)。对于非线性映射，可能存在多个不动点，每个不动点各有其稳定性。
9. Stability of Equilibria | 平衡点的稳定性
Stability describes what happens to a solution that starts near an equilibrium. Let yₙ = y* + eₙ, where eₙ is a small perturbation. Substituting into yₙ₊₁ = f(yₙ) and using a linear approximation gives:
eₙ₊₁ ≈ f ‘(y*) eₙ
稳定性描述的是从平衡点附近出发的解会发生什么。令 yₙ = y* + eₙ，其中 eₙ 是一个小扰动。将其代入 yₙ₊₁ = f(yₙ)，并使用线性近似可得：
eₙ₊₁ ≈ f ‘(y*) eₙ
Therefore the perturbation evolves roughly like eₙ ≈ [f ‘(y*)]ⁿ e₀. The equilibrium is asymptotically stable if |f ‘(y*)| < 1, because perturbations shrink. It is unstable if |f '(y*)| > 1, because perturbations grow. When |f ‘(y*)| = 1, linear analysis is inconclusive and higher-order terms must be examined.
因此，扰动大致按照 eₙ ≈ [f ‘(y*)]ⁿ e₀ 演化。若 |f ‘(y*)| < 1，则平衡点是渐近稳定的，因为扰动会缩小；若 |f '(y*)| > 1，则它是不稳定的，因为扰动会增长；当 |f ‘(y*)| = 1 时，线性分析无法得出结论，必须考察高阶项。
For example, the logistic map yₙ₊₁ = r yₙ(1 − yₙ) has fixed points y* = 0 and y* = 1 − 1/r. Since f ‘(y) = r(1 − 2y), we find f ‘(0) = r and f ‘(1 − 1/r) = 2 − r. Hence the nonzero fixed point is stable when |2 − r| < 1, i.e. 1 < r < 3. This result is a standard IB-style analysis for discrete dynamical systems.
例如，逻辑斯蒂映射 yₙ₊₁ = r yₙ(1 − yₙ) 有不动点 y* = 0 和 y* = 1 − 1/r。由于 f ‘(y) = r(1 − 2y)，可得 f ‘(0) = r，f ‘(1 − 1/r) = 2 − r。因此，当 |2 − r| < 1，即 1 < r < 3 时，非零不动点是稳定的。这是 IB 离散动力系统分析中的标准结论。
10. Cobweb Diagrams and Graphical Analysis | 蛛网图与图形分析
The cobweb diagram is a powerful graphical tool for studying first-order difference equations. Draw the curve yₙ₊₁ = f(yₙ) and the line yₙ₊₁ = yₙ on the same axes. Start at (y₀, y₀), move vertically to the curve at (y₀, y₁), then horizontally to the line at (y₁, y₁), then vertically again to (y₁, y₂), and repeat.
蛛网图是研究一阶差分方程的有力图形工具。在坐标平面上画出曲线 yₙ₊₁ = f(yₙ) 和直线 yₙ₊₁ = yₙ。从点 (y₀, y₀) 出发，垂直移动到曲线上的 (y₀, y₁)，再水平移动到直线上的 (y₁, y₁)，然后再次垂直移动到 (y₁, y₂)，并不断重复。
If the resulting path spirals inward toward a fixed point, the equilibrium is stable. If the path spirals outward or oscillates away, the equilibrium is unstable. When |f ‘(y*)| = 1 and the map is nonlinear, the cobweb diagram may form a closed loop, corresponding to a 2-cycle or a more complicated periodic orbit.
如果所得路径向内盘旋趋向不动点，则该平衡点是稳定的；如果路径向外盘旋或逐渐远离，则平衡点不稳定。当 |f ‘(y*)| = 1 且映射为非线性时，蛛网图可能形成闭合回路，对应一个 2-循环或更复杂的周期轨道。
Cobweb diagrams are especially useful in the IB examination because they allow candidates to determine convergence or oscillation without algebraically solving the recurrence. They also provide insight into bifurcations when the parameter of the map changes.
蛛网图在 IB 考试中尤其有用，因为它允许考生无需代数求解递推式即可判断收敛或振荡行为。当映射的参数改变时，蛛网图还能揭示分岔现象。
11. Existence, Uniqueness, and Numerical Methods | 存在性、唯一性与数值方法
For a first-order difference equation yₙ₊₁ = f(yₙ), specifying one initial condition y₀ is sufficient to determine all subsequent terms uniquely, provided f is defined at every required value. For a second-order equation such as yₙ₊₂ = f(yₙ₊₁, yₙ), two initial conditions y₀ and y₁ are needed. This is the discrete analogue of an initial-value problem for differential equations.
对于一阶差分方程 yₙ₊₁ = f(yₙ)，只要 f 在所有需要的点处有定义，给出一个初始条件 y₀ 就足以唯一确定所有后续项。对于二阶方程，如 yₙ₊₂ = f(yₙ₊₁, yₙ)，则需要两个初始条件 y₀ 和 y₁。这是微分方程初值问题的离散类比。
Difference equations also appear when approximating differential equations numerically. Euler’s method, for instance, replaces dy/dx by (yₙ₊₁ − yₙ)/h, producing the difference equation yₙ₊₁ = yₙ + h f(xₙ, yₙ). The general properties discussed above, such as stability and convergence, directly affect the reliability of such numerical schemes.
差分方程也出现在微分方程的数值近似中。例如，欧拉方法将 dy/dx 替换为 (yₙ₊₁ − yₙ)/h，从而得到差分方程 yₙ₊₁ = yₙ + h f(xₙ, yₙ)。前面讨论的一般性质，如稳定性和收敛性，直接影响这类数值方法的可靠性。
12. Applications and Further Properties | 应用与进一步性质
Difference equations appear in many IB contexts. Compound interest is modelled by Aₙ₊₁ = (1 + r) Aₙ. The cobweb model in economics describes how price and quantity adjust over time. Population growth with limited resources uses the logistic difference equation. In all these cases, the general properties studied here, order
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导Cancel reply