The authors study Hardy spaces, of arbitrary order, on a space of homogeneous type. This extends earlier work that treated only $H^p$ for $p$ near 1. Applications are given to the boundedness of certain singular integral operators, especially on domains in complex space.
We study the holomorphic tent spaces $\mathcal{HT}^p_{q,α}(\Bn)$, which are motivated by the area function description of the Hardy spaces on one hand, and the maximal function description of the Hardy spaces on the other. Characterizations for these spaces under general fractional differential operators are given. We describe the dual of $\mathcal{HT}^p_{q,α}(\Bn)$ for the full range $0<p,q<\infty$ and $α>-n-1$. Here the case $1<p<\infty$, $q\leq 1$ leads us to the Hardy-Bloch type spaces $\mathcal{BT}^{p}(\Bn)$ and $\mathcal{BT}^{p,0}(\Bn)$, the latter being the predual of $\mathcal{HT}^p_{1…
We show the dual spaces of conditional Hardy space and symmetric Hardy space of noncommutative martingales. We derive relationship between the symmetric Hardy space of noncommutative martingales and its conditioned version.
We are concerned with Hardy and BMO spaces of operator-valued functions analytic in the unit disk of $\mathbb{C}.$ In the case of the Hardy space, we involve the atomic decomposition since the usual argument in the scalar setting is not suitable. Several properties (the Garsia-norm equivalent theorem, Carleson measure, and so on) of BMOA spaces are extended to the operator-valued setting. Then, the operator-valued $\mathrm{H}^1$-BMOA duality theorem is proved. Finally, by the $\mathrm{H}^1$-BMOA duality we present the Lusin area integral and Littlewood-Paley $g$-function characterizations of t…
We study the mapping properties of the Hardy--Littlewood fractional maximal operator between Lorentz spaces of the homogeneous tree and discuss the optimality of all the results.
We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups.
In this paper we describe the Euler semigroup $\{e^{-t\mathbb{E}^{*}\mathbb{E}}\}_{t>0}$ on homogeneous Lie groups, which allows us to obtain various types of the Hardy-Sobolev and Gagliardo-Nirenberg type inequalities for the Euler operator $\mathbb{E}$. Moreover, the sharp remainder terms of the Sobolev type inequality, maximal Hardy inequality and $|\cdot|$-radial weighted Hardy-Sobolev type inequality are established.
We show that the optimal constants for the Hardy--Littlewood inequalities for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ are precisely $2^{2/p}$ for all $2<p<4.$
We prove several interesting equalities for the integrals of higher order derivatives on the homogeneous groups. As consequences, we obtain the sharp Hardy--Rellich type inequalities for higher order derivatives including both the subcritical and critical inequalities on the homogeneous groups. We also prove several uncertainty principles on the homogeneous groups. Our results seem to be new even in the case of Euclidean space $\mathbb R^n$ and give a simple proof of several classical Hardy--Rellich type inequalities in $\mathbb R^n$.
We give conditions for boundedness of Hausdorff operators on real Hardy spaces $H^1$ over homogeneous spaces of locally compact groups with local doubling property. The special case of the hyperbolic plane is considered.
The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, the optimal exponents of the Hardy--Littlewood inequality do not behave smoothly.
We consider a homogeneous tree endowed with a nondoubling flow measure $μ$ of exponential growth and a probabilistic Laplacian $\mathcal{L}$ self-adjoint with respect to $μ$. We prove that the maximal characterization in terms of the heat and the Poisson semigroup of $\mathcal{L}$ and the Riesz transform characterization of the atomic Hardy space introduced in a previous work fail.
The aim of this note is to give the boundedness conditions for Hausdorff operators on Hardy spaces $H^{1}$ with the norm defined via $(1,q)$ atoms over homogeneous spaces of Lie groups with doubling property and to apply results we obtain to generalized Delsarte operators and to Hausdorff operators over multidimensional spheres.
We consider an infinite homogeneous tree V endowed with the usual metric d defined on graphs and a weighted measure μ. The metric measure space V,d,μ) is nondoubling and of exponential growth, hence the classical theory of Hardy spaces does not apply in this setting. We construct an atomic Hardy space H^1 on (V,d,μ) and investigate some of its properties, focusing in particular on real interpolation properties and on boundedness of singular integrals on H^1.
We present in this paper some embeddings of various dyadic martingale Hardy-amalgam spaces $H^S_{p,q},\,\, H^s_{p,q},\,\,H^*_{p,q},\,\,\mathcal{Q}_{p,q}$ and $\mathcal{P}_{p,q}$ of the real line. In the same settings, we characterize the dual of $H^s_{p,q}$ for large $p$ and $q$. We also introduce a Garsia-type space $\mathcal{G}_{p,q}$ and characterize its dual space.
We study Hardy-type inequalities on infinite homogeneous trees. More precisely, we derive optimal Hardy weights for the combinatorial Laplacian in this setting and we obtain, as a consequence, optimal improvements for the Poincaré inequality.
A classical theorem of Jones and Journé on weak-star convergence in the Hardy space $H^1$ was generalised to the multiparameter setting by Pipher and Treil. We prove the analogous result when the underlying space is a product space of homogeneous type. The main tools we use for this setting are from recent work in papers by Chen, Li and Ward and by Han, Li and Ward.
Let $\mathcal X$ be a complete space of homogeneous type. In this note, we prove that the weak$^*$-convergence is true in the Hardy space $H^1(\mathcal X)$ of Coifman and Weiss.
In this review paper, we survey Hardy type inequalities from the point of view of Folland and Stein's homogeneous groups. Particular attention is paid to Hardy type inequalities on stratified groups which give a special class of homogeneous groups. In this environment, the theory of Hardy type inequalities becomes intricately intertwined with the properties of sub-Laplacians and more general subelliptic partial differential equations. Particularly, we discuss the Badiale-Tarantello conjecture and a conjecture on the geometric Hardy inequality in a half-space of the Heisenberg group with a shar…
We give sharp remainder terms of $L^{p}$ and weighted Hardy and Rellich inequalities on one of most general subclasses of nilpotent Lie groups, namely the class of homogeneous groups. As consequences, we obtain analogues of the generalised classical Hardy and Rellich inequalities and the uncertainty principle on homogeneous groups. We also prove higher order inequalities of Hardy-Rellich type, all with sharp constants. A number of identities are derived including weighted and higher order types.
In this note we formulate recent stability results for Hardy inequalities in the language of Folland and Stein's homogeneous groups. Consequently, we obtain remainder estimates for Rellich type inequalities on homogeneous groups. Main differences from the Euclidean results are that the obtained stability estimates hold for any homogeneous quasi-norm.
The aim of this article is to develop the theory of product Hardy spaces associated with operators which possess the weak assumption of Davies--Gaffney heat kernel estimates, in the setting of spaces of homogeneous type. We also establish a Calderón--Zygmund decomposition on product spaces, which is of independent interest, and use it to study the interpolation of these product Hardy spaces. We then show that under the assumption of generalized Gaussian estimates, the product Hardy spaces coincide with the Lebesgue spaces, for an appropriate range of~$p$.
This paper gives a systematic study of operator-valued local Hardy spaces. These spaces are localizations of the Hardy spaces defined by Tao Mei, and share many properties with Mei's Hardy spaces. We prove the ${\rm h}_1$-$\rm bmo$ duality, as well as the ${\rm h}_p$-${\rm h}_q$ duality for any conjugate pair $(p,q)$ when $1<p< \infty$. We show that ${\rm h}_1(\mathbb{R}^d, \mathcal M)$ and ${\rm bmo}(\mathbb{R}^d, \mathcal M)$ are also good endpoints of $L_p(L_\infty(\mathbb{R}^d) \overline{\otimes} \mathcal M)$ for interpolation. We obtain the local version of Calderón-Zygmund theory, and th…
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 o…
The purpose of this paper is to introduce and investigate some basic properties of mixed homogeneous Herz-Hardy spaces $H\dot{K}_{\vec{p}}^{α, q}(\mathbb{R}^n)$ and mixed non-homogeneous Herz-Hardy spaces $HK_{\vec{p}}^{α, q}(\mathbb{R}^n)$. Furthermore, we establish the atom and molecular decompositions for $H\dot{K}_{\vec{p}}^{α, q}(\mathbb{R}^n)$ and $HK_{\vec{p}}^{α, q}(\mathbb{R}^n)$, by which the boundedness for a wide class of sublinear operators on mixed Herz-Hardy spaces is obtained. As a byproduct, the dual spaces of mixed homogeneous Herz-Hardy spaces are deduced.
We analyse Morrey spaces, generalised Morrey spaces and Campanato spaces on homogeneous groups. The boundedness of the Hardy-Littlewood maximal operator, Bessel-Riesz operators, generalised Bessel-Riesz operators and generalised fractional integral operators in generalised Morrey spaces on homogeneous groups is shown. Moreover, we prove the boundedness of the modified version of the generalised fractional integral operator and Olsen type inequalities in Campanato spaces and generalised Morrey spaces on homogeneous groups, respectively. Our results extend results known in the isotropic Euclidea…
In this paper we prove new inequalities describing the relationship between the "size" of a function on a compact homogeneous manifold and the "size" of its Fourier coefficients. These inequalities can be viewed as noncommutative versions of the Hardy-Littlewood inequalities obtained by Hardy and Littlewood on the circle. For the example case of the group SU(2) we show that the obtained Hardy-Littlewood inequalities are sharp, yielding a criterion for a function to be in $L^p$ on SU(2) in terms of its Fourier coefficients. We also establish Paley and Hausdorff-Young-Paley inequalities on gener…
Let $X$ be a space of homogeneous type and let $\mathfrak{L}$ be a nonnegative self-adjoint operator on $L^2(X)$ enjoying Gaussian estimates. The main aim of this paper is twofold. Firstly, we prove the (local) nontangential and radial maximal function charaterization for the local Hardy spaces associated to $\mathfrak{L}$. This deduces the maximal function charaterization for local Hardy spaces in the sense of Coifman and Weiss provided that $\mathfrak{L}$ satisfies certain extra conditions. Secondly, we introduce the local Hardy space associated to the critical function $ρ$ which is motivate…
One defines a non-homogeneous space $(X, μ)$ as a metric space equipped with a non-doubling measure $μ$ so that the volume of the ball with center $x$, radius $r$ has an upper bound of the form $r^n$ for some $n> 0$. The aim of this paper is to study the boundedness of a Calderón-Zygmund operator $T$ as well as the boundedness of certain related singular integrals associated with $T$ on various function spaces on $(X, μ)$ such as the Hardy spaces, the $L^p$ spaces and the regularized BMO spaces. This article thus extends the work of X. Tolsa \cite{T1} on the non-homogeneous space $(\mathbb R^n…
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.
Results of Liflyand and collaborators on the boundedness of Hausdorff operators on the Hardy space $H^1$ over finite-dimensional real space generalized to the case of locally compact groups that are spaces of homogeneous type. Special cases and examples of compact Lie groups, homogeneous groups (in particular the Heisenberg group) and finite-dimensional spaces over division rings are considered.
We consider transfer functions of time--invariant systems as defined by Basseville, Benveniste, Nikoukhah and Willsky when the discrete time is replaced by the nodes of an homogeneous tree. The complex numbers are now replaced by a C*-algebra built from the structure of the tree. We define a point evaluation with values in this C*-algebra and a corresponding ``Hardy space'' in which a Cauchy's formula holds. This point evaluation is used to define in this context the counterpart of classical notions such as Blaschke factors. There are deep analogies with the non stationary setting as developed…
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(\mathb…
We consider a class of non-convex cones $V$ in $\mathbb{R}^n$ which can be presented as (not unique) union of convex cones of some codimension $q$ which we call the index of non-convexity. This class contains non-convex symmetric homogeneous cones studied by the first author and his collaborators. For these cones we consider a construction of dual non-convex cones $V^*$ and corresponding non-convex tubes $T$ and define a cohomological Laplace transform from functions at $V$ to $q$-dimensional cohomology of $T$ using the language of smoothly parameterized uCech cohomology. We give a constructio…
Let $\mathcal{E}(X,d,μ)$ be a Banach function space over a space of homogeneous type $(X,d,μ)$. We show that if the Hardy-Littlewood maximal operator $M$ is bounded on the space $\mathcal{E}(X,d,μ)$, then its boundedness on the associate space $\mathcal{E}'(X,d,μ)$ is equivalent to a certain condition $\mathcal{A}_\infty$. This result extends a theorem by Andrei Lerner from the Euclidean setting of $\mathbb{R}^n$ to the setting of spaces of homogeneous type.
Local Hardy Spaces Associated with Ball Quasi-Banach Function Spaces and Non-negative Self-adjoint Operators on Spaces of Homogeneous Type and Their Applications
Suppose that $(X,d,μ)$ is a space of homogeneous type, with upper dimension $μ$, in the sense of R. R. Coifman and G. Weiss. Let $η$ be the Hölder regularity index of wavelets constructed by P. Auscher and T. Hytönen. In this article, the authors introduce the local Hardy space $h^{*,p}(X)$ via local grand maximal functions and also characterize $h^{*,p}(X)$ via local radial maximal functions, local non-tangential maximal functions, locally atoms and local Littlewood--Paley functions. Furthermore, the authors establish the relationship between the global and the local Hardy spaces. Finally, th…
Hausdorff operators on the real line and multidimensional Euclidean spaces originated from some classical summation methods. Now it is an active research area. Hausdorff operators on general groups were defined and studied by the author since 2019. The purpose of this paper is to define and study Hausdorff operators on Lebesgue and real Hardy spaces over homogeneous spaces of locally compact groups. We introduce in particular an atomic Hardy space over homogeneous spaces of locally compact groups and obtain conditions for boundedness of Hausdorff operators on such spaces. Several corollaries a…
In this paper, several weak Orlicz-Hardy martingale spaces associated with concave functions are introduced, and some weak atomic decomposition theorems for them are established. With the help of weak atomic decompositions, a sufficient condition for a sublinear operator defined on the weak Orlicz-Hardy martingale spaces to be bounded is given. Further, we investigate the duality of weak Orlicz-Hardy martingale spaces and obtain a new John-Nirenberg type inequality when the stochastic basis is regular. These results can be regarded as weak versions of the Orlicz-Hardy martingale spaces due to …
\begin{abstract} For the Hardy space $H^p(\mathbb{R}^{d})$, $ 0<p\leq 1,$ we shall improve a Hardy's type inequality associated with Dunkl transform respect to the measures $dμ_{k}$ homogeneous of degree $γ,$ on the strip $(2γ+d)(2-p)\leqσ<2γ+d+p(N+1),$ where $N =[(2γ+d)(1/p-1)]$ is the greatest integer not exceeding $(2γ+d)(1/ p -1).$ \end{abstract}
In this paper, we give the characterization of the embeddings between weighted Cesàro function spaces. The proof is based on the duality technique, which reduces this problem to the characterizations of some direct and reverse Hardy-type inequalities and iterated Hardy-type inequalities.
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 b…
In this note we extend several integral inequalities to the context of noncommutative Vilenkin groups. We prove some sharp weak and strong type estimates for the Hardy operator and the Hardy-Littlewood-P{ó}lya operator on constant-order noncommutative Vilenkin groups. In particular for graded $\K$-Lie groups, where $\K$ is a non-archimedean local field, we additionally provide some functional inequalities, like the Hardy-Littlewood-Sobolev unequality and the Stein-Weiss inequality, linking some classes of homogeneous pseudo-differential operators, like the Vladimirov-Taibleson operator and the…
In this paper, we study the basic properties such as boundedness and compactness of composition operators on discrete analogue of generalized Hardy space defined on a homogeneous rooted tree. Also, we compute the operator norm of composition operator when inducing symbol is automorphism of a homogenous tree.
In this paper we prove sharp weighted Hardy-type inequalities on Carnot groups with the homogeneous norm $N=u^{1/(2-Q)}$ associated to Folland's fundamental solution $u$ for the sub-Laplacian $Δ_{\mathbb{G}}$. We also prove uncertainty principle, Caffarelli-Kohn-Nirenberg and Rellich inequalities on Carnot groups.
We consider an infinite homogeneous tree $\mathcal V$ endowed with the usual metric $d$ defined on graphs and a weighted measure $μ$. The metric measure space $(\mathcal V,d,μ)$ is nondoubling and of exponential growth, hence the classical theory of Hardy and $BMO$ spaces does not apply in this setting. We introduce a space $BMO(μ)$ on $(\mathcal V,d,μ)$ and investigate some of its properties. We prove in particular that $BMO(μ)$ can be identified with the dual of a Hardy space $H^1(μ)$ introduced in a previous work and we investigate the sharp maximal function related with $BMO(μ)$.
We study the mapping property of the commutator of bilinear Hardy-Littlewood maximal operator in homogeneous Triebel-Lizorkin space. We also show that the commutator of bilinear Hardy-Littlewood maximal operator is a compact operator acting on product of Lebesgue spaces. The results are new even in the linear case.
We introduce abstract net spaces on directed sets and prove their embedding and interpolation properties. Typical examples of interest are lattices of irreducible unitary representations of compact Lie groups and of class I representations with respect to a subgroup. As an application, we prove Hardy-Littlewood type inequalities and their converses on compact Lie groups and on compact homogeneous manifolds.
Let $({\mathcal X},ρ,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, associated with $Y({\mathcal X})$, via the grand maximal function, and then establish its various real-variable characterizations, respectively, in terms of radial or non-tangential maximal functions, a…
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 $…
This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In more detail: after a quick introduction, the second Section presents the main theorem, plus complete proof, relating to this function; in the third Section there is a suggestion on the exponential integrability (theorem and sketch of proof), while the fourth Section deals with the duality of Hardy Space $H^1$ and bounded mean oscillation, with some ideas for a…