[论文解读] Orbit functions of SU(n) and Chebyshev polynomials

Maryna Nesterenko, J. Patera+1 more|arXiv (Cornell University)|May 18, 2009

Advanced Combinatorial Mathematics参考文献 15被引用 4

一句话总结

本文建立了 SU(n) 的轨道函数与多重变量切比雪夫多项式之间的直接对应关系，表明 SU(n) 的 C- 和 S- 函数将经典的一类和二类切比雪夫多项式推广至 n−1 个变量。其核心贡献是一个李理论框架，通过 Weyl 群轨道与最高权，统一了多变量正交多项式与表示理论。

ABSTRACT

Orbit functions of a simple Lie group/Lie algebra L consist of exponential functions summed up over the Weyl group of L. They are labeled by the highest weights of irreducible finite dimensional representations of L. They are of three types: C-, S- and E-functions. Orbit functions of the Lie algebras An, or equivalently, of the Lie group SU(n+1), are considered. First, orbit functions in two different bases - one orthonormal, the other given by the simple roots of SU(n) - are written using the isomorphism of the permutation group of n elements and the Weyl group of SU(n). Secondly, it is demonstrated that there is a one-to-one correspondence between classical Chebyshev polynomials of the first and second kind, and C- and $S$-functions of the simple Lie group SU(2). It is then shown that the well-known orbit functions of SU(n) are straightforward generalizations of Chebyshev polynomials to n-1 variables. Properties of the orbit functions provide a wealth of properties of the polynomials. Finally, multivariate exponential functions are considered, and their connection with orbit functions of SU(n) is established.

研究动机与目标

• 建立经典一类和二类切比雪夫多项式与 SU(2) 的 C- 和 S- 轨道函数之间的一一对应关系。
• 利用 A_{n} 的 Weyl 群与 SU(n+1) 的轨道函数，将切比雪夫多项式推广至 n−1 个变量。
• 证明轨道函数的性质——如递推关系、正交性与本征函数结构——可直接转化为多重变量切比雪夫多项式的性质。
• 探讨多重轨道函数的代数结构及其通过对称群作用与根系的多项式表示。
• 识别出新的多变量多项式类，包括 E- 函数，并推测其在正交多项式理论中的潜在作用。

提出的方法

• 利用对称群 S_{n+1} 与 SU(n+1) 的 Weyl 群之间的同构关系，定义两种基底下的轨道函数：正交基与根基。
• 通过 Weyl 群轨道上的指数和表达轨道函数，使用不可约表示的最高权标记。
• 建立一类切比雪夫多项式与 C- 函数之间的直接对应关系，以及二类多项式与 S- 函数除以最低非平凡 S- 函数之间的对应关系。
• 利用 A_n 根系结构与 Weyl 群作用，推导多重轨道函数的递推关系。
• 应用代换 z = e^{2πix} 将轨道函数转化为多项式形式，恢复已知的多重变量多项式（例如，两变量情况下的 Koorwider 多项式）。
• 通过轨道函数乘积的分解，推导递推关系，并探索其与表示理论及权重重数的关系。

实验结果

研究问题

• RQ1 如何通过 Weyl 群对称性将经典的一类和二类切比雪夫多项式重新解释为 SU(2) 的轨道函数？
• RQ2 SU(n) 的轨道函数在多大程度上将单变量切比雪夫多项式推广至 n−1 个变量？其背后的代数结构是什么？
• RQ3 多重轨道函数的递推关系由什么决定？它们与 Weyl 群的组合结构有何关联？
• RQ4 轨道函数的本征函数性质如何转化为多重变量切比雪夫多项式的谱性质？
• RQ5 E- 函数会产生哪些新的多变量正交多项式类？它们与标准的切比雪夫型多项式有何不同？

主要发现

• 经典一类切比雪夫多项式与 SU(2) 的 C- 轨道函数之间存在一一对应关系；二类多项式与 S- 轨道函数除以最低非平凡 S- 函数完全一致。
• SU(n) 的轨道函数为单变量切比雪夫多项式向 n−1 个变量的自然推广，保持相同的对称性与正交性。
• A_n 多重轨道函数的递推关系至少包含 n+2 项，最多包含 (n+1 choose ⌊(n+1)/2⌋) + 1 项，反映了 Weyl 群轨道的复杂性。
• 不可约轨道函数可按权重重数划分为 n+1 个互不相交的类，每个多项式中的单项式均属于同一类。
• 代换 z = e^{2πix} 将轨道函数转化为多项式形式，其结果与已知的多重变量多项式（如两变量情况下的 Koorwider 多项式）一致，尽管术语与推导方式不同。
• E- 轨道函数产生一类此前在经典正交多项式理论中未被研究过的新型多变量多项式，其正交性定义域是标准切比雪夫多项式的两倍。