莫比乌斯反演的两种形式及其证明

最新推荐文章于 2022-04-15 10:14:32 发布

alpc_qleonardo

最新推荐文章于 2022-04-15 10:14:32 发布

阅读量1.8k

点赞数 2

分类专栏： --------------总结------------- --------------数学------------- 数论欧拉/莫比乌斯文章标签：莫比乌斯反演证明

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/u013534123/article/details/81260330

版权

--------------数学------------- 同时被 3 个专栏收录

131 篇文章 1 订阅

订阅专栏

33 篇文章 0 订阅

订阅专栏

--------------总结-------------

24 篇文章 0 订阅

订阅专栏

莫比乌斯反演形式一：

$\large F(n)=\sum_{d|n}f(d)=>f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})$

证明：

把 $\large F(\frac{n}{d})$ 代入右边的式子，得：

$\large f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})=\sum_{d|n}\mu(d)\sum_{k|\frac{n}{d}}f(k)=\sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)$

根据莫比乌斯函数的性质，有定理：

$\large \sum_{d|n}\mu(d)=\begin{cases}1&n==1\\0&n>1\end{cases}$

因此，只有当 $\large \frac{n}{k}==1$ 时，即n==k时， $\large \sum_{d|\frac{n}{k}}\mu(d)=1$ ，其余时为0。

故

$\large \sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)=f(n)$

形式一得证。

莫比乌斯反演形式二：

$\large F(n)=\sum_{n|d}f(d)=>f(n)=\sum_{n|d}\mu(\frac{d}{n})F(d)$

证明：

还是一样，把 $\large F(d)$ 代入右边的式子，令 $\large k=\frac{d}{n}$ 得：

$\large f(n)=\sum^{+\infty}_{k=1}\mu(k)F(nk)=\sum^{+\infty}_{k=1}\mu(k)\sum_{nk|t}f(t)=\sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)$

同理，当且仅当 $\large \frac{t}{n}=1$ 时，也即t==n时， $\large \sum_{k|\frac{t}{n}}\mu(k)=1$ ，其余时为0，

最终有

$\large \sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)=f(n)$

形式二得证。

证明完毕。

关注

2
点赞
踩
7

收藏

觉得还不错? 一键收藏
0
评论
莫比乌斯反演的两种形式及其证明

莫比乌斯反演形式一：证明：把代入右边的式子，得：根据莫比乌斯函数的性质，有定理：因此，只有...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。