正睿集训数论专题【8.9】

又到了“最简单”的数论了，
好开心啊~(｡◕ˇ∀ˇ◕)

---

---

简单数论

数论函数/算术函数

定义

指在正整数集上的实值或复值函数。
一般地，也可以把其看做是某一整数集上定义的函数，如：$$d(n)=\sum _{d|n}1$$以正整数为定义域的函数 $f(n)$ ，例如 数列 { α n } \{\alpha n\} { αn} 、 $n!$ 、幂 $n\lambda$ 等都是数论函数。

内容

将 $n$ 质因子分解为 $n=p_1^{l_1}\dots p_s^{l_s}$ 。

① 莫比乌斯函数 $\mu (n)$$$\mu (n)=\{\begin{array}{ll}1& (n=1)\\ (-1{)}^s& (l_1=\cdots =l_s=1)\\ 0& (有某个l_j>1,1⩽j⩽s)\end{array}$$易知，$$\sum _{d|n}\mu (d)=\Delta (n)=\{\begin{array}{ll}1& (若n=1)\\ 0& (若n>1)\end{array}$$
② 欧拉函数 $\phi (n)$ ，易证：$$\phi (mn)=\frac{d\phi (m)\phi (n)}{\phi (d)}$$其中 $(m,n)=d$

③ 除数函数

当 $u!=0$ 时，有 L { f ( t ) } = F ( s ) = ∫ 0 ∞ f ( t ) e − s t d t \mathscr{L}\{f(t)\}=F(s)=\int_{0}^{\infty} f(t) e^{-s t} \mathrm{d} t L{ f(t)}=F(s)=∫0∞​f(t)e−stdt当 $u=0$ 时， f ( t ) = L − 1 { F ( s ) } = 1 2 π j ∫ σ 0 − j ∞ σ 0 + j ∞ F ( s ) e s t d s f(t)=\mathscr{L}^{-1}\{F(s)\}=\frac{1}{2 \pi j} \int_{\sigma_{0}-j \infty}^{\sigma_{0}+j \infty} F(s) e^{s t} \mathrm{d} s f(t)=L−1{ F(s)}=2πj1​∫σ0​−j∞σ0​+j∞​F(s)estds$\sigma 1(n)=\sigma (n)$ ，正整数 $n$ 满足 $\sigma (n)=2n$ 时， $n$ 就叫做完全数。

积性函数

定义

1、积性函数：对于任意互质的整数 $a$ 和 $b$ 有性质 $f(ab)=f(a)f(b)$ 的数论函数。
2、完全积性函数：对于任意整数 $a$ 和 $b$ 有性质 $f(ab)=f(a)f(b)$ 的数论函数。

举例

积性函数：

• $\phi (n)$ — 欧拉函数
• $\mu (n)$ — 莫比乌斯函数，关于非平方数的质因子数目
• $gcd(n,k)$ — 最大公因子，当 $k$ 固定的情况
• $d(n)$ — $n$ 的正因子数目
• $\sigma (n)$ — $n$ 的所有正因子之和
• $\sigma k(n)$ — 因子函数， $n$ 的所有正因子的 $k$ 次幂之和，当中 $k$ 可为任何复数
• $1(n)$ — 不变的函数，定义为 $1(n)=1$（完全积性）
• $ld(n)$ — 单位函数，定义为 $ld(n)=n$（完全积性）
• $ldk(n)$ — 幂函数，对于任何复数、实数 $k$ ，定义为 $ldk(n)=n^k$（完全积性）
• $\epsilon (n)$ — 定义为：若 $n=1,ϵ(n)=1$ ；若 $n>1,\epsilon (n)=0$ 。因此又被称为 “对于狄利克雷卷积的乘法单位” （完全积性）
• $\lambda (n)$ — 刘维尔函数，关于能整除 $n$ 的质因子数目
• $\gamma (n)$ — 定义为 $\gamma (n)=(-1{)}^{\omega (n)}$
• $\omega (n)$ — 加性函数，是不同的能整除 $n$ 的质数的数目
  另外，所有 狄利克雷特征 均是完全积性的
  $\mathcal{T}ips:$有些看不懂没有关系，就当了解一下了。

非积性函数

• $\Lambda (n)$ — 冯·曼戈尔特函数，定义为：当 $n$ 是质数 $p$ 的整数幂， $\Lambda (n)=\ln (p)$ ，否则 $\Lambda (n)=0$
• $\pi (n)$ — 定义为不大于正整数 $n$ 的质数的数目
• $P(n)$ — 一个整数能表示成正整数之和的方法的数目

性质

性质一

根据算数基本定理，若将 $n$ 表示成质因子分解式$$n=p_1^{a_1}{p}_2^{a_2}\cdot \cdot \cdot p_n^{a_n}$$则有 f ( n ) = f ( p 1 a 1 ) f ( p 2 a 2 ) ⋅ ⋅ ⋅ f ( p n a n ) f(n)=f(p_1^{a_1})f(p_2^{a_2})···f(p_n^{a_n}) f(n)=f(p