[论文解读] Fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry

Howard S. Cohl, E. G. Kalnins|arXiv (Cornell University)|Jan 20, 2012

Mathematics and Applications参考文献 19被引用 4

一句话总结

本文推导了在具有恒定负曲率的 d 维双曲空间的双曲面模型上，拉普拉斯-贝尔特拉米算子的球对称基本解（格林函数）。通过测地线极坐标和双曲特殊函数，作者给出了多种等价表达式——包括超几何函数、第二类勒让德函数以及积分表示形式，并在无穷远处衰减为零的条件下证明了解的唯一性。

ABSTRACT

Due to the isotropy of $d$-dimensional hyperbolic space, one expects there to exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hyperboloid model of hyperbolic geometry $\Hi_R^d$ with $R>0$, represents a Riemannian manifold with negative-constant sectional curvature. We obtain a spherically symmetric fundamental solution of Laplace's equation on this manifold in terms of its geodesic radius. We give several matching expressions for this fundamental solution including a definite integral over reciprocal powers of the hyperbolic sine, finite summation expression over hyperbolic functions, Gauss hypergeometric functions, and in terms of the associated Legendre function of the second kind with order and degree given by $d/2-1$ with real argument greater than unity. We also demonstrate uniqueness for a fundamental solution of Laplace's equation on this manifold in terms of a vanishing decay at infinity.

研究动机与目标

• 构建 d 维双曲空间双曲面模型上拉普拉斯-贝尔特拉米算子的球对称基本解。
• 以双曲函数和特殊函数的形式，提供该基本解的多种等价解析表达式。
• 在无穷远处衰减为零的条件下，确立解的唯一性。
• 深化对具有负曲率的非紧黎曼流形上调和分析的理解。
• 通过积分、级数和特殊函数形式，统一各种格林函数的表达形式。

提出的方法

• 在具有恒定负曲率 $-1/R^2$ 的黎曼流形中，使用测地线极坐标参数化双曲面模型。
• 在测地线极坐标下推导径向调和函数，将基本解表示为测地距离 $\rho$ 的函数。
• 通过涉及 $\sinh\rho$ 的负幂次的定积分表达基本解。
• 将解表示为双曲函数的有限求和，并用高斯超几何函数表示。
• 将解识别为第二类勒让德函数，其阶数和次数为 $d/2 - 1$，自变量为实数且大于 1。
• 通过假设存在两个此类解并利用最大值原理和无穷远处的衰减条件，证明其差必须为零，从而证明唯一性。

实验结果

研究问题

• RQ1 d 维双曲面模型上拉普拉斯-贝尔特拉米算子的球对称基本解的显式形式是什么？
• RQ2 该基本解如何以多种等价的数学形式表达，包括积分、级数和特殊函数？
• RQ3 在双曲空间中，什么条件能确保基本解的唯一性？
• RQ4 无穷远处的衰减行为如何影响格林函数的唯一性？
• RQ5 基本解与第二类勒让德函数等特殊函数之间存在何种关系？

主要发现

• 基本解以包含 $\sinh^{-d+1}\rho$ 项的定积分形式表达，提供了直接的解析表示。
• 该解被证明等价于双曲函数的有限和，对所有 $d \geq 2$ 成立。
• 该解以高斯超几何函数 $F(a,b;c;z)$ 的形式表示，其参数依赖于维度 $d$。
• 该解被识别为第二类勒让德函数 $Q_{d/2-1}(\cosh\rho)$，其自变量 $\cosh\rho > 1$。
• 在所有在无穷远处趋于零的 $C^\infty$ 函数中，该基本解是唯一的，此结论通过非紧流形上的强最大值原理得到证明。
• 该解满足 $-\Delta \mathcal{H}_R^d = \delta_g$，且当测地距离 $\rho \to \infty$ 时衰减至零，确认了其物理与数学的一致性。