[论文解读] The Matrix Bochner Problem

W. Riley Casper, Milen Yakimov|arXiv (Cornell University)|Mar 12, 2018

Matrix Theory and Algorithms参考文献 30被引用 9

一句话总结

该论文通过分类满足其正交矩阵多项式为二阶微分算子特征函数的 $N\times N$ 权重矩阵 $W(x)$，解决了矩阵 Bochner 问题。利用非交换代数技术——特别是微分算子代数 $\mathcal{D}(W)$ 的结构——证明在完全性和正定性条件下，此类权重是经典权重的双谱 Darboux 变换，推广了 Hermite、Laguerre 和 Jacobi 类型。

ABSTRACT

A long standing question in the theory of orthogonal matrix polynomials is the matrix Bochner problem, the classification of $N imes N$ weight matrices $W(x)$ whose associated orthogonal polynomials are eigenfunctions of a second order differential operator. Based on techniques from noncommutative algebra (semiprime PI algebras of Gelfand-Kirillov dimension one), we construct a framework for the systematic study of the structure of the algebra $\mathcal D(W)$ of matrix differential operators for which the orthogonal polynomials of the weight matrix $W(x)$ are eigenfunctions. The ingredients for this algebraic setting are derived from the analytic properties of the orthogonal matrix polynomials. We use the representation theory of the algebras $\mathcal D(W)$ to resolve the matrix Bochner problem under the two natural assumptions that the sum of the sizes of the matrix algebras in the central localization of $\mathcal D(W)$ equals $N$ (fullness of $\mathcal D(W)$) and the leading coefficient of the second order differential operator multiplied by the weight $W(x)$ is positive definite. In the case of $2 imes 2$ weights, it is proved that fullness is satisfied as long as $\mathcal D(W)$ is noncommutative. The two conditions are natural in that without them the problem is equivalent to much more general ones by artificially increasing the size of the matrix $W(x)$.

研究动机与目标

• 分类所有满足其关联正交矩阵多项式为二阶微分算子特征函数的 $N\times N$ 权重矩阵 $W(x)$。
• 建立微分算子代数 $\mathcal{D}(W)$ 的系统性代数框架，该代数保持正交结构。
• 在 $\mathcal{D}(W)$ 的完全性与微分算子首项系数正定性这两个自然条件下，完成分类。
• 证明对于 $2\times 2$ 权重，若 $\mathcal{D}(W)$ 非交换，则其完全性自动成立。
• 表明满足条件的矩阵权重是经典标量权重的双谱 Darboux 变换。

提出的方法

• 构造所有保持次数、$W$-自伴且使正交矩阵多项式为特征函数的微分算子的代数 $\mathcal{D}(W)$。
• 利用正交矩阵多项式的解析性质，为 $\mathcal{D}(W)$ 赋予 $*$-对合，以确保正定性与代数结构。
• 通过嵌入到戴德金域乘积中，证明 $\mathcal{D}(W)$ 是 Gelfand-Kirillov 维数至多为一的半素仿射 PI 代数。
• 利用 Small-Stafford-Warfield 定理，证明 $\mathcal{D}(W)$ 是诺特环，且在其中心理 $\mathcal{Z}(W)$ 上有限生成。
• 应用 $\mathcal{D}(W)$ 的表示理论，分析循环模，并通过傅里叶代数对角化权重矩阵。
• 利用广义傅里叶映射构造显式双谱 Darboux 变换，并验证 $W(x)$ 是经典权重（Hermite、Laguerre、Jacobi 类型）的变换。

实验结果

研究问题

• RQ1 哪些 $N\times N$ 权重矩阵 $W(x)$ 允许其正交矩阵多项式为二阶微分算子的特征函数？
• RQ2 此类微分算子代数 $\mathcal{D}(W)$ 的代数结构是什么？
• RQ3 完全性与首项系数正定性条件如何约束该分类？
• RQ4 矩阵 Bochner 问题能否通过 Darboux 变换约化为已知的经典权重？
• RQ5 $*$-对合与中心 $\mathcal{Z}(W)$ 在此类矩阵权重分类中起什么作用？

主要发现

• 在 $\mathcal{D}(W)$ 完全性与微分算子首项系数正定性的假设下，矩阵 Bochner 问题得到完全解决。
• 对于 $2\times 2$ 权重，若 $\mathcal{D}(W)$ 非交换，则其完全性自动成立。
• 所有此类权重矩阵 $W(x)$ 均为经典标量权重（Hermite、Laguerre、Jacobi 类型）的双谱 Darboux 变换。
• 通过非交换代数技术，证明了代数 $\mathcal{D}(W)$ 是仿射的、诺特的，且在其中心理 $\mathcal{Z}(W)$ 上有限生成。
• 构造了显式例子：Hermite、Laguerre 与 Jacobi 类型的 $W(x)$ 均通过显式 $\mathfrak{U}$-矩阵被证明为经典权重的 Darboux 变换。
• 广义傅里叶映射 $b_P^{-1}$ 将二阶 $W$-对称算子映射为 $n$ 中的对角矩阵算子，从而确认了双谱性质并实现了分类。