Научная статья на тему 'Об одном варианте проблемы делителей Титчмарша с полупростыми числами специального вида'

Об одном варианте проблемы делителей Титчмарша с полупростыми числами специального вида Текст научной статьи по специальности «Математика»

CC BY
163
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ПРОБЛЕМА ДЕЛИТЕЛЕЙ ТИТЧМАРША / БИНАРНАЯ АДДИТИВНАЯ ЗАДАЧА / ПОЛУПРОСТЫЕ ЧИСЛА / МЕТОД ТРИГОНОМЕТРИЧЕСКИХ СУММ / КОРОТКИЕ (ВИНОГРАДОВСКИЕ) ПРОМЕЖУТКИ / TITCHMARSH''S DIVISOR PROBLEM / BINARY ADDITIVE PROBLEM / SEMISIMPLE NUMBER / METHOD OF TRIGONOMETRIC SUMS / SHORT VINOGRADOV INTERVALS

Аннотация научной статьи по математике, автор научной работы — Зинченко Н. А.

В работе рассматривается задача о числе решений уравнения p1p2 xy = 1, где p1 и p2 простые, а х и y натуральные числа, при условии, что числа p1p2 лежат в промежутках [(2m) c, (2m + 1) c), где m € N,c € (1, 2], а простые числа p1 и p2 удовлетворяют дополнительным условиям.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The problem of solution number of the equation p 1p2 xy = 1 where p 1 и p 2 are primes and x and y are natural, a >= 2 is under consideration. The problem is solved at the condition that numbers p 1p 2 are displayed in [(2m) c, (2m + 1) c) where m € N,c € (1, 2] and primes p 1; p 2 satisfy some additional conditions.

Текст научной работы на тему «Об одном варианте проблемы делителей Титчмарша с полупростыми числами специального вида»

НАУЧНЫЕ ВЕДОМОСТИ |^Ц Серия: Математика. Физика. 2015. №5(202). Выл. 38 53

MSC 11Р21

ОБ ОДНОМ ВАРИАНТЕ ПРОБЛЕМЫ ДЕЛИТЕЛЕЙ ТИТЧМАРША С ПОЛУПРОСТЫМИ ЧИСЛАМИ СПЕЦИАЛЬНОГО ВИДА

Н.А. Зинченко

Белгородский государственный университет, ул. Победы, 85, Белгород, 308015, Россия, e-mail: zinchenkoQbsu.edu.ru

Аннотация. В работе рассматривается задача о числе решений уравнения — xy = 1 где pi и p2 — простые, a x и у — натуральные числа, при условии, что числа piPa лежат в промежутках [(2m)c, (2m + 1)c), где m € N,c € (1, 2], а простые числа pi и p2 удовлетворяют дополнительным условиям.

Ключевые слова: проблема делителей Титчмарша, бинарная аддитивная задача, полупростые числа, метод тригонометрических сумм, короткие (виноградовские) промежутки.

1. Введение. Задача о получении асимптотической формулы для числа решений уравнения p — 1 = xy, p ^ и, впервые поставленная в работе 1930 года [1], по имени автора этой статьи, получила название проблемы делителей Титчмарша. В [1] эта задача была решена в предположении справедливости расширенной гипотезы Римана. Безусловное доказательство асимптотической формулы в задаче Титчмарша было получено Ю.В. Линником [2] е помощью разработанного им дисперсионного метода.

Заметим, что после появления в 1965 году теоремы Бомбьери-Виноградова (ем. [3] и [4]) для решения многих аддитивных задач вместо дисперсионного метода стала применяться эта теорема. Например, в работе Д.В, Горяшина [5] е помощью теоремы Бомбьери-Виноградова были решены некоторые задачи, являющиеся аналогами проблемы Титчмарша.

С работы И.М. Виноградова 1940 года [6] началось решение аддитивных арифметических задач е простыми числами из «коротких» («виноградовеких») промежутков. Такое название получили отрезки натурального ряда вида

[(2m)c, (2m + 1)c) (1)

где m € N, и c € (1, 2]. (В работе [6] c = 2.)

Задачи е простыми числами из промежутков вида (1) рассматривались, например, в работах С.А. Гриценко [7], [8], А. Балога и Дж. Фридлендера [9].

Отметим, что в работах [7]- [9] аддитивные задачи являются тернарными, или решаются по схеме тернарной задачи. Однако, бинарные аддитивные задачи е простыми числами из промежутков (1), к которым относится и проблема Титчмарша, в настоящее время не поддаются решению. Это связано с отсутствием аналогов классической теоремы Бомбьери-Виноградова, равных ей по силе, для простых чисел из промежутков вида (1).

Автором были решены некоторые бинарные аддитивные задачи с полупроетыми числами из «виноградовеких» промежутков ( [10]- [13]). В настоящей статье решается

54

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

задача, которую можно считать вариантом проблемы делителей Титчмарша. Доказывается теорема о числе решений диофантова уравнения p1p2* — xy = 1 которая была сформулирована в работе [11].

Теорема. Пусть п ^ 0 > 0, а ^ 2 - натуральные числа, Q = exp(VIn п ), Ai = [1 ,nQ-i], A = [1 ,Q1/a\H

G(n)

E E Ei

PiSAx P2&A2 , x,y PiP2“-xy=1

Gi(n)

Тоща справедливо равенство:

E E

PiSAx

P2SA2, PiP2“-xy=1,

{|(Р1Р2а)1/с}<|

Ei-

x,y

Gi(n) = 1 G(n)(l + 0(Q~V)),

(2)

где

G(n) = cU(Xy(Q'/°) Inn (l + 0(M=)) .

n > 0

абсолютная постоянная, c0

\ ^ y2(d)

h A‘l)d '

2. Обозначения и вспомогательные утверждения. Будем использовать следующие обозначения:

c,c1,c2, ■■■ — положительные постоянные, в различных формулах, вообще говоря,

различные;

a — произвольное натуральное число, a 2 2 p, p1,p2 — простые числа;

fm

\n.

ь^га "m ~ биномиальный коэффициент; Li х = J

2

т(n) — число различных натуральных делителей числа n;

^(n) — функция Эйлера (число натуральных чисел, непревосходящих n и взаимно простых с n);

y(n) — функция Мебиуса, которая равна единице при n = 1, равна нулю, если p2|n и равна (—1)fc , еели n равно произведению к различных простых сомножителей;

(a, b) — наибольший общий делитель чисел a и b; [a,b] — наименьшее общее кратное чисел a и b;

{ж} — дробная часть числа ж;

f (ж)

запись /(ж) ~ д{ж) означает, что lim ——— = 1.

x g(x)

В процессе доказательства мы будем использовать вспомогательные теоремы.

Лемма 1. [14, с. 50] При N > 2 и целом положительном I для т(m)

(т(m))1 < N(lnN)21-1 .

0 <m^N

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

55

Лемма 2. [15, с. 20] (теорема Бруна-Титчмарша) Для натуральных чисел а и к, удовлетворяющих условиям (а, к) = 1 и к Д х выполняется:

п(х, а, к)

Е

p Дx, p =a mod k

(2 + r])x д{к)\п{2х/к) ’

где п > 0 и х > х0(п)-

Лемма 3. [16, с. 476] (теорема Бомбьери-Виноградова) Пусть Lix а Д к, (а, к) = 1

п(х, а, к) = 1.

p Д х, p =amodk

Тогда для всякого A > 0 найдется такое B, что

Е

&Д\/ж(1п ж)

B

max

(i,k)=i

п(х, l, к)

Li х

о

х \ In"4 X'

X

шири

2

Лемма 4. [3, с. 85] Пусть А1,..., Ап — целые числа,

J = Jk,n(P))

/0 J 0

Е-

xДP

2ni(aix+---+anxn)

2k

da1... dan

— среднее значение модуля тригонометрической суммы и Jk,n(A1,..., Ап) — число решений системы уравнений

х1 + ' ' ' + xk — ^+1 — ■ ■ ■ — x2k = А1 ,

гДП I I тп тп ________ тп \

х1 + + xk xk+1 ■ ■ ■ x2k = Ап ,

1 Д х1,... ^2k Д P.

Тогда справедливы следующие соотношения:

Д Jk,n(A1, . . . , Ап)

Г1 Г1

Ю J 0

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Е-

хДР

>2ni(aix+---+anxn)

2k

e-2ni(aiAl+-+anAn)da1 ...dan;

b) Jk,n(A 1, . . . , Ап) Д Jk,n(0, . . . , 0) Jk,n(P) J 1

c) J] Д,п(А1,..., Ап) = P2k;

Ai,...,An

d) |А11 < кР, ..., |Ап| < кРп ;

56 НАУЧНЫЕ ВЕДОМОСТИ УЛЯ Серия: Математика. Физика. 2015. №5(202). Выл. 38

2 +

е) J= Jk,n(P) > (2к)-пР2к~^1.

Лемма 5. ( [3], е. 94) Пусть

a 9

а = - + — , (a,q) = 1 , q^l, \в\ ^ 1. q q2

Тогда при любом в, U > 0, P ^ 1 выполняется

tt,шп (U') - 6 (i + 0 {и + «1п9) •

3. Доказательство теоремы. Доказательство разобьем на несколько этапов.

1. Сначала получим асимптотическую формулу для G(n),

Так как Q = exp(Vlnn), то

Ai = [1, nQ-1], A2 = [1, Q1/a].

Преобразуем

G(n)= ^ 1.

PiSAi p2 GA.2 ,

pip2“—жу=1

где

Ограничим промежуток изменения переменной x положив

G(n) = 2G(n) - G"(n),

g» = A A A1

Pi&Ai P2&A2 , х^Дп P1P2—xy=1

(3)

о) A A A 1 ■

Pi&Ai P2&A2 , х^Дп,

pip%-xy=l y<y^

Сначала оценим сумму G' (n), представив ее в виде суммы двух слагаемых:

где

G"(n) = G1(n) + G'2(n),

о» = A A A 1

pi^Ai P2&A2 , х^д/nQ 1 ,

PiP2 xy= 1

g«o=A A A i-

Pi£Ai P2&A2 , л/nQ 1 <x^^n, Р1Р2~ху=1

(4)

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

57

Заметим, что

G'[(n) < ^ т(m — 1)t1(m) ,

m^nQ-1 +1

Где

ti(m) = 1 •

pipja=m ,

PieAx,

P2&A2

Очевидно, что t1(m) = 1, если m = pa+1 или m = p1p2a и t1(m) = 0 во всех других случаях. Следовательно,

Gi(n) < т(m — 1) •

m<nQ-1 +1

Применяя лемму 1, получим:

G1 (n) ^ nQ 1 ln n •

Оценим G^(n). Так как в случае, когда p2 | x, уравнение p1p2a — xy = 1 не имеет решений, то

G'i(n)= Е Е Е 1 =

Дга(5_1<ж^Уга Р2&А2 , Pi&Ai ,

(p2,x)=1 pi=p2mod x

= 7Г(И<5~1:Т2>Ж) ,

pnPQ^1 <xX-pn P2&A2 ,

(P2,x) = 1

где p2 — решение еравнения p^t = 1 mod x.

Применяя теорему Бруна-Титчмарша, получаем:

сад < 5]

Дга(3-1 < иДДга

1

^(x)

(2 + rj)nQ 1

2^ In 2n

P2€A2 Qx

n

Q ln n

E

P2&A2

1

^(x) •

Для оценки внутренней суммы используем формулу, доказательство которой можно найти в [18, с. 71]:

Е

1<n<X

1

n

ln X + y + O

1

X

1

где y ~~ постоянная Эйлера. С помощью этой оценки и формулы для вычисления значений функции Эйлера <^(x) получаем:

Е

1

p(m)

Со ln X + O (1), Со

r^(r)

(5)

58

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Используя (5), получаем

Подставляя оценки для G'((n) и G2(n) в (4), получим:

G>) « .

Q In n

Теперь оценим сумму G'(n), представив ее в виде суммы двух слагаемых:

G(n) = Gl(n)+ G2(n), (6)

где

Gi(n) = 5] 5] 5] !>

Pi&M P2&A2, xsi^/nQ-1

PlP‘2' — Xy=l

G’M У у у т

P1&A1 Р2&А2 , y/nQ^1 Кх^у/п

pip2“-xy=1

Заметим, что сумма G'2(n) оценивается так же, как и G'2(n). Поэтому

<?,(») < . и

Рассмотрим сумму G1(n) и получим для нее асимптотическую формулу. Имеем:

G[(n) = Y ^(nQ~\p*2,x) =

x^y/nQ^1 P2&A2 ,

(p2, x)=l

K§)E У

1

чОУ 7 , cp(x)

P2&A2 x^y/nQ 1 ,

(p2, x)=1

o{ у у

P2&A2 x^y/nQ 1 , (x, p2) = 1

n

7Г ( q>P2,X

Li(§)

^(x)

где P2 _ решение еравнения p%t = 1 (mod x).

Отсюда, в силу теоремы Бомбьери-Виноградова, получим

1

с;<п) = ы(ц) У У

4 Р2&А2 x<VAQ-\ V[ ) 4

(Р2, x)=1

+ oQIr((317“)(inn)-1)

Рассмотрим внутреннюю сумму

У

x^y/nQ 1

(Р2, x)=1

1

р(х) '

НАУЧНЫЕ ВЕДОМОСТИ Е1Д Серия: Математика. Физика. 2015. №5(202). Выл. 38 59

Имеем

Е

х^-л/nQ 1 (P2, x)=1

Е

х^-л/nQ 1

1 Е 1

x\^y/nQ 1р2

/ У •

<Р(х) ¥>(ж) . -1 ^(Ж1Т2)

Так как ^(аЬ) ^ <р(а)<р(Ь), то, применяя оценку (5), получим:

Е

1 1

Е

Х<

y/nQ гр2 1

- 'f{xin) п ~ 1 и<Дг‘ ^

1 Лип

V Р2

Из (5) следует, что

~tg= coHVnQ + o(i),

' <р{х)

xi^pnQ

где

Поэтому

P2(d)

со = 2^

d=1

<p(d)d

Е Дх = ^п(Уйе-‘)+о/1п"

х^-л/nQ 1 (p2, x)=1

р{х)

Р 2

Просуммируем обе части полученного равенства по p2 £ Л2. Получим:

Е Е

1

д , <р(х)

Р2&А2 х^л/nQ 1 ,

(Р2, x) = 1

co\n(y/nQ l)n:(Qlla) + О (Inn lnln Q).

Поэтому

G[(n) = e„Li(M УДА InfVSg-1) (1 + o(^)) .

,QJ V V ln n.

Подставляя оценки для G1(n) и G2(n) в (6), получим:

ff(") = ?u(£)'w,/‘)tan(1 + 0(£!)

2. Рассмотрим сумму

Gi(n)= S S S 1 •

pxSAx P2&A2 , x,y

P1P2 xy= 1,

{\(P1P%)1/C}<\

Считаем далее, что n ^ n0 > 0, где n0 — достаточно большое число. Введем функцию

1, сел и 0 < х < 1/2 ,

Х(х)

0, сел и 1/2 < х < 1

(8)

60

НАУЧНЫЕ ВЕДОМОСТИ

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Серия: Математика. Физика. 2015. №5(202). Вып. 38

и продолжим ее периодически на вею числовую прямую.

Воспользуемся леммой о «стаканчиках» И.М. Виноградова ( [19], е. 23) и выберем параметры г, Д, а, в двумя способами.

Сначала определим эти параметры так:

г = [In п], Д = , а = А, &= \ - А.

In n 2

Обозначим через Xi(x) функцию, существование которой следует из леммы о «стаканчиках». Затем, при тех же г и Д, положим а = —Д, /3 = \ + Д, а соответствующую функцию обозначим как x2(x).

Тогда из леммы о «стаканчиках» следует, что x1(x) ^ x(x) ^ X2(x) , и, следовательно

G11(n) ^ G1(n) ^ G12(n) ) (9)

где

Gu(n) = Y1 К (№“)1/с) , г =1,2.

Р1&А-! Р2&А2 иДДга,

pip2“-xy=1

Заметим, что если будут получены асимптотические формулы для Gn(n) и G12(n) с совпадающими главными и остаточными членами, то из неравенства (9) следует, что такая же формула будет верна и для G1(n).

3. Займемся подготовкой к выводу асимптотической формулы для G11(n). Раскладывая функцию Xi {\{PiP2 в РЯД Фурье, получим

Gn(n) = (1/2 — 2A)G(n) + R1(n) + R2(n), (10)

R1(n) = |gmllVm(n)l >

0<|тЩА-1 ln n

R2(n) 'У ] |gm||Vm(n)| ,

|m|>A-1 ln n

Vm(n) = ^ ^ t2(p1pa — 1)enim(pip2“)1/c ,

piSAi p2sA2 ,

pip 2 xy= 1

t2(k) = ^ 1 ,

xy=k, x^.y/nQ~1

gm — коэффициент Фурье с номером m для функции xn Оценим R2(n). Из леммы о «стаканчиках» следует, что

|gm| ^

1

п|т

г

пД | m

Г

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

61

Кроме того,

|V»| ^ Gi(n) ^ П.

Поэтому

' R2(n)=o(n У

Оценим R1(n). Имеем

|m|>А 1 ln n

д 1 т

0(1).

|Ri(n)| ^ Е

1

0<|m|< А 1 ln n

n|m|

|Vm(n)|

И

|Vm(n)| ^ £ | Y, *2(nip2° - 1)enim(nip2)1/c

nj^n/Q P2&A2

где n1 пробегает множество натуральных чисел.

Применяя неравенство Коши [3, е. 87], получим

|Vm(n)|2 ^ n/Q ^ t2(nipa - 1)enim(niP2“)1/c

n1^n/Q P2&A2

(И)

2

= *2(WiP2°- l)i2(Wi(Pa)

P2&A2 p'2&A2 n1^n/Q

1)e'nim(p'a/c — (p,2)a/c)n1/c __

= g(To(n) + r1(ri)), (12)

где сумма V0(n) соответствует слагаемым, в которых p2 _ p'2, а в сумме V1(n) p2 _ p'2.

Оценим V0(n). Заметим, что из мультипликативноети функции т(n) и формулы для вычисления ее значений следует, что т(ab) ^ т(а)т(b), Кроме того воспользуемся леммой 1. В результате, получим

Vo(n) ^ Y1 т2(nip2 - 1) ^

P2&A2 n1<n/Q

^ (a + 1)2Qi/a т2(ni) < nQi/a-:L ln3 n. (13)

n^nQ-1

Перейдем к оценке Vi(n). Заметим, что Vi(n) < ^ ^ ^ t2(ni(p2)a - 1)t2(ni(p2)

P2&A2 p'2£A2 , nrAnQ-1

P2=p2

1)e2ni(m/2)(pa/c-(p2)a/c)n1/c ^

^ Z) f (n),

p2&A2 p'2€A2

(14)

62

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

где

и

fH = s

ж 1У ОДУ1 X2<-\/nQ-1

s(m)

e2ni(rn/2)(p2/c-(p'2)“/c)nl/C

ni^nQ-1 , nip2a=1 modxi , ni(p2) a = 1mod X2

Будем считать, без ограничения общности, что (p2,xi) = 1 и (p'2,x2) противном случае сумма будет пустой, то сеть равной нулю.

Пусть p2q2 = 1 modx1 и p'2q'2 = 1 modx2. Решим систему сравнений:

(15)

1, так как в

{x = q^mod x1 , x = (q2)“modx2 .

Она разрешима тогда и только тогда, когда (x1,x2)|(q2“ — (q2) “) и, в случае разрешимости, ее решение имеет вид:

x = z2 + mD ,

где D = [x1,x2] (ем. [3, с. 65, 145]).

Таким образом,

s(m) = е2тя^+1)1с , (16)

где

*=у (р¥ - МО ■ {=%■

Очевидно, что 0 < £ < 1.

Чтобы вывести асимптотическую формулу для G11; требуется оценить s(m),

4. Займемся оценкой тригонометрической суммы s(m) из (16).

Представим эту сумму в следующем виде:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

s(m) = s1(m) + s2(m),

где

s1(m)

Очевидно, что

Е

=2пгхЦ+1)1/с

s2 (m) =

32nix(§+1)1/c

DQ1’6

| s2(m) |^

^ 1< П

^ ~ - DQ1,5

n

Поэтому

s(m) = s! (т) + °(щц)

(17)

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

63

Разобьем сумму si(m) на O(ln n) сумм вида:

s1(M) = в2ж^+1)1/с,

где

n

DQ1’5

< M <M1 ^ 2 M ,

M1 ^

n

Заметим, что, так как x1 ^

и x2 ^

то

D = [xi,x2] ^ xix2 ^ nQ 2 ,

поэтому

n

м > * 0м

и, следовательно, сумма s1(M) содержит «сравнительно много» слагаемых. Будем оценивать s1(M), считая, что

п <м< п

DQ1-5

Сначала рассмотрим случай, когда

DQ

1 < D < n0’99 ^ M >

n

0’01

- Q1’5

Если

1

M '10

то, применяя лемму о приближении суммы интегралом [3, е. 19], получим

г М1

S1 (M)

e2niK(?+1)1/cdl = O( 1) = O(M1-1/c).

' M

В дальнейшем считаем, что |к|M1/c/M > 1/10 и применим для оценки суммы s1(M) метод ван дер Корпута [20, е. 85-94].

Определим натуральное число к из условия:

1 ^ И Мх!с ^ 1

М2 < Мк - м ■

Если к = 2, то

\x\Mlc _ 1

м2 ~ м '

Оценивая s1(M) то второй производной, получасм, что при к = 2

Д(М) = 0(у/М).

64

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

Рассмотрим случай к ^ 3 и оценим s1(M) то производной порядка к [3, с. 66-70]. Имеем

s"i(M) < M1-5 ,

где 6 = 6 (к) > 0. Случай D < n0,99 полностью рассмотрен.

Пусть теперь

0 99 |к|М1/c 1

D > п ’ , -L-L—— > — .

’ М 10

Оценку s1(M) будем вести по схеме оценки дзетовой суммы, принадлежащей И.М. Виноградову [3, с. 66-70]. Пусть a = [M5/11 ], Тогда

1

si(M)\ < — ^2 \W(m)\ + 2a2

M<m4,M 1

где

W (m) =

(m) = e

u=1 v=1

Применим формулу Тейлора:

2 nix(£+m,+uv)1/c

(i + m + uv)1/c

E j (i + m)1/c-j (uv)j + r1+CJ (i + m)

j=0

Таким образом

uvy + «2 \ r + i J(i + m)1/c r V(r+1), |«2| ^ 1.

a2 \r+1

где

e2 «4C™+»)1/£ = e2KiF(uv) + 27Г0зИ Д + Cn,)1/Cf——-)

Vi + mJ

F(uv) = ^2 ^1/C^ (i + m)1/c-j(uv)j

|«з| ^ 1

Введем обозначения:

X,

(j), T = |K|(i + m)1/c

'XM , _M/c _ sgn(x) Г

+ rn,-) '

Тогда

(a2 \ r

—J a2M~1/n , |04| ^ 1

w = EE

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2 niF (uv)

u=1 v=1

a a

EE

u=1 v=1

2ni(aiuv+a2 u2v2 +-|-ar ur vr)

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

65

Выберем натуральное число r из условия

r — 1 <

111пТ In М

Д r

и заметим, что, так как D > 0, 99, то |к| Д n0,99/c. Поэтому го неравенетва MD Д nQ 1 заключаем, что M < n0,01. Следовательно,

1пТ In М

In

2

In п°>01

99

>-----

c

97

Т

и указанный выбор r возможен.

Следуя схеме Виноградова, получим:

|W

|4 к2

Д

8k2-4к т2 a j i

k,r

(0,..., 0)П

а

j >

j=i

где Jk,r(0,..., 0) определяется в условии леммы 4 и

а,

X] min(2A, >

\Ю \<Aj

11 а, Д,11

1

A, = kaj.

При

4 ln T 8 ln T

ln M

ln M

оценим а, по лемме 5, а при ост альных j, тривиально, — вели чиной (2A, )2

Итак, пусть

В силу леммы 5, имеем

4 ln T 8 ln T

ln M

2A,

ln M

^ 6 + 1 j (24- + Qj ln Qi) <

«6<2Д)2(^ + д + 4(Ду)'

>

-]•

где

— L

Оценим сверху сумму

T

1 1 q,

- + -г- +

q, A, 4(A,)2

66 НАУЧНЫЕ ВЕДОМОСТИ УЛЯ Серия: Математика. Физика. 2015. №5(202). Выл. 38

Из определений Aj, qj и выбоpa j следует, что

■ 1

Aj ^ а7 ^ f-M5/nV ^ -Mnw = 1Т2о/п j V2 / 2" 2Г

Mj M4ln T/ln M о

----=----= T3

T

A2 4t

T

Оценим сверху xj

x3

1/c\ -1 c2

j

j!

C2 C2

----- ' 7-----ГТ7-------ГТ - -- (j — l/c — 1)^ ------j2 ^ ------r'2

c — 1 (2 — l/c)(3 — 1/c) u ' ’ c-lJ c-l

Итак, при

4 ln T 8 ln T

ln M

ln M

J_ I _L I ^ I < I _L I orr-20/ll , ^ 1firT_3/n I < ^ T~3/11

С.СмДц (с-d lb J jS-i •

Оценим ln qj при этих ж значениях j:

ln q3- = ln

^ + m)1 Sh(-A4'.2'.^)« ln (451 Г ) « 7151 Inn .

T V c — 1 T J V c — 1 / c —1

В итоге получаем, что при

4 ln T 8 ln T

ln M

ln M

42

(1000)r T-3/11 ln n(2Aj)2 .

Следовательно,

lb ^

j=1

(42)r(1000)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(c-l)2"

■(1пгг)гТ-ттта Д(2А,-):

j=1

Окончательно получаем

тт ^ (168fc2)" ,ггг_ш.1пт_ г+ 11а1 ^ 7-------С47ЧП пУТ 11 1пМа

j=1

(c - 1)

НАУЧНЫЕ ВЕДОМОСТИ Е1Д Серия: Математика. Физика. 2015. №5(202). Выл. 38 67

Выберем натуральное число т из условия ет 1 < 10000r ^ ет и применим теорему о среднем И.М. Виноградова ( [3], с. 89), положив в ней к = тт:

Jk>r(0, . . . , 0) ^ (гт)6ГТ(2rfrT(r+l)a2k-r(r+l)/2 ^ ^ .

Заметим, что

так как т/т ^ ln 10000. Поэтому

Кроме того,

Значит,

т < 1 +

< e-T/r 1 < ,

10000 ’

i-l)T < ar2/10000

T /

11 ln T 22 ln T

<

ln M ln M

f2/10000 < М5/11Л.^ < TlnT/401nM_

Отсюда получаем:

|W^2 У к12к (2r)8fc(r+1) ((с168^}2Гг (lnn)r10000r2r~lnT/lnMa8fc2 и, следовательно,

|W1| ^ k3/kT-ln T/4fc2 ln Ma2 ^ c1a2 (ln n)r/4k2T-lnT/4k .

Заметим, что

f / ln T \ 2 \ 2 / ln T \ 4

4fc2 S 4(r2ln 10000)2 > 484 ((—) ln 10000j > e2(—)

поэтому

ln3 M

IЮ| « c1a2e-TTT-(ln ny/** , (7 > 0).

ln T

Далее, учитывая, что M > Q(ln n) c, имеем

M > ^ln n/2 ,

Поэтому окончательно получаем, что

-,2^—7i Vlnn

In3 М > - \/ln3 гг.

|W1| ^ c2a2e~

С2 > 0 , Yi > 0 .

Следовательно,

n

Й(М)«

—yV ln n

T

2

68 НАУЧНЫЕ ВЕДОМОСТИ УЛЯ Серия: Математика. Физика. 2015. №5(202). Выл. 38

, пЫп

Используя полученные оценки, из (17) имеем:

s(m) <С nQ~lе~1уГ^D~l In п + nQ~1,5D~1 < nQ-1e"7Vlnra/2n-1

где D = [x,x2].

(18)

5. Продолжим вывод асимптотической формулы для Gn(n). Из формул (10) и (11) (см. п. 3) следует, что

Gn(n) — (2 “ 2A^jGi(n) + О | у4

, 0<|m,|<A-1 lnn

n\m\

Vm(n) \

где Д = (ln2 n) 1,

Из (12) и (13) получаем

Vm(n) |2^ ^Vi(n) + o(n2Q1/a 2ln3nj .

Q

Поэтому, для получения асимптотической формулы нужна оценка V1(n). Из (14) имеем

Vi(n) < у уf (n) >

P2&A2 p'2&A2

где

/w = •

xi^y/nQ-1 x2^y/nQ~1

Подставив в эту формулу оценку (18), получим:

f(n) < nQ-'e-i^ У У D~\

x-i^^JnQ-1 x2^y/nQ~1

Оценим сумму в этом неравенстве:

(Xi,X2)

Е Е ^ = Е Е

xi^y/nQ 1 X2<-\/nQ 1 xi^y/nQ 1 X2<-\/nQ 1

X1X2

E E —

' X\X2 4

xi^^/nQ-1 X2 d\(xi,X2)

V(d)

Ет( E x-)2«hi>n.

d?

d^^nP-1 x4,^nQ^1d^1

1

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

69

Поэтому

f (n) ^ nQ 2 ln3 n. Отсюда и из (14) следует, что

|V1(n)| ^ n2Q1/a 3 ln3 n. (19)

Используя оценки (13) и (19), из (12) получим:

то есть Поэтому \Vm(n)\2 < n2Q~2+^e~xV^ + n2Q~2+1* In3n < \Vm(n)\^nQ-1+^e-s^ . \Ri(n)\ nQ~1+*e~In2 n . (20)

Из (11), (20) и (10) следует, что для Gn(n) получена асимптотическая формула:

Gn(n) = ^G(n)(l + 0(Q-v), г/ > 0 .

Для G12(n) аналогичными рассуждениями выводится асимптотическая формула с такими же главным членом и остатком. Поэтому, из (9) следует, что для G1(n) верна асимптотическая формула:

Gi(n) = )с(п)(1 + ОВД-’). ч>0.

то есть теорема доказана. ■

4. Заключение. Рассмотренная в статье аддитивная бинарная задача является аналогом проблемы Тичмарша. Подобная задача была решена в работе [10] для уравнения p1p2 — 1 = ту при а > 2. Особенность задачи, решение которой представлено в данной работе, заключается в том, что, при а > 2 последовательность p1pc^ является более редкой, чем последовательность p1p2 (при больших а она «близка» к последовательности простых чисел).

Литература

1. Titchmarsh Е.С. A divisor problem // Rendiconti del Circolo Matematico di Palermo. -1930. - 54. - P.414-429.

2. Линник Ю.В. Дисперсионный метод в бинарных аддитивных задачах / Л.: Изд-во ЛГУ, 1961. - 208 с.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

3. Виноградов А.И. О плотностной гипотезе для L-рядов Дирихле // Известия АН СССР, серия Математическая. - 1965. - 29; 4. - С.903-934.

4. Bombieri Е. On the large sieve // Mathematica. - 1965. - 12. - P.201-225.

5. Горяшин Д.В. Аналоги проблемы делителей Титчмарша // Чебышевский сборник. -2007. - 8;2. - С. 11 55.

70

НАУЧНЫЕ ВЕДОМОСТИ

Серия: Математика. Физика. 2015. №5(202). Вып. 38

6. Виноградов II.M. Некоторое общее свойство распределения простых чисел // Математический сборник. - 1940. - 7. - С.365-372.

7. Гриценко С.А. Тернарная проблема Голвдбаха и проблема Голвдбаха-Варинга с простыми числами, лежащими в промежутках специалвного вида // Успехи математических наук. - 1988. - 43; 4 (262). - С.203-204.

8. Гриценко С.А. Три аддитивные задачи // Известия РАН, серия Математическая. -1992. - 56;6. - С.1198-1216.

9. Balog A., Friedlander K.J. A hybrid of theorems of Vinogradov and Piatetski-Shapiro // Pacific Journal of Mathematics. - 1992. - 156. - P.45-62.

10. Зинченко H.A. Бинарная аддитивная задача с полупростыми числами специалвного вида // Чебышевский сборник. - 2005. - 4;2(14). - С.145-162.

11. Зинченко Н.А. Две бинарные аддитивные задачи // Сибирские электронные математические известия. - 2006. - 3. - С.352-354.

12. Зинченко Н.А. Об одной аддитивной бинарной задаче // Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика. - 2007. - 1;7. -С.9-13.

13. Зинченко Н.А. Асимптотическая формула для числа решений диофантова уравнения с полупростыми числами из коротких промежутков //Научные ведомости БелГУ. Серия Математика. Физика. - 2014. - 7(183);35. - С.49-60.

14. Виноградов II.M. Основы теории чисел / СПб-M: Лайв, 2004. - 240 с.

15. Хооли К. Применение методов решета в теории чисел/ М.: Наука, 1987. - 136 с.

16. Прахар К. Распределение простых чисел / М.: Мир, 1967. - 511 с.

17. Карацуба А.А. Основы аналитической теории чисел / М.: Наука, 1983. - 240 с.

18. Чандрасекхаран К. Введение в аналитическую теорию чисел / М.: Мир, 1974. - 187 с.

19. Виноградов II.M. Метод тригонометрических сумм в теории чисел / М.: Наука, 1971. -162 с.

20. Чанга М.Е. Методы аналитической теории чисел / Ижевск: Регулярная и хаотическая динамика, 2013. - 228 с.

ABOUT A VARIANT OF TITCHMARSH’S DIVISOR PROBLEM WITH SEMISIMPLE NUMBERS OF A SPECIAL TYPE

N.A. Zinchenko Belgorod State University,

Pobeda St., 85, Belgorod, 308015, Russia, e-mail: zinchenkoQbsu.edu.ru

Abstract. The problem of solution number of the equation — xy = 1 where p1 и p2 are primes and x and y are natural, a ^ 2 is under consideration. The problem is solved at the condition that numbers p1pa are displayed in [(2m)c, (2m + 1)c) where m € N,c € (1, 2] and primes pi p2 satisfy some additional conditions.

Keywords: Titchmarsh’s divisor problem, binary additive problem, semisimple number, method of trigonometric sums, short Vinogradov intervals.

i Надоели баннеры? Вы всегда можете отключить рекламу.