[论文解读] Critical set of eigenfunctions of the Laplacian

Laurent Bakri|arXiv (Cornell University)|Aug 10, 2010

Mathematical Dynamics and Fractals参考文献 14被引用 3

一句话总结

本文在紧致实解析黎曼流形上，为拉普拉斯算子特征函数临界集的 $(n-1)$-维豪斯多夫测度建立了上界 $ Cackslashsqrtackslashlambda $。通过使用一种类卡莱曼不等式和特征函数梯度的新型加倍估计，作者将唐内利与费弗尔曼研究节点集时所用技术推广至临界集，表明临界集的增长速度至多为 $ \sqrtackslashlambda $，与节点集的杨猜想类似，从而证实了该猜想的上界。

ABSTRACT

We give an upper bound for the $(n-1)$-dimensional Hausdorff measure of the critical set of eigenfunctions of the Laplacian on compact analytic Riemannian manifolds. This is the analog of H. Donnely and C. Fefferman result on nodal set of eigenfunctions.

研究动机与目标

• 在紧致实解析黎曼流形上，为拉普拉斯算子特征函数临界集的 $(n-1)$-维豪斯多夫测度建立上界。
• 将唐内利与费弗尔曼最初为节点集所发展的方法，推广至特征函数的临界集。
• 表明临界集测度的增长速度至多为 $ \sqrtackslashlambda $，与杨猜想中节点集的结论类似。
• 在解析设定下提供一个精确、最优的上界，从而弥合了临界集与节点集理解之间的差距。

提出的方法

• 为算子 $ \Delta + W $（其中 $ W \in \mathcalackslashmathcalackslashC^1 $）推导卡莱曼估计，使用权重函数 $ \phi(x) = -f(\ln r(x)) $，其中 $ f(t) = t - e^{\varepsilon t} $。
• 利用流形 $ M $ 的紧致性与卡莱曼估计，推导出拉普拉斯特征函数的加倍不等式：$ \|\nabla u\|_{B_{2r}} \leq e^{C\sqrt{\lambda}} \|\nabla u\|_{B_r} $。
• 定义 $ F(x) = \sum_{i=1}^n \left| \frac{\partial u}{\partial x_i} \right|^2 $，其零点集即为临界集 $ \mathcal{C}_u $，并将 $ F $ 延拓至复球上的全纯函数。
• 应用复分析结果（唐内利与费弗尔曼定理 4.1），通过加倍常数来控制 $ F $ 的零点集的豪斯多夫测度。
• 在紧致流形 $ M $ 上使用覆盖论证，对有限个球体统一应用局部估计 $ \mathcal{H}^{n-1}(\mathcal{C}_u \cap B(p,r_0)) \leq C\sqrt{\lambda} $。

实验结果

研究问题

• RQ1 在解析流形上，特征函数的临界集能否以特征值 $ \lambda $ 为参数进行有界控制？
• RQ2 临界集的 $(n-1)$-维豪斯多夫测度是否至多以 $ \sqrt{\lambda} $ 的速度增长，正如杨猜想对节点集所提出的那样？
• RQ3 唐内利与费弗尔曼用于节点集的方法，能否被调整以通过梯度加倍来控制临界集？
• RQ4 在解析范畴中，临界集测度是否存在一个精确的上界？其与已知的节点集界相比如何？
• RQ5 度量的解析性在获得此类上界中起到了什么作用？

主要发现

• 临界集 $ \mathcal{C}_u $ 的 $(n-1)$-维豪斯多夫测度满足 $ \mathcal{H}^{n-1}(\mathcal{C}_u) \leq C\sqrt{\lambda} $，其中常数 $ C > 0 $ 仅依赖于流形 $ M $。
• 关键的技术工具是加倍不等式 $ \|\nabla u\|_{B_{2r}} \leq e^{C\sqrt{\lambda}} \|\nabla u\|_{B_r} $，其由卡莱曼估计推导得出。
• 函数 $ F(x) = \sum_{i=1}^n |\partial_i u|^2 $（其零点集为临界集）满足复加倍性质：$ \sup_{B_{\mathbb{C}}(1)} |F| \leq e^{C\sqrt{\lambda}} \sup_{B(1/2)} |F| $。
• 对每个点 $ p \in M $，证明了局部测度估计 $ \mathcal{H}^{n-1}(\mathcal{C}_u \cap B(p,r_0)) \leq C\sqrt{\lambda} $，其中 $ r_0 $ 与 $ \lambda $ 无关。
• 由于 $ M $ 是紧致的，通过有限覆盖可推出全局上界，且局部估计在整个流形上一致成立。
• 该结果是精确的，因为存在反例（例如 $ f_k(x,y) = \sin(2\pi kx) $ 在 $ \mathbb{T}^1 \times N $ 上）使得 $ \mathcal{H}^{n-1}(\mathcal{C}_{f_k}) \geq C\sqrt{\lambda} $，表明该上界是最优的。