Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

The approximate functional formula for the theta function and Diophantine Gauss sums


Authors: E. A. Coutsias and N. D. Kazarinoff
Journal: Trans. Amer. Math. Soc. 350 (1998), 615-641
MSC (1991): Primary 11G10; Secondary 11L05, 11L07, 11J25, 11J70
MathSciNet review: 1443869
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We consider the polygonal lines in the complex plane $\Bbb{C}$ whose $N$-th vertex is defined by $S_N = \sum _{n=0}^{N\,'} \exp(i\omega \pi n^2) $ (with $\omega \in \Bbb{R}$), where the prime means that the first and last terms in the sum are halved. By introducing the discrete curvature of the polygonal line, and by exploiting the similarity of segments of the line, for small $\omega$, to Cornu spirals (C-spirals), we prove the precise renormalization formula

\begin{equation}\begin{split} &\left| \sum _{k=0}^{N}\,' \exp(i\omega \pi k^2) -\frac{\exp(sgn(\omega )i\pi /4)}{\sqrt{|\omega |}} \sum _{k=0}^n \,' \exp(-i\frac{\pi}{\omega} k^2)\right|\\ &\qquad\leq C \left|\frac{\omega N - n}{\omega}\right|,\ \ 0<|\omega | <1, \end{split} \end{equation}

where $N=[[n/\omega]]$, the nearest integer to $n/\omega$ and $1<C<3.14$ . This formula, which sharpens Hardy and Littlewood's approximate functional formula for the theta function, generalizes to irrationals, as a Diophantine inequality, the well-known sum formula of Gauss. The geometrical meaning of the relation between the two limits is that the first sum is taken to a point of inflection of the corresponding C-spirals. The second sum replaces whole C-spirals of the first by unit vectors times scale and phase factors. The block renormalization procedure implied by this replacement is governed by the circle map

\begin{equation}\omega \rightarrow -\frac{1}{\omega}\ \pmod 2 \ ,\ \omega \in\ ]-1,+1[\ \setminus \{0\}, \end{equation}

whose orbits are analyzed by expressing $\omega$ as an even continued fraction.


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


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 11G10, 11L05, 11L07, 11J25, 11J70

Retrieve articles in all journals with MSC (1991): 11G10, 11L05, 11L07, 11J25, 11J70


Additional Information

E. A. Coutsias
Affiliation: Department of Mathematics and Statistics, University of New Mexico, Albuquerque, New Mexico 87131
Email: vageli@math.unm.edu

N. D. Kazarinoff
Affiliation: Department of Mathematics and Statistics, University of New Mexico, Albuquerque, New Mexico 87131

DOI: http://dx.doi.org/10.1090/S0002-9947-98-02024-8
PII: S 0002-9947(98)02024-8
Received by editor(s): January 25, 1995
Received by editor(s) in revised form: December 4, 1995
Article copyright: © Copyright 1998 American Mathematical Society