Abstract
CMO functions multiplicative functions f for which \(\sum _{n=1}^\infty f(n) =0\). Such functions were first defined and studied by Kahane and Saïas [14]. We generalised these to Beurling prime systems with the aim to investigate the theory of the extended functions and we shall call them \(CMO_{\mathcal {P}}\) functions. We give some properties and find examples of \(CMO_{\mathcal {P}}\) functions. In particular, we explore how quickly the partial sum of these classes of functions tends to zero with different generalised prime systems. The findings of this paper may suggest that for all \(CMO_{\mathcal {P}}\) functions f over \(\mathcal{{N}}\) with abscissa 1, we have
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Completely multiplicative function with sum zero
A function \(f: \mathbb {N}\longrightarrow \mathbb {C}\) is called a completely CMO function if it satisfies the two following conditions:
Such functions were first introduced by Kahane and Saïas [14]. One motivation for them is to gain further insight into the zeros of Dirichlet series with completely multiplicative coefficients. Namely, the Generalised Riemann Hypothesis as discussed below. They also gave some properties and examples of such functions. For instance, they discussed various examples of CMO functions including \(f(n)=\frac{\lambda (n)}{n}\), where \(\lambda (n)\) is the Liouville function and \(f(n)=\frac{\chi (n)}{n^\alpha }\), where \(\chi \) is a non-principal Dirichlet character and \(\alpha \) is a zero of \(L_\chi \) with \(\mathfrak {R}\alpha >0\).
This study led them to consider the question of how quickly \(\sum _{n \le x}f(n)\) can tend to zero. They suggested that it is always \(\Omega \left( \frac{1}{\sqrt{x}}\right) \) and the Generalised Riemann Hypothesis–Riemann Hypothesis (GRH–RH) would follow if their statement is true. This suggestion is incredibly difficult to prove, but it might be easier to disprove; i.e., to find examples such that
To date no such counter examples have been found. One approach to consider this counter example question is to consider examples of generalised CMO functions on Beurling prime systems.
1.2 Beurling generalised prime systems
The concept of generalised primes and generalised integers was introduced by Beurling [3] in the 1930s and has been studied by many researchers since then (see for instance [2, 4, 11, 15, 18]). The structure of this system is defined to be a sequence of real positive numbers \({\mathcal {P}} = \{p_1,p_2,p_3,\ldots \}\) which need not be actual primes (or even integers) satisfying
and for which \(p_i\longrightarrow \infty \) as \(i\longrightarrow \infty \). With this sequence we can form a new increasing sequence
of real numbers which represent all possible products \(\prod _{i=1}^k p_{i}^{a_i}\), where \(k\in \mathbb {N}\) and \(a_1, a_2, \ldots ,a_k\in \mathbb {N}_0\).Footnote 1 These new elements are called generalised integers associated to \(\mathcal{P}\) and denoted by \(\mathcal{N}\); (i.e. \(\mathcal{N} = \{n_i\}_{i \ge 1}\)). Attached to these systems we have the usual counting functions \(\pi _\mathcal{{P}}(x)\) and \(N_\mathcal{{P}}(x)\) which are the sum over all the g-primes and g-integers not exceeding the positive real number x, counting multiplicities, respectively; that is
These type of systems are discrete systems, where \(\pi \) and N are step functions with integer jumps. There is also a concept of continuous g-prime systems [8, 12], but they shall not concern us here. The generalised zeta function, the associated zeta function, is formally defined by
We say that a g-prime system \({\mathcal {P}}\) has an abscissa of convergence \(\sigma _c\) if and only if the sum of (1) converges for \(\mathfrak {R}s > \sigma _c\) and diverges for \(\mathfrak {R}s < \sigma _c\). The product is called the Euler product of the Beurling zeta function. The sum of (1) represents the generalised Dirichlet series which will be generated by multiplying out this product in the same way as the standard Euler product, defined in many books and papers.
In this paper, we outline some relevant ideas and results about g-primes and g-integers, in order to prove the main results in this paper, where we are interested in g-prime systems for which both \(N_{\mathcal {P}}(x)\) and \(\psi _{\mathcal {P}}(x)\) are simultaneously “well-behaved”. These systems were investigated by Hilberdink [11] and have the following properties:
and
hold for all \(\varepsilon >0\), but for no \(\varepsilon <0\) and \(0 \le \alpha , \beta <1\). For the usual primes, (2) holds with \(\beta =0\) and if the RH is true, then (3) would hold for \(\alpha =\frac{1}{2}\). Such systems exist as was shown by Zhang [17]. Indeed, \({\mathcal {P}}_Z\) (his system) satisfies these with \(\alpha = \beta = \frac{1}{2}\). We also study such systems where either of (2) or (3) holds with \(\alpha , \beta <\frac{1}{2}\).
1.3 Completely multiplicative function on \(\mathcal {N}\)
An arithmetical function with domain \({\mathcal {N}}\) is a function \(f: {\mathcal {N}} \longrightarrow \mathbb {C}\) which is defined on the multi-set of Beurling integers \({\mathcal {N}}\).
Note that we are abusing the notion of function in case of multiplicities. This is done for clarity of notation. In much of our work, we are not interested in the arithmetic function \(f: {\mathcal {N}} \longrightarrow \mathbb {C}\) itself, but in the partial sum of the function f(n) up to and including x; i.e.
which is a function because it counts all the possible elements of \({\mathcal {N}}\) up to x. A function \(f: {\mathcal {N}} \longrightarrow \mathbb {C}\) is said to be multiplicative on \({\mathcal {N}}\) if \(f(1) = 1\) and \(f(mn) = f(m)f(n)\) whenever \((m, n) = 1\). Such an f is said to be completely multiplicative [5, 16] if we also have \(f(mn) = f(m)f(n)\) for all values of \( m, n \in \mathcal {N}\), where (m, n) is defined as the largest g-integer that divides both m and n. We define the generalised Liouville function on \({\mathcal {N}}\), is an example of completely multiplicative function, to be \(\lambda _ {\mathcal {P}}(1) =1\) and \(\lambda _ {\mathcal {P}}(n) = (-1)^{a_1 + \cdots + a_k}\) for \( n = p_1^{a_1}\cdots p_k^{a_k}\in {\mathcal {N}}\), where \(k\in \mathbb {N}\) and \(a_1, \ldots ,a_k\in \mathbb {N}_0\). As for classical multiplicative functions, if f and g are multiplicative functions and \(f(p^k) = g(p^k)\) for all g-primes \(p \in \mathcal {P}\) and \(k \in \mathbb {N}_0\), then \(f = g\).
We also define the generalised Chebyshev function over \({\mathcal {N}}\) with the sum extending over all g-prime numbers \(p \in \mathcal{{P}}\) that are less than or equal to x as follows:
As in classical prime number theory, we introduce the g-prime counting function
It is related to \(\psi _\mathcal{{P}}(x)\) via
We can also define the functions \(l_{\mathcal {P}}\) and \(m_{\mathcal {P}}\) which represent the following partial sums:
1.4 Relationship between \(\lambda _{\mathcal {P}}\) and \(\mu _{\mathcal {P}}\)
In this section, we derive results which establish relationships between the \(\lambda _{\mathcal {P}}\) and \(\mu _{\mathcal {P}}\) functions as in the classical case. Of course, we shall always be aware that these are not necessarily functions if they are made from different g-primes. We first introduce two useful propositions and described as follows, which their proofs are standard.
Proposition 1
For every \(n \in {\mathcal {N}},\) we have
Proposition 2
For every \(n \in {\mathcal {N}},\) we have
As consequences of propositions 1 and 2 we have
and
Lemma 3
Let \({\mathcal {P}}\) be a g-prime system for which \(\sum _{n \in {\mathcal {N}}}\frac{1}{n^2}\) converges. Then \(N_{\mathcal {P}}(x)=o(x^2).\)
Proof
Since \(\sum _{n \in {\mathcal {N}}}\frac{1}{n^2} \,\,\text{ converges }\) and put
then, by Abel summation,
\(\square \)
We now establish a relationship between \( l_{\mathcal {P}}(x)\) and \(m_{\mathcal {P}}(x)\) in terms of these sum functions tending to zero with increasing terms.
Theorem 4
Let \({\mathcal {P}}\) be a g-prime system for which \(\sum _{n \in {\mathcal {N}}}\frac{1}{n^2}\) converges. Then \( l_{\mathcal {P}}(x) = o(1)\) if and only if \(m_{\mathcal {P}}(x) =o(1)\).
Proof
Suppose \(m_{\mathcal {P}}(x) = o(1)\). Let \(\varepsilon >0\). Then \(|m_{\mathcal {P}}(x)| <\varepsilon \) for \(x \ge x_0\), some \(x_0\). Thus \(\left| m_{\mathcal {P}}\left( \frac{x}{d^2}\right) \right| <\varepsilon \) if \(\frac{x}{d^2}\ge x_0\). Hence (4) gives
Letting \(x \longrightarrow \infty \) and using \(N_{\mathcal {P}}(\sqrt{x})=o(x)\) (by Lemma 3), we find
This is true for all \(\varepsilon >0 \). Since \(\varepsilon \) is arbitrary, then \(l_{\mathcal {P}}(x) \rightarrow 0\).
Now suppose \( l_{\mathcal {P}}(x) = o(1)\). Let \(\varepsilon >0\). Then \(|l_{\mathcal {P}}(x)| <\varepsilon \) for \(x \ge x_0\), some \(x_0\). Thus \(\left| l_{\mathcal {P}}\left( \frac{x}{d^2}\right) \right| <\varepsilon \) if \(\frac{x}{d^2}\ge x_0\). Hence (5) gives
Letting \(x \longrightarrow \infty \) and using \(N_{\mathcal {P}}(\sqrt{x})=o(x)\) (by Lemma 3), we find
This is true for all \(\varepsilon >0 \). Since \(\varepsilon \) is arbitrary, then \(m_{\mathcal {P}}(x) \rightarrow 0\). \(\square \)
Remark 5
In particular, if the abscissa of the g-prime system \({\mathcal {P}}\) is 1, then \(m_{\mathcal {P}}(x)\) and \(l_{\mathcal {P}}(x)\) tend to zero together.
The following theorem establishes a useful correspondence between
Theorem 6
Let \({\mathcal {P}}\) be a g-prime system with abscissa 1 and let \(\frac{1}{2} <a \le 1\). Then \(L_{\mathcal {P}}(x) =O(x^a)\) if and only if \(M_{\mathcal {P}}(x)=O(x^a)\).
Proof
Assume \(M_{\mathcal {P}}(x)=O(x^a)\). Then, in the same way that we obtained (4), we have
\(\text{ since }\,\, 2a>1, \,\, \text{ so }\,\, \zeta _{\mathcal {P}}(2a)\,\, \text{ exists }\).
For the converse, assume \( L_{\mathcal {P}}(x) =O(x^a)\). Since \(|\mu _{\mathcal {P}}(d)| \le 1\), in the same way that we obtained (5), we have
\(\square \)
2 Completely multiplicative function with sum zero on \(\mathcal {N}\)
Let \({\mathcal {P}}\) be a g-prime system. We say that \(f: {\mathcal {N}} \longrightarrow \mathbb {C}\) is a \(\hbox {CMO}_{\mathcal {P}}\) function if it satisfies the following conditions:
This is a generalisation of a CMO function. We investigate some properties of \(CMO_{\mathcal {P}}\) functions. The same questions that were asked by Kahane and Saïas [14] about CMO functions can be discussed for \(CMO_{\mathcal {P}}\) functions. For example, how quickly \(\sum _{n\le x}f(n)\) can tend to zero. In particular, we would like to investigate how quickly the partial sum of \(\lambda _{\mathcal {P}}(n)\) over n up to and including x tends to zero with different type of systems where \(\lambda _\mathcal{{P}}(n)\) is Liouville’s function over \(\mathcal {N}\). Specially, we discuss O-Results of \(\sum _{n\le x}\frac{\lambda _{\mathcal {P}}(n)}{n}\) over \( {\mathcal {N}}\) with a system which satisfies
for all \(\varepsilon >0\), but for no \(\varepsilon <0\) and \( 0 \le \alpha , \beta <1\). As special case we treat Zhang’s system (see Theorem 1 of [17]) with error term \(O\left( {x^{ \frac{1}{2}}} e^{\left( {c\log x}\right) ^{\frac{2}{3}}}\right) \) for the counting function \(N_{\mathcal {P}}(x)\) and \(O(x^{\frac{1}{2}})\) for \(\psi _{\mathcal {P}}(x)\). We show that \(\sum _{n\le x}\frac{\lambda _{\mathcal {P}}(n)}{n}\) for the system which satisfies (6) is \(O\big (\frac{1}{x^{1-\Theta -\varepsilon }} \big )\), where \(\Theta \) is the maximum value between \(\alpha \) and \(\beta \), whereas Zhang’s system gives
where \(L_{\mathcal {P}}(x)\) is the partial sum of the Liouville function on \({\mathcal {N}}\) as defined previously. This can be compared to the conditional result of Balazard and de Roton [1] concerning the Möbius function of the standard integers. They showed that assuming RH,
where M(x) is the partial sum of the Möbius function. Following the above result, Theorem 6 can be used to show that
We notice that the right hand side of (7) can be automatically improved if one would be able to improve the error term in Zhang’s system.
We also explore \(\Omega \) Results for the behaviour of \( \sum _{n \le x } \frac{\lambda _ {\mathcal {P}}(n)}{n}\) for a system \({\mathcal {P}}\) which satisfies either the assumption
for some \(\alpha , \beta <\frac{1}{2}\). The aim is to find a completely multiplicative function f over \(\mathcal {N}\) with abscissa 1 such that
3 Some properties of \(CMO_{\mathcal {P}}\) functions
In this section, we derive some preliminary properties of \(CMO_{\mathcal {P}}\) functions.
Proposition 7
Let f be a completely multiplicative function over \( {\mathcal {N}}\). Then \(\sum _{n \in {\mathcal {N}}} |f(n)| \) converges if and only if \(\sum _{p \in {\mathcal {P}}} |f(p)|\) converges and \(\sup _{p \in {\mathcal {P}}} |f(p)|<1\) for all \(p\in {\mathcal {P}}\).
Proof
It straightforward that the series \(\sum _{p \in {\mathcal {P}}} |f(p)|\) converges and \(\sup _{p \in {\mathcal {P}}} |f(p)|<1\) for all \(p\in {\mathcal {P}}\) if \(\sum _{n \in {\mathcal {N}}} |f(n)|\) converges.
Now suppose \(\sum _{p \in {\mathcal {P}}} |f(p)|\) converges and \(|f(p)|<1\) for all \(p\in {\mathcal {P}}\). We want to prove \(\sum _{n \in {\mathcal {N}}} |f(n)|\) converges.
From above, \(c=\sup _{p \in {\mathcal {P}}} |f(p)| <1\). Therefore \(\prod _{p \in {\mathcal {P}}} \frac{1}{1-|f(p)|}\) converges since
Now
Hence \(\sum _{n \in {\mathcal {N}}} |f(n)|\) converges. \(\square \)
Proposition 8
Let f be a \(CMO_{{\mathcal {P}}}\) function. Then \(\sum _{n \in {\mathcal {N}}} |f(n)|\) diverges. Indeed \(\sum _{p \in {\mathcal {P}}} |f(p)|\) diverges.
Proof
Let us assume the contrary, so that
Then, by completely multiplicativity,
This contradiction implies
Furthermore, Proposition 7 gives \(\sum _{p \in {\mathcal {P}}} |f(p)|\) diverges, as required. \(\square \)
3.1 Partial sums of \(CMO_{\mathcal {P}}\) functions
We know that the partial sum of an \(CMO_{\mathcal {P}}\) function not exceeding x tends to zero when x tends to infinity. A question raised by Kahane and Saïas [14] regarding CMO functions is: can one show, given g(x), that there exists a CMO function f with
We are not considering this question, but we are interested in a related question which is: how small can we make g(x), so that the above is true for all \(CMO_{\mathcal {P}}\) functions f? To answer this we need some assumptions on g-prime systems.
Proposition 9
Let \({\mathcal {P}}\) be a g-prime system such that all g-primes are distinct for which \(\sum _{p \in {\mathcal {P}}} \frac{1}{p \log p} \) converges. If f is a \(CMO_{\mathcal {P}}\) function, then
Proof
Let us assume that the statement is false, so that
We know that for every \(p \in {\mathcal {P}}\), we have
Now it follows that \(\sum _{p \in {\mathcal {P}}} |f(p)|\) converges and \(|f(p)|<1\) for all \( p\in {\mathcal {P}}\) by the assumptions. Hence, by Proposition 7, we have \( \sum _{n\in {\mathcal {N}} } |f(n)|\) converges. However by Proposition 8 we have a contradiction, and so it follows that
\(\square \)
Remark 10
-
(i)
Similarly, we can get different results by having different assumptions on the g-prime systems such that all g-primes are distinct.Footnote 2 For Example, if f is a \(CMO_{{\mathcal {P}}}\) function and \( \mathcal {P}\) is a g-prime system with such that all g-primes are distinct for which \(\sum _{p \in {\mathcal {P}}} \frac{1}{p(\log \log p)^2}\) converges, then
$$\begin{aligned} \sum _{\tiny \begin{array}{c} n \le x \\ n\in {\mathcal {N}} \end{array}} f(n) = \Omega \Big ( \frac{1}{x (\log \log x)^2} \Big ). \end{aligned}$$(9) -
(ii)
Kahane and Saïas [14] have shown that if f is a CMO function, then
$$\begin{aligned} \sum _{n \le x} f(n)= \Omega \big ( \frac{1}{x} \big ). \end{aligned}$$Now if we assume \(\sum _{p \in {\mathcal {P}}} \frac{1}{p}\) converges, then the sum on the left of (9) is \(\Omega (\frac{1}{x})\); although the latter condition appears to be a bit unnatural in a number-theoretic context.
3.2 Closeness relation between two completely multiplicative functions which are defined over \({\mathcal {N}}\)
Let \({\mathcal {C}}{\mathcal {M}}_{{\mathcal {P}}} := \{ f:{\mathcal {N}} \longrightarrow \mathbb {C}\,\, \text{ completely } \text{ multiplicative }\}\), and let us define an (extended) metric on \({\mathcal {C}}{\mathcal {M}}_{{\mathcal {P}}}\) to be the distance function
Then \({\mathcal {C}}{\mathcal {M}}_{\mathcal {P}}\) is an extended metric space since D(f, g) can attain the value \(\infty \). We aim to generalise Theorem 3 of Kahane and Saïas [14] over Beurling prime systems.
The following theorem shows that if f is a \(CMO_{\mathcal {P}}\) function and g is a nearby completely multiplicative function on \({\mathcal {N}}\), then g is also a \(CMO_{\mathcal {P}}\) function. In other words, under extra conditions on the values of g-primes for two completely multiplicative functions if one is a \(CMO_{\mathcal {P}}\), then so is the other.
Theorem 11
Let \({\mathcal {P}}\) be a g-prime system with abscissa 1, f a \(CMO_{\mathcal {P}}\) function and g a completely multiplicative function on \({\mathcal {P}}\) such that
and
Then g is a \(CMO_{\mathcal {P}}\) function.
Proof
Let \(F(s):=\sum _{n\in {\mathcal {N}}} \frac{f(n)}{n^s}\) and \(G(s):=\sum _{n\in {\mathcal {N}}} \frac{g(n)}{n^s}\). Then the series for F(s) is absolutely convergent for \(\mathfrak {R}s>1\) and it is convergent for \(\mathfrak {R}s >0\) and \(s=0\) since \(\sum _{n\in {\mathcal {N}}} f(n) = 0\). Assumption (10) and that g is completely multiplicative function imply \(|g(n)|\le 1\). Thus the series for G(s) also converges for \(\mathfrak {R}s >1\) since g is bounded and the abscissa of \({\mathcal {P}}\) is 1. Therefore F(s) and G(s) can be written as follows:
Now
converges absolutely for \(\mathfrak {R}s \ge 0\) if and only if
converges for \(\mathfrak {R}s \ge 0\). But
since \(\left| 1-\frac{g(p)}{p^{s}}\right| \ge \frac{1}{2}\) for p sufficiently large and \(\mathfrak {R}s > 0\). Thus H(s) converges absolutely to a holomorphic function for \(\mathfrak {R}s > 0\). However, \(H(s)=(G/F)(s)\) for \(\mathfrak {R}s >1\) then \(G(s)=F(s)H(s)\), where the series for F(s) converges for \(\mathfrak {R}s> 0\) and \(s=0\) since f is a \(CMO_{\mathcal {P}}\) function, and H(s) converges absolutely for \(\mathfrak {R}s\ge 0\). Therefore G(s) converges for \(\mathfrak {R}s> 0\) and \(s=0\). Thus we have \(G(0)=F(0)H(0)=0\). Hence g is a \(CMO_{\mathcal {P}}\) function. \(\square \)
The proof of Theorem 11 implies the following result.
Corollary 12
Let \({\mathcal {P}}\) be a g-prime system with abscissa 1, f and g both be completely multiplicative functions on \({\mathcal {P}}\) such that D(f, g) is finite and satisfying
Then the following two assertions are equivalent:
4 The function \(\frac{\lambda _{\mathcal {P}}(n)}{n}\) over different systems \({\mathcal {P}}\)
In this section, we provide some examples of \(CMO_{\mathcal {P}}\) functions. In particular, we introduce some examples of the function \(\frac{\lambda _{\mathcal {P}}(n)}{n}\) with different g-prime systems where \(\lambda _{\mathcal {P}}(n)\) is the Liouville function over the g-prime system \(\mathcal{{P}}\). We emphasize that we are only interested in those systems for which the abscissa of convergence of the Dirichlet series for \(\zeta _\mathcal{{P}}\) is 1.
Example 13
As shown in [6, 7, 9, 10], if \(\mathcal{{P}}\) satisfies one of the following assumptions:
or
or
or
or
then \(\sum _{n \in {\mathcal {N}}}\frac{\mu _{\mathcal {P}}(n)}{n}=0\). Therefore, by using Theorem 4, \(\sum _{n \in {\mathcal {N}}}\frac{\lambda _{\mathcal {P}}(n)}{n}=0\). Hence \(\frac{\lambda _{\mathcal {P}}(n)}{n}\) is a \(CMO_{\mathcal {P}}\) function since it is completely multiplicative with sum zero.
In fact, we do not even need \(\pi _{\mathcal {P}}(x)\sim \frac{x}{\log x}\) for \(\sum _{n\in {\mathcal {N}}} \frac{\lambda _ {\mathcal {P}}(n)}{n}= 0\) to be true since it is shown in [7] that the following condition
with distinct \(t_j >0 \,\, \text{ and } \,\, (1+t_j^2)^{1/2}\,|b_j\cos (y_j+\arctan t_j)|<2, \,\, j=1, \ldots , k,\) is also sufficient to have \(\sum _{n\in {\mathcal {N}}} \frac{\mu _ {\mathcal {P}}(n)}{n}= 0\).
From Example 13, we see that \(\sum _{n\in {\mathcal {N}}} \frac{\lambda _ {\mathcal {P}}(n)}{n}= 0\), but how quickly does it converge?
4.1 O-results for Euler’s example over \( {\mathcal {N}}\)
In this section, we shall be interested in the behaviour of \( \sum _{n \le x } \frac{\lambda _ {\mathcal {P}}(n)}{n}\) over a g-prime system \({\mathcal {P}}\) which satisfies
and
as \( x \longrightarrow \infty \) for all \(\varepsilon >0\), but for no \(\varepsilon <0\) and \(0\le \alpha , \beta <1\).
Theorem 14
Given a g-prime system \({\mathcal {P}}\) satisfying (19) and (20) for some \(\beta , \alpha <1,\) and let \(\lambda _ {\mathcal {P}} \) as defined before, we have
where \(\Theta =\max \{\alpha ,\beta \}\).
Proof
We let \( {\mathcal {P}} \) denote a g-prime system satisfying (19) and (20). Then, for all \(\mathfrak {R}s > 1 \), we have
We need a bound for \(Z_{{\mathcal {P}}}(s)\) on vertical line \(s=\sigma +it\) with |t| large and \(\sigma > \Theta \). To find such bound of \( Z_{\mathcal {P}}(s)\), we start with
for \(\sigma >\frac{1}{2}\).
From the proof of Theorem 2.3 of [13], for \( \sigma > \Theta \), we have
In particular, for \( \sigma > \Theta \),
Hence, for \( \sigma > \Theta \),
Using the inverse Mellin transform we have for \(x > 0, \, x \notin {\mathcal {N}}\)
Now split the range into \((c - i\infty , c - iT]\), \([c - iT, c + iT] \) and \([c + iT, c + i\infty )\), where \(T > 0\) is a suitable function of x which will be chosen later, we obtain
Denote the left integral by \(I_1\). We note that assumption (19) implies \(\zeta _{ \mathcal {P}} ({s})\) has an analytic continuation to {\({ s \in \mathbb {C} :\mathfrak {R}s > \beta }\)} except for a simple pole at \(s = 1\). This implies \((U_{\mathcal {P}}(s)=) \frac{1}{\zeta _{ \mathcal {P}} ({s})}\) is holomorphic for \(\mathfrak {R}s > \beta \). However, assumption (20) implies that \(\zeta _{ \mathcal {P}}(s)\) is holomorphic for \(\mathfrak {R}s > \alpha \) except for a simple pole at \(s=1\) and \(\zeta _{ \mathcal {P}}(s) \ne 0\) in this region (see Theorem 2.1 of [13]). Thus (19) and (20) together show \(\zeta _{ \mathcal {P}}(s)\) is holomorphic and has no zeros for \(\mathfrak {R}s > \Theta \) except for a simple pole at \(s = 1\). Hence \(U_{\mathcal {P}}(s)\) has a simple zero at \(s = 1\) and an analytic continuation to {\({ s \in {\mathbb {C}} : \mathfrak {R}s > \Theta }\)}. Thus \( (Z_{\mathcal {P}}(s) =) \frac{ \zeta _{ \mathcal {P}} ({2s}) }{\zeta _{ \mathcal {P}} ({s})}\) has an analytic continuation to {\({ s \in {\mathbb {C}} : \mathfrak {R}s > \Theta }\)} with a simple zero at \(s = 1\). Hence \( Z_{\mathcal {P}}(s) \) is holomorphic for \(\sigma > \Theta \) since \(\zeta _{ \mathcal {P}} ({2s})\) is holomorphic for \(\sigma > \Theta \) because \(\Theta \ge \frac{1}{2}\) (see [13]).
Now move the contour past the line \(s = 1 \) to the line \(\mathfrak {R}s = \sigma \) for any \(\sigma > \Theta \) since \(Z_{\mathcal {P}}(s)\) is holomorphic in this region. Hence
These integrals will be estimated by using the bound \(|Z_{\mathcal {P}}(s)| = O({t^\varepsilon })\) for all \(\varepsilon >0\). The integral over the horizontal path \([\sigma +iT, c+iT]\) is
by (21). Similarly for the integral over \([c-iT, \sigma -iT]\). On the line \(\mathfrak {R}s = \sigma \), we will have
by (21). Hence
Now the right integral of (22) will be estimated as follows:
The range is split into \(\big ( n \ge 2x\) and \(n \le \frac{x}{2}\big )\) and \(\left( \frac{x}{2}< n <2x \right) \) in order to use the bound \(\left| \log \frac{x}{n}\right| \ge \log 2\) for the first range. This gives
\( \text{ Using }\, \big |\log \frac{x}{n}\big | = \big |\log \big (1+\frac{n-x}{x}\big )\big | \asymp \frac{|{n-x} |}{x} \,\,\text{ for } \text{ the } \text{ second } \text{ range, } \text{ we } \text{ obtain }\)
Therefore
Taking \(c = 1+ \frac{1}{\log x}\) and using \(\zeta _{ \mathcal {P}} ({1+\delta })=O(\frac{1}{\delta })\), gives
for \(x \notin {\mathcal {N}}\) and for all \( \varepsilon >0\). We need to bound the term on the right hand side, which is difficult for general x when n is an integer close to x, as then \(|n-x|^{-1}\) could be very large. To take into account this eventuality we choose x here such that \(|n-x| <\frac{1}{x^2} \). This ensures that it stays away from these integer n; i.e.
Then, for \(\text{ such }\, x\),
Hence, for such x,
Taking \(T = x^4\), then
Taking \(\sigma = \Theta + \varepsilon \) for any \(\varepsilon > 0\), then
whenever x is such that \( \big ( x - \frac{1}{x^2},x + \frac{1}{x^2} \big ) \cap {\mathcal {N}} = \phi \). Now we follow the method used in the proof of Theorem 2.1, originally given in (see [13, p. 30]). Exactly as in [13], one shows that
Then the result will follow since
Hence
since
by (19). Thus
Now, by Abel Summation, this gives the result. \(\square \)
Remark 15
-
(i)
It was shown in Theorem 1 of [11] that \(\Theta \ge \frac{1}{2}\). Thus, \(1-\Theta \le \frac{1}{2}\) and in Theorem 14, we can therefore only have an example with exponent \(\le \frac{1}{2}\) for such systems.
-
(ii)
If \(\Theta = \frac{1}{2}\) in Theorem 14, then we have \(l_{\mathcal {P}}(x)=O\big (\frac{e^{\varepsilon \log x}}{x^{\frac{1}{2}}}\big )\) for all \(\varepsilon >0\). We can do slightly better than this bound if we take \({\mathcal {P}}={\mathcal {P}}_Z\) (Zhang’s system) which is a special case of a well-behaved system. In this case
$$\begin{aligned} \begin{aligned} N_\mathcal{{P}}(x) =\rho x+O\left( {x^{ \frac{1}{2}}} e^{c({\log x})^{\frac{2}{3}}}\right) \quad \text{ for } \text{ some }\,\, \rho ,c >0 \end{aligned} \end{aligned}$$(23)and
$$\begin{aligned} \begin{aligned} \pi _\mathcal{{P}}(x) = \text{ li }(x)+O\left( {x^{ \frac{1}{2}}}\right) \end{aligned} \end{aligned}$$(24)hold. The existence of \({\mathcal {P}}_Z\) was shown by Zhang [17]. The proof of the following theorem is roughly identical with the previous theorem except that we need a strictly stronger bound on \(Z_{\mathcal {P}}(s)\) than (21).
Theorem 16
For Zhang’s system \({\mathcal {P}}_Z,\) we have
Remark 17
As in the proof of Theorem 14 the idea is to find a bound for \( \sum _{ n \le x }\lambda _ {\mathcal {P}}(n)\). As mentioned above, we need a stronger bound for \(Z_{\mathcal {P}}(s)\). This can be found by using Theorem 7.11 of Zhang [10].
Proof of Theorem 16
We know from the proof of Theorem 7.11 of Zhang that there is a sequence of real numbers which represents a set of g-primes, \((i.e. \,\,\mathcal {P}=\) \(\{p_j\}\)), \(j=1,2,\ldots \), such that
for \(1 \le x < \infty \) and \(t \ge 0\), where
In particular, when \(t=0\),
and hence
Further Zhang showed that \(\zeta _{ {\mathcal {P}}}(s)\) can be written as
where
and
Since
for \(v>1\). Therefore
The right integral converges uniformly for \(\sigma > \frac{1}{2}\). Thus \(F_1(s)\) is holomorphic for \(\sigma > \frac{1}{2}\). By (26) and (27) that \(F_2(s)\) is also holomorphic for \(\sigma > \frac{1}{2}\). Hence \(\zeta _{ \mathcal {P}}(s)\) has an analytic continuation in the half plane \( \sigma > \frac{1}{2} \) except for a simple pole at \(s=1\) with residue \(k=\exp \{ F_2(1)-F_1(1) \} >0\). From (25), we have
Now, by Lemma 17.13 of [10], we have for \(t \in \mathbb {R}\)
uniformly for \(\frac{1}{2} < \sigma \le 2\). Furthermore, (28) imply that
uniformly for \(\frac{1}{2} < \sigma \le 2\). Hence \(\zeta _{\mathcal {P}}\) is holomorphic for \(\frac{1}{2} < \sigma \le 2\) except for a pole at \(s=1\), and for these values satisfies uniformly
Then, for \(\frac{1}{2} < \sigma \le 2\) and \(|t| \ge 1\), we have
Hence
We know from Theorem 17.11 of Zhang in [10] that the function \(\zeta _{ \mathcal {P}} ({s})\) has an analytic continuation to {\({ s \in {\mathbb {C}} :\mathfrak {R}s > \frac{1}{2} }\)} except for a simple pole at \(s = 1\). Also, \(\zeta _{ \mathcal {P}} ({s})\) has no zeros for \(\sigma > \frac{1}{2}\) but \( \frac{1}{\zeta _{ \mathcal {P}} ({s})}\) has a simple zero at \(s = 1\) and analytic continuation to \(\left\{ { s \in {\mathbb {C}} : \mathfrak {R}s > \frac{1}{2} }\right\} .\) Thus \(Z_{\mathcal {P}}(s)\) has an analytic continuation to \(\left\{ { s \in {\mathbb {C}} : \mathfrak {R}s > \frac{1}{2}}\right\} \) with a simple zero at \(s = 1\). Thus \( Z_{\mathcal {P}}(s) \) is holomorphic for \(\sigma > \frac{1}{2}\) since \(\zeta _{ {\mathcal {P}}} ({2s})\) is holomorphic for \(\sigma > \frac{1}{2}\). Now move the contour past the line \(s=1\) to the line \(\mathfrak {R}s = \sigma \) for any \(\sigma > \frac{1}{2}\) since \( Z_{\mathcal {P}}(s) \) is holomorphic in this region, we obtain
These integrals will be estimated by using the bound (29). The integral over the horizontal path \([\sigma +iT, c+iT]\) is
by (29). Similarly for the integral over \([c-iT, \sigma -iT]\). On the line \(\mathfrak {R}s = \sigma \), we will have
by (29). Hence
and \(I_2\) is exactly the same as in the proof of Theorem 14. Therefore
Taking \(c = 1+ \frac{1}{\log x}\) and using \(\zeta _{ \mathcal {P}} ({1+\delta })=O\left( \frac{1}{\delta }\right) \) gives
By following the same argument shown in the proof of Theorem 14, we have
Taking \(T = x^4\), then
since the O(1) are smaller than the main term. This means
Now we want to minimise this quantity over \(\frac{1}{2}< \sigma < 2\); i.e. minimise
Put \(\sigma = \frac{1}{2} + \frac{1}{(\log x)^{\alpha }}\) for some \(\alpha >0\). This gives
This is optimal when \(\alpha = \frac{1}{3}\). For \(\sigma = \frac{1}{2} + \frac{1}{(\log x)^{\frac{1}{3}}}\), we have
Hence, by Abel Summation again, this gives the result. \(\square \)
4.2 \(\Omega \) Results for Euler’s example over \( {\mathcal {N}}\)
We now consider \(\Omega \) Results of \(\sum _{n \le x } \frac{\lambda _ {\mathcal {P}}(n)}{n}\) for a system \({\mathcal {P}}\) which satisfies either
or
for some \(\alpha , \beta <\frac{1}{2}\). Both of which give the lower bound \(\Omega \big (\frac{1}{\sqrt{x}} \big )\) for the sum.
Proposition 18
Let \({\mathcal {P}}\) be a g-prime system satisfying (30) for some \(\beta <\frac{1}{2}\). Then
Proof
We wish to show that (32) is true. It is enough to show that
Let us assume the contrary, so that \(L_{\mathcal {P}}(x) =o(\sqrt{x})\). We know that for all \(\mathfrak {R}s > \frac{1}{2} \),
is holomorphic. But for \(\mathfrak {R}s>1\), \( (Z_{\mathcal {P}}(s) =) \frac{\zeta _{ {\mathcal {P}}} ({2s})}{\zeta _{ \mathcal {P}} ({s})}\) and \(\zeta _{ \mathcal {P}} ({2s})\) is holomorphic for \(\mathfrak {R}s>\frac{1}{2}\) with no zeros for \(\mathfrak {R}s>\frac{1}{2}\) since \(\zeta _{ \mathcal {P}} ({s})\) is holomorphic for \(\mathfrak {R}s>1\) and has no zeros here. For \(\mathfrak {R}s>1\), we have \( \zeta _{ \mathcal {P}} ({s})= \frac{\zeta _{ \mathcal {P}} ({2s})}{Z_\mathcal {P}(s)}\) which has a meromorphic continuation for \(\mathfrak {R}s>\frac{1}{2}\) except for a pole at \(s=1\) and no zeros. Therefore \( \zeta _{ \mathcal {P}} ({2s})\) has a meromorphic continuation for \(\mathfrak {R}s>\frac{1}{4}\) and pole at \(s = \frac{1}{2}\). Now we know from the assumption (30) that \(\zeta _{ \mathcal {P}} ({s})\) has an analytic continuation for \(\sigma >\beta \) except for a simple pole at \(s = 1\). Thus \(Z_{\mathcal {P}}(s)\) is holomorphic for \(\sigma =\mathfrak {R}s > \frac{1}{2}\) with pole at \(s = \frac{1}{2}\). On the one hand, we know that \(Z_{\mathcal {P}}(s)\) has a pole at \(\frac{1}{2}\) since \(\zeta _{ \mathcal {P}}(2s)\) has a simple pole at \( \frac{1}{2}\). Thus
On the other hand, from the right integral of (33) with \(s = \frac{1}{2} + \epsilon \), we have
\(|L_{\mathcal {P}}(x)|\) can be written as \(g(x)\sqrt{x}\), where \(g(x) \ge 0\) and \(g(x) \longrightarrow 0\) as \(x \longrightarrow \infty \). Hence we have
Clearly
This also implies that
so that \(Z_{\mathcal {P}}(\frac{1}{2} + \epsilon ) = o(\frac{1}{\epsilon })\). Therefore this gives a contradiction with (34) and hence
\(\square \)
In order to show (31) implies (32), we first need to prove a more general result.
Proposition 19
If \( {\mathcal {P}}\) is a g-prime system for which
and \(\zeta _\mathcal{{P}}(s)\) has an analytic continuation past \(\mathfrak {R}s = 1\) to a region containing a neighborhood of \(s = \frac{1}{2},\) then (32) holds.
Proof
To show (32) is true, it is enough to show that
Let us again assume that \(L_{\mathcal {P}}(x) =o(\sqrt{x})\). We know that
is holomorphic for all \(\mathfrak {R}s > \frac{1}{2}\). But for \(\mathfrak {R}s>1\), \( (Z_{\mathcal {P}}(s) =) \frac{\zeta _{ {\mathcal {P}}} ({2s})}{\zeta _{ \mathcal {P}} ({s})}\) and \(\zeta _{ \mathcal {P}} ({2s})\) is holomorphic for \(\mathfrak {R}s>\frac{1}{2}\) with no zeros for \(\mathfrak {R}s>\frac{1}{2}\) since \(\zeta _{ \mathcal {P}} ({s})\) is holomorphic for \(\mathfrak {R}s>1\) and has no zeros here. For \(\mathfrak {R}s>1\), we have \( \zeta _{ \mathcal {P}} ({s})= \frac{\zeta _{ \mathcal {P}} ({2s})}{Z_{\mathcal {P}}(s)}\) which has a meromorphic continuation for \(\mathfrak {R}s>\frac{1}{2}\) except for a pole at \(s=1\) and no zeros. Thus \( \zeta _{ \mathcal {P}} ({2s})\) has a meromorphic continuation for \(\mathfrak {R}s>\frac{1}{4}\) and pole at \(s = \frac{1}{2}\). Thus \(Z_{\mathcal {P}}(s)\) is holomorphic for \(\sigma =\mathfrak {R}s > \frac{1}{2}\) with pole at \(s = \frac{1}{2}\) because \(\zeta _\mathcal{{P}}(s)\) is holomorphic at \(\frac{1}{2}\).
Hence, by following the same argument shown in the proof of Proposition 18, we obtain the required result. \(\square \)
Remark 20
With Zhang’s system which was previously detailed in the paper, then (32) is also true if we assume \(\zeta _\mathcal{{P}}(s)\) has an analytic continuation to a neighborhood of \(s = \frac{1}{2}\).
In the following corollary we consider the effect of the assumption (31) for some \(\alpha < \frac{1}{2}\).
Corollary 21
Let \({\mathcal {P}}\) be a g-prime system satisfying (31) for some \(\alpha < \frac{1}{2}.\) Then (32) holds.
Proof
By Theorems 2.1 and 2.2 of [13], the assumption (31) for some \(\alpha < \frac{1}{2}\) implies \(\zeta _{ {\mathcal {P}}}(s)\) is holomorphic for \(\mathfrak {R}s > \alpha \) except for a simple pole at \(s=1\) and that it has no zeros in this region, and
for some \(\rho >0\) (see [13]). Hence, by Proposition , (32) holds. \(\square \)
Remark 22
Let \({\mathcal {P}}\) be a g-prime system satisfying (19) and (20) for some \(\alpha \), \(\beta \), \( <1\) respectively and define \(\xi \) via
holds for all \(\varepsilon >0\), but for no \(\varepsilon < 0\) and for some \(\xi <1\). Then Proposition 18 and Corollary 21 imply that \(\max \{\beta ,\xi \} \ge \frac{1}{2}\) and \(\max \{\alpha ,\xi \} \ge \frac{1}{2}\).
5 Open problem
As mentioned in earlier, Kahane and Saïas proposed that for all CMO functions, one has \(\sum _{ n \le x} f(n) = \Omega \big (\frac{1}{\sqrt{x}} \big )\). They also showed that GRH–RH (Generalised Riemann Hypothesis–Riemann Hypothesis) would follow from this result. In our findings, we did not find any \(CMO_{\mathcal {P}}\) functions f such that \(\sum _{ n \le x} f(n) = O\big (\frac{1}{x^c} \big )\) for \(c > \frac{1}{2}\). This may suggest the following conjecture.
Conjecture 23
Let \({\mathcal {P}}\) be a g-prime system with abscissa 1. Then, for all completely multiplicative functions on \({\mathcal {N}},\) we have
Notes
Here and henceforth, \(\mathbb {N}= \{1,2,3,\ldots \}\), \(\mathbb {N}_0=\mathbb {N}\cup \{0\}\), and \(\mathbb {P}=\{2,3,5,\ldots \}\)—the set of primes.
If all g-primes are not distinct, it can be more complicated. For instance, if \({\mathcal {P}}\) is \( \{2, 2, 3, 3, \ldots \}\) (every prime appears twice), then (8) does not work.
References
Balazard, M., Roton, A.D.: Notes de lecture de l’article Partial sums of the Mobius function de Kannan Soundararajan (2008). arXiv preprint arXiv:0810.3587
Bateman, P.T., Diamond, H.G.: Asymptotic distribution of Beurling’s generalized prime numbers. Stud. Number Theory 6, 152–212 (1969)
Beurling, A.: Analyse de la loi asymptotique de la distribution des nombres premiers généralisés. I. Acta Math. 68, 255–291 (1937)
Broucke, F., Debruyne, G., Vindas, J.: Beurling integers with RH and large oscillation. Adv. Math. 370, 107240 (2020)
Debruyne, G., Maes, F., Vindas, J.: Halász’s theorem for Beurling generalized numbers. Acta Arith. 194, 59–72 (2020)
Debruyne, G., Vindas, J.: On PNT equivalences for Beurling numbers. Mon. Math. 184(3), 401–424 (2017)
Debruyne, G., Vindas, J.: On Diamond’s L1 criterion for asymptotic density of Beurling generalized integers. Mich. Math. J. 68(1), 211–223 (2019)
Diamond, H.G.: A set of generalized numbers showing Beurling’s theorem to be sharp. Ill. J. Math. 14(1), 29–34 (1970)
Diamond, H.G., Zhang, W.-B.: A PNT equivalence for Beurling numbers. Funct. Approx. Comment. Math. 46(2), 225–234 (2012)
Diamond, H.G., Zhang, W.-B.: Beurling Generalized Numbers. American Mathematical Society, Providence (2016)
Hilberdink, T.W.: Well-behaved Beurling primes and integers. J. Number Theory 112, 332–344 (2005)
Hilberdink, T.W.: Generalised prime systems with periodic integer counting function. Acta Arith. 152(3), 217–241 (2012)
Hilberdink, T.W., Lapidus, M.L.: Beurling zeta functions, generalised primes, and fractal membranes. Acta Appl. Math. 94, 21–48 (2006)
Kahane, J.-P., Saïas, E.: Fonctions complétement multiplicatives de somme nulle. Expo. Math. 35(4), 364–389 (2017)
Neamah, A.A., Hilberdink, T.W.: The average order of the Mobius function for Beurling prime. Int. J. Number Theory 16(5), 1005–1011 (2020)
Zhang, W.-B.: A generalization of Halász’s theorem to Beurling’s generalized integers and its application. Ill. J. Math. 31(4), 645–664 (1987)
Zhang, W.-B.: Beurling primes with RH, Beurling primes with large oscillation. Math. Ann. 337, 671–704 (2007)
Zhang, W.-B.: Halász’s theorem for Beurling numbers. Acta Arith. 183, 223–235 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Neamah, A.A. Completely multiplicative functions with sum zero over generalised prime systems. Res. number theory 6, 45 (2020). https://doi.org/10.1007/s40993-020-00215-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-020-00215-z