О распределении простых чиселв арифметической прогрессии, разность которой является степенью фиксированного простого числа Текст научной статьи по специальности «Математика»

УДК 511.35

О РАСПРЕДЕЛЕНИИ ПРОСТЫХ ЧИСЕЛ В АРИФМЕТИЧЕСКОЙ ПРОГРЕССИИ, РАЗНОСТЬ КОТОРОЙ ЯВЛЯЕТСЯ СТЕПЕНЬЮ ФИКСИРОВАННОГО ПРОСТОГО ЧИСЛА

С.А. Гриценко, М.В. Шевцова

Белгородский государственный университет, ул. Победы, 85, Белгород, 3О8О15, Россия, e-mail: gritsenko@bsu.edu.ru, shevtsova@bsu.edu.ru

Аннотация. Получена асимптотическая формула для числа простых чисел, не превосходящих X и лежащих в арифметической прогрессии с разностью D = pm, где p0 3 -

фиксированное простое число и D X83e-(lnlnX)2.

Ключевые слова: арифметическая прогрессия, простые числа, оценки.

1. Введение. В теории чисел важную роль играет распределение простых чисел в арифметических прогрессиях.

Пусть при (I, D) = 1 п(Х, D, I) означает число простых чисел, не превосходящих X и сравнимых с I по модулю D. Из расширенной гипотезы Римана следует, что

, и(Х) ( ( уу

п(Х^,1)=-^у 1 + О Ш м Х ,

где D X2-е, е > 0 - произвольно малое число, М > 0 - константа.

Известная к настоящему времени граница изменения D гораздо меньше: при D (1п X )А, где А > 0 — константа, с = с (А) > 0, справедлива формула:

Ы(Х) V

п(Х,^|) = да7+О Хе-с ’

которая известна в литературе как формула Зигеля-Вальфиша [1].

В случае D = р0", р0 3 - фиксированное простое число, можно получить асимпто-

тическую формулу для п(Х, D, I) при гораздо больших D. В 1955 году А.Г Постников обнаружил [2], что сумма значений неглавного характера по модулю D, равному степени нечетного простого числа, представляет собой сумму Вейля специального вида. Это открытие замечательно тем, что суммы Вейля, даже очень короткие (а вместе с ними и очень короткие суммы значений характера), допускают нетривиальные оценки.

Идея А.Г. Постникова позволила решить некоторые проблемы теории чисел, к которым в общем случае не было никаких подходов.

В 1964 году Ю.В. Линник, М.Б. Барбан и Н.Г. Чудаков [3] доказали следующий асимптотический закон, справедливый при D = р^ Х!-е (е > 0 - произвольно малое число, М > 0 -произвольно большое число):

п(Х, D, I) (1 + О(1п-М ХУУ.

ФР)

Доказательство этой теоремы основано на плотностной технике, и поэтому для него требуется информация о распределении нулей L-функции Дирихле в критической полосе.

В 1979 году М.М. Петечук [4] применил идею А.Г. Постникова к проблеме делителей Дирихле в коротких арифметических прогрессиях и получил асимптотическую формулу:

XQk-i(ln X)+ O X1-K

Tk(n) =---------------+ O ------

n X '( ) P(D) P(D) ’

n=l (mod D)

где D = pJ0 X3-e, (l,D) = 1, Qk-1(ln X) - многочлен степени k-1 с коэффициентами,

e в

зависящими от k и p0, к = min —, -kj , в > 0 - константа, зависящая от р0.

16 k

Доказательство этой формулы основано на идее работы А.А.Карацубы [5], позволяющей оценивать ее остаточный член по схеме решения тернарной аддитивной задачи. При этом оно «элементарно», то есть не использует средств комплексного анализа.

В настоящей статье методами работ [4] и [5] выводится асимптотическая формула для n(X, D, l) при D = p0m. Однако наряду с этими методами мы применяем метод контурного интегрирования, поскольку нам необходимо оценивать не только суммы значений характера, но и суммы значений характера по простым числам.

По сравнению с теоремой Ю.В. Линника, М.Б. Барбана и Н.Г. Чудакова получено незначительное уточнение остаточного члена и верхней границы изменения D. Наше доказательство существенно отличается тем, что не использует информации о распределении нулей L-функции Дирихле в критической полосе, а использует лишь теорему о границе нулей, принадлежащую В.Н. Чубарикову [6], доказательство которой элементарно.

Сформулируем основной результат нашей работы.

Теорема. При (l,D) = 1, D = pm X8e-(lnlnX)2 справедлива формула

Li(X) л X 2

n(X D l) = ---------------+ O -e-K(lnlnX)2

n(X,D,l) p(D) p(D)e >

где 0 < к < 1 - константа.

2. Вспомогательные результаты. Для доказательства теоремы нам потребуются следующие леммы.

Лемма 1. Для любого неглавного характера х по модулю D = pm справедлива оценка:

X(v) aJ2 D16 ln D.

v a

Лемма 2. Пусть х - произвольный неглавный характер по модулю D = р™. Тогда выполняется оценка:

Х(у ) а1^ ,

V а

где р = ^а, 1 Р 0,5т, 0 < Y < 1 - константа.

Лемма 3. Пусть х-произвольный неглавный характер по модулю D = р™, а» Dn, П > 0 - константа. Справедлива оценка:

M(n)x(n) ae

-b(ln ln D)2

где 0 < b < 10-константа.

2. Схема доказательства теоремы. Рассмотрим сумму

p(X, D,l)= Л(п) .

nX n=l (mod D)

Используя свойство ортогональности характеров и выделяя слагаемое с хо, получим

1 1 л(п) = P(D) л(п) + P(D) х(Г) л(п)х(п) ■

n X Ф(Ь,) n X Х=Х0 n X

n=l (mod D) (n,D)=1

Первая сумма справа даст нам главный член асимптотической формулы, а вторая-остаток R.

Применим формулу типа малого решета и разобьем R на (ln X)2k сумм вида:

1 _

S = P(D) X(l) C1(n1) ■■■C2k(n2k)X(n1 ■ ■ ■ n2k),

X=X0 N1 <n1 2N1 N2k<n2k 2N2k

n 1 ■■■n2k X

где Cj (nj) - либо 1, либо ln nj, либо м(П|), j = 1, ■ ■ ■, 2k. Если Cj(nj) = м(П|), то nj X1/K .

Без ограничения общности, положим: N1 N2 ■ ■ ■ N2k.

X 1 -e

Будем оценивать сумму S сверху, сравнивая полученные оценки с величиной________________

P(D) ■

Возможны следующие случаи.

1. Если N1 >X 1-eD-1 (e -произвольно малое число), то c1(n1) равно либо 1,либо

ln n1, и N2 ■ ■ ■ N2k DX e. Применяя оценку Виноградова-Пойа, имеем:

J X1 -e

S DN2 ■■■N2kln2 D D3/2X2e

P(D)

na

1

при D Х26е. Следовательно, для этого случая утверждение теоремы выполняется.

2. Если N-1 Х 1_'Ю_1, то применим известный прием, позволяющий заменить суммирование по криволинейной области суммированием по прямоугольной области с приемлемой точностью. Получим суммы вида:

1

Б1 = Ф(О) ^ с(п)х(п) а(и)х(и) b(v )х(v),

Ф( ) Х=Хо М<п 2N и<и 2и V ^ 2У

где |а(и)| тк(и), |b(v)| тк-1^), с(п) = 1, либо 1п п, либо м(п), UVN Х. Это

означает, что мы выделили наибольший промежуток суммирования N, а остальные -объединили в и и V таким образом, что выполняются неравенства V и NV.

Пусть V > Хе. Тогда, применяя неуравенство Коши, имеем:

1 2 Ь/2

S1 max / c(n)x(n) Vi \ a(u)x(u) 7 х

X X0 N <n ^N -( ) х (mod D) U<u 2U

2 Z1/2

f

\ 1 /

X ^ -D) b(V)X(V) 7 ■

X (mod D) V <v 2V

2

1

Заметим, что 01 = —d a(U)X(U) равняется числу решений сравнения

X(mod D) U<u 2U

x1 x2 ■ ■ ■ xk = x1x2■ ■ ■ xk (mod D),

Число решений этого сравнения оценивается различным образом, в зависимости от длины промежутка суммирования U.

При U DX e мы оценим его следующим образом:

Tk (u) Tk (u) ue/10 (u + dD)e/10 (4-1)

U<u 2U U<u! 2U U<u 2U u - u <d 2U - u

u!=u (mod D) D D

U U2

Xe/5 D +1 Xe/5 D + U ■

U<u 2U

Если же U > DXe, то поскольку промежуток суммирования по u - длинный, мы можем для оценки внутренней суммы в (4.1) применить лемму А.И. Виноградова и Ю.В. Линника [1, с. 30], а для оценки внешней суммы - ту же лемму, положив в ней D = 1 . В результате, получим:

U2

о1 — + U (ln U )2A(k) ,

A(k) - положительная константа, зависящая от k.

1 2 Аналогично оценивается сумма (D) b(v)x(V) ■ Следовательно, для

-( ) X(mod D) V <v 2V

остатка R имеем оценку:

R (ln X )4K max c(n)X(n) ■

X=X0 n <n 2N D D

Далее оценка суммы с(п)х(п) зависит от коэффициентов с(п). И здесь заклю-

N <п 2Ы

чается основное отличие нашего доказательства от доказательства теоремы работы [4].

Если с(п) = 1, либо 1п п, то мы имеем сумму значений характера и, аналогично схеме статьи [4], оценивая соответствующую сумму согласно лемме 1, получим:

V V-

и V + иУ V_____________

т_ах х(п) -------^-------+ иУ (Іп X )4К

Х Х0 N <п 2М О V

и , V V________

N О1/6(Іп Х)4К -V— + иУ

(Іп X)4К (Х3/4О-1/3 + X1/2Э1/6^ X3/4О-1/3(Іп X)4К.

Более короткую сумму значений характера мы оценим согласно лемме 2:

иУ X1-9^3

тах Х(п) -^(Іп X)4К _ .

Х=Х0 N <п 2М 0 О

Если же с(п) = м(п), то мы имеем сумму м(п)х(п), которую мы сводим к

N <п 2N

сумме значений характера по простым числам х(Р)- Для оценки сумм такого

N !<р 2N!

вида применяется метод контурного интегрирования.

С помощью леммы 3, получим:

V— ,

и,у V_ иу

тах М(п)х(п) + иу + (Іп X)4К

Х Х0 N <п 2N О Ы

V_

N е-0,9Ь(Іп Іп ^ Ц/У. + VQУ + ЦУ_

О О

иУ е-0,9Ь(Іп Іп X)2 Xe-0,9b(ln Іп X)2

DD

Осталось заметить, что в случае V Xє, если N X1/K , то мы оцениваем сумму S1 тривиально и приходим к утверждению теоремы. Если же N > X1/K, то c(n) равно либо 1, либо ln n. Применяя к сумме значений характера оценку Виноградова-Пойа, а сумму по переменной u оценивая аналогично рассуждениям предыдущего случая, мы

X 1 -є

имеем оценку R __________ уже при D X ?-4є .

ФР)

Теперь утверждение теоремы получается преобразованием Абеля.

Литература

1. Линник Ю.В. Дисперсионный метод в бинарных аддитивных задачах / Ю.В. Линник. -Издательство ЛГУ, 19б1. —208 c.

2. Постников А.Г. О сумме характеров по модулю, равному степени простого числа // Изв. АН СССР, Серия математическая. —1955. —19;1. — C.11-1 б.

3. Линник Ю.В., Барбан М.Б., Чудаков Н.Г. О простых числах в арифметической прогрессии с разностью, равной степени простого числа// Acta arithm. J. - 19б4. — 9;4.-C.375-390.

4. Петечук М.М. Сумма значений функции делителей в арифметических прогрессиях с разностью,равной степени простого нечетного числа // Изв. АН СССР, Серия математическая.- 1979. - 43;4. - C.892-908.

5. Карацуба А.А. Распределение произведений сдвинутых простых чисел в арифметических прогрессиях //Докл. АН СССР. -1970. - 192;4. - C.724-727.

6. Чубариков В.Н. Уточнение границы нулей L-рядов Дирихле по модулю, равному степени простого числа// Вестник Московского университета. - 1973. - 2. - С.4б-52.

ON DISTRIBUTION OF PRIME NUMBERS IN ARITHMETIC PROGRESSION WITH PRIME-POWER DIFFERENCE

S.A. Gritsenko, M.V. Shevtsova

Belgorod State University,

Pobedy str., 85, Belgorod, 308015, Russia, e-mail: gritsenko@bsu.edu.ru, shevtsova@bsu.edu.ru

Abstract. The problem of asymptotic formula for number of primes not exceeding X and lying in arithmetic progression with difference D = p0 where p0 3 is the fixed prime number and

D X3/8e (lnlnX)2 is studied.

Key words: arithmetic progression, primes, estimates.