On $L^p$-semigroup to Stokes equation with dynamic slip boundary condition in the half-space

以下是基于论文《ON Lp-SEMIGROUP TO STOKES EQUATION WITH DYNAMIC SLIP BOUNDARY CONDITION IN THE HALF-SPACE》（半空间中具有动态滑移边界条件的 Stokes 方程的 $L^p$ 半群）的详细技术总结：

1. 研究问题 (Problem)

本文研究的是定义在 $d$ 维半空间 $\Omega = \{x_d > 0\}$ 上的演化 Stokes 系统，该系统耦合了动态滑移边界条件（Dynamic Slip Boundary Condition）。

数学模型：
$$\begin{cases} \partial_t u - \text{div}(2\nu Du) + \nabla \pi = f, & \text{div } u = 0 \quad \text{in } (0, T) \times \Omega, \\ \beta \partial_t u + \alpha u + 2\nu [(Du)n]_\tau = \beta h, & u \cdot n = 0 \quad \text{on } (0, T) \times \Gamma, \end{cases}$$
其中：

• $u$ 是速度场，$\pi$ 是压力。
• $\alpha, \beta, \nu$ 是正参数。
• $\Gamma = \{x_d = 0\}$ 是边界，$n$ 是外法向量。
• $[(Du)n]_\tau$ 表示应力张量在边界上的切向分量。
• 关键特征：边界方程中包含时间导数 $\partial_t u$，这使得问题成为耦合的演化方程组，且比传统的 Dirichlet 或 Neumann 边界条件更为复杂。

研究目标：
建立该系统的 $L^p$ 理论（$p \neq 2$），具体包括：

1. 证明该系统在 $L^p(\Omega) \times L^p(\Gamma)$ 中生成解析半群（Analytic Semigroup）。
2. 获得对应稳态（预解式）问题的最优正则性估计（Optimal Regularity Estimates），包括弱解（$W^{1,p}$）和强解（$W^{2,p}$）。
3. 处理非零散度（$\text{div } u = g$）的情况，为推广到一般区域做准备。

2. 方法论 (Methodology)

作者采用了一种初等但有效的方法，主要依赖傅里叶变换和经典的乘子理论，避免了复杂的 $R$-有界性（R-boundedness）和 $H^\infty$-演算等高级泛函分析工具。

核心步骤：

1. 预解式问题转化：
   将演化问题转化为复参数 $\lambda$ ($\text{Re } \lambda > 0$) 下的稳态预解式问题：
   $$(\lambda - \Delta)u + \nabla \pi = f, \quad \text{div } u = 0$$
   边界条件为 $(\lambda + \alpha)u + 2[(Du)n]_\tau = h$。

2. 切向傅里叶变换：
   利用半空间的几何特性，对切向变量 $x'$ 进行傅里叶变换（$x' \to \xi$）。这将偏微分方程组转化为关于法向变量 $x_d$ 的常微分方程组。

3. 显式预解式构造：

   • 通过求解特征方程，得到了关于法向分量 $u_d$、压力 $\pi$ 和切向分量 $u'$ 的显式公式。
   • 引入了基本解核函数 $m_0(\lambda, \xi, x_d)$，并构造了修正项以满足边界条件。
   • 最终解表示为边界数据 $\Phi$ 的卷积形式，其核函数由特定的乘子（Multipliers）$m_i(\lambda, |\xi|, x_d)$ 给出。

4. $L^p$ 估计与乘子定理：

   • 利用Mikhlin 乘子定理（Mikhlin Multiplier Theorem）来证明解算子在 $L^p$ 空间中的有界性。
   • 通过精细的复分析估计（利用 $\omega(\lambda, z) = \sqrt{\lambda + |z|^2}$ 的性质），证明了乘子及其导数满足 Mikhlin 条件。
   • 证明了算子 $(-\Delta)^{1/2}$ 具有 $H^\infty$-演算性质（隐含在引理 4.1 中），但并未直接使用 $H^\infty$-演算的复杂框架。

5. 分解策略：
   将解分解为两部分：$u = u_1 + u_2$。

   • $u_1$：处理非齐次项 $f$，满足齐次 Dirichlet 边界条件（利用已知的 Stokes 方程 $L^p$ 理论）。
   • $u_2$：处理非齐次边界项 $h$，满足齐次方程（利用上述构造的显式公式和乘子估计）。

3. 主要贡献与结果 (Key Contributions & Results)

A. 解析半群的存在性 (Theorem 2.1 & Corollary 2.1)

• 结果：证明了系统 (1) 在空间 $X = L^p_\sigma(\Omega) \times L^p_n(\Gamma)$ 上生成一个解析半群。
• 预解估计：对于 $\text{Re } \lambda > 0$ 且 $|\lambda|$ 足够大，存在常数 $C_0$ 使得：
  $$\|u\|_{L^p(\Omega)} + \|u\|_{L^p(\Gamma)} \leq \frac{C_0}{|\lambda|} (\|f\|_{L^p(\Omega)} + \|h\|_{L^p(\Gamma)})$$
• 生成元定义域：生成元 $A$ 的定义域 $D(A)$ 被刻画在 Besov 空间之间：
  $$B^{1+1/p+\varepsilon, p}_{p; \sigma, n}(\Omega) \subset D(A) \subset B^{1+1/p-\varepsilon, p}_{p; \sigma, n}(\Omega)$$
  当 $p=2$ 时，$D(A) = W^{3/2, 2}_{\sigma, n}(\Omega)$。

B. 最优正则性估计 (Theorem 2.2)

文章给出了针对预解式问题的最优正则性估计，涵盖了弱解和强解：

1. 弱解估计 ($W^{1,p}$)：
   当数据 $f \in W^{-1,p}(\Omega)$ 和 $h \in B^{-1/p, p}_{p; n}(\Gamma)$ 时，解满足：
   $$\|u\|_{W^{1,p}(\Omega)} \leq C_1 (\|f\|_{W^{-1,p}} + \|h\|_{B^{-1/p, p}})$$

2. 强解估计 ($W^{2,p}$)：
   当数据 $f \in L^p(\Omega)$ 和 $h \in B^{1-1/p, p}_{p; n}(\Gamma)$ 时，解是强解，且满足：
   $$\|u\|_{W^{2,p}(\Omega)} + \|\nabla \pi\|_{L^p(\Omega)} \leq C_2 (\|f\|_{L^p} + \|h\|_{B^{1-1/p, p}})$$
   注意：这里明确包含了压力梯度 $\nabla \pi$ 的 $L^p$ 可积性估计。

3. 非零散度情形：
   如果 $\text{div } u = g \neq 0$，上述估计依然成立，只需在右端项中加入 $\|g\|_{L^p}$ 或 $\|g\|_{W^{1,p}}$。这一点对推广到一般有界区域至关重要。

C. 技术亮点

• 显式公式：在半空间几何下，给出了预解算子的显式傅里叶表达式。
• 避免重工具：虽然结果涉及 $H^\infty$-演算的性质，但证明过程仅使用了经典的 Mikhlin 乘子定理，使得方法更加“初等”和直观。
• 负索伯列夫空间：正确处理了负指数索伯列夫空间 $W^{-1,p}$ 和分数阶 Besov 空间中的边界数据。

4. 意义与影响 (Significance)

1. 填补理论空白：
   此前关于动态边界条件的 Stokes 问题研究主要集中在 $L^2$ 希尔伯特空间或无时间导数的边界条件上。本文首次在半空间背景下建立了完整的 $L^p$ 理论（$p \neq 2$），填补了文献空白。

2. 非线性问题的基石：
   获得的稳态问题最优正则性估计（特别是 $W^{2,p}$ 估计）是研究非线性演化问题（如 Navier-Stokes 方程）高阶正则性的基础。通过标准的 Bootstrap 论证，可以利用这些线性估计来推导非线性解的光滑性。

3. 一般区域推广的潜力：
   作者明确处理了非零散度（$\text{div } u = g$）的情况，并指出利用标准的局部化和扰动论证（Localization and Perturbation arguments），可以将半空间的结果推广到更一般的有界或无界区域。

4. 方法论的示范：
   展示了如何在处理复杂的耦合边界条件问题时，通过傅里叶变换和经典乘子理论绕过复杂的抽象泛函分析工具（如 $R$-有界性），为类似问题的研究提供了清晰的范例。

总结：
这篇文章通过巧妙的傅里叶分析和经典的乘子理论，成功建立了半空间中带有动态滑移边界条件的 Stokes 方程的 $L^p$ 理论。它不仅证明了系统生成解析半群，还给出了从弱解到强解的最优正则性估计，为后续研究非线性流体动力学问题在动态边界条件下的行为奠定了坚实的数学基础。