On some classes of arithmetical functions on a semigroup \(G_ K\) (Q1093677)

Let \(G_ K\) denote the multiplicative semigroup of all non-zero integral ideals in a given algebraic number field K. The author's main theorem provides an asymptotic formula of the type \[ \sum_{I\in G_ K,\quad N(I)\leq x}h(I,z)=\sum^{q}_{j=0}x A_ j(z)(\log x)^{z-j-1} + O_ K(x (\log x)^{Re(z)-q-2})\quad, \] uniformly with respect to \(| z| \leq 1\) as \(x\to \infty\), for certain functions \(h: G_ K\times D\to {\mathbb{C}}\), where \(D=\{z\in {\mathbb{C}}:| z| \leq 1\}\). The class \({\mathfrak H}\) of these functions h is defined by conditions of the type \[ (i)\quad \sum_{x<N(I)\leq y}| h(I,z)| \leq R (y-x)\quad +\quad O_ K(y^{\beta}) \] for a constant \(R=R(K)>0\) and some \(0\leq \beta \leq 1\), and \[ (ii)\quad \sum_{I\in G_ K}h(I,z) N(I)^{-s} = g(s,z) \zeta^ z_ K(s)\quad [Re(s)>1,\quad z\in D] \] for a suitable type of function g(s,z). Further details would be rather lengthy to include here, but various other conditions are also derived for functions \(h: G_ K\times D\to {\mathbb{C}}\) to lie in the class \({\mathfrak H}\) under consideration.