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
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
irrationality measure exponent
0 references
continued fraction
0 references
Hone's type expansion
0 references
recurrence sequence
0 references