[論文レビュー] Transformations of elliptic hypergometric integrals

Eric M. Rains|ArXiv.org|Sep 16, 2003

Mathematical functions and polynomials参考文献 23被引用数 23

ひとこと要約

本稿は、$BC_n$ および $A_n$ の楕円超幾何積分を結びつける変換公式を確立し、van Diejen-Spiridonovの予想を一般化する。行列式還元の議論を用いて、$n$ 次元および $m$ 次元積分の双対性を証明し、Koornwinder多項式を一般化する双直交関数を構成し、留数計算および積分路の変形を用いて積分のメロモルフィックな拡張を証明する。

ABSTRACT

We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.

研究の動機と目的

• 異なる次元をもつ $BC_n$ および $A_n$ の楕円超幾何積分を結びつける変換則を確立すること。
• 新規の積分路変形および留数論的議論を用いて、van Diejen-Spiridonovの Type I および Type II 積分予想を証明すること。
• 随伴積分作用素および差分作用素を用いて、Koornwinder多項式を一般化する一価の双直交アーベル関数族を構成すること。
• パラメータの領域におけるメロモルフィック性および極構造を分析することで、積分をパラメータ領域上で正則関数に拡張すること。

提案手法

• 行列式還元技術を用いる：恒等式が1次元変換の行列式に帰着する特別な場合において変換を証明する。
• 反復的積分路変形および留数計算を適用し、高次元積分を低次元積分と関連づけ、パラメータの稠密な集合に対して変換を証明する。
• 行列式 $BC_n \leftrightarrow BC_m$ 変換および留数恒等式から作用素の随伴性を導出し、積分作用素と差分作用素の随伴性を確立する。
• 帰納法および被積分関数の対称性を用いて、積分路のシフトに伴う留数寄与が対になって相殺されることを示し、メロモルフィックな拡張を保証する。
• 多次元留数補題を適用して特異点を制御し、一般状況では単純極のみが生じることを証明する。
• 差分作用素および積分作用素を基底となる集合に作用させた像として双直交関数を構成し、Koornwinder多項式の枠組みを一般化する。

実験結果

リサーチクエスチョン

• RQ1 異なる次元をもつ楕円超幾何積分は、どのように変換則によって結びつけられるか？
• RQ2 van Diejen-Spiridonovの Type I および Type II 積分予想は、統一的なアプローチで証明可能か？
• RQ3 楕円的設定における、Koornwinder多項式を一般化する双直交関数の構造はいかなるものか？
• RQ4 楕円内積の下で、積分作用素と差分作用素はどのように随伴関係にあるか？
• RQ5 パラメータの変形の下で、Type II 積分のメロモルフィック性はどのように振る舞うか？

主な発見

• 本稿は、$n$ 次元積分（$2n+2m+4$ 個のパラメータをもつ）と $m$ 次元積分（変換されたパラメータをもつ）を結ぶ $BC_n \leftrightarrow BC_m$ 変換を証明する。
• Type II 積分は Type I 積分の推論として得られ、Koornwinder内積密度を一般化する。
• Koornwinder多項式を一般化し、Macdonald予想の類似を満たす双直交アーベル関数族が構成される。
• 積分 $I^{(m)}_{BC_n}$ は、積の $\prod_{0\leq r<s\leq 2m+2n+3}(t_r t_s; p,q)_\infty$ を乗じることで、$\prod_r t_r = (pq)^m$, $|p|,|q|<1$ の領域上で正則関数に拡張可能である。
• Type II 積分 $\mathord{I\!I}^{(m)}_n$ は、積 $\prod_{0\leq i<n}\prod_{0\leq r<s<2m}(t^i t_r t_s; p,q)_\infty$ を乗じることで、$t^{2n-2}\prod_r t_r = (pq)^m$, $|t|,|p|,|q|<1$ の領域上で正則関数に拡張可能である。
• 構成手法により、随伴差分作用素に基づく Type II 積分の新たな証明が得られ、$BC_n \leftrightarrow BC_m$ 変換を用いた対応する積分作用素による証明も得られる。