Тайная жизнь дзета-функции Римана

Ю.В.Матиясевич

http://logic.pdmi.ras.ru/~yumat/
personaljournal/zetahiddenlife
Дзета функция и Леонард Эйлер
Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Произведение Эйлера:
Y 1
ζ(s) = −s
p – простое 1 − p
Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Произведение Эйлера:
Y 1
ζ(s) = −s
p – простое 1 − p

Доказательство.

Y 1 Y
−s
= (1 + p −s + p −2s + p −3s + . . . )
p – простое 1 − p p – простое
Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s = 1−s + 2−s + 3−s + · · · + n−s + . . .
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Произведение Эйлера:
Y 1
ζ(s) = −s
p – простое 1 − p

Доказательство.

Y 1 Y
−s
= (1 + p −s + p −2s + p −3s + . . . )
p – простое 1 − p p – простое
Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s = 1−s + 2−s + 3−s + · · · + n−s + . . .
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Произведение Эйлера:
Y 1
ζ(s) = −s
p – простое 1 − p

Доказательство.

Y 1 Y
−s
= (1 + p −s + p −2s + p −3s + . . . )
p – простое 1 − p p – простое
Дзета функция и Леонард Эйлер
Ряд Дирихле:
∞
X
ζ(s) = n−s = 1−s + 2−s + 3−s + · · · + n−s + . . .
n=1

Ряд сходится при for s > 1 и расходится при s = 1

Произведение Эйлера:
Y 1
ζ(s) = −s
p – простое 1 − p

Доказательство.

Y 1 Y
−s
= (1 + p −s + p −2s + p −3s + . . . )
p – простое 1 − p p – простое
Basel Problem ( Pietro Mingoli, 1644)
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2)
1 2 3 n
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Л. Эйлер дал первое "доказательство" в 1735 году
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Л. Эйлер дал первое "доказательство" в 1735 году

sin(x) x2 x4
= 1− + − ...
x 3! 5!
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Л. Эйлер дал первое "доказательство" в 1735 году

sin(x) x2 x4
= 1− + − ...
x 3! 5!   
x x x  x 
= ... 1 − 1− 1− 1+ ...
−2π −1π 1π 2π
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Л. Эйлер дал первое "доказательство" в 1735 году

sin(x) x2 x4
= 1− + − ...
x 3! 5!   
x x x  x 
= ... 1 − 1− 1− 1+ ...
−2π −1π 1π 2π
x2 x2 x2
   
= 1− 2 2 1− 2 2 1 − 2 2 ...
1 π 2 π 3 π
Basel Problem ( Pietro Mingoli, 1644)
1 1 1 1
Чему равна сумма 12
+ 22
+ 32
+ ··· + n2
+ ...?

1 1 1 1
2
+ 2 + 2 + · · · + 2 + · · · = ζ(2) = 1.64493406684822644 . . .
1 2 3 n

π2
ζ(2) =
6
Л. Эйлер дал первое "доказательство" в 1735 году

sin(x) x2 x4
= 1− + − ...
x 3! 5!   
x x x  x 
= ... 1 − 1− 1− 1+ ...
−2π −1π 1π 2π
x2 x2 x2
   
= 1− 2 2 1− 2 2 1 − 2 2 ...
1 π 2 π 3 π
Другие заченния ζ(s)

1 2
ζ(2) = π
6
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
1 6
ζ(6) = π
945
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
1 6
ζ(6) = π
945
1 8
ζ(8) = π
9450
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
1 6
ζ(6) = π
945
1 8
ζ(8) = π
9450
691
ζ(10) = π 10
638512875
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
1 6
ζ(6) = π
945
1 8
ζ(8) = π
9450
691
ζ(10) = π 10
638512875
2
ζ(12) = π 12
18243225
Другие заченния ζ(s)

1 2
ζ(2) = π
6
1 4
ζ(4) = π
90
1 6
ζ(6) = π
945
1 8
ζ(8) = π
9450
691
ζ(10) = π 10
638512875
2
ζ(12) = π 12
18243225
3617
ζ(14) = π 14
325641566250
Другие заченния ζ(s)

1 2 21
ζ(2) = π = B2 π 2
6 2!
1 4 23
ζ(4) = π = − B4 π 4
90 4!
1 6 25
ζ(6) = π = B6 π 6
945 6!
1 8 27
ζ(8) = π = − B8 π 8
9450 8!
691 29
ζ(10) = π 10 = B10 π 10
638512875 10!
2 211
ζ(12) = π 12 = − B12 π 12
18243225 12!
3617 213
ζ(14) = π 14 = B14 π 14
325641566250 14!
Числа Бернулли

B0 = 1, B1 = − 12 , B2 = 16 , B3 = 0, 1
B4 = − 30 , B5 = 0,
1 1 5
B6 = 42 , B7 = 0, B8 = − 30 , B9 = 0, B10 = 66 , B11 = 0, . . .
Числа Бернулли

B0 = 1, B1 = − 12 , B2 = 16 , B3 = 0, 1
B4 = − 30 , B5 = 0,
1 1 5
B6 = 42 , B7 = 0, B8 = − 30 , B9 = 0, B10 = 66 , B11 = 0, . . .

∞
x X 1
x
= Bk x k
e −1 k!
k=0
Числа Бернулли

B0 = 1, B1 = − 12 , B2 = 16 , B3 = 0, 1
B4 = − 30 , B5 = 0,
1 1 5
B6 = 42 , B7 = 0, B8 = − 30 , B9 = 0, B10 = 66 , B11 = 0, . . .

∞
x X 1
x
= Bk x k
e −1 k!
k=0
x x −x −x
+ = −x +
ex − 1 2 e −1 2
Числа Бернулли

B0 = 1, B1 = − 12 , B2 = 16 , B3 = 0, 1
B4 = − 30 , B5 = 0,
1 1 5
B6 = 42 , B7 = 0, B8 = − 30 , B9 = 0, B10 = 66 , B11 = 0, . . .

∞
x X 1
x
= Bk x k
e −1 k!
k=0
x x −x −x
+ = −x +
ex − 1 2 e −1 2

22k−1
ζ(2k) = (−1)k+1 B2k π 2k
(2k)!
Числа Бернулли

B0 = 1, B1 = − 12 , B2 = 16 , B3 = 0, 1
B4 = − 30 , B5 = 0,
1 1 5
B6 = 42 , B7 = 0, B8 = − 30 , B9 = 0, B10 = 66 , B11 = 0, . . .

∞
x X 1
x
= Bk x k
e −1 k!
k=0
x x −x −x
+ = −x +
ex − 1 2 e −1 2

22k−1
ζ(2k) = (−1)k+1 B2k π 2k
(2k)!
Еще другие значения ζ(s)

ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . .
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
ζ(−1) = 11 + 21 + 31 + · · · = 1 + 2 + 3 + . . .
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · =
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · = 0
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · = 0
ζ(−3) = 13 + 23 + 33 + · · · = 1 + 8 + 27 + . . .
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · = 0
1
ζ(−3) = 13 + 23 + 33 + · · · = 1 + 8 + 27 + . . . =
120
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · = 0
1
ζ(−3) = 13 + 23 + 33 + · · · = 1 + 8 + 27 + . . . =
120
Еще другие значения ζ(s)

1
ζ(0) = 10 + 20 + 30 + · · · = 1 + 1 + 1 + . . . = −
2
1 1 1 1
ζ(−1) = 1 + 2 + 3 + · · · = 1 + 2 + 3 + . . . = −
12
ζ(−2) = 12 + 22 + 32 + · · · = 1 + 4 + 9 + · · · = 0
1
ζ(−3) = 13 + 23 + 33 + · · · = 1 + 8 + 27 + . . . =
120
Функциональное уравнение

Bm+1
ζ(−m) = −
2m + 2
Функциональное уравнение

Bm+1 22k−1
ζ(−m) = − ζ(2k) = (−1)k+1 B2k π 2k
2m + 2 (2k)!
Функциональное уравнение

Bm+1 22k−1
ζ(−m) = − ζ(2k) = (−1)k+1 B2k π 2k
2m + 2 (2k)!

ζ(1 − 2k) = (−1)k 21−2k π −2k (2k − 1)!ζ(2k)

Функциональное уравнение

Bm+1 22k−1
ζ(−m) = − ζ(2k) = (−1)k+1 B2k π 2k
2m + 2 (2k)!

ζ(1 − 2k) = (−1)k 21−2k π −2k (2k − 1)!ζ(2k)

Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z
Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z

Ряд и произведение сходятся при for <(z) > 1.

Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z

Ряд и произведение сходятся при for <(z) > 1.

Точка z = 1 является единственным полюсом ζ(z).

Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z

Ряд и произведение сходятся при for <(z) > 1.

Точка z = 1 является единственным полюсом ζ(z).

ζ(1 − 2k) = (−1)k 21−2k π −2k (2k − 1)!ζ(2k)

Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z

Ряд и произведение сходятся при for <(z) > 1.

Точка z = 1 является единственным полюсом ζ(z).

ζ(1 − 2k) = (−1)k 21−2k π −2k (2k − 1)!ζ(2k)

 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
Дзета функция Римана
Ряд Дирихле:
∞
X
ζ(z) = n−z
n=1
Произведение Эйлера:
Y 1
ζ(z) =
p – простое 1 − p −z

Ряд и произведение сходятся при for <(z) > 1.

Точка z = 1 является единственным полюсом ζ(z).

ζ(1 − 2k) = (−1)k 21−2k π −2k (2k − 1)!ζ(2k)

 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
Распределение простых чисел

π(x) = количество простых чисел, не больших x

Распределение простых чисел

π(x) = количество простых чисел, не больших x

Теорема (Jacques Hadamard, Charles de la Vallee Poussin

(независимо), [1896]).
x
π(x) ≈
ln(x)
Распределение простых чисел

π(x) = количество простых чисел, не больших x

Теорема (Jacques Hadamard, Charles de la Vallee Poussin

(независимо), [1896]).
x
π(x) ≈
ln(x)

x π(x)
π(x) ≈ ⇔ →x→∞ 1
ln(x) x/ ln(x)
Распределение простых чисел

π(x) = количество простых чисел, не больших x

Теорема (Jacques Hadamard, Charles de la Vallee Poussin

(независимо), [1896]).
x
π(x) ≈
ln(x)

x π(x)
π(x) ≈ ⇔ →x→∞ 1
ln(x) x/ ln(x)

x
π(x) −
ln(x)
Распределение простых чисел

π(x) = количество простых чисел, не больших x

Теорема (Jacques Hadamard, Charles de la Vallee Poussin

(независимо), [1896]).
x
π(x) ≈
ln(x)

x π(x)
π(x) ≈ ⇔ →x→∞ 1
ln(x) x/ ln(x)

x
x 1
Z
π(x) − π(x) − dt
ln(x) ln(t)
Функциия Чебышева ψ(x)
Функциия Чебышева ψ(x)

X X
π(x) = 1 ψ(x) = ln(p)
p≤x q≤x
p – простое q – степень
простого p
Функциия Чебышева ψ(x)

X X
π(x) = 1 ψ(x) = ln(p)
p≤x q≤x
p – простое q – степень
простого p
= ln(LCM(1, 2, ..., bxc))
Функциия Чебышева ψ(x)

X X
π(x) = 1 ψ(x) = ln(p)
p≤x q≤x
p – простое q – степень
простого p
= ln(LCM(1, 2, ..., bxc))

x
π(x) ≈ ⇔ ψ(x) ≈ x
ln(x)
Функциия Чебышева ψ(x)

X X
π(x) = 1 ψ(x) = ln(p)
p≤x q≤x
p – простое q – степень
простого p
= ln(LCM(1, 2, ..., bxc))

x
π(x) ≈ ⇔ ψ(x) ≈ x
ln(x)

x
1
Z
π(x) − dt ψ(x) − x
ln(t)
Теорема von Mangoldt’а
Теорема von Mangoldt’а
Точки z1 = −2, z2 = −4, . . . , zk = −2k, . . . являются
тривиальными нулями ζ(z).
Теорема von Mangoldt’а
Точки z1 = −2, z2 = −4, . . . , zk = −2k, . . . являются
тривиальными нулями ζ(z).

Теорема (von Mangoldt [1895]).

X xρ X x −2n
ψ(x) − x = − + − ln(2π)
ρ
ρ n
2n

ζ(ρ) = 0, =(ρ) 6= 0
Теорема von Mangoldt’а
Точки z1 = −2, z2 = −4, . . . , zk = −2k, . . . являются
тривиальными нулями ζ(z).

Теорема (von Mangoldt [1895]).

X xρ X x −2n
ψ(x) − x = − + − ln(2π)
ρ
ρ n
2n

ζ(ρ) = 0, =(ρ) 6= 0
Гипотеза Римана
Гипотеза Римана (версия 1). Все нетривиальные нули
функции ζ(z) лежат на критической прямой <(z) = 12 .
Гипотеза Римана
Гипотеза Римана (версия 1). Все нетривиальные нули
функции ζ(z) лежат на критической прямой <(z) = 12 .

Гипотеза Римана (версия 2).

√
ψ(x) − x = O( x ln(x)2 )
Гипотеза Римана
Гипотеза Римана (версия 1). Все нетривиальные нули
функции ζ(z) лежат на критической прямой <(z) = 12 .

Гипотеза Римана (версия 2).

√
ψ(x) − x = O( x ln(x)2 )

Гипотеза Римана (версия 3).

Z x
1 √
π(x) − dt = O( x ln(x))
ln(t)
Гипотеза Римана
Гипотеза Римана (версия 1). Все нетривиальные нули
функции ζ(z) лежат на критической прямой <(z) = 12 .

Гипотеза Римана (версия 2).

√
ψ(x) − x = O( x ln(x)2 )

Гипотеза Римана (версия 3).

Z x
1 √
π(x) − dt = O( x ln(x))
ln(t)
Функция Римана ξ(z)
 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
Функция Римана ξ(z)
 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)
Функция Римана ξ(z)
 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)
Функция Римана ξ(z)
 πz 
ζ(1 − z) = cos 21−z π −z Γ(z)ζ(z)
2
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)
Нулями функции ξ(z) являются все нетривиальные нули
функции ζ(z), и только они.
Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)
Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)
Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)
Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)

ζ ∗ (z) = 2(z − 1)ζ(z)

Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)

ζ ∗ (z) = 2(z − 1)ζ(z) ζ ∗ (0) = 1

Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)

ζ ∗ (z) = 2(z − 1)ζ(z) ζ ∗ (0) = 1

Гипотеза Римана (версия 4). Тривиальные нули

z1 = −2, z2 = −4, . . . , zk = −2k, . . . являются единственными
нулями функции ζ ∗ (z), лежащими в полуплоскости <(z) < 12 .
Функция ζ ∗ (z)
z
ξ(z) = π − 2 (z − 1)Γ(1 + z2 )ζ(z)

ξ(1 − z) = ξ(z)

ζ ∗ (z) = 2(z − 1)ζ(z) ζ ∗ (0) = 1

Гипотеза Римана (версия 4). Тривиальные нули

z1 = −2, z2 = −4, . . . , zk = −2k, . . . являются единственными
нулями функции ζ ∗ (z), лежащими в полуплоскости <(z) < 12 .
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z
w=
1−z
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1

ζ̃(w ) = ζ ∗ ( ww+1 )
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1

ζ̃(w ) = ζ ∗ ( ww+1 )

z1 = −2, z2 = −4, . . . , zk = −2k, . . .

Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1

ζ̃(w ) = ζ ∗ ( ww+1 )

z1 = −2, z2 = −4, . . . , zk = −2k, . . .

z1 2 z2 4 zk 2k
w1 = = − , w2 = = − , . . . , wk = =− ,..
1 − z1 3 1 − z2 5 1 − zk 2k + 1
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1

ζ̃(w ) = ζ ∗ ( ww+1 )

z1 = −2, z2 = −4, . . . , zk = −2k, . . .

z1 2 z2 4 zk 2k
w1 = = − , w2 = = − , . . . , wk = =− ,..
1 − z1 3 1 − z2 5 1 − zk 2k + 1
Функция ζ̃(w )

ζ ∗ (z) = 2(z − 1)ζ(z)

z w
w= z=
1−z w +1

ζ̃(w ) = ζ ∗ ( ww+1 )

z1 = −2, z2 = −4, . . . , zk = −2k, . . .

z1 2 z2 4 zk 2k
w1 = = − , w2 = = − , . . . , wk = =− ,..
1 − z1 3 1 − z2 5 1 − zk 2k + 1
Замена переменной
1.5
4

Z 3
1.0
W
2

0.5
1

-6 -5 -4 -3 -2 -1 1 2 -1.5 -1.0 -0.5 0.5 1.0 1.5

-1
-0.5
-2

-3 -1.0

-4
-1.5
Замена переменной
1.5
4

Z 3
1.0
W
2

0.5
1

-6 -5 -4 -3 -2 -1 1 2 -1.5 -1.0 -0.5 0.5 1.0 1.5

-1
-0.5
-2

-3 -1.0

-4
-1.5

Гипотеза Римана (версия 5). Тривиальные нули

w1 = − 32 , w2 = − 45 , . . . , wk = − 2k+1
2k
, . . . являются
единственными нулями функции ζ̃(w ), лежащими в открытом
круге |w | < 1.
Подгипотезы
1.5
4

Z 3
1.0
W
2

0.5
1

-6 -5 -4 -3 -2 -1 1 2 -1.5 -1.0 -0.5 0.5 1.0 1.5

-1
-0.5
-2

-3 -1.0

-4
-1.5
Подгипотезы
1.5
4

Z 3
1.0
W
2

0.5
1

-6 -5 -4 -3 -2 -1 1 2 -1.5 -1.0 -0.5 0.5 1.0 1.5

-1
-0.5
-2

-3 -1.0

-4
-1.5

RHk , k-я подгипотеза (версия 1). Тривиальные нули

w1 = − 32 , w2 = − 45 , . . . , wk = − 2k+1
2k
являются единственными
нулями функции ζ̃(w ), лежащими в замкнутом круге
2k+1
|w | ≤ 2k+2 .
Подгипотезы
1.5
4

Z 3
1.0
W
2

0.5
1

-6 -5 -4 -3 -2 -1 1 2 -1.5 -1.0 -0.5 0.5 1.0 1.5

-1
-0.5
-2

-3 -1.0

-4
-1.5

RHk , k-я подгипотеза (версия 1). Тривиальные нули

w1 = − 32 , w2 = − 45 , . . . , wk = − 2k+1
2k
являются единственными
нулями функции ζ̃(w ), лежащими в замкнутом круге
2k+1
|w | ≤ 2k+2 .

Гипотеза Римана (версия 6). Подгипотеза RHk верна для

k = 1, 2, . . . :
RH ⇔ RH1 & RH2 & RH3 . . .
Приближения Padé

Pk,m (w )
ζ̃(w ) ≈
Qk,m (w )
Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m
Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m

= ζ̃(w ) + O(w k+m+1 )

Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m

= ζ̃(w ) + O(w k+m+1 )

Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m
Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m

Следствия теоремы de Montessue [1902]:

k  
Y w
RHk =⇒ Pk,m → 1− при m → ∞
wj
j=1
Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m

Следствия теоремы de Montessue [1902]:

k  
Y w
RHk =⇒ Pk,m → 1− при m → ∞
wj
j=1

k   Yk
Y 1 2j + 1
RHk =⇒ pk,m,k → − =
wj 2j
j=1 j=1
Приближения Padé

Pk,m (w ) 1 + pk,m,1 w + · · · + pk,m,k w k

ζ̃(w ) ≈ =
Qk,m (w ) 1 + qk,m,1 w + · · · + qk,m,m w m

Следствия теоремы de Montessue [1902]:

k  
Y w
RHk =⇒ Pk,m → 1− при m → ∞
wj
j=1

k   Yk
Y 1 2j + 1
RHk =⇒ pk,m,k → − =
wj 2j
j=1 j=1
Слабые подгипотезы
Подгипотеза RHw
k , ослабленный вариант RHk (версия 1).
При m → ∞
k   Yk
Y 1 2j + 1
pk,m,k → − =
wj 2j
j=1 j=1
Слабые подгипотезы
Подгипотеза RHw
k , ослабленный вариант RHk (версия 1).
При m → ∞
k   Yk
Y 1 2j + 1
pk,m,k → − =
wj 2j
j=1 j=1

Гипотеза Римана (версия 7). Подгипотеза RHw k верна для

k = 1, 2, . . . :
RH ⇔ RHw w w
1 & RH2 & RH3 . . .
Слабые подгипотезы
Подгипотеза RHw
k , ослабленный вариант RHk (версия 1).
При m → ∞
k   Yk
Y 1 2j + 1
pk,m,k → − =
wj 2j
j=1 j=1

Гипотеза Римана (версия 7). Подгипотеза RHw k верна для

k = 1, 2, . . . :
RH ⇔ RHw w w
1 & RH2 & RH3 . . .
Определители

Pk,m (z) 1 + pk,m,1 w + · · · + pk,m,k w k

= = ζ̃(w ) + O(w k+m+1 )
Qk,m (z) 1 + qk,m,1 w + · · · + qk,m,m w m
Определители

Pk,m (z) 1 + pk,m,1 w + · · · + pk,m,k w k

= = ζ̃(w ) + O(w k+m+1 )
Qk,m (z) 1 + qk,m,1 w + · · · + qk,m,m w m

Теорема (C. G. J. Jacobi [1846]).

det(Lk,m+1 )
pk,m,k =
det(Lk,m )
где  
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m = . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

ζ̃(w ) = 1 + θ1 w + · · · + θk w k + . . . θj = 0 при j < 0

Определители

Pk,m (z) 1 + pk,m,1 w + · · · + pk,m,k w k

= = ζ̃(w ) + O(w k+m+1 )
Qk,m (z) 1 + qk,m,1 w + · · · + qk,m,m w m

Теорема (C. G. J. Jacobi [1846]).

det(Lk,m+1 )
pk,m,k =
det(Lk,m )
где  
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m = . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

ζ̃(w ) = 1 + θ1 w + · · · + θk w k + . . . θj = 0 при j < 0

Рост определителей

det(Lk,m+1 )
= pk,m,k
det(Lk,m )
Рост определителей

k
det(Lk,m+1 ) Y 2j + 1
= pk,m,k →
det(Lk,m ) 2j
j=1
Рост определителей

k
det(Lk,m+1 ) Y 2j + 1
= pk,m,k →
det(Lk,m ) 2j
j=1

det(Lk,1 ), det(Lk,2, ), . . . det(Lk,m ), . . . – это примерно

геометрическая прогрессия
Рост определителей

k
det(Lk,m+1 ) Y 2j + 1
= pk,m,k →
det(Lk,m ) 2j
j=1

det(Lk,1 ), det(Lk,2, ), . . . det(Lk,m ), . . . – это примерно

геометрическая прогрессия

Подгипотеза RHw
k (версия 2). При m → ∞

k

1 Y 2j + 1
det(Lk,m ) m
→ .
2j
j=1
Рост определителей

k
det(Lk,m+1 ) Y 2j + 1
= pk,m,k →
det(Lk,m ) 2j
j=1

det(Lk,1 ), det(Lk,2, ), . . . det(Lk,m ), . . . – это примерно

геометрическая прогрессия

Подгипотеза RHw
k (версия 2). При m → ∞

k

1 Y 2j + 1
det(Lk,m ) m
→ .
2j
j=1
Собственные числа

det(Lk,m ) = λk,m,1 λk,m,2 . . . λk,m,m ,

где λk,m,1 , λk,m,2 , . . . , λk,m,m – собственные числа матрицы Lk,m
Собственные числа

det(Lk,m ) = λk,m,1 λk,m,2 . . . λk,m,m ,

где λk,m,1 , λk,m,2 , . . . , λk,m,m – собственные числа матрицы Lk,m

Подгипотеза RHw
k (версия 3). При m → ∞

m
!1 k
m
Y Y 2j + 1
λk,m,n → .
2j
n=1 j=1
Собственные числа

det(Lk,m ) = λk,m,1 λk,m,2 . . . λk,m,m ,

где λk,m,1 , λk,m,2 , . . . , λk,m,m – собственные числа матрицы Lk,m

Подгипотеза RHw
k (версия 3). При m → ∞

m
!1 k
m
Y Y 2j + 1
λk,m,n → .
2j
n=1 j=1
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
См. Анимация 1
Только тривиальные нули

ζ ∗ (z)
ζT (z) =
2ξ(z)
Только тривиальные нули

z
ζ ∗ (z) π2
ζT (z) = =
2ξ(z) Γ(1 + z2 )
Только тривиальные нули

z
ζ ∗ (z) π2
ζT (z) = = ζT (0) = 1
2ξ(z) Γ(1 + z2 )
Только тривиальные нули

z
ζ ∗ (z) π2
ζT (z) = = ζT (0) = 1
2ξ(z) Γ(1 + z2 )
 
w
ζ̃T (w ) = ζT 1+w
Только тривиальные нули

z
ζ ∗ (z) π2
ζT (z) = = ζT (0) = 1
2ξ(z) Γ(1 + z2 )
 
w
ζ̃T (w ) = ζT 1+w
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 1.5

1.0

0.5

-1.5 -1.0 -0.5 0.5 1.0 1.5

-0.5

-1.0

-1.5
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
См. Анимация 2
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
 2

-2 -1 1 2

-1

-2
См. Анимация 3
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
См. Анимация 4
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
 3

-3 -2 -1 1 2 3

-1

-2

-3
См. Анимация 5
 4

-4 -2 2 4

-2

-4
 4

-4 -2 2 4

-2

-4
 4

-4 -2 2 4

-2

-4
 4

-4 -2 2 4

-2

-4
См. Анимация 6
Новая гипотеза
Поместим вес m1 в каждую из точек λk,m,1 , λk,m,2 , . . . , λk,m,m и
обозначим через λk,m соответствующую дискретную меру.
Новая гипотеза
Поместим вес m1 в каждую из точек λk,m,1 , λk,m,2 , . . . , λk,m,m и
обозначим через λk,m соответствующую дискретную меру.
Тогда существует предельная мера λk , сосредоточенная на
“предельном луке”, “предельных орбитах” и “предельной
стреле”, и  
k
2j 1
Z Y +
ln(w )d λk = ln  
2j
j=1
Новая гипотеза
Поместим вес m1 в каждую из точек λk,m,1 , λk,m,2 , . . . , λk,m,m и
обозначим через λk,m соответствующую дискретную меру.
Тогда существует предельная мера λk , сосредоточенная на
“предельном луке”, “предельных орбитах” и “предельной
стреле”, и  
k
2j 1
Z Y +
ln(w )d λk = ln  
2j
j=1
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

det(Lk,m )
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

det(Lk,m ) = det(Mk,m )
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

det(Lk,m ) = det(Mk,m )
 
θk+m−1 θk+m−2 . . . θk
(m+1)(m+2)
θk+m−2 θk+m−3 . . . θk−1 
Mk,m = −(−1)  .. .. ..
2
 
.. 
 . . . . 
θk θk−1 ... θk−m+1
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

det(Lk,m ) = det(Mk,m )
 
θk+m−1 θk+m−2 . . . θk
(m+1)(m+2)
θk+m−2 θk+m−3 . . . θk−1 
Mk,m = −(−1)  .. .. ..
2
 
.. 
 . . . . 
θk θk−1 ... θk−m+1
µk,m,1 , µk,m,2 , . . . , µk,m,m – собственные числа матрицы Mk,m
Новые матрицы
 
θk θk−1 ... θk−m+1
 θk+1 θk ... θk−m+2 
Lk,m =  . .. .. 
 
 .. ..
. . . 
θk+m−1 θk+m−2 . . . θk

det(Lk,m ) = det(Mk,m )
 
θk+m−1 θk+m−2 . . . θk
(m+1)(m+2)
θk+m−2 θk+m−3 . . . θk−1 
Mk,m = −(−1)  .. .. ..
2
 
.. 
 . . . . 
θk θk−1 ... θk−m+1
µk,m,1 , µk,m,2 , . . . , µk,m,m – собственные числа матрицы Mk,m
Figure: k = 1, m = 1, . . . , 256.
См. Анимация 7
Figure: k = 2, m = 1, . . . , 256.
См. Анимация 8
Figure: k = 3, m = 1, . . . , 256.
См. Анимация 9
Figure: k = 4, m = 1, . . . , 256.
См. Анимация 10
Figure: k = 5, m = 1, . . . , 256.
См. Анимация 11
Figure: k = 6, m = 1, . . . , 256.
См. Анимация 12
Распределения
Поместим в каждую точку ln(|µk,m,n |) вес m1 , и обозначим
через Fk,m (x) соответствующую функцию распределения.
Распределения
Поместим в каждую точку ln(|µk,m,n |) вес m1 , и обозначим
через Fk,m (x) соответствующую функцию распределения.

Подгипотеза RHw
k (версия 4). При m → ∞
 
Z +∞ k
Y 2j + 1 
xdFk,m (x) → ln  .
−∞ 2j
j=1
 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 1, m = 32 Figure: k = 1, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 1, m = 128 Figure: k = 1, m = 256

 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 2, m = 32 Figure: k = 2, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 2, m = 128 Figure: k = 2, m = 256

 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 3, m = 32 Figure: k = 3, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 3, m = 128 Figure: k = 3, m = 256

 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 4, m = 32 Figure: k = 4, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 4, m = 128 Figure: k = 4, m = 256

 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 5, m = 32 Figure: k = 5, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 5, m = 128 Figure: k = 5, m = 256

 1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 6, m = 32 Figure: k = 6, m = 64

1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

-0.5 0.0 0.5 1.0 1.5 -0.5 0.0 0.5 1.0 1.5

Figure: k = 6, m = 128 Figure: k = 6, m = 256