In dimension n = 1, we obtain $L^{p_1}(\mathbb R) \times\dots\times L^{p_m}(\mathbb R)$ to $L^p(\mathbb R)$ boundedness for the multilinear spherical maximal function in the largest possible open set of indices and we provide counterexamples that indicate the optimality of our results.

We resolve some questions posed by Handelman in 1996 concerning log convex $L^1$ functions. In particular, we give a negative answer to a question he posed concerning the integrability of $h^2(x)/h(2x)$ when h is $L^1$ and log convex and $h(n)^{1/n}\rightarrow 1$.

We show that the fractional integral operator $I_{\alpha }$, $0<\alpha <n$, and the fractional maximal operator $M_{\alpha }$, $0\le \alpha <n$, are bounded on weak Choquet spaces with respect to Hausdorff content. We also investigate these operators on Choquet–Morrey spaces. The results for the fractional maximal operator $M_\alpha $ are extensions of the work of Tang [‘Choquet integrals, weighted Hausdorff content and maximal operators’, Georgian Math. J. 18(3) (2011), 587–596] and earlier work of Adams and Orobitg and Verdera. The results for the fractional integral operator $I_{\alpha }$ are essentially new.

In this paper, we obtain the $H^{p_1}\times H^{p_2}\times H^{p_3}\to H^p$ boundedness for trilinear Fourier multiplier operators, which is a trilinear analogue of the multiplier theorem of Calderón and Torchinsky [4]. Our result improves the trilinear estimate in [22] by additionally assuming an appropriate vanishing moment condition, which is natural in the boundedness into the Hardy space $H^p$ for $0<p\le 1$.

We study the degree of an L-Lipschitz map between Riemannian manifolds, proving new upper bounds and constructing new examples. For instance, if $X_k$ is the connected sum of k copies of $\mathbb CP^2$ for $k \ge 4$, then we prove that the maximum degree of an L-Lipschitz self-map of $X_k$ is between $C_1 L^4 (\log L)^{-4}$ and $C_2 L^4 (\log L)^{-1/2}$. More generally, we divide simply connected manifolds into three topological types with three different behaviors. Each type is defined by purely topological criteria. For scalable simply connected n-manifolds, the maximal degree is $\sim L^n$. For formal but nonscalable simply connected n-manifolds, the maximal degree grows roughly like $L^n (\log L)^{-\theta (1)}$. And for nonformal simply connected n-manifolds, the maximal degree is bounded by $L^\alpha $ for some $\alpha < n$.

Let H be the Hermite operator $-\Delta +|x|^2$ on $\mathbb {R}^n$. We prove a weighted $L^2$ estimate of the maximal commutator operator $\sup _{R>0}|[b, S_R^\lambda (H)](f)|$, where $ [b, S_R^\lambda (H)](f) = bS_R^\lambda (H) f - S_R^\lambda (H)(bf) $ is the commutator of a BMO function b and the Bochner–Riesz means $S_R^\lambda (H)$ for the Hermite operator H. As an application, we obtain the almost everywhere convergence of $[b, S_R^\lambda (H)](f)$ for large $\lambda $ and $f\in L^p(\mathbb {R}^n)$.

For decreasing sequences $\{t_{n}\}_{n=1}^{\infty }$ converging to zero and initial data $f\in H^s(\mathbb {R}^N)$, $N\geq 2$, we consider the almost everywhere convergence problem for sequences of Schrödinger means ${\rm e}^{it_{n}\Delta }f$, which was proposed by Sjölin, and was open until recently. In this paper, we prove that if $\{t_n\}_{n=1}^{\infty }$ belongs to Lorentz space ${\ell }^{r,\infty }(\mathbb {N})$, then the a.e. convergence results hold for $s>\min \{\frac {r}{\frac {N+1}{N}r+1},\,\frac {N}{2(N+1)}\}$. Inspired by the work of Lucà-Rogers, we construct a counterexample to show that our a.e. convergence results are sharp (up to endpoints). Our results imply that when $0< r<\frac {N}{N+1}$, there is a gain over the a.e. convergence result from Du-Guth-Li and Du-Zhang, but not when $r\geq \frac {N}{N+1}$, even though we are in the discrete case. Our approach can also be applied to get the a.e. convergence results for the fractional Schrödinger means and nonelliptic Schrödinger means.

We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty )$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow–Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages.

We prove discrete restriction estimates for a broad class of hypersurfaces arising in seminal work of Birch. To do so, we use a variant of Bourgain’s arithmetic version of the Tomas–Stein method and Magyar’s decomposition of the Fourier transform of the indicator function of the integer points on a hypersurface.

We answer in a probabilistic setting two questions raised by Stokolos in a private communication. Precisely, given a sequence of random variables $\left\{X_k : k \geq 1\right\}$ uniformly distributed in $(0,1)$ and independent, we consider the following random sets of directions

\begin{equation*}\Omega_{\text{rand},\text{lin}} := \left\{ \frac{\pi X_k}{k}: k \geq 1\right\}\end{equation*}

\begin{equation*}\Omega_{\text{rand},\text{lac}} := \left\{\frac{\pi X_k}{2^k} : k\geq 1 \right\}.\end{equation*}

We prove that almost surely the directional maximal operators associated to those sets of directions are not bounded on $L^p({\mathbb{R}}^2)$ for any $1 \lt p \lt \infty$.

We study $L^p$-Sobolev regularity estimates for the restricted X-ray transforms generated by nondegenerate curves. Making use of the inductive strategy in the recent work by the authors, we establish the sharp $L^p$-regularity estimates for the restricted X-ray transforms in $\mathbb {R}^{d+1}$, $d\ge 3$. This extends the result due to Pramanik and Seeger in $\mathbb {R}^3$.

The aim of this note is twofold. First, we prove an abstract version of the Calderón transference principle for inequalities of admissible type in the general commutative multilinear and multiparameter setting. Such an operation does not increase the constants in the transferred inequalities. Second, we use the last information to study a certain dichotomy arising in problems of finding the best constants in the weak type $(1,1)$ and strong type $(p,p)$ inequalities for one-parameter ergodic maximal operators.

We prove that the uncentered Hardy–Littlewood maximal operator is discontinuous on ${BMO}(\mathbb {R}^n)$ and maps ${VMO}(\mathbb {R}^n)$ to itself. A counterexample to the boundedness of the strong and directional maximal operators on ${BMO}(\mathbb {R}^n)$ is given, and properties of slices of ${BMO}(\mathbb {R}^n)$ functions are discussed.

In this work, we obtain the pointwise almost everywhere convergence for two families of multilinear operators: (a) the doubly truncated homogeneous singular integral operators associated with $L^q$ functions on the sphere and (b) lacunary multiplier operators of limited smoothness. The a.e. convergence is deduced from the $L^2\times \cdots \times L^2\to L^{2/m}$ boundedness of the associated maximal multilinear operators.

We prove sharp smoothing properties of the averaging operator defined by convolution with a measure on a smooth nondegenerate curve $\gamma $ in $\mathbb R^d$ , $d\ge 3$ . Despite the simple geometric structure of such curves, the sharp smoothing estimates have remained largely unknown except for those in low dimensions. Devising a novel inductive strategy, we obtain the optimal $L^p$ Sobolev regularity estimates, which settle the conjecture raised by Beltran–Guo–Hickman–Seeger [1]. Besides, we show the sharp local smoothing estimates on a range of p for every $d\ge 3$ . As a result, we establish, for the first time, nontrivial $L^p$ boundedness of the maximal average over dilations of $\gamma $ for $d\ge 4$ .

We recall that $w\in C_{p}^+$ if there exist $\varepsilon >0$ and $C>0$ such that for any $a< b< c$ with $c-b< b-a$ and any measurable set $E\subset (a,b)$, the following holds

\[ \int_{E}w\leq C\left(\frac{|E|}{(c-b)}\right)^{\varepsilon}\int_{\mathbb{R}}\left(M^+\chi_{(a,c)}\right)^{p}w<\infty. \]

$C_{p}$

$1< p< q<\infty$

$w\in C_{q}^+$

\[ \|M^+f\|_{L^{p}(w)}\lesssim\|M^{\sharp,+}f\|_{L^{p}(w)} \]

$w\in C_{p}^+$

$M^{\sharp,+}$

We establish local-in-time Strichartz estimates for solutions of the model case Dirichlet wave equation inside cylindrical convex domains $\Omega \subset \mathbb {R}^ 3$ with smooth boundary $\partial \Omega \neq \emptyset $ . The key ingredients to prove Strichartz estimates are dispersive estimates, energy estimates, interpolation and $TT^*$ arguments. Strichartz estimates for waves inside an arbitrary domain $\Omega $ have been proved by Blair, Smith and Sogge [‘Strichartz estimates for the wave equation on manifolds with boundary’, Ann. Inst. H. Poincaré Anal. Non Linéaire 26 (2009), 1817–1829]. We provide a detailed proof of the usual Strichartz estimates from dispersive estimates inside cylindrical convex domains for a certain range of the wave admissibility.

Let $\Omega \subset \mathbb {R}^{n+1}$ , $n\ge 2$ , be a $1$ -sided nontangentially accessible domain, that is, a set which is quantitatively open and path-connected. Assume also that $\Omega $ satisfies the capacity density condition. Let $L_0 u=-\mathop {\operatorname {div}}\nolimits (A_0 \nabla u)$ , $Lu=-\mathop {\operatorname {div}}\nolimits (A\nabla u)$ be two real (not necessarily symmetric) uniformly elliptic operators in $\Omega $ , and write $\omega _{L_0}, \omega _L$ for the respective associated elliptic measures. We establish the equivalence between the following properties: (i) $\omega _L \in A_{\infty }(\omega _{L_0})$ , (ii) L is $L^p(\omega _{L_0})$ -solvable for some $p\in (1,\infty )$ , (iii) bounded null solutions of L satisfy Carleson measure estimates with respect to $\omega _{L_0}$ , (iv) $\mathcal {S}<\mathcal {N}$ (i.e., the conical square function is controlled by the nontangential maximal function) in $L^q(\omega _{L_0})$ for some (or for all) $q\in (0,\infty )$ for any null solution of L, and (v) L is $\mathrm {BMO}(\omega _{L_0})$ -solvable. Moreover, in each of the properties (ii)-(v) it is enough to consider the class of solutions given by characteristic functions of Borel sets (i.e, $u(X)=\omega _L^X(S)$ for an arbitrary Borel set $S\subset \partial \Omega $ ).

Also, we obtain a qualitative analog of the previous equivalences. Namely, we characterize the absolute continuity of $\omega _{L_0}$ with respect to $\omega _L$ in terms of some qualitative local $L^2(\omega _{L_0})$ estimates for the truncated conical square function for any bounded null solution of L. This is also equivalent to the finiteness $\omega _{L_0}$ -almost everywhere of the truncated conical square function for any bounded null solution of L. As applications, we show that $\omega _{L_0}$ is absolutely continuous with respect to $\omega _L$ if the disagreement of the coefficients satisfies some qualitative quadratic estimate in truncated cones for $\omega _{L_0}$ -almost everywhere vertex. Finally, when $L_0$ is either the transpose of L or its symmetric part, we obtain the corresponding absolute continuity upon assuming that the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for $\omega _{L_0}$ -almost every vertex.

We obtain a sparse domination principle for an arbitrary family of functions $f(x,Q)$ , where $x\in {\mathbb R}^{n}$ and Q is a cube in ${\mathbb R}^{n}$ . When applied to operators, this result recovers our recent works [37, 39]. On the other hand, our sparse domination principle can be also applied to non-operator objects. In particular, we show applications to generalised Poincaré–Sobolev inequalities, tent spaces and general dyadic sums. Moreover, the flexibility of our result allows us to treat operators that are not localisable in the sense of [39], as we will demonstrate in an application to vector-valued square functions.