Over the next couple of weeks, I will be posting short expositions of various parts of an upcoming paper by Malabika Pramanik and myself on maximal estimates associated with sparse sets in . I’ll start by explaining some of the questions that motivated us to do this work. We first learned about them from Nir Lev. We are grateful to him for the many conversations we had at the Fields Institute and for pointing us to references that would otherwise be very hard to find.
The following question was raised and investigated by Vincenzo Aversa and David Preiss in the 1980s and 90s: to what extent can the Lebesgue density theorem be viewed as “canonical” in , in the sense that any other density theorem that takes into account the affine structure of the reals must follow from the Lebesgue density theorem?
Let’s make this more precise. For the purpose of this post, we will say that family of measurable subsets of has the density property if for every measurable set we have
for a.e. .
This is slightly different from standard terminology, but there should be no danger of confusion, as we will not use any other density properties here. We write .
The Lebesgue density theorem states that the collection of intervals has this property. It also implies that collections such as or have it, just because the intervals in question occupy a positive and bounded from below proportion of .
But that does not exhaust all examples. For instance, consider the family , where . We have and , hence the Lebesgue argument no longer works. Nonetheless, this collection does have the density property, by the hearts density theorem of Preiss and Aversa-Preiss.
Note, however, that the collection in the last example is not closed under scaling , $r>0$. Aversa and Preiss have in fact proved that if a family of intervals is invariant under such scaling and has the density property, then its density property must follow from the Lebesgue theorem in the manner described above.
On the other hand, if we consider more general sets than intervals, then it turns out that there are indeed scaling-invariant density theorems that are independent of the Lebesgue theorem. This was announced by Aversa and Preiss in 1987; the proof (via a probabilistic construction) was published in a 1995 preprint.
Theorem 1 (Aversa-Preiss): There is a sequence of compact sets of positive measure such that and:
- is a Lebesgue density point for , and in particular we have
- the family has the density property.
The analogous question for differentiation theorems turned out to be much more difficult.
We will say that differentiates for some if for every we have
for a.e. .
For example, the Lebesgue differentiation theorem states that the collection differentiates .
The differentiation property is formally stronger than the density property, by letting range over characteristic functions of measurable sets. However, there is no automatic implication in the other direction.
The following theorem was conjectured by Aversa and Preiss in 1995, and proved very recently by Malabika Pramanik and myself (paper in preparation).
Theorem 2. There is a sequence of compact sets of positive measure with such that differentiates . More explicitly, for every we have
Our construction of , like that of Aversa and Preiss, is probabilistic. We prove that the sequence can be chosen so that the maximal operator associated with it is bounded on appropriate spaces. This in particular implies the differentiation theorem.
The exact statement of the maximal estimate, and some of the ideas from the proof, will follow in the next installment.