[论文解读] Limits of multivariate elliptic hypergeometric biorthogonal functions

Fokko J. van de Bult, Eric M. Rains|arXiv (Cornell University)|Oct 7, 2011

Polynomial and algebraic computation参考文献 8被引用 6

一句话总结

本文证明了当 $ p \to 0 $ 时，多变量 $BC_n$-型椭圆超几何双正交函数的退化方案与单变量情形完全相同。通过分析参数缩放极限（$ z_i \sim p^\zeta $，$ t_r \sim p^{\alpha_r} $，$ u_r \sim p^{\gamma_r} $），证明了当且仅当其单变量对应物具有 $ z $-依赖性且范数公式收敛时，才会出现多变量双正交族，从而得到所有 $ q $-Askey 阶段多项式的多变量类比，包括 Koornwinder 和 Macdonald 多项式。

ABSTRACT

In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and in particular we obtain multivariate versions for all elements of the q-Askey scheme. For the Askey-Wilson polynomials these are the Koornwinder polynomials, and the multivariate versions of the Pastro polynomials form a two-parameter family which include the Macdonald polynomials.

研究动机与目标

• 在受控参数缩放下，对 $ BC_n $-型多变量椭圆超几何双正交函数在 $ p \to 0 $ 时的所有可能极限进行分类。
• 确定此类极限是否产生线性无关的 $ z $-依赖双正交函数。
• 验证极限的平方范数公式的收敛性，确保其保持良好定义且有限。
• 建立多变量退化方案与文献 [1] 中的单变量方案一致，从而确保所有 $ q $-Askey 阶段族均存在多变量类比。
• 通过极限过程显式构造多变量 Pastro 多项式及其特例——Macdonald 多项式。

提出的方法

• 施加参数缩放：$ z_i \to z_i p^\zeta $，$ t_r \to t_r p^{\alpha_r} $，$ u_r \to u_r p^{\gamma_r} $，其中 $ q,t $ 固定，以控制 $ p \to 0 $ 的极限。
• 利用基于分支法则的插值函数定义，将双正交函数表示为 theta 函数乘积的有限和。
• 在求和表达式中逐项取极限，并利用对称性避免虚假抵消，防止极限消失。
• 证明极限的 $ z $-依赖性与相应单变量双正交函数的 $ z $-依赖性等价。
• 将平方范数公式的收敛性归约为单变量情形的条件，确保极限保持为有效的双正交系统。
• 利用文献 [10] 和 [11] 的结果，推导出二项式系数和插值函数极限的显式公式，从而实现极限的完整计算。

实验结果

研究问题

• RQ1 在受控参数缩放下，当 $ p \to 0 $ 时，$ BC_n $-型椭圆超几何函数的极限中，哪些多变量双正交函数族会出现？
• RQ2 在何种缩放指数 $ \zeta, \alpha_r, \gamma_r $ 条件下，极限保持 $ z $-依赖性且线性无关？
• RQ3 多变量双正交函数的退化方案是否与单变量情形完全相同？
• RQ4 能否通过极限过程获得所有 $ q $-Askey 阶段多项式的多变量类比，包括 Koornwinder 和 Macdonald 多项式？
• RQ5 平方范数公式的极限是否保持有限且良好定义，且与单变量情形一致？

主要发现

• 多变量 $ BC_n $-型椭圆超几何双正交函数的退化方案与文献 [1] 中的单变量方案同构，共包含 38 种不同的极限族。
• 每个单变量极限族均存在对应的多变量类比，包括所有 $ q $-Askey 阶段多项式。
• Koornwinder 多项式是 Askey-Wilson 多项式的多变量类比。
• 多变量 Pastro 多项式构成一个双参数族，通过特定取值可包含 Macdonald 多项式。
• 二项式系数的极限被显式计算，并证明其与已知的多变量超几何形式一致。
• 极限过程保持了关键性质：$ z $-依赖性、线性无关性及范数收敛性，确保所得函数构成双正交系统。