2000 Mathematical Subject Classification. 42B25 . Partially supported by Grant BFM2003-06335-C03-03 of the D.G.I. of Spain .
<ph f="cmbx">Dimension dependency of the weak type </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mo>(</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo>)</mo> </math> <ph f="cmr"> </ph><ph f="cmbx">bounds for maximal functions associated to finite radial measures</ph>

J. M. Aldaz

Departamento de Matematicas y Computacion, Universidad de La Rioja, 26004 Logrono, La Rioja, Spain.

1 Introduction

Let M   be the centered maximal function associated to euclidean balls. The study of uniform L p   bounds in the dimension d   was initiated by E. M. Stein, who proved their existence ([St1, [St2, see also [St3) for every p > 1   . A motivation for this work comes from the desire to extend (at least some parts of ) harmonic analysis in R d   , to the infinite dimensional case. Stein's result was generalized to arbitrary balls by J. Bourgain ([Bou1, [Bou2, [Bou3) and A. Carbery ([Ca) when p > 3 / 2   . For q   balls, 1 q <   , D. Müller [Mushowed that uniform bounds again hold for every p > 1   . With respect to weak type bounds, in [StStE. M. Stein and J. O. Strömberg proved, among other things, that the best constants in the weak type (1,1) inequality satisfied by M   grow at most like O ( d )   , and asked if uniform bounds could be found.
Since then, there has been remarkably little progress on this question (see, for instance, [A, [AVfor the case of cubes).
Here we study the weak type (1,1) problem for integrable radial densities defined via bounded decreasing functions, the canonical example being the standard gaussian measure.
This is a natural variant of Stein and Strömberg's question, given the growing interest in what has been termed “gaussian harmonic analysis”, where Lebesgue measure is replaced by the standard gaussian measure, and also because of the importance of gaussian measures and other probabilites in the infinite dimensional setting (see, for instance, [Bo). For the measures considered in this paper, instead of uniform bounds we have exponential increase:
If μ d   is a finite radial Borel measure on R d   defined by a bounded decreasing function f d   , and if c d   denotes the best constant appearing in the weak type (1,1) inequality satisfied by the associated maximal function M μ   , then for d   large enough, c d ( 1 + 1 d ) 1 ( 2 3 ) d / 6 .  

2 Notation and results

Given a Borel measure μ   on R d   , the associated centered maximal function M μ   is defined by M μ f ( x ) : = sup { r > 0 : μ B ( x , r ) > 0 } 1 μ B ( x , r ) B ( x , r ) | f | d μ ,   where B ( x , r )   denotes the euclidean closed ball of radius r > 0   centered at x   (the choice of closed balls in the definition is mere convenience; using open balls instead does not change the value of M μ f ( x )   ). The boundary of B ( x , r )   is the sphere S ( x , r )   . Sometimes we use B d ( x , r )   and S d 1 ( x , r )   to make their dimensions explicit. If x = 0   and r = 1   , we just write B d   and S d 1   .
It is a consequence of Besicovitch covering theorem that there exists a constant c = c ( d )   , independent of μ   , such that for every f L 1 ( R d , μ )   and every α > 0   , we have α μ { M μ f α } c f 1   . In fact, by the Theorem in pg. 227 of [Suwe may take c = ( 2.641 + o ( 1 ) ) d   . Of course, if we are interested in the best (lowest) such c   , then c = c ( μ )   will depend on μ   . Note that it makes no difference in the determination of the best constant if instead of the strict inequality { M μ f > α }   we use { M μ f α }   .
The following trivial lemma has been upgraded to Proposition in order to highlight the fact that uniform bounds are not likely to exist when dealing with families of finite measures, due to the decay imposed by the condition μ d ( R d ) <   . We give a μ B ( y , r )   the obvious interpretation when a 0   and μ B ( y , r ) = 0   .
Proposition 2.1. Let μ   be a Borel measure on R d   , and let c d   be the best constant appearing in the weak type (1,1) inequality satisfied by M μ   . Given any ball B ( x , r )   with μ B ( x , r ) > 0   , c d inf y S ( x , r ) μ B ( x , r ) μ B ( y , r ) .  
Proof. Fix x   and r   so that μ B ( x , r ) > 0   . By a standard approximation argument we may consider, instead of a function, the Dirac delta δ x   placed at x   . Thus c d sup α > 0 α μ { M μ δ x α } .   Note that for some y S ( x , r )   , μ B ( y , r ) > 0   . Note also that the support of μ   has full measure, i.e., μ ( ( supp μ ) c ) = 0   . Let α 0 : = inf y S ( x , r ) 1 μ B ( y , r )   . Clearly for every y S ( x , r ) ( supp μ )   , M μ δ x ( y ) α 0   , and the same holds for every z = ( 1 t ) x + t y   , y S ( x , r )   , 0 < t < 1   , z supp μ   , since x B ( z , t r ) B ( y , r )   . It follows that B ( x , r ) ( supp μ ) { M μ δ x α 0 }   , so c d α 0 μ B ( x , r )   , as claimed. Let f d : [ 0 , ) [ 0 , )   be a nonincreasing integrable function, not 0   a.e., let σ d 1   denote the area on the unit sphere S d 1   , let σ ~ d 1   denote the normalized area on S d 1   (thus σ ~ d 1   is a probability), and let λ d   be Lebesgue measure on R d   . Then, expressing a point in R d   as ( r , x )   ,where r [ 0 , )   and x S d 1   , the function f d   defines a nontrivial rotationally invariant (or radial) measure μ d   via μ d ( A ) : = A f ( | y | ) d λ d ( y ) = 0 S d 1 χ A ( r , x ) f ( r ) r d 1 d r d σ d 1 ( x ) .  
Theorem 2.2. Let f d   and μ d   be as above, and let c d   be the best constant appearing in the weak type (1,1) inequality satisfied by M μ d   . Then there exists a sequence { a d }   such that lim d a d = 1   and for all d   , c d ( 1 + a d 2 2 3 π d ) 1 ( 2 3 ) d / 6 .  
Proof. Fix d   . Given a unit vector v R d   and ɛ [ 0 , 1 )   , the ɛ   spherical cap about v   is the set C ( ɛ , v ) : = { θ S d 1 : θ , v ɛ }   . Note that spherical caps are just geodesic balls B S d 1 ( x , r )   in S d 1   . In the special case v = e 1 = ( 1 , 0 , . . . , 0 )   , ɛ = 2 1   , we have C ( 2 1 , e 1 ) = B S d 1 ( e 1 , π / 3 )   . Next we remind the reader of some well-known facts that will be used in the sequel: i) λ d ( B d ) : = π d / 2 Γ ( 1 + d / 2 )   ; ii) σ d 1 ( S d 1 ) = d λ d ( B d )   ; iii) lim x e x Γ ( 1 + x ) x x + 1 / 2 = 2 π   (Stirling's formula); iv) σ d 1 ( B S d 1 ( x , r ) ) = σ d 2 ( S d 2 ) 0 r sin d 2 t d t   (see, for instance, (A.11) pg. 259 of [Grafor a more general statement). Note that from i), ii), iii), iv) and the fact that cos t 1 / 2   on [ 0 , π / 3 ]   , we get the following upper bound on the normalized area of C ( 2 1 , e 1 )   :
σ ~ d 1 C ( 2 1 , e 1 ) 2 σ d 2 ( S d 2 ) σ d 1 ( S d 1 ) 0 π / 3 sin d 2 t cos t d t   = 2 d λ d 1 ( B d 1 ) λ d ( B d ) ( 3 2 ) d 1 = ( 3 2 ) d a d 2 2 3 π d ,   where lim d a d = 1   (the value of a d   depends on Stirling's approximation).
The function h ( R ) : = μ d B ( 0 , R ) μ d B ( 0 , ( 3 / 2 ) R )   is continuous, and lim R h ( R ) = 1   by the finiteness of the measure. It follows that there is a largest real number R 1   such that h ( R 1 ) = ( 2 / 3 ) d / 6   , provided of course that the set { h ( 2 / 3 ) d / 6 }   is nonempty. We show next that this is always the case. Fix R 0   such that f d ( 0 ) λ d B ( 0 , R 0 ) = 1   (this is just a convenient normalization, any R 0   could be used), and suppose towards a contradiction that for every R > 0   , h ( R ) < ( 2 / 3 ) d / 6   .Select a positive integer k   satisfying ( 3 / 2 ) 5 d k / 6 < μ d B ( 0 , R 0 )   . Using k   times the assumption h < ( 2 / 3 ) d / 6   we get μ d B ( 0 , R 0 ) < ( 2 / 3 ) d k / 6 μ d B ( 0 , ( 3 / 2 ) k R 0 ) ( 2 / 3 ) d k / 6 f ( 0 ) λ d B ( 0 , ( 3 / 2 ) k R 0 )   = ( 3 / 2 ) 5 d k / 6 f ( 0 ) λ d B ( 0 , R 0 ) < μ d B ( 0 , R 0 ) .   By the previous proposition together with rotational invariance, it is enough to check that there exists a sequence { a d }   with lim d a d = 1   such that for all d   , μ d B ( 0 , R 1 ) μ d B ( R 1 e 1 , R 1 ) ( 1 + a d 2 2 3 π d ) 1 ( 2 3 ) d / 6 .   We split μ d B ( R 1 e 1 , R 1 ) = μ d ( B ( 0 , R 1 ) B ( R 1 e 1 , R 1 ) ) + μ d ( ( B ( 0 , R 1 ) c B ( R 1 e 1 , R 1 ) )   and estimate each of the summands. Note that B ( 0 , R 1 ) B ( R 1 e 1 , R 1 ) B ( 2 1 R 1 e 1 , 2 1 3 R 1 ) .   For every pair of points ( x , y )   with x B ( 0 , R 1 ) \ B ( R 1 e 1 , R 1 )   , y B ( R 1 e 1 , R 1 ) \ B ( 0 , R 1 )   , we have | x | < | y |   , so f d ( | x | ) f d ( | y | )   . By the choice of R 1   and the preceding observation, μ d ( B ( 0 , R 1 ) B ( R 1 e 1 , R 1 ) ) μ d B ( 2 1 R 1 e 1 , 2 1 3 R 1 )   μ d B ( 0 , 2 1 3 R 1 ) = ( 3 / 2 ) d / 6 μ d B ( 0 , R 1 ) .   Let E   be the (semi) cone in R d   defined by x 1 = 3 1 / 2 x 2 2 + + x d 2   , and let E : = { x 1 3 1 / 2 x 2 2 + + x d 2 }   denote the solid cone determined by E   . Then B ( 0 , R 1 ) c B ( R 1 e 1 , R 1 ) B ( 0 , ( 2 / 3 ) 5 R 1 ) E .   By rotational invariance of the probability measure ν ( A ) : = μ d ( B ( 0 , ( 2 / 3 ) 5 R 1 ) A ) μ d ( B ( 0 , ( 2 / 3 ) 5 R 1 ) ) ,   the ν   -measure of E   is just the normalized area of its intersection with the sphere, i.e.
ν ( E ) = σ ~ d 1 ( E S d 1 ) = σ ~ d 1 C ( 2 1 , e 1 ) .   From the choice of R 1   and the upper bound on σ ~ d 1 C ( 2 1 , e 1 )   we get μ d ( ( B ( 0 , R 1 ) c B ( R 1 e 1 , R 1 ) ) ν ( E ) μ d ( B ( 0 , ( 2 / 3 ) 5 R 1 ) )   < σ ~ d 1 C ( 2 1 , e 1 ) ( 2 / 3 ) 5 d / 6 μ d ( B ( 0 , R 1 ) )   ( 2 3 ) 5 d / 6 μ d ( B ( 0 , R 1 ) ) ( 3 2 ) d a d 2 2 3 π d   = μ d ( B ( 0 , R 1 ) ) ( 3 2 ) d / 6 a d 2 2 3 π d .   Putting both estimates together, we obtain μ d B ( 0 , R 1 ) μ d B ( R 1 e 1 , R 1 ) μ d B ( 0 , R 1 ) ( 1 + a d 2 2 3 π d ) ( 3 2 ) d / 6 μ d B ( 0 , R 1 ) ,   as desired.
Remarks 2.3. 1. We briefly comment on the role that different assumptions play in the preceding proof. Finiteness of the measures was only used to show that for each d   there is an R d > 0   such that h ( R d ) ( 2 / 3 ) d / 6   and h ( ( 2 / 3 ) 5 R d ) ( 2 / 3 ) d / 6   .
So exponential dependency holds for families of radial measures, not necessarily finite, provided there exists a ball in each dimension with this kind of decay (clearly the proof can be adapted to decays lower than the one considered above).
Normalization of the measures is not an issue either: If c > 0   , then M μ = M c μ   .
The radial assumption makes it easy to check the decay and to apply Proposition 2.1 , but as noted above, the existence of some ball with such decay is likely to be prevalent even among nonradial (finite) measures. Regarding the assumption of absolute continuity, it is a simple way to ensure that the dimension of μ d   goes to infinity as d   . To obtain (trivially) singular examples where there is dependendecy of c d   on d   , embed R d   , for instance, in R 2 d   . On the other hand, setting μ d = δ   for every d   , we have c d = 1   . Finally, we point out that there are some natural families of singular radial finite measures to which the preceding arguments do not apply, such as, for instance, area on S d 1   .
2. When dealing with concrete families of measures, the additional information may lead to more precise bounds. For instance, let ν d ( A ) : = λ d ( A B d )   be Lebesgue measure on the unit ball in R d   . The argument used in the proof of Theorem  2.2 immediately gives c d ( ν d ) ( 2 / 3 ) d   , but it is possible to do better by estimating the volume of the solid cap B d { x 1 2 1 }   and using Stirling's approximation. This easily yields c d ( ν d ) a d π 6 ( 2 3 ) d d ,   where lim d a d = 1   .
References

  1. Aldaz, J. M. A remark on the centered n   -dimensional Hardy-Littlewood maximal function. Czechoslovak Math. J. 50(125) (2000), no. 1, 103–112.
  2. Aldaz, J. M., Varona, J. L. Singular measures and convolution operators. To appear in Acta Math. Sinica.
  3. Bogachev, V. I. Gaussian measures. Mathematical Surveys and Monographs, 62. American Mathematical Society, Providence, RI, 1998.
  4. Bourgain, J. On high-dimensional maximal functions associated to convex bodies. Amer. J. Math. 108 (1986), no. 6, 1467–1476.
  5. Bourgain, J. On the L p   -bounds for maximal functions associated to convex bodies in R n   . Israel J. Math. 54 (1986), no. 3, 257–265.
  6. Bourgain, J. On dimension free maximal inequalities for convex symmetric bodies in R n   . Geometrical aspects of functional analysis (1985/86), 168–176, Lecture Notes in Math., 1267, Springer, Berlin, 1987.
  7. Carbery, A. An almost-orthogonality principle with applications to maximal functions associated to convex bodies. Bull. Amer. Math. Soc. (N.S.) 14 (1986), no. 2, 269–273.
  8. Gray, A. Tubes. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1990.
  9. Müller, D. A geometric bound for maximal functions associated to convex bodies. Pacific J. Math. 142 (1990), no. 2, 297–312.
  10. Stein, E. M. The development of square functions in the work of A. Zygmund. Bull. Amer. Math. Soc. (N.S.) 7 (1982), no. 2, 359–376.
  11. Stein, E. M. Three variations on the theme of maximal functions. Recent progress in Fourier analysis (El Escorial, 1983), 229–244, North-Holland Math. Stud., 111, North-Holland, Amsterdam, 1985.
  12. Stein, E. M. Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. With the assistance of Timothy S. Murphy. Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton, NJ, 1993.
  13. Stein, E. M.; Strömberg, J. O. Behavior of maximal functions in R n   for large n   . Ark. Mat. 21 (1983), no. 2, 259–269.
  14. Sullivan, John M. Sphere packings give an explicit bound for the Besicovitch covering theorem. J. Geom. Anal. 4 (1994), no. 2, 219–231.

Departamento de Matematicas y Computacion, Universidad de La Rioja, 26004 Logrono, La Rioja, Spain.