Abstract
Let \(\mathcal{L}=-\Delta _{\mathbb{H}^{n}}+V\) be a Schrödinger operator on the Heisenberg group \(\mathbb{H}^{n}\), where \(\Delta _{\mathbb{H}^{n}}\) is the sub-Laplacian on \(\mathbb{H}^{n}\) and the nonnegative potential V belongs to the reverse Hölder class \(RH_{s}\) with \(s\geq Q/2\). Here \(Q=2n+2\) is the homogeneous dimension of \(\mathbb{H}^{n}\). For given \(\alpha \in (0,Q)\), the fractional integrals associated to the Schrödinger operator \(\mathcal{L}\) is defined by \(\mathcal{I}_{\alpha }={\mathcal{L}}^{-{\alpha }/2}\). In this article, we first introduce the Morrey space \(L^{p,\kappa }_{\rho , \infty }(\mathbb{H}^{n})\) and weak Morrey space \(WL^{p,\kappa }_{ \rho ,\infty }(\mathbb{H}^{n})\) related to the nonnegative potential V. Then we establish the boundedness of fractional integrals \({\mathcal{L}}^{-{\alpha }/2}\) on these new spaces. Furthermore, in order to deal with certain extreme cases, we also introduce the spaces \(\operatorname{BMO}_{\rho ,\infty }(\mathbb{H}^{n})\) and \(\mathcal{C}^{ \beta }_{\rho ,\infty }(\mathbb{H}^{n})\) with exponent \(\beta \in (0,1]\).
Similar content being viewed by others
1 Introduction
1.1 Heisenberg group \(\mathbb{H}^{n}\)
The Heisenberg group \(\mathbb{H}^{n}\) is a nilpotent Lie group with underlying manifold \(\mathbb{C}^{n}\times \mathbb{R}\). The group structure (the multiplication law) is given by
where \(z=(z_{1},z_{2},\ldots ,z_{n})\), \(z'=(z_{1}',z_{2}',\ldots ,z_{n}') \in \mathbb{C}^{n}\), and
It can be easily seen that the inverse element of \(u=(z,t)\) is \(u^{-1}=(-z,-t)\), and the identity is the origin \((0,0)\). The Lie algebra of left-invariant vector fields on \(\mathbb{H}^{n}\) is spanned by
All non-trivial commutation relations are given by
The sub-Laplacian \(\Delta _{\mathbb{H}^{n}}\) is defined by
The dilations on \(\mathbb{H}^{n}\) have the following form:
For given \((z,t)\in \mathbb{H}^{n}\), the homogeneous norm of \((z,t)\) is given by
Observe that \(|(z,t)^{-1}|=|(z,t)|\) and
In addition, this norm \(|\cdot |\) satisfies the triangle inequality and leads to a left-invariant distance \(d(u,v)=|u^{-1}\cdot v|\) for \(u=(z,t), v=(z',t')\in \mathbb{H}^{n}\). The ball of radius r centered at u is denoted by
The Haar measure on \(\mathbb{H}^{n}\) coincides with 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|\). For \((u,r)\in \mathbb{H}^{n}\times (0,\infty )\), it can be shown that the volume of \(B(u,r)\) is
where \(Q:=2n+2\) is the homogeneous dimension of \(\mathbb{H} ^{n}\) and \(|B(0,1)|\) is the volume of the unit ball in \(\mathbb{H} ^{n}\). A direct calculation shows that
Given a ball \(B=B(u,r)\) in \(\mathbb{H}^{n}\) and \(\lambda >0\), we shall use the notation λB to denote \(B(u,\lambda r)\). Clearly, we have
For more information about the harmonic analysis on the Heisenberg groups, we refer the reader to [12, Chapter XII] and [13].
Let \(V:\mathbb{H}^{n}\rightarrow \mathbb{R}\) be a nonnegative locally integrable function that belongs to the reverse Hölder class \(RH_{s}\) for some exponent \(1< s< \infty \); i.e., there exists a positive constant \(C>0\) such that the reverse Hölder inequality
holds for every ball B in \(\mathbb{H}^{n}\). For given \(V\in RH_{s}\) with \(s\geq Q/2\), we introduce the critical radius function \(\rho (u)=\rho (u;V)\) which is given by
where \(B(u,r)\) denotes the ball in \(\mathbb{H}^{n}\) centered at u and with radius r. It is well known that this auxiliary function satisfies \(0<\rho (u)<\infty \) for any \(u\in \mathbb{H}^{n}\) under the above assumption on V (see [9]). We need the following well-known result concerning the critical radius function (1.2).
Lemma 1.1
([9])
If \(V\in RH_{s}\) with \(s\geq Q/2\), then there exist constants \(C_{0}\geq 1\) and \(N_{0}>0\) such that, for all u and v in \(\mathbb{H}^{n}\),
Lemma 1.1 is due to Lu [9]. In the setting of \(\mathbb{R}^{n}\), this result was given by Shen in [10]. As a straightforward consequence of (1.3), we can see that, for each integer \(k\geq 1\), the estimate
holds for any \(v\in B(u,r)\) with \(u\in \mathbb{H}^{n}\) and \(r>0\), \(C_{0}\) is the same as in (1.3).
1.2 Fractional integrals
First we recall the fractional power of the Laplacian operator on \(\mathbb{R}^{n}\). For given \(\alpha \in (0,n)\), the classical fractional integral operator \(I^{\Delta }_{\alpha }\) (also referred to as the Riesz potential) is defined by
where Δ is the Laplacian operator on \(\mathbb{R}^{n}\). If \(f\in \mathcal{S}(\mathbb{R}^{n})\), then, by virtue of the Fourier transform, we have
Comparing this to the Fourier transform of \(|x|^{-\alpha }\), \(0<\alpha <n\), we are led to redefine the fractional integral operator \(I^{\Delta }_{\alpha }\) by
where
with \(\varGamma (\cdot )\) being the usual gamma function. It is well known that the Hardy–Littlewood–Sobolev theorem states that the fractional integral operator \(I^{\Delta }_{\alpha }\) is bounded from \(L^{p}( \mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\) for \(0<\alpha <n\), \(1< p< n/{\alpha }\) and \(1/q=1/p-{\alpha }/n\). Also we know that \(I^{\Delta }_{\alpha }\) is bounded from \(L^{1}(\mathbb{R}^{n})\) to \(WL^{q}(\mathbb{R}^{n})\) for \(0<\alpha <n\) and \(q=n/{(n-\alpha )}\) (see [11]).
Next we are going to discuss the fractional integrals on the Heisenberg group. For given \(\alpha \in (0,Q)\) with \(Q=2n+2\), the fractional integral operator \(I_{\alpha }\) (also referred to as the Riesz potential) is defined by (see [14])
where \(\Delta _{\mathbb{H}^{n}}\) is the sub-Laplacian on \(\mathbb{H} ^{n}\) defined above. Let f and g be integrable functions defined on \(\mathbb{H}^{n}\). Define the convolution \(f*g\) by
We denote by \(H_{s}(u)\) the convolution kernel of heat semigroup \(\{T_{s}=e^{s\Delta _{\mathbb{H}^{n}}}:s>0 \}\). Namely,
For any \(u=(z,t)\in \mathbb{H}^{n}\), it was proved in [14, Theorem 4.2] that \(I_{\alpha }\) can be expressed by the following formula:
Let \(V\in RH_{s}\) for \(s\geq Q/2\). For such a potential V, we consider the time independent Schrödinger operator on \(\mathbb{H} ^{n}\) (see [8]),
and its associated semigroup
where \(P_{s}(u,v)\) denotes the kernel of the operator \(e^{-s \mathcal{L}},s>0\). For any \(u=(z,t)\in \mathbb{H}^{n}\), it is well known that the heat kernel \(H_{s}(u)\) has the explicit expression
and hence it satisfies the following estimate (see [5] for instance):
where the constants \(C,A>0\) are independent of s and \(u\in \mathbb{H}^{n}\). Since \(V\geq 0\), by the Trotter product formula and (1.8), one has
Moreover, this estimate (1.9) can be improved when V belongs to the reverse Hölder class \(RH_{s}\) for some \(s\geq Q/2\). The auxiliary function \(\rho (u)\) arises naturally in this context.
Lemma 1.2
Let \(V\in RH_{s}\) with \(s\geq Q/2\), and let \(\rho (u)\) be the auxiliary function determined by V. For every positive integer \(N\geq 1\), there exists a positive constant \(C_{N}>0\) such that, for all u and v in \(\mathbb{H}^{n}\),
This estimate of \(P_{s}(u,v)\) is better than (1.9), which was given by Lin and Liu in [8, Lemma 7].
Inspired by (1.6) and (1.7), for given \(\alpha \in (0,Q)\), the \(\mathcal{L}\)-fractional integral operator or \(\mathcal{L}\)-Riesz potential on the Heisenberg group is defined by (see [6] and [7])
Recall that in the setting of \(\mathbb{R}^{n}\), this integral operator was first introduced by Dziubański et al. [3]. In this article we shall be interested in the behavior of the fractional integral operator \(\mathcal{I}_{\alpha }\) associated to Schrödinger operator on \(\mathbb{H}^{n}\). For \(1\leq p<\infty \), the Lebesgue space \(L^{p}(\mathbb{H}^{n})\) is defined to be the set of all measurable functions f on \(\mathbb{H}^{n}\) such that
The weak Lebesgue space \(WL^{p}(\mathbb{H}^{n})\) consists of all measurable functions f on \(\mathbb{H}^{n}\) such that
Now we are going to establish strong-type and weak-type estimates of the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\) on the Lebesgue spaces. We first claim that the estimate
holds for all \(u\in \mathbb{H}^{n}\). Let us verify (1.10). To do so, denote by \(\mathcal{K}_{\alpha }(u,v)\) the kernel of the fractional integral operator \(\mathcal{I}_{\alpha }\). Then we have
Hence,
Moreover, by using (1.9), we can deduce that
where in the second step we have used a change of variables. Thus (1.10) holds. According to Theorems 4.4 and 4.5 in [14], we get the Hardy–Littlewood–Sobolev theorem on the Heisenberg group.
Theorem 1.3
Let \(0<\alpha <Q\) and \(1\leq p< Q/{\alpha }\). Define \(1< q<\infty \) by the relation \(1/q=1/p-{\alpha }/Q\). Then the following statements are valid:
-
(1)
if \(p>1\), then \(\mathcal{I}_{\alpha }\) is bounded from \(L^{p}( \mathbb{H}^{n})\) to \(L^{q}(\mathbb{H}^{n})\);
-
(2)
if \(p=1\), then \(\mathcal{I}_{\alpha }\) is bounded from \(L^{1}( \mathbb{H}^{n})\) to \(WL^{q}(\mathbb{H}^{n})\).
The organization of this paper is as follows. In Sect. 2, we will give the definitions of Morrey space and weak Morrey space and state our main results: Theorems 2.3, 2.4, and 2.5. Section 3 is devoted to proving the boundedness of the fractional integral operator in the context of Morrey spaces. We will study certain extreme cases in Sect. 4. Throughout this paper, C represents a positive constant that is independent of the main parameters, but may be different from line to line, and a subscript is added when we wish to make clear its dependence on the parameter in the subscript. We also use \(a\approx b\) to denote the equivalence of a and b; that is, there exist two positive constants \(C_{1}\), \(C_{2}\) independent of a, b such that \(C_{1}a\leq b\leq C_{2}a\).
2 Main results
In this section, we introduce some types of Morrey spaces related to the nonnegative potential V on \(\mathbb{H}^{n}\), and then give our main results.
Definition 2.1
Let ρ be the auxiliary function determined by \(V\in RH_{s}\) with \(s\geq Q/2\). Let \(1\leq p<\infty \) and \(0\leq \kappa <1\). For given \(0<\theta <\infty \), the Morrey space \(L^{p,\kappa }_{\rho ,\theta }( \mathbb{H}^{n})\) is defined to be the set of all p-locally integrable functions f on \(\mathbb{H}^{n}\) such that
for every ball \(B=B(u_{0},r)\) in \(\mathbb{H}^{n}\). A norm for \(f\in L^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\), denoted by \(\|f\|_{L^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})}\), is given by the infimum of the constants in (2.1), or equivalently,
where the supremum is taken over all balls \(B=B(u_{0},r)\) in \(\mathbb{H}^{n}\), \(u_{0}\) and r denote the center and radius of B, respectively. Define
For any given \(f\in L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\), let
Now define
It is easy to check that \(\|\cdot \|_{\star }\) satisfies the axioms of a norm; i.e., that for \(f,g\in L^{p,\kappa }_{\rho ,\infty }( \mathbb{H}^{n})\) and \(\lambda \in \mathbb{R}\) we have
-
\(\|f\|_{\star }\geq 0\);
-
\(\|f\|_{\star }=0\Leftrightarrow f=0\);
-
\(\|\lambda f\|_{\star }=|\lambda |\|f\|_{\star }\);
-
\(\|f+g\|_{\star }\leq \|f\|_{\star }+\|g\|_{\star }\).
Definition 2.2
Let ρ be the auxiliary function determined by \(V\in RH_{s}\) with \(s\geq Q/2\). Let \(1\leq p<\infty \) and \(0\leq \kappa <1\). For given \(0<\theta <\infty \), the weak Morrey space \(WL^{p,\kappa }_{\rho , \theta }(\mathbb{H}^{n})\) is defined to be the set of all measurable functions f on \(\mathbb{H}^{n}\) such that
for every ball \(B=B(u_{0},r)\) in \(\mathbb{H}^{n}\), or equivalently,
Correspondingly, we define
For any given \(f\in WL^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\), let
Similarly, we define
By definition, we can easily show that \(\|\cdot \|_{\star \star }\) satisfies the axioms of a (quasi)norm, and \(WL^{p,\kappa }_{\rho , \infty }(\mathbb{H}^{n})\) is a (quasi)normed linear space. Obviously, if we take \(\theta =0\) or \(V\equiv 0\), then this Morrey space (or weak Morrey space) is just the Morrey space \(L^{p,\kappa }(\mathbb{H}^{n})\) (or \(WL^{p,\kappa }(\mathbb{H}^{n})\)), which was defined by Guliyev et al. [4]. Moreover, according to the above definitions, one has
for \(0<\theta _{1}<\theta _{2}<\infty \). Hence \(L^{p,\kappa }( \mathbb{H}^{n})\subset L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) and \(WL^{p,\kappa }(\mathbb{H}^{n})\subset WL^{p,\kappa }_{\rho , \infty }(\mathbb{H}^{n})\) for \((p,\kappa )\in [1,\infty )\times [0,1)\). The space \(L^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\) (or \(WL^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\)) could be viewed as an extension of Lebesgue (or weak Lebesgue) space on \(\mathbb{H}^{n}\) (when \(\kappa =\theta =0\)). In this article we will extend the Hardy–Littlewood–Sobolev theorem on \(\mathbb{H}^{n}\) to the Morrey spaces. We now present our main results.
Theorem 2.3
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(V\in RH_{s}\) with \(s\geq Q/2\) and \(0<\kappa <p/q\), then the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\) is bounded from \(L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) into \(L^{q,{(\kappa q)}/p}_{\rho ,\infty }(\mathbb{H}^{n})\).
Theorem 2.4
Let \(0<\alpha <Q\), \(p=1\) and \(q=Q/{(Q-\alpha )}\). If \(V\in RH_{s}\) with \(s\geq Q/2\) and \(0<\kappa <1/q\), then the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\) is bounded from \(L^{1, \kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) into \(WL^{q,(\kappa q)}_{ \rho ,\infty }(\mathbb{H}^{n})\).
Before stating our next theorem, we need to introduce a new space \(\operatorname{BMO}_{\rho ,\infty }(\mathbb{H}^{n})\) defined by
where for \(0<\theta <\infty \) the space \(\operatorname{BMO}_{\rho ,\theta }( \mathbb{H}^{n})\) is defined to be the set of all locally integrable functions f satisfying
for all \(u_{0}\in \mathbb{H}^{n}\) and \(r>0\), \(f_{B(u_{0},r)}\) denotes the mean value of f on \(B(u_{0},r)\), that is,
A norm for \(f\in \operatorname{BMO}_{\rho ,\theta }(\mathbb{H}^{n})\), denoted by \(\|f\|_{\operatorname{BMO}_{\rho ,\theta }}\), is given by the infimum of the constants satisfying (2.2), or equivalently,
where the supremum is taken over all balls \(B(u_{0},r)\) with \(u_{0}\in \mathbb{H}^{n}\) and \(r>0\). Recall that in the setting of \(\mathbb{R}^{n}\), the space \(\operatorname{BMO}_{\rho ,\theta }(\mathbb{R} ^{n})\) was first introduced by Bongioanni et al. [2] (see also [1]).
Moreover, given any \(\beta \in [0,1]\), we introduce the space of Hölder continuous functions on \(\mathbb{H}^{n}\), with exponent β.
where for \(0<\theta <\infty \) the space \(\mathcal{C}^{\beta }_{\rho , \theta }(\mathbb{H}^{n})\) is defined to be the set of all locally integrable functions f satisfying
for all \(u_{0}\in \mathbb{H}^{n}\) and \(r\in (0,\infty )\). The smallest bound C for which (2.3) is satisfied is then taken to be the norm of f in this space and is denoted by \(\|f\|_{\mathcal{C}^{ \beta }_{\rho ,\theta }}\). When \(\theta =0\) or \(V\equiv 0\), \(\operatorname{BMO}_{\rho ,\theta }(\mathbb{H}^{n})\) and \(\mathcal{C}^{ \beta }_{\rho ,\theta }(\mathbb{H}^{n})\) will be simply written as \(\operatorname{BMO}(\mathbb{H}^{n})\) and \(\mathcal{C}^{\beta }(\mathbb{H} ^{n})\), respectively. Note that when \(\beta =0\) this space \(\mathcal{C}^{\beta }_{\rho ,\theta }(\mathbb{H}^{n})\) reduces to the space \(\operatorname{BMO}_{\rho ,\theta }(\mathbb{H}^{n})\) mentioned above.
For the case \(\kappa \geq p/q\) of Theorem 2.3, we will prove the following result.
Theorem 2.5
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(V\in RH_{s}\) with \(s\geq Q/2\) and \(p/q\leq \kappa <1\), then the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\) is bounded from \(L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) into \(\mathcal{C}^{\beta }_{\rho ,\infty }(\mathbb{H}^{n})\) with \(\beta /Q=\kappa /p-1/q\) and β sufficiently small. To be more precise, \(\beta <\delta \leq 1\) and δ is given as in Lemma 4.2.
In particular, for the limiting case \(\kappa =p/q\) (or \(\beta =0\)), we obtain the following result on BMO-type estimate of \(\mathcal{I}_{ \alpha }\).
Corollary 2.6
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(V\in RH_{s}\) with \(s\geq Q/2\) and \(\kappa =p/q\), then the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\) is bounded from \(L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) into \(\operatorname{BMO}_{\rho ,\infty }(\mathbb{H}^{n})\).
3 Proofs of Theorems 2.3 and 2.4
In this section, we will prove the conclusions of Theorems 2.3 and 2.4. Let us recall that the \(\mathcal{L}\)-fractional integral operator of order \(\alpha \in (0,Q)\) can be written as
where
The following lemma gives the estimate of the kernel \(\mathcal{K}_{ \alpha }(u,v)\) related to the Schrödinger operator \(\mathcal{L}\), which plays a key role in the proof of our main theorems.
Lemma 3.1
Let \(V\in RH_{s}\) with \(s\geq Q/2\) and \(0<\alpha <Q\). For every positive integer \(N\geq 1\), there exists a positive constant \(C_{N,\alpha }>0\) such that, for all u and v in \(\mathbb{H}^{n}\),
Proof
By Lemma 1.2 and (3.1), we have
We consider two cases \(s>|v^{-1}u|^{2}\) and \(0\leq s\leq |v^{-1}u|^{2}\), respectively. Thus, \(|\mathcal{K}_{\alpha }(u,v)|\leq I+\mathit{II}\), where
and
When \(s>|v^{-1}u|^{2}\), then \(\sqrt{s }>|v^{-1}u|\), and hence
where the last integral converges because \(0<\alpha <Q\). On the other hand,
It is easy to see that, when \(0\leq s\leq |v^{-1}u|^{2}\),
Hence,
Combining the estimates of I and II yields the desired estimate (3.2) for \(\alpha \in (0,Q)\). This concludes the proof of the lemma. □
We are now ready to show our main theorems.
Proof of Theorem 2.3
By definition, we only need to show that, for any given ball \(B=B(u_{0},r)\) of \(\mathbb{H}^{n}\), there is some \(\vartheta >0\) such that
holds for given \(f\in L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) with \((p,\kappa )\in (1,Q/{\alpha })\times (0,p/q)\). Suppose that \(f\in L^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\) for some \(\theta >0\). We decompose the function f as
where 2B is the ball centered at \(u_{0}\) of radius \(2r>0\), \(\chi _{2B}\) is the characteristic function of 2B and \((2B)^{c}= \mathbb{H}^{n}\backslash (2B)\). Then, by the linearity of \(\mathcal{I}_{\alpha }\), we write
In what follows, we consider each part separately. By Theorem 1.3 (1), we have
Also observe that, for any fixed \(\theta >0\),
This in turn implies that
Next we estimate the other term \(I_{2}\). Notice that, for any \(u\in B(u_{0},r)\) and \(v\in (2B)^{c}\), one has
and
Thus,
i.e., \(|v^{-1}u|\approx |v^{-1}u_{0}|\). It then follows from Lemma 3.1 that, for any \(u\in B(u_{0},r)\) and any positive integer N,
In view of (1.4) and (3.4), we can further obtain
We consider each term in the sum of (3.6) separately. By using Hölder’s inequality, we find that, for each integer \(k\geq 1\),
This allows us to obtain
Thus, by choosing N large enough so that \(N>\theta \), and the last series is convergent, then we have
where the last inequality follows from the fact that \(1/q-\kappa /p>0\). Summing up the above estimates for \(I_{1}\) and \(I_{2}\) and letting \(\vartheta =\max \{\theta ,N\cdot \frac{N_{0}}{N_{0}+1} \}\), we obtain the desired inequality (3.3). This completes the proof of Theorem 2.3. □
Proof of Theorem 2.4
To prove Theorem 2.4, by definition, it suffices to prove that, for each given ball \(B=B(u_{0},r)\) of \(\mathbb{H}^{n}\), there is some \(\vartheta >0\) such that
holds for given \(f\in L^{1,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) with \(0<\kappa <1/q\) and \(q=Q/{(Q-\alpha )}\). Now suppose that \(f\in L^{1,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\) for some \(\theta >0\). We decompose the function f as
Then, for any given \(\lambda >0\), by the linearity of \(\mathcal{I} _{\alpha }\), we can write
We first give the estimate for the term \(J_{1}\). By Theorem 1.3 (2), we get
Therefore, in view of (3.4),
As for the second term \(J_{2}\), by using the pointwise inequality (3.6) and Chebyshev’s inequality, we can deduce that
We consider each term in the sum of (3.8) separately. For each integer \(k\geq 1\), we compute
Consequently,
Therefore, by selecting N large enough so that \(N>\theta \), we thus have
where the last step is due to the fact that \(0<\kappa <1/q\). Let \(\vartheta =\max \{\theta ,N\cdot \frac{N_{0}}{N_{0}+1} \}\). Here N is an appropriate constant. Summing up the above estimates for \(J_{1}\) and \(J_{2}\), and then taking the supremum over all \(\lambda >0\), we obtain the desired inequality (3.7). This finishes the proof of Theorem 2.4. □
4 Proof of Theorem 2.5
We need the following lemma which establishes the Lipschitz regularity of the kernel \(P_{s}(u,v)\). See Lemma 11 and Remark 4 in [8].
Lemma 4.1
([8])
Let \(V\in RH_{s}\) with \(s\geq Q/2\). For every positive integer \(N\geq 1\), there exists a positive constant \(C_{N}>0\) such that, for all u and v in \(\mathbb{H}^{n}\), and for some fixed \(0<\delta \leq 1\),
whenever \(|h|\leq |v^{-1}u|/2\).
Based on the above lemma, we are able to prove the following result, which plays a key role in the proof of our main theorem.
Lemma 4.2
Let \(V\in RH_{s}\) with \(s\geq Q/2\) and \(0<\alpha <Q\). For every positive integer \(N\geq 1\), there exists a positive constant \(C_{N,\alpha }>0\) such that, for all u, v and w in \(\mathbb{H}^{n}\), and for some fixed \(0<\delta \leq 1\),
whenever \(|v^{-1}u|\leq |w^{-1}u|/2\).
Proof
In view of Lemma 4.1 and (3.1), we have
Arguing as in the proof of Lemma 3.1, consider two cases as below: \(s>|w^{-1}u|^{2}\) and \(0\leq s\leq |w^{-1}u|^{2}\). Then the right-hand side of the above expression can be written as \(\mathit{III}+\mathit{IV}\), where
and
When \(s>|w^{-1}u|^{2}\), then \(\sqrt{s }>|w^{-1}u|\), and hence
where the last equality holds since \(|u^{-1}v|=|v^{-1}u|\) and \(0<\alpha <Q\). On the other hand,
It is easy to check that when \(0\leq s\leq |w^{-1}u|^{2}\),
This in turn implies that
where the last step holds because \(|u^{-1}v|=|v^{-1}u|\). Combining the estimates of III and IV produces the desired inequality (4.1) for \(\alpha \in (0,Q)\). This concludes the proof of the lemma. □
We are now in a position to give the proof of Theorem 2.5.
Proof of Theorem 2.5
Fix a ball \(B=B(u_{0},r)\) with \(u_{0}\in \mathbb{H}^{n}\) and \(r\in (0,\infty )\), it suffices to prove that the inequality
holds for given \(f\in L^{p,\kappa }_{\rho ,\infty }(\mathbb{H}^{n})\) with \(1< p< q<\infty \) and \(p/q\leq \kappa <1\), where \(0<\alpha <Q\) and \((\mathcal{I}_{\alpha }f)_{B}\) denotes the average of \(\mathcal{I} _{\alpha }f\) over B. Suppose that \(f\in L^{p,\kappa }_{\rho ,\theta }(\mathbb{H}^{n})\) for some \(\theta >0\). Decompose the function f as \(f=f_{1}+f_{2}\), where \(f_{1}=f\cdot \chi _{4B}\), \(f_{2}=f\cdot \chi _{(4B)^{c}}\), \(4B=B(u_{0},4r)\) and \((4B)^{c}=\mathbb{H}^{n}\backslash (4B)\). By the linearity of the \(\mathcal{L}\)-fractional integral operator \(\mathcal{I}_{\alpha }\), the left-hand side of (4.2) can be written as
Let us consider the first term \(K_{1}\). Applying the strong-type \((p,q)\) estimate of \(\mathcal{I}_{\alpha }\) (see Theorem 1.3) and Hölder’s inequality, we obtain
Using the inequalities (1.1) and (3.4), and noting the fact that \(\beta /Q=\kappa /p-1/q\), we derive
Let us now turn to the estimate of the second term \(K_{2}\). For any \(u\in B(u_{0},r)\),
By using the same arguments as for Theorem 2.3, we find that
whenever \(u,v\in B\) and \(w\in (4B)^{c}\). This fact along with Lemma 4.2 yields
Furthermore, by using Hölder’s inequality and (1.4), we deduce that, for any \(u\in B(u_{0},r)\),
where the last equality is due to the assumption \(\beta /Q=\kappa /p-1/q\). From the pointwise estimate (4.4) and (1.1), it readily follows that
where \(N>0\) is a sufficiently large number so that \(N>\theta \). Also observe that \(\beta <\delta \leq 1\), and hence the last series is convergent. Therefore,
Fix this N and set \(\vartheta =\max \{\theta ,N\cdot \frac{N _{0}}{N_{0}+1} \}\). Finally, combining the above estimates for \(K_{1}\) and \(K_{2}\), the inequality (4.2) is proved and then the proof of Theorem 2.5 is finished. □
In the end of this article, we discuss the corresponding estimates of the fractional integral operator \(I_{\alpha }=(-\Delta _{\mathbb{H} ^{n}})^{-\alpha /2}\) (under \(0<\alpha <Q\)). We denote by \(K^{*}_{ \alpha }(u,v)\) the kernel of \(I_{\alpha }=(-\Delta _{\mathbb{H}^{n}})^{- \alpha /2}\). In (1.10), we have already shown that
Using the same methods and steps as we deal with (4.1) in Lemma 4.2, we can also show that, for some fixed \(0<\delta \leq 1\) and \(0<\alpha <Q\), there exists a positive constant \(C_{\alpha ,n}>0\) such that, for all u, v and w in \(\mathbb{H}^{n}\),
whenever \(|v^{-1}u|\leq |w^{-1}u|/2\). Following along the lines of the proof of Theorems 2.3–2.5 and using the inequalities (4.5) and (4.6), we can obtain the following estimates of \(I_{\alpha }\) with \(\alpha \in (0,Q)\).
Theorem 4.3
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(0<\kappa <p/q\), then the fractional integral operator \(I_{\alpha }\) is bounded from \(L^{p,\kappa }(\mathbb{H}^{n})\) into \(L^{q,{(\kappa q)}/p}( \mathbb{H}^{n})\).
Theorem 4.4
Let \(0<\alpha <Q\), \(p=1\) and \(q=Q/{(Q-\alpha )}\). If \(0<\kappa <1/q\), then the fractional integral operator \(I_{\alpha }\) is bounded from \(L^{1,\kappa }(\mathbb{H}^{n})\) into \(WL^{q,(\kappa q)}(\mathbb{H} ^{n})\).
Here, we remark that Theorems 4.3 and 4.4 have been proved by Guliyev et al. [4].
Theorem 4.5
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(p/q\leq \kappa <1\), then the fractional integral operator \(I_{\alpha }\) is bounded from \(L^{p,\kappa }(\mathbb{H}^{n})\) into \(\mathcal{C} ^{\beta }(\mathbb{H}^{n})\) with \(\beta /Q=\kappa /p-1/q\) and \(\beta <\delta \leq 1\), where δ is given as in (4.6).
As an immediate consequence we have the following corollary.
Corollary 4.6
Let \(0<\alpha <Q\), \(1< p< Q/{\alpha }\) and \(1/q=1/p-{\alpha }/Q\). If \(\kappa =p/q\), then the fractional integral operator \(I_{\alpha }\) is bounded from \(L^{p,\kappa }(\mathbb{H}^{n})\) into \(\operatorname{BMO}( \mathbb{H}^{n})\).
Upon taking \(\alpha =1\) in Theorem 4.5, we get Morrey’s lemma on the Heisenberg group.
Corollary 4.7
Let \(\alpha =1\), \(1< p< Q\) and \(1/q=1/p-1/Q\). If \(p/q<\kappa <1\), then the fractional integral operator \(I_{1}\) is bounded from \(L^{p,\kappa }( \mathbb{H}^{n})\) into \(\mathcal{C}^{\beta }(\mathbb{H}^{n})\) with \(\beta /Q=\kappa /p-1/q\) and \(\beta <\delta \leq 1\), where δ is given as in (4.6). From this, it follows that, for any given \(f\in C^{1}_{c}(\mathbb{H}^{n})\), i.e., f is \(C^{1}\)-smooth with compact support in \(\mathbb{H}^{n}\),
where \(0<\kappa <1\), \(p>(1-\kappa )Q\), \(\beta =1-{(1-\kappa )Q}/p\) and the gradient \(\nabla _{\mathbb{H}^{n}}\) is defined by
References
Bongioanni, B., Harboure, E., Salinas, O.: Commutators of Riesz transforms related to Schrödinger operators. J. Fourier Anal. Appl. 17, 115–134 (2011)
Bongioanni, B., Harboure, E., Salinas, O.: Weighted inequalities for commutators of Schrödinger–Riesz transforms. J. Math. Anal. Appl. 392, 6–22 (2012)
Dziubański, J., Garrigós, G., Martínez, T., Torrea, J.L., Zienkiewicz, J.: BMO spaces related to Schrödinger operators with potentials satisfying a reverse Hölder inequality. Math. Z. 249, 329–356 (2005)
Guliyev, V.S., Eroglu, A., Mammadov, Y.Y.: Riesz potential in generalized Morrey spaces on the Heisenberg group. J. Math. Sci. (N.Y.) 189, 365–382 (2013)
Jerison, D., Sanchez-Calle, A.: Estimates for the heat kernel for a sum of squares of vector fields. Indiana Univ. Math. J. 35, 835–854 (1986)
Jiang, Y.S.: Some properties of the Riesz potential associated to the Schrödinger operator on the Heisenberg groups. Acta Math. Sin. (Chin. Ser.) 53, 785–794 (2010)
Jiang, Y.S.: Endpoint estimates for fractional integral associated to Schrödinger operators on the Heisenberg groups. Acta Math. Sci. Ser. B 31, 993–1000 (2011)
Lin, C.C., Liu, H.P.: \(\mathit{BMO}_{L}(\mathbb{H}^{n})\) spaces and Carleson measures for Schrödinger operators. Adv. Math. 228, 1631–1688 (2011)
Lu, G.Z.: A Fefferman–Phong type inequality for degenerate vector fields and applications. Panam. Math. J. 6, 37–57 (1996)
Shen, Z.W.: \(L^{p}\) estimates for Schrödinger operators with certain potentials. Ann. Inst. Fourier (Grenoble) 45, 513–546 (1995)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Thangavelu, S.: Harmonic Analysis on the Heisenberg Group. Progress in Mathematics, vol. 159. Birkhäuser, Basel (1998)
Xiao, J.S., He, J.X.: Riesz potential on the Heisenberg group. J. Inequal. Appl. 2011, Article ID 498638 (2011)
Acknowledgements
The author would like to express his deep gratitude to the referee for his valuable comments and suggestions.
Availability of data and materials
Not applicable.
Funding
There is no funding to report for this submission.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has 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
Wang, H. Morrey spaces related to certain nonnegative potentials and fractional integrals on the Heisenberg groups. J Inequal Appl 2019, 232 (2019). https://doi.org/10.1186/s13660-019-2180-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2180-x