CC BY
11
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 17. Выпуск 3.
УДК 511.31
О РАСПРЕДЕЛЕНИИ ЭЛЕМЕНТОВ ПОЛУГРУПП НАТУРАЛЬНЫХ ЧИСЕЛ II.1
Ю. Н. Штейников (г. Москва)
Аннотация
Пусть имеется подмножество А натуральных чисел из отрезка [1, ц] со следующим условием. Если элементы а, Ь из А и аЬ те превосходит ц, то аЬ принадлежит А. Пусть также известно, что |А| < V- некоторое фиксированное число не превосходящее 1. В данной работе ставится вопрос о числе элементов А на отрезке дайны существенно меньше чем ц, — на отрезке [1,ж], где ж существенно меньше чем произвольная степень ц.
А
ограничениях на |А| и ж, уже получены определенные результаты. Так, из работы Ж. Бургейна, С. Конягина и И. Шпарлинского вытекают нетривиальные оценки в случае А
вычетов по простому модулю.
Исходная задача обобщает ее на случай полугрупп вместо мультипликативных подгрупп. Отметим, что имеются вполне определенные результаты по этой задаче. Основной результат данной работы — выведена новая оценка на число элементов полугруппы натуральных чисел заданном коротком интервале от 1 до ж. Полученные оценки содержательны, когда ж существенно меньше чем любая степень ц. Более точно, пусть А — наша полугруппа, д := ^ ^ ^, ж = цо(1) при ц стремящемся к бесконечности. Тогда число элементов А в интервале (1, ж) не превосходит С(д, V) — некоторая яв-
но выписываемая положительная функция. Предыдущие результаты относились к оценке функции С(д, V), найденная новая оценка для С(д, V) улучшает предыдущий результат для некоторой области параметров (д, V).
При доказательстве существенно используются свойства распределения гладких чисел, чисел с большой гладкой частью, оценки на число делителей фиксированно числа в заданном диапазоне. В работе используются некоторые результаты Ж. Бургейна, С. Конягина и И. Шпарлинского.
Ключевые слова: полугруппа, распределение, гладкие числа, делимость, делители.
Библиография: 15 названий.
ON THE DISTRIBUTION OF ELEMENTS SEMIGROUPS OF NATURAL NUMBERS II.
Yu. N. Shteinikov (Moscow) Abstract
Suppose there is subset A of positive integers from the interval [1, q] with the following condition. If the elements a, 6 of A and a6 is at most q, then a6 belongs to A. In additition let also know that |A| < qv, v - is some fixed number, not exceeding 1. In this paper we consider
A
less than q, - on the interval [1,ж], where ж is much smaller than an arbitrary power of q.
In this task, in the case when A - is a special set and with certain restrictions on |A| and x, there exists some results. So, from the work of J. Bourgain, S. Konyagin and I. Shparlinskii there
1Работа выполнена при поддержке гранта РФФИ № 14-01-00332
are nontrivial estimates in the case when A - a multiplicative subgroup of invertible elements of the residue ring modulo prime.
The initial problem generalize it to the case of semigroups instead of multiplicative subgroups. It should be noted that there are quite definite results on this task. The main result of this work is to derived a new estimate on the number of elements of the semigroup of natural numbers given short interval from 1 to x. These estimates are meaningful when x is much smaller than any power of q. More precisely, let A - our semigroup, g := X, x = qo(1) for q tends to infinity. Then the number of elements of A in the interval (1, x) does not exceed x1-C(s'v)+o(1), where C(g, v) - some clearly written positive function. Previous result relates to the estimation of function C(g, v), a new estimate for the C(g, v) improves the previous result for a certain range of parameters (g, v).
We essentially use in the proof the distribution of smooth numbers, the numbers with a large part of the smooth part, estimates on the number of divisors of a fixed number in a given interval. We use some results of J. Bourgain, S. Konyagin and I. Shparlinski.
Keywords: semigroup, distribution, smooth numbers, divisibility, divisors.
Bibliography: 15 titles.
1. Введение
Пусть A С N — множество, замкнутое относительно операции умножения, то есть если ai,a2 £ A, то aia2 £ A. Такие множества A называют полугруппами. В частности, можно взять множество A = {n £ N : n £ G (mod m)}, где m £ N а G — мультипликативная подгруппа группы Ъ*т-
Нас будет интересовать случай, когда для некоторого натурального q и 0 < v < 1 справедливо неравенство:
|{n £ A;n < q}| < qv. (1)
Пусть для x > 0 определим :
f (x) = |A П [1,x]|.
n
жат подгруппе порядка ¿группы Z*. Эти оценки содержательны, когда t мало по сравнению с p. Из нашей работы вытекают оценки в случае, когда t растет как степень p, а n мало. В
работе [6] были уже получены нетривиальные верхние оценки на f (n), когда n растет мед-
q
вариант теоремы, доказанной в [6].
Приведем утверждение, доказанное в [6]. A
и удовлетворяет условию (1) для, некоторого фиксированного v £ (0,1) и зада но x. Если
y := loglogxqи logx = o(logq)' mo
f (x) < x1-max{LYM>+o(1), q ^ (2)
где
А=к_\2 „, м _ (1-v)27 „„„- / 2 „ Л/Г _ о _ 1 0„„„, . 2
Ьу = 7 (-, )2 и = 7 .если 7 < о^ иМ, = 2 - V - 1 .если 7 > о^.
7 1-7^(1-7)2+7(1-^Г 4(1-7^ I - 3-и 1 Г I 3-и
Основной результат этой статьи — доказать следующий более сильный вариант теоремы
1.
Теорема 2. Пусть А — множество, замкнутое относительно операции умножения и удовлетворяет условию (1) для, некоторого фиксированного V е (0,1) и зада но х. Если
^ := ЙЙ! и 1о§х = °(1°§то
/(х) < х1-с^+о(1),з (3)
О РАСПРЕДЕЛЕНИИ ЭЛЕМЕНТОВ ПОЛУГРУПП НАТУРАЛЬНЫХ ЧИСЕЛ II. 199
где _
С7 = 7(7-1+^7-1^« 7 = 1 « С| := Иш^ 1 С7 = 2(1 - V)2.
Схема доказательства теоремы 2 совпадает со схемой доказательства теоремы 1. Но при этом в доказательстве будем пользоваться одной более точной оценкой, которая и приводит к результату теоремы 2.
2. Вспомогательные утверждения
Введем некоторые определения и обозначения аналогичные в статье [6]. Нам потребуются оценки для множеств чисел, у которых все простые делители малы. Для натурального n пусть P+(n) обозначает наибольший простой делитель числа n, P+(1) = 1. Для x ^ y ^ 2 полагаем:
#x,y) = |{n < x : P+(n) < y}| (4)
Известна следующая теорема. Ее формулировку можно найти в работе [1]. Теорема А [1]. Пусть x > y > 2,v = jogf Тогда для любого е > 0 па множесmee v < y1-имеет, место неравенство:
■0(x, y) = XV-v(1+o(1)),
если v ^ то.
Предположим, что задано целое y. Каждое натуральное n представим в виде n = nin2, так что если простое p делит щ, то p < y, а если делит n2, то p > y. Пусть также даны x, z. Определим множество:
N(x, y, z) = {n < x : n1 > z}.
Мы хотим оценить сверху количество элементов множества N(x,y,z). На довольно большой области изменения x, y, z была получена ассимптотика N(x,y,z) в работе [4]. Следуя схеме, предложенной в [4] в работе [6] был получен более грубый результат, но при еще слабых
x, y, z.
Лемма 1. Пусть е > 0 фиксировано, q,x — достаточно большие. Пусть положительные вещественные а, в, Y := íOgiOg°q удовлетворяют условиям
в 1
в < 1, Y < а(1 - е), е < - < -
а е
и также
y := (log q)a > 2, z := xe.
Если ¡OggOg q ^ то щи q ^ то, то
|N(x,y,z)| < x 1-eY+o(1). (5)
Нам также понадобится утверждение, доказанное в [6]. Оно приводится ниже. Лемма 2. Количество делителей числа, п < ^^ ^^ ^^^тсходящих г, не превосходит, ^(г, (1 + о(1)) 1о§д),д ^то..
Теперь все готово для доказательства теоремы 2.
3. Доказательство теоремы 2
Пусть y := lOglogq Введем положительные вещественные параметры а > 1,в; удовлетворяющие условию леммы 1 для некоторого фиксированного е > 0 и соответственно y = (log q)a, z = xe. Каждое натуральное n представим в виде n = щп2, так что если простое p делит щ, то p < y, а если p делит n2, то p > y. Разделим элементы множества A П [1, x] па два подмножества A' и A'', A П [1,x] = A' U A". По определению полагаем
A" := {n £ A П [1,x] : n1 > z}, A' := {A П [1,x]}\ A''. Совершенно ясно, что f (x) = |A'| + |A''|.
A''
|A''| < N(x,y,z) < x1-^+o(1),q ^те. (6)
11)Теперь перейдем к оценке |A'|. Для этого рассмотрим множество B =: {m1... mr}, где r = [lOJX] = [(logq)1-Y] и m1,...,mr £ A'. Из определения r следует, что если m £ B, то m < q. Так как произведение чисел из A' является числом из A то легко видеть, что |B| < |A П [1, q] | < qv. Теперь оценим с низу |B |. Пусть каждый mi £ A' по аналогии представим в виде m^ = m1;im2)i, так что если простое p делит m1;i, то p < y, а если p делит m2;i, то p > y. Определим из равенства N1, N2 : m = m1... mr = m1;1... m1>rm2>1... m2,r = N1N2, где N1 = m1;1... m1>r и N2 = m2>1... m2,r.
m£B
r A'
Пусть m = N1N2, оценим количество представлений для N2 в виде произведения r чисел m2,1... m2,r , N2 = m2,1 . ..m2,r = p1. ..ps ;где в се pi > y и являются простыми числами.
Видим, что s < ['OggN2 ] < аlOOglOgq.
Каждый делитель pi, i = 1,..., s может входить в разложение некоторого m2,j, j = 1,..., r.
1-Y '
Значит количество представлений числа N2 не превосходит rs < N2 а .
Теперь оценим количество представлений для фиксированного N1 в гаде N1 = m^ ... m1,r, когда m1,i £ A' Покажем, что число таких представлений числа N1 не превосходит N1-7qo(1), q ^ те. Возьмем и зафиксируем достаточно большое натуральное число J. Введем по определению интервалы Д^ := [z J, zJ), j £ [1, J]. Каждый го множителей m^i, i = 1,..., r попадает в один из интервалов Д^ ,j = 1,..., J. Число способов распределения r чисел m1,i,i = 1,..., r по интервалам Д^ не превосходит Jr = qo(1) ,q ^ те. Пусть теперь каждый m1,i, i = 1,..., r относится к какому-то из Д^, j = 1,..., J. Если, например m^ £ Д/, j
то m1,1 < z j и m1,1 является делителем числа N1 < q. По лемме 2 количество таких m^ не j j
превосходит ^(z J, (1 + o(1)) log q). Пользуясь теоремой А, получаем ^(z J, (1 + o(1)) log q) =
z j (1-Y+o(1)), q
Таким образом, если m1;i £ Д^- то число число возможностей для числа m1,i не превосходит z J (1-Y+o(1)) и
zj(1-Y+o(1)) < z(J +1 )(1-T+°(1)) < m1-Y+o(1)z 1 (1-T+°(1)). (7)
Поэтому если фиксировано, что каждый из m1,i,i = 1,...,r принадлежит какому-то из Д^-, то число представлений числа N1 в виде произведения чисел m^i не превосходит N Y+o(1)qJ(1-7+o(1)). Умножив эту величину на число способов распределения чисел m^i по интервалам Д/, которое равно qo(1) получим верхнюю оценку на искомое число представлений N1 в виде произведения m1,1... m1,r. Оно не превосходит N-j1 Y+o(1)qв(1-Y)+o(1). в силу
Т Дт1 —Y+o(1) o(1)
произвольности J эта величина есть q0(1), q ^ те.
N1 N2
m1,1... m1,r и соответственно m.2,1... m2,r- Число же представлений элемента m £ B в виде произведения m1 ... mr, где mi £ A' не превосходит произведения числа представлений для
О РАСПРЕДЕЛЕНИИ ЭЛЕМЕНТОВ ПОЛУГРУПП НАТУРАЛЬНЫХ ЧИСЕЛ II. 201
N1 и N2, то есть N 7N2 а . При а > 1 наибольшее значение, которое эта величина может принимать равно ц(1-7)(в+ ов)+°(1).
Отсюда получается и нижняя оценка для В :
|АГ <|В|< ^. (8)
q(1-7)(0+^)+°(!)
Отсюда следует оценка для |A'|:
jA'j < xv+(i-Y)(e+ ^)+°(!).
Вспоминаем, что
ia"I< ж1-а+о(1).
Оценка для f (ж) складывается из оценок для jA'j и |A"|. Теперь осталось выбрать параметры а > 1, в для оптимизации финальной оценки. Если y = 2 то возьмем следующие параметры
в := Y-1+VV-2yv+v , а := 1 .Если y = 2 то в = а = 1 - v. Подставляя такие параметры, мы завершаем доказательство теоремы 2.
4. Заключение
Получим нижние оценки на величину f (ж) когда ж = exp{(logq)Y}.
Возьмем любое число 0 < v < 1 и положим Aq — полугруппа y — гладких чисел, где
У = (log q)A,
где Л = i_ где е — малое число.
Пользуясь теоремой [А] о количестве гладких чисел при при q > q(v, е) получаем,
|Aq f|[1,q]| < qv.
Тогда выполнено неравенство (1).
Пользуясь вновь теоремой [А], получаем
|Aq f|[1,e(logq)Y]| = x1-Y+YV-£'Y+o(1), q ^ то,
где е' > 0 — некоторое малое число.
Поэтому верхняя оценка для функции C7 с точностью до слагаемых малых порядков такая Y — Yv. Оценка, которая получена в теореме 2 для функции C7 хуже чем эта. Возможно именно она и является правильной.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Hildebrand A., Tenenbaum G. Integers without large prime factors //J Theorie des Nombres de Bordeaux. 1993. Vol 5, № 2. P. 411-484.
2. Прахар К. Распределение простых чисел. М.: Мир, 1967, 512 с.
3. Bourgain J., Konvagin S., Shparlinski I. Distribution of elements of cosets of small subgroups and applications // International Math Research Notices. 2012. Vol 201, №9. P. 1968-2009.
4. Banks W., Shparlinski I. Integers with a large smooth divisor // Electronic journal of combinatorial number theory. 2007 Vol. 7.
5. Tenenbaum G. Introduction to analytic and probabilistic number theory. Cambridge Universit Press, Cambridge, UK, 1995.
6. Штейников Ю.Н. О распределении элементов полугрупп натуральных чисел // Чебышев-ский сборник. 2012. Т. 13, № 3. С. 91-99.
7. Малыхин Ю. В. Оценки тригонометрических сумм по модулю p2 // Фундаментальная и прикладная математика. 2005. Т. 11, № 6. С. 81-94.
8. Малыхин Ю. В. Оценки тригонометрических сумм по модулю pr // Математические заметки. 2006. Т. 80, № 5, С. 793-796.
9. Bourgain J., Konvagin S., Shparlinski I. Product sets of rationals, multiplicative translates of subgroups in residue rings and fixed points of the discrete logarithm // Int. Math Research Notices. 2008. rnn 090, P. 1-29.
10. Bourgain J., Ford K. , Konvagin S., Shparlinski I. On the divisibility of Fermat Quotients // Michigan J. Math. 2010. Vol.59, № 2, P. 313-328.
11. Bourgain J., Konvagin S. Estimates for the number of sums and products and for exponential sums over subgroups in fields of prime order // C. R. Math. Acad. Sci. Paris, 2003. Vol. Vol.337, № 2, P. 75-80.
12. Heath-Brown D. R., Konvagin S. New bounds for Gauss sums derived from kth powers, and for Heilbronn's exponential sum // Q. J. Math., 2000. Vol. 51, №2, P. 221-235.
13. Konvagin S., Shparlinski I. Character sums with exponential functions. Cambridge University Press, Cambridge, 1999.
14. Shkredov I. On Heilbronn's exponential sum // Q. J. Math., 2013. Vol. 64, № 4, P. 1221-1230.
15. Zhou B. A note on exponential sums over subgroups of Zp2 and their applications //J. Number Theory, 2010. Vol. 130, № 11, P. 2467-2479.
REFERENCES
1. Hildebrand, A., k, Tenenbaum, G. 1993, "Integers without large prime factors J Theorie des Nombres de Bordeaux, 5, 2. pp. 411-484.
2. Prachar, K. 1967, "Raspredelenie prostich chisel (Russian) [Distribution of prime numbers] Mir, Moscow, pp. 1-512.
3. Bourgain, J., Konvagin. S., k, Shparlinski. I. 2012, "Distribution of elements of cosets of small subgroups and applications "Int. Math Research Notices, 201, 9. pp. 1968-2009.
4. Banks, W., k, Shparlinski, I. 2007, "Integers with a large smooth divisor Electronic journal of combinatorial number theory, 7.
5. Tenenbaum, G. 1995, "Introduction to analytic and probabilistic number theory Cambridge Universit Press, Cambridge, pp. 1-466.
6. Shteinikov, Y.N. 2012, "On the distribution of semigroups of natural numbers Chebishev's sbornik, 13, 3, pp. 91-99.
О РАСПРЕДЕЛЕНИИ ЭЛЕМЕНТОВ ПОЛУГРУПП НАТУРАЛЬНЫХ ЧИСЕЛ II. 203
7. Malykhin, Y. V. 2005, "Estimates of exponential sums modulo p2 Fundamentalnava i priklad-nava matematika, 11, 6, pp. 81-94.
8. Malykhin, Y. V. 2006, "Estimates of exponential sums modulo pr Mathematical Notes, 80, 5, pp. 793-796.
9. Bourgain, J. Konvagin, S. к Shparlinski I. 2008, "Product sets of rationals, multiplicative translates of subgroups in residue rings and fixed points of the discrete logarithm Int. Math Research Notices, rnn 090, pp. 1-29.
10. Bourgain, J. Ford, K. Konvagin, S. к Shparlinski, I. 2010, "On the divisibility of Fermât Quotients Michigan J. Math., 59, 2, pp. 313-328.
11. Bourgain, J. к Konvagin, S. 2003, "Estimates for the number of sums and products and for exponential sums over subgroups in fields of prime order C. R. Math. Acad. Sci. Paris, 337, 2, pp. 75-80.
12. Heath-Brown, D. R. к Konvagin, S. 2000, "New bounds for Gauss sums derived from kth powers, and for Heilbronn's exponential sumQ. J. Math., 51, 2, pp. 221-235.
13. Konvagin, S., к Shparlinski, I. 1999, "Character sums with exponential functions Cambridge University Press, Cambridge, pp. 1-163.
14. Shkredov, I.D. 2013, "On Heilbronn's exponential sumQ. J. Math., 64, 4, pp. 1221-1230.
15. Zhou, B. 2010, "A note on exponential sums over subgroups of Zp2 and their applications J. Number Theory, 130, 11, pp. 2467-2479.
ФГУ ФНЦ Научно-исследовательский институт системных исследований Российской академии наук
Получено 9.03.2016 г.
Принято в печать 13.09.2016 г.
