积性函数与狄利克雷卷积（未完待更）

<h1>积性函数</h1> <h2>定义</h2> <p>积性函数是指一个定义域为正整数 $N$ 的算术函数 $f(n)$ ， 有以下性质：$f(1) = 1$ ，且 $\forall a,b \in \mathbb{N}^{+} \quad $ 且 $\quad \gcd(a,b) = 1$ ，有 $f(ab) = f(a) f(b)$。</p> <p>若对于任意的 $a,b$ ， $f$ 均知足上述性质，则称此函数为彻底积性函数。</p> <p>积性函数举例：</p> - $\varphi (n)$－欧拉$\varphi$函数，计算与$n$ 互质的正整数之数目

• $\mu (n)$－默比乌斯函数，关于非平方数的质因子数目

• $\gcd(n,k)$ －最大公因数，当 $k$ 固定的状况

• $\sigma _{k}(n)$ - 除数函数，$n$ 的全部正因数的 $k$ 次幂之和，当中 $k$ 可为任何复数。在特例中有：

  $\sigma_0(n) = d(n)$ - $n$ 的正因数数目

  $\sigma _{1}(n) = \sigma (n)$ - $n$ 的全部正因数之和

• $I(n)$ －不变的函数，定义为 $I(n) = 1$ （彻底积性）

• $Id(n)$ －单位函数，定义为 $Id(n) = n$ （彻底积性）

• $Id_k(n)$ －幂函数，对于任何复数、实数 $k$，定义为 $Id_k(n) = n^k$ （彻底积性）

• $\varepsilon(n)$ －定义为：若 $n = 1，\varepsilon(n) = 1$；若 $n > 1，\varepsilon(n) = 0$ 。有时称为“对于狄利克雷卷积的乘法单位”（彻底积性）

• $(n/p)$ －勒让德符号，$p$ 是固定质数（彻底积性）

• $\lambda(n)$ －刘维尔函数，关于能整除 $n$ 的质因子的数目

• $\gamma(n)$ - 定义为 $\gamma(n) = (-1) ^ {\omega(n)}$，在此加性函数 $\omega(n)$ 是不一样能整除n的质数的数目

<h2>性质</h2> <p>积性函数的值彻底由质数的幂决定，这和算术基本定理有关。</p> <p>便是说，若将 $n$ 表示成质因数分解式如 ${p_{1}}^{a_{1}}{p_{2}}^{a_{2}} \cdots {p_{k}}^{a_{k}}$，则 $f(n) = f({p_{1}}^{a_{1}})f({p_{2}}^{a_{2}}) \cdots f({p_{k}}^{a_{k}}) $。</p> <p>若f为积性函数且 $f(p^{n}) = f(p)^{n}$，则 $f$ 为彻底积性函数。</p> <p>那么，这玩意跟狄利克雷卷积有什么关系呢？</p> <p>这里有一条：两个积性函数的狄利克雷卷积一定是积性函数。所以，以卷积为群的运算，全部积性函数组成了一个子群。</p>

<h2>常见积性函数筛法</h2>

注意到积性函数有一条十分重要的性质：任意积性函数均可以用线性筛 $O(n)$ 求得 。

不知道线性筛的，请出门右转。

<h1>Möbius 函数</h1> <h2>定义</h2> <p>莫比乌斯函数（$M\ddot{o}bius$ 函数） $\mu$ 是指如下的函数：</p> <p>设正整数 $N$ 按照算数基本定理分解质因数为 $N = {p_{1}}^{a_{1}}{p_{2}}^{a_{2}} \cdots {p_{m}}^{a_{m}}$ ，定义函数：</p> <p>$$\mu(N) = \begin{cases}0 & \exists i \in \left[1,m \right] \ ,c_i > 1 \\ 1 & m\equiv 0\pmod{2} \ ,\forall i \in \left[1,m\right] \ ,c_i = 1 \\ -1 & m\equiv 1\pmod{2} \ ,\forall i \in \left[1,m\right] \ ,c_i = 1\end{cases}$$ </p>

注：若 $\mu(a) = 0$ ，则 $a$ 是某个彻底平方数的整数倍。

<p>$M\ddot{o}bius$ 函数也可表示为如下形式：</p> <p> $$\mu(N) = \delta^{\Omega(N)}_{\omega(N)} \lambda(N)$$ </p> <p>其中 $\delta$ 是 $Kronecker$ 符号， $\lambda(N)$ 是刘维尔函数， $\omega(N)$ 是不一样的素因子的数量 $Ñ$ ，和 $\Omega(N)$ 是素因子数 $Ñ$，具备多重性计数。（摘自百度）</p>

看不懂是否是，我也看不懂，$\cdots$ 有兴趣的读者能够本身上百度了解了解。

<p>函数的前 $50$ 个值以下：</p>

<p></p> <h2>性质</h2> - $M\ddot{o}bius$ 函数是积性的（即，只要 $\gcd(a,b) = 1$，$\mu(ab) = \mu(a) \mu(b)$）

• $\sum_{d \mid N}\mu(d) = \begin{cases}1 & n = 1\ 0 & n \ne 1\end{cases}$

  上述等式可推出重要的莫比乌斯反演公式，而且是 $\mu$ 在乘法和算术函数理论中具备相关性的主要缘由。

  $\mu(n)$ 在组合学中的其余应用与组合群和组合枚举中 $Pólya$ 枚举定理的使用有关。（摘自百度，这些内容固然如今不会写，之后有空再写）