The generalized-Euler-constant function \(\gamma (z)\) and a generalization of Somos's quadratic recurrence constant (Q882012)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The generalized-Euler-constant function \(\gamma (z)\) and a generalization of Somos's quadratic recurrence constant
scientific article

    Statements

    The generalized-Euler-constant function \(\gamma (z)\) and a generalization of Somos's quadratic recurrence constant (English)
    0 references
    0 references
    0 references
    23 May 2007
    0 references
    The aim of present paper is to study the generalized-Euler-constant function \(\gamma(z)\), defined for \(| z| \leq 1\) by \(\gamma(z)=\sum_{n=1}^{\infty}z^{n-1}(\frac{1}{n}-\log\frac{n+1}{n})\) and extended analytically to \(\mathbb{C}-[1,\infty)\) by the integral representation \(\gamma(z)=\int_0^1 \int_0^1\frac{1-x}{(1-xyz)(-\log xy)}\,dx\,dy\). This function has some very important constants in heart; \(\gamma(1)=\gamma=0.577\cdots\) is the ``Euler's constant'', \(\gamma(-1)=\log\frac{4}{\pi}\) is the ``alternating Euler constant'', \(\gamma(\frac{1}{2})=2\log\frac{2}{\sigma}\) with \[ \sigma=\sqrt{1\sqrt{2\sqrt{3\cdots}}}=\prod_{n=1}^{\infty}n^{1/2^n}= 1.661\cdots \] is one of ``Somos's quadratic recurrence constant'' [\textit{N. J. A. Sloane}, The On-Line Encyclopedia of Integer Sequences (published electronically), Sequence A112302 (2003; Zbl 1044.11108)]. The authors give various relations between this function and some well known special functions such as the Riemann zeta-function \(\zeta(s)=\sum_{n=1}^{\infty}n^{-s}\) and the polylogarithm function \(\text{Li}_k(z)=\sum_{n=1}^{\infty}z^n n^{-k}\), which lead to some interesting formulas and expansions for the above mentioned constants. They define \[ \sigma_t=\root t\of {1\root t\of 2{\root t\of 3\cdots}}=\prod_{n=1}^{\infty}n^{1/t^n} \] for \(t>1\) as a generalization of Somos's quadratic recurrence constant, and they prove \(\gamma(\frac{1}{t})=t\log\frac{t}{(t-1)\sigma_t^{t-1}}\). They calculate \(\gamma(z)\) and \(\gamma'(z)\) at roots of unity, which end in evaluating several related series and infinite products. Calculation of \(\gamma'(z)\) is based on the Kinkelin-Bendersky hyperfactorial \(K\) function, the Weierstrass products for the gamma and Barnes \(G\) functions, and Jonquiere's relation for the polylogarithm. These methods allow them to evaluate some double integrals, and especially considering the ``Glaisher-Kinkelin constant'' \(A=\lim_{n\rightarrow\infty}1^12^2\cdots n^n n^{-\frac{n^2+n}{2}-\frac{1}{12}}e^{\frac{n^2}{4}}=1.282\cdots\), they show that \[ \gamma'(-1)=\log\frac{2^{11/6}A^6}{\pi^{3/2}e} \quad\text{and}\quad \gamma''(-1)=\log\frac{2^{10/3}A^{24}}{\pi^4e^{13/4}}-\frac{7\zeta(3)}{2\pi^2}. \] The paper contains some delicate computations and methods of analysis.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    alternating Euler constant
    0 references
    Euler constant
    0 references
    generalized-Euler-constant function
    0 references
    Glaisher-Kinkelin constant
    0 references
    infinite nested radical
    0 references
    inversion formula
    0 references
    polylogarithm series
    0 references
    Somos's quadratic recurrence constant
    0 references
    0 references
    0 references
    0 references