A generalization of Halász's theorem to Beurling's generalized integers and its application
type: Item
instance of: scholarly article
title: A generalization of Halász's theorem to Beurling's generalized integers and its application
zbMATH Open document ID: 0612.10039
published in: Illinois Journal of Mathematics
publication date: 1987-01-01T00:00:00Z
review text: Halász's theorem [\textit{G. Halász}, Acta Math. Acad. Sci. Hung. 19, 365-403 (1968; Zbl 0165.058)] is generalized to Beurling's generalized integers in this paper. Let \({\mathcal P}=\{p_ i\}^{\infty}_{i=1}\) be a set of generalized primes in Beurling's sense and \({\mathcal N}=\{n_ i\}^{\infty}_{i=0}\) the set of generalized integers associated with \({\mathcal P}\). \(N(x)=\sum _{n_ i\leq x}1\) denotes the distribution function of the generalized integers in \({\mathcal N}\). The author proves the following three theorems: (1) Let \(f(n_ i)\) be a completely multiplicative function on \({\mathcal N}\) such that \(| f(n_ i)| \leq 1\) holds for all \(n_ i\in {\mathcal N}\). Suppose that for some constant \(A>0\), \(\int ^{\infty}_{1}x^{- 2} | N(x)-Ax | dx<\infty\) and either \(\int ^{x}_{1}t^{- 1}\{N(t)-At\}\log t dt \ll x\) or \(\int ^{\infty}_{1}x^{-3} | N(x)-Ax | ^ 2 \log x dx<\infty\) holds. Furthermore, suppose that \(\hat F(s):=\sum ^{\infty}_{i=0}f(n_ i)/n^ s_ i=c/(s- 1)+o(1/(\sigma -1))\) holds as \(\sigma =Re s\to 1+\) uniformly for -K\(\leq t\leq K\) for each fixed \(K>0\). Then we have \[ F(x):=\sum _{n_ i\leq x}f(n_ i)=cx+o(x)\quad. \] (2) Suppose that the conditions on \(f(n_ i)\) and N(x) are satisfied. Then \(F(x)=o(x)\) holds if and only if \(\sum ^{\infty}_{i=1}p_ k^{-1} Re(1-f(p_ k)p_ k^{-it})=\infty\) holds for all real t. (3) Suppose that the conditions on N(x) are satisfied. Then \(M(x):=\sum _{n_ i\leq x}\mu (n_ i)=o(x)\), where \(\mu (n_ i)\) is the anlogue of the classical Möbius function. The last result combined with a theorem of \textit{A. Beurling} [Acta Math. 68, 255-291 (1937; Zbl 0017.29604)] and an example of \textit{H. G. Diamond} [Ill. J. Math. 14, 12-28, 29-34 (1970; Zbl 0186.364, Zbl 0186.365)] shows that the prime number theorem and the assertion that \(M(x)=o(x)\) are not completely equivalent.
Mathematics Subject Classification ID: 11N80
Mathematics Subject Classification ID: 11N37
Mathematics Subject Classification ID: 11N05
zbMATH DE Number: 3989467
zbMATH Keywords: Halász's theorem
zbMATH Keywords: Beurling's generalized integers
zbMATH Keywords: completely multiplicative function
zbMATH Keywords: prime number theorem
author: Wenbin Zhang
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3989467