[論文レビュー] Hypergeometric Functions I

I. G. Macdonald|arXiv (Cornell University)|Sep 18, 2013

Iterative Methods for Nonlinear Equations参考文献 5被引用数 10

ひとこと要約

本稿では、ゾーン多項式を用いて対称行列上の超幾何関数を定義し、その積分表現、和公式、および修正ベッセル関数、ヤコビ多項式、エルミート多項式との関係を確立する。主な貢献は、すべてのパラメータに対して正当であると予想される、対称行列変数に付随する一般化されたエルミート多項式のフーリエ変換恒等式の確立である。

ABSTRACT

This is the typewritten version of a handwritten manuscript which was completed by Ian G. Macdonald in 1987 or 1988. The manuscript is a very informal working paper, never intended for formal publication. Nevertheless, copies of the manuscript have circulated widely, giving rise to quite a few citations in the subsequent 25 years. Therefore it seems justified to make the manuscript available for the whole mathematical community. The author kindly gave his permission that a typewritten version be posted on arXiv.

研究の動機と目的

• 実 $n\times n$ 対称行列の空間上で、ゾーン多項式を用いて超幾何関数 ${}_{p}F_{q}$ を定義し、体系的に研究すること。
• これらの行列超幾何関数の積分表現および和公式（ガウス型およびサルスシュッツ型の恒等式を含む）を確立すること。
• 行列超幾何関数と古典的特殊関数（ベッセル関数、ヤコビ多項式、エルミート多項式など）との関係を調査すること。
• 一般化されたエルミート多項式 $H_{\lambda}(x;\alpha)$ のフーリエ変換公式を予想し、スカラーの場合の既知の結果を行列の場合に拡張すること。
• 今後続く第2部「超幾何関数II」に続く、これらの関数の $q$-アナローグの基礎的枠組みを提供すること。

提案手法

• ゾーン多項式 $C_{\lambda}(s)$ を用いた級数展開により ${}_{p}F_{q}(\underline{a};\underline{b};s)$ を定義し、双対基底 $J_{\lambda}^{*}$ を用いて正規化することで、直交性を保証する。
• ゾーン球関数の二重化原理を用い、直交群 $O(n)$ 上の積分をゾーン多項式の積に結びつける。
• ラプラス変換および逆ラプラス変換を用いて積分公式を確立し、ヘルツの帰納的構成を一般化する。
• ゾーン多項式の対称性および直交性を活用して、行列超幾何関数のガウスおよびサルスシュッツ和公式を導出する。
• 生成関数 $\exp(2x,y)\exp(-y^2)$ を含む関数を用い、ガウス重み付き積分変換の固有関数として一般化されたエルミート多項式 $H_{\lambda}(x;\alpha)$ を構成する。
• フーリエ変換恒等式を予想する：$\int e(ix,y)e(-x^2/2)H_{\lambda}(x)\,d\mu(x) = i^{|\lambda|}(2\pi)^{n/2}e(-y^2/2)H_{\lambda}(y)$ は $\alpha=2,1,\frac{1}{2}$ の場合に成立し、線形性によって拡張可能である。

実験結果

リサーチクエスチョン

• RQ1 ゾーン多項式を用いて、対称行列空間上での超幾何関数 ${}_{p}F_{q}$ を一貫して定義する方法は何か？
• RQ2 行列超幾何関数に成立する積分表現および和恒等式（例：ガウス型、サルスシュッツ型）は何か？
• RQ3 行列超幾何関数は、ベッセル関数、ヤコビ多項式、エルミート多項式などの古典的特殊関数とどのように関係しているか？
• RQ4 一般化されたエルミート多項式のフーリエ変換の構造は何か？ また、既知のケース $\alpha=2,1,\frac{1}{2}$ を超えて拡張可能か？
• RQ5 生成関数 $\sum_{\lambda} \alpha^{| one|} H_{\lambda}(x) J_{\lambda}^{*}(y) = \exp(2x,y)\exp(-y^2)$ を用いて、普遍的なフーリエ変換公式を導出可能か？

主な発見

• ゾーン多項式の母関数として ${}_{0}F_{0}(s) = \exp(\operatorname{tr}(s))$ が回復され、指数関数的級数と整合的であることが確認された。
• ジャック対称関数の特殊化および $J_{\lambda}^{*}$ の双対性を用いて、恒等式 ${}_{1}F_{0}(a;s) = |1-s|^{-a}$ が証明され、一般化された二項定理と関連した。
• 積分表現 ${}_{0}F_{1}(\frac{1}{2}r;s) = \int_K \exp(\operatorname{tr}(2xk))\,dk$ は $s=xx^\top$ の場合に成立し、ハリシ・チャンドラの積分公式と関連する。
• 一般化されたエルミート多項式 $H_{\lambda}(x;\alpha)$ は $H_{\lambda}(x;\alpha) = 2^{| one|} F_{\lambda}(x;\alpha)$ として定義され、$\alpha^{| one|} J_{\lambda}^{*}(1_n)$ を含む直交性関係を持つ。
• 予想されるフーリエ変換公式 $\int e(ix,y)e(-x^2/2)H_{\lambda}(x)\,d\mu(x) = i^{| one|}(2\pi)^{n/2}e(-y^2/2)H_{\lambda}(y)$ は $\alpha=2,1,\frac{1}{2}$ の場合に検証され、普遍性を示唆した。
• 正規化定数 $c_n = \pi^{n/2}/2^{k n(n-1)/2}$ は、ガウス積分 $\int e(-x^2/2)\,d\mu(x) = (2\pi)^{n/2}$ と整合することを保証し、フーリエ変換の導出を検証した。