[論文レビュー] A note on $L^p$-norms of quasi-modes

Christopher D. Sogge, Steven Zelditch|arXiv (Cornell University)|Jan 1, 2014

Advanced Harmonic Analysis Research参考文献 19被引用数 4

ひとこと要約

本稿は、$s$ 階の準固有関数に対する改善された $L^p$ ノルム推定と、収小するスペクトル区間へのスペクトル射影作用素に対する改善された作用素ノルムの境界との間の同値性を確立する。近年得られた固有関数に対する $L^p$ 界の拡張が、同じ幾何的条件下で準固有関数に対しても成り立つことを示し、スペクトル射影作用素に対する改善された界（非凸性）が、準固有関数のノルムに対する同様の改善をもたらすことを示す。

ABSTRACT

In this note we show how improved $L^p$-estimates for certain types of quasi-modes are naturally equaivalent to improved operator norms of spectral projection operators associated to shrinking spectral intervals of the appropriate scale. Using this, one can see that recent estimates that were stated for eigenfunctions also hold for the appropriate types of quasi-modes.

研究の動機と目的

• 準固有関数に対する改善された $L^p$-ノルム推定と、収小するスペクトル区間へのスペクトル射影作用素に対する改善された作用素ノルム境界との同値性を確立すること。
• 固有関数の $L^p$ 推定を改善するのに必要な幾何的条件が、同じ階数の準固有関数に対しても適用可能であることを示すこと。
• スペクトル射影作用素に対する非凸性界（すなわち、改善された作用素ノルム）が、準固有関数に対する改善された $L^p$-ノルム推定と同値であることを示すこと。
• 既存の固有関数に対する $L^p$ 界、例えば Sogge [12] におけるものも、同じ幾何的仮定のもとで準固有関数へ拡張可能であることを明確にすること。
• 自己焦点点や双曲的閉測地線といった幾何的構造が、準固有関数の $L^p$ ノルムの最大増大を可能にする役割を分析すること。

提案手法

• 区間 $[\nu, \nu + \nu^{-s}]$ へのスペクトル射影作用素に対する $L^p$-ノルム推定と準固有関数の間の同値性を用いる。
• 固有関数展開を用いて、スペクトル射影作用素 $\tilde{\rho}_\nu(\nu - \nu_j)$ を適用して準固有関数を定義する。
• スペクトル射影推定の双対形式を用いて、準固有関数の $L^p$ ノルムの境界を導出する。
• 作用素 $\tilde{\rho}_\nu(\nu - \nu_j)$ の改善された作用素ノルムが、準固有関数の $L^p$-ノルムの改善された減衰をもたらすことを確立する。
• 微局所解析と欠損測度を用いて、$L^p$ ノルムの増大を測地線および閉軌道の幾何に結びつける。
• 非正曲率多様体および平坦トーラスに関する既知の結果を応用し、スペクトル区間の明示的な収小率 $\nu^{-\nu}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような幾何的条件下で、固有関数に対する標準的な $L^p$ 界を超えて、準固有関数の $L^p$-ノルム推定を改善できるか？
• RQ2 改善された $L^p$-ノルム推定が、収小するスペクトル区間へのスペクトル射影作用素のノルムとどのように関係しているか？
• RQ3 スペクトル射影作用素のノルムが改善された場合、準固有関数の $L^\frown$-ノルムの最大増大が達成可能か？
• RQ4 自己焦点点や双曲的閉測地線が、準固有関数の改善された $L^p$-ノルム推定を可能にする役割を果たすか？
• RQ5 同じ幾何的仮定のもとで、固有関数に対する $L^p$-ノルム界が、階数 $s$ の準固有関数へどの程度拡張可能か？

主な発見

• 階数 $s$ の準固有関数に対する改善された $L^p$-ノルム推定は、長さ $\nu^{-s}$ の区間へのスペクトル射影作用素に対する改善された作用素ノルム境界と同値である。
• 非正曲率多様体では、$\|\psi_\lambda\|_{L^p} \leq C \lambda^{\sigma(p,n)} / \sqrt{\ln \lambda}$ が $p > \frac{2(n+1)}{n-1}$ に対して成り立つ。ただし $\|\psi_\lambda\|_{L^2} \leq 1$ かつ $\|\Delta \psi_\lambda + \lambda^2 \psi_\lambda\|_{L^2} = O(\lambda / \ln \lambda)$ を仮定する。
• 平坦トーラス $\mathbb{T}^n$ 上では、$\|\psi_\lambda\|_{L^p} \leq C \lambda^{\sigma(p,n) - \varepsilon(p,n)/2}$ が $p > \frac{2(n+1)}{n-1}$ に対して成り立つ。ただし $\|\Delta \psi_\lambda + \lambda^2 \psi_\lambda\|_{L^2} = O(\lambda^{1 - \varepsilon(p,n)})$ を仮定する。
• ノルム $\|\psi_\lambda\|_{L^\infty} = \Omega(\lambda^{(n-1)/2})$ を達成する零階準固有関数の存在は、条件 $\limsup_{\lambda \to \infty} \lambda^{-(n-1)/2} \|\chi_{[\lambda, \lambda + \lambda^{-1}]}\|_{L^2 \to L^\infty} > 0$ と同値である。
• 非散逸的自己焦点点をもつ実解析的多様体では、階数 $s$ の準固有関数で $\|\psi_\lambda\|_{L^\infty} = \Omega(\lambda^{(n-1)/2})$ を満たすものが存在する。
• 対数的収小率 $\varepsilon(\lambda) = 1/\ln \lambda$ は、非正曲率多様体上で改善された $L^p$ 推定をもたらし、測地線流の双曲的性質を反映する。