Пусть имеется подмножество \(A\) натуральных чисел из отрезка \([1,q]\) со следующим условием. Если элементы \(a,b\) из \(A\) и \(ab\) не превосходит \(q\), то ab принадлежит A. Пусть также известно, что \(|A|<q^{\nu}\), \(\nu \)- некоторое фиксированное число не превосходящее 1. В данной работе ставится вопрос о числе элементов \(A\) на отрезке длины существенно меньше чем \(q\), --- на отрезке \([1,x]\), где \(x\) существенно меньше чем произвольная степень \(q\).
В этой задаче в случае, когда \(A\) --- множество специального вида и при некоторых ограничениях на \(|A|\) и \(x\), уже получены определенные результаты. Так, из работы Ж. Бургейна, С. Конягина и И. Шпарлинского вытекают нетривиальные оценки в случае когда \(A\) --- некоторая мультипликативная подгруппа группы обратимых элементов системы вычетов по простому модулю.
Исходная задача обобщает ее на случай полугрупп вместо мультипликативных подгрупп. Отметим, что имеются вполне определенные результаты по этой задаче. Основной результат данной работы --- выведена новая оценка на число элементов полугруппы натуральных чисел заданном коротком интервале от 1 до \(x\). Полученные оценки содержательны, когда \(x\) существенно меньше чем любая степень \(q\). Более точно, пусть \(A\) --- наша полугруппа, \(g:=\frac{\log{\log x}}{\log{\log q}}, x=q^{o(1)}\), при \(q\) стремящемся к бесконечности. Тогда число элементов \(A\) в интервале \((1, x)\) не превосходит \(x^{1-C(g,\nu) + o(1)}\), где \(C(g,\nu\)) --- некоторая явно выписываемая положительная функция. Предыдущие результаты относились к оценке функции \(C(g,\nu)\), найденная новая оценка для \(C(g,\nu)\) улучшает предыдущий результат для некоторой области параметров \((g,\nu)\).
При доказательстве существенно используются свойства распределения гладких чисел, чисел с большой гладкой частью, оценки на число делителей фиксированно числа в заданном диапазоне. В работе используются некоторые результаты Ж. Бургейна, С. Конягина и И. Шпарлинского.
Suppose there is subset \(A\) of positive integers from the interval \([1,q]\) with the following condition. If the elements \(a,b\) of \(A\) and \(ab\) is at most \(q\), then \(ab\) belongs to \(A\). In additition let also know that \(|A|<q^{\nu}\), \(\nu\) - is some fixed number, not exceeding 1. In this paper we consider the question of the number of elements belonging to \(A\) on the interval with length substantially less than \(q\), - on the interval \([1, x]\), where \(x\) 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 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: =\frac{\log{\log x}}{\log{\log q}}, x = q^{o (1)}\) for \(q\) tends to infinity. Then the number of elements of \(A\) in the interval \((1,x)\) does not exceed \(x^{1-C (g,\nu)+o(1)}\), where \(C(g,\nu )\) - some clearly written positive function. Previous result relates to the estimation of function \(C(g,\nu)\), a new estimate for the \(C(g,\nu)\) improves the previous result for a certain range of parameters \((g,\nu)\).
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.
The authors declare that there are no conflicts of interest present.