Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 

 

The local Hurwitz constant and Diophantine approximation on Hecke groups


Author: J. Lehner
Journal: Math. Comp. 55 (1990), 765-781
MSC: Primary 11J06; Secondary 11F99
MathSciNet review: 1035937
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Define the Hecke group by

$\displaystyle {G_q} = \left\langle {\left( {\begin{array}{*{20}{c}} 1 & {{\lamb... ...{array}{*{20}{c}} 0 & { - 1} \\ 1 & 0 \\ \end{array} } \right)} \right\rangle ,$

$ {\lambda _q} = 2\cos \pi /q$, $ q = 3,4, \ldots $. We call $ {G_q}(\infty )$ the $ {G_q}$-rationals, and $ \mathbb{R} - {G_q}(\infty )$ the $ {G_q}$-irrationals. The problem we treat here is the approximation of $ {G_q}$-irrationals by $ {G_q}$-rationals. Let $ M(\alpha )$ be the upper bound of numbers c for which $ \vert\alpha - k/m\vert < 1/c{m^2}$ for all $ {G_q}$-irrationals and infinitely many $ k/m \in {G_q}(\infty )$. Set $ h_q'= {\inf _\alpha }M(\alpha )$. We call $ h_q'$ the Hurwitz constant for $ {G_q}$. It is known that $ h_q'= 2$, q even; $ h_q'= 2{(1 + {(1 - {\lambda _q}/2)^2})^{1/2}}$, q odd. In this paper we prove this result by using $ {\lambda _q}$-continued fractions, as developed previously by D. Rosen. Write

$\displaystyle \alpha - \frac{{{P_{n - 1}}}}{{{Q_{n - 1}}}} = \frac{{{{( - 1)}^{... ...}{\varepsilon _2} \cdots {\varepsilon _n}}}{{{m_{n - 1}}(\alpha )Q_{n - 1}^2}},$

where $ {\varepsilon _i} = \pm 1$ and $ {P_i}/{Q_i}$ are the convergents of the $ {\lambda _q}$-continued fraction for $ \alpha $. Then $ M(\alpha ) = {\overline {\lim } _n}{m_n}(\alpha )$. We call $ {m_n}(\alpha )$ the local Hurwitz constant. In the final section we prove some results on the local Hurwitz constant. For example (Theorem 4), it is shown that if q is odd and $ {\varepsilon _{n + 1}} = {\varepsilon _{n + 2}} = + 1$, then $ {m_i} \geq {(\lambda _q^2 + 4)^{1/2}} > h_q'$ for at least one of $ i = n - 1,n,n + 1$.

References [Enhancements On Off] (What's this?)

  • [1] F. Bagemihl and J. R. McLaughlin, Generalization of some classical theorems concerning triples of consecutive convergents to simple continued fractions, J. Reine Angew. Math. 221 (1966), 146–149. MR 0183999
  • [2] M. Fujiwara, Bemerkung zur Theorie der Approximation der irrationalen Zahlen durch rationale Zahlen, Tôhoku Math. J. 14 (1918), 109-115.
  • [3] Andrew Haas and Caroline Series, The Hurwitz constant and Diophantine approximation on Hecke groups, J. London Math. Soc. (2) 34 (1986), no. 2, 219–234. MR 856507, 10.1112/jlms/s2-34.2.219
  • [4] J. Lehner, Diophantine approximation on Hecke groups, Glasgow Math. J. 27 (1985), 117–127. MR 819833, 10.1017/S0017089500006121
  • [5] David Rosen, A class of continued fractions associated with certain properly discontinuous groups, Duke Math. J. 21 (1954), 549–563. MR 0065632
  • [6] K. Th. Vahlen, Ueber Näherungswerte und Kettenbrüche, J. Reine Angew. Math. 115 (1895), 221-233.

Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 11J06, 11F99

Retrieve articles in all journals with MSC: 11J06, 11F99


Additional Information

DOI: https://doi.org/10.1090/S0025-5718-1990-1035937-8
Article copyright: © Copyright 1990 American Mathematical Society