Search

We consider Bochner-Riesz means on weighted $L^p$ spaces, at the critical index $\lambda(p)=d(\frac 1p-\frac 12)-\frac 12$. For every $A_1$-weight we obtain an extension of Vargas' weak type $(1,1)$ inequality in some range of $p>1$. To prove this result we establish new endpoint results for sparse domination. These are almost optimal in dimension $d=2$; partial results as well as conditional results are proved in higher dimensions. For the means of index $\lambda_*=\frac{d-1}{2d+2}$ we prove fully optimal sparse bounds., Comment: 39 pages, 1 figure

Consider $\mathbb R^d\times \mathbb R^m$ with the group structure of a two-step nilpotent Lie group and natural parabolic dilations. The maximal function originally introduced by Nevo and Thangavelu in the setting of the Heisenberg group deals with noncommutative convolutions associated to measures on spheres or generalized spheres in $\mathbb R^d$. We drop the nondegeneracy condition in the known results on M\'etivier groups and prove the sharp $L^p$ boundedness result for all two step nilpotent Lie groups with $d\ge 3$., Comment: 36 pages, Revised version following referee's report. Added Theorem 1.3 and details in Sect. 4

We consider Haar multiplier operators $T_m$ acting on Sobolev spaces, and more generally Triebel-Lizorkin spaces $F^s_{p,q}(\mathbb{R})$, for indices in which the Haar system is not unconditional. When $m$ depends only on the Haar frequency, we give a sufficient condition for the boundedness of $T_m$ in $F^s_{p,q}$, in terms of the variation norms $\|m\|_{V_u}$, which is optimal in $u$ (up to endpoints) when $p, q> 1$., Comment: 13 pages, 5 figures

We prove endpoint results for sparse domination of translation invariant multiscale operators. The results are formulated in terms of dilation invariant classes of Fourier multipliers based on natural localized $M^{p\to q}$ norms which express appropriate endpoint regularity hypotheses. The applications include new and optimal sparse bounds for classical oscillatory multipliers and multi-scale versions of radial bump multipliers., Comment: Typo in Theorem 1.3 corrected (the result is proved for $1

We study the behavior of Haar coefficients in Besov and Triebel-Lizorkin spaces on $\mathbb{R}$, for a parameter range in which the Haar system is not an unconditional basis. First, we obtain a range of parameters, extending up to smoothness $s<1$, in which the spaces $F^s_{p,q}$ and $B^s_{p,q}$ are characterized in terms of doubly oversampled Haar coefficients (Haar frames). Secondly, in the case that $1/p

Consider spherical means on the Heisenberg group with a codimension two incidence relation, and associated spherical local maximal functions $M_Ef$ where the dilations are restricted to a set $E$. We prove $L^p\to L^q$ estimates for these maximal operators; the results depend on various notions of dimension of $E$., Comment: 27 pages, 1 figure; final version to appear in Stud. Math

We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients of such functions. An application towards Gagliardo-Nirenberg interpolation inequalities is then given. We also establish a related one-parameter family of formulae for the $L^p$ norm of functions in $L^p(\mathbb{R}^n)$., Comment: 21 pages

We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodecki\u{\i} spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions. We prove various new results on embeddings and non-embeddings, and give applications to harmonic and caloric extensions. For suitable wavelet bases we obtain a characterization of the approximation spaces for best $n$-term approximation from a wavelet basis via smoothness conditions on the function; this extends a classical result by DeVore, Jawerth and Popov., Comment: 45 pages

We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $\nu_{\gamma} (E_{\lambda,\gamma/p}[u])$ where \[ E_{\lambda,\gamma/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+\gamma/p}}>\lambda\Big\} \] and the measure $\nu_{\gamma}$ is given by $\mathrm{d} \nu_\gamma(x,y)=|x-y|^{\gamma-N} \mathrm{d} x \mathrm{d} y$. We provide characterizations which involve the $L^{p,\infty}$-quasi-norms $\sup_{\lambda>0} \lambda \, \nu_{\gamma} (E_{\lambda,\gamma/p}[u]) ^{1/p}$ and also exact formulas via corresponding limit functionals, with the limit for $\lambda\to\infty$ when $\gamma>0$ and the limit for $\lambda\to 0^+$ when $\gamma<0$. The results unify and substantially extend previous work by Nguyen and by Brezis, Van Schaftingen and Yung. For $p>1$ the characterizations hold for all $\gamma \neq 0$. For $p=1$ the upper bounds for the $L^{1,\infty}$ quasi-norms fail in the range $\gamma\in [-1,0) $; moreover in this case the limit functionals represent the $L^1$ norm of the gradient for $C^\infty_c$-functions but not for generic $\dot W^{1,1}$-functions. For this situation we provide new counterexamples which are built on self-similar sets of dimension $\gamma+1$. For $\gamma=0$ the characterizations of Sobolev spaces fail; however we obtain a new formula for the Lipschitz norm via the expressions $\nu_0(E_{\lambda,0}[u])$., Comment: 40 pages

We prove $L^p\to L^q$ estimates for local maximal operators associated with dilates of codimension two spheres in Heisenberg groups; these are sharp up to two endpoints. The results can be applied to improve currently known bounds on sparse domination for global maximal operators. We also consider lacunary variants, and extensions to M\'etivier groups., Comment: 29 pages, 1 figure. Minor revisions

We study $L^p$-Sobolev improving for averaging operators $A_{\gamma}$ given by convolution with a compactly supported smooth density $\mu_{\gamma}$ on a non-degenerate curve. In particular, in 4 dimensions we show that $A_{\gamma}$ maps $L^p(\mathbb{R}^4)$ the Sobolev space $L^p_{1/p}(\mathbb{R}^4)$ for all $6 < p < \infty$. This implies the complete optimal range of $L^p$-Sobolev estimates, except possibly for certain endpoint cases. The proof relies on decoupling inequalities for a family of cones which decompose the wave front set of $\mu_{\gamma}$. In higher dimensions, a new non-trivial necessary condition for $L^p(\mathbb{R}^n) \to L^p_{1/p}(\mathbb{R}^n)$ boundedness is obtained, which motivates a conjectural range of estimates., Comment: 60 pages, 4 figures. Revised version incorporating the referee's suggestions. To appear in Advances in Mathematics

We establish the $L^p(\mathbb{R}^3)$ boundedness of the helical maximal function for the sharp range $p>3$. Our results improve the previous known bounds for $p>4$. The key ingredient is a new microlocal smoothing estimate for averages along dilates of the helix, which is established via a square function analysis., Comment: 63 pages

We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates., Comment: 51 pages, 11 figures. Revised version incorporating referee's suggestions. To appear in Mathematische Annalen

We prove a bilinear form sparse domination theorem that applies to many multi-scale operators beyond Calder\'on-Zygmund theory, and also establish necessary conditions. Among the applications, we cover large classes of Fourier multipliers, maximal functions, square functions and variation norm operators., Comment: Version to be published

For the spherical mean operators $\mathcal{A}_t$ in $\mathbb{R}^d$, $d\ge 2$, we consider the maximal functions $M_Ef =\sup_{t\in E} |\mathcal{A}_t f|$, with dilation sets $E\subset [1,2]$. In this paper we give a surprising characterization of the closed convex sets which can occur as closure of the sharp $L^p$ improving region of $M_E$ for some $E$. This region depends on the Minkowski dimension of $E$, but also other properties of the fractal geometry such as the Assouad spectrum of $E$ and subsets of $E$. A key ingredient is an essentially sharp result on $M_E$ for a class of sets called (quasi-)Assouad regular which is new in two dimensions., Comment: 30 pages, 3 figures. Fixed a typo, final version

Lebesgue space estimates are obtained for the circular maximal function on the Heisenberg group $\mathbb{H}^1$ restricted to a class of Heisenberg radial functions. Under this assumption, the problem reduces to studying a maximal operator on the Euclidean plane. This operator has a number of interesting features: it is associated to a non-smooth curve distribution and, furthermore, fails both the usual rotational curvature and cinematic curvature conditions., Comment: 52 pages, 2 figures. Revised version incorporating referee's suggestions. To appear in Ann. Sc. Norm. Super. Pisa Cl. Sci

Let $f\in L^p(\mathbb{R}^d)$, $d\ge 3$, and let $A_t f(x)$ the average of $f$ over the sphere with radius $t$ centered at $x$. For a subset $E$ of $[1,2]$ we prove close to sharp $L^p\to L^q$ estimates for the maximal function $\sup_{t\in E} |A_t f|$. A new feature is the dependence of the results on both the upper Minkowski dimension of $E$ and the Assouad dimension of $E$. The result can be applied to prove sparse domination bounds for a related global spherical maximal function., Comment: 19 pages, 1 figure. Final version to appear in Mathematische Zeitschrift

We prove a sharp $L^p$-Sobolev regularity results for a class of generalized Radon transforms for families of curves in a three dimensional manifold, with folding canonical relations. The proof relies on decoupling inequalities by Wolff and by Bourgain-Demeter for plate decompositions of thin neighborhoods of cones., Comment: To appear in Journal of Geometric Analysis

We characterize the Schauder and unconditional basis properties for the Haar system in the Triebel-Lizorkin spaces $F^s_{p,q}(\Bbb R^d)$, at the endpoint cases $s=1$, $s=d/p-d$ and $p=\infty$. Together with the earlier results in [10], [4], this completes the picture for such properties in the Triebel-Lizorkin scale, and complements a similar study for the Besov spaces given in [5]., Comment: Minor revision. To appear in Journal of Geometric Analysis

Let $M^{(u)}$, $H^{(u)}$ be the maximal operator and Hilbert transform along the parabola $(t, ut^2) $. For $U\subset(0,\infty)$ we consider $L^p$ estimates for the maximal functions $\sup_{u\in U}|M^{(u)} f|$ and $\sup_{u\in U}|H^{(u)} f|$, when $1

For functions in the Sobolev space $H^s$ and decreasing sequences $t_n\to 0$ we examine convergence almost everywhere of the generalized Schr\"odinger means on the real line, given by \[S^af(x,t_n)=\exp( it_n (-\partial_{xx})^{a/2})f(x);\] here $a>0$, $a\neq 1$. For decreasing convex sequences we obtain a simple characterization of convergence a.e. for all functions in $H^s$ when $0

Let $H^{(u)}$ be the Hilbert transform along the parabola $(t, ut^2)$ where $u\in \mathbb R$. For a set $U$ of positive numbers consider the maximal function $\mathcal{H}^U \!f= \sup\{|H^{(u)}\! f|: u\in U\}$. We obtain an (essentially) optimal result for the $L^p$ operator norm of $\mathcal{H}^U$ when $2

We study Schauder basis properties for the Haar system in Besov spaces $B^s_{p,q}(\mathbb{R}^d)$. We give a complete description of the limiting cases, obtaining various positive results for $q\leq \min\{1,p\}$, and providing new counterexamples in other situations. The study is based on suitable estimates of the dyadic averaging operators $\mathbb{E}_N$; in particular we find asymptotically optimal growth rates for the norms of these operators in global and local situations.

We consider spherical Riesz means of multiple Fourier series and some generalizations. While almost everywhere convergence of Riesz means at the critical index $(d-1)/2$ may fail for functions in the Hardy space $h^1(\mathbb T^d)$, we prove sharp positive results for strong summability almost everywhere. For functions in $L^p(\mathbb T^d)$, $1

The purpose of this paper is to characterize all embeddings for versions of Besov and Triebel-Lizorkin spaces where the underlying Lebesgue space metric is replaced by a Lorentz space metric. We include two appendices, one on the relation between classes of endpoint Mikhlin-H\"ormander type Fourier multipliers, and one on the constant in the triangle inequality for the spaces $L^{p,r} $ when $p<1$., Comment: Revised version to appear in Mathematische Annalen

Consider the surface measure $\mu$ on a sphere in a nonvertical hyperplane on the Heisenberg group $\mathbb{H}^n$, $n\ge 2$, and the convolution $f*\mu$. Form the associated maximal function $Mf=\sup_{t>0}|f*\mu_t|$ generated by the automorphic dilations. We use decoupling inequalities due to Wolff and Bourgain-Demeter to prove $L^p$-boundedness of $M$ in an optimal range.

We prove a characterization of some $L^p$-Sobolev spaces involving the quadratic symmetrization of the Calder\'on commutator kernel, which is related to a square function with differences of difference quotients. An endpoint weak type estimate is established for functions in homogeneous Hardy-Sobolev spaces $\dot H^1_\alpha$. We also use a local version of this square function to characterize pointwise differentiability for functions in the Zygmund class., Comment: To appear in Annali di Matematica Pura ed Applicata

In May 2016, we organized a conference in harmonic analysis in honor of Professor Michael Christ, on the campus of the University of Wisconsin in Madison. We are happy to present sixteen open problems, almost all of which were contributed by participants of a problem session held in the afternoon of May 19, 2016., Comment: 19 pages

We prove a result related to Bressan's mixing problem. We establish an inequality for the change of Bianchini semi-norms of characteristic functions under the flow generated by a divergence free time dependent vector field. The approach leads to a bilinear singular integral operator for which we prove bounds on Hardy spaces. We include additional observations about the approach and a discrete toy version of Bressan's problem., Comment: To appear in Annales de l'Institut Henri Poincar\'e (C) Analyse Non Lin\'eaire