Mathematical constant

A mathematical constant is a number whose value is fixed by an unambiguous definition, often referred to by a special symbol (e.g., an alphabet letter), or by mathematicians' names to facilitate using it across multiple mathematical problems.^[1] Constants arise in many areas of mathematics, with constants such as e and π occurring in such diverse contexts as geometry, number theory, statistics, and calculus.

Some constants arise naturally by a fundamental principle or intrinsic property, such as the ratio between the circumference and diameter of a circle (π). Other constants are notable more for historical reasons than for their mathematical properties. The more popular constants have been studied throughout the ages and computed to many decimal places.

All named mathematical constants are definable numbers, and usually are also computable numbers (Chaitin's constant being a significant exception).

These are constants which one is likely to encounter during pre-college education in many countries.

The constant π (pi) has a natural definition in Euclidean geometry as the ratio between the circumference and diameter of a circle. It may be found in many other places in mathematics: for example, the Gaussian integral, the complex roots of unity, and Cauchy distributions in probability. However, its ubiquity is not limited to pure mathematics. It appears in many formulas in physics, and several physical constants are most naturally defined with π or its reciprocal factored out. For example, the ground state wave function of the hydrogen atom is

${\displaystyle \psi (\mathbf {r} )={\frac {1}{\sqrt {\pi {a_{0}}^{3}}}}e^{-r/a_{0}},}$

where ${\displaystyle a_{0}}$ is the Bohr radius.

π is an irrational number and a transcendental number.

The numeric value of π is approximately 3.1415926536 (sequence A000796 in the OEIS). Memorizing increasingly precise digits of π is a world record pursuit.

The imaginary unit or unit imaginary number, denoted as i, is a mathematical concept which extends the real number system ${\displaystyle \mathbb {R} }$ to the complex number system ${\displaystyle \mathbb {C} .}$ The imaginary unit's core property is that i² = −1. The term "imaginary" was coined because there is no (real) number having a negative square.

There are in fact two complex square roots of −1, namely i and −i, just as there are two complex square roots of every other real number (except zero, which has one double square root).

In contexts where the symbol i is ambiguous or problematic, j or the Greek iota (ι) is sometimes used. This is in particular the case in electrical engineering and control systems engineering, where the imaginary unit is often denoted by j, because i is commonly used to denote electric current.

Euler's number e, also known as the exponential growth constant, appears in many areas of mathematics, and one possible definition of it is the value of the following expression:

${\displaystyle e=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}$

The constant e is intrinsically related to the exponential function ${\displaystyle x\mapsto e^{x}}$.

The Swiss mathematician Jacob Bernoulli discovered that e arises in compound interest: If an account starts at $1, and yields interest at annual rate R, then as the number of compounding periods per year tends to infinity (a situation known as continuous compounding), the amount of money at the end of the year will approach e^R dollars.

The constant e also has applications to probability theory, where it arises in a way not obviously related to exponential growth. As an example, suppose that a slot machine with a one in n probability of winning is played n times, then for large n (e.g., one million), the probability that nothing will be won will tend to 1/e as n tends to infinity.

Another application of e, discovered in part by Jacob Bernoulli along with French mathematician Pierre Raymond de Montmort, is in the problem of derangements, also known as the hat check problem.^[2] Here, n guests are invited to a party, and at the door each guest checks his hat with the butler, who then places them into labelled boxes. The butler does not know the name of the guests, and hence must put them into boxes selected at random. The problem of de Montmort is: what is the probability that none of the hats gets put into the right box. The answer is

${\displaystyle p_{n}=1-{\frac {1}{1!}}+{\frac {1}{2!}}-{\frac {1}{3!}}+\cdots +(-1)^{n}{\frac {1}{n!}}}$

which, as n tends to infinity, approaches 1/e.

e is an irrational number and a transcendental number.

The numeric value of e is approximately 2.7182818284 (sequence A001113 in the OEIS).

The square root of 2, often known as root 2, radical 2, or Pythagoras' constant, and written as √2, is the positive algebraic number that, when multiplied by itself, gives the number 2. It is more precisely called the principal square root of 2, to distinguish it from the negative number with the same property.

Geometrically the square root of 2 is the length of a diagonal across a square with sides of one unit of length; this follows from the Pythagorean theorem. It was probably the first number known to be irrational. Its numerical value truncated to 65 decimal places is:

1.41421356237309504880168872420969807856967187537694807317667973799... (sequence A002193 in the OEIS).

Alternatively, the quick approximation 99/70 (≈ 1.41429) for the square root of two was frequently used before the common use of electronic calculators and computers. Despite having a denominator of only 70, it differs from the correct value by less than 1/10,000 (approx. 7.2 × 10 ⁻⁵).

The numeric value of √3 is approximately 1.7320508075 (sequence A002194 in the OEIS).

These are constants which are encountered frequently in higher mathematics.

Iterations of continuous maps serve as the simplest examples of models for dynamical systems.^[3] Named after mathematical physicist Mitchell Feigenbaum, the two Feigenbaum constants appear in such iterative processes: they are mathematical invariants of logistic maps with quadratic maximum points^[4] and their bifurcation diagrams. Specifically, the constant α is the ratio between the width of a tine and the width of one of its two subtines, and the constant δ is the limiting ratio of each bifurcation interval to the next between every period-doubling bifurcation.

The logistic map is a polynomial mapping, often cited as an archetypal example of how chaotic behaviour can arise from very simple non-linear dynamical equations. The map was popularized in a seminal 1976 paper by the Australian biologist Robert May,^[5] in part as a discrete-time demographic model analogous to the logistic equation first created by Pierre François Verhulst. The difference equation is intended to capture the two effects of reproduction and starvation.

The numeric value of α is approximately 2.5029. The numeric value of δ is approximately 4.6692.

The number φ, also called the golden ratio, turns up frequently in geometry, particularly in figures with pentagonal symmetry. Indeed, the length of a regular pentagon's diagonal is φ times its side. The vertices of a regular icosahedron are those of three mutually orthogonal golden rectangles. Also, it appears in the Fibonacci sequence, related to growth by recursion.^[6] Kepler proved that it is the limit of the ratio of consecutive Fibonacci numbers.^[7] The golden ratio has the slowest convergence of any irrational number.^[8] It is, for that reason, one of the worst cases of Lagrange's approximation theorem and it is an extremal case of the Hurwitz inequality for Diophantine approximations. This may be why angles close to the golden ratio often show up in phyllotaxis (the growth of plants).^[9] It is approximately equal to 1.6180339887498948482, or, more precisely 2⋅sin(54°) = ${\displaystyle \scriptstyle {\frac {1+{\sqrt {5}}}{2}}.}$

The Euler–Mascheroni constant is defined as the following limit:

${\displaystyle {\begin{aligned}\gamma &=\lim _{n\to \infty }\left(\left(\sum _{k=1}^{n}{\frac {1}{k}}\right)-\ln n\right)\\[5px]\end{aligned}}}$

The Euler–Mascheroni constant appears in Mertens' third theorem and has relations to the gamma function, the zeta function and many different integrals and series.

It is yet unknown whether ${\displaystyle \gamma }$ is rational or not.

The numeric value of ${\displaystyle \gamma }$ is approximately 0.57721.

Apery's constant is the sum of the series $${\displaystyle \zeta (3)=1+{\frac {1}{2^{3}}}+{\frac {1}{3^{3}}}+{\frac {1}{4^{3}}}+\cdots }$$ Apéry's constant is an irrational number and its numeric value is approximately 1.2020569.

Despite being a special value of the Riemann zeta function, Apéry's constant arises naturally in a number of physical problems, including in the second- and third-order terms of the electron's gyromagnetic ratio, computed using quantum electrodynamics.^[10]

Catalan's constant is defined by the alternating sum of the squares of the odd numbers:

${\displaystyle G=\beta (2)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)^{2}}}={\frac {1}{1^{2}}}-{\frac {1}{3^{2}}}+{\frac {1}{5^{2}}}-{\frac {1}{7^{2}}}+{\frac {1}{9^{2}}}-\cdots ,}$

where β is the Dirichlet beta function. Its numerical value is approximately 0.91596 55941... (sequence A006752 in the OEIS)

and it appears frequently in combinatorics and number theory.

If a real number r is written as a simple continued fraction:

${\displaystyle r=a_{0}+{\dfrac {1}{a_{1}+{\dfrac {1}{a_{2}+{\dfrac {1}{a_{3}+\cdots }}}}}},}$

where a_k are natural numbers for all k, then, as the Russian mathematician Aleksandr Khinchin proved in 1934, the limit as n tends to infinity of the geometric mean: (a₁a₂...a_n)^1/n exists and is a constant, Khinchin's constant, except for a set of measure 0.^[11]

The numeric value of K is approximately 2.6854520010.

The Glaisher–Kinkelin constant is defined as the limit:

${\displaystyle A=\lim _{n\rightarrow \infty }{\frac {\prod _{k=1}^{n}k^{k}}{n^{n^{2}/2+n/2+1/12}e^{-n^{2}/4}}}}$

It appears in some expressions of the derivative of the Riemann zeta function. It has a numerical value of approximately 1.2824271291.

Some constants, such as the square root of 2, Liouville's constant and Champernowne constant:

${\displaystyle C_{10}=0.{\color {blue}{1}}2{\color {blue}{3}}4{\color {blue}{5}}6{\color {blue}{7}}8{\color {blue}{9}}10{\color {blue}{11}}12{\color {blue}{13}}14{\color {blue}{15}}16\dots }$

are not important mathematical invariants but retain interest being simple representatives of special sets of numbers, the irrational numbers,^[13] the transcendental numbers^[14] and the normal numbers (in base 10)^[15] respectively. The discovery of the irrational numbers is usually attributed to the Pythagorean Hippasus of Metapontum who proved, most likely geometrically, the irrationality of the square root of 2. As for Liouville's constant, named after French mathematician Joseph Liouville, it was the first number to be proven transcendental.^[16]

In the computer science subfield of algorithmic information theory, Chaitin's constant is the real number representing the probability that a randomly chosen Turing machine will halt, formed from a construction due to Argentine-American mathematician and computer scientist Gregory Chaitin. Chaitin's constant, though not being computable, has been proven to be transcendental and normal. Chaitin's constant is not universal, depending heavily on the numerical encoding used for Turing machines; however, its interesting properties are independent of the encoding.

When unspecified, constants indicate classes of similar objects, commonly functions, all equal up to a constant—technically speaking, this may be viewed as 'similarity up to a constant'. Such constants appear frequently when dealing with integrals and differential equations. Though unspecified, they have a specific value, which often is not important.

Indefinite integrals are called indefinite because their solutions are only unique up to a constant. For example, when working over the field of real numbers

${\displaystyle \int \cos x\ dx=\sin x+C}$

where C, the constant of integration, is an arbitrary fixed real number.^[17] In other words, whatever the value of C, differentiating sin x + C with respect to x always yields cos x.

In a similar fashion, constants appear in the solutions to differential equations where not enough initial values or boundary conditions are given. For example, the ordinary differential equation y^' = y(x) has solution Ce^x where C is an arbitrary constant.

When dealing with partial differential equations, the constants may be functions, constant with respect to some variables (but not necessarily all of them). For example, the PDE

${\displaystyle {\frac {\partial f(x,y)}{\partial x}}=0}$

has solutions f(x,y) = C(y), where C(y) is an arbitrary function in the variable y.

It is common to express the numerical value of a constant by giving its decimal representation (or just the first few digits of it). For two reasons this representation may cause problems. First, even though rational numbers all have a finite or ever-repeating decimal expansion, irrational numbers don't have such an expression making them impossible to completely describe in this manner. Also, the decimal expansion of a number is not necessarily unique. For example, the two representations 0.999... and 1 are equivalent^[18][19] in the sense that they represent the same number.

Calculating digits of the decimal expansion of constants has been a common enterprise for many centuries. For example, German mathematician Ludolph van Ceulen of the 16th century spent a major part of his life calculating the first 35 digits of pi.^[20] Using computers and supercomputers, some of the mathematical constants, including π, e, and the square root of 2, have been computed to more than one hundred billion digits. Fast algorithms have been developed, some of which — as for Apéry's constant — are unexpectedly fast.

Some constants differ so much from the usual kind that a new notation has been invented to represent them reasonably. Graham's number illustrates this as Knuth's up-arrow notation is used.^[21][22]

It may be of interest to represent them using continued fractions to perform various studies, including statistical analysis. Many mathematical constants have an analytic form, that is they can be constructed using well-known operations that lend themselves readily to calculation. Not all constants have known analytic forms, though; Grossman's constant^[23] and Foias' constant^[24] are examples.

Symbolizing constants with letters is a frequent means of making the notation more concise. A common convention, instigated by René Descartes in the 17th century and Leonhard Euler in the 18th century, is to use lower case letters from the beginning of the Latin alphabet ${\displaystyle a,b,c,\dots }$ or the Greek alphabet ${\displaystyle \alpha ,\beta ,\,\gamma ,\dots }$ when dealing with constants in general.

However, for more important constants, the symbols may be more complex and have an extra letter, an asterisk, a number, a lemniscate or use different alphabets such as Hebrew, Cyrillic or Gothic.^[22]

Sometimes, the symbol representing a constant is a whole word. For example, American mathematician Edward Kasner's 9-year-old nephew coined the names googol and googolplex.^[22][25]

${\displaystyle \mathrm {googol} =10^{100}\,\ ,\ \mathrm {googolplex} =10^{\mathrm {googol} }=10^{10^{100}}}$

Other names are either related to the meaning of the constant (universal parabolic constant, twin prime constant, ...) or to a specific person (Sierpiński's constant, Josephson constant, and so on).

Symbol	Value	Name	Field	Set	Number of known decimal digits	First described
${\displaystyle 0}$	0.0000000000...	Zero	Gen	${\displaystyle \mathbb {Z} }$	all	by c. 500 BC
${\displaystyle 1}$	1.0000000000...	One	Gen	${\displaystyle \mathbb {Z} }$	all	Prehistory
${\displaystyle i}$	0+1i	Imaginary unit	Gen, Ana	${\displaystyle \mathbb {A} ,\mathbb {C} }$	all	by c. 1500
${\displaystyle \pi }$	3.1415926535...	Pi, Archimedes' constant	Gen, Ana	${\displaystyle \mathbb {R} \setminus \mathbb {A} }$	2.0 × 1014[26]	by c. 2600 BC
${\displaystyle e}$	2.7182818284...	e, Euler's number	Gen, Ana	${\displaystyle \mathbb {R} \setminus \mathbb {A} }$	3.5 × 1013[26]	1618
${\displaystyle {\sqrt {2}}}$	1.4142135623...	Square root of 2, Pythagoras' constant	Gen	${\displaystyle \mathbb {A} }$	2.0 × 1013[26]	by c. 800 BC
${\displaystyle {\sqrt {3}}}$	1.7320508075...	Square root of 3, Theodorus' constant	Gen	${\displaystyle \mathbb {A} }$	3.1 × 1012[26]	by c. 800 BC
${\displaystyle \varphi }$	1.6180339887...	Golden ratio	Gen	${\displaystyle \mathbb {A} }$	2.0 × 1013[26]	by c. 200 BC
${\displaystyle {\sqrt[{3}]{2}}}$	1.2599210498...	Cube root of two	Gen	${\displaystyle \mathbb {A} }$	1.0 × 1012[26]
${\displaystyle \ln(2)}$	0.6931471805...	Natural logarithm of 2	Gen, Ana	${\displaystyle \mathbb {R} \setminus \mathbb {A} }$	3.0 × 1012[26]
${\displaystyle \gamma }$	0.5772156649...	Euler–Mascheroni constant	Gen, NuT	${\displaystyle \mathbb {R} }$	1.3 × 1012[26]	1735
${\displaystyle \zeta (3)}$	1.2020569031...	Apéry's constant	Ana	${\displaystyle \mathbb {R} \setminus \mathbb {Q} }$	2.0 × 1012[26]	1979
${\displaystyle G}$	0.9159655941...	Catalan's constant	Com	${\displaystyle \mathbb {R} }$	1.2 × 1012[26]
${\displaystyle \varpi }$	2.6220575542...	Lemniscate constant	Ana	${\displaystyle \mathbb {R} \setminus \mathbb {A} }$	1.2 × 1012[26]
${\displaystyle A}$	1.2824271291...	Glaisher-Kinkelin constant	Ana	${\displaystyle \mathbb {R} }$	10,000+[27]
${\displaystyle K_{0}}$	2.6854520010...	Khinchin's constant	NuT	${\displaystyle \mathbb {R} }$	1,200+[28]
${\displaystyle \theta }$	1.3063778838...*	Mills' constant	NuT	${\displaystyle \mathbb {R} }$	0*	1947
${\displaystyle \delta }$	4.6692016091...	Feigenbaum constants	ChT	${\displaystyle \mathbb {R} }$	1,000+[29]	1975
${\displaystyle \alpha }$	2.5029078750...			${\displaystyle \mathbb {R} }$	1,000+[30]

*The value of Mill's constant is unknown, but it has been calculated to be approximately 1.3063778838... if the Riemann hypothesis is true.

Abbreviations used:

Gen – General, NuT – Number theory, ChT – Chaos theory, Com – Combinatorics, Inf – Information theory, Ana – Mathematical analysis

• Invariant (mathematics)
• List of mathematical symbols
• List of numbers
• Physical constant