5
$\begingroup$

I'm teaching myself Möbius inversion.

From Wikipedia it appears if $F$ and $G$ are complex-valued then

$G(x)=\sum\limits_{1 \le n \le x} F(x/n)$

implies

$F(x)=\sum\limits_{1 \le n \le x} \mu(n) G(x/n)$

I was wondering if the implication works the other way around? That is, can we replace the "implies" with "iff"? If not, are there any simple counterexamples?

  • 1
    @RobertIsrael I think the OP is referring to this: http://en.wikipedia.org/wiki/M%C3%B6bius_inversion_formula#Generalizations2012-08-13

1 Answers 1

3

Yes, it is an iff clause.

In fact, one can say something stronger:

If $\alpha(n)$ is completely multiplicative, then we have
$ G(x) = \sum_{n \leq x} \alpha(n)F\left(\frac{x}{n}\right) \iff F(x) = \sum_{n \leq x} \mu(n)\alpha(n)G\left( \frac{x}{n}\right)$

This is the strongest statement that I know, and is proven by considering convolutions and Dirichlet inverses. (For example, I think it's proven in Apostol's Intro to Analytic Number Theory)