[論文レビュー] 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

ひとこと要約

本稿では、カルデロン射影子を介して混合有限要素法と第一種境界積分方程式を結合することで、3次元有界リプシッツ領域におけるホッジ＝ヘルムホルツおよびホッジ＝ラプラース方程式の対称的結合変分形式を提示する。主な貢献は、T-正則性を用いて適切に定義されていることを証明し、共鳴周波数を除き安定性を確保し、電磁散乱問題に対する強力なガラーキン離散化を可能にすることにある。

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.

研究の動機と目的

• 非一様な誘電体体におけるホッジ＝ヘルムホルツ方程式に従う電磁散乱問題を安定的かつ対称的に記述する変分形式の構築。
• 体積領域における混合変分形式と、外部の一様な問題に由来する第一種境界積分方程式（BIE）を結合すること。
• T-正則性を用いて結合系の適切な定義を確立し、共鳴周波数を除き解の存在・一意性と安定性を保証すること。
• 有限要素法および境界要素法を用いたガラーキン離散化に適した変分枠組みを提供すること。

提案手法

• ベクトルポテンシャルおよびスカラーポテンシャルを用いて、ローレンツ条件を組み込んだ弱い混合形でのホッジ＝ヘルムホルツ方程式の定式化。
• 非有界補集合において定数係数を有する外部ホッジ＝ヘルムホルツ問題から第一種境界積分方程式を導出する。
• 最近開発されたカルデロン射影子を用いて、界面Γ上での体積変分問題とBIEを対称的に結合する。
• 界面項をバランスさせるために、パラメータ化された同型写像（τ, β, θ, λ）を導入し、変分形式における対称性およびコンパクト性を保証する。
• 一般化されたガーディングの不等式とコンパクトな摂動に関する議論を用いて、T-正則性を用いてフレドホルム性および安定性を証明する。
• 混合変分形式とBIEからの界面項が自然に一致することを示し、追加の安定化なしに対称的結合を実現可能である。

実験結果

リサーチクエスチョン

• RQ1 リプシッツ境界上で、ホッジ＝ヘルムホルツ方程式の混合変分形式と第一種境界積分方程式との間で、対称的結合を構築可能か？
• RQ2 得られた結合系は、共鳴周波数を除き適切に定義されており、安定性を示すか？
• RQ3 ホッジ型分解とカルデロン射影子を用いて、この結合系に対してT-正則性を確立できるか？
• RQ4 体積および境界の定式化からの界面トレースが、どのように対称的結合を可能にするか？
• RQ5 結合された変分形式は、有限要素法および境界要素法を用いたガラーキン離散化に適しているか？

主な発見

• 混合変分形式と第一種BIEの対称的結合により、インデックスがゼロのフレドホルム型で適切に定義された系が得られる。
• T-正則性を用いて適切な定義が確立され、周波数が共鳴周波数でない限り解の存在および一意性が保証される。
• 体積および境界の定式化からの界面項が完全に一致しており、追加の安定化なしに対称的結合が可能である。
• 低周波数極限においても系は安定的かつ強力であり、ガラーキン離散化に適している。
• リッヒトの定理と単層および二重層ポテンシャルの連続性を用いて、摂動項のコンパクト性が証明された。
• パラメータの特定の選択（β = τ, λ = θ）において、双一次形式の実部が消えることが確認され、対称的構造が裏付けられ、T-正則性の議論が可能となる。