[论文解读] A limit transition from the Heckman-Opdam hypergeometric functions to the Whittaker functions associated with root systems

Nobukazu Shimeno|arXiv (Cornell University)|Dec 19, 2008

Advanced Algebra and Geometry参考文献 9被引用 9

一句话总结

本文通过缩放多重性参数并取大参数极限，建立了从 Heckman-Opdam 超几何函数到分裂半单李群上径向 Whittaker 函数的极限过渡。证明了在特定参数空间缩放下，类一 Whittaker 函数的径向部分作为 Heckman-Opdam 超几何函数的渐近极限出现，将已知的超几何函数到 Macdonald 函数的秩一极限推广至高秩分裂半单李群。

ABSTRACT

We prove that the radial part of the class one Whittaker function on a split semisimple Lie group can be obtained as an appropriate limit of the Heckman-Opdam hypergeometric function.

研究动机与目标

• 建立 Heckman-Opdam 超几何函数到根系相关 Whittaker 函数的严格极限过渡。
• 将已知的秩一极限过渡（例如，从高斯超几何函数到 Macdonald 函数）推广至高秩分裂半单李群。
• 证明分裂半单李群上类一 Whittaker 函数的径向部分在适当的参数缩放下，是 Heckman-Opdam 超几何函数的极限情形。
• 为理解有理 Calogero-Moser 模型与 Toda 晶格的特征函数之间的关系，提供一个统一的极限过渡框架。

提出的方法

• 论文采用一种参数缩放：对所有 $ \beta \notin \text{supp}(l) $，令 $ k_{ ext{M}}(\beta) = M $，且 $ k_{ ext{M}}(\beta) = M $ 对 $ \beta \notin \text{supp}(l) $ 成立，取 $ M \to \infty $，以变形 Heckman-Opdam 超几何函数。
• 通过变量替换 $ a = a_M $，其中 $ \log a_M = M \cdot \log a $，对超几何函数中的群变量进行缩放。
• 利用 $ F(\lambda, k_M; a_M) $ 的级数展开分析超几何函数的渐近行为，其中系数为 $ \Gamma_\mu(\lambda, k_M) $，并通过 Gamma 函数渐近性推导这些系数的增长估计。
• 通过使用 $ \tilde{c} $-函数与 $ \tilde{\mathbf{c}} $-函数，证明极限收敛于 Whittaker 函数，其中前者编码归一化信息，后者编码 Whittaker 函数的结构。
• 证明依赖于 Whittaker 函数作为中等增长解的唯一性，且极限函数继承了该性质。
• 关键步骤在于证明缩放后超几何函数的极限与 Whittaker 函数在 $ \Psi_T(w\lambda; a) $ 展开中的形式一致，其系数包含 $ f(\lambda) $ 与 Whittaker 函数的归一化因子 $ \tilde{\mathbf{c}}(\lambda) $。

实验结果

研究问题

• RQ1 分裂半单李群上类一 Whittaker 函数的径向部分是否可作为 Heckman-Opdam 超几何函数的极限得到？
• RQ2 实现该极限过渡所需的多重性参数与群变量的精确渐近缩放方式是什么？
• RQ3 从有理 Calogero-Moser 模型（Heckman-Opdam）到 Toda 模型（Whittaker）的极限过渡如何在秩一以上的情形推广？
• RQ4 在该极限过程中，$ \tilde{c} $-函数及其渐近行为起什么作用？
• RQ5 所得 Whittaker 函数是否为极限中唯一满足中等增长条件的解？该唯一性与原始超几何函数的唯一性有何关联？

主要发现

• 在多重性参数与群变量适当缩放下，分裂半单李群上类一 Whittaker 函数的径向部分是 Heckman-Opdam 超几何函数在 $ M \to \infty $ 时的极限。
• 极限过渡由下式显式给出：$ \lim_{M\to\infty} \delta(k;a_M)^{1/2} \tilde{c}(\rho(k),k) \prod_{\alpha\in R_+} \Gamma(k_M(\alpha)) \, F(\lambda,k_M;a_M) = \tilde{\mathbf{c}}(\rho) f(\lambda) a^{-\rho} W(\lambda,\psi;a) $，其中 $ f(\lambda) $ 为 Gamma 函数的乘积，$ W $ 为 Whittaker 函数。
• 证明了 $ \tilde{c} $-函数的渐近行为满足：当 $ M \to \infty $ 时，有 $ \tilde{c}(\lambda,k_M) \sim f(\lambda) \tilde{\mathbf{c}}(\lambda) \prod_{\alpha\in R_+} \frac{e^{-(\lambda,\alpha^\vee)M}}{\Gamma(k_M(\alpha))} $，这对收敛性至关重要。
• 极限函数在 $ \lambda $ 上具有 $ W $-不变性，且极限中 $ \Psi_T(w\lambda;a) $ 的系数与 Whittaker 函数展开一致，从而确认了识别关系。
• 在秩一情形下，该结果退化为已知极限：$ \lim_{k\to\infty} k^{-1/2} 2^{-k} \sinh^k(-t+M) F(\lambda,k;a_{-t+M}) = \frac{1}{\sqrt{\pi}} K_\lambda(e^t/2) $，其中 $ K_\lambda $ 为 Macdonald 函数。
• 本文确认 Whittaker 函数是极限中唯一满足中等增长条件的解，且极限过渡保持了该唯一性性质。