[論文レビュー] A Survey on q-Polynomials and their Orthogonality Properties

Roberto S. Costas-Santos, Joaquín Sánchez-Lara|arXiv (Cornell University)|Feb 24, 2010

Mathematical functions and polynomials参考文献 25被引用数 3

ひとこと要約

本稿は、q-直交多項式に関する包括的なサーベイを提示し、|q| ≠ 1 の場合の複素パラメータに対して Askey-Wilson 多項式および big q-Jacobi 多項式の直交性特性に焦点を当てる。γ_N = 0 となる退化した場合に対しても Favard の定理を拡張し、Sobolev 型直交性を確立するとともに、p_{n+N} = p_N p_n^{(N)} の形の因数分解を導出し、q-Askey および Nikiforov-Uvarov の表系において多項式族を結びつける。

ABSTRACT

In this paper we study the orthogonality conditions satisfied by the classical q-orthogonal polynomials that are located at the top of the q-Hahn tableau (big q-jacobi polynomials (bqJ)) and the Nikiforov-Uvarov tableau (Askey-Wilson polynomials (AW)) for almost any complex value of the parameters and for all non-negative integers degrees. We state the degenerate version of Favard's theorem, which is one of the keys of the paper, that allow us to extend the orthogonality properties valid up to some integer degree N to Sobolev type orthogonality properties. We also present, following an analogous process that applied in [16], tables with the factorization and the discrete Sobolev-type orthogonality property for those families which satisfy a finite orthogonality property, i.e. it consists in sum of finite number of masspoints, such as q-Racah (qR), q-Hahn (qH), dual q-Hahn (dqH), and q-Krawtchouk polynomials (qK), among others. -- [16] R. S. Costas-Santos and J. F. Sanchez-Lara. Extensions of discrete classical orthogonal polynomials beyond the orthogonality. J. Comp. Appl. Math., 225(2) (2009), 440-451

研究の動機と目的

• 古典的 q-直交多項式、特に Askey-Wilson 多項式および big q-Jacobi 多項式が、ほとんどすべての複素パラメータ値およびすべての非負整数次数に対して満たす直交性条件を調査すること。
• 再帰係数 γ_N が 0 となる退化した場合に対しても Favard の定理を拡張し、有限次多項式列に対する Sobolev 型直交性の特徴付けを可能にすること。
• q-多項式に有限直交性（例：q-Racah, q-Hahn, dual q-Hahn, q-Krawtchouk）を有する場合に、p_{n+N} = p_N p_n^{(N)} の形の因数分解恒等式を体系的に導出することにより、q-Askey および Nikiforov-Uvarov の表系における関連する族を結びつけること。
• q-多項式に有限質量点直交性を有する場合の離散的 Sobolev 型直交性および因数分解構造を要約した表を編集・提示し、これらの族を統一的な参照として提供すること。

提案手法

• 前方および後方差分作用素を用いて定義される第二階の超幾何型差分作用素 H を使用し、σ̂(x(s)) と τ(x(s)) をそれぞれ次数 ≤2 および 1 以下の多項式とする。
• γ_N = 0 の場合に対しても適用可能な Favard の定理の退化形を適用し、三項再帰関係（TTRR）を用いて直交多項式を特徴付ける。これにより、Sobolev 型直交性が得られる。
• 再帰係数の構造および差分作用素 T = Δ/Δx(s) の作用を用いて、p_{n+N} = p_N p_n^{(N)} の因数分解を導出する。ここで p_n^{(N)} は第 N 階の関連多項式である。
• 既知の文献からの恒等式を用い、パラメータ変換およびシフト作用素を用いて、q-多項式間の非正規化恒等式（例：q-Racah から Askey-Wilson、big q-Jacobi から q-Hahn）を確立する。
• 各 q-多項式族（例：q-Hahn, dual q-Hahn, q-Krawtchouk）がその関連多項式および対応する T^N(p_{n+N}) の式にどのようにマッピングされるかを示す表を作成し、直交性の特徴付けを可能にする。
• |q| = 1 の場合を別個に分析し、直交性構造がこの条件下でも有効であることを指摘するが、収束性および測度の性質には差が生じる可能性がある。

実験結果

リサーチクエスチョン

• RQ1 Askey-Wilson 多項式および big q-Jacobi 多項式の直交性特性は、ほとんどすべての複素パラメータ値およびすべての非負整数次数においてどのように振る舞うか？
• RQ2 三項再帰関係における再帰係数 γ_N が 0 となる場合に、Sobolev 型直交性がどのように構造づけられるか？
• RQ3 有限直交性（有限個の質量点）を有する q-多項式に対して、p_{n+N} = p_N p_n^{(N)} の因数分解を体系的に導出可能か？また、関連多項式 p_n^{(N)} はどのような性質を持つか？
• RQ4 q-多項式族（例：q-Racah, q-Hahn, q-Krawtchouk）は、シフト作用素およびパラメータ変換を用いた非正規化恒等式によってどのように関連づけられるか？
• RQ5 差分作用素 T = Δ/Δx(s) は、関連多項式列を生成し、q-Askey および Nikiforov-Uvarov の表系に跨る族を結びつける際に果たす役割は何か？

主な発見

• Askey-Wilson 多項式および big q-Jacobi 多項式において、直交性条件はすべての非負整数次数およびほとんどすべての複素パラメータ値に対して有効であり、|q| ≠ 1 の場合を含む。
• TTRR において γ_N = 0 である場合、退化した Favard の定理により、多項式列が差分作用素 T の第 N 反復を含む線形関数型に関して Sobolev 型直交性を満たすことが示される。
• 有限直交性を有する q-多項式に対して、p_{n+N} = p_N p_n^{(N)} の因数分解が成立し、p_n^{(N)} は q-Askey または Nikiforov-Uvarov の表系における同じ族または関連族に属する関連多項式である。
• q-Racah 多項式において α = q^{-N} とすると γ_N = 0 となり、関連多項式 r_n^{(N)} はパrameter 変換を施した Askey-Wilson 多項式として明示的に与えられる。
• T^N(p_{n+N}) が、パrameter が q^N 倍されたより高次の族（例：Askey-Wilson または big q-Jacobi）からの多項式に比例することが示され、Sobolev 直交性の構造が裏付けられる。
• 各 q-多項式族（例：q-Hahn, dual q-Hahn, q-Krawtchouk）がその関連多項式および対応する T^N(p_{n+N}) の式にマッピングされる表が提示され、直交性および因数分解構造の体系的同定が可能になる。