[論文レビュー] 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変換を連結することで、2つの多変数二次変換を証明する。具体的には、$(p,q)$-楕円超幾何積分関数を$(p,q^2)$-関数および$(\sqrt{p},\sqrt{q})$-関数へ関連付ける変換を示す。主な貢献は、補間関数が定数関数である場合にこれらの恒等式を確立したことであり、Rainsの予想（パrameterシフトがゼロの1変数の場合）を補足的に確認する系を提示する。

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.

研究の動機と目的

• エリック・レインズが提起した、$(p,q)$-関数と$(p,q^2)$-関数および$(\sqrt{p},\sqrt{q})$-関数を関連付ける、楕円超幾何積分の2つの多変数二次変換を証明すること。
• 被積分関数内の補間関数が定数関数である特殊な場合に、これらの恒等式を確立すること。これは、レインズの予想の完全な一般性が適用されない状況である。
• 10パラメータ楕円セリン積分に対して、2つの新しい変換公式を導出すること。1つは帰納法のためのエンablerであり、もう1つは「アームォン・セリン」と呼ばれる変換である。
• 積分可能なメロモーフィック関数に対して、積分順序の交換を正当化するフォビニの定理の適用を、標準的な積分路が存在しない場合にも拡張すること。
• 定数補間関数の下で、レインズの予想Q1を確認する系を導出すること。これは、2番目の主要な変換と関連付ける。

提案手法

• 証明戦略は、特に複数回の楕円Dixon変換を適用する、既知の楕円超幾何変換を連結することに依存する。
• 帰納法のエンabler変換（命題4.1）を用いて、$n$ 変数積分を、$(n-1)$ 変数積分と1変数積分を含む2重積分に還元する。
• 「アームォン・セリン」変換（命題5.1）を導入し、8パラメータ積分に対する既知のセリン変換を、特定のバランス条件を満たす10パラメータケースに一般化する。
• フォビニの定理を用いて、複数変数にわたる積分順序を交換する。標準的な積分路が存在しない場合のメロモーフィック被積分関数に対する、その有効性の分析を別途行う。
• 解析接続を用いて、単位円周上の積分路を持つパラメータ領域から、一般パラメータへ結果を拡張し、変換の有効性を保証する。
• 中間の恒等式を、帰納法のエンablerおよびアームォン・セリン変換を繰り返し適用することで組み合わせ、最終的な2次恒等式に到達する。

実験結果

リサーチクエスチョン

• RQ1 補間関数が定数関数である場合に、レインズが提起した楕円超幾何積分の多変数二次変換が証明可能か？
• RQ2 2つのパラメータの積が$ pq/t $ に等しい条件の下で、10パラメータ楕円セリン積分に対して新たな変換公式は導かれるか？
• RQ3 積分路の積が存在しない場合に、メロモーフィック関数の複素積分に対してフォビニの定理をどのように厳密に適用できるか？
• RQ4 帰納法のエンabler変換は、楕円セリン積分の文脈において、$n$ 変数積分を低次元の成分に還元するのに有効か？
• RQ5 2番目の2次変換を用いて、定数補間関数の下で、レインズの予想Q1を確認する系を導出可能か？

主な発見

• 本稿は、$(p,q)$-楕円超幾何積分を$(p,q^2)$-関数へ関連付ける2次変換を証明し、楕円超幾何関数論における新しい多変数恒等式を確立する。
• 2番目の変換は、$(p,q)$-関数と$(\sqrt{p},\sqrt{q})$-関数を関連付けることを証明し、既知の2次恒等式の範囲を1変数の場合を超えて拡張する。
• 10パラメータ楕円セリン積分に対して2つの新しい変換公式を導出する。1つは帰納法のエンablerとして機能し、もう1つは「アームォン・セリン」と呼ばれる変換である。
• 積分路の積が存在しない場合のメロモーフィック被積分関数に対するフォビニの定理の適用を、厳密に正当化し、将来的な応用のための一般枠組みを提供する。
• レインズの予想Q1が定数補間関数の下で確認される系を確立する。これは、パラメータシフトとセリン変換を介して、2番目の主要な変換と関連付ける。
• すべての恒等式は、必要なバランス条件（例：$t^{2n-1}\prod_{r=1}^{4}t_r = pq$）を満たす条件下で、楕円ガンマ関数を用いた変換の系列を通じて検証され、正当化される。