[论文解读] Theta hypergeometric integrals

V. P. Spiridonov|arXiv (Cornell University)|Mar 17, 2003

Advanced Mathematical Identities参考文献 40被引用 10

一句话总结

本文引入了一类与雅可比θ函数相关的新型多重超几何积分，通过留数法建立了其与θ超几何级数的联系。研究推导了根系$A_n$和$C_n$的椭圆β积分的新精确求值，包括新颖的$C_n$型积分，并对椭圆超几何函数的双正交关系进行了详细分析。

ABSTRACT

We define a general class of (multiple) integrals of hypergeometric type associated with the Jacobi theta functions. These integrals are related to theta hypergeometric series through the residue calculus. In the one variable case, we get theta function extensions of the Meijer function. A number of multiple generalizations of the elliptic beta integral [S2] associated with the root systems $A_n$ and $C_n$ is described. Some of the $C_n$-examples were proposed earlier by van Diejen and the author, but other integrals are new. An example of the biorthogonality relations associated with the elliptic beta integrals is considered in detail.

研究动机与目标

• 基于雅可比θ函数定义一类广义的超几何型积分。
• 通过留数法建立这些积分与θ超几何级数之间的对应关系。
• 推导与根系$A_n$和$C_n$相关的多重椭圆β积分的新精确求值。
• 为终止型${}_{12}E_{11}$级数提供积分表示，并将Rahman双正交性框架推广至椭圆层次。
• 将β积分的层级结构从$q$-和伽马函数层次扩展至椭圆（θ函数）层次。

提出的方法

• 通过分离被积函数极点及其倒数的围道积分定义θ超几何积分。
• 利用留数法将积分与θ超几何级数关联，特别是通过椭圆伽马函数及其性质。
• 采用双重围道积分技术，为${}_{12}V_{11}$级数构造积分表示，推广Frenkel-Turaev求和公式。
• 使用通过双重无穷乘积$(z;q,p)_\infty$定义的椭圆伽马函数$\Gamma(z;q,p)$及其变换性质。
• 利用θ函数$\theta(z;p) = (z;p)_\infty (pz^{-1};p)_\infty$表达函数方程和拟周期关系，这些关系在围道变形中至关重要。
• 通过在包含$\Delta_E(z,\mathbf{t})$的权函数下对两个${}_{12}V_{11}$级数的乘积进行积分，推导出有理函数的双正交性关系。

实验结果

研究问题

• RQ1 如何利用雅可比θ函数将超几何积分广义化，以形成一类新的θ超几何积分？
• RQ2 这些积分与θ超几何级数之间通过留数法的精确关系是什么？
• RQ3 可以为$A_n$和$C_n$根系推导出哪些新的多重椭圆β积分？它们如何扩展已知结果？
• RQ4 椭圆超几何函数的双正交性关系如何从终止型${}_{12}E_{11}$级数的积分表示中浮现？
• RQ5 椭圆伽马函数及其函数方程在构造精确积分求值中起到什么作用？

主要发现

• 定义了一类与雅可比θ函数相关的新型多重超几何积分，广义化了经典Euler β积分及其$q$-和椭圆类比。
• 构造了一种此前未知的$C_n$型椭圆β积分，扩展了van Diejen及作者的早期结果。
• 推导出$A_n$根系椭圆β积分的精确求值，推广了$C_n$情形的结果。
• 证明了有理函数的双正交性关系，该关系在$ p \to 0 $极限下退化为Rahman双正交性条件。
• 为两个终止型${}_{12}V_{11}$级数的乘积建立了积分表示，该表示仅在椭圆层次成立，无法通过$ p \to 0 $简化至$q$-层次。
• 公式(B.1)为多重θ超几何级数与涉及$\theta$-函数及椭圆伽马函数的围道积分之间建立了新联系。