Maximal operators and differentiation theorems for sparse sets (Q551218): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Giorgi Oniani / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A24 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A78 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5920536 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal operator | |||
Property / zbMATH Keywords: maximal operator / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
differentiation | |||
Property / zbMATH Keywords: differentiation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
averages | |||
Property / zbMATH Keywords: averages / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff dimension | |||
Property / zbMATH Keywords: Hausdorff dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sparse sets | |||
Property / zbMATH Keywords: sparse sets / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3100424958 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0906.0112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2784326 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039801 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random recursive construction of Salem sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Kaufman: Cantor-type construction of linear fractal Salem sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averages in the plane over convex curves and maximal operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on End-Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular and maximal Radon transforms: Analysis and geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4243448 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differentiation of integrals in \(\mathbb{R}^n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal and singular integral operators via Fourier transform estimates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Realization of small Distances in Plane Sets of Positive Measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new proof of Szemerédi's theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic progressions in sumsets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The primes contain arbitrarily long arithmetic progressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On X-ray transforms for rigid line complexes and integrals over curves in $\mathbb {R}^4$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5587250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal averages over surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4462254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3687398 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the theorem of Jarník and Besicovitch / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic progressions in sets of fractional dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4328334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Salem sets and restriction properties of Fourier transforms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graph colouring and the probabilistic method / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averages Over Convex Hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differentiation in lacunary directions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert integrals, singular integrals, and Radon transforms. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert integrals, singular integrals, and Radon transforms. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal functions and Fourier transforms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4340161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On singular monotonic functions whose spectrum has a given Hausdorff dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A geometric proof of the circular maximal theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2709027 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averages of functions over hypersurfaces in \(\mathbb R^n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averages over hypersurfaces. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal functions: Spherical means / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4727633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Problems in harmonic analysis related to curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The ergodic theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4434428 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
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