Analytic Number Theory/Formulas for number-theoretic functions

Formulas for the Möbius μ function edit

Lemma 2.9:

 .

Proof:

For   a multiindex,   and   a vector define

 ,
 .

Let  . Then

 . 

Lemma 2.10:

 .

Proof 1:

We prove the lemma from lemma 2.14.

We have by lemma 2.14

  

Proof 2:

We prove the lemma from the product formula for Euler's totient function and lemma 2.9. Indeed, for  

 . 

Lemma 2.14:

 .

Proof 1:

We use the Möbius inversion formula.

Indeed,  , and hence  . 

Proof 2:

We use multiplicativity.

Indeed, for a prime  ,   we have

 ,

and thus due to the multiplicativity of   and     if   contains at least one prime factor. Since further   the claim follows. 

Proof 3:

We prove the lemma by direct computation. Indeed, if  , then

 . 

Proof 4:

We prove the lemma from the Binomial theorem and combinatorics.

Let  . From combinatorics we note that for  , there exist   distinct ways to pick a subset   such that  . Define   where  . Then, by the Binomial theorem

 . 

Formulas for Euler's totient function edit

Lemma 2.11 (Gauß 1801):

 .

Proof 1:

We use the Möbius inversion formula, proven below without using this lemma, and lemma 2.10.

We have   and hence   by the Möbius inversion formula. On the other hand,

 

by lemma 2.10.

Hence, we obtain  , and by cancellation of   (the arithmetic functions form an integral domain) we get the lemma. 

Proof 2:

We use the converse of the Möbius inversion formula, proven below without using this lemma, and lemma 2.10.

Since   by lemma 2.10, we obtain from the converse of the Möbius inversion formula that  . 

Proof 3:

We prove the lemma by double counting.

We first note that there are   many fractions of the form  ,  .

We now prove that there are also   many fractions of this form. Indeed, each fraction  ,   can be reduced to  , where  .   is a divisor of  , since it is obtained by dividing  . Furthermore, for each divisor   of   there exist precisely   many such fractions by definition of  . 

Proof 4:

We prove the lemma by the means of set theory.

Define  . Then  . Since   and   is the disjoint union of the sets  , we thus have

 . 

The next theorem comprises one of the most important examples for a multiplicative function.

Theorem 2.12 (Euler 1761):

Euler's totient function is multiplicative.

Proof 1:

We prove the theorem using double counting (due to Kronecker).

By definition of  , there are   sums of the form

 ,

where both summands are reduced. We claim that there is a bijection

 .

From this would follow  .

We claim that such a bijection is given by  .

Well-definedness: Let  ,   be reduced. Then

 

is also reduced, for if  , then without loss of generality  , and from   follows   or  . In both cases we obtain a contradiction, either to   or to   is reduced.

Surjectivity: Let   be reduced. Using the Euclidean algorithm, we find   such that  . Then  . Define  ,  . Then

 .

Injectivity: Let  . We show  ; the proof for   is the same.

Indeed, from   follows  , and since  ,   is invertible modulo  , which is why we may multiply this inverse on the right to obtain  . Since  , the claim follows. 

Proof 2:

We prove the theorem from the Chinese remainder theorem.

Let  . From the Chinese remainder theorem, we obtain a ring isomorphism

 ,

which induces a group isomorphism

 .

Hence,  , and from   follows the claim. 

Proof 3: We prove the theorem from lemma 2.11 and induction (due to Hensel).

Let   such that  . By lemma 2.11, we have   and   and hence

 .

Furthermore, by lemma 2.11 and the bijection from the proof of theorem 2.8,

 .

By induction on   we thus have

 . 

Proof 4: We prove the theorem from lemma 2.11 and the Möbius inversion formula.

Indeed, from lemma 2.10 and the Möbius inversion formula, we obtain

 ,

which is why   is multiplicative as the convolution of two multiplicative functions. 

Proof 5: We prove the theorem from Euler's product formula.

Indeed, if   and   and  , then   and hence

 . 

Theorem 2.15 (Möbius inversion formula):

Let   be an arithmetical function and define

 .

Then

 .

Proof:

By lemma 2.14 and associativity of convolution,

 . 

Theorem 2.16 (Product formula for Euler's totient function):

Let  , where   are pairwise different prime numbers and   (recall that every number has such a decomposition by the fundamental theorem of arithmetic. Then

 .

Proof 1:

We prove the theorem from lemma 2.10 and the fact that   is multiplicative.

Indeed, let   be a prime number and let  . Then  , since

 

by lemma 2.10. Therefore,

 ,

where the latter equation follows from

 . 

Proof 2:

We prove the identity by the means of probability theory.

Let  ,  . Choose  ,  ,  . For   define the event  . Then we have

 .

On the other hand, for each  , we have

 .

Thus, it follows that   are independent. But since events are independent if and only if their complements are, we obtain

 . 

Proof 3:

We prove the identity from the Möbius inversion formula and lemmas 2.9 and 2.10.

But by the Möbius inversion formula and since by lemma 2.10  ,

 . 

Proof 4:

We prove the identity from the inclusion–exclusion principle.

Indeed, by one of de Morgan's rules and the inclusion–exclusion principle we have for sets  

 ,

where we use the convention that the empty intersection equals the universal set  . Let now  , and define   and   for  . Since

 ,

we then have

 .

But for each  , we have

 .

It follows

 ,

and since

 ,

the theorem is proven. 

Exercises edit

Formulas for the von Mangoldt function edit

Theorem 8.? (The Selberg identity):