Fungrim home page

Riemann zeta function

Table of contents: Definitions - Illustrations - Dirichlet series - Euler product - Special values - Analytic properties - Zeros - Complex parts - Functional equation - Bounds and inequalities - Euler-Maclaurin formula - Approximations

Definitions

e0a6a2
Symbol: RiemannZeta — ζ ⁣(s)\zeta\!\left(s\right) — Riemann zeta function
669509
Symbol: RiemannZetaZero — ρn\rho_{n} — Nontrivial zero of the Riemann zeta function

Illustrations

3131df
Image: X-ray of ζ ⁣(s)\zeta\!\left(s\right) on s∈[−22,22]+[−27,27]is \in \left[-22, 22\right] + \left[-27, 27\right] i with the critical strip highlighted

Dirichlet series

da2fdb
ζ ⁣(s)=∑k=1∞1ks\zeta\!\left(s\right) = \sum_{k=1}^{\infty} \frac{1}{{k}^{s}}
1d46d4
1ζ ⁣(s)=∑k=1∞μ ⁣(k)ks\frac{1}{\zeta\!\left(s\right)} = \sum_{k=1}^{\infty} \frac{\mu\!\left(k\right)}{{k}^{s}}

Euler product

8f5e66
ζ ⁣(s)=∏p∈P11−1ps\zeta\!\left(s\right) = \prod_{p \in \mathbb{P}} \frac{1}{1 - \frac{1}{{p}^{s}}}

Special values

a01b6e
ζ ⁣(2)=π26\zeta\!\left(2\right) = \frac{{\pi}^{2}}{6}
e84983
ζ ⁣(3)∉Q\zeta\!\left(3\right) \notin \mathbb{Q}
72ccda
ζ ⁣(2n)=(−1)n+1B2n(2π)2n2(2n)!\zeta\!\left(2 n\right) = \frac{{\left(-1\right)}^{n + 1} B_{2 n} {\left(2 \pi\right)}^{2 n}}{2 \left(2 n\right)!}
51fd98
ζ ⁣(−n)=(−1)nBn+1n+1\zeta\!\left(-n\right) = \frac{{\left(-1\right)}^{n} B_{n + 1}}{n + 1}
7cb17f
Table of ζ ⁣(2n)\zeta\!\left(2 n\right) for 1≤n≤201 \le n \le 20
e50a56
Table of ζ ⁣(−n)\zeta\!\left(-n\right) for 0≤n≤300 \le n \le 30
e93ca8
Table of ζ ⁣(n)\zeta\!\left(n\right) to 50 digits for 2≤n≤502 \le n \le 50

Analytic properties

8b5ddb
HolomorphicDomain⁡ ⁣(ζ ⁣(s),s,C∪{∞~})=C∖{1}\operatorname{HolomorphicDomain}\!\left(\zeta\!\left(s\right), s, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \mathbb{C} \setminus \left\{1\right\}
52c4ab
Poles⁡ ⁣(ζ ⁣(s),s,C∪{∞~})={1}\operatorname{Poles}\!\left(\zeta\!\left(s\right), s, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{1\right\}
fdb94b
EssentialSingularities⁡ ⁣(ζ ⁣(s),s,C∪{∞~})={∞~}\operatorname{EssentialSingularities}\!\left(\zeta\!\left(s\right), s, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{{\tilde \infty}\right\}
36a095
BranchPoints⁡ ⁣(ζ ⁣(s),s,C∪{∞~})={}\operatorname{BranchPoints}\!\left(\zeta\!\left(s\right), s, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
9a258f
BranchCuts⁡ ⁣(ζ ⁣(s),s,C)={}\operatorname{BranchCuts}\!\left(\zeta\!\left(s\right), s, \mathbb{C}\right) = \left\{\right\}

Zeros

Related topics: Zeros of the Riemann zeta function

2e1ff3
zeros⁡ s∈Rζ ⁣(s)={−2n:n∈Z≥1}\mathop{\operatorname{zeros}\,}\limits_{s \in \mathbb{R}} \zeta\!\left(s\right) = \left\{ -2 n : n \in \mathbb{Z}_{\ge 1} \right\}
692e42
zeros⁡ s∈Cζ ⁣(s)={−2n:n∈Z≥1}∪{ρn:n∈Z and⁡ n≠0}\mathop{\operatorname{zeros}\,}\limits_{s \in \mathbb{C}} \zeta\!\left(s\right) = \left\{ -2 n : n \in \mathbb{Z}_{\ge 1} \right\} \cup \left\{ \rho_{n} : n \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, n \ne 0 \right\}
cbbf16
0<Re⁡ ⁣(ρn)<10 \lt \operatorname{Re}\!\left(\rho_{n}\right) \lt 1
e6ff64
Re⁡ ⁣(ρn)=12\operatorname{Re}\!\left(\rho_{n}\right) = \frac{1}{2}
60c2ec
ρ−n=ρn‾\rho_{-n} = \overline{\rho_{n}}
71d9d9
Table of Im⁡ ⁣(ρn)\operatorname{Im}\!\left(\rho_{n}\right) to 50 digits for 1≤n≤501 \le n \le 50

Complex parts

69348a
ζ ⁣(s‾)=ζ ⁣(s)‾\zeta\!\left(\overline{s}\right) = \overline{\zeta\!\left(s\right)}

Functional equation

9ee8bc
ζ ⁣(s)=2(2π)s−1sin⁡ ⁣(πs2)Γ ⁣(1−s)ζ ⁣(1−s)\zeta\!\left(s\right) = 2 {\left(2 \pi\right)}^{s - 1} \sin\!\left(\frac{\pi s}{2}\right) \Gamma\!\left(1 - s\right) \zeta\!\left(1 - s\right)

Bounds and inequalities

809bc0
∣ζ ⁣(s)∣≤ζ ⁣(Re⁡ ⁣(s))\left|\zeta\!\left(s\right)\right| \le \zeta\!\left(\operatorname{Re}\!\left(s\right)\right)
3a5eb6
∣ζ ⁣(s)∣<3∣1+s1−s∣∣1+s2π∣(1+η−Re⁡(s))/2ζ ⁣(1+η)\left|\zeta\!\left(s\right)\right| \lt 3 \left|\frac{1 + s}{1 - s}\right| {\left|\frac{1 + s}{2 \pi}\right|}^{\left( 1 + \eta - \operatorname{Re}\left(s\right) \right) / 2} \zeta\!\left(1 + \eta\right)

Euler-Maclaurin formula

792f7b
ζ ⁣(s)=∑k=1N−11ks+N1−ss−1+1Ns(12+∑k=1MB2k(2k)!(s)2k−1N2k−1)−∫N∞B2M ⁣(t−⌊t⌋)(2M)!(s)2Mts+2M dt\zeta\!\left(s\right) = \sum_{k=1}^{N - 1} \frac{1}{{k}^{s}} + \frac{{N}^{1 - s}}{s - 1} + \frac{1}{{N}^{s}} \left(\frac{1}{2} + \sum_{k=1}^{M} \frac{B_{2 k}}{\left(2 k\right)!} \frac{\left(s\right)_{2 k - 1}}{{N}^{2 k - 1}}\right) - \int_{N}^{\infty} \frac{B_{2 M}\!\left(t - \left\lfloor t \right\rfloor\right)}{\left(2 M\right)!} \frac{\left(s\right)_{2 M}}{{t}^{s + 2 M}} \, dt

Approximations

d31b04
∣ζ ⁣(s)−(∑k=1N−11ks+N1−ss−1+1Ns(12+∑k=1MB2k(2k)!(s)2k−1N2k−1))∣≤4∣(s)2M∣(2π)2MN−(Re⁡ ⁣(s)+2M−1)Re⁡ ⁣(s)+2M−1\left|\zeta\!\left(s\right) - \left(\sum_{k=1}^{N - 1} \frac{1}{{k}^{s}} + \frac{{N}^{1 - s}}{s - 1} + \frac{1}{{N}^{s}} \left(\frac{1}{2} + \sum_{k=1}^{M} \frac{B_{2 k}}{\left(2 k\right)!} \frac{\left(s\right)_{2 k - 1}}{{N}^{2 k - 1}}\right)\right)\right| \le \frac{4 \left|\left(s\right)_{2 M}\right|}{{\left(2 \pi\right)}^{2 M}} \frac{{N}^{-\left(\operatorname{Re}\!\left(s\right) + 2 M - 1\right)}}{\operatorname{Re}\!\left(s\right) + 2 M - 1}
e37535
∣(1−21−s)ζ ⁣(s)−1d ⁣(n)∑k=0n−1(−1)k(d ⁣(n)−d ⁣(k))(k+1)s∣≤3(1+2∣Im⁡ ⁣(s)∣)(3+8)nexp⁡ ⁣(∣Im⁡ ⁣(s)∣π2)   where d ⁣(k)=n∑i=0k(n+i−1)!4i(n−i)!(2i)!\left|\left(1 - {2}^{1 - s}\right) \zeta\!\left(s\right) - \frac{1}{d\!\left(n\right)} \sum_{k=0}^{n - 1} \frac{{\left(-1\right)}^{k} \left(d\!\left(n\right) - d\!\left(k\right)\right)}{{\left(k + 1\right)}^{s}}\right| \le \frac{3 \left(1 + 2 \left|\operatorname{Im}\!\left(s\right)\right|\right)}{{\left(3 + \sqrt{8}\right)}^{n}} \exp\!\left(\frac{\left|\operatorname{Im}\!\left(s\right)\right| \pi}{2}\right)\; \text{ where } d\!\left(k\right) = n \sum_{i=0}^{k} \frac{\left(n + i - 1\right)! {4}^{i}}{\left(n - i\right)! \left(2 i\right)!}

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC