[論文レビュー] Limits of BC-type orthogonal polynomials as the number of variables goes to infinity

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|Jun 4, 2006

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

ひとこと要約

本稿は、変数の数 $n \to \infty$ の下で、インデックス付きの分割 $\lambda(n)$ も増大する条件の下で、$BC_n$-型のジャコビ多項式の漸近的挙動を調査する。固定された部分トーラス $\mathbb{T}^k$ 上での一様収束の必要十分条件を確立し、可算無限の連続パラメータによってインデックス付けられる極限関数を同定する。これらは無限次元の $B/C/D$ または $BC$ 型対称空間上の球関数として特徴づけられ、ジャック多項式に関する先行研究を一般化し、ヴェルシク＝ケロフの漸近的挙動を古典的根系へと拡張する。

ABSTRACT

We describe the asymptotic behavior of the multivariate BC-type Jacobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B,C,D or BC by the spherical functions of the corresponding finite-dimensional symmetric spaces. Similar results for the Jack polynomials were established in our earlier paper (Intern. Math. Res. Notices 1998, no. 13, 641-s682; arXiv:q-alg/9709011). The main results of the present paper were obtained in 1997.

研究の動機と目的

• 固定された部分トーラス $\mathbb{T}^k$ 上での $BC_n$-型ジャコビ多項式が $n \to \infty$ の下で一様収束する条件を特定すること。
• この漸近的状況で生じる極限関数が、無限次元トーラス上に存在することを特徴づけること。
• 有限次元の $B/C/D/BC$ 型対称空間の球関数と、それらの無限次元類似物との間の対応関係を確立すること。
• 以前に [OO4] で研究されたジャック多項式の $n$ が大きいときの漸近的挙動を、パラメータ $\theta, a, b$ を持つ三パラメータの $BC_n$-型直交多項式へ一般化すること。
• この極限過程を通じて、古典的タイプの無限次元対称空間上の分解不能球関数の完全な分類を提供すること。

提案手法

• $BC_n$-型ジャコビ多項式 $\eusm J_\lambda(z;\theta,a,b)$ は、$z = (1,\dots,1)$ で値 1 をとるように正規化され、一意性と球関数の正規化との整合性を保証する。
• 多項式は、$\mathbb{T}^n$ 上の重み関数 $\mathfrak{w}(z)$ に関して直交する $W_*$-不変なローレンツ多項式として定義され、パラメータ $\theta > 0$, $a > -1$, $b > -1$ を含む。
• 漸近的解析は、$n \to \infty$ の下で、$\lambda(n)$ が制御された方法で変化する条件の下で実施され、固定された $k$ に対して $\mathbb{T}^k$ 上での収束を保証する。
• 著者らは、一変数直交多項式 $r_m(x)$ の三項再帰関係を用いて多項式の分岐則を導出し、遷移係数 $A(\mu,\nu)$ をガンマ関数およびパラメータ $a,b,\theta$ を用いて明示的に表現する。
• 主な技術的ステップは、再帰の繰り返し適用により分岐則における行列式を中間の分割の和として表現することであり、これにより係数の明示的正値性と構造が得られる。
• 極限関数は、分割 $\lambda(n)$ の漸近的スケーリングから生じる可算無限の連続パラメータの系列によってインデックス付けられ、無限次元対称空間上の球関数として同定される。

実験結果

リサーチクエスチョン

• RQ1 系列 $\lambda(n)$ がどのような条件下に、$BC_n$-型ジャコビ多項式が $n \to \infty$ の下で固定された部分トーラス $\mathbb{T}^k$ 上で一様収束するか。
• RQ2 この漸近的状況で生じる極限関数の構造は何か、そしてどのようにパラメータ化されるか。
• RQ3 有限次元の $B/C/D/BC$ 型対称空間の球関数は、その無限次元類似物の球関数をどの程度近似するか。
• RQ4 $\theta, a, b$ のパラメータが漸近的挙動およびそれらに続く極限関数を決定する上で果たす役割は何か。
• RQ5 $BC_n$-型多項式の分岐則は漸近的にどのように振る舞い、遷移係数の明示的形は極限でどのように表れるか。

主な発見

• 正規化された $BC_n$-型ジャコビ多項式は、$n \to \infty$ の下で、任意の固定された部分トーラス $\mathbb{T}^k$ 上で一様収束する。その条件は、系列 $\lambda(n)$ がパラメータ $\theta, a, b$ に関連する特定の漸近的スケーリング条件を満たすことである。
• 極限関数は可算無限の連続パラメータによってインデックス付けされており、$B/C/D/BC$ 型の無限次元対称空間上の分解不能球関数に対応する。
• 極限関数は、有限次元球関数の一様極限として得られ、無限変数球関数をそれらの有限次元類似物で正確に近似するスキームを提供する。
• 分岐則の漸近的係数 $A(\mu,\nu)$ はガンマ関数の積として明示的に与えられ、厳密に正であるため、極限過程の安定性と正値性が保証される。
• 係数 $A(\mu,\nu)$ の明示的公式は、$\prod_{i=1}^{n-1} B(\mu_i + n - 1 - i, \nu_i + n - 1 - i)$ として得られ、ここで $B(m,l)$ はガンマ関数およびパラメータ $a,b,\theta$ を用いて表現される。
• 本結果は、$\theta=1$ の場合に相当するシュール多項式のヴェルシク＝ケロフの漸近的挙動を、すべての古典的根系およびすべての $BC_n$-型直交多項式へ一般化し、対称空間全体における $n$ が大きいときの極限を統一的に扱う。