No label defined (Q4252243)

In 1996, the author [Liet. Mat. Rink. 36, 501-511 (1996; Zbl 0899.11040)] proved a Halász-type mean-value theorem on complex-valued ``multiplicative'' functions defined on the permutation group \({\mathcal S}^n \). Now, the author gives an improved, generalised version of his mean-value theorem by using (and proving) the following Tauberian theorem: Let \( \displaystyle F(z) = \sum^\infty_0 m_n \cdot z^n \) be holomorphic in \( | z| < 1 \), and \[ F(z) = H(z) \cdot \exp \left\{ \sum^\infty_{j=1} {a_j \over j} \cdot z^j \right\}, \] where \( H(z) \) is holomorphic in \( | z| \leq 1 \). Assume that (i) for \( 0 \leq r < 1 \), with some positive constants \( \delta \) and \( C \), \[ \sum^\infty_{j=1} | a_j| ^{1 + \delta} \cdot r^j \leq {C \over 1-r}, \] (ii) uniformly in \( z \), for \( | z| \to 1- \), \[ \exp \left\{ \sum^\infty_{j=1} {a_j \over j} \cdot z^j \right\} = {A \over (z-1)^\tau} \cdot L \left( {1 \over 1-r} \right) + o \left( {1 \over (1-r)^\tau} \right), \] with some \( A \in {\mathbb C}, \tau > 0 \) and a bounded, slowly oscillating function \( L \). Then, for \( n \to \infty \), \[ m_n = {A \over \Gamma(\tau)} \cdot H(1) \cdot n^{\tau-1} \cdot L(n) + o(n^{\tau-1}), \] if \( \displaystyle\tau > {1 \over 1 + \min (1, \delta)}. \) The conditions \( \delta > 0 \) and \( \tau > (1+\min(1, \delta))^{-1} \) cannot be removed, as the author shows by a counterexample. For the entire collection see [Zbl 0911.00018].