Gelfond–Schneider theorem
Template:Use American English Template:Short description In mathematics, the Gelfond–Schneider theorem establishes the transcendence of a large class of numbers.
HistoryEdit
It was originally proved independently in 1934 by Aleksandr Gelfond and Theodor Schneider.<ref>Template:Citation</ref><ref>Template:Cite journal</ref><ref>Template:Citation</ref><ref>Template:Citation</ref>
StatementEdit
CommentsEdit
The values of a and b are not restricted to real numbers; complex numbers are allowed (here complex numbers are not regarded as rational when they have an imaginary part not equal to 0, even if both the real and imaginary parts are rational).
In general, Template:Nowrap is multivalued, where log stands for the complex natural logarithm. (This is the multivalued inverse of the exponential function exp.) This accounts for the phrase "any value of" in the theorem's statement.
An equivalent formulation of the theorem is the following: if α and γ are nonzero algebraic numbers, and we take any non-zero logarithm of α, then Template:Nowrap is either rational or transcendental. This may be expressed as saying that if Template:Nowrap, Template:Nowrap are linearly independent over the rationals, then they are linearly independent over the algebraic numbers. The generalisation of this statement to more general linear forms in logarithms of several algebraic numbers is in the domain of transcendental number theory.
If the restriction that a and b be algebraic is removed, the statement does not remain true in general. For example, <math display="block">{\left(\sqrt{2}^{\sqrt{2}}\right)}^{\sqrt{2}} = \sqrt{2}^{\sqrt{2} \cdot \sqrt{2}} = \sqrt{2}^2 = 2.</math> Here, a is Template:RadicTemplate:Radic, which (as proven by the theorem itself) is transcendental rather than algebraic. Similarly, if Template:Nowrap and Template:Nowrap, which is transcendental, then Template:Nowrap is algebraic. A characterization of the values for a and b which yield a transcendental ab is not known.
Kurt Mahler proved the p-adic analogue of the theorem: if a and b are in Cp, the completion of the algebraic closure of Qp, and they are algebraic over Q, and if <math>|a-1|_p<1</math> and <math>|b-1|_p<1,</math> then <math>(\log_p a)/(\log_p b)</math> is either rational or transcendental, where logp is the p-adic logarithm function.
CorollariesEdit
The transcendence of the following numbers follows immediately from the theorem:
- Gelfond–Schneider constant <math>2^{\sqrt{2}}=2.665144142\ldots </math> and its square root <math>\sqrt{2}^{\sqrt{2}}=\sqrt{2^{\sqrt{2}}}= 1.632526919\ldots</math>
- Gelfond's constant <math>e^{\pi} = \left( e^{i \pi} \right)^{-i} = (-1)^{-i} = 23.14069263 \ldots</math>
- <math> i^i = \left( e^{\frac{i \pi}{2}} \right)^i = e^{-\frac{\pi}{2}}
= \frac{1}{\sqrt{e^{\pi}}} = 0.207879576 \ldots</math>
ApplicationsEdit
The Gelfond–Schneider theorem answers affirmatively Hilbert's seventh problem.
See alsoEdit
- Lindemann–Weierstrass theorem
- Baker's theorem; an extension of the result
- Schanuel's conjecture; if proven it would imply both the Gelfond–Schneider theorem and the Lindemann–Weierstrass theorem
ReferencesEdit
Further readingEdit
External linksEdit
- {{#invoke:Template wrapper|{{#if:|list|wrap}}|_template=cite web
|_exclude=urlname, _debug, id |url = https://mathworld.wolfram.com/{{#if:GelfondsTheorem%7CGelfondsTheorem.html}} |title = Gelfond-Schneider Theorem |author = Weisstein, Eric W. |website = MathWorld |access-date = |ref = Template:SfnRef }}