Boundary Value Problems

Impact Factor 0.819

Boundary Value Problems Cover Image
Research
Open Access

Optimal partial regularity for nonlinear sub-elliptic systems with Dini continuous coefficients in Carnot groups

Boundary Value Problems20162016:18

https://doi.org/10.1186/s13661-016-0525-7

©  Wang and Liao 2016

Received: 17 August 2015

Accepted: 8 January 2016

Published: 20 January 2016

Abstract

This paper is concerned with the interior regularity for nonlinear sub-elliptic systems with Dini continuous coefficients under superquadratic controllable growth conditions in Carnot groups. We adapt the technique of the \(\mathcal{A}\)-harmonic approximation to the case of sub-elliptic systems in divergence form, and we show a partial regularity result for weak solutions. In particular, our result is optimal in the sense that in the case of Hölder continuous coefficients we obtain directly the optimal Hölder exponent for the horizontal gradient of weak solutions on its regular set.

Keywords

optimal partial regularity Dini continuity coefficient controllable growth condition Carnot group sub-elliptic system

1 Introduction and statements of main results

In this paper, we consider the following nonlinear sub-elliptic systems under superquadratic controllable growth (\(m>2\)) conditions in Carnot groups G in divergence form:
$$ - \sum_{i = 1}^{k} {X_{i} A_{i}^{\alpha}(\xi,u,Xu)} = B^{\alpha}(\xi,u,Xu) \quad\mbox{in } \Omega, \alpha=1,2,\ldots,N, $$
(1.1)
where Ω is a bounded domain in G, \(X = \{X_{1} , \ldots,X_{k} \}\) with \(X_{i} \) (\(i = 1, \ldots,k\)) to see the next section (2.1) below, \(u = (u^{1}, \ldots,u^{N}): \Omega\to{ {R}}^{N}\), \(A_{i}^{\alpha}(\xi,u,p):\Omega\times{ {R}}^{N}\times{ {R}}^{k\times N} \to{{ R}}^{k\times N}\), and \(B^{\alpha}(\xi,u,p):\Omega\times{ {R}}^{N}\times{ {R}}^{k\times N} \to{ {R}}^{N}\).
Under the coefficients \(A_{i}^{\alpha}\) assumed to be Dini continuous, the purpose of this paper is to establish optimal partial regularity to the system (1.1) under the superquadratic controllable growth conditions. Such an assumption is much weaker than the assumption of Hölder continuity; see [1, 2] for the case of sub-elliptic systems. More precisely, we assume for the continuity of \(A_{i}^{\alpha}\) with respect to the variables \((\xi,u)\) that
$$ \bigl(1 + \vert p \vert \bigr)^{ -\frac{m}{2}} \bigl\vert {A_{i}^{\alpha}(\xi,u,p) - A_{i}^{\alpha}( \tilde{\xi},\tilde{u},p)} \bigr\vert \le\kappa \bigl(\vert u \vert \bigr)\mu \bigl( {d(\xi,\tilde{\xi}) + \vert {u - \tilde {u}} \vert } \bigr) $$
(1.2)
for all \(\xi,\tilde{\xi}\in\Omega\), \(u,\tilde{u} \in{R}^{N} \), and \(p \in{R}^{k\times N} \), where \(\kappa:(0, + \infty) \to [1, + \infty)\) is nondecreasing, and \(\mu:(0, + \infty) \to[0, + \infty)\) is nondecreasing and concave with \(\mu(0 + ) = 0\). We also require that \(r \to r^{ - \gamma}\mu(r)\) is nonincreasing for some \(\gamma\in(0,1)\) and that
$$ M(r) = \int_{0}^{r} {\frac{\mu(\rho)}{\rho}}\,d\rho< \infty, \quad \mbox{for some } r > 0. $$
(1.3)

We employ the method of an \(\mathcal{A}\)-harmonic approximation to investigate the sub-elliptic system (1.1) under this weaker assumption, and we establish optimal partial regularity results: Roughly speaking, assume additionally to the standard hypotheses (see precisely (H1), (H2), and (H4) below) that \((1 + \vert p \vert )^{ - \frac{m}{2}}A_{i}^{\alpha}(\xi,u,p)\) satisfies (1.2) and (1.3). Let \(u \in HW^{1,m}(\Omega,{ R}^{N})\) be a weak solution of (1.1). Then u is of class \(C^{1}\) outside a closed singular set \(\operatorname{Sing} u \subset\Omega\) of Haar measure 0. Furthermore, for \(\xi_{0} \in\Omega\backslash \operatorname{Sing}u\), the derivative Xu of u has the modulus of continuity \(r \to M(r)\) in a neighborhood of \(\xi_{0} \). Our result is optimal in the sense that when \(\mu(\rho) = \rho^{\gamma}\), \(0 < \gamma< 1\), we have \(M(r) = \gamma^{ - 1}r^{\gamma}\), and \(\Gamma ^{1,\gamma} \) regularity is known to be optimal in that case; see [1].

As is well known, one, in general, cannot expect that weak solutions of the sub-elliptic system (1.1) will be classical, i.e. \(C^{2}\)-solutions, even under reasonable assumptions on \(A_{i}^{\alpha}\) and \(B^{\alpha}\). This was first shown by De Giorgi [3] in the Euclidean space; we also refer the reader to Giaquinta [4], and Chen and Wu [5] for further discussion and additional examples. Then the goal is to establish partial regularity theory. Moreover, a new method called \(\mathcal{A}\)-harmonic approximation technique is introduced by Duzaar and Steffen in [6], and simplified by Duzaar and Grotowski in [7], to study elliptic systems with quadratic growth case. Then similar results have been proved for more general \(A_{i}^{\alpha}\) or \(B^{\alpha}\) in the Euclidean setting; see [8–11] for Hölder continuous coefficients, and [12–14] for Dini continuous coefficients.

However, turning to sub-elliptic equations and systems in Carnot groups, some new difficulties will arise due to non-commutativity of the horizontal vectors \(X_{i}\). With regard to cases of sub-elliptic equations, we refer the reader to Domokos [15–17], Capogna [18, 19], Manfredi and Mingione [20], and Mingione et al. [21] for more interesting results and details. Several results were focused on sub-elliptic systems. Capogna and Garofalo [22], and Shores [23] considered the quadratic growth case, and Föglein [24], Wang and Niu [1], and Wang and Liao [2] treated non-quadratic cases. We note that the assumption of Hölder continuity on the coefficients \(A_{i}^{\alpha}\) is required for those regularity results of sub-elliptic systems mentioned above.

When the assumption of Hölder continuity of \(A_{i}^{\alpha}\) is weakened to Dini continuity, one may ask how to establish partial regularity for the nonlinear sub-elliptic systems under superquadratic controllable growth conditions in the Carnot groups. This paper is devoted to this topic. To define weak solutions to (1.1), we assume the following structure conditions on \(A_{i}^{\alpha}\) and \(B^{\alpha}\):

(H1) The term \(A_{i}^{\alpha}(\xi,u,p)\) is differentiable in p, and there exists some constant L such that
$$ \bigl\vert A^{\alpha}_{i,p^{j}_{\beta}}(\xi,u,p) \bigr\vert \le L \bigl(1+|p|^{2} \bigr)^{\frac{m-2}{2}},\quad (\xi,u,p) \in \Omega\times{ {R}}^{N}\times{ {R}}^{k\times N}, m> 2, $$
(1.4)
where we write \(A^{\alpha}_{i,p^{j}_{\beta}}(\xi,u,p)={\frac{\partial A_{i}^{\alpha}(\xi,u,p)}{\partial p_{\beta}^{j} }}\).
(H2) The term \(A_{i}^{\alpha}(\xi,u,p)\) is uniformly elliptic, i.e. for some \(\lambda > 0\) we have
$$ A^{\alpha}_{i,p^{j}_{\beta}}(\xi,u,p)\eta_{i}^{\alpha}\eta_{j}^{\beta}\ge \lambda \bigl(1+|p| \bigr)^{m-2} \vert \eta \vert ^{2}, \quad\forall\eta\in{ {R}}^{k\times N}. $$
(1.5)
(H3) There exist a modulus of continuity \(\mu:(0, + \infty ) \to[0, + \infty)\) and a nondecreasing function \(\kappa: [0, + \infty) \to[1, + \infty)\) such that
$$ \bigl(1 + \vert p \vert \bigr)^{ -\frac{m}{2}} \bigl\vert {A_{i}^{\alpha}(\xi,u,p) - A_{i}^{\alpha}( \tilde{\xi},\tilde{u},p)} \bigr\vert \le\kappa \bigl(\vert u \vert \bigr)\mu \bigl( {d(\xi,\tilde{\xi}) + \vert {u - \tilde {u}} \vert } \bigr). $$
(1.6)
(H4) The term \(B^{\alpha}\) satisfies the superquadratic controllable growth condition
$$ \bigl\vert {B^{\alpha}(\xi,u,p)} \bigr\vert \le c \bigl(1+|u|^{r-1}+|p|^{m(r-1)/r} \bigr), $$
(1.7)
where c is a positive constant, and \(r=\frac{mQ}{Q-m}\) if \(m< Q\); or \(Q\leq r < +\infty\) if \(m=Q\).
Without loss of generality we can assume \(\kappa\ge1\) 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 \to r^{ - \gamma}\mu(r)\) 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\).

Note that (H1) one infers
$$ \bigl\vert {A_{i}^{\alpha}(\xi,u,p) - A_{i}^{\alpha}(\xi,u,\tilde{p})} \bigr\vert \le C(L) \bigl(1 + \vert p \vert ^{2} + \vert \tilde{p} \vert ^{2} \bigr)^{\frac{m - 2}{2}}\vert {p - \tilde{p}} \vert , $$
(1.8)
and 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 for all \((\xi,u,p),(\tilde{\xi},\tilde{u},\tilde{p}) \in \Omega\times{ {R}}^{N}\times{{ R}}^{k\times N}\),
$$ \bigl| {A_{i,p_{\beta}^{j} }^{\alpha}(\xi,u,p) - A_{i,p_{\beta}^{j} }^{\alpha}(\xi,u,\tilde{p})} \bigr| \le C \bigl(1 + \vert p \vert ^{2} + \vert \tilde{p} \vert ^{2} \bigr)^{\frac{m - 2}{2}}\omega \bigl(\vert p \vert ,\vert {p - \tilde{p}} \vert ^{2} \bigr). $$
(1.9)
Further (H2) allows us to deduce the following inequality; see [1] for more details:
$$ \bigl(A_{i}^{\alpha}(\xi,u,p) - A_{i}^{\alpha}(\xi,u,\tilde{p}) \bigr) (p - \tilde{p}) \ge{ \lambda_{0} } \bigl(\vert {p - \tilde{p}} \vert ^{2}+ \vert {p - \tilde{p}} \vert ^{m} \bigr), $$
(1.10)
with a positive constant \(\lambda_{0}\).
To obtain partial regularity for weak solutions, the key point is to establish an excess-decay estimate for the functional
$$ \Phi(\xi_{0} ,\rho,p_{0} ) = \fint _{B_{\rho}(\xi_{0} )} { \bigl(\vert {Xu - p_{0} } \vert ^{2} + } \vert {Xu - p_{0} } \vert ^{m} \bigr)\,d\xi, $$
(1.11)
here we write \(\fint _{B_{\rho}(\xi_{0} )}u\,d\xi=|B_{r} (\xi_{0} )|^{-1}_{{G}}\int_{B_{\rho}(\xi_{0} )}u\,d\xi\), which itself leads to the continuity of the horizontal gradient Xu of the weak solution u via the integral characterization of continuity by Campanato; see [19]. Since the non-commutative basic vector fields \(\{X_{i}\}\) of Lie algebras corresponding to the Carnot group are more complicated than gradient vector fields \(\{\frac{\partial}{\partial x_{i}} \}\) in the Euclidean space, we have to find different auxiliary functions in treating sub-elliptic systems. Besides, the non-horizontal derivatives of weak solutions will appear in the Taylor type formula on the Carnot groups and cannot be controlled under the present hypotheses. So the method employing Taylor’s formula in [7] cannot trivially be adapted to our cases. We apply the Poincaré type inequality in [25] instead of Taylor’s formula, and we establish the main results.

Theorem 1

Assume that coefficients \(A_{i}^{\alpha}\) and \(B^{\alpha}\) satisfy (H1)-(H4), (μ1)-(μ3). Let \(u \in HW^{1,m}(\Omega,{ {R}}^{N})\) be a weak solution to the system (1.1), i.e.,
$$ \int_{\Omega}{A_{i}^{\alpha}(\xi ,u,Xu)} X_{i} \varphi^{\alpha}\,d\xi= \int_{\Omega}{B^{\alpha}(\xi,u,Xu)} \varphi^{\alpha}\,d\xi \quad\forall\varphi\in C_{0}^{\infty}\bigl(\Omega,{ {R}}^{N} \bigr). $$
(1.12)
Then there exists a relatively closed set \(\operatorname{Sing}u \subset\Omega\) such that \(u \in C^{1}(\Omega\backslash\operatorname{Sing} u, {R}^{N} )\). Furthermore, \(\operatorname{Sing}u \subset\Sigma_{1} \cup\Sigma_{2} \) and Haar meas \((\Omega\backslash\operatorname{Sing}u) = 0\), where
$$\begin{aligned}& \Sigma_{1} = \Bigl\{ {\xi_{0} \in\Omega:\sup _{r > 0} \bigl(\vert {u_{\xi_{0} ,r} } \vert + \bigl\vert {(Xu)_{\xi_{0} ,r} } \bigr\vert \bigr) = \infty} \Bigr\} , \\& \Sigma_{2} = \biggl\{ {\xi_{0} \in\Omega:\lim _{r \to0^{+} } \inf \fint _{B_{r} (\xi_{0} )} { \bigl\vert {Xu - (Xu)_{\xi_{0} ,r} } \bigr\vert } ^{2}\,d\xi> 0} \biggr\} . \end{aligned}$$
In addition, for \(\tau\in[\gamma,1)\) and \(\xi_{0} \in\Omega \backslash\operatorname{Sing}u\) the horizontal derivative Xu has the modulus of continuity \(r \to r^{\tau}+ M(r)\) in a neighborhood of \(\xi_{0} \).

2 Preliminaries

A Carnot group G of step r is a simply connected, nilpotent Lie group whose Lie algebra \(\mathcal{G}\) admits a stratification, i.e., \(\mathcal{G}=V^{1}\oplus V^{2}\oplus\cdots\oplus V^{r}\), such that \([V^{1},V^{j}]=V^{j+1}\), \(j=1,\ldots,r-1\), and \([V^{1},V^{r}]={\{0\}}\). Let \(X_{i}^{l}\) denote 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 the sake of simplicity, we let \(X_{i}=X_{i}^{1}\), \(k=m_{1}\), \(X=\{X_{1},\ldots,X_{k}\}\) be the basis of left-invariant vector fields of \(V^{1}\), and denote by \(\nabla_{{G}}=(X_{1},\ldots,X_{k})\) the sub-elliptic gradient. We will say that \({X_{i}} \) (\(i=1,\ldots,k\)) are the horizontal vector fields with the form
$$ X_{i}=\partial_{i}+\sum _{j=i+1}^{n}a_{ij}(\xi)\partial _{j},\qquad X_{i}(0)=\partial_{i}, $$
(2.1)
where \(a_{ij}(\xi)\) is a polynomial in ξ. For a vector valued function \(u=(u^{1},\ldots,u^{N}):{G}\mapsto{R}^{N}\), we let \(X_{i}u^{\alpha } \) (\(i=1,\ldots,k\), \(\alpha=1,\ldots,N\)) be a horizontal direction derivative, and say that Xu is the horizontal Jacobian with entries \(X_{i}u^{\alpha}\).
Denoting
$$\xi= \bigl(\xi^{1},\xi^{2},\ldots,\xi^{r} \bigr)= \bigl( {x_{1}^{1},x_{2}^{1}, \ldots ,x_{m_{1}}^{1};x_{1}^{2}, \ldots,x_{m_{2}}^{2};\ldots;x_{1}^{r}, \ldots ,x_{m_{l}}^{r}} \bigr) \in{G}, $$
the distance from the origin is defined by
$$ d(\xi)= \Biggl[ {\sum_{l=1}^{r}{ \Biggl( {\sum_{i=1}^{m_{l}}{ \bigl\vert {x_{i}^{l}} \bigr\vert ^{2}}} \Biggr) }^{\frac {{r!}}{l}}} \Biggr] ^{\frac{1}{{2r!}}}. $$
(2.2)
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 inverse 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.

We denote by \(\omega_{G}=\vert {B(\xi_{0},1)} \vert _{G} \) the volume of unit pseudo-ball. Then the volume of the pseudo-ball \(B_{R}(\xi _{0})= \{ {\eta\in{G}| {d(\xi_{0} ,\xi) < R}}\}\) is given by \(\vert {B(\xi_{0} ,R)} \vert _{G} = \omega_{G} R^{Q} \), where \(Q = \sum_{l = 1}^{r} {l m_{l} } \) is the homogeneous dimension of G.

The horizontal Sobolev space \(HW^{1,p}(\Omega) \) (\(1 \le p < \infty\)) is defined as
$$HW^{1,p}(\Omega) = \bigl\{ {u \in L^{p}(\Omega):X_{i} u \in L^{p}(\Omega), i = 1,2, \ldots,k} \bigr\} . $$
Then \(HW^{1,p}(\Omega)\) is a Banach space with the norm
$$ \Vert u \Vert _{HW^{1,p}(\Omega)} = \Vert u \Vert _{L^{p}(\Omega)} + \sum_{i = 1}^{k} {\Vert {X_{i} u} \Vert _{L^{p}(\Omega)} }. $$
(2.3)
Lu [25] showed the following Poincaré type inequality related to Hörmander’s vector fields for \(u\in HW^{1,q}(B_{R} (\xi_{0} ))\), \(1< q< Q\), \(1\le p\le\frac{qQ}{Q-q}\):
$$ \biggl(\fint _{B_{R} (\xi_{0} )} {\vert {u - u_{\xi_{0} ,R} } \vert ^{p} \,d\xi} \biggr)^{\frac{1}{p}} \le C_{p} R \biggl( \fint _{B_{R} (\xi_{0} )} {\vert {Xu} \vert ^{q} \,d\xi } \biggr)^{\frac{1}{q}}, $$
(2.4)
where \(u_{\xi_{0},R}=\fint _{B_{r}(\xi_{0})}u \,d\xi=\vert {B_{r} (\xi_{0} )} \vert _{{G}}^{ - 1} \int_{B_{r} (\xi_{0} )}u \,d\xi\). Note the fact that the horizontal vectors \(X_{i}\) defined in (2.1) fit the Hörmander’s vector fields, and that (2.4) is valid for \(p=q=m \) (≥2).
Let \(0 < m, q < \infty\), \(f \in L^{m}(\Omega) \cap L^{q}(\Omega)\). By Hölder’s inequality, it follows for any r with \(m < r < q \)
$$ \Vert f \Vert _{r} \le \Vert f \Vert _{m}^{1 - \alpha} \Vert f \Vert _{q}^{\alpha}, $$
(2.5)
where \(0 < \alpha < 1\) with \(\frac{1}{r} = \frac{{1 - \alpha}}{m} + \frac{\alpha}{q} \).

Following [12], for technical convenience, letting \(\eta(t)=\mu^{2}(\sqrt{t})\), we have the corresponding properties for η: (η1) η is continuous, nondecreasing and \(\eta {(0 ) = 0}\); (η2) η is concave, and \(r \to r^{ - \gamma}\eta(r)\) is nonincreasing for some exponent \(\gamma\in (0,1)\); (η3) \(H(r):=4M^{2}(\sqrt{r}) = [\int_{0}^{r} {\frac{\sqrt{\eta(\rho)} }{\rho}}\,d\rho ]^{2} < \infty\) for some \(r > 0\). Changing κ by a constant, but keeping \(\kappa\ge1\), we can assume that (η4) \(\eta(1)=1\), implying \(\eta(t)\geq t\) for \(t\in[0,1]\).

From the fact that η is nondecreasing we conclude \(s\eta(t)\le s\eta(t)\) for all \(0\le t \le s\). We use the nonincreasing property of \(r\mapsto\frac{\eta(r)}{r}\) and \(\eta(1)\le1\). Combining both cases we get
$$ s\eta(t)\leq s\eta(s)+t, \quad s\in[0,1], t>0. $$
(2.6)
From \((\eta2)\), we deduce for \(\theta\in(0,1)\), \(t>0\), \(j\in{N}\cup\{0\}\),
$$\frac{2}{\gamma} \bigl(1-\theta^{\gamma}\bigr)\eta^{1/2} \bigl( \theta^{2j}t \bigr)={ \int_{\theta ^{2(j+1)}t}^{\theta^{2j}t}\tau^{\frac{\gamma}{2}-1}\frac{\eta^{1/2}(\theta ^{2j}t)}{(\theta^{2j}t)^{\gamma/2}}} \,d\tau\le \int_{\theta ^{2(j+1)}t}^{\theta^{2j}t}\frac{\eta^{1/2}(\tau)}{\tau}\,d\tau, $$
which implies
$$\sum_{j = 0}^{\infty}{\eta^{1/2} \bigl(\theta^{2j} t \bigr)} \le\frac {\gamma}{{2(1 - \theta^{\gamma})}} \int_{0}^{t} {\frac{{\eta^{1/2} (\tau )}}{\tau}}\,d\tau = \frac{\gamma}{{2(1 - \theta^{\gamma})}}H^{1/2} (t). $$
It yields particularly that \(\eta(t)\le\frac{\gamma^{2}}{4}H(t)\) for all \(t\le0\), 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\ge0\). The constant C may vary from line to line. 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

In this section, we begin by introducing the \(\mathcal{A}\)-harmonic approximation lemma, and the proof is similar to [7], also see Föglein [24] with \(p=2\) in the Heisenberg group. We mainly prove the Caccioppoli type inequality for weak solutions of the systems (1.1) with controllable growth conditions.

Lemma 2

Let λ and L be fixed positive numbers, and \(k, N\in \mathbb{N}\) with \(k\geq2\). Assume for any given \(\varepsilon > 0\), there exists \(\delta=\delta(k,N,\lambda ,\varepsilon) \in(0,1]\) with the following properties:
  1. (I)
    for any \(\mathcal{A} \in \operatorname{Bil}({\mathbb{R}}^{k\times N})\) satisfying
    $$ \mathcal{A}(\nu,\nu) \ge\lambda \vert \nu \vert ^{2} \quad\textit{and} \quad\mathcal{A}(\nu,\bar{\nu}) \le L\vert \nu \vert \vert \bar{\nu} \vert ,\quad \nu,\bar{\nu} \in{ \mathbb{R}}^{k\times N}, $$
    (3.1)
     
  2. (II)
    for any \(w \in HW^{1,2}(B_{\rho}(\xi _{0} ),{\mathbb{R}}^{N})\) satisfying
    $$\begin{aligned}& \fint _{B_{\rho}(\xi_{0} )} {\vert {Xw} \vert } ^{2}\,d\xi\le1 \quad \textit{and} \end{aligned}$$
    (3.2)
    $$\begin{aligned}& \biggl| {\fint _{B_{\rho}(\xi_{0} )} {\mathcal{A}(Xw,X\varphi)} }\,d\xi \biggr| \le \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.3)
     
Then there exists an \(\mathcal{A}\)-harmonic function h such that
$$ {\fint _{B_{\rho}(\xi_{0} )} {\vert {Xh} \vert } ^{2} \,d\xi\le1} \quad\textit{and} \quad\rho^{ - 2}\fint _{B_{\rho}(\xi_{0} )} { \vert {h - w} \vert } ^{2}\,d\xi\le\varepsilon. $$
(3.4)
Shores in [23] established the following prior estimate for the weak solution u to the sub-elliptic systems with constant coefficients in Carnot groups:
$$ \sup_{B_{\rho/2} (\xi_{0} )} \bigl( {\vert u \vert ^{2} + \rho^{2} \vert {Xu} \vert ^{2} + \rho^{4} \bigl\vert {X^{2} u} \bigr\vert ^{2} } \bigr) \le C_{0}\rho^{2}\fint _{B_{\rho}(\xi_{0} )} {\vert Xu \vert ^{2}\,d\xi}. $$
(3.5)

Lemma 3

Let \(u \in HW^{1,m}(\Omega,{ \mathbb{R}}^{N})\) be a weak solution to the system (1.1) under the conditions (H1)-(H4) and (μ1)-(μ3). Then for every \(\xi_{0} = (\xi_{0}^{1} ,\xi_{0}^{2}, \ldots,\xi_{0}^{r}) \in\Omega \), \(u_{0} \in\mathbb{R}^{N}\), \(p_{0} \in\mathbb{ R}^{k\times N}\) and \(0 < \rho< R < \rho_{1}^{m/2} (\vert {u _{0} } \vert ,\vert {p_{0} } \vert )\leq1\) such that \(B_{R} (\xi_{0} ) \subset\subset\Omega\), the inequality
$$\begin{aligned} & \int_{B_{\rho}(\xi_{0} )} { \bigl( {\vert {Xu - p_{0} } \vert ^{2} + \vert {Xu - p_{0} } \vert ^{m} } \bigr)}\,d\xi \\ &\quad\le \frac{{C_{c} }}{{(R - \rho)^{2} }} \int_{B_{R} (\xi_{0} )} { \bigl\vert {u - u_{0} - \bigl( \xi^{1} - \xi_{0}^{1} \bigr)p_{0} } \bigr\vert } ^{2}\,d\xi \\ &\qquad{}+ \frac{{C_{c} }}{{(R - \rho)^{m} }} \int_{B_{R} (\xi_{0} )} { \bigl\vert {u - u_{0} - \bigl( \xi^{1} - \xi_{0}^{1} \bigr)p_{0} } \bigr\vert } ^{m} \,d\xi \\ &\qquad{}+ C_{c} \omega_{{G}} R^{Q} {K_{1} \bigl(|u_{0} |,|p_{0} | \bigr)\eta \bigl(R^{2} \bigr) + C_{c} \biggl[ \int _{B_{R}(\xi_{0})} \bigl(1+|u|^{r}+|Xu|^{m} \bigr) \,d\xi \biggr]^{\frac{m(r-1)}{r(m-1)}} } \end{aligned}$$
(3.6)
holds, where \(\xi^{1}=(\xi_{1}^{1},\xi_{2}^{1},\ldots,\xi _{k}^{1})\) is the horizontal component of \(\xi=(\xi^{1},\ldots,\xi^{r})\in\Omega\).

Proof

We test the sub-elliptic system (1.1) with the testing function \(\varphi= \phi^{2}v\) with \(v = u - u_{0} - (\xi^{1} - \xi_{0}^{1} )p_{0} \), where \(\phi\in C_{0}^{\infty}(B_{R} (\xi_{0} ), \mathbb{R}^{N})\) is a cut-off function satisfying \(0 \le\phi \le1\), \(\vert {X \phi} \vert \le\frac{C}{R - \rho}\), and \(\phi\equiv1\) on \(B_{\rho}(\xi_{0} )\). This yields
$$\begin{aligned} \int_{B_{R} (\xi_{0} )} {A_{i}^{\alpha}(\xi,u,Xu)} \phi^{2}(Xu - p_{0} )\,d\xi = {}&{-} 2 \int_{B_{R} (\xi_{0} )} {\phi X\phi A_{i}^{\alpha}( \xi,u,Xu)} v\,d\xi \\ &{}+ \int_{B_{R} (\xi_{0} )} {B^{\alpha}(\xi,u,Xu)} \varphi^{\alpha}\,d\xi. \end{aligned}$$
Adding this to the equations
$$\begin{aligned} - \int_{B_{R} (\xi_{0} )} {A_{i}^{\alpha}( \xi,u,p_{0} )} \phi^{2}(Xu - p_{0} )\,d\xi={}& 2 \int_{B_{R} (\xi_{0} )} {\phi X\phi A_{i}^{\alpha}( \xi,u,p_{0} )} v\,d\xi \\ &{}- \int_{B_{R} (\xi_{0} )} {A_{i}^{\alpha}( \xi,u,p_{0} )} X\varphi^{\alpha}\,d\xi \end{aligned}$$
and
$$ 0 = \int_{B_{R} (\xi_{0} )} {A_{i}^{\alpha}( \xi_{0} ,u_{0} ,p_{0} )} X\varphi ^{\alpha}, $$
(3.7)
we have
$$\begin{aligned} & \int_{B_{R} (\xi_{0} )} { \bigl[A_{i}^{\alpha}(\xi,u,Xu)} - A_{i}^{\alpha}(\xi ,u,p_{0} ) \bigr] \phi^{2}(Xu - p_{0} )\,d\xi \\ &\quad= 2 \int_{B_{R} (\xi_{0} )} { \bigl[A_{i}^{\alpha}( \xi,u,p_{0} ) - A_{i}^{\alpha}(\xi ,u,Xu)} \bigr] \phi vX\phi \,d\xi \\ &\qquad{} + \int_{B_{R} (\xi_{0} )} { \bigl[A_{i}^{\alpha}\bigl( \xi,u_{0} + \bigl(\xi^{1} - \xi_{0}^{1} \bigr)p_{0} ,p_{0} \bigr) - A_{i}^{\alpha}( \xi,u,p_{0} )} \bigr]X\varphi^{\alpha}\,d\xi \\ &\qquad{} + \int_{B_{R} (\xi_{0} )} { \bigl[A_{i}^{\alpha}( \xi_{0} ,u_{0} ,p_{0} ) - } A_{i}^{\alpha}\bigl(\xi,u_{0} + \bigl( \xi^{1} - \xi_{0}^{1} \bigr)p_{0} ,p_{0} \bigr) \bigr]X\varphi ^{\alpha}\,d\xi \\ &\qquad{}+ \int_{B_{R} (\xi_{0} )} {B^{\alpha}(\xi,u,Xu)} \varphi^{\alpha}\,d\xi \\ &\quad=: I + II + III + IV + V, \end{aligned}$$
(3.8)
with the obvious labeling for I-V.
The left hand side of (3.8) can be estimated via the uniformly elliptic condition (H2) (also see (1.10)),
$$\begin{aligned} &\lambda_{0} \int_{B_{R} (\xi_{0} )} { \bigl( {\vert {Xu - p_{0} } \vert ^{2} + \vert {Xu - p_{0} } \vert ^{m} } \bigr)\phi^{2}\,d\xi} \\ &\quad\le \int_{B_{R} (\xi_{0} )} { \bigl[A_{i}^{\alpha}(\xi,u,Xu)} - A_{i}^{\alpha}(\xi,u,p_{0} ) \bigr](Xu - p_{0} )\phi^{2}\,d\xi. \end{aligned}$$
(3.9)
For \(\varepsilon> 0\) to be fixed later we have, using the version (1.8) of (H1), and Young’s inequality,
$$ \begin{aligned}[b] I\le{}&2C(L) \int_{B_{R} (\xi_{0} )}{ \bigl(1 + \vert {Xu} \vert ^{2} + \vert {p_{0} } \vert ^{2} \bigr)^{\frac{{m - 2}}{2}} } { \vert {Xu - p_{0} } \vert } \vert \phi \vert \vert v \vert \vert {X\phi} \vert \,d\xi \\ \le{}& C\varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{2} \vert \phi \vert ^{2}\,d\xi + \frac{C}{\varepsilon (R - \rho)^{2}} \int _{B_{R} (\xi_{0} )} {\vert v \vert ^{2} }\,d\xi \\ &{}+ C\varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{m} \vert \phi \vert ^{\frac{m}{{m - 1}}}\,d\xi + \frac{C}{\varepsilon ^{m-1} (R - \rho)^{m}} \int_{B_{R} (\xi_{0} )} {\vert v \vert ^{m} }\,d\xi. \end{aligned} $$
(3.10)
Using Jensen’s inequality, (2.6), and the fact that \(\eta(ts) \le t\eta(s)\) for \(t \ge1\), we arrive at
$$\begin{aligned} & \bigl( {1 + |p_{0} |} \bigr)^{m} \kappa^{2} ( \cdot) \int_{B_{R} (\xi_{0} )} {\eta \bigl(|v|^{2} \bigr)}\,d\xi \\ &\quad\le \omega_{{G}} R^{Q - 2} \bigl[ \bigl( {1 + |p_{0} |} \bigr)^{m} \kappa ^{2} ( \cdot)R^{2} \bigr]\eta \biggl( { \fint _{B_{R} (\xi_{0} )} {|v|^{2}\,d\xi} } \biggr) \\ &\quad\le \omega_{{G}} R^{Q - 2} \biggl[ {\fint _{B_{R} (\xi_{0} )} {|v|^{2}\,d\xi} + \bigl( {1 + |p_{0} |} \bigr)^{m} \kappa^{2} ( \cdot)R^{2} \eta \bigl( { \bigl( {1 + |p_{0} |} \bigr)^{m} \kappa^{2} ( \cdot)R^{2} } \bigr)} \biggr] \\ &\quad\le R^{ - 2} \int_{B_{R} (\xi_{0} )} {|v|^{2}\,d\xi} + \omega_{{G}} R^{Q} \bigl( {1 + |p_{0} |} \bigr)^{2m} \kappa^{4} ( \cdot)\eta \bigl(R^{2} \bigr), \end{aligned}$$
(3.11)
where \(\kappa(\cdot)\) is abbreviation of the function \(\kappa(|u_{0}|+|p_{0}|)\). Also note that (2.6) in the second last inequality is applied with the assumption \(R< \rho_{1}^{m/2}(|u_{0}|,|p_{0}|)\leq1\).
Using the Dini continuity condition (H3), Young’s inequality, and (3.11) in II, we obtain
$$\begin{aligned} II \le{}& \bigl(1 + \vert {p_{0} } \vert \bigr)^{\frac{m}{2}} \kappa \bigl(\vert {u_{0} } \vert + R\vert {p_{0} } \vert \bigr) \int_{B_{R} (\xi _{0} )} {\eta^{\frac{1}{2}} \bigl( {\vert v \vert ^{2} } \bigr)} \vert {Xu - p_{0} } \vert \phi^{2}\,d\xi, \\ \le{}& \varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{2}\vert \phi \vert ^{2}\,d\xi+ \varepsilon^{ - 1} \bigl(1 + \vert {p_{0} } \vert \bigr)^{m} \kappa^{2}( \cdot) \int_{B_{R} (\xi_{0} )} {\eta \bigl( {\vert v \vert ^{2}} \bigr)}\,d\xi \\ \le{}&\varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{2}\vert \phi \vert ^{2}\,d\xi+ \frac{1}{\varepsilon ( {R - \rho} )^{2}} \int_{B_{R} (\xi_{0} )} {\vert v\vert^{2}\,d\xi} \\ &{}+ \varepsilon ^{ - 1}\omega_{{G}} R^{Q} \bigl( {1 + \vert p_{0} \vert} \bigr)^{2m}\kappa ^{4}( \cdot)\eta \bigl(R^{2} \bigr). \end{aligned}$$
(3.12)
Similarly,
$$\begin{aligned} III&\le 2 \bigl(1 + \vert {p_{0} } \vert \bigr)^{\frac{m}{2}} \kappa \bigl(\vert {u_{0} } \vert + R\vert {p_{0} } \vert \bigr) \int_{B_{R} (\xi_{0} )} {\eta^{\frac {1}{2}} \bigl( {\vert v \vert ^{2} } \bigr)} \vert v \vert \vert {X\phi} \vert \vert \phi \vert \,d\xi, \\ &\le\frac{C}{(R - \rho)^{2}} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{2}\,d\xi+ \bigl(1 + \vert {p_{0} } \vert \bigr)^{m}\kappa^{2}( \cdot) \int_{B_{R} (\xi_{0} )} {\eta \bigl( {\vert v \vert ^{2}} \bigr)}\,d\xi \\ &\le\frac{C}{(R - \rho)^{2}} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{2}\,d\xi+ \omega_{{G}} R^{Q} \bigl(1 + \vert {p_{0} } \vert \bigr)^{2m}\kappa^{4}( \cdot)\eta \bigl(R^{2} \bigr) \end{aligned}$$
(3.13)
and
$$\begin{aligned} IV \le{}& \bigl(1 + \vert {p_{0} } \vert \bigr)^{\frac{m}{2}}\kappa \bigl(\vert {u_{0} } \vert + R\vert {p_{0} } \vert \bigr) \\ &{}\times \int_{B_{R} (\xi_{0} )} {\eta^{\frac{1}{2}} \bigl( {R^{2} \bigl(1 + \vert {p_{0} } \vert ^{2} \bigr)} \bigr)} \bigl[ { \vert {Xu - p_{0} } \vert \phi ^{2} + 2\vert \phi \vert \vert v \vert \vert {X\phi} \vert } \bigr]\,d\xi \\ \le{}&\varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{2}\vert \phi \vert ^{2}\,d\xi+ \frac{C\varepsilon}{(R - \rho )^{2}} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{2}\,d\xi \\ &{}+ 2\varepsilon^{ - 1}\omega_{{G}} R^{Q} \bigl(1 + \vert {p_{0} } \vert \bigr)^{m}\kappa^{2}( \cdot)\eta \biggl( {\fint _{B_{R} (\xi_{0} )} {R^{2} \bigl(1 + \vert {p_{0} } \vert ^{2} \bigr)\,d\xi} } \biggr) \\ \le{}& \varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{2}\vert \phi \vert ^{2}\,d\xi+ \frac{C\varepsilon}{(R - \rho)^{2}} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{2}\,d\xi \\ &{} + 2\varepsilon^{ - 1}\omega_{{G}} R^{Q} \bigl(1 + \vert {p_{0} } \vert \bigr)^{m+2}\kappa^{4}( \cdot)\eta \bigl(R^{2} \bigr), \end{aligned}$$
(3.14)
where we have used \(\kappa\ge1\) in the last inequality.
Finally, the term V can be estimated by using the controllable growth condition (H4), Hölder’s inequality, and Young’s inequality. This yields
$$\begin{aligned} V \le{}& c \int_{B_{R} (\xi_{0} )} { \bigl( {1+\vert u \vert ^{r-1}+ \vert Xu \vert ^{m(1-1/r)} } \bigr)} \varphi \,d\xi \\ \le{}& c \biggl( { \int_{B_{R} (\xi_{0} )} {\vert \varphi \vert ^{r} }\,d\xi } \biggr)^{1/r} \biggl( { \int_{B_{R} (\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r} + \vert {Xu} \vert ^{m} } \bigr)}\,d\xi} \biggr)^{(r - 1)/r} \\ \le{}& c \biggl( { \int_{B_{R} (\xi_{0} )} {\vert {X\varphi} \vert ^{m} }\,d\xi} \biggr)^{1/m} \biggl( { \int_{B_{R} (\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r} + \vert {Xu} \vert ^{m} } \bigr)}\,d\xi} \biggr)^{(r - 1)/r} \\ \le{}& \varepsilon \int_{B_{R} (\xi_{0} )} {\vert {X\varphi} \vert ^{m} }\,d\xi + C(\varepsilon) \biggl( { \int_{B_{R} (\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r} + \vert {Xu} \vert ^{m} } \bigr)}\,d\xi} \biggr)^{m(r - 1)/r(m - 1)} \\ \le{}& 2^{m - 1} \varepsilon \int_{B_{R} (\xi_{0} )} {\vert {Xu - p_{0} } \vert } ^{m} \vert \phi \vert ^{m} \,d\xi + \frac{{2^{m - 1} C\varepsilon}}{{(R - \rho)^{m} }} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{m} \,d\xi \\ &{}+ C(\varepsilon) \biggl( { \int_{B_{R} (\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r} + \vert {Xu} \vert ^{m} } \bigr)}\,d\xi} \biggr)^{m(r - 1)/r(m - 1)} , \end{aligned}$$
(3.15)
where we have used the fact \(\vert {X\varphi} \vert ^{m} \le 2^{m-1} (\phi^{m} \vert {Xu - p_{0} } \vert ^{m} + \frac{C}{{(R - \rho )^{m} }}\vert v \vert ^{m} )\).
Applying these estimates to (3.8), we obtain
$$\begin{aligned} &\Lambda \int_{B_{\rho}(\xi_{0} )} { \bigl( {\vert {Xu - p_{0} } \vert ^{2} + \vert {Xu - p_{0} } \vert ^{m} } \bigr)\phi^{2}\,d\xi} \\ &\quad\le \frac{{(C + 1)(\varepsilon + \varepsilon^{ - 1} )}}{{(R - \rho )^{2} }} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{2}\,d\xi + \frac {{C(\varepsilon^{1 - m} + 2^{m - 1} \varepsilon)}}{{(R - \rho)^{m} }} \int_{B_{R} (\xi_{0} )} {\vert v \vert } ^{m} \,d\xi \\ &\qquad{}+ \bigl( {3\varepsilon^{ - 1} + 1} \bigr)\omega_{{G}} R^{Q} \bigl( {1 + |p_{0} |} \bigr)^{2m} \kappa^{4} ( \cdot)\eta \bigl(R^{2} \bigr) \\ &\qquad{}+ C(\varepsilon) \biggl( { \int_{B_{R} (\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r} + \vert {Xu} \vert ^{m} } \bigr)}\,d\xi} \biggr)^{m(r - 1)/r(m - 1)}, \end{aligned}$$
where \(\Lambda=\lambda_{0} - (C + 2 + 2^{m - 1} )\varepsilon\). The conclusion follows by choosing suitable ε such that \(\Lambda>0\). We refer to [7] for a similar and detailed argument. □

4 Proof of main theorem

In this section, we will complete the proof of the partial regularity results via the following lemmas. In the sequel, we always suppose that \(u\in HW^{1,m}(\Omega,{R}^{N})\) with \(m> 2\) is a weak solution to (1.1) with the assumptions of (H1)-(H4), and (μ1)-(μ3). First of all, we provide a linearization strategy for nonlinear sub-elliptic systems as in (1.1).

Lemma 4

Let \(B_{\rho}(\xi_{0} ) \subset\subset\Omega\) with \(\rho\le \rho_{1}^{\frac{m}{2}} (\vert u_{0} \vert,\vert p_{0} \vert)\) and \(\varphi \in C_{0}^{\infty}(B_{\rho}(\xi_{0} ),{ {R}}^{N})\) satisfying \(|\varphi|\leq\rho^{2}\) and \(\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \le1\). Then there exists a constant \(C_{1} \ge1\), such that
$$\begin{aligned} & \fint _{B_{\rho}(\xi_{0} )} {A_{i,p_{\beta}^{j} }^{\alpha}( \xi_{0} ,u_{0} ,p_{0} ) (Xu - p_{0} )X\varphi^{\alpha}\,d\xi} \\ &\quad\le C_{1} \bigl[ {\Phi(\xi_{0} , \rho,p_{0} ) + \omega^{\frac{1}{m}} \bigl( {\vert {p_{0} } \vert ,\Phi ( \xi_{0} ,\rho,p_{0} )} \bigr)\Phi ^{\frac{1}{2}} ( \xi_{0} ,\rho,p_{0} )} \\ &\qquad{} + {F\bigl(|u_{0} |,|p_{0} |\bigr) \eta^{\frac{1}{2}} \bigl( \rho^{2} \bigr)} \bigr]\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert , \end{aligned}$$
(4.1)
where \(F(s,t) = K_{1} (s,t) +(1+s+t)^{r-1} \) and \(C_{1} = 2^{\frac {m-2}{2}} (C(L)+2c+ 4 + 2C_{p} ) > 1 \).

Proof

We first write
$$\bigl\vert {A_{i}^{\alpha}(\xi_{0} ,u_{0} ,Xu) - A_{i}^{\alpha}(\xi_{0} ,u_{0} ,p_{0} )} \bigr\vert = \int_{0}^{1} {A_{i,p_{\beta}^{j} }^{\alpha}\bigl(\xi_{0} ,u_{0} ,\theta Xu + (1 - \theta)p_{0} \bigr)} (Xu - p_{0} )\,d\theta. $$
Noting that \(\int_{B_{\rho}(\xi_{0} )} {A_{i}^{\alpha}(\xi_{0} ,u_{0} ,p_{0} )X\varphi^{\alpha}}\,d\xi= 0\) and using the weak form of u, we conclude
$$\begin{aligned} &\fint _{B_{\rho}(\xi_{0} )} {A_{i,p_{\beta}^{j} }^{\alpha}( \xi_{0} ,u_{0} ,p_{0} ) (Xu - p_{0} )X\varphi^{\alpha}}\,d\xi \\ &\quad\leq \fint _{B_{\rho}(\xi_{0} )} { \biggl[ { \int_{0}^{1} { \bigl( {A_{i,p_{\beta}^{j} }^{\alpha}( \xi_{0} ,u_{0} ,p_{0} ) - A_{i,p_{\beta}^{j} }^{\alpha}\bigl(\xi_{0} ,u_{0} , \theta Xu + (1 - \theta)p_{0} \bigr)} \bigr) (Xu - p_{0} ) \,d\theta} } \biggr]}\,d\xi \\ &\qquad{}\times\sup_{B_{\rho}(\xi _{0} )} \vert {X\varphi} \vert \\ &\qquad{} + \fint _{B_{\rho}(\xi_{0} )} { \bigl[ {A_{i}^{\alpha}( \xi_{0} ,u_{0} ,Xu) - A_{i}^{\alpha}\bigl(\xi,u_{0} + p_{0} (\xi- \xi_{0} ),Xu \bigr)} \bigr]} \sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \\ &\qquad{}+ \fint _{B_{\rho}(\xi_{0} )} { \bigl[ {A_{i}^{\alpha}\bigl( \xi,u_{0} + p_{0} (\xi- \xi_{0} ),Xu \bigr) - A_{i}^{\alpha}(\xi,u,Xu)} \bigr]} \sup _{B_{\rho}(\xi _{0} )} \vert {X\varphi} \vert \\ &\qquad{}+ \fint _{B_{\rho}(\xi_{0} )} {B^{\alpha}(\xi,u,Xu)\varphi^{\alpha}\,d\xi} \\ &\quad: = {I}' + I{I}' + II{I}' + I{V}', \end{aligned}$$
(4.2)
with the obvious meaning of I-IV. In order to estimate the term I, we use (1.4) and (1.9) to first get
$$\begin{aligned} & \bigl| {A_{i,p_{\beta}^{j} }^{\alpha}(\xi_{0} ,u_{0} ,p_{0} ) - A_{i,p_{\beta}^{j} }^{\alpha}\bigl( \xi_{0} ,u_{0} ,\theta Xu + (1 - \theta)p_{0} \bigr)} \bigr|^{\frac{1}{m} + (1 - \frac{1}{m})} \\ &\quad\le \bigl[ {C \bigl(1 + \vert {p_{0} } \vert ^{2} + \bigl\vert {\theta(Xu-p_{0}) + p_{0} } \bigr\vert ^{2} \bigr)^{\frac{m - 2}{2}}\omega \bigl(\vert {p_{0} } \vert , \bigl\vert {\theta(Xu - p_{0} )} \bigr\vert ^{2} \bigr)} \bigr]^{\frac{1}{m}} \\ &\qquad{} \times \bigl[ {L \bigl(1 + \vert {p_{0} } \vert ^{2} \bigr)^{\frac{m - 2}{2}} + L \bigl( {1 + \bigl\vert { \theta(Xu-p_{0}) + p_{0} } \bigr\vert ^{2}} \bigr)^{\frac{m - 2}{2}}} \bigr]^{1 - \frac{1}{m}} \\ &\quad\le C(L) \bigl(1 + \vert {p_{0} } \vert ^{2} \bigr)^{\frac{m - 2}{2}}\vert {Xu - p_{0} } \vert ^{m-2} \omega^{\frac{1}{m}} \bigl(\vert {p_{0} } \vert ,\vert {Xu - p_{0} } \vert ^{2} \bigr). \end{aligned}$$
(4.3)
Using (4.3), Hölder’s inequality, the fact that \(t \to \omega^{2}(s,t)\) is concave, and Jensen’s inequality, we have
$$\begin{aligned} I'&\le C(L)\fint _{B_{\rho}(\xi_{0} )} { \omega^{\frac{1}{m}} \bigl(\vert {p_{0} } \vert ,\vert {Xu - p_{0} } \vert ^{2} \bigr)} \vert {Xu - p_{0} } \vert ^{m-1}\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \,d\xi \\ &\le C(L)\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \biggl[ { \fint _{B_{\rho}(\xi_{0} )} {\omega \bigl(\vert {p_{0} } \vert , \vert {Xu - p_{0} } \vert ^{2} \bigr)}\,d\xi} \biggr]^{\frac{1}{m}} \biggl\{ {\fint _{B_{\rho}(\xi_{0} )} { {\vert {Xu - p_{0} } \vert ^{m}} }\,d\xi} \biggr\} ^{\frac{m - 1}{m}} \\ &\le C(L)\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \omega ^{\frac{1}{m}} \biggl(\vert {p_{0} } \vert ,\fint _{B_{\rho}(\xi_{0} )} {\vert {Xu - p_{0} } \vert ^{2}\,d\xi} \biggr) \biggl\{ { \fint _{B_{\rho}(\xi_{0} )} { {\vert {Xu - p_{0} } \vert ^{m}} }\,d\xi} \biggr\} ^{\frac{m - 1}{m}} \\ &\le C(L) \omega^{\frac{1}{m}} \bigl( {\vert {p_{0} } \vert , \Phi (\xi_{0} ,\rho,p_{0} )} \bigr)\Phi^{\frac{1}{2}}(\xi _{0} ,\rho,p_{0} )\sup_{B_{\rho}(\xi_{0} )}\vert {X \varphi} \vert , \end{aligned}$$
(4.4)
where we have used the fact \(\frac{m}{m-1}<2\) and the assumption \(\Phi (\xi_{0}, \rho, p_{0})\le1\).
The term \(II'\) can be estimated using the Dini continuity condition (1.6) and the fact that \(\eta(ts) \le t\eta (s)\) for \(t \ge1\). We have
$$\begin{aligned} II' \le{}& \sup_{B_{\rho}(\xi_{0} )} \vert {X \varphi} \vert \kappa( \cdot)\mu \bigl( {\rho \bigl(1 + \vert {p_{0} } \vert \bigr) } \bigr)\fint _{B_{\rho}(\xi_{0} )} {\bigl(1 + |Xu|\bigr)^{\frac{m}{2}}\,d\xi} \\ \le{}&\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \kappa( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)\eta^{\frac{1}{2}} \bigl( { \rho^{2} } \bigr)\fint _{B_{\rho}(\xi_{0} )} {\bigl(1 + |p_{0} | + |Xu - p_{0} |\bigr)^{\frac{m}{2}}\,d\xi} \\ \le{}&2^{\frac{m-2}{2}}\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \bigl[ \kappa( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{1 + \frac{m}{2}} \eta^{\frac{1}{2}} \bigl( {\rho^{2} } \bigr) + \kappa^{2} ( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{2} \eta \bigl( {\rho^{2} } \bigr) \\ &{}+ \fint _{B_{\rho}(\xi_{0} )} {|Xu - p_{0} |^{m} \,d\xi} \bigr] \\ \le{}&2^{\frac{m-2}{2}} \bigl[ {\Phi(\xi_{0} ,\rho,p_{0} ) + 2\kappa^{2} ( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{1 + \frac{m}{2}} \eta^{\frac{1}{2}} \bigl(\rho^{2} \bigr)} \bigr] \sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert , \end{aligned}$$
(4.5)
where we have used the fact that \(\eta(\rho^{2})\leq\eta^{\frac{1}{2}}(\rho^{2})\), which follows from the nondecreasing property of the function \(\eta(t)\), (η4), and our assumption \(\rho\leq\rho_{1}\leq1\).
Similarly, it follows that by using (1.6), (3.11), and the Poincaré inequality (2.4) in the special case \(p=q=2\)
$$\begin{aligned} III' \le{}&\sup_{B_{\rho}(\xi_{0} )} \vert {X \varphi } \vert \fint _{B_{\rho}(\xi_{0} )} {\kappa( \cdot)\eta^{\frac{1}{2}} \bigl( {\vert v \vert ^{2} } \bigr) \bigl(1 + |Xu|\bigr)^{\frac{m}{2}}\,d\xi} \\ \le{}& 2^{\frac{m-2}{2}}\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \biggl[ {\fint _{B_{\rho}(\xi_{0} )} {|Xu - p_{0} |^{m} \,d\xi} + \kappa^{2} ( \cdot)\fint _{B_{\rho}(\xi_{0} )} {\eta \bigl( {\vert v \vert ^{2} } \bigr)\,d\xi}} \\ &{}+ {\kappa( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{\frac{m}{2}} \fint _{B_{\rho}(\xi_{0} )} {\eta^{\frac{1}{2}} \bigl( { \vert v \vert ^{2} } \bigr)\,d\xi} } \biggr] \\ \le{}& 2^{\frac{m-2}{2}}\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \biggl[ \Phi(\xi_{0} ,\rho,p_{0} ) \\ &{} + 2\rho^{ - 2} \fint _{B_{\rho}(\xi_{0} )} {\vert v \vert ^{2}\,d\xi} + \kappa^{4} ( \cdot)\eta \bigl(\rho^{2} \bigr) + \kappa^{2} ( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{m} \eta^{\frac{1}{2}} \bigl(\rho^{2} \bigr) \biggr] \\ \le{}& 2^{\frac{m-2}{2}}\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert \biggl[ \Phi(\xi_{0} ,\rho,p_{0} ) \\ &{}+ 2C_{p} \fint _{B_{\rho}(\xi_{0} )} {\vert {Xu - p_{0} } \vert ^{2}\,d\xi} + 2\kappa^{4} ( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{m} \eta^{\frac{1}{2}} \bigl( \rho^{2} \bigr) \biggr] \\ \le{}& 2^{\frac{m-2}{2}} \bigl[ {(1 + 2C_{p} )\Phi(\xi_{0} , \rho,p_{0} ) + 2\kappa^{4} ( \cdot) \bigl(1 + \vert {p_{0} } \vert \bigr)^{m} \eta^{\frac{1}{2}} \bigl( \rho^{2} \bigr)} \bigr]\sup_{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert . \end{aligned}$$
(4.6)
Note that by the assumption \(\sup_{B_{\rho}(\xi_{0} )} \vert \varphi \vert \le\rho^{2} \le1\) and (η4), we have
$$\begin{aligned} IV' \le{}& c\fint _{B_{\rho}(\xi_{0} )} { \bigl( {1 + \vert u \vert ^{r - 1} + \vert {Xu} \vert ^{m(1 - 1/r)} } \bigr) \vert \varphi \vert \,d\xi} \\ \le{}& c\fint _{B_{\rho}(\xi_{0} )} {\vert {Xu} \vert ^{m(1 - 1/r)} \vert \varphi \vert \,d\xi} + c\fint _{B_{\rho}(\xi_{0} )} { \bigl\vert {u - u_{0} - p_{0} \bigl(\xi^{1} - \xi_{0}^{1} \bigr)} \bigr\vert ^{r - 1} \vert \varphi \vert \,d\xi} \\ &{} + c\rho^{2} \bigl[1 + \bigl(|u_{0} | + \rho|p_{0} |\bigr)^{r - 1} \bigr] \\ \le{}& c \biggl( {\fint _{B_{\rho}(\xi_{0} )} {\vert {Xu - p_{0} } \vert ^{m} }\,d\xi} \biggr)^{\frac{{r - 1}}{r}} \biggl( { \fint _{B_{\rho}(\xi_{0} )} {\vert \varphi \vert ^{r} \,d\xi} } \biggr)^{\frac{1}{r}} \\ &{} + c \biggl( {\fint _{B_{\rho}(\xi_{0} )} {\vert {p_{0} } \vert ^{m} \,d\xi } } \biggr)^{\frac{{r - 1}}{r}} \biggl( {\fint _{B_{\rho}(\xi_{0} )} { \vert \varphi \vert ^{r} \,d\xi} } \biggr)^{\frac{1}{r}} \\ &{}+ c \biggl( {\fint _{B_{\rho}(\xi_{0} )} {\vert {Xu - p_{0} } \vert ^{m} }\,d\xi} \biggr)^{\frac{r-1}{m} } \biggl( { \fint _{B_{\rho}(\xi_{0} )} { \vert \varphi \vert ^{r} }\,d\xi} \biggr)^{\frac{1}{r}} + c \rho^{2} \bigl[ {1 + \bigl( {\vert {u_{0} } \vert + \vert {p_{0} } \vert } \bigr)^{r - 1} } \bigr] \\ \leq {}& 2c \biggl( {\fint _{B_{\rho}(\xi_{0} )} {\vert {{Xu-p_{0}} } \vert ^{m} }\,d\xi} \biggr)^{ \frac{r-1}{r}} \biggl( { \fint _{B_{\rho}(\xi_{0} )} {\vert \varphi \vert ^{r} }\,d\xi} \biggr)^{\frac{1}{r}} \\ &{}+ c\rho^{2} \bigl[ {1 + \bigl( {\vert {u_{0} } \vert + \vert {p_{0} } \vert } \bigr)^{r - 1} + \vert {p_{0} } \vert ^{m(1 - \frac{1}{r})} } \bigr] \\ \leq {}& 2c\Phi(\xi_{0} ,\rho,p_{0} )+ 2c \eta^{\frac{1}{2}} \bigl(\rho^{2} \bigr) \bigl[ { \bigl(1+ {\vert {u_{0} } \vert + \vert {p_{0} } \vert } \bigr)^{r - 1} } \bigr], \end{aligned}$$
(4.7)
where we have used \(r-1\geq m(1-1/r)\) and \(\eta(s)\le1\) for \(s\in(0,1]\).

Combining the estimates (4.4)-(4.7) with (4.2), we obtain the conclusion with \(C_{1} = 2^{\frac{m-2}{2}} (C(L)+2c+ 4 + 2C_{p} ) \). □

The following lemma is to establish the excess improvement of the functional Φ as in (1.11). The strategy of the proof is to approximate the given solution by A-harmonic functions, for which suitable decay estimates are available from the classical theory.

Lemma 5

Assume that the conditions of Lemma  2 and the following smallness conditions hold:
$$\begin{aligned}& \omega^{\frac{1}{m}} \bigl( {\vert {u_{\xi_{0} ,\rho} } \vert + \bigl\vert {(Xu)_{\xi_{0} ,\rho} } \bigr\vert ,\Phi \bigl( \xi_{0} , \rho,(Xu)_{\xi_{0} ,\rho} \bigr)} \bigr)+\Phi^{1 / 2} \bigl( \xi_{0} ,\rho,(Xu)_{\xi_{0} ,\rho} \bigr) \le\frac{\delta}{2}, \end{aligned}$$
(4.8)
$$\begin{aligned}& C_{2}F^{2} \bigl(\vert u_{\xi_{0} , \rho} \vert,\bigl| (Xu)_{\xi_{0} , \rho}\bigr| \bigr)\eta \bigl(\rho^{2} \bigr)\leq \delta^{2}, \end{aligned}$$
(4.9)
with \(C_{2}=8C_{1}^{2}C_{4}\), together with the radius condition
$$ \rho\le\rho^{m/2} _{1} \bigl(1+\vert u_{\xi_{0} ,\rho} \vert, 1+\bigl| (Xu)_{\xi _{0} ,\rho} \bigr| \bigr). $$
(4.10)
Then we have the following excess improvement estimate with \(\tau\in [\gamma,1)\):
$$\Phi(\xi_{0} ,\theta\rho) \le\theta^{2\tau}\Phi( \xi_{0} ,\rho) + K^{*} \bigl(\vert {u_{\xi_{0} ,\rho} } \vert , \bigl\vert {(Xu)_{\xi_{0} , \rho} } \bigr\vert \bigr)\eta \bigl( \rho^{\frac{m}{m-1}} \bigr), $$
where we have abbreviated \(\Phi(\xi_{0} ,r) = \Phi(\xi_{0} ,r, ( {Xu} )_{\xi_{0} ,r} )\), and \(K^{*}(s,t) =C_{7}F^{2}(1+s,1+t)\).

Proof

We define \(w = [ {u - u_{\xi_{0} ,\rho} - (Xu)_{\xi_{0},\rho} (\xi ^{1} - \xi_{0}^{1} )} ]\sigma^{ - 1}\), where
$$ \sigma= C_{1} \sqrt{\Phi(\xi_{0} ,\rho ) + 4 \delta^{ - 2} {F^{2} \bigl(\vert {u_{\xi_{0},\rho} } \vert , \bigl\vert {(Xu)_{\xi_{0},\rho} } \bigr\vert \bigr)\eta \bigl( \rho^{2} \bigr) }} $$
(4.11)
with \(C_{1}>1\) in Lemma 4. Then we have \(Xw = \sigma^{ - 1}(Xu - (Xu)_{\xi_{0},\rho} )\). Now we consider \(B_{\rho}(\xi _{0} ) \subset\subset\Omega\) such that \(\rho\le\rho_{1}^{\frac{m}{2}} (\vert {u_{\xi_{0},\rho} } \vert ,\vert {(Xu)_{\xi_{0},\rho} } \vert )\le1\). It yields
$$ \fint _{B_{\rho}(\xi_{0} )} {\vert {Xw} \vert ^{2}}\,d \xi= \sigma^{ - 2}\Phi (\xi_{0} ,\rho) \le\frac{1}{C_{1}^{2} } \le1. $$
(4.12)
Applying Lemma 4 on \(B_{\rho}(\xi_{0} )\) to u, we have, for any \(\varphi \in C_{0}^{\infty}(B_{\rho}(\xi_{0} ),{ R}^{N})\),
$$\begin{aligned} &\fint _{B_{\rho}(\xi_{0} )} {A_{i,p_{\beta}^{j} }^{\alpha}\bigl( \xi_{0} ,u_{\xi _{0},\rho} ,(Xu)_{\xi_{0},\rho} \bigr)XwX \varphi}\,d\xi \\ &\quad\le \biggl[ {\Phi^{1 / 2}(\xi_{0} ,\rho ) + \omega^{\frac{1}{m}} \bigl( { \bigl\vert {(Xu)_{\xi_{0},\rho} } \bigr\vert , \Phi(\xi_{0} ,\rho)} \bigr) + \frac{\delta}{2}} \biggr]\sup _{B_{\rho}(\xi_{0} )} \vert {X\varphi} \vert . \end{aligned}$$
(4.13)
In consideration of the smallness condition (4.8), we see that (4.12) and (4.13) imply the conditions (3.2) and (3.3) in Lemma 2, respectively. Also note that assumptions (H1) and (H2) with \(u=u_{\xi _{0},\rho}\), and \(p=(Xu)_{\xi_{0},\rho}\), imply the conditions (3.1). So there exists a \(A_{i,p_{\beta}^{j} }^{\alpha}(\xi _{0} ,u_{\xi_{0}, \rho} , (Xu)_{\xi_{0}, \rho} )\)-harmonic function \(h \in HW^{1,2}(B_{\rho}(\xi _{0} ),{ R}^{N})\) such that
$$ \fint _{B_{\rho}(\xi_{0} )} {\vert {Xh} \vert ^{2}}\,d \xi\le1 $$
(4.14)
and
$$ \rho^{ - 2}\fint _{B_{\rho}(\xi_{0} )} {\vert {w - h} \vert ^{2}}\,d\xi \le \varepsilon. $$
(4.15)
Using Lemma 3 on the ball \(B_{2\theta\rho}(\xi_{0})\) with \(u_{0}=u_{\xi_{0}, 2\theta\rho}\), \(\theta\in(0, 1 / 4]\), and replacing \(p_{0} \) by \((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \), we obtain
$$\begin{aligned} & \int_{B_{\theta\rho} (\xi_{0} )} { \bigl( { \bigl\vert {Xu - (Xu)_{\xi_{0} , \rho} - \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr\vert ^{2} + \bigl\vert {Xu - (Xu)_{\xi_{0} , \rho} - \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr\vert ^{m} } \bigr)}\,d\xi \\ &\quad\le \frac{{C_{c} }}{{(\theta\rho)^{2} }} \int_{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl( {(Xu)_{\xi_{0} , \rho } + \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr) \bigl( \xi^{1} - \xi_{0}^{1} \bigr)} \bigr\vert } ^{2}\,d\xi \\ &\qquad{}+ \frac{{C_{c} }}{{(\theta\rho)^{m} }} \int_{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl( {(Xu)_{\xi_{0} , \rho } + \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr) \bigl( \xi^{1} - \xi_{0}^{1} \bigr)} \bigr\vert } ^{m} \,d\xi \\ &\qquad{}+ C_{c} \omega_{{G}} (2\theta\rho)^{Q} \bigl[ {K_{1} \bigl(|u_{\xi_{0} ,2\theta \rho} |,\bigl|(Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr| \bigr) \eta \bigl((2\theta\rho)^{2} \bigr) } \bigr] \\ &\qquad{}+ C_{c} \biggl[ \int_{B_{2\theta\rho}(\xi_{0})} \bigl(1+|u|^{r}+|Xu|^{m} \bigr) \,d\xi \biggr]^{m(r-1)/r(m-1)} \\ &\quad: = I'' + II'' + III''+IV''. \end{aligned}$$
(4.16)
Note that the smallness conditions (4.8)-(4.9) imply \(\sigma^{2}C_{4} (=C_{1}^{2}C_{4}\Phi+\frac{1}{2}C_{2}F^{2}\eta\delta^{-2}) \le1\) with \(C_{4} = \max\{C_{0} ,(2\theta)^{-Q}\}\), where we have assumed \(\frac {1}{2} C_{1}^{2}C_{4}\delta^{2} \leq1\), which is no restriction. Then it follows by applying the prior estimate (3.5) for the \(\mathcal{A}\)-harmonic function h
$$ \bigl\vert \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr\vert \le\sigma\sup _{B_{2\theta\rho} (\xi_{0} )} \vert {Xh} \vert \le\sigma\sqrt{C_{0} } \biggl( \fint _{B_{\rho}(\xi_{0})}|Xh|^{2}\,d\xi \biggr)^{\frac{1}{2}}\le \sigma \sqrt{C_{0} } \le1. $$
(4.17)
Furthermore, it follows by Poincaré inequality (2.4)
$$\begin{aligned} \vert u_{\xi_{0} ,2\theta\rho} \vert&\le \vert u_{\xi_{0} ,\rho} \vert+ \vert u_{\xi_{0} ,2\theta\rho} - u_{\xi_{0} ,\rho} \vert \\ &\le \vert u_{\xi_{0} ,\rho} \vert+ (2\theta)^{ - Q / 2} \biggl( { \fint _{B_{\rho}(\xi_{0} )} {\bigl\vert u - (Xu)_{\xi_{0} ,\rho} \bigl(\xi^{1} - \xi_{0}^{1} \bigr)} - u_{\xi_{0} ,\rho} \bigr\vert ^{2} \,d\xi} \biggr)^{1 / 2} \\ &\le \vert u_{\xi_{0} ,\rho} \vert+ (2\theta)^{ - Q / 2}\rho{C_{p} } \Phi^{1/2} (\xi_{0} ,\rho) \\ &\le\vert u_{\xi_{0} ,\rho} \vert +\frac{\sigma{C_{p}}}{C_{1}(2\theta)^{\frac{Q}{2}}} \\ &\le\vert u_{\xi_{0} ,\rho} \vert+\sigma\sqrt{C_{4}}\le\vert u_{\xi_{0} ,\rho} \vert+1, \end{aligned}$$
(4.18)
where we have used the definition of σ (4.11) and the fact \(C_{1}> {C_{p}}\).
Recall that \(g(\tau)=\int_{B_{2\theta\rho}(\xi_{0})}(u-\tau)^{2}\,d\xi\) has a minimal value at \(\tau=u_{\xi_{0},2\theta\rho}\). Noting that \(u - ( {(Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta \rho} } )(\xi^{1} - \xi_{0}^{1} )\) has mean value \(u_{\xi_{0} ,2\theta\rho} \) on the ball \(B_{2\theta\rho} (\xi_{0} )\), and using the definition of w, and Poincaré inequality (2.4), we have
$$\begin{aligned} &\frac{1}{{(\theta\rho)^{2} }}\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl( {(Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr) \bigl(\xi^{1} - \xi_{0}^{1} \bigr)} \bigr\vert ^{2}\,d\xi} \\ &\quad\le\frac{{4\sigma^{2} }}{{(2\theta\rho)^{2} }} \biggl[ {\fint _{B_{2\theta\rho} (\xi_{0} )} {\vert {w - h} \vert ^{2}\,d\xi} + \fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {h - h_{\xi_{0} ,2\theta \rho} - (Xh)_{\xi_{0} ,2\theta\rho} \bigl(\xi^{1} - \xi_{0}^{1} \bigr)} \bigr\vert ^{2}\,d\xi} } \biggr] \\ &\quad\le4\sigma^{2} \biggl[ {(2\theta)^{ - Q - 2} \varepsilon + C_{p}^{2} (2\theta\rho)^{2} \fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {X^{2} h} \bigr\vert ^{2}\,d\xi} } \biggr] \\ &\quad\le C_{3} \bigl(\theta^{ - Q - 2} \varepsilon + \theta^{2} \bigr) \bigl[ {\Phi (\xi_{0} ,\rho) + 4 \delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr], \end{aligned}$$
(4.19)
where \(C_{3}=C_{1}^{2}(2^{-Q}+16C_{p}^{2}C_{0})\ge1\), and in the last inequality we have used the definition of σ (4.11) with \(u_{0}=u_{\xi_{0},2\theta\rho}\), and the fact that
$$\fint _{B_{2\theta\rho}(\xi_{0})}\bigl|X^{2}h\bigr|\,d\xi\leq \sup_{B_{\rho}(\xi_{0} )}\bigl|{X^{2}h }\bigr|\leq C_{0}\rho^{-2} \fint _{B_{\rho}(\xi_{0})}|Xh|^{2} \,d\xi\leq C_{0} \rho^{-2}. $$
Then it follows
$$I''\le C_{3}C_{c} \omega_{G}(2\theta\rho)^{Q} \bigl(\theta^{ - Q - 2} \varepsilon + \theta^{2} \bigr) \bigl[ {\Phi(\xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr]. $$
For \(2< m< Q\), we have \(\frac{Q-m}{Qm}=\frac{1}{m^{\ast}} < \frac{1}{m} < \frac{1}{2} \). Then there exists \(t \in(0,1)\) such that \(\frac{1}{m} = \frac{1}{2}(1 - t) + \frac{1}{m^{\ast}} t\). Using (2.5), (2.4), Young’s inequality, and (4.19) in turn, we have
$$\begin{aligned} & \fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta \rho} \bigr) \bigl( \xi^{1} - \xi^{1}_{0} \bigr)} \bigr\vert ^{m}}\,d\xi \\ &\quad\le \biggl[ {\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl((Xu)_{\xi_{0} , \rho} + \sigma (Xh)_{\xi_{0} ,2\theta\rho} \bigr) \bigl( \xi^{1} - \xi^{1}_{0} \bigr)} \bigr\vert ^{2}}\,d\xi} \biggr]^{(1 - t)\frac{m}{2}} \\ &\qquad{} \times \biggl[ {\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {u - u_{\xi_{0} ,2\theta\rho} - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr) \bigl( \xi^{1} - \xi^{1}_{0} \bigr)} \bigr\vert ^{m^{*} }}\,d\xi} \biggr]^{t\frac{m}{m^{\ast}}} \\ &\quad\le \bigl\{ { ( {\theta\rho} )^{2}C_{3} \bigl[ \theta^{-Q-2}\varepsilon+ \theta^{2} \bigr]} { \bigl[ {\Phi( \xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr]} \bigr\} ^{(1 - t)\frac{m}{2}} \\ &\qquad{} \times \biggl( {{C_{p}^{m}}(2\theta \rho)^{m}{ \fint _{B_{2\theta\rho} (\xi_{0} )} \bigl\vert {Xu - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr)} \bigr\vert ^{m}} }\,d\xi \biggr)^{t} \\ &\quad\le \bigl( {\varepsilon^{ - t}}(2C_{p})^{mt} \bigr)^{\frac{1}{1 - t}} \bigl\{ { ( {\theta\rho} )^{2}C_{3} \bigl[\theta^{-Q-2}\varepsilon+ \theta^{2} \bigr]} \\ &\qquad{}\times{ \bigl[ { \Phi(\xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr]} \bigr\} ^{\frac{m}{2}} \\ &\qquad{}+ \varepsilon(\theta\rho)^{m}\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {Xu - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr)} \bigr\vert ^{m}}\,d\xi \\ &\quad\le \bigl( {\varepsilon^{ - t}}(2C_{p})^{mt} \bigr)^{\frac{1}{1 - t}} ( {C_{3} } )^{\frac{m}{2}} { ( {\theta\rho} )}^{m} \bigl[\theta^{-Q-2}\varepsilon+ \theta^{2} \bigr] \\ &\qquad{}\times\bigl[ {\Phi (\xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr] \\ &\qquad{}+ \varepsilon(\theta\rho)^{m}\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {Xu - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr)} \bigr\vert ^{m}}\,d\xi, \end{aligned}$$
(4.20)
here we have used the assumption \(\sigma^{2}C_{4} \le1\). Furthermore, we obtain the estimate for the term \(II''\),
$$\begin{aligned} II''\le{}&C_{c}\omega_{G} ( {2 \theta\rho} )^{Q} \bigl( {\varepsilon^{ - t}}(2C_{p})^{mt} \bigr)^{\frac{1}{1 - t}} ( {C_{3} } )^{\frac{m}{2}} \bigl[ \theta^{-Q-2}\varepsilon+ \theta ^{2} \bigr] \\ &{}\times \bigl[ {\Phi(\xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr] \\ &{}+ \varepsilon C_{c} \int_{B_{2\theta\rho} (\xi_{0} )} { \bigl\vert {Xu - \bigl((Xu)_{\xi_{0} , \rho} + \sigma(Xh)_{\xi_{0} ,2\theta\rho} \bigr)} \bigr\vert ^{m}}\,d\xi. \end{aligned}$$
(4.21)
Also, (4.17) and (4.18) yield
$$\begin{aligned} III'' \le{}& C_{c} \omega_{{G}} (2\theta\rho)^{Q} \bigl[ {K_{1} \bigl(1 + |u_{\xi _{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl((2\theta\rho)^{2} \bigr) } \bigr] \\ \le{}&C_{c} \omega_{G} (2\theta\rho)^{Q}F \bigl(1+|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl((2\theta \rho)^{2} \bigr). \end{aligned}$$
Using the Poincaré type inequality, we have
$$\begin{aligned} & \biggl[ {\fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl( {|Xu|^{m} + |u|^{r} + 1} \bigr)}\,d\xi} \biggr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\quad\le \biggl[ {2^{m - 1} \fint _{B_{2\theta\rho} (\xi_{0} )} { \bigl( {\bigl|Xu - (Xu)_{\xi_{0} ,\rho} \bigr|^{m} } \bigr)}\,d\xi} \biggr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} + \bigl( {2^{m - 1} \bigl|(Xu)_{\xi_{0} ,\rho} \bigr|^{m} } \bigr)^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\qquad{}+ \biggl[ {\fint _{B_{2\theta\rho} (\xi_{0} )} {2^{r - 1} \bigl( {\bigl|u - u_{\xi_{0} ,\rho} - (Xu)_{\xi_{0} ,\rho} \bigl(\xi^{1} - \xi_{0}^{1} \bigr)\bigr|^{r} } \bigr)}\,d\xi} \biggr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\qquad{}+ \bigl[ { \bigl( {1 + 2^{r - 1} \bigl|u_{\xi_{0} ,\rho} + (Xu)_{\xi_{0} ,\rho} \bigl(\xi^{1} - \xi_{0}^{1} \bigr)\bigr|^{r} } \bigr)} \bigr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\quad\le C \biggl[ (2\theta)^{ - Q}{\fint _{B_{\rho}(\xi_{0} )} { \bigl( {\bigl|Xu - (Xu)_{\xi_{0} ,\rho} \bigr|^{m} } \bigr)}\,d\xi} \biggr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} + \bigl( {2^{m - 1} \bigl|(Xu)_{\xi_{0} ,\rho} \bigr|^{m} } \bigr)^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\qquad{}+ C \biggl[ (2\theta)^{ - Q}{\fint _{B_{\rho}(\xi_{0} )} {\bigl|Xu - (Xu)_{\xi_{0} ,\rho} \bigr|^{m} }\,d\xi} \biggr]^{\frac{{r - 1}}{{m - 1}}} + \bigl[ { \bigl( {1 + 2^{r - 1} \bigl|u_{\xi_{0} ,\rho} + (Xu)_{\xi_{0} ,\rho} \bigr|^{r} } \bigr)} \bigr]^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\quad\le C \bigl[ {(2\theta)^{ - Q} \Phi(\xi_{0} ,\rho)} \bigr]^{\frac {{m(r - 1)}}{{r(m - 1)}}} + C \bigl( {1 + |u_{\xi_{0} ,\rho} | + \bigl|(Xu)_{\xi_{0} ,\rho} \bigr|} \bigr)^{\frac{{m(r - 1)}}{{r(m - 1)}}} \\ &\quad\le C \bigl( {2 + |u_{\xi_{0} ,\rho} | + \bigl|(Xu)_{\xi_{0} ,\rho} \bigr|} \bigr)^{\frac{{m(r - 1)}}{{r(m - 1)}}} , \end{aligned}$$
(4.22)
where in the last inequality we have used the fact \((2\theta)^{ - Q} \Phi(\xi_{0} ,\rho)\le1\), implied by the assumption \(\sigma^{2}C_{4}\le 1\) with \(C_{4} = \max\{C_{0} ,(2\theta)^{-Q}\}\). In view of \(\frac{m{(r - 1)}}{{m - 1}} + \frac{m^{2}}{{m - 1}}(1 - \frac{1}{r}) < \frac{{2m(r - 1)}}{{m - 1}}\), we have
$$ {IV}'' \le C \omega_{{G}} ( {2\theta\rho} )^{Q }F^{\frac {m}{r(m-1)}} \bigl( {1+\vert {u_{\xi_{0} ,\rho} } \vert , \bigl\vert {(Xu)_{\xi_{0} , \rho}} \bigr\vert } \bigr)\eta \bigl( {(2\theta\rho)^{\frac {m}{m-1}} } \bigr), $$
(4.23)
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 ( {(2\theta\rho)^{\frac {m}{m-1}} } )\).
Joining the estimates of \(I''\), \(II''\), \(III''\), and \(IV''\) with (4.16), we obtain
$$\begin{aligned} & \int_{B_{\theta\rho} (\xi_{0} )} { \bigl\vert {Xu - (Xu)_{\xi_{0} , \rho} - \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr\vert ^{2}}\,d\xi \\ &\qquad{}+ (1 - C_{c}\varepsilon) \int_{B_{\theta\rho} (\xi_{0} )} { \bigl\vert {Xu - (Xu)_{\xi_{0} , \rho} - \sigma(Xh)_{\xi_{0} ,2\theta\rho} } \bigr\vert ^{m}}\,d\xi \\ &\quad\le C_{c}(C_{3})^{\frac{m}{2}} \omega_{G}(2 \theta\rho)^{Q} \bigl[ { \bigl( {(2C_{p})^{mt} \varepsilon^{ - t}} \bigr)^{\frac{1}{1 - t}} + 1} \bigr] \bigl[ \theta^{-Q-2}\varepsilon+ \theta^{2} \bigr] \\ &\qquad{}\times \bigl[ {\Phi(\xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr] \\ &\qquad{}+ C_{c} \omega_{G} (2\theta \rho)^{Q}F^{2} \bigl(|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl((2\theta \rho)^{2} \bigr) \\ &\qquad{}+ C \omega_{{G}} ( {2\theta\rho} )^{Q }F^{\frac {m}{r(m-1)}} \bigl( {1+\vert {u_{\xi_{0} ,\rho} } \vert , \bigl\vert {(Xu)_{\xi_{0} , \rho}} \bigr\vert } \bigr)\eta \bigl( {(2\theta \rho)^{\frac {m}{m-1}} } \bigr) \\ &\quad\le C_{5} \omega_{G} (2\theta\rho)^{Q} \bigl[ \theta^{-Q-2}\varepsilon+ \theta^{2} \bigr] \bigl[ { \Phi( \xi_{0} ,\rho) + 4\delta^{ - 2} {F^{2} \bigl(| {u_{\xi_{0} , \rho} } |, \bigl\vert (Xu)_{\xi_{0} , \rho} \bigr\vert \bigr)\eta \bigl(\rho^{2} \bigr) } } \bigr] \\ &\qquad{}+ C \omega_{G} (2\theta\rho)^{Q}F^{2} \bigl(1+|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl( { \rho^{\frac{m}{m-1}} } \bigr), \end{aligned}$$
where \(C_{5}=C_{c}(C_{3})^{\frac{m}{2}} [ { ( {(2C_{p})^{mt}\varepsilon^{ - t}} )^{\frac{1}{1 - t}} + 1} ]>1\).
We set \(P =(Xu)_{\xi_{0} , \rho}+\sigma(Xh)_{\xi_{0} ,2\theta\rho }\). Choosing a suitable small \(\varepsilon>0\) such that \((1 - C_{c}\varepsilon)>0\), and considering the smallness condition (4.10) (it implies \(\rho\le\rho_{1} (\vert u_{\xi_{0} , 2\theta\rho} \vert,\vert P\vert)\), see (4.17) and (4.18) above), we deduce that
$$\begin{aligned} &\Phi \bigl(\xi_{0} ,\theta\rho,(Xu)_{\xi_{0} ,\theta\rho} \bigr) \\ &\quad= \fint _{B_{\theta\rho} (\xi_{0} )} \bigl( \bigl\vert {Xu -(Xu)_{\xi _{0},\theta\rho} } \bigr\vert ^{2} + \bigl\vert {Xu -(Xu)_{\xi_{0},\theta\rho} } \bigr\vert ^{m} \bigr)\,d\xi \\ &\quad\le \fint _{B_{\theta\rho} (\xi_{0} )} { \bigl(\vert {Xu - P} \vert ^{2} + \vert {Xu - P} \vert ^{m} \bigr)\,d\xi} \\ &\quad\le C_{6} \bigl[\theta^{-Q-2}\varepsilon+ \theta^{2} \bigr] \bigl[ {\Phi \bigl(\xi_{0} , \rho,(Xu)_{\xi_{0} , \rho} \bigr) +4\delta^{ -2}\eta \bigl( \rho^{2} \bigr)F^{2} \bigl(| {u_{\xi_{0} ,\rho}}|, \bigl|{(Xu)_{\xi_{0} , \rho } }\bigr| \bigr)} \bigr] \\ &\qquad{}+ C_{6} F^{2} \bigl(1+|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl( {\rho^{\frac{m}{m-1}} } \bigr), \end{aligned}$$
(4.24)
where \(C_{6}=\frac{C_{5}2^{Q}}{ [1-C_{c}\varepsilon ]}>1\).
For a given \(\tau\in[\gamma,1)\), we now specify \(\varepsilon= \theta^{Q + 4}\), \(\theta\in(0,1 / 4]\) such that \(2C_{6}\theta^{2} \le\theta^{2\tau}\). Then we have
$$\begin{aligned} \Phi (\xi_{0} ,\theta\rho ) &\le \theta^{2\tau}\Phi( \xi_{0} ,\rho)+ \bigl(8C_{6}\theta^{2} \delta^{ - 2}+C_{6} \bigr)F^{2} \bigl(1+|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl( { \rho^{\frac{m}{m-1}} } \bigr) \\ &\le \theta^{2\tau}\Phi(\xi_{0} ,\rho)+ C_{7}F^{2} \bigl(1+|u_{\xi_{0} ,\rho} |,1 + \bigl|(Xu)_{\xi_{0} , \rho} \bigr| \bigr)\eta \bigl( { \rho^{\frac{m}{m-1}} } \bigr) \\ &:= \theta^{2\tau}\Phi(\xi_{0} ,\rho)+ K^{*} \bigl(|u_{\xi_{0} ,\rho} |,\bigl|(Xu)_{\xi_{0} ,\rho}\bigr| \bigr) \eta \bigl( { \rho^{\frac{m}{m-1}} } \bigr), \end{aligned}$$
(4.25)
where \(C_{7}=8C_{6}\theta^{2}\delta^{ - 2}+C_{6}>1\) and \(K^{*}(s,t)=C_{7}F^{2}(1+s, 1+ t)\). Then the proof of Lemma 5 is complete. □
For \(T > 0\), we find \(\Phi_{0} (T) > 0\) (depending on Q, N, λ, L, τ, and ω) such that
$$\begin{aligned}& \omega^{\frac{1}{m}} \bigl(2T,2\Phi_{0}(T) \bigr) + 2 \Phi_{0}^{\frac{1}{2}} (T) \le \frac{1}{2}\delta \quad \mbox{and} \end{aligned}$$
(4.26)
$$\begin{aligned}& 2(1+\sqrt{C_{p}}) \sqrt{\Phi_{0} (T)} \le \theta^{Q/2} \bigl(1 - \theta^{\tau}\bigr)T. \end{aligned}$$
(4.27)
With \(\Phi_{0} (T)\) from (4.26) and (4.27), we choose \(\rho_{0} (T) \in(0,1]\) (depending on Q, N, λ, L, τ, ω, η, and κ) such that
$$\begin{aligned}& \rho_{0} (T) \le\rho^{m/2} _{1} (1 + 2T,1 + 2T), \end{aligned}$$
(4.28)
$$\begin{aligned}& C_{2} F^{2} (2T,2T)\eta \bigl( \rho_{0} (T)^{2} \bigr) \le\delta^{2}, \end{aligned}$$
(4.29)
$$\begin{aligned}& K_{0} (T)\eta \bigl(\rho_{0} (T) ^{2} \bigr) \le \bigl(\theta^{2\gamma} - \theta^{2\tau } \bigr) \Phi_{0} (T) \quad\mbox{and} \end{aligned}$$
(4.30)
$$\begin{aligned}& 2(1 + C_{p} )K_{0} (T)H \bigl( \rho_{0} (T)^{2} \bigr) \le\theta^{Q} \bigl(1 - \theta^{\gamma}\bigr)^{2} \bigl(\theta^{2\gamma} - \theta^{2\tau} \bigr)T^{2}, \end{aligned}$$
(4.31)
where \(K_{0} (T): = K^{*}(2T,2T)\).

By the proof method of Lemma 5.1 in [12] and conditions (4.26)-(4.31), Lemma 6 can be proved. As we know, it is sufficient to complete the proof of Theorem 1 once we obtain Lemma 6.

Lemma 6

Assume that for some \(T_{0} > 0\) and \(B_{\rho}(\xi_{0} ) \subset\subset \Omega\) we have
  1. (1)

    \(\vert {u_{\xi_{0} ,\rho} } \vert + \vert { ( {Xu} )_{\xi _{0} ,\rho} } \vert \le T_{0} \);

     
  2. (2)

    \(\rho\le\rho_{0} (T_{0} )\);

     
  3. (3)

    \(\Phi(\xi_{0} ,\rho) \le\Phi_{0} (T_{0} )\).

     
Then the smallness conditions (4.8)-(4.10) are satisfied on the balls \(B_{\theta^{j}\rho} (\xi_{0} )\) for \(j \in\mathrm{N} \cup \{0\}\). Moreover, the limit \(\Lambda_{\xi_{0} } = \lim_{j \to\infty} ( {Xu} )_{\xi_{0} ,\theta^{j}\rho } \) exists, and the estimate
$$\fint _{B_{\rho}(\xi_{0} )} {\vert {Xu - \Lambda_{\xi_{0} } } \vert } ^{2}\,d\xi\le C_{8} \biggl( { \biggl( {\frac{r}{\rho}} \biggr)^{2\tau}\Phi (\xi_{0} ,\rho) + H \bigl(r^{2} \bigr)} \biggr) $$
holds for \(0 < r \le\rho\) with a constant \(C_{8} = C_{8} (Q,N,\lambda ,L,\tau,T_{0} )\).

Proof

The proof is very similar to the proof of Lemma 5.1 in [12]. We omit it here. □

Declarations

Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions. This paper was supported by the National Natural Science Foundation of China (No. 11201081), and supported by the Natural Science Foundation of Jiangxi Province (No. 20142BAB201001).

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.

Authors’ Affiliations

(1)
School of Mathematics and Computer Science, Gannan Normal University

References

  1. 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) View ArticleMathSciNetMATHGoogle Scholar
  2. Wang, J, Liao, D: Optimal partial regularity for sub-elliptic systems with sub-quadratic growth in Carnot groups. Nonlinear Anal. TMA 75, 2499-2519 (2012) View ArticleMathSciNetMATHGoogle Scholar
  3. De Giorgi, E: Un esempio di estremali discontinue per un problem variazionale di upo ellitico. Boll. Unione Mat. Ital. 4, 135-137 (1968) Google Scholar
  4. Giaquinta, M: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. Princeton University Press, Princeton (1983) MATHGoogle Scholar
  5. Chen, Y, Wu, L: Second Order Elliptic Equations and Elliptic Systems. Science Press, Beijing (2003) Google Scholar
  6. Duzaar, F, Steffen, K: Optimal interior and boundary regularity for almost minimizers to elliptic variational integrals. J. Reine Angew. Math. 546, 73-138 (2002) MathSciNetMATHGoogle Scholar
  7. Duzaar, F, Grotowski, JF: Partial regularity for nonlinear elliptic systems: the method of A-harmonic approximation. Manuscr. Math. 103, 267-298 (2000) View ArticleMathSciNetMATHGoogle Scholar
  8. 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) View ArticleMathSciNetMATHGoogle Scholar
  9. Duzaar, F, Mingione, G: The p-harmonic approximation and the regularity of p-harmonic maps. Calc. Var. Partial Differ. Equ. 20, 235-256 (2004) View ArticleMathSciNetMATHGoogle Scholar
  10. 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) View ArticleMathSciNetMATHGoogle Scholar
  11. 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) View ArticleMathSciNetMATHGoogle Scholar
  12. Duzaar, F, Gastel, A: Nonlinear elliptic systems with Dini continuous coefficients. Arch. Math. 78, 58-73 (2002) View ArticleMathSciNetMATHGoogle Scholar
  13. Duzaar, F, Gastel, A, Mingione, G: Elliptic systems, singular sets and Dini continuity. Commun. Partial Differ. Equ. 29, 1215-1240 (2004) View ArticleMathSciNetMATHGoogle Scholar
  14. 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) View ArticleMATHGoogle Scholar
  15. Domokos, A: On the regularity of subelliptic p-harmonic functions in Carnot groups. Nonlinear Anal. TMA 69, 1744-1756 (2008) View ArticleMathSciNetMATHGoogle Scholar
  16. Domokos, A: Differentiability of solutions for the non-degenerate p-Laplacian in the Heisenberg group. J. Differ. Equ. 204, 439-470 (2004) View ArticleMathSciNetMATHGoogle Scholar
  17. Domokos, A: On the regularity of p-harmonic functions in the Heisenberg group. Ph.D. thesis, University of Pittsburgh (2004) Google Scholar
  18. Capogna, L: Regularity of quasi-linear equations in the Heisenberg group. Commun. Pure Appl. Math. 50, 867-889 (1997) View ArticleMathSciNetMATHGoogle Scholar
  19. Capogna, L: Regularity for quasilinear equation and 1-quasiconformal maps in Carnot groups. Math. Ann. 313, 263-295 (1999) View ArticleMathSciNetMATHGoogle Scholar
  20. Manfredi, J, Mingione, G: Regularity results for quasilinear elliptic equations in the Heisenberg group. Math. Ann. 339, 485-544 (2007) View ArticleMathSciNetMATHGoogle Scholar
  21. Mingione, G, Zatorska-Goldstein, A, Zhong, X: Gradient regularity for elliptic equations in the Heisenberg group. Adv. Math. 222, 62-129 (2009) View ArticleMathSciNetMATHGoogle Scholar
  22. 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) View ArticleMathSciNetMATHGoogle Scholar
  23. Shores, E: Regularity theory for weak solutions of systems in Carnot groups. Ph. D. thesis, University of Arkansas (2005) Google Scholar
  24. Föglein, A: Partial regularity results for sub-elliptic systems in the Heisenberg group. Calc. Var. Partial Differ. Equ. 32, 25-51 (2008) View ArticleMATHGoogle Scholar
  25. Lu, G: The sharp Poincaré inequality for free vector fields: an endpoint result. Rev. Mat. Iberoam. 10, 453-466 (1994) View ArticleMATHGoogle Scholar

Copyright

© Wang and Liao 2016