ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«БЕЛГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ НАЦИОНАЛЬНЫЙ
ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ»
( Н И У
« Б е л Г У » )
ИНСТИТУТ ИНЖЕНЕРНЫХ ТЕХНОЛОГИЙ И ЕСТЕСТВЕННЫХ НАУК
КАФЕДРА ОБЩЕЙ МАТЕМАТИКИ
СУММА ЗНАЧЕНИЙ ФУНКЦИИ ДЕЛИТЕЛЕЙ В АРИФМЕТИЧЕСКОЙ
ПРОГРЕССИИ С РАЗНОСТЬЮ СПЕЦИАЛЬНОГО ВИДА
Магистерская диссертация
обучающегося по направлению подготовки 01.04.01 Математика
очной формы обучения, группы 07001535
Халилова Шерали Ахмедовича
Научный руководитель
доктор физико-математических
наук, доц. Шевцова М. В.
Рецензент
к.т.н., доцент Маматов Е.М.
БЕЛГОРОД 2017
СОДЕРЖАНИЕ
ВВЕДЕНИЕ......................................................................................................................3
1. ОСНОВНЫЕ ПОНЯТИЯ И ЛЕММЫ.......................................................................4
1.1 Определения понятия арифметическая прогрессия............................................4
1.2 История исследования простых чисел в арифметических прогрессиях...........5
1.3 Постановка задачи..................................................................................................7
1.4 Вспомогательные утверждения и леммы.............................................................9
2 . ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ...........................................................................14
2.1 Доказательство теоремы......................................................................................14
ЗАКЛЮЧЕНИЕ.............................................................................................................33
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ....................................................34
ВВЕДЕНИЕ
В теории чисел важную роль играют теоретико-числовые функции. Одной
из таких функций является функция делителей τk(n). Суммирующая функция
делителей в теории чисел это функция, являющаяся суммой функции делителей.
Функция часто используется для исследования асимптотического поведения
дзета-функции Римана.
Функцией делителей называют арифметическую функцию, связанную с
делителями целого числа. Функция делителей нулевого порядка числа показывает
количество делителей данного числа, функция делителей первого порядка
показывает сумму делителей данного числа,
Различные исследования асимптотического поведения функции делителей
иногда называют проблемами делителей. Многие исследователи рассматривали
получение асимптотической формул для суммы значений этой функции, как в
арифметической прогрессии, так и без нее. Известна асимптотическая формула
для значений τk(n) без арифметической прогрессии (неравенство Марджанишвили
К. К.), в арифметической прогрессии с разностью специального вида равной
В качестве объекта исследования в данной работе выступает теоретическое
изучение суммы значений функции делителей в арифметической прогрессии с
разностью специального вида. Предметом исследования данной работы является
асимптотическая формула для суммы значений функции делителей.
Целью исследования в данной работе является изучение процесса
суммирования значений функции делителей в арифметической прогрессии с
разностью специального вида.
В соответствии с целью исследования были выдвинуты следующие задачи:
- Сформулировать основные и вспомогательные леммы.
- Сформулировать теорему о равномерной оценке остаточного члена
асимптотической формулы.
4
1. ОСНОВНЫЕ ПОНЯТИЯ И ЛЕММЫ
1.1 Определения понятия арифметическая прогрессия
Числовая последовательность — это множество чисел, в котором каждому
числу можно присвоить уникальный номер (то есть поставить в соответствие
единственное натуральное число) . Число с номером n называется n-м членом
последовательности.
Очень удобна ситуация, когда n-й член последовательности можно задать
некоторой
формулой.
Например,
формула
an =
последовательность: −1, 1, 3, 5, 7, . . . Формула
2n
−
an =
3
задаёт
(−1)n задаёт
последовательность: −1, 1, −1, 1, . . . Не всякое множество чисел является
последовательностью. Так, отрезок [0; 1] — не последовательность; в нём
содержится «слишком много» чисел, чтобы их можно было перенумеровать.
Множество
R
всех
действительных
чисел
также
не
является
последовательностью. Эти факты доказываются в курсе математического анализа.
Арифметическая прогрессия — это последовательность, каждый член
которой (начиная со второго) равен сумме предыдущего члена и некоторого
фиксированного числа (называемого разностью арифметической прогрессии).
Например, последовательность 2, 5, 8, 11, . . . является арифметической
прогрессией с первым членом 2 и разностью 3. Последовательность 7, 2, −3, −8, .
является арифметической прогрессией с первым членом 7 и разностью −5.
Последовательность 3, 3, 3, . . . является арифметической прогрессией с
разностью, равной нулю. Эквивалентное определение: последовательность
называется арифметической прогрессией, если разность an +1 - an есть величина
постоянная (не зависящая от n). Арифметическая прогрессия называется
возрастающей, если её разность положительна, и убывающей, если её разность
отрицательна.
5
1.2 История исследования простых чисел в арифметических прогрессиях
В 1955 г. А.Г. Постников обнаружил [2], что существует многочлен с
целыми коэффициентами
f(u) = u+ a2 u2 +…+ am −1 um−1
степени m −1 такой, что для любого первообразного корня g по модулю
любом целом u справедливо сравнение
m
p0 при
ind g (1+ p0 )
= Λ f ( u ) ( mod pm0 −1 ) ,
p0−1
где ( Λ, p0 ) = 1 и Λ – корень сравнения
ind g (1+ p0 )
= Λ f ( u ) ( mod pm0 −1 )
p0−1
Данное наблюдение позволило представить сумму значений неглавного
характера по модулю D , равному степени нечетного простого числа, как сумму
Вейля специального вида. Это открытие замечательно тем, что суммы Вейля,
даже очень короткие (а вместе с ними и очень короткие суммы значений
характера), допускают нетривиальные оценки.
Идея Постникова А.Г. позволила решить некоторые проблемы теории
чисел, к которым в общем случае не было никаких подходов. К таким задачам
относится получение асимптотической формулы для π (X ,D, l) при возможно
большем значении D.
В 1964 г. Линник Ю.В., Барбан М.Б. и Чудаков Н.Г. доказали следующий
асимптотический закон, справедливый при D= pm0 ≤ X 3/ 8−ε
( ε > 0 – произвольно
малое число, M > 0 – произвольно большое число)
LiX
π (X ,D, l)= φ( D) (1+O( ln −M X)).
(1)
Доказательство этой теоремы основано на плотностной технике и поэтому
требует информации о распределении нулей L-функции Дирихле в критической
полосе.
Используя идею А.Г. Постникова, авторы получили оценку для суммы значений
неглавного характера по модулю D= pm0 :
6
∑ χ ( v)≪a1 /2 D1 /6 ln D(2)
V≤a
Эта оценка дала возможность Ю.В.Линнику, М.Б. Барбану и Н.Г. Чудакову
вывести новую плотностную теорему:
N( σ , T , χ ) ¿
(3)
3
T D
(8 /3 )(1−σ )
ln
13
D,
где N(σ,T, χ) – число нулей L(s,χ) в прямоугольнике σ ≤ β < 1 , γ ≤ T , ρ = β + it –
нуль L(s, χ) в полосе 0 < β < 1.
В монографии А.А. Карацубы [1] приводится следующая формула, справедливая
при D = pm0 ≤ X 1/ 9 :
X
lnln¿
X
Ψ(X ,D, l)= φ( D) (1+O( ¿ ))
−c ¿
e¿
(4)
где c > 0 – константа.
Доказательство (4) осуществляется на основе плотностной техники.
Отметим, что, хотя оценка остаточного члена точнее, чем в (1), граница
изменения D гораздо меньше.
Другая задача, в которой исследования А.Г. Постникова нашли свое
применение, – это проблема делителей Дирихле в арифметических прогрессиях.
Пусть τ k (n) – число решений в целых положительных числах n1 , …, n k уравнения
n1 , …, n k =n .
Рассмотрим сумму
∑ τ k (n) (5)
n≤ X
n=l(modD)
В работе А.Ф. Лаврика [4] получена асимптотическая формула для суммы
(6) при k ≥ 4 с произвольной разностью D:
∑ τ k (n)=
n≤ X
X Pk−1 (lnX )
+R ,
φ( D)
n=l(modD)
7
1
1−1 /c
Dk / c , с 1 , с 2 константы, Pk−1 (z) – многочлен степени k −1 от
где R ¿ φ( D) X
1
2
переменной z . Эта формула нетривиальна при D ≤ X c
3/k
.
Если k < 4 , то последний результат существенно усилен.
Иванец Г.В. [5] на основе модулярной техники получил асимптотическую
формулу в случае k = 2 , справедливую при D ≤ X 2/ 3−ε ( ε > 0 – произвольно
мало), и совместно с Дж.Фридлендером [6] – для k = 3 , справедливую при D
1
≤ X2
+1 /230
.
В 1979 г. М.М. Петечук [7] усилил результат А.Ф. Лаврика и получил
асимптотическую формулу для суммы (5) при фиксированном k ≥ 2 и D
m
¿ p0 ≤ X
3/ 8−ε
∑ τ k (n)=
n≤ X
:
X Pk−1 (lnX )
X 1−φ
+O
,( 6)
φ( D)
φ ( D)
( )
n=l(modD)
где (l,D)=1, Pk−1(ln X ) – многочлен степени k-1 с коэффициентами, зависящими от
ε β
k и p0 , φ=min 16 3
k
{ }
, β> 0 – константа , зависящая от p0 .
Формула остаточного члена (6) получена с применением оценки «короткой»
суммы значений характера по модулю D= pm0 , основанной на работе А.Г.
Постникова. Доказательство (6) проводится без применения средств
комплексного анализа. Оно опирается на метод работы Карацубы А.А. [8],
позволяющий оценивать остаточный член асимптотической формулы по схеме
решения тернарной аддитивной задачи.
1.3 Постановка задачи
В теории чисел важную роль играет распределение простых чисел в
арифметических прогрессиях.
Пусть при (�, D) = 1π(Х, D, �) означает число простых чисел, не
превосходящих Х и сравнимых с � по модулю D. Не доказанная к настоящему
8
времени
расширенная
гипотеза
Римана
привела
бы
к
следующему
асимптотическому закону[1] и представлена формулой 7.
π ( Х , D , l )=
LiX
(1+Ο ( e−¿
φ ( D)
0.1 X
(7)
)) ,
1
где D ≤ Х 2 −ε , ε > 0−¿ произвольное малое число.
Без допущения расширенной гипотезы Римана и наложения каких-либо
ограничений на D, асимптотическая формула для π(Х, D, �) получена при весьма
«малых»D. Например, при D ≤
( InX ) A , где А ¿ 0−¿
константа, с = с (А) ¿ 0 ,
справедлива формула 8 известная в литературе как формула Зигеля –
Вальфиша[1]:
π ( Х , D , l )=
Но в случае, когда D =
LiX
+Ο ( Хе−с √ InX ) ,
φ ( D)
pm0 , p 0 ≥ 3−¿
(8)
фиксированное простое число, можно
получить асимптотическую формулу для π(Х, D, �) при гораздо больших D.
В 1955 году А.Г. Постников обнаружил [2], что существует многочлен с
целыми коэффициентами ƒ(u) = u+ a2 u2 +…+ аm−1 u m−1 степени m – 1 такой, что для
любого первообразного корня ɡ по модулю
m
p0
при любом целом u справедливо
сравнение (формула 9):
ind ɡ ( 1+ p 0 u )
=⋀ ƒ ( u ) ( mod pm−1
) ,
0
p0 −1
(9)
где (⋀ , p 0 ) = 1 и ⋀ −¿ корень сравнения.
Данное наблюдение позволило представить сумму значений неглавного
характера по модулю D, равному степени нечетного простого числа, как сумму
Вейля специального вида. Это открытие замечательно тем, что суммы Вейля,
9
даже очень короткие (а вместе с ними и очень короткие суммы значений
характера), допускают нетривиальные оценки.
Идея А.Г. Постникова позволила решить некоторые проблемы теории
чисел, к которым в общем случае не было никаких подходов.
1.4 Вспомогательные утверждения и леммы
Лемма 1. (неравенство Марджанишвили) при любых
n ≥1 и k ≥ 2
выполняется неравенство (формула 10):
k−1 ¿k−1
¿
ln X +¿
τ k ( m)< X ¿
(10)
X
∑¿
m =1
Доказательство см. в [11].
Лемма 2. (оценка Виноградова – Пойа) пусть Х – примитивный характер по
модулю D. Тогда справедлива оценка (формула 11):
(11)
∑ X (v )≪ √ D ln D
v≤ a
Доказательство см. в [1,с. 123].
Лемма 3. При P≥ 1 выполняется неравенство (формула 12):
P
|∑ | (
x=1
e2 πiax ≤ min P ,
1
2‖a‖
)
Доказательство см., например, в [1,с. 94].
a θ
Лемма 4. Пусть a= q + 2 , ( a , q ) =1, q ≥1,|θ|≤ 1.
q
(12)
10
Тогда при любом β , U >0, P ≥1 имеем оценку (формула 13):
P
(13)
∑ min U , ‖ax1+ β‖ ≤ 6 ( Pq +1 ) ( U +q ln q ) .
(
x=1
)
Доказательство см., например, в [1,с. 94].
Лемма 5. (неравенство Гельдера) Пусть uv , v v ≥0, a> 0, β >0, a+ β=1.
Тогда выполняется неравенство (формула 14):
P
1
a
v
(14)
∑u
v=1
¿
P
∑v
v=1
1
β
v
¿β .
uv v v ≤ ¿
P
∑¿
v=1
Доказательство см., например, в [1,с. 85].
Лемма 6. (неравенство Коши) представлено формулой 15.
u2v
v 2v
(15)
P
∑¿
v=1
P
¿
∑ ¿¿
v=1
uv v v ¿2 ≤¿
P
∑¿
v=1
¿
Утверждение леммы является следствием леммы 7.
Лемма 7. (А. Г. Постников) Пусть
p0 ≥ 3 –простое число, m – натуральное
f
число, m≠ a p0 −v , f =1,2, … , 0 ≤ v ≤ f −1, ( a , p0 ) =1.
11
Существует многочлен с целыми коэффициентами f ( u ) =u+a2 u2 +¿
⋯+am −1 um−1
степени
m−1
такой, что для любого первообразного корня qпо
модулю pm0 при любом и целом справедливо сравнение (формула 16).
ind q + ( 1+ p0 u )
≡ ∧f ( u ) ( mod p m−1
).
0
p0−1
(16)
Пусть k =p τ0 k ' , где ( k ' , p0 ) =1, тогда a k принимает значение по формуле
17.
k+ 1
a k =(−1)
k−τ −1
p0
(очевидно,
ak
(17)
ℵk
можно брать с точностью до кратных
m−1
p0
¿ , где
ℵk
есть решение сравнения (формула 18).
(18)
k ' ℵ k ≡1 ( mod p m−k+τ
),
0
и ⋀ −¿ корень сравнения.
Причем сравнения разрешимо и ( ∧, p0 ) =1. Доказательство см. в [2].
Лемма 8. Примитивный характер по модулю pm0 для a =1 + p8+1
можно
0 x
представить формулами 19-20:
{
X ( a ) =exp 2 πi
f (x)
,
p m−8−1
0
}
(19)
где
f ( x ) ≡ x+ p s+1
0
a2
a
x+ …+ p(0t −1) (s +1) t x t ( mod p m−s−1
),
0
2
t
(20)
12
0
at , p ¿
¿
a
,
p
=
a
( 2 0 ) ( 3, p0 ) =…=¿
Утверждение леммы получается из леммы 9 при подстановке формул
коэффициентов в выражение для многочлена f(u).
n
α 1 x +…+ α n x¿
¿
2k
∑ e¿ α 1 … d
x≤P
Лемма 9. Пусть
λ1 , … , λ 2
¿
¿
¿
— целые числа,
– среднее
1
…∫ ¿
0
1
J =J k ,n ( P )=∫ ¿
0
значение модуля тригонометрической суммы и
λ1
J k ,n ¿ , . . . ,
λ2 ) – число
решений системы уравнений представленных формулой 21.
k +1−…−¿ x 2 k =λ 1 ,
{ x 1 +…+ x k −x ¿ x
n
1
n
k
+…+ x −x
n
k +1
(21)
n
2k
−…−x =λ n ,
1≤ x 1 , … x 2 k ≤ P .
Справедливы следующие соотношения:
n
α 1 x+ …+α n x ¿
¿
2k
∑ e ¿ e−2 πi (α λ +…+ α λ ) d α 1 … d α n ;
1
a)
λ 1 , … , λn
J k ,n ¿ )
1
n
n
x≤P
¿
¿
¿
1
…∫ ¿
0
1
¿∫ ¿
0
b)
λ 1 , … , λn
J k ,n ¿ ) ≤
J k ,n ( 0 , … , 0 )=J k ,n ( P )=J ;
13
k
c)
J k ,n (¿ λ1 ,. . . , λn )=k P ;
∑ ¿
λ1 ,. .. , λn
d)
|λ 1|< kP , … ,|λn|< kP2 n ;
2
e)
J =J k ,n ( P )>(2 k )−n P
2k −
n +n
2
.
Доказательство см., например, в [1, с. 85].
Лемма 10. (А. И. Виноградов) Количество чисел, не превосходящих x, все
простые Делители которых не превосходят z≤ √ x , имеет оценку (формула 22)
C x exp
(
−1 1
1 1
¿ +¿∈ + +
α
α
α α
(
)
θ
αIn
1
α
)
(22)
,
где α =¿ z/ Inx, |θ|≤ 1 , C – константа.
Доказательство см. в [13].
Лемма 11. (А. И. виноградов, Ю. В. Линник) Пусть Х – большое число, D ≤
X 1−α , где 0< α < 1, ( �,D) = 1,
X1< X , X -
X1> X
1−
α
2
.
Тогда справедливо неравенство (формула 22)
∑
X1 ≤ Dn+l
τ κ (D n+l)<C
где C= k
X− X 1 X
1
¿ ∏ 1−
D
D p∨ D
p
(
k −1
)
,
(23)
4( k−1)
2( k−1) 4 / α
exp
e
.
α
α
{
}
Доказательство. Заметим, что утверждение леммы достаточно доказать для
суммы аргументов Dn+l
Проведем доказательство леммы по индукции.
1. Докажем сначала лемму для k = 2.
α
Возьмем ε = 4
где
bn ,
и разобьем число Dn + � на два множителя: Dn + � = an b n,
включает все простые множители Dn + �, превосходящие
Xε и
14
следовательно, каждый простой множитель ап меньше либо равен
ε
X . В таком
случае справедливо неравенство (формула 16).
∑ τ (D n+l)≤ ∑ τ ( an ) τ ( bn , ) ≤21 /ε ∑
Dn +l
Dn+l
(24)
τ (an ).
Dn+l ≤ X
Имеем:
∑
Dn +l ≤ X
τ (a n)= ∑
∑ 1.
x an=v v
n<
D
1 2
≤ x 1 /2+5 δ , D ≤ X 1/ 2−6 δ ;
√ D X 5 δ √ N 2 W ' ≤ √ D X 1/ 3+5 δ , D≤ X 4/ 9−4 δ .
Выберем
δ =ε 2 /4 .
Выберем 6 = Е2/4. Тогда из оценки последнего
4
слагаемого следует утверждение теоремы: D ≤ Х 9 −e . .
2
15
2 . ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ
2.1 Доказательство теоремы
Проведем доказательство в несколько этапов, доказательство представлено
формулами 19-69:
1. Сначала вычислим главный член асимптотической формулы. Из
ортогональности характеров имеем:
∑
n≤ X
n ≡l (mod D )
τ κ (n)=
1
∑ X́ (l ) n ….∑n ≤ X x( n1 … nk) ,
φ ( D ) (mod D)
1
(25)
k
В сумме по характерам Х выделим слагаемое с Х = Х0:
∑
n≤ X
n ≡l (mod D)
τ κ ( n)=W + R ,
(26)
где
n1 …. n k ≤ X
0
mod p ¿
¿
¿
¿
¿
n1 …. n k ≡≢ 0 ¿
1
W=
∑¿
φ ( D) ¿
Запишем W в виде:
(27)
16
0
mod p¿
¿
¿1
n k ≡≢ 0 ¿
…∑ ¿
(28)
¿
n1 ≡≢ 0 ( mod p 0 )
n1 …. n k ≤ X ¿
¿
1
W=
∑¿
φ ( D) ¿
Представим каждую сумму по переменным суммирования как разность
суммы, где переменная суммирования пробегает все значения, и суммы, где
переменная суммирования пробегает значения, сравнимые с нулем по модулю.
Воспользуемся также асимптотической формулой [19]:
(
1−
∑ τ κ ( n)=X 1 Pk−1 ( ¿ X 1 ) +Ο X 1
n≤ X
1
2k
(29)
),
где Pk−1 ( z )−¿ многочлен степени k −1 от переменной z . Тогда
1−¿
(30)
1
∑
n1 ≡0 ( mod p0)
n1 …. nk ≤ X
∑¿
n1
¿
W=
1
¿
φ (D )
k
1
¿
(−1) j ∑
∑
∑ …
φ ( D ) j=0
1 ≤s <…<s ≤k n … .n ≤ X
¿n
1
j
1
k
1=¿
∑
s1
≡0 (mod p0 ) ,… ns ≡0 ( mod p0)
j
∑ … ∑ 1=¿
n j+ 1
nk
n1 ≡0 ( mod p 0 ) ¿
¿
k
1
j k
¿
(−1)
∑
∑ … ∑¿ ¿
j n (mod p )
φ ( D ) j=0
()
1
0
¿ n1 …. nk ≤ X
17
k
j
(−1 ) k
1
¿
∑
φ ( D ) j=0 p0j j
k
j
( ) ∑ τ ( n)=¿
n≤
X
j
p0
κ
1−
1
( )
(−1 ) k
X
X
X 24
¿
P
¿
+Ο
=¿
∑
φ ( D ) j=0 p0j j k −1 p0j
φ (D )
() ( )
1−
X
¿
P
(In X) + Ο
φ ( D ) k−1
где
Pk−1 ( z )−¿
многочлен степени
1
2k
( )
X
,
φ ( D)
k −1
с коэффициентами, зависящими
от p0 и k .
2. Перейдем к оценке остаточного члена асимптотической формулы.
Разобьем сумму R на Ο( ¿k Х) сумм вида
1<¿ n1 ≤2 N 1
N k<¿n ≤ 2 N x ( n1 … . n k ) .
X
S=
∑ x́ (l ) ∑ … ∑¿ ¿
φ ( D ) x≠ x
N n …. n ≤ X
k
(31)
k
0
¿
1
k
1
Будем пока считать, что X 2 ≤ N 1 … N k < X . также без ограничения общности
можно предполагать, что N 1 ≥ N 2 ≥ N r +1 ≥ N 3 ≥ N r+2 ≥ … , где r =
U=N 2 … N r , V =N r +1 … N k .
Положим
N 1 ≥ N 2 , N r+1 ≥ N 3 … и N 2 ≥ N r +1 , N 3 ≥ N r+2 , … , то
k
+1.
2
[]
Тогда,
так
как
N1V ≥ U ≥ V .
1
1
Кроме того, N 1 ≥ X 2 k и 0<δ ≤ −¿ действительное число.
2k
'
Пусть
'
'
τ r−1 ( u ) , τ k−1 ( v ) , τ k−1 ( y ) означают количество решений в натуральных
числах уравнений n2 … nr =u , nr +1 … n k =v , n2 … nk = y , где N 2 <n2 ≤2 N 2 , … , N k < nk ≤ 2 N k .
3. Рассмотрим случай U ≤ X δ . Имеем:
|S|=
1
φ (D )
∑ x́ ( l ) N <n∑≤2 N x ( n2 ) … ∑
|
x ≠ x0
2
2
2
N 2<n2 ≤2 N 2
n1 n2 … nk ≤ X
x (nk )
∑
N 2 <n2≤ 2 N 2
x ( n1 ) ≤
|
(32)
18
≤
1
x (nk )×
∑ ∑ x ( n 2) … N <∑
φ ( D ) x ≠ x N <n ≤2 N
n ≤2 N
0
×
2
2
2
max
N 2<T ' ≤ T ' ' ≤2 N 1, x≠ x 0
k
{|
∑
N 1 < n 1≤ 2 N 1
k
k
|}
x ( n1 ) .
В силу леммы 4 справедлива оценка
∑
1
2
1
1
6
(33)
x (t )≪ N D ∈D .
N 1<n1 ≤2 N 1
следовательно,
1
6
S ≪ N 2 … N k √ N 1 D ∈D .
3
δ
Так как N 1 … N k ≤ X , V ≤ U ≤ X δ , D≤ X 8 − ε ,∈ X ≪ X 2 , то для
Cуммы S получим:
1
6
1
6
S ≪ N 2 … N k √ N 1 D ∈D=√ N 2 … N k √ N 1 N 2 … N k D ∈D<¿
1
6
¿ √ UV √ X D ∈ D ≤ X
4. Пусть теперь
S=
1
+δ
2
D ∈D ≪ X
3 3
+ δ
4 2
−1
3
D .
U > x δ . Сумму S перепишем в виде
1
∑ x́ ( l ) ∑
φ ( D ) x≠ x
N <n ≤2 N
0
1
6
1
1
∑
1
UV < y ≤2
k−1
x ( n1 ) x ( y ) τ ' k−1( y)
(34)
UV
n1 y≤ X
Разобьем промежуток суммирования ( N 1 ,2 N 1 ¿ на промежутки ( H, H+ H’],
'
где H =
1
φ (D )
N1
Xδ
. Получим:
∑ x́ ( l ) ∑
|
x ≠ x0
H <n1≤ H +H
'
x ( n1 )
'
x ( y ) τ k−1 ( y )
∑
' −1
X (H+ H ) < y ≤ X H
−1
y ≤ X n1
¿
x
δ
S≪∑ ¿
❑
−1
|
(35)
19
Заменим условия
на условие y ≤ X H −1 и оценим получившуюся
y ≤ X n−1
1
при этом ошибку R1 :
∑
τ ' k−1 ( y ) +¿
∑
'
(36)
−1
H <n1 ≤H +H X ( H +H ' ) < y ≤ X H −1
−1
y ≤ X n1 (mod D)
¿
x
δ
R1 ≤ ∑ ¿
❑
τ ' k−1 ( y )
+1
∑
φ ( D ) H <n ≤ H +H
∑
'
¿¿
−1
'
−1
X(H+ H ) < y ≤ X H
1
Для оценки внутренней суммы первого слагаемого в скобках применим
лемму 16, а для оценки внутренней суммы второго слагаемого — ту же лемму,
положив в ней D = 1:
R1 ≤ c 1
X 1 +δ H '
D H
2
X
1
1−
D
p0
( )( (
7 (k−2)
где c 1=(k−1)
¿
(37)
k−2
))
,
X
1
exp { 4 (k−2) } ¿
1−
D
p0
7
k−2
( ( ))
.
Тогда:
R1 ≤ c 1
X 1−δ
X
1
(k−1)7(k−2) exp {4 7 (k−2) } ¿
1−
D
D
p0
( ( ))
k−2
(38)
Получим:
δ
S ≪ x max {|S 1|}+ R1 ,
x≠ x 0
где
(39)
20
x́ ( l )
∑
H < n1 ≤ H +H
'
(40)
x ( n 1) ×
¿
1
s 1=
∑¿
φ ( D) x≠x
0
×
∑
U <u ≤2
r−1
τ ' k−r ( v ) x ( v ) .
U
5. Пусть V ≤ X δ . Тогда
|S1|≤ max
x≠x
0
{|
∑
H <n1 ≤ H + H
'
|}
x ( n1 )
…
∑
N r+ 1< n ≤ 2 N r + 1
×
r+ 1
1
∑
φ ( D ) x≠ x
0
∑
(41)
×
N k <nk ≤2 N k
|∑
U <u ≤U u
'
x (u ) τ r −1( u) ,
|
U
r−1
где U u=min 2 U , u .
{
}
Применив неравенство Коши, получим:
σ=
1
∑
φ (D ) x ≠ x
0
1
|∑
U<u ≤ U u
x ( u ) τ ' r−1 (u) ≤(σ 1 ) 2 ,
|
(42)
где
σ=
1
∑
φ ( D ) x (mod D)
2
|∑
x ( u ) τ ' r−1 (u) .
U <u ≤U u
|
Заметим, что σ 1 равняется числу решений сравнения
'
n2 … nr ≡n ' 2 … n r ( mod D ) ;
N 2 <n2, n ' 2 ≤ 2 N 2 , … , N r <nr , n ' r ≤ 2 N 2 ,
U <n2 … nr , n ' 2 … n ' r ≤ U u .
Число решений этого сравнения не превосходит величины
(43)
21
∑
τ ' r−1 (u )
U <u ≤ Uu
(44)
τ r−1 ( u+ dD ) .
∑
U
U −u
< d ≤ u−u
D
D
Для оценки второй суммы воспользуемся леммой 16, а для оценки первой
— неравенством Марджанишвили (лемма 2). Имеем:
(
U
U
1
+1 ¿
1−
D
D
p0
≤(r −1)6 (r −2) exp { c 2 (r−2) }
U2
+U (¿ U )2 r−4 ,
D
(r−1)7 (k −2 ) exp { 47 ( r−2) }
U ( ¿U + r−2 )
×
( r−2 ) !
)( (
(45)
r−2
))
×
r −2
≤
(
)
c 2−¿ абсолютная константа.
Отсюда следует
σ ≤(r −1)3 (r −2) e
c 2 (r −2)
2
(
(46)
U
+ √ U (¿U )r −2 .
√D
)
Используя (30) и лемму 17, получим:
S 1 ≤ max
x≠ x 0
{|
∑
H <n1 ≤ H +H '
3(r−2)
|}
x ( n1 ) V (r−1)
×
e
c 2(r−2)
2
(47)
×
( √UD +√U )(¿ U )
r −2
≤ N 1/1 2 D1/ 6 ( ¿ D ) V (r −1)3 (r−2) e
c2 (r −2)
2
≤
( √UD +√ U )( ¿ U)
r −2
.
Так как
1/ 2
1/ 2
2 1 /4
N 1 U =(N 1 U ) (U ) ≪ X
1 /2
(N 1 U ) ≪ X
1/ 2
,X
1 /2
1 /2
1/ 6
D ≪X
то
δ
S1≤ X ( X
3/ 4
−1 /3
D
+X
1 /2
1/ 6
3 (r −2)
D ) (r −1)
e
c 2 (r −2)
2
1/ 4
( N 1 UV ) ≤ X
(¿ X )r−1 .
3/4
D
−1/ 3
,
3/ 4
,
22
Таким образом при
S ≤X
3/ 4+ 2 δ
D
−1/3
V ≤X
k
3( −1)
2
k
2
()
e
δ
получаем:
e2 k
−1
2 2
(48)
( )(¿ X )k/ 2+ ¿
k−2
+ X 1−δ
X
1
(k−1)7 (k −2 ) exp { 47 ( k−2) } ¿
1−
D
D
p0
( ( ))
6. Рассмотрим следующий случай: V > X δ .
Пусть сначала U ≤ DX δ
Разобьем промежуток суммирования ¿ на промежутки (W, W+ W ' ], где
'
W=
V
. Получим:
X2δ
1
∑ x́ ( l )
φ (D ) x ≠x
0
|
∑
H <n1≤ H +H
¿
X
'
(49)
x ( n1 ) ×
|
2δ
S1≪ ∑ ¿
❑
×
|
τ 'k −r ( u ) x ( u )
∑
W <v ≤W +W '
Заменим
∑
U <u ≤U v
−1
u ≤ X ( H v)
условие
τ 'r −1 ( u ) x (u) .
|
на
−1
u ≤ X ( H u)
условие
u ≤ X ( HW )−1 и
оценим
получившуюся при этом ошибку R2 :
∑
∑
'
τ ' k−1 ( u )
H <n1 ≤H +H W <v ≤W +W '
τ ' k−1 ( u ) +¿
∑
' −1
X ( H ( W +W ) ) <u ≤ X ( HW )
−1 −1
u ≡¿1 v (mod D)
−1
¿
x 2δ
R2 ≤ ∑ ¿
❑
'
τ k−1 ( u )
+1
∑
φ ( D ) H <n ≤ H +H
1
'
∑
W < v ≤W +W '
τ ' k−1 ( u )
¿≪¿
∑
' −1
−1
X ( H ( W+W )) <u ≤ X ( HW )
(50)
23
≪
X3 δ H '
D H
W ' 2 X 1−2 δ
≪
W
D
( )( )
Тогда
2δ
S 1 ≪ x max {|S2|}+
x ≠ x0
X 1−2 δ
,
D
(51)
где
S 2=
1
∑ x́ (l ) ∑ x ( n1 )
φ ( D ) x≠ x
H <n ≤ H +H
0
×
∑
'
(52)
'
1
τ ' k−r ( v ) x ( v )
τ ' r−1 (u ) x (u)
∑
U <u ≤ U v
u ≤ X (HW )−1
W <v ≤W +W
Учитывая (29), имеем:
S 2=
1
∑ x́ (l ) ∑ x ( n1 )
φ ( D ) x≠ x
H <n ≤ H +H
0
×
∑
'
(53)
'
1
τ ' k−r ( v ) x ( v )
τ ' r−1 (u ) x (u)
∑
U <u ≤ U v
u ≤ X (HW )−1
W <v ≤W +W
Для оценки суммы s 2 применим неравенство Коши:
S 2 ≪ max
∑
|
x ≠x 0 H <n ≤ H + H
1
×
(
'
|(
1
∑
φ ( D ) x (mod D)
|
∑
x ( n1 )
1
∑
φ ( D ) x (mod D)
U <u ≤U v
|
∑
W< v ≤W+ W '
2
1/ 2
|)
τ ' k−r ( u ) x ( u )
2
1 /2
|)
τ ' k−r ( v ) x ( v )
×
(54)
24
1
∑
φ ( D ) x (mod D)
Сумма
|U <u∑≤U
τ ' k−r ( v ) x ( v )
2
|
v
равняется числу решений сравнения
'
n2 … nr ≡n ' 2 … n r ( mod D ) ;
N 2 <n2, n ' 2 ≤ 2 N 2 , … , N r <nr , n ' r ≤ 2 N 2 ,
U <n2 … nr , n ' 2 … n ' r ≤ U u .
Число решений этого сравнения не превосходит величины
'
τ k−r ( u )
∑
U <u ≤ U v
U2
τ r−1 ( u+dD ) ≪ X
+U
D
δ
∑
U v−u
U −u
<d ≤
D
D
(
1
(55)
)
Аналогично оценивается сумма φ ( D ) ∑
x ( mod D )
|
∑
W < u≤ W +W
'
'
τ k−r ( v ) x ( v )
2
|
Таким образом,
S 2 ≪ X δ √ D∈D
(56)
( √UD +√ U )( √VD +V ) ≪
≪ X 1,5δ √ UVD≪ X 3 δ D3 /2
Учитывая (31), получаем
S≪
X 15 /16+6 δ X 1−δ
+
D
D
(57)
7. Пусть теперь U > DX δ
Разобьем промежуток суммирования
¿ на промежутки
'
¿ , где W =
V
Xδ
Получим:
x
δ
S1≪ ∑
❑
1
∑ x́ (l )
φ ( D ) x≠ x
0
|
∑
H <n1 ≤ H + H
'
x ( n1 ) ×
|
(58)
25
×
|
∑
W <v ≤W +W '
Заменим
условие
τ 'k −r ( v ) x ( v )
∑
U <u ≤U v
−1
u≤ X (H v )
на
−1
u ≤ X ( H u)
τ ' r−1 (u ) x (u)
|
условие
u ≤ X ( HW )−1 и
оценим
получившуюся при этом ошибку R2 :
∑
τ ' k−1 ( v )
∑
'
H <n1 ≤H +H W <v ≤W +W '
τ ' k−1 ( u ) +¿
∑
' −1
X ( H (W +W ) ) <u ≤ X ( HW )
−1 −1
u ≡¿ 1 v (mod D )
δ
x
(59)
−1
R2≤∑ ¿
❑
1
∑
φ ( D ) H <n ≤ H +H
1
'
'
τ k−1 ( v )
∑
W < v ≤W +W '
x
∑
' −1
X ( H (W +W )) <u ≤ X ( HW )
−1
τ ' k−1 ( u )
¿
δ
+∑ ¿
❑
Для оценки внутренней суммы первого слагаемого применим лемму 16, а
для оценки внутренней суммы второго слагаемого — ту же лемму, положив в ней
D = 1. Воспользуемся также неравенством Марджанишвили (лемма 2). Тогда:
1+ δ
R2 ≤
'
X
(
)
H
( r−1 )7 k−2 exp {4 7 ( k−2 ) }
D
H
( )( )
X
1
× ¿
1−
D
p0
r−2
( ( ))
1−δ
≤
X
D
2
W'
×
W
(60)
( ¿ W + k−r −1 )k−r−1
≤
( k−r −1 ) !
'
H
(
)
(
)
k−3
( r−1 )6 r −2 ec r −2 ( ¿ X ) ,
H
( )
3
c 3−¿ абсолютная константа.
Получим:
δ
s 1 ≪ x max {|S2|}+ R2 ,
x ≠ x0
(61)
26
где
s 2=
1
∑ x́ (l ) ∑ x ( n1 ) ×
φ ( D ) x≠ x
H <n ≤ H +H
0
×
∑
1
'
'
(62)
'
τ k−r ( v ) x ( v )
'
τ r−1 (u ) x (u)
∑
U <u ≤ U v
u ≤ X (HW )−1
W <v ≤W +W
Учитывая (29) и (32), имеем:
S ≪ x 2 δ max {|S2|}+
X
1−2 δ
4
D
x ≠ x0
(63)
( k −1 )7 (k−2) e c (k−2) ( ¿ X )k−2 ,
c 4 −¿ абсолютная константа.
Оценим сумму s 2 . применяя неравенство Коши, имеем:
S 2 ≪ max
∑
|
x ≠x 0 H <n ≤ H + H
1
'
1
×
∑
φ ( D ) x (mod D)
(
|(
x ( n1 )
1
∑
φ ( D ) x (mod D)
|∑
|
∑
W< v ≤W+ W '
2
2
1 /2
|)
τ ' k−r ( v ) x ( v )
(64)
×
1/ 2
|)
'
τ k−r ( u ) x ( u )
U <u ≤U v
Заметим, что сумма
1
∑
φ ( D ) x (mod D)
|U <u∑≤U
Равняется числу решений сравнения
n2 … nr ≡n ' 2 … n 'r ( mod D ) ;
N 2 <n2, n ' 2 ≤ 2 N 2 , … , N r <nr , n ' r ≤ 2 N 2 ,
U <n2 … nr , n ' 2 … n ' r ≤ U u .
τ ' k−r ( u ) x ( u )
v
2
|
(65)
27
Число решений этого сравнения оценивается так же, как и в пункте 5
доказательства:
∑
U <u ≤ U v
≤ ( r−1 )
c 2−¿
τ r −1 ( u )
6 ( r −2)
∑
U
U −u
<d ≤ v−u
D
D
(66)
τ r−1 ( u+dD ) ≤
2
U
2 r−4
exp {c 2 ( r −2 ) }
+U ( ¿ U )
,
D
(
)
абсолютная константа
Аналогично оценивается сумма
1
∑
φ ( D ) x (mod D)
(67)
2
τ ' k−r ( v ) x ( v )
∑
|W < v≤ W+ W '
|
Таким образом:
k
S2≤
2
3(k−3)
()
×
ec
5
( k−3)
(¿ X )
k−3
max
|
∑
x ≠ x 0 H <n ≤ H +H '
1
(68)
x ( n1 ) ×
|
( √UD +√U )( √VD +V ) .
3
В силу неравенств H ≤ 2 N 1, V ≤ U ≤ N 1, V , N 1, UV < X , D ≤ X 8 −ε и леммы 17
получим:
3 (k−3 )
k
2
()
×
ec
5
( k−3 )
(¿ X )
k −3
max
|
∑
x≠ x 0 H <n ≤ H + H
1
'
x ( n1 ) ×
|
U √V + √U V
+ √UV ≪
√D
≪
k
2
3 (k−3)
()
1
1
ec (k−3 ) ( ¿ X )k−3 N 12 D 6 ∈X
5
( U√√DV + √U V )≪
(69)
28
≪
k
2
3 (k−3)
()
ec (k−3 ) ( ¿ X )k−2
5
√ U √ N 1 UV
(
D
1
3
1
+ √ N 1, UV D 6 ≪
)
N
1/4
(¿¿
1UV
)
X 1 /2
+ X 1/ 2 D1 /6 ≪
1/ 3
D
3 ( k−3)
k
c ( k−3)
(¿ X )k−2 ¿
≪
e
2
()
k
≪
2
5
3 ( k−3)
()
ec
5
( k −3 )
∑
|
X
N
D
k−2
X 3 / 4 D−1/ 3
UV
X
<
D N 1, D
И так как
S2≪
(¿ X )
'
H < n1 ≤ H + H
3( k−3)
−1
1
( k2 )
имеем:
(70)
x ( n 1) +¿
|
e c ( k−3) ( ¿ X )k−3 max ¿
5
x ≠ x0
3 ( k−3 )
k
2
()
+
ec
5
( k−3)
(¿ X )
k−2
X 3 /4 D−1 /3
В силу (40) получам:
|
∑
H <n1 ≤ H + H'
k
x ( n1 )
2
3 ( k−3)
|( )
S≪
ec
5
( k−3)
(¿ X )
k−3
(71)
+¿
X 1+2 δ −1
N 1 max ¿
D
x ≠x
0
+X
3
+2 δ
4
−1 /3
D
1−δ
+X
D
k
+
2
3 ( k−3)
()
(k−1)7 (k −2 ) e
e
c5 ( k−3 )
c 4 ( k−2 )
( ¿ X )k−2+ ¿
( ¿ X ) k−2
Таким образом, мы получили окончательную оценку для суммы
Sравномерную по k.
29
8. Теперь рассмотрим сумму
∑
H <n1≤ H +H
'
(72)
x ( n1 )
N=max { N i } , A=N−1 ∑ x ( t ) , N ≤T ≤2 N , D1= pm0 −¿ модуль, по которому
t≤T
1
Пусть
характер x примитивный.
1
3
Оценим величину А. Так как N=max { N i } ≥ X 2 k , D1 ≤ D≤ X 8 ,
−ε
то
¿ D1
≤k .
¿T
Возможны случаи:
m1
¿ D1
>k ,
> 1,m1 >81.
20
¿T
В этом случае по лемме 18
A ≪N
−γ
3
k
≪X
−γ
3
2k
,
1
учитывая, что N ≥ X 2k .
T ≥ D1 .
тогда
−1
−1
D1∈ D1 √ T ∈T
√
2
A≪
≤
≪ N ∈X ≤ X 4 k ∈ X .
N
N
m1 ≤ max { 81, 20 k } ≤ 41k .
В этом случае сумму характеров оценим модулем D1 . Имеем:
1
−1
pm p 41k
A ≤ 0 ≤ 0 ≪ X 4k .
N
N
1
1
<
3
4
k и в лемме 18 константа
2k
Так как
A≪X
−γ
3
2k
γ <1, то во всех случаях
.
Таким образом, поскольку оценку (34), имеем:
30
S≪
+X
X
1+ 2δ −
γ
3
2k
D
3
+2 δ
4
−1 /3
D
3 ( k−3)
k
+
2
()
+
e
3 ( k−3)
k
2
c 5 ( k −3 )
()
e
c5 ( k−3 )
( InX )
k−2
(73)
+¿
( InX )k−2+¿
+ X 1−δ
c ( k−2 )
( InX )k−2 .
(k−1)7 (k −2 ) e
D
4
3
Поскольку D≤ X 8 −ε то X 1 /2 ≤ X 3/ 4 D−1 /3 . Поэтому оценка (19) справедлива и
в случае, когда N 1 . . . N k ≤ X 1 /2 .
9. Займемся оценкой остаточного члена формулы (9).
Учитывая, что в R входит О( ¿k X ¿ слагаемых вида S, получаем, что
R≪
+X
X
1+
35
γ
δ− 3
10
2k
+
D
3 11
+ δ
4 3
D
−1 /3
3 ( k−3 )
k
2
()
3 ( k−3)
k
2
()
e
ec
5
( k−3 )
c5 ( k−3 )
( InX )
2 k−3
(74)
+¿
( InX )2 k−3+ ¿
+ X 1−δ
c ( k−2 )
( ¿ X )2 k−2 .
(k−1)7 (k −2 ) e
D
4
ε γ
Выберем параметр δ =min 4 , 3 .
{
ε
5k
}
γ
ε
Если 4 < 3 то δ= 4 . Тогда:
5k
R≪ X
3 11
+ δ
4 3
D−1/ 3
3 (k−3 )
k
2
()
e c (k−3 ) ( InX )2 k−3 +¿
5
+ X 1−δ
c ( k−2 )
( ¿ X )2 k−2 ≪
(k−1)7 (k −2 ) e
D
4
≪
X
1−
D
ε
4
k
2
3 ( k−3)
()
e
c5 ( k−3)
( InX )2 k−2+¿
(75)
31
1−
+X
D
≪
X
ε
4
7 ( k−2 ) c 4 ( k −2 )
e
(k−1)
1−
ε
4
( ¿ X )2 k−2 ≪
( k −1 )7 (k−2) e c ( k−2) ( ¿ X )2 k−2 .
4
D
ε
γ
γ
Если 4 ≥ 3 то δ= 3 , поэтому
5k
5k
R≪
X
1+
35
γ
δ− 3
10
2k
D
3 ( k−3 )
k
+
2
()
c 5 ( k−3 )
e
( InX )
2 k−3
(76)
+¿
+ X 1−δ
c ( k−2 )
( ¿ X )2 k−2 ≪
(k−1)7 (k −2 ) e
D
4
γ
3
5k
k
+
D
2
1
X −
3 ( k−3 )
()
≪
+ X 1−
D
γ
3
5k
e
c 5 ( k−3 )
( InX )
c4 ( k−2)
(¿ X )
(k −1)7 ( k−2) e
2 k−3
2 k−2
+¿
≪
γ
5k3
(
) c
( k−1 )7 k −2 e
D
X1−
≪
4
(k−2 )
(¿ X )
2 k−2
.
Следовательно,
X 1−ℵ (
(
)
2 k−2
R≪
k−1 )7 k−2 e c (k−2 ) ( ¿ X )
,
φ(D)
{
где
(77)
ε γ
,
, c−¿
4 5 k3
абсолютная константа. Заметим, что остаток в (28) не
ℵ=min ¿
}
превосходит величины
1−
1
X 2k
X 1−ℵ
( k−1 )7 ( k−2 ) e c (k−2 ) ( ¿ X )2 k−2 ,
≪
φ(D) φ( D)
(78)
32
γ
3 <
5k
Поскольку
1
1
< .
3
5k 2k
10. Определим при каких k полученная асимптотическая формула будет
справедлива.
X
k−1
Так как главный член (9) является величиной порядка φ ( D ) (¿ X )
,
то
1−ℵ
X
( k −1 )7 (k−2) e c ( k−2) ( ¿ X )2 k−2< X (¿ X )k−1 ,
φ( D)
φ ( D)
( k −1 )
k≤
(
7 ( k−2)
¿X
¿∈ X
e
c ( k−2)
k
ℵ
(¿ X ) < X ≤ X
γ
3
5k
, k ∈¿ X <
¿X
k3
1 /4
)
.
Доказательство теоремы завершено.
(79)
33
ЗАКЛЮЧЕНИЕ
В рамках данной работы был изучен процесс суммирования значений
функции делителей в арифметической прогрессии с разностью специального
вида.
В ходе выполнения данной работы были решены следующие задачи:
- Сформулированы и доказаны основные и вспомогательные леммы.
- Сформулирована и доказана теорема о равномерной оценке остаточного
члена асимптотической формулы.
В результате работы была получена асимптотическая формула для числа
значений функции делителей τk(n) в арифметической прогрессии с разностью,
равной степени фиксированного нечётного простого числа. При этом оценка
остаточного члена равномерна по k. Также определена граница измерения k
≤(lnxln lnx)14⁄, для которой эта асимптотическая формула непрерывна.
В заключении проведенного исследования можно сделать следующие
выводы: среди простых чисел существует тенденция, которая заключается в том,
что они предпочитают избегать повторения последних цифр. То есть существует
гораздо меньшая вероятность того, что после числа, которое заканчивается на 1,
будет идти число, что также заканчивается на 1, чем это должно вытекать из
случайного распределения.
34
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1.
Карацуба А.А. Основы аналитической теории чисел. —М.: Наука, 1983. -
239 с.
2.
Постников А. Г. О сумме характеров по модулю, равному степени простого
числа//Изв. АН СССР, сер. Матем. —1955. —Т. 19, 1. —С. 11-16.
3.
Линник Ю. В., Барбан М. Б., Чудаков Н. Г. О простых числах в
арифметической прогрессии с разностью, равной степени простого числа //
Actaarithm . Ј. —1964. — vol.9, №4. — Р. 375-390.
4.
Лаврик А. Ф. Функциональное уравнение для Дирихле и задача делителей в
арифметических прогрессиях/ / Изв. АНСССР, сер. Матем. —1966. — Т. 30. — С.
433-448.
5.
IwaniecН.,KowalskyЕ. Analytic number theory. —American Mathematical
Society, Colloquium Publications. Volume 53, 2004. — 615 с.
6.
Friedlander
Ј.,IwaniecН.
Incomplete
kloosterman
sums
and
divisor
problem//Ann. Math. —1985. —121. — Р. 319-350.
7.
Петечук М. М. Сумма значений функции делителей в арифметических
прогрессиях с разностью, равной степени простого нечетного числа//Изв. АН
СССР, сер. Матем. —1979. — Т. 43, 4. – С. 892-908.
8.
Карацуба А. А. Распределение произведений сдвинутых простых чисел в
арифметических прогрессиях / / Докл. АН СССР. —1970. Т. 192, №4. — С. 724727.
9.
Рахмонов З. Х. Распределение чисел Харди — Литтлвуда в арифметических
прогрессиях/ / Изв. АН СССР, сер. Матем. —1989. Т. 53, №1. — С. 211-224.
10.
Виноградов А. И., Линник Ю. В. Оценка суммы числа делителей в коротком
отрезке арифметической прогрессии // Успехи матем. наук. —1957. — Т. 12, вып.
4 (76). — С. 277-280.
11.
Марджанишвили К. К. Оценка одной арифметической суммы//Докл. АН
СССР. - 1939. — Т 22, ул. — С. 391-393.
35
12.
Чубариков В. Н. Уточнение границы нулей L- рядов Дирихле по модулю,
равному степени простого числа/ / Вестник Московского университета. — 1973.
— Уд 2. — С. 46-52.
13.
Виноградов А. И. О числах с малыми простыми делителями//Докл. АН
СССР. — 1956. —Т. 19, У24. — С. 683-686.
14.
Титчмарш Е. К. Теория дзета — функции Римана. —М.: ИЛ, 1953. — 408 с.
15.
Линник Ю. В. Теория чисел. L-функции и дисперсионный метод. —
Ленинград: Наука, 1980. — 373 с.
16.
Прахар К. Распределение простых чисел. —М.: Мир, 1967. —511 с.
17.
Карацуба А. А. Тригонометрические суммы специального вида и их
приложения//Изв. АН СССР, сер. Матем. —1964. — 28. – С. 237-248.
18.
Едгоров Ж. Задача делителей в специальных арифметических прогрессиях/ /
Изв. АН УзССР. —1977. — Уд 2. — С. 9—13.
19.
Карацуба А. А. Оценки тригонометрических сумм методом И. М.
Виноградова и их применения/ /Труды МИАН СССР. 1971. — т. 112. — С. 241255.
20.
Карацуба А. А. Равномерная оценка остаточного члена в проблеме
делителей Дирихле! [Изв. АН СССР, сер. Матем. —1972. — 36. С. 475-483.
21.
Розин С. М. О нулях Дирихле//Изв. АН СССР, сер. Матем. —1959. — 23. —
С. 503-508.
22.
Чудаков Н. Г. О нулях Дирихле для модулей, равных степеням нечетного
простого//Вестник ЛГУ, сер. Матем. 1966. — 1. — С. 93-98.
23.
Хооли К. Применение методов решета в теории чисел. —М.: Наука, 1987. —
135 с.
24.
Виноградов И.М. Основы теории чисел. —СПб-М: Лань, 2004.
167 с.
25.
Виноградов И.М. Метод тригонометрических сумм в теории чисел. —М.:
Наука, 1971. — 109 с.
26.
Линник Ю. В. Дисперсионный метод в бинарных аддитивных задачах. —Л.:
Изд-во ЛГУ, 1961. 208 с.
Отзывы:
Авторизуйтесь, чтобы оставить отзыв