Mean-value theorems for multiplicative functions on additive arithmetic semigroups via Halász's method
type: Item
instance of: scholarly article
title: Mean-value theorems for multiplicative functions on additive arithmetic semigroups via Halász's method
zbMATH Open document ID: 1041.11064
author: Wenbin Zhang
published in: Monatshefte für Mathematik
publication date: 2003-08-20T00:00:00Z
review text: The author is interested in mean-value theorems for multiplicative functions \(f: {\mathcal G}\to {\mathbb C}\), defined on an additive arithmetical semigroup \(({\mathcal G},\partial)\) with an (additive) degree map \(\partial:{\mathcal G}\to {\mathbb N}\cup \{0\}\). \(G(n)\) denotes the number of elements \(a\) in \(\mathcal G\) of degree \(\partial(a)=n\). Primes in \(\mathcal G\) are denoted by the letter \(p\). The author assumes that, with real constants \(A_\rho\), \(A_r>0\), \(\rho_1<\rho_2<\dots<\rho_r\), the asymptotic formula \[ G(n) = q^n \cdot \sum_{\nu=1}^r A_\nu n^{\rho_\nu -1} + {\mathcal O}\left(q^n n^{-\gamma}\right) \] holds (for \(n\to\infty\)), where \(\gamma > 1+ \rho_r\). Using \textit{G. Halász}'s method [Acta Math. Acad. Sci. Hung. 19, 365--403 (1968; Zbl 0165.05804)], the author proves the following main result (Theorem 1): Assume that (with positive constants \(\delta\) and \(c_1\)) \[ \sum_p | f(p) |^{1+\delta}\partial(p) r^{\partial(p)} \leq {c_1 \over {1-qr}} \;\hbox{ for } 0\leq r < {1\over q}, \] that \[ \sum_p \sum_{k \geq 2} | f(p^k)| q^{-k\partial(p)} \, \hbox{ is convergent}, \] and that, for all primes \(p \in {\mathcal G}\) and all reals \(\theta\), \[ 1 + \sum_{k\geq 1} f(p^k) q^{-k\partial(p) \cdot (1+i\theta)} \not=0. \] Then (with some slowly oscillating function \(L\) satisfying \(| L| = 1\), and with positive constants \(\alpha,\tau\)) the asymptotic formula \[ \sum_{a\in {\mathcal G}} f(a) y^{\partial(a)} \left[ = \prod_p \left( 1+\sum_{k\geq 1} f(p^k) y^{k\partial(p)}\right)\; \right] = \qquad\qquad\qquad \] \[ = {c \over{(1-q^{1+i\alpha}y)^\tau}} \cdot L \left( {1\over {1-q| y|}} \right) + o\left( {1\over {(1-q| y|)^\tau}} \right) \] (for \(| y| \to q^{-1})\) implies that \[ \sum_{\partial(a) =m} f(a) = {{c q^{m(1+i\alpha)}\cdot m^{\tau-1}} \over {\Gamma(\tau)}} \cdot L(m) + o(q^m m^{\tau-1}), \] as \(m\to\infty\). In Theorem 2 it is proved that the mean-value is zero, if -- in addition to the first two conditions of Th…
Mathematics Subject Classification ID: 11N37
Mathematics Subject Classification ID: 11K65
Mathematics Subject Classification ID: 11M45
Mathematics Subject Classification ID: 11N45
zbMATH DE Number: 1968533
zbMATH Keywords: mean-value theorems
zbMATH Keywords: multiplicative functions on additive arithmetic semigroups
zbMATH Keywords: Gabor Halász's method
zbMATH Keywords: generating power series
zbMATH Keywords: Tauberian theorems
zbMATH Keywords: existence of mean-values
zbMATH Keywords: Wirsing's mean-value theorem
reviewed by: Wolfgang Schwarz
MaRDI profile type: Publication
full work available at URL: s00605-002-0503-2
OpenAlex ID: W2029041448
DOI: 10.1007/S00605-002-0503-2
description: scientific article; zbMATH DE number 1968533