Abstract
We prove an integral representation result for a class of variational functionals appearing in the framework of hierarchical systems of structured deformations via a global method for relaxation. Some applications to specific relaxation problems are also provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Our purpose in this paper is to establish a global method for relaxation applicable in the context of multi-levelled structured deformations. The aim is to provide an integral representation for a class of functionals, defined in the set of \((L+1)\)-level (first-order) structured deformations (see Definition 2.2), via the study of a related local Dirichlet-type problem, and to identify the corresponding relaxed energy densities, under quite general assumptions (we refer to [7, 8] for the introduction of the method in the BV and \(SBV_p\) contexts).
First-order structured deformations were introduced by Del Piero and Owen [12] in order to provide a mathematical framework that captures the effects at the macroscopic level of smooth deformations and of non-smooth deformations (disarrangements) at one sub-macroscopic level. In the classical theory of mechanics, the deformation of the body is characterised exclusively by the macroscopic deformation field g and its gradient \(\nabla g\). In the framework of structured deformations, an additional geometrical field G is introduced with the intent to capture the contribution at the macroscopic scale of smooth sub-macroscopic changes, while the difference \(\nabla g-G\) captures the contribution at the macroscopic scale of non-smooth sub-macroscopic changes, such as slips and separations (referred to as disarrangements [13]). The field G is called the deformation without disarrangements, and, heuristically, the disarrangement tensor \(M{:}{=}\nabla g-G\) is an indication of how “non-classical” a structured deformation is. This broad theory is rich enough to address mechanical phenomena such as elasticity, plasticity and the behaviour of crystals with defects.
The variational formulation for first-order structured deformations in the SBV setting was first addressed by Choksi and Fonseca [11] where a (first-order) structured deformation is defined to be a pair \((g,G)\in SBV(\Omega ;\mathbb {R}^{d})\times L^p(\Omega ;\mathbb {R}^{d\times N}), \; p \geqslant 1.\) Departing from a functional which associates to any deformation u of the body an energy featuring a bulk contribution, which measures the deformation (gradient) throughout the whole body, and an interfacial contribution, accounting for the energy needed to fracture the body, an integral representation for the “most economical way” to approach a given structured deformation was derived.
The theory of first-order structured deformations was broadened by Owen and Paroni [22] to second-order structured deformations, which also account for other geometrical changes, such as curvature, at one sub-macroscopic level. The variational formulation in the \(SBV^2\) setting for second-order structured deformations was carried out by Barroso, Matias, Morandotti and Owen [3]. This last formulation allows for jumps on both the approximating fields, as well as on their gradients. In [19], and the references therein, the interested reader can find a comprehensive survey about the theory of structured deformations, as well as applications.
In the recent contribution [15], Deseri and Owen took a further step, extending the theory of [12] and the field theory in [14], to hierarchical systems of structured deformations in order to include the effects of disarrangements at more than one sub-macroscopic level. Indeed, in the context of dynamics and large isothermal deformations, the field theory in [14] is a first step in a programme to employ structured deformations of continua in order to study the evolution of bodies that undergo smooth deformations at a macroscopic level, but can also dissipate energy at a sub-macroscopic level. However, many natural and man-made materials, for example, muscles, cartilage, bones, plants and some biomedical materials, exhibit different levels of disarrangements. Moreover, toughening mechanisms, characterized by distributions of sub-macroscopic separations at the various sub-macroscopic levels, do closely follow the internal arrangements of such materials. For these reasons, Deseri and Owen extended the work in [14], by proposing the generalized field theory in [15] which sharpens the description of the physical nature of dissipative mechanisms that can arise, including the effects of different levels of microstructure.
The main aim of our work is to provide a mathematical framework to address more general problems in the context of the richer theory in [15]. In particular, this work provides a tool allowing for the extension, to different sub-macroscopic levels, of the applications of the theory of structured deformations collected in [19].
In the setting of hierarchical systems of structured deformations, a first-order structured deformation (g, G) corresponds to a two-level hierarchical system (the macroscopic level, g, plus one microscopic level, G), while, for \(L>1\), an \(L+1\)-level hierarchical system consists of \((g, G_1, \ldots , G_{L})\), where each \(G_i, i = 1, \ldots L\), provides the effects at the macro-level of the corresponding sub-macroscopic level i.
A first approach to the mathematical formulation of hierarchical systems of structured deformations was considered in [4], where the authors provide an approximation theorem for an \((L + 1)\)-level structured deformation \((g,G_1, \ldots G_L)\) and propose the assignment of an energy to this multi-levelled structured deformation by means of a well-posed recursive relaxation process. This consists of iterated applications of the integral representation result for first-order structured deformations in [11], considering at each step \(k+1\) new energy densities given by [11, Theorems 2.16 and 2.17] assuming as parameters the matrices in the position of the fields \(G_i, i=1,\dots , k\), see [4, Theorem 3.4].
The global method for relaxation, introduced by Bouchitté, Fonseca and Mascarenhas [7] in the BV setting, and later addressed in the \(SBV_p\) setting by Bouchitté, Fonseca, Leoni and Mascarenhas [8], provides a general method for the identification of the integral representation of a class of functionals defined on \(BV(\Omega ; \mathbb {R}^d)\times {\mathcal O}(\Omega )\), where \({{\mathcal {O}}}(\Omega )\) represents the family of open sets contained in \(\Omega \). Since its inception, this global method for relaxation has known numerous applications and generalizations, in particular, very recently it was used in the context of variable exponent spaces, see [23], spaces of bounded deformations, see [10] and [6], and second-order structured deformations in the space \(BH(\Omega ; \mathbb {R}^d)\times {{\mathcal {O}}}(\Omega )\) by Fonseca, Hagerty and Paroni [17]. Note that in the BH case, only jumps on gradients are allowed.
In this work we obtain a global method for relaxation appropriate for the study of functionals defined on the space of \(L +1\)-levelled hierarchical systems of first-order structured deformations of any order \(L \geqslant 1\). Our method is general and covers, with the same proof, any choice of \(L \in {\mathbb {N}}\), with no need of iterating procedures as a standard relaxation approach would demand (see [5] and the previous iterative method proposed in [4]). It is also worthwhile to stress that, although the functional spaces used to model structured deformations are BV and \(L^p\), due to the nature of structured deformations (cf. Definition 2.4), neither the global method for relaxation in [7], nor the one in [8], can be simply extended in a naive way to consider product topologies. In particular, the considered convergences are not the ones used in the classical \(SBV_p\) setting, hence Ambrosio’s compactness theorem (see [2, Theorems 4.7 and 4.8]) cannot be applied, due to the lack of a uniform control on the length of the singular set of the approximant bounded energy sequences (cf. the coercivity condition (5)). This is, in fact, the reason why in the structured deformation setting there is a distinction between the part of the deformation arising as the limit of the entire approximants and the part emerging as the limit of only their smooth parts (see the introductory comments in [11] for further details).
We also provide several applications, with the aim of showing that our main integral representation theorem, Theorem 3.2, already covers, and improves, in a unified way, several results available in the literature in the first-order structured deformation context.
As a first application of our general theorem, we are able to extend the integral representation for first-order structured deformations proved in [11, Theorems 2.16 and 2.17], and later generalized in [20, Theorem 5.1] to allow for an explicit dependence on the spatial variable, to the case of Carathéodory bulk energy densities. This latter setting is more realistic, for instance, it allows for the modelling of materials with a very different behaviour from one point to another, as multigrain-type materials, or other types of mixtures, which also appear in the optimal design context (cf. for instance [21]). On the other hand, the assumptions on the surface energy density can be weakened, compared with [11], although, in the inhomogeneous setting, the continuity with respect to the spatial variable is still needed due to the fact that, in this case, it is meaningless to consider Lebesgue measurability for elliptic integrands defined on \(N-1\) dimensional sets. See Theorem 4.1 for the precise statement. In particular, under the same set of hypotheses considered therein, we recover the formulae in [11] (see also [3] and [20] for the inhomogeneous setting). We further show that, in the case \(p>1\), the cell formulae for the interfacial relaxed energy density in [11] and [20], still hold when the bulk energy densities are Carathéodory (see Theorems 4.1 and 4.2).
We stress that a standard relaxation approach, mimicking the arguments in [11], could also be achieved in the measurable bulk energy setting, but this would require the proof of many auxiliary steps, while a global method approach is more direct.
We point out that each step of the recursive relaxation procedure for multi-levelled hierarchies of structured deformations, presented in [4], whose densities, at each stage, satisfy hypotheses (1)–(8), also fits into the scope of Theorem 3.2. We refer to Sect. 4.4 for more details and also for a different energetic formulation relying on Theorem 3.2 in its full generality.
Another natural application of our abstract result is to homogenization problems, such as the one considered in [1]. In that paper, only the case \(p>1\) was treated under uniform continuity hypotheses on the densities, while here we can extend the result to include also \(p=1\), Carathéodory bulk densities and weaker assumptions on the elliptic integrands. In this setting, we depart from an energy of the form
where \(\varepsilon \rightarrow 0^+\). Besides a periodicity condition, the densities W and \(\psi \) satisfy other hypotheses (cf. Theorem 4.3) which ensure that the relaxed functional (4.13) can be placed in the setting of our main theorem.
As a further application, we recover the integral representation for one of the relaxed energies in [3]. In this paper, an integral representation for the relaxation of an energy arising in the context of second-order structured deformations is obtained. A simple argument allows for the decomposition of the relaxed functional I as the sum of two terms, \(I = I_1 + I_2\). Although \(I_1\) does not fit the scope of our global method result, due to the topology which is considered in its definition, we will show that Theorem 3.2 applies to \(I_2\) (in order to avoid conflicting notation to that introduced in (4.2), in Sect. 4\(I_2\) will be denoted by J). As in some of the previously mentioned applications, our global method for relaxation applies under milder assumptions than those considered in [3, Theorem 5.7], recovering for our densities the same expressions that were deduced in [3] when those hypotheses are considered.
A classical approach to a relaxation result for hierarchical systems of first-order structured deformations with an arbitrary number of levels L, and the comparison both with the method implied in [4] and with this abstract formulation, will be the subject of a forthcoming work [5]. We emphasize that the method in [5], although it is expected to provide more explicit formulae, requires a direct proof for each choice of the level \(L \in {\mathbb {N}}\) in a iterated way, while the global method does not require any iterative process as outlined in Sect. 4.4.
The paper is organized as follows: in Sect. 2 we set the notation which will be used in the sequel and recall the notion of a multi-levelled structured deformation, as well as the approximation theorem for these deformations. In Sect. 3 we state and prove our main theorem (see Theorem 3.2), whereas Sect. 4 is devoted to the aforementioned applications of our abstract result.
2 Preliminaries
2.1 Notation
We will use the following notations
-
\({\mathbb {N}}\) denotes the set of natural numbers without the zero element;
-
\(\Omega \subset {\mathbb {R}}^{N}\) is a bounded, connected open set with Lipschitz boundary;
-
\({\mathbb {S}}^{N-1}\) denotes the unit sphere in \({\mathbb {R}}^N\);
-
\(Q{:}{=}(-\tfrac{1}{2},\tfrac{1}{2})^N\) denotes the open unit cube of \({\mathbb {R}}^{N}\) centred at the origin; for any \(\nu \in {\mathbb {S}}^{N-1}\), \(Q_\nu \) denotes any open unit cube in \({\mathbb {R}}^{N}\) with two faces orthogonal to \(\nu \);
-
for any \(x\in {\mathbb {R}}^{N}\) and \(\delta >0\), \(Q(x,\delta ){:}{=}x+\delta Q\) denotes the open cube in \({\mathbb {R}}^{N}\) centred at x with side length \(\delta \); likewise \(Q_\nu (x,\delta ){:}{=}x+\delta Q_\nu \);
-
\({{\mathcal {O}}}(\Omega )\) is the family of all open subsets of \(\Omega \), whereas \({{\mathcal {O}}}_\infty (\Omega )\) is the family of all open subsets of \(\Omega \) with Lipschitz boundary;
-
\({\mathcal {L}}^{N}\) and \({\mathcal {H}}^{N-1}\) denote the N-dimensional Lebesgue measure and the \(\left( N-1\right) \)-dimensional Hausdorff measure in \({\mathbb {R}}^N\), respectively; the symbol \(\mathrm dx\) will also be used to denote integration with respect to \({\mathcal {L}}^{N}\);
-
\({\mathcal {M}}(\Omega ;{\mathbb {R}}^{d\times N})\) is the set of finite matrix-valued Radon measures on \(\Omega \); \({\mathcal {M}} ^+(\Omega )\) is the set of non-negative finite Radon measures on \(\Omega \); given \(\mu \in {\mathcal {M}}(\Omega ;{\mathbb {R}}^{d\times N})\), the measure \(|\mu |\in {\mathcal {M}}^+(\Omega )\) denotes the total variation of \(\mu \);
-
\(SBV(\Omega ;{\mathbb {R}}^d)\) is the set of vector-valued special functions of bounded variation defined on \(\Omega \). Given \(u\in SBV(\Omega ;{\mathbb {R}}^d)\), its distributional gradient Du admits the decomposition , where \(S_u\) is the jump set of u, [u] denotes the jump of u on \(S_u\), and \(\nu _u\) is the unit normal vector to \(S_u\); finally, \(\otimes \) denotes the dyadic product;
-
\(L^p(\Omega ;{\mathbb {R}}^{d\times N})\) is the set of matrix-valued p-integrable functions;
-
for \(p\geqslant 1\), \(SD^p(\Omega ){:}{=}SBV(\Omega ;{\mathbb {R}}^d)\times L^p(\Omega ;{\mathbb {R}}^{d\times N})\) is the space of structured deformations (g, G) (notice that \(SD^1(\Omega )\) is the space \(SD(\Omega )\) introduced in [11]); the norm in \(SD(\Omega )\) is defined by \(\left\Vert (g,G)\right\Vert _{SD(\Omega )}{:}{=}\left\Vert g\right\Vert _{BV(\Omega ;\mathbb {R}^{d})}+\left\Vert G\right\Vert _{L^1(\Omega ;\mathbb {R}^{d\times N})}\);
-
C represents a generic positive constant that may change from line to line.
A detailed exposition on BV functions is presented in [2].
The following result, whose proof may be found in [18], will be used in the proof of Theorem 3.2.
Lemma 2.1
Let \(\lambda \) be a non-negative Radon measure in \({\mathbb {R}}^N\). For \(\lambda \) a.e. \(x_0 \in {\mathbb {R}}^N\), for every \(0< \delta < 1\) and for every \(\nu \in {\mathbb {S}}^{N-1}\), the following holds
so that
2.2 Approximation theorem for hierarchical (first-order) structured deformations
Definition 2.2
For \(L\in \mathbb {N}^{}\), \(p\geqslant 1\) and \(\Omega \subset \mathbb {R}^{N}\) a bounded connected open set, we define
the set of \((L+1)\)-level (first-order) structured deformations on \(\Omega \).
In the case \(L=1\) and \(p =1\), this space was introduced and studied in [11], where it was denoted by \(SD(\Omega )\). In particular, the following approximation result was shown (see [11, Theorem 2.12]).
Theorem 2.3
(Approximation Theorem in \(SD(\Omega )\)) For every \((g,G)\in SD(\Omega )\), there exists a sequence \(u_n\) in \(SBV(\Omega ;\mathbb {R}^{d})\) which converges to (g, G) in the sense that
We now present the definition of convergence of a sequence of SBV functions to an \((L+1)\)-level structured deformation \((g,G_1,\ldots ,G_L)\) belonging to either \(HSD^1_L(\Omega )\) or \(HSD_L^p(\Omega )\).
Definition 2.4
Let \(L\in \mathbb {N}^{}\), let \(p>1\), let \((g,G_1,\ldots ,G_L)\in HSD_L^{p}(\Omega )\), and let \(\mathbb {N}^{L}\ni (n_1,\ldots ,n_L)\mapsto u_{n_1,\ldots ,n_L}\in SBV(\Omega ;\mathbb {R}^{d})\) be a (multi-indexed) sequence. We say that \(u_{n_1,\ldots ,n_L}\) converges in the sense of \(HSD_L^p(\Omega )\) to \((g,G_1,\ldots ,G_L)\) if
-
(i)
\(\displaystyle \lim \nolimits _{n_1\rightarrow +\infty }\cdots \lim \nolimits _{n_L\rightarrow +\infty } u_{n_1,\ldots ,n_L} = g\), with each of the iterated limits in the sense of \(L^1(\Omega ;\mathbb {R}^{d})\);
-
(ii)
for all \(\ell =1,\ldots ,L-1\), \(\displaystyle \lim \nolimits _{n_{\ell +1}\rightarrow +\infty }\cdots \lim \nolimits _{n_L\rightarrow +\infty } u_{n_1,\ldots ,n_L} {=}{:}g_{n_1,\ldots ,n_\ell } \in SBV(\Omega ;\mathbb {R}^{d})\) and
$$\begin{aligned} \lim _{n_1\rightarrow +\infty }\cdots \lim _{n_{\ell }\rightarrow +\infty } \nabla g_{n_1,\ldots ,n_\ell }=G_{\ell }, \end{aligned}$$with each of the iterated limits in the sense of weak convergence in \(L^p(\Omega ;\mathbb {R}^{d\times N})\);
-
(iii)
\(\displaystyle \lim \nolimits _{n_1\rightarrow +\infty }\cdots \lim \nolimits _{n_L\rightarrow +\infty } \nabla u_{n_1,\ldots ,n_L} = G_L\) with each of the iterated limits in the sense of weak convergence in \(L^p(\Omega ;\mathbb {R}^{d\times N})\);
we use the notation to indicate this convergence.
In the case \(p=1\), if \((g,G_1,\ldots ,G_L)\in HSD_L^1(\Omega )\) and if the weak \(L^p\) convergences above are replaced by weak-* convergences in \({\mathcal {M}}(\Omega ;\mathbb {R}^{d\times N})\), then we say that \(u_{n_1,\ldots ,n_L}\) converges in the sense of \(HSD_L^1(\Omega )\) to \((g,G_1,\ldots ,G_L)\) and we use the notation to indicate this convergence.
The sequential application of the idea behind the Approximation Theorem 2.3 provides the method for constructing a (multi-indexed) sequence \(u_{n_1,\ldots ,n_L}\) that approximates an \((L+1)\)-level structured deformation \((g,G_1,\ldots ,G_L)\). We thus obtain the following result, whose proof may be found in [4].
Theorem 2.5
(Approximation Theorem for \((L+1)\)-level structured deformations) Let \((g,G_1,\ldots ,G_L)\) belong to \(HSD_L^p(\Omega )\). Then there exists a sequence \((n_1,\ldots ,n_L)\mapsto u_{n_1,\ldots ,n_L}\in SBV(\Omega ;\mathbb {R}^{d})\) converging to \((g,G_1,\ldots ,G_L)\) in the sense of Definition 2.4.
3 The global method
Motivated by the Approximation Theorem 2.5, let \(p \geqslant 1\) and let \({\mathcal {F}}\!: HSD_L^p(\Omega ) \times {\mathcal {O}}(\Omega )\rightarrow [0, +\infty ]\) be a functional satisfying the following hypotheses
-
(H1)
for every \((g, G_1, \dots , G_L) \in HSD^p_L(\Omega )\), \({\mathcal {F}}(g, G_1,\dots , G_L;\cdot )\) is the restriction to \({\mathcal {O}}(\Omega )\) of a Radon measure;
-
(H2)
for every \(O \in {\mathcal {O}}(\Omega )\), if \(p > 1\), \({\mathcal {F}}(\cdot , \cdot , \dots ; O)\) is \(HSD^p_L\)-lower semicontinuous, i.e., if \((g, G_1,\dots , G_L) \in HSD_L^p(\Omega )\) and \((g^n, G_1^n,\dots , G^n_L)\) \(\in HSD_L^p(\Omega )\) are such that \(g^n \rightarrow g\) in \(L^1(\Omega ;{\mathbb {R}}^{d} )\), \(G^n_i\rightharpoonup G_i\) in \(L^p(\Omega ;{\mathbb {R}}^{d \times N})\), as \(n \rightarrow +\infty \), for every \(i=1,\dots L\), then
$$\begin{aligned} {\mathcal {F}}(g, G_1,\dots , G_L;O)\leqslant \liminf _{n\rightarrow +\infty }\mathcal F(g^n,G_1^n,\dots , G^n_L;O); \end{aligned}$$the same holds in the case \(p=1\), replacing the weak convergences \(G^n_i\rightharpoonup G_i\) in \(L^p(\Omega ;{\mathbb {R}}^{d \times N})\), as \(n \rightarrow +\infty \), for every \(i=1,\dots L\), with weak star convergences in the sense of measures \({\mathcal {M}}(\Omega ;\mathbb {R}^{d\times N})\);
-
(H3)
for all \(O \in {\mathcal {O}}(\Omega )\), \({\mathcal {F}}(\cdot , \ldots , \cdot ;O)\) is local, that is, if \(g= u\), \(G_1= U_1\), \(\dots \), \(G_L=U_L\) a.e. in O, then \({\mathcal {F}}(g, G_1,\dots , G_L;O)= {\mathcal {F}}(u, U_1,\dots , U_L;O)\);
-
(H4)
there exists a constant \(C>0\) such that
$$\begin{aligned}&\frac{1}{C}\left( \sum _{i=1}^L \Vert |G_i|^p\Vert _{L^1(O;{\mathbb {R}}^{d \times N})}+ |D g|(O)\right) \leqslant {\mathcal {F}}(g, G_1,\dots , G_L;O)\\&\quad \leqslant C\left( {\mathcal {L}}^N(O) +\sum _{i=1}^L \Vert |G_i|^p\Vert _{L^1(O;{\mathbb {R}}^{d \times N})}+ |D g|(O)\right) , \end{aligned}$$for every \((g, G_1, \dots , G_L) \in HSD^p_L(\Omega )\) and every \(O \in {\mathcal {O}}(\Omega )\).
Remark 3.1
Due to hypotheses (H1) and (H4), given any \((u, U_1,\dots , U_L) \in HSD_L^p(\Omega )\) and any open sets \(O_1 \subset \subset O_2 \subseteq \Omega \), it follows that
Indeed, for \(\varepsilon > 0\) small enough, let \(O_{\varepsilon }: = \left\{ x \in O_1: \textrm{dist}(x, \partial O_1) > \varepsilon \right\} \) and notice that \(O_2\) is covered by the union of the two open sets \(O_1\) and \(O_2 \setminus \overline{O_{\varepsilon }}.\) Thus, by (H1) and (H4) we have
To conclude the result it suffices to let \(\varepsilon \rightarrow 0^+\).
Given \((g, G_1, \dots , G_L)\in HSD_L^p(\Omega )\) and \(O \in \mathcal O_{\infty }(\Omega )\), we introduce the space of test functions
and we let \(m: HSD^p_L(\Omega )\times {\mathcal {O}}_\infty (\Omega )\) be the functional defined by
Following the ideas of the global method of relaxation introduced in [7], our aim in this section is to prove the theorem below.
Theorem 3.2
Let \(p \geqslant 1\) and let \({\mathcal {F}}: HSD_L^p(\Omega ) \times \mathcal O(\Omega )\rightarrow [0, +\infty ]\) be a functional satisfying (H1)–(H4). Then
where
for all \(x_0\in \Omega \), \( a, \theta ,\lambda \in {\mathbb {R}}^d\), \(\xi , B_1,\dots , B_L \in {\mathbb {R}}^{d \times N}\), \(\nu \in \mathbb S^{N-1}\), and where 0 is the zero matrix in \({\mathbb {R}}^{d \times N}\) and \(v_{\lambda ,\theta , \nu }\) is defined by \(v_{\lambda ,\theta , \nu }(x):= {\left\{ \begin{array}{ll} \lambda , &{}\hbox {if } x\cdot \nu > 0\\ \theta , &{}\hbox { if } x\cdot \nu \leqslant 0.\end{array}\right. }\)
Remark 3.3
It follows immediately from the definitions given in (3.3) and in (3.4), and from Theorem 3.6, that if \(\mathcal F\) is translation invariant in the first variable, i.e. if
for every \(((u,U_1,\dots , U_l),O) \in HSD^p_L(\Omega )\times \mathcal O(\Omega )\) and for every \(a\in {\mathbb {R}}^d\), then the function f in (3.3) does not depend on a and the function \(\Phi \) in (3.4) does not depend on \(\lambda \) and \(\theta \) but only on the difference \(\lambda - \theta \). Indeed, in this case we conclude that
for all \(x_0\in \Omega \), \( a, \theta ,\lambda \in {\mathbb {R}}^d\), \(\xi , B_1,\dots , B_L \in {\mathbb {R}}^{d \times N}\) and \(\nu \in {\mathbb {S}}^{N-1}\). With an abuse of notation we write
The proof of Theorem 3.2 is based on several auxiliary results and follows the reasoning presented in [7, Theorem 3.7] and [17, Theorem 4.6]. For this reason we don’t provide the arguments in full detail but point out only the main differences that arise in our setting. We start by proving the following lemma which is used to obtain Theorem 3.6.
Lemma 3.4
Assume that (H1) and (H4) hold. For any \((u, U_1, \dots , U_L)\in HSD^p_L(\Omega )\) it follows that
-
if \(p>1\),
$$\begin{aligned} \limsup _{\delta \rightarrow 0^+} m(u, U_1, \dots , U_L;Q_\nu (x_0,(1-\delta ) r)) \leqslant m(u, U_1, \dots , U_L;Q_\nu (x_0,r)), \end{aligned}$$where \(Q_\nu (x_0, r)\) is any cube centred at \(x_0\) with side length r, two faces orthogonal to \(\nu \) and contained in \(\Omega \);
-
if \(p=1\),
$$\begin{aligned} \limsup _{\delta \rightarrow 0^+} m(u, U_1, \dots , U_L;O_\delta ) \leqslant m(u, U_1, \dots , U_L; O), \end{aligned}$$where \( O_\delta =\{x \in O: \textrm{dist}(x, \partial O) > \delta \}\) and \(O \in {\mathcal {O}}(\Omega )\).
Proof
Suppose first that \(p > 1\). Without loss of generality we can assume that \(x_0=0\), \(r=1\), \(\nu =\textbf{e}_1\) and \(Q \subset \Omega \). For every \(\varepsilon >0\) there exists \((v, V_1,\dots V_L)\in \mathcal C_{HSD^p_L}(u, U_1,\dots U_L;Q)\) such that
Let \(0< \delta < 1\) be small enough so that \(u = v\) in a neighbourhood of \(Q {\setminus } Q(1-2\delta )\), and let \(\delta< \alpha (\delta ) < 2\delta \) be such that \(\displaystyle \lim _{\delta \rightarrow 0^+}\alpha (\delta ) = 0\), \(Q(1-\alpha (\delta )) \subset \subset Q(1-\delta )\) and
where the constant C depends only on the space dimension N and is, therefore, independent of \(\delta \).
For every \(i =1,\dots , L\), define
and
It is easily verified that \(({\overline{v}}, {\overline{V}}_1,\dots , {\overline{V}}_L)\in {\mathcal {C}}_{HSD^p_L}(u, U_1,\dots , U_L;Q(1-\delta ))\). Thus, by Remark 3.1, by (H1) and by (3.5), we have
Clearly, \(\displaystyle \lim _{\delta \rightarrow 0^+}{\mathcal {L}}^N(Q_{1- \delta } {\setminus } Q(1-\alpha (\delta ))) = 0\) and, since \(u = v\) on \(\partial Q(1-\alpha (\delta ))\), it also follows that
On the other hand, for every \(i = 1, \ldots ,L\), we have
Recalling that \(\displaystyle \int _Q U_i - V_i \, \mathrm dx = 0\), \(\forall i = 1, \ldots ,L\), the first term in (3.8) can be estimated by using Hölder’s inequality yielding
By (3.6) and the fact that \(\displaystyle \lim _{\delta \rightarrow 0^+}{\mathcal {L}}^N(Q{\setminus } Q(1-\alpha (\delta ))) = 0\) we conclude that
Regarding the second term in (3.8), a similar argument using Hölder’s inequality leads to
Therefore, from (3.7), we obtain
and it suffices to let \(\varepsilon \rightarrow 0^+\) to complete the proof in the case \(p > 1\).
When \(p = 1\) the proof is similar and we omit the details. In this case the estimate of the last term in (3.7) is simpler and does not require the use of Hölder’s inequality. Also, in this case, more general sets other than cubes may be considered as there is no need to use inequality (3.6) (see also [17]). \(\square \)
Following [7, 8], for a fixed \((u,U_1,\dots ,U_L) \in HSD_L^p(\Omega )\), we set \(\mu := {\mathcal {L}}^N\lfloor \Omega + |D^s u|\) and we define
and, for \(O \in {\mathcal {O}}(\Omega )\) and \(\delta > 0\), we let
Since \(\delta \mapsto m^\delta (u,U_1,\dots , U_L;O)\) is a decreasing function, we now define
Adapting the reasoning given in [17, Lemma 4.2 and Theorem 4.3], with an even easier argument due to our hypothesis (H2) and to the fact that our fields u have bounded variation, we obtain the two results below.
Lemma 3.5
Let \(p \geqslant 1\) and assume that (H1)–(H4) hold. Then, for all \((u, U_1,\dots , U_L)\in HSD_L^p(\Omega )\) and all \(O \in {\mathcal {O}}(\Omega )\), we have
Theorem 3.6
Let \(p\geqslant 1\) and assume that hypotheses (H1), (H2) and (H4) hold. Then, for every \(\nu \in {\mathbb {S}}^{N-1}\) and for every \((u,U_1, \dots , U_L) \in HSD_L^p(\Omega )\), we have
for \(\mu \)-a.e. \(x_0 \in \Omega \), where \(\mu :={\mathcal {L}}^N\lfloor \Omega + |D^s u|.\)
We now present the proof of our main result of this section.
Proof of Theorem 3.2
We begin by proving that, for \({\mathcal {L}}^N\)- a.e. \(x_0 \in \Omega \),
Let \(x_0\) be a fixed point in \(\Omega \) satisfying the following properties
where we are denoting by \(v_a\) the function defined in \(\Omega \) by \(v_a(x):= u(x_0)+ \nabla u(x_0)(x-x_0)\). It is well known that the above properties hold for \({\mathcal {L}}^N\)- a.e. point \(x_0\) in \(\Omega \), taking also in consideration Theorem 3.6 in (3.13) and (3.14).
Having fixed \(x_0\) as above, let \(\delta \in (0,1)\) and let \(\varepsilon >0\) be small enough so that \(Q(x_0,\varepsilon )\subset \Omega \). Given the definition of the density f in (3.3), due to (3.13) and (3.14), we want to show that
Let \(({\widetilde{u}}, {\widetilde{U}}_1, \dots , {\widetilde{U}}_L) \in {\mathcal {C}}_{HSD^p_L}(v_a, U_1(x_0), \dots , U_L(x_0); Q(x_0, \delta \varepsilon ))\) be such that
Then, as \({\widetilde{u}} = v_a\) on \(\partial Q(x_0,\varepsilon )\), we have
Let \(\delta ' \in (\delta , 1)\) be such that \(Q(x_0,\delta \varepsilon ) \subset \subset Q(x_0,\delta ' \varepsilon )\) and define
and, for every \(i\in \{1,\dots ,L\}\), let
Recall that \(\displaystyle \int _{Q(x_0,\delta \varepsilon )} {\widetilde{U}}_i(x) \,\mathrm dx = \int _{Q(x_0,\delta \varepsilon )} U_i(x_0) \,\mathrm dx = U_i(x_0)(\delta \varepsilon )^N\), for every \(i\in \{1,\dots , L\}\), so it is easy to see that \((\widetilde{v}_\varepsilon , {\widetilde{V}}^1_{\varepsilon },\dots , \widetilde{V}^L_{\varepsilon })\in {\mathcal {C}}_{HSD^p_L}(u, U_1, \dots , U_L; Q(x_0,\varepsilon ))\). Hence, by Remark 3.1, (H4) and (3.16), we have
We observe that for every \(i\in \{1,\dots , L\}\) we have
Thus, to obtain (3.15), taking into account (3.18), (3.19) and Lemma 2.1, we have
where in the last line we have used the fact that \(x_0\) is a Lebesgue point for \(U_i\), see (3.12).
Using (3.11) and [2, (5.79)] yields
On the other hand, by (3.17) and a change of variables, we can apply [7, Lemma 2.3] to conclude that
since, denoting by \(\displaystyle u_{\varepsilon \delta }(y):=\frac{u(x_0+\delta \varepsilon y)-u(x_0)}{\delta \varepsilon }\), it follows from (3.10) and (3.11) that \(u_{\varepsilon \delta } \rightarrow \nabla u(x_0)y\) in \(L^1(Q;{\mathbb {R}}^d)\) and \(|Du_{\varepsilon \delta }|(Q)\rightarrow |\nabla u(x_0)|\), as \(\varepsilon \rightarrow 0^+\).
Taking into account (3.20), (3.21) and (3.22) we conclude that
Interchanging the roles of \((u,U_1,\dots , U_L)\) and \((v_a,U_1(x_0),\dots , U_L(x_0))\), the reverse inequality is proved in a similar fashion. This completes the proof of (3.9).
Next we want to prove that, for \({\mathcal {H}}^{N-1}\)- a.e \(x_0 \in S_u\),
For simplicity of notation we denote by \(\nu \) the unit vector \(\nu _u\) and by \(v_j\) the function defined in \(\Omega \) by
It is well known that, for \({\mathcal {H}}^{N-1}\) a.e \(x_0 \in S_u\), the following hold
where Theorem 3.6 was used in (3.25) and (3.26).
Let \(x_0\) be a fixed point in \(\Omega \) satisfying the above properties, let \(\delta \in (0,1)\) and let \(\varepsilon >0\) be small enough so that \(Q_{\nu }(x_0,\varepsilon )\subset \Omega \). Also, let \(\delta ' \in (\delta ,1)\) be such that \(Q_\nu (x_0,\delta \varepsilon ) \subset \subset Q_\nu (x_0,\delta '\varepsilon )\).
Given the definition of the density \(\Phi \) in (3.4), due to (3.25) and (3.26), we want to show that
where 0 is the null function from \(\Omega \) to \({\mathbb {R}}^{d\times N}\).
To this end, let \(({\widetilde{u}}, {\widetilde{U}}_1, \dots , \widetilde{U}_L) \in {\mathcal {C}}_{HSD^p_L}(v_j, 0, \dots , 0); Q_\nu (x_0, \delta \varepsilon ))\) be such that
Notice that, as \({\widetilde{u}} = v_j\) on \(\partial Q_\nu (x_0, \delta \varepsilon )\), we have
Define
and, for every \(i\in \{1,\dots ,L\}\), let
Recall that, for every \(i\in \{1,\dots , L\}\), we have \( \displaystyle \int _{Q_\nu (x_0,\delta \varepsilon )} {\widetilde{U}}_i(x) \, \mathrm dx=0\). Thus, \(({\widetilde{v}}_\varepsilon , \widetilde{V}^1_{\varepsilon },\dots , {\widetilde{V}}^L_{\varepsilon })\) belongs to the class of admissible test functions \({\mathcal {C}}_{HSD^p_L}(u, U_1, \dots , U_L); Q_\nu (x_0,\varepsilon ))\) and therefore we obtain, using also Remark 3.1, (H4) and (3.29),
For every \(i \in \{1,\dots ,L\}\) we have, using Hölder’s inequality,
Hence, from (3.31) and (3.32), taking into account (3.27) and Lemma 2.1, it follows that
since, by [2, (5.79)] and (3.24),
and
To prove this last fact we change variables and use (3.30) to obtain
where \(u_{\delta \varepsilon }(y) = u(x_0+\delta \varepsilon y)\). Then (3.23) and (3.24) yield
and
Hence (3.34) follows from [7, Lemma 2.3] and this completes the proof of inequality (3.33). The reverse inequality can be shown in a similar way by interchanging the roles of \((u,U_1,\dots , U_L)\) and \((v_j,0,\dots , 0)\) leading to the conclusion stated in (3.28).
Theorem 3.2 is thus proved. \(\square \)
4 Applications
In this section we present some applications of the global method for relaxation obtained in Theorem 3.2.
4.1 2-level (first-order) structured deformations
The first application concerns the case of a two-level structured deformation, that is, we take \(L=1\) in Definition 2.2. In this setting, given a deformation \(u\in SBV(\Omega ;{\mathbb {R}}^d)\), and two non-negative functions \(W:\Omega \times \mathbb {R}^{d\times N}\rightarrow [0,+\infty )\) and \(\psi :\Omega \times \mathbb {R}^{d}\times \mathbb {S}^{N-1}\rightarrow [0,+\infty )\), we consider the initial energy of u defined by
which is determined by the bulk and surface energy densities W and \(\psi \), respectively.
Then, as justified by the Approximation Theorem 2.5, we assign an energy to a structured deformation \((g,G)\in HSD^p_1(\Omega )\), which is equivalent to saying that \((g, G)\in SD(\Omega )\) and \(G \in L^p(\Omega ;{\mathbb {R}}^{d\times N})\), via
To simplify notation, here and in what follows, we write to mean \(u_n \rightarrow g\) in \(L^1(\Omega ;{\mathbb {R}}^d)\) and \(\nabla u_n \rightharpoonup G\) in \(L^p(\Omega ;{\mathbb {R}}^{d\times N})\), if \(p > 1\), and \(\nabla u_n {\mathop {\rightharpoonup }\limits ^{*}}G\) in \({\mathcal {M}}(\Omega ;{\mathbb {R}}^{d\times N})\), if \(p = 1\). Notice that this notion of convergence coincides, in the case \(L=1\), with the one given in Definition 2.4.
Under our coercivity hypothesis (3) below, the definition of \(I_p\) coincides with the one considered in [11], see [11, Remark 2.15].
The functional in (4.2) was studied in [11], in the homogeneous case, and later in [20], in the case of a uniformly continuous x dependence, where, under certain hypotheses on W and \(\psi \) (cf. [20, Theorem 5.1]) it was shown that \(I_p\) admits an integral representation, that is, that there exist functions \(H_p:\Omega \times \mathbb {R}^{d\times N}\times \mathbb {R}^{d\times N}\rightarrow [0,+\infty )\) and \(h_p:\Omega \times \mathbb {R}^{d}\times \mathbb {S}^{N-1}\rightarrow [0,+\infty )\) such that
In order to present the expressions of the relaxed energy densities \(H_p\) and \(h_p\) we start by introducing some notation.
For \(A,B\in \mathbb {R}^{d\times N}\) let
and for \(\lambda \in \mathbb {R}^{d}\) and \(\nu \in \mathbb {S}^{N-1}\) let \(u_{\lambda ,\nu }\) be the function defined by
and consider the classes given by
for \(p > 1\), and for \(p = 1\),
Then, the functions \(H_p\) and \(h_p\) appearing in (4.3) are given by (cf. [20, (5.6), (5.7)])
for all \(x_0\in \Omega \) and \(A,B\in \mathbb {R}^{d\times N}\), and, for all \(x_0\in \Omega \), \(\lambda \in \mathbb {R}^{d}\) and \(\nu \in \mathbb {S}^{N-1}\),
where \(W^{\infty }\) denotes the recession function at infinity of W with respect to the second variable, given by
In (4.7), \(\delta _1(p) = 1\) if \(p=1\) and \(\delta _1(p) = 0\) if \(p\ne 1\), so that the relaxed surface energy density depends on the recession function of W only in the case \(p=1\).
In what follows we obtain an integral representation result for \(I_p(g,G)\), by means of Theorem 3.2, under a similar set of hypotheses on W and \(\psi \) as those considered in [11] and [20], but requiring only measurability, rather than uniform continuity, of W in the x variable.
Precisely, we assume that \(W:\Omega \times {\mathbb {R}}^{d \times N}\rightarrow [0,+\infty )\) and \(\psi :\Omega \times {\mathbb {R}}^d \times {\mathbb {S}}^{N-1} \rightarrow [0,+\infty ) \) are Carathéodory functions such that the following conditions hold:
-
(1)
(p-Lipschitz continuity) there exists \(C_W >0\) such that, for a.e. \(x\in \Omega \) and \(A_1,A_2 \in \mathbb {R}^{d\times N}\),
$$\begin{aligned} |W(x,A_1) - W(x,A_2)| \leqslant C_W |A_1 - A_2| \big (1+|A_1|^{p-1}+|A_2|^{p-1}\big ); \end{aligned}$$ -
(2)
there exists \(A_0 \in {\mathbb {R}}^{d \times N}\) such that \(W(\cdot , A_0)\in L^\infty (\Omega )\);
-
(3)
there exists \(c_W>0\) such that, for a.e. \(x \in \Omega \) and every \(A \in {\mathbb {R}}^{d\times N}\),
$$\begin{aligned} c_W |A|^{p}-\frac{1}{c_W}\leqslant W(x,A); \end{aligned}$$ -
(4)
(symmetry) for every \(x \in \Omega \), \(\lambda \in \mathbb {R}^{d}\) and \(\nu \in {\mathbb {S}}^{N-1}\),
$$\begin{aligned} \psi (x, \lambda , \nu )= \psi (x,-\lambda , -\nu ); \end{aligned}$$ -
(5)
there exist \(c_\psi ,C_\psi > 0\) such that, for all \(x\in \Omega \), \(\lambda \in \mathbb {R}^{d}\) and \(\nu \in \mathbb {S}^{N-1}\),
$$\begin{aligned} c_\psi |\lambda | \leqslant \psi (x,\lambda , \nu ) \leqslant C_\psi |\lambda |; \end{aligned}$$ -
(6)
(positive 1-homogeneity) for all \(x\in \Omega \), \(\lambda \in \mathbb {R}^{d}\), \(\nu \in \mathbb {S}^{N-1}\) and \(t >0\)
$$\begin{aligned} \psi (x,t\lambda , \nu ) = t\psi (x, \lambda , \nu ); \end{aligned}$$ -
(7)
(sub-additivity) for all \(x\in \Omega \), \(\lambda _1,\lambda _2 \in \mathbb {R}^{d}\) and \(\nu \in \mathbb {S}^{N-1}\),
$$\begin{aligned} \psi (x, \lambda _1 + \lambda _2, \nu ) \leqslant \psi (x,\lambda _1, \nu ) +\psi (x,\lambda _2, \nu ); \end{aligned}$$ -
(8)
there exists a continuous function \(\omega _\psi :[0,+\infty )\rightarrow [0,+\infty )\) with \(\omega _\psi (s)\rightarrow 0\) as \(s\rightarrow 0^+\) such that, for every \(x_0,x_1\in \Omega \), \(\lambda \in \mathbb {R}^{d}\) and \(\nu \in \mathbb {S}^{N-1}\),
$$\begin{aligned} |\psi (x_1,\lambda ,\nu )-\psi (x_0,\lambda ,\nu )|\leqslant \omega _\psi (|x_1-x_0|)|\lambda |. \end{aligned}$$
Under this set of hypotheses we prove the following theorem.
Theorem 4.1
Let \(p\geqslant 1\) and let \(\Omega \subset {\mathbb {R}}^N\) be a bounded, open set. Consider E given by (4.1) where \(W:\Omega \times \mathbb {R}^{d\times N}\rightarrow [0,+\infty )\) and \(\psi :\Omega \times \mathbb {R}^{d}\times \mathbb {S}^{N-1}\rightarrow [0,+\infty )\) satisfy (1)–(5) and \(\psi \) is continuous. Let \((g,G) \in SD(\Omega )\), with \(G \in L^p(\Omega ;{\mathbb {R}}^{d \times N})\), and assume that \(I_p(g,G)\) is defined by (4.2).
Then, there exist \(f: \Omega \times {\mathbb {R}}^{d \times N} \times {\mathbb {R}}^{d \times N} \rightarrow [0,+\infty )\), \(\Phi : \Omega \times {\mathbb {R}}^d \times S^{N-1}\rightarrow [0, +\infty )\) such that
where the relaxed energy densities are given by
for all \(x_0\in \Omega \), \( \theta ,\lambda \in {\mathbb {R}}^d\), \(\xi , B \in {\mathbb {R}}^{d \times N}\) and \(\nu \in {\mathbb {S}}^{N-1}\). In the above expressions 0 denotes the zero \({\mathbb {R}}^{d \times N}\) matrix, \(u_{\lambda -\theta , \nu }(y):= {\left\{ \begin{array}{ll} \lambda - \theta , &{}\hbox {if } y\cdot \nu > 0\\ 0, &{}\hbox { if } y\cdot \nu \leqslant 0 \end{array}\right. }\), the functional \(m:SD(\Omega ) \times \mathcal O_\infty (\Omega )\rightarrow [0,+\infty )\) is given by (3.2) with \(L=1\) and \({\mathcal {F}}= I_p\), and \({\mathcal {C}}_{HSD^p_1}(g,G;O)\) is given by (3.1), taking into account that \(HSD^p_1(\Omega )\) in Definition 2.2 coincides with the set of fields \((g, G)\in SD(\Omega )\) such that \(G \in L^p(\Omega ;{\mathbb {R}}^{d\times N})\).
Furthermore, if \(p>1\) and \(\psi \) also satisfies (6)–(8), then \(\Phi (x_0,\lambda ,\theta ,\nu ) = h_p(x_0,\lambda -\theta ,\nu )\), for every \(x_0\in \Omega \), \(\theta ,\lambda \in {\mathbb {R}}^d\) and \(\nu \in {\mathbb {S}}^{N-1}\), where \(h_p\) is the function given in (4.7).
Proof
Given \(O \in {\mathcal {O}}(\Omega )\) and \((g,G) \in SD(\Omega )\), with \(G \in L^p(\Omega ;{\mathbb {R}}^{d \times N})\), we introduce the localized version of \(I_p(g, G)\), namely
Our goal is to verify that \(I_p(g,G;O)\) satisfies assumptions (H1)–(H4) of Theorem 3.2 in the case \(L=1\).
We start by proving the following nested subadditivity result: if \(O_1, O_2, O_3\) are open subsets of \(\Omega \) such that \(O_1 \Subset O_2 \subseteq O_3\), then
Indeed, let \(u_n \in SBV(O_2;{\mathbb {R}}^d)\) and \(v_n \in SBV(O_3{\setminus } \overline{O_1};{\mathbb {R}}^d)\) be two sequences such that \(u_n \rightarrow g\) in \(L^1(O_2;{\mathbb {R}}^d)\), \(\nabla u_n \rightharpoonup G\) in \(L^p(O_2;{\mathbb {R}}^{d\times N})\), \(v_n \rightarrow g\) in \(L^1(O_3{\setminus } \overline{O_1};{\mathbb {R}}^d)\), \(\nabla v_n \rightharpoonup G\) in \(L^p(O_3{\setminus } \overline{O_1};{\mathbb {R}}^{d\times N})\), and, in addition,
and
Notice that
and
For \(\delta > 0\) define
For \(x \in O_3\) let \(d(x):= \text{ dist }(x, O_1)\). Since the distance function to a fixed set is Lipschitz continuous (see [24, Exercise 1.1]), we can apply the change of variables formula [16, Sect. 3.4.3, Theorem 2], to obtain
and, as \(|\det \nabla d|\) is bounded and (4.11) holds, by Fatou’s Lemma, it follows that for almost every \(\rho \in [0, \delta ]\) we have
Fix \(\rho _0 \in [0, \delta ]\) such that \(\Vert G \chi _{O_2}\Vert (\partial O_{\rho _0}) = 0\), \(\Vert G \chi _{O_3 {\setminus } \overline{O_1}}\Vert (\partial O_{\rho _0}) = 0\) and such that (4.12) holds. For this choice of \(\rho _0\), we may pass to subsequences of \(u_n\) and \(v_n\) (not relabelled) such that the liminf in (4.12) is actually a limit. We observe that \(O_{\rho _0}\) is a set with locally Lipschitz boundary since it is a level set of a Lipschitz function (see, e.g., [16]). Hence we can consider \(u_n, v_n\) on \(\partial O_{ \rho _0}\) in the sense of traces and define
Then, by the choice of \(\rho _0\), \(w_n\) is admissible for \(I_p(g,G;O_3)\) so, by (5), (4.11) and (4.12), we obtain
which concludes the proof.
From here, the reasoning in [11, Proposition 2.22], which is still valid with the same proof in the non-homogeneous case, yields (H1).
To show that (H2) holds, we argue as in [11, Proposition 5.1]. Indeed, we can prove lower semicontinuity of \(I_p(\cdot ,\cdot ;O)\) along sequences \((g_n,G_n)\) converging in \(L^1(O;{\mathbb {R}}^d)_{ strong}\times L^p(O;{\mathbb {R}}^{d\times N})_{ weak}\) (the second convergence is weak star in \({\mathcal {M}}(\Omega ;\mathbb {R}^{d\times N})\), if \(p=1\)).
(H3) is an immediate consequence of the previous lower semicontinuity property in O, as observed in [7, eq. (2.2)], whereas (H4) follows by standard arguments (as in [11, Lemma 2.18]) from (1), (2), (3) and (6) above and by the lower semicontinuity of integral functionals of power type and the total variation along weakly converging sequences. We point out that in order to obtain the lower bound in (H4) we can replace, without loss of generality, W by \(W + \frac{1}{C_W}\).
Hence, Theorem 3.2 can be applied to conclude that, for every \((g,G)\in SD(\Omega ) \times L^p(\Omega ;{\mathbb {R}}^{d \times N})\), we have
where the relaxed densities f and \(\Phi \) are given by
and
for all \(x_0\in \Omega \), \( a, \theta ,\lambda \in {\mathbb {R}}^d\), \(\xi , B \in {\mathbb {R}}^{d \times N}\), \(\nu \in {\mathbb {S}}^{N-1}\).
It is easy to see that the functional \(I_p\) is invariant under translation in the first variable, that is,
Indeed, it suffices to notice that if \(\{u_n\}\) is admissible for \(I_p(g,G;O)\), then the sequence \(u_n + a\) is admissible for \(I_p(g+a,G;O)\). Hence, taking into account Remark 3.3 and the abuse of notation stated therein, we obtain (4.8) with f and \(\Phi \) given by (4.9) and (4.10), respectively.
On the other hand, for \(p>1\), Theorem 3.6 and the fact that \({\mathcal {F}}= I_p\), yield, for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^{d}\) and \(\nu \in {\mathbb {S}}^{N-1}\),
where \(u_{\lambda -\theta , \nu }\) is given by (4.5), with \(\lambda \) replaced by \(\lambda - \theta \), and we have taken into account the growth condition on W given by (1) and hypothesis (2), and the fact that the latter class of test functions is contained in the initial one.
Given that this last expression no longer depends on the initial bulk density W, but only on \(\psi \) for which the uniform continuity condition (8) holds, we may apply this condition to replace x by \(x_0\) and obtain
We now invoke the periodicity argument used in the first part of the proof of [11, Proposition 4.2] to conclude that
which, by a simple change of variables, coincides with
so it follows that
To prove the reverse inequality, we use the fact that \(W\geqslant 0\) to obtain
where the uniform continuity of \(\psi \) in the first variable was used in the final equality.
We now argue as in [11, Propositions 4.2 and 4.4], in order to replace each weakly converging sequence \(u_n\) by one which converges strongly to 0 in \(L^p\). In this way, we are lead to the conclusion that
We have thus proved that, for \(p > 1\),
for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^d\) and \(\nu \in {\mathbb {S}}^{N-1}\), where \(h_p\) is the function given in (4.7). \(\square \)
Theorem 4.2
Let \(p \geqslant 1\). Under the conditions of the previous theorem, if, in addition to the hypotheses stated therein, the density W also satisfies
-
(9)
there exists a continuous function \(\omega _W:[0,+\infty )\rightarrow [0,+\infty )\) such that \(\displaystyle \lim _{t \rightarrow 0^+} \omega _W(t)=0\) and
$$\begin{aligned} |W(x_1,A)-W(x_0,A)|\leqslant \omega _W(|x_1-x_0|)(1+|A|^{p}), \; \forall x_0, x_1 \in \Omega , A \in {\mathbb {R}}^{d\times N}; \end{aligned}$$ -
(10)
if \(p=1\), there exist \(\alpha \in (0,1)\) and \(L>0\) such that
$$\begin{aligned} \bigg |W^{\infty }(x,A) - \frac{W(x,tA)}{t}\bigg | \leqslant \frac{C}{t^{\alpha }}, \end{aligned}$$for all \(t>L\), \(x \in \Omega \) and \(A \in {\mathbb {R}}^{d \times N}\) with \(|A|=1,\)
then (4.8) holds for every \((g,G) \in SD(\Omega )\) such that \(G \in L^p(\Omega ;{\mathbb {R}}^{d\times N})\), with \(f(x_0,\xi , B) = H_p(x_0, \xi , B)\), for every \(x_0\in \Omega \), \(\xi , B \in \mathbb R^{d \times N}\), where \(H_p\) is given by (4.6), and \(\Phi (x_0,\lambda ,\theta ,\nu ) = h_p(x_0, \lambda - \theta , \nu ),\) for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^d\) and \(\nu \in {\mathbb {S}}^{N-1}\), where \(h_p\) is the function given in (4.7).
Proof
As seen in the previous proof, \(I_p(g,G;\cdot )\) is the restriction to \({\mathcal {O}}(\Omega )\) of a Radon measure. Assuming (9), putting together Theorem 3.6, (4.9) and [20, Theorem 5.1], it follows that for every \(x_0\in \Omega \), \(\xi ,B \in {\mathbb {R}}^{d\times N}\), we have
On the other hand, by (9), (10), 3.6, (4.10) and [20, Theorem 5.1], we conclude that
for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^d\) and \(\nu \in {\mathbb {S}}^{N-1}\), where \(h_p\) is the function given in (4.7). \(\square \)
4.2 Homogenization problems
Our method also applies to homogenization problems like the one considered in [1]. Indeed, it improves the result therein allowing us to consider also the linear growth case, as well as Carathéodory, rather than continuous, bulk energy densities, as the following result states.
Theorem 4.3
Let \(p \geqslant 1\) and \(\Omega \subset {\mathbb {R}}^N\) be a bounded, open set. Let \(\varepsilon \rightarrow 0^+\) and consider \(E_\varepsilon \) given by
where \(W:\Omega \times \mathbb {R}^{d\times N}\rightarrow [0,+\infty )\) is a Carathéodory function and \(\psi :\Omega \times \mathbb {R}^{d}\times \mathbb {S}^{N-1}\rightarrow [0,+\infty )\) is a continuous function, both Q-periodic in the first variable and such that they satisfy (1)–(5). Let \((g,G) \in SD(\Omega )\) and let \(I_{p,hom}\) be the functional defined by
Then, there exist \(f_{hom}: {\mathbb {R}}^{d \times N} \times \mathbb R^{d \times N} \rightarrow [0,+\infty )\), \(\Phi _{hom}: {\mathbb {R}}^d \times S^{N-1}\rightarrow [0, +\infty )\) such that
where the limiting energy densities are given by
for all \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^d\), \(\xi , B \in {\mathbb {R}}^{d \times N}\) and \(\nu \in {\mathbb {S}}^{N-1}\). In the above expressions 0 denotes the zero \({\mathbb {R}}^{d \times N}\) matrix, \(v_{\lambda ,\theta , \nu }(y):= {\left\{ \begin{array}{ll} \lambda , &{}\hbox {if } y\cdot \nu > 0\\ \theta , &{}\hbox { if } y\cdot \nu \leqslant 0 \end{array}\right. }\), the functional \(m:SD(\Omega ) \times \mathcal O_\infty (\Omega )\rightarrow [0,+\infty )\) is given by (3.2) with \(L=1\) and \({\mathcal {F}}= I_{p,hom}\), and \({\mathcal {C}}_{HSD^p_1}(g,G;O)\) is given by (3.1), taking into account that, if \(p >1\), \(HSD^p_1(\Omega )\) in Definition 2.2 coincides with the set of fields \((g, G)\in SD(\Omega )\) such that \(G \in L^p(\Omega ;\mathbb R^{d\times N})\).
As in the case of Theorem 4.1, the proof of this theorem amounts to the verification that the functional \(I_{p,hom}\)‘ satisfies all of the assumptions of Theorem 3.2, we omit the details. We also refer to [1, Lemma A.1 and Proposition A.2], where the arguments were presented in the case \(p>1\), but they can be repeated word for word if \(p=1\). We point out that \(f_{hom}\) is actually independent of \(x_0\) and a and \(\Phi _{hom}\) is independent of \(x_0\), due to the fact that \(I_{p,hom}\) verifies the conditions of [7, Lemma 4.3.3] which in turn can be proven in full analogy with [9, Lemma 3.7].
Notice that, in view of the results in [1], in the case \(p >1\) and assuming (6)–(9), the densities given by (4.14) and (4.15) coincide with the bulk and surface energy densities \(H_{hom}\) and \(h_{hom}\) obtained in [1, eq. (1.11) and (1.12), respectively]. In particular, when \(p>1\) (4.15) admits the equivalent representation (see [1, Proposition 3.5]),
for every \((\lambda ,\theta , \nu )\in {\mathbb {R}}^d\times {\mathbb {R}}^d \times {\mathbb {S}}^{N-1}\).
4.3 Functionals arising in the analysis of second-order structured deformations
As a further application of our abstract global method for relaxation, we recover the integral representation for one of the energies appearing in [3]. In this paper a model for second-order structured deformations is proposed in the space \(SBV_2\), giving rise to two energies (see [3, Theorem 3.2]). This decomposition relies strictly on hypotheses (I) and (II) below and (4)–(5) from Theorem 4.1, but in the matrix setting. Although the first of these energies does not satisfy the conditions of Theorem 3.2, we will apply our result to the second (to avoid confusion with the notation used in the previous applications we denote it here by J) which is defined on matrix-valued structured deformations, \(J:SD(\Omega ;{\mathbb {R}}^{d\times N}) \rightarrow [0,+\infty )\), and is given by
It was proved in [3, Proposition 4.6] that the functional J admits the following alternative characterization,
in particular the density of the bulk term does not depend explicitly on the sequence \(v_n\), as we can fix the second variable equal to G, but only on the gradient of \(v_n\).
In the above expression the density W satisfies the hypotheses
-
(I)
(Lipschitz continuity) there exists a constant \(C_W >0\) such that, for all \(x\in \Omega \), \(A_1,A_2 \in \mathbb {R}^{d\times N}\) and \(M_1, M_2 \in {\mathbb {R}}^{d \times N^2}\),
$$\begin{aligned} |W(x,A_1,M_1) - W(x,A_2,M_2)| \leqslant C_W (|A_1 - A_2|+ |M_1-M_2|); \end{aligned}$$ -
(II)
there exists \(c_W>0\) such that, for every \((x,A, M)\in \Omega \times {\mathbb {R}}^{d\times N} \times {\mathbb {R}}^{d \times N^2}\),
$$\begin{aligned} \frac{1}{c_W}( |A|+ |M|)-c_W\leqslant W(x,A, M) \leqslant c_W(1+|A|+|M|); \end{aligned}$$ -
(III)
there exists a continuous function \(\omega _W:[0,+\infty )\rightarrow [0,+\infty )\) such that \(\displaystyle \lim _{t \rightarrow 0^+} \omega _W(t)=0\) and
$$\begin{aligned} |W(x_1,A, M)-W(x_0,A,M)|\leqslant \omega _W(|x_1-x_0|)(1+|A|+ |M|), \end{aligned}$$for every \(x_0, x_1 \in \Omega \), \(A \in {\mathbb {R}}^{d\times N}\), \(M \in {\mathbb {R}}^{d \times N^2}\);
-
(IV)
there exists \(\alpha \in (0,1)\) and \(L>0\) such that
$$\begin{aligned} \bigg |W^{\infty }(x,A,M) - \frac{W(x,A,tM)}{t}\bigg | \leqslant \frac{C}{t^{\alpha }}, \end{aligned}$$for all \(t>L\), \(x \in \Omega \), \(A \in {\mathbb {R}}^{d \times N}\) and \(M \in {\mathbb {R}}^{d \times N^2}\) with \(|M|=1,\) where \(W^{\infty }\) denotes the recession function at infinity of \(W(x,A,\cdot )\);
and \(\Psi \) satisfies, in the matrix setting, (4)–(8) considered in Theorem 4.1.
Under hypotheses (I), (II), (4)–(5) considering the localized version of J, defined in \(SD(\Omega ;{\mathbb {R}}^{d \times N})\times {\mathcal {O}}(\Omega )\) by
it was shown in [3, Theorem 4.5] that J is the restriction to the open subsets of \(\Omega \) of a Radon measure. Standard diagonalization arguments prove that it is sequentially lower semicontinuous in \(L^1(O;{\mathbb {R}}^{d \times N})\times {\mathcal {M}}(O;{\mathbb {R}}^{d \times N^2})\), from which locality follows.
Using the characterization of J given in (4.16) it is also easy to see that the growth hypothesis (H4) from Theorem 3.2 holds.
Hence, denoting by m the functional defined, in the matrix setting, by (3.2) with \(L=1\), this result applies to yield the following representation:
where
and
for all \(x_0\in \Omega \), \(A, \lambda , \theta \in {\mathbb {R}}^{d\times N}\), \(B, D \in {\mathbb {R}}^{d \times N^2}\), \(\nu \in {\mathbb {S}}^{N-1}\), where 0 denotes the zero \({\mathbb {R}}^{d \times N^2}\) matrix and \(u_{\lambda -\theta ,\nu }(y):= {\left\{ \begin{array}{ll} \lambda - \theta , &{}\hbox {if } y\cdot \nu > 0\\ 0, &{}\hbox { if } y\cdot \nu \leqslant 0.\end{array}\right. }\)
The reasoning is similar to the one presented in Theorem 4.1, without the translation invariance, as hypotheses (I) and (II) ensure that \(W(\cdot ,G(\cdot ),\cdot )\) is Carathéodory in \(\Omega \times {\mathbb {R}}^{d \times N^2}\).
Assuming, in addition, that hypotheses (III), (IV), (6)–(8) hold, we will now show that the relaxed densities f and \(\Phi \) coincide with those obtained in [3, Theorems 3.2 and 5.7], to this end we use the alternative characterization of J given in (4.16). Theorems 3.2 and 5.7 in [3] provide the following integral representation for J
where
In order to show that the densities in (4.17) are given by (4.18) and (4.19),
for all \(x_0 \in \Omega \), \(A, \lambda , \theta \in \mathbb R^{d\times N}\), \(B, D \in {\mathbb {R}}^{d \times N^2}\), \(\nu \in {\mathbb {S}}^{N-1}\), we begin by stressing the fact that the dependence of \(\gamma _2\) on A is fictitious. Indeed assumptions (I) and (IV) guarantee that \(W^\infty \) does not depend on A, i.e.
where 0 represents the zero matrix in \({\mathbb {R}}^{d \times N}\).
As \(x_0\) and A are fixed, we may invoke Propositions 3.1 and 4.1 in [11] to conclude that
and
respectively.
Reasoning as in the proof of Theorem 4.1, by Theorem 3.6 and the fact that \({\mathcal {F}}= J\), for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^{d}\) and \(\nu \in {\mathbb {S}}^{N-1}\), we have
where in the last equality we performed a change of variables. Using hypotheses (III) and (8) first, and then (IV), we obtain
We have thus proved the equality between the densities of the surface term
for every \(x_0\in \Omega \), \(\lambda , \theta \in {\mathbb {R}}^{d \times N}\) and \(\nu \in {\mathbb {S}}^{N-1}\), where \(\gamma _2\) is given in (4.20).
The proof that \(f(x_0,A,B,D)= W_2(x_0,A,B,D)\) is similar and we omit the details.
Thus our integral representation for J, obtained via the global method given in Theorem 3.2, recovers the one proved in [3, Theorems 3.2 and 5.7], and we emphasize the fact that \(\gamma _2\) given in (4.19) does not really depend on the variable A.
4.4 Multi-levelled structured deformations
The global method for relaxation that we propose in Theorem 3.2, allows us not only to recover the recursive relaxation procedure presented in [4, Sect. 3.2 and Theorem 3.4], since in each step the obtained densities satisfy hypotheses (1)–(9), thus entitling us to apply Theorems 4.1 and 4.2, but also to propose an alternative direct strategy.
Indeed, as it will be rigorously shown in [5], one can associate to each multi-levelled structured deformation an energy satisfying hypotheses (H1)–(H4) in Sect. 3. The alternative procedure of assigning this energy very possibly yields an expression lower than the one obtained in [4, Sect. 3.2].
More precisely, referring to the case \(L=2\) for simplicity of exposition, starting from (4.1) and given \((g,G_1,G_2,G_3)\in HSD^p_2(\Omega )\), Theorem 3.2 provides an integral representation for the functional
where \(\displaystyle g_{n_1}:=\lim _{n_2,n_3}u_{n_1n_2n_3}\), \(\displaystyle g_{n_1n_2}:=\lim _{n_3}u_{n_1n_2n_3}\), the convergences are those in Definition 2.4 and \(I_3\) represents, by definition, the energy assigned to the three-levelled structured deformation \((g,G_1,G_2,G_3)\).
References
Amar, M., Matias, J., Morandotti, M., Zappale, E.: Periodic homogenization in the context of structured deformations. Z. Angew. Math. Phys. 73–173 (2022)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford University Press (2000)
Barroso, A.C., Matias, J., Morandotti, M., Owen, D.R.: Second-order structured deformations: relaxation, integral representation and applications. Arch. Rational Mech. Anal. 225(3), 1025–1072 (2017)
Barroso, A.C., Matias, J., Morandotti, M., Owen, D.R., Zappale, E.: The variational modeling of hierarchical structured deformations. J. Elast. (2022)
Barroso, A.C., Matias, J., Morandotti, M., Owen, D.R., Zappale, E.: in preparation
Barroso, A.C., Matias, J., Zappale, E.: Relaxation for an optimal design problem in \(BD(\Omega )\). Proc. R. Soc. Edinb. 153, 721–763 (2023)
Bouchitté, G., Fonseca, I., Mascarenhas, L.: A global method for relaxation. Arch. Rational Mech. Anal. 145, 51–98 (1998)
Bouchitté, G., Fonseca, I., Leoni, G., Mascarenhas, L.: A global method for relaxation in \(W^{1, p}\) and \(SBV_p\). Arch. Rational Mech. Anal. 165, 187–242 (2002)
Braides, A., Defranceschi, A., Vitali, E.: Homogenization of free discontinuity problems. Arch. Rational Mech. Anal. 135(4), 297–356 (1996)
Caroccia, M., Focardi, M., Van Goethem, N.: On the integral representation of variational functionals on \(BD\). SIAM J. Math. Anal. 52(4), 4022–4067 (2020)
Choksi, R., Fonseca, I.: Bulk and interfacial energy densities for structured deformations of continua. Arch. Rational Mech. Anal. 138, 37–103 (1997)
Del Piero, G., Owen, D.R.: Structured deformations of continua. Arch. Rational Mech. Anal. 124, 99–155 (1993)
Deseri, L., Owen, D.R.: Energetics of two-level shears and hardening of single crystals. Math. Mech. Solids 7, 113–147 (2002)
Deseri, L., Owen, D.R.: Toward a field theory for elastic bodies undergoing disarrangements. J. Elast. 70, 197–236 (2003)
Deseri, L., Owen, D.R.: Elasticity with hierarchical disarrangements: a field theory that admits slips and separations at multiple submacroscopic levels. J. Elast. 135, 149–182 (2019)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics. CRC Press (1992)
Fonseca, I., Hagerty, A., Paroni, R.: Second-order structured deformations in the space of functions of bounded hessian. J. Nonlinear Sci. 29(6), 2699–2734 (2019)
Fonseca, I., Müller, S.: Relaxation of quasiconvex functionals in \(BV(\Omega; \mathbb{R} ^p)\) for integrands \(f(x, u,\nabla u)\). Arch. Rational Mech. Anal. 123, 1–49 (1993)
Matias, J., Morandotti, M., Owen, D.R.: Energetic Relaxation to Structured Deformations. A Multiscale Geometrical Basis for Variational Problems in Continuum Mechanics. Springer Briefs on PDEs and Data Science (2023)
Matias, J., Morandotti, M., Owen, D.R., Zappale, E.: Upscaling and spatial localization of non-local energies with applications to crystal plasticity. Math. Mech. Solids 26(7), 963–997 (2021)
Matias, J., Morandotti, M., Zappale, E.: Optimal design of fractured media with prescribed macroscopic strain. J. Math. Anal. Appl. 449(2), 1094–1132 (2017)
Owen, D.R., Paroni, R.: Second-order structured deformations. Arch. Rational Mech. Anal. 155, 215–235 (2000)
Scilla, G., Solombrino, F., Stroffolini, B.: Integral representation and \(\Gamma \)-convergence for free-discontinuity problems with \(p(\cdot )\)-growth. (2022) arXiv:2204.09530
Ziemer, W.: Weakly Differentiable Functions. Springer (1989)
Acknowledgements
The authors would like to thank the referee for his/her valuable comments which lead to the improvement of the manuscript.The research of ACB was partially supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia through project UIDB/04561/2020: https://doi.org/10.54499/ UIDB/04561/2020 and also by GNAMPA, Programma Professori Visitatori, year 2023. The research of JM was supported by GNAMPA, Programma Professori Visitatori, year 2022 and through FCT/Portugal through CAMGSD, IST-ID, projects UIDB/04459/2020 and UIDP/04459/2020. He also gratefully acknowledges the support and hospitality of Sapienza-University of Rome through the Programma Professori Visitatori, year 2023. EZ acknowledges the support of Piano Nazionale di Ripresa e Resilienza (PNRR) - Missione 4 “Istruzione e Ricerca” - Componente C2 Investimento 1.1, “Fondo per il Programma Nazionale di Ricerca e Progetti di Rilevante Interesse Nazionale (PRIN)” - Decreto Direttoriale n. 104 del 2 febbraio 2022 - CUP 853D230093 60006. She is a member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica “F. Severi” (INdAM). She also acknowledges partial funding from the GNAMPA Project 2023 Prospettive nelle scienze dei materiali: modelli variazionali, analisi asintotica e omogeneizzazione. The work of EZ is also supported by Sapienza - University of Rome through the projects Progetti di ricerca medi, (2021), coordinator S. Carillo e Progetti di ricerca piccoli, (2022), coordinator E. Zappale. She gratefully acknowledges the hospitality and support of CAMGSD, IST-ID.
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Barroso, A.C., Matias, J. & Zappale, E. A global method for relaxation for multi-levelled structured deformations. Nonlinear Differ. Equ. Appl. 31, 50 (2024). https://doi.org/10.1007/s00030-024-00939-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-024-00939-2
Keywords
- Global method for relaxation
- Hierarchical system of structured deformations
- Multiscale geometry
- Elasticity
- Disarrangements
- Integral representation