[論文レビュー] Weyl theory and explicit solutions of direct and inverse problems for a Dirac system with rectangular matrix potential

Bernd Fritzsche, Bernd Kirstein+2 more|arXiv (Cornell University)|May 10, 2011

Spectral Theory in Mathematical Physics参考文献 27被引用数 7

ひとこと要約

本稿では、長方形行列ポテンシャルを有するディラック系に対して、非古典的ウェイユ理論を展開し、一般化されたウェイユ関数を導入。ウェイユ関数が有理型である場合、直接問題および逆問題の明示的解を提供する。主な貢献は、ムービus変換および行列球を用いた構成的枠組みにより、特に一般化された擬指数的ポテンシャルを有する系において、解を特徴づけるものであり、非正方行列の場合のウェイユ関数の存在、一意性、およびスペクトル的性質を確立する。

ABSTRACT

A non-classical Weyl theory is developed for Dirac systems with rectangular matrix potentials. The notion of the Weyl function is introduced and the corresponding direct problem is treated. Furthermore, explicit solutions of the direct and inverse problems are obtained for the case of rational Weyl matrix functions.

研究の動機と目的

• $ m_1 \neq m_2 $ である長方形行列ポテンシャルを有するディラック系に対して、古典的スペクトル理論がカバーしない場合にウェイユ理論を拡張すること。
• そのような系に対して一般化されたウェイユ関数を定義・解析し、上半平面における存在性、一意性、および非拡張性を証明すること。
• 特に一般化された擬指数的ポテンシャルを有する系に対して、有理型ウェイユ行列関数を用いた直接問題および逆問題を明示的に解くこと。
• 関連するハミルトニアン作用素のスペクトル的性質を確立すること。特に、行列 $ \theta $ の実固有値に対応する有界状態の存在を示すこと。

提案手法

• 性質-j を持つ、$ m \times m_1 $ 行列関数 $ \mathcal{P}(z) $ のクラスを導入し、上半平面で $ \mathcal{P}(z)^* \mathcal{P}(z) > 0 $ および $ \mathcal{P}(z)^* j \mathcal{P}(z) \geq 0 $ が成り立つように保証する。
• 基本解 $ u(x,z) $ を用いて Möbius 変換の集合 $ \mathcal{N}(x,z) $ を定義し、$ \varphi(z) = \bigcap_{x<\infty} \mathcal{N}(x,z) $ として一般化されたウェイユ関数を定義する。
• GBDT（Davies-Bethe-Goldstone-Transmutation）形式主義を用いて、特に有理型ウェイユ関数の場合に直接問題および逆問題の明示的解を構成する。
• 系の基本解およびポテンシャルを用いて行列 $ \theta $ を定義し、そのスペクトル的性質を導出する。特に $ \sigma(\theta) \subset \mathbb{C}_- \cup \mathbb{R} $ を得る。
• GBDT 変換から得られる $ \Lambda $, $ \Sigma $, $ \theta $ を用いて、$ v(x) = -2i \Lambda_1(x)^* \Sigma(x)^{-1} \Lambda_2(x) $ としてポテンシャル $ v(x) $ を明示的に構成する。
• 行列 $ \theta $ の実固有値が、ハミルトニアン $ \mathcal{H} $ の有界状態 $ g $ をもたらすことを証明する。その状態は $ \mathcal{H}g = \lambda g $ および $ g(0) = 0 $ を満たす。

実験結果

リサーチクエスチョン

• RQ1 長方形行列ポテンシャル $ m_1 \neq m_2 $ を有するディラック系に対して、非古典的ウェイユ理論をどのように展開できるか。
• RQ2 非正方行列の場合における一般化されたウェイユ関数の構造と存在条件は何か。また、その系のスペクトル的性質とはどのように関係するか。
• RQ3 ウェイユ関数が有理型である場合に、直接問題および逆問題の明示的解を構成できるか。
• RQ4 行列 $ \theta $ はスペクトルデータを特徴づける役割を果たすが、その固有値は有界状態の存在とどのように関係するか。
• RQ5 一般化された擬指数的ポテンシャルはどのように明示的解をもたらし、その結果として得られるポテンシャルおよび基本解の構造はどのようなものか。

主な発見

• 一般化されたウェイユ関数 $ \varphi(z) $ は、上半平面 $ \mathbb{C}_+ $ で正則かつ非拡張的であり、すべての $ x < \infty $ に対して $ \mathcal{N}(x,z) $ の集合の共通部分として定義されるため、存在および一意性が保証される。
• 有理型ウェイユ行列関数の場合、GBDT 形式主義を用いて直接問題および逆問題の明示的解が構成され、ポテンシャル $ v(x) $ は $ v(x) = -2i \Lambda_1(x)^* \Sigma(x)^{-1} \Lambda_2(x) $ として与えられる。
• GBDT 変換を用いて定義される行列 $ \theta $ は $ \sigma(\theta) \subset \mathbb{C}_- \cup \mathbb{R} $ を満たし、すべての固有値が閉じた下側半平面または実軸上にあることを示す。
• 行列 $ \theta $ の実固有値 $ \lambda $ に対応する有界状態 $ g(x) = j\Lambda(x)^*\Sigma(x)^{-1}f $ は、ハミルトニアン $ \mathcal{H} $ に対して $ \mathcal{H}g = \lambda g $ および $ g(0) = 0 $ を満たす。
• 基本解 $ u(x,z) $ は、$ z \in \mathbb{C}_+ $ に対して $ u(x,z)^* j u(x,z) \leq j $ を満たし、Möbius 変換枠組みの適切な定式化を保証する。
• 逆問題は、GBDT 変換を用いて有理型ウェイユ関数からポテンシャル $ v(x) $ を再構成することで明示的に解かれる。ポテンシャルは局所可summableであり、解は一様有界である。