1 Introduction
The aim of this paper is to consider the following quasilinear elliptic systems with VMO discontinuous coefficients under natural growth:
$$ -\sum_{\alpha,\beta=1}^{n}\sum _{j=1}^{N}D_{\alpha}\bigl(A_{ij}^{\alpha\beta }(x,u)D_{\beta}u^{j}\bigr)=B_{i}(x,u,Du),\quad\text{a.e. } x\in\Omega, i=1,\ldots,N, $$
(1.1)
with Ω a bounded domain of
\(\mathbb{R}^{n} \) for
\(n\ge2\). Here, we assume that
\(B(x,u,Du)=(B_{i}(x,u,Du))\) takes a value in
\(\mathbb{R}^{N} \) with
\(N\ge1\) and
\(A(x,u)=(A_{ij}^{\alpha\beta }(x,u))\) takes a value in
\(\mathbb{R}^{n^{2}N^{2}}\). In the context, we adopt Einstein’s convention by summing over repeated indices with
\(\alpha,\beta=1,2,\ldots,n\) and
\(i,j=1,2,\ldots,N\), then one can briefly rewrite (
1.1) by
$$ -\operatorname {div}\bigl(A(x,u)Du\bigr)=B(x,u,Du),\quad \text{a.e. } x\in\Omega. $$
(1.2)
Consequently, we rewrite a vectorial-valued function
\(u\in W_{\mathit{loc}}^{1,2}(\Omega,\mathbb{R}^{N})\) to be a weak solution of the systems (
1.1) in the sense of distribution as follows.
$$ \int_{\Omega}A(x,u)Du\cdot D\varphi\, dx= \int_{\Omega}B(x,u,Du)\varphi \,dx,\quad\forall\varphi\in C_{0}^{\infty}\bigl(\Omega,\mathbb{R}^{N}\bigr). $$
(1.3)
As we know, it is very necessary that some structural and regular assumptions are imposed on the tensorial-valued operator
\(A(x,u)\) and the inhomogeneity
\(B(x,u,Du)\). Here, we suppose that the uniformly elliptic operator
\(A(x,u)\) satisfies a VMO-condition in a.e.
\(x\in \Omega\) uniformly with respect to
\(u\in\mathbb{R}^{N}\) and is continuous in
u uniformly with respect to
\(x\in\Omega\), and
\(B(x,u,D u)\) satisfies the natural growth. More precisely, let us first recall some related notations.
We are now in a position to state the assumptions which are imposed on
\(A(x,u)\) and
\(B(x,u,Du)\) as follows:
-
H1 (Uniform ellipticity) There exist two constants
\(0<\lambda\le\Lambda\) such that
$$ \lambda \vert \xi \vert ^{2}\le A^{\alpha\beta}_{ij}(x,u) \xi_{\alpha}^{i}\xi _{\beta}^{j}\le\Lambda \vert \xi \vert ^{2} , \quad\forall x\in\Omega, u\in{\mathbb {R}}^{N}, \xi\in{\mathbb {R}}^{nN}. $$
(1.4)
-
H2 (Minimal regularity on
\(A(x,u)\)) Suppose that
\(A(\cdot ,u)\) is VMO in
x with uniformly respect to
\(u\in\mathbb{R}^{N}\) and is continuous in
u with uniformly respect to
\(x\in\Omega\). That is,
\(\lim_{s\rightarrow{0}}M_{s}(A(\cdot,u_{0}))=0\), and there exist a constant
C and a continuous concave function
1
\(\omega:\mathbb {R}^{+}\rightarrow\mathbb {R}^{+}\) with
\(\omega(0)=0\),
\(0\leq\omega\leq 1\), such that
$$ \bigl\vert A^{\alpha\beta}_{ij}(x,u)-A^{\alpha\beta}_{ij}(x,v) \bigr\vert \leq C\omega\bigl(\vert u-v\vert ^{2}\bigr), \quad \forall u, v \in {\mathbb {R}}^{N}, x\in\Omega. $$
(1.5)
-
H3 (Natural growth) The lower order term
\(B(x,u,Du)\) satisfies the following natural growth: for
\(u\in W^{1,2}\cap L^{\infty}(\Omega,\mathbb{R}^{N})\) with
\(M=\Vert u\Vert _{L^{\infty}(\Omega)}\), we have
$$ \bigl\vert B_{i}(x, u, D u)\bigr\vert \le\mu(M) \bigl( \vert D u\vert ^{2}+f^{i}(x) \bigr),\quad i=1, 2, \ldots, N, $$
(1.6)
with
$$2\mu(M)M< \lambda,\quad \text{and} \quad f^{i}\in L^{q}(\Omega) \quad \text{with } q>\frac{n}{2}. $$
Before stating the main conclusion, let us first briefly review some recent studies involving related problems. Note that the discontinuous coefficient is not so crucial for Hölder continuity of the weak solutions to the scalar partial differential equations, which is due to the famous De Giorgi-Moser-Nash iterative technique; see [
1]. However, in the case of
\(N>1\) one cannot in general expect that the weak solutions will be classical
\(C^{\alpha}\) solutions with some
\(0<\alpha\le1\), which was first shown by a counterexample from De Giorgi’s work [
2], also see Giaquinta’s monograph [
3]. For the systems (
1.1), Giaquinta and Modica [
3,
4] first studied partial regularity of their weak solutions in the Morrey space and in the Campanato space [
3,
5] when each entry of the leading coefficients
\(A(x,u)\) is assumed to be continuous.
However, it is an important observation that many stochastic processes with discontinuous coefficients reappeared in connected with the diffusion approximation [
6], which reminds us of the significance to treat particular cases of discontinuity. Sarason [
7] in 1975 introduced the function spaces of the vanishing mean oscillations (briefly called VMO), which not only contains discontinuous functions but also owns a good property similar to the class of continuous functions that is not shared by general bounded measurable functions. In recent years, Calderón-Zygmund’s theory of linear and nonlinear PDEs with VMO coefficients was immensely developed, which naturally originated from the singular integral operators and the estimates of commutators with a VMO function [
8,
9]. In the meantime, Morrey’s regularity of the weak solutions of elliptic and parabolic PDEs with the discontinuous leading coefficients was also investigated in a similar approach by Di Fazio and Ragusa [
10] and Fan
et al. [
11]. Among them there are some main different arguments to deal with elliptic and parabolic PDEs with VMO leading coefficients, for example a few celebrated approaches of Chiarenza
et al. [
8], Syun and Wang [
12] and Krylov
et al. [
13,
14].
For the elliptic systems (
1.1), Zheng [
15] and Zheng and Feng [
16] derived an optimal partial regularity in Morrey spaces by using a reverse Hölder inequality and perturbation argument when
\(A(x,u)\) is VMO in
\(x\in\Omega\) and continuous in
\(u\in\mathbb {R}^{N}\) with controllable growth and natural growth, respectively. On the other hand, Chen and Tan [
17] got an interior partial regularity for the nonlinear elliptic systems with controllable growth by the A-harmonic approximation, but their principal coefficients
\(A(x,u,Du)\) are essentially Hölder continuous in
\((x,u)\). Inspired by those achievements, in this paper we will provide an alternative approach to get Hölder continuity with an optimal Hölder exponent for the quasilinear elliptic systems (
1.1) with VMO coefficients under the natural growth (
cf. [
15]). Here, we simply employ a modification of the A-harmonic approximation argument based on Duzaar and Grotowski’s technique, which can avoid the use of the reverse Hölder inequality and perturbation approach. As pointed out by Duzaar and Grotowski [
18], the reformulation of the A-harmonic approximation could simplify the proofs of the regularity for PDEs, we here apply the A-harmonic approximation approach to prove the regularity of our previous problem from [
15]. More precisely, we have
We close the introduction with briefly describing the strategy of the proof. At first, we establish the so-called second Caccippoli’s inequality, then we give an estimate to a certain energy functional which measures the oscillations of the solution u except a small excess quantity by the modified A-harmonic approximation. On the basis of the iteration lemma we get the boundedness of the functional, which leads to the desired regularity in points while the excess quantity is small. We believe that this new approach should also be particularly helpful to understand some elliptic and parabolic systems including degenerate settings.
This paper is organized as follows. In Section
2, we recall some notations and basic facts, and we give the so-called Caccioppoli’s inequality. In Section
3 we are devoted to a proof of the main conclusion.
2 Preliminaries
Throughout the paper we adopt the usual convention of denoting by
C a general constant, which may vary from expression to expression in the same chain of inequalities. Let us first establish the so-called second Caccioppoli’s inequality. As we know, Caccioppoli’s inequality is always a standard preliminary tool to obtain the partial regularity to elliptic and parabolic PDEs; see [
3].
We will make use of a modification of the so-called A-harmonic approximation lemma [
19,
20]. Let us first recall the so-called locally A-harmonic.
We should emphasize that
\(A\in \operatorname {Bil}({B_{R}(x_{0})}\times\mathbb {R}^{N},\mathbb{R}^{n^{2}\times N^{2}})\) is a bilinear form with constant tensorial coefficients, therefore it is well known that for any A-harmonic
h we have the following inequality, which is similar to harmonic functions (
cf. [
1,
3]).
Next, we recall the notation of the A-harmonic approximation introduced by Duzaar and Grotowski [
18,
21]. In the sequel, suppose that there exist two constants
\(0<\lambda\le\Lambda<\infty\) such that the bilinear form
\(A\in \operatorname {Bil}({B_{R}(x_{0})}\times\mathbb{R}^{N},\mathbb {R}^{n^{2}\times N^{2}})\) satisfies
$$ A^{\alpha\beta}_{ij}(x,u)\xi_{\alpha}^{i} \xi_{\beta}^{j}\geq\lambda \vert \xi \vert ^{2},\quad \text{for all }\xi\in\mathbb{R}^{nN}, $$
(2.4)
$$ A^{\alpha\beta}_{ij}(x,u)\xi_{\alpha}^{i} \bar{\xi}_{\beta}^{j}\leq \Lambda \vert \xi \vert \vert \bar{ \xi} \vert ,\quad \text{for all }\xi,\bar{\xi} \in\mathbb{R}^{nN}. $$
(2.5)
In the main proof, as a main approach we will employ the following modification of the A-harmonic approximation [
19,
20].
To give a Hölder estimate to the solution by using Morrey’s lemma we employ the following iterating lemma; see [
3].
In the process of proving our main results, we need to describe the decay of integral on the ball with respect to the radius
σ. Let us recall the concept of Campanato space; see [
22].
Finally, we need the following estimate lemma of the Hausdorff dimensional measure while estimating the singular set to the weak solution.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed to each part of this work equally, and they all read and approved the final manuscript.