[论文解读] A lower bound for the $\Theta$ function on manifolds without conjugate points

Yannick Guedes Bonthonneau|arXiv (Cornell University)|Mar 17, 2016

Advanced Mathematical Modeling in Engineering参考文献 7被引用 8

一句话总结

本文在无共轭点且具有有界几何的完备单连通黎曼流形上，建立了Θ函数的统一下界。通过证明当 d(x, x′) > ε > 0 时，ϑ(x, x′) = d(x, x′)^{n−1}Θ(x, x′) 有统一下界，作者将Bérard的Weyl定律余项估计——原要求非正曲率或二维情形——推广至所有无共轭点的流形，无论曲率符号如何。该工作解决了原始证明中的关键技术瓶颈，并推广了特征函数范数与波迹展开结果。

ABSTRACT

In this short note, we prove that the usual $\Theta$ function on a Riemannian manifold without conjugate points is uniformly bounded from below. This extends a result of Green in two dimensions. This elementary lemma implies that the B\'erard remainder in the Weyl law is valid for a manifold without conjugate points, without any restriction on the dimension.

研究动机与目标

• 在无共轭点流形上建立Θ函数的统一下界，消除对曲率符号假设的需求。
• 将Bérard的Weyl定律余项估计（此前要求非正曲率或二维）推广至所有紧致无共轭点流形。
• 通过在更弱假设下证明引理1.1成立，解决原始Bérard定理证明中的技术瓶颈。
• 证明波迹系数uk的关键估计（此前依赖非正曲率）在仅假设无共轭点与有界几何下依然成立。

提出的方法

• 引入Θ函数作为指数映射微分的行列式，并定义ϑ(x, x′) = d(x, x′)^{n−1}Θ(x, x′)以归一化其增长。
• 利用与Jacobi场方程相关的Riccati方程，分析测地线上Jacobi矩阵A(t)的渐近行为。
• 通过构造满足D(0)=1且D(t)=0的Jacobi场Dt，应用Green方法，并研究其在t→∞时的极限D+∞。
• 证明D+∞(s)可逆，并利用恒等式D′_t(0) − D′_s(0) = ∫_s^∞ A(ℓ)^{-1}A(ℓ)^{-T} dℓ来控制逆Jacobi矩阵的范数。
• 应用Hadamard不等式，并利用小s > 0时∥D′_−s(0) − D′_s(0)∥的有界性，估计A(t)^{-1}的范数。
• 在Jacobi场方程上应用Cauchy-Lipschitz不动点论证，控制D′_s(0) = −1/s + O(1)中的O(s)误差项，其中常数仅依赖于截面曲率的上界。

实验结果

研究问题

• RQ1 Bérard的Weyl定律余项估计能否推广至无共轭点但无需非正曲率的流形？
• RQ2 Bérard证明中用于波迹系数uk的关键估计，在仅假设无共轭点时是否依然成立？
• RQ3 在无共轭点且曲率有界的流形上，ϑ(x, x′)在d(x, x′) > ε > 0时是否保持统一下界？
• RQ4 能否仅基于无共轭点与有界几何，建立Θ(x, x′)的统一下界？

主要发现

• 在无共轭点与有界截面曲率的假设下，对所有满足d(x, x′) > ε > 0的x与x′，有ϑ(x, x′) > C，其中C > 0为与x、x′无关的常数。
• 当t > s > 0时，逆Jacobi矩阵的范数满足∥A(t)^{-1}∥_2^2 ≤ 2k coth(kt) ∥D′_−s(0) − D′_s(0)∥_2^2，其中k与曲率上界相关。
• 若截面曲率有界，则小s > 0时∥D′_−s(0) − D′_s(0)∥_2有统一有界性。
• 由∥A(t)^{-1}∥_2^2 ≤ C(t)（t > s > 0）可推出ϑ(x, x′)的统一下界，此即引理1.3的核心。
• 该结果表明，Bérard的Weyl定律余项O(λ^{n−1} log λ)对所有紧致无共轭点流形均成立，无论曲率符号如何。
• 该证明技术可推广至修正的Hadamard参数化系数˜uk，表明其在特征函数与波迹估计中具有更广泛的应用前景。