Abstract
We extend the celebrate De Giorgi-Nash-Moser theory to a wide class of nonlinear equations driven by nonlocal, possibly degenerate, integro-differential operators, whose model is the fractional p-Laplacian operator on the Heisenberg-Weyl group \(\mathbb {H}^n\). Among other results, we prove that the weak solutions to such a class of problems are bounded and Hölder continuous, by also establishing general estimates as fractional Caccioppoli-type estimates with tail and logarithmic-type estimates.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of the present paper is to prove some regularity results for the (weak) solutions to a wide class of nonlinear integro-differential equations.
Let \(\Omega \) be an open bounded subset of the Heisenberg group \(\mathbb {H}^n\), for \(n\ge 1\), the class of problems we are dealing with are the following,
where the nonlocal boundary datum g belongs to the fractional space \( W^{s,p}(\mathbb {H}^n)\), the datum \(f \equiv f(\cdot ,u) \in L^\infty _{\text {loc}}(\mathbb {H}^n)\) locally uniformly in \(\Omega \), and the leading operator \({\mathcal {L}}\) is an integro-differential operator of differentiability exponent \(s\in (0,1)\) and summability exponent \(p>1\) given by
with \(d_{\text {o}}\) being a homogeneous norm on \(\mathbb {H}^n\), and \(Q=2n+2\) the usual homogeneous dimension of \(\mathbb {H}^n\). In the display above, the symbol \(P.~\!V.\) stands for “in the principal value sense”. We immediately refer the reader to Sect. 2 for the precise definitions of the involved quantities and related properties, as well as further observations in order to relax some of the assumptions presented above.
As a model example in the class of the problems in (1.1), one can consider the classic fractional Dirichlet problem, despite in such a case the difficulties arising from the nonlinear growth in the definition in (1.2) actually disappear; that is,
where as usual the symbol \((-\Delta _{\mathbb {H}^n})^s\) refers to the fractional sublaplacian on the Heisenberg group, defined in the suitable fractional Sobolev spaces \(H^s(\mathbb {H}^n)\) for any \(s\in (0,1)\) as follows,
In the Gagliardo-type kernel above, the symbol \(|\cdot |_{\mathbb {H}^n}\) denotes the standard Heisenberg gauge.
In the last decades, a great attention has been focused on the study of problems involving fractional equations, both from a pure mathematical point of view and for concrete applications since they naturally arise in many different contexts. Despite its relatively short history, the literature is really too wide to attempt any comprehensive treatment in a single paper; we refer for instance to the paper [20] for an elementary introduction to fractional Sobolev spaces and for a quite extensive (but still far from exhaustive) list of related references. For what concerns the regularity and related results, the theory in the fractional Euclidean case has very recently shown many fundamental progresses. In this respect, by solely focusing on the specific goal of the present manuscript, which does basically consist in the generalization of the celebrated De Giorgi-Nash-Moser theory to the fractional Heisenberg setting, even in the nonlinear case when \(p\ne 2\), many important results for the Euclidean counterpart of (1.1) have been obtained, as for instance boundedness, Harnack inequalities, and Hölder continuity (up to the boundary) for the fractional p-Dirichlet problem in [4, 18, 19, 33, 36]; for a survey on the results in the aforementioned papers and other related investigations, we refer the interested reader to the paper [40].
For what concerns specifically the fractional panorama in the Heisenberg group, we first stress that one can find different definitions of the involved operator and related extremely different approaches. In the case when \(p=2\), an explicit integral definition can be found in the relevant paper [45], where several Hardy inequalities for the conformally invariant fractional powers of the sublaplacian are proven, also paying attention to the sharpness of the involved constants, and thus extending to the Heisenberg group some of the important results in [26], as well as extending to the fractional framework some Heisenberg type uncertainty inequalities proven for the sublaplacian in [14]. We refer also to [10] for related Hardy and uncertainty inequalities on general stratified Lie groups, involving fractional powers of the Laplacian, and also to [1], where, among other important results, Sobolev and Morrey-type embeddings are derived for fractional order Sobolev spaces.
Still in the linear case when \(p=2\), very relevant results have been obtained based on the construction of fractional operators via a Dirichlet-to-Neumann map associated to degenerate elliptic equation, as firstly seen for the Euclidean framework in [8]. For this, we would like to mention the very general approach in the recent series of papers [27, 28]; the Liouville-type theorem in [11]; the Harnack and Hölder results in Carnot groups in [22]; the results in the context of CR geometry in [25]; the connection with the fractional perimeters of sets in Carnot group in [23].
For what concerns the more general situation as in (1.2) when a p-growth exponent is considered, in our knowledge, a regularity theory is very far from be complete; nonetheless, very interesting estimates have been proven, as, e. g., in [30, 31, 50], and fundamental functional inequalities have been very recently obtained in the nonlocal framework even for more general metric spaces (see [21]).
It is worth noticing that the equation in (1.1) inherits both the difficulties arising from the noneuclidean geometrical structure and those naturally arising from the nonlocal character of the involved integro-differential operators. More than this, it is worth pointing out that the fractional operators \(\mathcal {L}\) in (1.2) present as well the typical issues given by their nonlinear growth behavior. For this, some very important tools recently introduced in the nonlocal theory and successfully applied in the fractional sublaplacian on the Heisenberg group, as the celebrated Caffarelli-Silvestre ( [8]) s-harmonic extension mentioned above, and the approach via Fourier representation, as well as other successful tricks, like for instance the pseudo-differential commutator compactness in [41], the commutator estimates in [46], and many others, seem not to be adaptable to the framework considered here. However, even in the nonlinear noneuclidean framework considered here, we will be able to extend part of the strategy developed in [18, 19] where it has been introduced a special quantity, the nonlocal tail of a fractional function, which has revealed to play a fundamental role to understand the nonlocality of the nonlinear operator \(\mathcal {L}\). In our settings, the nonlocal tail of a function \(u \in W^{s,p}(\mathbb {H}^n)\) in a ball \(B_R(\xi _0) \subset \mathbb {H}^n\) of radius \(R>0\) and centered in \(\xi _0\in \mathbb {H}^n\), is defined as follows,
In the standard Euclidean framework, the nonlocal tail has already proven to be a keypoint in the proofs when a fine quantitative control of the long-range interactions, naturally arising when dealing with nonlocal operators as in (1.2), is needed. As mentioned before, right after its introduction, this quantity has been subsequently used in many recent results on nonlinear fractional equations; see for instance the subsequent results proven in [4, 33,34,35,36] and the references therein.
We are now in a position to state our main results. Here below we assume that the datum \(f \equiv f(\cdot ,u)\) belongs to \(L^\infty _{\text {loc}}(\mathbb {H}^n)\) locally uniformly in \(\Omega \). However, as we will remark in forthcoming Sect. 2.2, such an assumption can be suitably replaced; see in particular Remark 2.11 there. Our first result describes the local boundedness of weak subsolutions.
Theorem 1.1
(Local boundedness) Let \(s \in (0,1)\) and \(p \in (1,\infty )\), let \(u \in W^{s,p}(\mathbb {H}^n)\) be a weak subsolution to (1.1), and let \(B_r \equiv B_r(\xi _0) \subset \Omega \). Then the following estimate holds true, for any \(\delta \in (0,1]\),
where \(Tail (u_+;\xi _0,r/2)\) is defined in (1.5), \(u_+:=\max \left\{ u,\, 0\right\} \) is the positive part of the function u, and the constant \({\textbf {c}}\) depends only on n, p, s and \(\Vert f\Vert _{L^\infty (B_r)}\).
We would like to stress the presence of the parameter \(\delta \) which allows an interpolation between the local and nonlocal terms in (1.6). In our knowledge, the boundedness result presented in Theorem 1.1 above is new even in the linear case when \(p=2\).
The second result provides the desired local Hölder continuity for the weak solutions to problem (1.1). As expected, the nonlocal tail of the solutions naturally arises in the main estimate.
Theorem 1.2
(Hölder continuity) Let \(s \in (0,1)\), \(p \in (1,\infty )\), and let \(u \in W^{s,p}(\mathbb {H}^n)\) be a solution to (1.1). Then u is locally Hölder continuous in \(\Omega \). In particular, there are constants \(\alpha < sp/(p-1)\) and \({\textbf {c}}>0\), both depending only on n, p, s and \(\Vert f\Vert _{L^\infty (B_r)}\), such that if \(B_{2r}(\xi _0) \subset \Omega \) then
for every \(\rho \in (0,r)\).
The theorem above provides an extension of the classical results by De Giorgi-Nash-Moser to the nonlocal framework on the Heisenberg group. In the linear case, when \(p=2\), for what concerns classical Hölder regularity results for linear integro-differential operators in a very wide class of metric measure spaces, we refer to the important paper by Chen et Kumagai [9]. Still in the linear case, it is also worth mentioning some related regularity results in [22], where the authors deal with linear operators related to (1.2) by making use of the Neumann-to-Dirichlet extension, which – as said above – is not applicable in our nonlinear setting.
In both the proof of the Hölder continuity result and that of the local boundedness one, a crucial role is played by the precise estimates stated in the following theorems, the Caccioppoli-type estimate (see Theorem 1.3 below) and the logarithmic-type one (see forthcoming Lemma 1.4). We believe that these results could have their own interest in the analysis of equations involving the (nonlinear) fractional sublaplacian on the Heisenberg group, and related integro-differential operators. The first of them states a natural extension in our framework of the Caccioppoli inequality with tail, by showing that even in such a noneuclidean case one can take into account a suitable tail in order to detect deeper information on the regularity of the solutions.
Theorem 1.3
(Caccioppoli estimates with tail) Let \(s \in (0,1)\), \(p \in (1,\infty )\), and let \(u \in W^{s,p}(\mathbb {H}^n)\) be a weak subsolution to (1.1). Then, for any \(B_r \equiv B_r(\xi _0) \subset \Omega \) and any nonnegative \(\phi \in C^\infty _0(B_r)\), the following estimate holds true
where \(w_+ := (u-k)_+\) with \(k\in \mathbb {R}\), and \({\textbf {c}}={\textbf {c}}\,( n,p,s)\).
Lemma 1.4
(Logarithmic Lemma) Let \(s \in (0,1)\), \(p \in (1,\infty )\), and let \(u \in W^{s,p}(\mathbb {H}^n)\) be a weak solution to (1.1) such that \(u \ge 0\) in \(B_{R} \equiv B_R(\xi _0) \subset \Omega \). Then, there exists a constant \(\tilde{c}\in [1,+\infty )\) such that the following estimate holds for any \(B_r \equiv B_r(\xi _0) \subset B_{\frac{R}{2\tilde{c}}}(\xi _0)\) and any \(d>0\),
where \(Tail (u_-;\xi _0,R)\) is defined in (1.5), \(u_-:=\max \{-u,0\}\) and \({\textbf {c}}\) depends only on n, p and s.
Starting from the results proven in the present paper, several questions naturally arise:
-
Firstly, it is worth remarking that here we treat general weak solutions, namely by truncation and dealing with the resulting error term as a right-hand side, in the same flavor of the papers [18, 19], in the spirit of De Giorgi-Nash-Moser. However, one could approach the same family of problems by focusing solely to bounded viscosity solutions in the spirit of Krylov-Safonov, as in the important paper [48].
-
Consequently, a second natural question is whether or not, and under which assumptions on the structural quantities, the viscosity solutions to nonlocal equations in the Heisenberg group are indeed fractional harmonic functions and/or weak solutions, and vice versa. In this respect, let us observe that one cannot plainly apply the results for p-fractional minimizers as obtained in the recent paper [34] together with those in [32], whose proofs seem to be feasible only for a restrict class of kernels which cannot include modulating coefficients or other variations.
-
Third, in the same spirit of the series of paper by Brasco, Lindgren, and Schikorra [3, 4], one would expect higher differentiability and other additional regularity results for the bounded solutions to nonlocal equations in the Heisenberg group. It could be useful to start from the estimates in the aforementioned papers obtained for the standard fractional p-Laplace equation.
-
Also, again in clear accordance with the Euclidean counterpart, one would expect self-improving properties of the solutions to (1.1). For this, one should extend the recent nonlocal Gehring-type theorems proven in [35, 46].
-
Also, one could expect Hölder continuity and other regularity results for the solutions to a strictly related class of problems; that is, by adding in (1.1) a second integral-differential operators, of differentiability exponent \(t>s\) and summability growth \(q>1\), controlled by the zero set of a modulating coefficient: the so-called nonlocal double phase problem, in the same spirit of the Euclidean case treated in [17, 51], starting from the pioneering results in the local case, when \(s=1\), by Colombo, Mingione and many others; see for instance [15, 16] and the references therein.
-
Also, mean value properties for solutions to general nonlinear fractional operators, and their stability in the linear case when \(p=2\), could lead to very tricky situations in fractional non-Euclidean framework; we refer to the very recent papers [6, 7] and the references therein.
-
Moreover, to our knowledge, nothing is known about the regularity for solutions to parabolic nonlocal integro-differential equations involving the nonlinear operators in (1.2).
-
Finally, by starting from the estimates proven in the present paper, in [42] weak and strong Harnack inequalities for the solutions to (1.1) are proven. As expected, a tail contribution naturally appears in those estimates in order to control the nonlocal contributions coming from far. We refer also to [44] for regularity results (up to the boundary) for very general boundary data, and for the related obstacle problems.
To summarize. The result in the present paper seems to be one of the first concerning regularity properties of nonlinear nonlocal equations in the Heisenberg group. We prove that one can extend to the Heisenberg setting the strategy successfully applied in the fractional Euclidean case ( [18, 19, 35, 36]); from another point of view our results can be seen as the (nonlinear) nonlocal extension of the Heisenberg counterpart of the celebrated De Giorgi-Nash-Moser theory ( [37, 39]). Moreover, since we derive all our results for a general class of nonlinear integro-differential operators, via our approach by taking into account all the nonlocal tail contributions in a precise way, we obtain alternative proofs that are new even in the by-now classical case of the pure fractional sublaplacian operator \((-\Delta _{\mathbb {H}^n})^s\). Finally, we prove a boundedness estimate allowing an interpolation between the local and nonlocal contributions, which seems to be new even in the linear case. We believe our estimates to be important in a forthcoming nonlinear nonlocal theory in the Heisenberg group.
The paper is organized as follows. In Sect. 2 below we set up notation and terminology, and we briefly recall our underlying geometrical structure, by also recalling the involved functional spaces, and providing a few remarks on the assumptions on the data. The whole Sects. 3 and 4 are devoted to the proof of the Caccioppoli inequality with tail, and the Logarithmic Lemma, respectively. In the last two sections, we are finally able to prove the boundedness result in Theorem 1.1, and the Hölder continuity of the weak solutions u to (1.1).
2 Preliminaries
It is convenient to fix some notation which will be used throughout the rest of the paper. Firstly, notice that we will follow the usual convention of denoting by \({\textbf {c}}\) a general positive constant which will not necessarily be the same at different occurrences and which can also change from line to line. For the sake of readability, dependencies of the constants will be often omitted within the chains of estimates, therefore stated after the estimate.
2.1 The Heisenberg-Weyl Group
We start by introducing some definitions and briefly setting up the notation concerning the Heisenberg group. For further details, we refer to the book by Bonfiglioli, Lanconelli and Uguzzoni, [5].
As customary, we identify the Heisenberg group \(\mathbb {H}^n\) with \({\mathbb {R}}^{2n+1}\). Points in \(\mathbb {H}^n\) are denoted by
The related group multiplication is given by
One can check that \(({\mathbb {R}}^{2n+1}, \circ )\) is a Lie group with identity element the origin 0 and inverse \(\xi ^{-1}=-\xi \). Moreover, one can consider the following automorphism group \({\Phi }_\lambda \) on \({\mathbb {R}}^{2n+1}\),
so that the group \(\mathbb {H}^n=\big ({\mathbb {R}}^{2n+1},\,\circ ,\, {\Phi }_\lambda \big )\) is a homogeneous Lie group; that is, the so-called Heisenberg-Weyl group in\({\mathbb {R}}^{2n+1}\).
The Jacobian basis of the Heisenberg Lie algebra \(\textbf{h}^n\) of \(\mathbb {H}^n\) is given by
Since
it follows
which is the Euclidean dimension of \(\mathbb {H}^n\), whereas we denote by Q its homogeneous dimension
This shows that \(\mathbb {H}^n\) is a Carnot group with the following stratification
Moreover, let \(\Omega \subset \mathbb {H}^n\) be a domain. For \(u\in C^1(\Omega ;\,{\mathbb {R}})\) we define the subgradient \(\nabla _{\mathbb {H}^n} u\) by
and
Definition 2.1
A homogeneous norm on \(\mathbb {H}^n\) is a continuous function (with respect to the Euclidean topology ) \({d_\textrm{o}} : \mathbb {H}^n \rightarrow [0,+\infty )\) such that:
-
(i)
\({d_\textrm{o}}({\Phi }_\lambda (\xi ))=\lambda {d_\textrm{o}}(\xi )\), for every \(\lambda >0\) and every \(\xi \in \mathbb {H}^n\);
-
(ii)
\({d_\textrm{o}}(\xi )=0\) if and only if \(\xi =0\).
Moreover, we say that the homogeneous norm \({d_\textrm{o}}\) is symmetric if
Remark 2.2
Let \({d_\textrm{o}}\) be a homogeneous norm on \(\mathbb {H}^n\). Then the function \(\Psi \) defined on the set of all pairs of elements of \(\mathbb {H}^n\) by
is a pseudometric on \(\mathbb {H}^n\).
Consider now the standard homogeneous norm on \(\mathbb {H}^n\),
For any fixed \(\xi _0 \in \mathbb {H}^n\) and \(R>0\), the ball \(B_R(\xi _0)\) with center \(\xi _0\) and radius R is given by
We conclude this section with some properties of the homogeneous norm on \(\mathbb {H}^n\) that will be useful in the rest of the paper.
Proposition 2.3
(Equivalence of the homogeneous norm) Let \({d_\textrm{o}}\) be a homogeneous norm on \(\mathbb {H}^n\). Then there exists a constant \({\textbf {c}}>0\) such that
In view of the preceding proposition, in most of the forthcoming proofs, one can simply take into account the pure homogeneous norm defined in (2.1) with no modifications at all.
Proposition 2.4
(Pseudo-triangle inequalities) Let \({d_\textrm{o}}\) be a homogeneous norm on \(\mathbb {H}^n\). Then there exists a constant \(\tilde{c}>0\) such that the following statements are satisfied:
-
(1)
\({d_\textrm{o}}(\xi \circ \eta )\le \tilde{c}({d_\textrm{o}}(\xi )+{d_\textrm{o}}(\eta ))\);
-
(2)
\({d_\textrm{o}}(\xi \circ \eta )\ge \frac{1}{\tilde{c}}{d_\textrm{o}}(\xi )-{d_\textrm{o}}(\eta ^{-1})\);
-
(3)
\({d_\textrm{o}}(\xi \circ \eta ) \ge \frac{1}{\tilde{c}}{d_\textrm{o}}(\xi )-\tilde{c}{d_\textrm{o}}(\eta )\).
For a proof of the previous propositions, we refer to Proposition 5.1.4 and Proposition 5.1.7 in [5].
Remark 2.5
In the case when the homogeneous norm \({d_\textrm{o}}\) does reduce to the standard norm \(|\cdot |_{\mathbb {H}^n}\) defined in (2.1), the constant \(\tilde{c}\) given by Proposition 2.4 can be chosen equal to 1. For the proof, we refer to[13]; see also Example 5.1 in[2]. However, in view of possible generalizations of the results obtained in the present paper, as, e. g., in to a more general framework involving abstract Carnot groups \(\mathbb {G}\) with some homogenous norm \(|\cdot |_{\mathbb {G}}\) satisfying only a pseudo-triangle inequality, we would prefer to keep the constant \(\tilde{c}\) throughout all the forthcoming proofs.
The computation in the result below will be used several times in the proofs in the following.
Lemma 2.6
Let \(\gamma >0\) and let \(|\cdot |_{\mathbb {H}^n}\) be the homogeneous norm on \(\mathbb {H}^n\) defined in (2.1). Then,
Proof
The proof is straightforward. For any \(j \in \mathbb {N}\) let us indicate with \(B^j\) the following set
Then, we have that
\(\square \)
2.2 The Setting of the Main Problem
We firstly need to recall some definitions and a few basic results about our fractional functional setting. For further details, we refer the reader to [1, 30].
Let \(p \ge 1\) and \(s \in (0,1)\), and let \(u : \mathbb {H}^n \rightarrow {\mathbb {R}}\) be a measurable function; we define the Gagliardo (semi)norm of u as follows,
The fractional Sobolev spaces \(W^{s,p}\) on the Heisenberg group are defined as
endowed with the natural fractional norm
Similarly, given a domain \(\Omega \subset \mathbb {H}^n\), one can define the fractional Sobolev space \(W^{s,p}(\Omega )\) in the natural way, as follows
endowed with the norm
By \(W^{s,p}_0(\Omega )\), we denote the closure of \(C_0^\infty (\Omega )\) in \(W^{s,p}(\mathbb {H}^n)\). Conversely, if \(v \in W^{s,p}(\Omega ')\) with \(\Omega \Subset \Omega '\) and \(v=0\) outside of \(\Omega \) almost everywhere, then v has a representative in \(W_0^{s,p}(\Omega )\) as well.
As expected, one can prove a fractional Sobolev embedding on the Heisenberg group. We have the following
Theorem 2.7
Let \(p>1\) and \(s \in (0,1)\) such that \(sp<Q\). For any measurable compactly supported function \(u : \mathbb {H}^n \rightarrow {\mathbb {R}}\) there exists a positive constant \({\textbf {c}}={\textbf {c}}(n,p,s)\) such that
where \(p^* = {Qp}/{(Q-sp)}\) is the critical Sobolev exponent.
For the proof, we refer to Theorem 2.5 in [30], where the authors extend the strategy in the standard Euclidean settings as seen in [20, 43].
As in the classical case with s being an integer, the space \(W^{s,p}\) is continuously embedded in \(W^{s_1,p}\) when \(s_1\le s\), as the result below points out.
Proposition 2.8
Let \(p >1\) and \(0< s_1 \le s < 1\). Let \(\Omega \) be an open subset of \(\mathbb {H}^n\), and let \(u\in W^{s,p}(\Omega )\). Then
for some suitable positive constant c depending only on n, p and \(s_1\).
Proof
We extend the strategy in the proof in the fractional Euclidean framework; see [20, Proposition 2.1].
Firstly, we can control the size of the nonlocal tail of u by its \(L^p\)-norm. We have
and thus
up to relabelling the constant c.
On the other hand,
Combining (2.8) with (2.9), we finally get
which yields
again up to relabelling the constant c. \(\square \)
We conclude this section by providing the definition of weak solution to the class of fractional problem we deal with.
Let \(\Omega \) be a bounded open set in \(\mathbb {H}^n\) and \(g \in W^{s,p}(\mathbb {H}^n)\), we are interested in the weak solutions to the following integro-differential problems,
where the datum \(f \equiv f(\cdot , u) \in L^\infty _{\text {loc}}(\mathbb {H}^n)\) locally uniformly in \(\Omega \), and the leading operator \({\mathcal {L}}\) is an integro-differential operator of differentiability exponent \(s\in (0,1)\) and summability exponent \(p>1\) given by
with \(d_{\text {o}}\) being a homogeneous norm on \(\mathbb {H}^n\) in accordance with Definition 2.1.
We now need to introduce some further notation. For any \(g \in W^{s,p}(\mathbb {H}^n)\) the classes \(\mathcal {K}^{\pm }_g (\Omega )\) of suitable fractional functions are defined by
and
We have the following
Definition 2.9
A function \(u \in \mathcal {K}^-_g(\Omega )\) (\(\mathcal {K}^+_g(\Omega )\), respectively) is a weak subsolution (supersolution, resp.) to (2.10) if
for any nonnegative \( \psi \in W_0^{s,p}(\Omega )\).
A function u is a weak solution to (2.10) if it is both a weak sub- and supersolution. In particular, u belongs to \(\mathcal {K}_g(\Omega )\) and it satisfies
for any \(\psi \in W^{s,p}_0(\Omega )\).
For any \(u \in W^{s,p}(\mathbb {H}^n)\) and for any \(B_R(\xi _0) \subset \mathbb {H}^n\) we will define the nonlocal tail of a function u in the ball \(B_R(\xi _0)\) the quantity
A few observations are in order.
Firstly, we notice that, by Hölder’s Inequality, since \(u\in L^p(\mathbb {H}^n)\) and \(R>0\), we have that \(Tail (u;\xi _0,R) < +\infty \).
Second, we have the following
Remark 2.10
The requirement on the boundary datum g to be in the whole \(W^{s,p}(\mathbb {H}^n)\) can be weakened by assuming only a local fractional differentiability, namely \(g \in W_{\textrm{loc}}^{s,p}(\Omega )\), in addition to the boundedness of its nonlocal tail; i. e., \(\textrm{Tail}(g; \xi _0, R)~<~\infty \), for some \(\xi _0\in \mathbb {H}^n\) and some \(R>0\). This is not restrictive, and it does not bring relevant modifications in the rest of the paper. For further details on the related “Tail space”, we refer the interested reader to papers[33, 34].
Finally, there is an important observation about the assumptions on the datum f in the right-hand side of (2.10).
Remark 2.11
The presence of the datum f is a novelty with respect to the Euclidean counterpart studied in [19] where the authors assume the right-hand side in (2.10) to be zero. However, as we basically will prove, the techniques there can be applied also to more general framework.
In addition, in accordance with the classical elliptic theory, with no important modifications in the forthcoming proofs, one could consider the case when the local boundedness assumption on the datum f is replaced by a uniformly growth control from above, as, e. g.,
for some suitable choice of the exponent \(q=q(n,p,s)\).
Before going into the proofs, it is worth pointing that in the rest of the paper we will only consider the case when the structural parameters n, s and p are such that \(sp\le Q\). This is not a restriction, since, in the remaining case when \(sp>Q\), the desired boundedness and Hölder continuity results are assured by the fractional Morrey embedding in the Heisenberg group; for the proof,we refer for instance to Theorem 1.5 in [1].
3 Proof of the Caccioppoli Inequality with Tail
The aim of this section is to give a full proof of Theorem 1.3. We would stress that, as in the classical Euclidean case, in both the entire framework and the fractional one, the Caccioppoli estimates with tail (1.8) encode all the needed information to derive the desired Hölder continuity from the minimum properties of the solutions, and it is an independent result which could be very useful in order to detect further regularity properties of the solutions to general fractional problems.
Proof of Theorem 1.3
Let u be a weak subsolution. We firstly choose as a test function in 2.9 the function
where \(\phi \) is any nonnegative function in \(C^\infty _0(B_r)\). We get
Note that \(\psi \) is an admissible test function since truncations of functions in \(W^{s,p}(\mathbb {H}^n)\) still belong to \(W^{s,p}(\mathbb {H}^n)\).
Let us begin by estimating the first integral on the right-hand side in (3.1). Without loss of generality, we assume that \(u(\xi ) \ge u(\eta )\); otherwise,it just suffices to interchange the roles of \(\xi \) and \(\eta \) below. We have
For the second term on the right-hand side in (3.1), we have
which yields
Let us consider the first term in (3.3). In the case when \(w_+(\xi ) \ge w_+(\eta )\) and \(\phi (\xi ) \le \phi (\eta )\), we can use forthcoming Lemma 3.1 to obtain
Choosing
we have that
where c depends only on p. We now recall that it has been assumed that \(\phi (\xi ) \le \phi (\eta )\). On the other hand, if \(w_+(\xi )=w_+(\eta )=0\), or if \(w_+(\xi )\ge w_+(\eta )\) and \(\phi (\xi ) \ge \phi (\eta )\), then the estimate above trivially follows. Hence, we have
whenever \(w_+(\xi ) \ge w_+(\eta )\). In the case when the opposite inequality holds, again it just suffices to interchange the roles of \(\xi \) and \(\eta \). Therefore, we have
Now, we note that
Hence, combining the preceding inequality with (3.3) and (3.5), it follows
Moreover, in the second integral in the right-hand side in the display above, we can suppose that \(w_+(\xi ) \ge w_+(\eta )\) up to interchanging \(\xi \) with \(\eta \); recall that \(|\eta ^{-1} \circ \xi |_{\mathbb {H}^n}=|\xi ^{-1}\circ \eta |_{\mathbb {H}^n}\) is symmetric. The last integral in (3.6) can be finally estimated thanks to the assumption on f. We have
The desired estimate in (1.8) is thus a plain consequence of the estimates in (3.6) and (3.7). \(\square \)
In the proof above, we made use of the following small inequality, which will be useful in the next section, as well.
Lemma 3.1
Let \(p \ge 1 \) and \({\varepsilon }\in (0,1]\). Then
holds for every \(a,b \in {\mathbb {R}}^m\), \(m\ge 1\). Here \({\Gamma }\) stands for the standard Gamma function.
The proof is straightforward. It follows via convexity and a standard iteration process. See for instance Lemma 3.1 in [19].
4 Proof of the Fractional Logarithmic Lemma
In this section, we prove our second main tool; that is, the Logarithmic Lemma 1.4.
Proof of Lemma 1.4
As pointed out in Remark 2.5, we denote by \(\tilde{c}\) the precise constant which satisfies inequalities
even in the case when \(\tilde{c} \equiv 1\).
Fix such a constant \(\tilde{c}\) and choose \(r>0\) such that \(B_r \equiv B_r(\xi _0) \subset B_{\frac{R}{2\tilde{c}}} \equiv B_{\frac{R}{2\tilde{c}}}(\xi _0)\). Consider a smooth cut-off function \(\phi \in C^\infty _0(B_{3r/2})\) such that
Now, take the following test function \(\psi \) in Definition 2.9,
We have
Using the very definition of the function \(\phi \) and the assumption on the datum f, we can estimate the left-hand side of (4.2) as follows,
We now focus on the remaining integrals on the right-hand side of (4.2).
We start with \(I_1\). If \(u(\xi ) > u(\eta )\) then we can apply Lemma 3.1 stated at the end of Sect. 3, by choosing there
and
since \(u \ge 0\) in \(B_{2r} \subset B_R\), we can therefore estimate the integrand in \(I_1\) as follows,
Now, in order to estimate the contribution \(J_1\), we will follow the strategy in the proof of Lemma 1.3 in [19]. We firstly notice that
Secondly, we can consider the real function g given by
Since g is an increasing function, we have
Moreover, for any \(t \le 1/2\),
Therefore, in the case when
i. e.,
then, since \(\big (u(\xi )-u(\eta )\big )\big (u(\eta )+d\big )^{p-1}/\big (u(\xi )+d\big )^p \le 1\), we get
Hence, it suffices to choose the following suitable \(\delta \) in the preceding inequality,
to get
We consider case when
i. e.,
we can choose the parameter \(\delta \) as in (4), and we have
Furthermore, if \( 2(u(\eta ) + d) < u(\xi )+d \), then
holds, where we used the fact that \((\log x)^p \le c(x-1)^{p-1}\) when \(x >2\).
On the other hand, if \( 2(u(\eta ) + d) \ge u(\xi )+d \), then – recalling that we have assumed \(u(\xi ) > u(\eta )\) – we have
where we used
Hence, combining (4.4) with (4.5), (4.6), and (4.7), we can conclude with
Notice that if \(u(\xi )=u(\eta )\), then the same estimate above does trivially hold. If \(u(\eta )>u(\xi )\),we can interchange the roles of \(\xi \) and \(\eta \) in the computation above. Finally, we get the estimate for the integral \(I_1\) in (4.3),
For the second contribution in (4.3), namely \(I_2\), we can proceed as follows. Firstly, we notice that it \(\eta \in B_R\), then \(u(\eta ) \ge 0\), and so
Moreover, when \(\eta \in \mathbb {H}^n \smallsetminus B_R\),
Then, since \(u(\xi ) \ge 0\) and \(\phi (\xi ) \le 1\) on \(B_{2r}\), the integral \(I_2\) can be estimated as follows,
and thus
From now on, in contrast with the proof in the Euclidean case in [19] where the logarithmic estimates plainly follows, here we need to take care of the Heisenberg framework in order to deal with the tail contribution in (1.9). Let us estimate the contribution in the right-hand side of (4.9). The integral \(I_{2,1}\) can be easily estimated by recalling the definition of the cut-off function \(\phi \); we have
where \({\textbf {c}}={\textbf {c}}(n,p)\).
For any \(\xi \in B_{2r}\), and any \(\eta \in \mathbb {H}^n\smallsetminus B_R\), in view of (4.1) and the symmetry of \(|\cdot |_{\mathbb {H}^n}\), we have
where \(C>0\) since \(R>2\tilde{c}r\). This yields
where we also used Lemma 2.6 with \(\gamma =sp\) there; the constant \({\textbf {c}}\) depending only on n, p and s.
For what concerns the integral \(I_{2,3}\) in (4.9), we have
as long as we enlarge the constant \({\textbf {c}}={\textbf {c}}(n,p,s)\). Combining (4.9),(4.10),(4.11) with (4.12), we finally obtain
Combining, now, (4.2) with (4.8) and (4.13), we have
where \({\textbf {c}}\) depends only on n, p and s. Let us consider the first integral on the right-hand side in (4.14). Fixed \(\eta \in B_{2r}\) there exists a vector \(\tilde{\xi }\) such that \(\xi = \eta \circ \tilde{\xi }\). Then we can rewrite
Thanks to Theorem 1.41 in [24], we have that the previous quantity can be estimated as follows,
Hence, changing again variables and recalling the estimate from above on \(|\nabla _{\mathbb {H}^n} \phi |\), we get
For any \(\eta \in B_{2r}\) note that a simple application of the triangular inequality yields
so that \(B_{2r} \subset B_{4r}(\eta )\). Hence, as seen in the local framework in [29, 49], one can apply Proposition 5.4.4 in [5] to get
where we denote by \(\omega _n:= |B_1(0)|\). The estimate in (4.15) thus becomes
and the proof is complete. \(\square \)
We conclude this section by presenting an important consequence of the Logarithmic Lemma, which will prove extremely useful in Sect. 6. We firstly need to introduce the following standard notation. Let v be in \(L^1(S)\) and denote by |S| the Lebesgue measure of the set \(S \subset \mathbb {H}^n\) which we assume to be finite and strictly positive. Here and subsequently we write
We have the following
Corollary 4.1
Let \(s \in (0,1)\), \(p \in (1,\infty )\), and let \(u \in W^{s,p}(\mathbb {H}^n)\) be the solution to problem (1.1) such that \(u\ge 0 \) in \(B_R \equiv B_R(\xi _0) \subset \Omega \). Let \(a,d>0,b>1\) and define
Then, the following estimates holds true, for any \(B_r \equiv B_r(\xi _0) \subset B_{R/2\tilde{c}}(\xi _0) \subset B_{R/2}(\xi _0)\) (where \(\tilde{c} \ge 1\) is precisely the constant obtained in the proof of the Logarithmic Lemma),
where \({\textbf {c}}\) depends only on n, p, s.
Proof
The estimate in (4.16) is a plain consequence of the Logarithmic Lemma 1.4. Firstly, we need to apply the fractional Poincaré inequality, whose proof can be found in [38] (see in particular on Page 297 there. See also the recent paper [12] for further Poincaré-type inequalities in the Heisenberg group). We get
where \(c=c(n,p,s)\).
Now, it is sufficient to observe that v is precisely a truncation of the sum of a constant and \(\log (u+d)\). For this, we have
so that the desired estimate plainly follows by applying the estimate in (1.9).\(\square \)
5 Proof of the Local Boundedness
The aim of this section is to prove the local boundedness result in Theorem 1.1. In our knowledge, such a result is new even in the case of the pure fractional sublaplacian on the Heisenberg group. Here we are able to prove that, via careful estimates based on the nonlocal tail of the solutions together with the Caccioppoli inequality proven in Sect. 3, one can extend the approach firstly seen in [19] for the counterpart in the Euclidean case.
Proof of Theorem 1.1
Before starting, we would need to define a few quantities. For any \(j \in \mathbb {N}\) and \(r>0\) such that \(B_r(\xi _0) \equiv B_r \subset \Omega \),
Also,
We divide the proof into two steps. Firstly, we consider the subcritical case when \(sp<Q\). Recalling the fractional Sobolev exponent \(p^* = \displaystyle \frac{Qp}{Q-sp}\), we have
Consequently,
We now apply the Sobolev inequality in Theorem 2.7 to the function \(\tilde{w}_j\phi _j\). It yields
which, combined with the nonlocal Caccioppoli inequality (1.8), gives
We begin by estimating the first contribution in the right-hand side of (5.3). By applying the same strategy as in the proof of the Logarithmic Lemma in Sect. 4, we have
Now, we note that \(\tilde{w}_j \le w^p_j /(\tilde{k}_j-k_j)^{p-1}\). Moreover, since \(\eta \in spt \phi _j \subseteq \tilde{B}_j\) and \(\xi \in \mathbb {H}^n \smallsetminus B_j\), we have
For this,
Since \(\tilde{w}_j \le w_j\), \(r_j \le r\) and \(\phi \le 1\), the third integral in (5.3) can be easily estimated as follows
For what concerns the left-hand side in (5.3), we have
Then, calling we obtain
Now, by taking
we obtain
where \(\bar{c}={\textbf {c}}^\frac{p^*}{p^2}[\delta ^{p-1}(1+r^{sp}\Vert f\Vert _{L^\infty (B_r)})+1]^\frac{p^*}{p^2}2^\frac{2(p^*-p)}{p}\).
We set
so that the estimate in (5.9) can be rewritten as
Thus it suffices to prove that the following estimate does hold,
and by a standard iteration argument, it will follow that \(A_j \rightarrow 0\) as \(j \rightarrow \infty \).
Since
we then choose
which is in accordance with (5.8).
It follows
which gives the desired result by choosing \(k=0\). The proof is complete in the case when \(sp<Q\).
We now turn to the borderline case, when \(sp=Q\), which in the Euclidean case in [19] is mentioned but not even sketched. We fill this gap here, by providing all the details to investigate such a case. Choose \(0<s_1< s <1\); in particular \(\tilde{w}_j \phi _j -(\tilde{w}_j\phi _j)_{B_j} \in W^{s,p}(B_j) \subseteq W^{s_1,p}(B_j)\). Clearly, \(s_1p < sp = Q\), and we have the right to apply the fractional Sobolev inequality which gives, for any \(p<q< p_1^*:=\frac{Qp}{Q-s_1p}\),
Thus, we can write
where in the last inequality we also used that
In addition, we notice that
We are now in a position to apply the nonlocal Caccioppoli-type inequality in (5.13), as done before in the subcritical case. Similarly, we get
Moreover, the term on the left-hand side in the inequality above can be estimated as follows
We set and we choose \(\tilde{k}\) as in (5.8). It yields
where
We can now estimate the term \(A_0\) as in (5.11), by replacing \(p^*\) with q, and considering as \(\bar{c}, C\) and \(\beta \) the quantities defined in the display above. Then,
Taking
which is in clear accordance with (5.8), we finally deduce that
which gives the desired result by choosing \(k=0\). \(\square \)
6 Proof of the Hölder Continuity
This last section is devoted to the proof of the Hölder continuity of solutions, namely Theorem 1.2. An iteration lemma is the keypoint of the proof, and, as before, we would have to handle the nonlocality of the involved operator, together with the geometry of our settings. A certain care is required and in the proof below all the estimates proven in the previous sections will appear.
We need to fix some notation. For any \(j \in \mathbb {N}\), let \(0< r < R/2\) for some R such that \(B_R (\xi _0) \subset \Omega \),
where, recalling Remark 2.5, the constant \(\tilde{c}\) is the one given in Proposition 2.4.
Moreover, let us define
with \({\textbf {c}}\) as in Theorem 1.1 and
In order to prove the Theorem 1.2,it suffices to prove the following
Lemma 6.1
Under the notation introduced above, let \(u \in W^{s,p}(\mathbb {H}^n)\) be a solution to problem (1.1). Then
Proof
We will proceed by induction. For this, note that by the definition of \(\omega (r_0)\) and Theorem 1.1 (with \(\delta =1\) there), the estimates (6.1) does trivially hold for \(j=0\), since both the functions \((u)_+\) and \((-u)_+\) are weak subsolution.
Now, we make a strong induction assumption and assume that (6.1) is valid for all \(i \in \big \{1,\dots ,j\big \}\) for some \(j \ge 0\), and then prove that it holds also for \(j+1\). We have that either
or
must hold. If (6.2) holds, then we set \(u_j := u -\inf _{B_j}u\); if (6.3) holds, then we set \(u_j := \omega (r_j)-(u-\inf _{B_j}u)\). Consequently, in all the cases we have that \(u_j \ge 0\) in \(B_j\) and the following estimate holds,
Moreover, \(u_j\) is a weak solution which satisfies
We now claim that under the induction assumption we have
where \({\textbf {c}}\) depends only on n, p, s and \(\alpha \); in particular it is independent of \(\sigma \). Indeed,
where in the last line we also used (6.5) and the fact that
Moreover, we have
where we used the fact that \(\sigma \le \frac{1}{4 \tilde{c}} \le \frac{1}{4}\) and \(\alpha < sp/(p-1)\). Combining (6.7) with (6.8) yields the desired estimate in (6.6).
Next, let us consider the function v defined by
Since we have chosen \(\sigma \le \frac{1}{4 \tilde{c}}\) we have that \(2B_{j+1} \subset B_\frac{r_j}{2 \tilde{c}} \subset B_j\). Indeed,
Hence, we can apply Corollary 4.1, with \(a \equiv \omega (r_j)/2\) and \(b \equiv \exp (k)\) there, obtaining that
In view of the estimate in (6.6), we can estimate the first term in the right-hand side of the display above as follows
where \({\textbf {c}}\) depends only on n, p, s and \(\alpha \). Moreover, choosing
we arrive at
where we used the fact that \(\alpha < sp/(p-1)\), \(\sigma \le \frac{1}{4\tilde{c}} \le \frac{1}{4}\), \(j >1\), and \(\omega (r_0)<\infty \).
Let us estimate the second integral \(I_2\). Notice that since \(\sigma < 1/4\), we have
so that \(4B_{j+1} \subseteq B_j\), and consequently \(u_j \ge 0\) on \(4B_{j+1}\). Then, in view of the choice of d, we also have \((u_j+d)^{1-p} \le \sigma ^{-sp}\). We arrive at
Hence from (6.10) and (6.11) we obtain
for a suitable positive constant C.
Denote by shortness \(\tilde{B}=2B_{j+1}\). In accordance with (6.4) and (6.9),we can write
We then integrate the inequality above over the set \(\tilde{B} \cap \{v=k\}\) to get
where we also used (6.12).
We now take
so that
gives
the constant \(c_{\log }\) depending only on n, p and s.
We are now in a position to start a suitable iteration to deduce the desired oscillation reduction. First, for any \(i=0,1,2,\dots \), we define
and corresponding cut-off functions
Furthermore, set
and
Hence, the Caccioppoli inequality (1.8) yields
We now focus on the subcritical case when \(sp<Q\). We make use of the fractional Sobolev inequality, in order to estimate the first term on the right-hand side as follows
Recalling that \(|\nabla _{\mathbb {H}^n} \phi _i|\le {\textbf {c}}2^ir^{-1}_{j+1}\), we can treat the first term in the right-hand side in (6.14) as follows
Moreover,
holds.
Now, we notice that for any \(\eta \in \tilde{B}^i\), we have
for all \(\xi \in \mathbb {H}^n \smallsetminus B^i\) and that
Then we have
Recalling (6.6) and the facts that \(w_i \le 2d\omega (r_j)\) in \(B_j\) and \(w_i \le |u_j|+2d\omega (r_j)\) in \(\mathbb {H}^n\), we further get
where \({\textbf {c}}\) depends only on \(\alpha ,p\) and s. Combining the estimate above with (6.18) we get
Putting together (6.14), (6.15), (6.16), (6.17) and (6.19), we obtain
which yields, recalling that \(r_{j+1} < r\)
with \(\beta := sp/(Q-sp)\) by the definition of \(k_i\)’s.
Now, if we will prove the following estimate on \(A_0\),
then we can deduce that
Indeed, the condition (6.21) it is guaranteed by (6.13) choosing
which depends only on n, p, s and \(\alpha \). We have hence shown that
Taking \(\alpha \in \left( 0, \frac{sp}{p-1}\right) \) small enough that
leads to
and the proof is complete in the case when \(sp<Q\).
For the remaining case, namely when \(sp =Q\), we can proceed as in the proof of the local boundedness. Consider \(0<s_1<s<1\); the fractional Sobolev inequality gives
with \(p_1:= \frac{Qp}{Q-s_1p}\). Note also that
and thus,
The term in the right-hand side of (6.23) can be estimated using the nonlocal Caccioppoli inequality as in (6.14) and recalling the estimates (6.17) and (6.19).
All in all, we have
which yields
where we denoted by \(\beta := q/p-1>0\). We now choose the following \(\sigma \) in (6.13),
with \(\bar{\nu }:= {\textbf {c}}^{-\frac{1}{\beta }}(1+r^{sp}\Vert f\Vert _{L^\infty (B_r)})^{-\frac{q}{p\beta }}2^{-\frac{(Q+(2+s)p)q}{p\beta ^2}}\), in order to deduce that
Hence,
and the proof is complete, by proceeding exactly as in the case when \(sp < Q\). \(\square \)
References
Mallick, Adimurthi A.: A Hardy type inequality on fractional order Sobolev spaces on the Heisenberg group. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 18(3), 917–949 (2018)
Balogh, Z.M., Fässler, K., Sobrino, H.: Isometric embeddings into Heisenberg groups. Geom. Dedic. 195(1), 163–192 (2017)
Brasco, L., Lindgren, E.: Higher Sobolev regularity for the fractional \(p\)-Laplace equation in the superquadratic case. Adv. Math. 304, 300–354 (2017)
Brasco, L., Lindgren, E., Schikorra, A.: Higher Hölder regularity for the fractional \(p\)-Laplacian in the superquadratic case. Adv. Math. 338, 782–846 (2018)
Bonfiglioli, A., Lanconelli, E., Uguzzoni, F.: Stratified Lie Groups and their sub-Laplacians. Springer Monographs in Mathematics, Springer, Berlin (2007)
Bucur, C., Dipierro, S., Valdinoci, E.: On the mean value property of fractional harmonic functions. Nonlinear Anal. 201, Art. 112112 (2020)
Bucur, C., Squassina, M.: An asymptotic expansion for the fractional \(p\)-Laplacian and for gradient dependent nonlocal operators. Commun. Contemp. Math. 24, Art. 2150021 (2022)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245–1260 (2007)
Chen, Z.-Q., Kumagai, T.: Heat kernel estimates for jump processes of mixed types on metric measure spaces. Probab. Theory Relat. Fields 140(1–2), 277–317 (2008)
Ciatti, P., Cowling, M.G., Ricci, F.: Hardy and uncertainty inequalities on stratified Lie groups. Adv. Math. 277, 365–387 (2015)
Cinti, E., Tan, J.: A nonlinear Liouville theorem for fractional equations in the Heisenberg group. J. Math. Anal. Appl. 433, 434–454 (2016)
Citti, G., Manfredini, M., Pinamonti, A., Serra Cassano, F.: Poincaré-type inequality for Lipschitz continuous vector fields in the Heisenberg group. J. Math. Pure Appl. 103, 265–292 (2016)
Cygan, J.: Subadditivity of homogeneous norms on certain nilpotent Lie groups. Proc. Am. Math. Soc. 83(1), 69–70 (1981)
Danielli, D., Garofalo, N., Phuc, N.C.: Hardy-Sobolev type inequalities with sharp constants in Carnot-Carathéodory spaces. Potential Anal. 34, 223–242 (2011)
De Filippis, C., Mingione, G.: On the regularity of minima of non-autonomous functionals. J. Geom. Anal. 30(2), 1584–1626 (2020)
De Filippis, C., Mingione, G.: Manifold constrained non-uniformly elliptic problems. J. Geom. Anal. 30(2), 1661–1723 (2020)
De Filippis, C., Palatucci, G.: Hölder regularity for nonlocal double phase equations. J. Differ. Equ. 267(1), 547–586 (2019)
Di Castro, A., Kuusi, T., Palatucci, G.: Nonlocal Harnack inequalities. J. Funct. Anal. 267(6), 1807–1836 (2014)
Di Castro, A., Kuusi, T., Palatucci, G.: Local behavior of fractional \(p\)-minimizers. Ann. Inst. H. Poincaré Anal. Non Linéaire 33, 1279–1299 (2016)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Dyda, B., Lehrbäck, J., Vähäkangas, A.V.: Fractional Poincaré and localized Hardy inequalities on metric spaces. Adv. Calc. Var. (2021). https://doi.org/10.1515/acv-2021-0069
Ferrari, F., Franchi, B.: Harnack inequality for fractional Laplacians in Carnot groups. Math. Z. 279, 435–458 (2015)
Ferrari, F., Miranda, M., Jr., Pallara, D., Pinamonti, A., Sire, Y.: Fractional Laplacians, perimeters and heat semigroups in Carnot groups. Discrete Cont. Dyn. Syst. Ser. S 11(3), 477–491 (2018)
Folland, G.B., Stein, E.M.: Hardy Spaces on Homogeneous Groups. Princeton University Press, Princeton (1982)
Frank, R., Gonzalez, Md.M., Monticelli, D., Tan, J.: An extension problem for the CR fractional Laplacian. J. Adv. Math. 270, 97–137 (2015)
Frank, R., Lieb, E.H., Seiringer, R.: Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. J. Am. Math. Soc. 21, 925–950 (2008)
Garofalo, N., Tralli, G.: A class of nonlocal hypoelliptic operators and their extensions. Indiana J. Math. 70(5), 1717–1744 (2022)
Garofalo, N., Tralli, G.: Feeling the heat in a group of Heisenberg type. Adv. Math. 381, Art. 107635 (2021)
Gutiérrez, C.E., Tournier, F.: Harnack inequality for a degenerate elliptic equation. Commun. Partial Differ. Equ. 36, 2103–2116 (2011)
Kassymov, A., Surgan, D.: Some functional inequalities for the fractional \(p\)-sub-Laplacian. arXiv:1804.01415 (2018)
Kassymov, A., Surgan, D.: Lyapunov-type inequalities for the fractional p-sub-Laplacian. Adv. Oper. Theory 5, 435–452 (2020)
Korvenpää, J., Kuusi, T., Lindgren, E.: Equivalence of solutions to fractional \(p\)-Laplace type equations. J. Math. Pures Appl. 132, 1–26 (2019)
Korvenpää, J., Kuusi, T., Palatucci, G.: The obstacle problem for nonlinear integro-differential operators. Calc. Var. Partial Differ. Equ. 55, no. 3, Art. 63 (2016)
Korvenpää, J., Kuusi, T., Palatucci, G.: Fractional superharmonic functions and the Perron method for nonlinear integro-differential equations. Math. Ann. 369(3–4), 1443–1489 (2017)
Kuusi, T., Mingione, G., Sire, Y.: Nonlocal self-improving properties. Anal. PDE 8(1), 57–114 (2015)
Iannizzotto, A., Mosconi, S., Squassina, M.: Global Hölder regularity for the fractional \(p\)-Laplacian. Rev. Mat. Iberoamericana 32(4), 1353–1392 (2016)
Manfredi, J., Mingione, G.: Regularity results for quasilinear elliptic equations in the Heisenberg group. Math. Ann. 339, 485–544 (2007)
Mingione, G.: The singular set of solutions to non-differentiable elliptic systems. Arch. Ration. Mech. Anal. 166, 287–301 (2003)
Mukherjee, S., Zhong, X.: \(C^{1,\alpha }\)-regularity for variational problems in the Heisenberg group. Anal. PDE 14(2), 567–594 (2021)
Palatucci, G.: The Dirichlet problem for the \(p\)-fractional Laplace equation. Nonlinear Anal. 177, 699–732 (2018)
Palatucci, G., Pisante, A.: Improved Sobolev embeddings, profile decomposition, and concentration-compactness for fractional Sobolev spaces. Calc. Var. Partial Differ. Equ. 50(3–4), 799–829 (2014)
Palatucci, G., Piccinini, M.: Nonlocal Harnack inequalities in the Heisenberg group. Calc. Var. Partial Differ. Equ. 61. Art. 185 (2022)
Palatucci, G., Savin, O., Valdinoci, E.: Local and Global minimizers for a variational energy involving a fractional norm. Ann. Mat. Pura Appl. 192(4), 673–718 (2013)
Piccinini, M.: The obstacle problem and the Perron Method for nonlinear fractional equations in the Heisenberg group. Nonlinear Anal. 222, Art. 112966 (2022)
Roncal, L., Thangavelu, S.: Hardy’s inequality for fractional powers of the sublaplacian on the Heisenberg group. Adv. Math. 302, 106–158 (2016)
Schikorra, A.: Nonlinear commutators for the fractional \(p\)-Laplacian and applications. Math. Ann. 366(1), 695–720 (2016)
Scott, J.M., Mengesha, T.: Self-improving Inequalities for bounded weak solutions to nonlocal double phase equations. Commun. Pure Appl. Anal. 21(1), 183–212 (2022)
Silvestre, L.: Hölder estimates for solutions of integro-differential equations like the fractional Laplace. Indiana Univ. Math. J. 55(3), 1155–1174 (2006)
Tralli, G.: A certain critical density property for invariant Harnack inequalities in \(H\)-type groups. J. Differ. Equ. 256(2), 461–474 (2014)
Wang, X., Du, G.: Properties of solutions to fractional \(p\)-subLaplace equations on the Heisenberg group. Boundary Value Problems, Art. 128 (2020)
Zhang, Y., Tang, X., Rǎdulescu, V.D.: Concentration of solutions for fractional double-phase problems: critical and supercritical cases. J. Differ. Equ. 302, 139–184 (2021)
Acknowledgements
The authors are members of “Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA)” of Istituto Nazionale di Alta Matematica (INdAM). The second author is supported by the University of Parma via the project “Regularity, Nonlinear Potential Theory and related topics”. The authors are in debt with the referee for his/her deep understanding of this paper, and for his/her suggestions which contributed to improve the main results.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
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 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
Manfredini, M., Palatucci, G., Piccinini, M. et al. Hölder Continuity and Boundedness Estimates for Nonlinear Fractional Equations in the Heisenberg Group. J Geom Anal 33, 77 (2023). https://doi.org/10.1007/s12220-022-01124-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01124-6
Keywords
- Quasilinear nonlocal operators
- Fractional Sobolev spaces
- Hölder continuity
- Heisenberg group
- Fractional sublaplacian