АТС-теорема

Назовём длиной суммы ${\displaystyle S}$ число ${\displaystyle b-a}$ (для целых ${\displaystyle a}$ и ${\displaystyle b}$ это просто число слагаемых в ${\displaystyle S}$).

Будем использовать следующие обозначения:

• При ${\displaystyle B>0,B\to +\infty }$ или ${\displaystyle B\to 0}$ запись ${\displaystyle 1\ll {\frac {A}{B}}\ll 1}$ означает, что существуют константы ${\displaystyle C_{1}>0}$ и ${\displaystyle C_{2}>0,}$, такие что

  ${\displaystyle C_{1}\leq {\frac {|A|}{B}}\leq C_{2}.}$

• Для вещественного ${\displaystyle \alpha }$ запись ${\displaystyle \|\alpha \|}$ значит, что

  ${\displaystyle \|\alpha \|=\min(\{\alpha \},1-\{\alpha \}),}$

  где ${\displaystyle \{\alpha \}}$ — дробная часть ${\displaystyle \alpha .}$

Сформулируем основную теорему о замене тригонометрической (иногда её называют также экспоненциальной) суммы более короткой.

Пусть вещественные функции ${\displaystyle f(x)}$ и ${\displaystyle \varphi (x)}$ удовлетворяют на отрезке ${\displaystyle [a,b]}$ следующим условиям:

1. ${\displaystyle f''(x)}$ и ${\displaystyle \varphi ''(x)}$ являются непрерывными;
2. существуют числа ${\displaystyle H}$, ${\displaystyle U}$ и ${\displaystyle V}$ такие, что

   ${\displaystyle H>0,~~1\ll U\ll V,~~0<b-a\leq V,}$

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

Тогда, определяя числа ${\displaystyle x_{\mu }}$ из уравнения

${\displaystyle f'(x_{\mu })=\mu ,}$

имеем

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

где

${\displaystyle R=O\left({\frac {HU}{b-a}}+HT_{a}+HT_{b}+H\log \left(f'(b)-f'(a)+2\right)\right);}$

${\displaystyle T_{j}=\left\{{\begin{array}{rc}0\ ,&\ {{\textit {i}}f}\ \ f'(j)\ {{\textit {i}}s\ an\ integer};\\\min \left({\frac {1}{\|f'(j)\|}},{\sqrt {U}}\right)\ ,&\ {{\textit {i}}f}\ \ \|f'(j)\|\neq 0;\\\end{array}}\right.}$

${\displaystyle j=a,b;}$

${\displaystyle C(\mu )=\left\{{\begin{array}{rc}1\ \ ,&\ \ {{\textit {i}}f}\ \ f'(a)<\mu <f'(b);\\{\frac {1}{2}}\ \ ,&\ \ {{\textit {i}}f}\ \ \mu =f'(a)\ \ {{\textit {o}}r}\ \ \mu =f'(b);\\\end{array}}\right.}$

${\displaystyle Z(\mu )={\frac {1+i}{\sqrt {2}}}{\frac {\varphi (x_{\mu })}{\sqrt {f''(x_{\mu })}}}e^{2\pi i(f(x_{\mu })-\mu x_{\mu })}\ .}$

Самым простым вариантом сформулированной теоремы является утверждение, называемое в литературе леммой Ван дер Корпута.

Пусть ${\displaystyle f(x)}$ — вещественная дифференцируемая функция на интервале ${\displaystyle a<x\leq b}$, кроме того, внутри этого интервала её производная ${\displaystyle f'(x)}$ является монотонной и знакопостоянной функцией, и при ${\displaystyle \delta =const}$, ${\displaystyle 0<\delta <1}$ удовлетворяет неравенству

${\displaystyle |f'(x)|\leq \delta .}$

Тогда

${\displaystyle \sum _{a<k\leq b}e^{2\pi if(k)}=\int _{a}^{b}e^{2\pi if(x)}dx+\theta \left(3+{\frac {2\delta }{1-\delta }}\right),}$

где ${\displaystyle |\theta |\leq 1.}$

Если параметры ${\displaystyle a}$ и ${\displaystyle b}$ являются целыми числами, то последнее выражение можно заменить таким:

${\displaystyle \sum _{a<k\leq b}e^{2\pi if(k)}=\int _{a}^{b}e^{2\pi if(x)}dx+{\frac {1}{2}}e^{2\pi if(b)}-{\frac {1}{2}}e^{2\pi if(a)}+\theta {\frac {2\delta }{1-\delta }},}$

где ${\displaystyle |\theta |\leq 1}$.

О применениях АТС в задачах физики см.^[1],^[2], см. также^[3],^[4].

Проблема приближения тригонометрического ряда какой-либо подходящей функцией рассматривалась ещё Эйлером и Пуассоном.

При определённых условиях на ${\displaystyle \varphi (x)}$ и ${\displaystyle f(x)}$ сумму ${\displaystyle S}$ можно заменить с хорошей точностью другой суммой ${\displaystyle S_{1},}$

${\displaystyle S_{1}=\sum _{\alpha <k\leq \beta }\Phi (k)e^{2\pi iF(k)},}$

длина которой ${\displaystyle \beta -\alpha }$ много меньше, чем ${\displaystyle b-a.}$ Первые соотношения вида

${\displaystyle S=S_{1}+R\ ,}$

где ${\displaystyle R}$ — остаточный член, с конкретными функциями ${\displaystyle \varphi (x)}$ и ${\displaystyle f(x),}$ были получены Г. Харди и Дж. Литтлвудом^[5][6][7] при выводе функционального уравнения для дзета-функции Римана ${\displaystyle \zeta (s)}$ и И. Виноградовым^[8], при рассмотрении количеств целых точек в областях на плоскости. В общем виде теорема была доказана Дж. Ван дер Корпутом^[9][10] (о недавних результатах, связанных с теоремой Ван дер Корпута можно прочитать в^[11]).

В каждой из вышеупомянутых работ на функции ${\displaystyle \varphi (x)}$ и ${\displaystyle f(x)}$ накладывались некоторые ограничения. С ограничениями, удобными для приложений, теорема была доказана А. А. Карацубой в^[12] (см. также^[13][14]).