[论文解读] 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-正交 Sheffer 多项式集的特征定理，推导了其生成函数，并确定了此类 d-正交 Sheffer 多项式存在的条件。主要贡献在于提出了一般生成函数形式（定理 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-正交性条件的 Sheffer 多项式集。
• 将已知的 d-正交多项式结果扩展至 Sheffer 类，推广经典正交多项式（如 Hermite、Laguerre 和 Meixner）。
• 通过特征定理推导出新的 d-正交多项式集。
• 显式构造确保新识别出的多项式集 d-正交性的 d 维函数向量。
• 在 Sheffer 框架内统一并推广现有 d-正交性结果，特别是针对 d ≥ 2 的情形。

提出的方法

• 基于 A(t) 与 H(t) 之间的函数关系，通过定理 2.2 推导出 d-正交 Sheffer 多项式集的生成函数形式。
• 应用 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 推导下移算子，并通过有限差分和 Pochhammer 符号表达线性泛函 ⟨u_r, f⟩。
• 利用公式 ⟨u_r, f⟩ = 1/r! [σ^r / A(σ)] f(x)|_{x=0} 构造 d 维函数向量，其中涉及二项式与超几何型级数。

实验结果

研究问题

• RQ1 A(t) 与 H(t) 需满足何种条件，才能使 Sheffer 多项式集为 d-正交？
• RQ2 d-正交 Sheffer 多项式的表征能否推广至 d=1 和 d=2 之外的情形？
• RQ3 从所提出的生成函数形式中可推导出哪些新的 d-正交多项式集？
• RQ4 如何为这些 d-正交 Sheffer 集显式构造其 d 维函数向量？
• RQ5 已知的 d-正交多项式（如 Meixner 型）是否可纳入此广义 Sheffer 框架？

主要发现

• 定理 2.2 为 d-正交 Sheffer 多项式集提供了完整的生成函数表征，推广了 d=1 时的经典结果。
• 推导出新的 d-正交多项式集，包括 d ≥ 2 时的 Meixner 型族，其生成函数为 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!。
• 函数向量表达式涉及 Pochhammer 符号与有限差分，可通过二项式与超几何型级数获得闭式表示。
• 当 d=1 时，结果退化为经典 Meixner 多项式，证实与已知正交情形的一致性。