×

The billiard in a regular polygon. (English) Zbl 0760.58036

Let \(P_ n\) be a regular \(n\)-gon. From the Ikehara Tauberian theorem one infers that there exists \(c_ n > 0\) such that the growth function of the length spectrum of the billiard in \(P_ n\) satisfies the asymptotic formula: \[ N(P_ n,t)\sim c_ n{t^ 2\over\| P_ n\|}\qquad (t\to \infty)\quad (\| P\|=\text{area}(P_ n)).\tag{1} \] The values \(c_ 3\) and \(c_ 4\) can be calculated directly from elementary considerations of lattice points associated to \(P_ n\). However, the value of \(c_ n\), \(n > 4\), depends of the prime factorization of \(n\). In order to exhibit this dependence, the author introduces a multiplicative number theoretic function \(c(n)\) (\(c(mn)=c(m)c(n)\) whenever \((m,n)=1\)), by giving its values for prime powers, \(n=p^ \nu\), \(\nu > 0\), as \[ c(n)=\begin{cases} 7n^ 3-6n^ 2 &\text{for \(n=2^ \nu\)}\\n^ 4\bigl(1+(1- n^{-2})/p(p+1)\bigr)&\text{for \(n=p^ \nu\), \(2<p\), \(p\) prime}.\end{cases}\tag{2} \] Also, let \(\varepsilon(n)=1\) or 2 as \(n\) is odd or even. The main purpose of the paper is to prove the
Theorem: Let \(P_ n\) be a regular \(n\)-gon, \(n>4\). The asymptotic relation (1) is true with the constant \(c_ n\) given by \[ c_ n={c(n)- n^ 3\over 48\varepsilon (n)(n-2)\pi},\quad n>4,\quad\text{where}\quad c(n)\text{ is defined by (2)}. \]

MSC:

37C25 Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics
37A30 Ergodic theorems, spectral theory, Markov operators
11N99 Multiplicative number theory
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] [G]A. Good, Local Analysis of Selberg’s Trace Formula, Lecture Notes in Mathematics #1040 Springer Verlag, Berlin 1983. · Zbl 0525.10013
[2] [K]T. Kubota, Elementary Theory of Eisenstein Series, Halsted Books, New York, 1973. · Zbl 0268.10012
[3] [M]H. Masur, Lower bounds for the number of saddle connections and closed trajectories of a quadratic differential, preprint. · Zbl 0661.30034
[4] [S1]P. Sarnak, Prime Geodesic Theorems, Thesis, Stanford University, 1980.
[5] [S2]P. Sarnak, Private communication.
[6] [V]W.A. Veech, Teichmüller curves in moduli space, Eisenstein series and an application to triangular billiards, Inventiones Mathematicae 97 (1989), 553–583. · Zbl 0676.32006 · doi:10.1007/BF01388890
[7] [ZK]A.N. Zemlyakov, A.B. Katok, Topological transilivity of biliards in polygons, Mat. Zametki 18 (1975), 291–300. · Zbl 0315.58014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.