[论文解读] Existence of Smooth Solutions to Coupled Chemotaxis-Fluid Equations

Myeongju Chae, Kyungkeun Kang+1 more|arXiv (Cornell University)|Dec 20, 2011

Mathematical Biology Tumor Growth参考文献 15被引用 8

一句话总结

本文建立了二维和三维空间中耦合Keller-Segel趋化方程与不可压缩Navier-Stokes方程组的光滑解的局部存在性。在生物上合理的趋化敏感性和氧气消耗速率假设下，进一步证明了二维情形下光滑解的全局存在性；在三维情形下，于对这些参数更强的限制条件下证明了全局弱解的存在性。

ABSTRACT

We consider a system coupling the parabolic-parabolic Keller-Segel equations to the in- compressible Navier-Stokes equations in spatial dimensions two and three. We establish the local existence of regular solutions and present some blow-up criteria. For two dimensional Navier-Stokes-Keller-Segel equations, regular solutions constructed locally in time are, in reality, extended globally under some assumptions pertinent to experimental observation in [20] on the consumption rate and chemotactic sensitivity. We also show the existence of global weak solutions in spatially three dimensions with rather restrictive consumption rate and chemotactic sensitivity.

研究动机与目标

• 建立二维和三维空间中耦合趋化-Navier-Stokes系统正则解的局部存在性。
• 基于对氧气消耗和趋化敏感性的实验观测，推导二维情形下光滑解全局存在的充分条件。
• 在对消耗速率和趋化敏感性更强的限制条件下，证明三维情形下全局弱解的存在性。
• 在$ k(c) $和$ \chi(c) $的非线性性具有一般条件（包括实验中使用的阶跃函数近似）下分析该系统。
• 将先前关于Keller-Segel-Stokes系统的结果扩展至完整的Navier-Stokes-趋化耦合系统，采用能量估计与紧致性论证。

提出的方法

• 形式推导耦合系统：细胞与化学物质浓度的抛物-抛物Keller-Segel方程，与不可压缩Navier-Stokes方程（用于流体速度与压力）耦合。
• 使用光滑化与正则化技术构造近似解$ (n^{l,\epsilon}, c^{l,\epsilon}, u^{l,\epsilon}) $，确保其光滑性与收敛性。
• 应用能量估计与$ L^p $、$ H^1 $及基于$ L^2 $的范数中的统一有界性，以控制非线性项。
• 建立$ c^{l,\epsilon} $与$ \nabla c^{l,\epsilon} $在$ L^p $与$ L^2 $型空间中的强收敛性，从而在非线性项中取极限。
• 利用$ x\ln x $的凸性与弱下半连续性，推导弱解的极限能量不等式。
• 利用$ \chi(c) $的Lipschitz连续性与$ k(c) $的统一有界性，处理趋化通量项的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，耦合趋化-流体系统在二维与三维空间中存在局部光滑解？
• RQ2 当趋化敏感性与氧气消耗速率如实验观测中那样建模为阶跃函数时，二维情形下能否获得全局光滑解？
• RQ3 为确保三维情形下弱解的全局存在性，对$ \chi(c) $、$ k(c) $及初始数据有何限制？
• RQ4 能量估计与紧致性方法如何促进三维情形下弱解存在性的证明？
• RQ5 对$ \chi(c) $与$ k(c) $的假设（如其在低浓度与高浓度下的行为）在多大程度上影响解的长时间行为？

主要发现

• 在$ \chi(c) $与$ k(c) $的一般条件下，建立了二维与三维空间中耦合趋化-Navier-Stokes系统光滑解的局部存在性。
• 在二维情形下，当假设与Tuval等人[20]的实验数据一致时，证明了光滑解的全局存在性，特别是当$ \chi(c) $与$ k(c) $在$ c $较大时为常数，并在阈值以下迅速衰减。
• 在三维情形下，于对$ \chi(c) $与$ k(c) $更强的限制条件下（包括有界性与Lipschitz连续性），建立了全局弱解的存在性。
• 推导出弱解的能量不等式，其界依赖于初始数据的范数：$ \|\langle x\rangle n_0\|_{L^1} $、$ \|n_0 |\ln n_0|\|_{L^1} $、$ \|\nabla c_0\|_{L^2} $，以及$ \phi $及其导数的范数。
• 利用$ c^{l,\epsilon} $在$ L^p_{\text{loc}}((0,T)\times \mathbb{R}^d) $中强收敛于$ c $，以及$ \nabla c^{l,\epsilon} $在$ L^2(0,T;L^p_{\text{loc}}) $中强收敛，以在非线性项中取极限。
• 证明依赖于紧致性与一致估计，特别是基于$ L^2 $的Sobolev空间，以证明涉及$ \chi(c)\nabla c $的非线性通量项的收敛性。