[論文レビュー] 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)$にとる境界領域積分方程式（BDIE）を、基本解の代わりにパラメトリクス（Levi関数）を用いて定式化・解析する。元のBVPと等価であることを確立し、ディリクレ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.

研究の動機と目的

• 変数係数PDEの右辺を$H^{-1}(\bar{\Omega})$または$\widetilde{H}^{-1}(\Omega)$にとる境界領域積分方程式（BDIE）の定式化を、古典的コノーラル微分が定義されない状況にまで拡張すること。
• ノイマンBDIE作用素の可逆性欠如を補うために、有限次元の摂動を構成し、可逆性を回復すること。
• ディリクレおよびノイマン問題の両方について、ベッセル潜在力（ソボレフ）空間におけるBDIE系の等価性・可解性・フレドホルム性を確立すること。
• 従来の$L^2$データに限られていたBDIE結果を、弱解および一般化されたコノーラル微分を含む形に一般化すること。
• 今後の変数係数PDEに対するBDIEに基づく数値解法の収束性および安定性解析を支援すること。

提案手法

• 変数係数PDEにおける利用可能な基本解が存在しない場合の代替として、パラメトリクス（Levi関数）を用いて直接的分離型BDIE系を定式化する。
• 最初のグリーンの恒等式を用いて定義され、右辺を$\widetilde{H}^{-1}(\Omega)$に拡張する一般化されたコノーラル微分を採用することで、滑らかでないデータの取り扱いを可能にする。
• ベッセル潜在力空間$H^s(\Omega)$および$H^s(\partial\Omega)$においてBDIE作用素を解析し、厳密な関数解析的枠組みを確保する。
• 第3のグリーンの恒等式を一般化形で用いてBDIEを導出し、従来の$L^2$から$H^{-1}$データへの結果の拡張を実現する。
• リリッヒのコンパクト埋め込み定理を適用し、トレース作用素およびコノーラル微分作用素のコンパクト性を証明する。
• 核および余核の双対基底を用いて、ノイマンBDIE作用素の有限次元摂動を構成し、摂動後の系が可逆となるように保証する。

実験結果

リサーチクエスチョン

• RQ1 変数係数および一般の右辺を$H^{-1}(\Omega)$にもつディリクレおよびノイマン問題に対して、分離型BDIE系を定式化・解析することは可能か？
• RQ2 得られたBDIE作用素は、ソボレフ（ベッセル潜在力）空間における元の境界値問題と等価か？
• RQ3 ノイマン問題のBDIE作用素はなぜ可逆でないのか？ 有限次元の摂動によって可逆性を回復できるか？
• RQ4 古典的トレース仮定を必要としない一般化されたコノーラル微分は、BDIE系の構造および可解性にどのように影響を与えるか？
• RQ5 この解析は、より一般のPDE、混合問題、非有界領域、$H^{-1}$データをもつPDEの連立系へと拡張可能か？

主な発見

• ディリクレ問題のBDIE作用素は、関連するベッセル潜在力空間において連続的かつ連続的可逆である。
• ノイマン問題のBDIE作用素は、指数が0のフレドホルム作用素ではあるが、非自明な核および余核を有するため可逆ではない。
• ノイマンBDIE作用素の有限次元摂動が明示的に構成され、摂動後の作用素が連続的可逆であることが保証されている。
• 摂動は元のBDIE系の可解性を保ち、解が元のノイマン問題を満たすことを保証する。
• 元のBVPとBDIE系との間の等価性は、$H^{-1}$データをもつ弱い設定において厳密に確立されている。
• 本解析は、変数係数PDEに対するBDIEに基づく数値解法の収束性および安定性解析の基盤を提供する。