[论文解读] Existence, uniqueness and asymptotic behavior of the solutions to the fully parabolic Keller-Segel system in the plane

Lucilla Corrias, Miguel Escobedo+1 more|arXiv (Cornell University)|Mar 11, 2014

Mathematical Biology Tumor Growth参考文献 28被引用 54

一句话总结

本文在临界 Lebesgue 与齐次 Sobolev 初始数据条件下，建立了二维完全抛物型 Keller-Segel 系统积分解的全局存在性、唯一性及最优时间衰减估计。结果表明，当扩散系数 $\varepsilon > 0$ 足够大时，即使质量任意大，全局解依然存在，且长期行为在 $\alpha = 0$ 时收敛于自相似解，在 $\alpha > 0$ 时收敛于热核。本研究解决了具有抛物-抛物结构的趋化系统在渐近动力学中的关键问题。

ABSTRACT

In the present article we consider several issues concerning the doubly parabolic Keller-Segel system in the plane, when the initial data belong to critical scaling-invariant Lebesgue spaces. More specifically, we analyze the global existence of integral solutions, their optimal time decay, uniqueness and positivity, together with the uniqueness of self-similar solutions. In particular, we prove that there exist integral solutions of any mass, provided that $\\e>0$ is sufficiently large. With those results at hand, we are then able to study the large time behavior of global solutions and prove that in the absence of the degradation term the solutions behave like self-similar solutions, while in presence of the degradation term global solutions behave like the heat kernel.

研究动机与目标

• 在 $\mathbb{R}^2$ 中为 $L^1 \times \dot{H}^1$ 初始数据建立完全抛物型 Keller-Segel 系统积分解的全局存在性。
• 推导 $\|u(t)\|_p$、$\|\nabla u(t)\|_p$、$\|\nabla v(t)\|_r$ 与 $\|\Delta v(t)\|_r$ 的最优时间衰减速率。
• 分析全局解的长期行为，区分 $\alpha = 0$（自相似行为）与 $\alpha > 0$（热核行为）两种情形。
• 通过初始数据的连续依赖性与压缩映射方法，证明解的唯一性与正性。

提出的方法

• 通过涉及热核 $G(x,t) = \frac{1}{4\pi t} e^{-|x|^2/4t}$ 的积分方程形式化解。
• 利用积分形式 (1.5)–(1.6) 在 $L^1 \times \dot{H}^1$ 中定义全局积分解。
• 应用带高斯权 $K_\tau$ 的加权 $L^2$ 估计，以控制 $\|v(t)\|_{L^2(K_\tau)}$ 与 $\|\nabla v(t)\|_{L^2(K_\tau)}$。
• 通过将 $v$-方程乘以 $-\nabla \cdot (\varphi_n K_\tau \nabla v)$ 并利用逼近方法取极限，推导能量型不等式。
• 利用 Lebesgue 控制收敛定理，并通过 $L^2(K_\tau)$ 中光滑函数逼近，实现从正则化初始数据到一般初始数据的过渡。
• 通过 $\|v(s)\|_{L^2(K_\tau)}^2$ 与 $\|\nabla v(s)\|_{L^2(K_\tau)}^2$ 的微分不等式，建立一致衰减估计。

实验结果

研究问题

• RQ1 在何种 $\varepsilon$ 与初始数据条件下，完全抛物型 Keller-Segel 系统在 $\mathbb{R}^2$ 中存在全局积分解？
• RQ2 在抛物-抛物设定下，$u$、$\nabla u$、$\nabla v$ 与 $\Delta v$ 的最优时间衰减速率为何？
• RQ3 全局解的长期行为如何依赖于降解参数 $\alpha$？
• RQ4 对于积分解，是否可在不假设初始数据有界性的前提下，证明解的唯一性与正性？
• RQ5 参数 $\varepsilon > 0$ 在实现大质量 $M$ 下的全局存在性中起何作用？

主要发现

• 当 $\varepsilon > 0$ 足够大时，对所有初始数据 $(u_0, v_0) \in L^1(\mathbb{R}^2) \times \dot{H}^1(\mathbb{R}^2)$，包括任意大的质量 $M$，全局积分解均存在。
• 建立了最优时间衰减速率：$\|u(t)\|_p \lesssim t^{-1 + \frac{2}{p}}$，$\|\nabla u(t)\|_p \lesssim t^{-\frac{1}{2} - \frac{1}{p}}$，$\|\nabla v(t)\|_r \lesssim t^{-\frac{1}{2} - \frac{1}{r}}$，$\|\Delta v(t)\|_r \lesssim t^{-\frac{1}{2} - \frac{1}{r}}$，其中 $p \geq 1$，$r \geq 2$。
• 即使不假设 $u_0$ 有界，解 $u(t)$ 在时间上也是一致有界的。
• 当 $\alpha = 0$ 时，全局解渐近行为类似于自相似解，与临界质量 $8\pi$ 的阈值一致。
• 当 $\alpha > 0$ 时，全局解渐近行为类似于热核，表明具有扩散稳定化效应。
• 通过初始数据的连续依赖性与积分形式中的压缩映射方法，证明了解的唯一性与正性。