Sneha Girap (Editor)

Carl Johan Malmsten

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Name  Carl Malmsten

Carl Johan Malmsten
Full Name  Carl Johan Malmsten
Born  9 April 1814 (1814-04-09) Skara, Sweden
Occupation  Mathematician, politician
Died  February 11, 1886, Uppsala, Sweden

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 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.

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.

Main contributions

Usually, Malmsten is known for his earlier works in complex analysis. 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 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

0 1 ln ln 1 x 1 + x 2 d x = 1 ln ln x 1 + x 2 d x = π 2 ln { Γ ( 3 / 4 ) Γ ( 1 / 4 ) 2 π } 0 1 ln ln 1 x ( 1 + x ) 2 d x = 1 ln ln x ( 1 + x ) 2 d x = 1 2 ( ln π ln 2 γ ) , 0 1 ln ln 1 x 1 x + x 2 d x = 1 ln ln x 1 x + x 2 d x = 2 π 3 ln { 32 π 5 6 Γ ( 1 / 6 ) } 0 1 ln ln 1 x 1 + x + x 2 d x = 1 ln ln x 1 + x + x 2 d x = π 3 ln { Γ ( 2 / 3 ) Γ ( 1 / 3 ) 2 π 3 } 0 1 ln ln 1 x 1 + 2 x cos φ + x 2 d x = 1 ln ln x 1 + 2 x cos φ + x 2 d x = π 2 sin φ ln { ( 2 π ) φ π Γ ( 1 2 + φ 2 π ) Γ ( 1 2 φ 2 π ) } , π < φ < π 0 1 x n 2 ln ln 1 x 1 x 2 + x 4 + x 2 n 2 d x = 1 x n 2 ln ln x 1 x 2 + x 4 + x 2 n 2 d x = = π 2 n sec π 2 n ln π + π n l = 1 1 2 ( n 1 ) ( 1 ) l 1 cos ( 2 l 1 ) π 2 n ln { Γ ( 1 2 l 1 2 n ) Γ ( 2 l 1 2 n ) } , n = 3 , 5 , 7 , 0 1 x n 2 ln ln 1 x 1 + x 2 + x 4 + + x 2 n 2 d x = 1 x n 2 ln ln x 1 + x 2 + x 4 + + x 2 n 2 d x = = { π 2 n tan π 2 n ln 2 π + π n l = 1 n 1 ( 1 ) l 1 sin π l n ln { Γ ( 1 2 + l 2 n ) Γ ( l 2 n ) } , n = 2 , 4 , 6 , π 2 n tan π 2 n ln π + π n l = 1 1 2 ( n 1 ) ( 1 ) l 1 sin π l n ln { Γ ( 1 l n ) Γ ( l n ) } , n = 3 , 5 , 7 ,

The details and an interesting historical analysis are given in the Blagouchine's paper. Many of these integrals were later rediscovered by various researchers, including Vardi, Adamchik, Medina and Moll. 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 or OEIS Foundation site (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). Malmsten derived 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, by making use of the Hurwitz Zeta function, by employing polylogarithms and by using L-functions. More complicated forms of Malmsten's integrals appear in works of Adamchik and Blagouchine (more than 70 integrals). Below are several examples of such integrals

0 1 ln ln 1 x 1 + x 3 d x = 1 x ln ln x 1 + x 3 d x = ln 2 6 ln 3 2 π 6 3 { ln 54 8 ln 2 π + 12 ln Γ ( 1 3 ) } 0 1 x ln ln 1 x ( 1 x + x 2 ) 2 d x = 1 x ln ln x ( 1 x + x 2 ) 2 d x = γ 3 1 3 ln 6 3 π + π 3 27 { 5 ln 2 π 6 ln Γ ( 1 6 ) } 0 1 ( x 4 6 x 2 + 1 ) ln ln 1 x ( 1 + x 2 ) 3 d x = 1 ( x 4 6 x 2 + 1 ) ln ln x ( 1 + x 2 ) 3 d x = 2 G π 0 1 x ( x 4 4 x 2 + 1 ) ln ln 1 x ( 1 + x 2 ) 4 d x = 1 x ( x 4 4 x 2 + 1 ) ln ln x ( 1 + x 2 ) 4 d x = 7 ζ ( 3 ) 8 π 2 0 1 x ( x m n x m n ) 2 ln ln 1 x ( 1 x 2 ) 2 d x = 1 x ( x m n x m n ) 2 ln ln x ( 1 x 2 ) 2 d x = m π n l = 1 n 1 sin 2 π m l n ln Γ ( l n ) π m 2 n cot π m n ln π n 1 2 ln ( 2 π sin m π n ) γ 2 0 1 x 2 ( x m n + x m n ) ln ln 1 x ( 1 + x 2 ) 3 d x = 1 x 2 ( x m n + x m n ) ln ln x ( 1 + x 2 ) 3 d x = π ( n 2 m 2 ) 8 n 2 l = 0 2 n 1 ( 1 ) l cos ( 2 l + 1 ) m π 2 n ln Γ ( 2 l + 1 4 n ) + m 8 n 2 l = 0 2 n 1 ( 1 ) l sin ( 2 l + 1 ) m π 2 n Ψ ( 2 l + 1 4 n ) 1 32 π n 2 l = 0 2 n 1 ( 1 ) l cos ( 2 l + 1 ) m π 2 n Ψ 1 ( 2 l + 1 4 n ) + π ( n 2 m 2 ) 16 n 2 sec m π 2 n ln 2 π n

where m and n are positive integers such that m<n, G - is the Catalan's constant, ζ - stands for the Riemann zeta-function, Ψ - is the digamma function, Ψ1 - is the trigamma function; see respectively eq. (43), (47) and (48) in for the first three integrals, and exercises no. 36-a, 36-b, 11-b and 13-b in 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,

0 1 x ln ln 1 x 1 + 4 x 2 + x 4 d x = 1 x ln ln x 1 + 4 x 2 + x 4 d x = π 2 3 I m [ ln Γ ( 1 2 ln ( 2 + 3 ) 2 π i ) ] + ln ( 2 + 3 ) 4 3 ln π

or,

0 1 x ln ln 1 x x 4 2 x 2 cosh 2 + 1 d x = 1 x ln ln x x 4 2 x 2 cosh 2 + 1 d x = π 2 sinh 2 I m [ ln Γ ( i 2 π ) ln Γ ( 1 2 i 2 π ) ] π 2 8 sinh 2 ln 2 π 2 sinh 2

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

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

n = 0 ( 1 ) n ln ( 2 n + 1 ) 2 n + 1 = π 4 ( ln π γ ) π ln Γ ( 3 4 )

and

n = 1 ( 1 ) n 1 sin a n ln n n = π ln { π 1 2 a 2 π Γ ( 1 2 + a 2 π ) } a 2 ( γ + ln 2 ) π 2 ln cos a 2 , π < a < π .

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

1 π n = 1 sin 2 π n x ln n n = ln Γ ( x ) 1 2 ln ( 2 π ) + 1 2 ln ( 2 sin π x ) 1 2 ( γ + ln 2 π ) ( 1 2 x ) , 0 < x < 1 ,

in 1847 (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

L ( s ) n = 0 ( 1 ) n ( 2 n + 1 ) s L ( 1 s ) = L ( s ) Γ ( s ) 2 s π s sin π s 2 ,

as well as for the M-function

M ( s ) 2 3 n = 1 ( 1 ) n + 1 n s sin π n 3 M ( 1 s ) = 2 3 M ( s ) Γ ( s ) 3 s ( 2 π ) s sin π s 2 ,

where in both formulae 0<s<1. First of these formulae was proposed by Leonhard Euler already in 1749, 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). 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

γ 1 ( m n ) γ 1 ( 1 m n ) = 2 π l = 1 n 1 sin 2 π m l n ln Γ ( l n ) π ( γ + ln 2 π n ) cot m π n

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.

References

Carl Johan Malmsten Wikipedia


Similar Topics
Smilin Through (1941 film)
Mathieu Carle
Jiro Manio
Topics
 
B
i
Link
H2
L