Smooth numbers and the norms of arithmetic Dirichlet convolutions (Q944331)

For any arithmetical function \(f\in\ell^{1}\) define \[ \| L(f)\|_p = \sup_{{\mathbf x}\neq{\mathbf 0}} {\| L({\mathbf x}, f)\|_p \over \| {\mathbf x}\|_p },\quad p\geq 1, \] where \[ \| L({\mathbf x}, f)\|_p^p = \sum_{n=1}^\infty | ({\mathbf x}\ast f)(n)| ^p\quad \text{ and}\quad \| {\mathbf x}\|_p^p = \sum_{n=1}^\infty | x_n| ^p \] with \({\mathbf x}\in\ell^p\) and \(\ast\) denoting the Dirichlet convolution. The authors show that \(\| L(f)\|_p\leq \| f\|_1\) for all \(f\in\ell^1\). The main result is that if \(f\in\ell^1\) can be written as \(f=gw\), where \(g\) is a completely multiplicative function and \(w\) is a nonnegative function, then \(\| L(f)\|_p=\| f\|_1\). It is interesting that in this case \(\| L(f)\|_p\) does not depend on \(p\). The authors also present an example of a multiplicative function \(f\) such that \(\| L(f)\|_2<\| f\|_1\).