[论文解读] Global existence and asymptotic behavior of classical solutions to a parabolic-elliptic chemotaxis system with logistic source on $\mathbb{R}^{N}$

Rachidi B. Salako, Wenxian Shen|arXiv (Cornell University)|Aug 5, 2016

Mathematical Biology Tumor Growth参考文献 47被引用 5

一句话总结

该论文在 $ℝ^N$ 上建立了具有逻辑增长的抛物-椭圆趋化系统经典解的全局存在性与有界性，证明了当 $t \to \infty$ 时，对于严格正的初始数据，解一致收敛于 $a/b$；而对于紧支集初始数据，解呈现有限传播速度的扩散行为，其传播速度由下界 $c_{\text{low}}^*$ 与上界 $c_{\text{up}}^*$ 明确定义。

ABSTRACT

In the current paper, we consider the following parabolic-elliptic semilinear Keller-Segel model on $\mathbb{R}^{N}$, \begin{equation*} \begin{cases} u_{t}= abla\cdot ( abla u-χu abla v)+a u -b u^2, \quad x\in\mathbb{R}^N,\,\, t>0\cr 0=(Δ- I)v+ u, \quad x\in\mathbb{R}^N,\,\, t>0, \end{cases} \end{equation*} where $ χ>0, \ a\ge 0,\ b> 0$ are constant real numbers and $N$ is a positive integer. We first prove the local existence and uniqueness of classical solutions $(u(x,t;u_0),v(x,t;u_0))$ with $u(x,0;u_0)=u_0(x)$ for various initial functions $u_0(x)$. Next, under some conditions on the constants $a, b, χ$ and the dimension $N$, we prove the global existence and boundedness of classical solution $(u(x,t;u_0),v(x,t;u_0))$ for given initial functions $u_0(x)$. Finally, we investigate the asymptotic behavior of the global solutions with strictly positive initial functions or nonnegative compactly supported initial functions. Under some conditions on the constants $a, b, χ$ and the dimension $N$, we show that for every strictly positive initial function $u_0(\cdot)$, $$\lim_{t o\infty} \sup_{x\in\mathbb{R}^N} \big[|u(x,t;u_0)-\frac{a}{b}|+|v(x,t;u_0)-\frac{a}{b}|\big]=0,$$ and that for every nonnegative initial function $u_0(\cdot)$ with non-empty and compact support ${ m supp}(u_0)$, there are $0c_{ m up}^*(u_0).$$

研究动机与目标

• 在 $ℝ^N$ 上建立具有逻辑源项的抛物-椭圆趋化系统经典解的全局存在性与有界性。
• 分析在不同初始数据条件下解的渐近行为：严格正初始数据与紧支集初始数据。
• 确定具有紧支集初始数据的解的传播速度，识别出下界 $c_{\text{low}}^*$ 与上界 $c_{\text{up}}^*$。
• 解决在逻辑阻尼较弱时高维情形下全局存在性的开放问题。

提出的方法

• 通过在适当函数空间中的不动点论证与Schauder估计，证明经典解的局部存在性与唯一性。
• 在 $b > 2\chi$ 且 $N \geq 1$ 的条件下，利用能量估计与最大值原理技术，建立全局存在性与有界性。
• 运用比较原理与行波分析，推导紧支集初始数据的传播速度估计。
• 采用上下解方法，并构造辅助常微分方程，以界约束解在长时间极限下的行为。
• 应用KPP型方程理论与反应-扩散方程解的传播性质，刻画渐近传播前沿。
• 通过反证法与对缩放解的长时间极限分析，证明在移动坐标系中解一致收敛于平衡态 $a/b$。

实验结果

研究问题

• RQ1 在什么条件下，具有逻辑源项的抛物-椭圆趋化系统在 $\u211d^N$ 上存在全局经典解？参数 $a$、$b$、$\chi$ 与 $N$ 需满足何种关系？
• RQ2 当初始数据严格为正时，经典解的长时间渐近行为如何？
• RQ3 具有紧支集初始数据的解如何随时间演化？解前缘的传播速度为何？
• RQ4 传播速度能否由显式的下界 $c_{\text{low}}^*$ 与上界 $c_{\text{up}}^*$ 明确定义？
• RQ5 当 $b > 2\chi$ 时，解在移动坐标系中是否一致收敛于平衡态 $a/b$？

主要发现

• 对任意严格正的初始函数 $u_0$，有 $\lim_{t\to\infty}\sup_{x\in\u211d^N}\big{|}|u(x,t;u_0)-\frac{a}{b}|+|v(x,t;u_0)-\frac{a}{b}|\big{|}=0$，表明解一致收敛于平衡态 $a/b$。
• 对非负且紧支集的初始数据，存在 $0 < c_{\text{low}}^*(u_0) \leq c_{\text{up}}^*(u_0) < \infty$，使得对所有 $c < c_{\text{low}}^*$，有 $\lim_{t\to\infty}\sup_{|x|\leq ct}\big{|}|u(x,t;u_0)-\frac{a}{b}|+|v(x,t;u_0)-\frac{a}{b}|\big{|}=0$。
• 对所有 $c > c_{\text{up}}^*(u_0)$，有 $\lim_{t\to\infty}\sup_{|x|\geq ct}\big{(}u(x,t;u_0)+v(x,t;u_0)\big{)}=0$，表明在传播前沿之外解完全灭绝。
• 传播速度为有限且严格正，满足 $c_{\text{up}}^*(u_0) \geq c_{\text{low}}^*(u_0)$，且两者均依赖于初始数据 $u_0$。
• 收敛性证明依赖于通过缩放构造极限形态并使用反证法，表明任何非平凡极限必为常数 $a/b$，从而推出一致收敛。
• 该结果在条件 $b > 2\chi$ 下成立，该条件确保了足够的逻辑阻尼以防止解爆破并稳定系统。