- Research
- Open access
- Published:
Comparing weighted densities
Journal of Inequalities and Applications volume 2022, Article number: 146 (2022)
Abstract
In this paper we study inequalities between weighted densities of sets of natural numbers corresponding to different weight functions. Depending on the asymptotic relation between the weight functions, we give sharp bounds for possible values of one density when the values of another density are given. In particular, we give a condition for two weight functions to generate equivalent weighted densities.
1 Introduction
Denote by \(\mathbb{N}\) the set of positive integers. Let \(\chi _{A}\) denote the characteristic function for a given subset \(A \subset \mathbb{N}\). Weighted densities were studied in [1] and [2], where a generalization of both asymptotic and logarithmic densities was provided.
We call a positive function \(f\colon \mathbb{N}\to \mathbb{R}^{+}\) an Erdős–Ulam function if it satisfies \(f(1)= 1\),
and
With respect to an Erdős–Ulam function \(f(n)\) the weighted densities are defined as follows. For \(A\subset \mathbb{N}\) denote
Clearly, \(0\le F_{A}(n)\le 1\). Now, we define the lower and upper f-densities of A by
respectively. In the case when \(\underline{d}_{f}(A) = \overline{d}_{f}(A)\) we say that A possesses the f-density \(d_{f}(A)\).
The symbols \(G_{A}(n)\), \(S_{g}(n)\), \(\underline{d}_{g}(A)\), \(\overline{d}_{g}(A)\), and \(d_{g}(A)\) will have analogous meanings, with respect to Erdős–Ulam function \(g(n)\).
Note that the asymptotic density corresponds to \(f(n) = 1\), while the logarithmic density corresponds to \(f(n) = \frac{1}{n}\). Also, note that for every weighted density \(d_{f}\) and every set \(A\subset \mathbb{N}\) we have the complementary property
The weighted density \(d'\) is called stronger than the weighted density d (d is weaker than \(d'\)) if, for any set \(A\subset \mathbb{N}\),
Two weighted densities are called comparable if one of them is stronger than the other (see [3]). It is known that the logarithmic density is weaker than the asymptotic one. More generally, all of the \(n^{\alpha }\)-densities, where \(\alpha \ge -1\), are comparable, namely if \(-1\le \alpha <\beta \) then \(n^{\alpha }\)-density is weaker than \(n^{\beta }\)-density.
We say that the weighted density d extends the weighted density \(d'\) if every set \(A\subset \mathbb{N}\) that possesses density \(d'\), also possesses density d and \(d(A)=d'(A)\). Clearly, if \(d'\) is stronger than d, then d extends \(d'\). If one weighted density extends the other one and vice-versa, then the two densities are said to be equivalent.
The weighted densities d and \(d'\) are strongly equivalent if for every set \(A\subset \mathbb{N}\) there holds \(\underline{d}(A)=\underline{d}'(A)\). Of course, then \(\overline{d}(A)=\overline{d}{}'(A)\).
Kuipers and Niederreiter [4] observed that all the \(n^{\alpha }\)-densities with \(\alpha > -1\) are equivalent to each other. The main tool to compare weighted densities (e.g., see [3, 5–8]) is the classical result of Rajagopal (cf. [9], Theorem 3) which, in terms of weighted densities, states the following.
Theorem 1
Let \(f,g\colon \mathbb{N}\to (0,\infty )\) be Erdős–Ulam functions. If function \(\frac{f(n)}{g(n)}\) is decreasing then \(d_{g}\) is stronger than \(d_{f}\).
The following sufficient condition is found in Hardy [10] (see also [4]).
Theorem 2
If function \(\frac{f(n)}{g(n)}\) is increasing and function \(\frac{f(n)S_{g}(n)}{g(n)S_{f}(n)}\) is bounded then the f-density extends the g-density.
A survey on weighted densities and their connection with the first digit problem is given in [11]. It is proved that if \(f(n)\sim g(n)\) as \(n\to \infty \), then the corresponding f-density and g-density are strongly equivalent.
Consider the following sequence of functions
where \(\ln ^{[0]}n=n\) and \(\ln ^{[j+1]}n=\ln \ln ^{[j]}n\). Then, from [12] it follows that for every \(k\ge 1\), function \(f_{k}\) is an Erdős–Ulam function and the corresponding \(f_{k+1}\)-density strictly extends the \(f_{k}\)-density. As a consequence of a more general theorem in [12], we have the fact that for arbitrary real numbers
there exists an \(A\subset \mathbb{N}\) such that
2 New results
In this paper we study the relations between the weighted densities defined by Erdős–Ulam functions \(f(n)\) and \(g(n)\). We show that the relation between f-density and g-density mainly depends on the asymptotic behavior of the function
We prove the following results, depending on the asymptotic behavior of the function \(\frac{f^{*}(n)}{g^{*}(n)}\).
-
If \(\frac{f^{*}(n)}{g^{*}(n)}\to 1\), then the \(d_{f}\)-density and \(d_{g}\)-density are strongly equivalent.
-
If \(\frac{f^{*}(n)}{g^{*}(n)}\to p>1\), then the f-density is stronger than the g-density and for every \(A\subset \mathbb{N}\) we give the best possible bounds for \(\underline{d}_{f}(A)\) and \(\overline{d}_{f}(A)\) in terms of \(\underline{d}_{g}(A)\), \(\overline{d}_{g}(A)\).
-
If \(\frac{f^{*}(n)}{g^{*}(n)}\to \infty \) and moreover \(f(n)\) and \(g(n)\) are monotone then for arbitrary real numbers \(0\le \alpha \le \beta \le \gamma \le \delta \le 1\) there exists an \(A\subset \mathbb{N}\) such that
$$ \underline{d}_{f}(A)=\alpha , \qquad \underline{d}_{g}(A)= \beta , \qquad \overline{d}_{g}(A)=\gamma , \qquad \overline{d}_{f}(A)=\delta . $$
3 Properties of Erdős–Ulam functions
In this section we present several general properties of Erdős–Ulam functions that we will use later in the proofs.
From (2) it follows that each Erdős–Ulam function f satisfies
Similarly, we obtain
Using the backward difference operator
together with (2) and (5) we obtain
Lemma 1
Let f be an Erdős–Ulam function and \(A\subset \mathbb{N}\). Then, for every \(n>1\)
Proof
This inequality immediately follows from the following identity
and from the fact that \(\lvert \chi _{A}(n)-F_{A}(n-1)\rvert \le 1\). □
4 The case \(\frac{f^{*}(n)}{g^{*}(n)}\to p>1\)
In [13] it was proved that for Erdős–Ulam functions \(f(n)\), \(g(n)\) satisfying
the f-density is stronger than the g-density. Inequalities between upper and lower weighted densities of the type \(n^{p}\) (\(p>-1\)) were proved in [5]. For example, let \(A\subset \mathbb{N}\) be such that
Then, for \(p>1\) for the lower \(n^{p-1}\)-density of the set A we have
The purpose of this section is to generalize this type of result. Note, in the case \(f(n)=n^{p-1}\), \(g(n)=1\), \(p>1\) there holds \(\frac{f^{*}(n)}{g^{*}(n)}\to p\).
The following lemmas will be used in the proof of Theorem 3.
Lemma 2
Assume that f and g are Erdős–Ulam functions satisfying (7). Then, for every set \(A\subset \mathbb{N}\) we have the following inequalities.
Proof
See Theorem 3.2 of [13]. □
Lemma 3
Assume that f and g are Erdős–Ulam functions satisfying (7). Then, for arbitrary \(\varepsilon \in (0,p)\) there is \(N_{1}(\varepsilon )\) such that for every \(m>n\ge N_{1}(\varepsilon )\) we have
Proof
Let \(\varepsilon \in (0,p)\). Then, from (6) and (7) it follows that
and hence there is \(N_{1}(\varepsilon )\) such that for every \(k\ge N_{1}(\varepsilon )\)
Then, for every \(m>n\ge N_{1}(\varepsilon )\)
by the mediant inequality. The result follows by exponentiation of this equation. □
Lemma 4
Assume that f and g are Erdős–Ulam functions satisfying (7). Let \(A\subset \mathbb{N}\) be a set such that \(\underline{d}_{g}(A)=\beta >0\) and \(\overline{d}_{g}(A)=\gamma >0\). Let \(\varepsilon >0\) be given by
Denote
Then, there is \(N_{2}\) such that for every \(n\ge N_{2}\) we have
Proof
Let \(\varepsilon >0\) satisfying (9) be given. Then, there is \(N_{3}\) such that for every \(n\ge N_{3}\)
From (2), (7), and the fact that
we obtain that there in \(N_{4}\ge N_{3}\) such that for every \(n\ge N_{4}\) we have
From \(\liminf_{n\to \infty} G_{A}(n)=\underline{d}_{g}(A)>0\) and from (5) for function g we obtain that
and hence there is \(N_{5}\ge N_{4}\) such that for every \(n\ge N_{5}\)
Now, Lemma 2 implies that
and hence there are infinitely many integers \(n_{k}\ge N_{5}\) such that
For such numbers we have
i.e., (10) holds for every \(n_{k}\).
Take \(k_{0}\) such that \(n_{k_{0}}\ge \max \{N_{5},N_{1}(\varepsilon )\}\) where \(N_{1}(\varepsilon )\) is given by Lemma 3, and denote \(N_{2}=n_{k_{0}}\). We will finish the proof by proving that (10) holds for every \(n\ge N_{2}\).
Hence, we assume that (10) holds for some \(n\ge N_{2}\) and we prove that it holds for \(n+1\).
From the second inequality in Lemma 3 we obtain
Now, consider two cases.
1. First assume that \(n+1\notin A\). Then,
Using this and (14) multiplied by (10) we obtain
i.e., (10) holds for \(n+1\).
2. Now, assume that \(n+1\in A\). Then,
and similarly
Consider the function
We have \(h(0)=0\) and \(h'(x)>0\) for \(x\in (0,(1+\varepsilon )^{\frac{1}{p-1+\varepsilon}}-1 )\). Hence,
From (13) we obtain that
hence
Inequality (9) is equivalent with
From (11) we have
Now from (10), (12), (18), (19), and (17) multiplied by \(G_{A}(n)^{p+\varepsilon}\) we obtain
Finally, from (15), from (14) multiplied by (20), and from (16) we obtain
i.e., (10) holds for \(n+1\). □
In what follows, we are looking for bounds for \(\underline{d}_{f}(A)\), \(\overline{d}_{f}(A)\), knowing the values \(\underline{d}_{g}(A)\) and \(\overline{d}_{g}(A)\) and under the restriction (7).
Theorem 3
Assume that f and g are Erdős–Ulam functions satisfying (7) and let \(A\subset \mathbb{N}\). Then,
-
1)
in the case \(\overline{d}_{g}(A)>0\) we have
$$ \underline{d}_{f}(A)\ge \frac{\underline{d}_{g}(A)^{p}}{\overline{d} _{g}(A)^{p-1}} , $$(21) -
2)
in the case \(\underline{d}_{g}(A)<1\) we have
$$ \overline{d}_{f}(A)\le 1- \frac{(1-\overline{d}_{g}(A))^{p}}{(1-\underline{d} _{g}(A))^{p-1}} . $$(22)
Proof
First, we prove part 1. If \(\underline{d}_{g}(A)=0\) then (21) is satisfied as the right-hand side of (21) is zero.
Hence, assume \(\underline{d}_{g}(A)>0\). Then, for every \(\varepsilon >0\) with \(1+\varepsilon +\varepsilon ^{2}< p\), Lemma 4 implies
From this we obtain
Part 2 follows from part 1 applied to the set \(\mathbb{N}\setminus A\), using the complementary property (3). □
Theorem 3 has the following immediate consequence.
Corollary 1
Assume that f and g are Erdős–Ulam functions satisfying (7). Then, the densities \(d_{f}\) and \(d_{g}\) are equivalent.
Proof
This follows from inequalities (8), (21), and (22). □
Corollary 2
Assume that f and g are Erdős–Ulam functions satisfying (7) and let \(A\subset \mathbb{N}\). Then, we have
-
1.
\(\underline{d}_{f}(A)=0\) if and only if \(\underline{d}_{g}(A)=0\),
-
2.
\(\overline{d}_{f}(A)=1\) if and only if \(\overline{d}_{g}(A)=1\).
Proof
This follows from inequalities (8), (21), and (22). □
Next, we show that the bounds (21) and (22) are essentially the best possible.
Theorem 4
Assume that f and g are Erdős–Ulam functions satisfying (7). Let numbers α, β, γ, δ be given so that
with
and with
Then, there exists a set \(A\subset \mathbb{N}\) such that
In the case \(\gamma =0\), inequalities (23) imply that we have \(\alpha =0\) instead of (24). Similarly, in the case \(\beta =1\), inequalities (23) imply that we have \(\delta =1\) instead of (25).
Lemma 5
Let f be an Erdős–Ulam function and \(L< M\) be positive integers. Assume that \(T,U\subset \mathbb{N}\) satisfy \(\chi _{T}(n)=\chi _{U}(n)\) for every n with \(L< n\le M\). Then, for every n with \(L< n\le M\) we have
Proof
See Lemma 3 in [12]. □
Lemma 6
Let f be an Erdős–Ulam function. Then, for every \(\alpha \in [0,1]\) there is a set \(T\subset \mathbb{N}\) such that \(d_{f}(T)=\alpha \).
Proof
This immediately follows from Proposition 1 of [14]. □
Proof of Theorem 4
In the case that \(\beta =\gamma \) we have from (23), (24), and (25) that \(\alpha =\beta =\gamma =\delta \). By Lemma 6 there exists a set \(A\subset \mathbb{N}\) such that \(d_{f}(A)=\alpha \). For such a set by Lemma 2 we have \(d_{g}(A)=\alpha \) and we are done.
Hence, in the rest of the proof assume that \(\beta <\gamma \).
To generate the set A, we construct two sequences of sets with different weighted densities, and then we interleave them. First, take sequences of real numbers \(\beta _{i}\), \(\gamma _{i}\) for \(i\ge 0\), such that
such that
Put
According to (24)
and from (25)
Again, by Lemma 6 there exist sets \(B_{i}\) and \(C_{i}\) of positive integers such that
Note that by (8) in this case
As the limits (29) and (30) exist, for every \(\varepsilon>0\) there are numbers \(N_{6}(i,\varepsilon )\), such that
for every \(n>N_{6}(i,\varepsilon )\).
As f is an Erdős–Ulam function, from limit (2) we obtain that for every \(\varepsilon >0\) there is a number \(N_{7}(\varepsilon )\) such that for every \(k\ge N_{7}(\varepsilon )\) we have \(f^{*}(k)<\varepsilon \).
Let \((\varepsilon _{i} )\) be a decreasing sequence tending to 0 with
We will define inductively the sequence \((n_{l})\) and the set \(A\subset \mathbb{N}\) by
(We take a sufficiently large section of \(B_{i}\) on interval \((n_{4i },n_{4i +1}]\) such that \(F_{A}(n_{4i +1})\) and \(G_{A}(n_{4i +1})\) are close to \(s_{i}\). The interval \((n_{4i +1},n_{4i +2}]\) is as short as possible such that at its end, \(f_{A}(n_{4i +2})\) is close to α. It is followed by a sufficiently long section of \(C_{i}\) on interval \((n_{4i+2},n_{4i+3}]\) such that \(F_{A}(n_{4i +3})\) and \(G_{A}(n_{4i +3})\) are close to \(r_{i}\). Finally, the interval \((n_{4i +3},n_{4i +4}]\) is as short as possible such that at its end, \(F_{A}(n_{4i +4})\) is close to δ.)
For \(n\in \mathbb{N}\) we denote \(D_{n}=A\cap [1,n]\).
Suppose that we have already fixed the numbers \(n_{0}=0, n_{1}, \dots , n_{4i }\). We give the construction of the next four terms of the sequence \((n_{l})\):
-
\(n_{4i +1}\): Although we do not know the set A yet, the set \(D_{n_{4i}}\) is well defined and already known. From (29) we obtain
$$ \lim_{u\to \infty} F_{D_{n_{4i}}\cup ((n_{4i},u]\cap B_{i})}(u) = \lim _{u\to \infty} F_{B_{i}}(u) =s_{i} $$(32)and similarly from (30) we obtain
$$ \lim_{u\to \infty} G_{D_{n_{4i}}\cup ((n_{4i},u]\cap B_{i})}(u) = \lim _{u\to \infty} G_{B_{i}}(u) =s_{i} . $$(33)Take \(n_{4i+1}\) to be the smallest integer satisfying
$$\begin{aligned}& n_{4i+1}\ge \max \bigl\{ n_{4i}+1,N_{1}(\varepsilon _{i}), N_{6}(i, \varepsilon _{i}) , N_{7}(\varepsilon _{i}) \bigr\} , \end{aligned}$$(34)$$\begin{aligned}& s_{i}-\varepsilon _{i}< F_{D_{n_{4i}}\cup ((n_{4i},n_{4i+1}]\cap B_{i})}(n_{4i+1}) < s_{i}+\varepsilon _{i}, \end{aligned}$$(35)$$\begin{aligned}& s_{i}-\varepsilon _{i}< G_{D_{n_{4i}}\cup ((n_{4i},n_{4i+1}]\cap B_{i})}(n_{4i+1}) < s_{i}+\varepsilon _{i}, \end{aligned}$$(36)where \(N_{1}(\varepsilon )\) is given by Lemma 3. Such a number \(n_{4i+1}\) exists by (32) and (33).
-
\(n_{4i +2}\): Although we do not know the set A yet, the set \(D_{n_{4i+1}}\) is well defined and already known. Obviously,
$$ \lim_{u\to \infty} F_{D_{n_{4i+1}}\cup ((n_{4i+1},u]\cap \emptyset )}(u) =0 . $$(37)Take \(n_{4i+2}\) to be the smallest integer satisfying
$$\begin{aligned}& n_{4i+2}> n_{4i+1}, \\& F_{D_{n_{4i+1}}\cup ((n_{4i+1},n_{4i+2}]\cap \emptyset )}(n_{4i+2}) < \alpha +\varepsilon _{i}. \end{aligned}$$Such a number \(n_{4i+2}\) exists by (27), (31), (35), and (37).
Since \(n_{4i+2}>N_{7}(\varepsilon _{i})\) then by Lemma 1
$$ \alpha < F_{D_{n_{4i+1}}\cup ((n_{4i+1},n_{4i+2}]\cap \emptyset )}(n_{4i+2}) < \alpha +\varepsilon _{i} . $$(38) -
\(n_{4i+3}\): Although we do not know the set A yet, the set \(D_{n_{4i+2}}\) is well defined and already known. From (29) we obtain
$$ \lim_{u\to \infty} F_{D_{n_{4i+2}}\cup ((n_{4i+2},u]\cap C_{i})}(u) = \lim _{u\to \infty} F_{C_{i}}(u) =r_{i} $$(39)and similarly from (30) we obtain
$$ \lim_{u\to \infty} G_{D_{n_{4i+2}}\cup ((n_{4i+2},u]\cap C_{i})}(u) = \lim _{u\to \infty} G_{C_{i}}(u) =r_{i}. $$(40)Take \(n_{4i+3}\) to be the smallest integer satisfying
$$\begin{aligned}& n_{4i+3}\ge \max \bigl\{ n_{4i+2}+1, N_{6}(i+1, \varepsilon _{i+1}) \bigr\} , \end{aligned}$$(41)$$\begin{aligned}& r_{i}-\varepsilon _{i}< F_{D_{n_{4i+2}}\cup ((n_{4i+2},n_{4i+3}]\cap C_{i})}(n_{4i+3}) < r_{i}+\varepsilon _{i}, \end{aligned}$$(42)$$\begin{aligned}& r_{i}-\varepsilon _{i} < G_{D_{n_{4i+2}}\cup ((n_{4i+2},n_{4i+3}] \cap C_{i})}(n_{4i+3}) < r_{i}+\varepsilon _{i} . \end{aligned}$$(43) -
\(n_{4i +4}\): Although we do not know the set A yet, the set \(D_{n_{4i+3}}\) is well defined and already known. Obviously,
$$ \lim_{u\to \infty} F_{D_{n_{4i+3}}\cup ((n_{4i+3},u]\cap \mathbb{N})}(u) =1 . $$(44)Take \(n_{4i+4}\) to be the smallest integer satisfying
$$\begin{aligned}& n_{4i+4}>n_{4i+3}, \\& F_{D_{n_{4i+3}}\cup ((n_{4i+3},n_{4i+4}]\cap \mathbb{N})}(n_{4i+4}) > \delta -\varepsilon _{i}. \end{aligned}$$Such a number \(n_{4i+2}\) exists by (28), (31), (42), and (44).
Since \(n_{4i+2}>N_{7}(\varepsilon _{i})\) then by Lemma 1
$$ \delta -\varepsilon _{i} < F_{D_{n_{4i+3}}\cup ((n_{4i+3},n_{4i+4}] \cap \mathbb{N})}(n_{4i+4}) < \delta . $$(45)
Now, we know the set A completely and we can rewrite conditions (35), (36), (38), (42), (43), and (45) equivalently in a simpler way as
We will show that
In proving (52), we will consider two cases.
-
If \(\alpha >0\), then by Lemma 3 and (34)
$$\begin{aligned} G_{A}(n_{4i+2})&= \frac{G_{A}(n_{4i+1})S_{g}(n_{4i+1})}{S_{g}(n_{4i+2})} < G_{A}(n_{4i+1}) \biggl( \frac{S_{f}(n_{4i+1})}{S_{f}(n_{4i+2})} \biggr)^{ \frac{1}{p+\varepsilon _{i}}} \\ &=G_{A}(n_{4i+1}) \frac{ ( \frac{F_{A}(n_{4i+1})S_{f}(n_{4i+1})}{S_{f}(n_{4i+2})} )^{\frac{1}{p+\varepsilon _{i}}} }{ (F_{A}(n_{4i+1}) )^{\frac{1}{p+\varepsilon _{i}}} } \\ &=G_{A}(n_{4i+1}) \biggl(\frac{F_{A}(n_{4i+2})}{F_{A}(n_{4i+1})} \biggr)^{\frac{1}{p+\varepsilon _{i}}} . \end{aligned}$$$$ G_{A}(n_{4i+2})< \frac{(s_{i}+\varepsilon _{i})}{(s_{i}-\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}}( \alpha + \varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}} . $$(54)Similarly, we can show that
$$ G_{A}(n_{4i+2})> \frac{(s_{i}-\varepsilon _{i})}{(s_{i}+\varepsilon _{i})^{\frac{1}{p-\varepsilon _{i}}}} \alpha ^{\frac{1}{p-\varepsilon _{i}}} .$$(55)According to (26)
$$\begin{aligned} \lim_{i\to \infty} \frac{(s_{i}+\varepsilon _{i})}{(s_{i}-\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}}( \alpha +\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}&=\lim_{i \to \infty}s_{i}^{\frac{p-1}{p}} \alpha ^{\frac{1}{p}} \\ &=\lim_{i\to \infty} \biggl( \biggl(\frac{\beta _{i}^{p}}{\alpha} \biggr)^{\frac{1}{p-1}} \biggr)^{\frac{p-1}{p}}\alpha ^{\frac{1}{p}}= \lim _{i\to \infty}\beta _{i}=\beta \end{aligned}$$and
$$ \lim_{i\to \infty} \frac{(s_{i}-\varepsilon _{i})}{(s_{i}+\varepsilon _{i})^{\frac{1}{p-\varepsilon _{i}}}} \alpha ^{\frac{1}{p-\varepsilon _{i}}}=\beta . $$ -
If \(\alpha =0\), then also \(\beta =0\) by Corollary 2. Obviously,
$$ 0< G_{A}(n_{4i+2})< G_{A}(n_{4i+1})< s_{i}+ \varepsilon _{i}=\beta _{i}+ \varepsilon _{i} . $$Since \(\lim_{i\to \infty}\beta _{i}=\beta =0\) then,
$$ \lim_{i\to \infty}G_{A}(n_{4i+2})=0=\beta . $$
Similarly in proving (53), we will consider two cases.
-
If \(\delta <1\), then by Lemma 3 and (41)
$$\begin{aligned} G_{A}(n_{4i+4})&= \frac{G_{A}(n_{4i+3})S_{g}(n_{4i+3})+S_{g}(n_{4i+4})-S_{g}(n_{4i+3})}{S_{g}(n_{4i+4})} \\ &=1-\bigl(1-G_{A}(n_{4i+3})\bigr)\frac{S_{g}(n_{4i+3})}{S_{g}(n_{4i+4})} \\ &< 1-\bigl(1-G_{A}(n_{4i+3})\bigr) \biggl( \frac{S_{f}(n_{4i+3})}{S_{f}(n_{4i+4})} \biggr)^{ \frac{1}{p-\varepsilon _{i}}} \\ &=1- \frac{(1-G_{A}(n_{4i+3}))}{(1-F_{A}(n_{4i+3}))^{\frac{1}{p-\varepsilon _{i}}}} \biggl( \frac{(1-F_{A}(n_{4i+3}))S_{f}(n_{4i+3})}{S_{f}(n_{4i+4})} \biggr)^{\frac{1}{p-\varepsilon _{i}}} \\ &=1-\bigl(1-G_{A}(n_{4i+3})\bigr) \biggl( \frac{1-F_{A}(n_{4i+4})}{1-F_{A}(n_{4i+3})} \biggr)^{ \frac{1}{p-\varepsilon _{i}}} . \end{aligned}$$$$ G_{A}(n_{4i+4})< 1- \frac{1-r_{i}-\varepsilon _{i}}{(1-r_{i}+\varepsilon _{i})^{\frac{1}{p-\varepsilon _{i}}}}(1- \delta )^{\frac{1}{p-\varepsilon _{i}}} . $$(56)Similarly, we can show that
$$ G_{A}(n_{4i+4})>1- \frac{1-r_{i}+\varepsilon _{i}}{(1-r_{i}-\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}}(1- \delta +\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}} . $$(57)According to (26)
$$\begin{aligned} &\lim_{i\to \infty} \biggl(1- \frac{1-r_{i}-\varepsilon _{i}}{(1-r_{i}+\varepsilon _{i})^{\frac{1}{p-\varepsilon _{i}}}}(1- \delta + \varepsilon _{i})^{\frac{1}{p-\varepsilon _{i}}} \biggr) \\ &\quad=1-\lim_{i\to \infty}(1-r_{i})^{\frac{p-1}{p}}(1-\delta )^{ \frac{1}{p}} \\ &\quad=1-\lim_{i\to \infty} \biggl( \biggl( \frac{(1-\gamma _{i})^{p}}{1-\delta} \biggr)^{\frac{1}{p-1}} \biggr)^{ \frac{p-1}{p}}(1-\delta )^{\frac{1}{p}}=\lim _{i\to \infty}\gamma _{i}= \gamma \end{aligned}$$and
$$ \lim_{i\to \infty}1- \frac{1-r_{i}+\varepsilon _{i}}{(1-r_{i}-\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}}(1- \delta +\varepsilon _{i})^{\frac{1}{p+\varepsilon _{i}}}=\gamma . $$ -
If \(\delta =1\), then also \(\gamma =1\) by Corollary 2. Obviously,
$$ 1> G_{A}(n_{4i+4})>G_{A}(n_{4i+3})>r_{i}- \varepsilon _{i}=\gamma _{i}-\varepsilon _{i} . $$Since \(\lim_{i\to \infty}\gamma _{i}=\gamma =1\) then,
$$ \lim_{i\to \infty}G_{A}(n_{4i+4})=1 . $$
Hence, we can proceed to calculate the lower and upper weighted densities of A. On intervals \([n_{4i+1},n_{4i+2}]\) and \([n_{4i+3},n_{4i+4}]\) the functions \(F_{A}(n)\) and \(G_{A}(n)\) are monotone. For \(u\in (n_{4i+2},n_{4i+3}]\), condition (34) and Lemma 5 with \(T=A\) and \(U=C_{i}\) imply that
hence, by (48) we have
Similarly,
and
In the same way we can prove that
As a consequence, to calculate the densities it is sufficient to consider the functions \(F_{A}(n)\) and \(G_{A}(n)\) only in numbers \(n_{4i +2}\) and \(n_{4i +4}\). By (48), (51), (52), and (53)
This concludes the proof. □
5 The case \(\frac{f^{*}(n)}{g^{*}(n)}\to 1\)
Theorem 5
Assume that f and g are Erdős–Ulam functions satisfying
Then, the densities \(d_{f}\) and \(d_{g}\) are strongly equivalent.
Proof
We have to prove that for every set \(A\subset \mathbb{N}\) we have \(\underline{d}_{f}(A)=\underline{d}_{g}(A)\). For a contradiction, suppose without loss of generality that there is some set \(A\subset \mathbb{N}\) such that \(\underline{d}_{f}(A)=\alpha \) and \(\underline{d}_{g}(A)=\beta \) for some \(0\le \alpha <\beta \le 1\).
Take \(p>1\) such that \(\beta ^{p}>\alpha \). Such a p exists because of continuity. Construct a function \(h\colon \mathbb{N}\to \mathbb{R}^{+}\) by
It follows that \(S_{h}(n)=S_{g}(n)^{p}\), hence,
and limit (2) for function g implies that
Thus, h is an Erdős–Ulam function. Using l’Hospital’s rule we obtain
Theorem 3 implies that the corresponding weighted density \(\underline{d}_{h}\) satisfies
On the other hand, from (58) and (59) we obtain
and Lemma 2 with (60) imply that
a contradiction. □
6 The case \(\frac{f^{*}(n)}{g^{*}(n)}\to \infty \)
Let us consider the following example from [12]. Let \(f(n)=2+(-1)^{n}\) and \(g(n)=\frac {1}{n}\), \(n=1,2,\dots \). Then, \(\frac{f^{*}(n)}{g^{*}(n)}\to \infty \) as \(n\to \infty \), but \(d_{f}(2\mathbb{N})=\frac{3}{4}\) and \(d_{g}(2\mathbb{N})=\frac{1}{2}\). Consequently, \(d_{f}\) and \(d_{g}\) are not comparable densities.
In what follows we shall consider Erdős–Ulam functions that are monotone. We call an Erdős–Ulam function f regular if the corresponding weighted density fulfils the condition that for arbitrary positive integers a, b we have \(d_{f}(a\mathbb{N}+b) =\frac{1}{a}\) (f-density of the terms of arbitrary infinite arithmetical progression with the same difference are equal). It is not difficult to show that a monotone Erdős–Ulam function is regular (see, e.g., [5], Example 2.1).
The independence (within admissible bounds) of the asymptotic and logarithmic densities was proved in [15] and [16], by showing that for any given real numbers \(0\le \alpha \le \beta \le \gamma \le \delta \le 1\) there exists a set \(A\subset N\) such that
We generalize this result.
Theorem 6
Let monotone Erdős–Ulam functions f and g satisfy the condition \(\frac{f^{*}(n)}{g^{*}(n)}\to \infty \) as \(n\to \infty \). Then, for any given real numbers
there exists a set \(A\subset N\) such that
Proof
By Theorem 1 from [17] it is sufficient to consider only the “worst” case, i.e., it is sufficient to show the existence of an \(A\subset \mathbb{N}\), for that
Using (6), it can be showed by the Stolz–Cesàro theorem that under the assumption of the theorem \(\frac{\ln S_{f}(n)}{\ln S_{g}(n)}\to \infty \) as \(n\to \infty \). This is equivalent to
Let \((\varepsilon _{i} )\) be a decreasing sequence that tends to 0, where \(\varepsilon _{1}<1\). Now, we define inductively the sequence
and the set A by
Let \(n_{1}=0\) and let \(m_{1}\) be some positive integer such that \(S_{g}(m_{1})\ge 1\). Suppose that we have already fixed the numbers \(n_{i-1}\), \(m_{i-1}\), where \(i\ge 2\).
Choose a positive integer \(n_{i} > m_{i-1}\) such that (63)–(66) hold
Further, for all \(k \ge n_{i} \)
The existence of such a number \(n_{i}\) follows from (1), (4), and (61).
Now, let \(m_{i}\) be the smallest positive integer with \(m_{i}>n_{i}\) and
The existence of such a number \(m_{i}\) follows from (1) and (66).
In the following, we prove that the set A we have created by (62) has the desired lower and upper weighted densities. From (63) we directly obtain
From (67) we obtain
In order to prove \(\overline{d}_{g}(A)=0\) we estimate the values \(G_{A}(m_{i})\). From (65) we obtain \(\psi (m_{i})\ge \psi (n_{i})\) and with (61) and (67) this implies that
From this, according to (64) we have
which implies that
and this concludes the proof. □
Remark 1
Let us define
and by them the Erdős–Ulam functions \(f_{k}(n)\). Putting \(g_{k}(x)=\sqrt[k]{\ln x}\) we obtain
and the Lagrange mean value theorem implies that
where \(\xi _{k,n}\in (n-1,n)\). It follows from Rajagopal’s result that \(d_{f_{k}}\) is stronger than \(d_{f_{k+1}}\) for any k. Since \(\frac{f^{*}_{k}(n)}{f^{*}_{k+1}(n)}\to \infty \) as \(n\to \infty \) by Theorem 4 it follows that the weight density \(d_{f_{k}}\) is not equivalent to \(d_{f_{k+1}}\). Note that \(d_{f_{1}}\) corresponds to the asymptotic density. For the logarithmic density \(d_{\frac{1}{n}}\) we have
and from (69) it follows that each of the densities \(d_{f_{k}}\) is stronger than the logarithmic density. Hence, between the asymptotic density and the logarithmic one there are infinitely many \(d_{f_{k}}\) (\(k=2,3, \dots \)) densities, each of them is stronger than the logarithmic density and weaker than the asymptotic density.
Availability of data and materials
Not applicable.
References
Alexander, R.: Density and multiplicative structure of sets of integers. Acta Arith. 12, 321–332 (1967)
Rohrbach, H., Volkmann, B.: Verallgemeinerte asymptotische dichten. J. Reine Angew. Math. 194, 195–209 (1955)
Giuliano, R., Grekos, G., Mišík, L.: Open problems on densities ii. In: Komatsu, T. (ed.) Diophantine Analysis and Related Fields 2010, Proceedings of the conference DARF 2010, Musashino, Tokyo, Japan, March 4–5, 2010. AIP Conference Proceedings, vol. 1264, pp. 114–128. American Institute of Physics (AIP), Melville (2010)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Dover Books on Mathematics. Dover, New York (2012)
Bukor, J., Mišík, L., Tóth, J.T.: Dependence of densities on a parameter. Inf. Sci. 179(17), 2903–2911 (2009)
Antonini, R.G., Grekos, G., Mišík, L.: On weighted densities. Czechoslov. Math. J. 57(3), 947–962 (2007)
Grekos, G.: On various definitions of density (survey). Tatra Mt. Math. Publ. 31(2), 17–27 (2005)
Sleziak, M., Ziman, M.: Range of density measures. Acta Math. Univ. Ostrav. 17, 33–50 (2009)
Rajagopal, C.T.: Some limit theorems. Am. J. Math. 70(1), 157–166 (1948)
Hardy, G.H.: Divergent Series. Oxford University Press, Oxford (1949)
Massé, B., Schneider, D.: A survey on weighted densities and their connection with the first digit phenomenon. Rocky Mt. J. Math. 41(5), 1395–1415 (2011)
Bukor, J., Filip, F., Tóth, J.T.: Sets with countably infinitely many prescribed weighted densities. Rocky Mt. J. Math. 50(2), 467–477 (2020)
Bukor, J., Filip, F., Tóth, J.T.: A criterion for comparability of weighted densities. Appl. Math. Sci. (Ruse) 8(56), 2793–2799 (2014)
Grekos, G., Mišík, L., Tóth, J.T.: Density sets of sets of positive integers. J. Number Theory 130, 1399–1407 (2010)
Luca, F., Porubský, Š.: On asymptotic and logarithmic densities. Tatra Mt. Math. Publ. 31, 75–86 (2005)
Mišík, L.: Sets of positive integers with prescribed values of densities. Math. Slovaca 52, 289–296 (2002)
Bukor, J., Filip, F.: Sets with prescribed lower and upper weighted densities. Acta Univ. Sapientiae Math. 2, 92–98 (2010)
Acknowledgements
Work on this paper was supported by grant VEGA no. 1/0776/21 and the Pallas Athéné Domus Meriti Foundation. The authors would like to thank the anonymous referee for his valuable comments.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in this manuscript, and they read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
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
Bukor, J., Filip, F., Šustek, J. et al. Comparing weighted densities. J Inequal Appl 2022, 146 (2022). https://doi.org/10.1186/s13660-022-02885-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02885-y