Singular integrals along variable codimension one subspaces

TL;DR

This paper studies maximal operators formed by rotations of tensor products of multipliers in high-dimensional spaces, establishing new bounds and recovering functions from averages along subspaces, advancing understanding of singular integrals and differentiation.

Contribution

It provides a weak-type L^2 estimate for these maximal operators, leading to sharp bounds and a solution to Zygmund's conjecture in higher dimensions.

Findings

Weak-type L^2 estimate for band-limited functions

Sharp L^2 estimate for maximal operators with finite rotations

Functions in certain Besov spaces can be recovered from averages along subspaces

Abstract

This article deals with maximal operators on ${\mathbb R}^n$ formed by taking arbitrary rotations of tensor products of a $d$-dimensional H\"ormander--Mihlin multiplier with the identity in $n-d$ coordinates, in the particular codimension 1 case $d=n-1$. These maximal operators are naturally connected to differentiation problems and maximally modulated singular integrals such as Sj\"olin's generalization of Carleson's maximal operator. Our main result, a weak-type $L^{2}({\mathbb R}^n)$-estimate on band-limited functions, leads to several corollaries. The first is a sharp $L^2({\mathbb R}^n)$ estimate for the maximal operator restricted to a finite set of rotations in terms of the cardinality of the finite set. The second is a version of the Carleson--Sj\"olin theorem. In addition, we obtain that functions in the Besov space $B_{p,1}^0({\mathbb R}^n)$, $2\le p <\infty$, may be recovered from their averages along a measurable choice of codimension $1$ subspaces, a form of Zygmund's conjecture in general dimension $n$.