[论文解读] A family of meta-Fibonacci sequences defined by variable order recursions

Nathaniel D. Emerson|ArXiv.org|Aug 26, 2005

Advanced Mathematical Theories and Applications参考文献 10被引用 3

一句话总结

本文引入了一类新的元斐波那契数列——变阶r-斐波那契数列，其中递推阶数r(n)随n变化，且每一项b(n)为前r(n)项之和。通过引入两个关键函数λ(n)和μ(n,s)，建立了b(n)的紧致闭式上下界，证明了b(n)的增长率受这些项的限制，从而能够精确估计在包括指数、线性和对数在内的各种增长模式下的序列行为。

ABSTRACT

We define a family of meta-Fibonacci sequences where the order of the of recursion at stage n is a variable r(n), and the n^{th} term of a sequence is the sum of the previous r(n) terms. For the terms of any such sequence, we give upper and lower bounds which depend only on r(n).

研究动机与目标

• 定义并分析一类新的元斐波那契数列，其中递推阶数r(n)随n变化。
• 解决当r(n)为次线性时，变递推阶数序列缺乏通用界的问题。
• 提供仅依赖于递推阶数序列r(1), ..., r(n)的b(n)的闭式估计。
• 刻画该家族中可能的全部增长速率谱——包括指数、线性和对数增长。
• 将框架推广至允许负索引和任意初值，从而扩展其适用范围，超越标准序列。

提出的方法

• 通过递推式b(n) = Σ_{k=1}^{r(n)} b(n-k)（n > 1），定义变阶r-斐波那契数列，其中b(0) = 1且r(n)为次线性函数。
• 引入两个辅助函数：λ(n) = 1 + (r(n) - 1)/r(n-1) 和 μ(n,s) = 2 + [r(n) - r(n-1) - 1] × ∏_{k=n-s}^{n-1} 1/r(k)，以捕捉增长动态。
• 建立主定理：比值b(n)/b(n-1)被限定在min{λ(n), μ(n,r(n)-1)}与max{λ(n), μ(n,r(n-1))}之间。
• 通过从n=2到n的比值估计进行错位相乘，推导出b(n)的乘积形式界。
• 通过将r(n)扩展至整数集Z并递归反向定义β(n)，将序列推广至所有整数，从而允许任意初值。
• 证明当r(n)满足有限M_r = sup(r(n) - n)时，扩展后的序列构成一个维度为M_r的实向量空间。

实验结果

研究问题

• RQ1 当递推阶数r(n)随n变化而非固定时，元斐波那契数列的增长率行为如何？
• RQ2 能否为b(n)推导出仅依赖于递推阶数序列r(1), ..., r(n)的紧致闭式上下界？
• RQ3 在变阶元斐波那契数列中，可能的生长行为范围——包括指数、线性和对数增长——是什么？
• RQ4 能否在保持递推关系并允许任意初值的前提下，将序列扩展至负索引？
• RQ5 当此类序列推广至所有整数时，其解空间的维度是多少？

主要发现

• 比值b(n)/b(n-1)被限定在min{λ(n), μ(n,r(n)-1)}与max{λ(n), μ(n,r(n-1))}之间，从而在每一步实现对增长的精确控制。
• 序列b(n)的增长最多为指数级；若对所有充分大的n都有r(n) > 1，则其至少为指数级增长。
• 线性增长是可能的，但仅当r(n) = 1无限次成立时；此时渐近密度L = lim b(n)/n必须为零。
• 对数增长（如Θ(log₂ n)或更慢）可通过在稀疏点（如n = 2^{2^k}）仅设r(n) = 2来实现。
• 扩展后的变阶r-斐波那契序列构成一个维度为M_r = sup(r(n) - n)的实向量空间，推广了原始家族。
• 当r(n)为次线性时，M_r = 1，因此解空间为一维，由β(-1)参数化。