一个$3\times 3$奇异解的矩阵Bochner问题及其非多项式代数$\mathcal{D}(W)$
A $3\times 3$ singular solution to the Matrix Bochner Problem with non-polynomial algebra $\mathcal{D}(W)$
摘要 Abstract
矩阵Bochner问题旨在分类使得正交多项式序列成为二阶微分算子特征函数的权矩阵。在这一方向上,文献[7]取得了重大突破,证明了在权矩阵代数$\mathcal{D}(W)$满足某些自然条件时,所有解都可由经典标量权重的直接和通过Darboux变换得到。本文研究了一种新的$3\times 3$Hermite型权矩阵,并确定其代数$\mathcal{D}(W)$为$\mathbb{C}[D_1]$-模,由$\{I, D_1, D_2\}$生成,其中$D_1$和$D_2$为二阶微分算子。这种对代数的完整描述使我们能够证明此权矩阵并非来自经典标量权重的Darboux变换,表明它不属于文献[7]中的分类定理范围。与文献[3,4]中的先前例子不同,该权矩阵的代数$\mathcal{D}(W)$并非任何微分算子$D$的多项式代数,这使其成为一个根本不同的案例。这些结果通过提供一种新的奇异例子,补充了矩阵Bochner问题的分类定理。
The Matrix Bochner Problem aims to classify weight matrices whose sequences of orthogonal polynomials are eigenfunctions of a second-order differential operator. A major breakthrough in this direction was achieved in [7], where it was shown that, under certain natural conditions on the algebra $\mathcal{D}(W)$, all solutions arise from Darboux transformations of direct sums of classical scalar weights. In this paper, we study a new $3 \times 3$ Hermite-type weight matrix and determine its algebra $\mathcal{D}(W)$ as a $\mathbb{C}[D_1]$-module generated by $\{I, D_1, D_2\}$, where $D_{1}$ and $D_{2}$ are second-order differential operators. This complete description of the algebra allows us to prove that the weight does not arise from a Darboux transformation of classical scalar weights, showing that it falls outside the classification theorem of [7]. Unlike previous examples in [3,4], which also do not fit within this classification, the algebra $\mathcal{D}(W)$ of this weight matrix is not a polynomial algebra in any differential operator $D$, making it a fundamentally different case. These results complement the classification theorem of the Matrix Bochner Problem by providing a new type of singular example.