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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    Mahler functions
    0 references
    Mahler numbers
    0 references
    irrationality exponent
    0 references
    Hankel determinant
    0 references
    0 references
    0 references
    0 references