[论文解读] Two-parameter quantum algebras, twin-basic numbers, and associated generalized hypergeometric series

R. Jagannathan, K. Srinivasa Rao|ArXiv.org|Feb 27, 2006

Advanced Combinatorial Mathematics参考文献 20被引用 94

一句话总结

本文提出了一种系统方法，通过双基本数 $[n]_{p,q} = (p^n - q^n)/(p - q)$ 将 $q$-级数推广为 $(p,q)$-级数，将已知的 $q$-恒等式扩展为更丰富的 $(p,q)$-类比。其关键贡献在于，通过简单的参数代换，$q$-结果可作为特例自然得出，从而简化了退化极限过程，并为量子群和特殊函数提供了新的代数与分析工具。

ABSTRACT

We give a method to embed the q-series in a (p,q)-series and derive the corresponding (p,q)-extensions of the known q-identities. The (p,q)-hypergeometric series, or twin-basic hypergeometric series (diferent from the usual bibasic hypergeometric series), is based on the concept of twin-basic number [n]_{p,q} = (p^n - q^n)/(p-q). This twin-basic number occurs in the theory of two-parameter quantum algebras and has been introduced independently in combinatorics. The (p,q)-identities thus derived, with doubling of the number of parameters, offer more choices for manipulations; for example, results that can be obtained via the limiting process of confluence in the usual q-series framework can be obtained by simpler substitutions. The q-results are of course special cases of the (p,q)-results corresponding to choosing p = 1. This also provides a new look for the q-identities.

研究动机与目标

• 通过双基本数 $[n]_{p,q} = (p^n - q^n)/(p - q)$ 将 $q$-超几何恒等式推广为 $(p,q)$-类比。
• 为 $q$-恒等式的 $(p,q)$-扩展提供统一框架，例如二项式定理、Heine 变换和 Gauss 求和公式。
• 证明当 $p = 1$ 时，$q$-结果可作为特例自然出现，无需复杂的极限过程。
• 探索经典特殊函数（如 Hermite 多项式和 $q$-正交多项式）的非平凡 $(p,q)$-推广。
• 建立基于 $(p,q)$-超几何级数研究双参数量子代数 $U_{p,q}(gl(2))$ 表示理论的基础。

提出的方法

• 将双基本数 $[n]_{p,q} = (p^n - q^n)/(p - q)$ 定义为 $q$-数 $[n]_q = (1 - q^n)/(1 - q)$ 的 $(p,q)$-推广。
• 引入 $(p,q)$-导数 $\hat{D}_{p,q}f(z) = \frac{f(pz) - f(qz)}{(p - q)z}$，其满足 $\hat{D}_{p,q}z^n = [n]_{p,q}z^{n-1}$。
• 将 $(p,q)$-超几何级数 ${}_r\Phi_s$ 构造为标准 $q$-超几何级数 ${}_r\phi_s$ 的推广。
• 通过双基本数框架将 $q$-级数嵌入 $(p,q)$-级数中，推导出经典 $q$-恒等式的 $(p,q)$-类比。
• 利用 ${}_1\Psi_1$ 级数推导出 Jacobi 三重积和 Euler 恒等式的 $(p,q)$-类比。
• 将该方法应用于推广 $q$-特殊函数，如连续 $(p,q)$-Hermite 多项式 $\mathcal{H}_n(x|p,q)$，并探索 $q$-正交多项式的非平凡推广。

实验结果

研究问题

• RQ1 如何利用双基本数 $[n]_{p,q}$ 系统地将 $q$-恒等式推广为 $(p,q)$-类比？
• RQ2 $(p,q)$-导数在定义一致的 $(p,q)$-微积分与超几何级数中起什么作用？
• RQ3 是否可以通过简单的参数代换而非极限过程从 $(p,q)$-结果中恢复出 $q$-结果？
• RQ4 $(p,q)$-推广对双参数量子群 $U_{p,q}(gl(2))$ 的表示理论有何影响？
• RQ5 $(p,q)$-推广的特殊函数（如 Hermite 多项式）与它们的 $q$-类比有何不同？

主要发现

• $(p,q)$-超几何级数 ${}_r\Phi_s$ 通过双基本数 $[n]_{p,q} = (p^n - q^n)/(p - q)$ 定义，推广了标准的 $q$-超几何级数。
• $(p,q)$-二项式定理与 Heine 变换作为其 $q$-类比的直接推广，当 $p = 1$ 时可恢复出 $q$-结果。
• ${}_2\phi_1$ 的 Gauss 求和与 ${}_1\psi_1$ 的 Ramanujan 求和被推广为 $(p,q)$-形式，后者导出了 Jacobi 三重积的 $(p,q)$-类比。
• 连续 $(p,q)$-Hermite 多项式 $\mathcal{H}_n(x|p,q)$ 定义为 $\sum_{k=0}^n \left[\begin{array}{c}n\\k\end{array}\right]_{p,q} e^{i(n-2k)\theta}$，其不等价于 $q$-Hermite 多项式的缩放形式。
• $(p,q)$-推广导出了一个双参数多项式族 $H_n^{(\alpha,\beta)}(x|q)$，其中 $H_n^{(0,1)}(x|q)$ 对应该标准的 $q$-Hermite 多项式。
• 该方法允许通过简单的代换 ($p=1$) 从 $(p,q)$-结果中获得 $q$-结果，避免了传统 $q$-理论中复杂的退化极限过程。