Pdf version here: link.

A question by Ben Krause, whom I met here at the Hausdorff Institute, made me think back of one of the earliest posts of this blog. The question is essentially how to make sense of the fact that the (perhaps iterated) convolution of a (singular) measure with itself is in general smoother than the measure you started with, in a variety of settings. It’s interesting to me because in this phase of my PhD experience I’m constantly trying to build up a good intuition and learn how to use heuristics effectively.

So, let’s take a measure on with compact support (assume inside the unit ball wlog). We ask what we can say about , or higher iterates and more often^{1} about . In particular, we’re interested in the case where is singular, i.e. its support has zero Lebesgue measure.

Before starting though, I would like to give a little motivation as to why such convolutions are interesting. Consider the model case where you have an operator defined by where are some singular measures and . One asks whether the operator is bounded on , and the natural tool to use is Cotlar-Stein lemma, or almost-orthogonality (from which this blog takes its name). Then we need to verify that

and same for . But what is ? It’s simply

i.e. another convolution operator. Estimates on the convolution^{2} are likely to help estimate the norm of then. But if this measure is not smooth enough, one can go forward, and since

one sees that estimates on are likely to help, and so on, until a sufficient number of iterations gives a sufficiently smooth measure. This isn’t quite the iteration of a measure with itself, but in many cases one has an operator which then splits into the above sum by a spatial or frequency cutoff at dyadic scales. Then it becomes a matter of rescaling and the case can be reduced to that of and further reduced to that of by exploiting an iterate of the above norm inequality, namely that

Another possibility is to write and consider working with instead, to obtain results in term of . I will say more in the end, here I just wanted to show that they arise as natural objects.

**1. Convolution of measures as push-forward of product measures **

A first, almost trivial observation is that if enjoys some decay at (e.g. because of curvature of the support), say , then the convolution does even better since .

Now before proceeding I’ll recall the technical result in the previous post, because it can be used to gain information on the convolution:

Proposition 1Let , with , be a smooth function whose Jacobian has rank a.e., and let be a function with enough continuous derivatives ( should suffice) and supported in the unit ball (we’re not assuming positivity here). We have a measure on .If the regularity assumption below is satisfied, then the measure on (i.e. given by ) is absolutely continuous w.r.t. Lebesgue measure in and -Hölder continuous for any exponent , i.e.

The

regularity assumptionis that there exists a minor of the Jacobian s.t., with a.e., there exists a multi-index s.t. on all of .

I’ll comment later on the usefulness of an -Hölder estimate. The exposition in that post was really bad since it was just technical and lacked any example – but I’m making up for that now, hopefully.

So, how does the proposition above apply to the case of convolution of measures? It’s really simple: turning back to our euclidean case for example, we write out what really is, i.e.

assume for the moment is absolutely continuous so that we have , and then

Thus in this case is , and the measure to transport is the product measure , and so

This is simple yet very important.

Now, we are being a little naive. The Jacobian is

so that all the derivatives of all minors are indeed null. We can’t apply our theorem in this setting, but things are good anyway since obviously so it is absolutely continuous, and with some additional hypotheses one can even have -Lipschitz, e.g. with the (very) coarse estimate

A slightly finer estimate could be the following: assume has compact Fourier support, thus does as well, and therefore there exists a Schwarz function s.t. , and by Young’s inequality^{3}

for every , because is smooth.

The problem with the above is that we have assumed to be absolutely continuous, while we're rather interested exactly in the opposite case of singular measures, as said above. But before moving to that case, we want to notice something: things get better if we insert some "curvature" in the setting. Convolution requires a group structure, so instead of the Euclidean consider the Heisenberg group , with group law

The non commutative group law changes the rules a bit. Indeed the convolution is now

and with

and a non trivial minor is for example

so , and . Then we can indeed apply the theorem, and we thus get that , and

for any . *Notice that this is not expressed in the group law of *, and is thus unlikely to be a useful estimate as it is. The point I wanted to make was that now the Jacobian has non trivial derivatives. Anyhow, I should mention the following: if the -Hölder continuity holds for compactly supported in the Lie algebra of some unimodular Lie group , then it holds on for as well, with the group law:

where . The converse statement is also true. See [RS].

**2. Examples: a line and a parabola **

So, after having explored cases where the proposition doesn’t apply or where it doesn’t give useful estimates, now we can finally talk about the interesting case of a *singular measure*, which we assume supported on a submanifold of . Consider the example of the straight line in given by for , and define the measure by , where is a bump function (Schwartz, say). One immediately sees that integration against is given by

i.e. that the measure is again singular, because lies on the same line as . We can spot the failure in the regularity conditions required by the proposition: is the map and thus its Jacobian is constant and all its derivatives are zero.

Now we introduce curvature instead, not through the group law but on the submanifold itself: consider the measure on the parabola

where is supported in ; then

Now, we must consider not the Jacobian of on , but instead the Jacobian of it as a map , and indeed we use a parametrization of the parabola (which we can always do at least locally for measures supported on submanifolds) to reduce this to , given by . For the sake of simplicity we estimate instead , i.e. the measure s.t.

and therefore

We calculate

which is therefore a.e. invertible (the range is shaped like a propeller blade centered at the origin, and the two lobes are the regions and , thus the proposition applies and is an absolutely continuous measure with -Hölder continuity for any exponent .

We can also compute pointwise estimates on the density of : a change of variable shows () that

so that trivially , and since one has for , or

One can also estimate , for example (writing for etc)

The proposition would’ve applied to as well but we wouldn’t have had the opportunity to find pointwise estimates around the origin (as the domain is far from it in that case). Let me remark that in this case, unlike in the previous one of the line, the set *contains an open set in *, a necessary condition for to be absolutely continuous. And it is so because is curved: notice that in general if the regularity assumption in the proposition is satisfied with then contains second order derivatives, and is thus somehow measuring the existence of curvature. If you need higher derivatives, it means you have a flatter surface and thus you get worse bounds.

**3. -Hölder estimates put to good use **

It might’ve seemed a little pointless to look for these -Hölder estimates so far, so this session is dedicated to an example of how they can be put to use. One just needs some cancellation, indeed.

Assume is an function on with compact support, say in , and satisfying the cancellation condition

Define

and consider the operator defined by

Here we assume one more condition: that satisfies the -Hölder condition

Then one can prove

Proposition 2is bounded on .

*Proof:* Adapted from [GS]. We prove it by using Cotlar-Stein lemma, as mentioned in the introduction. We have to prove that and same for . Here we deal with the former case as the second can be dealt with in the same way. Moreover, assume as the inverse case can be dealt with in the same manner.

Thus, we have to prove

which in turn will follow from Young’s inequality if we prove

We notice that by the definition

moreover, because of the cancellation condition (which holds as well for the ‘s) we have that the last expression is equal to

Therefore by a scaling and Fubini

where the last inequality follows from the fact that is supported in a ball of diameter and has the same norm as . The proposition follows.

A particular case of the above is when is homogeneous of critical degree and then the cancellation condition is automatically satisfied and if you define , where is a radial bump function centered in , then , and by homogeneity . One then need only to assume -Hölder continuity for (which is since is ) and gets that is bounded, without assumptions on the smoothness of as in classical Calderón-Zygmund theory^{4}.

In this regard, notice that forgetting about homogeneity and assuming decay in one can prove:

Proposition 3Let be and supported on , with cancellation condition

(same as above, so far), and such that

Define as above and . Then is bounded on for all .

*Proof:* This is just a sketch, the full proof can be found in [Duo].

The boundedness in this case follows immediately from Plancherel and the decay condition on . As for the general case, one can reduce to standard Calderón-Zygmund theory by means of a dyadic frequency cutoff: take radial Schwartz function s.t. and s.t. , where . Then , and

with . The idea is that now are Calderón-Zygmund operators, whose norms are summable in . Indeed, with Plancherel again one proves , and then proves maps to by proving the H\”{o}rmander condition^{5} for its kernel. The norm in this case blows up like , but then by Marcinkiewicz interpolation one gets an norm summable in if .

Thus, the principle behind all of the above can be summarized in the following:

-Hölder estimates can act as a substitute for Fourier decay estimates.

This doesn’t just address cases where it’s hard to extract information from the Fourier transform: it allows to tackle problems in the nilpotent setting, in which you don’t have a nice Fourier transform available at all (you can define one, but it’s not nearly as nice as the Euclidean one). This is exactly what is done in [RS], and with some modifications also in [Ch].

**Footnotes:**

^{1}: here . [go back]

^{2}: for example of the kind . [go back]

^{3}: is translation by , thus . [go back]

^{4}: The argument sketched here can be adapted to nilpotent groups assuming is homogeneous of the correct degree and by choosing suitable automorphic dilations. [go back]

^{5}: which in turn follows just by using the hypotheses on the boundedness and the compact support of . [go back]

**References:**

[Duo] J. Duoandikoatxea, *Fourier Analysis*, American Mathematical Society, Graduate Studies in Mathematics, vol. 29, 2001.

[Ch] M. Christ, *The strong maximal function on a nilpotent group*, Transactions of the American Mathematical Society, vol. 331, n. 1, 1992.

[GS] D. Geller, E. M. Stein, *Estimates for singular convolution operators on the Heisenberg group*, Mathematische Annalen 267, 1-15, 1984.

[RS] F. Ricci, E. M. Stein, *Harmonic Analysis on Nilpotent Groups and Singular Integrals II: Singular Kernels Supported on Submanifolds*, Journal of Functional Analysis 78, 56-84, 1988.