On the traces of harmonic functions $H^{1/2}$ and $H^{3/2}$ in Lipschitz domains

技术摘要：关于 Lipschitz 区域中调和函数 $H^{1/2}$ 与 $H^{3/2}$ 的迹

问题陈述
本文探讨了 Lipschitz 区域中调和函数的特定范数等价估计的有效性，特别是涉及边界 $\Gamma$ 上的 $L^2$ 范数与内部 $\Omega$ 中梯度和 Hessian 的加权 Sobolev 范数之间的关系。具体而言，作者研究了 Dahlberg [7] 及其他学者提出的不等式，这些不等式表明对于在固定点 $x_0 \in \Omega$ 处消失的调和函数 $u$：
$$C^{-1}\|u\|_{L^2(\Gamma)} \leq \left( \int_\Omega \varrho |\nabla u|^2 \right)^{1/2} \leq C\|u\|_{L^2(\Gamma)}$$
其中 $\varrho$ 是到边界的距离。核心问题在于，当区域 $\Omega$ 仅仅是 Lipschitz 区域时（特别是在存在非凸角点的情况下，如多边形/多面体区域），这些估计是否对 $H^{1/2}(\Omega)$（以及由此推广到 $H^{3/2}(\Omega)$）中的调和函数普遍成立，或者是否会失效。

研究方法
作者结合了子空间的插值理论、非光滑区域中拉普拉斯方程的正规性理论以及显式反例构造法。

1. 多边形/多面体区域的正规性分析： 利用 Grisvard 的工作和插值理论（特别是 Ivanov-Kalton 和 Asekritova-Cobos-Kruglyak 定理），作者分析了在分数阶 Sobolev 空间 $H^s(\Omega)$ ($0 \leq s \leq 2$) 中非齐次 Dirichlet 问题 $-\Delta u = f$（满足 $u=0$ 在 $\Gamma$ 上）的可解性。他们刻画了这些空间中拉普拉斯算子的核，表明对于非凸多边形，核 $N_{-s}(\Omega)$ 对于某些 $s$ 是非平凡的，从而影响了拉普拉斯算子的同构性质。
2. 反例构造： 为了测试迹不等式的有效性，作者构造了一个特定的 Lipschitz 区域族 $\Omega_\varepsilon$ 以及基于 Nečas 给出的显式函数构建的调和函数。该函数旨在属于 $H^{3/2}(\Omega_\varepsilon)$ 并具有有界的加权 Hessian 范数，但其在边界上的切向导数在区域参数 $\varepsilon \to 0$ 时趋于无界。
3. 泛函空间识别： 通过识别标准嵌入的失效，作者定义了一个新的泛函空间 $E(\nabla; \Omega) = \{v \in H^{1/2}(\Omega); \nabla v \in [H^{1/2}(\Omega)]'\}$。他们研究了限制在该空间上的迹算子 $\gamma_0$ 的性质。
4. 正规性假设： 论文将 Lipschitz 情况与 $C^{1,1}$ 类区域进行对比，后者中标准正规性结果成立，从而划定了迹估计有效的精确条件。

主要贡献与结果

• 驳斥了一般性的迹不等式： 论文证明了由 Dahlberg 等人引用的不等式 (1.1) 和 (1.2) 在目前的条件下对于一般的 Lipschitz 区域并不成立。具体而言，对于非凸多边形区域，存在属于 $H^{3/2}(\Omega)$（以及 $H^{1/2}(\Omega)$）的调和函数，其加权内部范数有界，但其边界迹（在 $H^1(\Gamma)$ 或 $L^2(\Gamma)$ 中）是无界的。这使得“任何 $H^{1/2}(\Omega)$ 中的调和函数都自动具有一般 Lipschitz 设置下的 $L^2(\Gamma)$ 迹”这一主张失效。
• Dirichlet 问题最优正规性： 作者完整地刻画了多边形和多面体区域中分数阶 Sobolev 空间内 Dirichlet 问题求解的可解性。他们确定了与最大内角 $\omega_\star$（具体为 $1 - \pi/\omega_\star$）相关的临界指数，除非源项 $f$ 满足兼容性条件，否则解的正规性会低于预期的 $H^{3/2}$ 或 $H^2$ 水平。
• 引入空间 $E(\nabla; \Omega)$： 论文确定 $E(\nabla; \Omega)$ 是迹理论在极限情况 $s=1/2$ 下正确的泛函框架。
  • 迹算子 $\gamma_0: E(\nabla; \Omega) \to L^2(\Gamma)$ 是良定义的且连续的。
  • 该算子的核正是 $H^{1/2}_{00}(\Omega)$。
  • 这提供了对 $H^{1/2}_{00}(\Omega)$ 的新刻画，并为确保 $L^2$ 迹的存在性提供了 $H^{1/2}(\Omega)$ 之外的另一种选择。
• 在 $C^{1,1}$ 区域中的有效性： 作者证明，如果区域 $\Omega$ 是 $C^{1,1}$ 类的，则原始不等式确实成立。在这种规则的设置下，迹算子是 $H^{1/2}(\Omega)$ 中的调和函数空间与 $L^2(\Gamma)$ 之间的同构，对于法向导数，在 $H^{3/2}(\Omega)$ 与 $H^1(\Gamma)$ 之间亦然。

意义
本文澄清了非光滑区域中调和函数迹的一个关键认知差距。它纠正了“在 Lipschitz 区域中，加权梯度范数足以保证调和函数具有 $L^2$ 边界迹”这一假设。通过证明这些估计在存在重入角（re-entrant corners）时会失效，这项工作要求在处理极限情况时，应依赖于特定的空间 $E(\nabla; \Omega)$ 而非标准的 Sobolev 空间 $H^{1/2}(\Omega)$，从而需要一种更细致的正规性理论方法。其结果完善了对多边形区域中分数阶空间内 Dirichlet 问题可解性的理解，强调了正规性对几何奇异性的依赖性。