[论文解读] $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}$-范数。
• 应用 Hölder 连续函数在测地流下的相关性衰减估计，利用负曲率流形上测地流的指数混合性与 Anosov 性质。
• 利用相关性衰减估计推导出特征函数时间平均 $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^\infty$ 范数，即使没有更强的 $L^p$ 界？
• RQ5 是否存在一个全密度子序列 $S \subset \mathbb{N}$，使得对 $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)}$？

主要发现

• 对任意 $K \in (0, \frac{1}{d})$，存在一个全密度子序列 $S \subset \mathbb{N}$，使得对 $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 的界实现了对数因子的改进。
• 通过在半径为 $(\log\lambda)^{-K}$（$0 < K < \frac{1}{2d}$）的小球上建立的新量子遍历性性质，实现了 $L^p$ 范数的改进，该性质对特征函数的全密度子序列成立。
• 零点集 $Z_{\psi_j}$ 的 Hausdorff 维数满足 $\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$ 范数界。