Carl Johan Malmsten

Summary

Carl Johan Malmsten (April 9, 1814, in Uddetorp, Skara County, Sweden – February 11, 1886, in Uppsala, Sweden) was a Swedish mathematician and politician. He is notable for early research[1] into the theory of functions of a complex variable, for the evaluation of several important logarithmic integrals and series, for his studies in the theory of Zeta-function related series and integrals, as well as for helping Mittag-Leffler start the journal Acta Mathematica.[2] Malmsten 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 in 1844. He was also a minister without portfolio in 1859–1866 and Governor of Skaraborg County in 1866–1879.

Carl Malmsten
Born
Carl Johan Malmsten

(1814-04-09)9 April 1814
Skara, Sweden
Died11 February 1886(1886-02-11) (aged 71)
Uppsala, Sweden
Occupation(s)Mathematician, politician

Main contributions edit

Usually, Malmsten is known for his earlier works in complex analysis.[1] However, he also greatly contributed in other branches of mathematics, but his results were undeservedly forgotten and many of them were erroneously attributed to other persons. Thus, it was comparatively recently that it was discovered by Iaroslav Blagouchine[3] that Malmsten was first who evaluated several important logarithmic integrals and series, which are closely related to the gamma- and zeta-functions, and among which we can find the so-called Vardi's integral and the Kummer's series for the logarithm of the Gamma function. In particular, in 1842 he evaluated following lnln-logarithmic integrals.

 
 
 
 
 
 
 
 
 

The details and an interesting historical analysis are given in Blagouchine's paper.[3] Many of these integrals were later rediscovered by various researchers, including Vardi,[4] Adamchik,[5] Medina[6] and Moll.[7] Moreover, some authors even named the first of these integrals after Vardi, who re-evaluated it in 1988 (they call it Vardi's integral), and so did many well-known internet resources such as Wolfram MathWorld site[8] or OEIS Foundation site[9] (taking into account the undoubted Malmsten priority in the evaluation of such a kind of logarithmic integrals, it seems that the name Malmsten's integrals would be more appropriate for them[3]). Malmsten derived the above formulae by making use of different series representations. At the same time, it has been shown that they can be also evaluated by methods of contour integration,[3] by making use of the Hurwitz Zeta function,[5] by employing polylogarithms[6] and by using L-functions.[4] More complicated forms of Malmsten's integrals appear in works of Adamchik[5] and Blagouchine[3] (more than 70 integrals). Below are several examples of such integrals

 
 
 
 
 
 

where m and n are positive integers such that m<n, G is Catalan's constant, ζ stands for the Riemann zeta-function, Ψ is the digamma function, and Ψ1 is the trigamma function; see respectively eq. (43), (47) and (48) in Adamchik[5] for the first three integrals, and exercises no. 36-a, 36-b, 11-b and 13-b in Blagouchine[3] for the last four integrals respectively (the third integral being calculated in both works). It is curious that some of Malmsten's integrals lead to the gamma- and polygamma functions of a complex argument, which are not often encountered in analysis. For instance, as shown by Iaroslav Blagouchine,[3]

 

or,

 

see exercises 7-а and 37 respectively. By the way, Malmsten's integrals are also found to be closely connected to the Stieltjes constants.[3][10]

In 1842, Malmsten also evaluated several important logarithmic series, among which we can find these two series

 

and

 

The latter series was later rediscovered in a slightly different form by Ernst Kummer, who derived a similar expression

 

in 1847[3] (strictly speaking, the Kummer's result is obtained from the Malmsten's one by putting a=π(2x-1)). Moreover, this series is even known in analysis as Kummer's series for the logarithm of the Gamma function, although Malmsten derived it 5 years before Kummer.

Malsmten also notably contributed into the theory of zeta-function related series and integrals. In 1842 he proved following important functional relationship for the L-function

 

as well as for the M-function

 

where in both formulae 0<s<1. First of these formulae was proposed by Leonhard Euler already in 1749,[11] but it was Malmsten who proved it (Euler only suggested this formula and verified it for several integer and semi-integer values of s). Curiously enough, the same formula for L(s) was unconsciously rediscovered by Oscar Schlömilch in 1849 (proof provided only in 1858).[3][12][13][14] Four years later, Malmsten derived several other similar reflection formulae, which turn out to be particular cases of the Hurwitz's functional equation.

Speaking about the Malmsten's contribution into the theory of zeta-functions, we can not fail to mention the very recent discovery of his authorship of the reflection formula for the first generalized Stieltjes constant at rational argument

 

where m and n are positive integers such that m<n. This identity was derived, albeit in a slightly different form, by Malmsten already in 1846 and has been also discovered independently several times by various authors. In particular, in the literature devoted to Stieltjes constants, it is often attributed to Almkvist and Meurman who derived it in 1990s.[10]

References edit

  1. ^ a b Malmsten, C. J. (1867). "Om definita integraler mellan imaginära gränsor". K. Vet. Akad. Handl. (in Swedish). 6 (3). Stockholm: P. A. Norstedt & Söner: 1–18.
  2. ^ Gårding, Lars (1998). Mathematics and Mathematicians: Mathematics in Sweden before 1950. History of Mathematics. Vol. 13. Providence, RI: American Mathematical Society. doi:10.1090/hmath/013. ISBN 978-0-8218-0612-8. MR 1488153.
  3. ^ a b c d e f g h i j Blagouchine, Iaroslav V. (2014). "Rediscovery of Malmsten's integrals, their evaluation by contour integration methods and some related results". Ramanujan J. 35 (1): 21–110. doi:10.1007/s11139-013-9528-5. ISSN 1382-4090. MR 3258600. S2CID 254986780. Blagouchine, Iaroslav V. (2017). "Erratum and addendum to: Rediscovery of Malmsten's integrals, their evaluation by contour integration methods and some related results [Ramanujan J. (2014), 35:21–110]". Ramanujan J. 42 (3): 777–781. doi:10.1007/s11139-015-9763-z. ISSN 1382-4090. MR 3625019. S2CID 254982221. PDF
  4. ^ a b Vardi, Ilan (1988). "Integrals, an introduction to analytic number theory". Amer. Math. Monthly. 95 (4): 308–315. doi:10.2307/2323562. ISSN 0002-9890. JSTOR 2323562. MR 0935205.
  5. ^ a b c d V. Adamchik A class of logarithmic integrals. Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, pp. 1-8, 1997.
  6. ^ a b Medina, Luis A.; Moll, Victor H. (2009). "A class of logarithmic integrals". Ramanujan J. 20 (1): 91–126. arXiv:0808.2750. doi:10.1007/s11139-008-9148-7. ISSN 1382-4090. MR 2546186. S2CID 115174350.
  7. ^ V. H. Moll Some Questions in the Evaluation of Definite Integrals. MAA Short Course, San Antonio, TX. Jan. 2006.
  8. ^ Eric W. Weisstein Vardi's Integral. From MathWorld – A Wolfram Web Resource.
  9. ^ Sloane, N. J. A. (ed.). "Sequence A115252". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  10. ^ a b Blagouchine, Iaroslav V. (2015). "A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations". J. Number Theory. 148: 537–592. arXiv:1401.3724. doi:10.1016/j.jnt.2014.08.009. ISSN 0022-314X. MR 3283193. Blagouchine, Iaroslav V. (2015). "Erratum to "A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations" [J. Number Theory 148 (2015) 537–592]". J. Number Theory. 151: 276–277. arXiv:1401.3724. doi:10.1016/j.jnt.2015.01.001. ISSN 0022-314X. MR 3314214. Blagouchine, Iaroslav V. (23 Feb 2015). "A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations". Journal of Number Theory. 148: 537–592. arXiv:1401.3724v3. doi:10.1016/J.JNT.2014.08.009.
  11. ^ L. Euler 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]
  12. ^ Hardy, G. H. (1949). Divergent Series. London: Oxford University Press. MR 0030620.
  13. ^ H. Wieleitner Geschichte der Mathematik [in 2 vols.] Berlin, 1922-1923.
  14. ^ J. Dutka On the summation of some divergent series of Euler and the zeta functions. Archive for History of Exact Sciences, Volume 50, Issue 2, pp. 187-200, Archive for History of Exact Sciences, 27.VIII.1996.