2025-11-17T17:46:13.479757

Zeros and Orthogonality of generalized Fibonacci polynomials

Coletti, Flórez, Higuita et al.
This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal. In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes. We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas. In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.
academic

Zeros and Orthogonality of Generalized Fibonacci Polynomials

基本信息

  • 论文ID: 2510.00074
  • 标题: Zeros and Orthogonality of Generalized Fibonacci Polynomials
  • 作者: Cristian F. Coletti, Rigoberto Flórez, Robinson A. Higuita, Sandra Z. Yepes
  • 分类: math.CO (组合数学)
  • 发表时间: 2025年10月11日 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2510.00074

摘要

本文分析了具有类似Fibonacci和Lucas数的Binet公式的二阶多项式序列的正交性概念，这类序列被称为广义Fibonacci多项式(GFP)。论文给出了寻找GFP根的技术，并作为该结果的推论，提供了Favard定理特殊情况的替代证明。一般情况下的Favard定理保证存在一个测度来确定二阶多项式序列是否正交，但该定理没有提供显式的测度。本文的特殊情况既给出了显式测度，又给出了二阶递推关系与正交性之间的关系，从而判断GFP多项式是否正交。这使得能够分类哪些熟悉的GFP是正交的，哪些不是。一些熟悉的正交多项式包括Fermat、Fermat-Lucas、两类Chebyshev多项式、两类Morgan-Voyce多项式以及Vieta和Vieta-Lucas多项式。然而，论文证明了Fibonacci、Lucas、Pell和Pell-Lucas序列不是正交的。

研究背景与动机

问题背景

  1. 核心问题: 确定哪些广义Fibonacci多项式(GFP)具有正交性，以及在什么条件下它们是正交的或非正交的。
  2. 重要性:
    • 正交多项式在数学分析、数值计算、概率论和随机过程中具有重要应用
    • Fibonacci型多项式在组合数学和数论中广泛出现
    • 连接正交多项式理论与经典递推序列的研究
  3. 现有方法局限性:
    • Favard定理的一般情况虽然保证正交测度的存在，但不提供显式形式
    • 缺乏系统的方法来判断特定GFP族的正交性
    • 对GFP根的研究不够深入
  4. 研究动机:
    • 提供显式的正交测度
    • 建立二阶递推关系与正交性之间的明确联系
    • 分类常见GFP的正交性质
    • 探索正交多项式与马尔可夫过程的联系

核心贡献

  1. 提出了寻找GFP根的系统技术：通过经典Fibonacci和Lucas多项式的根来确定一般GFP的根
  2. 给出了Favard定理特殊情况的替代证明：提供了显式的正交测度和判别条件
  3. 完成了常见GFP的正交性分类：明确区分了13种常见多项式中哪8种是正交的，哪5种不是
  4. 建立了正交GFP与马尔可夫链的联系：确定了正交多项式诱导随机游走的充分条件
  5. 提供了具体的权函数构造：对于正交的GFP给出了显式的权函数

方法详解

任务定义

输入: 由递推关系定义的广义Fibonacci多项式序列

  • Fibonacci型: F0(x)=0,F1(x)=1,Fn(x)=d(x)Fn−1(x)+g(x)Fn−2(x)F_0(x) = 0, F_1(x) = 1, F_n(x) = d(x)F_{n-1}(x) + g(x)F_{n-2}(x)
  • Lucas型: L0(x)=p0,L1(x)=p1(x),Ln(x)=d(x)Ln−1(x)+g(x)Ln−2(x)L_0(x) = p_0, L_1(x) = p_1(x), L_n(x) = d(x)L_{n-1}(x) + g(x)L_{n-2}(x)

输出: 判断该序列是否正交，如果正交则给出权函数

约束条件: d(x),g(x)∈Q[x]d(x), g(x) \in \mathbb{Q}[x]，且deg⁡(d(x))>deg⁡(g(x))\deg(d(x)) > \deg(g(x))，d2(x)+4g(x)≠0d^2(x) + 4g(x) \neq 0

核心理论框架

1. Binet公式表示

对于n≥0n \geq 0且d2(x)+4g(x)≠0d^2(x) + 4g(x) \neq 0，Binet公式为： Fn(x)=an(x)−bn(x)a(x)−b(x),Ln(x)=an(x)+bn(x)αF_n(x) = \frac{a^n(x) - b^n(x)}{a(x) - b(x)}, \quad L_n(x) = \frac{a^n(x) + b^n(x)}{\alpha}

其中： a(x)=d(x)+d2(x)+4g(x)2,b(x)=d(x)−d2(x)+4g(x)2a(x) = \frac{d(x) + \sqrt{d^2(x) + 4g(x)}}{2}, \quad b(x) = \frac{d(x) - \sqrt{d^2(x) + 4g(x)}}{2}

2. 根的确定方法

定理4.3: 设Fn(x)F_n(x)是如(2.1)所定义的GFP。如果r∈Cr \in \mathbb{C}满足d(r)g(r)=γj\frac{d(r)}{\sqrt{g(r)}} = \gamma_j，其中γj=2icos⁡jπn\gamma_j = 2i\cos\frac{j\pi}{n}（j=1,2,…,n−1j = 1,2,\ldots,n-1）且g(r)≠0g(r) \neq 0，则rr是Fn(x)F_n(x)的根。

定理4.4: 类似地，对于Lucas型GFP，如果d(t)g(t)=τj\frac{d(t)}{\sqrt{g(t)}} = \tau_j，其中τj=2icos⁡(2j+1)π2n\tau_j = 2i\cos\frac{(2j+1)\pi}{2n}，则tt是Ln(x)L_n(x)的根。

3. 正交性判别条件

命题3.6: 设g(x)=−4kg(x) = -4k（k∈R<0k \in \mathbb{R}_{<0}），d(x)d(x)如(2.1)和(2.2)所定义。如果存在常数s1,s2s_1, s_2使得d(s1)=−−4kd(s_1) = -\sqrt{-4k}，d(s2)=−4kd(s_2) = \sqrt{-4k}，且对区间[s1,s2][s_1, s_2]内的每个xx都有4k+d2(x)≤04k + d^2(x) \leq 0，则对n≠mn \neq m：

∫s1s2Fn(x)Fm(x)−4k−d2(x)d′(x)dx=0\int_{s_1}^{s_2} F_n(x)F_m(x)\sqrt{-4k - d^2(x)}d'(x)dx = 0

技术创新点

  1. 统一的根求解方法: 通过将一般GFP的根问题归约为经典Fibonacci/Lucas多项式的根问题
  2. 显式权函数构造: 对于特定形式的d(x)d(x)和g(x)g(x)，给出了具体的正交权函数
  3. 系统的分类框架: 基于d(x)d(x)和g(x)g(x)的性质来判断正交性

实验设置

研究对象

论文研究了13种常见的GFP，包括：

  • 非正交: Fibonacci, Lucas, Pell, Pell-Lucas, Jacobsthal
  • 正交: Fermat, Fermat-Lucas, Chebyshev (两类), Morgan-Voyce (两类), Vieta, Vieta-Lucas

分析方法

  1. 理论分析: 使用Favard定理和正交多项式理论
  2. 根的计算: 基于经典多项式根的已知结果
  3. 权函数验证: 通过积分计算验证正交关系

验证标准

使用标准的正交性定义： ⟨fi(x),fj(x)⟩=∫Rfi(x)fj(x)dμ(x)=δ(i,j)\langle f_i(x), f_j(x) \rangle = \int_{\mathbb{R}} f_i(x)f_j(x)d\mu(x) = \delta(i,j)

实验结果

主要结果

1. 正交性分类

正交的GFP (8种):

  • Fermat: Φn(x)=3xΦn−1(x)−2Φn−2(x)\Phi_n(x) = 3x\Phi_{n-1}(x) - 2\Phi_{n-2}(x)
  • Fermat-Lucas: ϑn(x)=3xϑn−1(x)−2ϑn−2(x)\vartheta_n(x) = 3x\vartheta_{n-1}(x) - 2\vartheta_{n-2}(x)
  • Chebyshev第二类: Un(x)=2xUn−1(x)−Un−2(x)U_n(x) = 2xU_{n-1}(x) - U_{n-2}(x)
  • Chebyshev第一类: Tn(x)=2xTn−1(x)−Tn−2(x)T_n(x) = 2xT_{n-1}(x) - T_{n-2}(x)
  • Morgan-Voyce两类
  • Vieta和Vieta-Lucas

非正交的GFP (5种):

  • Fibonacci, Lucas, Pell, Pell-Lucas, Jacobsthal

2. 权函数结果

推论3.7: 对于d(x)=cxt+hd(x) = cx^t + h，g(x)=−k/4g(x) = -k/4（其中c,h,k,t∈Zc,h,k,t \in \mathbb{Z}，c≠0c \neq 0，k,t>0k,t > 0，tt为奇数），权函数为： ω(x)=k−d2(x)xt−1\omega(x) = \sqrt{k - d^2(x)}x^{t-1}

3. 马尔可夫链联系

命题5.2: 在特定条件下，Lucas型GFP确定一个随机游走，其转移矩阵为：

\frac{-h}{c} & \frac{2}{c} & 0 & \cdots \\ \frac{c-1+h}{c} & \frac{-h}{c} & \frac{1}{c} & \cdots \\ 0 & \frac{c-1+h}{c} & \frac{-h}{c} & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix}$$ ### 重要发现 1. **奇偶性质**: 当$d(x)$为奇函数，$g(x)$为偶函数时，不同奇偶性指标的多项式正交 2. **根的复杂性**: 对于$d(x) = ax + b$且$g(x)$为正常数的情况，所有根都是复数，导致非正交性 3. **权函数唯一性**: 对于线性情况($t=1$)，权函数是唯一的 ## 相关工作 ### 主要研究方向 1. **经典正交多项式理论**: Chebyshev多项式、Jacobi多项式等的研究 2. **Fibonacci多项式**: Hoggatt和Bicknell对经典Fibonacci多项式根的研究 3. **广义Fibonacci序列**: André-Jeannin的二参数广义化 4. **正交多项式与概率**: Karlin-McGregor表示和随机游走理论 ### 本文优势 1. **系统性**: 首次系统地研究GFP的正交性 2. **显式结果**: 提供了具体的权函数而非存在性证明 3. **统一框架**: 将多个经典结果纳入统一的理论框架 4. **跨领域连接**: 建立了与马尔可夫过程的联系 ## 结论与讨论 ### 主要结论 1. **完整分类**: 成功对13种常见GFP进行了正交性分类 2. **判别准则**: 建立了基于递推系数的正交性判别方法 3. **显式构造**: 给出了正交GFP的具体权函数 4. **概率联系**: 确定了正交多项式诱导马尔可夫链的条件 ### 局限性 1. **适用范围**: 主要关注特定形式的$d(x)$和$g(x)$ 2. **一般性**: 对于更一般的多项式系数，结论可能不适用 3. **计算复杂性**: 对于高次多项式，根的计算可能较复杂 ### 未来方向 1. **扩展到更一般的系数**: 研究任意次数的$d(x)$和$g(x)$ 2. **多变量推广**: 考虑多变量的广义Fibonacci多项式 3. **应用研究**: 探索在数值分析和概率论中的具体应用 4. **计算算法**: 开发高效的正交性判别算法 ## 深度评价 ### 优点 1. **理论贡献显著**: 首次系统解决了GFP正交性问题，填补了理论空白 2. **方法创新**: 通过经典多项式根来求解一般GFP根的方法具有普适性 3. **结果完整**: 不仅给出了判别条件，还提供了具体的权函数构造 4. **跨领域价值**: 建立了正交多项式与马尔可夫过程的桥梁 5. **写作清晰**: 论文结构清晰，数学推导严谨 ### 不足 1. **技术限制**: 主要结果局限于特定形式的递推系数 2. **实用性**: 对于实际应用中的计算效率讨论不足 3. **数值验证**: 缺乏大规模的数值实验验证 4. **比较分析**: 与其他正交多项式族的比较不够深入 ### 影响力 1. **学术价值**: 为正交多项式理论提供了新的研究方向 2. **实用价值**: 在数值分析、概率论和组合数学中有潜在应用 3. **可复现性**: 理论结果明确，易于验证和扩展 4. **启发性**: 为相关领域的研究提供了新的思路和方法 ### 适用场景 1. **数值计算**: 需要特定正交多项式的数值积分和逼近 2. **概率建模**: 马尔可夫链和随机游走的分析 3. **组合数学**: 递推序列和生成函数的研究 4. **理论研究**: 正交多项式理论的进一步发展 ## 参考文献 论文引用了26篇重要文献，涵盖了正交多项式理论、Fibonacci多项式、马尔可夫过程等多个领域，体现了研究的跨学科特点和理论基础的扎实性。