Вы находитесь на странице: 1из 31

О методах подсчета средних значений в

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


Январская научная школа по математике и программированию

Сириус 2020

Алиса Седунова
alisa.sedunova@phystech.edu

Office 107, 14th Line 29B, Vasilyevsky Island, St.Petersburg 199178, Russia

https://sites.google.com/phystech.edu/alisa-sedunova/home
Оглавление

Обозначения 4
Глава 1. Мультипликативные функции 5
1. Определения и основные свойства 5
2. Примеры мультипликативных и аддитивных функций 9
Глава 2. Свертка Дирихле 11
1. Определение и свойства свертки Дирихле 11
2. Функция Мебиуса 12
3. Формула обращения Мебиуса 13
4. Частичная сумма функции Мебиуса 14
5. Бонус: гипотеза Сарнака и Chowla 15
Глава 3. Функция делителей 17
1. Гармонический ряд и простейшая частичная сумма для функции делителей 17
2. Метод гиперболы 18
3. Гауссова проблема круга и проблема делителей Дирихле 19
4. Бонус: формула суммирования Абеля и ее применение 20
Глава 4. Метод свертки 23
1. Среднее значение n/ϕ(n) 23
2. Числа, свободные от квадратов 25
Глава 5. Частичные суммы функций по арифметичеким прогрессиям 27
1. Распределение простых чисел в коротких и длинных интервалах 27
2. Простые числа в арифметических прогрессиях 27
Задачи 29
Рекомендованная литература 31

3
Обозначения

(1) Множества:
(a) P = {2, 3, 5, 7, . . .} — множество простых чисел. Буквы p, q, а также pi , qi
обозначают элементы P.
(b) Z — множество целых чисел.
(c) Z≥0 = N0 = N ∪ 0 = {0, 1, 2, . . .} — множество неотрицательных целых
чисел.
(d) N = {1, 2, 3, . . .} — множество натуральных чисел.
(e) R — множество действительных чисел.
(2) Функции:
(a) [x] — целая часть действительного числа x. Например, [5.5] = 5, [1.1] = 1.
(b) {x} — дробная часть действительного числа x. Например, [5.5] = 0.5,
[1.1] = 0.1. Заметим, что x = [x] + {x}.
(c) 1(n) — функция натурального аргумента n, тождественно равная единице.
(d) e(n) — функция натурального аргумента n, равная 1 при n = 1 и 0 при
n > 1.
(e) log x = ln x — натуральный логарифм (по основанию e) числа x.
(3) Операции:
(a) (m, n) — наибольший общий делитель натуральных чисел m, n.
(b) [m,
X n] — наименьшее общее кратное натуральных чисел m, n.
(c) a(n) = a(1) + a(2) + a(3) + . . . + a([x]).
n≤x
X∞
(d) a(n) = a(1) + a(2) + a(3) + . . ..
n=1
Y
(e) f (p) = f (2) · f (3) · f (5) · · · — произведение функции f по всем простым
p
числам. Данное произведение может быть равно бесконечности.

4
Глава 1

Мультипликативные функции

1. Определения и основные свойства


Арифметическая функция это функция a : N → R, как правило, выражающая
некие арифметические свойства аргумента.
Определение 1.1: Частичная сумма

Пусть a — арифметическая функция, а x — действительное число. Определим


частичную сумму функции a как
X
A(x) = a(n).
n≤x

Например, если a(n) = 1 при любом натуральном n, то для любого дествительного


числа x имеем X
A(x) = 1 = [x] = x − {x}.
n≤x

Определение 1.2: O-большое

Пусть f, g : R → R. Мы говорим, что f (x) = O(g(x)), если функция g(x) неот-


рицательна при любом x и, существует константа C > 0, такая что, начиная с
некоторого x > x0 выполнено |f (x)| ≤ C|g(x)| (в таком случаем мы говорим, что
f (x) = O(g(x)) при достаточно большом x или при x, стремящемся к бесконечно-
сти).

Заметим, что если f (x) = O(g(x)), то совсем не обязательно g(x) = O(f (x)). На-
пример, для f (x) = x, g(x) = x2 выполнено f (x) = O(g(x)), но при этом неверно, что
g(x) = O(f (x)). В самом деле, пусть C = 1, x0 = 1. Тогда для любого x > 1 выполнено
|f (x)| = |x| = x ≤ x2 = g(x),
тогда как
|g(x)| = x2 ≤ Cx
неверно для любого x ≥ 1.
Замечание. Можно (и полезно!) мыслить об O(f (x)) как об элементе класса
функций, растущих по модулю не быстрее, чем f (x).

Лемма 1.1: Свойства O-большого

Пусть заданы неотрицательные функции f (x), g(x) и C > 0 — некая константа.


Тогда при достаточно большом x верно
(1) O(f (x) ± g(x)) = O(f (x)) + O(g(x)).
(2) O(Cf (x)) = C · O(f (x)) = O(f (x)).
(3) O(f (x)g(x)) = O(f (x))O(g(x)).

Доказательство. Доказательство следует из определения. Докажем, например,


что O(f (x) − g(x)) = O(f (x)) + O(g(x)).
5
Рассмотрим правую часть. Пусть F (x) = O(f (x)) и G(x) = O(g(x)). По определению
существует некая константа C1 > 0, такая что, начиная с некоторого x > x0 выполнено
F (x) ≤ Cf (x). Аналогично существует некая константа C2 > 0, такая что, начиная с
некоторого x > y0 выполнено G(x) ≤ Cg(x). Пусть z = max{x0 , y0 } и C = max{C1 , C2 }.
Тогда при x > z выполнено F (x) + G(x) ≤ C1 f (x) + C2 g(x) ≤ C(f (x) + g(x)), то есть
F (x) + G(x) = O(f (x) + g(x)) по определению.
Теперь рассмотрим левую часть со знаком минус. Пусть H(x) = O(f (x) − g(x)).
По определению существует некая константа C > 0, такая что, начиная с некоторого
x > x0 выполнено H(x) ≤ C|f (x) − g(x)| ≤ C(|f (x)| + |g(x)|), то есть по определению
H(x) = F (x) + G(x), что и требовалось доказать. 
Например, {x} = O(1). В самом деле, для любого x положим g(x) = 1 и C = 1.
Тогда имеем |{x}| ≤ 1 = C|g(x)| и, следовательно,
X
1 = x + O(1).
n≤x
Формула выше называется асимптотической формулой для частичной суммы
арифметической функции f (n) = 1. Данная формула верна при любом x, тогда как в
общем случае асимптотическая формула может быть неверна при малых x.
Определение 1.3: Асимптотическая формула

Пусть заданы функции f (x), g(x), h(x) и h(x) ≥ 0 при любом x. Формула вида
f (x) = M (x) + O(R(x))
называется асимптотической если при x > x0 выполнено |M (x)| ≥ R(x)F√ (x), где
F (x) — функция, которая растет с ростом x (например, F (x) = x, log x, x). То
есть |M (x)| растет быстрее, чем R(x).
Данная формула может быть неверна при малых x, но верна начиная с неко-
торого x > x0 . Таким образом, O(R(x)) — это некая погрешность, по модулю не
превосходящая R(x), а функция M (x) представляет собой довольно хорошее при-
ближение изначальной функции f (x).
Слагаемое M (x) называется главным членом, а слагаемое R(x) — остаточным
членом или просто остатком.

Например,
X X [x]([x] + 1) [x]2 [x] (x − {x})2 x − {x}
n= n = 1 + 2 + ... + n = = + = +
2 2 2 2 2
n≤x n≤[x]

x2 + x {x}2 − 3{x} x2 + x x2
= + = + O(1) = + O(x) = O(x2 ).
2 2 2 2
В данном курсе нас будет интересовать метод нахождения асимптотических формул
для частичных сумм арифметических функций.
Задача 1.1: Основная задача: частичные суммы

Пусть a(n) — арифметическая функция. Найти асимптотическую формулу для


A(x).
Очень часто найти такие формулы крайне трудно и тогда можно интересовать-
ся более слабым вопросом: найти верхнюю оценку на частичную сумму функции
a(n), а именно, найти функцию f (x) такую, что существует константа C1 > 0,
такая что, начиная с некоторого x > x0 выполнено
X
A(x) = a(n) ≤ C1 f (x).
n≤x
Аналогичным образом можно поставить вопрос о нахождении нижней оценки на
частичную сумму функции a(n), а именно, найти функцию g(x) такую, что суще-
ствует константа C2 > 0, такая что, начиная с некоторого x > x0 выполнено
X
A(x) = a(n) ≥ C2 g(x).
n≤x

Если найдены верхняя и нижняя оценки и при этом C1 = C2 = C, f (x) = g(x),


то можно говорить, что мы получили оценку, правильную по порядку и писать
A(x)  f (x).

Задача 1.2: Суммы по подмножествам

Пусть a(n) — арифметическая функция. Пусть также задано некоторое


X подмно-
жество Z ⊂ N. Найти асимптотическую формулу для AZ (x) = a(n).
n≤x
n∈Z
Как правило данная задача намного сложнее задачи 1.1, причем ее сложность
возрастает с уменьшением размера множества Z. Например, можно рассмотреть
Z = Z`,q = {n ∈ N : n ≡ `(mod q)}, где `, q — наперед заданные натуральные числа.

Перейдем к более интересующим нам классам арифметических функций.


Определение 1.4: Мультипликативные и аддитивные функции

Арифметическая функция a называется мультипликативной если она тожде-


ственно не равна нулю и для любых взаимно простых натуральных чисел m, n
выполнено
a(m · n) = a(m)a(n).
Аналогичным образом можно определить аддитивную функцию. Арифмети-
ческая функция a называется аддитивной если она тождественно не равна нулю
и для любых взаимно простых натуральных чисел m, n выполнено
a(m · n) = a(m) + a(n).
Если условия выше выполнены для любых натуральных чисел m, n (не обяза-
тельно взаимно простых), то функция a(n) называется вполне мультипликативной
или вполне аддитивной соответственно.

Заметим, что из определения следует, что если a — мультипликативная функция,


то a(1) = 1, так как a(1 · 1) = a(1) · a(1) = a(1)2 . Аналогичным образом, если a —
аддитивная функция, то a(1) = 0, так как a(1 · 1) = a(1) + a(1) = 2a(1).
Лемма 1.2

Пусть a(n) — аддитивная функция и C ∈ N — некая константа. Определим ариф-


метическую функцию b(n) = C a(n) . Тогда b — мультипликативная функция.

Доказательство. Заметим, что b не равна тождественно нулю, так как C x 6= 0


при любом x. По определению аддитивной функции для любых взаимно простых m, n
имеем
b(mn) = C a(mn) = C a(m)+a(n) = C a(m) · C a(n) = b(m)b(n).

Лемма 1.3: Фундаментальная теорема арифметики
Любое натуральное число n единственным образом представимо в виде
n = pα1 1 · · · pαk k ,
где p1 , . . . , pk — различные простые числа, α1 , . . . , αk — натуральные числа, кото-
рые называют максимальными степенями вхождения простого числа pi в разло-
жение n и пишут pαi i || n.

Лемма 1.4: Классификация мультипликативных функций

Арифметическая функция a является мультипликативной тогда и только тогда,


когда a(1) = 1 и для любого натурального n ≥ 2 выполнено
Y
(1) a(n) = a(pk ),
pk ||n

где произведение берется по всем простым делителям n. Таким образом, мульти-


пликативная функция полностью определяется своими значениями на степенях
простых чисел.

Доказательство. Пусть задана арифметическая функция a такая, что a(1) = 1


и (1) выполнено для n ≥ 2. Пусть m, n — натуральные числа, такие, что (m, n) = 1.
По фундаментальной теореме арифметики имеем единственные разложения m и n в
произведения степеней простых чисел
m = pα1 1 · · · pαk k , n = q1β1 · · · qsβs ,
где αi , βj — натуральные числа. Заметим, что так как m и n взаимно простые числа,
то для любых i, j выполнено pi 6= qj . Так как все pi , qj попарно взаимно просты, то
k
Y
a(m) = a(pα1 1 · · · pαk k ) = a(pα1 1 ) · · · a(pαk k ) = a(pαi i ).
i=1

Аналогично имеем
s
β
Y
a(n) = a(qi j ).
j=1
Тогда выполнено
k s
β
q1β1
Y Y
a(mn) = a(pα1 1 · · · pαk k · · · · qsβs ) = a(pαi i ) a(qi j ) = a(m)a(n).
i=1 j=1

Так как a(1) = 1, то a тождественно не равна нулю, следовательно a мультипликативна


по определению.
Теперь докажем утверждение леммы в обратную сторону. Пусть a — мультипли-
кативная функция. Тогда a(n) 6= 0 при некотором натуральном n. По определению
мультипликативности имеем
a(n · 1) = a(n) = a(1)a(n).
Таким образом a(1) = 1. Теперь пусть n ≥ 2. По фундаментальной теореме арифметики
имеем место единственное разложение
n = pα1 1 · · · pαk k ,
где αi — натуральные числа.
Используя на каждом шаге определение мультипликативности, получаем
α
a(n) = a(pα1 1 · · · pαk k ) = a(pα1 1 · · · pk−1
k−1
) · a(pαk k ) = . . . = a(pα1 1 ) · · · a(pαk k ).


2. Примеры мультипликативных и аддитивных функций
Приведем примеры мультипликативных и аддитивных функций.
(1) Логарифм: log : Z≥0 → R — аддитивная функция, так как log ab = log a+log b.
(2) Показательная функция: f (x) = ax — мультипликативная функция, так
как f (xy) = axy = ax ay = f (x)f (y).
(3) Функция Мебиуса:

1,
 n = 1,
r
µ(n) = (−1) , n = p1 · · · pr , pi 6= pj при i 6= j;
∃p ∈ P : p2 | n.

0,

Так, например, µ(2 · 3) = (−1)2 = 1, µ(22 · 3 · 5) = 0. Функция Мебиуса µ


мультипликативна. В самом деле, пусть m, n взаимно простые и таковы, что
не существует p ∈ P, такого что p2 | m, n. По фундаментальной теореме ариф-
метики имеем
m = p1 · · · pk , n = q1 · · · qs ,
где pi 6= qj . Тогда
µ(mn) = µ(p1 · · · pk · q1 · · · qs ) = (−1)k+s = (−1)k · (−1)s = µ(m)µ(n).
Если, например, n имеем делитель вида p2 , то p2 также делит m · n и по опре-
делению µ(mn) = µ(n) = 0.
(4) Характеристическая функция чисел, не имеющих делителей вида n2 :
Во-первых, данная функция попросту равна
(
1, n = p1 · · · pr , pi 6= pj при i 6= j;
µ2 (n) =
0, ∃p ∈ P : p2 | n.
X
Замечание. Можно показать, что µ2 (n)  x, то есть безквадрат-
n≤x
ные числа встречаются довольно часто.
(5) Число различных простых делителей:
(
0, n = 1,
ω(n) = P
p|n 1, n 6= 1.
Так, например, ω(2) = 1, ω(22 ) = 1, ω(2 · 32 ) = 2. Эта функция аддитивна.
Пусть m и n таковы, что (m, n) = 1, mn 6= 1. Тогда простой делитель mn
делит либо m, либо n, но не оба числа сразу. Значит
X X X X
ω(mn) = 1= 1= 1+ 1 = ω(n) + ω(m).
p|mn p|m или p|m p|m p|n

(6) Функция Эйлера:


Y 1

ϕ(n) = n 1− .
p
p|n

Так, например,
   
1 1
ϕ(22 · 3) = 22 · 3 · 1 − · 1− = 4.
2 3
Y Y
Данная функция мультипликативна. Произведение вида f (p) или f (p) =
p|n p
Y
f (p) называется произведением Эйлера и играет важную роль в анали-
p∈P
тической теории чисел. В частности, при f (p) = (1 − 1/p)−k это произведение
определяет дзета-функцию Римана в точке k.
Замечание. Можно показать,
X1 X 1
 log x, а также что  log x.
n ϕ(n)
n≤x n≤x

Из этого следует, что функция Эйлера ϕ(n) ведет себя примерно как n, а
значит X
ϕ(n)  x2 .
n≤x

(7) Функция Мангольдта:


(
log p, n = pk , k > 0,
Λ(n) =
0, n=6 pk .
Данная функция не является ни мультипликативной ни аддитивной.
Функция Мангольдта играет важную роль в доказательстве закона распре-
деления простых чисел
X x
(PNT-1) π(x) = 1 .
log x
p≤x
Более того, формула выше эквивалентна формуле
X
(PNT-2) Λ(n)  x
n≤x

и, как правило, сначала находят частичную сумму Λ(n), а затем уже из нее
выводят асимптотику на количество простых чисел, не превосходящих x.
Посмотрим детальнее на частичную сумму Λ(n). По определению функции
Мангольдта имеем
X X X X X
Λ(n) = Λ(p) + Λ(p2 ) + . . . = log p + log p + . . .

n≤x p≤x p2 ≤x p≤x p≤ x
X
Заметим, что log p считает количество простых чисел, не превосходя-
p≤x
щихXx, с логарифмическим весом (то есть мы вклад каждого простого
X числа
p в 1 равен единице, а вклад каждого простого числа p в log p равен
p≤x p≤x
log p). Логично предположить, что так как мы считаем простые числа с весом,
то чтобы вырнуться к подсчету просто количества простых чисел, не превосхо-
дящих x, нужно на этот вес поделить. В самом деле, нижняя оценка очевидна
так как
X X X X
Λ(p) = log p ≤ log x = log x 1 = π(x) log x.
p≤x p≤x p≤x p≤x

Далее важно понимать, что несмотря на то, что Λ(n) не равна нулю на
степенях простых, все же вклад от степеней n = pk , k ≥ 2 ничтожен (являет-
ся остаточным членом в асимптотической формуле). В самом деле, Λ(pk ) не
а при этом сумма становится все короче и короче: pk ≤ x
растет с ростом k, √
эквивалентно p ≤ x. Остается посмотреть на максимально допустимое зна-
k

чение k и получить эквивалентность (PNT-1) и (PNT-2).


Глава 2

Свертка Дирихле

Определение 2.1: Ряд Дирихле

Пусть задана мультипликативная функция a. Определим ее ряд Дирихле Fa (s),


где s — действительное число, как

X a(n)
F (s) = .
ns
n=1

Тогда по фундаментальной теореме арифметики имеем следующее утверждение.


Лемма 2.1: Формула произведения Эйлера

Пусть s — действительное число и a — мультипликативная функция. Тогда



a(p) a(p2 )
 
X a(n) Y
Fa (s) = = 1 + s + 2s + . . . ,
ns p
p p
n=1
где произведение берется по всем простым числам p.

Доказательство. Для доказательства достаточно раскрыть скобки в правой ча-


сти и применить фундаментальную теорему арифметики. 
Замечание. Заметим, что если a — вполне мультипликативная функция, то
для ее Дирихле ряда выполнено
Y a(p) a(p)2 a(p) −1
 Y 
Fa (s) = 1 + s + 2s + . . . = 1− s .
p
p p p
p

1. Определение и свойства свертки Дирихле

Определение 2.2: Свертка Дирихле

Пусть заданы две арифметические функции a и b. Тогда их свертка Дирихле опре-


деляется формулой X n
a ? b(n) = a(d)b ,
d
d|n
где сумма берется по всем делителям натурального числа n. Заметим, что n/d —
всегда натуральное число, так как d | n.

Лемма 2.2: Свойства свертки Дирихле

Пусть заданы две арифметические функции a, b и c. Свертка Дирихде дистрибу-


тивна относительно сложения
a ? (b + c)(n) = a ? b(n) + a ? c(n) = (b + c) ? a(n),
коммутативна,
a ? b(n) = b ? a(n),

11
и имеет единичный элемент, то есть элемент, удовлетворяющий
a ? e(n) = e ? a(n) = a(n)
и определяющийся как (
1, n = 1,
e(n) =
6 1.
0, n =

Замечание. Также можно показать, что свертка Дирихле ассоциативна, то


есть (a ? b) ? c(n) = a ? (b ? c)(n).
Доказательство. Сначала докажем дистрибутивность. По определению
X X
a ? (b + c)(n) = a(d)(b + c)(n/d) = a(d)(b(n/d) + c(n/d))
d|n d|n
X X
= a(d)b(n/d) + a(d)c(n/d) = a ? b(n) + a ? c(n).
d|n d|n

Аналогично можно показать, что (b + c) ? a(n) = a ? b(n) + a ? c(n).


Перейдем к коммутативности. По определению имеем
X
a ? b(n) = a(d)b(n/d).
d|n

Сделаем замену переменной: так как d | n, то n представляется в виде n = dd0 , где d0


— также делит n. Заметим, что так как d пробегает множество всех делителей n, то
d0 = n/d также пробегает множество всех делителей n. Тогда имеем
X X
a ? b(n) = a(n)b(n/d) = a(n/d0 )b(d0 ) = b ? a(n).
d|n d0 |n

Далее, пусть e(n) определен как


(
1, n = 1,
e(n) =
6 1.
0, n =
Из коммутативности следует, что a ? e(n) = e ? a(n). По определению свертки Дирихле
имеем X
e ? a(n) = e(d)a(n/d) = e(1)a(n) = a(n).
d|n

Пример 2.1

(1) Пусть a(n) = b(n) = 1 для любого натурального числа n. Тогда


X
1 ? 1(n) = 1 = τ (n) — число делителей n.
d|n

Аналогичным образом можно определить обобщенное число делителей n


как τk (n) = |{(d1 , . . . , dk ) ∈ Nk : n = d1 · · · dk }|, k ≥ 2 и τ2 (n) = τ (n).

2. Функция Мебиуса
Перейдем к более сложным примерам свертки Дирихле.
Лемма 2.3: Сумма функции Мебиуса по делителям

Для любого натурального числа n выполнено


(
X 1, n = 1,
µ(d) =
0, n 6= 1.
d|n
По определению (2.2) лемма выше может быть кратко записана как µ ? 1(n) = e(n), где
1(n) — функция, тождественно равная единице.
Доказательство. Пусть n = 1. Тогда
X
µ(d) = µ(1) = 1.
d|1

Теперь положим n 6= 1. По фундаментальной теореме арифметики натуральное число


n единственным образом представимо в виде
n = pα1 1 · · · pαk k .
По определению µ(d) = 0 если существует простое число p, такое что p2 | d. Таким
образом, ненулевые слагаемые, участвующие в µ ? 1(n) являются произведениями про-
стых делителей n, то есть имеют вид d = pβ1 1 · · · pβk k , где pi 6= pj при i 6= j и βi либо ноль
либо единица. Формально это можно записать как
X k
X k
X
µ(d) = 1 + µ(pi ) + µ(pi pj ) + . . . + µ(p1 · · · pk )
d|n i=1 i,j=1
        k  
k k k 2 k k
X k
= + (−1) + (−1) + . . . + (−1) = (−1)i = 0.
0 1 2 k i
i=0

Функция Мебиуса часто используется в аналитической теории чисел, чтобы отбро-
сить условие взаимной простоты индекса суммирования с некоторым наперед заданным
параметром.
Пример 2.0: Отбрасывание условия взаимной простоты

Пусть задана арифметическая функция a и натуральное число q. Используя лемму


2.3, мы можем записать
X X X
a(n) = a(n) µ(d).
n≤x n≤x d|(n,q)
(n,q)=1

Далее заметим, что можно поменять порядки суммирования и получить сначала


сумму по d, а затем уже по n. При этом важно не забыть записать эквивалентные
условия на d и n. Во-первых, заметим, что из d | (n, q) следует, что d | n и d | q.
Так как n ≤ x и d | n, то d ≤ x. Таким образом имеем
X X X X X
a(n) = µ(d) a(n) = µ(d) a(md).
n≤x d≤x n≤x d≤x md≤x
(n,q)=1 d|q d|n d|a

Заметим, что в правой части формулы выше уже нет условия взаимной просто-
ты, вместо него появилось условие делимости, которое, как правило, проще на
практике.

3. Формула обращения Мебиуса


Лемма 2.4: Формула обращения Мебиуса

Пусть заданы две арифметические функции a и b. Тогда тождество


X
a(n) = b(d)
d|n
эквивалентно X n
b(n) = a(d)µ .
d
d|n
Замечание. На языке свертки Дирихле (см. определение 2.2) лемма 2.4 может
быть кратко записана в форме: a(n) = b ? 1(n) если и только если b = a ? µ(n).
Доказательство. По лемме 2.3 имеем µ ? 1(n) = e(n). Докажем сначала в правую
сторону. Пусть a(n) = b ? 1(n). Пользуясь свойствами свертки Дирихле, имеем
a ? µ(n) = (b ? 1) ? µ(n) = b ? (1 ? µ)(n) = b ? e(n) = b(n).
Теперь в обратную сторону: пусть b(n) = a ? µ(n). Тогда
b ? 1(n) = (a ? µ) ? 1(n) = a ? (µ ? 1)(n) = a(n).

Пример 2.0: Применение формулы обращения

(1) По определению функции делителей имеем τ (n) = 1?1(n). Следовательно,


по формуле обращения получаем 1(n) = τ ? µ(n).
(2) µ2 ? 1(n) = 2ω(n) .
(3) Λ ? 1(n) = log n.

Доказательство. Сначала докажем, что µ2 ?1(n) = 2ω(n) . По формуле обращения


Мебиуса нам необходимо и достаточно показать, что µ2 (n) = 2ω ?µ(n) = µ?2ω (n). Пусть
n = pk . По определению ω(pk ) = 0 при k = 0 и ω(pk ) = 1 при k ≥ 1. При k = 0 равенство
очевидно. Рассмотрим k = 1. Тогда
X
µ2 (p) = 1, µ ? 2ω (p) = µ(d)2ω(p/d) = µ(1)2ω(p) + µ(p)2ω(1) = 2 − 1 = 1 = µ2 (p).
d|p

Пусть k ≥ 2. Тогда для левой части имеем µ2 (pk ) = 0, а правая часть удовлетворяет
k
k /d) k−i ) k k−1 )
X X
2ω ? µ(pk ) = µ(d)2ω(p = µ(pi )2ω(p = µ(1) · 2ω(p ) + µ(p) · 2ω(p
d|pk i=0

= 2(µ(1) − µ(p)) = 0.
Перейдем к функции Мангольдта. По формуле обращения Мебиуса нам необходимо
и достаточно показать, что Λ = µ ? log. Пусть n = pk . При k = 0 данное тождество
очевидно. Пусть k = 1. Тогда
X p
Λ(p) = log p, µ ? log(p) = µ(d) log = µ(1) log p + µ(p) log 1 = log p + 0 = log p.
d
d|p

Далее положим k ≥ 2. Тогда имеем


k
k
X pk X
µ ? log(p ) = µ(d) log = µ(pi ) log pk−i = µ(1) log pk + µ(p) log pk−1
d
d|p k i=0
k k−1
= log p − log p = log p = Λ(pk ).


4. Частичная сумма функции Мебиуса


P
Естественно задаться вопросом нахождения частичной суммы для M (x) = n≤x µ(n).
Данная сумма представляет собой довольно сложный объект, так как функция Меби-
уса меняет знак (предположительно произвольно!), но при этом ее сумма по "длинно-
му"интервалу n ≤ x может быть как близкой к нулю, так и огромной по модулю.
Гипотеза 2.1: Гипотеза Мертенса
Для любого x ≥ 1 выполнено


X
|M (x)| =
µ(n) ≤ x.
n≤x

Данная гипотеза была открытой проблемой более века и в конце концов была опро-√
вергнута в 1985 Odlyzko и te Riele, кто показал, что данная сумма превышает 1.06 x
для бесконечно многих x. Вообще говоря, гипотеза Мертенса не так далека от того, что
мы на данный момент ожидаем для M (x) (но не умеем доказывать!), а именно
M (x) = O(x1/2+o(1) )
(это утверждение эквивалентно гипотезе Римана для ζ(s)).
Задача нахождения "хорошей"асимптотики для M (x) крайне сложна, но, тем не ме-
нее, логарифмическую частичную сумму оценить намного проще. Для начала заметим,
что тривиальные рассуждения дают
X
µ(n) X 1
≤ ≤ C log x, C > 0.
n n
n≤x n≤x

Данная оценка может быть существенно улучшена.


Теорема 2.1: Логарифмическая частичная сумма функции Мебиуса

Для любого x ≥ 1 выполнено X


µ(n)
≤ 1.
n
n≤x

Доказательство. Без ограничения общности можно считать, что x = N — нату-


ральное число. По лемме 2.3 имеем
X XX X X
1= e(n) = µ(d) = µ(d) 1
n≤x n≤x d|n d≤x n≤x/d
X hxi X x n x o
= µ(d) = µ(d) −
d d d
d≤x d≤x
X µ(d) X nxo
=x − µ(d) ,
d d
d≤x d<x

где {x} — дробная часть x (в последней сумме мы пишем d < x вместо of d ≤ x так как
при d = x имеем {x/d} = 0). Так как |µ(d)| ≤ 1 и {x/d} < 1, то
n x o
X µ(d) X nxo X
x
= µ(d) + 1 ≤
µ(d) + 1 ≤ [x] − 1 + 1 ≤ x,
d d d
d≤x d<x d<x

что и требовалось доказать. 

5. Бонус: гипотеза Сарнака и Chowla


Гипотеза 2.2: Гипотеза Сарнака

Пусть ξ(n) — некая "разумная"ограниченная функция. Тогда


X
µ(n)ξ(n) = o(x).
n≤x

Мотивацией к гипотезе выше служит то, что из закона простых чисел следует, что
X
µ(n) = o(x),
n≤x
тогда как раскрыв скобки и использовав произведение Эйлера, можно показать, что

Y (−1) X (−1)2
 X
1 1 X µ(n)
= 1− s = s
+ s
+ ... =
ζ(s) p
p p
p p ,p
(p1 p2 ) ns
1 2 n=1

X µ(n)
= , s > 1.
ns
n=1
X
Таким образом, нули ζ связаны с M (x) = µ(n). Если функция Мебиуса ведет себя
n≤x
как случайная величина, то логично ожидать, что для
Xлюбой "независимой"функции
ξ(n) (не коррелирующей с µ(n)) поведение M (x) и µ(n)ξ(n) должно быть одина-
n≤x
ковым. В связи с этим гипотеза Сарнака также известна как гипотеза о случайности
функции Мебиуса. Данная гипотеза является широко открытой задачей, изучаемой не
только в теории чисел, но и в других областях математики.
Гипотеза 2.3: Гипотеза Chowla

Пусть задано натуральное число m и набор α1 , α2 , . . . , αm такой, что хотя бы одно


из αi нечетно. Тогда
X
µ(n + 1)α1 · · · µ(n + m)αm = o(x), m → ∞.
n≤x

Гипотеза Chowla имеет много общего с гипотезой Сарнака. Уже в случае m = 1


rипотеза Chowla является широко открытой. В частности, утверждение
X
µ(n)µ(n + 2) = o(x)
n≤x
очень близко к утверждению другой известной открытой задачи — гипотезы о беско-
нечности чисел-близнецов, то есть пар вида (p, p + 2), где p, p + 2 — простые, которое
может быть кратко записано в виде
X
Λ(n)Λ(n + 2) = Cx + o(x), C > 0 — константа.
n≤x
Гипотеза Chowla построена на ожидании, что для произвольно выбранного n, 1 ≤
n ≤ x величины µ(n + 1), . . . , µ(n + k) ведут себя как независимые случайные величины
при x → ∞.
Глава 3

Функция делителей

1. Гармонический ряд и простейшая частичная сумма для функции


делителей
X1
Как уже говорилось, ряд H(x) = расходится, то есть H(x) → ∞ при x → ∞.
n
n≤x
Ряд H(x) называется гармоническим рядом и очень часто встречается в математиче-
ских задачах. Действительно, заметим, что
1 1 1
H(x) = 1 + + + + . . . ;
2 3 4
1 1 1 2
+ > = ;
2 3 2 4
1 1 1 1 4 1
+ + + > = ;
5 6 7 8 8 2
1 1 1 1 1 1 1 1 8 1
+ + + + + + + > = ;
9 10 11 12 13 14 15 16 16 2
...
X 1 k
H(2k ) = >1+ ,
k
n 2
n≤2

то естьH(2k ) при достаточно большом k превысит любое наперед заданное число, а


значит H(x) → ∞ при x → ∞.
Насколько быстро расходится данный ряд? Ясно, что так как 1/n ≤ 1 при любом
n ≥ 1, то H(x) = O(x), но каков истинный порядок роста H(x)?
Определение 3.1: Константа Эйлера-Маскерони

Определим
  X 
1
γ = lim H(x) − log x = lim − log x = 0.5772 . . .
x→∞ x→∞ n
n≤x
До сих пор неизвестно, является ли γ рациональным числом, но если является, то
ее знаменатель > 10242080 .
Лемма 3.1

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


X1
= log x + γ + O(1/x).
n
n≤x

Доказательство. Оставим лемму без доказательства, оно приведено в конце дан-


ной главы. 
Лемма 3.2

17
При достаточно большом x имеем
X
τ (n) = x log x + O(x).
n≤x

X
Доказательство. Используя 1 = x + O(1) и определение τ (n), имеем
n≤x
X XX X X
τ (n) = 1= 1
n≤x n≤x d|n d≤x m≤x/d
(2) X x  X1
= + O(1) =x + O(x) = x log x + O(x).
d d
d≤x d≤x

2. Метод гиперболы
Заметим, что по определению
X X
τ (n) = 1= 1,
d|n md=n
а значит, частичная сумма
X X X X X
τ (n) = 1= 1
n≤x n≤x md=n md≤x n≤x
md|n

считает целые точки под гиперболой. Чтобы улучшить остаточный член в лемме 2
нужно знать что-то лучше, чем O(1). Воспользуемся леммой 4. Тогда
Лемма 3.3: Среднее значение функции делителей

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


X √
τ (n) = x log x + (2γ − 1)x + O( x).
n≤x

X
Доказательство. Заметим, что оценка 1 = x + O(1) оказывается слишком
n≤x
слабой и создает
√ остаточный член, порядка O(x), тогда как в лемме требуется остаток
порядка O( x). Данная проблема возникает потому что приближение
 
x x
= + O(1)
n n
слишком грубое при n близком к x, где главный член становится сравнимым с остатком.
Так как mn ≤ x, то можно
√ воспользоваться симметрией, а значит как минимум один
из них не превосходит x. По формуле включений-исключений
X X X X X
τ (n) = 1= 1+ 1−

n≤x mn≤x mn≤x
√ mn≤x
√ m,n≤ x
m≤ x n≤ x
X hxi X X
=2 − 1
√ n √ √
n≤ x m≤ x n≤ x
X x  √
=2 + O(1) − ( x + O(1))2
√ n
n≤ x
X 1 √
= 2x − x + O( x).
√ n
n≤ x
Применяя лемму ??, получаем
X 1  
log x 1
= +γ+O √ .
√ n 2 x
n≤ x

Комбинируя два выражения выше, приходим к выводу


√ √
  
X log x 1
τ (n) = 2x +γ+O √ − x + O( x) = x log x + (2γ − 1)x + O( x),
2 x
n≤x

что и требовалось доказать. 

3. Гауссова проблема круга и проблема делителей Дирихле


Обозначим остаточный член в частичной сумме функции делителей как
X
∆(x) = (τ (n) − log n − 2γ).
n≤x

По лемме 3.3 имеем



∆(x) = O( x),
но истинный порядок ∆(x) может быть значительно меньше.
Задача 3.1: Проблема делителей Дирихле

Найти (минимальное) α < 1/2, такое что ∆(x)  xα+ε при любом ε > 0.

Неформальные рассуждения приводят к α = 1/4, а также можно строго показать,


что α ≥ 1/4. Лучший результат в данном направлении α = 131/416 Huxley (вообще
говоря, доказан чуть более точный результат — ∆(x)  x131/416 (log x)26947/8320 ). Ко-
нечно проблема делителей Дирихле может быть обобщена для τk (n) вместо τk (n) или
на корреляции τk (n)τ` (n + a).
Проблема делителей Дирихле тесно связана с другой известной задачей — пробле-
мой круга. Пусть r(n) — количество способов представить n в виде n = a2 +b2 . Заметим,
что r(1) = 4, так как 1 = 12 + 02 = 02 + 12 = (−1)2 + 02 = 02 + (−1)2 . Тогда частичная
сумма r(n) представляет собой
X X √
r(n) = 1 = количество целых точек в круге радиусом x.
n≤x a2 +b2 ≤x

Так как площадь круга радиусом x — это πx, то логично предположить, что
X
r(n)  πx.
n≤x

Задача 3.2: Гауссова проблема круга

X
Найсти истинный порядок роста R(x) = r(n) − πx.
n≤x

Аналогично лемме 3.3 можно показать, что R(x) = O( x), тогда как мы полагаем, что
на самом деле R(x) = O(x1/4 ).
Что связывает τ (n) и r(n)? Функция r(n) не является мультипликативной, но в
каком-то смысле достаточно близка к этому, так как

(a2 + b2 )(c2 + d2 ) = (ac − bd)2 + (ad + bc)2 .


Определим мультипликативную функцию χ4 (n) по ее значениям на степенях простых
как


1, k = 0,

0, p = 2,
χ4 (pk ) =

1, p ≡ 1(mod 4),

−1, p ≡ 3(mod 4).

(Заметим, что функция χ4 (n) вполне мультипликативна по определению выше.) Так


как число n представимо в виде суммы двух квадратов тогда и только тогда, когда
все простые делители p | n, такие что p ≡ 3(mod 4) входят в разложение n на простые
множители с четными степенями. Из этого можно получить, что

X
r(n) = 4 χ4 (d) = 4(χ4 ? 1)(n),
d|n

где множитель 4 возникает потому, что в r(n) мы считаем представление n = a2 + b2


четыре раза, так как a2 + b2 = b2 + a2 = (−a)2 + b2 = a2 + (−b)2 , (функция r(n)/4 —
мультипликативная). Заметим, по неравенству треугольника


X X X
|r(n)| = 4
χ4 (d) ≤ 4 |χ4 (d)| ≤ 4 1 = 4τ (n),
d|n d|n d|n

но при этом функция r(n) и ее частичная сумма устроены сложнее, чем τ (n) и ее
частичная сумма, так как в τ (n) мы суммируем единицы, тогда как в r(n) суммируется
χ4 (n), которая может быть нулем и, что самое важное, меняет знак.

4. Бонус: формула суммирования Абеля и ее применение


Читатели, знакомые с интегрированием, могут доказать более общую лемму, при-
веденную ниже, которая позволяет получать
X частичную сумму взвешенной (с весом
f (n)) арифметической функции a(n) — a(n)f (n) из обычной частичной суммы
n≤x
X
A(x) = a(n).
n≤x
Лемма 3.4: Формула суммирования Абеля

Пусть задана арифметическая функция a(n) и A(x) — ее сумматорная функция,


то есть X
A(x) = a(n).
n≤x
Пусть f (x) — функция, определенная на x ∈ R+ , такая что ее производная f 0 (x)
определена в любой точке x. Тогда
X Z x
a(n) = A(x)f (x) − A(t)f 0 (t)dt.
n≤x 1
Доказательство. Зафиксируем x и положим k ≤ x < k + 1. Тогда
X X X X X 
a(n)f (n) = a(n)f (n) = f (n) a(m) − a(m)
n≤x n≤k n≤k m≤n m≤n−1
X
= f (n)(A(n) − A(n − 1))
n≤k
X X
= f (k)A(k) + f (n)A(n) − f (n)A(n − 1)
n≤k−1 n≤k
X X
= f (k)A(k) + f (n)A(n) − f (n + 1)A(n)
n≤k−1 n≤k−1
X
= f (k)A(k) − A(n)(f (n + 1) − f (n)).
n≤k−1

Далее можно заметить, что


X X Z n+1
A(n)(f (n + 1) − f (n)) = A(n) f 0 (t)dt
1≤n≤k−1 1≤n≤k−1 n

X Z n+1
= C(t)f 0 (t),
1≤n≤k−1 n

так как C(t) = C(n) при n ≤ t ≤ n + 1. Далее,


X Z k Z x Z x
0 0
A(n)(f (n + 1) − f (n)) = A(t)f (t) = A(t)f (t)dt − A(t)f 0 (t)dt.
1≤n≤k−1 1 1 k

Последний интеграл удовлетворяет


Z x Z x
0
A(t)f (t)dt = A(k) f 0 (t)dt = A(k)f (x) − A(k)f (k) = A(x)f (x) − A(k)f (k).
k k

Комбинируя эти два результата, получаем


X Z x
an f (n) = f (k)A(k) − A(t)f 0 (t)dt + A(x)f (x) − A(k)f (k)
n≤x 1
Z x
= f (x)A(x) − A(t)f 0 (t)dt,
1

что и требовалось доказать. 

Пример 3.0: "Типичное"применение леммы 3.4

Мы уже видели, что


X
(3) 1 = [x] = x − {x} = x + O(1).
n≤x
Применяя лемму 3.4, получает
X1 Z x X 
1X dt
= 1+ 1 2
n x 1 t
n≤x n≤x n≤t
(4) Z x
1 dt
= (x + O(1)) + (t + O(1)) 2 = log x + O(1).
x 1 t
Доказательство леммы 3.4.
X1 X 1 Z x+1 dt   Z x+1 
1 1 1
  
1
− log x = − +O = − dt + O
n n 1 t x 1 [t] t x
n≤x n≤x
Z x+1   Z ∞  
{t} 1 {t} 1
= dt + O =γ− dt + O
1 t[t] x x+1 t[t] x
Z ∞     
dt 1 1
=γ+O 2
+O =γ+O .
x+1 t x x

Глава 4

Метод свертки

Метод свертки позволяет найти средние значения функции f , представимой в виде


f = f0 ? g.
Пусть нам задана арифметическая функция f и мы хотим найти асимптотическую
формулу для ее частичной суммы
X
F (x) = f (n), x → ∞.
n≤x
Для начала попробуем приблизить нашу функцию f какой-то другой более понят-
ной функцией f0 , для которой известная асимптотика на частичную сумму
X
F0 (x) = f0 (n).
n≤x
Если f0 действительно хорошо приближает f , то арифметическая функция g, опре-
деляется единственным образом через f = f0 ? g представляет собой некую небольшую
погрешность, а следовательно ее частичная сумма уже должна быть мала.
Итак, представим, что мы нашли функцию f0 , которая удовлетворяет условиям
(1) f (p) ≈ f0 (p) (кроме возможного небольшого числа исключений);
X
(2) известна (или может быть найдена) асимптотика для F0 (x) = f0 (n).
n≤x
Тогда определим функцию g через тождество f = f0 ? g. Имеем
X XX X X
F (x) = f0 ? g(n) = g(d)f0 (n/d) = g(d) f0 (n/d)
n≤x n≤x d|n d≤x n≤x
n≡0(mod d)
(5) X X X
= g(d) f0 (m) = g(d)F0 (x/d).
d≤x m≤x/d d≤x

Чтобы найти асимптотику для F (x) остается только подставить выше известную асимп-
тотику для F0 (x) и воспользоваться леммой 3.4.
Проиллюстрируем на примерах.

1. Среднее значение n/ϕ(n)

Лемма 4.1

При x ≥ 2 имеем
Y √

X n 1
=x 1+ + O( x log x).
ϕ(n) p
p(p − 1)
n≤x

Замечание 1. Заметим, что произведение по всем простым в лемме 4.1 сходит-


ся. Это легко видеть так как
Y ! X   X
1 1 1 X 1
log 1+ = log 1 + ≤ ≤ < ∞.
p
p(p − 1) p
p(p − 1) p
p(p − 1) n
n2

Замечание 2. Используя лемму 4.1 можно показать, что


X 1
 log x
ϕ(n)
n≤x

23
(нужно применить лемму 3.4 с f (n) = 1/n, a(n) = n/ϕ(n)).
Доказательство. Пусть f (n) = n/ϕ(n). Так как функция мультипликативна, то
она задается своими значениями на степенях простых чисел. Вычислим эти значения:
1 −1
   
p p 1 1
f (p) = = 1− = =1+ =1+O .
ϕ(p) p p−1 p−1 p
Таким образом, хороший выбор f0 должен удовлетворять
 
1
f0 (p) ≈ f (p) = 1 + O
p
и иметь известную асимптотику на частичную сумму. Положим f0 (n) = 1. Тогда опре-
делим мультипликативную функцию g как f = f0 ? g = f0 ? 1 и посчитаем значения g
на степенях простых. При k ≥ 1 имеем
pk 1 −1
 
k p
f (p ) = k
= 1− = .
ϕ(p ) p p−1
Тогда
p X
f (pk ) = = f0 ? g(pk ) = g(d) = 1 + g(p) + . . . + g(pk ).
p−1 k d|p
При k = 1 имеет место
p p 1
= 1 + g(p) =⇒ g(p) = −1=
p−1 p−1 p−1
и, аналогично, при k = 2 можно записать
p p
= 1 + g(p) + g(p2 ) =⇒ g(p2 ) = − 1 − g(p) = 0.
p−1 p−1
Из последней строки можно сделать вывод, что при k ≥ 2 имеем
g(pk ) = p/(p − 1) − 1 − g(p) = 0.
X
Тогда, используя метод свертки как в (5) и формулу 1 = x + O(1), получаем
n≤x
X X X XX X X
f (n) = f0 ? g(n) = 1 ? g(n) = g(d) = g(d) 1
n≤x n≤x n≤x n≤x d|n d≤x m≤x/d
  X 
X x X g(d)
= g(d) + O(1) = x +O g(d)
d d
d≤x d≤x d≤x
∞ X 
X g(d) g(d) X
=x +O + g(d) .
d d
d=1 d>x d≤x

По формуле произведения Эйлера, т. е. по лемме 2.1, имеем


∞   Y 
X g(d) Y g(p) 1
= 1+ = 1+ .
d p
p p
p(p − 1)
d=1

Для того, чтобы оценить остаточный член заметим, что |g(pk )| ≤ 1/ p при p > 3 и при

p = 2, k ≥ 2. Таким образом |g(n)| ≤ C/ n, C > 0 и выполнено
X g(d) X 1 C
≤C 3/2
≤√ .
d d x
d>x d>x

Используя лемму 3.1, получаем


X X 1 √ X1 √
g(d) ≤ √ ≤ x ≤ x log x.
d d
d≤x d≤x d≤x


2. Числа, свободные от квадратов
Напомним, что характеристическая функция чисел, свободных от квадратов, удо-
влетворяет (
1, n свободно от квадратов,
µ2 (n) = |µ(n)| =
0, иначе.
Бесквадратные числа являются неким грубым приближением простых чисел, кото-
рое все еще проявляет некие интересные свойства, схожие со свойствами простых. При
этом бесквадратные числа встречаются гораздо чаще, чем простые, а значит иметь с
ними дело намного проще.
Более точно мы можем определить приближение простых следующим образом.
Определение 4.1: k-почти простые

Пусть k ≥ 2. Натуральное число n называется k-почти простым если оно имеет не


более чем k различных простых делителей (то есть ω(n) ≤ k).

Если мы имеем какие-то знания о k-почти простых, то можно попытаться умень-


шить k настолько, насколько это возможно, чтобы приблизиться к простым числам.
Лемма 4.2

Для любого натурального n имеем


X
µ2 (n) = µ(d).
d2 |n

Доказательство. Ясно, что любое натуральное число n может быть представле-


но в виде n = a2n bn , где bn свободно от квадратов, а an — наибольший делитель n вида
x2 (бесквадратным числам соответствует an = 1). Тогда для произвольного натураль-
ного числа n по фундаментальной теореме арифметики имеем
n = pα1 i · · · pαr r , αi = 2βi + γi , 0 ≤ γi ≤ 1, βi ≥ 0,
где
pβi i , pγi i
Y Y
an = bn =
i i
Таким образом все делители n вида d2 являются делителями an . Применяя лемму
2.3, получаем (
X X 1, an = 1,
µ(d) = µ(d) =
2
0, an 6= 1,
d |n d|an
что и требовалось доказать. 

Теорема 4.1: Плотность чисел, свободных от квадратов

При достаточно большом x выполнено


X x √
µ2 (n) = + O( x).
ζ(2)
n≤x

Доказательство. По лемме 4.2 имеем


X XX X X Xx X µ(d) X  
x
2
µ (n) = µ(d) = µ(d) 1= 2
=x 2
+ µ(d) 2
2
√ √ d √ d √ d
n≤x n≤x d |n n≤x d≤ x d≤ x d≤ x d≤ x
d2 |n

X µ(d) √
=x 2
+ O( x).
√ d
d≤ x
Дополним сумму до бесконечности и воспользуемся формулой произведения Эйлераe
(??))
Y 1 −1

ζ(2) = 1− 2 .
p
p
Таким образом
X x X µ(d) √
µ2 (n) = −x 2
+ O( x).
ζ(2) √ d
n≤x d> x

Для оставшейся суммы по d > x (именуемой ’хвост) заметим, что
X
µ(d) X 1 C
√ d2 < √ d2 ≤ √x , C > 0.

d> x d> x

π2
Замечание. Можно показать, что ζ(2) = .
6
Глава 5

Частичные суммы функций по арифметичеким


прогрессиям

1. Распределение простых чисел в коротких и длинных интервалах


Напомним, что по асимптотическому закону распределения простых чисел имеем
X X
ψ(x) = Λ(n)  log p  x.
p≤x p≤x

Более точно можно записать данный результат с (классическим) остаточным членом


ψ(x) = x + O(x exp(−c(log x)α )), c > 0, α > 0.
Из очень сильных пока не доказанных предполодений следует, что на самом деле

ψ(x) = x + O( x log2 x),
но мы очень далеки от такого сильного результата.
Рассмотрим теперь задачу о нахождении количества простых чисел, лежащих в интер-
вале [x, x + x1−θ ), где x достаточно большой, а θ > 0 малый параметр.
Задача 5.1: Простые в коротких интервалах

Пусть дано число θ ∈ (0, 1). Каково наибольшее значение θ такое, что полуин-
тервал [x, x + x1−θ ) содержит по крайней мере одно простое число при достаточно
большом x? Более точно этот вопрос можно сформулировать следующим образом:
найти наибольшее значение θ, удовлетворяющее
ψ(x + x1−θ ) − ψ(x)  x1−θ .

Из работ Huxley известно, что асимптотика вышеверна при θ < 5/12; это можно
несколько усилить до θ, например, θ ≤ 9/20. Заметим, что 5/12, 9/20 < 1/2. Что же
происходит при θ = 1/2? √
Конечно, хотелось бы уметь доказывать, что полуинтервад [x, x + x) содержит хотя
бы одно простое число при достаточно большом x (из этого, в частности, следовала бы
гипотеза Лежандра, которая говорит, что между квадратами двух соседних натураль-
ных чисел всегда найдется простое число).
Заметим, что из гипотезы Римана следует, что можно найти простое число в интервале
[x, x + x1/2+ε ).

2. Простые числа в арифметических прогрессиях


Пусть дано два взаимно простых числа a и `. Тогда если простые числа распределены
равномерно по арифметическим прогрессиям, то ожидается, что
X ψ(x) 1 X
ψ(x; `, a) = Λ(n)  = Λ(n).
ϕ(`) ϕ(`)
n≤x p≤x
n≡a(mod `)

Предположительно (принимая на веру очень сильные гипотезы) выполнено, что


ψ(x) √
ψ(x; `, a) = + O( x log2 x).
ϕ(`)
В данной главе будет рассмотрено, когда приближение выше действительно имеет место
и в каком диапазоне параметра `.
27
Асимптотический закон распределения простых чисел по арифметическим прогрес-
сиям говорит, что для фиксированного модуля ` приближение выше работает при
достаточно большом x если модуль удовлетворяет ` ≤ C(log x)A , где C > 0 и A — про-
извольная константа. Такие ` называются малые модули. К сожалению, при больших
модулях `, например, при ` = xα , α > 0 мало что известно относительно верности при-
ближения выше для фиксированного `.
Задачи

(1) Доказать результат, аналогичный Лемме 1.4 для аддитивной функции.


(2) Доказать, что для любого натурального безквадратного числа n выполнено
µ(n) = (−1)ω(n) .
(3) Доказать, что обобщенная функция делителей
X
τk (n) = 1 = |{(d1 , . . . , dk ) ∈ Nk : n = d1 · · · dk }|, k ≥ 2
d1 ···dk =n

мультипликативна и найти ее значения на  степенях


 простых чисел n = pk ,
n n!
k ≥ 0. Hint: используйте числа сочетаний = .
k k!(n − k)!
(4) Доказать, что функция Эйлера ϕ(n) мультипликативна и найти ее значения
на степенях простых чисел, то есть при n = pk , k ≥ 1.
(5) Доказать, что функция Эйлера ϕ(n) равна числу m ≤ n, удовлетворяющих
условию (m, n) = 1. X
(6) ∗ Доказать, что сумма делителей σ(n) = d мультипликативна
d|n
Определим свертку Дирихле двух арифметических функций как f ? g(n) =
(7) X
f (d)g(n/d). Верно ли, что свертка Дирихле двух мультипликативных функ-
d|n
ций является мультипликативной функцией? Является ли свертка двух вполне
мультипликативных
X функций вполне мультипликативной функцией?
(8) Пусть τ (n) = 1 — число делителей n. Доказать, что τ ? µ(n) = 1(n) = 1.
d|n
X X
(9) ∗ Пусть дано Λ(n)  x. Определим π(x) = 1. Доказать, что π(x) 
n≤x p≤x
x/ log x.
∞ ∞

X a(n) X b(n)
(10) Пусть F (s) = , G(s) =
, где a(n), b(n) — мультипликативные
ns ns
n=1 n=1

X a ? b(n)
функции. Доказать, что F (s) · G(s) = .
ns
n=1
X µ(d) ϕ(n)
(11) Доказать, что = .
d n
d|n
(12) Определим безквадратное ядроY n как произведение всех различных простых
делителей n, то есть s(n) = p. Например, s(22 33 ) = 2 · 3 = 6. Каков мак-
p|n
симальный размер множества S ⊂ {1, . . . N } такого, что любые два элемента
этого множества x, y удовлетворяют s(x) 6= s(y)?
(13) Пусть k ≥ 1. Определим обобщенные функции Мангольдта как

n k
X  
Λk (n) = µ(d) log .
d
d|n

(a) Доказать, что Λ1 (n) = Λ(n) = (−µ · log) ? 1(n).


(b) ∗ Доказать, что Λk+1 (n) = Λk (n) log n + Λ ? Λk (n).
29
(c) Вывести, что Λk (n) = 0 тогда и только тогда когда ω(n) > k, где ω(n) —
количество различных простых делителей n.

X 1
(14) Пусть задано действительное число s > 1. Определим ζ(s) = . Доказать,
ns
n=1
что

X µ2 (n) ζ(s)
(a) = ;
ns ζ(2s)
n=1

X 2ω(n) ζ 2 (s)
(b) = ;
ns ζ(2s)
n=1

X τ (n2 ) ζ 3 (s)
(c) ∗ = .
ns ζ(2s)
n=1

X Λ(n)
(d) ∗∗ Что можно сказать о ?
ns
n=1
Hint: использовать формулу произведения Эйлера для мультипликативной
функции a(n) и s > 1, а именно

a(p) a(p2 )
 
X a(n) Y
= 1 + s + 2s + . . . .
ns p
p p
n=1
Рекомендованная литература

(1) H. L. Montgomery, R. C. Vaughan, Multiplicative Number Theory. I. Classical


theory. Cambridge Studies in Advanced Mathematics, 97. Cambridge University
Press, Cambridge, 2007.
(2) A.J. Hilderbrand, Introduction to Analytic Number Theory,
https://faculty.math.illinois.edu/~hildebr/ant/.
(3) J.-H. Evertse, Analytic number theory,
http://pub.math.leidenuniv.nl/~evertsejh/ant-mastermath.html.
(4) H. Iwaniec, E. Kowalski, Analytic Number Theory, American Mathematical Society
Colloquium Publications, 53. American Mathematical Society, Providence, RI, 2004.
(5) E. C. Titchmarsh, The theory of the Riemann zeta-function, Second edition. Edited
and with a preface by D. R. Heath-Brown. The Clarendon Press, Oxford University
Press, New York, 1986.
(6) S. Voronin, A. Karatsuba, The Riemann zeta function, Translated from the Russian
by Neal Koblitz. De Gruyter Expositions in Mathematics, 5. Walter de Gruyter &
Co., Berlin, 1992.
(7) A. Karatsuba, Basic analytic number theory, Translated from the second (1983)
Russian edition and with a preface by Melvyn B. Nathanson. Springer-Verlag,
Berlin, 1993.
(8) J. Friedlander, H. Iwaniec, Opera de Cribro, American Mathematical Society Colloquium
Publications, 57. American Mathematical Society, Providence, RI, 2010.
(9) R. C. Vaughan, T. Wooley, Waring’s Problem: A Survey, Number theory for the
millennium, III (Urbana, IL, 2000), 301–340, A K Peters, Natick, MA, 2002.

31

Вам также может понравиться