Regularity and Decay for Navier-Slip Fluid-Structure Interaction in Exterior Domains

技术摘要：外部区域中 Navier 滑移流固耦合问题的正则性与衰减

问题陈述
本文研究了浸没在占据整个三维空间 ($\mathbb{R}^3$) 的不可压缩粘性流体中的球形刚体的线性化运动。该系统由纳维-斯托克斯方程（Navier-Stokes equations）与描述刚体平移和旋转动力学的常微分方程耦合而成。本研究的一个关键特征是在流体-结构界面处施加了带有摩擦项的 Navier 滑移边界条件，而非经典的无滑移（Dirichlet）条件。作者关注于围绕静止状态的线性化系统，其中流体速度、压力以及刚体的平移速度和角速度在外部区域 $\Omega = \mathbb{R}^3 \setminus B$（$B$ 为一个球体）内演化。

方法论
分析是在半群理论和极大 $L^q$-正则性框架下进行的。作者定义了一个作用在 Banach 空间 $X_q$ 上的流固耦合算子 $A_{\alpha,q}$，该空间封装了流体速度、平移速度和角速度。其研究方法通过以下关键阶段进行：

1. 算子形式化： 通过将刚体速度扩展到球体内部，将系统在整个 $\mathbb{R}^3$ 空间上进行重新表述。这使得可以使用适配于流固耦合的 Helmholtz-Weyl 分解，从而便于定义生成元 $A_{\alpha,q}$。
2. $L^2$-理论： 作者首先在 Hilbert 空间设置（$q=2$）下建立了该算子的自伴随性和正定性。这依赖于一个涉及应变率张量和边界上摩擦项的特定双线性形式。
3. 局部化与先验估计： 为了将结果推广到一般的 $L^q$ 空间（$1 < q < \infty$），作者采用了局部化技术。他们将全空间中的 Stokes 算子结果与有界区域中的结果拼接在一起。至关重要的是，他们推导出了适用于 Navier 滑移条件的广义 Korn 型不等式，该不等式通过对称梯度和边界上的滑移项来控制速度的全梯度。
4. 扇形性与解析性： 证明半群的有界性和解析性依赖于建立算子的扇形性。对于 $q=2$，这源于自伴随性。对于 $1 < q < 3/2$，这通过建立一致有界时间的极大正则性估计得出。对于剩余的 $q$ 值范围，则通过插值和对偶论证获得。
5. 衰减估计： 衰减率通过结合已建立的正则性与能量方法导出。关键步骤是利用 Korn 型不等式和 Gagliardo-Nirenberg 不等式来闭合能量估计，随后通过 Gronwall 型论证来确定大时间下的时间衰减率。

主要贡献与结果
本文确立了外部区域中 Navier 滑移条件下线性化流固系统的以下主要结果：

• 强 $L^q$-正则性： 作者证明了具有极大 $L^q$-正则性的线性化系统存在唯一强解。具体而言，对于满足适当相容条件的初始数据和 $L^q$ 中的外力，解 $(v, \pi, \ell, \omega)$ 满足诸如 $L^q(0, T; W^{2,q}(\Omega))$ 和 $W^{1,q}(0, T; L^q(\Omega))$ 等空间的估计。
• 有界解析半群： 作者证明该流固算子在子空间 $X_q$ 上对所有 $1 < q < \infty$ 生成一个有界解析半群。这是一个显著的扩展，因为以往关于滑移条件的研究主要局限于有界区域。
• 锐利的 $L^q-L^r$ 衰减估计： 本文推导出了解在 $t \to \infty$ 时的最优衰减率。对于 $L^r$ 中的初始数据，速度及其导数的衰减率取决于 $1/r$ 与 $1/q$ 之间的差异。具体而言，作者表明：
  • 在短时间及特定的长时间机制下，$\|v(t)\|_{L^q} \sim t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})}$。
  • 对于平移速度和角速度 $(\ell, \omega)$ 及其时间导数的精细估计，显示出对于较大的 $m$，其衰减率为 $(1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})}$。
  • 还提供了压力梯度和二阶空间导数的估计，并区分了短时间（$t \le 1$）和长时间（$t \ge 1$）的行为。

意义
作者指出，这些结果为构建相应非线性系统的强解提供了坚实的理论基础。通过建立线性化问题的强 $W^{2,1}_q$ 正则性和 Kato 型解，这项工作使得将不动点论证应用于完整的非线性流固相互作用问题成为可能。论文指出，虽然对于外部区域中的无滑移情况，半群正则性和衰减已得到充分理解，但在滑移设置下（特别是针对无界区域性质）此类结果仍然有限。本研究通过利用球体的几何正则性，解决了在 Navier 滑移条件下处理外部区域设置的问题，填补了这一空白。