Difference between revisions of "Linear form in logarithms"
(Importing text file) |
(→References: Baker & Wustholz (2007)) |
||
Line 35: | Line 35: | ||
====Comments==== | ====Comments==== | ||
+ | |||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Baker, "Transcendental number theory" , Cambridge Univ. Press (1975)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> T.N. Shorey, R. Tijdeman, "Exponential Diophantine equations" , Cambridge Univ. Press (1986)</TD></TR></table> | + | <table> |
+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Baker, "Transcendental number theory" , Cambridge Univ. Press (1975)</TD></TR> | ||
+ | <TR><TD valign="top">[a2]</TD> <TD valign="top"> T.N. Shorey, R. Tijdeman, "Exponential Diophantine equations" , Cambridge Univ. Press (1986)</TD></TR> | ||
+ | <TR><TD valign="top">[a3]</TD> <TD valign="top">Alan Baker, Gisbert Wüstholz, "Logarithmic Forms and Diophantine Geometry", New Mathematical Monographs '''9''', Cambridge University Press (2007), ISBN 978-0-521-88268-2 </TD></TR> | ||
+ | </table> |
Revision as of 17:32, 21 August 2013
of algebraic numbers
An expression of the form
![]() |
Effective lower bounds for , under the assumption that the numbers
,
are rational or algebraic numbers and
, with fixed branches of the logarithms, are linearly independent over the field
, play an important role in number theory.
When are rational, the inequality
holds, where
and
depends only on the numbers
. The methods by means of which non-trivial lower bounds for
are established belong to the theory of transcendental numbers. In the case
a number of inequalities, true for
, better than an effectively computable bound, were obtained by A.O. Gel'fond in 1935–1949. The best of them has the form
.
In 1948 he proved that for any and for all sufficiently large
one has
. The latter result was, however, only an existence theorem, and a bound for
, starting with which this inequality was satisfied, could not be determined from the proof. Effective bounds for
for any
were obtained in 1966 by A. Baker (see [2]) on the basis of Gel'fond's method.
Suppose that and
are non-zero algebraic numbers with height and degree not exceeding
and
, respectively, where
,
(cf. Algebraic number). Suppose also that
and that
are the principal values of the logarithms. If there are rational integers
,
, such that
![]() |
then
![]() |
In connection with various problems a large number of effective bounds for linear forms in logarithms have been obtained. A bound for in terms of powers of
was first obtained in 1968 by N.I. Fel'dman [3].
Suppose that , that
are algebraic numbers and that
, with fixed branches of the logarithms, are linearly independent over
. There are effective constants
,
such that for any algebraic numbers
with height not exceeding
the inequality
![]() |
holds (the constants and
can be given explicitly in terms of the numbers
and powers of
).
By means of bounds for linear forms in logarithms of algebraic numbers, bounds have been obtained for solutions of various classes of Diophantine equations (Thue equations, hyper-elliptic equations, equations given by curves of genus 1, etc.). Estimates of linear forms in logarithms have made it possible to determine bounds for the discriminants of imaginary quadratic fields with class numbers 1 and 2. -adic analogues of theorems giving bounds for linear forms in logarithms of algebraic numbers are also used in number theory.
References
[1] | A.O. Gel'fond, "Transcendental and algebraic numbers" , Dover, reprint (1960) (Translated from Russian) |
[2] | A. Baker, "Effective methods in the theory of numbers" , Proc. Internat. Congress Mathematicians (Nice, 1970) , 1 , Gauthier-Villars (1971) pp. 19–26 |
[3] | N.I. Fel'dman, "An improvement of the estimate for a linear form in the logarithms of algebraic numbers" Math. USSR Sb. , 6 (1968) pp. 393–406 Mat. Sb. , 77 : 3 (1968) pp. 423–436 |
[4] | N.I. Fel'dman, "An effective refinement of the exponent in Liouville's theorem" Math. USSR Izv. , 5 : 5 (1971) pp. 985–1002 Izv. Akad. Nauk. SSSR Ser. Mat. , 35 : 5 (1971) pp. 973–990 |
[5] | , Current problems of analytic number theory , Minsk (1974) (In Russian) |
Comments
References
[a1] | A. Baker, "Transcendental number theory" , Cambridge Univ. Press (1975) |
[a2] | T.N. Shorey, R. Tijdeman, "Exponential Diophantine equations" , Cambridge Univ. Press (1986) |
[a3] | Alan Baker, Gisbert Wüstholz, "Logarithmic Forms and Diophantine Geometry", New Mathematical Monographs 9, Cambridge University Press (2007), ISBN 978-0-521-88268-2 |
Linear form in logarithms. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Linear_form_in_logarithms&oldid=14311