I've been reading about Shintani zeta functions and in particular with respect to finding the density of cubic discriminants as in the theorem of Davenport-Heilbronn. In Shintani's paper "On zeta-functions associated with the vector space of quadratic forms" [Tokyo Univ. J. Fac. Sci Sect. 1A Math 1975], in the proof of Theorem 4, Shintani writes



> 
> Hence, we have *(by earlier results in this paper and in a previous paper)*: $$\sum\_{nk^4 \leq x} h\_r(n) = 2^{-1}\zeta(2)\zeta(4)x + O(x^{2/3 + \epsilon}) \qquad (x \to +\infty, \forall \epsilon > 0)$$ An application of the Mobius inversion formula now yields that  
> 
>  $$ \sum\_{n \leq x} h\_r(n) = 2^{-1}\zeta(2)x + O(x^{2/3 + \epsilon})$$
> 
> 
> 


When I think of [Mobius Inversion](http://en.wikipedia.org/wiki/M%C3%B6bius_inversion_formula), I think of two things: $$ \begin{align\*} g(n) &= \sum\_{d \mid n} f(n/d) \iff f(n) = \sum\_{d \mid n} \mu(n)g(n/d) \quad \text{or}\\\\ g(x) &= \sum\_{n \leq x}f(n/x) \iff f(x) = \sum\_{n \leq x} \mu(n)g(n/x) \end{align\*}$$


But I don't see how I can use these here. Unfortunately, I also know that there are many things that might be called Mobius Inversion. This is one of those steps that taunts me. Qualitatively, we remove the fourth-power condition and end up losing a factor of $\zeta(4)$, and that feels very reasonable.


Further, in playing with it for a while, I re-stumbled upon the fact that $\displaystyle \dfrac{1}{\zeta(s)} = \sum\_n \dfrac{\mu(n)}{n^s}$ (easy, but which I did not originally remember) and thus that $\displaystyle \dfrac{1}{\zeta(4)} = \sum \dfrac{\mu(n)}{n^4}$.


To make my question explicit - how can we arrive at the second equation from the first?



An application of Mobius Inversion in a paper of Shintani
Let $g(n)$ denote the indicator function for the fourth powers. Then your sum equals 


$$\sum\_{n\leq x}\left(h\_{r}\*g\right)(n),$$


where $\*$ denotes Dirichlet convolution. We may rewrite the given asymptotic as 


$$\sum\_{k\leq x}g(k)\sum\_{n\leq\frac{x}{k}}h\_{r}(n)=2^{-1}\zeta(2)\zeta(4)x+O\left(x^{2/3+\epsilon}\right),$$


noticing that this is of the form


$$G(x)=\sum\_{n\leq x}\alpha(n)F\left(\frac{x}{n}\right).$$


Mobius inversion tells us that 


$$F(x)=\sum\_{n\leq x}\alpha^{-1}(n)G\left(\frac{x}{n}\right),$$ 


where $\alpha^{-1}$ is the multiplicative inverse of $\alpha$ with respect to Dirichlet convolution. Applying Mobius inversion to our sum, we have that 


$$\sum\_{n\leq x}h\_{r}(n)=\sum\_{j^{4}\leq x}\mu(j)\sum\_{n\leq\frac{x}{j^{4}}}\left(h\_{r}\*g\right)(n)$$


which equals 


$$2^{-1}\zeta(2)\zeta(4)x\sum\_{j^{4}\leq x}\frac{\mu(j)}{j^{4}}+O\left(x^{2/3+\epsilon}\left(\sum\_{j^{4}\leq x}\frac{1}{j^{4}}\right)\right)$$ 


$$=2^{-1}\zeta(2)x+O\left(x^{2/3+\epsilon}\right).$$ 


Notice that the Dirichlet inverse to the function $g(n)$, the indicator function for the fourth powers, is in some sense the mobius function on fourth powers.


