[論文レビュー] The inverse problem for perturbed harmonic oscillator on the half-line

Dmitry Chelkak, Evgeny Korotyaev|ArXiv.org|Aug 29, 2005

Spectral Theory in Mathematical Physics参考文献 13被引用数 3

ひとこと要約

本稿は、半直線上の摂動された調和振動子の逆スペクトル問題を、ディリクレ境界条件のもとで解き、スペクトルデータ—固有値と変換されたノルム定数の集合—が、$ q \in \mathbf{H}_+ $ のポテンシャルを一意に決定することを証明する。主な貢献は、ポテンシャル空間における独立で実解析的座標を提供する、$ \{r_{2n+1}\} \in \ell^{2}_{3/4} $ の変換座標の導入であり、許容可能なスペクトルデータの完全な特徴付けを可能にする。

ABSTRACT

We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$ in $L^2(R_+)$, where $q\in H_+=\{q', xq\in L^2(R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{ m spectral data}={ m \{eigenvalues of\}T_D{ m \}}\oplus{ m \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to $q\in H_+$ is given. Moreover, we solve the similar inverse problem for the family of boundary conditions $ψ'(0)=b ψ(0)$, $b\in R$.

研究の動機と目的

• 摂動された調和振動子 $ T_D = -\psi'' + x^2\psi + q(x)\psi $ を $ \mathbb{R}_+ $ 上で、ディリクレ境界条件 $ \psi(0) = 0 $ を満たすものとして、逆問題を解く。
• クラス $ \mathbf{H}_+ = \{ q : q', xq \in L^2(\mathbb{R}_+) \} $ のポテンシャルに対応するスペクトルデータ—固有値とノルム定数—の集合を特徴付ける。
• $ \mathbf{H}_+ $ とスペクトルデータ（特にノルム定数の新しい変換により独立性と可積分性を保証する）との間の全単射写像を確立する。
• ロビン型境界条件 $ \psi'(0) = b\psi(0) $、$ b \in \mathbb{R} $ の族に対し、逆スペクトル理論を拡張する。

提案手法

• 元の $ \{s_{2n+1}\} $ から変換して得られる修正されたノルム定数 $ \{r_{2n+1}\} $ を導入し、$ \ell^{2}_{3/4} $ に属することを保証する。
• 非摂動的調和振動子の固有関数および固有値の漸近解析を用いて、$ q $ のフーリエ係数の項で表される摂動展開を導出する。
• スペクトル写像法を用い、$ \{\mu_{2n+1}(q)\} $、$ q(0) $、$ \{r_{2n+1}(q)\} $ をポテンシャル空間内の独立座標とみなす。
• $ \mathbf{H}_+ $ と積空間 $ \mathcal{S}_D \times \mathbb{R} \times \ell^{2}_{3/4} $ の間の実解析的同型写像を確立し、全単射性と滑らかさを保証する。
• $ L^2 $-ノルム推定と固有関数積の漸近的減衰を用いて、摂動展開における重要な二重和の収束を厳密に証明する。
• 逆問題を族 $ \{T_b\}_{b \in \mathbb{R}} $ に一般化し、$ b $ をスペクトルデータの式で明示的に表す公式を導出する（定理2.5）。

実験結果

リサーチクエスチョン

• RQ1 $ q \in \mathbf{H}_+ $ は、そのディリクレ固有値とノルム定数から一意に再構成可能か？
• RQ2 $ q \in \mathbf{H}_+ $ に対応するスペクトルデータ（固有値と追加データを含む）の完全な特徴付けは何か？
• RQ3 ノルム定数をどのように再定義すれば、ポテンシャル空間内での独立座標系として機能するか？
• RQ4 $ \mathbf{H}_+ $ からスペクトルデータへの逆スペクトル写像が実解析的同型写像であるか？
• RQ5 逆問題をロビン型境界条件 $ \psi'(0) = b\psi(0) $ の全族に拡張可能か？その場合、$ b $ はスペクトルデータからどのように特定されるか？

主な発見

• $ q \in \mathbf{H}_+ $ に対して、$ \{\text{ } T_D \text{ の固有値 }\} \cup \{\text{ノルム定数}\} $ への写像は一対一かつ全射である。
• 標準的なノルム定数 $ \{s_{2n+1}\} $ は独立性と可積分性に欠けるため、適切な座標系とはならない。代わりに変換された集合 $ \{r_{2n+1}\} $ が導入される。
• 変換された座標 $ \{r_{2n+1}\} $ は $ \ell^{2}_{3/4} $ に属し、固有値とは独立で、良好に振る舞うことが保証される。
• スペクトル写像 $ q \mapsto \left(\{\mu_{2n+1}(q)\}, q(0), \{r_{2n+1}(q)\}\right) $ は、$ \mathbf{H}_+ $ と $ \mathcal{S}_D \times \mathbb{R} \times \ell^{2}_{3/4} $ の間の実解析的同型写像である。
• 族 $ \{T_b\}_{b \in \mathbb{R}} $ に対する逆問題は解かれており、$ b $ はスペクトルデータの明示的式（定理2.5）で与えられる。
• 重要な二重和 $ S_k \to 0 $ が $ k \to \infty $ のとき収束することが厳密に証明され、これは摂動解析およびスペクトル写像に不可欠である。