Weak-Type Lower Bounds for High-Dimensional Hardy–Littlewood Maximal Operators on Certain Measures via Averaging Operators

Consider Rd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^d$$\end{document} with the euclidean distance, and let 0<α<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0<\alpha <1$$\end{document}. We study the behavior of the averaging operators given by the radial density dμ(x)=|x|-αddx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d\mu (x)=|x|^{-\alpha d}dx$$\end{document}. When 1≤p<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1\le p<\infty $$\end{document} is such that (1-2α)p<1-α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(1-2\alpha )p<1-\alpha $$\end{document}, we show that the weak (p, p) bounds grow exponentially with the dimension d. As a consequence, the corresponding results follow for the centered Hardy–Littlewood maximal operator. The lower bounds obtained here are new for averaging operators, and when 0<α≤1/2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0<\alpha \le 1/2$$\end{document} and p>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p>1$$\end{document}, they are also new for the maximal operator.


Introduction
Consider the metric space R d with the euclidean distance, and let μ be a Borel measure on R d such that all balls (with strictly positive and finite radii) have strictly positive and finite measure. For a fixed r > 0, the averaging operator acting on a locally integrable function f is defined by A r,μ f (x) := 1 μ (B(x, r)) B(x,r) f (y)dμ(y).
This operator is obviously related to the centered Hardy-Littlewood maximal operator M μ , which is given by , r)) B(x,r) |f (y)|dμ(y).
Page 3 of 15 221 to exponential bounds of the type c 1,d,m d ≤ 3 d , and by interpolation, to exponential bounds for C p,d,m d . So, it is natural to try to improve on these bounds, and in particular, to seek bounds independent on the dimension, with a view towards infinite dimensional generalizations of Harmonic Analysis. Quite remarkably, E.M. Stein showed that for M m d , there exists bounds for C p,d,m d that are independent of d ( [30,31,33], see also [32]). Stein's result was generalized to the maximal function defined using an arbitrary norm by Bourgain [12][13][14] and Carbery [16] when p > 3/2. For q balls, 1 ≤ q < ∞, Müller [27] showed that uniform bounds again hold for every p > 1. For the case of ∞ balls (cubes) it took decades to fill the gap 1 < p ≤ 3/2. Bourgain showed the existence of uniform bounds also in this case (see [14]).
Regarding weak-type (1, 1) inequalities, in [33], Stein  In 2008, Aldaz (cf. [4]) proved that if one considers cubes with sides parallel to the coordinate axes (that is, ∞ balls) instead of euclidean balls, then the best constants c 1,d,m d must diverge to infinity with d, and thus the answer to the Stein-Strömberg question is negative for cubes. This result was posted in 2008 in the Math ArXiv, but it was published in 2011. In the meantime, G. Aubrun refined Aldaz's result and showed that c 1,d,m d ≥ Θ(log 1−ε d), where Θ denotes the exact order and ε > 0 is arbitrary, cf. [10]. Later, Iakovlev and Strömberg proved c 1,d,m d ≥ Θ(d 1/4 ), cf. [20].
For a thorough survey about the results cited in the three previous paragraphs, we refer the reader to [19].
A different line of research studies if the previous results can be extended to more general settings than R d and Lebesgue measure. In this sense, a remarkable extension of the Stein and Strömberg O(d log d) theorem has been obtained by Naor and Tao (cf. [28]) who consider separable metric spaces equipped with a Radon measure finite over balls of finite radius. It is assumed also a microdoubling condition on the measure. They bound localized maximal operators by averaging operators and use this microdoubling condition. Other interesting results are the O(d) upper bound of the weak (1, 1) inequality in the Heisenberg groups (cf. [22]) or the O(d log d) upper bound in hyperbolic spaces with the Riemannian volume (which does not satisfy a doubling condition) (cf. [23]).
Till now, we have mentioned O(d) or O(d log d) upper bounds for the weak (1, 1) inequality and bounds independent on the dimension for the strong (p, p) inequality. However, as we will see later, it is known that even in R d with the euclidean distance, the situation can be quite different for arbitrary locally finite Borel measures. Let us recall that by the Besicovitch covering theorem for R d , one can obtain upper bounds exponential in the dimension for c 1,d,μ and, by interpolation, for C p,d,μ . These bounds are independent on the Radon measure chosen. The structure of the metric space is important in order to get this kind of bounds. For instance, Aldaz proved in [6] that a geometrically bounded condition of the metric space assures MJOM boundedness of averaging operators in L p for any 1 ≤ p < ∞, with bounds independent on the measure.
From now on, we always refer to the centered Hardy-Littlewood maximal function defined by euclidean balls. We only deal with some special classes of functions (something that of course, simplifies the arguments and lower the constants). It is shown in [26,Theorem 3] that considering only radial functions (with Lebesgue measure) leads to c 1,d,m d ≤ 4 in all dimensions, and the same happens if Lebesgue measure is replaced by a radial, radially increasing measure, cf. [ If instead of radial, radially increasing measures, one considers radial, radially decreasing measures, the situation changes radically. Typically, one has exponential increase in the dimension for c 1,d,μ , and some times even for the strong-type constants C p,d,μ . Furthermore, it is enough to consider characteristic functions of balls centered at zero (hence, radial and decreasing) to prove exponential increase. The weak-type (1, 1) case for integrable radial densities defined via bounded decreasing functions was studied in [3]. It was shown there that the best constants in strong contrast with the linear O(d) upper bounds known for Lebesgue measure. Exponential increase was also shown for the same measures and small values of p > 1 in [17]; shortly after (and independently) these results were improved in [8], as they applied to larger exponents p and to a wider class of measures. It was also shown in [8] that exponential increase could occur for arbitrarily large values of p and suitably chosen doubling measures. Together with the results for hyperbolic spaces mentioned before, this shows that the doubling condition is neither necessary nor sufficient to have "good bounds" for maximal inequalities in terms of the dimension. Finally, it is proven in [18] that for the standard Gaussian measure in R d , one has exponential increase in the constants for all p ∈ (1, ∞) (cf. [5] for a related result, dealing with averaging operators).
In the previous paragraphs, we have seen that, acting only on radial functions, the maximal operator has c 1,d,μ upper bounds independent on the dimension if μ is a radially increasing density or the Lebesgue measure. We have seen also that for some μ defined by radial decreasing densities, we have exponential increase of c 1,d,μ , exponential increase of c p,d,μ for some sufficiently small values of p > 1, and in some special cases, for every p > 1. So, it is natural to ask whether Lebesgue measure is the borderline case which separates uniform from non-uniform behavior in the constants. The answer to this question is negative. In [9, Theorem 3.1(3)] it is proved that for the homogeneous measures dμ(x) = dx/|x| α d if α d ≤ K (with K that does not depend on d), acting on radial functions, c 1,d,μ are bounded uniformly in d and, by interpolation, the same happens for C p,d,μ .
In the case of radial densities that decrease faster than the previous ones, such as α d = α · d for 1/2 < α < 1 we not only have exponential increase of c 1,d,μ but also for all p < ∞. That is, there exist b(α, p) > 1 such that c p,d,μ ≥ Θ(b d ) (cf. [9]).
Let us note that for 0 < α ≤ 1/2, as we have written in the previous paragraphs, the result was known for p = 1. For small p > 1, it was not known whether the constants c p,d,μ are bounded with the dimension or not, even when we restrict the operator to radial functions (let us note that the results in [8] for small p > 1 do not apply for these measures). In Corollary 2.2, we obtain exponential growth for α = 1/2 and p ∈ [1, ∞) and for 0 < α < 1/2 and p ∈ [1, (1 − α)/(1 − 2α)).
Theorem 2.1 below deals with averaging operators. Since A r,μ f ≤ M μ f it is clear that A r,μ satisfies weak (1, 1) and strong (p, p) inequalities. Furthermore, for some measures μ, the operator A r,μ can be substantially smaller than M μ . This is the case with the Lebesgue measure, since A r,m d satisfies a strong (1, 1) inequality with constant 1. If we denote by ζ p,d,μ the best constant of the operator A r in the weak (p, p) inequality we trivially have ζ p,d,μ ≤ c p,d,μ . One can see (cf. Lemma 3.1) that for the measures considered in this paper ζ p,d,μ does not depend on the radius r of the operator A r,μ considered. In Theorem 2.1, under the conditions on α and p mentioned previously, exponential growth for ζ p,d,μ is obtained. As a consequence Corollary 2.2 immediately follows.
I am indebted to Prof. J.M. Aldaz for some suggestions that improved the presentation of this note.

Notation and Results
Recall that for any x ∈ R d , we denote by |x| = (  (2), and for any r > 0 we define the averaging operator A r,μ as in (1).
Since A r,μ |f | ≤ M μ f , by Besicovitch covering Lemma both operators satisfy weak (p, p) inequalities for 1 ≤ p < ∞. Let us denote by ζ p,d,μ the best constant in the weak (p, p) inequality for A r,μ in R d . By homogeneity one can check (see Lemma 3.1 below) that ζ p,d,μ does not depend on the r > 0 chosen.
The following theorem shows exponential growth of ζ p,d,μ with the dimension.
Let μ be the measure on R d defined by dμ(x) = dx/|x| αd . Let ζ p,d,μ be the best constant for the weak (p, p) inequality satisfied by all averaging operators in this measure space.
Then, there exist c(α, p) > 0 and K(α, p) > 1, independent of d, such that From this theorem, the following corollary is obtained.

Preliminary Lemmas
The next lemma shows that for a measure dx/|x| αd , the best constants for the weak (p, p) inequality are the same for all the averaging operators and they do not depend on the radius chosen. Proof. Let A be a measurable subset of R d . For any r > 0, denote by rA := {ra : a ∈ A}. By a change of variable, it is easy to see that Let us note also that Besides, for any measurable function f on R d and any r > 0, denote by f r (x) := f (r −1 x). By (3), (4) and a change of variable, it can be proved that and Now, for any λ > 0 and any f measurable function on R d , (5) implies that x ∈ {A 1,μ (f ) > λ} if and only if rx ∈ {A r,μ (f r ) > λ}. Thus, if f is not equivalent to the null function, we have From here, a routine argument shows that ζ p,d,μ (r) = ζ p,d,μ (1).

Lemma 3.2. For 0 < a < 2, let us define
Then, for every 0 < a, b < 1 such that 2a Proof. First, note that h(a, R) ∈ R. Now, for fixed 0 < a < 2, it is easy to prove that the McLaurin expansion of h a (R) is: Thus, Then, for every 0 < a, b < 1 and R = 0, we have In consequence, the lemma holds since b(2a + b − 1) + o(R 2 )/R 2 > 0 at least for R a,b sufficiently close to 0.

Lemma 3.3.
For every 0 < a < 1 and 0 < R < 1 we set Then, max where H a (R) is defined as in Lemma 3.2. Besides, if we have Proof. It is easy to see that It is easy to check that the equation has one root less than (1 − R) 2 and the other root, t a,R , satisfies (9). With routine calculations one can check that Thus, F a,R increases from (1−R) 2 to t a,R and decreases from t a,R to (1+R) 2 , so the left equality in (10) holds. Now, by (13) and (14) with t a,R instead of t, it follows that Comparing (16) and (7), and taking into account that t a,R has the same expression as h a (R) in (6) we obtain the right hand side equality in (10). By (15) and (11) we have that (1 − R) 2 ≤ γt a,R ≤ t a,R . Thus, γt a,R is in the domain of F a,R . Using (13), it is easy to check that inequality (12) is equivalent to which easily follows from (15) and (11).  Since we deal with radial measures dx/|x| αd and we will use radial measurable functions g(|x|), x ∈ R d , it will be natural to use a spherical change of coordinates. Thus, it is easy to see that When the ball is not centered at the origin, things are not so straightforward.
To simplify the proof of the theorem, in the next Lemma, we integrate over a ball that does not touch the origin. These computations appeared in [9,18]. We include them here for the reader's convenience.
Lemma 3.5. Let 0 < α < 1, 0 < R < 1/2 and let g(|·|) be a measurable radial function on R d . Let e 1 ∈ R d be the first vector in the standard basis. Then, where F α,R is defined in (8).
Proof. By changing to spherical coordinates, we have where | · | d−1 denotes the (d − 1)-dimensional Hausdorff measure. Call β ρ the angle determined by the segment that joins the origin with e 1 and the one that connects the origin to any point of the intersection of ∂B(0, ρ) with ∂B(e 1 , R). Then 0 ≤ β ρ < π/6 since R < 1/2. Thus, By the cosine law, applied to the triangle T (1, ρ, R) with side lengths 1, ρ, and R, and the angle β ρ facing the R-side, we have so sin β ρ = 1 − 1 + ρ 2 − R 2 2ρ Note that the minimum value of cos β ρ occurs when β ρ attains its maximum value. And this happens when the ray starting at 0 is tangent to B(e 1 , R), so the triangle T (1, ρ, R) has a right angle and hence ρ = √ 1 − R 2 . Thus, by (19) we have that for every ρ ∈ [1 − R, 1 + R],