第十一章:反应扩散方程读书笔记
概述
本章系统性地介绍了反应扩散方程的理论基础及其在生物数学建模中的应用。从最简单的随机游走出发,逐步推导到经典的扩散方程,进而扩展到反应扩散系统、趋化模型、长程扩散效应以及细胞势能与能量方法。本章内容广泛,是理解生物模式形成、动物扩散、细胞迁移等重要生物现象的数学基础。
11.1 简单随机游走与扩散方程的推导
11.1.1 随机游走的基本概念
考虑一维空间中粒子的随机运动。假设粒子以固定步长 \(\Delta x\) 和固定时间步长 \(\Delta t\) 进行运动。若运动是无偏的,则粒子向左或向右运动的概率相等。设在经过 \(n\) 个时间步后,粒子向右走了 \(a\) 步,向左走了 \(b\) 步,则有:
其中 \(m\) 表示粒子在空间中的相对位置(以 \(\Delta x\) 为单位)。
11.1.2 二项分布与概率
到达位置 \(x = m\Delta x\) 的路径数为:
其中 \(\binom{n}{a}\) 是二项式系数。总可能的 \(n\) 步路径数为 \(2^n\),因此概率为:
易验证概率之和为1:
11.1.3 斯特林公式与高斯分布
当 \(n\) 很大时,利用斯特林公式 \(n! \sim (2\pi n)^{1/2} n^n e^{-n}\),可得渐近分布:
这正是正态(高斯)概率分布。
11.1.4 连续极限与扩散方程
设 \(m\Delta x = x\),\(n\Delta t = t\),定义 \(u = p/(2\Delta x)\),则 \(2u\Delta x\) 为时刻 \(t\) 在区间 \((x, x+\Delta x)\) 内发现粒子的概率。假设:
其中 \(D\) 是扩散系数,具有单位 \((\)长度\()^2/\)时间。则得到:
11.1.5 菲克扩散定律
经典的菲克扩散定律指出,物流通量 \(J\) 与浓度梯度成正比:
负号表示扩散从高浓度向低浓度方向进行。
11.1.6 守恒方程与扩散方程
一般守恒方程:区域 \(\langle x_0, x_1 \rangle\) 内的物质量变化率等于边界流入速率加上内部源项:
取极限并利用(11.5),得到一维扩散方程:
若 \(D\) 为常数:
11.1.7 扩散方程的解
当初始条件为 \(c(x,0) = Q\delta(x)\)(在 \(x=0\) 处释放 \(Q\) 个粒子),方程(11.8)的解为:
11.1.8 随机游走的递推推导
另一种推导方法基于概率递推关系。设在时刻 \(t-\Delta t\),粒子位于 \(x-\Delta x\) 或 \(x+\Delta x\):
对无偏随机游走 \(\alpha=\beta=1/2\),进行泰勒展开并取极限,可同样得到扩散方程(11.8)。
11.2 反应扩散方程
11.2.1 三维守恒方程
在三维空间中,考虑任意闭合曲面 \(S\) 包围的体积 \(V\)。一般守恒方程为:
其中 \(\mathbf{J}\) 是物流通量,\(f\) 是源项(可能依赖于 \(c\), \(\mathbf{x}\), \(t\))。
11.2.2 散度定理与一般形式
利用散度定理,将面积分转化为体积分:
由于体积 \(V\) 是任意的,被积函数必须为零:
11.2.3 反应扩散方程
若扩散过程是经典的菲克扩散,则:
代入(11.14)得到:
其中 \(D\) 可以是 \(\mathbf{x}\) 和 \(c\) 的函数。
11.2.4 费希尔-科尔莫戈罗夫方程
在生态学上下文中,若考虑种群增长且 \(D\) 为常数,源项 \(f = rn(1-n/K)\)(逻辑增长),\(r\) 是线性繁殖率,\(K\) 是环境容纳量。则:
此方程被称为费希尔-科尔莫戈罗夫方程,由 Fisher(1937)在研究基因扩散时提出,Kolmogoroff 等人(1937)进行了深入分析。
11.2.5 多物种反应扩散系统
更一般地,若有 \(m\) 个相互作用的物种或化学物质,其密度或浓度为 \(u_i(\mathbf{x},t)\),\(i=1,\ldots,m\),各自具有扩散系数 \(D_i\),则:
其中 \(D\) 是扩散系数矩阵(无交叉扩散时为对角矩阵),\(\mathbf{f}\) 是源项向量。方程(11.18)被称为反应扩散系统。Turing(1952)在其著名的论文中首先提出用这类机制解释形态发生的化学基础。
11.3 动物扩散模型
11.3.1 密度依赖扩散
经典扩散模型假设扩散系数为常数。然而,在昆虫和动物扩散中,常观察到由于种群压力导致扩散增强的现象。即扩散系数 \(D\)(或通量 \(J\))随种群密度 \(n\) 增加:
一种典型形式为 \(D(n) = D_0(n/n_0)^m\),其中 \(m>0\),\(D_0\) 和 \(n_0\) 为正常数。
11.3.2 多孔介质方程
无增长项的扩散方程变为:
一维形式的精确解为:
其中:
此解在 \(|x| > r_0\lambda(t)\) 区域恒为零,代表具有清晰前端的扩散波。与经典高斯解不同,该解在波前处斜率不连续,且波前传播速度随时间减小。方程(11.20)在另一语境中被称为多孔介质方程。
11.3.3 径向对称情况
在平面径向对称情况下,\(Q\) 个昆虫在 \(r=0\) 处释放,满足:
其解为:
11.3.4 聚集效应模型
低密度时倾向于聚集的昆虫,可考虑通量:
其中 \(U\) 是传输速度。若吸引中心在原点且吸引速度为常数,则 \(U = -U_0 \text{sgn}(x)\),得到分散方程:
长时间后,系统趋于稳态:
该解表明昆虫只分布在有限区域内。
11.4 趋化性
11.4.1 趋化现象概述
趋化性(chemotaxis)是指生物体沿化学物质浓度梯度方向运动的现象,与扩散(从高浓度向低浓度)相反,趋化是沿浓度升高的方向运动。
在生物界中,趋化性广泛存在: - 雌性蚕蛾释放信息素 bombykol 吸引雄性 - 白细胞沿细菌感染产生的化学梯度移动 - 盘状聚合菌(Dictyostelium discoideum)的单细胞阿米巴沿环腺苷酸(cAMP)浓度梯度聚集
11.4.2 趋化通量
设化学引诱物浓度为 \(a(\mathbf{x},t)\),细胞密度为 \(n(\mathbf{x},t)\)。趋化通量可表示为:
其中 \(\chi(a)\) 是趋化敏感度函数。
11.4.3 反应-扩散-趋化方程
细胞的一般守恒方程为:
其中总通量 \(\mathbf{J} = \mathbf{J}_{\text{diffusion}} + \mathbf{J}_{\text{chemotaxis}}\),即:
化学引诱物的方程为:
其中 \(D_a\) 是化学物质的扩散系数,通常 \(D_a > D\)。
11.4.4 凯勒-塞格尔模型
Keller 和 Segel(1971)提出的经典模型中,\(g(a,n) = hn - ka\),其中 \(hn\) 表示由阿米巴产生引诱物(正比于阿米巴数量),\(-ka\) 表示引诱物的指数衰减。
最简单版本取 \(f(n)=0\)(聚集阶段种群增长率可忽略),\(\chi(a) = \chi_0\)(常数),\(D\) 和 \(D_a\) 均为常数。一维形式为:
11.4.5 趋化敏感度函数的形式
实验研究中常用的趋化敏感度函数形式包括:
其中 \(\chi_0 > 0\),\(K > 0\)。这些形式表明当引诱物浓度 \(a\) 减小时,趋化效应增强。
11.4.6 扩散与趋化的对比
扩散方程 \(\partial n/\partial t = D\nabla^2 n\) 是稳定化力,而趋化项 \(-\nabla \cdot [n\chi(a)\nabla a]\) 是去稳定化力。两者之间的平衡可能导致稳态空间模式或波动结构。这是理解生物模式形成的关键概念。
11.5 非局部效应与长程扩散
11.5.1 经典扩散的局限性
经典菲克扩散 \(J = -D\nabla c\) 本质上是局部或短程效应。这从拉普拉斯算子 \(\nabla^2 n\) 的性质可以看出:
其中 \(\bar{n}\) 是半径为 \(R\) 的球体内的平均密度。在细胞密度较高的发育生物学等场景中,局部扩散近似不够精确,需要考虑长程效应。
11.5.2 长程扩散通量
奥瑟姆(Othmer, 1969)提出,通量的一般形式为:
通过对称性和各向同性假设,通量的第一阶修正包含 \(\nabla(\nabla^2 n)\) 项:
其中 \(D_1 > 0\),\(D_2\) 是长程效应的度量。
11.5.3 双调和算子方程
代入守恒方程得到:
该方程包含双调和算子 \(\nabla^4 n\)。设解的形式为:
代入得到色散关系:
当 \(D_2 > 0\) 时,双调和项是稳定化的;当 \(D_2 < 0\) 时,是去稳定化的。
11.5.4 积分方程方法
长程效应的另一种描述是积分方程形式:
其中 \(w(x-x')\) 是核函数,量化邻域点 \(n(x',t)\) 对 \(n(x,t)\) 的影响。假设核函数是空间对称的:\(w(x-x') = w(x'-x)\)。
11.5.5 核函数与泰勒展开
定义核函数的矩:
将 \(n(x-y)\) 在 \(x\) 处展开并积分,得到:
截断到四阶矩,与方程(11.37)类似。
11.5.6 神经细胞模型
在神经细胞模型中,\(n\) 代表细胞发放率,\(f(n)\) 是自发放电率。若细胞同时受邻近细胞的兴奋性和抑制性输入,核函数 \(w\) 具有典型的兴奋-抑制形式(如图11.5所示)。
11.6 细胞势能与能量方法
11.6.1 势能与化学势
从唯象角度看,势 \(\mu\) 的梯度可以驱动通量 \(\mathbf{J}\),经典形式为:
设 \(n(\mathbf{x},t)\) 为细胞密度,定义能量密度 \(e(n)\)(单位体积的内能),则总体能量:
势 \(\mu\) 是能量对密度的变分导数:
11.6.2 经典扩散的能量推导
连续性方程给出:
若内能密度为 \(e(n) = n^2/2\),则 \(\mu(n) = n\),得到经典扩散方程 \(\partial n/\partial t = D\nabla^2 n\)。
11.6.3 非局部能量泛函
若细胞对环境的敏感度超出邻近区域,则维持空间异质性的能量应依赖于邻域密度梯度。取在反射和旋转下不变的能量泛函:
经推导(设边界通量为零),简化为:
其中 \(k = -k_1 + k_2\)。
11.6.4 广义势与双调和项
从该能量泛函得到广义势:
通量 \(\mathbf{J} = -D^*\nabla\mu\),代入连续性方程得到:
11.6.5 朗道-金兹堡自由能
若取朗道-金兹堡形式的能量密度:
代入得到广义扩散方程:
其中 \(D_1 = D^*a\),\(D_2 = D^*k\),\(D_3 = D^*b\)。若能量仅含 \(n^2\) 的二次项(\(b=0\)),则与11.5节方程(11.37)完全一致。加入反应项 \(f(n)\) 后,可得到空间非均匀稳态解。
公式汇总表
| 编号 | 公式名称 | 公式形式 | 备注 |
|---|---|---|---|
| (11.1) | 二项分布概率 | \(p(m,n) = \frac{1}{2^n}\frac{n!}{a!(n-a)!}\) | 随机游走的概率分布 |
| (11.3) | 高斯近似 | \(p(m,n) \sim \left(\frac{2}{\pi n}\right)^{1/2}\exp(-\frac{m^2}{2n})\) | \(n\to\infty\)时的渐近分布 |
| (11.4) | 扩散核(随机游走推导) | \(u(x,t) = \frac{1}{\sqrt{4\pi Dt}}\exp(-\frac{x^2}{4Dt})\) | 扩散方程基本解 |
| (11.5) | 菲克定律 | \(J = -D\nabla c\) | 经典扩散通量 |
| (11.8) | 扩散方程 | \(\frac{\partial c}{\partial t} = D\nabla^2 c\) | 常扩散系数情况 |
| (11.10) | 扩散方程初值解 | \(c(x,t) = \frac{Q}{2(\pi Dt)^{1/2}}\exp(-\frac{x^2}{4Dt})\) | Dirac delta初始条件 |
| (11.15) | 三维菲克定律 | \(\mathbf{J} = -D\nabla c\) | 矢量形式 |
| (11.16) | 反应扩散方程(一般) | \(\frac{\partial c}{\partial t} = f + \nabla\cdot(D\nabla c)\) | D可为函数 |
| (11.17) | 费希尔-科尔莫戈罗夫方程 | \(\frac{\partial n}{\partial t} = rn(1-\frac{n}{K}) + D\nabla^2 n\) | 逻辑增长种群扩散 |
| (11.18) | 多物种反应扩散系统 | \(\frac{\partial \mathbf{u}}{\partial t} = \mathbf{f} + \nabla\cdot(D\nabla\mathbf{u})\) | 向量形式 |
| (11.19) | 密度依赖扩散通量 | \(J = -D(n)\nabla n\), \(\frac{dD}{dn} > 0\) | 种群压力效应 |
| (11.20) | 多孔介质方程 | \(\frac{\partial n}{\partial t} = D_0\nabla\cdot[(\frac{n}{n_0})^m\nabla n]\) | 密度依赖扩散 |
| (11.27) | 趋化通量 | \(\mathbf{J}_{\text{chemotaxis}} = n\chi(a)\nabla a\) | 沿浓度梯度运动 |
| (11.28) | 反应-扩散-趋化方程 | \(\frac{\partial n}{\partial t} = f(n) - \nabla\cdot[n\chi(a)\nabla a] + \nabla\cdot(D\nabla n)\) | 细胞守恒方程 |
| (11.29) | 引诱物扩散方程 | \(\frac{\partial a}{\partial t} = g(a,n) + \nabla\cdot(D_a\nabla a)\) | 化学物质守恒 |
| (11.30) | 凯勒-塞格尔模型(一维) | \(\frac{\partial n}{\partial t} = D\frac{\partial^2 n}{\partial x^2} - \chi_0\frac{\partial}{\partial x}(n\frac{\partial a}{\partial x})\) | 经典趋化模型 |
| (11.36) | 长程扩散通量 | \(\mathbf{J} = -D_1\nabla n + \nabla[D_2(\nabla^2 n)]\) | 含双调和修正 |
| (11.37) | 双调和扩散方程 | \(\frac{\partial n}{\partial t} = D_1\nabla^2 n - D_2\nabla^4 n\) | 长程效应方程 |
| (11.38) | 行波解形式 | \(n \propto \exp[\sigma t + i\mathbf{k}\cdot\mathbf{x}]\) | 平面波解 |
| (11.39) | 色散关系 | \(\sigma = -D_1 k^2 - D_2 k^4\) | 波数与增长率关系 |
| (11.41) | 积分方程模型 | \(\frac{\partial n}{\partial t} = f(n) + \int w(x-x')n(x',t)dx'\) | 非局部扩散 |
| (11.47) | 能量泛函 | \(E[n] = \int_V e(n)d\mathbf{x}\) | 总能量定义 |
| (11.48) | 化学势 | \(\mu(n) = \frac{\delta E}{\delta n} = e'(n)\) | 变分导数 |
| (11.49) | 唯象通量公式 | \(\mathbf{J} = -D\nabla\mu(n)\) | 势梯度驱动 |
| (11.57) | 广义化学势 | \(\mu = -k\nabla^2 n + e'(n)\) | 含梯度项 |
| (11.58) | 能量方法推导的扩散方程 | \(\frac{\partial n}{\partial t} = -D^k\nabla^4 n + D^\nabla\cdot[e'(n)\nabla n]\) | 含四阶导数 |
| (11.60) | 广义反应扩散方程 | \(\frac{\partial n}{\partial t} = D_1\nabla^2 n - D_2\nabla^4 n + D_3\nabla^2 n^3 + f(n)\) | 完整形式 |
关键概念总结
-
随机游走与扩散的联系:从微观随机过程(随机游走)可以推导出宏观的扩散方程,扩散系数 \(D = \lim \frac{(\Delta x)^2}{2\Delta t}\) 反映粒子扩散效率。
-
反应扩散系统的核心结构:\(\frac{\partial \mathbf{u}}{\partial t} = \mathbf{f}(\mathbf{u}) + \nabla\cdot(D\nabla\mathbf{u})\),其中反应项 \(\mathbf{f}\) 驱动非线性动力学,扩散项实现空间耦合。
-
扩散的双重作用:经典扩散是稳定化机制(使空间均匀化),而某些效应如趋化是去稳定化机制(可产生空间模式)。
-
趋化性的数学描述:通过趋化通量 \(n\chi(a)\nabla a\) 建模,与扩散通量 \(-D\nabla n\) 形式相似但符号相反,体现了"沿浓度梯度上升"的生物现象。
-
长程效应的必要性:在细胞密度较高或需要描述长程相互作用的场景中,经典扩散假设不足,需要引入积分方程或高阶导数项(如双调和算子 \(\nabla^4\))。
-
能量方法的优越性:从能量泛函出发,通过变分原理自然得到扩散方程的推广形式,并能系统地包含梯度依赖和长程效应。
重要参考文献说明
本章引用的重要工作包括: - Fisher (1937) 和 Kolmogoroff et al. (1937) 对费希尔-科尔莫戈罗夫方程的奠基性研究 - Turing (1952) 提出反应扩散系统作为形态发生机制的著名论文 - Keller 和 Segel (1971) 的经典趋化模型 - Okubo (1980) 和 Shigesada et al. 关于动物扩散的专著 - Cohen 和 Murray (1981) 关于细胞势能与能量方法的工作
这些文献构成了生物数学中反应扩散理论发展的重要里程碑。