Generalizations of Fibonacci numbers

In mathematics, the Fibonacci numbers form a sequence defined recursively by:

F(0) = 0

F(1) = 1

F(n) = F(n-1) + F(n-2), for integer n > 1.

That is, after two starting values, each number is the sum of the two preceding numbers.

The Fibonacci sequence has been studied extensively and generalized in many ways, for example, by starting with other numbers than 0 and 1, by adding more than two numbers to generate the next number, or by adding objects other than numbers.

Extension to negative integers

Using F_n-2 = F_n - F_n-1, one can extend the Fibonacci numbers to negative integers. So we get: ... -8, 5, -3, 2, -1, 1, 0, 1, 1, 2, 3, 5, 8, ... and F_-n = -(-1)ⁿF_n.

See also Negafibonacci.

Extension to all real or complex numbers

There are a number of possible generalizations of the Fibonacci numbers which include the real numbers (and sometimes the complex numbers) in their domain. These each involve the golden ratio $\varphi$, and are based on Binet's formula

$F_n = \frac{\varphi^n-(-\varphi)^{-n}}{\sqrt 5}.$

The analytic function

$Fe(x) = \frac{\varphi^x - \varphi^{-x}}{\sqrt{5}}$

has the property that Fe(n) = F_n for even integers n.^[1] Similarly, the analytic function:

$Fo(x) = \frac{\varphi^x + \varphi^{-x}}{\sqrt{5}}$

satisfies Fo(n) = F_n for odd integers n.

Finally, putting these together, the analytic function

$Fib(x) = \frac{\varphi^x - \cos(x \pi)\varphi^{-x}}{\sqrt{5}}$

satisfies Fib(n)=F_n for all integers n.^[2]

Since Fib(x+2) = Fib(x+1) + Fib(x) for all complex numbers x, this function also provides an extension of the Fibonacci sequence to the entire complex plane. Hence we can calculate the generalized Fibonacci function of a complex variable, for example,

$Fib(3+4i) \approx -5248.5 - 14195.9 i$

Vector space

The term Fibonacci sequence is also applied more generally to any function g from the integers to a field for which g(n+2) = g(n) + g(n+1). These functions are precisely those of the form g(n) = F(n)g(1) + F(n-1)g(0), so the Fibonacci sequences form a vector space with the functions F(n) and F(n-1) as a basis.

More generally, the range of g may be taken to be any abelian group (regarded as a Z-module). Then the Fibonacci sequences form a 2-dimensional Z-module in the same way.

Similar integer sequences

Fibonacci integer sequences

The 2-dimensional Z-module of Fibonacci integer sequences consists of all integer sequences satisfying g(n+2) = g(n) + g(n+1). Expressed in terms of two initial values we have:

g(n) = F(n)g(1) + F(n-1)g(0) = $g(1){{\varphi^n-(-\varphi)^{-n}} \over {\sqrt 5}}+g(0){{\varphi^{n-1}-(-\varphi)^{1-n}} \over {\sqrt 5}}\, ,$

where $\varphi$ is the golden ratio.

Written in the form

$a\varphi^n+b(-\varphi)^{-n}$

a = 0 if and only if b = 0.

Thus the ratio between two consecutive elements converges to the golden ratio, except in the case of the sequence which is constantly zero and the sequences where the ratio of the two first terms is $(-\varphi)^{-1}$.

Written in this form the simplest non-trivial example (a = b = 1) is the sequence of Lucas numbers:

$L_n = \varphi^n + (- \varphi)^{- n}$

We have L(1) = 1 and L(2) = 3. The properties include:

$\varphi^n = \left( \frac 1 2 \left( 1 + \sqrt{5} \right) \right)^n = \frac 1 2 \left( L(n) + F(n) \sqrt{5} \right).$

$L\left(n\right)=F\left(n-1\right)+F\left(n+1\right).\,$

Every nontrivial Fibonacci integer sequence appears (possibly after a shift by a finite number of positions) as one of the rows of the Wythoff array. The Fibonacci sequence itself is the first row, and a shift of the Lucas sequence is the second row.^[3]

See also Fibonacci integer sequences modulo n.

Lucas sequences

A generalization of the Fibonacci sequence are the Lucas sequences of the kind defined as follows:

U(0) = 0

U(1) = 1

U(n + 2) = PU(n + 1) − QU(n)

where the normal Fibonacci sequence is the special case of P = 1 and Q = −1. Another kind of Lucas sequence begins with V(0) = 2, V(1) = P. Such sequences have applications in number theory and primality proving.

When Q = -1, this sequence is called P-Fibonacci sequence, for example, Pell sequence is also called 2-Fibonacci sequence.

The 3-Fibonacci sequence is

0, 1, 3, 10, 33, 109, 360, 1189, 3927, 12970, 42837, 141481, 467280, 1543321, 5097243, 16835050, 55602393, 183642229, 606529080, ... (sequence A006190 in OEIS)

The 4-Fibonacci sequence is

0, 1, 4, 17, 72, 305, 1292, 5473, 23184, 98209, 416020, 1762289, 7465176, 31622993, 133957148, 567451585, 2403763488, ... (sequence A001076 in OEIS)

The 5-Fibonacci sequence is

0, 1, 5, 26, 135, 701, 3640, 18901, 98145, 509626, 2646275, 13741001, 71351280, 370497401, 1923838285, 9989688826, ... (sequence A052918 in OEIS)

The 6-Fibonacci sequence is

0, 1, 6, 37, 228, 1405, 8658, 53353, 328776, 2026009, 12484830, 76934989, 474094764, 2921503573, 18003116202, ... (sequence A005668 in OEIS)

The n-Fibonacci constant is the ratio toward which adjacent n-Fibonacci numbers tend; it is also called the n-th expensive metal ratio, and it is the only positive root of x²-nx-1=0. For example, the case of n = 1 is $\frac{1+\sqrt{5}}{2}$ or the golden ratio, and the case of n = 2 is $1+\sqrt{2}$ or the silver ratio. Generally, the case of n is $\frac{n+\sqrt{n^2+4}}{2}$.

Generally, U(n) can be called (P,-Q)-Fibonacci sequence, and V(n) can be called (P,-Q)-Lucas sequence.

The (1,2)-Fibonacci sequence is

0, 1, 1, 3, 5, 11, 21, 43, 85, 171, 341, 683, 1365, 2731, 5461, 10923, 21845, 43691, 87381, 174763, 349525, 699051, 1398101, 2796203, 5592405, 11184811, 22369621, 44739243, 89478485, ... (sequence A001045 in OEIS)

The (1,3)-Fibonacci sequence is

1, 1, 4, 7, 19, 40, 97, 217, 508, 1159, 2683, 6160, 14209, 32689, 75316, 173383, 399331, 919480, 2117473, 4875913, 11228332, 25856071, 59541067, ... (sequence A006130 in OEIS)

The (2,2)-Fibonacci sequence is

0, 1, 2, 6, 16, 44, 120, 328, 896, 2448, 6688, 18272, 49920, 136384, 372608, 1017984, 2781184, 7598336, 20759040, 56714752, ... (sequence A002605 in OEIS)

The (3,3)-Fibonacci sequence is

0, 1, 3, 12, 45, 171, 648, 2457, 9315, 35316, 133893, 507627, 1924560, 7296561, 27663363, 104879772, 397629405, 1507527531, 5715470808, ... (sequence A030195 in OEIS)

Fibonacci numbers of higher order

A Fibonacci sequence of order n is an integer sequence in which each sequence element is the sum of the previous n elements (with the exception of the first n elements in the sequence). The usual Fibonacci numbers are a Fibonacci sequence of order 2. The cases n=3 and n=4 have been thoroughly investigated. The number of compositions of nonnegative integers into parts that are at most n is a Fibonacci sequence of order n. The sequence of the number of strings of 0s and 1s of length m that contain at most n consecutive 0s is also a Fibonacci sequence of order n.

Tribonacci numbers

The tribonacci numbers are like the Fibonacci numbers, but instead of starting with two predetermined terms, the sequence starts with three predetermined terms and each term afterwards is the sum of the preceding three terms. The first few tribonacci numbers are:

0, 0, 1, 1, 2, 4, 7, 13, 24, 44, 81, 149, 274, 504, 927, 1705, 3136, 5768, 10609, 19513, 35890, 66012, … (sequence A000073 in OEIS)

The tribonacci constant $\tfrac{1+\sqrt[3]{19+3\sqrt{33}}+\sqrt[3]{19-3\sqrt{33}}}{3}$ is the ratio toward which adjacent tribonacci numbers tend. It is a root of the polynomial x³ − x² − x − 1, approximately 1.839286755214161 (sequence A058265 in OEIS), and also satisfies the equation x + x⁻³ = 2. It is important in the study of the snub cube.

The tribonacci numbers are also given by^[4]

$T(n) = \left\lfloor 3 \, b \frac{\left(\frac{1}{3} \left( a_{+} + a_{-} + 1\right)\right)^n}{b^2-2b+4} \right\rceil$

where $\lfloor\cdot\rceil$ denote the nearest integer function and

$a_{\pm} = \left(19 \pm 3 \sqrt{33}\right)^{1/3}$

$b = \left(586 + 102 \sqrt{33}\right)^{1/3}$.

Tetranacci numbers

The tetranacci numbers start with four predetermined terms, each term afterwards being the sum of the preceding four terms. The first few tetranacci numbers are:

0, 0, 0, 1, 1, 2, 4, 8, 15, 29, 56, 108, 208, 401, 773, 1490, 2872, 5536, 10671, 20569, 39648, 76424, 147312, 283953, 547337, … (sequence A000078 in OEIS)

The tetranacci constant is the ratio toward which adjacent tetranacci numbers tend. It is a root of the polynomial x⁴ − x³ − x² − x − 1, approximately 1.927561975482925  A086088, and also satisfies the equation x + x⁻⁴ = 2.

The tetranacci constant is expressed in terms of radicals by ${\textstyle \left(p_1 + \frac{1}{4}\right) + \sqrt{\left(p_1 + \frac{1}{4}\right)^2 - \frac{2 \lambda_1}{p_1}\left(p_1 + \frac{1}{4}\right) + \frac{7}{24p_1} + \frac{1}{6}}}$ where ${\textstyle p_1 = \sqrt{\lambda_1 + \frac{11}{48}}}$ and ${\textstyle \lambda_1 = \frac{\sqrt[3]{3\sqrt{1689} - 65}- \sqrt[3]{3\sqrt{1689} + 65}}{12 \sqrt[3]{2}}}$.^[5]

Higher orders

Pentanacci, hexanacci, and heptanacci numbers have been computed. The pentanacci numbers are:

0, 0, 0, 0, 1, 1, 2, 4, 8, 16, 31, 61, 120, 236, 464, 912, 1793, 3525, 6930, 13624, … (sequence A001591 in OEIS)

Hexanacci numbers:

0, 0, 0, 0, 0, 1, 1, 2, 4, 8, 16, 32, 63, 125, 248, 492, 976, 1936, 3840, 7617, 15109, … (sequence A001592 in OEIS)

Heptanacci numbers:

0, 0, 0, 0, 0, 0, 1, 1, 2, 4, 8, 16, 32, 64, 127, 253, 504, 1004, 2000, 3984, 7936, 15808, … (sequence A122189 in OEIS)

Octanacci numbers:

0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 4, 8, 16, 32, 64, 128, 255, 509, 1016, 2028, 4048, 8080, 16128, ... (sequence A079262 in OEIS)

Nonacci numbers:

0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 4, 8, 16, 32, 64, 128, 256, 511, 1021, 2040, 4076, 8144, 16272, ... (sequence A104144 in OEIS)

The limit of the ratio of successive terms of an n-nacci series tends to a root of the equation $x+x^{-n}=2\,$ ( A103814,  A118427,  A118428).

An alternate recursive formula for the limit of ratio r of two consecutive n-nacci numbers can be expressed as $r=\sum_{k=0}^{n-1}r^{-k}$.

The special case n=2 is the traditional Fibonacci series yielding the golden section $\phi=1+\frac{1}{\phi}$.

The above formulas for the ratio hold even for n-nacci series generated from arbitrary numbers. The limit of this ratio is 2 as n increases. A 'polynacci' sequence, if one could be described, would after an infinite number of zeroes yield the sequence

[..., 0, 0, 1,] 1, 2, 4, 8, 16, 32, …

which are simply powers of 2.

The limit of the ratio for any n > 0 is the positive root $r$ of the characteristic equation ${\textstyle x^n - \sum_{i = 0}^{n-1} x^i = 0}$.^[5] The root $r$ is in the interval ${\textstyle 2(1 - 2^{-n}) < r < 2}$. The negative root of the characteristic equation is in the interval (-1, 0) when n is even. This root and each complex root of the characteristic equation has modulus ${\textstyle 3^{-n} < |r| < 1 }$. ^[5]

A series for the positive root $r$ for any n > 0 is $2 - 2\sum_{i > 0} \frac{1}{i}\binom{(n+1)i -2}{i-1}\frac{1}{2^{(n+1)i}}.$ ^[5]

There is no solution of the characteristic equation in terms of radicals when ${\textstyle 5 \leq n \leq 11}$. ^[5]

And the kth element of the n-nacci sequence is given by

$F_k^{(n)}=\left[ \frac{r^{k-1} (r-1)}{(n+1)r-2n}\right]$

where the outer brackets denote the nearest integer function and r is the n-nacci constant which is the root of $x+x^{-n}=2$ near to 2.^[6]

A Coin Tossing Problem is related to the n-nacci sequence. The probability that no n consecutive tails will occur in m tosses of an idealized coin is $\frac{F_{m+2}^{(n)}}{2^m}$.^[7]

Fibonacci word

In analogy to its numerical counterpart, the Fibonacci word is defined by:

$F_n := F(n):= \begin{cases} b & \mbox{if } n = 0; \\ a & \mbox{if } n = 1; \\ F(n-1)+F(n-2) & \mbox{if } n > 1. \\ \end{cases}$

where + denotes the concatenation of two strings. The sequence of Fibonacci strings starts:

b, a, ab, aba, abaab, abaababa, abaababaabaab, … (sequence A106750 in OEIS)

The length of each Fibonacci string is a Fibonacci number, and similarly there exists a corresponding Fibonacci string for each Fibonacci number.

Fibonacci strings appear as inputs for the worst case in some computer algorithms.

If "a" and "b" represent two different materials or atomic bond lengths, the structure corresponding to a Fibonacci string is a Fibonacci quasicrystal, an aperiodic quasicrystal structure with unusual spectral properties.

Convolved Fibonacci sequences

A convolved Fibonacci sequence is obtained applying a convolution operation to the Fibonacci sequence one or more times. Specifically, define^[8]

$F_n^{(0)}=F_n$

and

$F_n^{(r+1)}=\sum_{i=0}^n F_i F_{n-i}^{(r)}$

The first few sequences are

(r=1): 0, 0, 1, 2, 5, 10, 20, 38, 71, … (sequence A001629 in OEIS).

(r=2): 0, 0, 0, 1, 3, 9, 22, 51, 111, … (sequence A001628 in OEIS).

(r=3): 0, 0, 0, 0, 1, 4, 14, 40, 105, … (sequence A001872 in OEIS).

The sequences can be calculated using the recurrence

$F_{n+1}^{(r+1)}=F_n^{(r+1)}+F_{n-1}^{(r+1)}+F_n^{(r)}$

The generating function of the r-th convolution is

$s^{(r)}(x)=\sum_{k=0}^{\infty} F^{(r)}_n x^n=\left(\frac{x}{1-x-x^2}\right)^r.$

The sequences are related to the sequence of Fibonacci polynomials by the relation

$F_n^{(r)}=r! F_n^{(r)}(1)$

where F_n^(r)(x) is the r-th derivative of F_n(x). Equivalently, F_n^(r) is the coefficient of (x−1)^r when F_n(x) is expanded in powers of (x−1).

The first convolution, F_n⁽¹⁾ can be written in terms of the Fibonacci and Lucas numbers as

$F_n^{(1)}=(nL_n-F_n)/5$

and follows the recurrence

$F_{n+1}^{(1)}=2F_n^{(1)}+F_{n-1}^{(1)}-2F_{n-2}^{(1)}-F_{n-3}^{(1)}.$

Similar expressions can be found for r>1 with increasing complexity as r increases. The numbers F_n⁽¹⁾ are the row sums of Hosoya's triangle.

As with Fibonacci numbers, there are several combinatorial interpretations of these sequences. For example F_n⁽¹⁾ is the number of ways n−2 can be written as an ordered sum involving only 0, 1, and 2 with 0 used exactly once. In particular F₄⁽¹⁾=5 and 2 can be written 0+1+1, 0+2, 1+0+1, 1+1+0, 2+0.^[9]

Other generalizations

The Fibonacci polynomials are another generalization of Fibonacci numbers.

The Padovan sequence is generated by the recurrence P(n) = P(n − 2) + P(n − 3).

A random Fibonacci sequence can be defined by tossing a coin for each position n of the sequence and taking F(n)=F(n−1)+F(n−2) if it lands heads and F(n)=F(n−1)−F(n−2) if it lands tails. Work by Furstenberg and Kesten guarantees that this sequence almost surely grows exponentially at a constant rate: the constant is independent of the coin tosses and was computed in 1999 by Divakar Viswanath. It is now known as Viswanath's constant.

A repfigit, or Keith number, is an integer such that, when its digits start a Fibonacci sequence with that number of digits, the original number is eventually reached. An example is 47, because the Fibonacci sequence starting with 4 and 7 (4,7,11,18,29,47) reaches 47. A repfigit can be a tribonacci sequence if there are 3 digits in the number, a tetranacci number if the number has four digits, etc. The first few repfigits are:

14, 19, 28, 47, 61, 75, 197, 742, 1104, 1537, 2208, 2580, 3684, 4788, 7385, 7647, 7909, … (sequence A007629 in OEIS)

Since the set of sequences satisfying the relation S(n) = S(n−1) + S(n−2) is closed under termwise addition and under termwise multiplication by a constant, it can be viewed as a vector space. Any such sequence is uniquely determined by a choice of two elements, so the vector space is two-dimensional. If we abbreviate such a sequence as (S(0), S(1)), the Fibonacci sequence F(n) = (0, 1) and the shifted Fibonacci sequence F(n−1) = (1, 0) are seen to form a canonical basis for this space, yielding the identity:

S(n) = S(0)F(n−1) + S(1)F(n)

for all such sequences S. For example, if S is the Lucas sequence 2, 1, 3, 4, 7, 11, ..., then we obtain $L(n)=2F(n-1)+F(n)$.

We can define N-generated Fibonacci sequence (While N is a positive rational number), if N = $2^{a_1}\cdot 3^{a_2}\cdot 5^{a_3}\cdot 7^{a_4}\cdot 11^{a_5}\cdot 13^{a_6}\cdot ...\cdot P_r(n-r)$, while P_r is the r-th prime, then we define $F_N(n)$ as $a_1F_N(n-1)\cdot a_2F_N(n-2)\cdot a_3F_N(n-3)\cdot a_4F_N(n-4)\cdot a_5F_N(n-5)\cdot a_6F_N(n-6)\cdot ...$, if n = r - 1, then $F_N(n)$ = 1, and if n < r - 1, then$F_N(n)$ = 0.

sequence	N	OEIS sequence
Fibonacci sequence	6	A000045
Pell sequence	12	A000129
Jacobsthal sequence	18	A001045
Tribonacci sequence	30	A000073
Tetranacci sequence	210	A000288
Padovan sequence	15	A000931

See also

• Fibonacci word

References

1. What is a Fibonacci Number ?
2. Pravin Chandra and Eric W. Weisstein, "Fibonacci Number", MathWorld.
3. Morrison, D. R. (1980), "A Stolarsky array of Wythoff pairs", A Collection of Manuscripts Related to the Fibonacci Sequence (PDF), Santa Clara, Calif: The Fibonacci Association, pp. 134–136.
4. Simon Plouffe, 1993
5. Wolfram, D.A. (1998). "Solving Generalized Fibonacci Recurrences" (PDF). Fib. Quart.
6. Du, Zhao Hui, 2008
7. Eric W. Weisstein, "Coin Tossing", MathWorld.
8. V. E. Hoggatt, Jr. and M. Bicknell-Johnson, "Fibonacci Convolution Sequences", Fib. Quart., 15 (1977), pp. 117-122.
9. "Sloane's A001629 ", The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.

External links

• Hazewinkel, Michiel, ed. (2001), "Tribonacci number", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4