A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations Iaroslav V. Blagouchine∗ University of Toulon, France. Abstract Recently, it was conjectured that the first generalized Stieltjes constant at rational argument may be always expressed by means of Euler’s constant, the first Stieltjes constant, the Γ-function at ratio- nal argument(s) and some relatively simple, perhaps even elementary, function. This conjecture was based on the evaluation of γ1(1/2), γ1(1/3), γ1(2/3), γ1(1/4), γ1(3/4), γ1(1/6), γ1(5/6), which could be expressed in this way. This article completes this previous study and provides an elegant theorem which allows to evaluate the first generalized Stieltjes constant at any rational argument. Sev- eral related summation formulæ involving the first gener- alized Stieltjes constant and the Digamma function are also presented. In passing, an interesting integral representation for the logarithm of the Γ-function at rational argument is also obtained. Finally, it is shown that similar theorems may be de- rived for higher Stieltjes constants as well; in particular, for the second Stieltjes constant the theorem is provided in an explicit form. Keywords: Stieltjes constants, Generalized Euler’s constants, Special constants, Number theory, Zeta function, Gamma function, Digamma function, Psi function, Malmsten, Rational arguments, Logarithmic integrals, Logarithmic series, Complex analysis, Orthogonal expansions. I. Introduction and notations I.1. Introduction The ζ-functions are one of more important special functions in modern analysis and theory of functions. The most known and frequently encountered ζ-functions are Riemann and Hurwitz ζ- arXiv:1401.3724v3 [math.NT] 23 Feb 2015 ∗Corresponding author. Phones: +33–970–46–28–33, +7–953–358–87–23. Email address: [email protected] (Iaroslav V. Blagouchine) Note to the readers of the 3rd arXiv version: this version is a copy of the journal version of the article, which has been published in the Journal of Number Theory (Elsevier), vol. 148, pp. 537-592, 2015. DOI 10.1016/J.JNT.2014.08.009 http://www.sciencedirect.com/science/article/pii/S0022314X14002820 Artcile history: submitted 14 January 2014, accepted 19 August 2014, published on-line 7 October 2014. The layout of the present version and its page numbering differ from the journal version, but the content, the numbering of equations and the numbering of references are the same. This version also incorporates some minor corrections to the final journal version, which were published on-line in the same journal on February 3, 2015 (DOI 10.1016/J.JNT.2015.01.001), and which are mainly due to the publisher’s typesetters. For any further reference to the material published here, please, use the journal version of the paper, which you can always get for free by writing a kind e-mail to the author. functions. They are classically introduced as the following series ∞ 1 ∞ 1 ζ(s) = ∑ s , ζ(s, v) = ∑ s , v = 0, 1, 2,... n=1 n n=0 (n + v) 6 − − convergent for Re s > 1, and may be extended to other domains of s by the principle of analytic continuation. It is well known that ζ(s) and ζ(s, v) are meromorphic on the entire complex s-plane and that their only pole is a simple pole at s = 1 with residue 1. They can be, therefore, expanded in the Laurent series in a neighborhood of s = 1 in the following way 1 ∞ ( 1)n(s 1)n ζ(s) = + ∑ − − γn, s = 1, (1) s 1 n! 6 − n=0 and 1 ∞ ( 1)n(s 1)n ζ(s, v) = + ∑ − − γn(v), s = 1, (2) s 1 n! 6 − n=0 respectively. Coefficients γn appearing in the regular part of expansion (1) are called Stieltjes con- stants or generalized Euler’s constants, while those appearing in the regular part of (2), γn(v), are called generalized Stieltjes constants. It is obvious that γn(1) = γn since ζ(s,1) = ζ(s). The study of these coefficients is an interesting subject and may be traced back to the works of Thomas Stieltjes and Charles Hermite [25, vol. I, letter 71 and following]. In 1885, first Stieltjes and then Hermite, proved that m lnn k lnn+1 m γn = lim ∑ , n = 0,1,2,... (3) m ∞ k n + → (k=1 − 1 ) Later, this formula was also obtained or simply stated in works of Johan Jensen [47, 50], Jørgen Gram [37], Godfrey Hardy [42], Srinivasa Ramanujan [19] and many others. From (3), it is visible that γ0 is Euler’s constant γ. However, the study of other Stieltjes constants revealed to be more difficult and, at the same time, interesting. In 1895 Franel [33], by using contour integration techniques, showed that2 ∞ 1 1 dx lnn(1 ix) lnn(1 + ix) γn = δ + − , n = 0,1,2,... (4) 2 n,0 i ˆ e2πx 1 1 ix − 1 + ix 0 − − Ninety years later this integral formula was discovered independently by Ainsworth and Howell who also provided a very detailed proof of it [4]. Following Franel’s line of reasoning, one can also obtain these formulæ3 +∞ n+1 1 π ln 2 ix γn = ± dx n = 0,1,2,... (5) − 2(n + 1) ˆ ch2πx ∞ − 2There was a priority dispute between Jensen, Kluyver and Franel related to this formula [33, 50]. In fact, it can be straight- forwardly deduced from the first integral formula for the ζ-function (88) which was first obtained by Jensen in 1893 [49]. By the way, we corrected the original Franel’s formula which was not valid for n = 0 [this correction comes from (13) and (14) here after]. 3The proof is analogous to that given for the formula (13) here after, except that the Hermite representation should be replaced by the third and second Jensen’s formulæ for ζ(s) (88) respectively. 2 and ∞ ln 2 dx ln(1 ix) ln(1 + ix) γ = γ ln 2 + i − 1 − − 2 ˆ eπx + 1 1 ix − 1 + ix 0 − ∞ ln22 dx ln2(1 ix) ln2(1 + ix) γ2 = 2γ1 + γ ln 2 ln 2 + i πx − − " − 3 # ˆ e + 1 ( 1 ix − 1 + ix ) (6) 0 − ∞ 3 3 3 2 ln 2 dx ln (1 ix) ln (1 + ix) γ3 = 3γ2 + 3γ1 ln 2 + γ ln 2 ln 2 + i πx − − " − 4 # ˆ e + 1 ( 1 ix − 1 + ix ) 0 − ......... first of which is particularly simple.4 Other important results concerning the Stieltjes constants lie in the field of rational expressions of natural numbers, as well as in the closely related field of inte- ger parts of functions. In 1790 Lorenzo Mascheroni [69, p. 23], by using some previous findings of Gregorio Fontana, showed that5 ∞ ∞ ak z k < γ = ∑ | | , where = 1 + ∑ akz , z 1 (7) k=1 k ln(1 + z) k=1 | | i.e. ak are coefficients in the Maclaurin expansion of z/ ln(1 + z) and are usually referred as to (recip- rocal) logarithmic numbers or Gregory’s coefficients (in particular a = 1 , a = 1 , a = 1 , a = 19 , 1 2 2 − 12 3 24 4 − 720 a = 3 , a = 863 , ...).6 Fontana–Mascheroni’s series (7) seems to be the first known series 5 160 6 − 60 480 representation for Euler’s constant containing rational coefficients only and was subsequently redis- covered several times, in particular by Kluyver in 1924 [52], by Kenter in 1999 [51] and by Kowalenko in 2008 [55] (this list is far from exhaustive, see e.g. [56]). In 1897 Niels Nielsen [73, Eq. (6)] showed that ∞ 2k 1 − k γ = 1 ∑ ∑ (8) − k 1 (2l + 1)(2l + 2) k=1 l=2 − This formula was also the subject of several rediscoveries, e.g. by Addison in 1967 [3] and by Gerst in 1969 [35].7 In 1906 Ernst Jacobsthal [48, Eq. (9)] and in 1910 Giovanni Vacca [84], apparently indepen- 4Despite the surprising simplicity of these formulæ, we have not found them in the literature devoted to Stieltjes constants. In contrast, formula (5) seems to be known; at least its variant for the generalized Stieltjes constant may be found in [17]. 5The series itself was given by Fontana, who, however, failed to find a constant to which it converges (he only proved that it should be lesser than 1). Mascheroni identified this Fontana’s constant and showed that it equals Euler’s constant [69, pp. 21–23]. Taking into account that both Fontana and Mascheroni did practically the equal work, we propose to call (7) Fontana–Mascheroni’s series for Euler’s constant. 6These coefficients have a venerable history and were named after James Gregory who gave first six of them in November 3 1670 in a letter to John Collins [83, vol. 1, p. 46] (although in the fifth coefficient there is an error or misprint: 164 should be 3 replaced by 160 ). Coefficients ak are also closely related to the Cauchy numbers of the first kind C1,k, to the generalized Bernoulli C1,k numbers, to the Stirling polynomials and to the signed Stirling numbers of the first kind S1(k, l). In particular, ak = k! = 1 S1 (k,l) o k! ∑ l+1 , where the summation extends over l = [1, k], see e.g. [26], [20, pp. 293–294, n 13], [7, vol. III, p. 257], [56], [13]. 7The actual Addison’s formula [3] is slightly different, but it straightforwardly reduces to (8) by partial fraction decompo- sition. In [3], we also find a misprint: the upper bound in the second sum on p. 823 should be the same as in (8). As regards Gerst’s formula [35], it is exactly the same as (8).