We describe the spaces $H^1(R)$ and BMO$(R)$ in terms of their closely related, simpler dyadic and two-sided counterparts. As a result of these characterizations we establish when a bounded linear operator defined on dyadic or two-sided $H^1(R)$ into a Banach space has a continuous extension to $H^1(R)$ and when a bounded linear operator that maps a Banach space into dyadic or two-sided BMO$(R)$ actually maps continuously into BMO$(R)$.
In this paper, the authors studied the fractional S-transform on BMO and Hardy spaces and generalized the results given in \cite{Singh15h}. In introduction section, the definitions of the S-transform, fractional Fourier transform and fractional S-transform are given. In Section 2 continuity and boundedness results for the fractional S-transform in BMO and Hardy spaces are obtained. Furthermore, in Section 3 the fractional S-transform is studied on the weighted BMO$_κ$ and weighted Hardy spaces associated with a tempered weight function.
In this paper, we prove three necessary and sufficient conditions for the integral operator Sg to have closed range on Hardy Hp (1<p<\infty), BMOA and Besov Bp (1<p<\infty) spaces.
Let $Γ$ be a graph with the doubling property for the volume of balls and $P$ a reversible random walk on $Γ$. We introduce $H^1$ Hardy spaces of functions and $1$-forms adapted to $P$ and prove various characterizations of these spaces. We also characterize the dual space of $H^1$ as a $BMO$-type space adapted to $P$. As an application, we establish $H^1$-$H^1$ and $H^1$-$L^1$ boundedness of the Riesz transform.
A new approach to classical self improving results for $BMO$ functions is presented. "Coordinate Gagliardo spaces" are introduced and a generalized version of the John-Nirenberg Lemma is proved. Applications are provided.
We provide a precise statement and self contained proof of a Sobolev inequality (cf. [A, page 236 and page 237]) stated in the original paper. Higher order and fractional inequalities are treated as well.
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…
Let $(X, Y)$ be a couple of quasi-Banach lattices of measurable functions on $\mathbb T \times Ω$ satisfying some additional assumptions. The K-closedness of a couple of Hardy-type spaces $(X_A, Y_A)$ in $(X, Y)$ and the stability of the real interpolation $(X_A, Y_A)_{θ, p} = (X_A + Y_A) \cap (X, Y)_{θ, p}$ are shown to be equivalent to each other and to the BMO-regularity of the associated lattices $\left(L_1, \left(X^r\right)' Y^r\right)_{δ, q}$. The inclusion $\left(X^{1 - θ} Y^θ\right)_A \subset \left(X_A, Y_A \right)_{θ, \infty}$ is also characterized in these therms. New examples of cou…
Let $1\leq p,q < \infty$ and $1\leq r \leq \infty$. We show that the direct sum of mixed norm Hardy spaces $\big(\sum_n H^p_n(H^q_n)\big)_r$ and the sum of their dual spaces $\big(\sum_n H^p_n(H^q_n)^*\big)_r$ are both primary. We do so by using Bourgain's localization method and solving the finite dimensional factorization problem. In particular, we obtain that the spaces $\big(\sum_{n\in \mathbb N} H_n^1(H_n^s)\big)_r$, $\big(\sum_{n\in \mathbb N} H_n^s(H_n^1)\big)_r$, as well as $\big(\sum_{n\in \mathbb N} BMO_n(H_n^s)\big)_r$ and $\big(\sum_{n\in \mathbb N} H^s_n(BMO_n)\big)_r$, $1 < s < \…
Let $(X, Y)$ be a suitable couple of quasi-Banach lattices of measurable functions on $\mathbb T \times Ω$, and let $(X_A, Y_A)$ be the couple of the corresponding Hardy-type spaces. It has long been suspected that the BMO-regularity property of $(X, Y)$ is not only sufficient for the $\mathrm K$-closedness of $(X_A, Y_A)$ in $(X, Y)$ but also necessary. We establish the equivalence of these two properties for a general couple of Banach lattices having the Fatou property when $Ω$ is a discrete measurable space, and also for couples $(X, Y)$ where $X$ is allowed to be quasi-Banach but $Y$ is as…
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…
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…
In this paper we introduce the generalized BMO martingale spaces by stopping time sequences, which enable us to characterize the dual spaces of martingale Hardy-Lorentz spaces $H_{p,q}^s$ for $0<p\leq1, 1<q<\infty$. Moreover, by duality we obtain a John-Nirenberg theorem for the generalized BMO martingale spaces when the stochastic basis is regular. We also extend the boundedness of fractional integrals to martingale Hardy-Lorentz spaces.
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(μ)$.
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 multipli…
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 applicatio…
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}({\mat…
We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the characterization of $BMO$ via the weighted boundedness of commutators of the multilinear fractional integral operator, without individual conditions on the weights class.
We study boundedness properties of a class of multiparameter paraproducts on the dual space of the dyadic Hardy space H_d^1(T^N), the dyadic product BMO space BMO_d(T^N). For this, we introduce a notion of logarithmic mean oscillation on the polydisc. We also obtain a result on the boundedness of iterated commutators on BMO([0,1]^2).
Under the assumption that the underlying measure is a non-negative Radon measure which only satisfies some growth condition and may not be doubling, we define the product of functions in the regular $BMO$ and the atomic block $\H^{1}$ in the sense of distribution, and show that this product may be split into two parts, one in $L^{1}$ and the other in some Hardy-Orlicz space.
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-Or…
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 presente…
In this paper, the author obtain the continuity of a class of linear operators on variable anisotropic Hardy-Lorentz spaces. In addition, the author also obtain that the dual space of variable anisotropic Hardy-Lorentz spaces is the anisotropic BMO-type spaces with variable exponents. This result is still new even when the exponent function $p(\cdot)$ is $p$.
In this paper, the central BMO spaces with variable exponent are introduced. As an application, we characterize these spaces by the boundedness of commutators of Hardy operator and its dual operator on variable Lebesgue spaces. The boundedness of vector-valued commutators on Herz spaces with variable exponent are also considered.
We first consider two types of localizations of singular integral operators of convolution type, and show, under mild decay and smoothness conditions on the auxiliary functions, that their boundedness on the local Hardy space $h^1(\mathbb{R}^n)$ is equivalent. We then study the boundedness on $h^1(\mathbb{R}^n)$ of the commutator $[b,T]$ of an inhomogeneous singular integral operator with $b$ in $bmo(\mathbb{R}^n)$, the nonhomogeneous space of functions of bounded mean oscillation. We define local analogues of the atomic space $H^1_b(\mathbb{R}^n)$ introduced by Pérez in the case of the homoge…
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\mathcal{M}$. For $0<p <\infty$, let $\mathsf{h}_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space and $\bmo^c(\M)$ denote the column \lq\lq little\rq\rq \ martingale BMO space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$. We prove the following real interpolation identity: if $0<p <\infty$ and $0<θ<1$, then for $1/r=(1-θ)/p$, \[ \big(\mathsf{h}_p^c(\mathcal{M}), \bmo^c(\mathcal{M})\…
In this paper, it is proved that the higher dimensional Hardy operator is bounded from Hardy space to Lebesgue space. The endpoint estimate for the commutator generated by Hardy operator and (central) BMO function is also discussed.
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 $dγ(x)\equivπ^{-n/2}e^{-|x|^2}dx$ for all $x\in{\mathbb R}^n$ be the Gauss measure on ${\mathbb R}^n$. In this paper, the authors establish the characterizations of the space BMO$(γ)$ of Mauceri and Meda via commutators of either local fractional integral operators or local fractional maximal operators. To this end, the authors first prove that such a local fractional integral operator of order $β$ is bounded from $L^p(γ)$ to $L^{p/(1-pβ)}(γ)$, or from the Hardy space $H^1(γ)$ of Mauceri and Meda to $L^{1/(1-β)}(γ)$ or from $L^{1/β}(γ)$ to BMO$(γ)$, where $β\in(0, 1)$ and $p\in(1, 1/β)$.
We introduce a new class of Hardy spaces $H^{φ(\cdot,\cdot)}(\mathbb R^n)$, called Hardy spaces of Musielak-Orlicz type, which generalize the Hardy-Orlicz spaces of Janson and the weighted Hardy spaces of García-Cuerva, Strömberg, and Torchinsky. Here, $φ: \mathbb R^n\times [0,\infty)\to [0,\infty)$ is a function such that $φ(x,\cdot)$ is an Orlicz function and $φ(\cdot,t)$ is a Muckenhoupt $A_\infty$ weight. A function $f$ belongs to $H^{φ(\cdot,\cdot)}(\mathbb R^n)$ if and only if its maximal function $f^*$ is so that $x\mapsto φ(x,|f^*(x)|)$ is integrable. Such a space arises naturally for …
Necessary and sufficient conditions are given for boundedness of Hausdorff operators on generalized Hardy spaces $H^p_E(G)$, real Hardy space $H^1_{\mathbb{R}}(G)$, $BMO(G)$, and $BMOA(G)$ for compact Abelian group $G$. Surprisingly, these conditions turned out to be the same for all groups and spaces under consideration. Applications to Dirichlet series are given. The case of the space of continuous functions on $G$ and examples are also considered.
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 obta…
In this work, we give new sufficient conditions for a Littlewood-Paley-Stein square function and necessary and sufficient conditions for a Calderón-Zygmund operator to be bounded on Hardy spaces $H^p$ with indices smaller than $1$. New Carleson measure type conditions are defined for Littlewood-Paley-Stein operators, and we show that they are sufficient for the associated square function to be bounded from $H^p$ into $L^p$. New polynomial growth $BMO$ conditions are also introduced for Calderón-Zygmund operators. These results are applied to prove that Bony paraproducts can be constructed such…
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…
Let $L$ be a one-to-one operator of type $ω$ in $L^2(\mathbb{R}^n)$, with $ω\in[0,\,π/2)$, which has a bounded holomorphic functional calculus and satisfies the Davies-Gaffney estimates. Let $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 Hardy space $H^{p(\cdot)}_L(\mathbb{R}^n)$ associated with $L$. By means of variable tent spaces, the authors establish the molecular characterization of $H^{p(\cdot)}_L(\mathbb{R}^n)$. Then the authors show that the dual space of $…
We prove that atomic decomposition for the Hardy spaces h_1 and H_1 is valid for noncommutative martingales. We also establish that the conditioned Hardy spaces of noncommutative martingales h_p and bmo form interpolation scales with respect to both complex and real interpolations.
In this paper, we develop an abstract framework for John-Nirenberg inequalities associated to BMO-type spaces. This work can be seen as the sequel of [5], where the authors introduced a very general framework for atomic and molecular Hardy spaces. Moreover, we show that our assumptions allow us to recover some already known John-Nirenberg inequalities. We give applications to the atomic Hardy spaces too.
Let $L$ be the divergence form elliptic operator with complex bounded measurable coefficients, $ω$ the positive concave function on $(0,\infty)$ of strictly critical lower type $p_\oz\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for $t\in (0,\infty).$ In this paper, the authors study the Orlicz-Hardy space $H_{ω,L}({\mathbb R}^n)$ and its dual space $\mathrm{BMO}_{ρ,L^\ast}({\mathbb R}^n)$, where $L^\ast$ denotes the adjoint operator of $L$ in $L^2({\mathbb R}^n)$. Several characterizations of $H_{ω,L}({\mathbb R}^n)$, including the molecular characterization, the Lusin-area function characte…
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 we…
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 condition holds in ${\mathcal X}$. Let $ρ$ be an admissible function on RD-space ${\mathcal X}$. The authors first introduce the localized spaces $\mathrm{BMO}_ρ({\mathcal X})$ and $\mathrm{BLO}_ρ({\mathcal X})$ and establish their basic properties, including the John-Nirenberg inequality for $\mathrm{BMO}_ρ({\mathcal X})$, several equivalent characterizations for $\mathrm{BLO}_ρ({\mathcal X})$, and some relations between these spaces. Then the author…
For a Dirichlet series symbol $g(s) = \sum_{n \geq 1} b_n n^{-s}$, the associated Volterra operator $\mathbf{T}_g$ acting on a Dirichlet series $f(s)=\sum_{n\ge 1} a_n n^{-s}$ is defined by the integral $f\mapsto -\int_{s}^{+\infty} f(w)g'(w)\,dw$. We show that $\mathbf{T}_g$ is a bounded operator on the Hardy space $\mathcal{H}^p$ of Dirichlet series with $0 < p < \infty$ if and only if the symbol $g$ satisfies a Carleson measure condition. When appropriately restricted to one complex variable, our condition coincides with the standard Carleson measure characterization of ${\operatorname{BMOA…
In this paper, we introduce a type of weighted multilinear Hardy operators and obtain their sharp bounds on the product of Lebesgue spaces and central Morrey spaces. In addition, we obtain sufficient and necessary conditions of the weight functions so that the commutators of the weighted multilinear Hardy operators (with symbols in central BMO space) are bounded on the product of central Morrey spaces. These results are further used to prove sharp estimates of some inequalities due to Riemann-Liouville and Weyl.
In this paper, we will discuss the space of functions of weak bounded mean oscillation. In particular, we will show that this space is the dual space of the special atom space, whose dual space was already known to be the space of derivative of functions (in the sense of distribution) belonging to the Zygmund class of functions. We show in particular that this proves that the Hardy space $H^1$ strictly contains the space special atom space.
In this work, we are interested to develop new directions of the famous T(1)-theorem. More precisely, we develop a general framework where we look for replacing the John-Nirenberg space BMO (in the classical result) by a new BMO_{L}, associated to a semigroup of operators (e^{-tL})_{t>0}. These new spaces BMO_L (including BMO) have recently appeared in numerous works in order to extend the theory of Hardy and BMO space to more general situations. Then we give applications by describing boundedness for a new kind of paraproducts, built on the considered semigroup. In addition we obtain a versio…
This note contains two simple observations. First, by the weak factorization of product $H^1$ (Ferguson--Lacey, Lacey--Terwilleger), we obtain a multi-parameter analogue of Hardy's inequality. Second, as a dual statement, the Fourier transform of an essentially bounded function belongs to a certain product $\mathrm{BMO}$-Sobolev space.
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…
Suppose that (M,d,m) is an unbounded metric measure space, which possesses two geometric properties, called "isoperimetric property" and "approximate midpoint property", and that the measure m is locally doubling. The isoperimetric property implies that the volume of balls grows at least exponentially with the radius. Hence the measure m is not globally doubling. In this paper we define an atomic Hardy space H1(m), where atoms are supported only on "small balls", and a corresponding space BMO(m) of functions of bounded mean oscillation, where the control is only on the oscillation over small b…
The usual one third trick allows to reduce problems involving general cubes to a countable family. Moreover, this covering lemma uses only dyadic cubes, which allows to use nice martingale properties in harmonic analysis problems. We consider alternatives to this technique in spaces equipped with nonhomogeneous measures. This entails additional difficulties which forces us to consider martingale filtrations that are not regular. The dyadic covering that we find can be used to clarify the relationship between martingale BMO spaces and the most natural BMO space in this setting, which is the spa…