[論文レビュー] Limits of multivariate elliptic hypergeometric biorthogonal functions

Fokko J. van de Bult, Eric M. Rains|arXiv (Cornell University)|Oct 7, 2011

Polynomial and algebraic computation参考文献 8被引用数 6

ひとこと要約

本稿では、$p \to 0$ における多変数 $BC_n$-型楕円超幾何双対正規直交関数の退化スキームが、1変数の場合と同一であることを確立する。パラメータのスケーリング極限（$z_i \sim p^\zeta$、$t_r \sim p^{\alpha_r}$、$u_r \sim p^{\gamma_r}$）を分析することで、多変数双対正規直交族が、その1変数版が $z$-依存性を示し、ノルム公式が収束する場合にのみ出現することを証明し、$q$-Askeyスキームの多変数類似物（Koornwinder多項式およびMacdonald多項式を含む）をすべて得られることを示す。

ABSTRACT

In this article we extend the results of our article "Limits of elliptic hypergeometric biorthogonal functions" to the multivariate setting. In that article we determined which families of biorthogonal functions arise as limits from the elliptic hypergeometric biorthogonal functions from Spiridonov when p->0. Here we show that the classification of the possible limits of the BC_n type multivariate biorthogonal functions previously introduced by the second author is identical to the univariate classification. That is, for each univariate limit family there exists a multivariate extension, and in particular we obtain multivariate versions for all elements of the q-Askey scheme. For the Askey-Wilson polynomials these are the Koornwinder polynomials, and the multivariate versions of the Pastro polynomials form a two-parameter family which include the Macdonald polynomials.

研究の動機と目的

• 多変数 $BC_n$-型楕円超幾何双対正規直交関数の $p \to 0$ におけるすべての可能な極限を、制御されたパラメータスケーリングのもとで分類すること。
• このような極限が線形独立な $z$-依存双対正規直交関数を生じるかどうかを特定すること。
• 極限の二乗ノルム公式が、依然として適切に定義されかつ有限のままであることを確認すること。
• 多変数退化スキームが[1]における1変数スキームと同一であることを確立し、$q$-Askeyスキームのすべての族に対して多変数類似物が存在することを保証すること。
• 極限プロセスを用いて、多変数Pastro多項式およびその特殊ケースであるMacdonald多項式の明示的構成を提供すること。

提案手法

• パラメータスケーリングを導入：$z_i \to z_i p^\zeta$、$t_r \to t_r p^{\alpha_r}$、$u_r \to u_r p^{\gamma_r}$、$q,t$ を固定して、$p \to 0$ の極限を制御する。
• 分岐則に基づく補間関数の定義を用いて、双対正規直交関数をテータ関数の積の有限和として表現する。
• 和の式において各項ごとに極限をとる。対称性を活用して、極限を無効にする可能性のある誤ったキャンセルを回避する。
• 極限の $z$-依存性が、対応する1変数双対正規直交関数の $z$-依存性と等価であることを示す。
• 二乗ノルム公式の収束は、1変数条件に還元され、極限が有効な双対正規直交系のままであることを保証する。
• 結果[10]および[11]を用いて、二項係数および補間関数の極限の明示的公式を導出し、完全な極限計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 制御されたパラメータスケーリングのもとで $p \to 0$ のとき、$BC_n$-型楕円超幾何関数の極限として得られる多変数双対正規直交関数の族はどれか？
• RQ2 スケーリング指数 $\zeta, \alpha_r, \gamma_r$ にどのような条件下で、極限が $z$-依存的かつ線形独立のままであるか？
• RQ3 多変数双対正規直交関数の退化スキームは、1変数の場合と同一か？
• RQ4 Koornwinder多項式およびMacdonald多項式を含む、$q$-Askeyスキームのすべての多変数類似物が極限として得られるか？
• RQ5 二乗ノルム公式の極限は、有限かつ適切に定義され、1変数の場合と一致するか？

主な発見

• 多変数 $BC_n$-型楕円超幾何双対正規直交関数の退化スキームは、[1]の1変数スキームと同型であり、38種類の異なる極限族が存在する。
• 1変数極限族のすべてに対して多変数類似物が存在し、$q$-Askeyスキームのすべての多項式が含まれる。
• Koornwinder多項式は、Askey-Wilson多項式の多変数類似物である。
• 多変数Pastro多項式は、2パラメータ族をなし、特殊化によりMacdonald多項式が得られる。
• 二項係数の極限が明示的に計算され、既知の多変数超幾何形式と一致することが示された。
• 極限プロセスは、$z$-依存性、線形独立性、ノルム収束といった重要な性質を保ち、結果として得られる関数が双対正規直交系を形成することを保証する。