Maximal operators and differentiation theorems for sparse sets (Q551218): Difference between revisions
From MaRDI portal
Latest revision as of 07:31, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximal operators and differentiation theorems for sparse sets |
scientific article |
Statements
Maximal operators and differentiation theorems for sparse sets (English)
0 references
14 July 2011
0 references
Let \(\mathbf{S}=\{S_k\}\) be a sequence of measurable subsets of \(\mathbb{R}\) and \(\mu\) be a probability measure in \(\mathbb{R}\) . The maximal operators, associated to \(\mathbf{S}\) and \(\mu\) respectively, are defined as follows \[ M_\mathbf{S}(f)(x) =\sup_{r>0,k\in \mathbb{N} }\frac{1}{|S_k|}\int_{S_k}|f(x+ry)|dy, \] \[ M_\mu(f)(x) =\sup_{r>0}\int|f(x+ry)|d\mu(y). \] For any \(\varepsilon \in [0,1/3)\) the authors prove the existence of a decreasing sequence of sets \(\mathbf{S}=\{S_k\}\) with the properties: {\parindent=6mm \begin{itemize}\item[(a)] \(S_k\subset[1,2]\). \item[(b)] Each \(S_k\) is a disjoint union of finitely many intervals. \item[(c)] \(|S_k|\rightarrow 0 (k\rightarrow\infty)\). \item[(d)] The weak-\(\ast\) limit \(\mu\) of the densities \(\mathbf{1}_{S_k}/|S_k|\) exists. \item[(e)] \(\bigcap_{k=1}^{\infty}S_k \) has Hausdorff dimension \(1-\varepsilon\). \item[(f)]The maximal operators \(M_\mathbf{S}\) and \(M_\mu\) are bounded on \(L^{p}(\mathbb{R})\) for any \(p>\frac{1+\varepsilon}{1-\varepsilon}\). \end{itemize}} From this result, as a corollary, a differentiation theorem is obtained for averages on \(rS_k\) and with respect to \(\mu\): for every \(f\in L^{p}(\mathbb{R})\) with \(p>\frac{1+\varepsilon}{1-\varepsilon}\), \[ \lim_{r\rightarrow 0} \sup\limits_{k}\big| \frac{1}{r|S_k|}\int_{x+r S_k}f(y)dy-f(x)\big|=0 \] and \[ \lim_{r\rightarrow 0} \big| \int f(x+ry)d\mu(y) -f(x)\big|=0 \] for a.e. \(x\in\mathbb{R}\). The last result gives a positive answer to a question of Aversa and Preiss on differentiation theorems for averages over sparse one dimensional sets. Some other generalizations and corollaries are also given. Complicated proofs combine probabilistic techniques with the methods developed in multidimensional harmonic analysis.
0 references
maximal operator
0 references
differentiation
0 references
averages
0 references
Hausdorff dimension
0 references
sparse sets
0 references
0 references