[论文解读] On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences

A. K. Kwaśniewski|ArXiv.org|Dec 20, 2003

Advanced Combinatorial Mathematics参考文献 21被引用 5

一句话总结

本文提出了一套统一的 Sheffer ψ-多项式框架，基于 Ward 的序列微积分所扩展的 Rota-Mullin 有限算子微积分的 ψ-微积分。通过引入 ∂ψ-平移不变性与 ψ-基本序列，作者导出了 Sheffer ψ-多项式的简洁表征，并推广了关键结果如谱定理与拉格朗日反演公式，从而实现了对非二项式类型多项式序列的系统性 umbral 微积分。

ABSTRACT

A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.

研究动机与目标

• 开发一个全面的 ψ-微积分，作为 Rota-Mullin 有限算子微积分的扩展，将其推广至非二项式类型多项式序列。
• 通过 ∂ψ-平移不变性与算子理论方法，提供 Sheffer ψ-多项式的简洁、内在表征。
• 通过将 Viskov、Markowsky 与 Roman 的结果嵌入 Ward 的序列微积分框架中，统一并扩展这些成果。
• 展示将 q-微积分公式（如量子平面）推广至一般 ψ-umbral 设置的局限性，证明不存在通用的 ψ-量子平面。

提出的方法

• 通过 ∂ψ-平移不变算子引入 ψ-微积分，定义 ψ-基本序列与任意可接受序列 ψ 的广义阶乘 nψ!。
• 利用对偶算子对 {Q, x̂Q} 与 {∂ψ, x̂ψ} 在 End(P)（多项式代数上线性算子代数）中表示 GHW 代数结构。
• 通过指数算子 E^y(∂ψ) = exp(y ∂ψ) 的生成函数方法，定义 ψ-平移与 ψ-卷积恒等式。
• 推导关键恒等式，如 ψ-Sheffer 多项式生成函数与 ψ-扩展的拉格朗日反演公式。
• 通过算子 q̂ψ,Q 定义 ψ-类量子括号，其作用为 q̂ψ,Q p_n = ((n+1)ψ - 1)/nψ p_n，推广 q-情形。
• 证明 q-umbral 恒等式（如 Cigler 与 Kirschenhofer 的结果）无法推广至一般 ψ-umbral 设置，原因在于 ψ-量子平面的非结合性。

实验结果

研究问题

• RQ1 在 ψ-微积分框架下，Sheffer ψ-多项式能否通过简洁、内在的算子理论条件表征？
• RQ2 ψ-微积分如何推广经典 umbral 微积分，并将 Rota-Mullin 有限算子微积分扩展至非二项式多项式序列？
• RQ3 将 q-umbral 恒等式（如量子平面交换关系）推广至一般 ψ-umbral 设置的结构性限制是什么？
• RQ4 在 ψ-umbral 设置中，经典结果如谱定理与拉格朗日反演公式在多大程度上可推广？
• RQ5 是否存在一个一致的 ψ-类量子平面括号 [A,B]_q 的 ψ-类 analogue，能够支持完整的 ψ-扩展有限算子微积分？

主要发现

• Sheffer ψ-多项式完全由 ∂ψ-平移不变性与生成函数 s_n(x+y_ψ) = E^y(∂ψ)s_n(x) 表征，其中 y_ψ 表示 ψ-卷积。
• 谱定理与拉格朗日反演公式通过对偶对 {∂ψ, x̂ψ} 与算子 E^y(∂ψ) 自然地推广至 ψ-umbral 设置。
• ψ-扩展的有限算子微积分无法通过通用的 ψ-量子平面公式化，因为 [A,B]_q̂ψ,Q = 0 的括号无法支持一致的算子代数。
• 由 q̂ψ,Q p_n = ((n+1)ψ - 1)/nψ p_n 定义的算子 q̂ψ,Q 推广了 q-导数，并提供了 q-数算子的 ψ-类 analogue。
• Appell 与 Sheffer ψ-多项式满足恒等式 x̂Q ∑_{m=0}^n a_m(Q) x̂Q^m / mψ! = a_n(Q) x̂Q^{n+1} / mψ!，推广了经典 umbral 恒等式。
• 对偶对 {Q, x̂Q} 满足恒等式 (Q x̂Q Q)^n = Q^n x̂Q^n Q^n 与 (x̂Q Q x̂Q)^n = x̂Q^n Q^n x̂Q^n，将已知结果推广至 ψ-设置。