No label defined (Q4429288)

The paper starts from two notions of the classic theory of special arithmetic functions: \textit{S. S. Pillai}'s function [J. Annamalai Univ. 2, 243-248 (1933; Zbl 0008.19603)] \[ P(n) = \sum _{j=1}^n\;\text{gcd }(j,n) \] and \textit{W. Narkiewicz}'s concept of ``regular convolution'' of two arithmetic functions \(f, g\) [Colloq. Math. 10, 81-94 (1963; Zbl 0114.26502)] \[ (f*_A g)(n) = \sum _{d\in A(n)} f(d) g\left ({n\over d}\right) \] where \(A(n)\) is a certain set of divisors of \(n\) subject to certain ``regularity'' conditions. The author considers the following generalization: For \(F=\{f_1, \dots ,f_u\}\) a set of polynomials in \({\mathbb Z}[X]\), \(g\) an arbitrary arithmetic function, \(k\geq 1\) an integer, he defines \[ P_{F,A,k,g}^{(u)}(n) = \sum_{\underset {j=1,\dots ,u} {n_j \mod n^k}} g\left ((\text{gcd} (f_1(n_1),\dots ,f_u(n_u)), n^k)_{A,k}\right) \] with \((a,b)_{A,k}\) denoting the largest \(k\)-th power divisor of \(a\) which belongs to \(A(b)\) (\(A(\cdot)\) as above according to Narkiewicz). Special cases of this universal concept have been investigated by \textit{J. Chidambaraswamy} and \textit{R. Sitaramachandrarao} [Monatsh. Math. 99, 19-27 (1985; Zbl 0551.10035)], \textit{K. Alladi} [Matscience Report 83, Madras (1975; Zbl 0361.10001)], and \textit{H.-G. Kopetzky} [Monatsh. Math. 84, 213-217 (1977; Zbl 0551.10034)]. The present author investigates a much larger class of (special) functions \(f_j\) and \(g\). He obtains identities for \(P_{F,A,k,g}^{(u)}(n)\) itself (Theorems 1-3) and asymptotic formulas for the Dirichlet summatory function \(\sum _{n\leq x} P_{F,A,k,g}^{(u)}(n)\) (Theorems 4-6).