[论文解读] Microscopic derivation of the Keller-Segel equation in the sub-critical regime

Ana Cañizares García, Peter Pickl|arXiv (Cornell University)|Mar 13, 2017

Mathematical Biology Tumor Growth参考文献 8被引用 6

一句话总结

本文在亚临界 regime（$\chi < 8\pi$）下，从具有正则化库仑相互作用的 $N$ 个相互作用粒子的随机系统出发，严格推导出二维 Keller-Segel 方程。通过采用大小为 $N^{-\alpha}$ 的截断，其中 $\alpha \in (0,1/2)$，作者建立了定量估计，表明粒子系统的经验测度收敛于平均场 Keller-Segel PDE 的解，从而证明了混沌传播和有界解的全局存在性。

ABSTRACT

We derive the two-dimensional Keller-Segel equation from a stochastic system of $N$ interacting particles in the case of sub-critical chemosensitivity $χ&lt; 8 π$. The Coulomb interaction force is regularised with a cutoff of size $N^{- α}$, with arbitrary $α\in (0, 1 / 2)$. In particular we obtain a quantitative result for the maximal distance between the real and mean-field $N$-particle trajectories.

研究动机与目标

• 从二维随机多粒子系统严格推导出确定性 Keller-Segel PDE。
• 在 $\chi < 8\pi$ 的亚临界 regime 下建立平均场极限的有效性。
• 对于具有 $N^{-\alpha}$ 截断（$\alpha \in (0,1/2)$）的正则化粒子系统，证明混沌传播。
• 建立真实粒子轨迹与平均场轨迹之间距离的定量估计。
• 相较于先前工作，弱化初始密度的假设，允许使用 i.i.d. 初始配置，无需紧支集或高正则性。

提出的方法

• 通过由布朗运动驱动、并带有正则化库仑相互作用力 $k_N(x) = \frac{x}{|x|(|x| + N^{-\alpha})}$ 的 $N$ 个相互作用粒子建模细胞群体。
• 定义由有效漂移 $-\chi(k * \rho_t)(Y_t^{i(N)})$ 和与真实粒子相同的布朗噪声控制的平均场轨迹 $Y_t^{i(N)}$。
• 证明真实粒子轨迹 $X_t^{i(N)}$ 在时间上保持与平均场轨迹 $Y_t^{i(N)}$ 接近，且在 $L^2$-型范数下具有定量性。
• 结合先验估计、Sobolev 嵌入不等式与插值不等式，控制势能 $w = -\log|\cdot| * \rho$ 及其导数的正则性。
• 建立密度 $\rho^N$ 的 $W^{1,p}$-范数与 Hölder 半范数 $[\rho^N]_{0,\alpha}$ 的一致有界性，确保作用力场的一致利普希茨连续性。
• 应用紧致性与收敛性论证，表明在 $N \to \infty$ 的极限下，粒子系统经验测度收敛于 Keller-Segel PDE 的解。

实验结果

研究问题

• RQ1 能否在亚临界 regime $\chi < 8\pi$ 下，从随机粒子系统推导出 Keller-Segel 方程？
• RQ2 引入 $N^{-\alpha}$-正则化相互作用力如何影响向平均场极限的收敛性？
• RQ3 在真实轨迹与平均场轨迹之间可建立何种定量距离界？
• RQ4 与先前工作相比，对初始密度 $\rho_0$ 的假设是否可弱化，特别是关于紧支集与光滑性？
• RQ5 对于无网格结构或无紧支集假设的 i.i.d. 初始粒子配置，混沌传播是否依然成立？

主要发现

• 作者证明了在 $N \to \infty$ 的极限下，$N$ 粒子系统的经验测度收敛于 $\chi < 8\pi$ 条件下的 Keller-Segel PDE 解。
• 建立了真实轨迹与平均场轨迹之间最大距离的定量界：$\sup_{t \in [0,T]} \mathbb{E}[\|X_t^{i(N)} - Y_t^{i(N)}\|] \leq C N^{-\alpha/2}$，其中 $\alpha \in (0,1/2)$。
• Keller-Segel 方程的解 $\rho$ 在 $L^\infty(0,T; C^{0,\alpha}(\mathbb{R}^2))$ 中有界，且一致 Hölder 半范数由初始数据的范数控制。
• 通过 $w = -\log|\cdot| * \rho$ 的二阶导数的统一有界性，证明了作用力场 $-\nabla (k * \rho)$ 在空间与时间上一致利普希茨连续，且对所有 $N$ 成立。
• 初始密度 $\rho_0$ 仅需属于 $L^1 \cap L^\infty \cap H^1$，且具有有限的 $W^{1,p}$-范数，无需紧支集或 $H^4$ 正则性，优于先前假设。
• 对于 i.i.d. 初始粒子配置，混沌传播得以证明，其结果超越了以往研究中使用的基于网格或确定性初始条件的设定。