How do I prove this identity? \(\displaystyle{\sum_{{{n}={1}}}^{{\infty}}}{\frac{{{1}}}{{{n}^{{s}}}}}{\sum_{{{n}={1}}}^{{\infty}}}{\frac{{\mu{\left({n}\right)}}}{{{n}^{{s}}}}}={1}\)

Brooks Barker

Brooks Barker

Answered question

2022-04-18

How do I prove this identity?
n=11nsn=1μ(n)ns=1

Answer & Explanation

llevochalecoiozq

llevochalecoiozq

Beginner2022-04-19Added 15 answers

The idea needed here is Dirichlet convolution.
The convolution identity states that if
(j=1ajjs)(k=1bkks)=ell=1clls
then
k,,nakbnk=cn
where the sum ranges over all positive divisors of n
More specifically, your original identity is equivalent to the convolution identity
k,,nμ(k)=[n=1]
where the two functions being convolved are the constant function 1 and the Möbius function μ(k) ([p] here is the Iverson bracket; it evaluates to 1 if p is true, and 0 if p is false.)
For n=1, the identity is easily verified. To see what happens when n>1, take the ' factorization
n=k=1rpkmk
It is known that the summatory function of a multiplicative function is itself multiplicative; thus, letting ξ(n)=k,,nμ(k), we have ξ(qr)=ξ(q)ξ(r). We can thus restrict to the case
ξ(pm)=μ(1)+μ(p)++μ(pm)=11+0++0=0
and since ξ(n)=ξ(p1m1)ξ(p2m2)ξ(prmr) for n>1

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?