Théorème de Lochs

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, et plus précisément en analyse, le théorème de Lochs, démontré en 1964 par Gustav Lochs (de), un élève de Kurt Reidemeister^[1], est un résultat concernant la vitesse de convergence du développement en fraction continue d'un nombre réel typique.

Énoncé

Pour presque tous les nombres réels de l'intervalle ]0, 1[, le nombre m de termes du développement de ce réel en fraction continue permettant d'en obtenir les n premières décimales a le comportement asymptotique suivant :

${\displaystyle \lim _{n\rightarrow \infty }{\frac {m}{n}}={\frac {6\ln 2\ln 10}{\pi ^{2}}}\approx 0{,}97027014}$ (suite A086819 de l'OEIS)^[2].

On peut interpréter ce résultat comme affirmant que chaque terme supplémentaire de la représentation en fraction continue d'un réel « typique » donne une précision d'un peu plus d'une décimale supplémentaire. La base dix est d'ailleurs la plus grande base pour laquelle la représentation positionnelle est moins précise (à ce sens) que celle en fraction continue : en base onze, la constante correspondante, ${\displaystyle {\frac {6\ln 2\ln 11}{\pi ^{2}}}\approx 1{,}010432}$, devient supérieure à 1.

L'inverse de cette limite,

${\displaystyle {\frac {\pi ^{2}}{6\ln 2\ln 10}}\approx 1{,}03064083}$ (suite A062542 de l'OEIS),

est le double du logarithme décimal de la constante de Lévy.

Notes et références

Bibliographie

• (en) Karma Dajani et Cor Kraaikamp, Ergodic theory of numbers, Cambridge University Press, 2002 (ISBN 978-0-88385034-3), p. 173 sur Google Livres
• (en) C. Faivre, « A central limit theorem related to decimal and continued fraction expansion », Arch. Math., vol. 70, n^o 6, 1998, p. 455-463 DOI 10.1007/s000130050219

• Portail de l'analyse