[论文解读] Limit transition between hypergeometric functions of type BC and type A

Margit Rösler, Tom H. Koornwinder+1 more|arXiv (Cornell University)|Jul 2, 2012

Advanced Algebra and Geometry参考文献 16被引用 9

一句话总结

本论文在乘数 $k_1 + k_2 \to \infty$ 且 $k_1/k_2 \to \infty$ 的极限下，建立了类型 BC 的 Heckman-Opdam 超几何函数向类型 A 的极限过渡，表明其收敛于无限维 Grassmann 流形的球函数。该结果通过 Jack 多项式展开与 Phragmén-Lindelöf 原理推导得出，并应用于 Olshanski 球函数对与 $\mathbb{R}, \mathbb{C}, \mathbb{H}$ 上的对称空间。

ABSTRACT

Let $F_{BC}(λ,k;t)$ be the Heckman-Opdam hypergeometric function of type BC with multiplicities $k=(k_1,k_2,k_3)$ and weighted half sum $ρ(k)$ of positive roots. We prove that $F_{BC}(λ+ρ(k),k;t)$ converges for $k_1+k_2 o\infty$ and $k_1/k_2 o \infty$ to a function of type A for $t\in\b R^n$ and $λ\in\b C^n$. This limit is obtained from a corresponding result for Jacobi polynomials of type BC, which is proven for a slightly more general limit behavior of the multiplicities, using an explicit representation of Jacobi polynomials in terms of Jack polynomials. Our limits include limit transitions for the spherical functions of non-compact Grassmann manifolds over one of the fields $\mathbb F= \mathbb R, \mathbb C, \mathbb H$ when the rank is fixed and the dimension tends to infinity. The limit functions turn out to be exactly the spherical functions of the corresponding infinite dimensional Grassmann manifold in the sense of Olshanski.

研究动机与目标

• 在乘数的特定渐近行为下，建立 Heckman-Opdam 类型 BC 超几何函数向类型 A 超几何函数的严格极限过渡。
• 将此极限推广至谱参数 $\lambda$，并推导出完整超几何函数 $F_{BC}(\lambda + \rho(k), k; t)$ 的收敛结果。
• 将极限函数与 Olshanski 框架下的无限维 Grassmann 流形的球函数联系起来。
• 推广已知的 Jacobi 多项式结果，并通过显式多项式表示将其扩展至超几何函数层面。
• 为根系超几何理论中的极限过渡提供统一框架，尤其适用于维度增长而秩保持固定的对称空间。

提出的方法

• 基于 [SK] 和 [Ha] 的思想，使用显式表达式将类型 BC 的 Jacobi 多项式表示为 Jack 多项式。
• 应用 Phragmén-Lindelöf 原理，将 $\lambda$ 上的逐点收敛扩展为 $\mathbb{C}^n$ 上的局部一致收敛。
• 采用超几何函数的精确渐近估计，改进了 Opdam 和 Schapira 早期的界。
• 将极限简化为单位球 $B_q$ 上概率测度的弱收敛，这些测度在 $n \to \infty$ 时趋于零点的 Dirac 测度。
• 应用对称空间上球函数的乘积公式，并通过限制到对角矩阵识别 Olshanski 球函数。
• 应用 [R] 中的命题 2.2，重写矩阵积分，推导出球函数的极限乘积公式。

实验结果

研究问题

• RQ1 当 $k_1 + k_2 \to \infty$ 且 $k_1/k_2 \to \infty$ 时，类型 BC 的 Heckman-Opdam 超几何函数如何收敛为类型 A 的函数？
• RQ2 在此极限下，谱参数 $\lambda$ 的 $F_{BC}(\lambda + \rho(k), k; t)$ 的精确极限形式是什么？
• RQ3 极限函数如何与无限维 Grassmann 流形上的球函数相关联？
• RQ4 Jacobi 多项式的极限过渡能否通过解析延拓与函数估计推广至完整的超几何函数？
• RQ5 Jack 多项式展开在实现类型 BC 超几何函数渐近分析中起到何种作用？

主要发现

• 在 $\lambda \in \mathbb{C}^n$ 上局部一致成立：$$\lim_{k_1 + k_2 \to \infty,\, k_1/k_2 \to \infty} F_{BC}(\lambda + \rho(k), k; t) = \prod_{i=1}^n \left(\cosh^2 \frac{t_i}{2}\right)^{\sum_{i=1}^n \lambda_i / n} \cdot F_A\left(\pi(\lambda) + \rho_A(k_3), k_3; \pi(\log \cosh^2 \frac{t}{2})\right)$$。
• 该极限函数被识别为无限维 Grassmann 流形 $GL(n,\mathbb{F})/U(n,\mathbb{F})$（$\mathbb{F} = \mathbb{R}, \mathbb{C}, \mathbb{H}$）的球函数，与 Olshanski 框架一致。
• 当 $k_1 + k_2 \to \infty$ 且 $k_1/k_2 \to a \in [0, \infty]$ 时，Jacobi 多项式 $P_\lambda^{BC}(k; t)$ 的极限收敛于 $4^{| one|} \cdot j_\lambda^{k_3}(x(t))$，其中 $x_i(t) = \gamma_a + \sinh^2(t_i/2)$ 且 $\gamma_a = (a+1)/(a+2)$。
• 建立了有限秩 Grassmann 流形 $G_n/K_n$ 上球函数向 $G_\infty/K_\infty$ 上球函数的收敛性，所有 Olshanski 球函数均可表示为这种极限。
• 极限行为被证明等价于测度 $c_n^{-1} \Delta(I - w^*w)^{(n+q)d/2 - \gamma} dw$ 在单位球 $B_q$ 上弱收敛于 $\delta_0$，当 $n \to \infty$ 时。
• 证明了 $GL(n,\mathbb{F})/U(n,\mathbb{F})$ 的球函数与无限维极限空间的 Olshanski 球函数之间存在双射对应关系。