Распределение значений функции Дедекинда в классах вычетов Текст научной статьи по специальности «Математика»

Труды Петрозаводского государственного университета

Серия “Математика” Выпуск 17, 2010

УДК 511

Б. М. Широков, Э. И. Ульянова

РАСПРЕДЕЛЕНИЕ ЗНАЧЕНИИ ФУНКЦИИ ДЕДЕКИНДА В КЛАССАХ ВЫЧЕТОВ

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

Функция Дедекинда Ф(п) мультипликативна, а на степенях простых чисел p определяется равенством:

ф(рк) = pk-1(p + 1).

Изучение слабо равномерного распределения целозначных арифметических функций берет начало с работы [1]. Далее этому вопросу были посвящены работы [2, 8] и другие. Авторы не ставили цели привести полный список работ по названной теме.

Напомним определение слабо равномерного распределения по Нар-кевичу целочисленной арифметической функции f (n). Если обозначить через |М | мощность конечного множества M, x — действительное число, то определение будет выглядеть так.

Определение 1. Функция f (n) слабо равномерно распределена в классах вычетов по модулю N, если для любых вычетов a и b, взаимно простых с N, справедлива асимптотическая формула при x ^ ж

|{n < x|f (n) = a (mod N)}| ~ |{n < x|f (n) = b (mod N)}|

при условии, что множество {n|(f (n),N) = 1} бесконечно.

Для дальнейшего нам потребуются еще следующие обозначения: G(N) — мультипликативная группа вычетов по модулю N, взаимно

© Б. М. Широков, Э. И. Ульянова, 2010

простых с модулем; для произвольной арифметической целозначной функции f (п) через Rk (f,N) будем обозначать множество тех вычетов x Є G(N), для которых существует такое простое число р, что f (pk) = x (mod N); M — наименьшее натуральное число k, для которого Rk(f,N) = 0; A(f, N) — подгруппа группы G(N), порожденная множеством Rm(f,N); va(x) — количество тех n < x, для которых ф(п) = a (mod N).

В работе [1] приводится критерий слабо равномерного распределения функции по модулю N для полиномоподобных функций, то есть функций, значения которых на степенях простых чисел являются значениями полиномов, не зависящих от выбора простого числа, на этих простых числах. Например, функция Эйлера <р(п) на pk равна значению многочлена xk-1(x — 1) при x = р. Для функции Дедекинда соответствующий многочлен равен xk-1(x + 1). Приведем критерий в виде следующего предложения.

Предложение. Мультипликативная целозначная функция f (п) слабо равномерно распределена по модулю N тогда и только тогда, когда для любого неглавного характера х(п) по модулю N, равного 1 на подгруппе A(f, N), существует такое простое число р, что

Следствие. Если А(/, N) = С(М), то функция /(п) слабо равномерно распределена по модулю N.

Для каждого характера х по модулю N обозначим

Для главного характера хо это число обозначим через ).

В работе будут доказаны две теоремы.

Теорема 1. Функция ф(п) слабо равномерно распределена по модулю N тогда и только тогда, когда либо N — нечетное число, большее 1, либо N = 2да, а € М, д > 3 и 3 — первообразный корень по модулю N.

Теорема 2. Если N удовлетворяет условиям слабо равномерного распределения функции ф(п), то для любого натурального числа п

(1)

и любого вычета a G G(N) при x ^ ж справедлива асимптотическая формула

v‘{x) = -^trnnnXx-)1-дао Е P~( ¿Х’х) + O

X

где

<p(N)(lnx)1-^(N'x) ^ n \lnx’ J \(lnx)”+1-A(N) J ’

р (, ) ^ ( )(Н^,х) - 10 ••• (Н^,х) - к) ,н

Ри{ь,х) = 2_.аь(х)------/АТ у,-----------ъ ,

ЦМ^хл

а А^) — мультипликативная арифметическая функция, определяемая равенством (д — простые числа)

X(N) = П

q — 2

Доказательство теоремы 1. Доказательство аналогично доказательству теоремы 1 работы [4], но ради полноты изложения коротко его воспроизведем.

Пусть N нечетно и N = qa, a G N. Тогда (ф(p),N) = 1 в том и только в том случае, когда p = x (mod N) и x = a + bq, 1 < a < q — 2,

0 < b < qa-1 — 1. Значит, M = 1 и IRi^,N)| = qa-i(q — 2). Множество Ri (ф, N) порождает группу G(N), если

qa-1(q — 2) > 2r(qa) = 2qa-1 (q — 1),

то есть при q > 3. Если N = 3a, то Ri(N) содержит число 2, являющееся первообразным корнем по модулю, и вновь порождает G(N).

Пусть N нечетно и N = q^1 • • • q^k. Сначала допустим, что qi = 3. Представим G(N) в виде прямого произведения

G(N) = G(qa) Х---Х G(qak).

Нам достаточно убедиться, что (1,..., 1, gi, 1,..., 1) G Л(ф, N) с первообразным корнем gi по модулю q“i. Для удобства записи проделаем это для i = 1, обозначая g = gi.

Заметим, что Ri = Ri(ф, N) содержит элементы (g, —1,..., —1) и ( — 1,..., —1). Если a — решение сравнения

2a = —1 (mod q^1),

(2)

то, так как ді = 3, то и (а, — 1,..., —1) Є Кі. Поэтому

(1, —1,..., —1) = (2, —1,..., —1)(а, —1,..., —1)( — 1,..., —1) Є Л(ф,М).

Теперь будем считать, что N = 3ао д^1 ••• д^. Принадлежность элементов вида (1,..., 1, ді, 1,..., 1) подгруппе Л для і > 1 доказывается так же, как выше. Нам осталось показать, что (2,1,..., 1) Є Л, так как число 2 — первообразный корень по модулю 3ао.

Пусть аі,. .. ,ак — суть решения сравнений (2) по модулям д^1, .. ., (¡00° соответственно. Тогда

Таким образом, Л(ф, N) = ) при любом нечетном N.

Пусть теперь N четно. Если 6^, то К = 0 для всех г, так как ф(р) четно для нечетных р и ф(2) = 3. Поэтому будем считать, что 3 Л N. Тогда К\(ф^) = {3} и порождает О^) лишь в том случае, когда число 3 — первообразный корень по модулю N, то есть N = 2да, д > 3 и 3 — первообразный корень.

Покажем, что слабо равномерного распределения нет, если 3 не является первообразным корнем по модулю N. Для этого воспользуемся критерием Наркевича, приведенном как предложение. Пусть х — неглавный характер по модулю N, равный 1 на подгруппе, порожденной числом 3. Если р > 2, то х(Ф(Р)) = 0 для всех ] > 1. Если р = 2, для ] > 1 получаем тот же результат. Так что левая часть равенства (1) равна либо 1, либо 3/2. Таким образом, функция ф(п) не обладает слабо равномерным распределением. Теорема доказана. □

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

Для комплекснозначной функции ](п) (необязательно мультипликативной) обозначим

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

(д, 1,..., 1) = (д, —1,..., —1)(1, —1,..., —1) Є Л(ф, N).

(2, 1,..., 1) = ( — 1,а1,...,ак )(2, 2,..., 2)( — 1, —1,..., —1) Є Л.

в = а + іі,

(3)

П=1

а через Б(/,х) сумматорную функцию коэффициентов этого ряда:

в(/,х) = ^ I(п).

пКх

Далее, для некоторых действительных чисел а и Ь обозначим , Ь

аа(і) = а — М2ГЙ)’ +“;

Ща) = {в|а > шах | аа(і), — | <і < +^}.

Лемма 1. Если |/(п)| < 1 и для некоторого числа а > 0 существует такая константа сі > 0, что в ії(а)

Р (в)= 0(1пС1 (2+ |і|)), |і|> 1,

и существует такое комплексное число г и такая регулярная в ії(а) функция с условием О(а) = 0, что в этой области

р (,)=

(в - а,)г ’

то существует такая константа с, что 0 < с < 1 и

1) если г = 0, -1,..., то

Б (х) = 0(хав-с^1ПХ);

2) если г = 1, то

Б (х) = О(а) ха + 0(хав-сУ1ПХ); а

3) если г € Z, то для любого п € N

Б (хНтг-^!-: Ри-1 ) + 0

(1п х)1-2 п \ 1п х) \(1п х)п+1-Ке 2

где

Рп(і) = ± ак — — к) ік,

к=0

^ 1 ак /'ад',,,

а коэффициенты ак = —гг ----- (а).

к (ав)к \ в 1

Доказательство. Нам необходим видоизмененный вариант формулы Перрона. Для действительного числа x > 1 обозначим

2 л—

6 = S(x) = ---, сто = 1 + 6(x), T = e x, Го = {s|s = сто + it, |t < T}.

ln x

Умножим ряд (3) на xs/s и проинтегрируем его по контуру Го: v ) def 1 [ Г F( ) xS d 1 ^ f (n) i Г (x )S-i ds

J(x) = 2üJГоF(s)Tds = 2Л^— Гоn) T'

J n=1 J

Пусть £ — пока произвольное число, удовлетворяющее неравенствам

0 < £ < 1/2. Разобьем последнюю сумму на три части: Si — сумма по тем n, для которых n < (1 — £)x, S2 — (1 — £)x < n < (1 + £)x и S3 — n> (1 + £)x. Оценим сумму S2. Существует такая постоянная C, что

1 /V ( x )S ds

2ni 0 ln) s

< — f —tt (x)ao dt < C£xVïnx. (4)

- 2n J \n) VT+t2 < V '

Для оценки сумм $1 и $з нам потребуется следующее неравенство 1 [ ¿\п] Г ди

Епо+ =.!1—том+— - (1 +5).!1то- х- (5)

В сумме $1 в каждом слагаемом добавим и вычтем интегралы по двум контурам

Г+ = {в = а + 1Т, —то < а — <го}> Г— = {в = а — %Т, —то < а — ао}-

Тогда интегралы по замкнутым контурам для каждого п будут равны ](п). Таким образом,

$1 = £ >(п) + Е ^ /г—и г+ (П) т-

п<(1— е)х П<(1 + £)х

Оценим последнюю сумму:

Et (n) ¡' „ ( x )s ds

Г-и Г+ n т

n<(1+£)x

OI Е /-сто (n)'-Jh=. ) = £? Е 1

^ - -n) sjT2 + u] \£T^n1+S

n<(1+£)x J \ n=1 ,

Применяя неравенство (5), получим:

$1 = $((1 — е)х) + О (^Тт) - (6)

В сумме $з у интегралов в каждом слагаемом замкнем контур интегрирования, добавляя интегралы по контурам

Г1 = {в = а — %Т, ао — а < +то}, Г2 = {в = а + %Т, ао — а < +то}.

В виду регулярности функций внутри контура Г1 и Го и Г2, каждое

, X , п

слагаемое равно 0. Учтем, что в этой сумме

вательно,

1п Х

= 1п — > є. Следо-

X

* = Е О Ч^(Ї)• * = ) = о(єГ£

„ „ чє7""~ \п/ \єТ ^ н'+‘

>(1+й)ж \ п=1

В силу неравенства (5), имеем:

о Г

єТ

*3 = ОІ^ І. (7)

Из оценок (4)-(7) следует

1 (х) = $(х(1 — е)) + О ^—Т^) + О(ех—тх).

Заметим, что |$(х) — $(х(1 — е))| — ех, положим е = —= и найдем

Т

такое число с, 0 < с < 1, что

$ (х) = 1 (х) + О(хв—с^). (8)

Применяя теперь к интегралу 1 (х) лемму из работы [6, с. 180] (см. также теорему Б в работе [7, с. 138]), получим утверждение леммы. □

Доказательство теоремы 2. Исходя из свойств характеров х(п) по модулю N, можем представить необходимое количество следующим образом

Мх) = £х(а) £ Х(Ф(п))- (9)

^ ' X п<х

і

Тем самым задача сводится к асимптотической оценке суммы

йе^

п<х

являющейся суммой коэффициентов ряда Дирихле

*(X, х) Е х(Ф(п)), (10)

Г м = Е (11)

П=1

К этому ряду мы намерены применить лемму 1. Для этого нужно проверить ее условия.

Прежде всего, 1х("Ф(п))1 < 1. Значит, ряд абсолютно сходится при а > 1. Поэтому, на основании теоремы Эйлера,

Г0.х) = п(і + + хШ<£ + 1) + -) -

р V р р /

Рассмотрим отдельно р-й член произведения. Просуммируем прогрессию и домножим и разделим результат на 1 + х(р + 1)р-8. Тогда р-й член примет вид

1 + х(р + 1Л Л + х(р(р +1))

Р2я + (х(р +1) - х(р))р8 - х(р(р +1)) / '

Обозначим

х(р(р + ^

Ф(«,х) = П 1 +

р „ р28 + (х(р + 1) - х(р))р8 - х(р(р +1))/'

Это произведение абсолютно и равномерно сходится при а > 1 + є для любого є > 0. Поэтому функция Ф(в, х) ограничена в каждой такой

полуплоскости, регулярна при а > — и не обращается там в 0.

Теперь сумма ряда (11) при а > 1 имеет вид

(12)

Преобразуем последнее произведение, переходя к степенному ряду для его логарифма, причем фиксируем ту ветвь логарифма, которая

действительна для действительного характера и і = 0:

1п П(і + х(р+1) = Е + Е ^їїр +1) =

_£. Л. \ р8 / р8 крк8

р^'р р,к>2

V'4 х(р +1) , < \

=2^ —8— + а(в,х)■

рр

Через а(з,х) обозначена сумма двойного ряда. Эта функция регуляр-

1

на в полуплоскости а > — и ограничена при а > 2 + є.

Обозначая через X (п) произвольный характер Дирихле по модулю N, преобразуем ряд по простым числам следующим образом:

Е ^ ^ Е х(а +1) ЕХ(а) Е ^

р 1 / аЄО(И) х р

Последний ряд по простым числам легко связать с ^-функциями Дирихле. Представляя при а > 1 функцию Ь(в, X) в виде бесконечного произведения, преобразуем его тем же путем, что и произведение в

формуле (12). Тогда найдется такая регулярная при а > — и ограниченная при а > 2 + є, є > 0, функция Ъ(в, X), что

Е Хр8г=1п Цв,Х) + Ъ(в,Х)■

Обозначим

■?( N х X) =

№)

Теперь функция Р (в, х) может быть представлена в виде

рв

р

г^^,Х ) = Е х(а +1)Х (а)-

аЄО(М)

Р(в, х) = Ф(в, х) П еа(8,х)+ь(8,х) (Ь(в, Х))^,х,х) ■

X

Как уже было сказано, функция

ф(в,х~) П

еа(8,Х)+ь(8,Х)

х

ограничена при a > — + е при любом е > 0, регулярна в полуплоскости a > — и не обращается там в 0. Следовательно, все сказанное

относится и к области 0(1). Функции L(s, X) при X = хо также регулярны и не равны 0 в 0(1) и при |t| > 1 с некоторой постоянной ci > 0 удовлетворяют условию L(s,X) = O(lnC1 (|t| +2)) (см., например, [9, глава IV]).

Последнее замечание справдливо и для функции L(s,xo)(s — 1). Заметим, что z(N,x,Xo) = ^(N,x). Обозначим

G(s,x) = *(s,x) Пea(s’x)+b(s’x)(L(s,X))z(N’x’X) (L(s,xo)(s—1)YiN’x).

X=Xo

Тогда

F(s x) = G(s,X)

Г[-Ь,Х (s — 1)v(N,x) ,

причем функция G(s,x) удовлетворяет условиям леммы 1. Применяя ее для каждого характера х и для краткости обозначая ^(N, х) просто через ^, получим

S(x,x') = Pn-i (ыХ,Х) + O((lnx)”+1-Reм) , (13

где

D !+ „Л _ ^ „ <,,\(^ — 1) ... (^ — k) +k

Pn(t, х) = У у ak(х) Г( )

k=0 (^)

Для главного характера хо число p(N,xo) = M.N) можно вычислить. Величина X(N) является мультипликативной функцией. Действительно, пусть N = qa q%2. Для каждого вычета х G G(N) однозначно определяется пара вычетов xi и Х2 по модулю q^1 и q2^2 соответственно таким образом, что

х = x1 (mod q^1) и х = х2 (mod q2t2).

Если х0 и хо — главные характеры по модулям q^1 и q^2 соответственно, то на G(N)

хо(х) = х0(х1)х" (х2).

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

X(N ) = -JN) Е хо(х + 1) =

' xeG(N)

= -~f1) Е хо (х1 + 1) —qa) Е хо,(х2 + 1) = Hq?1 )KqT).

1 X1£G(qa1 ) 2 X2EG(q2a2)

Если же N = qa, то X(N) есть количество вычетов х в G(N), для которых q / (х + 1). Это вычеты х = mq + п, 0 < m < qa-1 — 1 и

1 < n < q — 2. Таких вычетов qa-1(q — 2). Таким образом,

*<n)= П ,£-^ = П#.

qa 11N 7 q| N

Теперь учитывая, что р(N,х) < X(N), подставим для каждого характера х(п) результат (13) в формулу (9) и получим утверждение теоремы. □

Resume

It had beleaved the conditions of weak uniformly distribution and asimtotic row for values distribution of Dedekind function in residue classes in this paper.

Список литературы

[1] Narckiewicz W. On distribution of values of multiplicative functions in residue classes // Acta Arithm. 1967. V. 12. No 3. P. 269-279.

[2] Narckiewicz W., Rayner F. Distribution of values of a2(n) in residue classes // Monatshefte fur Mathematik. 1982. V. 94. P. 133-141.

[3] Scourfild E. J. On divisibility of r2(n) // Glasgov Math. J. 1977. V. 18. No 1. P. 109-111.

[4] Sliva J. On distribution of values of o(n) in residue classes // Colloq. Math. 1973. V. 27. F. 2. P. 283-292.

[5] Фоменко О. М. Распределение значений мультипликативных функций по простому модулю // Записки науч. семинаров ЛОМИ. 1980. Т. 83. С. 218-224.

[6] Широков Б. М. Распределение значений арифметических в классах вычетов // Записки науч. семинаров ЛОМИ. 1983. Т. 121. С. 176-186.

[7] Широков Б. М. Распределение й(п,ш) в классах вычетов // Труды ПетрГУ. Серия Математика. 1995. Вып. 2. С. 136-144.

[8] Широков Б. М. Распределение значений обобщенной суммы делителей // Труды ПетрГУ. Серия Математика. 1996. Вып. 3. С. 176-189.

[9] Прахар К. Распределение простых чисел. М.: Мир, 1967.

Петрозаводский государственный университет, математический факультет,

185910, Петрозаводск, пр. Ленина, 33 E-mail: [email protected]