[論文レビュー] The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue

Roelof Koekoek, René F. Swarttouw|arXiv (Cornell University)|Feb 20, 1996

Mathematical functions and polynomials参考文献 368被引用数 1,234

ひとこと要約

この画期的な論文は、アスキーモデルとそのqアナローグであるq-アスキーモデルにおいて、超幾何型および基本超幾何型の直交多項式を体系的に分類し、すべての古典的族間の限界遷移を含む包括的な定義、直交性関係、三項再帰関係、母関数、および限界遷移を提供する。主な貢献は、すべての古典的直交多項式とそのqアナローグの間の明確な接続を確立する統一的かつ包括的な枠組みを構築したことである。これにより、限界プロセスやパrameterの特殊化によって、ある族から別の族を導出可能となる。

ABSTRACT

We list the so-called Askey-scheme of hypergeometric orthogonal polynomials. In chapter 1 we give the definition, the orthogonality relation, the three term recurrence relation and generating functions of all classes of orthogonal polynomials in this scheme. In chapeter 2 we give all limit relation between different classes of orthogonal polynomials listed in the Askey-scheme. In chapter 3 we list the q-analogues of the polynomials in the Askey-scheme. We give their definition, orthogonality relation, three term recurrence relation and generating functions. In chapter 4 we give the limit relations between those basic hypergeometric orthogonal polynomials. Finally in chapter 5 we point out how the `classical` hypergeometric orthogonal polynomials of the Askey-scheme can be obtained from their q-analogues.

研究の動機と目的

• すべての古典的超幾何型直交多項式およびそのqアナローグの完全で体系的な分類を提供すること。
• 異なる族間のすべての可能な限界関係を確立することで、古典的直交多項式の理論を統一すること。
• 厳密な数学的定義と変換を用いて、アスキーモデルとそのqアナローグの間の関係を理解する一貫性のあるフレームワークを提示すること。
• すべての基本的な公式と関係を一つのアクセスしやすいレポートに集約することで、直交多項式の研究に従事する研究者たちの基盤的参考文献として機能すること。
• 古典的超幾何多項式が、そのqアナローグの極限としてどのように導出可能であるかを示し、古典理論とq理論の両者を統合すること。

提案手法

• 標準的な超幾何表現を用いて、すべての古典的超幾何型直交多項式（例：エルミート、ラゲール、ヤコビ、マイクサー、チャリエ）を定義する。
• アスキーモデル内の各多項式族に対して、三項再帰関係、直交性測度、母関数を提示する。
• 適切なパrameterの極限（例：スケーリングパラメータを0または∞に近づける）を取ることで、アスキーモデル内でのすべての可能な限界関係を確立する。
• q-超幾何関数とq-シフト・ファクタリアルを用いて、各古典的多項式のqアナローグを導入する。
• qアナローグ族（例：q-ラカ、q-ハーン、連続q-エルミート）を、それぞれの直交性関係、再帰関係、母関数とともに提示する。
• q → 1− の極限を取ることで、古典的超幾何多項式がそのqアナローグの極限として現れることを示し、古典理論とq理論のフレームワークを統合する。

実験結果

リサーチクエスチョン

• RQ1 アスキーモデル内のすべての古典的超幾何型直交多項式は、どのような限界プロセスによって関連付けられているか？
• RQ2 アスキーモデル内の各多項式族について、正確な数学的定義、直交性測度、再帰関係、母関数は何か？
• RQ3 qアナローグの古典的直交多項式は、どのような限界手続きによってその古典的対応物と関連づけられるか？
• RQ4 q-アスキーモデル内の基本超幾何型直交多項式族間の完全な限界関係の集合は何か？
• RQ5 古典的超幾何型直交多項式は、そのqアナローグの特殊化として体系的かつ一貫して導出可能か？

主な発見

• アスキーモデル内のすべての古典的超幾何型直交多項式は、明確に定義された限界関係によって相互に接続されており、例としてウィルソン → 連続双対ハーン → 連続ハーン → ヤコビの順に示される。
• q-アナローグのアスキーモデル（例：q-ラカ、q-ハーン、連続q-エルミートなど）は、直交性測度、再帰関係、母関数によって完全に特徴づけられている。
• 古典的超幾何多項式（例：エルミート、ラゲール、ヤコビ）は、q → 1− の極限においてそのqアナローグの極限として現れ、q理論が古典理論と整合的であることを確認している。
• 連続q-エルミート多項式は、q-Pochhammer記号と三角関数的パラメータを含む重み関数に関して区間 [−1, 1] で直交する。
• 離散的q-エルミートIおよびII多項式は、虚数単位とパラメータの逆数変換を含む単純な変換によって関連づけられており、q理論における深い対称性を示している。
• Stieltjes–Wigert多項式は、対数正規重み関数に関して直交しており、そのモーメント問題は不定的である。これはq-直交多項式理論において重要な特徴である。