Expansions of generalized Euler's constants into the series of polynomials in ^- 2 and into the formal enveloping series with rational coefficients only

DOI10.1016/J.JNT.2015.06.012MaRDI QIDQ495307zbMATH OpenOpenAlexWikidataFDO

Publication date 9 September 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.00740

Bernoulli numbers divergent series enveloping series formal series generalized Euler's constants harmonic numbers rational coefficients semi-convergent series series expansion Stieltjes constants Stirling numbers

Mathematics Subject Classification ID

Bernoulli and Euler numbers and polynomials (11B68) Bell and Stirling numbers (11B73) (zeta (s)) and (L(s, chi)) (11M06) Evaluation of number-theoretic constants (11Y60) Rate of convergence, degree of approximation (41A25) Numerical summation of series (65B10)

Abstract: In this work, two new series expansions for generalized Euler's constants (Stieltjes constants)

g a m m a_{m}

are obtained. The first expansion involves Stirling numbers of the first kind, contains polynomials in

p i^{- 2}

with rational coefficients and converges slightly better than Euler's series

s u m n^{- 2}

. The second expansion is a semi-convergent series with rational coefficients only. This expansion is particularly simple and involves Bernoulli numbers with a non-linear combination of generalized harmonic numbers. It also permits to derive an interesting estimation for generalized Euler's constants, which is more accurate than several well-known estimations. Finally, in Appendix A, the reader will also find two simple integral definitions for the Stirling numbers of the first kind, as well an upper bound for them.

Review text

La constante d'Euler \(\gamma= \lim_{n\to\infty} \left\{ \sum_{k=1}^n \frac{1}{k} -\ln n \right\}\) est une constante classique importante (tout comme \(0,1,i,\pi,\;e\)). Une généralisation naturelle de cette constante se trouve dans le développement en série de Laurent au voisinage de \(s=1\) de la fonction \(\zeta\) de Riemann: \[ \zeta(s)=\frac{1}{\,s-1\,} + \sum_{m=0}^\infty \frac{(-1)^m (s-1)^m}{m!} \gamma_m\,, \qquad\qquad \qquad s\neq1. \] On a \(\gamma_0=\gamma\) et les \(\gamma_m\) sont appellées \textit{constantes d'Euler généralisées} (ou \textit{constantes de Stieltjes}). Dans ce travail, l'auteur utilisant une représentation intégrale de Johan Jensen (1893) de la fonction \(\zeta\): \[ \zeta(s) = \frac{1}{s-1} + \frac{1}{2} + 2\!\!\int\limits_0^{\pi/2} \! \frac{(\cos\theta)^{s-2}\sin s\theta}{e^{2\pi\to\theta}-1}\, d\theta \, \,,\qquad\quad s\neq 1 \] donne un développement en série de \(\gamma _{m}\): \[ \gamma_m\,=\,\frac{1}{2}\delta_{m,0}+ \frac{\,(-1)^m m!\,}{\pi} \!\sum_{n=1}^\infty\frac{1}{\,n\cdot n!\,} \] \[ \sum_{k=0}^{\lfloor\!\frac{1}{2}n\!\rfloor}\frac{\,(-1)^{k}\big|S_1(2k+2,m+1)\big| \cdot\big|S_1(n,2k+1)\big|\,}{\,(2\pi)^{2k+1}\,} \] où \(m=0, 1, 2,\ldots{}\). En particulier, la constante d'Euler admet le développement en série ~: \[ \begin{aligned} \gamma\; &=\frac{1}{2}+ \frac{\,1\,}{\pi}\sum_{n=1}^\infty\frac{1}{\,n\cdot n!\,} \sum_{k=0}^{\lfloor\!\frac{1}{2}n\!\rfloor}\frac{\,(-1)^{k}\!\cdot (2k+1)!\cdot\big|S_1(n,2k+1)\big|}{\,(2\pi)^{2k+1}\,} \\ & =\frac{1}{2}+ \frac{1}{2\pi^2}+\frac{1}{8\pi^2}+\frac{1}{18}\!\left(\frac{1}{\pi^2}-\frac{3}{4\pi^4}\right) +\frac{3}{96}\!\left(\frac{1}{\pi^2}-\frac{3}{2\pi^4}\right)\\ & +\frac{1}{600}\!\left(\frac{12}{\pi^2}-\frac{105}{4\pi^4}+\frac{15}{4\pi^6}\right) +\frac{1}{4\,320}\!\left(\frac{60}{\pi^2}-\frac{675}{4\pi^4}+\frac{225}{4\pi^6}\right) + \ldots \end{aligned} \] ici \(S_1(n,l)\) désignent les nombres de Stirling de première espèce définit par: \[ \prod_{k=0}^{n-1} (z-k) \,=\,\sum_{l=1}^n S_1(n,l)\cdot z^l \] Une analyse détaillée de la vitesse de convergence de la série est donnée, elle est estimée à peu près comme celle de la série: \[ \sum_{n=2}^\infty\frac{\ln^m \!\ln n}{\,n^2\ln^2 \! n\,}\,, \qquad\quad m=0, 1, 2,\ldots \] En modifiant l'ordre des sommation, l'auteur obtient formellement un développement de \(\gamma _{m}\) en série semi convergente: \[ \begin{aligned} \gamma_m\:&\displaystyle =\,\frac{1}{2}\delta_{m,0}+(-1)^{m} m!\cdot\!\sum_{k=1}^{N}\frac{\,\big|S_1(2k,m+1)\big|\cdot{B}_{2k}\,}{(2k)!}+ \\ &\displaystyle\qquad\qquad\qquad\qquad\qquad\qquad \,+\, \theta\cdot\frac{\,(-1)^{m} m!\!\cdot \big|S_1(2N+2,m+1)\big|\cdot{B}_{2N+2}\,}{(2N+2)!}=\end{aligned} \] ù \(\theta\in(0,1)\), dépend de \(m\) et \(N\) et où \(B_{2k}\) désignent les nombres de Bernoulli classiques. L'auteur pense que le fait que ce développement en termes \textit{uniquement rationnels}, est pour \(m\neq 0\), un résultat nouveau et important historiquement.. De ce développement l'auteur tire une estimation de \(\gamma _{m}\) qui semble être plus précise que plusieures parmis celles connues~: \[ \begin{aligned} & (-1)^{\frac{1}{2}(m+1)}\frac{\,\big|{B}_{m+1}\big|\,}{m+1} < \gamma_m < (-1)^{\frac{1}{2}(m+1)}\left\{\frac{\,\big|{B}_{m+1}\big|\,}{m+1} - \frac{\,(3m+8)\cdot\big|{B}_{m+3}\big|\,}{24} \right\}, \qquad m=1, 3, 5,\ldots \\ & (-1)^{\frac{1}{2}m}\frac{\,\big|{B}_{m+2}\big|\,}{2} < \gamma_m < (-1)^{\frac{1}{2}m}\left\{\frac{\,\big|{B}_{m+2}\big|\,}{2} - \frac{\,(m+3)(m+4)\cdot\big|{B}_{m+4}\big|\,}{48} \right\}, \qquad m=2, 4, 6,\ldots \end{aligned} \] Enfin deux représentations intégrales des nombres de Stirling de première espèce sont donnée en appendice~: \[ \big|S_1(n,k) \big|\,=\,\frac{1}{\,2\pi\,}\!\!\! \int\limits_{\alpha-\pi}^{\alpha+\pi}\!\! \frac{\,\Gamma (n+e^{i\varphi})\,}{\Gamma(e^{i\varphi})}\, e^{-i\varphi k}\, d\varphi=\,\frac{(-1)^k}{\,2\pi\,}\cdot\frac{n!}{k!}\!\!\int\limits_{\alpha-\pi}^{\alpha+\pi}\!\! \frac{\,\ln^k\!\big(1-re^{i\varphi}\big)\,}{r^n} \, e^{-i\varphi n}\, d\varphi\, \] où \(\alpha\in\mathbb{R}\). On en déduit en particulier pour \(k=1,2,\ldots,n\) l'estimation~: \[ \big|S_1(n,k) \big|\,\leq\,\frac{n!}{\,\big(1-e^{-1}\big)^n\,k!\,} \] L'article donne une très large bibliographie sur le sujet, il est plein de notes historiques et peut s'avérer important pour les historiens.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Expansions of generalized Euler's constants into the series of polynomials in \(\pi^{- 2}\) and into the formal enveloping series with rational coefficients only

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q495307)