[论文解读] Sobolev spaces on non-Lipschitz subsets of $\mathbb{R}^n$ with application to boundary integral equations on fractal screens

Simon N. Chandler‐Wilde, David P. Hewett+1 more|arXiv (Cornell University)|Jul 7, 2016

Nonlinear Partial Differential Equations参考文献 29被引用 4

一句话总结

本文为 ℝⁿ 中非利普希茨子集上的希尔伯特-索博列夫空间构建了一个函数分析框架，特别关注分形和粗糙区域，以实现对波散射问题中边界积分方程（BIEs）的严格分析。关键贡献在于确立了空间 $\widetilde{H}^{1/2}(\Gamma)$ 与 $H^{1/2}_{\overline{\Gamma}}$ 不同的条件，表明当边界为分形时，逼近屏上的 BIE 解可能不会收敛到极限屏上的解。

ABSTRACT

We study properties of the classical fractional Sobolev spaces (or Bessel potential spaces) on non-Lipschitz subsets of $\mathbb{R}^n$. We investigate the extent to which the properties of these spaces, and the relations between them, that hold in the well-studied case of a Lipschitz open set, generalise to non-Lipschitz cases. Our motivation is to develop the functional analytic framework in which to formulate and analyse integral equations on non-Lipschitz sets. In particular we consider an application to boundary integral equations for wave scattering by planar screens that are non-Lipschitz, including cases where the screen is fractal or has fractal boundary.

研究动机与目标

• 为 ℝⁿ 中非利普希茨子集上的索博列夫空间建立严格的函数分析框架，尤其关注边界积分方程的应用。
• 澄清在任意开集和闭集上不同索博列夫空间定义（如 $H^s(\Omega)$、$\widetilde{H}^s(\Omega)$ 和 $H^s_F$）之间的关系。
• 解决文献中关于在缺乏利普希茨正则性时索博列夫空间定义等价性的模糊性。
• 为这些索博列夫空间提供对偶空间的统一实现，以支持 BIE 的变分公式。
• 证明非利普希茨区域的插值尺度不成立，纠正麦克莱恩标准参考文献中的错误主张。

提出的方法

• 作者使用傅里叶分析、对偶性和限制技术，对 ℝⁿ 中任意开集和闭集上的经典希尔伯特-索博列夫空间进行定义与分析。
• 他们采用 $s$-零化性概念，利用势论结果，判断集合是否支持给定正则性的分布，特别是针对 $s = -1/2$ 的情形。
• 通过将屏近似为一系列有限个利普希茨集的并集 $\Gamma_j$，构造分形屏上边界积分方程的解。
• 在数据 $g_j$ 收敛到极限集上的极限 $g_\infty$ 的假设下，证明解 $\phi_j \in \widetilde{H}^{1/2}(\Gamma_j)$ 依索博列夫空间范数收敛到极限 $\phi \in \widetilde{H}^{1/2}(\Gamma)$，其中 $\Gamma = \bigcup_j \Gamma_j$。
• 该方法依赖于 $\widetilde{H}^{1/2}(\Gamma) = \overline{\bigcup_j \widetilde{H}^{1/2}(\Gamma_j)}$ 的事实，从而保证在索博列夫空间范数下的收敛性。
• 通过集合 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 区分 $\widetilde{H}^{1/2}(\Gamma)$ 与 $H^{1/2}_{\overline{\Gamma}}$，证明若 $\dim_H(G) > 1$，则 $\widetilde{H}^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$。

实验结果

研究问题

• RQ1 在非利普希茨集 $\Gamma$ 上，空间 $\widetilde{H}^{1/2}(\Gamma)$ 与 $H^{1/2}_{\overline{\Gamma}}$ 在何种条件下重合？
• RQ2 当 $\Gamma_j \to \Gamma^*$ 依测度和豪斯多夫距离时，边界积分方程在逼近屏 $\Gamma_j$ 上的解是否仍能收敛到极限屏 $\Gamma^*$ 上的解？
• RQ3 集合 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 的豪斯多夫维数在决定 $\widetilde{H}^{1/2}(\Gamma) = H^{1/2}_{\overline{\Gamma}}$ 是否成立时起什么作用？
• RQ4 当区域非利普希茨时，索博列夫空间的插值性质是否仍保持，特别是对于如 $s = 1/2$ 这类分数阶次？
• RQ5 如何自然地实现非利普希茨 $\Gamma$ 上 $\widetilde{H}^{1/2}(\Gamma)$ 的对偶空间，以支持 BIE 的变分公式？

主要发现

• 对于谢尔宾斯基三角形 $F$，集合 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 的豪斯多夫维数为 $\log 3 / \log 2 \approx 1.585 > 1$，意味着 $\widetilde{H}^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$。
• 在逼近屏 $\Gamma_j$ 上求解诺伊曼型 BIE 的解 $\phi_j$ 依 $\widetilde{H}^{1/2}(\Gamma)$-范数收敛到极限 $\phi$，但当 $\widetilde{H}^{1/2}(\Gamma) \subsetneqq H^{1/2}_{\overline{\Gamma}}$ 时，该极限可能不同于 $H^{1/2}_{\overline{\Gamma}}$ 中的解 $\phi^*$。
• 即使孔洞的勒贝格测度趋于零，屏上带逐渐缩小孔洞的解的极限也可能不收敛到完整屏上的解。
• 若集合 $G = \mathrm{int}(\overline{\Gamma}) \setminus \Gamma$ 不是 $-1/2$-零化集，则 $\widetilde{H}^{1/2}(\Gamma)$ 严格小于 $H^{1/2}_{\overline{\Gamma}}$，这发生在 $\dim_H(G) > 1$ 时。
• 索博列夫空间的插值性质在非利普希茨区域不成立，与麦克莱恩著作中的主张相矛盾，因此不能依赖插值来可靠地定义粗糙集上的这些空间。
• 对偶空间 $\widetilde{H}^{1/2}(\Gamma)$ 自然地等同于 $H^{-1/2}(\Gamma)$，且该对偶性在逼近序列收敛下保持不变，从而支持弱收敛论证。