In this note we give a characterization of $\ell ^{p}\times \cdots \times \ell ^{p}\rightarrow \ell ^{q}$ boundedness of maximal operators associated with multilinear convolution averages over spheres in $\mathbb{Z}^{n}$.

The Marcinkiewicz multipliers are $L^{p}$ bounded for $1<p<\infty$ on the Heisenberg group $\mathbb{H}^{n}\simeq \mathbb{C}^{n}\times \mathbb{R}$ (Müller, Ricci, and Stein). This is surprising in the sense that these multipliers are invariant under a two parameter group of dilations on $\mathbb{C}^{n}\times \mathbb{R}$, while there is no two parameter group of automorphic dilations on $\mathbb{H}^{n}$. The purpose of this paper is to establish a theory of the flag Lipschitz space on the Heisenberg group $\mathbb{H}^{n}\simeq \mathbb{C}^{n}\times \mathbb{R}$ that is, in a sense, intermediate between that of the classical Lipschitz space on the Heisenberg group $\mathbb{H}^{n}$ and the product Lipschitz space on $\mathbb{C}^{n}\times \mathbb{R}$. We characterize this flag Lipschitz space via the Littlewood–Paley theory and prove that flag singular integral operators, which include the Marcinkiewicz multipliers, are bounded on these flag Lipschitz spaces.

Let $(M^{n},g)$ be a Riemannian manifold without boundary. We study the amount of initial regularity required so that the solution to a free Schrödinger equation converges pointwise to its initial data. Assume the initial data is in $H^{\unicode[STIX]{x1D6FC}}(M)$. For hyperbolic space, the standard sphere, and the two-dimensional torus, we prove that $\unicode[STIX]{x1D6FC}>\frac{1}{2}$ is enough. For general compact manifolds, due to the lack of a local smoothing effect, it is hard to improve on the bound $\unicode[STIX]{x1D6FC}>1$ from interpolation. We managed to go below 1 for dimension ${\leqslant}$ 3. The more interesting thing is that, for a one-dimensional compact manifold, $\unicode[STIX]{x1D6FC}>\frac{1}{3}$ is sufficient.

Let $\unicode[STIX]{x1D6FD}\geqslant 0$, let $e_{1}=(1,0,\ldots ,0)$ be a unit vector on $\mathbb{R}^{n}$, and let $d\unicode[STIX]{x1D707}(x)=|x|^{\unicode[STIX]{x1D6FD}}dx$ be a power weighted measure on $\mathbb{R}^{n}$. For $0\leqslant \unicode[STIX]{x1D6FC}<n$, let $M_{\unicode[STIX]{x1D707}}^{\unicode[STIX]{x1D6FC}}$ be the centered Hardy-Littlewood maximal function and fractional maximal functions associated with measure $\unicode[STIX]{x1D707}$. This paper shows that for $q=n/(n-\unicode[STIX]{x1D6FC})$, $f\in L^{1}(\mathbb{R}^{n},d\unicode[STIX]{x1D707})$,

$$\begin{eqnarray}\displaystyle \lim _{\unicode[STIX]{x1D706}\rightarrow 0+}\unicode[STIX]{x1D706}^{q}\unicode[STIX]{x1D707}(\{x\in \mathbb{R}^{n}:M_{\unicode[STIX]{x1D707}}^{\unicode[STIX]{x1D6FC}}f(x)>\unicode[STIX]{x1D706}\})=\frac{\unicode[STIX]{x1D714}_{n-1}}{(n+\unicode[STIX]{x1D6FD})\unicode[STIX]{x1D707}(B(e_{1},1))}\Vert f\Vert _{L^{1}(\mathbb{R}^{n},d\unicode[STIX]{x1D707})}^{q}, & & \displaystyle \nonumber\\ \displaystyle \lim _{\unicode[STIX]{x1D706}\rightarrow 0+}\unicode[STIX]{x1D706}^{q}\unicode[STIX]{x1D707}\left(\left\{x\in \mathbb{R}^{n}:\left|M_{\unicode[STIX]{x1D707}}^{\unicode[STIX]{x1D6FC}}f(x)-\frac{\Vert f\Vert _{L^{1}(\mathbb{R}^{n},d\unicode[STIX]{x1D707})}}{\unicode[STIX]{x1D707}(B(x,|x|))^{1-\unicode[STIX]{x1D6FC}/n}}\right|>\unicode[STIX]{x1D706}\right\}\right)=0, & & \displaystyle \nonumber\end{eqnarray}$$

$\unicode[STIX]{x1D6FD}=0$

$\unicode[STIX]{x1D707}$

We use a variant of a technique used by M. T. Lacey to give sparse $L^{p}(\log (L))^{4}$ bounds for a class of model singular and maximal Radon transforms.

We investigate a dichotomy property for Hardy–Littlewood maximal operators, noncentred $M$ and centred $M^{c}$, that was noticed by Bennett et al. [‘Weak-$L^{\infty }$ and BMO’, Ann. of Math. (2) 113 (1981), 601–611]. We illustrate the full spectrum of possible cases related to the occurrence or not of this property for $M$ and $M^{c}$ in the context of nondoubling metric measure spaces $(X,\unicode[STIX]{x1D70C},\unicode[STIX]{x1D707})$. In addition, if $X=\mathbb{R}^{d}$, $d\geq 1$, and $\unicode[STIX]{x1D70C}$ is the metric induced by an arbitrary norm on $\mathbb{R}^{d}$, then we give the exact characterisation (in terms of $\unicode[STIX]{x1D707}$) of situations in which $M^{c}$ possesses the dichotomy property provided that $\unicode[STIX]{x1D707}$ satisfies some very mild assumptions.

We study the heat semigroup maximal operator associated with a well-known orthonormal system in the $d$-dimensional ball. The corresponding heat kernel is shown to satisfy Gaussian bounds. As a consequence, we can prove weighted $L^{p}$ estimates, as well as some weighted inequalities in mixed norm spaces, for this maximal operator.

Let $\ell \in \mathbb{N}$ and $p\in (1,\infty ]$. In this article, the authors establish several equivalent characterizations of Sobolev spaces $W^{2\ell +2,p}(\mathbb{R}^{n})$ in terms of derivatives of ball averages. The novelty in the results of this article is that these equivalent characterizations reveal some new connections between the smoothness indices of Sobolev spaces and the derivatives on the radius of ball averages and also that, to obtain the corresponding results for higher order Sobolev spaces, the authors first establish the combinatorial equality: for any $\ell \in \mathbb{N}$ and $k\in \{0,\ldots ,\ell -1\}$, $\sum _{j=0}^{2\ell }(-1)^{j}\binom{2\ell }{j}|\ell -j|^{2k}=0$.

Let λ > 0 and let

be the Bessel operator on ℝ+ := (0,∞). We show that the oscillation operator 𝒪(RΔλ,∗) and variation operator 𝒱ρ(RΔλ,∗) of the Riesz transform RΔλ associated with Δλ are both bounded on Lp(ℝ+, dmλ) for p ∈ (1,∞), from L1(ℝ+, dmλ) to L1,∞(ℝ+, dmλ), and from L∞(ℝ+, dmλ) to BMO(ℝ+, dmλ), where ρ ∈ (2,∞) and dmλ(x) := x2λ dx. As an application, we give the corresponding Lp-estimates for β-jump operators and the number of up-crossings.

This paper will be devoted to study a class of bilinear square-function Fourier multiplier operator associated with a symbol $m$ defined by

$$\begin{eqnarray}\displaystyle & & \displaystyle \mathfrak{T}_{\unicode[STIX]{x1D706},m}(f_{1},f_{2})(x)\nonumber\\ \displaystyle & & \displaystyle \quad =\Big(\iint _{\mathbb{R}_{+}^{n+1}}\Big(\frac{t}{|x-z|+t}\Big)^{n\unicode[STIX]{x1D706}}\nonumber\\ \displaystyle & & \displaystyle \qquad \times \,\bigg|\int _{(\mathbb{R}^{n})^{2}}e^{2\unicode[STIX]{x1D70B}ix\cdot (\unicode[STIX]{x1D709}_{1}+\unicode[STIX]{x1D709}_{2})}m(t\unicode[STIX]{x1D709}_{1},t\unicode[STIX]{x1D709}_{2})\hat{f}_{1}(\unicode[STIX]{x1D709}_{1})\hat{f}_{2}(\unicode[STIX]{x1D709}_{2})\,d\unicode[STIX]{x1D709}_{1}\,d\unicode[STIX]{x1D709}_{2}\bigg|^{2}\frac{dz\,dt}{t^{n+1}}\Big)^{1/2}.\nonumber\end{eqnarray}$$

$\mathfrak{T}_{\unicode[STIX]{x1D706},m}$

$g_{\unicode[STIX]{x1D706}}^{\ast }$

$\mathfrak{T}_{\unicode[STIX]{x1D706},m}$

$L\log L$

$\mathfrak{T}_{\unicode[STIX]{x1D706},m}$

We obtain partial improvement toward the pointwise convergence problem of Schrödinger solutions, in the general setting of fractal measure. In particular, we show that, for $n\geqslant 3$, $\lim _{t\rightarrow 0}e^{it\unicode[STIX]{x1D6E5}}f(x)$$=f(x)$ almost everywhere with respect to Lebesgue measure for all $f\in H^{s}(\mathbb{R}^{n})$ provided that $s>(n+1)/2(n+2)$. The proof uses linear refined Strichartz estimates. We also prove a multilinear refined Strichartz using decoupling and multilinear Kakeya.

An A1−A∞ estimate, improving on a previous result for [b, TΩ] with $\Omega \in L^{infty}({\open S}^{n - 1})$ and b∈BMO is obtained. A new result in terms of the A∞ constant and the one supremum Aq−A∞exp constant is also proved, providing a counterpart for commutators of the result obtained by Li. Both of the preceding results rely upon a sparse domination result in terms of bilinear forms, which is established using techniques from Lerner.

By invoking some new ideas, we characterize Sobolev spaces Wα,p(ℝn) with the smoothness order α ∊ (0, 2] and p ∊ (max{1, 2n/(2α + n)},∞), via the Lusin area function and the Littlewood–Paley g*λ-function in terms of centred ball averages. We also show that the assumption p ∊ (max{1, 2n/(2α + n)},∞) is nearly sharp in the sense that these characterizations are no longer true when p ∊ (1, max{1, 2n/(2α + n)}). These characterizations provide a possible new way to introduce Sobolev spaces with smoothness order in (1, 2] on metric measure spaces.

We consider the global behaviour for large solutions of the Dirac–Klein–Gordon system in critical spaces in dimension $1+3$. In particular, we show that bounded solutions exist globally in time and scatter, provided that a controlling space–time Lebesgue norm is finite. A crucial step is to prove nonlinear estimates that exploit the dichotomy between transversality and null structure, and furthermore involve the controlling norm.

Let ${\mathcal{L}}=-\unicode[STIX]{x1D6E5}+{\mathcal{V}}$ be a Schrödinger operator on $\mathbb{R}^{n},n\geq 3$, where ${\mathcal{V}}$ is a potential satisfying an appropriate reverse Hölder inequality. In this paper, we prove the boundedness of the Riesz transforms and the Littlewood–Paley square function associated with Schrödinger operators ${\mathcal{L}}$ in some new function spaces, such as new weighted Bounded Mean Oscillation (BMO) and weighted Lipschitz spaces, associated with ${\mathcal{L}}$. Our results extend certain well-known results.

We study several questions about the weak-type boundedness of the Fourier transform ℱ on rearrangement invariant spaces. In particular, we characterize the action of ℱ as a bounded operator from the minimal Lorentz space Λ(X) into the Marcinkiewicz maximal space M(X), both associated with a rearrangement invariant space X. Finally, we also prove some results establishing that the weak-type boundedness of ℱ, in certain weighted Lorentz spaces, is equivalent to the corresponding strong-type estimates.

Let L be a one-to-one operator of type ω in L2(ℝn), with ω∈[0, π/2), which has a bounded holomorphic functional calculus and satisfies the Davies–Gaffney estimates. Let p(·): ℝn→(0, 1] be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors introduce the variable Hardy space $H_L^{p(\cdot )} ({\open R}^n)$ associated with L. By means of variable tent spaces, the authors establish the molecular characterization of $H_L^{p(\cdot )} ({\open R}^n)$. Then the authors show that the dual space of $H_L^{p(\cdot )} ({\open R}^n)$ is the bounded mean oscillation (BMO)-type space ${\rm BM}{\rm O}_{p(\cdot ),{\kern 1pt} L^ * }({\open R}^n)$, where L* denotes the adjoint operator of L. In particular, when L is the second-order divergence form elliptic operator with complex bounded measurable coefficients, the authors obtain the non-tangential maximal function characterization of $H_L^{p(\cdot )} ({\open R}^n)$ and show that the fractional integral L−α for α∈(0, (1/2)] is bounded from $H_L^{p(\cdot )} ({\open R}^n)$ to $H_L^{q(\cdot )} ({\open R}^n)$ with (1/p(·))−(1/q(·))=2α/n, and the Riesz transform ∇ L−1/2 is bounded from $H_L^{p(\cdot )} ({\open R}^n)$ to the variable Hardy space Hp(·)(ℝn).

We study a weighted maximal weak-type inequality for Haar multipliers that can be regarded as a dual problem of Muckenhoupt and Wheeden. More precisely, if Tε is the Haar multiplier associated with the sequence ε with values in [−1, 1], and is the r-maximal operator, then for any weight w and any function f on [0, 1) we have

for some constant Cr depending only on r. We also show that the analogous result does not hold if we replace by the dyadic maximal operator Md. The proof rests on the Bellman function method; using this technique we establish related weighted Lp estimates for p close to 1, and then deduce the main result by extrapolation arguments.

We use the Morrey norm estimate for the imaginary power of the Laplacian to prove an interpolation inequality for the fractional power of the Laplacian on Morrey spaces. We then prove a Hardy-type inequality and use it together with the interpolation inequality to obtain a Heisenberg-type inequality in Morrey spaces.

We use a unified approach to study the boundedness of fractional integral operators on $\unicode[STIX]{x1D6FC}$-modulation spaces and find sharp conditions for boundedness in the full range.