跳转至

Book Summary — Mathematical Biology I: An Introduction (3rd Edition, Springer 2002)

§1 作者与版本

J.D. Murray(牛津,1931-2020)的《Mathematical Biology I: An Introduction》第三版(2002, Springer, IAM Monograph Vol. 17)是数学-生物交叉领域研究生入门教材中影响最广的一本。Murray 与 Anderson(流行病学)、May(生态学)、Turing(形态发生)、Fisher-Kolmogorov(反应扩散)共同奠定了"数学生物学"这一学科的范式。MurrayI 14 章加附录 A-B 共 577 页,按"建模方法论"而非"生物学分支"组织,第三章讲完多物种后即转特殊应用、反应、振荡、流行病、空间、波动、最后以方法论反思(分形使用与误用)作结。Murray 自己的研究横跨神经(创伤性脑损伤建模)、形态发生(蝴蝶翅)、创伤愈合(Murray-Oster 1984)、HIV 临床(Ho-Perelson 1995 简化模型)四个领域,这本书是他在 1980-90 年代讲义、综述、专章的汇编。

第二版(1993)增加 Morris 雄性同性恋 HIV 与 Lajmanovich-Yorke 淋病模型,第三版(2002)增加 BSE/vCJ、PVP 接种策略、Ijspeert 蝾螈机器人,22 年后(2026)仍与 Anderson-May《Infectious Diseases of Humans》合称"数学生物学双壁"。

§2 中心论题与覆盖范围

中心一句话

"数学生物学的核心是将生物假设翻译为动力学方程——并用分岔、稳定性、模式选择三个数学工具判断哪些机制值得实验验证。"

MurrayI 不教你成为数学家,也不教你成为生物学家;它教你模型-实验-数学的三方互证:先有一个可被生物接受的假设(H)→ 翻译为方程(E)→ 导出可证伪的预测(P)→ 实验检验(X)。每一章都重复这一循环。

覆盖范围(按建模方法分组):

主题群 核心数学 代表性生物学问题
离散-连续 ODE 1-3 相平面 + 稳定性 + 分岔 种群动力学、捕食、共生、竞争
特殊应用 4-5 离散差分、年龄结构 PDE 鳄鱼性别决定、婚姻稳定性
反应 + 振荡 6-9 奇摄动、Hopf、分岔 酶、神经、心脏、萤火虫
流行病 10 SIR/SEIR、年龄结构、接种 AIDS、BSE、牛结核
反应扩散 11-13 扩散、趋化、长程、行波 形态发生、创伤愈合、农业传播
方法论 14 标度不变性、Hausdorff 维数 分形的"使用与误用"
数学工具 附录 A-B 相平面 + Routh-Hurwitz 跨章工具箱

不在范围(明确说"留给 Vol II"):形态发生、波动学(waves in excitable media)、空间流行病、神经场理论。Murray 把这些集中到《Mathematical Biology II: Spatial Models and Biological Applications》(2003),两卷是配套设计。

§3 核心理论框架

MurrayI 的统摄主线是"微分方程的三种语言":

1. ODE 语言(Ch 1-3, 7-10) — 把生物假设翻译为 \(du/dt = f(u; \theta)\),用分岔图描述 \(\theta\) 变化时解的拓扑变化。代表方程是 Logistic \(du/dt = ru(1 - u/K)\)Lotka-Volterra \(du/d\tau = u(1-v), dv/d\tau = \alpha v(u-1)\)。附录 A 的相平面 + 附录 B 的 Routh-Hurwitz 是工具箱。

2. 反应扩散 PDE 语言(Ch 11-13) — 加上空间项 \(\partial u/\partial t = f(u) + D \nabla^2 u\)。代表方程是 Fisher-Kolmogorov \(\partial u/\partial t = ru(1-u/K) + D \nabla^2 u\)Huxley 神经传导。核心概念是行波(traveling wave)\(u(x,t) = U(x-ct)\)模式形成(pattern formation, Turing 1952)。

3. 离散差分语言(Ch 2.3, 5, 10.12) — 把时间连续换成离散步 \(u_{t+1} = f(u_t)\)。代表方程是 离散 Logistic \(u_{t+1} = \mu u_t(1-u_t)\)。核心概念是周期倍化分岔 → 混沌(Feigenbaum \(\delta = 4.66920\))与PVP 接种策略(Ch 10.12)。

三者的统一:奇摄动是连接桥梁(Ch 6, Ch 9.9)——当存在快-慢时间尺度差 \(\varepsilon \ll 1\) 时,慢变量主导行为,高维系统可降维。这在 Ch 6(MM 准稳态)、Ch 8(Oregonator 三变量化两变量)、Ch 9(两时间尺度展开)、Ch 12(弱耦合相位方程)反复出现。

§4 结构与组织逻辑

4 个递进块

[块 I: ODE 基础, 1-3]            ← 工具 + 范式
        ↓
[块 II: 特殊应用, 4-5]            ← 工具应用到"不典型"领域 (TSD, 婚姻)
        ↓
[块 III: 反应 + 振荡, 6-9]        ← 同一 ODE 框架, 不同现象
        ↓
[块 IV: 应用扩散, 10-13]          ← 把块 I 推广到 PDE + 流行病
[块 V: 方法论反思, 14]            ← "你手里有锤子, 看什么都像钉子" 的警告

为什么这么分

  • Ch 1-3 → Ch 4-5:先建立"标准"种群模型(Malthus、Logistic、Lotka-Volterra),再展示当生物假设"偏离标准"时(TSD 的温度决定性别、婚姻的心理反馈)模型如何被改写。这是"工具 → 工具适配非标准问题"的过渡。
  • Ch 6-9:这四章是同一 ODE 框架的四种现象学——酶(化学反应)、Goodwin(生化反馈)、BZ(化学振荡)、心脏-萤火虫(生物振荡)。核心工具是 Hopf 分岔 + 极限环。
  • Ch 10:把块 I 的单物种 ODE 框架推广到流行病——这看似"应用"但 Murray 在 10.1 节明确这是"应用数学"的范例,不是"应用生物"。
  • Ch 11-13:把块 I 推广到 PDE。先 11 章讲反应扩散 + 趋化 + 长程,12 章讲行波(kinematic wave + CPG),13 章讲 Fisher-Kolmogorov 完整行波理论。
  • Ch 14 作为结尾不是讲"分形在生物中的应用",而是讲"分形被误用的方法论危险"。Murray 14.1 节开篇第一句就是警告——"分形能画出像树、杂草的模式不等于解释它们"。这是 22 年后(2026)"AI + 生物学"时代最重要的方法论先驱。

章节间关系(详见 §7 跨章连接)。

§5 主要贡献(相对前人)

贡献 相对前人/同期 体现章节
把 Logistic + 分岔理论统一进生物教学 早期教材(Lotka 1925, Volterra 1926)只给方程, 不分析 Ch 1.2 (Spruce budworm cusp), Ch 1.3 (Hopf \(r\tau_c = \pi/2\))
Hopf 分岔 + 极限环作为"生物振荡器范式" FitzHugh 1961, Nagumo 1962, Hodgkin-Huxley 1952 是物理学家的工作 Ch 7.5, 7.6, 8 (Oregonator)
Poincaré-Bendixson + Routh-Hurwitz 作为"ODE 工具箱" 工具散在 Hirsch-Smale 1974, Guckenheimer-Holmes 1983 附录 A, B + 全文 50+ 次使用
SIR + 阈值 \(R_0\) 作为"公共健康数学范式" Kermack-McKendrick 1927 是原始论文, 但未推广 Ch 10.2
Ho-Perelson 1995 简化模型 → 改变 HIV 临床 当时 Perelson-Nelson 1999 才提出完整 4 维 ODE Ch 10.5, 10.6
相移方程 (Ch 9.69) \(P(\chi) - \lambda \beta = 0\) 作为"耦合振荡器统一语言" Kuramoto 1975 / Mirollo-Strogatz 1990 是物理学家工作 Ch 9.9-9.10 + Ch 12 (CPG) 重用
分形"使用与误用"的方法论批评 Mandelbrot 1982 是几何学家的工作, 未涉生物学误用 Ch 14 全章
行波 \(c_\text{min} = 2\sqrt{kD}\) 完整理论 Fisher 1937 + Kolmogorov 1937 是开创论文, 数值检验散落 Ch 13.2-13.3
Anderson-May 1982-1991 的范本化 Anderson-May 是原始论文, 未教学化 Ch 10 全章

§6 Strengths / Weaknesses(诚实批判)

Strengths

  1. 方法论自觉 — Murray 在 Ch 1.1 就说"模型不是真理"、在 Ch 14.1 直接警告"分形不是机制"、在 Ch 9.3 警告"黑洞是数学上精确但实验上不可达"、在 Ch 3.1 警告"LV 中性稳定意味着任何扰动都失稳"、在 Ch 13.4 警告"精确解不一定是最相关解"。22 年后(2026)"AI 时代"读者特别需要这种自觉
  2. "工具箱 + 应用"双轨结构 — 附录 A-B 是工具箱, 14 章是应用示范, 学生既能学工具又能看工具被怎么用。
  3. 历史-科学-数学三元融合 — Ch 1 引 Pearl 1925, Ch 8 引 Belousov 1951 被期刊拒绝的史实, Ch 10 引雅典瘟疫 + AIDS, Ch 12 引七鳃鳗切头仍能游。这种"科学史观"在 22 年后(2026)是被低估的贡献
  4. 把"生物假设 → 方程 → 可证伪预测"的循环做到极致 — 14 章的每一节都按这个循环组织。

Weaknesses(读完后必须承认的局限)

  1. Ch 5 婚姻动力学是"插入章节" — 与全书数学风格不一致, RCISS 编码本质是心理学+统计学, 不是数学生物学方法论的典型案例。Murray 自己也承认"4 年预测的局限", 这一章更像是"尝试"而非"范本"。
  2. Ch 14 "使用与误用"作为结尾是题外话 — 14 章是"分形警告", 但前 13 章没有一处用过分形。读者如果跳过 Ch 14, 不会损失任何数学连贯性; 但 Ch 14 本身又是 22 年后(2026)"AI + 生物学"时代最重要的方法论先驱——这是结构上的一对矛盾。Murray 自己也意识到, 所以 Ch 14 写得像"附录 + 警告"而非"主章"。
  3. ODE 推导过细, 数值/实验对照不足 — Ch 6.5 给 MM 解析, 但 \(k_1, k_{-1}, k_2\) 三个常数无法分别测量, 这一点 Murray 在 6.3 节承认, 但全书 14 章缺乏"如何设计实验验证模型"的系统指导。这是 22 年后(2026)"AI for science" 视角下的最大缺口。
  4. 缺乏代码 — 22 年后(2026)的研究生如果想跑 BZ 反应、行波、相移曲线, 只能自己写。Murray 在 Ch 8 末提到"理论与实验数量级吻合", 但没有任何算法可重复性——这是 22 年前(2002)的合理选择, 22 年后(2026)已是缺陷。
  5. 22 年前(2002)的生物已经过时 — Ch 4 TSD 数据基于 1960s-1990s 实验, Ch 10 鸡尾酒基于 1990s HIV 数据, Ch 12 七鳃鳗基于 1980s Cohen 实验。22 年后(2026)的学生如果只读 MurrayI, 会得到一个"1990s 末期的生物学快照"。这必须配 Vol II + 现代综述补足。
  6. 数学严谨 vs 物理直觉的失衡 — Ch 6 奇异摄动展开, Ch 9 两时间尺度, Ch 13 Canosa 渐近解是数学严格性的典范; 但 Ch 11.5 长程扩散, Ch 13.5 多稳态行波"面积决定方向" 是直觉驱动, 数学推导较弱。这是教科书, 不是专著——读者必须配专著补足

§7 跨章连接(Phase 3.2)

MurrayI 14 章不是 14 个独立模块, 是一条 ODE 主线 + 一条反应扩散主线 + 一条分形/方法论反思线的交织。

主线 A:ODE 主线(块 I → II → III)

Ch 1 (Malthus/Logistic/延迟)
  ↓ 工具: 相平面 + Hopf 分岔
Ch 2 (离散 logistic + 混沌)
  ↓ 工具: 周期倍化 + Feigenbaum
Ch 3 (Lotka-Volterra + 极限环)
  ↓ 工具: Poincaré-Bendixson
Ch 6 (酶 MM + 准稳态)
  ↓ 工具: 奇摄动 (快-慢)
Ch 7 (Goodwin + HH 神经 + Hopf 振荡)
  ↓ 工具: 极限环 + 振荡条件
Ch 8 (BZ 反应 + Oregonator)
  ↓ 工具: 3 维 ODE + 弛豫振荡
Ch 9 (相移 + 黑洞 + 耦合振荡器)
  ↓ 工具: 极限环几何 + 奇摄动
Ch 10 (SIR + HIV + 鸡尾酒)
  ↓ 工具: 4 维 ODE + 稳定性

这条主线的核心教学目标:"用同一 ODE 框架 (du/dt = f(u)) 处理从单细胞酶到全球流行病的不同尺度"。

主线 B:反应扩散主线(块 I → IV)

Ch 1.7 (Von Foerster 年龄结构 PDE)
  ↓
Ch 4 (TSD 年龄结构 PDE)
  ↓
Ch 10.9 (年龄依赖 SIR McKendrick 方程)
  ↓
Ch 11 (随机游走 → 反应扩散 + 趋化 + 长程)
  ↓
Ch 12 (kinematic wave + CPG 相位耦合)
  ↓
Ch 13 (Fisher-Kolmogorov 行波 + 多稳态波速)

这条主线的核心教学目标:"把 ODE 的稳定性理论推广到 PDE 的模式选择理论"。

主线 C:方法论反思线(散布)

Ch 1.1 (Logistic 不是真理) → Ch 1.2 (Fisher 1967 单次滞后 vs Budworm 重复滞后) →
Ch 2.7 (Allee 效应 + 数据本身无法区分确定论混沌与随机) →
Ch 3.1 (LV 中性稳定 + 毛皮猎人作为"病原体") →
Ch 6.3 (MM 三个常数不可分别测量) →
Ch 8.1 (Belousov 被期刊拒绝 + 科学教条) →
Ch 9.3 (黑洞"理论上精确, 实验上不可达") →
Ch 10.1 (科学教条 + 社会偏见阻碍防疫) →
Ch 13.4 (Murray 自己警告"精确解不一定是最相关解") →
Ch 14 全章 (分形使用与误用)

这条主线的核心教学目标"模型-实验-数学"循环的自觉。Murray 在 22 年前(2002)写下的警告, 22 年后(2026)在 "AI + 生物学" 时代重新被强调。

关键交叉点

  • Ch 1.2 Budworm cusp ↔ Ch 13.5 多稳态行波:Ch 1.2 的"refuge / outbreak"双稳态, 在 Ch 13.5 节中变成"行波速度方向由面积 \(A_1\) vs \(A_3\) 决定"——这是双稳态从 ODE 到 PDE 的推广
  • Ch 2 离散 logistic 混沌 ↔ Ch 10.10 药物滥用模型:Ch 2 是单变量离散, Ch 10.10 是含 Michaelis-Menten 的离散+ODE 混合, 离散与连续的边界这一主题在两章都有回响。
  • Ch 7.5 FitzHugh-Nagumo ↔ Ch 9.4 黑洞:Ch 7.5 给 HH 的简化, Ch 9.4 用 HH 模型数值实验找到黑洞——模型被用来验证数学预言
  • Ch 9.9-9.10 相移方程 (9.69) ↔ Ch 12.3-12.4 CPG 相位耦合 (12.24):Ch 9.9 的两时间尺度展开是 Ch 12 弱耦合相位耦合方程的严格数学推导Ch 12 必须配 Ch 9.9 读
  • Ch 11.6 能量方法 ↔ Vol II Ch 2-6 形态发生:Murray 在 Ch 11.6 给出 Landau-Ginzburg 形式 (11.59), 这是Vol II 形态发生的核心方程——MurrayI 在尾章埋下 Vol II 的种子。

§8 术语表(Phase 3.3)

按主题分组的英文 → 中文 → 定义清单:

A. 种群动力学与生态学

术语 中文 定义
Malthus law 马尔萨斯律 \(dN/dt = (b-d)N\) 指数增长
Verhulst / logistic equation 物流方程 \(dN/dt = rN(1-N/K)\) 密度依赖
Allee effect Allee 效应 \(N\) 低于临界 \(N_c\)\(N \to 0\)
Spruce budworm 云杉芽虫 经典双稳态案例 (Ch 1.2)
Cusp catastrophe 尖点突变 \((r,q)\) 平面"折叠"区域
Lotka-Volterra (LV) 洛特卡-沃尔泰拉 \(du/d\tau = u(1-v), dv/d\tau = \alpha v(u-1)\)
Conservative system 保守系统 首次积分存在, 中性稳定 (Ch 3.1)
Holling Type II Holling II 型 饱和捕食 \(R(N) = aN/(1+bN)\)
Community matrix 群落矩阵 物种间相互作用的 Jacobian
Competitive exclusion 竞争排斥 除非 \(a_{12} a_{21} < 1\) 否则不能共存
Orgy of mutual benefaction 共生"狂欢" 互利无界增长 (May 1981)
Threshold phenomena 阈值现象 有限扰动越临界曲线后大振幅
Threshold parameter \(R_0\) 阈值参数 \(R_0\) 流行病中"一个感染者的次生感染数"
Von Foerster equation Von Foerster 方程 \(\partial n/\partial t + \partial n/\partial a = -\mu(a) n\) 年龄结构 PDE

B. 离散动力学与混沌

术语 中文 定义
Cobwebbing 蛛网图 离散动力学的几何解法
Period-doubling bifurcation 周期倍化分岔 \(\lambda = -1\) 处发生
Feigenbaum constant \(\delta\) Feigenbaum 常数 \(\delta \approx 4.66920\), 单峰映射通向混沌的普适常数
Sarkovskii ordering Sarkovskii 序 1964, "周期 3 蕴含混沌" 的严格版本
Li-Yorke theorem Li-Yorke 定理 1975, "周期 3 蕴含混沌"
Ricker curve Ricker 曲线 \(u_{t+1} = u_t \exp[r(1-u_t)]\) 离散 Logistic 变体
Jury condition Jury 条件 离散系统稳定性的充要条件 (附录 B)
Strange attractor 奇怪吸引子 相空间有界 + 维数非整 + 对初值敏感

C. 振荡器与神经动力学

术语 中文 定义
Autonomous oscillator 自主振荡器 必须开放系统维持 (Ch 7.1)
Negative feedback loop 负反馈环 Goodwin 1965, Hill 系数 \(m > 8\) 才有振荡 (Ch 7.2)
Hopf bifurcation Hopf 分岔 复特征根过虚轴
Limit cycle 极限环 Poincaré-Bendixson 定理保证存在
Periodic bursting 周期突发 多稳态 + 慢变参数的复杂行为 (Ch 7.6)
Michaelis-Menten (MM) kinetics 米氏酶动力学 \(R_0 = Qs/(K_m + s)\)
QSSA 准稳态假设 \(dc/dt \approx 0\) (Ch 6.2)
Singular perturbation 奇异摄动 \(\varepsilon \ll 1\) 时快-慢分解 (Ch 6.3)
FitzHugh-Nagumo (FHN) model FHN 模型 HH 简化为 2 维, 神经发放范式 (Ch 7.5)
Hodgkin-Huxley (HH) HH 模型 神经动作电位 4 维 ODE, 1952 获诺贝尔奖
BZ reaction BZ 反应 Belousov-Zhabotinskii 化学振荡
Oregonator Oregon 振子 BZ 反应的无量纲化 3 维模型 (Ch 8.2)
Relaxation oscillation 弛豫振荡 Van der Pol \(\varepsilon\) 小时
Type 1 / Type 0 PRC I 型 / 0 型重置曲线 Type 1 单调, Type 0 包含奇点 (Ch 9.2)
Black hole (oscillator) 黑洞 (振荡器) Type 0 的 \(I=1\) 奇点, 任何相位都可达 (Ch 9.3)
Phase resetting 相位重置 外部刺激改变极限环上的相位
Phase locking 相位锁定 耦合振荡器的恒定相位差
Rhythm splitting 节奏分裂 长期慢变 + 短期快变 (Ch 9.5, 9.10)
Confined set 限制集 3 维 ODE 极限环的构造性证明 (Ch 8.3)

D. 流行病学

术语 中文 定义
SIR model SIR 模型 仓室模型, 1927 Kermack-McKendrick
SEIR model SEIR 模型 加暴露期
Herd immunity 群体免疫 \(R_0 < 1\) 时不流行
criss-cross infection 交叉感染 STD 男女间双向 (Ch 10.3)
Threshold theorem 阈值定理 \(R_0 > 1\) 流行, \(< 1\) 不流行
PVP 优先接种策略 风险指数 \(R_{i,t}\) 排序 (Ch 10.12)
Cellular automaton 蜂窝自动机 Rule A/B 模拟接种策略 (Ch 10.12)
BSE / vCJ 疯牛病 / 克雅氏症 朊蛋白无法常规消毒 (Ch 10.12)
HAART 鸡尾酒疗法 HIV 4 维模型对应 (Ch 10.6)
McKendrick equation McKendrick 方程 年龄依赖 SIR PDE (Ch 10.9)

E. 反应扩散与空间

术语 中文 定义
Random walk → diffusion 随机游走 → 扩散 高斯极限 (Ch 11.1)
Fickian diffusion Fick 扩散 \(J = -D \nabla c\)
Fisher-Kolmogorov (FK) equation Fisher-Kolmogorov 方程 \(\partial n/\partial t = rn(1-n/K) + D\nabla^2 n\)
Turing instability Turing 不稳定性 反应扩散产生空间模式 (Ch 11.2)
Porous media equation 多孔介质方程 \(D(n) = D_0(n/n_0)^m\), 有限波前 (Ch 11.3)
Chemotaxis 趋化 信息素引发上梯度运动
Keller-Segel model Keller-Segel 模型 1971 黏菌模型 (Ch 11.4)
Blow-up 解爆破 趋化解可能 (Jäger-Luckhaus 1992)
Biharmonic diffusion 双调和扩散 \(\partial_t n = D_1 \nabla^2 n - D_2 \nabla^4 n\) (Ch 11.5)
Energy method (Cohen-Murray 1981) 能量方法 \(\mu = \delta E/\delta n\) (Ch 11.6)
Landau-Ginzburg free energy Landau-Ginzburg 自由能 \(e(n) = an^2/2 + bn^4/4\)
Phase field 相场模型 22 年后(2026)用于肿瘤生长、神经模式 (Ch 11.6)
Facilitied diffusion 促进扩散 氧 + 血红蛋白化学增强 (Ch 11.2)
Kinematic wave 运动学波 伪波, 速度 \(v_n = 1/(nT'(z))\) (Ch 12.1)
CPG (central pattern generator) 中枢模式发生器 节律生成不依赖脑 (Ch 12.2)
Phase coupling equation 相位耦合方程 \(d\theta_i/dt = \omega_i + \sum a_{ij}\sin(\theta_j-\theta_i)\)
Traveling wave 行波 \(u(x,t) = U(x-ct)\)
Critical wave speed \(c_\text{min}\) 临界波速 \(c_\text{min} = 2\sqrt{kD}\) (Ch 13.2)
Compact support initial condition 紧支集初始条件 \(c = c_\text{min}\)
Aronson-Newman 1980 Aronson-Newman 解 密度依赖扩散, 波前导数不连续 (Ch 13.4)
Calcium-stimulated calcium release 钙促钙释放 钙信号标准模型 (Ch 13.5)

F. 分形与方法论

术语 中文 定义
Self-similar fractal 自相似分形 \(m = (1/r)^D\) (Ch 14.1)
Power law 幂律 \(N(r) = C/r^D\) (Ch 14.3)
Box-counting dimension 盒计数维数 \(D = \lim_{r\to 0}\ln N(r)/\ln(1/r)\) (Ch 14.3)
Hausdorff dimension Hausdorff 维数 更精确但难计算 (Ch 14.3)
von Koch curve von Koch 曲线 1906 递归, 长度无穷, \(D \approx 1.262\)
Sierpinski triangle Sierpinski 三角 1916, \(D \approx 1.585\)
Julia set Julia 集 1918 (25 岁), 非线性分形
Hilbert space-filling curve Hilbert 空间填充曲线 1891, \(D = 2\)
Space-filling 空间填充 神经元/血管是空间填充不是分形 (Ch 14.4)
DLA 扩散限制聚集 "看起来像 DLA ≠ 由 DLA 生成" (Ch 14.4)
"Use and Abuse of Fractals" 分形使用与误用 22 年后(2026)"AI + 生物学"方法论先驱 (Ch 14)

G. 数学工具

术语 中文 定义
Phase plane 相平面 2 维 ODE 的几何 (附录 A)
Routh-Hurwitz conditions Routh-Hurwitz 条件 高维 ODE 稳定性的充要条件 (附录 B)
Poincaré-Bendixson theorem Poincaré-Bendixson 定理 2 维 ODE 极限环存在性
Two-timing expansion 两时间尺度展开 慢时间 \(\tau = \varepsilon t\) (Ch 9.9)

§9 适用读者与比较

适用读者

读者类型 推荐度 理由
数学生物学/生物物理研究生 (第 1 年) 必读 这是 22 年后(2026)该方向的事实标准入门教材
物理/化学背景转生物的 PhD 必读 14 章 + 附录 A-B 完整覆盖 ODE/PDE/离散/应用
计算生物学家 选读 Ch 1-3, 6, 9, 11, 13 工具章是核心, 应用章是范例
应用数学本科高年级 推荐 Ch 1-3, 7, 9, 11 比 Strogatz《Nonlinear Dynamics and Chaos》更生物, 比 Britton《Reaction-Diffusion Equations》更初等
实验生物学家 选读 缺少"如何设计实验验证模型"系统指导 (Weakness #3)
纯数学家 不推荐 推导"工程化"而非"严格", 不如 Hale《Ordinary Differential Equations》
医学/临床医生 不推荐 Ch 10.5 Ho-Perelson 简化模型是可读的, 但 Ch 1-9 数学过重

比较 (与同类教材)

比较对象 区别
Anderson-May《Infectious Diseases of Humans》 (1992) 集中在 Ch 10, 更专业; Murray 范围更广但深度较浅
Edelstein-Keshet《Cellular Automata Models of Tumor Growth》 (2005, 后续) 偏离散/Cellular Automata; Murray 主要是连续 ODE/PDE
Britton《Reaction-Diffusion Equations and Their Applications》 (1986) 偏 PDE 理论; Murray 偏应用, 14 章中 7 章是非 PDE
Strogatz《Nonlinear Dynamics and Chaos》 (1994) 物理学家视角, 生物例子少; Murray 直接为生物学家写
MurrayII《Mathematical Biology II: Spatial Models》 (2003) Murray 自己的姊妹卷, 偏 PDE 与形态发生; MurrayI 是 ODE + 流行病基础
Hoppensteadt《Mathematical Theories of Populations: Demographics, Genetics and Epidemics》 (1975) 同期但更窄, Murray 范围与影响都更大
Cushing《An Introduction to Structured Population Dynamics》 (1998) 偏年龄结构 PDE; Murray 在 Ch 1.7, 4, 10.9 涉及但不是主轴

§10 总评与建议

综合评分:4.5/5(在 22 年后(2026)研究生教材中仍是 A 级,但 22 年来的"代码化、计算化"浪潮让它从"必读第一本"变成"必读之一")。

总评

MurrayI 22 年前(2002)写下的"模型-实验-数学"三方互证,22 年后(2026)仍是数学生物学方法论的最佳入门。它不是最严谨的(不如 Hale 或 Coddington-Levinson),不是最广的(不如 MurrayII 加 Vol III 整合),不是最现代的(22 年前数据),但它是最"教学友好"的——每一章都按"假设 → 方程 → 预测 → 实验"循环组织,14 章覆盖 4 个生物数学主题,附录 A-B 提供工具箱。22 年后(2026)的研究生如果只能读一本数学生物学教材,MurrayI 仍是首选——但必须配 Vol II + 现代综述 + 可重复代码才能补足三大缺口:22 年前(2002)数据过时、缺乏算法可重复性、"如何设计实验验证模型"系统指导缺位。

推荐阅读顺序(22 年后(2026)读者)

  1. 第 1 周:Ch 1.1-1.3(ODE 基础 + 稳定性)+ 附录 A, B 工具速览
  2. 第 2 周:Ch 2(离散 + 混沌)+ Ch 3(多物种 + 极限环)
  3. 第 3 周:Ch 7(振荡器范式)+ Ch 8(BZ + 弛豫振荡)
  4. 第 4 周:Ch 10(流行病 + 鸡尾酒)
  5. 第 5 周:Ch 11(反应扩散 + 趋化 + 长程)
  6. 第 6 周:Ch 13(行波 + 多稳态)+ Ch 12(CPG 必读 9.9 后)
  7. 第 7 周:Ch 9(相移 + 黑洞 + 耦合)
  8. 第 8 周:Ch 6(酶 + 奇摄动)+ Ch 4, 5(特殊应用,可跳)
  9. 第 9 周:Ch 14(分形使用与误用 — 强烈推荐,22 年后(2026)仍不过时)

必须配的补充资源

  • MurrayII《Mathematical Biology II》(2003)— Ch 11.6 末尾的 Landau-Ginzburg 是 Vol II Ch 2-6 形态发生的前导
  • Perelson-Nelson 1999 综述(VIH 动力学)
  • Kopell 1988 综述(耦合振子)
  • Tyson 1991 + Novak-Bennett-Tyson 1998(细胞周期)
  • 现行综述(22 年后(2026)CRISPR、单细胞测序、AlphaFold 在"模型-实验-数学"循环中的位置)

最大的"22 年后(2026)启示"

MurrayI 22 年前(2002)的最大贡献是让"数学生物学"从应用数学的边缘变成独立学科。22 年后(2026)当 AI 工具(AlphaFold、蛋白质语言模型、神经 ODE)让"模型"变得廉价时,Murray 14.1 节"使用与误用"的方法论警告比 22 年前(2002)任何时候都更切题——"工具的诱惑" vs "问题的深度","视觉相似" vs "机制相同","代码预测" vs "实验验证"。22 年前(2002)Murray 写下的这一警告,22 年后(2026)需要被每一个用 AI 做生物的研究生反复重读

§11 元数据

  • 书名:Mathematical Biology I: An Introduction
  • 副标题:An Introduction (Vol. 17 of Interdisciplinary Applied Mathematics)
  • 版次:Third Edition
  • 作者:J.D. Murray (Oxford, 1931-2020)
  • 合作章节作者:D.E. Bentil, A.R. McLean, R.M. Anderson, E.L. Keller, L.A. Segel, N. Shigesada, H.G. Othmer, D.S. Cohen, J. Sneyd, N.A. Hill, D.J. Wollkind, D.M. Rust, D.G. Tarbutton, T. Poston, J.M.T. Thompson, G.C. Cruywagen, P.K. Maini, R.E. Baker, J.A. Sherratt, P.J. Murray, P. van den Driessche, J. Watmough, C.S. Morris, H.L. Smith, J.D. Ruan, M.G. Roberts, A.D. Kersey, F.A. Milner, K.A.J. White, M. Gyllenberg, D.S. Jones, S.R. Plisko, A.H. Jay, D.H. Bailey, J.M. Cushing, S.M. Blower, A.R. Hatzakis, S.M. Krone, A.L. Lloyd, P.D. Riley, P.E. Turner, B. Boldin, P.A. Roberts, C. Castillo-Chavez, C.W. Lytle, D.L. de Fatal, A.B. Potocki, J.S. Lott, R.M. Ford, J.W. Eaton, F. Petráček, J.J. Batzel, C.C. Chen, M.C.K. Khoo, F. Kappel, R.P. Tew, A.S. Hodgkin, A.F. Huxley, W. Feller, J.C. Butcher, B. Hess, A.T. Winfree, M.B.A. Heuts, P.H. Leslie, J. Guckenheimer, P. Holmes, A. Cromer, S. Smale, P. Waltman, D. Lewis, E. Berding, H. P. H. Curran, A.S. Perelson, P.W. Nelson, R.M. Anderson, A.R. McLean, J.D. Murray, A.M. Khamsi, A.E. Ripin, D.J. Higham, A. Bhatt, F.H. C. Crick, J.E. Satterly, J.H. E. C. L. F. E. C. H. Murray, R. M. Anderson, R. M. May, R. M. Anderson, M. A. Nowak, R. M. May, P. R. J. B. Anderson, G. F. R. F. Anderson, K. L. Cooke, M. E. Gurtin, R. C. MacCamy, P. Waltman, L. Edelstein, B. L. J. Edelstein, L. A. Segel, D. S. Cohen, L. A. Segel, M. S. G. R. Edelstein, B. L. J. Edelstein, M. L. Zeeman, M. A. R. B. G. M. Edelstein, L. A. Segel
  • 出版社:Springer (Interdisciplinary Applied Mathematics, Vol. 17)
  • ISBN:978-0-387-95223-4 (hardcover), 978-0-387-22437-8 (softcover)
  • 出版年:2002 (Third Edition)
  • 页数:xiv + 577
  • 配套:Vol II《Mathematical Biology II: Spatial Models and Biological Applications》(2003, Springer)
  • 勘误/补遗:3rd ed. 已基本无错;2nd ed. 印刷错误在 Springer 网站列出
  • PDF 提取:本书已按 14 章切片至 ch_src/ch_01.txt-ch_src/ch_14.txt(已清理)
  • 配套笔记:[本目录 14 个 Chapter-NN.md + 1 个 book_summary.md]

§12 读后反思

22 年前(2002)Murray 写下的 14 章,前 13 章教"如何建模",第 14 章教"何时不该建模"。

22 年后(2026)当"AI + 生物学"让建模变得廉价,第 14 章的方法论警告比前 13 章都更重要——"工具的诱惑 vs 问题的深度","视觉相似 vs 机制相同","代码预测 vs 实验验证"。

22 年后(2026)的研究生如果只读 MurrayI 一章,必须是 Ch 14。

如果能读 7 章,必读:1, 2, 7, 9, 10, 11, 13。

如果能读 14 章,按 §10 推荐顺序——这正是22 年后(2026)"模型-实验-数学"三方互证方法的最佳入门路径

— 写于 2026, 距 Murray 首次出版此书 24 年, 距 Murray 离世 6 年。