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 discuss the dyadic John-Nirenberg space that is a generalization of functions of bounded mean oscillation. A John-Nirenberg inequality, which gives a weak type estimate for the oscillation of a function, is discussed in the setting of medians instead of integral averages. We show that the dyadic maximal operator is bounded on the dyadic John-Nirenberg space and provide a method to construct nontrivial functions in the dyadic John-Nirenberg space. Moreover, we prove that the John-Nirenberg space is complete. Several open problems are also discussed.
We study the so-called John-Nirenberg space that is a generalization of functions of bounded mean oscillation in the setting of metric measure spaces with a doubling measure. Our main results are local and global John-Nirenberg inequalities, which give weak type estimates for the oscillation of a function. We consider medians instead of integral averages throughout, and thus functions are not a priori assumed to be locally integrable. Our arguments are based on a Calderón-Zygmund decomposition and a good-$λ$ inequality for medians. A John-Nirenberg inequality up to the boundary is proven by us…
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.
A generalization of the theory of Y. Brudnyi \cite{yuri}, and A. and Y. Brudnyi \cite{BB20a}, \cite{BB20b}, is presented. Our construction connects Brudnyi's theory, which relies on local polynomial approximation, with new results on sparse domination. In particular, we find an analogue of the maximal theorem for the fractional maximal function, solving a problem proposed by Kruglyak--Kuznetsov. Our spaces shed light on the structure of the John--Nirenberg spaces. We show that $SJN_{p}$ (sparse John--Nirenberg space) coincides with $L^{p},1<p<\infty.$ This characterization yields the John--Nir…
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.
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…
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.
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 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…
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
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…
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…
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…
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.
Let $p,q\in [1,\infty]$, $α\in{\mathbb{R}}$, and $s$ be a non-negative integer. In this article, the authors introduce a new function space $\widetilde{JN}_{(p,q,s)_α}(\mathcal{X})$ of John-Nirenberg-Campanato type, where $\mathcal{X}$ denotes $\mathbb{R}^n$ or any cube $Q_{0}$ of $\mathbb{R}^n$ with finite edge length. The authors give an equivalent characterization of $\widetilde{JN}_{(p,q,s)_α}(\mathcal{X})$ via both the John-Nirenberg-Campanato space and the Riesz-Morrey space. Moreover, for the particular case $s=0$, this new space can be equivalently characterized by both maximal functio…
To shed some light on the John--Nirenberg space, the authors in this article introduce the John--Nirenberg-$Q$ space via congruent cubes, $JNQ^α_{p,q}(\mathbb{R}^n)$, which when $p=\infty$ and $q=2$ coincides with the space $Q_α(\mathbb{R}^n)$ introduced by Essén et al. in [Indiana Univ. Math. J. 49 (2000), 575-615]. Moreover, the authors show that, for some particular indices, $JNQ^α_{p,q}(\mathbb{R}^n)$ coincides with the congruent John--Nirenberg space, or that the (fractional) Sobolev space is continuously embedded into $JNQ^α_{p,q}(\mathbb{R}^n)$. Furthermore, the authors characterize $JN…
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…
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…
It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality \[\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}}\] for all $\|f\|_{L^{N/α,q}(Ω)}\leq 1$ and any $β\in (0,N]$, where $Ω…
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^γ…
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)_α}^…
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].
Isometric embeddings of noncommutative $L_p$-spaces into noncommutative symmetric spaces
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology(哈尔滨工业大学数学高等研究院);Department of Mathematics, University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校数学系);School of Mathematics and Statistics, The University of New South Wales(新南威尔士大学数学与统计学院)