莫比乌斯变换及逆变换

Posted jpphy0

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了莫比乌斯变换及逆变换相关的知识,希望对你有一定的参考价值。

定义

数论函数 f ( n ) 、 F ( n ) f(n)、F(n) f(n)F(n),若
F ( n ) = ∑ d ∣ n f ( d ) F(n)=\\sum_{d|n}f(d) F(n)=dnf(d)
则称 F ( n ) F(n) F(n) f ( n ) f(n) f(n)的Mobius变换,称 f ( n ) f(n) f(n) F ( n ) F(n) F(n)的Mobius逆变换。

定理1

f ( n ) f(n) f(n)是给定的数论函数, F ( n ) F(n) F(n)是它的Mobius变换,且 n = p 1 α 1 ⋯ p r α r n=p_1^{\\alpha_1} \\cdots p_r^{\\alpha_r} n=p1α1prαr,那么

  1. F ( n ) = f ( 1 ) F(n)=f(1) F(n)=f(1),当 n > 1 n>1 n>1时,
    F ( n ) = ∑ e 1 = 1 α 1 ⋯ ∑ e r = 1 α r f ( p 1 e 1 ⋯ p r e r ) F(n)=\\sum_{e_1=1}^{\\alpha_1} \\cdots \\sum_{e_r=1}^{\\alpha_r}f(p_1^{e_1} \\cdots p_r^{e_r}) F(n)=e1=1α1er=1αrf(p1e1prer)
  2. f ( n ) f(n) f(n)是积性函数,则 F ( n ) F(n) F(n)也是积性函数,且当 n > 1 n>1 n>1时,
    F ( n ) = ∏ i = 1 r ( 1 + f ( p i ) + ⋯ + f ( p i α i ) ) = ∏ p α ∣ n ( 1 + f ( p ) + ⋯ + f ( p α ) ) F(n)= \\prod_{i=1}^{r}\\left(1+f(p_i)+\\cdots +f(p_i^{\\alpha_i}) \\right) = \\prod_{p^\\alpha|n}\\left(1+f(p)+\\cdots +f(p^{\\alpha}) \\right) F(n)=i=1r(1+f(pi)++f(piαi))=pαn(1+f(p)++f(pα))
  3. f ( n ) f(n) f(n)是完全积性函数,则
    F ( n ) = ∏ i = 1 r ( 1 + f ( p i ) + ⋯ + f α i ( p i ) ) = ∏ p α ∣ n ( 1 + f ( p ) + ⋯ + f α ( p ) ) F(n)= \\prod_{i=1}^{r}\\left(1+f(p_i)+\\cdots +f^{\\alpha_i}(p_i) \\right) = \\prod_{p^\\alpha|n}(1+f(p)+\\cdots +f^{\\alpha}(p)) F(n)=i=1r(1+f(pi)++fαi(pi))=pαn(1+f(p)++fα(p))

证明

  1. (略)
  2. 因为 f ( n ) f(n) f(n)是积性函数,因此 F ( n ) = ∑ e 1 = 1 α 1 ⋯ ∑ e r = 1 α r f ( p 1 e 1 ) ⋯ f ( p r e r ) = { ∑ e 1 = 1 α 1 f ( p 1 e 1 ) } ⋯ { ∑ e r = 1 α r f ( p r e r ) } = F ( p 1 α 1 ) ⋯ F ( p r α r ) F(n)=\\sum_{e_1=1}^{\\alpha_1} \\cdots \\sum_{e_r=1}^{\\alpha_r}f(p_1^{e_1}) \\cdots f(p_r^{e_r})=\\left\\{\\sum_{e_1=1}^{\\alpha_1}f(p_1^{e_1})\\right\\} \\cdots\\left\\{\\sum_{e_r=1}^{\\alpha_r}f(p_r^{e_r})\\right \\}=F(p_1^{{\\alpha}_1})\\cdots F(p_r^{{\\alpha}_r}) F(n)=e1=1α1er=1αrf(p1e1)f(prer)={e1=1α1f(p1e1)}{er以上是关于莫比乌斯变换及逆变换的主要内容,如果未能解决你的问题,请参考以下文章

    莫比乌斯繁衍1

    洛谷 - P4717 模板快速莫比乌斯/沃尔什变换 (FMT/FWT)

    51Nod1675 序列变换 数论 莫比乌斯反演

    [HAOI2015] 按位或 - Min-Max容斥,快速莫比乌斯变换

    Gym - 101982B Coprime Integers (莫比乌斯反演)

    数论函数相关的博客整理