Let $n\ge2$, $s\in(0,1)$, and $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. In this paper, we investigate the global (higher-order) Sobolev regularity of weak solutions to the fractional Dirichlet problem

\begin{equation*}\begin{cases}(-\Delta)^su=f \ \ & \text{in}\ \ \Omega,\\u=0 \ \ & \text{in}\ \ \mathbb{R}^n\setminus\Omega.\end{cases}\end{equation*}

Precisely, we prove that there exists a positive constant $\varepsilon\in(0,s]$ depending on n, s, and the Lipschitz constant of Ω such that, for any $t\in[\varepsilon,\min\{1+\varepsilon,2s\})$, when $f\in L^q(\Omega)$ with some $q\in(\frac{n}{2s-t},\infty]$, the weak solution u satisfies

\begin{equation*}\|u\|_{W^{t,p}(\mathbb{R}^n)}\le C\|f\|_{L^q(\Omega)}\end{equation*}

for all $p\in[1,\frac{1}{t-\varepsilon})$. In particular, when Ω is a bounded C1 domain or a bounded Lipschitz domain satisfying the uniform exterior ball condition, the aforementioned global regularity estimates hold with $\varepsilon=s$ and they are sharp in this case. Moreover, if Ω is a bounded $C^{1,\kappa}$ domain with $\kappa\in(0,s)$ or a bounded Lipschitz domain satisfying the uniform exterior ball condition, we further show the global BMO-Sobolev regularity estimate

\begin{equation*}\left\|(-\Delta)^{\frac{s}{2}}u\right\|_{\mathrm{BMO}(\mathbb{R}^n)}+\left\|\nabla^{s}u\right\|_{\mathrm{BMO}(\mathbb{R}^n)}\le C\|f\|_{L^q(\Omega)}\end{equation*}

for some $q\in(\frac{n}{s},\infty]$, which is sharp in the sense that the BMO norm can not be improved to the $L^\infty$ norm.

By methods of harmonic analysis, we identify large classes of Banach spaces invariant of periodic Fourier multipliers with symbols satisfying the classical Marcinkiewicz type conditions. Such classes include general (vector-valued) Banach function spaces Φ and/or the scales of Besov and Triebel–Lizorkin spaces defined on the basis of Φ.

We apply these results to the study of the well-posedness and maximal regularity property of an abstract second-order integro-differential equation, which models various types of elliptic and parabolic problems arising in different areas of applied mathematics. In particular, under suitable conditions imposed on a convolutor c and the geometry of an underlying Banach space X, we characterize the conditions on the operators A, B, and P on X such that the following periodic problem

\begin{equation*}\partial P \partial u + B \partial u + {A} u + c \ast u = f \qquad \textrm{in } {\mathcal D}'({\mathbb{T}}; X)\end{equation*}

is well-posed with respect to large classes of function spaces. The obtained results extend the known theory on the maximal regularity of such problem.

A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty $, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten p-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman’s celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers – even in the lack of a Fourier transform connection – and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents.

Let $n\ge 2$ and $\mathcal {L}=-\mathrm {div}(A\nabla \cdot )$ be an elliptic operator on $\mathbb {R}^n$. Given an exterior Lipschitz domain $\Omega $, let $\mathcal {L}_D$ be the elliptic operator $\mathcal {L}$ on $\Omega $ subject to the Dirichlet boundary condition. Previously, it was known that the Riesz transform $\nabla \mathcal {L}_D^{-1/2}$ is not bounded for $p>2$ and $p\ge n$, even if $\mathcal {L}=\Delta $ is the Laplace operator and $\Omega $ is a domain outside a ball. Suppose that A are CMO coefficients or VMO coefficients satisfying certain perturbation property, and $\partial \Omega $ is $C^1$. We prove that for $p>2$ and $p\in [n,\infty )$, it holds that

$$ \begin{align*}\inf_{\phi\in\mathcal{K}_p(\mathcal{L}_D^{1/2})}\left\|\nabla (f-\phi)\right\|_{L^p(\Omega)}\sim \left\|\mathcal{L}^{1/2}_D f\right\|_{L^p(\Omega)} \end{align*} $$

for $f\in \mathring {W}^{1,p}(\Omega )$. Here, $\mathcal {K}_p(\mathcal {L}_D^{1/2})$ is the kernel of $\mathcal {L}_D^{1/2}$ in $\mathring {W}^{1,p}(\Omega )$, which coincides with $\tilde {\mathcal {A}}^p_0(\Omega ):=\{f\in \mathring {W}^{1,p}(\Omega ):\ \mathcal {L}_Df=0\}$ and is a one-dimensional subspace. As an application, we provide a substitution of $L^p$-boundedness of $\sqrt {t}\nabla e^{-t\mathcal {L}_D}$ which is uniform in t for $p\ge n$ and $p>2$.

In this article, motivated by the regularity theory of the solutions of doubly nonlinear parabolic partial differential equations, the authors introduce the off-diagonal two-weight version of the parabolic Muckenhoupt class with time lag. Then the authors introduce the uncentered parabolic fractional maximal operator with time lag and characterize its two-weighted boundedness (including the endpoint case) in terms of these weights under an additional mild assumption (which is not necessary for one-weight case). The most novelty of this article exists in that the authors further introduce a new parabolic shaped domain and its corresponding parabolic fractional integral with time lag and, moreover, applying the aforementioned (two-)weighted boundedness of the parabolic fractional maximal operator with time lag, the authors characterize the (two-)weighted boundedness (including the endpoint case) of these parabolic fractional integrals in terms of the off-diagonal (two-weight) parabolic Muckenhoupt class with time lag; as applications, the authors further establish a parabolic weighted Sobolev embedding and a priori estimate for the solution of the heat equation. The key tools to achieve these include the parabolic Calderón–Zygmund-type decomposition, the chaining argument, and the parabolic Welland inequality, which is obtained by making the utmost of the geometrical relation between the parabolic shaped domain and the parabolic rectangle.

In this article, the authors consider the boundedness on Triebel–Lizorkin spaces for the d-dimensional Calderón commutator defined by

$$ \begin{align*}T_{\Omega,a}f(x)=\mathrm{p.\,v.}\int_{\mathbb{R}^d}\frac{\Omega(x-y)}{|x-y|^{d+1}}\big(a(x)-a(y)\big)f(y){d}y,\end{align*} $$

$\Omega $

$S^{d-1}$

$\mathbb {R}^d$

$$ \begin{align*}\sup_{\zeta\in S^{d-1}}\int_{S^{d-1}}|\Omega(\theta)|\log ^{\beta} \big(\frac{1}{|\theta\cdot\zeta|}\big)d\theta<\infty\end{align*} $$

$\beta \in (1,\,\infty )$

$T_{\Omega ,a}$

$\dot {F}_{p}^{0,q}(\mathbb {R}^d)$

$1+\frac {1}{2\beta -1}<p,q<2\beta $

Let G be the Lie group ${\mathbb{R}}^2\rtimes {\mathbb{R}}^+$ endowed with the Riemannian symmetric space structure. Take a distinguished basis $X_0,\, X_1,\,X_2$ of left-invariant vector fields of the Lie algebra of G, and consider the Laplacian $\Delta=-\sum_{i=0}^2X_i^2$ and the first-order Riesz transforms $\mathcal R_i=X_i\Delta^{-1/2}$, $i=0,1,2$. We first show that the atomic Hardy space H1 in G introduced by the authors in a previous paper does not admit a characterization in terms of the Riesz transforms $\mathcal R_i$. It is also proved that two of these Riesz transforms are bounded from H1 to H1.

We establish hyperweak boundedness of area functions, square functions, maximal operators, and Calderón–Zygmund operators on products of two stratified Lie groups.

Let $2\leq p<\infty $ and X be a complex infinite-dimensional Banach space. It is proved that if X is p-uniformly PL-convex, then there is no nontrivial bounded Volterra operator from the weak Hardy space $\mathscr {H}^{\text {weak}}_p(X)$ to the Hardy space $\mathscr {H}^+_p(X)$ of vector-valued Dirichlet series. To obtain this, a Littlewood–Paley inequality for Dirichlet series is established.

We characterize the functions with ‘small’ bounded mean oscillation (BMO) norm by establishing the precise connection between the space BMO and class $A_\infty$ of Muckenhoupt weights. We prove that there exists a universal constant $c^*_2$ such that $\Vert f \Vert_{BMO} \lt c^*_2$ if and only if $\exp f \in A_2$, where $c^*_2$ is the sharp constant in the John and Nirenberg inequality. Similarly, in dimension one, we prove that $\Vert f \Vert_{BLO} \lt 1$ if and only if $\exp f \in A_1$. As application we introduce a structure of metric space in $A_\infty$ and prove that the closed unit ball of $A_\infty$ is a Banach space.

We enrich the class of power-constructible functions, introduced in [CCRS23], to a class $\mathcal {C}^{\mathcal {M,F}}$ of algebras of functions which contains all complex powers of subanalytic functions and their parametric Mellin and Fourier transforms, and which is stable under parametric integration. By describing a set of generators of a special prepared form, we deduce information on the asymptotics and on the loci of integrability of the functions of $\mathcal {C}^{\mathcal {M,F}}$. We furthermore identify a subclass $\mathcal {C}^{\mathbb {C},\mathcal {F}}$ of $\mathcal {C}^{\mathcal {M,F}}$, which is the smallest class containing all power-constructible functions and stable under parametric Fourier transforms and right-composition with subanalytic maps. This class is also stable under parametric integration, under taking pointwise and $\text {L}^p$-limits and under parametric Fourier-Plancherel transforms. Finally, we give a full asymptotic expansion in the power-logarithmic scale, uniformly in the parameters, for functions in $\mathcal {C}^{\mathbb {C},\mathcal {F}}$.

Let $L=-\Delta +V$ be a Schrödinger operator in ${\mathbb R}^n$ with $n\geq 3$, where $\Delta $ is the Laplace operator denoted by $\Delta =\sum ^{n}_{i=1}({\partial ^{2}}/{\partial x_{i}^{2}})$ and the nonnegative potential V belongs to the reverse Hölder class $(RH)_{q}$ with $q>n/2$. For $\alpha \in (0,1)$, we define the operator

$$ \begin{align*} T_N^{L^{\alpha}} f(x) =\sum_{j=N_1}^{N_2} v_j(e^{-a_{j+1}L^\alpha} f(x)-e^{-a_{j}L^\alpha} f(x)) \quad \mbox{for all }x\in \mathbb R^n, \end{align*} $$

where $\{e^{-tL^\alpha } \}_{t>0}$ is the fractional heat semigroup of the operator L, $\{v_j\}_{j\in \mathbb Z}$ is a bounded real sequence and $\{a_j\}_{j\in \mathbb Z}$ is an increasing real sequence.

We investigate the boundedness of the operator $T_N^{L^{\alpha }}$ and the related maximal operator $T^*_{L^{\alpha }}f(x):=\sup _N \vert T_N^{L^{\alpha }} f(x)\vert $ on the spaces $L^{p}(\mathbb {R}^{n})$ and $BMO_{L}(\mathbb {R}^{n})$, respectively. As extensions of $L^{p}(\mathbb {R}^{n})$, the boundedness of the operators $T_N^{L^{\alpha }}$ and $T^*_{L^{\alpha }}$ on the Morrey space $L^{\rho ,\theta }_{p,\kappa }(\mathbb {R}^{n})$ and the weak Morrey space $WL^{\rho ,\theta }_{1,\kappa }(\mathbb {R}^{n})$ has also been proved.

We present a new proof of the compactness of bilinear paraproducts with CMO symbols. By drawing an analogy to compact linear operators, we first explore further properties of compact bilinear operators on Banach spaces and present examples. We then prove compactness of bilinear paraproducts with CMO symbols by combining one of the properties of compact bilinear operators thus obtained with vanishing Carleson measure estimates and interpolation of bilinear compactness.

Given a non-negative integer n and a ring R with identity, we construct a hereditary abelian model structure on the category of left R-modules where the class of cofibrant objects coincides with $\mathcal{GF}_n(R)$ the class of left R-modules with Gorenstein flat dimension at most n, the class of fibrant objects coincides with $\mathcal{F}_n(R)^\perp$ the right ${\rm Ext}$-orthogonal class of left R-modules with flat dimension at most n, and the class of trivial objects coincides with $\mathcal{PGF}(R)^\perp$ the right ${\rm Ext}$-orthogonal class of PGF left R-modules recently introduced by Šaroch and . The homotopy category of this model structure is triangulated equivalent to the stable category $\underline{\mathcal{GF}(R)\cap\mathcal{C}(R)}$ modulo flat-cotorsion modules and it is compactly generated when R has finite global Gorenstein projective dimension.

The second part of this paper deals with the PGF dimension of modules and rings. Our results suggest that this dimension could serve as an alternative definition of the Gorenstein projective dimension. We show, among other things, that (n-)perfect rings can be characterized in terms of Gorenstein homological dimensions, similar to the classical ones, and the global Gorenstein projective dimension coincides with the global PGF dimension.

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.

Using the technique of Gabor analysis, we characterize the boundedness of $e^{i\Delta }: W^{p_1,q_1}_m\rightarrow W^{p_2,q_2}$ with modulation and translation operators, where and m is a v-moderate weight. The sharp exponents for the boundedness are also characterized in the case of power weight.

We consider a class of nonhomogeneous elliptic equations in the half-space with critical singular boundary potentials and nonlinear fractional derivative terms. The forcing terms are considered on the boundary and can be taken as singular measure. Employing a functional setting and approach based on localization-in-frequency and Littlewood–Paley decomposition, we obtain results on solvability, regularity, and symmetry of solutions.

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 study the most general class of eigenfunction expansions for abstract normal operators with pure point spectrum in a complex Hilbert space. We find sufficient conditions for such expansions to be unconditionally convergent in spaces with two norms and also estimate the degree of this convergence. Our result essentially generalizes and complements the known theorems of Krein and of Krasnosel'skiĭ and Pustyl'nik. We apply it to normal elliptic pseudodifferential operators on compact boundaryless $C^{\infty }$-manifolds. We find generic conditions for eigenfunction expansions induced by such operators to converge unconditionally in the Sobolev spaces $W^{\ell }_{p}$ with $p\gt 2$ or in the spaces $C^{\ell }$ (specifically, for the $p$-th mean or uniform convergence on the manifold). These conditions are sufficient and necessary for the indicated convergence on Sobolev or Hörmander function classes and are given in terms of parameters characterizing these classes. We also find estimates for the degree of the convergence on such function classes. These results are new even for differential operators on the circle and for multiple Fourier series.