- Research
- Open Access
- Published:
Partial interior regularity for sub-elliptic systems with Dini continuous coefficients in Carnot groups: the sub-quadratic controllable case
Boundary Value Problems volume 2017, Article number: 150 (2017)
Abstract
We consider nonlinear sub-elliptic systems with Dini continuous coefficients for the case \(1< m<2\) in Carnot groups and prove a \(C^{1}\)-partial regularity result for weak solutions under the controllable growth conditions. Our method of proof for sub-elliptic systems is based on a generalization of the technique of \(\mathcal {A}\)-harmonic approximation. It is interesting to point out that our result is optimal in the sense that in the case of Hölder continuous coefficients we get directly the optimal Hölder exponent on its regular set.
1 Introduction and the main result
In this paper, we are focused on the nonlinear sub-elliptic systems involving sub-quadratic (\(1< m<2\)) controllable growth terms in divergence form in Carnot groups G,
where Ω is a bounded domain in G, \(X = \{X_{1} , \ldots,X_{k} \}\) with \(X_{i}\) (\(i = 1, \ldots,k\)) to see (2.1) below, \(u: \Omega\to{ \mathbb{R}}^{N}\), \(A_{i}^{\alpha}:\Omega\times{ \mathbb{R}}^{N}\times{\mathbb{R}}^{k\times N} \to{\mathbb{ R}}^{k\times N}\), and \(B^{\alpha}:\Omega\times{ \mathbb{R}}^{N}\times{\mathbb{R}}^{k\times N} \to{ \mathbb{R}}^{N}\).
The aim is to weaken assumptions on coefficients \(A_{i}^{\alpha}\) with Hölder continuity in the variables \((\xi,u)\) to the assumptions of Dini continuity, and to show a partial regularity result with optimal estimates for the modulus of continuity for the horizontal derivative Xu; see [1, 2] for the case of sub-elliptic systems with Hölder continuous coefficients.
As is well known, even under reasonable assumptions on the coefficients \(A_{i}^{\alpha}\), \(B^{\alpha}\) in the systems, people cannot in general expect that weak solutions of nonlinear elliptic systems of equations will be classical (i.e., \(C^{2}\)-solutions) like elliptic scalar equations; see [3] by De Giorgi. Then the goal is to establish partial regularity of weak solutions for systems; see monographs [4–6] for more details. Moreover, Duzaar and Steffen in [7] introduced a new method called \(\mathcal {A}\)-harmonic approximation technique, which was then simplified by Duzaar and Grotowski in [8], to investigate elliptic systems with quadratic growth case. This technique avoids proving a reverse Hölder inequality. Later, many results have been obtained for more general coefficients \(A_{i}^{\alpha}\) or \(B^{\alpha}\) in the Euclidean setting; see [9–12] for Hölder continuous coefficients, and [13–15] for Dini continuous coefficients.
With respect to sub-elliptic systems in Carnot groups, there are some new difficulties and challenges which remain due to the lack of commutation and homogeneity of the horizontal vector fields. We list several results for sub-elliptic systems with Hölder continuous coefficients. Capogna and Garofalo [16], and Shores [17] considered the quadratic growth case, whereas Föglein [18], Wang and Niu [1], and Wang and Liao [2] treated non-quadratic cases. It is remarkable that Zheng and Feng [19] showed everywhere regularity for weak solutions of sub-elliptic p-harmonic systems while p is closed to 2 in Carnot groups. We also refer readers to [20–25] for regularity of weak solutions and to [26–30] for other interesting topics such as variational principle, uniqueness, existence and nonexistence of solutions to sub-elliptic equations on Carnot groups.
Recently, Wang and Liao [31] considered sub-elliptic systems with Dini continuous coefficients under super-quadratic conditions (\(m\geq2\)). In this paper, we treat the sub-quadratic case (\(1< m< 2\)). It is worth mentioning that the key point is to establish a certain excess-decay estimate for the excess functional Φ. In the case \(m\geq2\), this functional is given by
where we have used the notation \(\fint_{B_{r}(\xi_{0})}u(\xi) \,d\xi= \frac {1}{|B_{r}(\xi_{0})|_{G}}\int_{B_{r}(\xi_{0})}u(\xi) \,d\xi\). However, in the sub-quadratic case \(1< m<2\), one should establish the excess-decay estimate for the following functional:
where \(V(A)=(1+|A|^{2})^{\frac{4}{m-2}}\) for \(A\in\mathbb{R}^{k\times N}\), which itself leads to the continuity of the horizontal gradient Xu of the weak solution via the integral characterization of continuity by Campanato. For \(1< m<2\), we first have to generalize the approximation lemma directly (see Lemma 4 below), and the proof requires a Sobolev-Poincaré type inequality related to the functions V (see Lemma 5 below).
In the sequel, let \(\Omega\subset{G}\) be a bounded domain in Carnot groups G with general step and consider weak solutions of the sub-elliptic systems (1.1), i.e.,
with sub-quadratic controllable structure conditions (H1)-(H4), where:
(H1): \(A_{i}^{\alpha}(\xi ,u,p)\) is differentiable with respect to p, with bounded and continuous derivatives, that is, there exists a constant C such that
where we denote by \(A_{i,p_{\beta}^{j} }^{\alpha}( \cdot) = \frac{\partial A_{i}^{\alpha}( \cdot)}{\partial p_{\beta}^{j} }\). Furthermore, (H1) implies that there exists a continuously nonnegative and bounded function \(\omega(s,t): [0,\infty)\times[0,\infty) \to[0,\infty)\), where \(\omega(s,0) = 0\) for all s, and \(\omega(s,t)\) is monotonously nondecreasing in s for fixed t; \(\omega(s,t)\) is concave and monotonously nondecreasing in t for fixed s such that
(H2): \(A_{i}^{\alpha}(\xi,u,p)\) satisfies the following ellipticity condition:
where λ is a positive constant.
(H3): There exists a modulus of continuity \(\mu:(0, \infty )\rightarrow[0,\infty)\) such that
where \(K(\cdot): [0,\infty) \to[0,\infty)\) is monotonously nondecreasing. Without loss of generality, we assume \(K(\cdot) \ge1\) and that (μ1) μ is nondecreasing with \(\mu{(0 + ) = 0} \mu(1)=1\); (μ2) μ is concave, and \(r \to r^{ - \gamma}\mu(r)\) is nonincreasing for some exponent \(\gamma\in(0,1)\); (μ3) Dini condition \(H(r) = \int_{0}^{r} {\frac{\sqrt{\mu(\rho )}}{\rho}}\, d\rho< \infty\) for some \(r > 0\).
(H4) (Controllable growth condition): The term \(B^{\alpha}\) satisfies sub-quadratic controllable growth condition
where C is a positive constant, and \(r=\frac{mQ}{Q-m}\) if \(m< Q\); or \(Q\leq r < +\infty\) if \(m=Q\). We note that \(Q \geq3\) is the homogeneous dimension in non-Abelian Carnot groups (see (2.3) below), and the exponent m satisfies \(1< m<2\). So those infer that \(m< Q\), and then \(r=\frac{mQ}{Q-m}\) in our setting.
We follow the strategy in the Euclidean case used by Duzaar et al. in [14] and Duzaar and Grotowski in [8] with the necessary modification to handle the sub-elliptic case in Carnot groups. First, inspired by [18], we choose horizontal variables to construct an auxiliary function to establish Caccioppoli type inequality; see Lemma 7 below. The method of using Taylor’s expansion in [14] cannot be easily adapted to our situation. Instead, we choose different auxiliary functions and apply the Sobolev-Poincaré type inequality (3.6) to obtain the desired excess improvement estimates.
The main result in this paper is as follows.
Theorem 1
Assume that coefficients \(A_{i}^{\alpha}\) and \(B^{\alpha}\) satisfy conditions (H1)-(H4) with (μ1)-(μ3), and \(u \in HW^{1,m}(\Omega,{ \mathbb{R}}^{N})\) is a weak solution to (1.3) with bounded domain \(\Omega\subset G\). Then there exists an open subset \(\Omega_{0} \subset\Omega\) such that \(u \in C^{1 }(\Omega_{0} ,{ \mathbb{R}}^{N})\). Furthermore, the closed singular set \(\Omega \setminus \Omega_{0} \subset\Sigma_{1} \cup\Sigma_{2} \) of Lebesgue measure zero, where
In addition, for \(\tau\in[\gamma, 1)\) and \(\xi_{0} \in\Omega \setminus \Omega_{0}\), the derivative Xu has the modulus of continuity \(r \rightarrow r^{\tau}+M(r)\) in a neighborhood of \(\xi_{0}\).
It is worth pointing out that the Haar measure in Carnot groups \(\mathbb {G}\) with the underlying manifold \(\mathbb{R}^{n}\) is just the Lebesgue measure in \(\mathbb{R}^{n}\). Our result is optimal in the sense that when \(\mu(\rho) = \rho^{\gamma}\), \(0 < \gamma< 1\), we have \(M(r) = \int_{0}^{r} {\frac{{\mu(\rho)}}{\rho}} \, d\rho= \gamma^{ - 1}r^{\gamma}\), and \(C ^{1,\gamma} \) regularity is known to be optimal in that case; see the reference [2] by Wang and Liao.
2 Preliminaries
A Carnot group G of step r is a simply connected, nilpotent Lie group whose Lie algebra \(\mathfrak{g}\) admits a stratification, i.e., \(\mathfrak{g}=\bigoplus_{j=1}^{r} V^{j} \) such that \([V^{1},V^{j}]=V^{j+1}\), \(j=1,\ldots,r-1 \) and \([V^{1},V^{r}]={\{0\}}\). Let \(X_{i}^{l}\) be a left-invariant basis vector field of \(V^{l}\) with \(1\leq l\leq r\) and \(1\leq i\leq m_{l}\), where \(m_{l}\) is the dimension of \(V^{l}\). For simplicity, we write \(X_{i}=X_{i}^{1}\), \(k=m_{1}\), and denote by \(X=(X_{1},\ldots,X_{k})\) the horizontal gradient. We say that \({X_{i}}\) (\(i=1,\ldots,k\)) are the horizontal vector fields with the form
where \(a_{ij}(\xi)\) is a polynomial.
We write
and the distance from origin is defined by
For any \(\xi, \eta\in G\), we set \(d(\xi,\eta)=d(\eta^{-1}\circ \xi)\), where \(\eta^{-1}=-\eta=(-\eta^{1},\ldots,-\eta^{r})\) is the reverse of η, and ∘ is the multiplication rule in G defined by \(\xi\circ\widetilde{\xi}=\xi+\widetilde{\xi}+P(\xi,\widetilde{\xi} ), \xi, \widetilde{\xi}\in G\), where \(P:G\times G\mapsto G\) has polynomial components. Following [32], we denote by \(\omega_{G}= \vert {B_{1}(0)} \vert _{G} \) the volume of unit ball. Then \(\vert {B_{r}(\xi)} \vert _{G} = \omega_{G} r^{Q} \), where
is the homogeneous dimension of G.
The non-Abelian Heisenberg group \(\mathbb{H}^{n}\) is the simplest and the most important prototype of the Carnot group with step \(r=2\), which is defined as \(\mathbb{R}^{2n + 1}\) endowed with the following group multiplication:
The basic vector fields corresponding to its Lie algebra \(\mathfrak{g}\) can be explicitly calculated by the exponential map and are given by
for \(i = 1,2, \ldots,n\). The homogeneous dimension Q in the Heisenberg group \(H^{n}\) is \(2n+2\geq4\). Given the property of the Heisenberg algebra \(\mathfrak{g}\), one has \(\mathfrak{g} =\mathbb{R}^{2n+1}=V_{1}\oplus V_{2}\) with \(V_{1}=\mathbb {R}^{2n}\times\{0\}\) and \(V_{2}=\{0\}_{ \mathbb{R}^{2n}} \times\mathbb {R}\) such that \([X_{i}, X_{n+j}] =T\delta_{ij}\) and \([V_{1}, V_{1}] =V_{2}\).
Let \(1 \leq m < \infty\) and \(\Omega\subset{ G}\) be an open set. If \(u \in L^{m}(\Omega)\) satisfies
we say that u belongs to the horizontal Sobolev space. The space \(HW_{0}^{1,m}(\Omega) \) is the completion of \(C_{0}^{\infty}(\Omega)\) under the norm (2.6).
Throughout the paper, we shall use the functions \(V, W:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}\) defined by
for each \(\varsigma\in\mathbb{R}^{n}\) and \(m>1\). By the elementary inequality \(\Vert x \Vert _{\frac{2}{{2-m}}}\leq \Vert x \Vert _{1}\leq2^{\frac{m}{2}} \Vert x \Vert _{\frac {2}{{2-m}}}\) applied to the vector \(x=( {1, \vert {\varsigma} \vert ^{2-m}}) \in\mathbb{R}^{2}\), we conclude that
which immediately yields
The purpose of introducing W is the fact that in contrast to \(\vert V \vert ^{\frac{2}{m}}\), the function \(\vert W \vert ^{\frac{2}{m}}\) is convex (see [9]).
The following lemma includes some useful properties of the function V, which can be found in Lemma 2.1 of [33].
Lemma 2
Let \(m\in(1,2)\) and \(V, W : \mathbb{R}^{n}\rightarrow\mathbb{R}^{n}\) be the functions defined in (2.7). Then there holds for any \(\varsigma_{1},\varsigma_{2}\in\mathbb{R}^{n}\) and \(t>0\):
-
(1)
\(\frac{1}{\sqrt{2} }\min ( { \vert {\varsigma_{1}} \vert , \vert {\varsigma_{1}} \vert ^{\frac{m}{2}} } ) \leq \vert {V ( {\varsigma_{1}} )} \vert \leq\min ( { \vert {\varsigma_{1}} \vert , \vert {\varsigma_{1}} \vert ^{\frac{m}{2}} } )\);
-
(2)
\(\vert {V(t\varsigma_{1})} \vert \leq\max ( {t,t^{\frac {m}{2}} } ) \vert {V(\varsigma_{1})} \vert \);
-
(3)
\(\vert {V(\varsigma_{1} + \varsigma_{2})} \vert \leq C(m)( \vert {V(\varsigma_{1})} \vert + \vert {V(\varsigma_{2})} \vert )\);
-
(4)
\(\frac{m}{2} \vert \varsigma_{1} - \varsigma_{2} \vert \leq{{ \vert {V(\varsigma_{1}) - V(\varsigma_{2})} \vert }}/{{( {1 + \vert {\varsigma_{1}} \vert ^{2} + \vert {\varsigma_{2}} \vert ^{2} })^{\frac{{m - 2}}{4}} }} \leq C(m,n) \vert \varsigma_{1} - \varsigma_{2} \vert \);
-
(5)
\(\vert {V(\varsigma_{1} ) - V(\varsigma_{2})} \vert \leq C(m,n) \vert {V( \varsigma_{1} - \varsigma_{2})} \vert \);
-
(6)
\(\vert {V(\varsigma_{1} - \varsigma_{2})} \vert \leq C(m,M) \vert { V(\varsigma_{1} ) - V(\varsigma_{2})} \vert \) for all \(\varsigma_{1}\) with \(|\varsigma_{2}|\leq M\).
The inequalities (1)-(3) also hold if V is replaced by W.
Let \(\varsigma_{1},\varsigma_{2}\in\mathbb{R}^{n}\) with \(|\varsigma _{2}|\leq M\), and we mention that the following two estimates can be deduced from Lemma 2(1) and (6):
for \(\vert {\varsigma_{1}-\varsigma_{2}} \vert \leq1\), while for \(\vert {\varsigma_{1}-\varsigma_{2}} \vert >1\),
The next lemma is an algebraic fact from [34].
Lemma 3
For every \(t \in ( { - \frac{1}{2},0} )\) and \(\eta\geq0\), it holds
for any \(p,\tilde{p}\in{\mathbb{R}}^{k\times N}\), not both zero if \(\eta=0\).
The nondecreasing property of μ yields \(s\mu(t)\le s\mu(t)\) for all \(0\le t \le s\). By the nonincreasing property of \(r\mapsto\frac{\mu(r)}{r}\) and \(\mu(1)\le1\), we conclude that
By (μ2), we further obtain for \(\theta\in(0,1)\), \(t>0\), \(j\in\mathbb {N}\cup\{0\}\),
which implies
It yields particularly that \(\mu(t)\le\frac{\gamma^{2}}{4}H(t)\) for all \(t\le0\), and \(t\mapsto t^{-\gamma}H(t)\) is also nonincreasing.
In what follows, we denote \(\rho_{1} (s,t) = (1 + s+t)^{ - 1}K(s + t)^{ - 1}\), and \(K_{1}(s,t)=(1+t)^{2m}K^{4}(s+t)\) for \(s, t\ge0\), and note that \(\rho_{1} \le 1\) and that \(s \to\rho_{1} (s,t)\), \(t \to\rho_{1} (s,t)\) are nonincreasing functions.
3 Caccioppoli type inequality
We first generalize an \(\mathcal{A} \)-harmonic approximation lemma in our setting. Then a Sobolev-Poincaré type inequality (Lemma 5) and a prior estimate (Lemma 6) are introduced for the sub-quadratic case in Carnot groups, and the detailed proofs can be found in [2] by Wang, Liao and Yu. The last and key point is to prove a Caccioppoli type inequality.
By \(\operatorname{Bil}( {\mathbb{R}}^{k\times N})\) we denote the collection of bi-linear forms defined in \({\mathbb{R}}^{k\times N}\). Let \(\mathcal{A}\in\operatorname{Bil}({\mathbb{R}}^{k\times N})\), we say that a function \(h\in HW^{1,m}(\Omega ,{\mathbb{R}}^{N})\) is \(\mathcal{A}\)-harmonic if h satisfies
Similarly to [9], one can establish the following \(\mathcal{A} \)-harmonic approximation lemma for the case \(1< m<2\) in Carnot groups.
Lemma 4
Let λ and L be fixed positive numbers, \(1< m<2\), and \(k, N\in\mathbb{N}\) with \(k\geq2\). Suppose that for any given \(\varepsilon>0\), there exists \(\delta=\delta(k,N,\lambda ,L,\varepsilon)\in(0,1]\) with the following properties:
-
(I)
for any bi-linear form \(\mathcal{A}\in\operatorname {Bil}({\mathbb{R}}^{k\times N})\) satisfying
$$ \mathcal{A}(\nu,\nu)\geq\lambda \vert \nu \vert ^{2}\quad \textit{and} \quad \mathcal{A}(\nu,\bar{\nu})\leq L \vert \nu \vert \vert \bar{\nu} \vert ,\quad \nu,\bar{\nu}\in{ \mathbb{R}}^{k\times N}, $$(3.2) -
(II)
for any function \(g\in HW^{1,m}(B_{\rho}(\xi _{0}),{\mathbb{R}}^{N})\) satisfying
$$\begin{aligned}& \fint_{B_{\rho}(\xi _{0})}{ \bigl\vert W({Xg}) \bigr\vert }^{2} \,d\xi\leq\Upsilon^{2}\leq 1 \quad \textit{and} \end{aligned}$$(3.3)$$\begin{aligned}& \biggl\vert { \fint_{B_{\rho }(\xi_{0})}{\mathcal{A}(Xg,X\varphi) \,d\xi}} \biggr\vert \leq\Upsilon \delta \sup_{B_{\rho}(\xi_{0})} \vert {X\varphi} \vert , \quad \forall\varphi\in C_{0}^{1} \bigl(B_{\rho}( \xi_{0}),{ \mathbb{R}}^{N} \bigr). \end{aligned}$$(3.4)
Then there is an \(\mathcal{A}\)-harmonic function
such that
Lemma 5
(Sobolev-Poincaré type inequality)
Let \(m\in(1,2)\) and \(u\in HW^{1,m}(B_{\rho }(\xi_{0}),\mathbb{R}^{N})\) with \(B_{\rho}(\xi_{0})\subset\Omega\), then
Furthermore, the analogous inequality is valid with W replaced by V defined in (2.7), and in particular, the inequality also holds if we substitute 2 for \(\frac{2Q}{Q-m}\).
Lemma 6
Let \(u \in HW^{1,1} (\Omega ,\mathbb{R}^{N} )\) be a weak solution of the systems with constant coefficients
Then u is smooth and there exists \(C_{0}\geq1\) such that for any \(B_{\rho}(\xi_{0} ) \subset\Omega\),
To establish the main result, a crucial ingredient in the local regularity of weak solutions to systems (1.3) is a Caccioppoli type inequality. We prove a version which is adapted to our situation.
Lemma 7
(Caccioppoli type inequality)
Let \(u\in HW^{1,m}(\Omega,{ \mathbb{R}}^{N})\) be a weak solution to system (1.3) under conditions (H1)-(H4) with (μ1)-(μ3). Then, for any \(\xi _{0}=(\xi_{0}^{1},\ldots,\xi_{0}^{r})\in\Omega\), and \(0< t< s \le \rho_{1}^{\frac{m}{(2-m)(m-1)}}(|u_{0}|,|p_{0}|)\), it holds
with
where we denote \(K(\cdot)=K ( { \vert {u_{0} } \vert + \vert {p_{0} } \vert } ) \), \(C_{c}=C_{c}(Q,N,m,L,\lambda,M)\), and \(\xi^{1}=(\xi_{1}^{1},\xi _{2}^{1},\ldots,\xi_{k}^{1})\) is the horizontal component of \(\xi\in G\).
Proof
Let \(\eta\in C_{0}^{\infty}(B_{s}(\xi_{0}))\) be a standard cut-off function satisfying \(0\leq\eta \leq1, \vert {X \eta} \vert <\frac{C}{s-t}\) and \(\eta \equiv1\) on \(B_{t}(\xi_{0})\). Inspired by the way of [18], we let \(v=u(\xi)-u_{0}-p_{0}(\xi ^{1}-\xi_{0}^{1})\), and then define two functions
one has
and
Using hypothesis (H2), Lemma 3 and the elementary inequality
we have
From (3.15), it follows that
where we have used (3.12), (1.3) and the fact that
Noting that \(\varphi=v\) on \(B_{t}(\xi_{0})\), \(m-2<0\) and (3.14), the left-hand side in (3.16) can be estimated by
where we have applied Lemma 2(4) in the second inequality and Lemma 2(6) for the final inequality.
The structure condition (H3) yields
where we have used the inequality \(s\mu(t)\le s\mu(s)+t\) for \(s\in [0,1]\) and \(t>0\).
To obtain a suitable estimate for I, we need to take the domain \(B_{s} (\xi_{0} )\) into four parts: \(B_{s} (\xi_{0} ) \cap \{ { \vert {v/s} \vert > 1} \} \cap \{ { \vert {X\varphi} \vert \leq1} \}\), \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert >1} \} \cap \{ { \vert {X\varphi} \vert >1} \} \), \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert >1} \} \), \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert \leq1} \} \), and we will use Young’s inequality, (2.10) and (2.11), repeatedly.
Case 1: On the part \(B_{s} (\xi_{0} ) \cap \{ { \vert {v/s} \vert > 1} \} \cap \{ { \vert {X\varphi} \vert > 1} \}\), we see
Case 2: On the set \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert >1} \} \cap \{ { \vert {X\varphi} \vert \le1} \} \), it holds
where we have used the inequality \(2(m-1)/m<1\).
Case 3: On the set \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert >1} \} \), observing \(m/(m-1)>2\), one has
Case 4: For \(B_{s}(\xi_{0})\cap \{ { \vert {v/s} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert \leq1} \} \), there is
Combining these estimations with (3.18), we get
Similarly to I, it follows that
By (H1), Lemma 3 and (3.14), it holds
Noting that \(X\phi\subset B_{s}\setminus B_{t}\) and \(-1/2<(m-2)/2<0\), we split the domain \(B_{s}(\xi_{0})\) into four parts: \(B_{s}(\xi_{0})\cap \{ { \vert {X\phi} \vert >1} \} \cap \{ { \vert {X\varphi} \vert >1} \} \), \(B_{s}(\xi_{0})\cap \{ { \vert {X\phi} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert \leq1} \} \), \(B_{s}(\xi_{0})\cap \{ { \vert {X\phi} \vert >1} \} \cap \{ { \vert {X\varphi} \vert \leq1} \} \) and \(B_{s}(\xi_{0})\cap \{ { \vert {X\phi} \vert \leq1} \} \cap \{ { \vert {X\varphi} \vert >1} \} \). Similarly to I, it follows that
Using Hölder’s inequality, one has
Analogously to I, we take the domain \(B_{s}(\xi_{0})\) into two parts.
Case 1: For \(B_{s} (\xi_{0} ) \cap \{ { \vert {Xv } \vert > 1} \} \), by Sobolev type inequality, Young’s inequality and (2.11), it follows that
where we have used \(|\varphi|^{r}<|v|^{r}\).
Case 2: On the set \(B_{s} (\xi_{0} ) \cap \{ { \vert {Xv } \vert \leq1} \} \),
where we have used (2.10).
Combining these estimates in IV, we have
Substituting (3.17), (3.23), (3.24), (3.26) and (3.30) into (3.16), we finally arrive at
We let \(\varepsilon=[3^{m-2}\lambda C(m,M)]/5\). ‘Filling the hole’ with \(\theta=\frac{\frac {C(L,m,M)}{m-1}+4\varepsilon C(m,M)}{\frac {C(L,m,M)}{m-1}+3^{m-2}\lambda C^{2}(m,M)}<1\) yields
where \(C=C(N,L,\lambda,m,M)\), and
The proof is completed by taking mean values of integral and noting that \([m(r-1)/r(m-1)-1]Q=m/(m-1)\) and \(s^{m/(m-1)}\le s^{2(2-m)(m-1)/m}\le\mu^{2} (s^{(2-m)(m-1)/m } )\). □
4 Proof of the main result
This section will proceed to the proof of Theorem 1 by Lemmas 8-9. We first give a linearization strategy for nonlinear systems.
Lemma 8
We claim that if \(\rho\leq\rho_{1}^{\frac {m}{(2-m)(m-1)}}(|u_{0}|,|p_{0}|)\) and \(\varphi\in C_{0}^{\infty}(B_{\rho}(\xi_{0}),{ \mathbb{R}}^{N})\) with \(\sup_{B_{\rho}(\xi_{0})} \vert {X\varphi } \vert \leq1\), then there exist some constants \(C_{1}=C_{1}(L,m,M,C_{P},K)>1\) such that
where we denote \(F(s,t )=K^{4/(2-m)}(s+t)(2+t)^{2}+(1+s+t)^{r-1}\).
Proof
Noting the fact
we have
Using (H1) and estimate (1.5) yields (note that \(m-2<0\))
Let
Then it follows that, by first Hölder’s inequality and then Jensen’s inequality, we have
where we have used estimates (2.10) and (2.11) in the last inequality.
By employing (H3), estimates (2.10) and (2.11), Young’s inequality, and noting the fact that \(K(\cdot)\) is monotone nondecreasing and \(K(\cdot)>1\) and that \(\rho\leq1\), we deduce
where we have used \(4/(4-m)<2\), \(1+m/2<2\) and \(\mu(\rho)\le1\) for \(\rho \in[0,1]\).
Similarly to (3.23) to estimate \(\mathit{III}^{\prime}\), the domain \(B_{\rho}(\xi_{0})\) is divided into four parts as previously mentioned. Then we obtain that, by Lemma 2(6) and Lemma 5,
With the help of the assumptions that \(\sup_{B_{\rho}(\xi_{0} )} \vert \varphi \vert \le\rho\le1\), Hölder’s inequality, Sobolev type inequality and Young’s inequality, we get
On the case \(B_{1}=:B_{\rho}(\xi_{0})\cap \{ { \vert {Xu-p_{0}} \vert \leq1} \} \), by (2.10) and Young’s inequality, one gets
and then
On the other hand, on \(B_{2}=:B_{\rho}(\xi_{0})\cap \{ { \vert {Xu-p_{0}} \vert >1} \} \), by (2.11) and Young’s inequality, one has
Thus we infer that, by combining these estimates and noting the definition of \(F(s,t)\), we have
Combining the estimates \(I^{\prime}\), \(\mathit{II}^{\prime}\), \(\mathit{III}^{\prime}\) and \(\mathit{IV}^{\prime}\) with (4.3), we immediately conclude (4.1). □
We next establish an initial excess improvement estimate assuming that the excess Φ is initially small enough. Precisely,
Lemma 9
(Excess improvement)
Let \(u\in HW^{1,m}(\Omega,\mathbb{R}^{N})\) satisfy the conditions of Theorem 1. Assume that Lemma 4 and the following smallness conditions hold:
with \(C_{2}=8C_{1}^{2}C_{4}\), together with the condition
Then the following growth inequality is valid for \(\tau\in[\gamma, 1)\):
where \(\sigma=\min\{(2-m)(m-1)/m, (m-1)/2\}\), and \(K^{\ast }(s,t)=C_{8}F^{\frac{2m}{m-1}}(1+s,M+t) \).
Proof
For simplicity, we will use the abbreviation \(\Phi(\rho)=\Phi(\xi_{0} ,\rho,(Xu)_{\xi_{0} ,\rho} )\) in the sequel. For \(\varepsilon>0\) to be determined later, we take \(\delta\in(0,1)\) and \(\Upsilon\in[0,1]\) to be the corresponding constant from the \(\mathcal{A}\)-harmonic approximation lemma (Lemma 4), and set
and
Noting (4.13) and (4.14) yields
and by (4.1), we derive (note the definition of ϒ and \(\Gamma(\rho)\))
Then from the definition of ϒ, Lemma 2(6) and (2.9), we have
Inequalities (4.18) and (4.19) fulfill the conditions of \(\mathcal{A}\)-harmonic approximation lemma, which ensures than we find an \(\mathcal{A}=A_{i,p_{\beta}^{j} }^{\alpha}(\xi _{0} ,u_{\xi_{0}, \rho} , (Xu)_{\xi_{0}, \rho} )\)-harmonic function \(h\in W^{1,m}(B_{\rho}(\xi_{0}),\mathbb{R}^{N})\) such that
Using Lemma 2(3) and (6), we have
where the constant C depends only on m, k and N.
Next, we proceed to estimate the right-hand side of (4.21). Decomposing \(B_{\theta\rho}(\xi_{0})\) into two parts: \(B_{1}=B_{\theta\rho}(\xi_{0})\cap \{ \vert { Xu-(Xu)_{\xi_{0,}\rho}-\Upsilon(Xh)_{(\xi_{0},2\theta\rho)}} \vert \leq 1 \}\) and \(B_{2}=B_{\theta\rho}(\xi_{0})\cap \{ \vert {Xu-(Xu)_{\xi_{0,}\rho}-\Upsilon(Xh)_{(\xi_{0},2\theta\rho)}} \vert >1 \}\). Then by Lemma 2(1) and Hölder inequality, we obtain
where we have denoted
Using Lemma 2(1), we deduce that \(V^{2} (\Xi ^{1/2}+\Xi^{1/m} )\le C(\Xi+\Xi^{2/m}) \). So we get
where the constant \(C_{3}\) depends only on m, Q and N. Then it remains for us to estimate Ξ. By considering the cases \(\vert {Xh} \vert \leq1\) and \(\vert {Xh} \vert >1\), separately and keeping in mind (4.20), we obtain
where we have used Lemma 2(1).
Note that the smallness conditions (4.13) and (4.14) imply \(C_{4}\Upsilon^{2}\le1\) with \(C_{4}=\max\{ 8C_{0}^{2},(2\theta)^{-Q}\}\), where we have assumed \(\frac {1}{2}C_{1}^{2}C_{4}\delta^{2}\le1\), which is no restriction. Then it follows by applying the priori estimate for constant coefficients sub-elliptic systems (see Lemma 6)
Caccioppoli type inequality applied on \(B_{2\theta\rho}(\xi_{0})\) with \(u_{0}=u_{\xi_{0},\rho}\), and \(p_{0}=(Xu)_{\xi_{0},\rho}+\Upsilon(Xh)_{\xi _{0},2\theta\rho}\), \(\theta\in(0,1/4]\) yields
where
By Lemma 2(3), one gets
To estimate the right-hand side, we employ (2.9), Lemma 2(2) (note that \(\frac{1}{2\theta}\geq1\)) and (4.20) to infer
Using Lemma 2, Sobolev-Poincare type inequality (3.6), Lemma 6, (2.9) and (4.20) leads to
where we denote \(C_{5}=4CC_{0}C_{P}^{4}\).
Using (4.25), we get
and
Applying Sobolev type inequality, we have
The smallness conditions imply
And then it follows
where we have used the definition of F in the first step.
Combining all the above estimates with (4.26) and letting \(\varepsilon=\theta^{Q+4}\), we arrive at
where \(\sigma=\min\{(2-m)(m-1)/m, (m-1)/2\}\), \(C_{6}\) depends only on Q, N, m, M, L, λ and \(C_{P}\). For given \(\tau\in[\gamma,1)\), choosing \(\theta\in (0,\frac{1}{4}) \) suitable such that \(C_{3}C_{6}\theta^{2}\leq \theta^{2\tau}\), we easily find (note the definition of ϒ)
where we have used that \((2-m)(m-1)/m \le3-2\sqrt{2}<1/2\), \(K^{\ast }(s,t)=C_{7}F^{\frac{2m}{m-1}}(1+s,M+t) \), and the constant \(C_{7}\) has the same dependencies as \(C_{6}\). □
For \(T > 0\), we find \(\Phi_{0} (T) > 0\) (depending on Q, N, λ, L, τ and ω) such that
With \(\Phi_{0} (T)\) from (4.33) and (4.34), we choose \(\rho_{0} (T) \in(0,1]\) (depending on Q, N, λ, L, τ, ω, η and κ) such that
where \(K_{0} (T): = K^{*}(2T,2T)\).
The rest of the process to obtain Theorem 1 is very similar to [13]. We omit it here.
5 Conclusion
For ELLIPTIC systems in Euclidean spaces, there are many literature sources to study partial regularity of weak solutions by the so-called \(\mathcal{A}\)-harmonic approximation method. With respect to SUB-ELLIPTIC equations and systems in Heisenberg groups, or general Carnot groups, there are some new difficulties and challenges which remain due to the lack of commutation and homogeneity of the horizontal vector fields. This work is concerned with nonlinear sub-elliptic systems (1.1) with Dini continuous coefficients which are weaker than Hölder continuous coefficients. Under sub-quadratic controllable growth conditions, a \(C^{1}\) partial regularity result is obtained by adapting the technique of \(\mathcal{A}\)-harmonic approximation to our setting. The new result generalizes the corresponding result for elliptic systems in Euclidean spaces and enriches regularity theory for nonlinear sub-elliptic systems in Carnot groups. The authors also believe that this work helps further study nonlinear sub-elliptic systems structured on Hörmander vector fields.
References
Wang, J, Niu, P: Optimal partial regularity for weak solutions of nonlinear sub-elliptic systems in Carnot groups. Nonlinear Anal. TMA 72, 4162-4187 (2010)
Wang, J, Liao, D, Yu, Z: Hölder continuity for sub-elliptic systems under the sub-quadratic controllable growth in Carnot groups. Rend. Semin. Mat. Univ. Padova 130, 169-202 (2013)
De Giorgi, E: Un esempio di estremali discontinue per un problem variazionale di upo ellitico. Boll. Unione Mat. Ital. 4, 135-137 (1968)
Giaquinta, M: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. Princeton University Press, Princeton (1983)
Giaquinta, M: Introduction to Regularity Theory for Nonlinear Elliptic Systems. Birkhäuser, Berlin (1993)
Chen, Y, Wu, L: Second Order Elliptic Equations and Elliptic Systems. Science Press, Beijing (2003)
Duzaar, F, Steffen, K: Optimal interior and boundary regularity for almost minimizers to elliptic variational integrals. J. Reine Angew. Math. 546, 73-138 (2002)
Duzaar, F, Grotowski, JF: Partial regularity for nonlinear elliptic systems: the method of A-harmonic approximation. Manuscr. Math. 103, 267-298 (2000)
Duzaar, F, Grotowski, JF, Kronz, M: Regularity of almost minimizers of quasi-convex variational integrals with subquadratic growth. Ann. Mat. Pura Appl. 184, 421-448 (2005)
Duzaar, F, Mingione, G: The p-harmonic approximation and the regularity of p-harmonic maps. Calc. Var. Partial Differ. Equ. 20, 235-256 (2004)
Duzaar, F, Mingione, G: Regularity for degenerate elliptic problems via p-harmonic approximation. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 21, 735-766 (2004)
Chen, S, Tan, Z: The method of A-harmonic approximation and optimal interior partial regularity for nonlinear elliptic systems under the controllable growth condition. J. Math. Anal. Appl. 335, 20-42 (2007)
Duzaar, F, Gastel, A: Nonlinear elliptic systems with Dini continuous coefficients. Arch. Math. 78, 58-73 (2002)
Duzaar, F, Gastel, A, Mingione, G: Elliptic systems, singular sets and Dini continuity. Commun. Partial Differ. Equ. 29, 1215-1240 (2004)
Qiu, Y: Optimal partial regularity of second order nonlinear elliptic systems with Dini continuous coefficients for the superquadratic case. Nonlinear Anal. TMA 75, 3574-3590 (2012)
Capogna, L, Garofalo, N: Regularity of minimizers of the calculus of variations in Carnot groups via hypoellipticity of systems of Hörmander type. J. Eur. Math. Soc. 5, 1-40 (2003)
Shores, E: Regularity theory for weak solutions of systems in Carnot groups. PhD thesis, University of Arkansas (2005)
Föglein, A: Partial regularity results for subelliptic systems in the Heisenberg group. Calc. Var. Partial Differ. Equ. 32, 25-51 (2008)
Zheng, S, Feng, Z: Regularity of subelliptic p-harmonic systems with subcritical growth in Carnot group. J. Differ. Equ. 258, 2471-2494 (2015)
Domokos, A: On the regularity of p-harmonic functions in the Heisenberg group. PhD thesis, University of Pittsburgh (2004)
Capogna, L: Regularity for quasilinear equation and 1-quasiconformal maps in Carnot groups. Math. Ann. 313, 263-295 (1999)
Manfredi, J, Mingione, G: Regularity results for quasilinear elliptic equations in the Heisenberg group. Math. Ann. 339, 485-544 (2007)
Mingione, G, Zatorska-Goldstein, A, Zhong, X: Gradient regularity for elliptic equations in the Heisenberg group. Adv. Math. 222, 62-129 (2009)
Di Fazio, G, Fanciullo, MS: Cordes nonlinear operators in Carnot groups. Electron. J. Differ. Equ. 2015, 191 (2015)
Yu, H, Zheng, S: Morrey estimates for subelliptic p-Laplace type systems with VMO coefficients in Carnot groups. Electron. J. Differ. Equ. 2016, 33 (2016)
Bal, K: Uniqueness of a positive solution for quasilinear elliptic equations in Heisenberg group. Electron. J. Differ. Equ. 2016, 130 (2016)
Ferrara, M, Bisci, GM, Repovs, D: Nonlinear elliptic equations on Carnot groups. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 111, 707-718 (2017)
Katzourakis, N: The sub-elliptic ∞-Laplace system on Carnot-Carathéodory spaces. Adv. Nonlinear Anal. 2, 213-233 (2013)
Bisci, GM, Repovs, D: Yamabe-type equations on Carnot groups. Potential Anal. 46, 369-383 (2017)
Tyagi, J: Nontrivial solutions for singular semilinear elliptic equations on the Heisenberg group. Adv. Nonlinear Anal. 2, 87-94 (2014)
Wang, J, Liao, D: Optimal partial regularity for nonlinear sub-elliptic systems with Dini continuous coefficients in Carnot groups. Bound. Value Probl. 2016, 18 (2016). doi:10.1186/s13661-016-0525-7
Folland, G: Subelliptic estimates and function spaces on nilpotent Lie groups. Ark. Mat. 13, 161-207 (1975)
Carozza, M, Fusco, N, Mingione, G: Partial regularity of minimizers of quasiconvex integrals with subquadratic growth. Ann. Mat. Pura Appl. 175, 141-164 (1998)
Acerbi, E, Fusco, N: Regularity for minimizers of nonquadratic functionals: the case \(1 < p< 2\). J. Math. Anal. Appl. 140, 115-135 (1989)
Acknowledgements
We would like to express our gratitude to anonymous reviewers for their valuable comments.
Availability of data and materials
Not applicable.
Funding
This paper was partially supported by the National Natural Science Foundation of China (No. 11661006), supported by the Natural Science Foundation of Jiangxi Province (No. 20161BAB201032), and supported by the Science and Technology Planning Project of Jiangxi Province, China (No. GJJ160954).
Author information
Authors and Affiliations
Contributions
The work presented here was carried out in collaboration among all authors. JL found the motivation of this paper and suggested the outline of the proofs. DN provided good ideas for completing this paper. YQ and SM gave some valuable suggestions for completing the paper. All authors have contributed to, read and approved the final version.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are no competing interests regarding the publication of this article.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liao, D., Wang, J., Yang, Q. et al. Partial interior regularity for sub-elliptic systems with Dini continuous coefficients in Carnot groups: the sub-quadratic controllable case. Bound Value Probl 2017, 150 (2017). https://doi.org/10.1186/s13661-017-0882-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0882-x
MSC
- 35H20
- 35B65
Keywords
- nonlinear sub-elliptic system
- Dini continuous coefficients
- sub-quadratic controllable growth
- optimal partial regularity
- Carnot groups