Hindawi Publishing Corporation Discrete Dynamics in Nature and Society Volume 2013, Article ID 731482, 3 pages http://dx.doi.org/10.1155/2013/731482 Research Article On Period of the Sequence of Fibonacci Polynomials Modulo π Enci Gültekin1 and Yasemin TaGyurdu2 1 2 Department of Mathematics, Faculty of Science, Ataturk University, 25240 Erzurum, Turkey Department of Mathematics, Faculty of Science and Letters, Erzincan University, 24000 Erzincan, Turkey Correspondence should be addressed to IΜnci GuΜltekin; igultekin@atauni.edu.tr Received 20 November 2012; Revised 21 January 2013; Accepted 23 January 2013 Academic Editor: Binggen Zhang Copyright © 2013 IΜ. GuΜltekin and Y. TasΜ§yurdu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. It is shown that the sequence obtained by reducing modulo π coefficient and exponent of each Fibonacci polynomials term is periodic. Also if π is prime, then sequences of Fibonacci polynomial are compared with Wall numbers of Fibonacci sequences according to modulo π. It is found that order of cyclic group generated with π2 matrix ( π₯1 01 ) is equal to the period of these sequences. 1. Introduction In modern science there is a huge interest in the theory and application of the Fibonacci numbers. The Fibonacci numbers πΉπ are the terms of the sequence 0, 1, 1, 2, 3, 5, . . ., where πΉπ = πΉπ−1 + πΉπ−2 , π ≥ 2, with the initial values πΉ0 = 0 and πΉ1 = 1. Generalized Fibonacci sequences have been intensively studied for many years and have become an interesting topic in Applied Mathematics. Fibonacci sequences and their related higher-order sequences are generally studied as sequence of integer. Polynomials can also be defined by Fibonacci-like recurrence relations. Such polynomials, called Fibonacci polynomials, were studied in 1883 by the Belgian mathematician Eugene Charles Catalan and the German mathematician E. Jacobsthal. The polynomials πΉπ (π₯) studied by Catalan are defined by the recurrence relation πΉπ (π₯) = π₯πΉπ−1 (π₯) + πΉπ−2 (π₯) , π ≥ 3, (1) where πΉ1 (π₯) = 1, πΉ2 (π₯) = π₯. The Fibonacci polynomials studied by Jocobstral are defined by π½π (π₯) = π½π−1 (π₯) + π₯π½π−2 (π₯) , π ≥ 3, (2) where π½1 (π₯) = π½2 (π₯) = 1. The Fibonacci polynomials studied by P. F. Byrd are defined by ππ (π₯) = 2π₯ππ−1 (π₯) + ππ−2 (π₯) , π ≥ 2, (3) where π0 (π₯) = 0, π1 (π₯) = 1. The Lucas polynomials πΏ π (π₯), originally studied in 1970 by Bicknell and they are defined by πΏ π (π₯) = π₯πΏ π−1 (π₯) + πΏ π−2 (π₯) , π ≥ 2, (4) where πΏ 0 (π₯) = 2, πΏ 1 (π₯) = π₯ [1]. Hoggatt and Bicknell introduced a generalized Fibonacci polynomials and their relationship to diagonals of Pascal’s triangle [2]. Also after investigating the generalized π-matrix, Ivie introduced a special case [3]. Nalli and Haukkanen introduced β(π₯)-Fibonacci polynomials that generalize both Catalan’s Fibonacci polynomials and Byrd’s Fibonacci Polynomials and the π-Fibonacci number. Also they provided properties for these β(π₯)-Fibonacci polynomials where β(π₯) is a polynomial with real coefficients [1]. Definition 1. The Fibonacci polynomials are defined by the recurrence relation 0, if π = 0, { { πΉπ (π₯) = {1, if π = 1, { + πΉ , if π ≥ 2, π₯πΉ (π₯) (π₯) π−2 { π−1 (5) that the Fibonacci polynomials are generated by a matrix π2 , π₯ 1 π2 = ( ), 1 0 πΉπ+1 (π₯) πΉπ (π₯) ) π2π = ( πΉπ (π₯) πΉπ−1 (π₯) (6) 2 Discrete Dynamics in Nature and Society Table 1 Coefficient array Fibonacci polynomials πΉ0 (π₯) = 0 0 πΉ1 (π₯) = 1 1 πΉ2 (π₯) = π₯ By definition of the generalized Fibonacci polynomials we have that πΉπ (π₯)π = π₯πΉπ−1 (π₯)π + πΉπ−2 (π₯)π and πΉπ (π₯)π = π₯πΉπ−1 (π₯)π + πΉπ−2 (π₯)π . Hence, πΉπ (π₯)π = πΉπ (π₯)π , and then it follows that πΉπ−1 (π₯)π = πΉπ−1 (π₯)π , 1 2 πΉ3 (π₯) = π₯ + 1 πΉπ−2 (π₯)π = πΉπ−2 (π₯)π , . . . , πΉπ−π (π₯)π = πΉπ−π (π₯)π = πΉ0 (π₯)π (9) 1 1 1 2 πΉ5 (π₯) = π₯ + 3π₯ + 1 1 3 1 πΉ6 (π₯) = π₯5 + 4π₯3 + 3π₯ 1 4 3 πΉ7 (π₯) = π₯6 + 5π₯4 + 6π₯2 + 1 .. . 1 .. . 5 .. . 6 .. . πΉ4 (π₯) = π₯3 + 2π₯ 4 2 which implies that the {πΉ(π₯)π } is a periodic sequence. 1 .. . can be verified quite easily by mathematical induction. The first few Fibonacci polynomials and the array of their coefficients are shown in Table 1 [2]. A sequence is periodic if, after a certain point, it consists of only repetitions of a fixed subsequence. The number of elements in the repeating subsequence is called the period of the sequence. For example, the sequence π, π, π, π, π, π, π, π, π, π, π, π, π, . . ., is periodic after the initial element π and has period 4. A sequence is simply periodic with period π if the first π elements in the sequence form a repeating subsequence. For example, the sequence π, π, π, π, π, π, π, π, π, π, π, π, . . ., is simply periodic with period 4 [4]. The minimum period length of (πΉπ mod π)∞ π=−∞ sequence is stated by π(π) and is named Wall number of π [5]. Example 4. For π = 2, {πΉ(π₯)2 } sequence is πΉ0 (π₯)2 = 0, πΉ1 (π₯)2 = 1, πΉ2 (π₯)2 = π₯, πΉ3(π₯)2 = π₯2 + 1 = π₯0 + 1 = 2 = 0, πΉ4 (π₯)2 = 0π₯ + π₯ = π₯, πΉ5 (π₯)2 = π₯2 + 0 = π₯0 + 0 = 1, πΉ6 (π₯)2 = π₯ + π₯ = 2π₯ = 0, πΉ7 (π₯)2 = 0π₯ + 1 = 1. We have {πΉ(π₯)2 } = {0, 1, π₯, 0, π₯, 1, 0, 1, . . .}, and then repeat. So, we get βπΉ(π₯)2 = 6. Given a matrix π΄ = (βππ (π₯)) where βππ (π₯)’s being polynomials with real coefficients, π΄(mod π) means that every entry of π΄ is modulo π, that is, π΄(mod π) = (βππ (π₯)(mod π)). Let β¨π2 β©π = {π2π (mod π) | π ≥ 0} be a cyclic group and |β¨π2 β©π | denote the order of β¨π2 β©π where π2π (mod π) is reduction coefficient and exponent of each polynomial in π2π matrix modulo π. Theorem 5. One has βπΉ(π₯)π = |β¨π2 β©π |. Proof. Proof is completed if it is that βπΉ(π₯)π is divisible by |β¨π2 β©π | and that |β¨π2 β©π | is divisible by βπΉ(π₯)π . Fibonacci polynomials are generated by a matrix π2 , π₯ 1 π2 = ( ), 1 0 Theorem 2. π(π) is an even number for π ≥ 3 [5]. 2. The Generalized Sequence of Fibonacci Polynomials Modulo π Reducing the generalized sequence of coefficient and exponent of each Fibonacci polynomials term by a modulus π, we can get a repeating sequence, denoted by {πΉ(π₯)π } = {πΉ0 (π₯)π , πΉ1 (π₯)π , . . . , πΉπ (π₯)π , . . .} , (7) where πΉπ (π₯)π = πΉπ (π₯)(mod π). Let βπΉ(π₯)π denote the smallest period of {πΉ(π₯)π }, called the period of the generalized Fibonacci polynomials modulo π. Theorem 3. {πΉ(π₯)π } is a periodic sequence. πΉπ+2 (π₯)π = πΉπ+2 (π₯)π , . . . , πΉπ+π (π₯)π = πΉπ+π (π₯)π . Theorem 6. βπΉ(π₯)π = ππ(π) where π is a prime number. Proof. It is completed if it is that βπΉ(π₯)π is divisible by ππ(π) and that ππ(π) divisible by βπΉ(π₯)π . From Theorem 5 π2π = π πΉ (π₯) πΉπ (π₯) ), π2βπΉ(π₯) = πΌ(mod π) for π2 = ( π₯1 10 ). Also, ( πΉπ+1 π (π₯) πΉπ−1 (π₯) ππ(π) πΉπ+1 (π₯)π = πΉπ+1 (π₯)π , (8) (10) Thus, it is clear that |β¨π2 β©π | is divisible by βπΉ(π₯)π . Then we need only to prove that βπΉ(π₯)π is divisible by |β¨π2 β©π |. πΉ (π₯) πΉ (π₯) Let βπΉ(π₯)π = π‘. It is seen that π2π‘ = ( πΉπ‘+1π‘ (π₯) πΉπ‘−1π‘ (π₯) ). Hence π2π‘ = πΌ(mod π). We get that |β¨π2 β©π | is divisible by π‘. That is, βπΉ(π₯)π is divisible by |β¨π2 β©π |. So, we get βπΉ(π₯)π = |β¨π2 β©π |. π2 Proof. Let π2 = {(π₯1 , π₯2 ) : 1 ≤ π₯π ≤ 2} where π₯π is reduction coefficient and exponent of each term in πΉπ (π₯) polynomials 2 modulo π. Then, we have |π2 | = (ππ ) being finite, that is, for any π > π, there exist natural numbers π and π πΉπ+1 (π₯) πΉπ (π₯) ). π2π = ( πΉπ (π₯) πΉπ−1 (π₯) =( πΉππ(π)+1 (π₯) πΉππ(π) (π₯) πΉππ(π) (π₯) πΉππ(π)−1 (π₯) ). ππ(π) So, we get π2 = πΌ(mod π). π Thus ππ(π) is divisible by βπΉ(π₯) . Moreover ππ(π) is divisible by βπΉ(π₯)π . Since |β¨π2 β©π | = βπΉ(π₯)π , βπΉ(π₯)π is divisible by ππ(π). Therefore βπΉ(π₯)π = ππ(π). Theorem 7. βπΉ(π₯)π is an even number where π is a prime number. Proof. It has been shown that βπΉ(π₯)π = ππ(π) in Theorem 6. If it is stated that ππ(π) is an even number then proof is Discrete Dynamics in Nature and Society Table 2: Periods of the sequence of Fibonacci polynomials modulo π. π 2 7 37 103 181 241 373 653 853 π(π) 3 16 76 208 90 240 748 1308 1708 βπΉ(π₯)π 6 112 2812 21424 16290 57840 279004 854124 1456924 Result βπΉ(π₯)2 = 2π (2) βπΉ(π₯)7 = 7π (7) βπΉ(π₯)37 = 37π (37) βπΉ(π₯)103 = 103π (103) βπΉ(π₯)181 = 181π (181) βπΉ(π₯)241 = 241π (241) βπΉ(π₯)373 = 373π (373) βπΉ(π₯)653 = 653π (653) βπΉ(π₯)853 = 853π (853) completed. By Theorem 2, π(π) is an even number and π is an even number for π ≥ 3. Hence ππ(π) is always an even number. That is, βπΉ(π₯)π is an even number. Table 2 shows some periods of sequence of coefficient and exponent of Fibonacci polynomials modulo, which is a prime number, by using π(π). References [1] A. Nalli and P. Haukkanen, “On generalized Fibonacci and Lucas polynomials,” Chaos, Solitons and Fractals, vol. 42, no. 5, pp. 3179–3186, 2009. [2] V. E. Hoggatt Jr. and M. Bicknell, “Generalized Fibonacci polynomials and Zeckendorf ’s theorem,” The Fibonacci Quarterly, vol. 11, no. 4, pp. 399–419, 1973. [3] J. Ivie, “A general π-matrix,” The Fibonacci Quarterly, vol. 10, no. 3, pp. 255–261, 1972. [4] S. W. Knox, “Fibonacci sequences in finite groups,” The Fibonacci Quarterly, vol. 30, no. 2, pp. 116–120, 1992. [5] D. D. Wall, “Fibonacci series modulo π,” The American Mathematical Monthly, vol. 67, pp. 525–532, 1960. 3 Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014