[論文レビュー] A characterization theorem and its applications for d-orthogonality of Sheffer polynomial sets

Serhan Varma|arXiv (Cornell University)|Mar 23, 2016

Mathematical functions and polynomials参考文献 16被引用数 3

ひとこと要約

本稿では、d-正規性を満たすシェッファー多項式集合の特徴づけ定理を提示し、その母関数を導出し、このようなd-正規性を示すシェッファー多項式が存在するための条件を特定する。主たる貢献は、一般化された母関数形（定理2.2）を提供することであり、これにより新たなd-正規多項式集合の発見と、それらのd次元関数的ベクトルの明示的構成が可能となる。

ABSTRACT

The purpose of this paper is to find the characterization of the Sheffer polynomial sets satisfying the d-orthogonality conditions. The generating function form of these polynomial sets is given in Theorem 2.2. As applications of the Theorem 2.2, we revisit the d-orthogonal polynomial sets exist in the literature and discover new d-orthogonal polynomial sets. Moreover, we obtain the d-dimensional functional vector ensuring the d-orthogonality of these new polynomial sets.

研究の動機と目的

• 母関数を用いて、d-正規性条件を満たすシェッファー多項式集合を特徴づけること。
• ヘルミート、ラゲール、マイクサーなど古典的正規多項式の一般化を含む、d-正規多項式に関する既知の結果をシェッファークラスに拡張すること。
• 特徴づけ定理を適用して、新たなd-正規多項式集合を導出すること。
• 新たに同定された多項式集合に対して、d-正規性を保証するd次元関数的ベクトルを明示的に構成すること。
• d ≥ 2 に対して、シェッファー枠組み内でのd-正規性に関する既存の結果を統一的かつ一般化すること。

提案手法

• 定理2.2に基づき、A(t)とH(t)の関数的関係を用いて、d-正規シェッファー多項式集合の母関数形を導出する。
• d-正規性条件を適用：m > nd + k のとき ⟨u_k, P_n P_m⟩ = 0 であり、m = nd + k で非消滅内積をとる。
• 次数d+1の再帰関係を用いる：xP_n(x) = ∑_{k=0}^{d+1} α_{k,d}(n) P_{n−d+k}(x)，係数に正則性条件を課す。
• H(t)の合成逆関数と演算子σ = H*(Δ)を含む、母関数技法と関数的計算を用いる。
• 補題2.5を適用して低下作用素を導出し、線形汎関数⟨u_r, f⟩を有限差分とポッヒハマー記号で表現する。
• 二項係数およびハイパージオメトリック型級数を含む公式 ⟨u_r, f⟩ = 1/r! [σ^r / A(σ)] f(x)|_{x=0} を用いて、d次元関数的ベクトルを構成する。

実験結果

リサーチクエスチョン

• RQ1 A(t)とH(t)にどのような条件が課わられると、シェッファー多項式集合がd-正規性を満たすか？
• RQ2 d=1およびd=2を超えて、d-正規シェッファー多項式の特徴づけを一般化できるか？
• RQ3 提案された母関数形から、どのような新たなd-正規多項式集合が導出可能か？
• RQ4 このようなd-正規シェッファー集合に対して、d次元関数的ベクトルをどのように明示的に構成できるか？
• RQ5 既知のd-正規多項式（例：マイクサー型）は、この一般化されたシェッファー枠組みに適合するか？

主な発見

• 定理2.2は、d-正規シェッファー多項式集合の完全な母関数的特徴づけを提供し、d=1における古典的結果を一般化する。
• 新たなd-正規多項式集合が導出され、d ≥ 2 に対しては、母関数 e^{π_{d-2}(t)}(1−t)^{-β}(1 + (c−1)/(2c) · (t²−2t)/(1−t)²)^x を持つマイクサー型族が含まれる。
• d ≥ 2 の場合、d > 1 であるため正規性を満たさないが、d次元関数的ベクトルに関してd-正規性を満たす。
• d次元関数的ベクトルは、⟨u_r, f⟩ = 1/r! ∑_{i=0}^r ∑_{j=0}^∞ [∑_{k=0}^∞ (β + i/d)_{k+j} (−1)^k (dc/(1−c))^k / k! ] (dc/(1−c))^j f(j)/j! として明示的に構成される。
• 関数的ベクトルの式はポッヒハマー記号と有限差分を含み、二項およびハイパージオメトリック型級数による閉形式表現を持つ。
• d=1の場合、結果は古典的マイクサー多項式に還元され、既知の正規ケースと整合性が確認される。