Abstract
Let \(L=-\Delta_{\mathbb{H}_{n}}+V\) be a Schrödinger operator on the Heisenberg group \(\mathbb{H}_{n}\), where the nonnegative potential V belongs to the reverse Hölder class \(RH_{q_{1}}\) for some \(q_{1} \ge Q/2\), and Q is the homogeneous dimension of \(\mathbb{H} _{n}\). Let b belong to a new Campanato space \(\Lambda_{\nu }^{ \theta }(\rho )\), and let \(\mathcal{I}_{\beta }^{L}\) be the fractional integral operator associated with L. In this paper, we study the boundedness of the commutators \([b,\mathcal{I}_{\beta }^{L}]\) with \(b \in \Lambda_{\nu }^{\theta }(\rho )\) on central generalized Morrey spaces \(LM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\), generalized Morrey spaces \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\), and vanishing generalized Morrey spaces \(VM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) associated with Schrödinger operator, respectively. When b belongs to \(\Lambda_{\nu }^{\theta }(\rho )\) with \(\theta >0\), \(0<\nu <1\) and \((\varphi_{1},\varphi_{2})\) satisfies some conditions, we show that the commutator operator \([b,\mathcal{I}_{\beta }^{L}]\) is bounded from \(LM_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(LM_{q,\varphi _{2}}^{\alpha ,V}(\mathbb{H}_{n})\), from \(M_{p,\varphi_{1}}^{\alpha ,V}( \mathbb{H}_{n})\) to \(M_{q,\varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\), and from \(VM_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(VM_{q, \varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\), \(1/p-1/q=(\beta +\nu )/Q\).
Similar content being viewed by others
1 Introduction
Heisenberg groups, in discrete and continuous versions, appear in many parts of mathematics, including Fourier analysis, several complex variables, geometry, and topology. We state some basic results about the Heisenberg group. More detailed information can be found in [5, 12, 13] and the references therein.
Let us consider the Schrödinger operator on Heisenberg group \(\mathbb{H}_{n}\)
where \(V \neq 0\) is nonnegative and belongs to the reverse Hölder class \(RH_{q}\) for some \(q\geq Q/2\), that is, there exists a constant \(C>0\) such that the reverse Hölder inequality
holds for every \(g\in \mathbb{H}_{n}\) and \(0< r<\infty \), where \(B(g,r)\) denotes the ball centered at g with radius r.
We also say that a nonnegative function \(V \in RH_{\infty }\) if there exists a constant \(C > 0\) such that
for all \(g\in \mathbb{H}_{n}\) and \(0< r<\infty \).
In particular, if V is a nonnegative polynomial, then \(V \in RH_{ \infty }\).
We define the auxiliary function \(0<\rho (g)<\infty \) for a given potential \(V \in RH_{q}\) with \(q\geq Q/2\):
for \(g\in \mathbb{H}_{n}\) (for example, see [36]).
Let \(\theta >0\) and \(0<\nu <1\). In view of [24, 26], the Campanato class associated with the Schrödinger operator \(\Lambda_{\nu }^{\theta }(\rho )\) consists of locally integrable functions b such that
for all \(g\in \mathbb{H}_{n}\) and \(r>0\), where \(b_{B}\) is the mean integral of b in the ball \(B(g,r)\). A seminorm of \(b \in \Lambda _{\nu }^{\theta }(\mathbb{H}_{n},\rho )\), denoted by \([b]_{\beta } ^{\theta }\), is given as the infimum of the constants in inequality (1.2).
Note that if \(\theta =0\), then \(\Lambda_{\nu }^{\theta }(\mathbb{H} _{n},\rho )\) is the classical Campanato space; if \(\nu =0\), then \(\Lambda_{\nu }^{\theta }(\mathbb{H}_{n},\rho )\) is the space \(BMO_{\theta }(\mathbb{H}_{n},\rho )\) introduced in [3]; see also [25].
For brevity, we further use the notations
and
We give the definition of central (local) and global generalized Morrey spaces (including weak version) associated with the Schrödinger operator; it was introduced by the first author in [18] in the Euclidean setting (see also [1, 3, 39]).
Definition 1.1
Let \(\varphi (r)\) be a positive measurable function on \((0,\infty )\), \(1\le p<\infty \), \(\alpha \ge 0\), and \(V\in RH_{q}\), \(q\ge 1\). We denote by \(M_{p,\varphi }^{\alpha ,V}=M_{p,\varphi }^{\alpha ,V}(\mathbb{H} _{n})\) and \(LM_{p,\varphi }^{\alpha ,V}=LM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\) the generalized Morrey space and the central generalized Morrey space associated with the Schrödinger operator, the spaces of all functions \(f\in L_{\mathrm{loc}}^{p}(\mathbb{H}_{n})\) with finite quasinorms
respectively. Here e is the identity element in \(\mathbb{H}_{n}\).
Also, by \(WM_{p,\varphi }^{\alpha ,V}=WM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\) and \(LWM_{p,\varphi }^{\alpha ,V}=LWM_{p,\varphi } ^{\alpha ,V}(\mathbb{H}_{n})\) we denote the weak generalized Morrey space and central weak generalized Morrey space associated with the Schrödinger operator, the spaces of all functions \(f\in WL_{ \mathrm{loc}}^{p} (\mathbb{H}_{n})\) with
respectively.
Remark 1.1
-
(i)
When \(\alpha =0\) and \(\varphi (r)=r^{(\lambda -Q)/p}\), \(M_{p,\varphi }^{\alpha ,V}({\mathbb{R}^{n}})\) is the classical Morrey space \(M_{p,\lambda }({\mathbb{R}^{n}})\) introduced by Morrey [28], and \(LM_{p,\varphi }^{\alpha ,V}({\mathbb{R}^{n}})\) is the central Morrey space \(LM_{p,\lambda }({\mathbb{R}^{n}})\) studied by Alvarez et al. [2] in the Euclidean setting.
-
(ii)
When \(\varphi (r)=r^{(\lambda -Q)/p}\), \(M_{p,\varphi }^{ \alpha ,V}({\mathbb{R}^{n}})\) is the Morrey space associated with Schrödinger operator \(M_{p,\lambda }^{\alpha ,V}({\mathbb{R}^{n}})\) studied by Tang and Dong in [39] on the Euclidean setting.
-
(iii)
When \(\alpha =0\), \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H} _{n})\) is the generalized Morrey space \(M_{p,\varphi }(\mathbb{H}_{n})\) studied by Guliyev et al. [20], and \(LM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) is the central generalized Morrey space \(LM_{p,\varphi }(\mathbb{H}_{n})\) studied by first author in [14]; see also [10, 15, 17, 19, 21, 23, 34, 35].
-
(iv)
\(M_{p,\varphi }^{\alpha ,V}({\mathbb{R}^{n}})\) and \(LM_{p,\varphi }^{\alpha ,V}({\mathbb{R}^{n}})\) are the generalized Morrey space and the central generalized Morrey space associated with the Schrödinger operator, respectively, studied by first author in [18] in the Euclidean setting; see also [1].
Definition 1.2
The vanishing generalized Morrey space \(VM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\) associated with the Schrödinger operator is defined as the space of functions \(f\in M_{p,\varphi }^{\alpha ,V}(\mathbb{H} _{n})\) such that
The vanishing weak generalized Morrey space \(VWM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) associated with the Schrödinger operator is defined as the space of functions \(f\in WM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\) such that
The classical Morrey spaces \(M_{p,\lambda }({\mathbb{R}^{n}})\) were introduced by Morrey in [28] to study the local behavior of solutions to second-order elliptic partial differential equations. For the properties and applications of classical Morrey spaces, we refer the readers to [7, 9, 11, 28, 31]. The generalized Morrey spaces are defined with \(r^{\lambda }\) replaced by a general nonnegative function \(\varphi (r)\) satisfying some assumptions (see, for example, [16, 20, 27, 29, 37], etc.).
In the case \(\alpha =0\), \(\varphi (x,r)=r^{(\lambda -n)/p}\) \(VM_{p,\varphi }^{\alpha ,V}({\mathbb{R}}^{n})\) is the vanishing Morrey space \(VM_{p,\lambda }\) introduced in [40], where applications to PDE were considered.
We refer to [1, 8, 22, 32, 33] for some properties of vanishing generalized Morrey spaces.
Definition 1.3
Let \(L=-\Delta_{\mathbb{H}_{n}}+V\) with \(V\in RH_{Q/2}\). The fractional integral associated with L is defined by
for \(0<\beta <Q\). The commutator of \(\mathcal{I}_{\beta }^{L}\) is defined by
Note that, if \(L=-\Delta_{\mathbb{H}_{n}}\) is the sub-Laplacian on \(\mathbb{H}_{n}\), then \(\mathcal{I}_{\beta }^{L}\) and \([b,\mathcal{I}_{ \beta }^{L}]\) are the Riesz potential \(I_{\beta }\) and the commutator of the Riesz potential \([b,I_{\beta }]\), respectively, that is,
When \(b\in BMO\), Chanillo proved in [6] that \([b,I_{ \beta }]\) is bounded from \(L_{p}({\mathbb{R}}^{n})\) to \(L_{q}({\mathbb{R}} ^{n})\) with \(1/q=1/p-\beta /n\), \(1< p< n/\beta \). When b belongs to the Campanato space \(\Lambda_{\nu }\), \(0<\nu <1\), Paluszynski [30] showed that \([b,I_{\beta }]\) is bounded from \(L_{p}({\mathbb{R}} ^{n})\) to \(L_{q}({\mathbb{R}}^{n})\) with \(1/q=1/p-(\beta +\nu )/n\), \(1< p< n/(\beta +\nu )\). When \(b\in BMO_{\theta }(\rho )\), Bui [4] obtained the boundedness of \([b,\mathcal{I}_{\beta } ^{L}]\) from \(L_{p}({\mathbb{R}}^{n})\) to \(L_{q}({\mathbb{R}}^{n})\) with \(1/q=1/p-\beta /n\), \(1< p< n/\beta \).
Inspired by the results mentioned, we are interested in the boundedness of \([b,\mathcal{I}_{\beta }^{L}]\) on the generalized Morrey spaces \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) and the vanishing generalized Morrey spaces \(VM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) when b belongs to the new Campanato class \(\Lambda_{\nu }^{\theta }( \rho )\).
In this paper, we consider the boundedness of the commutator of \(\mathcal{I}_{\beta }^{L}\) on the central generalized Morrey spaces \(LM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\), the generalized Morrey spaces \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\), and the vanishing generalized Morrey spaces \(VM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\). When b belongs to the new Campanato space \(\Lambda_{\nu }^{\theta }( \rho )\), \(0<\nu <1\), we show that \([b,\mathcal{I}_{\beta }^{L}]\) are bounded from \(LM_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(LM_{q,\varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\), from \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) to \(M_{q,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\), and from \(VM_{p,\varphi }^{\alpha ,V}(\mathbb{H} _{n})\) to \(VM_{q,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\) with \(1/q=1/p-(\beta +\nu )/Q\), \(1< p< Q/(\beta +\nu )\).
Our main results are as follows.
Theorem 1.1
Let \(x_{0} \in \mathbb{H}_{n}\), \(b\in \Lambda_{\nu }^{\theta }(\rho )\), \(V\in RH_{q_{1}}\), \(q_{1}>Q/2\), \(0<\nu <1\), \(\alpha \ge 0\), \(1\le p< Q/(\beta +\nu )\), \(1/q=1/p-(\beta +\nu )/Q\), and let \(\varphi_{1}, \varphi_{2}\in \Omega_{p,loc}^{\alpha ,V}\) satisfy the condition
where \(c_{0}\) does not depend on \(g_{0}\) and r. Then the operator \([b,\mathcal{I}_{\beta }^{L}]\) is bounded from \(M_{p,\varphi_{1}}^{ \alpha ,V}(\mathbb{H}_{n})\) to \(M_{q,\varphi_{2}}^{\alpha ,V}( \mathbb{H}_{n})\) for \(p>1\) and from \(M_{1,\varphi_{1}}^{\alpha ,V}( \mathbb{H}_{n})\) to \(WM_{\frac{Q}{Q-\beta -\nu },\varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\). Moreover, for \(p>1\),
and for \(p=1\),
where C does not depend on f.
Corollary 1.1
Let \(b\in \Lambda_{\nu }^{\theta }(\rho )\), \(V\in RH_{q_{1}}\), \(q_{1}>Q/2\), \(0<\nu <1\), \(\alpha \ge 0\), \(1\le p< Q/(\beta +\nu )\), \(1/q=1/p-(\beta +\nu )/Q\), and let \(\varphi_{1}\in \Omega_{p}^{\alpha ,V}\), \(\varphi_{2} \in \Omega_{q}^{\alpha ,V}\) satisfy the condition
where \(c_{0}\) does not depend on x and r. Then the operator \([b,\mathcal{I}_{\beta }^{L}]\) is bounded from \(M_{p,\varphi_{1}}^{ \alpha ,V}(\mathbb{H}_{n})\) to \(M_{q,\varphi_{2}}^{\alpha ,V}( \mathbb{H}_{n})\) for \(p>1\) and from \(M_{1,\varphi_{1}}^{\alpha ,V}( \mathbb{H}_{n})\) to \(WM_{\frac{Q}{Q-\beta -\nu },\varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\). Moreover, for \(p>1\),
and for \(p=1\),
where C does not depend on f.
Theorem 1.2
Let \(b\in \Lambda_{\nu }^{\theta }(\rho )\), \(V\in RH_{q_{1}}\), \(q_{1}>Q/2\), \(0<\nu <1\), \(\alpha \ge 0\), \(b \in \Lambda_{\nu }^{ \theta }(\rho )\), \(1< p<Q/(\beta +\nu )\), \(1/q=1/p-(\beta +\nu )/Q\), and let \(\varphi_{1}\in \Omega_{p,1}^{\alpha ,V}\), \(\varphi_{2} \in \Omega_{q,1}^{\alpha ,V}\) satisfy the conditions
for every \(\delta >0\) and
where \(C_{0}\) does not depend on \(g\in \mathbb{H}_{n}\) and \(r>0\). Then the operator \([b,\mathcal{I}_{\beta }^{L}]\) is bounded from \(VM_{p, \varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(VM_{q,\varphi_{2}}^{ \alpha ,V}(\mathbb{H}_{n})\) for \(p>1\) and from \(VM_{1,\varphi_{1}} ^{\alpha ,V}(\mathbb{H}_{n})\) to \(VWM_{\frac{Q}{Q-\beta -\nu },\varphi _{2}}^{\alpha ,V}(\mathbb{H}_{n})\).
Remark 1.2
Note that Theorems 1.1 and 1.2 and Corollary 1.1 were proved in [19, Theorems 1.1, 1.2; Corollary 1.1] in the Euclidean setting.
In this paper, we use the symbol \(A\lesssim B\) to indicate that there exists a universal positive constant C, independent of all important parameters, such that \(A\le CB\).
2 Some preliminaries
Let \(\mathbb{H}_{n}\) be a Heisenberg group of dimension \(2n+1\), that is, a nilpotent Lie group with underlying manifold \(\mathbb{R}^{2n}\times \mathbb{R}\). The group structure is given by
The Lie algebra of left-invariant vector fields on \(\mathbb{H}_{n}\) is spanned by
The nontrivial commutation relations are given by \([X_{j}, X_{n+j}]=-4X _{2n+1}, j=1, \ldots , n\). The sub-Laplacian \(\triangle_{\mathbb{H}_{n}}\) is defined by \(\Delta_{\mathbb{H}_{n}}= \sum_{j=1}^{2n}X_{j}^{2}\). The Haar measure on \(\mathbb{H}_{n}\) is simply the Lebesgue measure on \(\mathbb{R}^{2n}\times \mathbb{R}\). The measure of any measurable set \(E\subset \mathbb{H}_{n}\) is denoted by \(|E|\). The homogeneous norm on \(\mathbb{H}_{n}\) is defined by
which leads to the left-invariant distance \(d(g, h)=|g^{-1}h|\) on \(\mathbb{H}_{n}\). The dilations on \(\mathbb{H}_{n}\) have the form \(\delta_{r}(x, t)=(rx, r^{2}t)\), \(r>0\). The Haar measure on this group coincides with the Lebesgue measure \(dx=dx_{1} \ldots dx_{2n} \,dt\). The identity element in \(\mathbb{H}_{n}\) is \(e=0 \in {\mathbb{R}}^{2n+1}\), whereas the element \(g^{-1}\) inverse to \(g=(x,t)\) is \((-x,-t)\).
The ball of radius r and centered at g is \(B(g, r)=\{h\in \mathbb{H}_{n} : |g^{-1}h|< r\}\). Note that \(|B(g,r)|=r^{Q}|B(0,1)|\), where \(Q=2n+2\) is the homogeneous dimension of \(\mathbb{H}_{n}\). If \(B=B(g, r)\), then λB denotes \(B(g, \lambda r)\) for \(\lambda >0\). Clearly, we have \(|\lambda B|=\lambda^{Q}|B|\).
For background on the analysis on the Heisenberg groups, we refer the reader to [13, 38].
We would like to recall the important properties concerning the critical function.
Lemma 2.1
([24])
Let \(V\in RH_{Q/2}\). For the associated function ρ, there exist C and \(k_{0}\ge 1\) such that
for all \(g, h\in \mathbb{H}_{n}\).
Lemma 2.2
([1])
Suppose \(g\in B(g_{0},r)\). Then, for \(k\in {\mathbb{N}}\), we have
The BMO space \(BMO_{\theta }(\mathbb{H}_{n},\rho )\) associated with the Schrödinger operator with \(\theta \ge 0\) is defined as the set of all locally integrable functions b such that
for all \(g\in \mathbb{H}_{n}\) and \(r>0\), where \(b_{B}=\frac{1}{|B|} \int_{B} b(h)\,dh\) (see [3]). The norm for \(b \in BMO _{\theta }(\mathbb{H}_{n},\rho )\), denoted by \([b]_{\theta }\), is given by the infimum of the constants in the inequality above. Clearly, \(BMO(\mathbb{H}_{n})\subset BMO_{\theta }(\mathbb{H}_{n},\rho )\).
Let \(\theta >0\) and \(0<\nu <1\). The seminorm on Campanato class \(\Lambda_{\nu }^{\theta }(\rho )\) is
The Lipschitz space associated with the Schrödinger operator (see [26]) consists of the functions f satisfying
It is easy to see that this space is exactly the Lipschitz space when \(\theta =0\).
Note that if \(\theta =0\) in (1.2), then \(\Lambda_{\nu }^{ \theta }(\rho )\) is the classical Campanato space; if \(\nu =0\), then \(\Lambda_{\nu }^{\theta }(\rho )\) is the space \(BMO_{\theta }(\rho )\); and if \(\theta =0\) and \(\nu =0\), then it is the John–Nirenberg space \(BMO\).
The following embedding between \({\mathrm{Lip}}_{\nu }^{\theta }(\rho )\) and \(\Lambda_{\nu }^{\theta }(\rho )\) was proved in [26, Theorem 5].
Lemma 2.3
([26])
Let \(\theta >0\) and \(0<\nu <1\). Then we have the following embedding:
where \(k_{0}\) is the constant appearing in Lemma 2.1.
We give some inequalities about the Campanato space associated with Schrödinger operator \(\Lambda_{\nu }^{\theta }(\rho )\).
Lemma 2.4
([26])
Let \(\theta >0\) and \(1\le s <\infty \). If \(b\in \Lambda_{\nu }^{\theta }(\rho )\), then there exists a constant \(C>0\) such that
for all \(B=B(g,r)\) with \(g\in \mathbb{H}_{n}\) and \(r>0\), where \(\theta '=(k_{0}+1)\theta \), and \(k_{0}\) is the constant appearing in (2.1).
Let \(K_{\beta }\) be the kernel of \(\mathcal{I}_{\beta }^{L}\). The following result gives an estimate of the kernel \(K_{\beta }(g,y)\).
Lemma 2.5
([4])
If \(V\in RH_{Q/2}\), then, for every N, there exists a constant C such that
Finally, we recall a relationship between essential supremum and essential infimum.
Lemma 2.6
([41])
Let f be a real-valued nonnegative measurable function on E. Then
Lemma 2.7
Let φ be a positive measurable function on \((0,\infty )\), \(1\le p<\infty \), \(\alpha \ge 0\), and \(V\in RH_{q}\), \(q\ge 1\). If
then \(LM_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})=\Theta \), where Θ is the set of all functions equivalent to 0 on \(\mathbb{H}_{n}\).
Lemma 2.8
([1])
Let φ be a positive measurable function on \((0,\infty )\), \(1\le p<\infty \), \(\alpha \ge 0\), and \(V\in RH_{q}\), \(q\ge 1\).
-
(i)
If
$$\begin{aligned} \sup_{t< r< \infty } \biggl(1+\frac{r}{\rho (g)} \biggr)^{\alpha } \frac{r ^{-\frac{Q}{p}}}{\varphi (r)}=\infty \quad \textit{for some } t>0 \textit{ and for all } g\in \mathbb{H}_{n}, \end{aligned}$$(2.4)then \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})=\Theta \).
-
(ii)
If
$$\begin{aligned} \sup_{ 0< r< \tau } \biggl(1+\frac{r}{\rho (g)} \biggr)^{\alpha } \varphi (r)^{-1} = \infty \quad \textit{for some } \tau >0 \textit{ and for all } g\in \mathbb{H}_{n}, \end{aligned}$$(2.5)then \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})=\Theta \).
Remark 2.1
We denote by \(\Omega_{p,loc}^{\alpha ,V}\) the sets of all positive measurable functions φ on \((0,\infty )\) such that, for all \(t>0\),
Moreover, we denote by \(\Omega_{p}^{\alpha ,V}\) (see [1]) the sets of all positive measurable functions φ on \((0,\infty )\) such that, for all \(t>0\),
For the nontriviality of the spaces \(LM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\) and \(M_{p,\varphi }^{\alpha ,V}(\mathbb{H}_{n})\), we always assume that \(\varphi \in \Omega_{p,{\mathrm{loc}}}^{\alpha ,V}\), \(\varphi \in \Omega_{p}^{\alpha ,V}\), respectively.
Remark 2.2
We denote by \(\Omega_{p,1}^{\alpha ,V}\) the set of all positive measurable functions φ on \(\mathbb{H}_{n}\times (0,\infty )\) such that
and
For the nontriviality of the space \(VM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\), we always assume that \(\varphi \in \Omega_{p,1}^{\alpha ,V}\).
3 Proof of Theorem 1.1
We first prove the following conclusions.
Lemma 3.1
Let \(0<\nu <1\), \(0< \beta +\nu <Q\), and \(b\in \Lambda_{\nu }^{\theta }(\rho )\), then the following pointwise estimate holds:
Proof
Note that
If \(b\in \Lambda_{\nu }^{\theta }(\rho )\), then from Lemma 2.5 we have
□
From Lemma 3.1 we get the following:
Corollary 3.1
Suppose \(V\in RH_{q_{1}}\) with \(q_{1} > Q/2\) and \(b\in \Lambda_{ \nu }^{\theta }(\rho )\) with \(0<\nu <1\). Let \(0< \beta +\nu <Q\), and let \(1\le p< q<\infty \) satisfy \(1/q=1/p-(\beta +\nu )/Q\). Then, for all f in \(L_{p}(\mathbb{H}_{n})\), we have
when \(p>1\) and
when \(p=1\).
To prove Theorem 1.1, we need the following new result.
Theorem 3.1
Suppose \(V\in RH_{q_{1}}\) with \(q_{1} > Q/2\), \(b\in \Lambda_{\nu } ^{\theta }(\rho )\), \(\theta >0\), \(0<\nu <1\). Let \(0< \beta +\nu <Q\), and let \(1\le p< q<\infty \) satisfy \(1/q=1/p-(\beta +\nu )/Q\). Then
for all \(f\in L_{\mathrm{loc}}^{p}(\mathbb{H}_{n})\). Moreover, for \(p=1\),
for all \(f\in L_{\mathrm{loc}}^{1}(\mathbb{H}_{n})\).
Proof
For arbitrary \(g_{0}\in \mathbb{H}_{n}\), set \(B=B(g_{0},r)\) and \(\lambda B=B(g_{0},\lambda r)\) for any \(\lambda >0\). We write f as \(f=f_{1}+f_{2}\), where \(f_{1}(h)=f(h)\chi_{B(g_{0},2r)}(h)\), and \(\chi_{B(g_{0},2r)}\) denotes the characteristic function of \(B(g_{0},2r)\). Then
Since \(f_{1}\in L_{p}(\mathbb{H}_{n})\), from the boundedness of \(I_{\beta +\nu }\) from \(L_{p}(\mathbb{H}_{n})\) to \(L_{q}(\mathbb{H} _{n})\) (see [38]) it follows that
To estimate \(\|I_{\beta +\nu }f_{2}\|_{L_{p}(B(g_{0},r))}\), obverse that \(g\in B\) and \(h\in (2B)^{c}\) imply \(|h^{-1}g|\approx |h^{-1}g_{0}|\). Then by (2.2) we have
By Hölder’s inequality we get
Then
for \(1\le p< Q/\beta \). Therefore by (3.1) and (3.3) we get
for \(1< p<Q/\beta \).
When \(p=1\), by the boundedness of \(I_{\beta +\nu }\) from \(L_{1}( \mathbb{H}_{n})\) to \(WL_{\frac{Q}{Q-\beta -\nu }}(\mathbb{H}_{n})\) we get
By (3.3) we have
Then
□
Proof of Theorem 1.1
From Lemma 2.6 we have
Since \(\|f\|_{L_{p}(B(g_{0},t))}\) is a nondecreasing function of t and \(f\in M_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\), we have
Since \(\alpha \ge 0\) and \((\varphi_{1},\varphi_{2})\) satisfies condition (1.5), we have
Then by Theorem 3.1 we get
Let \(q=\frac{Q}{Q-\beta -\nu }\). Similarly to estimates (3.5), we have
Thus by Theorem 3.1 we get
□
4 Proof of Theorem 1.2
We derive the statement from estimate (3.4). The estimation of the norm of the operator, that is, the boundedness in the nonvanishing space, immediately follows by Theorem 1.1. So we only have to prove that
and
To show that \(\sup_{g\in \mathbb{H}_{n}} (1+ \frac{r}{\rho (g)} )^{\alpha } \varphi_{2}(g,r)^{-1} r^{-Q/p} \|[b, \mathcal{I}_{\beta }^{L}]f\|_{L_{q}(B(g,r))}<\varepsilon \) for small r, we split the right-hand side of (3.4):
where \(\delta_{0}>0\) (we may take \(\delta_{0}>1\)), and
and
and we suppose that \(r<\delta_{0}\). We use the fact that \(f \in VM _{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) and choose any fixed \(\delta_{0}>0\) such that
where C and \(C_{0}\) are constants from (1.6) and (4.3). This allows us to estimate the first term uniformly in \(r\in (0,\delta _{0})\):
The estimation of the second term now can be made by the choice of r sufficiently small. Indeed, thanks to condition (2.6), we have
where \(c_{\sigma_{0}}\) is the constant from (1.3). Then, by (2.6) it suffices to choose r small enough such that
which completes the proof of (4.1).
5 Conclusions
In this paper, we study the boundedness of the commutators \([b,\mathcal{I} _{\beta }^{L}]\) with \(b \in \Lambda_{\nu }^{\theta }(\rho )\) on the central generalized Morrey spaces \(LM_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\), generalized Morrey spaces \(M_{p,\varphi }^{\alpha ,V}( \mathbb{H}_{n})\), and vanishing generalized Morrey spaces \(VM_{p, \varphi }^{\alpha ,V}(\mathbb{H}_{n})\) associated with the Schrödinger operator. When b belongs to \(\Lambda_{\nu }^{\theta }(\rho )\) with \(\theta >0\), \(0<\nu <1\) and \((\varphi_{1},\varphi_{2})\) satisfies some conditions, we show that the commutator operator \([b,\mathcal{I}_{\beta }^{L}]\) is bounded from \(LM_{p,\varphi_{1}}^{ \alpha ,V}(\mathbb{H}_{n})\) to \(LM_{q,\varphi_{2}}^{\alpha ,V}( \mathbb{H}_{n})\), from \(M_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(M_{q,\varphi_{2}}^{\alpha ,V}(\mathbb{H}_{n})\), and from \(VM_{p,\varphi_{1}}^{\alpha ,V}(\mathbb{H}_{n})\) to \(VM_{q,\varphi _{2}}^{\alpha ,V}(\mathbb{H}_{n})\), \(1/p-1/q=(\beta +\nu )/Q\).
Our result about the boundedness of \([b,\mathcal{I}_{\beta }^{L}]\) with \(b \in \Lambda_{\nu }^{\theta }(\rho )\) from \(LM_{p,\varphi_{1}}^{ \alpha ,V}(\mathbb{H}_{n})\) to \(LM_{q,\varphi_{2}}^{\alpha ,V}( \mathbb{H}_{n})\) (Theorem 1.1) is based on the local estimate for the commutators \([b,\mathcal{I}_{\beta }^{L}]\) (Theorem 3.1).
References
Akbulut, A., Guliyev, V.S., Omarova, M.N.: Marcinkiewicz integrals associated with Schrödinger operators and their commutators on vanishing generalized Morrey spaces. Bound. Value Probl. 2017, 121 (2017)
Alvarez, J., Lakey, J., Guzman-Partida, M.: Spaces of bounded λ-central mean oscillation, Morrey spaces, and λ-central Carleson measures. Collect. Math. 51(1), 1–47 (2000)
Bongioanni, B., Harboure, E., Salinas, O.: Commutators of Riesz transforms related to Schödinger operators. J. Fourier Anal. Appl. 17(1), 115–134 (2011)
Bui, T.: Weighted estimates for commutators of some singular integrals related to Schrödinger operator. Bull. Sci. Math. 138(2), 270–292 (2014)
Capogna, L., Danielli, D., Pauls, S., Tyson, J.: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem. Progr. Math., vol. 259. Birkhauser, Basel (2007)
Chanillo, S.: A note on commutators. Indiana Univ. Math. J. 31(1), 7–16 (1982)
Chiarenza, F., Frasca, M.: Morrey spaces and Hardy–Littlewood maximal function. Rend. Mat. 7, 273–279 (1987)
Deringoz, F., Guliyev, V.S., Ragusa, M.A.: Intrinsic square functions on vanishing generalized Orlicz–Morrey spaces. Set-Valued Var. Anal. 25(4), 807–828 (2017)
Di Fazio, G., Ragusa, M.A.: Interior estimates in Morrey spaces for strong solutions to nondivergence form equations with discontinuous coefficients. J. Funct. Anal. 112, 241–256 (1993)
Eroglu, A., Gadjiev, T., Namazov, F.: Fractional integral associated to Schrödinger operator on the Heisenberg groups in central generalized Morrey spaces. J. Nonlinear Sci. Appl. 6, 152–161 (2018)
Fan, D., Lu, S., Yang, D.: Boundedness of operators in Morrey spaces on homogeneous spaces and its applications. Acta Math. Sin. New Ser. 14, 625–634 (1998)
Folland, G.B., Stein, E.M.: Estimates for the \(\partial_{b}\)-complex and analysis on the Heisenberg group. Commun. Pure Appl. Math. 27, 429–522 (1974)
Folland, G.B., Stein, E.M.: Hardy Spaces on Homogeneous Groups. Mathematical Notes, vol. 28. Princeton Univ. Press, Princeton (1982)
Guliyev, V.S.: Integral operators on function spaces on the homogeneous groups and on domains in \({\mathbb{R}^{n}}\). Doctor’s degree dissertation. Mat. Inst. Steklov, Moscow (1994) 329 pp. (in Russian)
Guliyev, V.S.: Function Spaces, Integral Operators and Two Weighted Inequalities on Homogeneous Groups. Some Applications. Casioglu, Baku (1999) 332 pp. (in Russian)
Guliyev, V.S.: Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces. J. Inequal. Appl. 2009, Article ID 503948 (2009)
Guliyev, V.S.: Generalized local Morrey spaces and fractional integral operators with rough kernel. J. Math. Sci. (N.Y.) 193(2), 211–227 (2013)
Guliyev, V.S.: Function spaces and integral operators associated with Schrödinger operators: an overview. Proc. Inst. Math. Mech. Natl. Acad. Sci. Azerb. 40, 178–202 (2014)
Guliyev, V.S., Akbulut, A.: Commutator of fractional integral with Lipschitz functions associated with Schrödinger operator on local generalized Morrey spaces. Bound. Value Probl. 2018, 80 (2018)
Guliyev, V.S., Eroglu, A., Mammadov, Y.Y.: Riesz potential in generalized Morrey spaces on the Heisenberg group. J. Math. Sci. (N.Y.) 189(3), 365–382 (2013)
Guliyev, V.S., Gadjiev, T.S., Galandarova, S.: Dirichlet boundary value problems for uniformly elliptic equations in modified local generalized Sobolev–Morrey spaces. Electron. J. Qual. Theory Differ. Equ. 2017, 71 (2017)
Guliyev, V.S., Guliyev, R.V., Omarova, M.N.: Riesz transforms associated with Schrödinger operator on vanishing generalized Morrey spaces. Appl. Comput. Math. 17(1), 56–71 (2018)
Guliyev, V.S., Omarova, M.N., Ragusa, M.A., Scapellato, A.: Commutators and generalized local Morrey spaces. J. Math. Anal. Appl. 457(2), 1388–1402 (2018)
Li, H.Q.: Estimations \(L_{p}\) des opérateurs de Schrödinger sur les groupes nilpotents. Anal. Math. Phys. 161(1), 152–218 (1999)
Liu, Y., Huang, J.Z., Dong, J.F.: 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(9), 1895–1913 (2013)
Liu, Y., Sheng, J.: Some estimates for commutators of Riesz transforms associated with Schrödinger operators. J. Math. Anal. Appl. 419, 298–328 (2014)
Mizuhara, T.: Boundedness of some classical operators on generalized Morrey spaces. In: Igari, S. (ed.) Harmonic Analysis. ICM 90 Satellite Proceedings, pp. 183–189. Springer, Tokyo (1991)
Morrey, C.: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126–166 (1938)
Nakai, E.: Hardy–Littlewood maximal operator, singular integral operators and the Riesz potentials on generalized Morrey spaces. Math. Nachr. 166, 95–103 (1994)
Paluszyński, M.: Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss. Indiana Univ. Math. J. 44(1), 1–17 (1995)
Polidoro, S., Ragusa, M.A.: Sobolev–Morrey spaces related to an ultraparabolic equation. Manuscr. Math. 96(3), 371–392 (1998)
Ragusa, M.A.: Commutators of fractional integral operators on vanishing-Morrey spaces. J. Glob. Optim. 40(1–3), 361–368 (2008)
Samko, N.: Maximal, potential and singular operators in vanishing generalized Morrey spaces. J. Glob. Optim. 57(4), 1385–1399 (2013)
Scapellato, A.: On some qualitative results for the solution to a Dirichlet problem in local generalized Morrey spaces. AIP Conf. Proc. 1798, Article ID UNSP 020138 (2017) https://doi.org/10.1063/1.4972730
Scapellato, A.: Some properties of integral operators on generalized Morrey spaces. AIP Conf. Proc. 1863, Article ID 510004 (2017) https://doi.org/10.1063/1.4992662
Shen, Z.: \(L_{p}\) estimates for Schrödinger operators with certain potentials. Ann. Inst. Fourier (Grenoble) 45(2), 513–546 (1995)
Softova, L.: Singular integrals and commutators in generalized Morrey spaces. Acta Math. Sin. Engl. Ser. 22(3), 757–766 (2006)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Univ. Press, Princeton (1993)
Tang, L., Dong, J.: Boundedness for some Schrödinger type operator on Morrey spaces related to certain nonnegative potentials. J. Math. Anal. Appl. 355, 101–109 (2009)
Vitanza, C.: Functions with vanishing Morrey norm and elliptic partial differential equations. In: Proceedings of Methods of Real Analysis and Partial Differential Equations, Capri, pp. 147–150. Springer, Berlin (1990)
Wheeden, R., Zygmund, A.: Measure and Integral, an Introduction to Real Analysis. Pure and Applied Mathematics, vol. 43. Dekker, New York (1977)
Acknowledgements
The authors thank the referees for careful reading the paper and useful comments.
Funding
The research of V.S. Guliyev was partially supported by the grant of Ahi Evran University Scientific Research Project (FEF.A4.17.008), by the grant of 1st Azerbaijan–Russia Joint Grant Competition (the Agreement number No. EIF-BGM-4-RFTF-1/2017-21/01/1) and by the Ministry of Education and Science of the Russian Federation (Agreement number: 02.a03.21.0008). The research of A. Akbulut was partially supported by the grant of Ahi Evran University Scientific Research Project (FEF.A4.18.011).
Author information
Authors and Affiliations
Contributions
This work was carried out in collaboration between all authors. VSG raised these interesting problems in the research. VSG, AA, and FMN proved the theorems, interpreted the results, and wrote the paper. All authors defined the research theme and read and approved the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Guliyev, V.S., Akbulut, A. & Namazov, F.M. Morrey-type estimates for commutator of fractional integral associated with Schrödinger operators on the Heisenberg group. Adv Differ Equ 2018, 273 (2018). https://doi.org/10.1186/s13662-018-1730-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1730-8