[论文解读] Limits of BC-type orthogonal polynomials as the number of variables goes to infinity

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|Jun 4, 2006

Mathematical functions and polynomials参考文献 26被引用 34

一句话总结

本文研究当变量数 $n \to \infty$ 时，$BC_n$-型雅可比多项式在索引分拆 $λ(n)$ 同样增长的条件下其渐近行为。它建立了在固定子环面 $\mathbb{T}^k$ 上一致收敛的必要且充分条件，并将极限函数（以可数个连续参数为指标）表征为无穷维对称空间类型 $B/C/D$ 或 $BC$ 上的球函数，推广了此前对杰克多项式的研究，并将弗舍克-克罗夫渐近理论扩展至经典根系。

ABSTRACT

We describe the asymptotic behavior of the multivariate BC-type Jacobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B,C,D or BC by the spherical functions of the corresponding finite-dimensional symmetric spaces. Similar results for the Jack polynomials were established in our earlier paper (Intern. Math. Res. Notices 1998, no. 13, 641-s682; arXiv:q-alg/9709011). The main results of the present paper were obtained in 1997.

研究动机与目标

• 确定当 $n \to \infty$ 时，$BC_n$-型雅可比多项式在固定子环面 $\mathbb{T}^k$ 上一致收敛的条件。
• 表征此渐近情形下出现的极限函数，其定义在无穷维环面上。
• 建立有限维 $B/C/D/BC$ 型对称空间的球函数与其无穷维类比之间的对应关系。
• 将此前在 [OO4] 中研究的杰克多项式的大 $n$ 渐近行为推广至更广泛的具有三个参数 $\theta, a, b$ 的 $BC_n$-型正交多项式。
• 通过此极限过程，对经典类型无穷维对称空间上的不可约球函数实现完全分类。

提出的方法

• 将 $BC_n$-型雅可比多项式 $\eusm J_\lambda(z;\theta,a,b)$ 进行归一化，使其在 $z = (1,\dots,1)$ 处取值为 1，以确保唯一性并兼容球函数的归一化。
• 这些多项式被定义为 $\mathbb{T}^n$ 上关于权函数 $\mathfrak{w}(z)$ 的 $W_*$-不变洛朗多项式，且在正交性下成立，涉及参数 $\theta > 0$，$a > -1$，$b > -1$。
• 渐近分析通过研究当 $n \to \infty$ 时多项式的行为进行，其中分拆 $\lambda(n)$ 以受控方式变化，且在确保在固定 $k$ 的 $\mathbb{T}^k$ 上收敛的条件下进行。
• 作者利用单变量正交多项式 $r_m(x)$ 的三步递推关系，推导出多项式的分支规则，并通过伽马函数及参数 $a,b,\theta$ 显式表达转移系数 $A(\mu,\nu)$。
• 关键技术步骤涉及通过迭代应用递推关系，将分支规则中的行列式表示为中间分拆的和，从而显式获得系数的正性和结构。
• 极限函数被证明由分拆 $\lambda(n)$ 的渐近缩放所引出的连续参数序列所指标化，并被识别为无穷维对称空间上的球函数。

实验结果

研究问题

• RQ1 当分拆序列 $\lambda(n)$ 满足何种条件时，$BC_n$-型雅可比多项式在 $n \to \infty$ 时于固定子环面 $\mathbb{T}^k$ 上一致收敛？
• RQ2 此渐近情形下出现的极限函数的结构如何？它们如何被参数化？
• RQ3 有限维 $B/C/D/BC$ 型对称空间的球函数如何逼近其无穷维类比的球函数？
• RQ4 参数 $\theta, a, b$ 在决定渐近行为及最终极限函数方面起什么作用？
• RQ5 $BC_n$-型多项式的分支规则在渐近下如何表现？其极限中转移系数的显式形式是什么？

主要发现

• 当且仅当分拆序列 $\lambda(n)$ 满足与参数 $\theta, a, b$ 相关的特定渐近缩放条件时，归一化的 $BC_n$-型雅可比多项式在任意固定子环面 $\mathbb{T}^k$ 上一致收敛于 $n \to \infty$。
• 极限函数被证明由可数个连续参数指标化，且对应于 $B/C/D/BC$ 型无穷维对称空间上的不可约球函数。
• 极限函数作为有限维球函数的均匀极限出现，为无穷变球函数提供了精确的逼近方案。
• $A(\mu,\nu)$ 在渐近分支规则中的系数由伽马函数的乘积显式给出，且严格为正，确保了极限过程的稳定性和正性。
• 显式公式为 $A(\mu,\nu) = \prod_{i=1}^{n-1} B(\mu_i + n - 1 - i, \nu_i + n - 1 - i)$，其中 $B(m,l)$ 以伽马函数及参数 $a,b,\theta$ 表达。
• 结果将弗舍克-克罗夫对舒尔多项式（对应 $\theta=1$）的渐近理论推广至所有经典根系及所有 $BC_n$-型正交多项式，统一了对称空间中大 $n$ 极限的理论。