[论文解读] Invariant properties for Wronskian type determinants of classical and classical discrete orthogonal polynomials under an involution of sets of positive integers

Guillermo P. Curbera, Antonio J. Durán|arXiv (Cornell University)|Dec 22, 2016

Mathematical functions and polynomials参考文献 1被引用 5

一句话总结

本文在非负整数有限集上的特定对合下，建立了经典及经典离散正交多项式类的 Wronskian 型行列式的一个不变性质。通过利用 Krall 离散正交多项式及其通过 Christoffel 变换得到的对偶表示，作者推导出对称关系，这些关系通过极限过程从离散情形推广至连续正交多项式，揭示了 Hankel 与 Wronskian 行列式中深层的结构不变性。

ABSTRACT

Given a finite set $F=\{f_1,\cdots ,f_k\}$ of nonnegative integers (written in increasing size) and a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we consider the Casorati determinant $\det(p_{f_i}(x+j-1))_{i,j=1,\cdots,k}$. In this paper we prove a nice invariant property for this kind of Casorati determinants when the set $F$ is changed by $I(F)=\{0,1,2,\cdots,\max F\}\setminus \{\max F-f:f\in F\}$. This symmetry is related to the existence of higher order difference equations for the orthogonal polynomials with respect to certain Christoffel transforms of the classical discrete measures. By passing to the limit, this invariant property is extended for Wronskian type determinants whose entries are Hermite, Laguerre and Jacobi polynomials.

研究动机与目标

• 在指标集上特定对合下，识别并证明由经典及经典离散正交多项式构造的 Wronskian 型行列式的不变性质。
• 将这些不变性与由经典测度的 Christoffel 变换导出的 Krall 离散正交多项式所满足的高阶差分方程联系起来。
• 通过 Hahn 与 Meixner 多项式到连续正交多项式的极限过程，将离散不变性结果推广至连续情形（Hermite、Laguerre、Jacobi）。
• 利用 Krall 多项式的代数与结构性质，统一并推广已知的正交多项式行列式中的不变性现象。

提出的方法

• 在非负整数有限集上定义对合 $ I(F) = \{0,1,\dots,\max F\} \setminus \{\max F - f \mid f \in F\} $，以关联不同的指标集。
• 使用 Krall 离散正交多项式的两种不同行列式表示：一种来自一般 Christoffel 变换理论，另一种来自 $ \mathcal{D} $-算子理论，后者利用其在高阶差分算子下的特征函数性质。
• 建立 Casorati 行列式 $ \det(p_{f_i}(x+j-1))_{i,j=1}^k $ 在对合 $ I $ 下的不变性，并将其与底层测度变换的对称性联系起来。
• 通过已知的渐近缩放关系，从离散到连续正交多项式取极限：Hahn → Jacobi，Meixner → Laguerre，Charlier → Hermite。
• 对所得的 Wronskian 型行列式进行归一化，并证明其在参数与变量上诱导的对合下的不变性。
• 利用离散正交多项式中指标与变量之间的对偶性，将离散对称性与连续情形联系起来，尤其在例外多项式与 Krall 多项式框架中。

实验结果

研究问题

• RQ1 在非负整数有限集上的对合 $ I $ 如何影响经典离散正交多项式（如 Charlier、Meixner、Krawtchouk、Hahn）的行列式结构？
• RQ2 Casorati 行列式在 $ I $ 下不变性的代数机制是什么？它与 Krall 离散多项式所满足的高阶差分方程有何关联？
• RQ3 能否通过极限过程将离散 Casorati 行列式的不变性推广至 Hermite、Laguerre 与 Jacobi 多项式的连续 Wronskian 行列式？
• RQ4 Christoffel 变换与 $ \mathcal{D} $-算子在生成支撑这些不变性性质的对偶行列式表示中起什么作用？
• RQ5 离散正交多项式中指标与变量之间的对偶性如何促进对称性从离散情形向连续情形的传递？

主要发现

• 对于经典离散正交多项式，Casorati 行列式 $ \det(p_{f_i}(x+j-1))_{i,j=1}^k $ 在对合 $ I $ 下不变，至多相差一个符号与参数平移。
• 对于 Hahn 多项式，归一化的准 Casorati 行列式满足 $ \mathtt{H}_{{\mathcal{F}},x}^{\alpha,\beta,N} = \epsilon \cdot \mathtt{H}_{I({\mathcal{F}}),-x}^{-\alpha-\max F_1-\max F_2-2,-\beta-\max F_1+\max F_2,-N+\max F_1+\max F_3} $，其中 $ \epsilon = (-1)^r $，$ r $ 为行列式的阶数。
• Hahn 行列式的首项系数 $ d_{\mathcal{F}}^{\alpha,\beta,N} $ 以 Pochhammer 符号及指标集上的 Vandermonde 型乘积显式计算得出。
• 通过取极限 $ N \to \infty $，不变性性质可推广至 Jacobi 多项式，得到 $ \mathtt{P}_{{\mathcal{F}},x}^{\alpha,\beta} = \mathtt{P}_{I({\mathcal{F}}),x}^{-\alpha-\max F_1-\max F_2-2,-\beta-\max F_1+\max F_2} $，适用于 Jacobi 多项式的归一化准 Wronskian。
• Jacobi 多项式归一化准 Wronskian 的首项系数 $ u_{\mathcal{F}}^{\alpha,\beta} $ 以指标集上的乘积及含显式符号与阶乘因子的 Pochhammer 符号表示。
• 该不变性结构根植于 Krall 离散正交多项式的对偶行列式表示，其源于 Christoffel 变换理论与 $ \mathcal{D} $-算子方法，统一了离散与连续族之间的对称性机制。