Abstract
Motivated by the work of D. Y. Kleinbock, E. Lindenstrauss, G. A. Margulis, and B. Weiss [8, 9], we explore the Diophantine properties of probability measures invariant under the Gauss map. Specifically, we prove that every such measure which has finite Lyapunov exponent is extremal, i.e., gives zero measure to the set of very well approximable numbers. We show, on the other hand, that there exist examples where the Lyapunov exponent is infinite and the invariant measure is not extremal. Finally, we construct a family of Ahlfors regular measures and prove a Khinchine-type theorem for these measures. The series whose convergence or divergence is used to determine whether or not µ-almost every point is ψ-approximable is different from the series used for Lebesgue measure, so this theorem answers in the negative a question posed by Kleinbock, Lindenstrauss, and Weiss [8].
Similar content being viewed by others
References
Y. Bugeaud, Approximation by Algebraic Numbers, Cambridge University Press, Cambridge, 2004.
K. J. Falconer, Fractal Geometry. Mathematical Fundations and Applications, John Wiley & Sons, Ltd., Chichester, 1990.
I. J. Good, The fractional dimensional theory of continued fractions, Proc. Cambridge Philos. Soc. 37 (1941), 199–228.
D. Hensley, Continued Fractions, World Scientific, Hackensack, NJ, 2006.
M. Kesseböhmer and S. Zhu, Dimension sets for infinite IFSs: the Texan conjecture, J. Number Theory 116 (2006), 230–246.
A. Y. Khinchine, Continued Fractions, The University of Chicago Press, Chicago, Ill.-London, 1964
D. Y. Kleinbock, Metric Diophantine approximation and dynamical systems, unpublished lecture notes, http://people.brandeis.edu/~kleinboc/203b/lectures2010.pdf.
D. Y. Kleinbock, E. Lindenstrauss, and B. Weiss, On fractal measures and Diophantine approximation, Selecta Math. 10 (2004), 479–523.
D. Y. Kleinbock and G. A. Margulis, Flows on homogeneous spaces and Diophantine approximation on manifolds, Ann. of Math. (2) 148 (1998), 339–360.
R. D. Mauldin and M. Urbański, Conformal iterated function systems with applications to the geometry of continued fractions, Trans. Amer. Math. Soc. 351 (1999), 4995–5025.
R. D. Mauldin and M. Urbański, Graph Directed Markov Systems: Geometry and Dynamics of Limit Sets, Cambridge University Press, Cambridge, 2003.
M. Urbański, Diophantine approximation for conformal measures of one-dimensional iterated function systems, Compos. Math. 141 (2005), 869–886.
B. Weiss, Almost no points on a Cantor set are very well approximable, R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 457 (2001), 949–952.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported in part by the Simons Foundation grant 245708.
Supported in part by NSF Grant DMS 1001874.
Rights and permissions
About this article
Cite this article
Fishman, L., Simmons, D. & Urbański, M. Diophantine properties of measures invariant with respect to the Gauss map. JAMA 122, 289–315 (2014). https://doi.org/10.1007/s11854-014-0009-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-014-0009-8