Inverse Resonance Problem for the Half-Line Schrödinger Operator with a Complex Robin Boundary Condition

技術的要約：複素ロビン境界条件を持つ半直線シュレディンガー作用素の逆共鳴問題

問題設定
本論文は、半直線 $x > 0$ 上の1次元シュレディンガー作用素に関する逆共鳴問題を取り扱う：
$$-u''(x) + q(x)u(x) = z^2 u(x),$$
ここで、ポテンシャル $q$ は $L^1(0, 1)$ に属するコンパクトな台を持つ複素数値関数である。作用素は、原点における複素ロビン境界条件に従う：
$$u'(0) - a u(0) = 0, \quad a \in \mathbb{C}.$$
目的は、スペクトルデータ（固有値および共鳴）からポテンシャル $q$ を一意に決定すること、およびスペクトルデータが有限エネルギー領域 $|z| < R$ で既知である場合の定量的安定性評価を確立することである。本研究は、ディリクレ境界条件（$u(0)=0$）に対して Marletta, Shterenberg, および Weikard が開発した手法を、より一般的なロビン境界の場合へと拡張するものである。

手法および解析的枠組み
証明戦略は、変換作用素法と、整関数論およびフーリエ解析を組み合わせたものに依拠している。アプローチの核心は以下の通りである：

1. 特性関数： ディリクレ・ジョスト関数 $\psi(z, 0)$ の代わりに、本論文ではロビン特性関数を用いる：
   $$F_a(z; q) := \psi_x(z, 0; q) - a \psi(z, 0; q).$$
   高エネルギー漸近挙動が 1 に正規化されるディリクレの場合とは異なり、ロビン特性関数は線形成長を示す：$|z| \to \infty$ において $F_a(z; q) = iz - a + O(1)$ である。

2. 変換作用素： ジョスト解は、変換核 $K_q(x, t)$ を用いて以下のように表現される：
   $$\psi(z, x) = e^{izx} + \int_{x}^{2-x} K_q(x, t) e^{izt} dt.$$
   2つのポテンシャル $q$ と $\tilde{q}$ の差は、それらの変換核の差（$B(x, t)$ と表記）を通じて解析される。

3. 境界トレースの修正： ロビン境界の場合における重要な修正は、変換核から導かれる境界量である。変換関係を $x=0$ で微分することにより、核とその微分を含む境界表現が得られる：
   $$C_a(t) = B_x(0, t) - a B(0, t).$$
   これは、ディリクレ解析で見られる単純な $B(0, t)$ という項に代わるものである。

4. アダマール因子分解と安定性： 本論文では、$F_a(z; q)$ に対する高エネルギー評価およびアダマール因子分解を確立する。有限データ安定性は、2つのポテンシャルの零点が $|z| < R$ 内で一致する場合を比較することで証明される。分析には以下が含まれる：

   • 特性関数の差 $D_a(z) = F_a(z; q) - F_a(z; \tilde{q})$ の推定。
   • $D_a(z)$ を、スカラー項 $B(0, 0)$ と、核の差のフーリエ積分へと分解すること。
   • ボルテラ構造を利用して、境界の評価を特性三角形の内部へと伝播させること。

主要な貢献および結果

• 高エネルギー漸近挙動と正規化： 本論文は、ロビン特性関数の線形成長を厳密に取り扱う。自由項 $iz - a$ が正規化因子として機能することを実証しており、これはディリクレの場合の定数正規化とは異なる。これには、標準的な積表現およびフーリエ解析における注意深い計算が必要となる。

• 有限データ安定性： 主な結果（定理 10.4）は、定量的な安定性評価を提供する。もし $F_a(z; q)$ と $F_a(z; \tilde{q})$ の零点が $|z| < R$ 内で一致する（あるいは $\varepsilon$-近い）ならば、ポテンシャルの差は $L^p$ 意味で有界となる。具体的には、$1 < p \le 2$ に対して：
  $$\sup_{0 \le x \le 1} \left| \int_x^1 (\tilde{q} - q)(s) ds \right| \le C \left( R^{-\beta} + \varepsilon R^\alpha \log R e^{C \varepsilon R^\alpha \log R} \right),$$
  ここで $\alpha = \frac{p}{3(3p-1)}$ および $\beta = \frac{p-1}{3(3p-1)}$ である。項 $R^{-\beta}$ は、スペクトルデータの区間 $R$ が増加するにつれて誤差が減少する速度を表している。

• 一意性： 固定されたロビンパラメータ $a$ に対して、固有値と共鳴の完全な集合（重複度を含めてカウント）は、$[0, 1]$ 上のポテンシャル $q$ をほとんど至る所において一意に決定する（系 11.1）。これは、安定性評価において $R \to \infty$ とすることで導かれる。

• 境界トレースの回復： 技術的に重要な成果は、境界トレース $B(0, t)$ の回復である。本論文は、フーリエ引数が境界の組み合わせ $C_a(t)$ の原始を制御する一方で、ボルテラ構造と後方グロンウォールの議論を用いることで、$C_a(t)$ の点別評価を必要とせずに $B(0, t)$ 自体を回復できることを示している。

意義と範囲
本論文は、複素ロビン境界条件に対して Marletta, Shterenberg, および Weikard の逆共鳴フレームワークを拡張したものである。主要な新規性は、特性関数の線形な高エネルギー成長および特定の境界の組み合わせ $B_x(0, t) - a B(0, t)$ を考慮するために、変換作用素の引数を適応させた点にある。

著者は、結果が固定されたロビンパラメータ $a$ に対して定式化されていることを強調している。もし $a$ が未知である場合、零点集合は、パラメータの差とポテンシャルの差の積分を含むスカラー関係（式 102）を伴って特性関数を決定するが、$(a, q)$ の同時識別性はここでは確立されていない。本研究は、境界条件が固定されている（ただし複素数である）場合の逆問題の安定性と一意性に関する厳密な基礎を提供するものであり、ディリクレの場合に見られる推定値の定性的形態を維持している。