Jump to content

Analytic Number Theory/Formulas for number-theoretic functions

From Wikibooks, open books for an open world

Formulas for the Möbius μ function

[edit | edit source]

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 | edit source]

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 | edit source]

Formulas for the von Mangoldt function

[edit | edit source]

Theorem 8.? (The Selberg identity):