An asymptotic approximation for incomplete Gauss sums
type: Item
instance of: scholarly article
title: An asymptotic approximation for incomplete Gauss sums
zbMATH Open document ID: 1099.11041
published in: Journal of Computational and Applied Mathematics
publication date: 2005-06-13T00:00:00Z
review text: The incomplete Gauss sum of order \(p>1\) is \[ S_m(2/N;p) = \sum_{j=0}^{m-1} \exp(2\pi ij^p/N). \] The graph traced by mapping the terms for \(m\leq N\) as a sequence of unit vectors in the complex plane exhibits spirals first described by \textit{D. H. Lehmer} (1976). The author obtains precise asymptotic estimates for the sum over the first spiral by expanding the terms of the sum: \[ S_m(x;p) = \sum_{k=0}^\infty{(\pi ix)^k\over k!} \sum_{j=0}^{m-1} j^{kp} = \sum_{k=0}^\infty {(i\theta)^k\over k!} \sum_{s=0}^{kp} {B_s\over s!} {(kp)!\over(kp+1-s)!} m^{1-s} \] where \(\theta=\pi xm^p\) and the \(B_s\) are the Bernoulli numbers. By inverting the double sum again: \[ S_m(x;p) \sim m _1F_1\left({1\over p};1+{1\over p};i\theta\right) +{1\over2}+ e^{i\theta}\left\{{1\over e^{2\pi i\chi}-1}-{1\over 2\pi i\chi}\right\} +e^{i\theta} \sum_{s=1}^\infty {B_{2s}\over(2s)!} {f_s(\theta;p)\over m^{2s-1}} \] where the \(f_s(\theta;p)\) are polynomials in \(\theta\) of degree \(2s-2\), provided \(\chi = p\theta/2\pi m < 1\). The expansion can even be given more precisely. When \(x=2/N\), the condition amounts to \(1\leq m<M_0\) where \(M_0=(N/p)^{1/(p-1)}\). In particular, when \(p=2\), the approximation for the classical incomplete Gauss sum is \[ S_m(2/N;2)\sim m_1F_1\left({1\over2};{3\over2};i\theta\right)+{1\over2} +e^{i\theta}\left\{{1\over e^{2\pi i\chi}-1}-{1\over 2\pi i\chi}\right\} + {\pi^2m\over15N^2} e^{i\theta} \] over the range \(1\leq m< N/2\). Several tables illustrate the estimate and show it is good. By way of comparison, previous estimates, for example that of \textit{R. Evans, M. Minei} and \textit{B. Yee} [J. Math. Anal. Appl. 281, No.~2, 454--476 (2003; Zbl 1028.11047)] obtained by application of the Poisson summation formula, hold only for large \(m<N/2\).
reviewed by: John H. Loxton
Mathematics Subject Classification ID: 11L05
Mathematics Subject Classification ID: 11L07
Mathematics Subject Classification ID: 33C15
zbMATH DE Number: 2175291
zbMATH Keywords: Incomplete Gauss sums
zbMATH Keywords: exponential sms
zbMATH Keywords: asymptotics
author: Richard B. Paris
MaRDI profile type: Publication
full work available at URL: j.cam.2004.11.013
OpenAlex ID: W2016260715
cites work: Q3661894
cites work: Q4101884
cites work: Disorder, renormalizability, theta functions and Cornu spirals
cites work: The approximate functional formula for the theta function and Diophantine Gauss sums
cites work: Incomplete higher-order Gauss sums
cites work: Asymptotic expansions of finite theta series
cites work: Incomplete Gauss sums
cites work: The graphs of exponential sums
cites work: Q5518575
cites work: On the asymptotic connection between two exponential sums.
cites work: Q4010024
cites work: Q4865639
cites work: Q4880419
cites work: Q3844537
DOI: 10.1016/J.CAM.2004.11.013
description: scientific article; zbMATH DE number 2175291