On a functional-differential equation related to Golomb's self-described sequence

Pétermann, Y.-F. S. ; Rémy, J.-L. ; Vardi, I.

Journal de théorie des nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 211-230

Abstract (VO)

The functional-differential equation $f^{\text{'}}\left(t\right)=1/f\left(f\left(t\right)\right)$ is closely related to Golomb’s self-described sequence $F$,

$$\underset{1,}{\underbrace{1,}}\underset{2,}{\underbrace{2,2,}}\underset{2,}{\underbrace{3,3,}}\underset{3,}{\underbrace{4,4,4}}\underset{3,}{\underbrace{5,5,5,}}\underset{4,}{\underbrace{6,6,6,6,}}\cdots .$$

We describe the increasing solutions of this equation. We show that such a solution must have a nonnegative fixed point, and that for every number $p\ge 0$ there is exactly one increasing solution with $p$ as a fixed point. We also show that in general an initial condition doesn’t determine a unique solution: indeed the graphs of two distinct increasing solutions cross each other infinitely many times. In fact we conjecture that the difference of two increasing solutions behaves very similarly as the error term $E\left(n\right)$ in the asymptotic expression $F\left(n\right)={\phi }^{2-\phi }{n}^{\phi -1}+E\left(n\right)$ (where $\phi$ is the golden number).

Résumé

L’équation différentielle fonctionnelle $f^{\text{'}}\left(t\right)=1/f\left(f\left(t\right)\right)$ a des liens étroits avec la suite auto-décrite $F$ de Golomb,

$$\underset{1,}{\underbrace{1,}}\underset{2,}{\underbrace{2,2,}}\underset{2,}{\underbrace{3,3,}}\underset{3,}{\underbrace{4,4,4}}\underset{3,}{\underbrace{5,5,5,}}\underset{4,}{\underbrace{6,6,6,6,}}\cdots .$$

Nous décrivons les solutions croissantes de cette équation. Nous montrons qu’une telle solution possède nécessairement un point fixe non négatif, et que pour chaque nombre $p\ge 0$ il y a exactement une solution croissante ayant $p$ pour point fixe. Nous montrons également qu’en général une condition initiale ne détermine pas une solution unique: les courbes représentatives de deux solutions croissantes distinctes se croisent en effet une infinité de fois. En fait, nous conjecturons que la différence de deux solutions croissantes se comporte de façon très similaire au terme d’erreur $E\left(n\right)$ dans l’expression asymptotique $F\left(n\right)={\phi }^{2-\phi }{n}^{\phi -1}+E\left(n\right)$ (où $\phi$ est le nombre d’or).