[论文解读] A note on $L^p$-norms of quasi-modes

Christopher D. Sogge, Steven Zelditch|arXiv (Cornell University)|Jan 1, 2014

Advanced Harmonic Analysis Research参考文献 19被引用 4

一句话总结

本文建立了关于阶数为 $s$ 的准模的改进 $L^p$-范数估计与在收缩谱区间上投影的谱投影算子的改进算子范数之间的等价性。它表明，在相同的几何条件下，近期对特征函数的 $L^p$ 估计可推广至准模；且谱投影算子的改进估计（亚凸性）意味着准模范数的相应改进。

ABSTRACT

In this note we show how improved $L^p$-estimates for certain types of quasi-modes are naturally equaivalent to improved operator norms of spectral projection operators associated to shrinking spectral intervals of the appropriate scale. Using this, one can see that recent estimates that were stated for eigenfunctions also hold for the appropriate types of quasi-modes.

研究动机与目标

• 建立阶数为 $s$ 的准模的改进 $L^p$-范数估计与在收缩谱区间上投影的谱投影算子的改进算子范数之间的等价性。
• 证明改进特征函数 $L^p$ 估计所需的几何条件同样适用于同阶的准模。
• 表明谱投影算子的亚凸性界（即改进的算子范数）与准模的改进 $L^p$-范数估计等价。
• 阐明现有特征函数的 $L^p$ 估计（如 Sogge [12] 中的结果）在相同几何假设下可推广至准模。
• 分析自聚焦点与双曲闭测地线等几何结构在实现准模 $L^p$ 范数最大增长中的作用。

提出的方法

• 利用准模的 $L^p$-范数估计与在区间 $[\nu, \nu + \nu^{-s}]$ 上投影的谱投影算子之间的等价性。
• 通过特征函数展开，应用谱投影算子 $\tilde{\rho}_\nu(\nu - \nu_j)$ 来定义准模。
• 依赖于谱投影估计的对偶形式，推导出准模 $L^p$ 范数的界。
• 建立 $\tilde{\rho}_\nu(\nu - \nu_j)$ 的改进算子范数意味着准模的改进 $L^p$-范数衰减。
• 运用微局部分析与缺陷测度，将 $L^p$ 范数的增长与测地线及闭轨道的几何结构联系起来。
• 应用非正曲率流形与平坦环面的已知结果，推导出谱区间收缩率 $\nu^{-\nu}$ 的显式形式。

实验结果

研究问题

• RQ1 在何种几何条件下，准模的 $L^p$-范数估计可超越特征函数的标准 $L^p$ 估计？
• RQ2 准模的改进 $L^p$-范数估计与在收缩谱区间上投影的谱投影算子的范数之间有何关系？
• RQ3 当谱投影算子的范数得到改进时，是否可实现准模的 $L^\frown$-范数最大增长？
• RQ4 自聚焦点与双曲闭测地线在实现准模的改进 $L^p$-范数估计中起何种作用？
• RQ5 在相同几何假设下，特征函数的 $L^p$-范数界在多大程度上可推广至阶数为 $s$ 的准模？

主要发现

• 阶数为 $s$ 的准模的改进 $L^p$-范数估计与在长度为 $\nu^{-s}$ 的区间上投影的谱投影算子的改进算子范数之间等价。
• 在非正曲率流形上，若 $\|\psi_\lambda\|_{L^2} \leq 1$ 且 $\|\Delta \psi_\lambda + \lambda^2 \psi_\lambda\|_{L^2} = O(\lambda / \ln \lambda)$，则对 $p > \frac{2(n+1)}{n-1}$，有估计 $\|\psi_\lambda\|_{L^p} \leq C \lambda^{\sigma(p,n)} / \sqrt{\ln \lambda}$。
• 在平坦环面 $\mathbb{T}^n$ 上，若 $\|\Delta \psi_\lambda + \lambda^2 \psi_\lambda\|_{L^2} = O(\lambda^{1 - \varepsilon(p,n)})$，则对 $p > \frac{2(n+1)}{n-1}$，存在形式为 $\|\psi_\lambda\|_{L^p} \leq C \lambda^{\sigma(p,n) - \varepsilon(p,n)/2}$ 的改进估计。
• 存在阶数为零的准模，其 $L^\infty$ 范数达到 $\|\psi_\lambda\|_{L^\infty} = \Omega(\lambda^{(n-1)/2})$，当且仅当 $\limsup_{\lambda \to \infty} \lambda^{-(n-1)/2} \|\chi_{[\lambda, \lambda + \lambda^{-1}]}\|_{L^2 \to L^\infty} > 0$。
• 在具有非耗散自聚焦点的实解析流形上，存在阶数为 $s$ 的准模，满足 $\|\psi_\lambda\|_{L^\infty} = \Omega(\lambda^{(n-1)/2})$。
• 对数收缩率 $\varepsilon(\lambda) = 1/\ln \lambda$ 在非正曲率流形上产生改进的 $L^p$ 估计，反映出测地流的双曲性。