Compactness Characterizations of Commutators on Ball Banach Function Spaces

Abstract: Let

X

be a ball Banach function space on

{m a t h b b R}^{n}

. Let

O m e g a

be a Lipschitz function on the unit sphere of

{m a t h b b R}^{n}

,which is homogeneous of degree zero and has mean value zero, and let

T_{O} m e g a

be the convolutional singular integral operator with kernel

O m e g a (c d o t) / | c d o t |^{n}

. In this article, under the assumption that the Hardy--Littlewood maximal operator

m a t h c a l M

is bounded on both

X

and its associated space, the authors prove that the commutator

[b, T_{O} m e g a]

is compact on

X

if and only if

b i n m C M O ({m a t h b b R}^{n})

. To achieve this, the authors mainly employ three key tools: some elaborate estimates, given in this article, on the norm in

X

of the commutators and the characteristic functions of some measurable subset,which are implied by the assumed boundedness of

m a t h c a l M

on

X

and its associated space as well as the geometry of

m a t h b b R^{n}

; the complete John--Nirenberg inequality in

X

obtained by Y. Sawano et al.; the generalized Fr'{e}chet--Kolmogorov theorem on

X

also established in this article. All these results have a wide range of applications. Particularly, even when

X := L^{p (c d o t)} ({m a t h b b R}^{n})

(the variable Lebesgue space),

X := L^{v e c p} ({m a t h b b R}^{n})

(the mixed-norm Lebesgue space),

X := L^{P} h i ({m a t h b b R}^{n})

(the Orlicz space), and

X := (E_{P} h i^{q})_{t} ({m a t h b b R}^{n})

(the Orlicz-slice space or the generalized amalgam space), all these results are new.

This page was built for publication: Compactness Characterizations of Commutators on Ball Banach Function Spaces