首先定义几个概念:
1,卷积:
设
是两个数论函数(也就是说,以自然数集为定义域的复数值函数),则卷积运算
定义为
![(f\ast g)(n) = \sum_{ij=n}{f(i)g(j)}](http://zhihu.com/equation?tex=%28f%5Cast+g%29%28n%29+%3D+%5Csum_%7Bij%3Dn%7D%7Bf%28i%29g%28j%29%7D+)
可以证明,卷积运算满足:
1)交换律:![f\ast g=g\ast f](https://i-blog.csdnimg.cn/blog_migrate/7b883bf6fd2ce7f92ee2d43b834bddab.png%3Dg%5Cast+f)
由定义显然。
2)结合律:![(f\ast g)\ast h=f\ast(g\ast h)](http://zhihu.com/equation?tex=%28f%5Cast+g%29%5Cast+h%3Df%5Cast%28g%5Cast+h%29)
考察两边作用在
上,左边是
![\begin{align}((f\ast g)\ast h)(n) &= \sum_{lk=n}(f\ast g)(l)h(k) \\&= \sum_{lk=n}\left(\sum_{ij=l}f(i)g(j)\right)h(k)\\&= \sum_{ijk=n} f(i)g(j)h(k)\end{align}](http://zhihu.com/equation?tex=%5Cbegin%7Balign%7D%0A%28%28f%5Cast+g%29%5Cast+h%29%28n%29+%26%3D+%5Csum_%7Blk%3Dn%7D%28f%5Cast+g%29%28l%29h%28k%29+%5C%5C%0A%26%3D+%5Csum_%7Blk%3Dn%7D%5Cleft%28%5Csum_%7Bij%3Dl%7Df%28i%29g%28j%29%5Cright%29h%28k%29%5C%5C%0A%26%3D+%5Csum_%7Bijk%3Dn%7D+f%28i%29g%28j%29h%28k%29%0A%5Cend%7Balign%7D)
右边是
![\begin{align}(f\ast (g\ast h))(n) &= \sum_{il=n}f(i)(g\ast h)(l) \\&= \sum_{il=n}f(i)\left(\sum_{jk=l}g(j)h(k)\right)\\&= \sum_{ijk=n} f(i)g(j)h(k)\end{align}](http://zhihu.com/equation?tex=%5Cbegin%7Balign%7D%0A%28f%5Cast+%28g%5Cast+h%29%29%28n%29+%26%3D+%5Csum_%7Bil%3Dn%7Df%28i%29%28g%5Cast+h%29%28l%29+%5C%5C%0A%26%3D+%5Csum_%7Bil%3Dn%7Df%28i%29%5Cleft%28%5Csum_%7Bjk%3Dl%7Dg%28j%29h%28k%29%5Cright%29%5C%5C%0A%26%3D+%5Csum_%7Bijk%3Dn%7D+f%28i%29g%28j%29h%28k%29%0A%5Cend%7Balign%7D)
故两边相等。
3)存在单位元
使得![\iota \ast f=f](https://i-blog.csdnimg.cn/blog_migrate/8aa7d52a6e062d4123452f660ff45584.png%5Cast+f%3Df)
我们需要
![(\iota\ast f)(n)=\sum_{ij=n}\iota(i)f(j)=f(n)](https://i-blog.csdnimg.cn/blog_migrate/0ce21c669569e5eca519dfad619c3cee.png)
故不难猜到
应该定义为![\iota(n)=\begin{cases}1&n=1\\0&n\neq1\end{cases}](https://i-blog.csdnimg.cn/blog_migrate/c5925026b20d406ab3702e159c50937d.png)
事实上,直接验证可得
![(\iota\ast f)(n)=\sum_{ij=n}\delta_{i,1}f(j)=f(n)](https://i-blog.csdnimg.cn/blog_migrate/76efc4a7b7b84752d1b7e752fade2fe0.png)
以上说明数论函数在卷积意义下构成一个交换群。
2,乘法单位元![u](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png)
上面的
是数论函数在卷积意义下的单位元,而普通乘法
意义下的单位元显然是把所有自然数都映到1的函数,记作
。
3,莫比乌斯函数![\mu](https://i-blog.csdnimg.cn/blog_migrate/0099354241cf3846b54c2dfaaec74b2d.png)
在卷积意义下的逆元,称为莫比乌斯函数。也就是说
是满足
![u\ast\mu=\iota](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png%5Cast%5Cmu%3D%5Ciota)
的唯一的数论函数。
把这个表达式写开就是
…………(*)
通常,莫比乌斯函数
定义为
;
,如果
能写成
个不同素数之积;
,其他情况。
按照这种定义不难证明(*)式。
对于
,(*)式成立;
对于
,用算术基本定理把
写成
![n=p_1^{a_1}p_2^{a_2}\cdots p_k^{a_k}](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png%3Dp_1%5E%7Ba_1%7Dp_2%5E%7Ba_2%7D%5Ccdots+p_k%5E%7Ba_k%7D)
于是
![\begin{align}\sum_{d\mid n}\mu(d) =& \mu(1)+\mu(p_1)+\mu(p_2)+\cdots+\mu(p_k)+\mu(p_1p_2)+\cdots+\mu(p_1p_2\cdots p_k) \\=& \binom{k}{0}+\binom{k}{1}(-1)+\binom{k}{2}(-1)^2+\cdots+\binom{k}{k}(-1)^k \\=&(1-1)^k=0\end{align}](http://zhihu.com/equation?tex=%5Cbegin%7Balign%7D%0A%5Csum_%7Bd%5Cmid+n%7D%5Cmu%28d%29+%3D%26+%5Cmu%281%29%2B%5Cmu%28p_1%29%2B%5Cmu%28p_2%29%2B%5Ccdots%2B%5Cmu%28p_k%29%2B%5Cmu%28p_1p_2%29%2B%5Ccdots%2B%5Cmu%28p_1p_2%5Ccdots+p_k%29+%5C%5C%0A%3D%26+%5Cbinom%7Bk%7D%7B0%7D%2B%5Cbinom%7Bk%7D%7B1%7D%28-1%29%2B%5Cbinom%7Bk%7D%7B2%7D%28-1%29%5E2%2B%5Ccdots%2B%5Cbinom%7Bk%7D%7Bk%7D%28-1%29%5Ek+%5C%5C%0A%3D%26%281-1%29%5Ek%3D0%0A%5Cend%7Balign%7D)
现在来看看莫比乌斯反演说的是什么呢?
![f(n)=\sum_{d\mid n}g(d)](https://i-blog.csdnimg.cn/blog_migrate/cda1ea0ccd8c337638226093ae3cfb5f.png)
当且仅当
![g(n)=\sum_{d\mid n}\mu\left(\frac{d}{n}\right)f(d)](https://i-blog.csdnimg.cn/blog_migrate/cafbd43232556c370afe5e76e8ef807d.png)
换而言之,
![f = g\ast u\Leftrightarrow g = f\ast\mu](http://zhihu.com/equation?tex=f+%3D+g%5Cast+u%0A%5CLeftrightarrow+%0Ag+%3D+f%5Cast%5Cmu)
证明:
![\begin{align}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\iota \\ \Rightarrow& f\ast\mu=g\end{align}](http://zhihu.com/equation?tex=%5Cbegin%7Balign%7D%0Af%3Dg%5Cast+u+%5CRightarrow%26+f%5Cast+%5Cmu%3D%28g%5Cast+u%29%5Cast+%5Cmu+%5C%5C%0A++++++++++++++%5CRightarrow%26+f%5Cast%5Cmu%3Dg%5Cast%28u%5Cast%5Cmu%29+%5C%5C%0A++++++++++++++%5CRightarrow%26+f%5Cast%5Cmu%3Dg%5Cast%5Ciota+%5C%5C%0A++++++++++++++%5CRightarrow%26+f%5Cast%5Cmu%3Dg%0A%5Cend%7Balign%7D)
反之
1,卷积:
设
![f,g](https://i-blog.csdnimg.cn/blog_migrate/f372b7bbd319a925c564b41b4fab8dce.png)
![f\ast g](https://i-blog.csdnimg.cn/blog_migrate/7b883bf6fd2ce7f92ee2d43b834bddab.png)
可以证明,卷积运算满足:
1)交换律:
![f\ast g=g\ast f](https://i-blog.csdnimg.cn/blog_migrate/7b883bf6fd2ce7f92ee2d43b834bddab.png%3Dg%5Cast+f)
由定义显然。
2)结合律:
考察两边作用在
![n](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png)
右边是
故两边相等。
3)存在单位元
![\iota](https://i-blog.csdnimg.cn/blog_migrate/8aa7d52a6e062d4123452f660ff45584.png)
![\iota \ast f=f](https://i-blog.csdnimg.cn/blog_migrate/8aa7d52a6e062d4123452f660ff45584.png%5Cast+f%3Df)
我们需要
![(\iota\ast f)(n)=\sum_{ij=n}\iota(i)f(j)=f(n)](https://i-blog.csdnimg.cn/blog_migrate/0ce21c669569e5eca519dfad619c3cee.png)
故不难猜到
![\iota](https://i-blog.csdnimg.cn/blog_migrate/8aa7d52a6e062d4123452f660ff45584.png)
![\iota(n)=\begin{cases}1&n=1\\0&n\neq1\end{cases}](https://i-blog.csdnimg.cn/blog_migrate/c5925026b20d406ab3702e159c50937d.png)
事实上,直接验证可得
![(\iota\ast f)(n)=\sum_{ij=n}\delta_{i,1}f(j)=f(n)](https://i-blog.csdnimg.cn/blog_migrate/76efc4a7b7b84752d1b7e752fade2fe0.png)
以上说明数论函数在卷积意义下构成一个交换群。
2,乘法单位元
![u](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png)
上面的
![\iota](https://i-blog.csdnimg.cn/blog_migrate/8aa7d52a6e062d4123452f660ff45584.png)
![(fg)(n):=f(n)g(n)](https://i-blog.csdnimg.cn/blog_migrate/a3e83ca712fb9b1b7e2c5643164ebc7e.png)
![u](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png)
3,莫比乌斯函数
![\mu](https://i-blog.csdnimg.cn/blog_migrate/0099354241cf3846b54c2dfaaec74b2d.png)
![u](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png)
![\mu](https://i-blog.csdnimg.cn/blog_migrate/0099354241cf3846b54c2dfaaec74b2d.png)
![u\ast\mu=\iota](https://i-blog.csdnimg.cn/blog_migrate/01b0110049bf4b75c1368d799d726a7d.png%5Cast%5Cmu%3D%5Ciota)
的唯一的数论函数。
把这个表达式写开就是
![\sum_{d\mid n}\mu(d)=\iota(n)](https://i-blog.csdnimg.cn/blog_migrate/d7d9c39fe0d2e4fe07b66f1d36a22d63.png)
通常,莫比乌斯函数
![\mu](https://i-blog.csdnimg.cn/blog_migrate/96a8fa26f2eeb82740a9bc6fbbe54e70.png)
![\mu(1)=1](https://i-blog.csdnimg.cn/blog_migrate/96a8fa26f2eeb82740a9bc6fbbe54e70.png%281%29%3D1)
![\mu(n)=(-1)^k](https://i-blog.csdnimg.cn/blog_migrate/96a8fa26f2eeb82740a9bc6fbbe54e70.png%28n%29%3D%28-1%29%5Ek)
![n](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png)
![k](https://i-blog.csdnimg.cn/blog_migrate/534ea68d30a96a5267314b0f2dcc3031.png)
![\mu(n)=0](https://i-blog.csdnimg.cn/blog_migrate/96a8fa26f2eeb82740a9bc6fbbe54e70.png%28n%29%3D0)
按照这种定义不难证明(*)式。
对于
![n=1](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png%3D1)
对于
![n\neq1](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png%5Cneq1)
![n](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png)
![n=p_1^{a_1}p_2^{a_2}\cdots p_k^{a_k}](https://i-blog.csdnimg.cn/blog_migrate/9eaa8520e30b77e5482f27e0dbcdc4b6.png%3Dp_1%5E%7Ba_1%7Dp_2%5E%7Ba_2%7D%5Ccdots+p_k%5E%7Ba_k%7D)
于是
现在来看看莫比乌斯反演说的是什么呢?
![f(n)=\sum_{d\mid n}g(d)](https://i-blog.csdnimg.cn/blog_migrate/cda1ea0ccd8c337638226093ae3cfb5f.png)
当且仅当
![g(n)=\sum_{d\mid n}\mu\left(\frac{d}{n}\right)f(d)](https://i-blog.csdnimg.cn/blog_migrate/cafbd43232556c370afe5e76e8ef807d.png)
换而言之,
证明:
反之