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.
Global and local weighted Gagliardo-Nirenberg inequalities with doubling measures are established. These inequalities are key ingredients for the regularity theory and existence of strong solutions for strongly coupled parabolic and elliptic systems which are degenerate or singular because of the unboundedness of dependent and independent variables.
We study the space BMO in the general setting of a measure space $\mathbb{X}$ with a fixed collection $\mathscr{G}$ of measurable sets of positive and finite measure, consisting of functions of bounded mean oscillation on sets in $\mathscr{G}$. The aim is to see how much of the familiar BMO machinery holds when metric notions have been replaced by measure-theoretic ones. In particular, three aspects of BMO are considered: its properties as a Banach space, its relation with Muckenhoupt weights, and the John-Nirenberg inequality. We give necessary and sufficient conditions on a decomposable meas…
This work explores new deep connections between John-Nirenberg type inequalities and Muckenhoupt weight invariance for a large class of $BMO$-type spaces. The results are formulated in a very general framework in which $BMO$ spaces are constructed using a base of sets, used also to define weights with respect to a non-negative measure (not necessarily doubling), and an appropriate oscillation functional. This includes as particular cases many different function spaces on geometric settings of interest. As a consequence the weight invariance of several $BMO$ and Triebel-Lizorkin spaces consider…
In this paper we study ways to establish when a Banach space can be identified as the dual or the double dual of another Banach space. To obtain these results, we relate these spaces with other, concrete Banach spaces - tipically $\ell^1$ and $\ell^\infty$ - and show that under suitable assumptions we can transfer properties of these spaces to the space we consider. In particular, we show how these results can be used to obtain in a simple way interesting results about spaces such as $BMO$ and $BV$.
We develop some techniques for studying various versions of the function space BMO. Special cases of one of our results give alternative proofs of the celebrated John- Nirenberg inequality and of related inequalities due to John and to Wik. Our approach enables us to pose a simply formulated "geometric" question, for which an affirmative answer would lead to a version of the John-Nirenberg inequality with dimension free constants. A more detailed summary of the main ideas and results of this paper can be found at http://www.math.technion.ac.il/~mcwikel/bmo/CwikSaghShvaSummary.pdf
We consider BMO spaces of operator-valued functions, among them the space of operator-valued functions $B$ which define a bounded paraproduct on $L^2(H)$. We obtain several equivalent formulations of $\|π_B\|$ in terms of the norm of the "sweep" function of $B$ or of averages of the norms of martingales transforms of $B$ in related spaces. Furthermore, we investigate a connection between John-Nirenberg type inequalities and Carleson-type inequalities via a product formula for paraproducts and deduce sharp dimensional estimates for John-Nirenberg type inequalities.
Using integral formulas based on Green's theorem and in particular a lemma of Uchiyama, we give simple proofs of comparisons of different BMO norms without using the John-Nirenberg inequality while we also give a simple proof of the strong John-Nirenberg inequality. Along the way we prove the inclusions of BMOA in the dual of H^1 and BMO in the dual of real H^1.
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 c…
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 prove a local version of Fefferman-Stein inequality for the local sharp maximal function, and a local version of John-Nirenberg inequality for locally BMO functions, in the framework of locally homogeneous spaces, in the sense of Bramanti-Zhu [Manuscripta Math. 138 (2012), no. 3-4, 477-528].
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.
We study, in the context of doubling metric measure spaces, a class of BMO type functions defined by John and Nirenberg. In particular, we present a new version of the Calderon-Zygmund decomposition in metric spaces and use it to prove the corresponding John-Nirenberg inequality.
We prove a noncommutative version of the John-Nirenberg theorem for nontracial filtrations of von Neumann algebras. As an application, we obtain an analogue of the classical large deviation inequality for elements of the associated $BMO$ space.
We extend to n-dimensions a characterization of the Marcinkiewicz $L(p,\infty)$ spaces first obtained by Garsia-Rodemich in the one dimensional case. This leads to a new proof of the John-Nirenberg self-improving inequalities. We also show a related result that provides a still a new characterization of the $L(p,\infty)$ spaces in terms of distribution functions, reflects the self-improving inequalities directly, and also characterizes $L(\infty,\infty),$ the rearrangement invariant hull of $BMO.$ We show an application to the study of tensor products with $L(\infty,\infty)$ spaces, which comp…
Let $X$ be a metric space equipped with a metric $d$ and a nonnegative Borel measure $μ$ satisfying the doubling property and let $\{\mathcal{A}_t\}_{t>0}$, be a generalized approximations to the identity, for example $\{\mathcal{A}_t\}$ is a holomorphic semigroup $e^{-tL}$ with Gaussian upper bounds generated by an operators $L$ on $L^2(X)$. In this paper, we introduce and study the weighted BMO space BMO$_\mathcal{A}(X,w)$ associated to the the family \{\mathcal{A}_t\}$. We show that for these spaces, the weighted John-Nirenberg inequality holds and we establish an interpolation theorem in s…
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…
In this paper, we study the John-Nirenberg inequality for BMO and the atomic decomposition for H1 of noncommutative martingales. We first establish a crude version of the column (resp. row) John-Nirenberg inequality for all 0 < p < \infty. By an extreme point property of Lp -space for 0 < p \leq 1, we then obtain a fine version of this in equality. The latter corresponds exactly to the classical John-Nirenberg inequality and enables us to obtain an exponential integrability inequality like in the classical case. These results extend and improve Junge and Musat's John-Nirenberg inequality. By d…
We define a scale of L^q Carleson norms, all of which characterize the membership of a function in BMO. The phenomenon is analogous to the John-Nirenberg inequality, but on the level of Carleson measures. The classical Carleson condition corresponds to the L^2 case in our theory. The result is applied to give a new proof for the L^p-boundedness of paraproducts with a BMO symbol. A novel feature of the argument is that all p are covered at once in a completely interpolation-free manner. This is achieved by using the L^1 Carleson norm, and indicates the usefulness of this notion. Our approach is…
Let $p\in (1,\infty)$, $q\in[1,\infty)$, $α\in [0,\infty)$ and $s$ be a non-negative integer. In this article, the authors introduce the John--Nirenberg-Campanato space $JN_{(p,q,s)_α}(\mathcal{X})$, where $\mathcal{X}$ is ${\mathbb R}^n$ or any closed cube $Q_0\subsetneqq{\mathbb R}^n$, which when $α=0$ and $s=0$ coincides with the $JN_p$-space introduced by F. John and L. Nirenberg in the sense of equivalent norms. The authors then give the predual space of $JN_{(p,q,s)_α}(\mathcal{X})$ and a John-Nirenberg type inequality of John--Nirenberg-Campanato spaces. Moreover, the authors prove that…
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…
In this article, the authors give a survey on the recent developments of both the John--Nirenberg space $JN_p$ and the space BMO as well as their vanishing subspaces such as VMO, XMO, CMO, $VJN_p$, and $CJN_p$ on $\mathbb{R}^n$ or a given cube $Q_0\subset\mathbb{R}^n$ with finite side length. In addition, some related open questions are also presented.
Given a Radon measure $μ$ on $R^d$, which may be non doubling, we introduce a space of type BMO with respect to this measure. It is shown that many properties that hold when $μ$ is doubling remain valid for the space BMO introduced in this paper, without assuming $μ$ doubling. For instance, Calderon-Zygmund operators which are bounded in $L^2$ are bounded from $L^\infty$ into the new BMO space. Moreover, a John-Nirenberg inequality is satisfied, and the predual of BMO is an atomic space $H^1$. Using a sharp maximal function it is proved that operators bounded from $L^\infty$ into BMO and from …
Let $p\in(1,\infty)$, $q\in[1,\infty)$, $s\in{\mathbb Z}_{+}$, $α\in[0,\infty)$ and $\mathcal{X}$ be $\mathbb R^n$ or a cube $Q_0\subsetneqq\mathbb R^n$. In this article, the authors first introduce the localized John--Nirenberg--Campanato space $jn_{(p,q,s)_α}(\mathcal{X})$ and show that the localized Campanato space is the limit case of $jn_{(p,q,s)_α}(\mathcal{X})$ as $p\to\infty$. By means of local atoms and the weak-$*$ topology, the authors then introduce the localized Hardy-kind space $hk_{(p',q',s)_α}(\mathcal{X})$ which proves the predual space of $jn_{(p,q,s)_α}(\mathcal{X})$. Moreov…
In this note two results are established for energy functionals that are given by the integral of $ W(\mathbf x,\nabla \mathbf u(\mathbf x))$ over $Ω\subset\mathbb{R}^n$ with $\nabla \mathbf u \in BMO(Ω;{\mathbb R}^{N\times n})$, the space of functions of Bounded Mean Oscillation of John & Nirenberg. A version of Taylor's theorem is first shown to be valid provided the integrand $W$ has polynomial growth. This result is then used to demonstrate that, for the Dirichlet, Neumann, and mixed problems, every Lipschitz-continuous solution of the corresponding Euler-Lagrange equations at which the se…
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}}(\ma…
Let $p\in[1,\infty]$, $q\in(1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors introduce a reasonable version $\widetilde T$ of the Calderón--Zygmund operator $T$ on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, the special John--Nirenberg--Campanato space via congruent cubes, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. Then the authors prove that $\widetilde T$ is bounded on $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if, for any $γ\in\mathbb{Z}_+^n$ with $|γ|\leq s$, $T^*(x^γ…
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…
Suppose that the $d$-dimensional unit cube $Q$ is the union of three disjoint "simple" sets $E$, $F$ and $G$ and that the volumes of $E$ and $F$ are both greater than half the volume of $G$. Does this imply that, for some cube $W$ contained in $Q$. the volumes of $E\cap W$ and $F\cap W$ both exceed $s$ times the volume of $W$ for some absolute positive constant $s$? Here, by "simple" we mean a set which is a union of finitely many dyadic cubes. We prove that an affirmative answer to this question would have deep consequences for the important space $BMO$ of functions of bounded mean oscillatio…
Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$. We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies-Gaffney estimates. Associated to $L$ are certain approximations of the identity. We call an operator $T$ a non-integral operator if compositions involving $T$ and these approximations satisfy certain weighted norm estimates. The Davies-Gaffney and the weighted norm estimates are together a substitute for the usual kernel estimates on $T$ in Calderón-Zygmund theory. In this paper, we show, under the…
We study a function space $JN_p$ based on a condition introduced by John and Nirenberg as a variant of BMO. It is known that $L^p\subset JN_{p}\subsetneq L^{p,\infty}$, but otherwise the structure of $JN_p$ is largely a mystery. Our first main result is the construction of a function that belongs to $JN_p$ but not $L^p$, showing that the two spaces are not the same. Nevertheless, we prove that for monotone functions, the classes $JN_{p}$ and $L^p$ do coincide. Our second main result describes $JN_p$ as the dual of a new Hardy kind of space $HK_{p'}$.
Let $p\in[1,\infty]$, $q\in[1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $α\in\mathbb{R}$. In this article, the authors first find a reasonable version $\widetilde{I}_β$ of the (generalized) fractional integral $I_β$ on the special John--Nirenberg--Campanato space via congruent cubes, $JN_{(p,q,s)_α}^{\mathrm{con}}(\mathbb{R}^n)$, which coincides with the Campanato space $\mathcal{C}_{α,q,s}(\mathbb{R}^n)$ when $p=\infty$. To this end, the authors introduce the vanishing moments up to order $s$ of $I_β$. Then the authors prove that $\widetilde{I}_β$ is bounded from $JN_{(p,q,s)_α}^…
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…
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…
