[论文解读] Global bounded solutions of the higher-dimensional Keller-Segel system under smallness conditions in optimal spaces

Xinru Cao|arXiv (Cornell University)|May 26, 2014

Mathematical Biology Tumor Growth参考文献 14被引用 15

一句话总结

本文在临界勒贝格空间中建立了最优小性条件下高维完全抛物型Keller-Segel系统的经典解的全局存在性与有界性：具体而言，当初始细胞质量 $\|u_0\|_{L^{n/2}(\Omega)}$ 与初始化学梯度 $\|\nabla v_0\|_{L^n(\Omega)}$ 足够小时成立。分析进一步推广至二维中具有旋转敏感性的广义趋化系统，证明在总细胞质量与初始化学梯度小性条件下全局有界性成立。

ABSTRACT

In this paper, the fully parabolic Keller-Segel system \begin{equation} \left\{ \begin{array}{llc} u_t=Δu- abla\cdot(u abla v), &(x,t)\in Ω imes (0,T),\\ v_t=Δv-v+u, &(x,t)\inΩ imes (0,T),\\ \end{array} ight. \qquad \qquad (\star) \end{equation} is considered under Neumann boundary conditions in a bounded domain $Ω\subset\mathbb{R}^n$ with smooth boundary, where $n\ge 2$. We derive a smallness condition on the initial data in optimal Lebesgue spaces which ensure global boundedness and large time convergence. More precisely, we shall show that one can find $\varepsilon_0>0$ such that for all suitably regular initial data $(u_0,v_0)$ satisfying $\|u_0\|_{L^{\frac{n}{2}}(Ω)}

研究动机与目标

• 在临界勒贝格空间中建立 $n \geq 2$ 维完全抛物型Keller-Segel系统经典解的全局存在性与有界性。
• 通过证明在临界情形 $q = \frac{n}{2}$, $p = n$ 下的全局有界性，填补文献空白，此前仅知 $q > \frac{n}{2}$, $p > n$ 时成立。
• 将分析扩展至二维中具有矩阵值敏感性 $S(u,v,x)$ 的广义趋化模型，以刻画细胞旋转运动。
• 证明初始总细胞质量 $\|u_0\|_{L^1(\Omega)}$ 与初始化学梯度 $\|\nabla v_0\|_{L^n(\Omega)}$ 的小性可确保全局有界性，即使系统缺乏能量结构。

提出的方法

• 推导出 $\|u_0\|_{L^{n/2}(\Omega)}$ 与 $\|\nabla v_0\|_{L^n(\Omega)}$ 的小性条件，其阈值为 $\varepsilon_0 > 0$，以确保全局存在性与有界性。
• 采用依赖于 $\eta$ 的正则化逼近系统，使用 $\eta$-依赖的光滑化算子 $S_\eta$ 与 $u_\eta$, $v_\eta$，并证明在 $L^\infty((0,\infty)\times\Omega)$ 与 $L^2_{\text{loc}}((0,\infty);W^{1,2}(\Omega))$ 中的一致有界性。
• 应用Aubin-Lions引理，从 $u_\eta$ 与 $v_\eta$ 在 $L^2_{\text{loc}}((0,\infty);L^2(\Omega))$ 中提取强紧性，从而实现 $\eta \to 0$ 时的极限过程。
• 利用能量估计与时间导数 $\partial_t u_\eta$ 与 $\partial_t v_\eta$ 在对偶空间中的 $L^2$-型有界性，控制正则性并确保收敛性。
• 通过测试函数 $\phi \in C_0^\infty(\bar{\Omega} \times [0,\infty))$ 证明弱形式收敛，随后应用抛物正则性理论将其提升为经典解。
• 在旋转敏感性情形下，通过依赖于 $\|u_0\|_{L^1(\Omega)}$ 与 $\|\nabla v_0\|_{L^2(\Omega)}$ 的小性，而非能量不等式，扩展该方法。

实验结果

研究问题

• RQ1 在临界勒贝格空间 $L^{n/2}$ 与 $L^n$ 中，初始数据的小性条件是否足以保证高维完全抛物型Keller-Segel系统全局有界解的存在？
• RQ2 在旋转敏感性模型中，若缺乏自然能量结构，是否仍能保证全局有界性？初始质量与梯度的小性是否足以确保？
• RQ3 对于初始数据属于 $L^q$ 与 $L^p$ 空间的情形，临界情况 $q = \frac{n}{2}$, $p = n$ 是否足以保证全局有界性，即使缺乏更高可积性？
• RQ4 在缺乏能量结构的系统中，$\|u_0\|_{L^1(\Omega)}$ 与 $\|\nabla v_0\|_{L^n(\Omega)}$ 的小性条件是否可替代能量估计的需求？
• RQ5 正则化系统中涌现出哪些紧致性与收敛性性质，使得极限过程可导出经典解？

主要发现

• 存在 $\varepsilon_0 > 0$，使得若 $\|u_0\|_{L^{n/2}(\Omega)} < \varepsilon_0$ 且 $\|\nabla v_0\|_{L^n(\Omega)} < \varepsilon_0$，则Keller-Segel系统的解全局存在且有界。
• 全局解在 $t \to \infty$ 时收敛于常数稳态解 $(m, m)$，其中 $m = \frac{1}{|\Omega|}\int_\Omega u_0$。
• 该方法适用于具有旋转敏感性的二维情形，证明在 $\|u_0\|_{L^1(\Omega)}$ 与 $\|\nabla v_0\|_{L^2(\Omega)}$ 小性条件下，全局存在性与有界性成立，即使系统缺乏能量结构。
• 正则化系统 $(u_\eta, v_\eta)$ 在 $L^\infty((0,\infty)\times\Omega)$ 与 $L^2_{\text{loc}}((0,\infty);W^{1,2}(\Omega))$ 中满足一致有界性，借助Aubin-Lions引理实现强紧性。
• 正则化解的极限 $(u,v)$ 是原系统的经典解，通过在弱形式中取极限并应用抛物正则性理论获得。
• 时间导数估计 $\|\partial_t u_\eta\|_{(W^{1,2})^*}^2$ 与 $\|\partial_t v_\eta\|_{(W^{1,2})^*}^2$ 一致有界，确保在所需拓扑中收敛。