Partial regularity of solutions to a linear elliptic system with quadratic Jacobian structure
Introduction
In this short note, we consider the (partial) regularity of weak solutions to the following elliptic system where , , () is a weak solution, and is a matrix-valued function with entries in . In coordinates, (1.1) reads as Summation convention over repeated index is used throughout.
System (1.2) can be viewed as a “linearization” of the nonlinear elliptic system in , where is quadratic in , i.e. holds for some constant .
System (1.3) includes many important geometric partial differential equations such as the equation of harmonic mappings where is the second fundamental form of the target manifold of in , and the equation of prescribed mean curvature Thus the regularity theory of solutions to system (1.3) is of fundamental importance. A remarkable feature is that the system lies on the borderline of the usual elliptic regularity theory. To see it, let us consider the planar case . If for some , then the elliptic regularity theory implies that , which in turn implies the continuity of the solutions in dimension two. But, due to the growth condition (1.4), it is clear that if is a solution of (1.3), then , which only implies for any . Thus we did not gain any improvement on the regularity of from the usual elliptic regularity theory.
Similarly, for the linear system (1.1) if we merely assume (i.e. ), then weak solutions are not necessarily continuous (or even bounded), see [1] for counterexamples. Thus, in order to gain continuity of weak solutions of (1.1), extra conditions have to be imposed on . For example, it was observed in [2, Theorem VII.4] that when , weak solutions are continuous provided that belongs to the Lorentz space , which is a proper subspace of .
In the ground-breaking work [1] of Rivière, he considered the case and additionally assumed that is antisymmetric, i.e., for all . Under this extra assumption, he successfully extended the conservation law of Hélein [3] to (1.1) (not necessarily with a divergence-free ), by which he proved the continuity of weak solutions of (1.1). Counterexamples (see [1]) shows that the antisymmetry of is crucial. Shortly after [1], Rivière and Struwe [4] considered the regularity problem of (1.1) in dimensions . The well-known example of Rivière [5] implies that in this case even a partial regularity theory cannot be expected in general. As a consequence, to assure that solutions of (1.1) are continuous when , Rivière and Struwe [4] assumed, except that is antisymmetric, that and satisfy the following Morrey-type smallness condition for some : Their results apply in particular to the harmonic mapping equations and the equations of prescribed mean curvature.
In [6], Hajlasz, Strzelecki and Zhong considered system (1.1) in dimension two with a different extra assumption on . More precisely, they proved the following result.
Theorem 1.1 Theorem 1.2, [6] Assume that for all , where and . Then every solution of (1.1) is locally Hölder continuous.
Note that in the above theorem, is not antisymmetric but with better regularity, which is the price that one has to be paid for the lack of antisymmetry.
Motivated by the regularity theory of Rivière and Struwe [4] for (1.1) in dimensions , it is natural to extend Theorem 1.1 to higher dimensions. This is the goal of the present work. Our main result reads as follows.
Theorem 1.2 Let and a solution to system (1.1) with given by where for all and satisfies Then there exists a constant , depending only on , and the functions , such that is locally Hölder continuous in , provided satisfies the Morrey-type smallness growth condition whenever .
Remark 1.3 We have a couple of remarks about Theorem 1.2: Note that when , we can always choose some constant sufficiently small such that (1.8) holds for all at every point. This implies everywhere continuity of and thus recovers Theorem 1.1. If, in particular, is monotonically increasing for and for every , then (1.8) is satisfied outside a closed set satisfying . This implies . As in the case of [6], the Laplace operator in Theorem 1.2 can be replaced by a more general elliptic operator in divergence form. However, this does not change the essential difficulty caused by the right-hand side of (1.2) and thus we do not consider the more general situation for the sake of simplicity. The proof also works without change for the case where with and satisfies for all .
We shall follow the approach of Hajlasz, Strzelecki and Zhong [6] and the idea goes essentially back to Lewis [7]. The advantage of this approach is that the proof is elementary without delicate and deep analytic or geometric tools. In particular, it does not involve conservation law, Uhlenbeck Gauge decomposition, Hodge decomposition etc.
Section snippets
Proof of Theorem 1.2
As in [6], we first establish the following decay estimate.
Proposition 2.1 Let and be given as in Theorem 1.2. There exist sufficiently small and , depending only on and the Sobolev norm of , such that the following hold: if is a solution to (1.1), then for any and any for which (1.8) holds, we have where
Theorem 1.2 follows from Proposition 2.1 via the Dirichlet growth theorem after a
References (8)
Conservation laws for conformally invariant variational problems
Invent. Math.
(2007)- et al.
Partial regularity for harmonic maps and related problems
Comm. Pure Appl. Math.
(2008)
Cited by (0)
- 1
C.-Y. Guo is supported by the Qilu funding of Shandong University, PR China (No. 62550089963197)..