常见数论函数总结

一、数论函数

定义与约定

符号约定
符号/记号定义
F ( x ) F(x) F(x)关于x的函数 F F F
x y x ⋅ y f ( x ) g ( x ) f ( x ) ⋅ g ( x ) ( f ⋅ g ) ( x ) xy \\\\ x·y \\\\ f(x)g(x) \\\\ f(x) · g(x) \\\\ (f·g)(x) xyxyf(x)g(x)f(x)g(x)(fg)(x)数值/函数乘法
f ( x ) ∗ g ( x ) ( f ∗ g ) ( x ) f(x)*g(x) \\\\ (f*g)(x) f(x)g(x)(fg)(x)狄利克雷卷积
∑ \sum 连续求和
∏ \prod 连续求积
a a a | b b ba是b的约数
<x,y,…>多元向量组
(a,b)a,b的最大公约数
[expression]表达式是否成立,成立则为1,否则为0
积性函数

若有一函数 f f f, 对于
∀   x , y ∈ S \forall \ x,y\in S  x,yS 使得
x ∗ y ∈ S , f ( x ) f ( y ) = f ( x y ) x * y \in S , f(x)f(y)=f(xy) xyS,f(x)f(y)=f(xy)
则称 f f f S S S下具有积性,也称 f f f S S S下的积性函数.

完全积性函数

若函数 f f f在实数域 R R R下具有积性,则我们称 f f f具有完全积性,称 f f f完全积性函数.完全积性函数属于积性函数.

不完全积性函数

若有一函数 f f f, 不存在集合 S S S使得 f f f S S S下的积性函数,但存在二元组 &lt; x , y &gt; &lt;x,y&gt; <x,y>使得
f ( x ) f ( y ) = f ( x y ) f(x)f(y)=f(xy) f(x)f(y)=f(xy)
成立,则我们称 f f f为不完全积性函数.
不完全积性函数不属于积性函数.

数论函数

若存在函数 f f f,对于 ∀ \forall 二元组 &lt; x , y &gt; { &lt; x , y &gt; ∣ x , y ∈ N ∗ } ∩ { &lt; x , y &gt; ∣ ( x , y ) = = 1 } &lt;x,y&gt;\{&lt;x,y&gt;| x,y \in N^*\}\cap\{&lt;x,y&gt;|(x,y)==1\} <x,y>{<x,y>x,yN}{<x,y>(x,y)==1},使得 f ( x ) f ( y ) = f ( x y ) f(x)f(y)=f(xy) f(x)f(y)=f(xy)成立,则称 f f f数论函数.
完全积性函数属于数论函数.
大部分数论函数都具有不完全积性.

数论函数的运算

若有数论函数 f ( x ) , g ( x ) f(x),g(x) f(x),g(x), 则以下函数亦有数论积性.
( f ( x ) ) − 1 , ( f ⋅ g ) ( x ) , ( f ∗ g ) ( x ) , f ( g ( x ) ) (f(x))^{-1},(f·g)(x),(f*g)(x),f(g(x)) (f(x))1,(fg)(x),(fg)(x),f(g(x))
考虑证明:

  1. g ( x ) = ( f ( x ) ) − 1 g(x)=(f(x))^{-1} g(x)=(f(x))1的数论积性.
    g ( x y ) = 1 f ( x y ) = 1 f ( x ) ∗ 1 f ( y ) = g ( x ) g ( y ) g(xy)=\frac{1}{f(xy)}=\frac{1}{f(x)}*\frac{1}{f(y)}=g(x)g(y) g(xy)=f(xy)1=f(x)1f(y)1=g(x)g(y)
  2. h ( x ) = ( f ⋅ g ) ( x ) h(x)=(f·g)(x) h(x)=(fg)(x)的数论积性.
    h ( x y ) = f ( x y ) g ( x y ) = f ( x ) g ( x ) f ( y ) g ( y ) = h ( x ) h ( y ) h(xy)=f(xy)g(xy)=f(x)g(x)f(y)g(y)=h(x)h(y) h(xy)=f(xy)g(xy)=f(x)g(x)f(y)g(y)=h(x)h(y)
  3. h ( x ) = ( f ∗ g ) ( x ) h(x)=(f*g)(x) h(x)=(fg)(x)的数论积性.
    h ( x y ) = ∑ d ∣ x y x y g ( d ) f ( x y d ) = ∑ d 1 ∣ x x ∑ d 2 ∣ y y g ( d 1 d 2 ) f ( x y d 1 d 2 ) h(xy)=\sum^{xy}_{d|xy}g(d)f(\frac{xy}{d})=\sum^{x}_{d_1|x}\sum^{y}_{d_2|y}g(d_1d_2)f(\frac{xy}{d_1d_2}) h(xy)=dxyxyg(d)f(dxy)=d1xxd2yyg(d1d2)f(d1d2xy)
    = ( ∑ d 1 ∣ x x g ( d 1 ) f ( x d 1 ) ) ( ∑ d 2 ∣ y y g ( d 2 ) f ( y d 2 ) ) = h ( x ) h ( y ) =\big(\sum^{x}_{d_1|x}g(d_1)f(\frac{x}{d_1})\big)\big(\sum^{y}_{d_2|y}g(d_2)f(\frac{y}{d_2})\big)=h(x)h(y) =(d1xxg(d1)f(d1x))(d2yyg(d2)f(d2y))=h(x)h(y)
  4. h ( x ) = f ( g ( x ) ) h(x)=f(g(x)) h(x)=f(g(x))的数论积性
    h ( x y ) = f ( g ( x y ) ) = f ( g ( x ) g ( y ) ) = f ( g ( x ) ) f ( g ( y ) ) = h ( x ) h ( y ) h(xy)=f(g(xy))=f(g(x)g(y))=f(g(x))f(g(y))=h(x)h(y) h(xy)=f(g(xy))=f(g(x)g(y))=f(g(x))f(g(y))=h(x)h(y)

注意,数论函数的取反、加、减、数乘绝大多数情况下不满足以上性质.
数论函数运算法则满足函数运算法则.

狄利克雷卷积的运算法则及证明

1.交换律 : ( f ∗ g ) ( x ) = ( g ∗ f ) ( x ) (f*g)(x)=(g*f)(x) (fg)(x)=(gf)(x)
( f ∗ g ) ( x ) = ∑ d ∣ x x f ( d ) g ( x d ) = ∑ x d ∣ x x f ( x d ) g ( x x d ) = ∑ x d ∣ x x f ( x d ) g ( d ) = ( g ∗ f ) ( x ) (f*g)(x)=\sum^{x}_{d|x}f(d)g(\frac{x}{d})=\sum^{x}_{\frac{x}{d}|x}f(\frac{x}{d})g(\frac{x}{\frac{x}{d}})=\sum^{x}_{\frac{x}{d}|x}f(\frac{x}{d})g(d)=(g*f)(x) (fg)(x)=dxxf(d)g(dx)=dxxxf(dx)g(dxx)=dxxxf(dx)g(d)=(gf)(x)
2.结合律 : ( f ∗ g ∗ h ) ( x ) = ( f ∗ ( g ∗ h ) ) ( x ) (f*g*h)(x)=(f*(g*h))(x) (fgh)(x)=(f(gh))(x)
( f ∗ g ∗ h ) ( x ) = ∑ d 1 ∣ x x f ( d ) ∑ d 2 ∣ x d 1 x d 1 g ( d 2 ) h ( x d 1 d 2 ) (f*g*h)(x)=\sum^x_{d_1|x}f(d)\sum^{\frac{x}{d_1}}_{d_2|\frac{x}{d_1}}g(d_2)h(\frac{x}{d_1d_2}) (fgh)(x)=d1xxf(d)d2d1xd1xg(d2)h(d1d2x)
= ∑ a b c = x x f ( a ) g ( b ) h ( c ) = ∑ a ∣ x x f ( a ) ( g ∗ h ) ( x a ) = ( f ∗ ( g ∗ h ) ) ( x ) =\sum^x_{abc=x}f(a)g(b)h(c)=\sum^x_{a|x}f(a)(g*h)(\frac{x}{a})=(f*(g*h))(x) =abc=xxf(a)g(b)h(c)=axxf(a)(gh)(ax)=(f(gh))(x)
3.加法分配率 : ( ( f + g ) ∗ h ) ( x ) = ( f ∗ h + g ∗ h ) ( x ) ((f+g)*h)(x)=(f*h+g*h)(x) ((f+g)h)(x)=(fh+gh)(x)
( ( f + g ) ∗ h ) ( x ) = ∑ d ∣ x x ( f + g ) ( d ) h ( x d ) = ∑ d ∣ x x f ( d ) h ( x d ) + g ( d ) h ( x d ) = ( f ∗ h + g ∗ h ) ( x ) ((f+g)*h)(x)=\sum^x_{d|x}(f+g)(d)h(\frac{x}{d})=\sum^x_{d|x}f(d)h(\frac{x}{d})+g(d)h(\frac{x}{d})=(f*h+g*h)(x) ((f+g)h)(x)=dxx(f+g)(d)h(dx)=dxxf(d)h(dx)+g(d)h(dx)=(fh+gh)(x)
4.单位元 : ( ε ∗ f ) ( x ) = f ( x ) (\varepsilon*f)(x)=f(x) (εf)(x)=f(x)
不难构造 ε ( x ) = [ x = = 1 ] \varepsilon(x)=[x==1] ε(x)=[x==1]
5.逆元: ( f ∗ f ∗ ) ( x ) = ε ( x ) (f*f^{*})(x)=\varepsilon(x) (ff)(x)=ε(x)

以上说明,运算 [ ∗ ] [*] []对于数论函数构成一个阿贝尔群

莫比乌斯函数与莫比乌斯反演

I ( x ) = 1 I(x)=1 I(x)=1,定义则其狄利克雷卷积的逆元为 μ ( x ) \mu(x) μ(x)

( I ∗ μ ) ( x ) = ε ( x ) (I*\mu)(x)=\varepsilon(x) (Iμ)(x)=ε(x)
构造
μ ( x ) = { 1                                                           [ x = = 1 ] ( − 1 ) p         [ x = ∏ p i a i , p ∈ p r i m e , a i ∈ { 0 , 1 } ] 0                                                          o t h e r w i s e \mu(x)=\left\{ \begin{aligned} 1 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ [x==1] \\ (-1)^{p} \ \ \ \ \ \ \ [x=\prod p_i^{a_i},p \in prime,a_i \in \{0,1\}] \\ 0 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ otherwise \end{aligned} \right. μ(x)=1                                                         [x==1](1)p       [x=piai,pprime,ai{0,1}]0                                                        otherwise

证明:
( I ∗ μ ) ( x ) = ∑ d ∣ x x μ ( d ) (I*\mu)(x)=\sum^x_{d|x}\mu(d) (Iμ)(x)=dxxμ(d)

根据莫比乌斯函数定义,当d含有平方因子时, μ ( x ) = 0 \mu(x)=0 μ(x)=0
所以构造数论函数 Φ ( x ) \Phi(x) Φ(x).

x ∈ p r i m e x \in prime xprime Φ ( x ) = x \Phi(x)=x Φ(x)=x

并且满足 Φ ( x y ) = Φ ( x ) Φ ( y ) ( x , y ) \Phi(xy)=\frac{\Phi(x)\Phi(y)}{(x,y)} Φ(xy)=(x,y)Φ(x)Φ(y),当x,y互质时,(x,y) = 1.

很容易得到

∑ d ∣ x x μ ( d ) = ∑ d ∣ Φ ( x ) Φ ( x ) μ ( d ) \sum^x_{d|x}\mu(d)=\sum^{\Phi(x)}_{d|\Phi(x)}\mu(d) dxxμ(d)=dΦ(x)Φ(x)μ(d)

考虑到 Φ ( x ) \Phi(x) Φ(x)不含相同质因子,则每种质因子只有选与不选两种状态,所以枚举 2 p 2^p 2p种状态,根据莫比乌斯函数的定义可以知道 μ ( x ) \mu(x) μ(x)的正负只与选取的质因子的个数相关.令p为 Φ ( x ) \Phi(x) Φ(x)的质因子个数,则 ( p &gt; = 1 ) (p &gt;= 1) (p>=1)

∑ d ∣ Φ ( x ) Φ ( x ) μ ( x ) = ∑ i = 0 p ( p i ) ⋅ ( − 1 ) i = ( 1 − 1 ) p = 0 \sum^{\Phi(x)}_{d|\Phi(x)}\mu(x)=\sum_{i=0}^{p}{{p}\choose{i}}·(-1)^i=(1-1)^p = 0 dΦ(x)Φ(x)μ(x)=i=0p(ip)(1)i=(11)p=0

易得 ( I ∗ μ ) ( 1 ) = 1 (I*\mu)(1)=1 (Iμ)(1)=1

综上所述 ( I ∗ μ ) ( x ) = [ x = = 1 ] = ε ( x ) (I*\mu)(x)=[x==1]=\varepsilon(x) (Iμ)(x)=[x==1]=ε(x)得证

则有莫比乌斯反演公式:

若有数论函数 f ( x ) , g ( x ) f(x),g(x) f(x),g(x)

使得 g ( x ) = ( I ∗ f ) ( x ) g(x)=(I*f)(x) g(x)=(If)(x)

f ( x ) = ( μ ∗ g ) ( x ) f(x)=(\mu*g)(x) f(x)=(μg)(x)

莫比乌斯反演通常运用于 ∑ g ( x ) \sum{g(x)} g(x)易于求解而 ∑ f ( x ) \sum{f(x)} f(x)难以求解时,可以对 ∑ μ ( x ) \sum\mu(x) μ(x)数论分块降低时间复杂度.

常用数论函数及其恒等式变换

常用数论函数表:

记号定义备注
I ( x ) I(x) I(x) I ( x ) = 1 I(x)=1 I(x)=1具有完全积性
i d ( x ) id(x) id(x) i d ( x ) = x id(x)=x id(x)=x同上
i d k ( x ) id^k(x) idk(x) i d k ( x ) = x k id^k(x)=x^k idk(x)=xk同上
ε ( x ) \varepsilon(x) ε(x) ε ( x ) = [ x = = 1 ] \varepsilon(x)=[x==1] ε(x)=[x==1]整数域下有积性
μ ( x ) \mu(x) μ(x) μ ∗ I = ε \mu*I=\varepsilon μI=ε
ϕ ( x ) \phi(x) ϕ(x)小于x并与x互质的数的个数
σ ( x ) \sigma(x) σ(x)x的约数个数
σ k ( x ) \sigma_k(x) σk(x)x的约数和

重要的恒等变换及证明:

  1. μ ∗ I = ε \mu*I=\varepsilon μI=ε
  2. ϕ ∗ I = i d \phi*I=id ϕI=id
    i d ( x ) = x = ∑ d = 1 x ∑ s = 1 x [ ( x , s ) = = d ] id(x)=x=\sum^x_{d=1}\sum_{s=1}^x[(x,s)==d] id(x)=x=d=1xs=1x[(x,s)==d]
    因为若 ( x , s ) = d (x,s)=d (x,s)=d,则 d ∣ x d|x dx d ∣ s d|s ds, 则:
    i d ( x ) = ∑ d ∣ x x ∑ d ∣ s x [ ( x , s ) = = d ] = ∑ d ∣ x x ∑ s = 1 x d [ ( x d , s ) = = 1 ] id(x)=\sum^x_{d|x}\sum^x_{d|s}[(x,s)==d]=\sum^x_{d|x}\sum^{\frac{x}{d}}_{s=1}[(\frac{x}{d},s)==1] id(x)=dxxdsx[(x,s)==d]=dxxs=1dx[(dx,s)==1]
    又:
    ϕ ( x ) = ∑ i = 1 x [ ( x , i ) = = 1 ] \phi(x)=\sum^x_{i=1}[(x,i)==1] ϕ(x)=i=1x[(x,i)==1]
    所以:
    i d ( x ) = ∑ d ∣ x x ϕ ( x ) = ( ϕ ∗ I ) ( x ) id(x)=\sum^x_{d|x}\phi(x)=(\phi*I)(x) id(x)=dxxϕ(x)=(ϕI)(x)
  3. f ( x ) f(x) f(x)为完全积性函数,则 f ∗ f = f ⋅ σ f*f=f·\sigma ff=fσ
    ( f ∗ f ) ( x ) = ∑ d ∣ x x f ( d ) f ( x d ) = ∑ x ∣ d x f ( x ) = f ( x ) ⋅ σ ( x ) (f*f)(x)=\sum^x_{d|x}f(d)f(\frac{x}{d})=\sum^x_{x|d}f(x)=f(x)·\sigma(x) (ff)(x)=dxxf(d)f(dx)=xdxf(x)=f(x)σ(x)
    特别地: σ = I ∗ I \sigma=I*I σ=II I ∗ i d = σ k I*id=\sigma_k Iid=σk σ ∗ σ = σ ⋅ σ \sigma*\sigma=\sigma·\sigma σσ=σσ
  4. i d ∗ μ = ϕ id*\mu=\phi idμ=ϕ
    i d ∗ μ = ϕ ∗ I ∗ μ = ϕ ∗ ε = ϕ id*\mu=\phi*I*\mu=\phi*\varepsilon=\phi idμ=ϕIμ=ϕε=ϕ
数论函数筛法
杜教筛

基于数论函数的数论积性的线性筛(欧拉筛)过于基础,在此便不再赘述.
杜教筛的作用:对于特定的 f f f数论函数求解 S ( x ) = ∑ i = 0 x f ( i ) S(x)=\sum^x_{i=0}f(i) S(x)=i=0xf(i).

首先构造便于求解的数论函数 g ( x ) g(x) g(x),使得 h ( x ) = ( f ∗ g ) ( x ) h(x)=(f*g)(x) h(x)=(fg)(x)也便于求解.

∑ i = 1 x h ( x ) = ∑ i = 1 x ∑ d ∣ x x f ( d ) g ( x d ) \sum^x_{i=1}h(x)=\sum^x_{i=1}\sum^x_{d|x}f(d)g(\frac{x}{d}) i=1xh(x)=i=1xdxxf(d)g(dx)

= ∑ d = 1 x g ( d ) S ( ⌊ x d ⌋ ) = g ( 1 ) S ( x ) + ∑ d = 2 x g ( d ) S ( ⌊ x d ⌋ ) =\sum^x_{d=1}g(d)S(\lfloor\frac{x}{d}\rfloor)=g(1)S(x)+\sum^x_{d=2}g(d)S(\lfloor\frac{x}{d}\rfloor) =d=1xg(d)S(dx)=g(1)S(x)+d=2xg(d)S(dx)

所以,

S ( x ) g ( 1 ) = ∑ i = 1 x h ( x ) − ∑ d = 2 x g ( d ) S ( ⌊ x d ⌋ ) S(x)g(1)=\sum^x_{i=1}h(x)-\sum^x_{d=2}g(d)S(\lfloor\frac{x}{d}\rfloor) S(x)g(1)=i=1xh(x)d=2xg(d)S(dx)

由于 h ( x ) , g ( x ) h(x),g(x) h(x),g(x)易于求解,我们可以对于 S ( x ) S(x) S(x)数论分块递归求解.

若使用线性筛预处理 O ( n 2 3 ) O(n^{\frac{2}{3}}) O(n32) S ( x ) S(x) S(x)则可以将时间复杂度降至O( n 2 3 n^{\frac{2}{3}} n32)

时间复杂度证明:

朴素杜教筛时间复杂度证明:

T ( n ) = O ( n ) + ∑ i = 2 x T ( i ) + T ( n i ) = ∫ 0 n O ( x ) d x = O ( n 3 4 ) T(n)=O(\sqrt{n})+\sum^{\sqrt{x}}_{i=2}T(i)+T(\frac{n}{i})=\int_0^{\sqrt{n}}O(\sqrt{x})dx=O(n^\frac{3}{4}) T(n)=O(n )+i=2x T(i)+T(in)=0n O(x )dx=O(n43)

线性筛+杜教筛时间复杂度证明:

T ( n ) = O ( n k ) + ∑ i = 2 n k T ( n i ) &lt; O ( n 2 k 2 ) + O ( k ) T(n)=O(\frac{n}{k})+\sum^{\frac{n}{k}}_{i=2}T(\frac{n}{i})&lt;O(\frac{n^2}{k^2})+O(k) T(n)=O(kn)+i=2knT(in)<O(k2n2)+O(k)

k = O ( n 2 3 ) k = O(n^{\frac{2}{3}}) k=O(n32), T ( n ) = O ( n 2 3 ) T(n)=O(n^\frac{2}{3}) T(n)=O(n32)有最小.

狄利克雷级数与黎曼 ζ \zeta ζ函数

定义形式级数:
f ( s ) = ∑ g ( i ) i s f(s) = \sum \frac{g(i)}{i^s} f(s)=isg(i)

我们称 f ( s ) f(s) f(s)为狄利克雷级数或狄利克雷生成函数.

由于 底数 i d k ( x ) id_k(x) idk(x)为积性函数,所以两个离散函数的狄利克雷卷积可以表示成其狄利克雷生成函数的乘法.

定义黎曼 ζ \zeta ζ函数:

ζ ( s ) = ∑ 1 i s \zeta(s)=\sum \frac{1}{i^s} ζ(s)=is1

于是我们很简单的可以写出一些常见的数论函数的生成函数

定义 f δ ( x ) f_{\delta}(x) fδ(x) f ( x ) f(x) f(x) 的狄利克雷生成函数.

ϵ δ ( s ) = ∑ ϵ ( i ) i s = 1 \epsilon_{\delta}(s)=\sum\frac{\epsilon(i)}{i^s}=1 ϵδ(s)=isϵ(i)=1

I δ ( s ) = ∑ I ( i ) i s = ζ ( s ) I_{\delta}(s)=\sum\frac{I(i)}{i^s}=\zeta(s) Iδ(s)=isI(i)=ζ(s)

因为 I ∗ μ = ϵ I * \mu = \epsilon Iμ=ϵ, 所以:

μ δ ( s ) = ( ϵ δ I δ ) ( s ) = 1 ζ ( s ) \mu_{\delta}(s)=(\frac{\epsilon_{\delta}}{I_{\delta}})(s)=\frac{1}{\zeta(s)} μδ(s)=(Iδϵδ)(s)=ζ(s)1

i d k δ ( s ) = ∑ i k i s = ∑ 1 i s − k = ζ ( s − k ) id_{k\delta}(s)=\sum \frac{i^k}{i^s}=\sum \frac{1}{i^{s-k}} =\zeta(s-k) idkδ(s)=isik=isk1=ζ(sk)

因为 i d ∗ μ = ϕ id * \mu=\phi idμ=ϕ, 所以:

ϕ δ ( s ) = ( i d δ ⋅ μ δ ) ( s ) = ζ ( s − 1 ) ζ ( s ) \phi_{\delta}(s)=(id_{\delta}·\mu_{\delta})(s)=\frac{\zeta(s-1)}{\zeta(s)} ϕδ(s)=(idδμδ)(s)=ζ(s)ζ(s1)

因为 I ∗ I = σ I*I=\sigma II=σ,所以:

σ δ ( s ) = ( I δ ⋅ I δ ) ( s ) = ζ 2 ( s ) \sigma_{\delta}(s)=( I_{\delta} · I_{\delta} )(s)=\zeta^2(s) σδ(s)=(IδIδ)(s)=ζ2(s)

因为 i d ∗ I = σ k id*I=\sigma_k idI=σk,所以:

σ k δ ( s ) = ( i d δ ⋅ I δ ) ( s ) = ζ ( s ) ζ ( s − 1 ) \sigma_{k\delta}(s)=(id_{\delta}·I_{\delta})(s)=\zeta(s)\zeta(s-1) σkδ(s)=(idδIδ)(s)=ζ(s)ζ(s1)

有了狄利克雷级数,我们可以简单的在狄利克雷卷积下求逆元了.

欧拉乘积公式与黎曼猜想

由狄利克雷级数的定义:

f ( s ) = ∑ 1 i s f(s)=\sum\frac{1}{i^s} f(s)=is1

可以知道:

s &gt; 1 s&gt;1 s>1 f ( s ) f(s) f(s)是收敛级数.

比如 ζ ( 2 ) = π 2 6 \zeta(2)=\frac{\pi^2}{6} ζ(2)=6π2

由唯一分解定理我们可以知道,任何正整数可以表示成唯一的素数分解.所以有:

ζ ( s ) = ∑ 1 i s = ∏ p ∈ P ( 1 + p s + p 2 s + p 3 s . . . ) = ∏ p ∈ P ∑ i = 0 p i s \zeta(s)=\sum\frac{1}{i^s}=\prod_{p \in P}(1+p^s+p^{2s}+p^{3s}...)=\prod_{p\in P}\sum_{i=0}p^{is} ζ(s)=is1=pP(1+ps+p2s+p3s...)=pPi=0pis

其中 P P P是素数集合. 素数幂的积可以恰好覆盖所有整数.

然后有无穷项等比数列求和公式:

∑ i = 0 x i = 1 1 − x \sum_{i=0}x^i=\frac{1}{1-x} i=0xi=1x1

所以有著名的欧拉乘积公式:

∑ 1 i s = ∏ 1 1 − p s \sum \frac{1}{i^s}=\prod\frac{1}{1-p^s} is1=1ps1

由于以上等比数列求和公式要在 s &lt; 0 s&lt;0 s<0下成立,所以我们需要把 ζ ( s ) \zeta(s) ζ(s)解析延拓到 s &lt; 0 s&lt;0 s<0的情况.

于是我们猜想在复平面上被解析延拓的 ζ ( x ) \zeta(x) ζ(x)有着无穷多个零点,于是人们发现一种平凡的零点 ( − 2 t , 0 ) ( -2t, 0 ) (2t,0).当 t ∈ N ∗ t \in N_* tN恒成立.

于是人们发现除此之外的零点都在 ( 0 , 1 ) (0,1) (0,1)之间,于是便有了黎曼猜想:

解析延拓后的 ζ ( x ) \zeta(x) ζ(x)的所有非平凡零点都在x= 1 2 \frac{1}{2} 21

  • 9
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值