黎曼ζ函数 .mw-parser-output .serif{font-family:Times,serif}ζ(s) 的定义如下： 设一复数 s 使得 Re(s) > 1，则定义：

它亦可以用积分定义：

在区域 {s : Re(s) > 1} 上，此无穷级数收敛并为一全纯函数。欧拉在1740年考虑过 s 为正整数的情况，后来切比雪夫拓展到 s > 1。波恩哈德·黎曼认识到：ζ函数可以通过解析开拓，把定义域扩展到几乎整个复数域上的全纯函数 ζ(s)。这也是黎曼猜想所研究的函数。

虽然黎曼的ζ函数被数学家认为主要和“最纯”的数学领域数论相关，它也出现在应用统计学（参看齐夫定律和齐夫-曼德尔布罗特定律（英语：Zipf–Mandelbrot law））、物理，以及调音的数学理论中。

ζ函数最早出现于1350年左右，当时的尼克尔·奥里斯姆发现了调和级数发散，即 ζ ( 1 ) = 1 + 1 2 + 1 3 + 1 4 + . . . → ∞ {\displaystyle \zeta (1)=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+...\to \infty }

之后的一次进展来自莱昂哈德·欧拉，他给出了调和级数呈对数发散。

∑ y < n ≤ x f ( n ) = ∫ y x f ( t ) d t + ∫ y x ( t − ⌊ t ⌋ ) f ′ ( t ) d t + f ( x ) ( ⌊ x ⌋ − x ) − f ( y ) ( ⌊ y ⌋ − y ) {\displaystyle \sum _{y<n\leq x}f(n)=\int _{y}^{x}f(t)\,\mathrm {d} t+\int _{y}^{x}(t-\left\lfloor t\right\rfloor )f'(t)\,\mathrm {d} t+f(x)(\left\lfloor x\right\rfloor -x)-f(y)(\left\lfloor y\right\rfloor -y)} ∑ n ≤ x 1 n = 1 + ∫ 1 x 1 t d t − ∫ 1 x ( t − ⌊ t ⌋ ) t 2 d t + ⌊ x ⌋ − x x = 1 + ln ⁡ x − ∫ 1 x ( t − ⌊ t ⌋ ) t 2 d t + O ( 1 x ) = 1 + ln ⁡ x − ∫ 1 ∞ ( t − ⌊ t ⌋ ) t 2 d t + ∫ x ∞ ( t − ⌊ t ⌋ ) t 2 d t + O ( 1 x ) = ln ⁡ x + 1 − ∫ 1 ∞ ( t − ⌊ t ⌋ ) t 2 d t + ∫ x ∞ { t } t 2 d t + O ( 1 x ) {\displaystyle {\begin{aligned}\sum _{n\leq x}{\frac {1}{n}}&=1+\int _{1}^{x}{\frac {1}{t}}\,\mathrm {d} t-\int _{1}^{x}{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t+{\frac {\left\lfloor x\right\rfloor -x}{x}}\\&=1+\ln x-\int _{1}^{x}{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t+\mathrm {O} \left({\frac {1}{x}}\right)\\&=1+\ln x-\int _{1}^{\infty }{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t+\int _{x}^{\infty }{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t+\mathrm {O} \left({\frac {1}{x}}\right)\\&=\ln x+1-\int _{1}^{\infty }{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t+\int _{x}^{\infty }{\frac {\left\{t\right\}}{t^{2}}}\,\mathrm {d} t+\mathrm {O} \left({\frac {1}{x}}\right)\\\end{aligned}}} 注意到其中的 1 − ∫ 1 ∞ ( t − ⌊ t ⌋ ) t 2 d t {\displaystyle 1-\int _{1}^{\infty }{\frac {(t-\left\lfloor t\right\rfloor )}{t^{2}}}\,\mathrm {d} t} 是一个常数。实际上，这就是欧拉-马斯刻若尼常数γ 再考虑剩下的一个积分，也就是 ∫ x ∞ { t } t 2 d t {\displaystyle \int _{x}^{\infty }{\frac {\left\{t\right\}}{t^{2}}}\,\mathrm {d} t} 由于被积项非负，又有 { t } ≤ 1 {\displaystyle \left\{t\right\}\leq 1} ，于是 ∫ x ∞ { t } t 2 d t ≤ ∫ x ∞ 1 t 2 d t = 1 x {\displaystyle \int _{x}^{\infty }{\frac {\left\{t\right\}}{t^{2}}}\,\mathrm {d} t\leq \int _{x}^{\infty }{\frac {1}{t^{2}}}\,\mathrm {d} t={\frac {1}{x}}} 最终得到 ∑ n ≤ x 1 n = ln ⁡ x + γ + O ( 1 x ) {\displaystyle \sum _{n\leq x}{\frac {1}{n}}=\ln x+\gamma +\mathrm {O} ({\frac {1}{x}})}

除此之外，他还在1735年给出了巴塞尔问题的解答，得到 ζ ( 2 ) = π 2 6 {\displaystyle \zeta (2)={\frac {\pi ^{2}}{6}}} 的结果。欧拉最初的证明可以在巴塞尔问题中看到，然而那是他的第一个证明，因而广为人知。事实上，那个证明虽有不严谨之处，但是欧拉仍然有自己的严格证明。

首先考虑当n为奇数时，将 z n − a n {\displaystyle z^{n}-a^{n}} 分解为连乘积形式。 事实上，容易发现上式的全部复根为 a , a e 2 π i 1 n , a e 2 π i 2 n , . . . , a e 2 π i n − 1 n {\displaystyle a,ae^{2\pi i{\frac {1}{n}}},ae^{2\pi i{\frac {2}{n}}},...,ae^{2\pi i{\frac {n-1}{n}}}} 由于n为奇数，所以可以将除了z=a外的其他根及其共轭一一配对，即

a e 2 π i k n , a e 2 π i n − k n = a e − 2 π i k n {\displaystyle ae^{2\pi i{\frac {k}{n}}},ae^{2\pi i{\frac {n-k}{n}}}=ae^{-2\pi i{\frac {k}{n}}}} 看做一对，则通过二次方程的韦达定理可以还原出每对根的最小多项式： 按照韦达定理，有 x 1 + x 2 = − a 1 a 0 = a e 2 π i k n + a e − 2 π i k n = cos ⁡ ( 2 π k n ) + cos ⁡ ( − 2 π k n ) = 2 cos ⁡ ( 2 π k n ) {\displaystyle x_{1}+x_{2}=-{\frac {a_{1}}{a_{0}}}=ae^{2\pi i{\frac {k}{n}}}+ae^{-2\pi i{\frac {k}{n}}}=\cos \left(2\pi {\frac {k}{n}}\right)+\cos \left(-2\pi {\frac {k}{n}}\right)=2\cos \left({\frac {2\pi k}{n}}\right)} x 1 x 2 = a 2 a 0 = a e 2 π i k n a e − 2 π i k n = a 2 {\displaystyle x_{1}x_{2}={\frac {a_{2}}{a_{0}}}=ae^{2\pi i{\frac {k}{n}}}ae^{-2\pi i{\frac {k}{n}}}=a^{2}} 由于最小多项式首项系数为1，故 a 0 = 1 {\displaystyle a_{0}=1} ，由此得到这对根最小多项式为 a 0 z 2 + a 1 z + a 2 = z 2 − 2 cos ⁡ ( 2 π k n ) z + a 2 {\displaystyle a_{0}z^{2}+a_{1}z+a_{2}=z^{2}-2\cos \left({\tfrac {2\pi k}{n}}\right)z+a^{2}} 注意到k的取值上限为 n − 1 2 {\displaystyle {\tfrac {n-1}{2}}} ，将每一对根的最小多项式相乘， 还有z=a这个根的最小多项式 z − a {\displaystyle z-a} ，乘在一起，得到 z n − a n = ( z − a ) ∏ k = 1 n − 1 2 ( z 2 − 2 a z cos ⁡ 2 k π n + a 2 ) {\displaystyle z^{n}-a^{n}=(z-a)\prod _{k=1}^{\frac {n-1}{2}}\left(z^{2}-2az\cos {\frac {2k\pi }{n}}+a^{2}\right)} 令 z = 1 + x N , a = 1 − x N , N = n {\displaystyle z=1+{\frac {x}{N}},a=1-{\frac {x}{N}},N=n} ，代入上式，有： ( 1 + x N ) N − ( 1 − x N ) N = [ ( 1 + x N ) − ( 1 − x N ) ] ∏ k = 1 N − 1 2 [ ( 1 + x N ) 2 − 2 ( 1 + x N ) ( 1 − x N ) cos ⁡ ( 2 π k N ) + ( 1 − x N ) 2 ] = 2 x N ∏ k = 1 N − 1 2 [ 2 + 2 x 2 N 2 − 2 ( 1 − x 2 N 2 ) cos ⁡ ( 2 π k N ) ] = 2 x N ∏ k = 1 N − 1 2 [ 2 + 2 x 2 N 2 − 2 cos ⁡ ( 2 π k N ) + 2 x 2 N 2 cos ⁡ ( 2 π k N ) ] = 4 x N ∏ k = 1 N − 1 2 ( ( 1 − cos ⁡ ( 2 π k N ) ) + ( 1 + cos ⁡ ( 2 π k N ) ) x 2 N 2 ) = 4 x N ∏ k = 1 N − 1 2 { [ 1 − cos ⁡ ( 2 π k N ) ] [ 1 + 1 + cos ⁡ ( 2 π k N ) 1 − cos ⁡ ( 2 π k N ) x 2 N 2 ] } {\displaystyle {\begin{aligned}\left(1+{\frac {x}{N}}\right)^{N}-\left(1-{\frac {x}{N}}\right)^{N}&=\left\prod _{k=1}^{\frac {N-1}{2}}\left\\&={\frac {2x}{N}}\prod _{k=1}^{\frac {N-1}{2}}\left\\&={\frac {2x}{N}}\prod _{k=1}^{\frac {N-1}{2}}\left\\&={\frac {4x}{N}}\prod _{k=1}^{\frac {N-1}{2}}\left({(1-\cos({\frac {2\pi k}{N}}))+(1+\cos({\frac {2\pi k}{N}})){\frac {x^{2}}{N^{2}}}}\right)\\&={\frac {4x}{N}}\prod _{k=1}^{\frac {N-1}{2}}\left\{\left\left\right\}\\\end{aligned}}} 此时，上述乘积中的 4 N ∏ k = 1 N − 1 2 ( 1 − cos ⁡ ( 2 π k N ) ) {\displaystyle {\frac {4}{N}}\prod _{k=1}^{\frac {N-1}{2}}(1-\cos({\frac {2\pi k}{N}}))} 仅和N有关，记作 C ( N ) {\displaystyle C(N)} ，上式变为 ( 1 + x N ) N − ( 1 − x N ) N = C ( N ) x ∏ k = 1 N − 1 2 ( 1 + 1 + cos ⁡ ( 2 π k N ) 1 − cos ⁡ ( 2 π k N ) x 2 N 2 ) {\displaystyle \left(1+{\frac {x}{N}}\right)^{N}-\left(1-{\frac {x}{N}}\right)^{N}={C(N)}x\prod _{k=1}^{\frac {N-1}{2}}\left({1+{\frac {1+\cos({\frac {2\pi k}{N}})}{1-\cos({\frac {2\pi k}{N}})}}{\frac {x^{2}}{N^{2}}}}\right)} 而利用二项式定理，将等式左边展开： ( 1 + x N ) N = ∑ k = 0 N C N k x k N k {\displaystyle {(1+{\frac {x}{N}})^{N}}=\sum _{k=0}^{N}{C_{N}^{k}{\frac {x^{k}}{N^{k}}}}} ( 1 − x N ) N = ∑ k = 0 N ( − 1 ) k C N k x k N k {\displaystyle {(1-{\frac {x}{N}})^{N}}=\sum _{k=0}^{N}{{{(-1)}^{k}}C_{N}^{k}{\frac {x^{k}}{N^{k}}}}} 两式相减，考虑一次项，为 C N 1 x N − ( − 1 ) C N 1 x N = 2 C N 1 x N = 2 x {\displaystyle C_{N}^{1}{\frac {x}{N}}-(-1)C_{N}^{1}{\frac {x}{N}}=2C_{N}^{1}{\frac {x}{N}}=2x} 这正是等式的左边的一次项 而等式右边的一次项只能是连乘积中的全部1与连乘积外的C(n)x相乘，为使两边相等，必须有 C ( N ) = 2 {\displaystyle C(N)=2} ，于是上式变为 ( 1 + x N ) N − ( 1 − x N ) N = 2 x ∏ k = 1 N − 1 2 ( 1 + 1 + cos ⁡ ( 2 π k N ) 1 − cos ⁡ ( 2 π k N ) x 2 N 2 ) {\displaystyle \left(1+{\frac {x}{N}}\right)^{N}-\left(1-{\frac {x}{N}}\right)^{N}=2x\prod _{k=1}^{\frac {N-1}{2}}\left({1+{\frac {1+\cos({\frac {2\pi k}{N}})}{1-\cos({\frac {2\pi k}{N}})}}{\frac {x^{2}}{N^{2}}}}\right)} 另一方面，令 θ = 2 π k N {\displaystyle \theta ={\frac {2\pi k}{N}}} ，有 cos ⁡ ( θ ) = 1 − θ 2 2 + O ( θ 3 ) {\displaystyle \cos(\theta )=1-{\frac {\theta ^{2}}{2}}+\mathrm {O} (\theta ^{3})} 于是，代入上式，得到 ( 1 + x N ) N − ( 1 − x N ) N = 2 x ∏ k = 1 N − 1 2 [ 1 + 1 + cos ⁡ ( 2 π k N ) 1 − cos ⁡ ( 2 π k N ) x 2 N 2 ] = 2 x ∏ k = 1 N − 1 2 { 1 + 1 + [ 1 − θ 2 2 + O ( θ 3 ) ] 1 − [ 1 − θ 2 2 + O ( θ 3 ) ] x 2 N 2 } = 2 x ∏ k = 1 N − 1 2 [ 1 + 2 − θ 2 2 + O ( θ 3 ) θ 2 2 + O ( θ 3 ) x 2 N 2 ] = 2 x ∏ k = 1 N − 1 2 ( 1 + ( 4 − θ 2 + O ( θ 3 ) ) x 2 ( θ 2 + O ( θ 3 ) ) N 2 ) = 2 x ∏ k = 1 N − 1 2 ( 1 + ( 4 − ( 2 k π N ) 2 + O ( ( 2 k π N ) 3 ) x 2 ( ( 2 k π N ) 2 + O ( ( 2 k π N ) 3 ) ) N 2 ) ) = 2 x ∏ k = 1 N − 1 2 ( 1 + ( 4 − ( 2 k π N ) 2 + O ( ( 2 k π N ) 3 ) x 2 ( 2 k π ) 2 + O ( ( 2 k π ) 3 N ) ) ) {\displaystyle {\begin{aligned}\left(1+{\frac {x}{N}}\right)^{N}-\left(1-{\frac {x}{N}}\right)^{N}&=2x\prod _{k=1}^{\frac {N-1}{2}}\left\\&=2x\prod _{k=1}^{\frac {N-1}{2}}\left\{{1+{\frac {1+}{1-}}{\frac {x^{2}}{N^{2}}}}\right\}\\&=2x\prod _{k=1}^{\frac {N-1}{2}}\left\\&=2x\prod _{k=1}^{\frac {N-1}{2}}\left({1+{\frac {(4-{\theta ^{2}}+{\rm {O}}({\theta ^{3}})){x^{2}}}{({\theta ^{2}}+{\rm {O}}({\theta ^{3}})){N^{2}}}}}\right)\\&=2x\prod _{k=1}^{\frac {N-1}{2}}\left({1+{\frac {(4-{{({\frac {2k\pi }{N}})}^{2}}+{\rm {O}}({{({\frac {2k\pi }{N}})}^{3}}){x^{2}}}{({{({\frac {2k\pi }{N}})}^{2}}+{\rm {O}}({{({\frac {2k\pi }{N}})}^{3}})){N^{2}}}}}\right))\\&=2x\prod _{k=1}^{\frac {N-1}{2}}\left({1+{\frac {(4-{{({\frac {2k\pi }{N}})}^{2}}+{\rm {O}}({{({\frac {2k\pi }{N}})}^{3}}){x^{2}}}{{{(2k\pi )}^{2}}+{\rm {O}}({\frac {{(2k\pi )}^{3}}{N}})}}}\right))\\\end{aligned}}} 令N→∞，则右端大O符号的诸项都变为无穷小。另一方面，左端可写为： lim N → ∞ ( 1 + x N ) N − ( 1 − x N ) N = e x − e − x {\displaystyle \lim _{N\to \infty }(1+{\frac {x}{N}})^{N}-(1-{\frac {x}{N}})^{N}=e^{x}-e^{-x}} 于是上式变为 e x − e − x = 2 x ∏ k = 1 ∞ ( 1 + ( 4 + o ( 1 ) ) x 2 ( 2 k π ) 2 + o ( 1 ) )   = 2 x ∏ k = 1 ∞ ( 1 + ( 1 + o ( 1 ) ) x 2 k 2 π 2 + o ( 1 ) )   = 2 x ∏ k = 1 ∞ ( 1 + x 2 k 2 π 2 )   {\displaystyle {\begin{aligned}e^{x}-e^{-x}&=2x\prod _{k=1}^{\infty }\left({1+{\frac {(4+o(1)){x^{2}}}{{{(2k\pi )}^{2}}+o(1)}}}\right)\ \\&=2x\prod _{k=1}^{\infty }\left({1+{\frac {(1+o(1)){x^{2}}}{{k^{2}}{\pi ^{2}}+o(1)}}}\right)\ \\&=2x\prod _{k=1}^{\infty }\left({1+{\frac {x^{2}}{{k^{2}}{\pi ^{2}}}}}\right)\ \\\end{aligned}}} 此时，只需比较左右两端展开式的三次项系数，即可得出结果。

欧拉在1737年还发现了欧拉乘积公式： ∑ n = 1 ∞ 1 n s = ∏ p ( 1 − 1 p s ) − 1 {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}(1-{\frac {1}{p^{s}}})^{-1}} 这是ζ函数与素数的联系的朦胧征兆，其证明可以在证明黎曼ζ函数的欧拉乘积公式中看到。通过这条公式，容易证明当 Re ⁡ ( s ) > 1 {\displaystyle {\begin{smallmatrix}\operatorname {Re} (s)>1\end{smallmatrix}}} 时， ζ ( s ) > 0 {\displaystyle {\begin{smallmatrix}\zeta (s)>0\end{smallmatrix}}}

1749年，欧拉通过大胆的计算发现了(以下公式当中存在定义域谬误，后由黎曼透过解析延拓证明以下公式只适用于 Re(s) > 1) ζ ( − 1 ) = 1 + 2 + 3 + 4 + 5 + . . . = − 1 12 {\displaystyle \zeta (-1)=1+2+3+4+5+...=-{\frac {1}{12}}} ζ ( − 2 ) = 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + . . . = 0 {\displaystyle \zeta (-2)=1^{2}+2^{2}+3^{2}+4^{2}+5^{2}+...=0} ζ ( − 3 ) = 1 3 + 2 3 + 3 3 + 4 3 + 5 3 + . . . = 1 120 {\displaystyle \zeta (-3)=1^{3}+2^{3}+3^{3}+4^{3}+5^{3}+...={\frac {1}{120}}} 发现ζ(s)与ζ(1-s)之间存在某些关系。

将欧拉所做的一切牢牢地置于坚石之上的是黎曼，他在1859年的论文论小于给定数值的素数个数（英语：On_the_Number_of_Primes_Less_Than_a_Given_Magnitude）以及未发表的手稿中做出了多项进展：

1896年，雅克·阿达马与普森几乎同时地证明了 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 的所有非平凡零点的实部均小于1，即 Re ⁡ ( s ) = 1 {\displaystyle {\begin{smallmatrix}\operatorname {Re} (s)=1\end{smallmatrix}}} 上无非平凡零点，从而完成了素数定理的证明。

1900年，希尔伯特在巴黎的第二届国际数学家大会上作了题为《数学问题》的演讲，提出了23道最重要的数学问题，黎曼假设在其中作为第8题出现。之后，希尔伯特提出了希尔伯特－波利亚猜想，具体时间及场合未知。

1914年，哈那德·玻尔和爱德蒙·兰道证明了玻尔-兰道定理：含有临界线的任意带状区域都几乎包含了ζ的所有非平凡零点，表明了临界线为零点汇聚的“中心位置”。

1921年，哈代和李特尔伍德证明了存在常数T，使临界线上虚部位于0与T之间的非平凡零点的数量至少为 K T {\displaystyle {\begin{smallmatrix}KT\end{smallmatrix}}} 。

1942年，阿特勒·塞尔伯格更进一步，证明了存在常数T，使临界线上虚部位于0与T之间的非平凡零点的数量至少为 K T log ⁡ T {\displaystyle {\begin{smallmatrix}KT\log T\end{smallmatrix}}} ，这意味着ζ函数在临界线上的非平凡零点在所有零点中占有一个正密度，而临界线 Re ⁡ ( s ) = 1 2 {\displaystyle {\begin{smallmatrix}\operatorname {Re} (s)={\frac {1}{2}}\end{smallmatrix}}} 对于临界带 0 < Re ⁡ ( s ) < 1 {\displaystyle {\begin{smallmatrix}0<\operatorname {Re} (s)<1\end{smallmatrix}}} 的测度为0。

ζ函数原本定义在右半平面 Re ⁡ s > 1 {\displaystyle {\begin{smallmatrix}\operatorname {Re} s>1\end{smallmatrix}}} 上，并且在此区域内为全纯函数

解析延拓后在全局具有积分表达式

满足函数方程

特别地，如果考虑正规化的ζ，即黎曼ξ函数

那么它满足函数方程

黎曼ζ函数可看做是具有如下形式的级数的一个特例：

这种类型的级数被称作狄利克雷级数。当f为狄利克雷特征时，又称作狄利克雷L函数，也有与黎曼猜想相应的广义黎曼猜想

为了方便对数论函数作讨论，此处引入狄利克雷卷积 f ∗ g {\displaystyle {\begin{smallmatrix}f*g\end{smallmatrix}}} ： ( f ∗ g ) ( n ) = ∑ pq = n f ( p ) g ( q ) {\displaystyle (f*g)(n)=\sum _{{\text{pq}}=n}f(p)g(q)}

设 F ⁡ ( s ) = ∑ n = 1 ∞ f ( n ) n s {\displaystyle \operatorname {F} (s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}} ， G ⁡ ( s ) = ∑ n = 1 ∞ g ( n ) n s {\displaystyle \operatorname {G} (s)=\sum _{n=1}^{\infty }{\frac {g(n)}{n^{s}}}} 于是显然 F ⁡ ( s ) G ⁡ ( s ) = ∑ n = 1 ∞ ( f ∗ g ) ( n ) n s {\displaystyle \operatorname {F} (s)\operatorname {G} (s)=\sum _{n=1}^{\infty }{\frac {(f*g)(n)}{n^{s}}}}

F ⁡ ( s ) G ⁡ ( s ) = ∑ n = 1 ∞ f ( n ) n s ∑ m = 1 ∞ g ( m ) m s = ∑ n = 1 ∞ ∑ m = 1 ∞ f ( n ) g ( m ) ( n m ) s {\displaystyle {\begin{aligned}\operatorname {F} (s)\operatorname {G} (s)&=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}\sum _{m=1}^{\infty }{\frac {g(m)}{m^{s}}}\\&=\sum _{n=1}^{\infty }\sum _{m=1}^{\infty }{\frac {f(n)g(m)}{(nm)^{s}}}\\\end{aligned}}} 为了处理两个求和号，将所有可能的m与n的积相同的项合并，不妨设mn=k，那么 ∑ m = 1 ∞ f ( n ) g ( m ) ( n m ) s = ∑ k = 1 ∞ ∑ mn = k f ( m ) g ( n ) ( m n ) s = ∑ k = 1 ∞ ∑ mn = k f ( m ) g ( n ) k s = ∑ k = 1 ∞ ( ∑ mn = k f ( m ) g ( n ) ) k − s = ∑ k = 1 ∞ ( f ∗ g ) ( k ) k − s {\displaystyle {\begin{aligned}\sum _{m=1}^{\infty }{\frac {f(n)g(m)}{(nm)^{s}}}&=\sum _{k=1}^{\infty }\sum _{{\text{mn}}=k}{\frac {f(m)g(n)}{(mn)^{s}}}\\&=\sum _{k=1}^{\infty }\sum _{{\text{mn}}=k}{\frac {f(m)g(n)}{k^{s}}}\\&=\sum _{k=1}^{\infty }(\sum _{{\text{mn}}=k}f(m)g(n))k^{-s}\\&=\sum _{k=1}^{\infty }(f*g)(k)k^{-s}\\\end{aligned}}}

于是，如果数论函数 h = 1 ∗ g {\displaystyle {\begin{smallmatrix}h=1*g\end{smallmatrix}}} ，亦即 h ( n ) = ∑ d ‖ n g ( d ) {\displaystyle h(n)=\sum _{d\|n}g(d)} (此时， h ( n ) {\displaystyle {\begin{smallmatrix}h(n)\end{smallmatrix}}} 与 g ( d ) {\displaystyle {\begin{smallmatrix}g(d)\end{smallmatrix}}} 可通过默比乌斯反演公式相互转换)那么 H ⁡ ( s ) = ∑ n = 1 ∞ h ( n ) n s = ζ ( s ) ∑ n = 1 ∞ g ( n ) n s {\displaystyle \operatorname {H} (s)=\sum _{n=1}^{\infty }{\frac {h(n)}{n^{s}}}=\zeta (s)\sum _{n=1}^{\infty }{\frac {g(n)}{n^{s}}}} 通常两侧的求和有一个是相对简单的函数，或是和 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 直接相关的函数如果对 g ( n ) {\displaystyle {\begin{smallmatrix}g(n)\end{smallmatrix}}} 的求和较简单，可以将 h ( n ) {\displaystyle {\begin{smallmatrix}h(n)\end{smallmatrix}}} 与 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 相联系，反之可以将 g ( n ) {\displaystyle {\begin{smallmatrix}g(n)\end{smallmatrix}}} 与 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 相联系即 ∑ n = 1 ∞ g ( n ) n s = H ⁡ ( s ) ζ ( s ) {\displaystyle \sum _{n=1}^{\infty }{\frac {g(n)}{n^{s}}}={\frac {\operatorname {H} (s)}{\zeta (s)}}} ，如下表所示：

ζ函数与数论函数存在的联系可以通过佩龙公式转化为它和数论函数的求和的关系：设

则由佩龙公式，

其中右上角的'表示如果x是整数，那么求和的最后一项要乘以 1 2 {\displaystyle {\begin{smallmatrix}{\frac {1}{2}}\end{smallmatrix}}} 。这样做的其中一个结果就是ζ函数和素数分布的关系。

此函数和素数的关系已由欧拉所揭示：

这是一个延展到所有的素数p的无穷乘积，被称为欧拉乘积。这是几何级数的公式和算术基本定理的一个结果。如果对上式取对数，则可得到

将其中的 log ⁡ ( 1 − t ) {\displaystyle \log(1-t)} 展开为幂级数，得到

可以使用黎曼素数计数函数 J ⁡ ( x ) {\displaystyle {\begin{smallmatrix}\operatorname {J} (x)\end{smallmatrix}}} 建立 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 与素数分布的进一步联系，这也是黎曼在他的论文论小于给定数值的素数个数（英语：On_the_Number_of_Primes_Less_Than_a_Given_Magnitude）中使用的函数，定义如下：

其中 κ ( n ) = { 1 k n = p k 0 o t h e r w i s e {\displaystyle \kappa (n)={\begin{cases}{\frac {1}{k}}&n=p^{k}\\0&\mathrm {otherwise} \end{cases}}} 那么可以建立 J ⁡ ( x ) {\displaystyle {\begin{smallmatrix}\operatorname {J} (x)\end{smallmatrix}}} 与 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 的零点ρ的联系，称为黎曼显式公式（英语：Explicit formulae (L-function)）

为使用Mellin 变换，将J(x)乘以 x − s − 1 {\displaystyle {\begin{smallmatrix}x^{-s-1}\end{smallmatrix}}} 后对x积分，得到

注意到 log ⁡ ζ ( s ) s = 1 s ∑ m = 1 ∞ 1 m ∑ p p − m s {\displaystyle {\frac {\log \zeta (s)}{s}}={\frac {1}{s}}\sum _{m=1}^{\infty }{\frac {1}{m}}\sum _{p}p^{-ms}} 与上式相同 即 log ⁡ ζ ( s ) s = ∫ 0 ∞ J ⁡ ( x ) x − s − 1 d x {\displaystyle {\frac {\log \zeta (s)}{s}}=\int _{0}^{\infty }\operatorname {J} (x)x^{-s-1}\,\mathrm {d} x} 在此处使用Mellin变换后，得到

再将阿达马乘积公式代入，逐项积分即得所求

而 J ⁡ ( x ) {\displaystyle {\begin{smallmatrix}\operatorname {J} (x)\end{smallmatrix}}} 与 π ( x ) {\displaystyle {\begin{smallmatrix}\pi (x)\end{smallmatrix}}} 的联系可以通过莫比乌斯反演公式完成。 π ( x ) = ∑ n = 1 ∞ μ ( n ) n J ⁡ ( x ) = J ⁡ ( x ) + O ( x log ⁡ log ⁡ x ) {\displaystyle \pi (x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\operatorname {J} (x)=\operatorname {J} (x)+\mathrm {O} ({\sqrt {x}}\log \log x)} 然而 J ⁡ ( x ) {\displaystyle {\begin{smallmatrix}\operatorname {J} (x)\end{smallmatrix}}} 的表达式过于复杂，如下的切比雪夫函数（英语：Chebyshev function）更为常用。

第一切比雪夫函数 ϑ ( x ) {\displaystyle {\begin{smallmatrix}\vartheta (x)\end{smallmatrix}}} 定义为

而更常用的第二切比雪夫函数 ψ ( x ) {\displaystyle {\begin{smallmatrix}\psi (x)\end{smallmatrix}}} 定义为

其中，如前文定义的 Λ ( n ) = { log ⁡ ( p ) n = p k 0 o t h e r w i s e {\displaystyle \Lambda (n)={\begin{cases}\log(p)&n=p^{k}\\0&\mathrm {otherwise} \end{cases}}} 第二切比雪夫函数与第一切比雪夫函数的关系，可看做“等同于”黎曼素数计数函数与素数计数函数的关系。第二切比雪夫函数 ψ ( x ) {\displaystyle {\begin{smallmatrix}\psi (x)\end{smallmatrix}}} 与 ζ ( s ) {\displaystyle {\begin{smallmatrix}\zeta (s)\end{smallmatrix}}} 的零点ρ有如下的联系

而 ψ ( x ) {\displaystyle {\begin{smallmatrix}\psi (x)\end{smallmatrix}}} 与 J ⁡ ( x ) {\displaystyle {\begin{smallmatrix}\operatorname {J} (x)\end{smallmatrix}}} 的联系可以通过阿贝尔求和公式：

其中κ如前文所定义，则由阿贝尔求和公式

解析延拓之后的ζ函数具有零点，他们分别是分布有序的平凡零点（所有负偶数），以及临界带 0 < Re ⁡ s < 1 {\displaystyle {\begin{smallmatrix}0<\operatorname {Re} s<1\end{smallmatrix}}} 内的非平凡零点。以 N ⁡ ( T ) {\displaystyle {\begin{smallmatrix}\operatorname {N} (T)\end{smallmatrix}}} 表示虚部介于0与T之间的非平凡零点数量，则 0 < N ⁡ ( T ) {\displaystyle {\begin{smallmatrix}0<\operatorname {N} (T)\end{smallmatrix}}} 遵循黎曼 - 冯·曼戈尔特公式（英语：Riemann–von Mangoldt formula）： N ( T ) = T 2 π log ⁡ T 2 π − T 2 π + O ( log ⁡ T ) {\displaystyle N(T)={\frac {T}{2\pi }}\log {\frac {T}{2\pi }}-{\frac {T}{2\pi }}+\mathrm {O} (\log T)} 。

ζ函数满足如下函数方程：

对于所有C\{0,1}中的s成立。这里，Γ表示Γ函数。这个公式原来用来构造解析连续性。在s = 1，ζ函数有一个简单极点其留数为1。上述方程中有sin函数， sin ⁡ ( π s 2 ) {\displaystyle \sin \left({\frac {\pi s}{2}}\right)} 的零点为偶数s = 2n，这些位置是可能的零点，但s为正偶数时， sin ⁡ ( π s 2 ) Γ ( 1 − s ) {\displaystyle \sin \left({\frac {\pi s}{2}}\right)\Gamma (1-s)} 为不为零的规则函数（英语：Regular function），只有s为负偶数时，ζ函数才有零点，称为平凡零点。

欧拉计算出ζ（2k），对于偶整数2k，使用公式

其中B2k是伯努利数。从这个，我们可以看到ζ(2) = π2/6, ζ(4) = π4/90, ζ(6) = π6/945等等。（OEIS中的序列A046988/A002432）。这些给出了著名的π的无穷级数。奇整数的情况没有这么简单。拉马努金在这上面做了很多了不起的工作。 s {\displaystyle s\,} 为正偶数时的函数值公式已经由欧拉计算出。但当 s {\displaystyle s\,} 为正奇数时，尚未找到封闭式。

其中γ是欧拉-马歇罗尼常数= 0.577215... {\displaystyle 0.577215...}

同样由欧拉发现，ζ函数在负整数点的值是有理数，这在模形式中发挥着重要作用，而且ζ函数在负偶整数点的值为零。

事实上

Bn是白努利数。

因为 B2n+1 =0，故ζ函数在负偶整数点的值为零。

临界线上的数值计算可以通过黎曼-西格尔公式完成。与之相关的，林德勒夫猜想（英语：Lindelöf hypothesis）：对于任意给定的实数 ϵ > 0 {\displaystyle {\begin{smallmatrix}\epsilon >0\end{smallmatrix}}} ，