# Dirichlet Convolution

## Combining Arithmetic Functions

Arithmetic functions can be added and multiplied pointwise, but number theory has another product that is better adapted to divisibility.

Let $f$ and $g$ be arithmetic functions. Their Dirichlet convolution is the arithmetic function $f*g$ defined by

$$
(f*g)(n)=\sum_{d\mid n} f(d)g\left(\frac nd\right).
$$

The sum runs over all positive divisors $d$ of $n$.

This operation combines the values of $f$ and $g$ over the divisor structure of $n$.

## First Examples

Let $\mathbf{1}$ denote the constant arithmetic function

$$
\mathbf{1}(n)=1.
$$

Then

$$
(\mathbf{1}*\mathbf{1})(n) =
\sum_{d\mid n}1 =
\tau(n).
$$

Thus the divisor-counting function satisfies

$$
\tau=\mathbf{1}*\mathbf{1}.
$$

Let $\operatorname{id}(n)=n$. Then

$$
(\operatorname{id}*\mathbf{1})(n) =
\sum_{d\mid n} d =
\sigma(n).
$$

So

$$
\sigma=\operatorname{id}*\mathbf{1}.
$$

These identities show that divisor functions naturally arise from convolution.

## The Identity Function for Convolution

There is a special arithmetic function $\varepsilon$ defined by

$$
\varepsilon(n)=
\begin{cases}
1, & n=1,\\
0, & n>1.
\end{cases}
$$

It is the identity element for Dirichlet convolution.

Indeed,

$$
(f*\varepsilon)(n) =
\sum_{d\mid n} f(d)\varepsilon\left(\frac nd\right).
$$

The term $\varepsilon(n/d)$ is nonzero only when

$$
\frac nd=1,
$$

that is, when

$$
d=n.
$$

Therefore

$$
(f*\varepsilon)(n)=f(n).
$$

Similarly,

$$
\varepsilon*f=f.
$$

## Commutativity and Associativity

Dirichlet convolution is commutative:

$$
f*g=g*f.
$$

This follows by replacing the divisor $d$ with the complementary divisor $n/d$.

It is also associative:

$$
(f*g)*h=f*(g*h).
$$

Associativity follows by rewriting both sides as a sum over factorizations

$$
abc=n.
$$

Together with addition of arithmetic functions, Dirichlet convolution gives arithmetic functions a ring structure.

## Multiplicativity

If $f$ and $g$ are multiplicative, then their Dirichlet convolution $f*g$ is also multiplicative.

The reason is that when

$$
\gcd(a,b)=1,
$$

every divisor of $ab$ decomposes uniquely as

$$
d=d_1d_2,
$$

where

$$
d_1\mid a
$$

and

$$
d_2\mid b.
$$

This divisor splitting allows the convolution sum over $ab$ to factor into a product of convolution sums over $a$ and $b$.

Thus convolution is compatible with prime factorization.

## Möbius Function as an Inverse

The Möbius function satisfies

$$
\mu*\mathbf{1}=\varepsilon.
$$

Indeed,

$$
(\mu*\mathbf{1})(n) =
\sum_{d\mid n}\mu(d).
$$

As shown earlier,

$$
\sum_{d\mid n}\mu(d) =
\begin{cases}
1, & n=1,\\
0, & n>1.
\end{cases}
$$

Therefore

$$
\mu*\mathbf{1}=\varepsilon.
$$

So $\mu$ is the Dirichlet inverse of the constant function $\mathbf{1}$.

This identity is the algebraic heart of Möbius inversion.

## Euler Totient via Convolution

Euler's totient function satisfies

$$
\varphi*\mathbf{1}=\operatorname{id}.
$$

Equivalently,

$$
\sum_{d\mid n}\varphi(d)=n.
$$

Using the convolution inverse of $\mathbf{1}$, we can solve for $\varphi$:

$$
\varphi=\operatorname{id}*\mu.
$$

Thus

$$
\varphi(n)=\sum_{d\mid n} \mu(d)\frac nd.
$$

This formula is another way to derive

$$
\varphi(n)=n\prod_{p\mid n}\left(1-\frac1p\right).
$$

## Dirichlet Series

Dirichlet convolution corresponds to multiplication of Dirichlet series.

If

$$
F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}
$$

and

$$
G(s)=\sum_{n=1}^{\infty}\frac{g(n)}{n^s},
$$

then, under suitable convergence conditions,

$$
F(s)G(s) =
\sum_{n=1}^{\infty}\frac{(f*g)(n)}{n^s}.
$$

This is the divisor-sum analogue of multiplying ordinary power series.

For example,

$$
\zeta(s)^2 =
\sum_{n=1}^{\infty}\frac{\tau(n)}{n^s}.
$$

The coefficient $\tau(n)$ counts the number of ways to write $n$ as a product of two positive integers.

## Invertible Arithmetic Functions

An arithmetic function $f$ has a Dirichlet inverse if there exists a function $g$ such that

$$
f*g=\varepsilon.
$$

Such an inverse exists exactly when

$$
f(1)\ne0.
$$

The inverse can be computed recursively. From

$$
(f*g)(1)=f(1)g(1)=1,
$$

we get

$$
g(1)=\frac1{f(1)}.
$$

For $n>1$, the equation

$$
\sum_{d\mid n}f(d)g\left(\frac nd\right)=0
$$

determines $g(n)$ from earlier values.

## Role in Number Theory

Dirichlet convolution is the natural multiplication law for arithmetic functions because it follows the divisor structure of integers.

It explains why divisor sums, Möbius inversion, Euler products, and Dirichlet series fit together. It also provides a compact algebraic language for many identities.

In this language, several central formulas become simple:

$$
\tau=\mathbf{1}*\mathbf{1},
$$

$$
\sigma=\operatorname{id}*\mathbf{1},
$$

$$
\mu*\mathbf{1}=\varepsilon,
$$

$$
\varphi=\operatorname{id}*\mu.
$$

These identities show how arithmetic functions are built from prime factorization and divisor summation.