[論文レビュー] Duality of q-polynomials, orthogonal on countable sets of points

Natig M. Atakishiyev, A. U. Klimyk|ArXiv.org|Nov 11, 2004

Random Matrices and Applications参考文献 23被引用数 15

ひとこと要約

本稿は、$q$-直交多項式の可算集合上における双対性フレームワークを、ジャコビ行列で表現される自己共役作用素を用いて導入する。2つの双対的多項式族を、それぞれ有界かつ自己共役（決定的ケース）である作用素と、$q$-差分方程式によって関連づけられる（不決定的ケース）作用素と関連付けることで、明示的な直交関係と固有値スペクトルが導かれる。これにより、有界作用素の固有関数がユニタリ変換によって関連づけられる正規直交基底を形成することが示される。

ABSTRACT

We review properties of q-orthogonal polynomials, related to their orthogonality, duality and connection with the theory of symmetric (self-adjoint) operators, represented by a Jacobi matrix. In particular, we show how one can naturally interpret the duality of families of q-polynomials, orthogonal on countable sets of points. In order to obtain orthogonality relations for dual sets of polynomials, it is proposed to use two symmetric (self-adjoint) operators, representable (in some distinct bases) by Jacobi matrices. This approach is applied to several pairs of dual families of q-polynomials, orthogonal on countable sets, from the q-Askey scheme. For each such pair, the corresponding operators, representable by Jacobi matrices, are explicitly given. These operators are employed in order to find explicitly sets, on which the polynomials are orthogonal, and orthogonality relations for them.

研究の動機と目的

• 可算集合上での$q$-直交多項式への双対性の概念を拡張すること、特にモーメント問題の文脈において。
• 双対的多項式族と、ジャコビ行列で表現される対称作用素のスペクトル論の間の関係を確立すること。
• $q$-アスキー族からの双対的$q$-多項式の直交測度とスペクトルの明示的構成を提供すること。
• 有界自己共役ジャコビ作用素の固有関数が、ユニタリ変換によって双対的族と関連づけられる完全正規直交基底を形成することを示すこと。
• 量子代数表現論に依存しないように、作用素とそのスペクトル的性質を明示的に構成すること。

提案手法

• 2つの対称（自己共役）作用素$A$と$I$を用い、異なる基底で表現されるジャコビ行列として双対的多項式族をモデル化する。
• $A$を、決定的モーメント問題に対応する三項再帰関係と関連づける。この作用素は有界かつ自己共役であり、離散スペクトルを持つ。
• $I$を用いて、同じ多項式が満たす$q$-差分方程式を表現し、固有関数の明示的計算を可能にする。
• $A$をその固有関数を用いて対角化する。固有関数は決定的族に属する$q$-多項式で表される。
• 行列要素$u_{mn}$が$q$-多項式$P_m(x)$に比例するユニタリ行列$U$を構成し、標準基底と固有基底を結ぶ。
• ユニタリ性から2つの直交関係を導出する：1つは多項式$P_m(x)$のもの、もう1つは双対族のもので、スペクトル測度を介して得られる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、可算点集合上での直交性を持つ多項式族への$q$-直交多項式の双対性を自然に拡張できるか？
• RQ2 ジャコビ行列で表現される自己共役作用素が、双対的$q$-多項式族の直交性とスペクトル的性質を特徴づける役割を果たすか？
• RQ3 決定的および不決定的モーメント問題は、スペクトル論の文脈において$q$-多項式の双対性とどのように関係するか？
• RQ4 量子代数表現論に依存せずに、双対的$q$-多項式ペアの明示的直交関係とスペクトルを導出可能か？
• RQ5 この枠組みにおいて、有界自己共役ジャコビ作用素の標準基底と固有基底を結ぶ明示的ユニタリ変換は何か？

主な発見

• 三項再帰関係に関連する有界自己共役作用素$A$は、離散的かつ単純なスペクトルを持ち、その固有関数は決定的族に属する$q$-多項式で明示的に与えられる。
• $A$の固有関数は、直交測度から導かれるスペクトル測度$ u$に関するヒルベルト空間$L^2(\nu)$において正規直交基底を形成する。
• 2番目の作用素$I$は$q$-差分方程式を表し、固有関数の正規化を可能にし、標準基底と固有基底の間のユニタリ変換を生じる。
• 2つの基底を結ぶユニタリ行列$U$は、2つの直交関係を満たす：$\sum_n u_{mn}u_{m'n} = \delta_{mm'}$ および $\sum_m u_{mn}u_{mn'} = \delta_{nn'}$。これらはそれぞれ$q$-多項式とその双対族の直交性に対応する。
• アル＝サラーム・カールツII多項式およびリトル$q$-ラゲール多項式に関して、明示的和公式を用いて双対性が確認され、恒等式$\sum_{n=0}^\infty \frac{(abq,bq;q)_n}{(aq,q;q)_n} \frac{1-abq^{2n+1}}{1-abq} a^n q^{n^2} = \frac{(abq^2;q)_\infty}{(aq;q)_\infty}$が$q$-超幾何恒等式を用いて証明される。
• キーとなる恒等式(4.33)の別証明として、すべての$k \geq 0$に対して恒等的にゼロとなる関数$\eta_k(a;q)$を用い、$q$-シフト・ファクタリアルおよびジャクソンの和分公式の極限形を用いて帰納的に検証する。