[论文解读] A unified construction of generalised classical polynomials associated with operators of Calogero-Sutherland type

Martin Hallnäs, Edwin Langmann|arXiv (Cornell University)|Mar 30, 2007

Algebraic structures and combinatorial models参考文献 34被引用 4

一句话总结

本文提出了一类广义经典正交多项式（如埃尔米特、拉盖尔、雅可比和贝塞尔型）的统一显式构造，将其表示为 Calogero-Sutherland 型算子及其变形的本征函数。关键贡献在于基于非负整数对 $(M,\tilde{M})$ 的级数表示族，通过最小化 $M + \tilde{M}$ 得到最简形式，从而实现对杰克多项式高效计算与表征，方法基于杨图的覆盖结构。

ABSTRACT

In this paper we consider a large class of many-variable polynomials which contains generalisations of the classical Hermite, Laguerre, Jacobi and Bessel polynomials as special cases, and which occur as the polynomial part in the eigenfunctions of Calogero-Sutherland type operators and their deformations recently found and studied by Chalykh, Feigin, Sergeev, and Veselov. We present a unified and explicit construction of all these polynomials.

研究动机与目标

• 开发一个统一框架，用于构造作为 Calogero-Sutherland 型算子及其变形本征函数的广义经典正交多项式。
• 将以往在特殊情形下的构造方法推广至包含埃尔米特、拉盖尔、雅可比和贝塞尔型在内的完整对称多项式类。
• 使用一对非负整数 $(M,\tilde{M})$，提供这些多项式的显式、有限级数表示，并最小化项数。

提出的方法

• 将广义本征函数构造方法应用于 Calogero-Sutherland 型算子及其变形，得到多项式本征函数。
• 该方法采用杰克多项式为基的三角形展开，系数由谱非简并性条件确定。
• 通过以超杰克多项式为基，将构造方法扩展至变形系统，当 $M \geq N$ 且 $\tilde{M} \geq \tilde{N}$ 时保证完备性。
• 通过 $(M,\tilde{M})$ 对的标记方案，允许多个等价的级数表示同一多项式。
• 通过最小化 $M + \tilde{M}$ 选择最简表示，降低计算复杂度。
• 通过证明：若杰克多项式的杨图可被两个尺寸分别为 $M \times m$ 和 $\tilde{m} \times \tilde{M}$ 的矩形块覆盖，则其存在此类表示，从而验证了该方法的有效性。

实验结果

研究问题

• RQ1 能否为所有经典族中与 Calogero-Sutherland 型算子相关的广义经典正交多项式，发展出统一的构造方法？
• RQ2 $(M,\tilde{M})$ 标记在最小化这些多项式级数表示项数方面起到何种作用？
• RQ3 杨图被两个矩形块覆盖的性质，如何与杰克多项式存在最小项表示的条件相关联？
• RQ4 在何种条件下，变形 Calogero-Sutherland 算子的约化本征函数构成空间 $\Lambda_{N,\tilde{N},\kappa}$ 的完备基？
• RQ5 本征值的谱非简并性如何影响所构造多项式本征函数的有效性与结构？

主要发现

• 该构造方法可统一生成包括埃尔米特、拉盖尔、雅可比和贝塞尔型在内的广义经典正交多项式，作为 Calogero-Sutherland 型算子的本征函数。
• 每个多项式均存在多个由 $(M,\tilde{M})$ 对标记的级数表示，最简形式通过最小化 $M + \tilde{M}$ 实现。
• 当且仅当杰克多项式的杨图可被两个尺寸分别为 $M \times m$ 和 $\tilde{m} \times \tilde{M}$ 的矩形块覆盖时，其存在 $(M,\tilde{M})$-表示。
• 所构造的约化本征函数与标准杰克多项式成比例，归一化因子为 $b_{\boldsymbol{\lambda}}$，与已知正交多项式理论保持一致。
• 对于变形系统，当 $M \geq N$ 且 $\tilde{M} \geq \tilde{N}$ 时，约化本征函数构成 $\Lambda_{N,\tilde{N},\kappa}$ 的完备基；否则仅张成一个真子空间。
• 该方法提供了一种系统化方式，以最少项数计算这些多项式，显著提升了高次或复杂情形下的计算效率。