#### Optimal partial regularity of very weak solutions to nonhomogeneous A-harmonic systems

Zhao and Chen Journal of Inequalities and Applications
Optimal partial regularity of very weak solutions to nonhomogeneous A-harmonic systems
Qing Zhao
Shuhong Chen
We study partial regularity of very weak solutions to some nonhomogeneous A-harmonic systems. To obtain the reverse Hölder inequality of the gradient of a very weak solution, we construct a suitable test function by Hodge decomposition. With the aid of Gehring's lemma, we prove that these very weak solutions are weak solutions. Further, we show that these solutions are in fact optimal Hölder continuity based on A-harmonic approximation technique.
nonhomogeneous A-harmonic systems; very weak solution; optimal partial regularity; Hodge decomposition; A-harmonic approximation technique
1 Introduction
A-harmonic systems of the following type:
– div A(x, u, Du) = f (x),
where u :
→ RN is a vector-valued function on a bounded domain
⊂ Rn (n ≥ ), and
A(x, u, ξ ) ≤ β + |ξ | p–
such that
Dξ A(x, u, ξ )ζ · ζ ≥ α + |ξ | p– |ζ |
for all x ∈ , u ∈ RN , and ξ , ζ ∈ RnN ;
γ p
A(x, u, ξ ) – A(x˜, u˜ , ξ ) ≤ K |u| |x – x˜|p + |u – u˜ |p p + |ξ |
A direct consequence of this result follows immediately.
– = ∪ ,
= x ∈
Du – (Du)x,R p dx >
= x ∈
: lim sup |ux,R| + (Du)x,R = ∞ .
R→+
Moreover, we have | – | = .
2 Preliminary lemmas
Before proving the results, we state a few useful lemmas.
The first one is a stability result of the Hodge decomposition, from which we could
construct a suitable test-function concerning estimates below the natural exponent for (.).
< , we have the inequality
In the end of this section, we shall introduce a form of Gehring’s lemma, which plays
an important role in the proof of Theorem . It implies in particular that from it higher
integrability of g(x) follows.
BR/(x)
g(x) p dx + C∗
BR/(x)
≤ C∗
+ C∗
3 Proof of the main theorems
In this section, we give a proof of partial regularity results. Consider u solving (.) on
BR(x) , where we restrict < R < R < min{, dist(x, ∂ )}.
3.1 Proof of Theorem 1
where h satisfies
D(ηv) –εD(ηv) = Dφ + h,
h p––εε ≤ Cr( , N )ε D(ηv) p––εε.
≤ CCPp–ε Dv p–ε + Dv p–ε –ε
In view of (.) and (.), we have
h p––εε ≤ Cε Dv p––εε,
where C = Cr( , N )( + CCPp–ε ).
In particular, combining (.) and (.), we find
D(ηv) –εD(ηv) – h p–ε
–ε
D(ηv) –εD(ηv) p–ε + h p––εε
–ε
≤ D(ηv) p––εε + Cr( , N )ε D(ηv) p––εε
Substituting (.) into this estimate, we have
Dφ p––εε ≤ C Dv p––εε,
where C = ( + Cr( , N )ε)( + CCPp–ε ).
which by Lemma yields
E(η, v) ≤ ε –+ εε |vDη|–ε.
Dφ = E(η, v) + |ηDv|–εηDv – h.
A(x, u, Du) · h dx – ˆ
Combining this equality with (.), we find
A(x, u, Du) · h dx
= ˆ
= – ˆ
≤ I + I + I + I,
I = –
I =
A(x, u, Du) · h dx ;
which can be deduced from (H) immediately.
Then we infer that
BR/(x)
I ≤
≤ β + |p| p– ˆ
≤ β + |p| p– ˆ
ε|Du – p|p–ε + ε– p––ε p– dx
p–ε
By (H) we have
I ≤
A(x, u, Du) |h| dx
≤
|Du – p|
I ≤
|Du – p|
|Du – p|
+ |Du – p + p|
+ |p|
+ |Du – p|
|Du – p|
p– ˆ
|h| dx + p–β + |p|
|h| dx.
|Du – p|
|Du – p|
|Du – p|
|Du – p|
|Du – p|
+ |Du|
+ |p|
+ |Du – p|
+ |p|
+ |Du – p|
I ≤
Denoting βε +ε ( C )–εp– by C, we have
–ε R
p–ε p–ε
Using Young’s inequality with exponents –ε and p–
and Poincaré’s inequality with
con
K ≤
|Du – p|
Letting p =
n(p–ε)
and q = (n–p+)(–ε) , we see that < p < ∞, < q < ∞, and
= .
With the aid of Hölder’s inequality, we can estimate
K ≤
|Du – p|
|v| n–p+ dx
Now we set p =
constant Cs, we get
. Then
. Using the Sobolev-Poincaré inequality with
K ≤ Cs
≤ Cs
I ≤ C + |p| εCP
|Du – p|
+ C + |p|
Finally, we estimate I. Using Hölder’s inequality with exponents
I ≤
Setting p =
, we have
can apply the Sobolev-Poincaré inequality to get
|Du – p|
|Du – p|
. (.)
I ≤ Cs
I ≤ CsC
BR/(x)
|Du – p|
+ C + |p|
|Du – p|
|Du – p|
|Du – p|
|Du – p|
|Du – p|
BR/(x)
Rearranging this inequality, we have
|Du – p|
|Du – p|
+ C( + |p| ) ε
, and C = α (β( + |p| ) ε
p–
+ p–β( + |p|) Cε ×
BR/(x)
BR/(x)
|Du – p|r dx
BR/(x)
where C = α CCs–ε(αnRn) p–ττ–ε .
n p–
|Du – p|r dx + C
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to writing of this paper. Both authors read and approved the final manuscript.
Acknowledgements
The authors would like to thank the anonymous referee for careful reading the manuscript and valuable comments. This
work was supported by the National Natural Science foundation of China under Grant No. 11571159.
1. Gehring , FW: The Lp-integrability of the partial derivatives of a quasiconformal mapping . Acta Math . 130 , 265 - 277 ( 1973 )
2. Meyers , N, Elcrat , A: Some results on regularity for solutions of non-linear elliptic systems and quasi-regular functions . Duke Math. J . 42 ( 1 ), 121 - 136 ( 1975 )
3. Meyers , N: An Lp-estimate for the gradient of solutions of second order elliptic divergence equations . Ann. Sc. Norm. Super. Pisa, Cl. Sci . 17 , 189 - 206 ( 1963 )
4. Lewis , JL: On the very weak solutions of certain elliptic systems . Commun. Partial Differ. Equ . 18 , 1515 - 1537 ( 1993 )
5. Iwaniec , T, Sbordone , C: Weak minima of variational integrals . J. Reine Angew. Math. 454 , 143 - 161 ( 1994 )
6. Giachetti , D, Leonetti, F, Schiachi , R : On the regularity of very weak minimal . Proc. R. Soc. Edinb. A 126 , 287 - 296 ( 1996 )
7. Tong , YX, Gu, JT, Xu, XJ : Regularity for very weak solutions to A-harmonic equation . Appl. Math. J. Chin. Univ. Ser. A 24 ( 3 ), 319 - 323 ( 2009 )
8. Greco , L, Iwaniec, T, Sbordone , C: Inverting the p-harmonic operator . Manuscr. Math. 92 , 249 - 258 ( 1997 )
9. De Giorgi , E: Frontiere orientate di misura minima . Seminaro Mat. Scuola Norm. Sup. Pisa. Editrice Tecnico Scientifica , Pisa ( 1961 )
10. De Giorgi , E: Un esempio di estremali discontinue per un problema variazionale di tipo ellitico . Boll. Unione Mat. Ital . 4 , 135 - 137 ( 1968 )
11. Giusti , E, Miranda, M: Sulla regolarità delle soluzioni deboli di una classe di sistemi ellittici quasi-lineari . Arch. Ration. Mech. Anal . 31 , 173 - 184 ( 1968 )
12. Iwaniec , T, Migliaccio, L, Nania, L, Sbordone, C: Integrability and removability results for quasiregular mappings in high dimensions . Math. Scand. 75 ( 2 ), 263 - 279 ( 1994 )
13. Giaquinta , M: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems . Princeton University Press, Princeton ( 1983 )
14. Chen , SH, Tan , Z: Optimal interior partial regularity for nonlinear elliptic systems under the natural growth condition: the method of A-harmonic approximation . Acta Math. Sci. 27B(3) , 491 - 508 ( 2007 )