[论文解读] A Generalization of the Binomial Interpolated Operator and its Action on Linear Recurrent Sequences

Stefano Barbero, Umberto Cerruti+1 more|arXiv (Cornell University)|Dec 15, 2012

Advanced Mathematical Theories and Applications参考文献 5被引用 4

一句话总结

本文将二项式插值算子推广，并分析其在线性递推序列上的作用，揭示其如何变换特征多项式的根，并在复合运算下构成一个群。文中识别出该算子下的不动序列，并通过算子作用推导出卡塔兰数、斐波那契数、卢卡斯数与三角数之间的显式公式。

ABSTRACT

In this paper we study the action of a generalization of the Binomial interpolated operator on the set of linear recurrent sequences. We find how the zeros of characteristic polynomials are changed and we prove that a subset of these operators form a group, with respect to a well–defined composition law. Furthermore, we study a vast class of linear recurrent sequences fixed by these operators and many other interesting properties. Finally, we apply all the results to integer sequences, finding many relations and formulas involving Catalan numbers, Fibonacci numbers, Lucas numbers and triangular numbers. 1

研究动机与目标

• 将二项式插值算子推广，并研究其在线性递推序列上的作用。
• 确定特征多项式根在该推广算子作用下的变化方式。
• 证明这些算子的一个子集在定义的复合法则下构成一个群。
• 识别在算子作用下不变的线性递推序列类别。
• 将结果应用于整数序列，揭示卡塔兰数、斐波那契数、卢卡斯数与三角数之间的新关系。

提出的方法

• 引入一个作用于序列的广义二项式插值算子，通过参数化的序列项线性组合实现。
• 利用代数恒等变形与递推结构，分析算子作用下特征多项式根的变换。
• 建立算子之间的复合法则，并证明其满足封闭性、结合律、单位元与可逆性，从而确认群结构。
• 通过求解由算子不变性条件导出的函数方程，识别不动序列。
• 将算子作用于已知整数序列，推导出显式恒等式与递推关系。
• 利用母函数与多项式根分析，推导序列变换的闭式表达。

实验结果

研究问题

• RQ1 广义二项式插值算子如何改变线性递推序列特征多项式根的结构？
• RQ2 在复合运算下，此类算子的集合形成何种代数结构？
• RQ3 哪些线性递推序列在算子作用下保持不变？
• RQ4 能否通过该算子推导出卡塔兰数、斐波那契数与卢卡斯数等著名整数序列之间的显式关系？
• RQ5 如何利用该算子生成整数序列的新恒等式与闭式表达？

主要发现

• 广义算子以可预测的代数方式变换特征多项式的根，通过有理函数变换实现根的改变。
• 广义算子的一个子集在复合运算下构成群，满足所有群公理，且具有明确定义的单位元与逆元。
• 存在一个非平凡的线性递推序列类在算子作用下保持不变，其特征为特定的初值条件与递推参数。
• 通过算子作用，推导出卡塔兰数、斐波那契数、卢卡斯数与三角数之间的显式公式。
• 该算子通过利用其代数结构与不变性性质，能够推导出整数序列间的新恒等式。
• 变换保持线性递推结构，从而可系统地从已知序列生成新序列。