[论文解读] Large global solutions of the parabolic-parabolic Keller-Segel system in higher dimensions

Piotr Biler, Alexandre Boritchev+1 more|arXiv (Cornell University)|Mar 17, 2022

Mathematical Biology Tumor Growth参考文献 24被引用 6

一句话总结

该论文在 $d \geq 2$ 维空间中，针对任意大的初始数据，证明了当趋化性扩散参数 $\tau$ 足够大时，抛物-抛物 Keller–Segel 系统解的全局存在性。通过使用伪测度范数和临界函数空间中的能量估计，证明了当 $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ 时解全局存在，其中 $\tau \gg 1$，该条件在对数因子范围内近乎最优。

ABSTRACT

We study the global existence of the parabolic-parabolic Keller-Segel system in $\\R^d , d \\ge 2$. We prove that initial data of arbitrary size give rise to global solutions provided the diffusion parameter $\ au$ is large enough in the equation for the chemoattractant. This fact was observed before in the two-dimensional case by Biler, Guerra \\& Karch (2015) and Corrias, Escobedo \\& Matos (2014). Our analysis improves earlier results and extends them to any dimension $d \\ge 3$. Our size conditions on the initial data for the global existence of solutions seem to be optimal, up to a logarithmic factor in $\ au$, when $\ au>>1$: we illustrate this fact by introducing two toy models, both consisting of systems of two parabolic equations, obtained after a slight modification of the nonlinearity of the usual Keller-Segel system. For these toy models, we establish in a companion paper [4] finite time blowup for a class of large solutions.

研究动机与目标

• 在 $\mathbb{R}^d$ 中，当 $d \geq 2$ 且初始数据较大时，建立抛物-抛物 Keller–Segel 系统解的全局时间存在性。
• 将先前在二维情况下的结果推广至更高维 $d \geq 3$。
• 改进现有全局存在性条件下对初始数据的大小限制，特别是在 $\tau \gg 1$ 的情形下，其中 $\tau$ 是趋化性物质的扩散参数。
• 通过构造展示有限时间爆破的简化模型，证明所推导的大小条件近乎最优。
• 在临界函数空间中进行精细化分析，包括伪测度和齐次 Besov 范数，以刻画全局存在的临界阈值。

提出的方法

• 作者在临界函数空间框架下，特别是 $\mathcal{E}_p$ 和 $\dot{B}_{d,\infty}^{-1}$ 中，采用温和解的表述方法，分析非线性漂移-扩散系统。
• 利用常数变易公式，将解分解为线性部分和包含双线性算子 $B(u,u)$ 的非线性积分项。
• 关键估计通过高斯核界和 $L^p$ 型不等式导出，特别利用了 $\nabla e^{t\Delta}$ 的衰减性质，以及对 $u \in \mathcal{E}_p$ 有 $\|u(\sigma) \mathbb{L} u(\sigma)\|_{d/2} \lesssim \sigma^{-1/2}$ 的性质。
• 分析依赖于伪测度范数 $\|\cdot\|_{\mathcal{P}\!\mathcal{M}^{d-2}}$ 和齐次 Besov 范数 $\|\cdot\|_{\dot{B}_{d,\infty}^{-1}}$ 来量化初始数据的大小。
• 在 $L^{d/2}$ 和 $M^{d/2}$ 空间中建立了先验界，确保解在时间上保持有界且连续。
• 解的连续性及在 $\mathscr{D}'$ 中初始数据收敛性的证明，依赖于控制收敛定理和对非线性项 $B(u,u)$ 的衰减估计。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^d$ 中，当 $d \geq 2$ 时，初始数据 $u_0$ 和 $\varphi_0$ 满足何种大小条件，抛物-抛物 Keller–Segel 系统能存在全局时间解？
• RQ2 全局存在性的初始数据阈值如何依赖于趋化性物质的扩散参数 $\tau$？
• RQ3 能否在 $\tau \gg 1$ 的情形下，将全局存在性的大小条件改进至超过先前结果？
• RQ4 所推导的大小条件是否近乎最优？能否通过反例或简化模型加以验证？
• RQ5 临界函数空间（如伪测度和齐次 Besov 空间）在刻画全局存在临界阈值方面起何种作用？

主要发现

• 当 $\tau \gg 1$ 时，论文在大小条件 $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ 下建立了全局解的存在性，该条件允许在临界伪测度范数下初始数据任意大。
• 与早期在 $d=2$ 的结果相比，该大小条件的改进幅度优于 $\sqrt{\tau}$，显著扩大了可接受初始数据的范围。
• 在 $\tau \gg 1$ 的情形下，该大小条件在对数因子范围内近乎最优，这通过在附录论文中构造的简化模型得到验证，这些模型在类似条件下表现出有限时间爆破。
• 证明了解 $u$ 属于 $BC((0,\infty), M^{d/2})$，且满足 $u(t) \to u_0$ 在 $\mathscr{D}'$ 中当 $t \searrow 0$，确保了初始数据的正确恢复。
• 对于属于 $M^{d/2} \cap \dot{B}_{d,\infty}^{-1}$ 的初始数据，解满足估计 $\|u\|_{\mathcal{E}_d} \lesssim \|u_0\|_{\dot{B}_{d,\infty}^{-1}} \lesssim \tau^{d/(2q)}$，其中任意 $q \in (d, \infty)$，且在 $\mathcal{E}_d$ 中存在唯一性类，对应于 $\|\cdot\|_d$-范数较小的解。
• 分析确认，在所推导条件下，问题的临界标度得以保持，且该方法在所有维度 $d \geq 2$（包括 $d \geq 3$）中统一适用。