[論文レビュー] A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions

Jun’ichi Shiraishi|ArXiv.org|Feb 11, 2005

Molecular spectroscopy and chirality参考文献 14被引用数 4

ひとこと要約

本稿では、積分作用素 $ I(\alpha) $ とマクドナルド型差分作用素 $ D $ が可換であると仮定し、その固有関数および準固有関数の性質を調査する。特に、パラメータに特定の条件を課した場合、固有関数に隠れたワイル群対称性が現れ、無限積表示が得られるとの予想が提示される。また、変換性と初期条件から定義される新しい多変数超幾何級数 $ F(\alpha) $、いわゆる「準固有関数」が導入され、特定のパラメータ値における無限積表示が予想される。

ABSTRACT

A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots).

研究の動機と目的

• 前回の論文の枠組みを拡張し、積分変換 $ I(\alpha) $ とマクドナルド型差分作用素 $ D $ の可換性を調査すること。
• 終端条件の下での $ I(\alpha) $ の固有関数の構造を調べ、隠れたワイル群対称性を明らかにすること。
• 特に $ s_i = t^{i-1} $ の場合に、固有関数に対して無限積公式が得られることを示すこと。
• 変換性 $ I(\alpha q^{-1}t) $ と初期条件 $ \alpha = t^{1/2} $ によって定義される、新しい多変数超幾何級数 $ F(\alpha) $、いわゆる「準固有関数」を導入し、その性質を特徴づけること。
• 特定の値 $ \alpha = -t^{1/2}, t, \pm q^{1/2}t^{1/2}, \pm q^\ell t^{1/2} $（$ \ell = 1,2,3,\dots $）における $ F(\alpha) $ に対して、無限積型の表現が成り立つと予想すること。

提案手法

• 形式的べき級数 $ \mathcal{F}_n $ 上に作用するマクドナルド型差分作用素 $ D $ を導入し、$ I(\alpha) $ と可換であると仮定する。
• 超幾何級数の終端条件を用いて $ I(\alpha) $ の固有関数を定義し、その対称性として隠れたワイル群作用が現れることを明らかにする。
• 可換性を仮定したもとで、$ (s_1,\dots,s_n) = (1,t,\dots,t^{n-1}) $ の場合に固有関数の無限積表示を構成する。
• 変換性 $ I(\alpha q^{-1}t) \cdot F(\alpha) = F(\alpha q^{-1}t) $ と初期条件 $ \alpha = t^{1/2} $ を用いて、準固有関数 $ F(\alpha) $ を定義する。
• 明示的な超幾何級数展開とパラメータの特殊化を用いて、特殊点における $ F(\alpha) $ の候補となる表現を導出する。
• 既知のマクドナルド多項式および上昇作用素の結果を活用し、固有関数と対称関数論との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 マクドナルド型差分作用素 $ D $ は積分変換 $ I(\alpha) $ と可換であるか。もしそうならば、どのような条件下で成立するか？
• RQ2 終端条件の下で $ I(\alpha) $ の固有関数に現れる隠れた対称性は何か。ワイル群とどのように関係しているか？
• RQ3 $ s_i = t^{i-1} $ の特別なパラメータ選択において、$ I(\alpha) $ の固有関数が無限積として表現可能であるか。その積の構造はどのようなものか？
• RQ4 準固有関数 $ F(\alpha) $ の性質は何か。$ I(\alpha q^{-1}t) $ の下で共変性を満たすか。初期条件は $ \alpha = t^{1/2} $ で与えられる。
• RQ5 $ \alpha = -t^{1/2}, t, \pm q^{1/2}t^{1/2}, \pm q^\ell t^{1/2} $（$ \ell = 1,2,3,\dots $）における $ F(\alpha) $ に対して、無限積型の表現が成り立つと予想されるが、その形は何か？

主な発見

• マクドナルド型差分作用素 $ D $ が積分変換 $ I(\alpha) $ と可換であると予想され、この系に深いつながりを持つ代数的構造が存在すると示唆される。
• 終端条件の下での $ I(\alpha) $ の固有関数は、隠れたワイル群対称性を示し、その対称性の背後には非自明な代数的起源があることが示唆される。
• パラメータ $ s_i = t^{i-1} $ の場合、$ I(\alpha) $ の固有関数は無限積に因数分解可能であると予想され、閉じた表現が得られると期待される。
• 準固有関数 $ F(\alpha) $ は、変換性 $ I(\alpha q^{-1}t) \cdot F(\alpha) = F(\alpha q^{-1}t) $ と初期条件 $ \alpha = t^{1/2} $ によって定義され、固有関数の概念を一般化するものである。
• $ \alpha = -t^{1/2}, t, \pm q^{1/2}t^{1/2}, \pm q^\ell t^{1/2} $ における $ F(\alpha) $ に対して、無限積型の表現が予想され、豊かな解析的構造が示唆される。
• パラメータ $ s_i $ を $ s_i = t^{n-i} q^{\lambda_i} $ と特殊化した場合、$ I(\alpha) $ の固有関数はマクドナルド対称関数 $ Q_\lambda(q,t) $ と一致することが示され、この構成が対称関数論と結びつくことが明らかになった。