Zero-viscosity limit of the chemotaxis-Navier-Stokes equations with the Navier-slip boundary condition

技术摘要：具有 Navier 滑移边界条件的趋化 - 纳维 - 斯托克斯方程的零粘度极限

问题陈述
本文研究了二维半空间（$\mathbb{R}^2_+$）中耦合趋化 - 纳维 - 斯托克斯系统消失粘度极限的严格数学证明。该系统模拟了细菌密度（$n_\varepsilon$）、氧气浓度（$c_\varepsilon$）和流体速度（$u_\varepsilon$）之间的相互作用，其中粘度和化学扩散系数由小参数 $\varepsilon$ 缩放。研究聚焦于流体粘度和趋化扩散同时消失的机制，这一情景受到细菌悬浮液中生物对流羽流和微湍流实验观测的启发（例如 Dombrowski 等人 [3]，Tuval 等人 [39]）。

该极限中的一个核心挑战是，由于粘性系统的无滑移（或 Navier 滑移）边界条件与无粘极限系统的自由滑移条件之间的不匹配，导致边界层的形成。虽然纯纳维 - 斯托克斯方程的消失粘度极限已被广泛研究（例如 Prandtl 理论，Oleinik、Sammartino、Caflisch、Masmoudi 的工作），但耦合的趋化 - 流体系统由于流体动力学与趋化聚集之间的强非线性耦合，呈现出额外的奇异性。

方法论
作者采用匹配渐近展开方法来构造近似解并严格分析收敛率。核心方法论组成部分包括：

1. 渐近展开：解被分解为外部（无粘）层和内部（边界层）修正。作者引入边界层坐标 $z = y/\varepsilon$，并将变量（$n, c, u, p$）按 $\varepsilon$ 的幂次展开。

   • 展开包含直到二阶边界层修正项（$nb,2, cb,2, ub,2$）的项。
   • 一个关键的结构观察是，高阶边界层项（例如 $nb,j$）的方程往往退化，失去时间导数，变为仅涉及空间导数和已知低阶项的线性关系。这使得作者能够按顺序求解这些项，而无需循环依赖。

2. 函数空间：为了处理边界层的各向异性性质（其中法向导数很大），作者利用各向异性共法索伯列夫空间（$Y^{l,m}$）。这些空间对切向（$x$）和法向（$y$）导数赋予不同的权重，利用在边界处消失的权重函数 $\psi(y)$。该框架改编自用于具有 Navier 滑移条件的纳维 - 斯托克斯方程的技术（Masmoudi 和 Rousset [26]），但在此创新性地应用于趋化 - 流体系统。

3. 误差分析：真实解与构造的近似解之间的差异被定义为误差变量 $(n, c, u)$。作者推导了误差方程组，并为这些变量建立了能量估计。

   • 估计涉及控制非线性项、由共法导数产生的交换子以及趋化方程与流体方程之间的耦合。
   • 特别关注压力项和涡量方程以恢复法向导数，利用修正的涡量变量 $\tilde{\omega} = \omega - \varepsilon^2 \partial_x f e^{-y}$ 来处理边界效应。

4. 适定性：本文在适当的索伯列夫空间中建立了外部层方程（趋化 - 欧拉系统）和边界层方程（抛物型和输运方程组）的局部适定性，确保近似解是良定义的。

主要贡献与结果
主要结果是带有特定收敛率的消失粘度极限的严格证明。

• 主要定理（定理 2.2）：假设存在满足特定界限的光滑近似解（命题 2.1），作者证明对于足够小的 $\varepsilon$，趋化 - 纳维 - 斯托克斯系统存在唯一解，该解在各向异性共法索伯列夫空间中收敛于近似解。
• 收敛率：真实解与近似解之间的误差在 $L^\infty(0, T; L^2 \cap L^\infty)$ 范数下被 $O(\varepsilon^{3/2})$ 界定。具体而言：
  $$\|(n_\varepsilon - n_a, c_\varepsilon - c_a, u_\varepsilon - u_a)\|_{L^\infty_t Y^{1,2}} + \|\nabla(n_\varepsilon - n_a)\|_{L^2_t Y^{1,2}} + \dots \leq C \varepsilon^{3/2}$$
  该速率优于类似系统的先前结果（例如 Hou [10] 针对不同设置获得了 $O(\varepsilon^{1/2})$）。
• 边界层结构：本文明确构造了边界层剖面。它证明了该系统中的边界层效应是由流体动力学引起的，而不仅仅是趋化机制。在没有流体耦合（$u=0$）的情况下，趋化变量的边界层修正恒为零。
• 处理退化：一个重要的技术贡献是求解边界层修正 $nb,j$的方法。通过利用方程的退化性（其中某些阶的时间导数消失），作者导出了线性关系，允许使用低阶项确定$nb,j$，从而绕过了直接求解高阶时间相关偏微分方程的困难。

意义与主张
本文声称提供了在消失粘度极限下，一类趋化 - 流体方程边界层渐近结构的首个严格数学验证。

• 数学新颖性：它将消失粘度极限理论从纯流体动力学扩展到复杂的生物 - 流体耦合。这项工作解决了流体和趋化粘度同时消失所创造的“高度奇异区域”。
• 物理相关性：结果为理解细菌悬浮液中观察到的边界层形成和微湍流（例如培养皿中的“白线”现象）提供了数学基础。它证实了流体粘度在决定趋化边界层行为方面起着关键作用。
• 方法论进步：成功将各向异性共法索伯列夫空间应用于该耦合系统，展示了处理非线性趋化项与流体边界层之间相互作用的稳健框架。

作者对收敛率保持谦逊，指出 $O(\varepsilon^{3/2})$ 的速率相对于展开的理论潜力（展开至二阶）是次优的，这是由于在估计法向导数时固有的 $\varepsilon$ 缩放损失以及在二阶修正处截断展开所致。他们承认，放宽对初始数据的光滑性假设仍是未来工作的挑战。