An update on differentiation theorems

Malabika Pramanik and I have just uploaded to the arXiv the revised version of our paper on differentiation theorems. The new version is also available from my web page.

Here’s what happened. In the first version, we proved our restricted maximal estimates (with the dilation parameter restricted to a single scale) for all ; unfortunately our scaling analysis worked only for , therefore our unrestricted maximal estimates and differentiation theorems were only valid in that range. However, just a few days after we posted the paper, Andreas Seeger sent us a “bootstrapping” scaling argument that works for between 1 and 2. With Andreas’s kind permission, this is now included in the new version. The updated maximal theorem is as follows.

Theorem 1. There is a decreasing sequence of sets with the following properties:

• each is a disjoint union of finitely many intervals,
• as ,
• the densities converge to a weak limit ,
• the maximal operators

and

are bounded on for .

Our differentiation theorem has been adjusted accordingly.

Theorem 2. Let and be given by Theorem 1. Then the family differentiates for all , in the sense that for every we have

for a.e.

Furthermore,

for a.e.

What about ? I had the good luck of meeting David Preiss in Barcelona right after Malabika and I had finished the first version of the preprint. I explained our work; we also spent some time speculating on whether such results could be true in . Next day, David sent me a short proof that our Theorem 2 cannot hold with for any singular measure supported away from 0. (The same goes for sequences of sets as above, by a slight modification of his argument.) We are grateful to David for letting us include his proof in the new version of our paper.

We have also polished up the exposition, fixed up the typos and minor errors, etc. One other thing we have added (to the arXiv preprint – we are not including this in the version we are submitting for publication) is a short section on how to modify our construction of so that the limiting set would also be a Salem set. The argument is very similar to the construction in our earlier paper on arithmetic progressions, so we only sketch it very briefly.

I’ll be on vacation throughout the rest of July. I’ll continue to show up here on this blog – I might actually write here more often – and I’ll finish up a couple of minor commitments, but you should not expect any more serious mathematics from me in the next few weeks.