HOME

TheInfoList



OR:

In mathematics, Gelfond's constant, named after
Aleksandr Gelfond Alexander Osipovich Gelfond (russian: Алекса́ндр О́сипович Ге́льфонд; 24 October 1906 – 7 November 1968) was a Soviet mathematician. Gelfond's theorem, also known as the Gelfond-Schneider theorem is named after hi ...
, is , that is, raised to the
power Power most often refers to: * Power (physics), meaning "rate of doing work" ** Engine power, the power put out by an engine ** Electric power * Power (social and political), the ability to influence people or events ** Abusive power Power may a ...
. Like both and , this constant is a
transcendental number In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and . Though only a few classes ...
. This was first established by Gelfond and may now be considered as an application of the
Gelfond–Schneider theorem In mathematics, the Gelfond–Schneider theorem establishes the transcendence of a large class of numbers. History It was originally proved independently in 1934 by Aleksandr Gelfond and Theodor Schneider. Statement : If ''a'' and ''b'' are ...
, noting that e^\pi = (e^)^ = (-1)^, where is the
imaginary unit The imaginary unit or unit imaginary number () is a solution to the quadratic equation x^2+1=0. Although there is no real number with this property, can be used to extend the real numbers to what are called complex numbers, using addition an ...
. Since is algebraic but not rational, is transcendental. The constant was mentioned in
Hilbert's seventh problem Hilbert's seventh problem is one of David Hilbert's list of open mathematical problems posed in 1900. It concerns the irrationality and transcendence of certain numbers (''Irrationalität und Transzendenz bestimmter Zahlen''). Statement of the p ...
. A related constant is , known as the Gelfond–Schneider constant. The related value  +  is also irrational.


Numerical value

The decimal expansion of Gelfond's constant begins :e^\pi = ...  


Construction

If one defines and k_ = \frac for , then the sequence (4/k_)^ converges rapidly to .


Continued fraction expansion

e^ = 23+ \cfrac This is based on the digits for the
simple continued fraction In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integer pa ...
: e^ = [23; 7, 9, 3, 1, 1, 591, 2, 9, 1, 2, 34, 1, 16, 1, 30, 1, 1, 4, 1, 2, 108, 2, 2, 1, 3, 1, 7, 1, 2, 2, 2, 1, 2, 3, 2, 166, 1, 2, 1, 4, 8, 10, 1, 1, 7, 1, 2, 3, 566, 1, 2, 3, 3, 1, 20, 1, 2, 19, 1, 3, 2, 1, 2, 13, 2, 2, 11, ...] As given by the integer sequence oeis:A058287, A058287.


Geometric property

The Volume of an n-ball, volume of the ''n''-dimensional ball (or n-ball, ''n''-ball), is given by V_n = \frac, where is its radius, and is the
gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except ...
. Any even-dimensional ball has volume V_ = \fracR^, and, summing up all the unit-ball () volumes of even-dimension givesConnolly, Francis. University of Notre Dame \sum_^\infty V_ (R = 1) = e^\pi.


Similar or related constants


Ramanujan's constant

e^ = (\text)^ This is known as Ramanujan's constant. It is an application of Heegner numbers, where 163 is the Heegner number in question. Similar to , is very close to an integer: :e^ = ... \approx 640\,320^3+744 As it was the Indian mathematician Srinivasa Ramanujan who first predicted this almost-integer number, it has been named after him, though the number was first discovered by the French mathematician
Charles Hermite Charles Hermite () FRS FRSE MIAS (24 December 1822 – 14 January 1901) was a French mathematician who did research concerning number theory, quadratic forms, invariant theory, orthogonal polynomials, elliptic functions, and algebra. Hermi ...
in 1859. The coincidental closeness, to within 0.000 000 000 000 75 of the number is explained by
complex multiplication In mathematics, complex multiplication (CM) is the theory of elliptic curves ''E'' that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible wh ...
and the ''q''-expansion of the
j-invariant In mathematics, Felix Klein's -invariant or function, regarded as a function of a complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is hol ...
, specifically: j((1+\sqrt)/2)=(-640\,320)^3 and, (-640\,320)^3=-e^+744+O\left(e^\right) where is the error term, which explains why is 0.000 000 000 000 75 below . (For more detail on this proof, consult the article on Heegner numbers.)


The number

The decimal expansion of is given by
A018938 A, or a, is the first letter and the first vowel of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''a'' (pronounced ), plural ''aes'' ...
: :e^ - \pi = ... Despite this being nearly the integer 20, no explanation has been given for this fact and it is believed to be a
mathematical coincidence A mathematical coincidence is said to occur when two expressions with no direct relationship show a near-equality which has no apparent theoretical explanation. For example, there is a near-equality close to the round number 1000 between powers ...
.


The number

The decimal expansion of is given by
A059850 A, or a, is the first letter and the first vowel of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''a'' (pronounced ), plural ''aes'' ...
: : \pi^ = ... It is not known whether or not this number is transcendental. Note that, by Gelfond-Schneider theorem, we can only infer definitively that is transcendental if is algebraic and is not rational ( and are both considered
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the fo ...
s, also , ). In the case of , we are only able to prove this number transcendental due to properties of complex exponential forms, where is considered the modulus of the complex number , and the above equivalency given to transform it into , allowing the application of Gelfond-Schneider theorem. has no such equivalence, and hence, as both and are transcendental, we can make no conclusion about the transcendence of .


The number

As with , it is not known whether is transcendental. Further, no proof exists to show whether or not it is irrational. The decimal expansion for is given by
A063504 A, or a, is the first letter and the first vowel of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''a'' (pronounced ), plural ''aes'' ...
: : e^ - \pi^ = ...


The number

Using the principal value of the complex logarithm, i^ = (e^)^i = e^ = (e^)^ The decimal expansion of is given by
A049006 A, or a, is the first letter and the first vowel of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''a'' (pronounced ), plural ''aes'' ...
: : i^ = ... Because of the equivalence, we can use the Gelfond-Schneider theorem to prove that the reciprocal square root of Gelfond's constant is also transcendental: is both algebraic (a solution to the polynomial ), and not rational, hence is transcendental.


See also

*
Transcendental number In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and . Though only a few classes ...
*
Transcendental number theory Transcendental number theory is a branch of number theory that investigates transcendental numbers (numbers that are not solutions of any polynomial equation with rational coefficients), in both qualitative and quantitative ways. Transcendence ...
, the study of questions related to transcendental numbers *
Euler's identity In mathematics, Euler's identity (also known as Euler's equation) is the equality e^ + 1 = 0 where : is Euler's number, the base of natural logarithms, : is the imaginary unit, which by definition satisfies , and : is pi, the ratio of the circ ...
* Gelfond–Schneider constant


References


Further reading

* Alan Baker and
Gisbert Wüstholz Gisbert Wüstholz (born June 4, 1948, in Tuttlingen, Germany) is a German mathematician internationally known for his fundamental contributions to number theory (in the field of transcendental number theory, Diophantine approximation) and arithmet ...
, ''Logarithmic Forms and Diophantine Geometry'', New Mathematical Monographs 9, Cambridge University Press, 2007, {{ISBN, 978-0-521-88268-2


External links


Gelfond's constant at ''MathWorld''




Mathematical constants Real transcendental numbers