[论文解读] Analysis of Segregated Boundary-Domain Integral Equations for Variable-Coefficient Dirichlet and Neumann Problems with General Data

Sergey E. Mikhailov|arXiv (Cornell University)|Sep 11, 2015

Numerical methods in engineering参考文献 31被引用 9

一句话总结

本论文为在 $H^{-1}(\bar{\Omega})$ 或 $\widetilde{H}^{-1}(\Omega)$ 中具有通解的一般右端项的变系数狄利克雷与诺伊曼问题，形式化并分析了分离型边界-域积分方程（BDIEs），采用参数解（parametrix）处理非光滑系数。建立了与原边值问题（BVPs）的等价性，证明了狄利克雷型BDIE算子的可逆性，并构造了有限维扰动以恢复诺伊曼型BDIE算子的可逆性，后者原本为弗雷德霍姆型但具有非平凡核。

ABSTRACT

Segregated direct boundary-domain integral equations (BDIEs) based on a parametrix and associated with the Dirichlet and Neumann boundary value problems for the linear stationary diffusion partial differential equation with a variable coefficient are formulated. The PDE right hand sides belong to the Sobolev space $H^{-1}(Ω)$ or $ ilde H^{-1}(Ω)$, when neither classical nor canonical co-normal derivatives are well defined. Equivalence of the BDIEs to the original BVP, BDIE solvability, solution uniqueness/non-uniqueness, and as well as Fredholm property and invertibility of the BDIE operators are analysed in Sobolev (Bessel potential) spaces. It is shown that the BDIE operators for the Neumann BVP are not invertible, and appropriate finite-dimensional perturbations are constructed leading to invertibility of the perturbed operators.

研究动机与目标

• 将边界-域积分方程（BDIE）形式化扩展至右端项属于 $H^{-1}(\bar{\Omega})$ 或 $\widetilde{H}^{-1}(\Omega)$ 的变系数PDE，其中经典共法向导数未定义。
• 通过构造有限维扰动，解决诺伊曼型BDIE算子不可逆的问题，以恢复其可逆性。
• 在贝塞尔势（Sobolev）空间中，建立狄利克雷与诺伊曼问题的BDIE系统在等价性、可解性与弗雷德霍姆性质方面的理论框架。
• 将先前仅限于 $L^2$-数据的BDIE结果推广至弱解与广义共法向导数。
• 为未来基于BDIE的数值方法在变系数PDE中的收敛性与稳定性分析提供支持。

提出的方法

• 利用参数解（Levi函数）作为变系数PDE中不可用的基本解的替代，形式化直接的分离型BDIE系统。
• 通过第一格林恒等式及右端项向 $\widetilde{H}^{-1}(\Omega)$ 的延拓，定义广义共法向导数，从而处理非光滑数据。
• 在贝塞尔势空间 $H^s(\Omega)$ 与 $H^s(\partial\Omega)$ 中分析BDIE算子，确保严格的泛函分析框架。
• 采用广义形式的第三格林恒等式推导BDIE，将先前针对 $L^2$ 数据的结果推广至 $H^{-1}$-数据。
• 应用Rellich紧嵌入定理，证明迹算子与共法向导数算子的紧性。
• 通过核与余核元素的对偶基构造诺伊曼型BDIE算子的有限维扰动，确保扰动后系统的可逆性。

实验结果

研究问题

• RQ1 能否为在 $H^{-1}(\Omega)$ 中具有通解右端项的变系数狄利克雷与诺伊曼问题，形式化并分析分离型BDIE系统？
• RQ2 所得到的BDIE算子是否在索伯列夫（贝塞尔势）空间中与原始边值问题等价？
• RQ3 为何诺伊曼问题的BDIE算子不可逆？是否可通过有限维扰动恢复其可逆性？
• RQ4 在不依赖经典迹假设的前提下，广义共法向导数如何影响BDIE系统的结构与可解性？
• RQ5 该分析能否推广至更一般的PDE、混合问题、无界区域或具有 $H^{-1}$-数据的PDE系统？

主要发现

• 狄利克雷问题的BDIE算子在相关贝塞尔势空间中连续且连续可逆。
• 诺伊曼问题的BDIE算子为弗雷德霍姆型，指标为零，但由于具有非平凡核与余核而不可逆。
• 明确构造了诺伊曼型BDIE算子的有限维扰动，使得扰动后的算子连续可逆。
• 该扰动保持了原始BDIE系统的可解性，并确保解满足原始诺伊曼问题。
• 在 $H^{-1}$-数据的弱设定下，原始BVP与BDIE系统之间的等价性得到严格确立。
• 该分析为基于BDIE的变系数PDE数值方法的收敛性与稳定性研究奠定了基础。