Open Journal of Mathematical Sciences
ISSN: 2523-0212 (Online) 2616-4906 (Print)
DOI: 10.30538/oms2020.0122
Boundedness of Calderón-Zygmund operators and their commutator on Morrey-Herz Spaces with variable exponents
Omer Abdalrhman\(^1\), Afif Abdalmonem, Shuangping Tao
College of Education, Shendi University, Shendi, River Nile State, Sudan.; (O.A)
Faculty of Science, University of Dalanj, Dalanj, South kordofan, Sudan.; (A.A)
College of Mathematics and Statistics, Northwest Normal University, Lanzhou, Gansu, P.R. China.; (S.T)
\(^{1}\)Corresponding Author: humoora@gmail.com
Abstract
Keywords:
1. Introduction
Let \(K\) be a locally integrable function on \(\mathbb{R}^{n}\times\mathbb{R}^{n}\backslash \{(x,y): x=y\}\), then we say that \(K\) is a standard kernel if there exist \(\varepsilon > 0\) and \(C>0\), such that \begin{align*} |K(x,y)| &\leq C /|x-y|^{n}, x\neq y;\\ |K(x,y)-K(x,w)| &\leq C \frac{|y-w|^{\varepsilon}}{|x-y|^{n+\varepsilon}},|y-w| \leq \frac{1}{2} |x-y|;\\ |K(x,y)-K(z,y)| &\leq C \frac{|x-z|^{\varepsilon}}{|x-y|^{n+\varepsilon}},|x-z| \leq \frac{1}{2} |x-y|. \end{align*} We say that a linear operator \(T : \mathcal{S}(\mathbb{R}^{n})\longrightarrow \mathcal{S^{\prime}}(\mathbb{R}^{n})\) is a Calderón\(-\)Zygmund operator associated to a standard kernel \(K\) if
- 1. \(T\) can be extended to a bounded operator on \(L^{2}(\mathbb{R}^{n});\)
- 2. for all \(h\in L^{2}(\mathbb{R}^{n})\) with compact support and almost everywhere \(x\notin\) supp \( h\), \[Th(x)= \int_{\mathbb{R}^{n}} K(x,y)h(y)dy. \]
Jouné proved that if \(T\) is a \({\varepsilon}\)-Calderón\(-\)Zygmund operator, then \(T\) is bounded on \(L^{p}(\mathbb{R}^{n})\) [10]. Coifman, Rochberg and Weiss proved that the commutator \([b,T]\) is bounded on \(L^{p}(\mathbb{R}^{n}) (1 < p < 1)\) [11]. In 1997, Lu [12] showed the commutator \([b,T\) on Herz-Type spaces. In 2006, Cruz-Uribe et al., [13] established the boundedness of some classical operators on variable \(L^{p}\) spaces by applying the theory of weighed norm inequalities and extrapolation.
The Morrey-Herz spaces have been playing a central role in harmonic analysis [14]. The boundedness of some operators and their corresponding characterization of these spaces with variable exponent \(p(x)\) were studied widely [15,16]. Recently, Morrey-Herz spaces \(MK_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})\) and \(M\dot{K}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})\) with three variable exponents were studied by Wang and Tao [17].
2. Definition of function spaces with variable exponent
In this section we will recall the definition of Lebesgue spaces with variable exponents and the Morrey-Herz spaces with three variable exponents. Let \(\Omega\) be a measurable set in \(\mathbb{R}^{n}\) with \(|\Omega|> 0 \).Definition 1.[11] Let \(p(\cdot): \Omega \rightarrow {[1,\infty)}\) be a measurable function, the Lebesgue space with variable exponent \(L^{p(\cdot)}(\Omega)\) is defined by \[L^{p(\cdot)}(\Omega)= \left\{{ h \mbox{is measurable} : \int_{\Omega}\left(\frac{|h(x)|}{\eta}\right)^{p(x)} dx < \infty} \mbox{for some constant } \eta > 0\right\}.\] The space \(L _{Loc}^{p(\cdot)} {(\Omega)}\) is defined by \(L_{Loc}^{p(\cdot)} {(\Omega)}= \{ \mbox {h is measurable} : h\in {L^{p(\cdot)} {(K)}}\) for all compact \(K\subset{\Omega}\)}. The Lebesgue spaces \(L^{p(\cdot)} {(\Omega)}\) is a Banach spaces with the norm defined by \[\|h\|_{L^{p(\cdot)}(\Omega)}= \inf\{\eta> 0 : \int_{\Omega}\left(\frac{|h(x)|}{\eta}\right)^{p(x)}dx \leq 1\},\] where \(p_{-}=\) ess \(\inf\{p(x): x \in \Omega\}, \) \( p_{+}=\) ess \(\sup \{p(x): x \in \Omega\} \). Then \(\mathcal{P}(\Omega)\) consists of all \(p(\cdot)\) satisfying \(p_{-} > 1\) and \(p_{+} < \infty\).
Let \(M\) be the Hardy-Littlewood maximal operator. We denote \(\mathcal{B}(\Omega)\) to be the set of all function \(p(\cdot)\in \mathcal{P}(\Omega)\) such that \(M\) is bounded on \(L^{p(\cdot)}(\Omega)\).
Let us turn to recall the definition of Herz spaces and Herz-Morrey spaces with variable exponents. We use the following notation;
Let \(B_{k}=\{ x\in\mathbb{R}^{n}:|x|\leq 2^{k}\}, C_{k}= B_{k}\backslash B_{k-1}, \chi_{k}= \chi_{C_{k}},k\in{\mathbb{Z}}.\)
Definition 2.[17] Let \(p(\cdot),q(\cdot)\in \mathcal{P}(\mathbb{R}^{n}),\alpha(\cdot): \mathbb{R}^{n}\longrightarrow\mathbb{R} \) with \( \alpha\in L^{\infty}(\mathbb{R}^{n})\) and \(0\leq \lambda < \infty.\) The nonhomogeneous Morrey-Herz space with variable exponent \(MK_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})\) and homogeneous Morrey-Herz space with variable exponents \(M\dot{K}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})\) are defined by \[MK_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})= \left\{h\in {L_{\mathrm{loc}}^{p(\cdot)}}(\mathbb{R}^{n}\backslash\{0\}) : \|h\|_{{MK}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})}< \infty\right \},\] and \[M\dot{K}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})= \left\{h\in {L_{Loc}^{p(\cdot)}}(\mathbb{R}^{n}\backslash\{0\}) : \|h\|_{M\dot{K}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})}< \infty \right\},\] respectively, where \begin{align*} \|h\|_{MK_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})} &= \inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z } 2^{-k_{0}\lambda} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|h\chi_{k}|}{\eta}\right)^{q(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q(\cdot)}}}\leq 1\right\},\\ \|h\|_{M\dot{K}_{q(\cdot),p(\cdot)}^{\alpha(\cdot),\lambda}(\mathbb{R}^{n})} &=\inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z} 2^{-k_{0}\lambda} \sum\limits_{k=-\infty}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|h\chi_{k}|}{\eta}\right)^{q(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q(\cdot)}}}\leq 1\right\}. \end{align*}
Remark 1.[17] Let \(v\in \mathbb{N},a_{v}\geq 0,1\leq p_{v} < \infty\). Then \(\sum\limits_{v=0}^{\infty} a_{v}\leq \left(\sum\limits_{v=0}^{\infty} a_{v} \right)^{p_{\ast}},\) where \( p_{\ast}= \left\{\begin{array}{ll} \min\limits_{v\in \mathbb{N} }p_{v}, \sum\limits_{v=0}^{\infty} a_{v}\leq 1,\\ \max\limits_{v\in \mathbb{N} }p_{v}, \sum\limits_{v=0}^{\infty} a_{v}>1. \end{array}\right.\)
Definition 3.[18] For all \(0< \beta \leq 1,\) the Lipschitz space \(Lip_{\beta}(\mathbb{R}^{n})\) is defined by \[Lip_{\beta}(\mathbb{R}^{n})=\left\{h:\|h\|_{Lip_{\beta}(\mathbb{R}^{n})}= \sup\limits_{x,y\in \mathbb{R}^{n};x\neq y}\frac{|h(x)-h(y)|}{|x-y|^{\beta}}< \infty\right\}.\]
3. Properties and lemmas of variable exponent
Proposition 1.[19] If \(p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\), then \begin{align*} |p(x) - p(y)|\leq \frac{ -C}{Log( |x - y|)},& \;\;\text{if}\;\;| x - y| \leq 1/ 2\,,\\ | p(x) - p(y)|\leq \frac{ C}{Log( e +|x|)}, & \;\;\text{if}\;\; |y|\geq|x|. \end{align*}
Lemma 1.[1] Let \(p(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\). If \(h\in L^{p(\cdot)}\) and \(g\in L^{p'(\cdot)}\), then \(hg\) is integrable on \(\mathbb{R}^{n}\) and \[\int_{\mathbb{R}^{n}}|h(x) g(x)| dx \leq C_{p}\|h\|_{L^{p(\cdot)}(\mathbb{R}^{n})}\|g\|_{L^{p'(\cdot)}(\mathbb{R}^{n})}\,,\] where \(C_{p}=1+\frac{1}{p_{-}}-\frac{1}{p_{+}}\).
Lemma 2.[1] Suppose that \(p(\cdot),p_{1}(\cdot),p_{2}(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\) and for any \(h\in L^{p_{1}(\cdot)}(\mathbb{R}^{n}),\;\;g\in L^{p_{2}(\cdot)}(\mathbb{R}^{n})\), when \(\frac{1}{p(\cdot)}=\frac{1}{p_{2}(\cdot)}+\frac{1}{p_{1}(\cdot)}\), we get \[\|h(x)g(x)\|_{L^{p(\cdot)}(\mathbb{R}^{n})}\leq C \|h\|_{L^{p_{1}(\cdot)}(\mathbb{R}^{n})} \|g\|_{L^{p_{2}}(\mathbb{R}^{n})}\,,\] where \(C_{p_{1},p_{2}}=[1+\frac{1}{p_{1-}}-\frac{1}{p_{1+}}]^{\frac{1}{p_{-}}}\).
Lemma 3.[20] Let \(b\in BMO(\mathbb{R}^{n})\) and \(i,j\in\mathbb{Z}\) with \(i< j\), then
- 1. \(C^{-1}\|b\|_{BMO(\mathbb{R}^{n})}\leq\sup\limits_{B}\frac{1}{\|\chi_{B}\|_{L^{p(\cdot)}(\mathbb{R}^{n})}} \|(b-b_{B})\chi_{B}\|_{L^{p(\cdot)}(\mathbb{R}^{n})} \leq C\|b\|_{BMO(\mathbb{R}^{n})};\)
- 2. \(\|(b-b_{B_{i}})\chi_{B_{j}}\|_{L^{q(\cdot)}(\mathbb{R}^{n})}\leq C( j-i)\|b\|_{BMO(\mathbb{R}^{n})}\|\chi_{B_{j}}\|_{L^{q(\cdot)}(\mathbb{R}^{n})}.\)
Lemma 4.[21,22] Let \(p_{u}(\cdot) \in \mathfrak{B}(\mathbb{R}^{n})(u=1,2),\) then there exist constants \(0< \delta_{u1},\delta_{u2}< 1\) and \(C > 0\) such that for all balls \(B\subset\mathbb{R}^{n}\) and all measurable subset \(R\subset B,\) we have \[\frac{\|\chi_{B}\|_{L^{p_{u}(\cdot)}(\mathbb{R}^{n})}}{\|\chi_{R}\|_{L^{p_{u}(\cdot)}(\mathbb{R}^{n})}}\leq C \frac{|B|}{|R|}, \frac{\|\chi_{R}\|_{L^{p_{u}(\cdot)}(\mathbb{R}^{n})}}{\|\chi_{B}\|_{L^{p_{u}(\cdot)}(\mathbb{R}^{n})}}\leq C\left(\frac{|R|}{|B|}\right)^{\delta_{u2}}, \frac{\|\chi_{R}\|_{L^{p_{u}^{\prime}(\cdot)}(\mathbb{R}^{n})}}{\|\chi_{B}\|_{L^{p_{u}^{\prime}(\cdot)}(\mathbb{R}^{n})}}\leq C\left(\frac{|R|}{|B|}\right)^{\delta_{u1}}.\]
Lemma 5.[11] If \(p(\cdot) \in \mathfrak{B}(\mathbb{R}^{n}),\) there exist a constant \(C > 0\) such that for any balls \(B\) in \(\mathbb{R}^{n}\), we have \[\frac{1}{|B|}\|\chi_{B}\|_{L^{p(\cdot)}(\mathbb{R}^{n})} \|\chi_{B}\|_{L^{p'(\cdot)}(\mathbb{R}^{n})}\leq C .\]
Lemma 6.[11] Suppose \(p(\cdot),q(\cdot) \in\mathcal{P}(\mathbb{R}^{n}).\) If \(h\in L^{p(\cdot)q(\cdot)},\) then \[\min \left( \|h\|_{L^{p(\cdot)q(\cdot)}}^{q_{+}}, \|h\|_{L^{p(\cdot)q(\cdot)}}^{q_{-}} \right)\leq\||h|^{q(\cdot)}\|_{L^{p(\cdot)}}\leq\max \left( \|h\|_{L^{p(\cdot)q(\cdot)}}^{q_{+}}, \|h\|_{L^{p(\cdot)q(\cdot)}}^{q_{-}} \right) .\]
Proposition 2.[11] Let \(I_{\beta} \) be a fractional integrals operator \(p_{1}(\cdot),p_{2}(\cdot) \in \mathcal{B}(\mathbb{R}^{n})\) and \(0 < \beta< n/(p_{1})_{+}\). If \(\frac{1}{p_{1}(x)}-\frac{1}{p_{2}(x)}=\frac{\beta}{n}\), then we have \[\|I_{\beta}h\|_{L^{p_{2}(\cdot)}(\mathbb{R}^{n})} \leq C \|h\|_{L^{p_{1}(\cdot)}(\mathbb{R}^{n})},\] for all \(h\in L^{p_{1}(\cdot)}.\)
Lemma 7.[11] Suppose that \([b,T]\) as defined in (1) and \(p_{1}(\cdot),p_{2}(\cdot) \in \mathcal{B}(\mathbb{R}^{n})\). If \(b\in Lip_{\beta}(\mathbb{R}^{n})\) \((0< \beta< n/(p_{1})_{+})\) and \(\frac{1}{p_{1}(x)}-\frac{1}{p_{2}(x)}=\frac{\beta}{n}\), then \([b,T]\) is bounded from \(L^{p_{2}(\cdot)}(\mathbb{R}^{n})\) in to \(L^{p_{1}(\cdot)}(\mathbb{R}^{n})\).
Proof. Set \(b\in Lip_{\beta}(\mathbb{R}^{n})(0< \beta< 1)\), then \begin{align*} |[b,T](h)(x)|&\leq\int_{\mathbb{R}^{n}}|(b(x)-b(y))K(x,y)h(y)|dy\\&\leq\int_{\mathbb{R}^{n}}|(b(x)-b(y))\frac{C}{|x-y|^{n}}h(y)|dy\\ & \leq C \|b\|_{Lip_{\beta}(\mathbb{R}^{n})}\int_{\mathbb{R}^{n}}\frac{|h(y)|}{|x-y|^{n-\beta}}dy. \end{align*} Notice that \(0< \beta < n/(p_{1})_{+}\) so by applying Proposition 2, therefore \[\|[b,T](h)\|_{L^{p_{2}(\cdot)}(\mathbb{R}^{n})}\leq C \|b\|_{Lip_{\beta}(\mathbb{R}^{n})} \|I_{\beta}(|h|)\|_{L^{p_{2}(\cdot)}(\mathbb{R}^{n})} \leq C \|b\|_{Lip_{\beta}(\mathbb{R}^{n})}\|h\|_{L^{p_{1}(\cdot)}(\mathbb{R}^{n})}.\]
4. Main result and proof
Theorem 1. Suppose that \(p(\cdot)\in\mathcal{B}(\mathbb{R}^{n}),\;\;q_{1}(\cdot),q_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\) with \((q_{2})_{-}\geq(q_{1})_{+}\). If \(\lambda_{1}(q_{2})_{+}=\lambda_{2}(q_{1})_{-},\;\;\lambda_{1}/(q_{1})_{-}-n\delta_{12}< \alpha_{+}< \lambda_{1}/(q_{1})_{-}+n\delta_{11}\) with \(\delta_{11},\delta_{12}\) as in Lemma 4, then the operator \(T\) is bounded from \( MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})\) to \( MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})\).
Proof. Let \(h\in MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n}).\) Write \[h(x)=\sum\limits_{j=0}^{\infty}h(x)\chi_{j}(x)\triangleq\sum\limits_{j=0}^{\infty}h_{j}(x).\] By the Definition 2, we get \begin{align*} \|T(h)\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|T(h)\chi_{k}|}{\eta}\right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\}. \end{align*} For any \(k_{0}\in \mathbb{Z}\), we have \begin{align*} &2^{-k_{0}\lambda_{2}}\sum\limits_{k=0}^{k_{0}}\left\|\left(\frac{2^{k\alpha(\cdot)}|T(h)\chi_{k}|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{\infty}T(h_{j})\chi_{k}\right|}{\sum\limits_{i=1}^{3}\eta_{1i}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{k-2}T(h_{j})\chi_{k}\right|}{\eta_{11}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}+2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k-1}^{k+1}T(h_{j})\chi_{k}\right|}{\eta_{12}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &+ 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k+2}^{\infty}T(h_{j})\chi_{k}\right|}{\eta_{13}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}. \end{align*} Let \begin{align*} \eta_{11}=\left\|\sum\limits_{j=0}^{k-2}T(h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{k-2}T(h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\} \end{align*} \begin{align*} \eta_{12}&=\left\|\sum\limits_{j=k-1}^{k+1}T(h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k-1}^{k+1}T(h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\}\\ \eta_{13}&=\left\|\sum\limits_{j=k+2}^{\infty}T(h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{0}\in z } 2^{-k_{0}\lambda_{2}}\sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k+2}^{\infty}T(h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\} \end{align*} and \[\eta=\sum_{i=1}^{3}\eta_{1i}.\] Thus, we have \[2^{-k_{0}\lambda_{2}}\sum\limits_{k=0}^{k_{0}}\left\|\left(\frac{2^{k\alpha(\cdot)}|T(h)\chi_{k}|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq C.\] This implies that
Denote \(\eta_{10}\leq C \|h\|_{MK^{\alpha(\cdot),\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}\)
Step 1. We first estimate \(\eta_{12}\). By Lemma 6 and the \(T\)-boundedness in \(L^{p(\cdot)}\) (see [10]), we conclude thatThis completes the proof Theorem
Theorem 2. Suppose \(b\in BMO(\mathbb{R}^{n})\). Further suppose \(p(\cdot)\in\mathcal{B}(\mathbb{R}^{n}),\;\;q_{1}(\cdot),q_{2}(\cdot) \in\mathcal{P}(\mathbb{R}^{n})\) with \((q_{2})_{-}\geq(q_{1})_{+}\). If \(\lambda_{1}(q_{2})_{+}=\lambda_{2}(q_{1})_{-},\;\;\lambda_{1}/(q_{1})_{-}-n\delta_{12}< \alpha_{+}< \lambda_{1}/(q_{1})_{-}+n\delta_{11}\) with \(\delta_{11},\delta_{12}\) as in Lemma 4, then the commutator \([b,T]\) is bounded from \( MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})\) to \( MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})\).
Proof. Let \(b\in BMO (\mathbb{R}^{n}),\) and \(h\in MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})\). We write \[h(x)=\sum\limits_{j=0}^{\infty}h(x)\chi_{j}(x)\triangleq\sum\limits_{j=0}^{\infty}h_{j}(x).\] By the Definition 2, we have \begin{align*} &\|[b,T](h)\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{\circ}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|[b,T](h)\chi_{k}|}{\eta}\right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\}. \end{align*} Let \begin{align*} \eta_{21}&=\left\|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{\circ}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\},\\ \eta_{22}&=\left\|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{\circ}\in z } 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\},\\ \eta_{23}&=\left\|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\right\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}=\inf\left\{ \eta> 0 : \sup\limits_{k_{\circ}\in z } 2^{-k_{0}\lambda_{2}}\sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\chi_{k}\right|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 1\right\}. \end{align*} Then, for any \(k_{0}\in \mathbb{Z}\), we deduce that \begin{align*} &2^{-k_{0}\lambda_{2}}\sum\limits_{k=0}^{k_{0}}\left\|\left(\frac{2^{k\alpha(\cdot)}|[b,T](h)\chi_{k}|}{\eta}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{\infty}[b,T](h_{j})\chi_{k}\right|}{\sum\limits_{i=1}^{3}\eta_{2i}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}} \leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}\right|}{\eta_{21}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}} \end{align*} \begin{align*} &+ 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\chi_{k}\right|}{\eta_{22}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}} + 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\chi_{k}\right|}{\eta_{23}} \right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}, \end{align*} and \[\eta=\sum_{i=1}^{3}\eta_{2i}.\] This implies that \[\|[b,T](h)\|_{MK^{\alpha(\cdot),\lambda_{2}}_{q_{2}(\cdot),p(\cdot)}(\mathbb{R}^{n})}\leq C \eta = C \sum_{i=1}^{3}\eta_{2i}.\] Hence, we only need to estimate \[\eta_{21},\eta_{22}\text{and}\eta_{23} \leq C \|b\|_{\ast} \|h\|_{MK^{\alpha(\cdot),\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}.\]
Denote \(\eta_{10}\leq C \|h\|_{MK^{\alpha(\cdot),\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}\).
Step 1. We estimate \(\eta_{22}\). By the boundedness of commutator \([b,T]\) on \(L^{p(\cdot)}(\mathbb{R}^{n})\), together with Lemma 6, it follows \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}\left|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\chi_{k}\right|}{\eta_{10}\|b\|_{\ast}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{\circ}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|^{(q_{2}^{1})_{k}}_{L^{p(\cdot)}}\\ &\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{\circ}}\left(\sum\limits_{j=k-1}^{k+1} \left\| \frac{2^{(k-j)\alpha_{+}}2^{j\alpha_{+}}|[b,T](h_{j})\chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{p(\cdot)}}\right)^{(q_{2}^{1})_{k}}\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{\circ}}\left(\sum\limits_{j=k-1}^{k+1} \left\| \frac{2^{j\alpha_{+}}|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}}\right)^{(q_{2}^{1})_{k}}, \end{align*} where \[ {(q^{1}_{2})k}= \left\{\begin{array}{ll} (q_{2})_{-}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k-1}^{k+1} [b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} \leq 1, \\ (q_{2})_{+}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k-1}^{k+1} [b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} >1. \end{array}\right. \] Therefore, since \(h\in MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})\), we can obtain \[2^{-k_{0}\lambda_{1}}\left\|\left( \frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{10}}\right)^{q_{1}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}}\leq1.\] From this, and by Lemma 6, if \((q_{1})_{+}\leq(q_{2})_{-}\) and \(\lambda_{1}(q_{2})_{+}=\lambda_{2}(q_{1})_{-},\) then we get \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k-1}^{k+1}[b,T](h_{j})\chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right)^{q_{2}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(\sum\limits_{j=k-1}^{k+1} \left\| \frac{2^{j\alpha_{+}}|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}}\right)^{(q_{2}^{1})_{k}}\\ &\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left( \left\| \frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{10}}\right\|_{L^{p(\cdot)}}\right)^{(q_{2}^{1})_{k}}\leq 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left\|\left( \frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{10}}\right)^{q_{1}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}}^{\frac{(q_{2}^{1})_{k}}{(q_{1}^{1})_{k}}}\\ &\leq \sum\limits_{k=0}^{k_{0}}\left\{2^{-k_{0}\lambda_{1}}\left\|\left( \frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{10}}\right)^{q_{1}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}}\right\}^{\frac{(q_{2}^{1})_{k}}{(q_{1}^{1})_{k}}} \end{align*} where \[ {(q^{1}_{1})_{k}}= \left\{\begin{array}{ll} (q_{1})_{-}, \left\| \frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{20}}\right\|_{L^{{p(\cdot)}}} \leq 1, \\ (q_{1})_{+}, \left\|\frac{2^{k\alpha_{+}}|h\chi_{k}|}{\eta_{20}}\right\|_{L^{{p(\cdot)}}} >1. \end{array}\right.\] This implies \begin{equation*}\label{3.25}\eta_{21} \leq C \|b\|_{\ast} \eta_{10} \leq C\|b\|_{\ast} \|h\|_{MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}. \end{equation*} Step 2. Next we estimate \(\eta_{22}\). Let \(x\in R_{k},y\in R_{j}\) and \(j \leq k-2\) then \(2|y|< |x|\) and applying the generalized Hölder's inequality, we have \begin{align*} |[b,T]h_{j}(x)|&\leq \int_{R_{j}}|K(x,y)||b(x)-b(y)||h_{j}(y)|dy\leq C 2^{-nk}\int_{R_{j}}|b(x)-b(y)||h_{j}(y)|dy\\ &\leq C 2^{-nk}\left[|b(x)-b_{B_{j}}|\int_{R_{j}}|h_{j}(y)|dy+\int_{R_{j}}|b(y)-b_{B_{j}}||h_{j}(y)|dy\right]\\ &\leq C 2^{-nk}\left[|b(x)-b_{B_{j}}|\|h\|_{L^{1}(\mathbb{R}^{n})}+\|(b-b_{B_{j}})h_{j}\|_{L^{1}(\mathbb{R}^{n})}\right]\,. \end{align*} Therefore, by Lemma 6, we have \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right\|^{(q^{2}_{2})_{k}}_{L^{p(\cdot)}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}2^{(j-k)\varepsilon}2^{-nk}|b(x)-b_{B_{j}}|\|h\|_{L^{1}(\mathbb{R}^{n})}\chi_{k}|}{ \|b\|_{\ast}\eta_{10}}\right\|^{(q^{2}_{2})_{k}}_{L^{p(\cdot)}}\\ &+ C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}2^{-nk}\|(b-b_{B_{j}})h_{j}\|_{L^{1}(\mathbb{R}^{n})}\chi_{k}|}{\|b\|_{\ast}\eta_{10}} \right\|^{(q^{2}_{2})_{k}}_{L^{p(\cdot)}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2}2^{-nk} \left\|\frac{|(b-b_{j})h_{j}|}{\|b\|_{\ast}\eta_{10}}\right\|_{L^{1}(\mathbb{R}^{n})}\|\chi_{B_{k}}\|_{L^{p(\cdot)}}\right)^{(q^{2}_{2})_{k}}\\ &+ C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2}2^{-nk} \left\|\frac{|h_{j}|}{\eta_{10}}\right\|_{L^{1}(\mathbb{R}^{n})}\|b\|_{\ast}^{-1}\|(b-b_{j})\chi_{B_{k}}\|_{L^{p(\cdot)}} \right)^{(q^{2}_{2})_{k}}, \end{align*} where \[{(q^{2}_{2})_{k}}= \left\{\begin{array}{ll} (q_{2})_{-}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} \leq 1, \\ (q_{2})_{+}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} >1. \end{array}\right.\] By applying Lemmas 3 and 6, we get that \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &\leq C2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2} 2^{-nk} \left\|\frac{|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}(\mathbb{R}^{n})} \left\|\frac{|(b-b_{j})\chi_{B_{j}}|}{\|b\|_{\ast}}\right\|_{L^{p^{\prime}(\cdot)}(\mathbb{R}^{n})}\|\chi_{B_{k}}\|_{L^{p(\cdot)}} \right)^{(q^{2}_{2})_{k}}\\ &+ C 2^{-k_{\circ}\lambda_{2}} \sum\limits_{k=0}^{k_{\circ}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2}2^{-nk} \left\|\frac{|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}(\mathbb{R}^{n})} \|\chi_{B_{j}}\|_{L^{p^{\prime}(\cdot)}(\mathbb{R}^{n})}(k-j)\|\chi_{B_{k}}\|_{L^{p(\cdot)}}\right)^{(q^{2}_{2})_{k}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2}2^{-nk} \left\|\frac{|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}(\mathbb{R}^{n})} (k-j)\frac{\|\chi_{B_{j}}\|_{L^{p^{\prime}(\cdot)}}}{\|\chi_{k}\|_{L^{p^{\prime}(\cdot)}}}|B_{k}|\right)^{(q^{2}_{2})_{k}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(\sum\limits_{j=0}^{k-2}(k-j)2^{(k-j)(\alpha_{+}-n\delta_{11})} \left\|\frac{2^{j\alpha_{+}}|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}(\mathbb{R}^{n})}\right)^{(q^{2}_{2})_{k}}, \end{align*} Thus, noting that \(h\in MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n}),\lambda_{1}(q_{1})_{-}=\lambda_{2}(q_{2})_{-}\) and \(\alpha_{+}< n\delta_{11}+\lambda_{1}/(q_{1})_{+}\), we obtain \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left(\frac{2^{k\alpha(\cdot)}|\sum\limits_{j=0}^{k-2}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left\{\sum\limits_{j=0}^{k-2}(k-j)2^{(k-j)(\alpha_{+}-n\delta_{11})} \left\|\left(\frac{2^{j\alpha_{+}}|h_{j}|}{\eta_{10}}\right)^{q_{1}(\cdot)} \right\|^{\frac{1}{(q^{2}_{1})_{j}}}_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}(\mathbb{R}^{n})} \right\}^{(q^{2}_{2})_{k}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left\{\sum\limits_{j=0}^{k-2}(k-j)2^{(k-j)(\alpha_{+}-n\delta_{11})} \left(2^{j\lambda_{1}}2^{-j\lambda_{1}}\sum\limits_{\ell=0}^{j}\left\|\left(\frac{2^{\ell\alpha_{+}}|h\chi_{\ell}|}{\eta_{10}} \right)^{q_{1}(\cdot)}\right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}(\mathbb{R}^{n})} \right)^{\frac{1}{(q^{2}_{1})_{j}}}\right\}^{(q^{2}_{2})}\\ &\leq C 2^{(k-k_{0})\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left\{\sum\limits_{j=0}^{k-2}(k-j)2^{(k-j)(\alpha_{+}-n\delta_{11}-\lambda_{1}(q_{1})_{-})} \left(2^{-j\lambda_{1}}\sum\limits_{\ell=0}^{j}\left\|\left(\frac{2^{\ell\alpha_{+}}|h\chi_{\ell}|}{\eta_{10}}\right)^{q_{1}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}(\mathbb{R}^{n})} \right)^{\frac{1}{(q^{2}_{1})_{j}}}\right\}^{(q^{2}_{2})}\\ &\leq C \sum\limits_{k=0}^{k_{0}}2^{(k-k_{0})\lambda_{2}}\left( \sum\limits_{j=0}^{k-2}(k-j) 2^{(k-j)(\alpha_{+}-n\delta_{11}-\lambda_{1}/(q_{1})_{-})}\right)^{(q^{2}_{2})_{k}}\leq C. \end{align*} where \[{(q^{2}_{1})_{j}}= \left\{\begin{array}{ll} (q_{1})_{-}, \left\| \frac{2^{j\alpha_{+}}|h\chi_{j}|}{\eta_{10}}\right\|_{L^{{p(\cdot)}}} \leq 1, \\ (q_{1})_{+}, \left\|\frac{2^{j\alpha_{+}}|h\chi_{j}|}{\eta_{10}}\right\|_{L^{{p(\cdot)}}} >1. \end{array}\right.\] This implies that \begin{equation*}\label{3.29}\eta_{22} \leq C \|b\|_{\ast} \eta_{10} \leq C\|b\|_{\ast} \|h\|_{MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}.\end{equation*} Step 3. Finally, we \(\eta_{23}\). Let \(x\in R_{k},y\in R_{j}\) and \(j \geq k+2\). Since \(\alpha_{+}>-n\delta_{12}+\lambda_{1}/(q_{1})_{-}\), by the similar argument in Step 2, we get \begin{align*} |[b,T]h_{j}(x)|&\leq \int_{R_{j}}|K(x,y)||b(x)-b(y)||h_{j}(y)|dy\leq C 2^{-jn}\left[|b(x)-b_{B_{j}}|\int_{R_{j}}|h_{j}(y)|dy+\int_{R_{j}}|b(y)-b_{B_{j}}||h_{j}(y)|dy\right]\\ &\leq C 2^{-jn}\left[|b(x)-b_{B_{j}}|\|h\|_{L^{1}(\mathbb{R}^{n})}+\|(b-b_{B_{j}})h_{j}\|_{L^{1}(\mathbb{R}^{n})}\right], \end{align*} and \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right\|^{(q^{3}_{2})_{k}}_{L^{p(\cdot)}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}|b(x)-b_{B_{j}}|\|h\|_{L^{1}(\mathbb{R}^{n})}\chi_{k}|}{\|b\|_{\ast}\eta_{10}} \right\|^{(q^{3}_{2})_{k}}_{L^{p(\cdot)}}+ C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}\|(b-b_{B_{j}})h_{j}\|_{L^{1}(\mathbb{R}^{n})}\chi_{k}|}{\|b\|_{\ast}\eta_{10}} \right\|^{(q^{3}_{2})_{k}}_{L^{p(\cdot)}}\\ &\leq C 2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}}\left(2^{k\alpha_{+}}\sum\limits_{j=0}^{k-2}2^{-jn} \left\|\frac{|h_{j}|}{\eta_{10}}\right\|_{L^{p(\cdot)}(\mathbb{R}^{n})} (j-k)\frac{\|\chi_{k}\|_{L^{p(\cdot)}}}{\|\chi_{B_{j}}\|_{L^{p(\cdot)}}}|B_{j}|\right)^{(q^{3}_{2})_{k}}, \end{align*} where \[{(q^{3}_{2})_{k}}= \left\{\begin{array}{ll} (q_{2})_{-}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} \leq 1, \\ (q_{2})_{+}, \left\| \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j}) \chi_{k}|}{\eta_{10}\|b\|_{\ast}}\right\|_{L^{{p(\cdot)}}} >1. \end{array}\right.\] Therefore \begin{align*} &2^{-k_{0}\lambda_{2}} \sum\limits_{k=0}^{k_{0}} \left\| \left( \frac{2^{k\alpha(\cdot)}|\sum\limits_{j=k+2}^{\infty}[b,T](h_{j})\chi_{k}|}{\|b\|_{\ast}\eta_{10}}\right)^{q_{2}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{2}(\cdot)}}}\\ &\leq C \sum\limits_{k=0}^{k_{0}}2^{(k-k_{0})\lambda_{2}}\left\{\sum\limits_{j=k+2}^{\infty}(j-k) 2^{(k-j)(\alpha_{+}+n\delta_{12}-\lambda_{1}/(q_{1})_{-})}\left(2^{j\lambda_{1}}2^{-j\lambda_{1}}\sum\limits_{\ell=0}^{j}\left\| \left(\frac{2^{\ell\alpha_{+}}|h\chi_{\ell}|}{\eta_{10}}\right)^{q_{1}(\cdot)} \right\|_{L^{\frac{p(\cdot)}{q_{1}(\cdot)}}(\mathbb{R}^{n})} \right)^{\frac{1}{(q^{3}_{1})_{j}}} \right\}^{(q^{3}_{2})_{k}}\\ &\leq C \sum\limits_{k=0}^{k_{0}}2^{(k-k_{0})\lambda_{2}}\left( \sum\limits_{j=k+2}^{\infty}(j-k) 2^{(k-j)(\alpha_{+}+n\delta_{12}-\lambda_{1}/(q_{1})_{-})}\right)^{(q^{3}_{2})_{k}}\\ &\leq C, \end{align*} which implies that \[\eta_{23} \leq C \|b\|_{\ast} \eta_{10} \leq C\|b\|_{\ast} \|h\|_{MK^{\alpha_{+},\lambda_{1}}_{q_{1}(\cdot),p(\cdot)}(\mathbb{R}^{n})}.\] Combining the above estimates for \(\eta_{21},\eta_{22}\) and \(\eta_{23}\), the get our desired result.Acknowledgments
The author would like to thank referee for her/his carefully reading and helpful comments which led the paper more readable.Author Contributions
All authors contributed equally in writing of this paper. All authors read and approved the final manuscript.Conflict of Interests
The authors declare no conflict of interest.References
- Kovácik, O., & Rákosník, J. (1991). On spaces \( L^{p (x)} \) and \( W^{k, p (x)} \). Czechoslovak mathematical journal, 41(4), 592-618. [Google Scholor]
- Diening, L., M.Ružiˇcka, Calderón-Zygmund operators on generalized Lebesgue spaces \(L^ {p(.)}\) and problems related to fluid dynamics. Journal fur die reine und Angewandte Mathematik, 197-220. [Google Scholor]
- Chen, Y., Levine, S., & Rao, M. (2006). Variable exponent, linear growth functionals in image restoration. SIAM journal on Applied Mathematics, 66(4), 1383-1406. [Google Scholor]
- Li, F., Li, Z., & Pi, L. (2010). Variable exponent functionals in image restoration. Applied Mathematics and Computation, 216(3), 870-882. [Google Scholor]
- Harjulehto, P., Hästö, P., Latvala, V., & Toivanen, O. (2013). Critical variable exponent functionals in image restoration. Applied Mathematics Letters, 26(1), 56-60. [Google Scholor]
- Cruz-Uribe, D., Fiorenza, A., & Neugebauer, C. J. (2003, January). The maximal function on variable \(L^p\) spaces. In Annales-Academiae Scientiarum Fennicae Mathematica, 28(1), 223-238). Academia Scientiarum Fennica. [Google Scholor]
- Diening, L. (2004). Maximal function on generalized Lebesgue spaces \(L^{p(x)}\). Mathematical Inequalities & Applications, 7, 245-253. [Google Scholor]
- Lerner, A. K. (2005). Some remarks on the Hardy-Littlewood maximal function on variable L p spaces. Mathematische Zeitschrift, 251(3), 509-521. [Google Scholor]
- Nekvinda, A. (2004). Hardy-Littlewood maximal operator on \(L^ {P( x)}(\mathbb{R})\). Mathematical Inequalities and Applications, 7, 255-266. [Google Scholor]
- Jouné, J. L. (1983). Calderón\(-\)Zygmund operators, Pseudo-Differential Operators and the Cauchy Integrals of Calderón. Lecture Notes in Mathematics, 994. [Google Scholor]
- Coifman, R. R., Rochberg, R., & Weiss, G. (1976). Factorization theorems for Hardy spaces in several variables. Annals of Mathematics, 611-635. [Google Scholor]
- Lu, S., & Yang, D. (1997). The continuity of commutators on Herz-type spaces. The Michigan Mathematical Journal, 44(2), 255-281. [Google Scholor]
- Cruz-Uribe, D., Fiorenza, A., Martell, J. M., & Pérez, C. (2006, January). The boundedness of classical operators on variable \(L^{p}\) spaces. In Annales-Academiae Scientiarum Fennicae Mathematica, 31(1), 239. Academia Scientiarum Fennica. [Google Scholor]
- Izuki, M. (2010). Fractional integrals on Herz-Morrey spaces with variable exponent. Hiroshima Mathematical Journal, 40(3), 343-355. [Google Scholor]
- Tang, C., Wu, Q., & Xu, J. (2014). Commutators of multilinear Calderón-Zygmund operator and BMO functions in Herz-Morrey spaces with variable exponents. Journal of Function Spaces, 2014. [Google Scholor]
- Wang, L., & Tao, S. (2014). Boundedness of Littlewood-Paley operators and their commutators on Herz-Morrey spaces with variable exponent. Journal of Inequalities and Applications, 2014(1), 1-17. [Google Scholor]
- Tao, S., & Wang, L. (2014). Littlewood-Paley operators on Morrey spaces with variable exponent. The Scientific World Journal, 2014. [Google Scholor]
- Stein, E. M. (1970). Singular integrals and differentiability properties of functions (Vol. 2). Princeton university press. [Google Scholor]
- Cruz-Uribe, D. V., & Fiorenza, A. (2013). Variable Lebesgue spaces: Foundations and harmonic analysis. Springer Science & Business Media. [Google Scholor]
- Izuki, M. (2010). Fractional integrals on Herz-Morrey spaces with variable exponent. Hiroshima Mathematical Journal, 40(3), 343-355. [Google Scholor]
- Diening, L. (2005). Maximal function on Musielak-Orlicz spaces and generalized Lebesgue spaces. Bulletin des Sciences Mathématiques, 129(8), 657-700. [Google Scholor]
- Karlovich, A. Y., & Lerner, A. K. (2005). Commutators of singular integrals on generalized L p spaces with variable exponent. Publicacions matematiques, 111-125. [Google Scholor]