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

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

Approximation Theory and Sequence Spaces被引用 8

一句话总结

本文通过 umbral 微积分方法，引入了第二类高阶 Cauchy 多项式与第二类 poly-Cauchy 多项式的混合型多项式，记为 $\tilde{A}_n^{(r,k)}(x)$，并推导出涉及 Stirling 数、多对数阶乘函数与 Sheffer 序列的新恒等式与变换公式。通过生成函数与运算微积分，建立了该混合型多项式与 Bernoulli、Frobenius-Euler 及 Cauchy 型多项式之间的显式关系。

ABSTRACT

In this paper, we investigate some properties of higher-order Cauchy of the second kind and poly-Cauchy of the second mixed type polynomials with umbral calculus viewpoint. From our investigation, we derive many interesting identities of higher-order Cauchy of the second kind and poly-Cauchy of the second kind mixed type polynomials.

研究动机与目标

• 通过 umbral 微积分方法定义并研究第二类高阶 Cauchy 与第二类 poly-Cauchy 混合型多项式。
• 推导涉及这些混合型多项式的新型恒等式与变换公式。
• 建立混合型多项式与经典特殊多项式（如 Bernoulli 与 Frobenius-Euler 多项式）之间的显式关系。
• 通过生成函数与 Sheffer 序列探索这些多项式的结构性质。

提出的方法

• 本文采用 umbral 微积分方法，将 $ t $ 的形式幂级数视为多项式环 $ \mathbb{C}[x] $ 上的线性泛函，以分析多项式序列。
• 通过生成函数 $ \left(\frac{t}{(1+t)\log(1+t)}\right)^r \mathrm{Li}_k(-\log(1+t)) (1+t)^x $ 定义混合型多项式 $ \tilde{A}_n^{(r,k)}(x) $，其中 $ \mathrm{Li}_k $ 为多对数阶乘函数。
• 利用 Sheffer 序列将 $ \tilde{A}_n^{(r,k)}(x) $ 表征为 $ \sim\left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{\mathrm{Li}_k(-t)}, e^t - 1\right) $，从而实现变换恒等式的推导。
• 该方法涉及运算微积分：使用 $ \langle f(t) | x^n \rangle = a_n $ 与复合逆 $ \bar{f}(t) $ 推导系数表达式。
• 通过第一类 Stirling 数 $ S_1(n,l) $ 与涉及 $ \log(1+t) $ 及 $ (1+t)^x $ 的生成函数展开，推导出关键恒等式。
• 通过将 $ \tilde{A}_n^{(r,k)}(x) $ 表示为其他 Sheffer 序列（如 Bernoulli $ B_n^{(s)}(x) $ 与 Frobenius-Euler $ H_n^{(s)}(x|\lambda) $）的线性组合，并利用内积进行系数匹配，建立变换公式。

实验结果

研究问题

• RQ1 如何将第二类高阶 Cauchy 与第二类 poly-Cauchy 多项式统一为一个多项式族？
• RQ2 在 umbral 微积分框架下，这些混合型多项式会涌现出哪些恒等式与结构性质？
• RQ3 这些混合型多项式与经典序列（如 Bernoulli 与 Frobenius-Euler 多项式）之间存在何种关系？
• RQ4 在 $ \tilde{A}_n^{(r,k)}(x) $ 与其他 Sheffer 序列之间存在哪些变换公式？
• RQ5 能否为 $ \tilde{A}_n^{(r,k)}(x) $ 在单项式或其他多项式基下的展开式推导出显式系数表达式？

主要发现

• 混合型多项式 $ \tilde{A}_n^{(r,k)}(x) $ 被完整表征为 Sheffer 序列 $ \sim\left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{\mathrm{Li}_k(-t)}, e^t - 1\right) $，从而实现系统化分析。
• 一个变换公式将 $ \tilde{A}_n^{(r,k)}(x) $ 表示为 Bernoulli 多项式的线性组合：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ \sum_{l=0}^{n-m} \binom{n}{l} S_1(n-l,m) \tilde{A}_{l}^{(r+s,k)}(s) \right\} B_m^{(s)}(x) $。
• 另一个变换公式将 $ \tilde{A}_n^{(r,k)}(x) $ 表示为 Frobenius-Euler 多项式的线性组合：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ \sum_{l=0}^{n-m} \sum_{a=0}^{l} \frac{\binom{n}{l} \binom{s}{a} \binom{l}{a} a!}{(1-\lambda)^a} S_1(n-l,m) \tilde{A}_{l-a}^{(r,k)} \right\} H_m^{(s)}(x|\lambda) $。
• 这些多项式满足二项式型展开：$ \tilde{A}_n^{(r,k)}(x) = \sum_{m=0}^n \binom{n}{m} \tilde{A}_{n-m}^{(r,k)} (x)_m $，其中 $ (x)_m $ 为下降阶乘。
• 展开式中的系数涉及第一类 Stirling 数，并通过 umbral 微积分中的内积运算推导得出。
• 结果通过生成函数与运算恒等式推导，显式依赖于多对数阶乘函数 $ \mathrm{Li}_k $ 与控制 Cauchy 型多项式阶数的参数 $ r $。