$L^4$ norm of spectral projectors on polynomially small frequency intervals for $S^1$-symmetric surfaces

技術要約：$S^1$ 対称面における多項式的に小さい周波数間隔上のスペクトル射影器の $L^4$ ノルム

問題設定
本論文は、コンパクトなリーマン多様体 $(M, g)$ 上のラプラス・ベルトラミ演算子 $\Delta$ に関連するスペクトル射影器 $P_{\lambda, \delta}$ の作用素ノルムを調査している。具体的には、周波数区間 $[\lambda - \delta, \lambda + \delta]$ 上の射影器 $P_{\lambda, \delta}$ の $L^2(M)$ から $L^4(M)$ への写像特性を扱っている。帯域幅が単位幅（$\delta = 1$）の場合のケースは、Sogge の局所的評価によってよく理解されているが、帯域幅 $\delta$ がターゲットとなる周波数 $\lambda$ に対して多項式的に小さい（すなわち $\delta \ll 1$）領域では、グローバルな幾何学に依存するため、依然として未解決の課題となっている。著者らは、特に $\delta \geq \lambda^{-1/3 + \eta}$ の領域における、ユークリッド円板 $\mathbb{D}^2$ およびより一般に $S^1$ 作用の下で同型な曲面に着目している。

手法
アプローチは、$S^1$ 対称性によって利用可能な明示的なスペクトル分解に基づいている。手法は以下の段階を経て進行する：

1. 同時固有基底の分解： 問題は、$\sqrt{-\Delta}$ と回転生成子 $\frac{1}{i}\partial_\theta$ の同時固有関数の線形結合の $L^4$ ノルムを推定することへと還元される。円板上では、これらの固有関数はベッセル関数 $J_n(\lambda_{k,n} r)e^{in\theta}$ を用いて表現される。$L^4$ ノルムは、インデックスの四つ組 $\mathbf{n} = (n_1, n_2, n_3, n_4)$ に関する係数 $C_{\mathbf{n}}$ の和へと展開される。
2. 共鳴とゼロ和集合： 角方向の積分により、共鳴条件 $n_1 + n_4 = n_2 + n_3$ が課され、実質的な和の次元が減少する。著者らは「ゼロ和集合」を定義し、さらにインデックスの間隔に基づいてそれらを分類する。
3. マイクロローカルな三分割： 係数 $C_{\mathbf{n}}$ の解析は、ベッセル関数の挙動に基づき、そのコー スティック（caustic）集合（振幅が指数的減衰から振動へと遷移する点）に対する位置関係に応じて、3つの領域に分割される：
   • 内部（Interior）： 古典的に禁じられた領域の深部（指数関数的に小さい）。
   • コー スティック（Caustic）： コー スティック付近（エアリー関数によって近似される）。
   • 外部（Exterior）： 古典的に許容された領域（振動的であり、定常位相法によって近似される）。
4. 振動積分評価： 外部およびコー スティックの領域において、係数は大きなパラメータ $\lambda$ を持つ振動積分として書き換えられる。著者らは、位相関数の勾配の下限を利用した部分積分を用いている。極めて重要なステップは、位相の勾配が消失しないことを証明することであり、これは関数 $f(r, \nu) = \nu \arccos(\nu/r) - \sqrt{r^2 - \nu^2}$ の厳密な凸性を用いて確立される。
5. 算術的計数： 四つ組の和は、新しい算術的評価を用いて制御される。これには、厳密に凸な曲線の上または近くに位置する格子点（$\lambda$ によって再スケールされたもの）の分布を数えることが含まれる。著者らは、古典的な三角形に関する結果を四角形（ゼロ和条件を満たすもの）へと拡張した「四角形 Jarnik の補題」を証明し、寄与する項の数を抑え込むことで、新たな算術的評価を提示している。

主要な貢献と結果

• 主要定理 (Theorem 1)： ユークリッド円板 $\mathbb{D}^2$ において、境界および中心から離れた場所（具体的には、境界付近に集中するウィスパーリング・モードを除外した場所）において、著者らは以下のスペクトル射影器ノルムの評価を証明している：
  $$\| P_{\lambda, \delta} \chi(x, D) \|_{L^2 \to L^4} \lesssim_{\varepsilon, \eta} \lambda^{1/8} \delta^{1/8} \ln(\lambda)^{1/4}$$
  ここで、$\delta \geq \lambda^{-1/3 + \eta}$ であり、$\chi(x, D)$ はウィスパーリング・モードが集中する境界付近の小さな円錐を除外する擬微分作用素によるマイクロローカライザーである。
• 最適性と対数的な損失： $\lambda$ の指数 $1/8$ は、$\delta=1$ の場合の Sogge の指数 $\gamma(4)$ と一致しており、これは誤差が対数的な損失のみであることから、局所理論とほぼ整合していることを示している。著者らは、$\delta$ の指数（現在は $1/8$）は最適ではない可能性があるものの、正の指数であれば $\delta=1$ の場合に対する多項式的な改善を表していると述べている。
• $S^1$ 対称面への拡張 (Theorem 3)： 手法は、孤立した固定点を持つ、$S^1$ 等長作用を伴う一般的なコンパクト・リーマン面へと拡張される。この結果は、運動量写像の曲率およびコー スティック特異性の性質（具体的にはフォールド型）に関する条件によって定義される「正則領域」におけるマイクロローカリゼーションに対して成立する。
• 固有関数に関する系： これらの結果は、円板の内部における個々の $L^2$ 正規化された固有関数 $\phi_\lambda$ に対する改善された評価を意味する：$\|\phi_\lambda\|_{L^4} \lesssim \lambda^{1/12 + \eta}$。これは、標準的な Sogge の評価 $\lambda^{1/6}$（境界付近のウィスパーリング・モードによって飽和される）を改善するものである。

意義と主張

本論文は、対称性を持つ多様体上の薄い周波数間隔におけるスペクトル射影器の既存の評価に対する、重要な改善を提供すると主張している。円板の同時固有基底と、円板の特定の幾何学を明示的に利用することで、著者らは、質量が点や測地線ではなく、コー スティック上に集中することが $L^4$ の挙動を決定することを実証している。

著者らは、$L^4$ のケースが円板上の他の $L^p$ ノルムと比較して特異であることを強調している。平坦なトーラスでは $L^4$ ノルムが有界（Cooke-Zygmund）であるのに対し、円板はコー スティックのために対数的な成長を示す。本研究は、完全に理解されている局所的なケース（$\delta=1$）と、開いた問題である固有関数ノルム（$\delta=0$）との間のギャップを埋めるものである。

帯域幅 $\delta \geq \lambda^{-1/3 + \eta}$ の下限は、二つのソースから生じることが明記されている：すなわち、円問題（circle problem）や Weyl の法則の剰余に関連する固有値の算術的分布、および同時固有スペクトルの間隔である。著者らは、Jarnik の補題を用いてより小さな $\delta$ に対して手法を拡張できる可能性があることを認めつつも、本研究ではそれを追求していない。

手法は、位相関数の凸性の性質と新しい算術的計数評価に依存しており、堅牢であると提示されており、同様の幾何学的条件を満たす他の完全可積分系への適用可能性を示唆している。