[论文解读] An optimal result for global existence and boundedness in a three-dimensional Keller-Segel-Stokes system with nonlinear diffusion

Jiashan Zheng|arXiv (Cornell University)|Jul 1, 2018

Mathematical Biology Tumor Growth参考文献 46被引用 4

一句话总结

该论文首次建立了具有非线性扩散的三维Keller-Segel-Stokes系统全局存在性与有界性的最优结果，证明当 $ m > \frac{4}{3} $ 时解全局有界，该阈值与无流体情况下的临界阈值一致。分析结合了能量估计、熵型不等式与紧致性论证，克服了三维中趋化-流体耦合与非线性扩散带来的挑战。

ABSTRACT

This paper investigates the following quasilinear Keller-Segel-Navier-Stokes system $$\left\{ \begin{array}{l} n_t+u\cdot abla n=Δn^m- abla\cdot(n abla c),\quad x\in Ω, t>0, \\ c_t+u\cdot abla c=Δc-c+n,\quad x\in Ω, t>0,\\ u_t+ abla P=Δu+n abla ϕ,\quad x\in Ω, t>0,\\ abla\cdot u=0, \quad x\in Ω, t>0 \end{array} ight.$$ under homogeneous boundary conditions of Neumann type for $n$ and $c$, and of Dirichlet type for $u$ in a three-dimensional bounded domains $Ω\subseteq \mathbb{R}^3$ with smooth boundary, where $ϕ\in W^{1,\infty}(Ω),m>0$. It is proved that if $m>\frac{4}{3}$, then for any sufficiently regular nonnegative initial data there exists at least one global boundedness solution for system $(KSF)$, which in view of the known results for the fluid-free system mentioned below (see Introduction) is an optimal restriction on $m$.

研究动机与目标

• 建立具有非线性扩散的三维Keller-Segel-Stokes系统解的全局存在性与有界性。
• 确定确保全局有界的扩散指数 $ m $ 的精确阈值，该阈值与无流体情况下的临界指数一致。
• 解决三维中趋化-流体相互作用的挑战，其中非线性扩散与流体动力学非平凡地耦合。
• 将低维及无流体情形下已知的有界性结果推广至完整的三维系统，包含非线性扩散。
• 证明 $ m > \frac{4}{3} $ 是最优的，即当 $ m \leq \frac{4}{3} $ 时解可能爆破，从而确认该条件的精确性。

提出的方法

• 分析具有非线性扩散 $ \Delta n^m $、趋化项 $ -\nabla \cdot (n\nabla c) $ 以及通过Stokes方程描述流体动力学的Keller-Segel-Stokes系统。
• 采用正则化逼近方案处理非线性扩散项 $ n^m $ 中的奇异性，引入参数 $ \varepsilon \in (0,1) $。
• 通过能量型不等式与类似熵的泛函估计，推导出关于 $ n $、$ c $ 与 $ u $ 的统一先验估计。
• 应用Aubin-Lions引理，提取 $ n_\varepsilon $ 在 $ L^p $ 中的强收敛性与在 $ L^\infty $ 中的弱-* 收敛性，确保极限函数存在。
• 利用紧致性与正则性论证，在近似系统中取极限，证明全局弱解的存在性。
• 建立 $ n $、$ c $、$ \nabla c $、$ u $ 与 $ Du $ 在 $ C^0_{\text{loc}} $ 与 $ L^\infty $ 中的等度连续性与收敛性，确保极限满足弱形式。

实验结果

研究问题

• RQ1 在具有非线性扩散的三维Keller-Segel-Stokes系统中，确保解全局存在性与有界性的扩散指数 $ m $ 的精确阈值是什么？
• RQ2 当 $ m \leq \frac{4}{3} $ 时，是否仍能实现全局有界性，还是系统在此参数范围内会出现有限时间爆破？
• RQ3 与Stokes流体系统的耦合如何影响有界性的临界指数，相较于无流体的Keller-Segel模型？
• RQ4 条件 $ m > \frac{4}{3} $ 是否最优，即其是否与无流体情况下已知的临界指数 $ 2 - \frac{2}{N} $（当 $ N=3 $ 时为 $ \frac{4}{3} $）一致？
• RQ5 在三维中，能否有效应用统一有界性与紧致性论证，以在正则化逼近方案中取极限？

主要发现

• 对于任意 $ m > \frac{4}{3} $，该系统在三维中至少存在一个全局有界弱解。
• 条件 $ m > \frac{4}{3} $ 是最优的，因为它与无流体Keller-Segel模型中的临界指数 $ 2 - \frac{2}{3} = \frac{4}{3} $ 一致。
• 通过能量估计与熵估计，建立了关于 $ n $、$ c $、$ \nabla c $、$ u $ 与 $ Du $ 的统一有界性，且该有界性与正则化参数 $ \varepsilon $ 无关。
• 利用Aubin-Lions引理，证明了 $ n_\varepsilon $ 几乎处处在 $ \Omega \times (0,\infty) $ 中强收敛，且在 $ L^\infty $ 中弱-* 收敛。
• 极限函数 $ n $、$ c $ 与 $ u $ 满足系统在 $ \Omega \times (0,\infty) $ 中的弱形式，且 $ n \in C^{0}_{\omega-*}([0,\infty); L^\infty(\Omega)) $。
• 该结果填补了文献中的空白，表明临界指数 $ m = \frac{4}{3} $ 是精确的，不存在更优的全局有界性阈值。