[论文解读] Boundedness in a quasilinear fully parabolic Keller-Segel system of higher dimension with logistic source

Cibing Yang, Xinru Cao+2 more|arXiv (Cornell University)|Mar 9, 2015

Mathematical Biology Tumor Growth参考文献 25被引用 3

一句话总结

该论文在高维（$n \geq 2$）情形下建立了带逻辑源项的拟线性完全抛物型Keller-Segel系统经典解的全局存在性与有界性。通过结合加权$L^\gamma$估计、能量方法与Moser迭代，证明了当$\chi/\mu < \theta_0$时，解在所有时间保持一致有界，其中$\theta_0 > 0$为依赖于系统参数的阈值，展示了逻辑阻尼在抑制趋化性爆破中的临界稳定作用。

ABSTRACT

This paper deals with the higher dimension quasilinear parabolic-parabolic Keller-Segel system involving a source term of logistic type $ u_t= abla\cdot(ϕ(u) abla u)-χ abla\cdot(u abla v)+g(u)$, $τv_t=Δv-v+u$ in $Ω imes (0,T)$, subject to nonnegative initial data and homogeneous Neumann boundary condition, where $Ω$ is smooth and bounded domain in $\mathbb{R}^n$, $n\ge 2$, $ϕ$ and $g$ are smooth and positive functions satisfying $ks^p\leϕ$ when $s\ge s_0&gt;1$, $g(s) \le as - μs^2$ for $s&gt;0$ with $g(0)\ge0$ and constants $a\ge 0$, $τ,χ,μ&gt;0$. It was known that the model without the logistic source admits both bounded and unbounded solutions, identified via the critical exponent $\frac{2}{n}$. On the other hand, the model is just a critical case with the balance of logistic damping and aggregation effects, for which the property of solutions should be determined by the coefficients involved. In the present paper it is proved that there is $θ_0&gt;0$ such that the problem admits global bounded classical solutions, regardless of the size of initial data and diffusion whenever $\fracχμ

研究动机与目标

• 研究在维度$n \geq 2$下，带逻辑源项的拟线性抛物-抛物Keller-Segel系统解的长期行为。
• 确定在何种条件下，逻辑源项可防止因强烈趋化性聚集而导致的有限时间爆破。
• 建立经典解的全局存在性与一致有界性，且不依赖于初始数据的大小。
• 识别出确保有界性的临界阈值$\chi/\mu < \theta_0$，凸显逻辑阻尼的稳定效应。
• 拓展先前关于聚集与逻辑阻尼达到平衡的临界情况结果，特别是当趋化敏感性中$q=1$时的情形。

提出的方法

• 通过将第一个方程与$u^{\gamma-1}$相乘并代入第二个方程的变分-常数公式与能量估计，推导出$u$的先验$L^\gamma$估计。
• 对涉及$\int_\Omega u^\gamma$的微分不等式应用变分-常数公式，整合来自逻辑源项（$-\mu u^{\gamma+1}$）与趋化通量（$\chi \nabla v$）的项。
• 利用$v$的$W^{2,\gamma+1}$正则性与插值技术，通过$\int_\Omega u^{\gamma+1}$控制$\int_\Omega |\Delta v|^{\gamma+1}$，并借助抛物型平滑效应。
• 采用Moser迭代，将$u$的$L^\gamma$有界性提升为$L^\infty$有界性，其中$\gamma \geq \gamma_0(n,p)$，确保一致点态有界性。
• 在$u$有界后，利用标准抛物型正则性理论，建立$v$的有界性。
• 通过反证法结合引理2.1，得出全局存在性结论，条件为$\chi/\mu < \theta_0$，其中$\theta_0 = \left( \inf_{\eta > 0} \left( \eta + c_2 C_{\gamma_0+1} \eta^{-\gamma_0} \chi^{\gamma_0+1} \right) \right)^{-1}$。

实验结果

研究问题

• RQ1 在高维拟线性Keller-Segel系统中，逻辑源项在何种条件下可防止爆破？该系统具有完全抛物型动力学。
• RQ2 趋化性聚集（$\chi$）与逻辑阻尼（$\mu$）之间的平衡如何影响解的有界性？
• RQ3 当存在逻辑源项时，即使初始数据较大，全局经典解是否仍能存在？
• RQ4 临界阈值$\chi/\mu < \theta_0$是什么？它如何从系统的非线性结构中推导而出？
• RQ5 当存在非线性扩散（$\phi(u) \sim u^p$）与逻辑增长（$g(u) \leq a u - \mu u^2$）时，是否能在临界情况$q=1$下稳定解？

主要发现

• 存在一个阈值$\theta_0 > 0$，使得当$\chi/\mu < \theta_0$时，系统的所有经典解在所有时间均保持全局有界，且不依赖于初始数据的大小。
• 该有界性结果适用于所有$n \geq 2$，将先前结果推广至包含非线性扩散与逻辑增长的完全抛物型情形。
• 证明建立了$u$在$\gamma \geq \gamma_0(n,p)$下的$L^\gamma$有界性，随后通过Moser迭代将其提升为$L^\infty$有界性。
• 逻辑源项的关键作用被量化：当$\chi/\mu < \theta_0$时，阻尼效应超过聚集效应，即使缺乏强扩散，也能防止爆破。
• 阈值$\theta_0$被显式定义为$\theta_0 = \left( \inf_{\eta > 0} \left( \eta + c_2 C_{\gamma_0+1} \eta^{-\gamma_0} \chi^{\gamma_0+1} \right) \right)^{-1}$，表明其依赖于$\chi$、$n$、$p$与系统常数。
• 在$u$有界后，$v$的有界性可由标准抛物型正则性理论推出，从而完成$(u,v)$全局存在性与一致有界性的证明。