[论文解读] Matrix-valued Gegenbauer polynomials

Erik Koelink, Ana M. de los Ríos+1 more|arXiv (Cornell University)|Mar 12, 2014

Mathematical functions and polynomials参考文献 30被引用 9

一句话总结

本文引入了矩阵值的勒让德多项式，作为通过LDU分解从勒让德多项式导出的矩阵权函数相关的正交多项式。利用矩阵值的皮亚森方程和移位算子，作者建立了罗德里格斯公式，计算了平方范数，并以标量勒让德多项式和拉卡多项式的形式推导出显式表达式，推广了此前关于矩阵值切比雪夫多项式的工作。

ABSTRACT

We introduce matrix-valued weight functions of arbitrary size, which are analogues of the weight function for the Gegenbauer or ultraspherical polynomials for the parameter $ν>0$. The LDU-decomposition of the weight is explicitly given in terms of Gegenbauer polynomials. We establish a matrix-valued Pearson equation for these matrix weights leading to explicit shift operators relating the weights for parameter $ν$ and $ν+1$. The matrix coefficients of the Pearson equation are obtained using a special matrix-valued differential operator in a commutative algebra of symmetric differential operators. The corresponding orthogonal polynomials are the matrix-valued Gegenbauer polynomials which are eigenfunctions for the symmetric matrix-valued differential operators. Using the shift operators we find the squared norm and we establish a simple Rodrigues formula. The three-term recurrence relation is obtained explicitly using the shift operators as well. We give an explicit non-trivial expression for the matrix entries of the matrix-valued Gegenbauer polynomials in terms of scalar-valued Gegenbauer and Racah polynomials using the LDU-decomposition and differential operators. The case $ν=1$ reduces to the case of matrix-valued Chebyshev polynomials previously obtained using group theoretic considerations.

研究动机与目标

• 将矩阵值切比雪夫多项式推广至任意 ν > 0 的矩阵值勒让德多项式全族。
• 构造一个矩阵值权函数，其LDU分解涉及标量勒让德多项式。
• 建立一个矩阵值皮亚森方程，以实现 ν 和 ν+1 参数下权函数之间的关联，从而支持移位算子的构造。
• 利用移位算子推导矩阵值勒让德多项式的平方范数和罗德里格斯公式。
• 通过微分算子和分解方法，显式表达矩阵多项式各项在标量勒让德多项式和拉卡多项式中的形式。

提出的方法

• 矩阵权函数被构造为标量勒让德权 (1−x²)^{ν−1/2} 的矩阵值类比，其LDU分解以勒让德多项式显式给出。
• 引入一个与移位算子可交换的矩阵值微分算子，以促进达布因式分解。
• 推导出矩阵值皮亚森方程，以关联参数 ν 与 ν+1 的权函数，从而支持移位算子的构造。
• 利用移位算子关联 ν 和 ν+1 的矩阵值勒让德多项式，其中降低算子为导数，提升算子由皮亚森方程导出。
• 通过移位算子对正交多项式的作用，获得平方范数和罗德里格斯公式。
• 通过LDU分解和微分算子，显式表达多项式的矩阵项，使用标量勒让德多项式和拉卡多项式。

实验结果

研究问题

• RQ1 如何将矩阵值切比雪夫多项式推广为任意 ν > 0 的完整矩阵值勒让德多项式族？
• RQ2 如何构造一个推广标量勒让德权 (1−x²)^{ν−1/2} 的矩阵权函数结构？
• RQ3 如何构造移位算子以关联连续 ν 值下的矩阵值勒让德多项式？
• RQ4 能否在移位算子框架下为矩阵值勒让德多项式推导出罗德里格斯公式？
• RQ5 矩阵值勒让德多项式矩阵项在标量特殊函数中的显式表达式是什么？

主要发现

• 矩阵权函数具有显式的LDU分解，其中对角线和非对角线项以标量勒让德多项式表示。
• 建立了矩阵值皮亚森方程，将 ν 参数的权与 ν+1 参数的权关联起来，其系数由对称微分算子代数导出。
• 矩阵值勒让德多项式是对称矩阵微分算子的本征函数，对应本征值为 −n(n+2ν)，其中 n 为次数。
• 通过移位算子框架，显式计算了矩阵值勒让德多项式在次数 n 时的平方范数。
• 为矩阵值勒让德多项式推导出罗德里格斯公式，将其表达为微分算子与权函数的乘积。
• 多项式的矩阵项显式表示为标量勒让德多项式和拉卡多项式的组合，其分解依赖于LDU结构和微分算子。