Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методы аналитической теории чисел

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
§ 3. Задачи с простыми числами. Проблемы Гольдбаха 201
ибо в силу монотонности логарифма
аряд
0
∞
n=2
n
du
ln u
n−1
1
сходится. Подставляя полученное соотношение в
n ln2n
1
−
ln n
ln(n − 1)
1
1
−
ln n
1
n ln2n
,
исходное равенство и учитывая выбор параметра Q, имеем
h
+ z=
S
q
ϕ(q)
μ(q)
=
ϕ(q)
1
q
l=1
(l,q)=1
2<nN
e
2πi
2πizn
e
ln n
hl
q
2<nN
e
+ ONe
2πizn
ln n
−c
+ ONe
√
L
4
.
−c
√
L
4
=
Здесь мы воспользовались результатом задачи 2 к §1 главы 2 и тем, что h и q взаимно просты. Последнее равенство и дает нам искомую асимптотику суммы S(α) на больших дугах.
Возведем полученную асимптотику в куб, учитывая, что главный член тривиально оценивается величиной N. Имеем
h
3
S
+ z=
q
μ(q)
ϕ3(q)
2<nN
2πizn
e
ln n
3
+ ON3e
−c
√
L
4
,
откуда, интегрируя по соответствующему интервалу больших дуг и пользуясь выбором параметра τ , найдем
1
=
qτ
−
qτ
μ(q)
ϕ3(q)
h
3
−2πi
e
+ ze
q
hN
q
S
1
Распространим интеграл в правой части на отрезок [−
−2πi
qτ
−
1
qτ
1
h
(
q
2<nN
+z)N
dz =
2πizn
e
ln n
3
−2πizN
e
dz + ON2e
1
1
,
]. Совершая
2
2
−c
√
L
5
.
преобразование Абеля и пользуясь результатом задачи 3 к §1 главы
1
2, при 0 <z
2πizn
e
2<nN
ln n
получим
2
ln N
1
  
2<nN
2πizn
e
   
N
 
+
2
2<nu
2πizn
e
   
u ln2u
du
1
z
.
202 Глава 4. Круговой метод
Отсюда, учитывая выбор параметров Q и τ, имеем
1
−
qτ
qτ
1
2<nN
2πizn
e
ln n
3
−2πizN
e
dz = κ(N)+O(q2τ2)=
= κ(N)+O(N
2L2B−2A
),
где
κ(N )=
1
2
1
−
2
2<nN
2πizn
e
ln n
3
−2πizN
e
dz
обозначает так называемый особый или сингулярный интеграл тер­нарной проблемы Гольдбаха. Собирая вместе полученные соотноше­ния и суммируя их по всем интервалам, составляющим множество E для интеграла по большим дугам находим
q
h=1
(h,q)=1
−2πi
e
hN
q
+ O(N2L
2B−2A
).
J
(N)=κ(N)
1
qQ
μ(q)
ϕ3(q)
Здесь мы пользовались результатом задачи 3,д) к §1 главы 1. Учиты­вая, что −h вместе с h пробегает все вычеты по модулю q, взаимно простые с ним, мы можем переписать последнее равенство в виде
где
J
(N)=κ(N)
1
qQ
c
(N)=
q
μ(q)cq(N)
ϕ3(q)
q
h=1
(h,q)=1
+ O(N
2πi
e
hN
q
2L2B−2A
),
обозначает так называемую сумму Рамануджана.
Теперь вычислим особый интеграл κ(N). В силу монотонности ло­гарифма имеем
  
2<nN
2πizn
e
ln n
−
2<nN
2πizn
e
ln N
   
2<nN
N
2
1
ln u
1
ln n
−
−
1
ln N
1
ln N
du
N
ln2N
.
,
1
§ 3. Задачи с простыми числами. Проблемы Гольдбаха 203
Последняя оценка легко получается интегрированием по частям с по­следующим разбиением отрезка интегрирования точкой
√
N. Отсюда,
пользуясь формулой для разности кубов, найдем
  
κ(N ) −
1
2
1
−
2
2<nN
N
ln2N
e
ln N
−
2πizn
1 2
1 2
3
e
  
2<nN
−2πizN
2πizn
e
ln n
dz
  
2
+
  
2<nN
  
2πizn
e
ln N
2
 
dz.
Раскрывая квадраты модулей обеих сумм и выполняя интегрирова­ние, получим
N
ln4N
2
.
κ(N )=
1
ln3N
1
2
1
−
2
2<nN
2πizn
e
3
−2πizN
e
dz + O
Как мы уже знаем, интеграл в правой части последнего равенства есть не что иное, как число решений уравнения n
e
N , то есть
3
2πizn
−2πizN
e
dz =
N−6
(N − n3− 5) =
n3=3
3 n
1
2
1
−
2
1,n2,n3
2<nN
+ n2+ n3= N при
1
(N − 7)(N −8)
2
откуда сразу получаем искомую асимптотическую формулу для осо­бого интеграла
κ(N )=
2
N
2ln3N
+ O
N
ln4N
2
.
Возвращаясь к формуле для интеграла по большим дугам, рас­пространим суммирование по q до бесконечности. Пользуясь тем, что
(N)| ϕ(q), и нижней оценкой функции Эйлера, имеем
|c
q
qQ
μ(q)cq(N)
ϕ3(q)
= σ(N)+O
q>Q
1
ϕ2(q)
= σ(N)+O
(ln ln Q)
2
Q
,
,
где ряд
σ(N )=
∞
μ(q)cq(N)
q=1
ϕ3(q)
204 Глава 4. Круговой метод
называется особым (сингулярным) рядом тернарной проблемы Гольд­баха. Как мы увидим ниже, особый ряд несет арифметическую ин­формацию, касающуюся разрешимости уравнения Гольдбаха, тогда как особый интеграл определяет порядок роста числа его решений. Собирая вместе полученные равенства, для интеграла по большим дугам находим
(N)=σ(N)κ(N)+O(N2L
J
1
−B−2
+ N2L
2B−2A
),
откуда, вспоминая оценку интеграла по малым дугам и выбирая па­раметры A =12и B =10, для искомого числа решений J(N ) имеем
J(N )=σ(N )
2
N
2ln3N
+ O
N
ln4N
2
.
Здесь мы пользовались асимптотической формулой для особого инте­грала, а также тем, что особый ряд есть O(1).
Осталось вычислить особый ряд. Докажем мультипликативность
(N) как функции переменной q. Произведение двух сумм Рамануд-
c
q
жана можно записать в виде
)=1
(h
q
2
h2=1
2,q2
)=1
(h1q2+h2q1)N
2πi
e
q1q
2
.
c
q
1
(N)c
(N)=
q
2
(h
q
1
h1=1
1,q1
Пусть q
и q2взаимно просты. Очевидно, что выражение h1q2+ h2q
1
пробегает ϕ(q1)ϕ(q2) различных вычетов по модулю q1q2, причем все они взаимно просты с модулем. В силу мультипликативности функ­ции Эйлера отсюда следует, что h вычеты по модулю q
, взаимно простые с ним. Таким образом, пра-
1q2
вая часть последнего равенства есть c
+ h2q1пробегает в точности все
1q2
(N), что и требовалось. По-
q1q
2
скольку функция Мебиуса также мультипликативна, σ(N ) является абсолютно сходящимся рядом мультипликативных функций. Соглас­но тождеству Эйлера (см. теорему 4 главы 1), находим
σ(N )=
1 −
p
Здесь мы пользовались тем, что μ(p
c
(p − 1)
k
) равна нулю при k 2. Вычис-
p
(N)
.
3
ляя значение суммы Рамануджана с помощью задачи 2 к §1 главы 2,
1
§ 3. Задачи с простыми числами. Проблемы Гольдбаха 205
получим
σ(N )=
p|N
1 −
(p − 1)
1
pN
1+
(p − 1)
2
1
.
3
Таким образом, при четном N особый ряд обращается в нуль, а при нечетном N имеем
σ(N ) >
p
1 −
1
2
p
pN
1+
(p − 1)
1
3
2
ζ(2)
> 1,
>
ибо при p, большем двух, p − 1 оценивается снизу предшествующим p простым числом.
Применение кругового метода к бинарной проблеме Гольдбаха, то есть к задаче о количестве представлений четного числа суммой двух простых чисел, сразу встречает серьезные трудности. Именно, не уда­ется получить достаточно хорошей оценки интеграла по малым дугам, поскольку задача не является тернарной. Однако, ее можно сделать тернарной искусственно, и доказать на этом пути более слабое утвер­ждение: почти все четные числа представимы суммой двух простых чисел.
Теор е ма 9. Пусть E(x) обозначает количество четных чисел, не превосходящих x и непредставимых суммой двух простых чисел. Тогда для любого фиксированного положительного D имеет место оценка
E(x)
x
.
lnDx
В частности, мощность «исключительного множества» есть o(x). Эта теорема была доказана в 1938 году независимо Чудаковым, ван дер Корпутом и Эстерманом. В 1975 году Монтгомери и Вон значи­тельно улучшили оценку E(x), доказав существование положитель­ного δ такого, что
E(x) x
1−δ
.
Наилучшее на сегодняшний день значение δ получено Ли в 2000 году и составляет 0.086. Отметим также, что в 1924 году Харди и Литтлвуд в предположении аналога гипотезы Римана для L-функций Дирихле доказали, что
E(x) x
1
+ε
2
.
206 Глава 4. Круговой метод
Доказательство. Пусть Z(x) обозначает количество четных чи- сел, лежащих в промежутке (x, 2x] и непредставимых суммой двух простых чисел. Очевидно, что
N
E(x)=
Z(2−nx)+E(2−Nx)
n=1
при любом натуральном N, следовательно, достаточно показать, что Z(x) есть O(x ln
количество четных чисел, лежащих в промежутке (x, 2x], непредста­вимых суммой двух простых чисел и имеющих не более ln лителей, поскольку количество четных чисел n в промежутке (x, 2x], удовлетворяющих неравенству τ (n) > ln
−D
x). Для этого, в свою очередь, достаточно оценить
D+1
D+1
x, есть O(x ln−Dx).Дей-
x де-
ствительно, суммируя последнее неравенство по указанным числам и пользуясь теоремой 17 главы 1, найдем
x
x<2m2x
τ(2m)>ln
D+1
ln
D+1
Возьмем произвольное натуральное число N ,ипустьn — любые четные числа, лежащие в промежутке (x, 2x] и такие, что
τ(n шений уравнения p
) ln
j
D+1
x при j =1,...,N. Через J (x, N) обозначим число ре-
+ p2= n,гдеn пробегает числа n1,...,nN.Итак,
1
x
1
τ(n) x ln x.
n2x
,...,n
1
мы сделали задачу тернарной. Пусть A и B — фиксированные поло-
−A
жительные числа. Введем параметры τ = xL
и Q = LB, обозначая для краткости ln x через L. Рассуждая так же, как и в доказательстве теоремы 8, представим искомое число решений в виде интеграла
1
J(x, N )=
1+
τ
S2(α)
1
τ
N
j=1
−2πiαn
e
j
dα,
N
где введено обозначение
p2x
2πiαp
e
.
S(α)=
Разбиение отрезка интегрирования на большие и малые дуги прово­дится в точности так же, как в доказательстве предыдущей теоремы.
§ 3. Задачи с простыми числами. Проблемы Гольдбаха 207
Вначале оценим интеграл по малым дугам. Вынося из-под знака
интеграла максимум модуля суммы S(α) на множестве E
, затем рас-
2
пространяя интеграл на весь отрезок и применяя неравенство Коши, имеем
  
S2(α)
E
2
N
j=1
−2πiαn
e
×
 
j
dα
max
1+
τ
1
τ
|S(α)|×
α∈E
2
1
|S(α)|2dα ·
1
1
N
1+
τ
−2πiαn
e
1
τ
j=1
2
2
j
dα
.
Как мы уже выяснили при доказательстве теоремы 8, для любого α из множества E
найдется рациональное приближение, знаменатель
2
которого удовлетворяет неравенствам Q<qτ . Отсюда, применяя теорему 3 главы 3, находим
max
|S(α)|xL
α∈E
2
2
1
τ
+
x
+ e
Q
√
1
−
L
2
xL
A
−
+2
2
+ xL
B
−
+2
2
.
Далее, поскольку интегралы от квадратов модулей тригонометриче­ских сумм вычисляются точно и равны, соответственно, π(2x) и N , получим
3−A
1
3
2
2
J(x, N )=J
где J
(x, N ) обозначает интеграл по большим дугам.
1
Рассмотрим интеграл J
тура множества чисел n
(x, N )+O(N
1
(x, N ). Поскольку арифметическая струк-
1
нам неизвестна, сделаем суммирование по j
j
2
x
L
+ N
внешним. Пользуясь тем, что составляющие множество E
3−B
1
3
2
2
2
x
L
),
интервалы
1
не пересекаются, найдем
(x, N )=
J
1
N
j=1
qQ
q
h=1
(h,q)=1
qτ
−
qτ
h
2
+ ze
S
1
q
−2πi
(
h q
+z)n
j
dz.
1
При доказательстве теоремы 8 мы получили асимптотическую фор­мулу для суммы S(α) в окрестности рациональной точки. Применение этой формулы к последнему равенству с учетом выбора параметров
208 Глава 4. Круговой метод
Q и τ приводит нас к соотношению
J
(x, N )=
1
N
j=1
μ2(q)cq(nj)
qQ
ϕ2(q)
1
−
qτ
1
qτ
2<n2x
2πizn
e
ln n
2
−2πizn
e
+ ONxe
j
−c√L
dz +
.
Следуя доказательству теоремы 8, распространим интеграл в правой
1
части на отрезок [−
1
qτ
1
−
qτ
2<n2x
2πizn
e
ln n
2
1
,
2
2
−2πizn
e
],чтодает
j
dz = κ(nj)+O(qτ)=κ(nj)+O(xL
B−A
где введено обозначение
κ(n
)=
j
1
−
2
1 2
2<n2x
2πizn
e
ln n
2
−2πizn
e
j
dz.
Для особого интеграла в этом случае нам будет нужна не асимпто­тическая формула, а всего лишь нижняя оценка. Последнюю легко получить, обращая порядок суммирования и интегрирования и поль­зуясь соотношением ортогональности. Вспоминая, что n
заключено
j
в пределах от x до 2x, имеем
κ(n
)=
j
n+m=n
2<n,m2x
ln n ln m
j
1
ln2x
1
2<n,m2x
n+m=n
j
1
x
ln2x
,
),
причем постоянная в знаке Виноградова абсолютна. Пользуясь три­виальной оценкой суммы Рамануджана и затем оценивая функцию Эйлера снизу, для интеграла по большим дугам находим
(x, N )=
J
1
N
j=1
κ(nj)
μ2(q)cq(nj)
qQ
ϕ2(q)
+ O(NxL
B−A+1
).
Теперь распространим суммирование по q в последней формуле до бесконечности. В ходе доказательства теоремы 8 мы установили мультипликативность суммы Рамануджана как функции переменной
§ 3. Задачи с простыми числами. Проблемы Гольдбаха 209
q. Так как наличие функции Мебиуса в качестве множителя фактиче­ски ограничивает суммирование только бесквадратными q, пользуясь задачей 2 к §1 главы 2, в этом случае имеем
|c
q(nj
)| =
|cp(nj)| =
p|q
(p − 1) = ϕ((q,nj)) ϕ(nj).
p|(q,nj)
Итак, особый ряд σ(n
) есть абсолютно сходящийся ряд мультипли-
j
кативных функций, а значит
σ(n
j
)=
∞
μ2(q)cq(nj)
q=1
ϕ2(q)
=
p|n
j
1+
1
p − 1
1 −
pn
j
(p − 1)
1
2
в силу тождества Эйлера. Оценим ту часть особого ряда, которая со­ответствует q, превосходящим Q. Группируя слагаемые по значениям
d =(q, n
) и опуская условие взаимной простоты
j
j
ϕ(d)
r>
μ2(rd) ϕ2(rd)
Q
d
μ2(q)|cq(nj)|
q>Q
ϕ2(q)
d|n
d|n
j
q
и
d
1
ϕ(d)
n
j
, получим
d
ϕ2(r)
Q
r>
d
1
.
Здесь мы воспользовались тем, что r и d взаимно просты, так как их произведение бесквадратно. Оценивая функцию Эйлера снизу (при этом следует иметь в виду, что Q/d может быть как растущим, так и близким к нулю), находим
μ2(q)|cq(nj)|
q>Q
ϕ2(q)
(ln ln Q)
2
d
Q
d|n
j
ϕ(d)
(ln ln Q)
2
ln L
τ(n
Q
j
) L
D−B+2
,
ибо, напомним, числа n восходит L
D+1
. Представив, как и в предыдущем абзаце, особый ин-
таковы, что количество их делителей не пре-
j
теграл в виде суммы, нетрудно оценить его сверху как O(x).Итак,
N
J
(x, N )=
1
σ(nj)κ(nj)+O(NxL
j=1
B−A+1
+ NxL
D−B+2
),
210 Глава 4. Круговой метод
при этом в силу четности n
для особого ряда имеет место нижняя
j
оценка
σ(n
j
) >
p|n
j
1+
1
p − 1
p
1 −
1
2
p
2
ζ(2)
> 1,
>
ибо при p, большем двух, p − 1 оценивается снизу предшествующим p простым числом.
Собирая вместе полученные соотношения и выбирая параметры A = D +11 и B = D +7, для искомого числа решений J (x, N ) имеем
N
J(x, N )=
σ(nj)κ(nj)+O(NxL−3+ N
j=1
1
3
D
−
2
x
−2
2
2
L
).
Отсюда, пользуясь нижними оценками особого интеграла и особого ряда, получаем, что
1
3
D
−
2
x
при N>c
J(x, N ) c
xL−D,гдеc3= c
3
NxL−2− c2N
1
2
2
/c
. Итак, среди любых N четных чисел
2
1
из промежутка (x,2x], имеющих не более L ся представимые суммой двух простых, если N больше c
−2
2
2
L
> 0
D+1
делителей, найдут-
xL−D.Но
3
это как раз и означает, что среди всех принадлежащих промежутку
D+1
(x, 2x] четных чисел, имеющих не более L
xL−Dнепредставимы суммой двух простых чисел.
шее c
3
делителей, самое боль-
Задачи к §3
1. Доказать, что
1
  
0
pN
2. Пусть k — фиксированное натуральное число, не меньшее трех,
(N) обозначает количество представлений натурального N сум-
и J
k
мой k простых чисел. Доказать, что
4
2πiαp
e
J
k
dα =
(N)=σk(N)
3
2N
3ln4N
p
k−1
N
(k − 1)! lnkN
1+
1
(p − 1)
+ O
3
+ O
3
k−1
N
k+1
ln
N
ln5N
,
N
.
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]