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
default for all languages
No label defined
    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
      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

      Identifiers

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