BZPEER

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.

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.

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

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

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

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'$ of the Hardy--Littlewood maximal operator, and the exquisite geometry of $\mathbb{R}^n.$

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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

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.

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.

preprint2016arXiv

Bilinear Decompositions of Products of Hardy and Lipschitz Spaces Through Wavelets

The aim of this article is to give a complete solution to the problem of the bilinear decompositions of the products of some Hardy spaces $H^p(\mathbb{R}^n)$ and their duals in the case when $p<1$ and near to $1$ , via wavelets, paraproducts and the theory of bilinear Calderón-Zygmund operators. Precisely, the authors establish the bilinear decompositions of the product spaces $H^p(\mathbb{R}^n)\times\dotΛ_α (\mathbb{R}^n)$ and $H^p(\mathbb{R}^n)\timesΛ_α(\mathbb{R}^n)$ , where, for all $p\in(\frac{n}{n+1},\,1)$ and $α:=n(\frac{1}{p}-1)$ , $H^p(\mathbb{R}^n)$ denotes the classical real Hardy space, and $\dotΛ_α$ and $Λ_α$ denote the homogeneous, respectively, the inhomogeneous Lipschitz spaces. Sharpness of these two bilinear decompositions are also proved. As an application, the authors establish some div-curl lemmas at the endpoint case.

preprint2016arXiv

Gradient Estimates via Rearrangements for Solutions of Some Schrödinger Equations

In this article, by applying the well known method for dealing with $p$ -Laplace type elliptic boundary value problems, the authors establish a sharp estimate for the decreasing rearrangement of the gradient of solutions to the Dirichlet and the Neumann boundary value problems of a class of Schrödinger equations, under the weak regularity assumption on the boundary of domains. As applications, gradient estimates of these solutions in Lebesgue spaces and Lorentz spaces are obtained.

preprint2016arXiv

Littlewood-Paley Characterizations of Anisotropic Hardy-Lorentz Spaces

Let $p\in(0,1]$ , $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$ . Let $H^{p,q}_A(\mathbb{R}^n)$ be the anisotropic Hardy-Lorentz spaces associated with $A$ defined via the non-tangential grand maximal function. In this article, the authors characterize $H^{p,q}_A(\mathbb{R}^n)$ in terms of the Lusin-area function, the Littlewood-Paley $g$ -function or the Littlewood-Paley $g_λ^*$ -function via first establishing an anisotropic Fefferman-Stein vector-valued inequality in the Lorentz space $L^{p,q}(\mathbb{R}^n)$ . All these characterizations are new even for the classical isotropic Hardy-Lorentz spaces on $\mathbb{R}^n$ . Moreover, the range of $λ$ in the $g_λ^*$ -function characterization of $H^{p,q}_A(\mathbb{R}^n)$ coincides with the best known one in the classical Hardy space $H^p(\mathbb{R}^n)$ or in the anisotropic Hardy space $H^p_A(\mathbb{R}^n)$ .

preprint2016arXiv

Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Let $p\in(1,\infty)$ and $q\in[1,\infty)$ . In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$ -function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$ . As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, here an interesting phenomena naturally appears that, in the end-point case when $α=2$ , these pointwise inequalities characterize the Triebel-Lizorkin spaces $F^2_{p,2}(\mathbb{R}^n)$ , while not $F^2_{p,\infty}(\mathbb{R}^n)$ . In particular, some new pointwise characterizations of Hajłasz-Sobolev spaces via ball averages are obtained. Since these new characterizations only use ball averages, they can be used as starting points for developing a theory of Triebel-Lizorkin spaces with smoothness orders not less than $1$ on spaces of homogeneous type.

preprint2016arXiv

Maximal Function Characterizations of Musielak-Orlicz-Hardy Spaces Associated to Non-negative Self-adjoint Operators Satisfying Gaussian Estimates

Let $L$ be a non-negative self-adjoint operator on $L^2(\mathbb{R}^n)$ whose heat kernels have the Gaussian upper bound estimates. Assume that the growth function $φ:\,\mathbb{R}^n\times[0,\infty) \to[0,\infty)$ satisfies that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)\in {\mathbb A}_{\infty}(\mathbb{R}^n)$ (the class of uniformly Muckenhoupt weights). Let $H_{φ,\,L}(\mathbb{R}^n)$ be the Musielak-Orlicz-Hardy space introduced via the Lusin area function associated with the heat semigroup of $L$ . In this article, the authors obtain several maximal function characterizations of the space $H_{φ,\,L}(\mathbb{R}^n)$ , which, especially, answer an open question of L. Song and L. Yan under an additional mild assumption satisfied by Schrödinger operators on $\mathbb{R}^n$ with non-negative potentials belonging to the reverse Hölder class, and second-order divergence form elliptic operators on $\mathbb{R}^n$ with bounded measurable real coefficients.

preprint2016arXiv

Maximal Function Characterizations of Variable Hardy Spaces Associated with Non-negative Self-adjoint Operators Satisfying Gaussian Estimates

Let $p(\cdot):\ \mathbb R^n\to(0,1]$ be a variable exponent function satisfying the globally $\log$ -Hölder continuous condition and $L$ a non-negative self-adjoint operator on $L^2(\mathbb R^n)$ whose heat kernels satisfying the Gaussian upper bound estimates. Let $H_L^{p(\cdot)}(\mathbb R^n)$ be the variable exponent Hardy space defined via the Lusin area function associated with the heat kernels $\{e^{-t^2L}\}_{t\in (0,\infty)}$ . In this article, the authors first establish the atomic characterization of $H_L^{p(\cdot)}(\mathbb R^n)$ ; using this, the authors then obtain its non-tangential maximal function characterization which, when $p(\cdot)$ is a constant in $(0,1]$ , coincides with a recent result by Song and Yan [Adv. Math. 287 (2016), 463-484] and further induces the radial maximal function characterization of $H_L^{p(\cdot)}(\mathbb R^n)$ under an additional assumption that the heat kernels of $L$ have the Hölder regularity.

preprint2016arXiv

Riesz Transform Characterization and Fefferman-Stein Decomposition of Triebel-Lizorkin Spaces

Let $D\in\mathbb{N}$ , $q\in[2,\infty)$ and $(\mathbb{R}^D,|\cdot|,dx)$ be the Euclidean space equipped with the $D$ -dimensional Lebesgue measure. In this article, via an auxiliary function space $\mathrm{WE}^{1,\,q}(\mathbb R^D)$ defined via wavelet expansions, the authors establish the Riesz transform characterization of Triebel-Lizorkin spaces $\dot{F}^0_{1,\,q}(\mathbb{R}^D)$ . As a consequence, the authors obtain the Fefferman-Stein decomposition of Triebel-Lizorkin spaces $\dot{F}^0_{\infty,\,q'}(\mathbb{R}^D)$ . Finally, the authors give an explicit example to show that $\dot{F}^0_{1,\,q}(\mathbb{R}^D)$ is strictly contained in $\mathrm{WE}^{1,\,q}(\mathbb{R}^D)$ and, by duality, $\mathrm{WE}^{\infty,\,q'}(\mathbb{R}^D)$ is strictly contained in $\dot{F}^0_{\infty,\,q'}(\mathbb{R}^D)$ . Although all results when $D=1$ were obtained by C.-C. Lin et al. [Michigan Math. J. 62 (2013), 691-703], as was pointed out by C.-C. Lin et al., the approach used in the case $D=1$ can not be applied to the case $D\ge2$ , which needs some new skills.

preprint2016arXiv

Variable Weak Hardy Spaces and Their Applications

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors first introduce the variable weak Hardy space on $\mathbb R^n$ , $W\!H^{p(\cdot)}(\mathbb R^n)$ , via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain various equivalent characterizations of $W\!H^{p(\cdot)}(\mathbb R^n)$ , respectively, by means of atoms, molecules, the Lusin area function, the Littlewood-Paley $g$ -function or $g_λ^\ast$ -function. As an application, the authors establish the boundedness of convolutional $δ$ -type and non-convolutional $γ$ -order Calderón-Zygmund operators from $H^{p(\cdot)}(\mathbb R^n)$ to $W\!H^{p(\cdot)}(\mathbb R^n)$ including the critical case $p_-={n}/{(n+δ)}$ , where $p_-:=\mathop\mathrm{ess\,inf}_{x\in \rn}p(x).$

preprint2015arXiv

Anisotropic Hardy-Lorentz Spaces and Their Applications

Let $p\in(0,1]$ , $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$ . The authors introduce the anisotropic Hardy-Lorentz space $H^{p,q}_A(\mathbb{R}^n)$ associated with $A$ via the non-tangential grand maximal function and then establish its various real-variable characterizations in terms of the atomic or the molecular decompositions, the radial or the non-tangential maximal functions, or the finite atomic decompositions. All these characterizations except the $\infty$ -atomic characterization are new even for the classical isotropic Hardy-Lorentz spaces on $\mathbb{R}^n$ . As applications, the authors first prove that $H^{p,q}_A(\mathbb{R}^n)$ is an intermediate space between $H^{p_1,q_1}_A(\mathbb{R}^n)$ and $H^{p_2,q_2}_A(\mathbb{R}^n)$ with $0<p_1<p<p_2<\infty$ and $q_1,\,q,\,q_2\in(0,\infty]$ , and also between $H^{p,q_1}_A(\mathbb{R}^n)$ and $H^{p,q_2}_A(\mathbb{R}^n)$ with $p\in(0,\infty)$ and $0<q_1<q<q_2\leq\infty$ in the real method of interpolation. The authors then establish a criterion on the boundedness of sublinear operators from $H^{p,q}_A(\mathbb{R}^n)$ into a quasi-Banach space; moreover, the authors obtain the boundedness of $δ$ -type Calderón-Zygmund operators from $H^p_A(\mathbb{R}^n)$ to the weak Lebesgue space $L^{p,\infty}(\mathbb{R}^n)$ (or $H^{p,\infty}_A(\mathbb{R}^n)$ ) in the critical case, from $H_A^{p,q}(\mathbb{R}^n)$ to $L^{p,q}(\mathbb{R}^n)$ (or $H_A^{p,q}(\mathbb{R}^n)$ ) with $δ\in(0,\frac{\lnλ_-}{\ln b}]$ , $p\in(\frac1{1+δ},1]$ and $q\in(0,\infty]$ , as well as the boundedness of some Calderón-Zygmund operators from $H_A^{p,q}(\mathbb{R}^n)$ to $L^{p,\infty}(\mathbb{R}^n)$ , where $b:=|\det A|$ , $λ_-:=\min\{|λ|:\ λ\inσ(A)\}$ and $σ(A)$ denotes the set of all eigenvalues of $A$ .

preprint2015arXiv

Besov-Type and Triebel--Lizorkin-Type Spaces Associated with Heat Kernels

Let $(M, ρ,μ)$ be an RD-space satisfying the non-collapsing condition. In this paper, the authors introduce Besov-type spaces $B_{p,q}^{s,τ}(M)$ and Triebel--Lizorkin-type spaces $F_{p,q}^{s,τ}(M)$ associated to a non-negative self-adjoint operator $L$ whose heat kernels satisfy some Gaussian upper bound estimate, Hölder continuity, and the stochastic completeness property. Characterizations of these spaces via Peetre maximal functions and heat kernels are established for full range of indices. Also, frame characterizations of these spaces are given. When $L$ is the Laplacian operator on $\mathbb R^n$ , these spaces coincide with the Besov-type and Triebel-Lizorkin-type spaces on $\mathbb R^n$ studied in [Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010]. In the case $τ=0$ and the smoothness index $s$ is around zero, comparisons of these spaces with the Besov and Triebel--Lizorkin spaces studied in [Abstr. Appl. Anal. 2008, Art. ID 893409, 250 pp] are also presented.

preprint2015arXiv

Besov-Type Spaces with Variable Smoothness and Integrability

In this article, the authors introduce Besov-type spaces with variable smoothness and integrability. The authors then establish their characterizations, respectively, in terms of $φ$ -transforms in the sense of Frazier and Jawerth, smooth atoms or Peetre maximal functions, as well as a Sobolev-type embedding. As an application of their atomic characterization, the authors obtain a trace theorem of these variable Besov-type spaces.

preprint2015arXiv

Boundedness of Commutators on Hardy Spaces over Metric Measure Spaces of Non-homogeneous Type

Let $(\mathcal{X},d,μ)$ be a metric measure space satisfying the so-called upper doubling condition and the geometrically doubling condition. Let $T$ be a Calderón-Zygmund operator with kernel satisfying only the size condition and some Hörmander-type condition, and $b\in\rm{\widetilde{RBMO}(μ)}$ (the regularized BMO space with the discrete coefficient). In this paper, the authors establish the boundedness of the commutator $T_b:=bT-Tb$ generated by $T$ and $b$ from the atomic Hardy space $\widetilde{H}^1(μ)$ with the discrete coefficient into the weak Lebesgue space $L^{1,\,\infty}(μ)$ . The boundedness of the commutator generated by the generalized fractional integral $T_α\,(α\in(0,1))$ and the $\rm{\widetilde{RBMO}(μ)}$ function from $\widetilde{H}^1(μ)$ into $L^{1/{(1-α)},\,\fz}(μ)$ is also presented. Moreover, by an interpolation theorem for sublinear operators, the authors show that the commutator $T_b$ is bounded on $L^p(μ)$ for all $p\in(1,\infty)$ .

preprint2015arXiv

Characterizations of Besov and Triebel-Lizorkin Spaces via Averages on Balls

Let $\ell\in\mathbb{N}$ and $p\in(1,\infty]$ . In this article, the authors prove that the sequence $\{f-B_{\ell,2^{-k}}f\}_{k\in\mathbb{Z}}$ consisting of the differences between $f$ and the ball average $B_{\ell,2^{-k}}f$ characterizes the Besov space $\dot B^α_{p,q}(\rn)$ with $q\in (0, \infty]$ and the Triebel-Lizorkin space $\dot F^α_{p,q}(\rn)$ with $q\in (1,\infty]$ when the smoothness order $α\in(0,2\ell)$ . More precisely, it is proved that $f-B_{\ell,2^{-k}}f$ plays the same role as the approximation to the identity $φ_{2^{-k}}\ast f$ appearing in the definitions of $\dot B^α_{p,q}(\rn)$ and $\dot F^α_{p,q}(\rn)$. The corresponding results for inhomogeneous Besov and Triebel-Lizorkin spaces are also obtained. These results, for the first time, give a way to introduce Besov and Triebel-Lizorkin spaces with any smoothness order in $(0, 2\ell)$ on spaces of homogeneous type, where $\ell\in{\mathbb N}$ .

preprint2015arXiv

Characterizations of Variable Exponent Hardy Spaces via Riesz Transforms

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying that there exists a constant $p_0\in(0,p_-)$ , where $p_-:=\mathop{\mathrm {ess\,inf}}_{x\in \mathbb R^n}p(x)$ , such that the Hardy-Littlewood maximal operator is bounded on the variable exponent Lebesgue space $L^{p(\cdot)/p_0}(\mathbb R^n)$ . In this article, via investigating relations between boundary valued of harmonic functions on the upper half space and elements of variable exponent Hardy spaces $H^{p(\cdot)}(\mathbb R^n)$ introduced by E. Nakai and Y. Sawano and, independently, by D. Cruz-Uribe and L.-A. D. Wang, the authors characterize $H^{p(\cdot)}(\mathbb R^n)$ via the first order Riesz transforms when $p_-\in (\frac{n-1}n,\infty)$ , and via compositions of all the first order Riesz transforms when $p_-\in(0,\frac{n-1}n)$ .

preprint2015arXiv

Interpolation of Morrey-Campanato and Related Smoothness Spaces

In this article, the authors study the interpolation of Morrey-Campanato spaces and some smoothness spaces based on Morrey spaces, e.\,g., Besov-type and Triebel-Lizorkin-type spaces. Various interpolation methods, including the complex method, the $\pm$ -method and the Peetre-Gagliardo method, are studied in such a framework. Special emphasize is given to the quasi-Banach case and to the interpolation property.

preprint2015arXiv

Littlewood-Paley Characterizations of Fractional Sobolev Spaces via Averages on Balls

In this paper, the authors characterize Sobolev spaces $W^{α,p}({\mathbb R}^n)$ with the smoothness order $α\in(0,2]$ and $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$ , via the Lusin area function and the Littlewood-Paley $g_λ^\ast$ -function in terms of centered ball averages. The authors also show that the condition $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$ is nearly sharp in the sense that these characterizations are no longer true when $p\in (1,\max\{1, \frac{2n}{2α+n}\})$ . These characterizations provide a new possible way to introduce fractional Sobolev spaces with smoothness order in $(1,2]$ on metric measure spaces.

preprint2015arXiv

Maximal Function Characterizations of Hardy Spaces Associated to Homogeneous Higher Order Elliptic Operators

Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients and $(p_-(L),\, p_+(L))$ be the maximal interval of exponents $q\in[1,\,\infty]$ such that the semigroup $\{e^{-tL}\}_{t>0}$ is bounded on $L^q(\mathbb{R}^n)$ . In this article, the authors establish the non-tangential maximal function characterizations of the associated Hardy spaces $H_L^p(\mathbb{R}^n)$ for all $p\in(0,\,p_+(L))$ , which, when $p=1$ , answers a question asked by Deng et al. in [J. Funct. Anal. 263 (2012), 604-674]. Moreover, the authors characterize $H_L^p(\mathbb{R}^n)$ via various versions of square functions and Lusin-area functions associated to the operator $L$ .

preprint2015arXiv

Molecular Characterizations and Dualities of Variable Exponent Hardy Spaces Associated with Operators

Let $L$ be a linear operator on $L^2(\mathbb R^n)$ generating an analytic semigroup $\{e^{-tL}\}_{t\ge0}$ with kernels having pointwise upper bounds and $p(\cdot):\ \mathbb R^n\to(0,1]$ be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors introduce the variable exponent Hardy space associated with the operator $L$ , denoted by $H_L^{p(\cdot)}(\mathbb R^n)$ , and the BMO-type space ${\mathrm{BMO}}_{p(\cdot),L}(\mathbb R^n)$ . By means of tent spaces with variable exponents, the authors then establish the molecular characterization of $H_L^{p(\cdot)}(\mathbb R^n)$ and a duality theorem between such a Hardy space and a BMO-type space. As applications, the authors study the boundedness of the fractional integral on these Hardy spaces and the coincidence between $H_L^{p(\cdot)}(\mathbb R^n)$ and the variable exponent Hardy spaces $H^{p(\cdot)}(\mathbb R^n)$ .

preprint2015arXiv

Products of Functions in ${\mathop\mathrm{BMO}}({\mathcal X})$ and $H^1_{\rm at}({\mathcal X})$ via Wavelets over Spaces of Homogeneous Type

Let $({\mathcal X},d,μ)$ be a metric measure space of homogeneous type in the sense of R. R. Coifman and G. Weiss and $H^1_{\rm at}({\mathcal X})$ be the atomic Hardy space. Via orthonormal bases of regular wavelets and spline functions recently constructed by P. Auscher and T. Hytönen, the authors prove that the product $f\times g$ of $f\in H^1_{\rm at}({\mathcal X})$ and $g\in\mathop\mathrm{BMO}({\mathcal X})$ , viewed as a distribution, can be written into a sum of two bounded bilinear operators, respectively, from $H^1_{\rm at}({\mathcal X})\times\mathop\mathrm{BMO}({\mathcal X})$ into $L^1({\mathcal X})$ and from $H^1_{\rm at}({\mathcal X})\times\mathop\mathrm{BMO}({\mathcal X})$ into $H^{\log}({\mathcal X})$ , which affirmatively confirms the conjecture suggested by A. Bonami and F. Bernicot (This conjecture was presented by L. D. Ky in [J. Math. Anal. Appl. 425 (2015), 807-817]).

preprint2015arXiv

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Let $w$ be a Muckenhoupt $A_2(\mathbb{R}^n)$ weight and $L_w:=-w^{-1}\mathop\mathrm{div}(A\nabla)$ the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$ . In this article, the authors establish the Riesz transform characterization of the Hardy space $H_{L_w}^p(\mathbb{R}^n)$ associated with $L_w$ , for $w\in A_{q}(\mathbb{R}^n)$ and $w^{-1}\in A_{2-\frac{2}{n}}(\mathbb{R}^n)$ with $n\geq 3$ , $q\in[1,2]$ and $p\in(q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]$ if, for some $r\in[1,\,2)$ , $\{tL_w e^{-tL_w}\}_{t\geq 0}$ satisfies the weighted $L^r-L^2$ full off-diagonal estimate.

preprint2015arXiv

Triebel-Lizorkin-Type Spaces with Variable Exponents

In this article, the authors first introduce the Triebel-Lizorkin-type space $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ with variable exponents, and establish its $φ$ -transform characterization in the sense of Frazier and Jawerth, which further implies that this new scale of function spaces is well defined. The smooth molecular and the smooth atomic characterizations of $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ are also obtained, which are used to prove a trace theorem of $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ . The authors also characterize the space $F_{p(\cdot),q(\cdot)}^{s(\cdot),ϕ}(\mathbb R^n)$ via Peetre maximal functions.

preprint2015arXiv

Wavelet Characterizations of the Atomic Hardy Space $H^1$ on Spaces of Homogeneous Type

Let $({\mathcal X},d,μ)$ be a metric measure space of homogeneous type in the sense of R. R. Coifman and G. Weiss and $H^1_{\rm at}({\mathcal X})$ be the atomic Hardy space. Via orthonormal bases of regular wavelets and spline functions recently constructed by P. Auscher and T. Hytönen, together with obtaining some crucial lower bounds for regular wavelets, the authors give an unconditional basis of $H^1_{\rm at}({\mathcal X})$ and several equivalent characterizations of $H^1_{\rm at}({\mathcal X})$ in terms of wavelets, which are proved useful.

preprint2015arXiv

Weighted $L^p$ Estimates of Kato Square Roots Associated to Degenerate Elliptic Operators

Let $w$ be a Muckenhoupt $A_2(\mathbb{R}^n)$ weight and $L_w:=-w^{-1}\mathop\mathrm{div}(A\nabla)$ the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$ , $n\geq 2$ . In this article, the authors establish some weighted $L^p$ estimates of Kato square roots associated to the degenerate elliptic operators $L_w$ . More precisely, the authors prove that, for $w\in A_{p}(\mathbb{R}^n)$ , $p\in(\frac{2n}{n+1},\,2]$ and any $f\in C^\infty_c(\mathbb{R}^n)$ , $\|L_w^{1/2}(f)\|_{L^p(w,\,\mathbb{R}^n)}\sim \|\nabla f\|_{L^p(w,\,\mathbb{R}^n)}$ , where $C_c^\infty(\mathbb{R}^n)$ denotes the set of all infinitely differential functions with compact supports.

preprint2015arXiv

Weighted Endpoint Estimates for Commutators of Calderón-Zygmund Operators

Let $δ\in(0,1]$ and $T$ be a $δ$ -Calderón-Zygmund operator. Let $w$ be in the Muckenhoupt class $A_{1+δ/n}({\mathbb R}^n)$ satisfying $\int_{{\mathbb R}^n}\frac {w(x)}{1+|x|^n}\,dx<\infty$ . When $b\in{\rm BMO}(\mathbb R^n)$ , it is well known that the commutator $[b, T]$ is not bounded from $H^1(\mathbb R^n)$ to $L^1(\mathbb R^n)$ if $b$ is not a constant function. In this article, the authors find out a proper subspace ${\mathop\mathcal{BMO}_w({\mathbb R}^n)}$ of $\mathop\mathrm{BMO}(\mathbb R^n)$ such that, if $b\in {\mathop\mathcal{BMO}_w({\mathbb R}^n)}$ , then $[b,T]$ is bounded from the weighted Hardy space $H_w^1(\mathbb R^n)$ to the weighted Lebesgue space $L_w^1(\mathbb R^n)$ . Conversely, if $b\in{\rm BMO}({\mathbb R}^n)$ and the commutators of the classical Riesz transforms $\{[b,R_j]\}_{j=1}^n$ are bounded from $H^1_w({\mathbb R}^n)$ into $L^1_w({\mathbb R}^n)$ , then $b\in {\mathop\mathcal{BMO}_w({\mathbb R}^n)}$ .

preprint2014arXiv

A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces

In this paper, the authors propose a new framework under which a theory of generalized Besov-type and Triebel-Lizorkin-type function spaces is developed. Many function spaces appearing in harmonic analysis fall under the scope of this new framework. Among others, the boundedness of the Hardy-Littlewood maximal operator or the related vector-valued maximal function on any of these function spaces is not required to construct these generalized scales of smoothness spaces. Instead of this, a key idea used in this framework is an application of the Peetre maximal function. This idea originates from recent findings in the abstract coorbit space theory obtained by Holger Rauhut and Tino Ullrich. Under this new setting, the authors establish the boundedness of pseudo-differential operators based on atomic and molecular characterizations and also the boundedness of the Fourier multipliers. The characterizations of these function spaces by means of differences and oscillations are also established. As further applications of this new framework, the authors reexamine and polish some existing results for many different scales of function spaces.

preprint2014arXiv

Generalized Fractional Integrals and Their Commutators over Non-homogeneous Metric Measure Spaces

Let $({\mathcal X},d,μ)$ be a metric measure space satisfying both the upper doubling and the geometrically doubling conditions. In this paper, the authors establish some equivalent characterizations for the boundedness of fractional integrals over $({\mathcal X},d,μ)$ . The authors also prove that multilinear commutators of fractional integrals with ${\mathop\mathrm{\,RBMO(μ)}}$ functions are bounded on Orlicz spaces over $({\mathcal X},d,μ)$ , which include Lebesgue spaces as special cases. The weak type endpoint estimates for multilinear commutators of fractional integrals with functions in the Orlicz-type space ${\mathrm{Osc}_{\exp L^r}(μ)}$ , where $r\in [1,\infty)$ , are also presented. Finally, all these results are applied to a specific example of fractional integrals over non-homogeneous metric measure spaces.

preprint2014arXiv

Hajlasz Gradients Are Upper Gradients

Let $(X, d, μ)$ be a metric measure space, with $μ$ a Borel regular measure. In this paper, we prove that, if $u\in L^1_{\mathop\mathrm{\,loc\,}}(X)$ and $g$ is a Hajłasz gradient of $u$ , then there exists $\widetilde u$ such that $\widetilde u=u$ almost everywhere and $4g$ is a $p$ -weak upper gradient of $\widetilde u$ . This result avoids a priori assumption on the quasi-continuity of $u$ used in [Rev. Mat. Iberoamericana 16 (2000), 243-279]. As an application, an embedding of the Morrey-type function spaces based on Hajłasz-gradients into the corresponding function spaces based on upper gradients is obtained. We also introduce the notion of local Hajłasz gradient, and investigate the relations between local Hajłasz gradient and upper gradient.

preprint2014arXiv

Hardy spaces $H^p$ over non-homogeneous metric measure spaces and their applications

Let $({\mathcal X},d,μ)$ be a metric measure space satisfying both the geometrically doubling and the upper doubling conditions. Let $ρ\in (1,\infty)$ , $0<p\le1\le q\le\infty$ , $p\neq q$ , $γ\in[1,\infty)$ and $ε\in(0,\infty)$ . In this article, the authors introduce the atomic Hardy space ${\widetilde H_{\mathrm{atb},\,ρ}^{p,\,q,\,γ}(μ)}$ and the molecular Hardy space ${\widetilde H_{\rm{mb},\,ρ}^{p,\,q,\,γ,\,ε}(μ)}$ via the discrete coefficient $\widetilde{K}^{(ρ),\,p}_{B,\,S}$ , and prove that the Calderón-Zygmund operator is bounded from ${\widetilde H_{\rm{mb},\,ρ}^{p,\,q,\,γ,\,δ}(μ)}$ (or ${\widetilde H_{\rm{atb},\,ρ}^{p,\,q,\,γ}(μ)}$ ) into $L^p(μ)$ , and from ${\widetilde H_{\rm{atb},\,ρ(ρ+1)}^{p,\,q,\,γ+1}(μ)}$ into ${\widetilde H_{\rm{mb},\,ρ}^{p,\,q,\,γ,\,\frac12(δ-\fracν{p}+ν)}(μ)}$ whose genealized fractional versions are also obtained. The authors also introduce the $ρ$ -weakly doubling condition, with $ρ\in (1,\infty)$ , of the measure $μ$ and construct a non-doubling measure $μ$ satisfying this condition. If $μ$ is $ρ$ -weakly doubling, the authors further introduce the Campanato space ${\mathcal E}^{α,\,q}_{ρ,\,η,\,γ}(μ)$ and show that ${\mathcal E}^{α,\,q}_{ρ,\,η,\,γ}(μ)$ is independent of the choices of $ρ$ , $η$ , $γ$ and $q$ ; the authors then introduce the atomic Hardy space $\widehat H_{\rm{atb},\,ρ}^{p,\,q,\,γ}(μ)$ and the molecular Hardy space $\widehat H_{\rm{mb},\,ρ}^{p,\,q,\,γ,\,ε}(μ)$ , which coincide with each other; the authors finally prove that $\widehat{H}_{\rm{atb},\,ρ}^{p,\,q,\,γ}(μ)$ is the predual of ${\mathcal E}^{1/p-1,\,1}_{ρ,\,ρ,\,1}(μ)$ . Moreover, relations of these Hardy spaces are also discussed.

preprint2014arXiv

Intrinsic Square Function Characterizations of Hardy Spaces with Variable Exponents

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a measurable function satisfying some decay condition and some locally log-Hölder continuity. In this article, via first establishing characterizations of the variable exponent Hardy space $H^{p(\cdot)}(\mathbb R^n)$ in terms of the Littlewood-Paley $g$ -function, the Lusin area function and the $g_λ^\ast$ -function, the authors then obtain its intrinsic square function characterizations including the intrinsic Littlewood-Paley $g$ -function, the intrinsic Lusin area function and the intrinsic $g_λ^\ast$ -function. The $p(\cdot)$ -Carleson measure characterization for the dual space of $H^{p(\cdot)}(\mathbb R^n)$ , the variable exponent Campanato space $\mathcal{L}_{1,p(\cdot),s}(\mathbb R^n)$ , in terms of the intrinsic function is also presented.

preprint2014arXiv

Lusin Area Function and Molecular Characterizations of Musielak-Orlicz Hardy Spaces and Their Applications

Lusin Area Function and Molecular Characterizations of Musielak-Orlicz Hardy Spaces and Their ApplicationsLet $φ: \mathbb R^n\times [0,\infty)\to[0,\infty)$ be a growth function such that $φ(x,\cdot)$ is nondecreasing, $φ(x,0)=0$ , $φ(x,t)>0$ when $t>0$ , $\lim_{t\to\infty}φ(x,t)=\infty$ , and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb{R}^n)$ weight uniformly in $t$ . In this paper, the authors establish the Lusin area function and the molecular characterizations of the Musielak-Orlicz Hardy space $H_φ(\mathbb{R}^n)$ introduced by Luong Dang Ky via the grand maximal function. As an application, the authors obtain the $φ$ -Carleson measure characterization of the Musielak-Orlicz ${\mathop\mathrm{BMO}}$ -type space $\mathop\mathrm{BMO}_φ(\mathbb{R}^n)$ , which was proved to be the dual space of $H_φ(\mathbb{R}^n)$ by Luong Dang Ky.

preprint2014arXiv

Musielak-Orlicz BMO-Type Spaces Associated with Generalized Approximations to the Identity

Let $\mathcal{X}$ be a space of homogenous type and $φ:\ \mathcal{X}\times[0,\infty) \to[0,\infty)$ a growth function such that $φ(\cdot,t)$ is a Muckenhoupt weight uniformly in $t$ and $φ(x,\cdot)$ an Orlicz function of uniformly upper type 1 and lower type $p\in(0,1]$ . In this article, the authors introduce a new Musielak-Orlicz BMO-type space $\mathrm{BMO}^φ_A(\mathcal{X})$ associated with the generalized approximation to the identity, give out its basic properties and establish its two equivalent characterizations, respectively, in terms of the spaces $\mathrm{BMO}^φ_{A,\,\mathrm{max}}(\mathcal{X})$ and $\widetilde{\mathrm{BMO}}^φ_A(\mathcal{X})$ . Moreover, two variants of the John-Nirenberg inequality on $\mathrm{BMO}^φ_A(\mathcal{X})$ are obtained. As an application, the authors further prove that the space $\mathrm{BMO}^φ_{\sqrtΔ}(\mathbb{R}^n)$ , associated with the Poisson semigroup of the Laplace operator $Δ$ on $\mathbb{R}^n$ , coincides with the space $\mathrm{BMO}^φ(\mathbb{R}^n)$ introduced by L. D. Ky.

preprint2014arXiv

Musielak-Orlicz Campanato Spaces and Applications

Let $φ: \mathbb R^n\times [0,\infty)\to[0,\infty)$ be such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty(\mathbb R^n)$ weight uniformly in $t$ . In this article, the authors introduce the Musielak-Orlicz Campanato space ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$ and, as an application, prove that some of them is the dual space of the Musielak-Orlicz Hardy space $H^φ(\mathbb R^n)$ , which in the case when $q=1$ and $s=0$ was obtained by L. D. Ky [arXiv: 1105.0486]. The authors also establish a John-Nirenberg inequality for functions in ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$ and, as an application, the authors also obtain several equivalent characterizations of ${\mathcal L}_{φ,q,s}({\mathbb R}^n)$ , which, in return, further induce the $φ$ -Carleson measure characterization of ${\mathcal L}_{φ,1,s}({\mathbb R}^n)$ .

preprint2014arXiv

Riesz Transform Characterizations of Musielak-Orlicz-Hardy Spaces

Let $φ$ be a Musielak-Orlicz function satisfying that, for any $(x,\,t)\in\mathbb{R}^n\times(0,\,\infty)$ , $φ(\cdot,\,t)$ belongs to the Muckenhoupt weight class $A_\infty (\mathbb{R}^n)$ with the critical weight exponent $q(φ)\in[1,\,\infty)$ and $φ(x,\,\cdot)$ is an Orlicz function with $0<i(φ)\le I(φ)\le 1$ which are, respectively, its critical lower type and upper type. In this article, the authors establish the Riesz transform characterizations of the Musielak-Orlicz-Hardy spaces $H_φ(\mathbb{R}^n)$ which are generalizations of weighted Hardy spaces and Orlicz-Hardy spaces. Precisely, the authors characterize $H_φ(\mathbb{R}^n)$ via all the first order Riesz transforms when $\frac{i(φ)}{q(φ)}>\frac{n-1}{n}$ , and via all the Riesz transforms with the order not more than $m\in\mathbb{N}$ when $\frac{i(φ)}{q(φ)}>\frac{n-1}{n+m-1}$ . Moreover, the authors also establish the Riesz transform characterizations of $H_φ(\mathbb{R}^n)$ , respectively, by means of the higher order Riesz transforms defined via the homogenous harmonic polynomials or the odd order Riesz transforms. Even if when $φ(x,t):=tw(x)$ for all $x\in{\mathbb R}^n$ and $t\in [0,\infty)$ , these results also widen the range of weights in the known Riesz characterization of the classical weighted Hardy space $H^1_w({\mathbb R}^n)$ obtained by R. L. Wheeden from $w\in A_1({\mathbb R}^n)$ into $w\in A_\infty({\mathbb R}^n)$ with the sharp range $q(w)\in [1,\frac n{n-1})$ , where $q(w)$ denotes the critical index of the weight $w$ .

preprint2014arXiv

The Radial Lemma of Strauss in the Context of Morrey Spaces

In this paper we consider smoothness and decay properties of radial functions belonging to smoothness spaces related to Morrey spaces (Sobolev-Morrey spaces, Besov-type spaces and Besov-Morrey spaces). Within this framework we prove generalizations of the Radial Lemma of Strauss.

preprint2014arXiv

Towards spaces of harmonic functions with traces in square Campanato space and its scaling invariant

For $n\ge 1$ and $α\in (-1,1)$ , let $H^{α,2}$ be the space of harmonic functions $u$ on the upper half space $\mathbb{R}^{n+1}_+$ satisfying $\displaystyle\sup_{(x_0,r)\in \mathbb R^{n+1}_+}r^{-(2α+n)}\int_{B(x_0,r)}\int_0^r|\nabla_{x,t} u(x,t)|^2t\,dt\,dx<\infty,$ and $\mathcal{L}_{2,n+2α}$ be the Campanato space on $\mathbb R^n$ . We show that $H^{α,2}$ coincide with $e^{-t\sqrt{-Δ}}\mathcal{L}_{2,n+2α}$ for all $α\in (-1,1)$ , where the case $α\in [0,1)$ was originally discovered by Fabes, Johnson and Neri [Indiana Univ. Math. J. 25 (1976), 159-170] and yet the case $α\in (-1,0)$ was left open. Moreover, for the scaling invariant version of $H^{α,2}$ , $\mathcal{H}^{α,2}$ , which comprises all harmonic functions $u$ on $\mathbb R^{n+1}_+$ satisfying $\sup_{(x_0,r)\in\mathbb R^{n+1}_+}r^{-(2α+n)}\int_{B(x_0,r)} \int_0^r|\nabla_{x,t} u(x,t)|^2\,t^{1+2α} \,dt\,dx<\infty,$ we show that $\mathcal{H}^{α,2}=e^{-t\sqrt{-Δ}}(-Δ)^\fracα{2}\mathcal{L}_{2,n+2α}$ , where $(-Δ)^{\fracα{2}}\mathcal{L}_{2,n+2α}$ is the collection of all functions $f$ such that $(-Δ)^{-\fracα{2}}f$ are in $\mathcal{L}_{2,n+2α}$ . Analogues for solutions to the heat equation are also established. As an application, we show that the spaces $\big((-Δ)^{\fracα{2}}\mathcal{L}_{2,n+2α}\big)^{-1}$ unify $Q_α^{-1}$ , ${\mathrm{BMO}}^{-1}$ and $\dot{B}^{-1,\infty}_\infty$ naturally.

preprint2014arXiv

Weak Hardy Spaces $WH_L^p({\mathbb R}^n)$ Associated to Operators Satisfying $k$ -Davies-Gaffney Estimates

Let $L$ be a one-to-one operator of type $ω$ having a bounded $H_\infty$ functional calculus and satisfying the $k$ -Davies-Gaffney estimates with $k\in{\mathbb N}$ . In this paper, the authors introduce the weak Hardy space $WH_L^p(\mathbb{R}^n)$ associated to $L$ for $p\in (0,\,1]$ via the non-tangential square function $S_L$ and establish a weak molecular characterization of $WH_L^p(\mathbb{R}^n)$ . Typical examples of such operators include the $2k$ -order divergence form homogeneous elliptic operator $L_1:=(-1)^k\sum_{|α|=k=|β|}\partial^β(a_{α,β}\partial^α)$ , where $\{a_{α,β}\}_{|α|=k=|β|}$ are complex bounded measurable functions, and the $2k$ -order Schrödinger type operator $L_2:= (-Δ)^k+V^k$ , where $Δ$ is the Laplacian operator and $0\le V\in L^k_{\mathop\mathrm{loc}}(\mathbb{R}^n)$ . As applications, for $i\in\{1,\,2\}$ and $p\in(\frac{n}{n+k},\,1]$ , the authors prove that the associated Riesz transform $\nabla^k (L_i^{-1/2})$ is bounded from $WH^p_{L_i}(\mathbb{R}^n)$ to the classical weak Hardy space $WH^p(\mathbb{R}^n)$ and, for all $0<p<r\le1$ and $α=n(\frac{1}{p}-\frac{1}{r})$ , the fractional power $L_i^{-\fracα{2k}}$ is bounded from $WH_{L_i}^p(\mathbb{R}^n)$ to $WH_{L_i}^r(\mathbb{R}^n)$ . Furthermore, the authors find the dual space of $WH_L^p(\mathbb{R}^n)$ for $p\in(0,\,1]$ , which can be defined via mean oscillations based on some subtle coverings of bounded open sets and, even when $L:=-Δ$ , are also previously unknown. In particular, if $L$ is a nonnegative self-adjoint operator in $L^2({\mathbb R}^n)$ satisfying the Davies-Gaffney estimates, the authors further establish the weak atomic characterization of $WH_L^p(\mathbb{R}^n)$ .

preprint2013arXiv

Boundedness of Intrinsic Littlewood-Paley Functions on Musielak-Orlicz Morrey and Campanato Spaces

Let $φ: {\mathbb R^n}\times [0,\infty)\to[0,\infty)$ be such that $\vz(x,\cdot)$ is nondecreasing, $φ(x,0)=0$ , $φ(x,t)>0$ when $t>0$ , $\lim_{t\to\infty}φ(x,t)=\infty$ and $\vz(\cdot,t)$ is a Muckenhoupt $A_\infty({\mathbb R^n})$ weight uniformly in $t$ . Let $ϕ: [0,\infty)\to[0,\infty)$ be nondecreasing. In this article, the authors introduce the Musielak-Orlicz Morrey space $\mathcal M^{φ,ϕ}(\mathbb R^n)$ and obtain the boundedness on $\mathcal M^{φ,ϕ}(\mathbb R^n)$ of the intrinsic Lusin area function $S_α$ , the intrinsic $g$ -function $g_α$ , the intrinsic $g_λ^*$ -function $g^\ast_{λ, α}$ and their commutators with ${\rm BMO}(\rn)$ functions, where $α\in(0,1]$ , $λ\in(\min\{\max\{3,\,p_1\},3+2\az/n\},\infty)$ and $p_1$ denotes the uniformly upper type index of $\vz$. Let $Φ: [0,\infty)\to[0,\infty)$ be nondecreasing, $Φ(0)=0$ , $Φ(t)>0$ when $t>0$ , and $\lim_{t\to\infty}Φ(t)=\infty$ , $w\in A_\infty(\mathbb R^n)$ and $ϕ: (0,\infty)\to(0,\infty)$ be nonincreasing. The authors also introduce the weighted Orlicz-Morrey space $M_w^{Φ,ϕ}(\mathbb R^n)$ and obtain the boundedness on $M_w^{Φ,ϕ}(\mathbb R^n)$ of the aforementioned intrinsic Littlewood-Paley functions and their commutators with ${\rm BMO}(\rn)$ functions. Finally, for $q\in[1,\fz)$, the boundedness of the aforementioned intrinsic Littlewood-Paley functions on the Musielak Orlicz Campanato space $\mathcal L^{φ,q}(\mathbb R^n)$ is also established.

preprint2013arXiv

Boundedness of Maximal Calderón-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Let $(\cx,\,d,\,μ)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrically doubling condition. In this paper, the authors show that for the maximal Calderón-Zygmund operator associated with a singular integral whose kernel satisfies the standard size condition and the Hörmander condition, its $L^p(μ)$ boundedness with $p\in(1,\infty)$ is equivalent to its boundedness from $L^1(μ)$ into $L^{1,\infty}(μ)$ . Moreover, applying this, together with a new Cotlar type inequality, the authors show that if the Calderón-Zygmund operator $T$ is bounded on $L^2(μ)$ , then the corresponding maximal Calderón-Zygmund is bounded on $L^p(μ)$ for all $p\in(1,\infty)$ , and bounded from $L^1(μ)$ into $L^{1,\infty}(μ)$ . These results essentially improve the existing results.

preprint2013arXiv

Equivalent boundedness of Marcinkiewicz integrals on non-homogeneous metric measure spaces

Let $({\mathcal X},\,d,\,μ)$ be a metric measure space satisfying the upper doubling condition and the geometrically doubling condition in the sense of T. Hytönen. In this paper, the authors prove that the $L^p(μ)$ boundedness with $p\in(1,\,\infty)$ of the Marcinkiewicz integral is equivalent to either of its boundedness from $L^1(μ)$ into $L^{1,\infty}(μ)$ or from the atomic Hardy space $H^1(μ)$ into $L^1(μ)$ . Moreover, the authors show that, if the Marcinkiewicz integral is bounded from $H^1(μ)$ into $L^1(μ)$ , then it is also bounded from $L^\infty(μ)$ into the space ${\mathop\mathrm{RBLO}}(μ)$ (the regularized {\rm BLO}), which is a proper subset of ${\rm RBMO}(μ)$ (the regularized {\rm BMO}) and, conversely, if the Marcinkiewicz integral is bounded from $L_b^\infty(μ)$ (the set of all $L^\infty(μ)$ functions with bounded support) into the space ${\rm RBMO}(μ)$ , then it is also bounded from the finite atomic Hardy space $H_{\rm fin}^{1,\,\infty}(μ)$ into $L^1(μ)$ . These results essentially improve the known results even for non-doubling measures.

preprint2013arXiv

Musielak-Orlicz-Hardy Spaces Associated with Operators Satisfying Reinforced Off-Diagonal Estimates

Let $\mathcal{X}$ be a metric space with doubling measure and $L$ a one-to-one operator of type $ω$ having a bounded $H_\infty$ -functional calculus in $L^2(\mathcal{X})$ satisfying the reinforced $(p_L, q_L)$ off-diagonal estimates on balls, where $p_L\in[1,2)$ and $q_L\in(2,\infty]$ . Let $φ:\,\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that $φ(x,\cdot)$ is an Orlicz function, $φ(\cdot,t)\in {\mathbb A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights), its uniformly critical upper type index $I(φ)\in(0,1]$ and $φ(\cdot,t)$ satisfies the uniformly reverse Hölder inequality of order $(q_L/I(φ))'$ . In this paper, the authors introduce a Musielak-Orlicz-Hardy space $H_{φ,\,L}(\mathcal{X})$ , via the Lusin-area function associated with $L$ , and establish its molecular characterization. In particular, when $L$ is nonnegative self-adjoint and satisfies the Davies-Gaffney estimates, the atomic characterization of $H_{φ,\,L}(\mathcal{X})$ is also obtained. Furthermore, a sufficient condition for the equivalence between $H_{φ,\,L}(\mathbb{R}^n)$ and the classical Musielak-Orlicz-Hardy space $H_φ(\mathbb{R}^n)$ is given. Moreover, for the Musielak-Orlicz-Hardy space $H_{φ,\,L}(\mathbb{R}^n)$ associated with the second order elliptic operator in divergence form on $\rn$ or the Schrödinger operator $L:=-Δ+V$ with $0\le V\in L^1_{\mathrm{loc}}(\mathbb{R}^n)$ , the authors further obtain its several equivalent characterizations in terms of various non-tangential and radial maximal functions; finally, the authors discuss the boundedness of the Riesz transform $\nabla L^{-1/2}$ .

preprint2013arXiv

Regularity and Capacity for the Fractional Dissipative Operator

This note is devoted to exploring some analytic-geometric properties of the regularity and capacity associated to the so-called fractional dissipative operator $\partial_t+(-Δ)^α$ , naturally establishing a diagonally sharp Hausdorff dimension estimate for the blow-up set of a weak solution to the fractional dissipative equation $(\partial_t+(-Δ)^α)u(t,x)=F(t,x)$ subject to $u(0,x)=0$ .

preprint2012arXiv

Endpoint Boundedness of Riesz Transforms on Hardy Spaces Associated with Operators

Let $L_1$ be a nonnegative self-adjoint operator in $L^2({\mathbb R}^n)$ satisfying the Davies-Gaffney estimates and $L_2$ a second order divergence form elliptic operator with complex bounded measurable coefficients. A typical example of $L_1$ is the Schrödinger operator $-Δ+V$ , where $Δ$ is the Laplace operator on ${\mathbb R}^n$ and $0\le V\in L^1_{\mathop\mathrm{loc}} ({\mathbb R}^n)$ . Let $H^p_{L_i}(\mathbb{R}^n)$ be the Hardy space associated to $L_i$ for $i\in\{1,\,2\}$ . In this paper, the authors prove that the Riesz transform $D (L_i^{-1/2})$ is bounded from $H^p_{L_i}(\mathbb{R}^n)$ to the classical weak Hardy space $WH^p(\mathbb{R}^n)$ in the critical case that $p=n/(n+1)$ . Recall that it is known that $D (L_i^{-1/2})$ is bounded from $H^p_{L_i}(\mathbb{R}^n)$ to the classical Hardy space $H^p(\mathbb{R}^n)$ when $p\in(n/(n+1),\,1]$ .

preprint2012arXiv

Hardy Spaces $H_L^p({\mathbb R}^n)$ Associated to Operators Satisfying $k$ -Davies-Gaffney Estimates

Let $L$ be a one to one operator of type $ω$ having a bounded $H_\infty$ functional calculus and satisfying the $k$ -Davies-Gaffney estimates with $k\in{\mathbb N}$ . In this paper, the authors introduce the Hardy space $H_L^p(\mathbb{R}^n)$ with $p\in (0,\,1]$ associated to $L$ in terms of square functions defined via $\{e^{-t^{2k}L}\}_{t>0}$ and establish their molecular and generalized square function characterizations. Typical examples of such operators include the $2k$ -order divergence form homogeneous elliptic operator $L_1$ with complex bounded measurable coefficients and the $2k$ -order Schrödinger type operator $L_2\equiv (-Δ)^k+V^k$ , where $Δ$ is the Laplacian and $0\le V\in L^k_{\mathop\mathrm{loc}}(\mathbb{R}^n)$ . Moreover, as applications, for $i\in\{1,\,2\}$ , the authors prove that the associated Riesz transform $\nabla^k(L_i^{-1/2})$ is bounded from $H_{L_i}^p(\mathbb{R}^n)$ to $H^p(\mathbb{R}^n)$ for $p\in(n/(n+k),\,1]$ and establish the Riesz transform characterizations of $H_{L_1}^p(\mathbb{R}^n)$ for $p\in(rn/(n+kr),\,1]$ if $\{e^{-tL_1}\}_{t>0}$ satisfies the $L^r-L^2$ $k$ -off-diagonal estimates with $r\in (1,2]$ . These results when $k\equiv1$ and $L\equiv L_1$ are known.

preprint2012arXiv

Local Hardy Spaces of Musielak-Orlicz Type and Their Applications

Let $ϕ: \mathbb{R}^n\times[0,\fz)\rightarrow[0,\fz)$ be a function such that $ϕ(x,\cdot)$ is an Orlicz function and $ϕ(\cdot,t)\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$ (the class of local weights introduced by V. S. Rychkov). In this paper, the authors introduce a local Hardy space $h_ϕ(\mathbb{R}^n)$ of Musielak-Orlicz type by the local grand maximal function, and a local $\mathop\mathrm{BMO}$ -type space $\mathop\mathrm{bmo}_ϕ(\mathbb{R}^n)$ which is further proved to be the dual space of $h_ϕ(\mathbb{R}^n)$ . As an application, the authors prove that the class of pointwise multipliers for the local $\mathop\mathrm{BMO}$ -type space $\mathop\mathrm{bmo}^ϕ(\mathbb{R}^n)$ , characterized by E. Nakai and K. Yabuta, is just the dual of $L^1(\rn)+h_{Φ_0}(\mathbb{R}^n)$, where $ϕ$ is an increasing function on $(0,\infty)$ satisfying some additional growth conditions and $Φ_0$ a Musielak-Orlicz function induced by $ϕ$ . Characterizations of $h_ϕ(\mathbb{R}^n)$ , including the atoms, the local vertical and the local nontangential maximal functions, are presented. Using the atomic characterization, the authors prove the existence of finite atomic decompositions achieving the norm in some dense subspaces of $h_ϕ(\mathbb{R}^n)$ , from which, the authors further deduce some criterions for the boundedness on $h_ϕ(\mathbb{R}^n)$ of some sublinear operators. Finally, the authors show that the local Riesz transforms and some pseudo-differential operators are bounded on $h_ϕ(\mathbb{R}^n)$ .

preprint2012arXiv

Musielak-Orlicz Hardy Spaces Associated with Operators and Their Applications

Let $\mathcal{X}$ be a metric space with doubling measure and $L$ a nonnegative self-adjoint operator in $L^2(\mathcal{X})$ satisfying the Davies-Gaffney estimates. Let $φ:\,\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that $φ(x,\cdot)$ is an Orlicz function, $φ(\cdot,t)\in A_{\infty}(\mathcal{X})$ (the class of Muckenhoupt weights) and its uniformly critical lower type index $i(φ)\in(0,1]$ . In this paper, the authors introduce a Musielak-Orlicz Hardy space $H_{φ,\,L}(\mathcal{X})$ by the Lusin area function associated with the heat semigroup generated by $L$ , and a Musielak-Orlicz $\mathop\mathrm{BMO}$ -type space $\mathop\mathrm{BMO}_{φ,\,L}(\mathcal{X})$ which is further proved to be the dual space of $H_{φ,\,L}(\mathcal{X})$ ; as a corollary, the authors obtain the $φ$ -Carleson measure characterization of $\mathop\mathrm{BMO}_{φ,\,L}(\mathcal{X})$ . Characterizations of $H_{φ,\,L}(\mathcal{X})$ , including the atom, the molecule and the Lusin area function associated with the Poisson semigroup of $L$ , are presented. Using the atomic characterization, the authors characterize $H_{φ,\,L}(\mathcal{X})$ in terms of $g^\ast_{λ,\,L}$ . As further applications, the authors obtain several equivalent characterizations of the Musielak-Orlicz Hardy space $H_{φ,\,L}(\mathbb{R}^n)$ associated with the Schrödinger operator $L=-Δ+V$ , where $0\le V\in L^1_{\mathrm{loc}}(\mathbb{R}^n)$ is a nonnegative potential, in terms of the Lusin-area function, the non-tangential maximal function, the radial maximal function, the atom and the molecule.

preprint2012arXiv

New Characterizations of Besov-Triebel-Lizorkin-Hausdorff Spaces Including Coorbits and Wavelets

In this paper, the authors establish new characterizations of the recently introduced Besov-type spaces $\dot{B}^{s,τ}_{p,q}({\mathbb R}^n)$ and Triebel-Lizorkin-type spaces $\dot{F}^{s,τ}_{p,q}({\mathbb R}^n)$ with $p\in (0,\infty]$ , $s\in{\mathbb R}$ , $τ\in [0,\infty)$ , and $q\in (0,\infty]$ , as well as their preduals, the Besov-Hausdorff spaces $B\dot{H}^{s,τ}_{p,q}(\R^n)$ and Triebel-Lizorkin-Hausdorff spaces $F\dot{H}^{s,τ}_{p,q}(\R^n)$ , in terms of the local means, the Peetre maximal function of local means, and the tent space (the Lusin area function) in both discrete and continuous types. As applications, the authors then obtain interpretations as coorbits in the sense of H. Rauhut in [Studia Math. 180 (2007), 237-253] and discretizations via the biorthogonal wavelet bases for the full range of parameters of these function spaces. Even for some special cases of this setting such as $\dot F^s_{\infty,q}({\mathbb R}^n)$ for $s\in{\mathbb R}$ , $q\in (0,\infty]$ (including $\mathop\mathrm{BMO} ({\mathbb R}^n)$ when $s=0$ , $q=2$ ), the $Q$ space $Q_α({\mathbb R}^n)$ , the Hardy-Hausdorff space $HH_{-α}({\mathbb R}^n)$ for $α\in (0,\min\{\frac n2,1\})$ , the Morrey space ${\mathcal M}^u_p({\mathbb R}^n)$ for $1<p\le u<\infty$ , and the Triebel-Lizorkin-Morrey space $\dot{\mathcal{E}}^s_{upq}({\mathbb R}^n)$ for $0<p\le u<\infty$ , $s\in{\mathbb R}$ and $q\in(0,\infty]$ , some of these results are new.

preprint2012arXiv

New Real-Variable Characterizations of Musielak-Orlicz Hardy Spaces

Let $φ: {\mathbb R^n}\times [0,\infty)\to[0,\infty)$ be such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty({\mathbb R^n})$ weight. The Musielak-Orlicz Hardy space $H^φ(\mathbb R^n)$ is defined to be the space of all $f\in{\mathcal S}'({\mathbb R^n})$ such that the grand maximal function $f^*$ belongs to the Musielak-Orlicz space $L^φ(\mathbb R^n)$ . Luong Dang Ky established its atomic characterization. In this paper, the authors establish some new real-variable characterizations of $H^φ(\mathbb R^n)$ in terms of the vertical or the non-tangential maximal functions, or the Littlewood-Paley $g$ -function or $g_λ^\ast$ -function, via first establishing a Musielak-Orlicz Fefferman-Stein vector-valued inequality. Moreover, the range of $λ$ in the $g_λ^\ast$ -function characterization of $H^φ(\mathbb R^n)$ coincides with the known best results, when $H^φ(\mathbb R^n)$ is the classical Hardy space $H^p(\mathbb R^n)$ , with $p\in (0,1]$ , or its weighted variant.

preprint2012arXiv

Orlicz-Hardy Spaces Associated with Divergence Operators on Unbounded Strongly Lipschitz Domains of $\mathbb{R}^n$

Let $Ω$ be either $\mathbb{R}^n$ or an unbounded strongly Lipschitz domain of $\mathbb{R}^n$ , and $Φ$ be a continuous, strictly increasing, subadditive and positive function on $(0,\infty)$ of upper type 1 and of strictly critical lower type $p_Φ\in(n/(n+1),1]$ . Let $L$ be a divergence form elliptic operator on $L^2 (Ω)$ with the Neumann boundary condition and the heat semigroup generated by $L$ have the Gaussian property $(G_{\infty})$ . In this paper, the authors introduce the Orlicz-Hardy space $H_{Φ,\,L}(Ω)$ via the nontangential maximal function associated with $\{e^{-t\sqrt{L}}\}_{t\ge0}$ , and establish its equivalent characterization in terms of the Lusin area function associated with $\{e^{-t\sqrt{L}}\}_{t\ge0}$ . The authors also introduce the "geometrical" Orlicz-Hardy space $H_{Φ,\,z}(Ω)$ via the classical Orlicz-Hardy space $H_Φ(\mathbb{R}^n)$ , and prove that the spaces $H_{Φ,\,L}(Ω)$ and $H_{Φ,\,z}(Ω)$ coincide with equivalent norms, from which, characterizations of $H_{Φ,\,L}(Ω)$ , including the vertical and the nontangential maximal function characterizations associated with $\{e^{-tL}\}_{t\ge0}$ , and the Lusin area function characterization associated with $\{e^{-tL}\}_{t\ge0}$ , are deduced. All the above results generalize the well-known results of P. Auscher and E. Russ by taking $Φ(t)\equiv t$ for all $t\in(0,\infty)$ .

preprint2012arXiv

Relations among Besov-Type Spaces, Triebel-Lizorkin-Type Spaces and Generalized Carleson Measure Spaces

In this paper, the authors construct some counterexamples to show that the generalized Carleson measure space and the Triebel-Lizorkin-type space are not equivalent for certain parameters, which was claimed to be true in [Taiwanese J. Math. 15 (2011), 919-926]. Moreover, the authors show that for some special parameters, the generalized Carleson measure space, the Triebel-Lizorkin-type space and the Besov-type space coincide with certain Triebel-Lizorkin space, which answers a question posed in Remark 6.11(i) of [Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010, xi+281 pp.].

preprint2012arXiv

The Hardy Space $H^1$ on Non-homogeneous Metric Spaces

Let $({\mathcal X}, d, μ)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrical doubling condition. In this paper, we introduce the atomic Hardy space $H^1(μ)$ and prove that its dual space is the known space ${\rm RBMO}(μ)$ in this context. Using this duality, we establish a criterion for the boundedness of linear operators from $H^1(μ)$ to any Banach space. As an application of this criterion, we obtain the boundedness of Calderón--Zygmund operators from $H^1(μ)$ to $L^1(μ)$ .

preprint2012arXiv

Weighted Local Orlicz-Hardy Spaces on Domains and Their Applications in Inhomogeneous Dirichlet and Neumann Problems

Let $Ω$ be either $\mathbb{R}^n$ or a strongly Lipschitz domain of $\mathbb{R}^n$ , and $ω\in A_{\infty}(\mathbb{R}^n)$ (the class of Muckenhoupt weights). Let $L$ be a second order divergence form elliptic operator on $L^2 (Ω)$ with the Dirichlet or Neumann boundary condition, and assume that the heat semigroup generated by $L$ has the Gaussian property $(G_1)$ with the regularity of their kernels measured by $μ\in(0,1]$ . Let $Φ$ be a continuous, strictly increasing, subadditive, positive and concave function on $(0,\infty)$ of critical lower type index $p_Φ^-\in(0,1]$ . In this paper, the authors introduce the "geometrical" weighted local Orlicz-Hardy spaces $h^Φ_{ω,\,r}(Ω)$ and $h^Φ_{ω,\,z}(Ω)$ via the weighted local Orlicz-Hardy spaces $h^Φ_ω(\mathbb{R}^n)$ , and obtain their two equivalent characterizations in terms of the nontangential maximal function and the Lusin area function associated with the heat semigroup generated by $L$ when $p_Φ^-\in(n/(n+μ),1]$ . As applications, the authors prove that the operators $\nabla^2{\mathbb G}_D$ are bounded from $h^Φ_{ω,\,r}(Ω)$ to the weighted Orlicz space $L^Φ_ω(Ω)$ , and from $h^Φ_{ω,\,r}(Ω)$ to itself when $Ω$ is a bounded semiconvex domain in $\mathbb{R}^n$ and $p_Φ^-\in(\frac{n}{n+1},1]$ , and the operators $\nabla^2{\mathbb G}_N$ are bounded from $h^Φ_{ω,\,z}(Ω)$ to $L^Φ_ω(Ω)$ , and from $h^Φ_{ω,\,z}(Ω)$ to $h^Φ_{ω,\,r}(Ω)$ when $Ω$ is a bounded convex domain in $\mathbb{R}^n$ and $p_Φ^-\in(\frac{n}{n+1},1]$ , where ${\mathbb G}_D$ and ${\mathbb G}_N$ denote, respectively, the Dirichlet Green operator and the Neumann Green operator.

preprint2011arXiv

Equivalent Characterizations for Boundedness of Maximal Singular Integrals on $ax+b$ \,--Groups

Let $(S, d, ρ)$ be the affine group $\mathrm{R}^n \ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian metric $d$ and the right Haar measure $ρ$ , which is of exponential growth at infinity. In this paper, for any linear operator $T$ on $(S, d, ρ)$ associated with a kernel $K$ satisfying certain integral size condition and Hörmander's condition, the authors prove that the following four statements regarding the corresponding maximal singular integral $T^\ast$ are equivalent: $T^\ast$ is bounded from $L_c^\infty$ to $\mathrm{BMO}$ , $T^\ast$ is bounded on $L^p$ for all $p\in(1, \infty)$ , $T^\ast$ is bounded on $L^p$ for certain $p\in(1, \infty)$ and $T^\ast$ is bounded from $L^1$ to $L^{1,\,\infty}$ . As applications of these results, for spectral multipliers of a distinguished Laplacian on $(S, d, ρ)$ satisfying certain Mihlin-Hörmander type condition, the authors obtain that their maximal singular integrals are bounded from $L_c^\infty$ to $\mathrm{BMO}$ , from $L^1$ to $L^{1,\,\infty}$ , and on $L^p$ for all $p\in(1, \infty)$ .

preprint2011arXiv

Real-Variable Characterizations Of Hardy Spaces Associated With Bessel Operators

Let $λ>0$ , $p\in((2\lz+1)/(2\lz+2), 1]$, and $\triangle_λ\equiv-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$ be the Bessel operator. In this paper, the authors establish the characterizations of atomic Hardy spaces $H^p((0, \infty), dm_λ)$ associated with $\triangle_λ$ in terms of the radial maximal function, the nontangential maximal function, the grand maximal function, the Littlewood-Paley $g$ -function and the Lusin-area function, where $dm_λ(x)\equiv x^{2λ}\,dx$ . As an application, the authors further obtain the Riesz transform characterization of these Hardy spaces.

preprint2011arXiv

Real-variable Characterizations of Orlicz-Hardy Spaces on Strongly Lipschitz Domains of $\mathbb{R}^n$

Let $Ω$ be a strongly Lipschitz domain of $\mathbb{R}^n$ , whose complement in $\mathbb{R}^n$ is unbounded. Let $L$ be a second order divergence form elliptic operator on $L^2 (Ω)$ with the Dirichlet boundary condition, and the heat semigroup generated by $L$ have the Gaussian property $(G_{\mathrm{diam}(Ω)})$ with the regularity of their kernels measured by $μ\in(0,1]$ , where $\mathrm{diam}(Ω)$ denotes the diameter of $Ω$ . Let $Φ$ be a continuous, strictly increasing, subadditive and positive function on $(0,\infty)$ of upper type 1 and of strictly critical lower type $p_Φ\in(n/(n+μ),1]$ . In this paper, the authors introduce the Orlicz-Hardy space $H_{Φ,\,r}(Ω)$ by restricting arbitrary elements of the Orlicz-Hardy space $H_Φ(\mathbb{R}^n)$ to $\boz$ and establish its atomic decomposition by means of the Lusin area function associated with $\{e^{-tL}\}_{t\ge0}$ . Applying this, the authors obtain two equivalent characterizations of $H_{Φ,\,r}(\boz)$ in terms of the nontangential maximal function and the Lusin area function associated with the heat semigroup generated by $L$ .

preprint2011arXiv

Vanishing Mean Oscillation Spaces Associated with Operators Satisfying Davies-Gaffney Estimates

Let $(\mathcal{X}, d, μ)$ be a metric measure space, $L$ a linear operator which has a bounded $H_\infty$ functional calculus and satisfies the Davies-Gaffney estimate, $Φ$ a concave function on $(0,\infty)$ of critical lower type $p_Φ^-\in(0,1]$ and $ρ(t)\equiv t^{-1}/Φ^{-1}(t^{-1})$ for all $t\in(0,\infty)$ . In this paper, the authors introduce the generalized VMO space ${\mathrm {VMO}}_{ρ,L}({\mathcal X})$ associated with $L$ , and establish its characterization via the tent space. As applications, the authors show that $({\mathrm {VMO}}_{ρ,L}({\mathcal X}))^*=B_{Φ,L^*}({\mathcal X})$ , where $L^*$ denotes the adjoint operator of $L$ in $L^2({\mathcal X})$ and $B_{Φ,L^*}({\mathcal X})$ the Banach completion of the Orlicz-Hardy space $H_{Φ,L^*}({\mathcal X})$ .

preprint2011arXiv

Weighted Local Orlicz-Hardy Spaces with Applications to Pseudo-differential Operators

Let $Φ$ be a concave function on $(0,\infty)$ of strictly lower type $p_Φ\in(0,1]$ and $ω\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$ . We introduce the weighted local Orlicz-Hardy space $h^Φ_ω(\mathbb{R}^n)$ via the local grand maximal function. Let $ρ(t)\equiv t^{-1}/Φ^{-1}(t^{-1})$ for all $t\in(0,\infty)$ . We also introduce the $\mathop\mathrm{BMO}$ -type space $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$ and establish the duality between $h^Φ_ω(\mathbb{R}^n)$ and $\mathop\mathrm{bmo}_{ρ,\,ω}(\mathbb{R}^n)$ . Several real-varaiable characterizations of $h^Φ_ω(\mathbb{R}^n)$ are presented. Using the atomic characterization, we prove the existence of finite atomic decompositions achieving the norm in some dense subspaces of $h^Φ_ω(\mathbb{R}^n)$ . As applications, we show that the local Riesz transforms are bounded on $h^Φ_ω(\mathbb{R}^n)$ , the local fractional integrals are bounded from {\normalsize $h^p_{ω^p}(\mathbb{R}^n)$ } to {\normalsize $L^q_{ω^q}(\mathbb{R}^n)$ } when $q>1$ and from {\normalsize $h^p_{ω^p}(\mathbb{R}^n)$ } to {\normalsize $h^q_{ω^q}(\mathbb{R}^n)$ } when $q\le 1$ , and some pseudo-differential operators are also bounded on both $h^Φ_ω(\mathbb{R}^n)$ . All results for any general $Φ$ even when $ω\equiv 1$ are new.

preprint2010arXiv

Anisotropic Singular Integrals in Product Spaces

Let $A_i$ for $i=1, 2$ be an expansive dilation, respectively, on ${\mathbb R}^n$ and ${\mathbb R}^m$ and $\vec A\equiv(A_1, A_2)$ . Denote by ${\mathcal A}_\infty(\rnm; \vec A)$ the class of Muckenhoupt weights associated with $\vec A$ . The authors introduce a class of anisotropic singular integrals on $\mathbb R^n\times\mathbb R^m$ , whose kernels are adapted to $\vec A$ in the sense of Bownik and have vanishing moments defined via bump functions in the sense of Stein. Then the authors establish the boundedness of these anisotropic singular integrals on $L^q_w(\mathbb R^n\times\mathbb R^m)$ with $q\in(1, \infty)$ and $w\in\mathcal A_q(\mathbb R^n\times\mathbb R^m; \vec A)$ or on $H^p_w(\mathbb R^n\times\mathbb R^m; \vec A)$ with $p\in(0, 1]$ and $w\in\mathcal A_\infty(\mathbb R^n \times\mathbb R^m; \vec A)$ . These results are also new even when $w=1$ .

preprint2010arXiv

Boundedness of Calderón-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Let $({\mathcal X}, d, μ)$ be a separable metric measure space satisfying the known upper doubling condition, the geometrical doubling condition and the non-atomic condition that $μ(\{x\})=0$ for all $x\in{\mathcal X}$ . In this paper, we show that the boundedness of a Calderón-Zygmund operator $T$ on $L^2(μ)$ is equivalent to that of $T$ on $L^p(μ)$ for some $p\in (1, \infty)$ , and that of $T$ from $L^1(μ)$ to $L^{1,\,\infty}(μ).$ As an application, we prove that if $T$ is a Calderón-Zygmund operator bounded on $L^2(μ)$ , then its maximal operator is bounded on $L^p(μ)$ for all $p\in (1, \infty)$ and from the space of all complex-valued Borel measures on ${\mathcal X}$ to $L^{1,\,\infty}(μ)$ . All these results generalize the corresponding results of Nazarov et al. on metric spaces with measures satisfying the so-called polynomial growth condition.

preprint2010arXiv

Boundedness of Lusin-area and $g_λ^\ast$ Functions on Localized BMO Spaces over Doubling Metric Measure Spaces

Let ${\mathcal X}$ be a doubling metric measure space. If ${\mathcal X}$ has the $δ$ -annular decay property for some $δ\in (0,\,1]$ , the authors then establish the boundedness of the Lusin-area function, which is defined via kernels modeled on the semigroup generated by the Schrödinger operator, from localized spaces ${\rm BMO}_ρ({\mathcal X})$ to ${\rm BLO}_ρ({\mathcal X})$ without invoking any regularity of considered kernels. The same is true for the $g^\ast_\labda$ function and unlike the Lusin-area function, in this case, ${\mathcal X}$ is not necessary to have the $δ$ -annular decay property. Moreover, for any metric space, the authors introduce the weak geodesic property and the monotone geodesic property, which are proved to be respectively equivalent to the chain ball property of Buckley. Recall that Buckley proved that any length space has the chain ball property and, for any metric space equipped with a doubling measure, the chain ball property implies the $δ$ -annular decay property for some $δ\in (0,1]$ . Moreover, using some results on pointwise multipliers of ${\rm bmo}({\mathbb R})$ , the authors construct a counterexample to show that there exists a nonnegative function which is in ${\rm bmo}({\mathbb R})$ , but not in ${\rm blo}({\mathbb R})$ ; this further indicates that the above boundedness of the Lusin-area and $g^\ast_λ$ functions even in ${\mathbb R}^d$ with the Lebesgue measure or the Heisenberg group also improves the existing results.

preprint2010arXiv

Decompositions of Besov-Hausdorff and Triebel-Lizorkin-Hausdorff Spaces and Their Applications

Let $p\in(1,\infty)$ , $q\in[1,\infty)$ , $s\in\mathbb{R}$ and $τ\in[0, 1-\frac{1}{\max\{p,q\}}]$ . In this paper, the authors establish the $φ$ -transform characterizations of Besov-Hausdorff spaces $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ and Triebel-Lizorkin-Hausdorff spaces $F{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ ( $q>1$ ); as applications, the authors then establish their embedding properties (which on $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ is also sharp), smooth atomic and molecular decomposition characterizations for suitable $τ$ . Moreover, using their atomic and molecular decomposition characterizations, the authors investigate the trace properties and the boundedness of pseudo-differential operators with homogeneous symbols in $B{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ and $F{\dot H}_{p,q}^{s,τ}(\mathbb{R}^n)$ ( $q>1$ ), which generalize the corresponding classical results on homogeneous Besov and Triebel-Lizorkin spaces when $p\in(1,\infty)$ and $q\in[1,\infty)$ by taking $τ=0$ .

preprint2010arXiv

Dyadic Sets, Maximal Functions and Applications on $ax+b$ --Groups

Let $S$ be the Lie group $\mathrm{R}^n\ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian symmetric space structure and the right Haar measure $ρ$ , which is a Lie group of exponential growth. Hebisch and Steger in [Math. Z. 245(2003), 37--61] proved that any integrable function on $(S,ρ)$ admits a Calderón--Zygmund decomposition which involves a particular family of sets, called Calderón--Zygmund sets. In this paper, we first show the existence of a dyadic grid in the group $S$ , which has {nice} properties similar to the classical Euclidean dyadic cubes. Using the properties of the dyadic grid we shall prove a Fefferman--Stein type inequality, involving the dyadic maximal Hardy--Littlewood function and the dyadic sharp dyadic function. As a consequence, we obtain a complex interpolation theorem involving the Hardy space $H^1$ and the $BMO$ space introduced in [Collect. Math. 60(2009), 277--295].

preprint2010arXiv

Generalized Vanishing Mean Oscillation Spaces Associated with Divergence Form Elliptic Operators

Let $L$ be a divergence form elliptic operator with complex bounded measurable coefficients, $ω$ a positive concave function on $(0,\infty)$ of strictly critical lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for $t\in (0,\infty).$ In this paper, the authors introduce the generalized VMO spaces ${\mathop\mathrm{VMO}_ {ρ, L}({\mathbb R}^n)}$ associated with $L$ , and characterize them via tent spaces. As applications, the authors show that $(\mathrm{VMO}_{ρ,L} ({\mathbb R}^n))^\ast=B_{ω,L^\ast}({\mathbb R}^n)$ , where $L^\ast$ denotes the adjoint operator of $L$ in $L^2({\mathbb R}^n)$ and $B_{ω,L^\ast}({\mathbb R}^n)$ the Banach completion of the Orlicz-Hardy space $H_{ω,L^\ast}({\mathbb R}^n)$ . Notice that $ω(t)=t^p$ for all $t\in (0,\infty)$ and $p\in (0,1]$ is a typical example of positive concave functions satisfying the assumptions. In particular, when $p=1$ , then $ρ(t)\equiv 1$ and $({\mathop\mathrm{VMO}_{1, L}({\mathbb R}^n)})^\ast=H_{L^\ast}^1({\mathbb R}^n)$ , where $H_{L^\ast}^1({\mathbb R}^n)$ was the Hardy space introduced by Hofmann and Mayboroda.

preprint2010arXiv

Localized Hardy Spaces $H^1$ Related to Admissible Functions on RD-Spaces and Applications to Schrödinger Operators

Let ${\mathcal X}$ be an RD-space, which means that ${\mathcal X}$ is a space of homogenous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in ${\mathcal X}$ . In this paper, the authors first introduce the notion of admissible functions $ρ$ and then develop a theory of localized Hardy spaces $H^1_ρ({\mathcal X})$ associated with $ρ$ , which includes several maximal function characterizations of $H^1_ρ({\mathcal X})$ , the relations between $H^1_ρ({\mathcal X})$ and the classical Hardy space $H^1({\mathcal X})$ via constructing a kernel function related to $ρ$ , the atomic decomposition characterization of $H^1_ρ({\mathcal X})$ , and the boundedness of certain localized singular integrals in $H^1_ρ({\mathcal X})$ via a finite atomic decomposition characterization of some dense subspace of $H^1_ρ({\mathcal X})$ . This theory has a wide range of applications. Even when this theory is applied, respectively, to the Schrödinger operator or the degenerate Schrödinger operator on $\rn$, or the sub-Laplace Schrödinger operator on Heisenberg groups or connected and simply connected nilpotent Lie groups, some new results are also obtained. The Schrödinger operators considered here are associated with nonnegative potentials satisfying the reverse Hölder inequality.

preprint2010arXiv

New Properties of Besov and Triebel-Lizorkin Spaces on RD-Spaces

An RD-space $\mathcal X$ is a space of homogeneous type in the sense of Coifman and Weiss with the additional property that a reverse doubling property holds in $\mathcal X$ . In this paper, the authors first give several equivalent characterizations of RD-spaces and show that the definitions of spaces of test functions on $\mathcal X$ are independent of the choice of the regularity $ε\in (0,1)$ ; as a result of this, the Besov and Triebel-Lizorkin spaces on $\mathcal X$ are also independent of the choice of the underlying distribution space. Then the authors characterize the norms of inhomogeneous Besov and Triebel-Lizorkin spaces by the norms of homogeneous Besov and Triebel-Lizorkin spaces together with the norm of local Hardy spaces in the sense of Goldberg. Also, the authors obtain the sharp locally integrability of elements in Besov and Triebel-Lizorkin spaces.

preprint2010arXiv

Orlicz-Hardy Spaces Associated with Operators Satisfying Davies-Gaffney Estimates

Let ${\mathcal X}$ be a metric space with doubling measure, $L$ a nonnegative self-adjoint operator in $L^2({\mathcal X})$ satisfying the Davies-Gaffney estimate, $ω$ a concave function on $(0,\infty)$ of strictly lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for all $t\in (0,\infty).$ The authors introduce the Orlicz-Hardy space $H_{ω,L}({\mathcal X})$ via the Lusin area function associated to the heat semigroup, and the BMO-type space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$ . The authors then establish the duality between $H_{ω,L}({\mathcal X})$ and $\mathrm{BMO}_{ρ,L}({\mathcal X})$ ; as a corollary, the authors obtain the $ρ$ -Carleson measure characterization of the space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$ . Characterizations of $H_{ω,L}({\mathcal X})$ , including the atomic and molecular characterizations and the Lusin area function characterization associated to the Poisson semigroup, are also presented. Let ${\mathcal X}={\mathbb R}^n$ and $L=-Δ+V$ be a Schrödinger operator, where $V\in L^1_{\mathrm{\,loc\,}}({\mathbb R}^n)$ is a nonnegative potential. As applications, the authors show that the Riesz transform $\nabla L^{-1/2}$ is bounded from $H_{ω,L}({{\mathbb R}^n})$ to $L(ω)$ ; moreover, if there exist $q_1,\,q_2\in (0,\infty)$ such that $q_1<1<q_2$ and {\normalsize $[ω(t^{q_2})]^{q_1}$ } is a convex function on $(0,\infty)$ , then several characterizations of the Orlicz-Hardy space $H_{ω,L}({{\mathbb R}^n})$ , in terms of the Lusin-area functions, the non-tangential maximal functions, the radial maximal functions, the atoms and the molecules, are obtained. All these results are new even when $ω(t)=t^p$ for all $t\in (0,\infty)$ and $p\in (0,1)$ .

preprint2010arXiv

Pointwise Characterizations of Besov and Triebel-Lizorkin Spaces and Quasiconformal Mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces $\dot B^s_{p,\,q}$ and Triebel-Lizorkin spaces $\dot F^s_{p,\,q}$ for all $s\in(0,\,1)$ and $p,\,q\in(n/(n+s),\,\infty],$ both in ${\mathbb R}^n$ and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve $\dot F^s_{n/s,\,q}$ on $\rn$ for all $s\in(0,\,1)$ and $q\in(n/(n+s),\,\infty]$ . A metric measure space version of the above morphism property is also established.

preprint2010arXiv

Predual Spaces of Banach Completions of Orlicz-Hardy Spaces Associated with Operators

Let $L$ be a linear operator in $L^2({{\mathbb R}^n})$ and generate an analytic semigroup $\{e^{-tL}\}_{t\ge 0}$ with kernels satisfying an upper bound of Poisson type, whose decay is measured by $θ(L)\in (0,\infty].$ Let $ω$ on $(0,\infty)$ be of upper type 1 and of critical lower type $\widetilde p_0(ω)\in (n/(n+θ(L)), 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for $t\in (0,\infty)$ . In this paper, the authors first introduce the VMO-type space $\mathrm{VMO}_{ρ,L}({\mathbb R}^n)$ and the tent space $T^{\infty}_{ω,\mathrm v}({\mathbb R}^{n+1}_+)$ and characterize the space $\mathrm{VMO}_{ρ,L}({\mathbb R}^n)$ via the space $T^{\infty}_{ω,\mathrm v}({\mathbb R}^{n+1}_+)$ . Let $\widetilde{T}_ω ({\mathbb R}^{n+1}_+)$ be the Banach completion of the tent space $T_ω({\mathbb R}^{n+1}_+)$ . The authors then prove that $\widetilde{T}_ω({\mathbb R}^{n+1}_+)$ is the dual space of $T^{\infty}_{ω,\mathrm v}({\mathbb R}^{n+1}_+)$ . As an application of this, the authors finally show that the dual space of $\mathrm{VMO}_{ρ,L^\ast}({\mathbb R}^n)$ is the space $B_{ω,L}({\mathbb R}^n)$ , where $L^\ast$ denotes the adjoint operator of $L$ in $L^2({\mathbb R}^n)$ and $B_{ω,L}({\mathbb R}^n)$ the Banach completion of the Orlicz-Hardy space $H_{ω,L}({\mathbb R}^n)$ . These results generalize the known recent results by particularly taking $ω(t)=t$ for $t\in (0,\infty)$ .

preprint2010arXiv

Spaces of Type BLO on Non-homogeneous Metric Measure Spaces

Let $({\mathcal X}, d, μ)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrically doubling condition. In this paper, the authors introduce the space ${\mathop\mathrm{RBLO}}(μ)$ and prove that it is a subset of the known space ${\mathop\mathrm{RBMO}}(μ)$ in this context. Moreover, the authors establish several useful characterizations for the space ${\mathop\mathrm{RBLO}}(μ)$ . As an application, the authors obtain the boundedness of the maximal Calderón-Zygmund operators from $L^\infty(μ)$ to ${\mathop\mathrm{RBLO}}(μ)$ .

Dachun Yang

Research overview

Is this your work?

96 publications

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

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

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

Boundedness of Fractional Integrals on Ball Campanato-Type Function Spaces

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

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

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

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

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

John-Nirenberg inequalities for parabolic BMO

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

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

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

Parabolic Muckenhoupt Weights on Spaces of Homogeneous Type

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

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

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

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

The LpL^pLp-to-LqL^qLq Compactness of Commutators with p>qp>qp>q

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

Compactness Characterizations of Commutators on Ball Banach Function Spaces

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

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

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

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

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

XMO and Weighted Compact Bilinear Commutators

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

Bilinear Decompositions of Products of Hardy and Lipschitz Spaces Through Wavelets

Gradient Estimates via Rearrangements for Solutions of Some Schrödinger Equations

Littlewood-Paley Characterizations of Anisotropic Hardy-Lorentz Spaces

Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Maximal Function Characterizations of Musielak-Orlicz-Hardy Spaces Associated to Non-negative Self-adjoint Operators Satisfying Gaussian Estimates

Maximal Function Characterizations of Variable Hardy Spaces Associated with Non-negative Self-adjoint Operators Satisfying Gaussian Estimates

Riesz Transform Characterization and Fefferman-Stein Decomposition of Triebel-Lizorkin Spaces

Variable Weak Hardy Spaces and Their Applications

Anisotropic Hardy-Lorentz Spaces and Their Applications

Besov-Type and Triebel--Lizorkin-Type Spaces Associated with Heat Kernels

Besov-Type Spaces with Variable Smoothness and Integrability

Boundedness of Commutators on Hardy Spaces over Metric Measure Spaces of Non-homogeneous Type

Characterizations of Besov and Triebel-Lizorkin Spaces via Averages on Balls

Characterizations of Variable Exponent Hardy Spaces via Riesz Transforms

Interpolation of Morrey-Campanato and Related Smoothness Spaces

Littlewood-Paley Characterizations of Fractional Sobolev Spaces via Averages on Balls

Maximal Function Characterizations of Hardy Spaces Associated to Homogeneous Higher Order Elliptic Operators

Molecular Characterizations and Dualities of Variable Exponent Hardy Spaces Associated with Operators

Products of Functions in BMO(X){\mathop\mathrm{BMO}}({\mathcal X})BMO(X) and Hat1(X)H^1_{\rm at}({\mathcal X})Hat1​(X) via Wavelets over Spaces of Homogeneous Type

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Triebel-Lizorkin-Type Spaces with Variable Exponents

Wavelet Characterizations of the Atomic Hardy Space H1H^1H1 on Spaces of Homogeneous Type

Weighted LpL^pLp Estimates of Kato Square Roots Associated to Degenerate Elliptic Operators

Weighted Endpoint Estimates for Commutators of Calderón-Zygmund Operators

A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces

Generalized Fractional Integrals and Their Commutators over Non-homogeneous Metric Measure Spaces

Hajlasz Gradients Are Upper Gradients

Hardy spaces HpH^pHp over non-homogeneous metric measure spaces and their applications

Intrinsic Square Function Characterizations of Hardy Spaces with Variable Exponents

Lusin Area Function and Molecular Characterizations of Musielak-Orlicz Hardy Spaces and Their Applications

Musielak-Orlicz BMO-Type Spaces Associated with Generalized Approximations to the Identity

Musielak-Orlicz Campanato Spaces and Applications

Riesz Transform Characterizations of Musielak-Orlicz-Hardy Spaces

The Radial Lemma of Strauss in the Context of Morrey Spaces

Towards spaces of harmonic functions with traces in square Campanato space and its scaling invariant

Weak Hardy Spaces WHLp(Rn)WH_L^p({\mathbb R}^n)WHLp​(Rn) Associated to Operators Satisfying kkk-Davies-Gaffney Estimates

Boundedness of Intrinsic Littlewood-Paley Functions on Musielak-Orlicz Morrey and Campanato Spaces

Boundedness of Maximal Calderón-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Equivalent boundedness of Marcinkiewicz integrals on non-homogeneous metric measure spaces

Musielak-Orlicz-Hardy Spaces Associated with Operators Satisfying Reinforced Off-Diagonal Estimates

Regularity and Capacity for the Fractional Dissipative Operator

Endpoint Boundedness of Riesz Transforms on Hardy Spaces Associated with Operators

Hardy Spaces HLp(Rn)H_L^p({\mathbb R}^n)HLp​(Rn) Associated to Operators Satisfying kkk-Davies-Gaffney Estimates

Local Hardy Spaces of Musielak-Orlicz Type and Their Applications

Musielak-Orlicz Hardy Spaces Associated with Operators and Their Applications

New Characterizations of Besov-Triebel-Lizorkin-Hausdorff Spaces Including Coorbits and Wavelets

New Real-Variable Characterizations of Musielak-Orlicz Hardy Spaces

Orlicz-Hardy Spaces Associated with Divergence Operators on Unbounded Strongly Lipschitz Domains of Rn\mathbb{R}^nRn

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

Products of Functions in ${\mathop\mathrm{BMO}}({\mathcal X})$ and $H^1_{\rm at}({\mathcal X})$ via Wavelets over Spaces of Homogeneous Type

Wavelet Characterizations of the Atomic Hardy Space $H^1$ on Spaces of Homogeneous Type

Weighted $L^p$ Estimates of Kato Square Roots Associated to Degenerate Elliptic Operators

Hardy spaces $H^p$ over non-homogeneous metric measure spaces and their applications

Weak Hardy Spaces $WH_L^p({\mathbb R}^n)$ Associated to Operators Satisfying $k$ -Davies-Gaffney Estimates

Hardy Spaces $H_L^p({\mathbb R}^n)$ Associated to Operators Satisfying $k$ -Davies-Gaffney Estimates

Orlicz-Hardy Spaces Associated with Divergence Operators on Unbounded Strongly Lipschitz Domains of $\mathbb{R}^n$

The Hardy Space $H^1$ on Non-homogeneous Metric Spaces

Equivalent Characterizations for Boundedness of Maximal Singular Integrals on $ax+b$ \,--Groups

Real-variable Characterizations of Orlicz-Hardy Spaces on Strongly Lipschitz Domains of $\mathbb{R}^n$

Boundedness of Lusin-area and $g_λ^\ast$ Functions on Localized BMO Spaces over Doubling Metric Measure Spaces

Dyadic Sets, Maximal Functions and Applications on $ax+b$ --Groups

Localized Hardy Spaces $H^1$ Related to Admissible Functions on RD-Spaces and Applications to Schrödinger Operators