[論文レビュー] Hahn, Jacobi, and Krawtchouck polynomials of several variables

Yuan Xu|arXiv (Cornell University)|Sep 5, 2013

Mathematical functions and polynomials参考文献 6被引用数 4

ひとこと要約

本稿では、単体上における多変数ジャコビ多項式とハーン・クラフトシュウ多項式の間の生成関数の関係を確立し、極限過程を用いて再生核の閉形式表現を導出する。主な貢献は、ハーン多項式およびクラフトシュウ多項式の両方のポアソン核の非負性を示したことである。これは、1変数の場合ですら、以前は未知の結果であった。

ABSTRACT

Hahn polynomials of several variables can be defined by using the Jacobi polynomials on the simplex as a generating function. Starting from this connection, a number of properties for these two families of orthogonal polynomials are derived. It is shown that the Hahn polynomials appear as connecting coefficients between several families of orthogonal polynomials on the simplex. Closed-form formulas are derived for the reproducing kernels of the Hahn polynomials and Krawtchouck polynomials. As an application, the Poisson kernels for the Hahn polynomials and the Krawtchouck polynomials are shown to be nonnegative.

研究の動機と目的

• 単体上における多変数ジャコビ多項式と複数変数ハーン多項式との間の生成関数的関係を確立すること。
• この関係を用いて、ハーン多項式およびクラフトシュウ多項式の再生核の閉形式式を導出すること。
• すべての $ x, y \in \mathbb{N}_0^d $ に対して $ |x|, |y| \leq N $ となるようなハーンおよびクラフトシュウ多項式のポアソン核が非負であることを証明すること。
• 既知の直交多項式の関係に関する結果を拡張し、それらを用いて $ L^2(T^d, W_\kappa) $ におけるタイトな多項式フレームを構成すること。

提案手法

• 単体上におけるジャコビ多項式の生成関数を用いて、多変数ハーン多項式を定義し、特徴づける。
• 生成関数の恒等式を拡張することで、ジャコビ多項式の閉形式式を応用し、ハーン多項式の再生核を導出する。
• 極限過程 $ t \to \infty $ において $ \kappa = t(\rho, 1 - |\rho|) $ を適用することで、ハーン多項式からクラフトシュウ多項式の再生核を導出する。
• クラフトシュウ多項式のポアソン核を、超幾何関数および二項型係数を含む有限和として表現する。
• 得られた核の表現の非負性を用いて、$ 0 \leq r \leq 1 $ に対して $ \Phi_r(\mathsf{K}_{\rho,N}; x, y) \geq 0 $ を証明する。
• 既知の古典的クラフトシュウ多項式の生成関数を回復することで、1変数の場合の結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、単体上におけるジャコビ多項式から多変数ハーン多項式を体系的に生成できるか？
• RQ2 多変数ハーン多項式の再生核の閉形式表現は何か？
• RQ3 複数変数におけるクラフトシュウ多項式は、ハーン多項式の極限としてどのようにして現れるか？
• RQ4 すべての有効な $ x, y $ および $ r \in [0,1] $ に対して、多変数ハーンおよびクラフトシュウ多項式のポアソン核は非負か？
• RQ5 クラフトシュウ多項式の再生核は、非負性の証明が可能な閉形式で表現できるか？

主な発見

• ハーン多項式の再生核は、単体上におけるジャコビ多項式との生成関数的関係を用いて閉形式で導出された。
• クラフトシュウ多項式の再生核は、ハーン核の極限として得られ、$ \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) = \sum_{k=0}^n \frac{(-1)^k}{(-N)_k} \mathcal{F}_k(x,y;\rho) r^k (1-r)^{N-k} $ という式が得られた。
• クラフトシュウ多項式のポアソン核は、すべての $ x, y \in \mathbb{Z}_N^{d+1} $ および $ 0 \leq r \leq 1 $ に対して非負であることが証明された。これは1変数の場合にも成立する。
• $ y = 0 $ の場合、ポアソン核は $ \Phi_r(\mathsf{K}_{\rho,N};x,0) = (1-r)^{|x|} \left(1 + \frac{r|\rho|}{1-|\rho|}\right)^{N-|x|} $ に簡略化され、明示的に非負である。
• 極限関係 $ \lim_{t \to \infty} \mathsf{P}_n(\mathsf{H}_{t\boldsymbol{\rho}},N;x,y) = \mathsf{P}_n(\mathsf{K}_{\rho,N};x,y) $ により、クラフトシュウ核がハーン核の極限として一貫していることが確認された。
• 恒等式 $ \Phi_1(\mathsf{K}_{\rho,N};x,y) = \sum_{n=0}^N \mathsf{P}_n(\mathsf{H}_{\kappa},N;x,y) $ が成り立ち、生成関数の直交展開と再生核の和を結びつける。