Bounds for Kakeya-type maximal operators associated with k-planes

DOI10.4310/MRL.2007.V14.N1.A7MaRDI QIDQ2372674zbMATH OpenOpenAlexFDO

Authors Richard Oberlin

Publication date 1 August 2007

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0512377

zbMATH Keywords

Kakeya setsmaximal operator

Mathematics Subject Classification ID

Maximal functions, Littlewood-Paley theory (42B25)

Abstract: A (d,k) set is a subset of R^d containing a translate of every k-dimensional plane. Bourgain showed that for k geq k_{cr}(d), where k_{cr}(d) solves 2^{k_{cr}-1}+k_{cr} = d, every (d,k) set has positive Lebesgue measure. We give a short proof of this result which allows for an improved L^p estimate of the corresponding maximal operator, and which demonstrates that a lower value of k_{cr} could be obtained if improved mixed-norm estimates for the x-ray transform were known.

Review text

Let \(G(d,k)\) denote the Grassmannian manifold of \(k\)-dimensional linear subspaces of \(\mathbb R^d\). For \(L\in G(d,k)\) one defines \(\mathcal N^k[f](L)=\sup_{x\in \mathbb R^d}\int_{x+L}f(y)\,dy\) where \(f\) is supported on the unit ball \(B(0,1)\subset \mathbb R^d\). For \(L\in G(d,k)\), \(a\in \mathbb R^d\) and \(\delta>0\) define the \(\delta\) plate centered at \(a\), \(L_\delta (a)\) be the \(\delta\) neighbourhood in \(\mathbb R^d\) of the intersection of \(B(a,\frac12)\) with \(L+a\). The Kakeya-type maximal operator is defined by \(\mathcal M_\delta^k[f](L)=\sup_{a\in \mathbb R^d}| L_\delta(a)| ^{-1} \int_{L_\delta(a)}f(y)\,dy\). Let \(k_{cr}\) be the solution of the equation \(d=\frac732^{k_{cr}-2}+k_{cr}\). The main result is: Suppose \(4\leq k<d\), \(k>k_{cr}\) and \(p\geq (d-1)/2\). Then \[ \| \mathcal N^kf\| _{L^p(G(d,k))}\leq \| f\| _{L^p(\mathbb R^d)}. \] Another result is: including the case \(k<k_{cr}\), under some conditions \[ \| M_\delta^kf\| _{L^p(G(d,k))}\leq C\delta^{-\alpha/p}\| f\| _{L^p(\mathbb R^d)}, \] for some \(\alpha>0\). These results are concerned with one of Bourgain's: every \((d,k)\) set has positive Lebesgue measure, where a \((d,k)\) set is a subset of \(\mathbb R^d\) containing a translate of every \(k\)-dimensional plane [\textit{J. Bourgain}, Geom. Funct. Anal. 1, No. 2, 147--187 (1991; Zbl 0756.42014)].

Recommendations

• Norm estimates for a Kakeya‐type maximal operator
• Uniqueness of extremizers for an endpoint inequality of the k-plane transform
• Maximal subspace averages
• The octahedron is badly approximated by random subspaces
• scientific article; zbMATH DE number 4116862
• scientific article; zbMATH DE number 3962429
• A Weighted Inequality for the Kakeya Maximal Operator
• Weighted estimates for the k-plane transform of radial functions on Euclidean spaces
• The vector-valued inequalities of maximal operators
• The Fefferman-Stein type inequality for the Kakeya maximal operator

Cited in

(8)

• Nikodym maximal functions associated with variable planes in \(\mathbb{R}^{3}\)
• Maximal subspace averages
• Decoupling inequalities for quadratic forms
• Note on Nikodym maximal in the variable Lebesgue spaces
• Hausdorff dimension and non-degenerate families of projections
• Norm estimates for a Kakeya‐type maximal operator
• Failure of weak-type endpoint restriction estimates for quadratic manifolds.
• On the packing dimension of unions and extensions of k-planes

This page was built for publication: Bounds for Kakeya-type maximal operators associated with \(k\)-planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2372674)