[论文解读] Existence and stability of infinite time blow-up in the Keller-Segel system

Juan Dávila, Manuel del Pino+3 more|arXiv (Cornell University)|Nov 27, 2019

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

一句话总结

本文在临界质量 $8\pi$ 下建立了二维 Keller-Segel 化学趋化系统中无限时间爆破解的存在性与非径向稳定性。通过一种新颖的内-外拼接方案，作者构造了一个质量为 $8\pi$、二阶矩有限的径向初值 $u_0^*$，证明了附近初值产生的解会以自相似形式在无限时间内爆破，即 $u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$，其中 $\lambda(t) \sim \frac{c}{\sqrt{\log t}}$ 且 $\xi(t) \to q \in \mathbb{R}^2$，从而证实了关于非径向稳定性的长期猜想。

ABSTRACT

Perhaps the most classical diffusion model for chemotaxis is the Keller-Segel system \begin{equation} ag{$\ast$} \label{ks0} \left\{ \begin{aligned} u_t =&\; Δu - abla \cdot(u abla v) \quad in {\mathbb R}^2 imes(0,\infty),\\ v =&\; (-Δ_{\R^2})^{-1} u := \frac 1{2π} \int_{R^2} \, \log \frac 1{|x-z|}\,u(z,t)\, dz, \\ & \qquad\ u(\cdot ,0) = u_0 \geq 0\quad\hbox{in } R^2. \end{aligned} ight. \end{equation} We consider the {\em critical mass case} $\int_{R^2} u_0(x)\, dx = 8π$ which corresponds to the exact threshold between finite-time blow-up and self-similar diffusion towards zero. We find a radial function $u_0^*$ with mass $8π$ such that for any initial condition $u_0$ sufficiently close to $u_0^*$ the solution $u(x,t)$ of \equ{ks0} is globally defined and blows-up in infinite time. As $t o+\infty $ it has the approximate profile $$ u(x,t) \approx \frac 1{λ^2} \ch{U}\left (\frac {x-ξ(t)}{λ(t)} ight ), \quad \ch{U}(y)= \frac{8}{(1+|y|^2)^2}, $$ where $λ(t) \approx \frac c{\sqrt{\log t}}, \ ξ(t) o q $ for some $c>0$ and $q\in \R^2$. This result answers affirmatively the nonradial stability conjecture raised in \cite{g}.

研究动机与目标

• 解决临界质量 Keller-Segel 系统中无限时间爆破的非径向稳定性猜想。
• 构造一个全局定义的解，使其在无限时间内以精确的渐近形式爆破。
• 建立一个质量为 $8\pi$ 且二阶矩有限的径向初值 $u_0^*$ 的存在性，使得其附近扰动均导致无限时间爆破。
• 证明爆破速率满足 $\lambda(t) \sim c / \sqrt{\log t}$，且中心 $\xi(t)$ 收敛于 $\mathbb{R}^2$ 中的有限点 $q$。
• 发展一种稳健的分析框架，用于处理超越径向设定的无限时间爆破问题。

提出的方法

• 采用内-外拼接方案，将爆破点附近的动力学（内问题）与整体行为（外问题）解耦。
• 定义内变量 $y = (x - \xi(t))/\lambda(t)$，以分析爆破点附近解的泡状结构。
• 使用加权 $C^1$-范数 $\|\phi\|_{*\sigma}$ 衡量初值 $u_0^*$ 附近的扰动，确保充分的正则性与衰减性。
• 通过障碍函数 $\psi_1$、$\psi_2$ 和 $\tilde{\psi}$ 构造上界解，以控制外区与内区的误差项。
• 推导并求解中心 $\xi(t)$ 的非局部 ODE 系统，该系统控制爆破泡的运动。
• 应用谱估计与能量方法，控制外区的线性化算子 $L_o$，确保在非径向扰动下保持稳定性。

实验结果

研究问题

• RQ1 在临界质量径向解附近，即使存在非径向扰动，二维 Keller-Segel 系统中是否可能发生无限时间爆破？
• RQ2 在无限时间 regime 中，尺度参数 $\lambda(t)$ 的精确渐近爆破速率是什么？
• RQ3 当 $t \to \infty$ 时，爆破轮廓的中心 $\xi(t)$ 是否收敛于 $\mathbb{R}^2$ 中的有限点？
• RQ4 爆破轮廓的稳定性是否可在非径向类中建立，而不仅限于径向设定？
• RQ5 二阶矩在临界质量 $8\pi$ 下决定爆破行为中起什么作用？

主要发现

• 存在一个质量为 $8\pi$ 且二阶矩有限的径向初值 $u_0^*$，使得所有在 $C^1$-加权范数下足够接近的扰动均产生全局解，并在无限时间内爆破。
• 爆破轮廓满足 $u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$，在有界集上一致成立，其中 $U(y) = \frac{8}{(1 + |y|^2)^2}$。
• 尺度参数满足 $\lambda(t) = \frac{c}{\sqrt{\log t}} (1 + o(1))$，当 $t \to \infty$ 时，确认了早期工作中预测的形式速率。
• 中心 $\xi(t)$ 在 $t \to \infty$ 时收敛于有限极限 $q \in \mathbb{R}^2$，表明爆破具有稳定的空间局域化。
• 该解在非径向扰动下保持稳定，证实了文献 [26] 提出的非径向稳定性猜想。
• 该构造依赖于一种新型的内-外拼接方案，成功处理了缓慢的爆破速率与非局部动力学。