Convergents and irrationality measures of logarithms
Rivoal, Tanguy
Rev. Mat. Iberoamericana, Tome 23 (2007) no. 1, p. 931-952 / Harvested from Project Euclid
We prove new irrationality measures with restricted denominators of the form $\mathrm{d}_{\lfloor\nu m\rfloor}^s B^m$ (where $B, m \in\mathbb{N}, \nu > 0$, $s\in\{0,1\}$ and $\mathrm{d}_m=\textup{lcm}\{1,2, \ldots, m\}$) for values of the logarithm at certain rational numbers $r>0$. In particular, we show that such an irrationality measure of $\log(r)$ is arbitrarily close to 1 provided $r$ is sufficiently close to 1. This implies certain results on the number of non-zero digits in the $b$--ary expansion of $\log(r)$ and on the structure of the denominators of convergents of $\log(r)$. No simple method for calculating the latter is known. For example, we show that, given integers $a,c\ge 1$, for all large enough $b, n$, the denominator $q_n$ of the $n$--th convergent of $\log(1\pm a/b)$ cannot be written under the form $\dd_{\lfloor\nu m\rfloor}^s (bc)^m$: this is true for $a=c=1$, $b \ge 12$ when $s=0$, resp. $b \ge 2$ when $s=1$ and $\nu=1$. Our method rests on a detailed diophantine analysis of the upper Padé table $([p/q])_{p\ge q\ge 0}$ of the function $\log(1-x)$. Finally, we remark that worse results (of this form) are currently provable for the exponential function, despite the fact that the complete Padé table $([p/q])_{p, q\ge 0}$ of $\exp(x)$ and the convergents of $\exp(1/b)$, for $\vert b\vert \ge 1$, are well-known, for example.
Publié le : 2007-12-15
Classification:  irrationality measures with restricted denominators,  convergents,  Padé approximants of the logarithm,  11J82,  11J60
@article{1204128306,
     author = {Rivoal, Tanguy},
     title = {Convergents and irrationality measures of logarithms},
     journal = {Rev. Mat. Iberoamericana},
     volume = {23},
     number = {1},
     year = {2007},
     pages = { 931-952},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204128306}
}
Rivoal, Tanguy. Convergents and irrationality measures of logarithms. Rev. Mat. Iberoamericana, Tome 23 (2007) no. 1, pp.  931-952. http://gdmltest.u-ga.fr/item/1204128306/