Best simultaneous Diophantine approximations and Lévy's theorem. (Q2566837): Difference between revisions

The author considers multidimensional analogues of continued fraction expansions as investigated in the monograph by \textit{F. Schweiger} [Multidimensional continued fractions, Oxford Science Publications, Oxford Univ. Press (2000; Zbl 0981.11029)]. He extends results of the Lévy type by complementing ideas used in a series of papers of \textit{J. C. Lagarias} [see for instance ``Best simultaneous Diophantine approximations. I: Growth Rates of Best Approximations denominators'', Trans. Am. Math. Soc. 272, 545--554 (1982; Zbl 0495.10021), ``II: Behavior of consecutive best approximations'', Pac. J. Math. 102, 61--88 (1982; Zbl 0497.10025), ``Geodesic multidimensional continued fractions'', Proc. Lond. Math. Soc., III. Ser. 69, 464--488 (1994; Zbl 0813.11040)]. For this purpose the spaces of \(d\times k\)-matrices \(M_{d,k}(\mathbb R)\) and \(M_{d,k}(\mathbb Z)\) are introduced with Euclidean norm \(| \cdot| \) and \(\| \Theta\| =\inf\{| \Theta-N| :N\in M_{d,k}(\mathbb Z)\}\) for \(\Theta\in M_{d,k}(\mathbb R)\). Furthermore, Diophantine approximations \(Q\in\mathbb Z^k\backslash\{0\}\) with the following properties are defined: \[ \begin{aligned} \| \Theta P\| &>\| \Theta Q\| \quad \forall P\in\mathbb Z^k\backslash\{0\},\;| P| <Q\\ \| \Theta P\| &\geq\| \Theta Q\| \quad \forall P\in\mathbb Z^k\backslash\{0\},\;| P| \leq Q. \end{aligned} \] This leads to an infinite approximation sequence \(Q_m(\Theta)\). Setting \(q_m(\Theta)=| Q_m(\Theta)| \) and \(r_m(\Theta)=\| \Theta Q_m(\Theta)\| \) yields the following interesting extension of Lévy's theorem to higher dimensions: There exists a constant \(C\) (not depending on \(k,d\)) such that for almost all matrices \(\Theta\in M_{d,k}(\mathbb R)\) \[ \limsup_{m\to\infty}\frac{1}{m}\;\frac{q_m(\Theta)}{r_m(\Theta)}\leq C. \]