Abstract
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}\) for \(s>\frac{d}{2}\). Let \(T_{\beta}=(-\Delta +V)^{-\beta}V^{\beta}\), \(\beta>0\), and \(R_{L}=\nabla(-\Delta+V)^{-1/2}\) be the Riesz transform associated to L. We prove that the operator \(T_{\beta}\) and \(R_{L}\) are bounded on Herz spaces \(\dot {K}_{q}^{\alpha ,p}(\mathbb{R}^{n})\) and \({K}_{q}^{\alpha,p}(\mathbb{R}^{n})\), respectively. Suppose that \(b\in \operatorname{BMO}_{\sigma}(\rho)\), which is larger than \(\operatorname{BMO}(\mathbb{R}^{n})\). By a maximal estimate, we obtain the boundedness of commutators \([b, T_{\beta}]\) and \([b, R_{L}]\) on Herz spaces.
Similar content being viewed by others
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.
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.
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.
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}\).
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})\).
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}\).
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}\),
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\),
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
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\),
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:
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
$$ \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)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.
-
(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.
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\),
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.
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
$$ \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\} , $$where
$$\|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
$$ 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\} , $$where
$$\|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})\),
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
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
For \(0<\beta<\frac{n}{2}\), the fractional integral associated with L is defined by
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
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
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
□
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
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
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})\),
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
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
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
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
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}))\),
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\).
Finally, in Lemma 2.15, take N large enough such that \(N>N_{2}\). We complete the proof of Theorem 3.5. □
Remark 3.6
It is easy to check that if the critical ball Q is replaced by 2Q, Theorem 3.5 also holds.
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})\),
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. □
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
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. □
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
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
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.
Case 1: \(p\leq1\). By the p-triangle inequality
we have
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
□
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
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.
Case 1: \(p\leq1\). By the inequality (3.1) we have
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
□
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}}\).
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
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
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
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. □
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
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. □
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} $$
References
Shen, Z: \(L^{p}\) estimate for Schrödinger operator with certain potentials. Ann. Inst. Fourier 45, 513-546 (1995)
Sugano, S: Estimates for the operators \(V^{\alpha}(-\Delta+V)^{-\beta}\) and \(V^{\alpha}\nabla(-\Delta+V)^{-\beta}\) with certain non-negative potentials V. Tokyo J. Math. 21, 441-452 (1998)
Tang, L, Dong, J: Boundedness for some Schrödinger type operators on Morrey spaces related to certain nonnegative potentials. J. Math. Anal. Appl. 355, 101-109 (2009)
Yang, D, Yang, D, Zhou, Y: Endpoint properties of localized Riesz transforms and fractional integrals associated to Schrödinger operators. Potential Anal. 30, 271-300 (2009)
Jiang, Y: Endpoint estimates for fractional integral associated to Schrödinger operators on the Heisenberg groups. Acta Math. Sci. Ser. B 31, 993-1000 (2011)
Liu, Y: The weighted estimates for the operators \(V^{\alpha}(-\Delta _{G}+V)^{-\beta}\) and \(V^{\alpha}\nabla_{G}(-\Delta_{G}+V)^{-\beta}\) on the stratified Lie group G. J. Math. Anal. Appl. 349, 235-244 (2009)
Liu, Y, Dong, J: Some estimates of higher order Riesz transform related to Schrödinger type operators. Potential Anal. 32, 41-55 (2010)
Sugano, S: \(L^{p}\) estimates for some Schrödinger operators and a Calderón-Zygmund operator of Schrödinger type. Tokyo J. Math. 30, 179-197 (2007)
Guo, Z, Li, P, Peng, L: \(L^{p}\) boundedness of commutators of Riesz transforms associated to Schrödinger operator. J. Math. Anal. Appl. 341, 421-432 (2008)
Bui, T-A: Weighted estimates for commutators of some singular integrals related to Schrödinger operators. Bull. Sci. Math. 138, 270-292 (2014)
Liu, Y, Huang, J, Dong, J: Commutators of Calderón-Zygmund operators related to admissible functions on spaces of homogeneous type and applications to Schrödinger operators. Sci. China Math. 56, 1895-1913 (2013)
Liu, Y, Wang, L, Dong, C: Commutators of higher order Riesz transform associated with Schrödinger operators. J. Funct. Spaces Appl. 2013, Article ID 842375 (2013)
Wang, Y, Liu, Y: Higher order commutators of Riesz transforms related to Schrödinger operators. J. Inequal. Appl. 2014, 466 (2014)
Bongioanni, B, Harboure, E, Salinas, O: Commutators of Riesz transforms related to Schrödinger operator. J. Fourier Anal. Appl. 17, 115-134 (2011)
Shen, Z: On the Neumann problem for Schrödinger operators in Lipschitz domains. Indiana Univ. Math. J. 43, 143-176 (1994)
John, F, Nirenberg, L: On function of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415-426 (1961)
Liu, Y: Commutators of BMO functions and degenerate Schrödinger operators with certain nonnegative potentials. Monatshefte Math. 165, 41-56 (2012)
Yang, D, Yang, D, Zhou, Y: Localized BMO and BLO spaces on RD-spaces and applications to Schrödinger operators. Commun. Pure Appl. Anal. 9, 779-812 (2010)
Herz, C: Lipschitz spaces and Bernstein’s theorem on absolutely convergent Fourier transforms. J. Math. Mech. 18, 283-323 (1968/69)
Lu, S, Yang, D, Hu, G: Herz Type Spaces and Their Applications. Science Press, Beijing (2008)
Chen, W, Yang, D, Zhou, Z: Singular integrals and commutators in parabolic Herz spaces and their applications. Northeast. Math. J. 14, 440-454 (1998)
Hu, G, Lu, S, Yang, D: Boundedness of rough singular integral operators on homogeneous Herz spaces. J. Aust. Math. Soc. Ser. A 66, 201-223 (1999)
Tang, L, Yang, D: Boundedness of multilinear operators in Herz-type Hardy space. Acta Math. Sin. 16, 295-306 (2000)
Lu, S, Xu, L: Boundedness of rough singular integral operators on the homogeneous Morrey-Herz spaces. Hokkaido Math. J. 34, 299-314 (2005)
Dziubański, J, Zienkiewicz, J: \(H^{p}\) spaces for Schrödinger operator, Fourier analysis and related topics. Banach Cent. Publ. 56, 45-53 (2002)
Dziubański, J, Zienkiewicz, J: Hardy spaces \(H^{1}\) associated to Schrödinger operator with potential satisfying reverse Hölder inequality. Rev. Mat. Iberoam. 15, 279-296 (1999)
Coifman, R, Rochberg, R, Weiss, G: Factorization theorems for Hardy space in several variable. Ann. Math. 103, 611-635 (1988)
Li, P, Wan, X, Zhang, C: Schrödinger operators on generalized Morrey spaces. arXiv:1504.05075
Lu, S, Yang, D: The continuity of commutators on Herz type spaces. Mich. Math. J. 44, 255-281 (1997)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Li, P., Wan, X. The boundedness of commutators associated with Schrödinger operators on Herz spaces. J Inequal Appl 2016, 172 (2016). https://doi.org/10.1186/s13660-016-1118-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1118-9