On the arithmetic nature of the values of the gamma function, Euler's constant, and Gompertz's constant (Q1940057)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the arithmetic nature of the values of the gamma function, Euler's constant, and Gompertz's constant
scientific article

    Statements

    On the arithmetic nature of the values of the gamma function, Euler's constant, and Gompertz's constant (English)
    0 references
    0 references
    5 March 2013
    0 references
    For \(\alpha\in{\mathbb C}\) and \(z\in{\mathbb C}\) with \(z\not\in {\mathbb R}_{\leq 0}\), define \[ {\mathcal G}_\alpha(z) =z^{-\alpha} \int_0^\infty (t+z)^{\alpha-1} e^{-t} \,dt. \] The first part of Theorem 1 of the paper under review is a sharp measure of simultaneous rational approximation to the two numbers \[ \xi_1=\frac{\Gamma(\alpha)}{z^\alpha} \quad\text{and}\quad \xi_2={\mathcal G}_\alpha(z), \] where \(\alpha\in{\mathbb Q}\setminus{\mathbb Z}\) and \(z\in{\mathbb Q}\), \(z>0\): for any \(\varepsilon>0\), there exists a constant \(c\) such that, for any \(p,q,r\) in \({\mathbb Z}\) with \(q\not=0\), \[ \left|\xi_1-\frac{p}{q}\right| + \left|\xi_2-\frac{r}{q}\right| >\frac{c}{H^{3+\varepsilon}}, \] where \(H=\max\{|p|, |q|, |r|\}\). The second part of Theorem 1 states that the same measure holds for the two numbers \[ \xi_1=\gamma+\log z \quad\text{and}\quad \xi_2={\mathcal G}_0(z), \] where \(z\in{\mathbb Q}\), \(z>0\). As a consequence, in both cases, one at least of the two numbers \(\xi_1\), \(\xi_2\) is irrational. Here, \(\gamma\) is Euler's constant. Gompertz constant is \({\mathcal G}_0(1)\) [\textit{A. I. Aptekarev}, ``On linear forms containing the Euler constant'', \url{arxiv:0902.1768}]. The proof rests on Hermite--Padé approximants. The second result is proved using Shidlovskiĭ's theorem on algebraic independence of values of \(E\)--functions: for any algebraic number \(z\) with \(z\not\in {\mathbb R}_{\leq 0}\) and any algebraic number \(\alpha\) with \(\alpha\not\in{\mathbb Z}\), two at least of the three numbers \[ e^z,\quad \frac{\Gamma(\alpha)}{z^\alpha}, \quad {\mathcal G}_\alpha(z) \] are algebraically independent, and two at least of the three numbers \[ \gamma+\log z, \quad e^z,\quad {\mathcal G}_0(z) \] are algebraically independent. The author explains the connection of his second theorem with earlier results due to [\textit{K. Mahler}, Proc. R. Soc. Lond., Ser. A 305, 149--173 (1968; Zbl 0164.05702)].
    0 references
    Euler constant
    0 references
    Gompertz constant
    0 references
    \(E\)-function
    0 references
    Gamma function
    0 references
    irrationality measure
    0 references
    transcendence
    0 references
    algebraic independence
    0 references
    Padé approximant
    0 references
    Shidlovskiĭ's theorem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references