Ecosystems and Processes: Mathematical Modelling of Populations and Interactions | 生态系统与过程：种群与相互作用的数学建模

📚 Ecosystems and Processes: Mathematical Modelling of Populations and Interactions | 生态系统与过程：种群与相互作用的数学建模

Ecological systems are driven by dynamic processes such as population growth, species interactions, and resource limitations. In A-Level Edexcel Mathematics, these real-world phenomena can be captured and analysed using differential equations, exponential functions, and numerical methods. This article explores the mathematical frameworks that describe ecosystems, from simple growth laws to coupled predator-prey models, providing a rigorous yet accessible pathway for mastering the core modelling concepts assessed in the exam.

生态系统由种群增长、物种相互作用和资源限制等动态过程驱动。在 Edexcel A-Level 数学中，这些现实世界的现象可以通过微分方程、指数函数和数值方法来捕捉和分析。本文探究描述生态系统的数学框架，从简单的增长定律到耦合的捕食者–猎物模型，为掌握考试中评估的核心建模概念提供了一条严谨而易于理解的途径。

---

1. Exponential Population Growth | 指数种群增长

When resources are unlimited, a population of size N changes at a rate proportional to its current size. This is modelled by the differential equation dN/dt = rN, where r is the intrinsic growth rate. The general solution is N(t) = N₀ eʳᵗ, with N₀ representing the initial population at t = 0. In Edexcel papers, you are often asked to find r from given data or to predict future population sizes by substituting into the exponential function.

当资源无限时，种群规模 N 的变化率与其当前规模成正比。这由微分方程 dN/dt = rN 建模，其中 r 为固有增长率。通解为 N(t) = N₀ eʳᵗ，N₀ 表示 t = 0 时的初始种群。在 Edexcel 试卷中，常要求根据给定数据求 r，或通过代入指数函数预测未来种群大小。

To determine r from two measurements, you can use the logarithmic form ln N = ln N₀ + rt. Plotting ln N against t yields a straight line with gradient r. Be prepared to interpret the doubling time T = ln2 / r, which is independent of the starting population.

要根据两次测量结果求 r，可利用对数形式 ln N = ln N₀ + rt。以 ln N 对 t 作图得到斜率为 r 的直线。要能解释倍增时间 T = ln2 / r，该值与起始种群无关。

• dN/dt = rN → N = N₀ eʳᵗ
• Doubling time: T = ln2 / r
• 线性化：ln N = ln N₀ + rt

---

2. Logistic Growth and the Carrying Capacity | 逻辑斯蒂增长与承载能力

In reality, resources are finite, so populations tend towards a maximum carrying capacity K. The logistic differential equation is dN/dt = rN (1 − N/K). Its solution, derived by separation of variables, is N(t) = K / (1 + (K/N₀ − 1) e⁻ʳᵗ). This sigmoidal curve is a classic exam modelling scenario, and you must be able to verify that the solution satisfies the differential equation.

现实中资源有限，因此种群趋向于一个最大承载容量 K。逻辑斯蒂微分方程为 dN/dt = rN (1 − N/K)。通过变量分离得到的解为 N(t) = K / (1 + (K/N₀ − 1) e⁻ʳᵗ)。这条 S 形曲线是经典的考试建模场景，你必须能够验证该解满足微分方程。

Key features to analyse include the initial exponential growth when N is small, the inflection point where growth is fastest (N = K/2), and the asymptotic approach to K as t → ∞. Edexcel questions may ask you to sketch solution curves for different initial values or to explain the long-term behaviour in biological terms.

需要分析的关键特征包括：当 N 较小时的初始指数增长阶段、增长最快的拐点（N = K/2）、以及当 t → ∞ 时渐近逼近 K。Edexcel 问题可能要求你针对不同的初始值绘制解曲线，或用生物学语言解释长期行为。

• dN/dt = rN(1 − N/K)
• 解：N(t) = K / (1 + (K/N₀ − 1) e⁻ʳᵗ)
• 拐点：N = K/2，增长率最大

---

3. Equilibrium Points and Stability Analysis | 平衡点与稳定性分析

An equilibrium solution occurs when dN/dt = 0. For the logistic model, solving rN(1 − N/K) = 0 gives N = 0 and N = K. The stability of these equilibria can be judged by examining the sign of dN/dt nearby: N = 0 is unstable (population grows away from zero), while N = K is stable (population returns to K after small perturbations). This concept of stability is central to understanding ecosystem resilience.

当 dN/dt = 0 时，出现平衡解。对于逻辑斯蒂模型，解 rN(1 − N/K) = 0 得 N = 0 和 N = K。可通过考察附近 dN/dt 的符号判断这些平衡点的稳定性：N = 0 不稳定（种群远离零点增长），而 N = K 稳定（经微小扰动后种群返回 K）。稳定性的概念对理解生态系统韧性至关重要。

In a phase line diagram, arrows indicate the direction of change: for 0 < N < K, dN/dt > 0 (rightward arrow); for N > K, dN/dt < 0 (leftward arrow). This simple method helps visualise the behaviour without solving the equation fully. It is a powerful tool for quickly determining long-term outcomes in biological models.

在相线图中，箭头指示变化方向：当 0 < N < K 时，dN/dt > 0（向右箭头）；当 N > K 时，dN/dt < 0（向左箭头）。这一简单方法有助于在不完全求解方程的情况下可视化行为。它是快速判断生物模型长期结果的有力工具。

• 平衡点：N = 0（不稳定），N = K（稳定）
• 相线分析：用箭头表示 dN/dt 符号
• 小扰动下，稳定平衡点恢复能力强

---

4. Lotka-Volterra Predator-Prey Model | 洛特卡－沃尔泰拉捕食者–猎物模型

Ecosystems involve interactions between species. The simplest predator-prey model consists of two coupled differential equations: dX/dt = aX − bXY for the prey X and dY/dt = cXY − dY for the predator Y. Here a, b, c, d are positive constants representing prey birth rate, predation effect, predator conversion efficiency, and predator death rate respectively. This system produces periodic oscillations that qualitatively match many real-world population cycles.

生态系统包含物种间的相互作用。最简单的捕食者–猎物模型由两个耦合的微分方程组成：猎物的 dX/dt = aX − bXY，捕食者的 dY/dt = cXY − dY。其中 a、b、c、d 均为正常数，分别表示猎物的出生率、捕食效果、捕食者转化效率和捕食者死亡率。该系统产生的周期性振荡在性质上与许多现实世界种群周期相匹配。

Finding the equilibria requires setting both derivatives to zero. This yields two points: (0,0) which is typically an unstable saddle, and (d/c, a/b) which is a centre giving neutral oscillations in the idealised model. In exam contexts, you should be able to calculate these equilibria and interpret their biological meaning, such as why the predator equilibrium depends on prey parameters and vice versa.

求平衡点需令两个导数同时为零。得到两点：(0,0) 通常是一个不稳定鞍点，而 (d/c, a/b) 是一个中心点，在理想化模型中产生中性振荡。在考试情景中，你应该能计算这些平衡点并解释其生物学意义，比如为何捕食者平衡点依赖于猎物参数，反之亦然。

• 猎物方程：dX/dt = aX − bXY
• 捕食者方程：dY/dt = cXY − dY
• 平衡点：(0,0) 和 (d/c, a/b)

---

5. Phase Plane Analysis and Periodic Solutions | 相位平面分析与周期解

Plotting Y against X in the phase plane reveals closed orbits around the non-trivial equilibrium, indicating sustained oscillations. The direction field can be sketched by evaluating the vector (dX/dt, dY/dt) at various points. Edexcel may ask you to use given nullclines – curves where dX/dt = 0 or dY/dt = 0 – to divide the plane into regions where the populations increase or decrease.

在相位平面中绘制 Y 对 X 的图，会显示出围绕非零平衡点的闭合轨道，表明存在持续振荡。可通过在各点计算向量 (dX/dt, dY/dt) 来绘制方向场。Edexcel 可能要求利用给定的零倾线（满足 dX/dt = 0 或 dY/dt = 0 的曲线）将平面划分为种群上升或下降的区域。

The Lotka-Volterra system is a conservative system; a small change in initial conditions leads to a different closed orbit. This sensitivity is important in ecology and also explains why the model is idealised – real systems often have damping due to environmental factors. In exam problems, you might be asked to verify that a given function H(X,Y) is constant along trajectories, serving as a conservation law.

洛特卡－沃尔泰拉系统是一个保守系统；初始条件的微小变化会导致不同的闭合轨道。这种敏感性在生态学中很重要，也解释了为何该模型是理想化的——真实系统常常因环境因素而出现阻尼。在考试问题中，你可能需要验证某一函数 H(X,Y) 沿轨迹保持恒定，作为一种守恒律。

• 相位图：Y 对 X 的闭合轨道
• 零倾线：dX/dt=0 (Y = a/b), dY/dt=0 (X = d/c)
• 相图定性分析，不要求精确解析解

---

6. Coupled Differential Equations in Ecology: SIR Model | 生态学中的耦合微分方程：SIR 模型

Another ecosystem application is the spread of disease within a population, often modelled by the SIR (Susceptible-Infected-Recovered) framework. This system of three differential equations captures the transition between compartments: dS/dt = −βSI, dI/dt = βSI − γI, and dR/dt = γI. Parameters β and γ represent transmission and recovery rates. The model reveals threshold behaviour controlled by the basic reproduction number R₀ = βS₀/γ.

另一个生态系统应用是种群内的疾病传播，通常由 SIR（易感–感染–康复）框架建模。该三微分方程组刻画了分区间的转换：dS/dt = −βSI，dI/dt = βSI − γI，dR/dt = γI。参数 β 和 γ 分别表示传播率和康复率。该模型揭示了由基本再生数 R₀ = βS₀/γ 控制的阈值行为。

If R₀ > 1, an epidemic occurs; if R₀ < 1, the infection dies out. This criterion is essential for interpreting public health strategies. In Edexcel mathematics, you need to be comfortable using numerical methods like Euler's method to simulate such systems, as exact solutions are generally not available in closed form.

若 R₀ > 1，疫情爆发；若 R₀ < 1，感染消退。这一标准对于解读公共卫生策略至关重要。在 Edexcel 数学中，你需要熟练使用欧拉法等数值方法模拟此类系统，因为精确解通常无法以封闭形式给出。

• SIR 模型：三个分区，两个参数
• R₀ = βS₀/γ 决定是否爆发
• 疫病传播建模常结合数值方法

---

7. Numerical Methods: Euler’s Method for Population Models | 数值方法：种群模型的欧拉法

When differential equations cannot be solved analytically, we approximate solutions using step-by-step numerical techniques. Euler’s method updates the state variable using the iterative formula Nₙ₊₁ = Nₙ + h f(tₙ, Nₙ), where h is the step size and f(t, N) = dN/dt. For logistic growth, f(t, N) = rN(1 − N/K). You must show calculations clearly in a table as required by Edexcel mark schemes.

当微分方程无法解析求解时，我们使用逐步数值技术来逼近解。欧拉法的迭代公式为 Nₙ₊₁ = Nₙ + h f(tₙ, Nₙ)，其中 h 是步长，f(t, N) = dN/dt。对逻辑斯蒂增长，f(t, N) = rN(1 − N/K)。你必须按 Edexcel 评分方案要求在表格中清晰展示计算过程。

Reducing the step size h improves accuracy, but also increases computational effort. Exam questions might ask you to approximate a population after a given time interval and comment on the reliability of the estimate. You should also be aware of improved methods like the midpoint method, but Euler’s remains the core numerical technique on the A-Level syllabus.

减小步长 h 可提高精度，但也会增加计算量。试题可能要求你在给定时间间隔后近似种群数量，并评论估计的可靠性。你还应了解改进方法如中点法，但欧拉法仍是 A-Level 考纲中的核心数值技术。

• 迭代：Nₙ₊₁ = Nₙ + h f(tₙ, Nₙ)
• 需构建 t, N, f(t,N) 表格
• 步长越短，精度越高

---

8. Parameter Estimation from Ecosystem Data | 从生态系统数据估计参数

Mathematical modelling often requires finding parameters like r and K from empirical observations. For exponential growth, taking natural logarithms transforms the model to a linear relationship, allowing r to be estimated by least squares regression. For logistic growth, nonlinear regression or data linearisation can be used, though Edexcel questions typically guide you through the process by providing strategic data points.

数学建模通常需要根据经验观测值求取 r 和 K 等参数。对于指数增长，取自然对数将模型转化为线性关系，从而可通过最小二乘回归估计 r。对于逻辑斯蒂增长，可使用非线性回归或数据线性化，不过 Edexcel 题目通常通过提供战略性数据点来引导你完成这个过程。

Be comfortable handling units and scaling: population data may be in thousands or millions, and time in years or days. Parameter interpretations (e.g., r as per capita growth rate) must be precise. Misinterpreting units is a common source of error in modelling questions.

要能熟练处理单位和缩放：种群数据可能以千或百万计，时间可能以年或日计。参数解释（例如 r 表示人均增长率）必须精确。误读单位是建模问题中常见错误来源。

• 线性化：ln N = ln N₀ + rt
• 逻辑斯蒂模型参数估计常用数据点 (0,N₀), 拐点等
• 注意单位的转换与解释

---

9. Coupled Systems and Conservation Laws | 耦合系统与守恒律

In many ecological models, total energy or total population mass remains constant along trajectories, leading to a conservation law. For the Lotka-Volterra system, the function H = cX + bY − d ln X − a ln Y is constant. Verifying that dH/dt = 0 involves implicit differentiation and the chain rule, a skill often tested in Edexcel Pure Mathematics papers as part of coupled differential equations.

在许多生态模型中，总能量或总种群量沿轨迹保持恒定，从而形成守恒律。对于洛特卡－沃尔泰拉系统，函数 H = cX + bY − d ln X − a ln Y 是恒定的。验证 dH/dt = 0 需用到隐函数求导和链式法则，这是 Edexcel 纯数试卷中常作为耦合微分方程一部分考查的技能。

Conservation laws help to confirm that numerical solutions are correct and provide insight into the system’s long-term behaviour. In exam problems, you may be asked to differentiate H with respect to t and substitute the original differential equations to simplify to zero. This algebraic manipulation tests your fluency with multiple differentiation rules.

守恒律有助于确认数值解的正确性，并洞察系统的长期行为。在试题中，你可能需要对 H 关于 t 求导并代入原微分方程进行化简至零。这种代数操作考验你对多种求导法则的熟练程度。

• 守恒量 H(X,Y) = 常数
• 证明：利用 dX/dt, dY/dt 计算 dH/dt = 0
• 考查隐函数、乘积法则和链式法则

---

10. Exam-Style Applications and Modelling Cycle | 考试风格的应用与建模循环

Edexcel A-Level questions on ecosystems and processes often present a scenario and ask you to formulate a model, solve or simulate it, and then critique the outcome. The modelling cycle involves: (1) mathematical formulation, (2) analysis or computation, (3) interpretation in context, and (4) evaluation of limitations. For instance, you might be asked why the logistic model fails to capture oscillations seen in some insect populations.

Edexcel A-Level 关于生态系统与过程的问题常给出一个场景，要求你建立模型、求解或模拟，然后对其结果进行评述。建模循环包括：(1) 数学表述，(2) 分析或计算，(3) 结合背景解释，(4) 评估局限性。例如，你可能会被问到为何逻辑斯蒂模型未能捕捉到某些昆虫种群中观察到的振荡。

When evaluating models, mention assumptions such as constant carrying capacity, no time lags, homogeneous mixing, and deterministic behaviour. Awareness of alternative models (e.g., incorporating seasonal forcing) demonstrates higher-order thinking. Always link mathematical conclusions to the original biological question to secure full marks.

在评估模型时，应提及假设条件，如承载能力恒定、无时间滞后、均匀混合和确定性行为。认识到其他替代模型（如引入季节性强迫）能展现高阶思维。务必把数学结论与原始生物学问题联系起来，以确保获得满分。

• 建模循环：建立 – 求解 – 解释 – 评价
• 常见假设：常数 r, K, 无迁移、无时滞
• 批判性分析是取得高分的关键

---

Published by TutorHao | Mathematics Revision Series | aleveler.com

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