[論文レビュー] An abstract inverse problem for boundary triples with an application to the Friedrichs Model

B. M. Brown, Marco Marletta+2 more|arXiv (Cornell University)|Apr 27, 2014

Spectral Theory in Mathematical Physics参考文献 24被引用数 4

ひとこと要約

本稿は境界三重項とM関数（Dirichlet-to-Neumann写像）を用いた抽象的逆問題枠組みを構築し、作用素の検出可能部分空間を研究する。これらの道具をフリードリヒスモデルに適用し、複素解析（特にハンケル作用素とトーペリッツ作用素）を用いてM関数から検出可能部分空間を部分的に再構成可能であることを示す一方で、完全な再構成が常に可能ではないこと（ユニタリ同値性の意味でも）を証明する。

ABSTRACT

We discuss the detectable subspaces of an operator. We analyse the relation between the M-function (the abstract Dirichlet to Neumann map) and the resolvent bordered by projections onto the detectable subspaces. The abstract results are explored further by an extensive study of the Friedrichs model, together with illustrative applications to the Schroedinger and Hain-Luest-type models.

研究の動機と目的

• 抽象的境界三重項設定におけるM関数に関連する検出可能部分空間を定義・分析すること。
• M関数が検出可能部分空間上でのリゾルベントを一意に特定するかを同定すること。
• M関数の解析接続と本質的スペクトルを越えてのボーダー付きリゾルベントとの関係を調査すること。
• 特に実軸上でのM関数のジャンプとボーダー付きリゾルベントのジャンプとの関係を調査すること。
• 複素解析および作用素論の道具を用いて、フリードリヒスモデルにおける検出可能部分空間の明示的記述を提供すること。

提案手法

• 抽象的境界三重項理論を用いて、M関数を抽象的Dirichlet-to-Neumann写像として定義する。
• M関数に関連する解作用素の範囲の閉包として検出可能部分空間を定義する。
• リーズ＝ネヴァンリンナ因数分解とブルイングの定理を用いて、検出可能部分空間の直交補空間を特徴付ける。
• ハンケル作用素とトーペリッツ作用素を用いて、フリードリヒスモデルにおけるスペクトル的性質および検出可能性を分析する。
• 射影付きボーダー付きリゾルベントとその解析接続を用いて、スペクトルのジャンプとM関数のジャンプ行動との関係を関係づける。
• 再構成公式を確立する：M関数は1つのボーダー付きリゾルベントによって一意に特定され、ボーダー付きリゾルベントはM関数と解作用素の範囲から再構成可能である。

実験結果

リサーチクエスチョン

• RQ1 M関数は、検出可能部分空間に制限された1つのボーダー付きリゾルベントから一意に再構成可能か？
• RQ2 M関数と解作用素の範囲から、ボーダー付きリゾルベントはどの程度再構成可能か？
• RQ3 本質的スペクトルを越えて、M関数とボーダー付きリゾルベントの解析接続はどのように関係するか？
• RQ4 実軸上を越えてM関数のジャンプのランクとボーダー付きリゾルベントのジャンプのランクとの関係は何か？
• RQ5 複素解析的道具を用いて、フリードリヒスモデルの検出可能部分空間を明示的に記述可能か？

主な発見

• M関数は1つのボーダー付きリゾルベントによって一意に特定され、ボーダー付きリゾルベントはM関数と解作用素の範囲の族から再構成可能である。
• フリードリヒスモデルにおける検出可能部分空間は、トーペリッツ作用素の核を介して特徴付けられ、その直交補空間は $ \mathcal{S}_{\beta}^{\bot} = \overline{\phi} \left( H_2^+ \ominus (\overline{a} - \overline{\mu}_\alpha) H_2^+ \right) $ で与えられる。
• $ a(z) - \mu_\alpha $ のリーズ＝ネヴァンリンナ因数分解により、 $ \mathcal{S}_{\alpha}^\perp = \phi \left( H_2^- \ominus B_\alpha(z)\Sigma_\alpha(z) H_2^- \right) $ の分解が可能となり、スペクトル的記述が得られる。
• M関数のみから検出可能部分空間を完全に再構成可能とは限らず、ユニタリ同値性の意味でも抽象的逆問題理論の限界を示している。
• 対称的ケースでは、M関数から検出可能部分をユニタリ同値性の意味で回復可能であり、部分的な同定可能性を示唆している。
• 実軸上でのM関数のジャンプは、スペクトル射影のランクに対応し、解作用素構造を通じてボーダー付きリゾルベントのジャンプと関連している。