[论文解读] Delayed Blow-Up for Chemotaxis Models with Local Sensing

Martin Burger, Philippe Laurençot+1 more|arXiv (Cornell University)|May 6, 2020

Mathematical Biology Tumor Growth参考文献 33被引用 7

一句话总结

本文研究了一类采用局部感应而非梯度感应的趋化模型，表明尽管该模型与经典的Keller-Segel模型具有相同的熵函数和临界质量阈值，但其对任意初始质量均可将爆破延迟至无限时间。关键机制在于一种对偶估计，该估计限制了解在 $(H^1)'$-范数上的增长，从而防止有限时间爆破，并确保在任意维度下弱解的全局存在性。

ABSTRACT

The aim of this paper is to analyze a model for chemotaxis based on a local sensing mechanism instead of the gradient sensing mechanism used in the celebrated minimal Keller-Segel model. The model we study has the same entropy as the minimal Keller-Segel model, but a different dynamics to minimize this entropy. Consequently, the conditions on the mass for the existence of stationary solutions or blow-up are the same, however we make the interesting observation that with the local sensing mechanism the blow-up in the case of supercritical mass is delayed to infinite time. Our observation is made rigorous from a mathematical point via a proof of global existence of weak solutions for arbitrary large masses and space dimension. The key difference of our model to the minimal Keller-Segel model is that the structure of the equation allows for a duality estimate that implies a bound on the $(H^1)'$-norm of the solutions, which can only grow with a square-root law in time. This additional $(H^1)'$-bound implies a lower bound on the entropy, which contrasts markedly with the minimal Keller-Segel model for which it is unbounded from below in the supercritical case. Besides, regularity and uniqueness of solutions are also studied.

研究动机与目标

• 研究具有局部感应的趋化模型是否像经典Keller-Segel模型一样在有限时间内发生爆破。
• 从解爆破和熵行为的角度，比较局部感应与梯度感应的动力学特性。
• 为任意初始质量和空间维度建立弱解的全局存在性。
• 阐明对偶估计在即使质量超过临界值时仍能防止爆破中的作用。
• 阐明导致局部感应下爆破延迟的PDE系统在结构上的差异。

提出的方法

• 通过方程 $\partial_t u = \Delta(\gamma(v)u)$ 构建一个具有局部感应的趋化系统，其中 $\gamma(v) = e^{-v}$，用于建模细胞运动对局部化学引诱物浓度的依赖性。
• 引入一个耦合系统，包含化学引诱物动力学 $\partial_t v = \epsilon \Delta v - \beta v + u$，以确保质量守恒和能量耗散。
• 采用对偶估计来限制 $u$ 的 $(H^1)'$-范数，表明其至多以 $\sqrt{t}$ 的速度增长，从而防止爆破。
• 利用Gronwall不等式和热半群的正则性估计，控制 $\|u\|_p$ 和 $\|\nabla v\|_p$ 在 $L^p$ 空间中的行为。
• 应用 $L^p$-估计和插值方法，证明 $u$ 和 $v$ 的有界性，从而在更高可积性条件下建立唯一性和正则性。
• 分析形式上的梯度流结构 $\partial_t u = \Delta e^{\partial_u \mathcal{E}(u)}$，将其与熵耗散和对偶估计联系起来。

实验结果

研究问题

• RQ1 在趋化模型中，即使初始质量极大，局部感应机制是否能防止有限时间爆破？
• RQ2 对解的 $(H^1)'$-范数所施加的对偶估计如何影响其长期行为并防止爆破？
• RQ3 熵泛函 $\mathcal{E}(u,v)$ 在比较局部感应与梯度感应模型中的作用是什么？
• RQ4 能否在任意初始数据和空间维度下，为局部感应模型建立弱解的全局存在性？
• RQ5 在解的正则性和唯一性方面，局部感应模型的动力学与经典Keller-Segel模型相比如何？

主要发现

• 该模型对任意初始质量和任意空间维度 $d \geq 1$ 均表现出弱解的全局存在性，这与经典Keller-Segel模型在超临界质量下发生有限时间爆破形成鲜明对比。
• 解的 $(H^1)'$-范数至多以 $\sqrt{t}$ 的速度增长，这为熵提供了下界，防止其无界衰减。
• 尽管与最小Keller-Segel模型共享相同的熵泛函，但该局部感应模型将爆破延迟至无穷时间，即使初始质量极大亦然。
• 在初始数据可积性略强的条件下，可建立解的唯一性和更高正则性，且正则性结果依赖于空间维度。
• 对偶估计对于全局存在性结果至关重要，因为它提供了在梯度感应情形下所缺失的解控制。
• 该系统的结构允许形式上的梯度流解释 $\partial_t u = \Delta e^{\partial_u \mathcal{E}(u)}$，这支持了对偶估计和熵耗散的存在性。