Dirichlet卷积定义
若有两个函数
f
f
f与
g
g
g,则其
D
i
r
i
c
h
l
e
t
Dirichlet
Dirichlet卷积为(
∗
*
∗为卷积,为避免混淆,乘号用
×
\times
×表示)
f
(
n
)
∗
g
(
n
)
=
∑
d
∣
n
f
(
d
)
g
(
n
d
)
f(n) * g(n)= \sum_{d|n}f(d)g(\frac{n}{d})
f(n)∗g(n)=d∣n∑f(d)g(dn)
性质
简单性质
交换律: f ∗ g = g ∗ f f*g=g*f f∗g=g∗f
结合律: ( f ∗ g ) ∗ h = f ∗ ( g ∗ h ) (f*g)*h=f*(g*h) (f∗g)∗h=f∗(g∗h)
分配律: f ∗ ( g + h ) = f ∗ g + f ∗ h f*(g+h)=f*g+f*h f∗(g+h)=f∗g+f∗h
单位元
定义元函数: ϵ ( n ) = [ n = 1 ] \epsilon(n)=[n=1] ϵ(n)=[n=1]
其中 [ a ] [a] [a]指如果 a a a为真,其值为1,反之则为0。
所以 f ∗ ϵ = ϵ ∗ f = f f*\epsilon=\epsilon*f=f f∗ϵ=ϵ∗f=f
证明:
f
(
n
)
∗
ϵ
(
n
)
=
∑
d
∣
n
f
(
d
)
ϵ
(
n
d
)
f(n)*\epsilon(n)=\sum_{d|n}f(d)\epsilon(\frac{n}{d})
f(n)∗ϵ(n)=d∣n∑f(d)ϵ(dn)
∵
当
n
d
≠
1
时
⟹
ϵ
(
n
d
)
=
0
⟹
f
(
d
)
ϵ
(
n
d
)
=
0
\because \qquad 当\frac{n}{d} \neq 1时 \Longrightarrow\epsilon(\frac{n}{d})=0\Longrightarrow f(d)\epsilon(\frac{n}{d})=0
∵当dn=1时⟹ϵ(dn)=0⟹f(d)ϵ(dn)=0
∴
f
(
n
)
∗
ϵ
(
n
)
=
∑
d
∣
n
且
d
≠
n
f
(
d
)
ϵ
(
n
d
)
+
f
(
n
)
ϵ
(
1
)
=
f
(
n
)
\therefore \qquad f(n)*\epsilon(n)=\sum_{d|n且d\neq n}f(d)\epsilon(\frac{n}{d})+f(n)\epsilon(1)=f(n)
∴f(n)∗ϵ(n)=d∣n且d=n∑f(d)ϵ(dn)+f(n)ϵ(1)=f(n)
积性函数
对于一个函数 f f f,若对于所有互质的正整数 a , b a,b a,b,均有 f ( a b ) = f ( a ) f ( b ) f(ab)=f(a)f(b) f(ab)=f(a)f(b),则 f f f为一个积性函数。
数学语言:对于函数 f f f,若对于 ∀ a , b ∈ N + , g c d ( a , b ) = 1 \forall a,b \in N^+,gcd(a,b)=1 ∀a,b∈N+,gcd(a,b)=1,都有 f ( a b ) = f ( a ) f ( b ) f(ab)=f(a)f(b) f(ab)=f(a)f(b),则 f f f为一个积性函数。
好处:便于快速处理函数值
性质:对于两个积性函数 f , g f,g f,g, f ∗ g f*g f∗g也为积性函数
常见的积性函数
1.除数函数: n n n的约数的 k k k次幂之和, σ k ( n ) = ∑ d ∣ n d k \sigma_k(n)=\sum_{d|n} d^k σk(n)=∑d∣ndk。
2.约数个数函数: n n n的约数个数, d ( n ) = σ 0 ( n ) = ∑ d ∣ n 1 d(n)=\sigma_0(n)=\sum_{d|n}1 d(n)=σ0(n)=∑d∣n1。
3.约数和函数: n n n的所有约数之和, σ ( n ) = σ 1 ( n ) = ∑ d ∣ n d \sigma(n)=\sigma_1 (n)=\sum_{d|n}d σ(n)=σ1(n)=∑d∣nd。
4.欧拉函数: [ 1 , n ] [1,n] [1,n]中与 n n n互质的数的个数, ϕ ( n ) = φ ( n ) = ∑ n i = 1 [ g c d ( i , n ) = 1 ] \phi(n)=\varphi(n)=\sum_{n}^{i=1}[gcd(i,n)=1] ϕ(n)=φ(n)=∑ni=1[gcd(i,n)=1]。
5.莫比乌斯函数:定义式:
对于一个数 n n n, { ∑ d ∣ n μ ( d ) } = [ n = 1 ] \{\sum_{d|n}\mu(d)\}=[n=1] {∑d∣nμ(d)}=[n=1]
当 n n n不等于 1 1 1时, n n n所有因子的莫比乌斯函数值的和为 0 0 0
求解该递归式:
μ
(
n
)
=
{
0
n
有
平
方
因
子
(
−
1
)
t
o
t
h
e
r
w
i
s
e
\mu(n)=\left\{ \begin{aligned} 0\qquad n有平方因子 \\ (-1)^t \qquad otherwise\\ \end{aligned} \right.
μ(n)={0n有平方因子(−1)totherwise
其中
t
t
t为
n
n
n质因子个数
6.元函数: ϵ ( n ) = [ n = 1 ] \epsilon(n)=[n=1] ϵ(n)=[n=1]。
7.幂函数: n n n的 k k k次方。 I d k ( n ) = n k Id_k(n)=n^k Idk(n)=nk。
8.恒等函数: I ( n ) = I d 0 ( n ) = 1 I(n)=Id_0(n)=1 I(n)=Id0(n)=1。
9.单位函数: I d ( n ) = I d 1 ( n ) = n Id(n)=Id_1(n)=n Id(n)=Id1(n)=n。
一些恒等式
I
(
n
)
∗
I
(
n
)
=
∑
d
∣
n
I
(
d
)
I
(
n
d
)
=
∑
d
∣
n
1
=
d
(
n
)
,
即
I
∗
I
=
d
I(n)*I(n)=\sum_{d|n}I(d)I(\frac{n}{d})=\sum_{d|n}1=d(n),即I*I=d
I(n)∗I(n)=d∣n∑I(d)I(dn)=d∣n∑1=d(n),即I∗I=d
I
d
(
n
)
∗
I
(
n
)
=
∑
d
∣
n
I
d
(
d
)
I
(
n
d
)
=
∑
d
∣
n
d
=
σ
(
n
)
,
即
I
d
∗
I
=
σ
Id(n)*I(n)=\sum_{d|n}Id(d)I(\frac{n}{d})=\sum_{d|n}d=\sigma(n),即Id*I=\sigma
Id(n)∗I(n)=d∣n∑Id(d)I(dn)=d∣n∑d=σ(n),即Id∗I=σ
μ
(
n
)
∗
I
(
n
)
=
∑
d
∣
n
μ
(
d
)
I
(
n
d
)
=
∑
d
∣
n
μ
(
d
)
=
ϵ
(
n
)
,
即
μ
∗
I
=
ϵ
\mu(n)*I(n)=\sum_{d|n}\mu(d)I(\frac{n}{d})=\sum_{d|n}\mu(d)=\epsilon(n),即\mu*I=\epsilon
μ(n)∗I(n)=d∣n∑μ(d)I(dn)=d∣n∑μ(d)=ϵ(n),即μ∗I=ϵ
由
φ
\varphi
φ的定义知,它还可以表示分母为
n
n
n的最简真分数个数。
所以列出分数
1
n
,
2
n
,
3
n
,
.
.
.
,
n
n
\frac{1}{n},\frac{2}{n},\frac{3}{n},...,\frac{n}{n}
n1,n2,n3,...,nn,再约分,以分母分别统计可得
φ
(
n
)
∗
I
(
n
)
=
∑
d
∣
n
φ
(
d
)
I
(
n
d
)
=
∑
d
∣
n
φ
(
d
)
=
n
=
I
d
(
n
)
,
即
φ
∗
I
=
I
d
\varphi(n)*I(n)=\sum_{d|n}\varphi(d)I(\frac{n}{d})=\sum_{d|n}\varphi(d)=n=Id(n),即\varphi*I=Id
φ(n)∗I(n)=d∣n∑φ(d)I(dn)=d∣n∑φ(d)=n=Id(n),即φ∗I=Id
∵
φ
∗
I
=
I
d
\because \qquad \varphi*I=Id
∵φ∗I=Id
∴
φ
∗
I
∗
μ
=
I
d
∗
μ
\therefore \qquad \varphi*I*\mu=Id*\mu
∴φ∗I∗μ=Id∗μ
∴
φ
∗
ϵ
=
I
d
∗
μ
\therefore \qquad \varphi*\epsilon=Id*\mu
∴φ∗ϵ=Id∗μ
∴
φ
=
I
d
∗
μ
\therefore \qquad \varphi=Id*\mu
∴φ=Id∗μ