Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Hal\'{a}sz's theorem for Beurling generalized numbers

Hal\'{a}sz's theorem for Beurling generalized numbers GREGORY DEBRUYNE, FREDERICK MAES, AND JASSON VINDAS Abstract. We show that Hal´asz’s theorem holds for Beurling numbers under the following two mild hypotheses on the generalized number system: existence of a positive density for the generalized integers and a Chebyshev upper bound for the generalized primes. 1. Introduction Hal´asz’s theorem [9] is a cornerstone in classical probabilistic number theory [8, 15]. This important result has been generalized by several authors [11, 16] to the context of abstract analytic number theory; the most general version so far being the one recently obtained by Zhang for Beurling numbers in [17]. Let 1 < p ≤ p ≤ . . . be a Beurling generalized prime number system. Its associated 1 2 set of generalized integers (cf. [1, 2, 7, 12]) is the multiplicative semigroup generated by 1 and the generalized primes, which we arrange in a non-decreasing sequence taking multiplicities into account, n = 1 < n ≤ n ≤ n ≤ . . . . Denote as N and π 0 1 2 3 the counting functions of the generalized integers and primes. As in classical number theory, we consider the weighted prime counting functions Π(x) = 1/α and ψ(x) = log u dΠ(u). p ≤x Given a function of (local) bounded variation G, we denote its Mellin-Stieltjes trans- −s form as G(s) = x dG(x) and we use the notation s = σ +it for complex variables. Zhang’s version of Hal´asz’s theorem reads as follows. His result generalizes [5, The- orem 3.1], where the set of hypotheses (1.1), (1.2), and (1.3) were actually introduced. Theorem 1.1 (Zhang [17]). Suppose that the generalized number system satisfies a Chebyshev upper estimate (1.1) ψ(x) ≪ x, 2010 Mathematics Subject Classification. Primary 11N37, 11N80; Secondary 11N05, 11N64, 11M41. Key words and phrases. Hal´asz theorem; Hal´asz-Wirsing mean-value theorem; Beurling general- ized primes and integers; multiplicative functions; multiplicative arithmetic measures; mean-value vanishing of the Mo¨bius function. G. Debruyne gratefully acknowledges support by a Postdoctoral Fellowship of the Research Foundation–Flanders. The work of J. Vindas was supported by the Research Foundation–Flanders, through the FWO- grant number 1510119N. arXiv:1902.03870v3 [math.NT] 25 Feb 2020 2 G. DEBRUYNE, F. MAES, AND J. VINDAS the generalized numbers have positive density (1.2) N(x) ∼ ax for some a > 0, and (σ → 1 ) |N(x) − ax| −β (1.3) dx ≪ (σ − 1) for some β ∈ [0, 1/2). σ+1 Let g be a completely multiplicative function such that |g(n )| ≤ 1 for each n and set k k G(x) = g(n ). Then, n ≤x G(x) ∼ cx if and only if c 1 G(s) = + o s − 1 σ − 1 uniformly for t on compact intervals. The aim of this article is to considerably improve Theorem 1.1. We shall show that it still holds if one removes the condition (1.3) from its hypotheses. In addition to hold under weaker assumptions, our results are somewhat more general as they also involve slowly varying functions in the asymptotic formulas and apply to multiplicative functions on non necessarily discrete number systems. We mention that our method here is inspired by the treatment of Schwarz and Spilker from [14] of the Daboussi- Indlekofer elementary proof [4] of the classical Hal´asz theorem. Finally, it should be pointed out that our considerations yield the following improve- ment to [5, Theorem 3.1], where M is the sum function of the M¨obius function of a generalized number system. Corollary 1.2. The positive density condition (1.2) and the Chebyshev upper bound (1.1) imply the estimate M(x) = o(x). 2. Main result and some consequences Let us start with our definition of the analog of a multiplicative function on a non necessarily discrete generalized number system. In a broader sense [2, 7], a Beurling generalized number system is merely a pair of non-decreasing right continuous functions N and Π with N(1) = 1 and Π(1) = 0, both having support in [1,∞), and subject to the relation dN = exp (dΠ), where the exponential is taken with respect to the (multiplicative) convolution of measures [7]. Since the hypotheses used in this article always guarantee convergence of the Mellin transforms, the latter becomes equivalent to the zeta function identity Z Z ∞ ∞ −s −s ζ(s) = x dN(x) = exp x dΠ(x) . 1 1 We shall say that a (complex-valued) measure dG (supported on [1,∞)) is arithmetic (w.r.t. the number system under consideration) if it is absolutely continuous with respect to dN. Furthermore, we call it multiplicative if it can be written as dG = exp (g dΠ) for some function g. Clearly, every multiplicative measure is arithmetic. ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 3 We can now state the main result of this article, its proof will be postponed to Section 4. Theorem 2.1. Suppose the number system satisfies the upper and lower logarithmic density conditions dN(u) (2.1) ≍ log x. − u Let dG = exp (g dΠ) be a multiplicative arithmetic measure with g = g +g such that 1 2 R R x ∞ −1 |g (x)| ≤ 1, the bound |g (u)| log u dΠ(u) ≪ x holds, and x |g (x)|dΠ(x) < ∞. 1 1 2 1 1 Then, for real constants c, α, and a slowly varying function L(u) with |L(u)| = 1, the relation 1+iα G(u) cx (2.2) du = L(log x) + o(x) u (1 + iα) is satisfied if and only if c 1 1 (2.3) G(s) = L + o s − 1 − iα σ − 1 σ − 1 holds uniformly for t in compact intervals. The asymptotic relation (2.2) could be differentiated via elementary familiar argu- ments (e.g. [10, Section I.18, p. 37]) if G satisfies additional Tauberian hypotheses. For example, if g(u) ≥ 0, so that G is non-decreasing, we must essentially have α = 0 and L(u) = 1 in (2.2); one then deduces G(x) ∼ cx. We might apply this to G(x) = N(x) itself; the next corollary clarifies even more why the hypotheses on N in Theorem 1.1 are redundant. Corollary 2.2. Assume that the Chebyshev upper bound (1.1) holds. Then, for a > 0, N(x) ∼ ax holds if and only if |N(x) − ax| 1 (2.4) dx = o . σ+1 x σ − 1 These relations are also equivalent to a 1 (2.5) ζ(s) = + o , s − 1 σ − 1 uniformly for t on compact intervals. Proof. The implications N(x) ∼ ax ⇒ (2.4) ⇒ (2.5) trivially hold unconditionally. Assume now that (2.5) holds, then in particular ζ(σ) ∼ a/(σ − 1) and the Hardy- Littlewood-Karamata theorem yields logarithmic density, dN(u) (2.6) ∼ a log x. − u By Theorem 2.1, we have N(u)/u du ∼ ax. As explained above, using that N is non-decreasing one concludes that N(x) ∼ ax, as required. Furthermore, 4 G. DEBRUYNE, F. MAES, AND J. VINDAS Theorem 2.3. Assume N has positive density (1.2). Let dG = exp (g dΠ) be a multiplicative arithmetic measure with g = g + g such that |g (x)| ≤ 1, the bound 1 2 1 R R x ∞ −1 |g (u)| log u dΠ(u) ≪ x holds, and x |g (x)|dΠ(x) < ∞. Then, for real con- 1 1 stants c, α, and a slowly varying function L(u) with |L(u)| = 1, the asymptotic relation 1+iα cx (2.7) G(x) = L(log x) + o(x) 1 + iα is satisfied if and only if (2.3) holds uniformly for t in compact intervals. Proof. The non-trivial implication is (2.3) implies (2.7). Set dG = exp (g dΠ) and i i in addition consider the convolution inverse of dG , that is, dF = exp (−g dΠ). 2 2 Since F(s) is absolutely convergent on ℜe s = 1, a small computation shows that b b (F (s) − F (1 + iα))/(s − 1 − iα) = o(1/(σ − 1)) uniformly for t on compacts. Thus, with the same uniformity, (2.3) yields c 1 1 c b b G (s) = G(s)F (s) = L + o , s − 1 − iα σ − 1 σ − 1 where c = c/G (1 + iα). Applying Theorem 2.1 to dG , we obtain 1 2 1 1+iα G (u) c x 1 1 du = L(log x) + o(x). u (1 + iα) Let us verify that G (x)/x is slowly oscillating (in the sense of Schmidt, cf. [10, Def. I.16.1, p. 32]). Due to our hypothesis on G it is clear that |dG | ≤ dN. Hence, 1 1 if η > 1, G (ηx) G (x) G (ηx) N(ηx) − N(x) 1 1 − ≤ (η − 1) + ≪ η − 1 + o (1), ηx x ηx x by (1.2). Since L(log x) is slowly varying, a standard elementary Tauberian argument gives 1+iα c x G (x) = L(log x) + o(x). 1 + iα The asymptotic formula (2.2) then follows from a variant of Wintner’s mean-value theorem (i.e., Lemma 3.4(i) below). Combining Theorem 2.3 with [5, Lemma 3.6], we immediately obtain Corollary 1.2 with dM the convolution inverse of dN, namely, the measure dM = exp (−dΠ) (for discrete number systems M is then the sum function of the Beurling analog of the M¨obius function). It is worth pointing out that the hypothesis N(x) ∼ ax cannot be omitted in Corollary 1.2, as shown by [5, Examples 4.2 and 4.3]. We also mention that one can construct examples of number systems for which M(x) = o(x) and (1.2) hold for some a > 0, but for which the Chebyshev bound (1.1) fails; see for instance Kahane’s example [6, Example 3.6]. The ensuing version of the Hal´asz mean-value theorem holds true. Theorem 2.4. Assume the positive density condition (1.2) and the Chebyshev upper bound (1.1) and let dG = exp (g dΠ) be a multiplicative arithmetic measure such that −1 g = g + g with |g (x)| ≤ 1 and x |g (x)|dΠ(x) < ∞. 1 2 1 2 1 ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 5 If there is α ∈ R such that −iα 1 − ℜe (g(x)x ) (2.8) dΠ(x) converges, then 1+iα x −iα x 1 − g(u)u (2.9) G(x) = exp − dΠ(u) + o(x). 1 + iα u Otherwise, if there is no such α, then G has zero mean-value, (2.10) G(x) = o(x). In either case, there are real constants c, α, and a slowly varying function L(u) with |L(u)| = 1 such that (2.7) holds. Proof. Using again Lemma 3.4(i), we may assume that g = 0. The result can then be deduced from Theorem 2.3 along the same lines of the proof of the corresponding Hal´asz mean-value theorem for the natural numbers given e.g. in Elliott’s book [8, Chapter 6]. Therefore, we only give a brief sketch and leave most details to the reader. When (2.8) diverges for every α, the classical argument involving Dini’s theorem yields G(s) = o(1/(σ − 1)) (see e.g. [17, Lemma 3.1], one just uses here ζ(σ) ≪ 1/(σ − 1)), so that we obtain (2.10) via Theorem 2.3 with c = 0. In the case of convergence of (2.8), one may assume α = 0, because a simple inte- gration by parts computation then yields the general result. We note that an adapted version of [8, Lemma 6.8, p. 242] holds in view of ψ(x) ≪ x, while [8, Lemma 6.9, p. 243] is valid because of N(x) ∼ ax in the form (2.5). Hence, similarly as in [8, pp. 245–246], one derives that (2.3) holds for t on compacts with α = 0 and a slowly varying function L with modulus 1 satisfying g(u) − 1 log u cL(log x) = exp exp − dΠ(u) + o(1). u log x By Theorem 2.3, it thus just remains to verify that the latter integral expression equals g(u) − 1 dΠ(u) + o(1). But this can also be established reasoning as in [8, pp. 246–247] with the aid of ψ(x) ≪ x and the simple bound Z Z x x log u ψ(x) ψ(u) dΠ(u) = + du ≪ log x. u x u 1 1 As a simple corollary, one also obtains Wirsing’s mean-value theorem in this context. Of course, Corollary 1.2 is also a consequence of it. 6 G. DEBRUYNE, F. MAES, AND J. VINDAS Corollary 2.5. Suppose the positive density condition (1.2) and the Chebyshev upper bound (1.1) hold. Let dG = exp (g dΠ) be a real-valued multiplicative arithmetic −1 measure such that g = g + g with |g (x)| ≤ 1 and x |g (x)|dΠ(x) < ∞. Then, 1 2 1 2 G(x) 1 − g(x) lim = exp − dΠ(x) , x→∞ x x where the right-hand side is taken as zero when the integral diverges. Proof. Indeed, the convergent case directly follows from Theorem 2.4. Assume thus that (2.8) diverges for α = 0. If it also diverges for all other values of α, we are done as well since (2.10) holds. If (2.8) converges for some α 6= 0, then (2.7) holds for some c ∈ R and L. We need to show that necessarily c = 0. If c were not zero, we would have 2α G(xe ) π 2α lim = ie ; x→∞ G(x) but this limit must be real so that one must either have c = 0 or that such an α does not exist. We end this section with a remark concerning the case of discrete generalized number systems. Remark 2.6. All the results from this section cover the particular instance of multi- plicative functions on a discrete generalized number system satisfying |f(n )| ≤ 1 for every generalized integer n , provided the generalized number system has a positive density and a Chebyshev upper bound holds for the generalized primes. Given a multiplicative function f, the associated multiplicative measure is dG = fdN. The functions f and g in the representation f dN = exp (g dΠ) determine one another by their values on generalized prime powers linked by means of the relations ∞ ∞ ν ν X Y f(p ) g(p ) k k (2.11) 1 + = exp , sν νs p νp k k ν=1 ν=1 which are obtained by comparing factors corresponding to each generalized prime p in P R ∞ −s −s n f(n ) = exp x g(x) dΠ(x) with its Euler product. Taylor expanding k=0 k the exponential and multiplying out the right-hand side of (2.11), one readily deduces that X Y 1 g(p ) (2.12) f(p ) = . m ! j ν=1·m +2·m +···+ν·m j=1 1 2 ν In particular, g(p ) = f(p ) for every generalized prime. The formula (2.12) can be k k rewritten in terms of the (exponential) complete Bell polynomials (see e.g. [3, p. 134], where the notation Y = B is employed), n n ν 2 ν f(p ) = B (0!g(p ), 1!g(p ), . . . , (ν − 1)!g(p )). ν k k k k ν! ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 7 Conversely, taking logarithms in (2.11) and using [3, Theorem A, p. 140], (j − 1)! ν−j+1 ν j−1 2 (2.13) g(p ) = (−1) B (1!f(p ), 2!f(p ), . . . , (ν − j + 1)!f(p )), ν,j k k k k (ν − 1)! j=1 where the B stand for the partial Bell polynomials. In particular, if f is completely ν,j ν ν multiplicative, we have g(p ) = f(p ) for each k and ν ≥ 1. In view of |f(n )| ≤ 1, we k k find using (2.13) and [3, Eq. (3h), Theorem B, p. 135] (j − 1)! ν ν |g(p )| ≤ B (1!, 2!, . . ., (ν − j + 1)!) = 2 − 1. ν,j (ν − 1)! j=1 We further decompose g = g˜ + h with g(p ) if p > 2 ν k g˜(p ) = 0 otherwise. It is clear that the multiplicative arithmetic measure dG = exp (g˜ dΠ) satisfies the hypotheses we have been considering in this section. The Mellin transform of dH = exp (h dΠ) is simply the Euler product Y X f(p ) H(s) = 1 + , νs p ≤2 ν=1 which is obviously absolutely convergent for σ > 0. Using that H(s) ≪ 1 and H (s) ≪ 1 on the half-plane σ ≥ 1, the proof of Theorem 2.1 we give in Section 4 can readily be adapted to obtain (2.2) for G(x) = f(n ) from (2.3), |f(n )| ≤ 1, k k n ≤x positive density N(x) ∼ ax, and the Chebyshev upper bound. On the other hand, the conditions |f(n )| ≤ 1 and N(x) ∼ ax imply that G(x)/x is slowly oscillating, so that Theorem 2.3 is valid in this case. Applying Theorem 2.4 to G and then Lemma 3.4(i) to dG = dH ∗ dG, the Hal´asz mean-value theorem takes the form: If there is α ∈ R such that −iα 1 − ℜe (p f(p )) k=1 converges, then iα ν X Y X 1 x 1 f(p ) f(n ) = 1 − 1 + + o(1); ν(1+iα) x 1 + iα p n ≤x p ≤x ν=1 k k k otherwise, f has zero mean-value. Moreover, the assertion in Corollary 2.5 becomes: If in addition f is real-valued, we always have ∞ ∞ X Y X 1 1 f(p ) lim f(n ) = 1 − 1 + . x→∞ x p p ν=1 n ≤x k=1 k 8 G. DEBRUYNE, F. MAES, AND J. VINDAS 3. Auxiliary elementary estimates We start with a key estimate based on Rankin’s method (cf. [14, Section II.3]). Proposition 3.1. Let dG = exp (g dΠ) be a multiplicative arithmetic measure such that (3.1) |g(u)| log u dΠ(u) ≪ x log x, with β ≥ 0. Then, G(x) |g(u)| β−1 (3.2) ≪ log x exp dΠ(u) . x u Proof. We first estimate log u|dG(u)|. Note that the multiplication by log operator is a derivation on the convolution algebra of measures [7, Section 2.8]. We have log ·dG = dG ∗ (g · log dΠ) and so (3.1) yields Z Z Z x x   x x x |g(u)| β β log u |dG(u)| ≪ log |dG(u)| ≪ x log x exp dΠ(u) , − u u u 1 1 1 where we have used that multiplying by 1/u commutes with the exponential of mea- sures. We now apply Rankin’s trick, Z Z x x G(x) ≪ log u |dG(u)| + log u |dG(u)| log x 1 x |g(u)| β β−1 ≪ ( x log x + x log x) exp dΠ(u) . From here we deduce: −1 ∗ Corollary 3.2. Suppose that u dΠ(u) ≤ log log x + O(1). If dG = exp (g dΠ) is such that (3.3) |g(u)| log u dΠ(u) ≪ x, then G(x) |g(u)| − 1 (3.4) ≪ exp dΠ(u) , x u Z Z Z y ∞ e G(s) |g(u)| − 1 −2y(σ−1) (3.5) |ds| ≪ e exp 2 dΠ(u) dy s u ℜe s=σ 0 1 as σ → 1 , and G (s) 1 (3.6) |ds| ≪ . σ − 1 sG(s) ℜe s=σ ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 9 Proof. Proposition 3.1 gives (3.4). The bound (3.5) then follows from the Plancherel y −σy identity because for fixed σ the function G(s)/s is the Fourier transform of G(e )e . b b Next, −G (s)/G(s) is the Mellin transform of the measure g(u) log udΠ(u), whose prim- itive is O(x) by (3.3). So, the Plancherel theorem implies (3.6). −1 Let us point out that u dΠ(u) ≤ log log x + O(1) implies upper logarithmic −1 density u dN(u) ≪ log x. Moreover, the condition (2.1) turns out to be equivalent to a weak form of Mertens’ formula. Lemma 3.3. (2.1) holds if and only if dΠ(u) (3.7) = log log x + O(1). In addition, these relations are equivalent to ζ(σ) ≍ 1/(σ − 1). Proof. Combine [7, Proposition 4.5 and Theorem 4.7] for (2.1) if and only if (3.7). The equivalence between (2.1) and ζ(σ) ≍ 1/(σ − 1) follows from [7, Proposition 4.2, Proposition 4.8, and Corollary 4.10]. We refer the reader to [7, 13] for more information on Mertens type results for Beurling numbers. We shall also need the ensuing simple lemma. Note that part (i) is a version of Wintner’s mean-value theorem. Lemma 3.4. Let A and B be two functions of local bounded variation on [1,∞) such −1 that u |dA(u)| < ∞. Consider dD = dA ∗ dB. Given a slowly varying function ℓ with |ℓ(u)| = 1 and α, b ∈ R, we have: 1+iα 1+iα (i) B(x) = bx ℓ(x) + o(x) implies D(x) = A(1 + iα)bx ℓ(x) + o(x). −1 1+iα (ii) u B(u)du = bx ℓ(x) + o(x) implies D(u) 1+iα du = A(1 + iα)bx ℓ(x) + o(x). Proof. For (i), we have Z Z Z x x ∞ 1 B(x/u) ℓ(x/u) dA(u) dA(u) dA ∗ dB = → b . 1+iα 1+iα 1+iα 1+iα x ℓ(x) − − (x/u) ℓ(x/u) ℓ(x) u − u 1 1 1 For (ii), we notice that Z Z Z x x x B(u) du = log(x/u)dB(u) = dH ∗ dB, − − 1 1 1 −1 with dH(u) = u χ (u)du. So, [1,∞) Z Z x x D(u) du = dH ∗ dB ∗ dA, u − 1 1 whence we conclude that part (ii) is a special case of part (i). Finally, we translate (2.2) into another weighted average for dG. 10 G. DEBRUYNE, F. MAES, AND J. VINDAS Lemma 3.5. Let G be a function of local bounded variation on [1,∞) such that −1 u G(u)du = o(x log x). Consider Z Z x u du (3.8) F (x) = log y dG(y) . 1 1 Then, for ℓ slowly varying with |ℓ(u)| = 1 and some constant c ∈ R, G(u) du = cxℓ(x) + o(x) if and only if F (x) = cxℓ(x) log x + o(x log x). −1 Proof. Integrating by parts, u G(u) du ∼ cxℓ(x) is equivalent to G(u) log u du ∼ cxℓ(x) log x. We also have Z Z Z Z x x u x G(u) 1 G(y) G(u) F (x) = log u du − dydu = log u du + o(x log x), u u y u 1 1 1 1 whence the claim follows. 4. Proof of Theorem 2.1 We start with some reductions. We only need to show that (2.3) implies (2.2). The same reasoning employed at the beginning of the proof of Theorem 2.3 and Lemma 3.4(ii) allow us to assume without loss of generality that g = 0. So, our hypotheses on g are |g(x)| ≤ 1 and (3.3). We may also assume that α = 0, namely, we are supposing that c 1 1 (4.1) G(s) = L + o , s − 1 σ − 1 σ − 1 uniformly for t on compact intervals. In view of Lemma 3.3, the bound (3.4) from Corollary 3.2 applies, so G(x) ≪ x. Therefore, G fulfills the conditions of Lemma 3.5 and from now on we can restrict our attention to the function F defined in (3.8). We should prove that (4.2) F (x) = cxL(log x) log x + o(x log x). b b The Mellin-Stieltjes transform of the function F is F(s) = −G (s)/s. Given x > e, it is convenient to set σ = 1 + 1/ log x. By the Perron inversion formula, we have s−1 ′ F (x) 1 x G (s) = − ds. x 2πi s ℜe s=σx Next, we take a large number λ > 1, fixed for the while. We split the integral over the line {s : ℜe s = σ } into three pieces, taken over Γ = {σ + it : |t| ≤ λ/ log x}, 0 x Γ = {σ + it : λ/ log x < |t| ≤ λ}, 1 x Γ = {σ + it : λ < |t|}. 2 x ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 11 The integral over Γ can easily be handled using the condition (4.1) and the fact that L is slowly varying; proceeding exactly as in [8, p. 239], we obtain s−1 ′ 1 x G (s) log x − ds = cL(log x) log x + O . 2πi s λ We now employ (3.6) and the Cauchy-Schwarz inequality in order to get   1/2 Z Z s−1 ′ b b x G (s) G(s) 1/2   ds ≪ log x |ds| , j = 1, 2. s s Γ Γ j j It remains to estimate the latter two integrals. For the integral over the unbounded intervals Γ , we can apply (3.5) to the multiplicative arithmetic measures ∗ ±i(λ+m) exp u g(u)dΠ(u) ; hence, Z Z Z −λ−m λ+m+1 b X G(s) 1 |ds| ≤ + G(σ + it) dt s 1 + (λ + m) Γ −λ−m−1 λ+m m=0   2 2 X b b 1 G(s + i(λ + m)) G(s − i(1 + λ + m))   ≤ 5 + |ds| 1 + (λ + m) s s ℜe s=σ m=0 1 log x −2(σ −1)y ≪ e dy = O . λ λ On the other hand, using (4.1), 2 2 Z Z 1/2 3/4 b b G(s) log x (G(s)) |ds| ≤ |c| + o (log x) |ds|. s λ s Γ ℜe s=σ 1 x 3/4 To deal with the last integral we notice that (G(s)) is the Mellin transform of the arithmetic measure exp (3g/4 dΠ) . Applying Plancherel’s identity and (3.2) to this measure, using the upper bound from (3.7) and the hypothesis |g(u)| ≤ 1, we obtain Z Z Z y ∞ e 3/4 (G(s)) (3/4)|g(u)| −2y(σ −1) −2 |ds| ≪ e y exp 2 dΠ(u) dy s u ℜe s=σ 0 1 −2y(σ −1) −1/2 1/2 ≪ e y dy ≪ log x. Collecting all estimates, we arrive at F (x) 1 − c ≪ + o (1). 1/4 x log xL(log x) λ Taking first the limit superior as x → ∞ and then λ → ∞, we have shown (4.2). This establishes Theorem 2.1. 12 G. DEBRUYNE, F. MAES, AND J. VINDAS Remark 4.1. It is worth pointing out that we have not used the lower bound from (3.7) in this section. Thus, our proof above shows that Theorem 2.1 still holds true if −1 the hypothesis (2.1) is relaxed to u dΠ(u) ≤ log log x + O(1). References [1] P. T. Bateman, H. G. Diamond, Asymptotic distribution of Beurling’s generalized prime numbers, in: Studies in number theory, W. J. LeVeque, ed., pp. 152–210, Mathematical Association of America, 1969. [2] A. Beurling, Analyse de la loi asymptotique de la distribution des nombres premiers g´en´eralis´es, Acta Math. 68 (1937), 255–291. [3] L. Comtet, Advanced combinatorics. The art of finite and infinite expansions, D. Reidel Publish- ing Co., Dordrecht, 1974. [4] H. Daboussi, K. H. Indlekofer, Two elementary proofs of Hal´asz’s theorem, Math. Z. 209 (1992), 43–52. [5] G. Debruyne, H. G. Diamond, J. Vindas, M(x) = o(x) Estimates for Beurling numbers, J. Th´eor. Nombres Bordeaux 30 (2018), 469–483. [6] G. Debruyne, J. Vindas, On Diamond’s L criterion for asymptotic density of Beurling general- ized integers, Michigan Math. J. 68 (2019), 211–223. [7] H. G. Diamond, W.-B. Zhang, Beurling generalized numbers, Mathematical Surveys and Mono- graphs series, American Mathematical Society, Providence, RI, 2016. [8] P. D. T. A. Elliott, Probabilistic number theory. I. Mean-value theorems. Grundlehren der Math- ematischen Wissenschaften, 239, Springer-Verlag, New York-Berlin, 1979. [9] G. Hal´asz, Uber die Mittelwerte multiplikativer zahlentheoretischer Funktionen, Acta Math. Acad. Sci. Hungar. 19 (1968), 365–403. [10] J. Korevaar, Tauberian theory. A century of developments, Grundlehren der Mathematischen Wissenschaften, Vol. 329, Springer-Verlag, Berlin, 2004. [11] L. Lucht, K. Reifenrath, Mean-value theorems in arithmetic semigroups, Acta Math. Hungar. 93 (2001), 27–57. [12] H. L. Montgomery, R. C. Vaughan, Multiplicative number theory. I. Classical theory, Cambridge Studies in Advanced Mathematics, 97, University Press, Cambridge, 2007. [13] P. Pollack, On Mertens’ theorem for Beurling primes, Canad. Math. Bull. 56 (2013), 829–843. [14] W. Schwarz, J. Spilker, Arithmetical functions. An introduction to elementary and analytic prop- erties of arithmetic functions and to some of their almost-periodic properties, London Mathemat- ical Society Lecture Note Series, 184, Cambridge University Press, Cambridge, 1994. [15] G. Tenenbaum, Introduction to analytic and probabilistic number theory, Graduate Studies in Mathematics, 163, American Mathematical Society, Providence, RI, 2015. [16] W.-B. Zhang, A generalization of Hal´asz’s theorem to Beurling’s generalized integers and its application, Illinois J. Math. 31 (1987), 645–664. [17] W.-B. Zhang, Hal´asz’s theorem for Beurling numbers, Acta Arith. 183 (2018), 223–235. Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent Uni- versity, Krijgslaan 281, B 9000 Ghent, Belgium E-mail address: gregory.debruyne@UGent.be E-mail address: frederick.maes@UGent.be E-mail address: jasson.vindas@UGent.be http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

Hal\'{a}sz's theorem for Beurling generalized numbers

Debruyne, Gregory; Maes, Frederick; Vindas, Jasson
Mathematics , Volume 2020 (1902) – Feb 11, 2019
Download PDF
12 pages

Loading next page...
 
/lp/arxiv-cornell-university/hal-a-sz-s-theorem-for-beurling-generalized-numbers-Zs1j0Br4op

References (22)

ISSN
0065-1036
eISSN
ARCH-3343
DOI
10.4064/aa190210-22-5
Publisher site
See Article on Publisher Site

Abstract

GREGORY DEBRUYNE, FREDERICK MAES, AND JASSON VINDAS Abstract. We show that Hal´asz’s theorem holds for Beurling numbers under the following two mild hypotheses on the generalized number system: existence of a positive density for the generalized integers and a Chebyshev upper bound for the generalized primes. 1. Introduction Hal´asz’s theorem [9] is a cornerstone in classical probabilistic number theory [8, 15]. This important result has been generalized by several authors [11, 16] to the context of abstract analytic number theory; the most general version so far being the one recently obtained by Zhang for Beurling numbers in [17]. Let 1 < p ≤ p ≤ . . . be a Beurling generalized prime number system. Its associated 1 2 set of generalized integers (cf. [1, 2, 7, 12]) is the multiplicative semigroup generated by 1 and the generalized primes, which we arrange in a non-decreasing sequence taking multiplicities into account, n = 1 < n ≤ n ≤ n ≤ . . . . Denote as N and π 0 1 2 3 the counting functions of the generalized integers and primes. As in classical number theory, we consider the weighted prime counting functions Π(x) = 1/α and ψ(x) = log u dΠ(u). p ≤x Given a function of (local) bounded variation G, we denote its Mellin-Stieltjes trans- −s form as G(s) = x dG(x) and we use the notation s = σ +it for complex variables. Zhang’s version of Hal´asz’s theorem reads as follows. His result generalizes [5, The- orem 3.1], where the set of hypotheses (1.1), (1.2), and (1.3) were actually introduced. Theorem 1.1 (Zhang [17]). Suppose that the generalized number system satisfies a Chebyshev upper estimate (1.1) ψ(x) ≪ x, 2010 Mathematics Subject Classification. Primary 11N37, 11N80; Secondary 11N05, 11N64, 11M41. Key words and phrases. Hal´asz theorem; Hal´asz-Wirsing mean-value theorem; Beurling general- ized primes and integers; multiplicative functions; multiplicative arithmetic measures; mean-value vanishing of the Mo¨bius function. G. Debruyne gratefully acknowledges support by a Postdoctoral Fellowship of the Research Foundation–Flanders. The work of J. Vindas was supported by the Research Foundation–Flanders, through the FWO- grant number 1510119N. arXiv:1902.03870v3 [math.NT] 25 Feb 2020 2 G. DEBRUYNE, F. MAES, AND J. VINDAS the generalized numbers have positive density (1.2) N(x) ∼ ax for some a > 0, and (σ → 1 ) |N(x) − ax| −β (1.3) dx ≪ (σ − 1) for some β ∈ [0, 1/2). σ+1 Let g be a completely multiplicative function such that |g(n )| ≤ 1 for each n and set k k G(x) = g(n ). Then, n ≤x G(x) ∼ cx if and only if c 1 G(s) = + o s − 1 σ − 1 uniformly for t on compact intervals. The aim of this article is to considerably improve Theorem 1.1. We shall show that it still holds if one removes the condition (1.3) from its hypotheses. In addition to hold under weaker assumptions, our results are somewhat more general as they also involve slowly varying functions in the asymptotic formulas and apply to multiplicative functions on non necessarily discrete number systems. We mention that our method here is inspired by the treatment of Schwarz and Spilker from [14] of the Daboussi- Indlekofer elementary proof [4] of the classical Hal´asz theorem. Finally, it should be pointed out that our considerations yield the following improve- ment to [5, Theorem 3.1], where M is the sum function of the M¨obius function of a generalized number system. Corollary 1.2. The positive density condition (1.2) and the Chebyshev upper bound (1.1) imply the estimate M(x) = o(x). 2. Main result and some consequences Let us start with our definition of the analog of a multiplicative function on a non necessarily discrete generalized number system. In a broader sense [2, 7], a Beurling generalized number system is merely a pair of non-decreasing right continuous functions N and Π with N(1) = 1 and Π(1) = 0, both having support in [1,∞), and subject to the relation dN = exp (dΠ), where the exponential is taken with respect to the (multiplicative) convolution of measures [7]. Since the hypotheses used in this article always guarantee convergence of the Mellin transforms, the latter becomes equivalent to the zeta function identity Z Z ∞ ∞ −s −s ζ(s) = x dN(x) = exp x dΠ(x) . 1 1 We shall say that a (complex-valued) measure dG (supported on [1,∞)) is arithmetic (w.r.t. the number system under consideration) if it is absolutely continuous with respect to dN. Furthermore, we call it multiplicative if it can be written as dG = exp (g dΠ) for some function g. Clearly, every multiplicative measure is arithmetic. ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 3 We can now state the main result of this article, its proof will be postponed to Section 4. Theorem 2.1. Suppose the number system satisfies the upper and lower logarithmic density conditions dN(u) (2.1) ≍ log x. − u Let dG = exp (g dΠ) be a multiplicative arithmetic measure with g = g +g such that 1 2 R R x ∞ −1 |g (x)| ≤ 1, the bound |g (u)| log u dΠ(u) ≪ x holds, and x |g (x)|dΠ(x) < ∞. 1 1 2 1 1 Then, for real constants c, α, and a slowly varying function L(u) with |L(u)| = 1, the relation 1+iα G(u) cx (2.2) du = L(log x) + o(x) u (1 + iα) is satisfied if and only if c 1 1 (2.3) G(s) = L + o s − 1 − iα σ − 1 σ − 1 holds uniformly for t in compact intervals. The asymptotic relation (2.2) could be differentiated via elementary familiar argu- ments (e.g. [10, Section I.18, p. 37]) if G satisfies additional Tauberian hypotheses. For example, if g(u) ≥ 0, so that G is non-decreasing, we must essentially have α = 0 and L(u) = 1 in (2.2); one then deduces G(x) ∼ cx. We might apply this to G(x) = N(x) itself; the next corollary clarifies even more why the hypotheses on N in Theorem 1.1 are redundant. Corollary 2.2. Assume that the Chebyshev upper bound (1.1) holds. Then, for a > 0, N(x) ∼ ax holds if and only if |N(x) − ax| 1 (2.4) dx = o . σ+1 x σ − 1 These relations are also equivalent to a 1 (2.5) ζ(s) = + o , s − 1 σ − 1 uniformly for t on compact intervals. Proof. The implications N(x) ∼ ax ⇒ (2.4) ⇒ (2.5) trivially hold unconditionally. Assume now that (2.5) holds, then in particular ζ(σ) ∼ a/(σ − 1) and the Hardy- Littlewood-Karamata theorem yields logarithmic density, dN(u) (2.6) ∼ a log x. − u By Theorem 2.1, we have N(u)/u du ∼ ax. As explained above, using that N is non-decreasing one concludes that N(x) ∼ ax, as required. Furthermore, 4 G. DEBRUYNE, F. MAES, AND J. VINDAS Theorem 2.3. Assume N has positive density (1.2). Let dG = exp (g dΠ) be a multiplicative arithmetic measure with g = g + g such that |g (x)| ≤ 1, the bound 1 2 1 R R x ∞ −1 |g (u)| log u dΠ(u) ≪ x holds, and x |g (x)|dΠ(x) < ∞. Then, for real con- 1 1 stants c, α, and a slowly varying function L(u) with |L(u)| = 1, the asymptotic relation 1+iα cx (2.7) G(x) = L(log x) + o(x) 1 + iα is satisfied if and only if (2.3) holds uniformly for t in compact intervals. Proof. The non-trivial implication is (2.3) implies (2.7). Set dG = exp (g dΠ) and i i in addition consider the convolution inverse of dG , that is, dF = exp (−g dΠ). 2 2 Since F(s) is absolutely convergent on ℜe s = 1, a small computation shows that b b (F (s) − F (1 + iα))/(s − 1 − iα) = o(1/(σ − 1)) uniformly for t on compacts. Thus, with the same uniformity, (2.3) yields c 1 1 c b b G (s) = G(s)F (s) = L + o , s − 1 − iα σ − 1 σ − 1 where c = c/G (1 + iα). Applying Theorem 2.1 to dG , we obtain 1 2 1 1+iα G (u) c x 1 1 du = L(log x) + o(x). u (1 + iα) Let us verify that G (x)/x is slowly oscillating (in the sense of Schmidt, cf. [10, Def. I.16.1, p. 32]). Due to our hypothesis on G it is clear that |dG | ≤ dN. Hence, 1 1 if η > 1, G (ηx) G (x) G (ηx) N(ηx) − N(x) 1 1 − ≤ (η − 1) + ≪ η − 1 + o (1), ηx x ηx x by (1.2). Since L(log x) is slowly varying, a standard elementary Tauberian argument gives 1+iα c x G (x) = L(log x) + o(x). 1 + iα The asymptotic formula (2.2) then follows from a variant of Wintner’s mean-value theorem (i.e., Lemma 3.4(i) below). Combining Theorem 2.3 with [5, Lemma 3.6], we immediately obtain Corollary 1.2 with dM the convolution inverse of dN, namely, the measure dM = exp (−dΠ) (for discrete number systems M is then the sum function of the Beurling analog of the M¨obius function). It is worth pointing out that the hypothesis N(x) ∼ ax cannot be omitted in Corollary 1.2, as shown by [5, Examples 4.2 and 4.3]. We also mention that one can construct examples of number systems for which M(x) = o(x) and (1.2) hold for some a > 0, but for which the Chebyshev bound (1.1) fails; see for instance Kahane’s example [6, Example 3.6]. The ensuing version of the Hal´asz mean-value theorem holds true. Theorem 2.4. Assume the positive density condition (1.2) and the Chebyshev upper bound (1.1) and let dG = exp (g dΠ) be a multiplicative arithmetic measure such that −1 g = g + g with |g (x)| ≤ 1 and x |g (x)|dΠ(x) < ∞. 1 2 1 2 1 ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 5 If there is α ∈ R such that −iα 1 − ℜe (g(x)x ) (2.8) dΠ(x) converges, then 1+iα x −iα x 1 − g(u)u (2.9) G(x) = exp − dΠ(u) + o(x). 1 + iα u Otherwise, if there is no such α, then G has zero mean-value, (2.10) G(x) = o(x). In either case, there are real constants c, α, and a slowly varying function L(u) with |L(u)| = 1 such that (2.7) holds. Proof. Using again Lemma 3.4(i), we may assume that g = 0. The result can then be deduced from Theorem 2.3 along the same lines of the proof of the corresponding Hal´asz mean-value theorem for the natural numbers given e.g. in Elliott’s book [8, Chapter 6]. Therefore, we only give a brief sketch and leave most details to the reader. When (2.8) diverges for every α, the classical argument involving Dini’s theorem yields G(s) = o(1/(σ − 1)) (see e.g. [17, Lemma 3.1], one just uses here ζ(σ) ≪ 1/(σ − 1)), so that we obtain (2.10) via Theorem 2.3 with c = 0. In the case of convergence of (2.8), one may assume α = 0, because a simple inte- gration by parts computation then yields the general result. We note that an adapted version of [8, Lemma 6.8, p. 242] holds in view of ψ(x) ≪ x, while [8, Lemma 6.9, p. 243] is valid because of N(x) ∼ ax in the form (2.5). Hence, similarly as in [8, pp. 245–246], one derives that (2.3) holds for t on compacts with α = 0 and a slowly varying function L with modulus 1 satisfying g(u) − 1 log u cL(log x) = exp exp − dΠ(u) + o(1). u log x By Theorem 2.3, it thus just remains to verify that the latter integral expression equals g(u) − 1 dΠ(u) + o(1). But this can also be established reasoning as in [8, pp. 246–247] with the aid of ψ(x) ≪ x and the simple bound Z Z x x log u ψ(x) ψ(u) dΠ(u) = + du ≪ log x. u x u 1 1 As a simple corollary, one also obtains Wirsing’s mean-value theorem in this context. Of course, Corollary 1.2 is also a consequence of it. 6 G. DEBRUYNE, F. MAES, AND J. VINDAS Corollary 2.5. Suppose the positive density condition (1.2) and the Chebyshev upper bound (1.1) hold. Let dG = exp (g dΠ) be a real-valued multiplicative arithmetic −1 measure such that g = g + g with |g (x)| ≤ 1 and x |g (x)|dΠ(x) < ∞. Then, 1 2 1 2 G(x) 1 − g(x) lim = exp − dΠ(x) , x→∞ x x where the right-hand side is taken as zero when the integral diverges. Proof. Indeed, the convergent case directly follows from Theorem 2.4. Assume thus that (2.8) diverges for α = 0. If it also diverges for all other values of α, we are done as well since (2.10) holds. If (2.8) converges for some α 6= 0, then (2.7) holds for some c ∈ R and L. We need to show that necessarily c = 0. If c were not zero, we would have 2α G(xe ) π 2α lim = ie ; x→∞ G(x) but this limit must be real so that one must either have c = 0 or that such an α does not exist. We end this section with a remark concerning the case of discrete generalized number systems. Remark 2.6. All the results from this section cover the particular instance of multi- plicative functions on a discrete generalized number system satisfying |f(n )| ≤ 1 for every generalized integer n , provided the generalized number system has a positive density and a Chebyshev upper bound holds for the generalized primes. Given a multiplicative function f, the associated multiplicative measure is dG = fdN. The functions f and g in the representation f dN = exp (g dΠ) determine one another by their values on generalized prime powers linked by means of the relations ∞ ∞ ν ν X Y f(p ) g(p ) k k (2.11) 1 + = exp , sν νs p νp k k ν=1 ν=1 which are obtained by comparing factors corresponding to each generalized prime p in P R ∞ −s −s n f(n ) = exp x g(x) dΠ(x) with its Euler product. Taylor expanding k=0 k the exponential and multiplying out the right-hand side of (2.11), one readily deduces that X Y 1 g(p ) (2.12) f(p ) = . m ! j ν=1·m +2·m +···+ν·m j=1 1 2 ν In particular, g(p ) = f(p ) for every generalized prime. The formula (2.12) can be k k rewritten in terms of the (exponential) complete Bell polynomials (see e.g. [3, p. 134], where the notation Y = B is employed), n n ν 2 ν f(p ) = B (0!g(p ), 1!g(p ), . . . , (ν − 1)!g(p )). ν k k k k ν! ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 7 Conversely, taking logarithms in (2.11) and using [3, Theorem A, p. 140], (j − 1)! ν−j+1 ν j−1 2 (2.13) g(p ) = (−1) B (1!f(p ), 2!f(p ), . . . , (ν − j + 1)!f(p )), ν,j k k k k (ν − 1)! j=1 where the B stand for the partial Bell polynomials. In particular, if f is completely ν,j ν ν multiplicative, we have g(p ) = f(p ) for each k and ν ≥ 1. In view of |f(n )| ≤ 1, we k k find using (2.13) and [3, Eq. (3h), Theorem B, p. 135] (j − 1)! ν ν |g(p )| ≤ B (1!, 2!, . . ., (ν − j + 1)!) = 2 − 1. ν,j (ν − 1)! j=1 We further decompose g = g˜ + h with g(p ) if p > 2 ν k g˜(p ) = 0 otherwise. It is clear that the multiplicative arithmetic measure dG = exp (g˜ dΠ) satisfies the hypotheses we have been considering in this section. The Mellin transform of dH = exp (h dΠ) is simply the Euler product Y X f(p ) H(s) = 1 + , νs p ≤2 ν=1 which is obviously absolutely convergent for σ > 0. Using that H(s) ≪ 1 and H (s) ≪ 1 on the half-plane σ ≥ 1, the proof of Theorem 2.1 we give in Section 4 can readily be adapted to obtain (2.2) for G(x) = f(n ) from (2.3), |f(n )| ≤ 1, k k n ≤x positive density N(x) ∼ ax, and the Chebyshev upper bound. On the other hand, the conditions |f(n )| ≤ 1 and N(x) ∼ ax imply that G(x)/x is slowly oscillating, so that Theorem 2.3 is valid in this case. Applying Theorem 2.4 to G and then Lemma 3.4(i) to dG = dH ∗ dG, the Hal´asz mean-value theorem takes the form: If there is α ∈ R such that −iα 1 − ℜe (p f(p )) k=1 converges, then iα ν X Y X 1 x 1 f(p ) f(n ) = 1 − 1 + + o(1); ν(1+iα) x 1 + iα p n ≤x p ≤x ν=1 k k k otherwise, f has zero mean-value. Moreover, the assertion in Corollary 2.5 becomes: If in addition f is real-valued, we always have ∞ ∞ X Y X 1 1 f(p ) lim f(n ) = 1 − 1 + . x→∞ x p p ν=1 n ≤x k=1 k 8 G. DEBRUYNE, F. MAES, AND J. VINDAS 3. Auxiliary elementary estimates We start with a key estimate based on Rankin’s method (cf. [14, Section II.3]). Proposition 3.1. Let dG = exp (g dΠ) be a multiplicative arithmetic measure such that (3.1) |g(u)| log u dΠ(u) ≪ x log x, with β ≥ 0. Then, G(x) |g(u)| β−1 (3.2) ≪ log x exp dΠ(u) . x u Proof. We first estimate log u|dG(u)|. Note that the multiplication by log operator is a derivation on the convolution algebra of measures [7, Section 2.8]. We have log ·dG = dG ∗ (g · log dΠ) and so (3.1) yields Z Z Z x x   x x x |g(u)| β β log u |dG(u)| ≪ log |dG(u)| ≪ x log x exp dΠ(u) , − u u u 1 1 1 where we have used that multiplying by 1/u commutes with the exponential of mea- sures. We now apply Rankin’s trick, Z Z x x G(x) ≪ log u |dG(u)| + log u |dG(u)| log x 1 x |g(u)| β β−1 ≪ ( x log x + x log x) exp dΠ(u) . From here we deduce: −1 ∗ Corollary 3.2. Suppose that u dΠ(u) ≤ log log x + O(1). If dG = exp (g dΠ) is such that (3.3) |g(u)| log u dΠ(u) ≪ x, then G(x) |g(u)| − 1 (3.4) ≪ exp dΠ(u) , x u Z Z Z y ∞ e G(s) |g(u)| − 1 −2y(σ−1) (3.5) |ds| ≪ e exp 2 dΠ(u) dy s u ℜe s=σ 0 1 as σ → 1 , and G (s) 1 (3.6) |ds| ≪ . σ − 1 sG(s) ℜe s=σ ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 9 Proof. Proposition 3.1 gives (3.4). The bound (3.5) then follows from the Plancherel y −σy identity because for fixed σ the function G(s)/s is the Fourier transform of G(e )e . b b Next, −G (s)/G(s) is the Mellin transform of the measure g(u) log udΠ(u), whose prim- itive is O(x) by (3.3). So, the Plancherel theorem implies (3.6). −1 Let us point out that u dΠ(u) ≤ log log x + O(1) implies upper logarithmic −1 density u dN(u) ≪ log x. Moreover, the condition (2.1) turns out to be equivalent to a weak form of Mertens’ formula. Lemma 3.3. (2.1) holds if and only if dΠ(u) (3.7) = log log x + O(1). In addition, these relations are equivalent to ζ(σ) ≍ 1/(σ − 1). Proof. Combine [7, Proposition 4.5 and Theorem 4.7] for (2.1) if and only if (3.7). The equivalence between (2.1) and ζ(σ) ≍ 1/(σ − 1) follows from [7, Proposition 4.2, Proposition 4.8, and Corollary 4.10]. We refer the reader to [7, 13] for more information on Mertens type results for Beurling numbers. We shall also need the ensuing simple lemma. Note that part (i) is a version of Wintner’s mean-value theorem. Lemma 3.4. Let A and B be two functions of local bounded variation on [1,∞) such −1 that u |dA(u)| < ∞. Consider dD = dA ∗ dB. Given a slowly varying function ℓ with |ℓ(u)| = 1 and α, b ∈ R, we have: 1+iα 1+iα (i) B(x) = bx ℓ(x) + o(x) implies D(x) = A(1 + iα)bx ℓ(x) + o(x). −1 1+iα (ii) u B(u)du = bx ℓ(x) + o(x) implies D(u) 1+iα du = A(1 + iα)bx ℓ(x) + o(x). Proof. For (i), we have Z Z Z x x ∞ 1 B(x/u) ℓ(x/u) dA(u) dA(u) dA ∗ dB = → b . 1+iα 1+iα 1+iα 1+iα x ℓ(x) − − (x/u) ℓ(x/u) ℓ(x) u − u 1 1 1 For (ii), we notice that Z Z Z x x x B(u) du = log(x/u)dB(u) = dH ∗ dB, − − 1 1 1 −1 with dH(u) = u χ (u)du. So, [1,∞) Z Z x x D(u) du = dH ∗ dB ∗ dA, u − 1 1 whence we conclude that part (ii) is a special case of part (i). Finally, we translate (2.2) into another weighted average for dG. 10 G. DEBRUYNE, F. MAES, AND J. VINDAS Lemma 3.5. Let G be a function of local bounded variation on [1,∞) such that −1 u G(u)du = o(x log x). Consider Z Z x u du (3.8) F (x) = log y dG(y) . 1 1 Then, for ℓ slowly varying with |ℓ(u)| = 1 and some constant c ∈ R, G(u) du = cxℓ(x) + o(x) if and only if F (x) = cxℓ(x) log x + o(x log x). −1 Proof. Integrating by parts, u G(u) du ∼ cxℓ(x) is equivalent to G(u) log u du ∼ cxℓ(x) log x. We also have Z Z Z Z x x u x G(u) 1 G(y) G(u) F (x) = log u du − dydu = log u du + o(x log x), u u y u 1 1 1 1 whence the claim follows. 4. Proof of Theorem 2.1 We start with some reductions. We only need to show that (2.3) implies (2.2). The same reasoning employed at the beginning of the proof of Theorem 2.3 and Lemma 3.4(ii) allow us to assume without loss of generality that g = 0. So, our hypotheses on g are |g(x)| ≤ 1 and (3.3). We may also assume that α = 0, namely, we are supposing that c 1 1 (4.1) G(s) = L + o , s − 1 σ − 1 σ − 1 uniformly for t on compact intervals. In view of Lemma 3.3, the bound (3.4) from Corollary 3.2 applies, so G(x) ≪ x. Therefore, G fulfills the conditions of Lemma 3.5 and from now on we can restrict our attention to the function F defined in (3.8). We should prove that (4.2) F (x) = cxL(log x) log x + o(x log x). b b The Mellin-Stieltjes transform of the function F is F(s) = −G (s)/s. Given x > e, it is convenient to set σ = 1 + 1/ log x. By the Perron inversion formula, we have s−1 ′ F (x) 1 x G (s) = − ds. x 2πi s ℜe s=σx Next, we take a large number λ > 1, fixed for the while. We split the integral over the line {s : ℜe s = σ } into three pieces, taken over Γ = {σ + it : |t| ≤ λ/ log x}, 0 x Γ = {σ + it : λ/ log x < |t| ≤ λ}, 1 x Γ = {σ + it : λ < |t|}. 2 x ´ HALASZ’S THEOREM FOR BEURLING NUMBERS 11 The integral over Γ can easily be handled using the condition (4.1) and the fact that L is slowly varying; proceeding exactly as in [8, p. 239], we obtain s−1 ′ 1 x G (s) log x − ds = cL(log x) log x + O . 2πi s λ We now employ (3.6) and the Cauchy-Schwarz inequality in order to get   1/2 Z Z s−1 ′ b b x G (s) G(s) 1/2   ds ≪ log x |ds| , j = 1, 2. s s Γ Γ j j It remains to estimate the latter two integrals. For the integral over the unbounded intervals Γ , we can apply (3.5) to the multiplicative arithmetic measures ∗ ±i(λ+m) exp u g(u)dΠ(u) ; hence, Z Z Z −λ−m λ+m+1 b X G(s) 1 |ds| ≤ + G(σ + it) dt s 1 + (λ + m) Γ −λ−m−1 λ+m m=0   2 2 X b b 1 G(s + i(λ + m)) G(s − i(1 + λ + m))   ≤ 5 + |ds| 1 + (λ + m) s s ℜe s=σ m=0 1 log x −2(σ −1)y ≪ e dy = O . λ λ On the other hand, using (4.1), 2 2 Z Z 1/2 3/4 b b G(s) log x (G(s)) |ds| ≤ |c| + o (log x) |ds|. s λ s Γ ℜe s=σ 1 x 3/4 To deal with the last integral we notice that (G(s)) is the Mellin transform of the arithmetic measure exp (3g/4 dΠ) . Applying Plancherel’s identity and (3.2) to this measure, using the upper bound from (3.7) and the hypothesis |g(u)| ≤ 1, we obtain Z Z Z y ∞ e 3/4 (G(s)) (3/4)|g(u)| −2y(σ −1) −2 |ds| ≪ e y exp 2 dΠ(u) dy s u ℜe s=σ 0 1 −2y(σ −1) −1/2 1/2 ≪ e y dy ≪ log x. Collecting all estimates, we arrive at F (x) 1 − c ≪ + o (1). 1/4 x log xL(log x) λ Taking first the limit superior as x → ∞ and then λ → ∞, we have shown (4.2). This establishes Theorem 2.1. 12 G. DEBRUYNE, F. MAES, AND J. VINDAS Remark 4.1. It is worth pointing out that we have not used the lower bound from (3.7) in this section. Thus, our proof above shows that Theorem 2.1 still holds true if −1 the hypothesis (2.1) is relaxed to u dΠ(u) ≤ log log x + O(1). References [1] P. T. Bateman, H. G. Diamond, Asymptotic distribution of Beurling’s generalized prime numbers, in: Studies in number theory, W. J. LeVeque, ed., pp. 152–210, Mathematical Association of America, 1969. [2] A. Beurling, Analyse de la loi asymptotique de la distribution des nombres premiers g´en´eralis´es, Acta Math. 68 (1937), 255–291. [3] L. Comtet, Advanced combinatorics. The art of finite and infinite expansions, D. Reidel Publish- ing Co., Dordrecht, 1974. [4] H. Daboussi, K. H. Indlekofer, Two elementary proofs of Hal´asz’s theorem, Math. Z. 209 (1992), 43–52. [5] G. Debruyne, H. G. Diamond, J. Vindas, M(x) = o(x) Estimates for Beurling numbers, J. Th´eor. Nombres Bordeaux 30 (2018), 469–483. [6] G. Debruyne, J. Vindas, On Diamond’s L criterion for asymptotic density of Beurling general- ized integers, Michigan Math. J. 68 (2019), 211–223. [7] H. G. Diamond, W.-B. Zhang, Beurling generalized numbers, Mathematical Surveys and Mono- graphs series, American Mathematical Society, Providence, RI, 2016. [8] P. D. T. A. Elliott, Probabilistic number theory. I. Mean-value theorems. Grundlehren der Math- ematischen Wissenschaften, 239, Springer-Verlag, New York-Berlin, 1979. [9] G. Hal´asz, Uber die Mittelwerte multiplikativer zahlentheoretischer Funktionen, Acta Math. Acad. Sci. Hungar. 19 (1968), 365–403. [10] J. Korevaar, Tauberian theory. A century of developments, Grundlehren der Mathematischen Wissenschaften, Vol. 329, Springer-Verlag, Berlin, 2004. [11] L. Lucht, K. Reifenrath, Mean-value theorems in arithmetic semigroups, Acta Math. Hungar. 93 (2001), 27–57. [12] H. L. Montgomery, R. C. Vaughan, Multiplicative number theory. I. Classical theory, Cambridge Studies in Advanced Mathematics, 97, University Press, Cambridge, 2007. [13] P. Pollack, On Mertens’ theorem for Beurling primes, Canad. Math. Bull. 56 (2013), 829–843. [14] W. Schwarz, J. Spilker, Arithmetical functions. An introduction to elementary and analytic prop- erties of arithmetic functions and to some of their almost-periodic properties, London Mathemat- ical Society Lecture Note Series, 184, Cambridge University Press, Cambridge, 1994. [15] G. Tenenbaum, Introduction to analytic and probabilistic number theory, Graduate Studies in Mathematics, 163, American Mathematical Society, Providence, RI, 2015. [16] W.-B. Zhang, A generalization of Hal´asz’s theorem to Beurling’s generalized integers and its application, Illinois J. Math. 31 (1987), 645–664. [17] W.-B. Zhang, Hal´asz’s theorem for Beurling numbers, Acta Arith. 183 (2018), 223–235. Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent Uni- versity, Krijgslaan 281, B 9000 Ghent, Belgium E-mail address: gregory.debruyne@UGent.be E-mail address: frederick.maes@UGent.be E-mail address: jasson.vindas@UGent.be

Journal

Mathematics – arXiv (Cornell University)

Published: Feb 11, 2019

There are no references for this article.