On the observability of the Schrödinger equation in the torus from open sets

技術的概要：トーラス上のシュレーディンガー方程式の可観測性に関する開集合からの考察

問題提起
本論文は、$d$ 次元トーラス $\mathbb{T}^d = \mathbb{R}^d/(2\pi\mathbb{Z})^d$ 上のシュレーディンガー方程式が、開部分集合 $\omega \subset \mathbb{T}^d$ から可観測かどうかを調査する。中心的な問いは、有限時間区間 $(0, T)$ において解を部分領域 $\omega$ 上でのみ監視することによって、解の全エネルギーを復元できるかどうかである。著者らは 2 つの異なるモデルを分析する：

1. 自由シュレーディンガー方程式 ($i\partial_t u - \Delta u = 0$)。
2. 有界ポテンシャルを伴うシュレーディンガー方程式 ($i\partial_t u - \Delta u + V(t, x)u = 0$)。ここで $V \in L^\infty$ である。

本研究は、2 つの特定の領域に対処する：すなわち、短い時間および小さな観測集合（特に区間の積）に対する定量的評価、および任意の次元 $d \ge 1$ における任意の非空開集合と有界ポテンシャルに対する可観測性の一般的妥当性である。

手法
2 つの主要な定理の証明は、Bourgain [Bou14] によって導入され、Burq および Zhu [BZ25] によってさらに発展させられた手法に基づき、クラスター分解技術と数学的帰納法の統合に依存している。2 つの主要な結果に対して戦略はわずかに異なる：

• 自由方程式の場合（定理 1.1）： 証明は高周波成分と低周波成分に分割される。

  • 高周波： 著者らは集合 $S_N = \{(n, |n|^2) \in \mathbb{Z}^{d+1} : |n| > N\}$ のクラスター構造を利用する。この集合を、空間的に分離され、低次元のアフィン部分格子に含まれる互いに素なクラスターに分割する。これらの部分格子の次元に関する帰納的議論により、高周波の可観測性評価が得られる。
  • 低周波： 著者らは定量的な一意接続評価を確立する。これは、定量的な Lebeau-Robbiano 戦略、Turán-Nazarov 不等式、およびスペクトル評価を用いて、問題を熱方程式に対する可観測性評価に帰着させることで達成される。
  • 統合： 高周波評価と低周波の一意接続を組み合わせ、観測集合の測度 $|\omega|$ と時間 $T$ への依存性を慎重に定量化することで、最終的な評価が導き出される。

• 有界ポテンシャルを伴う方程式の場合（定理 1.2）： 手法は、まず弱い可観測性不等式を確立し、その後、剰余項を除去するためにコンパクト性・一意性論法（[BLR92] に着想を得た）を適用する。

  • 弱い可観測性： 解 $u$ を $\mathbb{T}^{d+1}$ 上の関数 $U$ に時間切断する。著者らは周波数分解を行い、超曲面 $m = |n|^2$ 付近の周波数を分離する。集合 $S'_N = \{(n, m) : |n| > N, |m - |n|^2| \le A\}$ に対するクラスター分解を用いて、局所化された高周波部分に対する可観測性評価を証明する。
  • 剰余項の除去： コンパクト性・一意性論法が適用される。著者らは、$\omega \times (0, T)$ 上でゼロ観測を生み出す初期データの部分空間が有限次元であり、かつ演算子 $-\Delta + V$ に対して安定であることを示す。一意接続性（時間非依存ポテンシャルの場合、または時間依存ポテンシャルに対して仮定される場合）を援用することで、この部分空間が自明であることを証明し、弱い不等式を完全な可観測性評価に昇格させる。
  • 直接的处理： 注目すべき手法上の利点として、著者らは有界ポテンシャル $V \in L^\infty$ を直接扱い、先行文献で一般的な手法である滑らかなポテンシャルによる $V$ の近似を回避している点が挙げられる。

主要な貢献と結果

1. 自由方程式に対する定量的評価（定理 1.1）：
   著者らは、観測集合 $\omega$ が小さな区間の積であり、時間 $T$ が短い場合の、自由シュレーディンガー方程式に対する定量的可観測性評価を確立する。評価は以下の形をとる：
   $$\|u_0\|_{L^2}^2 \le C \exp\left( \frac{C}{(|\omega|T)^{C'}} \right) \int_0^T \|e^{-it\Delta}u_0\|_{L^2(\omega)}^2 dt$$
   この結果は、Tao [Tao21] の仕事を次元 $d=2$ および小さな球から、より高次元および積集合へと拡張するものである。著者らは、$\log \log \epsilon^{-1}$ 項の欠如により、定数 $|\omega|$ と $T$ への依存性が Tao の結果と比較して漸近的に鋭くないことを認めているが、彼らの手法は集合の測度と時間区間の両方に対する明示的な定量化を提供する。

2. 有界ポテンシャルに対する可観測性（定理 1.2）：
   本論文は、任意の次元 $d \ge 1$、任意の時間 $T > 0$、および任意の非空開部分集合 $\omega$ に対して、単に有界なポテンシャル $V \in L^\infty(\mathbb{T}^d)$ を伴うシュレーディンガー方程式において可観測性が成り立つことを証明することで、この分野におけるよく知られた予想を解決する。

   • 時間非依存ポテンシャル $V(x)$ の場合、可観測性は無条件に成り立つ。
   • 時間依存ポテンシャル $V(t, x)$ の場合、ポテンシャルが一意接続性を満たす限り、可観測性は成り立つ。
     著者らは、彼らの手法がまだ正の測度を持つ任意の可測集合（Burq および Zhu [BZ25] によるより強い予想）には拡張されていないが、可測集合の積には対処できることに言及している。

意義と主張
本論文は、すべての次元におけるトーラス上の $L^\infty$ ポテンシャルを伴うシュレーディンガー方程式の可観測性に関する長年の予想を解決したと主張している。ポテンシャルを滑らかな関数で近似する手法を回避することで、粗いポテンシャルに対するより直接的な処理を提供している。

著者らは、彼らの仕事を既存の手法の洗練として位置づけ、特にトーラスの幾何学的およびスペクトル的な複雑さを処理するために Bourgain のクラスター分解を活用している。彼らは明示的に、自由方程式に対する定量的評価が $T$ と $|\omega|$ への依存性の点で鋭くない（これは熱方程式に比べてシュレーディンガー文献において限定的な関心しか集めてこなかった問題である）と述べているが、その結果は自由方程式とポテンシャル駆動方程式の両方に対する統一的な枠組みを提供していると主張している。

この結果は、制御理論における標準的な応用を持ち、具体的には定常シュレーディンガー作用素に対する解の評価や、Hilbert 一意性法を介した制御性の結果をもたらす。ただし、これらの応用の明示的な定式化については、著者らは既存の文献に委ねている。