Abstract
We prove necessary and sufficient conditions for the weak-\(L^p\) boundedness, for \(p \in (1,\infty )\), of a maximal operator on the infinite-dimensional torus. In the endpoint case \(p=1\) we obtain the same weak-type inequality enjoyed by the strong maximal function in dimension two. Our results are quantitatively sharp.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The infinite-dimensional torus \({\mathbb {T}}^\omega \) is the product of countably many copies of the one-dimensional torus \({\mathbb {T}}\). Motivated by the interest in the study of Fourier analysis on \({\mathbb {T}}^\omega \) pointed out by Rubio de Francia [14, 15], in recent times there has been an effort to understand how the fundamental tools of classical harmonic analysis look like in the setting of \({\mathbb {T}}^\omega \) [6, 8,9,10]. As noticed in [9, Theorem 1.1], by the results of [2, 5, 13], topologically infinite-dimensional spaces cannot satisfy the doubling condition, which rules out the application of the general theory of spaces of homogeneous type in the Coifman–Weiss [2] sense to the objects defined on \({\mathbb {T}}^{\omega }\). What this observation means is that new tools and ideas are needed to develop a theory of harmonic analysis in \({\mathbb {T}}^\omega \).
Recent research has focused on obtaining an analogue of the Calderón–Zygmund decomposition and the introduction of a suitable “dyadic” basis \({\mathcal {R}}_0\) and a “dyadic” Hardy–Littlewood maximal function \({\mathcal {M}}_{{\mathcal {R}}_0}\) [6] which satisfies the weak-type (1, 1) inequality. In [8] it was shown that \({\mathcal {M}}_{{\mathcal {R}}}\) does not satisfy any restricted weak-type (p, p) estimate, for \(p \in [1, \infty )\), where \({\mathcal {R}}\) is the wider natural basis, also introduced in [6]. The intermediate case was studied in [10], where bases \({\mathcal {R}}_0\subset {\mathcal {S}}\subset {\mathcal {R}}\) were found for which the corresponding maximal functions present a satisfactory control on Lebesgue spaces.
In particular, in [10] the authors managed to construct explicit bases \({\mathcal {S}}\) for which the associated maximal function \({\mathcal {M}}_{{\mathcal {S}}}\) has an arbitrary restricted weak-type behavior. The relevant result can be summarized as follows:
Theorem 1.1
([10, Corollary 1.5]) Let \(p_0 \in [1, \infty )\).
-
(1)
It is possible to find a basis \({\mathcal {S}}\) with \({\mathcal {R}}_0\subseteq {\mathcal {S}}\subset {\mathcal {R}}\) such that \({\mathcal {M}}_{{\mathcal {S}}}\) is of restricted weak-type (p, p) if \(p \in [p_0, \infty ]\) but is not if \(p \in [1, p_0)\).
-
(2)
Similarly, it is possible to find a basis \({\mathcal {S}}\) with \({\mathcal {R}}_0\subset {\mathcal {S}}\subset {\mathcal {R}}\) such that \({\mathcal {M}}_{{\mathcal {S}}}\) is of restricted weak-type (p, p) if \(p \in (p_0, \infty ]\) but is not if \(p \in [1, p_0]\).
We recall that Theorem 1.1 was obtained through a special construction involving the so-called \((\varepsilon ,d)\)-configurations around sets \(Q\in {\mathcal {R}}_0\), which are defined in Sect. 1.1. The approach in [10] made use of a combination of elements from harmonic analysis and probability.
The main purpose of this note is to improve the results in [10] by showing sharp weak-type (p, p) estimates, for \(p\in (1,\infty )\), and a sharp endpoint estimate, for \(p=1\), for the maximal operator \({\mathcal {M}}_{{\mathcal {S}}}\), where \({\mathcal {S}}\) is a countable union of disjointly placed \((\varepsilon ,d)\)-configurations around sets.
1.1 Maximal functions and \((\varepsilon ,d)\)-configurations
Given a basis \({\mathcal {B}}\), that is, a collection of measurable sets \(B \subset {\mathbb {T}}^{\omega }\), we define the maximal operator associated with \({\mathcal {B}}\) by
where dx is the normalized Haar measure on \({\mathbb {T}}^{\omega }\), the symbol \(\mathbb {1}_B\) stands for the indicator function of B, and \(|B| :=\int \mathbb {1}_B \, dx\). We always assume that \(|B| > 0\) for all \(B \in {\mathcal {B}}\). Moreover, we use the convention \({\mathcal {M}}_{{\mathcal {B}}}f(x) = 0\), whenever there is no B containing x.
Historically, the two most important maximal operators in the context of \({{\mathbb {T}}}^{\omega }\) are those associated with the Rubio de Francia bases, classical \({\mathcal {R}}\) and “dyadic” \({\mathcal {R}}_0\). They are introduced with the aid of specifically chosen subsets of \({\mathbb {T}}^{\omega }\) (see [6] or [10] for precise definitions):
-
subgroups \(H_1 \subset H_2\subset \cdots \) satisfying \([H_{m+1}:H_m]=2\) and \({\mathbb {T}}^\omega =\overline{\bigcup _{m\in {\mathbb {N}}}H_m}\),
-
open sets \(V_1 \supset V_2 \supset \cdots \) corresponding to the quotient groups \({{\mathbb {T}}}^{\omega } / H_m\).
Table 1 shows how the first few objects look like. We use the auxiliary sets \(R_n :=\{0, \frac{1}{n}, \dots , \frac{n-1}{n}\}\), \(n \in {{\mathbb {N}}}\), and by \(\textbf{0}^{(n}\) we mean the zero vector in \({\mathbb {T}}^{\omega }\) with the first n coordinates removed.
According to the notation above the Rubio de Francia bases are defined as follows
The behavior of \({\mathcal {M}}_{{\mathcal {R}}_0}\) and \({\mathcal {M}}_{{\mathcal {R}}}\) acting on \(L^p\) functions is well known. Precisely, \({\mathcal {M}}_{{\mathcal {R}}_0}\) is not of strong-type (1, 1) but it is of weak-type (1, 1), as was proven in [6] using the classical martingale-type argument, hence it is of strong-type (p, p) for all \(p \in (1, \infty ]\). On the other hand, \({\mathcal {M}}_{{\mathcal {R}}}\) does not satisfy any strong-type (or weak-type) (p, p) inequality for any finite p, as was shown in [8].
The observations above prompted the authors of [10] to study intermediate bases \({\mathcal {R}}_0\subset {\mathcal {S}}\subset {\mathcal {R}}\) and examine mapping properties of the associated maximal operators. As a result of these investigations, the \((\varepsilon , d)\)-configurations around sets were introduced.
Definition 1
Let \(\varepsilon \in (0, \frac{1}{2}]\) and \(d \in {\mathbb {N}}\). Let \(Q \in {\mathcal {R}}_0\) be such that \(Q = V_m + t\) for some \(t \in H_m\) with \(m \in {\mathbb {N}}\) so large that \(V_{m}\) has at least d nonfree coordinates. For each \(k \in \{1, \dots , d\}\) set \(Q_{k} = T_{k} + Q\), where \(T_{k} = (0, \dots , 0, (1-\varepsilon )|\pi _k(Q)|, 0, \dots )\), with \(\pi _k\) being the projection onto the k-th coordinate. Then \(\{Q_{1}, \dots , Q_{d}\}\) is called an \((\varepsilon , d)\)-configuration around Q.
Observe that a collection \(\{Q_{1}, \dots , Q_{d}\}\) which is an \((\varepsilon , d)\)-configuration around \(Q \in {\mathcal {R}}_0\) satisfies the following properties:
-
(1)
\(Q_k \in {\mathcal {R}}\) for each k,
-
(2)
\(|Q_{k}|=|Q|\) and \(| Q_{k} \cap Q| = \varepsilon |Q|\) hold for each k,
-
(3)
the sets \(Q_{k} {\setminus } Q\), \(k \in \{1, \dots , d\}\), are disjoint and of sizes comparable to that of Q,
-
(4)
the sets \(Q_{k} \cap Q\), \(k \in \{1, \dots , d\}\), resembles a collection of independent events.
The class of bases considered in [10] consists of all collections \({\mathcal {S}}\) of the form
where \({\mathcal {S}}_j = \{ Q_{j,i}\}_{i=1}^{d_j}\) are \((\varepsilon _j, d_j)\)-configurations around some rectangles \(Q_{j,0} \subset {\mathbb {T}}^\omega \) with parameters \(\varepsilon _j \in (0, \frac{1}{2}]\) and \(d_j \in {\mathbb {N}}\), and such that the sets \({\text {sh}}({\mathcal {S}}_j)\) are disjoint. Here, for any collection of sets \({\mathcal {E}}\),
We shall say that the configurations \({\mathcal {S}}_j\) are disjoint if the sets \({\text {sh}}({\mathcal {S}}_j)\) are disjoint.
We noted before that the sets \(Q_{j,1}, \dots , Q_{j,d_j}\), when intersected with \(Q_{j,0}\), represent independent events. Indeed, define the probability measure \(\mu _j = \frac{\mathbb {1}_{Q_{j,0}}}{|Q_{j,0}|}\). Then, for each \({\mathcal {E}} \subset {\mathcal {S}}_j\) with m elements,
In this article, instead of studying restricted weak-type inequalities, we shall be interested in finding precise bounds for the operator norm of \({\mathcal {M}}_{{\mathcal {S}}}\) acting from \(L^p\) to \(L^{p, \infty }\). We also deal with the endpoint case \(p=1\), which turns out to be quite interesting. Here we obtain a certain weak-type Orlicz bound similar to the weak-type bound for the strong maximal function near \(L^1\).
To begin with, let us notice that for disjoint configurations \({\mathcal {S}}_j\) we have
and similarly for other norms. This allows us to deal with these configurations one at a time.
Let \({\mathcal {S}}_0\) be a single \((\varepsilon , d)\)-configuration around a rectangle \(Q_0\), and let \(\{Q_i\}_{i=1}^d\) be the translated rectangles in the configuration. Testing with \(f = \mathbb {1}_{Q_0}\) we obtain
which gives
Hence, if \({\mathcal {S}}\) is a union of disjoint \((\varepsilon _j, d_j)\)-configurations, then
Therefore, this quantity determines a necessary condition for the weak-\(L^p\) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\). We will denote \(A_p({\mathcal {S}}_0) :=\varepsilon d^{\frac{1}{p}}\) for a single \((\varepsilon ,d)\)-configuration \({\mathcal {S}}_0\), and \(A_p({\mathcal {S}}) :=\sup _j A_p({\mathcal {S}}_j)\) for \({\mathcal {S}}\) being a union of disjoint \((\varepsilon _j,d_j)\)-configurations \({\mathcal {S}}_j\).
Our first result shows exactly how the norm \(\Vert {\mathcal {M}}_{{\mathcal {S}}_0}\Vert _{L^p \rightarrow L^{p,\infty }}\) depends on p and \(A_p({\mathcal {S}}_0)\).
Theorem 1.2
Let \({\mathcal {S}}_0\) be a single \((\varepsilon , d)\)-configuration. Then, for \(p \in (1, \infty )\) and \(q :=\frac{p}{p-1}\),
-
(1)
\(\Vert {\mathcal {M}}_{{\mathcal {S}}_0}\Vert _{L^p \rightarrow L^{p,\infty }} \lesssim 1\) if \(A_p({\mathcal {S}}_0) \le q e^{-q}\),
-
(2)
\(\Vert {\mathcal {M}}_{{\mathcal {S}}_0}\Vert _{L^p \rightarrow L^{p,\infty }} \lesssim \frac{q}{\log (q /A_p({\mathcal {S}}_0))}\) if \(qe^{-q} \le A_p({\mathcal {S}}_0) \le q e^{-1}\),
-
(3)
\(\Vert {\mathcal {M}}_{{\mathcal {S}}_0}\Vert _{L^p \rightarrow L^{p,\infty }} \lesssim e A_p({\mathcal {S}}_0)\) if \(A_p({\mathcal {S}}_0) \ge q e^{-1}\).
Moreover, the upper bounds are sharp, up to constants independent of \(\varepsilon , d, p\).
In the last case, for technical reasons we put \(e A_p({\mathcal {S}}_0)\) instead of \(A_p({\mathcal {S}}_0)\). With this choice, for each fixed p the postulated upper bound becomes a continuous increasing function of \(A_p({\mathcal {S}}_0)\).
In view of Theorem 1.2, the condition \(A_p({\mathcal {S}}) < \infty \), which is necessary for the \(L^p \rightarrow L^{p, \infty }\) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\), is in fact sufficient when \(p \in (1, \infty )\).
Corollary 1.3
Let \({\mathcal {S}}\) be a union of disjoint \((\varepsilon _j, d_j)\)-configurations \({\mathcal {S}}_j\). Then, for each \(p \in (1, \infty )\),
In particular, for each given \(p_0 \in (1, \infty )\), taking \(\varepsilon _j = \frac{1}{j+1}\) and \(d_j = \lfloor j^{p_0} \rfloor \) (respectively, \(d_j = \lfloor \log (j+2) j^{q_0} \rfloor \)), we obtain that the range of boundedness is precisely \([p_0, \infty ]\) (respectively, \((p_0, \infty ]\)).
Moreover, we point out an interesting special case where a logarithmic-type improvement occurs.
Corollary 1.4
Let \({\mathcal {S}}\) be a union of disjoint \((\varepsilon _j, d_j)\)-configurations \({\mathcal {S}}_j\). Assume that for some \(p_0 \in (1, 2]\) we have \(A_{p_0}({\mathcal {S}}) = 1\). Then, for \(q_0 :=\frac{p_0}{p_0-1}\),
When \(p=1\), as we mentioned, the situation deteriorates and we do not have weak-\(L^1\) boundedness when \(A_1({\mathcal {S}})\) is finite. Indeed, the condition which is sufficient and necessary is \({{\tilde{A}}}_1({\mathcal {S}}) :=\sup _{j} d_j < \infty \), see [10, Theorem 1.4]. Precisely, restricted weak-type (p, p) inequalities are characterized there, with \({{\tilde{A}}}_1({\mathcal {S}}) < \infty \) corresponding to \(p=1\). In fact, for \(p=1\) and \({\mathcal {M}}_{{\mathcal {S}}}\), it can be checked that being of restricted weak-type (1, 1) is equivalent to being of weak-type (1, 1). More generally, let us mention that the equivalence holds for maximal operators on \({\mathbb {R}}^d\) or \({\mathbb {T}}^d\) associated with a sequence of integrable convolution kernels (see [12] and [1, Chapter 4.5, Theorem 5.6]) but it is not true for arbitrary sublinear operators. Indeed, in [7] the authors provide an example of a sublinear translation-invariant operator acting on \(L^1({\mathbb {T}})\) which is not of weak-type (1, 1), although it is of restricted weak-type (1, 1) (that is, of weak-type (1, 1) for indicator functions).
Now, if we instead ask for an \(L\log L \rightarrow L^{1,\infty }\) result, then the condition \(A_1({\mathcal {S}}) < \infty \) is sufficient. In fact, we can even weaken it slightly.
Theorem 1.5
Let \({\mathcal {S}}_0\) be a single \((\varepsilon , d)\)-configuration. Then, for each \(\lambda \in (0, \infty )\),
where \(A({\mathcal {S}}_0) :=\frac{\varepsilon d}{\log (\varepsilon ^{-1})}\) is a weakened version of \(A_1({\mathcal {S}}_0)\). Moreover, the upper bound is sharp, up to a constant independent of \(\varepsilon , d, \lambda \).
As before, denoting \(A({\mathcal {S}}) :=\sup _j \frac{\varepsilon _j d_j}{\log (\varepsilon _j^{-1})}\) we see that the condition \(A({\mathcal {S}}) < \infty \) is sufficient and necessary for the \(L\log L \rightarrow L^{1,\infty }\) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\).
Corollary 1.6
Let \({\mathcal {S}}\) be a union of disjoint \((\varepsilon _j, d_j)\)-configurations \({\mathcal {S}}_j\). Then
The rest of the paper is organized as follows. In Sects. 2 and 3 we prove Theorems 1.5 and 1.2, respectively. We decided to reverse the order of proofs, so that we can begin with the simpler one. In Sect. 4 we collect some final comments and open questions.
2 The \(L^1\) endpoint
Here we show Theorem 1.5. The proof will be similar to the proof of the strong maximal theorem in [4], but with a slight probabilistic bent. We abbreviate \({\mathcal {S}}_0\) and \(A({\mathcal {S}}_0)\) to \({\mathcal {S}}\) and A.
Proof
In order to prove that the best constant must be at least comparable to 1, take \(f = \mathbb {1}_{Q_1}\) and \(\lambda = \frac{1}{2}\). Then \(| \{ {\mathcal {M}}_{{\mathcal {S}}} f > \lambda \} | = |Q_1|\) and \(\int \frac{|f|}{\lambda } \log \big ( e + \frac{|f|}{\lambda }\big ) \sim |Q_1|\), as desired. Similarly, take \(f = \mathbb {1}_{Q_0}\) and \(\lambda = \frac{\varepsilon }{2 }\). Then \(| \{ {\mathcal {M}}_{{\mathcal {S}}} f > \lambda \} | \sim d|Q_0|\) and \(\int \frac{|f|}{\lambda } \log \big ( e + \frac{|f|}{\lambda }\big ) \sim \varepsilon ^{-1} \log (\varepsilon ^{-1}) |Q_0|\).
Let us now prove that the postulated estimate holds. Take nonnegative f and \(\lambda = 1\). We let
Observe that without loss of generality we can assume that \({\mathcal {E}} = {\mathcal {S}}\) so that
Indeed, if \({\mathcal {E}} \ne {\mathcal {S}}\) then \({\mathcal {E}} = {\mathcal {S}}'\) for some \((\varepsilon , d')\)-configuration \({\mathcal {S}}' \subset {\mathcal {S}}\) with \(d' < d\). Thus, the upper bound we are looking for is the maximum of the upper bounds related to all subconfigurations \({\mathcal {S}}' \subset {\mathcal {S}}\) and the upper bound one can get analyzing the case \({\mathcal {E}} = {\mathcal {S}}\). After all, it turns out that the last quantity dominates the other ones because the upper bound from the thesis increases with A, and thus it is increasing in d if \(\varepsilon \) is fixed.
As mentioned, assume that \(\{{\mathcal {M}}_{{\mathcal {S}}}f > 1\} = {\text {sh}}({\mathcal {S}})\). We write \(f = f_1 + f_2\), where \(f_1 :=f \mathbb {1}_{Q_0 \cap \{ f \le \frac{1}{2\varepsilon } \}}\) and \(f_2 :=f - f_1\). Then for each \(Q \in {\mathcal {S}}\) we have \(\langle f_1 \rangle _Q \le \frac{1}{2}\), so that \(\langle f_2 \rangle _Q > \frac{1}{2}\) and consequently
Here we have used the height function, defined for any family \({\mathcal {F}}\) of rectangles as
Let \(\delta \in (0, 1)\) be a constant to be chosen later, slightly smaller than 1. Then, for \({\widetilde{f}} :=\delta ^{-1} f_2\),
Consider the first term. We would like to bound \({\widetilde{f}}h_{{\mathcal {S}}}\) by a sum of the form \(\varphi ({\widetilde{f}}) + \psi (h_{\mathcal {S}})\), whenever \(h_{{\mathcal {S}}} > 0\). Let \(c \in (0, 1]\) be a small constant to be chosen later. Set \(\psi (x) :=\varepsilon c^{-1} \exp (c x)\). Then
for all \(a, b \in (0, \infty )\), with \(\varphi \) being the Legendre transform of \(\psi \) given by
With this \(\varphi \) we have
Next, we obtain an exponential-integrability estimate for \(h_{{\mathcal {S}}}\). Here we can use the independence of the functions \(\mathbb {1}_{Q \cap Q_0}\) for \(Q \in {\mathcal {S}}\) with respect to the probability measure \(d \mu = \frac{\mathbb {1}_{Q_0}}{|Q_0|}dx\). Precisely,
Let \(\Lambda :=\exp (c)\). For every \(Q \in {\mathcal {S}}\) we have
From this, using the estimate \(1 + t \le \exp t\) for \(t \in (0, \infty )\), we deduce that
Choose c so that \((1+A)(\Lambda -1) = (1+A) (\exp (c) - 1)= 1\). Then
Consequently, since \(c=\log (1+(1+A)^{-1})\) and \(\log (1 + t) \sim t\) for \(t \in (0,1)\),
This means that after a suitable choice of \(\delta \) comparable to 1 we have
so that
The first term above is easy to handle. Indeed, since \(h_{{\mathcal {S}}} \le 1\) outside \(Q_0\), we have
It remains to focus on \(\varphi \). The supremum in (2.1) is achieved when \(t = \frac{1}{c} \log (\frac{x}{\varepsilon })\). This gives
provided that \(x \gtrsim \frac{1}{\varepsilon }\). Since \(c \sim (1+A)^{-1}\), \(\delta \sim 1\), and \(f_2 > \frac{1}{2\varepsilon }\) on \(Q_0 \cap \{ f > 0 \}\), we arrive at
as desired. \(\square \)
3 Weak-type (p, p) estimates for \(p \in (1, \infty )\)
Here we show Theorem 1.2. To motivate the argument, consider a nonnegative function f and \(\lambda \in (0, \infty )\). Then, writing shortly \({\mathcal {S}}\) instead of \({\mathcal {S}}_0\), we obtain
where \({\mathcal {E}} :=\{R \in {\mathcal {S}}: \int _R f > \lambda |R|\}\). As before, we can estimate \(|{\text {sh}}({\mathcal {E}})|\) using the height function
Then, following the steps in [4], we notice that it is possible to derive weak-type estimates for \({\mathcal {M}}_{{\mathcal {S}}}\) from Lebesgue norm estimates for \(h_{\mathcal {{\mathcal {E}}}}\). For example, if one can prove
for \(q = \frac{p}{p-1}\) and some \(C \in (0, \infty )\), then by Hölder’s inequality
which after rearranging terms becomes
These ideas are the first ingredient in the proof of Theorem 1.2. In order to compute the \(L^q\) norm of the height function we also need ideas from probability, in particular we will use the following theorem of Latała [11].
Theorem 3.1
([11, Theorem 1]) Let \(X_1, \dots , X_n\) be independent nonnegative random variables. Then, for \(p \in (1, \infty )\),
where the implicit constant does not depend on p or n, and
With these tools, we are ready to prove Theorem 1.2.
Proof Theorem 1.2
Fix \(p \in (1, \infty )\) and let \(q = \frac{p}{p-1}\). In order to obtain the desired maximal inequality, we will be interested in estimating \(L^q\) norms of \(h_{{\mathcal {E}}}\), where \({\mathcal {E}}\) is a subcollection of a single \((\varepsilon , d)\)-configuration around a rectangle \(Q_0\).
As before, without loss of generality we can assume that \({\mathcal {E}} = {\mathcal {S}}\) so that
This follows because the upper bound from the thesis increases with \(A_p({\mathcal {S}})\), and thus it is increasing in d if \(\varepsilon \) is fixed.
First, we observe that the function \(h_{{\mathcal {E}}}\) equals 1 on \({\text {sh}}({\mathcal {E}}) \setminus Q_0\), which gives the sharp bound
where \(\mu \) is the probability measure obtained by restricting dx to \(Q_0\), that is, \(d \mu :=|Q_0|^{-1} \mathbb {1}_{Q_0}dx\). Let us now enumerate the intersections of rectangles \(Q \in {\mathcal {E}}\) with \(Q_0\) by
Set \(f_i:= \mathbb {1}_{Q_i}\). By the discussion above, the functions \(\{f_i\}\) are independent with respect to \(\mu \), so by Theorem 3.1 it suffices to estimate \(\Vert (f_i)\Vert _{L^q}\).
In order to compute \(\Vert (f_i)\Vert _{L^q}\) it suffices to find the unique parameter \(\eta \in (0,\infty )\) such that
Note that
Solving this for \(\eta \) we arrive at
Since \(|{\text {sh}}({\mathcal {E}})| \sim d|Q_0|\), this gives (3.1) with \(C^{\frac{1}{q}} \sim 1 + d^{-\frac{1}{q}}\eta \). Thus, the relevant quantity for us is \(d^{-\frac{1}{q}}\eta \) and our goal is to estimate the supremum of
taken over all pairs \((\varepsilon , d)\) satisfying simultaneously
-
(1)
\(\varepsilon \in (0, \frac{1}{2}]\),
-
(2)
\(\varepsilon d^{\frac{1}{p}} = A\),
-
(3)
\(d \in {\mathbb {N}}\),
with A being a fixed positive real number. Using (2) and putting \(\varepsilon = Ad^{-\frac{1}{p}}\) in (3.2) we arrive at
Note that (1) and (2) force \(d \ge (2A)^p\), so that the range \(d \in {\mathbb {N}} \cap [(2A)^p, \infty )\) should be analyzed. However, we will work with \(d \in [1,\infty )\) first and only then take this restriction into account.
Suppose that \(d \le q\). Then \(e^{-\frac{1}{e}} \le q^{-\frac{1}{q}} \le d^{-\frac{1}{q}} \le 1\) and the numerator in (3.2) is unimportant. Furthermore,
and, for some constant \(c_1 \in [1,e^{\frac{1}{e}}]\),
Using these estimates together with \(\frac{d}{A} > 0\) and \(\frac{1}{q} \in (0,1)\), we conclude that (3.2) equals
when \(d \in [1,q]\), up to a universal constant independent of d, q, A. The function \(t \mapsto t \exp (q t^{-1})\), defined for \(t \in [1,q]\), has derivative
which means that (3.3) is increasing in d.
Suppose now that \(d \ge q\). Then \(\exp (q d^{-1})-1\) is well approximated by \(qd^{-1}\), namely,
Thus, for some constant \(c_2 \in [1,e-1]\),
As before, we conclude that (3.2) equals
when \(d \in [q,\infty )\), up to a universal constant independent of d, q, A. Also, it is easy to see that (3.4) is decreasing in d in the considered range.
Now observe that for \(d=q\) both (3.3) and (3.4) equal
up to a universal constant, and the same is true for (3.4) with \(d = \lceil q \rceil \). Hence, if \((2A)^p \le q\), then we are left with the expression (3.5). On the other hand, if \((2A)^p > q\), then in order to get the desired bound we should calculate (3.4) with \(d = \lceil (2A)^p \rceil \), or equivalently \(d = (2A)^p\), that is,
First, let us consider (3.5) for the whole range \(A \in (0, \infty )\). We can distinguish three cases.
-
(1)
\(A \le q e^{-q}\). Here we obtain
$$\begin{aligned} (3.5) \le \frac{1}{(1+e^q)^{1 /q}-1} \lesssim 1. \end{aligned}$$ -
(2)
\(A \ge q e^{-1}\). Here we use the approximation \((1+x)^{\frac{1}{q}}-1 \sim \frac{x}{q}\), valid for \(x \in (0,e]\), to obtain
$$\begin{aligned} (3.5) \sim A. \end{aligned}$$ -
(3)
\(qe^{-q} \le A \le q e^{-1}\). Here we use the approximation \(\frac{\log x}{q} \le x^{\frac{1}{q}}-1 \le \frac{\log x}{q} \exp \big (\frac{\log x}{q}\big )\), valid for \(x \in [1, \infty )\). When \(x = 1 + \frac{q}{A}\) then \(\log x \le \log (qA^{-1}) \le q\) which gives \(\frac{\log x}{q} \le x^{\frac{1}{q}}-1 \le e \frac{\log x}{q}\), so that we obtain
$$\begin{aligned} (3.5) \sim \frac{q}{\log \big (1+\frac{q}{A}\big )} \sim \frac{q}{\log \big (\frac{q}{A}\big )}. \end{aligned}$$
Next, let us analyze what can happen if \((2A)^p > q\). Note that \((2A)^{-\frac{p}{q}} = (2A)^{1-p}\) which gives
Then we use the approximation \((1+x)^{\frac{1}{q}}-1 \sim \frac{x}{q}\), valid for \(x \in (0,1]\), to obtain
It turns out that this part of the analysis essentially has no impact on the results obtained before. Precisely, in the first case, that is, \(A \le q e^{-q}\), we have \(A \lesssim 1\). Thus, we obtain
regardless of whether we replace 1 by A or not. In the second case, that is, \(A \ge q e^{-1}\), we obtain
Finally, in the third case, that is, \(q e^{-q} \le A \le q e^{-1}\), we have \(A \sim \frac{q}{\log (\frac{q}{A})}\), whenever \((2A)^p > q\). Indeed, if the latter holds, then \(A > \frac{1}{2} q^{\frac{1}{p}} \ge \frac{1}{2} e^{-\frac{1}{e}} q\). Thanks to this \(\frac{q}{A}\) is bounded from both sides by positive universal constants, and hence so is \(\frac{q}{A} \frac{1}{\log (\frac{q}{A})}\). Consequently, in this case we obtain
Let us now verify that for these maximal operators the inequalities obtained above are sharp up to constants independent of A and q. Take \({\mathcal {E}}\), a single \((\varepsilon ,d)\)-configuration, and set
Then \(\Vert f \Vert _{L^p} = 1\) and the averages are equal for all \(Q \in {\mathcal {E}}\). Set for any \(Q \in {\mathcal {E}}\). Then
Also, in this case the Cauchy–Schwarz inequality becomes equality
so that
Therefore, if we know that
for some \({{\tilde{C}}} \in (0, \infty )\), then
This shows that the estimates obtained in the last two cases, that is, \(A \ge q e^{-1}\) and \(q e^{-q} \le A \le q e^{-1}\), are sharp. To obtain the same in the first case, that is, \(A \le q e^{-q}\), one should take \(f = \mathbb {1}_{Q_0}\). \(\square \)
4 Comments and questions
In [10], it was shown that for \(p \in (1, \infty )\) the condition \(A_p({\mathcal {S}}) < \infty \) characterizes the restricted weak-type (p, p) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\). Theorem 1.2 says that exactly the same condition appears in the context of weak-type (p, p) inequalities. This motivates a very natural question that we do not answer here.
Question 1
Does the condition \(A_p({\mathcal {S}}) < \infty \) characterize the strong-type (p, p) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\), that is, the \(L^{p} \rightarrow L^{p}\) boundedness, when \(p \in (1, \infty )\)? If not, what is the necessary and sufficient condition for this type of boundedness?
If \(A_p({\mathcal {S}}) < \infty \) is indeed the exact condition, then only the sufficiency part needs to be verified.
The condition \(A_1({\mathcal {S}}) < \infty \) looks like a natural endpoint condition regarding some type of boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\) when \(p \rightarrow 1\). However, it does not characterize neither \(L^1 \rightarrow L^{1, \infty }\) nor \(L \log L \rightarrow L^{1,\infty }\) boundedness, and it seems that the desired domain should lie between \(L^1\) and \(L \log L\).
Question 2
Does the condition \(A_1({\mathcal {S}}) < \infty \) characterize the \(X \rightarrow L^{1, \infty }\) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\) for some function space X? More generally, can this condition be viewed as the endpoint condition regarding the strong-type, weak-type, or restricted weak-type (p, p) boundedness of \({\mathcal {M}}_{{\mathcal {S}}}\), when \(p \rightarrow 1\)?
The estimate in Theorem 1.5 resembles the one satisfied by the strong maximal function in \({\mathbb {R}}^2\). This is not coincidental, in fact \((\varepsilon ,d)\)-configurations behave, in a certain sense, like a two-parameter family of rectangles. Indeed, when intersected with the central rectangle, the intersections have all the same projections (normalized with respect to the projections of the central rectangle) except one, and thus behave like a family of rectangles in \({\mathbb {R}}^d\) with exactly one side different than the rest (which side depends on the rectangle). We recall that Zygmund [16] proved that a basis of axis-parallel rectangles with exactly k different sides differentiates \(L(\log L)^{k-1}\) regardless of the ambient dimension where these rectangles may lie. Also, in this direction, A. Córdoba showed that the maximal operator associated with a basis of axis-parallel rectangles with sidelengths \((s,t,\phi (s,t))\), where \(\phi (s,t)\) is monotone in each variable separately, maps not only \(L(\log L)^2\) but \(L(\log L)\) itself into \(L^{1,\infty }\), see e.g. [3].
A natural question, which is also a special case of Question 2, is whether one can replace the logarithm in Theorem 1.5 with a function with slower growth at infinity. In particular, one can ask for which \(\varphi \) do we have an inequality like
The operator \({\mathcal {M}}_{{\mathcal {S}}}\) depends on the \((\varepsilon , d)\)-configurations contained in \({\mathcal {S}}\), and in particular it is always bounded (in \(L^1\)) for collections with a finite number of rectangles. Also, such weak-type inequalities do not hold for all \((\varepsilon ,d)\)-configurations; some conditions of \(\varepsilon \) and d need to be specified. For example, when \(\varphi (x) = x^p\) then our results show that (4.1) holds uniformly over all nonnegative functions f, all \(\lambda \in (0, \infty )\), and all \((\varepsilon ,d)\)-configurations \({\mathcal {S}}\) with bounded \(A_p({\mathcal {S}})\).
Question 3
For which convex increasing functions \(\varphi :[0,\infty ) \rightarrow [0, \infty )\) satisfying \(\varphi (0) = 0\) does there exist an unbounded set \(\Omega \subseteq (0,\frac{1}{2})\times {\mathbb {N}}\) such that
holds uniformly over all nonnegative f, all \(\lambda \in (0, \infty )\), and all \((\varepsilon ,d)\)-configurations with \((\varepsilon ,d) \in \Omega \)?
Our results show that \(\varphi (x) = x \log (e+x)\) is contained in the set of such functions, and that \(\varphi (x) = x\) is not. It would be interesting to know whether there exists a threshold function between x and \(x \log (e+x)\), or whether one can formulate a condition that separates the two groups of functions from each other.
References
Bennett, C., Sharpley, R.: Interpolation of Operator. Pure and Applied Mathematics, vol. 129. Academic Press Inc, Boston, MA (1988)
Coifman, R.R., Weiss, G.: Analyse harmonique non-commutative sur certains espaces homogènes. Springer-Verlag, Berlin (1971)
Córdoba, A.: Maximal functions, covering lemmas and Fourier multipliers, Fourier analysis in Euclidean spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass.: Part 1, 29–50, p. 1979. Sympos. Pure Math. XXXV, Amer. Math. Soc., Providence, R.I, Proc (1978)
Córdoba, A., Fefferman, R.: A geometric proof of the strong maximal theorem. Ann. Math. 102, 95–100 (1975)
Edgar, G.: Integral, Probability, and Fractal Measures. Springer, New York (1998)
Fernández, E., Roncal, L.: A decomposition of Calderón-Zygmund type and some observations on differentiation of integrals on the infinite-dimensional torus. Potential Anal. 53, 1449–1465 (2020)
Hagelstein, P.A., Jones, R.L.: On restricted weak type \((1,1)\): the continuous case. Proc. Am. Math. Soc. 133, 185–190 (2005)
Kosz, D.: On differentiation of integrals in the infinite-dimensional torus. Stud. Math. 258, 103–119 (2021)
Kosz, D.: On the doubling condition in the infinite-dimensional setting. Bull. Aust. Math. Soc., published online (2023)
Kosz, D., Martínez-Perales, J., Paternostro, V., Rela, E., Roncal, L.: Maximal operators on the infinite-dimensional torus. Math. Ann. 385, 1–39 (2023)
Latała, R.: Estimation of moments of sums of independent real random variables. Ann. Probab. 25, 1502–1513 (1997)
Moon, K.H.: On restricted weak type \((1,1)\). Proc. Amer. Math. Soc. 42, 148–152 (1974)
Paluszyński, M., Stempak, K.: On quasi-metric and metric spaces. Proc. Am. Math. Soc. 137, 4307–4312 (2009)
Rubio de Francia, J.L.: Nets of subgroups in locally compact groups. Comment. Math. Prace Mat. 20, 453–466 (1977/78)
Rubio de Francia, J.L.: Convergencia de series de Fourier de infinitas variables. Publ. Sec. Mat. Univ. Autònoma Barcelona 21, 237–241 (1980)
Zygmund, A.: A note on the differentiability of integrals. Colloq. Math. 16, 199–204 (1967)
Acknowledgements
The authors would like to thank the referee for pointing out useful literature related to the topic, as well as for several remarks that improved the presentation of the results.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. D.K. and L.R. were supported by the Basque Government (BERC 2022–2025) and by the Spanish State Research Agency (CEX2021-001142-S). D.K. was also supported by the Foundation for Polish Science (START 032.2022), and L.R. was also supported by the Spanish State Research Agency (PID2020-113156GB-I00/AEI/10.13039/501100011033 with acronym “HAPDE” and RYC2018-025477-I), and by Ikerbasque. G.R. was supported by PID2019-105599GB-I00/AEI/10.13039/501100011033.
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
Kosz, D., Rey, G. & Roncal, L. Weak-type maximal function estimates on the infinite-dimensional torus. Math. Z. 304, 43 (2023). https://doi.org/10.1007/s00209-023-03302-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03302-w