[论文解读] Multiplication Formulas for the Elliptic Gamma Function

Giovanni Felder, Alexander Varchenko|ArXiv.org|Dec 11, 2002

Algebraic structures and combinatorial models参考文献 8被引用 3

一句话总结

本文建立了椭圆伽马函数的两个乘法公式，该特殊函数是欧拉和杰克逊 q-伽马函数的推广。第一个公式将 Γ(nz, τ, σ) 表示为 n³ 项的乘积，形式为 Γ(z + (k₁ + k₂τ + k₃σ)/n, τ, σ)，其中 k₁, k₂, k₃ 从 0 到 n−1。第二个公式将归一化椭圆伽马函数的缩放乘积与 theta 函数的幂次比值联系起来，该比值在极限情况下退化为高斯-阿斯凯和勒让德倍乘公式。

ABSTRACT

The elliptic gamma function is a generalization of the Euler gamma function. Its trigonometric and rational degenerations are the Jackson q-gamma function and the Euler gamma function. We prove multiplication formulas for the elliptic gamma function, whose degenerations are the Gauss-Askey multiplication formula for the Euler and trigonometric gamma functions.

研究动机与目标

• 推导并证明椭圆伽马函数的乘法公式，该函数是三变量亚纯函数，推广了欧拉和杰克逊 q-伽马函数。
• 建立统一并扩展已知伽马函数及其 q-类比倍乘公式的函数方程。
• 证明椭圆伽马函数满足一个涉及雅可比 theta 函数的差分方程，并具有唯一的归一化条件。
• 展示新公式的退化形式可恢复经典结果，如勒让德和高斯-阿斯凯倍乘公式。

提出的方法

• 第一个乘法公式通过单位根的无穷乘积操作推导得出，具体方法为代入 w = e^{2πi/n} 并对 k₁, k₂, k₃ 从 0 到 n−1 重新索引乘积。
• 第二个公式通过两个引理证明：其一将 Γ(z, τ, σ) 表示为参数 (mτ, nσ) 缩放后的乘积；其二计算了 a = 1 到 n−1 时 Γ(aτ, mτ, nσ) 的乘积。
• 通过 theta 函数比值 θ₀(τ, σ) 和标准椭圆伽马函数定义归一化函数 ̄Γ(z, τ, σ)，使其满足涉及 θ₀(τz, σ)/θ₀(τ, σ) 的函数方程。
• 证明依赖于上半平面中无穷乘积的收敛性，以及归一化函数 ̄Γ 满足的函数方程 u(z+1) = [θ₀(τz, σ)/θ₀(τ, σ)] u(z)。
• 通过取 σ → i∞（三角函数极限）和 τ → 0（有理函数极限）分析退化极限，恢复已知的 q-伽马函数和欧拉伽马函数恒等式。

实验结果

研究问题

• RQ1 椭圆伽马函数如何推广以支持类似于勒让德和高斯-阿斯凯倍乘公式的乘法公式？
• RQ2 何种函数方程唯一刻画椭圆伽马函数，其与 theta 函数的关系为何？
• RQ3 新乘法公式在三角函数极限和有理函数极限下如何退化为已知结果？
• RQ4 Γ(nz, τ, σ) 的乘积公式在 τ 和 σ 方向具有分数步长的平移参数时，其结构如何？

主要发现

• 第一个乘法公式指出，Γ(nz, τ, σ) 等于 k₁, k₂, k₃ 从 0 到 n−1 的乘积 ∏_{k₁,k₂,k₃=0}^{n−1} Γ(z + (k₁ + k₂τ + k₃σ)/n, τ, σ)，提供了完整的 n³ 项分解。
• 第二个公式将 ̄Γ(nz, τ, σ) 与 ̄Γ(k/n, nτ, σ)（k = 1 到 n−1）的乘积表示为 [θ₀(nτ, σ)/θ₀(τ, σ)] 的幂次乘以 ∏_{j=0}^{n−1} ̄Γ(z + j/n, nτ, σ)。
• 归一化函数 ̄Γ(z, τ, σ) 满足函数方程 u(z+1) = [θ₀(τz, σ)/θ₀(τ, σ)] u(z)，且 u(1) = 1，当 σ → i∞ 时退化为杰克逊 q-伽马函数。
• 当 τ → 0 时，比值 θ₀(τz, σ)/θ₀(τ, σ) 趋近于 z，恢复伽马函数的有理极限。
• 乘积 ∏_{a=1}^{n−1} Γ(aτ, nτ, σ) 等于 1 / [(q, qⁿ)(q², qⁿ)⋯(qⁿ⁻¹, qⁿ)]，其中 (x; q) 表示 q- Pochhammer 符号。