[论文解读] Separation of variables and Lie algebra contractions. Applications to special functions

G. S. Pogosyan, A. N. Sissakian+1 more|ArXiv.org|Oct 8, 2003

Noncommutative and Quantum Gravity Theories参考文献 37被引用 11

一句话总结

本文通过建立李代数之间的解析收缩关系——具体而言，从 O(3) 和 O(2,1) 收缩至 E(2) 和 E(1,1)——推导出在曲面空间（球面与双曲面）与平面空间（欧几里得与伪欧几里得平面）之间可分离坐标系及基函数的渐近关系。主要贡献在于推导出特殊函数之间显式的极限关系，例如超几何函数与贝塞尔函数，表明球面与双曲基函数在曲率半径 R → ∞ 的平坦极限下收缩为笛卡尔、抛物及汉克尔函数。

ABSTRACT

A review is given of some recently obtained results on analytic contractions of Lie algebras and Lie groups and their applications to special function theory.

研究动机与目标

• 建立曲面空间（S₂, H₂）与平面空间（E₂, E₁,₁）的等距群李代数之间的解析收缩，实现其坐标系与基函数之间渐近连接。
• 通过引入曲率参数 R，推广因内-温格收缩，实现从紧致与非紧致对称空间到平面空间的连续过渡。
• 在这些收缩下，推导出特殊函数（如勒让德函数、超几何函数与贝塞尔函数）的显式渐近极限。
• 通过基函数收缩，将 S₂ 与 H₂ 上拉普拉斯-贝尔特拉米方程的可分离解与 E₂ 与 E₁,₁ 上的解联系起来。
• 提供一个群论框架，从表示理论与对易算符的角度理解特殊函数在极限行为下的性质。

提出的方法

• 采用以曲率半径 R 参数化的解析收缩，其中 R → ∞ 对应平坦极限，应用于李代数 o(3)、o(2,1) 及其收缩至 e(2) 与 e(1,1) 的情形。
• 应用算符法分离变量，识别等距李代数包络代数中一组完备的二阶微分对易算符。
• 将 S₂ 与 H₂ 上的基函数（球面、椭圆、等距、抛物）用超几何函数与连带勒让德函数表示，以支持渐近分析。
• 在 R → ∞ 限制下对超几何函数执行渐近展开，同时对坐标与量子数进行重标度（例如 ρ ∼ kR，τ ∼ x/R）。
• 利用特殊函数的已知积分表示与渐近公式，包括 ₀F₁、₂F₁ 与贝塞尔函数，推导特征函数的极限形式。
• 依赖于连带勒让德函数与超几何函数之间已知的恒等式，以促进收缩过程的实现。

实验结果

研究问题

• RQ1 当曲率参数 R → ∞ 时，球面 S₂ 与双曲面 H₂ 上的可分离坐标系如何收缩为欧几里得与伪欧几里得平面的坐标系？
• RQ2 当曲率趋于零（R → ∞）时，S₂ 与 H₂ 上的基函数（球面、椭圆、等距）的极限行为如何？
• RQ3 超几何函数与贝塞尔函数等特殊函数如何作为曲面空间函数的极限出现？
• RQ4 S₂ 与 H₂ 上拉普拉斯-贝尔特拉米算符的特征函数与平坦空间上的特征函数之间，精确的渐近关系是什么？
• RQ5 基函数之间的互基展开系数与重叠函数在李代数收缩下如何变换？

主要发现

• S₂ 上球面基函数在 R → ∞ 时的极限给出 E₂ 上笛卡尔基函数，其渐近关系为 lim_{R→∞} √R |Γ(iρ)| Ψ_{ρm}(τ,φ) = √(2/k₀) e^{ik₀t - ik₁x}。
• S₂ 上的椭圆基函数收缩为 E₂ 上的笛卡尔与抛物基函数，基函数中的超几何函数转化为表示余弦与正弦函数的 ₀F₁ 函数。
• H₂ 上的等距基函数收缩为 E₂ 上的笛卡尔基函数，极限关系为 lim_{R→∞} Ψ_{ρλ}(τ₁,τ₂) = √(k/πk₂) exp(ik₁x + ik₂y)。
• H₂ 上的等距基函数也收缩为 E₁,₁ 上的极坐标基函数，极限关系为 lim_{R→∞} (1/√R) Ψ_{ρλ}(α,τ₂) = √(k/2) H_{iλ}^{(1)}(kr) e^{iλ(τ₂ + iπ/2)}，与汉克尔函数相联系。
• S₂ 上的勒梅方程解收缩为 E₂ 上的亥姆霍兹方程解，超几何函数在极限下退化为贝塞尔函数。
• 收缩过程保持了对易算符的代数结构，并通过在 R 上的解析延拓，实现了不同几何中特征函数之间的连续映射。