[論文レビュー] Hermitian Symmetric Spaces of Tube Type and Multivariate Meixner-Pollaczek Polynomials

Jacques Faraut, Masato Wakayama|arXiv (Cornell University)|Dec 6, 2008

Advanced Algebra and Geometry参考文献 7被引用数 16

ひとこと要約

本稿は、チューブ型のヘルミート対称空間上の調和解析を用いて、多変数メイクスナー＝ポラツェク多項式の幾何的枠組みを確立する。カイリー変換、ラプラス変換、球ーフーリエ変換の合成により、直交性、母関数、行列式公式、および差分方程式が導かれる。これらの多項式は、有界対称領域上のオイラー型方程式に由来する、対称性を保つ差分作用素の固有関数であることが示される。

ABSTRACT

Harmonic analysis on Hermitian symmetric spaces of tube type is a natural framework for introducing multivariate Meixner-Pollaczek polynomials. Their main properties are established in this setting: generating and determinantal formulae, difference equations. As an application we consider the problem of evaluating moments related to a multivariate Barnes type integral involving the Harish-Chandra $c$-function of a symmetric cone.

研究の動機と目的

• 多変数メイクスナー＝ポラツェク多項式にスペクトルパラメータ $\phi$（または $\theta$）を含めた幾何的・解析的枠組みを提供し、1変数の場合を拡張すること。
• 先行研究で未だ十分に解明されていない多変数設定におけるパラメータ $\theta$ の幾何的意味を明確化すること。
• 対称錐およびヘルミート対称空間の枠組みの中で、直交性、母関数、行列式公式、差分方程式といった基本的性質を確立すること。
• 多変数ラゲール関数の球ーフーリエ変換と多変数メイクスナー＝ポラツェク多項式を関連づけ、幾何的直観を強化すること。
• 1変数の三項再帰関係を多変数のピエリ型公式に一般化し、差分作用素が対称性およびハンケル変換とどのように関係するかを明らかにすること。

提案手法

• 3つの積分変換の合成を用いる：カイリー変換（チューブ領域から有界領域への写像）、ラプラス変換（ラゲール関数とメイクスナー＝ポラツェク多項式の関係）、球ーフーリエ変換（対称錐上）。
• 多変数メイクスナー＝ポラツェク多項式 $Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ を、多変数ラゲール関数の球ーフーリエ変換として定義し、パラメータ $\theta$ が幾何的およびスペクトル的対称性を符号化していることを示す。
• 対称錐上での球ーフーリエ変換のゲッツメール型公式を用いて直交性を導出する。
• 球ーフーリエ関数 $\Phi_{\mathbf{k}}(w)$ の積分表現および性質を用いて母関数を確立する。
• 差分方程式は3段階で導出する：有界領域上のオイラー型微分方程式から出発し、逆ラプラス変換を適用し、その後球ーフーリエ変換を施す。
• 対称性 $\theta \mapsto -\theta$ を用いて、一般化されたトリコミ定理および対称錐上でのハンケル変換と関連づける。

実験結果

リサーチクエスチョン

• RQ1 スペクトルパラメータ $\theta$ を持つ多変数メイクスナー＝ポラツェク多項式は、どのように幾何的調和解析の枠組みの中で自然に定義できるか？
• RQ2 多変数の場合におけるパラメータ $\theta$ の幾何的・解析的意味は何か？ また、それらは対称錐の対称性とどのように関係するか？
• RQ3 有界対称領域上での微分方程式から出発して、多変数メイクスナー＝ポラツェク多項式が満たす差分方程式はどのように導出できるか？
• RQ4 メイクスナー＝ポラツェク多項式の古典的三項再帰関係（ピエリの公式）の多変数一般化は何か？
• RQ5 多変数ラゲール関数の球ーフーリエ変換とメイクスナー＝ポラツェク多項式の関係は何か？ これにより直交性および母関数にどのような意味が生じるか？

主な発見

• 多変数メイクスナー＝ポラツェク多項式 $Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ は、$\mathbb{R}^n$ 上の測度 $M_\nu$ に関して直交する。直交性は、球ーフーリエ変換のゲッツメール公式を用いて導出される。
• 球ーフーリエ関数 $\Phi_{\mathbf{k}}(w)$ を含む積分表現を通じて、$Q_{\mathbf{m}}^{(\nu,\theta)}(\mathbf{s})$ の母関数が確立される。
• $d=2$ の場合、多変数ラゲール関数および多変数メイクスナー＝ポラツェク多項式について、行列式公式が導出され、古典的結果が一般化される。
• 多項式は $D_{\nu,\theta}^{(2)} F_{\mathbf{m}}^{(\nu,\theta)}(w) = 2|\mathbf{m}|\cos\theta \cdot F_{\mathbf{m}}^{(\nu,\theta)}(w)$ の形の差分方程式を満たす。これは、カイリー変換、ラプラス変換、球ーフーリエ変換の合成によって得られる。
• 差分作用素は、3つのインターツィンガーの合成によってオイラー作用素の像として得られ、スペクトルパラメータ $\theta$ が幾何的対称性と関連づけられる。
• 多変数ピエリ型公式が証明され、これは1変数の場合に古典的三項再帰関係に還元され、初等対称関数による乗法の下での多項式構造が確認される。