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

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

doi:10.5802/jtnb.247

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

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

Résumé
Abstract

L’équation différentielle fonctionnelle $f^{'} (t) = 1 / f (f (t))$ a des liens étroits avec la suite auto-décrite $F$ de Golomb, $\underset{1,}{\underset{︸}{1,}} \underset{2,}{\underset{︸}{2, 2,}} \underset{2,}{\underset{︸}{3, 3,}} \underset{3,}{\underset{︸}{4, 4, 4}} \underset{3,}{\underset{︸}{5, 5, 5,}} \underset{4,}{\underset{︸}{6, 6, 6, 6,}} \dots .$ 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 \geq 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 (n)$ dans l’expression asymptotique $F (n) = φ^{2 - φ} n^{φ - 1} + E (n)$ (où $φ$ est le nombre d’or).

The functional-differential equation $f^{'} (t) = 1 / f (f (t))$ is closely related to Golomb’s self-described sequence $F$ , $\underset{1,}{\underset{︸}{1,}} \underset{2,}{\underset{︸}{2, 2,}} \underset{2,}{\underset{︸}{3, 3,}} \underset{3,}{\underset{︸}{4, 4, 4}} \underset{3,}{\underset{︸}{5, 5, 5,}} \underset{4,}{\underset{︸}{6, 6, 6, 6,}} \dots .$ 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 \geq 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 (n)$ in the asymptotic expression $F (n) = φ^{2 - φ} n^{φ - 1} + E (n)$ (where $φ$ is the golden number).

MR 1730441 | Zbl 0973.11029

DOI : https://doi.org/10.5802/jtnb.247

@article{JTNB_1999__11_1_211_0,
     author = {P\'etermann, Y.-F. S. and R\'emy, J.-L. and Vardi, I.},
     title = {On a functional-differential equation related to {Golomb's} self-described sequence},
     journal = {Journal de Th\'eorie des Nombres de Bordeaux},
     pages = {211--230},
     publisher = {Universit\'e Bordeaux I},
     volume = {11},
     number = {1},
     year = {1999},
     doi = {10.5802/jtnb.247},
     zbl = {0973.11029},
     mrnumber = {1730441},
     language = {en},
     url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.247/}
}

Y.-F. S. Pétermann; J.-L. Rémy; I. Vardi. On a functional-differential equation related to Golomb's self-described sequence. Journal de Théorie des Nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 211-230. doi : 10.5802/jtnb.247. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.247/

Bibliographie

[Fi] N.J. Fine. Solution to problem 5407. Amer. Math. Monthly 74 (1967), 740-743. | MR 1534405

[Go] S.W. Golomb. Problem 5407. Amer. Math. Monthly 73 (1966), 674.

[Ma] Daniel Marcus. Solution to problem 5407. Amer. Math. Monthly 74 (1967), 740. | MR 1534405

[McK] M.A. Mckiernan. The functional differential equation D f = 1/ff. Proc. Amer. Math. Soc. 8 (1957), 230-233. | MR 84096 | Zbl 0078.11905

[Pé] Pétermann Y.-F.S. On Golomb's self describing sequence II. Arch. Math. 67 (1996), 473-477. | MR 1418909 | Zbl 0865.11022

[PéRé] Y.-F.S. Pétermann and Jean-Luc Rémy. Golomb's self-described sequence and functional differential equations. Illinois J. Math. 42 (1998), 420-440. | MR 1631240 | Zbl 0901.11009

[Ré] Jean-Luc Rémy. Sur la suite autoconstruite de Golomb. J. Number Theory 66 (1997), 1-28. | MR 1467187 | Zbl 0881.11024

[Va] Ilan Vardi. The error term in Golomb's sequence. J. Number Theory 40 (1992), 1-11. | MR 1145850 | Zbl 0758.11012