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
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.
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.
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
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
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
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
Preuve alternative d'un cas particulier du théorème de Favard: Fourniture de mesures d'orthogonalité explicites et de critères de discrimination
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
É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
Fourniture de constructions explicites de fonctions de poids: Présentation de fonctions de poids explicites pour les PFG orthogonaux
Théorème 4.3: Soit Fn(x) un PFG défini comme en (2.1). Si r∈C satisfait g(r)d(r)=γj, où γj=2icosnjπ (j=1,2,…,n−1) et g(r)=0, alors r est une racine de Fn(x).
Théorème 4.4: De manière similaire, pour un PFG de type Lucas, si g(t)d(t)=τj, où τj=2icos2n(2j+1)π, alors t est une racine de Ln(x).
Proposition 3.6: Soit g(x)=−4k (k∈R<0), d(x) défini comme en (2.1) et (2.2). S'il existe des constantes s1,s2 telles que d(s1)=−−4k, d(s2)=−4k, et pour chaque x dans l'intervalle [s1,s2] on a 4k+d2(x)≤0, alors pour n=m:
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
Construction de fonctions de poids explicites: Fourniture de fonctions de poids d'orthogonalité concrètes pour des formes spécifiques de d(x) et g(x)
Cadre de classification systématique: Discrimination de l'orthogonalité basée sur les propriétés de d(x) et g(x)