BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dachun Yang

Dachun Yang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.CAmath.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
28works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2026arXiv

A Sharp Localized Weighted Inequality Related to Gagliardo and Sobolev Seminorms and Its Applications

In this article, we establish a nearly sharp localized weighted inequality related to Gagliardo and Sobolev seminorms, respectively, with the sharp $A_1$-weight constant or with the specific $A_p$-weight constant when $p\in (1,\infty)$. As applications, we further obtain a new characterization of Muckenhoupt weights and, in the framework of ball Banach function spaces, an inequality related to Gagliardo and Sobolev seminorms on cubes, a Gagliardo--Nirenberg interpolation inequality, and a Bourgain--Brezis--Mironescu formula. All these obtained results have wide generality and are proved to be (nearly) sharp. The original version of this article was published in [Adv. Math. 481 (2025), Paper No. 110537]. In this revised version, we correct an error appeared in Theorem 1.1 in the case where $p=1$, which was pointed out to us by Emiel Lorist.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Measure Characterization of Embedding and Extension Domains for Sobolev, Triebel-Lizorkin, and Besov Spaces on Spaces of Homogeneous Type

In this article, for an optimal range of the smoothness parameter $s$ that depends (quantitatively) on the geometric makeup of the underlying space, the authors identify purely measure theoretic conditions that fully characterize embedding and extension domains for the scale of Hajłasz--Triebel--Lizorkin spaces $M^s_{p,q}$ and Hajłasz--Besov spaces $N^s_{p,q}$ in general spaces of homogeneous type. Although stated in the context of quasi-metric spaces, these characterizations improve related work even in the metric setting. In particular, as a corollary of the main results in this article, the authors obtain a new characterization for Sobolev embedding and extension domains in the context of general doubling metric measure spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Boundedness of Calderón--Zygmund operators on ball Campanato-type function spaces

Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ satisfying some mild assumptions. In this article, the authors first find a reasonable version $\widetilde{T}$ of the Calderón--Zygmund operator $T$ on the ball Campanato-type function space $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ with $q\in[1,\infty)$, $s\in\mathbb{Z}_+^n$, and $d\in(0,\infty)$. Then the authors prove that $\widetilde{T}$ is bounded on $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ if and only if, for any $γ\in\mathbb{Z}^n_+$ with $|γ|\leq s$, $T^*(x^γ)=0$, which is hence sharp. Moreover, $\widetilde{T}$ is proved to be the adjoint operator of $T$, which further strengthens the rationality of the definition of $\widetilde{T}$. All these results have a wide range of applications. In particular, even when they are applied, respectively, to weighted Lebesgue spaces, variable Lebesgue spaces, Orlicz spaces, Orlicz-slice spaces, Morrey spaces, mixed-norm Lebesgue spaces, local generalized Herz spaces, and mixed-norm Herz spaces, all the obtained results are new. The proofs of these results strongly depend on the properties of the kernel of $T$ under consideration and also on the dual theorem on $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Boundedness of Fractional Integrals on Ball Campanato-Type Function Spaces

Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ satisfying some mild assumptions and let $α\in(0,n)$ and $β\in(1,\infty)$. In this article, when $α\in(0,1)$, the authors first find a reasonable version $\widetilde{I}_α$ of the fractional integral $I_α$ on the ball Campanato-type function space $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ with $q\in[1,\infty)$, $s\in\mathbb{Z}_+^n$, and $d\in(0,\infty)$. Then the authors prove that $\widetilde{I}_α$ is bounded from $\mathcal{L}_{X^β,q,s,d}(\mathbb{R}^n)$ to $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ if and only if there exists a positive constant $C$ such that, for any ball $B\subset \mathbb{R}^n$, $|B|^{\fracα{n}}\leq C \|\mathbf{1}_B\|_X^{\frac{β-1}β}$, where $X^β$ denotes the $β$-convexification of $X$. Furthermore, the authors extend the range $α\in(0,1)$ in $\widetilde{I}_α$ to the range $α\in(0,n)$ and also obtain the corresponding boundedness in this case. Moreover, $\widetilde{I}_α$ is proved to be the adjoint operator of $I_α$. All these results have a wide range of applications. Particularly, even when they are applied, respectively, to Morrey spaces, mixed-norm Lebesgue spaces, local generalized Herz spaces, and mixed-norm Herz spaces, all the obtained results are new. The proofs of these results strongly depend on the dual theorem on $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ and also on the special atomic decomposition of molecules of $H_X(\mathbb{R}^n)$ (the Hardy-type space associated with $X$) which proves the predual space of $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Boundedness of Fractional Integrals on Hardy Spaces Associated with Ball Quasi-Banach Function Spaces

Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and $H_X({\mathbb R}^n)$ the Hardy space associated with $X$, and let $α\in(0,n)$ and $β\in(1,\infty)$. In this article, assuming that the (powered) Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$ and is bounded on the associate space of $X$, the authors prove that the fractional integral $I_α$ can be extended to a bounded linear operator from $H_X({\mathbb R}^n)$ to $H_{X^β}({\mathbb R}^n)$ if and only if there exists a positive constant $C$ such that, for any ball $B\subset \mathbb{R}^n$, $|B|^{\fracα{n}}\leq C \|\mathbf{1}_B\|_X^{\frac{β-1}β}$, where $X^β$ denotes the $β$-convexification of $X$. Moreover, under some different reasonable assumptions on both $X$ and another ball quasi-Banach function space $Y$, the authors also consider the mapping property of $I_α$ from $H_X({\mathbb R}^n)$ to $H_Y({\mathbb R}^n)$ via using the extrapolation theorem. All these results have a wide range of applications. Particularly, when these are applied, respectively, to Morrey spaces, mixed-norm Lebesgue spaces, local generalized Herz spaces, and mixed-norm Herz spaces, all these results are new. The proofs of these theorems strongly depend on atomic and molecular characterizations of $H_X({\mathbb R}^n)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Brezis--Van Schaftingen--Yung Formulae in Ball Banach Function Spaces with Applications to Fractional Sobolev and Gagliardo--Nirenberg Inequalities

Let $X$ be a ball Banach function space on ${\mathbb R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on the associate space of the convexification of $X$, the authors prove that, for any locally integrable function $f$ with $\|\,|\nabla f|\,\|_{X}<\infty$, $$\sup_{λ\in(0,\infty)}λ\left \|\left|\left\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >λ|\cdot-y|^{\frac{n}{q}+1}\right\}\right|^{\frac{1}{q}} \right\|_X\sim \|\,|\nabla f|\,\|_X$$ with the positive equivalence constants independent of $f$, where the index $q\in(0,\infty)$ is related to $X$ and $|\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >λ|\cdot-y|^{\frac{n}{q}+1}\}|$ is the Lebesgue measure of the set under consideration. In particular, when $X:=L^p({\mathbb R}^n)$ with $p\in [1,\infty)$, the above formulae hold true for any given $q\in (0,\infty)$ with $n(\frac{1}{p}-\frac{1}{q})<1$, which when $q=p$ are exactly the recent surprising formulae of H. Brezis, J. Van Schaftingen, and P.-L. Yung, and which in other cases are new. This generalization has a wide range of applications and, particularly, enables the authors to establish new fractional Sobolev and new Gagliardo--Nirenberg inequalities in various function spaces, including Morrey spaces, mixed-norm Lebesgue spaces, variable Lebesgue spaces, weighted Lebesgue spaces, Orlicz spaces, and Orlicz-slice (generalized amalgam) spaces, and, even in all these special cases, the obtained results are new. The proofs of these results strongly depend on the Poincaré inequality, the extrapolation, the exact operator norm on $X&#39;$ of the Hardy--Littlewood maximal operator, and the exquisite geometry of $\mathbb{R}^n.$

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Estimates for Littlewood--Paley Operators on Ball Campanato-Type Function Spaces

Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and assume that the Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$, and let $q\in[1,\infty)$ and $d\in(0,\infty)$. In this article, the authors prove that, for any $f\in \mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$ (the ball Campanato-type function space associated with $X$), the Littlewood--Paley $g$-function $g(f)$ is either infinite everywhere or finite almost everywhere and, in the latter case, $g(f)$ is bounded on $\mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$. Similar results for both the Lusin-area function and the Littlewood--Paley $g_λ^*$-function are also obtained. All these results have a wide range of applications. Particularly, even when $X$ is the weighted Lebesgue space, or the mixed-norm Lebesgue space, or the variable Lebesgue space, or the Orlicz space, or the Orlicz-slice space, all these results are new. The proofs of all these results strongly depend on several delicate estimates of Littlewood--Paley operators on the mean oscillation of the locally integrable function $f$ on $\mathbb{R}^n$. Moreover, the same ideas are also used to obtain the corresponding results for the special John--Nirenberg--Campanato space via congruent cubes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Global Gradient Estimates for Dirichlet Problems of Elliptic Operators with a BMO Anti-Symmetric Part

Let $n\ge2$ and $Ω\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $Ω$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse Hölder inequality with exponent $p$ implies the global $W^{1,p}$ estimate and the global weighted $W^{1,q}$ estimate, with $q\in[2,p]$ and some Muckenhoupt weights, of solutions to Dirichlet boundary value problems. As applications, the authors establish some global gradient estimates for solutions to Dirichlet boundary value problems of second order elliptic equations of divergence form with small $\mathrm{BMO}$ symmetric part and small $\mathrm{BMO}$ anti-symmetric part, respectively, on bounded Lipschitz domains, quasi-convex domains, Reifenberg flat domains, $C^1$ domains, or (semi-)convex domains, in weighted Lebesgue spaces. Furthermore, as further applications, the authors obtain the global gradient estimate, respectively, in (weighted) Lorentz spaces, (Lorentz--)Morrey spaces, (Musielak--)Orlicz spaces, and variable Lebesgue spaces. Even on global gradient estimates in Lebesgue spaces, the results obtained in this article improve the known results via weakening the assumption on the coefficient matrix.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Heat Kernels and Hardy Spaces on Non-Tangentially Accessible Domains with Applications to Global Regularity of Inhomogeneous Dirichlet Problems

Let $n\ge2$ and $Ω$ be a bounded non-tangentially accessible domain (for short, NTA domain) of $\mathbb{R}^n$. Assume that $L_D$ is a second-order divergence form elliptic operator having real-valued, bounded, measurable coefficients on $L^2(Ω)$ with the Dirichlet boundary condition. The main aim of this article is threefold. First, the authors prove that the heat kernels $\{K_t^{L_D}\}_{t>0}$ generated by $L_D$ are Hölder continuous. Second, for any $p\in(0,1]$, the authors introduce the `geometrical&#39; Hardy space $H^p_r(Ω)$ by restricting any element of the Hardy space $H^p(\mathbb{R}^n)$ to $Ω$, and show that, when $p\in(\frac{n}{n+δ_0},1]$, $H^p_r(Ω)=H^p(Ω)=H^p_{L_D}(Ω)$ with equivalent quasi-norms, where $H^p(Ω)$ and $H^p_{L_D}(Ω)$ respectively denote the Hardy space on $Ω$ and the Hardy space associated with $L_D$, and $δ_0\in(0,1]$ is the critical index of the Hölder continuity for the kernels $\{K_t^{L_D}\}_{t>0}$. Third, as applications, the authors obtain the global gradient estimates in both $L^p(Ω)$, with $p\in(1,p_0)$, and $H^p_z(Ω)$, with $p\in(\frac{n}{n+1},1]$, for the inhomogeneous Dirichlet problem of second-order divergence form elliptic equations on bounded NTA domains, where $p_0\in(2,\infty)$ is a constant depending only on $n$, $Ω$, and the coefficient matrix of $L_D$. It is worth pointing out that the range $p\in(1,p_0)$ for the global gradient estimate in the scale of Lebesgue spaces $L^p(Ω)$ is sharp and the above results are established without any additional assumptions on both the coefficient matrix of $L_D$, and the domain $Ω$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

John-Nirenberg inequalities for parabolic BMO

We discuss a parabolic version of the space of functions of bounded mean oscillation related to a doubly nonlinear parabolic partial differential equation. Parabolic John-Nirenberg inequalities, which give exponential decay estimates for the oscillation of a function, are shown in the natural geometry of the partial differential equation. Chaining arguments are applied to change the time lag in the parabolic John-Nirenberg inequality. We also show that the quasihyperbolic boundary condition is a necessary and sufficient condition for a global parabolic John-Nirenberg inequality. Moreover, we consider John-Nirenberg inequalities with medians instead of integral averages and show that this approach gives the same class of functions as the original definition.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Maximal Function and Riesz Transform Characterizations of Hardy Spaces Associated with Homogeneous Higher Order Elliptic Operators and Ball Quasi-Banach Function Spaces

Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range of generality and can be applied to the weighted Hardy space, the variable Hardy space, the mixed-norm Hardy space, the Orlicz--Hardy space, the Orlicz-slice Hardy space, and the Morrey--Hardy space, associated with $L$. In particular, even when $L$ is a second order divergence form elliptic operator, both the maximal function and the Riesz transform characterizations of the mixed-norm Hardy space, the Orlicz-slice Hardy space, and the Morrey--Hardy space, associated with $L$, obtained in this article, are totally new.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Mixed-Norm Herz Spaces and Their Applications in Related Hardy Spaces

In this article, the authors introduce a class of mixed-norm Herz spaces, $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$, which is a natural generalization of mixed Lebesgue spaces and some special cases of which naturally appear in the study of the summability of Fourier transforms on mixed-norm Lebesgue spaces. The authors also give their dual spaces and obtain the Riesz-Thorin interpolation theorem on $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$. Applying these Riesz-Thorin interpolation theorem and using some ideas from the extrapolation theorem, the authors establish both the boundedness of the Hardy-Littlewood maximal operator and the Fefferman-Stein vector-valued maximal inequality on $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$. As applications, the authors develop various real-variable theory of Hardy spaces associated with $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$ by using the existing results of Hardy spaces associated with ball quasi-Banach function spaces. These results strongly depend on the duality of $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$ and the non-trivial constructions of auxiliary functions in the Riesz-Thorin interpolation theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Optimal Embeddings for Triebel-Lizorkin and Besov Spaces on Quasi-Metric Measure Spaces

In this article, via certain lower bound conditions on the measures under consideration, the authors fully characterize the Sobolev embeddings for the scales of Hajłasz-Triebel-Lizorkin and Hajłasz-Besov spaces in the general context of quasi-metric measure spaces for an optimal range of the smoothness parameter $s$. An interesting facet of this work is how the range of $s$ for which the above characterizations of these embeddings hold true is intimately linked (in a quantitative manner) to the geometric makeup of the underlying space. Moreover, although stated for Hajłasz-Triebel-Lizorkin and Hajłasz-Besov spaces in the context of quasi-metric spaces, the main results in this article improve known work even for Sobolev spaces in the metric setting.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Parabolic Muckenhoupt Weights on Spaces of Homogeneous Type

This work discusses parabolic Muckenhoupt weights on spaces of homogeneous type, i.e.\ quasi-metric spaces with both a doubling measure and an additional monotone geodesic property. The main results include a characterization in terms of weighted norm inequalities for parabolic maximal operators, a reverse Hölder inequality, and a Jones-type factorization result for this class of weights. The connection between the space of parabolic bounded mean oscillation and parabolic Muckenhoupt weights is studied by applying a parabolic John--Nirenberg lemma. A Coifman--Rochberg-type characterization of the space of parabolic bounded mean oscillation in terms of parabolic maximal functions is also given. The main challenges in the parabolic theory are related to the time lag in the estimates. The results are motivated by the corresponding Euclidean theory and the regularity theory for parabolic variational problems on metric measure spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Pointwise Characterization of Besov and Triebel-Lizorkin Spaces on Spaces of Homogeneous Type

In this article, the authors establish the pointwise characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type via clarifying the relationship among Hajłasz-Sobolev spaces, Hajłasz-Besov and Hajłasz-Triebel-Lizorkin spaces, grand Besov and Triebel-Lizorkin spaces, and Besov and Triebel-Lizorkin spaces. A major novelty of this article is that all results presented in this article get rid of both the dependence on the reverse doubling condition of the measure and the metric condition of the quasi-metric under consideration. Moreover, the pointwise characterization of the inhomogeneous version is new even when the underlying space is an RD-space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Real-Variable Characterizations and Their Applications of Matrix-Weighted Triebel--Lizorkin Spaces

Let $α\in\mathbb R$, $q\in(0,\infty]$, $p\in(0,\infty)$, and $W$ be an $A_p(\mathbb{R}^n,\mathbb{C}^m)$-matrix weight. In this article, the authors characterize the matrix-weighted Triebel-Lizorkin space $\dot{F}_{p}^{α,q}(W)$ via the Peetre maximal function, the Lusin area function, and the Littlewood-Paley $g_λ^{*}$-function. As applications, the authors establish the boundedness of Fourier multipliers on matrix-weighted Triebel-Lizorkin spaces under the generalized Hörmander condition. The main novelty of these results exists in that their proofs need to fully use both the doubling property of matrix weights and the reducing operator associated to matrix weights, which are essentially different from those proofs of the corresponding cases of classical Triebel-Lizorkin spaces that strongly depend on the Fefferman-Stein vector-valued maximal inequality on Lebesgue spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Real-Variable Theory of Hardy Spaces Associated with Generalized Herz Spaces of Rafeiro and Samko

This book is devoted to exploring properties of generalized Herz spaces and establishing a complete real-variable theory of Hardy spaces associated with local and global generalized Herz spaces via a totally fresh perspective which means that the authors view these generalized Herz spaces as special cases of ball quasi-Banach function spaces. To be precise, in this book, the authors first study some basic properties of generalized Herz spaces and obtain boundedness and compactness characterizations of commutators on them. Then the authors introduce the associated Herz-Hardy spaces, local Herz-Hardy spaces, and weak Herz-Hardy spaces, and develop a complete real-variable theory of these Herz-Hardy spaces, including their various maximal function, atomic, finite atomic, molecular as well as various Littlewood-Paley function characterizations. As applications, the authors establish the boundedness of some important operators arising from harmonic analysis on these Herz-Hardy spaces. Finally, the inhomogeneous Herz-Hardy spaces and their complete real-variable theory are also investigated. Due to the deficiency of the associate space of the global Herz space, the known real-variable characterizations about Hardy-type spaces associated with ball quasi-Banach function spaces are not applicable to Hardy spaces associated with global generalized Herz spaces which need an improved generalization of the existing one, done by the authors also in this book and having more additional anticipating applications. The authors should also point out that, with the fresh perspective and the improved conclusions on the real-variable theory of Hardy spaces associated with ball quasi-Banach function spaces, the exponents in all the obtained results of this book are sharp. Moreover, all of these results in this book are new and have never been published before.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Riesz Transform Characterization of Hardy Spaces Associated with Ball Quasi-Banach Function Spaces

Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among $H_X(\mathbb{R}^n)$, $H_{X,2}(\mathbb{R}^{n+1}_+)$, and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$, where $H_{X,2}(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$ are, respectively, certain subspaces of $H_X(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$. Using these isomorphisms, the authors establish the first order Riesz transform characterization of $H_X(\mathbb{R}^n)$. The higher order Riesz transform characterization of $H_X(\mathbb{R}^n)$ is also obtained. The results obtained in this article have a wide range of generality and can be applied to the classical Hardy space, the weighted Hardy space, the Herz-Hardy space, the Lorentz-Hardy space, the variable Hardy space, the mixed-norm Hardy space, the local generalized Herz-Hardy space, and the mixed-norm Herz-Hardy space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The $L^p$-to-$L^q$ Compactness of Commutators with $p>q$

Let $1<q<p<\infty$, $\frac1r:=\frac1q-\frac1p$, and $T$ be a non-degenerate Calderón--Zygmund operator. We show that the commutator $[b,T]$ is compact from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$ if and only if the symbol $b=a+c$ with $a\in L^r({\mathbb R}^n)$ and $c$ being any constant. Since both the corresponding Hardy--Littlewood maximal operator and the corresponding Calderón--Zygmund maximal operator are not bounded from $L^p({\mathbb R}^n)$ to $L^q({\mathbb R}^n)$, we take the full advantage of the compact support of the approximation element in $C_{\rm c}^\infty({\mathbb R}^n)$, which seems to be redundant for many corresponding estimates when $p\leq q$ but to be crucial when $p>q$. We also extend the results to the multilinear case.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Weak Hardy Spaces Associated with Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type: Decompositions, Real Interpolation, and Calderón--Zygmund Operators

Let $(\mathbb{X},d,μ)$ be a space of homogeneous type in the sense of R. R. Coifman and G. Weiss, and $X(\mathbb{X})$ a ball quasi-Banach function space on $\mathbb{X}$. In this article, the authors introduce the weak Hardy space $WH_X(\mathbb{X})$ associated with $X(\mathbb{X})$ via the grand maximal function, and characterize $WH_X(\mathbb{X})$ by other maximal functions and atoms. The authors then apply these characterizations to obtain the real interpolation and the boundedness of Calderón--Zygmund operators in the critical case. The main novelties of this article exist in that the authors use the Aoki--Rolewicz theorem and both the dyadic system and the exponential decay of approximations of the identity on $\mathbb{X}$, which closely connect with the geometrical properties of $\mathbb{X}$, to overcome the difficulties caused by the absence of both the triangle inequality of $\|\cdot\|_{X(\mathbb{X})}$ and the reverse doubling assumption of the measure $μ$ under consideration, and also use the relation between the convexification of $X(\mathbb{X})$ and the weak space $WX(\mathbb{X})$ associated with $X(\mathbb{X})$ to prove that the infinite summation of atoms converges in the space of distributions on $\mathbb{X}$. Moreover, all these results have a wide range of generality and, particularly, even when they are applied to the weighted Lebesgue space, the Orlicz space, and the variable Lebesgue space, the obtained results are also new and, actually, some of them are new even on RD-spaces (namely, spaces of homogeneous type satisfying the additional reverse doubling condition).

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Compactness Characterizations of Commutators on Ball Banach Function Spaces

Let $X$ be a ball Banach function space on ${\mathbb R}^n$. Let $Ω$ be a Lipschitz function on the unit sphere of ${\mathbb R}^n$,which is homogeneous of degree zero and has mean value zero, and let $T_Ω$ be the convolutional singular integral operator with kernel $Ω(\cdot)/|\cdot|^n$. In this article, under the assumption that the Hardy--Littlewood maximal operator $\mathcal{M}$ is bounded on both $X$ and its associated space, the authors prove that the commutator $[b,T_Ω]$ is compact on $X$ if and only if $b\in{\rm CMO}({\mathbb R}^n)$. To achieve this, the authors mainly employ three key tools: some elaborate estimates, given in this article, on the norm in $X$ of the commutators and the characteristic functions of some measurable subset,which are implied by the assumed boundedness of ${\mathcal M}$ on $X$ and its associated space as well as the geometry of $\mathbb R^n$; the complete John--Nirenberg inequality in $X$ obtained by Y. Sawano et al.; the generalized Fréchet--Kolmogorov theorem on $X$ also established in this article. All these results have a wide range of applications. Particularly, even when $X:=L^{p(\cdot)}({\mathbb R}^n)$ (the variable Lebesgue space), $X:=L^{\vec{p}}({\mathbb R}^n)$ (the mixed-norm Lebesgue space), $X:=L^Φ({\mathbb R}^n)$ (the Orlicz space), and $X:=(E_Φ^q)_t({\mathbb R}^n)$ (the Orlicz-slice space or the generalized amalgam space), all these results are new.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Difference Characterization of Besov and Triebel-Lizorkin Spaces on Spaces of Homogeneous Type

In this article, the authors introduce the spaces of Lipschitz type on spaces of homogeneous type in the sense of Coifman and Weiss, and discuss their relations with Besov and Triebel-Lizorkin spaces. As an application, the authors establish the difference characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type. A major novelty of this article is that all results presented in this article get rid of the dependence on the reverse doubling assumption of the considered measure of the underlying space ${\mathcal X}$ via using the geometrical property of ${\mathcal X}$ expressed by its dyadic reference points, dyadic cubes, and the (local) lower bound. Moreover, some results when $p\le 1$ but near to $1$ are new even when ${\mathcal X}$ is an RD-space.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Functional Calculus on BMO-type Spaces of Bourgain, Brezis and Mironescu

A nonlinear superposition operator $T_g$ related to a Borel measurable function $g:\ {\mathbb C}\to {\mathbb C}$ is defined via $T_g(f):=g\circ f$ for any complex-valued function $f$ on ${\mathbb R^n}$. This article is devoted to investigating the mapping properties of $T_g$ on a new BMO type space recently introduced by Bourgain, Brezis and Mironescu [J. Eur. Math. Soc. (JEMS) 17 (2015), 2083-2101], as well as its VMO and CMO type subspaces. Some sufficient and necessary conditions for the inclusion result and the continuity property of $T_g$ on these spaces are obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bilinear Decomposition and Divergence-Curl Estimates on Products Related to Local Hardy Spaces and Their Dual Spaces

Let $p\in(0,1)$, $α:=1/p-1$ and, for any $τ\in [0,\infty)$, $Φ_{p}(τ):=τ/(1+τ^{1-p})$. Let $H^p(\mathbb R^n)$, $h^p(\mathbb R^n)$ and $Λ_{nα}(\mathbb{R}^n)$ be, respectively, the Hardy space, the local Hardy space and the inhomogeneous Lipschitz space on $\mathbb{R}^n$. In this article, applying the inhomogeneous renormalization of wavelets, the authors establish a bilinear decomposition for multiplications of elements in $h^p(\mathbb R^n)$ [or $H^p(\mathbb R^n)$] and $Λ_{nα}(\mathbb{R}^n)$, and prove that these bilinear decompositions are sharp in some sense. As applications, the authors also obtain some estimates of the product of elements in the local Hardy space $h^p(\mathbb R^n)$ with $p\in(0,1]$ and its dual space, respectively, with zero $\lfloor nα\rfloor$-inhomogeneous curl and zero divergence, where $\lfloor nα\rfloor$ denotes the largest integer not greater than $nα$. Moreover, the authors find new structures of $h^{Φ_p}(\mathbb R^n)$ and $H^{Φ_p}(\mathbb R^n)$ by showing that $h^{Φ_p}(\mathbb R^n)=h^1(\mathbb R^n)+h^p(\mathbb R^n)$ and $H^{Φ_p}(\mathbb R^n)=H^1(\mathbb R^n)+H^p(\mathbb R^n)$ with equivalent quasi-norms, and also prove that the dual spaces of both $h^{Φ_p}(\mathbb R^n)$ and $h^p(\mathbb R^n)$ coincide. These results give a complete picture on the multiplication between the local Hardy space and its dual space.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Real-Variable Characterizations of Local Orlicz-Slice Hardy Spaces with Application to Bilinear Decompositions

Recently, both the bilinear decompositions $h^1(\mathbb{R}^n)\times \mathrm{\,bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n)+h_\ast^Φ(\mathbb{R}^n)$ and $h^1(\mathbb{R}^n) \times \mathrm{bmo}(\mathbb{R}^n) \subset L^1 (\mathbb{R}^n) + h^{\log}(\mathbb{R}^n)$ were established. In this article, the authors prove in some sense that the former is sharp, while the latter is not. To this end, the authors first introduce the local Orlicz-slice Hardy space which contains the variant $h_\ast^Φ(\mathbb{R}^n)$ of the local Orlicz Hardy space introduced by A. Bonami and J. Feuto as a special case, and obtain its dual space by establishing its characterizations via atoms, finite atoms and various maximal functions, which are new even for $h_\ast^Φ(\mathbb R^n)$. The relationships $h_\ast^Φ(\mathbb{R}^n) \subsetneqq h^{\log}(\mathbb{R}^n)$ is also clarified.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Weighted Global Regularity Estimates for Elliptic Problems with Robin Boundary Conditions in Lipschitz Domains

Let $n\ge2$ and $Ω$ be a bounded Lipschitz domain in $\mathbb{R}^n$. In this article, the authors investigate global (weighted) estimates for the gradient of solutions to Robin boundary value problems of second order elliptic equations of divergence form with real-valued, bounded, measurable coefficients in $Ω$. More precisely, let $p\in(n/(n-1),\infty)$. Using a real-variable argument, the authors obtain two necessary and sufficient conditions for $W^{1,p}$ estimates of solutions to Robin boundary value problems, respectively, in terms of a weak reverse Hölder inequality with exponent $p$ or weighted $W^{1,q}$ estimates of solutions with $q\in(n/(n-1),p]$ and some Muckenhoupt weights. As applications, the authors establish some global regularity estimates for solutions to Robin boundary value problems of second order elliptic equations of divergence form with small $\mathrm{BMO}$ coefficients, respectively, on bounded Lipschitz domains, $C^1$ domains or (semi-)convex domains, in the scale of weighted Lebesgue spaces, via some quite subtle approach which is different from the existing ones and, even when $n=3$ in case of bounded $C^1$ domains, also gives an alternative correct proof of some know result. By this and some technique from harmonic analysis, the authors further obtain the global regularity estimates, respectively, in Morrey spaces, (Musielak--)Orlicz spaces and variable Lebesgue spaces

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

XMO and Weighted Compact Bilinear Commutators

To study the compactness of bilinear commutators of certain bilinear Calderón--Zygmund operators which include (inhomogeneous) Coifman--Meyer bilinear Fourier multipliers and bilinear pseudodifferential operators as special examples, Torres and Xue [Rev. Mat. Iberoam. 36 (2020), 939--956] introduced a new subspace of BMO$\,(\mathbb{R}^n)$, denoted by XMO$\,(\mathbb{R}^n)$, and conjectured that it is just the space VMO$\,(\mathbb{R}^n)$ introduced by D. Sarason. In this article, the authors give a negative answer to this conjecture by establishing an equivalent characterization of XMO$\,(\mathbb{R}^n)$, which further clarifies that XMO$\,(\mathbb{R}^n)$ is a proper subspace of VMO$\,(\mathbb{R}^n)$. This equivalent characterization of XMO$\,(\mathbb{R}^n)$ is formally similar to the corresponding one of CMO$\,(\mathbb{R}^n)$ obtained by A. Uchiyama, but its proof needs some essential new techniques on dyadic cubes as well as some exquisite geometrical observations. As an application, the authors also obtain a weighted compactness result on such bilinear commutators, which optimizes the corresponding result in the unweighted setting.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A Complete Real-Variable Theory of Hardy Spaces on Spaces of Homogeneous Type

Let $(X,d,μ)$ be a space of homogeneous type, with the upper dimension $ω$, in the sense of R. R. Coifman and G. Weiss. Assume that $η$ is the smoothness index of the wavelets on $X$ constructed by P. Auscher and T. Hytönen. In this article, when $p\in(ω/(ω+η),1]$, for the atomic Hardy spaces $H_{\mathrm{cw}}^p(X)$ introduced by Coifman and Weiss, the authors establish their various real-variable characterizations, respectively, in terms of the grand maximal function, the radial maximal function, the non-tangential maximal functions, the various Littlewood-Paley functions and wavelet functions. This completely answers the question of R. R. Coifman and G. Weiss by showing that no any additional (geometrical) condition is necessary to guarantee the radial maximal function characterization of $H_{\mathrm{cw}}^1(X)$ and even of $H_{\mathrm{cw}}^p(X)$ with $p$ as above. As applications, the authors obtain the finite atomic characterizations of $H^p_{\mathrm{cw}}(X)$, which further induce some criteria for the boundedness of sublinear operators on $H^p_{\mathrm{cw}}(X)$. Compared with the known results, the novelty of this article is that $μ$ is not assumed to satisfy the reverse doubling condition and $d$ is only a quasi-metric, moreover, the range $p\in(ω/(ω+η),1]$ is natural and optimal.

0 citations0 reviewsNo code linkedOpen access