[论文解读] A critical blow-up exponent for flux limitation in a Keller-Segel system

Michael Winkler|arXiv (Cornell University)|Oct 4, 2020

Mathematical Biology Tumor Growth参考文献 34被引用 9

一句话总结

本论文研究了由 Keller-Segel 型模型控制的通量受限趋化系统，其敏感性函数为非线性的 $ f(|\nabla v|^2) = (1 + |\nabla v|^2)^{-\alpha} $，在维度 $ n \geq 2 $ 下确定了临界爆破指数 $ \alpha_c = \frac{n-2}{2(n-1)} $。当初始数据为径向对称时，若 $ \alpha < \frac{n-2}{2(n-1)} $，则解在有限时间内爆破；而当 $ \alpha > \frac{n-2}{2(n-1)} $ 时，即使在非对称情形下，全局有界解也存在。

ABSTRACT

The parabolic-elliptic cross-diffusion system \[ \left\{ \begin{array}{l} u_t = Δu - abla \cdot \Big(uf(| abla v|^2) abla v \Big), \\[1mm] 0 = Δv - μ+ u, \qquad \int_Ωv=0, \qquad μ:=\frac{1}{|Ω|} \int_Ωu dx, \end{array} ight. \] is considered along with homogeneous Neumann-type boundary conditions in a smoothly bounded domain $Ω\subset R^n$, $n\ge 1$, where $f$ generalizes the prototype given by \[ f(ξ) = (1+ξ)^{-α}, \qquad ξ\ge 0, \qquad \mbox{for all } ξ\ge 0, \] with $α\in R$. In this framework, the main results assert that if $n\ge 2$, $Ω$ is a ball and \[ α\frac{n-2}{2(n-1)}$, then any explosion is ruled out in the sense that for arbitrary nonnegative and continuous initial data, a global bounded classical solution exists.

研究动机与目标

• 确定通量受限 Keller-Segel 系统中有限时间爆破的临界阈值 $ \alpha_c $，该系统具有梯度依赖的敏感性函数。
• 分析通过 $ f(\xi) = (1 + \xi)^{-\alpha} $ 实现的通量限制如何影响趋化模型中奇点的形成。
• 建立解保持全局有界或在有限时间内爆破的条件，取决于参数 $ \alpha $ 的取值。
• 通过开发一种定制的 $ L^\infty $ 估计方法，解决在缺乏能量结构的交叉扩散系统中检测爆破的长期挑战。

提出的方法

• 采用具有 Neumann 边界条件的抛物-椭圆交叉扩散系统，并引入通量限制的敏感性函数 $ f(|\nabla v|^2) = (1 + |\nabla v|^2)^{-\alpha} $。
• 利用 Neumann 热半群的光滑性质，通过积分表示估计解的 $ L^\infty $ 范数。
• 运用 Hölder 不等式和插值不等式，控制 $ L^r $-范数下的非线性通量项 $ u f(|\nabla v|^2) \nabla v $。
• 通过在时间区间内使用不动点论证，结合热核的衰减性和指数权重，建立 $ \|u(\cdot,t)\|_{L^\infty} $ 的先验估计。
• 结合椭圆方程的正则性理论与 $ L^1 $-数据，控制 $ v $ 及其梯度在 $ L^q $-空间中的行为。
• 利用径向对称性和比较论证，构造初始数据，使得当 $ \alpha < \frac{n-2}{2(n-1)} $ 时解在有限时间内爆破。

实验结果

研究问题

• RQ1 在通量受限的 Keller-Segel 系统中，分离全局存在性与有限时间爆破的临界 $ \alpha $ 值是什么？
• RQ2 梯度依赖的敏感性 $ f(|\nabla v|^2) = (1 + |\nabla v|^2)^{-\alpha} $ 如何影响解的稳定性？
• RQ3 当趋化通量在高信号梯度下受到限制时，爆破是否仍可能发生？若可能，其条件是什么？
• RQ4 是否存在一个精确的阈值 $ \alpha_c $，使得当 $ \alpha < \alpha_c $ 时发生爆破，而当 $ \alpha > \alpha_c $ 时爆破被排除？

主要发现

• 对于 $ n \geq 2 $，若 $ \alpha < \frac{n-2}{2(n-1)} $，则存在一组径向对称初始数据，使得解在 $ L^\infty $-范数下于有限时间内爆破。
• 当 $ \alpha > \frac{n-2}{2(n-1)} $ 时，对于所有非负连续初始数据，无论是否具有对称性，全局有界经典解均存在。
• 在一维情形（$ n=1 $）下，对于所有 $ \alpha \in \mathbb{R} $，全局有界解均存在，即使不作对称性假设。
• 临界指数 $ \alpha_c = \frac{n-2}{2(n-1)} $ 标识了爆破与全局存在之间的分界，当 $ \alpha < \alpha_c $ 时发生爆破，而当 $ \alpha > \alpha_c $ 时爆破被排除。
• 证明依赖于一种新颖的 $ L^\infty $-估计程序，该程序利用 Neumann 热半群的光滑性质，并对通量项进行精细的 $ L^r $-范数控制。
• 该结果在 $ \alpha_c $ 处建立了系统定性行为的精确转变，解决了通量受限趋化模型中的一个关键开放问题。