CC BY
18
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 16 Выпуск 1 (2015)
УДК 511.3
О КОНФЕРЕНЦИИ ПАМЯТИ
АНАТОЛИЯ АЛЕКСЕЕВИЧА КАРАЦУБЫ ПО ТЕОРИИ ЧИСЕЛ И ПРИЛОЖЕНИЯМ
Е. А. Карацуба, М. А. Королёв, И. С. Резвякова, В. Н. Чубариков
В январе 2014 г. в Математическом институте им. В. А. Стеклова РАН состоялась первая однодневная международная "Конференция памяти Анатолия Алексеевича Карацубы по теории чисел и приложениям". Целями этой конференции были представление новых и значимых результатов в различных направлениях теории чисел (особенно в тех, что связаны с творчеством А.А. Карацубы), обмен новыми теоретико-числовыми идеями и ознакомление с новыми методами и тенденциями в теории чисел.
Вторая международная Конференция была проведена Математическим институтом им. В. А. Стеклова РАН совместно с Московским Государственным университетом имени М. В. Ломоносова с 30 по 31 января 2015 г. Настоящая статья содержит развёрнутые аннотации докладов, прочитанных на второй Конференции.
Ключевые слова: функциональное уравнение Wilton'a, целочисленные многочлены с заданными дискриминантами, суммы с простыми числами, простые числа специального вида, примитивные целые точки, нули рядов Дирихле, гиперболическая дзета-функция решёток, асимптотическое распределение алгебраических чисел, парная корреляция нулей ((s), дискретная универсальность L-функций Дирихле, совместная универсальность L-функций, диофантовы спектры, постоянная Каталана, проблема круга, короткие суммы Вейля, тернарная проблема Эстермана, распределение целочисленных случайных величин, полиадические числа, показатели сходимости многомерных аддитивных проблем, суммы произведений множеств, тригонометрические суммы.
Аннотация
Библиография: 13 названий.
ON THE CONFERENCE TO THE MEMORY OF
ANATOLY ALEXEEVITCH KARATSUBA ON NUMBER THEORY AND APPLICATIONS
V. N. Chubarikov, E. A. Karatsuba, M. A. Korolev, I. S. Rezvyakova
(Moscow)
Abstract
In January, 2014, the I'st one-day international "Conference to the Memory of A.A. Karatsuba on Number Theory and Applications" took place in Steklov Mathematical Institute of Russian Academy of sciences. The aims of this conference were presentation of new and important results in different branches of number theory (especially in branches connected with works of A. A. Kara-tsuba), the exchange by new number-theoretical ideas and insight with new methods and tendencies in number theory. The 2'nd Conference was organized by Steklov Mathematical Institute of Russian Academy of sciences together with Moscow State university in January, 2015. The present paper contains wide annotations of reports of 2'nd Conference.
Keywords: Wilton's functional equation, integer polynomials with given discriminants, sums with prime numbers, primes of special type, primitive integer points, the zeros of Dirichlet series, hyperbolic zeta function of lattices, the asymptotic distribution of algebraic numbers, pair correlation of zeros of zeta(s), discrete and joint universality of Dirichlet's L-functions, Diophantine spectra Catalan's constant, the problem of range, short Weyl sums, ternary problem of Estermann, the distribution of integer random variables, the exponents of convergence of multidimensional additive problems, a sum of products of sets, trigonometric sums.
Bibliography: 13 titles.
"... Оставил школу и последователей. Что это за школа, что он дал своим последователям? Он завещал им искренность, самобытность, он завещал каждому быть самим собой, он дал всякой оригинальности смелость...
Для последователей путь его труден: не всякая оригинальность настолько интересна, чтоб ей показываться и ею занимать... Теперь нам остается только желать, чтобы Россия производила поболее талантов, пожелать
русскому уму поболее развития и простора..."
А. Н. Островский. Застольное слово о Пушкине. 1880 г.
1. Введение
Целью проведения "Конференции памяти Анатолия Алексеевича Карацубы по теории чисел и приложениям" является представление важных и новых результатов по разным направлениям теории чисел: аналитической теории чисел, теории диофантовых приближений, вычислительных аспектов теории чисел и др., а также по приложениям теоретико-числовых методов в других областях математики и иных науках. Ещё одной задачей Конференции является обмен идеями и ознакомление с новыми тенденциями в развитии теории чисел, особенно в тех её областях, которые связаны с исследованиями и открытиями А. А. Карацубы.
2. Первая конференция
Впервые эта конференция была проведена 31 января 2014 г. в Математическом институте им. В. А. Стеклова РАН в Москве.
Организационный комитет включал Е. А. Карацубу (ВЦ РАН), М. А. Королёва (МИАН) и И .С. Резвякову (МИАН).
На конференции было сделано 13 докладов, перечень которых приводится ниже1.
М. Балазар (Математический институт Люмини, г. Марсель, Франция)
"Критерии Nyman'a и Baez -Duarte для гипотезы Римана: краткий исторический обзор";
B. И. Берник (Институт математики НАН Белоруссии, г. Минск, Беларусь)
"При каком значении высоты распределение алгебраических чисел является регулярным?";
Д. В. Горяшин (МГУ имени М.В. Ломоносова, г. Москва, Россия)
"Аддитивные задачи со специальными слагаемыми";
C. А. Гриценко (МГУ имени М. В. Ломоносова, г. Москва, Россия)
"О некоторых диофантовых неравенствах с простыми числами";
А. Лауринчикас (Вильнюсский университет, г. Вильнюс, Литва)
"Дискретная универсальность дзета-функции Римана и дзета-функции Гурвица";
Ю. В. Нестеренко (МГУ имени М. В. Ломоносова, г. Москва, Россия)
аннотациями и видеозаписями выступлений докладчиков можно ознакомиться на официальной странице Конференции: http://www.mathnet.ru/conf511.
"О рациональных приближениях постоянной Каталана";
Д. А. Попов (Научно-исследовательский институт физико-химической биологии им. А. Н. Белозерского МГУ имени М. В. Ломоносова, г. Москва, Россия)
"О формуле Вейля для оператора Лапласа на компактных поверхностях" ;
З. Х. Рлхмонов (Институт .математики им. А. Джураева Академии наук Республики Таджикистан, г. Душанбе, Таджикистан)
"Распределение значений характеров Дирихле в последовательности сдвинутых простых чисел";
П. З. Рлхмонов (МГУ имени М. В. Ломоносова, г. Москва, Россия)
"Короткие суммы с нецелой степенью натурального числа";
И. С. Резвякова (Математический институт им. В. А. Стеклова РАН, г. Москва, Россия)
"Об одном доказательстве плотностной теоремы Сельберга";
Г. В. Фёдоров, (МГУ имени М. В. Ломоносова, г. Москва, Россия)
"О распределении значений функции делителей";
В. Н. Чувлриков (МГУ имени М. В. Ломоносова, г. Москва, Россия)
"Многомерные аддитивные задачи";
И. Д. Шкредов (Математический! институт им. В. А. Стеклова РАН, г. Москва, Россия)
"О тригонометрической сумме Хейльбронна".
3. Вторая конференция
Вторая конференция памяти Анатолия Алексеевича Карацубы по теории чисел и приложениям проходила 30 и 31 января 2015 г. в Математическом институте им. В. А. Стеклова РАН (30 января) и на механико-математическом факультете Московского государственного университета имени М. В. Ломоносова (31 января) в Москве.
В Организационный комитет вошли Е. А. Карацуба (ВЦ РАН), М. А. Королёв (МИАН), И. С. Резвякова (МИАН) и В. Н. Чубариков (МГУ).
В течение двух дней на конференции было сделано 20 докладов, развёрнутые
2
аннотации которых приводятся ниже .
М. Балазар (Institut de Mathematiques de Marseille, г. Марсель, Франция)
2C аннотациями и видеозаписями выступлений докладчиков можно ознакомиться на официальной странице Конференции: http://www.mathnet.ru/conf594.
Об одном приближённом функциональном уравнении Wilton'a (по совместной работе с B. Martin)
Мишель Балазар Определим функцию ф(х; v) равенством
ф(х; v)
(n) fo • ^ У^-exp y2nmx],
n<v
n
где t(n) — число делителей n. В 1933 г. Дж. Р. Вильтон вывел следующее приближённое функциональное уравнение
F(х) + 2ln2 - + - ln 2п + ln - + OK((x2v)-0'2),
ф(х; v) — хф(х 1; x2v)
2
х
2
х
которое справедливо при 0 < х ^ 1, v ^ 1, x2v ^ K. Слагаемое F(х) в правой части равенства представляет собой некоторую функцию, непрерывную на отрезке 0 ^ х ^ 1. Пользуясь этим соотношением, Вильтон нашёл необходимые и достаточные условия сходимости рядов
Е
t(n) ■ /о \ sin (2nnx),
n
Е
t (n)
n
cos (2nnx),
n=1 n=1
которые формулируются в терминах свойств последовательности {qn} знаменателей подходящих дробей числа х. Положим
f+<x dt A(A) = I {t}{At} -,
1 V"^ T(n) ф(х) =--> - sin (2nnx).
7Г ■<--'
п z—' n
n=1
В 2005 г. Л. Баэз-Дуарте (L. Baez-Duarte), Б. Лондри (B. Landreau), Э. Сайас (E. Saias) и докладчик в совместной работе работе получили следующие равенства, связывающие функции A(A) и ф(х):
A(A) = 2(1 — A) ln A + 2(1 + A)(ln 2п — 7) — ф(А) — Аф(А-1),
1 1 l'dt A(A) = 2ln A + 2(1 — 7 + ln 2п) — A J ф) ^.
Автор доклада совместно с Б. Мартин (B. Martin) предприняли новое исследование свойств функции A(А) и на этом пути смогли
1) получить новое, более простое доказательство приближённого уравнения Вильтона для ф(х; v), не использующее (в отличие от оригинальной работы Вильтона) формулы Г. Ф. Вороного. При этом остаточный член в уравнении удалось оценить величиной порядка (x2v)-0'5 ln2(2 + x2v);
2) получить явные выражения функции F(x) :
f™ x2 +12 dt lo «'>5—x+j-xs 7
(
—
—
— x - ln - + (ln 2n — 7) ln--Co — Co
2 x x
(
(x) - n( A(x) + xlnx — — (ln2n — 7)(x +
где
n 1 2 — 2
Co - 24 — 2 2n + 2 7 + 7ln2n + 271,
7\ — постоянная Стилтьеса (T . J . Stieltjes) порядка —:
/ ln k — 2
71 — lim > —— — - ln n
n k 2 v fc=i
)
В. И. Берник (Институт .математики НАН Беларуси, г. Минск, Беларусь )
Точные оценки количества целочисленных многочленов с заданными дискриминантами (по совместной работе с Н. В. Будариной и Ф. Гётце)3
Василий Иванович Берник
3 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере
журнала статье: Н. В. Бударина, В. И. Берник, Х. О'Доннелл Как зависят дискриминанты
целочисленных многочленов от взаимного расположения корней? (стр. ?? — ??).
Для многочлена произвольной степени P(x) = anxn + ... + a\x + a0 высоты H = H(P) = max \aj\ c корнями al,...,an дискриминант D(P) определяется так:
D = D(P) = ann- П (ai — aj)2-
Существует и другая форма записи D в виде определителя порядка 2n — 1. Для натурального Q > 1 и v £ R, 0 ^ v ^ n — 1 определим класс многочленов
Pn(Q,v) = {P £ Z[x] : degP = n, H(P) ^ Q, 0 < \D\ < Q2n-—} .
Оценки количества многочленов #Pn(Q,v) важны во многих задачах теории диофантовых приближений.
В докладе были приведены известные и недавно полученные оценки сверху и снизу для #Pn(Q, v), основанные на метрической теории диофантовых приближений зависимых величин, и, в частности, оценка
#Pn(Q,v) > Qn+l-n+2 v.
А. Н. Васильев (Казахстанский филиал МГУ имени М. г. Астана, Казахстан)
О суммах, составленных из простых чисел и членов куррент специального вида
Антон Николаевич Васильев
Согласно классической теореме Н. П. Романова (1934), множество натуральных чисел n, представимых суммою p + am, где p — простое, a ^ 2 — фиксированное целое число, имеет положительную плотность.
Последовательность вида {am} является линейной рекуррентной последовательностью первого порядка. Примером линейной рекуррентной последовательности второго порядка служит последовательность {Fm} чисел Фибоначчи.
В. Н. Чубариков поставил следующую задачу: доказать аналог теоремы Романова для множества чисел n = p + Fm. Эта задача была решена докладчиком
В. Ломоносова, линейных ре-
и независимо K. Ли (K. S. Enoch Lee). Для её решения докладчиком был применён следующий подход, восходящий к П. Эрдешу (P. Erdos) и основанный на изучении величины A(d,u).
Именно, пусть d — бесквадратное число. По определению, малый d-период последовательности Фибоначчи t = t(d) определяется как наименьший из номеров m таких, что Fm делится на d. Далее, большой d-период T = T(d) определяется как наименьшее среди целых чисел т ^ 1 со следующим свойством: Fm+T = Fm (mod d) для любого номера m.
Величина A(d, u) определяется как сумма af +... + ad, где aj — число членов последовательности Fm, m = 1, 2,... ,u, таких, что Fm = j (mod d). Для A(d, u) докладчиком были получены следующие оценки:
A(d,u) ^
3u — 2, если u < лД +1,
7u2t—1/4, если Vt + 1 ^ u< t3/4,
14u2t—1/8, если t3/4 ^ u ^ T,
56u2t—1/8, если u>T.
В заключительной части выступления были сформулированы следующие задачи:
1) доказать аналог теоремы Романова для множества чисел п = p + cm, где
cm = ( ) — центральный биномиальный коэффициент. Последовательность \m J
чисел cm имеет ту же плотность, что и последовательность 2m, однако её члены не удовлетворяют никакому линейному рекуррентному соотношению фиксированного порядка.
2) доказать аналог теоремы Ю. В. Линника о представимости любого чётного числа суммою двух простых и конечного числа степеней двойки, а именно, доказать разрешимость при любом достаточно большом п (удовлетворяющем некоторым естественным арифметическим условиям) уравнения
п = Р1 + Р2 + Утг + ■■■ + Vmk ,
где {ym} — линейная рекуррентная последовательность порядка ^ 2, а k — некоторое фиксированное число.
Д. В. Горяшин (МГУ имени М. В. Ломоносова, г. Москва, Россия)
Распределение простых чисел специального вида по арифметическим прогрессиям
Доклад посвящён следующему результату автора, который обнаруживает некоторую нерегулярность в распределении простых чисел специального вида по арифметическим прогрессиям.
Пусть 1 ^ a < k, (a,k) = 1. Тогда для любого фиксированного A > 0 справедлива асимптотическая формула
£ 1 = ф.ц £ 1 + 0( ^,
где
p^x, p=a (mod k) p^x
p — 1 — бесквадратное p — 1 — бесквадратное
£ £ Ц(п)
l\(k,a—1) n=1 Ф^П) K ' (n,k) = 1
c(a, k) = - ,
Ц(п)
£
=1 пф(п)
n=1
а постоянная в знаке O зависит лишь от а и к.
Дмитрий Викторович Горяшин
Величина c(a, к) зависит не только от к, но и от числа а. Скажем, при (а — 1, k) = 1 она совпадает с
к П(1 — p — p) = № П(1 — я^)
и, следовательно, отлична от 1/ф(к).
О. А. Горкуша (Хабаровское отделение Института прикладной .математики ДВО РАН, г. Хабаровск, Россия)
Совместное распределение примитивных целых точек в замкнутой области4
Пусть t0 — фиксированное число c условием 0 < t0 < п/4, r(t) — функция, положительная на отрезке [0, to]. Обозначим через П область на плоскости Oxy, заданную в полярных координатах r,t неравенствами вида 0 ^ r ^ r (t), 0 ^ t ^ to, а через Пд — область, которая получается из П растяжением в R раз относительно начала координат.
Ольга Александровна Горкуша
4 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: О. А. Горкуша Совместное распределение примитивных целых точек в ззамкнутой области (стр. ?? — ??).
Пусть F(П, R) — множество примитивных точек области Пд, то есть целочисленных точек Aj — (xj, yj) со взаимно простыми координатами, упорядоченных в порядке возрастания отвечающих им углов 6j — arctg (xj/yj) (еоседние отрезки OAj, OAj+i оказываются, таким образом, сторонами фундаментальных параллелограммов целочисленной решётки Z2).
В 2000 г. Ф.П. Бока (F.P. Boca), К. Кобели (C. Kobeli) и А. Захареску (A. Zaharescu) ([12]) нашли предельное распределение углов между соседними лучами OAj, OAj+i, то есть предельное распределение величин N(6j+l — 6j), j — — 2,...,N — —, где N — #F (П, R).
В 2009 г. А. В. Устинов ([9]) обнаружил, что задача о распределении углов 6j+l — 6j легко решается, если известно совместное распределение длин нормированных сторон фундаментальных параллелограммов, то есть величин
bk — dk(cos6k)/(Rr(6k)), k — j,j + —, где dk — \Jx\ + y^ В связи с этим им было исследовано множество
Ф(а,в; R,to) — {(Aj, Aj+i) Е F2(Hr) : 83 ^ a, 8+ ^ в, 6+ ^ to}
и для случая треугольной области (r(t) — — / cos t) доказана следующая Теорема 1. При любых 0 ^ а, в ^ — справедливо равенство:
^(П;^ — I (а, в) + O(R-l/2(ln R)3),
где
га г-в
I(а,в) — 2 / [е + п > — dedn, 00
[X] — —, если утверждение X истинно, и [X] — 0 в противном случае.
Автором доклада получено следующее обобщение теоремы А. В. Устинова.
ТЕОРЕМА 2. Пусть r(t) Е C3[0,t0], и пусть при 0 ^ t ^ t0 выполнены следующие условия: 1) x(t) — r(t) cos t убывает, y(t) — r(t) sint — возрастает; 2) производные x'(t),y'(t) конечны; 3) ^2(t) + (ф'(t))2 — 0, где ^(t) — x''(t) — 2x'(t) tgt. Тогда
^^ — I (а,в) + O(R-l/3(ln R)2'3),
причём в случае, когда ф^) не имеет нулей на отрезке [0,t0], остаточный член в этой формуле оценивается как OR-l/2+£).
С. А. Гриценко (МГУ имени М. В. Ломоносова, г. Москва, Россия) В. Н. Чубариков (МГУ имени М. В. Ломоносова, г. Москва, Россия)
О нулях одного класса рядов Дирихле, не имеющих эйлерова произведения
Сергей Александрович Гриценко
Самым известным рядом Дирихле является дзета-функция Римана. В полуплоскости Ks > 1 она определяется равенством
i
z м = Е n
ns
n=l
Дзета-функция Римана удовлетворяет функциональному уравнению Z(s) = p(s)Z(1 — s), где P(s) = riT—3. ns-l/2,
из которого следует, что везде, кроме критической полосы 0 < Ks < 1, она выражается через сумму ряда Дирихле. В критической полосе Z(s) допускает иное аналитическое выражение и имеет бесконечно много нулей. Риман высказал гипотезу о том, что все эти нули лежат на критической прямой Ks = 1.
Пусть N0(T) - число нулей функции ((1/2 + it) на промежутке (0,T]. В 1914 г. Г. Х. Харди (G. H. Hardy) доказал, что на критической прямой лежит бесконечно много нулей Z(s), то есть что N0(T) ^ В 1921 г. Г. Х. Харди и Дж. И. Литтлвуд (J. E. Littlewood) доказали, что N0(T) > clT, где cl > 0 — некоторая постоянная. В 1942 г. А. Сельберг (A. Selberg) получил оценку вида N0(T) > c2TlnT, c2 > 0, которая является правильной по порядку.
Основной идеей, позволившей Сельбергу доказать эту выдающуюся теорему, явилось использование "успокаивающего множителя" ("mollifying factor"), умножение на который ведёт к понижению порядка роста второго момента дзета-функции на критической прямой:
[ \Z(l + it) |2 dt - TlnT, j \Z(2 + it)V2(\ + it) |2 dt < T.
0 2 0 2 2
Для построения успокаивающего множителя Сельберг существенно воспользовался наличием у дзета-функции Римана эйлерова произведения
z <s) = П (> — Й
l
Для арифметических рядов Дирихле, не имеющих эйлерова произведения, правильных по порядку нижних оценок для числа их нулей на отрезках критической прямой Ks = 1/2 пока не получено. Простейшим рядом Дирихле такого рода является функция Дэвенпорта--Хейльбронна (H. Davenport, H. Heilbronn)
f (s),
f (s) = \(1 — iK)L(s,X1) + ^(1 + ix)L(s,X1),
где
22
л/10 — 2 V5 — 2
к
л/5 — 1
а Х1 — неглавный характер Дирихле по модулю 5 с условием Хд(2) = i. Функция Дэвенпорта-Хейльбронна удовлетворяет функциональному уравнению римано-ва типа, но не имеет эйлерова произведения.
Пусть N (a, T; f) - число её нулей в полосе Ks > а, 0 < Ss ^ T. До 1980 г. о поведении N(a,T; f) было известно следующее: 1) N(a,T; f) > c3T, где c3 > 0 (Г. Дэвенпорт и Г. Хейльбронн, 1936 г.); 2) При 1/2 < a < b ^ 1
cAT ^ N (a, T; f) — N (b, T; f) ^ cbT (С. М. Воронин, 1976 г.)
В 1980 г. С. М. Воронин доказал, что
No(T; f) > T exp (In In In In T),
где N0(T; f) - число нулей q функции Дэвенпорта--Хейльбронна f (s) таких, что kq = 1/2, 0 < Sq ^ T.
Тем самым С. М. Воронин впервые установил, что на критической прямой лежит "аномально много" нулей арифметического ряда Дирихле без эйлерова произведения. Для решения этой задачи С. М. Воронин разработал оригинальный метод, основанный на приближениях рядов Дирихле отрезками их эйлеровых произведений. В некоторых случаях такие приближения эффективнее, чем приближения отрезками самих рядов Дирихле.
Современное состояние аналитической теории чисел таково, что отрезки эйлеровых произведений приходится брать весьма короткими. Этим обусловлено то обстоятельство, что метод Воронина пока что даёт неточные оценки. По-видимому, полную свою силу этот метод проявит, если появится возможность работать с более длинными отрезками эйлеровых произведений. Для иллюстрации метода С. М. Воронина ниже приводится одна из его центральных лемм.
Пусть у = (In T)0'01, Х1,Х2 - различные примитивные характеры Дирихле по модулям k1 и k2 соответственно. Пусть, далее,
P(s.X, ) = П(1 — )" • J = 1.2-
p<y V У /
Тогда существует абсолютная постоянная c0 > 0 такая, что мера множества
jt Е (0,T ] \P (2 + it, Х1) I > exp (у/In In у), \P (2 + it, X2) | < exp (—^/lnln у )|
превосходит c0T.
Для доказательства С. М. Воронин проследил за совместным распределением сумм
\ - X1(p) \ - X2(p) Z—t p1/2+it, p1/2+it ■
Его метод, таким образом, вбирает в себя информацию не только о распределении модулей частичных эйлеровых произведений, но и о распределении их аргументов.
В 1989 г. мощный импульс этой тематике придал Анатолий Алексеевич Карацуба. Он создал новый метод, позволивший получать оценки снизу для числа нулей линейных комбинаций аналогов функции Харди, соответствующих L-функциям Дирихле. А. А. Карацуба получил принципиально более точные оценки, чем те, что были до него. Например, он доказал для функции Дэвенпорта--Хейльбронна, что
N0(T; f) > T(lnT)1/2—£.
Оба автора доклада имели счастливую возможность общаться с Анатолием Алексеевичем и учиться у него в период, когда он разрабатывал и совершенствовал свой ставший классическим метод. Этот метод, сложный как в идейном, так и в техническом плане, содержит ряд оригинальных взаимосвязанных идей, принадлежащих А. А. Карацубе.
Основная из этих идей состоит в частичном успокоении каждого слагаемого из линейной комбинации одним и тем же успокаивающим множителем. Анатолий Алексеевич всегда подчёркивал, что успех его метода и точность получающихся оценок напрямую зависят от общего множителя эйлеровых произведений L-функций Дирихле, входящих в линейную комбинацию.
Рассмотрим, например, функцию Дэвенпорта--Хейльбронна. При Ks > 1
имеем равенства
^i)— п О — Ps)_i П (i + ps)-*
p=i (mod 5) p=-i (mod 5) x L /
1 — - TT (1 + -4-1
П (1 — ^ П (i +
p=2 (mod 5) x L / p=-2 (mod 5) x L /
L^Xi) — П (1 — П (1 + iV 'x
p=i (mod 5) x 1 ' p=-1 (mod 5) x
п (1 + Pc _ n (1 — py1
ps ps
p=2 (mod 5) 4 L / P=-2( (mod 5)) x L
Очевидно, что общим множителем обоих выражений является произведение
п (1 — 1Г п (1 +1 )-l
p=i (mod 5) х 7 p=-i (mod 5) х 7
Доля простых чисел, участвующих в нём, асимптотически равна 1/2. Этим и обусловливается то, что повышающий множитель в оценке А. А. Карацубы имеет вид (ln T )i/2-£.
Основной результат авторов доклада формулируется следующим образом.
Теорема. Пусть ХъХ2 - примитивные характеры Дирихле по модулям ki и k2 соответственно, такие, что х — \2.
Пусть, далее, Z(t,xi),Z(t,x2) — аналоги Z-функции Харди, отвечающие L-функциям Дирихле L(s,xi), L(s,x2). Пусть, наконец,
g(t) — aiZ(t, xi) + a2Z(t + t0,X2),
где ai,a2,t0 — вещественные числа, 0 <t0 < ел/lnlnlnT.
Тогда для числа N0(g; T) нулей вещественной функции g(t) на промежутке (0,T] справедлива оценка:
N0(g; T) > T exp (lnlnln T).
Доказательство проводится методом Воронина. Метод Карацубы в данном случае неприменим, поскольку эйлеровы произведения функций L(s,xi) и L(s + it0,x2) не содержат общего множителя.
Н. М. Довровольский (Тульский государственный педагогический институт им. Л.Н. Толстого, г. Тула, Россия)
О современных проблемах теории гиперболической дзета-функции
5
решеток5
Николай Михайлович Добровольский
В докладе был дан обзор нерешённых проблем теории гиперболической дзета-функции решёток, которая задаётся в полуплоскости Re а > 1 рядом
с (Л|а) = Y, (Xi ■■■Xs)-a,
ХеЛ, x=0
где X = max(1, |x|). При s = 1 гиперболическая дзета-функция решётки выражается через дзета-функцию Римана. В многомерном случае имеются свои существенно новые задачи, не имеющие аналогов в одномерном случае.
Д.В. Коледа (Институт математики НАН Беларуси, г. Минск, Беларусь )
Асимптотическое распределение алгебраических чисел на вещественной оси6
Обозначим через An множество алгебраических чисел степени п. Распределение элементов множеств An и An П R представляет собой значительный интерес в теории чисел и особенно в теории диофантовых приближений. До недавнего времени даже для алгебраических чисел второй степени не было известно, насколько часто они попадают в произвольный промежуток в зависимости от его положения и длины.
Пусть H(а) - высота алгебраического числа а, определяемая как высота его минимального многочлена. Проблема распределения сводится к исследованию функции
$n(Q,x) = # {а Е An П R : H(а) ^ Q, а < x} .
5 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: Н. М. Добровольский О современных проблемах теории гиперболической дзета-функции решёток (стр. ?? — ??).
6 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: Д. В. Коледа Об асимптотике распределения алгебраических чисел при возрастании их высот (стр. ?? — ??).
Недавно докладчиком была найдена точная асимптотика функции Фп($, х) при Q ^ При этом, фактически, была корректно определена и явно описана
функция плотности алгебраических чисел на вещественной прямой. В докладе приводятся результаты автора о распределении вещественных алгебраических чисел и, в частности, следующая
Теорема. Существует непрерывная положительная функция фп(х), такая что для любых действительных a и b, —ж < a < b < верно равенство
Qn+l
*n(Q,b) — &n(Q,a) = 7 / Vn(x)dx + O(Qn(lnQ)e(n)) ,
2( (n +1 )Ja
где Z (s) ~ дзета-функция Римана, l(n) = 0 при n ^ 3, l(n) = 1 при n = 2, а постоянная в символе O(^) зависит только от степени n. При этом существует бесконечно .много промежутков [a,b), для которых остаточный член имеет порядок O(Qn).
Функция фп(х) удовлетворяет следующим функциональным уравнениям
фп(—х) = фп(х), х2фп(х) = х^ (х = 0),
и при вещественных x её можно вычислить по формуле
dpl... dpn,
/ю
У, kpkxk-1
Dn(x) k=l
где Dn(x) = < (pn,... ,pl) £ Rn : max \pi\ ^ 1, Pkxk ^ 1 f.
I l^n_k=l J
М.А. Королёв (МИАН им. В. А. Стеклова РАН, г. Москва, Россия) О парной корреляции нулей Z(s)
Максим Александрович Королёв
Пусть в > 0, и пусть N(T; в) — число пар (7,71) ординат нулей дзета-функции Римана Z(s) с условиями
0 <7,7i ^ T, 0 <Y - Yi ^ Г"^-
In T
Для ряда задач представляет интерес поведение величины N (T; в) при T ^ и различных в = в (T). Можно доказать, что для всякой функции r = r(u), преобразование Фурье которой тождественно равно нулю вне отрезка [-1,1], из гипотезы Римана следует равенство
Y1 r( (Y - Yi)lnT)w(Y - Yi)
T (lnT)(r(0) + - (sinU^J)r(u) du + 5(T)).
где
w<u) = 4+U2• ^) « # + Й + (i^) l|r||i + L,lr{")d"'
X — произвольное число с условием 1 ^ X ^ In T, || • ||p — норма в пространстве Lp (R). Отказ от указанного выше ограничения на f позволил бы положить в этом соотношении r(u) = Х(о,в](") и получить в итоге следующее соотношение
N(T; в) - N(T) J*{1 - (^)2Jdu,
которое является одной из форм гипотезы Х. Л. Монтгомери (H. L. Montgomery) о парной корреляции нулей Z(s). Из него, в частности, при достаточно большом в следовало бы соотношение
N(T; в) 0 1 1 ъшГпв cos 2пв
- ~ в — _ +-+-—-+ ... .
N (T) ^ 2 2п2 в 4п3в2 4п4в3
Приближение характеристической функции фиксированного отрезка функциями Берлинга-Сельберга (A. Beurling, 1930's; А. Сельберг, 1974), преобразование Фурье которых обладает необходимым свойством финитности, позволило Э. Карнейро, В. Чанди, Ф. Литтману и М. Б. Милиновичу (E. Carneiro, V. Chandee, F. Littmann, M. B. Milinovich, 2014) вывести из гипотезы Римана оценку вида
в - 6 ++ гкз + 0(в-2) + 0<1) * NTT < в + гУв + 0(в-2) + 0(1)
2
при
в > в > О, e — «(^/lng).
Это уточняет оценку остаточного члена 0(1) в безусловной формуле А. Фуджи (A. Fujii, 1999), соласно которой N(T; в)/N(T) — в + 0(1) при любом в > 0.
Некоторое видоизменение рассуждений из работы Х. Л. Монтгомери, в ходе которых ему удалось получить асимптотику для функции
F(x; T) — y, xi(y-yi)w(y — Yi)
0<7,7i
при 1 ^ x ^ T, позволяет несколько уточнить результат четырёх авторов. Именно, рассмотрение вместо F(x; T) функции
F(x; T; k) — xl(l-ll)k(Y — Yi), k — k(u),
0<Y,Yl
и оптимальный выбор весовой функции k позволяют показать, что приведённые выше двусторонние неравенства для N(T; в)/N(T) остаются справедливы и в области в ^ во > 0, в — °(ln T).
А. Лауринчикас (Вильнюсский университет, г. Вильнюс, Литва)
Совместная дискретная универсальность L -функций Дирихле7
Антанас Лауринчикас
В 1975 г. С. М. Воронин открыл одно очень интересное свойство дзета-функции Римана Z(s), которое он назвал "универсальностью". Его суть состоит в том, что любая функция f (s) из достаточно широкого класса аналитических функций может быть сколь угодно хорошо приближена "сдвигами" Z(s + ir) дзета -функции Римана. Этим же свойством универсальности обладают и функции L(s,x), отвечающие характерам Дирихле.
7Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: А. Лауринчикас, Д. Корсакене, Д. Шяучюнас Совместная дискретная универсальность L-функций Дирихле II (стр. ?? — ??).
Чтобы сформулировать современный вариант теоремы Воронина, необходимо ввести следующие обозначения. Пусть, как обычно, s = а + it, D — вертикальная полоса вида 0.5 < а < 1 в комплексной плоскости, K — класс компактных подмножеств полосы D, обладающих связным дополнением. Для компакта K Е K через H0(K) станем обозначать класс функций, непрерывных и не обращающихся в нуль на K, аналитических внутри K. Тогда имеет место
Теорема 1. Пусть L(s,x) — функция Дирихле, K Е K, f Е H0(K). Тогда для любого (фиксированного £ > 0 справедливо неравенство:
liminf — meas \ т Е [0, T] : suplL(s + iT, x) — f (s) l < £ 1 > 0.
T у seK J
Иными словами, множество "сдвигов", приближающих f (s), имеет положительную нижнюю плотность.
Следует отметить, что и до работ С. М. Воронина существование объектов (степенных рядов, целых функций), обладающих аналогами свойства универсальности, устанавливалось в работах М. Фекете (M. Fekete), Дж. Д. Биркгофа (G. D. Birckhoff). Но это были чистые теоремы существования. Поэтому дзета-функция Римана — первый явно заданный объект, обладающий свойством универсальности.
Оказывается, что L-функции Дирихле обладают ещё более интересным свойством совместной универсальности. Оно выражается в том, что набор из нескольких аналитических функций может быть приближен набором сдвигов нескольких L-функций Дирихле. Именно, справедлива
Теорема 2. Пусть х1,... ,Хг — попарно неэквивалентные характеры Дирихле8, Kj Е K, j = 1,...,г — произвольные компактные множества, fj Е H0(Kj) — произвольные (фиксированные аналитические (функции. Тогда для любого заданного £ > 0 имеет место неравенство:
liminf— meas I т Е [0,T] : sup suplL(s + iT,Xj) — fj (s)l <£> > 0. T^+<X T [ l^j^rsGKj J
Чтобы набор функций, сдвигами которых приближаются аналитические функции fj (s), обладал свойством совместной универсальности, элементы этого набора должны быть в некотором смысле "независимы". В теореме 2 это достигается наложением условия попарной неэквивалентности характеров Дирихле.
Следует отметить, что утверждение, подобное теореме 2, было по сути установлено С. М. Ворониным при доказательстве функциональной независимости L-функций Дирихле (1975), хотя и не было им явно сформулировано.
8Характеры Дирихле xi и Х2 называются неэквивалентными, если они порождены различными примитивными характерами.
В теоремах 1 и 2 сдвиг т может принимать любые действительные значения. Если ограничиться значениями т из некоторого дискретного множества (скажем, из арифметической прогрессии 0, h, 2h, 3h,..., где h > 0 — фиксированное число), то соответствующая задача о "дискретной универсальности" оказывается более сложной.
Дискретная универсальность L-функций Дирихле была установлена индийским математиком Б. Багчи (B. Bagchi, 1981) в его диссертации. Современная версия теоремы Багчи имеет следующий вид.
Теорема 3. Пусть характеры Дирихле Xj, множества Kj и аналитические функции fj, j = 1, 2,... ,r, удовлетворяют условиям теоремы 2. Тогда для любых фиксированных положительных чисел h и £ справедливо неравенство:
lim inf —1— # <0 ^ k ^ N : sup sup L(s + ikh, Xj) — fj (s)| < £ 1 > 0.
nN + 1 { seKj J
Величина сдвига kh в теореме 3 одинакова для всех L-функций Дирихле L(s,Xj). Возникает следующий вопрос:
сохранится ли свойство совместной дискретной универсальности в случае, когда величины сдвигов каждой из функций будут различны?
Эта задача оказывается ещё более сложной. Этот вопрос допускает положительный ответ, если ограничиться особым классом таких сдвигов.
По заданным положительным числам hl,... ,hr определим множество
L(hl,...,hr; п) = {hl ln p : p £P }U ...\J {hr ln p : p £P }UM,
где P — множество простых чисел. Основной результат докладчика состоит в следующем.
Теорема 4. Пусть характеры Дирихле Xj, множества Kj и аналитические функции fj, j = 1, 2,..., r, удовлетворяют условиям теоремы 2, и пусть числа hl,... ,hr таковы, что множество L(hl,... ,hr;п) линейно независимо над полем Q рациональных чисел. Тогда для любого £ > 0 справедливо неравенство:
liminf 1 # 10 ^ k ^ N : sup sup L(s + ikhj ,Xj) — fj (s)!<£l > 0.
NN + 1 [ l^j^r s£Kj J
А. Дубицкасом было доказано, что для всех наборов (hl,..., hr) £ R+, за исключением наборов, образующих множество меры нуль по Лебегу, множество L(hl,..., hr; п) будет линейно независимо над полем Q. К сожалению, до настоящего времени даже в случае r = 2 не удалось построить пример набора, обладающего таким свойством.
Р. МацаЙтене (Шауляйский университет, Шауляйский государственный колледж, г. Шауляй, Литва)
Совместная универсальность L-функций класса Сельберга и дзета-функций Гурвица с периодическими коэффициентами 9
Рената Мацайтене
В первоначальном доказательстве теоремы С. М. Воронина об универсальности использовались аналог теоремы Б. Римана о перестановках членов условно сходящихся рядов в гильбертовом пространстве, приближения дзета-функции Римана значениями конечного эйлерова произведения, а также классическая теорема Л. Кронекера (L. Kronecker) о приближениях.
Иной подход, основанный на использовании предельных теорем для слабой сходимости вероятностных мер на пространствах аналитических функций, а также теоремы С. Н. Мергеляна о приближении аналитической функции многочленами в комплексной области, был предложен Б. Багчи.
В дальнейшем удалось установить универсальность различных классов функций, заданных рядами Дирихле, не имеющими эйлерова произведения. Примером такой функции служит дзета-функция Гурвица
1
Z(s; а) — У^--—, Ks > 1,
V 7 ^ (n + a)s
n=0 4 '
где 0 < а ^ 1 — фиксированное число. Лишь в частных случаях Z(s; а) выражается через дзета-функцию Римана и, следовательно, обладает эйлеровым произведением: Z(s; 1) — Z(s), Z(s; i) — (2s — 1)Z(s). Дзета-функция Гурвица обладает свойством "сильной универсальности", которое заключается в том, что её сдвигами можно приближать аналитические функции, имеющие нули в критической полосе. Именно, справедлива
Теорема 1. (Б. Багчи, A. Reich, А. Лауринчикас). Пусть K — класс компактных подмножеств полосы i < Ks < 1, обладающих связным дополнением,
9 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: Р. Мацайтене Совместная универсальность L-функций класса Сельберга и дзета-функций Гурвица с периодическими коэффициентами (стр. ?? — ??).
K е K. Пусть, далее, H(K) — класс функций, непрерывных в K и аналитических внутри K, f е H(K). Пусть, наконец, а — трансцендентное или рациональное число, отличное от 1 и 2. Тогда для любого положительного £ справедливо неравенство
liminf — meas T
[т е[о,т] :
sup|Z(s + гт; а) — f (s)| > 0.
s&K
)
Доказательство аналогичного утверждения для случая, когда а является иррациональным алгебраическим числом, остаётся до сих пор открытой проблемой.
Обобщением дзета-функции Гурвица Z(s; а) является дзета-функция Гурви-ца Z(s; а; A) с периодическими коэффициентами. Здесь A = {an}n=0 — последовательность комплексных чисел, периодическая с наименьшим периодом q ^ 1, 0 < а ^ 1,
an
Z(s; а; A) = J]
=0 (n + а)
Ks > 1.
n=0
Равенством
Z(s; а; A)
1 — J k + а" з > «fc u s;
q
s
k=0
функция Z(s; а; A) мероморфно продолжается на всю комплексную плоскость. Единственной её особенностью является простой полюс в точке s = 1 с вычетом, равным
Е
k=0
ak
(в случае a = 0 эта функция будет целой). Частными случаями Z(s; а; A), отвечающими an = 1 и an = e2niXn, где Л — рациональное число, будут, соответственно, дзета-функция Римана и дзета-функция Лерха (M. Lerch) L(s; а, Л),
L(s; а, Л) =
n=0 (n + а)'
n=0
Ks > 1.
Введём следующие обозначения. Пусть r ^ 2 — целое число, l,, j = 1,... ,r — некоторые натуральные числа. Для всякой пары (j, l), где 1 ^ l ^ l,, рассмотрим последовательность A,,i = комплексных чисел, периодическую с периодом q,i. Через q, станем обозначать наименьшее общее кратное периодов , l = 1,... ,l,. Далее, пусть
(а\,1 aijy2 ... ai \
А,
a2,j,l a2,j,2
\aqj ,j,l aqj ,j,2
a2,j,lj aqj ,j,lj
a
— матрица размера qj х j.
Пусть, наконец, для заданных а1,... ,аг через L^i,..., аг) обозначено множество всех чисел вида ln (п + аj), где j = 1,... ,r, п ^ 0 — целое число. Имеет место следующая теорема о совместной сильной универсальности, принадлежащая А. Лауринчикасу и С. Скерстонайте (S. Skerstonaite; 2009):
Теорема 2. Пусть множество L^]^,... ,аг) линейно независимо над полем Q рациональных чисел, и пусть rankAj = j ^ qj, j = 1,...,r. Пусть, далее, Kji Е K, fj,i Е H(Kjti) для j = 1,...,r, l = 1,...,lj. Тогда для любого £ > 0 справедливо неравенство:
liminf — m,eas I т Е^,^ : sup sup supC(s + ^; аj, Ajyl) — fj,l(s) l > 0.
T^+<x 1 [ i<Kr i^i^ij seK ' ' J
Ещё одно направление в рассматриваемой проблематике связано с так называемой "смешанной совместной универсальностью" и состоит в доказательстве возможности одновременного приближения нескольких аналитических функций одними и теми же сдвигами дзета-функции Римана и функций, определяемых рядами Дирихле, не имеющих эйлерова произведения. Пример такого утверждения даётся следующей теоремой Х. Мишу (H. Mishou, 2007).
Теорема 3. Пусть а — трансцендентное число, Ki,K2 ЕК, fi Е H0(Ki), f2 Е H(K2). Тогда для любого £ > 0 справедливо неравенство:
liminf — m,eas I т Е[0,T] : supC(s + ^) — fi(s)l <£, t^+Ж T { L J seK-,1 1
sup С(s + ^; а) — f2(s)l < £ > > 0. seK2 J
Смешанная совместная универсальность для С(s) и наборов
С (s; аl, Ai,i),... ,С (s; аг, %.,i), l = 1,...,lj, j = 1,...,r,
(где каждой периодической последовательности Aj,i, l = 1,... ,lj, отвечает один и тот же параметр аj), была установлена в 2010 г. Й. Генисом (J. Genys), С. Рач-каускене (S. RaCkauskiene), Д. Шяучюнасом (D. SiauCiUnas) и автором доклада.
Аналогичные утверждения, в которых роль С(s) выполняют L -функции, отвечающие нормированным параболическим формам Гекке (zeta-functions of normalized Hecke cusp forms), L-функции, отвечающие формам - собственным функциям всех операторов Гекке (zeta-functions of newforms) и L -функции, соответствующие автоморфным формам с характером Дирихле и являющиеся собственными функциями всех операторов Гекке (zeta-functions of newforms with Dirichlet character) были установлены, соответственно, А. Лауринчикасом, Д. Шяучюнасом (2012), Р. Мацайтене (2012) и В. Поцевичене (V. Poceviciene, 2014).
В 1991 г. А. Сельберг ввёл в рассмотрение класс S функций
L(s) = у
ns
n=l
которые удовлетворяют ряду условий, а именно:
— "условие Рамануджана" : a(n) ^ n£ для любого фиксированного £ > 0;
— "аналитическое продолжение" : (s — 1)rL(s) является целой функцией конечного порядка для некоторого целого r ^ 0 ;
— наличие функционального уравнения вида ЛL(s) = wЛL (1 — s), где
i
ЛL(s) = QsL(s^r(Aj s + ii3), j=l
Q,w,^j — комплексные числа с условиями \w\ = 1, ffi^j ^ 0, Aj > 0, j = 1,... ,l;
— наличие эйлерова произведения вида
L(s)= llexp b(p°)
p ^ a=0 /
где b(pa) ^ pa при некотором фиксированном в < 2.
В 2002 г. Й. Штойдинг (J. Steuding) установил свойство универсальности для функций L(s) из класса S, которые удовлетворяют дополнительным условиям, а именно:
— сомножители эйлерова произведения для L(s) имеют "полиномиальный" вид, то есть
L(s) = П11 (1 — j^)
p j=l V У ;
где Cj (p) — комплексные числа;
— условие роста среднеквадратичного коэффициентов (далее — "условие I"), согласно которому
lim \a(,[p)\2 = к x^+те п(Х) z—'
4 ' p^x
для некоторой положительной постоянной к. Позже (2010 г.) Й. Штойдинг совместно с Х. Нагоши (H. Nagoshi) доказали универсальность всех функций класса Сельберга, которые удовлетворяют одному лишь условию I. Основным результатом автора доклада является следующая
Теорема 4. Пусть функция L(s) принадлежит классу Сельберга S и удовлетворяет условию I. Пусть также dL = 2(Al + ... + Al), KL — класс компактных подмножеств полосы
max I1, 1--М < Ks < 1,
V2 dLj
обладающих связным дополнением, K £ KL, f £ H0L(K). Пусть, далее, числа al,..., ar алгебраически независимы над полем рациональных чисел Q, и пусть для определённых выше матриц Aj справедливы равенства: rank Aj = lj (j = 1,...,r). Пусть, наконец, множества Kjyl и функции fjyl — 'те же, 'что в теореме 2. Тогда для любого £ > 0 справедливо неравенство:
lim inf — m,eas t^+Ж T
sup|L(s + iT) — f (s)1 < £,
seK
[t £ [0T] :
sup sup sup (s + iT; aj, Aj) — j (s)| > 0.
KKr l^l^lj s£Kj:i ' ' J
Н. Г. Мощевитин (Московский государственный университет имени М. В. Ломоносова, г. Москва, Россия)
О некоторых диофантовых спектрах
Пусть a — вещественное иррациональное число, [ao; al, a2,...] — его разложение в непрерывную дробь (an ^ 1 для всех n = 1, 2,...). Определим функцию -a(t) при вещественных t ^ 1 равенством
ф,a(t) = mm
l^q^t
где II — расстояние от £ до ближайшего целого числа. Эта функция является кусочно постоянной, невозрастающей и терпит разрывы в точках qn,n = 1, 2,..., являющихся знаменателями подходящих дробей pn/qn = [a0; al,... , an] числа a.
Николай Германович Мощевитин
Спектром Лагранжа L называется множество вещественных чисел A, для каждого из которых существует иррациональное число a с условием
lim inf t—a(t) = A.
Известно, что спектр Лагранжа имеет "дискретную" часть, состоящую из точек
1 1 /5, л/8
(при этом 1 / л/5 является наибольшим элементом L), а также "непрерывную" часть, которая содержит некоторый отрезок [0, Л*], называемый лучом Холла. Подсчёт точного значения Л* был предпринят Г. А. Фрейманом (1975).
Наряду со спектром Лагранжа рассматривается спектр Дирихле D, который определяется как множество чисел d, для каждого из которых существует иррациональное число а такое, что
limsup tipa(t) = d. Известно, что спектр Дирихле целиком содержится в отрезке
1+Л=. 1
2 2^5'
причём его левый конец является наименьшим элементом D (G. Szekeres, 1937), и что D целиком содержит некоторый отрезок [d*, 1] Нахождение точного значения величины d* < 1 до сих пор остаётся открытой проблемой.
Доклад посвящён одной задаче, связанной с функцией Минковского fia(t) и отвечающему ей спектру Минковского M (основные результаты доклада опубликованы в статье ([13])).
Согласно классической теореме Лежандра, если для фиксированного иррационального а несократимая дробь P/Q удовлетворяет неравенству
P
а — —
а Q
1
<
2Q2
то она является подходящей дробью а. Обратное утверждение неверно, и этот факт указывает на некоторое несовершенство аппарата классических цепных дробей. (Этот недостаток был устранён Г. Минковским (H. Minkowski, 1901), который предложил рассматривать вместо дроби [a0; ai,a2,...] иную дробь, некоторые элементы которой могут иметь и отрицательные значения.)
Пусть Q0 < Qi < ... < Qn < ... - последовательность, составленная из знаменателей тех подходящих дробей P/Q числа а, для которых неравенство \а — P/Q\ < 1/(2Q2) всё же имеет место. Тогда для всякого t из промежутка Qn ^ t ^ Qn+i значение функции Минковского определяется равенством
Va(t) = QQn+i—Qt №па\\ + Юг+М.
Qn+i Qn Qn+i Qn
(Несложно заметить, что график кусочно-линейной функции fia(t) может быть проинтерпретирован в терминах выпуклой оболочки графика функции ^>a(t)).
Спектр Минковского M определяется как множество тех m Е R, для каждого из которых существует иррациональное число а с условием
limsup t^a(t) = m.
Основным результатом автора доклада является
Теорема.Минимальный и максимальный элементы спектра M равны, соответственно, 1/4 и 1/2.
До сих пор, однако, неизвестно, совпадает ли M с отрезком [1/4,1/2] или нет.
Принципиальная трудность задач, связанных со структурой спектра Минковского, вызвана следующим обстоятельством. Если pn/qn — подходящая дробь числа а, то справедливо равенство:
Pn
а — —
qn
1
qn(аn+i + а*п)'
где аn+l = [an, an+i,...], а*Г1 = [0; an, an-i,... , ai]. Следовательно,
qn\\qnа\\ = L^n+i^), где L(x,y) = .
x+y
Таким образом, для исследования структуры спектра Лагранжа необходимо исследовать значения функции L(x,y) для соответствующих x и y.
Можно показать, что для спектров Дирихле и Минковского соответствующие задачи сводятся к исследованию свойств функции D(x,y) = x + y и пары
x + y
функций
x + y + 1 (1 — xy)2
4 , 4(1 + xy)(1 — x)(1 — y)
в единичном квадрате [0,1]2.
Отличительной особенностью спектров Лагранжа и Дирихле является то, что наибольшие значения функций L(x, y) и D(x, y) достигаются на отдельных точках квадрата, в то время как соответствующий максимум, отвечающей спектру Минковского, достигается на двух кривых
x + 1/у = 2 и y + 1/x = 2,
исходящих из точки (1, 1) . Последнее обстоятельство не позволяет применить к исследованию спектра M технику (именуемую в этой тематике "техникой изоляции"), с помощью которой удаётся изучить структуру спектров Лагранжа и Дирихле.
Ю. В. Нестеренко (Московский государственный университет имени М. В. Ломоносова, г. Москва, Россия)
О постоянной Каталана
Постоянная Каталана G определяется равенством
G = f !_ = 1 — 1 + 1 — 1 __
^ (2v + 1)2 9 25 49
v=0 к '
Это одна из классических постоянных, таких, как е, п, константа Эйлера 7. Впервые она возникла в работах Э. Ш. Каталана (E. -C. Catalan) в середине XIX в. До сих пор открытой проблемой является доказательство иррациональности G.
Пусть а — вещественное число, рациональное или иррациональное. Задавшись натуральным q ^ 1, всегда можно отыскать целое число p так, чтобы выполнялись неравенства
1
0 <
p
а - -q
q
Юрий Валентинович Нестеренко
Известно, что для доказательства иррациональности а достаточно доказать подобное неравенство с e/q в правой части, где е — сколь угодно малое фиксированное число. Для этого, в свою очередь, используют разные конструкции рациональных приближений к а (ряды, интегралы и т.д.).
В 2002 г. В. В. Зудилин доказал следующее интегральное равенство:
1 xn-05(1 - x)nyn(1 - y)n-05
(1 - xy)n+1
dxdy = (-1)n(«nG - Vn),
в котором un,vn — рациональные числа. Интеграл в левой части равенства мал и экспоненциально убывает с ростом п. Зудилину удалось исследовать некоторые арифметические свойства чисел un и vn. Впоследствии они были уточнены в работах Зудилина, Ривоаля (T. Rivoal) и Краттенталера (C. Krattenthaler), и появилась возможность доказать следующее утверждение.
Теорема 1. Существует эффективная конструкция бесконечной последовательности рациональных чисел p/q, удовлетворяющих неравенствам
0<
p
а — -
1
Vq'
q
Конечно, это неравенство сильно уступает даже тривиальному неравенству \G - p/q\ ^ q-1, однако главное достоинство этого утверждения состоит в том, что последовательность рациональных приближений строится эффективно.
Главная цель доклада — обобщить приведённое выше интегральное представление Зудилина для рациональных приближений постоянной G, доказать теорему 1 и некоторые другие результаты.
Обобщённая гипергеометрическая функция F(z), зависящая от параметров
ai,
,am,bi,..., bm-i, определяется рядом
F(z)
mFm— i
( \
ai, a2, ■ ■ ■ , am \ _
у bi, ... , bm- i Z) V=o
(ai)v ■ ■ ■ (am)v ZV
V=0 (bi)v ... (bm-i)v v!
Здесь и далее (a)v — символ Похгаммера: (a)0 _ 1, (a)v _ a(a +1)... (a + v — 1) при v ^ 1. Параметры aj,bj предполагаются отличными от отрицательных целых чисел. Ряд для F(z) сходится абсолютно при \z\ < 1, а в случае, когда Re(bi + ... — am) > 0 — и при \z\ ^ 1. Для F(z) имеет место и интегральное представление вида
mi
mi
F(z) _
r(bj)
i П j-i(1 — Xj)bj-aj-i j=i
j=i
r(aj )r(bj — aj)
(1 — zxi . ..Xm-i)C
dx i... dx ^^— i,
которое справедливо при \ arg(1 — z)\ < n.
Ещё в начале XX столетия Н. Нильсен (N. Nielsen) и С. Рамануджан (S. Ra-manujan) открыли тождества, в которых постоянная Каталана выражается через значения гипергеометрической функции 3F2:
"Тм I1) _ £ V)
i
1
£
(1).
(2v + Щ vj 2 v (v + 2)
В рассуждениях автора доклада ключевую роль играют функции
2G.
fi(z) _ E
v=0 (2)v
л( it1 Iz)
1 arcsin yfz
л/Г—
Vz
f2 (z) _ E
v!
(2)v (2v + 2)
■Ky1 |z)
3 3 3 z
2, 2
(Очевидно, подстановка z _ 1 в равенство для f2(z) приводит к равенству Нильсена).
Функции fi(z), f2(z) возникают при рассмотрении интеграла, подобного интегралу Зудилина, но более общего вида. Так, имеет место
i
m
v
V
z
z
V
z
Z | ^ 1, справедливо тождество:
fi fi xa-0-5(1 — x)b-aya(1 — y)b-a-0-5
J(z) = L I--dxdy
=Чй fi(z)+Кй ш—К1)
в котором A(x),B(x) — .многочлены с рациональными коэффициентами, а C(x) — некоторая рациональная (функция.
Функции А, B и C имеют вид:
b- a b- a
A(x) = £ A,xj, B(x) = J] B,xj, j=0 j=0
b-a a+j-i ! b-a a+j-i |
C(x) = E E Aj pf- x- + E E Bj TirTVT+TV
j=0 v=0 \2) V j=0 v=0 Uy v V + 2)
Коэффициенты Aj ,Bj этих разложений могут быть вычислены явно. Раскрывая подынтегральное выражение по формуле бинома и интегрируя по x, y, получим равенство
v!
J(z) = £ R(v)zV
v=a \2Уv
в котором R - рациональная функция, r( ) (b — a)! f 3\ x(x — 1)... (x — a + 1)
V2 / b-a- i
a! V 2 7 b-a-i (x + 2)2 ( x + §)2 ... (x + b — a + 2)2
f (x + 1) ...(x + j) / j + Bj \ . j=0 (x + 2)j+i \ j x+j + \)
Важным обстоятельством является то, что сумма
b- a
Aj = A(1)
j=0
совпадает с вычетом R(x) в точке x = то и потому равна нулю. Таким образом, при подстановке z =1 в равенство для J(z) особенность fi(z) в точке z = 1 уничтожается нулём A(z). В итоге получается равенство
J (1) = 4B(1)G — C(1),
в котором B(1), C(1) — рациональные числа, а величина J(1) достаточно мала. Это равенство и позволяет в дальнейшем сконструировать последовательность рациональных приближений к постоянной Каталана.
Однако для этого необходимо знать некоторые арифметические свойства величин B(1),C(1). Следующая теорема даёт верхние оценки для знаменателей рациональных чисел Aj, Bj.
Теорема 3. Для любого целого j, 0 ^ j ^ b — a, справедливы включения:
4— Bj £ Z, 4— D2b-2aAj £ Z,
где Dm = [1, 2,... ,m] — наименьшее общее кратное чисел 1, 2,... ,m. Первое включение следует из явной формулы
Bj
(—1)a+l 2-2b+2j+l
(2a + 2j)! j! (2b — 2a)!
a! (a + j)! (b — a — j)! (b — a — j)! (2j)! (2j)!
и того факта, что при любых целых u ^ v ^ 1 число
(2u)!v!
u!(2v)!(u — v)!
является целым. Второе включение доказывается сложнее и использует рекуррентное соотношение, связывающее Aj с Bj.
Заменяя во всех предыдущих рассуждениях a и b величинами an и bn, где a, b — фиксированные целые числа, а n неограниченно возрастает, можно получить последовательность рациональных приближений к постоянной Каталана вида
qn = ^Dlb-^nB(1) £ Z, pn = ^Dlb-^nC(1) £ Z,
и для них rn = qnG — pn = 4baD^{b-a)nJ(1).
Значение B(1) легко поддаётся изучению; асимптотика интеграла
ll
J (1)
Х
an—0.5 (
'0 Jo
.5(1 _ x)(b-a)nyan(1 _ y)(b-a)n-0.5
(1 — xy)an+l
dxdy, n ^
может быть найдена методом Лапласа. В итоге для величины
ln\rn\
а
lim
n^+ж ln qn получается точное равенство вида
(c + 1) ln 4 + 4c + g(n) (c + 1)ln4 + 4c + h(-), в котором
а
- — 1, a
2c
\lc2 + 4c — c + 2'
1 1 /4 + c
— 2 + 2V ~
g(n) = 2lnn + 2cln (1 — n) — ln(1 — rf), h(-) = ln(1 + -) — 2cln ( 1 — -
(■—0
-
c
n
Функция а _ а (с) достигает минимума, равного 0.475720..., в точке с, очень близкой к единице: с _ 1.00669.... Беря a _ 1, b _ 2, будем иметь: с _ 1. Получающиеся при этом рациональные приближения совпадают с теми, что были построены Зудилиным. В этом случае
С _ П
V5 — 1
2
h(£) _ 5ln
>/5+1
2
g(n) _ 5ln
v^ — 1
и значение а, действительно, оказывается меньшим ^:
а _ 0.475726....
Несложно теперь проверить, что для так определённой последовательности рациональных приближений pn/qn будет выполнено неравенство теоремы 1:
G _Рп
<
1
Беря a _ 4, b _ 7, получим
3 3
с _-, С _ — (—5 + v/57) _ 0.4780 ...
4
16
g(n)
Von
п
ln Q/3303 — 437л/57
1 (—3 + V57) _ 0.4780 ... 6
_ -1.8277...,
h(C) _ ln (i/303 + 437^57) _ 1.9126 ...
откуда а _ 0.49031... < i. Таким образом, и отвечающая этому выбору a, b последовательность рациональных приближений удовлетворяет неравенству теоремы 1.
Однако эта последовательность имеет одно преимущество. Построенные таким образом числа pn, Qn имеют очень большой общий делитель. Поэтому дробь pn/qn (после сокращения) имеет знаменатель, существенно меньший, чем qn.
Этот общий делитель определяется следующим образом. Положим
Q
1 1' 8, 6
)и[ 4.0 и[ 8.2) и[ 2,6)
и определим величину А равенством
А _
Наконец, обозначим
47п+1Д8п DnB (1) А
Un
p.
{n/p}&Q
47nD8nD6nC (1)
А :
VnG — Un
2
Q
n
V
r
n
n
Тогда
и, следовательно,
Т ln\rn |
пш --
n^+те ln Vn
0.44555... < — 20
0 <
G — —
Vn
<V
-11/20
Определённые таким образом числа vn являются целыми. По -видимому, то же справедливо и для последовательности чисел un. Это утверждение проверено для всех n ^ 350, однако в общем случае доказать его пока не удаётся. Таким образом, получается следующая условная
Теорема 4. Если числа un — целые для всех n ^ 1, то указанная конструкция даёт бесконечную последовательность рациональных чисел p/q, удовлетворяющих неравенству
0<
G-Pp
< q-11/20.
q
Д. А. Попов (Научно-исследовательский институт физико-химической биологии им. А. Н. Белозерского МГУ имени М. В. Ломоносова, г. Москва, Россия)
О поведении величины P(x) на коротких интервалах
Дмитрий Александрович Попов
Пусть r(n) — количество представлений целого числа n ^ 1 суммою двух квадратов целых чисел. Как известно, проблема круга состоит в изучении поведения величины
P(x) = ^^ 1 — nx = ^^ r(n) — nx, x —
и, в частности, в доказательстве оценки P(x) = 0(xl/4+e) при любом фиксированном е > 0. Долгую историю этой проблемы составляют работы, в которых
последовательно уменьшалось значение величины 9 в оценке P(x) = 0(xe+£^). Один из последних в этой тематике результатов принадлежит Н. М. Хаксли (N. M. Huxley): 9 = 131/416 ~ 0.3149. Для величины P(x) имеется ряд омега-теорем. В частности, известно, что P(x) = Шx i/4(l n x)i/4).
Особое направление в проблеме круга образуют задачи, связанные с исследованием поведения P (x) на коротких промежутках изменения x, то есть на промежутках вида lx — nl ^ ni-a, где 0 < а < 1. Основная цель доклада состояла в том, чтобы показать, как из различных предположений о поведении функции P(x) на коротких промежутках получаются "локальные" оценки, то есть оценки величины IP(n)|.
Отправной точкой в исследованиях такого рода служит "усечённая" формула Вороного-Харди, согласно которой величина P(x) при любом N ^ 1 представляется суммою PN (x) + О (An (x)), где
. . . . . . x ' i (m) I ,- п\
Pn(x) = у j pm(x), <pm(x) =--— cos I 2^mx + 4 ),
п m3/4 \ 4
i<m<N
xl/4 r(m) ( ,- П
--г-тт cos 2^mx + —
п mi/4\ 4,
An(x) = C0(e)(N£ + N-i/2x1/2+s).
Положим для дальнейшего
/ ln n
r(n) = exp I ;
ln ln n
так что 0 ^ r(n) ^ r(n) для всех достаточно больших n. Далее, обозначим через A = A(N) множество целых чисел n ^ 1, для которых r(n) = 0 и, кроме того, имеет место неравенство
IP(n)| ^ ci (An(n) + r(n)),
где ci > 8 — некоторая фиксированная постоянная.
Далее, зафиксируем некоторую постоянную c2 > 0 и для всякого достаточно большого целого n £ A определим величину s = s(n) так, чтобы неравенство
IP(x) — P(n)I ^ 0.5|P(n)I
выполнялось на всём промежутке вида Ix — nI ^ c2IP(n)|s/r(n). Ввиду оценки Г. Ф. Вороного P(n) = 0(n1/3^ всюду далее можно предполагать, что s ^ 3. Имеет место следующее утверждение.
Теорема. Если n £ A(N) и s(n) ^ 2 — y при некотором y > 0, 'то
i
IP (n)I ^ c3(nr 3(n)ln2 n) s+2 , C3 = cs(y) > 0. Если же 2 ^ s(n) ^ 3 и при этом IP(n)| ^ c4nl/(2s\ то
Докладчиком был также сформулирован так называемый "принцип локализации", который состоит в следующем.
Пусть 1 ^ а С 0.5n. Тогда справедливо равенство
1 п n+a
P(n) = — I (P(n) — P(x)) dx + B,
где
B С
!
c6 nl/2a l/2 r(n/a2),
c7 ni/4a-\
если а С Vn/(2n), если а > y/n/(2n).
Из полученных результатов следует интересное наблюдение. Предположим, что \P(n)\ ^ c8n1/4, и при этом в точке x = n функция P(x) имеет "широкий максимум", то есть неравенство
\P(x) — P(n)\ С 0.5\P(n)\ выполняется на всём промежутке \x — n\ С n°.5-£. Тогда оказывается, что
\P(n)\ С c9nl/4+e,
то есть на всём рассматриваемом промежутке проблема круга решена.
Особое значение этому наблюдению придаёт следующий факт. Известно, что всякий промежуток вида n С x С 2n содержит к ^ л/n (ln n)5 непересекающихся промежутков Ul,... ,Uk, длина каждого из которых превышает л/n (ln n)-5, таких, что на каждом из них выполняется неравенство \P(x)\ ^ cl0n1/4. Если бы удалось доказать, что каждый из интервалов Uj, j = 1,... , к, покрывается одним "широким максимумом" функции \P(x)\, то это привело бы к решению проблемы круга.
З. Х. РАхмонов (Институт математики им. А. Джураева Академии наук Республики Таджикистан, г. Душанбе, Таджикистан)
Короткие тригонометрические суммы Вейля
10
10 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: З. Х. Рахмонов, Н. Н. Назрубллоев, А. О. Рахимов Короткие суммы Г. Вейля и их приложения (стр. ?? — ??).
na
Зарулло Хусенович Рахмонов
И. М. Виноградов первым начал изучать тригонометрические суммы, переменная суммирование в которых принимает значения из "коротких интервалов". Такие суммы возникают при решении аддитивных задач с "почти равными" слагаемыми. В 1937 г. он впервые для линейной тригонометрической суммы с простыми числами вида
S(а; x,y) = ^^ Л(п) exp (2niau),
(а; x,y) =2^ Л(п)
x-y<n^x
а 1
а = - + Л, (a,q) = 1, \Л\ , 1 ^ q ^ т q qT
нашёл нетривиальную оценку при x2/'3+£ < y ^ x и ec(XnXnx)2 « q « x1/3.
В 1951 г. К. Б. Хаселгров (C. B. Haselgrove) получил нетривиальную оценку суммы S(а; x,y) при y ^ xe+£, 9 = Ц и произвольном q. Её следствием явилась теорема о разрешимости уравнения
Pi + Р2 + Рз = N
в "почти равных" слагаемых, то есть в простых числах с условием \pj — N/3\ ^ Nв, j = 1, 2, 3. В настоящее время наилучший результат в этой тематике принадлежит Жиа Чаохуа (9 = 12, Jia Chaohua, 1998).
В 1981 г. Р. Вон (R. Vaughan) получил ряд утверждений о приближении суммы Г. Вейля (H. Weil) вида
а 1
Тп(а; x) = e2mamn, а = - + Л, \Л\ ^ —, (a,q) = 1, 1 ^ q < т.
m<x
qT
Так, он доказал, что
Тп(а, x) = Г е2жШ" dt + O(q0'5+£(1 + xn^\)°'5).
q Jo
Если же \Л\ ^ (2nqxn-1)-1 (то есть, если а очень хорошо приближается рациональным числом), то
Тп(а^) = x^ Г e2niXt" dt + O{q°-5+£). q0
Воспользовавшись этими соотношениями, он получил в 1986 г. асимптотическую формулу в проблеме Варинга для 8 кубов.
Короткие тригонометрические суммы Вейля вида
Тп(а; x,y)= £ e2niam", ^ « y «
x
ln x
x-y<m^x
были исследованы З. Х. Рахмоновым и его учениками для случаев n _ 2, 3, 4. Следующая теорема даёт оценку Tn(a; x,y) при произвольном n.
Теорема 1 (З. Х. Рахмонов, Н. Н. Назрубллоев, А. О. Рахимов, 2013). Пусть т , 2n(n — 1)xn-2y, A , 0. Тогда при {n\xn-i} ^ (2q)-i справедливо равенство
Tn(a; x,y) _ ^^ Tn(A; x,y) + Q(q0-5+£),
Q
а при {nAxn i} > (2q) i — оценка
Tn(a; x,y) < qi n ln q + min (yq n ,A
2<k<n
i ,-i i-1
k x k Q n) .
Оценки коротких сумм Вейля позволяют получить ряд теорем о разрешимости некоторых диофантовых уравнений. Пусть всюду далее N обозначает достаточно большое целое число, L _ ln N.
Теорема 2 (З. Х. Рахмонов, 2012). Пусть I(N; H) — число представлений N суммою pi + p2 + m3 с условиями
N
Рз
^ H,
3 N
m3--
3
< H.
Пусть, далее, q(N; p) — число решений сравнения x3 = N (mod p). Тогда при H , N5/6Li0 справедлива асимптотическая формула
V3NL2 VvNL3
> S _ П(. + S).
Теорема 3 (З. Х. Рахмонов, К. И. Мирзоабдугафуров, 2008). Пусть J(N; H) — число представлений N суммою девяти кубов натуральных чисел xj с условиями
х'- ©
i-i+e < N 3 30+£
j _1,..., 9.
Тогда J(N; H)
B3&(N )H8
-N2
+ Q
(
H 8
l 8
>
B3 SN, c,> 0
ТЕОРЕМА 4 (З. Х. Рахмонов, А. З. Азамов, 2011). Пусть J(N; H) — число представлений N суммою 17 биквадратов натуральных чисел xj с условиями
(N\4
xj — [й
< N 4 i08
j _1,..., 17.
3
Тогда J(N; H)
B4S(N )Hl6
+ O
(-
H
l6
B
Vn3 KVn3 l 16
455 518 671 766 086 477 V3
4=
83 691 159 552 000
45568.35, S(N) ^ c2 > 0.
Теорема 5 (З. Х. Рахмонов, Н. Н. Назрубллоев, 2014). Пусть J(N; H) — число представлений N суммою 33 пятых степеней натуральных чисел Xj с условиями
Тогда
J(N; H) =
xj
(Э
B5S(N )H 32
//n4
+O
г
С N5 340+e
H32 \
j = 1,..., 33.
Wn4l)
B
5=
V334
5 • 32!
! Ё ^ 33)
k=0 v 7
k' к ) (33 — 2k)32
S(N) ^ c3 > 0.
П. З. РАхмонов (МГУ имени М. В. Ломоносова, г. Москва, Россия) Обобщённая тернарная проблема Эстермана с почти равными сла-
гаемыми
11
Парвиз Заруллоевич Рахмонов
В 1937 г. Т. Эстерман (T. Estermann) получил асимптотическую формулу для числа решений уравнения pl + p2 + n2 = N, где pl , p2 — простые числа, n
11 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере
журнала статье: П. З. Рахмонов Обобщённая тернарная проблема Эстермана для нецелых
степеней с почти равными слагаемыми (стр. ?? — ??).
— натуральное число. В связи с этим В. Н. Чубариков поставил следующую задачу. Рассмотрим уравнение Эстермана, в котором слагаемое n2 заменено на , где c > 1 — нецелое фиксированное число. Требуется исследовать его при более жёстких условиях на переменные, а именно в случае, когда слагаемые "почты равны". Иными словами, требуется найти асимптотическую формулу для числа решений уравнения
Pi + Р2 + [nc] = N
с дополнительными условиями
N
p - -3
С H.
Г с! N
н - у
С H
при возможно меньшем H = H(N). Эта задача называется обобщённой тернарной проблемой Эстермана для нецелых степеней с почти равными слагаемыми. Основным результатом докладчика является
Теорема. Пусть N достаточно велико, L = ln N, c - нецелое фиксированное число с условиями
c > 4+ L-03, ||c|| ^ 3c(2[c]+1 - 1)L
д-i
Тогда при H ^ N 2сL2 для числа I(N, H) решений указанного уравнения справедлива асимптотическая (формула:
i (nh ) = ^8 +о( -НЦ.
3с c N1-с L2 \N1--cL'3)
В основе доказательства этой теоремы лежат следующие утверждения о поведении ряда "коротких" тригонометрических сумм. Положим
Sc(a; x,y) = ^^ exp(2nia[n^), S(a; x,y) = ^^ A(n) exp (2nian?).
x-y<nCx x-y<nCx
Пусть, далее, x ^ xo, Lx = lnx, A > 1 - произвольное фиксированное число, c - нецелое число с условиями
in L
1.1 < c С (ln Lx - ln (6A ln Lx))/ln 2, llcll ^ (2[c]+1 - 1)(A + 1) Ll,
Lx
и пусть y ^ л/2 cxLx . Тогда при |a| С x1 cy lLA для Sc(a; x,y) справедлива асимптотическая формула вида
sin па ''x
Sc(a; x,y) = -—— I exp (2nia{tc - 0.5)) dt + 0(yLxAl sinna^j,
па x-y
а при x1-cy-1 L/A < \а\ ^ 0.5 - оценка
Sc^; x,y) « yL-A.
Наконец, если y ^ xh/se(Xnx^0'67, \а\ ^ xy-2, то для суммы S(а; x,y) справедливо следующее равенство:
S^; x,y) = exp (2Wx — 0.5y)) + O(ye-(lnlnx)4).
па v v / / v )
Г. В. Фёдоров (Московский государственный университет имени М. В. Ломоносова; Институт системных исследований (ВНИИСИ) РАН, г. Москва, Россия)
О распределении целочисленных случайных величин, связанных одним арифметическим неравенством
Глеб Владимирович Фёдоров
Пусть p(n) — общее количество разбиений числа п на слагаемые, являющиеся натуральными числами, и пусть pk(п) — количество таких разбиений п на k слагаемых.
В 1942 году Ф. К. Аулук, С. Човла и Х. Гупта (F. C. Auluck, S. Chowla, H. Gupta) сформулировали ряд гипотез о значении параметра k = к(п), при котором функция pk (п) принимает асимптотически наибольшее значение при п ^ а также о промежутках монотонности функции pk(п) по параметру
k.
В 1941 г. П. Эрдеш и Дж. Ленер (J. Lehner) доказали, что "нормальное" число слагаемых к для разбиений числа п при п ^ ж асимптотически равно с-1 у/п ln п, где с = пу/2/3. Более точно, они доказали, что при к = с-1 у/п ln п + ^у/п справедливо асимптотическое соотношение
1- Pk (п) ( 2 - 2) P ( ) Л ( )
lim = exp--e 2 , где Pk (п) = > VmW,
п^ж p(n) V с /
-IV/ \ / m=1
причём правая часть последнего равенства представляет собой функцию распределения вероятностей.
В 1946 г. Эрдеш нашёл, что максимальное значение pk(n) достигается при
Точки максимума функции pk (n) представляют интерес для критических состояний в модели бозе-конденсата В. П. Маслова. Если параметр к отвечает числу частиц бозе-газа, а n (с точностью до некоторого множителя) — его энергии, то
где к — количество частиц на i-ом уровне энергии. Требуется определить, при каком значении к число решений системы, интерпретируемое в задаче с бозе-конденсатом в терминах энтропии Хартли (R. V. L. Hartley), будет максимальной, или, что то же, найти наиболее вероятное распределение частиц при заданной энергии. Ответом на вопрос будет в данном случае значение к _ kcr(n).
В. П. Маслов и В. Е. Назайкинский рассмотрели задачу о распределении тождественных частиц по целочисленным уровням энергии при условии ограниченности сверху суммарной энергии n.
При этом предполагалось, что числа заполнения (числа частиц на уровнях энергии) могут принимать либо произвольные целые неотрицательные значения ("бозе-частицы"), либо значения из конечного множества 0,1, 2,... , R (так называемые парастатистики). Например, в последнем случае при R _ 1 говорят, что частицы подчиняются статистике Ферми-Дирака.
Именно, пусть d > 1 — целое число (размерность системы). Каждой точке целочисленной решётки Z+ сопоставляется целое число Nil...id из множества {0,1,... , Ri}, где i _ ii + ... + id. Для заданного положительного M рассматриваются всевозможные наборы {Nil.id}, удовлетворяющие неравенству
В предположении, что все эти наборы являются равновероятными, В. П. Мас-лов и В. Е. Назайкинский вычислили значение N _ N(M), вблизи которого "концентрируется" большинство значений суммы
к _ kcr _ c i \Jn (ln n) + a\Jn + o(\fn), где a
E (ii + ... + id)Nil...id < M.
ii,...,id
£ Nil.i
i1,...,id
а также нашли асимптотическую формулу для энтропии S _ ln N(M) при M —
ленному вектору v G Z+ вида
v
Пусть G — свободный моноид с образующими ш1,... ,ut. Всякому целочис-
kt +
((vM,. . . , Vt, 1), ... , (V1,k, ..., Vt,k)) сопоставляется целое число n = щ1...вк с условием 0 С n С Re, где в = 01 ...Ok, Oj = ш?'* ...ш?'*, j = 1,... ,k.
Далее, пусть
ne = Y1 щ1-вк, в=в1...вк
и пусть П(в) — аналог арифметической функции Q(m), равной числу простых делителей m, взятых с учётом кратности. Для некоторого целого Q ^ 1 положим
NQ = Е ne.
Пусть N(M,Q) - количество всевозможных наборов {щ1...вк}, удовлетворяющих условию
Е Q(e)np С м.
Наконец, для чисел N и А определим количество N(M,Q,N, А) наборов {nв1...вk} таких, что
INq - Nl > А, Yl WW С м.
Задача состоит в том, чтобы при различных условиях на число Q (например, Q = Q(M) — при M — определить число N = N(M; Q) (если оно
существует), для которого найдётся А = A(M,Q, N) = o(N) такое, что при M — вероятность
А) = NMM^
стремится к нулю. (Задача, рассмотренная В. П. Масловым и В. Е. Назайкин-ским, оказывается частным случаем, отвечающим t =1 и Q = M).
Пусть Re = при П(в) С Q, и пусть по заданному M числа b и N
определяются равенствами
M = ^ Q(e)rk (в) N = v Tk (в) M Z^ еьп(в) - 1 , N Z^ еьп(в) - 1 , П (в)СQ П(в)СQ
где Tk (в) — очевидное обобщение арифметической функции делителей. Тогда имеет место
Теорема 1. Для любых фиксированных чисел h > 0 и 0 <е< 0.5 существует постоянная ch(e) > 0 такая, что
P(M,Q,N, А) С cN)
при А = O{N°.5+e).
Допустим теперь, что на величину Nq наложено условие Nq = L, причём N = o(L), L < M. Тогда для подавляющего большинства вариантов имеет место скопление "аномально" большого числа частиц на самом нижнем уровне энергии, в то время как числа частиц на остальных уровнях близки к распределению бозе-газа. В этом случае говорят, что для данной модели имеет место явление, известное как бозе -конденсат. Для асимптотического значения энтропии верна
Теорема 2. Пусть S = ln N (M,Q), и пусть Re С при П(в) С Q. Тогда справедлива следующая асмптотическая формула:
1 e-m(fi)(Rf>+l) s = bM + У Tk (в) + O(ln b).
u{J3)<Q
Доказательства обеих теорем опираются на тождество
E Tk (в )= С^ •
{— П \ '
Q(l3)=Q
В частном случае, когда = для всех в, а параметры k, t и Q удовлетворяют условию
Q+
(Q + kt\ fM\
I kt )= °{q)
уравнение на параметр b принимает вид
mСQ
Следовательно
M =e ^ т+——ЖТ) (1 + O(bQ)).
\ / \ /
b=M m (!+4MQ(Q+tk0) ) = ■
S = ("Г) (шM — - (Q+tk0 + OdnQ))
В. Г. Чирский (Московский государственный университет имени М. В. Ломоносова; Московский педагогический государственный университет, г. Москва, Россия)
Полиадические числа их приложения12
Владимир Григорьевич Чирский
Элементы а кольца G полиадических чисел допускают каноническое представление вида
а = ^^ an n!, где an = 0,1,...,n.
n=0
Полиадические числа были введены, по-видимому, немецким алгебраистом Х. Прюфером (E. P. H. Priifer) в связи с его исследованиями по теории групп. Различным аспектам теории полиадических чисел (как арифметическим, так и топологическим) посвящены работы В. Я. Куликова, А. Г. Постникова, Е. В. Новосёлова, А. А. Фомина и его школы.
Первая часть доклада была посвящена связи полиадических чисел с чисто практической задачей представления (записи) натуральных чисел возможно более экономным способом.
Известно, например, что наряду с g-ичной записью числа N Е N вида
r
N = £ angn, 0 ^ an ^ g - 1,
n=1
рассматривается разложение чисел с использованием двух оснований, т.е. запись в виде суммы слагаемых вида 2a3b, где a,b — неотрицательные целые числа (так называемые разложение DBNS), а также разложение с помощью цепи с двойным основанием, то есть разложение
r
N = Y^ si2ai3bi, где si = ±1, a1 ^ ... ^ ar ^ 0, b1 ^ ... ^ br ^ 0.
i=1
12 Затронутые в докладе вопросы подробно освещены в опубликованной в настоящем номере журнала статье: В. Г. Чирский Арифметические свойства целых полиадических чисел (стр. ?? — ??).
Докладчиком и Р. Ф. Шакировым (2013) было установлено, что длина r разложения DBNS не превосходит
с log2 N
log2 log2 N'
где постоянная с приближённо равна 5.7. Оценок такого рода для разложения с помощью цепи с двойным основанием в настоящее время не получено.
Наряду с указанными, можно рассмотреть так называемое полиадическое (факториальное) разложение числа N вида
r
N _ ^^ an n!, an _ 0,1,...,n.
n=0
Прямым следствием формулы Стирлинга оказывается следующая верхняя оценка длины r такого разложения (В. Г. Чирский, В. Ю. Матвеев, 2013):
/ чч ln N
r ^ (1 + 0(1))-
lnln N
Численный эксперимент показывает, однако, что в среднем разложения с помощью двух оснований оказываются всё же короче полиадического разложения. Однако объём вычислений, связанных с отысканием такого разложения, в полиадическом случае оказывается существенно меньше.
Вторая часть доклада связана со следующей задачей, продиктованной необходимостью построения хороших датчиков псевдослучайных чисел. Предположим, что {an} — периодическая последовательность натуральных чисел. Известно, что из неё можно получить непериодическую последовательность, рассмотрев последовательные цифры числа
an
а _ } — ^ n!
n=0
(это можно доказать несколькими способами: как элементарно, так и с применением метода Зигеля-Шидловского)
Этот способ построения непериодической последовательности имеет существенное неудобство, связанное с необходимостью деления на очень большие числа. В связи с этим возникла идея рассматривать цифры чисел вида
r
ann!, r _ 1, 2, 3,....
n=0
Численный эксперимент показывает, что массивы цифр, образующиеся таким образом, при достаточно большом r успешно проходят многие тесты "на случайность".
Естественным образом возникает вопрос: в каком случае числа такого вида порождают в заданном поле p -адических чисел Qp непериодические последовательности? В такой постановке эта задача оказывается весьма сложной. Иллюстрацией тому служит, например, известная гипотеза Д. Курепы (D. Kurepa, 1971), согласно которой сумма 0! + 1! + 2! + ... + (p — 1)! не делится на p ни для какого простого p, или, что то же,
n!
п=0
(здесь \ ■ \p - норма в Qp). Известно, что
\п!\р = p- Sn, 6
п — sr
p — 1
где sn — сумма цифр в p-ичном разложении п. Поэтому \ап п!\р ^ 0 при п ^ Последнее означает, что ряды
У^апп!
п=0
сходятся в любом поле Qp. Поэтому всякому полиадическому числу а можно поставить в соответствие бесконечномерный вектор а = (а2, аз, а5,..., ар,...), компонента ар которого равна сумме ряда, представляющего а, в Qp.
На множестве таких векторов вводится покомпонентное сложение и умножение. В частности, если P(x) — полином с целыми коэффициентами, то P(а) определяется как вектор с компонентами P(ар).
Число а естественно назвать трансцендентным, если для всякого ненулевого многочлена P вектор P(а) имеет хотя бы одну ненулевую компоненту или, что то же, P(ар) = 0 по крайней мере для одного простого числа p.
Наряду с понятием трансцендентности вводятся ещё два понятия: бесконечной и глобальной трансцендентности. Первое означает, что для всякого ненулевого многочлена P имеется бесконечно много простых p с условием P(аР) = 0. Наконец, полиадическое число а называется глобально трансцендентным, если P(ар) = 0 для любого ненулевого P и для всякого простого числа p.
По аналогии с лиувиллиевыми числами, можно привести примеры глобально алгебраически независимых и трансцендентных чисел. Но значительно больший интерес представляло бы доказательство глобальной трансцендентности полиадических чисел, представляющих собой некоторые аналоги классических постоянных, например, так называемые "числа Эйлера" e (см. ниже). В настоящее время к решению такого рода задач не видно подходов.
Однако найденная автором доклада модификация метода Зигеля-Шидлов-ского позволяет доказывать бесконечную трансцендентность некоторых чисел. Одним из полученных в этом направлении результатов является следующий.
Теорема. Пусть an — периодическая последовательность неотрицательных целых чисел. Тогда полиадическое число вида
+<х
а = ^^ an n!
п=0
является бесконечно трансцендентным. В частности, бесконечно трансцендентным является так называемое "число Эйлера"
+<х
e = ^ n!.
п=0
В. Н. Чубариков (Московский государственный университет имени М. В. Ломоносова, г. Москва, Россия)
О показателях сходимости многомерных аддитивных проблем
Владимир Николаевич Чубариков
Настоящий доклад посвящён свойствам особого интеграла и особого ряда многомерной аддитивной проблемы. Эти величины представляют собой средние значения степени модуля тригонометрического интеграла и полной рациональной тригонометрической суммы.
В 1978 г. Г. И. Архипов, А. А. Карацуба и автор доклада доказали следующие теоремы о показателе сходимости среднего значения модуля однократного тригонометрического интеграла.
Теорема 1. Пусть n ^ 2 -вида
...
■оо J — оо
натуральное число. Тогда интеграл в = в(к; n)
e2ni(anxn+...+aix) dx
2k
dan ... dai
0
Теорема 2. Пусть n > ... > m ^ 1 - натуральные 'числа, m + ... + n < 0.5n(n + 1) + 1. Тогда интеграл 9' = 9'(к; n) вида
9'
e2ni(a„x"+...+amxm)
2k
d^Xn ... d^Xm
сходится при 2к > m + ... + n и расходится при 2к ^ m + ... + n.
Доказательство этих утверждений основано на следующей оценке.
Теорема 3. Пусть n ^ 1 - натуральное число, al,... ,an - вещественные числа, f (x) = anxn + ... + a\x,
H = H (f) = min
a^x^b
( n 1 1/зЛ
"{Е 11 f")(x)| }■
Тогда справедливо неравенство
e2ni(anxn+...+aix) dx
^ min {b — a, 6en H }
В 1952 г. Хуа Ло-кен (Hua Luogeng) нашёл показатель сходимости среднего значения полных рациональных тригонометрических сумм (особого ряда в проблеме Терри). Пусть n ^ 3,
f (x) = — x + ... + — xn, (ai,qi) q1 qn
.. = (an, qn) = 1, q = qi ...qn.
Тогда полная рациональная тригонометрическая сумма S = S(q; f) имеет вид
S
x=l
,2nif (x)
Особым рядом а = а (к; n) в проблеме Терри называется выражение
а
+ ^ qn-1
£•••£ £' ••• Е
qn = 1 qi = 1 a„=0 ai=0
qi-1 CV П 2k
S(q; f)
q
где штрих в знаке суммирования означает, что as пробегает приведённую систему вычетов по модулю qs (s = n,... , 1). Имеет место
Теорема 4. Особый ряд а = а(к; n) сходится при 2к > 0.5n(n + 1) + 2 и расходится при 2к ^ 0.5n(n + 1) + 2.
В 1981 г. автор доклада доказал для случая "выщербленного" многочлена
el \ am m . . an n
f (x) = — xm + ... +--x ,
qm qn
l
0
0
что особый ряд а = а'(k; n) вида
qn-1 qi-1 , . 2к
а' = Е-Е Е-Е,Sqqf
qn = 1 qi = 1 an=0 ai=0 сходится при 2k > m + ... + n +1 и расходится при 2k ^ m + ••• + n +1.
В основе доказательства этих утверждений лежит следующая теорема Хуа Ло -кена.
Теорема 5. Пусть g(x) - .многочлен с целыми коэффициентами, a - корень g(x) по простому модулю p кратности m, и пусть u - наибольшая степень p, делящая все коэффициентыь многочлена h(x) = g(px + a). Тогда число корней многочлена p-uh(x) по модулю p (с учётом кратности) не превосходит т.
Значительный интерес представляют обобщения перечисленных задач на многомерный случай. Так, при выводе асимптотической формулы для количества решений диофантовой системы уравнений вида
2к
Yl ( - 1)j x^j ...xlj = 0, 0 ^ ti,...,tr ^ n, j=1
где n ^ 2, k,r ^ 1 - натуральные числа, P ^ - вещественный параметр, а каждое неизвестное xij принимает все целые значения от 1 до P, возникает задача об оценке показателя сходимости особого ряда а = a(k; n,r). В этом случае особый ряд а имеет вид
q(n,...,n) qCO,...,1)
а = £ ... Е Е ... £
q(n,...,n)=1 q(0,...,1) = 1 a(n,...,n) = 1 a(0,...,1)=1
2к
X
1 q q
r ••• exp{2niF (x1,...,xr)}
q xi=1 xr=1
где
nn
F(x1,...,xr) = J2---Т. a(t1,...,tr) ^ ^r
—' q(t1,... ,tr)
ti=0 tr=o ^ ^ ' r'
1
— многочлен с рациональными коэффициентами, штрих в знаках суммирования означает, что (a(t1,... ,tr),q(t1,... ,tr)) = 1, и, кроме того,
q = П q(t1,...,tr), q(0,..., 0) = 1, a(0,..., 0) = 0.
0^ti,...,tr ^n
Показателем сходимости A = A(n, r) особого ряда а называется точная нижняя грань значений величины 2k, при которых а сходится.
Пусть n ^ 2, r ^ 1, Q ^ 1 - натуральные числа,
nn
G(x1,... ,xr) = ^^ .. .^^b(t1,... ,tr )x1 ...xtrr
ti=0 tr=0
— многочлен с целыми коэффициентами, в совокупности взаимно простыми с Q, и пусть
5 (Q) = 5 (Q; G) = £ ... £ exJ 2^^G(X1,Q.,Xr)
ж1=0 Xr=0 ^ Q
Тогда справедлива оценка
\S(Q; G)| ^ e7nr3rv(Q)(r(Q))r-1Qr-1/n
Пользуясь этой оценкой, автор доклада установил, что особый ряд сходится при 2k > nm, где m = (n + 1)r, и расходится при
nn
2kr ^ rT + 1, T = ^ ...^2 min(t1,...,tr) = ^ lr.
ti =0 tr=0 1=1
Для суммы минимумов T докладчиком найдено явное выражение вида
r+1
r + 1
T = ^ Br+1-s(n +1)S
s=1 V '
где Bi — числа Бернулли, следствием которого оказывается асимптотическое равенство
T (n +1)r+1 _ +
r + 1
Таким образом, для величины Л получаются двусторонние оценки вида
(n + 1)r+1
n(n + 1)r > Л > T
r + 1
Другим многомерным аналогом упомянутых в начале доклада задач является проблема отыскания показателя сходимости особого многомерного интеграла.
Пусть n ^ 2, r ^ 2, и пусть
nn
F (x1,...,xr) = Y ...^2&(t1,...,tr )x^ ...Xtrr, a(0,..., 0) = 0,
tl=0 tr=0
r^J
— многочлен от r переменных с вещественными коэффициентами. Пусть, далее, a = {a(t1,...,tr) \ (t1,.. .,tr) = (0,... , 0)} Е Rm-1, m = (n + 1)r — упорядоченный набор коэффициентов F, и пусть
Ir (a) = [ ... f e2mF (X1--Xr) dx1... dxr. 00
Показателем сходимости Л = Л(п,г) особого интеграла
9 = 9(n,r; k) = ... \lr (a)|2fc da 00
называется точная нижняя грань значений 2k, для которых 9 сходится. Пользуясь оценкой
I(a)1 ^ min {1, 32ra-1/n lnr-1(a + 2)},
в которой a — максимум модулей коэффициентов многочлена F, докладчик доказал, что Л < nm = n(n + 1)r. Кроме того, автор доклада показал, что для величины Л имеет место нижняя оценка, аналогичная нижней оценке показателя сходимости Л особого ряда, а именно:
Л > T - (n +1)r+1.
r+1
В заключение докладчик особо подчеркнул, что трудности при оценках показателей сходимости особых интегралов в многомерных аддитивных проблемах связаны, помимо прочего, с тем, что в настоящее время не известно какого-либо многомерного аналога упомянутой выше теоремы 3.
И.Д. Шкредов (Математический институт им. В. А. Стеклова РАН; Московский государственный университет имени М. В. Ломоносова; Институт проблем передачи информации им. А. А. Харкевича РАН, г. Москва, Россия )
Теория сумм произведений множеств и тригонометрические суммы
Илья Дмитриевич Шкредов
Доклад посвящён феномену "сумм произведений" из аддитивной комбинаторики, а также его приложениям к задачам теории чисел.
Пусть R — кольцо с операциями сложения (+) и умножения (*), A — конечное подмножество элементов R. Образуем множества
A + A = |a1 + a2 : a1,a2 E A} и A * A = |a1 * a2 : a1,a2 E A}.
Спрашивается, насколько мощности \A + A|, \A * A\ больше мощности |A| множества A?
Если R = Z, A — арифметическая прогрессия, то от сложения мощность вырастет лишь в 2 раза. Аналогично, если A — геометрическая прогрессия, то умножение также увеличит мощность в 2 раза. Существует ли такое множество A, которое не слишком увеличивается как от сложения, так и от умножения?
Феномен сумм произведений состоит, грубо говоря, в том, что такое возможно лишь в исключительном случае: если предположить, что
max{\A + A\,\A * A\} < \A\
1+е
для сколь угодно малого фиксированного е, то множество A имеет "большое" пересечение с некоторым подкольцом в R (очевидно, подкольца от операций сложения и умножения "не вырастают"). Это естественное алгебраическое препятствие оказывается единственным.
В первой части доклада автор дал краткий обзор результатов для случая R = R. Хотя первые оценки здесь были получены K. Фордом (K. Ford) и М. Б. Натансоном (M. B. Nathanson), подход, дающий "правильное понимание" такого рода задач, был предложен Г. Элекешем (G. Elekes, 1997). Он доказал, что от "удвоения", множество A вырастает очень сильно:
max{\A + A\,\A * A\} » \A\5/4
(эта оценка верна безо всяких оговорок, поскольку любое подкольцо в R является бесконечным, а A — конечное множество) Главное, Элекеш увидел, что эта задача на самом деле — геометрическая. Геометрический подход в дальнейшем разрабатывался многими авторами и сейчас наилучший результат здесь принадлежит Дж. Шоймоши (J. Solymosi, 2008): показатель 55 он заменил на
4 - е.
Существует гипотеза, принадлежащая П. Эрдешу и Е. Семереди (E. Szeme-redi), согласно которой
max{\A + A\,\A * A\} » \A\
2е
для любого сколь угодно малого е > 0. Это неравенство очень близко к наилучшему возможному, поскольку очевидно, что этот максимум не превосходит \A\2.
В чём состоял геометрический подход Элекеша? Предположим, что имеется семейство прямых L на плоскости, причём любые две прямые семейства имеют
ровно одну общую точку. Обозначим множество точек пересечения прямых из L через P и определим величину I = I(P, L) как "число инцинденций", т.е. число пар (p, l), где p £ P — точка, l £ L — прямая, причём p £ l. Тривиальная оценка числа I имеет вид: I ^ \P\ ■ \L\. Однако замечательная теорема Семереди-Троттера (W.T. Trotter) утверждает, что на самом деле верна гораздо более точная оценка
I < (\P\ ■ |L|)2/3 + \P\ + \L\.
Слагаемые \P\, \L\, как правило, малы по сравнению с первым членом, однако не могут быть опущены. Они отвечают "вырожденным" случаям: ситуации, когда, грубо говоря, все точки лежат на одной прямой, и двойственной ей ситуации, когда все прямые проходят через одну точку.
Имея конечное множество A С R, Элекеш рассмотрел в качестве множества точек множество P = (A + A) х (A * A), а в качестве множества прямых — семейство L = {la,b}, где la,b — прямая вида {(x,y) : y = a(x — b)}, a,b £ A. При фиксированных a и b такая прямая содержит все точки из P вида (b + c, ac), где c пробегает всё множество A. Следовательно, I ^ \A\3. С другой стороны, из теоремы Семереди-Троттера следуют оценки
\A\3 < (\P\ ■ |L|)2/3 < \A + A\2/3 ■ \A * A\2/3 ■ \A\4/3,
откуда и получается приведённая выше оценка Элекеша.
Этот результат обобщался в различных направлениях. Так, Элекеш, Натансон и Ружа (I. Z. Rusza) доказали (1995 г.), что
max{\A + A\, \f (A) + f (A)\} > \A\5/4,
где f — произвольная выпуклая (или вогнутая) функция. Эта теорема допускает небольшое уточнение:
Теорема 1 (L. Li, O. Roche-Newton, 2012; И. Д. Шкредов, 2014). Пусть A С R. Тогда для любого сколь угодно .малого £ > 0
г } 5,5
max{\A + A\,\f(A) + f(A)\} > \A\4 + 396-£.
Гипотеза Эрдеша-Семереди не доказана даже в том случае, когда известно, что множество A * A не очень велико. Наилучшие в настоящее время оценки даются следующей теоремой:
Теорема 2 (L. Li, O. Roche-Newton, 2012; И. Д. Шкредов, 2014). Пусть A С R, и пусть \A * A\ ^ M\A\. Тогда
58 8
\A + A\ >м \A\37\A — A\ >m \A\5-£.
Ещё одна важная характеристика множества A — аддитивная энергия E2(A). Она равна числу решений уравнения
a1 — a1 = a2 — a2
в числах a1; a1, a2, a'2 E A. Более общо, для двух множеств A и B аддитивную энергию E2(A, B) полагают равной числу решений уравнения
a1 — b1 = a2 — b2, a1 ,a2 E A, b1,b2 E B.
Аддитивная энергия связана с суммой (разностью) множеств неравенством Коши-Буняковского:
\A\4 ^ E2(A)\A ± A\.
Если удаётся что-то сказать о величине E2(A), то это автоматически приводит к соответствующему результату для суммы (разности) множеств. Имеет место
Теорема 3 (И. Д. Шкредов, 2013). Пусть A с R, и пусть \A * A\ ^ M\A\. Тогда
14 32
E2(A) < M13 \A\ 13+е.
А. Балогу (A. Balog, 2011) принадлежит следующий вариант гипотезы Эр-деша-Семереди: для любого конечного множества A с R справедливы оценки
\A * (A + A)\ > \A\2-e, \A * A + A\ > \A\2-e.
Применение теоремы Семереди-Троттера позволяет поставить в правой части величину \A\3/2. Это результат в настоящее время удалось уточнить.
Теорема 4 (B. Murphy, O. Roche-Newton, И. Д. Шкредов, 2014). Справедлива оценка
3 , 1
\A * (A + A)\ > \A\2+178.
Подобного улучшения можно добиться и в двойственной задаче: Теорема 5 (И. Д. Шкредов, 2015) Справедлива оценка
\A * A + A\ » \A\2+c,
где c> 0 — некоторая положительная постоянная.
Здесь же получаются и новые оценки для мощностей множеств A * A + A * A, A : A + A : A и др.
Вторая часть доклада посвящена случаю, когда R = Fp. В конечном поле Fp нет нетривиальных подколец, и поэтому из рассмотрения необходимо заранее исключить случай, когда A "близко" к Fp. Это обеспечивается следующим
требованием: |A| < p1 s. Для таких множеств A уже имеет место феномен сумм произведений. Более точно, справедлива
Теорема 6. (J. Bourgain, N.H. Katz, Т. Tao, 2004; J. Bourgain, А. А. Гли-бичук, С. В. Конягин, 2006). Для любого фиксированного e > 0 существует, 6 = 6(e) > 0 такое, что
max{|A + Al, IA * Al} |A|1+<5.
Если мощность A достаточно велика, |A| ^ p2/3, то
max{|A + Al A * A^ > A^p1^,
причём эта оценка является точной (М. З. Гараев, 2007, 2008). Поэтому наибольший интерес представляют малые значения |A|. В случае, когда |A| ^ yjp, имеются оценки максимума с явно вычисленными значениями 6: 1 (М. З. Гараев), ^ (Н. Кац, Ч.-И. Шен (C.-Y. Shen)), 1 (Ж. Бургейн, М. З. Гараев). Наилучший до последнего времени результат принадлежал Рудневу (M. Rudnev, 2011): 6 = 1 -e.
Аналог гипотезы Эрдеша-Семереди для конечного поля формулируется следующим образом: если A С Fp, |A| < y/p, то
max{ A + Al A * AD » A
2-s
Пусть A, B С Fp. Аддитивная энергия множеств A и B может быть выражена через тригонометрические суммы:
p
E2(A,B ) = p]T
r=1 aeA
Ee2"f E
e ьев
Вместе с тем, для "среднего значения" аддитивной энергии имеет место оценка, принадлежащая Ж. Бургейну, А. А. Глибичуку и С. В. Конягину (2006):
Y,E2(A,bA) « Amp-
ьев
Здесь A,B С Fp удовлетворяют условию |A|, |B| « p1-s, а 6 = 6(e) > 0 — некоторая положительная постоянная.
Поэтому естественно ожидать, что оценки такого рода позволят получить и оценки для тригонометрических сумм. Это удалось сделать Ж. Бургейну, С. В. Конягину и А. А. Глибичуку (2006). В частности, им удалось показать, что в случае, когда Г — мультипликативная подгруппа Fp с условием |Г| ^ ps, то тригонометрическая сумма по этой подгруппе оценивается уже со степенным понижением:
y^e2mf « |r|p-, 6 = 6(e) > 0.
аег
Ранее аналитическими методами подобные оценки удавалось получать лишь в случае, когда \Г\ ^ p1/4+e. Этот результат находит многочисленные приложения в криптографии, теоретической информатике, теории динамических систем и теории чисел.
Основные результаты автора доклада основаны на следующей теореме:
Теорема 7 (М. Rudnev). Пусть P — множество точек (в R, C или Fp), П — .множество плоскостей. Пусть, далее, kP — максимальное число точек P, лежащих на одной прямой, образованной пересечением каких-либо двух плоскостей из П, kn — максимальное число плоскостей из П, имеющих общую прямую. Тогда для числа I = I(P, П) инцинденций между точками и плоскостями справедлива следующая оценка:
I « (\P\ • \П\)3/4 + kp\П\ + kn\P\.
Вот несколько следствий этого результата.
Теорема 8 (O. Roche-Newton, M. Rudnev, И. Д. Шкредов, 2014). Если A с Fp, \A\ <p5/8, то
max{\A + A\,\A * A\} > \A\6/5.
Теорема 9 (O. Roche-Newton, M. Rudnev, И. Д. Шкредов, 2014). Пусть g — первообразный корень по модулю p, X,Y < p2/3. Тогда для любого a, (a,p) = 1, справедлива оценка
^^exp « (XY)13/16p1/8.
Теорема 10 (O. Roche-Newton, M. Rudnev, И. Д. Шкредов, 2014). Пусть g — первообразный корень по модулю p, N — целое число. Тогда для любого a, (a, p) = 1, справедлива оценка
^ exp (2™^] « min {p1/8N5/8,p1/4N3/8}.
Несложно проверить, что последняя оценка влечёт равномерное распределение величин agn, 1 ^ n ^ N , по модулю p уже при N ^ p1/3+e. Это является усилением предыдущего результата С. В. Конягина и И. Е. Шпарлинского (N ^ p1/2-c), c ~ 0.0005. Следует отметить, что классическими аналитическими методами аналогичное утверждение получалось лишь в случае N ^ p1/2+e.
4. Заключение
На последней сессии второй "Конференции памяти Анатолия Алексеевича Карацубы по теории чисел и приложениям" было предложено утвердить эту конференцию в качестве ежегодного зимнего мероприятия и, кроме того, образовать ежегодную летнюю конференцию по теории чисел, посвящённую юбилеям выдающихся российских теоретико -числовиков.
Участники конференции поддержали это предложение, реализация которого должна способствовать привлечению внимания как специалистов, так студентов и аспирантов к такой важнейшей области математики, как теория чисел. Усилению московской школы по аналитической теории чисел должна также способствовать работа давно и успешно функционирующего семинара учеников А. А. Карацубы профессоров В. Н. Чубарикова и С. А. Гриценко.
Школа аналитической теории чисел А. А. Карацубы, ведущая начало от таких классиков науки как К. Ф. Гаусс и К. Вейерштрасс, и имеющая предшественников в лице А. О. Гельфонда, Н. М. Коробова и патриарха отечественной науки И. М. Виноградова, продолжает свою жизнь и развитие в Математическом институте им. В. А. Стеклова РАН и на Механико-математическом факультете МГУ имени М. В. Ломоносова.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Н. В. Бударина, В. И. Берник, Х. О'Доннелл Как зависят дискриминанты целочисленных многочленов от взаимного расположения корней? // Чебы-шевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
2. О. А. Горкуша Совместное распределение примитивных целых точек в замкнутой области // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
3. Н. М. Добровольский О современных проблемах теории гиперболической дзета-функции решёток // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
4. Д. В. Коледа Об асимптотике распределения алгебраических чисел при возрастании их высот // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? -??.
5. А. Лауринчикас, Д. Корсакене, Д. Шяучюнас Совместная дискретная универсальность L-функций Дирихле II // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
6. Р. Мацайтене Совместная универсальность L-функций класса Сельберга и дзета-функций Гурвица с периодическими коэффициентами // Чебышев-ский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
7. З. Х. Рахмонов, Н. Н. Назрубллоев, А. О. Рахимов Короткие суммы Г. Вейля и их приложения // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
8. П. З. Рахмонов Обобщенная тернарная проблема Эстермана для нецелых степеней с почти равными слагаемыми // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? — ??).
9. А. В. Устинов О распределении точек целочисленной решетки // Дальневосточный математический журнал. 2009. Т. 9, №1-2. С. 176-181.
10. А. В. Устинов О числе решений сравнения xy = l(modq) под графиком дважды непрерывно дифференцируемой функции // Алгебра и анализ. 2008. Т. 20, № 5. С. 186-216.
11. В. Г. Чирский Арифметические свойства целых полиадических чисел // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? — ??).
12. Boca F. P., Cobeli C., Zaharescu A. Distribution of lattice points visible from the origin // Comm. Math. Phys. 2000. Vol. 20. P. 433-470.
13. N. G. Moshchevitin On Minkowski diagonal continued fraction // Anal. Probab. Methods Nubmer Theory, Proceedings of the conference in Palanga, Sept. 2011, Anal. Probab. Methods Number Theory, pp. 193-202 (2012). E. Manstavicius et al. (Eds), preptint is available at arXiv:1202.4622v2 (2012).
REFERENCES
1. Н. В. Бударина, В. И. Берник, Х. О'Доннелл Как зависят дискриминанты целочисленных многочленов от взаимного расположения корней? // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
2. О. А. Горкуша Совместное распределение примитивных целых точек в замкнутой области // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
3. Н. М. Добровольский О современных проблемах теории гиперболической дзета-функции решёток // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
4. Д. В. Коледа Об асимптотике распределения алгебраических чисел при возрастании их высот // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? -??.
5. А. Лауринчикас, Д. Корсакене, Д. Шяучюнас Совместная дискретная универсальность L-функций Дирихле II // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
6. Р. Мацайтене Совместная универсальность L-функций класса Сельберга и дзета-функций Гурвица с периодическими коэффициентами // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
7. З. Х. Рахмонов, Н. Н. Назрубллоев, А. О. Рахимов Короткие суммы Г. Вейля и их приложения // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? - ??.
8. П. З. Рахмонов Обобщенная тернарная проблема Эстермана для нецелых степеней с почти равными слагаемыми // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? — ??).
9. Ustinov, А. 2009, "On the distribution of integer points." , Far Eastern Mathematical Journal, vol. 9, №1-2, Khabarovsk, pp. 176-181.
10. Ustinov, А., 2009, "On the number of solutions of the congruence xy = l(modq)." , St. Petersburg Mathematical Journal, vol. 20, no. 5, St. Petersburg, pp. 813-836.
11. В. Г. Чирский Арифметические свойства целых полиадических чисел // Чебышевский сборник. 2015. Т. 16, вып. 1. С. ?? — ??).
12. Boca, F. P., Cobeli, C. & Zaharescu, A. 2000, "Distribution of lattice points visible from the origin." , Comm. Math. Phys., vol. 20, pp. 433-470.
13. Moshchevitin, N. G. 2012, "On Minkowski diagonal continued fraction" , Anal. Probab. Methods Nubmer Theory, Proceedings of the conference in Palanga, Sept. 2011, Anal. Probab. Methods Number Theory, pp. 193-202 (2012). E. Manstavicius et al. (Eds), preptint is available at arXiv:1202.4622v2 (2012).
Вычислительный центр РАН,
Математический институт им. В. А. Стеклова РАН,
Московский государственный университет имени М. В. Ломоносова.
Получено 21.02.2015 г.
