[論文レビュー] Localized $L^p$-estimates of eigenfunctions: A note on an article of Hezari and Rivière

Christopher D. Sogge|arXiv (Cornell University)|Mar 25, 2015

Geometric Analysis and Curvature Flows参考文献 12被引用数 4

ひとこと要約

本稿では、以前の研究におけるスペクトル射影子の$L^p$バウンドを用いるだけで、コンパクトなリーマン多様体上の固有関数の局所的$L^p$推定値について、非半古典的で簡素な証明を提示する。主な結果は、臨界$L^p$ノルム（$p = 2(n+1)/(n-1)$）が、半径$r$の小さな測地的球上での局所的$L^2$ノルムによって制御されることを示し、測地的流れがエルゴディックである場合、密度1の固有値部分列についての$L^p$ノルムの改善が得られる。

ABSTRACT

We use a straightforward variation on a recent argument of Hezari and Rivière~\cite{HR} to obtain localized $L^p$-estimates for all exponents larger than or equal to the critical exponent $p_c= frac{2(n+1)}{n-1}$. We are able to this directly by just using the $L^{p}$-bounds for spectral projection operators from our much earlier work \cite{Seig}. The localized bounds we obtain here imply, for instance, that, for a density one sequence of eigenvalues on a manifold whose geodesic flow is ergodic, all of the $L^p$, $2

研究の動機と目的

• コンパクトなリーマン多様体上での固有関数の局所的$L^p$推定値について、半古典的でない直接的証明を提供すること。
• 臨界$L^p$ノルム（$p = 2(n+1)/(n-1)$）が、半径$r$の小さな測地的球上での局所的$L^2$ノルムによって制御されることを示すこと。
• 測地的流れがエルゴディックである場合、密度1の固有値部分列について、$L^p$ノルムの改善を確立することにより、量子エルゴディシティに関する先行結果を拡張すること。
• モデルケース（球面や非正曲率多様体など）におけるこれらの推定値の鋭さを分析し、自明な$O(r^{1/2})$の$L^2$ノルムバウンドが改善可能となる条件を同定すること。

提案手法

• Sogge [12] で得られたスペクトル射影子の$L^p$バウンドを基礎とする。
• ホルダーの不等式を用いて、測地的球上での局所的$L^2$ノルムと臨界指数$p_c = 2(n+1)/(n-1}$におけるグローバル$L^p$ノルムを関連付ける。
• 主な推定式 (1.2) の導出：$\|e_\lambda\|_{L^{p_c}(M)} \leq C \lambda^{(n-1)/(2(n+1))} \left( r^{-(n+1)/4} \sup_x \|e_\lambda\|_{L^2(B_r(x))} \right)^{2/(n+1)}$ で、$\lambda^{-1} \leq r \leq \text{Inj }M$ を満たす。
• 量子エルゴディシティ定理を活用し、局所的$L^2$ノルムが自明な$r^{1/2}$バウンドよりも速く減少する密度1の固有値部分列を選別する。
• モデルケースの分析：球面上のゾナールおよび最高重み球面調和関数、および球面および非正曲率多様体上のガウスビーム。
• 非正曲率多様体上でのBérardの局所的ウェイの法則の誤差推定を用いて、$r = \lambda^{-1}$ における改善された$L^2$ノルムバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 臨界指数$p_c = 2(n+1)/(n-1)$における固有関数の局所的$L^p$推定値は、半古典的でない方法で導出可能か？
• RQ2 多様体および固有関数にどのような条件下で、$\|e_\lambda\|_{L^2(B_r(x))}$ の自明な$O(r^{1/2})$バウンドが改善可能か？
• RQ3 改善された局所的$L^2$ノルムバウンドは、測地的流れがエルゴディックである多様体上での固有関数のグローバル$L^p$ノルムにどの程度まで改善をもたらすか？
• RQ4 負の曲率多様体で観察された$L^2$局在化における$\log\lambda$の改善を、$L^p$ノルムにおいて$\lambda^{-\kappa}$の改善に利用可能か？
• RQ5 $r(\lambda) = \lambda^{-\kappa}$（$\kappa > 0$）を満たし、$\sup_x \|e_\lambda\|_{L^2(B_{r(\lambda)}(x))} \lesssim r(\lambda)^{n/2}$ となるようなものがあるか。その場合、改善された$L^p$推定値が得られるか？

主な発見

• 主な推定式 (1.2) は、$r \in [\lambda^{-1}, \text{Inj }M]$ の範囲における測地的球上での局所的$L^2$ノルムによって、臨界$L^p$ノルム（$p = 2(n+1)/(n-1)$）を鋭く制御することを示している。
• 測地的流れがエルゴディックである多様体上では、密度1の固有値部分列について、$2 < p \leq \infty$ に対して $\|e_{\lambda_{j_k}}\|_{L^p(M)} = o(\lambda_{j_k}^{\sigma(p)})$ が成り立ち、[12] の一般バウンドを改善する。
• 球面上では、ゾナールおよび最高重み球面調和関数によって推定値が飽和され、バウンドの鋭さが確認される。
• 非正曲率多様体上では、Bérardの改善された局所的ウェイの法則により、$r = \lambda^{-1}$ において $\|e_\lambda\|_{L^2(B_r(x))} \lesssim r^{1/2}/(\log\lambda)^{1/2}$ が得られ、$p < \infty$ に対して$L^p$推定値に$\log\lambda$の改善がもたらされる。
• この結果から、$\|e_\lambda\|_{L^{p_c}(M)} \lesssim (r\lambda)^{(n-1)/(2(n+1))}$ が導かれる。したがって、局所的$L^2$バウンドを$r^{n/2}$ に改善できれば、$r(\lambda) = \lambda^{-\kappa}$ の場合に $\lambda^{-\kappa(n-1)/(2(n+1))}$ の改善が得られる。
• 本稿は、$r(\lambda) = \lambda^{-\kappa}$（$\kappa > 0$）を達成できれば、標準的な$L^p$バウンドに対して $\lambda^{-\kappa(n-1)/(2(n+1))}$ の改善が得られることを示しているが、これは未解決の問題のままである。