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

ЧЕБЫШЕВСКИЙ СБОРНИК Том 13 Выпуск 2 (2012)

Труды IX Международной конференции Алгебра и теория чисел: современные проблемы и приложения, посвященной 80-летпю профессора Мартина Давидовича Г риндлингера

УДК 511

ОБ ОДНОМ НЕРАВЕНСТВЕ, СВЯЗАННОМ С ПРИБЛИЖЕНИЕМ ЧИСЛА ЭЛЕМЕНТОВ В КОНЕЧНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ СПЕЦИАЛЬНОГО ВИДА

Е. В. Вахитова, С. Р. Вахитова (г. Воронеж)

Аннотация

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

In this paper the theorem on one inequality connected with approximation for the element number in finite sequence of special kind is obtained.

1 Введение

В настоящей работе получено неравенство, связанное с приближением числа элементов в конечной последовательности значений неприводимого полинома от аргумента pq с ограничением на произведение pq. Здесь p и q — простые числа и p = q.

Пусть F(n) - неприводимый полином степени g с целыми коэффициентами, где n, g Е N, и n = pq. Рассмотрим конечную последовательность A значений неприводимого полинома F(pq), включая и одинаковые значения:

A = {F(pq) \p = q, (pq,F(0)) = l,pq ^ x, }, (1)

где x Е x > 1.

Пусть Beep > y0, q > yo,&yo = exp((lnlnx)3). Будем предполагать, что число d Е N и не делится на квадрат простого числа, т. е. свободно от квадратов.

Обозначим через Ай последовательность тех элементов из А, которые делятся на й :

Ай = {Г(рд) Е А\Г(рд) = 0(той й)}. (2)

Число элементов в последовательности Ай, включая одинаковые значения, обозначим через \Ай\ :

\Аа\ = \{Г(рд) Е А\Г(рд) = 0(той й)}\.

Пусть ш(й) - мультипликативная функция, такая, что X является приближением \Ай\, где X = X(х).

Поставим задачу:

получить неравенство для X, связанное с приближением числа элементов в конечной последовательности Аа, состоящей из значений неприводим,ого полинома Г (рд) натуральной степени д с целыми коэффициентам,и с ограничением на произведение рд, где р = д и Г (рд) делится, на, свободное от квадратов натуральное число й.

При этом будем применять сведения по теории сравнений из [1] и [2].

2 Основной результат

Теорема 1. Пусть й - натуральное число, свободное от квадратов, по-А

пликативная функция, ш(й), такая, что X, где

X = ^ 1, у0 = ехр((1п1п х)3),

РЯ^х Р>Уо, Я>У0

А

делятся, на, й. Причем для, X = X(х) выполнено неравенство:

х

X > 1п 1п х

1п х

х.

Доказательство. Для числа элементов в последовательности Ай получим:

АЛ = £ 1= £ £ 1.

рд^х 1^.т^.й рд^х

Е(рд)=0(тоё й) Е(т)=0(тоё й) рд=т (тоё й)

(рдЕ (0)) = 1 (т,й) = 1 Р>У0,д>У0

р>У0,д>У0

Обозначим внутреннюю сумму через п(х; й,т) при (т,й) = 1 : п(х; й,т) = 1, (т,й) = 1.

рд^х рд=т (тоё й) р>У0,д>У0

Тогда получим для \Ad\ следующее равенство:

\Ad\ = ^ n(x; d,m).

l^m^d F(m)=0 (mod d)

(m,d)=l

Обозначим через p(d) число решений сравнения F(n) = 0(mod d). Предположим, что p(p) < p для всех простых чисел p, причем p(p) < p — 1, если

p XF(0).

Обозначим через pl(d) число решений сравнения F(m) = 0(mod d) для (m, d) = 1.

Сравним функции р1 и р. Имеем:

Pi(d) = npi(p), v(d) = °, p\d

где pl(p) — число решений сравнения F(m) = 0 (mod p) при p\m, a n(d) — функция Мебиуса, которая определяется следующим равенством:

( 1, n = 1,

/i(ri) = < (—1)s, n = pip2...ps,

I p2\n,

где n,s E N, pl; p2, ..., ps — попарно различные простые числа.

Если m = 0 не является решением указанного сравнения, то pl(p) = p(p). Если m = 0 является решением, то в pl(p) оно не учитывается, поэтому Pl(p) = p(p) — 1.

Так как m = ^ ^ода и только тогда, когда p\F(0), то

pl(p) = { Р(Р), p\F(0), pl(p>) I p(p) — 1, p\F(0).

Применим теорему Лагранжа ([1], гл. 15, §1, теорема 148, с. 128), соглас-

np pn Тогда получим, что p(p) ^ д, если p(p) < p, поэтому

pl(d) ^ p(d) ^ gv(d), /i(d) = 0,

если p(p) < p для всех p\d. Здесь v(d) — число различных простых делителей

d

Таким образом, для \Ad\, где Ad определена условием (2), получим:

\Ad\ = — (Фщ — 1+

l-^m^d' pq^x

F(m)=0(mod d) p>yo,q>yo

(m,d) = l

+ (п(х; йт) - —й £ 0)= 5] —й X

\ —( ) рд<х / / 1^т^,

рд^х ' у 14,т4,й

р>У0,д>У0 Е(т)=0(тоё й)

(т,й)=1

х £ ^ £ №й-т)- И Ч •

рд4,х 1^т^й ' рд4,х '

р>У0,д>У0 Е(т)=0 (тоё й) Р>У0,д>У0

(т,й) = 1

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

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

я(х,й)= ^2 (п(х;й,т) —(й) ^ 0 '

1^т^й ' Ф( ) рд^х '

Е(т)=0(тоё й) р>У0,д>У0

(т,й) = 1

Тогда получим, что

\Ай\ = —й Р1(й) ^2 1 + к(х,й).

^' ' рд^х

р>У0,д>У0

Обозначим через Е(х,й) выражение:

Е (х, й) = тах

1^т^й (т,й) = 1

п(х;Л'т) - —й) ^ 1

рд^х

р>У0,д>У0

Тогда для \Я(х,й)\ будем иметь следующее неравенство:

\Я(х,й)\ ^ р(й)Е(х,й).

А так как р(й) ^ ди(й), если ^(й) = 0, то получим

\Я(х,й)\ ^ ди(й)Е(х,й).

Поэтому можно выбрать

X = £ £х = £ = —() й,

рд^х 4 '

р>У0,д>У0

так что функция ш(й) является мультипликативной.

Получим неравенство для величины X, где

рд^х

Р>Уо,д>Уо

Представим последнюю сумму в виде двух слагаемых.

Ех - Е Е >+ Е Е >■

Уо<Р<\/Х

Для слагаемых суммы имеем:

Уо<р<л/Х У0<д<:р уо<д<т/Х т/Х<р^|

ЕЕ ^ ((р Щх/р) + Чре-^'/'П?)) “

<р<уХ Уо<д^х Уо<р<уХ 1 77

Ч * Ч»"-'■5))У

Е , Е,- Е ((щхй*°(Х-~^)У

Уо<д<^/Х у/Х<р^| Уо<д<^/Х

\п

х

+ °( ^Хе-‘^)))

\ Л — х \ '__________________________уо \ ^ 1+

^Х ^ р \п(х/р) ІП у0 ^

Уо<р<^Х Уо<р<^Х

1 2 у/х ^ / х \

+Х 2-^ а іп(х/д) іп х ^ + V 1па х)

Уо<д<^Х Уо<д<л/Х

2х 'у ___________1___________У^( -^х__________У0_^|

^ Vіп(х/р) іпуо\іп у/х іпУо)

У о <р<\/х

2у^ Vх Уо \ + Л х \

іп х \ \пу/х іп Уо) \1пА х)

іп х V іпу/х іп уо У ’ ~ ^іпА х

Отсюда получим, что

V — 2х V 1___________________+ у2 + п( х \

^х ^ р іп(х/р) іп2 х іп2 уо VіпА х)

У о <р<^х

Теперь оценим последнюю сумму. Применим лемму 1 работы [3], согласно которой

У'' 1 1 1 V — 1 + 0( 1 )

Х/ Р Ы(Х/Р) 1П ^ П 4 — 1 + 1П' ^ ’

где х ^ 2, 2 ^ и < V ^ В, В - некоторая постоянная.

Так как у0 = ехр((1п1п х)3), то

(1п 1п х)3 1п у0

У 0 = Х 1п х = Х 1п х ,

поэтому получим:

Т —1—= У

p in(x/p)

< < p in(x/p) n ^ 1 p in(x/p)

yo<P<yfx 1

x Inx ^ p < x 2

1 inOWtayobi + o(_L

in x 2—1 I in2 x

1 iJnx — Ыyo + o( 1

(in2 x) (in2 x^

1п Х 1п Уо \ 1п2 Х

После преобразований получим:

1 1 , , х 1 _ . „( 1

Р 1п

уо<р<\/х

1 1 / \ = Т~ in in — — Г— inin y0 + о( 1 ^ p in(x/p) in x yo in x yin2 x)

1 x lnlnlnx

inin-----+ О

/ in in in x \

lnx

1п Х у0 \ 1п Х

х

п ( 1 л , х ^/1п1п1п х\\ 4х у1 _ / х \

V =2x1---------------------------------------------------1п1п—+ О —-+ т^ + О •

^х ^1п Х Уо V 1п Х )) 1п х 1п у0 \1пл х)

х

у ='^Х 1п1пХ + 0>{Х- 1п1п1пх) , ,

*-^х 1п Х у0 \1п Х ) 1"1'

. -ЫЫ x + o/x lnlnln x) + ^-‘x ln x yo \ln x J ln2 y0

Учитывая теперь, что X = ^x, a y0 = exp((lnlnx)3), получим

x

X ^ ----------in in x

in x

для достаточно больших х. Теорема доказана.

1

3 Условие малости остаточного члена

Введем условие.

Существуют постоянные а (0 < а К 1), СЗ ^ 1, С0 ^ 1, такие, что

X

у к с, (3)

'31пс X

А< фох

Ха

где X ^ 2, С3 = С (С), К(х^) = |А*| — ^ X• а

Условие (3) позволяет говорить о достаточной малости остаточного члена

я(х,а)^

Проверим выполнимость условия (3).

а С0 ,

рые выберем в дальнейшем.

При достаточно большом X имеем:

а<

X а

1псо X

К ^ „2(а)з^(А)д^(А)Е

а < ха

а < 1псо х

= У ц2(d)(3gУ(dЩX,d).

а <

X а

1пс0 X

X

Так как а К X, то Е (X, а) ^ —, поэтому, обозначая последнюю сумму через

а

У\, получим:

<< У 'а/гездг^Е<<

а <

X

а

1псо X

1

X*(У а^М^д}2'^)‘( У Е(X,q}''\

\d<ха / \ Xа /

«X 2| > -у2'

аа

уА^а 7 ,, ха

У < 1псо X

Для первой из полученных сумм получим

1 ( „2

//_ А / Ч 2(3«)2

<((Е1) К аЬ X + 0 •

4 ^n<Xа / / V /

2

Оценим вторую сумму. Применим лемму 4 из работы [4] и следствие 2 из теоремы 6 работы [5] (гл. 9, с. 154), согласно которому для любой фиксированной постоянной С'0 > 1 и 1 < У < 1пс° X справедлива асимптотическая формула

п(А'; ^) = ш+^ )■

где С1 = С1(С) > 0, (1,У) = 1, ; д>,1) = ^ 1.

р<Х

p=l(mod ^)

Тогда для второй суммы получим:

( У E(х,д})' «-^.

< Хх 1п Т X

Тогда, выбирая 00 = 4 + 1 (3д)2, получим для суммы У1 следующую оценку:

У1 << X' (а 1пX + 1)'(3й)2--1~7^-2— << ,

1 1 ' 1п4+'(3^)2 X 1п4 X’

причем постоянная в символе << может зависеть только от д.

Итак, при а = 1/2 существуют постоянные СЗ ^ 1 и С0 ^ 1 такие, что

X

£ к сЗз^,

а < X2

а < 1пс° X

следовательно, условие (3) выполнено с а = 1/2.

4 Заключение

Отметим, что ранее были рассмотрены последовательности значений неприводимых полиномов [Г(п)^ К х}, [Г(р)^ К х}, где и Е N х Е И, х > 1, р простое число. Рихерт X. Э. получил приближения X = XX = Их соответственно и остаточный член мал в среднем в смысле теоремы Виноградова — Бомбьери.

Для последовательности [Г(рд^р = д, р К х1/2, д К х1/2}, где р, д — про-х

было получено приближение X = (Ы х1/2)2 и остаточный член достаточно мал в том смысл, что выполнено условие на последовательность.

Отметим, что при выборе приближения числа элементов в последовательности важную роль играют усредненные оценки числа простых чисел в арифметических прогрессиях. Эти оценки основаны на использовании идей большого

решета Линника Ю. В. Обычно пользуются следующей оценкой: существует постоянная C (0 < C < 1), такая, что при любой постоянной C > 0

V a2(d) max n(X; d, l)-----—^ = 0\ —^| ,

kCo '!"£! *(d) Vbc X!'

где n(X; d,l) — число простых чисел p < X и p = l(modd), y(d) — функция Мебиуса, p(d) — функция Эйлера, Li X — интегральный логарифм, X — достаточно большое положительное число.

Эту оценку М. Б. Барбан доказал при C = | — £, затем А. И. Виноградов и А. Бомбьери доказали при C = 1 — £, где £ > 0 — произвольная постоянная.

Выбор приближения можно осуществлять по-разному. Чем меньше будет остаточный член (по крайней мере, в среднем), тем лучше будет результат. В работе [6] указано (но не доказано) на то, что из теоремы Барбана — Давенпорта следует, что оценка Виноградова А. И. верна и для n = pq.

Авторы отмечают, что теорема 3.3 работы [7] доказана для n = p1p2.. .ps, где p1 ^ xai ,p2 ^ xa2, ...,ps ^ xas, 0 < a1 ^ a2 ^ ... ^ as, a1 + a2 + ... + as = 1.

В настоящей работе авторами для последовательности (не обязательно различных) значений неприводимого полинома F(pq) с ограничениями на pq: {F (pq)\p = q, pq ^ x} получено, что X ^ x in In x и показано, что остаточный член достаточно мал в том смысле, что выполнено условие на последовательность: существуют постоянные C3 ^ 1 и Co ^ 1, такие, что

X

£ S(d)3v(d)\R(X, d)\ < C3.

П

lnC0 X

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

[1] Бухштаб А. А. Теория чисел. — М.: Просвещение, 1966. — 384 с.

[2] Виноградов И. М. Основы теории чисел. — М.: Наука, 1981. — 176 с.

[3] Бухштаб А. А. Асимптотическая оценка одной общей теоретико-числовой функции // Матем. сб. — 1937. - Т. 2(44). — №6. — С. 1239 — 1246.

[4] Левин Б. В., Тимофеев Н. М. Распределение арифметических функций в среднем по прогрессиям (теоремы типа Виноградова - Бомбьери) // Матем. сб. - 1984. - Т. 125 (167). - №4(12). - С. 558 - 572.

[5] Карацуба А. А. Основы аналитической теории чисел. — М.: Наука, 1983. _ 240 с.

[6] Рихерт X. Э. Решето Сельберга / Вып. Проблемы аналитической теории чисел. Перевод с англ. Б. В. Левина. М.: Мир, 1975. — С. 7 — 42.

[7] Барбан М. Б. Метод "большого решета" и его применения в теории чисел

ц умн. - 1966. - Т. 21. - №1 (127). - С. 51 - 102.

Воронежский государственный университет e-mail: [email protected] Поступило 05.03.2012