Mathematical Biology I: An Introduction
书籍元信息
- 书名：Mathematical Biology I: An Introduction（数学生物学 I：导论）
- 作者：J.D. Murray，FRS（英国皇家学会会员）
- 出版社：Springer
- 出版年份：2002年（第三版）
- ISBN：978-0-387-95228-4
- 总页数：551页（Volume I）+ 811页（Volume II）
- 系列：Interdisciplinary Applied Mathematics，第17卷
一、书籍主题与核心论点
1.1 核心主题
本书是数学生物学领域的经典教材，系统介绍了应用数学方法建模生物系统的理论与实践。Murray的核心论点是：生物学的各个层次——从分子到生态系统——都可以用数学语言进行精确描述和预测。他强调，数学模型不仅是对生物现象的"翻译"，更是揭示生物学深层机制的有力工具。
本书（第一卷）聚焦于确定性模型，涵盖： - 种群动力学（连续与离散） - 捕食者-猎物系统 - 流行病学 - 酶动力学与化学振荡 - 反应扩散方程与行波 - 分形理论
1.2 统一框架
贯穿全书的数学框架是非线性动力学： - 常微分方程组（ODE） - 延迟微分方程（DDE） - 差分方程（离散动力学） - 反应扩散偏微分方程（PDE）
Murray通过"相平面分析"这一几何方法来统一处理这些方程，使得生物系统的定性行为（平衡点、极限环、分岔、混沌）变得直观可见。
二、结构设计与逻辑脉络
2.1 章节组织逻辑
全书共14章，采用从简单到复杂、从单物种到多物种、从时间动态到时空模式的递进结构：
| 章节 | 内容 | 数学工具 | 生物主题 |
|---|---|---|---|
| 1 | 单物种连续增长模型 | ODE | 种群增长、延迟效应 |
| 2 | 离散种群模型 | 差分方程 | 混沌、渔业管理 |
| 3 | 捕食者-猎物模型 | 相平面分析 | 生态系统动力学 |
| 4 | 年龄结构种群模型 | 偏微分方程 | 爬行动物种群保护 |
| 5 | 婚姻建模 | 非线性动力学 | 心理-数学交叉 |
| 6 | 酶动力学 | Michaelis-Menten | 生物化学 |
| 7-9 | 生物振荡器 | 极限环理论 | 神经科学、节律 |
| 10 | 流行病模型 | 阈值理论 | 公共卫生 |
| 11-13 | 反应扩散与行波 | PDE | 空间传播 |
| 14 | 分形 | 维数理论 | 形态学 |
2.2 从理论到应用
Murray的写作策略是"理论-应用-理论"的螺旋式上升： 1. 第1-4章建立种群动力学基础 2. 第5章转向行为科学（婚姻建模），展示方法的普适性 3. 第6-9章深入生物化学与神经动力学 4. 第10章回到流行病这一经典应用 5. 第11-13章将空间维度纳入考量 6. 第14章以分形这一几何前沿主题收尾
三、核心理论框架
3.1 种群动力学框架
连续增长模型
最基础的模型是Malthusian指数增长： $\(\frac{dN}{dt} = rN\)$
加入环境容纳量后得到Logistic方程： $\(\frac{dN}{dt} = rN\left(1 - \frac{N}{K}\right)\)$
延迟效应
Murray强调时间延迟的重要性。含时滞的Logistic模型： $\(\frac{dN}{dt} = rN(t)\left(1 - \frac{N(t-\tau)}{K}\right)\)$
延迟可以导致Hopf分岔，使系统从稳定平衡转为振荡。
离散动力学与混沌
离散 logistic 映射： $\(N_{t+1} = rN_t(1 - N_t/K)\)$
当\(r > 3.57\)时，系统进入混沌——长期不可预测性源于确定性方程。
3.2 相平面分析的统一方法
Murray使用nullclines（零增长曲线）方法分析二维ODE系统： - \(dx/dt = 0\)和\(dy/dt = 0\)的交点确定平衡点 - Jacobian矩阵的特征值决定稳定性 - Poincaré-Bendixson定理：平面上有界轨线必趋向平衡或极限环
这一方法被系统地应用于： - 捕食者-猎物系统（Lotka-Volterra） - 竞争系统（竞争排斥原理） - 化学振荡器（Belousov-Zhabotinskii反应）
3.3 阈值与分支理论
流行病学的核心概念是基本再生数\(R_0\)： - \(R_0 < 1\)：疾病消亡 - \(R_0 > 1\)：流行病爆发
分支理论（Bifurcation Theory）贯穿全书： - 鞍-结分岔（Saddle-node）：害虫爆发模型 - Hopf分岔：从稳态到振荡 - 跨临界分岔：系统突然改变行为
3.4 反应扩散方程
空间模式形成的核心方程： $\(\frac{\partial u}{\partial t} = D\nabla^2 u + f(u)\)$
Murray详细分析了Turing扩散驱动不稳定机制：均匀定态在扩散作用下失稳，产生空间模式。
四、主要贡献与创新
4.1 跨学科建模方法论
Murray最重要的贡献是系统化了一套从生物学问题到数学模型的方法论：
- 问题识别：明确生物现象和关键变量
- 假设简化：抓住主导机制，忽略次要因素
- 方程构建：用数学语言表述生物机制
- 定性分析：相平面、稳定性、分岔分析
- 定量验证：与实验数据对比
- 模型修正：根据偏差改进
4.2 婚姻建模（独特贡献）
第5章将动力学系统方法应用于婚姻研究，建立： - 夫妻互动的时间序列模型 - 稳定/不稳定婚姻的分类标准 - 干预策略的数学指导
这一工作将数学生物学方法首次系统性地扩展到社会和行为科学。
4.3 流行病学的完整框架
第10章建立了从SIR模型到HIV复杂动态的完整流行病学体系： - 阈值定理（\(R_0\)判据） - 年龄结构模型 - 空间传播（与第13章结合） - 控制策略优化
4.4 分形的生物学应用
第14章将分形几何引入生物学： - 血管树、支气管树的分形维数 - 混沌与分形的联系 - 从形态推断机制的方法论限制
五、优势与不足
5.1 优势
| 优势 | 说明 |
|---|---|
| 方法论清晰 | 统一的相平面分析方法贯穿全书 |
| 生物实例丰富 | 从昆虫到哺乳动物，从酶反应到流行病 |
| 理论与应用并重 | 每个模型都有生物学动机和实际应用 |
| 数学严谨 | 稳定性证明、分岔分析有完整的数学基础 |
| 可读性强 | 即使复杂推导也有清晰的物理解释 |
5.2 不足
| 不足 | 说明 |
|---|---|
| 忽略随机性 | 第一卷完全聚焦确定性模型，忽略了随机因素 |
| 缺乏计算方法 | 没有系统介绍数值方法（如有限元、有限差分） |
| 时空耦合不足 | 第11-13章虽涉及空间，但缺乏真正的时空动力学分析 |
| 细胞/分子层面薄弱 | 主要聚焦于组织和群体层面 |
| 部分章节过于简洁 | 第5章（婚姻建模）和第12章（行波）相对单薄 |
六、与同类书籍的比较
| 书籍 | 特点 | 与本书比较 |
|---|---|---|
| Edelstein-Keshet《Mathematical Models in Biology》 | 更侧重生物背景，数学较浅 | 本书数学更严谨 |
| Kot《Elements of Mathematical Ecology》 | 专注生态学 | 本书范围更广 |
| Britton《Essential Mathematical Biology》 | 更简洁，适合本科生 | 本书更深入，适合研究生 |
| Turing《The Chemical Basis of Morphogenesis》 | 开创性但过时 | 本书继承并发展 |
七、目标读者
7.1 适合人群
- 研究生（数学/生物学/工程学）：系统学习数学生物学的首选教材
- 研究人员：快速掌握跨学科建模方法
- 计算生物学从业者：建立理论基础的参考书
7.2 不适合人群
- 数学背景薄弱者：需要微积分、线性代数、微分方程基础
- 纯生物学者：需要投入大量时间理解数学推导
- 寻求计算实现者：需要额外学习数值方法
八、阅读建议
8.1 必读章节
- 第1章（种群增长基础）
- 第3章（捕食者-猎物）
- 第6章（酶动力学）
- 第7章（生物振荡器）
- 第10章（流行病）
8.2 选读章节
- 第4章（年龄结构）：对保护生物学感兴趣者
- 第5章（婚姻建模）：跨学科研究者
- 第11-13章（反应扩散与行波）：理论生态学/神经科学研究者
- 第14章（分形）：形态学/图像分析研究者
8.3 配套学习
- 配合Volume II（数学生物学 II：空间模型与模式形成）效果更佳
- 实践：使用Python/Matlab实现关键模型
- 参考：Nijhout等生物学家的实验数据文献
九、总体评价
评分：9/10
理由： - 优点：方法论系统、生物学动机明确、数学严谨、实例丰富 - 缺点：出版年份较早（2002），部分内容略显陈旧；缺乏现代计算方法
推荐指数：强烈推荐（★★★★★）
Murray的《数学生物学》是数学生物学领域的里程碑式著作，它不仅是一本教材，更是一套完整的建模方法论。对于任何希望用数学工具理解生物系统的研究者，本书都是不可或缺的起点和长期参考。
十、术语表（中英对照）
| 英文 | 中文 | 定义 |
|---|---|---|
| Population dynamics | 种群动力学 | 研究种群数量随时间变化的学科 |
| Phase plane | 相平面 | 二维状态空间，用于分析ODE系统 |
| Nullcline | 零增长曲线 | 状态变量导数为零的曲线 |
| Limit cycle | 极限环 | 稳定的时间周期解 |
| Bifurcation | 分岔 | 参数变化导致的定性行为突变 |
| Hopf bifurcation | Hopf分岔 | 平衡点失稳产生极限环 |
| Chaos | 混沌 | 确定性系统中的长期不可预测性 |
| Turing instability | Turing不稳定 | 扩散导致的均匀态失稳 |
| Basic reproductive number \(R_0\) | 基本再生数 | 一个感染者平均传染的人数 |
| Fractal dimension | 分形维数 | 描述分形复杂度的度量 |
| Michaelis-Menten kinetics | Michaelis-Menten动力学 | 酶反应速率理论 |
| Predator-prey model | 捕食者-猎物模型 | 描述两物种相互作用的动力学 |
| Reaction-diffusion equation | 反应扩散方程 | 包含扩散项的偏微分方程 |
| Travelling wave | 行波 | 在空间中传播的波形解 |
整理自J.D. Murray, Mathematical Biology I: An Introduction, Third Edition, Springer, 2002.