[論文レビュー] Elementary derivations of summations and transformation formulas for q-series

George Gasper|ArXiv.org|May 19, 1996

Advanced Mathematical Identities参考文献 19被引用数 24

ひとこと要約

本稿では、関数方程式と反復的手法を用いて、q級数の和公式および変換公式を初等的かつ自己完結的に導出する。その結果、非常に良いバランスの取れた基本超幾何級数の新しい和公式の族が得られる。主な貢献は、解析接続とパラメータの代入を用いたジャクソンの和公式の新規導出であり、標準的な参考文献を超えたq級数理論の深い洞察を提供する。

ABSTRACT

We present some elementary derivations of summation and transformation formulas for q-series, which are different from, and in several cases simpler or shorter than, those presented in the Gasper and Bahman [1990] "Basic Hypergeometric Series" book (which we will refer to as BHS), the Bailey [1935] and Slater [1966] books, and in some papers; thus providing deeper insights into the theory of q-series. Our main emphasis is on methods that can be used to derive formulas, rather than to just verify previously derived or conjectured formulas. In section 5 this approach leads to the derivation of a new family of summation formulas for very well poised basic hypergeometric series _{6+2k}W_{5+2k}, k = 1,2,.... Several of the observations in this paper were presented, along with related exercises, in the author's minicourse on "q-Series" at the Fields Institute miniprogram on "Special functions, q-Series and Related Topics," June 12-14, 1995.

研究の動機と目的

• ガスパーとラハマンの『基本超幾何級数』（BHS）、ベイリーおよびスレイターの研究よりも、より単純または短い方法でq級数の和公式および変換公式を初等的かつ自己完結的に導出すること。
• 既知のまたは予想される公式の検証ではなく、導出に重点を置く方法を開発し、q級数の構造に対するより深い洞察を提供すること。
• パラメータの代入と解析接続を用いてジャクソンの和公式を拡張し、非常に良いバランスの取れた基本超幾何級数の新しい和公式の族を導出すること。
• 関数方程式と反復的技法を用いて、q級数の変換および和公式の恒等式を体系的に生成するアプローチを確立すること。
• 解析接続の力が、終了する級数の恒等式を非終了ケースに拡張する際の有効性を、ワトソンの変換公式の文脈で示すこと。

提案手法

• 関数方程式 f(a,z) = (1 - az)f(aq,z) を確立し反復することで、q二項定理を導出。その結果、f(a,z) = (az;q)∞f(0,z) が得られる。
• 関数方程式の手法を用いて、カウチおよびハイネの証明を一般化し、複雑な級数操作を避ける形でq二項定理を導出する。
• 解析接続を用いて、ワトソンの終了する変換公式を非終了ケースに拡張し、非終了級数に対してもその有効性を証明する。
• q^k 項にパラメータを代入することで、非負整数kを導入し、一般化された和公式の族を生成する。
• 関数方程式から得られる展開式を用い、特定の列u_kを代入することで、既知の公式を用いて和を計算可能な新しい和公式の恒等式を生成する。
• 関数方程式の反復的適用を用いて、終了する8W7級数のジャクソンの和公式を、複数のパラメータを含む非終了の非常に良いバランスの取れた6+2kW5+2k級数に拡張する。

実験結果

リサーチクエスチョン

• RQ1 従来の級数操作よりも、関数方程式を用いることで、q級数の和公式をより初等的かつ透明性の高い方法で導出できるか？
• RQ2 解析接続を用いることで、終了する変換公式を非終了ケースに拡張できるか？
• RQ3 パラメータの代入と関数方程式の反復的適用によって、どのような新しい和公式の族が生成できるか？
• RQ4 関数方程式の反復を用いて、初等的手法と解析接続を組み合わせることで、ジャクソンの和公式の導出を簡略化・一般化できるか？
• RQ5 この手法から生じる非常に良いバランスの取れた基本超幾何級数の新しい族の構造はどのようなものか？

主な発見

• 関数方程式 f(a,z) = (1 - az)f(aq,z) を用いた新しい初等的導出により、f(a,z) = (az;q)∞f(0,z) が得られる。
• q二項定理は f(a,z) = (az;q)∞ / (z;q)∞ として導出され、カウチ、ヤコビ、ハイネによる古典的結果と一致する。
• 関数方程式の手法は、級数操作や対数微分よりも単純で直感的なq二項定理への到達経路を提供する。
• 非常に良いバランスの取れた基本超幾何級数の新しい和公式の族が導出された：パラメータ a, b, a/b, d, e1, ..., ek, aq^{n1+1}/e1, ..., aq^{nk+1}/ek を持つ 6+2kW5+2k。
• 新しい和公式は 6+2kW5+2k = (q, aq, aq/bd, bq/d, q)∞ / (bq, aq/b, aq/d, q/d, q)∞ × ∏_{j=1}^k (aq/bej, bq/ej, q)_{nj} / (aq/ej, q/ej, q)_{nj} で与えられ、jq^{-(n1+...+nk)}/dj < 1 の条件下で有効である。
• この導出法により、パラメータの代入と解析接続を用いて、終了する8W7級数のジャクソンの和公式が、非終了の6+2kW5+2k級数に成功裏に拡張された。