# Exponential sum

Exponential sum

In mathematics, an exponential sum may be a finite Fourier series (i.e. a trigonometric polynomial), or other finite sum formed using the exponential function, usually expressed by means of the function

:$e\left(x\right) = exp\left(2pi ix\right)$.

Therefore a typical exponential sum may take the form

:$sum e\left(x_n\right)$,

summed over a finite sequence of real numbers "x""n".

Formulation

If we allow some real coefficients "a""n", to get the form

:$sum a_n e\left(x_n\right)$

it is the same as allowing exponents that are complex numbers. Both forms are certainly useful in applications. A large part of twentieth century analytic number theory was devoted to finding good estimates for these sums, a trend started by basic work of Hermann Weyl in diophantine approximation.

Estimates

The main thrust of the subject is that a sum

:$S=sum e\left(x_n\right)$

is "trivially" estimated by the number "N" of terms. That is, the absolute value

:$|S| le N$

by the triangle inequality, since each summand has absolute value 1. In applications one would like to do better. That involves proving some cancellation takes place, or in other words that this sum of complex numbers on the unit circle is not of numbers all with the same argument. The best that is reasonable to hope for is an estimate of the form

:$|S|= O\left(sqrt\left\{N\right\}\right)$

which signifies, up to the implied constant in the big O notation, that the sum resembles a random walk in two dimensions.

Such an estimate can be considered ideal; it is unattainable in many of the major problems, and estimates

:$|S|= o\left(N\right)$

have to be used, where the o("N") function represents only a "small saving" on the trivial estimate. A typical 'small saving' may be a factor of log("N"), for example. Even such a minor-seeming result in the right direction has to be referred all the way back to the structure of the initial sequence "x""n", to show a degree of randomness. The techniques involved are ingenious and subtle.

A variant of 'Weyl differencing' investigated by Weyl involving a Generating exponential sum

$G\left( au\right)= sum e^\left\{iaf\left(x\right)+ia au n\right\}$

Was previosuly studied by Weyl himself, he developed a method to express the sum as the value $G\left(0\right)$ , where 'G' can be defined via a linear differential equation similar to Dyson equation] obtained via summation by parts.

History

If the sum is of the form

:$S\left(x\right)= e^\left\{ia f\left(x\right) \right\}$

where f is a smooth function, you could use the Euler–Maclaurin formula to convert the series into an integral, plus some corrections involving derivatives of "S"("x"), then for large values of "a" you could use "stationary phase" method to calculate the integral and give an approximate evaluation of the sum. Major advances in the subject were "Van der Corput's method" (c. 1920), related to the principle of stationary phase, and the later "Vinogradov method" (c.1930).

The large sieve method (c.1960), the work of many researchers, is a relatively transparent general principle; but no one method has general application.

Types of exponential sum

Many types of sums are used in formulating particular problems; applications require usually a reduction to some known type, often by ingenious manipulations. Partial summation can be used to remove coefficients "a""n", in many cases.

A basic distinction is between a complete exponential sum, which is typically a sum over all residue classes "modulo" some integer "N" (or more general finite ring), and an incomplete exponential sum where the range of summation is restricted by some inequality. Examples of complete exponential sums are Gauss sums and Kloosterman sums; these are in some sense finite field or finite ring analogues of the gamma function and some sort of Bessel function, respectively, and have many 'structural' properties. An example of an incomplete sum is the partial sum of the quadratic Gauss sum (indeed, the case investigated by Gauss). Here there are good estimates for sums over shorter ranges than the whole set of residue classes, because, in geometric terms, the partial sums approximate a Cornu spiral; this implies massive cancellation.

Auxiliary types of sums occur in the theory, for example character sums; going back to Harold Davenport's thesis. The Weil conjectures had major applications to complete sums with domain restricted by polynomial conditions (i.e., along an algebraic variety over a finite field).

One of the most general types of exponential sum is the Weyl sum, with exponents 2&pi;"if"("n") where "f" is a fairly general real-valued smooth function. These are the sums implicated in the distribution of the values

:"f"("n") modulo 1,

according to Weyl's equidistribution criterion. A basic advance was Weyl's inequality for such sums, for polynomial "f".

There is a general theory of exponent pairs, which formulates estimates. An important case is where "f" is logarithmic, in relation with the Riemann zeta function. See also equidistribution theorem.

Let $p$ be an odd prime and let $xi = e^\left\{2pi i / p\right\}$. Then the quadratic Gauss sum is given by: where the square roots are taken to be positive.

This is the ideal degree of cancellation one could hope for without any "a priori" knowledge of the structure of the sum, since it matches the scaling of a random walk.

ee also

* Hua's lemma

* [http://mathworld.wolfram.com/WeylSum.html A brief introduction to Weyl sums on Mathworld]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Exponential integral — is a mathematical function of a single argument which has no established notation.DefinitionsFor real values of x , the exponential integral Ei( x ) can be defined as : mbox{Ei}(x)=int { infty}^xfrac{e^t}t,dt., The definition above can be used… …   Wikipedia

• Exponential smoothing — is a technique that can be applied to time series data, either to produce smoothed data for presentation, or to make forecasts. The time series data themselves are a sequence of observations. The observed phenomenon may be an essentially random… …   Wikipedia

• Exponential distribution — Not to be confused with the exponential families of probability distributions. Exponential Probability density function Cumulative distribution function para …   Wikipedia

• Exponential family — Not to be confused with the exponential distribution. Natural parameter links here. For the usage of this term in differential geometry, see differential geometry of curves. In probability and statistics, an exponential family is an important… …   Wikipedia

• Exponential decay — A quantity undergoing exponential decay. Larger decay constants make the quantity vanish much more rapidly. This plot shows decay for decay constants of 25, 5, 1, 1/5, and 1/25 for x from 0 to 5. A quantity is said to be subject to exponential… …   Wikipedia

• exponential function — Math. 1. the function y = ex. 2. any function of the form y = bax, where a and b are positive constants. 3. any function in which a variable appears as an exponent and may also appear as a base, as y = x2x. [1890 95] * * * In mathematics, a… …   Universalium

• Exponential function — The natural exponential function y = ex In mathematics, the exponential function is the function ex, where e is the number (approximately 2.718281828) such that the function ex is its own derivative …   Wikipedia

• Exponential formula — In combinatorial mathematics, the exponential formula (called the polymer expansion in physics) states that the exponential generating function for structures on finite sets is the exponential of the exponential generating function for connected… …   Wikipedia

• Exponential factorial — An exponential factorial is a positive integer n raised to the power of n 1, which in turn is raised to the power of n 2, and so on and so forth, that is, n^{(n 1)^{(n 2) dots . The exponential factorial can also be defined with the recurrence… …   Wikipedia

• Sum-product number — A sum product number is an integer that in a given base is equal to the sum of its digits times the product of its digits. Or, to put it algebraically, given an integer n that is l digits long in base b (with d x representing the x th digit), ifn …   Wikipedia