Inverse problems for semilinear elliptic equations with low regularity

技術的概要：低正則性を持つ半線形楕円型方程式の逆問題

問題の定義
本論文は、以下の形式の半線形楕円型方程式に対する逆境界値問題を取り扱います：
$$\Delta u(x) + a(x, u(x)) = 0 \quad \text{in } \Omega,$$
ここで、$\Omega \subset \mathbb{R}^n$（$n \geq 2$）は滑らかな境界を持つ有界領域であり、$a(x, t)$ は非線形性を表します。目的は、境界での測定値から非線形性 $a(x, t)$ を決定することです。具体的には、著者らは、固定された解 $w$ の近傍にある解のコーシーデータ集合を用いて、$a(x, t)$ が $w$ の近傍で一意に復元可能かどうかを調査します。

扱われる主要な課題は、非線形性の正則性です。[JNS23] などの先行研究では、$a(x, t)$ が $x$ に関して $C^{1,\alpha}$、$t$ に関して $C^3$ であることが要求されていました。本論文は、これらの正則性の仮定を、$x$ に関して $L^r$（ただし $r > n/2$）、$t$ に関して $C^{1,\alpha}$ まで低下させることを目指し、同時に既存の証明を簡素化します。本研究は、ディリクレ問題の適切性を事前に仮定するのではなく、潜在的な障害を許容するためにコーシーデータ集合を用いて問題を定式化します。

手法
アプローチは、第一階線形化、バナッハ空間における陰関数定理、およびランゲ近似論の組み合わせに依存します。手法の構造は以下の通りです：

1. 線形化と可解性：方程式を固定された解 $w$ の周りで線形化すると、$\Delta v + qv = 0$ が得られ、ここで $q(x) = \partial_u a(x, w(x))$ です。$q \in L^r(\Omega)$（$r > n/2$）であるため、標準的なディリクレ問題は有限次元の核 $N_q$ の存在により適切に定義されない可能性があります。著者らは、境界跡空間の部分空間 $D_q$ を構成して境界データを修正し、線形化された方程式の可解性を保証します（命題 2.1）。これは、より高い正則性が仮定される設定で用いられていた固有関数の法線微分への依存を不要にします。

2. 解写像：

   • 写像 $S$：非線形方程式の解 $u$ を、線形化された方程式の解 $v$ を介してパラメータ化する $C^1$ 写像 $S(v)$ が構成されます。以前の研究がバナッハの不動点定理の後に陰関数定理を用いたのに対し、本論文は陰関数定理を単一適用することで、$S$ の存在と $C^1$ 滑らかさの両方を確立します（命題 3.1）。
   • 写像 $T$：2 つの異なる非線形性 $a_1$ と $a_2$ を比較するために、第 2 の写像 $T_{a_2, w_1}$ が定義されます。この写像は、$a_1$ に関連する線形解 $v$ を受け取り、$S_{a_1, w_1}(v)$ によって生成された解と同じコーシーデータを持つ $a_2$ に対する解 $u_2$ を生成します。$T$ が $C^1$ であることを証明するには、一意継続の議論と、4 階方程式から導出される特定の射影演算子が必要です（命題 4.1、補題 4.5）。

3. 積分恒等式と一意性：コーシーデータ集合の包含関係（$C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$）を仮定することで、線形化されたポテンシャル $\partial_u a_1$ と $\partial_u a_2$ の差に関する積分恒等式が導かれます。線形シュレーディンガー方程式の解の積の完全性（[Cha90; Nac92; DKS13; BTW20] の結果）と一意継続の原理を用いることで、非線形性の微分が解の近傍で一致することを示します。

4. ランゲ近似：非線形性の局所的な決定を解の値の完全な近傍に拡張するために、ランゲ近似論が用いられます（第 6 節）。これにより、$L^r$ ポテンシャルを持つ線形化方程式の解が、解点の近傍の任意の値を近似できることが示され、$t$ のある範囲に対して $a(x, t)$ の復元が可能になります。

主要な貢献と結果

• 低減された正則性の仮定：主要な定理（定理 1.1 および 1.2）は、$r > n/2$ なる $a \in L^r(\Omega, C^{1,\alpha}(\mathbb{R}))$ に対する非線形性の一意性結果を確立します。これは、[JNS23] の $x$ に関する $C^{1,\alpha}$ および $t$ に関する $C^3$ の要件を改善したものです。
• 簡素化された証明：本論文は、より複雑な不動点議論を回避し、陰関数定理を直接利用することで、解写像 $S$ の存在と滑らかさに関する証明を簡潔化しています。
• 線形化における低正則性の処理：ポテンシャル $q$ が $L^r$ である場合に線形化方程式の可解性を扱うため、部分空間 $D_q$ が導入されました。これにより、低正則性のポテンシャルに対して固有関数の法線微分が自然な跡空間に含まれないという課題を克服しています。
• 主要定理：
  • 定理 1.1：2 つの非線形性 $a_1, a_2$ が共通の解 $w$ を持ち、$w$ 近傍の解に対して同じコーシーデータを持つ場合、$t$ が $w(x)$ の近傍にあるとき $a_1(x, t) = a_2(x, t)$ となります。
  • 定理 1.2：$a_1$ と $a_2$ が必ずしも共通の解を持たない場合でも、$a_1$ の解 $w_1$ 近傍でのコーシーデータ集合が関連している場合、$a_1$ はゲージ変換 $T_\phi a_2(x, t) = \Delta \phi(x) + a_2(x, t + \phi(x))$ の範囲で決定されます。ここで、$\phi$ は境界上でその法線微分とともに消えます。
• 線形ケースの復元：これらの結果は線形ケース $a(x, u) = q(x)u$ をカバーし、$r > n/2$（$n=2,3$ の場合は $r \geq 2$）なる $L^r(\Omega)$ のポテンシャルを復元します。著者らは、$n \geq 3$ における端点 $r=n/2$ および $n=2$ における他の文献で見られる特定の $L^{4/3+\epsilon}$ の結果は含まれていないと指摘しています。

意義と主張
本論文は、[JNS23] における最近の結果に対する低正則性の対応版を提供し、空間変数 $x$ における高い滑らかさを要求することなく、境界測定から非線形性（ゲージを除く）が一意に決定可能であることを示しています。著者らは、その手法が第一階線形化とランゲ近似に依存しており、通常 $t=0$ におけるテイラー級数のみを復元する高階線形化技法を回避していると強調しています。

この研究は、これらの逆問題における到達可能集合が常に開集合であることを強調しており、非線形性が解の近傍で決定可能であることを意味します。著者らは明示的に、$\Omega \times \mathbb{R}$ 全体で $a(x, t)$ を決定するとは主張しておらず（これは追加の仮定なしには一般的に不可能である）、むしろ特定の解軌道の近傍での決定であると述べています。これらの結果は、既存の逆問題フレームワークにおける正則性の向上と証明構造の簡素化として提示されています。