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)$.

The notion of indicator of an analytic function, that describes the function’s growth along rays, was introduced by Phragmen and Lindelöf. Trigonometric convexity is a defining property of the indicator. For multivariate cases, an analogous property of trigonometric convexity was not known so far. We prove the property of trigonometric convexity for the indicator of multivariate analytic functions, introduced by Ivanov. The results that we obtain are sharp. Derivation of a multidimensional analogue of the inverse Fourier transform in a sector and obtaining estimates on its decay is an important step of our proof.

The purpose of this paper is to introduce and study the following graph-theoretic paradigm. Let

$$ \begin{align*}T_Kf(x)=\int K(x,y) f(y) d\mu(y),\end{align*} $$

$f: X \to {\Bbb R}$

$\mu $

$$ \begin{align*}\Lambda_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) d\mu(x^l),\end{align*} $$

${\mathcal E}(G)$

$\Lambda _G(p_1, \ldots , p_n)$

$C>0$

(0.1)

$$ \begin{align} \Lambda_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, \mu)} \end{align} $$

$f_i$

$1\le i\le n$

$T_K$

$X={\Bbb F}_q^d$

$K(x^i,x^j)$

$x^i-x^j$

The main purpose of this paper is to prove Hörmander’s $L^p$–$L^q$ boundedness of Fourier multipliers on commutative hypergroups. We carry out this objective by establishing the Paley inequality and Hausdorff–Young–Paley inequality for commutative hypergroups. We show the $L^p$–$L^q$ boundedness of the spectral multipliers for the generalised radial Laplacian by examining our results on Chébli–Trimèche hypergroups. As a consequence, we obtain embedding theorems and time asymptotics for the $L^p$–$L^q$ norms of the heat kernel for generalised radial Laplacian.

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 establish new local and global estimates for evolutionary partial differential equations in classical Banach and quasi-Banach spaces that appear most frequently in the theory of partial differential equations. More specifically, we obtain optimal (local in time) estimates for the solution to the Cauchy problem for variable-coefficient evolutionary partial differential equations. The estimates are achieved by introducing the notions of Schrödinger and general oscillatory integral operators with inhomogeneous phase functions and prove sharp local and global regularity results for these in Besov–Lipschitz and Triebel–Lizorkin spaces.

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$.

We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.

For the kernel $B_{\kappa ,a}(x,y)$ of the $(\kappa ,a)$-generalized Fourier transform $\mathcal {F}_{\kappa ,a}$, acting in $L^{2}(\mathbb {R}^{d})$ with the weight $|x|^{a-2}v_{\kappa }(x)$, where $v_{\kappa }$ is the Dunkl weight, we study the important question of when $\|B_{\kappa ,a}\|_{\infty }=B_{\kappa ,a}(0,0)=1$. The positive answer was known for $d\ge 2$ and $\frac {2}{a}\in \mathbb {N}$. We investigate the case $d=1$ and $\frac {2}{a}\in \mathbb {N}$. Moreover, we give sufficient conditions on parameters for $\|B_{\kappa ,a}\|_{\infty }>1$ to hold with $d\ge 1$ and any a.

We also study the image of the Schwartz space under the $\mathcal {F}_{\kappa ,a}$ transform. In particular, we obtain that $\mathcal {F}_{\kappa ,a}(\mathcal {S}(\mathbb {R}^d))=\mathcal {S}(\mathbb {R}^d)$ only if $a=2$. Finally, extending the Dunkl transform, we introduce nondeformed transforms generated by $\mathcal {F}_{\kappa ,a}$ and study their main properties.

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.

Let $\mathcal {M}$ be an Ahlfors $n$-regular Riemannian manifold such that either the Ricci curvature is non-negative or the Ricci curvature is bounded from below together with a bound on the gradient of the heat kernel. In the paper [IMRN, 2022, no. 2, 1245-1269] of Brazke–Schikorra–Sire, the authors characterised the BMO function $u : \mathcal {M} \to \mathbb {R}$ by a Carleson measure condition of its $\sigma$-harmonic extension $U:\mathcal {M}\times \mathbb {R}_+ \to \mathbb {R}$. This paper is concerned with the similar problem under a more general Dirichlet metric measure space setting, and the limiting behaviours of BMO & Carleson measure, where the heat kernel admits only the so-called diagonal upper estimate. More significantly, without the Ricci curvature condition, we relax the Ahlfors regularity to a doubling property, and remove the pointwise bound on the gradient of the heat kernel. Some similar results for the Lipschitz function are also given, and two open problems related to our main result are considered.

In this paper, we study the behaviours of the commutators $[\vec b,\,T]$ generated by multilinear Calderón–Zygmund operators $T$ with $\vec b=(b_1,\,\ldots,\,b_m)\in L_{\rm loc}(\mathbb {R}^n)$ on weighted Hardy spaces. We show that for some $p_i\in (0,\,1]$ with $1/p=1/p_1+\cdots +1/p_m$, $\omega \in A_\infty$ and $b_i\in \mathcal {BMO}_{\omega,p_i}$ ($1\le i\le m$), which are a class of non-trivial subspaces of ${\rm BMO}$, the commutators $[\vec b,\,T]$ are bounded from $H^{p_1}(\omega )\times \cdots \times H^{p_m}(\omega )$ to $L^p(\omega )$. Meanwhile, we also establish the corresponding results for a class of maximal truncated multilinear commutators $T_{\vec b}^*$.

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.

We prove Lp norm convergence for (appropriate truncations of) the Fourier series arising from the Dirichlet Laplacian eigenfunctions on three types of triangular domains in $\mathbb{R}^2$: (i) the 45-90-45 triangle, (ii) the equilateral triangle and (iii) the hemiequilateral triangle (i.e. half an equilateral triangle cut along its height). The limitations of our argument to these three types are discussed in light of Lamé’s Theorem and the image method.

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.