Quantitative observability for one-dimensional Schrödinger equations with potentials

技術的要約：ポテンシャルを持つ一次元シュレディンガー方程式の定量的観測可能性

問題設定
本稿は、実数直線 $\mathbb{R}$ 上の、実数値で有界かつ連続なポテンシャル $V(x)$ を持つ一次元シュレディンガー方程式を扱う。方程式は次のように与えられる：
$$i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t=0} = u_0 \in L^2(\mathbb{R}).$$
中心となる問いは、初期状態 $u_0$ が、可測な部分集合 $\Omega \subset \mathbb{R}$ 上の解 $u(t)$ を時間区間 $(0, T)$ にわたって観測することによって、一意に決定（かつ $L^2$ ノルムで有界に）できるか否かである。具体的には、著者らは以下の形式の不等式の確立を目指している：
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C(T, V, \Omega) \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt,$$
ここで、制御コスト $C(T, V, \Omega)$ は明示的に定量化される。本研究は、「粗い」制御領域、特に $(L, \zeta)$-厚い集合（すべての $x \in \mathbb{R}$ に対して $|\Omega \cap [x, x+L]| \geq \zeta L$ を満たす可測集合）に焦点を当てている。コンパクトな多様体や有界領域における観測可能性は十分に研究されているが、一般的な有界ポテンシャルを持つ非有界領域における、任意の短い観測時間 $T > 0$ のケースは、依然として研究が進んでいない。

手法
主定理の証明は、スペクトル解析、レゾルベント推定、および定量的な接着（gluing）議論を組み合わせた3段階の戦略に基づいている：

1. 低周波スペクトル不等式：
   著者らは、解の低周波成分に対するスペクトル不等式を確立する。これには、シュレディンガー作用素から導かれる2次元楕円方程式の微小性の伝播（propagation of smallness）の証明が含まれる。

• 著者らは、非発散形式の楕円方程式 $-\Delta \phi + V(x)\phi = 0$ を、発散形式 $\nabla \cdot (A(z)\nabla \tilde{\phi}) = 0$ へと還元するためのゲージ変換を利用する。
• 平面上の楕円方程式における微小性の伝播に関する最近の結果 [38] を活用し、$L^2$ 微小性推定を導出する。
• これにより、周波数 $\mu$ までの成分に関連するスペクトル射影 $\Pi_\mu$ に関する、$\|\Pi_\mu f\|_{L^2} \leq C e^{3\mu} \|\Pi_\mu f\|_{L^2(\Omega)}$ という形式のスペクトル不等式（補題 3.8）が得られる。この結果は、Lebeau-Moyano [27] による実解析的なポテンシャルのスペクトル不等式を、有界連続なポテンシャルへと拡張するものである。

2. 高周波レゾルベント推定：
   高周波成分については、著者らは Hautus 型のレゾルベント推定（補題 4.1）を導出する：
   $$\|f\|_{L^2}^2 \leq \frac{C}{\mu} \|(H - \mu)f\|_{L^2}^2 + C \|f\|_{L^2(\Omega)}^2.$$
   自由なシュレディンガー作用素 ($V=0$) に関しては [19] に同様の推定が存在するが、著者らは $V \in L^\infty(\mathbb{R})$ の場合について、より初等的な証明を提供している。この証明は、Logvinenko-Sereda の不確定性原理の定量的分析、具体的には厚い集合上での $\cos^2(\lambda(x-x_0))$ の積分推定（補題 4.2）を利用している。

3. FBI変換による定量的接着：
   解析において最も繊細な部分は、低周波と高周波の推定を組み合わせて完全な観測可能性の不等式を得ることである。作用素がコンパクトなレゾルベントを持たない非コンパクトな設定では、標準的なコンパクト性・一意性議論は成立しない。

• 著者らは、関連する熱半群の観測可能性から導かれる定量的な一意性継続特性を用いる。
• 1次元シュレディンガー方程式を1次元熱方程式へと写像する Fourier-Bros-Iagolnitzer (FBI) 変換を導入する。
• 熱半群の逆向き時間観測可能性（命題 3.10）を確立し、FBI 変換を適用することで、シュレディンガー解と熱解を結びつける定量的な一意性継続推定（命題 5.1）を導出する。
• これにより、作用素がコンパクトなレゾルベントを持たないために適用できない古典的なコンパクト性・一一意性戦略を回避し、推定値を「接着」することが可能となる。

主要な結果
主結果（定理 1.2）は、任意の $(L, \zeta)$-厚い集合 $\Omega$ および任意のポテンシャル $V \in C(\mathbb{R}) \cap L^\infty(\mathbb{R})$ に対して、任意の $T > 0$ について次を満たす定数 $C = C(V, L, \zeta)$ が存在することを述べている：
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C e^{\frac{C}{T^2}} \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt.$$
この結果の主な特徴は以下の通りである：

• 任意の短い時間： 観測可能性は、大きな時間 $T$ だけでなく、任意の $T > 0$ に対して成立する。
• 明示的な制御コスト： 制御コストの爆発率は、$e^{C/T^2}$ として明示的に与えられている。
• 一般的なポテンシャル： この結果は、自由な方程式や実解析的なポテンシャルに限定されていた従来の研究を拡張し、有界連続なポテンシャルに適用される。

ヒルベルトの一意性法（Hilbert Uniqueness Method）の帰結として、著者らは関連する非斉次シュレディンガー方程式の厳密な制御可能性も証明している（系 1.4）。

意義と主張
著者らは、本研究を既存の文献に対する重要な拡張として位置づけている：

• Huang-Wang-Wang [20] の拡張： 1次元自由シュレディンガー方程式に関する長時間観測可能性の結果を、任意の短い時間 $T > 0$ へと拡張し、さらに有界連続なポテンシャルを持つ作用素へと一般化した。これは、[20] で提起された短時間観測可能性に関する具体的な問いに答えるものである。
• Lebeau-Moyano [27] の拡張： 実解析的なポテンシャルに対して確立されていたスペクトル不等式を、1次元における有界連続なポテンシャルのケースへと拡張した。
• 非コンパクト設定： 本論文は、粗い制御領域を用いた非有界領域 ($\mathbb{R}$) 上の観測可能性の問題を扱っており、これはコンパクトな多様体のケースよりも遥かに研究が進んでいない設定である。
• 方法論的貢献： 著者らは、非コンパクト設定において熱とシュレディンガーの観測可能性の間の隔たりを埋めるための FBI 変換の使用を強調しており、これはコンパクトなレゾルベントを欠くために適用不可能な古典的なコンパクト性・一意性戦略に対する、定量的な代替案を提示している。

最後に、標準的な密度引数を用いることで、結果が $L^\infty(\mathbb{R})$ のポテンシャルにも拡張可能であることを述べているが、表記を簡潔にするため、主要な解析は連続ポテンシャルの場合に提示されている。