Abstract
This article is devoted to a family of logarithmic integrals recently treated in mathematical literature, as well as to some closely related results. First, it is shown that the problem is much older than usually reported. In particular, the so-called Vardi’s integral, which is a particular case of the considered family of integrals, was first evaluated by Carl Malmsten and colleagues in 1842. Then, it is shown that under some conditions, the contour integration method may be successfully used for the evaluation of these integrals (they are called Malmsten’s integrals). Unlike most modern methods, the proposed one does not require “heavy” special functions and is based solely on the Euler’s Γ-function. A straightforward extension to an arctangent family of integrals is treated as well. Some integrals containing polygamma functions are also evaluated by a slight modification of the proposed method. Malmsten’s integrals usually depend on several parameters including discrete ones. It is shown that Malmsten’s integrals of a discrete real parameter may be represented by a kind of finite Fourier series whose coefficients are given in terms of the Γ-function and its logarithmic derivatives. By studying such orthogonal expansions, several interesting theorems concerning the values of the Γ-function at rational arguments are proven. In contrast, Malmsten’s integrals of a continuous complex parameter are found to be connected with the generalized Stieltjes constants. This connection reveals to be useful for the determination of the first generalized Stieltjes constant at seven rational arguments in the range (0,1) by means of elementary functions, the Euler’s constant γ, the first Stieltjes constant γ 1 and the Γ-function. However, it is not known if any first generalized Stieltjes constant at rational argument may be expressed in the same way. Useful in this regard, the multiplication theorem, the recurrence relationship and the reflection formula for the Stieltjes constants are provided as well. A part of the manuscript is devoted to certain logarithmic and trigonometric series related to Malmsten’s integrals. It is shown that comparatively simple logarithmico–trigonometric series may be evaluated either via the Γ-function and its logarithmic derivatives, or via the derivatives of the Hurwitz ζ-function, or via the antiderivative of the first generalized Stieltjes constant. In passing, it is found that the authorship of the Fourier series expansion for the logarithm of the Γ-function is attributed to Ernst Kummer erroneously: Malmsten and colleagues derived this expansion already in 1842, while Kummer obtained it only in 1847. Interestingly, a similar Fourier series with the cosine instead of the sine leads to the second-order derivatives of the Hurwitz ζ-function and to the antiderivatives of the first generalized Stieltjes constant. Finally, several errors and misprints related to logarithmic and arctangent integrals were found in the famous Gradshteyn & Ryzhik’s table of integrals as well as in the Prudnikov et al. tables.
Similar content being viewed by others
Notes
Carl Johan Malmsten, written also Karl Johan Malmsten (born April 9, 1814 in Uddetorp, died February 11, 1886 in Uppsala), was a Swedish mathematician and politician. He became Docent in 1840, and then, Professor of mathematics at the Uppsala University in 1842. He was elected a member of the Royal Swedish Academy of Sciences (Kungliga Vetenskaps–akademien) in 1844. He was also a minister without portfolio in 1859–1866 and Governor of Skaraborg County in 1866–1879. For further information, see [36, vol. 17, pp. 657–658].
Both results are presented here in the original form, as they appear in the given sources. In fact, both formulas may be further simplified and written in terms of Γ(1/3) only, see (45) and (44), respectively (see also exercise no. 32 where both integrals appear in a more general form). Surprisingly, the latter fact escaped the attention of Malmsten, of his colleagues and of many other researchers. Moreover, Vardi [67, p. 313] even wrote that “in (2a) the number 3 plays the ‘key role’ and in (2b) 6 is the ‘magic number’’’. A more detailed criticism of the latter statement is given in exercise no. 30.
English translation: “Journal for Pure and Applied Mathematics”.
We remark, in passing, that by convention γ n ≡γ n (1) for any natural n.
Most of these notations come from Latin, e.g “\(\operatorname {\mathrm {ch}}\)” stands for cosinus hyperbolicus, “\(\operatorname {\mathrm {sh}}\)” stands for sinus hyperbolicus, etc.
From here, we shorten Malmsten’s proof since the result is almost straightforward. Malmsten’s proof was actually longer because he aimed for more general formulas.
There is a misprint in formula (13): the sign “−” in the denominator of the integrand should be replaced by “+”.
It seems, however, that there is a misprint in exercise no. 3.6 [2]. In the first line, the term x 5 should be removed from the denominator of the integrand.
We performed similar simplification for the Ψ-function in exercise no. 11, formula (48).
Gauss presented the proof of this theorem in January 1812 [26].
By the order of Malmsten’s integral we mean the order of poles of the corresponding integrands.
The use of divergent series was especially common in the 18th century, see, for instance, the excellent monograph [31].
One of these two errors comes from the Bierens de Haan’s tables (latter borrowed them in part from misprints in Malmsten’s work [41]; Bierens de Haan even complained about the number of misprints in this work, see [61, p. 265]). For example, integrals’ bounds are incorrect in [62, Table 148-1,2,3,4], [61, Table 191-1,2,3,4,5,6], [41, Eq. (10), (12) for both integrals]. The reader should be also careful with these sources since integrands in Gradshteyn and Ryzhik’s tables are presented in other form.
We will not consider here indirect methods, such as, for example, evaluation of logarithmic integrals based on the differentiation of the integrand (which does not contain a logarithm) with respect to a parameter.
The readers of this book should beware of misprints and of some incorrect results. Answers in exercises no. 84, 88, 91 are incorrect; on the p. 189, 2πi is forgotten in the right part of equation (1). Several errors were corrected in the recent second edition of this book, but the few ones are still present, e.g. answer in no. 7.91 is incorrect, the above-mentioned coefficient 2πi is absent.
The non-asymptotic part of this formula (that containing an infinite integral) is also known as the second Binet’s expression for the logarithm of the Γ-function [12, pp. 335–336], [71, pp. 250–251], [9, vol. I, p. 22, Eq. 1.9(9)] (for more details, see also exercise no. 40 in the last section of this manuscript). As regards its asymptotic form, it was already known to Gauss [26, p. 33], and in a more simple form (for natural z), to Euler [21, part II, Chap. VI, p. 466], to Stirling and to de Moivre.
For the evaluation of the integral J R lazy readers may directly use formula 1.4.7-15 from [53, vol. I, p. 148]. Nevertheless, it is highly recommended that readers employ the proposed method rather than the ready formula, since the procedure for the calculation of the logarithmic integral is very similar.
Integer powers only.
Malmsten originally wrote a/2 instead of φ.
The series being uniformly convergent.
Prudnikov et al.’ tables provides, however, several formulas for the series (c) and (e) when a is rational [53, vol. I, § 5.4.3].
In fact, Vardi was not very clear in defining his idea of the relationship between the poles of the integrand and the argument of the Γ-function with the help of which Malmsten’s integrals are expressed. The statement “in Eq. (2a) the number 3 plays the ‘key role’ and in Eq. (2b) 6 is the ‘magic number’’’ [67, p. 313] may be also interpreted in the sense that the least possible integer in the denominator of the argument of the Γ-function (and not the inverse multiplicative of the argument of the Γ-function) should be equal to the degree in which the poles of the integrand are the roots of unity. However, the fallacy of this statement is also evident from the proof given above.
To assure the convergence, we should take in the denominator \(1+2x\operatorname {\mathrm {ch}}t +x^{2}\) rather than \(1-2x\operatorname {\mathrm {ch}}t +x^{2}\).
More precisely, the last term in the right-hand side of [53, vol. I, no. 2.7.5-10] is incorrect: the argument of the square root should be multiplied by 2. Curiously, in the original Russian edition of [53], this integral is neither correctly evaluated, but the error is not the same: the coefficient 2 in the argument of the logarithm must be placed under the square root sign.
However, it seems fair to remark that an integral quite similar to (b) was also evaluated by Malmsten et al. [40, p. 55, Eq. (67)].
Alternatively, it is also possible to consider only the upper integral and then study two cases: (m+n) is odd and (m+n) is even. This method will lead to the same formula, albeit the calculation might seem more tedious.
With the help of Maple 12.
For more details of the finite Fourier series, see e.g. [30, Chap. 6].
According to [2] formula (c) was first proved by Almkvist and Meurman in a private communication.
This expansion for the Riemann ζ-function was first given by Stieltjes, and therefore, was written in terms of constants γ n ≡γ n (1), which were later called the Stieltjes constants. Constants γ n (v) with arbitrary v represent a more general case and occur when expanding the Hurwitz ζ-function instead of the Riemann ζ-function; such constants are called generalized Stieltjes constants. For more information, see [9, vol. I, p. 26, Eq. 1.10(9), and vol. III, §17.7, p. 189], [14], [66, p. 16], [11, 17, 18, 38, 48].
This formula appears with an error in [18, p. 1836, Eq. (3.54)]: in the right part \(\frac{1}{2}\) should be replaced by \(\frac{1}{2}\ln q\).
Note that these relationships are quite similar to those for the logarithm of the Γ-function.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formula, Graphs and Mathematical Tables. Applied Mathematics Series, vol. 55. National Bureau of Standards, Washington (1961)
Adamchik, V.: A class of logarithmic integrals. In: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, pp. 1–8 (1997)
Ahlfors, L.: Complex Analysis, 3rd edn. McGraw-Hill Science, New York (1979)
Amdeberhan, T., Espinosa, O., Moll, V.H.: The Laplace transform of the digamma function: an integral due to Glasser, Manna and Oloa. Proc. Am. Math. Soc. 136(9), 3211–3221 (2008)
Apostol, T.M.: Introduction to Analytic Number Theory. Springer, New York (1976)
Artin, E.: Einführung in die Theorie der Gammafunktion. Teubner, Leipzig (1931)
Bailey, D.H., Borwein, J.M., Calkin, N.J., Girgensohn, R., Luke, R.D., Moll, V.H.: Experimental Mathematics in Action. AK Peters, Wellesley (2007)
Bassett, M.E.: Integrals, L functions, prime numbers: a short tour of analytic number theory. Report on a talk given at UCL (University College London) Undergrad Maths Colloquium on Analytic Number Theory, London’s Global University (2010)
Bateman, H., Erdélyi, A.: Higher Transcendental Functions. McGraw-Hill Book, New York (1955) [in 3 volumes]
Bermant, A.F.: In: Course of Mathematical Analysis. Part II, 5th edn., Gosudarstvennoe izdatel’stvo tehniko–teoreticheskoj literatury, Moscow (1954) [in Russian]
Berndt, B.C.: The Gamma function and the Hurwitz Zeta-function. Am. Math. Mon. 92(2), 126–130 (1985)
Binet, M.J.: Mémoire sur les intégrales définies eulériennes et sur leur application à la théorie des suites, ainsi qu’à l’évaluation des fonctions des grands nombres. J. Éc. Polytech. XVI(27), 123–343 (1839)
Boros, G., Moll, V.: Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals. Cambridge University Press, Cambridge (2004)
Briggs, W.E.: Some constants associated with the Riemann Zeta-function. Mich. Math. J. 3(2), 117–121 (1955)
Campbell, R.: Les intégrales eulériennes et leurs applications. Dunod, Paris (1966)
Carathéodory, C.: Theory of Functions of a Complex Variable. Chelsea, New York (1954) [in 2 volumes]
Coffey, M.W.: Series representations for the Stieltjes constants. arXiv:0905.1111v2 (2009)
Coffey, M.W.: On representations and differences of Stieltjes coefficients, and other relations. Rocky Mt. J. Math. 41(6), 1815–1846 (2011)
Davis, P.J.: Leonhard Euler’s integral: a historical profile of the Gamma function. Am. Math. Mon. 66, 849–869 (1959)
Euler, L.: Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques. Histoire de l’Académie Royale des Sciences et Belles-Lettres, année MDCCLXI, Tome 17, pp. 83–106, A Berlin, chez Haude et Spener, Libraires de la Cour et de l’Académie Royale (1768 [read in 1749])
Eulero, L.: Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum. Academiæ Imperialis Scientiarum Petropolitanæ, Saint-Petersburg (1755)
Evgrafov, M.A.: Analytic Functions. Saunders, Philadelphia (1966)
Evgrafov, M.A., Sidorov, Y.V., Fedoriuk, M.V., Shabunin, M.I., Bezhanov, K.A.: A Collection of Problems in the Theory of Analytic Functions. Nauka, Moscow (1969) [in Russian]
Frullani, G.: Sopra gli integrali definiti. Mem. Soc. Ital. Sci. XX(II), 448–467 (1829)
Fuchs, B.A., Shabat, B.V.: Functions of a Complex Variable and Some of Their Applications. International Series of Monographs in Pure and Applied Mathematics. Pergamon, Oxford (1961/1964) [in 2 volumes]
Gauss, C.F.: Disquisitiones generales circa seriem infinitam \(1+\frac{\alpha\beta}{1\cdot\gamma}x+ \frac{\alpha(\alpha+1)\beta(\beta+1)}{1\cdot2\cdot\gamma(\gamma+1)}xx+ \frac{\alpha(\alpha+1)(\alpha+2)\beta(\beta+1)(\beta+2)}{1\cdot2\cdot3\cdot\gamma(\gamma+1)(\gamma+2)}x^{3} +\mathrm{etc}\). Commentationes Societatis Regiae Scientiarum Gottingensis recentiores, Classis Mathematicæ, vol. II, pp. 3–46 [republished later in “Carl Friedrich Gauss Werke”, vol. 3, pp. 265–327, Königliche Gesellschaft der Wissenschaften, Göttingen, 1866] (1813)
Godefroy, M.: La fonction Gamma; Théorie, Histoire, Bibliographie. Gauthier-Villars, Imprimeur Libraire du Bureau des Longitudes, de l’École Polytechnique, Quai des Grands-Augustins, 55, Paris (1901)
Gradshteyn, I.S., Ryzhik, I.M.: Tables of Integrals, Series and Products, 4th edn. Academic Press, New York (1980)
Gunther, N.M., Kuzmin, R.O.: A Collection of Problems on Higher Mathematics, vol. 3, 4th edn. Gosudarstvennoe izdatel’stvo tehniko–teoreticheskoj literatury, Leningrad (1951) [in Russian]
Hamming, R.W.: Numerical Methods for Scientists and Engineers. McGraw-Hill, New York (1962)
Hardy, G.H.: Divergent Series. Clarendan, Oxford (1949)
Henrici, P.: Applied and Computational Complex Analysis. Wiley, New York (1974/1977/1986) [in 3 volumes]
Hurwitz, A., Courant, R.: Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen. Herausgegeben und ergänzt durch einen Abschnitt über geometrische Funktionentheorie, 4th edn. Springer, Berlin (1964)
Jeffreys, H., Jeffreys, B.S.: Methods of Mathematical Physics, 2nd edn. Cambridge University Press, Cambridge (1950)
Kummer, E.E.: Beitrag zur theorie der function Γ(x). J. Reine Angew. Math. 35, 1–4 (1847)
Leche, V., Meijer, B., Nyström, J.F., Warburg, K., Westrin, T., Meijer, B.: Nordisk familjebok, 2nd edn., Nordisk familjeboks förlags aktiebolag, Stockholm (1904–1926). http://runeberg.org/nf (in 38 volumes)
Lerch, M.: Další studie v oboru Malmsténovských řad. Rozpravy České akademie císare Františka Josefa pro vedy, slovesnost a umení. Trída II, Mathematicko-prírodnická, ročník 3, číslo 28, pp. 1–63 (1894)
Liang, J.J.Y., Todd, J.: The Stieltjes constants. J. Res. Natl. Bur. Stand. B, Math. Sci. 76B(3–4), 161–178 (1972)
Lindelöf, E.: Le calcul des résidus et ses applications à la théorie des fonctions. Gauthier-Villars, Imprimeur Libraire du Bureau des Longitudes, de l’École Polytechnique, Quai des Grands-Augustins, 55, Paris (1905)
Malmsten, C.J., Almgren, T.A., Camitz, G., Danelius, D., Moder, D.H., Selander, E., Grenander, J.M.A., Themptander, S., Trozelli, L.M., Föräldrar, Ä., Ossbahr, G.E., Föräldrar, D.H., Ossbahr, C.O., Lindhagen, C.A., Moder, D.H., Syskon, Ä., Lemke, O.V., Fries, C., Laurenius, L., Leijer, E., Gyllenberg, G., Morfader, M.V., Linderoth, A.: Specimen analyticum, theoremata quædam nova de integralibus definitis, summatione serierum earumque in alias series transformatione exhibens (Eng. trans.: “Some new theorems about the definite integral, summation of the series and their transformation into other series”) [Dissertation, in 8 parts]. Upsaliæ, excudebant Regiæ academiæ typographi. Uppsala, Sweden (April–June 1842)
Malmstén, C.J.: De integralibus quibusdam definitis seriebusque infinitis (Eng. trans.: “On some definite integrals and series”). J. Reine Angew. Math., 38, 1–39 (1849) [work dated May 1, 1846]
Markushevich, A.I.: Theory of Functions of a Complex Variable, 2nd edn. AMS Chelsea/American Mathematical Society, New York/Providence (2005) [in 3 volumes]
McLachlan, N.W.: Complex Variable and Operational Calculus with Technical Applications. Cambridge University Press, London (1942)
Medina, L.A., Moll, V.H.: A class of logarithmic integrals. Ramanujan J. 20(1), 91–126 (2009)
Miller, J., Adamchik, V.S.: Derivatives of the Hurwitz Zeta function for rational arguments. J. Comput. Appl. Math. 100, 201–206 (1998)
Moll, V.H.: The integrals in Gradshteyn and Ryzhik. Part 1: A family of logarithmic integrals. Scentia, Ser. A, Math. Sci. 14, 1–6 (2007)
Moll, V.H., Amdeberhan, T.: Contemporary Mathematics: Tapas in Experimental Mathematics. American Mathematical Society, Providence (2007)
Nan-You, Z., Williams, K.S.: Some results on the generalized Stieltjes constant. Analysis 14, 147–162 (1994)
Nielson, N.: Handbuch der Theorie der Gammafunktion. Teubner, Leipzig (1906)
Ostrowski, A.M.: On some generalisations of the Cauchy–Frullani integral. Proc. Natl. Acad. Sci. USA 35, 612–616 (1949)
Poisson, S.D.: Second mémoire sur la distribution de l’électricité à la surface des corps conducteurs (lu le 6 septembre 1813). Mémoires de la classe des sciences mathématiques et physiques de l’Institut Impérial de France, partie II Chez Fermin Didot, Imprimeur de l’Institut Impérial de France et Libraire pour les mathématiques, pp. 163–274, rue Jacob, no. 24, Paris, France (1814)
Poisson, S.D.: Suite du mémoire sur les intégrales définies, inséré dans les deux précédents volumes de ce journal. J. Éc. Polytech. XI(18), 295–341 (1820)
Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, vols. I–IV. Gordon and Breach, New York (1992)
Riemann, B.: Ueber die Anzahl der Primzahlen unter einer gegebenen Grosse. Monatsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, pp. 136–144 (1859)
Schlömilch, O.: Uebungsaufgaben für Schüler. Lehrsatz. Grunert Arch. Math. Phys. XII(IV), 415 (1849), part XXXV
Schlömilch, O.: Ueber eine Eigenschaft gewisser Reihen. Z. Math. Phys. III, 130–132 (1858)
Sloane, N.J.A.: Sequence A115252. The On-Line Encyclopedia of Integer Sequences (2006). http://oeis.org/A115252
Smirnov, V.I.: A Course of Higher Mathematics. vol. I–V. Pergamon, London (1964)
Spiegel, M.R.: Theory and Problems of Complex Variables with an Introduction to Conformal Mapping and Its Application. McGraw-Hill, New York (1968)
Sveshnikov, A.G., Tikhonov, A.N.: Theory of Functions of a Complex Variable. Nauka, Moscow (1967). [in Russian]
Bierens de Haan, D.: Tables d’intégrales définies. Verhandelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Deel IV, Amsterdam (1858)
Bierens de Haan, D.: Nouvelles tables d’intégrales définies. P. Engels, Libraire Éditeur, Leide (1867)
Gårding, L.: Mathematics and Mathematicians: Mathematics in Sweden Before 1950. American Mathematical Society/London Mathematical Society, Providence (1994)
Le Gendre, A.M.: Exercices de calcul intégral sur divers ordres de transcendantes et sur les quadratures Tomes I–III. Mme Ve Courcier, Imprimeur–Libraire pour les Mathématiques, rue du Jardinet, no. 12, quartier Saint-André-des-Arc, Paris (1811–1817)
Titchmarsh, E.C.: The Theory of Functions, 2nd edn. Oxford University Press, Oxford (1939)
Titchmarsh, E.C.: The Theory of the Riemann Zeta-Function, 2nd edn. Clarendon, Oxford (1986)
Vardi, I.: Integrals, an introduction to analytic number theory. Am. Math. Mon. 95, 308–315 (1988)
Vilceanu, R.O.: An application of Dirichlet L-series to the computation of certain integrals. Bull. Math. Soc. Sci. Math. Roum. 51(99)(2), 159–173 (2008)
Volkovyskii, L.I., Lunts, G.L., Aramanovich, I.G.: A Collection of Problems on Complex Analysis. Pergamon, London (1965)
Weisstein, E.W.: Vardi’s integral. From MathWorld—a Wolfram web resource (2006). http://mathworld.wolfram.com/VardisIntegral.html
Whittaker, E., Watson, G.N.: A Course of Modern Analysis. an Introduction to the General Theory of Infinite Processes and of Analytic Functions, with an Account of the Principal Transcendental Functions, 3rd edn. Cambridge University Press, Cambridge (1920)
Author information
Authors and Affiliations
Corresponding author
Additional information
An erratum to this article is available at http://dx.doi.org/10.1007/s11139-015-9763-z.
Rights and permissions
About this article
Cite this article
Blagouchine, I.V. Rediscovery of Malmsten’s integrals, their evaluation by contour integration methods and some related results. Ramanujan J 35, 21–110 (2014). https://doi.org/10.1007/s11139-013-9528-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-013-9528-5
Keywords
- Logarithmic integrals
- Logarithmic series
- Theory of functions of a complex variable
- Contour integration
- Rediscoveries
- Malmsten
- Vardi
- Number theory
- Gamma function
- Zeta function
- Rational arguments
- Special constants
- Generalized Euler’s constants
- Stieltjes constants
- Otrhogonal expansions