一般ランダム係数を持つ逆問題への注記 — 境界観測の情報量階層の系統的比較

§01 背景と問題設定 — ランダム係数を持つ楕円型逆問題

楕円型偏微分方程式の逆問題研究の出発点は、Calderón が1980年に提唱した問題です。「領域の境界上で電圧を印加し電流を測定することで内部の電気伝導率を復元できるか」という問いであり、電気インピーダンストモグラフィー（EIT）という非侵襲医療画像技術の数学的基盤となりました。その後の数十年で、シュレーディンガー方程式の枠組みに拡張され、非破壊検査・地球物理探査・逆散乱問題など多岐にわたる応用を持つ豊かな数学分野が形成されました。

従来研究のほぼ全ては、係数が確定的（deterministic）という仮定に基づいています。例えば「伝導率 $\sigma(x)$ を $x$ の関数として境界測定のみから復元せよ」という問いは典型的な確定的逆問題であり、Sylvester–Uhlmann（1987年）による一意性定理をはじめ多くの深い結果が積み重ねられてきました。しかし現実のモデリングでは、地下岩盤の電気的性質や生体組織のインピーダンスは本質的なランダム変動を伴います。したがって「係数がランダムである場合の逆問題」は自然かつ重要な研究課題ですが、従来は十分に体系化されてきませんでした。

本論文の際立った特徴は「一般的なランダム性」を仮定している点です。通常のランダム係数研究では、独立性・マルコフ性・ガウス性など特別な確率構造を係数に課すことで解析を進めます。しかし本論文ではそのような構造を一切課しません。ポテンシャル $q$ は任意の確率法則を持てます。この一般性により、確率構造の欠如が逆問題においてどのような本質的障害をもたらすかという構造的な問いが浮き彫りになります。

具体的な設定を述べます。有界領域 $\Omega \subset \mathbb{R}^n$（$n \geq 2$）の上で、確率ポテンシャル $q: \Omega \to \mathbb{R}$ が与えられ、適切な正則性条件（例えば $q \in L^\infty(\Omega)$ a.s. および $0 \notin \sigma(-\Delta + q)$ a.s.）を満たすとします。ディリクレ境界データ $f \in H^{1/2}(\partial\Omega)$ を与えたとき、シュレーディンガー方程式の解 $u_q$ が定まり、境界ノイマン跡 $\partial_\nu u_q|_{\partial\Omega}$ が観測されます。問いは「この確率的観測量から $q$ の確率法則について何が分かるか」です。この問いに対して、4種類の観測量の情報量を体系的に比較することが本論文の中心的な寄与となります。

§02 ディリクレ・ノイマン写像と統計的観測量の4段階

ディリクレ・ノイマン（DtN）写像 $\Lambda_q$ は逆問題理論の中心的な道具です。ポテンシャル $q$ が与えられたとき、$\Lambda_q: H^{1/2}(\partial\Omega) \to H^{-1/2}(\partial\Omega)$ はディリクレ境界データ $f$ をノイマン境界跡 $\partial_\nu u|_{\partial\Omega}$ に対応させる有界線形作用素として定義されます。$q$ がランダム変数であるとき、$\Lambda_q$ は有界線形作用素に値をとる確率変数となります。

本論文が整理する4段階の観測量を順に解説します。

**第1層: $\Lambda_q$ の完全な法則**は最も情報量が多い観測量です。これは $\Lambda_q$ の確率分布全体を知ることに対応します。著者はこの完全な法則からランダムポテンシャル $q$ の法則が決定できることを示しています。この結果は「ほぼ自明」と述べられており、$q$ の法則の違いが $\Lambda_q$ の分布の違いとして反映されることから従います。決定論的設定での一意性定理の確率版への素直な拡張です。

**第2層: $\mathbb{E}[\Lambda_q]$（期待値DtN写像）**は $\Lambda_q$ を確率変数として平均をとった作用素です。「$\mathbb{E}[\Lambda_q]$ が分かれば平均ポテンシャル $\mathbb{E}[q]$ が分かるはず」という自然な期待がありますが、本論文の否定的結果はこの直感を崩します。全く異なる確率法則をもつ2種のランダムポテンシャルが同じ期待値DtN写像を持ちながら、異なる平均ポテンシャルを持てることが構成的に示されます。

**第3層: 境界双線形形式の有限モーメント階層**は $\mathbb{E}[\Lambda_q]$ より多くの情報を含むように見えますが、それでも不十分です。境界双線形形式 $B_q(f,g) = \langle \Lambda_q f, g \rangle_{\partial\Omega}$ の有限個の同時モーメントを全て知っても、平均ポテンシャル $\mathbb{E}[q]$ を決定できないという、より強い否定的結果が成立します。これは「有限個の境界モーメントには内在的な限界がある」という主張であり、分散や共分散の情報を加えても状況が改善しないことを示します。

**第4層: $\mathbb{E}[G_q(x,y)]$（平均化グリーン作用素）**は上記の否定的状況を反転させます。内部グリーン関数 $G_q(x,y)$ は作用素 $-\Delta + q$ の基本解（適切な境界条件付き）であり、その期待値を知ることは内部での点ごとの情報を直接観測することに相当します。著者はこの観測量がポテンシャルの点ごとの平均 $\mathbb{E}[q(x)]$ と点ごとの分散 $\mathrm{Var}(q(x))$ を決定できることを証明します。境界測定では得られなかった情報が内部測定で初めて回収されます。

graph TD
    A[完全な法則 Law_Λq] -->|肯定的| B[ランダムポテンシャルの法則を決定]
    C[期待値 E Λq] -->|否定的| D[平均ポテンシャルすら決定不可]
    E[有限モーメント階層] -->|否定的| F[平均ポテンシャルすら決定不可]
    G[平均化グリーン作用素 E Gq] -->|肯定的| H[点ごとの平均と分散を決定]
    H --> I[2原子モデル: 全モーメントを決定]

§03 主定理の詳細 — 否定的結果と肯定的結果の証明構造

本論文の数学的中心は、期待値DtN写像の無力さと平均化グリーン作用素の有力さという対比にあります。ここでは各結果の証明の戦略と数学的意味を解説します。

**否定的結果の証明アイデア**

期待値DtN写像 $\mathbb{E}[\Lambda_q]$ から平均ポテンシャルが決定できないことを示すために、著者は「反例の構成」という戦略を採ります。同じ $\mathbb{E}[\Lambda_q]$ を持ちながら異なる平均ポテンシャル $\mathbb{E}[q]$ を持つ2種類のランダムポテンシャルの族を明示的に構成します。この構成の鍵は「境界での補償関係」です。2つのランダムポテンシャルが境界での平均測定に関して打ち消し合うように設計されますが、内部では異なる平均値を保ちます。この種の「境界不感知変動」の存在は、逆問題の非線形性に起因するものであり、決定論的設定での一意性定理とのギャップを際立たせます。

有限個のモーメントに対する否定的結果はさらに精密な構成を要します。$k$ 個のモーメントすべてを一致させながら平均を変える扰動を構成するには、境界双線形形式が十分な自由度を持つことが必要です。著者が「一般的なランダム性」を仮定することが、この構成の自由度を確保する上で本質的な役割を果たします。特別な確率構造（例えばガウス性）を課していれば、有限モーメントからより多くの情報が回収できたかもしれません。

**肯定的結果の証明アイデア**

平均化グリーン作用素 $\mathbb{E}[G_q(x,y)]$ からポテンシャルの点ごとの平均と分散を復元する鍵は、グリーン関数が $q$ の局所情報を直接保持するという性質にあります。グリーン関数は内部の特定の点対点の相互作用を記述するため、$q(x)$ との関係が境界測定に比べてより直接的に解析できます。平均化によってランダム性が適切に「平滑化」され、1次・2次の局所情報が抽出可能になります。一方、DtN写像では $q$ の情報が解 $u_q$ 全体に複雑に影響し境界に投影されるため、期待値をとった際に情報が消失します。この対比は「測定の間接性の代償」という一般的な現象の鮮明な例示です。

**2原子モデルの完全決定**

2原子モデルとは、ポテンシャルが領域内の2点 $x_1, x_2$ にランダム係数 $c_1, c_2$ を置いた集中的な形をもつモデルです。このモデルでは $(c_1, c_2)$ の二点分布が問題となりますが、著者は平均化グリーン作用素から $(c_1, c_2)$ の全ての点ごとのモーメント $\mathbb{E}[c_1^{m_1} c_2^{m_2}]$（$m_1, m_2 \geq 0$）が決定できることを示します。これは二点分布の全情報を抽出できることを意味し、肯定的結果が単に1次・2次のモーメントに留まらない豊かな情報復元能力を持つことを実例で示しています。一般的なランダムポテンシャルに対しては平均と分散の決定に留まるのに対し、この特殊なモデルでは完全な情報回収が実現します。

§04 導電率方程式への拡張と確率的逆問題への含意

本論文の付録は、シュレーディンガー方程式で得られた全結果を導電率方程式に対しても平行して展開します。導電率方程式 $\nabla \cdot (\sigma(x) \nabla u) = 0$（ディリクレ境界条件付き）は Calderón の元々の問題設定であり、EIT への応用において直接的な重要性を持ちます。伝導率 $\sigma(x)$ がランダム変数となる設定で、シュレーディンガー方程式の場合と同様の比較が遂行されます。

導電率方程式の場合、DtN写像 $\Lambda_\sigma$ は $\sigma$ に対してより複雑な依存性を持ちます。それにもかかわらず、著者は同じ構造の結果が成立することを示します。期待値DtN写像からは平均伝導率 $\mathbb{E}[\sigma]$ が一般に決定できないが、平均化グリーン作用素からは点ごとの平均と分散が決定できます。

この並行性は単なる技術的便宜以上の意味を持ちます。シュレーディンガー方程式と導電率方程式の両方で同じ構造が成立するという事実は、「境界観測の情報量の限界」と「内部グリーン作用素の情報量の豊かさ」が特定の方程式に依存した偶然ではなく、楕円型逆問題に共通する一般的な現象であることを示唆します。

本論文全体から浮かび上がる数学的含意をまとめます。

**観測量の選択の本質的重要性**: 期待値DtN写像は「自然」に見える観測量ですが、逆問題の観点からは本質的に不十分です。平均化グリーン作用素という「より難しい」観測量に切り替えることで初めて意味のある情報が回収できます。これまで確定論的設定では自明視されてきた「境界測定の十分性」という問いが、ランダム設定では全く異なる様相を呈することが明確になります。

**確率構造の役割**: 特別な確率構造（独立性やガウス性）を課せば、期待値DtN写像からより多くの結果が得られたかもしれません。本論文が一般的なランダム性の下での否定的結果を確立することで、どのような確率構造が情報回収に不可欠かという問いが明確に定式化されます。これは今後の研究への見通しの良い足場を提供します。

**実用的観点**: 現実の計測問題において、単に平均的な境界データを集めるだけでは不十分であることが示されました。可能であれば空間的相関を保持した内部測定が情報復元に有効です。本論文は「注記（note）」を自認するとおり問題を開く性格が強く、一般ランダム係数に対するグリーン作用素の完全な情報量解析や高次モーメントの扱いは今後の課題として残されています。