Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$

技術的概要：一般非線形性を持つ半線形楕円型偏微分方程式の逆問題

問題設定
本論文は、半線形楕円型方程式
$$\Delta u + a(x, u) = 0 \quad \text{in } \Omega,$$
における一般非線形性 $a(x, u)$ を、解の境界測定値から復元する逆問題を取り扱う。領域 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) は有界であり、$C^\infty$ 級境界を持つ。非線形性 $a$ は $C^k(\mathbb{R}, C^{2,\alpha}(\Omega))$ に属し、$k \ge 3$ と仮定される。利用可能なデータは、固定された解 $w$ の近傍にある解 $u$ に対するペア $(u|_{\partial\Omega}, \partial_\nu u|_{\partial\Omega})$ の集合として定義されるコーシーデータ集合（またはその局所版）である。

中心的な問いは、コーシーデータが関数 $a(x, z)$ を一意に決定するかどうかである。著者らは、既存の文献が制限的な条件下で一意性を確立したことを指摘している：

1. 一次線形化法（例：[Isa93], [IS94]）は、通常、適切性と最大値原理を確保するために $a(x, 0)=0$ および $\partial_u a(x, u) \le 0$ といった符号条件を必要とする。
2. 高次線形化法（例：[FO20], [LLLS21a]）は符号条件を除去したが、しばしば $u \equiv 0$ が解であること（$a(x, 0)=0$）およびゼロ点における線形化作用素が適切であること（0 がディリクレ固有値でないこと）という仮定に依存している。これらの手法は一般的に $a$ の $u$ に関するテイラー級数を復元し、$a$ を完全に復元するには実解析性が必要となる。

手法
著者らは、先行研究の制限的な仮定（特に導入部における仮定 (1.2)–(1.3) および (1.4)–(1.5)）を回避する枠組みを開発した。手法は以下の 3 つの主要な技術的柱に依存している：

1. 滑らかな解写像の構成：
   このアプローチの核心は、固定された解 $w$ の近傍における非線形方程式の解を、線形化方程式の解を用いてパラメータ化する滑らかな写像を構成することである。$q(x) = \partial_u a(x, w)$ とおく。線形化方程式は $\Delta v + qv = 0$ である。

   • 線形化作用素 $\Delta + q$ が適切でない場合（0 が固有値である場合）でも、フレドホルム理論を利用する。著者らは、核 $N_q$ とノイマンデータ $\partial_\nu N_q$ という有限次元の障害を処理する解作用素を定義し、核の直交補空間への射影を行う。
   • 陰関数定理と不動点論法（補題 2.3）を用いて、$V_q$（線形化方程式の解の空間）から $W_a$（非線形方程式の解の多様体）への $C^{k-1}$ 写像 $S_{a,w}$ を構成する。この写像は $S_{a,w}(v) = w + v + O(\|v\|^2)$ を満たす。

2. 定量的安定性と第二の解写像：
   2 つの異なる非線形性 $a_1$ と $a_2$ を比較するために、著者らは第二の解写像を構成する。局所コーシーデータ集合の包含関係 $C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$ が与えられたとき、$w$ に近い第一の方程式の解 $u_1$ に対して、同じコーシーデータを持つ第二の方程式の解 $u_2$ が存在することを示す。

   • 重要なのは、$u_2$ が $a_1$ の線形化方程式のパラメータ $v$ に滑らかに依存することを証明することである。これは、カルマン推定を用いて半線形方程式の解がそのコーシーデータによって定量的に安定して決定されることを示す定量的評価（補題 3.3）を確立することによって達成される。
   • これにより、$S_{a_1, w}$ と同じ線形化解 $v$ によってパラメータ化される写像 $T_{a_2, w}$ を構成することが可能となり、両方の写像が同じ境界データを持つことを保証する。

3. 線形化と密度論法：

   • 一次： $u_1(v)$ と $u_2(v)$ の方程式をパラメータ $v$ について微分し、共役線形化方程式の解に対して積分することで、著者らは $\partial_u a_1 - \partial_u a_2$ の差を含む積分恒等式を導出する。解写像の全単射性と解の積の密度（ランゲ近似）を用いることで、非線形性の一次微分が一致することを結論づける。
   • 高次： 低次微分が一致している場合、$k$ 回微分することで $k$ 次微分に対する同様の恒等式を導出する。

主要な貢献と結果

• 定理 1.1（共通解近傍での一意性）： 2 つの非線形性 $a_1$ と $a_2$ が共通の解 $w$ を持ち、その局所コーシーデータ集合が包含条件を満たすならば、小さな $\lambda$ に対して $a_1(x, w(x) + \lambda) = a_2(x, w(x) + \lambda)$ が成り立つ。この結果は、$\partial_u a$ に関する符号条件や $a(x, 0)=0$ という仮定を必要とせず、一般の非線形性に対して成立する。
• 定理 1.3（ゲージまでの一意性）： $a_1$ と $a_2$ が共通の解を持たない場合、コーシーデータはゲージ変換まで $a_2$ を $a_1$ の関数として決定する。具体的には、$a_1(x, w_1(x) + \lambda) = T_\phi a_2(x, w_1(x) + \lambda)$ であり、ここで $T_\phi a(x, u) = \Delta \phi + a(x, u + \phi)$ であり、$\phi = w_2 - w_1$ は同じ境界データを持つ 2 つの方程式の一意な解の差である。これにより、このゲージ不変性まで非線形性が正確に復元される。
• 定理 1.4（適切性なしの高次線形化）： 著者らは、背景解における線形化方程式が適切でない場合（すなわち、0 がディリクレ固有値でないという仮定なしに）でも、高次線形化が適用可能であることを示す。低次微分が一致すれば、$k$ 次微分は線形化方程式の解の積に関する直交条件を満たすことを示す。

意義と主張
本論文は、符号条件（$\partial_u a \le 0$ など）や背景解がゼロであること、あるいは線形化作用素が可逆であることという要件を除去することで、既存の結果を改善すると主張している。

• しばしば非線形性を制限された到達可能集合でのみ復元するか、符号条件を必要とする一次線形化の結果とは異なり、この仕事は固定された解 $w$ の完全な近傍において（ゲージまでの）一意性を確立する。
• 通常 $u=0$ における $a$ のテイラー級数のみを復元し（完全な復元には解析性が必要）、高次線形化の結果とは異なり、この仕事は解析性を仮定することなく、$z = w(x)$ の近傍における非線形性 $a(x, z)$ 自体を復元する。
• この手法は、スペクトル的障害（固有値）の存在下でも、フレドホルム理論を用いて有限次元の核を慎重に処理することで、線形解によって非線形解を局所的にパラメータ化する「良い」解写像を構成することに依存している。

著者らは、結果が一般の非線形性に対して有効であり、共通解が存在しない場合に観測されるゲージ不変性は既存の知見（例：[Sun10]）と整合的であると指摘している。この仕事は、線形化作用素が特異となり得る、より広範なクラスの半線形楕円型方程式に対する逆問題手法の適用範囲を拡大するものである。