Mathematics Foundations/22.4 Diophantine Approximation

22.4 Diophantine Approximation Introduction Diophantine approximation is a branch of number theory that studies how well real numbers can be approximated by rational numbers. The field derives its name from the ancient Greek mathematician Diophantus of Alexandria and forms a cornerstone of modern number theory with applications in dynamical systems, Diophantine geometry, and transcendental number theory. Rational Approximations The fundamental question in Diophantine approximation is: How closely can an irrational number be approximated by rational numbers? For any irrational number , we can find infinitely many rational numbers such that: This result, known as Dirichlet's approximation theorem, provides a measure of the quality of rational approximations. Continued Fractions Continued fractions provide the best rational approximations to real numbers. For a real number , its continued fraction expansion is: The convergents of this continued fraction give successively better approximations to . Diophantine Approximation Constants The Lagrange Spectrum For an irrational number , its Lagrange constant is defined as: The set of all Lagrange constants forms the Lagrange spectrum, which has remarkable properties including a discrete part followed by a continuous part. Markoff Numbers The Markoff numbers arise from the study of the Lagrange spectrum. They are defined by the Diophantine equation: The Markoff numbers play a crucial role in determining the values in the discrete part of the Lagrange spectrum. Uniform Distribution and Discrepancy The sequence (fractional part of ) is uniformly distributed modulo 1 for any irrational . The discrepancy of this sequence measures how well it approximates the uniform distribution. For a sequence in [0,1], the discrepancy is defined as: Khintchine's Theorem Khintchine's theorem characterizes the set of real numbers that admit approximations of a given quality. For a decreasing function , consider the set: Khintchine proved that: If converges, then has Lebesgue measure zero. If diverges, then has full Lebesgue measure. Diophantine Approximation in Higher Dimensions The theory extends to approximating vectors of real numbers by vectors of rational numbers. For , we study approximations of the form: Schmidt's subspace theorem is a powerful generalization in this context, with applications to Diophantine equations. Simultaneous Approximation Simultaneous Diophantine approximation concerns approximating multiple real numbers simultaneously with rational numbers having the same denominator. For , we seek integers with such that: Applications Transcendental Number Theory Diophantine approximation provides tools for proving that certain numbers are transcendental. The Thue-Siegel-Roth theorem, which states that algebraic irrational numbers cannot be approximated "too well" by rational numbers, is fundamental in this area. Dynamical Systems In dynamical systems, Diophantine approximation arises in the study of circle rotations, KAM theory, and small divisor problems. Diophantine Equations Techniques from Diophantine approximation are used to study the solutions of Diophantine equations, particularly in determining whether equations have finitely or infinitely many solutions. Exercises 1. Prove that the golden ratio has the continued fraction expansion [1; 1, 1, 1, ...]. 2. Show that for any irrational , there exist infinitely many rational numbers such that . 3. Prove that if is a quadratic irrational, then its continued fraction expansion is eventually periodic. 4. Compute the first few convergents of and evaluate their accuracy. 5. Show that the Lagrange constant of is .