This article is devoted to a study of the Hardy space $H^{\log} (\mathbb{R}^d)$ introduced by Bonami, Grellier, and Ky. We present an alternative approach to their result relating the product of a function in the real Hardy space $H^1$ and a function in $BMO$ to distributions that belong to $H^{\log}$ based on dyadic paraproducts. We also point out analogues of classical results of Hardy-Littlewood, Zygmund, and Stein for $H^{\log}$ and related Musielak-Orlicz spaces.
Let T be the unite circle on $R^2$. Denote by BMO(T) the classical BMO space and denote by BMO_D(T) the usual dyadic BMO space on T. We prove that, BMO(T) is the intersction of BMO_D(T) and a translate of BMO_D(T).
We characterize dyadic little BMO via the boundedness of the tensor commutator with a single well chosen dyadic shift. It is shown that several proof strategies work for this problem, both in the unweighted case as well as with Bloom weights. Moreover, we address the flexibility of one of our methods.
Ó. Blasco and S. Pott showed that the supremum of operator norms over $L^2$ of all bicommutators (with the same symbol) of one-parameter Haar multipliers dominates the biparameter dyadic product BMO norm of the symbol itself. In the present work we extend this result to the Bloom setting, and to any exponent $1<p<\infty$. The main tool is a new characterization in terms of paraproducts and two-weight John--Nirenberg inequalities for dyadic product BMO in the Bloom setting. We also extend our results to the whole scale of indexed spaces between little bmo and product BMO in the general multipar…
We introduce the space of dyadic bounded mean oscillation functions $f$ defined on $[0,1]^n$ and study the behavior of the nonincreasing rearrangement of $f$, as an element of the space $BMO((0,1])$. We also study the analogous class of functions that satisfy the dyadic Gurov-Reshetnyak condition and look upon their integrability properties.
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…
In this paper we characterize BMO in terms of the boundedness of commutators of various bilinear singular integral operators with pointwise multiplication. In particular, we study commutators of a wide class of bilinear operators of convolution type, including bilinear Calderón-Zygmund operators and the bilinear fractional integral operators.
Let $\bfT$ is a certain tensor product of simple dyadic shifts defined below. We prove here that for dyadic bi-parameter commutator the following equivalence holds $ \|\bfT b-b \bfT \| \asymp \|b\|_{bmo^d}$. This result is well-known for many types of bi-parameter commutators, see \cite{FS}, \cite{DLWY} and \cite{DPSK} for more details.
A Bellman function approach to Fefferman's $H^1-BMO$ duality theorem is presented. One Bellman-type argument is used to handle two different one-dimensional cases, dyadic and continuous. An explicit estimate for the constant of embedding $BMO\subset (H^1)^*$ is given in the dyadic case. The same Bellman function is then used to establish a multi-dimensional analog.
We develop technical tools that enable the use of Bellman functions for BMO defined on $α$-trees, which are structures that generalize dyadic lattices. As applications, we prove the integral John--Nirenberg inequality and an inequality relating $L^1$- and $L^2$-oscillations for BMO on $α$-trees, with explicit constants. When the tree in question is the collection of all dyadic cubes in $\mathbb{R}^n,$ the inequalities proved are sharp. We also reformulate the John--Nirenberg inequality for the continuous BMO in terms of special martingales generated by BMO functions. The tools presented can be…
We prove that the class of Muckenhoupt A_p weights coincides with the intersection of finitely many suitable translates of dyadic A_p, in both the one-parameter and multiparameter cases, and that the analogous results hold for the reverse Hölder class RH_p, for doubling measures, and for the space VMO of functions of vanishing mean oscillation. We extend to the multiparameter (product) space BMO of functions of bounded mean oscillation the corresponding one-parameter BMO result due to T. Mei, by means of the Carleson-measure characterization of multiparameter BMO. Our results hold in both the …
We obtain the explicit upper Bellman function for the natural dyadic maximal operator acting from ${\rm BMO}(\mathbb{R}^n)$ into ${\rm BLO}(\mathbb{R}^n).$ As a consequence, we show that the ${\rm BMO}\to{\rm BLO}$ norm of the natural operator equals 1 for all $n,$ and so does the norm of the classical dyadic maximal operator. The main result is a partial corollary of a theorem for the so-called $α$-trees, which generalize dyadic lattices. The Bellman function in this setting exhibits an interesting quasi-periodic structure depending on $α,$ but also allows a majorant independent of $α,$ hence…
In this article, we investigate the boundedness properties of the multilinear dyadic paraproduct operators in the weighted setting. We also obtain weighted estimates for the multilinear Haar multipliers and their commutators with dyadic BMO functions.
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, we improve a recent result by Li and Peng on products of functions in $H_L^1(\bR^d)$ and $BMO_L(\bR^d)$, where $L=-Δ+V$ is a Schrödinger operator with $V$ satisfying an appropriate reverse Hölder inequality. More precisely, we prove that such products may be written as the sum of two continuous bilinear operators, one from $H_L^1(\bR^d)\times BMO_L(\bR^d) $ into $L^1(\bR^d)$, the other one from $H^1_L(\bR^d)\times BMO_L(\bR^d) $ into $H^{\log}(\bR^d)$, where the space $H^{\log}(\bR^d)$ is the set of distributions $f$ whose grand maximal function $\mathfrak Mf$ satisfies $$\int_{…
We prove variation-norm estimates for the Walsh model of the truncated bilinear Hilbert transform, extending related results of Lacey, Thiele, and Demeter. The proof uses analysis on the Walsh phase plane and two new ingredients: (i) a variational extension of a lemma of Bourgain by Nazarov-Oberlin-Thiele, and (ii) a variation-norm Rademacher-Menshov theorem of Lewko-Lewko.
Consider a tensor product of simple dyadic shifts defined below. We prove here that for dyadic bi-parameter repeated commutator its norm can be estimated from below by Chang-Fefferman $BMO$ norm pertinent to its symbol. See Theorems in Section 8 at the end of this article. But this is done below under an extra assumption on the Haar--Fourier side of the symbol. In Section 7 we carefully analyze what goes wrong in the absence of this extra assumption. At the end of this note we also list a counterexample to the existing proof of characterization of bi-parameter repeated commutator with the Hilb…
We demonstrate and develop dyadic-probabilistic methods in connection with non-homogeneous bilinear operators, namely singular integrals and square functions. We develop the full non-homogeneous theory of bilinear singular integrals using a modern point of view. The main result is a new global $Tb$ theorem for Calderón-Zygmund operators in this setting. Our main tools include maximal truncations, adapted Cotlar type inequalities and suppression and big piece methods. While proving our bilinear results we also advance and refine the linear theory of Calderón-Zygmund operators by improving techn…
In this paper we give a simple proof of the fact that the average over all dyadic lattices of the dyadic $H^1$-norm of a function gives an equivalent $H^1$-norm. The proof we present works for both one-parameter and multi-parameter Hardy spaces. The results of such type are known. The first result (for one-parameter Hardy spces) belongs to Burgess Davis (1980). Also, by duality, such results are equivalent to the "BMO from dyadic BMO" statements proved by Garnett-Jones(1982} for one parameter case, and by Pipher-Ward (2008) for two-parameter case. While the paper generalizes these results to t…
We represent a general bilinear Calderón-Zygmund operator as a sum of simple dyadic operators. The appearing dyadic operators also admit a simple proof of a sparse bound. In particular, the representation implies a so called sparse T1 theorem for bilinear singular integrals.
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).
In this article we extend recent results by the first author on the necessity of $BMO$ for the boundedness of commutators on the classical Lebesgue spaces. We generalize these results to a large class of Banach function spaces. We show that with modest assumptions on the underlying spaces and on the operator $T$, if the commutator $[b,T]$ is bounded, then the function $b$ is in $BMO$.
We prove a boundedness criterion for a class of dyadic multilinear forms acting on two-dimensional functions. Their structure is more general than the one of classical multilinear Calderón-Zygmund operators as several functions can now depend on the same one-dimensional variable. The study of this class is motivated by examples related to the two-dimensional bilinear Hilbert transform and to bilinear ergodic averages. This paper is a sequel to the prior paper arXiv:1108.0917 by the first author.
Let $T$ be a bilinear Calderón-Zygmund singular integral operator and $T^*$ be its corresponding truncated maximal operator. For any $b\in\text{BMO}(\mathbb {R}^n)$ and $\vec{b}=(b_1,\ b_2)\in\text{BMO}(\mathbb {R}^n)\times\text {BMO}(\mathbb{R}^n)$, let $T^*_{b,j}$ (j=1,2), $T^*_{\vec{b}}\ $ be the commutators in the j-th entry and the iterated commutators of $T^*$, respectively. In this paper, for all $1<p_1,p_2<\infty$, $\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}$, we show that $T^*_{b,j}$ and $T^*_{\vec{b}}$ are compact operators from $L^{p_1}(w_1)\times L^{p_2}(w_2)$ to $L^p(v_{\vec{w}})$, i…
In this paper, we show that dyadic paraproducts $π_b$ with $b$ in dyadic BMO are bounded on matrix weighted $L^p(W)$ if $W$ is a matrix $\text{A}_p$ weight.
We characterize the $L^p(σ)\to L^q(ω)$ boundedness of positive dyadic operators of the form $ T(fσ)=\sum_{Q\in\mathscr{D}}λ_Q\int_Q f\,\mathrm{d}σ\cdot 1_Q, $ and the $L^{p_1}(σ_1)\times L^{p_2}(σ_2)\to L^q(ω)$ boundedness of their bilinear analogues, for arbitrary locally finite measures $σ,σ_1,σ_2,ω$. In the linear case, we unify the existing "Sawyer testing" (for $p\leq q$) and "Wolff potential" (for $p>q$) characterizations into a new "sequential testing" characterization valid in all cases. We extend these ideas to the bilinear case, obtaining both sequential testing and potential type ch…
In this paper we prove several weighted estimates for bilinear fractional integral operators and their commutators with BMO functions. We also prove maximal function control theorem for these operators, that is, we prove the weighted $L^p$ norm is bounded by the weighted $L^p$ norm of a natural maximal operator when the weight belongs to $A_\infty$. As a corollary we are able to obtain new weighted estimates for the bilinear maximal function associated to the bilinear Hilbert transform.
The so-called triangular Hilbert transform is an elegant trilinear singular integral form which specializes to many well studied objects of harmonic analysis. We investigate $L^p$ bounds for a dyadic model of this form in the particular case when one of the functions on which it acts is essentially one-dimensional. This special case still implies dyadic analogues of boundedness of the Carleson maximal operator and of the uniform estimates for the one-dimensional bilinear Hilbert transform.
We consider the dyadic paraproducts $π_\f$ on $\T$ associated with an $\M$-valued function $\f.$ Here $\T$ is the unit circle and $\M$ is a tracial von Neumann algebra. We prove that their boundedness on $L^p(\T,L^p(\M))$ for some $1<p<\infty $ implies their boundedness on $L^p(\T,L^p(\M))$ for all $1<p<\infty$ provided $\f$ is in an operator-valued BMO space. We also consider a modified version of dyadic paraproducts and their boundedness on $L^p(\T,L^p(\M)).
In this paper, we give the definability of bilinear singular and fractional integral operators on Morrey-Banach space, as well as their commutators and we prove the boundedness of such operators on Morrey-Banach spaces. Moreover, the necessary condition for BMO via the bounedness of bilinear commutators on Morrey-Banach space is also given. As a application of our main results, we get the necessary conditions for BMO via the bounedness of bilinear integral operators on weighted Morrey space and Morrey space with variable exponents. Finally, we obtain the boundedness of bilinear C-Z operator on…
Let $b$ be a $BMO$-function. It is well-known that the linear commutator $[b, T]$ of a Calderón-Zygmund operator $T$ does not, in general, map continuously $H^1(\mathbb R^n)$ into $L^1(\mathbb R^n)$. However, Pérez showed that if $H^1(\mathbb R^n)$ is replaced by a suitable atomic subspace $\mathcal H^1_b(\mathbb R^n)$ then the commutator is continuous from $\mathcal H^1_b(\mathbb R^n)$ into $L^1(\mathbb R^n)$. In this paper, we find the largest subspace $H^1_b(\mathbb R^n)$ such that all commutators of Calderón-Zygmund operators are continuous from $H^1_b(\mathbb R^n)$ into $L^1(\mathbb R^n)$…
Fix $λ>0$. Consider the Hardy space $H^1(\mathbb{R}_+,dm_λ)$ in the sense of Coifman and Weiss, where $\mathbb{R_+}:=(0,\infty)$ and $dm_λ:=x^{2λ}dx$ with $dx$ the Lebesgue measure. Also consider the Bessel operators $Δ_λ:=-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$, and $S_λ:=-\frac{d^2}{dx^2}+\frac{λ^2-λ}{x^2}$ on $\mathbb{R_+}$. The Hardy spaces $H^1_{Δ_λ}$ and $H^1_{S_λ}$ associated with $Δ_λ$ and $S_λ$ are defined via the Riesz transforms $R_{Δ_λ}:=\partial_x (Δ_λ)^{-1/2}$ and $R_{S_λ}:= x^λ\partial_x x^{-λ} (S_λ)^{-1/2}$, respectively. It is known that $H^1_{Δ_λ}$ and $H^1(\mathbb{R}_+,d…
In this paper, we prove that the product (in the distribution sense) of two functions, which are respectively in $ \BMO(\bR^n)$ and $\H^1(\bR^n)$, may be written as the sum of two continuous bilinear operators, one from $\H^1(\bR^n)\times \BMO(\bR^n) $ into $L^1(\bR^n)$, the other one from $\H^1(\bR^n)\times \BMO(\bR^n) $ into a new kind of Hardy-Orlicz space denoted by $\H^{\log}(\bR^n)$. More precisely, the space $\H^{\log}(\bR^n)$ is the set of distributions $f$ whose grand maximal function $\mathcal Mf$ satisfies $$\int_{\mathbb R^n} \frac {|\mathcal M f(x)|}{\log(e+|x|) +\log (e+ |\mathca…
We obtain a sharp $L^2\times L^2 \to L^1$ boundedness criterion for a class of bilinear operators associated with a multiplier given by a signed sum of dyadic dilations of a given function, in terms of the $L^q$ integrability of this function; precisely we show that boundedness holds if and only if $q<4$. We discuss applications of this result concerning bilinear rough singular integrals and bilinear dyadic spherical maximal functions. Our second result is an optimal $L^2\times L^2\to L^1$ boundedness criterion for bilinear operators associated with multipliers with $L^\infty$ derivatives. Thi…
This paper mainly dedicates to prove a plethora of weighted estimates on Morrey spaces for bilinear fractional integral operators and their general commutators with BMO functions of the form $$B_α(f,g)(x)=\int_{\mathbb{R}^{n}}\frac{f(x-y)g(x+y)}{|y|^{n-α}}dy,\qquad 0<α<n.$$ We also prove some maximal function control theorems for these operators, that is, the weighted Morrey norm is bounded by the weighted Morrey norm of a natural maximal operator when the weight belongs to $A_{\infty}$. As a corollary, some new weighted estimates for the bilinear maximal function associated to the bilinear Hi…
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 th…
Let $Ω$ be a collection of disjoint dyadic squares $ω$, let $π_ω$ denote the non-smooth bilinear projection onto $ω$ \[ π_ω(f,g)(x):=\int\int \mathbf{1}_ω(ξ,η) \widehat{f}(ξ) \widehat{g}(η) e^{2πi (ξ+ η) x} d ξdη\] and let $r>2$. We show that the bilinear Rubio de Francia operator \[ \Big(\sum_{ω\inΩ} |π_ω (f,g)|^r \Big)^{1/r} \] is $L^p \times L^q \rightarrow L^s$ bounded with constant independent of $Ω$ whenever $1/p + 1/q = 1/s$, $r'<p,q<r$, $r'/2 < s < r/2$.
We study the boundedness properties of commutators formed by $b$ and $T$, where $T$ is a bilinear bi-parameter singular integral satisfying natural $T1$ type conditions and $b$ is a little BMO function. For paraproduct free bilinear bi-parameter singular integrals $T$ we prove that $[b, T]_1 \colon L^p(\mathbb{R}^{n+m}) \times L^q(\mathbb{R}^{n+m}) \to L^r(\mathbb{R}^{n+m})$ in the full range $1 < p, q \le \infty$, $1/2 < r < \infty$ satisfying $1/p+1/q = 1/r$. A special case is when $T$ is a bilinear bi-parameter multiplier. We also prove the corresponding Banach range result for all singular…
Let b be a function on the plane. Let H_j, j=1,2, be the Hilbert transform acting on the j-th coordinate on the plane. We show that the operator norm of the double commutator [[ M_b, H_1], H_2] is equivalent to the Chang-Fefferman BMO norm of b. Here, M_b denotes the operator which is multiplication by b. This result extends a well known theorem of Nehari on weak factorization in the Hardy space H^1 to the same theorem on H^1 of a product domain. The product setting is more delicate because of the presence of a two parameter family of dilations. The method of proof depends upon (a) A dyadic de…
We complete our boundedness theory of commutators of bilinear bi-parameter singular integrals by establishing the following result. If $T$ is a bilinear bi-parameter singular integral satisfying suitable $T1$ type assumptions, $\|b\|_{\operatorname{bmo}(\mathbb{R}^{n+m})} = 1$ and $1 < p, q \le \infty$ and $1/2 < r < \infty$ satisfy $1/p+1/q = 1/r$, then we have $$ \|[b, T]_1(f_1, f_2)\|_{L^r(\mathbb{R}^{n+m})} \lesssim \|f_1\|_{L^p(\mathbb{R}^{n+m})} \|f_2\|_{L^q(\mathbb{R}^{n+m})}. $$ Previously the range $r \le 1$ was proved only in the paraproduct free situation. The main novelty lies in t…
In this paper, we study the dyadic Carleson Embedding Theorem in the matrix weighted setting. We provide two new proofs of this theorem, which highlight connections between the matrix Carleson Embedding Theorem and both maximal functions and $H^1$-BMO duality. Along the way, we establish boundedness results about new maximal functions associated to matrix $A_2$ weights and duality results concerning $H^1$ and BMO sequence spaces in the matrix setting. As an application, we then use this Carleson Embedding Theorem to show that if $S$ is a sparse operator, then the operator norm of $S$ on $L^2(W…
Boundedness properties for pseudodifferential operators with symbols in the bilinear Hörmander classes of sufficiently negative order are proved. The results are obtained in the scale of Lebesgue spaces and, in some cases, end-point estimates involving weak-type spaces and BMO are provided as well. From the Lebesgue space estimates, Sobolev ones are then easily obtained using functional calculus and interpolation. In addition, it is shown that, in contrast with the linear case, operators associated with symbols of order zero may fail to be bounded on products of Lebesgue spaces.
For cylindrically symmetric functions dyadically supported on the paraboloid, we obtain a family of sharp linear and bilinear adjoint restriction estimates. As corollaries, we first extend the ranges of exponents for the classical \textit{linear or bilinear adjoint restriction conjectures} for such functions and verify the \textit{linear adjoint restriction conjecture} for the paraboloid. We also interpret the restriction estimates in terms of solutions to the Schrödinger equation and establish the analogous results when the paraboloid is replaced by the lower third of the sphere.
We develop a wide general theory of bilinear bi-parameter singular integrals $T$. First, we prove a dyadic representation theorem starting from $T1$ assumptions and apply it to show many estimates, including $L^p \times L^q \to L^r$ estimates in the full natural range together with weighted estimates and mixed-norm estimates. Second, we develop commutator decompositions and show estimates in the full range for commutators and iterated commutators, like $[b_1,T]_1$ and $[b_2, [b_1, T]_1]_2$, where $b_1$ and $b_2$ are little BMO functions. Our proof method can be used to simplify and improve lin…
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…
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…
We obtain sharp bounds for the monotonic rearrangement operator from "dyadic-type" classes to "continuous". In particular, for the $\mathrm{BMO}$ space and Muckenhoupt classes. The idea is to connect the problem with a simple geometric construction named $α$-extension.
In this paper we introduce a class of BMO spaces which interpolate with $L_p$ and are sufficiently large to serve as endpoints for new singular integral operators. More precisely, let $(Ω, Σ, μ)$ be a $σ$-finite measure space. Consider two filtrations of $Σ$ by successive refinement of two atomic $σ$-algebras $Σ_\mathrm{a}, Σ_\mathrm{b}$ having trivial intersection. Construct the corresponding truncated martingale BMO spaces. Then, the intersection seminorm only leaves out constants and we provide a quite flexible condition on $(Σ_\mathrm{a}, Σ_\mathrm{b})$ so that the resulting space interpol…
In this note, we establish several interpolation inequalities in $\mathbb R^n$ in the Lebesgue spaces and Morrey spaces. By using the classical Calderon--Zygmund decomposition, we will reprove that $L^{p}(\mathbb R^n)\cap\mathrm{BMO}(\mathbb R^n)\subset L^{q}(\mathbb R^n)$ for all $q$ with $p<q<\infty$, where $1\leq p<\infty$. We also reprove that there exists a constant $C(p,q,n)$ depending on $p,q,n$ such that the following inequality \begin{equation*} \|f\|_{L^q}\leq C(p,q,n)\cdot\big(\|f\|_{L^p}\big)^{p/q}\cdot\big(\|f\|_{\mathrm{BMO}}\big)^{1-p/q} \end{equation*} holds for all $f\in L^{p}…
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$\,(\mathb…
