Commutator of Marcinkiewicz Integral Operators on Herz-Morrey-Hardy Spaces with Variable Exponents

In this paper, our aim is to prove the boundedness of commutators generated by the Marcinkiewicz integrals operator [ b, μ _Ω] and obtain the result with Lipschitz function and BMO function f on the Herz-Morrey-Hardy spaces with variable exponents .

• Marcinkiewicz Integral Operator
• Herz-Morrey-Hardy Space
• Commutator
• Variable Exponent
• Lipschitz Space

1. Introduction

Firstly in 1938, Marcinkiewicz [1] introduced the Marcinkiewicz integral. Next, the Marcinkiewicz integral operator has been studied extensively by many mathematicians in various fields. For example, Stain in [2] introduced the Marcinkiewicz integral operator related to the littlewood-Paley g function on ℝ n and proved that μ Ω is of type ( p , p ) for 1 < p ≤ 2 and of week type ( 1,1 ) . In [3], Ding, Fan and Pan improved the above result and obtained the L p ( 1 < p < ∞ ) and weighted L p ( 1 < p < ∞ ) boundedness of the Marcinkiewicz cussed the boundedness for the commutator generated by the Marcinkiintegral μ under some weak conditions. Torchinsky and Wang in [4] discussed integral μ Ω and B M O ( ℝ n ) function on Lebesgue spaces L p ( ℝ n ) .

On the other hand, a class of functional spaces called Herz-Morrey-Hardy spaces with variable exponent has attracted great interest in recent years. We find that in successive studies in this field, in [5] [6] Xu, Yang introduced Herz-Morrey-Hardy spaces with variable exponents and their some applications. He obtained that certain singular integral operators are bounded from Herz-Morrey-Hardy spaces with variable exponents into Herz-Morrey spaces with variable exponents as an application of the atomic characterization. Also, he established their molecular decomposition, and by using their atomic and molecular decompositions, he gave the boundedness of a convolution type singular integral on Herz-Morrey-Hardy spaces with variable exponents. Omer in [7] proved the boundedness of commutators generated by the Calderón-Zygmund and used properties of variable exponent, BMO(Rⁿ) function and Lipschitz function to prove this boundedness. Also, Yang in [8] established some boundedness for T D γ − D γ T and ( T * − T # ) D γ on the homogeneous Morrey-Herz-type Hardy spaces with variable exponents and studied Boundedness of Calderón-Zygmund operator on these spaces.

Suppose S n − 1 ( n ≥ 2 ) denotes the unit sphere in ℝ n equipped with the normalized measure d σ . Let Ω be homogenous function of degree zero and satisfies

∫ S n − 1     Ω ( x ′ ) d σ ( x ′ ) = 0, (1.1)

where x ′ = x / | x | for any x ≠ 0 .

Then the Marcinkiewicz integral operator μ Ω is defined by

μ Ω ( f ) ( x ) = ( ∫ 0 ∞ | F Ω , t ( f ) ( x ) | 2 d t t 3 ) 1 / 2 , (1.2)

where

F Ω , t ( f ) ( x ) = ∫ | x − y | ≤ 1 Ω ( x − y ) | x − y | n − 1 f ( y ) d y . (1.3)

Let b ∈ L i p γ ( ℝ n ) and b ∈ B M O be a locally integrable function on ℝ n , the commutator generated by the Marcinkiewicz integral μ Ω and b is defined by

[ b , μ Ω ] = ( ∫ 0 ∞ | ∫ | x − y | ≤ t Ω ( x − y ) | x − y | n − 1 [ b ( x ) − b ( y ) ] f ( y ) d y | 2 d t t 3 ) 1 / 2 . (1.4)

Motivated by [6] and [7], the aim of this paper is to study the boundedness for the commutator of Marcinkiewicz integral operator [ b , μ Ω ] on the Herz-Morrey-Hardy space with variable exponent where Ω ∈ L s ( S n − 1 ) for s ≥ 1 , with BMO function and Lipschitz function, we will define The definitions of the Morrey-Herz spaces with variable exponents, the Morrey-Herz-Hardy spaces with variable exponents (which will be defined in the next section), and the preliminary lemmas are presented in Section 2. In Section 3, we will prove the boundedness of the commutator of Marcikiewicz integrals on Herz-Morrey-Hrdy spaces with variable exponent with b ∈ L i p γ ( ℝ n ) . Lastly, in Section 4 we will prove the boundedness of the commutator of Marcikiewicz integrals on Herz-Morrey-Hrdy spaces with variable exponent with function b ∈ B M O ( ℝ n ) .

A given open set Ω ⊂ ℝ n and a measurable function p ( ⋅ ) : Ω → [ 1, ∞ ) , L p ( ⋅ ) ( Ω ) denotes the set of measurable function f on Ω such that for some λ > 0 ,

L p ( ⋅ ) ( Ω ) = { f   is   measurable : ∫ Ω ( | f ( x ) | η ) p ( x ) d x < ∞     for   some   constant     η > 0 } , (1.5)

the space L L o c p ( ⋅ ) ( Ω ) is defined by

L L o c p ( ⋅ ) ( Ω ) = { f   ismeasurable : f ∈ L p ( ⋅ ) ( K )   forallcompact   K ⊂ Ω } . (1.6)

The Lebesgue spaces L p ( ⋅ ) ( Ω ) is Banach spaces with the norm defined by

‖ f ‖ L p ( ⋅ ) ( Ω ) = inf { η > 0 : ∫ Ω ( | f ( x ) | η ) p ( x ) d x ≤ 1 } , (1.7)

where p − = essinf { p ( x ) : x ∈ Ω } > 1 , p + = esssup { p ( x ) : x ∈ Ω } < ∞ .

Denotes p ′ ( x ) = p ( x ) / ( p ( x ) − 1 ) . Let M be the Hardy-Littlewood maximal operator. We denote B ( Ω ) to be the set of all functions p ( ⋅ ) ∈ P ( Ω ) satisfying the M is bounded on L p ( ⋅ ) ( Ω ) .

Definition 1.1. [6]

Let 0 < q ≤ ∞ , p ( ⋅ ) ∈ P ( ℝ n ) , 0 ≤ λ < ∞ . Let α ( ⋅ ) be a bounded real-valued measurable function on ℝ n . The nonhomogeneous Morrey-Herz space M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) and homogeneous Morrey-Herz space with variable exponents M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) are respectively defined by

M K p ( ⋅ ) , λ α ( ⋅ ) , q : = { f ∈ L l o c p ( ⋅ ) ( ℝ n \ { 0 } ) : ‖ f ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q < ∞ } , (1.8)

and

M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q : = { f ∈ L L o c p ( ⋅ ) ( ℝ n \ { 0 } ) : ‖ f ‖ M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q < ∞ } , (1.9)

where

‖ f ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q : = sup L ∈ ℕ 0 2 − L λ ( ∑ k = 0 L ‖ 2 k α ( ⋅ ) f χ ˜ k ‖ L p ( ⋅ ) q ) 1 / q , (1.10)

‖ f ‖ M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q : = sup L ∈ ℤ 2 − L λ ( ∑ k = − ∞ L ‖ 2 k α ( ⋅ ) f χ k ‖ L p ( ⋅ ) q ) 1 / q . (1.11)

Definition 1.2. [9]

For all 0 < γ ≤ 1 , the Lipschitz space L i p γ ( ℝ n ) is defined by

L i p γ = { f : ‖ f ‖ L i p γ = sup x , y ∈ ℝ n ; x ≠ y | f ( x ) − f ( y ) | | x − y | γ < ∞ } . (1.12)

Definition 1.3. [5]

Let α ( ⋅ ) ∈ L ∞ ( ℝ n ) ,   p ( ⋅ ) ∈ P ( ℝ n ) ,   0 < q ≤ ∞ ,   0 ≤ λ < ∞ and N > n + 1 . The nonhomogeneous Herz-Morrey-Hardy space with variable exponent H M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) and homogeneous Herz-Morrey-Hardy space with variable exponents H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) are respectively defined by

H M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) : = { f ∈ S ′ ( ℝ n ) : ‖ f ‖ H M K p ( ⋅ ) λ α ( ⋅ ) , q : = ‖ G N f ‖ M K p ( ⋅ ) λ α ( ⋅ ) , q < ∞ } , (1.13)

H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) : = { f ∈ S ′ ( ℝ n ) : ‖ f ‖ H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q : = ‖ G N f ‖ M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q < ∞ } . (1.14)

Definition 1.4. [10] (Hölder’s inequality) Let α > 1 and 1 / α + 1 / β = 1 . Then the discrete and integral forms of Hölder’s inequality are given as

∫ a b | f ( x ) g ( x ) | d x ≤ ( ∫ a b | f ( x ) | α ) 1 / α ( ∫ a b | g ( x ) | β ) 1 / β , (1.15)

for continuous function f and g on [ a , b ] .

Definition 1.5. [10] (Minkowski’s inequality) Let u > 1 . Then the discrete and integral forms of Minkowski’s inequality are given as

( ∫ a b | f ( x ) + g ( x ) | u d x ) 1 / u ≤ ( ∫ a b | f ( x ) | u ) 1 / u + ( ∫ a b | g ( x ) | u ) 1 / u , (1.16)

for continuous function f and g on [ a , b ] . for more general functions can be obtained naturally. A further generalization is: If u > 1 , then

( ∫ ( ∫ | f ( x , y ) | d y ) u d x ) 1 / u ≤ ∫ ( ∫ | f ( x ) | u d x ) 1 / u d y . (1.17)

2. Preliminaries

In this section, we give some preliminaries which we used to prove theorems.

Lemma 2.1. [11] Let p ( ⋅ ) ∈ P ( ℝ n ) . Then for any f ∈ L p ( ⋅ ) and g ∈ L p ′ ( ⋅ ) , we have

∫ ℝ n | f ( x ) g ( x ) | d x ≤ C p ‖ f ‖ L p ( ⋅ ) ( ℝ n ) ‖ g ‖ L p ′ ( ⋅ ) ( ℝ n ) ,

where C p = 1 + 1 p − − 1 p + .

This inequality is called the generalized Hölder inequality with respect to the variable L p ( ⋅ ) spaces.

Lemma 2.2. [12] Given p ( ⋅ ) ,   p 1 ( ⋅ ) ,   p 2 ( ⋅ ) ∈ P ( ℝ n ) , for any f ∈ L p 1 ( ⋅ ) ( ℝ n ) ,   g ∈ L p 2 ( ⋅ ) ( ℝ n ) , when 1 p ( ⋅ ) = 1 p 2 ( ⋅ ) + 1 p 1 ( ⋅ ) , we get

‖ f ( x ) g ( x ) ‖ L p ( ⋅ ) ( ℝ n ) ≤ C ‖ f ‖ L p 1 ( ⋅ ) ( ℝ n ) ‖ g ‖ L p 2 ( ℝ n ) ,

where C p 1 ,   p 2 = [ 1 + 1 p 1 − − 1 p 1 + ] 1 p − .

Proposition 2.3. [13] If q ( ⋅ ) ∈ P ( ℝ n ) satisfies

| q ( x ) − q ( y ) | ≤ − C log ( | x − y | ) ,         | x − y | ≤ 1 / 2 ,

| q ( x ) − q ( y ) | ≤ C log ( e + | x | ) ,             | y | ≥ | x | ,

then q ( ⋅ ) ∈ B ( ℝ n ) .

Lemma 2.4. [14] Let k be a positive integer and B be a ball in ℝ n . Then we have that for all b ∈ B M O ( ℝ n ) and i , j ∈ ℤ with i < j , we have

1) C − 1 ‖ b ‖ ∗ k ≤ sup B 1 ‖ χ B ‖ L p ( ⋅ ) ( ℝ n ) ‖ ( b − b B ) χ B ‖ L p ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ ∗ k ,

2) ‖ ( b − b B i ) k χ B j ‖ L p ( ⋅ ) ( ℝ n ) ≤ C ( j − i ) K ‖ b ‖ ∗ k ‖ χ B j ‖ L q ( ⋅ ) ( ℝ n ) ,

where B i = { x ∈ ℝ n : | x | ≤ 2 i } and B j = { x ∈ ℝ n : | x | ≤ 2 j } .

Lemma 2.5. [15] Let q ( ⋅ ) ∈ B ( ℝ n ) , then there exist positive constants C > 0 , such that for all balls B ⊂ ℝ n and all measurable subset R ⊂ B ,

‖ χ R ‖ L q ( ⋅ ) ( ℝ n ) ‖ χ B ‖ L q ( ⋅ ) ( ℝ n ) ≤ C ( | R | | B | ) δ 1 ,       ‖ χ R ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ B ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ C ( | R | | B | ) δ 2 ,

where δ 1 , δ 2 are constants with 0 < δ 1 , δ 2 < 1 .

Lemma 2.6. [16] If q ( ⋅ ) ∈ B ( ℝ n ) , then there exists a constant C > 0 such that for any balls B in ℝ n ,

1 | B | ‖ χ B ‖ L q ( ⋅ ) ( ℝ n ) ‖ χ B ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ C .

Lemma 2.7. [6] Let 0 < q < ∞ ,   p ( ⋅ ) ∈ B ( ℝ n ) ,   0 < λ < ∞ , and α ( ⋅ ) ∈ L ∞ ( ℝ n ) be log-Hölder continuous both at the origin and infinity, 2 λ ≤ α ( ⋅ ) , n δ 2 ≤ α ( 0 ) , α ∞ < ∞ , δ 2 as in lemma 2.4. Then f ∈ H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) (or H M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) ) if and only if f = ∑ k = − ∞ ∞     λ k f k (or f = ∑ k = 0 ∞     λ k f k ), in the sense of f ∈ S ′ ( ℝ ) n , where each a k is a central ( α ( ⋅ ) , p ( ⋅ ) ) atom with support contained in B k and

sup L ≤ 0 , L ∈ Z 2 − L λ ∑ k = − ∞ L | λ k | q < ∞ or ( sup L ≤ 0 , L ∈ Z 2 − L λ ∑ k = 0 L | λ k | q ) ,

moreover

‖ f ‖ H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ≈ inf sup L ≤ 0 , L ∈ Z 2 − L λ ( ∑ k = − ∞ L | λ k | q ) 1 / q

or

‖ f ‖ H M K p ( ⋅ ) λ α ( ⋅ ) , q ≈ inf sup L ≤ 0 , L ∈ Z 2 − L λ ( ∑ k = 0 L | λ k | q ) 1 / q ,

where infimum is taken over all above decomposition of f.

Lemma 2.8. [17] Let q ( ⋅ ) ∈ P ( ℝ n ) , q ∈ ( 0, ∞ ] and λ ∈ [ 0, ∞ ) . If α ( ⋅ ) ∈ L ∞ ( ℝ n ) ∩ P 0 l o g ( ℝ n ) ∩ P ∞ l o g ( ℝ n ) , then

‖ f ‖ M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) q = max { sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ‖ f χ k ‖ L p ( ⋅ ) q ,                                           sup L ≤ 0 , L ∈ Z 2 − L λ q ( ∑ k = − ∞ − 1 2 k q α ( 0 ) ‖ f χ k ‖ L p ( ⋅ ) q + ∑ k = 0 L     2 k q α ( ∞ ) ‖ f χ k ‖ L p ( ⋅ ) q ) } .

Lemma 2.9. [18] Let Ω satisfies L r -Dini condition with r ∈ [ 1, ∞ ) . If there exist constants C > 0 and R > 0 such that | y | < R / 2 , then for every x ∈ ℝ n , we have

( ∫ R < | R | < 2 R | Ω ( x − y ) | x − y | − Ω ( x ) | x | | r d x ) 1 / r ≤ C R ( n r − n ) { | y | R + ∫ | y | / 2 R < δ < | y | / R ω r ( δ ) δ d δ } .

Lemma 2.10. [15] Given E, let q ( ⋅ ) ∈ P ( E ) , f : E × E → ℝ n be a measurable function (with respect to product measure) such that for almost every y ∈ E , f ( ., y ) ∈ L q ( ⋅ ) ( E ) . Then

‖ ∫ E     f ( ., y ) d y ‖ L q ( ⋅ ) ( E ) ≤ C ∫ E ‖ f ( ., y ) ‖ L q ( ⋅ ) ( E ) d y .

Lemma 2.11. [19] If a > 0 ,   1 ≤ s ≤ ∞ ,   0 ≤ d ≤ s and − n + ( n − 1 ) d / s < v < ∞ , then

( ∫ | y | ≤ a | x | | y | v | Ω ( x − y ) | d d y ) 1 / d ≤ C | x | ( v + n ) / d ‖ Ω ‖ L s ( S n − 1 ) .

Lemma 2.12. [19] Let q ( ⋅ ) ∈ P satisfies Proposition 2.3. Then

‖ χ Q ‖ L q ( ⋅ ) ( ℝ n ) ≈ ( | Q | 1 q ( x ) if   | Q | ≤ 2 n   and   x ∈ Q | Q | 1 q ( ∞ ) if   | Q | ≥ 1

for every cube (or ball) Q ∈ ℝ n , where p ( ∞ ) = lim x → ∞ p ( x ) .

3. Lipschitz Boundedness for the Commutator of Marcikiewicz Integrals Operator

In this section, we prove the boundedness of the commutator of Marcikiewicz integrals on Herz-Morrey-Hrdy spaces with variable exponent so when b ∈ L i p γ ( ℝ n ) under some conditions.

Theorem 3.1.

Suppose that b ∈ L i p γ ( ℝ n ) with 0 < γ ≤ 1 . If q 1 ( ⋅ ) ∈ P ( ℝ n ) satisfies proposition 2.3 with q 1 + < n / γ , 1 / q 1 ( x ) − 1 / q 2 ( x ) = γ / n , Ω ∈ L s ( S n − 1 ) ( s > q 2 + ) with 1 ≤ s ′ < q 1 − and satisfies

∫ 0 1 Ω s ( δ ) δ 1 + γ d δ < ∞ ,

let 0 < p 1 ≤ q 2 < ∞ and n δ 2 ≤ α < n δ 2 + γ or ( 0 < max ( n δ 2 , α 2 ) ≤ α 1 < n δ 2 + γ ). Then the commutator [ b , μ Ω ] is bounded from H M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) (or H M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) ) to M K ˙ p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) (or M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) ).

To the proof the above theorem, we will recall the following lemma.

Lemma 3.1. [15]

Suppose that b ∈ L i p γ ( ℝ n ) with 0 < γ ≤ 1 . If q 1 ( ⋅ ) ∈ P ( ℝ n ) satisfies Proposition 2.3 with q 1 + < n / γ , 1 / q 1 ( x ) − 1 / q 2 ( x ) = γ / n with Ω ∈ L s ( S n − 1 ) ( s > q 2 + ) . Then the commutator [ b , μ Ω ] is bounded from L q 1 ( ⋅ ) ( ℝ n ) to L q 1 ( ⋅ ) ( ℝ n ) .

Next, we will give the Lipschitz estimate about the commutator [ b , μ Ω ] on Herz-Morrey-Hardy spaces with variable exponent.

Proof Theorem 3.1:

To prove this theorem, we only prove the homogeneous case. Let f ∈ H M K p ( ⋅ ) λ α ( ⋅ ) , q ( ℝ n ) . By lemma 2.6 we have f = ∑ j = − ∞ ∞     λ j f j converged in S ′ ( ℝ ) n , where each b j is a central ( α ( ⋅ ) , p ( ⋅ ) ) atom with support contained in B j and

‖ f ‖ H M K p ( ⋅ ) λ α ( ⋅ ) , q ≈ inf sup L ≤ 0, L ∈ Z 2 − L λ ( ∑ j = − ∞ L | λ j | q ) 1 / q .

Here we denote Δ = sup L ≤ 0, L ∈ Z 2 − L λ ∑ k = − ∞ L | λ k | q . By lemma 2.8 we have

‖ [ b , μ Ω ] ( f ) ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) q = max { sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ,   sup L ≤ 0 , L ∈ Z 2 − L λ q ( ∑ k = − ∞ − 1     2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q   + ∑ k = 0 L     2 k q α ( ∞ ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ) } .

I = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q , I I = ∑ k = − ∞ − 1     2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q , I I I = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q .

In beginning, we examine a function which we will use in proving

| [ b , μ Ω ] ( b j ) ( x ) | ≤ { ∫ 0 | x | | ∫ | x − y | ≤ t | Ω ( x − y ) | | x − y | n − 1 [ b ( x ) − b ( y ) ] b j ( y ) d y | 2 d t t 3 } 1 / 2     + { ∫ | x | ∞ | ∫ | x − y | ≤ t | Ω ( x − p y ) | | x − y | n − 1 [ b ( x ) − b ( y ) ] b j ( y ) d y | 2 d t t 3 } 1 / 2 : ≃ ϒ 1 + ϒ 2 .

When x ∈ A k and | x − y | ≤ t with t ≤ | x | , it follows from j ≤ k − 2 that | x − y | ∼ | x | . We have

| 1 | x − y | 2 − 1 | x | 2 | ≤ | y | | x − y | 3 . (3.1)

Then by (3.1), the Minkowski’s inequality, the generalized Hölder’s inequality and the vanishing of the moment of b j we have

ϒ 1 ≤ C ∫ ℝ n | | Ω ( x − y ) | | x − y | 2 − | Ω ( x ) | | x | 2 | | b ( x ) − b ( y ) | | b j ( y ) | ( ∫ | x − y | | x | d t t 3 ) 1 / 2 d y ≤ C ∫ ℝ n | | Ω ( x − y ) | | x − y | 2 − | Ω ( x ) | | x | 2 | | b ( x ) − b ( y ) | | b j ( y ) | | 1 | x − y | 2 − 1 | x | 2 | 1 / 2 d y

≤ C ∫ ℝ n | | Ω ( x − y ) | | x − y | 2 − | Ω ( x ) | | x | 2 | | b ( x ) − b ( y ) | | b j ( y ) | | y | 1 / 2 | x − y | 3 / 2 d y ≤ C 2 ( j − k ) / 2 ∫ B j | | Ω ( x − y ) | | x − y | 2 − | Ω ( x ) | | x | 2 | | b ( x ) − b ( y ) | | b j ( y ) | d y .

Similarly, we consider ϒ 2 . Noting that | x − y | ∼ | x | . By the Minkowski’s inequality, the generalized Hölder’s inequality and the vanishing moments of b j we have

ϒ 2 ≤ C ∫ ℝ n | | Ω ( x − y ) | | x − y | n − 1 − | Ω ( x ) | | x | n − 2 | | b ( x ) − b ( y ) | | b j ( y ) | ( ∫ | x | ∞ d t t 3 ) 1 / 2 d y ≤ C ∫ B j | | Ω ( x − y ) | | x − y | 2 − | Ω ( x ) | | x | 2 | | b ( x ) − b ( y ) | | b j ( y ) | d y .

So we have

| [ b , μ Ω ] ( b j ) ( x ) | ≤ C ∫ B j | | Ω ( x − y ) | | x − y | n − | Ω ( x ) | | x | n | | b ( x ) − b ( y ) | | b j ( y ) | d y .

From lemma 2.10 and the Minkowski’s inequality we have

‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ( ℝ n ) ≤ C ∫ B j ‖ | | Ω ( x − y ) | | x − y | n − | Ω ( x ) | | x | n | | b ( x ) − b ( y ) | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) | b j ( y ) | d y ≤ C ∫ B j ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | | b ( ⋅ ) − b ( 0 ) | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) | b j ( y ) |     + C ∫ B j ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) | b ( 0 ) − b ( y ) | | b j ( y ) | : = ϒ 1 ∗ + ϒ 2 ∗ .

For ϒ 1 ∗ , noting s > p ′ , we denote p ˜ ′ ( ⋅ ) > 1 and 1 p ( x ) = 1 p ˜ ′ ( x ) + 1 s . By lemma 2.2 we have

‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | | b ( ⋅ ) − b ( 0 ) | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) ≤ ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ | b ( 0 ) − b ( y ) | | b j ( y ) | ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ L i p γ 2 k γ ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ χ B K ‖ L p ′ ( ⋅ ) ( ℝ n ) .

When | B k | ≤ 2 n and x k ∈ B k , by Lemma 2.12 we have

‖ χ B K ‖ L p ′ ( ⋅ ) ( ℝ n ) ≃ | B k | 1 p ′ ( x k ) ≈ ‖ χ B K ‖ L p ( ⋅ ) ( ℝ n ) | B k | − 1 s − − γ n .

When | B k | ≥ 1 we have

‖ χ B K ‖ L p ′ ( ⋅ ) ( ℝ n ) ≃ | B k | 1 p ′ ( ∞ ) ≈ ‖ χ B K ‖ L p ( ⋅ ) ( ℝ n ) | B k | − 1 s − − γ n .

So we obtain

‖ χ B K ‖ L p ′ ( ⋅ ) ( ℝ n ) ≈ ‖ χ B K ‖ L p ( ⋅ ) ( ℝ n ) | B k | − 1 s − − γ n .

By lemma 2.9 we have

‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ≤ 2 ( k − 1 ) ( n s − n ) { | y | 2 k + ∫ | y | 2 k | y | 2 k − 1 ω s ( δ ) δ d δ } ≤ 2 ( k − 1 ) ( n s − n ) { 2 j − k + 1 + 2 ( j − k + 1 ) γ ∫ 0 1 ω s ( δ ) δ d δ } ≤ 2 ( k − 1 ) ( n s − n ) 2 ( j − k ) γ .

Now, by using the generalized Hölder’s inequality we get:

ϒ 1 * ≤ ∫ B j ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | | b ( ⋅ ) − b ( y ) | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) | b j ( y ) | d y ≤ C ‖ b ‖ L i p γ 2 − k n + ( j − k ) γ − k γ ‖ χ B K ‖ L p ( ⋅ ) ( ℝ n ) | B k | − 1 s − − γ n ∫ B j | b j ( y ) | d y ≤ C ‖ b ‖ L i p γ 2 − k n + ( j − k ) γ − k γ ‖ χ B K ‖ L p ( ⋅ ) ( ℝ n ) ‖ b j ‖ L p ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L p ′ ( ⋅ ) ( ℝ n ) . (3.2)

For ϒ 2 * similar to the method of ϒ 1 * we have

‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) ≤ ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ χ k ( ⋅ ) ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ χ B k ( ⋅ ) ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ 2 ( k − 1 ) ( n s − n ) 2 ( j − k ) γ ‖ χ B K ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ 2 − k n + ( j − k ) γ − k γ ‖ χ B k ‖ L p ( ⋅ ) ( ℝ n ) .

Now, by using the generalized Hölder’s inequality we get:

ϒ 2 * ≤ ∫ B j ‖ | | Ω ( ⋅ − y ) | | ⋅ − y | n − | Ω ( ⋅ ) | |   ⋅   | n | χ k ( ⋅ ) ‖ L p ( ⋅ ) ( ℝ n ) | b ( 0 ) − b ( y ) | | b j ( y ) | d y ≤ C ‖ b ‖ L i p γ 2 − k n + 2 ( j − k ) γ ‖ χ B k ‖ L p ( ⋅ ) ( ℝ n ) ‖ b j ‖ L p ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ L i p γ 2 − k n + ( j − k ) γ ‖ χ B k ‖ L p ( ⋅ ) ( ℝ n ) ‖ b j ‖ L p ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L p ′ ( ⋅ ) ( ℝ n ) . (3.3)

Now by (3.3), (3.4), and lemmas 2.5 and 2.6, we have

‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ L i p γ 2 − k n + ( j − k ) γ ‖ χ B k ‖ L p ( ⋅ ) ( ℝ n ) ‖ b j ‖ L p ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ L i p γ 2 ( j − k ) γ ‖ b j ‖ L p ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L p ′ ( ⋅ ) ( ℝ n ) ‖ χ B k ‖ L p ′ ( ⋅ ) ( ℝ n ) ≤ C 2 − j α + ( j − k ) ( γ + n δ 2 ) ‖ b ‖ L i p γ .

Firstly we estimate I. We need to show that there exists a positive constant C, such that I ≤ C Δ , we consider

I = sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) | λ j | ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) ( ℝ n ) q ≤ sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = K ∞ | λ j | ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q     + sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q : = I 1 + I 2 .

By the ( L p ( ⋅ ) ( ℝ n ) , L q ( ⋅ ) ( ℝ n ) ) , bounbedness of the commutator [ b , μ Ω ] on L p ( ⋅ ) (see [15] ), we have the following. Therefore, when 0 < q ≤ 1

I 1 = sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = K ∞ ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | 2 − j α j ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = k − 1 | λ j | 2 − j α ( 0 ) j q + ∑ j = 0 ∞ | λ j | 2 − j α ∞ q ) ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L   ∑ j = k − 1 | λ j | q 2 α ( 0 ) ( k − j ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L   2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q ∑ k = − ∞ j     2 α ( 0 ) ( k − j ) q     + sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 − j λ q | λ j | q 2 ( λ − α ∞ ) j q 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 )

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L − 1 | λ j | q ∑ k = − ∞ j     2 α ( 0 ) ( k − j ) q     + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 ( λ − α ∞ ) j q ∑ k = − ∞ L   2 ( α ( 0 ) k − L λ ) q ≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ k = − ∞ j     2 α ( 0 ) ( k − j ) q + Δ ≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ k = − ∞ j     2 α ( 0 ) ( k − j ) q ≤ Δ . (3.4)

When 0 < q < ∞ , let 1 / q + 1 / q ′ = 1 we have

I 1 = sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = K ∞ | λ j | ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | 2 − j α ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L ( ∑ j = k − 1 | λ j | 2 α ( 0 ) ( k − j ) ) q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | 2 − j α ∞ ) q

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L ( ∑ j = k − 1 | λ j | q 2 α ( 0 ) ( k − j ) q / 2 ) ( ∑ j = k − 1     2 α ( 0 ) ( k − j ) q ′ / 2 ) q / q ′     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q / 2 ) ( ∑ j = 0 ∞     2 − j α ∞ q ′ / 2 ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L ∑ j = k − 1 | λ j | q 2 ( j − k ) q / 2     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q / 2

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q ∑ k = − ∞ j     2 α ( 0 ) ( j − k ) q / 2     + sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 j λ q | λ j | q 2 ( λ − α ∞ / 2 ) j q 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L − 1 | λ j | q ∑ j = − ∞ j     2 α ( 0 ) ( k − j ) q / 2     + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 ( λ − α ∞ / 2 ) j / 2 q ∑ k = − ∞ L     2 k q α ( 0 ) − L λ q

≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ j = − ∞ j     2 α ( 0 ) ( k − j ) q / 2 + Δ ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 ( j − L ) λ q ∑ j = − ∞ j     2 α ( 0 ) ( k − j ) q / 2 ≤ Δ . (3.5)

We estimate I 2 by lemma 2.1 when 0 < q ≤ 1 by n δ 2 ≤ α ( 0 ) < γ + n δ 2 , we get

I 2 = sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 2 − j α + ( j − k ) ( γ + n δ 2 ) | λ j | ) p ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | p 2 ( − j α + ( j − k ) ( γ + n δ 2 ) ) q ) ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | p ∑ k = j + 1 − 1 2 q ( j − k ) [ γ + n δ 2 − α ( 0 ) ] ≤ C ‖ b ‖ L i p γ q Δ . (3.6)

When 0 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 ≤ α ( 0 ) < γ + n δ 2 , by Hölder’s inequality, we have

I 2 = sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] χ k ‖ L p ( ⋅ ) ( ℝ n ) ) q ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 2 − j α + ( j − k ) ( γ + n δ 2 ) | λ j | ) p ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | p 2 ( − j α + ( j − k ) ( γ + n δ 2 ) ) q / 2 )     × ( ∑ j = − ∞ k − 1 2 ( − j α + ( j − k ) ( γ + n δ 2 ) ) q ′ / 2 ) q / q ′

≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | p 2 ( − j α + ( j − k ) ( γ + n δ 2 ) ) q / 2 ) ≤ C ‖ b ‖ L i p γ q sup L ≥ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | p ∑ k = j + 1 − 1 2 q / 2 ( j − k ) [ γ + n δ 2 − α ( 0 ) ]                   ≤ C ‖ b ‖ L i p γ q Δ . (3.7)

Secondly we estimate I I . We need to show that there exists a positive constant C, such that I I ≤ C Δ , we consider

I I = ∑ k = − ∞ − 1 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ≤ ∑ k = − ∞ − 1     2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q     + ∑ k = − ∞ − 1     2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q : = I I 1 + I I 2 .

When 0 < q ≤ 1 , we get

I I 1 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 2 − j α j | λ j | ) p

≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k − 1 | λ j | q 2 − j q α ( 0 ) + ∑ j = 0 ∞ | λ j | q 2 − j q α ∞ ) ≤ ∑ k = − ∞ − 1 ∑ j = k − 1 | λ j | q 2 α ( 0 ) ( k − j ) q + ∑ k = − ∞ − 1 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q

≤ ∑ k = − ∞ − 1 | λ j | q ∑ k = ∞ j 2 q α ( 0 ) ( k − j ) + ∑ j = 0 ∞ | λ j | q 2 − j q α ∞ ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ ∑ k = − ∞ − 1 | λ j | q + ∑ j = 0 ∞ 2 − j λ q | λ j | q 2 − j q α ∞ ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ Δ + Δ ∑ i = − ∞ j | λ i | q ∑ j = 0 ∞     2 ( λ − α ∞ ) j q ∑ k = − ∞ j 2 k q α ( 0 ) ≤ Δ . (3.8)

When 0 < q < ∞ , let 1 / q 1 + 1 / q ′ 1 = 1 we have

I I 1 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | 2 − j α ) q ≤ ∑ k = − ∞ − 1 ( ∑ j = k − 1 | λ j | 2 α ( 0 ) ( j − k ) ) q + ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | 2 − j α ∞ ) q ≤ ∑ k = − ∞ − 1 ( ∑ j = k − 1 | λ j | q 2 q / 2 α ( 0 ) ( j − k ) ) ( ∑ j = k − 1 2 α ( 0 ) ( j − k ) q ′ / 2 ) q / q ′     + ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | q 2 − q / 2 j α ∞ ) ( ∑ j = 0 ∞   2 − q ′ / 2 j α ∞ ) q / q ′

≤ ∑ k = − ∞ − 1 | λ j | q ∑ k = − ∞ j 2 q / 2 α ( 0 ) ( j − k ) + ∑ k = − ∞ − 1 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − q / 2 j α ∞ ≤ ∑ k = − ∞ − 1 | λ j | q + ∑ j = 0 ∞ 2 ( λ − α ∞ / 2 ) j q 2 − λ j q ∑ i = − ∞ j | λ i | q ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ Δ + Δ ∑ j = 0 ∞     2 ( λ − α ∞ / 2 ) j q ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ Δ . (3.9)

For I I 2 , when 0 < q ≤ 1 , by n δ 2 ≤ α ( 0 ) < γ + n δ 2 we get

I I 2 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( C ‖ b ‖ L i p γ ∑ j = ∞ k − 1 | λ j | 2 − j α + ( j − k ) ( γ + n δ 2 ) ) q ≤ C ‖ b ‖ L i p γ q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = ∞ k − 1 | λ j | q 2 [ − j α + ( j − k ) ( γ + n δ 2 ) ] q ) ≤ C ‖ b ‖ L i p γ q ∑ j = − ∞ − 1 | λ j | q ∑ k = j + 1 − 1 2 [ − j α ∞ + ( j − k ) ( γ + n δ 2 ) ] q ≤ C ‖ b ‖ L i p γ q Δ . (3.10)

When 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 ≤ α ( 0 ) < γ + n δ 2 , by Hölder’s inequality, we have

I I 2 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( C ‖ b ‖ L i p γ ∑ j = ∞ k − 1 | λ j | 2 − j α + ( j − k ) ( γ + n δ 2 ) ) q ≤ C ‖ b ‖ L i p γ q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = ∞ k − 1 | λ j | q 2 [ − j α + ( j − k ) ( γ + n δ 2 ) ] q / 2 )     × ( ∑ j = ∞ k − 1 | λ j | q 2 [ − j α + ( j − k ) ( γ + n δ 2 ) ] q ′ / 2 ) q / q ′

≤ C ‖ b ‖ L i p γ q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = ∞ k − 1 | λ j | q 2 [ − j α + ( j − k ) ( γ + n δ 2 ) ] q / 2 ) ≤ C ‖ b ‖ L i p γ q ∑ j = − ∞ − 1 | λ j | q ∑ k = j + 1 − 1 2 ( j − k ) [ γ + n δ 2 − α ( 0 ) ] q / 2 ≤ C ‖ b ‖ L i p γ q Δ . (3.11)

Thirdly, we estimate I I I , we need to show that there exists a positive constant C, such that I I I ≤ C Δ

I I I = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = ∞ k − 1 | λ j | ‖ [ b , μ Ω ] L p ( ⋅ ) χ k ‖ L p ( ⋅ ) ) q : = I I I 1 + I I I 2 .

When 0 < q ≤ 1 , by the boundedness of [ b , μ Ω ] in L p ( ⋅ ) ( [20] ), we have

I I I 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ | λ j | q ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ | λ j | q 2 − α j j q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ | λ j | q 2 − α ∞ j q = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q ∑ k = 0 j     2 α ∞ ( k − j ) q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L ∞ | λ j | q ∑ k = 0 L     2 α ∞ ( k − j ) q

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L | λ j | q + sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q λ 2 − j λ q ∑ i = − ∞ j | λ i | q ∑ k = 0 L     2 α ∞ ( k − j ) q ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q λ 2 − j λ q 2 α ∞ ( L − j ) q ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q ( λ − α ∞ ) ≤ Δ . (3.12)

When 0 < q ≤ ∞ , by n δ 2 ≤ α ( 0 ) , α ∞ < γ + n δ 2 and the boundedness of [ b , μ Ω ] in L p ( ⋅ ) ( [20] ) and Hölder’s inequality, we get

I I I 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) q / 2 )     × ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) q ′ / 2 ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q ‖ b j ‖ L p ( ⋅ ) q / 2 ) ( ∑ j = k ∞ ‖ b j ‖ L p ( ⋅ ) q ′ / 2 ) q / q ′

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q | B j | − α j q / ( 2 n ) ) ( ∑ j = k ∞ | B j | − α j q ′ / ( 2 n ) ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q | B j | − α j q / ( 2 n ) ) ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 α ∞ k q / 2 ( ∑ j = k ∞ | λ j | q | B j | − α j q / ( 2 n ) ) = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q ∑ k = 0 j 2 ( k − j ) α ∞ q / 2 + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L ∞ | λ j | q ∑ k = 0 L     2 ( k − j ) α ∞ q / 2

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q + sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) λ q 2 − j λ q ∑ i = − ∞ j | λ j | q ∑ k = 0 L     2 ( k − j ) α ∞ q / 2 ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) λ q 2 ( L − j ) α ∞ q / 2 ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q ( α − α ∞ / 2 ) ≤ Δ . (3.13)

When 0 < q ≤ 1 , by n δ 2 ≤ α ( 0 ) , α ∞ < γ + n δ 2 we get

I I I 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( C ‖ b ‖ L i p γ q ∑ j = ∞ k − 1 | λ j | q 2 [ − j α j + ( j − k ) ( γ + n δ 2 ) ] q ) = C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = − ∞ − 1 | λ j | q 2 [ − j α ( 0 ) + ( j − k ) ( γ + n δ 2 ) ] q )     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = 0 k − 1 | λ j | q 2 [ − j α ∞ + ( j − k ) ( γ + n δ 2 ) ] q )

≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q [ α ∞ + γ + n δ 2 ] ∑ j = − ∞ − 1 | λ j | q 2 [ γ + n δ 2 + α ( 0 ) ] j q     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q ∑ k = j + 1 ∞ 2 [ γ + n δ 2 − α ∞ ] ( j − k ) q ≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L − 1 | λ j | q ≤ C ‖ b ‖ L i p γ q Δ . (3.14)

When 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 ≤ α ( 0 ) , α ∞ < γ + n δ 2 , and by Hölder’s inequality, we have

I I I 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( b j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = − ∞ − 1 C ‖ b ‖ L i p γ q | λ j | 2 [ − j α j + ( j − k ) ( γ + n δ 2 ) ] ) q ≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = − ∞ − 1 | λ j | 2 [ − j α ( 0 ) + ( j − k ) ( γ + n δ 2 ) ] ) q     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ( ∑ j = 0 k − 1 | λ j | 2 [ − j α ∞ + ( j − k ) ( γ + n δ 2 ) ] ) q

≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q [ α ∞ − ( γ + n δ 2 ) ] ( ∑ j = − ∞ − 1 | λ j | 2 [ ( γ + n δ 2 ) − α ( 0 ) ] j ) q     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L ( ∑ j = 0 k − 1 | λ j | 2 ( j − k ) [ γ + n δ 2 − α ∞ ] ) q ≤ ( C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q 2 [ ( γ + n δ 2 ) − α ( 0 ) ] j q / 2 )     × ( ∑ j = − ∞ − 1 | λ j | q 2 [ ( γ + n δ 2 ) − α ( 0 ) ] j q ′ / 2 ) q / q ′

    + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L ( ∑ j = 0 k − 1 | λ j | q 2 ( j − k ) [ γ + n δ 2 − α ∞ ] q / 2 )     × ( ∑ j = 0 k − 1 | λ j | 2 ( j − k ) [ γ + n δ 2 − α ∞ ] q ′ / 2 ) q / q ′ ≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q 2 [ ( γ + n δ 2 ) − α ( 0 ) ] j q / 2     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L   ∑ j = 0 k − 1 | λ j | q 2 ( j − k ) [ γ + n δ 2 − α ∞ ] q / 2

≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q     + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L − 1 | λ j | q ∑ k = j + 1 L 2 ( j − k ) [ γ + n δ 2 − α ∞ ] q / 2 ≤ C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q + C ‖ b ‖ L i p γ q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L − 1 | λ j | q ≤ C ‖ b ‖ L i p γ q Δ . (3.15)

Joint the estimates for I, II and III, we obtain

‖ [ b , μ Ω ] ( f ) ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) q ≤ C ‖ b ‖ L i p γ q ‖ f ‖ H M K p ( ⋅ ) , λ α ( ⋅ ) , q .

Then we complete the proof of Theorem 3.1.

4. BMO Boundedness for the Commutator of Marcikiewicz Integrals Operator

In this section, we prove the boundedness of the commutator of Marcikiewicz integrals on Herz-Morrey-Hrdy spaces with variable exponent with function b ∈ B M O ( ℝ n ) .

Theorem 4.1.

Suppose that b ∈ B M O ( ℝ n ) with 0 < γ ≤ 1 . If p ( ⋅ ) ∈ P ( ℝ n ) satisfies proposition 2.3 and Ω ∈ L s ( S n − 1 ) ( s > q ′ − ) . Let 0 < p 1 ≤ p 2 < ∞ and

0 < λ < α < n δ 2 − γ − n s (or 0 < λ < α 1 ≤ α 1 < n δ 2 − γ − n s ). Then [ b , μ Ω ] is bounded from H M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) (or H M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) ) to M K ˙ p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) (or M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) ).

proof:

In a way similar to theorem (3.2) we only prove the homogeneous case. Let b ∈ B M O ( ℝ n ) and f ∈ H M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) . Let us write

f ( x ) = ∑ j = 0 ∞     f ( x ) χ j ( x ) = ∑ j = 0 ∞     f j ( x ) .

Then we have

‖ [ b , μ Ω ] ( f ) ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) q = max { sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ,   sup L ≤ 0 , L ∈ Z 2 − L λ q ( ∑ k = − ∞ − 1 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q   + ∑ k = 0 L     2 k q α ( ∞ ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ) } : = max { H , H H + H H H } .

H = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q , H H = ∑ k = − ∞ − 1 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q , H H H = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ( ∞ ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q .

From the Hölder’s inequality, we have

| [ b , μ Ω ] ( b j ) χ k | L p ( ⋅ ) ( ℝ n ) ≤ C ∫ B j | Ω ( x − y ) | | x − y | n | b ( x ) − b ( y ) | | f j ( y ) | d y ≤ C 2 − k n ∫ B j | Ω ( x − y ) | | b ( x ) − b ( y ) | | f j ( y ) | d y

≤ C 2 − k n ( | b ( x ) − b B j | ∫ B j | Ω ( x − y ) | | f j ( y ) | d y     + ∫ B j | Ω ( x − y ) | | b B j − b ( y ) | | f j ( y ) | d y ) ≤ C 2 − k n ( | b ( x ) − b B j | ‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) d y     + ‖ Ω ( x − ⋅ ) ( b B j − b ( ⋅ ) ) χ j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) d y ) .

Noting s > q ′ − , we denote q ˜ ′ ( ⋅ ) > 1 and 1 q ′ ( x ) = 1 q ˜ ′ ( x ) + 1 s . By lemmas 3.2, 3.10 we have

‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ ‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ χ j ( ⋅ ) ‖ L q ˜ ′ 2 ( ⋅ ) ( ℝ n ) ≤ ‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L s ( ⋅ ) ( ℝ n ) ‖ χ B j ( ⋅ ) ‖ L q ˜ ′ 2 ( ⋅ ) ( ℝ n ) ≤ 2 − j γ ( ∫ A j | y | s γ | Ω ( x − y ) | s d y ) 1 s ‖ χ B j ( ⋅ ) ‖ L q ˜ ′ 2 ( ⋅ ) ( ℝ n ) ≤ C 2 − j γ | 2 | k ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ( ⋅ ) ‖ L q ˜ ′ 2 ( ⋅ ) ( ℝ n ) .

By lemma (2.12), when | B j | ≤ 2 n , x j ∈ B j and when | B k | ≥ 1 respectively we have

‖ χ B j ‖ L q ˜ ′ ( ⋅ ) ( ℝ n ) ≈ | B k | 1 q ˜ ′ ( x k ) ≈ ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) | B j | − 1 s ,

and

‖ χ B j ‖ L q ˜ ′ ( ⋅ ) ( ℝ n ) ≈ | B j | 1 q ˜ ′ ( ∞ ) ≈ ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) | B j | − 1 s ,

we obtain ‖ χ B j ‖ L q ˜ ′ ( ⋅ ) ( ℝ n ) ≈ ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) | B j | − 1 s .

So we have

‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ C 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) . (4.1)

Similarly by lemma 2.4 we have

‖ Ω ( x − ⋅ ) ( b B j − b ( ⋅ ) ) χ j ( ⋅ ) ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ ‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L s ( ℝ n ) ‖ ( b B j − b ( ⋅ ) ) χ j ( ⋅ ) ‖ L q ˜ ′ ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ ∗ ‖ χ B j ( ⋅ ) ‖ L q ˜ ′ 2 ( ⋅ ) ( ℝ n ) ‖ Ω ( x − ⋅ ) χ j ( ⋅ ) ‖ L s ( ℝ n ) ≤ C ‖ b ‖ ∗ 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) . (4.2)

Now, by (4.1), (4.2), lemmas 2.4, 2.5 and 2.3, we have

‖ [ b , μ Ω ] ( f j ) χ k ‖ L q ( ⋅ ) ( ℝ n ) ≤ C 2 − k n ( 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ ( b ( ⋅ ) − b B j ) χ k ( ⋅ ) ‖ L q ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n )     + ‖ b ‖ ∗ 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ k ‖ L q ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) d y ) ≤ C 2 − k n ( ( k − j ) ‖ b ‖ ∗ 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ B k ‖ L q ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n )

    + ‖ b ‖ ∗ 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ B k ‖ L q ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) d y ) ≤ C ( k − j ) ‖ b ‖ ∗ 2 − k n 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ B k ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) ≤ C ( k − j ) ‖ b ‖ ∗ 2 ( k − j ) ( γ + n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) ‖ χ B j ‖ L q ′ ( ⋅ ) ( ℝ n ) ‖ χ B k ‖ L q ′ ( ⋅ ) ( ℝ n ) ≤ C ‖ b ‖ ∗ ( k − j ) 2 ( k − j ) ( n δ 2 − γ − n s ) ‖ Ω ‖ L s ( S n − 1 ) ‖ f j ‖ L q ( ⋅ ) ( ℝ n ) . (4.3)

By the boundedness of μ Ω in L p ( ⋅ ) see [7], we have

‖ ( μ Ω f j ) χ k ‖ L p ( ⋅ ) ≤ ‖ f j ‖ L p ( ⋅ ) ≤ | B j | − α j / n = 2 − j α j .

So we have

‖ [ b , μ Ω ] ( f j ) χ k ‖ L q ( ⋅ ) ( ℝ n ) ≤ ‖ b ‖ ∗ ( k − j ) ‖ Ω ‖ L s ( S n − 1 ) 2 ( k − j ) ( n δ 2 − γ − n s ) − j α j .

Firstly we estimate H. We need to show that there exists a positive constant C, such that H ≤ C Δ Consider

H = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q : = H 1 + H 2 .

By boundedness of [ b , μ Ω ] in L p ( ⋅ ) , see ( [20] ), when 0 < q ≤ 1 we have

H 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | 2 − j α j ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k − 1 | λ j | 2 − j α ( 0 ) j q + ∑ j = 0 ∞ | λ j | 2 − j α ∞ q ) ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L   ∑ j = k − 1 | λ j | q 2 α ( 0 ) ( k − j ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q ∑ k = − ∞ j 2 α ( 0 ) ( k − j ) q     + sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 − j λ q | λ j | q 2 ( λ − α ∞ ) j q 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 )

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L − 1 | λ j | q ∑ k = − ∞ j 2 α ( 0 ) ( k − j ) q     + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 ( λ − α ∞ ) j q ∑ k = − ∞ L 2 ( α ( 0 ) k − L λ ) q ≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ k = − ∞ j 2 α ( 0 ) ( k − j ) q + Δ ≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ k = − ∞ j 2 α ( 0 ) ( k − j ) q ≤ Δ . (4.4)

When 1 < q < ∞ and 1 / q + 1 / q ′ = 1 , and let γ + n δ 2 − α > 0 , we have

H 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | 2 − j α ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L ( ∑ j = k − 1 | λ j | 2 α ( 0 ) ( k − j ) ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | 2 − j α ∞ ) q

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L ( ∑ j = k − 1 | λ j | q 2 α ( 0 ) ( k − j ) q / 2 ) ( ∑ j = k − 1 2 α ( 0 ) ( k − j ) q ′ / 2 ) q / q ′     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q / 2 ) ( ∑ j = 0 ∞     2 − j α ∞ q ′ / 2 ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L   ∑ j = k − 1 | λ j | q 2 ( j − k ) q / 2     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q 2 − j α ∞ q / 2

≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q ∑ k = − ∞ j 2 α ( 0 ) ( j − k ) q / 2     + sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 j λ q | λ j | q 2 ( λ − α ∞ / 2 ) j q 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ L | λ j | q + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L − 1 | λ j | q ∑ j = − ∞ j 2 α ( 0 ) ( k − j ) q / 2     + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = 0 ∞     2 ( λ − α ∞ / 2 ) j / 2 q ∑ k = − ∞ L 2 k q α ( 0 ) − L λ q

≤ Δ + sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 − j λ q | λ j | q 2 ( j − L ) λ q ∑ j = − ∞ j 2 α ( 0 ) ( k − j ) q / 2 + Δ ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L − 1     2 ( j − L ) λ q ∑ j = − ∞ j 2 α ( 0 ) ( k − j ) q / 2 ≤ Δ . (4.5)

Now we estimate H 2 , when 0 < q ≤ 1 , by n δ 2 ≤ α ( 0 ) < n δ 2 − γ − n s , we get

H 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | q ( k − j ) q 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L | λ j | q ∑ j = k ∞ ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ( 0 ) ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.6)

when 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 < α ( 0 ) ≤ γ + n δ 2 , by Hölder’s inequality we have

H 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ( k − j ) 2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k k − 1 | λ j | q ( k − j ) q 2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 )     × ( ∑ j = 0 ∞     2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 ) q / q ′

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ( 0 ) ( ∑ j = k k − 1 | λ j | q ( k − j ) q 2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L | λ j | q ∑ k = j + 1 − 1 ( k − j ) q 2 [ + ( j − k ) ( n δ 2 − γ − n s − α ) ] q / 2 ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ .

(4.7)

Secondly, we estimate H H . We need to show that there exists a positive constant C, such that H H ≤ C Δ Consider

H H = ∑ k = − ∞ − 1 2 k q α ( 0 ) ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ≤ ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q     + ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q : = H H 1 + H H 2 .

When 0 < q ≤ 1 , we get

H H 1 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ( k − j ) 2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | q ( k − j ) q 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q     + ∑ j = k ∞ | λ j | | q ( k − j ) q 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q )

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1   ∑ j = k − 1 | λ j | q ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ( 0 ) )     + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ∑ j = 0 − ∞ | λ j | q ( k − j ) 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q ∑ j = − ∞ j ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ( 0 ) )     + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q ( k − j ) 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q     + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = 0 ∞ ( k − j ) 2 [ ( λ − α ∞ ) j + ( j − k ) ( n δ 2 − γ − n s ) ] q 2 j λ q ∑ i = ∞ j | λ i | ∑ k = − ∞ j 2 k q α ( 0 ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ     + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ ∑ j = 0 ∞ ( k − j ) 2 [ ( λ − α ∞ ) j + ( j − k ) ( n δ 2 − γ − n s ) ] q ∑ k = − ∞ j 2 k q α ( 0 ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.8)

Now when 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 we have

H H 1 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = k ∞ | λ j | ( k − j ) 2 [ − j α + ( j − k ) ( n δ 2 − γ − n s ) ] ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 ( ∑ j = k − 1 | λ j | ( k − j ) 2 [ ( j − k ) ( n δ 2 − γ − n s ) − α ( 0 ) ] ) q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | ( k − j ) 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 ( ∑ j = k − 1 | λ j | q ( k − j ) q 2 [ ( j − k ) ( n δ 2 − γ − n s ) − α ( 0 ) ] q / 2 )

  × ( ∑ j = k − 1 ( k − j ) q 2 [ ( j − k ) ( n δ 2 − γ − n s ) − α ( 0 ) ] q ′ / 2 ) q / q ′   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = 0 ∞ | λ j | q ( k − j ) q 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 ) q   × ( ∑ j = 0 ∞ ( k − j ) q 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q ′ / 2 ) q / q ′

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q ∑ k = − ∞ j ( k − j ) q 2 [ ( j − k ) ( n δ 2 − γ − n s ) − α ( 0 ) ] q / 2   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ∑ j = 0 ∞ | λ j | q ( k − j ) q 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q ∑ j = k − 1 ( k − j ) q 2 [ ( j − k ) ( n δ 2 − γ − n s ) − α ( 0 ) ] q / 2   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = 0 ∞ | λ j | q 2 k q ( α ( 0 ) − ( n δ 2 − γ − n s ) / 2 ) ∑ k = − ∞ − 1 ( k − j ) q 2 ( n δ 2 − γ − n s − α ∞ ) j q / 2

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = 0 ∞ ( k − j ) q 2 [ ( λ − α ∞ / 2 ) j + ( j − k ) ( n δ 2 − γ − n s ) q / 2 ] 2 − j q λ ∑ i = − ∞ j | λ j | q ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ ∑ j = 0 ∞ ( k − j ) q 2 [ ( λ − α ∞ / 2 ) j + ( j − k ) ( n δ 2 − γ − n s ) q / 2 ] ∑ k = − ∞ − 1 2 k q α ( 0 ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.9)

For H H 2 , when 0 < q ≤ 1 , by n δ 2 ≤ α ( 0 ) < s + δ + n δ 2 we get

H H 2 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ( k − j ) 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | q ( k − j ) q 2 q [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ j | q ∑ k = j + 1 − 1 ( k − j ) q 2 q ( j − k ) ) ( n δ 2 − γ − n s − α ( 0 ) ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.10)

Now 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 ≤ α ( 0 ) < s + δ + n δ 2 , by Hölder’s inequality we have

H H 2 = ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | ( k − j ) 2 − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | q ( k − j ) q 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q )   × ( ∑ j = − ∞ k − 1 ( k − j ) 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q ′ / 2 ) q / q ′

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 2 k q α ( 0 ) ( ∑ j = − ∞ k − 1 | λ j | q ( k − j ) q 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q / 2 ) = C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = − ∞ − 1 | λ | q ∑ k = j + 1 − 1 ( k − j ) q 2 ( j − k ) ( n δ 2 − γ − n s − α ( 0 ) ) q / 2 ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.11)

Thirdly, we estimate H H H , we need to show that there exists a positive constant C, such that H H H ≤ C Δ

H H H = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ‖ [ b , μ Ω ] ( f ) χ k ‖ L p ( ⋅ ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q     + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q : = H H H 1 + H H H 2 .

When 0 < q ≤ 1 by boundedness of [ b , μ Ω ] in L p ( ⋅ )

H H H 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ | λ j | q ( k − j ) q 2 q [ − j α j + ( j − k ) ( n δ 2 − γ − n s ) ] ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ∑ j = k ∞ | λ j | q ( k − j ) q 2 q [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ]

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q ∑ k = 0 j ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ∞ )   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L ∞ | λ j | q ∑ k = 0 L ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ∞ ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q

  + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞ 2 ( j − L ) q λ 2 − L λ q ∑ i = − ∞ j | λ i | q ∑ k = 0 L ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ∞ ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ ∑ k = 0 L ( k − j ) q 2 q ( j − k ) ( n δ 2 − γ − n s − α ∞ ) . (4.12)

Now when 0 < q < ∞ , by boundedness of [ b , μ Ω ] in L p ( ⋅ ) , see ( [20] ) by Hölder’s inequality we have

H H H 1 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q / 2 ) × ( ∑ j = k ∞ ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) q ′ / 2 ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q ‖ b j ‖ L p ( ⋅ ) q / 2 ) × ( ∑ j = k ∞ ‖ b j ‖ L p ( ⋅ ) q ′ / 2 ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = k ∞ | λ j | q | B j | − α j q / ( 2 n ) ) × ( ∑ j = k ∞ | B j | − α j q ′ / ( 2 n ) ) q / q ′ ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 α ∞ k q / 2 ( ∑ j = k ∞ | λ j | q | B j | − α j q / ( 2 n ) )

= sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = 0 L | λ j | q ∑ k = 0 j     2 α ∞ ( k − j ) q / 2 + sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = L ∞ | λ j | q ∑ k = 0 L     2 α ∞ ( k − j ) q / 2 ≤ sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = L ∞ | λ j | q + sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q λ 2 − j λ q ∑ i = − ∞ j | λ i | q ∑ k = 0 L     2 α ∞ ( k − j ) q / 2 ≤ Δ + Δ sup L ≤ 0 , L ∈ ℤ ∑ j = L ∞     2 ( j − L ) q λ 2 α ∞ ( k − j ) q / 2 ≤ Δ . (4.13)

We have 0 < q ≤ 1 , by n δ 2 ≤ α ( 0 ) , α ∞ < s + δ + n δ 2 we get

H H H 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L 2 k q α ∞ ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ∞ ( ∑ j = − ∞ k − 1 | λ j | q ( k − j ) q 2 [ − j α j + ( j − k ) ( n δ 2 − γ − n s ) ] q ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = − ∞ L 2 k q α ∞ ( ∑ j = − ∞ − 1 | λ j | q ( k − j ) q 2 [ − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ] q )   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L 2 k q α ∞ ( ∑ j = 0 k − 1 | λ j | q ( k − j ) q 2 [ − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ] q )

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L 2 k q [ α ∞ + γ + n δ 2 ] ∑ j = − ∞ − 1 | λ j | q ( k − j ) q 2 [ n δ 2 − γ − n s − α ( 0 ) ] j q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L | λ j | q ∑ j = 0 k − 1 ( k − j ) q 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ j = − ∞ − 1 | λ j | q + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L − 1 | λ j | q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.14)

Now when 1 < q < ∞ , let 1 / q + 1 / q ′ = 1 . Since n δ 2 ≤ α ( 0 ) , α ( ∞ ) < s + δ + n δ 2 , by Hölder’s inequality, we have

H H H 2 = sup L ≤ 0 , L ∈ ℤ 2 − L λ q ∑ k = 0 L     2 k q α ∞ ( ∑ j = − ∞ k − 1 ‖ [ b , μ Ω ] ( f j ) χ k ‖ L p ( ⋅ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L     2 k q α ∞ ( ∑ j = − ∞ k − 1 | λ j | ( k − j ) 2 − j α j + ( j − k ) ( n δ 2 − γ − n s ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L     2 k q α ∞ ( ∑ j = − ∞ − 1 | λ j | ( k − j ) 2 − j α ( 0 ) + ( j − k ) ( n δ 2 − γ − n s ) ) q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L     2 k q α ∞ ( ∑ j = 0 k − 1 | λ j | ( k − j ) 2 − j α ∞ + ( j − k ) ( n δ 2 − γ − n s ) ) q

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L     2 k q [ α ∞ − ( n δ 2 − γ − n s ) ] ( ∑ j = − ∞ − 1 | λ j | ( k − j ) 2 j ( n δ 2 − γ − n s − α ( 0 ) ) ) q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L ( ∑ j = 0 k − 1 | λ j | ( k − j ) 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ ) ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ( ∑ j = − ∞ − 1 | λ j | q ( k − j ) q 2 j q / 2 ( n δ 2 − γ − n s − α ( 0 ) ) )   × ( ∑ j = − ∞ − 1 2 q ′ / 2 j ( n δ 2 − γ − n s − α ( 0 ) ) ) q / q ′

  + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L ( ∑ j = 0 k − 1 | λ j | q ( k − j ) q 2 q / 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ ) )   × ( ∑ j = 0 k − 1     2 q ′ / 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ ) ) q / q ′ ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = − ∞ − 1 | λ j | q ( k − j ) q 2 j q / 2 ( n δ 2 − γ − n s − α ( 0 ) )   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L   ∑ j = 0 k − 1 | λ j | q ( k − j ) q 2 q / 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ )

≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = − ∞ − 1 | λ j | q   + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L − 1 | λ j | q ∑ k = j + 1 L ( k − j ) q 2 q / 2 ( j − k ) ( n δ 2 − γ − n s − α ∞ ) ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ j = − ∞ − 1 | λ j | q + C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q ∑ k = 0 L − 1 | λ j | q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) q Δ . (4.15)

Joint the estimates for H, HH and HHH, we obtain

‖ [ b , μ Ω ] ( f ) ‖ M K p ( ⋅ ) , λ α ( ⋅ ) , q ( ℝ n ) q ≤ C ‖ b ‖ ∗ q ‖ Ω ‖ L s ( S n − 1 ) p ‖ f ‖ H M K p ( ⋅ ) λ α ( ⋅ ) , q .

Then we complete the proof of Theorem 4.1.

5. Conclusion

The study concluded that we can proof of boundedness for commutator of Marcinkiewicz integrals on Herz-Morrey-Hrdy spaces with variable exponent, which we use The main tools are properties of variable exponent in theorem 3.1 when b ∈ L i p γ ( ℝ n ) , in theorem 4.1 when b ∈ B M O ( ℝ n ) . We can obtain a solution for proof that commutator of Marcinkiewicz integrals are boundedness.

Acknowledgements

The authors cordially thank the reviewers for their valuable suggestions and useful comments which have led to the improvement of this paper.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

1. Marcinkiewicz J. ,et al. (1938)Sur quelques integrales du type de Dini Annales de la Societe Polonaise de Mathematique 17, 42-50.

2. Stein, E.M. (1958) On the Function of Little Wood-Paley, Lusin and Marcinkiewicz. Transactions of the American Mathematical Society, 88, 430-466. https://doi.org/10.1090/S0002-9947-1958-0112932-2

3. Ding, Y., Fan, D. and Pan, Y. (1999) Weighted Boundedness for a Class of Rough Marcinkiewicz Integrals. Indiana University Mathematics Journal, 48, 1037-1056.https://doi.org/10.1512/iumj.1999.48.1696

4. Torchinsky, A. and Wang, S. (1990) A Note on the Marcinkiewicz Integral. Colloquium Mathematicum, 60, 235-243. https://doi.org/10.4064/cm-60-61-1-235-243

5. Xu, J. and Yang, X. (2016) The Molecular Characterization of Herz-Morrey-Haredy Space. Journal of Mathematical Inequalities, 10, 977-1008. https://doi.org/10.7153/jmi-10-79

6. Xu, J. and Yang, X. (2015) Herz-Morrey-Hardy Spaces with Variable Exponents and Their Applications. Journal of Function Spaces, 2015, Article ID: 160635, 19 p.https://doi.org/10.1155/2015/160635

7. Omer, A. and Tao S. (2019) Boundedness of Commutators on Herz-Morry-Hardy Spaces with Variable Exponents. Open Journal of Mathematical Science, 3, 94-108. https://doi.org/10.30538/oms2019.0052

8. Yang, Y. and Tao, S. (2018) Singular Integrals with Variable Kernel and Fractional Differentiation in Homogeneous Morrey-Herz-Type Hardy Spaces with Variable Exponents. Open Mathematics, 16, 326-345. https://doi.org/10.1515/math-2018-0036

9. Afiff, A., Omer, A. and Tao, S.P. (2018) Boundedness of Fractional Marcinkiewicz Integral with Variable Kernel on Variable Morrey-Herz Spaces. Open Journal of Mathematical Science, 2, 93-114. https://doi.org/10.30538/oms2018.0020

10. Nantomah, K. (2017) Generalized H&#246;lder’s and Minkowski’s Inequalities for Jackson’s q-Integral and Some Applications to the Incomplete q-Gamma Function. Abstract and Applied Analysis, 2017, Article ID: 9796873. https://doi.org/10.1155/2017/9796873

11. Wu, J. and Wen, J. (2017) Boundedness for Higher Order Commutators of Fractional Integrals on Variable Exponent Herz-Morrey Spaces. Mediterranean Journal of Mathematics, 14, Article No. 198. https://doi.org/10.1007/s00009-017-1002-y

12. Tan, J. and Liu, Z. (2015) Some Boundedness of Homogeneous Fractional Integrals on Variable Exponent Function Spaces. Acta Mathematica Sinica (Chinese Series), 58, 309-320.

13. Izuki, M. (2010) Boundedness of Commutators on Herz Spaces with Variable Exponent. Rendiconti del Circolo Matematico di Palermo, 59, 199-213. https://doi.org/10.1007/s12215-010-0015-1

14. Wang, H.B. and Liao, F. (2020) Boundedness of Singular Integral Operators on Herz-Morrey Spaces with Variable Exponent. Chinese Annals of Mathematics, Series B, 41, 99-116. https://doi.org/10.1007/s11401-019-0188-7

15. Wang H.B. ,et al. (2020)The Continuity for Commutator of Maricnkiewicz Integrals on Herz-Type Space with Variable Exponent Journal of University of Chinese Academy of Sciences 37, 155-161.

16. Wang, L.W. (2014) Marcinkiewicz Integral Operators and Commutators on Herz Spaces with Variable Exponents. Journal of Function Spaces, 2014, Article ID: 430365. https://doi.org/10.1155/2014/430365

17. Xuan, Z.-H. and Shu, L.-S. (2013) Boundedness of Higher order Commutators on Herz-Morrey Spaces with Variable Exponent. Journal of Nanjing University Mathematical Biquarterly, 30, 188-196.

18. Yong, D., Shan, Z. and Qing, X. (2002) Maricnkiewicz Integral on Hardy Spaces. Integral Equations and Operator Theory, 42, 174-182. https://doi.org/10.1007/BF01275514

19. Wang, H. (2017) Commutators of Singular Integuler Operator on Herz-Type Hardy Spaces with Variable Exponents. Journal of the Korean Mathematical Society, 54, 713-732. https://doi.org/10.4134/JKMS.j150771

20. Tao, Sh.P. and Li, L.L. (2016) Boundednesss of Marcikiewicz Integrals and Commutators on Morrey Spaces with Varible Exponent. Chinese Journal of Contemporary Mathematics, 37, 53-68.