[论文解读] 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

一句话总结

本文研究紧致曲面上特征函数的 $L^4$ 范数，表明尽管单个特征函数的范数可达到 $ olimits_{L^4} lesssim olimits^{1/8}$，但在正交基上的平均 $L^4$ 范数仅以 $( olimits k)^{1/4}$ 的速度对数增长，适用于 $S^2$ 上的球谐函数。在周期测地线测度为零的通用假设下，本文证明了对于特征值的密度为一的子序列，有 $ olimits_{L^4} = o( olimits^{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$ 范数是否可显著小于最坏情况下的单个特征函数范数。
• 在通用几何条件下，确定特征函数的 $L^4$ 范数是否可改进为 $o(\lambda^{1/8})$，适用于特征值的密度为一的子序列。
• 探讨周期测地线在导致 $L^p$ 估计饱和的集中现象中的作用，特别是针对 $p=4$ 的情形。

提出的方法

• 使用 Weyl 和 $\frac{1}{N(\lambda)}\sum_{\lambda_j \leq \lambda} \|e_{\lambda_j}\|_{L^4}^4$ 来研究正交基上平均 $L^4$ 范数。
• 应用文献 [20] 中最近得到的必要充分条件：$\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$ 当且仅当 $\sup_{\gamma \in \Pi} \int_{\text{dist}(\gamma,y) \leq \lambda^{-1/2}} |e_\lambda(y)|^2 dV \to 0$。
• 利用 $U(2k+1)$ 上的 Haar 测度，分析球谐函数 $\mathcal{H}_k$ 的随机正交基的 $L^4$ 范数，计算期望值 $\mathbf{E}_k \Lambda_k^4(U)$。
• 运用 Weingarten 公式计算 $U(2k+1)$ 上积分的渐近期望，识别出对角项和成对索引项的主导贡献。
• 利用 $\sqrt{2k+1} U_{ij}$ 渐近服从 i.i.d. 复高斯分布的事实，推导 $L^4$ 和的渐近行为。
• 通过构造集中在分离良好的闭测地线附近的高斯波束，构建候选正交基，分析此类基是否可在 $L^4$ 范数上超过标准基。

实验结果

研究问题

• RQ1 正交基中特征函数的 $L^4$ 范数是否可显著小于最坏情况下的 $\lambda^{1/8}$ 界？
• RQ2 随机正交基中特征函数在 $\mathcal{H}_k$ 上的平均 $L^4$ 范数的渐近增长速率为何？
• RQ3 在通用几何假设下，特征函数的 $L^4$ 范数是否满足 $\|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}$ 界。
• 在周期测地线测度为零的假设下，对于特征值的密度为一的子序列，有 $\|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$)，后者由于配对对称性贡献两种方式。
• 在多个闭测地线附近构造的正交基可能产生更高的 $L^4$ 范数，但除非测地线足够分离，否则 Gram-Schmidt 正交化过程可能降低范数。