[论文解读] Oresme Polynomials and Their Derivatives

Gamaliel Cerda-Morales|arXiv (Cornell University)|Apr 2, 2019

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

一句话总结

本文引入了Oresme多项式作为$k$-Oresme数的有理函数扩展，利用矩阵方法和递推关系，推导出其导数的闭式Binet型公式和卷积恒等式。主要贡献是一个通用的双线性索引约化公式以及涉及卷积和的新导数恒等式。

ABSTRACT

We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index-reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the $k$-Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.

研究动机与目标

• 通过将整数参数$k$替换为实变量$x$，将$k$-Oresme数广义化为一类有理函数序列，称为Oresme多项式。
• 建立Oresme多项式的矩阵表示，并推导基于行列式的恒等式，包括广义的索引约化公式。
• 研究Oresme多项式的导数，并证明涉及多项式乘积和的卷积型恒等式。
• 通过数学归纳法和生成函数技术，将已知的$k$-Oresme数恒等式推广到多项式情形。

提出的方法

• 通过二阶线性递推关系定义Oresme多项式$O_n(x)$：$O_{n+1}(x) = O_n(x) - \frac{1}{x^2}O_{n-1}(x)$，初始条件为$O_0(x) = 0$，$O_1(x) = \frac{1}{x}$。
• 利用特征方程$x^2 - x + \frac{1}{x^2} = 0$的根，推导出$O_n(x)$的Binet公式，得到$O_n(x) = \frac{1}{\sqrt{x^2 - 4}}\left(\lambda_1^n(x) - \lambda_2^n(x)\right)$。
• 构造一个$2 \times 2$矩阵$M_{or}(x) = \begin{bmatrix} 1 & -\frac{1}{x^2} \\ 1 & 0 \end{bmatrix}$，其幂次可生成$O_n(x)$，并导出行列式恒等式。
• 使用数学归纳法证明导数恒等式，包括$O_n'(x) + \frac{n}{x}O_n(x) = \sum_{j=1}^{n-1} O_j(x)O_{n-j}(x)$。
• 通过矩阵幂次和卷积恒等式建立双线性索引约化公式，适用于$n \geq 2$且$x \neq 0, \pm 2$。
• 通过归纳法证明一个新颖恒等式，关联导数与多项式取值：$(n-1)O_n(x) - 2nO_{n+1}(x) = xO_{n+1}'(x) - \frac{1}{x}O_{n-1}'(x)$。

实验结果

研究问题

• RQ1 如何将$k$-Oresme数广义化为实变量$x$的有理函数序列？
• RQ2 何种矩阵表示可实现Oresme多项式闭式恒等式的推导？
• RQ3 Oresme多项式导数的卷积恒等式如何呈现？
• RQ4 当$x = 3$时，Oresme多项式的Binet型公式与Fibonacci数有何关联？
• RQ5 当$n \to \infty$时，比值$\frac{O_{n+1}(x)}{O_n(x)}$的渐近行为如何？

主要发现

• 当$x^2 > 4$时，Oresme多项式$O_n(x)$满足Binet公式$O_n(x) = \frac{1}{\sqrt{x^2 - 4}}\left(\lambda_1^n(x) - \lambda_2^n(x)\right)$，其中$\lambda_{1,2}(x) = \frac{x \pm \sqrt{x^2 - 4}}{2x}$。
• 矩阵$M_{or}^n(x)$导出恒等式$O_{n+1}(x)O_{n-1}(x) - O_n^2(x) = -\frac{1}{x^{2n}}$，推广了$k$-Oresme数的Cassini型恒等式。
• 当$x > 2$时，极限$\lim_{n \to \infty} \frac{O_{n+1}(x)}{O_n(x)} = \lambda_1(x)$，即特征方程的主导根。
• 导数恒等式$O_n'(x) + \frac{n}{x}O_n(x) = \sum_{j=1}^{n-1} O_j(x)O_{n-j}(x)$对所有$n \geq 2$成立。
• 推导出双线性索引约化公式：$\sum_{j=1}^{n-1} O_j(x)O_{n-j}(x) = \frac{x^2((n-1)x^2 - 2n)O_n(x) - 2nO_{n-2}(x)}{x^3(x^2 - 4)}$，适用于$n \geq 2$，$x \neq 0, \pm 2$。
• 通过归纳法证明恒等式$(n-1)O_n(x) - 2nO_{n+1}(x) = xO_{n+1}'(x) - \frac{1}{x}O_{n-1}'(x)$，适用于$n \geq 1$。