[论文解读] A description of several coordinate systems for hyperbolic spaces

Sandro Silva e Costa|ArXiv.org|Dec 19, 2001

Algebraic and Geometric Analysis参考文献 7被引用 7

一句话总结

本文提出了二维双曲空间的4种坐标系和三维双曲空间的12种坐标系，并推导了每种坐标系下Helmholtz方程的一般解。通过使用特殊函数（如Mathieu函数、抛物柱面函数和连带勒让德函数）证明了这些坐标系中存在可分离解，为解决宇宙学和量子引力中曲率几何下的波问题和本征值问题提供了工具。

ABSTRACT

This article simply presents several coordinate systems for 2 and 3-dimensional hyperbolic spaces, describing the general solutions of Helmholtz equation in each one of these systems.

研究动机与目标

• 提供二维和三维双曲空间中Helmholtz方程可分离的坐标系的全面参考。
• 通过提供非欧几里得几何中Helmholtz方程的解析解，支持宇宙学和量子引力的研究。
• 激励对尚未充分理解的紧致双曲流形谱性质的进一步研究。
• 通过识别能简化双曲空间中Laplace-Beltrami算子形式的坐标系，促进数值和解析研究。
• 将欧几里得空间中坐标可分离性已被充分记录的类比关系，推广到双曲情形。

提出的方法

• 使用Minkowski空间 $\mathbb{R}^{2,1}$ 中由约束 $x^1{}^2 + x^2{}^2 - x^3{}^2 = -1$ 定义的双曲空间的双曲面模型。
• 应用Klein和Poincaré投影，将在单位圆盘内可视化无限的双曲平面，以辅助坐标解释。
• 通过保持双曲度量不变的对称性变换（如洛伦兹提升）推导坐标系。
• 在不同坐标参数化下，对Helmholtz方程 $\Delta \Psi + \lambda^2 \Psi = 0$ 应用变量分离法。
• 利用特殊函数求解所得的常微分方程：椭圆坐标系中使用Mathieu函数，抛物指数坐标系中使用抛物柱面函数，对称坐标系中使用连带勒让德函数。
• 通过与欧几里得空间中的已知解及标准特殊函数理论的一致性检验来验证解的正确性。

实验结果

研究问题

• RQ1 在二维和三维双曲空间中，哪些坐标系允许Helmholtz方程的变量分离？
• RQ2 这些双曲坐标系中Helmholtz方程的一般解析解是什么？
• RQ3 与欧几里得坐标系中的解相比，双曲坐标系中的解在函数形式和适用性方面有何异同？
• RQ4 这些坐标系能否简化对与宇宙学相关的紧致双曲流形本征模态的研究？
• RQ5 特殊函数（如Mathieu函数、抛物柱面函数）在求解双曲空间上的波动方程中起什么作用？

主要发现

• 为二维双曲空间（$H^2$）提出了4种坐标系：椭圆坐标、抛物坐标、抛物指数坐标和对称坐标，每种均能导出Helmholtz方程的可分离解。
• 在$H^2$的椭圆坐标系中，径向和角向方程约化为Mathieu方程，解以Mathieu函数表示。
• 在抛物指数坐标系中，Helmholtz方程被分离为两个涉及抛物柱面函数的方程。
• 在三维双曲空间（$H^3$）中，描述了12种坐标系，包括球坐标、柱坐标和对称类型，每种均允许变量分离。
• 在$H^3$的对称坐标系中，解涉及具有复参数的第一类和第二类连带勒让德函数。
• 在对称坐标系中，通解表示为$\chi$、$u$和$v$的函数的乘积，其中$\chi$相关的部分为正弦形式，而$u$和$v$相关的部分则涉及具有复阶和复次数的连带勒让德函数（当$\ell \neq 0$时）。