Abstract
We prove that manifold constrained p(x)-harmonic maps are locally \(C^{1,\beta _{0}}\)-regular outside a set of zero n-dimensional Lebesgue’s measure, for some \(\beta _{0} \in (0,1)\). We also provide an estimate from above of the Hausdorff dimension of the singular set.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We prove local \(C^{1,\beta _{0}}\)-partial regularity for manifold constrained p(x)-harmonic maps. More precisely, we consider local minimizers of the functional
where \(p(\cdot )\) and \(k(\cdot )\) are Hölder continuous functions (see \((\mathrm {P1})\)-\((\mathrm {P2})\) and \((\mathrm {K1})\)-\((\mathrm {K2})\) below for the precise assumptions), \(\Omega \subset \mathbb R^n\), \(n\ge 2\), is an open, bounded set and \(\mathcal {M}\subset \mathbb {R}^{N}\), \(N\ge 3\), is an m-dimensional, compact submanifold endowed with a suitable topology. We refer to Sect. 1 for the precise notation. Our final outcome is that there exists a relatively open set \(\Omega _{0}\subset \Omega \) of full n-dimensional Lebesgue measure such that \(u \in C^{1,\beta _{0}}_{\mathrm {loc}}(\Omega _{0},\mathcal {M})\) for some \(\beta _{0}\in (0,1)\) and \(\Sigma _{0}(u):=\Omega \setminus \Omega _{0}\) has Hausdorff dimension at the most equal to \(n-\gamma _{1}\). Moreover, after imposing some extra restrictions on the variable exponent \(p(\cdot )\), we are able to provide a further reduction to the Hausdorff dimension of the singular set of \(\mathcal {M}\)-constrained minimizers of the \(p(\cdot )\)-energy
Let us put our results into the context of the available literature. Functionals with variable growth exponent modelled on the one in (0.2) have been introduced in the setting of Calculus of Variations and Homogenization in the fundamental works of Zhikov [51,52,53,54]. Energies as in (0.2) also occur in the modelling of electro-rheological fluids, a class of non-newtonian fluids whose viscosity properties are influenced by the presence of external electromagnetic fields [3, 43]. As for regularity, the first result in the vectorial case has been obtained by Coscia and Mingione in [8], where it is shown that local minimizers of energy (0.2) are locally \(C^{1,\beta }\)-regular in the unconstrained case. This is the optimal generalization of the classical results of Uhlenbeck concerning the standard case when \(p(\cdot )\) is a constant. We refer to [32, 33, 36, 39, 48, 49] for a survey of regularity results in the p-growth case, both for scalar and vector valued minimizers. Subsequently, the regularity theory of functionals with variable growth has been developed in a series of interesting papers by Ragusa, Tachikawa and Usuba [40,41,42, 46, 47], where the authors established partial regularity results for unconstrained minimizers that are on the other hand obviously related to the constrained case. Especially, in [46] Tachikawa gives an interesting partial regularity result and some singular set estimates for a class of functionals related to the constrained minimization problem in which minimizers are assumed to take values in a single chart. This generalizes the well-known results of Giaquinta and Giusti [22] valid in the case of quadratic functionals with special structure. In this paper we finally tackle the case of local minimizers with values into a manifold, provided that suitable topological assumptions are considered on the manifold \(\mathcal {M}\) and optimal regularity conditions are in force on \(p(\cdot )\) and \(k(\cdot )\). Our first main result is the following:
Theorem 1
Let \(u \in W^{1,p(\cdot )}(\Omega , \mathcal {M})\) be a local minimizer of the functional in (0.1), where \(p(\cdot )\) satisfies assumptions \((\mathrm {P1})\)-\((\mathrm {P2})\), \(k(\cdot )\) satisfies \((\mathrm {K1})\)-\((\mathrm {K2})\) and \(\mathcal {M}\) is as in \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\). Then there exists a relatively open set \(\Omega _{0}\subset \Omega \) such that \(u \in C^{1,\beta _{0}}_{\mathrm {loc}}(\Omega _{0},\mathcal {M})\) for some \(\beta _{0}\in (0,1)\), and \(\mathcal {H}^{n-\gamma _{1}}(\Omega \setminus \Omega _{0})=0\).
By strengthening further the assumptions on the variable exponent \(p(\cdot )\), we are then able to provide a better dimension estimate for the singular set. This is in the following:
Theorem 2
Let \(u \in W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) be a constrained local minimizer of energy (0.2), where \(p(\cdot )\in Lip(\Omega )\), \(\gamma _{1}\ge 2\) and \(\mathcal {M}\) is as in \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\). Then,
-
i.
if \(n\le [\gamma _{1}]+1\), then u can have only isolated singularities;
-
ii.
if \(n>[\gamma _{1}]+1\), then the Hausdorff dimension of the singular set is at the most \(n-[\gamma _{1}]-1\).
As they are stated, our results are the natural generalization of the classical ones in [27, 28, 34, 44] for the case \(p(\cdot )\equiv \) constant. For the vectorial quasiconvex case with standard p-growth we refer to the recent work of Hopper [31]. The extension we make here to the variable exponent case requires a number of non-trivial additional ideas and tools, in particular as far as the dimension estimates stated in Theorem 2 are concerned. This is also related to the recent, aforementioned paper of Tachikawa [46], and it is based on the use of a suitable monotonicity formula. We remark that the variable exponent functional in (0.1) is a significant instance of functionals with (p, q)-growth (following the terminology introduced by Marcellini, [37, 38]). These are variational integrals of the type \(w\mapsto \int F(x,Dw) \ dx\), where the integrand \(F(\cdot )\) satisfies
The study of such functionals has undergone an intensive development over the last years, see for instance [5, 11, 15, 35, 37,38,39]. Another prominent model in this class is the so called Double Phase energy, where
This model shares several features with the variable growth exponent and has been again introduced by Zhikov in [53]. Indeed, here once again the growth exponent with respect to the gradient variable is determined by the space variable x, since the ellipticity type changes according to the the positivity of the coefficient \(a(\cdot )\). There are several analogies between the variable exponent energy and the double phase one. In particular, one should notice the similarities between the use of the Gehring’s Lemma-based reverse Hölder inequalities made here and the reverse Hölder inequality coming from fractional differentiability exploited in [6, 7]. Moreover, compare the use of localization methods based on p-harmonic type approximation implemented here and in [4]. Such analogies point to a unified approach to non-autonomous functionals with (p, q)-growth conditions, partially implemented in [9]. We plan to investigate this in the context of constrained minimizers in a forthcoming paper [10].
2 Notation, main assumptions and functional setting
Throughout this paper, \(\Omega \) denotes an open, bounded subset of \(\mathbb {R}^{n}\) with \(n\ge 2\) and the target space will be a submanifold of \(\mathbb {R}^{N}\), \(N\ge 3\). As usual, we denote by c a general constant larger than one. Different occurrences from line to line will be still indicated by c and relevant dependencies from certain parameters will be emphasized using brackets, i.e.: c(n, p) means that c depends on n and p. We denote \(B_{r}(x_{0}):=\left\{ x \in \mathbb {R}^{n}:|x-x_{0}|<r\right\} \) the open ball centered in \(x_{0}\) with radius \(r>0\); when not relevant, or clear from the context, we shall omit indicating the center: \(B_{r}\equiv B_{r}(x_{0})\). Moreover, for integer \(k\ge 1\), by \(\omega _{k}\) we mean the k-dimensional Lebesgue measure of the unit ball \(B_{1}(0)\subset \mathbb {R}^{k}\). Along the paper, k will assume values N or m. When referring to balls in \(\mathbb {R}^{k}\), \(k\in \{m,N\}\), we will stress it with an apex “k”, i.e.: \(B^ {k}_{r}(a_{0})\) is the open ball with center \(a_{0}\in \mathbb {R}^{k}\) and positive radius r. For \(\alpha ,\beta \in \{1,\cdots ,n\}\) and \(i,j\in \{1,\cdots ,N\}\), we set \(\delta ^{\alpha \beta }\equiv 0\), \(\delta _{ij}\equiv 0\) if \(\alpha \not =\beta \), \(i\not =j\) respectively and \(\delta ^{\alpha \alpha }=\delta _{ii}\equiv 1\). With \(U\subset \mathbb {R}^{n}\) being a measurable subset with positive, finite Lebesgue measure \(0<|U|<\infty \) and with \(f:U\rightarrow \mathbb {R}^{k}\) being a measurable map, we shall denote by
its integral average. In particular, when \(U\equiv B_{r}(x_{0})\), we will indicate only the radius and, if necessary, the centre of the ball, i.e.: \((f)_{r}\equiv (f)_{r,x_{0}}:=(f)_{B_{r}(x_{0})}\). For \(g:\Omega \rightarrow \mathbb {R}^{k}\) and \(U\subset \Omega \), with \(\gamma \in (0,1]\) being a given number we shall denote
It is well known that the quantity defined above is a seminorm and when \([g]_{0,\gamma ;U}<\infty \), we will say that g belongs to the Hölder space \(C^{0,\gamma }(U,\mathbb {R}^{k})\). Let us turn to the main assumptions that will characterize our problem. When considering the functional in (0.1), the exponent \(p(\cdot )\) will always satisfy
while the coefficient \(k(\cdot )\) is so that
hold true. Clearly, in hypotheses \(\text{(P1) }\)-\(\text{(K1) }\) there is no loss of generality in supposing \(\alpha =\nu \), since in the forthcoming estimates only \(\min \left\{ \alpha ,\nu \right\} \) will be relevant, so, for simplicity, from now on we will assume \(p(\cdot )\), \(k(\cdot )\in C^{0,\alpha }(\Omega )\). These assumptions are optimal in order to get local Hölder continuity for the gradient of a minimizer of problem (0.1). This is evident already in the scalar, linear case, (Schauder estimates). For any given ball \(B_{r}\Subset \Omega \), we denote
Notice that there is no loss of generality in assuming \(\gamma _{1}<\gamma _{2}\), otherwise \(p(\cdot )\equiv {\text {const}}\) on \(\Omega \), and in this case the problem is very well understood, [23, 27, 28, 34, 44, 45]. Furthermore, we need to impose some topological restriction on the manifold \(\mathcal {M}\). Precisely, we ask that
Here [x] denotes the integer part of x. We refer to Sect. 2 for a detailed description of the geometry of \(\mathcal {M}\). Finally, for shorten the notation we shall collect the main parameters of the problem in the quantity
As to fully clarify the framework we are going to adopt, we need to introduce some basic terminology on the so-called Musielak-Orlicz-Sobolev spaces. Essentially, these are Sobolev spaces defined by the fact that the distributional derivatives lie in a suitable Musielak-Orlicz space, rather than in a Lebesgue space as usual. Classical Sobolev spaces are then a particular case. Such spaces and related variational problems are discussed for instance in [29, 54], to which we refer for more details. Here, we will consider spaces related to the variable exponent case in both unconstrained and manifold-constrained settings.
Definition 1
Given an open set \(\Omega \subset \mathbb {R}^{n},\) the Musielak-Orlicz space \(L^{p(\cdot )}(\Omega ,\mathbb {R}^{k})\), \(k\ge 1\), with \(p(\cdot )\) satisfying \(\mathrm {(P1)}\)-\(\mathrm {(P2)}\), is defined as
and, consequently,
The variants \(W^{1,p(\cdot )}_{0}(\Omega ,\mathbb {R}^{k})\) and \(W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathbb {R}^{k})\) are defined in an obvious way.
It is well known that, under assumptions \((\mathrm {P1})\)-\((\mathrm {P2})\), the set of smooth maps is dense in \(W^{1,p(\cdot )}(\Omega ,\mathbb {R}^{k})\), see e.g. [15, 51, 53, 54]. Following [9, 31] we also recall the analogous definition of such spaces when mappings take values into \(\mathcal {M}\).
Definition 2
Let \(\mathcal {M}\) be a compact submanifold of \(\mathbb {R}^{k}\), \(k\ge 3\), without boundary and \(\Omega \subset \mathbb {R}^{n}\) an open set. For \(p(\cdot )\) satisfying \(\text{(P1) }\)-\((\text{ P2 })\), the Musielak-Orlicz-Sobolev space \(W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) of functions into \(\mathcal {M}\) can be defined as
The local space \(W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathcal {M})\) consists of maps belonging to \(W^{1,p(\cdot )}(U,\mathcal {M})\) for all open sets \(U\Subset \Omega \).
When \(\text{(P1) }\)-\(\text{(P2) }\) and \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\) are in force, a quick modification of [9, Lemma 6] shows that Lipschitz maps are dense in \(W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) as well. Of course, when \(p(\cdot )\equiv {\text {const}}\), Definitions 1 and 2 reduce to the classical Sobolev spaces \(W^{1,p}(\Omega ,\mathbb {R}^{k})\) and \(W^{1,p}(\Omega ,\mathcal {M})\) respectively. Owing to the \(p(\cdot )\)-growth behavior of the integrand in (0.1), we display our definition of local minimizer.
Definition 3
A map \(u\in W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathcal {M})\) is a constrained local minimizer of the functional \(\mathcal {E}(\cdot )\) defined in (0.1) if and only if
for all open sets \(U\Subset \Omega \) and all \(w\in W^{1,p(\cdot )}_{u}(U,\mathcal {M})\), where
In Definition 3, local minimizers are given as maps belonging to the local space \(W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathcal {M})\). We stress that, since all the regularity properties of constrained local minimizers treated in this work are of local nature, there is no loss of generality in assuming that \(u \in W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) and that \(x\mapsto k(x)|Du(x)|^{p(x)}\in L^{1}(\Omega )\), see the statements of Theorems 1-2.
Remark 1
By continuity, all the constants depending on certain fixed values of the map \(p(\cdot )\) are stable when \(p(\cdot )\) varies in the interval \([\gamma _{1},\gamma _{2}]\). Thus, whenever a constant depends on some \(p \in [\gamma _{1},\gamma _{2}]\), this dependence will be denoted by only mentioning \(\gamma _{1}\) and \(\gamma _{2}\), i.e.: \(c(p)\equiv c(\gamma _{1}, \gamma _{2})\).
3 Preliminaries
We shall split this section into two parts. In the first one, we collect some basic results concerning the regularity of minimizers of certain type of functionals and in the second one we will give a detailed description of the topology of \(\mathcal {M}\), together with some extension lemmas, which will turn fundamental in order to construct suitable comparison maps in some steps of the proofs of Theorems 1 and 2.
3.1 Known regularity results
We start by reporting a Lipschitz estimate for the gradient and a decay estimate for the excess functional of unconstrained local minimizers of functionals of the p-laplacean type.
Proposition 1
[2, 20, 24] Let \(\Omega \subset \mathbb {R}^{n}\) be an open, bounded set, \(p\in (1,\infty )\), \(0<\lambda <\Lambda \) and \(0<\mathcal {l}<L\) be absolute constants, \(g^{\alpha \beta }\) and \(h_{ij}\) be constant matrices, uniformly elliptic in the sense that
uniformly bounded, \([g^{\alpha \beta }]=[g_{\alpha \beta }]^{- 1}\); \(\alpha ,\beta \in \{1,\cdots ,n\}\), \(i,j\in \{1,\cdots ,k\}\). Then, if \(v\in W^{1,p}(\Omega ,\mathbb {R}^{k})\) is a local minimizer of the integral functional
where \(k_{0}\in [\lambda ,\Lambda ]\) is a constant, then for all \(B_{\varrho }\subset B_{r}\Subset \Omega \) the following reference estimates hold:
for \(c=c(n,k,\lambda ,\Lambda ,\mathcal {l},L,p)\) and \(\mu =\mu (n,k,\lambda ,\Lambda ,\mathcal {l},L,p)\).
The following result is a p-harmonic approximation lemma, which will play a crucial role in the proof of Theorem 1. We will state it in the form which better fits our necessities.
Lemma 1
[12] Let \(\Omega \subset \mathbb {R}^{n}\) be an open subset and \(p\in (1,\infty )\). For every \(\tilde{\theta }>0\) and \(\tilde{d} \in (0,1)\) there exists \(\tilde{\delta }>0\) depending only on \(\tilde{\theta }\), \(\tilde{d}\), p, such that the following holds. Let \(B_{r}\subset \mathbb {R}^{n}\) be a ball and \(\tilde{B}_{r}\) denote either \(B_{r}\) or \(B_{2r}\). If \(v\in W^{1,p}(\tilde{B}_{r},\mathbb {R}^{k})\) is almost p-harmonic in the sense that
for all \(\varphi \in C^{\infty }_{c}(B_{r},\mathbb {R}^{k})\), then the unique map \(\tilde{h} \in W^{1,p}(B_{r},\mathbb {R}^{k})\), solution to the Dirichlet Problem
satisfies
The next are a couple of simple inequalities which will be used several times throughout the paper. They are elementary, see e.g.: [8, 40, 46].
Lemma 2
The following inequalities hold true.
-
i.
For any \(\varepsilon _{0}>0\), there exists a constant \(c=c(\varepsilon _{0})\) such that for all \(t\ge 0\), \(l\ge m\ge 1\) there holds \( |t^{l}-t^{m}|\le c(l-m)\left( 1+t^{(1+\varepsilon _{0})l}\right) . \)
-
ii.
For \(t \in (0,1]\), consider the function \(g(t):=t^{-ct^{\gamma }}\), where \(c>0\) is an absolute constant and \(\gamma \in (0,1]\). Then \(\lim _{t\rightarrow 0}g(t)=1\) and \(\sup _{t \in (0,1]}g(t)\le \exp (c/\gamma )\).
We conclude this section by recalling another fundamental tool in regularity theory, which will help establishing the behavior of certain quantities.
Lemma 3
[21] Let \(h:[\varrho , R_{0}]\rightarrow \mathbb {R}\) be a non-negative, bounded function and \(0<\theta <1\), \(0\le A\), \(0<\beta \). Assume that \( h(r)\le A(d-r)^{-\beta }+\theta h(d), \) for \(\varrho \le r<d\le R_{0}\). Then \( h(\varrho )\le cA/(R_{0}-\varrho )^{-\beta } \) holds, where \(c=c(\theta , \beta )>0\).
3.2 Some extension results
We report some results concerning locally Lipschitz retractions. They have been extensively used in the realm of functionals with p-growth, see [27, 28, 31]. For integrands exihibiting (p, q)-growth they were used for the first time in [9], to prove that if the Lavrentiev phenomenon does not occur in the unconstrained case, then it is absent also in presence of a geometric constraint. According to assumptions \((\mathcal {M}1)\)-\((\mathcal {M}2)\), \(\mathcal {M}\subset \mathbb {R}^{N}\) is a compact, m-dimensional \(C^{3}\) Riemannian submanifold, \(\partial \mathcal {M}=\emptyset \) and, in particular, \(\mathcal {M}\) is \([\gamma _{2}]-1\) connected. Let us clarify this concept.
Definition 4
[31] Given an integer \(j\ge 0\), a manifold \(\mathcal {M}\) is said to be j-connected if its first j homotopy groups vanish identically, that is \(\pi _{0}(\mathcal {M})=\pi _{1}(\mathcal {M})=\cdots =\pi _{j-1}(\mathcal {M})=\pi _{j}(\mathcal {M})=0\).
It is reasonable to expect some good properties in terms of retractions for this kind of manifolds endowed with a relatively simple topology, as the following lemma shows.
Lemma 4
Let \(\mathcal {M}\subset \mathbb {R}^{N}\), \(N\ge 3\) be a compact, j-connected submanifold for some integer \(j \in \{1,\cdots , N-2\}\) contained in an N-dimensional cube Q. Then there exists a closed \((N-j-2)\)-dimensional Lipschitz polyhedron \(X\subset Q\setminus \mathcal {M}\) and a locally Lipschitz retraction \(\psi :Q\setminus X \rightarrow \mathcal {M}\) such that for any \(x \in Q\setminus X\), \( |D\psi (x)|\le c/{\text {dist}}(x,X) \) holds, for some positive \(c=c(N,j,\mathcal {M})\).
Proof
See e.g., [28, Lemma 6.1] for the original proof, or [31, Lemma 4.5] for a simplified version relying on some Lipschitz extension properties of maps between Riemannian manifolds. \(\square \)
A major technical obstruction one can face when dealing with manifold-constrained variational problems is finding comparison maps which satisfy the constraint (notice that, without further regularity details on minimizers, we cannot localize in the image). Precisely, we are no longer allowed to use convex combinations of a minimizer with a suitable cutoff function as to realize valid competitors for the problem. Hence, given any \(w \in W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega , \mathbb {R}^{N})\), we overcome this issue by applying Lemma 4 to assure a local control on the \(L^{p(\cdot )}\)-norm of the gradient of a suitable projected image of w in terms of the \(L^{p(\cdot )}\)-norm of w itself. This is the content of the next lemma.
Lemma 5
(Finite energy extension.) Let \(\mathcal {M}\) be as in \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\) and \(U\Subset \Omega \) an open subset of \(\Omega \) with Lipschitz boundary. Given \(w \in W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathbb {R}^{N})\cap L^{\infty }_{\mathrm {loc}}(\Omega , \mathbb {R}^{N})\) with \(w(\partial U)\subset \mathcal {M}\), there exists \(\tilde{w}\in W^{1,p(\cdot )}_{w}(U,\mathcal {M})\) satisfying \( \int _{U}|D\tilde{w}|^{p(x)} \ dx\le c\int _{U}|Dw|^{p(x)} \ dx, \) where \(c=c(N,\mathcal {M},\gamma _{2})\).
Proof
Following [31, Section 2.2], we define \(\text{ Unp }(\mathcal {M})\) as the set of all \(x \in \mathbb {R}^{N}\) for which there exists a unique point of \(\mathcal {M}\) nearest to x and, for \(a\in \mathcal {M}\), we denote by \(\text{ reach }(\mathcal {M},a)\) the supremum of the set of all numbers \(r>0\) for which \(\{x\in \mathbb {R}^{N}:|x-a|<r\}\subset \text{ Unp }(A)\). Then, we can set \(\text{ reach }(\mathcal {M}):=\inf _{a\in \mathcal {M}}\text{ Reach }(\mathcal {M},a)\). Notice that, by assumptions \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\), \(\text{ reach }(\mathcal {M})>0\), see [17, 28, 31]. Now, if for some \(0<\sigma <\mathrm {reach}(\mathcal {M})\), \(V:=\left\{ a \in \mathbb {R}^{N}:{\text {dist}}(a,\mathcal {M})<\sigma \right\} \) is a neighbourhood with the nearest point property, then the metric projection \(\Pi :\overline{V}\rightarrow \mathcal {M}\) associating to any \(a\in \overline{V}\) the unique \(a_{0}\in \mathcal {M}\) such that \({\text {dist}}(a,\mathcal {M})=|a-a_{0}|\), is Lipschitz continuous and \(\overline{V}\) and \(\mathcal {M}\) are homotopy equivalent spaces with \(\pi _{i}(\overline{V})=\pi _{i}(\mathcal {M})\) for all \(i \in \{0,\cdots , [\gamma _{2}]-1\}\), see e.g.: [30, Proposition 1.17] for more details on this matter. Since \(\mathcal {M}\) is compact and w is bounded, there exists an N-dimensional cube Q such that \(\mathcal {M}\subset \overline{V}\subset Q\) and \({\text {dist}}(w,\mathcal {M})\le \frac{1}{2}{\text {dist}}(\mathcal {M},\partial Q)\) almost everywhere. By Lemma 4 with \(j\equiv [\gamma _{2}]-1\), there exists a locally Lipschitz retraction \(\psi :Q\setminus X \rightarrow \overline{V}\) for some \((N-[\gamma _{2}]-1)\)-dimensional Lipschitz polyhedron \(X\subset Q\setminus \overline{V}\), which, by construction stands strictly away from \(\mathcal {M}\). Thus we have a map \(P:=\Pi \circ \psi :Q\setminus X\rightarrow \mathcal {M}\), satisfying
for \(c=c(N,\mathcal {M})\). By a change of variables, the definition of the dual skeleton, the fact that \(\mathcal {M}\) is \(([\gamma _{2}]-1)\)-connected and \(\dim (X)\le N-[\gamma _{2}]-1\), there holds:
for a finite, positive constant \(c=c(N,\mathcal {M},\gamma _{2})\). Now, for a sufficiently small \(0<\varrho <\min \left\{ \frac{\sigma }{2},\frac{{\text {dist}}(\mathcal {M},\partial Q)}{2}\right\} \) and a point \(a \in B^{N}_{\varrho }\), denote the translations \(Q_{a}:=\left\{ b+a:\ b\in Q \right\} \) and \(X_{a}:=\left\{ b+a:\ b \in X\right\} \), so that one can define the retraction \(P_{a}:Q_{a}\setminus X_{a}\rightarrow \mathcal {M}\) given by \(P_{a}(b):=P(b-a)\). Then, by the chain rule, Fubini’s theorem, (2.6) and (2.7) we obtain
where \(c=c(N,\mathcal {M},\gamma _{2})\). Estimate (2.8) and Markov’s inequality then render the existence of a positive \(c=c(N,\mathcal {M},\gamma _{2})\) and a \(\tilde{a}\in B^{N}_{\varrho }\) so that
where again \(c=c(N,\mathcal {M},\gamma _{2})\). Since \(w(\partial U)\subset \mathcal {M}\), the map \(\tilde{w}:=(\left. P_{\tilde{a}}\right| _{\mathcal {M}})^{-1}\circ P_{\tilde{a}}\circ w\) is well defined and given that the inverse map \(P_{\tilde{a}}^{-1}\) is Lipschitz on \(\mathcal {M}\), from (2.9) we conclude that \( \int _{U}|D\tilde{w}|^{p(x)} \ dx \le c\int _{U}|Dw|^{p(x)} \ dx, \) with \(c=c(N,\mathcal {M},\gamma _{2})\). Moreover, since \(w(\partial U)\subset \mathcal {M}\), by construction we have that \(\left. \tilde{w}\right| _{\partial U}=\left. w\right| _{\partial U}\) and this concludes the proof. \(\square \)
Lemma 5 will be particularly helpful when \(U\) is a ball \(B_{r}\) or an annulus \(B_{r}\setminus B_{\varrho }\) for a proper choice of r and \(\varrho \).
4 Partial regularity
In this section we first collect a couple of essential inequalities, some basic regularity results stemming only from the minimality condition and then carry out the proof of Theorem 1.
4.1 Basic regularity results
The first result is Poincaré’s inequality, well known in the unconstrained case, see [14, Theorem 3.1], and since it is valid for any map \(w \in W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega , \mathbb {R}^{N})\), it transfers verbatim for functions in \(W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega , \mathcal {M})\). However, given that we are dealing with bounded maps (\(\mathcal {M}\) is compact), we present a simplified proof, including also the case in which the domain is an annulus \(A_{r\theta }:=B_{r}\setminus B_{r(1-\theta )}\) for some \(0<\theta <1\).
Lemma 6
(Poincaré’s inequality) Let \(w \in L^{\infty }_{\mathrm {loc}}(\Omega ,\mathbb {R}^{N})\cap W^{1,p(\cdot )}_{\mathrm {loc}}(\Omega ,\mathbb {R}^{N})\), with \(p(\cdot )\) satisfying \(\text{(P1) }\)-\(\text{(P2) }\) and \(B_{r}\Subset \Omega \), \(0<r\le 1\). Then, there holds
with \(c=c(n,N,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha ,||w ||_{L^{\infty }(B_{r})})\). Furthermore, if for some \(0<\theta <1\), \(w \in L^{\infty }(A_{r\theta },\mathbb {R}^{N})\cap W^{1,p(\cdot )}(A_{r\theta },\mathbb {R}^{N})\) is such that \(\left. w\right| _{\partial B_{r}}=0\), then
for \(c=c(n,N,\gamma _{1},\gamma _{2},[p]_{0,\alpha }, \alpha ,||w ||_{L^{\infty }(A_{r\theta })})\).
Proof
Fix \(B_{r}\Subset \Omega \), \(0<r\le 1\). From assumptions \(\text{(P1) }\)-\(\text{(P2) }\), Lemma 2 (ii.), (1.1) and the standard Poincaré’s inequality holding for \(p\equiv p_{1}(r)\) we obtain
with \(c=c(n,N,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha ,||w ||_{L^{\infty }(B_{r})})\). In the same way, for \(w\in L^{\infty }(A_{r\theta },\mathbb {R}^{N})\cap W^{1,p(\cdot )}(A_{r\theta },\mathbb {R}^{N})\) such that \(\left. w\right| _{\partial B_{r}}=0\), we have
for \(c(n,N,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha ,||w ||_{L^{\infty }(A_{r\theta })})\). Here we denoted \(p_{1}(r\theta ):=\inf _{x\in A_{r\theta }}p(x)\) and \(p_{2}(r\theta ):=\sup _{x\in A_{r\theta }}p(x)\). \(\square \)
As to successfully implement Lemma 1, we also need an intrinsic version of Sobolev-Poincaré’s inequality.
Lemma 7
(Intrinsic Sobolev-Poincaré’s inequality) Let \(p\in (1,\infty )\) and \(w \in W^{1,p}_{\mathrm {loc}}(\Omega ,\mathbb {R}^{N})\). Then, there exist a positive \(c=c(n,N,p)\) and exponents \(d_{1}>1\) and \(0<d_{2}<1\) such that
holds whenever \(B_{r}\Subset \Omega \) is such that \(0<r \le 1\). Here, \(d_{1}=d_{1}(n,N,p)\) and \(d_{2}=d_{2}(n,N,p)\).
Proof
We start by considering the case \(1<p\le n\). Fix any \(\gamma \in \left( \max \left\{ \frac{1}{p},\frac{n}{n+p}\right\} ,1\right) \) and notice that \(w \in W^{1,\gamma p}_{\mathrm {loc}}(\Omega ,\mathbb {R}^{N})\) for all such \(\gamma \). From the standard Sobolev-Poincaré’s inequality we obtain
for \(c=c(n,N,p,\gamma )\), but, being \(\gamma \) ultimately influenced only by n and p, we can conclude that \(c=c(n,N,p)\). Choosing \(d_{1}:=\frac{n\gamma }{n-\gamma p}>1\) since \(\gamma >\frac{n}{n+p}\), and \(d_{2}:=\gamma <1\) we obtain the thesis. Now, if \(p>n\), then there exists \(\gamma \in \left( n/p,1\right) \) so that \(p\gamma >n\). Let \(\kappa :=1-n/(\gamma p)\). From Morrey’s embedding theorem we then have
for \(c=c(n,N,p)\). Fixing \(d_{1}:=\gamma ^{-1}\) and \(d_{2}:=\gamma \) we can conclude.
Remark 2
Since \(\mathcal {M}\) is compact, for a function w taking values in \(\mathcal {M}\) the dependence of the constants appearing in the inequalities in Lemma 6 on the \(L^{\infty }\)-norm of w will be expressed as a dependence on \(\mathcal {M}\).
In the following lemma, we present a Caccioppoli-type inequality, which is fundamental for regularity.
Lemma 8
(Caccioppoli-type inequality) Let \(u \in W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) be a constrained local minimizers of (0.1). Then, for any ball \(B_{r}\Subset \Omega \) there holds
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\).
Proof
With \(0<r/2\le s<t\le r\le 1\) we determine a cutoff function \(\eta \in C^{1}_{c}(B_{r})\) such that \(\chi _{B_{s}}\le \eta \le \chi _{B_{t}}\) and \(|D\eta |\le 2(t-s)^{-1}\) and define the map \(w:=u-\eta (u-(u)_{r})\). By construction, \(w \in W^{1,p(\cdot )}(B_{t},\mathbb {R}^{N})\cap L^{\infty }(B_{t},\mathbb {R}^{N})\) and \(\left. w\right| _{\partial B_{t}}=\left. u\right| _{\partial B_{t}}\), so Lemma 5 renders a map \(\tilde{w}\in W^{1,p(\cdot )}_{u}(B_{t},\mathcal {M})\) which is an admissible competitor for u in problem (0.1) and satisfies
for \(c=c(N,\mathcal {M},\gamma _{1},\gamma _{2})\). The minimality of u, \(\text{(K2) }\), the features of \(\eta \), (3.3) and (1.1) give
with \(c=c(N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). Now we are in position to apply Widman’s hole filling technique and Lemma 3 to conclude that
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\). Here we also used assumption \(\text{(P1) }\), definition (1.1) and Lemma 2 (ii.). \(\square \)
The next step consists in proving an interior higher integrability result for local minimizers of (0.1).
Lemma 9
Let \(u\in W^{1,p(\cdot )}(\Omega , \mathcal {M})\) be a constrained local minimizer of (0.1). Then there esists a positive integrability threshold \(\tilde{\delta }_{0}=\tilde{\delta }_{0}(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\) such that
and, for any \(B_{r}\Subset \Omega \)
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\).
Proof
For a fixed \(B_{r}\Subset \Omega \), combining Lemmas 8 and 7 with \(p\equiv p_{1}(r)\), we end up with
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\). Here we also used \(\text{(P1) }\)-\(\text{(P2) }\), Lemma 2 (ii.) and Hölder’s inequality. Now, an application of Gehring-Giaquinta-Modica’s lemma, [26, Chapter 6] renders the existence of a positive \(\tilde{\delta }_{0}=\tilde{\delta }_{0}(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1}, \gamma _{2},[p]_{0,\alpha },\alpha )\) so that
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\), for all \(\delta \in [0,\tilde{\delta }_{0})\). Finally, after a standard covering argument, we obtain that \(|Du|^{(1+\delta )p(\cdot )}\in L^{1}_{\mathrm {loc}}(\Omega )\) for all \(\delta \in [0,\tilde{\delta }_{0})\). \(\square \)
Remark 3
Before proceding further we need to stress that, if \(B_{r}\Subset \Omega \) and \(w\in W^{1,p}(B_{r},\mathbb {R}^{N})\) is such that \(w\equiv 0\) on \(U\subset B_{r}\) with \(|U|>\tilde{c}|B_{r}|\) for some positive, absolute \(\tilde{c}\), then Sobolev-Poincaré’s inequality gives
for \(c=c(n,N,p,\tilde{c})\). Here \(p_{*}:=\max \left\{ 1,\frac{np}{n+p}\right\} \), as usual.
The following lemma is an up to the boundary higher integrability result. The argument is well-known to specialists, see [1, 40], and it essentially relies on the fact that Caccioppoli’s inequality can be carried up to the boundary. However, we did not manage to find in the literature a proof for the manifold-constrained case, so we shall report it here.
Lemma 10
Let \(p \in [\gamma _{1},\gamma _{2}]\), \(u \in W^{1,p}_{\mathrm {loc}}(\Omega ,\mathcal {M})\) be such that \(|Du|^{p(1+\delta _{1})}\in L^{1}_{\mathrm {loc}}(\Omega )\) for some \(\delta _{1}>0\) and let \(v\in W^{1,p}_{u}(B_{r},\mathcal {M})\) be a solution to the Dirichlet problem
where \(k_{0}\in [\lambda ,\Lambda ]\) is a positive constant and \(B_{r}\Subset \Omega \) is any ball with \(r \in (0,1]\). Then there exists a positive integrability threshold \(\tilde{\sigma }_{0}\in (0,\delta _{1})\) such that
Here \(\tilde{\sigma }_{0}=\tilde{\sigma }_{0}(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\) and \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\).
Proof
With \(x_{0}\in B_{r}\), let us fix a ball \(B_{\varrho }(x_{0})\subset \mathbb {R}^{n}\), \(0<\varrho \le 1\). We start with the case in which \(|B_{\varrho }(x_{0})\setminus B_{r}|>|B_{\varrho }(x_{0})|/10\). Let us fix parameters \(0<\varrho /2\le s<t\le \varrho \) and consider \(\eta \in C^{1}_{c}(B_{t}(x_{0}))\) such that \(\chi _{B_{s}(x_{0})}\le \eta \le \chi _{B_{t}(x_{0})}\) and \(|D\eta |\le 2(t-s)^{-1}\). The function \(w:=v-\eta (v-u)\) coincides with v on \(\partial B_{r}\) and on \(\partial (B_{r}\cap B_{t}(x_{0}))\) in the sense of traces, so Lemma 5 with \(p(\cdot )\) equal to constant p, provides us with a map \(\tilde{w}\in W^{1,p}_{v}(B_{r}\cap B_{t}(x_{0}),\mathcal {M})\) such that
for \(c=c(N,\mathcal {M},\gamma _{1},\gamma _{2})\). The minimality of v in the Dirichlet class \(W^{1,p}_{v}(B_{r}\cap B_{t}(x_{0}),\mathcal {M})\) and (3.5) render
for \(c=c(N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). By filling the hole and applying Lemma 3, we get
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). Notice that we can extend \(v-u\equiv 0\) outside \(B_{r}\), since \(u-v \in W^{1,p}_{0}(B_{r},\mathbb {R}^{N})\), so there are no discontinuities on \(\partial (B_{r}\cap B_{\varrho }(x_{0}))\). Recalling also that \(|B_{\varrho }(x_{0})\setminus B_{r}|>|B_{\varrho }(x_{0})|/10\), from (3.4) we have that
for \(c=c(n,N,\gamma _{1},\gamma _{2})\). Averaging in the previous display and keeping in mind that \(|B_{\varrho }(x_{0})\cap B_{r}|\le |B_{\varrho }(x_{0})|\), we obtain
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). Coupling (3.6) and (3.7) we get, by triangle and Hölder’s inequalities,
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). We next consider the situation when it is \(B_{\varrho }(x_{0})\Subset B_{r}\). In this case, we can apply the standard Sobolev-Poincaré’s inequality, thus getting, as in the interior case, (Lemma 9 with \(p(\cdot )\) equal to constant p),
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). The two cases can be combined via a standard covering argument. Precisely, upon defining
we get
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). At this point, by a variant of Gehring’s Lemma, we obtain that there exists a positive \(\tilde{\sigma }_{0}=\tilde{\sigma }_{0}(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\) such that \(0<\tilde{\sigma }_ {0}<\delta _{1}\) and
for all \(\sigma \in [0,\tilde{\sigma }_{0})\) where \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\), see [25, Theorem 3 and Proposition 1, Chapter 2]. From (3.8) and the minimality of v within the Dirichlet class \(W^{1,p}_{u}(B_{r},\mathcal {M})\) we can conclude that
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). \(\square \)
The next corollary allows recovering some useful estimates for the average of the gradient of solutions to problem (0.1).
Corollary 3
Let \(u \in W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) be a constrained local minimizer of (0.1). Then, for any \(B_{r}\subset \Omega \) with \(r\in (0,1]\), such that \(B_{4r}\Subset \Omega \) there holds
where \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\) and \(\delta \in (0,\tilde{\delta }_{0})\), where \(\tilde{\delta }_{0}\) is the higher integrability threshold given by Lemma 9.
Proof
Inequality (3.9) comes from an application of Lemma 8 and the boundedness of u. In fact we have
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\). On the other hand, combining Lemmas 9 and 8, we have
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\), for any \(\delta \in (0,\tilde{\delta }_{0})\).
4.2 Proof of Theorem 1
Now we are ready to prove Theorem 1. For the reader’s convenience, we shall split the proof in seven steps.
Step 1: comparison, first time. We define \(\delta _{0}:=\frac{1}{2}\min \left\{ \tilde{\delta }_{0},1\right\} \), where \(\tilde{\delta }_{0}\) is the higher integrability threshold from Lemma 9. Notice that by \(\text{(P1) }\), the set
is open and by Lemma 9, \(|Du|^{(1+\delta _{0})p(\cdot )}\in L^{1}(\Omega ^{+})\), thus \(u \in W^{1,n+\frac{\delta _{0}}{4}}(\Omega ^{+},\mathcal {M})\). An application of Morrey’s embedding theorem then renders that \(u \in C^{0,\beta '}(\Omega ^{+},\mathcal {M})\) with \(\beta ':=\frac{\delta _{0}}{4n+\delta _{0}}\). We will treat this case in Step 7, so, from now on, \(\gamma _{2}<n\) holds. We set
and fix a \(\tilde{R}_{*}\in (0,1]\) so small that
is satisfied on \(\bar{B}_{\tilde{R}_{*}}\equiv \bar{B}_{\tilde{R}_{*}}(x_{0})\Subset \Omega \). Clearly this condition transfers on any ball \(B_{r}(x_{1})\subset B_{\tilde{R}_{*}}\). We select also an \(R_{*}\in (0,\tilde{R}_{*}/2)\), whose size will be specified along the proof. Now notice that, since Lemma 9 holds true for all balls \(B_{4r}\subset B_{R_{*}}\subset B_{\tilde{R}_{*}}\), \(|Du|^{(1+\delta )p_{1}(2r)}\in L^{1}(B_{2r})\) for all \(\delta \in (0,\delta _{0}]\). Therefore, by (3.13) and assumption \(\text{(P1) }\) it easily follows that
so, recalling that \(\sigma _{0}<\delta _{0}\), we get
On such a ball we impose the following smallness condition on the energy: there exists an \(\varepsilon \in (0,1)\), whose size will be fixed later on, such that
Let \(v\in W^{1,p_{2}(2r)}_{u}(B_{r},\mathcal {M})\) be a solution to the frozen Dirichlet problem
where \(k_{0}:=k(x_{0})\) is the value the coefficient \(k(\cdot )\) attains in the centre of \(B_{r}\). Needless to say, being \(\text{(K2) }\) in force, \(k(\cdot )\) ranges between two positive, absolute constants \(\lambda \) and \(\Lambda \), so none of the estimates we will provide is going to depend on \(x_{0}\). By minimality, v solves the Euler-Lagrange equation
for any \(\varphi \in W^{1,p_{2}(2r)}_{0}(B_{r},\mathbb {R}^{N})\cap L^{\infty }(B_{r},\mathbb {R}^{N})\), where, for \(y \in \mathcal {M}\), \(A_{y}:T_{y}\mathcal {M}\times T_{y}\mathcal {M}\rightarrow (T_{y}\mathcal {M})^{\perp }\) denotes the second fundamental form of \(\mathcal {M}\). In particular, by tangentiality,
where \(c_{\mathcal {M}}\) depends only on the geometry of \(\mathcal {M}\), see [45, Appendix to Chapter 2]. In all the forthcoming estimates, any dependency on \(c_{\mathcal {M}}\) of the constants will always be denoted as a dependency on \(\mathcal {M}\), i.e.: \(c(c_{\mathcal {M}})\equiv c(\mathcal {M})\). From (3.15), the compactness of \(\mathcal {M}\) and the fact that \(\left. v\right| _{\partial B_{r}}=\left. u\right| _{\partial B_{r}}\), we see that the map \(\varphi :=u-v\) is admissible in (3.18). Let us define
where \(\tilde{\sigma }_{0}\) is the boundary higher integrability threshold given by Lemma 10. Now, exploiting assumptions (P2)-(K2), (3.19)\(_{2}\) and Hölder’s inequality we estimate
where \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). Using Lemma 10, (3.20), Hölder’s inequality, (1.1), assumptions \(\text{(P1) }\)-\(\text{(P2) }\), (3.14), Lemma 9, (3.16) and Lemma 2 (ii.) we have
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\). On the other hand, by Poincaré’s inequality, the minimality of v in class \(W^{1,p_{2}(2r)}_{u}(B_{r},\mathcal {M})\) and (3.16) we bound
for \(c=c(n,N,\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\). Inserting the content of the previous two displays in (3.21) we obtain
for \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[p]_{0,\alpha },\alpha )\). For the ease of notation, if \(z\in \mathbb {R}^{N\times n}\), let us name \(g(z):=k_{0}|z|^{p_{2}(2r)}\). The convexity of \(g(\cdot )\) and (3.18) then render
with \(c=c(n,N,\lambda ,\gamma _{1},\gamma _{2})\). From this and (3.22) we obtain
with \(c=c(n, N,\mathcal {M}, \lambda ,\Lambda ,\gamma _{1},\gamma _{2}, [p]_{0,\alpha },\alpha )\). Using this time the minimality of u, we see that
Recall the definitions of \(\sigma _{0}\) and of \(k_{0}\). From assumptions \(\text{(K1) }\)-\(\text{(K2) }\) and \(\text{(P1) }\)-\(\text{(P2) }\), Lemma 2 (i.) with \(\varepsilon _{0}\equiv \sigma _{0}/2\), (3.14), Lemma 9 and (3.16) we obtain
where \(c=c(\texttt {data})\) and \(\kappa :=\alpha -\gamma _{2}\sigma _{0}>0\) because of (3.12). Choosing now \(\sigma \) as in (3.20), using also Lemma 10 and (3.14), in a totally similar way we get
where we set \(\varepsilon _{0}\equiv \sigma \) while applying Lemma 2 (i.). Here \(c=c(\texttt {data})\) and \(\kappa >0\) is as before. All in all, remembering that, by definition, \(0<\sigma <\sigma _{0}\), we can conclude
Since the next estimates will be slightly different for the cases \(p_{2}(2r)\ge 2\) or \(1<p_{2}(2r)<2\), we introduce the quantities
Now, if \(p_{2}(2r)\ge 2\), then we directly have
while, if \(1<p_{2}(2r)<2\), by Hölder’s inequality and the minimality of v we obtain
Coupling estimates (3.25) and (3.26), we can conclude in any case that
where \(c=c(\texttt {data})\). As mentioned before, our choice of \(\sigma _{0}\) assures the positivity of \(\kappa _{1}\) as well.
Step 2: harmonic approximation. We aim to apply Lemma 1 in order to obtain an unconstrained \(p_{2}(2r)\)-harmonic map suitably close to v. Hence, we need to transfer condition (3.16) from u to v. From the minimality of v in class \(W^{1,p_{2}(2r)}_{u}(B_{r},\mathcal {M})\) and (3.16) we see that
where we set \(c_{*}:=\frac{ 2^{n-\gamma _{1}}\Lambda }{\lambda \omega _{n}}+1\). Now we claim that v is approximately \(p_{2}(2r)\)-harmonic in the sense of (2.3). This is actually the case: in fact, with reference to the terminology used in Lemma 1, let \(\tilde{d}\equiv d_{2}\), where \(d_{2}\in (0,1)\) is the exponent given by Lemma 7, pick any \(\tilde{\theta }\in (0,1)\) and let \(\tilde{\delta }=\tilde{\delta }(\tilde{\theta },\tilde{d},p_{2}(2r))\) be the “closeness” parameter appearing in (2.3). Moreover, for reasons that will be clear in a few lines, we also impose a first restriction on the size of \(\varepsilon \). Precisely, keeping in mind the definition of \(c_{*}\), we ask that
By (3.18), we estimate
for all \(\varphi \in C^{\infty }_{c}(B_{r},\mathbb {R}^{N})\), where \(\tilde{c}:=1+\frac{\Lambda \gamma _{2}c_{\mathcal {M}}}{\lambda }\). For \(\delta \in (0,1)\), by Young’s inequality: \(ab\le \delta a^{p}+\delta ^{-\frac{1}{p-1}}b^{p'}\), with exponents \(p_{2}(2r)\) and \(p_{2}'(2r):=\frac{p_{2}(2r)}{p_{2}(2r)-1}\) we get
Choosing \(\delta \equiv \tilde{\delta }\) in the previous display, we can conclude that
thus Lemma 1 renders a map \(\tilde{h}\in v+W^{1,p_{2}(2r)}_{0}(B_{r},\mathbb {R}^{N})\) solution to (2.4) with \(p\equiv p_{2}(2r)\) and satisfying
Before going on, we would like to stress that \(\varepsilon \) depends on \(\tilde{\theta }\) as well, since by looking at the dependencies of \(d_{2}\), it is evident that \(\tilde{\delta }=\tilde{\delta }(n,\gamma _{1},\gamma _{2},\tilde{\theta })\), and (3.29) yields in particular that \(\varepsilon =\varepsilon (\tilde{\delta })\). This is not an obstruction, since the value of \(\tilde{\theta }\) will be fixed in the next step as a function of \((\texttt {data})\).
Step 3: comparison, second time. First notice that, since v is a solution to the frozen Dirichlet problem (3.17), a Caccioppoli-type inequality holds. In fact, with the same strategy adopted for the proof of Lemma 8, we have
with \(c=c(n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2})\) for all balls \(B_{2\varrho }\Subset B_{r}\). Now fix any \(\varrho \in (0,r/4)\). According to the previous estimates we can proceed in the following way
where we also used Lemma 7, the minimality of v in the Dirichlet class \(W^{1,p_{2}(2r)}_{u}(B_{r},\mathcal {M})\) and of \(\tilde{h}\) in \(v+W^{1,p_{2}(2r)}_{0}(B_{r},\mathbb {R}^{N})\) and the reference estimate in (2.2)\(_{1}\) which holds for \(\tilde{h}\) since \(\tilde{h}\) is a solution to (2.4) with \(p\equiv p_{2}(2r)\), (set \(k_{0}\equiv 1\), \(p\equiv p_{2}(2r)\), \(g^{\alpha \beta }\equiv \delta ^{\alpha \beta }\) and \(h_{ij}\equiv \delta _{ij}\) for \(\alpha ,\beta \in \{1,\cdots ,n\}\) and \(i,j\in \{1,\cdots ,N\}\) in (2.1)). Here \(c=c(\texttt {data})\). For the ease of exposition, let us set \(s\equiv 2r\). Hence we can rewrite the previous estimate as
for \(c_{0}=c_{0}(n,\gamma _{1},\gamma _{2})\) and \(c_{1}=c_{1}(\texttt {data})\).
Step 4: Morrey-type estimates. Our goal now is to prove a Morrey type estimate for the energy which will eventually lead to the continuity of solutions. For \(\tau \in \left( 0,\frac{1}{4}\right) \), we let \(\varrho \equiv \tau s\) in (3.32) and multiply both sides of it by \((\tau s)^{p_{2}(s)-n}\). We then have
Adopting the notation introduced in [42], we consider the following quantities:
In these terms, (3.33) reads as
so recalling that
we obtain from (3.34)
where \(c_{2}=c_{2}(\texttt {data})\) and \(c_{3}=c_{3}(n,\gamma _{1},\gamma _{2})\). Since \(\tau \), s, \(\varepsilon \), \(\tilde{\theta }\in (0,1)\), from the definitions of \(\kappa _{1}\), \(\kappa _{2}\) and \(\kappa _{3}\) we have
where
thus (3.36) becomes
Now we need to make a proper choice of the parameters appearing in (3.37). We first select any \(\beta \in (0,1)\) and an \(\eta \in (\beta ,1)\) and ask that \(c_{2}\tau \le \tau ^{\eta }/5\), thus obtaining
Moreover, we require that the threshold radius \(R_{*}\) introduced at the beginning of Step 1 satisfies \(c_{3}(\tau R_{*})^{\beta }\le (\varepsilon /5)\). Finally we recall that \(\tilde{\theta }\) is arbitrary, therefore we fix \(\tilde{\theta }=2^{-\gamma _{2}}\tau ^{\frac{n\gamma _{2}}{d_{2}\gamma _{1}}}\) and, since \(\tilde{\kappa }_{2}\ge \tilde{\kappa }_{3}\) renders \(\varepsilon ^{\tilde{\kappa }_{2}}\le \varepsilon ^{\tilde{\kappa }_{3}}\), the choice
and (3.16) allow concluding that
We remark that, since \(\eta \) is ultimately influenced only by the choice of \(\beta \), we can incorporate the dependency from \(\eta \) in the one from \(\beta \), so the above procedure defines the following dependencies: \(\tau =\tau (\texttt {data},\beta )\), \(\varepsilon =(\texttt {data},\beta )\) and \(R_{*}=R_{*}(\texttt {data},\beta )\). Estimate (3.38)\(_{2}\) legalizes iterations, so we can repeat (3.38)\(_{1}\) replacing s by \(\tau s\), \(\tau ^{2}s\), \(\tau ^{3}s\), \(\cdots \) to get
for \(c_{4}=c_{4}(\texttt {data},\beta )\). Now, for any \(\varsigma \in (0,s/8)\) we can find an integer \(j\ge 1\) with \(\tau ^{j+1}s<\varsigma \le \tau ^{j}s\), so, from (3.39) we obtain
with \(c_{5}=c_{5}(\texttt {data},\beta )\), while if \(\varsigma \in [s/8,s)\), since \((s/\varsigma )\le 8\), there obviously holds
again for \(c=c(\texttt {data},\beta )\). We can actually improve estimates (3.40)-(3.41) by getting rid of the restriction \(s\le R_{*}\); we shall only retain \(s\le \tilde{R}_{*}/2\). In fact, in case \(0<\varsigma <R_{*}\le s\le \tilde{R}_{*}/2\), we see that
with \(c=c(\texttt {data},\beta )\), while, if \(0<R_{*}<\varsigma \le s\le \tilde{R}_{*}/2\) we have
again for \(c=c(\texttt {data},\beta )\). Now, by the continuity of Lebesgue’s integral and of the mapping \(y\mapsto p_{2}(y,s):= \sup _{x\in B_{s}(y)}p(x)\), we can conclude that if (3.16) holds for \(B_{s}(x_{0})\) then it holds also on \(B_{s}(y)\) for all y belonging to a sufficiently small neighborhood of \(x_{0}\). Hence, if we let
we see that it is open and, taking radii \(0<\varsigma <s\), for \(y \in D_{0}\) we have
for \(c_{6}=c_{6}(\texttt {data},\beta )\), so, from Morrey’s growth theorem, \(u \in C^{0,\beta }(D_{0},\mathcal {M})\). We would like to stress that \(\beta \) is an arbitrary number in (0, 1) and, being the interval open it is always possible to find \(\eta \in (0,1)\) so that \(\beta<\eta <1\). Hence we can take any \(\beta \in (0,1)\) in the above estimates and deduce from (3.44) that actually \(u \in C^{0,\beta }(D_{0},\mathcal {M})\) for all \(\beta \in (0,1)\). Of course, the values of all the parameters involved will change accordingly to the one of \(\beta \) (and consequently of \(\eta \)) we choose. After a standard covering argument, we obtain that \(u \in C^{0,\beta }_{\mathrm {loc}}(\Omega _{0},\mathcal {M})\) for any \(\beta \in (0,1)\). Now consider any open subset \(\tilde{\Omega }\Subset \Omega _{0}\). From (3.40)-(3.43) and a standard covering argument, we also obtain the Morrey type estimate
for all \(B_{\varsigma }\Subset \tilde{\Omega }\), \(\varsigma \le \tilde{R}_{*}/2\) and any \(\beta \in (0,1)\). Here \(c_{7}=c_{7}(\texttt {data},\beta )\).
Step 5: Hausdorff dimension of the Singular Set. Given the characterization of \(D_{0}\), we easily see that, if \(\Sigma _{0}(u,B_{\tilde{R}_{*}}(x_{0})):=B_{\tilde{R}_{*}}(x_{0})\setminus D_{0}\), then
Now, if \(p_{m}(x_{0},\tilde{R}_{*}):=\inf _{x\in B_{\tilde{R}_{*}}(x_{0})}p(x)\), then, as in (3.14),
so we obtain,
where we also used that \(\sigma _{0}<\delta _{0}\). Hence, if \(y \in B_{\tilde{R}_{*}}(x_{0})\) is such that
then
This allows to conclude that
By [26, Proposition 2.7] it follows that \(\dim _{\mathcal {H}}(D_{1})\le n-p_{m}(x_{0},\tilde{R}_{*})(1+\delta _{0})\). Now, covering \(\Omega \) with balls having the same features of \(B_{\tilde{R}_{*}}(x_{0})\) and remembering that \(p_{m}(x_{0},\tilde{R}_{*})\ge \gamma _{1}\), we obtain that \( \dim _{\mathcal {H}}(\Sigma _{0}(u))\le n-\gamma _{1}(1+\delta _{0})<n-\gamma _{1}, \) and so \(\dim _{\mathcal {H}}(\Sigma _{0}(u))<n-\gamma _{1}\).
Step 6: partial \(C^{1,\beta _{0}}\)-regularity. In this part we follow the approach of [28, Theorem 3.1]. So far we know that the regular set \(\Omega _{0}\subset \Omega \) is a relatively open set of full n-dimensional Lebesgue measure and \(u\in C^{0,\beta }_{\mathrm {loc}}(\Omega _{0},\mathcal {M})\) for all \(\beta \in (0,1)\). For reasons that will be clear in a few lines, we fix
where \(\sigma _{0}\), \(\sigma \) are as in (3.12)-(3.20) respectively, and two open subsets \(\tilde{\Omega }\Subset \Omega '\Subset \Omega _{0}\). Given the expression of \(\tilde{\beta }\), we shall incorporate any dependency from \(\tilde{\beta }\) of the constants appearing in the forthcoming estimates into the one from \((\texttt {data})\). We cover \(\tilde{\Omega }\) with finitely many balls contained in \(\Omega '\), (with size and number depending only on \(\mathcal {M}\), \([u]_{0,\tilde{\beta };\Omega '}\) and on \({{\,\mathrm{diam}\,}}(\Omega ')\)), whose image lies in small coordinate neighborhoods of \(\mathcal {M}\). Precisely, by the continuity of u and up to scaling, rotating and translating \(\mathcal {M}\) we can now assume that \(u(\tilde{\Omega })\) is contained into the image of a single chart \(f(B_{1}^{m})\), so we can find an \(\omega :\tilde{\Omega }\rightarrow \mathbb {R}^{m}\) such that \(u=f(\omega )\) and \(|\omega |\le 1\). Here \(f:\mathbb {R}^{m}\mapsto \mathcal {M}\) is such that
The above conditions are for instance satisfied by the inverse of the stereographic projection
see [10, 28]. From (3.48)\(_{3}\) we get that
for any \(U\subseteq \tilde{\Omega }\), with \(c=c(\mathcal {M},\gamma _{1},\gamma _{2})\). Since u is an \(\mathcal {M}\)-constrained local minimizer of (0.1), then \(\omega \) minimizes the variational integral
where \((\delta ^{\alpha \beta })_{\alpha \beta }\) is the \(n\times n\) identity matrix and \((h_{ij})_{ij}\) is the \(m\times m\) symmetric matrix \(((\nabla f)^{T}\nabla f)_{ij}\). From (3.48) and being f a chart, \((h_{ij})_{ij}\) is uniformly elliptic and uniformly bounded, in the sense that
for all \(\zeta \in \mathbb {R}^{m\times m}\), whenever \(|y|\le 4m\). Here c, \(c_{1}\), \(c_{2}\) depend only on \(\mathcal {M}\). Given the previous considerations, it is easy to see that the integrand
satisfies the following set of conditions:
for \(|y|\le 4m\). Here, all the constants depend only on m, \(\mathcal {M}\), \(\lambda \), \(\Lambda \), \(\gamma _{1}\), \(\gamma _{2}\), \([k]_{0,\alpha }\), \([p]_{0,\alpha }\) and \(\alpha \), except for \(c_{\varepsilon _{0}}\), which, in addition, depends also from \(\varepsilon _{0}\). In particular, from (3.51)\(_{1}\), we see that \(\omega \) minimizes a functional controlled from below and above by the \(p(\cdot )\)-laplacean energy, so there is no loss of generality in assuming that Lemmas 8 and 9 (and 10 for the associated frozen problem) hold true with the same parameters as before. Moreover, (3.48)\(_{3}\), (3.49) and (3.45) allow transferring regularity from u to \(\omega \). In fact we have
for any \(\beta \in (0,1)\) and all \(B_{\varrho }\Subset \tilde{\Omega }\). Notice that, by (3.49) and (3.52)\(_{2}\) we can incorporate any dependency from \(||(|D\omega |)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}\) or from \([\omega ]_{0,\beta ;\tilde{\Omega }}\) of the constants in the forthcoming estimates into the one from \(||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}\) or from \([u]_{0,\beta ;\tilde{\Omega }}\). In (3.52) we are going to choose \(\beta \equiv \tilde{\beta }\), where \(\tilde{\beta }\) is as in (3.47). Let \(\sigma _{0}\), \(\tilde{R}_{*}\) and \(\sigma \) be as in (3.12), (3.13) and (3.20) respectively and fix any ball \(B_{\varrho }\Subset B_{\tilde{R}_{*}} \Subset \tilde{\Omega }\), \(\varrho \le \tilde{R}_{*}/2\) and let \(\vartheta \in W^{1,p_{2}(\varrho )}(B_{\varrho /4},\mathbb {R}^{m})\) be the solution to the frozen Dirichlet problem
where \(k_{0}\) is the value of \(k(\cdot )\) in the centre of \(B_{\varrho /4}\). For simplicity, define \(H_{0}(y,z):=k_{0}(\delta ^{\alpha \beta }h_{ij}(y)z_{\alpha }^{i}z_{\beta }^{j} )^{p_{2}(\varrho )/2}\), and notice that, since \(|(\omega )_{\varrho /4}|\le 1\), then the integrand \(H_{0}((\omega )_{\varrho /4},z)\) is of the type covered by Proposition 1, see [2, 20, 24]. Furthermore, given the specific structure of the integrand, the Maximum principle in [13] applies, thus \(\sup _{x\in B_{\varrho /4}}|\vartheta (x)|\le m\). By (3.14), \(\omega \) is an admissible competitor for \(\vartheta \) in problem (3.53) and, as a consequence
Taking into account (3.51)\(_{5}\) (with \(p_{2}(\varrho )\) instead of p(x)) and (3.54) we then estimate
where \(c=c(m,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},[k]_{0,\alpha },[p]_{0,\alpha })\). Before estimating terms \(\text{(I) }_{1}\)-\(\text{(I) }_{6}\), let us take care of some quantities which will be recurrent in the forthcoming estimates. By (3.52)\(_{1,2}\), we easily have
with \(c=c(\mathcal {M},[u]_{0,\tilde{\beta };\tilde{\Omega }})\). Moreover, it follows from the convex-hull property in [13] that
for \(c=c(\mathcal {M},[u]_{0,\tilde{\beta };\tilde{\Omega }})\), therefore
Finally, from Poincaré’s and Hölder’s inequalities, Lemmas 9, 2 (ii.), 8 and by the minimality of \(\vartheta \) we see that
with \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}, [u]_{0,\tilde{\beta };\tilde{\Omega }})\). From (3.51)\(_{2}\) with \(\varepsilon _{0}\equiv \sigma _{0}/2\) and Lemma 9 we get
where \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })})\) and \(\bar{\kappa }_{1}:=\alpha -n\sigma _{0}>0\) by (3.12). Now, from (3.51)\(_{3}\) and (3.55) we have
for \(c=c(\texttt {data},[u]_{0,\tilde{\beta };\tilde{\Omega }})\). Since \(\omega \) is a local minimizer of (3.50), then
Concerning term \(\text{(I) }_{4}\), we use (3.51)\(_{3}\), (3.56) and the minimality of \(\vartheta \) to bound
with \(c=c(\texttt {data},[u]_{0,\tilde{\beta };\tilde{\Omega }})\). To take care of term \(\text{(I) }_{5}\), we use (3.51)\(_{2}\) with \(\varepsilon _{0}\equiv \sigma \) again together with the minimality of \(\vartheta \) and Lemmas 10-9 to obtain
with \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })})\). Finally, by (3.51)\(_{3}\), Lemmas 10-9 and (3.57) we obtain
where \(c=c(\texttt {data},||(|Du|) ||_{L^{1}(\tilde{\Omega })},[u]_{0,\tilde{\beta }; \tilde{\Omega }})\). Collecting estimates (3.58)-(3.63) we can conclude that
with \(c=c(\texttt {data},||(|Du|) ||_{L^{1}(\tilde{\Omega })},[u]_{0,\tilde{\beta }; \tilde{\Omega }})\). Manipulating the content of the previous display as we did in Step 1, estimates (3.25)-(3.26) we can conclude that
Recalling also that, by (3.47), \(\tilde{\beta }\ge 1/2\), we can rewrite (3.64) as
with \(\kappa _{2}:=\frac{1}{2}\min \left\{ \frac{1}{2},\bar{\kappa }_{1},\frac{\gamma _{1}\sigma }{2(1+\sigma )}\right\} \). Averaging in (3.65) and using (3.47) again, we readily see that
for \(c=c(\texttt {data},||(|Du|^{p(\cdot )}) ||_{L^{1}(\tilde{\Omega })},[u]_{0,\tilde{\beta };\tilde{\Omega }})\). Here \(\hat{\kappa }:=\kappa _{2}-\gamma _{2}(1-\tilde{\beta })\ge \kappa _{2}/2>0\). Now fix any \(0<\varsigma <\varrho /8\) and notice that, being \(\vartheta \) a solution to (3.53), the decay estimate (2.2)\(_{2}\) holds true. So we estimate
with \(\beta \in (0,1)\) still to be fixed and \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}, [u]_{0,\tilde{\beta };\tilde{\Omega }},\beta )\). Set \(\beta :=1-\frac{\mu \gamma _{1}\hat{\kappa }}{2n\gamma _{2}}\) in (3.67) and pick \(\varsigma =\varrho ^{1+a}/2\) with \(a:=\frac{\hat{\kappa }(2n+\mu \gamma _{1})}{2n(n+\mu p_{2}(\varrho ))}\). In these terms, (3.67) reads as
where we also denoted
From the content of the previous display and Hölder inequality we finally get
thus
with \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })},[u]_{0,\tilde{\beta },\tilde{\Omega }})\), so, after covering, we can conclude that \(D\omega \in C^{0,\beta _{0}}_{\mathrm {loc}}(\tilde{\Omega },\mathbb {R}^{m\times n})\) because of Morrey’s growth theorem. By (3.68), it is evident that \(\beta _{0}=\beta _{0}(\texttt {data})\) does not depend on \(\tilde{\Omega }\), thus (3.48)\(_{2,3}\) and a standard covening argument render that \(Du \in C^{0,\beta _{0}}_{\mathrm {loc}}(\Omega _{0},\mathbb {R}^{N\times n})\).
Step 7: the case \(p(\cdot )>n-\delta _{0}/2\). As mentioned in Step 1, \(u\in C^{0,\beta '}(\Omega ^{+},\mathcal {M})\), with \(\beta ':=\frac{\delta _{0}}{4n+\delta _{0}}\), so we no longer need to impose a smallness condition like (3.16). Being \(p(\cdot )\) continuous, \(\Omega ^{+}\) is open, so we can fix a ball \(B_{\tilde{R}_{*}}\equiv B_{\tilde{R}_{*}}(x_{0})\Subset \Omega ^{+}\) with \(\tilde{R}_{*}\) satisfying (3.13). Let \(\sigma _{0}\) be as in (3.12), so (3.14) is matched on all balls \(B_{4\varrho }\subset B_{R_{*}}\subset B_{\tilde{R}_{*}}\), where the size of \(R_{*}\le \tilde{R}_{*}/2\) will be specified later on. As we did in Step 6, we fix open subsets \(\tilde{\Omega }\Subset \Omega '\Subset \Omega ^{+}\) and cover \(\tilde{\Omega }\) with a finite number of balls contained inside \(\Omega '\) whose size and number will now depend on \(\mathcal {M}\), on \([u]_{0,\beta ';\tilde{\Omega }}\) and on \({{\,\mathrm{diam}\,}}(\Omega ')\), having images contained in small coordinate neighborhoods of \(\mathcal {M}\). Again we can find \(\omega \in W^{1,p(\cdot )}(\tilde{\Omega },\mathbb {R}^{m})\cap C^{0,\beta '}(\tilde{\Omega },\mathbb {R}^{m})\), unconstrained local minimizer of the variational integral (3.50) with integrand \(H(\cdot )\) matching (3.51), such that \(|\omega |\le 1\), \(u=f(\omega )\) where f is as in (3.48). Our goal is to show the validity of a Morrey decay estimate like (3.52)\(_{3}\). To do so, fix \(B_{4\varrho }\Subset B_{R_{*}}\) and let \(\vartheta \in W^{1,p_{2}(\varrho )}(B_{\varrho /4},\mathbb {R}^{m})\) be a solution to the frozen Dirichlet problem (3.53). Notice that the estimates obtained in Step 6 till (3.64) do not require any specific value of \(\beta \), therefore, by (3.64) with \(\tilde{\beta }\) replaced by \(\beta '\) we immediately have
with \(c=c(\texttt {data},||(|Du|^{p(\cdot )}) ||_{L^{1}(\tilde{\Omega })},[u]_{0,\beta ';\tilde{\Omega }})\) and \(\kappa ':=\frac{1}{2}\min \left\{ \frac{\beta '\gamma _{1}\sigma }{1+\sigma },\bar{\kappa }_{1},\beta '\right\} \). Now fix \(\tau \in \left( 0,\frac{1}{8}\right) \) and recall that, being \(\vartheta \) a solution of (3.53), inequality (2.2)\(_{1}\) holds for all \(B_{\varsigma _{1}}\subset B_{\varsigma _{2}}\subset B_{\varrho /4}\). Adopting the same terminology appearing in Step 4, clearly with \(\omega \) instead of u, we readily have
where we also used \(p(\cdot )>n-\frac{\delta _{0}}{2}\). Here \(\beta \in (0,1)\) is arbitrary and \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })},[u]_{0,\beta ';\tilde{\Omega }},\beta )\). Choosing in (3.70) \(\tau \le (2c)^{-1/(1-\beta )}\) and \(R_{*}\le c^{-\frac{\gamma _{2}}{\kappa '}} 2^{-\frac{\gamma _{2}}{\kappa '}}\tau ^{\frac{2n\gamma _{2}}{(2n-\delta _{0})\kappa '}}\) we end up with \(\psi (\tau \varrho )\le \tau ^{\beta }\psi (\varrho )\), by remembering also that \(\varrho \le R_{*}\). Notice that our previous decisions fixed the following dependencies: \(\tau =\tau (\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })},[u]_{0,\beta ';\tilde{\Omega }},\beta )\) and \(R_{*}=R_{*}(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })},[u]_{0,\beta ';\tilde{\Omega }},\beta )\). By induction, it is easy to see that for any integer j there holds
Now, if \(\varsigma \in (0,\varrho /8)\), there exists an integer \(j\ge 1\) such that \(\tau ^{j+1}\varrho <\varsigma \le \tau ^{j}\varrho \). Therefore, proceeding as we did for (3.40), using (3.71) we get
with \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}, [u]_{0,\beta ';\tilde{\Omega }},\beta )\). This is the estimate we were looking for. In fact, as in Step 4, (3.41) we can extend (3.72) to the full range \(0<\varsigma <\varrho \) and, proceeding as in estimates (3.42)-(3.43) we can get rid of the restriction \(s\le R_{*}\); as already mentioned, we shall only retain \(s\le \tilde{R}_{*}/2\). Furthermore, it directly implies that
for \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })}, [u]_{0,\beta ';\tilde{\Omega }},\beta )\) and therefore, being \(\beta \in (0,1)\) arbitrary, by Morrey’s growth theorem and a standard covering argument, we can conclude that \(\omega \in C^{0,\beta }_{\mathrm {loc}}(\Omega ^{+},\mathbb {R}^{m})\) for any \(\beta \in (0,1)\). Now, for all \(B_{4\varsigma }\Subset \Omega ^{+}\) such that \(0<\varsigma \le \tilde{R}_{*}/2\), by Lemmas 9, 8 and 2 (ii.), we obtain
where \(c=c(\texttt {data},||(|Du|)^{p(\cdot )} ||_{L^{1}(\tilde{\Omega })},[u]_{0,\beta ';\tilde{\Omega }},\beta )\). Once (3.73) is available, we can conclude as in Step 6.
5 Dimension reduction
In this section we obtain a further reduction of the dimension of the singular set of p(x)-harmonic maps, for \(p(\cdot )\ge 2\) Lipschitz continuous, thus improving, at least in this case, the result given in Theorem 1, Step 5.
5.1 Compactness of minimizers and Monotonicity formula
The proof of Theorem 2 essentially needs two components to be carried out. The first is the compactness of sequences of minimizers of (0.1) under uniform assumptions, while the second is the monotonicity along solutions to (0.1) of a certain quantity strictly related to the p(x)-energy. Those arguments are quite classical, see e. g. [23, 27, 46].
Lemma 11
(Compactness) Let \((k_{j})_{j \in \mathbb {N}}, (p_{j})_{j \in \mathbb {N}}\) be two sequences of \(\alpha \)-Hölder continuous functions, \(\alpha \in (0,1]\), satisfying
respectively. For each \(j \in \mathbb {N}\), let \(u_{j}\in W^{1,p_{j}(\cdot )}(B_{1},\mathcal {M})\) be a constrained local minimizer of
where \(\mathcal {M}\) is as in \((\mathrm {\mathcal {M}1})\)-\((\mathrm {\mathcal {M}2})\). Then, there exists a subsequence, still denoted by \((u_{j})_{j \in \mathbb {N}}\), such that
for some \(\tilde{\sigma }>0\) and any \(r \in (0,1)\) and v is a constrained local minimizer of the functional
Moreover, \(\mathcal {E}_{j}(u_{j},B_{r})\rightarrow \mathcal {E}_{0}(v,B_{r})\) for all \(r\in (0,1).\) Finally, if \(x_{j}\) is a singular point of \(u_{j}\) and \(x_{j}\rightarrow \bar{x}\), then \(\bar{x}\) is a singular point for v.
Proof
The proof is divided into three steps.
Step 1: weak \(W^{(1+\tilde{\sigma })p_{0}}\)-convergence. Since \(\mathcal {M}\) is compact, \(\sup _{j\in \mathbb {N}}||u_{j} ||_{L^{\infty }(B_{1})}\le c(\mathcal {M})\), and given that \(\gamma _{1}>1\), we obtain, up to (non relabelled) subsequences,
Moreover, being the bounds in (4.1) uniform in \(j \in \mathbb {N}\), Lemma 9 and Corollary 3 (and Lemma 10 for the associated frozen problems) hold for all the \(\mathcal {E}_{j}\)’s with parameters independent of j. By Lemma 9, we know that \((u_{j})_{j \in \mathbb {N}}\subset W^{1,(1+\delta )p(\cdot )}(B_{1},\mathcal {M})\) for all \(\delta \in (0,\tilde{\delta }_{0})\). Let \(\delta _{2}:=\frac{1}{4}\min \{\tilde{\sigma }_{0},\tilde{\delta }_{0}\}\), where \(\tilde{\sigma }_{0}\) is the higher integrability threshold given by Lemma 10 and pick any \(\delta \in (0,\delta _{2})\). Because of the uniform convergence of the \(p_{j}\)’s to the constant \(p_{0}\), taking j sufficiently large we can find positive constants \(\gamma _{1}\le q_{1}\le q_{2}\le \gamma _{2}\) such that
For any \(B_{\varrho }(x_{0})\equiv B_{\varrho }\subset B_{1}\), Corollary 3 yields that
for all \(j \in \mathbb {N}\), with \(c=c(\varrho ,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). This last estimate and (4.4)\(_{1,2}\) imply that
for \(c=c(\varrho ,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). Now, for any fixed \(r\in (0,1)\), we can cover \(B_{r}\equiv B_{r}(0)\) by a finite number of balls \(B_{(1-\varrho )/4}(x_{0})\) with \(x_{0} \in B_{r}\), use (4.5) on each ball and then sum them all to get
for large \(j \in \mathbb {N}\). Here \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). From the compactness of \(\mathcal {M}\) and (4.6), we derive the uniform boundedness of the \(u_{j}\)’s in \(W^{1,(1+\delta /2)q_{2}}(B_{r},\mathcal {M})\), so, up to extract a (non relabelled) subsequence, we obtain that \(u_{j}\rightharpoonup \bar{v}\) weakly in \(W^{1,(1+\delta /2)q_{2}}(B_{r},\mathcal {M})\), for some \(\bar{v}\in W^{1,(1+\delta /2)q_{2}}(B_{r},\mathcal {M})\). Anyway, by (4.3), \(\bar{v}(x)=v(x)\), \(v(x)\in \mathcal {M}\) for a.e. \(x\in B_{r}\) and, by Rellich’s theorem,
From (4.4)\(_{1}\) and (4.1)\(_{2}\) we see that \(q_{2}\ge p_{0}\), so (4.2) is proved with \(\tilde{\sigma }\equiv \delta /2\). In particular, the weak lower semicontinuity of the norm renders that
with \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\).
Step 2: compactness. We aim to show that v is an \(\mathcal {M}\)-constrained local minimizer of \(\mathcal {E}_{0}\). To do so, we first claim that
for all \(r \in (0,1)\). Let us rewrite \(\mathcal {E}_{j}(u_{j},B_{r})=\left( \mathcal {E}_{j}(u_{j},B_{r})-\mathcal {E}_{0}(u_{j},B_{r})\right) +\mathcal {E}_{0}(u_{j},B_{r})\). From (4.2) and weak lower semicontinuity we have
On the other hand, from (4.4)\(_{1},\) Lemma 2 (i.) with \(\varepsilon _{0}\equiv \delta /2\) and (4.1) we have
where \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). Combining (4.12) and (4.11) we obtain (4.10).
Let \(\tilde{v}\in W^{1,p_{0}}(B_{r},\mathcal {M})\) be a solution to the Dirichlet problem
and extend it to be equal to v outside \(B_{r}\). In this way, \(\tilde{v}\in W^{1,p_{0}}_{\mathrm {loc}}(B_{1},\mathcal {M})\cap W^{1,p_{0}}_{v}(B_{r},\mathcal {M})\). Since we are assuming that \((p_{j})_{j\in \mathbb {N}}\) converges uniformly to \(p_{0}\) on \(B_{1}\), we can take \(j \in \mathbb {N}\) so large that
holds. Moreover, by (4.9) and (4.4)\(_{1}\) we have that \(v \in W^{1,(1+\delta /2)q_{2}}(B_{r},\mathcal {M})\subset W^{1,(1+\delta /2)p_{0}}(B_{r},\mathcal {M})\), so, from Lemma 10 with \(p\equiv p_{0}\) we obtain that \(\tilde{v}\in W^{1,(1+\delta /2)p_{0}}(B_{r},\mathcal {M})\subset W^{1,(1+\delta /4)p_{j}(\cdot )}(B_{r},\mathcal {M})\cap W^{1,q_{2}}(B_{r},\mathcal {M})\), where the last inclusion is due to (4.13) and (4.4)\(_{3}\). From (4.13), Lemma 10 and (4.9) we get
where \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). Let \(\theta \in (0,1)\) be a small parameter to be fixed and \(\eta \) a cut-off function with the following specifics
In correspondence of such a choice of \(\eta \), we define the comparison map \(w_{j}:=(1-\eta )u_{j}+\eta \tilde{v}\) and notice that \(\left. w_{j} \right| _{\partial B_{r(1-\theta )}}=\left. \tilde{v} \right| _{\partial B_{r(1-\theta )}}\) and \(\left. w_{j} \right| _{\partial B_{r}}=\left. u_{j} \right| _{\partial B_{r}}\). So Lemma 5 applies to \(w_{j}\) on \(A_{r\theta }\) thus rendering a map \(w_{j}'\in W^{1,p_{j}(\cdot )}(A_{r\theta },\mathcal {M})\) such that
with \(c=c(N,\mathcal {M},\gamma _{2})\). Finally we define
which, by (4.16)\(_{2,3}\) and (4.14) is an admissible competitor for \(u_{j}\) on \(B_{r}\). From the minimality of \(u_{j}\) and (4.16)\(_{2,3}\) we have
for \(c=c(N,\mathcal {M},\lambda ,\Lambda ,\gamma _{2})\). By (4.1), (4.13), (4.4)\(_{1}\), (4.9) and Lemma 2 (i.) with \(\varepsilon _{0}\equiv \delta /4\) we see that
where \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). So we get that
Exploiting the very definition of the \(w_{j}\)’s and (4.15)\(_{3}\) we have
with \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). Using (4.4)\(_{1}\), (4.5), (4.14) and (4.1) we get
where \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). By (4.4)\(_{1}\) and (4.7), a well known variation on Lebesgue’s dominated convergence theorem allows concluding that
Finally, by (3.2) with \(p(\cdot )\equiv p_{j}(\cdot )\) and (4.14) we obtain
for \(c=c(r,c_{p},n,N,\mathcal {M},\lambda ,\Lambda ,\gamma _{1},\gamma _{2},\alpha )\). By the absolute continuity of Lebesgue’s integral, (4.19) and (4.21), given \(\sigma >0\) we can always choose \(\theta \) sufficiently small in such a way that
and, by (4.20), j large enough such that
All in all, collecting (4.10), (4.18), (4.22) and (4.23) we can conclude that
so, by the arbitrariety of \(\sigma \) and the minimality of \(\tilde{v}\), we can conclude that \(\mathcal {E}_{0}(\tilde{v},B_{r})=\mathcal {E}_{0}(v,B_{r})\). Being this true for any \(r \in (0,1)\), v is an \(\mathcal {M}\)-constrained local minimizer of \(\mathcal {E}_{0}\) and, as a direct consequence of the last chain of inequalities, \(\mathcal {E}_{j}(u_{j},B_{r})\rightarrow \mathcal {E}_{0}(v,B_{r})\).
Step 3: singular points. Once we have the results contained in Steps 1-2 by hand, the proof of Step 3 goes as the one in [46, Lemma 3.1] and we shall omit it. \(\square \)
We stress that Lemma 11 holds with \(p(\cdot )\ge \gamma _{1}>1\) Hölder continuous rather than Lipschitz. We need stronger assumptions only to prove a suitable monotonicity formula.
Lemma 12
(Monotonicity formula) Let \(k(\cdot )\in C^{0,\alpha }(\Omega )\), \(\alpha \in (0,1]\) be such that \(k(0)=1\), \(p(\cdot ) \in Lip(\Omega )\) and \(n> \gamma _{2}\ge p(x)\ge 2\) for all \(x \in \Omega \). If \(u \in W^{1,p(\cdot )}(\Omega ,\mathcal {M})\) is a constrained local minimizer of (0.1) on \(B_{1}\), then for any \(\gamma \in (0,1)\) there exist a positive \(c=c(\texttt {data},\gamma )\) and \(T\in (0,1)\) such that for all \(0<r<R<T\), we have
where
with \(A=A(n,[k]_{0,\alpha },[p]_{0,1},\alpha )>0\).
Proof
The proof is actually the same as the one given in [46, Lemma 4.1]. There is only one small detail to change: the map v introduced during the proof of Lemma 4.1 to obtain estimate (4.17) must be replaced by a solution to the Dirichlet problem
The rest stays unchanged. \(\square \)
5.2 Proof of Theorem 2
Combining the compactness Lemma 11 and the monotonicity formula obtained in Lemma 12, we are ready to prove Theorem 2. If \(\Omega ^{+}\) is as in (3.11), then \(u \in W^{1,n+\delta _{0}/4}(\Omega ^{+},\mathcal {M})\). So, by Morrey’s embedding theorem, \(u \in C^{0,\beta '}(\Omega ^{+},\mathcal {M})\) for \(\beta ':=\delta _{0}/(4n+\delta _{0})\) and, by Step 7 of Theorem 1, we can conclude that Du is locally \(\beta _{0}\)-Hölder continuous on \(\Omega ^{+}\) for some \(\beta _{0}\in (0,1)\). This observation shows that, to prove Theorem 2 it is enough to assume that \(\gamma _{2}<n\), and this condition assures the applicability of Lemma 12.
Case 1: \(n\le [\gamma _{1}]+1\). Since \(t\mapsto \Phi (t)\) can be seen as a difference between an increasing function of t and \(c t^{\gamma }\) for some \(\gamma \in (0,1)\) and a positive constant c, it admits a finite limit as \(t\rightarrow 0\). Assume that u has a singular point at \(\bar{x}=0\) which is not isolated. Then we can find a sequence of singular points \((x_{j})_{j\in \mathbb {N}}\) such that \(x_{j}\rightarrow 0\). Setting \(R_{j}:=2|x_{j}|<T<1\) we see that, for any j the scaled function \(u_{j}(x):=u(R_{j}x)\) is a constrained local minimizer of the functional
and each \(u_{j}\) has a singular point \(y_{j}:=R^{-1}_{j}x_{j}\) with \(|y_{j}|=1/2\). Now we notice that the sequences \((R_{j}^{p(0)-p_{j}(\cdot )})_{j \in \mathbb {N}}\) and \((p_{j}(\cdot ))_{j \in \mathbb {N}}\) satisfy (4.1), so by Lemma 11 we get, up to extract a subsequence that the \(u_{j}\)’s \(L^{2}\)-weakly converge to a function v, constrained local minimizer of \(\mathcal {E}_{0}(w,B_{1}):=\int _{B_{1}}|Dw|^{p(0)} \ dx\) and that the \(y_{j}\)’s converge to \(\bar{y}\), singular point of v with \(|\bar{y}|=1/2\). Now pick two constants \(0<\lambda<\mu <1\) and apply Lemma 12 with \(r\equiv \lambda R_{j}\) and \(R\equiv \mu R_{j}\) to get
Moreover, Lemma 11 also says that \(u_{j}\rightarrow v\) in \(L^{(1+\tilde{\sigma })p(0)}(B_{r},\mathcal {M})\) for all \(r\in (0,1)\) and this leads to
Finally, the compactness of \(\mathcal {M}\) renders the \(u_{j}\)’s uniformly bounded, so, by the dominated convergence theorem, (4.24) and (4.25) we deduce that
for a.e. \(\lambda \) and \(\mu \). This means that v is homogeneous of degree 0, so the whole segment joining \(\bar{x}\) and \(\bar{y}\) is made of singular points of v, but, since we are assuming \(n\le [\gamma _{1}]+1\le [p(0)]+1\), we obtain a contradiction to [28, Theorem 4.5], which states that, under these conditions, v can have only isolated singularities.
Case 2: \(n>[\gamma _{1}]+1\). Let us assume that for some \(l>0\), \(\mathcal {H}^{l}(\Sigma _{0}(u))>0\). Then, by blowing up, we obtain a constrained local minimizer v of \(\mathcal {E}_{0}\) with \(\mathcal {H}^{l}(\Sigma _{0}(v))>0\), (see [23], Chapter 10). On the other hand, by [28, Theorem 4.5], \(l<n-[p(0)]-1\le n-[\gamma _{1}]-1\) and this concludes the proof.
References
Acerbi, E., Fusco, N.: Local regularity for minimizers of nonconvex integrals. Ann. Sci. Normale di Pisa, Cl. Sci., \(4^{e}\) série, tome 16(4), 603–636 (1989)
Acerbi, E., Fusco, N.: Regularity for minimizers of non-quadratic functionals: the case \(1<p<2\). J. Math. Anal. Appl. 140, 115–135 (1989)
Acerbi, E., Mingione, G.: Regularity results for electrorheological fluids: the stationary case. C. R. Math. Acad. Sci. Paris 334, 817–822 (2002)
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. PDE 57, 62 (2018)
Carozza, M., Kristensen, J., di Napoli, A.P.: Regularity of minimizers of autonomous convex variational integrals. Ann. Sc. Norm. Super. Pisa Cl. Sci. 8(5), 1065–1089 (2014)
Colombo, M., Mingione, G.: Regularity for double phase variational problems. Arch. Ration. Mech. Anal. 215, 443–496 (2015)
Colombo, M., Mingione, G.: Calderón–Zygmund estimates and non-uniformly elliptic operators. J. Funct. Anal. 270, 1416–1478 (2016)
Coscia, A., Mingione, G.: Hölder continuity of the gradient of \(p(x)\)-harmonic mappings. C. R. Acad. Sci. Paris Sér. I Math. 328(4), 363–368 (1999)
De Filippis, C.: Higher integrability for constrained minimizers of integral functionals with \((p, q)\)-growth in low dimension. Nonlinear Anal. 170, 1–20 (2018)
De Filippis, C., Mingione, G.: Manifold constrained non-uniformly elliptic problems. Preprint (2018)
Diening, L., Stroffolini, B., Verde, A.: Everywhere regularity of functionals with \(\varphi \)-growth. Manuscripta Math. 129, 449–481 (2009)
Diening, L., Stroffolini, B., Verde, A.: The \(\varphi \)-harmonic approximation and the regularity of \(\varphi \)-harmonic maps. J. Differ. Equ. 253, 1943–1958 (2012)
D’Ottavio, A., Leonetti, F., Musciano, C.: Maximum principle for vector-valued mappings minimizing variational integrals. Atti Semin. Mat. Fis. Univ. Modena 46(Suppl.), 677–683 (1998). dedicated to Prof. C. Vinti (Italy, Perugia 1996)
Eleuteri, M.: Hölder continuity results for a class of functionals with non standard growth. Bollettino U. M. I., pp. 129–157 (2004)
Esposito, L., Leonetti, F., Mingione, G.: Sharp regularity for functionals with \((p, q)\) growth. J. Differ. Equ. 204, 5–55 (2004)
Evans, L.C., Gariepy, R.F.: Blow-up, compactness and partial regularity in the calculus of variations. Indiana Univ. Math. J. 36, 361–371 (1987)
Federer, H.: Curvature measures. Trans. Am. Math. Soc. 93, 418–491 (1959)
Fusco, N., Hutchinson, J.: Partial regularity for minimisers of certain functionals having nonquadratic growth. Ann. Mat. Pura Appl. 155(4), 1–24 (1989)
Giaquinta, M.: Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. Princeton Univ. Press, Princeton (1983)
Giaquinta, M., Giusti, E.: Differentiability of minima of non-differentiable functionals. Invent. Math. 72, 285–298 (1983)
Giaquinta, M., Giusti, E.: On the regularity of the minima of certain variational integrals. Acta Math. 148, 31–46 (1982)
Giaquinta, M., Giusti, E.: The singular set of the minima of certain quadratic functionals. Ann. Sc. Norm. Sup. Pisa 9, 45–55 (1984)
Giaquinta, M., Martinazzi, L.: An Introduction to the Regularity Theory for Elliptic Systems. Harmonic Maps and Minimal Graphs. Scuola Normale Superiore, Pisa (2012)
Giaquinta, M., Modica, G.: Remarks on the regularity of the minimizers of certain degenerate functionals. Manuscripta Math. 57, 55–99 (1986)
Giaquinta, M., Modica, G., Souc̆ek, J.: Cartesian Currents in the Calculus of Variations II. (Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics), vol. 38. Springer, Berlin, 1998, Variational integrals. MR 1645082 (2000b:49001b)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co. Inc, River Edge (2003)
Hardt, R., Kinderlehrer, D., Lin, F.-H.: Stable defects of minimizers of constrained variational principles. Ann. Inst. H. Poincaré Anal. Non Linéaire 5, 297–322 (1988)
Hardt, R., Lin, F.-H.: Mappings minimizing the \(L^{p}\) norm of the Gradient. Commun. Pure Appl. Math. XL, 555–588 (1987)
Harjulehto, P., Hästo, P., Klén, R.: Generalized Orlicz spaces and related PDE. Nonlinear Anal. 143, 155–173 (2016)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Hopper, C.: Partial regularity for holonomic minimizers of quasiconvex functionals. Arch. Ration. Mech. Anal. 222, 91–141 (2016)
Kuusi, T., Mingione, G.: Guide to nonlinear potential estimates. Bull. Math. Sci. 4, 1–82 (2014)
Kuusi, T., Mingione, G.: Vectorial nonlinear potential theory. J. Europ. Math. Soc. (JEMS) 20, 929–1004 (2018)
Luckhaus, S.: Partial Hölder continuity for minima of certain energies among maps into a Riemannian manifold. Indiana Univ. Math. J. 37, 349–367 (1988)
Liebermann, G.M.: Gradient estimates for a new class of degenerate elliptic and parabolic equations. Ann. Sc. Norm. Super. Pisa, Cl. Sci. \(4^{e}\) série, tome 21(4), 497–522 (1994)
Manfredi, J.J.: Regularity of the gradient for a class of nonlinear possibly degenerate elliptic equations, Ph.D. Thesis, University of Washington, St. Louis. (1986)
Marcellini, P.: Regularity of minimizers of integrals of the calculus of variations with non standard growth conditions. Arch. Ration. Mech. Anal. 105, 267–284 (1989)
Marcellini, P.: Regularity and existence of solutions of elliptic equations with p, q-growth conditions. J. Differ. Equ. 90, 1–30 (1991)
Mingione, G.: Regularity of minima: an invitation to the dark side of the calculus of variations. Appl. Math. 51(4), 355–426 (2006)
Ragusa, M.A., Tachikawa, A.: Boundary regularity of minimizers of \(p(x)\)-energy functionals. Ann. IHP Nonlinear Anal. 33, 451–476 (2017)
Ragusa, M.A., Tachikawa, A.: On interior regularity of minimizers of \(p(x)\)-energy functionals. Nonlinear Anal. 93, 162–167 (2013)
Ragusa, M.A., Tachikawa, A., Takabayashi, H.: Partial regularity of \(p(x)\)-harmonic maps. Trans. AMS 365(6), 3329–3353 (2013)
Rajagopal, K.R., R\(\mathring{{\rm u}}\)žička, M.: Mathematical modeling of electrorheological materials. Cont. Mech. Therm. 13, 59–78 (2001)
Schoen, R., Uhlenbeck, K.: A regularity theory for harmonic maps. J. Differ. Geom. 17, 307–335 (1982)
Simon, L.: Theorems on Regularity and Singularity of Energy Minimizing Maps, Lectures in Mathematics. ETH Zürich, Birkhäuser, Basel (1996)
Tachikawa, A.: On the singular set of \(p(x)\)-energy. Calc. Var. PDE 50, 145–169 (2014)
Tachikawa, A., Usuba, K.: Regularity results up to the boundary for minimizers of \(p(x)\)-energy with \(p(x)>1\). Manuscr. Math. 152, 127–151 (2017)
Uhlenbeck, K.: Regularity for a class of non-linear elliptic sysyem. Acta Math. 138, 219–240 (1977)
Ural’tseva, N.N.: Degenerate quasilinear elliptic systems. Zap. Na. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 7, 184–222 (1968)
Usuba, K.: Partial regularity of minimizers of p(x)-growth functionals with \(1<p(x)<2\). Bull. Lond. Math. Soc. 47, 455–472 (2015)
Zhikov, V.V.: On some variational problems. Russ. J. Math. Phys. 5, 105–116 (1997)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR Ser. Mat. 50, 675–710 (1986)
Zhikov, V.V.: On Lavrentiev’s phenomenon. Russ. J. Math. Phys. 3, 249–269 (1995)
Zhikov, V.V., Kozlov, S.M., Oleinik, O.A.: Homogenization of Differential Operators and Integral Functionals. Springer, Berlin (1994)
Acknowledgements
The author would like to thank the referees for the patient they had in reading the originally submitted manuscript and for the their most useful remarks, that eventually led to an improved version of the paper. This work was supported by the Engineering and Physical Sciences Research Council [EP / L015811 / 1].
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.