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

Zéros et Orthogonalité des Polynômes de Fibonacci Généralisés

Informations Fondamentales

  • ID de l'article: 2510.00074
  • Titre: Zeros and Orthogonality of Generalized Fibonacci Polynomials
  • Auteurs: Cristian F. Coletti, Rigoberto Flórez, Robinson A. Higuita, Sandra Z. Yepes
  • Classification: math.CO (Mathématiques Combinatoires)
  • Date de publication: 11 octobre 2025 (arXiv v2)
  • Lien de l'article: https://arxiv.org/abs/2510.00074

Résumé

Cet article analyse le concept d'orthogonalité des séquences polynomiales du second ordre possédant des formules de Binet similaires aux nombres de Fibonacci et de Lucas, appelées polynômes de Fibonacci généralisés (PFG). L'article fournit des techniques pour trouver les racines des PFG et, en tant que corollaire, offre une preuve alternative d'un cas particulier du théorème de Favard. Bien que le théorème de Favard général garantisse l'existence d'une mesure déterminant si une séquence polynomiale du second ordre est orthogonale, ce théorème ne fournit pas la mesure explicite. Le cas particulier présenté ici fournit à la fois la mesure explicite et établit la relation entre la récurrence du second ordre et l'orthogonalité, permettant ainsi de déterminer si les polynômes PFG sont orthogonaux. Cela permet de classifier quels PFG familiers sont orthogonaux et lesquels ne le sont pas. Parmi les polynômes orthogonaux familiers figurent les polynômes de Fermat, Fermat-Lucas, les deux classes de polynômes de Chebyshev, les deux classes de polynômes de Morgan-Voyce, ainsi que les polynômes de Vieta et Vieta-Lucas. Cependant, l'article démontre que les séquences de Fibonacci, Lucas, Pell et Pell-Lucas ne sont pas orthogonales.

Contexte et Motivation de la Recherche

Contexte du Problème

  1. Problème central: Déterminer quels polynômes de Fibonacci généralisés (PFG) possèdent la propriété d'orthogonalité et sous quelles conditions ils sont orthogonaux ou non-orthogonaux.
  2. Importance:
    • Les polynômes orthogonaux jouent un rôle crucial en analyse mathématique, calcul numérique, théorie des probabilités et processus stochastiques
    • Les polynômes de type Fibonacci apparaissent largement en mathématiques combinatoires et théorie des nombres
    • Recherche reliant la théorie des polynômes orthogonaux aux séquences récursives classiques
  3. Limitations des méthodes existantes:
    • Le cas général du théorème de Favard, bien qu'il garantisse l'existence d'une mesure d'orthogonalité, ne fournit pas sa forme explicite
    • Absence de méthode systématique pour déterminer l'orthogonalité de familles spécifiques de PFG
    • Recherche insuffisante sur les racines des PFG
  4. Motivation de la recherche:
    • Fournir des mesures d'orthogonalité explicites
    • Établir un lien clair entre les relations de récurrence du second ordre et l'orthogonalité
    • Classifier les propriétés d'orthogonalité des PFG courants
    • Explorer les connexions entre les polynômes orthogonaux et les processus de Markov

Contributions Principales

  1. Présentation de techniques systématiques pour trouver les racines des PFG: Détermination des racines des PFG généraux via les racines des polynômes de Fibonacci et Lucas classiques
  2. Preuve alternative d'un cas particulier du théorème de Favard: Fourniture de mesures d'orthogonalité explicites et de critères de discrimination
  3. Classification complète de l'orthogonalité des PFG courants: Distinction claire entre 8 polynômes orthogonaux et 5 non-orthogonaux parmi 13 polynômes courants
  4. Établissement du lien entre les PFG orthogonaux et les chaînes de Markov: Détermination des conditions suffisantes pour que les polynômes orthogonaux induisent des marches aléatoires
  5. Fourniture de constructions explicites de fonctions de poids: Présentation de fonctions de poids explicites pour les PFG orthogonaux

Explication Détaillée des Méthodes

Définition de la Tâche

Entrée: Séquence de polynômes de Fibonacci généralisés définie par une relation de récurrence

  • Type Fibonacci: F0(x)=0,F1(x)=1,Fn(x)=d(x)Fn1(x)+g(x)Fn2(x)F_0(x) = 0, F_1(x) = 1, F_n(x) = d(x)F_{n-1}(x) + g(x)F_{n-2}(x)
  • Type Lucas: L0(x)=p0,L1(x)=p1(x),Ln(x)=d(x)Ln1(x)+g(x)Ln2(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)

Sortie: Détermination de l'orthogonalité de la séquence et, si orthogonale, fourniture de la fonction de poids

Contraintes: d(x),g(x)Q[x]d(x), g(x) \in \mathbb{Q}[x], avec deg(d(x))>deg(g(x))\deg(d(x)) > \deg(g(x)), d2(x)+4g(x)0d^2(x) + 4g(x) \neq 0

Cadre Théorique Principal

1. Représentation par Formule de Binet

Pour n0n \geq 0 et d2(x)+4g(x)0d^2(x) + 4g(x) \neq 0, la formule de Binet s'écrit: 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}

où: 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. Méthode de Détermination des Racines

Théorème 4.3: Soit Fn(x)F_n(x) un PFG défini comme en (2.1). Si rCr \in \mathbb{C} satisfait d(r)g(r)=γj\frac{d(r)}{\sqrt{g(r)}} = \gamma_j, où γj=2icosjπn\gamma_j = 2i\cos\frac{j\pi}{n} (j=1,2,,n1j = 1,2,\ldots,n-1) et g(r)0g(r) \neq 0, alors rr est une racine de Fn(x)F_n(x).

Théorème 4.4: De manière similaire, pour un PFG de type Lucas, si d(t)g(t)=τj\frac{d(t)}{\sqrt{g(t)}} = \tau_j, où τj=2icos(2j+1)π2n\tau_j = 2i\cos\frac{(2j+1)\pi}{2n}, alors tt est une racine de Ln(x)L_n(x).

3. Critères de Discrimination de l'Orthogonalité

Proposition 3.6: Soit g(x)=4kg(x) = -4k (kR<0k \in \mathbb{R}_{<0}), d(x)d(x) défini comme en (2.1) et (2.2). S'il existe des constantes s1,s2s_1, s_2 telles que d(s1)=4kd(s_1) = -\sqrt{-4k}, d(s2)=4kd(s_2) = \sqrt{-4k}, et pour chaque xx dans l'intervalle [s1,s2][s_1, s_2] on a 4k+d2(x)04k + d^2(x) \leq 0, alors pour nmn \neq m:

s1s2Fn(x)Fm(x)4kd2(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

Points d'Innovation Technique

  1. Méthode unifiée de résolution des racines: Réduction du problème des racines des PFG généraux au problème des racines des polynômes de Fibonacci/Lucas classiques
  2. Construction de fonctions de poids explicites: Fourniture de fonctions de poids d'orthogonalité concrètes pour des formes spécifiques de d(x)d(x) et g(x)g(x)
  3. Cadre de classification systématique: Discrimination de l'orthogonalité basée sur les propriétés de d(x)d(x) et g(x)g(x)

Configuration Expérimentale

Objets d'Étude

L'article étudie 13 types courants de PFG, incluant:

  • Non-orthogonaux: Fibonacci, Lucas, Pell, Pell-Lucas, Jacobsthal
  • Orthogonaux: Fermat, Fermat-Lucas, Chebyshev (deux classes), Morgan-Voyce (deux classes), Vieta, Vieta-Lucas

Méthodes d'Analyse

  1. Analyse théorique: Utilisation du théorème de Favard et de la théorie des polynômes orthogonaux
  2. Calcul des racines: Basé sur les résultats connus des racines des polynômes classiques
  3. Vérification des fonctions de poids: Vérification des relations d'orthogonalité par calcul intégral

Critères de Vérification

Utilisation de la définition standard de l'orthogonalité: 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)

Résultats Expérimentaux

Résultats Principaux

1. Classification de l'Orthogonalité

PFG Orthogonaux (8 types):

  • Fermat: Φn(x)=3xΦn1(x)2Φn2(x)\Phi_n(x) = 3x\Phi_{n-1}(x) - 2\Phi_{n-2}(x)
  • Fermat-Lucas: ϑn(x)=3xϑn1(x)2ϑn2(x)\vartheta_n(x) = 3x\vartheta_{n-1}(x) - 2\vartheta_{n-2}(x)
  • Chebyshev de deuxième espèce: Un(x)=2xUn1(x)Un2(x)U_n(x) = 2xU_{n-1}(x) - U_{n-2}(x)
  • Chebyshev de première espèce: Tn(x)=2xTn1(x)Tn2(x)T_n(x) = 2xT_{n-1}(x) - T_{n-2}(x)
  • Morgan-Voyce deux classes
  • Vieta et Vieta-Lucas

PFG Non-orthogonaux (5 types):

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

2. Résultats des Fonctions de Poids

Corollaire 3.7: Pour d(x)=cxt+hd(x) = cx^t + h, g(x)=k/4g(x) = -k/4 (où c,h,k,tZc,h,k,t \in \mathbb{Z}, c0c \neq 0, k,t>0k,t > 0, tt impair), la fonction de poids est: ω(x)=kd2(x)xt1\omega(x) = \sqrt{k - d^2(x)}x^{t-1}

3. Connexion aux Chaînes de Markov

Proposition 5.2: Sous certaines conditions, un PFG de type Lucas détermine une marche aléatoire dont la matrice de transition est:

undefined