[論文レビュー] Additions to the formula lists in "Hypergeometric orthogonal polynomials and their $q$-analogues" by Koekoek, Lesky and Swarttouw

Tom H. Koornwinder|arXiv (Cornell University)|Jan 4, 2014

Mathematical functions and polynomials参考文献 60被引用数 22

ひとこと要約

本報告は、Koekoek, Lesky, および Swarttouw の『Hypergeometric orthogonal polynomials and their $q$-analogues』における包括的な公式リストを補完し、元の文献に省かれた (q-)超幾何直交多項式の追加公式を収集している。著者は、特に $q$-ラゲール、スティルチェス＝ウィーガー、離散 $q$-ヘルミート多項式に対して、新しい恒等式、変換、および母関数を提供しており、参照や証明により裏付けられている。これにより、特殊関数および直交多項式分野の研究者にとっての標準的参考文献の有用性が向上する。

ABSTRACT

This paper gives a rather arbitrary choice of formulas for ($q$-)hypergeometric orthogonal polynomials which the author missed while consulting Chapters 9 and 14 in the book "Hypergeometric orthogonal polynomials and their $q$-analogues" by Koekoek, Lesky and Swarttouw. The systematics of these chapters will be followed here, in particular for the numbering of subsections and of references.

研究の動機と目的

• Koekoek, Lesky, および Swarttouw の主要参考文献に含まれていない (q-)超幾何直交多項式の追加公式を収集・体系化すること。
• 特に直交性や再帰関係といったコアカテゴリ以外の分野における標準的公式リストの空白を埋めること。
• 研究者が必要としている頻出公式の、アクセスしやすく、参照付きの導出または証明を提供すること。
• q-ラゲール、スティルチェス＝ウィーガー、および離散 $q$-ヘルミート多項式の公式を含めることで、標準的テキストの有用性を拡張すること。
• 標準的ソースでは見つかりにくい、あるいは欠落している公式を、参考文献を添付したキュレートされた一覧として研究者を支援すること。

提案手法

• 標準的参考文献（[GR], [DLMF], [AAR], [Sz] など）から (q-)超幾何直交多項式の公式を体系的に収集する。
• 既知の変換（例：2次変換、$q$-超幾何恒等式）を適用し、新しい関係を導出する（例：$q$-ラゲールと離散 $q$-ヘルミート多項式の間の関係）。
• 母関数、特に $q$-指数母関数 (169) を用いて、$x^n$ を $p_n(x;a;q)$ に関する展開式 (170) を導出する。
• パラメータを調整して、既知の形式に一致するように重み関数を修正・再表現する（例：$w(x)$ の (179) における調整）。
• 2次変換を用いて、異なる多項式族の間の関係を確立する。例えば、(171) において $p_n(x^2; q^{-1}; q^2)$ と離散 $q$-ヘルミート I 多項式 $h_{2n}(x;q)$ の関係を示す。
• 母関数の係数を用いて、$t$ のべき乗を等置することで、(170) のような新しい展開式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Koekoek, Lesky, および Swarttouw の標準的参考文献に、(q-)超幾何直交多項式について欠落している追加の公式は何か？
• RQ2 母関数を用いることで、$x^n$ を直交多項式基底に関する明示的展開式としてどのように導出できるか？
• RQ3 特に代替パrameter化において、スティルチェス＝ウィーガー多項式および $q$-ラゲール多項式の正しい重み関数と正規化定数は何か？
• RQ4 2次変換により $q$-ラゲールと離散 $q$-ヘルミート多項式がどのように関連づけられるか、そしてその係数恒等式の正確な形は何か？
• RQ5 スティルチェス＝ウィーガー多項式の重み関数の正しいパrameter化は何か？ これは文献に既知の結果と一致するようにすべきである。

主な発見

• 生成関数恒等式 (169) は、小さな $q$-ラゲール多項式の $q$-指数母関数を提供し、展開式の導出を可能にする。
• 式 (170) は、$x^n$ を $p_k(x;a;q)$ に関する有限和としての明確な展開を与える。係数には $q$-ポッホハマー記号が含まれる。
• 2次変換 (171) は、$p_n(x^2; q^{-1}; q^2)$ と離散 $q$-ヘルミート I 多項式 $h_{2n}(x;q)$ の関係を示し、$(q; q^2)_n$ を含む係数を伴う。
• 式 (177) は、$\beta = -1/2$ の $q$-ラゲール多項式と離散 $q$-ヘルミート II 多項式 $\tilde{h}_{2n}(x;q)$ の類似関係を確立し、以前の結果と整合性を確認する。
• スティルチェス＝ウィーガー多項式の修正された重み関数 (179) は $\frac{\nu}{\nu}$ で表され、$\nu^2 = -1/(2\text{ln} q)$ である。これは [DLMF] および [Sz] に既知のパラメータ化と一致する。
• q-ラゲール多項式の正規化定数 $h_0$ は (174) で与えられ、$\beta \to \text{integer}$ の連続極限を持つ。$\beta$ が整数で $\to 0$ の場合、明示的に $h_n = q^{-\frac{1}{2}\beta(\beta+1)}(q;q)_\beta \text{log}(q^{-1})$ として評価される（175）。