[论文解读] Coupled Domain-Boundary Variational Formulations For Hodge-Helmholtz Operators

Schulz, Erick, Hiptmair, Ralf|arXiv (Cornell University)|Mar 27, 2020

Numerical methods in inverse problems被引用 2

一句话总结

本论文通过结合混合有限元格式与第一类边界积分方程（BIEs），利用Calderón投影算子，提出了在三维有界Lipschitz区域中Hodge-Helmholtz方程与Hodge-Laplace方程的对称耦合变分格式。关键贡献在于通过T-一致性证明了适定性，确保在非共振频率下具有稳定性，并实现了电磁散射问题的鲁棒Galerkin离散化。

ABSTRACT

We couple the mixed variational problem for the generalized Hodge-Helmholtz or Hodge-Laplace equation posed on a bounded three-dimensional Lipschitz domain with the first-kind boundary integral equation arising from the latter when constant coefficients are assumed in the unbounded complement. Recently developed Calderon projectors for the relevant boundary integral operators are used to perform a symmetric coupling. We prove stability of the coupled problem away from resonant frequencies by establishing a generalized Garding inequality (T-coercivity). The resulting system of equations describes the scattering of monochromatic electromagnetic waves at a bounded inhomogeneous isotropic body possibly having a "rough" surface. The low-frequency robustness of the potential formulation of Maxwell's equations makes this model a promising starting point for Galerkin discretization.

研究动机与目标

• 为由Hodge-Helmholtz方程控制的非均匀介电体中的电磁散射问题，发展一种稳定且对称的变分格式。
• 将体积域中的混合变分格式与由外部均匀问题导出的第一类边界积分方程（BIEs）耦合。
• 利用T-一致性建立耦合系统的适定性，确保在非共振频率下解的存在性、唯一性与稳定性。
• 提供一种适用于有限元与边界元方法的Galerkin离散化的变分框架。

提出的方法

• 使用矢量势与标量势的弱混合形式表述Hodge-Helmholtz方程，引入Lorentz规范条件。
• 从无界补集上具有常系数的外部Hodge-Helmholtz问题中推导第一类边界积分方程。
• 应用新近发展的Calderón投影算子，将体积变分问题与界面Γ上的BIEs对称耦合。
• 引入参数化同构映射（τ, β, θ, λ）以平衡界面项，确保变分格式的对称性与紧致性。
• 利用T-一致性证明Fredholm性质与稳定性，依赖广义G {a}ding不等式与紧致扰动论证。
• 证明体积变分格式与BIEs的界面项自然匹配，从而实现无需额外稳定化的对称耦合。

实验结果

研究问题

• RQ1 能否在Lipschitz边界上，为Hodge-Helmholtz方程的混合变分格式与第一类边界积分方程之间构建对称耦合？
• RQ2 所得到的耦合系统在非共振频率下是否仍保持适定性与稳定性？
• RQ3 能否利用Hodge型分解与Calderón投影算子，为该耦合系统建立T-一致性？
• RQ4 体积与边界格式的界面迹如何相互作用，以实现对称耦合？
• RQ5 该耦合变分格式是否适用于有限元与边界元方法的Galerkin离散化？

主要发现

• 混合变分格式与第一类BIEs的对称耦合导致一个适定系统，其Fredholm指标为零。
• 通过T-一致性建立适定性，确保当频率非共振时解的存在性与唯一性。
• 体积与边界格式的界面项完全匹配，实现无需额外稳定化的对称耦合。
• 系统在低频极限下保持稳定且鲁棒，适用于Galerkin离散化。
• 利用Rellich定理与单层与双层势的连续性，证明了扰动项的紧致性。
• 当参数取特定值（β = τ, λ = θ）时，双线性形式的实部为零，确认了对称结构，并支持T-一致性论证。