Namespaces
Variants
Actions

Dirichlet convolution

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 11A25 [MSN][ZBL]

The Dirichlet convolution of two arithmetic functions $f(n)$ and $g(n)$ is defined as $$ (f*g)(n) = \sum_{d|n} f(d) g(n/d) \ , $$ where the sum is over the positive divisors $d$ of $n$. General background material on the Dirichlet convolution can be found in, e.g., [a1], [a6], [a8].

Sums of the form $\sum_{d|n} f(d) g(n/d)$ played an important role from the very beginning of the theory of arithmetical functions. Many results from early times involved these sums. For example, in 1857 J. Liouville published a long list of arithmetical identities of this type (see [a5]). It is fruitful to treat the sums $\sum_{d|n} f(d) g(n/d)$ as giving a binary operation on the set of arithmetical functions (cf. also Binary relation). This aspect was introduced by E.T. Bell [a2] and M. Cipolla [a3] in 1915.

The set of arithmetical functions forms a commutative ring with unity under the usual pointwise addition and the Dirichlet convolution. An arithmetical function $f$ possesses a Dirichlet inverse if and only if $f(1) \neq 0$. For example, the Dirichlet inverse of the constant function 1 is the Möbius function $\mu$. The Möbius inversion formula states that $$ f(n) = \sum_{d|n} g(d) \Leftrightarrow g(n) = \sum_{d|n} \mu(d) f(n/d) \ . $$

The relation of the Dirichlet convolution with Dirichlet series is also important.

There are many analogues and generalizations of the Dirichlet convolution; for example, E. Cohen [a4] defined the unitary convolution as $$ (f \otimes g)(n) = \sum_{d \Vert n} f(d) g(n/d) \ , $$ where the sum is over the unitary divisors of $n$: the positive divisors $d$ of $n$ such that $\mathrm{hcf}(d,n/d) = 1$, see also [a10]. W. Narkiewicz [a7] developed a more general convolution: $$ (f *_A g)(n) = \sum_{d \in A(n)} f(d) g(n/d) \ , $$ where, for each $n$, $A(n)$ is a subset of the set of the positive divisors of $n$. See [a9] for a survey of various binary operations on the set of arithmetical functions.

References

[a1] T.M. Apostol, "Introduction to analytic number theory" , Springer (1976) Zbl 0335.10001
[a2] E.T. Bell, "An arithmetical theory of certain numerical functions" Univ. Wash. Publ. Math. Phys. Sci. , I : 1 (1915)
[a3] M. Cipolla, "Sui principi del calculo arithmetico integrale" Atti Accad. Gioenia Cantonia , 5 : 8 (1915)
[a4] E. Cohen, "Arithmetical functions associated with the unitary divisors of an integer" Math. Z. , 74 (1960) pp. 66–80
[a5] L.E. Dickson, "History of the theory of numbers" , I , Chelsea, reprint (1952)
[a6] P.J. McCarthy, "Introduction to arithmetical functions" , Springer (1986)
[a7] W. Narkiewicz, "On a class of arithmetical convolutions" Colloq. Math. , 10 (1963) pp. 81–94
[a8] R. Sivaramakrishnan, "Classical theory of arithmetic functions" , Monographs and Textbooks in Pure and Applied Math. , 126 , M. Dekker (1989)
[a9] M.V. Subbarao, "On some arithmetic convolutions" , The Theory of Arithmetic Functions , Lecture Notes in Mathematics , 251 , Springer (1972) pp. 247–271
[a10] R. Vaidyanathaswamy, "The theory of multiplicative arithmetic functions" Trans. Amer. Math. Soc. , 33 (1931) pp. 579–662
How to Cite This Entry:
Dirichlet convolution. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_convolution&oldid=52962
This article was adapted from an original article by Pentti Haukkanen (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article