2025-11-10T03:03:53.624904

Using quasi-Darboux transformations to construct exceptional matrix polynomials

Parisi, DurÃ¡n, ZurriÃ¡n

We introduce a couple of methods to construct exceptional matrix polynomials. One of them uses what we have called quasi-Darboux transformations. This seems to be a more powerful method to deal with the non-commutativity problems that appear when matrix-valued polynomials are considered. The other method does not use any transformation of Darboux type. Using both methods, we construct a collection of five illustrative examples that show how powerful our two methods are. The examples include exceptional matrix polynomials of Hermite, Laguerre, and Gegenbauer type, as well as an example with a weight matrix having a Dirac delta.

academic

Using quasi-Darboux transformations to construct exceptional matrix polynomials

基本信息

论文ID: 2510.13487
标题: Using quasi-Darboux transformations to construct exceptional matrix polynomials
作者: Ignacio Bono Parisi, Antonio J. Durán, Ignacio N. Zurrián
分类: math.CA (数学分析)
发表时间: 2025年10月15日
论文链接: https://arxiv.org/abs/2510.13487

摘要

本文引入了两种构造异常矩阵多项式的方法。其中一种使用了作者称为准Darboux变换的方法，这似乎是处理矩阵值多项式中出现的非交换性问题的更强大方法。另一种方法不使用任何Darboux类型的变换。使用这两种方法，作者构造了五个说明性例子，展示了这两种方法的强大能力。这些例子包括Hermite、Laguerre和Gegenbauer类型的异常矩阵多项式，以及一个具有Dirac delta权矩阵的例子。

研究背景与动机

问题背景

经典正交多项式的矩阵推广: 标量值正交多项式理论在数学许多领域发挥重要作用，特别是Hermite、Laguerre和Jacobi等经典族，它们是二阶微分算子的特征函数。M.G. Krein在1949年考虑了这一理论的矩阵值版本。
异常正交多项式的出现: 异常正交多项式是完整的正交多项式系统，它们相对于正测度是正交的，同时也是二阶微分算子的特征函数。它们扩展了经典的Hermite、Laguerre和Jacobi族，但在度数序列中存在有限个间隙。
矩阵情况的复杂性: 在矩阵设置中出现非交换性问题。当应用Darboux变换时，需要种子函数P满足额外假设，且具有标量特征值的特征函数极其罕见。

研究动机

开发更强大的方法处理矩阵值多项式的非交换性问题
构造新的异常矩阵多项式族
扩展经典Darboux变换的适用范围

核心贡献

引入准Darboux变换: 提出了准Darboux变换概念，其中分解形式为 $D(y) = B(A(y)) + y\Psi(t)$ ，其中 $\Psi$ 是 $t$ 的矩阵函数而非常数。
开发非Darboux构造方法: 提出了不使用任何Darboux类型变换的异常矩阵多项式构造方法。
构造五个具体例子: 包括Hermite、Laguerre、Gegenbauer类型的异常矩阵多项式，以及带Dirac delta的权矩阵例子。
理论框架完善: 建立了关于对称算子、权矩阵和异常多项式的完整理论框架。

方法详解

任务定义

构造异常矩阵多项式 $P_n$ ， $n \in \mathbb{N} \setminus X$ （ $X$ 为有限集），使其满足：

相对于权矩阵 $W$ 正交
在 $L^2(W)$ 中完整
是二阶微分算子的左特征函数

核心概念

异常矩阵多项式定义

定义3: 设 $X$ 为非负整数的有限子集。矩阵多项式 $P_n$ ， $n \in \mathbb{N}\setminus X$ ，称为异常（正交）矩阵多项式，如果：

相对于权矩阵 $W$ 正交： $\int_{\mathbb{R}} P_n(t)dW(t)P_k^*(t) = \Gamma_n\delta_{n,k}$
在 $L^2(W)$ 中完整
是形如 $D(y) = y''(t)F_2(t) + y'(t)F_1(t) + y(t)F_0(t)$ 的二阶微分算子的左特征函数

准Darboux变换

核心思想: 在传统Darboux变换中，分解为 $D(y) = B(A(y)) + y\Psi$ ，其中 $\Psi$ 是标量常数。准Darboux变换允许 $\Psi(t)$ 是 $t$ 的矩阵函数。

关键引理6和7:

引理6: 给出了函数 $P = A(P)$ 成为 $\tilde{D}$ 特征函数的充要条件： $A(\Psi) = A_0A_1^{-1}\Psi A_1$
引理7: 对于特征函数 $P$ 和任意矩阵函数 $U$ ，定义 $A(y) = -yU + y'(P')^{-1}PU$ ，则条件自动满足

构造方法

方法一：准Darboux变换

选择种子函数: 从经典正交多项式族中选择种子函数 $P$
构造一阶算子: 定义 $A(y) = -yU + y'(P')^{-1}PU$
应用变换: 得到新的多项式 $\tilde{P}_n = A(P_n)$
构造权矩阵: 通过公式 $\tilde{W} = (PU)^{-1}P'F_2W((PU)^{-1}P')^*$ 构造新权矩阵

方法二：不使用Darboux变换

利用引理4：对于满足特定条件的矩阵 $M$ 和点 $t_0$ ，可以构造权矩阵 $W + \xi M\delta_{t_0}$ （ $\xi \geq 0$ ），使得异常多项式相对于此权矩阵正交。

实验设置

构造的五个例子

例子1：Hermite类型（一步准Darboux变换）

起始权矩阵: $W_{a,\xi}(t) = e^{-t^2}e^{At}\begin{pmatrix}\xi & 0\\0 & 1\end{pmatrix}e^{A^*t}$
种子函数: $P_{1,\xi(a)}(t) = \begin{pmatrix}2t & -a\\-a & t(2-a^2)\end{pmatrix}$ ，其中 $\xi(a) = 1-a^2$ ， $a^2 > 2$
结果: 得到度数间隙为 $\{1\}$ 的异常多项式

例子2：Hermite类型（两步准Darboux变换）

应用两步变换，得到度数间隙为 $\{1,2\}$ 的异常多项式

例子3：Laguerre类型

权矩阵: $W_{a,\alpha}(t) = e^{-t}t^\alpha\begin{pmatrix}t+a^2t^2 & at\\at & 1\end{pmatrix}$
非多项式种子函数: $P(t) = e^t\begin{pmatrix}-(t+\alpha+2) & (t+\alpha+2)at\\0 & -(t+\alpha+1)\end{pmatrix}$

例子4：Gegenbauer类型

权矩阵: $W_{a,r}(t) = (1-t^2)^{r/2-1}\begin{pmatrix}a(t^2-1)+r & -rt\\-rt & (r-a)(t^2-1)+r\end{pmatrix}$

例子5：非Darboux方法

使用引理4构造，不依赖任何Darboux变换

实验结果

主要发现

完整性证明: 所有构造的异常多项式都在相应的 $L^2$ 空间中完整（如定理12、14）
正交性: 明确给出了正交性条件和范数公式，如： $\|P_n\|^2_W = \frac{n-1}{2(a^2-2)}\begin{pmatrix}1 & 0\\0 & -\frac{2}{a^2-2}\end{pmatrix}\|P_{n,\xi(a)}\|^2_{W_{a,\xi(a)}}$
递推关系: 验证了所有例子都满足高阶递推关系，如七项递推关系： $q(t)P_n(t) = \sum_{j=-3}^{3} A_{n,j}P_{n+j}(t)$
奇数阶微分算子: 发现Laguerre例子中存在五阶对称微分算子，这在标量情况下不存在。