On the spectrum of irrationality exponents of Mahler numbers (Q2198369)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the spectrum of irrationality exponents of Mahler numbers |
scientific article |
Statements
On the spectrum of irrationality exponents of Mahler numbers (English)
0 references
10 September 2020
0 references
Let \(f(z)\) be a solution of \(f(z)=\frac {A(z)}{B(z)} f(z^d)\) where \(A, B\in \mathbb Q[z]\), \(B\not= 0\), \(d\in\mathbb Z\) and \(d\geq 2\). Assume that \(b\in\mathbb Z\) be inside the disk of convergence of \(f(z)\) such that \(A(b^{d^m}) B(b^{d^m})\not= 0\) for all \(m\in\mathbb Z_{\geq 0}\). Then the author proves that 1. if \(f(z)\in\mathbb Q((z^{-1}))\) and \(f(b)\) is irrational then the irrationality exponent of \(f(b)\) is a rational number. 2. if \(\mid b\mid\geq 2\), \(f(z)\in\mathbb Q((z^{-1}))\setminus \mathbb Q(z)\) is a Laurent series with \(\frac {p_k(z)}{q_k(z)}\) continued fractional convergents and \(d_k\) degree of \(q_k(z)\) then \(\mu(f(b))=1+\limsup_{k\to\infty}\frac {d_{k+1}}{d_k}\). He also proves that if the function \(f_A=f_{a_1,a_2}(z)\in\mathbb Z((z^{-1}))\) is a solution of the equation \(f_A=(z^2+a_1z+a_2)f_A(z^3)\) with \(a_1,a_2\in\mathbb Z\) then for any integer \(c\) with \(\mid c\mid \geq 2\) one has 1. for all \(s\in\mathbb Z\), if \(f_{s,s^2}(c)\) is irrational then \(\mu(f_{s,s^2}(c))=3\). 2. for all \(s\in\mathbb Z\), if \(f_{s^3,-s^2(s^2+1)}(c)\) is irrational then \(\mu(f_{s^3,-s^2(s^2+1)}(c))=3\). 3. if \(f_{\pm 2,1}(c)\) is irrational then \(\mu(f_{\pm 2,1}(c))=\frac {12}5\).
0 references
Mahler functions
0 references
Mahler numbers
0 references
irrationality exponent
0 references
Hankel determinant
0 references