Abstract
We prove local Lipschitz regularity for local minimisers of
where \(\Omega \subseteq {\mathbb {R}}^N\), \(N\ge 2\) and \(F:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) is a quasiuniformly convex integrand in the sense of Kovalev and Maldonado (Ill J Math 49:1039–1060, 2005), i. e. a convex \(C^1\)-function such that the ratio between the maximum and minimum eigenvalues of \(D^2F\) is essentially bounded. This class of integrands includes the standard singular/degenerate functions \(F(z)=|z|^p\) for any \(p>1\) and arises as the closure, with respect to a natural convergence, of the strongly elliptic integrands of the Calculus of Variations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Problem and motivations. Consider a convex and coercive \(F:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\). The aim of this paper is to prove Lipschitz regularity of the local minimisers of the standard integral of Calculus of Variations
i. e. of those \(u\in W^{1,1}_{\textrm{loc}}(\Omega )\) such that \(F(Du)\in L^1_{\textrm{loc}}(\Omega )\) and for any open \({{\mathcal {O}}}\Subset \Omega \) it holds
The integrands F we are interested in satisfy for some \(H<\infty \)
where here and in the following \(\lambda _{\textrm{max}}(M)\) and \(\lambda _{\textrm{min}}(M)\) denote respectively the maximum and minimum eigenvalues of the symmetric matrix M. In this introductory paragraph, the integrands obeying (1.2) will be called uniformly elliptic (even if the term is ubiquitous and thus may cause some confusion). Despite this notion of uniform ellipticity seems quite natural and classical, very little is known on the regularity of local minimisers under the sôle condition (1.2) on the corresponding integrand F. For instance, most of the available Lipschitz regularity results for local minimisers prescribe that the singular set, where \(\lambda _{\textrm{max}}(D^2F(z))\) blows up, and the degeneracy set, where \(\lambda _{\textrm{min}}(D^2F(z))\) vanishes, are both bounded. As will be clarified in the following discussion, condition (1.2) alone instead allows for both sets to be simultaneously unbounded (even dense in \({\mathbb {R}}^N\)) and sizeable (in the sense of Hausdorff dimension).
In order to further motivate the uniform ellipticity condition (1.2), let us review some well known facts regarding local minimisers of (1.1). If F fulfils a polynomial upper bound, these are finite energy solutions of the corresponding Euler–Lagrange equation
in \(\Omega \). Existence of minimisers is ensured by standard methods once a superlinearity condition on F at \(\infty \) is imposed, however well known examples (see [1, 2]) show that without requiring further conditions they may fail to be locally bounded. Regularity of local minimisers is a classical topic dating back to Hilbert’s XIX problem, solved through Schauder and DeGiorgi-Nash-Moser theories under the strong ellipticity assumption
Since the solution of Hilbert’s problem, much effort has been dedicated to weaken this assumption. A natural quantity arising in the aforementioned regularity theories is the ellipticity ratio (also called the linear dilatation of \(D^2F(z)\)), namely
We will prove in Corollary 2.7 that the closure of smooth, strongly elliptic integrands with respect to pointwise (or, equivalently, \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\)) convergence, when coupled with a uniform bound on the ellipticity ratio, turns out to be a cone consisting of
-
Affine functions, which are the extremals of the cone
-
Convex superlinear \(F\in C^1_{\textrm{loc}}({\mathbb {R}}^N)\cap W^{2, N}_{\textrm{loc}}({\mathbb {R}}^N)\) obeying (1.2) a. e. for some \(H<\infty \).
The second type of integrands has been studied in the seminal papers [3, 4] (to which we refer for further details) and are called H-quasiuniformly convex,Footnote 1 henceforth abbreviated by H-q. u. c.. They are related to the well developed theory of quasiconformal maps, as their gradient mapping is indeed quasiconformal. It turns out, quite conveniently we may say, that in dimension \(N\ge 2\) condition (1.2) implies not only superlinearity, but also sub-polynomial growth and strict convexity of the integrand F, granting existence of local minimisers (or actually, minimisers under various boundary conditions) in \(W^{1, 1+1/H}_{\textrm{loc}}(\Omega )\). Moreover, local minimisers and finite energy weak solutions of (1.3) coincide (see Proposition 3.2). Equation (1.3) can be formally derived with respect to each variable \(x_\alpha \), giving for each partial derivative \(\partial _\alpha u\)
which fails to be strongly elliptic for Du belonging to either \(\textrm{Sing}_F\), the singularity set of \(D^2F\) or to its degeneracy set, \(\textrm{Deg}_F\), where
If F is q. u. c., the previous sets are related to the so-called quasiconformal \(\infty \)- and 0-sets respectively, appearing in the quasiconformal Jacobian problem [5]. These can be quite large, as shown in [3, Section 4 and 5]: given an arbitrary \(E\subseteq {\mathbb {R}}^N\) of Hausdorff dimension less than 1, there exist a q. u. c. \(F_1\) such that \(E\subseteq \textrm{Sing}_{F_1}\) and a q. u. c. \(F_2\) such that \(E\subseteq \textrm{Deg}_{F_2}\). In particular, both \(\textrm{Sing}_F\) and \(\textrm{Deg}_F\) can be dense in \({\mathbb {R}}^N\) for \(N\ge 2\). On the other hand, for F q. u. c., neither \(\textrm{Sing}_F\) nor \(\textrm{Deg}_F\) can contain rectifiable curves (see [3, 5]).
Despite the natural appearance of q. u. c. integrands as limits (in the sense described above) of strongly elliptic ones, the corresponding regularity theory for (1.4) seems more delicate. Indeed, the \(L^\infty \) and \(C^\alpha \) bounds for Du when F is strongly elliptic essentially depend on the quantity
rather than on the actually controlled quantity
and a naive limiting argument is bound to fail.
Nevertheless, some classes of q. u. c. integrands where the standard regularity theory can still produce results are already well known. An important type of q. u. c. integrands are for instance those with Uhlenbeck structure, i. e. depending only on the modulus of the gradient. Given a non-decreasing \(G:[0, \infty [\rightarrow [0, \infty [\), the function \(F(z)=G(|z|)\) is q. u. c. if and only if \(G\in C^1([0, \infty ))\cap W^{2, \infty }_{\textrm{loc}}({\mathbb {R}}_+)\) and there exists a constant \(C>0\) such that
In particular, for a q. u. c. function with Uhlenbeck structure, it always holds
which, since obviously \(\textrm{Sing}_F\cap \textrm{Deg}_F=\emptyset \) for a q. u. c. F, justifies the traditional dichotomy between the singular or degenerate case of (1.3).
The regularity theory for solutions of (1.3) when F is a Uhlenbeck q. u. c. integrand is well developed, even when non-homogenous terms with low summability are included and no variational setting is available. See e. g. [6] and the literature therein for a survey on the available results for solutions of
up to the Lipschitz scale, depending on the summability properties of f. Regarding higher regularity, in [7] minimisers have been proved to be \(C^{1,\alpha }\) for integrands which are even more general than the Uhlenbeck ones, but still fulfil a uniform radial bound on the ellipticity ratio. By this we mean that the main assumption for the \(C^{1,\alpha }\) regularity is the existence of two radial functions \(\lambda _{\min }, \lambda _{\textrm{max}}:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\) obeying
and
so that these integrands are q. u. c.. In this framework both \(\textrm{Sing}_F\) and \(\textrm{Deg}_F\) are anyway restricted to have radial symmetry, but since neither of those can contain circles, (1.7) holds again.
Notice that when F is q. u. c., normalised in such a way that \(\min _{{\mathbb {R}}^N} F= F(0)=0\) (which can always be safely assumed), both F and DF actually fulfil a two-sided isotropic control of the form
for a \(C^1\) Young function \(A:[0, \infty [\rightarrow [0, \infty [\) (see Sect. 3) but, as mentioned before, no such isotropic control is available at the level of the ellipticity ratio for a general q. u. c. integrand.
Our interest in this framework is motivated by the results in [8, Chapter 16] where regularity theory for the corresponding minimisers has been successfully developed in two space dimensions. More precisely, in [8, Theorem 16.4.5] the authors prove \(C^{1,\alpha }\) regularity of finite energyFootnote 2 solutions of
in the plane, under the even more general assumption that the mapping \({{\mathcal {A}}}:{\mathbb {R}}^2\rightarrow {\mathbb {R}}^2\) fulfils
for some \(\delta >0\). Such mappings are called \(\delta \)-monotone and have been introduced in [4], where it is shown that any gradient map of a quasiuniformly convex integrand is indeed \(\delta \)-monotone, but notice that in general equation (1.9) may be non-variational. Hence the results of [8] in the plane are more general and stronger than ours, but the method developed therein is based on the reduction of (1.9) to a first-order system of Beltrami type for the complex gradient of u, and thus are constrained to the two-dimensional setting.
Main theorem. We can now state the main result of this paper.
Theorem 1.1
For \(N\ge 2\), let \(F\in C^1_{\textrm{loc}}({\mathbb {R}}^N)\cap W^{2,1}_{\textrm{loc}}({\mathbb {R}}^N)\) be convex, obey (1.2) a. e. and fulfil the normalisation
Then any local minimiser u for J in \(\Omega \) is locally Lipschitz. In particular, there exists a constant \(C=C(H, N)>0\) such that if \(B_{2R}\subseteq \Omega \), then
Remark 1.2
(Comments on the statement)
-
Except for the normalisation condition (1.10), the assumptions on F can be equivalently stated as F being H-quasiuniformly convex, or DF being a quasiconformal map with maximal linear dilatation bounded by H. Notice that, thanks to the quasiconformality of DF, the \(W^{2,2}_{\textrm{loc}}({\mathbb {R}}^N)\) regularity of F together with condition (1.2) automatically improves to \(F\in W^{2,N+\varepsilon }_{\textrm{loc}}({\mathbb {R}}^N)\), for some \(\varepsilon >0\).
-
The normalisation condition (1.10) is made only to have the cleaner estimate (1.11), as any H-q. u. c. integrand F has a unique minimum point \(\bar{z}\). Then, the integrand
$$\begin{aligned} {\tilde{F}}(z)=F(z+{\bar{z}})-F({\bar{z}}) \end{aligned}$$is still H-q. u. c. and the function \({\tilde{u}}(x)=u(x)-(x, {\bar{z}})\) is a local minimiser for the corresponding integral functional. Notice that (1.11), having no additional term on the right, prescribes point-wise smallness of Du for small values of its energy.
-
Condition (1.2) giving H-q. u. convexity does not distinguish between singular or degenerate equations, since both \(z\mapsto |z|^{1+1/H}\) and \(z\mapsto |z|^{1+H}\) are H-q. u. c.. More substantially, a simple construction (see Example 2.4) shows that for a q. u. c. integrand F, both \(\textrm{Sing}_F\) and \(\textrm{Deg}_F\) can be simultaneously non-empty, so that the traditional dichotomy between singular/degenerate equation cannot possibly hold in this setting.
-
We could also have treated local minimisers of
$$\begin{aligned} J(u, {{\mathcal {O}}})=\int _{{\mathcal {O}}} F(Du)+f\, u\, dx, \qquad {{\mathcal {O}}}\Subset \Omega , \end{aligned}$$for sufficiently smooth f. However, our method seems to provide Lipschitz regularity under non-optimal regularity conditions on f. A natural condition ensuring boundedness of Du could be \(f\in L^q_{\textrm{loc}}(\Omega )\) for some \(q>N\), but it appears that substantial modifications to the proof are needed to obtain such a result. In the framework of p-Laplacian type problems, boundedness of Du is ensured by the even weaker condition that f belongs to the Lorentz space \(L_{\textrm{loc}}^{N, 1}(\Omega )\), which includes \(L^q_{\textrm{loc}}(\Omega )\) for all \(q>N\). See [9, 10] and the references therein.
The rôle of the Uhlenbeck structure. Let us discuss briefly the rôle of a radial control on the ellipticity ratio in proving a-priori gradient bounds for finite energy solutions of (1.3) with a convex F. The standard strategy to this end, which goes back to Bernstein, is to find a suitable coercive function \(G:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) and coefficients \(a_{i j}:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) such that
-
1.
The matrix \(A(z)=(a_{ij}(z))\) has controlled ellipticity for every \(z\in {\mathbb {R}}^N\);
-
2.
The function G(Du) solves
$$\begin{aligned} \textrm{div}\, (A(Du)\, D(G(Du)))\ge 0. \end{aligned}$$(1.12)
Once these tasks are achieved, linear regularity theory can be applied to G(Du) if, for instance, A turns out to be strongly elliptic, in the sense that
for all \(z\in {\mathbb {R}}^N\) and some fixed \(\lambda , \Lambda \). In this case solutions of (1.12) fulfil
and we are reduced to control the integrand on the right (or variants of it) by F(Du). More generally, once suitable refinements of the linear elliptic regularity step are developed, this scheme is flexible enough to deal with choices of A which are strongly elliptic on \(r_0\le |z|\le R\) with constants depending on R allowing their ellipticity ratio \(\lambda _{\textrm{max}}(A(z))/\lambda _{\textrm{min}}(A(z))\) to blow up for \(z\rightarrow \infty \), so that A is not uniformly elliptic. See e. g. [11] and the literature therein for this so-called non-uniformly elliptic setting.
Still, in the uniform (but not necessarily strong) elliptic setting it’s not clear how to bring off the previous strategy without radial controls on the eigenvalues of \(D^2F\). For the sake of this discussion, we will suppose that F and u are smooth and that we have chosen \(\underline{\lambda },{\overline{\lambda }}:{\mathbb {R}}^N\rightarrow {\mathbb {R}}_+\) in such a way that for all \(z\in {\mathbb {R}}^N\) it holds
The standard approach to construct the seeked couple (A, G) is to multiply each equation in (1.4) by \(\partial _{\alpha }u\) and sum, to obtain
where the last inequality follows from the convexity of F. Since
a natural choice for A is
which is strongly elliptic if the ellipticity ratio is uniformly bounded, while in the meantime (1.14) reads
In order to construct G we must impose
but this relation forces G, and thus \(\underline{\lambda }\), to be radial functions. If this is so, i. e. \(\underline{\lambda }(z)=\underline{\lambda }(|z|)\), we can indeed set
which fulfils (1.15). Notice finally that, since \(F(0)=0\) and \(DF(0)=0\), for \(|\omega |=1\) and \(t>0\) it holds
which can be used to bound G(Du) in terms of the natural integrand F(Du).Footnote 3 Without a radial control on \(\lambda _{\textrm{min}}(D^2F)\) (and thus on \(\lambda _{\textrm{max}}(D^2F)\) by uniform ellipticity), however, the previous approach fails.
Remark 1.3
It may be worth noting that multiplying (1.4) by \(\partial _\alpha F(Du)\) and summing up, one finds
As will be quantified in the following paragraph, the convexity of F ensures that the right-hand side above is still nonnegative, so that we have found another couple (A, G) fitting the previous scheme, namely,
The issue, however, is that A fails to be strongly elliptic and is only uniformly elliptic. Needless to say, the linear theory for solutions of
under the uniform ellipticity condition
is very poor (as can be seen by simple one-dimensional examples) and does not provide boundedness of solutions. Nevertheless, estimate (1.11) says that the function \(v=F(Du)\) behaves “as if” the operator \(\textrm{div}\, \big (D^2F(Du)\, Dv)\) is strongly elliptic on v.
Outline of the proof. The possibility of tackling the regularity problem for finite energy solutions of (1.3) in dimension \(N\ge 3\) under the general uniform ellipticity condition (1.2) has been considered for the first time in [12]. The approach adopted therein can be seen in the framework of nonlinear differential inclusions, originally rooted in the works [13,14,15] and well developed nowadays, thanks to the significant applications investigated in [16,17,18,19], to name a few. Specifically, one can look at (1.3) focusing only on the stress field \(DF(Du)=V\). Formally deriving the equation, we find the system
where \(\textrm{Div}\) is the row-wise divergence operator acting on matrix-valued functions and \(M^t\) denotes the transpose of the matrix M. Notice that, contrary to the Laplacian operator
the operator in (1.16) is far from being elliptic: its kernel contains all compactly supported solenoidal vector fields and there is no hope to prove regularity of solutions to system (1.16). Ellipticity, however, can be restored by constraining DV to pointwise belong to a suitable cone. The natural and fruitful one in our framework, as found in [12], is given by
for H given in (1.2). The fact that DV must belong to such a cone depends only on the structural condition
i. e. DV must be the product of a positive definite symmetric matrix with linear dilatation bounded by H with a symmetric matrix (see Lemma 5.1 below). Note that, as \(H\searrow 1\), we have \({{\mathcal {K}}}_H\searrow {{\mathcal {K}}}_1=\textrm{Sym}_N\), that is the linear space of symmetric \(N\times N\) matrices, hence the solutions of the differential inclusion
are just the gradients of harmonic functions.
For \(H>1\), system (1.17) is elliptic at the \(L^2\) level, but this kind of restored ellipticity has a limited effect at finer regularity scales. Indeed, stress fields of p-harmonic equation certainly solve the previous nonlinear differential inclusion for \(p=1+1/H\), and for \(p\ne 2\) there exists (see [20]) in the plane a p-harmonic function whose stress field vanishes only at the origin and is homogenous of degree
Since the last expression is always less than 1 for \(H>1\), the best regularity one can expect from solutions of (1.17) is at most \(C^{\alpha }\), for \(\alpha =\alpha (H)\in \ [1/3, 1[\) and for any \(H>1\). We stress here that we were not able to prove that solutions of (1.17) are bounded, which would imply the qualitative part of Theorem 1.1 and would be meaningful in light of current lines of research on differential inclusions (see e. g. [21, 22]). In fact, we had to resort to additional structure possessed by the original equation (1.3). More precisely, by still denoting \(V=DF(Du)\) for a solution of (1.3) and by using the differential inclusion \(DV\in {{\mathcal {K}}}_H\), we prove a family of Caccioppoli inequalities of the form
for arbitrary \(k\in {\mathbb {R}}\) and for \(R> r>0\). Then we translate this vectorial Caccioppoli inequality into a family of Caccioppoli inequalities on suitable scalar functions intrinsically defined as suitable Minkowski functionals associated to
(which is well defined since DF is invertible), namely,
for any \(k\in {\mathbb {R}}\). Notice that, since \(V=DF(Du)\), then
and the quasiuniform convexity of F is pivotal to prove that (1.18) translates to
Additional fine properties of the family of 1-homogeneous functions \(\{g_k\}\) allow to adapt the classical De Giorgi method for proving boundedness of subsolutions. Notice that (1.20) exhibits two main differences with respect to a standard Caccioppoli inequality. On the one hand, due to the vectorial nature of (1.18), its dependence on the level k is encapsulated rather implicitly in the family of 1-homogeneous functions \(\{g_k\}\) rather than directly on V. More substantially, its right-hand side is quite bigger than the one usually found for scalar problems, which would provide an integrand of the form \((g_k(V)-1)_+\) on the right instead of \(g_k(V)\). Nevertheless, the De Giorgi method can still be adapted to this weaker setting, providing an \(L^\infty \) bound on F(Du) in terms of the \(L^2\) norm of V. It is quite fortunate that this estimate implies, through a refinement of the results in [12], the natural bound (1.11).
Related results. In the uniformly elliptic setting the result in Theorem 1.1 has, as already remarked, been previously obtained in [7] under an Uhlenbeck type control of the form (1.13), with \(\lambda _{\textrm{min}}(z)\) and \(\lambda _{\textrm{max}}(z)\) depending only on the modulus of z. In [7], actually, \(C^{1, \alpha }\) regularity is proved under these assumptions. Lipschitz regularity has been proved in [10] for solutions of (1.8) coupled with Dirichlet or Neumann boundary conditions, with optimal regularity assumptions both on f and on the domain. The corresponding regularity for solutions of systems with Uhlenbeck structure is treated in [23].
Notice that in [6, 7, 23] the authors assume that the function \(G'\) appearing in (1.8) (or in the lower/upper controls on \(D^2F(z)\)) belongs to \(C^1({\mathbb {R}}_+)\), while we admit \(G'\in \textrm{Lip}_{\textrm{loc}}({\mathbb {R}}_+)\) (this regularity seems optimal due to [12, Example 3.5]). However, inspecting the proofs in [6, 23] shows that the results therein hold under this more general assumption.
Our result covers in particular the Finslerian anisotropic setting, which we will now briefly describe due to its relevance in recent research trends. The integrands considered in this framework are of the form
where \(G\in C^1({\mathbb {R}}_+)\cap W^{2,\infty }_{\textrm{loc}}({\mathbb {R}}_+)\) is increasing, convex and fulfils (1.6) (see [12, Example 3.7]), while h is a \(C^2({\mathbb {R}}^N\setminus \{0\})\) convex, positive, 1-homogeneous function (not necessarily symmetric) such that the principal curvatures of \(\partial \{h<1\}\) are bounded from below by a positive constant, see [12, Example 3.7] for more details. The arguments in [24, Section 3] show that \(C^{1, \alpha }\) regularity holds true for the corresponding minimisers when G has more stringent controls of p-growth type and \(h\in C^{3, \alpha }({\mathbb {R}}^N\setminus \{0\})\).
While the non-uniformly elliptic case is not treated in this research, it is worth mentioning that there are many instances where Lipschitz regularity can be obtained even if the ellipticity ratio is unbounded. Generally speaking, in order to get Lipschitz continuity of local minimisers, one usually requires a growth control on the ellipticity ratio outside a bounded set, but in most cases the resulting Lipschitz bound critically depends on the diameter of the aforementioned set. The literature in this area is huge and, regarding local minimisers, we refer to [11] for some recent results and for a rather comprehensive description of this research topic. Lipschitz regularity can be obtained for rather wild functionals by the so called Hilbert–Haar method, adapted to the Calculus of Variations by Stampacchia and Hartman [25, 26]. This allows to obtain Lipschitz regularity of minimisers having a prescribed boundary value obeying the so-called bounded slope condition, under very loose conditions on the integrand. We refer to [27] and the literature therein for more details on this approach. Another class of non-uniformly elliptic integrands are the so-called orthotropic ones, where both \(\textrm{Sing}_F\) and \(\textrm{Deg}_F\) are unbounded, being union of hyperplanes \(\{z_i=0\}\). In this setting, assuming a-priori boundedness of the minimiser is the key to infer Lipschitz regularity. We refer to [28] and the literature therein for further details on this class of integrands.
Structure of the paper. In Sect. 2 we collect the properties of quasiuniformly convex functions which are relevant to the proof. Section 3 is devoted to a refinement of the Sobolev regularity of the stress field \(V=DF(Du)\), originally obtained in [12]. In Sect. 4 we construct a sequence of approximating elliptic problems and corresponding solutions, allowing to reduce the proof of Theorem 1.1 to the smooth setting. In Sect. 5 we prove the Caccioppoli inequality (1.18), while in Sect. 6 we derive several properties of the family of 1-homogeneous functions defined in (1.19). The final Sect. 7 is devoted to the proof of Theorem 1.1.
Notations. In the whole paper we restrict to the case \(N\ge 2\). By |v| we denote the Euclidean norm of a vector \(v \in {\mathbb {R}}^N\), while (v, w) stands for the scalar product of any \(v, w \in {\mathbb {R}}^N\). Given a vector field, upper and lower indexes stand for its components and its derivatives, respectively. We sum over repeated indexes.
With the symbol \(\Omega \) we mean a bounded, open subset of \({\mathbb {R}}^N\), while \(B_r(x_0)\) denotes a ball with center \(x_0 \in {\mathbb {R}}^N\) and radius \(r>0\), and by \(B_r\) we indicate a ball of radius r, not necessarily centred at the origin.
For any measurable \(E\subset {\mathbb {R}}^N\), |E| denotes its N-dimensional Lebesgue measure. We will omit the domain of integration when it is the whole \({\mathbb {R}}^N\), if this causes no confusion. Furthermore, for the sake of notational simplicity we set \(\Vert f\Vert _m:= \Vert f\Vert _{L^m({\mathbb {R}}^N)}\).
Let \(M= (m_{ij})\) be an \(N \times N\) matrix with real entries, and let \(M^{t}\) denote its transpose. We consider the Frobenius norm
arising from the scalar product \((M_1, M_2)_2= {\text {Tr}}(M_1 \, M_2^{t})\). We further denote by \(\textrm{Id}\) the identity matrix. Finally, for any matrix M, \(\sigma _{\textrm{max}}(M)\) and \(\sigma _{\textrm{min}}(M)\) denote its maximum and minimum singular values (i. e. the square roots of the eigenvalues of \(M\, M^t\)), respectively. If M is symmetric and non-negative definite, we will use the notation \(\lambda _{\textrm{max}}(M)\) and \(\lambda _{\textrm{min}}(M)\) as in this case eigenvalues and singular values coincide.
2 Quasiuniformly convex integrands
Definition 2.1
A map \(\Phi :{\mathbb {R}}^N\rightarrow {\mathbb {R}}^N\) is K-quasiconformal if it is a \( W^{1,1}_{\textrm{loc}}({\mathbb {R}}^N; {\mathbb {R}}^N)\) homeomorphism, it is a. e. differentiable and the inequality
holds a. e. in \({\mathbb {R}}^N\).
Let \({\overline{{\mathbb {R}}}}^N\) denote the one-point compactification of \({\mathbb {R}}^N\). By [29, Theorem 17.3] any quasiconformal map \(\Phi :{\mathbb {R}}^N\rightarrow {\mathbb {R}}^N\) can be extended to a homeomorphism of \({\overline{{\mathbb {R}}}}^N\) by setting \(\Phi (\infty )=\infty \), in the meantime keeping its (geometric) quasiconformality constant K unaltered. Moreover, \(\Phi \in W^{1,N}_{\textrm{loc}}({\mathbb {R}}^N)\) and is quasisymmetric, that is, there are an increasing homeomorphism \(\eta :{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\) and a constant \(C>0\) such that
for all \(z_0 \in {\mathbb {R}}^N\) and \(z, w\in {\mathbb {R}}^N\setminus \{z_0\}\). Set, for \(\alpha >0\) and \(t \ge 0\),
By [30, Theorems 3.18 and 5.1], any K-quasiconformal map \(\Phi \) fulfils (2.1) with
The maximal linear dilatation of \(\Phi \) is defined as the (finite) number
Elementary linear algebra shows that such a quasiconformal \(\Phi \) is actually \(H^{N-1}\)-quasiconformal, hence it fulfils the distortion estimate
for all \(z_0\in {\mathbb {R}}^N\) and all \(z, w\in {\mathbb {R}}^N\setminus \{z_0\}\). Notice that the constant C actually depends on N as well. Finally, recall that if \(\Phi \) is quasiconformal then so is \(\Phi ^{-1}\) and the maximal linear dilatations of \(\Phi \) and \(\Phi ^{-1}\) coincide. Hence (2.3) holds true for \(\Phi ^{-1}\) as well.
Definition 2.2
A map \(\Phi :{\mathbb {R}}^N\rightarrow {\mathbb {R}}^N\) is \(\delta \)-monotone for some \(\delta \in \, ]0, 1]\) if
Kovalev’s theorem [4] shows that any non-constant \(\delta \)-monotone map is quasiconformal. In particular it is a homeomorphism and, directly from the definition, its inverse is \(\delta \)-monotone as well. Kovalev theorem has a quantitative version proved in [31, Theorem 1]. It states that any \(\delta \)-monotone map has a maximal linear dilatation obeying
and this bound is sharp, i. e. it reduces to an equality for the \(\delta \)-monotone linear map \(v\mapsto A\, v\), where
The opposite implication is in general not true. To see this, consider the linear map \(v\mapsto B\, v\), with B given by
which is quasiconformal with \(H=3\) but not even monotone. However, full (even quantitatively) equivalence of the two concepts holds true in the class of gradient mappings.
Definition 2.3
A differentiable function \(F:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) is H-quasiuniformly convex (briefly, H-q. u. c.) if it is convex and its gradient map is quasiconformal, with maximal linear dilatation bounded by H.
More explicitly (and by making use of Aleksandrov’s theorem), F is H-q. u. c. if
-
(i)
F is convex, \(C^1\) and \(W^{2, 1}_{\textrm{loc}}({\mathbb {R}}^N)\), and not affine;
-
(ii)
It holds
$$\begin{aligned} \lambda _{\textrm{max}}(D^2 F(z))\le H\, \lambda _{\textrm{min}}(D^2F(z)) \end{aligned}$$(2.5)for a. e. point z of second order differentiability.
By [3, Theorem 3.1 and Lemma 3.2], any q. u. c. function is strictly convex and coercive, thus it has a unique minimum point. Since, given two symmetric matrices \(M_1, M_2\), it holds
the set of H-q. u. c. functions turns out to be a convex cone, i. e. it is closed by sum and positive scalar multiples. Moreover, it is also closed by isometric change of variables, as well as dilations. Finally, summing an affine function to a H-q. u. c. function still gives a H-q. u. c. function. For these reasons we will frequently normalize q. u. c. integrands by requiring that
and that \(i_F=1\), where
simply by considering
Example 2.4
Some examples of q. u. c. integrands have already been discussed in the previous section. Here, given two points \(z_1\ne z_2\) in \({\mathbb {R}}^N\), we construct a q. u. c. function F such that \(\textrm{Sing}_F=\{z_1\}\) and \(\textrm{Deg}_F=\{z_2\}\), the latter sets being as in (1.5).
Without loss of generality, assume \(z_1=0\) and \(z_2=w\), for fixed \(w\in {\mathbb {R}}^N\), and set \(r=|w|\). For \(p>2>q>1\) choose
so that a direct computation shows (cf. [12, Example 3.6])
Choose \(\varphi \in C^\infty ({\mathbb {R}}^N\setminus \{w\})\) such that
and consider the (positive and finite) numbers
For any \(\varepsilon >0\), the function \(F(z)=d(z)+\varepsilon \, \varphi (z)\) belongs to \(C^1({\mathbb {R}}^N)\cap W^{2,N}_{\textrm{loc}}({\mathbb {R}}^N)\) and furthermore \(F\in C^2({\mathbb {R}}^N{\setminus }\{w\})\), so that \(\textrm{Sing}_F\subseteq \{w\}\).
For \(z\in B_{r/2}(0)\) we have
which shows through (2.10) that
and \( \lambda _{\textrm{min}}(D^2F(z))\rightarrow 0\) for \(z\rightarrow 0\). From (2.6) we infer that for all \(z\in B_{r/4}(w)\)
so that by (2.11) it follows
and \(\lambda _{\textrm{min}}(D^2F(z))\rightarrow \infty \) for \(z\rightarrow w\). Finally, for \(z\notin B_{r/2}(0)\cup B_{r/4}(w) \) we have
so that for \(\varepsilon \, \beta <\alpha /2\) it holds \(\lambda _{\textrm{min}}(D^2F(z))\ge \alpha /2\), while (2.10) yields
All in all, for \(\varepsilon <\alpha /(2\, \beta )\), F is q. u. c. with \(\textrm{Sing}_F=\{w\}\), \(\textrm{Deg}_F=\{0\}\).
Many properties of q. u. c. functions have been studied in [3, 4], to which we refer for further details and characterisations. Here we gather the ones that are needed in the proof of our main result. We start by a converse of Kovalev’s theorem relating the \(\delta \)-monotonicity to the quasiconformality in a quantitative form.
Lemma 2.5
Let \(F:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) be differentiable and not affine. Then, F is H-q. u. c. if and only if DF is \(\delta \)-monotone, where
and the bounds are sharp.
Proof
The fact that if DF is \(\delta \)-monotone and non-constant then F is H-q. u. c. has been proved, as mentioned before, in [31, Theorem 1]. To prove the opposite implication, suppose F is H-q. u. c., so that DF is quasiconformal. By [4, Section 3], the \(\delta \)-monotonicity of DF is equivalent to
at a. e. points of second order differentiability where (2.5) holds true. Note that we can assume that \(D^2F\) is symmetric, as this follows from Alexandrov’s theorem (see [32, Corollary 2.9]), and that it is strictly positive definite, thanks to the quasiconformality of DF. Since (2.12) is invariant by orthogonal change of variables, we can assume that \(D^2F\) is diagonal with positive eigenvalues \(\lambda _1<\lambda _2< \dots < \lambda _N\). We are therefore reduced to find, for \(v=(v_1, \dots , v_N)\), the value of
In order to determine the latter we invoke Cassels inequality (see [33, Appendix]), which reads as
for any choice of \(w_i\ge 0\) not all identically equal to zero and \(a_i, b_i>0\) such that
Indeed, it suffices to choose \(b_i=1\), \(a_i=\lambda _i\) and \(w_i=v_i^2\) to obtain that
and actually the equality holds true for the vector
Since \(\lambda _N\le H\, \lambda _1\) by assumption and the map \(t\mapsto 2\sqrt{t}/(t+1)\) is decreasing, we infer that
so that (2.12) is proved for \(\delta =2\, \sqrt{H}/(H+1)\), as claimed. The optimality of this estimate follows by choosing \(F(z)=(A\, z, z)\) with A given in (2.4) (here we use the fact that A is symmetric). \(\square \)
For further reference, we regroup the previous discussion and some other useful properties of H-q. u. c. functions in the following proposition.
Proposition 2.6
Let \(F:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) be a H-q. u. c. function. The following holds:
-
1.
F is strictly convex, coercive and \(W^{2, N}_{\textrm{loc}}({\mathbb {R}}^N)\).
-
2.
Both DF and \(DF^{-1}\) are \(\eta _H\)-quasisymmetric and \(2\sqrt{H}/(H+1)\)-monotone.
-
3.
There exists \(C=C(H, N)>0\) such that, if \(F({\bar{z}})=\min _{{\mathbb {R}}^N} F\), then
$$\begin{aligned}&|DF(z)-DF({\bar{z}})|\, |z-{\bar{z}}|\le C\, |F(z)-F({\bar{z}})|, \end{aligned}$$(2.13)$$\begin{aligned}&\frac{F(w)-F({\bar{z}})}{F(z)-F({\bar{z}})}\le C\, \frac{|w-{\bar{z}}|}{|z-{\bar{z}}|}\, \eta _H\left( \frac{|w-{\bar{z}}|}{|z-{\bar{z}}|}\right) \end{aligned}$$(2.14)for all \(z, w\in {\mathbb {R}}^N\setminus \{{\bar{z}}\}\).
-
4.
For any \(\varphi \in C^\infty _c({\mathbb {R}}^N; [0, +\infty ))\) the function \(F*\varphi (z)+\mu \, |z|^2\) is H-q. u. c Moreover, if \(\Vert \varphi \Vert _1=1\), for all sequences \((\varepsilon _n)\), \((\mu _n)\) such that \(\varepsilon _n\downarrow 0\), \(\mu _n\downarrow 0\), the sequence
$$\begin{aligned} F_n(z)=F*\varphi _{\varepsilon _n}(z)+\frac{\mu _n}{2}\, |z|^2, \qquad \text {with } \varphi _{\varepsilon _n}(z)=\frac{1}{\varepsilon _n^N}\, \varphi \left( \frac{z}{\varepsilon _n}\right) , \end{aligned}$$(2.15)is such that \(F_n \rightarrow F\) in \(C^{1}_{\textrm{loc}}({\mathbb {R}}^N)\) and \(DF_n^{-1}\rightarrow DF^{-1}\) in \(C^0_{\textrm{loc}}({\mathbb {R}}^N)\).
-
5.
For any \(\delta >0\), the Moreau–Yoshida reguarization \(F_\delta \) of F, defined as
$$\begin{aligned} F_{\delta }(z)= \inf _{w\in {\mathbb {R}}^{N}}\Big \{F(w)+\frac{1}{2\, \delta } |w-z|^{2}\Big \}, \end{aligned}$$is H-q. u. c. and it holds \(\displaystyle \lambda _{\textrm{max}}(D^2F_\delta (z)) \le 1/\delta \).
Proof
The first two properties have already been discussed, so we focus on (3). We will prove it by exploiting the \(\delta \)-monotonicity and the quasisymmetry of DF. To this aim we note that, by considering \(F(z+{\bar{z}})-F({\bar{z}})\), we can assume \({\bar{z}}=0\) and \(F(z)\ge F(0)=0\). To prove (2.13), we start by noticing that the \(\delta \)-monotonicity of DF gives
On the other hand, inequality (2.3) applied to DF with \(z_0=0\) (and since \(DF(0)= 0\), too) gives
so that (2.16) can be estimated as
Inequality (2.14) is proven similarly. It holds
which combined with (2.13) yields
Thanks to the quasisymmetry (2.3) of DF we get
whenever \(|x|\le |w|\), and thus (2.14) follows.
The first part of assertion (4) has been proved in [12, Proposition 2.3], while the \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) convergence of \(F_n\) to F is trivial. Since \(DF_n\) are homeomorphisms which are locally uniformly converging to DF, the same is true for \(DF^{-1}\) thanks to Arens’ theorem (see [34]). Finally, part (5) has been proved in [12, Proposition 2.3-(iv)], where in particular it is shown that if \(P_\delta =\big (\textrm{Id}+\delta \, DF^{-1}\big )^{-1}\), for a. e. \(z\in {\mathbb {R}}^N\) it holds
Since
the claimed bound follows. \(\square \)
Recall that by a smooth strongly elliptic integrand we mean an \(F\in C^\infty ({\mathbb {R}}^N)\) such that
for some \(0<\lambda \le \Lambda <\infty \). Clearly, strongly elliptic integrands are H-q. u. c. with \(H=\Lambda /\lambda \).
Corollary 2.7
Let \(H\ge 1\). The cone
is closed with respect to point-wise a. e. convergence and the smooth, strongly elliptic integrands in \(\textrm{C}_H\) are dense in it. Moreover, point-wise a. e. convergence of \((F_n)_n\) in \(\textrm{C}_H\) implies \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) convergence of \((F_n)_n\) and \(L^1_{\textrm{loc}}({\mathbb {R}}^N)\) convergence of \((\textrm{det}\, D^2F_n)_n\).
Proof
By [3, Lemma 2.5] we know that the point-wise limit of q. u. c. functions is either q. u. c. or affine and that the point-wise a. e. convergence implies the \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) one. Therefore it suffices to show that
is lower semicontinuous with respect to \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) convergence on the cone of q. u. c. functions. Let \(F_n\in \textrm{C}_H\) be such that \(F_n\rightarrow F\) in \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) with none of the \(F_n\) affine. By Lemma 2.5, \(DF_n\) is \(2\, \sqrt{H}/(H+1)\)-monotone hence, by passing to the limit in the definition of \(\delta \)-monotonicity, so is DF. By Lemma 2.5 again, this implies that F is H-q. u. c., giving the claimed lower semicontinuity.
To prove the density statement, let F be H-q. u. c. for some H. For \(\delta _n, \varepsilon _n, \mu _n \downarrow 0\), the functions
(here \(F_{\delta _n}\) denotes the Moreau–Yoshida regularisation of F) constructed through Proposition 2.6, points (4) and (5), are H-q. u. c. integrands that approximate F point-wise. Using (2.6) together with basic properties of convolution and Proposition 2.6-(5) yields
for all \(z\in {\mathbb {R}}^N\), hence \(F_n\) are strongly elliptic integrands.
If instead F is an affine function of the form \(F(z)=(w, z)+c\) for fixed \(w\in {\mathbb {R}}^N\) and \(c\in {\mathbb {R}}\), we can consider \(G(z)=|z|^2/2\) and set
Clearly \(F_n\rightarrow \ell \) in \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) and the \(F_n\) are 1-q. u. c. and strongly elliptic. The last stated property on the \(L^1\)-convergence of the determinants is contained in [3, Lemma 2.5]. \(\square \)
Actually (see again [3, Lemma 2.5]), the pointwise convergence in the previous corollary can be weakened to hold on a dense subset of \({\mathbb {R}}^N\).
Remark 2.8
The previous corollary, as outlined in its proof, implies the lower semicontinuity of the maximal linear dilatation of monotone, quasiconformal gradient maps. Lower semicontinuity of the maximal linear dilatation in the larger class of quasiconformal maps holds true for \(N=2\), but fails for \(N\ge 3\), due to a famous counterexample of Iwaniec [35].
We conclude this section by introducing a generalisation of the function \(\eta _H\) given in (2.2), which will appear in many subsequent computations. Given \(a, b>0\), the auxiliary functions
are increasing homeomorphisms of \({\mathbb {R}}_+\) to itself, and it holds \(\eta _H=\eta _{H, 1/H}\). Since
we see that
We collect in the following proposition some elementary properties of the function \(\eta _{a, b}\) and of its inverse.
Proposition 2.9
Let \(a, b>0\). Then,
-
1.
For all \(s, t\ge 0\)
$$\begin{aligned} \eta _{a, b} (s\, t)\le \eta _{a, b}(s)\, \eta _{a, b}(t) \quad \text {as well as} \quad \eta _{a, b}^{-1}(s\, t)\ge \eta _{a, b}^{-1}(s)\, \eta _{a, b}^{-1}(t). \end{aligned}$$(2.18) -
2.
For all \(t>0\)
$$\begin{aligned} \eta _{a, b}^{-1}(t)\, \eta _{1/a, 1/b}(1/t)= 1. \end{aligned}$$(2.19) -
3.
For all \(t>0\) and \(\sigma >0\) it holds
$$\begin{aligned} \frac{1}{C}\, \eta _{a, b}(t) \le \eta _{a, b}(\sigma \, t) \le C\, \eta _{a, b}(t), \end{aligned}$$(2.20)for positive constants \(C=C(a, b, \sigma )\). The same estimate holds true for \(\eta _{a, b}^{-1}\) as well.
-
4.
For \(a> b>0\) and \( c>d>0\)
$$\begin{aligned} \eta _{a, b}\circ \eta _{c, d}=\eta _{ac, bd} \end{aligned}$$(2.21)and the same formula holds true for the inverses.
The proof of these facts is elementary and is therefore omitted.
3 Local minimisers and Sobolev regularity of their stress field
Definition 3.1
Let \(\Omega \subset {\mathbb {R}}^N\) be open. For all \({\mathcal {O}} \Subset \Omega \) let us consider the functionals \(J:W^{1,1} ({{\mathcal {O}}}) \rightarrow {\mathbb {R}}\) given by
We say that a function \(u \in W^{1,1}_{\textrm{loc}}(\Omega )\) is a local minimiser of J in \(\Omega \) if \(F(Du)\in L^1_{\textrm{loc}}(\Omega )\) and for any open \({{\mathcal {O}}} \Subset \Omega \) it holds
If F is \(C^1\), strictly convex and coercive, let \(\{{\bar{z}}\}=\textrm{Argmin}\, (F)\). It is readily checked that any local minimiser u of J defines a local minimiser \({\tilde{u}}(x)=u(x)-({\bar{z}}, x)\) for the functional \({\tilde{J}}\) given as in (3.1), but with \({\tilde{F}}(z)\) defined as in (2.9). In particular, we can assume that (2.7) holds true, i. e. that \({\bar{z}}=0\). If F is q. u. c., which will be assumed henceforth, using (2.14) for \({\bar{z}}=0\) gives
so that for all \(|z|>1\) it holds
In particular, any local minimiser for J in \(\Omega \) belongs to \(W^{1, 1+\frac{1}{H}}_{\textrm{loc}}(\Omega )\).
More precisely, despite the fact that q. u. c. integrands are per se anisotropic, they enjoy, together with their derivative, an isotropic growth control allowing to treat minimisation problems for J in standard Orlicz-Sobolev spaces. Indeed, after normalising F so that (2.7) holds true, we can let for \(t\ge 0\)
Notice that a is continuous on \([0, \infty [\) and positive for \(t>0\). Given \(0\le t_1<t_2\), since DF is a homeomorphism of \({\mathbb {R}}^N\), \(DF(B_{t_2})\) is an open neighbourhood of the closed set \(DF(\overline{B_{t_1}})\), thus \(a(t_2)>a(t_1)\), i. e. a is strictly increasing. By the quasisymmetry of DF, choosing \(z_0=0\) and \(|w|=t\) in (2.3), we obtain that for any \(z\in {\mathbb {R}}^N\) it holds
so that for any \(k\ge 0\), \(t\ge 0\), the monotonicity of \(\eta _H\) grants
Therefore A is a Young function, i. e. it is convex, increasing and fulfils
where the second equality follows from (3.3) for \(k=1/t\) and using \(\eta _H(1/t)^{-1}=t^{1/H}\) for \(t\ge 1\). The inverse of a is readily checked to be
which obeys a similar estimate as (3.3). It follows that A satisfies the \(\Delta _2\) condition
for \(C=C(H, N)\), and the same holds true for its Young conjugate defined as
(see the proof of [8, eq. (16.94)–(16.95)]).
Clearly
while the \(\delta \)-monotonicity and quasisymmetry of DF give
so that
The map DF enjoys similar isotropic bounds, namely,
where the first inequality follows from (2.3) as before, and it is furthermore possible to show that
(see the proof of [8, eq. (16.106)]).
Given an open set \({{\mathcal {O}}}\Subset \Omega \), it follows from (3.4) that
Using the fact that \({{\mathcal {O}}}\) has finite measure and A satisfies the \(\Delta _2\) condition, the summability of A(|Du|) can be equivalently stated as
equipped with the Luxembourg norm
Thanks to the \(\Delta _2\) condition on A, the so-called Orlicz-Sobolev space \(W^{1,A}({{\mathcal {O}}})\) so defined turns out to be a Banach space. Existence of local minimiser given, say, a boundary datum \(\varphi \in W^{1, A}(\Omega )\) for \(\Omega \) bounded is thus granted by minimising J on \(u+W^{1,A}_0(\Omega )\), the latter space being the closed vector space of those \(v\in W^{1, A}(\Omega )\) whose extension at zero outside \(\Omega \) belongs to \(W^{1,1}({\mathbb {R}}^N)\). Indeed, thanks to the validity of the \(\Delta _2\) condition on both A and \(A^*\), the Banach space \(W^{1,A}_0(\Omega )\) is reflexive by [36, p. 54], while J is convex and coercive by (3.4). Conversely, a local minimiser u on \(\Omega \) minimises \(J(\cdot , {{\mathcal {O}}})\) on \(u+W^{1, A}_0({{\mathcal {O}}})\) for any \({{\mathcal {O}}}\Subset \Omega \) and thus standard methods (see [37, Theorem 2.1]) ensure the validity of the Euler–Lagrange equation
Notice that for any \(u\in W^{1, A}({{\mathcal {O}}})\) the inequalities in (3.5) imply that \(|DF(Du)|\in L^{A^*}({{\mathcal {O}}})\) (thus a fortiori \(|DF(Du)|\in L^1({{\mathcal {O}}})\)) and therefore Hölder’s inequality in Orlicz spaces ensures that
is a well defined continuous linear functional. Thus, if for \({{\mathcal {O}}}\Subset \Omega \) a function \(u\in W^{1,A}({{\mathcal {O}}})\) fulfils
in the distributional sense, so it does also in the weak sense (3.6), thanks to the density of \(C^\infty _0({{\mathcal {O}}})\) in \(W^{1, A}_0({{\mathcal {O}}})\) granted by [36, Theorem 2.1] (here the \(\Delta _2\) condition on A alone is sufficient).
We summarise the previous discussion in the following proposition.
Proposition 3.2
Let \(N\ge 2\) and F be a q. u. c. integrand. A function \(u\in W^{1,1}_{\textrm{loc}}(\Omega )\) is a local minimiser for J in (3.1) if and only if \(F(Du)\in L^1_{\textrm{loc}}(\Omega )\) and
in the distributional sense.
The next proposition is essentially contained in [12, Theorem 3.3], but we will need the more explicit estimates given in its present form. It revolves around the Sobolev regularity of the stress field
Proposition 3.3
Let F be a H-q. u. c. function obeying (2.7) and let \(i_F\) be as in (2.8). Let u be a local minimiser for J, and let V be given by (3.7). Then, \(V\in W^{1,2}_{\textrm{loc}}(\Omega )\) with estimates
for a positive constant \(C=C(N, H)\) and all balls \(B_R\) such that \(B_{2R}\subseteq \Omega \).
Proof
From [12, Theorem 3.3, (3.10)] we know that
for a constant \(C=C(N, H, R)\). More precisely, setting
it holds (see [12, proof of Theorem 3.2] or Corollary 5.3 below)
for a constant C which henceforth depends only on H and N. On the other hand, by Poincaré inequality and this last estimate we have
We claim that
for a constant \(C=C(N, H)\). To this aim, for any \(t>0\) we proceed as follows
The first term on the above right-hand side is estimated by using the quasisymmetry of DF (2.1) as
while on the second term we use (2.13). Therefore (3.13) reduces to
Choose t such that
to get through (2.19)
Finally, notice that
for all \(t> 0\), so that taking (3.9) and (3.7) into account implies the validity of (3.12). Recalling (3.10) and (3.11) finally gives (3.8a) and (3.8b), respectively. \(\square \)
4 A regularising procedure
As customary, it will be convenient to work under the assumption that both the integrand and the minimiser under scrutiny are smooth. In order to do so, we introduce a family of regularised problems having the required smoothness and whose integrands and corresponding minimisers converge to the original problem.
Lemma 4.1
(Regularised problems) Let F be a H-q. u. c. function fulfilling (2.7) and let u be a local minimiser for J in \(W^{1,1}(\Omega )\). Then, for any ball \(B_{2R}\Subset \Omega \) there exists a sequence \(F_n\in C^\infty ({\mathbb {R}}^N)\) of H-q. u. c. integrands obeying (2.7) and
and a sequence of corresponding minimisers \(u_n\in C^{\infty }(B_{2R})\) of
such that
Proof
We set for brevity \(B=B_{2R}\) and \(p=1+1/H\). Fix an even \(\varphi \in C^\infty _c(B_1; [0, +\infty [)\) such that \(\Vert \varphi \Vert _1=1\) and use the notation of Proposition 2.6-(4). Notice that for any such \(\varphi \) it holds
so that Jensen inequality gives
Set
with \(\varepsilon _n\downarrow 0\) and \(\mu _n\downarrow 0\) to be chosen, so that \(F_n\) fulfils for each n all the conditions stated in the lemma. Notice that thanks to (3.2) and the convergence \(F_n \rightarrow F\) in \(C^1_{\text {loc}}({\mathbb {R}}^N)\) we have
respectively, for constants C independent of n.
Let, for sufficiently large n,
and consider the minimisation problem
According to [25, Theorem 9.2], there is a solution \(u_{n} \) of (4.4), which (see [38, p. 5923] and (3.2)) also solves
By [27, Theorem 4.1] there are constants \(A_{n}\ge 1\) (depending only on B and on the regularity of \(\psi _n\), but not on \(\varepsilon _{n}\), \(\mu _{n}\)) such that
The integrand F is therefore strongly elliptic on the range of \(Du_n\) since \(F_n\in C^\infty ({\mathbb {R}}^N)\) and
on \({\overline{B}}\), so that standard regularity theory gives \(u_n\in C^\infty ({\overline{B}})\). We first choose \(\mu _{n}\downarrow 0\) so that
Set
and observe that, since \(\varphi _{\varepsilon _n} * F\rightarrow F\) in \(C^1_{\textrm{loc}}({\mathbb {R}}^N)\) as \(\varepsilon _n\downarrow 0\) and \(M_{n}\) is independent of \(\varepsilon _{n}\), we can pick \((\varepsilon _{n})\subseteq (0, 1)\), \(\varepsilon _{n}\downarrow 0\), so that
Clearly, it still holds \(F_{n}\rightarrow F\) in \(C^{1}_{\textrm{loc}}({\mathbb {R}}^{N})\). We claim that (4.1) holds true with such choices.
By the minimality of \(u_{n}\), it holds \(J_n(u_n)\le J_n(\psi _n)\), while from (4.5) we get
In order to estimate the rightmost term of (4.7) we use (4.6) to have
while the vector-valued Jensen inequality implies
Therefore from (4.8) we have
which, inserted into (4.7), gives
In particular, \(J_n(u_n)\) is bounded and (4.3) then implies a uniform bound on \(Du_n\) in \(L^{p}(B)\). Moreover, since \(u_n-\psi _n\in W^{1, p}_0(B)\), then Poincaré’s inequality gives
so that \((u_{n})\) is bounded in \(L^{p}(B)\) as well. Therefore \((u_{n})\) possesses a (not relabeled) subsequence weakly converging in \(W^{1,p}(B)\) to some v and it is readily checked that \(v\in u+W^{1,p}_{0}(B)\). This in turn implies that (4.1b) is satisfied.
Now, since the map
is weakly lower semicontinuous in \(W^{1,p}(B)\) and \(F_n\ge F\) thanks to (4.2), we get
Coupling the latter with (4.9) gives \( J(v)\le J(u)\), implying \(v=u\) by the strict convexity of F. In particular, up to subsequences,
Therefore, from (4.10) and (4.9) we infer
that is (4.1a). We now apply Proposition 3.3 to \( DF_n(Du_n)\), thus obtaining
where the uniform bound holds thanks to equations (4.3) and (4.12), being \(B=B_{2R}\). Setting
we can pick a subsequence such that \(V_{n}\rightarrow V\) weakly in \(W^{1,2}(B_R)\), strongly in \(L^{2}(B_R)\), and pointwise a. e. in \(B_R\), for a suitable \(V\in W^{1,2}(B_R)\). Since \(DF_n^{-1}\rightarrow DF^{-1}\) locally uniformly thanks to Proposition 2.6-(4), we infer that \(DF_n^{-1}(V_n) \rightarrow DF^{-1}(V)\) a. e.. Then (4.13) implies that \(Du_n \rightarrow DF^{-1}(V)\) a. e., and in turn (4.11) allows the identification \(V=DF(Du)\). This shows (4.1c) and the proof is thus complete. \(\square \)
5 Caccioppoli inequality
In this section we prove a Caccioppoli-type inequality. To this aim, let us first show the following result, which is a simplification of [12, Lemma 3.1].
Lemma 5.1
Let P and S be \(N\times N\) symmetric matrices, with P positive definite. Then,
Proof
Let us observe that both sides of (5.1) are invariant by orthogonal change of basis, so we can assume that P is diagonal, with positive eigenvalues \(\lambda _1, \dots , \lambda _N\) obeying
for any \(i, j=1, \dots , N\). Then, if \(S=(a_{ij})\), we have
as claimed. \(\square \)
The next lemma ensures a Caccioppoli-type inequality on the super-level sets \(\{F(Du)\ge \ell (Du)\}\), where \(\ell \) is an arbitrary affine function. We will use it in the special case \(\ell (z)\equiv k\) with \(k\in {\mathbb {R}}\) but we’ll prove here the general case for future applications.
Lemma 5.2
(Caccioppoli Inequality) Let F be a smooth H-q. u. c. function and let \(u\in C^\infty (B_R)\). For V given by (3.7), assume that
Moreover, for a given affine function \(\ell :{\mathbb {R}}^N\rightarrow {\mathbb {R}}\), and all \(\rho <R\), set
Then, for all \(\rho <R\), it holds
Proof
Let \(\varepsilon >0\) and set \(V_\varepsilon =V+\varepsilon \, Du=DF(Du)+\varepsilon \, Du\). Differentiating the latter gives
where the matrices \(D^2F(Du)+\varepsilon \, \textrm{Id}\) and \(D^2u\) are symmetric positive definite and symmetric, respectively. By (2.5), we have
hence (5.1) gives \(|DV_\varepsilon |_2^2\le H \, (DV_\varepsilon , DV_\varepsilon ^t)_2\). Letting \(\varepsilon \downarrow 0\) provides
We want to integrate the above inequality over \(A( \ell , r)\), for \(r< R\), assuming for the moment that \(\{F(Du)=\ell (Du)\}\) is a \(C^1\) hypersurface in \(B_R\). Using the divergence theorem gives
where n denotes the exterior normal to \(\partial A( \ell , r)\) and where we used the fact that (5.2) implies \({\text {div}}\,V_j=0\) for all \(j= 1, \dots , N\). To compute the last integral in (5.5), notice that
so that
Let \(x \in B_r \cap \{F(Du)=\ell (Du)\}\) and compute
so that
being \(D^2F\) non-negative definite. Then the previous inequality implies that the rightmost integral in (5.5) evaluated on \(B_r \cap \{F(Du)=\ell (Du)\}\) has a negative sign and hence (5.5) reduces to
where in the last step we used the Schwarz inequality.
Let now \(\zeta \) be the function given by
with first derivative
Let \(\varphi \in C^\infty ([0, R])\) with \(\varphi (R)=0\). We multiply (5.6) by \(\varphi ^2\) and integrate in [0, R]. Taking (5.7) into account, integrating by parts and using the fact that \(\varphi (R)= \zeta (0)=0\), we get
which simplifies to
Fix \(0< \rho < R\). Taking advantage of the monotonicity of the functions
we then have
which implies
for
A minimiser for this problem is found by noting that all competitors \(\varphi \) can be assumed constant on \([0, \rho ]\) and, by homogeneity, this constant can be set to 1. Then a minimiser must be the first eigenfunction of \(-\frac{d^2}{dr^2}\) on \(]\rho , R[\) with mixed homogeneous Dirichlet (at \(r=R\)) and Neumann (at \(r=\rho \)) boundary conditions, normalised with the condition \(\varphi (\rho )=1\). Through elementary considerations, the latter is
so that an explicit computation gives
and (5.4) follows.
To remove the assumption that the set \(\{F(Du)=\ell (Du)\}\) is \(C^1\) in \(B_R\), we invoke Sard’s theorem. Since \(F(Du)-\ell (Du)\) is smooth by assumption, almost every level set of it is smooth. Therefore \(\{F(Du)=\ell (Du)+k\}\) is smooth, for a. e. \(k\in {\mathbb {R}}\). Given a sequence \(k_n\downarrow 0\) of such smooth levels, we can repeat the same argument as before, starting from (5.5), thus arriving to
Note that for \(\rho =r, R\), it holds \(\chi _{A(\ell +k_n, \rho )}\downarrow \chi _{A(\ell , \rho )}\) pointwise, so we can pass to the limit in (5.8) by monotone (or dominated) convergence, and in turn (5.4) holds true also in this case. \(\square \)
We report the following consequence, already present in [12, proof of Theorem 3.2], for the sake of completeness.
Corollary 5.3
Let F be a H-q. u. c. function, let u be a local minimiser for J in \(\Omega \) in the sense of Definition 3.1 and let V be given by (3.7). Then,
for \(C=C(H, N)\) and all balls \(B_R\) such that \(B_{4R}\subseteq \Omega \).
Proof
By using Lemma 4.1 on \(B_{2R}\) we can suppose that both F and u are smooth, since for the regularised problems the left-hand side of (5.9) is lower semicontinuous with respect to the weak convergence in \(W^{1,2}(B_R)\), while the right-hand side is (up to subsequences) convergent. We thus apply Lemma 5.2 for \(\ell (z)\equiv \min F\) to get
for all \(0<\rho<r<2R\). Let E be a continuous extension operator
The Gagliardo-Nirenberg inequality [39, Theorem 12.83] ensures that
for \(C=C(N)\), so that by the continuity of E
for a bigger constant depending on the operator norms of \(E:L^1(B_1; {\mathbb {R}}^N)\rightarrow L^1(B_2; {\mathbb {R}}^N)\) and \(E:W^{1,2}(B_1; {\mathbb {R}}^N)\rightarrow W^{1,2}_0(B_2; {\mathbb {R}}^N)\). For any \(\varepsilon >0\) we apply to the previous estimate Young’s inequality with exponents \((N+2)/2\) and \((N+2)/N\) to get
which rescales to
for all \(U\in W^{1,2}(B_r; {\mathbb {R}}^N) \) and for some \(C=C(N)>0\). Choose
and apply (5.11) with \(U=V\) and such \(\varepsilon \) to (5.10) to get
for all \(0<\rho<r<2R\). An application of [40, Lemma 3.1, Ch. 5] shows that then
which, for \(r=2R\), \(\rho =R\), provides (5.9). \(\square \)
6 A family of 1-homogeneous functions
Let F be a H-q. u. c. function. In this section we gather the basic properties of the function
and of the family of Minkowski functionals related to it, namely,
for any \(k \ge 0\). Note that, since DF is a homeomorphism of \({\mathbb {R}}^N\), the function in (6.1) is well defined.
Proposition 6.1
Let F be a H-q. u. c. function fulfilling (2.7). Then, G is coercive and for any \(k\ge 0\) the set \(\{G\le k\}\) is star-shaped with respect to the origin.
Proof
We apply (2.13) with the vector \(DF^{-1}(z)\) and use (2.7) to have
Furthermore, the quasisymmetry (2.3) of \(DF^{-1}\) together with \(DF^{-1}(0)=0\) give
Gathering the previous inequalities and making use of (2.19) and (2.17) we have
thus proving the coercivity of G. In particular for any \( k>0\) the set \(\{G\le k\}\) is compact with nonempty interior.
Let us now show that \(\{G\le k\}\) is star shaped with respect to the origin. Since \(G(0)=0\) by the normalisation (2.7), it suffices to show that for any \(z\in {\mathbb {S}}^{N-1}\) the function \(t \mapsto G(t\, z)\) is nondecreasing. To this end, suppose first that \(F\in C^2({\mathbb {R}}^N)\) fulfils
for some \(\mu >0\) independent of z. Then DF is a diffeomorphism and it holds
therefore
proving the claim. In the general case, thanks to Proposition 2.6-(4), we know that any H-q. u. c. function F can be approximated in \(C^1\) by a sequence \((F_n)\) of \(C^2\) and H-q. u. c. functions obeying (6.3), and such that \(DF_n^{-1} \rightarrow DF^{-1}\) locally uniformly. Hence, \(G_n=F_n\circ DF_n^{-1}\rightarrow G\) locally uniformly, too. It follows that \(t\mapsto G(t\, z)\) is nondecreasing, being the pointwise limit of a sequence of nondecreasing functions. The proof is thus complete. \(\square \)
Remark 6.2
In general, the sets \(\{w\in {\mathbb {R}}^N: G(w)\le k\}=\{DF(z): F(z)\le k\}\) are not convex, so that the functions \(g_k\) defined in (6.2) may fail to be norms. Moreover, by employing the approximation in (2.15) in the previous proof, we see that the H-q. u. convexity assumption is not needed to prove the second statement of the previous proposition and, given any convex \(F\in C^1({\mathbb {R}}^N)\) obeying (2.7), the sets \(\{ DF(z): F(z)\le k\}\), while not convex in general, are always star-shaped with respect to the origin.
Proposition 6.3
Let F be a \(C^2\) and H-q. u. c. function obeying (2.7) and
Then, the following holds:
-
1.
\(g_k\) is a Lipschitz 1-homogeneous function with
$$\begin{aligned} \textrm{Lip}\, (g_k)\le H\, \sup _{{\mathbb {S}}^{N-1}} g_k. \end{aligned}$$(6.5) -
2.
For some \(C=C(H, N)>0\) it holds
$$\begin{aligned} \sup _{{\mathbb {S}}^{N-1}} g_k\le C\, \inf _{{\mathbb {S}}^{N-1}} g_k. \end{aligned}$$(6.6) -
3.
There exists \(C=C(H, N)>0\) such that for any \(k\ge h>0\)
$$\begin{aligned} \inf _{\{G\ge k\}}(g_h-1)\ge \frac{1}{C}\, \min \left\{ \left( \frac{k-h}{h}\right) ^H, \left( \frac{k-h}{h}\right) ^{\frac{1}{H(H+1)}}\right\} . \end{aligned}$$(6.7)
Proof
Since DG given in (6.4) doesn’t vanish outside the origin, the implicit function theorem implies that the boundary \(\partial \{G\le k\}=\{G=k\}\) is a \(C^1\)-hypersurface and therefore \(g_k\) is \(C^1\) outside the origin. By construction \(g_k\) is positively 1-homogeneous, hence it fulfils
while by construction it holds
From the last property, in particular, it holds \(g_ k\equiv 1\) on \( \{G= k\}\), and therefore the Lagrange multiplier rule gives \(Dg_ k(z)=\alpha (z)\, DG(z)\) for some \(\alpha (z)\ge 0\) and all \(z\in \{G= k\}\). This, together with (6.8), implies that on \(\{G= k\}\) we have
and in turn
Let \(z\in \{G= k\}\). Thanks to (6.4) we get
Let \(\Lambda (w)\) and \(\lambda (w)\) be the maximum and minimum eigenvalues of \(D^2F\) at w, respectively. Then it holds
Therefore, thanks to (6.11), (6.12), and (2.5) we have
Therefore we can use (6.13) with the vector \(\displaystyle \frac{z}{g_k(z)}\), thus obtaining
This proves (6.5). To verify (6.6), notice that under the stated assumptions on F the map \(t\mapsto G(t\, z)\) is strictly increasing on \(]0, +\infty [\), hence \(\{g_k=1\}=\{G=k\}\). By the 1-homogeneity of \(g_k\), it then holds
Since \(\{G\le k\}\) is star-shaped with respect to the origin, we can choose \({\bar{x}}\) and \({\bar{y}}\) in \(\{G= k\}\) such that
By (2.3) applied to DF and (2.7) we have
By the definition of G, it holds \(DF^{-1}({\bar{x}}), \, DF^{-1}({\bar{y}}) \in \{F= k\}\), hence (2.14) gives
so that
Inserting this estimate into (6.14) gives us the conclusion.
Finally, to prove the last assertion, let us fix \(k>h\), choose \({\tilde{x}}\) such that
and set
Then in holds \(g_h({{\tilde{y}}})=1\), so that \({{\tilde{y}}}\in \{G=h\}\). Set furthermore
By the definition of \({{\tilde{x}}}\) and \({{\tilde{y}}}\) and the 1-homogeneity of \(g_h\) it follows that
Using the distortion estimate (2.3) to the map \(DF^{-1}\) gives
so that, by (2.20) for the function \(\eta _H^{-1}\) we obtain
which inserted into (6.16) reads as
By (6.15) we have
To estimate the rightmost integral in the above inequality we use (2.3) for the map DF (recalling that \(DF(0)=0\)) and (2.18) to have
Therefore (6.18) simplifies to
On the other hand, (2.13) implies
Gathering the previous two inequalities gives
Since
we can rewrite (6.19) as
and recalling (6.17) gives
where we used (2.20), (2.21) to clean up the estimate. Using (2.17) gives (6.7) and then the conclusion. \(\square \)
7 Proof of the main result
Theorem 7.1
Let F be a H-q. u. c. function obeying (2.7) and let u be a local minimiser for J in \(\Omega \) in the sense of Definition 3.1. Then, there exists a constant \(C=C(H, N)>0\) such that, for any \(B_R\) with \(B_{2R}\subseteq \Omega \), u is locally Lipschitz and satisfies the estimate
Proof
Let us suppose for the moment that both F and u are smooth in \(B_{2R}\). Moreover, by considering \(F/i_F\) (see (2.8)), we can also suppose that
Fix \(R>r>0\) and set \({\bar{R}}=\dfrac{R+r}{2}\). Choose \(\varphi \in C^\infty _c(B_{{\bar{R}}}; [0,1])\) such that
For any \(k\ge 0\) we consider the Minkowski functional of \(\{G \le k\}\) defined as in (6.2), with G given by (6.1), which satisfies by construction
Let V be given by (3.7). It holds \(\varphi \, (g_ k(V)-1)_+\in W^{1,2}_0(B_{{\bar{R}}})\) and thanks to (7.4)
where we set
i. e. equation (5.3) for the affine function \(\ell (z)\equiv k\). Then the Sobolev embedding and the chain rule give
In order to estimate the above right-hand side, for the first term we use (7.4) and (7.3) to achieve
while for the second term we apply the chain rule and inequalities (7.4) and (6.5) to have
To further estimate the last integral, we use the Caccioppoli inequality (5.4) with \(\rho ={\bar{R}}< R\), which results in
Moreover, we observe that \(g_k(V)\ge 1\) on A(k, R), hence the 1-homogeneity of \(g_k\) implies that
From (7.8), (7.9) and (6.6) we have that (7.7) simplifies to
which, inserted into (7.5) together with (7.6), gives
with a constant \(C=C(H)\).
Let now \(0<h<k\) and observe that
therefore (6.7) gives
so that
Inserting this estimate into (7.10) gives for \(0<h< k<2\, h\)
where in the second inequality we used the fact that
and the bound
Estimate (7.12) in conjunction with (7.11) allows for a De Giorgi-type iteration, whose proof we include here for completeness. For \( 0<h<k<2h\), we apply Hölder’s inequality, (7.12), (7.11) and (7.13) to have
Let \(M>0\) to be chosen and set for \(n\ge 0\)
so that \(\lim _{n \rightarrow \infty } k_n= M\) and \(\lim _{n\rightarrow \infty } r_n= R/2\). An elementary computation shows that
therefore (7.14) with the viable choice \(k=k_{n+1}\) and \(h=k_n\) reads as
for some positive \(b= b(H, N)\) and \(C=C(H, N)\).
Thanks to [41, Lemma 7.1], it holds
Moreover, from \(X_n\rightarrow 0\) it follows that
which in turn by (7.4) forces \(F(Du)\le M\) a. e. in \(B_{R/2}\). Let us use this information to write explicitly the implication in (7.15). Since \(r_0=R\) and \( k_0=M/2\), it reads as
for some \(c=c(H, N)>0\). It remains to choose \(M>0\) in such a way that the first inequality in (7.16) holds true. We aim to obtain an upper bound for \(g_{M/2}\) in terms of an upper bound for G. To get the latter, we recall that by (2.7) the following convexity inequality
holds true. We choose \(z=DF^{-1}(y)\) and then use the quasisymmetry (2.3) of \(DF^{-1}\) to obtain
for some \(C=C(H, N)>0\) and for all \(y\in {\mathbb {R}}^N\), \(w\in {\mathbb {R}}^N{\setminus }\{0\}\). Choose \(w=DF(z)\) for arbitrary z such that \(|z|=1\) to get
Moreover, the normalisation (7.2) implies that \(1/|DF(z)| \le 1\) for all z such that \(|z|= 1\) which, together with the monotonicity of \(\eta _H\), implies that the previous inequality reads as
Choosing \(\displaystyle y= \frac{z}{g_{M/2}(z)}\) yields, by the very definition of \(g_{M/2}\),
which, solved with respect to \(g_{M/2}(z)\), gives through (2.19) and (2.20)
Therefore
In order to satisfy the assumption of (7.16), we can then choose M so that
i. e., rearranging and using (2.19) again,
for some \(c=c(H, N)>0\), which is readily solved through (2.20) as
Now recall that by (3.8) it holds
Then, thanks to (2.21) and again (2.20) it is sufficient to require
Choosing M such that the equality in (7.17) holds true gives, thanks to (7.16), that \(F(Du)\le M\) in \(B_{R/2}\), with the estimate
We can then remove assumption (7.2) to get, for a general \(i_F>0\),
We next take advantage of the invariances of this estimate. For any \(\lambda >0\), the function \(u_\lambda (x)=\lambda \, u(x)\) is a local minimiser in \(\Omega \) for the functional \(J_\lambda \) having integrand
In particular, (7.18) holds true also for such \(F_{\lambda }, u_{\lambda }\), that is,
Notice that \(F_\lambda \) is still H-q. u. c. and that
For any z, w of unit norm, the distortion estimate (2.3) applied first to the vectors \(z/\lambda , w\) and then to \(w, z/\lambda \) gives
respectively, so that
for all \(|z|=1\). Taking the infimum for such z’s and using (7.20) give
Since DF is \(H^{N-1}\)-quasiconformal, it is also locally 1/H-Hölder continuous and so is the map \(t\mapsto |DF(t\, z)|\). It follows that \(\lambda \mapsto i_{F_\lambda }\) is continuous on \(]0, +\infty [\), being an infimum of locally equicontinuous functions. Moreover, it fulfils
Thanks to the intermediate value theorem we can then choose \(\lambda \) so that
For such \(\lambda \) and corresponding \(u_\lambda \), \(F_\lambda \), (7.19) becomes (7.1), since
and
This gives us the conclusion in the smooth case.
To remove the smoothness assumption on F and u, let \(F_n\) and \(u_n\) be the regularised approximations obtained thanks to Lemma 4.1. Then we can apply the same argument as before to \(F_n, u_n\), thus obtaining
Now observe that (4.1) allows to assume (up to subsequences) that \(DF_n(Du_n)\rightarrow DF(Du)\) pointwise a. e. in \(B_{2R}\), while Proposition 2.6-(4) ensures that \(DF_n^{-1}\rightarrow DF^{-1}\) locally uniformly, so that both \(Du_n\rightarrow Du\) and \(F(Du_n)\rightarrow F(Du)\), pointwise a. e. in \(B_{R}\). This observation and the first estimate in (4.1) allow to pass to the limit in (7.21), thus obtaining again the conclusion. \(\square \)
Data availability
Data sharing not applicable to this article and no datasets were generated or analyzed during the current study.
Notes
In this possibly non-variational setting, the energy considered is given by the integral of \(({{\mathcal {A}}}(Du), Du)\).
As we will see, if \(\textrm{e}\) is uniformly bounded it always holds \(F(2\, z)\le C\, F(z)\).
References
Giaquinta, M.: Growth conditions and regularity, a counterexample. Manuscr. Math. 59, 245–248 (1987). https://doi.org/10.1007/BF01158049
Marcellini, P.: Un esemple de solution discontinue d’un probléme variationnel dans le case scalaire. Ist. Mat. U. Dini no. 11, Firenze (1987). http://web.math.unifi.it/users/marcell/ricerca/elenco_lavori.html
Kovalev, L.V., Maldonado, D.: Mappings with convex potentials and the quasiconformal Jacobian problem. Ill. J. Math. 49, 1039–1060 (2005)
Kovalev, L.V.: Quasiconformal geometry of monotone mappings. J. Lond. Math. Soc. 75, 391–408 (2007). https://doi.org/10.1112/jlms/jdm008
Bonk, M., Heinonen, J., Saksman, E.: The quasiconformal Jacobian problem. In: The Tradition of Ahlfors and Bers, III, Contemporary in Mathematics, vol. 355, pp. 77–96. American Mathematical Society, Providence (2004)
Cianchi, A., Maz’ya, V.: Global gradient estimates in elliptic problems under minimal data and domain regularity. Commun. Pure Appl. Anal. 14, 285–311 (2015). https://doi.org/10.3934/cpaa.2015.14.285
Lieberman, G.: The natural generalization of the natural conditions of Ladyzhenskaya and Ural’tseva for elliptic equations. Comm. Part. Differ. Equ. 16, 311–361 (1991). https://doi.org/10.1080/03605309108820761
Astala, K., Iwaniec, T., Martin, G.J.: Elliptic Partial Differential Equations and Quasiconformal Mappings in the Plane. Princeton Mathematical Series, vol. 48. Princeton University Press, Princeton and Oxford (2009)
Kuusi, T., Mingione, G.: Guide to nonlinear potential estimates. Bull. Math. Sci. 4, 1–82 (2014). https://doi.org/10.1007/s13373-013-0048-9
Cianchi, A., Maz’ya, V.: Global Lipschitz regularity for a class of quasilinear elliptic equations. Comm. Part. Differ. Equ. 36, 100–133 (2011). https://doi.org/10.1080/03605301003657843
Beck, L., Mingione, G.: Lipschitz bounds and nonuniform ellipticity. Commun. Pure Appl. Math. 73, 944–1034 (2020). https://doi.org/10.1002/cpa.21880
Guarnotta, U., Mosconi, S.: A general notion of uniform ellipticity and the regularity of the stress field for elliptic equations in divergence form. Anal. PDE 6, 66 (2023)
Ball, J.M.: Convexity conditions and existence theorems in nonlinear elasticity. Arch. Ration. Mech. Anal. 63, 337–403 (1977). https://doi.org/10.1007/BF00279992
Tartar, L.: Compensated compactness and applications to partial differential equations. In: Nonlinear analysis and mechanics: Heriot–Watt Symposium, Vol. IV, vol. 39 of Research Notes in Mathematics, pp. 136–212. Pitman, Boston (1979)
DiPerna, R.J.: Compensated compactness and general systems of conservation laws. Trans. Am. Math. Soc. 292, 383–420 (1985). https://doi.org/10.2307/2000221
Müller, S., Šverák, V.: Convex integration with constraints and applications to phase transitions and partial differential equations. J. Eur. Math. Soc. 1, 393–422 (1999). https://doi.org/10.1007/s100970050012
Kirchheim, B., Müller, S., Šverák, V.: Studying nonlinear PDE by geometry in matrix space. In: Hildebrandt, S., Karcher, H. (eds.) Geometric Analysis and Nonlinear Partial Differential Equations, pp. 347–395. Springer, Berlin (2003)
Van Schaftingen, J.: Limiting Sobolev inequalities for vector fields and canceling linear differential operators. J. Eur. Math. Soc. 15, 877–921 (2013)
De Lellis, C., Székelyhidi, L.: The Euler equations as a differential inclusion. Ann. Math. 170, 1417–1436 (2009). https://doi.org/10.4007/annals.2009.170.1417
Iwaniec, T., Manfredi, J.J.: Regulairity of \(p\)-harmonic functions on the plane. Rev. Math. Iberoam. 5, 1–19 (1989). https://doi.org/10.4171/RMI/82
Arroyo-Rabasa, A., De Philippis, G., Hirsch, J., Rindler, F., Skorobogatova, A.: Higher integrability for measures satisfying a PDE constraint. ArXiv preprint arXiv:2106.03077 (2023)
Guerra, A., Raiţă, B., Schrecker, M.: Compensation phenomena for concentration effects via nonlinear elliptic estimates. ArXiv preprint arXiv:2112.10657
Cianchi, A., Maz’ya, V.: Global boundedness of the gradient for a class of nonlinear elliptic systems. Arch. Ration. Mech. Anal. 212, 129–177 (2014). https://doi.org/10.1007/s00205-013-0705-x
Cozzi, M., Farina, A., Valdinoci, E.: Gradient bounds and rigidity results for singular, degenerate, anisotropic partial differential equations. Comm. Math. Phys. 331, 189–214 (2014). https://doi.org/10.1007/s00220-014-2107-9
Stampacchia, G.: On some regular multiple integral problems in the calculus of variations. Comm. Pure Appl. Math. 16, 383–421 (1963). https://doi.org/10.1002/cpa.3160160409
Hartman, P., Stampacchia, G.: On some non-linear elliptic differential-functional equations. Acta Math. 115, 271–310 (1966). https://doi.org/10.1007/BF02392210
Bousquet, P., Brasco, L.: Global Lipschitz continuity for minima of degenerate problems. Math. Ann. 366, 1403–1450 (2016). https://doi.org/10.1007/s00208-016-1362-9
Bousquet, P., Brasco, L., Leone, C.: Singular orthotropic functionals with nonstandard growth conditions. ArXiv preprint arXiv:2211.07308 (2023)
Väisälä, J.: Lectures on n-Dimensional Quasiconformal Mappings. Springer, Berlin (1971)
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Conformal invariants, quasiconformal maps, and special functions. In: Vuorinen, M. (Ed.), Quasiconformal Space Mappings, Lecture Notes in Mathematics, vol. 1508. Springer, Berlin (1992). https://doi.org/10.1007/BFb0094235
Astala, K., Iwaniec, T., Martin, G.J.: Monotone maps of \(\mathbb{R} ^N\) are quasiconformal. Methods Appl. Anal. 15, 31–37 (2008). https://doi.org/10.4310/MAA.2008.v15.n1.a4
Rockafellar, R.T.: Second-order convex analysis. J. Nonlinear Convex Anal. 1, 1–16 (2000)
Watson, G.S.: Serial correlation in regression analysis. I. Biometrika 42, 327–341 (1955)
Dijkstra, J.J.: On homeomorphism groups and the compact-open topology. Am. Math. Mon. 112, 910–912 (2005). https://doi.org/10.2307/30037630
Iwaniec, T.: The failure of lower semicontinuity for the linear dilatation. Bull. Lond. Math. Soc. 30, 55–61 (1998). https://doi.org/10.1112/S0024609397003299
Donaldson, T.K., Trudinger, N.S.: Orlicz–Sobolev spaces and imbedding theorems. J. Funct. Anal. 8, 52–75 (1971). https://doi.org/10.1016/0022-1236(71)90018-8
DeGiovanni, M., Marzocchi, M.: On the Euler–Lagrange equation for functionals of the calculus of variations without upper growth conditions. SIAM J. Control Optim. 48, 2857–2870 (2009). https://doi.org/10.1137/090747968
Bousquet, P., Mariconda, C., Treu, G.: On the Lavrentiev phenomenon for multiple integral scalar variational problems. J. Funct. Anal. 226, 5921–5954 (2014). https://doi.org/10.1016/j.jfa.2013.12.020
Leoni, G.: A First Course in Sobolev Spaces. Graduate Studies in Mathematics, vol. 181, 2nd edn. American Mathematical Society, Providence (2017)
Giaquinta, M.: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. Annals of Mathematical Studies, Princeton University Press, Princeton (1983)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Company, Singapore (2003)
Acknowledgements
We thank prof. L. Kovalev for improving a preliminary version of the paper. The authors are member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Funding
Open Access funding enabled and organized by Projekt DEAL. This work was supported by the Deutsche Forschungsgemeinschaft (DFG) under Grant GZ: MA 10100/1-1 Project Number 496629752; by the projects PIACERI linea 2 and linea 3 of the University of Catania; and by the GNAMPA’s projects Equazioni alle derivate parziali di tipo ellittico o parabolico con termini singolari and Problemi ellittici e parabolici con termini di reazione singolari e convettivi.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Jan Kristensen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Marino, G., Mosconi, S. Lipschitz regularity for solutions of a general class of elliptic equations. Calc. Var. 63, 25 (2024). https://doi.org/10.1007/s00526-023-02632-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02632-1