Boundedness and compactness for the commutators of bilinear operators on Morrey spaces (Q2345898)

Let \(K(x,y,z)\) be a locally integrable function defined away from the diagonal \(x=y=z\) in \((\mathbb{R}^{n})^{2+1}\), which satisfies the size estimate \[ |K(x,y,z)| \leq \frac{A}{(|x-y|+|x-z|)^{2n}} \] for some \(A > 0\) and all \((x,y,z) \in (\mathbb{R}^{n})^{2+1}\). Let \(i=1, 2\) and \(b \in \text{BMO}(\mathbb{R}^n)\). The commutators \([T,b]_i\) of the bilinear operator \(T(f,g)\) are defined by \[ [T,b]_1(f,g) = T(bf,g) - bT(f,g), \;\;[T,b]_2(f,g) = T(f,bg) - bT(f,g), \] where \[ T(f,g)(x) =\int_{\mathbb{R}^n}\int_{\mathbb{R}^n} K(x,y,z) \, f(y) \, g(z) \, dy\,dz \] for all \(x \notin \text{supp} \, f \cap \text{supp}\, g\). The maximal operators \(T_{*,b,i}\) of the commutators \([T,b]_i\) are defined by \[ T_{*,b,1}(f,g)(x) = \sup_{\delta >0}|[T_{\delta},b]_1(f,g)(x)|, \;\;T_{*,b,2}(f,g)(x) = \sup_{\delta >0}|[T_{\delta},b]_2(f,g)(x)|, \] where \[ T_{\delta}(f,g)(x) = \int\!\!\!\int_{|x-y|+|x-z|> \delta} K(x,y,z) \, f(y) \, g(z) \, dy\,dz. \] For \(0< \alpha < 2n\) the bilinear fractional integral \(\mathcal{I}_{\alpha}(f,g)\) is defined by \[ \mathcal{I}_{\alpha}(f,g)(x) =\int_{\mathbb{R}^n}\int_{\mathbb{R}^n}\frac{f(y) \, g(z)}{(|x-y|+|x-z|)^{2n-\alpha}} \, dy\,dz \] and the commutators \([\mathcal{I}_{\alpha},b]_i\) of \(\mathcal{I}_{\alpha}(f,g)\) are defined by \[ [\mathcal{I}_{\alpha},b]_1(f,g) = \mathcal{I}_{\alpha}(bf,g) - b\mathcal{I}_{\alpha}(f,g), \;\;[\mathcal{I}_{\alpha},b]_2(f,g) =\mathcal{I}_{\alpha}(f,bg) - b\mathcal{I}_{\alpha}(f,g). \] In this paper, the authors prove that when \(b \in \text{BMO}(\mathbb{R}^n)\), the commutators \([T,b]_i\), the maximal operators \(T_{*,b,i}\), and the commutators \([\mathcal{I}_{\alpha},b]_i\) are bounded operators on Morrey spaces for some suitable indexes and ranges, and when \(b \in \text{CMO}(\mathbb{R}^n)\) (the \(\text{BMO}\) closure of \(C_{c}^{\infty})\), they are also compact operators on Morrey spaces.