[论文解读] Solvability and regularity for an elliptic system prescribing the curl, divergence, and partial trace of a vector field on Sobolev-class domains

C. H. Arthur Cheng, Steve Shkoller|arXiv (Cornell University)|Aug 11, 2014

Nonlinear Partial Differential Equations参考文献 11被引用 5

一句话总结

本文建立了在 ℝ³ 中 Sobolev 类域上，对给定旋度、散度和部分迹的向量场系统之椭圆估计与可解性。该研究将经典的 Hodge 型理论推广至 $H^{k+1}$-正则域，证明了在数据满足自然相容性条件时，解的存在性、唯一性及 $H^\tau$-正则性，且估计常数依赖于域的几何结构与数据范数。

ABSTRACT

We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.

研究动机与目标

• 将旋度与散度系统在 $\mathscr{C}^{k+1}$ 域上的经典椭圆理论推广至 $H^{k+1}$-正则域。
• 建立向量椭圆系统 $\operatorname{curl} \mathbf{v} = \mathbf{f}$, $\operatorname{div} \mathbf{v} = g$ 在边界上给定法向或切向迹时解的存在性与唯一性。
• 推导解在 $H^\ell$-范数下的精确估计，以数据范数与域正则性表示，即使域边界仅为 $H^{k+1}$-正则亦成立。
• 刻画解在 $H^\ell$-框架下的必要相容性条件（如通量与环量约束）。
• 为粗糙域上的 Hodge 分解提供严格的理论框架，这对流体力学与数学物理的应用至关重要。

提出的方法

• 在 $H^{k+1}$-正则域上使用加权 Sobolev 空间与迹定理，以控制边界数据。
• 应用 Poincaré 型不等式与与光滑化算子的交换性，以处理低正则性数据。
• 采用 Piola 恒等式，确保坐标变换下散度与旋度结构的保持。
• 通过先验估计与紧致性论证构造解，首先在球体上证明存在性，再利用微分同胚技术推广至一般 $H^{k+1}$ 域。
• 使用单位分解与 $H^{k+1}$-微分同胚将边界局部平坦化，将问题约化为模型域。
• 通过归纳法与插值法证明 $H^\ell$-正则性，利用雅可比行列式及其变形梯度逆的有界性。

实验结果

研究问题

• RQ1 在 Sobolev 类 $H^{k+1}$ 的域 $\Omega$ 上，系统 $\operatorname{curl} \mathbf{v} = \mathbf{f}$, $\operatorname{div} \mathbf{v} = g$ 在什么条件下存在 $H^\ell(\Omega)$ 中的解？
• RQ2 在 $H^\ell$-框架下，解的可解性所需对 $\mathbf{f}$, $g$ 与边界数据 $h$ 或 $\mathbf{h}$ 的必要相容性条件是什么？
• RQ3 解 $\mathbf{v}$ 的 $H^\ell$-范数如何依赖于数据 $\mathbf{f}$, $g$ 与边界数据 $h$ 或 $\mathbf{h}$？
• RQ4 域的几何结构，特别是其边界正则性，在决定解的可解性与正则性方面起什么作用？
• RQ5 能否将旋度-散度系统在 $\mathscr{C}^{k+1}$ 域上的经典理论推广至仅具有 $H^{k+1}$-正则边界的域？

主要发现

• 对于有界 $H^{k+1}$-域 $\Omega \subset \mathbb{R}^3$ 且 $k > 3/2$，以及 $1 \leq \ell \leq k$，若对 $\partial\Omega$ 的每个连通分支 $\Gamma$，有 $\int_\Gamma \mathbf{f} \cdot \mathbf{N} \, dS = 0$，则存在解 $\mathbf{v} \in H^\ell(\Omega)$ 满足 $\operatorname{curl} \mathbf{v} = \mathbf{f}$, $\operatorname{div} \mathbf{v} = g$ 且 $\mathbf{v} \cdot \mathbf{N} = h$ 在 $\partial\Omega$ 上。
• 解满足估计式 $\|\mathbf{v}\|_{H^\ell(\Omega)} \leq C(|\partial\Omega|_{H^{k+0.5}}) \big{[} \|\mathbf{f}\|_{H^{\ell-1}(\Omega)} + \|g\|_{H^{\ell-1}(\Omega)} + \|h\|_{H^{\ell-0.5}(\partial\Omega)} \big{]}$，其中常数仅依赖于边界在 $H^{k+0.5}$-范数下的值。
• 当给定切向迹数据 $\mathbf{v} \times \mathbf{N} = \mathbf{h}$ 时，若满足 $\mathbf{f} \cdot \mathbf{N} = \operatorname{div}^{\partial\Omega} \mathbf{h}$ 且对所有满足 $\partial\Sigma \subset \partial\Omega$ 的子域 $\Sigma \subset \overline{\Omega}$，有环量条件 $\int_\Sigma \mathbf{f} \cdot \mathbf{n} \, dS = \oint_{\partial\Sigma} (\mathbf{N} \times \mathbf{h}) \cdot d\mathbf{r}$，则解存在。
• 当法向迹被指定时，若 $\Omega$ 是单连通开集的不相交并集，则解唯一；当切向迹被指定时，若 $\Omega$ 的每个连通分支的边界均为连通，则解唯一。
• 本文证明了 $H^{k+1}$-微分同胚 $\psi$ 的雅可比行列式 $J = \det(\nabla\psi)$ 满足 $\|J\|_{H^k} \leq C\|\nabla\psi\|_{H^k}^n$，且 $\|1/J\|_{L^\infty} < \infty$，从而保证了变换的可逆性。
• 变形梯度的逆满足 $\|A\|_{H^k} \leq C(\|\nabla\psi\|_{H^k}) + \delta \|A\|_{H^k}$，其中 $\delta$ 足够小，从而可在变量替换下控制范数。