[論文レビュー] Dirichlet-to-Neumann maps on bounded Lipschitz domains

Jussi Behrndt, Tom Ter Elst|arXiv (Cornell University)|Mar 13, 2014

Numerical methods in inverse problems参考文献 22被引用数 3

ひとこと要約

本稿では、ヒルベルト空間における線形関係の枠組みを用いて、有界リプシッツ領域におけるディリクレ・トゥ・ノイマン写像およびノイマン・トゥ・ディリクレ写像の体系的かつ包括的な研究を提示する。特に、ディリクレ問題が一意的に解けない場合でも、写像を多価関係として取り扱い、対称作用素の拡張理論を応用することで、すべての複素パラメータに対して成り立つクレイン型のリゾルベント公式を確立する。

ABSTRACT

The Dirichlet-to-Neumann map associated to an elliptic partial differential equation becomes multivalued when the underlying Dirichlet problem is not uniquely solvable. The main objective of this paper is to present a systematic study of the Dirichlet-to-Neumann map and its inverse, the Neumann-to-Dirichlet map, in the framework of linear relations in Hilbert spaces. Our treatment is inspired by abstract methods from extension theory of symmetric operators, utilizes the general theory of linear relations and makes use of some deep results on the regularity of the solutions of boundary value problems on bounded Lipschitz domains.

研究の動機と目的

• 有界リプシッツ領域におけるディリクレ・トゥ・ノイマン写像およびノイマン・トゥ・ディリクレ写像の体系的かつ内的な解析を提供すること。特に、ディリクル問題が一意解をもたない場合を含む。
• 写像をヒルベルト空間における線形関係として取り扱い、固有値が存在する場合の多価的挙動を含む厳密な枠組みを確立すること。
• シュレーディンガー作用素のディリクル実現とノイマン実現のリゾルベント差に対する一般化されたクレイン型公式を、すべての複素パラメータに対して確立すること。
• 抽象的対称作用素の拡張理論およびリプシッツ領域における深層的正則性結果を用いて、関係のスペクトル的および写像的性質を導出すること。

提案手法

• 著者たちは、ディリクレ・トゥ・ノイマン写像を $H^{1/2}({\mathcal{C}}) \times H^{-1/2}({\mathcal{C}})$ 内の線形関係としてモデル化し、スペクトルパラメータに応じて単価または多価の挙動を捉える。
• ヒルベルト空間における対称的および自己共役線形関係の理論、特に $Q$-関数およびウェイル関数の使用を含め、写像の解析に用いる。
• リプシッツ領域におけるトレース理論および楕円型境界値問題の解の正則性結果を用いて、写像の定義可能性を保証する。
• 主要な技術的ツールとして、自己共役関係 $A^{-1}$ の逆の使用、特に関係 $T = B^* A^{-1} B$ の文脈において、適切な条件下で $T$ が本質的に自己共役であることを示す。
• 著者たちは、クレイン型恒等式を用いて、ディリクル実現とノイマン実現の間の一般化されたリゾルベント差の公式を導出し、すべての $\lambda, \mu \in \mathbb{C}$ に対して有効であることを示す。これは、$\lambda$ や $\mu$ が固有値であっても成り立つ。
• 任意の $\lambda, \mu$ に対して、$\mathcal{D}(\lambda)$ と $\mathcal{D}(\mu)$ の間の関係を示し、既知の結果を正則性領域を超えて一般化する。

実験結果

リサーチクエスチョン

• RQ1 ディリクル問題が一意的に解けない場合、ディリクル・トゥ・ノイマン写像をどのように厳密に定義し、解析できるか。
• RQ2 基礎となる問題に非自明な核が存在する場合、ディリクル・トゥ・ノイマン写像がヒルベルト空間における線形関係としてどのような構造を持つのか。
• RQ3 ディリクル実現とノイマン実現のリゾルベント差に対するクレイン型公式を、固有値を含むすべての複素パラメータにまで拡張できるか。
• RQ4 ディリクル・トゥ・ノイマン写像およびノイマン・トゥ・ディリクル写像のスペクトル的および写像的性質は、領域の幾何構造およびポテンシャル $V$ にどのように依存するか。

主な発見

• すべての $\lambda \in \mathbb{C}$ に対して、ディリクル・トゥ・ノイマン写像 $\mathcal{D}(\lambda)$ は $H^{1/2}({\mathcal{C}}) \times H^{-1/2}({\mathcal{C}})$ 内の自己共役線形関係である。特に、$\lambda$ がディリクル実現 $A_D$ の固有値であっても成り立つ。
• ノイマン・トゥ・ディリクル写像 $\mathcal{N}(\lambda)$ は $H^{-1/2}({\mathcal{C}}) \times H^{1/2}({\mathcal{C}})$ 内の自己共役線形関係であり、その定義域および多価部分はトレース理論および正則性結果によって特徴付けられる。
• すべての $\lambda \in \mathbb{C}$ に対して成り立つ一般化されたクレイン型公式を、リゾルベント差 $ (A_D - \lambda)^{-1} - (A_N - \lambda)^{-1} $ に対して確立した。これは、正則値に限らず、写像を線形関係として解釈することで可能となった。
• 定理4.6における公式により、すべての $\lambda, \mu \in \mathbb{C}$ に対して $\mathcal{D}(\lambda)$ と $\mathcal{D}(\mu)$ が関係づけられ、既知の結果が多価的領域にまで拡張された。
• 本稿では、$A$ が自己共役で $\operatorname{ran} A$ が閉である場合、関係 $T = B^* A^{-1} B$ が $\mathcal{G}$ 内で本質的に自己共役であることを証明した。さらに、$B^*|_{\ker A}$ が有界逆を持つならば、$T$ は自己共役である。