[论文解读] Transformations of elliptic hypergometric integrals

Eric M. Rains|ArXiv.org|Sep 16, 2003

Mathematical functions and polynomials参考文献 23被引用 23

一句话总结

该论文建立了一个连接 $BC_n$ 和 $A_n$ 椭圆超几何积分的变换公式，推广了 van Diejen-Spiridonov 的猜想。通过行列式约化论证，证明了 $n$-维与 $m$-维积分之间的对偶性，构建了推广 Koornwinder 多项式的双正交函数，并利用留数计算与路径变形方法证明了积分的亚纯延拓。

ABSTRACT

We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.

研究动机与目标

• 建立一个关联不同维数的 $BC_n$ 与 $A_n$ 椭圆超几何积分的变换律。
• 通过新颖的路径变形与留数论证，证明 van Diejen-Spiridonov 类型 I 与类型 II 积分猜想。
• 通过伴随积分与差分算子，构造一族推广 Koornwinder 多项式的双正交阿贝尔函数。
• 通过分析其亚纯行为与极点结构，将积分延拓为参数域上的全纯函数。

提出的方法

• 使用行列式约化技术：在恒等式退化为一维变换行列式的情况下证明变换关系。
• 应用迭代路径变形与留数计算，将高维积分与低维积分关联，证明在参数的一个余稠密集上成立。
• 通过 $BC_n \leftrightarrow BC_m$ 变换与留数恒等式推导，建立积分算子与差分算子的伴随关系。
• 利用归纳法与被积函数的对称性，证明路径移动所产生的留数贡献成对抵消，从而确保亚纯延拓。
• 应用多维留数引理控制奇点，证明在一般条件下仅出现单极点。
• 将双正交函数构造为差分与积分算子作用于生成集的结果，推广 Koornwinder 多项式框架。

实验结果

研究问题

• RQ1 如何通过变换律关联不同维数的椭圆超几何积分？
• RQ2 能否使用统一方法证明 van Diejen-Spiridonov 类型 I 与类型 II 积分猜想？
• RQ3 在椭圆情形下，推广 Koornwinder 多项式的双正交函数的结构是什么？
• RQ4 积分算子与差分算子在椭圆内积下如何作为伴随算子相互关联？
• RQ5 在参数变形下，类型 II 积分的亚纯行为如何？

主要发现

• 该论文证明了 $BC_n \leftrightarrow BC_m$ 变换，将含 $2n+2m+4$ 个参数的 $n$-维积分与参数经变换后的 $m$-维积分关联起来。
• 类型 II 积分作为类型 I 积分的推论被恢复，推广了 Koornwinder 内积密度。
• 构造了一族推广 Koornwinder 多项式的双正交阿贝尔函数，其满足 Macdonald 猜想的类比形式。
• 积分 $I^{(m)}_{BC_n}$ 在乘以 $\prod_{0\leq r<s\leq 2m+2n+3}(t_r t_s; p,q)_\infty$ 后，可延拓为 $\prod_r t_r = (pq)^m$, $|p|,|q|<1$ 域上的全纯函数。
• 类型 II 积分 $\mathord{I\!I}^{(m)}_n$ 在乘以 $\prod_{0\leq i<n}\prod_{0\leq r<s<2m}(t^i t_r t_s; p,q)_\infty$ 后，可延拓为 $t^{2n-2}\prod_r t_r = (pq)^m$, $|t|,|p|,|q|<1$ 域上的全纯函数。
• 该构造给出了基于伴随差分算子的类型 II 积分的新证明，以及通过 $BC_n \leftrightarrow BC_m$ 变换的对应积分算子证明。