You are currently browsing the tag archive for the ‘maximal functions’ tag.

Suppose one has a measure space and a sequence of operators that are bounded on some space, with . Suppose that on some dense subclass of functions in (e.g. continuous compactly supported functions, if the space is reasonable), one already knows that converges pointwise almost everywhere to some limit , for another bounded operator (e.g. could be the identity operator). What additional ingredient does one need to pass to the limit and conclude that converges almost everywhere to for *all* in (and not just for in a dense subclass)?

One standard way to proceed here is to study the *maximal operator*

and aim to establish a *weak-type maximal inequality*

for all (or all in the dense subclass), and some constant , where is the weak norm

A standard approximation argument using (1) then shows that will now indeed converge to pointwise almost everywhere for all in , and not just in the dense subclass. See for instance these lecture notes of mine, in which this method is used to deduce the Lebesgue differentiation theorem from the Hardy-Littlewood maximal inequality. This is by now a very standard approach to establishing pointwise almost everywhere convergence theorems, but it is natural to ask whether it is strictly necessary. In particular, is it possible to have a pointwise convergence result without being able to obtain a weak-type maximal inequality of the form (1)?

In the case of *norm* convergence (in which one asks for to converge to in the norm, rather than in the pointwise almost everywhere sense), the answer is no, thanks to the uniform boundedness principle, which among other things shows that norm convergence is only possible if one has the uniform bound

for some and all ; and conversely, if one has the uniform bound, and one has already established norm convergence of to on a dense subclass of , (2) will extend that norm convergence to all of .

Returning to pointwise almost everywhere convergence, the answer in general is “yes”. Consider for instance the rank one operators

from to . It is clear that converges pointwise almost everywhere to zero as for any , and the operators are uniformly bounded on , but the maximal function does not obey (1). One can modify this example in a number of ways to defeat almost any reasonable conjecture that something like (1) should be necessary for pointwise almost everywhere convergence.

In spite of this, a remarkable observation of Stein, now known as *Stein’s maximal principle*, asserts that the maximal inequality *is* necessary to prove pointwise almost everywhere convergence, if one is working on a compact group and the operators are translation invariant, and if the exponent is at most :

Theorem 1 (Stein maximal principle)Let be a compact group, let be a homogeneous space of with a finite Haar measure , let , and let be a sequence of bounded linear operators commuting with translations, such that converges pointwise almost everywhere for each . Then (1) holds.

This is not quite the most general vesion of the principle; some additional variants and generalisations are given in the original paper of Stein. For instance, one can replace the discrete sequence of operators with a continuous sequence without much difficulty. As a typical application of this principle, we see that Carleson’s celebrated theorem that the partial Fourier series of an function converge almost everywhere is in fact equivalent to the estimate

And unsurprisingly, most of the proofs of this (difficult) theorem have proceeded by first establishing (3), and Stein’s maximal principle strongly suggests that this is the optimal way to try to prove this theorem.

On the other hand, the theorem does fail for , and almost everywhere convergence results in for can be proven by other methods than weak estimates. For instance, the convergence of Bochner-Riesz multipliers in for any (and for in the range predicted by the Bochner-Riesz conjecture) was verified for by Carbery, Rubio de Francia, and Vega, despite the fact that the weak of even a *single* Bochner-Riesz multiplier, let alone the maximal function, has still not been completely verified in this range. (Carbery, Rubio de Francia and Vega use weighted estimates for the maximal Bochner-Riesz operator, rather than type estimates.) For , though, Stein’s principle (after localising to a torus) does apply, though, and pointwise almost everywhere convergence of Bochner-Riesz means is equivalent to the weak estimate (1).

Stein’s principle is restricted to compact groups (such as the torus or the rotation group ) and their homogeneous spaces (such as the torus again, or the sphere ). As stated, the principle fails in the noncompact setting; for instance, in , the convolution operators are such that converges pointwise almost everywhere to zero for every , but the maximal function is not of weak-type . However, in many applications on non-compact domains, the are “localised” enough that one can transfer from a non-compact setting to a compact setting and then apply Stein’s principle. For instance, Carleson’s theorem on the real line is equivalent to Carleson’s theorem on the circle (due to the localisation of the Dirichlet kernels), which as discussed before is equivalent to the estimate (3) on the circle, which by a scaling argument is equivalent to the analogous estimate on the real line .

Stein’s argument from his 1961 paper can be viewed nowadays as an application of the probabilistic method; starting with a sequence of increasingly bad counterexamples to the maximal inequality (1), one randomly combines them together to create a single “infinitely bad” counterexample. To make this idea work, Stein employs two basic ideas:

- The
*random rotations (or random translations) trick*. Given a subset of of small but positive measure, one can randomly select about translates of that cover most of . - The
*random sums trick*Given a collection of signed functions that may possibly cancel each other in a deterministic sum , one can perform a random sum instead to obtain a random function whose magnitude will usually be comparable to the square function ; this can be made rigorous by concentration of measure results, such as Khintchine’s inequality.

These ideas have since been used repeatedly in harmonic analysis. For instance, I used the random rotations trick in a recent paper with Jordan Ellenberg and Richard Oberlin on Kakeya-type estimates in finite fields. The random sums trick is by now a standard tool to build various counterexamples to estimates (or to convergence results) in harmonic analysis, for instance being used by Fefferman in his famous paper disproving the boundedness of the ball multiplier on for , . Another use of the random sum trick is to show that Theorem 1 fails once ; see Stein’s original paper for details.

Another use of the random rotations trick, closely related to Theorem 1, is the *Nikishin-Stein factorisation theorem*. Here is Stein’s formulation of this theorem:

Theorem 2 (Stein factorisation theorem)Let be a compact group, let be a homogeneous space of with a finite Haar measure , let and , and let be a bounded linear operator commuting with translations and obeying the estimatefor all and some . Then also maps to , with

for all , with depending only on .

This result is trivial with , but becomes useful when . In this regime, the translation invariance allows one to freely “upgrade” a strong-type result to a weak-type result. In other words, bounded linear operators from to automatically factor through the inclusion , which helps explain the name “factorisation theorem”. Factorisation theory has been developed further by many authors, including Maurey and Pisier.

Stein’s factorisation theorem (or more precisely, a variant of it) is useful in the theory of Kakeya and restriction theorems in Euclidean space, as first observed by Bourgain.

In 1970, Nikishin obtained the following generalisation of Stein’s factorisation theorem in which the translation-invariance hypothesis can be dropped, at the cost of excluding a set of small measure:

Theorem 3 (Nikishin-Stein factorisation theorem)Let be a finite measure space, let and , and let be a bounded linear operator obeying the estimatefor all and some . Then for any , there exists a subset of of measure at most such that

One can recover Theorem 2 from Theorem 3 by an averaging argument to eliminate the exceptional set; we omit the details.

## Recent Comments