Abstract
We establish the first partial regularity result for local minima of strongly \({\mathscr {A}}\)-quasiconvex integrals in the case where the differential operator \({\mathscr {A}}\) possesses an elliptic potential \({\mathbb {A}}\). As the main ingredient, the proof works by reduction to the partial regularity for full gradient functionals. Specialising to particular differential operators, the results in this paper thereby equally yield novel partial regularity theorems in the cases of the trace-free symmetric gradient, the exterior derivative or the div-curl-operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A variety of minimisation problems which help to model properties of solids or fluids, so e.g. their elastic behaviour, can be stated in terms of non-convex energies. Such energies often do not only depend on the gradients of the quantities of interest (so e.g. the deformations of a material) but certain differential expressions; see [4, 16, 17, 20, 30,31,32,33, 52, 54] for discussions, among others in elasticity and general relativity. Typical examples thereof are given by the symmetric gradients \(\varepsilon (u){:=}\frac{1}{2}(Du+Du^{\top })\) or the trace-free symmetric gradients \(\varepsilon ^{D}(u){:=}\varepsilon (u)-\frac{1}{n}{\text {div}}(u)\mathbb {1}_{n}\) for maps \(u:{\mathbb {R}}^{n}\supset \Omega \rightarrow {\mathbb {R}}^{n}\), and we refer the reader to Sect. 5 for more examples. In this paper we aim to give a unifying partial regularity theory for variational problems involving elliptic differential operators, a theme that we describe now.
Let \(V\cong {\mathbb {R}}^{N}\), \(W\cong {\mathbb {R}}^{l}\) and \(X\cong {\mathbb {R}}^{m}\) be real vector spaces and consider for linear maps \({\mathbb {A}}_{j}:V\rightarrow W\), \(j\in \{1,\ldots ,n\}\), the vectorial differential operator
In addition, we assume that \({\mathbb {A}}\) has constant rank, meaning that the Fourier symbol of \({\mathbb {A}}\) has rank independent of phase space variables \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\); cf. (1.7)ff. below for the requisite background terminology. Given \(1<p<\infty \), let \(F\in {\text {C}}(W)\) be an integrand which satisfies for some constants \(c_{1},c_{2},c_{3}>0\) the standard coerciveness and growth bounds
Given an open and bounded domain \(\Omega \subset {\mathbb {R}}^{n}\), we consider the multiple integral
which is well-defined for maps \(u:\Omega \rightarrow V\) satisfying \({\mathbb {A}}u\in {\text {L}}^{p}(\Omega ;W)\). As usual, we say that \(u\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) is a local minimiser provided \({\mathbb {A}}u\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;W)\) and
EssentiallyFootnote 1 by the foundational work of Fonseca & Müller [30], the requisite lower semicontinuity for \({\mathscr {F}}\) (that is, if \(u,u_{1},\ldots \in {\text {L}}_{{\text {loc}}}^{1}(\Omega ;V)\) satisfy \({\mathbb {A}}u_{j}\rightharpoonup {\mathbb {A}}u\) in \({\text {L}}^{p}(\Omega ;W)\), then \({\mathscr {F}}[u;\Omega ]\leqslant \liminf _{j\rightarrow \infty }{\mathscr {F}}[u_{j};\Omega ]\)) is equivalent to F being \({\mathscr {A}}\)-quasiconvex for an annihilator \({\mathscr {A}}\) of \({\mathbb {A}}\). To describe the underlying terminology, a differential operator
is called an annihilator for \({\mathbb {A}}\) given by (1.1) (and, conversely, \({\mathbb {A}}\) a potential for \({\mathscr {A}}\)) if and only if for each \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\) the associated Fourier symbol complex
is exact at W: \(\ker ({\mathscr {A}}[\xi ])=\mathrm {im}({\mathbb {A}}[\xi ])\). Here,
are the Fourier symbols of \({\mathbb {A}}\) and \({\mathscr {A}}\), respectively. In this situation, we say that \({\mathbb {A}}\) has constant rank if
and this notion equally carries over to \({\mathscr {A}}\). Instructive examples for (1.6) are given by \(({\mathbb {A}},{\mathscr {A}})=(D,{\text {curl}})\), leading to the usual gradient-curl complex or \(({\mathbb {A}},{\mathscr {A}})=(\varepsilon ,{\text {curl}}{\text {curl}})\), leading to the Saint Venant or elasticity complex; see, e.g., [14].
Following [19, 30], given \({\mathscr {A}}\) of the form (1.5), we call an integrand \(F\in {\text {C}}(W)\) \({\mathscr {A}}\)-quasiconvex provided
holds for all \(w\in W\) and \(\psi \in {\text {C}}^{\infty }({\mathbb {T}}^{n};W)\) with \((\psi )_{(0,1)^{n}}=0\) and \({\mathscr {A}}\psi =0\), where \({\mathbb {T}}^{n}\) is the n-dimensional torus (to be tacitly identified with \((0,1)^{n}\)). In the situation where the symbol complex (1.6) is exact for each \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\), it is not too difficult to show that, subject to \({\mathscr {A}}\) having constant rank, (1.9) is equivalent to the \({\mathbb {A}}\)-quasiconvexity
for all open sets \(U\subset {\mathbb {R}}^{n}\), \(w\in W\) and \(\varphi \in {\text {C}}_{c}^{\infty }(U;V)\) (cf. [53, Cor. 6, Lem. 8]). If \({\mathscr {A}}\) has constant rank, then by a recent result due to Raita ( [53, Thm. 1], also see Lemma 3.2 below), there always exists a potential \({\mathbb {A}}\) (not necessarily of first order) for \({\mathscr {A}}\) and so (1.9) and (1.10) are equivalent indeed. In the following, we will primarily work with condition (1.10), tacitly keeping in mind its equivalence with (1.9) in the above sense.
The aforementioned result due to Fonseca & Müller then easily implies the existence of local minima (or, e.g., global minima subject to certain Dirichlet constraints and ellipticity of \({\mathbb {A}}\), see (1.11) below and Lemma 4.5) by virtue of the direct method. We may hereafter inquire as to whether local minima share the by now well-known regularity features known from the usual full gradient theory for quasiconvex variational problems; cf. [2, 11, 27, 29, 34, 35, 37, 47, 50, 51] and the references therein for a non-exhaustive list. In this sense, the main focus of the present paper is on the regularity of local minima subject to the \({\mathbb {A}}\)-quasiconvexity of F.
1.1 Partial regularity and main results
In general, since the minimisation of \({\mathscr {F}}[-;\Omega ]\) given by (1.3) is a genuinely vectorial problem, a wealth of counterexamples even for the gradient \({\mathbb {A}}=D\) establishes that full Hölder regularity of minima cannot be expected; cf. [5, 34, 50] for examples. A suitable substitute is then given by (the \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-)partial regularity, meaning that there exists an open set \(O\subset \Omega \) with \({\mathscr {L}}^{n}(\Omega \setminus O)=0\) such that \(u\in {\text {C}}_{{\text {loc}}}^{1,\alpha }(O;V)\) for all \(0\leqslant \alpha <1\).
Based on the symbol complex (1.6), our first observation is that partial regularity of minima can be expected if and only if the potential \({\mathbb {A}}\) is elliptic, a notion from the theory of overdetermined systems (cf. Hörmander [40] and Spencer [55]). Namely, we say \({\mathbb {A}}\) given by (1.1) is elliptic if for each \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\)
Ellipticity of \({\mathbb {A}}\) is indeed equivalent to \(\ker ({\mathbb {A}})\subset {\text {C}}^{\infty }\) (cf. Corollary 4.3), which in turn is required for the desired partial regularity.
We hereafter let \({\mathbb {A}}\) be an elliptic differential operator of the form (1.1) and \({\mathscr {A}}\) an annihilator thereof. Adapting conditions which are by now routine for the full gradient situation, we hereafter suppose that the integrand \(F:W\rightarrow {\mathbb {R}}\) satisfies the following set of hypotheses for some fixed \(1<p<\infty \):
-
(H1)
\(F\in {\text {C}}^{2}(W)\).
-
(H2)
There exists \(c>0\) such that \(|F(z)|\leqslant c(1+|z|^{p})\) holds for all \(z\in W\).
-
(H3)
F is p-strongly \({\mathbb {A}}\)-quasiconvex, meaning that there exists \(\ell >0\) such that
$$\begin{aligned} W\ni z \mapsto F(z)-\ell V_{p}(z){:=}F(z)-\ell \Big ((1+|z|^{2})^{\frac{p}{2}}-1\Big ) \end{aligned}$$is \({\mathbb {A}}\)-quasiconvex in the sense of (1.10).
Subject to these assumptions, the main result of the present paper is the following theorem:
Theorem 1.1
(Partial regularity) Let \(\Omega \subset {\mathbb {R}}^{n}\) be open and bounded and let \({\mathbb {A}}\) be a constant rank differential operator of the form (1.1). Moreover, suppose that \(F:W\rightarrow {\mathbb {R}}\) satisfies (H1)–(H3). Then the following are equivalent:
-
(a)
\({\mathbb {A}}\) is elliptic in the sense of (1.11).
-
(b)
Every local minimiser u of \({\mathscr {F}}\) in the sense of (1.4) is \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular.
In establishing Theorem 1.1, modifications of usual partial regularity proofs are difficult to implement. Indeed, such approaches usually rely on compactness arguments or tools that are presently not available for general elliptic operators. For the underlying requisite compactness or Poincaré-type inequalities, stronger assumptions on the operators \({\mathbb {A}}\) than ellipticity are required, cf. [38, 42]. Such conditions as the \({\mathbb {C}}\)-ellipticity of \({\mathbb {A}}\) are for instance satisfied by the symmetric gradient, but not so for general elliptic operators. In this respect, one of the key aspects of the present paper is that the partial regularity statement of Theorem 1.1can be fully reduced to the corresponding full gradient theory.
In consequence, setting up a separate partial regularity proof is not required. Effectively, Theorem 1.1 is a consequence of Korn-type inequalities for elliptic operators on suitable Orlicz spaces; these allow to set up a one-to-one correspondence between functionals of the form (1.1) and full gradient functionals. This, in turn, allows us to access the by now well-understood regularity theory for the latter. Whereas the requisite Korn-type inequalities are well-known in the regime \(2\leqslant p<\infty \) by the classical Calderón-Zygmund theory [10], they require some more machinery for if \(1<p<2\) which we access by extrapolation and shifted N-functions.
The underlying reason for the reduction argument to work is that condition (H3) expresses a certain coerciveness property for the associated full gradient functional, cf. Lemma 4.5, which becomes accessible by Korn-type inequalities. As a metaprinciple, if \({\mathbb {A}}\) is elliptic, then any regularity result available for local minima of signed strongly p-quasiconvex variational integrals directly inherits to the local minima of the corresponding functionals \({\mathscr {F}}\) given by (1.3). In more technical terms, the corresponding full gradient partial regularity theory must be available without growth bounds on the second derivatives. This, by now, is available in most of the settings addressed here; also see Theorem 5.2 for a result involving growth bounds on the second derivatives and \(p\geqslant 2\). Also, in the special case where \({\mathbb {A}}\) is the symmetric gradient operator, an easy case of Theorem 1.1 has already been observed by the second author [36]; however, many of the arguments employed in [36] rely on background results that are well-understood for the symmetric gradient but far from clear in the unifying setting addressed here.
Theorem 1.1 thus displays a sample theorem. A discussion of other, more general scenarios and partial regularity is provided in Sect. 5 and many more interesting generalisations such as Orlicz growth or degenerate scenarios in the spirit of [24, 28] are conceivable. However, to keep our exposition at a reasonable length, the respective generalisations stick to the non-degenerate p-growth setting throughout.
Let us note that the above theorem rather adopts the potential (i.e., primarily working on \({\mathbb {A}}\) rather than \({\mathscr {A}}\)) than the annihilator viewpoint, and in general the first order of \({\mathbb {A}}\) does not imply the first order of \({\mathscr {A}}\). Conversely, \({\mathscr {A}}\) need not have a first order potential, and so a higher order variant of Theorem 1.1 is required; see Theorem 5.2 for a corresponding result. Finally, let us mention that since Theorem 1.1 rather adopts the potential than the annihilator viewpoint, it would equally be interesting to characterise those operators \({\mathscr {A}}\) which admit an elliptic potential \({\mathbb {A}}\) by purely algebraic means. This would allow to lift Theorem 1.1 to the level of annihilators in terms of algebraic criteria.
1.2 Structure of the paper
In Sects. 2 and 3 we collect some background facts from harmonic analysis and establish auxiliary results for the treatment of differential operators as required later on. Section 4, along with Korn-type inequalities of independent interest, then is devoted to the proof of Theorem 1.1; here we also briefly address the existence of minima, showing the naturality of conditions (H1)–(H3). The final Sect. 5 discusses examples and extensions to more general integrands.
2 Preliminary results
2.1 Basic notation
Throughout, \(\Omega \subset {\mathbb {R}}^{n}\) is an open and bounded set, and for \(x\in {\mathbb {R}}^{n}\) and \(r>0\) we denote \({\text {B}}(x,r){:=}\{y\in {\mathbb {R}}^{n}:\;|x-y|<r\}\). Also, given a subset \(U\subset {\mathbb {R}}^{n}\), we define \(\mathrm {co}(U)\) to be the convex hull of U. All finite dimensional vector spaces V are equipped with the usual euclidean norm \(|\cdot |\) and inner product \(\langle \cdot ,\cdot \rangle \) (taken for an arbitrary but fixed basis), and we denote the unit sphere in V by \({\mathbb {S}}_{V}{:=}\{v\in V:\;|v|=1\}\); for ease of notation, we set \({\mathbb {S}}^{n-1}{:=}\{x\in {\mathbb {R}}^{n}:\,|x|=1\}\). Given \(m\in {\mathbb {N}}\), the V-valued, symmetric m-multilinear mappings on \({\mathbb {R}}^{n}\) are denoted \(\odot ^{m}({\mathbb {R}}^{n};V)\). As usual, for a measurable set \(\Omega \subset {\mathbb {R}}^{n}\) with \({\mathscr {L}}^{n}(\Omega )\in (0,\infty )\) and \(f\in {\text {L}}_{{\text {loc}}}^{1}({\mathbb {R}}^{n};V)\), we set
For \(f\in {\text {L}}^{1}({\mathbb {R}}^{n};V)\), we use the following normalisation for the Fourier transform of f:
Finally, we write \(a\lesssim b\) provided there exists a constant \(C>0\) such that \(a\leqslant Cb\) and \(a\simeq b\) if \(a\lesssim b\) and \(b\lesssim a\); the underlying constants will be specified if required.
2.2 Harmonic analysis and Orlicz integrands
In this section we collect some auxiliary results from harmonic analysis which shall turn out instrumental for the partial regularity proof below. Let \(1<q<\infty \). We say that \(\omega \in {\text {L}}_{{\text {loc}}}^{1}({\mathbb {R}}^{n})\) is an \(A_{q}\)-Muckenhoupt weight (in formulas \(\omega \in A_{q}\)) if and only if \(\omega > 0\) \({\mathscr {L}}^{n}\)-a.e. in \({\mathbb {R}}^{n}\) and
the supremum ranging over all non-degenerate cubes \(Q\subset {\mathbb {R}}^{n}\). We refer to \(A_{q}(\omega )\) as the \(A_{q}\)-constant of \(\omega \). Given \(\omega \in A_{q}\), we say that a constant \(c=c(\omega )>0\) is \(A_{q}\)-consistent if and only if it only depends on \(A_{q}(\omega )\).
Let \(\psi :{\mathbb {R}}_{\geqslant 0}\rightarrow {\mathbb {R}}_{\geqslant 0}\) be differentiable. We say that \(\psi \) is an N-function provided \(\psi (0)=0\) and its derivative \(\psi '\) is right-continuous, non-decreasing together with
Given an N-function \(\psi \), we say that \(\psi \) is of class \(\Delta _{2}\) if there exists \(K>0\) such that \(\psi (2t)\leqslant K\psi (t)\) for all \(t\geqslant 0\), and define \(\Delta _{2}(\psi )\) to be the infimum over all possible such constants. Analogously, we say that \(\psi \) is of class \(\nabla _{2}\) provided the Fenchel conjugate \(\psi ^{*}(t){:=}\sup _{s\geqslant 0}(st-\psi (s))\) is of class \(\Delta _{2}\), and we let \(\nabla _{2}(\psi ){:=}\Delta _{2}(\psi ^{*})\). If \(\psi \) satisfies both the \(\Delta _{2}\)- and the \(\nabla _{2}\)-condition, we say that \(\psi \) is of class \(\Delta _{2}\cap \nabla _{2}\). Each N-function \(\psi \) gives rise to the Orlicz-Lebesgue space \({\text {L}}^{\psi }({\mathbb {R}}^{n};V)\), being defined as the linear space of all measurable \(u:{\mathbb {R}}^{n}\rightarrow V\) with
Clearly, if \(\psi (t)=|t|^{p}\), then \({\text {L}}^{\psi }={\text {L}}^{p}\). We next state a theorem of Mihlin-Hörmander type which substantially enters the proof of Theorem 1.1 below.
Lemma 2.1
(of Mihlin-Hörmander type) Let \(\Theta \in {\text {C}}^{\infty }({\mathbb {R}}^{n}\setminus \{0\};{\mathscr {L}}(W;V))\) be homogeneous of degree zero and let \(\psi \in \Delta _{2}\cap \nabla _{2}\) be an N-function. Then
extends to a bounded linear operator \(T_{\Theta }:{\text {L}}^{\psi }({\mathbb {R}}^{n};W)\rightarrow {\text {L}}^{\psi }({\mathbb {R}}^{n};V)\). The operator norm \(\Vert T_{\Theta }\Vert _{{\text {L}}^{\psi }\rightarrow {\text {L}}^{\psi }}\) only depends on \(\Theta ,\Delta _{2}(\psi )\) and \(\nabla _{2}(\psi )\), and we have the following modular estimate:
with a constant \(c=c(\Theta ,\Delta _{2}(\psi ),\nabla _{2}(\psi ))>0\).
This lemma should be well-known to the experts, but we have been unable to trace it back to a precise reference. To give a quick argument, we recall the following extrapolation result due to Cruz-Uribe et al. [18, Thm. 3.1] in the version given by Diening et al. [25, Prop. 6.1]:
Lemma 2.2
Let \(1<q<\infty \) and suppose that \({\mathcal {F}}\) is a family of tuples \((f,g)\in {\text {L}}_{{\text {loc}}}^{1}({\mathbb {R}}^{n})\times {\text {L}}_{{\text {loc}}}^{1}({\mathbb {R}}^{n})\) such that for all \(\omega \in A_{q}\) there holds
with an \(A_{q}\)-consistent constant \(K_{1}>0\). Then for all N-functions \(\varphi \in \Delta _{2}\cap \nabla _{2}\) there exists a constant \(K_{2}=K_{2}(q,\Delta _{2}(\varphi ),\nabla _{2}(\varphi ))>0\) such that
holds for all \((f,g)\in {\mathcal {F}}\).
Proof of Lemma 2.1
We recall from [26, Chpt. 4.5, Thm. 4.3] that, if \(m\in {\text {C}}^{\infty }({\mathbb {R}}^{n}\setminus \{0\};{\mathbb {C}})\) is a function homogeneous of degree zero, then the multiplier operator \({\mathscr {S}}({\mathbb {R}}^{n})\ni f \mapsto T_{m}f{:=}{\mathscr {F}}^{-1}(m{\widehat{f}})\) can be represented as
for some \(a\in {\mathbb {C}}\) and \(\Xi \in {\text {C}}^{\infty }({\mathbb {S}}^{n-1})\) with zero average, where \({\mathbb {S}}^{n-1}\) is the \((n-1)\)-dimensional unit sphere and \(\mathrm {p.v.}\) denotes the Cauchy principal value. In the standard terminology of harmonic analysis, \(T_{m}^{(2)}\) then is a Calderón-Zygmund operator (cf. [26, Def. 5.11]). In consequence, by the results of [41], there exists a constant \(c=c(m)>0\) such that
for all \(\omega \in A_{2}\). Now let \(\psi \in \Delta _{2}\cap \nabla _{2}\). Since the \(({\text {L}}_{\omega }^{2}\rightarrow {\text {L}}_{\omega }^{2})\)-operator norm of \(T_{m}\) thence is \(A_{2}\)-consistent, there exists \(K_{1}=K_{1}(m)>0\) for which Lemma 2.2 (with \(q=2\)) yields the existence of some \(K_{2}=K_{2}(\Delta _{2}(\psi ),\nabla _{2}(\psi ))>0\) such that \(\Vert T_{m}f\Vert _{{\text {L}}^{\psi }({\mathbb {R}}^{n})}\leqslant K_{1}K_{2}\Vert f\Vert _{{\text {L}}^{\psi }({\mathbb {R}}^{n})}\) and
for all \(f\in {\text {L}}^{\psi }({\mathbb {R}}^{n})\). Identifying \(V\cong {\mathbb {R}}^{N}\) and \(W\cong {\mathbb {R}}^{l}\), we may write \(\Theta =(\Theta _{ij})_{1\leqslant i \leqslant N,\,1\leqslant j \leqslant l}\) and \(u=(u_{1},\ldots ,u_{l})\). Then \((T_{\Theta }u)_{i}=\sum _{j=1}^{l}{\mathscr {F}}^{-1}[\Theta _{ij}{\widehat{u}}_{j}]\) for \(i=1,\ldots ,N\). Applying the above to \(m=\Theta _{ij}\) and \(f=u_{j}\), we consequently obtain (2.3) because of \(\psi \in \Delta _{2}\cap \nabla _{2}\). The proof is complete. \(\square \)
In the above proof, the requisite boundedness of \(T_{m}\) also follows by [26, Thm. 7.11], but [41] gives a particularly transparent tracking of the dependencies of the constants.
Now let \(\psi \in {\text {C}}^{1}([0,\infty ))\cap {\text {C}}^{2}((0,\infty ))\) be an N-function of class \(\Delta _{2}\cap \nabla _{2}\) which satisfies \(\psi '(t)\simeq t\psi ''(t)\) uniformly in \(t>0\). Following [22], we then define for \(a\geqslant 0\) the corresponding shifted N-function \(\psi _{a}:{\mathbb {R}}_{\geqslant 0}\rightarrow {\mathbb {R}}_{\geqslant 0}\) by
We then record from [22, Lem. 23] and [24, Def. 2] (also see [23, Sec. B]) the following background facts:
-
(F1)
There exists \(c=c(\Delta _{2}(\psi ),\nabla _{2}(\psi ))>0\) such that
$$\begin{aligned} \frac{1}{c}\psi _{a}(t)\leqslant \psi ''(a+t)t^{2} \leqslant c\psi _{a}(t)\qquad \text {for all}\;a,t\geqslant 0. \end{aligned}$$ -
(F2)
There holds \(\psi _{a}\in \Delta _{2}\cap \nabla _{2}\) for all \(a\geqslant 0\) and we have
$$\begin{aligned} \Delta _{2}(\psi _{a}) \simeq \Delta _{2}(\psi )\;\;\;\text {and}\;\;\;\nabla _{2}(\psi _{a})\simeq \nabla _{2}(\psi ) \end{aligned}$$uniformly in a. Thus, the family \((\psi _{a})_{a\geqslant 0}\) satisfies the \(\Delta _{2}\) - and \(\nabla _{2}\) -conditions uniformly in \(a\geqslant 0\).
Finally, a comparison lemma; for this, we define the auxiliary map \(V_{p}\) on \({\mathbb {R}}^{m}\) by
For this particular choice, (F1) and (F2) imply the following result that we record for future referencing; also see [21, Lem. 2.4], [36, Sec. 6.2, (6.5)ff.]:
Lemma 2.3
Let \(1<p<\infty \) and \(m\in {\mathbb {N}}\).
-
(a)
Define \(V_{p}(z)\) for \(z\in {\mathbb {R}}^{m}\) by (2.7). Then there exists \(0<\theta _{p}<\infty \) such that for all \(z,w\in {\mathbb {R}}^{m}\) there holds
$$\begin{aligned} \begin{aligned} \frac{1}{\theta _{p}}(1+|z|^{2}+|w|^{2})^{\frac{p-2}{2}}|w|^{2}&\leqslant V_{p}(z+w) -V_{p}(z)-\langle V'_{p}(z),w\rangle \\&\leqslant \theta _{p}(1+|z|^{2}+|w|^{2})^{\frac{p-2}{2}}|w|^{2}. \end{aligned} \end{aligned}$$(2.8) -
(b)
Let \(1<p<2\) and define \(\Psi :[0,\infty )\rightarrow [0,\infty )\) by \(\Psi (t){:=}(1+t)^{p-2}t^{2}\). Then there exists a constant \(c=c(p)>0\) such that for all \(a,t\geqslant 0\) there holds
$$\begin{aligned} \begin{aligned} \frac{1}{c}\Psi ''(a+t)&\leqslant (1+a^{2}+t^{2})^{\frac{p-2}{2}} \leqslant c \Psi ''(a+t), \\ \frac{1}{c}\Psi ''(t)t&\leqslant \Psi '(t) \leqslant c\Psi ''(t)t. \end{aligned} \end{aligned}$$(2.9)
3 Vectorial differential operators
In the sequel, let \({\mathbb {A}}\) be a differential operator of the form (1.1). For future reference, we further set with the operator norm \(|\cdot |\) on \({\mathscr {L}}(V;W)\)
We define the set \({\mathscr {C}}({\mathbb {A}})\) of pure \({\mathbb {A}}\)-tensors \(v\otimes _{{\mathbb {A}}}\xi \) as the collection of elements
Then \({\mathscr {C}}({\mathbb {A}})\subset W\), and we define \({\mathscr {R}}({\mathbb {A}})\) to be the linear hull of \({\mathscr {C}}({\mathbb {A}})\). The space \({\mathscr {R}}({\mathbb {A}})\) is (up to isomorphy) the smallest space in which \({\mathbb {A}}v(x)\) takes values when v ranges over \({\text {C}}^{\infty }({\mathbb {R}}^{n};V)\) and x ranges over \({\mathbb {R}}^{n}\), see [9, Sec. 5]. Indeed, in the definition of \({\mathbb {A}}\) (cf. (1.1)) we might replace W by any other \(W'\) such that \(W\hookrightarrow W'\), neither destroying the constant rank nor ellipticity properties of \({\mathbb {A}}\). For example, if
-
\({\mathbb {A}}u=\varepsilon (u)=\frac{1}{2}(D+D^{\top })\) is the symmetric gradient, we may take \(W={\mathbb {R}}^{n\times n}\) and in this case, \({\mathscr {R}}({\mathbb {A}})={\mathbb {R}}_{{\text {sym}}}^{n\times n}\), the symmetric \((n\times n)\)-matrices.
-
\({\mathbb {A}}u=\varepsilon ^{D}(u)=\varepsilon (u)-\frac{1}{n}{\text {div}}(u)\mathbb {1}_{n}\) is the trace-free symmetric gradient, we may take \(W={\mathbb {R}}^{n\times n}\) or \(W={\mathbb {R}}_{{\text {sym}}}^{n\times n}\), and in this case, \({\mathscr {R}}({\mathbb {A}})={\mathbb {R}}_{{\text {sym}},\mathrm {tf}}^{n\times n}\), the symmetric, trace-free \((n\times n)\)-matrices.
The benefit of passing to \({\mathscr {R}}({\mathbb {A}})\) is illustrated in Example 3.1 below. Working with general finite dimensional vector spaces V and W has some advantages, letting us e.g. deal with the exterior derivatives, cf. Sect. 5.1, Example (c). We now argue that we may assume \({\mathscr {R}}({\mathbb {A}})=W\subset {\mathbb {R}}^{N\times n}\) and that F as in Theorem 1.1 can be tacitly supposed to be defined on a subset of the real \((N\times n)\)-matrices. With our main results being established in this situation, it is then a somewhat lenghty yet elementary identification procedure between finite dimensional vector spaces to conclude Theorem 1.1 in the general case too; this is explained carefully in the Appendix.
Denote \(\Pi _{{\mathbb {A}}}:W\rightarrow {\mathscr {R}}({\mathbb {A}})\) the orthogonal projection onto \({\mathscr {R}}({\mathbb {A}})\). As to variational integrals (1.3) with \(F:W\rightarrow {\mathbb {R}}\), we then have
Recalling that \(V\cong {\mathbb {R}}^{N}\), we note that
which follows from the fact that, if \(\{{\mathbf {v}}_{1},\ldots ,{\mathbf {v}}_{N}\}\) is a basis for V, then \(\{{\mathbf {v}}_{i}\otimes _{{\mathbb {A}}}e_{j}:\;i=1,\ldots ,N,\,j=1,\ldots ,n\}\) (with \(e_{j}\) being the j-th standard unit vector of \({\mathbb {R}}^{n}\)) spans \({\mathscr {R}}({\mathbb {A}})\). As a main consequence of (3.4), we may now assume that
Similarly as in [39], we may thus write for \(v=(v_{1},\ldots ,v_{N}):{\mathbb {R}}^{n}\rightarrow {\mathbb {R}}^{N}\)
where the linear map \(\pi _{{\mathbb {A}}}:{\mathbb {R}}^{N\times n}\rightarrow {\mathbb {R}}^{N\times n}\) is defined in the obvious manner; here, \(a_{\mu ,\nu }^{i,j}\in {\mathbb {R}}\) for all \(j,\mu \in \{1,\ldots ,N\}\) and \(i,\nu \in \{1,\ldots ,n\}\).
Example 3.1
(Duplicating elliptic operators) Let \({\mathbb {A}}\) an elliptic differential operator of the form (1.1) with \(V={\mathbb {R}}^{N}\) and \(W={\mathscr {R}}({\mathbb {A}})\subset {\mathbb {R}}^{N\times n}\). Then for any \(b_{1}\ne 0\) and \(b_{2},\ldots ,b_{m}\in {\mathbb {R}}\) the \({\mathscr {R}}({\mathbb {A}})^{m}\)-valued operator \({\mathbb {B}}\) defined by
remains an elliptic first order differential operator. Still, \({\mathbb {B}}u\) is completely determined by the essential first component \(b_{1}{\mathbb {A}}u\), and this is precisely reflected by passing to the essential range \({\mathscr {R}}({\mathbb {A}})\); note that \(\dim ({\mathscr {R}}({\mathbb {B}}))=\dim ({\mathscr {R}}({\mathbb {A}}))\).
We conclude this preliminary section with the following background result, linking the \({\mathscr {A}}\)-free and the \({\mathbb {A}}\)-differential framework:
Lemma 3.2
(Van Schaftingen [56, Prop. 4.2], Raita [53, Thm. 1.1]) The following hold:
-
(a)
Let \({\mathbb {A}}\) be an elliptic differential operator of the form (1.1). Then there exists \(k\in {\mathbb {N}}\), a real, finite dimensional vector space Z and a k-th order Z-valued constant-rank differential operator \({\mathscr {A}}\) of the form (1.5) such that (1.6) is exact at W for any \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\).
-
(b)
Let \({\mathscr {A}}\) be a constant-rank differential operator of the form (1.5). Then there exists a real, finite dimensional vector space V, \(l\in {\mathbb {N}}\) and a differential operator \({\mathbb {A}}=\sum _{|\alpha |=l}{\mathbb {A}}_{\alpha }\partial ^{\alpha }\) with \({\mathbb {A}}_{\alpha }\in {\mathscr {L}}(V;W)\) such that (1.6) is exact at W for any \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\).
Note that even \({\mathbb {A}}\) might have first order, \({\mathscr {A}}\) might have higher order (which is e.g. the case for \({\mathbb {A}}=\varepsilon \) and \({\mathscr {A}}={\text {curl}}{\text {curl}}\), called the Saint-Venant compatibility conditions).
4 Elliptic potentials and the proof of Theorem 1.1
4.1 A family of Korn-type inequalities
Before we embark on the proof of Theorem 1.1, we establish a family of Korn-type inequalities which enter our subsequent arguments in an instrumental way. Since it might be of independent interest, we state the result in a slightly sharper and more general way than it is actually required below:
Proposition 4.1
(of Korn-type) Let \(\psi \in \Delta _{2}\cap \nabla _{2}\) and suppose that \({\mathbb {A}}\) is a differential operator of the form (1.1). Then the following are equivalent:
-
(a)
\({\mathbb {A}}\) is elliptic.
-
(b)
There exists a constant \(c>0\) depending only on \({\mathbb {A}}\), \(\Delta _{2}(\psi )\) and \(\nabla _{2}(\psi )\) such that for all \(u\in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};V)\) there holds
$$\begin{aligned} \int _{{\mathbb {R}}^{n}}\psi (|Du|)\mathrm {d}x \leqslant c\int _{{\mathbb {R}}^{n}}\psi (|{\mathbb {A}}u|)\mathrm {d}x. \end{aligned}$$(4.1)
Proof
Ad ’(a)\(\Rightarrow \)(b)’. The proof is a consequence of the Mihlin multiplier theorem in the version as given in Lemma 2.1. By ellipticity of \({\mathbb {A}}\), for each \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\) the Fourier symbol \({\mathbb {A}}[\xi ]:V\rightarrow W\) is injective and hence for each such \(\xi \), \({\mathbb {A}}^{*}[\xi ]{\mathbb {A}}[\xi ]:V\rightarrow V\) is bijective. For \(j\in \{1,\ldots ,n\}\) define an operator for \(w\in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};W)\) by
Put \(\Theta _{j,{\mathbb {A}}}(\xi ){:=}\xi _{j}({\mathbb {A}}^{*}[\xi ]{\mathbb {A}}[\xi ])^{-1}{\mathbb {A}}^{*}[\xi ]\) for \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\). Clearly, the multiplier \(\Theta _{j,{\mathbb {A}}}\in {\text {C}}^{\infty }({\mathbb {R}}^{n}\setminus \{0\};{\mathscr {L}}(W;V))\) is homogeneous of degree zero, and with the notation of Lemma 2.1, \(\Phi _{j,{\mathbb {A}}}=T_{\Theta _{j,{\mathbb {A}}}}\). Hence, by Lemma 2.1 and \(\psi \in \Delta _{2}\cap \nabla _{2}\), \(\Phi _{j,{\mathbb {A}}}\) extends to a bounded linear operator \({\text {L}}^{\psi }({\mathbb {R}}^{n};W)\rightarrow {\text {L}}^{\psi }({\mathbb {R}}^{n};V)\) which also satisfies the modular estimate (4.1) by virtue of (2.3). Since \(\Phi _{j,{\mathbb {A}}}({\mathbb {A}}u)=\partial _{j}u\) everywhere for all \(u\in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};V)\), (4.1) follows at once.
Ad ’(b)\(\Rightarrow \)(a)’. The argument is based on the fact that non-elliptic operators cannot yield full control on the functions themselves, and variants thereof in the framework of Sobolev inequalities can be found e.g. in [56, Cor. 5.2]. We proceed to the details: Suppose that \({\mathbb {A}}\) is not elliptic. Then there exists \(\xi '\in {\mathbb {S}}^{n-1}\) such that \({\mathbb {A}}[\xi ']v=0\) for some \(v\in V\) with \(|v|=1\). We choose \({\mathbf {e}}_{2},\ldots ,{\mathbf {e}}_{n}\in {\mathbb {R}}^{n}\) such that \(\{\xi ',{\mathbf {e}}_{2},\ldots ,{\mathbf {e}}_{n}\}\) is an orthonormal basis for \({\mathbb {R}}^{n}\) and define
Then \(Q\subset {\text {B}}(0,\sqrt{n})\), and we choose \(\rho \in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};[0,1])\) with
and, by our choice of R, \(|D\rho |\leqslant \min \{\frac{1}{\Vert A\Vert },1\}\); here, \(\Vert A\Vert \) is given by (3.1). Let \((h_{i})\subset {\text {C}}_{c}^{\infty }((-1,1))\) be such that \(\Vert \psi (|h_{i}|)\Vert _{{\text {L}}^{1}({\mathbb {R}})}\rightarrow 0\) and \(\Vert \psi (|h'_{i}|)\Vert _{{\text {L}}^{1}({\mathbb {R}})}\rightarrow \infty \) as \(i\rightarrow \infty \). We define the plane waves \(u_{i}(x){:=}\rho (x)h_{i}(\langle x,\xi '\rangle )v\) so that \(u_{i}\in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};V)\) and, since \({\mathbb {A}}[\xi ']v=0\),
In conclusion,
having used a change of variables of the usual euclidean basis to \(\{\xi ',{\mathbf {e}}_{2},\ldots ,{\mathbf {e}}_{n}\}\) and Fubini’s theorem in the last inequality. Similarly, we obtain that
On the other hand, with Q as above,
Because of (4.5\(_{2}\)), we deduce by convexity and the \(\Delta _{2}\)-condition of \(\psi \) that necessarily \(\Vert \psi (|Du_{j}|)\Vert _{{\text {L}}^{1}({\mathbb {R}}^{n})}\rightarrow \infty \), creating a contradiction to (4.1). The proof is complete. \(\square \)
Proposition 4.1 generalises Korn-type inequalities of the form (4.1) for specific operators such as \({\mathbb {A}}\) being the (trace-free) symmetric gradient from earlier works (cf. [3, 7]) to the largest class of operators \({\mathbb {A}}\) for which this is possible at all. Even though it is not required for our main proof below, we believe that it is possible to strengthen the previous proposition for N-functions \(\psi \) and differential operators \({\mathbb {A}}\) of the form (1.1) as follows. Namely, adapting the approach to counterexamples to \({\text {L}}^{1}\)-estimates in [15] as pursued in [7] in the case of the symmetric gradients, validity of (b) should be equivalent to
-
(a’)
\({\mathbb {A}}\) is elliptic and at least one of the following holds: Either there exists a linear map \(T\in {\mathscr {L}}(W;V\times {\mathbb {R}}^{n})\) such that \(Du=T{\mathbb {A}}u\) for all \(u\in {\text {C}}_{c}^{\infty }({\mathbb {R}}^{n};V)\) or \(\psi \in \Delta _{2}\cap \nabla _{2}\).
This would be in line with the results of Kirchheim & Kristensen [43] regarding the trivialisation of \({\text {L}}^{1}\)-estimates within the framework of Orlicz functions; similarly, one might strive for logarithmic losses à la Cianchi et al. [8, 13] in non-\(\Delta _{2}\cap \nabla _{2}\)-scenarios, and we intend to pursue this question in the future. Let us, however, remark that the above proof yields the following by-product:
Corollary 4.2
Let \(1<q<\infty \) and \(\omega \in A_{q}\). If \({\mathbb {A}}\) is an elliptic differential operator of the form (1.1), then there exists a constant \(c=c(q,{\mathbb {A}},A_{q}(\omega ))>0\) such that
Indeed, since Calderón-Zygmund operators are bounded on \({\text {L}}_{\omega }^{q}\) if \(\omega \in A_{q}\) (cf. [26, Thm. 7.11]), Corollary 4.2 follows from (4.2) and (2.5) ff..
Standard elliptic regularity theory and the plane wave construction underlying Proposition 4.1 moreover imply the following
Corollary 4.3
Let \(\Omega \subset {\mathbb {R}}^{n}\) be open and let \({\mathbb {A}}\) be a constant rank differential operator of the form (1.1). If \({\mathbb {A}}\) is elliptic, then \(\ker ({\mathbb {A}};\Omega )\cap {\text {L}}_{{\text {loc}}}^{1}(\Omega ;V)\subset {\text {C}}^{\infty }(\Omega ;V)\). Conversely, if \({\mathbb {A}}\) is not elliptic, then for any \(1\leqslant p<\infty \) there exists \(u\in \ker ({\mathbb {A}};\Omega )\cap {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) such that \(u\notin {\text {C}}(\omega ;V)\) for any open subset \(\omega \subset \Omega \).
Proof
If \(u\in {\mathscr {D}}'(\Omega ;V)\) solves \({\mathbb {A}}u=0\), then \({\mathbb {A}}^{*}{\mathbb {A}}u=0\), and so the \({\text {C}}^{\infty }\)-regularity of u follows from by now classical results for second order elliptic systems. For the second part, take a direction \(\xi '\in {\mathbb {R}}^{n}\setminus \{0\}\) and a vector \(v\in V\setminus \{0\}\) as in the proof of Proposition 4.1, direction ’(b)\(\Rightarrow \)(a)’, so that \({\mathbb {A}}[\xi ']v=0\). Given \(1\leqslant p<\infty \), first note that for any \(h\in {\text {L}}_{{\text {loc}}}^{p}({\mathbb {R}})\) the function \(u(x){:=}h(\langle x,\xi '\rangle )v\) satisfies \(u\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) by Fubini’s theorem and \({\mathbb {A}}u=0\) in \({\mathscr {D}}'(\Omega ;W)\). To see the latter, let \(h_{\varepsilon }\in {\text {C}}^{\infty }({\mathbb {R}})\) be such that \(h_{\varepsilon }\rightarrow h\) in \({\text {L}}_{{\text {loc}}}^{1}({\mathbb {R}})\) as \(\varepsilon \searrow 0\). We have for all \(\varphi \in {\text {C}}_{c}^{\infty }(\Omega ;W)\)
As in the proof of Proposition 4.1, the term \(\mathrm {II}_{\varepsilon }\) vanishes identically. With Q as in (4.3), we may then choose \(R>0\) such that \({\text {spt}}(\varphi )\subset RQ\) and then follow (4.6) to obtain
Hence we have \({\mathbb {A}}u=0\) in \({\mathscr {D}}'(\Omega ;W)\).
Now let \((q_{j})\) be an enumeration of \({\mathbb {Q}}\) and put
so that \(h\in {\text {L}}^{p}({\mathbb {R}})\) and h is unbounded in any neighbourhood of each point \(t_{0}\in {\mathbb {R}}\). By the above, we have that \(u(x){:=}h(\langle x,\xi '\rangle )v\) satisfies \({\mathbb {A}}u=0\) in \({\mathscr {D}}'(\Omega ;W)\). Now let \(x_{0}\in \Omega \) be arbitrary. Observing that u is constant in directions orthogonal to \(\xi '\), considering elements \(x=x_{0}+t\xi '\) for \(t>0\) sufficiently small, we then find that u is unbounded in any neighbourhood of \(x_{0}\). Especially, u cannot have a continuous representative on any open set \(\omega \subset \Omega \) and the proof is complete. \(\square \)
4.2 Proof of Theorem 1.1
We now come to the proof of Theorem 1.1. Let us note that it is only the direction (a)\(\Rightarrow \)(a) which actually requires an argument: Namely, if \({\mathbb {A}}\) is not elliptic and \(u\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) with \({\mathbb {A}}u\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;W)\) is a local minimiser for \({\mathscr {F}}\) given by (1.3), we utilise Corollary 4.3 to find \(v\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) with \({\mathbb {A}}v=0\) in \({\mathscr {D}}'(\Omega ;W)\) such that \(v\notin {\text {C}}(\omega ;W)\) for all open subsets \(\omega \subset \Omega \). If there is no \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular local minimiser, we are done. If, instead, there does exist a \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular minimiser, \(u+v\) is still a local minimiser, but not continuous on every ball on which u is of class \({\text {C}}_{{\text {loc}}}^{1,\alpha }\). Especially, \(u+v\) is a local minimiser which is not \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular.
Similarly as in [36, (3.1)ff.], we record that the p-strong \({\mathbb {A}}\)-quasiconvexity of F as asserted in (H3) is equivalent to the existence of a constant \(\nu >0\) such that
holds for all \(z\in {\mathscr {R}}({\mathbb {A}})\) and \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};V)\). This is a consequence of Lemma 2.3 (a).
Toward the proof of Theorem 1.1, we recall from the full gradient regularity theory that a continuous integrand \(H:{\mathbb {R}}^{N\times n}\rightarrow {\mathbb {R}}\) that satisfies
for some \(L>0\) is called p-strongly quasiconvex if there exists \(\ell >0\) such that \(H-\ell V_{p}\) is quasiconvex. Then, if \(p\geqslant 2\), we have
for all \(t\geqslant 0\). Thus, if \(p\geqslant 2\), the p-strong quasiconvexity of H implies that
with \(\mu =\frac{\ell }{2\theta _{p}}\) for all \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};{\mathbb {R}}^{N})\), \(z\in {\mathbb {R}}^{N\times n}\) and the constant \(\theta _{p}>0\) from Lemma 2.3 (a). We then rely on the following background result by Acerbi & Fusco [2] and Carozza, Fusco & Mingione [11]:
Proposition 4.4
( [2, Thm. II.1], [11, Thm. 3.2]) Let \(1<p<\infty \) and let \(\Omega \subset {\mathbb {R}}^{n}\) be open. Suppose that \(H\in {\text {C}}^{2}({\mathbb {R}}^{N\times n})\) satisfies (4.8) for all \(z\in {\mathbb {R}}^{N\times n}\) and,
-
(a)
if \(p\geqslant 2\), (4.9) holds for some \(\mu >0\), all \(z\in {\mathbb {R}}^{N\times n}\) and all \(\varphi \in {\text {C}}_{c}^{\infty }((0,1)^{n};{\mathbb {R}}^{N})\),
-
(b)
if \(1<p<2\), H is p-strongly quasiconvex.
Then any local minimiser \(u\in {\text {W}}_{{\text {loc}}}^{1,p}(\Omega ;{\mathbb {R}}^{N})\) of the integral functional
is \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular on \(\Omega \).
We now come to the
Proof
(Proof of Theorem 1.1, Case \(2\leqslant p <\infty \)) By (3.3) ff., we may assume that \(V={\mathbb {R}}^{N}\) and \(W={\mathscr {R}}({\mathbb {A}})\subset {\mathbb {R}}^{N\times n}\). Adopting the terminology of (3.5), we put
Since \(F\in {\text {C}}^{2}({\mathscr {R}}({\mathbb {A}}))\) by (H1) and the operator \(\pi _{{\mathbb {A}}}:{\mathbb {R}}^{N\times n}\rightarrow {\mathbb {R}}^{N\times n}\) is linear, \(G\in {\text {C}}^{2}({\mathbb {R}}^{N\times n})\). Moreover, by (H2) we have \(|G(z)|\leqslant C(1+|z|^{p})\) for all \(z\in {\mathbb {R}}^{N\times n}\) and some constant \(C>0\). By (4.7) and analogously to (4.9), \(p\geqslant 2\) implies that
holds for all \(z\in {\mathscr {R}}({\mathbb {A}})\) and \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};{\mathbb {R}}^{N})\); here, \(\theta _{p}>0\) is the constant from Lemma 2.3 (a). We apply Proposition 4.1 to the particular choice \(\psi (t){:=}t^{2}+t^{p}\), which is easily seen to satisfy the assumptions of Proposition 4.1; note that in this case, the underlying Korn-type inequality is a direct consequence of the usual Calderón-Zygmund theory on \({\text {L}}^{p}\)-spaces. In the following, we hereafter denote \(c>0\) the constant from (4.1) with this particular choice of \(\psi \), \(V={\mathbb {R}}^{N}\) and \(W={\mathscr {R}}({\mathbb {A}})\). Then we have for all \(\varphi \in {\text {C}}_{c}^{\infty }((0,1)^{n};{\mathbb {R}}^{N})\) and \(z\in {\mathbb {R}}^{N\times n}\):
since \(\pi _{{\mathbb {A}}}(D\varphi )={\mathbb {A}}\varphi \) and \(\pi _{{\mathbb {A}}}\) is linear. In conclusion, G satisfies the hypotheses of Proposition 4.4 (a) with \(\mu =\frac{\ell }{2c\theta _{p}}\). Hence all local minima of \(w\mapsto \int G(Dw)\mathrm {d}x\) are \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular. Since for any open \(\omega \Subset \Omega \) and all \(u\in {\text {W}}^{1,p}(\Omega ;{\mathbb {R}}^{N})\) there holds
any local minimiser of \({\mathscr {F}}\) is a local minimiser for \({\mathscr {G}}\) and so is \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-partially regular itself. The proof is complete. \(\square \)
Proof
(Proof of Theorem 1.1, case \(1<p<2\)) We proceed similarly as in the case \(2\leqslant p<\infty \) and define \(G:{\mathbb {R}}^{N\times n}\rightarrow {\mathbb {R}}\) by (4.10). We now have to take care of the requisite quasiconvexity condition which here takes a slightly different form. Namely, by Lemma 2.3 (a) we need to establish that there exists \(\nu >0\) such that
holds for all \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};{\mathbb {R}}^{N})\) and \(z\in {\mathbb {R}}^{N\times n}\). Note that, by definition of G and the p-strong \({\mathbb {A}}\)-quasiconvexity of F, (4.12) will follow once we establish the existence of some \(\mu >0\) such that
holds for all \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};{\mathbb {R}}^{N})\) and \(z\in {\mathbb {R}}^{N\times n}\). Let \(\varphi \in {\text {C}}_{c}^{\infty }((0,1)^{n};{\mathbb {R}}^{N})\) be arbitrary but fixed. Since \(|\pi _{{\mathbb {A}}}(z)|\leqslant c|z|\) for some constant \(c>0\), we utilise \(p<2\) to obtain for all \(x\in (0,1)^{n}\)
Now define the auxiliary function \(\Psi :[0,\infty )\rightarrow [0,\infty )\) given by
as in Lemma 2.3. Clearly, since \(p>1\), \(\Psi \) is of class \(\Delta _{2}\cap \nabla _{2}\). By Lemma 2.3(b), we may invoke (F2) to obtain that the \(\Delta _{2}\)- and \(\nabla _{2}\)-constants of the shifted functions \(\Psi _{a}\) (see (2.6) for the definition) can be bounded independently of \(a\geqslant 0\). Hence, by Proposition 4.1 applied to \(\Psi _{a}\) with \(a{:=}|\pi _{{\mathbb {A}}}(z)|\) we obtain
for all \(\varphi \in {\text {C}}_{c}^{\infty }((0,1)^{n};{\mathbb {R}}^{N})\), where \(c=c({\mathbb {A}},\Delta _{2}(\Psi ),\nabla _{2}(\Psi ))>0\). Now, we have
for all \(t\geqslant 0\), where the constants implicit in ’\(\simeq \)’ do not depend on a. Therefore,
where \(\widetilde{{\widetilde{C}}}>0\) still does not depend on z or \(\pi _{{\mathbb {A}}}(z)\), respectively. This is (4.13) and yields that \(G:{\mathbb {R}}^{N\times n}\rightarrow {\mathbb {R}}\) is p-strongly quasiconvex. As in the case \(p\geqslant 2\), \(G\in {\text {C}}^{2}({\mathbb {R}}^{N})\) and obeys the growth bound \(|G(z)|\leqslant c(1+|z|^{p})\) for all \(z\in {\mathbb {R}}^{N\times n}\) and some \(c>0\). Now we invoke Proposition 4.4 (b) to obtain that all local minima of \(w\mapsto \int G(D w)\mathrm {d}x\) are partially \({\text {C}}_{{\text {loc}}}^{1,\alpha }\)-regular. As above in the case \(p\geqslant 2\), this inherits to all local minima of \({\mathscr {F}}\), and the proof is complete. \(\square \)
From here and based on (3.4)ff., it is straightforward to conclude Theorem 1.1 for general vector spaces V and W; the elementary reduction scheme is explained in the Appendix, Sect. 1.
4.3 Coerciveness and existence of minima
Theorem 1.1 establishes the partial regularity of local minima of variational integrals (1.3); we now briefly address their existence. For the sequel, denote following [38]
and define \({\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\) as the closure of \({\text {C}}_{c}^{\infty }(\Omega ;V)\) with respect to \(\Vert u\Vert _{{\mathbb {A}},p}{:=}\Vert u\Vert _{{\text {L}}^{p}}+\Vert {\mathbb {A}}u\Vert _{{\text {L}}^{p}}\). We now have the following
Lemma 4.5
Let \({\mathbb {A}}\) be an elliptic differential operator of the form (1.1). Moreover, let \(F\in {\text {C}}(W)\) be a variational integrand that satisfies (H2) and (H3) for some \(1<p<\infty \). Then for any open and bounded set \(\Omega \subset {\mathbb {R}}^{n}\) and \(u_{0}\in {\text {W}}^{{\mathbb {A}},p}(\Omega )\) the variational principle
has a solution, and this solution is a local minimiser in the sense of (1.4).
Proof
By (H3) and the equivalence of (1.9) and (1.10) by virtue of Lemma 3.2, we deduce that for all \(\varphi \in {\text {C}}_{c}^{\infty }(\Omega ;V)\) there holds
with the function \(V_{p}\) as in Lemma 2.3. Now, since F satisfies (H3), it is convex with respect to directions contained in the \({\mathbb {A}}\)-rank-one cone \({\mathscr {C}}({\mathbb {A}})\) (cf. (3.2)), which in turn spans \({\mathscr {R}}({\mathbb {A}})\). In combination with (H2), a straightforward adaptation of [34, Lem. 5.5] thus yields that there exists a constant \(c>0\) such that
for all \(w,z\in {\mathscr {R}}({\mathbb {A}})\). Note that \(c>0\) only depends on the parameters implicit in (H2) and (H3). By definition of \({\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\) (which, by Proposition 4.1, coincides with \({\text {W}}_{0}^{1,p}(\Omega ;V)\)), this inequality directly yields that (4.18) holds for \(\varphi \in {\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\), too. Since \(|\cdot |^{p}-1\leqslant V_{p}(\cdot )\), for any \(\varphi \in {\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\) we have
At this stage, we employ Young’s inequality to bound
for \(\varepsilon >0\), and consequently choose and fix \(0<\varepsilon <\ell \) so that the first term on the right-hand side of (4.21) can be absorbed into the very left-hand side of (4.20). As a consequence, there exists \(c>0\) (which only depends on \({\mathscr {L}}^{n}(\Omega )\), \({\mathbb {A}}\) and the parameters underlying hypotheses (H2) and (H3)) such that
holds for all \(u\in u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\). In conclusion, \({\mathscr {F}}[-;\Omega ]\) is bounded below on \(u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\). Since \(\Omega \) is bounded, the usual Poincaré inequality and Proposition 4.1 imply
Hence, letting \((u_{j})\subset u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\) be a minimising sequence for \({\mathscr {F}}[-;\Omega ]\), we utilise \(1<p<\infty \) and hereafter reflexivity of \({\text {W}}^{{\mathbb {A}},p}(\Omega )\) to find that a suitable non-relabelled subsequence converges weakly to some \(u\in {\text {W}}^{{\mathbb {A}},p}(\Omega )\) in \({\text {W}}^{{\mathbb {A}},p}(\Omega )\). Now, since \(u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\) is a convex subset of the Banach space \({\text {W}}^{{\mathbb {A}},p}(\Omega )\) and, by definition of \({\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\), closed with respect to the norm topology on \({\text {W}}^{{\mathbb {A}},p}(\Omega )\), it is weakly closed. Therefore, \(u\in u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )\). Finally, since \({\mathbb {A}}u_{j}\rightharpoonup {\mathbb {A}}u\) in \({\text {L}}^{p}(\Omega ;W)\), (H1)–(H3) imply by virtue of a straightforward higher order variant of [30, Thm. 3.7] that
Hence u is a minimiser for \({\mathscr {F}}[-;\Omega ]\), and the proof is complete. \(\square \)
In the gradient case, a slight variant of (H3) is even equivalent to coerciveness, cf. Chen & Kristensen [12]. We conclude this section with two remarks.
Remark 4.6
In the above proof, we worked with the Dirichlet classes \(u_{0}+{\text {W}}_{0}^{{\mathbb {A}},p}(\Omega )=u_{0}+{\text {W}}_{0}^{1,p}(\Omega ;V)\) for \(u_{0}\in {\text {W}}^{{\mathbb {A}},p}(\Omega )\). However, note that even in presence of ellipticity of \({\mathbb {A}}\), it might happen that \(u_{0}\in {\text {W}}^{{\mathbb {A}},p}(\Omega )\setminus {\text {W}}^{1,p}(\Omega ;V)\). The reason for this is the deteriorated boundary behaviour, in turn being reflected by the lack of a trace operator \({\text {Tr}}:{\text {W}}^{{\mathbb {A}},p}(\Omega )\rightarrow {\text {L}}_{{\text {loc}}}^{1}(\partial \Omega ;V)\) even for domains \(\Omega \subset {\mathbb {R}}^{n}\) with smooth boundary \(\partial \Omega \) (cf. [9, 38]). Such trace operators are available for the so-called class of \({\mathbb {C}}\)-elliptic operators [9], but not so for merely elliptic operators as assumed in Lemma 4.5. Hence it is not immediately possible to reduce the weak closedness of the Dirichlet classes in the proof of Lemma 4.5 to the continuity properties of a respective trace operator.
The fact that \((u_{j})\subset u_{0}+{\text {W}}_{0}^{1,p}(\Omega ;{\mathbb {R}}^{N})\not \subset {\text {W}}^{1,p}(\Omega ;{\mathbb {R}}^{N})\) is also the key reason why we do not directly employ weak convergence in \({\text {W}}^{1,p}(\Omega ;V)\). Note that, however, if we assume \(u_{0}\in {\text {W}}^{1,p}(\Omega ;V)\), then we may consider G as in (4.10) and then reduce the above proof to the by now classical lower semicontinuity results (see e.g. [1]).
Remark 4.7
Both Theorem 1.1 and Lemma 4.5 exclude various constant rank operators \({\mathscr {A}}\) which do not have elliptic potentials, so e.g. \({\mathscr {A}}={\text {div}}\) (in which case \({\mathbb {A}}={\text {curl}}\)). However, such operators do not give rise to partial regularity in the classical sense and, by direction \((b)\Rightarrow (a)\) of Theorem 1.1, the best to be expected is a \({\text {C}}^{0,\alpha }\)-partial regularity result for \({\mathbb {A}}u\). Since only certain combinations of derivatives can potentially be proven to be partially \({\text {C}}^{0,\alpha }\)-regular, this may be referred to a partial partial regularity result, and we shall pursue this elsewhere.
5 Examples and extensions
5.1 Examples
To underline the applications of Theorem 1.1, we explicitly address some examples of elliptic operators that frequently occur in applications; Theorem 1.1 or Theorems 5.1 then provide the corresponding partial regularity results for the respective minimisers.
-
(a)
The symmetric gradient. For \(n\geqslant 1\), \(V={\mathbb {R}}^{n}\), \(W={\mathbb {R}}_{{\text {sym}}}^{n\times n}\), we put as in the introduction \(\varepsilon (u){:=}\frac{1}{2}(Du+Du^{\top })\). Setting \(a\odot b{:=}\frac{1}{2}(a\otimes b + b\otimes a)\) for \(a,b\in {\mathbb {R}}^{n}\), the elementary inequality
$$\begin{aligned} \frac{1}{\sqrt{2}}|v|\,|\xi |\leqslant |v\odot \xi | = |\varepsilon [\xi ]v|\qquad \text {for all}\;v,\xi \in {\mathbb {R}}^{n} \end{aligned}$$implies that \(\varepsilon \) is elliptic; also see [56, Prop. 6.4].
-
(b)
The trace-free symmetric gradient. For \(V={\mathbb {R}}^{n}\), \(W={\mathbb {R}}_{\mathrm {sym,tf}}^{n\times n}{:=}\{z\in {\mathbb {R}}_{{\text {sym}}}^{n\times n}:\;\mathrm {tr}(z)=0\}\), we put \(\varepsilon ^{D}(u){:=}\varepsilon (u)-\frac{1}{n}{\text {div}}(u)\mathbb {1}_{n}\) with the \((n\times n)\)-unit matrix \(\mathbb {1}_{n}\in {\mathbb {R}}^{n\times n}\). By [9, Ex. 2.2(c)], \(\varepsilon ^{D}\) is elliptic if and only if \(n\geqslant 2\).
-
(c)
The exterior derivative. For \(\ell \in \{1,\ldots ,n-1\}\) and \(V=\bigwedge ^{\ell }{\mathbb {R}}^{n}\), \(W=\bigwedge ^{\ell +1}{\mathbb {R}}^{n}\times \bigwedge ^{\ell -1}{\mathbb {R}}^{n}\), define \({\mathbb {A}}=(d,d^{*})\) as the first order differential operator whose symbol for \(\xi \in {\mathbb {R}}^{n}\) and \(v\in V\) is given by
$$\begin{aligned} {\mathbb {A}}[\xi ]v {:=} (\xi \wedge v, *(\xi \wedge *v)). \end{aligned}$$By [56, Prop. 6.6], this operator is elliptic, and so Theorem 1.1 complements the theme of partial regularity for differential forms as developed in [6].
-
(d)
The div-curl-operator. For \(V={\mathbb {R}}^{3}\) and \(W={\mathbb {R}}^{4}\), we define
$$\begin{aligned} {\mathbb {A}}=\left( \begin{matrix} {\text {div}}\\ {\text {curl}}\end{matrix}\right) :u = (u_{1},u_{2},u_{3}) \mapsto \left( \begin{matrix} \partial _{1}u_{1}+\partial _{2}u_{2}+\partial _{3}u_{3} \\ \partial _{2}u_{3}-\partial _{3}u_{2} \\ \partial _{3}u_{1}-\partial _{1}u_{3} \\ \partial _{1}u_{2}-\partial _{2}u_{1}\end{matrix}\right) . \end{aligned}$$It is then easy to see that \({\mathbb {A}}[\xi ]v=0\) for \(\xi \in {\mathbb {R}}^{3}\setminus \{0\}\) implies that \(v=0\) and so \({\mathbb {A}}\) is elliptic.
Higher order elliptic operators, which Theorem 5.2 from below appeals to, can be canonically obtained by composing lower order elliptic differential operators. An example of different sort yet particular interest is given by
-
(e)
The splitted Laplace-Beltrami operator. Let \(n\geqslant 2\), \(\ell \in \{1,\ldots ,n-1\}\) and \(V=\bigwedge ^{\ell }{\mathbb {R}}^{n}\), \(W{:=}\bigwedge ^{\ell }{\mathbb {R}}^{n}\times \bigwedge ^{\ell }{\mathbb {R}}^{n}\). The operator \({\mathbb {A}}u{:=}(dd^{*}u,d^{*}du)\) for \(u:{\mathbb {R}}^{n}\rightarrow \bigwedge ^{\ell }{\mathbb {R}}^{n}\) then is a second order differential operator on \({\mathbb {R}}^{n}\) from V to W, and is elliptic because of \(\Delta = dd^{*}+d^{*}d\) (also see [56, Prop. 6.11]).
5.2 Extensions
We conclude the paper by discussing extensions of Theorem 1.1, where we especially address fully non-autonomous integrands or higher order differential operators, respectively. To emphasize the essentials, we now focus on the power growth case with \(p\geqslant 2\).
These generalisations further manifest the metaprinciple that any regularity result being valid for p-strongly quasiconvex integrals also inherits to the situation of differential operators subject to the relevant strong \({\mathbb {A}}\)-quasiconvexity condition.
5.2.1 Fully non-autonomous integrands
Let \(p\geqslant 2\) and \({\mathbb {A}}\) be an elliptic differential operator of the form (1.1). Given an open and bounded set \(\Omega \subset {\mathbb {R}}^{n}\), we let \(F:\Omega \times V\times {\mathscr {R}}({\mathbb {A}}) \ni (x,y,z) \mapsto F(x,y,z)\in {\mathbb {R}}\) be a continuous integrand which satisfies the following set of hypotheses:
-
(H1”)
\(\mathrm {D}_{zz}^{2}F\in {\text {C}}(\Omega \times V\times {\mathscr {R}}({\mathbb {A}}))\).
-
(H2”)
There exists \(c>0\) such that \(|F(x,y,z)|\leqslant c(1+|z|^{p})\) holds for all \((x,y,z)\in \Omega \times V\times {\mathscr {R}}({\mathbb {A}})\).
-
(H3”)
There exist \(c>0\), \(0<\sigma \leqslant \frac{1}{p}\) and a bounded, concave and increasing function \(\omega :{\mathbb {R}}_{\geqslant 0}\rightarrow {\mathbb {R}}_{\geqslant 0}\) such that \(\omega (t)\leqslant t^{\sigma }\) for \(t\geqslant 0\) and
$$\begin{aligned} |F(x,y,z)-F(x',y',z)| \leqslant c(1+|z|^{p})\omega (|x-x'|^{p}+|y-y'|^{p}) \end{aligned}$$hold for all \(x,x'\in \Omega \), \(y,y'\in V\) and \(z\in {\mathscr {R}}({\mathbb {A}})\).
-
(H4”)
There exists \(\ell >0\) such that for every \((x,y,z)\in \Omega \times V \times {\mathscr {R}}({\mathbb {A}})\) and every \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};V)\) there holds
$$\begin{aligned} \ell \int _{(0,1)^{n}}|{\mathbb {A}}\varphi |^{2}+|{\mathbb {A}}\varphi |^{p}\mathrm {d}\eta \leqslant \int _{(0,1)^{n}}F(x,y,z+{\mathbb {A}}\varphi (\eta ))-F(x,y,z)\mathrm {d}\eta . \end{aligned}$$ -
(H5”)
There exists \({\widetilde{F}}\in {\text {C}}({\mathscr {R}}({\mathbb {A}}))\) with
$$\begin{aligned} \gamma \int _{(0,1)^{n}}|{\mathbb {A}}\varphi |^{p}\mathrm {d}x \leqslant \int _{(0,1)^{n}}{\widetilde{F}}({\mathbb {A}}\varphi )-{\widetilde{F}}(0)\mathrm {d}x\qquad \text {for all}\;\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};V) \end{aligned}$$for some constant \(\gamma >0\) such that \({\widetilde{F}}(z)\leqslant F(x,y,z)\) holds for all \((x,y,z)\in \Omega \times V\times {\mathscr {R}}({\mathbb {A}})\).
Theorem 5.1
Let \(F\in {\text {C}}(\Omega \times V\times {\mathscr {R}}({\mathbb {A}}))\) be a variational integrand satisfying (H1”)–(H5”) from above. Then there exists \(\beta _{0}\in (0,1)\) such that for every local minimiser \(u\in {\text {W}}_{{\text {loc}}}^{1,p}(\Omega ;V)\) of
there exists an open set \(\Omega _{0}\subset \Omega \) with \({\mathscr {L}}^{n}(\Omega \setminus \Omega _{0})=0\) such that u is of class \({\text {C}}_{{\text {loc}}}^{1,\beta _{0}}\) on \(\Omega _{0}\).
Proof
We argue as in the proof of Theorem 1.1, case \(p\geqslant 2\). Recalling that we may assume that \(V={\mathbb {R}}^{N}\) and \(W={\mathscr {R}}({\mathbb {A}})\subset {\mathbb {R}}^{N\times n}\), we define an integrand G by
Clearly, G is still a continuous integrand with \(\mathrm {D}_{zz}^{2}G\in {\text {C}}(\Omega \times {\mathbb {R}}^{N}\times {\mathbb {R}}^{N\times n})\) and \(|G(x,y,z)|\leqslant c(1+|z|^{p})\) holds for all \((x,y,z)\in \Omega \times {\mathbb {R}}^{N}\times {\mathbb {R}}^{N\times n}\). Equally, we see that G satisfies the corresponding analogues of (H3”) and (H4”). On the other hand, put \({\widetilde{G}}(z){:=}{\widetilde{F}}(\pi _{{\mathbb {A}}}(z))\). Then \({\widetilde{G}}(z)\leqslant G(x,y,z)\) for all \((x,y,z)\in \Omega \times {\mathbb {R}}^{N}\times {\mathbb {R}}^{N\times n}\), and by the same argument as in the proof of Theorem 1.1, case \(p\geqslant 2\) (cf. (4.11) based on Proposition 4.1), \({\widetilde{G}}\) satisfies
for some \(\nu >0\) and all \(\varphi \in {\text {C}}_{c}^{1}((0,1)^{n};{\mathbb {R}}^{N})\). As a consequence, G satisfies the requirements of [2, Thm. II.2]. Hence there exists \(\beta _{0}\in (0,1)\) such that for every local minimiser \(u\in {\text {W}}_{{\text {loc}}}^{1,p}(\Omega ;{\mathbb {R}}^{N})\) of \(w\mapsto \int G(x,w(x),Dw(x))\mathrm {d}x\) there exists an open set \(\Omega _{0}\subset \Omega \) with \({\mathscr {L}}^{n}(\Omega \setminus \Omega _{0})=0\) and u is of class \({\text {C}}_{{\text {loc}}}^{1,\beta _{0}}\) in a neighbourhood of any of the points in \(\Omega _{0}\). This inherits to the local minima of \({\mathscr {F}}\), and the proof is hereby complete. \(\square \)
5.2.2 Higher order strong quasiconvexity
As alluded to in the introduction, if the annihilator \({\mathscr {A}}\) is given, then the potential \({\mathbb {A}}\) provided by Lemma 3.2 does not need to have first order. We may, however, consider for \(m\in {\mathbb {N}}\) an operator
with \({\mathbb {A}}_{\alpha }\in {\mathscr {L}}(V;W)\), such that the symbol complex (1.6) is exact at W for any \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\). We then have the following higher order variant of Theorem 1.1; as in the first order case, \({\mathbb {A}}\) is called elliptic provided for each \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\), \({\mathbb {A}}[\xi ]=\sum _{|\alpha |=m}\xi ^{\alpha }{\mathbb {A}}_{\alpha }:V\rightarrow W\) is injective.
Theorem 5.2
Let \(p\geqslant 2\) and let \({\mathbb {A}}\) be a constant rank differential operator of the form (5.1) of order \(m\in {\mathbb {N}}\). Moreover, suppose that \(F:W\rightarrow {\mathbb {R}}\) satisfies (H1)–(H3) and, for some constant \(c>0\), the second derivative growth bound
Then the following are equivalent:
-
(a)
\({\mathbb {A}}\) is elliptic.
-
(b)
Every local minimiser of the integral functional \(v\mapsto \int F({\mathbb {A}}v)\mathrm {d}x\) is \({\text {C}}_{{\text {loc}}}^{m,\alpha }\)-partially regular in the sense that there exists an open set \(\Omega _{u}\subset \Omega \) with \({\mathscr {L}}^{n}(\Omega \setminus \Omega _{u})=0\) such that u is of class \({\text {C}}_{{\text {loc}}}^{m,\alpha }\) on \(\Omega _{u}\) for any \(0<\alpha <1\).
Proof
As in the proof of Theorem 1.1, ellipticity of \({\mathbb {A}}\) is easily seen to be necessary. On the other hand, an analogous argument as in the proof of Proposition 4.1 yields for elliptic \({\mathbb {A}}\) of the form (5.1) that
In fact, the previous inequality is derived completely analogously by replacing (4.2) with
for \(\alpha \in {\mathbb {N}}_{0}^{n}\) with \(|\alpha |=m\). For our reduction procedure, we now note that in the higher order case as considered here, (3.4) takes the form \(\dim ({\mathscr {R}}({\mathbb {A}}))\leqslant \dim (\odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N}))\) whereby we may assume that \({\mathscr {R}}({\mathbb {A}})\subset \odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N})\). As is done for Theorem 1.1, we may hereafter invoke the higher order partial regularity result due to Kronz [48, Thm. 2]; namely, if \(G\in {\text {C}}^{2}(\odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N}))\) is p-strongly quasiconvex in the sense that there exists \(\nu >0\) such that
for all \(\varphi \in {\text {C}}_{c}^{\infty }((0,1)^{n};{\mathbb {R}}^{N})\) and there exists \(\lambda >0\) such that
then any local minimiser of the integral functional \(u\mapsto \int G(D^{m}u)\mathrm {d}x\) is \({\text {C}}_{{\text {loc}}}^{m,\alpha }\)-partially regular. Define \(\pi _{{\mathbb {A}}}:\odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N})\rightarrow \odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N})\) with the obvious modifications in (3.5). To conclude the proof in analogy with that of Theorem 1.1, we note that \(G(z){:=}F(\pi _{{\mathbb {A}}}(z))\) moreover satisfies
for all \(z\in \odot ^{m}({\mathbb {R}}^{n};{\mathbb {R}}^{N})\). Then the proof evolves as above for Theorem 1.1. \(\square \)
We conclude the paper with a remark on the dimension reduction for the singular set.
Remark 5.3
(Partial regularity versus \({\mathscr {H}}^{s}\)-bounds on the singular set) Whereas the partial regularity of local minima within the framework of Theorems 1.1 and 5.1 can be approached by reduction to the full gradient case, this is not so for Hausdorff dimension bounds of the singular set. By its nonlocality [44], quasiconvexity is substantially different from convexity. Moreover, techniques as from the convex case [16, 34, 35, 45, 49,50,51] do not apply here as they usually rely on the Euler-Lagrange system satisfied by the minimisers and positive definiteness of the integrands’ second derivatives. To the best of our knowledge, in the quasiconvex case the only available bounds on the Hausdorff dimension of the singular set of local minima have been obtained by Kristensen & Mingione [46] in the superquadratic case subject to a local Lipschitz assumption on the local minima. Whereas this assumption seems plausible in the full gradient case, in the situation of Theorem 1.1 it would be more natural to suppose that \({\mathbb {A}}u\in {\text {L}}_{{\text {loc}}}^{\infty }(\Omega ;W)\) for a given local minimiser \(u:\Omega \rightarrow V\). Recalling the operators \(\Phi _{j,{\mathbb {A}}}\) from (4.2) (which can be realised as a local singular integral plus the identity), we find that \(\Phi _{j,{\mathbb {A}}}:{\text {L}}_{{\text {loc}}}^{\infty }\rightarrow \mathrm {BMO}_{{\text {loc}}}\). For minima of strongly quasiconvex integrals which are not locally Lipschitz but merely locally in \(\mathrm {BMO}\), a dimension reduction for the singular set seems unavailable yet.
References
Acerbi, E., Fusco, N.: Semicontinuity problems in the calculus of variations. Arch. Ration. Mech. Anal. 86, 125–145 (1984)
Acerbi, E., Fusco, N.: A regularity theorem for minimizers of quasiconvex integrals. Arch. Ration. Mech. Anal. 99(3), 261–281 (1987)
Acerbi, E., Mingione, G.: Regularity results for stationary electro-rheological fluids. Arch. Ration. Mech. Anal. 164, 213–259 (2002)
Bartnik, R., Isenberg, J.: The constraint equation. In: Chruściel, P.T., Friedrich, H. (eds.) The Einstein Equations and Large Scale Behaviour of Gravitational Fields, pp. 1–38. Birkhäuser Verlag, Basel (2004)
Beck, L.: Elliptic Regularity Theory—A First Course. Lecture Notes of the Unione Matematica Italiana, vol. 19. Springer, Berlin (2016)
Beck, L., Stroffolini, B.: Regularity results for differential forms solving degenerate elliptic systems. Calc. Var. PDE 46, 769–808 (2013)
Breit, D., Diening, L.: Sharp conditions for Korn inequalities in Orlicz spaces. J. Math. Fluid Mech. 14, 565–573 (2012)
Breit, D., Cianchi, A., Diening, L.: Trace-free Korn inequalities in Orlicz spaces. SIAM J. Math. Anal. 49(4), 2496–2526 (2017)
Breit, D., Diening, L., Gmeineder, F.: On the trace operator for functions of bounded A-variation. Anal. PDE 13(2), 559–594 (2020)
Calderón, A.P., Zygmund, A.: On singular integrals. Am. J. Math. 78, 289–309 (1956)
Carozza, M., Fusco, N., Mingione, G.: Partial regularity of minimizers of quasiconvex integrals with subquadratic growth. Ann. Mater. Pura Appl. (4) 175, 141–164 (1998)
Chen, C.-Y., Kristensen, J.: On coercive variational integrals. Nonlinear Anal. 153, 213–229 (2017)
Cianchi, A.: Korn type inequalities in Orlicz spaces. J. Funct. Anal. 267, 2313–2352 (2014)
Ciarlet, P.G., Ciarlet, P., Jr.: Another approach to linearized elasticity and a new proof of Korn’s inequality. Math. Models Methods Appl. Sci. 15, 25–271 (2005)
Conti, S., Faraco, D., Maggi, F.: A new approach to counterexamples to \(\text{ L}^{1}\)-estimates: Korn’s inequality, geometric rigidity, and regularity for gradients of separately convex functions. Arch. Ration. Mech. Anal. 175, 287–300 (2005)
Conti, S., Focardi, M., Iurlano, F.: A note on the Hausdorff dimension of the singular set of solutions to elasticity type systems. Commun. Contemp. Math. 21(06), 1950026 (2019)
Conti, S., Müller, S., Ortiz, M.: Symmetric div-quasiconvexity and the relaxation of static problems. Arch. Ration. Mech. Anal. 235(2), 841–880 (2020)
Cruz-Uribe, D., Martell, J.M., and Pérez, C.: Extensions of Rubio de Francia’s extrapolation theorem. In: Proceedings of the 7th International Conference on Harmonic Analysis and Partial Differential Equations (El Escorial, June 21–25, 2004), Collectanea Mathematica Extra Vol., 2006, pp. 195–231
Dacorogna, B.: Weak Continuity and Weak Lower Semicontinuity of Non Linear Functionals. Lecture Notes in Mathematics, vol. 922. Springer, Berlin (1982)
Dain, S.: Generalized Korn’s inequality and conformal Killing vectors. Calc. Var. 25(4), 535–540 (2006)
Dal Maso, G., Fonseca, I., Leoni, G., Morini, M.: Higher order quasiconvexity reduces to quasiconvexity. Arch. Ration. Mech. Anal. 171, 55–81 (2004)
Diening, L., Ettwein, F.: Fractional estimates for non-differentiable elliptic systems with general growth. Forum Mathematicum 20(3), 523–556 (2008)
Diening, L., Fornasier, M., Tomasi, R., Wank, M.: A Relaxed Kačanov iteration for the \(p\)-poisson problem. Numerische Mathematik 145, 1–3 (2020)
Diening, L., Lengeler, D., Stroffolini, B., Verde, A.: Partial regularity for minimizers of functionals with general growth. SIAM J. Math. Anal. 44(5), 3594–3616 (2012)
Diening, L., Schumacher, K., Ruzicka, M.: A decomposition technique for John domains. Ann. Acad. Sci. Fenn. Math. 35, 87–114 (2010)
Duoandikoetxea, J.: Fourier Analysis, American Mathematical Society, Graduate Students in the Mathematical. 29, Providence, RI (2000)
Duzaar, F., Grotowski, J.F., Kronz, M.: Regularity of almost minimizers of quasi-convex variational integrals with subquadratic growth. Ann. Mat. Pura Appl. (4) 184(4), 421–448 (2005)
Duzaar, F., Mingione, G.: Regularity for degenerate elliptic problems via \(p\)-harmonic approximation. Ann. I. H. Poincaré - AN 21, 735–766 (2004)
Evans, L.C.: Quasiconvexity and partial regularity in the calculus of variations. Arch. Ration. Mech. Anal. 95, 227–252 (1986)
Fonseca, I., Müller, S.: \({\mathscr {A}}\)-quasiconvexity, lower semicontinuity, and Young measures. SIAM J. Math. Anal. 30(6), 1355–1390 (1999)
Friedrichs, K.: On the boundary value problems of the theory of elasticity and Korn’s inequality. Ann. Math. 48(2), 441–471 (1947)
Fuchs, M., Schirra, O.: An application of a new coercive inequality to variational problems studied in general relativity and in Cosserat elasticity giving the smoothness of minimizers. Arch. Math. 93, 587–596 (2009)
Fuchs, M., Seregin, G.: Variational Methods for Problems from Plasticity Theory and for Generalized Newtonian Fluids. Lecture Notes in Mathematics, vol. 1749. Springer, Berlin (2000)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co., Inc, River Edge (2003)
Gmeineder, F.: The regularity of minima for variational problems on BD. Arch. Ration. Mech. Anal. 237(3), 1099–1171 (2020)
Gmeineder, F.: Partial regularity for symmetric quasiconvex functionals on BD. J. Math. Pures Appl. 145, 83–129 (2021)
Gmeineder, F., Kristensen, J.: Partial regularity for BV minimizers. Arch. Ration. Mech. Anal. 232(3), 1429–1473 (2019)
Gmeineder, F., Raita, B.: Embeddings of \({\mathbb{A} }\)-weakly differentiable functions on domains. J. Funct. Anal. 277(12), 108278 (2019)
Gmeineder, F., Raita, B.: On the critical \(\text{ L}^{p}\)-differentiability of BD-maps. Rev. Mat. Iberoam. 35(7), 2071–2078 (2019)
Hörmander, L.: Differentiability properties of solutions of systems of differential equations. Ark. Mat. 3, 527–535 (1958)
Hytönen, T.: The sharp weighted bound for general Calderón–Zygmund operators. Ann. Math. (2) 175(3), 1473–1506 (2012)
Kalamajska, A.: Pointwise multiplicative inequalities and Nirenberg type estimates in weighted Sobolev spaces. Stud. Math. 108(3), 275–290 (1994)
Kirchheim, B., Kristensen, J.: On rank one convex functions that are homogeneous of degree one. Arch. Ration. Mech. Anal. 221(1), 527–558 (2016)
Kristensen, J.: On the non-locality of quasiconvexity. Ann. Inst. H. Poincaré Anal. Non Linéaire 16(1), 1–13 (1999)
Kristensen, J., Mingione, G.: The singular set of minima of integral functionals. Arch. Ration. Mech. Anal. 180(3), 331–398 (2006)
Kristensen, J., Mingione, G.: The singular set of Lipschitzian minima of multiple integrals. Arch. Ration. Mech. Anal. 184, 341–369 (2007)
Kristensen, J., Taheri, A.: Partial regularity of strong local minimizers in the multi-dimensional calculus of variations. Arch. Ration. Mech. Anal. 170(1), 63–89 (2003)
Kronz, M.: Partial regularity results for minimizers of quasiconvex functionals of higher order. Ann. I. H. Poincaré 19(1), 81–112 (2002)
Mingione, G.: The singular set of solutions to non-differentiable elliptic systems. Arch. Ration. Mech. Anal. 166(4), 287–301 (2003)
Mingione, G.: Regularity of minima: an invitation to the dark side of the calculus of variations. Appl. Math. 51(4), 355–426 (2006)
Mingione, G.: Singularities of minima: a walk on the wild side of the calculus of variations. J. Glob. Optim. (English summary) 40(1–3), 209–223 (2008)
Müller, S., Palombaro, M.: On a differential inclusion related to the Born–Infeld equations. SIAM J. Math. Anal. 46(4), 2385–2403 (2014)
Raita, B.: Potentials for \({\mathscr {A}}\)-quasiconvexity. Calc. Var. 58, 105 (2019)
Schiffer, S.: \(\text{ L}^{\infty }\)-truncations of closed differential forms. arXiv preprint, arXiv:2102.07568
Spencer, D.C.: Overdetermined systems of linear partial differential equations. Bull. Am. Math. Soc. 75, 179–239 (1969)
Van Schaftingen, J.: Limiting Sobolev inequalities for vector fields and canceling linear differential operators. J. Eur. Math. Soc. (JEMS) 15(3), 877–921 (2013)
Acknowledgements
The authors thank the anonymous referee for a careful reading of the manuscript and making valuable suggestions which led to an overall improvement of the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL. Partially funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) via Project 211504053 - SFB 1060 and Project 390685813 - HCM
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The authors hereby declare that there are no conflicts of interest.
Additional information
Communicated by L. Szekelyhidi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
To keep our main exposition simple and to elaborate on the essentials, up from (3.4) we adopted the viewpoint that \(W={\mathscr {R}}({\mathbb {A}})\subset {\mathbb {R}}^{N\times n}\). Here we give the elementary underlying framework that rigorously justifies this framework; to connect this setup with the usual one, we here adopt the viewpoint as in [11, 29] that the gradient of a map \(v:{\mathbb {R}}^{n}\supset \Omega \rightarrow {\mathbb {R}}^{N}\) is \({\mathbb {R}}^{N\times n}\)-valued.
By (3.4), there exists a linear injection \(\kappa :{\mathscr {R}}({\mathbb {A}})\hookrightarrow {\mathscr {L}}({\mathbb {R}}^{n};V)\). We then define \(l{:=}\mathrm {codim}(\kappa ({\mathscr {R}}({\mathbb {A}})))\) to be the codimension of \(\kappa ({\mathscr {R}}({\mathbb {A}}))\) in \({\mathscr {L}}({\mathbb {R}}^{n};V)\). Choose and fix an isomorphism \(\kappa ':{\mathbb {R}}^{l}\rightarrow \kappa ({\mathscr {R}}({\mathbb {A}}))^{\bot }\). Then
is an isomorphism. We choose a particular orthonormal basis \(\{{\mathbf {v}}_{1},\ldots ,{\mathbf {v}}_{N}\}\) for V and denote \(\lambda :{\mathbb {R}}^{N}\rightarrow V\) the corresponding coordinate map. Having fixed a particular basis for V, we now take the canonical identification \(\iota ':{\mathscr {L}}({\mathbb {R}}^{n};V){\mathop {\longrightarrow }\limits ^{\cong }}{\mathbb {R}}^{N\times n}\). Put \(\zeta :{\mathscr {R}}({\mathbb {A}})\ni z \mapsto (z,0)\in {\mathscr {R}}({\mathbb {A}})\oplus {\mathbb {R}}^{l}\). Then consider the differential operator
which is now a linear, homogeneous first order operator with constant coefficients on \({\mathbb {R}}^{n}\) from \({\mathbb {R}}^{N}\) to \({\mathbb {R}}^{N\times n}\). We may thus write for \(v=(v_{1},\ldots ,v_{N}):{\mathbb {R}}^{n}\rightarrow {\mathbb {R}}^{N}\):
in turn being \({\mathbb {R}}^{N\times n}\)-valued, for suitable \(a_{\mu ,\nu }^{i,k}\in {\mathbb {R}}\), \(k,\mu \in \{1,\ldots ,N\}\) and \(i,\nu \in \{1,\ldots ,n\}\). Now define a linear operator \(\pi _{{\widetilde{{\mathbb {A}}}}}:{\mathbb {R}}^{N\times n}\rightarrow {\mathscr {R}}({\widetilde{{\mathbb {A}}}})\) by
Lemma 5.4
Given a differential operator \({\mathbb {A}}\) of the form (1.1), define \({\widetilde{{\mathbb {A}}}}\) by (5.5). Then the following hold:
-
(a)
\({\mathbb {A}}\) is elliptic if and only if \({\widetilde{{\mathbb {A}}}}\) is.
-
(b)
Let \(F\in {\text {C}}(W)\) and let \(\Omega \subset {\mathbb {R}}^{n}\) be open. Then a map \(v\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;V)\) with \({\mathbb {A}}v\in {\text {L}}_{{\text {loc}}}^{p}(\Omega ;W)\) is a local minimiser for \({\mathscr {F}}[-;\Omega ]\) if and only if \(\lambda ^{-1}v\) is a local minimiser for
$$\begin{aligned} \widetilde{{\mathscr {F}}}[w;\omega ]=\int _{\omega }F(\mathrm {proj}_{1}\circ \iota ^{-1}\circ (\iota ')^{-1}\circ \pi _{{\widetilde{{\mathbb {A}}}}}(Dw))\mathrm {d}x,\qquad \omega \subset \Omega , \end{aligned}$$where \(\mathrm {proj}_{1}:{\mathscr {R}}({\mathbb {A}})\oplus {\mathbb {R}}^{l}\ni (z,z') \mapsto z\in {\mathscr {R}}({\mathbb {A}})\) is the projection onto the first component.
Proof
Ad (a). The symbol of \({\widetilde{{\mathbb {A}}}}\) is given by \({\widetilde{{\mathbb {A}}}}[\xi ]v=\sum _{j=1}^{n} (\iota '\circ \iota \circ \zeta \circ {\mathbb {A}}_{j}\circ \lambda )\xi _{j}v\), \(\xi \in {\mathbb {R}}^{n}\) and \(v\in {\mathbb {R}}^{N}\). Suppose that \({\widetilde{{\mathbb {A}}}}[\xi ]v=0\) for some \(\xi \in {\mathbb {R}}^{n}\setminus \{0\}\). By bijectivity of \(\iota '\circ \iota :{\mathscr {R}}({\mathbb {A}})\oplus {\mathbb {R}}^{l}\rightarrow {\mathbb {R}}^{N\times n}\), we deduce that \(\zeta (\sum _{j=1}^{n}(\xi _{j}{\mathbb {A}}_{j}\circ \lambda )(v))=0\). This is only possible if \(\sum _{j=1}^{n}\xi _{j}{\mathbb {A}}_{j}\lambda (v)=0\), and by ellipticity of \({\mathbb {A}}\), \(\lambda (v)=0\). But \(\lambda \) is an isomorphism, hence \(v=0\). The other direction is similar.
Ad (b). By (5.5) and (5.6), we have \(\pi _{{\widetilde{{\mathbb {A}}}}}(D(\lambda ^{-1}v))={\widetilde{{\mathbb {A}}}}(\lambda ^{-1}v)\) and so, by definition of \(\iota ,\iota '\) and with \(w=\lambda ^{-1}v\),
Therefore, in particular,
which then yields the equivalence claimed in (b). The proof is complete. \(\square \)
Instead of (4.10), the proof of Theorem 1.1 is concluded by means of the integrand
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.