[論文レビュー] Skew-self-adjoint Dirac systems with a rectangular matrix potential: Weyl theory, direct and inverse problems

Bernd Fritzsche, Bernd Kirstein+2 more|arXiv (Cornell University)|Dec 4, 2011

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

ひとこと要約

本稿では、長方形行列ポテンシャルを伴う歪自己随伴ディラック系に対して、非古典的ウェイユ理論を構築し、直接問題および逆問題を解くためにウェイユ関数を導入する。主な貢献は、ボルグ＝マルチェンコ型の一意性定理と、フォーカスング行列非線形シュレーディンガー方程式（fNLS）下でのウェイユ関数の線形分数型進化公式であり、これにより逆スペクトル再構成と非線形ダイナミクス解析が可能になる。

ABSTRACT

A non-classical Weyl theory is developed for skew-self-adjoint Dirac systems with rectangular matrix potentials. The notion of the Weyl function is introduced and direct and inverse problems are solved. A Borg-Marchenko type uniqueness result and the evolution of the Weyl function for the corresponding focusing nonlinear Schrödinger equation are also derived.

研究の動機と目的

• 長方形行列ポテンシャルを伴う歪自己随伴ディラック系に対して、非古典的ウェイユ理論を確立すること。ここで $ m_1 \neq m_2 $ であり、正方行列の場合よりもあまり研究が進んでいない。
• ウェイユ関数 $ \varphi(z) $ を定義・解析し、基本解 $ u(x,z) $ の漸近的挙動から導かれる主要なスペクトル的対象とする。
• 直接問題として、ポテンシャル $ v(x) $ からウェイユ関数を構成することを、逆問題として、$ \varphi(z) $ から $ v(x) $ を回復することを目的とする。
• ボルグ＝マルチェンコ型の一意性結果を導出し、ウェイユ関数 $ \varphi(z) $ がポテンシャル $ v(x) $ を一意に決定することを証明する。
• フォーカスング行列非線形シュレーディンガー方程式（fNLS）下でのウェイユ関数の進化を確立し、スペクトルデータと非線形ダイナミクスを結びつける。

提案手法

• 上半平面 $ \mathbb{C}_M $ で $ \mathcal{P}(z)^*\mathcal{P}(z) > 0 $ および $ \mathcal{P}(z)^*j\mathcal{P}(z) \geq 0 $ を満たす、メロモルフィック行列関数の族 $ \mathbf{P}_{\geq}(j,\mathbb{C}_M) $ を導入する。
• 基本解 $ u(x,z)^{-1} $ を用いて、$ x \to \infty $ における Möbius 変換 $ \varphi(x,z,\mathcal{P}) $ の交わりとしてウェイユ関数 $ \varphi(z) $ を定義する。
• 基本解 $ u(x,z) $ の構造と行列 Möbius 変換を用いて、$ \varphi(z) $ を得るための集合 $ \mathcal{N}(x,z) $ を定義する。
• 時間依存ディラック系と fNLS 動的下でのウェイユ関数の進化を導くために、リッカチ型変換 $ R(x,t,z) $ を適用する。
• 解析接続と行列リッカチ方程式を用いて、進化公式 $ \varphi(t,z) = (R_{21} + R_{22}\varphi(0,z))(R_{11} + R_{12}\varphi(0,z))^{-1} $ を導出する。
• 行列リッカチ解 $ R(x,t,z)^*jR(x,t,z) \leq j $ の単調性を用いて、$ \mathbb{C}_M $ における $ \varphi(z) $ の正定性および非拡大性を確立する。

実験結果

リサーチクエスチョン

• RQ1 長方形行列ポテンシャルを伴う歪自己随伴ディラック系（$ m_1 \neq m_2 $）に対して、非古典的ウェイユ理論をどのように構築できるか？
• RQ2 この非標準的設定下で、ウェイユ関数 $ \varphi(z) $ の適切な定義とは何か？ また、基本解からどのように構成されるか？
• RQ3 この枠組みにおいて、直接問題（$ v(x) $ から $ \varphi(z) $ を回復すること）は解けるか？
• RQ4 逆問題（$ \varphi(z) $ から $ v(x) $ を再構成すること）は解けるか？ また、解は一意的か？
• RQ5 フォーカスング行列非線形シュレーディンガー方程式下でのウェイユ関数の進化はどのように行われるか？ その進化の形は何か？

主な発見

• ウェイユ関数 $ \varphi(z) $ は、上半平面 $ \mathbb{C}_M $ で正則的かつ非拡大的であり、$ x \to \infty $ における Möbius 変換の交わりとして明確に定義される。
• ボルグ＝マルチェンコ型の一意性定理が確立された：$ \varphi(z) $ は、有界性および滑らかさの条件下で、ポテンシャル $ v(x) $ を一意に決定する。
• フォーカスング行列非線形シュレーディンガー方程式下でのウェイユ関数の進化は、線形分数型変換として与えられる：$ \varphi(t,z) = (R_{21} + R_{22}\varphi(0,z))(R_{11} + R_{12}\varphi(0,z))^{-1} $。
• 進化公式は $ \mathbb{C}_M $ で有効であり、上半平面全体に解析接続可能であり、時間経過に伴うスペクトルデータの一貫性を保証する。
• 行列リッカチ解 $ R(x,t,z) $ は $ R(x,t,z)^*jR(x,t,z) \leq j $ を満たし、時間発展下でもウェイユ関数が非拡大的であることが保証される。
• 本研究の結果は、長方形行列ポテンシャルを伴う可積分非線形方程式の ISpT アプローチにおける逆スペクトル法の基盤を提供する。