[論文レビュー] Ultraspherical type generating functions for orthogonal polynomials

Nizar Demni|ArXiv.org|Dec 18, 2008

Mathematical functions and polynomials参考文献 14被引用数 18

ひとこと要約

本稿は、すべてのモーメントが有限である確率分布を特徴付ける新しい種類の直交多項式の母関数——超球型母関数——を導入する。微分方程式を解くことにより、これらの測度が特定のベータ分布であることが同定され、自由確率論における自由メイクナー族が再現され、自由メイクナー分布を特徴付ける新たな特徴付け法が提示される。

ABSTRACT

We characterize, up to a conjecture, probability distributions of all order finite moments having ultraspherical type generating functions for orthogonal polynomials.

研究の動機と目的

• 直交多項式の新しいクラスの母関数を用いて、すべてのモーメントが有限である確率分布を特徴付けること。
• これらの母関数と自由メイクナー族の確率分布との関係を確立すること。
• 微分方程式と超球型母関数を用いた、自由メイクナー則の特徴付けに新たな解析的手法を提供すること。
• 導かれる直交性測度が、ヤコビ-シュチェゴパラメータから導かれる特定のベータ分布であることを同定すること。

提案手法

• 本手法は、$\psi_\lambda(z,x) = \sum_{n \geq 0} \frac{(\lambda)_n}{n!} P_n^\lambda(x) z^n = \frac{1}{u_\lambda(z)(f_\lambda(z) - x)^\lambda}$ の形をした母関数の分析に依存する。ここで $u_\lambda$ と $f_\lambda$ は、$z=0$ における特定の極限条件を満たす正則関数である。
• 著者らは、このような母関数 $\psi$ に対して、測度族 $\mathbb{P}_z(dx) = \psi(z,x)\mu(dx)$ が、$z$ に関して高々2次の分散を持つ確率測度を生成すると主張する。
• 母関数の構造から微分方程式を導出し、それを解くことにより、下位の測度が $\lambda$ に依存するパラメータを持つベータ分布として同定される。
• 変数変換とパラメータ変換を用いて $P_n^\lambda(x)$ をシフトされたモニックヤコビ多項式に関連づけることにより、多項式の直交性を検証する。
• ガウス超幾何関数の恒等式とガンマ関数の二重公式を用いて、母関数が既知のヤコビ多項式母関数の形と一致することを示す。
• 得られた測度が要求されるモーメントおよび台の条件を満たし、パラメータの一致によって自由メイクナー族と一貫していることを確認する。

実験結果

リサーチクエスチョン

• RQ1 超球型母関数は、すべてのモーメントが有限である確率分布を一意に特徴付けることができるか？
• RQ2 これらの母関数は自由メイクナー族の分布とどのように関係しているか？
• RQ3 形式 $\psi_\lambda(z,x) = \frac{1}{u_\lambda(z)(f_\lambda(z) - x)^\lambda}$ の母関数の背後にある微分構造は何か？
• RQ4 このような母関数に関連する直交性測度の明示的形は何か？
• RQ5 得られた測度のヤコビ-シュチェゴパラメータは明示的に計算可能であり、既知の直交多項式族と結びつけることができるか？

主な発見

• 母関数 $\psi_\lambda(z,x) = \frac{1}{u_\lambda(z)(f_\lambda(z) - x)^\lambda}$ は、パラメータが $\lambda$ に依存する特定のベータ分布である確率測度を特徴付ける。
• 直交性測度が、パラメータ $\alpha = \lambda - 1/2$, $\beta = \lambda - 3/2$ またはその逆（$\alpha_1^\lambda$ の符号に依存）のシフトされたモニックヤコビ多項式と等価であることが示された。
• 得られた測度は、それぞれ $\left[\frac{1-2\lambda}{\sqrt{2\lambda-1}}, \frac{1+2\lambda}{\sqrt{2\lambda-1}}\right]$ および $\left[-\frac{1+2\lambda}{\sqrt{2\lambda-1}}, \frac{2\lambda-1}{\sqrt{2\lambda-1}}\right]$ の区間上で台を持つ。
• $\lambda$ が正の実数であるとき、この母関数は既知のゲーゲンバウアー（超球型）母関数の形と一致する。
• この手法により自由メイクナー族の分布が再現され、与えられた母関数クラスに関連する測度がまさにそれらであることが確認された。
• 証明により、得られた測度のヤコビ-シュチェゴパラメータ $\alpha_n^\lambda$ と $\omega_n^\lambda$ が $\alpha_0^\lambda = 0$, $\omega_1^\lambda = 1$ を満たすことが示され、標準化された0平均・単位分散と整合的である。