[论文解读] Global Existence and Asymptotic Behavior of Solutions to a Chemotaxis-Fluid System on General Bounded Domain

Jie Jiang, Hao Wu+1 more|arXiv (Cornell University)|Sep 1, 2014

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

一句话总结

该论文在二维和三维的一般有界区域上建立了化学趋化-流体系统的全局存在性及渐近收敛至平衡态的结果，扩展了以往仅适用于凸区域的研究。通过引入基于Mizoguchi与Souplet所著引理的新型熵-能量估计，作者证明了在二维情形下存在唯一全局经典解，在三维情形下存在全局弱解，且解在时间趋于无穷时收敛至常数稳态。

ABSTRACT

In this paper, we investigate an initial-boundary value problem for a chemotaxis-fluid system in a general bounded regular domain $Ω\subset \mathbb{R}^N$ ($N\in\{2,3\}$), not necessarily being convex. Thanks to the elementary lemma given by Mizoguchi & Souplet [10], we can derive a new type of entropy-energy estimate, which enables us to prove the following: (1) for $N=2$, there exists a unique global classical solution to the full chemotaxis-Navier-Stokes system, which converges to a constant steady state $(n_\infty, 0,0)$ as $t o+\infty$, and (2) for $N=3$, the existence of a global weak solution to the simplified chemotaxis-Stokes system. Our results generalize the recent work due to Winkler [15,16], in which the domain $Ω$ is essentially assumed to be convex.

研究动机与目标

• 将化学趋化-流体系统在凸区域上的全局存在性与渐近行为结果，推广至一般有界光滑区域。
• 在不依赖区域凸性的前提下，建立二维情形下的全局经典解与三维情形下的全局弱解的存在性。
• 证明在二维情形下，解在时间趋于无穷时收敛至常数稳态。
• 推导一种对一般区域几何结构具有鲁棒性的新型熵-能量估计。

提出的方法

• 利用Mizoguchi与Souplet（2012）所提出的初等引理，推导出一种新型熵-能量不等式，从而在不依赖凸性假设的前提下控制非线性项。
• 应用Schauder不动点定理，证明在一般有界区域上初始-边界值问题的经典解具有局部适定性。
• 利用涉及 $ \int_\Omega \frac{|\nabla n|^2}{n} dx $、$ \|\nabla u\|^2 $ 和 $ \|\psi(c)\|^2 $ 的先验估计，控制解的增长。
• 采用Sobolev嵌入与Poincaré型不等式，控制高阶范数并确保解的正则性。
• 借鉴并改进Winkler（2012, 2013）的方法，将原来的 $ \|u\|_{L^4}^4 $ 项替换为 $ \|\nabla u\|^2 $，从而简化渐近分析。
• 建立 $ \|n\|_{L^\infty} $、$ \|c\|_{W^{1,q}} $ 与 $ \|u\|_{L^\infty} $ 的一致有界性，进而实现 $ L^\infty $-范数收敛。

实验结果

研究问题

• RQ1 在一般有界区域上，若不假设区域凸性，全化学趋化-Navier-Stokes系统是否可能存在全局经典解？
• RQ2 在一般有界区域上，三维简化化学趋化-Stokes系统是否存在全局时间解？
• RQ3 在一般有界区域上，二维化学趋化-流体系统解是否在 $ t \to \infty $ 时收敛至常数稳态？
• RQ4 能否构造一种不依赖于区域凸性的新型熵-能量估计？

主要发现

• 当 $ N=2 $ 时，系统存在唯一全局经典解，且在 $ t \to \infty $ 时以 $ L^\infty $-范数收敛至常数稳态 $ (n_\infty, 0, 0) $，其中 $ n_\infty = \frac{1}{|\Omega|} \int_\Omega n_0 \, dx $。
• 当 $ N=3 $ 时，对于任意有界光滑区域，简化化学趋化-Stokes系统存在全局弱解，且无需区域凸性假设。
• 推导出一种新型熵-能量估计，通过 $ \|\nabla u\|^2 $ 与 $ \|\psi(c)\|^2 $ 控制 $ \nabla c $ 与 $ \nabla u $ 的 $ L^2 $-范数，取代了先前的 $ \|u\|_{L^4}^4 $ 项。
• 由于新型熵-能量估计结构的改进，二维情形下的渐近收敛结果在一般区域几何下依然成立。
• 先验估计在时间上一致，且仅依赖于初始数据与区域大小，从而保证了全局存在性。
• 该方法通过去除对区域 $ \Omega $ 的几何假设，将Winkler（2012, 2013）的结果从凸区域推广至一般有界区域。