an:03871453
Zbl 0547.10009
Downey, Peter J.; Griswold, Ralph E.
On a family of nested recurrences
EN
Fibonacci Q. 22, 310-317 (1984).
00148969
1984
j
11B39 11B37
recursive function; nested recursive definition
Let k be an integer and let \(g_ k(n)\) be a function defined by \(g_ k(n)=n-g_ k(g_ k(n-k))\) for integers \(n\geq 1\) and \(g_ k(n)=0\) for \(n\leq 0\). The authors give a closed form for the numbers \(g_ k(n)\) proving that \(g_ k(n)=\sum^{k-1}_{i=0}[\psi [(n+i)/k]+\psi],\) where \(\psi =(\sqrt{5}-1)/2\) and [x] denotes the greatest integer function. In case \(k=1\) the following interesting result is proved: The set of positive integers n for which \(g_ 1(n)-g_ 1(n-1)\neq 0\) is given by the set \(B_{\phi}=\{[\phi],[2\phi],...\},\) where \(\phi =\psi +1\).
P.Kiss