Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

技术摘要：受纳维滑移-摩擦边界条件约束的外部域中 Oseen 流的大尺度时间衰减

问题陈述
本文研究了在三维外部域 $\Omega$（有界障碍物的补集）中 Oseen 流的渐近行为，该流作为 Navier-Stokes 方程的线性化。流体是粘性和不可压缩的。研究重点是针对障碍物边界 $\partial\Omega$ 满足纳维滑移-摩擦（Navier slip-with-friction）边界条件的系统，并在空间无穷远处给定流出速度 $u_\infty$。

扰动速度 $u$ 和压力 $p$ 关于稳态 $u_\infty$ 的控制方程由 Oseen 初值问题给出：
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{in } \Omega \times (0, \infty),$$
其中 $\eta = -u_\infty$。边界条件为：
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
其中 $\nu$ 是外单位法向量，$Du$是对称梯度，$\alpha(x) \geq 0$是摩擦系数，$u_\tau$ 表示切向分量。

主要目标有两个：

1. 在 $L^q$ 框架下刻画相关 Oseen 算子 $L$ 的解析集，特别是在边界几何、摩擦系数 $\alpha$ 以及流出 $\eta$ 的影响下，分析复平面原点附近的谱性质。
2. 建立 Oseen 半群 $e^{-tL}$ 的 $L^q$-$L^r$ 衰减估计，这对于证明非线性 Navier-Stokes 系统在稳态附近的全局适定性至关重要。

方法论
分析采用了结合谱理论、泛函分析和能量方法的组合方法，结构如下：

1. 解析集分析与唯一性： 论文首先在特定函数类中建立了解析系统 $(\lambda + L)u = f$ 解的唯一性。这涉及通过将方程乘以解并在定义域上积分来导出能量估计。关键步骤是处理纳维边界条件下产生的边界项。作者利用边界 $\partial\Omega$ 的 Weingarten 映射将变形张量 $Du$与梯度$\nabla u$ 联系起来。具体而言，他们使用了恒等式：
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   其中 $-\nabla N$ 是 Weingarten 映射，$\kappa(x)$ 代表其特征值（与主曲率相关）。这一几何项允许推导在何种条件下能量恒等式的实部是非负的，从而确保唯一性。

2. 参数解（Parametrix）构造： 为了在外部域中构造解析解，作者使用了截断程序。他们将全空间 $\mathbb{R}^3$ 的解算子（Oseen 解析解）与满足相同边界条件的有界内部域的解算子相结合。在环形区域内采用 Bogovskii 算子来修正拼接解的散度，以确保满足无散条件。这产生了一个包含紧扰动算子 $T_\eta(\lambda)$ 的解析解表示形式。

3. 原点附近的正则性： 衰减分析的核心依赖于解析解 $(\lambda + L)^{-1}$ 在原点附近（特别是沿虚轴）的行为。作者证明了在 $\alpha$ 和 $\partial\Omega$ 曲率满足特定条件的情况下，解析解在 $L^q$ 范数下关于原点是解析的（排除原点本身，对于 Stokes 情况），并满足特定的 Hölder 连续性估计。

4. 局部能量衰减： 利用解析解沿虚轴的正则性，论文导出了局部能量衰减估计。这是通过利用 Dunford 积分表示半群，并应用一个联系频率域中函数的衰减率（具体为解析解的模连续性）的引理来实现的。

核心贡献与结果

• 解析集刻画：
  论文证明，在满足以下条件时，解析集 $\rho(-L)$ 包含右半平面（排除原点）：
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{对于所有 } x \in \partial\Omega.$$
  此外，如果满足涉及边界曲率的更强条件：
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  其中 $\kappa(x)$ 是主曲率的最小值，则解析集包含区域 $\mathbb{C} \setminus S_\eta$，其中 $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$。这扩展了此前已知于无滑移（no-slip）条件的结论，将其推广到了纳维滑移-摩擦情况。

• $L^q$-$L^r$ 衰减估计：
  主要结果（定理 2.2）提供了 Oseen 半群的衰减估计。对于初始数据 $f \in L^q_\sigma(\Omega)$，解满足：
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  对于 $j=0$，以及对于 $j=1$ 一个涉及 $(1+t)$ 的略微修改的速率。这些估计在 $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$ 条件下对 $t \to \infty$ 时成立。

• 恢复已知结果：
  其结果将全滑移（$\alpha=0$）下的 Stokes 半群（$\eta=0$）以及无滑移条件（$\alpha \to \infty$）下的 Oseen 半群作为特例进行了恢复。

意义与主张
论文声称填补了现有文献中关于具有非零流出（$u_\infty \neq 0$）且满足纳维边界条件的外部问题研究的空白，因为此前的研究在处理此类边界条件时大多假设流出为零。

其意义在于：

1. 弥合差距： 其结果在全滑移（$\alpha=0$）和无滑移（$\alpha \to \infty$）机制之间进行了插值，提供了一个统一的框架用于研究大尺度时间衰减估计。
2. 几何洞察： 分析强调了边界几何（通过 Weingarten 映射和主曲率）在决定 Oseen 算子谱性质（特别是解析集在原点附近的形状）中的作用。
3. 非线性稳定性基础： 所建立的 $L^q$-$L^r$ 衰减估计被视为研究外部域中非线性 Navier-Stokes 系统在滑移边界条件下全局适定性和稳定性的必要工具，特别是针对靠近稳态的初始数据。

作者指出，虽然梯度（$j=1$）的衰减速率在无滑移的 Stokes 情况下的最优性已得到证实，但由于存在不同的空间衰减结构（尾迹结构/wake structure），对于具有非零流出的 Oseen 情况，并未声称其最优性。此外，由于缺乏在小 $\alpha$ 值下的有界域一致先验估计，衰减常数对摩擦系数 $\alpha$ 的依赖性仍是一个开放性问题。