[論文レビュー] Concerning the $L^4$ norms of typical eigenfunctions on compact surfaces

Christopher D. Sogge, Steven Zelditch|arXiv (Cornell University)|Oct 31, 2010

Spectral Theory in Mathematical Physics参考文献 17被引用数 17

ひとこと要約

本稿は、コンpactな曲面上の固有関数の$L^4$ノルムを調査し、個々の固有関数は\|e_\lambda\|_{L^4} \lesssim \lambda^{1/8}に達するが、正規直交基底上の平均$L^4$ノルムは、球面上の$S^2$の球面調和関数において、$(\log k)^{1/4}$の速度で対数的にしか増加しないことを示している。周期的測地線が測度ゼロであるという一般的な仮定のもと、密度1の固有値部分列に対して\|e_\lambda\|_{L^4} = o(\lambda^{1/8})が成り立つことを証明し、鋭い一様バウンドを改善している。

ABSTRACT

Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with Laplacian, $Δ_g$. If $e_λ$ are the associated eigenfunctions of $\sqrt{-Δ_g}$ so that $-Δ_g e_λ= λ^2 e_λ$, then it has been known for some time \cite{soggeest} that $\|e_λ\|_{L^4(M)}\lesssim λ^{1/8}$, assuming that $e_λ$ is normalized to have $L^2$-norm one. This result is sharp in the sense that it cannot be improved on the standard sphere because of highest weight spherical harmonics of degree $k$. On the other hand, we shall show that the average $L^4$ norm of the standard basis for the space ${\mathcal H}_k$ of spherical harmonics of degree $k$ on $S^2$ merely grows like $(\log k)^{1/4}$. We also sketch a proof that the average of $\sum_{j = 1}^{2k + 1} \|e_λ\|_{L^4}^4$ for a random orthonormal basis of ${\mathcal H}_k$ is O(1). We are not able to determine the maximum of this quantity over all orthonormal bases of ${\mathcal H}_k$ or for orthonormal bases of eigenfunctions on other Riemannian manifolds. However, under the assumption that the periodic geodesics in $(M,g)$ are of measure zero, we are able to show that for {\it any} orthonormal basis of eigenfunctions we have that $\|e_{λ_{j_k}}\|_{L^4(M)}=o(λ_{j_k}^{1/8})$ for a density one subsequence of eigenvalues $λ_{j_k}$. This assumption is generic and it is the one in the Duistermaat-Gullemin theorem \cite{dg} which gave related improvements for the error term in the sharp Weyl theorem. The proof of our result uses a recent estimate of the first author \cite{Sokakeya} that gives a necessary and sufficient condition that $\|e_λ\|_{L^4(M)}=o(λ^{1/8})$.

研究の動機と目的

• コンパクトなリーマン多様体上の固有関数の$L^4$ノルムの漸近的挙動を理解すること、特に鋭い一様バウンド$\lambda^{1/8}$との比較において。
• 正規直交基底における固有関数の$L^4$ノルムが、最悪ケースの個々の固有関数ノルムよりも著しく小さい平均的挙動を示せるかどうかを調査すること。
• 一般的な幾何的条件下で、密度1の固有値部分列に対して$L^4$ノルムが$o(\lambda^{1/8})$に改善できるかどうかを特定すること。
• 特に$p=4$の場合に、$L^p$推定値を飽和させる濃縮現象に周期的測地線が果たす役割を調査すること。

提案手法

• 正規直交基底上の平均$L^4$ノルムを調べるために、Weyl和$\frac{1}{N(\lambda)}\sum_{\lambda_j \leq \lambda} \|e_{\lambda_j}\|_{L^4}^4$を用いる。
• 近い時期に得られた必要十分条件[20]を適用し、$\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$が、すべての$\gamma \in \Pi$に対して$\sup_{\gamma \in \Pi} \int_{\text{dist}(\gamma,y) \leq \lambda^{-1/2}} |e_\lambda(y)|^2 dV \to 0$であることを示す。
• 球面調和関数$\mathcal{H}_k$のランダムな正規直交基底の$L^4$ノルムを、$U(2k+1)$上のハール測度を用いて分析し、期待値$\mathbf{E}_k \Lambda_k^4(U)$を計算する。
• $U(2k+1)$上の積分を計算するため、Weingartenの公式を用い、期待値の漸近的挙動を特定し、対角項とペアリングされたインデックス項からの主要寄与を同定する。
• $\sqrt{2k+1} U_{ij}$が漸近的に独立同一分布の複素正規分布に従うという事実を用い、$L^4$和の漸近的挙動を導出する。
• 互いに分離された閉測地線の周囲に集中するガウスビームを用いて、候補となる正規直交基底を構成し、このような基底が標準基底を$L^4$ノルムで上回れるかどうかを分析する。

実験結果

リサーチクエスチョン

• RQ1 正規直交基底における固有関数の$L^4$ノルムは、最悪ケースの$\lambda^{1/8}$バウンドよりも著しく小さくなるだろうか？
• RQ2 $\mathcal{H}_k$のランダムな正規直交基底における固有関数の平均$L^4$ノルムの漸近的成長率は何か？
• RQ3 周期的測地線が測度ゼロであるという一般的な幾何的仮定のもとで、固有関数の$L^4$ノルムは、密度1の固有値部分列に対して$\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$を満たすだろうか？
• RQ4 複数の閉測地線の周囲にガウスビームを用いて構成された正規直交基底は、標準球面調和関数基底よりも高い$L^4$ノルムを達成できるだろうか？

主な発見

• ランダムな正規直交基底$\mathcal{H}_k$上の平均$L^4$ノルムは$O(1)$であり、$k$に関して一様に有界であることを意味する。
• 球面上の$S^2$における標準正規直交基底の球面調和関数では、$L^4$ノルムは$(\log k)^{1/4}$の速度で成長し、$\lambda^{1/8}$バウンドよりも著しく遅い。
• 周期的測地線が測度ゼロであるという仮定のもと、密度1の固有値部分列に対して$\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$が成り立つ。
• ランダムな正規直交基底$\mathcal{H}_k$上の期待$L^4$ノルムは漸近的に2に収束し、$\mathbf{E}_k \Lambda_k^4(U) \to 2$（$k \to \infty$）である。
• 期待$L^4$ノルムの主要寄与は、対角項（$|Y^k_m|^4$）とペアリングされた非対角項（$|Y^k_{m_1}|^2 |Y^k_{m_2}|^2$）から来る。後者はペアリング対称性のため2通りの寄与を示す。
• 複数の閉測地線の周囲にガウスビームを用いて構成された正規直交基底は、$L^4$ノルムが高くなる可能性があるが、測地線が十分に分離されていなければ、グラムシュミット直交化によってノルムが低下する可能性がある。