[論文レビュー] 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)$-拡張を統一的枠組みで提供すること。
• パラメータ $p = 1$ と置くことで $q$-結果が特殊ケースとして得られることを示し、複雑な極限処理を回避すること。
• エルミート多項式や $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}$ を満たすことを示す。
• 標準的 $q$-超幾何級数 ${}_r\phi_s$ の一般化として $(p,q)$-超幾何級数 ${}_r\Phi_s$ を構成する。
• 二重基本数フレームワークを用いて $q$-級数を $(p,q)$-級数に埋め込み、古典的 $q$-恒等式の $(p,q)$-類似を導出する。
• ${}_1\Psi_1$ 級数を用いて、ジャコビ三重積およびオイラーの恒等式の $(p,q)$-類似を導出する。
• この手法を $q$-特殊関数の一般化に適用し、連続的 $(p,q)$-エルミート多項式 $\mathcal{H}_n(x|p,q)$ を定義し、$q$-直交多項式の非自明な一般化を探索する。

実験結果

リサーチクエスチョン

• RQ1 二重基本数 $[n]_{p,q}$ を用いて $q$-恒等式を体系的に $(p,q)$-類似に拡張する方法は何か？
• RQ2 $(p,q)$-微分は、一貫性のある $(p,q)$-微積分および超幾何級数を定義するために果たす役割は何か？
• RQ3 極限処理を避けて、単純なパラメータ置換により $q$-結果を $(p,q)$-結果から回復できるか？
• RQ4 $(p,q)$-一般化は、二パラメータ量子群 $U_{p,q}(gl(2))$ の表現論にどのような意味を持つのか？
• RQ5 エルミート多項式などの特殊関数の $(p,q)$-一般化は、それらの $q$-類似とどのように異なるか？

主な発見

• $(p,q)$-超幾何級数 ${}_r\Phi_s$ は、二重基本数 $[n]_{p,q} = (p^n - q^n)/(p - q)$ を用いて定義され、標準的 $q$-超幾何級数を一般化する。
• $(p,q)$-二項定理およびハイネ変換は、それらの $q$-類似の直接的な類似として導出され、$p = 1$ と置くことで $q$-結果が回復される。
• ${}_2\phi_1$ のガウス和および ${}_1\psi_1$ のラマヌジャン和が $(p,q)$-形式に拡張され、後者はジャコビ三重積の $(p,q)$-類似を導く。
• 連続的 $(p,q)$-エルミート多項式 $\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$-エルミート多項式のスケーリングとは等価でない。
• $(p,q)$-一般化により、二パラメータ族の多項式 $H_n^{(\alpha,\beta)}(x|q)$ が得られ、特に $H_n^{(0,1)}(x|q)$ は標準的 $q$-エルミート多項式に対応する。
• 本手法により、$q$-結果が $p=1$ の単純な置換により $(p,q)$-結果から得られ、従来の $q$-理論で用いられる複雑な融合極限を回避できる。