I am exploring the properties of a generalization of Fibonacci numbers and have been encountered an issue.
Specifically I am trying to find the limit of the ratio of the the sequence:
A(n) = A(n-1) + A(n-m)
A(n) = n+1 for 0 <= k < m
when m = 2 this is the Fibonacci sequence.
It's clear that the solution is the real root of the polynomial:
x^m - x^(m-1) - 1 = 0
For n=1 the ratio is 2, n=2 is the golden ratio and n=3 is the supergolden ratio. But beyond that I haven't made much progress. I have written a script to generate the sequences and approximate the ratio which has given the following for the for 1 <= m <= 10:
1: 2.0: [1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288]
2: 1.618033988749895: [1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946]
3: 1.465571231876768: [1, 2, 3, 4, 6, 9, 13, 19, 28, 41, 60, 88, 129, 189, 277, 406, 595, 872, 1278, 1873]
4: 1.3802775690976141: [1, 2, 3, 4, 5, 7, 10, 14, 19, 26, 36, 50, 69, 95, 131, 181, 250, 345, 476, 657]
5: 1.324717957244746: [1, 2, 3, 4, 5, 6, 8, 11, 15, 20, 26, 34, 45, 60, 80, 106, 140, 185, 245, 325]
6: 1.2851990332453493: [1, 2, 3, 4, 5, 6, 7, 9, 12, 16, 21, 27, 34, 43, 55, 71, 92, 119, 153, 196]
7: 1.2554228710768465: [1, 2, 3, 4, 5, 6, 7, 8, 10, 13, 17, 22, 28, 35, 43, 53, 66, 83, 105, 133]
8: 1.2320546314285723: [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 18, 23, 29, 36, 44, 53, 64, 78, 96]
9: 1.21314972305964: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 19, 24, 30, 37, 45, 54, 64, 76]
Is there a known solution for this? Or a proof there isn't one?
Thank you
I am not sure what you want. You have essentially specified the answer to be a root of a certain polynomial equation.
If you want to express the solution in terms of radicals (i.e. $n$th roots) like $\phi = \frac{1+\sqrt5}2$ then I am afraid this is impossible, and the reason has to do with Galois theory, so you can ignore the following if you are unfamiliar with Galois theory.
But if you are, then e.g. the case where $m=7$ we have the polynomial $x^7 - x^6 - 1$ whose Galois group is $S_7$ (computed with PARI/GP) which is not solvable, so its roots cannot be expressed using radicals.