* Help shape the future of Wikipedia. Please participate in our survey of readers and contributors!* (More information)

# Multiplicative function

### From Wikipedia, the free encyclopedia

*Outside number theory, the term***multiplicative function**is usually used for completely multiplicative functions. This article discusses number theoretic multiplicative functions.

In number theory, a **multiplicative function** is an arithmetic function *f*(*n*) of the positive integer *n* with the property that *f*(1) = 1 and whenever *a* and *b* are coprime, then

*f*(*ab*) =*f*(*a*)*f*(*b*).

An arithmetic function *f*(*n*) is said to be **completely multiplicative** (or **totally multiplicative**) if *f*(1) = 1 and *f*(*ab*) = *f*(*a*) *f*(*b*) holds *for all* positive integers *a* and *b*, even when they are not coprime.

## Contents[hide] |

## [edit] Examples

Examples of multiplicative functions include many functions of importance in number theory, such as:

- φ(
*n*): Euler's totient function φ, counting the positive integers coprime to (but not bigger than)*n* - μ(
*n*): the Möbius function, related to the number of prime factors of square-free numbers - gcd(
*n*,*k*): the greatest common divisor of*n*and*k*, where*k*is a fixed integer. *d*(*n*): the number of positive divisors of*n*,- σ(
*n*): the sum of all the positive divisors of*n*, - σ
_{k}(*n*): the divisor function, which is the sum of the*k*-th powers of all the positive divisors of*n*(where*k*may be any complex number). In special cases we have- σ
_{0}(*n*) =*d*(*n*) and - σ
_{1}(*n*) = σ(*n*),

- σ
*a*(*n*): the number of non-isomorphic abelian groups of order n.- 1(
*n*): the constant function, defined by 1(*n*) = 1 (completely multiplicative) - 1
_{C}(*n*) the indicator function of the set*C*of squares (or cubes, or fourth powers, etc.) - Id(
*n*): identity function, defined by Id(*n*) =*n*(completely multiplicative) - Id
_{k}(*n*): the power functions, defined by Id_{k}(*n*) =*n*^{k}for any natural (or even complex) number*k*(completely multiplicative). As special cases we have- Id
_{0}(*n*) = 1(*n*) and - Id
_{1}(*n*) = Id(*n*),

- Id
- ε(
*n*): the function defined by ε(*n*) = 1 if*n*= 1 and = 0 if*n*> 1, sometimes called*multiplication unit for Dirichlet convolution*or simply the*unit function*; sometimes written as*u*(*n*), not to be confused with μ(*n*) (completely multiplicative). - (
*n*/*p*), the Legendre symbol, where*p*is a fixed prime number (completely multiplicative). - λ(
*n*): the Liouville function, related to the number of prime factors dividing*n*(completely multiplicative). - γ(
*n*), defined by γ(*n*)=(-1)^{ω(n)}, where the additive function ω(*n*) is the number of distinct primes dividing*n*. - All Dirichlet characters are completely multiplicative functions.

An example of a non-multiplicative function is the arithmetic function *r*_{2}(*n*) - the number of representations of *n* as a sum of squares of two integers, positive, negative, or zero, where in counting the number of ways, reversal of order is allowed. For example:

- 1 = 1
^{2}+ 0^{2}= (-1)^{2}+ 0^{2}= 0^{2}+ 1^{2}= 0^{2}+ (-1)^{2}

and therefore *r*_{2}(1) = 4 ≠ 1. This shows that the function is not multiplicative. However, *r*_{2}(*n*)/4 is multiplicative.

In the On-Line Encyclopedia of Integer Sequences, sequences of values of a multiplicative function have the keyword "mult".

See arithmetic function for some other examples of non-multiplicative functions.

## [edit] Properties

A multiplicative function is completely determined by its values at the powers of prime numbers, a consequence of the fundamental theorem of arithmetic. Thus, if *n* is a product of powers of distinct primes, say *n* = *p*^{a} *q*^{b} ..., then *f*(*n*) = *f*(*p*^{a}) *f*(*q*^{b}) ...

This property of multiplicative functions significantly reduces the need for computation, as in the following examples for *n* = 144 = 2^{4} · 3^{2}:

- d(144) = σ
_{0}(144) = σ_{0}(2^{4})σ_{0}(3^{2}) = (1^{0}+ 2^{0}+ 4^{0}+ 8^{0}+ 16^{0})(1^{0}+ 3^{0}+ 9^{0}) = 5 · 3 = 15, - σ(144) = σ
_{1}(144) = σ_{1}(2^{4})σ_{1}(3^{2}) = (1^{1}+ 2^{1}+ 4^{1}+ 8^{1}+ 16^{1})(1^{1}+ 3^{1}+ 9^{1}) = 31 · 13 = 403, - σ
^{*}(144) = σ^{*}(2^{4})σ^{*}(3^{2}) = (1^{1}+ 16^{1})(1^{1}+ 9^{1}) = 17 · 10 = 170.

Similarly, we have:

- φ(144)=φ(2
^{4})φ(3^{2}) = 8 · 6 = 48

In general, if *f*(*n*) is a multiplicative function and *a*, *b* are any two positive integers, then

Every completely multiplicative function is a homomorphism of monoids and is completely determined by its restriction to the prime numbers.

## [edit] Convolution

If *f* and *g* are two multiplicative functions, one defines a new multiplicative function *f* * *g*, the *Dirichlet convolution* of *f* and *g*, by

where the sum extends over all positive divisors *d* of *n*. With this operation, the set of all multiplicative functions turns into an abelian group; the identity element is ε.

Relations among the multiplicative functions discussed above include:

- μ * 1 = ε (the Möbius inversion formula)
- (μ Id
_{k}) * Id_{k}= ε (generalized Möbius inversion) - φ * 1 = Id
*d*= 1 * 1- σ = Id * 1 = φ *
*d* - σ
_{k}= Id_{k}* 1 - Id = φ * 1 = σ * μ
- Id
_{k}= σ_{k}* μ

The Dirichlet convolution can be defined for general arithmetic functions, and yields a ring structure, the Dirichlet ring.

### [edit] The Dirichlet convolution of two multiplicative functions is multiplicative

This follows by direct evaluation of

making repeated use of the fact that (*m*,*n*) = 1 and (*d*_{1},*d*_{2}) = 1 if *d*_{1} | *m* and *d*_{2} | *n*, as in

Now using the fact that *f* and *g* are multiplicative this becomes

## [edit] Proving convolution identities

There is a very useful theorem for proving convolution identities, which says that if *f*, *g* and *h* are multiplicative, and one wants to prove that

then it suffices to prove it for powers of primes. The proof of this follows easily from the fact that both sides of the above equation are multiplicative.

The corresponding Dirichlet series

obey the relation

This means that convolution identities may be used to find closed forms of Dirichlet series corresponding to multiplicative functions. These closed forms may in turn be used to study the average order of multiplicative functions through the use of Perron's formula.

We may now prove some convolution identities of multiplicative functions by verifying that they hold for powers of primes.

### [edit] First example: Moebius inversion

We have

This certainly holds for powers of primes, where the left evaluates to

This proves the Moebius inversion formula, through

In terms of Dirichlet series,

The Riemann Zeta function ζ(*s*) will appear in all convolutions presented here.

### [edit] Second example: the classic totient identity

We show that

The left is

In terms of Dirichlet series,

### [edit] Third example: the square of the divisor function

We show that

where 1_{C} is the indicator function of the set of naturals that are squares.

The right is

The left is

Now there are two cases, depending on whether *v* is even or odd. Let *v* = 2*q* where . This gives

Next let *v* = 2*q* + 1 where . This in turn gives

In terms of Dirichlet series,

### [edit] Fourth example: an exotic identity

Here we show that

The left is

Once more there are two cases. Let *v* = 2*q* where . We obtain

Furthermore, when *v* = 2*q* + 1 where we find

In terms of Dirichlet series,

## [edit] See also

## [edit] References

- See chapter 2 of Apostol, Tom M. (1976),
*Introduction to analytic number theory*, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, MR0434929, ISBN 978-0-387-90163-3