[论文解读] A Hardy inequality on Riemannian manifolds and classification of discrete Dirichlet spectra

Nils Rautenberg|arXiv (Cornell University)|Jan 20, 2014

Spectral Theory in Mathematical Physics参考文献 4被引用 5

一句话总结

本文通过在单位切空间上对测地线进行平均，建立了黎曼流形上的精确 Hardy 不等式，证明了在边界距离正则性和拟有界性条件下，Dirichlet Laplacian 具有纯离散谱。关键贡献在于提出了一个与维数相关的 Hardy 常数 $\frac{n}{4}$，该常数将欧氏情形推广至任意流形，从而实现了对负曲率空间中具有理想顶点的多边形的谱分类。

ABSTRACT

We prove a Hardy inequality for uniformly elliptic operators subject to Dirichlet or mixed boundary conditions on domains $Ω$ with piecewiese smooth boundary in arbitrary Riemannian Manifolds (M, g). Employing an approach of E.B. Davies for the euclidean case, we show that it implies a sufficient geometric criterion under which the Laplace- Beltrami operator with Dirichlet boundary conditions $Δ^D$ has purely discrete spectrum on $Ω$. We proceed to classify all non-compact $Ω$ with discrete spectrum up to a boundary regularity condition and show that these include for example polygons with ideal vertices in manifolds of negative curvature. This a new result for non-constant curvature.

研究动机与目标

• 将经典的欧氏 Hardy 不等式推广至具有任意曲率的广义黎曼流形。
• 为具有 Dirichlet 边界条件的 Laplace-Beltrami 算子建立纯离散谱的几何判据。
• 在边界正则性和拟有界性条件下，对非紧致区域进行离散谱分类。
• 通过方向平均，将结果推广至混合 Dirichlet-Neumann 边界条件。

提出的方法

• 定义距离函数 $ m(p) $ 为单位切空间 $ S_p\Omega $ 上测地线曲率倒数的 $ L^{-2} $-平均，以测地线替代欧氏射线。
• 证明精确 Hardy 不等式 $ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $ 对所有 $ f \in H^1_0(\Omega) $ 成立，且常数与曲率无关。
• 利用该不等式推导出离散谱的充分条件：在边界距离正则性下，$ \Omega $ 的拟有界性。
• 通过限制测地线平均至到达 Dirichlet 边界部分的方向，将结果推广至混合边界条件。
• 应用比较几何（Topogonov 定理）将结果扩展至满足 $ -b \leq K \leq -a $ 的变负曲率流形。
• 在双曲空间中证明一致锥条件，以验证具有理想顶点的多边形的边界距离正则性。

实验结果

研究问题

• RQ1 在黎曼流形 $ (M,g) $ 的区域 $ \Omega \subset (M,g) $ 上，Dirichlet Laplacian 在何种几何条件下具有纯离散谱？
• RQ2 经典的欧氏 Hardy 不等式能否推广至曲率非恒定的黎曼流形？
• RQ3 测地线距离平均 $ m(p) $ 在决定谱离散性方面起什么作用？
• RQ4 在具有理想顶点的双曲空间多边形上，Laplacian 的谱行为如何？
• RQ5 谱离散性结果能否推广至具有混合边界条件的算子？

主要发现

• 在任意黎曼流形上均成立精确 Hardy 不等式：$ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $，其中 $ m(p)^{-2} = \int_{S_p\Omega} r_p(v)^{-2} dv $。
• Hardy 常数 $ \frac{n}{4} $ 仅依赖于维数，与曲率或几何数据无关。
• 在 $ \Omega $ 边界距离正则的条件下，$ \Omega $ 的拟有界性足以保证 $ \Delta^D $ 具有纯离散谱。
• 在 $ \mathbb{H}^n $ 中具有理想顶点的多边形即使不紧致，其谱仍为离散。
• 通过比较定理，结果可扩展至满足 $ -b \leq K \leq -a $，$ b > a > 0 $ 的变负曲率流形。
• 对于混合边界条件，Hardy 不等式成立，其中 $ m_\Gamma $ 为到达 Dirichlet 边界 $ \Gamma $ 的测地线的平均值。