previous up next
Previous: Is the Fibonacci Sequence Up: Is the Fibonacci Sequence Next: 2 Notations and elementary

1 Introduction

Among the sequences maths verifying a linear recurrence maths, the sequence maths defined by the recurrence :

    maths (1)

occupies a special place and has been studied in great details since it's discovery by L. Fibonacci in 1202. Many properties of these sequence are known, like the "duplication formula" :
    maths (2)

or the periodic properties of maths. In this paper, a classification among these properties will be undertaken. Part of them apply to all sequences maths, another part depends on maths, a third part depends on properties of maths (e.g. inversible, square, equal to maths) while quite none of them appear to be really specific to the Fibonacci sequence itself.

The initial aim of the present study was to examine if formulae similar to Eq. 2 can be found, for example a formula that would give a linearization of maths. To obtain the (negative) answer to this question, it has been useful to reexamine Eq. 2 from the point of view of what happens to other sequences, verifying other recurrences. Thereafter, we have applied this fruitfull point of view to the period length maths of the sequence maths. The fact that at least maths for the recurrence maths explains why the conjecture maths for all primes [1] is so difficult to prove in the (genuine) Fibonacci case.

The materials contained in this paper are organized as follows. Section 2 describe our notations and recall some elementary properties. In Section 3, a "duplication formula" is stated that binds the sequence of squared terms to the even and odd sub-sequences. Some complements are given in Section 4. It will be described how this duplication formula can be used to build a divide and conquer algorithm that computes efficiently a given term of maths of such sequences. The special case of degenerate recurrences (maths in our notations) is also considered.

The paper ends with Section 5 that examines how the generating functions of the arithmetical subsequences, introduced in Section 3, can be use to re-examine some results concerning the period lenght of maths when assuming that maths and maths are coprime.


previous up next
Previous: Is the Fibonacci Sequence Up: Is the Fibonacci Sequence Next: 2 Notations and elementary


douillet@ensait.fr
2005-03-18