Suites partiellement récurrentes (applications à la répartition modulo 1 et aux propriétés arithmétiques des fonctions analytiques)

Rauzy, Gérard. "Suites partiellement récurrentes (applications à la répartition modulo 1 et aux propriétés arithmétiques des fonctions analytiques)." Annales de l'institut Fourier 16.1 (1966): 159-234. <http://eudml.org/doc/73892>.

@article{Rauzy1966,
abstract = {À tout ensemble d’entiers positifs, on attache un nombre $\ge 1$, éventuellement infini nommé fréquence de cet ensemble et mesurant la longueur relative des tranches d’entiers consécutifs de cet ensemble. La notion de fréquence présente peu de rapport avec celle de densité et par exemple un ensemble et son complémentaire peuvent être tous deux de fréquence infinie.Les deux principaux résultats sont alors les suivants :1.- Soit $\theta &gt;1$ algébrique. La condition nécessaire et suffisante pour qu’existe un ensemble $J$ de fréquence infinie et un nombre réel $\lambda \ne 0$ tels que :\begin\{\}\overline\{\rm lim\}\_\{n\in J\}\Vert \lambda \theta ^n\Vert = 0\end\{\}(où $\Vert x\Vert =\vert x-k\vert $, $k$ étant l’entier le plus voisin de $x$) est que $\theta $ soit un entier algébrique dont tous les conjugués sont à l’intérieur ou sur le cercle unité.2.- Soit $f$ une fonction entière de type exponentiel telle que :\begin\{\}\overline\{\rm lim\}\_\{\vert z\vert \rightarrow \infty \}\{1\over \vert x\vert \} \,\{\rm Log\}\vert f(z)\vert &lt; \; \{\rm Log\}\, 2,\end\{\}si $f(n)$ est entier quand $n$ parcourt un ensemble de fréquence infinie, alors $f$ est un polynôme.Le premier résultat donne une caractérisation commune des nombres de Pisot et de Salem. Sa réciproque délicate à établir dans le dernier cas montre en outre que l’on peut toujours construire un ensemble $J$ tel que l’ensemble des $\lambda $ correspondants ait la puissance du continu, bien que de mesure de Lebesgue nulle. Si $\theta $ est un nombre de Salem, une application presque directe du théorème de Roth montre en outre que les $\lambda $ en question sont transcendants.},
author = {Rauzy, Gérard},
journal = {Annales de l'institut Fourier},
keywords = {partially recurrent sequences; distribution mod one; arithmetic properties of analytic functions},
language = {fre},
number = {1},
pages = {159-234},
publisher = {Association des Annales de l'Institut Fourier},
title = {Suites partiellement récurrentes (applications à la répartition modulo 1 et aux propriétés arithmétiques des fonctions analytiques)},
url = {http://eudml.org/doc/73892},
volume = {16},
year = {1966},
}

TY - JOUR
AU - Rauzy, Gérard
TI - Suites partiellement récurrentes (applications à la répartition modulo 1 et aux propriétés arithmétiques des fonctions analytiques)
JO - Annales de l'institut Fourier
PY - 1966
PB - Association des Annales de l'Institut Fourier
VL - 16
IS - 1
SP - 159
EP - 234
AB - À tout ensemble d’entiers positifs, on attache un nombre $\ge 1$, éventuellement infini nommé fréquence de cet ensemble et mesurant la longueur relative des tranches d’entiers consécutifs de cet ensemble. La notion de fréquence présente peu de rapport avec celle de densité et par exemple un ensemble et son complémentaire peuvent être tous deux de fréquence infinie.Les deux principaux résultats sont alors les suivants :1.- Soit $\theta &gt;1$ algébrique. La condition nécessaire et suffisante pour qu’existe un ensemble $J$ de fréquence infinie et un nombre réel $\lambda \ne 0$ tels que :\begin{}\overline{\rm lim}_{n\in J}\Vert \lambda \theta ^n\Vert = 0\end{}(où $\Vert x\Vert =\vert x-k\vert $, $k$ étant l’entier le plus voisin de $x$) est que $\theta $ soit un entier algébrique dont tous les conjugués sont à l’intérieur ou sur le cercle unité.2.- Soit $f$ une fonction entière de type exponentiel telle que :\begin{}\overline{\rm lim}_{\vert z\vert \rightarrow \infty }{1\over \vert x\vert } \,{\rm Log}\vert f(z)\vert &lt; \; {\rm Log}\, 2,\end{}si $f(n)$ est entier quand $n$ parcourt un ensemble de fréquence infinie, alors $f$ est un polynôme.Le premier résultat donne une caractérisation commune des nombres de Pisot et de Salem. Sa réciproque délicate à établir dans le dernier cas montre en outre que l’on peut toujours construire un ensemble $J$ tel que l’ensemble des $\lambda $ correspondants ait la puissance du continu, bien que de mesure de Lebesgue nulle. Si $\theta $ est un nombre de Salem, une application presque directe du théorème de Roth montre en outre que les $\lambda $ en question sont transcendants.
LA - fre
KW - partially recurrent sequences; distribution mod one; arithmetic properties of analytic functions
UR - http://eudml.org/doc/73892
ER -