No label defined (Q4234473)

Let \(G\) be an additive arithmetic semigroup with identity element and generated by a countable set \(P\) of generators with a completely additive degree function \(\delta:G\rightarrow\mathbb{N}\cup\{0\}\) such that there exist constants \(A>0\), \(q>1\), and \(0\leq \nu<1\) with \(\#\{a\in G:\delta(a)=n\}=Aq^n+O(q^{\nu n})\). Let \(A(G,r)\) be the class of additive functions \(f:G\to\mathbb{Z}\) such that \[ \sum_{\substack{ p\in P\\ \delta(p)=k, f(p)=l}} 1=\#\{p\in P:\delta(p)=k\}(\lambda_l+\rho_l(k)), \quad l\in\mathbb{Z},\;k\geq 1, \] where \(\lambda_k\in \langle 0,1\rangle\) are constants, and the remainder terms \(\rho_l=C_l(k)r^{-1}(k)\) satisfy the condition \(\sum_l |C_l(k)|<\infty\) uniformly in \(k\geq 1\) and \(r(k)\rightarrow\infty\) as \(k\rightarrow\infty\). If \(f\in A(G,r)\) with \(r(k)=k^\alpha\) and \(\alpha>0\), and there exists a constant \(c>0\) such that the series \[ \sum_l e^{c|l|}\lambda_l, \quad \sum_{p,j\geq 2} q^{-j\delta(p)}e^{c|f(p^j)|}, \quad \sum_l e^{c|l|}|C_l(k)| \] converge (the last one uniformly in \(k\geq 1\)) then the author proves an asymptotic formula for \[ \nu_n(m)=A^{-1}q^{-n}\#\{a\in G;\delta(a)=n,f(a)=m\} \] which is nontrivial in a larger region as previously known. The proof rests on the saddle point method. For the entire collection see [Zbl 0896.00021].