Abstract
We give two characterizations, one for the class of generalized Young measures generated by \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures and one for the class generated by \({\mathcal {B}}\)-gradient measures \({\mathcal {B}}u\). Here, \({{\,\mathrm{{\mathcal {A}}}\,}}\) and \({\mathcal {B}}\) are linear homogeneous operators of arbitrary order, which we assume satisfy the constant rank property. The first characterization places the class of generalized \({\mathcal {A}}\)-free Young measures in duality with the class of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-quasiconvex integrands by means of a well-known Hahn–Banach separation property. The second characterization establishes a similar statement for generalized \({\mathcal {B}}\)-gradient Young measures. Concerning applications, we discuss several examples that showcase the failure of \(\mathrm {L}^1\)-compensated compactness when concentration of mass is allowed. These include the failure of \(\mathrm {L}^1\)-estimates for elliptic systems and the lack of rigidity for a version of the two-state problem. As a byproduct of our techniques we also show that, for any bounded open set \(\Omega \), the inclusions
are dense with respect to the area-functional convergence of measures.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The last decades have witnessed an extensive development of the study of non-convex variational energies related to equilibrium configurations of materials in a wide range of physical models (such as the study of crystalline solids and thermoelastic materials, linear elasticity, perfect plasticity, micro-magnetics, and ferro-magnetics, among others [13, 17, 23, 35]). Often, these models consist in a minimization principle for integrals of the form
where \(\Omega \subset {\mathbb {R}}^d\) is an open and bounded set, \(f : \Omega \times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) satisfies a uniform p-growth condition \(|f(z)| \lesssim 1 + |z|^p\), and the configurations \(w : \Omega \rightarrow {\mathbb {R}}^N\) obey a set of physical laws determined by a system of linear PDEs, where, depending on the particular model, either
We shall refer to the first scenario as the \({\mathcal {A}}\)-free framework and to the latter as the potential or \({\mathcal {B}}\)-gradient framework. In order to keep the exposition as simple as possible, we shall henceforth adopt the \({\mathcal {A}}\)-free perspective.
In these circumstances, designs with near to minimal energy exhibit compatible equilibrium behavior at microscopical scales, while, at larger scales, configurations adapt by gluing together the low energy patterns allowed by the governing equations in (2)/(3). This interplay conveys the formation of finer and finer oscillations, often resulting in some form of \(\mathrm {L}^p\)-weak convergence \(w_j \rightharpoonup w\) when \(p > 1\), or weak-\(*\) convergence (in the sense of measures) when \(p =1\) [4, 5, 10, 15, 28, 29, 41, 42, 55, 56]. In general, such weak forms of convergence are incompatible with the lower semicontinuity of the energy, which is usually the starting point for minimization principles.
Additionally, the case \(p = 1\) may be ill-posed in the sense that, independently of the PDE-constraint, a solution to the minimization problem may fail to exist. The reason is that \(\mathrm {L}^1\) is not reflexive and it naturally lacks compactness properties that guarantee the existence of minimizers. To solve this, one relaxes the variational setting (1)–(2)/(1)–(3) to the minimization of the extended energy functional
defined for measure-valued configurations \(\mu \in {\mathcal {M}}(\Omega ;{\mathbb {R}}^N) \cap \ker {{\,\mathrm{{\mathcal {A}}}\,}}\) (or \(\mu = {\mathcal {B}}u\) for some potential \(u \in {\mathcal {M}}(\Omega ;{\mathbb {R}}^M)\)). Here, \(f^\infty \) is a regularization at infinity called the strong recession function of f, which is defined (provided that it exists) as
In this paper we focus on the case \(p = 1\), which requires a careful study of oscillations and concentrations occurring along weak-\(*\) convergent sequences of measures satisfying (2)/(3). In this regard, an equivalent approach towards the understanding of (1)–(2) consists of characterizing all generalized Young measures (see [24]) generated by sequences \(\{\mu _j\} \subset {\mathcal {M}}(\Omega ;{\mathbb {R}}^N) \cap \ker {{\,\mathrm{{\mathcal {A}}}\,}}\). Let us recall that, formally, a generalized Young measure associated to a sequence \(\{\mu _j\} \subset {\mathcal {M}}(\Omega ;{\mathbb {R}}^N)\) is a triple \({\varvec{\nu }} = (\nu _x,\lambda ,\nu ^\infty _x)_{x \in \overline{\Omega }}\) conformed by a non-negative measure \(\lambda \in {\mathcal {M}}^+(\Omega )\) and two families \(\{\nu _x\}\), \(\{\nu _x^\infty \}\) of probability measures over the target space \({\mathbb {R}}^N\), satisfying the fundamental property that
![](http://media.springernature.com/lw430/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ452_HTML.png)
for all sufficiently regular integrands \(f : \Omega \times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) with linear growth at infinity.
The main result of this paper is contained in Theorem 1.1 and states that a generalized Young measure \({\varvec{\nu }}\), with zero boundary-values \(\lambda (\partial \Omega ) = 0\), is generated by a sequence of \({\mathcal {A}}\)-free measures if and only if (see Definition 1.4)
![](http://media.springernature.com/lw484/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ453_HTML.png)
This separation result implies that the class of generalized \({\mathcal {A}}\)-free Young measures is a convex set characterized by duality in terms of all \({\mathcal {A}}\)-quasiconvex integrands. In addition to this duality characterization, we give a characterization in terms of the blow-up properties of generalized Young measures (see Theorem 1.2). More precisely, we prove that \({\varvec{\nu }}\) as above is generated by a sequence of \({\mathcal {A}}\)-free measures if and only if its tangent cones \({{\,\mathrm{Tan}\,}}({\varvec{\nu }},x)\) almost always contain a generalized Young measure that is generated by \({\mathcal {A}}\)-free measures. Lastly, in Theorem 1.3, we establish the following approximation result: if \(\mu \in {\mathcal {M}}(\Omega ;{\mathbb {R}}^N)\) is a bounded \({\mathcal {A}}\)-free measure, then there exists a sequence of \({\mathcal {A}}\)-free functions \(\{w_j\} \subset \mathrm {L}^1(\Omega ;{\mathbb {R}}^N)\) that converges to \(\mu \) in the sense of the generalized area functional, that is,
![](http://media.springernature.com/lw351/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ454_HTML.png)
We also prove analogous results in the \({\mathcal {B}}\)-potential setting (1)–(3), for generalized measures generated by sequences of the form \(\{{\mathcal {B}}u_j\} \subset {\mathcal {M}}(\Omega ;{\mathbb {R}}^N)\). These are contained in Theorem 1.4, Theorem 1.5 and Theorem 1.6.
1.1 State of the Art
The work of Young [67,68,69] and the use of (classical) Young measures plays a fundamental role in representing solutions of optimal control problems. The study of Young measures, from the point of view of partial differential equations, started with the work of Tartar and Murat, who, motivated by problems in continuum mechanics and electromagnetism, introduced the theory of compactness by compensation [49,50,51, 63, 64]. The first characterization of Young measures in the PDE-constrained context is due to Kinderlehrer and Pedregal [36, 37] for the potential configuration \(w = \nabla u\), of a Sobolev function \(u \in \mathrm {W}^{1,p}(\Omega ;{\mathbb {R}}^m)\) with \(p > 1\). This characterization of \(\mathrm {L}^p\)-gradient Young measures accounts for the validity of Jensen’s inequality between gradient Young measures and (curl-)quasiconvex integrands.Footnote 1 More precisely, the authors showed that a (purely oscillatory) family of probability distributions \(\{\nu _x\}_{x \in \Omega }\) on the space of \(m \times d\) matrices \(M^{m\times d}\) is a Young measure generated by a p-equi-integrable sequence of gradients \(\nabla u_j \rightharpoonup \nabla u\) if and only if
for all quasiconvex integrands \(f :M^{m \times d} \rightarrow {\mathbb {R}}\) with p-growth at infinity. The characterization also covers the case \(p =1\), but only when the generating sequences are assumed to be equi-integrable. The extension of this result to generalized Young measures generated by gradients, which is instead associated to the space \(\mathrm {BV}(\Omega ;{\mathbb {R}}^m)\) of functions of bounded variation, is due to Kristensen and Rindler [41]. There, the authors show that a generalized Young measure \({\varvec{\nu }} = (\nu _x,\lambda ,\nu ^\infty _x)_{x \in \overline{\Omega }}\) is generated by a sequence of gradient measures if and only if a version of (6) holds for the absolutely continuous part of \({\varvec{\nu }}\), that is,
for all quasiconvex integrands \(f :M^{m \times d} \rightarrow {\mathbb {R}}\) with linear-growth at infinity, where \(Du = {D}^\mathrm {ac} u {\mathscr {L}}^d + D^s u\). Somewhat surprisingly, this conveys that the nonlinear moments of the purely concentration part \((\lambda ^s,\nu _x^\infty )\) of \((\nu ,\lambda ,\nu ^\infty )_{x \in \overline{\Omega }}\) are fully unconstrained. (This is a consequence of Alberti’s rank one theorem [2] and a recent rigidity result for positively homogeneous rank-one convex functions established by Kirchheim and Kristensen [38].)
The efforts to establish an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free variational theory for Young measures initiated with the work of Dacorogna [19], who studied \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free functions w that are represented by potentials \(w = {\mathcal {B}}u\) where \({\mathcal {B}}\) is a suitable first-order operator. However, it was the seminal work of Fonseca and Müller that laid the foundations for an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free setting under the more general assumption of \({{\,\mathrm{{\mathcal {A}}}\,}}\) satisfying the constant rank property; see (8) below.Footnote 2 The authors generalized Morrey’s notion of quasiconvexity to the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free setting and showed that the necessary and sufficient condition for the lower semicontinuity of (1)–(2), under p-growth and p-equi-integrability assumptions, was precisely the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-quasiconvexity of the integrand. Fonseca and Müller also extended Kinderlehrer–Pedregal’s characterization theorem to the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free setting by showing that a family of probability distributions \(\{\nu _x\}_{x \in \Omega } \subset \mathrm {Prob}({\mathbb {R}}^N)\) is a Young measure generated by a p-equi-integrable sequence of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free maps \(\{w_j\}\) if and only if the following two conditions hold:
-
(i)
there exists \(w \in \mathrm {L}^p(\Omega ;{\mathbb {R}}^N)\) such that \({\mathcal {A}}w = 0\) and
$$\begin{aligned} w(x) \equiv \int _{{\mathbb {R}}^N} z \,\mathrm {d}\nu _x(z) \quad \text {as functions in } \mathrm {L}^p(\Omega ;{\mathbb {R}}^N), \end{aligned}$$ -
(ii)
at \({\mathscr {L}}^d\)-almost every \(x \in \Omega \), Jensen’s inequality
$$\begin{aligned} h(w(x)) \leqq \int _{{\mathbb {R}}^N} h(z) \,\mathrm {d}\nu _x(z) \,\mathrm {d}x \end{aligned}$$holds for all \({{\,\mathrm{{\mathcal {A}}}\,}}\)-quasiconvex integrands \(h : {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) with p-growth at infinity.
The generalization of this result to generalized Young measures without the p-equi-integrability assumption in the range \(1< p < \infty \) was later established by Fonseca and Kružík [26]. In the generalized Young measure framework for \(p=1\), the only characterization results are restricted to two well-known potential structures, gradients \({\mathcal {B}}= D\) [41] and symmetrized gradients \({\mathcal {B}}= E\) [22].Footnote 3 The well-established proofs for the case when \({\mathcal {B}}= D,E\) cited above rely on the strong rigidity properties that gradients and symmetric gradients possess. However, such properties are not known to hold for general higher-order operators. Up to now, the only \({\mathcal {A}}\)-free result in the generalized setting was a partial characterization due to Baía, Matias and Santos [11]. There, the authors characterize all generalized Young measures generated by \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures under the following somewhat restrictive assumptions: (a) The operator \({{\,\mathrm{{\mathcal {A}}}\,}}\) is assumed to be of first-order. This implies that its associated principal symbol map \(\xi \mapsto {\mathbb {A}}(\xi )\) is a linear map. In turn, this allows for rigidity and homogenization-type arguments which unfortunately fail for higher order operators. (b) The characterization is restricted to Young measures generated by sequences \(\mu _j \overset{*}{\rightharpoonup }\mu \), where the limiting measure \(\mu \) satisfies the following Morrey-type bound
This upper-density bound on \(\mu \) is in general too restrictive for applications as it rules out 1-rectifiable measures. For instance, every non-degenerate closed smooth curve \(\gamma : [0,1] \rightarrow \Gamma \subset {\mathbb {R}}^d\) defines a divergence-free measure by setting .
The purpose of this work is to give a full characterization of all generalized Young measures generated by \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures, as well as a characterization of generalized Young measures generated by \({\mathcal {B}}\)-gradients, for operators \({\mathcal {A}}\) and \({\mathcal {B}}\) satisfying the constant rank property. Therefore, we extend the aforementioned results into a unified general setting that allows for the appearance of mass concentrations in the case \(p =1\). Our strategy departs from previous ones (even in the case of gradients) in the sense that we do not work with averaged Young measure approximations nor rely on the rigidity of PDE-constrained measures. Instead, we work with Lebesgue-point continuity properties and the gluing of local generating sequences at the level of potentials; it is for this last point that the constant rank property is fundamental because it guarantees Sobolev-type regularity estimates when the kernel of \({\mathcal {A}}\) (or \({\mathcal {B}}\)) is removed. It is worth to mention that the characterization for \({\mathcal {A}}\)-free measures presented here does not deal with characterizations up to the boundary. The main assumption being that a generating sequence \(w_j : \Omega \rightarrow W\) does not concentrate mass on the boundary \(\partial \Omega \). In this regard, the work of Baía, Krömer and Kružík [12] addresses the characterization of generalized gradient Young measures up to the boundary; such results for general operators \({\mathcal {A}}\) are yet to be explored.
1.2 Comments on the Constant Rank Assumption
It is worthwhile to briefly discuss the role that the constant rank assumption plays for both the \({\mathcal {A}}\)-free setting and the \({\mathcal {B}}\)-potential setting. On the one hand, potentials allow for localizations of the form \({\mathcal {B}}u\mapsto {\mathcal {B}}(\varphi u)\). In the case of gradients, these localizations are stable thanks to Poincaré’s inequality \(\Vert u\Vert _{\mathrm {L}^p} \lesssim \Vert Du\Vert _{\mathrm {L}^p}\). For general \({\mathcal {B}}\), this type of Poincaré estimates only holds after removing the kernel of \({\mathcal {B}}\), that is, \(\Vert u - \pi _{\mathcal {B}}u\Vert _{\mathrm {L}^p} \lesssim \Vert {\mathcal {B}}u\Vert _{\mathrm {L}^p}\), where \(\pi _{\mathcal {B}}\) is the (\(\mathrm {L}^2\)-)projection onto \(\ker {\mathcal {B}}\). At the time the Fonseca-Müller characterization was given, one of the challenges was the lack of a potential structure for \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free fields. In this regard, Fonseca and Müller’s strategy in the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free setting departs from the one of Kinderlehrer and Pedregal, because localizations had to be carried out at the level of the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free field \(w \mapsto \varphi w\). In order to handle this localization, the authors relied on the use of the estimate \(\Vert w - \pi _{\mathcal {A}}w\Vert _{\mathrm {L}^p} \lesssim \Vert {\mathcal {A}}w\Vert _{\mathrm {W}^{-k,p}}\), often referred as the Fonseca-Müller projection in the calculus of variations (it is, in fact, a Calderón–Zygmund-type bound). In either case, the constant rank property is a sufficient and necessary condition for the boundedness of both Poincaré’s and Fonseca–Müller’s estimates (see [31]).
While most of the physically relevant applications are modeled by operators that do satisfy the constant rank property (see Sect. 2), the variational theory in the setting (1)–(2)/(1)–(3) is not restricted to operators satisfying the constant rank property. Notably, Müller [47] characterized all (classical) Young measures generated by diagonal gradients. In two dimensions, this setting is associated to the operator \({\mathcal {A}}(w_1,w_2) = (\partial _2 w_1,\partial _1 w_2)\), which is one of the simplest examples of an operator that does not satisfy the constant rank property (see [63]). Other related work about the understanding of PDE-constraints where the constant rank property is not a main assumption include [7, 8, 22, 65], and more recently [9].
1.3 Set-Up and Main Results
We assume throughout the paper that \(U \subset {\mathbb {R}}^d\) is an open set, and that \(\Omega \subset {\mathbb {R}}^d\) is an open and bounded set satisfying \({\mathscr {L}}^d(\partial \Omega ) = 0\). Here, \({\mathscr {L}}^d\) denotes the d-dimensional Lebesgue measure.
We work with a homogeneous partial differential operator \({{\,\mathrm{{\mathcal {A}}}\,}}\) (or \({\mathcal {B}}\)), from W to X (or V to W), of the form
where W, X (and V) are finite dimensional inner product euclidean spaces. Here \(\alpha \in {\mathbb {N}}_0^d\) is a multi-index with modulus \(|\alpha | = \alpha _1 + \dots + \alpha _d\) and \(\partial ^\alpha \) represents the distributional derivative \(\partial _1^{\alpha _1} \cdots \partial _d^{\alpha _d}\). Our main assumption on \({{\,\mathrm{{\mathcal {A}}}\,}}\) (and \({\mathcal {B}}\)) is that it satisfies the following constant rank property: there exists a positive integer r such that
where the tensor-valued k-homogeneous polynomial
is the principal symbol associated to the operator \({\mathcal {A}}\). Here, \(\xi ^\alpha :=\xi _1^{\alpha _1}\cdots \xi _d^{\alpha _d}\). We also recall the notion of wave cone associated to \({\mathcal {A}}\), which plays a fundamental role for the study of \({\mathcal {A}}\)-free fields, as discussed in the work of Murat and Tartar [49,50,51, 63, 64]:
The wave cone contains those Fourier amplitudes along which it is possible to construct highly oscillating \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free fields. More precisely, \(P \in \Lambda _{\mathcal {A}}\) if and only if there exists \(\xi \in {\mathbb {R}}^d \setminus \{0\}\) such that \({{\,\mathrm{{\mathcal {A}}}\,}}(P\, \varphi (x \cdot \xi )) = 0\) for all \(\varphi \in \mathrm {C}^k({\mathbb {R}})\).
Let us begin our exposition by introducing a few concepts about the theory of generalized Young measures (as introduced in [24], and later extended in [3]):
Definition 1.1
(Generalized Young measure) A triple \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty )\) is called a locally bounded generalized Young measure on U, with values in W, provided that
-
(i)
\(\nu : U \rightarrow \mathrm {Prob}(W) : x \mapsto \nu _x\) is a weak-\(*\) measurable map,
-
(ii)
\(\lambda \in {\mathcal {M}}^+(\overline{U})\) is a non-negative Radon measure on \(\overline{U}\),
-
(iii)
\(\nu ^\infty : U \rightarrow \mathrm {Prob}(S_{W}):x \mapsto \nu _x^\infty \) is a weak-\(*\) \(\lambda \)-measurable map, where \(S_{W}\) is the unit sphere in W, and
-
(iv)
the map
belongs to \(\mathrm {L}^1_\mathrm {loc}(U)\).
If, moreover,
-
(iv)
the map
belongs to \(\mathrm {L}^1(U)\), and
-
(v)
\(\lambda \) is a finite measure,
then we say that \({\varvec{\nu }}\) is a generalized Young measure. We write \({{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}(U;W)\) to denote the set of locally bounded generalized Young measures, and \({{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) to denote the set of generalized Young measures.
Notation. In the following and when no confusion arises, we will often refer to generalized Young measures simply as Young measures. We will also write
Definition 1.2
We say that a sequence of measures \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) generates the Young measure \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty )\in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) if and only if
for all integrands \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U,W)\); see Sect. 4.2 for the precise definition of \({{\,\mathrm{\mathbf{E}}\,}}(U;W)\). In this case we write
Next, we incorporate the PDE constraint into the concept of generalized Young measure. Let us recall that \(\mathrm {W}^{-k,p}(U) = (\mathrm {W}^{k,p'}_0(U))^*\) for all \(1 \leqq p < \infty \). Here, \(p'\) is the dual exponent of p and \(\mathrm {W}^{k,p'}_0(U)\) is the closure of \(\mathrm {C}_c^\infty (U)\) with respect to the \(\mathrm {W}^{k,p'}\)-norm.
Definition 1.3
(Generalized \({\mathcal {A}}\)-free Young measure) A Young measure \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) is called a generalized \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure if there exists a sequence \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) such that
and
We write \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(U)\) to denote the set of such Young measures.
1.3.1 Characterization of \({\mathcal {A}}\)-free Young Measures
Let us begin by recalling the definition of \({\mathcal {A}}\)-quasiconvexity, which will be a necessary concept to state the main characterization theorem.
Definition 1.4
A locally bounded Borel integrand \(h:W \rightarrow {\mathbb {R}}\) is called \({\mathcal {A}}\)-quasiconvex if
for all periodic fields \(w \in \mathrm {C}^\infty _\mathrm {per}([0,1]^d;W)\) satisfying
We will also require to define a weaker notion of recession function. For a Borel integrand \(h: W\rightarrow {\mathbb {R}}\) with linear growth at infinity, we define its upper recession function as
Differently from \(h^\infty \), the upper recession function always exists and defines an upper semicontinuous and positively 1-homogeneous function on W.
We are now in position to state our main characterization results. The first result extends the Hahn–Banach-type characterization [27, Theorem 4.1] to sequences of weak-\(*\) convergent measures.
Theorem 1.1
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). Then, \({\varvec{\nu }}\) is a generalized \({\mathcal {A}}\)-free Young measure if and only if
-
(i)
there exists \(\mu \in {\mathcal {M}}(\Omega ;W)\) satisfying
$$\begin{aligned} {\mathcal {A}}\mu = 0 \quad \text {in the sense of distributions on }\Omega , \end{aligned}$$and
$$\begin{aligned} \mu = \bigl \langle {{\,\mathrm{id}\,}}_W,\nu \bigr \rangle {\mathscr {L}}^d + \bigl \langle {{\,\mathrm{id}\,}}_W,\nu ^\infty \bigr \rangle \lambda \,, \end{aligned}$$ -
(ii)
at \({\mathscr {L}}^d\)-almost every \(x \in \Omega \), the Jensen-type inequality
$$\begin{aligned} h({\mu }^\mathrm {ac}(x)) \leqq \bigl \langle h,\nu _x \bigr \rangle + \bigl \langle h^\#,\nu ^\infty _x \bigr \rangle {\lambda }^\mathrm {ac}(x) \end{aligned}$$holds for all upper-semicontinuous \(\mathcal A\)-quasiconvex integrands \(h : W\rightarrow {\mathbb {R}}\) with linear growth at infinity, and
-
(iii)
at \(\lambda ^s\)-almost every \(x \in \Omega \),
$$\begin{aligned} {{\,\mathrm{supp}\,}}(\nu _x^\infty ) \subset W_{\mathcal {A}}:={{\,\mathrm{span}\,}}\{\Lambda _{{\mathcal {A}}}\}. \end{aligned}$$
Remark 1.1
If \({\mathcal {A}}\) is defined in its essential domain, that is,
then the purely singular part \((\lambda ^s,\nu ^\infty )\) of \({\varvec{\nu }}\) is unconstrained since then (iii) is equivalent to the trivial set inclusion
In Sect. 2, we shall revise some examples of operators that satisfy this property.
Remark 1.2
The condition at regular points, embodied by property (ii), conveys a similar constraint for the supports of \(\nu _x\) and \(\nu _x^\infty \) on a set of full \({\mathscr {L}}^d\)-measure. The results contained in Corollary 4.1 imply that \(\nu _x\) is the \({\mu }^\mathrm {ac}(x)\)-translation of a probability measure supported on \(W_{\mathcal {A}}\), that is,
The same corollary also conveys that property (iii) holds \(\lambda \)-a.e., that is,
On the other hand, the property at singular points (iii) is equivalent to the complementary Jensen’s inequality
This follows directly from the structure theorem for \({\mathcal {A}}\)-free measures [21, Theorem 1.1] and the rigidity results established in [38].
Our second result characterizes generalized \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measures in terms of their tangent cone (in the spirit of [57]); definitions of tangent Young measures will be postponed to Sect. 4.2.
Theorem 1.2
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). Then, \({\varvec{\nu }}\) is a generalized \({\mathcal {A}}\)-free measure if and only if
-
(i)
there exists \(\mu \in {\mathcal {M}}(\Omega ;W)\) satisfying
$$\begin{aligned} {\mathcal {A}}\mu = 0 \quad \text {in the sense of distributions on }\Omega , \end{aligned}$$and
$$\begin{aligned} \mu = \bigl \langle {{\,\mathrm{id}\,}}_{W},\nu \bigr \rangle \, {\mathscr {L}}^d + \bigl \langle {{\,\mathrm{id}\,}}_W,\nu ^\infty \bigr \rangle \lambda \,, \end{aligned}$$ -
(ii)
at \(({\mathscr {L}}^d + \lambda ^s)\)-almost every \(x \in \Omega \), there exists a tangent Young measure
$$\begin{aligned} {\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x) \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}({\mathbb {R}}^d;W), \end{aligned}$$such that
for all open and Lipschitz subsets \(U \Subset {\mathbb {R}}^d\) with \(\lambda _{\varvec{\sigma }}(\partial U) = 0\).
We close the characterization of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measures with an application of the methods developed in this paper, which allows us to re-define \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures in terms of a pure \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free constraint.
Corollary 1.1
Let \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). The following are equivalent:
-
(i)
\({\varvec{\nu }}\) is a generalized \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure,
-
(ii)
\({\varvec{\nu }}\) is generated by \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures.
1.3.2 Area Strict Density of Absolutely Continuous \({\mathcal {A}}\)-free Measures
Independently of the characterization of \({\mathcal {A}}\)-free Young measures, our methods allow us to show that an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure \(\mu \) defined on an open and bounded domain \(U \subset {\mathbb {R}}^d\) can be approximated in the area-strictly sense of measures, by a sequence of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free functions. This approximation result is of relevance to certain minimization principles involving the relaxation of functionals of the form
Frequently, it has been accepted to impose a geometric assumption on U that guarantees the approximation of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures by \(\mathrm {L}^1\)-integrable \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free fields in the strict sense of measures (see for instance [5, 6, 46]). More precisely, that U is a strictly star-shaped domain, that is, there exists \(x \in U\) such that
The approximation result contained in Theorem 1.3 below allows, in particular, to dispense with this assumption on the geometry of U. In order to state this result we need to introduce the following basic concept. The area functional of a measure is defined as
In addition to the well-known weak-\(*\) convergence of measures, we say that a sequence \(\{\mu _j\}\) converges in area to \(\mu \) in \({\mathcal {M}}(\Omega ;W)\) if
This notion of convergence turns out to be stronger than the conventional strict convergence of measures, which requires \(|\mu _j|(U) \rightarrow |\mu |(U)\). The usefulness of this form of convergence rests in the fact that the functional
is area-continuous on \({\mathcal {M}}(U;W)\) for all integrands \(f \in \mathrm {C}(U \times W)\) such that the strong recession function \(f^\infty \) exists on \(\overline{U} \times W\) (see [41, Theorem 5]).
We have the following area-convergence approximation result (see Sect. 4.2 for the definition of elementary Young measures \({\varvec{\delta }}_\mu \)):
Theorem 1.3
Let \(\Omega \subset {\mathbb {R}}^d\) be an open and bounded set and let \(\mu \in {\mathcal {M}}(\Omega ;W)\) be a bounded \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure. Then there exists a sequence \(\{w_j\} \subset \mathrm {L}^1(\Omega ;W)\), satisfying
and
Remark 1.3
Notice that we do not require \(\Omega \) to be Lipschitz nor \({\mathscr {L}}^d(\partial \Omega ) = 0\). The regularity of the recovery sequence \(\{w_j\}\) can be lifted to be of class \(\mathrm {C}^k(\Omega ;W)\) for any \(k \in {\mathbb {N}}\).
1.3.3 Characterization of Generalized \({\mathcal {B}}\)-Gradient Young Measures
In this section we state the characterization results that belong to the potential setting (1)–(3).
Let \({\mathcal {B}}\) be a homogeneous linear operator of arbitrary order, from V to W, and assume that \({\mathcal {B}}\) satisfies the constant rank property (8). Let us first introduce the notion of \({\mathcal {B}}\)-gradient Young measure:
Definition 1.5
A Young measure \({\varvec{\nu }} \in {\mathbf {Y}}(U;W)\) is called a generalized \({\mathcal {B}}\)-gradient Young measure if there exists a sequence \(\{u_j\} \subset {\mathcal {M}}(U;V)\) such that \(\{{\mathcal {B}}u_j\} \subset \mathcal {M}(U;W)\) and
We write \({\mathcal {B}}{\mathbf {Y}}(U)\) to denote the set of these Young measures.
Remark 1.4
We do not require that the sequence of generating potential measures \(\{u_j\}\) is uniformly bounded. However, of course, the sequence \(\{{\mathcal {B}}u_j\}\) must be uniformly bounded since it generates \({\varvec{\nu }}\).
Since \({\mathcal {B}}\) satisfies the constant rank property, the results in [54] (see also Sect. 5) yield the existence of an annihilator operator for \({\mathcal {B}}\). More precisely, there exists \({\mathcal {A}}\) from W to X as in (7) such that
A localization argument and an application of the Fourier transform imply that \({\mathcal {B}}\)-gradients are \({\mathcal {A}}\)-free fields and therefore, in this case,
A more interesting question in this context is to understand how far is a generalized \({\mathcal {A}}\)-free measure from being a generalized \({\mathcal {B}}\)-gradient Young measure. The first step to answer this question is to notice that, by a slight modification of the proof of Theorem 1.2, we obtain the following local characterization:
Theorem 1.4
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty )\in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). Then, \({\varvec{\nu }} \in {\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega )\) if and only if
-
(i)
there exists \(u \in {\mathcal {M}}(\Omega ;V)\) such that
$$\begin{aligned} {\mathcal {B}}u = \bigl \langle {{\,\mathrm{id}\,}},\nu \bigr \rangle \, {\mathscr {L}}^d \, + \, \bigl \langle {{\,\mathrm{id}\,}},\nu ^\infty \bigr \rangle \, \lambda \,, \end{aligned}$$ -
(ii)
at \(({\mathscr {L}}^d + \lambda ^s)\)-almost every \(x \in \Omega \), there exists a tangent Young measure
$$\begin{aligned} {\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x) \in {\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}({\mathbb {R}}^d) \end{aligned}$$such that
for all open Lipschitz sets \(U \Subset {\mathbb {R}}^d\) with \(\lambda _{\varvec{\sigma }}(\partial U) = 0\).
Now, before stating the analog of Theorem 1.1 for \({\mathcal {B}}\)-gradients, we will need to adapt some of the preliminary definitions of the \({\mathcal {A}}\)-framework into the \({\mathcal {B}}\)-framework. In the case of potentials, the role of the wave cone is replaced by the image cone
which contains the set of \({\mathcal {B}}\)-gradients in Fourier space. The exactness property (11) has two direct consequences: First, it implies (see [54, Corollary 1]) the equivalence between \({\mathcal {A}}\)-quasiconvexity and \({\mathcal {B}}\)-gradient quasiconvexity:
Definition 1.6
A locally bounded Borel integrand \(h : W \rightarrow {\mathbb {R}}\) is called \({\mathcal {B}}\)-gradient quasiconvex if
and all \(z \in W\).
Secondly, the wave cone of \({\mathcal {A}}\) coincides with the image cone of \({\mathcal {B}}\) (that is, \(\mathrm {I}_{\mathcal {B}}= \Lambda _{\mathcal {A}}\)). These two observations and Theorem 1.2 imply that \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega )\) and \({\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega )\) are structurally equivalent, except at their associated barycenter measures:
Theorem 1.5
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). Then, \({\varvec{\nu }} \in {\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega )\) if and only if
-
(i)
there exists \(u \in {\mathcal {M}}(\Omega ;V)\) such that
$$\begin{aligned} {\mathcal {B}}u = \bigl \langle {{\,\mathrm{id}\,}},\nu \bigr \rangle \, {\mathscr {L}}^d + \bigl \langle {{\,\mathrm{id}\,}},\nu ^\infty \bigr \rangle \lambda \, , \end{aligned}$$ -
(ii)
at \({\mathscr {L}}^d\)-almost every \(x \in \Omega \),
$$\begin{aligned} h\big ({{\mathcal {B}}}^\mathrm {ac}u(x)\big ) \leqq \bigl \langle h,\nu _x \bigr \rangle + \bigl \langle h^\#,\nu ^\infty _x \bigr \rangle {\lambda }^\mathrm {ac}(x) \end{aligned}$$for all upper-semicontinuous \({{\,\mathrm{{\mathcal {B}}}\,}}\)-gradient quasiconvex integrands \(h : W\rightarrow {\mathbb {R}}\) with linear growth at infinity, and
-
(iii)
at \(\lambda ^s\)-almost every \(x \in \Omega \), it holds
$$\begin{aligned} {{\,\mathrm{supp}\,}}(\nu _x^\infty ) \subset {{\,\mathrm{span}\,}}\{\mathrm {I}_{\mathcal {B}}\}. \end{aligned}$$
We close this section with the analog of Theorem 1.3 for \({\mathcal {B}}\)-gradients:
Theorem 1.6
Let \(\Omega \subset {\mathbb {R}}^d\) be a bounded open set and let \(u \in {\mathcal {M}}(\Omega ;V)\) be such that \({\mathcal {B}}u \in {\mathcal {M}}(\Omega ;W)\) is a bounded Radon measure. Then, there exists a sequence \(\{u_j\} \subset \mathrm {C}^\infty (\Omega ;V)\) satisfying
and
2 Examples
In this section we review, with concise examples, a few of the most well-known \({\mathcal {A}}\)-free and \({\mathcal {B}}\)-gradient structures; most of which satisfy the spanning property
Let us recall that, in this case, the point-wise relation (iii) of the singular part in Theorems 1.1 and 1.5 is superfluous (cf. Remark 1.1). In the following list of examples, the labels “\({\mathcal {A}}\)-free” or “potential” indicate the setting on which the operator is considered:
-
(a)
Gradients (potential). Let D be the gradient operator acting on functions \(u : \Omega \rightarrow {\mathbb {R}}^m\). Clearly, D is first-order operator from \({\mathbb {R}}^m\) to \({\mathbb {R}}^m \otimes {\mathbb {R}}^d\). Moreover, the set of gradients in Fourier space is
$$\begin{aligned} \mathrm {I}_{D} = \left\{ \, a \otimes \xi \ \mathbf{: }\ a \in {\mathbb {R}}^m,\xi \in {\mathbb {R}}^d \,\right\} , \end{aligned}$$which is a generating set of \({\mathbb {R}}^m \otimes {\mathbb {R}}^d\).
-
(b)
Higher order gradients (potential). In the same context as the last point, the k-gradient operator
$$\begin{aligned} D^k u = \bigg (\frac{\partial ^k u^i}{\partial x_{p_1} \cdots \partial x_{p_k}}\bigg )\qquad p_j \in \{1,\dots ,d\}; \quad i= 1,\dots ,m, \end{aligned}$$is a k-th order operator from \({\mathbb {R}}^m\) to \({\mathbb {R}}^m \otimes E_k({\mathbb {R}}^d)\), where \(E_k({\mathbb {R}}^d)\) is the space of k-th order symmetric tensors. The set of k-th order gradients in Fourier space is the set
$$\begin{aligned} \mathrm {I}_{D^k} = \left\{ \, a \otimes ^k \xi \ \mathbf{: }\ a \in {\mathbb {R}}^m, \xi \in {\mathbb {R}}^d \,\right\} . \end{aligned}$$A standard polarization argument implies that \(\mathrm {I}_{D^k}\) indeed spans \({\mathbb {R}}^m \otimes E_k({\mathbb {R}}^d)\).
-
(c)
Symmetric gradients (potential). The symmetric gradient of a vector field \(u : {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) is defined as as \(Eu = \mathrm {sym}(Du) = \frac{1}{2} (Du + Du^T)\). Clearly, E defines a first-order operator from \({\mathbb {R}}^d\) to \(E_2({\mathbb {R}}^d)\). The space of Fourier symmetric gradients is given by
$$\begin{aligned} \mathrm {I}_{E} = \left\{ \, a \otimes \xi + \xi \otimes a \ \mathbf{: }\ a,\xi \in {\mathbb {R}}^d \,\right\} , \end{aligned}$$which, again by a polarization argument, can be seen to generate \(E_2({\mathbb {R}}^d)\).
-
(d)
Deviatoric operator (potential). The operator that considers only the shear part of the symmetric gradient is given by
$$\begin{aligned} E_Du :=\mathrm {sym}(Du) - \frac{{{\,\mathrm{div}\,}}(u)}{d} I_d, \qquad u: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d, \end{aligned}$$where \(I_d\) is the identity in \({\mathbb {R}}^d \otimes {\mathbb {R}}^d\). Therefore, \(E_D\) is a first-order operator form \({\mathbb {R}}^d\) to \(\{\, M \in E_2({\mathbb {R}}^d) \ \mathbf{: }\ {{\,\mathrm{Tr}\,}}(M) = 0 \,\}\). The set of shear symmetric gradients in Fourier space is the set
$$\begin{aligned} \left\{ \, \frac{1}{2} (a \otimes \xi + \xi \otimes a) - \frac{(a \cdot \xi )}{d}I_d \ \mathbf{: }\ a,\xi \in {\mathbb {R}}^d \,\right\} . \end{aligned}$$This set contains all the tensors of the form \(e_i \otimes e_i - e_j \otimes e_j\) and \(e_i \otimes e_j + e_j \otimes e_i\) for \(i \ne j\), which conform a basis of the trace-free symmetric tensors.
-
(e)
The Laplacian (\({\mathcal {A}}\)-free and potential). An interesting case is the Laplacian operator
$$\begin{aligned} \Delta u = \sum _{i=1}^d \partial _{ii} u, \qquad u : {\mathbb {R}}\rightarrow {\mathbb {R}}. \end{aligned}$$The Laplacian is a 2nd order operator from \({\mathbb {R}}\) to \({\mathbb {R}}\). The \({\mathcal {A}}\)-free perspective of the Laplacian corresponds to the variational properties of the harmonic functions. The first statement of Lemma 3.1 gives \(\Lambda _\Delta = \{0\}\) and
This says that there are no concentration nor oscillation effects occurring along sequences of uniformly bounded harmonic maps. Of course, this is not surprising since harmonic functions satisfy local \((\mathrm {W}^{1,\infty },\mathrm {L}^1)\)-estimates. The \(\Delta \)-potential perspective is completely opposite (\(\mathrm {I}_\Delta = {\mathbb {R}}\)). Indeed, since \(\Delta \) is a full-rank elliptic operator, then the second statement in Lemma 3.1 implies that
$$\begin{aligned} \Delta \!{\mathbf {Y}}(\Omega ;{\mathbb {R}}) \cap {\mathbf {Y}}_0(\Omega ;{\mathbb {R}}) = {\mathbf {Y}}_0(\Omega ;{\mathbb {R}}), \end{aligned}$$which says that being generated by the Laplacian of a sequence of functions represents no constraint. Heuristically, this is also not surprising due to existence of a fundamental solution for the Laplacian.
-
(f)
Solenoidal measures (\({\mathcal {A}}\)-free). Let us consider the scalar-divergence operator
$$\begin{aligned} {{\,\mathrm{div}\,}}(w) = \partial _1 w^1 + \dots + \partial _d w^d, \qquad w : {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d. \end{aligned}$$This defines a first-order operator from \({\mathbb {R}}^d\) to \({\mathbb {R}}\). It is straightforward to verify
$$\begin{aligned} \Lambda _{{{\,\mathrm{div}\,}}} = \left\{ \, \xi ^\perp \ \mathbf{: }\ \xi \in {\mathbb {R}}^d \,\right\} = {\mathbb {R}}^d. \end{aligned}$$In particular, every div-quasiconvex function is convex (cf. Sect. 4.3). This, implies that the constitutive relations of the absolutely continuous and singular parts of solenoidal Young measures are fully unconstrained:
$$\begin{aligned} {\mathbf {Y}}_{{{\,\mathrm{div}\,}}}(\Omega ) \cap {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;{\mathbb {R}}) = \left\{ \, {\varvec{\nu }} \in {\mathbf {Y}}_0(\Omega ;{\mathbb {R}}^d) \ \mathbf{: }\ {{\,\mathrm{div}\,}}([{\varvec{\nu }}]) = 0 \,\right\} , \end{aligned}$$where \([{\varvec{\nu }}] = \bigl \langle {{\,\mathrm{id}\,}}_{{\mathbb {R}}^d},\nu \bigr \rangle + \lambda \bigl \langle {{\,\mathrm{id}\,}}_{{\mathbb {R}}^d},\nu ^\infty \bigr \rangle \) is the barycenter of \({\varvec{\nu }}\).
-
(g)
Normal currents (\({\mathcal {A}}\)-free and potential). The following framework has recently received attention in light of the new ideas proposed to study certain dislocation models, which are related to functionals defined on normal 1-currents without boundary (boundaries of normal 2-currents). For a thorough understanding of these models, we refer the reader to [18, 34] and references therein. Let \(1 \leqq m \leqq d\) be an integer. The space of m-dimensional currents consists of all distributions \(T \in {\mathcal {D}}'(\Omega ;\bigwedge _m{\mathbb {R}}^d)\). The boundary operator \(\partial _m\) acts (in the sense of distributions) on m-dimensional currents T as
$$\begin{aligned} \bigl \langle \partial _m T,\omega \bigr \rangle = \bigl \langle T,\mathrm d\omega \bigr \rangle , \qquad \omega \in \textstyle {\mathrm {C}^\infty (\Omega ;\bigwedge ^{m-1}{\mathbb {R}}^d)}. \end{aligned}$$Therefore \(\partial _m\) is first-order operator from \(\bigwedge ^{m} {\mathbb {R}}^d\) to \(\bigwedge ^{m-1} {\mathbb {R}}^d\). De Rham’s theorem implies that \(\partial _m\) is a constant rank operator. Indeed, \({{\,\mathrm{Im}\,}}\partial _{m}(\xi ) = \ker \partial _{m-1}(\xi )\) for all \(\xi \in {\mathbb {R}}^d \setminus \{0\}\). Hence \({{\,\mathrm{rank}\,}}\partial _m(\xi )\) is continuous on the sphere, and thus also constant. The space \({\mathbf {N}}_m(\Omega )\) of m-dimensional normal currents (see 25) is defined as the space of m-currents T, such that both T and \(\partial _m T\) can be represented by measures:
$$\begin{aligned} \textstyle { {\mathbf {N}}_m(\Omega ) :=\{\, T \in {\mathcal {M}}(\Omega ;\bigwedge _m{\mathbb {R}}^d) \ \mathbf{: }\ \partial _m T \in {\mathcal {M}}(\Omega ;\bigwedge _{m-1}{\mathbb {R}}^d) \,\} }. \end{aligned}$$We say that \(T \in {\mathbf {N}}_m(\Omega )\) is a current without boundary provided that \(\partial _m T = 0\). In this context, we say that
-
(i)
\({\varvec{\nu }} \in {\mathbf {Y}}_{\partial _m}(\Omega ;\bigwedge ^m {\mathbb {R}}^d)\) is an m-current Young measure without boundary,
-
(ii)
\({\varvec{\nu }} \in \partial _m\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;\bigwedge ^{m-1} {\mathbb {R}}^d)\) is an m-boundary Young measure.
Notice that the symbol of \(\partial _m\) acts on m-vectors \(w \in \bigwedge ^m {\mathbb {R}}^d\) precisely as the interior multiplication \(\partial _m(\xi ) w = w \lrcorner \xi \). If \(e_1,\dots ,e_d\) is a basis of \({\mathbb {R}}^d\), then \(\partial _m(e_i) [ e_j \wedge v] = 0\) for all \(i \ne j\) and all \(v \in \bigwedge _{m-1} {\mathbb {R}}^d\). In particular
$$\begin{aligned} \{e_{i_1} \wedge \dots \wedge e_{i_m}\}_{i_1< \dots < i_m} \subset \Lambda _{\partial _m} \quad \Longrightarrow \quad {{\,\mathrm{span}\,}}\{\Lambda _{\partial _m}\} = \textstyle \bigwedge _m {\mathbb {R}}^d. \end{aligned}$$If we consider \(\partial _m\) as a potential, then De Rham’s theorem gives
$$\begin{aligned} {{\,\mathrm{span}\,}}\{\mathrm {I}_{\partial _m} \}= {{\,\mathrm{span}\,}}\{\Lambda _{\partial _{m-1}} \}= \textstyle \bigwedge _{m-1 } {\mathbb {R}}^d. \end{aligned}$$ -
(i)
3 Applications
In this section we discuss some applications of the dual characterizations. First, we give an explicit description of the Young measures, both from the \({\mathcal {A}}\)-free and potentials perspectives, associated to full-rank elliptic systems. The remaining sections are devoted to discuss, mostly via abstract constructions, the failure of classical compensated compactness results in the \(\mathrm {L}^1\) setting.
3.1 Young Measures Generated by Full-Rank Elliptic Operators
We show that, for \({\mathcal {A}}\) a full-rank elliptic operator, we can give a simple characterization of the \({\mathcal {A}}\)-constrained Young measures. Let us first define ellipticity:
Definition 3.1
We say that a homogeneous linear operator \({\mathcal {A}}\) of order k, from W to X, is elliptic if there exists \(c > 0\) such that
If moreover \(\dim (W) \ge \dim (X)\), then we say that \({\mathcal {A}}\) is a full-rank elliptic operator.
The following result says that the sets of \({\mathcal {A}}\)-free and \({\mathcal {A}}\)-gradient generalized Young measures are trivial for (full-rank) elliptic operators:
Lemma 3.1
Assume that \({\mathcal {A}}\) is an elliptic operator from W to X. Then,
![](http://media.springernature.com/lw433/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ456_HTML.png)
If, moreover, \({\mathcal {A}}\) is a full-rank elliptic operator, then we also have that
Proof
Let us prove the first statement. Let us fix \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega ) \cap {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\). The ellipticity of \({\mathcal {A}}\) implies that the only mean-value zero \({\mathcal {A}}\)-free smooth \([0,1]^d\)-periodic map is the zero function. Indeed, if \(w \in \mathrm {C}^\infty _\mathrm {per}([0,1]^d;W)\) is \({\mathcal {A}}\)-free, then applying the Fourier transform (on the torus) to the equation gives
If moreover w has mean-value zero, this shows that \(\widehat{w}(\xi ) = 0\) for all \(\xi \in {\mathbb {Z}}^d\). Or equivalently, \(w = 0\). Therefore, by definition, every integrand \(f \in {{\,\mathrm{\mathbf{E}}\,}}(W)\) is \({\mathcal {A}}\)-quasiconvex. Since \(\mathrm {C}(\overline{\Omega }) \times {{\,\mathrm{\mathbf{E}}\,}}(W)\) separates \({{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;W)\) (see Lemma 4.1), then properties (i)–(iii) in Theorem 1.1 imply that \({\varvec{\nu }}\) must be an elementary Young measure, that is,
The ellipticity of \({\mathcal {A}}\) implies that \(\Lambda _{\mathcal {A}}= \{0\}\) and hence [21, Theorem 1.1] implies that \(\mu = {\mu }^\mathrm {ac}{\mathscr {L}}^d\). This proves that for some \({\mathcal {A}}\)-free integrable map w.
We now show the statement for the potential perspective when \({\mathcal {A}}\) is a full-rank elliptic operator. If \(d = 1\), then \({\mathcal {A}}\) is equivalent to the operator \(D^k u\) acting on real-valued functions of one-variable. Therefore, in the case \(d= 1\), the second statement follows directly from the compactness properties of \(\mathrm {BV}({\mathbb {R}})\)-functions and existence of primitives on open intervals of the real-line (quasiconvexity is equivalent to convexity in this case). We shall focus on the case \(d \ge 2\). Since \({\mathcal {A}}\) is a full-rank elliptic operator, the algebraic equation \({\mathbb {A}}(\xi )[a] = b\), is soluble for all \(\xi \in {\mathbb {Z}}^d \setminus \{0\}\). Therefore, if \(w \in \mathrm {C}^\infty _\mathrm {per}([0,1]^d;X)\) with \(\int _{[0,1]^d} w = 0\), then
belongs to \(\mathrm {C}^\infty _\mathrm {per}([0,1]^d;W)\) and satisfies \({\mathcal {A}}u = w\). Here
denotes the Fourier transform on the d-dimensional torus. This observation and a density argument convey that a function
\(f : {X} \rightarrow {\mathbb {R}}\) is
\({\mathcal {A}}\)-gradient quasiconvex if and only if f is constant. This, in turn, conveys that (ii)–(iii) Theorem 1.5 hold trivially for all
\({\varvec{\nu }} \in {\mathbf {Y}}(\Omega ;X)\). Now, we show that property (i) also holds trivially. Since
\({\mathbb {A}}(\xi )\) is onto for all non-zero frequencies, then
\({\mathbb {T}}(\xi ) :={\mathbb {A}}(\xi )^{-1}\) exists and is homogeneous of degree
\((-k)\) on
\({\mathbb {R}}^d \setminus \{0\}\). By [33, Thms. 3.2.3 and 3.2.4],
\({\mathbb {T}}\) extends to a distribution
satisfying
for all homogeneous polynomials of degree
\(\ell > k - d\). Moreover
is smooth on
\({\mathbb {R}}^d \setminus \{0\}\) (here
\({\mathcal {F}}\) is the Fourier transform on
\({\mathbb {R}}^d\)). Setting
we find that if
\(\eta \in {\mathcal {E}}'({\mathbb {R}}^d;X)\), then
\(u :=K_{\mathcal {A}}\star \eta \in {\mathcal {S}}'({\mathbb {R}}^d;W)\) satisfies
\({\mathcal {F}}[{\mathcal {A}}u] = {\mathbb {A}}\circ {\mathbb {A}}^{-1} {\mathcal {F}}\eta = {\mathcal {F}}\eta \) (here we are using that
\({\mathbb {A}}\) is a tensor-valued homogeneous polynomial of degree
\(k > k-d\)). Thus, inverting the Fourier transform, we find that
Moreover, since \(k - 1 > k - d\), then up to a complex constant,
![](http://media.springernature.com/lw274/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ457_HTML.png)
for all multi-indexes \(\alpha \in {\mathbb {N}}^d_0\) such that \(|\alpha | = k-1\). The multiplier \(m(\xi ) = \xi ^\alpha |\xi |{\mathbb {A}}(\xi )\) is homogeneous of degree zero and smooth on \({\mathbb {S}}^{d-1}\). Therefore, by an application of the Mihlin multiplier theorem, we deduce the bound
Here, in passing to the last equality we have used that
\(d \ge 2\) so that the Riesz potential norm
is an equivalent norm for
\(\mathrm {W}^{-1,q}({\mathbb {R}}^d)\).
Now, let \(\mu \in {\mathcal {M}}(\Omega ;X)\) be an arbitrary bounded measure and let \(\eta \in ({\mathcal {E}}' \cap {\mathcal {M}}) (\Omega ;X)\) be its trivial extension by zero on \({\mathbb {R}}^d\). Define and observe that the bound above and Lemma 4.2 imply that \(u \in \mathrm {W}^{k-1,q}(\Omega )\) for all \(1 \leqq q < d/(d-1)\). Moreover, by construction,
We conclude that if \({\varvec{\nu }} \in {\mathbf {Y}}_0(\Omega ;X)\), then there exists \(u \in \mathrm {W}^{k-1,1}(\Omega ;W)\) such that (i) in Theorem 1.5 holds. Since (ii)–(iii) are trivially satisfied, Theorem 1.5 implies that \({\varvec{\nu }} \in {\mathcal {A}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega )\). This proves that indeed
This finishes the proof. \(\quad \square \)
3.2 Failure of \(\mathrm {L}^1\)-Compactness for Elliptic Systems
In this section we collect some results and examples that showcase the lack of rigidity occurring along sequences of \({\mathcal {A}}\)-free functions due to concentration effects. To account for this, let us recall that sequence of functions \(\{u_j\} \subset \mathrm {L}^1(\Omega )\) is said to converge weakly in \(\mathrm {L}^1(\Omega )\) if and only if there exists \(u \in \mathrm {L}^1(\Omega )\) such that
We write \(u_j \rightharpoonup u\) in \(\mathrm {L}^1(\Omega )\). Notice that in general \(u_j {\mathscr {L}}^d \overset{*}{\rightharpoonup }u{\mathscr {L}}^d\) does not imply weak convergence in \(\mathrm {L}^1\). This owes to concentrations that diffuse into an absolutely continuous part. In the generalized Young measure context, this corresponds to the analysis of \(\nu _x^\infty \) on points x where \({\lambda }^\mathrm {ac}\) is non-zero and
The Dunford-Pettis theorem gives the following criterion to rule out the appearance of diffuse concentrations: a sequence \(\{u_j\}\) is sequentially weak pre-compact in \(\mathrm {L}^1(\Omega )\) if and only if \(\{u_j\}\) is equi-integrable, that is, for every \(\varepsilon >0\) there exists some \(\delta >0\) such that for any Borel set \(U \subset \Omega \) with \({\mathscr {L}}^d(U) \leqq \delta \) it holds
The examples given below are intended to exhibit how classical compensated compactness assumptions fail to prevent the lack of equi-integrability of PDE-constrained sequences. We begin with the following general result, which exploits the unconstrained behavior of the singular part of \({\mathcal {A}}\)-free Young measures:
Lemma 3.2
Let \(\lambda \in {\mathcal {M}}^+(\Omega )\) be an arbitrary finite measure. For any fixed vector \(A \in W\) and any probability measure \(p \in \mathrm {Prob}(S_{W})\) satisfying
there exists a sequence of functions \(\{w_j\} \subset \mathrm {C}^\infty (\Omega ;W)\) such that
In particular,
![](http://media.springernature.com/lw234/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ458_HTML.png)
and
Proof
Let \(R>0\) be sufficiently large so that \(\Omega \Subset B_R\). Let \({{\tilde{\lambda }}} \in {\mathcal {M}}(B_R)\) be the trivial extension by zero on \(B_R\) of the measure \(\lambda \). Define also \({{\tilde{\nu }}}_x = \delta _A\) if \(x\in \Omega \) and \(\nu _x = \delta _0\) if \(x \in B_R \setminus \Omega \). Then, since \(\Omega \) is an open set, the triple \(\tilde{{\varvec{\nu }}} = (\nu ,{{\tilde{\lambda }}},p)\) satisfies the weak-\(*\) measurability requirements to be Young measure in \({{\,\mathrm{\mathbf{Y}}\,}}_0(B_R;W)\). We claim that \(\tilde{{\varvec{\nu }}}\) is an \({\mathcal {A}}\)-free measure. According to Theorem 1.1 and Remark 1.1 it suffices to show that (a) \(\langle {{\,\mathrm{id}\,}},\delta _A \rangle {\mathscr {L}}^d + \langle {{\,\mathrm{id}\,}},p \rangle \lambda = A\), which follows by the assumption on p; and (b) that \(\langle h,\delta _A \rangle + \langle h^\#,p \rangle {\lambda }^\mathrm {ac}(x) \ge h(0)\) for all \({\mathcal {A}}\)-quasiconvex integrands \(h:W\rightarrow {\mathbb {R}}\) with linear growth at infinity. The latter follows from Remark 1.2 and the fact that the restriction of \(h^\#\) to \(W_{\mathcal {A}}\) is convex at zero, that is, \(\langle h^\#,\tau \rangle \ge h^\#(0) = 0\) for all probability measures \(\tau \in \mathrm {Prob}(W_{\mathcal {A}})\) satisfying \(\langle {{\,\mathrm{id}\,}}_W,\tau \rangle = 0\) (see [38]). Therefore, \(\langle h,\delta _A \rangle + \langle h^\#,p \rangle {\lambda }^\mathrm {ac}(x) \ge h(A) + h^\#(0) {\lambda }^\mathrm {ac}(x) = h(A)\) for \({\mathscr {L}}^d\)-a.e. \(x \in \Omega \). Then, from Corollary 1.1 we deduce the existence of a sequence \(\{\mu _j\} \subset {\mathcal {M}}(B_R;W)\) of \({\mathcal {A}}\)-free measures that generates \(\tilde{{\varvec{\nu }}}\). By the theory discussed in Sect. 4.2 and a standard mollification argument we conclude that there exists a sequence \(\delta _j \rightarrow 0^+\) (where \(\delta _j \rightarrow 0\) faster than \(j \rightarrow \infty \)) such that
![](http://media.springernature.com/lw214/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ459_HTML.png)
The first two statements then follow by setting \(w_j :=(\mu _j \star \rho _{\delta _j})|_{\Omega }\). That \(\{|w_j|\}\) is not equi-integrable on open neighborhoods of \({{\,\mathrm{supp}\,}}(\lambda )\) follows follows from [3, Theorem 2.9]. \(\quad \square \)
Remark 3.1
The previous result also holds if
and \(\lambda = c {\mathscr {L}}^d\) for some \(c \in {\mathbb {R}}\) (see [38]).
A direct consequence of this lemma is the following failure of the \(\mathrm {L}^1\)-rigidity for elliptic systems (cf. [9] and [48, Sect. 2.6]) for \({\mathcal {A}}\)-free measures.
Corollary 3.1
Let L be a non-trivial subspace of \(W_{\mathcal {A}}\) and assume that L has no non-trivial \(\Lambda _{\mathcal {A}}\)-connections, that is,
Then, there exists a sequence \(\{w_j\} \subset \mathrm {C}^\infty (\Omega ;W)\) of \({\mathcal {A}}\)-free measures satisfying
but
![](http://media.springernature.com/lw410/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ460_HTML.png)
Proof
The assumption on L is equivalent to requiring that \(L \cap \Lambda _{\mathcal {A}}= \{0\}\). Since the class of probability measures satisfying \(p \in \mathrm {Prob}(S_{W})\), \({{\,\mathrm{supp}\,}}(p) \subset L \cap W_{\mathcal {A}}\) and \(\langle {{\,\mathrm{id}\,}},p \rangle = 0\) is non-empty, we may chose at least one p with such properties. The previous lemma implies that the triple is a generalized \({\mathcal {A}}\)-free Young measure, generated by a sequence of \({\mathcal {A}}\)-free measures \(w_j \in \mathrm {C}^\infty (\Omega ;W)\). The first and the last two statements of the corollary follow from this observation. To prove that \({{\,\mathrm{dist}\,}}(w_j,L) \rightarrow 0\) in \(\mathrm {L}^1\), let us consider the positively 1-homogeneous growth integrand
, where \(\pi _L : W\rightarrow W\) is the linear orthogonal projection onto L. Clearly \(f = f^\infty \) and the fact that \(w_j {\mathscr {L}}^d\) generates \({\varvec{\nu }}\) implies
Here, we used that \({{\,\mathrm{supp}\,}}(p) \subset L \ {\hbox {and}} \ (f^\infty )|_{L}\equiv 0\). \(\quad \square \)
The version of this result for constant rank potentials is the following:
Corollary 3.2
Let \(L \leqq {{\,\mathrm{span}\,}}\{\mathrm {I}_{\mathcal {B}}\} \leqq W\) be a non-trivial space satisfying
Then there exists a sequence \(\{u_j\} \subset \mathrm {C}^\infty (\Omega ;V)\) such that
but
![](http://media.springernature.com/lw414/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ461_HTML.png)
The proof of this corollary follows from a version of Lemma 3.2 for \({\mathcal {B}}\)-gradient Young measures, which we shall not prove, but that follows by similar arguments (to ones in the proof of Lemma 3.2) by using Theorem 1.5 instead.
Remark 3.2
In order to add some perspective to these results, let us recall a well-known result of Müller (see [48, Lemma 2.7]) that states the following: if L is a space of matrices containing no rank-one connections and
then \(Du_j \rightarrow Du\) in measure. This may be understood as an \(\mathrm {L}^{1,\mathrm w}\)-rigidity for gradients. The previous corollary shows that even under \(\mathrm {L}^1\)-perturbations of elliptic systems, one cannot hope for sequential weak \(\mathrm {L}^1\)-compactness for gradients. (Here, one should not confuse weak \(\mathrm {L}^1\)-convergence with convergence in \(\mathrm {L}^{1,\mathrm w}\).)
3.3 Failure of \(\mathrm {L}^1\)-Compactness for the n-State Problem
In the context of the rigidity properties for gradients, Šverák [62] showed that if \(K = \{A_1,A_2,A_3\}\) is a set of matrices such that \({{\,\mathrm{rank}\,}}(A_i - A_j) \ne 1\), then every sequence \(\{u_j\}\) with uniformly bounded Lipschitz constant satisfies the following compensated compactness property:
In particular, the restriction of L\(^1\)-closeness to K prevents the formation of any non-trivial microstructures. Šverák’s proof also implies that if \(\{Du_j\}\) is \(\mathrm {L}^1\)-uniformly bounded and
then, up to taking a subsequence,
Notice however that neither of these compensated compactness results allows for concentrations. The first one assumes a uniform Lipschitz bound and the latter (implicitly) assumes equi-integrability since \({{\,\mathrm{dist}\,}}(Du_j,K) \rightarrow 0\) in \(\mathrm {L}^1(\Omega )\).
For the two-state problem, Garroni and Nesi [30] have shown a similar result for divergence-free fields. More recently, De Philippis, Palmieri and Rindler [20] have extended this to general operators \({\mathcal {A}}\). The precise statement is the following: if \(A_1 - A_2 \notin \Lambda _{\mathcal {A}}\) and \(\{v_j\} \subset \mathrm {L}^1(\Omega ;W)\) is a sequence of \({\mathcal {A}}\)-free functions satisfying
then, up to extracting a subsequence,
An interesting question to ask is what happens if we allow for concentrations. The next two examples show that one cannot expect \(\mathrm {L}^1\)-compensated compactness if concentrations are allowed, even if the concentrations occur only in the directions of \(\{A_1,A_2\}\).
Example 3.1
If \({\mathcal {A}}\) is a non-trivial operator, then there exist vectors \(A_1,A_2 \in S_W \cap W_{\mathcal {A}}\) with \(A_1 - A_2 \notin \Lambda _{\mathcal {A}}\) and a sequence \(\{v_j\} \subset \mathrm {C}^\infty (\Omega ;W)\) such that
Moreover, the sequence satisfies
However, \(\{|v_j|\}\) is not equi-integrable and, for any subsequence \(\{v_{j_h}\}\),
Similarly, we also have the following explicit example:
Example 3.2
Assume that \(d = 2\) and consider the \((2 \times 2)\) matrices
Then, there exists a uniformly bounded sequence \(\{u_j\} \subset \mathrm {BV}(\Omega ;{\mathbb {R}}^2)\) satisfying
And, for any subsequence \(\{v_{j_h}\}\),
Both examples follow directly from the following result (and its corollary below):
Proposition 3.1
Let \(A_1,\dots ,A_n \in S_{W} \cap W_{\mathcal {A}}\) be vectors satisfying
Then, there exists a sequence of \({\mathcal {A}}\)-free functions \(\{w_j\} \in \mathrm {C}^\infty (\Omega ;W)\) satisfying
![](http://media.springernature.com/lw170/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ462_HTML.png)
where
An analogous statement holds for \({\mathcal {B}}\)-potentials.
Proof
By assumption we may find constants \(c_1,\dots ,c_n \in [0,1]\) as in the statement. The assertion then follows from Lemma 3.2. \(\quad \square \)
Remark 3.3
The result of the corollary remains valid even if the vectors \(A_1,\dots ,A_n\) are mutually \(\Lambda _{\mathcal {A}}\)-disconnected, that is,
Corollary 3.3
Let A be a direction in \(S_{W} \cap W_{\mathcal {A}}\). There exists a sequence of \(\mathrm {L}^1\)-uniformly bounded \({\mathcal {A}}\)-free measures \(w_j \subset \mathrm {C}^\infty (\Omega ;W)\) such that
![](http://media.springernature.com/lw255/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ463_HTML.png)
In particular, \(\{|w_j|\}\) is not equi-integrable on \(\Omega \).
Notice that, if \(A \notin \Lambda _{{\mathcal {A}}}\), then
3.4 Flexibility of Divergence-Free Young Measures
So far we have seen how the lack of strong constraints for the concentration part of \({\mathcal {A}}\)-free measures is responsible for the lack of rigidity in a number of interesting scenarios. Now, we review the case of the scalar divergence operator
from the point of view of the \({\mathcal {A}}\)-free framework. As we have already seen, \(\Lambda _{{{\,\mathrm{div}\,}}} = {\mathbb {R}}^d\) and hence
Since condition (ii) in Theorem 1.1 holds for all convex functions, and (iii) holds trivially in this case, divergence-free generalized Young measures are only constrained by the barycenter property (i). The following example exhibits how (13) yields the existence of rather ill-behaved weak-\(*\) convergent sequences of divergence-free fields:
Proposition 3.2
Let \(\lambda \in \mathrm {BV}({\mathbb {R}}^d)\) be an arbitrary compactly supported function of bounded variation and let \(p \in \mathrm {Prob}({\mathbb {S}}^{d-1})\) be an arbitrary probability measure. Define
where
is the fundamental solution of the scalar divergence operator. Then, for every open and bounded Lipschitz set \(\Omega \subset {\mathbb {R}}^d\) with \(|D\lambda |(\partial \Omega ) = 0\), there exists a sequence \(u_j \in \mathrm {C}^\infty (\Omega ;{\mathbb {R}}^d)\) satisfying
![](http://media.springernature.com/lw337/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ464_HTML.png)
Proof
Since \(\lambda \) is a compactly supported and \(D\lambda \) is a Radon measure, Young’s inequality implies that \(w \in \mathrm {L}^1_\mathrm {loc}({\mathbb {R}}^d;{\mathbb {R}}^d)\). Moreover, by construction we find that the barycenter of \({\varvec{\nu }}\) is the Radon measure \(\mu = \langle {{\,\mathrm{id}\,}},\delta _w \rangle \, {\mathscr {L}}^d + \bigl \langle {{\,\mathrm{id}\,}},p \bigr \rangle \lambda = w\, {\mathscr {L}}^d + \langle {{\,\mathrm{id}\,}},p \rangle \lambda \) and hence
Thus, \({\varvec{\nu }}\) satisfies (i)–(iii) and hence it is an \({\mathcal {A}}\)-free measure on \(\Omega \). That \({\varvec{\nu }}\) can be generated on \(\Omega \) by a sequence of smooth divergence-free fields follows from the theory discussed in Sect. 4.2. \(\quad \square \)
4 Preliminaries
The d-dimensional torus is denoted by \({\mathbb {T}}^d\), and by Q we denote the closed d-dimensional unit cube \([-1/2,1/2]^d\). We denote by \(Q_r(x)\) the open cube with radius \(r > 0\) and centered at \(x \in {\mathbb {R}}^d\).
4.1 Geometric Measure Theory
Let X be a locally convex space. We denote by \(\mathrm {C}_c(X)\) the space of compactly supported and continuous functions on X, and by \(\mathrm {C}_0(X)\) we denote its completion with respect to the norm. Here, \(\mathrm {C}_c(X)\) is the inductive limit of Banach spaces \(\mathrm {C}_0(K_m)\) where \(K_m \subset X\) are compact and \(K_m \nearrow X\). By the Riesz representation theorem, the space \({\mathcal {M}}_b(X)\) of bounded signed Radon measures on X is the dual of \(\mathrm {C}_0(X)\); a local argument of the same theorem states that the space \({\mathcal {M}}(X)\) of signed Radon measures on X is the dual of \(\mathrm {C}_c(X)\). We denote by \({\mathcal {M}}^+(X)\) the subset of non-negative measures. Since \(\mathrm {C}_0(X)\) is a Banach space, the Banach–Alaoglu theorem and its characterizations hold. In particular:
-
1.
There exists a complete and separable metric \(d_\star : {\mathcal {M}}(X) \times {\mathcal {M}}(X) \rightarrow {\mathbb {R}}\). Moreover, convergence with respect to this metric coincides with the weak-\(*\) convergence of Radon measures (see Remark 14.15 in [43]), that is,
$$\begin{aligned} d_\star (\mu _j,\mu ) \rightarrow 0 \quad \Longleftrightarrow \quad \mu _j \overset{*}{\rightharpoonup }\mu \; \text {in }{\mathcal {M}}(X). \end{aligned}$$ -
2.
Bounded sets of \({\mathcal {M}}(X)\) are \(d_\star \)-metrizable in the sense that \(d_\star \) induces the (relative) weak-\(*\) topology on the unit open ball of \({\mathcal {M}}(X)\).
In a similar manner, for a finite dimensional inner-product euclidean space W, \({\mathcal {M}}_b(X;W)\) and \({\mathcal {M}}(X;W)\) will denote the spaces of W-valued bounded Radon measures and W-valued Radon measures respectively. The space \({\mathcal {M}}_b(X;W)\) is a normed space endowed with the total variation norm
The set of all positive Radon measures on X with total variation equal to one is denoted by
the set of probability measures on X. Here and in all that follows we write
to denote the open unit ball and the unit sphere on W respectively. Riesz’ representation theorem states that every vector-valued measure \(\mu \in {\mathcal {M}}(\Omega ;W)\) can be written as
This decomposition is commonly referred as the polar decomposition of \(\mu \). The set \(L_\mu \) of points \(x_0 \in \Omega \) where
![](http://media.springernature.com/lw293/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ465_HTML.png)
is satisfied, is called the set of \(\mu \)-Lebesgue points. This set conforms a full \(|\mu |\)-measure set of \(\Omega \), that is, \(|\mu |(\Omega \setminus L_\mu ) = 0\). In what follows, we shall always work with good representatives of \(\mu \)-integrable maps. If \(g \in \mathrm {L}^1_\mathrm {loc}(\Omega ,\mu ;W)\), then g satisfies
![](http://media.springernature.com/lw374/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ466_HTML.png)
If \(\mu ,\lambda \) are Radon measures over \(\Omega \), and \(\lambda \ge 0\), then the Besicovitch differentiation theorem states that there exists a set \(E \subset \Omega \) of zero \(\lambda \)-measure such that
where \(\frac{\,\mathrm {d}\mu }{\,\mathrm {d}\lambda } \in \mathrm {L}^1_{\mathrm {loc}}(\Omega ,\lambda ;W)\) is the Radon–Nykodým derivative of \(\mu \) with respect to \(\lambda \). Another resourceful representation of a measure is given by the Radon–Nykodým–Lebesgue decomposition which we shall frequently denote as
where as usual \({\mu }^\mathrm {ac} :=\frac{\,\mathrm {d}\mu }{\,\mathrm {d}{\mathscr {L}}^d} \in \mathrm {L}^1_\mathrm {loc}(\Omega ;W)\), \(|\mu ^s| \perp {\mathscr {L}}^d\).
4.1.1 Push-Forward Measures
If \(T : \Omega \rightarrow \Omega '\) is Borel measurable, the image or push-forward of \(\mu \) under T is defined by the formula
If \(g : \Omega ' \rightarrow [-\infty ,\infty ]\) is a Borel map, then
whenever the integrals above exist or if g is integrable.
4.1.2 Tangent Measures
In this section we recall the notion of tangent measure as introduced by Preiss [52]. Let \(\mu \in {\mathcal {M}}(\Omega ;W)\) and consider the map \(\mathrm {T}_{x,r}(y) := (y - x)/r\), which blows up \(B_r(x_0)\), the open ball around \(x_0 \in \Omega \) with radius \(r > 0\), into the open unit ball \(B_1\). The push-forward of \(\mu \) under \(\mathrm {T}_{x,r}\) is given by the measure
A non-zero measure \(\tau \in {\mathcal {M}}({\mathbb {R}}^d;W)\) is said to be a tangent measure of \(\mu \) at \(x_0 \in {\mathbb {R}}^d\), if there exist sequences \(r_m \downarrow 0\) and \(c_m > 0\) such that
in this case the sequence \(c_m \, \mathrm {T}_{x,r_m}[\mu ]\) is called a blow-up sequence. We write \({{\,\mathrm{Tan}\,}}(\mu ,x_0)\) to denote the set of all such tangent measures.
Using the canonical zero extension that maps the space \({\mathcal {M}}(\Omega ;W)\) into the space \({\mathcal {M}}({\mathbb {R}}^d;W)\) we may use most of the results contained in the general theory for tangent measures when dealing with tangent measures defined on smaller domains. The following theorem, due to Preiss, states that one may always find tangent measures.
Theorem 4.1
(Theorem 2.5 in [52]) If \(\mu \) is a Radon measure over \({\mathbb {R}}^d\), then \({{\,\mathrm{Tan}\,}}(\mu ,x) \ne \varnothing \) for \(\mu \)-almost every \(x \in {\mathbb {R}}^d\).
This property of Radon measures will play a silent, but fundamental role, in our results. We shall use it to “amend” the current lack of a Poincaré inequality for general domains; this, because (14) acts as an artificial extension operator for tangent measures restricted to the unit cube \(Q \subset {\mathbb {R}}^d\). Returning to the properties of tangent measures, one can show (see Remark 14.4 in [43]) that, for a tangent measure \(\tau \in {{\,\mathrm{Tan}\,}}(\mu ,x_0)\), it is always possible to choose the scaling constants \(c_m > 0\) in the blow-up sequence to be
for any open and bounded set \(U \subset {\mathbb {R}}^d\) containing the origin and with the property that \(\sigma (U) > 0\), for some positive constant \(c = c(U)\); this process may involve passing to a subsequence. Then, from [52, Thm 2.6(1)] it follows that at \(\mu \)-almost every \(x \in \Omega \) we can find \(\tau \in {{\,\mathrm{Tan}\,}}(\mu ,x)\) as the weak-\(*\) limit a blow-up sequence of the form
Yet another special property of tangent measures is that at, \(|\mu |\)-almost every \(x \in {\mathbb {R}}^d\), it holds that
which in particular conveys that tangent measures are generated by strictly-converging blow-up sequences. If \(\mu , \lambda \in {\mathcal {M}}^+({\mathbb {R}}^d)\) are two Radon measures with \(\mu \ll \lambda \), that is, if \(\mu \) is absolutely continuous with respect to \(\lambda \), then (see Lemma 14.6 of [43])
Then, a consequence of (15) and Lebesgue’s differentiation theorem is that
In fact, if \(f \in \mathrm {L}^1(\Omega ,W)\), then it is an simple consequence from the Lebesgue Differentiation Theorem that
4.2 Integrands and Young Measures
Bounded generalized Young measures conform a set of dual objects to the integrands in \({{\,\mathrm{\mathbf{E}}\,}}(U;W)\). We recall briefly some aspects of this theory, which was introduced by DiPerna and Majda in [24] and later extended in [3, 41].
Notation. We remind the reader that \(U \subset {\mathbb {R}}^d\) denotes an open set and \(\Omega \subset {\mathbb {R}}^d\) denotes an open an bounded set with \({\mathscr {L}}^d(\partial \Omega ) = 0\).
For \(f \in \mathrm {C}(U \times W\)) we define the transformation
where \(B_W\) denotes the open unit ball in W. Then, \(Sf \in \mathrm {C}(U \times B_W)\). We set
Heuristically, \({{\,\mathrm{\mathbf{E}}\,}}(W)\) is isomorphic to the continuous functions on the compactification of W that adheres to it each direction at infinity. In particular, all \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\) have linear growth at infinity, that is, there exists a positive constant M such that \(|f(x,z)| \le M(1 + |z|)\) for all \(x \in U\) and all \(z \in W\). With the norm
the space \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) turns out to be a Banach space and S is an isometry with inverse
Also, by definition, for each \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\) the limit
exists and defines a positively 1-homogeneous function called the strong recession function of f. Moreover every \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\) satisfies
In particular, there exists a modulus of continuity \(\omega : [0,\infty ) \rightarrow [0,\infty )\), depending solely on the uniform continuity of Sf, such that
For an integrand \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\) and a Young measure \( {{\varvec{\nu }}} \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\), we define a duality paring between f and \({\varvec{\nu }}\) by setting
![](http://media.springernature.com/lw319/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ467_HTML.png)
The barycenter of a Young measure \(\nu \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}({U};{\mathbb {R}}^N)\) is defined as the measure
![](http://media.springernature.com/lw323/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ468_HTML.png)
The generation of a Young measure is (cf. Definition 1.2) a local property in the sense that
for all open Lipschitz sets \(U' \Subset U\) with \(\lambda (\partial U') = 0\). In many cases it will be sufficient to work with functions \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\) that are Lipschitz continuous and compactly supported on the x-variable. The following density lemma can be found in [41, Lemma 3].
Lemma 4.1
There exist countable families of non-negative functions \(\{\varphi _p\} \subset \mathrm {C}_c(\overline{U})\) and Lipschitz integrands \(\{h_q\} \subset {{\,\mathrm{\mathbf{E}}\,}}(W)\) such that, for any given two Young measures \( {{\varvec{\nu }}}_1, {{\varvec{\nu }}}_2 \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}(U;W)\),
![](http://media.springernature.com/lw456/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ469_HTML.png)
Remark 4.1
Bounded sets of \({\mathbf {E}}(U;W)^*\) are metrizable with respect to the weak-\(*\) topology (see [16, Theorem 3.28]).
Since \({{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) is contained in the dual space of \({{\,\mathrm{\mathbf{E}}\,}}(U;W)\) via the duality pairing , we say that a sequence of Young measures \(( {{\varvec{\nu }}}_j) \subset {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) weak-\(*\) converges to
\( {{\varvec{\nu }}} \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\), in symbols
\( {{\varvec{\nu }}}_j \overset{*}{\rightharpoonup }{{\varvec{\nu }}}\), if
![](http://media.springernature.com/lw294/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ470_HTML.png)
Fundamental for all Young measure theory is the following compactness result (see [41, Sect. 3.1] for a proof).
Lemma 4.2
Let \(\{{{\varvec{\nu }}}_j\} \subset {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) be a sequence of Young measures satisfying
-
(i)
the family
is uniformly bounded in \(\mathrm {L}^1(U)\),
-
(ii)
\(\sup _j \{\lambda _{j}(\overline{U})\} < \infty \).
Then, there exists a subsequence (not relabeled) and \({{\varvec{\nu }}} \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) such that \({{\varvec{\nu }}}_j \overset{*}{\rightharpoonup }{{\varvec{\nu }}}\) in \({{\,\mathrm{\mathbf{E}}\,}}(U;W)^*\).
The Radon–Nykodým–Lebesgue decomposition induces a natural embedding
via the identification \(\mu \mapsto {\varvec{\delta }}_\mu :=(\delta _{{\mu }^\mathrm {ac}},|\mu ^s|,\delta _{g_\mu })\). Notice that a sequence of measures \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) generates the Young measure \({\varvec{\nu }}\) in U if and only if
for all Lipschitz subdomains \(U' \Subset U\) with \(\lambda (\partial U') = 0\).
Remark 4.2
For a sequence \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) that converges in area to some limit \(\mu \in {\mathcal {M}}(U;W)\), it is relatively easy to characterize the (unique) Young measure it generates. Indeed, an immediate consequence of the Separation Lemma 4.1 and a version of Reshetnyak’s continuity theorem (see [41, Theorem 5]) is that
Since tangent Young measures are only locally bounded, it will also be convenient to introduce a concept of locally bounded \({\mathcal {A}}\)-free Young measure:
Definition 4.1
A Young measure \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}(U;W)\) is called a locally bounded generalized \({\mathcal {A}}\)-free Young measure if there exists a sequence \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) such that
and
for all Lipschitz open sets \(U' \Subset U\) with \(\lambda (\partial U')= 0\).
The proof of the following result follows the same principles used in the proof of [5, Lem. 2.15] with \({\mathcal {A}}\equiv 0\).
Proposition 4.1
Let \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) be a Young measure generated by a sequence of the form \(\{u_j \, {\mathscr {L}}^d\}\). If there exists another sequence \(\{v_j\} \subset \mathrm {L}^1(U;W)\) that satisfies
then
The following notion of translation or shift of a Young measure will be used to deal with the fact that W might be in fact larger than \(W_{\mathcal {A}}\) in the proof of Theorem 1.1.
Definition 4.2
(\(\mathrm {L}^1\)-shifts) We define the v-shift of a generalized Young measure \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {\mathbf {Y}}_\mathrm {loc}(U;W)\), with respect to \(v \in \mathrm {L}^1_\mathrm {loc}(U;W)\), as
Notice that if \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U;W)\), then
![](http://media.springernature.com/lw416/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ471_HTML.png)
For a subset \({\mathcal {X}}\subset \mathrm {L}^1_\mathrm {loc}(U,W)\) we write
4.2.1 Tangent Young Measures
Similarly to the case of measures, we can define the push-forward of Young measures. If \(T: U \rightarrow U'\) is Borel, the push-forward of \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) under T is the Young measure acting on \(f \in {{\,\mathrm{\mathbf{E}}\,}}(U',W)\) as
![](http://media.springernature.com/lw386/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ472_HTML.png)
Suppose that \(x \in \Omega \). A non-zero Young measure \({\varvec{\sigma }} \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}({\mathbb {R}}^d;W)\) is said to be a tangent Young measure of \({\varvec{\nu }}\) at x if there exist sequences \(r_m \searrow 0\) and \(c_m > 0\) such that
for all \(U \Subset {\mathbb {R}}^d\) with \((\lambda + {\mathscr {L}}^d)(\partial U) = 0\). The set of tangent Young measures of \({\varvec{\nu }}\) at \(x \in \Omega \) will be denoted as \({{\,\mathrm{Tan}\,}}({\varvec{\nu }},x)\). Since Young measures can be seen, via disintegration, as Radon measures over \(\overline{U} \times W\), the property of tangent measures contained in Theorem 4.1 lifts to a similar principle for tangent Young measures:
Proposition 4.2
If \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty )\in {{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;{\mathbb {R}}^d)\) is a Young measure, then
Young measures also enjoy a Lebesgue-point property in the sense that a tangent Young measure \({\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x)\) truly represents the values of \({\varvec{\nu }}\) around x. More precisely, we have the following localization principle for \(({\mathscr {L}}^d + \lambda ^s)\)-almost every \(x_0 \in \Omega \): every tangent measure \({\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0)\) is a homogeneous Young measure of the form
We state two general localization principles for Young measures, one at regular points and another one at singular points. These are well-established results, for a proof we refer the reader to [55, 56]; see also the “Appendix” in [5].
Proposition 4.3
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) be a generalized Young measure. Then for \({\mathscr {L}}^d\)-a.e. \(x_0 \in U\) there exists a regular tangent Young measure \({\varvec{\sigma }} = (\sigma ,\lambda _{\varvec{\sigma }},\sigma ^\infty ) \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0)\), that is,
Proposition 4.4
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}(U;W)\) be a generalized Young measure. Then there exists a set \(S \subset U\) with \(\lambda ^s(U \setminus S) = 0\) such that for all \(x_0 \in S\) there exists a singular tangent Young measure \({\varvec{\sigma }} = (\sigma ,\lambda _{\varvec{\sigma }},\sigma ^\infty ) \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0)\), that is,
This properties tell us that certain aspects of the weak-\(*\) measurable maps \(\nu \) and \(\nu ^\infty \) belonging to \({\varvec{\nu }}\) can be effectively studied by looking at tangent measures of \({\varvec{\nu }}\) itself. In a similar fashion to (14), at every \(x_0\) where Proposition 4.3 holds, we may find a tangent Young measure \({\varvec{\sigma }}\in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0)\) as in (21) with
and \({\varvec{\sigma }}\) is generated by a blow-up sequence as in (20) where
in any case \(c_m\) can be taken to be . At singular points we may assume without loss of generality that
4.3 \({{\,\mathrm{{\mathcal {A}}}\,}}\)-Quasiconvexity
We write \({\mathbb {T}}^d\cong {\mathbb {R}}^d/{\mathbb {Z}}^d\) to denote the d-dimensional flat torus. With this convention we have \(\mathrm {C}^\infty _\mathrm {per}([0,1]^d;W) = \mathrm {C}^\infty ({\mathbb {T}}^d;W)\). For a function \(u \in \mathrm {C}^\infty ({\mathbb {T}}^d;W)\), we write
In all that follows we shall write \(\mathrm {C}_\sharp ^\infty ({\mathbb {T}}^d;W)\) to denote the subspace of smooth, W-valued periodic functions with mean-value zero. We recall, from the theory discussed in [5, Sect. 2.5], that
This set contention will be crucial for the proof of Theorem 1.1.
Definition 4.3
(\({\mathcal {A}}\)-quasiconvex envelope) If \(h : W \rightarrow {\mathbb {R}}\) is a locally bounded Borel integrand, we define its \({\mathcal {A}}\)-quasiconvex envelope \({\mathcal {Q}}_{\mathcal {A}}: W \rightarrow {\mathbb {R}}\cup \{-\infty \}\) as
If \(f : U \times W \rightarrow {\mathbb {R}}\) is a locally bounded Borel integrand, we define its \({\mathcal {A}}\)-quasiconvex envelope \({\mathcal {Q}}_{\mathcal {A}}f : U \times W \rightarrow {\mathbb {R}}\cup \{-\infty \}\) as
![](http://media.springernature.com/lw210/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ473_HTML.png)
Below we recall some well-known convexity and Lipschitz properties of \({\mathcal {A}}\)-quasiconvex functions.
Let \({\mathcal {D}}\) be a balanced cone of directions in W, that is, we assume that \(tA \in {\mathcal {D}}\) for all \(A \in {\mathcal {D}}\) and every \(t \in {\mathbb {R}}\). A real-valued function \(h :W\rightarrow {\mathbb {R}}\) is said to be \({\mathcal {D}}\)-convex provided its restrictions to all line segments in W with directions in \({\mathcal {D}}\) are convex. We recall the following \(\Lambda _{{\mathcal {A}}}\)-convexity property of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-quasiconvex functions contained in [27, Proposition 3.4] for first-order operators and in [5, Lemma 2.19] for the general case:
Lemma 4.3
If \(h:W\rightarrow {\mathbb {R}}\) is locally finite and \({\mathcal {A}}\)-quasiconvex, then h is \(\Lambda _{{\mathcal {A}}}\)-convex.
In Sect. 9, we will require to work around the fact that \(W_{\mathcal {A}}\) may not necessarily be equal to W. The following definition and propositions will play an important role in this regard.
Definition 4.4
For a Borel integrand \(f : \overline{U} \times W \rightarrow {\mathbb {R}}\), we define the integrand \({{\tilde{f}}} : \overline{U} \times W\) given by
where \({\mathbf {p}} :W \rightarrow W\) is the canonical linear projection onto \(W_{\mathcal {A}}\).
If \(f : W \rightarrow {\mathbb {R}}\), we also write \({{\tilde{f}}} : W\rightarrow {\mathbb {R}}\) to denote the integrand
Proposition 4.5
Let \(f : W \rightarrow {\mathbb {R}}\) be a locally bounded Borel integrand. The following holds:
-
(a)
\({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}} = ({\mathcal {Q}}_{\mathcal {A}}f)\,\tilde{}\),
-
(b)
if f is \({\mathcal {A}}\)-quasiconvex, then \({{\tilde{f}}}\) is \({\mathcal {A}}\)-quasiconvex,
-
(c)
if f is \(\Lambda _{\mathcal {A}}\)-convex, then \({{\tilde{f}}}\) is \((\Lambda _{\mathcal {A}}\cup (W_{\mathcal {A}})^\perp )\)-convex,
-
(d)
if f is \(\Lambda _{\mathcal {A}}\)-convex with linear growth constant M. Then \({{\tilde{f}}}\) is globally Lipschitz with
$$\begin{aligned} |{{\tilde{f}}}(z_1) - {{\tilde{f}}}(z_2)| \leqq C|z_1 - z_2| \qquad \forall z_1,z_2 \in W. \end{aligned}$$for some constant \(C = C(M,{\mathcal {A}})\).
Proof
Property (a) is a direct consequence of (25) and the definition of . Property (b) follows directly from (a). Property (c) follows from Lemma 4.3, property (b) and the fact that \({{\tilde{f}}}\) is invariant on \((W_{\mathcal {A}})^\perp \)-directions. Finally, we prove (d). Up to a linear isomorphism we may assume that \({\mathcal {D}}= \Lambda _{\mathcal {A}}\cup (W_{\mathcal {A}})^\perp \) contains an orthonormal basis \(\{w_1,\dots ,w_s\}\) basis of W. Of course, the change of variables carries a constant in the desired Lipschitz bound, but that constant depends solely on \({\mathcal {A}}\). The difference between two points \(z_1, z_2 \in W\) can be written as
where the constant of the last estimate depends solely on \(s = s({\mathcal {A}})\). Property (c) implies that \({{\tilde{f}}}\) is \({\mathcal {D}}\)-convex. Since moreover \({\mathcal {D}}\) is a spanning set of directions of W, then [38, Lemma 2.5] implies that
An iteration of this identity yields the upper bound
Since \(|({{\tilde{f}}})^\#(w_i)| \leqq |f^\#({\mathbf {p}} w_i)| \leqq M\), we may further estimate this difference by
Reversing the roles of \(z_1\) and \(z_2\) gives the desired Lipschitz bounds. \(\quad \square \)
Corollary 4.1
Let \(\alpha \ge 0\) and let \(p_1 \in \mathrm {Prob}(W)\), \(p_2 \in \mathrm {Prob}(S_W)\) be two probability measures satisfying
for all \({\mathcal {A}}\)-quasiconvex upper semicontinuous integrands \(h : W \rightarrow {\mathbb {R}}\) with linear growth. Then,
and
Proof
If \(W_{\mathcal {A}}= W\), then we have nothing to show. Else, let \(X :=W_{\mathcal {A}}^\perp \) and let \(g \in E(X)\) be an arbitrary integrand. We also define \(h :=1_{W_{\mathcal {A}}} \otimes g \in {{\,\mathrm{\mathbf{E}}\,}}(W)\). It follows from Proposition 4.5(a) that \({\mathcal {Q}}_{\mathcal {A}}h = 1_{W_{\mathcal {A}}} \otimes g\). If we choose \(g \in \mathrm {C}_c(X)\), then \(h^\infty \equiv 0\) and the assumption on \(p_1,p_2\) yields
where \(({{\,\mathrm{id}\,}}_W - {\mathbf {p}})[p_1]\) is the push-forward of \(p_1\) with respect to \(({{\,\mathrm{id}\,}}_W - {\mathbf {p}})\). Since \(\mathrm {C}_c(X)\) separates \(\mathrm {Prob}(X)\), this implies that \(({{\,\mathrm{id}\,}}_W- {\mathbf {p}})[p_1] = \delta _{({{\,\mathrm{id}\,}}_W - {\mathbf {p}})P_0}\). In particular
This proves that \({{\,\mathrm{supp}\,}}(\delta _{-({{\,\mathrm{id}\,}}_W - {\mathbf {p}})P_0} \star p_1) \subset W_{\mathcal {A}}\), and therefore also
A similar argument and the previous identity further imply
In particular, testing with , we conclude that, either \(\alpha = 0\), or \(({{\,\mathrm{id}\,}}_W - {\mathbf {p}})[p_2] = \delta _0\). This proves that \(\alpha \{{{\,\mathrm{supp}\,}}(p_2)\} \subset W_{\mathcal {A}}\), as desired. \(\quad \square \)
The next two propositions will be used to address some technical details involving the proof of Theorem 1.1 and Remark A.1:
Proposition 4.6
Let \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) and assume that there exists a dense set \(D \subset \Omega \) such that
Then
for some constant C depending on \({\mathcal {A}}\) and \(\Vert g\Vert _{{{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W_{\mathcal {A}})}\).
Proof
Since \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\), there exists a constant \(M = \Vert f\Vert _{{{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)}\) such that \(|f(z)| \leqq M(1 + |z|)\). It follows from the definition of \({\mathcal {A}}\)-quasiconvexity (testing with the field \(w = 0\)) that
It follows from Proposition 4.5(c) and a suitable version of [39, Lemma 2.5] that, if \(x \in D\), then
where \(C = C(M,{\mathcal {A}})\). The cited result and its proof are originally stated for quasiconvex functions. However, a similar argument can be given for \({\mathcal {D}}\)-convex functions where \({\mathcal {D}}\) is a spanning balanced cone. This shows that the restriction of \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) on \((D \times W)\) has linear growth at infinity. We shall prove now that \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) is finite for all \(x \in \Omega \). Let us assume that there exists \(x \in \Omega \setminus D\) with \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}(x,0) = - \infty \). Let us fix \(L > 0\) be a large real number. By our assumption on x, we may find a smooth field \(w \in \mathrm {C}^\infty _\sharp ({\mathbb {T}}^d;W) \cap \ker {\mathcal {A}}\) satisfying
The density of D allows us to find a sequence \(\{x_h\} \subset D\) satisfying \(x_h \rightarrow x\). We use once again the fact that \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) to deduce that f is uniformly continuous on \(\overline{\Omega \times RB_W}\) where \(R > \Vert w\Vert _\infty \). Hence, we may use a standard modulus of continuity argument to conclude that
Letting \(L > 2C\) we conclude that \(|{\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}(x_h,0)| > C\) for h sufficiently large. This poses a contradiction to the bound (26). Repeating the first step with \(D = \Omega \), we find that
This finishes the proof. \(\quad \square \)
Proposition 4.7
Let \(f : W \rightarrow {\mathbb {R}}\) be locally bounded and assume that \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) is locally finite. Fix \(\varepsilon \in (0,1)\), \(\delta > 0\) and let \(w\in \mathrm {C}_\sharp ^\infty ({\mathbb {T}}^d;W)\) be an \({\mathcal {A}}\)-free field satisfying
where . Then,
for some constant \(C > 0\) depending on \({\mathcal {A}}\) and the linear growth constant of f.
Proof
Since \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) is finite, then it has linear growth with a constant C that depends solely on \({\mathcal {A}}\) and the linear growth constant of f (cf. Lemma 4.6). The same holds for \({{\tilde{f}}}^\varepsilon \) since \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}^\varepsilon \ge {\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) up to taking \(C + 1\) instead. Using the assumption we get
The conclusion follows directly from this estimate. \(\quad \square \)
Proposition 4.8
Let \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W_{\mathcal {A}})\) be such that for all \(x \in \Omega \). Fix \(\varepsilon \in (0,1)\). Then, there exists a modulus of continuity \(\omega : [0,\infty ) \rightarrow [0,\infty )\) such that
for all \(x,x' \in \Omega \) and \(A \in W\). The modulus of continuity depends on \(\varepsilon ,{\mathcal {A}}\), the linear growth constant of f and the modulus of continuity of f.
Proof
We begin with two observations. First, that is finite implies that it has linear growth and that is globally Lipschitz with constants that depend solely on \({\mathcal {A}}\) and the linear growth constant of f (cf. Propositions 4.5 and 4.6). Now, let \(\delta > 0\) and let \(w_x \in \mathrm {C}^\infty _\sharp ({\mathbb {T}}^d;W_{\mathcal {A}})\cap \ker {\mathcal {A}}\) be such that (denoting
)
The previous proposition yields that \(\Vert \xi + w_x\Vert _{\mathrm {L}^1(Q)} \leqq \varepsilon ^{-1}C(1 + |\xi | + \delta )\). By definition, we get
where
The desired bound follows by letting \(\delta \rightarrow 0^+\) and exchanging the roles of \(x,x'\). \(\quad \square \)
4.4 Sobolev Spaces
In order to continue our discussion, we need to recall some facts of the theory of general Sobolev spaces. The following definitions and background results about function spaces and the Fourier transform can be found in the monographs of Adams [1, Sect. 1] and Stein [60, Sect. VI.5], as well as the full compendium of definitions and results contained in the book of Triebel [66].
Recall that \({\mathbb {T}}^d \cong {\mathbb {R}}^d / {\mathbb {Z}}^d\) denotes the d-dimensional flat torus. Let \(\ell \in {\mathbb {N}}_0\) and let \(1< p < \infty \). The Sobolev space \(\mathrm {W}^{\ell ,p}({\mathbb {T}}^d)\) is the collection of \({\mathbb {Z}}^d\)-periodic functions f all of whose distributional derivatives \(\partial ^\alpha f\) with \(0 \leqq |\alpha | \leqq \ell \) belong to \(\mathrm {L}^p_\mathrm {loc}({\mathbb {R}}^d)\). The norm of \(\mathrm {W}^{\ell ,p}({\mathbb {T}}^d)\) is
Remark 4.3
\(\mathrm {W}^{0,p}({\mathbb {T}}^d) = \mathrm {L}^p({\mathbb {T}}^d)\).
Since the torus is a compact manifold, we also have \(\mathrm {W}^{\ell ,p}({\mathbb {T}}^d) = \mathrm {W}^{\ell ,p}_0({\mathbb {T}}^d)\). Calderón showed (see [1, Thm 1.2.3]) the equivalence \(\mathrm {W}^{\ell ,p}({\mathbb {T}}^d) = \mathrm {L}^{\ell ,p}({\mathbb {T}}^d)\) between the classical Sobolev spaces and the Bessel potential spaces, which are defined as
where \({\mathfrak {F}}\) and denote the Fourier transform on periodic maps (see the next section). We shall henceforth make indistinguishable use of
and
as norms of \(\mathrm {W}^{-\ell ,p}\). A standard Hahn-Banach argument (see for instance [16, Prop. 9.20] for the case \(\ell = 1\)) shows that \(u \in \mathrm {W}^{-\ell ,p}({\mathbb {T}}^d)\) if and only if there exists a family \(\{f_\alpha \}_{0 \leqq |\alpha | \leqq k} \subset \mathrm {L}^{p'}({\mathbb {T}}^d)\) such that
and
Here \(p' = p/(p-1)\). If \(\{\rho _\varepsilon \}_{\varepsilon >0}\) is a family of standard mollifiers at scale \(\varepsilon > 0\), then the representation above implies that
Remark 4.4
This shows that
under standard mollification.
Crucial to our theory are the following direct consequences of Morrey’s embedding theorem (see Corollary 9.14 in Sec. 9.3 and Remark 20 in Sect. 9.4 of [16]):
Theorem 4.2
Let \(p > d\) and let \(U \subset {\mathbb {R}}^d\) be an open set or \(U = {\mathbb {T}}^d\). Then
Corollary 4.2
Let \(U \subset {\mathbb {R}}^d\) be an open and bounded set or \(U = {\mathbb {T}}^d\). Then
Proof
Notice that \(q' > d\). Then, Morrey’s embedding and Ascoli–Arzelà’s theorem convey the compact embedding \(\mathrm {W}^{1,q'}_0(U) \overset{c}{\hookrightarrow }\mathrm {C}_0(U)\). Since these are Banach spaces, the assertion follows directly from [16, Theorem 6.4]. \(\quad \square \)
Remark 4.5
Notice that it is not necessary to require that U is Lipschitz or a domain with any type of regularity.
5 Analysis of Constant Rank Operators
Let us recall that our main assumption is that \({\mathcal {A}}\) is a linear operator of integer order k, from W to X, that satisfies the constant rank condition
In this section we shall assume that \({\mathcal {A}}\) is a non-trivial operator, that is, \(k \ge 1\) for otherwise all the results are trivially satisfied. The aim of this section is to give a simple extension of the well-known \(\mathrm {L}^p\)-multiplier projections for constant rank operators established by Fonseca and Müller in [27]. The Fourier transform acts on periodic measures by the formula
Smooth periodic functions are represented by \({\mathfrak {F}}^{-1}\) through the trigonometric sum
The choice to primarily work with Fourier series lies in the following characterization for constant rank operators due to Raita [54, Thm. 1] and its direct implication on periodic maps (see Lemma 5.1 below): Let \({\mathcal {A}}\) be an operator from W to X as in (7). Then \({\mathcal {A}}\) satisfies the constant rank condition if and only if then there exists a constant rank operator \({\mathcal {B}}\) from V to W such that
For the reminder of this section \({\mathcal {A}}\) and \({\mathcal {B}}\) will be assumed to satisfy the exactness relation (28), we call \({\mathcal {B}}\) an associated potential to \({\mathcal {A}}\) (we call \({\mathcal {A}}\) an associated annihilator of \({\mathcal {B}}\)).Footnote 4Raita showed that every \({\mathcal {A}}\)-free periodic field is the \({\mathcal {B}}\)-gradient of a suitable potential. The following is a version for measures of the original statement [54, Lemma 5]:
Lemma 5.1
Let \(\mu \in {\mathcal {M}}({\mathbb {T}}^d;W)\). Then \(\mu \) satisfies
if and only if there exists a potential \(u \in {\mathcal {M}}({\mathbb {T}}^d;V)\) such that
5.1 \({\mathcal {A}}\)-representatives
Denote by \(\pi (\xi ): W\rightarrow W\) the orthogonal projection from W to \((\ker {\mathbb {A}}(\xi ))^\perp \) for all \(\xi \in {\mathbb {R}}^d - \{0\}\). A classical result of Schulenberger and Wilcox [58, 59] states that if (8) is verified, then the map \(\xi \mapsto \pi (\xi )\) is an analytic map on \({\mathbb {R}}^d - \{0\}\), homogeneous of degree 0. The Mihlin multiplier theorem implies that \(\pi \) defines an \((\mathrm {L}^p,\mathrm {L}^p)\) multiplier on \({\mathbb {R}}^d\) for all \(1< p < \infty \), and standard multiplier transference methods imply that if we set \({{\tilde{\pi }}}(\xi ) = \pi (\xi )\), for \(\xi \ne 0\), and \(\tilde{\pi }(0) = 0\), then \(\{{{\tilde{\pi }}}(\xi )\}_{\xi \in {\mathbb {Z}}^d}\) defines an \((\mathrm {L}^p,\mathrm {L}^p)\)-multiplier on \({\mathbb {T}}^d\) via the assignment (see Theorem 3.8, Corollary 3.16 and its remark below in [61] for further details):
By construction
5.1.1 Sobolev Estimates
It is well-known that (8) implies the map \(\xi \mapsto {\mathbb {A}}(\xi )^\dagger \) belongs to \(\mathrm {C}^\infty ({\mathbb {R}}^d \setminus \{0\};\mathrm {Lin}(X^*,W))\) and is homogeneous of degree \(-k\). Here, \(M^\dagger \) denotes the Moore-Penrose inverse of M, which satisfies the fundamental algebraic identity \(M^\dagger M = \mathrm {Proj}_{(\ker M)^\perp }\). Starting from this identity and using that \(\widehat{{\mathcal {A}}u}(0) = {\mathbb {A}}(\xi ){{\widehat{u}}}(0) = 0\) for all \(u \in \mathrm {C}^{\infty }({\mathbb {T}}^d;W)\), one finds that
![](http://media.springernature.com/lw372/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ32_HTML.png)
The advantage of this perspective, is that it allows one to define \(u_{\mathbb {A}}\) in terms of \({\mathcal {A}}u\) rather than u itself.Footnote 5 Recalling the seminal ideas of Fonseca and Müller [27], we can exploit the representation in (31) to deduce Sobolev estimates on \(u_{\mathbb {A}}\) directly from the regularity of \({\mathcal {A}}u\), as one would do for elliptic operators. In order to proceed with this task let us define the auxiliary spaces
where \(\ell \in [0,k]\) is a positive integer and \(1< p < \infty \). These are Banach spaces of distributions when endowed with the natural norm \(\Vert u\Vert _{\mathrm {W}^{-1,p}} + \Vert {\mathcal {A}}u\Vert _{\mathrm {W}^{-k+\ell ,p}}\). Next, we show that the \({\mathcal {A}}\)-representative operator can be extended to an operator with Sobolev-type properties on \({\mathcal {W}}^{\ell ,p}({\mathbb {T}}^d)\):
Lemma 5.2
Let \(1< p < \infty \) and let \(\ell \in [0,k]\) be a positive integer. There exists a continuous linear map \(T : {\mathcal {W}}^{\ell ,p}({\mathbb {T}}^d)\rightarrow \mathrm {W}^{\ell ,p}({\mathbb {T}}^d)\) with the following properties:
-
1.
\(T[u] = u_{\mathbb {A}}\) for all \(u \in \mathrm {C}^\infty ({\mathbb {T}}^d;W)\),
-
2.
there exists a constant \(C(p,\ell ,{\mathcal {A}})\) such that
$$\begin{aligned} \Vert T[u]\Vert _{\mathrm {W}^{\ell ,p}({\mathbb {T}}^d)} \leqq C \Vert {\mathcal {A}}u\Vert _{\mathrm {W}^{-k+\ell ,p}({\mathbb {T}}^d)}, \end{aligned}$$ -
3.
\({\mathcal {A}}(T[u]) = {\mathcal {A}}u\) in the sense of distributions on \({\mathbb {T}}^d\), and
-
4.
\(\int _{{\mathbb {T}}^d} T [u] = 0\).
Moreover, T is well-defined with respect to the inclusions
in the sense that \(T = T(\ell ',p')\) is an extension of \(T= T(\ell ,p)\).
Proof
Let us define T on smooth maps as:
![](http://media.springernature.com/lw162/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ474_HTML.png)
so that property (1) follows from (31). In light of Remark 4.4, in order to prove that T extends to \({\mathcal {W}}^{\ell ,p}({\mathbb {T}}^d)\) with linear bound as in (2), it suffices to prove (2) for \(u \in \mathrm {C}^\infty ({\mathbb {T}}^d;W)\). Notice that once (2) has been established, it also suffices to verify that (3)–(4) hold for smooth maps; properties (3)–(4) for smooth maps follow from (29)–(30).
We shall therefore focus in proving (2) for smooth maps. Fix an integer \(\ell \in [0,k]\) and consider the multiplier
where \(\alpha \in {\mathbb {N}}_0^d\) be a multi-index with \(|\alpha | = \ell \). Consider the family \(\{{{\tilde{m}}}(\xi )\}_{\xi \in {\mathbb {Z}}^d}\) defined by the rule \({{\tilde{m}}}(\xi ) = m(\xi )\) for all \(\xi \in {\mathbb {Z}}^d - \{0\}\) and \({{\tilde{m}}}(0)= 0\). Partial differentiation and the properties of the Fourier transform yield
![](http://media.springernature.com/lw307/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ33_HTML.png)
for all \(u \in \mathrm {C}^\infty ({\mathbb {T}}^d;W)\). Hence, inverting the Fourier transform at both sides of the equation gives
We readily verify that m is homogeneous of degree zero, analytic on \({\mathbb {R}}^d \setminus \{0\}\). Then, in light of the transference of multipliers discussed above, the Mihlin multiplier theorem implies that the assignment \(f \mapsto {\mathfrak {F}}^{-1}( {{\tilde{m}}} {\widehat{f}})\) extends to an \((\mathrm {L}^p,\mathrm {L}^p)\)-multiplier on \({\mathbb {T}}^d\). In particular,
Here, in passing to the last equality we have used that the Mihlin multiplier theorem implies that the norms
and
are equivalent on \(\mathrm {C}^\infty _\sharp ({\mathbb {T}}^d) :=\{\, \sigma \in \mathrm {C}^\infty ({\mathbb {T}}^d) \ \mathbf{: }\ {{\widehat{\sigma }}}(0) = 0 \,\}\). Running through all multi-indexes \(|\alpha | = \ell \) and using Poincaré’s inequality for periodic mean-zero functions yields the sought assertion. \(\quad \square \)
Corollary 4.2 and Lemma 5.2 allow us to extend the notion of \({\mathcal {A}}\)-representative to certain subspaces of measures:
Definition 5.1
Let \(\ell \in [0,k]\) be an integer and let \(1< q < d/(d-1)\). If \(\mu \in {\mathcal {M}}({\mathbb {T}}^d;W)\) is a measure with \({\mathcal {A}}\mu \in \mathrm {W}^{-k+\ell ,q}({\mathbb {T}}^d)\), then by Corollary 4.2 we may define the \({\mathcal {A}}\)-representative of \(\mu \) as
where T is the linear map from Lemma 5.2.
Notice that \(\mu _{\mathbb {A}}\) is well-defined regardless of the choice of q, it has mean-value zero, it satisfies \({\mathcal {A}}\mu _{\mathbb {A}}= {\mathcal {A}}\mu \) in \({\mathcal {D}}'({\mathbb {T}};X)\) and
for some constant \(C = C(q,\ell ,{\mathcal {A}})\).
5.2 Localization Estimates
We close this section with a useful observation for estimates concerning the localization with cut-off functions. Let \(\varphi \in \mathrm {C}^\infty _c({\mathbb {R}}^d)\). The commutator of \({\mathcal {A}}\) on \(\varphi \) is the linear partial differential operator
![](http://media.springernature.com/lw160/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ475_HTML.png)
where \(\varphi \) acts as a multiplication operator. It acts on distributions \(\eta \in {\mathcal {D}}'({\mathbb {R}}^d;W)\) as \([{\mathcal {A}},\varphi ](\eta ) = {\mathcal {A}}(\varphi \eta ) - \varphi {\mathcal {A}}\eta \). Due to the Leibniz differentiation rule, \([{\mathbb {A}},\varphi ]\) is a partial differential operator of order \((k - 1)\) from W to X, with smooth coefficients depending solely on the coefficients of the principal symbol \({\mathbb {A}}\) and the first k derivatives of \(\varphi \). In particular, if \(\mu \in {\mathcal {M}}({\mathbb {R}}^d;W)\) satisfies for some \({\mathcal {A}}\mu \in \mathrm {W}_\mathrm {loc}^{-k,p}({\mathbb {R}}^d)\), then by Corollary 4.2 we get
and
for all \(\varphi \in \mathrm {C}^\infty ({\mathbb {R}}^d)\) with \({{\,\mathrm{supp}\,}}(\varphi ) \subset K \Subset {\mathbb {R}}^d\).
6 Proof of the Approximation Theorems
6.1 Proof of Theorem 1.3
Let us recall that we are given an \({\mathcal {A}}\)-free measure \(\mu \in {\mathcal {M}}(\Omega ;W)\), and we aim to find a sequence of \({\mathcal {A}}\)-free measures that converges in area to \(\mu \). We may, without loss of generality assume that \(\Omega \subset Q\).
Step 1. An asymptotically \({\mathcal {A}}\)-free converging recovery sequence. Let \(1< q < d/(d-1)\). First, we show that there exists a sequence \(\{\mu _j\} \subset \mathrm {C}^\infty (\Omega ;W)\) such that
We give a variant of the construction given in Step 2 of [5, Sec. 5.1]: Let \(\{\varphi _i\}_{i\in \mathbb {\mathbb {N}}} \subset \mathrm {C}^\infty _c(\Omega )\) be a locally finite partition of unity of \(\Omega \). For a measure or function \(\sigma \) on \(\Omega \), we set
where is a standard radial mollifier at scale \(\varepsilon > 0\). Let us begin with a few observations:
-
(a)
Every \(\mu _{i,\varepsilon }\) is a compactly supported on \({{\,\mathrm{supp}\,}}(\varphi _i) \Subset \Omega \subset Q\). Therefore we may naturally consider each \(\mu _{i,\varepsilon }\) as an element of \(\mathrm {C}^\infty ({\mathbb {T}}^d;W)\).
-
(b)
The \({\mathcal {A}}\)-free constraint on \(\mu \) implies that \({\mathcal {A}}\mu _{i,\varepsilon } = [{\mathbb {A}},\varphi _i](\mu _\varepsilon )\) for all \(i \in {\mathbb {N}}_0\), where we recall that \([{\mathbb {A}},\varphi _i]\) is a linear operator of order \((k-1)\).
-
(c)
As \(\{\varphi _i\}_{i \in {\mathbb {N}}}\) is a locally finite partition, we can take linear operators inside and outside arbitrary sums subjected to it. In particular,
$$\begin{aligned} \sum _{i = 1}^\infty {\mathcal {A}}\mu _i = {\mathcal {A}}\bigg (\sum _{i = 1}^\infty \mu _i \bigg ) = {\mathcal {A}}\mu = 0. \end{aligned}$$
By standard measure theoretic arguments we get that
where in establishing (39) we have used that (36) implies \(\mu _{i,\varepsilon } \rightarrow \mu _{i,0}\) in \(\mathrm {W}^{-1,q}({\mathbb {T}}^d)\) (see Corollary 4.2) so that \([{\mathbb {A}},\varphi _{i}](\mu _\varepsilon -\mu _0) \rightarrow 0\) in \(\mathrm {W}^{-k,q}({\mathbb {T}}^d)\). Then, in light of (36)–(39), for every \(i \in {\mathbb {N}}\) we may choose \(0< \varepsilon _j(i)< {{\,\mathrm{dist}\,}}({{\,\mathrm{supp}\,}}\varphi _i,\partial \Omega )\) such that (writing \({{\tilde{\sigma }}}_{i,j} :=\sigma _{i,\varepsilon _j(i)}\))
Now, for a measure or function \(\sigma \) on \(\Omega \) let us define
By construction we have
which shows the first condition, that indeed \({{\tilde{\mu }}}_j \overset{*}{\rightharpoonup }\mu \) on \(\Omega \). In particular, the sequential lower semicontinuity of the area functional gives the lower bound
Next, we prove the upper bound: We use that \(\sqrt{1 + |w|} + |z| \ge \sqrt{1 + |w + z|}\) for all \(w,z \in W\) to deduce that (recall that \(\Omega \subset Q\))
where the last inequality follows from the intermediate step
Here, the passing to the second inequality follows from Jensen’s inequality and the radial symmetry of \(\rho _\varepsilon \). Hence, we conclude that
This, together with the lower bound and the convergence \(\tilde{\mu }_j \overset{*}{\rightharpoonup }\mu \) imply that \({{\tilde{\mu }}}_j\) converges area-strictly to \(\mu \) on \(\Omega \). Lastly, we use the triangle inequality and the embedding \(\mathrm {W}^{k,q'}_0(\Omega ) \hookrightarrow \mathrm {W}^{k,q'}({\mathbb {T}}^d)\) to find that
which shows that indeed \({\mathcal {A}}{{\tilde{\mu }}}_j \rightarrow {\mathcal {A}}\mu \) strongly in \(\mathrm {W}^{-k,q}(\Omega )\).
Step 2. Construction of the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequence. Let us fix \(i \in {\mathbb {N}}\). We write \(v_{i,j} :=({{\tilde{\mu }}}_{i,j})_{\mathbb {A}}\) and \(v_i :=(\mu _i)_{\mathbb {A}}\). Then, in light of the estimates from Lemma 5.2 and the triangle inequality we get
This proves that \(v_{i,j} \rightarrow v_i\) in \(\mathrm {L}^{q}(\Omega )\). Now, let us look at the translations \(({{\tilde{\mu }}}_{i,j} - v_{i,j}){\mathscr {L}}^d \in {\mathcal {M}}({\mathbb {T}}^d;W)\). These are \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free by construction, which lead us to define the following candidate for an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free recovery sequence:
Claim 1. Each \(u_j\) is \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free. Indeed,
Claim 2. The sequence \(\{u_j {\mathscr {L}}^d\}\) area-strict converges to \(\mu \). Since \(\{{{\tilde{\mu }}}_j \, {\mathscr {L}}^d\}\) already area-converges to \(\mu \), it suffices to show that \({{\tilde{\mu }}}_j\) and \(u_j\) are asymptotically \(\mathrm {L}^1\)-close to each other (this is sufficient to ensure the asymptotic closeness of the area functional, which has a uniformly Lipschitz integrand). This is easily verified since
This proves the second claim, which finishes the proof. \(\square \)
6.2 Proof of Theorem 1.6
Let us recall that we are given \(u \in {\mathcal {M}}(\Omega ;V)\) with \({\mathcal {B}}u \in {\mathcal {M}}(\Omega ;W)\). We want to show there exists a sequence \(\{u_j\}\subset \mathrm {C}^\infty (\Omega ;V)\) such that
Proof
First we need to establish Sobolev estimates for the \({\mathcal {B}}\)-representatives of localizations of an arbitrary potential \(w \in {\mathcal {M}}(\Omega ;V)\).
In all that follows we may assume that \(\Omega \Subset {\mathbb {T}}^d\). As in previous arguments, we shall indistinguishably identify compactly supported functions on \(\Omega \) with their periodic extensions on \({\mathbb {T}}^d\). Let \(\Omega ' \subset \Omega _{k_{\mathbb {B}}-1} \Subset \dots \Subset \Omega _1 \Subset \Omega _0\) be a nested family of equidistant Lipschitz open sets. By standard methods, we may find cut-off functions \(\psi _1,\dots ,\psi _k \in \mathrm {C}_c^\infty (\Omega ;[0,1])\) satisfying
Let \(w \in {\mathcal {M}}(\Omega ;V)\) be such that \({\mathcal {B}}w \in {\mathcal {M}}(\Omega ;W)\). The main advantage of the potential framework is that we may localize inside the PDE: we define a sequence of smooth functions by setting \(\sigma _{r} :=\psi _r w\). Computing the \({\mathcal {B}}\)-gradient we find that, for \(1 \leqq r \leqq {k_{\mathbb {B}}} -1 \) it holds
The idea now is to deduce Sobolev estimates for their \({\mathcal {B}}\)-representatives following a standard bootstrapping argument: Since \({\mathcal {B}}\) satisfies the constant rank condition, we may define \(w_{r} :=(\sigma _{r})_{\mathbb {B}}\).
Then, by Lemma 5.2, we deduce the a priori estimates
where the constant C may change from line to line and depends solely on \({{\,\mathrm{dist}\,}}(\Omega ',\Omega )\), \({\mathbb {B}}\) and q. Iteration of this bounds until the \(({k_{\mathbb {B}}}-1)^{\mathrm{th}}\) step yields
for yet another constant \(C = C(q,{\mathbb {B}},{{\,\mathrm{dist}\,}}(\Omega ',\partial \Omega ))\). With these estimates in hand, the approximation argument follows almost the same lines as the one used in the proof of Theorem 1.3. Therefore, we shall only give a sketch of the proof: Let \(\{\varphi _i\} \subset \mathrm {C}^\infty _c(\Omega )\) be a locally finite partition of unity, and assume that \(\varphi _i = (\psi _i)_{k_{\mathbb {B}}-1}\) so that we may apply the previous estimates on localizations of the form \(\varphi _i w\).
-
1.
Set \(w_{i,j} :=(\varphi _i(u \star \rho _{\varepsilon _j}))_{\mathbb {B}}\) and \(w_i :=(\varphi _i u)_{\mathbb {B}}\). Then, first applying the bootstrapping argument above with \(w = u\), and subsequently with \(w = u \star \rho _{\varepsilon _j} - u\), conveys the estimate
$$\begin{aligned} \Vert w_{i,j} - w_i\Vert _{\mathrm {W}^{k_{\mathbb {B}}-1,q}({\mathbb {T}}^d)}&\leqq C \Big (\Vert {\mathcal {B}}(u \star \rho _{\varepsilon _j}) - {\mathcal {B}}u\Vert _{\mathrm {W}^{-1,q}({\mathbb {T}}^d)} \\&\quad + \Vert u \star \rho _{\varepsilon _j} - u\Vert _{\mathrm {W}^{-1,q}({\mathbb {T}}^d)}\Big ) \rightarrow 0 \quad \text {as }\varepsilon \rightarrow ^+ 0. \end{aligned}$$Here \(C = C(q,\varphi _i,{\mathbb {B}})\).
-
2.
Similarly to the previous proof, we define
$$\begin{aligned} u_j :=\sum _{i = 1}^\infty w_{i,j(i)} \in \mathrm {C}^\infty (\Omega ;V). \end{aligned}$$where, for each \(i \in {\mathbb {N}}\), \(\varepsilon _{j(i)} > 0\) is chosen so that
$$\begin{aligned} d_\star ({\mathcal {B}}w_{i,j(i)},{\mathcal {B}}w_i)&\leqq \frac{1}{2^i \times j}, \\ \Vert \varphi _i({{\mathcal {B}}}^\mathrm {ac}u \star \rho _{\varepsilon _{j(i)}} - {{\mathcal {B}}}^\mathrm {ac}u)\Vert _{\mathrm {L}^1({\mathbb {T}}^d)}&\leqq \frac{1}{2^i \times j},\\ \Vert w_{i,j(i)} - w_i \Vert _{\mathrm {W}^{k_{\mathbb {B}}-1,q}({\mathbb {T}}^d)}&\leqq \frac{1}{C({\mathbb {B}},\varphi _i)} \times \frac{1}{2^i \times j}, \end{aligned}$$where \(C({\mathbb {B}},\varphi _i) :=\max \{1,\Vert {\mathbb {B}}\Vert _{\infty }({\mathbb {S}}^{d-1}) + \Vert \varphi _i\Vert _{\mathrm {W}^{k_{\mathbb {B}},\infty }}^{k_{\mathbb {B}}}\}\).
-
3.
It follows that
$$\begin{aligned} d_\star ({\mathcal {B}}u_j,{\mathcal {B}}u) \leqq \sum _{i} d_\star ({\mathcal {B}}w_{i,j(i)},{\mathcal {B}}w_i) \leqq \frac{1}{j}. \end{aligned}$$This proves the convergence \({\mathcal {B}}w_j \overset{*}{\rightharpoonup }{\mathcal {B}}w\) in \({\mathcal {M}}(\Omega ;W)\). Moreover, the convexity of the area functional implies the lower bound
$$\begin{aligned} \mathrm {Area}({\mathcal {B}}u,\Omega ) \leqq \liminf _{j \rightarrow \infty }\mathrm {Area}({\mathcal {B}}u_j,\Omega ). \end{aligned}$$ -
4.
We decompose \({\mathcal {B}}u_j = {{\mathbf {I}}}^\mathrm {ac}_j + {\mathbf {I}}^s_j + {\mathbf {I}}{\mathbf {I}}_j\), where
$$\begin{aligned} {\mathbf {I}}_j^\sigma :=\sum _{i = 1}^\infty \varphi _i ({\mathcal {B}}^\sigma u \star \rho _{\varepsilon _{j(i)}}), \quad {\mathbf {I}}{\mathbf {I}}_j :=\sum _{i=1}^\infty [{\mathbb {B}},\varphi _i](w_{i,j(i)}), \quad \sigma = \mathrm {ac},s. \end{aligned}$$Young’s inequality implies \(|{\mathbf {I}}^s_j|(\Omega ) \leqq |{\mathcal {B}}^s u|(\Omega )\), and from the estimates of Step 2 we deduce that
$$\begin{aligned} {{\mathbf {I}}}^\mathrm {ac}_j\rightarrow {{\mathcal {B}}}^\mathrm {ac}u \; \hbox { in}\ \mathrm {L}^1(\Omega ) \quad \text {and} \quad {\mathbf {I}}{\mathbf {I}}_j \rightarrow {\mathbf {I}}{\mathbf {I}}:=\sum _{i=1}^\infty [{\mathbb {B}},\varphi _i](w_i) \; \text {in }\mathrm {L}^q(\Omega ). \end{aligned}$$Thus, the inequality \(\sqrt{1 + |z + z'|} \leqq \sqrt{1 + |z|} + |z'|\) implies the upper bound
$$\begin{aligned} \mathrm {Area}({\mathcal {B}}u_j,\Omega )&= \mathrm {Area}({{\mathbf {I}}}^\mathrm {ac}_j + {\mathbf {I}}^s_j + {\mathbf {I}}{\mathbf {I}}_j,\Omega ) \\&\lesssim _q \mathrm {Area}({{\mathcal {B}}}^\mathrm {ac}u,\Omega ) + |{\mathbf {I}}^s_j|(\Omega )\\&\quad + \Vert {{\mathbf {I}}}^\mathrm {ac}_j - {{\mathcal {B}}}^\mathrm {ac}u\Vert _{\mathrm {L}^1(\Omega )} + \Vert {\mathbf {I}}{\mathbf {I}}_j - {\mathbf {I}}{\mathbf {I}}\Vert _{\mathrm {L}^q(\Omega )} \\&\leqq \mathrm {Area}({\mathcal {B}}u,\Omega ) + {\text {O}}\bigg (\frac{1}{j}\bigg ). \end{aligned}$$This proves that \(\limsup _{j \rightarrow \infty } \mathrm {Area}({\mathcal {B}}u_j,\Omega ) \leqq \mathrm {Area}({\mathcal {B}}u,\Omega )\). We thus conclude that \(\lim _{j \rightarrow \infty } \mathrm {Area}({\mathcal {B}}u_j,\Omega ) = \mathrm {Area}({\mathcal {B}}u,\Omega )\) as desired.
This finishes the proof. \(\quad \square \)
7 Helmholtz Decomposition of Generating Sequences
In this section \({\mathcal {A}}\) and \({\mathcal {B}}\) are constant rank operators from W to X and V to W, of respective orders k and \(k_{\mathbb {B}}\). When we work in the \({\mathcal {A}}\)-free context, \({\mathcal {B}}\) will denote an associated potential of \({\mathcal {A}}\), which was discussed in the previous section [cf. (28)] and for which Lemma 5.1 holds. In all that follows \(U \subset {\mathbb {R}}^d\) is an open set and we assume that
The following lemma establishes that oscillations and concentrations generated along \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequences are, in fact, only carried by \({\mathcal {B}}\)-gradients:
Lemma 7.1
Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}_\mathrm {loc}(U,W)\) be a locally bounded \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure and let \(\Omega ' \Subset U\) be a Lipschitz open subset with \(\lambda (\partial \Omega ') = 0\). Then, on \(\Omega '\), the barycenter measure \([{\varvec{\nu }}]\) can be decomposed into the \({\mathcal {B}}\)-gradient of a potential \(u \in \mathrm {W}^{k_{\mathbb {B}}-1,q}(\Omega ')\) an \({\mathcal {A}}\)-free field \(v \in \mathrm {L}^{q}(\Omega ')\), that is,
![](http://media.springernature.com/lw298/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ476_HTML.png)
Moreover, there exists a sequence \(\{u_h\} \subset \mathrm {W}^{k_{\mathbb {B}}-1,q}(\Omega ')\) satisfying
Lastly, if there exists
\(u_0 \in W^{k_{\mathbb {B}}-1,q}(\Omega ')\) such that
, then v may be chosen to be the zero function.
Proof
Let \(\varphi \in \mathrm {C}^\infty _c(\Omega ;[0,1])\) be a cut-off function satisfying \(\Omega ' \subset \{\varphi \equiv 1\}\). Without loss of generality we may assume that \({{\,\mathrm{supp}\,}}(\varphi ) \subset Q\). Let \(\{\mu _j\}\) be a sequence of measures generating \({\varvec{\nu }}\) and satisfying \({\mathcal {A}}\mu _j \rightarrow 0\) in \(\mathrm {W}^{-k,q}({{\,\mathrm{supp}\,}}\varphi )\). We define a sequence of compactly supported measures on U by setting \(\sigma _j :=\varphi \mu _j\) and \(\sigma _0 :=\varphi \mu \). Using the trivial extension by zero, we may regard each measure \(\sigma _j\) as an element of \({\mathcal {M}}({\mathbb {T}}^d;W)\). For a function \(\tau \) on the torus we write \(\overline{\tau }:=\int _{{\mathbb {T}}^d} \tau \) (if \(\tau \) is a measure, we set \(\overline{\tau }:=\tau ({\mathbb {T}}^d)\)) to denote its mean-value. Next, define the sequence \(\{w_j\} \subset \mathrm {L}^q({\mathbb {T}}^d;W)\) of mean-value zero maps as
Indeed, thanks to Lemma 5.2 and Corollary 4.2 we obtain
Since \(\mu _j \overset{*}{\rightharpoonup }\mu \) in \({\mathcal {M}}(U;W)\), it holds
Indeed, \({\mathcal {A}}\mu _j \rightarrow 0\) in \(\mathrm {W}^{-k,q}({{\,\mathrm{supp}\,}}\varphi )\), while the convergence involving the commutator follows from the fact that (cf. Corollary 4.2) \(\mu _j \rightarrow \mu \) \(\mathrm {W}^{-1,q}(U)\) and that \([{\mathbb {A}},\varphi ]\) is an operator of order at most \((k-1)\). Hence, it follows from the estimates in Lemma 5.2 that
This allows us to define an asymptotically \(\mathrm {L}^q\)-close sequence to \(\sigma _j\) by setting
By construction \(\{z_j\}_{j \in {\mathbb {N}}} \subset {\mathcal {M}}({\mathbb {T}}^d;W)\) is a sequence mean-value zero measures satisfying \(z_j \overset{*}{\rightharpoonup }z_0\) in \({\mathcal {M}}({\mathbb {T}}^d;W)\), and hence also \(z_j \rightarrow z_0\) in \(\mathrm {W}^{-1,q}({\mathbb {T}}^d)\). Moreover, \(\{z_j\}_{j \in {\mathbb {N}}}\) is a sequence of \({\mathcal {A}}\)-free measures since \({\mathcal {A}}w_j = {\mathcal {A}}\sigma _j\).
Next, we exploit the potential property of mean-value zero \({\mathcal {A}}\)-free functions on the torus. Proposition 5.1 yields potentials \({{\tilde{u}}}_j \subset \mathrm {L}^q({\mathbb {T}}^d;V)\) satisfying \({\mathcal {B}}{{\tilde{u}}}_j = z_j\) for all \(j \in {\mathbb {N}}_0\), each of which we may assume to be given by its own \({\mathcal {B}}\)-representative, that is, \({{\tilde{u}}}_j = ({{\tilde{u}}}_j)_{\mathbb {B}}\). Applying once more the estimates of Lemma 5.2 (for \({\mathcal {B}}\) instead of \({\mathcal {A}}\)), we find that
Since \({{\,\mathrm{supp}\,}}(f_0) \subset \Omega \setminus \overline{\Omega '}\), then \(w_0\) is an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure on \(\Omega '\). We readily check, setting
that
This proves the first assertion on the decomposition of the barycenter \(\mu \) on \(\Omega '\). Moreover, since \(\lambda (\partial \Omega ') = 0\), we obtain
Therefore, using that \(w_j \rightarrow w_0\) strongly in \(\mathrm {L}^q({\mathbb {T}}^d)\), it follows from Proposition 4.1 that
We are left to see that we can adjust the boundary of \(\{\tilde{U}_j\}_{j \in {\mathbb {N}}}\) to match the values of \(u :={{\tilde{U}}}_0\) near \(\partial \Omega '\). For a positive real \(t > 0\) we define \(\Omega '_t = \{x \in \Omega ': {{\,\mathrm{dist}\,}}(x,\partial \Omega ') > t\}\). Fix \(\varphi _t \in \mathrm {C}_c^\infty (\Omega ';[0,1])\) to be a cut-off of \(\Omega '_{2t}\) with \(\varphi \equiv 0\) on \(\Omega '_t\), and such that \(\Vert \varphi _t\Vert _{k_{\mathbb {B}},\infty } \lesssim t^{-k_{\mathbb {B}}}\). Let \(\delta _h \searrow 0\) be an infinitesimal sequence of positive reals. We define a sequence with u-boundary values by setting
Fix h. Since \({{\tilde{u}}}_j \rightarrow {{\tilde{u}}}_0\) in \(\mathrm {W}^{k_{\mathbb {B}}- 1,q}(\Omega ')\), there exists \(j = j(h)\) such that
In particular, setting \(u_h :=u_{h,j(h)}\), we can estimate the total variation of \({\mathcal {B}}u_h\) as
Notice that this not only implies that \(\{{\mathcal {B}}u_h\}\) is uniformly bounded, but also that the sequence does not concentrate mass on the boundary \(\partial \Omega '\). Therefore, up to extracting a subsequence (which we will not relabel), the sequence generates a Young measure on \(\Omega '\) which does not carry mass into the boundary, that is,
On the other hand, our construction gives the equivalence of measures \({\mathcal {B}}u_h = {\mathcal {B}}{{\tilde{U}}}_{j(h)}\) when these are restricted to the set \(\Omega '_{2\delta _h}\). Since \(\delta _h \searrow 0\), we deduce from (42)–(43) that \({\varvec{\sigma }} \equiv {\varvec{\nu }}\) on \(\Omega '\), and therefore
with \(u_h \equiv u\) on a neighborhood of \(\partial \Omega '\).
The last statement follows by noticing that \(v = {\mathcal {B}}(u_0 - u )\) and hence we may simply re-define the sequence of potentials as \(U_h :=u_h + u_0 - u\). This finishes the proof of the lemma. \(\quad \square \)
The proof of the following lemma follows verbatim from the first step of the proof of the lemma above:
Lemma 7.2
Let \(\{\mu _j\} \subset {\mathcal {M}}(U;W)\) be a sequence of \({\mathcal {A}}\)-free measures satisfying
Then, for a bounded open subset \(\Omega ' \subset U\), there exist \(u \in \mathrm {W}^{k_{\mathbb {B}}-1,q}(\Omega ')\) and \(v \in \mathrm {L}^q(\Omega ')\) such that
![](http://media.springernature.com/lw150/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ477_HTML.png)
Moreover, there exist sequences \(\{u_j\} \subset \mathrm {W}^{k_{\mathbb {B}}-1,q}(\Omega ')\) and \(\{v_j\} \subset \mathrm {L}^q(\Omega ')\) such that
![](http://media.springernature.com/lw167/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ478_HTML.png)
and
The following two results show that tangent \({\mathcal {A}}\)-free Young measures and \({\mathcal {B}}\)-gradient Young measures differ only by a constant shift:
Corollary 7.1
(decomposition of blow-up sequences) Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;W)\) be an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure and let \({\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x)\) be a tangent Young measure. Then, for every Lipschitz domain \(\omega \Subset {\mathbb {R}}^d\) with \(\lambda (\partial \omega ) = 0\), there exist a potential \(u \in \mathrm {W}^{k_{\mathbb {B}}-1,q}(\omega )\) and a vector \(z \in W\) such that
Moreover, there exists a sequence \(\{u_h\} \subset \mathrm {W}^{k_{\mathbb {B}}-1,1}(\omega )\) satisfying
Furthermore, if \(x \in \Omega \) is a singular point of \({\varvec{\nu }}\) or if there exists \(u_0 \in {\mathcal {M}}(\Omega ;V)\) such that \([{\varvec{\nu }}] = {\mathcal {B}}u_0\), then \(z = 0 \in W\).
Proof
The locality property (19) of Young measures and the local decomposition of generating sequences given in Lemma 7.1 imply that it is enough to show the assertion when
We consider two cases: when \(x \in \Omega \) is a regular or a singular point of \(\lambda \).
Regular points: Every tangent Young measure \({\varvec{\sigma }} \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x)\) is generated by a sequence of the form
Recall from (17) that
Hence, from the linearity of the push-forward and the compactness of Young measures, it follows that (here we use that \(\lambda (\partial \omega ) = 0\)).
The assertion follows by taking \(z = v(x)\). If \([{\varvec{\nu }}] = {\mathcal {B}}u_0\), then a localization argument and (25) imply that
In particular, there exist \(\xi _i,\dots ,\xi _r \in {\mathbb {S}}^{d-1}\) and \(a_1,\dots ,a_r \in V\) such that
This allows us to construct a smooth primitive of z as follows: Let \(\eta (t) = t^{k_{\mathbb {B}}}/{k_{\mathbb {B}}}!\) and define
By construction we have
which implies that \({\mathcal {B}}u_z = z\). Therefore, by Lemma 7.1, z can be taken to be the zero constant.
Singular points: This proof is easier since instead of (44)–(45) we have
Recall however from (24) that
Therefore, using the same arguments as before (with different normalization constants) yields \(z = 0\). This completes the proof. \(\quad \square \)
Corollary 7.2
If \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}(\Omega ,W)\) is an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure, then
and
If, moreover, there exists \(u_0 \in {\mathcal {M}}(\Omega ;W)\) such that \([{\varvec{\nu }}] = {\mathcal {B}}u_0\), then
8 Proof of the Local Characterizations
8.1 Proof of Theorem 1.2
Necessity. This is straightforward from the definition of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure, a blow-up, and a diagonalization argument. For further details we refer the reader to [5, Sect. 2.8].
Sufficiency. Let \(\{\psi _p \otimes h_p\}_{p \in {\mathbb {N}}} \subset {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) be the countable family from Lemma 4.1 which separates \({{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;W)\). Let \({\varvec{\nu }} = (\nu ,\lambda ,\nu ^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}(\Omega ;W)\) as in the assumptions of Theorem 1.2 and let us write \(\mu = [{\varvec{\nu }}]\) to denote the barycenter of \({\varvec{\nu }}\). Consider also the positive measure
It follows from the main assumption, that there exists a full \(\Lambda \)-measure set \(B \subset \Omega \) with the following property: at every \(x \in B\) there exists a tangent Young measure \({\varvec{\sigma }} = (\nu _x,\kappa ,\nu ^\infty _x) \in {{\,\mathrm{Tan}\,}}(\varvec{\nu },x)\) satisfying (22) and (without carrying the x-dependence on several of the following elements)
![](http://media.springernature.com/lw464/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ49_HTML.png)
![](http://media.springernature.com/lw401/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ50_HTML.png)
In what follows we shall simply write \(c_{r_j} = c_{r_j}(x)\) when no possible confusion arises. Particular consequences of the convergence above are the following: at every \(x \in B\) we can find a blow-up sequence
and (composing with the identity map \({{\,\mathrm{id}\,}}_W\)) also
Applying Lemma 7.2 on the sequence \(\gamma _j\) and the sets \(U = {\mathbb {R}}^d\) and \(\Omega ' = Q\), which yields (cf. Corollary 7.2)
![](http://media.springernature.com/lw216/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ53_HTML.png)
where \(\{u^{(r_j)}\} \subset \mathrm {W}^{k_{\mathbb {B}}-1,1}(Q)\) and \(\{v^{(r_j)}\} \subset \mathrm {L}^1(Q;W)\) are such that
Step 1. Construction of a disjoint cover of B. Fix \(m \in {\mathbb {N}}\) and let \(\varphi \in \mathrm {C}(\overline{Q})\). At every \(x \in \Omega \) we define \(\rho _m(x)\) as the supremum over all radii \(0 < r_{j}(x) \leqq \frac{1}{m}\) (where \(r_j(x) \searrow 0\) is the sequence from the previous step at a given \(x \in B\)) such that
![](http://media.springernature.com/lw341/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ56_HTML.png)
Next, define the cover (of open cubes) with centers in B given by
Notice that, since \(\rho _m(x) > 0\) exists for all \(x \in B\), then \({\mathcal {Q}}_m\) is a fine cover of B and hence we may apply Besicovitch’s Covering Theorem, with the measure \(\Lambda \), to find a disjoint sub-cover \({\mathcal {O}}_m = \{Q_{x,m}\}\), where each \(Q_{x,m}\) is of the form \(Q_{R_m}(x)\) for some
and
Step 2. An adjusted generating sequence of \({\varvec{\sigma }}\). Let \(x \in B\) be fixed and let \({\varvec{\sigma }}= {\varvec{\sigma }}(x)\) be the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free tangent Young measure from the beginning of the proof. Now, we apply Corollary 7.1 to find a sequence \(\{w_h\} \subset \mathrm {W}^{k_{\mathbb {B}}-1,q}(Q)\) satisfying
Since it will be of use later, let \(H(m) \in {\mathbb {N}}\) be sufficiently large so that
We also consider \(\eta _m,\varphi _m \in \mathrm {C}^\infty (\overline{Q};[0,1])\) two cut-off functions (with disjoint support) that satisfy the following properties:
Step 3. Boundary adjustment for generating sequences of \({\varvec{\sigma }}(x)\). The next step is to define an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequence generating \({\varvec{\sigma }} = {\varvec{\sigma }}(x)\) on Q, which also has a blow-up of \(\mu \) as boundary values. This should allow us to freely glue each of this approximations together while keeping the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free constraint.
Fix \(m \in {\mathbb {N}}\) and let \(Q_{x,m} \in {\mathcal {O}}_m\). We begin by constructing a sequence on Q, which we shall later translate to \(Q_{x,m} \in {\mathcal {O}}_m\). Bearing in mind all the x-dependencies that we have omitted in the previous steps, we define the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequence
Here, let us recall that the commutator is a differential operator of order at most \(k_{\mathbb {B}}-1\) (with coefficients involving the coefficients of \({\mathbb {B}}\) and the derivatives of \(\chi \) of order less or equal than \(k_{\mathbb {B}}\)). By this token, if \(h \ge H(m)\), we may estimate the total variation of \(q_{h,m}\) as
whence it is established that \((q_{h,m})_{h \ge h(m)}\) is uniformly bounded in \({\mathcal {M}}(Q;W)\). In fact, we get that \(\limsup _{m \rightarrow \infty } |q_m|(Q \setminus Q_{1 - \frac{1}{m}}) = 0\); this follows from the property \(\kappa (\partial Q) = 0\). Therefore, passing to further subsequence of the h’s if necessary (not relabeled), we may assume that
On the other hand, observe that and hence, by Lemma 4.1 and the locality of Young measures, it must hold \({\tilde{\varvec{\sigma }}} \equiv {\varvec{\sigma }}\) in \({{\,\mathrm{\mathbf{Y}}\,}}(Q_{1 - \frac{4}{m}};W)\). Since this holds for all \(h \in {\mathbb {N}}\) and neither \(\tilde{{\varvec{\sigma }}}\) or \({\varvec{\sigma }}\) charge the boundary \(\partial Q\), it follows that
In particular, the uniform bound above and (50) ensure that we may find another subsequence \(h(m) \ge H(m)\) satisfying
![](http://media.springernature.com/lw412/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ65_HTML.png)
Step 4. Gluing together and generating \({\varvec{\nu }}\). So far, we have constructed generating sequences for specific tangent Young measures of \({\varvec{\nu }}\) on every x where there is a cube \(Q_{x,m} \subset {\mathcal {O}}_m\). The rest of the proof can be summarized in the following two steps: First, we construct an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequences by gluing together the \(Q \rightarrow Q_{x,m}\) push-forwards of each \(q_{h(m),m}\). Second, we show the new global sequence is uniformly bounded.
Step 4a. Gluing the generating sequences. For \(x \in {\mathbb {R}}^d\) and \(r>0\) we define the map \(\mathrm {G}_{x,r} (y) = (\mathrm {T}_{x,r})^{-1} = x + ry\), which is defined for all \(y \in {\mathbb {R}}^d\). Fix a cube \(Q_{x,m}\) in \({\mathcal {O}}_m\) and define an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure there by setting
Notice that
where \(Q_{x,m}'\) is the concentric sub-cube of \(Q_{x,m}\) given by \(z + (1 - \frac{1}{m})(Q_{x,m} - x)\). Therefore, the measure defined as
is well-defined in \(\Omega \). Moreover, it is also \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free on \(\Omega \) (cf. (63)) and its total variation in \(\Omega \) can be controlled as follows (recall that the push-forward is mass preserving)
![](http://media.springernature.com/lw316/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ479_HTML.png)
Step 4b. The new \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequence generates \({\varvec{\nu }}\). This last step consists of checking that \({\varvec{\nu }}\) is indeed an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure in \(\Omega \). In light of the previous steps, it suffices to check that \(\tau _m\) generates \({\varvec{\nu }}\) in \(\Omega \).
First, we estimate how close \(U_m\) is from generating \({\varvec{\nu }}\) on \(Q_{x,m}\). Fix \(\varphi \in \mathrm {C}(\overline{\Omega })\). Every cube \(Q_{x,m} \in {\mathcal {O}}_m\) has diameter at most \(\sqrt{d}m^{-1}\) and therefore there exists a modulus of continuity (depending solely on \(\varphi \)) such that \(\Vert \varphi (x) - \varphi \Vert _\infty (Q_{x,m}) \leqq \omega (m^{-1})\) for all \(Q_{x,m} \in {\mathcal {O}}_m\); the same bound holds for any dilation of \(\varphi \) on the corresponding dilation of \(Q_{x,m}\).
Let \(p \in {\mathbb {N}}\) and let \(M_{p}\) to be the linear growth constant of \(h_p\). We define
![](http://media.springernature.com/lw491/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ480_HTML.png)
Let \(m \ge p\). Regarding \(U_m\) as an element of \({\mathcal {M}}(\Omega ;W)\) through the trivial extension by zero, we obtain the estimate
![](http://media.springernature.com/lw545/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ481_HTML.png)
Therefore, adding up these estimates for each cube \(Q_{x,m}\) on \({\mathcal {Q}}_m\) yields
![](http://media.springernature.com/lw528/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ482_HTML.png)
This shows that as \(m \rightarrow \infty \), and, in particular, this holds for \(\varphi = \psi _p\) for any \(p \in {\mathbb {N}}\).
Conclusion. Since the family \(\{\psi _p \otimes h_p\}_{p \in {\mathbb {N}}}\) separates \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\), we conclude that the (uniformly bounded) sequence of \({\mathcal {A}}\)-free measures \(\{\tau _m\}\) generates \({\varvec{\nu }}\), that is,
This finishes the proof. \(\square \)
8.2 Proof of Corollary 1.1
If \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega )\) is such that \(\lambda (\partial \Omega )\), then from Theorem 1.2 we may assume that there exists tangent \({\mathcal {A}}\)-free measures of \({\varvec{\nu }}\) at \(({\mathscr {L}}^d + \lambda )\)-a.e. in \(\Omega \). The proof follows from the sufficiency part of the proof above, in particular from Step 4. The recovery sequence \(\tau _m\) constructed there is \({\mathcal {A}}\)-free and it also generates \({\varvec{\nu }}\). \(\square \)
8.3 Proof of Theorem 1.4
The necessity follows from Theorem 1.2 and the fact that, if \({\mathcal {A}}\) is an annihilator of \({\mathcal {B}}\), then
-
(a)
\({\mathcal {A}}\)-quasiconvexity is equivalent to \({\mathcal {B}}\)-gradient quasiconvexity for locally bounded integrands,
-
(b)
\({\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega ) \subset {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega )\).
Sufficiency. Due to a small clash of notation, we re-write assumption (i) as
We will show that there exists a sequence \(\{V_m\} \subset {\mathcal {M}}(\Omega ;V)\) with \(\{{\mathcal {B}}V_m\} \subset {\mathcal {M}}(\Omega ;W)\) that generates \({\varvec{\nu }}\). This will be deduced from the constructions contained in the proof of the sufficiency of Theorem 1.2, but first we need to recall the following fact of blow-downs: if \(w \in {\mathcal {M}}(Q;V)\) and \({\mathcal {B}}w \in {\mathcal {M}}(Q;W)\), then the blow-down of \({\mathcal {B}}w\), centered at x and at scale r, is given by
Notice that \(w^{r,x} \in {\mathcal {M}}(Q_r;V)\) and \({\mathcal {B}}w^{r,x} \in {\mathcal {M}}(Q;W)\). Moreover, the mass preserving property of push-forwards gives
We are now ready to prove the assertion. Let us recall from (b) that \({\varvec{\nu }}\) satisfies the sufficiency assumptions of Theorem 1.2 and hence we may apply the elements contained in its proof to \({\varvec{\nu }}\). In particular, the sequence \(\{\gamma _j\}\) (introduced in (52)) has elements of the form \({\mathcal {B}}u^{(r_j)} + v^{(r_j)}\). However, since by assumption \([{\varvec{\nu }}] = {\mathcal {B}}u_0\), Corollary 7.2 says that we may assume \(z = 0\) in (52). In particular, keeping the notation of the previous proof, the sequence \(\{q_{h,m}\}\) (defined in Step 3) is a sequence of \({\mathcal {B}}\)-gradients. Indeed, since \(z = 0\) it follows that and by the (inverse) property of blow-downs we get
![](http://media.springernature.com/lw354/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ483_HTML.png)
It follows that the sequence \(\{\tau _m\} \subset {\mathcal {M}}(\Omega ;W)\) (defined in in p. 44), which generates our Young measure \({\varvec{\nu }}\), has the form
where, according to (65) and ignoring the x-dependence, the \(U_m\) are defined as
In particular, the identity for blow-downs above implies that \(U_m = {\mathcal {B}}W_m\), where \(W_m\) is the Radon measure given by
![](http://media.springernature.com/lw488/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ484_HTML.png)
By construction we have \(W_m \equiv u_0\) (as measures) on a neighborhood of \(\partial Q_{x,m}\). This compatibility across the partition ensures that
defines a sequence of Radon measures in \({\mathcal {M}}(\Omega ;V)\), with \({\mathcal {B}}V_m \in {\mathcal {M}}(\Omega ;W)\) and such that
This finishes the proof. \(\square \)
9 Proof of the Dual Characterizations
9.1 The Convexity of \({{\,\mathrm{\mathbf{Y}}\,}}_{{\mathcal {A}},0}(\mu ,\Omega )\)
Let \(\mu \in {\mathcal {M}}(\Omega ;W)\) be an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure. We define the set
The proof of the following proposition is contained in Lemma 5.3 of [11]. There the authors state their main results under additional assumptions. However, the proof of this specific proposition makes no use of such assumptions and can be worked out by verbatim in our context.
Proposition 9.1
The set \({{\,\mathrm{\mathbf{Y}}\,}}_{{\mathcal {A}},0}(\mu ,\Omega )\) is weak-\(*\) closed in \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)^*\).
The main in step towards the proof of the characterization result Theorem 1.1 rests in showing the following convexity property. Once this is established the proof of Theorem 1.1 follows by relaxation argument and the geometric version of Hahn–Banach’s Theorem argument.
Theorem 9.1
The set \({{\,\mathrm{\mathbf{Y}}\,}}_{{\mathcal {A}},0}(\mu ,\Omega )\) is a convex set.
Proof
Fix \(0< \theta < 1\) and let
We also write \({\varvec{\nu }}_\theta :=\theta {\varvec{\nu }}_1 + (1 - \theta ){\varvec{\nu }}_2 \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)^*\). Our goal is to show that \({\varvec{\nu }}_\theta \) is an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure on \(\Omega \). To show this we will construct a sequence of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures on \(\Omega \) which generates the functional \({\varvec{\nu }}_\theta \).
Since this will be a fairly long and technical proof we will begin by describing a brief program of the proof. The foundation of our proof lies in a careful inspection of the infinitesimal qualitative behavior of points \(x \in \Omega \) with respect to our Young measures \({\varvec{\nu }}_1, {\varvec{\nu }}_2\). The qualitative understanding of the set of tangent Young measures of \({\varvec{\nu }}_i\) (\(i = 1,2\)) at a given \(x \in \Omega \) will be decisive in the choice of construction of an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free recovery sequence for \({\varvec{\nu }}_\theta \) about that point. Once every point and their local constructions are established, the idea is to use Besicovitch’s covering theorem to build a partition of \(\Omega \) into disjoint tiles, each of which retrieves the infinitesimal properties of \({\varvec{\nu }}_i\) and hence the recovery sequences of \({\varvec{\nu }}_\theta \) about their center points. The one but last step is to glue the aforementioned \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free recovery sequences from each tile into a globally \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free sequence, which generates an arbitrarily close a piece-wise constant approximation of \({\varvec{\nu }}_\theta \). The conclusion of the argument then follows from a diagonalization argument between the larger scale of piece-wise constant approximations of \({\varvec{\nu }}_{\theta }\) where we glue the recovery sequences, and the smaller scale where the corresponding recovery sequences are effectively constructed.
Step 1. Qualitative analysis of points.
Since we are trying to capture the fine properties of \({\varvec{\nu }}_1\) and \({\varvec{\nu }}_2\) simultaneously, it will be convenient to define the measure \(\Lambda :=\lambda _1^s + \lambda ^s_2\), which is a suitable substitute candidate to keep track of the interactions between singular points of \(\lambda _1\) and \(\lambda _2\). We start by distinguishing regular points and singular points. It follows from the Radon–Nykodým theorem that at \(({\mathscr {L}}^d + \Lambda )\)-almost every \(x \in \Omega \) one of the following properties hold: either
is a regular point, or
is a singular point. Throughout this proof we shall call points with the first property (which holds \({\mathscr {L}}^d\)-almost everywhere) regular points, and points satisfying the second property (which holds \(\Lambda \)-almost everywhere) will be called singular points; we shall only consider points \(x \in \Omega \) that are either regular or singular points. In addition, we may assume without any loss of generality that the limits
exist at every singular point \(x \in \Omega \). Next, we further partition \(\mathrm {sing}(\Omega )\) into sets which render precise information about the size relation between \(\lambda _1\) and \(\lambda _2\). More precisely, we split \(\mathrm {sing}(\Omega )\) into sets \(G_0 \cup G_1 \cup G_\infty \cup N\), where
and \(\Lambda (N) = 0\). If we set
then, up to modifying N, we may assume that \(g_1, g_2\) are \(\Lambda \)-measurably continuous and
Step 1a. Tangential properties of singular points. So far we have separated regular and singular points, and the latter by their weights with respect to \(\lambda _1\) and \(\lambda _2\). The next step is to separate points in \(\mathrm {sing}(\Omega )\) with respect to the qualitative behavior of \({{\,\mathrm{Tan}\,}}(\Lambda ,x)\).
-
(1)
If there exists a tangent measure \(\tau \in {{\,\mathrm{Tan}\,}}(\Lambda ,x)\) which does not charge points, that is,
$$\begin{aligned} \tau (\{y\}) = 0\text { for all }y \in {\mathbb {R}}^d, \end{aligned}$$then we write \(x \in {\mathcal {R}}\). Every \(x \in {\mathcal {R}}\) has the following property (see Corollary B.2): if \(\Theta \in (0,1)\), g is a \(\Lambda \)-measurable map, and x is a \(\Lambda \)-Lebesgue point of g, then there exist (a) a sequence of infinitesimal radii \(r_h \downarrow 0\) and (b) a sequence of open Lipschitz sets \(D_h \subset Q_{r_h}\) satisfying
$$\begin{aligned} \Lambda (x + \partial D_h) = 0, \qquad \lim _{h \rightarrow \infty } \frac{\Lambda (x + D_h)}{\Lambda (Q_{r_h}(x))} = \Theta , \end{aligned}$$and
In particular, if \(x \in G_1\), then
$$\begin{aligned} \lim _{h \rightarrow \infty } \frac{\Lambda (x + D_h)}{\Lambda (Q_{r_h}(x))} = \lim _{h \rightarrow \infty } \frac{\lambda ^s_1(x + D_h)}{ \lambda ^s_1(Q_{r_h}(x))} = \lim _{h \rightarrow \infty } \frac{\lambda ^s_2(x + D_h)}{\lambda ^s_2(Q_{r_h}(x))} = \Theta . \end{aligned}$$ -
(2)
If otherwise (1) does not hold for any tangent measure of \(\Lambda \) at x, we write \(x \in {\mathcal {S}}\). It follows from Lemma B.3 and the fact that blow-ups of blow-ups are blow-ups (see Theorem 2.12 in [52]) that
$$\begin{aligned} x \in {\mathcal {S}}\quad \Longrightarrow \quad \delta _0 \in {{\,\mathrm{Tan}\,}}(\Lambda ,x). \end{aligned}$$
Step 1b. Selection of points with Lebesgue-type properties. We now turn to the selection of points which later shall be the centers of the tile partitions. As usual let \(\{f_{p,q}\}_{p,q \in {\mathbb {N}}} \subset {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) be the family from Lemma 4.1 which separates points in \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)^*\).
Up to removing a set of \({\mathscr {L}}^d\)-measure zero, we may assume that every \(x \in \mathrm {reg}(\Omega )\) is a Lebesgue point of the maps
About singular points \(x \in \mathrm {sing}(\Omega )\), we shall be more careful and set \(B^\infty _i \subset \mathrm {sing}(\Omega )\) to be the set of \(\lambda _i^s\)-Lebesgue points of the family of maps
Each \(B_i^\infty \) has full \(\lambda ^s_i\)-full measure on \(\Omega \) and hence \(B_1^\infty \cup B_2^\infty \) has full \(\Lambda \)-measure on \(\Omega \). Therefore, in what follows there will be no loss of generality in assuming that \(\mathrm {sing}(\Omega ) = B_1^\infty \cup B_2^\infty \); this union may not be disjoint.
Step 2. Building a partition of cubes with good fine properties. Let \(m \in {\mathbb {N}}\), in this step we will address the construction of a full \(\Lambda \)-measure partition of \(\Omega \) with \({\text {O}}(m^{-1})\)-asymptotic approximation Lebesgue-type properties. To begin, let us define a fine cover of \(L :=\mathrm {reg}(\Omega ) \cup \mathrm {sing}(\Omega )\). At every \(x \in L\) we define
A radius r is said to satisfy \(({\mathcal {P}}_m(x))\) provided the following continuity properties hold for \(i = 1,2\) and all indexes \(p,q \leqq m\):
If \(x \in \mathrm {reg}(\Omega )\), then
![](http://media.springernature.com/lw275/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ71_HTML.png)
![](http://media.springernature.com/lw403/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ72_HTML.png)
If \(x \in \mathrm {sing}(\Omega )\), then
![](http://media.springernature.com/lw402/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ73_HTML.png)
![](http://media.springernature.com/lw403/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ74_HTML.png)
If \(x \in {\mathcal {R}}\cap G_1\), then we require
If \(x \in G_0\) or \(x \in G_\infty \), then we can only find \(D_r\) satisfying (76) for \(\lambda _2\) and \(\lambda _1\) respectively.
Lastly, if \(x \in {\mathcal {S}}\cap G_1\), then
where
Moreover, \(s_r\) can be chosen sufficiently small so that
where is the decomposition provided by Lemma 7.1 for \(\mu \) on \(Q_r(x)\). Here we have used the short notation
![](http://media.springernature.com/lw246/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ486_HTML.png)
for the translations of a function w.
Now, this is indeed a large amount of smallness conditions to keep track of, but they are all fundamental if one wishes to avoid (trivial) partitions which do not reflect the behavior of \({\varvec{\nu }}_1, {\varvec{\nu }}_2\) appropriately. \(\quad \square \)
Claim 1. \(\rho _m(x) > 0\) for all \(x \in L\).
Proof of Claim 1
Most of the properties are easy to check: Properties (69)–(71) and (72)–(75) follow directly from the construction and the Lebesgue properties discussed in Step 1b. Property (76) is a consequence of Step 1a(1). We focus in showing (77)–(78) which will follow from the fact that \(\delta _0 \in {{\,\mathrm{Tan}\,}}(\Lambda ,x)\). Indeed, in this case we may a sequence of infinitesimal radii \(r_j \downarrow 0\) such that
Then, by the strict convergence of the blow-up sequence we deduce that
In particular, since \(x \in G_1\), we conclude that
Choosing \(s \leqq \frac{1}{m}\) in a way that \(s_{r_j} :=s r_j\) satisfies the required properties for \(A_{r_j}\) and \(Q_{r_j}(x)\) (this can be done by slightly modifying each \(r_j\) in the blow-up sequence), we exhibit an infinitesimal sequence \(r_j\) (and their associated \(s_{r_j}\)) satisfying (77)–(78).
This proves the claim. \(\square \)
In particular, the cover
conforms a fine cover of L to which we may apply Besicovitch’s Covering Theorem: There exists a sub-cover \({\mathcal {O}}_m \subset {\mathcal {Q}}_m\) of disjoint cubes satisfying
Here, we have set \(O_m :=\cup _{Q_x \in {\mathcal {O}}_m} Q_x\).
Step 3. Piece-wise homogeneous approximations of \({\varvec{\nu }}_i\). The idea behind defining \({\mathcal {O}}_m\) is to construct a piece-wise homogeneous approximation of \({\varvec{\nu }}_1, {\varvec{\nu }}_2\) of order \(\frac{1}{m}\) as follows: Fix \(i \in \{1,2\}\) and define, through duality, a sequence of functionals \(\{{{\varvec{\nu }}^{(m)}_i}\}\) in \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ,W)^*\) acting as
![](http://media.springernature.com/lw298/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ487_HTML.png)
The fact that these functionals are in fact Young measures follows directly from (79), the weak-\(*\) measurability properties of \({\varvec{\nu }}_1\) and \({\varvec{\nu }}_2\), and the fact that simple Borel maps are measurable with respect to any Radon measure.
Claim 2. As \(m \rightarrow \infty \) it holds that
Proof of Claim 2.
Let \(p,q \in {\mathbb {N}}\) (we shall simply write \(f = f_{p,q}\)). First, we show that
We consider \(p,q \leqq m \in {\mathbb {N}}\). We may estimate [cf. (79)] the difference of the integrals above by the sum of the two non-negative quantities
and
Using (72) and the linear growth of we obtain
![](http://media.springernature.com/lw469/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ488_HTML.png)
It follows that \(\lim _{m \rightarrow \infty } I_m = 0\).
On the other hand, we use (70)–(71) to bound \(II_m\) as
This shows that \(\lim _{m \rightarrow \infty } II_m = 0\), whence (80) follows.
To prove the claim we are left to show that
We may estimate the integrand above, for fixed \(m \in {\mathbb {N}}\), by
Since \(\{f_{p,q}\}\) separates \({{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)^*\), this proves Claim 2. \(\square \)
Step 4. Construction of a global \({{\,\mathrm{{\mathcal {A}}}\,}}\) -free recovery sequence. Let us fix \(m \in {\mathbb {N}}\). Next, we define candidate recovery sequences for \(\varvec{\nu }_\theta \) on \(Q_x \in {\mathcal {O}}_m\). This will be done depending on whether x belongs to \({\mathcal {R}}\) or \({\mathcal {S}}\) where these sets are the ones defined in Step 1a.
Step 4a. Cubes \(Q_x \in {\mathcal {O}}_m\) centered at \(x \in {\mathcal {R}}\cup \mathrm {reg}(\Omega )\). We recall from step 1a and (76) that, if \(x \in {\mathcal {R}}\), then there are open Lipschitz sets \(D_x \subset Q_x \Subset \Omega \) satisfying
and
On the other hand, since \({\varvec{\nu }}_1, {\varvec{\nu }}_2\) are \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measures on \(\Omega \), we may apply Lemma 7.1 to find sequences (to avoid adding unnecessary notation, we will omit the x-dependence of these sequences) of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures \(\{u_j\} \subset {\mathcal {M}}(D_x;W)\) and \(\{v_j\} \subset {\mathcal {M}}(Q_x \setminus \overline{D_x};W)\) satisfying
The same construction applies with for \(x \in \mathrm {reg}(\Omega )\) with the exception that we require \(D_x \subset Q_x\) to satisfy
It follows from the uniformity of the Lebesgue measure that this can always be achieved for some open Lipschitz \(D_x \subset Q_x\); in this case the set \(D_x\) can be chosen to be a strip of width \(\theta \) or an open concentric cube of \(Q_x\) of side \(\theta ^\frac{1}{d}\) (Fig. 1).
In what follows we shall write
Notice that by construction the measures
are \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free on \(Q_x\) for all \(j \in {\mathbb {N}}\). Moreover, the \(w_j\)’s can be extended by \(\mu \) outside \(Q_x\) and particular this extension preserves the \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free constraint. Moreover, in virtue of (85)–(86) and the locality of the weak-\(*\) convergence of Young measures it holds that
![](http://media.springernature.com/lw493/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ89_HTML.png)
Therefore, upon re-adjusting the sequence \(\{w_j\}\) we may assume that
![](http://media.springernature.com/lw366/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ90_HTML.png)
Step 4b. Cubes \(Q_x \in {\mathcal {O}}_m\) centered at \(x \in {\mathcal {S}}\).
The constructions in these cubes will be completely different and it will consist of separating the generating sequences of \({\varvec{\nu }}_1, {\varvec{\nu }}_2\) locally. Once again, by Lemma 7.1, we may find sequences of potentials \(\{u_j\}, \{w_j \}\subset \mathrm {W}^{k_{\mathbb {B}}-1,q}(Q_x)\) such that
where for some \(v \in \mathrm {L}^1(Q_x;W)\). Moreover,
and
Now, let \(\varphi \) be a cut-off function satisfying (here \(Q_x = Q_r(x)\))
Due to the \(\mathrm {L}^p\)-continuity of the translations, we may choose \(n_1 = n_1(m) \in {\mathbb {N}}\) to be sufficiently large so that
for all \(j \ge n_1\).
We are now in position to define our recovery sequence candidate for \({\varvec{\nu }}_\theta \) on \(Q_x\) by setting
The purpose of this sequence is to shift \(u_j\) and \(w_j\) apart from each other, while preserving the \(\mu \)-boundary conditions near \(\partial Q_x\) (see Fig. 2 below). Clearly, \(\{q_j\}\) is a sequence of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures on \(Q_x\) with \(q_j \equiv \mu \) on a neighborhood of \(\partial Q_x\) and \(q_j \approx \theta _1 u_j + \theta _2 v_j\) on \(Q_{r/2}(x)\). Notice that this construction differs from the previous one (when \(x \in {\mathcal {R}}\)) in the sense that the \(\theta _i\)-weights are incorporated by simple multiplication. In general, this construction is too naive to work. However, in this case, it works because we have \(\Lambda \approx \delta _0\) in \(Q_x\).
Let us fix \(j \in {\mathbb {N}}\). Writing \(u = \theta _1 u + \theta _2 u\) and adding a zero, we may express \(q_j\) as
where as usual the commutator is a linear operator of order at most \((k_{\mathbb {B}}-1)\) and whose coefficients depend solely on \(\Vert \varphi \Vert _{k,\infty }\) and the principal symbol \({\mathbb {B}}\). We obtain the following estimate for the total variation of \(q_j\):
In particular, upon re-adjusting the sequence \(\{q_j\}\) we may assume that
and \(q_j \overset{{\mathbf {Y}}}{\rightarrow }{\varvec{\sigma }}^x \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(Q_x)\).
Observe that if \(f = f_{p,q}\) with \(p,q \leqq m\), then
![](http://media.springernature.com/lw605/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ489_HTML.png)
Hence, there exists \(n_1 \leqq n_2 = n_2(m) \in {\mathbb {N}}\) such that (with \(\gamma _j^1 = v \, {\mathscr {L}}^d + {\mathcal {B}}u_j\))
![](http://media.springernature.com/lw490/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ490_HTML.png)
for all \(j \ge n_2\). An analogous estimate holds for \({\varvec{\nu }}_2\), \(w_j\), and \(\theta _2\). Let us set \(R_x :=Q_x \setminus \big ((Q_{s_x}(x) - s_xe_1) \cup (Q_{s_x}(x) + s_xe_1) \big )\). Then, by the definition of \(q_j\), a similar argument combined with the right translations \(\pm s_x e_1\) yield (for \(j \ge n_2\))
![](http://media.springernature.com/lw548/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ491_HTML.png)
Combining these estimates we obtain upon re-adjusting the sequence of j’s (recall that we had written \(f = f_{p,q}\))
![](http://media.springernature.com/lw422/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ93_HTML.png)
whenever \(p,q \leqq m\).
Step 4c. Gluing the local recovery sequences.
Every cube \(Q_x \in {\mathcal {O}}_m\) is centered at some \(x \in L\) and since
the constructions in Steps 4a and 4b indeed cover all possible scenarios which can present. The next task is to glue the recovery sequences together to obtain an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free global recovery sequence of the \({\text {O}}(m^{-1})\)-approximation of \({\varvec{\nu }}_\theta \). For each \(m \in {\mathbb {N}}\), let us define the sequence
Notice that by construction each \(w_j^{(m)}\) is \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free since each \(w_j^x\) and \(q_j^x\) is \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free on \(Q_x\) and has \(\mu \)-boundary values in an open neighborhood of \(\partial Q_x\).
Step 4d. Generation of the \((m^{-1})\)-approximations of \({\varvec{\nu }}_\theta \). Appealing to the locality of weak-\(*\) convergence of Young measures, we show next that if \(p,q \leqq m\), then (as \(j \rightarrow \infty \))
![](http://media.springernature.com/lw322/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ94_HTML.png)
where \({\varvec{\nu }}^{(m)}_\theta \) is the Young measure which acts on \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ,W)\) by the representation formula
![](http://media.springernature.com/lw515/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ492_HTML.png)
Later, in the next step, we will show these Young measures are indeed \({\text {O}}(m^{-1})\)-approximations of \({\varvec{\nu }}_\theta \). This, together with a diagonalization argument with (93) will imply that \({\varvec{\nu }}_{\theta } \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^{0,\mu }(\Omega )\).
First, we show that the sequence \(\{w^{(m)}_j\}_{j,m} \subset {\mathcal {M}}(\Omega ,W)\) has uniformly bounded total variation on \(\Omega \). There is no loss of generality in assuming that , and therefore
![](http://media.springernature.com/lw486/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ493_HTML.png)
This shows that
as desired.
Since \((w_j^m)_j\) is uniformly bounded on \(\Omega \), the desired limit approximation in (93) follows from 1) the locality of weak-\(*\) convergence of Young measures, 2) the generation properties (85)–(86) for points in \(\mathrm {reg}(\Omega ) \cup {\mathcal {R}}\), 3) the generation property at singular points in \({\mathcal {S}}\) the (92), and 4) the fact that \({\mathcal {O}}_m\) is a full \(({\mathscr {L}}^d + \Lambda )\)-partition of \(\Omega \).
Step 5. The sequence \({\varvec{\nu }}^{(m)}_\theta \) approximates \({\varvec{\nu }}_\theta \). Next we show that
![](http://media.springernature.com/lw341/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ494_HTML.png)
Accordingly, fix \(p,q \in {\mathbb {N}}\) and choose \(m \ge p,q\). Let us, for the sake of simplicity, write \(f = f_{p,q}\) and \(f^\infty = f_{p,q}^\infty \). Due to the high amount of terms and estimates involving this argument, let us write
![](http://media.springernature.com/lw400/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ495_HTML.png)
where each term contains partial sums subjected to a decomposition of the mesh \({\mathcal {O}}_m\) in the following way:
-
(a)
the cubes \(Q_x\) around regular points \(x \in \mathrm {reg}(\Omega )\). For \(i \in \{1,2\}\), the corresponding partial sum is given by
-
(b)
and now we cover the singular set \(\mathrm {sing}(\Omega )\), starting with the cubes around singular points \(x \in {\mathcal {R}}\cap G_0\)
$$\begin{aligned} II&:=\sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_0 \end{array}} \int _{Q_x^1} \bigl \langle f,\nu _1 \bigr \rangle \,\mathrm {d}{\mathscr {L}}^d + \int _{Q_x^1} \bigl \langle f^\infty , \nu ^\infty _1 \bigr \rangle \,\mathrm {d}\lambda _1 \\&\quad + \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_0 \end{array}} \int _{Q_x^1} \bigl \langle f,\nu _2 \bigr \rangle \,\mathrm {d}{\mathscr {L}}^d + \int _{Q_x^2} \bigl \langle f^\infty , \nu ^\infty _2 \bigr \rangle \,\mathrm {d}\lambda _2 \\&{\mathop {=}\limits ^{(72)-(74)}} \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_0 \cap B_1^\infty \end{array}} \bigg ( \bigl \langle f^\infty , \nu ^\infty _1 \bigr \rangle _x \cdot \lambda _1^s(Q_x^1) + M_f \cdot {\text {O}}(m^{-1}) \cdot \Lambda (Q_x^2) \bigg ) \\&\quad + \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_0 \cap B_2^\infty \end{array}} \bigg ( \bigl \langle f^\infty , \nu ^\infty _2 \bigr \rangle _x \cdot \lambda _2^s(Q_x^2) + M_f \cdot {\text {O}}(m^{-1}) \cdot \Lambda (Q_x^1) \bigg ) \\&{\mathop {=}\limits ^{(75),(83)}} \theta _2 \cdot \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_0 \cap B_2^\infty \end{array}} \int _{Q_x} \bigl \langle f^\infty , \nu ^\infty _2 \bigr \rangle _x \,\mathrm {d}\lambda _2^s \\&\quad + {\text {O}}(m^{-1}) \cdot (M_f + \mathrm {Lip}(f)) \cdot \Lambda (\Omega ). \end{aligned}$$In the first equality we have strongly used the \(\Lambda \)-Lebesgue property for the sets \(Q_x^i\) which is justified in Step 1a(1); the precise statement is contained in Corollary B.2. The same argument will be used in the estimates (c) and (d) below;
-
(c)
passing to points \(x \in {\mathcal {R}}\cap G_1\) (in this case \(x \in B_1^\infty \cap B_2^\infty \)). For \(i = 1,2\) the partial sum reads as
$$\begin{aligned} III_i&:=\sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_1 \end{array}} \int _{Q_x^i} \bigl \langle f,\nu _i \bigr \rangle \,\mathrm {d}{\mathscr {L}}^d + \int _{Q_x^i} \bigl \langle f^\infty ,\nu ^\infty _i \bigr \rangle \,\mathrm {d}\lambda _i^s \\&{\mathop {=}\limits ^{(72)-(73)}} \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_1 \cap B_i^\infty \end{array}} \bigg ( \bigl \langle f^\infty ,\nu ^\infty _i \bigr \rangle _x \cdot \lambda _i^s(Q_x^i) + M_f \cdot {\text {O}}(m^{-1}) \cdot \Lambda (Q_x) \bigg ) \\&\quad + \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_1 \cap B_i^\infty \end{array}} {\text {O}}(m^{-1}) \cdot \lambda _i(Q_x^i) \\&{\mathop {=}\limits ^{(82)}} \theta _i \cdot \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_1 \cap B_i^\infty \end{array}} \int _{Q_x} \bigl \langle f^\infty ,\nu ^\infty _i \bigr \rangle _x \,\mathrm {d}\lambda _i^s\\&\quad + {\text {O}}(m^{-1}) \cdot ( M_f + \mathrm {Lip}(f) + 1) \Lambda (Q_x); \end{aligned}$$ -
(d)
and to finally cover \({\mathcal {R}}\), the singular points \(x \in {\mathcal {R}}\cap G_\infty \): an analogous estimate to the one derived in (b) gives
$$\begin{aligned} IV&:=\sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_\infty \end{array}} \int _{Q_x^1} \bigl \langle f,\nu _1 \bigr \rangle \,\mathrm {d}{\mathscr {L}}^d + \int _{Q_x^1} \bigl \langle f^\infty , \nu ^\infty _1 \bigr \rangle \,\mathrm {d}\lambda _1 \\&\quad + \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_\infty \end{array}} \int _{Q_x^1} \bigl \langle f,\nu _2 \bigr \rangle \,\mathrm {d}{\mathscr {L}}^d + \int _{Q_x^2} \bigl \langle f^\infty , \nu ^\infty _2 \bigr \rangle \,\mathrm {d}\lambda _2 \\&{\mathop {=}\limits ^{(84)}} \theta _1 \cdot \sum _{\begin{array}{c} Q_x \in {\mathcal {O}}_m\\ x \in {\mathcal {R}}\cap G_\infty \cap B_2^\infty \end{array}} \int _{Q_x} \bigl \langle f^\infty , \nu ^\infty _1 \bigr \rangle _x \,\mathrm {d}\lambda _1^s \\&\quad + {\text {O}}(m^{-1}) \cdot (M_f + \mathrm {Lip}(f)) \cdot \Lambda (\Omega ). \end{aligned}$$ -
(e)
Lastly, the cubes with centers \(x \in {\mathcal {S}}\) which by definition are simply given by
Since the singular set can be split into the disjoint union
and since every possible cube \(Q_x \in {\mathcal {O}}_m\) is centered at one (and only one) of the previous four sets, we deduce from inspecting the terms \(I_i,II,III_i,IV, V_i\) that
![](http://media.springernature.com/lw538/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ498_HTML.png)
Conclusion. Let us recall that
where C(m) is the constant from (94). Returning to the estimate (93), we may then, by a diagonalization argument, define a sequence of \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures
satisfying (cf. Claim 2 and Step 5)
![](http://media.springernature.com/lw393/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ499_HTML.png)
Moreover, it follows from the compactness of Young measures and the separation Lemma 4.1 that the convergence above implies (this may involve passing to a subsequence)
This finishes the proof. \(\quad \square \)
9.2 Characterization of Singular Young Measures
In this section we establish a criterion for a family \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}(Q) \subset {{\,\mathrm{\mathbf{Y}}\,}}_0(Q;W)\) to belong to \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(Q)\). This family mimics the properties of singular tangent Young measures, and therefore this criterion will serve as a preparation for the proof of Theorem 1.1.
Remark 9.1
It is worthwhile to mention that our construction departs from the approach presented in [21, 41]. There, the authors are able to work with a family \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}(P_0)\) of Young measures that are one-directional. This, however, relies on the rigidity that gradients and symmetric gradients possess. In turn, this simplifies enormously the proof of the convexity of \({\mathcal {A}}\)-free young measures at the level of tangent Young measures; it also allows for the creation of artificial concentrations (cf. [22, Lemma 3.5]), which is crucial for the separation argument. It is precisely for this reason that the convexity of \({{\,\mathrm{\mathbf{Y}}\,}}_{{\mathcal {A}},0}(\mu ,\Omega )\) had to be conceived globally rather than at the level of tangent \({\mathcal {A}}\)-free Young measures.
Let us turn to the heart of the matter. Let \(P_0 \in W\) and let
We shall prove the following:
Proposition 9.2
Let \({\varvec{\nu }} = (\delta _0,\lambda ,\nu _0^\infty ) \in {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}(P_0)\) for some \(P_0 \in \Lambda _{\mathcal {A}}\). Assume that
and further assume that
then \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(Q)\).
Proof
Let us write \(\mu :=[{\varvec{\nu }}] = P_0\lambda \). The idea is to find a suitable convex subset \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu ) \subset {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(Q) \subset {{\,\mathrm{\mathbf{E}}\,}}(Q;W)^*\) that contains \({\varvec{\nu }}\). The choice of \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) is of course not unique, and is part of the problem in turn. We shall work with the following set:
Definition 9.1
Let \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}_{\mathcal {A}}(\mu )\) be the set of \({\mathcal {A}}\)-free Young measures \({\varvec{\sigma }} \in {{\,\mathrm{\mathbf{Y}}\,}}_0(Q;W)\) satisfying the following properties:
-
(a)
\([{\varvec{\sigma }}] = \mu \),
-
(b)
\({{\,\mathrm{supp}\,}}(\sigma _y) \subset W_{\mathcal {A}}\) for \({\mathscr {L}}^d\)-almost every \(y \in Q\),
-
(c)
\({{\,\mathrm{supp}\,}}(\sigma _y^\infty ) \subset W_{\mathcal {A}}\) for \(\lambda _{{\varvec{\sigma }}}\)-almost every \(y \in Q\).
Notice that \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) is non-empty since it contains \({\varvec{\delta }}_{\mu }\).
Remark 9.2
Since properties (a)–(c) are convex properties, Proposition 9.1 and Theorem 9.1 imply that \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) is a non-empty weak-\(*\) closed convex subset of \({{\,\mathrm{\mathbf{E}}\,}}(Q;W)^*\).
Step 1. The separation property. Let us recall that, for every weak-\(*\) closed affine half-space \(H \subset {{\,\mathrm{\mathbf{E}}\,}}(Q;W)^*\), there exists an integrand \(f_H \in {{\,\mathrm{\mathbf{E}}\,}}(Q;W)\) such that
From the geometric version of Hahn–Banach’s it follows that, either \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\), or there exists \(f_H \in {{\,\mathrm{\mathbf{E}}\,}}(Q;W_{\mathcal {A}})\) such that
![](http://media.springernature.com/lw344/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ96_HTML.png)
Since the former case is precisely what we want to prove, let us henceforth assume that the \(f_H\) strictly separates \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) and \({\varvec{\nu }}\). By assuming this, we shall reach a contradiction.
Step 2. Separation with \({{\tilde{f}}}_H\). Let \({{\tilde{f}}}_H \in {{\,\mathrm{\mathbf{E}}\,}}(Q;W)\) be the integrand defined as \({{\tilde{f}}}(x,z) = f(x,{\mathbf {p}} z)\), where \({\mathbf {p}}: W \rightarrow W\) is the canonical linear projection onto \(W_{\mathcal {A}}\). Notice that properties (b)–(c) and the properties of \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}(Q)\) we get
![](http://media.springernature.com/lw332/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ97_HTML.png)
Step 2. Boundedness of \({\mathcal {Q}}_{{\mathcal {A}}}{{\tilde{f}}}_H\). The following version of [11, Lemma 5.5] states that the separation property with \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) conveys the finiteness of the \({\mathcal {A}}\)-quasiconvex envelope of \({{\tilde{f}}}_H\):
Lemma 9.1
Let \(f \in {{\,\mathrm{\mathbf{E}}\,}}(Q; W)\) be such that for all \({\varvec{\sigma }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\). Then, there exists a dense set \(D \subset Q\) such that, for every \(y \in D\), it holds \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}(y,0) > -\infty \).
The proof follows by verbatim from the proof of [11, Lemma 5.5]. The only difference is that, there, it is assumed that \(W = W_{\mathcal {A}}\). However, this is of little importance in our setting due to properties (b) and (c), the properties of \({{\tilde{f}}}\) (cf. Sect. 4.3) and property (25).
Step 3. The contradiction: \({\varvec{\nu }} \in H\). For an integrand f and \(\varepsilon > 0\), we define . By construction, property (A) from Remark A.1 is trivially satisfied for the integrand \(f = ({{\tilde{f}}}_H)^\varepsilon \) and the domain \(\Omega = Q\). The finiteness of \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}\) of D and Propositions 4.5, 4.6 and 4.8 imply that \(({{\tilde{f}}}_H)^\varepsilon \) also satisfies property (B) from Remark A.1. Lastly, we recall that \(|\mu |(\partial Q) = P_0|\lambda |(\partial Q) = 0\), which implies that (C) in Remark A.1 is also satisfied. With these considerations in mind, we may apply Theorem A.1 to find a recovery sequence \(\{u_j\} \subset \mathrm {L}^1(Q;W)\) satisfying
and attaining the so-called upper-bound property
Passing to a further subsequence if necessary, we may assume that
Claim. \({\varvec{\theta }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\).
By construction, \([{\varvec{\theta }}] = {{\,\mathrm{w*-lim}\,}}u_j =\mu \), and hence property (a) is satisfied. The theory developed in Sect. 7 implies that, on strictly contained sub-cubes \(Q_t \subset Q\), we may assume it holds that
![](http://media.springernature.com/lw479/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ500_HTML.png)
where the elements of the sequence \(\{z_j\}_{{\mathbb {N}}_0}\) are mean-value zero \({\mathcal {A}}\)-free measures in \({\mathcal {M}}({\mathbb {T}}^d;W)\) and \(v \in \mathrm {L}^q({\mathbb {T}}^d;W)\). Property (25) and a standard mollification argument gives \(\{z_j\}_{{\mathbb {N}}_0} \in {\mathcal {M}}({\mathbb {T}}^d;W_{\mathcal {A}})\). In particular, the expression for and the assumption \(P_0 \in \Lambda _{\mathcal {A}}\) gives
, whence
![](http://media.springernature.com/lw227/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ501_HTML.png)
Since \(Q_t \subset Q\) was arbitrarily chosen, this proves that \({\varvec{\theta }} \in {{\,\mathrm{\mathbf{Y}}\,}}_0(Q;W_{\mathcal {A}})\) and therefore properties (b)–(c) hold. This proves that \({\varvec{\theta }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\) and the claim is proved.
For the ease of notation, let us write \(f :=(\tilde{f}_H)^\varepsilon \) for the next calculation. We use the main assumptions \(P_0 \in \Lambda _{\mathcal {A}}\) and \({{\,\mathrm{supp}\,}}(\nu _{0}^\infty ) \subset W_{\mathcal {A}}\), together with Proposition 4.5 (recall that is \((\Lambda _{\mathcal {A}}\cup W_{\mathcal {A}}^\perp )\)-convex) and Remark 1.2 to find that
![](http://media.springernature.com/lw434/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ99_HTML.png)
Here, in the one but last inequality we have dealt with the absolutely continuous part with the aid of the following property: if \({\mathcal {D}}\subset W\) is a spanning cone of directions, then every \({\mathcal {D}}\)-convex function \(g : W \rightarrow {\mathbb {R}}\) with linear growth at infinity satisfies (see for instance Lemma 2.5 in [38])
Hence, by combining (97)–(98), we conclude that (recall that \(f = (\tilde{f}_H)^\varepsilon )\)
![](http://media.springernature.com/lw471/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ502_HTML.png)
Letting \(\varepsilon \rightarrow 0^+\), we conclude from (96) that , which contradicts (95). This proves that \({\varvec{\nu }}\) must indeed belong to \({{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}^\mathrm {sing}(\mu )\). This completes the proof of the proposition.\(\quad \square \)
9.3 Characterization of Regular Young Measures
Now, we prove the analog of Proposition 9.2 for regular tangent Young measures. The proof follows the ideas of the original proof in [27], but it requires some minor changes to deal with the fact that \(W_{\mathcal {A}}\) and W may not coincide.
Let \(P_0 \in W\) and consider the family of homogeneous Young measures defined as
Here, the sub-index “0” in \(\sigma _0\) and \(\sigma _0^\infty \) denotes that \((\sigma _0)_y = \sigma _0\) and \((\sigma _0^\infty )_y = \sigma _0\) for all \(y \in Q\). This family mimics the properties of regular tangent measures (cf. Proposition 4.3). As one would expect, for regular points it is property (ii) from Theorem 1.1 that plays a fundamental role in the characterization of regular blow-ups:
Proposition 9.3
Let \({\varvec{\nu }} = (\nu _0,\alpha {\mathscr {L}}^d,\nu _0^\infty )\in {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}(P_0)\) and assume that
for all upper-semicontinuous \({\mathcal {A}}\)-quasiconvex integrands \(h:W \rightarrow {\mathbb {R}}\) with linear growth at infinity. Then
Proof
The proof is considerably simpler than the one at singular points since, for the separation argument, it will suffice to consider the following family of homogeneous Young measures:
The first step is to verify that \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\) is non-empty. Indeed, \({\mathcal {A}}(P_0 {\mathscr {L}}^d) = 0\) and therefore the elementary (purely oscillatory) homogeneous Young measure belongs to \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\).
Remark 9.3
The properties that define \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\) are convex properties. Therefore, Proposition 9.1 and Theorem 9.1 imply that \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\) is a non-empty weak-\(*\) closed convex subset of \({{\,\mathrm{\mathbf{E}}\,}}(Q;W)^*\).
Step 1. The separation property. By the geometric version of Hahn-Banach’s theorem it holds that, either \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\), or there exists an affine weak-\(*\) closed half-plane H that strictly separates \({\varvec{\nu }}\) from \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(P_0)\), that is, there exists \(f_H \in {{\,\mathrm{\mathbf{E}}\,}}(Q;W)\) such that
![](http://media.springernature.com/lw345/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ101_HTML.png)
We shall henceforth assume that \(f_H\) strictly separates \({\varvec{\nu }}\) and \({{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}_{\mathcal {A}}(P_0)\).
Step 2. Separation with elements of \({{\,\mathrm{\mathbf{E}}\,}}^\mathrm {reg}(W)\). Consider the class
For an integrand \(f \in {{\,\mathrm{\mathbf{E}}\,}}(Q;W)\), let us consider the homogenized integrand \(f_{\hom } \in {{\,\mathrm{\mathbf{E}}\,}}^\mathrm {reg}(W)\) defined as
It is not hard to see that that commutes with
for such integrands. Indeed, for every \((\xi ,z) \in Q \times W\),
In particular,
Fubini’s theorem gives
![](http://media.springernature.com/lw537/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ503_HTML.png)
This tells us there is no loss of generality in assuming that \(f_H \in {{\,\mathrm{\mathbf{E}}\,}}^\mathrm {reg}(W)\).
Step 3. Reduction to the case \(P_0 = 0\) and separation with \({{\tilde{f}}}_H\). At regular points, we may no longer use the property \(P_0 \in \Lambda _{{\mathcal {A}}}\). This prevents us to argue in the same way as for singular points, that it indeed suffices to work with \({{\tilde{f}}}_H\). There is a turnaround to this issue by using the shifts introduced in Definition 4.2:
Remark 9.4
By Corollary 7.2, the shifted Young measure \(\Gamma _{P_0}[{\varvec{\sigma }}]\) is an homogeneous \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure with barycenter zero if and only if \({\varvec{\sigma }}\) is an homogeneous \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free Young measure with barycenter \(P_0\).
This remark implies that
A Young measure \((\sigma _0,\beta {\mathscr {L}}^d,\sigma _0^\infty )\) in the latter set satisfies the crucial property that \({{\,\mathrm{supp}\,}}(\sigma _0)\) (and \({{\,\mathrm{supp}\,}}( \sigma _0^\infty )\)) are contained in \(W_{\mathcal {A}}\) for \({\mathscr {L}}^d\)-a.e. (\(\beta {\mathscr {L}}^d\)-a.e.) \(y \in Q\); this follows from the same argument used to prove the claim that \({\varvec{\theta }} \in {{\,\mathrm{\mathbf{Y}}\,}}(Q;W_{\mathcal {A}})\) in the singular points’ case (here one uses that \(0 \in \Lambda _{\mathcal {A}}\)). On the other hand, Corollary 4.1 implies that \(\Gamma _{P_0}[{\varvec{\nu }}] \subset W_{\mathcal {A}}\) and also that, either \(\alpha = 0\), or \({{\,\mathrm{supp}\,}}(\nu _0^\infty ) \subset W_{\mathcal {A}}\). In particular, we get
![](http://media.springernature.com/lw489/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ504_HTML.png)
Therefore, there is no loss of generality in assuming that \(P_0 = 0\) and \(f_H = {{\tilde{f}}}_H\).
Step 3. The contradiction: \({\varvec{\nu }} \in H\). The argument is essentially the same as the one for singular points, which relies on the upper bound from the relaxation argument. The relaxation argument, however, is nowhere near as involved as the one contained in Theorem A.1. First, we show that \({\mathcal {Q}}_{\mathcal {A}}\tilde{f}_H\) is finite with lower bound \(s_H\). Let \(w \in \mathrm {C}^\infty _\sharp ({\mathbb {T}}^d;W_{\mathcal {A}}) \cap \ker {\mathcal {A}}\). By a well-known homogenization argument (see for instance [27, Proposition 2.8]) the sequence \(w_j(y) :=w(jy)\) generates the homogeneous purely oscillatory Young measure , where
In particular \({\varvec{\theta }} \in {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(0)\), and hence
![](http://media.springernature.com/lw288/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ505_HTML.png)
Taking the infimum over all w, we conclude that \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}_H (0) \ge s_H\), as desired. Now, we are in position to use (99) with \(h = {\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}_H\) to get (recall that \({\mathcal {Q}}_{\mathcal {A}}{{\tilde{f}}}_H\) is globally Lipschitz, see Propositions 4.5 and 4.6):
![](http://media.springernature.com/lw356/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ102_HTML.png)
This poses a contradiction to inequality (100). This proves that \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}_{\mathcal {A}}(0)\), as desired. \(\square \)
9.4 Proof of Theorem 1.1
Necessity. Property (i) is obvious since, by definition, an \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measure is generated by a uniformly bounded sequence of (asymptotically) \({{\,\mathrm{{\mathcal {A}}}\,}}\)-free measures, therefore its barycenter is an \({\mathcal {A}}\)-free measure. Properties (ii)–(iii) have been established in [5]: condition (ii) is contained in Proposition 3.1, and condition (iii) in Lemma 3.2; condition (iii’) is contained in Proposition 3.3.
Sufficiency. The theory discussed in Sect. 4.2.1 implies that at \(({\mathscr {L}}^d + \lambda ^s)\)-almost every \(x_0 \in \Omega \) there exists a regular or a singular tangent measure \({\varvec{\nu }}_0 \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0)\). The idea is to show that each of these tangent measures are in fact locally \({\mathcal {A}}\)-free Young measures and argue by the local characterization from Theorem 1.2. By the dilation properties of tangent Young measures, it suffices to show the following:
Proposition 9.4
Let \({\varvec{\nu }} \in \mathbf {Y}_0(\Omega ;W)\) satisfy properties (i)–(iii) in Theorem 1.1. Then,
![](http://media.springernature.com/lw268/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ506_HTML.png)
for \(({\mathscr {L}}^d + \lambda ^s)\)-almost every \(x \in \Omega \).
Proof of the proposition
As in the statement of Theorem 1.1, let us write \([{\varvec{\nu }}] = \mu \). According to Proposition 4.4 and [21, Theorem 1.1] we may find a full \(\lambda ^s\)-measure set \(S \subset \Omega \) such that, if \(x_0 \in S\), then there exists \({\varvec{\nu }}_0 \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0) \cap {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {sing}(g_\mu (x_0))\) satisfying the assumptions of Proposition 9.2 [here we are using that \({\varvec{\nu }}\) satisfies (i),(iii)]. On the other hand, Proposition 4.3 yields a full \({\mathscr {L}}^d\)-measure set \(\Omega \subset \Omega \) with the property that, if \(x_0 \in \Omega \), then there exists \({\varvec{\nu }}_0 \in {{\,\mathrm{Tan}\,}}({\varvec{\nu }},x_0) \cap {{\,\mathrm{\mathbf{Y}}\,}}^\mathrm {reg}({\mu }^\mathrm {ac}(x_0))\) satisfying the assumptions of Proposition 9.3 [here we are using that \({\varvec{\nu }}\) satisfies (i),(ii)]. The sought assertion then follows from the conclusions of Propositions 9.2 and 9.3. This proves the proposition. \(\square \)
Returning to the proof of Theorem 1.1 we observe that since \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_0(\Omega ;W)\) and by assumption (iii) also \({\mathcal {A}}\mu = 0\) in the sense of distributions on \(\Omega \), then Theorem 1.2 implies that \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega )\). This proves the sufficiency.
The proof of Theorem 1.1 is complete.
9.5 Proof of Theorem 1.5
The necessity is a direct consequence of Theorem 1.1 and (a)–(b) in Sect. 8.3. To prove the sufficiency of (i)–(iii) in Theorem 1.5, notice that the same (a)–(b) and the sufficiency of Theorem 1.1 imply that \({\varvec{\nu }} \in {{\,\mathrm{\mathbf{Y}}\,}}_{\mathcal {A}}(\Omega )\). Now, we make use of Theorem 1.5(i) and the last statement of Corollary 7.2, to deduce that every tangent measure of \({\varvec{\nu }}\) is a tangent \({\mathcal {B}}\)-gradient Young measure. Therefore, the local characterization Theorem 1.4 implies that \({\varvec{\nu }} \in {\mathcal {B}}\!{{\,\mathrm{\mathbf{Y}}\,}}(\Omega )\), as desired. \(\square \)
Notes
During the peer revision process of this work, Kristensen and Raita [40, Thm 1.1] have proposed an interesting alternative proof of the characterization of \({\mathcal {A}}\)-free generalized Young measures (a version of Theorem 1.1), which seems to appeal to different methods to the ones presented here.
The class of operators \({\mathcal {B}}\) satisfying (28) may have more than element.
The fact that \(u_{\mathbb {A}}\) can be expressed as \({\mathcal {F}}^{-1}(m \widehat{{\mathcal {A}}u})\) for some homogeneous multiplier m of degree \((-k)\) goes back to the seminal work of Fonseca and Müller [27] on \({\mathcal {A}}\)-free measures. The idea of exploiting the representation \(m = {\mathbb {A}}^\dagger \) appeared in the work of Gustafson [32] and more recently in the work of Raita [54].
References
Adams, D.R., Hedberg, L.I.: Function Spaces and Potential Theory, Grundlehren der Mathematischen Wissenschaften, Vol. 314. Springer, Berlin, 1996
Alberti, G.: Rank one property for derivatives of functions with bounded variation. Proc. R. Soc. Edinb. Sect. A. 123(2), 239–274, 1993
Alibert, J.J., Bouchitté, G.: Non-uniform integrability and generalized Young measures. J. Convex Anal. 4(1), 129–147, 1997
Ambrosio, L., Dal Maso, G.: On the relaxation in \({\rm BV}(\Omega; {{\mathbf{R}}}^m)\) of quasi-convex integrals. J. Funct. Anal. 109(1), 76–97, 1992
Arroyo-Rabasa, A., De Philippis, G., Rindler, F.: Lower semicontinuity and relaxation of linear-growth integral functionals under PDE constraints. Adv. Calc. Var. 13(3), 219–255, 2020
Arroyo-Rabasa, A.: Relaxation and optimization for linear-growth convex integral functionals under PDE constraints. J. Funct. Anal. 273(7), 2388–2427, 2017
Arroyo-Rabasa, A.: An elementary approach to the dimension of measures satisfying a first-order linear PDE constraint. Proc. Amer. Math. Soc. 148(1), 273–282, 2020
Arroyo-Rabasa, A., De Philippis, G., Hirsch, J., Rindler, F.: Dimensional estimates and rectifiability for measures satisfying linear PDE constraints. Geom. Funct. Anal. 29(3), 639–658, 2019
Arroyo-Rabasa, A., De Philippis, G., Hirsch, J., Rindler, F., Skorobogatova, A.: Higher integrability for measures satisfying a PDE constraint, 2021. arXiv:2106.03077
Baía, M., Chermisi, M., Matias, J., Santos, P.M.: Lower semicontinuity and relaxation of signed functionals with linear growth in the context of \({\mathscr {A}}\)-quasiconvexity. Calc. Var. Partial Differ. Equ. 47(3–4), 465–498, 2013
Baía, M., Matias, J., Santos, P.M.: Characterization of generalized Young measures in the \(\mathscr {A}\)-quasiconvexity context. Indiana Univ. Math. J. 62(2), 487–521, 2013
Baía, M., Krömer, S., Kružík, M.: Generalized \(W^{1,1}\)-Young measures and relaxation of problems with linear growth. SIAM J. Math. Anal. 50(1), 1076–1119, 2018
Ball, J.M., James, R.D.: Fine phase mixtures as minimizers of energy. Arch. Ration. Mech. Anal. 100(1), 13–52, 1987
Ball, J.M., Murat, F.: \(W^{1, p}\)-quasiconvexity and variational problems for multiple integrals. J. Funct. Anal. 58(3), 225–253, 1984
Barroso, A.C., Fonseca, I., Toader, R.: A relaxation theorem in the space of functions of bounded deformation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 29(1), 19–49, 2000
Brezis, H.: Functional Analysis. Sobolev Spaces and Partial Differential Equations. Universitext, Springer, New York, 2011
Chipot, M., Kinderlehrer, D.: Equilibrium configurations of crystals. Arch. Ration. Mech. Anal. 103(3), 237–277, 1988
Conti, S., Garroni, A., Massaccesi, A.: Modeling of dislocations and relaxation of functionals on 1-currents with discrete multiplicity. Calc. Var. Partial Differ. Equ. 54(2), 1847–1874, 2015
Dacorogna, B.: Weak Continuity and Weak Lower Semicontinuity of Nonlinear Functionals. Lecture Notes in Mathematics, vol. 922, pp. iii\(+\)120. Springer, Berlin, New York, 1982
De Philippis, G., Palmieri, L., Rindler, F.: On the two-state problem for general differential operators. part B, Nonlinear Anal. 177(part B), 387–396, 2018
De Philippis, G., Rindler, F.: On the structure of \({{\cal{A}}}\)-free measures and applications. Ann. Math. 184(3), 1017–1039, 2016
De Philippis, G., Rindler, F.: Characterization of generalized Young measures generated by symmetric gradients. Arch. Ration. Mech. Anal. 224(3), 1087–1125, 2017
De Simone, A.: Energy minimizers for large ferromagnetic bodies. Arch. Ration. Mech. Anal. 125(2), 99–143, 1993
DiPerna, R.J., Majda, A.J.: Oscillations and concentrations in weak solutions of the incompressible fluid equations. Commun. Math. Phys. 108(4), 667–689, 1987
Federer, H.: Geometric Measure Theory. Die Grundlehren der Mathematischen Wissenschaften, Band 153, pp. xiv\(+\)676, Springer-Verlag New York Inc., New York, 1969
Fonseca, I., Kružík, M.: Oscillations and concentrations generated by \(\cal{A}\)-free mappings and weak lower semicontinuity of integral functionals. ESAIM Control Optim. Calc. Var. 16(2), 472–502, 2010
Fonseca, I., Müller, S.: \({\cal{A}}\)-quasiconvexity, lower semicontinuity, and Young measures. SIAM J. Math. Anal. 30(6), 1355–1390, 1999
Fonseca, I., Leoni, G., Müller, S.: \({\mathscr {A}}\)-quasiconvexity: weak-star convergence and the gap. Ann. Inst. H. Poincaré Anal. Non Linéaire. 21(2), 209–236, 2004
Fonseca, I., Müller, S.: Relaxation of quasiconvex functionals in \({\rm BV}(\Omega,{\mathbf{R}}^p)\) for integrands \(f(x, u,\nabla u)\). Arch. Ration. Mech. Anal. 123(1), 1–49, 1993
Garroni, A., Nesi, V.: Rigidity and lack of rigidity for solenoidal matrix fields. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 460(2046), 1789–1806, 2004
Guerra, A., Raiţă, B.: On the necessity of the constant rank condition for \(L^p\) estimates. C. R. Math. Acad. Sci. Paris 358(9–10), 1091–1095, 2020
Gustafson, D.: A generalized Poincaré inequality for a class of constant coefficient differential operators. Proc. Am. Math. Soc. 139(8), 2721–2728, 2011
Hörmander, L.: The analysis of linear partial differential operators. I, Classics in Mathematics. Distribution theory and Fourier analysis; Reprint of the second edition [Springer, Berlin; MR1065993 (91m:35001a)], p. x\(+\)440. Springer, Berlin, 2003
Hudson, T.: An existence result for discrete dislocation dynamics in three dimensions. arXiv preprint arXiv:1806.00304, 2018
James, R. D., Kinderlehrer, D.: Frustration and microstructure: an example in magnetostriction. Progress in partial differential equations: calculus of variations, applications (Pont-à-Mousson, 1991), Pitman Res. Notes Math. Ser. vol. 267, pp 59–81, Longman Sci. Tech., Harlow, 1992
Kinderlehrer, D., Pedregal, P.: Characterizations of Young measures generated by gradients. Arch. Ration. Mech. Anal. 115(4), 329–365, 1991
Kinderlehrer, D., Pedregal, P.: Gradient Young measures generated by sequences in Sobolev spaces. J. Geom. Anal. 4(1), 59–90, 1994
Kirchheim, B., Kristensen, J.: On rank one convex functions that are homogeneous of degree one. Arch. Ration. Mech. Anal. 221(1), 527–558, 2016
Kristensen, J.: Lower semicontinuity in spaces of weakly differentiable functions. Math. Ann. 313(4), 653–710, 1999
Kristensen J., Raiţă, B.: Oscillation and concentration in sequences of PDE constrained measures. arXiv preprint arXiv:1912.09190, 2019
Kristensen, J., Rindler, F.: Characterization of generalized gradient Young measures generated by sequences in \(W^{1,1}\) and BV. Arch. Ration. Mech. Anal. 197(2), 539–598, 2010
Kristensen, J., Rindler, F.: Relaxation of signed integral functionals in BV. Calc. Var. Partial Differ. Equ. 37(1–2), 29–62, 2010
Mattila, P.: Geometry of Sets and Measures in Euclidean Spaces. Cambridge Studies in Advanced Mathematics, Vol. 44. Cambridge University Press, Cambridge, 1995
Morrey Jr., C.B.: Quasi-convexity and the lower semicontinuity of multiple integrals. Pac. J. Math. 2, 25–53, 1952
Morrey, C.B., Jr.: Multiple Integrals in the Calculus of Variations. Die Grundlehren der mathematischen Wissenschaften, Band 130, Springer, New York, 1966
Müller, S.: Homogenization of nonconvex integral functionals and cellular elastic materials. Arch. Ration. Mech. Anal. 99(3), 189–212, 1987
Müller, S.: Rank-one convexity implies quasiconvexity on diagonal matrices. Int. Math. Res. Not. 20, 1087–1095, 1999
Müller, S.: Variational models for microstructure and phase transitions. Calculus of variations and geometric evolution problems (Cetraro, 1996). Lecture Notes in Mathematics, Vol. 1713, pp. 85–210. Springer, Berlin, 1999
Murat, F.: Compacité par compensation. Ann. Sc. Norm. Sup. Pisa Cl. Sci. 5(3), 489–507, 1978
Murat, F.: Compacité par compensation: condition nécessaire et suffisante de continuité faible sous une hypothèse de rang constant. Ann. Sc. Norm. Sup. Pisa Cl. Sci. 8(1), 69–102, 1981
Murat, F., Tartar, L.: Optimality conditions and homogenization. Nonlinear variational problems (Isola d’Elba, 1983). Res. Notes in Math. Vol. 127, pp. 1–8. Pitman, Boston, MA, 1985
Preiss, D.: Geometry of measures in \({{ R}}^n\): distribution, rectifiability, and densities. Ann. Math. 125(3), 537–643, 1987
Raiţă, B.: Constant rank operators: lower semi-continuity and \(L^1\)-estimates. Ph.D. Thesis, University of Oxford, 2018
Raiţă, B.: Potentials for \({\cal{A}}\)-quasiconvexity. Calc. Var. Partial Differ. Equ. 58(3), Paper No. 105, 16, 2019
Rindler, F.: Lower semicontinuity for integral functionals in the space of functions of bounded deformation via rigidity and Young measures. Arch. Ration. Mech. Anal. 202(1), 63–113, 2011
Rindler, F.: Lower semicontinuity and Young measures in BV without Alberti’s rank-one theorem. Adv. Calc. Var. 5(2), 127–159, 2012
Rindler, F.: A local proof for the characterization of Young measures generated by sequences in BV. J. Funct. Anal. 266(11), 6335–6371, 2014
Schulenberger, J.R., Wilcox, C.H.: Coerciveness inequalities for nonelliptic systems of partial differential equations. Ann. Mat. Pura Appl. 4(88), 229–305, 1971
Schulenberger, J.R., Wilcox, C.H.: A coerciveness inequality for a class of nonelliptic operators of constant deficit. Ann. Mat. Pura Appl. 4(92), 77–84, 1972
Stein, E.M.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III, Princeton University Press, Princeton, NJ, With the assistance of Timothy S. Murphy, 1993
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces, Princeton Mathematical Series, No. 32. Princeton University Press, Princeton, 1971
Šverák, V.: On Regularity for the Monge-Ampere Equation Without Convexity Assumptions. Heriot-Watt University, Preprint, 1991
Tartar, L.: Compensated compactness and applications to partial differential equations. Nonlinear analysis and mechanics: Heriot-Watt Symposium, Vol. IV, Res. Notes in Math. Vol. 39, pp. 136–212. Pitman, Boston, Mass.-London, 1979
Tartar, L.: The compensated compactness method applied to systems of conservation laws. Syst. Nonlinear Partial Differ. 111, 263–285, 1983
Tartar, L.: Some remarks on separately convex functions. Microstructure and phase transition. IMA Vol. Math. Appl., Vol. 54, pp. 91–204. Springer, New York, 1993
Triebel, H.: Theory of function spaces, Modern Birkhäuser Classics, Birkhäuser/Springer Basel AG. Basel 285, 2010
Young, L.C.: Generalized curves and the existence of an attained absolute minimum in the calculus of variations. C. R. Soc. Sci. Varsovie, Cl. III 30, 212–234, 1937
Young, L.C.: Generalized surfaces in the calculus of variations. Ann. Math. 43, 84–103, 1942
Young, L.C.: Generalized surfaces in the calculus of variations. II. Ann. Math. 43, 530–544, 1942. (English)
Acknowledgements
I would like to thank Bogdan Raita for fruitful conversations regarding the contents of Sect. 5. Special thanks go to Anna Skorobogatova, who kindly helped me to proofread the paper. Also I want to thank the reviewers for suggesting me to address relevant questions that were not contained in the original version of this paper. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Grant agreement No. 757254 (SINGULARITY).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by I. Fonseca.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. An auxiliary relaxation result
Theorem A.1
Let \(f : \Omega \times W\rightarrow [0,\infty )\) be a continuous integrand that is Lipschitz in its second argument, uniformly over the x-variable. Assume also that f has linear growth at infinity and is such that there exists a modulus of continuity \(\omega \) satisfying
Further suppose that the strong recession function \(f^\infty \) exists. Then, for the functional
the weak-\(*\) (sequential) lower semicontinuous envelope defined by
where \(\mu \in {\mathcal {M}}(\overline{\Omega };W)\) is an \({\mathcal {A}}\)-free measure with and \(1< q < \frac{d}{d-1}\), is given by
Remark A.1
(on the assumptions of Theorem A.1) The assumptions on Theorem A.1 can be relaxed to the following set of assumptions:
-
(a)
\(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega \times W)\),
-
(b)
is globally Lipschitz, uniformly in \(x \in \Omega \), and satisfies
$$\begin{aligned} |{\mathcal {Q}}_{{\mathcal {A}}}f(x,z) - {\mathcal {Q}}_{{\mathcal {A}}}f(y,z)| \leqq \omega (|x -y|)(1 + |z|) \quad \text {for all }x,y \in \Omega , \; z \in W. \end{aligned}$$ -
(c)
the relaxation \(\overline{{\mathcal {G}}}\) is restricted to weak-\(*\) limit measures satisfying \(|\mu |(\partial \Omega ) = 0\).
Let us briefly comment on how this is done. The proof of A.1 contained in [5] mainly consists in proving the upper-bound inequality
-
1.
First, one proves the relaxation for \(\mu = u {\mathscr {L}}^d\) for some \(u \in \mathrm {C}(\Omega ) \cap \mathrm {L}^1(\Omega )\), and for the translation
, where \(\varepsilon > 0\) is a small real number. One approximates u by constants \(a_Q = u(x_Q)\) on small cubes \(Q \subset \Omega \) centered at \(x_Q\). The original argument crucially uses the z-Lipschitz continuity of f to approximate
$$\begin{aligned} \int _\Omega f_\varepsilon (x,u) \approx \sum _{Q} \int _Q f_\varepsilon (x_Q,a_Q). \end{aligned}$$However, the argument also works for \(f \in {{\,\mathrm{\mathbf{E}}\,}}(\Omega ;W)\) using that f is uniformly continuous on compact subsets of \(\Omega \times W\).
-
2.
At each cube Q, a standard homogenization argument is performed with the cell-problem approximation of the definition of \({\mathcal {A}}\)-quasiconvexity:
$$\begin{aligned} \int _Q f_\varepsilon (x_Q,a_Q + w_{j,Q}) \rightarrow \int _Q {\mathcal {Q}}_{\mathcal {A}}f_\varepsilon (x_Q,a_Q), \end{aligned}$$where \(\{w_{j,Q}\} \subset \mathrm {C}^\infty _c(Q;W)\cap \ker {\mathcal {A}}\) are mean-value zero functions on Q. In [5], the fact that \(f \ge 0\) is crucial to show that \(\{w_{j,Q}\}\) is \(\mathrm {L}^1\)-uniformly bounded, therefore also weak-\(*\) pre-compact However, (b) is enough to show this (cf. Proposition 4.7).
-
3.
Then, one glues the sequences \(w_{j,Q}\) into a global sequence \(\{w_j\} \subset \mathrm {L}^1(\Omega )\) satisfying
$$\begin{aligned} w_j{\mathscr {L}}^d \overset{*}{\rightharpoonup }u {\mathscr {L}}^d \; \text {in }{\mathcal {M}}(\Omega ;W) \quad \text {and} \quad {\mathcal {A}}w_j \rightarrow 0 \; \text {in }\mathrm {W}^{-k,q}(\Omega ), \end{aligned}$$so that
$$\begin{aligned} \overline{{\mathcal {G}}}[u{\mathscr {L}}^d] \leqq \lim _{j \rightarrow \infty } \int _\Omega f_\varepsilon (x,u + w_j) \approx \sum _Q \int _Q {\mathcal {Q}}_{\mathcal {A}}f_\varepsilon (x_Q,a_Q). \end{aligned}$$ -
4.
The last step consists of showing that one can glue back together the piece-wise constant relaxed energies:
$$\begin{aligned} \sum _Q \int _Q {\mathcal {Q}}_{\mathcal {A}}f_\varepsilon (x_Q,a_Q) \approx \int _\Omega {\mathcal {Q}}_{\mathcal {A}}f_\varepsilon (x,u). \end{aligned}$$The cited proof relies on the modulus of continuity (b) —which is proven for \(f^\varepsilon \) when \(f \ge 0\)— and the fact that, since f is Lipschitz, so it is \({\mathcal {Q}}_{\mathcal {A}}f\) (and their \(\varepsilon \)-translations as well). With our assumptions, the argument follows by using property (b) instead.
-
5.
The previous steps proves that
$$\begin{aligned} \overline{{\mathcal {G}}}[u{\mathscr {L}}^d] \leqq \lim _{j \rightarrow \infty } \int _\Omega f(x,u + w_j) \approx \int _\Omega {\mathcal {Q}}_{\mathcal {A}}f_\varepsilon (x,u). \end{aligned}$$The upper bound inequality then follows by letting \(\varepsilon \rightarrow 0^+\).
-
6.
The upper bound inequality for general \(\mu \) follows from Theorem 1.3, Remark 1.3 and Reshetnyak’s continuity theorem [cf. (10)].
-
7.
The lower bound inequality is addressed in [5, Theorem 1.2(i)] under the assumption that \(f \ge 0\). There, the positivity of f is only used to prevent concentration of negative mass on the boundary. Assumption (c) allows us to dispense with this assumption.
Appendix B. Technical lemmas for Radon measures
This section is devoted to address some technical results which are essential to the proof of Theorem 9.1 (Fig. 3).
Generic shape of the approximation set D from Lemma B.1 (\(d = 3\)); composed by the first open cube approximation \(S_1 \subset Q\), the second-step 2-dimensional relatively open caps \(S_2 \subset \partial S_1\), and the last-step 1-dimensional relatively open caps \(S_3 \subset \partial S_2\)
Lemma B.1
Let \(\lambda \) be a probability measure on the unit open cube \(Q \subset {\mathbb {R}}^d\) and assume that \(\lambda \) does not charge points in Q, that is, \(\lambda (\{x\}) = 0\) for all \(x \in Q\). Let \(\theta \in (0,1)\), then there exists a convex Borel set \(D \subset Q\) satisfying
and
Proof
In the case when \(d = 1\) we define the monotone non-decreasing map
which in particular is a function of bounded variation. Notice that, in this case, the one dimensional \(\mathrm {BV}\)-theory and the assumption on \(\lambda \) give
This proves \(\varphi \) is in fact continuous in the interval (0, 1). Therefore, since \(\varphi (0) = 0\) (again by assumption) and \(\varphi (1) = 1\), then the Mean Value Theorem ensures there exists \(\overline{r} \in (0,1)\) with \(\lambda (Q_r) = \varphi (r) = \theta \).
The case \(d > 1\) requires a co-area-type argument. The first step is to define the map
is monotone non-decreasing and satisfies \(\lim _{r \downarrow 0} \varphi (r) = 0\) and \(\lim _{r \uparrow 1} \varphi (r) = 1\). In particular,
Set \(r :=\sup \left\{ \, s \in (0,1) \ \mathbf{: }\ \varphi (s) \leqq \theta \,\right\} \). Clearly, if \(\varphi \) is lower semicontinuous at r, then we can set \(C_1 = Q_r\) which automatically satisfies the conclusions of the Lemma (in this case is not necessary to use the assumption that \(\lambda \) does not charge points). However, in general one cannot expect this as for instance there might be mass sitting on \(\lambda (\partial Q_r)\). We may then assume that \(\theta _1 :=\lambda (Q_r) = \varphi (r^-) \leqq \theta \) and
This will be our first approximation. The second step to carry the same approximation now on \(\{q_r^1,\dots ,q_r^{2d}\}\), the (2d) open \((d-1)\)-dimensional faces of \(\partial Q_r\), which are axis-directional translated \((d-1)\)-dimensional cubes (centered at the origin) in \({\mathbb {R}}^{d-1}\); the number (2d) of faces will not be relevant for our construction. Define the maps
Repeating the same procedure as in the first step on each of the faces simultaneously, we update the error of our estimate to
where \(r_1 :=\sup \{\, s \in (0,r) \ \mathbf{: }\ \sum _{i = 1}^{2d} \varphi _{i,2}(s) \leqq \theta - \varphi (r^-) \,\}\). Notice that
where
Moreover, by construction (since each one of the added faces are concentric to each face of \(Q_r\)), \(C_2\) is a (semi-open/semi-closed) convex set satisfying \(Q_r \subset C_2 \subset \overline{Q_r}\). There are two cases, either \(\theta = \theta _2\) and then \(\lambda (C_1) = \theta \), or \(\theta - \theta _2 > 0\) and we must keep adding bits of \(\partial Q_r\), which may require to perform a similar argument on the \((d-2)\)-dimensional concentric faces of \(\partial Q_r\) and the \((d-2)\)-dimensional faces of each \(q_s^i\), \(1 \leqq i \leqq 2d\). In general, the \((j+1)\)th step is to iterate this argument (when \(\theta - \theta _j > 0\)) on all the possible \((d-j)\)-dimensional faces of \(\partial Q_r\) and all the other \((d-j)\)-dimensional faces resulting of adding the previous \((d-j +1)\)-dimensional concentric cubical caps. The key part of the construction is that, at the end of the \((j+1)\)th step, one obtains a convex set \(C_{j} \subset C_{j+1}\) satisfying \(Q_r \subset C_{j+1} \subset \overline{Q_r}\) and
We now argue why there exists \(1 \leqq j \leqq d\) such that \(\theta _j = \theta \). If \(d =2\), then by the same argument that in the one-dimensional case we get that the maps \(\varphi _{i,2}\) are continuous, and hence it must be that \(\theta _2\) reaches \(\theta \). If \(d = 3\), then the maps \(\varphi _{i,3}\) of the third step are continuous and hence at most \(\theta _3\) reaches \(\theta \). In general, the description of this procedure is tedious, but it is inductively natural and always reaches and endpoint (at most after d-steps) where we find a convex set C containing the origin and satisfying \(Q_r \subset C \subset \overline{Q_r}\) and
This finishes the proof. \(\quad \square \)
Corollary B.1
Let \(\lambda \) be a probability measure on the unit open cube \(Q \subset {\mathbb {R}}^d\) and assume that \(\lambda \) does not charge points in Q. Let \(\theta \in (0,1)\) and let \(\varepsilon > 0\). Then, there exists an open Lipschitz set \(D \subset Q\) satisfying
Proof
From the previous lemma we may find a set D satisfying \(\lambda (D) = \theta \). Now, from the inner and outer regularity of Radon measures we may find a compact set K and an open set O such that \(K \subset D \subset O\) satisfying
Moreover, since \({{\,\mathrm{dist}\,}}(K,O^\complement ) > 0\), there exists a Lipschitz open set \(K \subset C \subset O\) with \(\rho :={{\,\mathrm{dist}\,}}(C,K \cup O^\complement ) > 0\). On the other hand, since C is a Lipschitz compact set, the family of sets
is a a family of open Lipschitz sets satisfying \(K \subset T_\delta \subset O\) for some \(\delta \in [0,\delta _1]\), where \(0 < \delta _1 \ll \rho \). Furthermore, if \(0< s< t <\delta _1\), then \(\partial T_s \cap \partial T_t = \varnothing \). In particular, since \(\lambda \) is a Radon measure, there exists a full \({\mathscr {L}}^1\)-measure subset of \(I \subset [0,\delta _1]\) such that
Let us choose \(\delta _0 \in I\) and recall from our construction that \(K \subset T_{\delta _0} \subset O\). Hence,
This finishes the proof. \(\quad \square \)
Lemma B.2
(shrinking sequence) Let \(\lambda \) be a positive Radon measure on \(\Omega \) and assume there exists a tangent measure \(\tau \in {{\,\mathrm{Tan}\,}}(\lambda ,x)\) which does not charge points on \({\mathbb {R}}^d\). Then, for every \(\theta \in (0,1)\), there exists an infinitesimal sequence \(r_m \downarrow 0\) and a sequence of open Lipschitz sets \(R_m \subset Q_{r_m}(x)\) satisfying
and
Proof
Since \(\mathrm {T}_{0,r} [\tau ]\) belongs to \({{\,\mathrm{Tan}\,}}(\lambda ,x)\) for all \(r > 0\), we may assume without any loss of generality that \(\tau \) is a good blow-up as in (14). That is, there exists an infinitesimal sequence \(r_j \downarrow 0\) such that
By assumption and Corollary B.1 we may find a sequence of Lipschitz open sets \((D_m)_{m \in {\mathbb {N}}}\) satisfying \(\subset D_m \subset Q\) for all \(m \in {\mathbb {N}}\). Moreover,
Hence, for fixed m, we deduce from the strict-convergence of the blow-up sequence that
Moreover, up to a small re-scaling at each m we may assume without loss of generality that \(\lambda (x + r_j\partial D_m) = 0\). A standard diagonalization argument yields a subsequence \(r_m :=R_m \downarrow 0\) such that
By construction, the sequence of sets \((R_m)_{m \in {\mathbb {N}}}\) has the desired properties. \(\quad \square \)
Corollary B.2
Let \(\lambda \) be a positive Radon measure on \(\Omega \) and assume there exists a tangent measure \(\tau \in {{\,\mathrm{Tan}\,}}(\lambda ,x)\) which does not charge points. Let f be a \(\lambda \)-measurable map and assume furthermore that x is a \(\lambda \)-Lebesgue point of f. Then, for every \(\theta \in (0,1)\), there exist a sequence \(r_m \downarrow 0\) and a sequence of Lipschitz open sets \(D_m \subset Q_{r_m}\) satisfying
and
![](http://media.springernature.com/lw262/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ507_HTML.png)
Proof
The existence of the sequence of open Lipschitz sets \((D_m)\) satisfying the first two properties follows directly from the previous corollary. The third property follows from the estimate
![](http://media.springernature.com/lw507/springer-static/image/art%3A10.1007%2Fs00205-021-01683-y/MediaObjects/205_2021_1683_Equ508_HTML.png)
and the fact that x is a \(\lambda \)-Lebesgue point of f. \(\quad \square \)
Lemma B.3
Let \(\lambda \) be a positive Radon measure on \(\Omega \) and assume there exists \(x \in \Omega \) such that \(\lambda (\{x\}) > 0\). Then \({{\,\mathrm{Tan}\,}}(\lambda ,x) = \left\{ \, c\delta _0 \ \mathbf{: }\ c>0 \,\right\} \).
Proof
Let \(\tau \in {{\,\mathrm{Tan}\,}}(\lambda ,x)\) and set \(0 < \alpha = \lambda (\{x\})\). Since \({{\,\mathrm{Tan}\,}}(\lambda ,x)\) is a d-cone, it is enough to show that \(\tau = \delta _0\) when \(\tau \) is a probability measure on Q. Moreover, we may also assume the blow-up sequence converging to \(\tau \) has the form
It follows from the strict-convergence \(\gamma \rightarrow \tau \) on Q that
Since \(\tau \) is a probability measure on Q, this shows that as desired. \(\quad \square \)
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
Arroyo-Rabasa, A. Characterization of Generalized Young Measures Generated by \({\mathcal {A}}\)-free Measures. Arch Rational Mech Anal 242, 235–325 (2021). https://doi.org/10.1007/s00205-021-01683-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-021-01683-y