ATS theorem explained

In mathematics, the ATS theorem is the theorem on the approximation of atrigonometric sum by a shorter one. The application of the ATS theorem in certain problems of mathematical and theoretical physics can be very helpful.

History of the problem

In some fields of mathematics and mathematical physics, sums of the form

S = \sum _{a<k\le} \varphi(k)e ^{2\pi} ( 1 )

are under study.

Here

\varphi(x) and f(x) are real valued functions of a realargument, and i ^{2=} -1 . Such sums appear, for example, in number theory in the analysis of theRiemann zeta function, in the solution of problems connected withinteger points in the domains on plane and in space, in the study of theFourier series, and in the solution of such differential equations as the wave equation, the potential equation, the heat conductivity equation.

The problem of approximation of the series (1) by a suitable function was studied already by Euler and Poisson.

We shall definethe length of the sum

S to be the number b - a (for the integers a and b, this is the number of the summands in S ).

Under certain conditions on

\varphi(x) and f(x) the sum S can besubstituted with good accuracy by another sum S _{1,} S _{1} = \sum _{\alpha<k\le} \Phi(k)e ^{2\pi} , ( 2 )

where the length

\beta - \alpha is far less than b - a.

First relations of the form

S = S _{1} + R , ( 3 )

where

S , S _{1} are the sums (1) and (2) respectively, R isa remainder term, with concrete functions \varphi(x) and f(x), were obtained by G. H. Hardy and J. E. Littlewood,^{[1] [2] [3]} when theydeduced approximate functional equation for the Riemann zeta function\zeta(s) and by I. M. Vinogradov,^[4] in the study ofthe amounts of integer points in the domains on plane.In general form the theoremwas proved by J. Van der Corput,^{[5] [6]} (on the recentresults connected with the Van der Corput theorem one can read at^[7]).

In every one of the above-mentioned works,some restrictions on the functions

\varphi(x) and f(x) were imposed. Withconvenient (for applications) restrictions on\varphi(x) and f(x), the theorem was proved by A. A. Karatsuba in ^[8] (see also,^{[9] [10]}).

Certain notations

[1]. For

B > 0 , B \to +inf ty, or B \to 0 , the record1 \ll (A)/(B) \ll 1

means that there are the constants

C _{1} > 0

and

C _{2} > 0 ,

such that

C _{1} \leq (|A|)/(B) \leq C _{2.}

[2]. For a real number

\alpha, the record \|\alpha\| means that\|\alpha\| = min (\{\alpha\}, 1- \{\alpha\}),

where

\{\alpha\}

is the fractional part of

\alpha.

ATS theorem

Let the real functions ƒ(x) and

\varphi(x) satisfy on the segment [''a'',&nbsp;''b''] the following conditions:

1)

f''''(x) and \varphi''(x) are continuous;

2) there exist numbers

H, U and V such thatH > 0 , 1 \ll U \ll V, 0 < b - a \leq V

and

\begin{array}{rc} (1)/(U) \ll f''(x) \ll (1)/(U) ,& \varphi(x) \ll H ,\ \\ f'''(x) \ll (1)/(UV) ,& \varphi'(x) \ll (H)/(V) ,\ \\ f''''(x) \ll (1)/(UV ^{2}) ,& \varphi''(x) \ll (H)/(V ^{2}) . \ \\ \end{array}

Then, if we define the numbers

x _{\mu} from the equationf'(x _{\mu)} = \mu,

we have

\sum _{a<} \varphi(\mu)e ^{2\pi} = \sum _{f'(a)\le\mu\le f'(b)} C(\mu)Z(\mu) + R ,

where

R = O \left( (HU)/(b - a) + HT _{a} + HT _{b} + H log \left(f'(b) - f'(a) +2 \right)\right); T _{j} = \begin{cases} 0 , & if f'(j) isaninteger ; \\ min \left( (1)/(\|f'(j)\|) , \sqrt{U}\right), & if \|f'(j)\| \ne 0 ; \\ \end{cases} j = a,b; C(\mu) = \begin{cases} 1 , & if f'(a) < \mu < f'(b) ; \\ (1)/(2) ,& if \mu = f'(a) or \mu = f'(b) ;\\ \end{cases} Z(\mu) = (1+ i)/(\sqrt 2) (\varphi(x _{\mu)})/(\sqrt{f''(x _{\mu)}) } e^ \ .

The most simple variant of the formulated theorem is the statement, which is called in the literature the Van der Corput lemma.

Van der Corput lemma

Let

f be a real differentiable function in the interval ]a,b], moreover, inside of this interval, its derivative f' is a monotonic and a sign-preserving function, and for the constant \delta such that 0 < \delta < 1 satisfies the inequality |f'| \leq \delta . Then\sum _{a<k\le} e ^{2\pi} = \int ^{be} _{a} ^{2\pi} dx + \theta\left( 3 + (2 \delta)/(1- \delta) \right),

where

|\theta| \le 1 .

Remark

If the parameters

a and b are integers, then it is possible to substitute the last relation by the following ones:\sum _{a<k\le} e ^{2\pi} = \int ^{be} _{a} ^{2\pi} dx + (12 e)/(^{2\pi}) - (12 e)/(^{2\pi}) + \theta (2 \delta)/(1- \delta) ,

where

|\theta| \le 1 .

Additional sources

On the applications of ATS to the problems of physics see:

• Karatsuba . Ekatherina A. . Approximation of sums of oscillating summands in certain physical problems . Journal of Mathematical Physics . AIP Publishing . 45 . 11 . 2004 . 0022-2488 . 10.1063/1.1797552 . 4310–4321.
• Karatsuba . Ekatherina A. . On an approach to the study of the Jaynes–Cummings sum in quantum optics . Numerical Algorithms . Springer Science and Business Media LLC . 45 . 1–4 . 2007-07-20 . 1017-1398 . 10.1007/s11075-007-9070-x . 127–137. 13485016 .
• Chassande-Mottin . Éric . Pai . Archana . Best chirplet chain: Near-optimal detection of gravitational wave chirps . Physical Review D . American Physical Society (APS) . 73 . 4 . 2006-02-27 . 1550-7998 . 10.1103/physrevd.73.042003 . gr-qc/0512137 . 042003. 11858/00-001M-0000-0013-4BBD-B . 56344234 . free .
• Fleischhauer . M. . Schleich . W. P. . Revivals made simple: Poisson summation formula as a key to the revivals in the Jaynes-Cummings model . Physical Review A . American Physical Society (APS) . 47 . 5 . 1993-05-01 . 1050-2947 . 10.1103/physreva.47.4258 . 4258–4269. 9909432 .

Notes

1. Hardy . G. H. . Littlewood . J. E. . Some problems of diophantine approximation: Part II. The trigonometrical series associated with the elliptic θ-functions . Acta Mathematica . International Press of Boston . 37 . 1914 . 0001-5962 . 10.1007/bf02401834 . 193–239. free.
2. Hardy . G. H. . Littlewood . J. E. . Contributions to the theory of the riemann zeta-function and the theory of the distribution of primes . Acta Mathematica . International Press of Boston . 41 . 1916 . 0001-5962 . 10.1007/bf02422942 . 119–196. free.
3. Hardy . G. H. . Littlewood . J. E. . The zeros of Riemann's zeta-function on the critical line . Mathematische Zeitschrift . Springer Science and Business Media LLC . 10 . 3–4 . 1921 . 0025-5874 . 10.1007/bf01211614 . 283–317. 126338046 .
4. I. M. Vinogradov.On the average value of the number of classes of purely rootform of the negative determinantCommunic. of Khar. Math. Soc., 16, 10 - 38 (1917).
5. van der Corput . J. G. . Zahlentheoretische Abschätzungen . Mathematische Annalen . Springer Science and Business Media LLC . 84 . 1–2 . 1921 . 0025-5831 . 10.1007/bf01458693 . 53–79 . 179178113 . de.
6. van der Corput . J. G. . Verschärfung der Abschätzung beim Teilerproblem . Mathematische Annalen . Springer Science and Business Media LLC . 87 . 1–2 . 1922 . 0025-5831 . 10.1007/bf01458035 . 39–65 . 177789678 . de.
7. Book: Montgomery, Hugh . Ten lectures on the interface between analytic number theory and harmonic analysis . Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society . Providence, R.I . 1994 . 978-0-8218-0737-8 . 30811108 .
8. Karatsuba . A. A. . Approximation of exponential sums by shorter ones . Proceedings of the Indian Academy of Sciences, Section A . Springer Science and Business Media LLC . 97 . 1–3 . 1987 . 0370-0089 . 10.1007/bf02837821 . 167–178. 120389154 .
9. A. A. Karatsuba, S. M. Voronin. The Riemann Zeta-Function. (W. de Gruyter, Verlag: Berlin, 1992).
10. A. A. Karatsuba, M. A. Korolev. The theorem on the approximation of a trigonometric sum by a shorter one. Izv. Ross. Akad. Nauk, Ser. Mat. 71:3, pp. 63—84 (2007).