[论文解读] 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 矩阵值正交多项式显式的结构公式，这些多项式是超几何型微分算子的共同本征函数。通过以经典雅可比多项式表示的罗德里格斯公式，作者建立了三项递推关系、克里斯托费尔-达布乌恒等式，以及一个皮尔逊方程，从而能够推导出导数的罗德里格斯公式和微分算子。关键贡献在于对与权矩阵相关的二阶微分算子代数的完整刻画，表明其为 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 矩阵值正交多项式的显式结构公式。
• 建立一个罗德里格斯公式，将这些多项式用经典雅可比多项式表示。
• 刻画与权矩阵可交换的二阶微分算子代数的结构，特别是其维数和非交换性质。
• 证明多项式导数序列仍为正交，并推导其本征算子和罗德里格斯公式。
• 计算标准正交多项式的克里斯托费尔-达布乌恒等式和三项递推关系。

提出的方法

• 使用矩阵值微分算子和权矩阵，推导出首一正交多项式的罗德里格斯公式。
• 利用罗德里格斯公式计算首一多项式的范数，并推导出标准正交多项式的三项递推关系和克里斯托费尔-达布乌恒等式。
• 建立权矩阵的皮尔逊方程，该方程表明正交多项式的 k 阶导数也关于一个修正的权矩阵正交。
• 利用皮尔逊方程构造导数的降算子和升算子，从而导出导数多项式的罗德里格斯公式和本征算子。
• 通过求解对称性条件分析二阶微分算子代数，得出对称算子的 5 维空间。
• 显式构造五个线性无关的对称二阶微分算子基，并计算其本征值。

实验结果

研究问题

• RQ1 能否为作为超几何型微分算子本征函数的 2×2 矩阵值正交多项式推导出罗德里格斯公式？
• RQ2 该多项式族的标准正交版本的三项递推关系和克里斯托费尔-达布乌恒等式具有何种结构？
• RQ3 正交多项式的导数序列是否仍保持正交？若是，其控制微分算子为何？
• RQ4 与给定权矩阵可交换的二阶微分算子代数的维数和结构为何？
• RQ5 此类微分算子代数是否为交换的？基算子的本征值矩阵为何？

主要发现

• 建立了罗德里格斯公式，显式地将矩阵值正交多项式表示为经典雅可比多项式的形式。
• 通过罗德里格斯公式和范数计算，完全推导出标准正交多项式的三项递推关系和克里斯托费尔-达布乌恒等式。
• 为权矩阵导出了皮尔逊方程，证明了正交多项式的 k 阶导数也关于一个修正的权矩阵正交。
• 利用皮尔逊方程，为导数多项式推导出罗德里格斯公式和具有矩阵本征值的二阶微分算子。
• 与权矩阵相关的二阶微分算子代数是 5 维的，其基由两个对称二阶算子、两个对称一阶算子和单位算子组成。
• 该代数为非交换代数，其基算子的本征值矩阵之间不满足交换性。