In mathematics, Catalan's constantG, is defined by
where β is the Dirichlet beta function. Its numerical value [1] is approximately (sequence A006752 in the OEIS )
Is Catalan's constant irrational? If so, is it transcendental?
It is not known whether G is irrational, let alone transcendental. [2] G has been called "arguably the most basic constant whose irrationality and transcendence (though strongly suspected) remain unproven". [3]
Catalan's constant was named after Eugène Charles Catalan, who found quickly-converging series for its calculation and published a memoir on it in 1865. [4] [5]
In low-dimensional topology, Catalan's constant is 1/4 of the volume of an ideal hyperbolic octahedron, and therefore 1/4 of the hyperbolic volume of the complement of the Whitehead link. [6] It is 1/8 of the volume of the complement of the Borromean rings. [7]
In combinatorics and statistical mechanics, it arises in connection with counting domino tilings, [8] spanning trees, [9] and Hamiltonian cycles of grid graphs. [10]
In number theory, Catalan's constant appears in a conjectured formula for the asymptotic number of primes of the form according to Hardy and Littlewood's Conjecture F. However, it is an unsolved problem (one of Landau's problems) whether there are even infinitely many primes of this form. [11]
Catalan's constant also appears in the calculation of the mass distribution of spiral galaxies. [12] [13]
The number of known digits of Catalan's constant G has increased dramatically during the last decades. This is due both to the increase of performance of computers as well as to algorithmic improvements. [14]
Date | Decimal digits | Computation performed by |
---|---|---|
1832 | 16 | Thomas Clausen |
1858 | 19 | Carl Johan Danielsson Hill |
1864 | 14 | Eugène Charles Catalan |
1877 | 20 | James W. L. Glaisher |
1913 | 32 | James W. L. Glaisher |
1990 | 20000 | Greg J. Fee |
1996 | 50000 | Greg J. Fee |
August 14, 1996 | 100000 | Greg J. Fee & Simon Plouffe |
September 29, 1996 | 300000 | Thomas Papanikolaou |
1996 | 1500000 | Thomas Papanikolaou |
1997 | 3379957 | Patrick Demichel |
January 4, 1998 | 12500000 | Xavier Gourdon |
2001 | 100000500 | Xavier Gourdon & Pascal Sebah |
2002 | 201000000 | Xavier Gourdon & Pascal Sebah |
October 2006 | 5000000000 | Shigeru Kondo & Steve Pagliarulo [15] |
August 2008 | 10000000000 | Shigeru Kondo & Steve Pagliarulo [14] |
January 31, 2009 | 15510000000 | Alexander J. Yee & Raymond Chan [16] |
April 16, 2009 | 31026000000 | Alexander J. Yee & Raymond Chan [16] |
June 7, 2015 | 200000001100 | Robert J. Setti [17] |
April 12, 2016 | 250000000000 | Ron Watkins [17] |
February 16, 2019 | 300000000000 | Tizian Hanselmann [17] |
March 29, 2019 | 500000000000 | Mike A & Ian Cutress [17] |
July 16, 2019 | 600000000100 | Seungmin Kim [18] [19] |
September 6, 2020 | 1000000001337 | Andrew Sun [20] |
March 9, 2022 | 1200000000100 | Seungmin Kim [20] |
As Seán Stewart writes, "There is a rich and seemingly endless source of definite integrals that can be equated to or expressed in terms of Catalan's constant." [21] Some of these expressions include:
where the last three formulas are related to Malmsten's integrals. [22]
If K(k) is the complete elliptic integral of the first kind, as a function of the elliptic modulus k, then
If E(k) is the complete elliptic integral of the second kind, as a function of the elliptic modulus k, then
With the gamma function Γ(x + 1) = x!
The integral is a known special function, called the inverse tangent integral, and was extensively studied by Srinivasa Ramanujan.
G appears in values of the second polygamma function, also called the trigamma function, at fractional arguments:
Simon Plouffe gives an infinite collection of identities between the trigamma function, π2 and Catalan's constant; these are expressible as paths on a graph.
Catalan's constant occurs frequently in relation to the Clausen function, the inverse tangent integral, the inverse sine integral, the Barnes G-function, as well as integrals and series summable in terms of the aforementioned functions.
As a particular example, by first expressing the inverse tangent integral in its closed form – in terms of Clausen functions – and then expressing those Clausen functions in terms of the Barnes G-function, the following expression is obtained (see Clausen function for more):
If one defines the Lerch transcendentΦ(z,s,α) (related to the Lerch zeta function) by then
The following two formulas involve quickly converging series, and are thus appropriate for numerical computation: and
The theoretical foundations for such series are given by Broadhurst, for the first formula, [23] and Ramanujan, for the second formula. [24] The algorithms for fast evaluation of the Catalan constant were constructed by E. Karatsuba. [25] [26] Using these series, calculating Catalan's constant is now about as fast as calculating Apery's constant, . [27]
Other quickly converging series, due to Guillera and Pilehrood and employed by the y-cruncher software, include: [27]
All of these series have time complexity . [27]
G can be expressed in the following form [28]
In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer n,
The natural logarithm of a number is its logarithm to the base of the mathematical constant e, which is an irrational and transcendental number approximately equal to 2.718281828459. The natural logarithm of x is generally written as ln x, logex, or sometimes, if the base e is implicit, simply log x. Parentheses are sometimes added for clarity, giving ln(x), loge(x), or log(x). This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.
In mathematics, the Lambert W function, also called the omega function or product logarithm, is a multivalued function, namely the branches of the converse relation of the function f(w) = wew, where w is any complex number and ew is the exponential function. The function is named after Johann Lambert, who considered a related problem in 1758. Building on Lambert's work, Leonhard Euler described the W function per se in 1783.
Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by log:
In mathematics, Stirling's approximation is an asymptotic approximation for factorials. It is a good approximation, leading to accurate results even for small values of . It is named after James Stirling, though a related but less precise result was first stated by Abraham de Moivre.
In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.
In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function:
In mathematics, the upper and lower incomplete gamma functions are types of special functions which arise as solutions to various mathematical problems such as certain integrals.
In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function Lis(z) of order s and argument z. Only for special values of s does the polylogarithm reduce to an elementary function such as the natural logarithm or a rational function. In quantum statistics, the polylogarithm function appears as the closed form of integrals of the Fermi–Dirac distribution and the Bose–Einstein distribution, and is also known as the Fermi–Dirac integral or the Bose–Einstein integral. In quantum electrodynamics, polylogarithms of positive integer order arise in the calculation of processes represented by higher-order Feynman diagrams.
The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.
In mathematics, the exponential integral Ei is a special function on the complex plane.
In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line:
In mathematics, the trigamma function, denoted ψ1(z) or ψ(1)(z), is the second of the polygamma functions, and is defined by
In mathematics, the lemniscate constantϖ is a transcendental mathematical constant that is the ratio of the perimeter of Bernoulli's lemniscate to its diameter, analogous to the definition of π for the circle. Equivalently, the perimeter of the lemniscate is 2ϖ. The lemniscate constant is closely related to the lemniscate elliptic functions and approximately equal to 2.62205755. The symbol ϖ is a cursive variant of π; see Pi § Variant pi.
Carl Johan Malmsten 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.
In mathematics, the secondary measure associated with a measure of positive density ρ when there is one, is a measure of positive density μ, turning the secondary polynomials associated with the orthogonal polynomials for ρ into an orthogonal system.
The decimal value of the natural logarithm of 2 is approximately
Bending of plates, or plate bending, refers to the deflection of a plate perpendicular to the plane of the plate under the action of external forces and moments. The amount of deflection can be determined by solving the differential equations of an appropriate plate theory. The stresses in the plate can be calculated from these deflections. Once the stresses are known, failure theories can be used to determine whether a plate will fail under a given load.