[论文解读] The c-function expansion of a basic hypergeometric function associated to root systems

Jasper V. Stokman|arXiv (Cornell University)|Sep 3, 2011

Mathematical functions and polynomials参考文献 31被引用 4

一句话总结

本文推导了与根系相关的基本超几何函数的c-函数展开，将其表示为q-超几何级数的线性组合。展开系数以q-超几何级数的q-类比形式明确给出，即q-Gamma函数的乘积，从而建立了Heckman-Opdam超几何函数的q-类比。

ABSTRACT

We derive an explicit c-function expansion of a basic hypergeometric function associated to root systems. The basic hypergeometric function in question was constructed as explicit series expansion in symmetric Macdonald polynomials by Cherednik in case the associated twisted affine root system is reduced. Its construction was extended to the nonreduced case by the author. It is a meromorphic Weyl group invariant solution of the spectral problem of the Macdonald q-difference operators. The c-function expansion is its explicit expansion in terms of the basis of the space of meromorphic solutions of the spectral problem consisting of q-analogs of the Harish-Chandra series. We express the expansion coefficients in terms of a q-analog of the Harish-Chandra c-function, which is explicitly given as product of q-Gamma functions. The c-function expansion shows that the basic hypergeometric function formally is a q-analog of the Heckman-Opdam hypergeometric function, which in turn specializes to elementary spherical functions on noncompact Riemannian symmetric spaces for special values of the parameters.

研究动机与目标

• 推导与根系相关的基本超几何函数的c-函数展开，将Cherednik的构造推广至非约化情形。
• 将特征函数表示为q-类比的Harish-Chandra级数的线性组合，构成Macdonald q-差分方程的亚纯解空间的一组基。
• 将展开系数识别为c-函数的q-类比，显式以q-Gamma函数的乘积形式给出。
• 建立基本超几何函数作为Heckman-Opdam超几何函数的正式q-类比，与对称空间上的球函数相关联。

提出的方法

• 基本超几何函数E+被构造为对称Macdonald多项式上的绝对收敛级数，具有Weyl群不变性且为亚纯函数。
• Macdonald q-差分算子的亚纯特征函数空间由基本Harish-Chandra级数Φ̂η(·, γ)的Weyl群作用像张成。
• 通过将E+表示为线性组合∑w∈W₀ ĉη(wγ) Φ̂η(·, wγ)，其中系数ĉη(γ)与谱参数t无关（因前因子Ŵη已归一化），推导出c-函数展开。
• 展开系数显式计算为ĉη(γ) = ϑ((w₀η)⁻¹ξγ)/ϑ(ξγ) ⋅ c_{kᵈ,q}(γ)，其中ϑ为theta函数，c_{kᵈ,q}(γ)为c-函数的q-类比。
• 该构造利用了多重性函数k与kᵈ之间的对偶性，尤其在非约化情形（如C∨Cₙ型）中具有非平凡性，并将Cherednik的工作推广至非约化仿射根系。
• 该方法依赖于渐近分析及q-特殊函数的性质，包括q-Gamma函数与基本超几何级数，与Askey-Wilson及Ruijsenaars模型相关联。

实验结果

研究问题

• RQ1 如何将与根系相关的基本超几何函数展开为q-类比的Harish-Chandra级数？
• RQ2 在此设定下，c-函数展开系数的显式形式是什么？其与已知特殊函数有何关联？
• RQ3 基本超几何函数与Heckman-Opdam超几何函数的q-类比之间有何关系？
• RQ4 在非约化情形下，特别是C∨Cₙ根系中，对偶性起何作用？
• RQ5 结果如何退化为已知模型，如GLₘ情形或秩一系统？

主要发现

• 基本超几何函数E+的c-函数展开被显式推导为∑w∈W₀ ĉη(wγ) Φ̂η(·, wγ)，其中系数与谱参数t无关。
• 展开系数为ĉη(γ) = ϑ((w₀η)⁻¹ξγ)/ϑ(ξγ) ⋅ c_{kᵈ,q}(γ)，其中ϑ为theta函数，c_{kᵈ,q}(γ)为q-Gamma函数的乘积。
• 在约化情形下，函数E+与Cherednik的全局球函数一致，且展开式恢复了Macdonald多项式已知结果。
• 在非约化情形（如C∨Cₙ）中，k与kᵈ之间的对偶性导致多重性函数的非平凡变换，且c-函数具有五个自由度。
• 该构造可推广至GLₘ情形（Aₘ₋₁型），通过Macdonald q-差分算子与Ruijsenaars的相对论性Calogero-Moser模型相联系。
• 结果表明，E+在形式上是Heckman-Opdam超几何函数的q-类比，当参数取特定值时，其退化为非紧对称空间上的初等球函数。