A note on several inverse problems with generally random coefficients

技術的概要：一般にランダムな係数を伴ういくつかの逆問題に関する注記

問題提起
本論文は、ランダムな係数を持つ楕円型方程式、特に有界領域 $\Omega \subset \mathbb{R}^n$ 上のシュレーディンガー方程式 $(-\Delta + q)u = 0$ に関する逆問題を調査する。中心的な問いは、境界データまたは内部データのさまざまな統計的要約から、ランダムなポテンシャル $q(\omega, x)$ に関するどのような情報を復元できるかである。ランダム性は「一般的にランダム」であると仮定されており、ガウス性、摂動的小ささ、微局所等方性、または部分集合への支局所性など、特別な確率構造は課されていない。

本研究は、ポテンシャルの法則を以下の 4 種類のデータから復元できるかどうかを比較する：

1. ディリクレ - ノイマン（DN）写像の完全な確率法則、$\text{Law}(\Lambda_q)$。
2. DN 写像の期待値、$\mathbb{E}\Lambda_q$。
3. 境界双線形形式 $\langle \Lambda_q f, g \rangle$ の有限個の結合モーメント。
4. 平均化された内部グリーン作用素、$\mathbb{E}G_q$（ここで $G_q = (-\Delta_D + q)^{-1}$）。

手法
本論文は、明示的な半径方向の構成、擬微分作用素の記号計算、および測度論的議論の組み合わせを採用している。

• 半径方向の反例：境界データの限界を示すために、著者は $\mathbb{R}^3$ の単位球内で明示的な滑らかで非負の半径方向ポテンシャルを構成する。球面調和関数の基底における DN 写像の固有値を解析することで、これらの固有値がパラメータ $N$ の 2 乗に対してアフィン依存性を持つことを特定する（ここでポテンシャルは $Q_N$ を通じて定義される）。これにより、$\Lambda_q = \frac{1}{2}\Lambda_{q_1} + \frac{1}{2}\Lambda_{q_2}$ となるような、異なるポテンシャル $q_1, q_2$ と決定論的ポテンシャル $q$ を構成できる。
• モーメント階層：ヴァンデルモンド行列の性質を用いて、DN 写像の結合モーメントが任意の固定された次数 $M$ まで一致するが、平均ポテンシャルが異なるような、有限個の値をとるランダムポテンシャルを構成する。
• 記号解析：内部データについては、グリーン作用素の完全な内部記号を利用する。レゾルベント $(-\Delta + q)^{-1}$ のパラトリックス展開を平均化することで、ポテンシャルおよびその導関数の点ごとのモーメントに対応する記号展開の項を分離する。
• 決定論的一意性の持ち上げ：ルシン＝ソウスリンの定理を適用し、決定論的逆問題がボレル類上で単射であれば、DN 写像成分の結合法則（境界関数の稠密な列に関する）が、ランダム係数の法則を一意に決定することを示す。

主要な貢献と結果

1. 平均化された境界写像の障害：
   主要な否定的結果として、期待ディリクレ - ノイマン写像 $\mathbb{E}\Lambda_q$ は平均ポテンシャル $\mathbb{E}q$ を決定しないことが示される。本論文は、2 値のランダムポテンシャル $Q$ と決定論的ポテンシャル $q^*$ を構成し、$\mathbb{E}\Lambda_Q = \Lambda_{q^*}$ かつ $q^* \neq \mathbb{E}Q$ となることを示す。この障害は、任意の有限の結合モーメント階層にまで拡張される。$\langle \Lambda_q f, g \rangle$ の $M$ 次までのすべてのモーメントを知っても、$\mathbb{E}q$ を決定するには不十分である。これは、平均化と有限モーメントの切り捨てが、単なる決定論的一意性の失敗を超えた情報の損失を引き起こすことを示している。

2. 完全な法則からの復元：
   モーメントに基づく結果とは対照的に、DN 写像の完全な結合法則（具体的には、可算個の行列成分 $\langle \Lambda_q f_i, f_j \rangle$ の結合法則）が既知であれば、基礎となる決定論的逆問題が単射である限り、ランダムポテンシャルの法則は一意に決定されることを確立する。この結果は、ノイズに特定の統計構造を必要とすることなく、古典的な決定論的一意性定理（例えば $n \ge 3$ におけるシルベスター＝ウルマンの定理など）を直接確率設定へと持ち上げるものである。

3. 平均化されたグリーン作用素からの復元：
   平均化された内部グリーン作用素 $\mathbb{E}G_q$ は、平均化された境界写像よりもはるかに多くの局所情報を含んでいることが示される。

   • 点ごとのモーメント：$\mathbb{E}G_q$ の完全な内部記号は、ポテンシャルの点ごとの平均 $\mathbb{E}q$ と分散 $\text{Var}(q)$ を決定する。
   • 2 原子剛性：2 値のランダムポテンシャルの場合、平均化されたグリーン作用素は 2 点法則のすべての点ごとのモーメントを決定する。これは、境界写像とは異なり、ポテンシャルから平均化されたグリーン作用素への写像が 2 原子分布に対して単射であることを意味する。
   • 有限次元モデル：ランダムポテンシャルが既知のプロファイル $V_j$ とコンパクトな支局所を持つランダムベクトル $X$ を用いて $q(x) = q_0(x) + \sum X_j V_j(x)$ の形をとる場合、プロファイルの非退化条件の下で、平均化されたグリーン作用素は $X$ のすべての混合モーメント、したがって $X$ の完全な法則を決定する。

4. 伝導度の類似：
   付録では、これらの知見を伝導度方程式 $\nabla \cdot (\gamma \nabla u) = 0$ に拡張する。期待ノイマン - ディリクレ写像についても同様の反例が存在する。しかし、平均化された伝導度グリーン作用素については、主記号が $\mathbb{E}(\gamma^{-1})$ を決定し、次の次数が $\gamma^{-1}$ の対数勾配を含む重み付き共分散行列を決定する。

意義と主張
本論文は、一般的なランダム性の存在下における境界逆問題と内部逆問題の根本的な違いを明確にするものである。

• 境界対内部：結果は明確な対比を浮き彫りにする。境界データ（完全な統計的知識を有する場合でも）は、平均化または切り捨てられた場合に非一意性に陥るのに対し、内部のソースから解へのデータ（グリーン作用素）は、平均と分散の復元を可能にする局所モーメント情報を保持しており、特定のケースでは完全な法則の復元も可能である。
• 値域の特性付け：DN 写像に対する反例は、単なる確率的障害としてではなく、非線形写像 $q \mapsto \Lambda_q$ の値域に関する幾何学的な命題として解釈される。具体的には、その値域は、ポテンシャルのアフィン結合に対応しない決定論的写像の非自明なアフィン結合を含んでいる。
• 既存文献との対比：この研究は、通常、ガウス微局所等方場を仮定し共分散作用素の主記号を復元する逆散乱文献（例えば Lassas, Pääivärinta, Saksman; Caro, Helin, Lassas）とは区別される。本論文は、そのような特定の構造を仮定することなく、点ごとの平均と完全な法則の復元を取り扱い、境界モーメントからはそのような復元が不可能であるが、内部平均からは可能であることを示している。

本論文は、決定論的一意性が与えられれば境界写像の完全な法則は理論的に復元に十分であるが、実用的または部分的な統計データ（期待値、有限モーメント）は、境界問題では不十分であるのに対し、記述された条件の下では内部問題では十分であることを結論付けている。