[论文解读] Two multivariate quadratic transformations of elliptic hypergeometric integrals

Fokko J. van de Bult|arXiv (Cornell University)|Sep 6, 2011

Mathematical functions and polynomials参考文献 3被引用 5

一句话总结

本文通过串联椭圆 Dixon 变换并应用复积分中的 Fubini 定理，证明了椭圆超几何积分的两个多重变量二次变换——具体而言，一个将 $(p,q)$-椭圆超几何函数与 $(p,q^2)$-函数联系起来的变换，另一个将之与 $(\sqrt{p},\sqrt{q})$-函数联系起来的变换。主要贡献在于在插值函数为常数的情形下建立这些恒等式，并推导出一个推论，证实了 Rains 在单变量情形下参数平移为零时的猜想。

ABSTRACT

Eric Rains conjectured several quadratic transformations between multivariate elliptic hypergeometric functions in "Elliptic Littlewood Identities", with the integrand multiplied by interpolation functions. In this article two of these conjectures are proven in the case where the interpolation functions are constant, and we obtain a third conjecture as a corollary. Two other equations for elliptic Selberg integrals with 10 parameters, two of which multiplying to pq/t, are given, as they are needed in the proof. The proofs consist essentially of a calculation which strings together many elliptic Dixon transformations. Some remarks are made about using Fubini in cases in which product contours do not exist.

研究动机与目标

• 证明由 Eric Rains 提出的关于椭圆超几何积分的两个多重变量二次变换猜想，具体涉及将 $(p,q)$-函数与 $(p,q^2)$-函数及 $(\sqrt{p},\sqrt{q})$-函数相联系的变换。
• 在被积函数中插值函数为常数的特殊情形下建立这些恒等式，此情形下 Rains 猜想的完整一般性不适用。
• 推导出关于十参数椭圆 Selberg 积分的两个新变换公式，其中一个作为归纳启始变换，另一个称为“准-Selberg”变换。
• 严格证明在不存在乘积轮廓时，Fubini 定理可应用于亚纯函数的复积分，将其应用范围扩展至标准设定之外。
• 提供一个推论，证实 Rains 的猜想 Q1 在常数插值函数情形下成立，该推论通过参数平移和 Selberg 变换与第二个主要变换相联系。

提出的方法

• 证明策略依赖于串联已知的椭圆超几何变换，特别是多次应用椭圆 Dixon 变换。
• 使用归纳启始变换（命题 4.1），将 $n$-变量积分简化为包含 $(n-1)$-变量和一元积分的双重积分。
• 引入一个“准-Selberg”变换（命题 5.1），该变换将已知的八参数积分的 Selberg 变换推广至满足特定平衡条件的十参数情形。
• 应用 Fubini 定理改变多变量积分的积分顺序，同时对在标准轮廓不可用时亚纯被积函数的适用性进行专门分析。
• 使用解析延拓，将结果从具有单位圆轮廓的参数区域推广至一般参数，确保变换的普遍有效性。
• 通过迭代应用归纳启始变换和准-Selberg 变换，将中间恒等式组合起来，最终完成最终的二次恒等式证明。

实验结果

研究问题

• RQ1 当插值函数为常数时，Rains 提出的椭圆超几何积分的多重变量二次变换是否可被证明？
• RQ2 在两个参数的乘积等于 $pq/t$ 的条件下，十参数椭圆 Selberg 积分会衍生出哪些新的变换公式？
• RQ3 当不存在乘积轮廓时，如何严格应用 Fubini 定理于亚纯函数的复积分？
• RQ4 归纳启始变换在椭圆 Selberg 积分背景下，是否能有效将 $n$-变量积分简化为低维分量？
• RQ5 第二个二次变换是否可用于推导出一个推论，证实常数插值函数条件下 Rains 的猜想 Q1？

主要发现

• 本文证明了一个将 $(p,q)$-椭圆超几何积分与 $(p,q^2)$-函数相联系的二次变换，建立了椭圆超几何函数理论中一个新的多重变量恒等式。
• 证明了第二个变换，将 $(p,q)$-函数与 $(\sqrt{p},\sqrt{q})$-函数相联系，将已知的二次恒等式范围从单变量情形扩展至多重变量情形。
• 推导出两个关于十参数椭圆 Selberg 积分的新变换公式：一个作为归纳启始变换，另一个被称为“准-Selberg”变换。
• 在不存在乘积轮廓的亚纯被积函数复积分背景下，严格证明了 Fubini 定理的应用，为未来应用提供了通用框架。
• 建立了一个推论，证实了 Rains 的猜想 Q1 在常数插值函数情形下成立，该推论通过参数平移和 Selberg 变换与第二个主要变换相联系。
• 所有恒等式均通过椭圆 Gamma 函数的序列变换得到验证，且在满足必要平衡条件（如 $t^{2n-1}\prod_{r=1}^{4}t_r = pq$）下成立。