An arithmetical function is just a function defined on positive integers. or some other domain.
Strictly Multiplicative Functions
Take .
- means that it is strictly multiplicative.
A simple example is .
Recall Legendre symbol from before, is strictly multiplicative.
Another strictly multiplicative function example is the Liouville function where is the number of prime factors. For example, so .
Notice that and therefore .
Multiplicative Functions
These are functions where when (they are coprime).
number of divisors
An example: which is just the number of divisors of . In this case, may be a bit laborious to compute by hand, but we can be more clever. Look at the factors of . So, its divisors can be of the form where . This gives us possibilities, which is our answer.
In general, given then . If two numbers are coprime, then .
sum of divisors
Another example is which is the sum of divisors. What is ? Again we can look at the factors and we take the sum as .
In general, given then and notice that these are geometric series, so . If for two primes then .
Euler's Phi Function
Euler's function is also a well-known multiplicative function. is the number of numbers and are coprime to . Turns out that if .
Ramanujan Tau Function
Take . Turns out that this is equal to: .
Ramanujan noticed that when .
Moebius Function
Let to be:
Turns out when . Well that is a pretty funny function right? Check this out: recall the Zeta function
If you look at its inverse:
Perfect Numbers
A perfect number is one that is equal to the sum of all its proper divisors. So any number where holds. Euclid gave a way to find perfect numbers in his Elements book. If you take where is a prime, this number is perfect. (easy to prove)
Euler found that even perfect numbers can only be in this form. Suppose where are odd primes. It has divisors:
Now suppose you take the sum . When you multiply these you have . Well, this is equal to
We have only taken a part of the sum of divisors, and we already have which was the condition to be a perfect number, so the remaining terms have the inequality:
On the other hand, notice that is an odd number within the whole sum, but our number is even (). So, there must be a smallest prime factor that divides (so that the result is not odd). This means that . This implies that
We have and at the same time, so that means this is in fact equal to 1.
Therefore, we see that we can't really have any other divisors other than , and . So, even perfect numbers must be of form: . This gives us even perfect numbers, but are there infinitely many even perfect numbers? We don't know yet, but probably yes.
Odd Perfect Numbers
Are there any odd perfect numbers? Well, nobody knows. This is quite an old problem, discussed around 2000 years ago! You could put some nice restrictions on it though. Suppose:
and . Looking at :
Notice that if is odd, the sum is even. Since the product should be , only one of these sums may be even, i.e. only one exponent can be odd. So, the other exponents are even numbers. This implies that is a prime times a square as in:
Landau's Hard Problems about Primes
- Are all even numbers sum of two primes, ? (Goldbach)
- Can we find infinitely many primes such that ? (Twin Primes)
- Can we always find a prime for any such that ?
- Can we find infinitely many primes of the form ?
We don't know the answer to these, we don't even have an idea on how to approach them. However, we believe the answer is yes.