Vaidyanathaswamy calls an arithmetic function *rational* if it is the convolution of some finite collection of functions which are either completely multiplicative or inverse to a completely multiplicative function. Since multiplicative functions are closed under convolution and (Dirichlet) inversion, rational functions are all multiplicative. But are there multiplicative functions which are not rational? I expect so, but I haven't developed good intuition for convolutions.



Are there multiplicative functions which are not rational?
Not all multiplicative functions are rational. For simplicity take arithmetic functions with complex values. It is easy to show that $f$ is rational of order $(m,n)$ (meaning the Dirichlet product of $m$ completely multiplicative and and $n$ inverse completely multiplicative functions) if and only if for every prime $q$ there exist $c\_1(q), \ldots, c\_m(q) \in \mathbb{C}$ such that $$f(q^k) = \sum\_{i = 1}^m c\_i(q) f(q^{k-i}) \mbox{ for all } k > n,$$ where we put $f(q^j) = 0$ if $j < 0$. (See Proposition 10.3 of my paper "Ring structures on groups of arithmetic functions" in Journal of Number Theory, which generalizes it to any ring.) This means that the $f(q^k)$ for fixed $q$ have to satisfy a linear recurrence relation. All you need to do is for some prime $q$ choose any sequence $a\_{1}, a\_{2}, \ldots$ of complex numbers that does not satisfy any such recurrence relation and define $f(q^n) = a\_{n}$ for all $n$, then define $f(p^n)$ however you like for $p \neq q$, and extend $f$ by multiplicativity. Moreover, any multiplicative arithmetic function that is not rational can be constructed in this way.


Alternatively, if you want to avail yourself of exponentiation of multiplicative arithmetic functions, note that if $f$ is multiplicative, then $f^\alpha$ (exponentiation in the sense of Dirchlet convolution) is defined and multiplicative for any complex number $\alpha$, but if $f$ is rational and not the identity $\epsilon$ under convolution, then $f^\alpha$ is rational implies that $\alpha \in \mathbb{Q}$, so $f^\alpha$ is multiplicative but not rational for all $\alpha \in \mathbb{C}-\mathbb{Q}$. See Proposition 9.1 of the same paper (which generalizes the result to integral domains $R$, using exponents in the universal binomial ring over $R$.)


