[論文レビュー] $L^p$ norms, nodal sets, and quantum ergodicity

Hamid Hezari, Gabriel Rivière|arXiv (Cornell University)|Nov 14, 2014

Mathematical Dynamics and Fractals参考文献 25被引用数 15

ひとこと要約

この論文は、$L^p$ ノルムの対数的改善を、$2 < p \leq \frac{2(d+1)}{d-1}$ に対して、コンパクトな負の曲率を持つ多様体上での固有関数について、半径 $(\log\lambda)^{-K}$（$0 < K < \frac{1}{2d}$）の小スケールの球上で定義された新しい量子エルゴード性の性質を用いて確立する。主な貢献は、固有関数のフル密度部分列が $\|\psi_j\|_{L^p} \leq C_{K,p} \left( \frac{\lambda_j}{(\log\lambda_j)^K} \right)^{\gamma(p)}$ を満たし、Soggeの境界を対数的要因で改善することである。

ABSTRACT

For small range of $p&gt;2$, we improve the $L^p$ bounds of eigenfunctions of the Laplacian on negatively curved manifolds. Our improvement is by a power of logarithm for a full density sequence of eigenfunctions. We also derive improvements on the size of the nodal sets. Our proof is based on a quantum ergodicity property of independent interest, which holds for families of symbols supported in balls whose radius shrinks at a logarithmic rate.

研究の動機と目的

• 負の曲率を持つ多様体上での固有関数の $L^p$ ノルムを、古典的なSoggeの推定を超えて改善すること。
• 改善された $L^p$ ノルムを用いて、固有関数のノード集合のサイズを調査すること。
• 半径 \/left(\log\lambda\right)^{-K} の小スケールの球上で定義された観測量に対して、$0 < K < \frac{1}{2d}$ の条件下で、新しい量子エルゴード性の性質を証明すること。
• 小スケールでの量子エルゴード性の改善が、$L^p$ ノルムとノード集合サイズの改善をもたらすことを示すこと。

提案手法

• 半径 $(\log\lambda)^{-K}$（$0 < K < \frac{1}{2d}$）の球上で定義された記号に対して、固有関数のフル密度部分列について、量子エルゴード性の性質を証明すること。
• 小スケールでの量子エルゴード性を用いて、コサイリーサーフェスバンドル上の測地線フローにおけるモーメント推定を介して、固有関数の $L^{2p}$ ノルムを制御すること。
• 負の曲率を持つ多様体上での測地線フローのAnosov性と指数的混合性を活用し、 Hölder連続関数の相関の減衰推定を適用すること。
• 相関の減衰推定を用いて、時間平均された $L^2$ ノルムのモーメントバウンドを導出すること。
• モーメントバウンドを用いて、補間と双対性を介して $L^p$ ノルム推定を導出し、指数 $\gamma(p)$ はSoggeの境界と一致すること。
• 小スケールでの量子エルゴード性が、$L^p$ ノルム推定における対数的改善を生じることを示し、これは標準的な量子エルゴード性よりも強い性質である。

実験結果

リサーチクエスチョン

• RQ1 負の曲率を持つ多様体上での固有関数の $L^p$ ノルムは、$2 < p \leq \frac{2(d+1)}{d-1}$ の範囲で、Soggeの境界を超えて改善可能か？
• RQ2 半径 $(\log\lambda)^{-K}$（$0 < K < \frac{1}{2d}$）の球上で定義された量子エルゴード性は、固有関数の $L^p$ 推定を改善するか？
• RQ3 負の曲率を持つ多様体上での固有関数のノード集合のサイズはどの程度か？また、小スケールでの量子エルゴード性を用いて改善可能か？
• RQ4 より強い $L^p$ ノルム推定がなくても、小スケールでの量子エルゴード性のみで、固有関数の $L^\infty$ ノルムを改善可能か？
• RQ5 すべての $K \in \left(0, \frac{1}{d}\right)$ に対して、$\|\psi_j\|_{L^p} \leq C_{K,p} \left( \frac{\lambda_j}{(\log\lambda_j)^K} \right)^{\gamma(p)}$ を満たすフル密度部分列 $S \subset \mathbb{N}$ が存在するか？（$2 < p \leq \frac{2(d+1)}{d-1}$）

主な発見

• 任意の $K \in \left(0, \frac{1}{d}\right)$ に対して、$\mathbb{N}$ のフル密度部分列 $S$ が存在し、$2 < p \leq \frac{2(d+1)}{d-1}$ に対して $\|\psi_j\|_{L^p} \leq C_{K,p} \left( \frac{\lambda_j}{(\log\lambda_j)^K} \right)^{\gamma(p)}$ を満たす。これはSoggeの境界を対数的要因で改善する。
• この $L^p$ ノルムの改善は、$0 < K < \frac{1}{2d}$ の条件下で、半径 $(\log\lambda)^{-K}$ の球上で定義された新しい量子エルゴード性の性質によって達成され、これは固有関数のフル密度部分列で成立する。
• ノード集合 $Z_{\psi_j}$ のハウスドルフ次元は、フル密度部分列に沿って $\text{Hausdorff}(Z_{\psi_j}) \leq C \frac{\lambda_j^{(d-1)/2}}{(\log\lambda_j)^K}$ を満たし、古典的境界を対数的要因で改善する。
• この手法により、$L^\infty$ ノルムの対数的改善が得られるが、Bérardの $\lambda^{(d-1)/4}/(\log\lambda)^{1/2}$ の境界ほど強くはない。これは、小スケールでの量子エルゴード性のみでこのような改善が可能であることを示している。
• $2 < p \leq \frac{2(d+1)}{d-1}$ の範囲では、以前の研究では対数的改善が知られていなかったが、本研究はこの範囲でより強い結果を示し、臨界指数 $p = \frac{2(d+1)}{d-1}$ に対しても拡張可能である。
• 証明は、測地線フロー下での Hölder関数の相関の減衰推定と、モーメント推定および補間を組み合わせることに依存し、改善された $L^p$ ノルム推定が導出される。