The relation between a generalized Fibonacci sequence and the length of Cunningham chains
Let p be a prime number. A chain {p,2p+1,4p+3,⋯,(p+1)2l(p)−1−1} is called the Cunningham chain generated by p if all elements are prime number and (p+1)2l(p)−1 is composite. Then l(p) is called the length of the Cunningham chain. It is conjectured by Bateman and Horn in 1962 that the number of prime p≤N such that l(p)≥k is asymptotically equal to BkN/(logN)k with a real Bk>0 for all natural number k. This suggests that l(p)=Ω(logp/loglogp). However, so far no good estimation is known. It has not even been proven whether limsupp→∞l(p) is infinite or not. All we know is that l(p)=5 if p=2 and l(p)<p for odd p by Fermat's little theorem. Let α≥3 be an integer. In this article, a generalized Fibonacci sequence Fα={Fn}n=0∞ is defined as F0=0,F1=1,Fn+2=αFn+1+Fn(n≥0), and Fασ(n)=∑d∣n,0<d∈Fαd is called a divisor function on Fα. Then we obtain an interesting relation between the iteration of Fασ and the length of Cunningham chains. For two primes p and q, the fact p=2q+1 or 2q−1 is equivalent to Fασ(Fασ(Fp))=Fασ(Fq) for some α. By this relation, we get l(p)≪logp under a certain condition. It seems that this sufficient condition is plausible by numerical test. Furthermore, the condition, written in terms of prime numbers, can be replaced by the condition written in terms of natural numbers. This implies that the problem of upper estimation of l(p) is reduced to that on natural numbers.