[論文レビュー] Logarithmic improvements in $L^{p}$ bounds for eigenfunctions at the critical exponent in the presence of nonpositive curvature

Matthew D. Blair, Christopher D. Sogge|arXiv (Cornell University)|Jun 20, 2017

Advanced Mathematical Physics Problems参考文献 27被引用数 5

ひとこと要約

この論文は、非正曲率またはより一般に共役点をもたないコンパクトなリーマン多様体上での臨界指数 $p_c = \frac{2(d+1)}{d-1}$ における固有関数の $L^p$ 界における対数的改善を確立する。ジャコビ場の成長を分析し、波群における精密なカーネル推定を用いることで、スペクトル射影作用素の $L^2 \to L^{p_c}$ 演算子ノルムにおいて $ (\log \lambda)^{-\varepsilon_0} $ の増益を達成し、Sogge（1988年）の古典的境界を改善する。

ABSTRACT

We consider the problem of proving $L^p$ bounds for eigenfunctions of the Laplacian in the high frequency limit in the presence of nonpositive curvature and more generally, manifolds without conjugate points. In particular, we prove estimates at the "critical exponent" $p_c = \frac{2(d+1)}{d-1}$, where a spectrum of scenarios for phase space concentration must be ruled out. Our work establishes a gain of an inverse power of the logarithm of the frequency in the bounds relative to the classical $L^p$ bounds of the second author.

研究の動機と目的

• 高周波数極限における臨界指数 $p_c = \frac{2(d+1)}{d-1}$ における固有関数の古典的 $L^p$ 界の改善を目的とする。
• 多様体が非正曲率または共役点をもたない場合に、$L^{p_c}$ 評価における対数的増益を達成するという未解決問題に取り組む。
• 臨界ケース $p = p_c$ における $L^p$ 界の先行研究（$p \neq p_c$ の場合）を、$p_c$ において Kakeya-Nikodym 法および弱型法が失敗するという障害を克服することで拡張する。
• 微局所的および幾何的解析的手法を用いて、固有関数の完全な列が、密度1の部分列よりも良好な境界を満たすことを確立する。

提案手法

• 測地線に沿ったジャコビ場の幾何学を用いて、波群カーネルの $L^2$ ノルムの減衰を分析する。
• 非正曲率の下で、ジャコビ写像の行列式を用いて波群カーネルの大きさを制御する。
• 普遍被覆上での和分の議論を用いて、測地線のチューブ状近傍におけるスペクトル射影作用素の総質量を制御する。
• ジャコビ場の成長に関する下界、特に $ |\mathcal{Y}(t)X| \gtrsim t^{\delta_0} $ を用いて、カーネル和における減衰推定を導出する。
• スペクトル射影作用素に対する弱型 $L^{p_c}$ 推定を適用し、その後補間を用いて強型にアップグレードする。
• [BS18] で開発された Kakeya-Nikodym 平均の技術を、臨界指数に適応させるために、ヤコビアン行列式の均一な下界を保証する。

実験結果

リサーチクエスチョン

• RQ1 非正曲率の下で、臨界指数 $p_c$ における固有関数の $L^p$ 界に、対数的改善を達成できるか？
• RQ2 共役点や焦点点の不在が、古典的境界 $\lambda^{\delta(p_c,d)}$ を超える $L^{p_c}$ 評価の改善を可能にするか？
• RQ3 臨界点 $p_c$ における Kakeya-Nikodym 法および弱型法の失敗を、カーネル推定と波群解析を用いて克服できるか？
• RQ4 次の不等式を満たす最適な指数 $\varepsilon_0 > 0$ は何か：$ \| \mathbf{1}_{[\lambda, \lambda + (\log\lambda)^{-1}]}(P) \|_{L^2 \to L^{p_c}} \lesssim \lambda^{\delta(p_c,d)} (\log\lambda)^{-\varepsilon_0} $？
• RQ5 ジャコビ場の成長率は、$L^{p_c}$ 界における対数的増益にどのように影響するか？

主な発見

• 著者らは、非正曲率をもつコンパクト多様体上でのスペクトル射影作用素の $L^2 \to L^{p_c}$ 演算子ノルムにおいて、対数的増益 $ (\log \lambda)^{-\varepsilon_0} $ を確立する。
• この改善は、量子エルゴード性から得られる密度1の部分列とは異なり、固有関数の完全な列に対して一様に成立する。
• 主なメカニズムは、ジャコビ場の成長に関する均一な下界 $ |\mathcal{Y}(t)X| \gtrsim t^{\delta_0} $ であり、これによりジャコビ写像の行列式が下から押さえられる。
• この結果は、焦点点のない多様体、さらには $ \delta_0 > 0 $ のもとで $ \rho $-有界漸近線をもつ多様体へと拡張可能である。
• 次に、$ d \geq 4 $ の場合、指数 $ \varepsilon_0 $ は $ \min(\frac{d-1}{2}\delta_0, 1) $ で与えられ、$ d=2,3 $ の場合、より強い曲率仮定のもとでより良い指数が得られる。
• 補間の問題を避けるために、弱型推定とカーネル和の技法を用いることで、臨界 $ L^p $ 界への新しい道筋を提供する。