Fonction exponentielle double

Aho et Sloane remarquèrent que, pour certaines suites entières importantes, chaque terme successif est égal au carré du terme précédent plus une constante. Ils montrèrent que de telles suites peuvent être calculées en arrondissant à l’entier le plus proche les valeurs d’une exponentielle double de la forme : ${\displaystyle f(x)=a^{2^{x}}}$[2].

Les suites d'entiers qui suivent ce schéma sont, en particulier :

• Les nombres de Fermat :

${\displaystyle F(m)=2^{2^{m}}+1}$

• Les nombres doubles de Mersenne :

${\displaystyle MM(p)=2^{2^{p}-1}-1}$

• Les termes successifs de la série de Sylvester (suite A000058 de l'OEIS) :

${\displaystyle s_{n}=\left\lfloor E^{2^{n+1}}+{\frac {1}{2}}\right\rfloor }$

où E ≈ 1,264084735305 est la constante de Vardi (suite A076393 de l'OEIS).

• L’arité des opérateurs logiques :

${\displaystyle 2^{2^{n}}}$

Plus généralement, si la nième valeur d'une suite d’entiers est proportionnelle à une fonction exponentielle double de n, Ionescu et Stanica qualifient la série de « presque exponentielle double » et indiquent les conditions selon lesquelles elle peut être calculée comme l’arrondi inférieur (arrondi par troncation) d’une série exponentielle double, plus, éventuellement, un coefficient constant[3].

D’autres suites de ce type sont :

• Les nombres premiers 2, 11, 1 361, … (suite A051254 de l'OEIS)

${\displaystyle a(n)=\left\lfloor A^{3^{n}}\right\rfloor }$

où A ≈ 1,306377883863 est la constante de Mills.