[論文レビュー] Multiplication Formulas for the Elliptic Gamma Function

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

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

ひとこと要約

この論文は、オイラーおよびジャクソンのq-ガンマ関数を一般化する特殊関数である楕円ガンマ関数の2つの乗法公式を確立する。最初の公式は、Γ(nz, τ, σ) を n³ 項の積 ∏_{k₁,k₂,k₃=0}^{n−1} Γ(z + (k₁ + k₂τ + k₃σ)/n, τ, σ) として表現する。第二の公式は、正規化された楕円ガンマ関数のスケーリングされた積を、θ関数の比のべき乗に結びつけるもので、極限状況ではガウス＝アスキーおよびレジェンドルの倍積分公式に退化する。

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アナログの既知の倍積分公式を統合・拡張する関数方程式を確立すること。
• 楕円ガンマ関数が、ヤコビのθ関数を含む差分方程式を満たし、一意的な正規化条件を持つことを示すこと。
• 新しい公式の退化が、レジェンドルおよびガウス＝アスキーの倍積分公式といった古典的結果を回復することを示すこと。

提案手法

• 最初の乗法公式は、単位根を用いた無限積の操作により導出され、具体的には w = e^{2πi/n} と置き換え、k₁, k₂, k₃ について 0 から n−1 まで再添え字付けを行う。
• 第二の公式は、2つの補題を用いて証明される。1つ目は、Γ(z, τ, σ) をスケーリングされたパラメータ (mτ, nσ) における積として表現するもので、2つ目は a = 1 から n−1 まで Γ(aτ, mτ, nσ) の積を評価するものである。
• 正規化関数 ̄Γ(z, τ, σ) は、θ関数比 θ₀(τ, σ) と標準的な楕円ガンマ関数を用いて定義され、θ₀(τz, σ)/θ₀(τ, σ) を含む関数方程式を満たす。
• 証明は、上半平面における無限積の収束性と、̄Γ に対して成り立つ関数方程式 u(z+1) = [θ₀(τz, σ)/θ₀(τ, σ)] u(z) に依存する。
• 退化極限は、σ → i∞（三角関数的極限）および τ → 0（有理数的極限）をとることで分析され、既知のq-ガンマ関数およびオイラーのガンマ関数の恒等式が回復される。

実験結果

リサーチクエスチョン

• RQ1 楕円ガンマ関数は、レジェンドルおよびガウス＝アスキーの倍積分公式に類似する乗法公式をどのように一般化できるか？
• RQ2 楕円ガンマ関数を一意的に特徴付ける関数方程式は何か？ また、θ関数とどのように関係するか？
• RQ3 新しい乗法公式は、三角関数的および有理数的極限においてどのように既知の結果に退化するか？
• RQ4 τ および σ における分数ステップを伴うずらされた引数の積の形として、Γ(nz, τ, σ) の積の構造はどのようなものか？

主な発見

• 最初の乗法公式は、Γ(nz, τ, σ) が k₁, k₂, k₃ = 0 から n−1 まで変化するすべての項について、Γ(z + (k₁ + k₂τ + k₃σ)/n, τ, σ) の積に等しいと述べるもので、完全な n³ 項の分解を提供する。
• 第二の公式は、k = 1 から n−1 まで ̄Γ(nz, τ, σ) と ̄Γ(k/n, nτ, σ) の積が、θ₀(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ポッホハマー記号を表す。