[論文レビュー] A non-overdetermined inverse problem of finding the potential from the spectral function

А. Г. Рамм|arXiv (Cornell University)|Nov 20, 2000

Numerical methods in inverse problems参考文献 9被引用数 4

ひとこと要約

本稿は、$ n \geq 3 $ における有界領域 $ D \subset \mathbb{R}^n $ 内の滑らかで実数値のポテンシャル $ q(x) $ が、境界 $ S $ におけるスペクトル関数 $ \theta(s,s,\lambda) $ の値から一意に特定可能であることを確立する。シュレーディンガー作用素 $ L = -\nabla^2 + q(x) $ のすべての固有値が単純であるという仮定の下で、境界におけるスペクトル関数のデータが一意にポテンシャルを再構成可能であることを示す。この結果は、過剰なデータを必要としない逆問題を解き、境界データとしてのスペクトル関数の値がポテンシャルを一意に復元可能であることを示している。

ABSTRACT

Let $D\subset \R^n$, $n\geq 3,$ be a bounded domain with a $C^{\infty}$ boundary $S$, $L=- abla^2+q(x)$ be a selfadjoint operator defined in $H=L^2(D)$ by the Neumann boundary condition, $ heta(x,y,\lambda)$ be its spectral function, $ heta(x,y,\lambda):=\ds\sum_{\lambda_j<\lambda} \phi_j(x)\phi$ where $L\phi_j=\lambda_j\phi_j$, $\phi_{j N}|_S=0,$ $\|\phi_j\|_{L^2(D)}=1$, $j=1,2,...$. The potential $q(x)$ is a real-valued function, $q\in C^\infty(D)$. It is proved that $q(x)$ is uniquely determined by the data $ heta(s,s,\lambda) \forall s\in S$, $\forall \lambda\in \R_+$ if all the eigenvalues of $L$ are simple.

研究の動機と目的

• 滑らかで実数値のポテンシャル $ q(x) $ が、過剰なデータを必要としない設定においてスペクトルデータから一意に復元可能かどうかを解明すること。
• 境界 $ S $ におけるスペクトル関数 $ \theta(s,s,\lambda) $ が、領域内でのポテンシャル $ q(x) $ を一意に特定可能かどうかを特定すること。
• シュレーディンガー作用素のすべての固有値が単純であるという条件下で、一意性を確立すること。
• ノイマン境界条件を伴うシュレーディンガー作用素に対する逆スペクトル問題の理論に貢献すること。

提案手法

• 本手法は、スペクトル関数 $ \theta(x,y,\lambda) = \sum_{\lambda_j < \lambda} \phi_j(x)\phi_j(y) $ に依存しており、ここで $ \phi_j $ はノイマン境界条件を満たす作用素 $ L = -\nabla^2 + q(x) $ の正規化固有関数である。
• 解析は、入力データとしての唯一の情報である $ s \in S $、$ \lambda \in \mathbb{R}_+ $ における対角成分 $ \theta(s,s,\lambda) $ に焦点を当てる。
• すべての固有値 $ \lambda_j $ の単純性を用いることで、固有関数 $ \phi_j $ が符号を除き一意に定まることを保証し、スペクトルデータの再構成を可能にする。
• 重要なステップとして、境界値 $ \theta(s,s,\lambda) $ が、逆スペクトル技法を用いてポテンシャル $ q(x) $ を再構成するのに十分な情報を含むことを示す。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル $ q(x) $ は、スペクトル関数 $ \theta(s,s,\lambda) $ の境界値から一意に回復可能か？
• RQ2 スペクトルにどのような条件が課されると、境界におけるスペクトルデータが $ q(x) $ の一意的再構成に十分となるか？
• RQ3 固有値の単純性が逆問題の一意性に与える影響は何か？
• RQ4 境界における $ \theta(s,s,\lambda) $ のみを用いた場合、逆問題は過剰に定義されていないか？
• RQ5 ノイマン境界条件は、ポテンシャル再構成の一意性においてどのような役割を果たすか？

主な発見

• 作用素 $ L $ のすべての固有値が単純であるという仮定の下で、すべての $ s \in S $ およびすべての $ \lambda \in \mathbb{R}_+ $ におけるデータ $ \theta(s,s,\lambda) $ によって、ポテンシャル $ q(x) $ は一意に決定される。
• スペクトル関数 $ \theta(x,y,\lambda) $ が境界上の対角線に制限された場合、領域 $ D $ の内部における $ q(x) $ の再構成に十分な情報が含まれる。
• 滑らかなポテンシャル $ q \in C^\infty(D) $ および $ n \geq 3 $ かつ $ C^\infty $ 境界を有する領域 $ D \subset \mathbb{R}^n $ に対して、一意性の結果が成り立つ。
• ノイマン境界条件は、作用素 $ L $ の自己共役性を定義するために不可欠であり、境界データ $ \theta(s,s,\lambda) $ はこの条件を満たす固有関数から導かれる。
• データセット $ \theta(s,s,\lambda) $ が $ s \in S $ および $ \lambda \in \mathbb{R}_+ $ によってパラメータ化されていることから、単純性の仮定のもとでポテンシャル $ q(x) $ の自由度と一致しており、過剰定義のないことが保証される。
• 結果として、境界スペクトルデータ $ \theta(s,s,\lambda) $ は、完全なスペクトル測度でないにもかかわらず、ポテンシャルの全情報を含んでいることが示された。