Irrationality exponents of generalized Hone series (Q2197714)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Irrationality exponents of generalized Hone series
scientific article

    Statements

    Irrationality exponents of generalized Hone series (English)
    0 references
    0 references
    0 references
    0 references
    1 September 2020
    0 references
    Let \((x_n)_{n\geq 1}\) be an increasing sequence of integers and \((y_n)_{n\geq 1}\) be a sequence of non-zero integers such that \(x_1>y_1\geq 1\) and \(\frac 1{x_n}(\frac{x_{n+2}x_n}{x_{n+1}^2}-\frac{y_{n+2}y_n}{y_{n+1}^2})\in\mathbb Z_{>0}\) for all \(n\geq 0\). Assume that \(\log \mid y_{n+2}\mid =o(\log x_n)\) and \(\liminf_{n\to\infty}\frac{\log x_{n+1}}{\log x_n}>2\). Then the authors prove that the series \(X=\sum_{n=1}^\infty \frac{y_n}{x_n}\) is convergent and the irrationality measure exponent is \[ \mu(X)=\max \Biggl(\limsup_{n\to\infty}\frac{\log x_{n+1}}{\log x_n}, 2+\frac 1{\displaystyle\liminf_{n\to\infty}\frac{\log x_{n+1}}{\log x_n}-1}\Biggr). \] The proof is based on transforming this series to suitable continued fraction.
    0 references
    0 references
    irrationality measure exponent
    0 references
    continued fraction
    0 references
    Hone's type expansion
    0 references
    recurrence sequence
    0 references
    0 references
    0 references