[论文解读] Localized $L^p$-estimates for eigenfunctions: II

Christopher D. Sogge|arXiv (Cornell University)|Oct 21, 2016

Advanced Harmonic Analysis Research参考文献 11被引用 3

一句话总结

本文建立了在维度 $ n \geq 2 $ 的紧致黎曼流形上，对 $ L^2 $-归一化特征函数的改进 $ L^p $-范数估计的必要与充分条件，表明此类改进仅在 $ L^p $ 或 $ L^2 $ 范数在小测地线球（半径 $ \lambda^{-1} $）或测地线的 $ \lambda^{-1/2} $-管状邻域上未达到通用界时发生。关键结果是：当局部范数为次优且半波算子在 $ t \neq 0 $ 时无焦散点时，改进的 $ L^{p_c} $-界成立。该工作解决了所有 $ p \neq p_c $ 情况下特征函数的 $ L^p $-增长结构，其中 $ p_c = \frac{2(n+1)}{n-1} $ 为临界指数。

ABSTRACT

If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2

研究动机与目标

• 确定在紧致黎曼流形上，对所有 $ p \neq p_c $ 的特征函数的改进 $ L^p(M) $-范数估计的必要与充分条件，其中 $ p_c = \frac{2(n+1)}{n-1} $ 为临界指数。
• 通过刻画在小测地线集上的局部 $ L^p $ 或 $ L^2 $ 范数，解决特征函数的 $ L^p $-增长结构，即何时 $ \|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)}) $ 对于 $ p > p_c $ 和 $ 2 < p < p_c $ 成立。
• 证明若对所有 $ p \in (2,\infty) \setminus \{p_c\} $ 局部 $ L^p $-改进成立，且半波算子 $ U(t) = e^{-it\sqrt{-\Delta_g}} $ 在 $ t \neq 0 $ 时无焦散点，则改进的 $ L^{p_c}(M) $-界成立，从而识别出一个充分的几何条件。
• 通过证明局部范数（在 $ \lambda^{-1} $-球或 $ \lambda^{-1/2} $-管上）的饱和性刻画了改进 $ L^p $-界失败的原因，填补了对特征函数典型行为理解的空白。

提出的方法

• 分析使用了半径为 $ \lambda^{-1} $ 的测地线球上的局部 $ L^p $ 和 $ L^2 $-范数（针对 $ p > p_c $），以及单位长度测地线的 $ \lambda^{-1/2} $-管状邻域上的局部范数（针对 $ 2 < p < p_c $），以刻画通用界饱和的情况。
• 证明依赖于文献 [15] 中关于小球上谱投影算子一致 $ L^2 $-有界性的最新结果，结合 Hölder 不等式与 $ L^2 $-限制估计的对偶形式（37）。
• 关键技术工具是使用谱投影算子 $ \rho(T(\lambda - P)) $ 及其相关核，其中核估计（37）和（40）源自具有紧台傅里叶变换的 Schwartz 函数 $ |\rho|^2 $ 的性质。
• 该论证涉及将水平集分解为小直径且正分离的集合 $ A_j $，应用切比雪夫不等式与柯西-施瓦茨不等式，以控制满足 $ |\rho(T_\varepsilon(\lambda - P))h(x)| > \alpha $ 的集合的测度，从而导出估计 $ |A| \leq \varepsilon \lambda \alpha^{-\frac{2(n+1)}{n-1}} $。
• 该方法通过证明局部有界性失败意味着全局有界性也失败（利用反证法与测度论估计），建立了全局 $ L^p $-改进与局部 $ L^p $ 或 $ L^2 $-改进之间的等价性。
• 通过半波算子 $ U(t) $ 分析焦散点的作用，表明当 $ t \neq 0 $ 时无焦散点可确保：若对所有其他 $ p \neq p_c $ 局部改进成立，则 $ L^{p_c} $-界得到改进。

实验结果

研究问题

• RQ1 对于 $ p > p_c $，在紧致黎曼流形上，特征函数的改进 $ L^p(M) $-范数估计的必要与充分条件是什么？
• RQ2 半径为 $ \lambda^{-1} $ 的测地线球上的局部 $ L^p $ 或 $ L^2 $-范数如何与 $ p > p_c $ 时通用 $ L^p $-界饱和性相关？
• RQ3 半径为 $ \lambda^{-1/2} $ 的测地线管状邻域在刻画 $ 2 < p < p_c $ 时改进 $ L^p $-界方面起什么作用？
• RQ4 在什么几何条件下，临界 $ L^{p_c} $-界会得到改进，已知它可导致对所有其他 $ p \neq p_c $ 的改进？
• RQ5 当局部改进对所有 $ p \neq p_c $ 成立时，半波算子 $ U(t) $ 在 $ t \neq 0 $ 时无焦散点是否为改进 $ L^{p_c}(M) $-界的充分条件？

主要发现

• 对于 $ p > p_c $，改进的 $ L^p(M) $-界 $ \|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)}) $ 成立当且仅当半径为 $ \lambda^{-1} $ 的测地线球上的局部 $ L^p $-范数为次优，即 $ \sup_x \|e_\lambda\|_{L^p(B_{\lambda^{-1}}(x))} = o(\lambda^{\mu(p)}) $。
• 对于 $ p > p_c $，若要使改进的 $ L^p $-界成立，$ \lambda^{-1} $-球上的 $ L^2 $-范数必须满足 $ \sup_x \|e_\lambda\|_{L^2(B_{\lambda^{-1}}(x))} = o(\lambda^{-1/2}) $，且该条件与 $ L^p $-改进等价。
• 对于 $ 2 < p < p_c $，改进的 $ L^p(M) $-界等价于单位长度测地线的 $ \lambda^{-1/2} $-管状邻域上局部 $ L^p $-范数为次优：$ \sup_{\gamma \in \Pi} \|e_\lambda\|_{L^p(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(\lambda^{\mu(p)}) $，且也等价于 $ \sup_{\gamma} \|e_\lambda\|_{L^2(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(1) $。
• 若对所有 $ p \in (2,\infty) \setminus \{p_c\} $ 局部 $ L^p $-改进成立，且半波算子 $ U(t) $ 在 $ t \neq 0 $ 时无焦散点，则改进的 $ L^{p_c}(M) $-界得到保证，从而提供一个充分的几何条件。
• 球面 $ S^n $ 在极点处的 $ \lambda^{-1} $-球上对 $ p \geq p_c $，以及在赤道处的 $ \lambda^{-1/2} $-管上对 $ 2 < p \leq p_c $，均达到通用 $ L^p $-界，表明局部条件的紧致性。
• 证明表明：若局部 $ L^2 $-范数（在 $ \lambda^{-1} $-球或 $ \lambda^{-1/2} $-管上）未达到通用界，则全局 $ L^p $-范数得到改进，且该结论在“饱和即无改进”的意义上是紧的。