Abstract
Let \(f\in L^p({\mathbb {R}}^d)\), \(d\ge 3\), and let \(A_t f(x)\) be the average of f over the sphere with radius t centered at x. For a subset E of [1, 2] we prove close to sharp \(L^p\rightarrow L^q\) estimates for the maximal function \(\sup _{t\in E} |A_t f|\). A new feature is the dependence of the results on both the upper Minkowski dimension of E and the Assouad dimension of E. The result can be applied to prove sparse domination bounds for a related global spherical maximal function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
Let \(A_t f(x)\) denote the mean of a locally integrable function f over the sphere with radius t centered at x. That is,
where \(\sigma \) is the standard normalized surface measure on the unit sphere in \({\mathbb {R}}^d\) and \(d\ge 2\). Let \(E\subset [1,2]\) and
which is well defined as a measurable function at least for continuous f. We consider the problem of \(L^p\)-improving estimates, i.e. \(L^p\rightarrow L^q\) estimates for \(q>p\), partially motivated by the problem of sparse domination results for the global maximal function \({\mathfrak {M}}_E f(x) =\sup _{k\in {\mathbb {Z}}} \sup _{t\in E}|A_{2^kt} f(x)|\), dependent on the geometry of E, see Sect. 6. The sparse domination problem is suggested by a remark in [11].
It is well known [15] that for \(E=\{\text {point}\}\) (when \(M_E\) reduces to a single average) we have \(L^p\rightarrow L^q\) boundedness if and only if (1/p, 1/q) belongs to the closed triangle with corners (0, 0), (1, 1) and \((\frac{d}{d+1}, \frac{1}{d+1})\). For the other extreme case \(E=[1,2]\) a necessary condition for \(L^p\rightarrow L^q\) boundedness is that (1/p, 1/q) belongs to the closed quadrangle \({\mathcal {Q}}\) with corners \(P_1=(0,0)\), \(P_2=(\frac{d-1}{d},\frac{d-1}{d})\), \(P_3=(\frac{d-1}{d}, \frac{1}{d})\) and \(P_4=(\frac{d(d-1)}{d^2+1}, \frac{d-1}{d^2+1})\), see [20]. By results of Stein [24] for \(d\ge 3\), and Bourgain [3] there is a positive result for the segment \([P_1,P_2)\) while boundedness fails at \(P_2\). For \(p<q\) almost sharp results are due to Schlag and Sogge [20] (see also previous work by Schlag [19] on the circular maximal function) and additional endpoint results were obtained by Lee [13]. For the point \(P_2\) Bourgain [2] had shown a restricted weak type inequality, and Lee [13] also showed in addition a restricted weak type inequality for the points \(P_3\) and \(P_4\). This implies by interpolation that \(M_{[1,2]}\) satisfies strong type bounds on the half-open edge \([P_1,P_2)\) and the open edges \([P_1,P_4), (P_4,P_3)\). Moreover restricted strong type estimates hold on the hald-open edge \([P_2,P_3)\). It is not known whether the \(L^p\rightarrow L^q\) bound holds for \(P_3\) or \(P_4\). In two dimensions the quadrangle \({\mathcal {Q}}\) becomes a triangle as the points \(P_2\) and \(P_3\) coincide. From [13] we have that \(L^p\rightarrow L^q\) boundedness holds on \({\mathcal {Q}}\) with exception of the points \(P_2=P_3\) and \(P_4\). Lee also shows the \(L^{5/2,1}({\mathbb {R}}^2)\rightarrow L^{5,\infty }({\mathbb {R}}^2)\) estimate, i.e. the restricted weak type inequality corresponding to \(P_4\) (and it is open whether the endpoint \(L^{5/2}\rightarrow L^5\) estimate holds). In two dimensions, for the point \(P_2=P_3\) the endpoint restricted weak type inequality is true for radial functions [12] but fails for general functions, see §8.3 of [21].
In this paper we take up the case of \(L^p\) improving estimates for spherical maximal functions with sets of dilations intermediate between the two above extreme cases; here we mainly consider the problem in dimensions \(d\ge 3\) although some partial results in two dimensions are included. Satisfactory results for \(p=q\) are in [22] where it was shown that the precise range of \(L^p\) boundedness depends on the upper Minkowski dimension \(\beta \) of the set E, which should also play a role for \(L^p\rightarrow L^q\) estimates. However it turns out that the notion of upper Minkowski dimension alone is not appropriate to determine the range of \(L^p\rightarrow L^q\) boundedness, and that in addition another type of dimension, the upper Assouad dimension, plays a significant role.
We recall the definitions. For a set \(E\subset {\mathbb {R}}\) and \(\delta >0\) denote by \(N(E,\delta )\) the minimal number of compact intervals of length \(\delta \) needed to cover E. The upper Minkowski dimension \(\dim _M\!E\) of a compact set E is the smallest \(\beta \) so that there is an estimate
for all \(\delta <1\) and \(\varepsilon >0\). The upper Assouad dimension \(\dim _A\!E\) is the smallest number \(\gamma \) so that there exist \(\delta _0>0\), and constants \(C_\varepsilon \) for all \(\varepsilon >0\) such that for all \(\delta \in (0,\delta _0)\) and all intervals I of length \(|I| \in (\delta ,\delta _0)\) we have
Clearly we have \(0\le \dim _M\!E\le \dim _A\!E \le 1\) for every compact subset of \({\mathbb {R}}\). For the Cantor middle third set C we have \(\dim _M\!C=\dim _A\!C=\log _32\). More generally the upper Minkowski and upper Assouad dimensions are equal for large classes of quasi-self-similar sets, see [6, §2.2] for precise definitions. In contrast, if \(0<\beta <1\) then for the set \(E(\beta )=\{1+n^{-a(\beta )}: n\in {\mathbb {N}}\}\), with \(a(\beta )=\frac{1-\beta }{\beta }\) we have \(\dim _M \!E(\beta )=\beta \) and \(\dim _A\!E(\beta )=1\).
One seeks to determine the region of (1/p, 1/q) for which \(\Vert M_E\Vert _{L^p\rightarrow L^q}\) is finite. It turns out that the following definitions are relevant to answer this question, up to endpoints (Fig. 1).
Definition
-
(i)
For \(\beta \le \gamma \le 1\) let \({\mathcal {Q}}(\beta ,\gamma )\) be the closed convex hull of the points
$$\begin{aligned} \begin{aligned} Q_1&=(0,0),\quad Q_2(\beta )=(\tfrac{d-1}{d-1+\beta },\tfrac{d-1}{d-1+\beta }), \\ Q_3(\beta )&=(\tfrac{d-\beta }{d-\beta +1}, \tfrac{1}{d-\beta +1} ), \quad Q_4(\gamma )= (\tfrac{d(d-1)}{d^2+2\gamma -1}, \tfrac{d-1}{d^2+2\gamma -1}). \end{aligned} \end{aligned}$$(1.4) -
(ii)
Let \(\text {Seg}(\beta )\) be the line segment connecting (0, 0) and \(Q_2(\beta ) \), with (0, 0) included and \(Q_2(\beta )\) excluded.
-
(iii)
Let \({\mathcal {R}}(\beta ,\gamma )\) denote the union of \(\mathrm {Seg}(\beta )\) and the interior of \(\mathcal {Q}(\beta ,\gamma )\).
Note that
It was shown in [22] that boundedness holds on the segment \(\text {Seg}(\beta )\) and this is sharp up to the endpoint. A number of conjectures for endpoint situations for \(L^p\rightarrow L^p\) boundedness are in [23] and these conjectures were confirmed there for the problem of \(L^p\rightarrow L^p\) estimates on radial functions; see also [21] for partial results for convex sequences when the radiality assumption can be dropped. A slight variation of the arguments in [22] shows that in the interior of the triangle with corners \(Q_i(\beta )\), \(i=1,2,3\) we have \(L^p\rightarrow L^q\) boundedness, see Sect. 2. Interpolation with the above mentioned results by Schlag-Sogge and Lee then shows that we have \(L^p\rightarrow L^q\) boundedness in the region \({\mathcal {R}}(\beta ,1)\). On the other hand the standard examples (cf. Sects. 4.1, 4.2, 4.3) show that boundedness fails in the complement of \({\mathcal {Q}}(\beta ,\beta )\). The main result of this paper is to close this gap (at least in dimensions \(d\ge 3\)).
Theorem 1
Let \(d\ge 3\), \(0\le \beta \le \gamma \le 1\) or \(d=2\), \(0\le \beta \le \gamma \le 1/2\). Let E be a subset of [1, 2] with \(\dim _M\!E=\beta \), \(\dim _A\!E=\gamma \). Then for (1/p, 1/q) contained in \({\mathcal {R}}(\beta ,\gamma )\),
Remark
The conclusion of the theorem in the two-dimensional case continues to hold in the case \(\gamma >1/2\) not covered in this paper. This requires arguments different from what we use here, see [18].
We now turn to the issue of sharpness. It turns out that Theorem 1 is sharp up to endpoints for a large class of sets which includes the above mentioned convex sequences \(E_a=\{1+ n^{-a}\}\) where \(\dim _M\! E_a= (a+1)^{-1}\) and \(\dim _A \!E_a= 1\), and also sets with \(\dim _A \!E= \dim _M \!E\) (in particular, self–similar sets). Moreover we shall, for every \(\beta \le \gamma \le 1\), construct sets \(E(\beta , \gamma )\) with \(\dim _M \!E(\beta , \gamma )=\beta \), \(\dim _A \!E(\beta , \gamma )=\gamma \) so that Theorem 1 is sharp up to endpoints for these sets, meaning that \(L^p\rightarrow L^q\) boundedness of \(M_E\) fails if \((1/p, 1/q)\notin {{\mathcal {Q}}(\beta , \gamma )}\).
We can say more about the sets E for which such sharpness results can be proved. To describe this family we work with definitions of dimensions which interpolate between upper Minkowski dimension and Assouad dimension, notions that were introduced by Fraser and Yu [7]. For \(0\le \theta <1\) one defines \(\dim _{A,\theta }\!E\) to be the smallest number \(\gamma (\theta )\) so that there exist \(\delta _0>0\), and constants \(C_\varepsilon \) for all \(\varepsilon >0\) such that for all \(\delta \in (0,\delta _0)\) and all intervals I of length \(|I|=\delta ^\theta \) we have
The function \(\theta \mapsto \dim _{A,\theta }\!E\) is called the Assouad spectrum of E. Note that \(\dim _{A,0}\!E=\dim _M\!E\). There are some immediate inequalities relating the Assouad spectrum with Minkowski and Assouad dimensions (see [7, Prop. 3.1]),
Indeed, the inequality \(\dim _{A,\theta }\!E\le \dim _A\!E\) holds by definition, while the inequality \(\dim _{A,\theta }\!E\le \dim _M\!E /(1-\theta )\) follows from \(N(E\cap I,\delta )\le N(E,\delta )\). To see the first inequality in (1.7) let us write \(\beta =\dim _M \!E\) and \(\gamma (\theta )=\dim _{A,\theta }\!E\). Cover the set E with an essentially disjoint collection \({\mathcal {I}}\) of intervals I of length \(\delta ^{\theta }\) so that \(\# {\mathcal {I}}\le 2N(E,\delta ^\theta )\le C(\varepsilon _1) (\delta ^{\theta })^{-\beta -\varepsilon _1}\) and use
By definition of Minkowski dimension and letting \(\varepsilon \), \(\varepsilon _1\) tend to zero, we get \(\beta \le \theta \beta + (1-\theta ) \gamma (\theta )\), which implies \(\beta \le \gamma (\theta )\) since \(0\le \theta <1\). For more sophisticated relations between the various dimensions in the Assouad spectrum, see [7]. The papers [7, 8] contain discussions of many interesting examples that are relevant in the context of Assouad dimension and Assouad spectrum.
Here we are interested, for suitable sets E, in those values of \(\theta \) for which
While the Assouad spectrum is generally not monotone (see [7, §8]), it holds that once the Assouad spectrum reaches the Assouad dimension then it stays there, i.e. if \(\dim _{A,\theta _0} \!E=\dim _A\!E\) then \(\dim _{A,\theta } \!E=\dim _A\!E\) for \(\theta _0<\theta <1\) (see [7, Cor. 3.6]). Note that the upper bound in (1.7) implies that (1.8) can only hold for \(\theta \ge 1-\beta /\gamma \), where \(\beta =\dim _M\!E\) and \(\gamma =\dim _A\!E\). This leads us to introduce the following terminology.
Definition
We say that a set E is \((\beta ,\gamma )\)-Assouad regular if \(\dim _M\!E=\beta \), \(\dim _A\!E=\gamma \) and \(\dim _{A,\theta }\!E=\dim _A\!E \text { for } 1>\theta >1-\beta /\gamma .\) E is called Assouad regular if it is \((\beta ,\gamma )\)-Assouad regular for some pair \((\beta ,\gamma )\).
Note that when \(\dim _M\!E=\dim _A\!E \) or \(\dim _M\!E=0\), then E is always Assouad regular. Also, the convex sequences \(E_a=\{1+ n^{-a}\}\) are \((\frac{1}{a+1},1)\)-Assouad regular (see [7, Thm. 6.2]). In Sect. 5 we shall give examples of \((\beta ,\gamma )\)-Assouad regular sets, for every pair \((\beta ,\gamma )\) with \(0<\beta < \gamma \le 1\). We shall show that Theorem 1 is sharp up to endpoints for Assouad regular sets.
Theorem 2
Let \(d\ge 2\), \(E\subset [1,2]\) and \(\beta = \dim _M\!E\).
-
(i)
If \((1/p,1/q)\not \in {{\mathcal {Q}}(\beta , \beta )}\), then
$$\begin{aligned} \sup \{\Vert M_E f\Vert _q: \Vert f\Vert _p\le 1 \}=\infty . \end{aligned}$$(1.9) -
(ii)
Let \(\theta \in [0,1)\) such that
$$\begin{aligned} \dim _{A,\theta }\!E= \tfrac{\dim _M\!E}{1-\theta }. \end{aligned}$$(1.10)Then (1.9) holds for \((1/p,1/q)\notin {{\mathcal {Q}}(\beta , \tfrac{\beta }{1-\theta })}\).
-
(iii)
If \(0\le \beta \le \gamma \le 1\) and E is \((\beta ,\gamma )\)-Assouad regular, then (1.9) holds for \((1/p,1/q)\not \in {{\mathcal {Q}}(\beta , \gamma )}\). In particular, Theorem 1 is sharp up to endpoints for Assouad regular sets.
Observe that (ii) implies (i) because (1.10) holds trivially for \(\theta =0\). Moreover, if E is \((\beta ,\gamma )\)–Assouad regular, then (1.10) holds with \(\theta =1-\beta /\gamma \), i.e. \(\gamma =\tfrac{\beta }{1-\theta }\), so (ii) also implies (iii). The validity of (ii) is proven in Sect. 4.
It would be interesting to investigate the sharpness of Theorem 1 for sets E which are not Assouad regular. For more on this topic, see [18].
1.1 Endpoint results
Here we discuss endpoint questions on the off-diagonal boundaries of \({\mathcal {Q}}(\beta ,\gamma )\) and give a result which is somewhat analogous to one of Lee’s theorems in [13]. The theorem involves restricted weak type estimates (with Lorentz spaces \(L^{p,1}\), \(L^{q,\infty }\)) at the points \(Q_2(\beta )\), \(Q_3(\beta )\) and \(Q_4(\gamma )\) and strong type estimates on the open edges connecting these points. Recall that \(M_E\) is said to be of strong type (p, q) if \(M_E:L^p\rightarrow L^q\) is bounded, and of restricted weak type (p, q) if \(M_E: L^{p,1}\rightarrow L^{q,\infty } \) is bounded. To prove these results we need to slightly strengthen the dimensional assumptions in Theorem 1.
Theorem 3
Let \(d\ge 3\), \(0\le \beta \le \gamma \le 1\), or \(d=2\), \(0\le \beta \le \gamma < 1/2\). Let \(E\subset [1,2]\).
-
(i)
Suppose that in addition \(\beta <1\) and
$$\begin{aligned} \sup _{0<\delta<1} \delta ^\beta N(E,\delta )<\infty . \end{aligned}$$(1.11)If (1/p, 1/q) is one of the points
$$\begin{aligned} Q_2(\beta )= \left( \tfrac{d-1}{d-1+\beta }, \tfrac{d-1}{d-1+\beta }\right) ,\, Q_3(\beta )=\left( \tfrac{d-\beta }{d-\beta +1}, \tfrac{1}{d-\beta +1}\right) \end{aligned}$$then \(M_E\) is of restricted weak type (p, q). \(M_E\) is of strong type (p, q) whenever \((\frac{1}{p},\frac{1}{q})\) belongs to the open line segment connecting \(Q_2(\beta )\) and \(Q_3(\beta )\).
-
(ii)
Suppose that
$$\begin{aligned} \sup _{0<\delta<1} \sup _{\delta \le |I|\le 1}\left( \tfrac{\delta }{|I|}\right) ^\gamma N(E\cap I,\delta )<\infty , \end{aligned}$$(1.12)where the second supremum is taken over all intervals I of length in \([\delta ,1]\). Let \((\frac{1}{p},\frac{1}{q})= Q_4(\gamma )= (\frac{d(d-1)}{d^2+2\gamma -1}, \frac{d-1}{d^2+2\gamma -1})\). Then \(M_E\) is of restricted weak type (p, q).
-
(iii)
Suppose that \(\beta <1\) and that both (1.11) and (1.12) hold. Then \(M_E\) is of strong type (p, q) for all \((\frac{1}{p}, \frac{1}{q})\in {{\mathcal {Q}}(\beta ,\gamma )}{\setminus } \{ Q_2(\beta ), Q_3(\beta ), Q_4(\gamma )\} \).
1.2 This paper
In Sect. 2 we begin proving Theorems 1 and 3 by discussing elementary and basically known estimates relevant for the \(p=q\) cases and the bounds at \(Q_3(\beta )\). In Sect. 3 we prove the upper bounds at \(Q_4(\gamma )\), thus concluding the proofs of Theorems 1 and 3. In Sect. 4 we discuss examples proving Theorem 2; see Sect. 4.4 for the new argument of sharpness for Assouad regular sets. In Sect. 5 we give some relevant constructions of sets with prescribed Minkowski and Assouad dimensions. Section 6 contains a discussion of related sparse domination bounds for the global maximal operator \(\mathfrak {M}_E\).
2 Preliminary results
In this section we assume \(d\ge 2\). We dyadically decompose the multiplier of the spherical means. Let \(\eta _0\) be a \(C^\infty \) function with compact support in \(\{\xi :|\xi |< 2\}\) such that \(\eta _0(\xi )=1\) for \(|\xi |\le 3/2\). For \(j\ge 1\) set \(\eta _j(\xi )= \eta _0(2^{-j}\xi )- \eta _0(2^{1-j}\xi )\) so that \(\eta _j\) is supported in the annulus \(\{\xi : 2^{j-1}<|\xi |<2^{j+1}\}\). Let \(\sigma \) denote the surface measure of the unit sphere in \({\mathbb {R}}^d\). Define \(A^j_t f\), \(j=0,1,2,\ldots \) via the Fourier transform by
We change notation for added flexibility. Let \(a(t,\cdot )\) be a multiplier and a symbol of order zero, satisfying \(|\partial _t^M \partial _\xi ^\alpha a(t,\xi )|\le C |\xi |^{-\alpha }\) for all multiindices \(\alpha \) with \(|\alpha |\le 100 d\) and all M. Denote by \({\mathfrak {S}}_0\) the class of these symbols. For \(a\in {\mathfrak {S}}_0\) and \(j\ge 1\) let
so that, by well-known stationary phase arguments (see [25, Ch. VIII]),
where \(a_{j,\pm }\) are symbols in \({\mathfrak {S}}_0\), with bounds uniform in j. In what follows \(a_j\in {\mathfrak {S}}_0\) is fixed and \(T^j_t\) refers to either \(f\mapsto T_t^{\pm ,j}[a_{j,\pm },f]\).
We shall need a pointwise estimate for the convolution kernels of the operators \(T^j_t\) and \(T^j_t (T^j_{t'})^*\) provided by the following lemma.
Lemma 2.1
Let \(\chi \in C^\infty _c({\mathbb {R}}^d)\), supported in \(\{\xi : 1/2<|\xi |\le 2\}\) and let
Then there are constants \(C_N\) depending only on bounds for a finite number of derivatives of \(\chi \) so that for all \((x,t)\in {\mathbb {R}}^d\times {\mathbb {R}}\):
Proof
We change variables and write
If \(\max \{|x|, |t|\} \le C 2^{-j}\) we use the trivial estimate \(|\kappa ^{j,\pm } (x,t)| \le 2^{jd} \). From integration by parts we obtain
It remains to consider the case \(|t|\approx |x|>2^{-j}\). Then we apply polar coordinates, stationary phase in the spherical variables, and integration by parts in the resulting oscillatory integral to get (2.2). \(\square \)
We now state the basic estimate used in [22].
Lemma 2.2
-
(i)
For \(1\le p\le 2,\)
$$\begin{aligned} 2^{-j(d-1)/2} \Vert \sup _{t\in E} | T^j_t f| \Vert _p\lesssim N(E, 2^{-j} )^{1/p} 2^{-j(d-1)(1-1/p)}\Vert f\Vert _p. \end{aligned}$$ -
(ii)
For \(2\le p\le \infty \),
$$\begin{aligned} 2^{-j(d-1)/2} \Vert \sup _{t\in E} | T^j_t f| \Vert _p\lesssim N(E, 2^{-j} )^{1/p} 2^{-j(d-1)/p)}\Vert f\Vert _p. \end{aligned}$$
Proof
For (i) one interpolates between the cases \(p=1\) and \(p=2\), and for (ii) one interpolates between the cases \(p=\infty \) and \(p=2\). \(\square \)
The same argument also gives
Lemma 2.3
For \(2\le q\le \infty \), \(1/q'+1/q=1\),
Proof
We interpolate between \(q=2\) and \(q=\infty \). The case \(q=2\) is from the previous lemma. For the case \(q=\infty \) we use that the convolution kernel \(K^j_t\) of \(2^{-j(d-1)/2} T^j_t\) satisfies the uniform bound \(|K_t^j(x)|\lesssim 2^j\) (by Lemma 2.1). \(\square \)
2.1 Bourgain’s interpolation trick
For various restricted weak type estimates we apply a familiar interpolation argument due to Bourgain [2], see also an abstract extension in the appendix of [4]. It says assuming \(a_0, a_1>0\), that if \((R_j)_{j\ge 0}\) are sublinear operators which map \(L^{p_0,1}\) to \(L^{q_0,\infty } \) with operator norm \(O(2^{ja_0})\) and \(L^{p_1,1}\) to \(L^{q_1,\infty } \) with operator norm \(O(2^{-ja_1})\) then \(\sum _{j\ge 0} R_j\) is of restricted weak type (p, q) where
Using this result we get
Lemma 2.4
Suppose \(0<\beta <1\) and assumption (1.11) holds. Then \(M_E\) is of restricted weak type p, q if (1/p, 1/q) is either one of \(Q_2(\beta )\), \(Q_3(\beta )\).
Proof
For the statement with \(Q_2(\beta )\) we apply Lemma 2.2 and assumption (1.11) to get for \(1\le p\le 2\),
We consider these inequalities for \(p_0\), \( p_1\) where \(p_0< \frac{d-1+\beta }{d-1}<p_1\). We then use Bourgain’s interpolation argument to deduce
This gives the asserted weak restricted weak type inequality for \(M_E\) at \(Q_2(\beta )\).
For the result at \(Q_3(\beta )\) we apply Lemma 2.3 instead and obtain under assumption (1.11), for \(2\le q\le \infty \),
Bourgain’s interpolation argument gives
This gives the asserted restricted weak type inequality for \(M_E\) at \(Q_3(\beta )\). \(\square \)
Corollary 2.5
Let \(E\subset [1,2]\) and \(\dim _M\!E=\beta \).
-
(i)
Then for \(\frac{d-1+\beta }{d-1}<p<\infty \)
$$\begin{aligned} \left\| \sup _{t\in E}| A^j_t f|\right\| _p \lesssim _p 2^{-ja(p)} \Vert f\Vert _p \end{aligned}$$with \(a(p)>0\).
-
(ii)
For (1/p, 1/q) in the interior of the triangle \({\mathcal {T}}_\beta \) with corners \(Q_1\), \(Q_2(\beta )\), \(Q_3(\beta )\) we have
$$\begin{aligned} \left\| \sup _{t\in E}| A^j_t f|\right\| _q \lesssim _p 2^{-ja(p,q)} \Vert f\Vert _p, \end{aligned}$$for some \(a(p,q)>0\).
Proof
Use \(N(E,2^{-j}) \lesssim _\varepsilon 2^{j(\beta +\varepsilon )}\), apply the previous lemmata to \(A_t^j\). \(\square \)
3 Estimates near \(Q_4(\gamma )\): the role of Assouad dimension
As the case \(\beta =1\) is already known (see [20]) we shall assume in this section that \(\beta <1\).
Let \(\gamma \le 1\) and
i.e. \(Q_4(\gamma )=(1/p_4, 1/q_4)\).
Proposition 3.1
Let either \(d\ge 3\), or both \(d=2\) and \(\gamma <1/2\). Suppose that assumption (1.12) holds. Then
Proof
Let \(\vartheta = \frac{(d-1)^2-2\gamma }{d^2+2\gamma -1}\) and notice that \(\vartheta \in (0,1) \) if \(d=3\) or \(d=2\), \(\gamma <1/2\). One checks that \(1-\vartheta = \frac{2(d-1+2\gamma )}{d^2+2\gamma -1}\) and
For all estimates concerning \(A^j_t\) we shall assume \(d\ge 2\), and assumption (1.12). By Lemma 2.3 we have
We shall prove, for \(d\ge 2\),
Notice that \(\frac{(d-1)^2-2\gamma }{2(d-1+2\gamma )}>0\) for \(d\ge 3\) or \(d=2\), \(\gamma <1/2\). The asserted restricted weak type inequality follows from (3.2) and (3.3), using Bourgain’s interpolation trick. It remains to prove (3.3).
For each j let \({\mathcal {I}}_j(E)\) denote the collection of intervals J of the form \([k 2^{-j}, (k+1)2^{-j}]\) which intersect E. For each interval I with length at least \(2^{-j}\) we form \({\mathcal {I}}_j(E\cap I)\). Then
Indeed if \({\mathcal {V}}\) is any collection of intervals of length \(2^{-j}\) covering \(E\cap I\), and if \(J\in {\mathcal {I}}_j(E\cap I)\) there must be an interval \({\tilde{J}}(J)\in {\mathcal {V}}\) which intersects J; moreover if \(J, J'\) have distance \(\ge 3\cdot 2^{-j}\) then the intervals \({\tilde{J}}(J)\) and \({\tilde{J}}(J')\) in \({\mathcal {V}}\) must be disjoint. This means that the cardinality of \({\mathcal {V}}\) is at least one seventh of the cardinality of \({\mathcal {I}}_j(E\cap I)\) and (3.4) follows. By our assumption (1.12) we also have
for any interval of length at least \(2^{-j}\).
We now fix j. Let \({\mathcal {I}}_j(E)=\{I_\nu \} \) and let \(\{t_\nu \}\) be the set of left endpoints of these intervals. Here the indices \(\nu \) are chosen from some finite set which we call \({\mathcal Z_j}\). Equipping \({\mathcal Z_j}\) with the counting measure, we claim that it suffices to show that for \(q_\gamma = \frac{2(d-1+2\gamma )}{d-1}\),
Indeed, by the fundamental theorem of calculus
Taking \(L^{q_\gamma ,\infty }\)-norms (recall that \(L^{q,\infty }\) is normable, see [10]) on both sides and noting that
we see that \(\Vert \sup _{t\in E} |A_t^j f|\Vert _{q,\infty }\) is dominated by a constant times the left hand side of (3.6).
The estimate (3.6) follows once we show that
Given a function \(g:{\mathbb {R}}^d\times {\mathcal Z_j}\rightarrow {\mathbb {C}}\), define the operator
A \(TT^*\) argument using that the dual space of \(L^{q',1}\) is \(L^{q,\infty }\) shows that (3.7) follows once we establish
We use a variant of the argument in the proof of the \(L^2\) Fourier restriction theorem [27] (see also [26]). For \(n\ge 0\) and \(\nu \in {\mathcal Z_j}\) we define
Observe that \({\mathcal {Z}}_{n,j}(\nu )\) is empty if \(n\ge j+3\) and that \({\mathcal Z_j}= \bigcup _{n\ge 0} {\mathcal {Z}}_{n,j}(\nu )\). Define the operators \(S_{n,j}\) acting on functions \(g:{\mathbb {R}}^d\times {\mathcal Z_j}\rightarrow {\mathbb {C}}\) by
Then \(S_j = \sum _{n\ge 0} S_{n,j}\). We claim that
and
Then (3.8) follows by Bourgain’s interpolation trick: with \(\theta ~=~2/q_\gamma ~=~\tfrac{d-1}{d-1+2\gamma }\),
From Lemma 2.1 we get that the convolution kernel \(K^j_{\nu ,\nu '}\) of \(T^j_{t_{\nu }} (T^j_{t_{\nu '}})^* \) satisfies
This implies (3.9). It remains to prove (3.10). Using the Cauchy-Schwarz inequality we get
where we have used that \(\Vert T^j_t\Vert _{L^2\rightarrow L^2} = O(1)\). Finally, by (3.5) we have \(\#{\mathcal {Z}}_{n,j}(\nu )\lesssim 2^{n\gamma }\) for all \(\nu \in {\mathcal Z_j}\). Together with the previous display this implies (3.10). \(\square \)
The above proof also gives
Corollary 3.2
Suppose that \(\dim _A\!E=\gamma \). Then for all \(\varepsilon >0\)
Proof
The assumption means that given any \(\varepsilon >0\) the assumption (1.12) holds with \(\gamma +\varepsilon \) in place of \(\gamma \). Hence we get (3.3) with an additional factor of \(C(\epsilon )2^{j\epsilon } \) for all \(\epsilon >0\), and interpolation as before yields the result. \(\square \)
Proof
Theorem 1 is now immediate from Corollaries 2.5 and 3.2. Theorem 3 follows by a combination of Lemma 2.4, Proposition 3.1 and real interpolation.
4 Necessary conditions: Proof of Theorem 2
Let \(\beta =\dim _M\!E\) and suppose that \(\theta \in [0,1)\) is such that \(\dim _{A,\theta }\!E= \tfrac{\beta }{1-\theta }.\) Set \({\widetilde{\gamma }}=\tfrac{\beta }{1-\theta }\) and assume that (1/p, 1/q) is such that \(M_E\) is bounded from \(L^p({\mathbb {R}}^d)\) to \(L^q({\mathbb {R}}^d)\). We will show that \((1/p,1/q)\in \mathcal {Q}(\beta ,{\widetilde{\gamma }})\).
This is done by providing four separate examples, each corresponding to one of the (generically) four edges of \(\mathcal {Q}(\beta ,{\widetilde{\gamma }})\). One is just in view of translation invariance [9], and two others are adaptations of standard examples for spherical means and maximal functions (see [19, 20, 22]). The last example reveals the role of the Assouad spectrum.
4.1 The line connecting \(Q_1\) and \(Q_2(\beta )\)
This is simply the necessary condition \(p\le q\) imposed by translation invariance on \({\mathbb {R}}^d\); one tests \(M_E\) on \(f+ f(\cdot -a)\) where f is compactly supported and a is a large vector, see [9].
4.2 The line connecting \(Q_2(\beta )\) and \(Q_3(\beta )\)
First let \(B_\delta \) be the ball of radius \(\delta \ll 1\) centered at the origin and \(\chi _\delta \) the characteristic function of \(B_\delta \), so that \(\Vert f\chi _\delta \Vert _p\le \delta ^{d/p}\). The maximal function \(M_E\) is of size \( > rsim \delta ^{d-1}\) on a union of annuli with measure \(N(E,\delta )\delta \). This leads to the inequality
By the assumption \(\dim _{M}\!E=\beta \) we have given \(\varepsilon >0\) a sequence \(\delta _m\), with \(\delta _m\rightarrow 0\) as \(m\rightarrow \infty \), such that \(N(E,\delta _m) \ge \delta _m^{\varepsilon -\beta }\). Hence, after letting \(\varepsilon \rightarrow 0\) we get the condition
as being necessary for \(L^p\rightarrow L^q\) boundedness.
4.3 The line connecting \(Q_1\) and \(Q_4({\widetilde{\gamma }})\)
As in [19] we may take \(f_\delta = {\mathbb {1}}_{{\mathcal {C}}(\delta ,t)}\) where \({\mathcal {C}}(\delta ,t)\) is the \(\delta \) neighborhood of the circle of radius \(t\in [1,2]\) centered at the origin. Then \(\Vert f_\delta \Vert _p=\delta ^{1/p}\) and \(|A_t f(x)| \ge 1\) for \(|x|\le c \delta \). Hence we \(\delta ^{d/q}\lesssim \delta ^{ 1/p}\) which forces \(d/q\ge 1/p\), as required.
4.4 The line connecting \(Q_3(\beta )\) and \(Q_4({\widetilde{\gamma }})\)
By assumption, for every \(\varepsilon >0\) there exists an arbitrarily small \(\delta >0\) and an interval \(I\subset [1,2]\) with \(|I|=\delta ^\theta \) such that \(N(E\cap I,\delta )\ge (|I|/\delta )^{{\widetilde{\gamma }}-\varepsilon }\). Set \(\alpha =\beta /{\widetilde{\gamma }}\) and
Let r be the left endpoint of the interval I and let \(g_{\delta ,I}\) be the characteristic function of the set
Then
Choose a covering of \(E\cap I\) by a collection \(\mathcal {J}\) of pairwise disjoint intervals, each of length \(\delta \) such that \(E\cap I\cap J\not =\emptyset \) for every \(J\in \mathcal {J}\). Then \(\# \mathcal {J}\ge N(E\cap I,\delta )\).
Let \(c\in (0,1)\) be a sufficiently small absolute constant not depending on dimension that is to be determined. We claim that for all \(t\in \cup _{J\in {\mathcal {J}}}J \) and all \(x=(x',x_d)\) with \(|x'|\le c \delta \sigma ^{-1}\) and \(|x_d+t-r|\le c \delta \),
Indeed, let \(y=(y',y_d)\in S^{d-1}\) with \(|y'|\le c \sigma \). Compute
Since \(|x_d + t - r|\le c \delta \) and \(|x'|^2 \le c^2 \delta ^2\sigma ^{-2}\le c^2 \delta \),
where we used that \(|I|=\delta ^\theta =\delta \sigma ^{-2}\). This implies
and hence \(||x+ty|-r|\le \delta \) when we pick c small enough (say, \(c=10^{-2}\)). Also, \(|x'+ty'| \le |x'| + 2 |y'| \le \sigma \) so that altogether we proved \(g_{\delta ,I}(x+ty) = 1\). This establishes (4.2). Since the intervals \(J\in \mathcal {J}\) are disjoint, the corresponding regions of x where (4.2) holds can be chosen disjoint. Hence,
Finally, we estimate \(N(E\cap I,\delta )\ge (|I|/\delta )^{{\widetilde{\gamma }}-\varepsilon }=\delta ^{-\beta +\varepsilon \alpha }\)and let \(\varepsilon \) and \(\delta \) tend to zero to find the necessary condition
A computation shows that \(L(Q_3(\beta ))=0\) and \(L(Q_4({\widetilde{\gamma }}))= L(Q_4(\beta /\alpha ))=0\).
5 Examples of Assouad regular sets
Let \(0<\beta<\gamma <1\). We construct a \((\beta ,\gamma )\)-Assouad regular subset of [1, 2]. In what follows we put \(\lambda = 2^{-1/\beta }\) and \(\mu =2^{-1/\gamma }\), so that \(\lambda<\mu <1/2\).
5.1 Cantor set construction
We review the standard Cantor set construction adapted to a compact interval \(I_{0,1}=[a,b]\), see [16, p. 60]. We let \(I_{1,1}^\mu \) be the compact interval of length \(\mu (b-a)\) that includes the left endpoint of \(I_{0,0}^\mu \) and let \(I_{1,2}^\mu \) be the compact interval of length \(\mu (b-a)\) that includes the right endpoint of \(I_{0,0}\). Continue this selection for the two compact subintervals. At stage \(k-1\) we get \(2^{k-1}\) intervals \(I_{k-1,1}^\mu ,\ldots , I_{k-1, 2^{k-1}}^\mu \) of length \(\mu ^k(b-a)\).
We let \(C^\mu _k([a,b])= \cup _{\nu =1}^{2^k} I_{k,\nu }^\mu \) and let \(\mathrm {bd}(C^\mu _k([a,b]))\) the set of boundary points of the \(2^k\) intervals \(I_{k,1}^\mu ,\ldots I_{k,2^k}^\mu \). The usual Cantor set is given by \(C^\mu ([a,b])=\cap _{k=1}^\infty C^\mu _k([a,b])\); it is of Hausdorff dimension and Assouad dimension \(\gamma \). However in our example below we will not work with the full Cantor sets.
5.2 Construction of the set E
Let \(J_k=[1+ \lambda ^{k+1}, 1+\lambda ^k]\). We now start to build a Cantor set with dissection \(\mu =2^{-1/\gamma }\) on each interval \(J_k\), however to keep the Minkowski dimension \(\beta \) we shall, for a suitable integer m(k), stop at the \(m(k)^{\text {th}}\) generation and only take the endpoints of the \(2^{m(k)}\) resulting intervals of length
Let \(\theta =1-\beta /\gamma \in (0,1)\). Then we set \(m(k)= 1+\lfloor \tfrac{k}{\theta }\rfloor .\) This choice is made so that
We then set
5.3 Dimensional estimates
Lemma 5.1
For \(0<\beta<\gamma <1\), \(\theta =1-\beta /\gamma \) and E as constructed in Sect. 5.2 we have that
More precisely, the quantities
are all finite and positive.
Proof
Let us first show
In order to see that \(\dim _A\!E\le \gamma \) note that, in view of the Cantor structure of each \(E_k\) with dissection \(\mu =2^{-1/\gamma }\), we get for \(I\subset J_k\)
Then, for an arbitrary interval \(I\subset [1,2]\) and \(\delta <|I|\),
This gives \(\dim _A\!E\le \gamma \), and also shows that the quantities (iii), (iv), (v), (vi) are finite. We can also conclude \(\dim _{A,\theta }\!E \le \gamma .\)
Next we observe,
This also shows that the quantity (iii) is positive (also (iv), (v), (vi)) and that \(\dim _A\!E\ge \gamma \). Thus we have now proved (5.3).
Note that we have not yet made use of the particular choice of m(k) (that is, (5.2)). Taking (5.2) into account we see that (5.5) also implies that the quantity (iv) is positive (hence also the ones in (iii), (v), (vi)) and that \(\dim _{A,\theta }\!E \ge \gamma .\) Moreover using (5.2) we also obtain
which implies the positivity of (ii) (and (i)), and \(\dim _M\!E \ge \beta .\)
It now only remains to consider the upper bounds for \(N(E, \delta )\). These again depend on (5.2). Let \(\delta \in (0,1)\) be given. Since \(\delta _k^\theta \approx |J_k|\),
This gives
which by (5.4) (with \(I=J_k\)) and (5.2) is
Hence we proved the finiteness of the quantities (i), (ii) and the bound \(\dim _M\!E \le \beta .\) \(\square \)
6 A consequence for sparse domination bounds
One motivation to prove sharp \(L^p \rightarrow L^q\) estimates comes from the problem of sharp sparse domination bounds for the global maximal operator
as suggested in §7.5.3 in [11], with various consequences to weighted norm inequalities. The concept of sparse domination originates in Lerner’s paper [14]. Here we use the definition of sparse domination of bilinear forms in [11], which in some form goes back to [1]. We refer the reader to [5, 11] for many additional references and historical remarks.
A collection \({\mathcal {S}}\) of cubes is called sparse if for every \(Q\in {\mathcal {S}}\), there is a measurable set \(A_Q\subset Q\) so that \(|A_Q|\ge |Q|/4\) such that the sets \(\{A_Q: Q\in {\mathcal {S}}\}\) are disjoint.
Definition
Let \((p_1, p_2)\) be a pair of exponents, each in \([1,\infty )\). Let T be a sublinear operator T mapping compactly supported \(L^{p_1}\) functions in \({\mathbb {R}}^n\) to locally integrable functions on \({\mathbb {R}}^n\). For a sparse family \({\mathcal {S}}\) we set
Then is called the sparse form associated with \({\mathcal {S}}\). We say that T satisfies a \((p_1,p_2)\) sparse domination inequality if there is a constant C such that
holds for all continuous compactly supported f and locally integrable g; here the supremum is taken over all sparse families \({\mathcal {S}}\). We define \(\Vert T\Vert _{\mathrm{sp}(p_1,p_2)} \) as the infimum over all \(C>0\) such that (6.1) holds for all \(f\in L^{p_1}\), \(g\in L^{p_2}\) with compact support. It is easy to see that \(\Vert T\Vert _{L^p\rightarrow L^p} \lesssim \Vert T\Vert _{\mathrm{sp}(p_1,p_2)}\), for \(p_1<p<p_2'\); see e.g. [11, Prop. 6.1].
Let \(E\subset [1,2]\) and consider the global maximal function
mentioned in the introduction. The paper by Lacey [11] shows that Theorem 1 and a related regularity result imply certain sparse domination inequalities for the \({\mathfrak {M}}_E\) mentioned. Lacey’s result covered the cases \(E=\{\text {point}\}\) and \(E=[1,2]\). For general \(E\subset [1,2]\) we get
Theorem 6.1
Let \(0\le \beta \le \gamma \le 1\), \(d\ge 3\) or \(0\le \beta \le \gamma \le 1/2\), \(d=2\). Let E be as in Theorem 1. Suppose that \((p_1^{-1}, 1-p_2^{-1})\) belongs to the interior of \({\mathcal {R}}(\beta ,\gamma )\). Then
The needed regularity result alluded to above is
Lemma 6.2
Let E be as in Theorem 1. Then for \((1/p,1/q)\in {\mathcal {R}}(\beta ,\gamma )\) there is \(\alpha (p,q)>0\) such that
Proof
This regularity result is of course a by-product of the proof of Theorem 1. We have, for \(A_t^j f\) as in (2.1),
for \(\varepsilon (p,q)>0\) if \((1/p,1/q)\in {\mathcal {R}}(\beta ,\gamma )\). This immediately implies (6.2), for some \(\alpha (p,q)>0\). \(\square \)
Proof of Theorem 6.1
The reduction in [5, 11] can be applied (see also [17] for related arguments). One systematically replaces in [11] the full local maximal operator \(M_{[1,2]}\) by its modification \(M_E\) for general \(E\subset [1,2]\) and uses Theorem 1 and Lemma 6.2 in the proof. \(\square \)
Remark 6.3
If in this proof one uses the \(L^p({\mathbb {R}}^2)\rightarrow L^q({\mathbb {R}}^2)\) result in [18] one can drop the condition \(\gamma \le 1/2\) in the two-dimensional case of Theorem 6.1.
Remark 6.4
One can also obtain sparse domination results for the general spherical maximal operator
when \(E\subset (0,\infty )\). In this context, one has to use dilation invariant notions of the Minkowski and Assouad dimensions for the sets \(E \cap [\lambda ,2\lambda ]\), with uniformity in \(\lambda \) in the definitions. Specifically, if \(E_\lambda : = \lambda ^{-1} E\cap [1,2]\) we then let \(\beta \) be the infimum over all \({{\widetilde{\beta }}}>0\) for which
We let \(\gamma \) be the infimum over all \({{\widetilde{\gamma }}}>0\) for which
Then \(\Vert {\mathcal {M}}_E\Vert _{\mathrm{sp}(p_1,p_2)} <\infty \) holds under the assumption that \((p_1^{-1}, 1-p_2^{-1})\) belongs to \({\mathcal {R}}(\beta , \gamma )\).
References
Bernicot, F., Frey, D., Petermichl, S.: Sharp weighted norm estimates beyond Calderón–Zygmund theory. Anal. PDE 9(5), 1079–1113 (2016). arXiv:1510.00973
Bourgain, J.: Estimations de certaines fonctions maximales. C. R. Acad. Sci. Paris Sér. I(301), 499–502 (1985)
Bourgain, J.: Averages in the plane over convex curves and maximal operators. J. Anal. Math. 47, 69–85 (1986)
Carbery, A., Seeger, A., Wainger, S., Wright, J.: Classes of singular integral operators along variable lines. J. Geom. Anal. 9(4), 583–605 (1999)
Conde-Alonso, J.M., Culiuc, A., Di Plinio, F., Ou, Y.: A sparse domination principle for rough singular integrals. Anal. PDE 10(5), 1255–1284 (2017). arXiv:1612.09201
Fraser, J.M.: Assouad type dimensions and homogeneity of fractals. Trans. Am. Math. Soc. 366(12), 6687–6733 (2014). arXiv:1301.2934
Fraser, J.M., Yu, H.: New dimension spectra: finer information on scaling and homogeneity. Adv. Math. 329, 273–328 (2018). arXiv:1610.02334
Fraser, J.M., Yu, H.: Assouad-type spectra for some fractal families. Indiana Univ. Math. J. 67(5), 2005–2043 (2018). arXiv:1611.08857
Hörmander, L.: Estimates for translation invariant operators in \(L^p\) spaces. Acta Math. 104, 93–140 (1960)
Hunt, R.A.: On \(L(p, q)\) spaces. Enseign. Math. (2) 12, 249–276 (1966)
Lacey, M.T.: Sparse bounds for spherical maximal functions. J. Anal. Math. 139(2), 613–635 (2019). arXiv:1702.08594v6
Leckband, M.A.: A note on the spherical maximal operator for radial functions. Proc. Am. Math. Soc. 100, 635–640 (1987)
Lee, S.: Endpoint estimates for the circular maximal function. Proc. Am. Math. Soc. 131(5), 1433–1442 (2003)
Lerner, A.K.: A simple proof of the \(A_2\) conjecture. Int. Math. Res. Not. 14, 3159–3170 (2013). arXiv:1202.2824
Littman, W.: \(L^p-L^q\)-estimates for singular integral operators arising from hyperbolic equations. In: Partial Differential Equations (Proc. Sympos. Pure Math., Vol. XXIII, Univ. California, Berkeley, Calif., 1971), pp. 479–481. Amer. Math. Soc., Providence (1973)
Mattila, P.: Geometry of sets and measures in Euclidean spaces. Fractals and Rectifiability. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1995)
Oberlin, R.: Sparse bounds for a prototypical singular Radon transform. Can. Math. Bull. 62(2), 405–415 (2019). arXiv:1704.04297
Roos, J., Seeger, A.: Spherical maximal functions and fractal dimensions of dilation sets (2020). arXiv:2004.00984
Schlag, W.: A generalization of Bourgain’s circular maximal theorem. J. Am. Math. Soc. 10(1), 103–122 (1997)
Schlag, W., Sogge, C.D.: Local smoothing estimates related to the circular maximal theorem. Math. Res. Lett. 4(1), 1–15 (1997)
Seeger, A., Tao, T., Wright, J.: Endpoint mapping properties of spherical maximal operators. J. Inst. Math. Jussieu 2(1), 109–144 (2003). arXiv:math/0205153
Seeger, A., Wainger, S., Wright, J.: Pointwise convergence of spherical means. Math. Proc. Camb. Philos. Soc. 118, 115–124 (1995). arXiv:math/0205154
Seeger, A., Wainger, S., Wright, J.: Spherical maximal operators on radial functions. Math. Nachr. 187, 95–105 (1997). arXiv:math/9601220
Stein, E.M.: Maximal functions: spherical means. Proc. Natl. Acad. Sci. USA 73, 2174–2175 (1976)
Stein, E.M.: Harmonic Analysis: Real-variable Methods, Orthogonality, and Oscillatory Integrals. With the assistance of Timothy S. Murphy. Princeton University Press, Princeton (1993)
Strichartz, R.: Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations. Duke Math. J. 44, 705–714 (1977)
Tomas, P.: A restriction theorem for the Fourier transform. Bull. Am. Math. Soc. 81, 477–478 (1975)
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.
Research supported in part by the National Science Foundation.
Rights and permissions
About this article
Cite this article
Anderson, T., Hughes, K., Roos, J. et al. \(\mathbf {L^p\rightarrow L^q}\) bounds for spherical maximal operators. Math. Z. 297, 1057–1074 (2021). https://doi.org/10.1007/s00209-020-02546-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02546-0
Keywords
- \(L^p\)-improving estimates
- Spherical maximal functions
- Minkowski dimension
- Assouad dimension
- Assouad spectrum
- Sparse domination