[論文レビュー] Structural formulas for matrix-valued orthogonal polynomials related to $2 imes 2$ hypergeometric operators

Calixto P. Calderón, M. M. Castro|arXiv (Cornell University)|May 14, 2021

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

ひとこと要約

この論文は、ハイパージオメトリック型微分作用素の共通固有関数である2×2行列値直交多項式の族について、明示的な構造的公式を導出する。古典的ジャコビ多項式を用いたロドリゲス型公式を用いて、三項再帰関係、クリスティョフエル＝ダーボウス恒等式、および微分作用素の導出を可能にするピアソン方程式を確立する。主たる貢献は、重み行列と関連する2階微分作用素代数の完全な特徴付けであり、それが5次元で非可換であることを示し、明示的な基底作用素と固有値を提供する。

ABSTRACT

We give some structural formulas for the family of matrix-valued orthogonal polynomials of size $2 imes 2$ introduced by C. Calder\'on et al. in an earlier work, which are common eigenfunctions of a differential operator of hypergeometric type. Specifically, we give a Rodrigues formula that allows us to write this family of polynomials explicitly in terms of the classical Jacobi polynomials, and write, for the sequence of orthonormal polynomials, the three-term recurrence relation and the Christoffel-Darboux identity. We obtain a Pearson equation, which enables us to prove that the sequence of derivatives of the orthogonal polynomials is also orthogonal, and to compute a Rodrigues formula for these polynomials as well as a matrix-valued differential operator having these polynomials as eigenfunctions. We also describe the second-order differential operators of the algebra associated with the weight matrix.

研究の動機と目的

• 先行研究で導入された2×2行列値直交多項式の族について、明示的な構造的公式を導出すること。
• 古典的ジャコビ多項式を用いたロドリゲス型公式を確立し、これらの多項式を表現すること。
• 重み行列と可換な2階微分作用素の代数の構造を特徴付け、特にその次元と非可換構造を明らかにすること。
• 微分多項式が再び直交することを証明し、その固有作用素とロドリゲス型公式を導出すること。
• 正規直交多項式のためのクリスティョフエル＝ダーボウス恒等式と三項再帰関係を計算すること。

提案手法

• 行列値微分作用素と重み行列を用いて、モニック直交多項式のロドリゲス型公式を導出する。
• ロドリゲス型公式を用いて、モニック多項式のノルムを計算し、正規直交多項式の三項再帰関係とクリスティョフエル＝ダーボウス恒等式を導出する。
• 重み行列に対するピアソン方程式を確立し、これにより直交多項式の微分が再び直交することを示す。
• ピアソン方程式を用いて、微分のための降下作用素と上昇作用素を構成し、微分多項式のロドリゲス型公式と固有作用素を導出する。
• 対称性条件を解くことにより、2階微分作用素の代数を解析し、対称作用素の5次元空間が得られることを示す。
• 線形独立な5つの2階微分作用素の基底を明示的に構成し、それらの固有値を計算する。

実験結果

リサーチクエスチョン

• RQ1 ハイパージオメトリック型微分作用素の固有関数である2×2行列値直交多項式に対して、ロドリゲス型公式を導出できるか？
• RQ2 この多項式族の正規直交版における三項再帰関係とクリスティョフエル＝ダーボウス恒等式の構造は何か？
• RQ3 直交多項式の微分の列は再び直交するか？ もしそうならば、それらを支配する微分作用素は何か？
• RQ4 与えられた重み行列と可換な2階微分作用素の代数の次元と構造は何か？
• RQ5 このような微分作用素の代数は可換か？ また、基底作用素の固有値行列は非可換か？

主な発見

• 古典的ジャコビ多項式を用いて、行列値直交多項式を明示的に表現するロドリゲス型公式が確立された。
• ロドリゲス型公式とノルム計算を用いて、正規直交多項式の三項再帰関係とクリスティョフエル＝ダーボウス恒等式が完全に計算された。
• 重み行列に対するピアソン方程式が導出され、これにより直交多項式のk階微分が修正された重み行列に関して再び直交することを示した。
• ピアソン方程式を用いて、微分多項式のロドリゲス型公式と行列固有値を有する2階微分作用素が導出された。
• 重み行列に関連する2階微分作用素の代数は5次元であり、その基底は2つの対称2階作用素、2つの対称1階作用素、および単位作用素から構成される。
• 基底作用素の固有値行列の非可換性により、代数が非可換であることが示された。