# American Institute of Mathematical Sciences

January  2008, 2(1): 43-62. doi: 10.3934/jmd.2008.2.43

## Dirichlet's theorem on diophantine approximation and homogeneous flows

 1 Goldsmith 207, Brandeis University, Waltham, MA 02454-9110 2 Ben Gurion University, Be'er Sheva, 84105, Israel

Received  December 2006 Revised  September 2007 Published  October 2007

Given an $m \times n$ real matrix $Y$, an unbounded set $\mathcal{T}$ of parameters $t =( t_1, \ldots, t_{m+n})\in\mathbb{R}_+^{m+n}$ with $\sum_{i = 1}^m t_i =\sum_{j = 1}^{n} t_{m+j}$ and $0<\varepsilon \leq 1$, we say that Dirichlet's Theorem can be $\varepsilon$-improved for $Y$ along $\mathcal{T}$ if for every sufficiently large $\v \in \mathcal{T}$ there are nonzero $\q \in \mathbb Z^n$ and $\p \in \mathbb Z^m$ such that
$|Y_i\q - p_i| < \varepsilon e^{-t_i}\,$     $i = 1,\ldots, m$
$|q_j| < \varepsilon e^{t_{m+j}}\,$     $j = 1,\ldots, n$
(here $Y_1,\ldots,Y_m$ are rows of $Y$). We show that for any $\varepsilon<1$ and any $\mathcal{T}$ 'drifting away from walls', see (1.8), Dirichlet's Theorem cannot be $\epsilon$-improved along $\mathcal{T}$ for Lebesgue almost every $Y$. In the case $m = 1$ we also show that for a large class of measures $\mu$ (introduced in [14]) there is $\varepsilon_0>0$ such that for any drifting away from walls unbounded $\mathcal{T}$, any $\varepsilon<\varepsilon_0$, and for $\mu$-almost every $Y$, Dirichlet's Theorem cannot be $\varepsilon$-improved along $\mathcal{T}$. These measures include natural measures on sufficiently regular smooth manifolds and fractals.
Our results extend those of several authors beginning with the work of Davenport and Schmidt done in late 1960s. The proofs rely on a translation of the problem into a dynamical one regarding the action of a diagonal semigroup on the space $\SL_{m+n}(\mathbb R)$/$SL_{m+n}(\mathbb Z)$.
Citation: Dmitry Kleinbock, Barak Weiss. Dirichlet's theorem on diophantine approximation and homogeneous flows. Journal of Modern Dynamics, 2008, 2 (1) : 43-62. doi: 10.3934/jmd.2008.2.43
 [1] Nimish Shah, Lei Yang. Equidistribution of curves in homogeneous spaces and Dirichlet's approximation theorem for matrices. Discrete & Continuous Dynamical Systems, 2020, 40 (9) : 5247-5287. doi: 10.3934/dcds.2020227 [2] Sanghoon Kwon, Seonhee Lim. Equidistribution with an error rate and Diophantine approximation over a local field of positive characteristic. Discrete & Continuous Dynamical Systems, 2018, 38 (1) : 169-186. doi: 10.3934/dcds.2018008 [3] Runlin Zhang. Equidistribution of translates of a homogeneous measure on the Borel–Serre compactification. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021183 [4] Shrikrishna G. Dani. Simultaneous diophantine approximation with quadratic and linear forms. Journal of Modern Dynamics, 2008, 2 (1) : 129-138. doi: 10.3934/jmd.2008.2.129 [5] Chao Ma, Baowei Wang, Jun Wu. Diophantine approximation of the orbits in topological dynamical systems. Discrete & Continuous Dynamical Systems, 2019, 39 (5) : 2455-2471. doi: 10.3934/dcds.2019104 [6] Hans Koch, João Lopes Dias. Renormalization of diophantine skew flows, with applications to the reducibility problem. Discrete & Continuous Dynamical Systems, 2008, 21 (2) : 477-500. doi: 10.3934/dcds.2008.21.477 [7] Kathryn Dabbs, Michael Kelly, Han Li. Effective equidistribution of translates of maximal horospherical measures in the space of lattices. Journal of Modern Dynamics, 2016, 10: 229-254. doi: 10.3934/jmd.2016.10.229 [8] Angkana Rüland, Mikko Salo. Quantitative approximation properties for the fractional heat equation. Mathematical Control & Related Fields, 2020, 10 (1) : 1-26. doi: 10.3934/mcrf.2019027 [9] Se-Hyun Ku. Expansive flows on uniform spaces. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021165 [10] Livio Flaminio, Giovanni Forni, Federico Rodriguez Hertz. Invariant distributions for homogeneous flows and affine transformations. Journal of Modern Dynamics, 2016, 10: 33-79. doi: 10.3934/jmd.2016.10.33 [11] Daniel Guan. Classification of compact complex homogeneous spaces with invariant volumes. Electronic Research Announcements, 1997, 3: 90-92. [12] Danijela Damjanovic, James Tanis, Zhenqi Jenny Wang. On globally hypoelliptic abelian actions and their existence on homogeneous spaces. Discrete & Continuous Dynamical Systems, 2020, 40 (12) : 6747-6766. doi: 10.3934/dcds.2020164 [13] Daniel Guan. Classification of compact homogeneous spaces with invariant symplectic structures. Electronic Research Announcements, 1997, 3: 52-54. [14] Maxim Sølund Kirsebom. Extreme value theory for random walks on homogeneous spaces. Discrete & Continuous Dynamical Systems, 2014, 34 (11) : 4689-4717. doi: 10.3934/dcds.2014.34.4689 [15] Wenyu Pan. Joining measures for horocycle flows on abelian covers. Journal of Modern Dynamics, 2018, 12: 17-54. doi: 10.3934/jmd.2018003 [16] Radu Saghin. On the number of ergodic minimizing measures for Lagrangian flows. Discrete & Continuous Dynamical Systems, 2007, 17 (3) : 501-507. doi: 10.3934/dcds.2007.17.501 [17] Jaeyoo Choy, Hahng-Yun Chu. On the dynamics of flows on compact metric spaces. Communications on Pure & Applied Analysis, 2010, 9 (1) : 103-108. doi: 10.3934/cpaa.2010.9.103 [18] Ling-Xiong Han, Wen-Hui Li, Feng Qi. Approximation by multivariate Baskakov–Kantorovich operators in Orlicz spaces. Electronic Research Archive, 2020, 28 (2) : 721-738. doi: 10.3934/era.2020037 [19] Betseygail Rand, Lorenzo Sadun. An approximation theorem for maps between tiling spaces. Discrete & Continuous Dynamical Systems, 2011, 29 (1) : 323-326. doi: 10.3934/dcds.2011.29.323 [20] Alexander Gorodnik, Frédéric Paulin. Counting orbits of integral points in families of affine homogeneous varieties and diagonal flows. Journal of Modern Dynamics, 2014, 8 (1) : 25-59. doi: 10.3934/jmd.2014.8.25

2020 Impact Factor: 0.848