[論文レビュー] Invariant properties for Wronskian type determinants of classical and classical discrete orthogonal polynomials under an involution of sets of positive integers

Guillermo P. Curbera, Antonio J. Durán|arXiv (Cornell University)|Dec 22, 2016

Mathematical functions and polynomials参考文献 1被引用数 5

ひとこと要約

本稿では、非負整数の有限集合上での特定の対合に関する、古典的および古典的離散直交多項式のワロンスキー型行列式の不変性を確立する。クリスティオフエル変換を用いたクラルの離散直交多項式の双対表現と組み合わせることで、極限過程を介して離散的から連続的直交多項式へと拡張される対称性関係を導出し、ハンケルおよびワロンスキー行列式における深い構造的不変性を明らかにする。

ABSTRACT

Given a finite set $F=\{f_1,\cdots ,f_k\}$ of nonnegative integers (written in increasing size) and a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we consider the Casorati determinant $\det(p_{f_i}(x+j-1))_{i,j=1,\cdots,k}$. In this paper we prove a nice invariant property for this kind of Casorati determinants when the set $F$ is changed by $I(F)=\{0,1,2,\cdots,\max F\}\setminus \{\max F-f:f\in F\}$. This symmetry is related to the existence of higher order difference equations for the orthogonal polynomials with respect to certain Christoffel transforms of the classical discrete measures. By passing to the limit, this invariant property is extended for Wronskian type determinants whose entries are Hermite, Laguerre and Jacobi polynomials.

研究の動機と目的

• 古典的および古典的離散直交多項式から構成されるワロンスキー型行列式が、インデックス集合に特定の対合を施した場合の不変性を同定し、証明すること。
• クラルの離散直交多項式が古典的測度のクリスティオフエル変換から生じる高階差分方程式を満たすことに基づき、これらの不変性を関連付けること。
• ハーンおよびマイクサー多項式からの既知の漸近的スケーリング関係を用いた極限手続きを通じて、離散的不変性結果を連続的直交多項式（エルミート、ラゲール、アーベル）へと拡張すること。
• クラル多項式の代数的および構造的性質を用いて、既知の直交多項式行列式における不変性現象を統一的かつ一般化すること。

提案手法

• 非負整数の有限集合上に、$ I(F) = \{0,1,\dots,\max F\} \setminus \{\max F - f \mid f \in F\} $ と定義される対合 $ I $ を導入し、異なるインデックス集合を関連付ける。
• クラルの離散直交多項式に対して、2種類の行列式表現を用いる：1つは一般のクリスティオフエル変換理論に由来し、もう1つは $ \mathcal{D} $-作用素に由来するもので、これらは高階差分作用素における固有関数性を活用する。
• 対合 $ I $ におけるカソラティ行列式 $ \det(p_{f_i}(x+j-1))_{i,j=1}^k $ の不変性を確立し、それらが基礎となる測度変換の対称性と関連することを示す。
• 既知の漸近的スケーリング関係を用いて、離散的から連続的直交多項式への極限を取る：ハーン → アーベル、マイクサー → ラゲール、チャリエ → エルミート。
• 得られたワロンスキー型行列式を正規化し、パrameterおよび変数に誘導される対合の下での不変性を証明する。
• 離散直交多項式におけるインデックスと変数の双対性を活用し、離散的対称性を連続的対称性へと結びつける。特に、例外的およびクラル多項式フレームワークにおいて有効である。

実験結果

リサーチクエスチョン

• RQ1 非負整数の有限集合上での対合 $ I $ は、チャリエ、マイクサー、クラフトシュウク、ハーンなどの古典的離散直交多項式の行列式構造にどのように影響を与えるか？
• RQ2 カソラティ行列式が $ I $ の下で不変である背後にある代数的メカニズムは何か？また、クラルの離散多項式が満たす高階差分方程式とどのように関連しているか？
• RQ3 離散的カソラティ行列式の不変性は、ハーンおよびマイクサー多項式からの極限手続きを用いて、エルミート、ラゲール、アーベル多項式の連続的ワロンスキー行列式へと拡張可能か？
• RQ4 クリスティオフエル変換および $ \mathcal{D} $-作用素は、これらの不変性の背後にある双対行列式表現を生成する上で果たす役割は何か？
• RQ5 離散直交多項式におけるインデックスと変数の双対性は、どのように離散的対称性を連続的状況へと移すのを支援するか？

主な発見

• 古典的離散直交多項式のカソラティ行列式 $ \det(p_{f_i}(x+j-1))_{i,j=1}^k $ は、符号およびパrameterシフトを除き、対合 $ I $ の下で不変である。
• ハーン多項式に関して、正規化された準カソラティ行列式は $ \mathtt{H}_{{\mathcal{F}},x}^{\alpha,\beta,N} = \epsilon \cdot \mathtt{H}_{I({\mathcal{F}}),-x}^{-\alpha-\max F_1-\max F_2-2,-\beta-\max F_1+\max F_2,-N+\max F_1+\max F_3} $ を満たす。ここで $ \epsilon = (-1)^r $ であり、$ r $ は行列式の次数である。
• ハーン行列式の先頭係数 $ d_{\mathcal{F}}^{\alpha,\beta,N} $ は、ポッヒャーマー記号およびインデックス集合上のバーディン型積を用いて明示的に計算される。
• $ N \to \infty $ の極限を取ることで、不変性の性質はアーベル多項式へ拡張され、正規化された準ワロンスキー行列式に関して $ \mathtt{P}_{{\mathcal{F}},x}^{\alpha,\beta} = \mathtt{P}_{I({\mathcal{F}}),x}^{-\alpha-\max F_1-\max F_2-2,-\beta-\max F_1+\max F_2} $ が成り立つ。
• 正規化された準ワロンスキー行列式のアーベル多項式に対する先頭係数 $ u_{\mathcal{F}}^{\alpha,\beta} $ は、インデックス集合上の積およびポッヒャーマー記号を用いて表され、明示的な符号および階乗因子を含む。
• 不変性構造は、クラルの離散直交多項式の双対行列式表現に根ざしており、クリスティオフエル変換理論および $ \mathcal{D} $-作用素法の両方から生じる。これにより、離散的および連続的族の間で対称性のメカニズムが統一される。