2000 Mathematical Subject Classification. 42B25
.
Partially supported by Grant BFM2003-06335-C03-03 of the D.G.I. of Spain
.
Dimension dependency of the weak type
bounds for maximal functions associated to finite radial measures
J. M. Aldaz
Departamento de Matematicas y Computacion, Universidad de La Rioja, 26004 Logrono, La Rioja, Spain.
-
Abstract.
We show that the best constants appearing in the weak type (1,1) inequalities satisfied by the centered Hardy-Littlewood maximal function associated to some finite radial measures, such as the standard gaussian measure, grow exponentially fast with the dimension.
1 Introduction
Let
be the centered maximal function associated to euclidean balls. The study of uniform
bounds in the dimension
was initiated by E. M. Stein, who proved their existence ([St1] , [St2] , see also [St3] ) for every
. A motivation for this work comes from the desire to extend (at least some parts of ) harmonic analysis in
, to the infinite dimensional case. Stein's result was generalized to arbitrary balls by J. Bourgain ([Bou1] , [Bou2] , [Bou3] ) and A. Carbery ([Ca] ) when
. For
balls,
, D. Müller [Mu] showed that uniform bounds again hold for every
. With respect to weak type bounds, in [StSt] E. M. Stein and J. O. Strömberg proved, among other things, that the best constants in the weak type (1,1) inequality satisfied by
grow at most like
, and asked if uniform bounds could be found.
Since then, there has been remarkably little progress on this question (see, for instance, [A] , [AV] for 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
is a finite radial Borel measure on
defined by a bounded decreasing function
, and if
denotes the best constant appearing in the weak type (1,1) inequality satisfied by the associated maximal function
, then for
large enough,
2 Notation and results
Given a Borel measure
on
, the associated centered maximal function
is defined by
where
denotes the euclidean closed ball of radius
centered at
(the choice of closed balls in the definition is mere convenience; using open balls instead does not change the value of
). The boundary of
is the sphere
. Sometimes we use
and
to make their dimensions explicit. If
and
, we just write
and
.
It is a consequence of Besicovitch covering theorem that there exists a constant
, independent of
, such that for every
and every
, we have
. In fact, by the Theorem in pg. 227 of [Su] we may take
. Of course, if we are interested in the best (lowest) such
, then
will depend on
. Note that it makes no difference in the determination of the best constant if instead of the strict inequality
we use
.
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
. We give
the obvious interpretation when
and
.
Proposition 2.1.
Let
be a Borel measure on
, and let
be the best constant appearing in the weak type (1,1) inequality satisfied by
. Given any ball
with
,
Proof. Fix
and
so that
. By a standard approximation argument we may consider, instead of a function, the Dirac delta
placed at
. Thus
Note that for some
,
. Note also that the support of
has full measure, i.e.,
. Let
. Clearly for every
,
, and the same holds for every
,
,
,
, since
. It follows that
, so
, as claimed. □ Let
be a nonincreasing integrable function, not
a.e., let
denote the area on the unit sphere
, let
denote the normalized area on
(thus
is a probability), and let
be Lebesgue measure on
. Then, expressing a point in
as
,where
and
, the function
defines a nontrivial rotationally invariant (or radial) measure
via
Theorem 2.2.
Let
and
be as above, and let
be the best constant appearing in the weak type (1,1) inequality satisfied by
. Then there exists a sequence
such that
and for all
,
Proof. Fix
. Given a unit vector
and
, the
spherical cap about
is the set
. Note that spherical caps are just geodesic balls
in
. In the special case
,
, we have
. Next we remind the reader of some well-known facts that will be used in the sequel: i)
; ii)
; iii)
(Stirling's formula); iv)
(see, for instance, (A.11) pg. 259 of [Gra] for a more general statement). Note that from i), ii), iii), iv) and the fact that
on
, we get the following upper bound on the normalized area of
:
where
(the value of
depends on Stirling's approximation).
The function
is continuous, and
by the finiteness of the measure. It follows that there is a largest real number
such that
, provided of course that the set
is nonempty. We show next that this is always the case. Fix
such that
(this is just a convenient normalization, any
could be used), and suppose towards a contradiction that for every
,
.Select a positive integer
satisfying
. Using
times the assumption
we get
By the previous proposition together with rotational invariance, it is enough to check that there exists a sequence
with
such that for all
,
We split
and estimate each of the summands. Note that
For every pair of points
with
,
, we have
, so
. By the choice of
and the preceding observation,
Let
be the (semi) cone in
defined by
, and let
denote the solid cone determined by
. Then
By rotational invariance of the probability measure
the
-measure of
is just the normalized area of its intersection with the sphere, i.e.
From the choice of
and the upper bound on
we get
Putting both estimates together, we obtain
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
there is an
such that
and
.
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
, then
.
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
goes to infinity as
. To obtain (trivially) singular examples where there is dependendecy of
on
, embed
, for instance, in
. On the other hand, setting
for every
, we have
. 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
.
2. When dealing with concrete families of measures, the additional information may lead to more precise bounds. For instance, let
be Lebesgue measure on the unit ball in
. The argument used in the proof of Theorem 2.2 immediately gives
, but it is possible to do better by estimating the volume of the solid cap
and using Stirling's approximation. This easily yields
where
.
References
-
Aldaz, J. M. A remark on the centered
-dimensional Hardy-Littlewood maximal function. Czechoslovak Math. J. 50(125) (2000), no. 1, 103–112.
-
Aldaz, J. M., Varona, J. L. Singular measures and convolution operators. To appear in Acta Math. Sinica.
-
Bogachev, V. I. Gaussian measures. Mathematical Surveys and Monographs, 62. American Mathematical Society, Providence, RI, 1998.
-
Bourgain, J. On high-dimensional maximal functions associated to convex bodies. Amer. J. Math. 108 (1986), no. 6, 1467–1476.
-
Bourgain, J. On the
-bounds for maximal functions associated to convex bodies in
. Israel J. Math. 54 (1986), no. 3, 257–265.
-
Bourgain, J. On dimension free maximal inequalities for convex symmetric bodies in
. Geometrical aspects of functional analysis (1985/86), 168–176, Lecture Notes in Math., 1267, Springer, Berlin, 1987.
-
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.
-
Gray, A. Tubes. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1990.
-
Müller, D. A geometric bound for maximal functions associated to convex bodies. Pacific J. Math. 142 (1990), no. 2, 297–312.
-
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.
-
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.
-
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.
-
Stein, E. M.; Strömberg, J. O. Behavior of maximal functions in
for large
. Ark. Mat. 21 (1983), no. 2, 259–269.
-
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.