[论文解读] Higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials

Dae San Kim, Taekyun Kim|arXiv (Cornell University)|Aug 9, 2013

Advanced Mathematical Identities参考文献 12被引用 24

一句话总结

本文利用上下文演算引入了第一类高阶柯西多项式与第一类多柯西多项式的混合型多项式。通过生成函数与线性泛函技术，推导出涉及斯特林数、伯努利多项式、弗罗贝尼乌斯-欧拉多项式及下降阶乘的显式恒等式与变换公式，建立了新的关系。

ABSTRACT

In this paper, we study higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials with viewpoint of umbral calculus and give some interesting identities and formulae of those polynomials which are derived from umbral calculus.

研究动机与目标

• 通过上下文演算定义并研究第一类高阶柯西与第一类多柯西混合型多项式。
• 推导这些混合型多项式的显式生成函数与运算恒等式。
• 建立将混合多项式表示为伯努利多项式、弗罗贝尼乌斯-欧拉多项式及下降阶乘多项式之组合的变换公式。
• 利用 Sheffer 序列与线性泛函探讨其结构性质与递推关系。
• 通过引入混合阶框架，推广已知的柯西数与多柯西数结果。

提出的方法

• 利用上下文演算，通过生成函数 $ \left(\frac{t}{\log(1+t)}\right)^r \frac{Lif_k(\log(1+t))}{(1+t)^x} $ 定义混合型多项式 $ A_n^{(r,k)}(x) $。
• 识别 $ A_n^{(r,k)}(x) $ 为配对 $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $ 的 Sheffer 序列，从而可应用 Sheffer 演算工具。
• 应用传递公式与线性泛函演算，推导涉及第一类斯特林数的变换恒等式。
• 通过形式幂级数上的内积运算，特别是 $ \langle f(t) | x^n \rangle $ 与 $ \langle t^k | p(x) \rangle $，推导出显式系数 $ C_{n,m} $。
• 利用 $ Lif_k(t) $、$ \log(1+t) $ 与 $ (1+t)^{-s} $ 的生成函数运算，将混合多项式表示为伯努利与弗罗贝尼乌斯-欧拉多项式基下的形式。
• 应用逆关系技巧，将 $ A_n^{(r,k)}(x) $ 表示为下降阶乘多项式 $ x^{(m)} $ 的线性组合，从而获得闭式变换表达。

实验结果

研究问题

• RQ1 如何将第一类高阶柯西与第一类多柯西多项式统一为一个多项式族？
• RQ2 这些混合型多项式满足哪些结构恒等式与递推关系？
• RQ3 这些多项式如何用经典多项式基（如伯努利与弗罗贝尼乌斯-欧拉多项式）表示？
• RQ4 第一类斯特林数在这些混合多项式的变换公式中起什么作用？
• RQ5 能否为 $ A_n^{(r,k)}(x) $ 推导出关于下降阶乘多项式的闭式表达？

主要发现

• 证明了混合型多项式 $ A_n^{(r,k)}(x) $ 是配对 $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $ 的 Sheffer 序列，从而可通过上下文演算进行系统分析。
• 导出一个变换公式，将 $ A_n^{(r,k)}(x) $ 表示为伯努利多项式的线性组合：$ A_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \binom{n}{l} S_1(n-l,m) A_l^{(r+s,k)}(s) \right\} B_m^{(s)}(x) $。
• 类似地，推导出弗罗贝尼乌斯-欧拉多项式的变换公式：$ A_n^{(r,k)}(x) = \frac{1}{(1-\lambda)^s} \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \sum_{a=0}^s (-\lambda)^a \binom{n}{l} \binom{s}{a} S_1(n-l,m) A_l^{(r,k)}(s-a) \right\} H_m^{(s)}(x|\lambda) $。
• 获得直接展开为下降阶乘多项式的形式：$ A_n^{(r,k)}(x) = \sum_{m=0}^n (-1)^m \binom{n}{m} A_{n-m}^{(r,k)} x^{(m)} $，其中 $ x^{(m)} = x(x+1)\cdots(x+m-1) $。
• 利用传递公式推导出 $ A_n^{(r,k)}(x) $ 的导数：$ \frac{d}{dx} A_n^{(r,k)}(x) = (-1)^{n+1} n! \sum_{l=0}^{n-1} \frac{(-1)^{l+1}}{(n-l)l!} A_l^{(r,k)}(x) $。
• 变换公式中的系数通过斯特林数 $ S_1(n-l,m) $ 显式计算，将混合多项式与组合数论联系起来。