I will be regularly updating this post with results, along with my proofs of them, that I encounter about multiplicative functions, in particular involving the Dirichlet product.

A multiplicative function is such that for , , where . The Dirichlet product of two arithmetical functions (functions that take operate in the integer domain) is .

*Result 1*:

** Proof: **We will make extensive use of the fact that .

Since, , the left side of the equality simplifies to . Assigning , the left side finally becomes .

Now, the right side is the sum over all the divisors of that are square-free (if is not square-free then . Also since, , , the sum can be split up as:

.

Taking the lcm which is equal to , we get:

Note that the numerator contains all the same terms as the product . This further simplifies the right-hand side to:

Using the fact that , we are left with:

.

**Result 2:**** **Define , and for let be the number of distinct prime factors of . Let then prove that is either 0 or 1.

* Proof: *Since , it follows that .

Then

The other terms in the sum will become 0, because they will contain a square factor for which the möbius function will be zero.

Now if , define if else 0.

Collecting terms:

or, when .

Thus, , when .

Let’s consider the case when . This means that , where is prime. Then, .

Therefore or .

* Result 3: * for all with at most 8 distinct prime factors.

This is actually much simpler than it looks. I tried a variety of approaches finally giving up and writing to Dr. Shailesh Shirali (yes, the problem totally tormented me). He too first thought it would be challenging but the next day he came up with a proof, that I reproduce here:

The problem asks you to prove that , so let us see how small we can make . Since we want to make it as small as possible, it is in our interest to use smaller primes in place of larger primes. Using the given information, the product has at most 8 terms. Therefore, the minimum possible value of using at most 8 terms is going to be the product of over the first 8 primes.Evaluating this, we find that the product is 0.171 which exceeds .Hence the result.

Yeah, I was banging my head when I read the proof! Sometimes things can be so deceptive.

Pingback: Results about Finite-Dimensional Linear Spaces | Math In Operation