莫比乌斯反演(三)：莫比乌斯反演定理

莫比乌斯反演定理

定理

第一种形式的莫比乌斯反演

存在 $f(x)$ 和 $g(x)$ 是定义在非负整数域的函数，并且满足
$$f(n)=\sum _{d|n}g(d)$$
式子等价于
$$g(n)=\sum _{d|n}\mu (d)f(\frac{n}{d})$$

第二种形式的莫比乌斯反演

莫比乌斯反演还存在另一种形式：

存在
$$f(n)=\sum _{n|d}g(d)$$
式子等价于
$$g(n)=\sum _{n|d}\mu (\frac{d}{n})f(d)$$

证明

第一种形式的证明

简单朴素证明：

只需证右边 ${\sum }_{d|n}\mu (d)f(\frac{n}{d})$ 等于左边的 $g(n)$ 即可。
$$\begin{array}{rl}\sum _{d|n}\mu (d)f(\frac{n}{d})& =\sum _{d|n}\mu (d)\sum _{i|\frac{n}{d}}g(i)\\ & =\sum _{d|n}\sum _{i|\frac{n}{d}}\mu (d)g(i)\\ & =\sum _{i|n}\sum _{d|\frac{n}{i}}\mu (d)g(i)\\ & =\sum _{d|n}\mu (d)\sum _{i|\frac{n}{d}}g(i)\\ & =g(n)\end{array}$$
如上，$g(n)={\sum }_{d|n}\mu (d)f(\frac{n}{d})$ 得证。

卷积证明：

证明参考：点击此链接
求证：$$f(n)=\sum _{d|n}g(d)\iff g(n)=\sum _{d|n}\mu (d)f(\frac{n}{d})$$

已知 $\mu$ 为莫比乌斯函数， $u$ 为乘法单位元， $e$ 为单位元。
它们存在以下三个性质：1. $u={\mu }^{-1}$ 。2. $u\ast \mu =e$ 。3. $e\ast f=f$ 。
求证： $f=g\ast u\iff g=f\ast \mu$
先证： $f=g\ast u\Rightarrow g=f\ast \mu$
$$\begin{array}{rl}f=g\ast u& \Rightarrow g=f\ast \mu \\ & \Rightarrow g\ast u=f\ast \mu \ast u\\ & \Rightarrow g\ast u=f\ast (\mu \ast u)\\ & \Rightarrow g\ast u=f\ast e\\ & \Rightarrow g\ast u=f\end{array}$$
如上，$f(n)={\sum }_{d|n}g(d)\Rightarrow g(n)={\sum }_{d|n}\mu (d)f(\frac{n}{d})$ 得证。
再证： $g=f\ast \mu \Rightarrow f=g\ast u$
$$\begin{array}{rl}g=f\ast \mu & \Rightarrow f=g\ast u\\ & \Rightarrow f\ast \mu =g\ast u\ast \mu \\ & \Rightarrow f\ast \mu =g\ast (u\ast \mu )\\ & \Rightarrow f\ast \mu =g\ast e\\ & \Rightarrow f\ast \mu =g\end{array}$$
如上， $g=f\ast \mu \Rightarrow f=g\ast u$ 得证。
即 $f(n)={\sum }_{d|n}g(d)\iff g(n)={\sum }_{d|n}\mu (d)f(\frac{n}{d})$ 得证。

第二种形式的证明

简单朴素证明

求证 $f(n)={\sum }_{n|d}g(d)\iff g(n)={\sum }_{n|d}\mu (\frac{d}{n})f(d)$
令 $k=\frac{d}{n}$ ，
$$\begin{array}{rl}g(n)& =\sum _{n|d}\mu (\frac{d}{n})f(d)\\ & =\sum _{k=1}^{+\infty }\mu (k)f(nk)\\ & =\sum _{k=1}^{+\infty }\mu (k)\sum _{nk|i}g(i)\\ & =\sum _{k=1}^{+\infty }\sum _{nk|i}\mu (k)g(i)\\ & =\sum _{n|i}\sum _{k|\frac{i}{n}}\mu (k)g(i)\\ & =\sum _{n|i}g(i)\sum _{k|\frac{i}{n}}\mu (k)\end{array}$$
观察 ${\sum }_{n|i}g(i){\sum }_{k|\frac{i}{n}}\mu (k)$ ，当且仅当 $\frac{i}{n}=1$，即 $i=n$ 时，${\sum }_{k|\frac{i}{n}}\mu (k)=1$，其余都是 $0$。因此
$$\sum _{n|i}g(i)\sum _{k|\frac{i}{n}}\mu (k)=g(n)$$
得证。