[论文解读] On $L^p$-resolvent estimates and the density of eigenvalues for compact Riemannian manifolds

Jean Bourgain, Peng Shao+2 more|arXiv (Cornell University)|Apr 17, 2012

Numerical methods in inverse problems参考文献 16被引用 9

一句话总结

该论文通过分析波传播算子 $\cos t\sqrt{-\Delta_g}$ 的Hadamard参数化，利用谱投影结构，建立了紧致黎曼流形上拉普拉斯-贝尔特拉米算子的精确 $L^p$-预解估计。结果表明，[11] 中的预解估计在单位球面上已基本最优；对于非正曲率流形，估计可实现对数尺度的改进；对于环面，则通过谱投影估计与多重线性限制技术实现了幂律尺度的改进。

ABSTRACT

We address an interesting question raised by Dos Santos Ferreira, Kenig and Salo about regions ${\mathcal R}_g\subset {\mathbb C}$ for which there can be uniform $L^{\frac{2n}{n+2}} o L^{\frac{2n}{n-2}}$ resolvent estimates for $Δ_g+ζ$, $ζ\in {\mathcal R}_g$, where $Δ_g$ is the Laplace-Beltrami operator with metric $g$ on a given compact boundaryless Riemannian manifold of dimension $n\ge3$. This is related to earlier work of Kenig, Ruiz and the third author for the Euclidean Laplacian, in which case the region is the entire complex plane minus any disc centered at the origin. Presently, we show that for the round metric on the sphere, $S^n$, the resolvent estimates in Ferreira et al, involving a much smaller region, are essentially optimal. We do this by establishing sharp bounds based on the distance from $ζ$ to the spectrum of $Δ_{S^n}$. In the other direction, we also show that the bounds in \cite{Kenig} can be sharpened logarithmically for manifolds with nonpositive curvature, and by powers in the case of the torus, ${\mathbb T}^n={\mathbb R}^n/{\mathbb Z}^n$, with the flat metric. The latter improves earlier bounds of Shen. Further improvements for the torus are obtained using recent techniques of the first author and his work with Guth based on the multilinear estimates of Bennett, Carbery and Tao. Our approach also allows us to give a natural necessary condition for favorable resolvent estimates that is based on a measurement of the density of the spectrum of $\sqrt{-Δ_g}$, and, moreover, a necessary and sufficient condition based on natural improved spectral projection estimates for shrinking intervals.

研究动机与目标

• 确定紧致黎曼流形（维度 $n \geq 3$）上 $\Delta_g + \zeta$ 的统一 $L^{2n/(n+2)} \to L^{2n/(n-2)}$ 预解估计的最优区域 $\mathcal{R}_g \subset \mathbb{C}$。
• 评估 [11] 中先前预解估计的精确性，特别是针对谱聚类最大的单位球面 $S^n$ 的情形。
• 通过改进的谱投影估计与多重线性限制理论，提升具有非正曲率的流形及平坦环面 $\mathbb{T}^n$ 的已知预解界。
• 基于 $\sqrt{-\Delta_g}$ 的谱密度，建立有利预解估计的必要条件；并基于在收缩区间上的改进谱投影估计，给出必要且充分条件。

提出的方法

• 作者利用从万有覆盖上的波核导出的波传播算子 $\cos t\sqrt{-\Delta_g}$ 的Hadamard参数化，通过傅里叶反演分析预解算子。
• 对参数化中出现的振荡积分应用平稳相位估计，利用依赖于曲率与时间的振幅和余项有界性。
• 该方法依赖于 [25] 中的谱投影估计，并将其推广至收缩区间，以控制特征函数展开的 $L^p$-范数。
• 对于环面，应用 [5] 与 [7] 中近期的多重线性限制估计，实现对先前界值的幂律改进。
• 基于 $\sqrt{-\Delta_g}$ 的谱渐近密度，推导出有利预解估计的必要条件，将谱聚类与预解行为联系起来。
• 该方法推广了 Bérard [3] 与 Hlawka [15] 的思想，通过波参数化与谱投影控制，将其适配至 $L^p$-预解设定。

实验结果

研究问题

• RQ1 在单位球面 $S^n$ 上，[11] 中 $L^p$-预解估计的区域 $\mathcal{R}_g$ 是否最优？
• RQ2 能否对具有非正曲率的流形改进 [11] 中的 $L^p$-预解界？
• RQ3 平坦环面 $\mathbb{T}^n$ 的预解估计中，幂律改进的幅度有多大？
• RQ4 与特征值聚类相关的哪些谱条件决定了有利 $L^p$-预解估计的有效性？
• RQ5 能否基于在收缩区间上的谱投影估计，形式化出此类估计的必要且充分条件？

主要发现

• 对于单位球面 $S^n$，[11] 中的预解估计本质上是最优的，这通过依赖于 $\zeta$ 到 $\Delta_{S^n}$ 谱距离的精确界得到证实。
• 对于具有非正曲率的紧致流形，预解估计可在 [11] 的界基础上实现对数尺度的改进。
• 对于平坦环面 $\mathbb{T}^n$，作者通过多重线性限制技术，实现了对 Shen [22] 早期结果的幂律改进。
• 本文基于 $\sqrt{-\Delta_g}$ 的谱密度，给出了有利 $L^p$-预解估计的必要条件，揭示了其对谱聚类的敏感性。
• 通过在收缩区间上改进的谱投影估计，建立了 $L^p$-预解估计的必要且充分条件，推广了 [25] 中关于单位区间的结果。
• 结果证实，预解估计对谱聚类敏感，与 Sommerfeld 关于预解算子行为的原始猜想一致。