[论文解读] An optimal result for global existence and boundedness in a three-dimensional Keller-Segel(-Navier)-Stokes system (involving a tensor-valued sensitivity with saturation)

Jiashan Zheng|arXiv (Cornell University)|Jun 19, 2018

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

一句话总结

该论文在饱和条件下，首次建立了具有张量值敏感性的三维Keller-Segel(-Navier)-Stokes系统的全局存在性与有界性最优结果，证明当敏感性衰减参数满足 $\alpha > \frac{1}{3}$ 时，解始终保持全局定义且一致有界。分析结合了最大Sobolev正则性与改进的能量泛函，以克服三维中指数的临界性。

ABSTRACT

The coupled quasilinear Keller-Segel-Navier-Stokes system $$ \left\{ \begin{array}{l} n_t+u\cdot abla n=Δn- abla\cdot(nS(x,n,c) abla c),\quad x\in Ω, t>0, c_t+u\cdot abla c=Δc-c+n,\quad x\in Ω, t>0, u_t+κ(u \cdot abla)u+ abla P=Δu+n abla ϕ,\quad x\in Ω, t>0, abla\cdot u=0,\quad x\in Ω, t>0 \end{array} ight.\eqno(KSNF) $$ is considered under Neumann boundary conditions for $n$ and $c$ and no-slip boundary conditions for $u$ in three-dimensional bounded domains $Ω\subseteq \mathbb{R}^3$ with smooth boundary, where $κ\in \mathbb{R}$ is given constant, $ϕ\in W^{1,\infty}(Ω),m>0$, $|S(x,n,c)|\leq C_S(1+n)^{-α}$ and the parameter $α\geq0$. %For any small $μ>0$, If $α>\frac{1}{3}$, then for all reasonably regular initial data, a corresponding initial-boundary value problem for $(KSNF)$ possesses a globally defined weak solution. This result improves the result of Wang (Math. Models Methods Appl. Sci., 27(14):2745--2780, 2017), where the global {\bf very weak} solution for system $(KSNF)$ is obtained. Moreover, if $κ=0$ and $S(x,n,c)=C_S(1+n)^{-α}$, then the system $(KSF)$ exists at least one global classical solution which is bounded in $Ω imes(0,\infty)$. These results significantly improve or extend previous results of several authors. In comparison to the result for the corresponding fluid-free system, the {\bf optimal condition} on the parameter $α$ for global (weak) existence and boundedness is obtained. Our proofs rely on Maximal Sobolev regularity techniques and on a variant of the natural gradient-like energy functional.

研究动机与目标

• 建立三维Keller-Segel(-Navier)-Stokes系统中张量值敏感性下敏感性衰减参数 $\alpha$ 的最优条件，以实现全局存在性与有界性。
• 将先前关于弱解的结果扩展至在更自然的参数范围内获得全局经典有界解。
• 在流体动力学与旋转通量存在的前提下，解决全局存在性与有界性的临界阈值问题。
• 提供一个精确条件 $\alpha > \frac{1}{3}$，该条件与无流体系统的临界指数一致，从而填补了该理论领域长期存在的空白。

提出的方法

• 利用最大Sobolev正则性技术控制Navier-Stokes部分，推导出速度场的更高可积性。
• 采用自然梯度类能量泛函的变体，以控制化学趋化与信号方程。
• 应用Gagliardo-Nirenberg不等式与Hölder不等式，推导出化学信号 $c$ 与细胞密度 $n$ 的 $L^p$ 估计。
• 通过Moser迭代与抛物正则性论证，将 $L^p$ 估计升级为 $n$、$c$ 与 $u$ 的 $L^\infty$ 估计。
• 实施对 $\|u\|_{W^{1,\infty}}$、$\|c\|_{W^{1,\infty}}$ 与 $\|A^\gamma u\|_{L^2}$ 的先验估计，以确保一致有界性。
• 依赖结构假设 $|S(x,n,c)| \leq C_S(1+n)^{-\alpha}$，其中 $\alpha > \frac{1}{3}$，以平衡趋化漂移与扩散作用。

实验结果

研究问题

• RQ1 在具有张量值敏感性的三维Keller-Segel-Navier-Stokes系统中，确保全局存在性与有界性的敏感性衰减参数 $\alpha$ 的最优阈值是什么？
• RQ2 在保证全局弱解存在的相同条件下，是否可以获得全局经典解，且解是否一致有界？
• RQ3 流体对流（$\kappa \neq 0$）与旋转通量的存在如何影响全局存在性的临界指数？
• RQ4 临界指数 $\alpha = \frac{1}{3}$ 是否与无流体系统的阈值一致，且在流体嵌入设定下是否为精确临界值？
• RQ5 在缺乏强先验估计的情况下，最大Sobolev正则性与基于能量的方法能否结合使用，以在三维中实现有界性？

主要发现

• 当 $\alpha > \frac{1}{3}$ 时，Keller-Segel(-Navier)-Stokes系统的初值边值问题存在全局定义的弱解，此条件在意义与无流体系统的临界指数一致，为最优条件。
• 当 $\kappa = 0$ 且 $S(x,n,c) = C_S(1+n)^{-\alpha}$ 时，系统至少存在一个全局经典解，且在 $\Omega \times (0,\infty)$ 上一致有界，条件为 $\alpha > \frac{1}{3}$。
• 通过将信号方程与 $c^{p-1}$ 作测试，并应用Gagliardo-Nirenberg与Hölder不等式，建立了 $c$ 的 $L^p$ 估计，从而得到对所有 $p > 2$ 的一致有界性。
• Moser迭代与抛物正则性论证导出 $n$、$c$ 与 $u$ 的 $L^\infty$ 估计，确保 $\|n\|_{L^\infty}$、$\|c\|_{W^{1,\infty}}$ 与 $\|u\|_{W^{1,\infty}}$ 在时间上一致有界。
• 推导出 $\|A^\gamma u\|_{L^2} \leq C$ 的估计，其中 $\gamma$ 依赖于 $\alpha$，证实了速度场所需的正则性。
• 本结果改进了Wang（2017）的工作，后者仅获得全局非常弱解；本研究在相同最优条件 $\alpha > \frac{1}{3}$ 下，建立了全局经典有界解。