arxiv: v1 [math.ca] 17 Feb 2017

Size: px

Start display at page:

Download "arxiv: v1 [math.ca] 17 Feb 2017"

Julie Mitchell
5 years ago
Views:

1 GENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG-LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA arxiv:7549v [mathca] 7 Feb 7 Abstract In this note, we recall Kummer s Fourier series expansion of the -periodic function that coincides with the logarithm of the Gamma function on the unit interval,, and we use it to find closed forms for some numerical series related to the generalized Stieltjes constants, and some integrals involving the function x ln ln/x Introduction and Notation The aim of this paper is to present an alternative proof of the reflection principle of the first order generalized Stieltjes constants, and to give an alternative approach to the evaluation of some integrals involving the function x ln ln/x The basic tool for this investigation is a result of Kummer recalled below Theorem The first order generalized Stieltjes constant γ a is defined for a, by From this, it is easy to show that γ a = lim n n = γ a γ a = lim n lna + a + n = n ln n + a ln a + def = ln a + n a + a + n, n Z where the primed sum denotes the principal value as shown above For integers p and with < p < the difference γ p/ γ p/ can be expressed as follows γ p/ γ p/ = lne γ cot p + jp sin ln Γ j The formula is attributed to Almvist and Meurman who obtained it by calculating the derivative of the functional euation for the Hurwitz zeta function ζs, v with respect to s at rational v, see [] However, it was recently discovered that an euivalent form of this formula was already obtained by Carl Malmsten in 846 see [5] An elementary proof of this formula will be presented in Proposition In a recent series of articles [9],[],[],[],[4], the authors proved some formulas from the Table of integrals, Series, and Products, of Gradshteyn and Ryzhi [7] Further, the monographs [, ] are devoted to providing proofs for the formulas in [7] In fact, we are particularly interested in integrals Key words and phrases Gamma function, log-log integrals, Fourier series, numerical series Department of Mathematics, Higher Institute for Applied Sciences and Technology

2 OMRAN KOUBA involving the function x ln ln/x Indeed, entries 45 of [7] contain the following evaluations: lnln/x + x = Γ/4 ln Γ/4 lnln/x + x + x = Γ/ ln Γ/ lnln/x + x cos t + x = sin t ln t/ Γ Γ + t t These integrals can be traced bac to [6] The first of them was the object of a detailed investigation in [4], where the author says that his approach can be adapted to prove also the second one A general approach that yields the first two integrals, and much more evaluations, can also be found in [] This line of investigation was completed by adapting the methods of [4] to obtain general results that include all the above mentioned integrals in [] Our aim is to present an alternative approach to the evaluation of these integrals Our starting point will be Kummer s Fourier expansion of Log Γ, Theorem, where Γ is the well-nown Eulerian gamma function This result is attributed to Kummer in 847, a more accessible reference is [4, Section 7]: Theorem Kummer,[8] For < x <, ln Γx ln sinx = + γ + ln x + where γ is the Euler-Mascheroni constant ln sinx, The reflection formula for the first order generalized Stieltjes constants As we explained in the introduction, this formula relates the first order generalized Stieltjes constant γ a to its reflected value γ a for rational a The presented proof is different from that of Almvist and Meurman, and has the advantage of being elementary in the sense that it does not mae use of the functional euation of the Hurwitz zeta function Proposition for positive integers p and with p <, we have ln n + p p jp n + p = lne γ cot + sin n Z where the primed sum denotes the principal value, defined as follows: n a n = lim a n n Z Proof The statement of Theorem is written as = n ln Γ j ln sinx = ln + ln sinx + lneγ x + ln Γx Now, consider a positive integer with For j {,,, } we have ln j sin = ln + j j ln sin + lne γ + ln Γ j

3 KUMMER S THEOREM IN ACTION Multiply both sides of by sin jp, where p is some integer from {,, }, and add the resulting eualities for j =,,, to obtain ln A p, = ln B p, + C jp j p, + lne γ D p, + sin ln Γ, where jp j A p, = sin sin jp B p, = sin jp C p, = sin j D p, = sin ln sin jp j i These sums are now simplified Let ω = exp, and use j= ωnj = χ n where χ n = if n mod and χ n = otherwise The imaginary part of the identity gives Also, That is B p, = 4 A p, = jp jp + cos cos = R ω p j ω p+j = χ p χ p + j= A p, = j= { if p mod, if p mod On the other hand, the change of summation index j j in the formula for C p, shows that Thus, Finally, use 4 to obtain C p, = sin p jp ln sin j = C p, 5 C p, = 6 D p, = jp j sin

4 4 OMRAN KOUBA Now for, < θ <, we have + cosjθ = = e ijθ = eiθ e i θ e iθ sin θ sin θ = sinθ cot θ cosθ Taing the derivative with respect to θ and substituting θ = p/ we get D p, = p cot 7 Replacing 4,5,6 and 7 in we obtain ln + p ln + p p = lne γ cot + p/ + p/ = + sin jp j ln Γ 8 The final step is to use the well-nown cotangent partial fraction expansion: + p/ N = lim + p/ N + p/ = p N p/ p/ = = N = p + p/ p p/ = cot 9 Thus, subtracting ln times 9 from 8 we obtain the desired conclusion Examples Taing p = and {, 4} we obtain ln n + n + = Γ n Z ln 8 8 e γ ln n + 4 Γ 4 4 n + = ln 4 4 e γ n Z The Evaluation of some integrals involving the log-log function In this section we use Theorem, to evaluate some difficult integrals Proposition For < x <, we have: ln ln/u u cos xu + du = x ln + ln sinx And, taing the limit as x tend to /, we obtain ln ln/u u + du = ln + Γ / Γ/ = ln γ Γ x Γx

5 KUMMER S THEOREM IN ACTION 5 Proof Indeed, subtracting the corresponding Kummer s Formulas, for ln Γx and ln Γ x we see that, for < x < we have Γx ln = γ + ln x + ln sinx, Γ x or euivalently, x Γx ln x Γ x = γ x + Now, using the fact that for Rs > and we have Γs s and < x <, we have e ix s = Γs = Γs Restricting our attention to the imaginary parts we get sinx s = sinx Γs ln sinx = t s e t dt, we conclude that for s >, t s e t e ix dt e t+ix e t+ix ts dt t s e t + e t dt cosx Now, taing the derivative with respect to s at s = we obtain, for < x <, the following: ln sinx = Γ Γ sinx Γ Taing into account the facts Γ = γ, Γ =, and we conclude that ln sinx e t + e t cosx dt sinx e t + e t cosx dt = sinx = γ The change of variables t = ln/u yields: ln ln t e t + e t dt cosx x, for < x < ln t x sinx e t + e t dt 4 cosx sinx sinx + γ x = ln ln/u u du 5 cos xu + Finally, combining and 5 we obtain the desired result Concerning the limit as x tend to /, we use the well-nown fact that Γ / Γ/ = ψ/ = γ ln, see [, 6]

6 6 OMRAN KOUBA Examples Taing x = /, x = /4 and x = /6 we obtain ln ln/u u du = + u + 6 ln Γ ln ln/u u du = + 4 ln 4 Γ4 4 ln ln/u u du = u + ln 5 Γ6 6 = ln 7 8 Γ 6 7, 8 where we used freely the duplication, and the reflection formulas for the gamma function [, 67 and 68] In particular, we used Γ 6 = / Γ that follows readily from these formulas The second degree polynomial in the integrand s denominator in Proposition has negative discriminant In the next proposition the corresponding denominator has real roots outside the interval [, ] This case seems to be new to the best nowledge of the author Proposition 4 Let A Γ : R R be the function defined by Then, for y R we have A Γ y = ln y + sinhy ln ln/u u + coshy u + du + iy Γ = coshy/ eiaγy Proof Let us rephrase Proposition, by taing x = t+ in order to give more symmetric aspect to the formula there: t,, ln ln/u u + cost u + du = Γ +t ln t + ln sint Γ t or euivalently, for < t <, we have exp lnt + sint +t ln ln/u u + cost u + du Γ = Γ t Using analytic continuation we deduce that, for < Rz < we have also exp lnz + sinz +z ln ln/u u + cosz u + du Γ = Γ z In particular, setting z = iy with y R, we obtain e iaγy = Γ +iy Γ iy, But, by Euler s reflection formula [, 67] we now that + iy + iy + iy + iy iy Γ = Γ Γ = Γ Γ = coshy/,

7 KUMMER S THEOREM IN ACTION 7 therefore, the suare of the continuous function: coshy/ + iy y Γ e iaγy is eual to for every y R, hence, it must be constant and conseuently identical to which is its value for y = Corollary 5 Let the principal determination of the argument of a nonzero complex number z be denoted by Arg, and let α be defined by the formula { } + iy α = inf y > : Γ = coshy/ Then, for every y α, α we have ln ln/u u + coshy u + du = ln y sinhy + sinhy Arg Γ + iy Moreover, using Mathematica R Software, we readily obtain α Proof The definition of α implies that y α, α, + iy Γ C \, ] {} Thus, the function y ArgΓ +iy A Γy is continuous on α, α, taes its values in Z, and is eual to for y = Therefore, A Γ y = ArgΓ +iy, for every y α, α, which is the desired conclusion Examples ln ln/u ln u du = + 4u + ln ln/u ln u du = + u + 5 ln + + Arg Γ + i ln + lnφ + Arg Γ 5 + i lnφ where φ = + 5 is the golden ratio More generally, for < < coshα 656, the following holds ln ln/u ln u du = + u + 4 lnφ + 4 Arg Γ + i lnφ + + with φ = It is worth mentioning that Mathematica R 4 gives the results of examples 6, 7 and 8, but it fails to give the results of the previous examples However, numerical uadrature confirms the results In our final proposition we consider the evaluation of another log-log integral This integral was given in [] as a corollary of a more difficult evaluation Our approach is straightforward and simpler

8 8 OMRAN KOUBA Proposition 6 [] For any complex number z with Rz >, we have F z def = where Log is the principal branch of the logarithm Proof We start by evaluating F Note that So, ln x F = t z lnln/t + t z dt = ln z Logz lnln/t dt = + t n F e x lnxdx e x lnx dx + e x ln x + e x e nx dx Because x +e is integrable on, +, we conclude using Lebesgue s dominated convergence theorem x that ln x lim n + e x e nx dx = Thus, F = e x lnxdx A simple change of variables shows that e x lnxdx = e u ln u ln du = γ ln since lnue u du = Γ = γ It follows that ln ln F = γ + = γ ln + Now, note that ln + ln = ln + ln ln + = ln = ln ln + O ln + O ln This proves that the series ln + ln ln is convergent Conseuently, if we define Gn = n ln then there is a real number l such that G n = ln n + l + o But n ln n ln n ln = = ln H n + G n G n = ln ln n + γ + = ln + γ ln + o, where we used H n = n / = ln n + γ + o, see [, 4] ln n ln n + o

9 KUMMER S THEOREM IN ACTION 9 Now, let n tend to + to obtain ln = ln + γ ln Combining this with we conclude that F = ln Next, for z, + the change of variables t z = u shows that F z = ln ln/u ln z du = F z + u z and the desired conclusion follows by analytic continuation lnz ln z = lnz ln, z Acnowledgement The author would lie to than the anonymous reviewers for their comments that greatly improved the manuscript References [] Abramowitz, M and Stegan, I A, Handboo of Mathematical Functions, with Formulas, Graphs, and Mathematical Tables, Dover Boos on Mathematics, Dover Publication, Inc, New Yor, 97 [] Adamchi, V, A class of Logarithmic Integrals Proceedings of the 997 International Symposium on Symbolic and Algebraic Computation, ACM, Academic Press,, 8 [] Albano, M Amdeberhan, T, Beyerstedt E, and Moll, V N,The integrals in Gradshteyn and Ryzhi Part 9: The error function Scientia, Vol,, 5-4 [4] Andrews, G E, Asey, R, and Roy, R, Special functions Encyclopedia of Mathematics and Its Applications, Volume 7 Cambridge University Press, 999 [5] Blagouchine, A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations Journal of Number Theory Elsevier, volume 48, pp 57 59, 5 [6] Bierens de Haan, D, Nouvelles tables dintégrales définies, Amsterdam, 867 Reprint G E Stechert & Co, New Yor, 99 [7] Gradshteyn, I S and Ryzhi, I M, Table of Integrals, Series, and Products, 8th edition, D Zwillinger, and V Moll, eds Academic Press, Elsevier Inc, 5 [8] Kummer, E, Beitrag zur Theorie der Function Γx J Reine Ang Math, 5, 847, 4 [9] Moll, V H,The integrals in Gradshteyn and Ryzhi Part 4: The gamma function Scientia, Vol 5,7, 7-46 [] Moll, V N,The integrals in Gradshteyn and Ryzhi Part 6: The beta function Scientia, Vol 6,8, 9-4 [] Medina, L A, and Moll, V N,A Classe of Logarithmic Integrals Ramanujan Journal, Vol,9, 9-6 [] Moll, V N,Special Integrals of Gradshteyn and Ryzhi: the Proofs - Volume I CRC Press, Taylor & Francis Group LLC 5 [] Moll, V N,Special Integrals of Gradshteyn and Ryzhi: the Proofs - Volume II CRC Press, Taylor & Francis Group LLC 6 [4] Vardi, I, Integrals, an Introduction to Analytic Number Theory The American Mathematical Monthly, Vol 95, No 4, 988, 8 5 Department of Mathematics, Higher Institute for Applied Sciences and Technology, PO Box 98, Damascus, Syria address: omran ouba@hiastedusy

GENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA. 1. Introduction and notation

Journal of Classical Analysis Volume 9, Number 16, 79 88 doi:1715/jca-9-9 GENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA Abstract In