- Research
- Open access
- Published:
\(C^{1}\)-Regularity for subelliptic systems with drift in the Heisenberg group: the superquadratic controllable growth
Boundary Value Problems volume 2024, Article number: 108 (2024)
Abstract
We investigate the interior regularity to nonlinear subelliptic systems in divergence form with drift term for the case of superquadratic controllable structure conditions in the Heisenberg group. On the basis of a generalization of the \(\mathcal{A}\)-harmonic approximation technique, \(C^{1}\)-regularity is established for horizontal gradients of vector-valued solutions to the subelliptic systems with drift term. Specially, our result is optimal in the sense that in the case of Hölder continuous coefficients we directly attain the optimal Hölder exponent for the horizontal gradients of weak solutions on the regular set.
1 Introduction
In this paper, our focus lies on examining the nonlinear subelliptic systems denoted as
with the drift term Tu in the Heisenberg group, subject to the superquadratic controllable growth condition, where \(\Omega \subset{\mathbb{H}^{n}}=\mathbb{R}^{2n+1}\) is a bounded domain, \(A_{i}^{\alpha}(\xi ,u,Xu):\Omega \times \mathbb{R}^{N}\times \mathbb{R}^{2n\times N}\rightarrow \mathbb{R}^{2n\times N}\), and \(B^{\alpha}(\xi ,u,Xu):\Omega \times \mathbb{R}^{N}\times \mathbb{R}^{2n \times N}\rightarrow \mathbb{R}^{N}\).
In the case of subelliptic systems with Hölder continuous coefficients, Wang and Niu [1] demonstrated the optimal local Hölder exponents for horizontal gradients of weak solutions to systems under the superquadratic (\(m>2\)) structure condition. Additionally, Wang and Liao [2] derived the subquadratic condition (\(1< m<2\)) and established partial regularity for weak solutions to nonlinear subelliptic systems under natural growth condition in Carnot groups. For coefficients in the VMO class, refer to [3–5]. Recently, we also note that several interesting results for subelliptic problems in the Heisenberg groups have been obtained. These include critical Choquard–Kirchhoff problems [6], critical Kirchhoff equations involving p-sub-Laplacians operators [7], and reverse weighted Hardy–Littlewood–Sobolev inequalities [8].
The objective of this paper is to relax the requirements on coefficients \(A_{i}^{\alpha}\), which are typically assumed to have Hölder continuity in the variables (ξ, u) to the less restrictive condition of Dini continuity. Moreover, we aim to establish a partial regularity outcome with optimal estimates for the modulus of continuity concerning the horizontal derivative Xu. Specifically, we assume the continuity of \(A_{i}^{\alpha}\) with respect to the variables (ξ, u) such that
for all ξ, \(\tilde{\xi}\in \Omega \) and \(p\in \mathbb{R}^{2n\times N}\), where \(\kappa :(0,+\infty )\rightarrow [0,+\infty )\) is nondecreasing and \(\mu :(0,+\infty )\rightarrow [0,+\infty )\) is nondecreasing and concave with \(\mu (0_{+})=0\). We also require that \(r\rightarrow r^{-\gamma}\mu (r)\) is nonincreasing for some \(\gamma \in (0,1)\) and that
Also we know that several regularity results have been established for weak solutions with Dini continuous coefficients, see [9] for the subelliptic case of superquadratic growth and [10] for the subquadratic case. For additional regularity results concerning elliptic systems and degenerate parabolic systems, readers can consult [11, 12] and the cited references therein.
However, it is worth noting the aforementioned results without any drift term. It would be intriguing to investigate whether these regularity results extend to nonlinear subelliptic systems with the drift term in the Heisenberg group. Such systems are of significant interest due to the presence of operators with drift terms, such as the Kolmogorov–Fokker–Planck operator (refer to [13]), which finds applications in physics, natural sciences, and statistical models of transmission diffusion equations.
Regarding subelliptic systems with the drift term, advancements have been made in enhancing the regularity results for weak solutions. For instance, Bramanti and Zhu [14] established \(L^{p}\) estimates and Schauder estimates for the nondivergent linear degenerate elliptic operator
constructed by Hörmander’s vector fields, highlighting differences between equations with and without \(X_{0}\). When \(X_{0}\) represents the drift vector field on homogeneous groups, Hou and Niu [15] obtained weighted Sobolev–Morrey estimates for hypoelliptic operator \(\mathcal{L}\). Furthermore, Du, Han, and Niu [16] provided the interior Morrey estimates and demonstrated Hölder continuity for the operator \(\mathcal{L}\) with VMO coefficient. In a different approach, Austin and Tyson [17] achieved \(C^{\infty}\)-smoothness for the operator
using geometric analysis method in \(\mathbb{H}^{n}\). Recently, Zhang and Niu [18] concluded the Hölder regularity of horizontal gradients of weak solutions for quasilinear degenerate elliptic equation with a drift term in \(\mathbb{H}^{n}\). Then Zhang and Wang considered a discontinuous subelliptic system with drift term [19] and established the partial \(C^{0,\alpha}\) Hölder regularity of weak solutions and the partial Morrey regularity of horizontal gradients for weak solutions.
So we investigate how to achieve \(C^{1}\)-regularity of weak solutions to nonlinear subelliptic systems with the drift term Tu in the Heisenberg group when the assumption of Hölder continuity of \(A_{i}^{\alpha}\) is relaxed to Dini continuity. The main new aspect of this paper is the fact that we are able to deal with the general nonlinear subelliptic systems with Dini continuous coefficients with the drift Tu and the superquadratic growth \(2 < m < \infty \) with respect to horizontal gradients Xu. The drift term Tu will bring us new challenges due to the lack of the prior assumption for the vertical derivative Tu. As usual, when we consider the regularity of subelliptic equations with the drift, we shall require the integrability of Tu, Xu, and \(X^{2}u\), such as [18]. However, this integrability cannot be obtained by difference quotient in our situation. In this paper, we adopt a new clever method to avoid the requirement of the integrability. In fact, we employ the relationship of \(T=X_{i}X_{n+i}-X_{n+i}X_{i}\) to establish suitable estimates for Tu in subtle ways. So the processing of drift terms is different from that of the processing of other terms in the system. Actually, we are going to employ a generalization of the \(\mathcal{A}\)-harmonic approximation technique introduced by Duzaar and Steffen [20].
Subsequently, we introduce the following precise structural assumptions for the coefficients \(A_{i}^{\alpha}\) and \(B^{\alpha}\) that are essential for our analysis throughout the paper.
(H1). The term \(A_{i}^{\alpha}(\xi ,u,p)\) exhibits differentiability with respect to p, and a constant L exists such that
as specified by \(A_{i,p_{\beta}^{j}}^{\alpha}(\xi ,u,p)= \frac{\partial{A}_{i}^{\alpha}(\xi ,u,p)}{\partial{p}_{\beta}^{j}}\).
(H2). The term \(A_{i}^{\alpha}(\xi ,u,p)\) satisfies the following ellipticity condition:
where λ is a positive constant.
(H3). There exist a modulus of continuity \(\mu :(0,+\infty )\rightarrow [0,+\infty )\) and a nondecreasing function \(\kappa :[0,+\infty )\rightarrow [1,+\infty )\) such that
Without loss of generality, we can assume \(\kappa \ge 1\) and that
(μ1) μ is nondecreasing with \(\mu (0_{+})=0\), \(\mu (1)=1\);
(μ2) μ is concave, in the proof of the regularity result we have to require that \(r\rightarrow \frac{\mu (r)}{r^{\gamma}}\) is nonincreasing for some exponent \(\gamma \in (0,1)\);
(μ3) Dini’s condition \(M(r)=\int _{0}^{r}\frac{\mu (\rho )}{\rho}d\rho <\infty \) for some \(r>0\).
(HC) (Controllable growth condition). The term \(B^{\alpha}(\xi ,u,p)\) conforms to the following superquadratic controllable growth condition:
where a, b, and c are positive constants, also, r takes the value \(\frac{mQ}{Q-m}\) if \(m< Q\); or falls within the range \(Q\le r<+\infty \) if \(m=Q\).
Furthermore, condition (H1) implies
and there exists a continuously nonnegative and bounded function \(\omega (s,t):[0,\infty )\times [0,\infty )\rightarrow [0,\infty )\), satisfying \(\omega (s,0)=0\) for all s. Additionally, \(\omega (s,t)\) is monotonously nondecreasing in s for fixed t, is concave and monotonously nondecreasing in t for fixed s, such that for all \(\left (\xi ,u,p\right ),\left (\tilde{\xi},\tilde{u},\tilde{p} \right )\in \Omega \times \mathbb{R}^{N}\times \mathbb{R}^{2n\times{N}}\),
Further, (H2) enables us to infer the following inequality:
with a positive constant \(\lambda ^{\prime}\). Refer to [1] for detailed explanations.
In this paper, we adapt the method of \(\mathcal{A}\)-harmonic approximation to the subelliptic systems (1.1) in \(\mathbb{H}^{n}\), aiming to establish partial regularity for weak solutions. The crucial aspect lies in establishing a certain excess decay estimate for the excess functional \(\Phi (\xi _{0},\rho ,Xl)\). In the case \(m>2\), this functional is defined by
here we write
It is demonstrated that if \(\Phi \left (\xi _{0},\rho ,(Xu)_{\xi _{0},\rho}\right )\) is sufficiently small on a ball \(B_{\rho}(\xi _{0})\), then for some fixed \(\theta \in (0,\frac{1}{4}]\), there exists an excess improvement
The iteration of this result leads to the excess decay estimate, which in turn implies the regularity results.
Under the set of assumptions, we are prepared to present the main regularity results.
Theorem 1
Assume that coefficients \(A_{i}^{\alpha}\) and \(B^{\alpha}\) satisfy (H1–H3), (HC), and (μ1)–(μ3). Let \(u\in{HW}^{1,m}\left (\Omega ,\mathbb{R}^{N}\right )\) be a weak solution to system (1.1), i.e.,
Then there exists a relatively closed set \(\Omega _{0}\subset \Omega \) such that \(u\in C^{1}\left (\Omega \backslash \Omega _{0},\mathbb{R}^{N}\right )\). What is more, \(\Omega _{0}\subset \Sigma _{1}\cup \Sigma _{2}\) and Haar measure \((\Omega \backslash \Omega _{0})=0\), where
In addition, for \(\tau \in [\gamma ,1)\) and \(\xi _{0}\in \Omega \backslash \Omega _{0}\), the horizontal derivative Xu has the modulus of continuity \(r\rightarrow r^{\tau}+M(r)\) in a neighborhood of \(\xi _{0}\).
Remark 1
It is worth noting that our situation includes the subelliptic m-Laplacian system with the drift term Tu
where \(\xi \in \Omega \), \(2< m<\infty \). As previously mentioned, introducing a drift term adds complexity, notably in deriving appropriate estimates for second-order derivatives \(X_{i}X_{j}u\) of a test function. The challenge arises due to the necessity of establishing technical results allowing for exchange. Specifically, we must leverage the relationship between the horizontal vector field \(X_{i}\) and the vertical vector field T ingeniously to estimate the drift term Tu accurately.
The paper’s content unfolds as follows. In Sect. 2, we gather fundamental concepts and facts relevant to the Heisenberg group, encompassing horizontal Sobolev space, Poincaré-type inequalities, Jensen’s inequality, properties associated with Dini continuity, and an \(\mathcal{A}\)-harmonic approximation lemma. Section 3 delves into demonstrating a Caccioppoli-type inequality for weak solutions under conditions (H1–H3), (HC), and (μ1)–(μ3). Moving to Sect. 4, we establish partial \(C^{1}\)-regularity results through a series of steps. Firstly, we need to present an approximate linearization strategy outlined in Lemma 6, to apply \(\mathcal{A}\)-harmonic approximation technique. Subsequently, by employing the \(\mathcal{A}\)-harmonic approximation lemma in Sect. 2, we derive an excess improvement estimate for the functional \(\Phi \left (\xi _{0},\theta \rho ,(Xu)_{\xi _{0},\theta \rho}\right )\) under three smallness condition assumptions. Finally, the proof of Theorem 1 is provided by iteration.
2 Preliminaries
This section will offer an introduction to the Heisenberg group \(\mathbb{H}^{n}\), define function spaces, and present some elementary estimates essential for subsequent discussions.
2.1 Introduction of the Heisenberg group \(\mathbb{H}^{n}\)
The Heisenberg group \(\mathbb{H}^{n}\) is defined as \(\mathbb{R}^{2n+1}\) endowed with the following group multiplication:
for all \(\xi =\left (\xi ^{1},t\right )=(x_{1},x_{2},\ldots ,x_{n},y_{1},y_{2}, \ldots ,y_{n},t)\), \(\tilde{\xi}=\left (\tilde{\xi}^{1},\tilde{t}\right )=(\tilde{x_{1}}, \tilde{x_{2}},\ldots ,\tilde{x_{n}},\tilde{y_{1}},\tilde{y_{2}}, \ldots ,\tilde{y_{n}},\tilde{t})\). This multiplication corresponds to addition in Euclidean \(\mathbb{R}^{2n+1}\), its neutral element is 0, and its inverse to \(\left (\tilde{\xi}^{1}, t\right )\) is given by \(\left (-\tilde{\xi}^{1}, -t\right )\). Particularly, the mapping \(\left (\xi ,\tilde{\xi}\right )\mapsto \xi \cdot \tilde{\xi}^{-1}\) is smooth, therefore \((\mathbb{H}^{n},\cdot )\) is a Lie group.
The basic vector fields corresponding to its Lie algebra can be explicitly calculated and are given by
with \(T\equiv T(\xi )=\frac{\partial}{\partial t}\), and note the special structure of the commutators:
that is, \(\left ({\mathbb{H}^{n},\;\cdot}\right )\) is a nilpotent Lie group of step 2. For the horizontal gradient \(X=(X_{1},X_{2},\ldots ,X_{2n})\), we call \(X_{1},X_{2},\ldots ,X_{2n}\) horizontal vector fields and T the vertical vector field.
The homogeneous norm is defined by
and the metric induced by this homogeneous norm is given by
The measure used on \(\mathbb{H}^{n}\) is Haar measure (Lebesgue measure in \({\mathbb{R}}^{2n+1}\)), and the volume of the homogeneous ball
is given by
where the number
is termed the homogeneous dimension of \(\mathbb{H}^{n}\), while \(\omega _{n}\) represents the volume of the homogeneous ball with radius 1.
2.2 Some definitions and lemmas
Our discussion will introduce the function space and inequalities that are essential for our results. Initially, we define the horizontal Sobolev space.
Definition 1
(Horizontal Sobolev space)
Let \(\Omega \subset{\mathbb{H}^{n}}\) be an open set, the horizontal Sobolev space \(HW^{1,m}(\Omega )(1\le{m}<\infty )\) is defined as
which is a Banach space under the norm
and the space \(HW_{0}^{1,m}(\Omega )\) is the completion of \(C_{0}^{\infty}(\Omega )\) under the norm (2.2).
Lu [21] established a Poincaré-type inequality linked to Hörmander vector fields, naturally applicable to the Heisenberg group \(\mathbb{H}^{n}\).
Lemma 1
(Poincaré-type inequality)
Let \(1< q< Q\) with Q being the homogeneous dimension. For every \(u\in{HW^{1,q}}\left (B_{\rho}(\xi _{0})\right )\), there exists a positive constant \(C_{p}\), the following holds:
where \(\xi _{0}\in \Omega \) and \(1\leq{p}\leq \frac{qQ}{Q-q}\). And that (2.3) is valid for \(p=q=m(\ge 2)\).
Lemma 2
(Lyapunov’s inequality)
Assume \(0< m,q<\infty \), and \(f\in{L}^{m}(\Omega )\cap{L}^{q}(\Omega )\), then for any r with \(m< r< q\), we have \(f\in{L}^{r}(\Omega )\) and
where \(0<\alpha <1\) with \(\frac{1}{r}=\frac{1-\alpha}{m}+\frac{\alpha}{q}\).
In fact, the conclusion can be obtained by Hölder’s inequality with the exponent pair \(\left (\frac{m}{(1-\alpha )r},\frac{q}{\alpha{r}}\right )\).
Following [22], for technical convenience, by letting \(\eta (t)=\mu ^{2}\left (\sqrt {t} \right )\), we have the corresponding properties for η:
(η1) η is continuous, nondecreasing and \(\eta (0)=0\);
(η2) η is concave, and \(r\rightarrow r^{-\gamma}\eta (r)\) is nonincreasing for some exponent \(\gamma \in (0, 1)\);
(η3) For some \(r<0\),
Changing κ by a constant, but keeping \(\kappa \ge 1\), we can assume that
(η4) \(\eta (1)=1\), implying \(\eta (t)\ge t\) for \(t\in [0,1]\).
We deduce from the nondecreasing nature of η that \(s\eta (t)\le{t}\eta (s)\) for all \(0\le{t}\le{s}\). Leveraging the nonincreasing property of \(r\mapsto \frac{\eta (r)}{r}\) and \(\eta (1)\le 1\), we address both cases to obtain
From (η2), we deduce for \(\theta \in (0,1)\), \(t>0\), \(j\in \mathbb{N}\cup \{0\}\),
which implies
It yields particularly that \(\eta (t)\le \frac{\gamma ^{2}}{4}H(t)\) for all \(t\le 0\), and \(t\mapsto{t}^{-\gamma}H(t)\) is also nonincreasing.
In the sequel, we let \(\rho _{1}(s,t)=(1+s+t)^{-1}\kappa (s+t)^{-1}\) and \(K_{1}(s,t)=(1+t)^{2m}\kappa ^{4}(s+t)\) for \(s,t\ge 0\). Note that \(\rho _{1}\le 1\) and that \(s\rightarrow \rho _{1}(s,t)\), \(t\rightarrow \rho _{1}(s,t)\) are nonincreasing functions.
Specifically, we can get the following \(\mathcal{A}\)-harmonic approximation lemma in \(\mathbb{H}^{n}\) similarly to [23], serving as the primary tool for establishing \(C^{1}\)-continuity outcomes.
Lemma 3
(\(\mathcal{A}\)-harmonic approximation lemma)
Suppose that λ and L are fixed positive constants and \(n,N\in \mathbb{N}\); for every \(\varepsilon >0\), there is a constant \(\delta =\delta (n,N,\lambda ,\varepsilon )\in (0,1]\) such that the following hold:
(I) Assume that \(\mathcal{A}\in{Bil}\left (\mathbb{R}^{2n\times{N}}\right )\) with the properties
(II) For any \(w\in{HW}^{1,2}\left (B_{\rho}(\xi _{0}),\mathbb{R}^{N}\right )\) and that
and
there exists an \(\mathcal{A}\)-harmonic function h such that
and
Now, we briefly introduce a prior estimate for weak solution u.
Lemma 4
(Prior estimate)
Let \(h\in{HW}^{1,m}\left (B_{\rho}(\xi _{0}),\mathbb{R}^{N}\right )\) be any \(\mathcal{A}\)-harmonic function defined in \(B_{\rho}(\xi _{0})\). Then there exists \(C_{0}\ge 1\) such that
Lemma 5
(Jensen’s inequality)
Let \(\omega :\mathbb{R}\rightarrow \mathbb{R}\) be a concave function and \(f(x)\in L^{1}(\Omega )\), then the inequality
holds. For the proof of this lemma, one can refer to [24].
Throughout our exposition, we claim that C is a constant, which may vary from line to line, and the dependence of C on the associated coefficients is specified within parentheses following each constant, if necessary.
3 Caccioppoli type inequality
This section is dedicated to proving a Caccioppoli-type inequality featuring a drift term under the superquadratic controllable growth condition.
Lemma 6
(Caccioppoli type inequality)
Let \(u\in{HW}^{1,m}\left (\Omega ,\mathbb{R}^{N}\right )\) represent a weak solution to system (1.1), satisfying (H1–H3), (HC), and (μ1)–(μ3). For any \(\xi _{0}=\big (x_{1}^{0},x_{2}^{0},\ldots ,{x_{n}^{0}},y_{1}^{0}, y_{2}^{0}, \ldots ,y_{n}^{0},t^{0}\big )\in \Omega \), \(u_{0}\in \mathbb{R}^{N}\), \(Xl\in \mathbb{R}^{2n\times{N}}\), and for every ρ such that \(0<2\rho <\rho _{1}^{\frac{m}{2}}(|u_{0}|,|Xl|)\le 1\) and \(B_{2\rho}(\xi _{0})\subset \subset \Omega \), the inequality
holds, where \(C_{c}\) is constant, \(l=u_{0}+Xl\left (\xi ^{1}-\xi _{0}^{1}\right )\), , and \(\xi ^{1}=(x_{1},\ldots ,{x_{n}},y_{1},\ldots ,y_{n})\) are the horizontal components of \(\xi =(x_{1},\ldots ,{x_{n}},y_{1},\ldots ,y_{n},t)\in \mathbb{H}^{n}\).
Proof
We test the subelliptic system (1.1) with the testing function \(\varphi ^{\alpha}=\phi ^{2}v\) with \(v=u-l\), where \(\phi \in{C}_{0}^{\infty}\left (B_{2\rho}(\xi _{0})\right )\) serves as a cut-off function with \(0\le \phi \le 1\), \(|X\phi |\le C/\rho \), and \(\phi \equiv 1\) on \(B_{\rho}(\xi _{0})\). From (2.1), we find \(Xv=Xu-Xl\) and \(X\varphi ^{\alpha}=\phi ^{2}(Xu-Xl)+2\phi (u-l)X\phi \), which leads to
From a testing function \(\varphi ^{\alpha}=\phi ^{2}(u-l)\), we have
Note that \(A_{i}^{\alpha}(\xi _{0},u_{0},Xl)\) is a constant, an integration by parts infers that
We can obtain
The left-hand side in (3.2) can be estimated by using version (1.5), leading to
Now, let us estimate each term of the right-hand side in (3.2) individually.
To estimate \(J_{1}\), for a sufficiently small positive ε, employing Young’s inequality and \(|X\phi |< C\rho ^{-1}\), we obtain
Next, we estimate \(J_{2}\). Utilizing Jensen’s inequality, (2.4), and \(\eta (ts)\le t\eta (s)\) for \(t\ge 1\), we get
Note that (2.4) in the second-to-last inequality is applied with the assumption \(2\rho \le \rho _{1}^{\frac{m}{2}}(|u_{0}|,|Xl|)\le 1\).
Using Dini’s continuity condition (H3), Young’s inequality, and (3.5) in \(J_{2}\), we find
Similarly, we can obtain
and
where we have used the fact \(\kappa \ge 1\) in the last inequality.
The term \(J_{5}\) can be estimated by using the controllable growth condition (HC) and Hölder’s inequality, which yields
where \(C^{\prime}=\max \{a,b,c\}\), and we have used the facts \(|\varphi |\le \rho ^{2}\le 1\) and \(\frac{r-1}{r}\le \frac{m(r-1)}{r(m-1)}\).
Lastly, noticing l is independent of t in the last term and thus \(Tl=0\), i.e.,
and using \(|T\phi |\le \frac{1}{4}c_{1}\rho ^{-2}\), we conclude that
Joining the estimates (3.3)–(3.4), (3.6)–(3.10) with (3.2), we arrive at
here, \(C^{\prime}=\max \{a,b,c\}\), \(\Lambda =2^{-Q}\left (\lambda ^{\prime}-(2+C)\varepsilon \right )\). By choosing a suitable ε such that \(\Lambda >0\), we have thus shown the desired Caccioppoli-type estimates. This proves the claim. □
Remark 2
We emphasize that the function v employed in the proof significantly differs from that in [25]. Specifically, the horizontal vector fields \(\left \{X_{1},X_{2},\ldots ,X_{2n}\right \}\) in the Heisenberg group \(\mathbb{H}^{n}\) are more intricate compared to the vector fields \(\left \{\frac{\partial}{\partial{x_{1}}}, \frac{\partial}{\partial{x_{2}}}, \ldots , \frac{\partial}{\partial{x_{2n}}}\right \}\) in the Euclidean space. Here,
Thus, the function v chosen here incorporates the horizontal affine function.
4 Optimal partial Hölder continuity for subelliptic systems
To utilize the \(\mathcal{A}\)-harmonic approximation lemma, our focus is directed towards a lemma that outlines a linearization strategy applicable to nonlinear subelliptic systems such as (1.1).
4.1 Linearization strategy
Lemma 7
Assume \(u\in HW^{1,m}\left (\Omega ,\mathbb{R}^{N}\right )\) with \(m>2\) is a weak solution to (1.1) under assumptions of (H1–H3), (HC), and (μ1)–(μ3). Let \(B_{\rho}(\xi _{0})\subset \subset \Omega \) with \(\rho \le \rho _{1}^{\frac{m}{2}}(|u_{0}|, |Xl|)\) and for all \(\varphi \in{C}_{0}^{\infty}\left (B_{\rho}(\xi _{0}),\mathbb{R}^{N} \right )\) with \(\displaystyle \sup _{B_{\rho}(\xi _{0})}|X\varphi |\le 1\) and \(|\varphi |\le \rho ^{2}\le 1\), it follows that
where \(C_{1}=2^{\frac{m-2}{2}}\left (C(L)+2C^{\prime}+5+2C_{p}\right )>1\) and denote
Here, we define \(v=u-l\) is an approximately \(\mathcal{A}\)-harmonic map and l representing a horizontal affine function.
Proof
A straightforward computation leads to
where we used (3.1) over the ball \(B_{\rho}(\xi _{0})\) and (1.6).
Noting that , one has
with the obvious meaning of \(J_{1}^{\prime}-J_{5}^{\prime}\). Now, we estimate the term \(J_{1}^{\prime}\). Using (1.2) and (1.4), we compute
Through the utilization of (4.2), Hölder’s inequality, and leveraging the concavity of \(t\rightarrow \omega ^{2}(s,t)\) along with Jensen’s inequality, we ultimately reach the following expression:
where we have used the fact \(\frac{1}{2}\le \frac{m-1}{m}\le 1\) and the assumption \(\Phi (\xi _{0},\rho ,Xl)\le 1\).
The integral \(J_{2}^{\prime}\) can be bounded by employing the Dini continuity condition (1.3) and the inequality \(\eta (ts)\le t\eta (s)\) for \(t\ge 1\), leading to
where we utilized \(\eta \left (\rho ^{2}\right )\le \eta ^{\frac{1}{2}}\left (\rho ^{2} \right )\), which is deduced from the nondecreasing nature of function \(\eta (t)\), (η4), and considering the assumption \(\rho \le \rho _{1}\le 1\).
Similarity, by utilizing the Dini continuity condition (1.3), (3.5), and the Poincaré inequality (2.3) with \(p=q=2\), we can approximate as follows:
Note the fact that \(\displaystyle \sup _{B_{\rho}(\xi _{0})}|\varphi |\le \rho ^{2}\le 1\) and (η4), this leads to
where we have used \(r-1\ge \frac{m(r-1)}{r}\) and \(\eta (s)\le 1\) for \(s\in (0, 1]\).
Now, we estimate the last term \(J_{5}^{\prime}\). Noting \(T=X_{i}X_{n+i}-X_{n+i}X_{i}\), it implies
Now, we substitute (4.3)–(4.7) into (4.1) and yield the claim with \(C_{1}=2^{\frac{m-2}{2}}\big (C(L)+2C^{\prime}+5+2C_{p}\big )\). □
4.2 Excess improvement
The proof strategy involves approximating the given solution with \(\mathcal{A}\)-harmonic functions, for which decay estimates are available from classical theory. This allows us to establish the improvement in excess.
Lemma 8
Assuming the conditions of Theorem 1are met and given a fixed \(\gamma \in (0,1)\), positive constants \(C_{2}\), \(C_{3}\), and δ satisfy the conditions in the \(\mathcal{A}\)-harmonic approximation lemma. Letting \(\theta \in (0,1)\) be arbitrary, we impose the following smallness conditions on the excess:
where \(C_{2}=8C_{1}^{2}C_{4}\) is a positive constant, together with the radius condition
then for \(\tau \in [\gamma ,1)\) there holds the excess improvement estimate
where \(K^{*}(s,t)=C_{7}F^{2}(1+s,1+t)\).
Proof
We define \(w=\left [u-u_{\xi _{0},\rho}-(Xu)_{\xi _{0},\rho}\left (\xi ^{1}- \xi _{0}^{1}\right )\right ]\sigma _{1}\), where
with \(C_{1}>1\) in Lemma 7. Thus we have \(Xw=\sigma _{1}\left (Xu-(Xu)_{\xi _{0},\rho}\right )\). Now we consider \(B_{\rho}(\xi _{0})\subset \subset \Omega \) such that \(\rho \le \rho _{1}^{\frac{m}{2}}\left (\left |u_{\xi _{0},\rho} \right |, \left |(Xu)_{\xi _{0},\rho}\right |\right )\le 1\). It yields
Applying Lemma 7 on \(B_{\rho}(\xi _{0})\) to u, for any \(\varphi \in C_{0}^{\infty}\left (B_{\rho}(\xi _{0}),\mathbb{R}^{N} \right )\),
Considering the smallness condition (4.8), we observe that (4.12) and (4.13) imply conditions (2.6) and (2.7) respectively in the \(\mathcal{A}\)-harmonic approximation lemma. Also, note that assumptions (H1) and (H2) with \(u=u_{\xi _{0},\rho}\) and \(p=(Xu)_{\xi _{0},\rho}\) imply condition (2.5). So there exists an \(A_{i,p_{\beta}^{j}}^{\alpha}(\xi _{0},u_{\xi _{0},\rho},(Xu)_{\xi _{0}, \rho})\)- harmonic function \(h\in{HW}^{1,2}\left (B_{\rho}\left (\xi _{0}\right ),\mathbb{R}^{N} \right )\) such that
and
Using Lemma 6 on the ball \(B_{2\theta \rho}(\xi _{0})\) with \(u_{0}=u_{\xi _{0},2\theta \rho}\), \(\theta \in (0,\frac{1}{4}]\) and replacing Xl by \((Xu)_{\xi _{0},\rho}+\sigma _{1}^{-1}(Xh)_{\xi _{0},2\theta \rho}\), we obtain
We see that \(g(\tau )=\int _{B_{2\theta \rho}(\xi _{0})}(u-\tau )^{2}d\xi \) achieves its minimal value at \(\tau =u_{\xi _{0},2\theta \rho}\), and
has the mean value \(u_{\xi _{0},2\theta \rho}\) on the ball \(B_{2\theta \rho}(\xi _{0})\). Applying the definition of w, the Poincaré inequality, (4.15), (2.9), and (4.14), we derive the following estimate:
where \(C_{3}=4C_{1}^{2}\left (2^{-Q-1}+8C_{p}^{2}C_{0}\right )>1\), we have employed the definition of \(\sigma _{1}\) in (4.11) with \(u_{0}=u_{\xi _{0},2\theta \rho}\) along with the fact that
Then it follows
For \(2< m< Q\), we find \(\frac{Q-m}{Qm}=\frac{1}{m^{*}}<\frac{1}{m}<\frac{1}{2}\). Hence, there exists \(t\in [0,1)\) such that
Employing Lyapunov’s inequality, Young’s inequality, and (4.17), then
where
Then we conclude
Noting that the smallness conditions (4.8)–(4.9) imply
with \(C_{4}=\max \left \{C_{0},(2\theta )^{-Q}\right \}\), assuming \(\frac{1}{2}C_{1}^{2}C_{4}\delta ^{2}\le 1\) (which is not restrictive), we apply the prior estimate (2.8) for the \(\mathcal{A}\)-harmonic function h, then
Furthermore, it follows by the Poincaré inequality
where we have used the definition of \(\sigma _{1}\) in (4.11) and the fact \(C_{1}>C_{p}\).
Therefore, (4.18) and (4.19) yield
Using the Poincaré inequality (2.3), we have
where we utilize the fact \((2\theta )^{-Q}\Phi (\xi _{0},\rho ,(Xu)_{\xi _{0},\rho})\le 1\) in the last inequality, implied by the assumption \(\sigma _{1}^{-2}C_{4}\le 1\) with \(C_{4}=\max \left \{C_{0},(2\theta )^{-Q}\right \}\). Considering
we have
where we have used \(\frac{Qm(r-1)}{r(m-1)}\le Q+\frac{m}{m-1}\) and \((2\theta \rho )^{\frac{m}{m-1}}\le \eta \left ((2\theta \rho )^{ \frac{m}{m-1}}\right )\).
Combining \(J_{1}^{\prime \prime}\), \(J_{2}^{\prime \prime}\), \(J_{3}^{\prime \prime}\), \(J_{4}^{\prime \prime}\) with (4.16), we obtain
where \(C_{5}=C_{c}C_{3}^{\frac{m}{2}}\left [\varepsilon ^{\frac{-t}{1-t}}+1 \right ]>1\).
Selecting a suitable small \(\varepsilon _{1}>0\) such that \(1-(2C_{p})^{m}C_{c}\varepsilon _{1}2^{Q}>0\) and considering the smallness condition (4.10) implies
as seen in (4.18) and (4.19), we conclude
where \(C_{6}= \frac{C_{5}2^{Q}}{\left [1-(2C_{p})^{m}C_{c}\varepsilon _{1}2^{Q}\right ]} \left (\frac{\delta}{4}\right )^{-2}>1\).
Given \(\tau \in [\gamma ,1)\), we choose \(\theta \in (0,\frac{1}{4}]\) sufficiently small to guarantee \(2C_{6}\theta ^{2}\le \theta ^{2\tau}\), and set \(\varepsilon =\theta ^{Q+4}\). Consequently,
where \(C_{7}=\left (\frac{1}{2}C_{6}\theta ^{2}+C_{6}\right )>1\) and \(K^{*}(s,t)=C_{7}F^{2}(1+s,1+t)\). Thus we conclude Lemma 8. □
4.3 Iteration and Proof of Theorem 1
For \(T>0\), there exists \(\Phi _{0}(T)>0\) (depending on Q, N, λ, L, τ and ω) such that
and
with \(\Phi _{0}(T)\) from (4.20) and (4.21), we choose \(\rho _{0}(T)\in (0,1]\) (depending on Q, N, λ, L, τ, ω, η and κ) such that
and
where \(K_{0}(T):=K^{*}(2T,2T)\).
By applying the proof method of Lemma 5.1 in [22] and conditions (4.20)–(4.25), Lemma 9 can be proven. It suffices to complete the proof of Theorem 1 once we obtain Lemma 9.
Lemma 9
We assert that for some \(T_{0}>0\) and \(B_{\rho}(\xi _{0},\rho )\subset \subset \Omega \), we have
(1) \(|u_{\xi _{0},\rho}|+|(Xu_{\xi _{0},\rho})|\le T_{0}\);
(2) \(\rho \le \rho _{0}(T_{0})\);
(3) \(\Phi \left (\xi _{0},\rho ,(Xu)_{\xi _{0},\rho}\right )\le \Phi (T_{0})\).
Then conditions (4.8)–(4.10) hold for the balls \(B_{\theta ^{j}\rho}(\xi _{0})\) for \(j\in \mathbb{N}\cup \{0\}\). Additionally, the existence of \(\lim \Lambda _{\xi _{0}}=\displaystyle \lim _{j\rightarrow \infty}(Xu)_{ \xi _{0},\theta ^{j}\rho}\) is guaranteed, and the estimate
holds for \(0< r\le \rho \) with a constant \(C_{8}=C_{8}(Q,N,\lambda ,L,\tau ,T_{0})\).
Proof
The proof closely resembles that of Lemma 5.1 in [22]. We omit it here. □
Data availability
No datasets were generated or analysed during the current study.
References
Wang, J., Niu, P.: Optimal partial regularity for weak solutions of nonlinear sub-elliptic systems in Carnot groups. Nonlinear Anal. 72, 4162–4187 (2010)
Wang, J., Liao, D.: Optimal partial regularity for sub-elliptic systems with sub-quadratic growth in Carnot groups. Nonlinear Anal. 75, 2499–2519 (2012)
Bögelein, V., Duzaar, F., Habermann, J., Scheven, C.: Partial Hölder continuity for discontinuous elliptic problems with VMO-coefficients. Proc. Lond. Math. Soc. 103, 371–404 (2011)
Kanazawa, T.: Partial regularity for elliptic systems with VMO-coefficients. Riv. Mat. Univ. Parma 5, 311–333 (2014)
Wei, N.: Morrey regularity for degenerate elliptic equations with VMO coefficients in the Heisenberg group. Math. Appl. 27, 818–826 (2014)
Sun, X., Song, Y., Liang, S.: On the critical Choquard-Kirchhoff problem on the Heisenberg group. Adv. Nonlinear Anal. 12, 210–236 (2023)
Sun, X., Song, Y., Liang, S., Zhang, B.: Critical Kirchhoff equations involving the p-sub-Laplacians operators on the Heisenberg group. Bull. Math. Sci. 13, 2250006, 26 pp. (2023)
Hu, Y.: Reversed Hardy-Littlewood-Sobolev inequalities with weights on the Heisenberg group. Adv. Nonlinear Anal. 12, 20230116, 25 pp. (2023)
Wang, J., Liao, D., Gao, S., Yu, Z.: Optimal partial regularity for sub-elliptic systems with Dini continuous coefficients under the super-quadratic natural growth. Nonlinear Anal. 114, 13–25 (2015)
Wang, J., Liao, Q., Liao, D., et al.: \(C^{1}\)-Partial regularity for sub-elliptic systems with Dini continuous coefficients in Carnot groups. Nonlinear Anal. 169, 242–264 (2018)
Bögelein, V., Duzaar, F., Liao, N., Scheven, C.: Gradient Hölder regularity for degenerate parabolic systems. Nonlinear Anal. 225, 113119, 61 pp. (2022)
Bögelein, V., Duzaar, F., Marcellini, P., Scheven, C.: Boundary regularity for elliptic systems with \(p,q\)-growth. J. Math. Pures Appl. 159, 250–293 (2022)
Lanconelli, E., Pascucci, A., Polidoro, S.: Linear and nonlinear ultraparabolic equations of Kolmogorov type arising in diffusion theory and in finance. Int. Math. Ser. 2, 243–265 (2002)
Bramanti, M., Zhu, M.: \(L^{p}\) and Schauder estimates for nonvariational operators structured on Hörmander vector fields with drift. Anal. PDE 6, 1793–1855 (2013)
Hou, Y., Niu, P.: Weighted Sobolev-Morrey estimates for hypoelliptic operators with drift on homogeneous groups. J. Math. Anal. Appl. 428, 1319–1338 (2015)
Du, G., Han, J., Niu, P.: Interior regularity for degenerate equations with drift on homogeneous groups. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 587–604 (2019)
Austin, A.D., Tyson, J.T.: A new proof of the \(C^{\infty}\) regularity of \(C^{2}\)-conformal mappings on the Heisenberg group. Colloq. Math. 150, 217–228 (2017)
Zhang, J., Niu, P.: \(C^{1,\alpha}\)-Regularity for quasilinear degenerate elliptic equation with a drift term on the Heisenberg group. Bull. Sci. Math. 175, 103097, 30 pp. (2022)
Zhang, J., Wang, J.: Regularity for a nonlinear discontinuous subelliptic system with drift on the Heisenberg group. Adv. Math. Phys. 2022, 7853139, 14 pp. (2022)
Duzaar, F., Steffen, K.: Optimal interior and boundary regularity for almost minimizers to elliptic variational integrals. J. Reine Angew. Math. 546, 73–138 (2002)
Lu, G.: The sharp Poincaré inequality for free vector fields: an endpoint result. Rev. Mat. Iberoam. 10, 453–466 (1994)
Duzaar, F., Gastel, A.: Nonlinear elliptic systems with Dini continuous coefficients. Arch. Math. 78, 58–73 (2002)
Föglein, A.: Partial regularity results for sub-elliptic systems in the Heisenberg group. Calc. Var. Partial Differ. Equ. 32, 25–51 (2008)
Chen, Y., Wu, L.: Second Order Elliptic Equations and Elliptic Systems, vol. 2, pp. 158–286. Science Press, Beijing (2003)
Chen, S., Tan, Z.: Optimal partial regularity of second order parabolic systems under controllable growth condition. J. Funct. Anal. 266, 4908–4937 (2014)
Acknowledgements
The authors express their gratitude to the referees for their thorough review of the manuscript and for providing valuable suggestions.
Funding
The research is supported by the National Natural Science Foundation of China (No. 12061010), Natural Science Foundation of Jiangxi Province (No. S2024ZRZDL0326) and Science and Technology Planning Project of Jiangxi Province (No. GJJ2201204).
Author information
Authors and Affiliations
Contributions
The authors declare that they contribute to the paper equally, they all joined in the work of analysis, calculation and organizing the paper. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare 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 licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License, which permits any non-commercial use, sharing, 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 you modified the licensed material. You do not have permission under this licence to share adapted material derived from this article or parts of it. 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-nc-nd/4.0/.
About this article
Cite this article
Duan, G., Wang, J. & Liao, D. \(C^{1}\)-Regularity for subelliptic systems with drift in the Heisenberg group: the superquadratic controllable growth. Bound Value Probl 2024, 108 (2024). https://doi.org/10.1186/s13661-024-01917-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01917-4