1 Introduction
Let \(L=-\Delta+V\) be a Schrödinger operators on \(\mathbb{R}^{n}\), \(n\geq3\), where the nonnegative potential V belongs to the reverse Hölder class \(B_{s}\), \(s>\frac{n}{2}\). The Riesz transforms and the fractional integrals associated with L have been studied extensively. In 1995, Shen [1] proved the \(L^{p}\)-boundedness of the operators \((-\Delta+V)^{i\gamma}\), \(\nabla^{2}(-\Delta+V)^{-1}\), \(\nabla (-\Delta +V)^{-1/2}\), and \(\nabla(-\Delta+V)^{-1}\nabla\). Later, Sugano [2] and Tang-Dong [3] generalized some results of Shen [1] and obtained the estimates for the operators \(V^{\beta_{2}}(-\Delta+V)^{-\beta_{1}}\), \(0\leq\beta_{2}\leq\beta _{1}<\frac{n}{2}\), and their dual operators. The endpoint properties of Riesz transform and the fractional integral associated to L have been obtained by Yang, Yang, and Zhou [4]. For further information, we refer the reader to Jiang [5], Liu [6], Liu and Dong [7], Sugano [8] and the references therein.
In the study of harmonic analysis and the partial differential equations, the commutators related to singular integral operators play an important role. Let \(R_{L}=\nabla(-\Delta+V)^{-1/2}\) be the Riesz transform associated with L. Based on the results of Shen [1], Guo, Li, and Peng [9] obtained the \(L^{p}\)-boundedness of the commutators \([b, R_{L}]\) provided \(V\in B_{q}\), \(q\geq n/2\). By the functional calculus of L, Bui [10] obtained the weighted estimate of commutators of some singular integrals related to L. We refer to Liu, Huang, and Dong [11], Liu, Wang, and Dong [12], and Wang and Liu [13] for the latest developments on this topic.
Anzeige
In Section 3, assume that \(V\in B_{s}\), \(s\geq\frac {n}{2}\). Let \(T_{\beta}=(-\Delta+V)^{-\beta}V^{\beta}\) and \(b\in \operatorname{BMO}_{\sigma}(\rho)\), where \(\operatorname{BMO}_{\sigma}(\rho)\) denotes a function space associated with L. Such spaces were first introduced by Bongioanni, Harboure, and Salinas [14] as a generalization of the bounded mean oscillation space \(\operatorname{BMO}(\mathbb{R}^{n})\). We investigate the boundedness of the commutator \([b, T_{\beta}]\) on Herz type spaces \(\dot{K}^{\alpha, p}_{q}(\mathbb {R}^{n})\) and \({K}^{\alpha, p}_{q}(\mathbb{R}^{n})\), respectively. In Section 3.1, with the help of the \(L^{p}\)-boundedness of \(T_{\beta}\), we verify that the commutators \([b,T_{\beta}]\) are also bounded on \(L^{p}(\mathbb{R}^{n})\). See Theorem 3.8. In Section 3.2, we prove that if the index \((\beta, p,q,\alpha)\) satisfies the operators \(T_{\beta}\) and the commutators \([b,T_{\beta}]\) are bounded on the homogeneous Herz spaces \(\dot{K}_{q}^{\alpha ,p}(\mathbb{R}^{n})\). A similar result also holds for the non-homogeneous Herz spaces \({K}_{q}^{\alpha,p}(\mathbb{R}^{n})\). See Theorems 3.9 and 3.10 for the details.
$$ \textstyle\begin{cases} 0< \beta< {n}/{2},\quad 0< p< \infty, \\ {s}/{(s-\beta)}< q< \infty, \\ -{n}/{q}< \alpha< n(1- {1}/{q}- {2\beta}/{n}), \end{cases} $$
By use of a maximal estimate, Bongioanni, Harboure, and Salinas [14] proved that the commutators \([b, R_{L}]\) are bounded on \(L^{p}(\mathbb{R}^{n})\), where \(b\in \operatorname{BMO}_{\sigma}(\rho)\). See Theorem 1 in [14]. In Section 4, the \(L^{p}\)-boundedness of \([b, R_{L}]\) can be further extended to the setting of \(\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})\) and \({K}_{q}^{\alpha,p}(\mathbb{R}^{n})\), respectively. Precisely, we obtain the following results. Suppose that \(V\in B_{s}\), \(s\geq\frac{n}{2}\), and \(b\in \operatorname{BMO}_{\sigma }(\rho)\), \(0<\sigma<\infty\). Let \(\frac{1}{\tilde{q}}=:(\frac {1}{s}-\frac{1}{n})^{+}\). If the index \((p,q,\alpha)\) satisfies then \(R_{L}\) and \([b, R_{L}]\) are bounded on \(\dot{K}_{q}^{\alpha ,p}(\mathbb{R}^{n})\) and \({K}_{q}^{\alpha,p}(\mathbb{R}^{n})\). See Theorems 4.4, 4.5 and 4.7.
$$ \textstyle\begin{cases} 0< p< \infty, (\tilde{q})'< q< \infty, \\ -{n}/{q}< \alpha< n(1-{1}/{q}-{1}/{\tilde{q}}), \end{cases} $$
Remark 1.1
We point out that the results obtained in Sections 3 and 4 cover many former results. It is obvious that Hence our results generalize the \(L^{p}\)-boundedness of \([b, T_{\beta }]\) and \([b, R_{L}]\) to the boundedness of Herz type spaces. On the other hand, Theorems 3.9, 3.10, 4.4 and 4.5 imply that \([b, T_{\beta}]\) and \([b, R_{L}]\) are bounded on the Lebesgue spaces \(L^{q}(\mathbb{R}^{n})\) with power weighted \(|x|^{\alpha q}\).
$$ \textstyle\begin{cases} \dot{K}_{q}^{0, q}(\mathbb{R}^{n})=L^{q}(\mathbb{R}^{n}), \\ \dot{K}_{q}^{\alpha, q}(\mathbb{R}^{n})=L^{q}(\mathbb{R}^{n}, |x|^{\alpha q}). \end{cases} $$
Remark 1.2
For \(\beta=1,2\), \(T_{1}=(-\Delta+V)^{-1}V\) and \(T_{2}=(-\Delta+V)^{-1/2}V^{1/2}\). For \(b\in \operatorname{BMO}(\mathbb{R}^{n})\), the \(L^{p}\)-boundedness of \([b, T_{i}]\), \(i=1,2\) have been obtained by Guo, Li, and Peng [9], respectively. See Theorem 1 in [9]. In this paper, we assume that \(b\in \operatorname{BMO}_{\sigma}(\rho)\), which is larger than \(\operatorname{BMO}(\mathbb{R}^{n})\). Hence our results cover those of Guo, Li, and Peng [9]. On the other hand, the boundedness of \([b, T_{\beta}]\) on Herz spaces are new even for the case \(b\in \operatorname{BMO}(\mathbb{R}^{n})\).
Anzeige
The rest of this paper is organized as follows. In Section 2, we state some notations and known results which will be used throughout this paper. In Section 3, we prove the commutators \([b, T_{\beta}]\) are bounded on \(L^{p}(\mathbb{R}^{n})\) and Herz spaces with \(b\in \operatorname{BMO}_{\sigma}(\rho)\), respectively. Section 4 is devoted to the boundedness of \([b, R_{L}]\) on Herz spaces, where \(b\in \operatorname{BMO}_{\sigma}(\rho)\).
Some notations
Throughout the paper, the Lebesgue measure of the ball \(B\subset\mathbb{R}^{n}\) denote by \(|B|\). c and C will denote unspecified positive constants, possibly different at each occurrence. The constants are independent of the functions. \({\mathsf{U}}\approx{\mathsf{V}}\) represents that there is a constant \(c>0\) such that \(c^{-1}{\mathsf{V}}\le{\mathsf{U}}\le c{\mathsf{V}}\) whose right inequality is also written as \({\mathsf{U}}\lesssim{\mathsf{V}}\). Similarly, if \({\mathsf{V}}\ge c{\mathsf{U}}\), we denote \({\mathsf{V}}\gtrsim{\mathsf{U}}\).
2 Preliminaries
2.1 Auxiliary function and BMO type spaces
In this paper, we consider the Schrödinger differential operator \(L=-\Delta+V\) on \(\mathbb{R}^{n}\), \(n\geq3\), where V is a nonnegative potential belonging to the reverse Hölder class \(B_{s}\), \(s\geq\frac{n}{2}\), which is defined as follows.
Definition 2.1
A nonnegative locally \(L^{s}\)-integrable function V on \(\mathbb{R}^{n}\) is said to belong to \(B_{s}\), \(s>1\), if there exists \(C>0\) such that the reverse Hölder inequality holds for every ball \(B\subset\mathbb{R}^{n}\).
$$\biggl(\frac{1}{|B|} \int_{B}V^{s}(x)\,dx \biggr)^{\frac{1}{s}} \lesssim \biggl(\frac{1}{|B|} \int_{B}V(x)\,dx \biggr) $$
Remark 2.2
Assume that \(V\in B_{s}\), \(1< s<\infty\). Then \(V(y)\, dy\) is a doubling measure. Namely, there exists a constant \(C_{0}\) such that for any \(r>0\) and \(y\in\mathbb{R}^{n}\),
$$ \int_{B(x,2r)}V(y)\,dy\lesssim C_{0} \int_{B(x,r)}V(y)\,dy. $$
(2.1)
Lemma 2.3
([1], Lemma 1.2)
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\). There exists a constant
C
such that for
\(0< r< r_{0}<\infty\),
$$\frac{1}{r^{n-2}} \int_{B(x,r)}V(y)\,dy\lesssim \biggl(\frac {r_{0}}{r} \biggr)^{n/s-2}\cdot\frac{1}{r_{0}^{n-2}} \int_{B(x,r_{0})}V(y)\,dy. $$
In order to study the Neumann problem for the Schrödinger operator, Shen [15] introduced the following auxiliary function.
Definition 2.4
For \(x\in\mathbb{R}^{n}\), the function ρ is defined by
$$\begin{aligned} \rho(x)=\sup \biggl\{ r>0 :\frac{1}{r^{n-2}} \int_{B(x,r)}V(y)\,dy\leq 1 \biggr\} . \end{aligned}$$
We list some properties of the auxiliary function ρ which will be used in the sequel.
Lemma 2.5
([1], Lemma 1.4)
There exist positive constants
\(C>0\), \(c>0\), and
\(l_{0}>0\)
such that, for
x, y
in
\(\mathbb{R}^{n}\),
(a)
\(\rho(x)\sim\rho(y)\)
if
\(|x-y|\leq\frac{C}{\rho(x)}\),
(b)
\(\rho(x)\leq C(1+|x-y|/\rho(x))^{l_{0}}\rho(y)\),
(c)
\(\rho(x)\{1+|x-y|/\rho(x)\}^{l_{0}/(l_{0}+1)}\geq c\rho(y)\).
Lemma 2.6
([9], Lemma 2.3)
Suppose
\(V\in B_{s}\), \(s>\frac{n}{2}\). Then for any
\(N_{0}>\log_{2}C_{0}+1\), where
\(C_{0}\)
is the constant in (2.1), there exists a constant
\(C_{N_{0}}\)
such that for any
\(x\in \mathbb{R}^{n}\)
and
\(r>0\),
$$\frac{1}{(1+r/\rho(x))^{N_{0}}} \int_{B(x,r)}V(y)\,dy\lesssim C_{N_{0}}r^{n-2}. $$
The bounded mean oscillation space \(\operatorname{BMO}(\mathbb{R}^{n})\) was first introduced by John-Nirenberg [16] to study some problems arising from elasticity theory. In harmonic analysis, it is well known that \(\operatorname{BMO}(\mathbb{R}^{n})\) is the dual of Hardy space \(H^{1}(\mathbb {R}^{n})\). In [14], Bongioanni, Harboure, and Salinas added a perturbation term into the definition of \(\operatorname{BMO}(\mathbb{R}^{n})\) and introduced a new class of BMO type spaces associated with Schrödinger operators. See also [17, 18]. Given a function \(b\in L^{1}_{\mathrm{loc}}\) and a cube B, let \(b_{B}\) denote the average of b on B:
$$b_{B} = \frac{1}{|B|} \int_{B} b(x)\,dx. $$
Definition 2.7
Suppose \(V\in B_{s}\), \(s>n/2\), and \(\sigma\in (0,\infty)\).
(i)
A new space \(\operatorname{BMO}_{\sigma}(\rho)\) is defined as the set of all \(b\in L^{1}_{\mathrm{loc}}\) which satisfies where the supremum is taken over all cubes \(B(x,r)\in\mathbb{R}^{n}\). A norm for \(b\in \operatorname{BMO}_{\sigma}(\rho)\), denoted by \(\|b\|_{\sigma}\) is given by the infimum of the constants satisfying (2.2), after identifying functions that differ upon a constant.
$$ \frac{1}{|B(x,r)|} \int_{B(x,r)} \bigl\vert b(y)- b_{B}\bigr\vert \,dy < C \biggl(1+\frac {r}{\rho (x)} \biggr)^{\sigma}, $$
(2.2)
(ii)
With the above definition in mind, we define \(\operatorname{BMO}_{\infty}(\rho)=\bigcup_{\sigma>0}\operatorname{BMO}_{\sigma}(\rho)\).
Proposition 2.8
([14])
For
\(0<\sigma<\sigma'\), \(\operatorname{BMO}(\mathbb{R}^{n})\subset \operatorname{BMO}_{\sigma }(\rho )\subset \operatorname{BMO}_{\sigma'}(\rho)\).
Bongioanni, Harboure, and Salinas [14] gave some examples to clarify that \(\operatorname{BMO}(\mathbb{R}^{n})\) is a subspace of \(\operatorname{BMO}_{\infty }(\rho)\).
Lemma 2.9
([14], Proposition 3)
Let
\(\sigma>0\)
and
\(1< p<\infty\). If
\(b\in \operatorname{BMO}_{\sigma}(\rho)\), then for all
\(B=B(x,r)\)
with
\(x\in\mathbb {R}^{n}\)
and
\(r>0\),
where
\(\sigma'=(l_{0}+1)\sigma\)
and
\(l_{0}\)
is the constant appearing in Lemma
2.5.
$$\biggl(\frac{1}{|B|} \int_{B}\bigl\vert b(y)-b_{B}\bigr\vert ^{p}\,dy \biggr)^{\frac {1}{p}}\leq\| b\|_{\sigma} \biggl(1+ \frac{r}{\rho(x)} \biggr)^{\sigma'}, $$
The following result can be deduced from Lemma 2.9 immediately.
Lemma 2.10
([14], Lemma 1)
Let
\(\sigma>0\)
and
\(1< p<\infty\). If
\(b\in\operatorname{BMO}_{\sigma}(\rho)\), \(B=B(x,r)\), and
\(B_{B_{k}}=B(x,2^{k}r)\), then for
\(x\in\mathbb{R}^{n}\)
and
\(r>0\)
with
\(\sigma'=(l_{0}+1)\sigma\),
$$\biggl(\frac{1}{|B_{B_{k}}|} \int_{B_{B_{k}}}\bigl\vert b(y)-b_{B}\bigr\vert ^{p}\,dy \biggr)^{\frac{1}{p}}\leq\|b\|_{\sigma}k \biggl(1+ \frac{2^{k}r}{\rho (x)} \biggr)^{\sigma'}. $$
2.2 Herz spaces
We state some basic knowledge on the Herz spaces. In 1968, in order to study absolutely convergent Fourier transforms, Herz [19] introduced a new class of function spaces \(K_{q}\) which are equivalent to the homogeneous Herz spaces with special exponent. In 1990s, Lu and Yang introduced the homogeneous Herz spaces and non-homogeneous Herz spaces with general indices. By the block decomposition, Lu and Yang obtained many interesting properties of these spaces. We refer the reader to Lu, Yang, and Hu [20] for the details [21‐24] and the references therein.
For \(k\in\mathbb{Z}\), let \(B_{k}=\{x\in\mathbb{R}^{n}:|x|\leq 2^{k}\} \) and \(E_{k}=B_{k}\backslash B_{k-1}\). Denote by \(\chi_{k}\) the characteristic function of \(E_{k}\). Define The Herz spaces are defined as follows.
$$ \widetilde{\chi}_{k}= \textstyle\begin{cases} \chi_{k},& k\in\mathbb{N}, \\ \chi_{B_{0}},& k=0. \end{cases} $$
Definition 2.11
Let \(\alpha\in\mathbb{R}\), \(0< p,q\leq\infty\).
(i)
The homogeneous Herz space \(\dot{K}_{q}^{\alpha ,p}(\mathbb{R}^{n})\) is defined by where
$$ \dot{K}_{q}^{\alpha,p}\bigl(\mathbb{R}^{n}\bigr)= \bigl\{ f\in L_{\mathrm{loc}}^{q}\bigl(\mathbb {R}^{n} \backslash{0}\bigr):\|f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})}< \infty \bigr\} , $$
$$\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}= \biggl\{ \sum_{k\in\mathbb {Z}}2^{k\alpha p} \|f\chi_{k}\|_{L^{q}(\mathbb{R}^{n})} \biggr\} ^{\frac{1}{q}}. $$
(ii)
The non-homogeneous Herz space \(K_{q}^{\alpha,p}(\mathbb {R}^{n})\) is defined by where
$$ K_{q}^{\alpha,p}\bigl(\mathbb{R}^{n}\bigr)= \bigl\{ f\in L_{\mathrm{loc}}^{q}\bigl(\mathbb {R}^{n}\bigr):\|f \|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}< \infty \bigr\} , $$
$$\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}= \Biggl\{ \sum^{\infty }_{k=0}2^{k\alpha p} \|f\widetilde{\chi}_{k}\|_{L^{q}(\mathbb {R}^{n})} \Biggr\} ^{\frac{1}{q}}. $$
Proposition 2.12
([20], Proposition 1.1.2)
Let
\(0< p,q\leq\infty\)
and
\(0<\alpha<\infty\). Then
For
\(f\in{K}_{q}^{\alpha,p}(\mathbb{R}^{n})\),
$$K_{q}^{\alpha,p}\bigl(\mathbb{R}^{n}\bigr)= \dot{K}_{q}^{\alpha,p}\bigl(\mathbb {R}^{n}\bigr)\cap L^{q}\bigl(\mathbb{R}^{n}\bigr). $$
$$\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\approx\|f\|_{\dot {K}_{q}^{\alpha,p}(\mathbb{R}^{n})}+\|f\|_{L^{q}(\mathbb{R}^{n})}. $$
Let X be a function space. We denote by \(X^{\ast}\) the dual of X. For the homogeneous and non-homogeneous Herz spaces, there exist the following dual relations, respectively.
Lemma 2.13
([20], Corollary 1.2.1)
Let
\(\alpha\in\mathbb{R}\), \(0< p<\infty\), and
\(1\leq q<\infty\). Then:
(i)
\((\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n}) )^{\ast }=\dot{K}_{q'}^{-\alpha,p'}(\mathbb{R}^{n})\).
(ii)
\((K_{q}^{\alpha,p}(\mathbb{R}^{n}) )^{\ast }=K_{q'}^{-\alpha,p'}(\mathbb{R}^{n})\).
2.3 Some lemmas
Let \(L=-\Delta+V\) be the Schrödinger operator with \(V\in B_{s}\), \(s\geq \frac{n}{2}\). The heat semigroup associated with L is defined as
$$ T_{t}f(x)=e^{-tL}f(x)= \int_{\mathbb{R}^{n}}K_{t}(x,y)f(y)\,dy,\quad f\in L^{2}\bigl(\mathbb{R}^{n}\bigr), t>0. $$
(2.3)
Lemma 2.14
([25], Theorem 4.10)
Let
\(K_{t}(x,y)\)
be the kernel defined in (2.3). For every nonnegative integer
N, there is a constant
\(C_{N}\)
such that
$$0\leq K_{t}(x,y)\lesssim C_{N}t^{-\frac{n}{2}}\exp \biggl(-\frac{| x-y |^{2}}{5t} \biggr) \bigl(1+\sqrt{t} /\rho(x)+\sqrt{t} /\rho(y) \bigr)^{-N}. $$
For \(0<\beta<\frac{n}{2}\), the fractional integral associated with L is defined by
$$L^{-\beta}f(x)= \int^{\infty}_{0}e^{-tL}f(x)t^{\beta-1} \,dt. $$
The following result is obtained by Tang and Dong [3].
Lemma 2.15
([3])
Suppose
\(V\in B_{s}\), \(s\geq\frac{n}{2}\). For every
\(N\in\mathbb{N}\), there exists a constant
\(C_{N}\)
such that
$$\int_{0}^{\infty}t^{\beta-1}K_{t}(x,y) \,dt\leq\frac{C_{N}}{(1+| x-y|/\rho(x))^{N}}\frac{1}{|x-y|^{n-2\beta}}. $$
Denote by \(K_{\beta}(\cdot, \cdot)\) the kernel of the operator \(T_{\beta }=(-\Delta+V)^{-\beta}V^{\beta}\). The following pointwise estimate of \(K_{\beta}\) is a direct corollary of Lemma 2.15. We omit the details.
Lemma 2.16
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\). For every
\(N\in \mathbb {N}\), there exist constants
\(C_{N}\)
and
\(\delta>0\)
such that for
\(0< h<\frac{|x-y|}{16}\),
and
$$\bigl\vert K_{\beta}(x,y)\bigr\vert \leq\frac{C_{N}}{(1+| x-y|/\rho (x))^{N}} \frac {1}{|x-y|^{n-2\beta}}V^{\beta}(y) $$
$$\bigl\vert K_{\beta}(x+h,y)-K_{\beta}(x,y)\bigr\vert \leq \frac{C_{N}}{(1+| x-y| /\rho (x))^{N}}\frac{|h|^{\delta}}{|x-y|^{n-2\beta+\delta}}V^{\beta}(y). $$
For the sake of convenience, in the sequel, we take N large enough such that \(N/(l_{0}+1)-\sigma(l_{0}+1)-N_{0}\beta>0\), where \(N_{0}\) is the constant in Lemma 2.6.
Lemma 2.17
Suppose that
\(V\in B_{s}\)
with
\(s\geq\frac{n}{2}\). Let
\(x\in E_{k}\), \(y\in E_{j}\).
(a)
If
\(j\leq k-2\), then
\(\frac{1}{(1+|x-y|/\rho(x))^{N}} \leq \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\).
(b)
If
\(j\geq k+2\), then
\(\frac{1}{(1+|x-y|/\rho(x))^{N}} \leq \frac{1}{(1+2^{j}/\rho(0))^{N/(l_{0}+1)}}\).
Proof
We only prove (a), and (b) can be dealt with similarly. For \(x\in E_{k}\) and \(y\in E_{j}\) with \(j\leq k-2\), by a simple computation, we can see that \(|x-y|\sim2^{k}\). By (c) of Lemma 2.5, we have □
$$\begin{aligned} \begin{aligned} \frac{1}{(1+|x-y|/\rho(x))^{N}} &\leq \biggl(\frac{1}{1+|x-y|\frac {1}{\rho(0)(1+|x|/\rho(0))^{l_{0}/l_{0}+1}}} \biggr)^{N} \\ &\leq \biggl(\frac{(1+|x|/\rho(0))^{l_{0}/l_{0}+1}}{(1+|x|/\rho (0))^{l_{0}/l_{0}+1}+|x-y|/\rho(0)} \biggr)^{N} \\ &\leq \biggl(\frac{(1+|x|/\rho(0))^{l_{0}/l_{0}+1}}{1+|x-y|/\rho (0)} \biggr)^{N} \\ &\leq \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}. \end{aligned} \end{aligned}$$
A ball centered at x and with radius \(\rho(x)\) is called critical. In this paper, we use the symbol \(B(x,\rho(x))\) to denote the critical ball. Dziubański and Zienkiewicz [26] gave the following covering lemma.
Lemma 2.18
([26], Lemma 2.3)
There exists a sequence of points
\(\{ x_{k}\}_{k=1}^{\infty}\subset\mathbb{R}^{n}\), such that the family of critical balls
\(\{Q_{k}=B(x_{k},\rho(x_{k}))\}^{\infty}_{k>1}\)
satisfies:
(i)
\(\mathbb{R}^{n}=\bigcup_{k}Q_{k}\).
(ii)
There exists
\(N=N(\rho)\)
such that for every
\(k\in N\),
$$\operatorname{card}\{j:4Q_{j}\cap4Q_{k}\}\leq N. $$
Definition 2.19
Let \(\gamma>0\) and \(\mathfrak{B}_{\rho,\gamma}\) be the set \(\{ B(y,r):y\in\mathbb{R}^{n},r\leq\gamma\rho(y)\}\). For \(f\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})\) and \(x\in\mathbb{R}^{n}\), we define the following two maximal functions: and
$$M_{\rho,\gamma}(f) (x)=\sup_{x\in B\in\mathfrak{B}_{\rho,\gamma }}\frac {1}{|B|} \int_{B}\bigl\vert f(y)\bigr\vert \,dy $$
$$M_{\rho,\gamma}^{\sharp}(f) (x)=\sup_{x\in B\in\mathfrak{B}_{\rho ,\gamma }} \frac{1}{|B|} \int_{B}\bigl\vert f(y)-f_{B}\bigr\vert \,dy. $$
Definition 2.20
Let \(\mathfrak{F}_{Q}\) be the set \(\{B(y,r):y\in\mathbb{R}^{n},r>0\}\) and let Q be a ball in \(\mathbb{R}^{n}\). For \(f\in L^{1}_{\mathrm{loc}}(\mathbb {R}^{n})\) and \(y\in Q\), we define and
$$M_{Q}(f) (x)=\sup_{x\in B\in\mathfrak{F}_{Q}}\frac{1}{|B\cap Q|} \int _{B\cap Q}\bigl\vert f(y)\bigr\vert \,dy $$
$$M_{Q}^{\sharp}(f) (x)=\sup_{x\in B\in\mathfrak{F}_{Q}} \frac {1}{|B\cap Q|} \int_{B\cap Q}\bigl\vert f(y)-f_{B\cap Q}\bigr\vert \,dy. $$
In the proof of Theorem 3.8 below, we need the following Fefferman-Stein type inequality.
Lemma 2.21
([14], Lemma 2)
For
\(1< p<\infty\), there exist
ξ
and
γ
such that if
\(\{ Q_{k}\} _{k=1}^{\infty}\)
is a sequence of the balls as those in Lemma
2.18, then for all
\(f\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})\),
$$\int_{\mathbb{R}^{n}}\bigl\vert M_{\rho,\xi}(f) (x)\bigr\vert ^{p}\,dx\lesssim \int _{\mathbb {R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma}(f) (x) \bigr\vert ^{p}\,dx +\sum_{k}\vert Q_{k}\vert \biggl(\frac{1}{|Q|} \int_{2Q_{k}}\bigl\vert f(x)\bigr\vert \,dx \biggr)^{p}. $$
3 Commutators \([b, T_{\beta}]\) on Herz type spaces
3.1 The boundedness of \([b, T_{\beta}]\) on \(L^{p}(\mathbb {R}^{n})\)
Throughout this paper, for \(p\in(1, \infty)\), denote by \(p'\) the conjugate of p, that is, \(\frac{1}{p}+\frac{1}{p'}=1\). As usual, for \(f\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})\), the p-maximal function \(M_{p}\) is defined as
$$M_{p}f(x)=\sup_{r>0} \biggl(\frac{1}{|B(x,r)|} \int _{B(x,r)}\bigl\vert f(y)\bigr\vert ^{p}\,dy \biggr)^{\frac{1}{p}}. $$
Definition 3.1
Let \(f\in L_{\mathrm{loc}}^{q}(\mathbb{R}^{n})\). The fractional Hardy-Littlewood maximal operator \(M_{\sigma,\gamma}\) is defined by
$$M_{\sigma,\gamma}f(x)=\sup_{x\in B} \biggl(\frac{1}{|B|^{1-\frac {\sigma \gamma}{n}}} \int_{B}\bigl\vert f(y)\bigr\vert ^{\gamma}\,dy \biggr)^{\frac{1}{\gamma}}. $$
Lemma 3.2
([27])
Suppose that
\(1<\gamma<p_{1}<\frac{n}{\sigma}\)
and
\(\frac{1}{p_{2}}=\frac{1}{p_{1}}-\frac{\sigma}{n}\). Then
$$\|M_{\sigma,\gamma}f\|_{L^{p_{2}}(\mathbb{R}^{n})}\lesssim\|f\| _{L^{p_{1}}(\mathbb{R}^{n})}. $$
Now we consider the boundedness of \(T_{\beta}=(-\Delta+V)^{-\beta }V^{\beta}\), \(\beta>0\). The following maximal estimate is obtained by Li, Wan, and Zhang [28].
Lemma 3.3
([28], Theorem 4.8)
Suppose that
\(V\in B_{s}\)
for
\(s>\frac {n}{2}\). Let
\(0<\beta_{2}\leq\beta_{1}<\frac{n}{2}\), \(1<(\frac {s}{\beta _{2}})'<p_{1}<\frac{n}{2(\beta_{1}-\beta_{2})}\)
and
\(\frac {1}{p_{2}}=\frac{1}{p_{1}}-\frac{2\beta_{1}-2\beta_{2}}{n}\). Then
$$\bigl\vert (-\Delta+V)^{-\beta_{1}}V^{\beta_{2}}f(x)\bigr\vert \lesssim M_{2(\beta _{1}-\beta_{2}),(\frac{s}{\beta_{2}})'}f(x). $$
Let \(\beta_{1}=\beta_{2}\). By Lemma 3.3, we can obtain the following results.
Corollary 3.4
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\). Let
\(1<\beta<\frac{n}{2}\).
(i)
For
\(\frac{s}{s-\beta}< p<\infty\), \(T_{\beta}\)
is bounded on
\(L^{p}\).
(ii)
For
\(1< p<\frac{s}{\beta}\), \(T^{\ast}_{\beta}\)
is bounded on
\(L^{p}\).
Now, let \(b\in \operatorname{BMO}_{\sigma}(\rho)\). We consider the \(L^{p}\)-boundedness of the commutator \([b, T_{\beta}]\). We need the following maximal function estimate of \([b, T_{\beta}]\).
Theorem 3.5
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\sigma }(\rho)\), \(0<\sigma<\infty\). If
\(\frac{s}{s-\beta}< p<\infty\), there exists a constant
\(C>0\)
such that, for all
\(f\in L^{p}_{\mathrm{loc}}(\mathbb{R}^{n})\)
and every critical ball
\(Q=B(x_{0},\rho(x_{0}))\),
$$\frac{1}{|Q|} \int_{Q}\bigl\vert [b,T_{\beta}]f(x)\bigr\vert \,dx \leq C\|b\|_{\sigma} \Bigl\{ \inf_{x\in Q}M_{p}f(x)+ \inf_{x\in Q}M_{p}(T_{\beta}f) (x) \Bigr\} . $$
Proof
For any constant a, \(b(x)-b(y)=(b(x)-a)-(b(y)-a)\). Then we have Let \(f\in L^{p}(\mathbb{R}^{n})\) and \(Q=B(x_{0},\rho(x_{0}))\) with \(a=b_{2Q}\). We deal with the average of \(I_{1}\) and \(I_{2}\) on Q, respectively. At first, by Lemma 2.9 and Hölder’s inequality with \(p>\frac {s}{s-\beta}\), we can get For \(I_{2}\), we split \(f=f_{1}+f_{2}\), where \(f_{1}(x)=f(x)\chi _{2Q}(x)\) and \(f_{2}(x)=f(x)\chi_{(2Q)^{c}}(x)\). Take \(p_{0}\in(\frac {s}{s-\beta}, p)\) and denote \(\mu=\frac{p}{p-p_{0}}\). By Corollary 3.4 and Lemma 2.9, we apply Hölder’s inequality to get Next we deal with the term If \(x\in B(x_{0},\rho(x_{0}))\) and \(z\in B(x_{0},2^{j}\rho(x_{0}))\) with \(j\geq2\), then \(|x-z|\sim|x_{0}-z|\). With the help of Lemmas 2.17 and 2.10, we use Hölder’s inequality to deduce that where \(Q_{2^{j+1}}=B(x_{0},2^{j+1}\rho(x_{0}))\), \(\frac{\beta }{s}+\frac {1}{p}+\frac{1}{p_{1}}=1\), and \(N_{1}=N/(l_{0}+1)\) and \(N_{2}=N/(l_{0}+1)-\sigma(l_{0}+1)-N_{0}\beta\).
$$\begin{aligned}{} [b,T_{\beta}]f(x) =& \int_{\mathbb{R}^{n}} \bigl(b(x)-b(y) \bigr)K_{\beta }(x,y)f(y)\,dy \\ =& \bigl(b(x)-a\bigr) \int_{\mathbb{R}^{n}}K_{\beta}(x,y)f(y)\,dy+T_{\beta} \bigl((b-a)f \bigr) (x) \\ =& I_{1}+I_{2}. \end{aligned}$$
$$\begin{aligned} \begin{aligned} \frac{1}{\vert Q\vert } \int_{Q}\vert I_{1}\vert \,dx&\lesssim \frac{1}{\vert Q\vert } \int _{Q}\bigl\vert b(x)-b_{2Q}\bigr\vert \bigl\vert T_{\beta}f(x)\bigr\vert \,dx \\ &\lesssim \biggl\{ \frac{1}{\vert Q\vert } \int_{Q}\bigl\vert b(x)-b_{2Q}\bigr\vert ^{p'}\,dx \biggr\} ^{\frac{1}{p'}} \biggl\{ \frac{1}{\vert Q\vert } \int_{Q}\bigl\vert T_{\beta }f(x)\bigr\vert ^{p}\,dx \biggr\} ^{\frac{1}{p}} \\ &\lesssim \|b\|_{\sigma}\inf_{x\in Q}M_{p}(T_{\beta}f) (x). \end{aligned} \end{aligned}$$
$$\begin{aligned}& \frac{1}{\vert Q\vert } \int_{Q}\bigl\vert T_{\beta} \bigl((b-b_{2Q})f_{1} \bigr) (x)\bigr\vert \,dx \\& \quad \lesssim \biggl(\frac{1}{\vert Q\vert } \int_{Q}\bigl\vert T_{\beta} \bigl((b-b_{2Q})f_{1} \bigr) (x)\bigr\vert ^{p_{0}}\,dx \biggr)^{\frac{1}{p_{0}}} \\& \quad \lesssim \biggl\{ \frac{1}{\vert Q\vert } \int _{2Q}\bigl\vert \bigl(b(x)-b_{2Q}\bigr)f(x) \bigr\vert ^{p_{0}}\,dx \biggr\} ^{\frac{1}{p_{0}}} \\& \quad \lesssim \biggl\{ \frac{1}{\vert Q\vert } \int_{2Q}\bigl\vert f(x)\bigr\vert ^{p}\,dx \biggr\} ^{\frac {1}{p}} \biggl\{ \frac{1}{\vert Q\vert } \int_{2Q}\bigl\vert b(x)-b_{2Q}\bigr\vert ^{\mu p_{0}}\,dx \biggr\} ^{\frac{1}{\mu p_{0}}} \\& \quad \lesssim \|b\|_{\sigma}\inf_{x\in Q}M_{p}(f) (x). \end{aligned}$$
$$\frac{1}{|Q|} \int_{Q}\bigl\vert T_{\beta} \bigl((b-b_{2Q})f_{2} \bigr) (x)\bigr\vert \,dx. $$
$$\begin{aligned}& T_{\beta} \bigl((b-b_{2Q})f_{2} \bigr) (x) \\& \quad \lesssim \int_{\vert x_{0}-z\vert >2\rho(x_{0})}\frac {\vert b(z)-b_{2Q}\vert \vert f(z)\vert V^{\beta}(z)}{ (1+\frac{\vert x_{0}-z\vert }{\rho (x_{0})} )^{N_{1}}\vert x_{0}-z\vert ^{n-2\beta}}\,dz \\& \quad \lesssim \sum^{\infty}_{j=1} \bigl(1+2^{j}\bigr)^{-N_{1}}\frac{1}{\vert 2^{j}\rho (x_{0})\vert ^{n-2\beta}} \int_{2^{j}\rho(x_{0})< \vert x_{0}-z\vert < 2^{j+1}\rho (x_{0})}\bigl\vert b(z)-b_{2Q}\bigr\vert \bigl\vert f(z)\bigr\vert V^{\beta}(z)\,dz \\& \quad \lesssim \sum^{\infty}_{j=1} \bigl(1+2^{j}\bigr)^{-N_{1}}\frac{\vert 2^{j+1}\rho (x_{0})\vert ^{n}}{\vert 2^{j}\rho(x_{0})\vert ^{n-2\beta}} \biggl\{ \frac{1}{\vert Q_{2^{j+1}}\vert } \int _{Q_{2^{j+1}}}\bigl\vert b(z)-b_{2Q}\bigr\vert ^{p_{1}}\,dz \biggr\} ^{\frac{1}{p_{1}}} \\& \qquad {} \times \biggl\{ \frac{1}{\vert Q_{2^{j+1}}\vert } \int _{Q_{2^{j+1}}}\bigl\vert f(z)\bigr\vert ^{p}\,dz \biggr\} ^{\frac{1}{p}} \biggl\{ \frac{1}{\vert Q_{2^{j+1}}\vert } \int_{Q_{2^{j+1}}}\bigl\vert V(z)\bigr\vert ^{s}\,dz \biggr\} ^{\frac{\beta}{s}} \\& \quad \lesssim \sum^{\infty}_{j=1}j \bigl(1+2^{j}\bigr)^{-N_{2}}\frac{\vert 2^{j}\rho (x_{0})\vert ^{(n-2)\beta}}{ \vert 2^{j}\rho(x_{0})\vert ^{-2\beta }\vert Q_{2^{j}}\vert ^{\beta}} \|b \|_{\sigma}\inf_{y\in Q}M_{p}(f) (y) \\& \quad \lesssim \|b\|_{\sigma}\inf_{y\in Q}M_{p}(f) (y), \end{aligned}$$
Remark 3.6
Lemma 3.7
Let
\(V\in B_{s}\), \(s\geq\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\sigma}(\rho)\), \(0<\sigma<\infty\). Then for any
\(p>\frac{s}{s-\beta}\)
and
\(\gamma \geq 1\), there exists a constant C such that for all
f
and
\(x,y\in B=B(x_{0},r)\)
with
\(r<\gamma\rho(x_{0})\),
$$\int_{(2B)^{c}}\bigl\vert K(x,z)-K(y,z)\bigr\vert V^{\beta}(z)\bigl\vert b(z)-b_{B}\bigr\vert \bigl\vert f(z)\bigr\vert \,dz\leq C\| b\|_{\sigma}\inf_{u\in B}M_{p}f(u). $$
Proof
Write \(E_{j}=B(x_{0},2^{j+1}r)\backslash B(x_{0},2^{j}r)\). For \(x\in B(x_{0},r)\) and \(z\in E_{j}\), we have \(|x-z|\sim|x_{0}-z|\). With the help of Lemmas 2.17, 2.10 and 2.6, we obtain where \(N_{1}=N/(l_{0}+1)\) and \(N_{2}=N/(l_{0}+1)-\sigma (l_{0}+1)-N_{0}\beta\). Taking N large enough, we complete the proof of Lemma 3.7. □
$$\begin{aligned}& \int_{(2B)^{c}}\bigl\vert K(x,z)-K(y,z)\bigr\vert V^{\beta}(z)\bigl\vert b(z)-b_{B}\bigr\vert \bigl\vert f(z)\bigr\vert \,dz \\& \quad \lesssim\sum^{\infty}_{j=1} \int_{E_{j}}\frac {\vert b(z)-b_{B}\vert \vert f(z)\vert V^{\beta}(z)\vert r\vert ^{\delta}}{ (1+\frac {\vert x-z_{0}\vert }{\rho(x_{0})} )^{N_{1}}\vert x-z_{0}\vert ^{n-2\beta+\delta }}\,dz \\& \quad \lesssim\sum^{\infty}_{j=1} \frac{1}{ (1+\frac{2^{j}r}{\rho (x_{0})} )^{N_{1}}}\frac{\vert r\vert ^{\delta}}{(2^{j}r)^{n-2\beta +\delta }} \int_{E_{j}}\bigl\vert b(z)-b_{B}\bigr\vert \bigl\vert f(z)\bigr\vert V^{\beta}(z)\,dz \\& \quad \lesssim\sum^{\infty}_{j=1} \frac{j2^{-j\delta}}{ (1+\frac {2^{j}r}{\rho(x_{0})} )^{N_{2}}} \|b\|_{\sigma}\inf_{z\in Q}M_{p}(f) (z) \\& \quad \lesssim\|b\|_{\sigma}\inf_{z\in Q}M_{p}(f) (z), \end{aligned}$$
With the help of Lemma 3.7, we can obtain the \(L^{p}\)-boundedness of \([b, T_{\beta}]\). Denote by \(T_{\beta}'\) the dual operator of \(T_{\beta}\). We have the following.
Theorem 3.8
Let
\(V\in B_{s}\), \(s\geq\frac{n}{2}\), and let
\(b\in \operatorname{BMO}_{\sigma }(\rho )\), \(0<\sigma<\infty\).
(i)
If
\(1<\beta<\frac{n}{2}\), \(\frac{s}{s-\beta }< p<\infty\), then
$$\bigl\Vert [b,T_{\beta}]f\bigr\Vert _{L^{p}(\mathbb{R}^{n})}\lesssim\|b \|_{\sigma}\| f\| _{L^{p}(\mathbb{R}^{n})}. $$
(ii)
If
\(1<\beta<\frac{n}{2}\), \(1< p<\frac{s}{\beta}\), then
$$\bigl\Vert \bigl[b,T^{\ast}_{\beta}\bigr]f\bigr\Vert _{L^{p}(\mathbb{R}^{n})}\lesssim\|b\| _{\sigma }\|f\|_{L^{p}(\mathbb{R}^{n})}. $$
Proof
We only prove (i), and (ii) follows by duality. For \(f\in L^{p}(\mathbb{R}^{n})\), \(\frac{s}{s-\beta}< p<\infty\), by Theorem 3.5, we can see that \([b, T_{\beta}]f \in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})\). By Theorem 3.5, Lemma 3.7, and Remark 3.6, we have where the last but one inequality is due to Lemma 2.18, and the boundedness of \(M_{p}\) in \(L^{q}(\mathbb{R}^{n})\) for \(p< q\). Next, we consider the term We have \([b,T_{\beta}]f(x)=:B_{1}(x)+B_{2}(x)\), where This gives where and For \(A_{1}\), let \(p>\frac{s}{s-\beta}\). Because \(r<\gamma\rho(x_{0})\), by Hölder’s inequality and Lemma 2.9, we have
$$\begin{aligned} \bigl\Vert [b,T_{\beta}]f\bigr\Vert _{L^{q}(\mathbb{R}^{n})}^{q} \lesssim& \int_{\mathbb{R}^{n}}\bigl\vert M_{\rho,\xi}\bigl([b,T_{\beta }]f \bigr) (x)\bigr\vert ^{q}\,dx \\ \lesssim& \int_{\mathbb{R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma } \bigl([b,T_{\beta }]f\bigr) (x)\bigr\vert ^{q}\,dx+\sum _{k}\vert Q_{k}\vert \biggl( \frac{1}{\vert Q_{k}\vert } \int _{2Q_{k}}\bigl\vert [b,T_{\beta}]f(x)\bigr\vert \,dx \biggr)^{q} \\ \lesssim& \int_{\mathbb{R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma } \bigl([b,T_{\beta }]f\bigr) (x)\bigr\vert ^{q}\,dx \\ &{}+\|b \|_{\sigma} \biggl(\sum_{k} \int_{2Q_{k}}\bigl\vert M_{p}f(x)\bigr\vert ^{q}\,dx+\sum_{k} \int _{2Q_{k}}\bigl\vert M_{p}(T_{\beta}f) (x) \bigr\vert ^{q}\,dx \biggr) \\ \lesssim& \int_{\mathbb{R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma } \bigl([b,T_{\beta }]f\bigr) (x)\bigr\vert ^{q}\,dx +\|b \|_{\sigma} \bigl(\|f\|^{q}_{L^{q}(\mathbb{R}^{n})}+\|T_{\beta }f\| ^{q}_{L^{q}(\mathbb{R}^{n})} \bigr) \\ \lesssim& \int_{\mathbb{R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma } \bigl([b,T_{\beta }]f\bigr) (x)\bigr\vert ^{q}\,dx+\|b \|_{\sigma}\|f\|^{q}_{L^{q}(\mathbb{R}^{n})}, \end{aligned}$$
$$\int_{\mathbb{R}^{n}}\bigl\vert M^{\sharp}_{\rho,\gamma} \bigl([b,T_{\beta}]f\bigr) (x)\bigr\vert ^{q}\,dx. $$
$$ \textstyle\begin{cases} B_{1}(x)=:(b(x)-b_{B})T_{\beta}f(x), \\ B_{2}(x)=:T_{\beta} ((b-b_{B})f )(x). \end{cases} $$
$$\begin{aligned}& \frac{1}{|B|} \int_{B}\bigl\vert [b,T_{\beta}]f(x)-\bigl([b, T_{\beta}]f\bigr)_{B}\bigr\vert \,dx \\& \quad \lesssim\frac{1}{|B|} \int_{B}\bigl\vert B_{1}(x)-(B_{1})_{B} \bigr\vert \,dx+\frac {1}{|B|} \int_{B}\bigl\vert B_{2}(x)-(B_{2})_{B} \bigr\vert \,dx \\& \quad =: A_{1}+A_{2}, \end{aligned}$$
$$A_{1}=\frac{1}{|B|} \int_{B}\bigl\vert B_{1}(x)-(B_{1})_{B} \bigr\vert \,dx $$
$$A_{2}=\frac{1}{|B|} \int_{B}\bigl\vert B_{2}(x)-(B_{2})_{B} \bigr\vert \,dx. $$
$$ A_{1} \lesssim \|b\|_{\sigma}M_{p}(T_{\beta}f) (x). $$
For \(A_{2}\), let \(x\in\mathbb{R}^{n}\) and \(B=B(x_{0},r)\) with \(r<\gamma \rho(x_{0})\) such that \(x\in B\). We split \(f =f_{1} +f_{2} \) with \(f_{1}=f\chi_{2B}\). Hence we can divide \(A_{2}\) into two parts as where and Take \(p_{0}\in(\frac{s}{s-\beta}, p)\) and let \(\mu=\frac{p}{p-p_{0}}\). Applying Corollary 3.4 and Hölder’s inequality, we can get For \(A_{2,2}\), by Lemma 3.7, we have Therefore, we get Finally, by the \(L^{p}(\mathbb{R}^{n})\) boundedness of \(M_{p}\), we obtain This completes the proof of Theorem 3.8. □
$$A_{2}=\frac{1}{\vert B\vert } \int_{B}\bigl\vert B_{2}(x)-(B_{2})_{B} \bigr\vert \,dx=:A_{2,1}+A_{2,2}, $$
$$A_{2,1}=\frac{1}{|B|} \int_{B}\bigl\vert T_{\beta} \bigl((b-b_{B})f_{1} \bigr) (x)-\bigl(T_{\beta}(b-b_{B})f_{1} \bigr)_{B}\bigr\vert \,dx $$
$$A_{2,2}=\frac{1}{|B|} \int_{B}\bigl\vert T_{\beta} \bigl((b-b_{B})f_{2} \bigr) (x)-\bigl(T_{\beta}(b-b_{B})f_{2} \bigr)_{B}\bigr\vert \,dx. $$
$$\begin{aligned} A_{2,1} \lesssim&\frac{1}{\vert B\vert } \int_{B}\bigl\vert T_{\beta} \bigl((b-b_{B})f_{1} \bigr) (x)\bigr\vert \,dx \\ \lesssim& \biggl\{ \frac{1}{\vert B\vert } \int_{B}\bigl\vert T_{\beta} \bigl((b-b_{B})f_{1} \bigr) (x)\bigr\vert ^{p_{0}}\,dx \biggr\} ^{\frac{1}{p_{0}}} \\ \lesssim& \biggl\{ \frac{1}{\vert B\vert } \int _{2B}\bigl\vert \bigl(b(x)-b_{B} \bigr)f_{1}(x)\bigr\vert ^{p_{0}}\,dx \biggr\} ^{\frac{1}{p_{0}}} \\ \lesssim& \biggl\{ \frac{1}{\vert B\vert } \int_{2B}\bigl\vert b(x)-b_{B}\bigr\vert ^{\mu p_{0}}\,dx \biggr\} ^{\frac{1}{\mu p_{0}}} \biggl\{ \frac{1}{\vert B\vert } \int _{2B}\bigl\vert f(x)\bigr\vert ^{p}\,dx \biggr\} ^{\frac{1}{p}} \\ \lesssim&\|b\|_{\sigma}M_{p}(f) (x). \end{aligned}$$
$$\begin{aligned} A_{2,2} \lesssim&\frac{1}{|B|^{2}} \int \int_{B}\bigl\vert T_{\beta} \bigl((b-b_{B})f_{2} \bigr) (u)-T_{\beta} \bigl((b-b_{B})f_{2} \bigr) (y) \bigr\vert \,du\,dy \\ \lesssim&\|b\|_{\sigma}M_{p}(f) (x). \end{aligned}$$
$$\bigl\vert M^{\sharp}_{\rho,\gamma}\bigl([b,T_{\beta}]f\bigr) (x)\bigr\vert \,dx\lesssim\|b\| _{\sigma } \bigl\{ M_{p}(T_{\beta}f) (x)+M_{p}(f) (x) \bigr\} . $$
$$\bigl\Vert M^{\sharp}_{\rho,\gamma}\bigl([b,T_{\beta}]f\bigr) \bigr\Vert _{L^{q}}\lesssim\|b\| _{\sigma}\|f\|_{L^{q}}. $$
3.2 The boundedness of \([b, T_{\beta}]\) on Herz spaces
Theorem 3.9
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\). Let
\(0<\beta<\frac{n}{2}\), \(0< p<\infty\), and
\(\frac{s}{s-\beta }< q<\infty \). If
\(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{2\beta}{n})\), then
$$\|T_{\beta}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\| f\| _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}. $$
Proof
We write which gives For \(M_{2}\), by Corollary 3.4, we have Now we estimate \(M_{1}\). Via a simple computation, for \(x\in E_{k}\) and \(y\in E_{j}\) with \(j\leq k-2\), we can deduce that \(|x-y|\sim2^{k}\). By Lemmas 2.17, 2.16, and 2.6, we use Hölder’s inequality to obtain
$$f(y)=\sum^{\infty}_{j=-\infty}f(y) \chi_{E_{j}}(y)=\sum^{\infty }_{j=-\infty}f_{j}(y), $$
$$\begin{aligned} \|T_{\beta}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p} \lesssim& \sum ^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum ^{k-2}_{j=-\infty}\|\chi_{k}T_{\beta}f_{j} \|_{L^{q}(\mathbb {R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|\chi _{k}T_{\beta}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{\infty }_{j=k+2}\| \chi_{k}T_{\beta}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ =& M_{1}+M_{2}+M_{3}. \end{aligned}$$
$$M_{2}\lesssim\sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p}\lesssim\| f\| _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p}. $$
$$\begin{aligned} \begin{aligned} \|\chi_{k}T_{\beta}f_{j}\|_{L^{q}(\mathbb{R}^{n})} &= \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}K(x,y)f(y)\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\ &\lesssim \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac {1}{(2^{k})^{n-2\beta}} \biggl( \int_{E_{k}}\biggl| \int_{E_{j}}\bigl\vert V^{\beta }(y)f(y)\bigr\vert \,dy\biggr|^{q}\,dx \biggr)^{\frac{1}{q}} \\ &\lesssim \frac{(\int_{E_{j}}V(y)\,dy)^{\beta}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)}}\frac{|E_{j}|^{1-\frac{1}{q}-\beta }}{|E_{k}|^{1-\frac {1}{q}-\frac{2\beta}{n}}}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \\ &\lesssim \frac{\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-N_{0}\beta}}\frac{|E_{j}|^{1-\frac{1}{q}-\frac {2\beta }{n}}}{|E_{k}|^{1-\frac{1}{q}-\frac{2\beta}{n}}}. \end{aligned} \end{aligned}$$
Take N large enough. For \(-\frac{n}{q}<\alpha<n(-\frac {1}{q}+1-\frac {2\beta}{n})\), we have We divide the estimate of \(M_{1}\) into two cases.
$$\begin{aligned} M_{1} \lesssim& \sum^{\infty}_{k=-\infty} 2^{k\alpha p} \Biggl\{ \sum^{k-2}_{j=-\infty}2^{(j-k)n(1-\frac{1}{q}-\frac{2\beta}{n})} \| f_{j}\| _{L^{q}(\mathbb{R}^{n})} \Biggr\} ^{p} \\ \lesssim& \sum^{\infty}_{k=-\infty} \Biggl\{ \sum ^{k-2}_{j=-\infty}2^{(j-k)n(1-\frac{1}{q}-\frac{2\beta }{n}-\frac{\alpha}{n})}2^{j\alpha} \|f_{j}\|_{L^{q}(\mathbb {R}^{n})} \Biggr\} ^{p}. \end{aligned}$$
Case 1: \(p\leq1\). By the p-triangle inequality we have
$$ \Biggl(\sum^{\infty}_{k=-\infty}|a_{k}| \Biggr)^{r}\leq\sum^{\infty }_{k=-\infty}|a_{k}|^{r}, \quad 0< r< 1, $$
(3.1)
$$\begin{aligned} M_{1} \lesssim& \sum^{\infty}_{k=-\infty} \sum^{k-2}_{j=-\infty}2^{(j-k)np(1-\frac{1}{q}-\frac{2\beta }{n}-\frac {\alpha}{n})}2^{j\alpha p} \|f_{j}\|^{p}_{L^{q}(\mathbb {R}^{n})} \\ \lesssim& \sum^{\infty}_{j=-\infty} 2^{j\alpha p}\|f_{j}\|^{p}_{L^{q}(\mathbb{R}^{n})} \\ \lesssim& \|f\|^{p}_{\dot{K}_{q}^{\alpha, p}(\mathbb {R}^{n})}. \end{aligned}$$
Case 2: \(p>1\). By the Hölder inequality, we can get For \(M_{3}\), note that when \(x\in E_{k}\), \(y\in E_{j}\), and \(j\geq k+2\), then \(|x-y|\sim2^{j}\). Similar to \(M_{1}\), we have Because \(-\frac{n}{q}<\alpha<n(-\frac{1}{q}+1-\frac{2\beta}{n})\), we use (3.1) and Hölder’s inequality to obtain Finally, we get □
$$\begin{aligned} M_{1} \lesssim& \sum^{\infty}_{k=-\infty} \Biggl\{ \Biggl(\sum^{k-2}_{j=-\infty }2^{\frac{1}{2}(j-k)np'(1-\frac{1}{q}-\frac{2\beta}{n}-\frac {\alpha }{n})} \Biggr)^{\frac{1}{p'}} \\ &{}\times \Biggl(\sum^{k-2}_{j=-\infty}2^{\frac{1}{2}(j-k)np(1-\frac {1}{q}-\frac {2\beta}{n}-\frac{\alpha}{n})}2^{j\alpha p } \|f_{j}\| ^{p}_{L^{q}(\mathbb {R}^{n})} \Biggr)^{\frac{1}{p}} \Biggr\} ^{p} \\ \lesssim& \sum^{\infty}_{j=-\infty} 2^{j\alpha p }\sum^{\infty }_{k=j+2}2^{\frac{1}{2}(j-k)np(1-\frac{1}{q}-\frac{2\beta}{n}-\frac {\alpha}{n})} \|f_{j}\|^{p}_{L^{q}(\mathbb{R}^{n})} \\ \lesssim& \|f\|^{p}_{\dot{K}_{q}^{\alpha, p}(\mathbb {R}^{n})}. \end{aligned}$$
$$\begin{aligned} \|\chi_{k}T_{\beta}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \lesssim& \frac{1}{(1+2^{j}/\rho(0))^{N/(l_{0}+1)}}\frac {1}{(2^{j})^{n-2\beta}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert V^{\beta }f(y)\bigr\vert \,dy \biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\ \lesssim& \frac{|E_{k}|^{\frac{1}{q}}|E_{j}|^{-\frac{1}{q}}\| f_{j}\| _{L^{q}(\mathbb{R}^{n})}}{(1+2^{j}/\rho(0))^{{N/(l_{0}+1)-N_{0}\beta}}}. \end{aligned}$$
$$ M_{3} \lesssim \sum^{\infty}_{k=-\infty} \Biggl\{ \sum^{\infty}_{j=k+2}2^{(k-j)n(\frac{1}{q}+\frac{\alpha }{n})}2^{j\alpha} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr\} ^{p} \lesssim\|f \|^{p}_{\dot{K}_{q}^{\alpha, p}(\mathbb{R}^{n})}. $$
$$\|T_{\beta}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\| f\| _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}. $$
Theorem 3.10
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\sigma }(\rho )\), \(0<\sigma<\infty\). If
\(0<\beta<\frac{n}{2}\), \(0< p<\infty\), and
\(\frac{s}{s-\beta }< q<\infty \)
with
\(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{2\beta}{n})\), then
$$\bigl\Vert [b,T_{\beta}]f\bigr\Vert _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim \| b \|_{\sigma}\|f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}. $$
Proof
We write Hence, we have For \(\widetilde{M}_{2}\), by Theorem 3.8, we have Now we estimate \(\widetilde{M}_{1}\). We write \(b(x)-b(y)=(b(x)-b_{B_{j}})-(b(y)-b_{B_{j}})\) and get Because \(x\in E_{k}\), \(y\in E_{j}\), and \(j\leq k-2\), we deduce that \(|x-y|\sim2^{k}\). By Lemmas 2.16 and 2.17, we have Using Lemmas 2.6 and 2.10 and the Hölder inequality, we have For the term \(\widetilde{M}_{1,2}\), we use Hölder’s inequality to obtain which gives The above estimate implies that Take N large enough. Because \(-\frac{n}{q}<\alpha<n(-\frac {1}{q}+1-\frac{2\beta}{n})\), we obtain We still divide the proof into two cases.
$$f(y)=\sum^{\infty}_{j=-\infty}f(y) \chi_{E_{j}}(y)=\sum^{\infty }_{j=-\infty}f_{j}(y). $$
$$\begin{aligned} \bigl\Vert [b,T_{\beta}]f\bigr\Vert _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p} \lesssim& \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}\bigl\Vert \chi_{k}[b,T_{\beta}]f_{j}\bigr\Vert _{L^{q}(\mathbb {R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\bigl\Vert \chi _{k}[b,T_{\beta}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{\infty }_{j=k+2}\bigl\Vert \chi_{k}[b,T_{\beta}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ =& \widetilde{M}_{1}+\widetilde{M}_{2}+ \widetilde{M}_{3}. \end{aligned}$$
$$\widetilde{M}_{2}\lesssim\sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p}\lesssim \|f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p}. $$
$$\begin{aligned} \bigl\Vert \chi_{k}[b,T_{\beta}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} =& \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}} \bigl(b(x)-b(y) \bigr)K_{\beta }(x,y)f(y)\,dy \biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\ \lesssim& \biggl( \int_{E_{k}}\bigl\vert \bigl(b(x)-b_{B_{j}} \bigr)T_{\beta }(f_{j}) (x)\bigr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\ &{}+|E_{k}|^{\frac{1}{q}} \bigl\Vert T_{\beta} \bigl((b-b_{B_{j}})f_{j} \bigr)\bigr\Vert _{L^{q}(E_{k})} \\ \lesssim& \widetilde{M}_{1,1}+\widetilde{M}_{1,2}. \end{aligned}$$
$$\begin{aligned} T_{\beta}(f_{j}) (x) \lesssim& \frac{1}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)}} \frac{1}{(2^{k})^{n-2\beta}} \int_{E_{j}}V^{\beta}(y)\bigl\vert f(y)\bigr\vert \,dy. \end{aligned}$$
$$\begin{aligned} \widetilde{M}_{1,1} \lesssim& \frac{ (\int _{E_{k}}|b(x)-b_{B_{j}}|^{q}\,dx )^{\frac{1}{q}}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)}}\frac{1}{(2^{k})^{n-2\beta}} \int_{E_{j}}V^{\beta}(y)\bigl\vert f(y)\bigr\vert \,dy \\ \lesssim&\frac{(k-j)\|b\|_{\sigma}(\int_{E_{j}}V(y)\,dy)^{\beta }}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)-(l_{0}+1)\sigma}} \frac{|E_{j}|^{1-\frac{1}{q}-\beta}}{|E_{k}|^{1-\frac{1}{q}-\frac {2\beta }{n}}}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \\ \lesssim&\frac{(k-j)2^{(j-k)n(1-\frac{1}{q}-\frac{2\beta}{n})}\| b\| _{\sigma}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma-N_{0}\beta}}. \end{aligned}$$
$$\begin{aligned}& \int_{E_{j}}\bigl\vert b(y)-b_{B_{j}}\bigr\vert V^{\beta}(y)\bigl\vert f(y)\bigr\vert \,dy \\& \quad \lesssim \|b \|_{\sigma}\bigl(1+2^{j}/\rho(0)\bigr)^{(l_{0}+1)\sigma}\| f_{j}\| _{L^{q}(\mathbb{R}^{n})}\biggl(\frac{1}{|E_{j}|} \int _{E_{j}}\bigl|V(y)\bigr|^{s}\,dy\biggr)^{\frac{\beta}{s}} |E_{j}|^{1-\frac{1}{q}} \\& \quad \lesssim \|b\|_{\sigma}\bigl(1+2^{j}/\rho(0) \bigr)^{(l_{0}+1)\sigma}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})}\biggl( \int_{E_{j}}\bigl\vert V(y)\bigr\vert \,dy \biggr)^{\beta }|E_{j}|^{1-\frac {1}{q}-\beta}, \end{aligned}$$
$$ \bigl\vert T_{\beta}\bigl((b-b_{B_{j}})f\bigr) (x)\bigr\vert \lesssim \frac{\|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}|E_{j}|^{1-\frac {1}{q}-\frac{2\beta}{n}}}{(1+2^{j}/\rho(0))^{-(l_{0}+1)\sigma -N_{0}\beta }}. $$
$$\begin{aligned} \widetilde{M}_{1,2} \lesssim& \frac{1}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)}}\frac{|E_{k}|^{\frac{1}{q}}}{(2^{k})^{n-2\beta }} \frac {\|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}|E_{j}|^{1-\frac {1}{q}-\frac{2\beta}{n}}}{(1+2^{j}/\rho(0))^{-(l_{0}+1)\sigma -N_{0}\beta }} \\ \lesssim&\frac{2^{(j-k)n(1-\frac{1}{q}-\frac{2\beta}{n})}\|b\| _{\sigma }\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma-N_{0}\beta}}. \end{aligned}$$
$$\begin{aligned} \widetilde{M}_{1} \lesssim& \|b\|_{\sigma}^{p}\sum ^{\infty}_{k=-\infty} \Biggl\{ \sum ^{k-2}_{j=-\infty}(k-j)2^{(j-k)n(1-\frac{1}{q}-\frac{2\beta}{n})}\| f_{j} \|_{L^{q}(\mathbb{R}^{n})} \Biggr\} ^{p} \\ \lesssim& \|b\|_{\sigma}^{p}\sum^{\infty}_{k=-\infty} \Biggl\{ \sum^{k-2}_{j=-\infty}(k-j)2^{(j-k)n(1-\frac{1}{q}-\frac {2\beta }{n}-\frac{\alpha}{n})}2^{j\alpha} \|f_{j}\|_{L^{q}(\mathbb {R}^{n})} \Biggr\} ^{p}. \end{aligned}$$
Case 1: \(p\leq1\). By the inequality (3.1) we have
$$\begin{aligned} \begin{aligned} \widetilde{M}_{1} &\lesssim \|b\|_{\sigma}^{p}\sum ^{\infty}_{k=-\infty} \sum ^{k-2}_{j=-\infty}(k-j)^{p}2^{(j-k)np(1-\frac{1}{q}-\frac {2\beta }{n}-\frac{\alpha}{n})}2^{j\alpha p} \|f_{j}\|^{p}_{L^{q}(\mathbb {R}^{n})} \\ &\lesssim \|b\|_{\sigma}^{p}\sum^{\infty}_{j=-\infty} 2^{j\alpha p}\|f_{j}\|^{p}_{L^{q}(\mathbb{R}^{n})} \\ &\lesssim \|b\|_{\sigma}^{p}\|f\|^{p}_{\dot{K}_{q}^{\alpha, p}(\mathbb {R}^{n})}. \end{aligned} \end{aligned}$$
Case 2: \(p>1\). The Hölder inequality implies that For \(\widetilde{M}_{3}\), note that when \(x\in E_{k}\), \(y\in E_{j}\), and \(j\geq k+2\), then \(|x-y|\sim2^{j}\). Similar to Theorem 3.9, using the following decomposition: \(b(x)-b(y)=(b(x)-b_{B_{k}})-(b(y)-b_{B_{k}})\), we can get Since N is large enough and \(-\frac{n}{q}<\alpha<n(-\frac {1}{q}+1-\frac{2\beta}{n})\), we obtain Similar to \(\widetilde{M}_{1}\), we have \(\widetilde{M}_{3}\lesssim\|b\|_{\sigma}^{p}\|f\|^{p}_{\dot {K}_{q}^{\alpha, p}(\mathbb{R}^{n})}\). Finally, we get □
$$\begin{aligned} \widetilde{M}_{1} \lesssim& \|b\|_{\sigma}^{p}\sum ^{\infty}_{k=-\infty} \Biggl\{ \Biggl(\sum ^{k-2}_{j=-\infty}(k-j)^{p'}2^{\frac{1}{2}(j-k)np'(1-\frac {1}{q}-\frac {2\beta}{n}-\frac{\alpha}{n})} \Biggr)^{\frac{1}{p'}} \\ &{}\times\Biggl(\sum^{k-2}_{j=-\infty}2^{\frac{1}{2}(j-k)np(1-\frac {1}{q}-\frac {2\beta}{n}-\frac{\alpha}{n})}2^{j\alpha p } \|f_{j}\| ^{p}_{L^{q}(\mathbb {R}^{n})} \Biggr)^{\frac{1}{p}} \Biggr\} ^{p} \\ \lesssim& \|b\|_{\sigma}^{p}\sum^{\infty}_{j=-\infty} 2^{j\alpha p }\sum^{\infty}_{k=j+2}2^{\frac{1}{2}(j-k)np(1-\frac{1}{q}-\frac {2\beta }{n}-\frac{\alpha}{n})} \|f_{j}\|^{p}_{L^{q}(\mathbb {R}^{n})} \\ \lesssim& \|b\|_{\sigma}^{p}\|f\|^{p}_{\dot{K}_{q}^{\alpha, p}(\mathbb {R}^{n})}. \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \chi_{k}[b,T_{\beta}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \\& \quad \lesssim\frac{1}{(1+2^{j}/\rho(0))^{N/(l_{0}+1)}}\frac {1}{(2^{j})^{n-2\beta}} \biggl( \int_{E_{k}} \biggl[ \int_{E_{j}}\bigl\vert b(x)-b(y)\bigr\vert V^{\beta } \bigl\vert f(y)\bigr\vert \,dy \biggr]^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad \lesssim\frac{(j-k)\|b\|_{\sigma}}{(1+2^{j}/\rho (0))^{{N/(l_{0}+1)-(l_{0}+1)\sigma-N_{0}\beta}}}|E_{k}|^{\frac {1}{q}}|E_{j}|^{-\frac{1}{q}} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}. \end{aligned}$$
$$ \widetilde{M}_{3} \lesssim \|b\|_{\sigma}^{p}\sum ^{\infty }_{k=-\infty} \Biggl\{ \sum ^{\infty}_{j=k+2}(j-k)2^{(k-j)n(\frac{1}{q}+\frac {\alpha }{n})}2^{j\alpha} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr\} ^{p}. $$
$$\bigl\Vert [b, T_{\beta}]f\bigr\Vert _{\dot{K}_{q}^{\alpha, p}(\mathbb {R}^{n})}\lesssim\| b \|_{\sigma}\|f\|_{\dot{K}_{q}^{\alpha, p}(\mathbb{R}^{n})}. $$
Let \(T_{\beta}'\) be the dual operator of \(T_{\beta}\). By the duality of Herz spaces, we have the following corollary of Theorem 3.10.
Corollary 3.11
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\sigma }(\rho)\), \(0<\sigma<\infty\). If
\(0<\beta<\frac{n}{2}\), \(0< p<\infty\), \(1< q<\frac{s}{\beta}\)
with
\(n(-\frac{1}{q}+\frac{2\beta}{n})<\alpha<n(1-\frac{1}{q})\), then
(a)
\(\|T'_{\beta}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})}\lesssim\|f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\);
(b)
\(\|[b, T'_{\beta}]f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})}\lesssim\|b\|_{\sigma}\|f\|_{\dot{K}_{q}^{\alpha ,p}(\mathbb{R}^{n})}\).
With the help of Lemma 2.12, we can get some similar results to Theorem 3.9, 3.10 and Corollary 3.11 for the non-homogeneous Herz spaces \(K_{q}^{\alpha, p}(\mathbb{R}^{n})\).
Theorem 3.12
Suppose that
\(V\in B_{s}\), \(s\geq\frac{n}{2}\)
and
\(b\in \operatorname{BMO}_{\sigma }(\rho)\), \(0<\sigma<\infty\). Let
\(0<\beta<\frac{n}{2}\)
and
\(0< p<\infty\).
(1)
If
\(\frac{s}{s-\beta}< q<\infty\), \(-\frac {n}{q}<\alpha <n(1-\frac{1}{q}-\frac{2\beta}{n})\), then
$$ \textstyle\begin{cases} \|T_{\beta}f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|f\| _{K_{q}^{\alpha,p}(\mathbb{R}^{n})}, \\ \|[b,T_{\beta}]f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|b\| _{\sigma}\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}. \end{cases} $$
(2)
If
\(1< q<\frac{s}{\beta}\), \(n(-\frac{1}{q}+\frac {2\beta }{n})<\alpha<n(1-\frac{1}{q})\), then
$$ \textstyle\begin{cases} \|T'_{\beta}f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|f\| _{K_{q}^{\alpha,p}(\mathbb{R}^{n})}, \\ \|[b, T'_{\beta}]f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|b\| _{\sigma}\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}. \end{cases} $$
4 Commutators \([b, R_{L}]\) on Herz type spaces
In this section, let \(R_{L}=\nabla(-\Delta+V)^{-1/2}\) be the Riesz transform associated to Schrödinger operators \(L=-\Delta+V\) with \(V\in B_{s}\), \(s>n/2\). For \(b\in \operatorname{BMO}_{\sigma}(\rho)\), we consider the boundedness of \(R_{L}\) and the commutator \([b, R_{L}]\) on the Herz spaces, respectively. Denote by \(K_{R_{L}}\) the kernel of \(R_{L}\), that is, By the fundamental solution of L, Shen [1] obtained the following estimate of \(K_{R_{L}}\).
$$R_{L}(f) (x)= \int K_{R_{L}}(x,y)f(y)\,dy. $$
Lemma 4.1
([1], Section 5)
Suppose
\(V\in B_{s}\), \(s>\frac{n}{2}\). Then for every
N, there exists a constant
\(C_{N}>0\)
such that
$$ \bigl\vert K_{R_{L}}(x,y)\bigr\vert \leq\frac{C_{N}}{(1+|x-y|/\rho(x))^{N}} \biggl( \frac {1}{|x-y|^{n-1}} \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy+\frac {1}{|x-y|^{n}} \biggr). $$
Let \(R'_{L}=(-\Delta+V)^{-1/2}V^{1/2}\) be the dual operator of \(R_{L}\). By Lemma 4.1, Shen proved that the operator \(R_{L}\) is bounded on \(L^{p}(\mathbb{R}^{n})\). Precisely, we have the following.
Lemma 4.2
([1], Theorem 0.5)
Suppose that
\(V\in B_{s}\)
for some
\(s>\frac{n}{2}\), and let
\((\frac {1}{s}-\frac{1}{n})^{+}=\frac{1}{\tilde{q}}\). Then
(1)
\(R_{L}\)
is bounded on
\(L^{q}(\mathbb{R}^{n})\)
for
\(1< q<\tilde{q}\);
(2)
\(R'_{L}\)
is bounded on
\(L^{q}(\mathbb{R}^{n})\)
for
\(\tilde{q}< q<\infty\).
By the idea of Shen [1], Guo, Li, and Peng [9] obtained a regularity estimate of the kernel \(R_{L}\) and proved the commutators \([b, R_{L}]\) are bounded on some Lebesgue spaces \(L^{p}\) with \(b\in \operatorname{BMO}(\mathbb{R}^{n})\). For \(b\in \operatorname{BMO}_{\infty}(\rho)\), Bongioanni, Harboure, and Salinas [14] proved the \(L^{p}\)-boundedness of \([b, R_{L}]\). Recall that \(\operatorname{BMO}(\mathbb{R}^{n})\subset \operatorname{BMO}_{\sigma}(\rho)\). Hence the result of Bongioanni, Harboure, and Salinas [14] generalizes that of Guo, Li, and Peng [9].
Lemma 4.3
([14], Theorem 1)
Suppose that
\(V\in B_{s}\)
for some
\(s>\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\infty}(\rho)\). Let
\((\frac{1}{s}-\frac{1}{n})^{+}=\frac {1}{\tilde{q}}\), then
(1)
\([b, R_{L}]\)
is bounded on
\(L^{q}(\mathbb{R}^{n})\)
for
\(1< q<\tilde{q}\);
(2)
\([b, R_{L}']\)
is bounded on
\(L^{q}(\mathbb{R}^{n})\)
for
\(\tilde{q}< q<\infty\).
Based on the results of Shen [1] and Bongioanni, Harboure, and Salinas [14], we consider the boundedness of \(R_{L}\) on Herz spaces. If \(s\geq n\), Shen [1] proved that \(R_{L}\) is a Calderón-Zygmund operator. By Theorem 6.2.1 in [20], it is obvious that \(R_{L}\) is bounded on Herz spaces. Hence in the next theorem, we only consider the case of \(\frac{n}{2}< s< n\).
Theorem 4.4
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\), and let
\((\frac {1}{s}-\frac {1}{n})^{+}=\frac{1}{\tilde{q}}\). If
\(0< p<\infty\), \((\tilde{q})'< q<\infty\), and
\(-\frac{n}{q}<\alpha <n(1-\frac{1}{q}-\frac{1}{\tilde{q}})\), then
$$\|R_{L}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\leq C\|f\|_{\dot {K}_{q}^{\alpha,p}(\mathbb{R}^{n})}. $$
Proof
By the decomposition we obtain For \(W_{2}\), by Lemma 4.3, we have Now we estimate \(W_{1}\). Because \(x\in E_{k}\), \(y\in E_{j}\), and \(j\leq k-2\), we deduce that \(|x-y|\sim2^{k}\). By Lemmas 4.1 and 2.16, we get For \(W_{1,1}\), by Lemma 2.17, we have Using the Hölder inequality, we obtain where in the last inequality, we have used the boundedness of the fractional integral \(\mathcal{I}_{1}\) with \(\frac{1}{\tilde {q}}=\frac {1}{s}-\frac{1}{n}\). Because \(V\in B_{s}\), we use Lemma 2.6 to deduce that The above estimate (4.2) implies that
$$ f(y)=\sum^{\infty}_{j=-\infty}f(y) \chi_{E_{j}}(y)=\sum^{\infty }_{j=-\infty}f_{j}(y), $$
$$\begin{aligned} \|R_{L}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p} \lesssim& \sum ^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum ^{k-2}_{j=-\infty}\|\chi_{k}R_{L}f_{j} \|_{L^{q}(\mathbb {R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|\chi _{k}R_{L}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{\infty }_{j=k+2}\| \chi_{k}R_{L}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ =& W_{1}+W_{2}+W_{3}. \end{aligned}$$
$$W_{2}\lesssim\sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p}\lesssim\| f\| _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p}. $$
$$\begin{aligned}& \|\chi_{k}R_{L}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \\& \quad = \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}K_{R_{L}}(x,y)f(y)\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad \lesssim \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac {\vert f(y)\vert }{(1+|x-y|/\rho (x))^{N}}\frac{1}{|x-y|^{n-1}} \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\& \qquad {}+ \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac{\vert f(y)\vert }{(1+|x-y|/\rho (x))^{N}}\frac{1}{|x-y|^{n}} \,dy\biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad = W_{1,1}+W_{1,2}. \end{aligned}$$
$$\begin{aligned} W_{1,1} \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac {1}{|2^{k}|^{n-1}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\ \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac{|E_{k}|^{\frac {1}{q}}}{|2^{k}|^{n-1}} \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{k+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy. \end{aligned}$$
$$\begin{aligned}& \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{k+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy \\& \quad \lesssim|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})} \bigl\Vert \mathcal{I}_{1}(V\chi_{B(0,2^{k+1})}) \bigr\Vert _{L^{\tilde{q}}(\mathbb {R}^{n})} \\& \quad \lesssim|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})} \|V\chi_{B(0,2^{k+1})}\|_{L^{s}(\mathbb{R}^{n})}, \end{aligned}$$
(4.1)
$$\begin{aligned} \|V\chi_{B(0,2^{k+1})}\|_{L^{s}(\mathbb{R}^{n})} \lesssim& |E_{k+1}|^{\frac{1}{s}-1} \int_{B(0,2^{k+1})}V(z)\,dz \\ \lesssim& |E_{k+1}|^{\frac{1}{s}-1}\bigl(2^{k+1} \bigr)^{n-2}\bigl(1+2^{k+1}/\rho (0)\bigr)^{N_{0}} \\ \lesssim& |E_{k+1}|^{\frac{1}{s}-\frac{2}{n}}\bigl(1+2^{k+1}/\rho (0) \bigr)^{N_{0}}. \end{aligned}$$
(4.2)
$$ W_{1,1} \lesssim \frac{\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)-N_{0}}} \frac{|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}}{|E_{k}|^{1-\frac {1}{q}-\frac{1}{\tilde{q}}}}. $$
Let N be large enough. When \(j\leq k-2\), we have Next we estimate \(W_{1,2}\). We have Take N large enough. For \(j\leq k-2\), we have Hence, when \(j\leq k-2\), we have Since \(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{1}{\tilde{q}})\), we have Similar to the proof of Theorem 3.10, by Hölder’s inequality and (4.1), we obtain For \(W_{3}\), note that when \(x\in E_{k}\), \(y\in E_{j}\), and \(j\geq k+2\), then \(|x-y|\sim2^{j}\). We have Therefore, when \(j\geq k+2\), by Lemma 2.17, we have Similar to (4.1) and (4.2), we get and Take N large enough. Because \(\frac{1}{\tilde{q}}=\frac {1}{s}-\frac {1}{n}\), we have For \(W_{3,2}\), using Hölder’s inequality, we can easily get Combining with \(W_{31}\) and \(W_{32}\), we get Since \(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{1}{\tilde{q}})\), Hölder’s inequality and (4.1) imply that \(W_{3}\lesssim\|f\|^{p}_{\dot{K}_{q}^{\alpha,p}}\). This completes the proof of Theorem 4.4. □
$$ W_{1,1}\lesssim 2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde{q}})}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})}. $$
$$\begin{aligned} W_{1,2} \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac{1}{|2^{k}|^{n}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert f(y)\bigr\vert \,dy\biggr\vert ^{q} \biggr)^{\frac {1}{q}} \\ \lesssim& \frac{\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}|E_{j}|^{1-\frac {1}{q}}}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac{|E_{k}|^{\frac {1}{q}}}{|2^{k}|^{n}}. \end{aligned}$$
$$W_{1,2}\lesssim2^{(j-k)n(1-\frac{1}{q})}\|f_{j}\|_{L^{q}(\mathbb {R}^{n})} \lesssim2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde{q}})}\| f_{j}\| _{L^{q}(\mathbb{R}^{n})}. $$
$$\|\chi_{k}R_{L}f_{j}\|_{L^{q}(\mathbb{R}^{n})}\lesssim 2^{(j-k)n(1-\frac {1}{q}-\frac{1}{\tilde{q}})}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$ W_{1} \lesssim \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde{q}})}\| f_{j}\| _{L^{q}(\mathbb{R}^{n})} \Biggr)^{p}. $$
$$ W_{1}\lesssim\|f\|^{p}_{\dot{K}_{q}^{\alpha, p}}. $$
$$ \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz \lesssim \int _{B(0,2^{j+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz. $$
$$\begin{aligned}& \|\chi_{k}R_{L}f_{j}\|_{L^{q}(\mathbb{R}^{n})} \\& \quad \lesssim \frac{1}{(1+2^{j}/\rho(0))^{N/(l_{0}+1)}}\frac {1}{|2^{j}|^{n-1}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{j+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\& \qquad {}+ \frac{1}{(1+2^{j}/\rho(0))^{N/(l_{0}+1)}}\frac{1}{|2^{j}|^{n}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert f(y)\bigr\vert \,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\& \quad = W_{3,1}+W_{3,2}. \end{aligned}$$
$$ \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{j+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy \lesssim|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}} \|f_{j}\| _{L^{q}(\mathbb{R}^{n})} \|V\chi_{B(0,2^{j+1})}\|_{L^{s}(\mathbb{R}^{n})} $$
$$ \|V\chi_{B(0,2^{j+1})}\|_{L^{s}(\mathbb{R}^{n})} \lesssim |E_{j+1}|^{\frac{1}{s}-\frac{2}{n}} \bigl(1+2^{j+1}/\rho (0)\bigr)^{N_{0}}. $$
$$\begin{aligned} W_{3,1} \lesssim& \frac{\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)-N_{0}}}\frac{|E_{k}|^{\frac {1}{q}}}{|E_{j}|^{(1-\frac{1}{n})-(1-\frac{1}{q}-\frac{1}{\tilde {q}})-(\frac{1}{s}-\frac{2}{n})}} \\ \lesssim&\frac{\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-N_{0}}}\frac{|E_{k}|^{\frac{1}{q}}}{|E_{j}|^{\frac{1}{q}}} \\ \lesssim& 2^{(k-j)n(\frac{1}{q})}\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}. \end{aligned}$$
$$\begin{aligned} W_{3,2} \lesssim&\frac{\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)}}\frac{|E_{k}|^{\frac{1}{q}}}{|E_{j}|^{\frac{1}{q}}}. \\ \lesssim& 2^{(k-j)n(\frac{1}{q})}\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}. \end{aligned}$$
$$ W_{3} \lesssim \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}2^{(k-j)n(\frac{1}{q})} \|f_{j}\|_{L^{q}(\mathbb {R}^{n})} \Biggr)^{p}. $$
Now we consider the boundedness of the commutators \([b, R_{L}]\) on Herz spaces, where \(b\in \operatorname{BMO}_{\sigma}(\rho)\). If \(s\geq n\) and \(b\in \operatorname{BMO}(\mathbb{R}^{n})\), the desired boundedness can be deduced from Theorem 1.1 in [29]. Hence in the following theorem, we still assume that \(s\in(n/2, n)\).
Theorem 4.5
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\), and
\(b\in \operatorname{BMO}_{\sigma }(\rho )\), \(0<\sigma<\infty\). Let
\((\frac{1}{s}-\frac{1}{n})^{+}=\frac {1}{\tilde{q}}\). If
\(0< p<\infty\), \((\tilde{q})'< q<\infty\), and
\(-\frac{n}{q}<\alpha <n(1-\frac{1}{q}-\frac{1}{\tilde{q}})\), then
$$\bigl\Vert [b,R_{L}]f\bigr\Vert _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|f\| _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}. $$
Proof
Similar to Theorem 4.4, we write Hence, we have For \(\widetilde{W}_{2}\), by Lemma 4.3, we have Now we estimate \(\widetilde{W}_{1}\). For \(x\in E_{k}\), \(y\in E_{j}\) with \(j\leq k-2\), \(|x-y|\sim2^{k}\). By Lemma 2.16, we can get For \(\widetilde{W}_{1,1}\), we can see that \(b(x)-b(y)=(b(x)-b_{B_{j}})-(b(y)-b_{B_{j}})\). Hence, by Lemma 2.17, we have Using Hölder’s inequality and the boundedness of the fractional integral \(\mathcal{I}_{1}\) with \(\frac{1}{\tilde{q}}=\frac {1}{s}-\frac {1}{n}\), we obtain where in the last inequality we have used (4.2) above. We get Similar to \(\widetilde{W}_{1,1}^{(2)}\), we have By Lemma 2.10, we get Since N is large enough, when \(j\leq k-2\), we have Next we estimate \(\widetilde{W}_{12}\). We can get Using Lemma 2.10 and the Hölder inequality, we get the following estimates: and Take N large enough. Because \(j\leq k-2\), we can see that Hence, Since \(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{1}{\tilde{q}})\), similar to Theorem 3.10, we use Hölder’s inequality to obtain For \(\widetilde{W}_{3}\), if \(x\in E_{k}\) and \(y\in E_{j}\) with \(j\geq k+2\), then \(|x-y|\sim2^{j}\). We have Using the decomposition \(b(x)-b(y)=(b(x)-b_{B_{k}})-(b(y)-b_{B_{k}})\) again, we get On the other hand, Therefore Similarly, we can get Because \(-\frac{n}{q}<\alpha<n(1-\frac{1}{q}-\frac{1}{\tilde {q}})\), by the estimates for \(\widetilde{W}_{31}\) and \(\widetilde{W}_{33}\), we can use Hölder’s inequality and (4.1) to get This completes the proof of Theorem 4.5. □
$$ f(y)=\sum^{\infty}_{j=-\infty}f(y) \chi_{E_{j}}(y)=\sum^{\infty }_{j=-\infty}f_{j}(y). $$
$$\begin{aligned} \bigl\Vert [b,R_{L}]f\bigr\Vert _{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p} \lesssim& \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}\bigl\Vert \chi_{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb {R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\bigl\Vert \chi _{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ &{}+ \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{\infty }_{j=k+2}\bigl\Vert \chi_{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ =& \widetilde{W}_{1}+\widetilde{W}_{2}+ \widetilde{W}_{3}. \end{aligned}$$
$$\widetilde{W}_{2}\lesssim\sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k+1}_{j=k-1}\|f_{j} \|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p}\lesssim \|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}^{p}. $$
$$\begin{aligned}& \bigl\Vert \chi_{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \\& \quad = \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}} \bigl(b(x)-b(y) \bigr)K_{R_{L}}(x,y)f(y)\,dy \biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad \lesssim \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac{| (b(x)-b(y) )f(y)|}{(1+|x-y|/\rho(x))^{N}}\frac{1}{|x-y|^{n-1}} \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\& \qquad {}+ \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac{| (b(x)-b(y) )f(y)|}{(1+|x-y|/\rho(x))^{N}}\frac{1}{|x-y|^{n}} \,dy\biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad = \widetilde{W}_{1,1}+\widetilde{W}_{1,2}. \end{aligned}$$
$$\begin{aligned} \widetilde{W}_{1,1} \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/l_{0}+1}} \\ &{}\times\frac {1}{|2^{k}|^{n-1}} \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\bigl\vert \bigl(b(x)-b(y) \bigr)f(y)\bigr\vert \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\ \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/l_{0}+1}}\frac{1}{|2^{k}|^{n-1}} \biggl( \int _{E_{k}}\bigl\vert \bigl(b(x)-b_{B_{j}} \bigr) \bigr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\ &{}\times \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{k+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz \,dy \\ &{}+ \frac{1}{(1+2^{k}/\rho(0))^{N/l_{0}+1}}\frac{|E_{k}|^{\frac {1}{q}}}{|2^{k}|^{n-1}} \int_{E_{j}}\bigl\vert \bigl(b(y)-b_{B_{j}} \bigr)f(y) \bigr\vert \\ &{}\times \int_{B(0,2^{k+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz \,dy \\ =& \widetilde{W}_{1,1}^{(1)}+\widetilde{W}_{1,1}^{(2)}. \end{aligned}$$
$$\begin{aligned}& \int_{E_{j}}\bigl\vert \bigl(b(y)-b_{B_{j}} \bigr)f(y) \bigr\vert \int _{B(0,2^{k+1})}\frac {V(z)}{|z-y|^{n-1}}\,dz\,dy \\& \quad \lesssim\frac{\|b\|_{\sigma}|E_{j}|^{1-\frac{1}{q}-\frac {1}{\tilde {q}}}}{(1+2^{j}/\rho(0))^{-(l_{0}+1)\sigma}}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})} \bigl\Vert \mathcal{I}_{1}(V\chi_{B(0,2^{k+1})})\bigr\Vert _{L^{\tilde{q}}(\mathbb {R}^{n})} \\& \quad \lesssim\frac{\|b\|_{\sigma}|E_{j}|^{1-\frac{1}{q}-\frac {1}{\tilde {q}}}}{(1+2^{j}/\rho(0))^{-(l_{0}+1)\sigma}}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})} \|V \chi_{B(0,2^{k+1})}\|_{L^{s}(\mathbb{R}^{n})} \\& \quad \lesssim \frac{\|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{-(l_{0}+1)\sigma-N_{0}}} |E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}|E_{k}|^{\frac {1}{s}-\frac{2}{n}}, \end{aligned}$$
$$ \widetilde{W}_{1,1}^{(2)} \lesssim \frac{\|b\|_{\sigma}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma -N_{0}}} \frac{|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde {q}}}}{|E_{k}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}}. $$
$$ \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{k+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy \lesssim \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}\bigl(1+2^{k}/\rho(0) \bigr)^{N_{0}} |E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}|E_{k}|^{\frac {1}{s}-\frac{2}{n}}. $$
$$ \widetilde{W}_{1,1}^{(1)} \lesssim \frac{(k-j)\|b\|_{\sigma}\| f_{j}\| _{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma -N_{0}}} \frac{|E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde {q}}}}{|E_{k}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}}. $$
$$ \widetilde{W}_{1,1}\lesssim (k-j)2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde{q}})}\|b\|_{\sigma} \| f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$\begin{aligned} \widetilde{W}_{1,2} \lesssim& \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac{1}{|2^{k}|^{n}} \biggl( \int _{E_{k}}\bigl\vert \bigl(b(x)-b_{B_{j}} \bigr) \bigr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \int_{E_{j}}\bigl\vert f(y)\bigr\vert \,dy \\ &{}+ \frac{1}{(1+2^{k}/\rho(0))^{N/(l_{0}+1)}}\frac{|E_{k}|^{\frac {1}{q}}}{|2^{k}|^{n}} \int_{E_{j}}\bigl\vert \bigl(b(y)-b_{B_{j}} \bigr)f(y) \bigr\vert \,dy \\ =: &\widetilde{W}_{1,2}^{(1)}+\widetilde{W}_{1,2}^{(2)}. \end{aligned}$$
$$\widetilde{W}_{1,2}^{(1)}\lesssim\frac{(k-j)\|b\|_{\sigma}\|f_{j}\| _{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma}} \frac{|E_{j}|^{1-\frac{1}{q}}}{|E_{k}|^{1-\frac{1}{q}}} $$
$$\widetilde{W}_{1,2}^{(2)}\lesssim \frac{\|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})}}{(1+2^{k}/\rho (0))^{N/(l_{0}+1)-(l_{0}+1)\sigma}} \frac{|E_{j}|^{1-\frac{1}{q}}}{|E_{k}|^{1-\frac{1}{q}}}. $$
$$\widetilde{W}_{1, 2}\lesssim(k-j)2^{(j-k)n(1-\frac{1}{q}-\frac {1}{\tilde{q}})}\|b\|_{\sigma} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$\bigl\Vert \chi_{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})}\lesssim (k-j)2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde{q}})}\|b\|_{\sigma}\| f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$\begin{aligned} \widetilde{W}_{1} \lesssim& \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}(k-j)2^{(j-k)n(1-\frac{1}{q}-\frac{1}{\tilde {q}})} \|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \\ \lesssim& \|b\|_{\sigma}^{p}\|f\|^{p}_{\dot{K}_{q}^{\alpha, p}}. \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \chi_{k}[b,R_{L}]f_{j}\bigr\Vert _{L^{q}(\mathbb{R}^{n})} \\& \quad \lesssim \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac{| (b(x)-b(y) )f(y)|}{(1+|x-y|/\rho(x))^{N}}\frac{1}{|x-y|^{n-1}} \int_{B(y,|x-y|)}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy\biggr\vert ^{q}\,dx \biggr)^{\frac {1}{q}} \\& \qquad {}+ \biggl( \int_{E_{k}}\biggl\vert \int_{E_{j}}\frac{| (b(x)-b(y) )f(y)|}{(1+|x-y|/\rho(x))^{N}}\frac{1}{|x-y|^{n}} \,dy\biggr\vert ^{q}\,dx \biggr)^{\frac{1}{q}} \\& \quad =: \widetilde{W}_{3,1}+\widetilde{W}_{3,2}. \end{aligned}$$
$$\begin{aligned}& \int_{E_{j}}\bigl\vert \bigl(b(y)-b_{B_{k}} \bigr)f(y) \bigr\vert \int_{B(y,|x-y|)}\frac {V(z)}{|z-y|^{n-1}}\,dz \\& \quad \lesssim \int_{E_{j}}\bigl\vert \bigl(b(y)-b_{B_{k}} \bigr)f(y) \bigr\vert \int _{B(0,2^{j+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy \\& \quad \lesssim \frac{(k-j)\|b\|_{\sigma}\|f_{j}\|_{L^{q}(\mathbb {R}^{n})}}{(1+2^{j}/\rho(0))^{-(l_{0}+1)\sigma-N_{0}}} |E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}|E_{j}|^{\frac {1}{s}-\frac{2}{n}}. \end{aligned}$$
$$ \int_{E_{j}}\bigl\vert f(y)\bigr\vert \int_{B(0,2^{j+1})}\frac{V(z)}{|z-y|^{n-1}}\,dz\,dy \lesssim \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}\bigl(1+2^{j}/\rho(0) \bigr)^{N_{0}} |E_{j}|^{1-\frac{1}{q}-\frac{1}{\tilde{q}}}|E_{j}|^{\frac {1}{s}-\frac{2}{n}}. $$
$$ \widetilde{W}_{3,1}\lesssim (j-k)2^{(k-j)n(\frac{1}{q})}\|b\|_{\sigma} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$ \widetilde{W}_{3,2}\lesssim (j-k)2^{(k-j)n(\frac{1}{q})}\|b\|_{\sigma} \|f_{j}\|_{L^{q}(\mathbb{R}^{n})}. $$
$$ \widetilde{W}_{3} \lesssim \sum^{\infty}_{k=-\infty}2^{k\alpha p} \Biggl(\sum^{k-2}_{j=-\infty}(j-k)2^{(k-j)n(\frac{1}{q})} \|b\|_{\sigma}\| f_{j}\|_{L^{q}(\mathbb{R}^{n})} \Biggr)^{p} \lesssim\|b\|_{\sigma}^{p}\|f\|^{p}_{\dot{K}_{q}^{\alpha,p}}. $$
Corollary 4.6
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\), and
\((\frac{1}{s}-\frac {1}{n})^{+}=\frac{1}{\tilde{q}}\). Let
\(b\in \operatorname{BMO}_{\sigma}(\rho)\), \(0<\sigma<\infty\). If
\(0< p<\infty\), \(1< q<\tilde{q}\), \(-\frac{n}{q}+\frac{n}{\tilde {q}}<\alpha<n(1-\frac{1}{q})\), then:
(i)
\(\|R'_{L}f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})}\lesssim\|f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb{R}^{n})}\);
(ii)
\(\|[b, R'_{L}]f\|_{\dot{K}_{q}^{\alpha,p}(\mathbb {R}^{n})}\lesssim\|b\|_{\sigma}\|f\|_{\dot{K}_{q}^{\alpha ,p}(\mathbb{R}^{n})}\).
There are similar results for the non-homogeneous Herz space \(K_{q}^{\alpha,p}(\mathbb{R}^{n})\).
Theorem 4.7
Suppose that
\(V\in B_{s}\), \(s>\frac{n}{2}\)
and let
\(b\in \operatorname{BMO}_{\sigma }(\rho)\), \(0<\sigma<\infty\). Let
\(0< p<\infty\), \((\frac{1}{s}-\frac{1}{n})^{+}=\frac{1}{\tilde{q}}\).
(1)
If
\((\tilde{q})'< q<\infty\)
and
\(-\frac{n}{q}<\alpha <n(1-\frac {1}{q}-\frac{1}{\tilde{q}})\), then
$$ \textstyle\begin{cases} \|R_{L}f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|f\| _{K_{q}^{\alpha,p}(\mathbb{R}^{n})}, \\ \|[b,R_{L}]f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|b\| _{\sigma }\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}. \end{cases} $$
(2)
If
\(1< q<\tilde{q}\)
and
\(-\frac{n}{q}+\frac{n}{\tilde {q}}<\alpha<n(1-\frac{1}{q})\), then
$$ \textstyle\begin{cases} \|R'_{L}f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|f\| _{K_{q}^{\alpha,p}(\mathbb{R}^{n})}, \\ \|[b, R'_{L}]f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}\lesssim\|b\| _{\sigma }\|f\|_{K_{q}^{\alpha,p}(\mathbb{R}^{n})}. \end{cases} $$
Acknowledgements
Project supported by NSFC No. 11171203, No. 11201280, No. 11571217; New Teacher’s Fund for Doctor Stations, Ministry of Education No. 20114402120003, University Science and Technology Projects of Shandong Province No. J15LI15.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.