[論文レビュー] Localized $L^p$-estimates for eigenfunctions: II

Christopher D. Sogge|arXiv (Cornell University)|Oct 21, 2016

Advanced Harmonic Analysis Research参考文献 11被引用数 3

ひとこと要約

本稿は、次元 $n \geq 2$ のコンパクトなリーマン多様体上での $L^2$-正規化された固有関数の $L^p$-ノルムの改良估计に関する必要十分条件を確立する。このような改良が生じるのは、半径 $\lambda^{-1}$ の小規模な測地的球または半径 $\lambda^{-1/2}$ の測地線のチューブ近傍における $L^p$ または $L^2$ ノルムが、普遍的境界に達しない場合に限る。主な結果は、局所的ノルムが最適でない場合に加え、$t \neq 0$ に対して半波動作用素に包絡線（caustics）がないならば、$L^{p_c}$-ノルムの改良が成立することである。本研究は、すべての $p \neq p_c$ に対して固有関数の $L^p$-成長の構造を解明し、$p_c = \frac{2(n+1)}{n-1}$ を臨界指数として特定する。

ABSTRACT

If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2

研究の動機と目的

• コンパクトなリーマン多様体上での固有関数の $L^p(M)$-ノルム推定値の改良に関する必要十分条件を、すべての $p \neq p_c$ に対して特定すること。ここで $p_c = \frac{2(n+1)}{n-1}$ は臨界指数である。
• 局所的 $L^p$ または $L^2$ ノルム（小規模な測地的集合上）を用いて、$\|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)})$ となる $p > p_c$ および $2 < p < p_c$ の場合の固有関数の $L^p$-成長の構造を解明すること。
• すべての $p \in (2,\infty) \setminus \{p_c\}$ に対して局所的 $L^p$-改良が成立し、半波動作用素 $U(t) = e^{-it\sqrt{-\Delta_g}}$ が $t \neq 0$ のとき包絡線を持たないならば、$L^{p_c}(M)$-ノルムの改良が成立することを示し、十分な幾何的条件を同定すること。
• 局所的ノルム（$\lambda^{-1}$-球または $\lambda^{-1/2}$-チューブ上）が飽和していることによって、$L^p$-ノルム改良の失敗が特徴づけられることを示し、固有関数の一般的な挙動に関する理解のギャップを埋めること。

提案手法

• 分析には、$p > p_c$ の場合に半径 $\lambda^{-1}$ の測地的球上で、$2 < p < p_c$ の場合に長さ1の測地線の $\lambda^{-1/2}$-チューブ近傍上で、局所的 $L^p$ および $L^2$-ノルムを用い、普遍的境界の飽和を特徴付ける。
• 証明は、[15] の最近の結果（小規模な球上でスペクトル射影子の均一な $L^2$-有界性）に加え、ホルダーの不等式および $L^2$-制限推定（37）の双対形を用いる。
• 重要な技術的道具は、スペクトル射影子 $\rho(T(\lambda - P))$ 及びそれらに関連する核関数であり、核の有界性（37）および（40）は、compactly 範囲を持つフーリエ変換を持つシュワーツ関数 $|\rho|^2$ の性質から導かれる。
• 議論では、等高線集合を小径かつ正の間隔を保つ集合 $A_j$ に分解し、チエビシェフの不等式とコーシー＝シュバルツの不等式を適用して、$|\rho(T_\varepsilon(\lambda - P))h(x)| > \alpha$ を満たす集合の測度を制御し、推定 $|A| \leq \varepsilon \lambda \alpha^{-\frac{2(n+1)}{n-1}}$ を得る。
• 失敗の局所的境界がグローバル境界の失敗を意味することを示すことにより、グローバル $L^p$-改良と局所的 $L^p$ または $L^2$-改良の同値性を確立する。矛盾と測度論的推定を用いる。
• 包絡線の役割は半波動作用素 $U(t)$ を用いて分析され、$t \neq 0$ で包絡線がないことにより、すべての他の $p \neq p_c$ に対して局所的改良が成立する場合に $L^{p_c}$-ノルムの改良が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 $p > p_c$ の場合に、コンパクトなリーマン多様体上での固有関数の $L^p(M)$-ノルム推定値の改良に関する必要十分条件は何か？
• RQ2 $p > p_c$ の場合に、半径 $\lambda^{-1}$ の測地的球上での局所的 $L^p$ または $L^2$-ノルムは、どのように普遍的 $L^p$-境界の飽和に関係するか？
• RQ3 $2 < p < p_c$ の場合に、半径 $\lambda^{-1/2}$ の測地線のチューブ近傍は、$L^p$-ノルム改良を特徴付けるために果たす役割は何か？
• RQ4 多様体の幾何的条件下で、臨界 $L^{p_c}$-ノルムの改良が成立する条件は何か？ これは、すべての他の $p \neq p_c$ に対して改良を意味する。
• RQ5 $t \neq 0$ のとき半波動作用素 $U(t)$ に包絡線がないことは、すべての $p \neq p_c$ に対して局所的改良が成立する場合に、$L^{p_c}(M)$-ノルムの改良が成立する十分条件であるか？

主な発見

• $p > p_c$ の場合、$\|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)})$ となる $L^p(M)$-ノルムの改良は、半径 $\lambda^{-1}$ の測地的球上での局所的 $L^p$-ノルムが最適でない、すなわち $\sup_x \|e_\lambda\|_{L^p(B_{\lambda^{-1}}(x))} = o(\lambda^{\mu(p)})$ であるときにかつそのときに限り成立する。
• $p > p_c$ の場合、$L^p$-ノルムの改良が成立するためには、$\lambda^{-1}$-球上での $L^2$-ノルムが $\sup_x \|e_\lambda\|_{L^2(B_{\lambda^{-1}}(x))} = o(\lambda^{-1/2})$ を満たす必要があり、この条件は $L^p$-改良と同値である。
• $2 < p < p_c$ の場合、$L^p(M)$-ノルムの改良は、長さ1の測地線の $\lambda^{-1/2}$-チューブ近傍上での局所的 $L^p$-ノルムが最適でない、すなわち $\sup_{\gamma \in \Pi} \|e_\lambda\|_{L^p(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(\lambda^{\mu(p)})$ であることに同値であり、さらに $\sup_{\gamma} \|e_\lambda\|_{L^2(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(1)$ であることも同値である。
• すべての $p \in (2,\infty) \setminus \{p_c\}$ に対して局所的 $L^p$-改良が成立し、$t \neq 0$ で半波動作用素 $U(t)$ に包絡線がないならば、$L^{p_c}(M)$-ノルムの改良が保証され、これは十分な幾何的条件を提供する。
• 球面 $S^n$ は、極の周りの $\lambda^{-1}$-球上では $p \geq p_c$ に対して、および赤道の周りの $\lambda^{-1/2}$-チューブ上では $2 < p \leq p_c$ に対して、普遍的 $L^p$-境界を飽和しており、局所的条件の鋭さを示している。
• 証明により、局所的 $L^2$-ノルム（$\lambda^{-1}$-球または $\lambda^{-1/2}$-チューブ上）が普遍的境界に達しないならば、グローバル $L^p$-ノルムは改良され、これは飽和が改良をもたらさないという意味で鋭い。