[论文解读] On some properties on bivariate Fibonacci and Lucas polynomials

Hacène Belbachir, Farid Bencherif|ArXiv.org|Oct 8, 2007

Advanced Mathematical Theories and Applications参考文献 7被引用 10

一句话总结

本文将切比雪夫多项式在整数坐标下的性质推广至二元斐波那契与卢卡斯多项式，证明了这些多项式特定族在多项式空间中构成基。文中建立了 $ U_{2n+1}, V_{2n}, U_{2n}, $ 和 $ V_{2n-1} $ 在这些基上的整数系数分解的递推关系，将正交多项式已知结果推广至二阶线性递推序列。

ABSTRACT

In this paper we generalize to bivariate polynomials of Fibonacci and Lucas, properties obtained for Chebyshev polynomials. We prove that the coordinates of the bivariate polynomials over appropriate basis are families of integers satisfying remarkable recurrence relations.

研究动机与目标

• 将切比雪夫、雅克布斯泰尔与莫根-沃伊斯多项式中观察到的整数坐标现象推广至二元斐波那契与卢卡斯多项式。
• 证明二元斐波那契与卢卡斯多项式特定族构成多项式子空间 $ E_{2n} $ 和 $ E_{2n-1} $ 的基。
• 推导高阶斐波那契与卢卡斯多项式在这些基上分解的整数系数的显式递推关系。
• 通过多项式基表示统一并推广二阶线性递推序列的结构性质。

提出的方法

• 通过含参数 $ x $ 和 $ y $ 的二阶线性递推关系定义二元斐波那契 $ U_n(x,y) $ 与卢卡斯 $ V_n(x,y) $。
• 引入由单项式 $ x^{n-k}U_{n+k} $ 和 $ x^{n-k}V_{n+k} $ 构成的特殊基 $ eta_U, eta_V, eta_U^*, eta_V^* $，其张成 $ E_{2n} $ 与 $ E_{2n-1} $。
• 利用系数族 $ a_{n,k}, b_{n,k}, c_{n,k}, d_{n,k}, e_{n,k} $，建立 $ U_{2n+1}, V_{2n}, U_{2n}, V_{2n-1} $ 在这些基上的分解公式。
• 通过算子代数方法，特别是移位算子 $ E $ 与差分算子 $ x - E $，推导系数族的递推关系。
• 利用一个关键引理，涉及算子 $ (x - E)^n $，证明恒等式如 $ (x - E)^n U_m = (-y)^n U_{m-n} $，从而实现系数的推导。
• 通过算子演算与数学归纳法验证所有分解恒等式，将其与已知恒等式如 $ V_n = 2U_{n+1} - xU_n $ 联系起来。

实验结果

研究问题

• RQ1 切比雪夫多项式的整数坐标性质能否推广至二元斐波那契与卢卡斯多项式？
• RQ2 族 $ eta_U, eta_V, eta_U^*, eta_V^* $ 是否构成多项式空间 $ E_{2n} $ 与 $ E_{2n-1} $ 的基？
• RQ3 哪些递推关系控制着 $ U_{2n+1}, V_{2n}, U_{2n}, V_{2n-1} $ 在这些基上分解的整数系数？
• RQ4 涉及 $ (x - E)^n $ 的算子理论恒等式如何促进这些系数关系的推导？
• RQ5 二元斐波那契与卢卡斯多项式的结构性质能否在统一框架下与其它线性递推序列关联？

主要发现

• 族 $ eta_{n,U} = (x^{n-k}U_{n+k})_{0 \to n} $ 与 $ eta_{n,V} = (x^{n-k}V_{n+k})_{0 \to n} $ 构成 $ E_{2n} $ 的基，而 $ eta_{n,U}^* = (x^{n-k}U_{n+k})_{0 \to n-1} $、$ eta_{n,V}^* = (x^{n-k}V_{n+k-1})_{0 \to n-1} $ 构成 $ E_{2n-1} $ 的基。
• 在分解 $ 2U_{2n+1} = \bigsum_{k=0}^n a_{n,k} x^{n-k} V_{n+k} $ 中，系数 $ a_{n,k} $ 满足递推关系 $ a_{n,k} = a_{n-1,k} - a_{n-1,k-1} + 2\binom{n}{k} $，初始条件为 $ a_{n,0} = 1 $，$ a_{0,k} = \binom{0}{k} $。
• 在分解 $ U_{2n} = \bigsum_{k=0}^{n-1} b_{n,k} x^{n-k} U_{n+k} $ 中，系数 $ b_{n,k} = (-1)^{n-k+1} \binom{n}{k} $，满足 $ b_{n,k} = -b_{n-1,k} + b_{n-1,k-1} $。
• 分解 $ V_{2n-1} = \bigsum_{k=0}^{n-1} c_{n,k} x^{n-k} U_{n+k} $ 由 $ c_{n,k} = \frac{1}{2}(a_{n-1,k} + d_{n,k}) + \binom{n}{k} $ 控制，其中 $ d_{n,k} $ 通过递推定义。
• 利用算子恒等式证明了恒等式 $ 2U_{2n+1} = (x - E)^n V_n + 2\bigsum_{k=1}^n E^k (x - E)^{n-k} V_n $，从而得出 $ 2U_{2n+1} $ 是 $ V_{n+k} $ 的线性组合。
• 分解 $ 2U_{2n} = \frac{1}{2}x A_{n-1} V_{n-1} + \frac{1}{2}D_n V_{n-1} + V_{2n-1} $ 可简化为 $ xU_{2n-1} + V_{2n-1} = 2U_{2n} $，经由恒等式 $ V_m = 2U_{m+1} - xU_m $ 验证。