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[1] and Theodor Schneider.

Statement

If a and b are complex algebraic numbers with a ≠ 0, 1, and b not rational, then any value of a^b is a transcendental number.

Comments

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, a^b = exp(b ln a) is multivalued, where ln stands for the natural logarithm. 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 (log γ)/(log α) is either rational or transcendental. This may be expressed as saying that if log α, log γ 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,

{\left({\sqrt {2}}^{\sqrt {2}}\right)}^{\sqrt {2}}={\sqrt {2}}^{{\sqrt {2}}\cdot {\sqrt {2}}}={\sqrt {2}}^{2}=2.

Here, a is √2^√2, which (as proven by the theorem itself) is transcendental rather than algebraic. Similarly, if a = 3 and b = (log 2)/(log 3), which is transcendental, then a^b = 2 is algebraic. A characterization of the values for a and b which yield a transcendental a^b is not known.

Kurt Mahler proved the p-adic analogue of the theorem: if a and b are in C_p, the completion of the algebraic closure of Q_p, and they are algebraic over Q, and if $|a-1|_{p}<1$ and $|b-1|_{p}<1,$ then $(\log _{p}a)/(\log _{p}b)$ is either rational or transcendental, where log_p is the p-adic logarithm function.

Corollaries

The transcendence of the following numbers follows immediately from the theorem:

Gelfond–Schneider constant $2^{\sqrt {2}}$ and its square root ${\sqrt {2}}^{\sqrt {2}}.$
Gelfond's constant $e^{\pi }=\left(e^{i\pi }\right)^{-i}=(-1)^{-i}=23.14069263\ldots$
$i^{i}=\left(e^{\frac {i\pi }{2}}\right)^{i}=e^{-{\frac {\pi }{2}}}=0.207879576\ldots$

Applications

The Gelfond–Schneider theorem answers affirmatively Hilbert's seventh problem.

References

Aleksandr Gelfond (1934). "Sur le septième Problème de Hilbert". Bulletin de l'Académie des Sciences de l'URSS. Classe des sciences mathématiques et na. VII (4): 623–634.

External links

A proof of the Gelfond–Schneider theorem

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Aleksandr Gelfond (1934). "Sur le septième Problème de Hilbert". Bulletin de l'Académie des Sciences de l'URSS. Classe des sciences mathématiques et na. VII (4): 623–634.