The billiard in a regular polygon
type: Item
instance of: scholarly article
title: The billiard in a regular polygon
zbMATH Open document ID: 0760.58036
DOI: 10.1007/BF01896876
author: William A. Veech
published in: Geometric and Functional Analysis. GAFA
publication date: 1993-01-16T00:00:00Z
full work available at URL: https://eudml.org/doc/58107
review text: 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)}. \]
Mathematics Subject Classification ID: 37C25
Mathematics Subject Classification ID: 37A30
Mathematics Subject Classification ID: 11N99
zbMATH DE Number: 93435
zbMATH Keywords: regular \(n\)-gon
zbMATH Keywords: growth
zbMATH Keywords: length spectrum
zbMATH Keywords: billiard
reviewed by: Neculai Papaghiuc
MaRDI profile type: Publication
cites work: Local analysis of Selberg's trace formula
cites work: Q3213184
cites work: Q3810078
cites work: Teichmüller curves in moduli space, Eisenstein series and an application to triangular billiards
cites work: Q4076561
description: scientific article; zbMATH DE number 93435