We establish a new bound for the exponential sum \begin{eqnarray*} \sum_{x\in\mathcal{X}}\Big|\sum_{y\in \mathcal{Y}}γ(y)\exp(2πi a λ^{xy}/p)\Big|, \end{eqnarray*} where $λ$ is an element of the residue ring modulo a large prime number $p,$ $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary subsets of the residue ring modulo $p-1$ and $γ(n)$ are any complex numbers with $|γ(n)| \le 1.$ In particular, we improve several previously known bounds.
We evaluate some finite and infinite sums involving $q$-trigonometric and $q$-digamma functions. Upon letting $q$ approach $1$, one obtains corresponding sums for the classical trigonometric and the digamma functions. Our key argument is a theta product formula of Jacobi and Gosper's $q$-trigonometric identities.
We evaluate in closed form several classes of finite trigonometric sums. Two general methods are used. The first is new and involves sums of roots of unity. The second uses contour integration and extends a previous method used by two of the authors. Reciprocity theorems for certain trigonometric sums are also established.
Two classes of finite trigonometric sums, each involving only $\sin$'s, are evaluated in closed form. The previous and original proofs arise from Ramanujan's theta functions and modular equations.
We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.
Explicit determinations of several classes of trigonometric sums are given. These sums can be viewed as analogues or generalizations of Gauss sums. In a previous paper, two of the present authors considered primarily sine sums associated with primitive odd characters. In this paper, we establish two general theorems involving both sines and cosines, with more attention given to cosine sums in the several examples that we provide.
We present the transformation of several sums of positive integer powers of the sine and cosine into non-trigonometric combinatorial forms. The results are applied to the derivation of generating functions and to the number of the closed walks on a path and in a cycle.
We prove several old and new theorems about finite sums involving characters and trigonometric functions. These sums can be traced back to theta function identities from Ramanujan's notebooks and were systematically first studied by Berndt and Zaharescu; their proofs involved complex contour integration. We show how to prove most of Berndt-Zaharescu's and some new identities by elementary methods of discrete Fourier Analysis.
We introduce some new higher dimensional generalizations of the Dedekind sums associated with the Bernoulli functions and of those Hardy sums which are defined by the sawtooth function. We generalize a variant of Parseval's formula for the discrete Fourier transform to derive finite trigonometric representations for these sums in a simple unified manner. We also consider a related sum involving the Hurwitz zeta function.
Finite trigonometric sums appear in various branches of Physics, Mathematics and their applications. For p; q to coprime positive integers and r we consider the finite trigonometric sums involving the product of three trigonometric functions.
We obtain new trigonometric identities, which are some product-to-sum type formulas for the higher derivative of the cotangent and cosecant functions. Further, from specializations of our formulas, we derive not only various known reciprocity laws of generalized Dedekind sums but also new reciprocity laws of generalized Dedekind sums.
We obtain new trigonometric identities, which are product-to-sum type formulas for derivative of the cosecant and cotangent functions. Further, from specializations of our formulas, we derive new reciprocity laws of generalized Dedekind sums.
Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2π/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2π/p) are proved. For example, T(p) equals p times the excess of the odd quadratic residues over the even ones in the set {1,2,...,p-1}; this number is positive if p = 3 (mod 8) and negative if p = 7 (mod 8). In this revised version the connection of these sums with the class-number h(-p) is also discussed. For example, a very simple formula expressing h(-p) by means of the aforementioned excess is proved. The bi…
Ramanujan's trigonometric sum $c_q(n)$ can be interpreted as a set of trigonometric moments of a finite measure concentrated at primitive $q$-th roots of unity with equal masses. This gives rise to sets of corresponding polynomials orthogonal on the unit circle. We present explicit expressions of these polynomials for special values of $q$, e.g. when $q=p$ or $q=2p$ or $q=p^k$, where $p$ is a prime number. We generalize this procedure taking the Kronecker polynomial instead of cyclotomic one. In this case the moments are expressed as finite sums of $c_q(n)$ with different $q$.
Motivated by two identities published with Ramanujan's lost notebook and connected, respectively, with the Gauss circle problem and the Dirichlet divisor problem, in an earlier paper, three of the present authors derived representations for certain sums of products of trigonometric functions as double series of Bessel functions. These series are generalized in the present paper by introducing the novel notion of balanced derivatives, leading to further theorems. As we will see below, the regions of convergence in the unbalanced case are entirely different than those in the balanced case. From …
We examine the four Féjer-type trigonometric sums of the form \[S_n(x)=\sum_{k=1}^n \frac{f(g(kx))}{k}\qquad (0<x<π)\] where $f(x)$, $g(x)$ are chosen to be either $\sin x$ or $\cos x$. The analysis of the sums with $f(x)=g(x)=\cos x$, $f(x)=\cos x$, $g(x)=\sin x$ and $f(x)=\sin x$, $g(x)=\cos x$ is reasonably straightforward. It is shown that these sums exhibit unbounded growth as $n\to\infty$ and also present `spikes' in their graphs at certain $x$ values for which we give an explanation. The main effort is devoted to the case $f(x)=g(x)=\sin x$, where we present arguments that strongly supp…
We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by $$ S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, , $$ We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by $$ S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, , $$ where $m$ and $v$ are positive integers. This method not only confirms the results obtained earlier by an empirical method, but it is also much more expedie…
In this paper we construct trigonometric functions of the sum T_{p}(h,k), which is called Dedekind type DC-(Dahee and Changhee) sums. We establish analytic properties of this sum. We find trigonometric representations of this sum. We prove reciprocity theorem of this sums. Furthermore, we obtain relations between the Clausen functions, Polylogarithm function, Hurwitz zeta function, generalized Lambert series (G-series), Hardy-Berndt sums and the sum T_{p}(h,k). We also give some applications related to these sums and functions.
Recent developments in the theory and application of the Hardy-Littlewood method are discussed, concentrating on aspects associated with diagonal diophantine problems. Recent efficient differencing methods for estimating mean values of exponential sums are described first, concentrating on developments involving smooth Weyl sums. Next, arithmetic variants of classical inequalities of Bessel and Cauchy-Schwarz are discussed. Finally, some emerging connections between the circle method and arithmetic geometry are mentioned.
Given an odd integer polynomial f(x) of a degree k >=3, we construct a non-negative valued, normed trigonometric polynomial with the spectrum in the set of integer values of f(x) not greater than n, and a small free coefficient a_{0}=O((\log n)^{-1/k}). This gives an alternative proof for the maximal possible cardinality of a set A, so that A-A does not contain an element of f(x). We also discuss other interpretations and an ergodic characterization of that bound.
We give more evidence for Patterson's conjecture on sums of exponential sums, by getting an asymptotic for a sum of quartic exponential sums over $\Q[i].$ Previously, the strongest evidence of Patterson's conjecture over a number field is the paper of Livné and Patterson \cite{LP} on sums of cubic exponential sums over $\Q[ω], ω^3=1.$ The key ideas in getting such an asymptotic are a Kuznetsov-like trace formula for metaplectic forms over a quartic cover of $GL_2,$ and an identity on exponential sums relating Kloosterman sums and quartic exponential sums. To synthesize the spectral theory and …
We improve an existing result on exponential quadrilinear sums in the case of sums over multiplicative subgroups of a finite field and use it to give a new bound on exponential sums with quadrinomials.
We study averages over squarefree moduli of the size of exponential sums with polynomial phases. We prove upper bounds on various moments of such sums, and obtain evidence of un-correlation of exponential sums associated to different suitably unrelated and generic polynomials. The proofs combine analytic arguments with the algebraic interpretation of exponential sums and their monodromy groups.
We establish bounds of triple exponential sums with mixed exponential and linear function. The method we use is by Shparlinski together with a bound of additive energy from Roche-Newton, Rudnev and Shkredov.
This paper provides a technique for evaluating some nonlinear Gaussian sums in closed forms. The evaluation is obtained from the known values of simpler exponential sums.
We extend some methods of bounding exponential sums of the type $\displaystyle\sum_{n\le N}e^{2πiag^n/p}$ to deal with the case when $g$ is not necessarily a primitive root. We also show some recent results of Shkredov concerning additive properties of multiplicative subgroups imply new bounds for the sums under consideration.
In this paper, we completely determine the slopes and weights of the L-functions of an important class of exponential sums arising from analytic number theory. Our main tools include Adolphson-Sperber's work on toric exponential sums and Wan's decomposition theorems. One consequence of our main result is a sharp estimate of these exponential sums. Another consequence is to obtain an explicit counterexample of Adolphson-Sperber's conjecture on weights of toric exponential sums.
In this paper, we compute the $q$-adic slopes of the L-functions of an important class of exponential sums arising from analytic number theory. Our main tools include Adolphson-Sperber's work on toric exponential sums and Wan's decomposition theorems.
We study upper bounds for sums of Dirichlet characters. We prove a uniform upper bound of the character sum over all proper generalized arithmetic progressions, which generalizes the classical Polya and Vinogradov inequality. Our argument is based on getting an upper bound for the l1 norm of the Fourier coefficients of a generalized arithmetic progression. Our method also applies to give upper bounds for polynomial exponential sums.
In this paper we obtain some new estimates for multilinear exponential sums in prime fields with a more general class of weights than previously considered. Our techniques are based on some recent progress of Shkredov on multilinear sums which has roots in Rudnev's point plane incidence bound. We apply our estimates to obtain new results concerning exponential sums with sparse polynomials and Weyl sums over small generalized arithmetic progressions.
We use Bourgain's recent bound for short exponential sums to prove certain independence results related to the distribution of squarefree numbers in arithmetic progressions.
We derive a new bound for some bilinear sums over points of an elliptic curve over a finite field. We use this bound to improve a series of previous results on various exponential sums and some arithmetic problems involving points on elliptic curves.
In this paper, we establish a theorem of Bombieri -- Vinogradov type for exponential sums over Piatetski-Shapiro primes $p= [n^{1/γ}]$ with $\frac{865}{886}<γ< 1$.
We obtain several estimates for bilinear form with exponential sums with binomials $mx^k + nx^\ell$. In particular we show the existence of nontrivial cancellations between such sums when the coefficients $m$ and $n$ vary over rather sparse sets of general nature
Several asymptotic expansions and formulas for cubic exponential sums are derived. The expansions are most useful when the cubic coefficient is in a restricted range. This generalizes previous results in the quadratic case and helps to clarify how to numerically approximate cubic exponential sums and how to obtain upper bounds for them in some cases.
The main objective of this article is to study the exponential sums associated to Fourier coefficients of modular forms supported at numbers having a fixed set of prime factors. This is achieved by establishing an improvement on Shparlinski's bound for exponential sums attached to certain recurrence sequences over finite fields.
Let $γ<1<c$ and $19(c-1)+171(1-γ)<9$. In this paper, we establish an asymptotic formula for exponential sums over Piatetski-Shapiro primes $p=[n^{1/γ}]$ in arithmetic progressions.
In this paper we construct a Dwork theory for general exponential sums over affinoids in Witt towers. Using this, we compute the degree of the $L$-function, its Hodge polygon and examine when the Hodge and Newton polygons coincide.
We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators.
Using the theory of metaplectic forms,we study the asymptotic behavior of cubic exponential sums over the ring of Eisenstein integers. In the first part of the paper, some non-trivial estimates on average over arithmetic progressions are obtained. In the second part of the paper, we prove that the sign of cubic exponential sums changes infinitely often, as the modulus runs over almost prime integers.
We show that there is significant cancellation in certain exponential sums over small multiplicative subgroups of finite fields, giving an exposition of the arguments by Bourgain and Chang.
