The initial-to-final inverse problem for the heat operator

技術要約：熱演算子における初期状態から最終状態への逆問題

問題設定
本論文は、「初期状態から最終状態への写像」から熱生成係数 $V(t, x)$ を決定する逆問題に取り組んでいる。物理モデルは、熱伝導が発生する領域 $\mathbb{R}^n$ ($n \ge 2$) を想定しており、そこでは熱密度 $u(t, x)$ に比例して内部熱が生成される。これは以下の式によって支配される：
$$\partial_t u - \Delta u = V u \quad \text{in } (0, T) \times \mathbb{R}^n,$$
ここで、初期条件は $u(0, \cdot) = f$ である。

順問題は、任意の初期熱密度 $f$ に対してその最終熱密度 $u(T, \cdot)$ を割り当てる有界線形写像 $U_T: L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ を定義する。逆問題は、係数 $V$ がどのような条件を満たせば、写像 $U_T$ のみの知識から係数を一意に決定できるかを問うものである。

著者らは、$V \in L^1((0, T); L^\infty(\mathbb{R}^n))$ であり、超指数関数的減衰（すなわち、すべての $\rho > 0$ に対して $e^{\rho|x|}V \in L^\infty(\Sigma)$）を示す係数に焦点を当てている。ここで $\Sigma = (0, T) \times \mathbb{R}^n$ である。

手法
アプローチは、シュレディンガー方程式に対して以前に開発された Caro と Ruiz による戦略を放物型の設定に適応させたものである。手法は、主に以下の4つの段階で進行する：

1. 積分恒等式（直交関係）：
   著者らはまず、2つの係数 $V_1$ と $V_2$ が同一の初期状態から最終状態への写像（$U_T^1 = U_T^2$）を与える場合、ポテンシャル $V_1$ を持つ順問題の任意の解 $u_1$ と、ポテンシャル $V_2$ を持つ随伴（最終値）問題の任意の解 $v_2$ に対して、以下の直交関係が成立することを確立する：
   $$\int_\Sigma (V_1 - V_2) u_1 v_2 \, dx dt = 0.$$

2. 指数関数的に増大する解の構成：
   この関係を利用するために、著者らは空間および時間において指数関数的に増大する特殊な解を構成する。彼らは以下の形式の解を求める：
   $$u = e^{|\nu|^2 t + \nu \cdot x} (u^\sharp + u^\flat),$$
   ここで $\nu \in \mathbb{R}^n$ は大きなパラメータである。

• 主要項 ($u^\sharp$): この項は $\nu$ の方向に定数であり、$\nu$ に直交する超平面における熱方程式を解く。これは、当該超平面に制限された熱核を用いて構成される。
• 補正項 ($u^\flat$): この項は $V$ による摂動を考慮する。構成には、特定の演算子 $S_\nu$ を含む積分方程式を解くことが必要となる。主要な技術的障壁は、$|\nu| \to \infty$ となるにつれて $u^\flat$ が主要項に対して無視できる程度に小さい状態を維持することである。

3. ガウスモーメントによる主要な推定：
   核心となる技術的貢献は、補正項 $u^\flat$ が十分に速く減衰することを証明することにある。著者らは重み付き $L^2$ 空間を定義し、演算子 $S_\nu$ に関する重要な推定（命題 5.1）を証明する。この推定は、ガウス型乱数のモーメント母関数（補題 5.1）を利用しており、これにより $\nu$ の方向への熱核の並進不変性を制御することが可能となる。具体的には、大きな $|\nu|$ に対して、補正項のノルムが $O(1/|\nu|)$ のスケールで変化することを示す。

4. 直交関係の拡張：
   構成された解 $u^\nu$ および $v^\nu$ は指数関数的に増大するため、標準的な解空間 $C([0, T]; L^2(\mathbb{R}^n))$ には属さない。著者らは、熱方程式の放物型正則性を利用し、部分関数（カットオフ関数）を用いて部分積分を正当化することにより、これらの指数関数的に増大する解に対して直交関係 (2) を厳密に拡張する（セクション 6）。

主な結果
主要な結果は定理 1である。これは以下のように述べている：
$n \ge 2$ のとき、$V_1, V_2 \in L^1((0, T); L^\infty(\mathbb{R}^n))$ とし、両方の $V_1, V_2$ が超指数関数的減衰を持つと仮定する。このとき、
$$U_T^1 = U_T^2 \implies V_1 = V_2.$$
証明は、指数関数的に増大する解を拡張された直交関係に代入することによって進められる。$|\nu| \to \infty$ となるにつれ、補正項の寄与は消失し、主要項 $u^\sharp$ と $v^\sharp$ のみの積分が残る。主要項におけるパラメータを変化させることで、著者らはこの問題をフーリエ変換の問題へと帰着させ、最終的に $V_1 - V_2$ がほとんど至るところでゼロであることを示す。

意義および主張
本論文は、熱方程式に特化した初期状態から最終状態への逆問題の研究を開始するものであると主張している。一般的な構造は [8] で研究されたシュレディンガー方程式のケースと類似しているが、著者らは放物型演算子の性質が独特の課題と機会をもたらすことを強調している。

• 理論の拡張: 本研究は、初期状態から最終状態への写像に関する一意性の結果を、シュレディンガー方程式から放物型の設定へと拡張するものである。
• 技術的革新: 著者らは、補正項に対する重み付き $L^2$ 推定の導出が、ガウス型モーメント母関数を熱演算子の文脈に新規に適応したものであることを強調している。この推定は、$\mathbb{R}^n$ における非コンパクトな摂動を扱うために不可欠である。
• 境界データとの区別: 境界測定（ディリクレ・トゥ・ノイマン写像など）を用いた放物型方程式の逆問題に関する広範な文献とは異なり、本研究は初期状態から最終状態への写像からの 0 次係数の回復を扱う。この定式化により、標準的な境界データのアプローチの範囲を超える可能性のある非コンパクトな摂動を考慮することが可能となる。

本論文は、シュレディンガー方程式に対して提供された量子力学的な動機付けと同様に、熱拡散システムのデータ駆動型予測を理解するための基礎的なステップとして位置づけており、新たな実験的応用や将来の方向性を提案するものではない。