- Research
- Open access
- Published:
Properties of solutions to fractional p-subLaplace equations on the Heisenberg group
Boundary Value Problems volume 2020, Article number: 128 (2020)
Abstract
The aim of this paper is to study properties of solutions to the fractional p-subLaplace equations on the Heisenberg group. Based on the maximum principles and the generalization of the direct method of moving planes, we obtain the symmetry and monotonicity of the solutions on the whole group and the Liouville property of solutions on a half space.
1 Introduction
Let
be the fractional p-subLaplacian on the Heisenberg group \({{\mathbb{H}}^{n}}\), where \(0< s <1\), \(Q=2n+2\), \({{C}_{Q,s}}\) is a positive constant, and PV is the Cauchy principal value. In this paper we study the properties of cylindrical solutions to the fractional p-subLaplace equation
where \(2\leq p< \infty \).
Recall that the fractional Laplacian in \({{\mathbb{R}}^{n}}\) is a nonlocal pseudodifferential operator defined by
where \(0<\alpha <1\), \({{C}_{n,\alpha }}\) is a constant, and u belongs to the Schwartz space. Since the nonlocal property of the operator \({(-\Delta )}^{\alpha }\) brings new difficulties to investigate, Caffarelli and Silvestre in [4] developed the extension method which can reduce the nonlocal problem relating to \({(-\Delta )}^{\alpha }\) to a local one in higher dimensions. This method has been applied to deal with equations involving the fractional Laplacian, and fruitful results have been obtained, see [3] and the references therein. Chen et al. [7] developed a direct method of moving planes to handle the problem involving \({(-\Delta )}^{\alpha }\) for \(0<\alpha <1\), and this direct method has been used successfully to study symmetry, monotonicity, and nonexistence for many fractional Laplace equations, see [6, 7] and the references therein. Recently, Chen and Li [6] considered the fractional p-Laplacian
and obtained the radial symmetry and monotonicity of solutions to the equations involving operator (1.4).
To the elliptic equation
in \({{\mathbb{R}}^{n}}\), Li and Ni [19] proved that the positive solutions to (1.5) are radially symmetric with the assumptions that the limit of u is zero at the infinity and \({g}'\le 0\) if u is sufficiently small. Under the same conditions, the authors in [6] extended the result in [19] to the fractional p-Laplace equation
and got the radial symmetry and monotonicity of the solutions. They also pointed out that the fractional p-Laplacian becomes p-Laplacian as \(\alpha \rightarrow 1\) and, furthermore, it reduces to −Δ when \(p=2\).
There are many interesting results about subLaplace and p-subLaplace equations on the Heisenberg group (see [13, 15, 17, 18] and [10, 11, 20, 21, 25–27]). There have been several different definitions of the fractional power subLaplacian in \({{\mathbb{H}}^{n}}\) (see [12, 14, 22] etc.). The definition of fractional power subLaplacian given by Roncal and Thangavelu in [22] is indeed a generalization of the definition given by Cowling and Haagerup in [9] about the heat semigroup. The fractional power subLaplace equations can also be studied by generalizing the extension method in [4] to \({{\mathbb{H}}^{n}}\), although the fractional power subLaplacian \((-{{\Delta }_{\mathbb{H}}})^{s}\) (\(0< s<1\)) does not have the concrete integral expression, for example, see [14] and [8] for \(s=\frac{1}{2}\). There are also some results of the fractional power subLaplacian which are the extension of [8], see [23, 24]. Note that the expression of fractional power subLaplacian on \({{\mathbb{H}}^{n}}\) (see [22])
is the special form of fractional p-subLaplacian (1.1). By extending the method of moving planes in [5–7] to \({{\mathbb{H}}^{n}}\), in this paper, we study the properties of the solutions to (1.2) on \({{\mathbb{H}}^{n}}\) and \(\mathbb{H}_{+}^{n}=\{\xi \in {{\mathbb{H}}^{n}}\mid t>0\}\).
Our main results are the following.
Theorem 1.1
Let\(0< s<1\), \(2\leq p<\infty \), and\(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\)be a nonnegative cylindrical solution to (1.2) with
and suppose that\({f}'(a)\)is nonpositive and locally bounded forasufficiently small. Thenumust be symmetric and monotone with respect totabout some point in\({{\mathbb{H}}^{n}}\).
Theorem 1.2
Let\(0< s<1\), \(2\leq p<\infty \), and\(u\in {{L}_{sp}}({{\mathbb{H}}_{+}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{ \mathbb{H}}_{+}^{n}})\)be a nonnegative cylindrical solution to the problem
and suppose thatusatisfies (1.8) and is lower semicontinuous on\(\bar{\mathbb{H}}_{+}^{n}\). If\(f(0)=0\), \({f}'(a)\)is nonpositive and locally bounded forasufficiently small, then\(u\equiv 0\).
Observe that Theorem 1.1 is the extension of symmetry and monotonicity of solutions to the fractional p-Laplace equation on \({{\mathbb{R}}^{n}}\) in [6] to the Heisenberg group, and Theorem 1.2 is the Liouville property on a half space in \({{\mathbb{H}}^{n}}\). When \(f(a)=-a+a^{q}\) (\(q>1\)), our results still hold.
The authors in [22] assumed that \(u\in C_{0}^{\infty }({{\mathbb{H}}^{n}})\) in (1.7). We point out that (1.1) is also well defined for \(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\), where
The paper is organized as follows. Section 2 collects some well-known results on \({\mathbb{H}}^{n}\), and we show that (1.1) is well defined for \(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\). In Sect. 3, we establish three maximum principles. Theorem 1.1 and Theorem 1.2 are proved in Sect. 4.
2 Preliminaries
The Heisenberg group \({\mathbb{H}}^{n}\) is the Euclidean space \({{\mathbb{R}}^{2n+1}}(n\ge 1)\) endowed with the group law ∘:
where \(\xi =({{x}_{1}},\ldots,{{x}_{n}},{{y}_{1}},\ldots,{{y}_{n}},t):=(x,y,t) \in {\mathbb{R}}^{n}\times {\mathbb{R}}^{n}\times {\mathbb{R}}\) and \(\bar{\xi }=(\bar{x},\bar{y},\bar{t})\). Denote by \(\delta _{\kappa }\) the dilations on \({{\mathbb{H}}^{n}}\), i.e.,
which satisfy \({{\delta }_{\kappa }}(\bar{\xi }\circ \xi )={{\delta }_{\kappa }}( \bar{\xi })\circ {{\delta }_{\kappa }}(\xi )\).
The left invariant vector fields corresponding to \({\mathbb{H}}^{n}\) are
It is easy to check that \({{X}_{i}}\) and \({{Y}_{j}}\) satisfy
The Heisenberg gradient of a function u is defined by
and the subLaplacian \({{\Delta }_{\mathbb{H}}}\) on \({\mathbb{H}}^{n}\) is
The family \(\{ {{X}_{1}},\ldots,{{X}_{n}},{{Y}_{1}},\ldots, {{Y}_{n}} \} \) satisfies Hörmander’s rank condition (see [16]) which implies that \({{\Delta }_{\mathbb{H}}}\) is hypoelliptic and the maximum principle holds for solutions to the equation involving \({{\Delta }_{\mathbb{H}}}\) (see [2]).
The integer \(Q=2n+2\) is called the homogeneous dimension of \({\mathbb{H}}^{n}\). Denote by \({{ \vert \xi \vert }_{\mathbb{H}}}\) the distance from ξ to the zero (see [13])
Authors in [22] used the norm \(\vert (z,w) \vert ={{(\sum_{i=1}^{n}{({{x}_{i}}^{2}+{{y}_{i}}^{2}})^{2}}}+16{{t}^{2}}{{)}^{ \frac{1}{4}}}\) for \((x,y,t):=(z,w)\in {{\mathbb{H}}^{n}}\), which is equivalent to (2.5). The distance between two points of \({\mathbb{H}}^{n}\) is defined by
where \(\eta ^{-1}\) denotes the inverse of η with respect to ∘, that is, \(\eta ^{-1}=-\eta \). The open ball of radius \(R>0\) centered at ξ is the set
It is well known that \(\xi \to {{ \vert \xi \vert }_{\mathbb{H}}}\) is homogeneous of degree one with respect to \(\delta _{\kappa }\) and
where \(\vert \cdot \vert \) denotes the Lebesgue measure.
A function u is called the cylindrical function if
where \((x,y,t)\in {{\mathbb{H}}^{n}}\), \(r={{({{ \vert x \vert }^{2}}+{{ \vert y \vert }^{2}})}^{ \frac{1}{2}}}\).
Proposition 2.1
For\(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\), the operator in (1.1) is well defined.
Proof
For any \(\xi \in {{\mathbb{H}}^{n}}\),
where ε is sufficiently small. Noting that \(u\in C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\), \(Q+sp-p< Q\), and \(Q+sp-2p+2< Q\), we know that \(I_{1}\) and \(I_{2}\) are finite; \(I_{3}\) is clearly convergent when \({{ \vert \xi \vert }_{\mathbb{H}}}\to \infty \); and \(I_{4}\) is finite from \(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\). Hence, (1.1) is well defined. □
3 Maximum principles
In this section, we prove three maximum principles which will be used in the process of moving planes. These maximum principles are on a bounded domain in \({{\mathbb{H}}^{n}}\), on a bounded domain in the left domain of some hyperplane, and on a narrow region.
Lemma 3.1
LetΩbe a bounded domain in\({{\mathbb{H}}^{n}}\). Assume\(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\)is lower semicontinuous onΩ̄and satisfies
then
Furthermore, if\(u=0\)at some point inΩ, then
These conclusions also hold on the unbounded regionΩif we further assume that
Proof
Suppose that (3.2) is not true, then by the lower semicontinuity of u on Ω̄ there exists \({{\xi }^{0}}\in \bar{\varOmega }\) such that
From (3.1), we know that \({{\xi }^{0}}\) is a point in Ω, and
which contradicts (3.1). This implies (3.2).
If there exists some point \({{\xi }^{0}}\in \varOmega \) such that \(u({{\xi }^{0}})=0\), then
Using \(u(\xi )\ge 0\), we have \(u(\xi )=0\) almost everywhere in \({{\mathbb{H}}^{n}}\).
For an unbounded region Ω, the condition \(\underline{\lim }_{{{ \vert \xi \vert }_{\mathbb{H}}}\to \infty } u(\xi )\ge 0\) implies that the negative minimum \({{\xi }^{0}}\) of u cannot be reached at infinity. Then the condition of lower semicontinuity ensures that the proof can go on as above. The proof is ended. □
Let \(T_{\lambda }\) be a hyperplane in \({{\mathbb{H}}^{n}}\) defined by
Denote by \(\tilde{\xi }=(y,x,2\lambda -t)\) the H-reflection of \(\xi =(x,y,t)\) about the plane \(T_{\lambda }\) and by
the region in the left of the plane \(T_{\lambda }\). Letting
and using the H-refection (see [1]), we have
Set
Lemma 3.2
LetΩbe a bounded domain in\({{\varSigma }_{\lambda }}\). Assume that the cylindrical function\(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\)is lower semicontinuous onΩ̄and satisfies
then
Furthermore, if\(w_{\lambda }=0\)at some point inΩ, then
These conclusions also hold for the unbounded regionΩif we further assume that
Proof
Suppose that (3.4) is incorrect. By the lower semicontinuity of \(w_{\lambda }\) on Ω̄, there exists \({{\xi }^{0}}\in \bar{\varOmega }\) such that
For simplicity, we denote
Note that \(G(a)\) is increasing and \({G}'(a)=(p-1){{ \vert a \vert }^{p-2}}\ge 0\). A direct calculation gives
For \(J_{1}\), we have for any \({{\xi }^{0}},\eta \in {{\varSigma }_{\lambda }}\),
By the monotonicity of G and the fact that
is nonpositive but not identity to 0, we deduce that
is also nonpositive but not identity to 0. So we have
For \(J_{2}\), by the mean value theorem,
In fact, if \(u_{\lambda }(\eta )\ge u(\eta )\), then we have \(w_{\lambda }(\eta )\ge 0\), i.e., (3.4) holds. If \(u_{\lambda }(\eta )> u(\eta )\), we know G is strictly increasing, then \({G}'(g(\eta ))\ge 0\) and \({G}'(h(\eta ))\ge 0\). Hence, we have (3.7).
Putting (3.6) and (3.7) into (3.5) implies
This contradicts (3.3) and we obtain (3.4).
If there exists some point \({{\xi }^{0}}\in \varOmega \) such that \({{w}_{\lambda }}({{\xi }^{0}})=0\), then (3.5) holds and \({{J}_{2}}\ge 0\). Hence from the first inequality in (3.3) we have \({{J}_{1}}\ge 0\), and by the monotonicity of G,
We have, for almost all \(\eta \in {{\varSigma }_{\lambda }}\),
Using (3.4), we have
From the antisymmetry of \({{w}_{\lambda }}\),
 □
Lemma 3.3
LetΩbe a bounded narrow domain in\({{\varSigma }_{\lambda }}\)and locate in\(\{\xi\mid \lambda -l< t<\lambda \}\)for small l. Assume that the cylindrical function\(u\in {{L}_{sp}}({{\mathbb{H}}^{n}})\cap C_{\mathrm{loc}}^{1,1}({{\mathbb{H}}^{n}})\)is lower semicontinuous onΩ̄. If\(c(x)\)is bounded from below inΩandusatisfies
then
Furthermore, if\(w_{\lambda }=0\)at some point inΩ, then
These conclusions also hold for the unbounded regionΩif we further assume that
Proof
By the proof of Lemma 3.2, we have
Obviously,
Similar to (3.6), we know
Denote
Combining (3.10), (3.11), and \(I_{1}<0\), we have
Noting that \({{\xi }^{0}}\) is a negative minimum of \({{w}_{\lambda }}\), we infer \(\nabla {{w}_{{{\lambda }_{0}}}}({{\xi }^{0}})=0\), and so
i.e.,
Now (3.12) and (3.13) contradict (3.8), and then (3.9) is proved. □
4 Proof of the main results
Following the idea in [6], we first use Lemma 3.1, Lemma 3.2, and Lemma 3.3 to prove Theorem 1.1.
Proof of Theorem 1.1
First we check that for λ sufficiently negative it holds
Indeed, suppose that (4.1) is violated, then by (1.8) there exists a point \(\xi ^{0} \in {{\varSigma }_{\lambda }}\) such that
i.e., \({{u}_{\lambda }}({{\xi }^{0}})\le {{\varsigma }_{\lambda }}({{\xi }^{0}}) \le u({{\xi }^{0}})\). Note by (1.2) that
where \({{\varsigma }_{\lambda }}(\xi )\) between \({{u}_{\lambda }}(\xi )\) and \(u(\xi )\). For sufficiently negative λ, \(u({{\xi }^{0}})\) is small by (1.8), hence so is \({{\varsigma }_{\lambda }}({{\xi }^{0}})\). Due to the condition of \({f}'\), we have \({f}'({{\varsigma }_{\lambda }}({{\xi }^{0}}))\le 0\). From (4.2),
On the other hand, it follows by the proof of Lemma 3.2 that
This contradicts (4.3), and hence (4.1) is proved.
The above result provides the starting point of moving planes. Let us move the plane \(T_{\lambda }\) to the right as long as (4.1) holds to its limiting position
We will show that
i.e.,
In fact, suppose that (4.6) is false, we have by Lemma 3.2 that
From the definition of \({{\lambda }_{0}}\), there exist a sequence \({{\lambda }_{k}}\to {{\lambda }_{0}}\) and a point \({{\xi }^{k}}\in {{\varSigma }_{{{\lambda }_{k}}}}\) such that
Note that
If \({{ \vert {{\xi }^{k}} \vert }_{\mathbb{H}}}\) is sufficiently large, then \(u({{\xi }^{k}})\) is small and so \({{\varsigma }_{{{\lambda }_{k}}}}({{\xi }^{k}})\) is also small, this implies \({f}'({{\varsigma }_{{{\lambda }_{k}}}}({{\xi }^{k}}))\le 0\) (because \({f}'(a)\le 0\) for the sufficiently small a). It follows
But this contradicts the fact that \({{\xi }^{k}}\) is a negative minimum of \({{w}_{{{\lambda }_{k}}}}\) (see Lemma 3.2). Hence, \(\{ {{\xi }^{k}} \}\) is bounded, i.e., the sequence \(\{ {{\xi }^{k}} \}\) is bounded.
It follows that the subsequence of \(\{ {{\xi }^{k}} \} \) converges to some point \({{\xi }^{0}}\). Then (4.8) means that, for \({{\xi }^{0}}\in \partial {{\varSigma }_{{{\lambda }_{0}}}}\),
Particularly,
Applying (4.9), we have
which is a contradiction with Lemma 3.3. Therefore,
Similarly, we can move the plane from +∞ to the left to get
Then (4.6) follows by combining (4.10) and (4.11). Finally, we see that u must be symmetric and monotone with respect to t about some point. □
Next, we give the proof of Theorem 1.2.
Proof of Theorem 1.2
By condition (1.8) and \(f(0)=0\), we claim
In fact, suppose that the conclusion \(u(\xi )>0\) is not correct, we will verify \(u(\xi )\equiv 0\). The lower semicontinuity of u on \(\mathbb{H}_{+}^{n}\) implies that there exists \({{\xi }^{0}}\in \bar{\mathbb{H}}_{+}^{n}\) such that
and then
Hence \(\int _{\mathbb{H}_{+}^{n}}{ \frac{-u(\eta ){{ \vert u(\eta ) \vert }^{p-2}}}{{{ \vert {{\eta }^{-1}}\circ {{\xi }^{0}} \vert }_{\mathbb{H}}}^{Q+sp}}}\,d \eta =0\), and then \(u(\xi )\equiv 0\), \(\xi \in \mathbb{H}_{+}^{n}\).
In the sequel, we only need to treat the case \(u>0\) on \(\mathbb{H}_{+}^{n}\). Let us employ the method of moving planes to u along the t direction and denote
and
The H-reflection of \(\xi =(x,y,t)\) about \(T_{\lambda }^{+}\) is \({{\xi }^{\lambda }}=(y,x,2\lambda -t)\), and let
If \(\lambda >0\) is sufficiently small, we deduce from Lemma 3.3 with \(\varOmega =\varSigma _{\lambda }^{+}\) and \({{\varSigma }_{\lambda }}=\varSigma _{\lambda }^{+}\cup ({{\mathbb{H}}^{n}} \setminus \mathbb{H}_{+}^{n})\) that on the narrow region \(\varSigma _{\lambda }^{+}\),
This provides the starting point of moving planes. Now we will explain that the plane \(T_{\lambda }^{+}\) can be moved to the infinity so that (4.12) holds. Let
and we will prove
In fact, if \({{\lambda }_{0}}<\infty \), then we claim that \(T_{\lambda }^{+}\) can be moved further to the right, that is, there exists \(\sigma >0\) such that, for any \(\lambda \in ({{\lambda }_{0}},{{\lambda }_{0}}+\sigma )\),
This will contradict the definition of \({{\lambda }_{0}}\), and hence (4.13) holds.
At present, we prove (4.14). If \({{ \vert \xi \vert }_{\mathbb{H}}}\) is sufficiently large, then (4.14) is true by using the similar proof to (4.1) in Theorem 1.1. This implies that there exists some \({{R}_{0}}>0\) such that (4.14) holds true on \(\mathbb{H}_{+}^{n}\setminus {{B}_{\mathbb{H}}}(0,{{R}_{0}})\). Next we point out that (4.14) is also true on \({{B}_{\mathbb{H}}}(0,{{R}_{0}})\). Noting \({{\lambda }_{0}}<\infty \) and using Lemma 3.2, we find that on \(\xi \in \varSigma _{\lambda _{0} }^{+}\cap {{B}_{\mathbb{H}}}(0,{{R}_{0}})\),
or
In the case \({{w}_{{{\lambda }_{0}}}}(\xi )\equiv 0\), we observe by the boundary conditions of u that \(u(\xi )\equiv 0\). On the other hand, (4.15) implies that there exists small \(\delta >0\) such that
Since \({{w}_{\lambda }}\) relies continuously on λ, there exists \(\sigma >\varepsilon >0\) such that
Since \((\varSigma _{{{\lambda }_{0}}+\varepsilon }^{+}\setminus \varSigma _{{{ \lambda }_{0}}-\delta }^{+})\cap {{B}_{\mathbb{H}}}(0,{{R}_{0}})\) is a narrow region, we have by Lemma 3.3
and therefore (4.14) is proved.
Using (4.13) and Lemma 3.2 once again, it follows that, for any \(\xi \in \varSigma _{\lambda }^{+}\) (here \(0\le \lambda \le \infty \)),
or
For (4.19), we can use the boundary condition of u to obtain \(u(\xi )\equiv 0\). In addition, it follows from (4.18) that \(u(\xi )\) is strictly increasing, which contradicts the boundary condition of u and (1.8). □
References
Birindelli, I., Prajapat, J.: Nonlinear Liouville theorems in the Heisenberg group via the moving plane method. Commun. Partial Differ. Equ. 24(9–10), 1875–1890 (1999)
Bony, J.M.: Principe du Maximum, Inegalite de Harnack et unicite du probleme de Cauchy pour les operateurs ellipitiques degeneres. Ann. Inst. Fourier (Grenoble) 19, 277–304 (1969)
Brändle, C., Colorado, E., de Pablo, A., Sánchez, U.: A concave convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb. 143, 39–71 (2013)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 2, 1245–1260 (2007)
Chen, W., Li, C.: Methods on Nonlinear Elliptic Equations. AIMS Book Series, vol. 4 (2010)
Chen, W., Li, C.: Maximum principles for the fractional p-Laplacian and symmetry of solutions. Adv. Math. 335, 735–758 (2018)
Chen, W., Li, C., Li, Y.: A direct method of moving planes for the fractional Laplacian. Adv. Math. 308, 404–437 (2016)
Cinti, E., Tan, J.: A nonlinear Liouville theorem for fractional equations in the Heisenberg group. J. Math. Anal. Appl. 433, 434–454 (2016)
Cowling, M., Haagerup, U.: Completely bounded multipliers of the Fourier algebra of a simple Lie group of real rank one. Invent. Math. 96, 507–549 (1989)
Dou, J., Niu, P.: Nonexistence of weak solutions for p-sub-Laplacian inequalities on the Heisenberg group. J. Jilin Univ. Sci. Ed. 44, 163–169 (2006)
Dou, J., Niu, P., Yuan, Z.: A Hardy inequality with remainder terms in the Heisenberg group and the weighted eigenvalue problem. J. Inequal. Appl. 2007(1), 1 (2007)
Ferrari, F., Franchi, B.: Harnack inequality for fractional Laplacians in Carnot groups. Math. Z. 279, 435–458 (2015)
Folland, G.B., Stein, E.M.: Estimates for the \(\overline{\partial}_{b}\) complex and analysis on the Heisenberg group. Commun. Pure Appl. Math. 27(4), 429–522 (1974)
Frank, R., Gonzalez, M., Monticelli, D., Tan, J.: An extension problem for the CR fractional Laplacian. Adv. Math. 270, 97–137 (2015)
Garofalo, N., Lanconelli, E.: Existence and nonexistence results for semilinear equations on the Heisenberg group. Indiana Univ. Math. J. 41, 71–98 (1992)
Hörmander, L.: Hypoelliptic second order differential equations. Acta Math. 119, 147–171 (1967)
Jerison, D.: Boundary regularity in the Dirichlet problem for \(\Box _{b}\) on CR manifolds. Commun. Pure Appl. Math. 36(2), 143–181 (1983)
Jerison, D.S., Lee, J.M.: The Yamabe problem on CR manifolds. J. Differ. Geom. 25, 167–197 (1987)
Li, Y., Ni, W.M.: Radial symmetry of positive solutions of nonlinear elliptic equations in \(R^{n}\). Commun. Partial Differ. Equ. 18, 1043–1054 (1993)
Liu, H., Niu, P.: Maximum principles of nonhomogeneous subelliptic p-Laplace equations and applications. J. Partial Differ. Equ. 4, 289–303 (2006)
Liu, H., Niu, P.: Growth estimates to subelliptic p-Laplace equations on Heisenberg group. J. Grad. Sch. Chin. Acad. Sci. 24(1), 18–24 (2007)
Roncal, L., Thangavelu, S.: Hardy’s inequality for fractional powers of the subLaplacian on the Heisenberg group. Adv. Math. 302, 106–158 (2016)
Wang, X., Cui, X., Niu, P.: A Liouville theorem for the semilinear fractional CR covariant equation on the Heisenberg group. Complex Var. Elliptic Equ. 64(8), 1325–1344 (2019)
Wang, X., Niu, P., Cui, X.: A Liouville type theorem to an extension problem relating to the Heisenberg group. Commun. Pure Appl. Anal. 17(6), 2379–2394 (2018)
Wei, N., Niu, P., Liu, H.: Dirichlet eigenvalue ratios for the p-sub-Laplacian in the Carnot group. J. Partial Differ. Equ. 22(1), 1–10 (2009)
Yuan, Z., Niu, P.: A Hopf type principle and a strong maximum principle for the p-sub-Laplacian on the group of Heisenberg type. J. Math. Res. Expo. 27(3), 605–612 (2007)
Yuan, Z., Niu, P.: Some Liouville type theorems for the p-sub-Laplacian on the group of Heisenberg type. J. Partial Differ. Equ. 3, 193–207 (2008)
Availability of data and materials
Not applicable.
Funding
This work is supported by the National Natural Science Foundation of China (11701162); National Science Foundation of Shandong Province of China (ZR2019MA067); Research Fund for the Doctoral Program of Hubei University of Economics (XJ16BS28); and Guangxi Natural Science Foundation (2017GXNSFBA198130).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wang, X., Du, G. Properties of solutions to fractional p-subLaplace equations on the Heisenberg group. Bound Value Probl 2020, 128 (2020). https://doi.org/10.1186/s13661-020-01425-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01425-1