CC BY
7
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 21. Выпуск 3.
УДК 511 DOI 10.22405/2226-8383-2020-21-3-186-195
Об асимптотическом поведении некоторых сумм, содержащих функцию количества простых делителей
М. Е. Чанга
Марис Евгеньевич Чанга — доцент кафедры высшей математики, Московский государственный университет геодезии и картографии (г. Москва). e-mail: [email protected]
Аннотация
В статье рассматриваются суммы значений композиции вещественной периодической арифметической функции и функции количества простых делителей по натуральным числам, не превосходящим заданного. При этом подсчет простых делителей может производиться как с учетом кратности, так и без ее учета, а на сами делители может быть наложено дополнительное требование принадлежности некоторому специальному множеству. Упомянутое специальное множество может быть, например, объединением нескольких арифметических прогрессий с заданной разностью, или же допускать аналог асимптотического закона распределения простых чисел со степенным понижением в остатке. Более того, вместо функции количества простых делителей можно рассмотреть любую вещественную аддитивную функцию, равную единице на простых числах. В качестве примера периодической арифметической функции можно рассмотреть символ Лежандра. Доказаны асимптотические формулы для указанных сумм и изучено их поведение.
Доказательство использует разложение периодической арифметической функции по характерам аддитивной группы вычетов, что сводит задачу к рассмотрению специальной тригонометрической суммы с функцией количества простых делителей в показателе. Для нахождения асимптотик этих сумм мы записываем соответствующий производящий ряд Дирихле, аналитически продолжаем его и применяем формулу Перрона и метод комплексного интегрирования в специально адаптированном варианте.
Ключевые слова: ограничения на простые делители, количество простых делителей, тригонометрическая сумма, метод комплексного интегрирования.
Библиография: 17 названий. Для цитирования:
М. Е. Чанга Об асимптотическом поведении некоторых сумм, содержащих функцию количества простых делителей // Чебышевский сборник, 2020, т. 21, вып. 3, с. 186-195.
CHEBYSHEVSKII SBORNIK Vol. 21. No. 3.
UDC 511 DOI 10.22405/2226-8383-2020-21-3-186-195
On the asymptotic behavior of some sums involving the number of prime divisors function
M. E. Changa
Maris Evgenievich Changa — Docent, Department of Higher Mathematics, Moscow State University of Geodesy and Cartography (Moscow). e-mail: [email protected]
Abstract
We consider sums of values of the composition of a real periodic arithmetic function and the number of prime divisors function over integers not exceeding a given bound. The prime divisors may be counted as with their multiplicity or without it, and we can restrict these divisors to the additional condition of belonging to some special set. This special set may be, for example, a sum of several arithmetic progressions with a given difference or imply an analog of prime number theorem with a power decrement in the remainder term. Moreover, instead of the number of prime divisors function we can consider an arbitrary real additive function that equals to one on primes. As an example of the periodic arithmetic function we can consider the Legendre symbol. In the paper we prove asymptotic formulae for such sums and investigate their behavior.
The proof uses the decomposition of the periodic arithmetic function into additive characters of the residue group, so the problem reduces to special trigonometric sums with the number of prime divisors function in the exponent. In order to establish asymptotic formulae for such sums we consider the corresponding Dirichlet series, accomplish its analytic continuation and make use of the Perron formula and complex integration method in specially adapted form.
Keywords: restrictions on prime divisors, number of prime divisors, trigonometric sum, complex integration method.
Bibliography: 17 titles. For citation:
M. E. Changa, 2020, "On the asymptotic behavior of some sums involving the number of prime divisors function" , Chebyshevskii sbornik, vol. 21, no. 3, pp. 186-195.
1. Введение
Пусть E — некоторое бесконечное множество натуральных чисел. Через М будем обозначать множество натуральных чисел, все простые делители которых принадлежат Е. Количество чисел множества М, не превосходящих ж, обозначим через п(х), то есть
п(х) = Y1 1
п^х
пем
В тривиальном случае Е = N имеем, очевидно, М = N и п(х) = [х]. Пусть теп ерь f (п) — вещественная арифметическая функция, периодическая с периодом к, не меньшим двух, а
^(п) — вещественная аддитивная арифметическая функция с условием ^у(р) = 1 для любого простого р. Введем обозначение
од = Е1 (1 (п))-
п^х
пем
Простейшим примером периодической арифметической функции является функция /(п) = (-1)п, периодическая с периодом 2.
Рассмотрим один из вариантов выбора функции ^(п). Пусть 0,(п) обозначает число простых делителей п с учетом их кратности. Таким образом, при п = р"1 ...р"г имеем 0,(п) = а\ + ... + аг. Очевидно, что &(п) удовлетворяет требованиям, предъявляемым к функции 7(п), а функция вполне мультипликативна при любом ненулевом комплекс-
ном а. При а = — 1 эта функция называется функцией Лиувилля и обозначается Х(п). Таким образом, Х(п) = f (^(п)) при f (п) = (—1)п и ^(п) = 0,(п). Отсюда, пользуясь классическим результатом [1, теорема 5.2, с.86], в случае Е = N получаем
Б(х) = ^ Х(п) < хе-с^.
п^х
Пусть теперь заданы натуральные числа т ^ 3 и г < (р(т). Пусть 1\,...,1Г — различные натуральные числа, не превосходящие т и взаимно простые с ним. Возьмем в качестве Е множество всех натуральных чисел, сравнимых с одним из чисел 1\,..., 1Г по модулю т. Иначе говоря, множество Е есть объединение г арифметических прогрессий с первыми членами 1\,..., 1Г и разностью т. В этом случае асимптотическая формула для п(х) была найдена Э. Ландау [2, §183] и имеет вид
1
п(х) =_^_Л + о(—))
in-+1А V1n
При исследовании распределения чисел множества М в зависимости от четности Q(n) A.A. Карацубой [3], [4] было обнаружено, что
эд = £ = (1+о (¿-х))' (1)
1П V(ra)x\ \lnXjJ
пем
где А — положительная постоянная. Этот результат имеет неожиданный арифметический смысл, так как может быть интерпретирован как некоторое преобладание среди чисел множества М чисел с нечетным количеством простых делителей. Пусть теперь Е таково, что
п(х,Е) = ^ 1 = сЕк(х) + 0 (х1-А) , (2)
р^х
реЕ
где А > 0, 0 < се < 1- В качестве такого Е можно взять все натуральные числа, принадлежащие множеству
((
U [(Dn + j- 1)1/a, (Dn + j)1/a),
n=0
где a — нецелое положительное число, D и j — натуральные числа, причем D ^ 2, j ^ D. Соответствующая формула для величины ж(х,Е) в случае 0 < a < 1 доказана в работе [5], a
Е
держащих четное число единиц в своей двоичной записи. Справедливость соответствующей
асимптотической формулы для п(х,Е) установлена в работе [9]. Для такого выбора множества Е A.A. Карацубой [3], [4] получены аналогичные случаю арифметических прогрессий результаты
= Н (¿)), ,,
пем
где В — положительная постоянная. Таким образом, при таком выборе множества Е обнаруживается тот же эффект преобладания чисел с нечетным количеством простых делителей.
Рассмотрим другой вариант выбора функции j(n). Обозначим через v(n) количество различных простых делителей числа п. Таким образом, при n = р"1 ... р"т имеем v(n) = г. Эта функция также удовлетворяет требованиям, предъявляемым к j(п), а функция муль-
типликативна при любом ненулевом комплексном а. Хорошо известно, что при Е = N имеет место равенство
s(х) = ^(-1Г(п) < хе.
п^х
Рассматривая распределение чисел из множества М в зависимости от четности v(n), автор
Е Е
составленного из арифметических прогрессий, получил формулы, отличающиеся от (1) и (3) лишь значениями констант А и В.
натуральное число, не превосходящее к. Положим f(n) = 1 при п = ¿(modk), и f (п) = 0 в противном случае. Такая арифметическая функция периодична с периодом к и является
к
сумма S(х) имеет смысл количества чисел множества М, не превосходящих х и таких, что j(n) = ¿(modk). В работе [13] автор получил в случае Е = N асимптотическую формулу
, ч 1 , А0 cos (sin 2т ■ lnlnx + - Щ-) ( Л Л , ч S(x) = £ 1 = ^n(x) 1 + А-^-^^-^-U. + о (in-5* х) , (4)
t^x к \ ln2sln fcx V V
7(n)=Z(modfc)
где Ao = 0 и — некоторые вещественные постоянные, а 4 = 2 sin2 ^ + 1 при к ^ 6, и 5к = 2 sin2 f при к ^ 7. Эта формула справедлива для любой аддитивной функции 7(п) с условием 7(р) = 1, в частности, для функций Q(n) и v(п). Аналогичные формулы, отличающиеся от (4) лишь некоторыми коэффициентами, были получены в той же работе [13] и для случая множества Е, допускающего равенство (2), и для случая множества Е, составленного из арифметических прогрессий. Интересным эффектом, возникшим при переходе к случаю к ^ 3, является исчезновение качественного отличия случая Е = N от остальных вариантов Е
В работах [14, 15] автор рассмотрел сумму символов Лежандра с функцией v(n), что отвечает случаю f(n) = (^). В этом случае функция f(n) периодична с периодом р, где р — фиксированное нечетное простое число. При этом для суммы S(х) получается асимптотическая формула, подобная (4), но без первого слагаемого, так как полная сумма символов
Е = N
S(x) = У^ ( Vn) ) = —ApX cos ( sin — ■ ln ln х + <¿>„) + О (х ln-áp х) ,
() р ) in2sin2?х V р ч ^ }
где 5р = 2 sin2 r + ^и р = 3, 5, и Sp = 2 sin2 j1 при р ^ 7, а Ар = 0 и pv некоторые вещественные постоянные.
Естественным обобщением всех упомянутых задач является задача исследования поведения суммы S (x) при произвольной периодической f(n) и произвольной аддитивной j(п) с условием j(p) = 1, которая и является предметом исследования настоящей статьи. При этом период к функции f (п) имеет смысл положить не меньшим трех, поскольку при к = 2 существуют только две независимые функции /(п), а именно (-1)п и постоянная, случай которых всесторонне исследован в работах [3, 4, 10, 11, 12].
2. Основная часть
к
( п)
функция, периодическая с периодом к. Обозначим через fo среднее значение функции f(n), то есть
1 к
/о = 1 Z f(n).
п=1
Пусть j(п) — произвольная вещественная аддитивная арифметическая функция с условием j(p) = 1 для любого простого р. Пусть М — множество натуральных чисел, все простые делители которых принадлежат множеству Е. Количество чисел множества М, не превосходящих х, обозначим через п(х). Тогда имеют место утверждения
Теорема 1. Пусть Е = N. Тогда существуют такие вещественные постоянные А и p, что имеет место асимптотическая формула
/ „ , , u i А cos (sin % ■ lnlnx + p) ( Л \ \
S(x) = £ ¡Ып)) = x fo +-^-- + O (in-6" x) ,
П^х \ ln2sm fcx V V
где 5k = 2 sin2 | + 1 при к ^ в, и ók = 2 sin2 jf npи к ^ 7.
Теорема 2. Пусть m ^ 3 и г < p(m). Пусть h,..., lr — различные натуральные числа, не превосходящие m и взаимно простые с ним. Пусть Е — множество всех натуральных чисел, сравнимых с одним, из чисел 1\,..., lr по модулю т. Тогда, существуют т,акие вещественные постоянные В и ф, что имеет место асимптотическая формула
, , , , ss , s ( В cos (к sin ■ lnlnx + ф) ( Л \\ S(x) = £ f(j(п)) = п^и fo +-^^-- + O (ln-s* x) ,
Пй V ln sin *x V V
пем
где Sk = 2к sin2 jr при к = 4 или к ^ в, S5 = min(2K sin2 jr, 2к sin2 | + ó3 = jк + 1, а
r
К = —,—г.
Фут)
Е
вещественные постоянные В1 и ф', что имеет место асимптотическая формула
, , , , s ( В' cosí сЕ sin % ■ lnlnx + ф') / Л \ \ S(x) = £ f(j(п)) = п^и fo + -1 Е 2с kn2 --— + O {ln-Sk x) ,
П^Х V ln B sin kx v V
пем
где Sk = 2сЕ sin2 2е при к = 4 или к ^ в, S5 = min(2сЕ sin2 , 2сЕ sin2 r + S3 = jсЕ + 1.
Нам понадобятся вспомогательные утверждения, доказанные в работе [13], которые адаптируют метод комплексного интегрирования к поставленной задаче.
Лемма 1. Пусть к — натуральное число, не меньшее трех, у G Ъ, j(n) — аддитивная арифметическая функция с условием j(p) = 1 для любого простого р. Пусть Е — бесконечное подмножество N, a M ^ множество натуральных чисел, все простые делит,ели которых принадлежат, Е. Тогда, при Res > 1 имеет место равенство
Е V- = П 1 -1)
n=i РеЕ 4 1 7
пем
где функция Fy(s) аналитична и ограничена в полуплоскости Res ^ \ + е при любом положительном е, причем Fy(1) = 0 щи \у\ < |.
Лемма 2. Пусть g(n) — комплекснозначная арифметическая функция с условием \g(n)\ ^ 1, и при Re s > 1 имеет место равенство
Е gJn = (^ ))ан
п=1
где a G C, \a\ ^ 1, а, функц ия H (s) при любом достаточно большом Т аналитична в области а ^ 1 — ci/InT, \t\ ^ Т, причем в этой области справедлива, оценка, H (s) ^ lncT. Тогда, имеет место асимптотическая формула
Е 9(n) = H^ lna-1x + 0(х lnRea-2x). Теперь мы готовы к доказательству основного результата настоящей работы.
к
( n) к
/(7(n))= Е ^^ 1 Е -2т^,
j mod k m mod k
где j и m пробегают полную систему вычетов по модулю к (для простоты и определенности — наименьшие по абсолютной величине вычеты). Обозначая
h = 1 Е f(m) е-2™ ^ (5)
m mod к
n x
s(x) = E/(T(n))= Е ¿Е е2™^ = Е h15*(х), (ß)
п^х j mod к п^х j mod к
где мы ввели также обозначение
. J7(n)
е"'
п^х
Sj (х) = Е1
Очевидно, So(x) = [х\, асимптотики же остальных сумм Sj(х) получим методом комплексного интегрирования. Применяя лемму 1, для соответствующего производящего ряда Дирихле при Res > 1 получаем выражение
Ж—V е k 2жг1
£ = (С«)е kFj(s), (7)
п=1
где функция Fj (s) аналитична и ограничена в полуплоскости Res ^ 2 + е. Применяя затем лемму 2, для искомой сумматорной функции получаем следующее соотношение
Sj ix) = ^x ln^4-1х + 0(х lncos ^-2х). (8)
Г( е2™ k)
Так как функция f(n) вещественна, из равенства (5) имеем f-j = fj. Далее, поскольку гамма-функция вещественна при вещественных значениях аргумента, то
Г(е-2™ i )=Г( е2™ i).
Наконец, из соотношения (7) при вещественной j(n) нетрудно получить, что F-j(s) = Fj(s), а значит F-j(1) = Fj(1) Таким образом, слагаемые суммы (6), отвечающие j = 1 и j = —1 комплексно сопряжены. Обозначая
= -At* (9)
Г(е2^) 2 1 ;
с некоторыми вещественными A и р, имеем
Ax cos (sin ^ ■ 1n1nx + р) ( 2sin 2 х \ , ,
f1S1(x) + f-1S-1 (x) =-\ х-^ +0(x 1n-2sin *-1x). (10)
1n2 sin к x V /
С другой стороны, при 2 ^ |j| ^ | из соотношения (8) следует, что Sj(x) ^ x 1n-2sin ^x.
Подставляя эту оценку, наряду с равенством (10), в сумму (6), получим утверждение теоремы. □
Доказательство. [Доказательства теорем 2 и 3] Проводятся в целом аналогично доказательству теоремы 1. Суммирование в сумме Sj (x) в этом случае идет только по числам множества М, поэтому при применении леммы 1 в равенстве (7) вместо ((s) будет фигурировать функция
1 ^
п 0 -1)
РеЕ 4 1 7
Ее аналитическое продолжение, выражение через дзета-функцию Римана, а также оценки ее модуля вблизи единичной прямой даны в [16, лемма 1] для случая множества Е, являющегося объединением арифметических прогрессий, и в [17, лемма 1] для случая множества Е, допускающего равенство (2). В конечном итоге в показателе степени ((в) в соотношении (7) добавляется множитель к или се, который затем модифицирует формулы (8) и (10). Кроме того, при записи окончательного результата следует учесть, что из равенства (8) следует, что
Бо(х) = п(х) х х 1пк-1 х
в случае теоремы 2, а в случае теоремы 3 параметр к заменяется на се- с
Мы видим, что если среднее значение функции /(п) отлично от нуля, то сумма 5(х) асимптотически равна /о-п(х). В случае же среднего значения равного нулю, что имеет место, например, при f(п) = (^), на первый план выходит второе, осциллирующее слагаемое асимптотики.
i
отлична от нуля, что легко видеть из равенства (9) и леммы 1.
Отметим также, что условие j(p) = 1 при любом простом р продиктовано скорее историческими причинами: ему удовлетворяют широко известные аддитивные функции v(n) и Q(n).
Доказательство без труда модифицируется на случаи, когда j(p) = 1 для всех простых р за
( )
чение, не обязательно равное единице. Конечно, в последнем случае второй член асимптотики уже существенно поменяется.
3. Заключение
В статье доказаны асимптотические формулы для суммы значений композиции вещественной периодической арифметической функции с периодом не меньшим трех и вещественной аддитивной арифметической функции, равной единице на простых числах, по числам, не превосходящим заданного и таким, что все их простые делители принадлежат специальному множеству. Рассмотрено три варианта выбора специального множества: множество всех натуральных чисел, объединение арифметических прогрессий с заданной разностью и множество, допускающее аналог асимптотического закона распределения простых чисел со степенным понижением в остатке. Из полученных результатов следует, что нетривиальный, осциллирующий характер поведения изучаемых сумм проявляется в том случае, когда среднее значение рассматриваемой периодической функции равно нулю.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Прахар К. Распределение простых чисел. М.: Мир, 1967.
2. Landau Е. Handbuch der Lehre von der Verteilung der Primzahlen. Leipzig: Teubner, 1909.
3. Карацуба A.A. Об одном свойстве множества простых чисел // Успехи матем. наук, 2011, т. 66, вып. 2, с. 3-14.
4. Карацуба A.A. Об одном свойстве множества простых чисел как мультипликативного базиса натурального ряда // Доклады РАН, 2011, т. 439, вып. 2, с. 159-162.
5. Виноградов U.M. Некоторое общее свойство распределения простых чисел // Матем. сб., 1940, т. 7(49), вып. 2, с. 365-372.
6. Чанга М.Е. Простые числа в специальных промежутках и аддитивные задачи с такими числами // Матем. заметки, 2003, т. 73, вып. 3, с. 423-436.
7. Гриценко С.А. Об одной задаче U.M. Виноградова // Матем. заметки, 1986, т. 39, вып. 5, с. 269-285.
8. Ren Х.М. Vinogradov's exponential sum over primes // Acta Arith., 2006, vol. 124, no. 3, p. 269-285.
9. Mauduit C., Rivât J. Sur un problème de Gelfond: la somme des chiffres des nombres premiers // Annals of Mathematics. Second Series, 2010, v. 171, no. 3, p. 1591-1646.
10. Чанга М.Е. О количестве чисел специального вида в зависимости от четности числа их различных простых делителей // Матем. заметки, 2015, т. 97, вып. 6, с. 930-935.
11. Чанга М.Е. О соотношении количеств чисел с четным и нечетным числом различных простых делителей при условии некоторых ограничений на последние // Мат. методы и приложения. Труды XX мат. чтений РГСУ. М.: АППиППРО, 2011, с. 121-125.
12. Чанга М.Е. Об одной задаче с числами, все простые делители которых принадлежат заданным арифметическим прогрессиям // Успехи матем. наук, 2016, т. 71, вып. 4, с. 191-192.
13. Чанга М.Е. О числах, количество простых делителей которых принадлежит заданному классу вычетов // Известия РАН, сер. матем., 2019, т. 83, вып. 1, с. 192-202.
14. Чанга М.Е. Об одной сумме символов Лежандра // Успехи матем. наук, 2018, т. 73, вып. 5, с. 183-184.
15. Чанга М.Е. О распределении чисел с условиями на количество их простых делителей // Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения. Материалы XV Международной конференции. Тула: ТГПУ, 2018, с. 242-243.
16. Чанга М.Е. О суммах мультипликативных функций по числам, все простые делители которых принадлежат заданным арифметическим прогрессиям // Известия РАН. Сер. матем., 2005, т. 69, вып. 2, с. 205-220.
17. Чанга М.Е. О числах, все простые делители которых лежат в специальных промежутках // Известия РАН. Сер. матем., 2003, т. 67, вып. 4, с. 213-224.
REFERENCES
1. Prachar К. Primzahlverteilung. Berlin : Springer-Verlag, 1957.
2. Landau E. Handbuch der Lehre von der Verteilung der Primzahlen. Leipzig: Teubner, 1909.
3. Karatsuba A.A. 2011, "A property of the set of prime numbers" , Russian Mathematical Surveys, vol. 66, no. 2, pp. 209-220.
4. Karatsuba A.A. 2011, "On a property of the set of prime numbers as a multiplicative basis of integers", Doklady RAS, vol. 439, no. 2, pp. 159-162.
5. Vinogradov I.M. 1940, "Some common property of the prime number distribution" , Math. Sbornik, vol. 7(49), no. 2, pp. 365-372.
6. Changa M.E. 2003, "Primes in special intervals and additive problems with such numbers" , Mathematical Notes, vol. 73, no. 3, pp. 389-401.
7. Gritsenko S.A. 1986, "A problem of I.M. Vinogradov" , Mathematical Notes, vol. 39, no. 5, pp. 341-350.
8. Ren X.M. 2006, "Vinogradov's exponential sum over primes" , Acta Arith., vol. 124, no. 3, pp. 269-285.
9. Mauduit C., Rivat J. 2010, "Sur un problème de Gelfond: la somme des chiffres des nombres premiers" , Annals of Mathematics. Second Series, vol. 171, no. 3, pp. 1591-1646.
10. Changa M.E. 2015, "On the quantity of numbers of special form depending on the parity of the number of their different prime divisors" , Mathematical Notes, vol. 97, no. 6, pp. 941-945.
11. Changa М.Е. 2011, "On the relation between quantities of integers with even and odd number of distinct prime divisors with some restrictions on them" , Mat. Metody i Prilozheniya. Trudy XX Mat. Chteniy RGSU Moscow : APPiPPRO, pp. 121-125.
12. Changa M.E. 2016, "A problem involving integers all of whose prime divisors belong to given arithmetic progression" , Russian Mathematical Surveys, vol. 71, no. 4, pp. 790-792.
13. Changa M.E. 2019, "On integers whose number of prime divisors belongs to a given residue class" , Izvestiya: Mathematics, vol. 83, no. 1, pp. 173-183.
14. Changa M.E. 2018, "On a sum of Legendre symbols" , Russian Mathematical Surveys, vol. 73, no. 5, pp. 919-921.
15. Changa M.E. 2018, "On the distribution of integers with restrictions on the quantity of their prime divisors" , Algebra, Teoriya chisel i diskretnaya Geometriya: sovremennye problemy i prilozheniya. Materialy XV mezhdunarodnoy konferentsii Tula : TGPU, pp. 242-243.
16. Changa M.E. 2005, "On sums of multiplicative functions over numbers all of whose prime divisors belong to given arithmetic progressions" , Izvestiya: Mathematics, vol. 69, no. 2, pp. 423-438.
17. Changa M.E. 2003, "Numbers whose prime divisors lie in special intervals" , Izvestiya: MathemMics, vol. 67, no. 4, pp. 837-848.
Получено 10.07.2020 г.
Принято в печать 22.10.2020 г.
