Michael R. Powers
Neither the Euler-Mascheroni constant, $\gamma=0.577215...$, nor the Euler-Gompertz constant, $\delta=0.596347...$, is currently known to be irrational. However, it has been proved that at least one of them is transcendental. The two constants are related by a well-known equation of Hardy, equivalent to $\gamma+\delta/e=\mathrm{Ein}(1)$, which recently has been generalized to $\gamma^{(n)}+\delta^{(n)}/e=\eta^{(n)}$, $n\ge0$ for sequences of constants $\gamma^{(n)}$, $\delta^{(n)}$, and $\eta^{(n)}$ (given respectively by raw, conditional, and partial moments of the Gumbel(0,1) probability distribution). Investigating the $\gamma^{(n)}$ through recurrence relations (where $\gamma^{(0)}=1$ and $\gamma^{(1)}=\gamma$), we find that at least one of the pair {$\gamma,\gamma^{(2)}$} and -- conditional on a realistic conjecture verified for $2\leq n\leq26$ -- at least two of each set {$\gamma,\gamma^{(n)},\gamma^{(n+1)},\ldots,\gamma^{(2n)}$} are transcendental, implying that the $\gamma^{(n)}$ are transcendental infinitely often (with analogous results for the sequence $\Gamma^{(n)}(1)=\left(-1\right)^{n}\gamma^{\left(n\right)}$). We then show, via a theorem of Shidlovskii, that the $\eta^{(n)}$ are algebraically independent, and therefore transcendental, for all $n\ge0$, implying that at least one of each pair, {$\gamma^{(n)},\delta^{(n)}/e$} and {$\gamma^{(n)},\delta^{(n)}$}, and at least two of the triple {$\gamma^{(n)},\delta^{(n)}/e,\delta^{(n)}$}, are transcendental for all $n\ge1$. Further analysis of the $\gamma^{(n)}$ and $\eta^{(n)}$ reveals that the values $\delta^{(n)}/e$ are transcendental infinitely often with positive asymptotic density. Finally, we provide parallel results for the sequences $\tilde{\delta}^{(n)}$ and $\tilde{\eta}^{(n)}$ satisfying the "non-alternating analogue" equation $\gamma^{(n)}+\tilde{\delta}^{(n)}/e=\tilde{\eta}^{(n)}$.