[论文解读] Special functions and q-commuting variables

Tom H. Koornwinder|ArXiv.org|Aug 13, 1996

Mathematical functions and polynomials参考文献 17被引用 26

一句话总结

本文系统研究了涉及 q-交换变量的特殊函数，其中 $xy = qyx$ 且 $0 < q < 1$，将经典的恒等式如 q-二项式公式、q-指数函数和 q-对数函数推广至非交换设置。主要贡献在于构建了在 q-交换平移下不变的 q-傅里叶变换与 Jackson 积分，这些通过辫子量子群结构（特别是辫子直线）统一起来，揭示了 q-特殊函数理论中更深层次的代数与典范性质。

ABSTRACT

This paper is mostly a survey, with a few new results. The first part deals with functional equations for q-exponentials, q-binomials and q-logarithms in q-commuting variables and more generally under q-Heisenberg relations. The second part discusses translation invariance of Jackson integrals, q-Fourier transforms and the braided line.

研究动机与目标

• 研究经典特殊函数恒等式（如二项式、指数与对数公式）在满足 $xy = qyx$ 的非交换变量下的推广。
• 建立 Jackson 积分与 q-傅里叶变换在 q-交换平移变量下的平移不变性。
• 通过辫子量子群框架（特别是辫子直线）统一 q-特殊函数恒等式，提供典范代数结构。
• 证明非交换形式的恒等式通常比其交换变量对应形式更优雅且代数上更自然。

提出的方法

• 在代数 $\mathbb{C}_q[x,y]$ 中推导 q-二项式公式 $(x+y)^n = \sum_{k=0}^n \left[n\atop k\right]_q y^{n-k}x^k$，其中 $xy = qyx$，使用递推关系与构造性证明技术。
• 在 q-海森堡关系下引入 q-指数与 q-对数的函数方程，将标准恒等式推广至非交换设置。
• 通过在 $(-\infty, \infty)$ 上的 Jackson 积分定义 q-傅里叶变换，证明其在 q-交换平移下的不变性，并将其与离散 q-埃尔米特多项式联系起来。
• 应用余乘法 $\Delta(f(x)) = f(x \otimes 1 + 1 \otimes t)$，并利用辫子直线结构推导 q-傅里叶变换的变换规律。
• 使用定义在 $f(x)$ 上的算子 $\int$，即 $\int_{-\infty}^{\infty} f(t) d_q t$，形式化标量值积分，并推导涉及 $\Delta(f(x))$ 与 $e_q(-ixy)$ 的恒等式。
• 建立 q-傅里叶变换性质的 $q$-类比：$({\rm id} \otimes {\cal F}_y)(\Delta(f(x))) = {\cal F}_y(f(x)) \, E_q(ixy)$，推广经典位移性质。

实验结果

研究问题

• RQ1 当变量为 q-交换而非交换时，经典 q-特殊函数恒等式（如 q-二项式公式）如何推广？
• RQ2 在 q-交换平移变量下，Jackson 积分与 q-傅里叶变换的平移不变性需满足何种条件？
• RQ3 辫子直线与辫子量子群如何为涉及非交换变量的 q-特殊函数恒等式提供统一框架？
• RQ4 非交换形式的 q-超几何级数是否能在交换版本失效时实现可求和性？
• RQ5 q-傅里叶变换背后的代数结构是什么？其与量子群理论中余乘法和反元素的关系如何？

主要发现

• 在满足 $xy = qyx$ 的非交换代数 $\mathbb{C}_q[x,y]$ 中，q-二项式公式成立，其系数为 q-二项式系数 $\left[n\atop k\right]_q$，通过递推关系得证。
• 在 q-海森堡关系下，q-指数函数方程 $e_q(x+y) = e_q(x)e_q(y)$ 成立，推广了经典指数恒等式。
• 在 $(-\infty, \infty)$ 上的 Jackson 积分在 q-交换平移下不变，通过余乘法 $\Delta(f(x)) = \int f(x \otimes 1 + 1 \otimes t) d_q t$ 形式化，得到 $({\rm id} \otimes \int)\Delta(f(x)) = \int f(x) \cdot 1$。
• q-傅里叶变换 $\mathcal{F}_y(f(x)) = \int e_q(-ity) f(t) d_q t$ 满足变换律 $({\rm id} \otimes \mathcal{F}_y)(\Delta(f(x))) = \mathcal{F}_y(f(x)) \, E_q(ixy)$，为经典位移性质的 $q$-类比。
• 恒等式 $({\rm id} \otimes \int)((1 \otimes g(x)) \Delta(f(x))) = ({\rm id} \otimes \int)((S \otimes {\rm id})\Delta(g(x)) \, (1 \otimes f(x)))$ 将经典卷积恒等式推广至 $q$-设置。
• 通过在 $\prod_{k=0}^{n-1} (1 - q^k(x+y - yx + c) + q^{2k}c)$ 中令 $n \to \infty$，得到一个推广命题 4.1 的恒等式，从而在 q-海森堡关系下获得 q-特殊函数的新加法公式。