Random Martingales and localization of maximal inequalities
By Assaf Naor, Terence Tao. 2009
75 citations recorded by the source corpus.
Let $(X,d,\mu)$ be a metric measure space. For $\emptyset\neq R\subseteq (0,\infty)$ consider the Hardy-Littlewood maximal operator $$ M_R f(x) \stackrel{\mathrm{def}}{=} \sup_{r \in R} \frac{1}{\mu(B(x,r))} \int_{B(x,r)} |f| d\mu.$$ We show that if there is an $n>1$ such that one has the "microdoubling condition" $ \mu(B(x,(1+\frac{1}{n})r))\lesssim \mu(B(x,r)) $ for all $x\in X$ and $r>0$, then the weak $(1,1)$ norm of $M_R$ has the following localization property: $$ \|M_R\|_{L_1(X) \to L_{1,\infty}(X)}\asymp \sup_{r>0} \|M_{R\cap [r,nr]}\|_{L_1(X) \to L_{1,\infty}(X)}. $$ An immediate consequence is that if $(X,d,\mu)$ is Ahlfors-David $n$-regular then the weak $(1,1)$ norm of $M_R$ is $\lesssim n\log n$, generalizing a result of Stein and Str\"omberg. We show that this bound is sharp, by constructing a metric measure space $(X,d,\mu)$ that is Ahlfors-David $n$-regular, for which the weak $(1,1)$ norm of $M_{(0,\infty)}$ is $\gtrsim n\log n$. The localization property of $M_R$ is proved by assigning to each $f\in L_1(X)$ a distribution over {\em random} martingales for which the associated (random) Doob maximal inequality controls the weak $(1,1)$ inequality for $M_R$.
Subfields: Applied Mathematics
View Paper: https://www.semanticscholar.org/paper/4e68930a1f757435ffda756cc214b91078abe1ac
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Applied Mathematics
Citations in the corpus
- Noncommutative maximal ergodic inequalities associated with doubling conditions (2017, methodology): “ies. We remark that the classical argument via covering lemmas does not seem to fit into this operator-valued setting. Instead, our approach is based on the study of random dyadic systems by Naor, Tao [NT10] and Hyt¨onen, Kaimera [HK12]. The key idea is to relate the desired inequality to noncommutat”
- On the Hardy-Littlewood maximal function for the cube (2012, background): “absolute constant, independently of B as above (cf [B1]) and this statement was generalized to Cp(B), p > 3 2 in [B2] and [C]. On the other hand, it is shown in [S-S] that C 1(B) . nlogn (see also [N-T]). Note that the constants Cp(B) The research was partially supported by NSF grants DMS-0808042”
- Noncommutative Riesz transforms -- Dimension free bounds and Fourier multipliers (2014, background): “Further dimension free estimates for maximal functions appear in [6, 10, 51, 70].”