[论文解读] Lp estimates of solutions to mixed boundary value problems for the Stokes system in polyhedral domains

Vladimir Maz’ya, Juergen Rossmann|ArXiv.org|Dec 21, 2004

Advanced Mathematical Modeling in Engineering参考文献 10被引用 10

一句话总结

本文建立了三维多面体区域中 Stokes 系统混合边值问题弱解的 Lp 估计与正则性结果。通过 Green 矩阵的点态估计及具有非齐次范数的加权 Sobolev 空间，作者在相容性条件与关联算子束的谱约束下，证明了解的存在性、唯一性以及 Sobolev 正则性，将已知结果推广至包含 Dirichlet、Neumann 及滑移型条件的一般混合边界条件。

ABSTRACT

A mixed boundary value problem for the Stokes system in a polyhedral domain is considered. Here different boundary conditions (in particular, Dirichlet, Neumann, free surface conditions) are prescribed on the sides of the polyhedron. The authors prove the existence of solutions in (weighted and non-weighted) $L_p$ Sobolev spaces and obtain regularity assertions for weak solutions. The results are based on point estimates of Green's matrix.

研究动机与目标

• 建立三维多面体区域中 Stokes 系统混合边值问题弱解的 Lp 正则性。
• 将现有正则性理论从 Dirichlet 和 Neumann 问题推广至包含速度与应力分量的通用混合条件。
• 通过具有非齐次范数的加权 Sobolev 空间构建框架，以处理边与角处的奇异性。
• 在谱与几何相容性条件下，证明 Lp-Sobolev 空间中解的存在性与唯一性。
• 将结果从 Lipschitz 域与凸多面体推广至非凸、分片光滑域，并处理复杂的边界条件组合。

提出的方法

• 分析基于先前工作中获得的 Stokes 系统在多面体锥中 Green 矩阵的逐点估计。
• 采用加权 Sobolev 空间 $W_{\beta,\delta}^{l,s}$，其中权重为到顶点与棱边距离的幂次，以控制奇异性。
• 在棱边相容性条件与算子束 $\mathfrak{A}(\lambda)$ 的谱条件下方，建立了加权 $L_p$ 空间中解的存在性。
• 通过双空间中的变分形式定义弱解，并通过迹算子 $S_j$ 施加边界条件。
• 该方法依赖于算子束 $\mathfrak{A}(\lambda)$ 的谱分析，其特征值决定了允许的权重参数 $\delta_k$。
• 通过单位分解与局部化技术，将理论从模型锥推广至一般多面体区域。

实验结果

研究问题

• RQ1 在何种区域几何与边界数据条件下，Stokes 系统的混合边值问题在 $L_p$ Sobolev 空间中存在解？
• RQ2 弱解的正则性特性如何依赖于棱边处的夹角与边界条件类型（Dirichlet、Neumann、滑移型）？
• RQ3 算子束 $\mathfrak{A}(\lambda)$ 的特征值在决定允许的权重参数 $\delta_k$ 与解属于 $W^{2,p}$ 的 $p$ 范围方面起何作用？
• RQ4 具有非齐次范数的加权 Sobolev 空间理论能否用于改善非凸多面体区域中的正则性估计？
• RQ5 棱边处的相容性条件如何影响 $L_p$ 空间中解的存在性与正则性？

主要发现

• 若在 strip $\operatorname{Re} \lambda = 2 - \beta - 3/p$ 内无 $\mathfrak{A}(\lambda)$ 的特征值，且对所有棱边满足 $\max(2 - \mu_k, 0) < \delta_k + 2/p < 2$，则加权 $L_p$ Sobolev 空间 $W_{\beta,\delta}^{2,p} \times W_{\beta,\delta}^{1,p}$ 中存在解，且 $1 < p < \infty$。
• 对于 $W^{1,p} \times L^p$ 中的弱解，若 $f \in (W^{1,p'})^* \times L^p$ 且 $g \in L^p$，则解属于 $W^{1,p} \times L^p$，其中 $2 < p \leq 8/3$，且区域满足角度约束。
• 若 $f \in (W^{1,2})^* \cap L^p$ 且 $g \in L^2 \cap W^{1,p}$，则当 $1 < p \leq 8/7$ 时，$u \in W^{2,p} \times W^{1,p}$，在更严格的角条件下方，范围可提升至 $1 < p \leq 3/2$。
• 对于部分边界为 Dirichlet 条件、其余边界为滑移型条件 (ii) 或 (iii) 的混合问题，若棱边夹角满足 $\theta_k < 3 \arccos(1/4)$（当两侧均为 Dirichlet 时），则解属于 $W^{2,p} \times W^{1,p}$，且 $1 < p \leq 3/2$。
• 当 $\Gamma_1, \dots, \Gamma_{n-1}$ 上为 Dirichlet 条件，$\Gamma_n$ 上为条件 (ii) 时，若 $k \in I$ 时 $\theta_k < 3\pi/8$，$k \in I'$ 时 $\theta_k < 3\pi/4$，则解属于 $W^{2,p} \times W^{1,p}$，且 $1 < p < 3$。
• 结果是精确的，即 $p$ 的范围受算子束 $\mathfrak{A}(\lambda)$ 的谱间隙限制，若特征值进入临界带，则估计失效。