[论文解读] Global Existence and Finite Time Blow-Up for Critical Patlak-Keller-Segel Models with Inhomogeneous Diffusion

Jacob Bedrossian, Inwon C. Kim|arXiv (Cornell University)|Aug 26, 2011

Mathematical Biology Tumor Growth参考文献 25被引用 4

一句话总结

该论文为 d ≥ 3 维空间中具有空间异质扩散的 L¹-临界 Patlak-Keller-Segel 模型建立了全局存在性与有限时间爆破准则。通过分析非线性扩散与非局部趋化之间的相互作用，证明了爆破局限于扩散系数 a(x) 最小的区域，并推导出依赖于 inf a(x) 的精确临界质量阈值，证明了在该阈值以下全局存在，以上则发生爆破，方法为基于局部化 Virial 型估计。

ABSTRACT

The L^1-critical parabolic-elliptic Patlak-Keller-Segel system is a classical model of chemotactic aggregation in micro-organisms well-known to have critical mass phenomena. In this paper we study this critical mass phenomenon in the context of Patlak-Keller-Segel models with spatially varying diffusivity and decay rate of the chemo-attractant. The primary tool for the proof of global existence below the critical mass is the use of pseudo-differential operators to precisely evaluate the leading order quadratic portion of the potential energy (interaction energy). Under the assumption of radial symmetry, blow-up is proved above critical mass using a maximum-principle type argument based on comparing the mass distribution of solutions to a barrier consisting of the unique stationary solutions of the scale-invariant PKS. Although effective where standard Virial methods do not apply, this method seems to be dependent on the assumption of radial symmetry. For technical reasons we work in dimensions three and higher where L^1-critical variants of the PKS have porous media-type nonlinear diffusion on the organism density, resulting in finite speed of propagation and simplified functional inequalities.

研究动机与目标

• 理解趋化剂扩散系数 a(x) 的空间异质性如何影响 L¹-临界 Patlak-Keller-Segel 模型中的临界质量现象。
• 确定尽管存在非局部相互作用，爆破动力学是否仍局限于 a(x) 最小的区域。
• 建立依赖于 inf a(x) 的精确临界质量阈值 M_c，扩展经典均匀情况。
• 证明初始质量低于 M_c 时存在全局解，质量高于 M_c 时发生有限时间爆破，即使初始自由能任意大。
• 为异质、非局部系统开发新的分析工具，其中标准尺度不变性与 Virial 方法失效。

提出的方法

• 通过压力变量变换，将非线性扩散方程转化为粘性解框架下的多孔介质型方程。
• 构造一个局部化 Virial 型恒等式，以追踪潜在爆破点附近的质量集中，利用能量估计中 a(x) 的最小值。
• 证明依赖于压力变量的比较原理，使用扰动测试函数排除从下方穿越的超解。
• 利用函数不等式，特别是带最优常数 C⋆ 的 Hardy-Littlewood-Sobolev 不等式，控制非局部项。
• 作者采用正则化与逼近方案，通过等度连续性与粘性解理论，证明解列在极限下一致收敛。
• 通过平衡非局部聚集项与局部扩散强度，推导出临界质量阈值，得到 M_c ∝ (inf a(x))^{d/2}。

实验结果

研究问题

• RQ1 空间异质的扩散系数 a(x) 如何影响 L¹-临界 Patlak-Keller-Segel 模型中爆破的临界质量阈值？
• RQ2 即使存在长程非局部相互作用，爆破是否仍可局限于 a(x) 最小的区域？
• RQ3 经典临界质量阈值在非均匀介质中是否仍然有效？若有效，它如何受 inf a(x) 的影响？
• RQ4 在非均匀设定下，即使小质量时存在全局解，爆破是否仍可在初始自由能任意大时发生？
• RQ5 标准 Virial 方法与尺度方法在非均匀、非尺度不变系统中失效的程度如何？如何对其进行适应？

主要发现

• 临界质量阈值为 M_c = (2 inf a(x) / ((m−1)C⋆c_d))^{d/2}，明确依赖于扩散系数 a(x) 的下确界。
• 初始质量 M(u) < M_c 的解全局存在，并在 L^∞((0,∞)×ℝ^d) 中保持一致有界。
• 爆破具有空间局域化：若发生爆破，则对任意时间序列 t_k，存在点列 x_k，使得质量在 x_k 的任意小球内集中，且满足 limsup 质量 ≥ (2a(x_k)/((m−1)C⋆c_d))^{d/2}。
• 论文证明了存在初始自由能量任意大但发生爆破的解，即使在临界区域中亦然。
• 爆破准则强于质量比较，确认临界质量仅依赖于 a(x) 的局部值，而非全局分布。
• 分析证实爆破确实严格局限于 a(x) 最小的区域，且阈值是精确的：全局存在性恰好在 M_c 以下成立。