Abstract
In this paper we study the deterministic and stochastic homogenisation of free-discontinuity functionals under linear growth and coercivity conditions. The main novelty of our deterministic result is that we work under very general assumptions on the integrands which, in particular, are not required to be periodic in the space variable. Combining this result with the pointwise Subadditive Ergodic Theorem by Akcoglu and Krengel, we prove a stochastic homogenisation result, in the case of stationary random integrands. In particular, we characterise the limit integrands in terms of asymptotic cell formulas, as in the classical case of periodic homogenisation.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we derive deterministic and stochastic homogenisation results for free-discontinuity functionals in the space of functions of bounded variation.
We consider families of free-discontinuity functionals of the form
where \(\omega \) belongs to the sample space of a given probability space \((\text{\O}mega , {\mathcal {T}}, P)\) and labels the realisations of the random integrands f and g, while \(\varepsilon >0\) is a parameter of either geometrical or physical nature, and sets the scale of the problem. In (1.1) the set A belongs to the class \({\mathscr {A}}\) of bounded open subsets of \({{\mathbb {R}}}^n\) and the function u belongs to the space \(SBV(A, {{\mathbb {R}}}^m)\) of special \({{\mathbb {R}}}^m\)-valued functions of bounded variation on A (see [21] and [5, Section 4.5]). Moreover, \(\nabla u\) denotes the approximate gradient of u, [u] stands for the difference \(u^+-u^-\) between the approximate limits of u on both sides of the discontinuity set \(S_u\), \(\nu _u\) denotes the (generalised) normal to \(S_u\), and \({\mathcal {H}}^{n-1}\) is the \((n-1)\)-dimensional Hausdorff measure in \({{\mathbb {R}}}^n\).
Functionals as in (1.1) are commonly used in applications where the physical quantity described by u can exhibit discontinuities, e.g. in variational models of fracture mechanics, in the theory of computer vision and image segmentation, and in problems involving phase transformations.
We are interested in determining the almost sure limit behaviour of \(E_\varepsilon \) as \(\varepsilon \rightarrow 0+\), when f and g satisfy linear growth and coercivity conditions in the gradient and in the jump, respectively. The linear growth of the volume energy sets the limit problem naturally in the space BV of functions of bounded variation. Indeed, in this setting, limits of sequences of displacements with bounded energy can develop a Cantor component in the distributional gradient.
This is in contrast with our previous work [16] (in the deterministic case) and [17] (in the stochastic case), where, under the assumption of superlinear growth for f, the limit problem was naturally set in the space SBV of special functions with bounded variation.
The two main results of this paper are a deterministic homogenisation result for functionals of the type (1.1), when \(\omega \) is fixed and f and g are not necessarily periodic, and a stochastic homogenisation result, obtained for P-a.e. \(\omega \in \text{\O}mega \), under the additional assumption of stationarity of f and g.
1.1 The deterministic result
For the deterministic result we consider \(\omega \) as fixed in (1.1) and write \(E_\varepsilon (u,A)\) instead of \(E_\varepsilon (\omega )(u,A)\).
We study the limit behaviour of the functionals \(E_\varepsilon (\cdot , A)\), for every \(A\in {\mathscr {A}}\), as \(\varepsilon \rightarrow 0+\), under the assumption that the energy densities f and g belong to suitable classes \({\mathcal {F}}\) and \({\mathcal {G}}\) of admissible volume and surface densities (see Definition 3.1). As announced above, a key requirement for the class \({\mathcal {F}}\) is that f satisfies linear upper and lower bounds in the gradient variable. Additionally, we require that the recession function \(f^\infty \) of f is defined at every point. For the class \({\mathcal {G}}\), we require that g is bounded from below and from above by the amplitude of the jump, and that its directional derivative \(g_0\) in the jump variable at \([u]=0\) exists and is finite. The functions \(f^\infty \) and \(g_0\) will play an important role in determining the limiting densities.
We stress here that we do not require any periodicity in the spatial variable x for the volume and surface densities; moreover, we do not require any continuity in the spatial variable either, since it would be unnatural for applications.
Under these general assumptions, using the so-called localisation method of \(\Gamma \)-convergence [18], we can prove that there exists a subsequence \((\varepsilon _k)\) such that, for every \(A\in {\mathscr {A}}\), \((E_{\varepsilon _k}(\cdot ,A))\) \(\Gamma \)-converges to an abstract functional \({\widehat{E}}(\cdot ,A)\), that \({\widehat{E}}(\cdot ,A)\) is finite only in BV, and that, for every \(u\in BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), the set function \({\widehat{E}}(u,\cdot )\) is the restriction to \({\mathscr {A}}\) of a Borel measure (see Theorem 5.1).
Note that, without any additional assumptions, one cannot expect that \(\widehat{E}(\cdot ,A)\) can be written in an integral form. In particular, since there is no guarantee that \(z\mapsto {\widehat{E}}(u(\cdot -z),A+z)\) is continuous (which is instead automatically satisfied in the periodic case), we cannot directly apply the integral representation result in BV [10]. Our integral representation result is hence obtained under some additional assumptions, which are though more general than periodicity. We require that the limits of some rescaled minimisation problems, defined in terms of f, g, \(f^\infty \), and \(g_0\), exist and are independent of the spatial variable. These limits will then define the densities of \({\widehat{E}}\).
More precisely, for \(A\in {\mathscr {A}}\), \(w\in SBV(A,{{\mathbb {R}}}^m)\), \(f\in {\mathcal {F}}\), and \(g\in {\mathcal {G}}\) we set
and we assume that for every \(\xi \in {{\mathbb {R}}}^{m\times n}\) the limit
exists and is independent of \(x\in {{\mathbb {R}}}^n\), and that for every \(\zeta \in {{\mathbb {R}}}^{m}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) the limit
exists and is independent of \(x\in {{\mathbb {R}}}^n\). In (1.3), \(\ell _\xi \) denotes the linear function with gradient \(\xi \); in (1.4), \(Q^\nu _r(rx):= R_\nu \big ((-\tfrac{r}{2},\tfrac{r}{2})^{n}\big ) + rx\), where \(R_\nu \) is an orthogonal \(n{\times } n\) matrix such that \(R_\nu e_n=\nu \), and
The limits (1.3) and (1.4) are the counterpart of the asymptotic cell-formulas in the classical periodic homogenisation [10]. In that case, periodicity in the spatial variable x ensures the existence of the limits and their homogeneity in x, that here we have to postulate. Our assumptions are however weaker than periodicity: notably, they are fulfilled in the case of stationary integrands, as we show in the present work.
In line with the result in [10], the functional being minimised in (1.3) (respectively in (1.4)) has densities f and \(g_0\) (respectively \(f^\infty \) and g) rather than f and g. We note that, if the density f satisfied a superlinear growth, then \(f^\infty (\cdot ,\xi )=+\infty \) for \(\xi \ne 0\). Since one always has \(f^\infty (\cdot ,0)=0\), in the superlinear case there would be the following changes in (1.4): on the one hand the minimisation would be done over functions with \(\nabla u=0\); on the other hand the functional to be minimised would reduce to just the surface term. This is indeed the situation in [16], where we assume a superlinear growth for f. Moreover, in [16] we work under different growth conditions for g as well, which in particular satisfies \(g\ge c\), for a given fixed positive constant. In that case \(g_0\equiv +\infty \) (see (3.3)), and hence formally the minimisation in (1.3) would be over Sobolev functions, and the functional to be minimised would reduce to just the bulk term. Again, this is exactly what happens in [16] (see also [11, 28]).
In Lemmas 4.2 and 4.5 we show that \(f_{\textrm{hom}}\in {\mathcal {F}}\) and \(g_{\textrm{hom}}\in {{\mathcal {G}}}\); the fact that \(f_{\textrm{hom}}\in {\mathcal {F}}\) guarantees in particular the existence of its recession function \(f^\infty _{\textrm{hom}}\). In Propositions 6.2, 7.2, and 8.3, we show that the functions \(f_{\textrm{hom}}\), \(g_{\textrm{hom}}\) and \(f^\infty _{\textrm{hom}}\) are the densities of the volume, surface, and Cantor terms of \({\widehat{E}}\), respectively. To do so we use the blow-up technique of Fonseca and Müller [27] (see also [12]), extended to the BV-setting by Bouchitté, Fonseca, and Mascarenhas [10]. More precisely, thanks to (1.3) and (1.4), we prove that the following identities hold true for every \(A \in {\mathscr {A}}\) and for every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) with \(u|_A\in BV(A,{{\mathbb {R}}}^m)\):
![](http://media.springernature.com/lw459/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ476_HTML.png)
and
where \({\mathcal {L}}^n\) is the Lebesgue measure in \({{\mathbb {R}}}^n\), is the measure defined by
for every Borel set \(B\subset {{\mathbb {R}}}^n\), and C(u) is the Cantor part of the distributional derivative of u.
In particular, since the right-hand sides of the previous equalities do not depend on \((\varepsilon _k)\), the homogenisation result holds true for the whole sequence \((E_\varepsilon )\). Moreover, the fact that \(f_{\textrm{hom}}\in {\mathcal {F}}\) and \(g_{\textrm{hom}}\in {{\mathcal {G}}}\) implies that the classes \({\mathcal {F}}\) and \({{\mathcal {G}}}\) are closed under homogenisation, and that on SBV the functionals \(E_\varepsilon \) and their \(\Gamma \)-limit \({\widehat{E}}\) are free-discontinuity functionals of the same type.
As observed before, \(f_{\textrm{hom}}\) and \(g_{\textrm{hom}}\) depend on both the volume and the surface densities of the functional \(E_\varepsilon \). Indeed, the minimisation problems in (1.3) and (1.4) involve both f (or \(f^\infty \)) and g (or \(g_0\)). In other words, volume and surface term do interact in the limit, which is a typical feature of the linear-growth setting. This is in contrast with the case of superlinear growth considered in [16], in which the limit volume density only depends on the volume density of \(E_\varepsilon \), and similarly the limit surface density only depends on the surface density of \(E_\varepsilon \). The volume-surface decoupling is typical of the SBV-setting in presence of superlinear growth conditions on f [11, 16, 28].
Note however that, even in the superlinear case, if f and g satisfy “degenerate” coercivity conditions, due for instance to the presence of perforations or “weak” inclusions in the domain, the situation is more involved. Indeed, while in [7, 14, 15, 25, 33] the volume and surface terms do not interact in the homogenised limit, in [6, 8, 20, 32, 34, 35] they do interact and produce rather complex limit effects.
1.2 The stochastic result
In Section 9 we prove the almost sure \(\Gamma \)-convergence of the sequence of random functionals \(E_\varepsilon (\omega )\) in (1.1) to a random homogenised integral functional, under the assumption that the volume and surface integrands f and g are stationary (see Definition 3.12 and Remark 3.16).
In the random setting stationarity is the natural counterpart of periodicity, since it implies that f and g are “statistically” translation-invariant, or “periodic in law”.
The application of the deterministic result Theorem 4.1, at \(\omega \) fixed, ensures that \(E_\varepsilon (\omega )\) \(\Gamma \)-converges to the free-discontinuity functional
with
for every \(\xi \in {{\mathbb {R}}}^{m\times n}\), and
for every \(\zeta \in {{\mathbb {R}}}^{m}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\), provided the limits in (1.5) and (1.6) (which are the same as (1.3) and (1.4), modulo the additional dependence on the random parameter \(\omega \)) exist and are independent of \(x\in {{\mathbb {R}}}^n\). Therefore, to show that the \(\Gamma \)-convergence of \(E_\varepsilon (\omega )\) towards \(E_{\textrm{hom}}(\omega )\) actually holds true for P-a.e. \(\omega \in \text{\O}mega \) it is necessary to show that the limits in (1.5) and (1.6) exist and are independent of \(x\in {{\mathbb {R}}}^n\) for P-almost every realisation \(\omega \in \text{\O}mega \). To do so, we follow the general strategy firstly introduced in [19] in the Sobolev setting, and then extended to the SBV-setting in [17] (see also [3]).
This strategy relies on the Subadditive Ergodic Theorem by Akcoglu and Krengel [1] (see Theorem 3.15) and requires, among other things, to show that the minimisation problems in (1.5) and (1.6) define two subadditive stochastic processes (see Definition 3.13).
This task however poses a challenge even at the very first step: proving that \(\omega \mapsto m^{f(\omega ),g_0(\omega )}\) and \(\omega \mapsto m^{f^\infty (\omega ),g(\omega )}\) are measurable. Indeed, while both \(m^{f(\omega ),g_0(\omega )}\) and \(m^{f^\infty (\omega ),g(\omega )}\), by (1.2), involve the minimisation of measurable functionals in the random variable \(\omega \), such minimisation is performed over the space SBV, which is not separable. Since the infimum in (1.2) cannot be reduced to a countable set, the measurability of \(\omega \mapsto m^{f(\omega ),g_0(\omega )}\) and \(\omega \mapsto m^{f^\infty (\omega ),g(\omega )}\) cannot be inferred directly from the measurability in \(\omega \) of f, \(f^\infty \), g and \(g_0\) (see the Appendix). Let us also observe that the situation here is substantially different from that treated in [16, 17], for a number of reasons. Indeed in [16, 17], as observed before, due to the different assumptions on f and g, the \(\Gamma \)-limit exhibits a “separation” of the volume and surface term. In particular, the limit volume density is obtained as the limit of some minimisation problems similar to (1.2), but where the minimisation is done over the space of Sobolev functions. Hence in that case the limit volume density is \(\omega \)-measurable, due to the separability of the space (see also [19]). On the other hand, the measurability of the minimisation problems defining the limit surface density was delicate also in [17], since the minimum was taken over Caccioppoli partitions. However, in [17] the minimisation involved only the surface term of the functional, which makes the proof much simpler than the one required now.
Once the measurability in \(\omega \) is established (see Proposition A.12), we have to face yet another difficulty: determining the dimension of the stochastic processes. Indeed, using the competitors \(\ell _\xi \) and \(u_{rx,\zeta ,\nu }\) in the minimisation problems \(m^{f(\omega ),g_0(\omega )}\) and \(m^{f^\infty (\omega ),g(\omega )}\), respectively, suggests the rescalings in (1.5) and (1.6). Hence it suggests that \(m^{f(\omega ),g_0(\omega )}\) should define an n-dimensional process, while \(m^{f^\infty (\omega ),g(\omega )}\) should define an \((n-1)\)-dimensional process. On the other hand, in both cases the functionals appearing in the minimisation problems, if seen as set functions, are defined on n-dimensional sets.
To solve this problem we proceed as in [3, 13] and [17], where similar issues arise in the study of pure surface energies of spin systems, and in the case of free-discontinuity problems with superlinear growth, respectively.
Finally, the last difficulty consists in showing that, as in [3, 17], the limits in (1.5) and (1.6) do not depend on x. This is particularly delicate for (1.6), due to the presence of an x-dependent boundary condition.
We conclude by observing that our analysis also shows that, if f and g are ergodic, then the homogenised integrands \(f_{\textrm{hom}}\) and \(g_{\textrm{hom}}\) are \(\omega \)-independent, and hence the limit \(E_{\textrm{hom}}\) is deterministic.
1.3 Outline of the paper.
This paper is organised as follows. In Section 2 we introduce some notation. Section 3 consists of two parts: in Section 3.1 we introduce the stochastic free-discontinuity functionals and recall the Ergodic Subadditive Theorem; in Section 3.2 we state the main results of the paper.
Sections 4–8 focus on the deterministic results. More in detail, in Section 4 we state the deterministic \(\Gamma \)-convergence results and prove some properties of the limit densities; Section 5 is devoted to the abstract \(\Gamma \)-convergence result; the volume, surface and Cantor terms of the abstract \(\Gamma \)-limit are then identified in Sections 6, 7 and 8, respectively.
Finally, Section 9 focuses on the stochastic homogenisation result, while the proof of the measurability of \(\omega \mapsto m^{f(\omega ),g_0(\omega )}\) and \(\omega \mapsto m^{f^\infty (\omega ),g(\omega )}\) is postponed to the Appendix.
2 Notation
We introduce now some notation that will be used throughout the paper.
-
(a)
m and n are fixed positive integers, with \(n\ge 2\), \({{\mathbb {R}}}\) is the set of real numbers, while \({{\mathbb {Q}}}\) is the set of rational numbers. The canonical basis of \({{\mathbb {R}}}^n\) is denoted by \(e_1,\dots , e_n\). For \(a, b \in {{\mathbb {R}}}^n\), \(a \cdot b\) denotes the Euclidean scalar product between a and b, and \(|\cdot |\) denotes the absolute value in \({{\mathbb {R}}}\) or the Euclidean norm in \({{\mathbb {R}}}^n\), \({{\mathbb {R}}}^m\), or \({{\mathbb {R}}}^{m{\times }n}\) (the space of \(m \times n\) matrices with real entries), depending on the context. If \(v \in {{\mathbb {R}}}^m\) and \(w \in {{\mathbb {R}}}^n\), the symbol \(v \otimes w\) stands for the matrix in \({{\mathbb {R}}}^{m \times n}\) whose entries are \((v \otimes w)_{ij} = v_i w_j\), for \(i = 1, \ldots , m\) and \(j = 1, \ldots , n\).
-
(b)
\({{\mathbb {S}}}^{m-1}:=\{\zeta =(\zeta _1,\dots ,\zeta _m)\in {\mathbb {R}}^{m}: \zeta _1^2+\dots +\zeta _m^2=1\}\), \({{\mathbb {S}}}^{n-1}:=\{x=(x_1,\dots ,x_n)\in {\mathbb {R}}^{n}: x_1^2+\dots +x_n^2=1\}\), and \({\widehat{{{\mathbb {S}}}}}^{n-1}_\pm :=\{x\in {{\mathbb {S}}}^{n-1}: \pm x_{i(x)}>0\}\), where i(x) is the largest \(i\in \{1,\dots ,n\}\) such that \(x_i\ne 0\). Note that \({{\mathbb {S}}}^{n-1} = {\widehat{{{\mathbb {S}}}}}^{n-1}_+ \cup {\widehat{{{\mathbb {S}}}}}^{n-1}_-\).
-
(c)
\({\mathcal {L}}^n\) denotes the Lebesgue measure on \({{\mathbb {R}}}^n\) and \({\mathcal {H}}^{n-1}\) the \((n-1)\)-dimensional Hausdorff measure on \({{\mathbb {R}}}^n\).
-
(d)
\({\mathscr {A}}\) denotes the collection of all bounded open subsets of \({{\mathbb {R}}}^n\); if A, \(B\in {\mathscr {A}}\), by \(A\subset \subset B\) we mean that A is relatively compact in B.
-
(e)
For \(u\in BV(A,{{\mathbb {R}}}^m)\), with \(A \in {\mathscr {A}}\), the jump of u across the jump set \(S_u\) is defined by \([u]:=u^+-u^-\), while \(\nu _u\) denotes the (generalised) normal to \(S_u\) (see [5, Definition 3.67]).
-
(f)
For every \(u\in BV(A,{{\mathbb {R}}}^m)\), with \(A \in {\mathscr {A}}\), the distributional gradient, denoted by Du, is an \({{\mathbb {R}}}^{m{\times }n}\)-valued Radon measure on A, whose absolutely continuous part with respect to \({\mathcal {L}}^n\), denoted by \(D^au\), has a density \(\nabla u\in L^1(A,{{\mathbb {R}}}^{m{\times }n})\) (which coincides with the approximate gradient of u), while the singular part \(D^su\) can be decomposed as \(D^su = D^ju + C(u)\), where the jump part \(D^ju\) is given by
$$\begin{aligned} D^ju (B)=\int _{B\cap S_u}[u]\otimes \nu _u d{{\mathcal {H}}}^{n-1} \quad \hbox {for every Borel set }B\subset A, \end{aligned}$$and the Cantor part C(u) is an \({{\mathbb {R}}}^{m{\times }n}\)-valued Radon measure on A which vanishes on all Borel sets \(B\subset A\) with \({{\mathcal {H}}}^{n-1}(B)<+\infty \).
-
(g)
For \(x\in {\mathbb {R}}^n\) and \(\rho >0\) we define
$$\begin{aligned}&B_\rho (x):=\{y\in {{\mathbb {R}}}^n: \,|y-x|<\rho \}, \\&Q_\rho (x):= \{y\in {{\mathbb {R}}}^n: \,|(y-x)\cdot e_i | <\tfrac{\rho }{2} \quad \hbox {for } i=1,\dots ,n \}. \end{aligned}$$We omit the subscript \(\rho \) when \(\rho =1\).
-
(h)
For every \(\nu \in {{\mathbb {S}}}^{n-1}\) let \(R_\nu \) be an orthogonal \(n{\times } n\) matrix such that \(R_\nu e_n=\nu \); we assume that the restrictions of the function \(\nu \mapsto R_\nu \) to the sets \({\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \) defined in (b) are continuous and that \(R_{-\nu }Q(0)=R_\nu Q(0)\) for every \(\nu \in {{\mathbb {S}}}^{n-1}\); moreover, we assume that \(R_\nu \in O(n) \cap {\mathbb {Q}}^{n \times n}\) for every \(\nu \in \mathbb {Q}^n\cap \mathbb {S}^{n-1}\), where O(n) denotes the set of orthogonal \(n\times n\) matrices. A map \(\nu \mapsto R_\nu \) satisfying these properties is provided in [16, Example A.1 and Remark A.2].
-
(i)
For \(x\in {\mathbb {R}}^n\), \(\rho >0\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) we set
$$\begin{aligned} Q^\nu _\rho (x):= R_\nu Q_\rho (0) + x. \end{aligned}$$For \(k\in {{\mathbb {R}}}\), with \(k>0\), we also define the rectangle
$$\begin{aligned} Q^{\nu ,k}_\rho (x):=Q^{\nu ,k}_\rho (0)+x \end{aligned}$$where \(Q^{\nu ,k}_\rho (0)\) is obtained from \(Q^\nu _\rho (0)\) by a dilation of amplitude k in the directions orthogonal to \(\nu \); i.e.,
$$\begin{aligned} Q^{\nu ,k}_\rho (0):=R_\nu \big ((-\tfrac{k\rho }{2},\tfrac{k\rho }{2})^{n-1}\times (-\tfrac{\rho }{2},\tfrac{\rho }{2})\big ). \end{aligned}$$We set
$$\begin{aligned}&\partial ^\perp _\nu Q^{\nu ,k}_\rho (x):= \partial Q^{\nu ,k}_\rho (x)\cap R_\nu \big ((-\tfrac{k\rho }{2},\tfrac{k\rho }{2})^{n-1}\times {{\mathbb {R}}}\big ), \\&\partial ^\parallel _\nu Q^{\nu ,k}_\rho (x):= \partial Q^{\nu ,k}_\rho (x)\cap R_\nu \big ({{\mathbb {R}}}^{n-1}\times (-\tfrac{\rho }{2},\tfrac{\rho }{2})\big ), \end{aligned}$$namely the union of the faces of \(Q^{\nu ,k}_\rho (x)\) that are orthogonal and parallel to \(\nu \), respectively.
-
(j)
Let \(\mu \) and \(\lambda \) be two Radon measures on \(A\in {\mathscr {A}}\), with values in a finite dimensional Hilbert space X and in \([0,+\infty ]\), respectively; for every \(x\in A\) the Radon-Nikodym derivative of \(\mu \) with respect to \(\lambda \) is defined as
$$\begin{aligned} \frac{d\mu }{d\lambda }(x):=\lim _{r\rightarrow 0+}\frac{\mu (x+rC)}{\lambda (x+rC)} \end{aligned}$$whenever the limit exists in X and is independent of the choice of the bounded, closed set C containing the origin in its interior (see [26, Definition 1.156]); according to the Besicovich differentiation theorem \(\frac{d\mu }{d\lambda }(x)\) exists for \(\lambda \)-a.e. \(x\in A\) and \(\mu =\frac{d\mu }{d\lambda }\lambda +\mu ^s\), where \(\mu ^s\) is the singular part of \(\mu \) with respect to \(\lambda \) (see [26, Theorem 1.155]).
-
(k)
For \(\xi \in {{\mathbb {R}}}^{m{\times }n}\), the linear function from \({{\mathbb {R}}}^n\) to \({{\mathbb {R}}}^m\) with gradient \(\xi \) is denoted by \(\ell _\xi \); i.e., \(\ell _\xi (x):=\xi x\), where x is considered as an \(n{\times }1\) matrix.
-
(l)
For \(x\in {\mathbb {R}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) we define the function \(u_{x,\zeta ,\nu }\) as
$$\begin{aligned} u_{x,\zeta ,\nu }(y):={\left\{ \begin{array}{ll} \zeta \quad &{} \text{ if } \,\, (y-x)\cdot \nu \ge 0,\\ 0 \quad &{} \text{ if } \,\, (y-x)\cdot \nu < 0. \end{array}\right. } \end{aligned}$$ -
(m)
For \(x\in {\mathbb {R}}^n\) and \(\nu \in {{\mathbb {S}}}^{n-1}\), we set
$$\begin{aligned} \Pi ^{\nu }_0:= \{y\in {{\mathbb {R}}}^n: y\cdot \nu = 0\}\quad \text {and}\quad \Pi ^{\nu }_{x}:= \{y\in {{\mathbb {R}}}^n: (y-x)\cdot \nu = 0\}. \end{aligned}$$ -
(n)
For a given topological space X, \({\mathscr {B}}(X)\) denotes its Borel \(\sigma \)-algebra. For every integer \( k \ge 1\), \({\mathscr {B}}^k\) is the Borel \(\sigma \)-algebra of \({{\mathbb {R}}}^k\), while \({\mathscr {B}}^n_S\) stands for the Borel \(\sigma \)-algebra of \({\mathbb {S}}^{n-1}\).
3 Setting of the problem and statements of the main results
This section consists of two parts: in Section 3.1 we introduce the stochastic free-discontinuity functionals and recall the Ergodic Subadditive Theorem; in Section 3.2 we state the main results of the paper.
3.1 Setting of the problem
Throughout the paper we fix the following constants: \(c_1\), \(c_2\), \(c_3\), \(c_4\), \(c_5\in [0,+\infty )\), with \(0<c_2\le c_3\), and \(\alpha \in (0,1)\). Moreover, we fix two nondecreasing continuous functions \(\sigma _1\), \(\sigma _2:[0,+\infty ) \rightarrow [0,+\infty )\) such that \(\sigma _1(0)=\sigma _2(0)=0\).
Definition 3.1
(Volume and surface integrands) Let \({\mathcal {F}}={\mathcal {F}}(c_1,c_2,c_3,c_4,c_5, \alpha , \sigma _1)\) be the collection of all functions \(f:{{\mathbb {R}}}^n{\times } {{\mathbb {R}}}^{m{\times }n}\rightarrow [0,+\infty )\) satisfying the following conditions:
- (f1):
-
(measurability) f is Borel measurable on \({{\mathbb {R}}}^n{\times } {{\mathbb {R}}}^{m{\times }n}\);
- (f2):
-
(continuity in \(\xi \)) for every \(x \in {{\mathbb {R}}}^n\) we have
$$\begin{aligned} |f(x,\xi _1)-f(x,\xi _2)| \le \sigma _1(|\xi _1-\xi _2|)\big (f(x,\xi _1)+f(x,\xi _2)\big ) + c_1|\xi _1-\xi _2| \end{aligned}$$for every \(\xi _1\), \(\xi _2 \in {{\mathbb {R}}}^{m{\times }n}\);
- (f3):
-
(lower bound) for every \(x \in {{\mathbb {R}}}^n\) and every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\)
$$\begin{aligned} c_2 |\xi | \le f(x,\xi ); \end{aligned}$$ - (f4):
-
(upper bound) for every \(x \in {{\mathbb {R}}}^n\) and every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\)
$$\begin{aligned} f(x,\xi ) \le c_3|\xi |+c_4; \end{aligned}$$ - (f5):
-
(recession function) for every \(x \in {{\mathbb {R}}}^n\) and every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\) the limit
$$\begin{aligned} f^\infty (x,\xi ):=\lim _{t\rightarrow +\infty } \tfrac{1}{t}f(x,t\xi ), \end{aligned}$$(3.1)which defines the recession function of f, exists and is finite; moreover, \(f^\infty \) satisfies the inequality
$$\begin{aligned} |f^\infty (x,\xi )- \tfrac{1}{t}f(x,t\xi ) |\le \tfrac{c_5}{t}+\tfrac{c_5}{t}f(x,t\xi )^{1-\alpha } \end{aligned}$$(3.2)for every \(x \in {{\mathbb {R}}}^n\), every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\), and every \(t>0\).
Let \({\mathcal {G}}={\mathcal {G}}(c_2,c_3,\sigma _2)\) be the collection of all functions \(g:{{\mathbb {R}}}^n{\times }{{\mathbb {R}}}^m{\times } {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) satisfying the following conditions:
- (g1):
-
(measurability) g is Borel measurable on \({{\mathbb {R}}}^n{\times }{{\mathbb {R}}}^m{\times } {{\mathbb {S}}}^{n-1}\);
- (g2):
-
(continuity in \(\zeta \)) for every \(x\in {{\mathbb {R}}}^n\) and every \(\nu \in {{\mathbb {S}}}^{n-1}\) we have
$$\begin{aligned} |g(x,\zeta _2,\nu )-g(x,\zeta _1,\nu )|\le \sigma _2(|\zeta _1-\zeta _2|)\big (g(x,\zeta _1,\nu )+g(x,\zeta _2,\nu )\big ) \end{aligned}$$for every \(\zeta _1\), \(\zeta _2\in {{\mathbb {R}}}^m\);
- (g3):
-
(lower bound) for every \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\)
$$\begin{aligned} c_2 |\zeta | \le g(x,\zeta ,\nu ); \end{aligned}$$ - (g4):
-
(upper bound) for every \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\)
$$\begin{aligned} g(x,\zeta ,\nu ) \le c_3 |\zeta |; \end{aligned}$$ - (g5):
-
(directional derivative at 0) for every \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) the limit
$$\begin{aligned} g_0(x,\zeta ,\nu ):=\lim _{t\rightarrow 0+} \tfrac{1}{t} g(x,t\,\zeta ,\nu ) \end{aligned}$$(3.3)exists, is finite, and is uniform with respect to \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {S}}}^{m-1}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\).
- (g6):
-
(symmetry) for every \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\)
$$\begin{aligned} g(x,\zeta ,\nu ) = g(x,-\zeta ,-\nu ). \end{aligned}$$
For every \(f \in {\mathcal {F}}\), \( g \in {{\mathcal {G}}}\), \(A\in {\mathscr {A}}\), and \(u\in SBV(A,{{\mathbb {R}}}^m)\) we set
and for every \(w\in SBV(A,{{\mathbb {R}}}^m)\) we set
The expression “\(u=w \text { near }\partial A\)” means that there exists a neighbourhood U of \(\partial A\) such that \(u=w\) \({\mathcal {L}}^n\)-a.e. in \(U\cap A\). More in general, if \(\Lambda \subset \partial A\) is a relatively open subset of \(\partial A\), the expression “\(u=w \text { near }\Lambda \)” means that there exists a neighbourhood U of \(\Lambda \) in \({{\mathbb {R}}}^n\) such that \(u=w\) \({\mathcal {L}}^n\)-a.e. in \(U \cap A\).
For technical reasons, related to the details of the statement of the Subadditive Ergodic Theorem, it is convenient to extend this definition to an arbitrary bounded subset A of \({{\mathbb {R}}}^n\), by setting \(m^{f,g}(w,A):=m^{f,g}(w,\textrm {int}A)\), where \(\textrm {int}A\) denotes the interior of A.
Remark 3.2
If \(f\in {\mathcal {F}}\) and \(g\in {\mathcal {G}}\), then \(f^\infty \in {\mathcal {F}}\) and \(g_0\in {\mathcal {G}}\). Moreover, the lower bounds (f3) and (g3) imply that
for every \(A\in {\mathscr {A}}\) and \(u \in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \(u|_A\in SBV(A,{{\mathbb {R}}}^m)\).
Remark 3.3
From (f4) and (f5) it follows that for every \(L>0\) there exists \(M>0\), depending on \(c_3\), \(c_4\), \(c_5\), and L, such that
Conversely, if the limit in (3.1) exists and f satisfies (f3), (f4), and (3.5) for some \(L>0\) and \(M>0\), then for every \(x \in {{\mathbb {R}}}^n\), \(\xi \in {{\mathbb {R}}}^{m{\times }n}\), and \(t>0\) we have
where in the last inequality we used the fact that that \(f^\infty (x,\xi ) \le c_3 | \xi |\) for every \(x\in {{\mathbb {R}}}^n\) and \(\xi \in {{\mathbb {R}}}^{m \times n}\). This implies that f satisfies (3.2) for a suitable constant \(c_5\), depending only on \(c_2, c_3\), \(c_4\), L, and M.
Remark 3.4
If (f4) holds, then (f5) is equivalent to the fact that
for every \(x \in {{\mathbb {R}}}^n\), every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\), and every \(s,\,t>0\). Indeed, using the triangle inequality we obtain (3.6) from (3.2) for s and t. Conversely, if (f4) holds, then \(\tfrac{c_5}{t}+\tfrac{c_5}{t}f(x,t\xi )^{1-\alpha }\rightarrow 0\) as \(t\rightarrow +\infty \). Therefore (3.6) implies that \(t\mapsto \tfrac{1}{t}f(x,t\xi )\) satisfies the Cauchy condition as \(t\rightarrow +\infty \), hence the limit in (3.1) exists, while (3.2) follows from (3.6) by taking the limit as \(s\rightarrow +\infty \).
Remark 3.5
Assume that \(g:{{\mathbb {R}}}^n{\times }{{\mathbb {R}}}^m{\times } {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) satisfies (g5) and let \(\lambda :[0,+\infty )\rightarrow [0,+\infty )\) be defined by
Then \(\lambda \) is nondecreasing and
for every \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\). If g satisfies also (g3), then (3.9) gives
Conversely, if the limit in (3.3) exists (even with no uniformity assumptions) and g satisfies (g4) and (3.10), then it satisfies (3.9) with \(\lambda \) replaced by \(\frac{c_3}{c_2}\lambda \), which implies that g satisfies (g5).
Remark 3.6
If \(g:{{\mathbb {R}}}^n{\times }{{\mathbb {R}}}^m{\times } {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) satisfies (g3), (g4), and (g5), then by (3.10) and by the triangle inequality we get
for every \(s, t>0\), \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\). Conversely, if (g4) and (3.11) hold, with some function \(\lambda \) satisfying (3.8), then \(\lambda (t|\zeta |)\tfrac{1}{t} g(x,t\,\zeta ,\nu )\rightarrow 0\) as \(t\rightarrow 0+\) and hence, using (3.11), we deduce that the function \(t\mapsto \tfrac{1}{t} g(x,t\,\zeta ,\nu )\) satisfies the Cauchy condition as \(t\rightarrow 0+\). This implies that the limit in (3.3) exists and is finite. Moreover, passing to the limit as \(s\rightarrow 0+\) from (3.11) we obtain (3.10), which, in turn, yields (g5).
We are now ready to introduce the probabilistic setting of our problem. In what follows \((\text{\O}mega ,{\mathcal {T}},P)\) denotes a fixed probability space.
Definition 3.7
(Random integrands) A function \(f :\text{\O}mega \times {{\mathbb {R}}}^n \times {{\mathbb {R}}}^{m \times n} \rightarrow [0,+\infty )\) is called a random volume integrand if
-
(a1)
f is \({\mathcal {T}}\otimes {\mathscr {B}}^n\otimes {\mathscr {B}}^{m\times n}\)-measurable;
-
(b1)
\(f(\omega ,\cdot ,\cdot )\in {\mathcal {F}}\) for every \(\omega \in \text{\O}mega \).
A function \(g :\text{\O}mega \times {{\mathbb {R}}}^n\times {{\mathbb {R}}}^m \times {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) is called a random surface integrand if
-
(a2)
g is \({\mathcal {T}}\otimes {\mathscr {B}}^n\otimes {\mathscr {B}}^m\otimes {\mathscr {B}}^{n}_S\)-measurable;
-
(b2)
\(g(\omega ,\cdot ,\cdot ,\cdot )\in {\mathcal {G}}\) for every \(\omega \in \text{\O}mega \).
Let f be a random volume integrand and let g be a random surface integrand. For every \(\omega \in \text{\O}mega \) and every \(\varepsilon >0\) we consider the free-discontinuity functional \(E_\varepsilon (\omega ):L^{1}_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}}\longrightarrow [0,+\infty ]\) defined by
Definition 3.8
Il f is a random volume integrand, we define \(f^\infty :\text{\O}mega \times {{\mathbb {R}}}^n \times {{\mathbb {R}}}^{m \times n} \rightarrow [0,+\infty )\) by
If g is a random surface integrand, we define \(g_0 :\text{\O}mega \times {{\mathbb {R}}}^n\times {{\mathbb {R}}}^m \times {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) by
Remark 3.9
The existence of the limit in (3.13) follows from (b1) in Definition 3.7 and from (f5). Since for every \(t>0\) the functions \((\omega ,x,\xi )\mapsto \tfrac{1}{t}f(\omega ,x,t\xi )\) are \({\mathcal {T}}\otimes {\mathscr {B}}^n\otimes {\mathscr {B}}^{m\times n}\)-measurable by (a1), the same property holds for \(f^\infty \). Moreover, from Remark 3.2 and from (b1) we deduce that \(f^\infty (\omega ,\cdot ,\cdot )\in {\mathcal {F}}\) for every \(\omega \in \text{\O}mega \). We conclude that \(f^\infty \) is a random volume integrand.
The existence of the limit in (3.14) follows from (b2) in Definition 3.7 and from (g5). Since for every \(t>0\) the functions \((\omega ,x,\zeta ,\nu )\mapsto \tfrac{1}{t} g(\omega ,x,t\,\zeta ,\nu )\) are \({\mathcal {T}}\otimes {\mathscr {B}}^n\otimes {\mathscr {B}}^m\otimes {\mathscr {B}}^{n}_S\)-measurable by (a2), the same property holds for \(g_0\). Moreover, from Remark 3.2 and from (b2) we deduce that \(g_0(\omega ,\cdot ,\cdot ,\cdot )\in {\mathcal {G}}\) for every \(\omega \in \text{\O}mega \). We conclude that \(g_0\) is a random surface integrand.
In the study of stochastic homogenisation an important role is played by the notions introduced by the following definitions.
Definition 3.10
(P-preserving transformation) A P-preserving transformation on \((\text{\O}mega ,{\mathcal {T}},P)\) is a map \(T :\text{\O}mega \rightarrow \text{\O}mega \) satisfying the following properties:
-
(a)
(measurability) T is \({\mathcal {T}}\)-measurable;
-
(b)
(bijectivity) T is bijective;
-
(c)
(invariance) \(P(T(E))=P(E)\), for every \(E\in {\mathcal {T}}\).
If, in addition, every set \(E\in {\mathcal {T}}\) which satisfies \(T(E)=E\) (called T-invariant set) has probability 0 or 1, then T is called ergodic.
Definition 3.11
(Group of P-preserving transformations) Let d be a positive integer. A group of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\) is a family \((\tau _z)_{z\in {{\mathbb {Z}}}^d}\) of mappings \(\tau _z :\text{\O}mega \rightarrow \text{\O}mega \) satisfying the following properties:
-
(a)
(measurability) \(\tau _z\) is \({\mathcal {T}}\)-measurable for every \(z\in {{\mathbb {Z}}}^d\);
-
(b)
(bijectivity) \(\tau _z\) is bijective for every \(z\in {{\mathbb {Z}}}^d\);
-
(c)
(invariance) \(P(\tau _z(E))=P(E)\), for every \(E\in {\mathcal {T}}\) and every \(z\in {{\mathbb {Z}}}^d\);
-
(d)
(group property) \(\tau _{0}={\textrm id}_\text{\O}mega \) (the identity map on \(\text{\O}mega \)) and \(\tau _{z+z'}=\tau _{z} \circ \tau _{z'}\) for every \(z, z'\in \mathbb {Z}^d\).
If, in addition, every set \(E\in {\mathcal {T}}\) which satisfies \(\tau _z (E)=E\) for every \(z\in {{\mathbb {Z}}}^d\) has probability 0 or 1, then \((\tau _z)_{z\in {{\mathbb {Z}}}^d}\) is called ergodic.
We are now in a position to define the notion of stationary random integrand.
Definition 3.12
(Stationary random integrand) A random volume integrand f is stationary with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\) if
for every \(\omega \in \text{\O}mega \), \(x\in {{\mathbb {R}}}^n\), \(z\in {{\mathbb {Z}}}^n\), and \(\xi \in {{\mathbb {R}}}^{m \times n}\).
Similarly, a random surface integrand g is stationary with respect to \((\tau _z)_{z\in {{\mathbb {Z}}}^{n}}\) if
for every \(\omega \in \text{\O}mega \), \(x\in {{\mathbb {R}}}^n\), \(z\in {{\mathbb {Z}}}^{n}\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\).
We now recall the notion of subadditive stochastic process as well as the Subadditive Ergodic Theorem by Akcoglu and Krengel [1, Theorem 2.7].
Let d be a positive integer. For every \(a,b\in {{\mathbb {R}}}^d\), with \(a_i< b_i\) for \(i=1,\dots ,d\), we define
and we set
Definition 3.13
(Subadditive process) A d-dimensional subadditive process with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^{ d}}\), \(d\ge 1\), of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\) is a function \(\mu :\text{\O}mega \times {\mathcal {I}}_d\rightarrow {{\mathbb {R}}}\) satisfying the following properties:
-
(a)
(measurability) for every \(A\in {\mathcal {I}}_d\) the function \(\omega \mapsto \mu (\omega ,A)\) is \({\mathcal {T}}\)-measurable;
-
(b)
(covariance) for every \(\omega \in \text{\O}mega \), \(A\in {\mathcal {I}}_d\), and \(z\in {{\mathbb {Z}}}^d\) we have \( \mu (\omega , A+z)=\mu (\tau _z(\omega ),A)\);
-
(c)
(subadditivity) for every \(A\in {\mathcal {I}}_d\) and for every finite family \((A_i)_{i\in I} \subset {\mathcal {I}}_d\) of pairwise disjoint sets such that \(A= \cup _{i\in I} A_i\), we have
$$\begin{aligned} \mu (\omega ,A)\le \sum _{i\in I} \mu (\omega ,A_i)\quad \hbox {for every } \omega \in \text{\O}mega ; \end{aligned}$$ -
(d)
(boundedness) there exists \(c>0\) such that \(0\le \mu (\omega , A) \le c {\mathcal {L}}^d(A)\) for every \(\omega \in \text{\O}mega \) and every \(A\in {\mathcal {I}}_d\).
Definition 3.14
(Regular family of sets) A family of sets \((A_t)_{t>0}\) in \({\mathcal {I}}_d\) is called regular (with constant \(C>0\)) if there exists another family of sets \((A'_t)_{t>0}\subset {\mathcal {I}}_d\) such that:
-
(a)
\(A_t \subset A'_t \; \text {for every} \; t>0\);
-
(b)
\(A'_{ s} \subset A'_{ t} \; \text {whenever}\ 0<s<t\);
-
(c)
\(0< {\mathcal {L}}^d(A'_t) \le C {\mathcal {L}}^d(A_t) \; \text {for every} \; t>0\).
If the family \((A'_t)_{t>0}\) can be chosen in a way such that \({{\mathbb {R}}}^d=\bigcup _{t>0} A'_t\), then we write \(\displaystyle \lim _{t\rightarrow +\infty }A_t={{\mathbb {R}}}^d\).
We now state a variant of the pointwise ergodic Theorem [1, Theorem 2.7 and Remark p. 59] which is suitable for our purposes. This variant can be found in [30, Theorem 4.1].
Theorem 3.15
(Subadditive Ergodic Theorem) Let \(d\in \{n-1,n\}\) and let \((\tau _z)_{z\in {{\mathbb {Z}}}^d}\) be a group of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Let \(\mu :\text{\O}mega \times {\mathcal {I}}_d\rightarrow {{\mathbb {R}}}\) be a subadditive process with respect to \((\tau _z)_{z\in {{\mathbb {Z}}}^d}\). Then there exist a \({\mathcal {T}}\)-measurable function \(\varphi :\text{\O}mega \rightarrow [0,+\infty )\) and a set \(\text{\O}mega '\in {\mathcal {T}}\) with \(P(\text{\O}mega ')\)=1 such that
for every regular family of sets \((A_t)_{t>0} \subset {\mathcal {I}}_d\) with \(\displaystyle \lim _{t\rightarrow +\infty }A_t={{\mathbb {R}}}^d\) and for every \(\omega \in \text{\O}mega '\). If in addition \((\tau _z)_{z\in {{\mathbb {Z}}}^d}\) is ergodic, then \(\varphi \) is constant P-a.e.
Remark 3.16
(Covariance with respect to a continuous group \((\tau _z)_{z\in {{\mathbb {R}}}^d}\)) Definitions 3.11, 3.12, 3.13 and Theorem 3.15 can be adapted also to the case of a continuous group \((\tau _z)_{z\in {{\mathbb {R}}}^d}\), see for instance [17, Section 3.1].
3.2 Statement of the main results
In this section we state the main result of the paper, Theorem 3.18, which provides a \(\Gamma \)-convergence result for the random functionals \((E_\varepsilon (\omega ))_{\varepsilon > 0}\) introduced in (3.12), under the assumption that the volume and surface integrands f and g are stationary.
The next theorem proves the existence of the limits in the asymptotic cell formulas that will be used in the statement of the main result.
When f and g are random integrands it is convenient to introduce the following shorthand notation
where \(m^{f,g_0}\), \(m^{f^\infty ,g}\), and \(m^{f^\infty ,g_0}\) are defined as in (3.4), with (f, g) replaced by \((f,g_0)\), \((f^\infty ,g)\), and \((f^\infty ,g_0)\), respectively.
Theorem 3.17
(Homogenisation formulas) Let f be a stationary random volume integrand and let g be a stationary random surface integrand with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Then there exists \(\text{\O}mega '\in {\mathcal {T}}\), with \(P(\text{\O}mega ')=1\), such that
-
(a)
for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), and \(k\in {{\mathbb {N}}}\) the limit
$$\begin{aligned} \lim _{r\rightarrow +\infty } \frac{m^{f,g_0}_{\omega }(\ell _\xi ,Q^{\nu ,k}_r(rx))}{k^{n-1}r^{n}} \end{aligned}$$exists and is independent of x, \(\nu \), and k;
-
(b)
for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\zeta \in {{\mathbb {R}}}^m\), \(\nu \in {{\mathbb {S}}}^{n-1}\) the limit
$$\begin{aligned} \lim _{r\rightarrow +\infty } \frac{m^{f^\infty ,g}_{\omega }(u_{r x,\zeta ,\nu },Q^\nu _r(rx))}{r^{n-1}} \end{aligned}$$exists and is independent of x.
More precisely, there exist a random volume integrand \(f_{\textrm {hom}} :\text{\O}mega \times {{\mathbb {R}}}^{m\times n} \rightarrow [0,+\infty )\), and a random surface integrand \(g_{\textrm {hom}} :\text{\O}mega \times {{\mathbb {R}}}^m\times {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) such that for every \(\omega \in \text{\O}mega '\), \(x \in {\mathbb {R}}^n\), \(\xi \in {\mathbb {R}}^{m\times n}, \zeta \in {\mathbb {R}}^m\), and \(\nu \in {\mathbb {S}}^{n-1}\)
where \(Q_r:=Q_r(0)\) and \(Q^\nu _r=Q^\nu _r(0)\).
For every \(\omega \in \text{\O}mega '\) and \(\xi \in {{\mathbb {R}}}^{m\times n}\) let
(since \(f_{\textrm {hom}}(\omega ,\cdot )\in {\mathcal {F}}\), the existence of the limit is guaranteed by (f5)). Then for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), and \(k\in {{\mathbb {N}}}\) we have
If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(f_{\textrm {hom}}\) and \(g_{\textrm {hom}}\) are independent of \(\omega \) and
We are now ready to state the main result of this paper, namely the almost sure \(\Gamma \)-convergence of the sequence of random functionals \((E_\varepsilon (\omega ))_{\varepsilon >0}\) introduced in (3.12).
Theorem 3.18
(Almost sure \(\Gamma \)-convergence) Let f and g be stationary random volume and surface integrands with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\), and for every \(\varepsilon >0\) and \(\omega \in \text{\O}mega \) let \(E_\varepsilon (\omega )\) be as in (3.12). Let \(\text{\O}mega '\in {\mathcal {T}}\) (with \(P(\text{\O}mega ')=1\)), \(f_{\textrm {hom}}\), \(f^\infty _{\textrm{hom}}\), and \(g_{\textrm {hom}}\) be as in Theorem 3.17, and for every \(\omega \in \text{\O}mega \) let \(E_{\textrm {hom}}(\omega ) :L^1_{\textrm{loc}}({{\mathbb {R}}}^n, {{\mathbb {R}}}^m)\times {\mathscr {A}}\longrightarrow [0,+\infty ]\) be the functional defined by
if \(u|_A\in BV(A,{{\mathbb {R}}}^m)\), and by \(E_{\textrm {hom}}(\omega )(u, A):= +\infty \), if \(u|_A\notin BV(A,{{\mathbb {R}}}^m)\). Then for every \(\omega \in \text{\O}mega '\) and every \(A\in {\mathscr {A}}\) the functionals \(E_\varepsilon (\omega )(\cdot ,A)\) \(\Gamma \)-converge to \(E_{\textrm {hom}}(\omega )(\cdot ,A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), as \(\varepsilon \rightarrow 0+\).
If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(E_{\textrm {hom}}\) is a deterministic functional; i.e., it does not depend on \(\omega \).
Thanks to Theorem 3.18 we can also characterise the asymptotic behaviour of some minimisation problems involving \(E_\varepsilon (\omega )\). An example is shown in the corollary below. Since for every \(A\in {\mathscr {A}}\) the values of \(E_\varepsilon (\omega )(u,A)\) and \(E_{\textrm {hom}}(\omega )(u,A)\) depend only on the restriction of u to A, in the corollary we regard \(E_\varepsilon (\omega )(u,\cdot )\) and \(E_{\textrm {hom}}(\omega )(u,\cdot )\) as functionals defined on \(L^1(A,{{\mathbb {R}}}^m)\).
Corollary 3.19
(Convergence of minima and mininisers) Let f and g be stationary random volume and surface integrands with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\), and for every \(\varepsilon >0\) and \(\omega \in \text{\O}mega \) let \(E_\varepsilon (\omega )\) be as in (3.12). Let \(\text{\O}mega '\in {\mathcal {T}}\) (with \(P(\text{\O}mega ')=1\)) be as in Theorem 3.17, and let \(E_{\textrm {hom}}(\omega )\) be as in Theorem 3.18. Given \(\omega \in \text{\O}mega '\), \(A\in {\mathscr {A}}\), and \(h\in L^1(A,{{\mathbb {R}}}^m)\), we have
as \(\varepsilon \rightarrow 0+\). Moreover, if \((u_\varepsilon ) \subset SBV(A,{{\mathbb {R}}}^m)\) is a sequence such that
for some \(\eta _\varepsilon \rightarrow 0+\), then there exists a sequence \(\varepsilon _j\rightarrow 0+\) such that \((u_{\varepsilon _j})_{j \in {\mathbb {N}}}\) converges in \(L^1(A,{{\mathbb {R}}}^m)\), as \(j\rightarrow +\infty \), to a solution of the minimisation problem
Proof
If A has a Lipschitz boundary, then the functionals \(E_\varepsilon (\omega )(\cdot , A)+\Vert \cdot -h\Vert _{L^1(A,{{\mathbb {R}}}^m)}\) are equi-coercive in \(L^1(A,{{\mathbb {R}}}^m)\) thanks to Remark 3.2. Since we have \(\Gamma \)-convergence in \(L^1(A,{{\mathbb {R}}}^m)\) by virtue of Theorem 3.18, the proof readily follows from the fundamental property of \(\Gamma \)-convergence (see, e.g., [18, Corollary 7.20]).
We now show that the convergence of minimum values and of minimisers can be obtained even if \(\partial A\) is not regular. Let us fix \(\omega \in \text{\O}mega '\), \(A\in {\mathscr {A}}\), and \(h\in L^1(A,{{\mathbb {R}}}^m)\). By Theorem 3.18 for every \(A'\in {\mathscr {A}}\) the functional \(E_{\textrm{hom}}(\omega )(\cdot ,A')\) is a \(\Gamma \)-limit in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), hence it is lower semicontinuous in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) (see [18, Proposition 6.8]). This implies that \(E_{\textrm{hom}}(\omega )(\cdot ,A')\), considered as a functional on \(L^1(A',{{\mathbb {R}}}^m)\), is lower semicontinuous. Since
the functional \(E_{\textrm{hom}}(\omega )(\cdot ,A)\), defined on \(L^1(A,{{\mathbb {R}}}^m)\), is lower semicontinuous with respect to the convergence in \(L^1_{\textrm{loc}}(A,{{\mathbb {R}}}^m)\).
Since \(f_{\textrm {hom}}(\omega ,\cdot )\) and \(f_{\textrm {hom}}^\infty (\omega ,\cdot )\) belong to \({\mathcal {F}}\), while \(g_{\textrm {hom}}(\omega ,\cdot ,\cdot )\) belongs to \({{\mathcal {G}}}\), it follows from the definition of \(E_{\textrm{hom}}(\omega )(\cdot ,A)\) that \(c_2|Du|(A) + \Vert u\Vert _{L^1(A,{{\mathbb {R}}}^m)}\le E_{\textrm{hom}}(\omega )(u,A)+ \Vert u-h\Vert _{L^1(A,{{\mathbb {R}}}^m)}+\Vert h\Vert _{L^1(A,{{\mathbb {R}}}^m)}\) for every \(u\in BV(A,{{\mathbb {R}}}^m)\). This shows that the functional \(u\mapsto E_{\textrm{hom}}(\omega )(u,A)+ \Vert u-h\Vert _{L^1(A,{{\mathbb {R}}}^m)}\) is coercive in \(BV(A,{{\mathbb {R}}}^m)\) with respect to the convergence in \(L^1_{\textrm{loc}}(A,{{\mathbb {R}}}^m)\). Therefore it attains a minimum value in \(BV(A,{{\mathbb {R}}}^m)\), which we denote by \(\mu _0\).
Let \(u_0\) be a minimum point in \(BV(A,{{\mathbb {R}}}^m)\). We extend \(u_0\) to a function of \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), still denoted by \(u_0\). By \(\Gamma \)-convergence, for every sequence \((\varepsilon _j)\) of positive numbers converging to 0 there exists a sequence \(u_j\) converging to \(u_0\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) such that \(E_{\varepsilon _j}(\omega )(u_j,A)\rightarrow E_{\textrm{hom}}(\omega )(u_0,A)<+\infty \). By the definition of \(E_{\varepsilon _j}(\omega )\) we have \(u_j\in SBV(A,{{\mathbb {R}}}^m)\) for j large enough, hence
This implies that
Since the sequence \(\varepsilon _j\rightarrow 0\) is arbitrary, we obtain
To prove the opposite inequality for the liminf, as well as the last statement of the corollary, we fix a sequence \((u_\varepsilon ) \subset SBV(A,{{\mathbb {R}}}^m)\) satisfying (3.24). For every sequence \((\varepsilon _j)\) of positive numbers converging to 0, by Remark 3.2 and by (3.26) the sequence \((u_{\varepsilon _j})\) is bounded in \(BV(A,{{\mathbb {R}}}^m)\). Therefore a subsequence, not relabelled, converges in \(L^1_{\textrm{loc}}(A,{{\mathbb {R}}}^m)\) to a function \(u_*\in BV (A,{{\mathbb {R}}}^m)\).
Given \(A'\in {\mathscr {A}}\), with \(A'\subset \subset A\), we can consider the functions \(v_j\), defined by \(v_j:=u_{\varepsilon _j}\) in \(A'\) and \(v_j:=0\) in \({{\mathbb {R}}}^n\setminus A'\), which converge in \(L^1({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) to the function \(v_*\), defined by \(v_*:=u_*\) in \(A'\) and \(v_*:=0\) in \({{\mathbb {R}}}^n\setminus A'\). Since \(E_{\varepsilon _j}(\omega )(\cdot ,A')\) \(\Gamma \)-converges to \(E_{\textrm{hom}}(\omega )(\cdot ,A')\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), we have
which implies that
Taking the supremum for \(A'\subset \subset A\) in the previous inequalities we obtain
and
By the arbitrariness of the sequence \(\varepsilon _j\rightarrow 0+\), this chain of inequalities, together with (3.26), gives (3.23) and shows that \(u_*\) is a solution of the minimisation problem (3.25).
In turn, (3.23), (3.27), and (3.28) imply that \(\Vert u_{\varepsilon _j}-h\Vert _{L^1(A,{{\mathbb {R}}}^m)}\rightarrow \Vert u_*-h\Vert _{L^1(A,{{\mathbb {R}}}^m)}\). Since \(u_{\varepsilon _j}\) converges to \(u_*\) in \(L^1_{\textrm{loc}}(A,{{\mathbb {R}}}^m)\), from the general version of the Dominated Convergence Theorem we obtain that \(u_{\varepsilon _j}\) converges to \(u_*\) in \(L^1(A,{{\mathbb {R}}}^m)\). This concludes the proof of the last statement of the corollary. \(\square \)
4 Deterministic homogenisation: properties of the homogenised integrands
Let \(f\in {\mathcal {F}}\) and \(g\in {{\mathcal {G}}}\). For \(\varepsilon >0\) consider the functionals \(E_\varepsilon :L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}}\longrightarrow [0,+\infty ]\) defined by
In this section we prove the \(\Gamma \)-convergence of \(E_\varepsilon \) under suitable assumptions on f and g, which are more general than the periodicity with respect to x.
The main result of this section is the following theorem.
Theorem 4.1
(Homogenisation) Let \(f\in {\mathcal {F}}\), \(g\in {{\mathcal {G}}}\), and let \(m^{f,g_0}\) and \(m^{f^\infty ,g}\) be defined as in (3.4) with (f, g) replaced by \((f,g_0)\) and \((f^\infty ,g)\), respectively. Assume that
-
(a)
for every \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), and \(k\in {{\mathbb {N}}}\) the limit
$$\begin{aligned} \lim _{r\rightarrow +\infty } \frac{m^{f,g_0}(\ell _\xi ,Q_r^{\nu ,k}(rx))}{ k^{n-1} r^{n}}=:f_{\textrm{hom}}(\xi ) \end{aligned}$$(4.2)exists and is independent of x, \(\nu \), and k;
-
(b)
for every \(x\in {{\mathbb {R}}}^{n}\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) the limit
$$\begin{aligned} \lim _{r\rightarrow +\infty } \frac{m^{f^\infty ,g}(u_{r x,\zeta ,\nu },Q^\nu _r(rx))}{r^{n-1}}=:g_{\textrm{hom}}(\zeta ,\nu ) \end{aligned}$$(4.3)exists and is independent of x.
Then \(f_{\textrm{hom}}\in {\mathcal {F}}\) and \(g_{\textrm{hom}}\in {{\mathcal {G}}}\). Let \(f_{\textrm{hom}}^\infty \) be the recession function of \(f_{\textrm{hom}}\) and let \(E_{\textrm{hom}}:L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m) \times {\mathscr {A}}\longrightarrow [0,+\infty ]\) be the functional defined by
if \(u|_A\in BV(A,{{\mathbb {R}}}^m)\), while \(E_{\textrm {hom}}(u, A):=+\infty \) if \(u|_A\notin BV(A,{{\mathbb {R}}}^m)\). Then, for every \(A\in {\mathscr {A}}\) the functionals \(E_\varepsilon (\cdot , A)\) defined as in (4.1) \(\Gamma \)-converge to \(E_{\textrm{hom}}(\cdot , A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), as \(\varepsilon \rightarrow 0+\), meaning that for every sequence \((\varepsilon _j)\) of positive numbers converging to zero the sequence \((E_{\varepsilon _j}(\cdot , A))\) \(\Gamma \)-converges to \(E_{\textrm{hom}}(\cdot , A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\).
The proof of the homogenisation result Theorem 4.1 will be carried out in three main steps. In the first step (Lemmas 4.2 and 4.5) we show that \(f_{\textrm{hom}}\in {\mathcal {F}}\) and \(g_{\textrm{hom}}\in {{\mathcal {G}}}\). In the second step (Theorem 5.1) we prove that, up to subsequences, for every \(A\in {\mathscr {A}}\) the functionals \(E_\varepsilon (\cdot ,A)\) \(\Gamma \)-converge to some functional \({\widehat{E}}(\cdot ,A)\), whose domain is \(BV(A,{{\mathbb {R}}}^m)\). Further, we prove that \({\widehat{E}}\) satisfies some suitable properties both as a functional and as a set-function. In particular \({\widehat{E}}(u,\cdot )\) is the restriction to \({\mathscr {A}}\) of a Borel measure.
In the third and last step we show that (4.2) and (4.3) imply, respectively, that the following identities hold true for every \(A \in {\mathscr {A}}\) and for every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) with \(u|_A\in BV(A,{{\mathbb {R}}}^m)\):
![](http://media.springernature.com/lw338/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ39_HTML.png)
![](http://media.springernature.com/lw459/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ40_HTML.png)
![](http://media.springernature.com/lw398/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ41_HTML.png)
(see Propositions 6.2, 7.2, and 8.3). Moreover, thanks to (4.5)-(4.7) we deduce that \({\widehat{E}}\) coincides with the functional \(E_{\textrm{hom}}\) defined in (4.4); as a consequence, the \(\Gamma \)-convergence result proved in the second step actually holds true for the whole sequence \((E_\varepsilon )\).
In the next lemmas we prove that the homogenised integrands \(f_{\textrm{hom}}\) and \(g_{\textrm{hom}}\) belong to the classes \({\mathcal {F}}\) and \({{\mathcal {G}}}\), respectively.
Lemma 4.2
Let \(f \in {\mathcal {F}}\) and \(g\in {{\mathcal {G}}}\). Assume that hypothesis (a) of Theorem 4.1 is satisfied and let \(f_{\textrm{hom}}\) be defined as in (4.2). Then \(f_{\textrm{hom}} \in {\mathcal {F}}\).
Proof
To prove (f2) we fix \(\xi _1\), \(\xi _2 \in {{\mathbb {R}}}^{m{\times }n}\) and set \(\xi :=\xi _2-\xi _1\). We claim that for every \(r>0\)
where \(Q_r:=Q_r(0)\). Indeed, by (f2), for every \(u\in SBV(Q_r,{{\mathbb {R}}}^m)\) we have
By rearranging the terms we get
If \(\sigma _1(|\xi |)< 1\), we minimise over all functions \( u\in SBV(Q_r,{{\mathbb {R}}}^m)\) such that \(u=\ell _{\xi _1}\) near \(\partial Q_r\) and, using (3.4), we obtain
This inequality is trivial if \(\sigma _1(|\xi |)\ge 1\). Exchanging the roles of \(\xi _1\) and \(\xi _2\) we obtain (4.8). We now divide both sides of this inequality by \(r^n\) and, passing to the limit as \(r\rightarrow +\infty \), from (4.2) we obtain that \(f_{\textrm{hom}}\) satisfies (f2).
Property (f1) for \(f_{\textrm{hom}}\) follows from the continuity estimate (f2), since \(f_{\textrm{hom}}\) does not depend on x. The lower bound (f3) for \(f_{\textrm{hom}}\) follows from the lower bound in Remark 3.2, which gives
for every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\), where the infimum is over all functions \(u\in SBV(Q_r,{{\mathbb {R}}}^m)\), and such that \(u=\ell _\xi \) near \(\partial Q_r\). By Jensen’s inequality the left-hand side is equal to \( c_2|\xi |r^n\). Using (4.2) we conclude that that \(f_{\textrm{hom}}\) satisfies (f3).
Property (f4) for \(f_{\textrm{hom}}\) follows from the fact that for every \(\xi \in {{\mathbb {R}}}^{m{\times }n}\) we have
Passing to the limit as \(r\rightarrow +\infty \), from (4.2) we obtain that \(f_{\textrm{hom}}\) satisfies (f4).
We now prove that \(f_{\textrm{hom}}\) satisfies (f5). Fix \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(s>0\), \(t>0\), and \(\eta \in (0,1)\). By (3.4) for every \(r>0\) there exists \(u_r\in SBV(Q_r,{{\mathbb {R}}}^m)\), with \(u_r=\ell _\xi \) near \(\partial Q_r\), such that
By (3.6) for every \( x \in {{\mathbb {R}}}^n\) and \(\xi \in {{\mathbb {R}}}^{m\times n}\) we have
hence, using the positive 1-homogeneity of \(g_0\),
By Hölder’s inequality we obtain
By (4.9) this inequality implies that
If
then we have
just because the left-hand side is negative and the right-hand side is positive. Since the function \(\tau \mapsto \tau -c_5\tau ^{1-\alpha }\), defined for \(\tau >0\), is increasing in the half-line where it is positive, from the inequality
and from (4.10) we deduce that (4.12) is satisfied even if (4.11) is not.
Passing to the limit first as \(r\rightarrow +\infty \) and then as \(\eta \rightarrow 0+\), from (4.2) and (4.12) we obtain
By exchanging the roles of s and t we obtain (3.6). Recalling that \( f_{\textrm{hom}}\) satisfies (f4), we can apply Remark 3.4 and we obtain that \( f_{\textrm{hom}}\) satisfies (f5). \(\square \)
To prove that \(g_{\textrm{hom}} \in {\mathcal {G}}\) we need the truncation result given by the following lemma, which will be used several times in this paper. The proof is given in [9, Lemma 3.7] (see also [10, Lemma 2.8]).
Lemma 4.3
Let \(C_1>0\), \(C_2>0\), and \(\eta >0\). Then there exists a constant \(M=M(C_1,C_2,\eta )>0\) such that for every \(f\in {\mathcal {F}}\) and \(g\in {{\mathcal {G}}}\), for every \(A\in {\mathscr {A}}\), for every \(w\in SBV(A,{{\mathbb {R}}}^m)\cap L^\infty (A,{{\mathbb {R}}}^m)\), with \(\Vert w\Vert _{L^\infty (A,{{\mathbb {R}}}^m)}\le C_1\), and for every \(u\in BV(A,{{\mathbb {R}}}^m)\), with \(\Vert u\Vert _{L^1(A,{{\mathbb {R}}}^m)}+|Du|(A)\le C_2\) and \(u=w\) near \(\partial A\), there exists \({\tilde{u}}\in SBV(A,{{\mathbb {R}}}^m)\cap L^\infty (A,{{\mathbb {R}}}^m)\) such that
-
(a)
\(\Vert {\tilde{u}}\Vert _{L^\infty (A,{{\mathbb {R}}}^m)}\le M\),
-
(b)
\(E^{f,g}({\tilde{u}},A)\le E^{f,g}(u,A)+\eta \),
-
(c)
\(\Vert {\tilde{u}}-w\Vert _{L^1(A,{{\mathbb {R}}}^m)}\le \Vert u-w\Vert _{L^1(A,{{\mathbb {R}}}^m)}\),
-
(d)
\({\tilde{u}}=w\) near \(\partial A\).
Remark 4.4
A careful inspection of the proof of [9, Lemma 3.7] shows that the lemma also applies if u only attains the boundary conditions on a subset of \(\partial A\), as defined after (3.4). More precisely, if \(\Lambda \subset \partial A\) is a relatively open subset of \(\partial A\), U is a neighbourhood of \(\Lambda \) in \({{\mathbb {R}}}^n\), \(w\in SBV(A,{{\mathbb {R}}}^m)\cap L^\infty (U \cap A,{{\mathbb {R}}}^m)\), and \(u=w\) \({\mathcal {L}}^n\)-a.e. in \(U \cap A\), then the conclusion still holds true, with (d) replaced by
- (d\('\)):
-
\(\tilde{u}=w\) \({\mathcal {L}}^n\)-a.e. in \(U \cap A\),
and in this case \(M=M({\widetilde{C}}_1,C_2,\eta )>0\), where \(\Vert w \Vert _{L^\infty (U \cap A,{{\mathbb {R}}}^m)} \le \tilde{C}_1.\)
We are now ready to prove that \(g_{\textrm{hom}} \in {\mathcal {G}}\).
Lemma 4.5
Let \(f \in {\mathcal {F}}\) and \(g \in {{\mathcal {G}}}\). Assume that hypothesis (b) of Theorem 4.1 is satisfied and let \(g_{\textrm{hom}}\) be defined as in (4.3). Then \(g_{\textrm{hom}} \in {\mathcal {G}}\).
Proof
To prove (g2) we fix \(\zeta _1\), \(\zeta _2 \in {{\mathbb {R}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\), and we set \(\zeta :=\zeta _2-\zeta _1\). We claim that for every \(r>0\)
where \(Q^\nu _r:=Q^\nu _r(0)\). Indeed, for every \(u\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\), by (g2) we have
By rearranging the terms we get
If \(\sigma _2(|\zeta |)< 1\), we minimise over all functions \(u\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\) such that \(u=u_{0,\zeta _1,\nu }\) near \(\partial Q^\nu _r\) and by (3.4) we obtain
This inequality is trivial if \(\sigma _2(|\zeta |)\ge 1\). Exchanging the roles of \(\zeta _1\) and \(\zeta _2\) we obtain (4.13). We now divide both sides of this inequality by \(r^{n-1}\) and, passing to the limit as \(r\rightarrow +\infty \), from (4.3) we obtain that \(g_{\textrm{hom}}\) satisfies (g2).
In view of (g2), to prove (g1) for \(g_{\textrm{hom}}\) it is enough to show that for every \(\zeta \in {{\mathbb {R}}}^m\) the restriction of the function \(\nu \mapsto g_{\textrm{hom}}(\zeta ,\nu )\) to the sets \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\) and \({\widehat{{{\mathbb {S}}}}}^{n-1}_-\) is continuous. We only prove this property for \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\), the other case being analogous. To this end, let us fix \(\zeta \in {{\mathbb {R}}}^m\), \(\nu \in {\widehat{{{\mathbb {S}}}}}^{n-1}_+\), and a sequence \((\nu _j) \subset {\widehat{{{\mathbb {S}}}}}^{n-1}_+\) such that \(\nu _j \rightarrow \nu \) as \(j\rightarrow +\infty \). Since the function \(\nu \mapsto R_\nu \) is continuous on \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\), for every \(\delta \in (0,\frac{1}{2})\) there exists an integer \(j_\delta \) such that
for every \(j\ge j_\delta \) and every \(r>0\). Fix \(j\ge j_\delta \), \(r>0\), and \(\eta >0\). By (3.4) there exists \(u\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\), with \(u=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\), such that
We define \(v \in SBV_{\textrm{loc}} (Q^{\nu _j}_{(1+\delta )r}, {{\mathbb {R}}}^m)\) as
Then \(v=u_{0,\zeta ,\nu _j}\) near \(\partial Q^{\nu _j}_{(1+\delta )r}\) and \(S_{v}\subset S_{u}\cup \Sigma \), where
By (4.14) there exists \(\varsigma (\delta )>0\), independent of j and r, with \(\varsigma (\delta )\rightarrow 0\) as \(\delta \rightarrow 0+\), such that \({{\mathcal {H}}}^{n-1}(\Sigma )\le \varsigma (\delta )r^{n-1}\). Thanks to (g4), (3.4) and (4.15) we then have
where we used the fact that \(f^{\infty } ( x , 0) = 0\) for every \( x \in {{\mathbb {R}}}^n\). Dividing by \(r^{n-1}\) and passing to the limit as \(r\rightarrow +\infty \), recalling (4.3) we obtain
Letting \(j\rightarrow +\infty \) and then \(\delta \rightarrow 0+\) we deduce that
An analogous argument, now using the cubes \(Q^{\nu _j}_{(1-\delta )r}\), implies that
hence the restriction of the function \(\nu \mapsto g_{\textrm{hom}}(\zeta ,\nu )\) to \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\) is continuous. This concludes the proof of (g1) for \(g_{\textrm{hom}}\).
The lower bound (g3) for \(g_{\textrm{hom}}\) can be obtained from the lower bound in Remark 3.2, which gives
for every \(\zeta \in {{\mathbb {R}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\), where the infimum is over all functions \(u\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\) and such that \(u=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\). In turn, this infimum is larger than or equal to
where the infimum is now over all scalar functions \(v\in SBV(Q^\nu _r)\) and such that \(v=u_{0,|\zeta |,\nu }\) near \(\partial Q^\nu _r\). Using (4.3), property (g3) for \(g_{\textrm{hom}}\) follows from these inequalities and from the fact that the value of (4.16) is \(c_2|\zeta |r^{n-1}\). This is a well kown fact, which can be proved, for instance, using a slicing argument based on [5, Theorem 3.103].
Property (g4) for \(g_{\textrm{hom}}\) follows from the fact that for every \(\zeta \in {{\mathbb {R}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) we have
Passing to the limit as \(r\rightarrow +\infty \), from (4.3) we obtain that \(g_{\textrm{hom}}\) satisfies (g4).
We now prove that \(g_{\textrm{hom}}\) satisfies (g5). Fix \(\zeta \in {{\mathbb {S}}}^{m-1}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(s>0\), \(t>0\), and \(\eta \in (0,1)\). By (3.4) for every \(r>0\) there exists \(v_r\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\), with \(v_r=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\), such that
hence
where we used the positive 1-homogeneity of \(f^\infty (x,\cdot )\).
Let \(Q^\nu :=Q^\nu _1(0)\) and let \(w_r\in SBV(Q^\nu ,{{\mathbb {R}}}^m)\) be the rescaled function, defined by \(w_r( x):=v_r(r x)\) for every \( x \in Q^\nu \). Then \(w_r=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu \) and, by a change of variables,
where we used the positive 1-homogeneity of \(f^\infty (x,\cdot )\). Since the function \(g_{r,t}\) defined by \(g_{r,t}( x ,\zeta ,\nu ):=\frac{1}{t} g(r x , t\zeta ,\nu )\) satisfies (g3) with the constant \(c_2\) independent of r and t, and by (g4)
from Remark 3.2 and (4.17) we deduce that there exists a constant C such that \(|Dw_r|(Q^\nu )\le C\), for every \(r>0\), \(t>0\), and \(\eta \in (0,1)\). In addition, since \( w_r\) coincides with \(u_{0,\zeta ,\nu }\) near \(\partial Q^\nu \), we can apply Poincaré’s inequality and from the bound on its total variation we deduce that \(w_r\) is bounded in \(BV(Q^\nu ,{{\mathbb {R}}}^m)\), uniformly with respect to r, by a constant that we still denote with C; namely, \(\Vert w_r\Vert _{L^1(Q^\nu ,{{\mathbb {R}}}^m)}+|Dw_r|(Q^\nu )\le C\).
By Lemma 4.3 for every \(\eta \in (0,1)\) there exists a constant \(M_\eta >0\), depending on C but not on \(t>0\), \(r>0\), \(\zeta \in {{\mathbb {S}}}^{m-1}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\), such that for every \(r>0\) there exists a function \({\tilde{w}}_r\in SBV(Q^\nu ,{{\mathbb {R}}}^m) \cap L^\infty (Q^\nu ,{{\mathbb {R}}}^m)\) with the following properties: \({\tilde{w}}_r=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu \), \( \Vert {\tilde{w}}_r\Vert _{L^\infty (Q^\nu ,{{\mathbb {R}}}^m)}\le M_\eta \), and
where we used the fact that \(f^\infty \in {\mathcal {F}}\) and \(g_{r,t}\in {{\mathcal {G}}}\). By (4.17) this implies that
Let \({\tilde{v}}_r\in SBV(Q^\nu _r,{{\mathbb {R}}}^m)\cap L^\infty ( Q^\nu _r,{{\mathbb {R}}}^m)\) be the function defined by \({\tilde{v}}_r( x):={\tilde{w}}_r(\frac{ x}{r})\) for every \( x \in Q^\nu _r\). Then \({\tilde{v}}_r=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\), \( \Vert {\tilde{v}}_r\Vert _{L^\infty (Q^\nu _r,{{\mathbb {R}}}^m)}\le M_{\eta }\), and, by a change of variables,
where we used (4.18) and the positive 1-homogeneity of \(f^\infty (x,\cdot )\). Since \( \Vert {\tilde{v}}_r\Vert _{L^\infty (Q^\nu _r,{{\mathbb {R}}}^m)}\le M_{\eta }\), by (3.11) we have
Assume that
Since \(s{\tilde{v}}_r=u_{0,s\zeta ,\nu }\) near \(\partial Q^\nu _r\), using the positive 1-homogeneity of \(f^\infty \) we obtain that
Hence from (4.19) and (4.20) we have
This inequality holds also when (4.21) is not satisfied, since in that case the left-hand side is nonpositive.
Since \(M_{\eta }\) does not depend on t, s, and r, we can divide (4.22) by \(r^{n-1}\) and, passing to the limit as \(r\rightarrow +\infty \), by (4.3) we obtain
which gives
Since \(g_{\textrm{hom}}\) satisfies (g4) and \(|\zeta |=1\), from the previous inequality we deduce that
Exchanging the roles of s and t we obtain
for every \(s>0\), \(t>0\), \(\zeta \in {{\mathbb {S}}}^{m-1}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\).
Given \(\tau >0\), we fix \(\eta >0\) such that \(4\eta <\frac{\tau }{5}\). Then, using (3.8), we find \(\delta >0\) such that for every \(t\in (0,\delta )\) we have \(\frac{c_3}{c_2}\lambda ( 2 tM_{\eta })<\frac{\tau }{5}\) and \(2\eta \frac{1}{c_2}\lambda ( 2 tM_{\eta })<\frac{\tau }{5}\). From (4.23) we obtain
for every \(s,\, t\in (0,\delta )\), \(\zeta \in {{\mathbb {S}}}^{m-1}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\). This shows that the function \(t\mapsto \tfrac{1}{t} g_{\textrm{hom}}(t\zeta ,\nu )\) satisfies the Cauchy condition for \(t\rightarrow 0+\), hence the limit
exists and is finite. This limit is uniform with respect to \(\zeta \in {{\mathbb {S}}}^{m-1}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) thanks to (4.24). This concludes the proof of (g5).
Property (g6) for \(g_{\textrm{hom}}\) follows from (4.3) and from the fact that \(u_{0,-\zeta ,-\nu }=u_{0,\zeta ,\nu }-\zeta \) and \(Q^\nu _r=Q^{-\nu }_r\) (see (h) in Section 2). \(\square \)
5 \(\Gamma \)-convergence of a subsequence of \((E_\varepsilon )\)
In this short section we show that, up to a subsequence, the functionals \(E_\varepsilon \) defined in (4.1) \(\Gamma \)-converge to some functional \({\widehat{E}}\) as \(\varepsilon \rightarrow 0+\), and study the main properties of this functional.
Theorem 5.1
(Properties of the \(\Gamma \)-limit) Let \(f\in {\mathcal {F}}\), let \(g\in {{\mathcal {G}}}\), and for \(\varepsilon >0\) let \(E_\varepsilon :L^{1}_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}} \longrightarrow [0,+\infty ]\) be the functionals defined in (4.1). Then, for every sequence of positive numbers converging to zero, there exist a subsequence \((\varepsilon _{j})\) and a functional \({\widehat{E}} :L^{1}_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}} \longrightarrow [0,+\infty ]\) such that for every \(A\in {\mathscr {A}}\) the functionals \(E_{\varepsilon _{j}}(\cdot ,A)\) \(\Gamma \)-converge to \({\widehat{E}}(\cdot ,A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), as \(j\rightarrow +\infty \). Moreover, \({\widehat{E}}\) satisfies the following properties:
-
(a)
(locality) \({\widehat{E}}\) is local; i.e., \({\widehat{E}}(u, A)={\widehat{E}}(v, A)\) for every \(A\in {\mathscr {A}}\) and every u, \(v\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) such that \(u=v\) \({\mathcal {L}}^n\)-a.e. in A;
-
(b)
(semicontinuity) for every \(A\in {\mathscr {A}}\) the functional \({\widehat{E}}(\cdot , A)\) is lower semicontinuous in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\);
-
(c)
(bounds) for every \(A\in {\mathscr {A}}\) and every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n, {{\mathbb {R}}}^m)\) we have
$$\begin{aligned} \begin{aligned}&c_2 |Du|(A)\le {\widehat{E}}(u,A)\le c_3 |Du|(A) + c_4 {\mathcal {L}}^n(A)&\hbox {if }u_{|_A}\in BV(A,{{\mathbb {R}}}^m), \\&{\widehat{E}}(u,A)=+\infty&\hbox {otherwise}; \end{aligned} \end{aligned}$$ -
(d)
(measure property) for every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n, {{\mathbb {R}}}^m)\) the set function \({\widehat{E}}(u,\cdot )\) is the restriction to \({\mathscr {A}}\) of a Borel measure defined on \({\mathscr {B}}^n\), which we still denote by \({\widehat{E}}(u,\cdot )\);
-
(e)
(translation invariance in u) for every \(A\in {\mathscr {A}}\) and every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n, {{\mathbb {R}}}^m)\) we have
$$\begin{aligned} {\widehat{E}}(u+s,A)= {\widehat{E}}(u,A)\quad \text {for every}\; s\in {{\mathbb {R}}}^m. \end{aligned}$$
Proof
Given an infinitesimal sequence \((\varepsilon _j)\) of positive numbers, let \({\widehat{E}}'\), \({\widehat{E}}'':L^{1}_\text {loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}}\longrightarrow [0,+\infty ]\) be the functionals defined as
In view of the bounds (f3), (f4), (g3), and (g4) satisfied by f and g, it immediately follows that
By the definition of \(E_{\varepsilon _j}\) and the general properties of \(\Gamma \)-convergence, we can also deduce that the functionals \({\widehat{E}}'\) and \({\widehat{E}}''\) are local [18, Proposition 16.15], lower semicontinuous (in u) [18, Proposition 6.8], and increasing (in A) [18, Proposition 6.7]. Moreover \({\widehat{E}}'\) is superadditive (in A) [18, Proposition 16.12]. Since it is not obvious that \({\widehat{E}}'\) and \({\widehat{E}}''\) are inner regular (in A), at this stage of the proof we consider their inner regular envelopes; i.e., the functionals \({\widehat{E}}'_-, {\widehat{E}}''_- :L^{1}_\text {loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}}\longrightarrow [0,+\infty ]\) defined as
Also \({\widehat{E}}'_-\) and \({\widehat{E}}''_-\) are increasing, lower semicontinuous [18, Remark 15.10], and local [18, Remark 15.25]. Moreover, by [18, Theorem 16.9] we can find a subsequence of \((\varepsilon _j)\) (not relabelled) such that the corresponding functionals \({\widehat{E}}'\) and \({\widehat{E}}''\) satisfy
The functional \({\widehat{E}}\) defined in (5.3) is inner regular [18, Remark 15.10] and superadditive [18, Proposition 16.12].
By virtue of [11, Proposition 3.1] applied with \(p=1\) we can immediately deduce that the functionals \(E_\varepsilon \) satisfy the so-called fundamental estimate uniformly in \(\varepsilon \). Therefore [18, Proposition 18.4] yields the subadditivity of \({\widehat{E}}(u,\cdot )\). Therefore, invoking the measure-property criterion of De Giorgi and Letta [18, Theorem 14.23], we can deduce that, for every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), the set function \({\widehat{E}}(u,\cdot )\) is the restriction to \({\mathscr {A}}\) of a Borel measure defined on \({\mathscr {B}}^n\).
Moreover [18, Proposition 18.6] and (5.1) imply that \({\widehat{E}}(u,A)={\widehat{E}}'(u,A)={\widehat{E}}''(u,A)\) whenever \(u|_{A}\in BV(A,{{\mathbb {R}}}^m)\). Finally, it follows from (5.1) and (5.2) that \({\widehat{E}}(u,A)={\widehat{E}}'(u,A)={\widehat{E}}''(u,A)=+\infty \) if \(u{|_A}\notin BV(A,{{\mathbb {R}}}^m)\). We then conclude that \({\widehat{E}}={\widehat{E}}'={\widehat{E}}''\) in \(L^{1}_\text {loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}}\), hence that \({\widehat{E}}(\cdot ,A)\) is the \(\Gamma \)-limit of \(E_{\varepsilon _j}(\cdot ,A)\) in \(L^{1}_\text {loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) for every \(A\in {\mathscr {A}}\).
Eventually, the translation invariance in u of \({\widehat{E}}(\cdot , A)\) can be easily checked arguing as in [11, Lemma 3.7]. \(\square \)
For later use we need to introduce the following notation. Let \(A\in {\mathscr {A}}\) and \(w\in BV(A,{{\mathbb {R}}}^m)\), we set
6 Identification of the volume term
In Proposition 6.2 below we characterise the derivative of \({\widehat{E}}\) with respect to the Lebesgue measure \({\mathcal {L}}^n\). In order to prove this result we need the estimate established in the following lemma, whose proof is an immediate consequence of (3.9).
Lemma 6.1
Let \(g\in {\mathcal {G}}\), \(A\in {\mathscr {A}}\), and \(u \in BV(A,{{\mathbb {R}}}^m)\cap L^\infty (A,{{\mathbb {R}}}^m)\). Then for every \(t>0\)
where \(\lambda \) is the function defined in (3.7).
Proposition 6.2
(Homogenised volume integrand) Let f, g, \(E_\varepsilon \), \((\varepsilon _j)\), and \({\widehat{E}}\) be as in Theorem 5.1. Assume that (a) of Theorem 4.1 holds, and let \(f_{\textrm{hom}}\) be as in (4.2). Then for every \(A\in {\mathscr {A}}\) and every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\), we have that
Proof
Let us fix \(A\in {\mathscr {A}}\) and \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\). We divide the proof into two steps.
Step 1: We claim that
By (a)-(e) of Theorem 5.1 and by [10, Lemmas 3.1 and 3.5], arguing as in the proof of (3.16) in [10, Theorem 3.7], for \({\mathcal {L}}^n\)-a.e. \(x\in A\) we have
where \(\xi (x):=\nabla u(x)\). Fix \(x\in A\) such that (6.2) holds and set \(\xi :=\xi (x)=\nabla u(x)\).
For every \(\rho >0\) we have
since the above identity directly follows from (4.2) by replacing x with \(\frac{ x }{\rho }\).
Let us fix \(\eta \in (0,1)\). By (3.4) for every \(\rho >0\) and \(r>0\) there exists \( v^\rho _r\in SBV(Q_r( \tfrac{ r x}{\rho }),{{\mathbb {R}}}^m)\), with \( v^\rho _r=\ell _\xi \) near \(\partial Q_r( \tfrac{ r x}{\rho })\), such that
where we used that \(g_0(\cdot ,0,\cdot )=0\) and (f4). We extend \( v^\rho _r\) to \({{\mathbb {R}}}^n\) by setting \( v^\rho _r(y)=\ell _\xi (y)\) for every \(y\in {{\mathbb {R}}}^n\setminus Q_r(\tfrac{r x}{\rho })\).
For every \(y\in {{\mathbb {R}}}^n\) let \( w^\rho _r(y):=\frac{1}{r} v^\rho _r(\frac{rx}{\rho }+ry)-\frac{1}{\rho }\ell _\xi (x)\). Clearly \( w^\rho _r\in SBV_{ \textrm loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) and \( w^\rho _r =\ell _\xi \) near \(\partial Q\) and in \({{\mathbb {R}}}^n\setminus Q\), where \(Q:=Q_1(0)\). Moreover, by a change of variables we obtain
where we used the 1-homogeneity of \(g_0\) in the second variable. By the lower bounds (f3) and (g3), from (6.4) and (6.5) we deduce that there exists a constant K, depending on \(|\xi |\), such that \(|Dw^\rho _r|(Q)\le K\) for every \(\rho >0\) and \(r>0\). In addition, since \( w^\rho _r\) coincides with \(\ell _\xi \) in \({{\mathbb {R}}}^n\setminus Q\), we can apply Poincaré’s inequality and from the bound on its total variation we deduce that the sequence \((w^\rho _r)\) is bounded in \(BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\). In particular it is bounded in \(BV(Q,{{\mathbb {R}}}^m)\), uniformly with respect to \(\rho \) and r, by a constant that we still denote with K.
By Lemma 4.3 and by (6.4) and (6.5) for every \(\eta \in (0,1)\) there exists a constant \(M_{\eta }\), depending also on \(|\xi |\) and K, such that for every \(\rho >0\) and \(r>0\) there exists \({\tilde{w}}^\rho _r\in SBV(Q,{{\mathbb {R}}}^m)\cap L^\infty (Q,{{\mathbb {R}}}^m)\) with the following properties: \({\tilde{w}}^\rho _r=\ell _\xi \) near \(\partial Q\), \(\Vert {\tilde{w}}^\rho _r\Vert _{L^\infty (Q,{{\mathbb {R}}}^m)}\le M_{\eta }\), and
Let \({\tilde{v}}^\rho _r\in SBV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) be defined by \({\tilde{v}}^\rho _r(y):=r{\tilde{w}}^\rho _r(\frac{y}{r}-\frac{x}{\rho })+\frac{r}{\rho }\ell _\xi (x)\). Then \({\tilde{v}}^\rho _r=\ell _\xi \) near \(\partial Q_r( \tfrac{ r x}{\rho })\) and, by a change of variables,
Moreover, by combining (6.4) and (6.7) with the lower bound (g3) we immediately deduce the existence of a constant \(C>0\), depending on \(|\xi |\), such that
By Lemma 6.1, applied with \(t=\rho /r\), using (6.6) and (6.8) we obtain
This inequality, together with (6.3) and (6.7), gives
Given \(\varepsilon >0\) and \(\rho >0\), we choose \(r=\rho /\varepsilon \) and for every \(y\in {{\mathbb {R}}}^n\) we define \( u^\rho _\varepsilon (y):= \varepsilon \, {\tilde{v}}^\rho _r (\frac{y}{\varepsilon })=\frac{\rho }{r} {\tilde{v}}^\rho _r (\frac{r y}{\rho })\). Then \( u^\rho _\varepsilon \in SBV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), \( u^\rho _\varepsilon =\ell _\xi \) near \(\partial Q_\rho ( x )\) and in \({{\mathbb {R}}}^n\setminus Q_\rho ( x)\). By a change of variables, from the previous inequality we get that for every \(\rho >0\)
Since the functions \( u^\rho _\varepsilon \) coincide with \(\ell _\xi \) in \(Q_{(1+\eta )\rho }(x)\setminus Q_{(1-\delta _\varepsilon )\rho }(x)\) for some \(\delta _\varepsilon \in (0,1)\), by (f4) we have \(E_\varepsilon ( u^\rho _\varepsilon ,Q_{(1+\eta )\rho }( x))\le E_\varepsilon ( u^\rho _\varepsilon ,Q_\rho ( x)) + (c_3|\xi |+c_4) 2^n \rho ^n\eta \), which, together with (6.9), gives
where \({\tilde{K}}:=2+ (c_3|\xi |+c_4) 2^n\). Since \( u^\rho _\varepsilon \) coincides with \(\ell _\xi \) in \({{\mathbb {R}}}^n\setminus Q_\rho (x)\), using Poincaré’s inequality and the lower bounds (f3) and (g3) we deduce from (6.10) that for every \(\rho >0\) there exists \(\varepsilon (\rho )>0\) such that the sequence \((u^\rho _\varepsilon )\) is bounded in \(BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\). In particular it is bounded in \(BV(Q_\rho (x),{{\mathbb {R}}}^m)\) uniformly with respect to \(\varepsilon \in (0,\varepsilon (\rho ))\). Note that the bound on the \(L^1\)-norm can be obtained by e.g. [5, Theorem 3.47]. Then there exists a subsequence, not relabelled, of the sequence \((\varepsilon _j)\) considered in Theorem 5.1, such that \(( u^\rho _{\varepsilon _j})\) converges in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) to some \( u^\rho \in BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) with \(u^\rho =\ell _\xi \) in \(Q_{(1+\eta )\rho }( x )\setminus Q_{\rho }( x)\). As a consequence of the \(\Gamma \)-convergence of \(E_{\varepsilon _j}(\cdot , Q_{(1+\eta )\rho }(x))\) to \({\widehat{E}}(\cdot , Q_{(1+\eta )\rho }(x))\), from (6.10) we obtain
Finally, passing to the limit as \(\rho \rightarrow 0+\), from (3.8) and (6.2) we get
Since \(\xi := \nabla u(x)\), this gives (6.1) by the arbitrariness of \(\eta >0\).
Step 2: We claim that
We extend u to \({{\mathbb {R}}}^n\) by setting \(u=0\) on \({{\mathbb {R}}}^n\setminus A\). By \(\Gamma \)-convergence there exists \((u_\varepsilon )\subset L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \({u_\varepsilon }|_A\in SBV(A,{{\mathbb {R}}}^m)\), such that
along the sequence \((\varepsilon _j)\) considered in Theorem 5.1. Passing to a further subsequence we have
for \({\mathcal {L}}^n\)- a.e. \( x \in A\). In the rest of the proof \(\varepsilon \) will always be an element of this sequence.
By (j) of Section 2 and by [5, Definition 3.70], for \({\mathcal {L}}^n\)-a.e. \( x \in A\) we have
Let us fix \(x\in A\) such that (6.13)-(6.16) hold true.
Recalling (5.1) we have that \( {\widehat{E}}(u, Q_{\rho }(x))\le c_3|Du|(Q_{\rho }(x)) + c_4 \rho ^n \), hence by (6.14) and (6.16) there exists \(\rho _0\in (0,1)\) such that
for every \(\rho \in (0,\rho _0)\). Since \({\widehat{E}}(u,\cdot )\) is a Radon measure, there exists a set \(B\subset (0,\rho _0)\), with \((0,\rho _0)\setminus B\) at most countable, such that \({\widehat{E}}(u,\partial Q_\rho ( x))=0\) for every \(\rho \in B\). Then we have
for every \(\rho \in B\). By \(\Gamma \)-convergence we also have
so that by (6.12) it follows that for every \(\rho \in B\)
Note that for every \(\rho \in B\) there exists \(\varepsilon (\rho )>0\) such that for every \(\varepsilon \in (0,\varepsilon (\rho ))\)
where in the last inequality we used (6.17).
The rest of this proof is devoted to modifying \(u_\varepsilon \) in order to construct a competitor for the minimisation problems appearing in (4.2), which defines \(f_{\textrm{hom}}\). To this end, for every \(\rho \in B\) and \(\varepsilon >0\) we consider the blow-up functions defined for \(y\in Q:=Q_1(0)\) by
Then \( w_\varepsilon ^\rho \in SBV(Q,{{\mathbb {R}}}^m)\) and \(w^\rho \in BV(Q,{{\mathbb {R}}}^m)\). Since \(u_\varepsilon \rightarrow u\) in \(L^1(Q_\rho (x), {{\mathbb {R}}}^m)\) by (6.12), using (6.13) for every \(\rho \in B\) we obtain
Moreover, from (6.15) we can deduce that
where we set \(\xi :=\nabla u(x)\). Therefore, by possibly reducing the values of \(\rho _0\) and \(\varepsilon (\rho )\), we may assume that
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\). By the definition of \(w_\varepsilon ^\rho \), a change of variables gives
where \(E^\rho _\varepsilon \) is the functional corresponding to the integrands \( f_\varepsilon ^\rho (y,\xi ):=f(\tfrac{ x +\rho y}{\varepsilon },\xi )\) and \(g_\varepsilon ^\rho (y,\zeta ,\nu ):=\tfrac{1}{\rho }g(\tfrac{ x +\rho y}{\varepsilon },\rho \zeta ,\nu )\); i.e.,
for every \(w\in SBV(Q,{{\mathbb {R}}}^m)\). Note that \(f_\varepsilon ^\rho \) satisfies (f3) and (f4), while \(g_\varepsilon ^\rho \) satisfies (g3) and (g4).
We now modify \(w_\varepsilon ^\rho \) in a way such that it attains the linear boundary datum \(\ell _\xi \) near \(\partial Q\). To this end we apply the Fundamental Estimate [11, Proposition 3.1] to the functionals \(E^\rho _\varepsilon \). Thus for \(\eta \in (0,\frac{1}{2})\) fixed there exist a constant \(L_\eta >0\) with the following property: for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\) there exists a cut-off function \(\varphi ^\rho _\varepsilon \in C^\infty _c(Q)\), with \(0\le \varphi ^\rho _\varepsilon \le 1\) in Q, \(\textrm{supp}(\varphi ^\rho _\varepsilon )\subset Q_{1-\eta }:=Q_{1-\eta }(0)\), and \(\varphi ^\rho _\varepsilon =1\) in \(Q_{1-2\eta }:=Q_{1-2\eta }(0)\), such that, setting \({\hat{w}}^\rho _\varepsilon :=\varphi ^\rho _\varepsilon w^\rho _\varepsilon + (1-\varphi ^\rho _\varepsilon )\ell _{\xi }\), we have
We note that \({\hat{w}}^\rho _\varepsilon =\ell _\xi \) in \(Q\setminus Q_{1-\eta }\), as desired. Moreover in view of (f4) we have
From (6.19), (6.22), (6.23), (6.24) and (6.25) we obtain
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\). By the lower bounds (f3) and (g3), we deduce that the total variation of \({\hat{w}}_\varepsilon ^\rho \) is bounded uniformly with respect to \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\). Note moreover that also the \(L^1\)-norm of \({\hat{w}}_\varepsilon ^\rho \) is bounded uniformly, by (6.22). In conclusion, the sequence \(({\hat{w}}_\varepsilon ^\rho )\) is bounded in \(BV(Q,{{\mathbb {R}}}^m)\) uniformly with respect to \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\).
By Lemma 4.3 there exist a constant \(M_{\eta }>0\) with the following property: for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\) there exists \({\tilde{w}}^\rho _\varepsilon \in SBV(Q,{{\mathbb {R}}}^m)\cap L^\infty (Q,{{\mathbb {R}}}^m)\), with \({\tilde{w}}^\rho _\varepsilon =\ell _\xi \) near \(\partial Q\), such that
We now set \(r:=\frac{\rho }{\varepsilon }\) and \( v_\varepsilon ^\rho ( y):= r {\tilde{w}}_\varepsilon ^\rho (\tfrac{y}{r}- \tfrac{x}{\rho })+\tfrac{r}{\rho }\ell _\xi ( x)\); clearly \(v_\varepsilon ^\rho \in SBV(Q_r(\frac{r x }{\rho }),{{\mathbb {R}}}^m)\), \( v_\varepsilon ^\rho = \ell _\xi \) near \(\partial Q_r(\frac{r x }{\rho })\), and, by a change of variables
Moreover, by combining (6.26), (6.27), and (6.29) with the lower bound (g3) we immediately deduce the existence of a constant \(C>0\), depending on \(|\xi |\), such that
By Lemma 6.1, applied with \(t=\rho /r\), using (6.28) and (6.30) we deduce that
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\). From this inequality and from (6.23), (6.24), (6.25), (6.27), and (6.29) we obtain
where \(K:=(c_3|\xi | +c_4)3n +1\). Recalling that \( v_\varepsilon ^\rho = \ell _\xi \) near \(\partial Q_r(\frac{r x }{\rho })\), we get
Since \(r=\frac{\rho }{\varepsilon }\), by (4.2) with x replaced by \(\frac{x}{\rho }\), the left-hand side of the previous inequality converges to \( f_{\textrm{hom}}(\xi )\) as \(\varepsilon \rightarrow 0+\). By (6.18) and (6.20) we can pass to the limit in the right-hand side as \(\varepsilon \rightarrow 0+\) and we obtain
By (3.8), (6.16), and (6.21), passing to the limit as \(\rho \rightarrow 0+\) we get
Since \(\xi = \nabla u(x)\), this inequality gives (6.11) by the arbitrariness of \(\eta >0\). \(\square \)
7 Identification of the surface term
In Proposition 7.2 below we characterise the derivative of \({\widehat{E}}(u,\cdot )\) with respect to the measure for a given BV-function u. In order to prove this result we need the estimate established in the following lemma.
Lemma 7.1
Let \(f\in {\mathcal {F}}\), \(A\in {\mathscr {A}}\), \(v\in BV(A,{{\mathbb {R}}}^m)\). Then for every \(t>0\)
Proof
Let \(t>0\). By (f4) and (3.2), using Hölder’s inequality, we obtain that
This concludes the proof. \(\square \)
Proposition 7.2
(Homogenised surface integrand) Let f, g, \(E_\varepsilon \), \((\varepsilon _j)\), and \({\widehat{E}}\) be as in Theorem 5.1. Assume that (b) of Theorem 4.1 holds, and let \(g_{\textrm{hom}}\) be as in (4.3). Then for every \(A\in {\mathscr {A}}\) and every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\), we have that
![](http://media.springernature.com/lw447/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ477_HTML.png)
Proof
Let us fix \(A\in {\mathscr {A}}\) and \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\). We divide the proof into two steps.
Step 1: We claim that
![](http://media.springernature.com/lw445/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ92_HTML.png)
By (a)-(e) of Theorem 5.1 and by [10, Lemmas 3.1 and 3.5], arguing as in the proof of (3.17) in [10, Theorem 3.7], for \({\mathcal {H}}^{n-1}\)-a.e. \(x\in S_u \cap A\) we have
![](http://media.springernature.com/lw370/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ93_HTML.png)
Fix \(x\in S_u \cap A\) such that (7.2) holds and set \(\zeta :=[u](x)\) and \(\nu :=\nu _u(x)\).
For every \(\rho >0\) we have
since the above identity directly follows from (4.3) by replacing x with \( \frac{x}{\rho }\).
Let us fix \(\eta \in (0,1)\). By (3.4) for every \(\rho \in (0,1)\) and \(r>0\) there exists \( v^\rho _r\in SBV(Q^\nu _r( \tfrac{ r x}{\rho }),{{\mathbb {R}}}^m)\), with \( v^\rho _r=u_{\frac{r x }{\rho },\zeta ,\nu }\) near \(\partial Q^\nu _r( \tfrac{ r x}{\rho })\), such that
where we used that \(f^\infty (\cdot ,0)=0\) and (g4). We extend \( v^\rho _r\) to \({{\mathbb {R}}}^n\) by setting \( v^\rho _r(y)= u_{\frac{r x }{\rho },\zeta ,\nu }(y)\) for every \(y\in {{\mathbb {R}}}^n\setminus Q^\nu _r(\tfrac{r x}{\rho })\).
By combining (7.4) with the lower bound (f3) we immediately deduce the existence of a constant \(C>0\), depending on \(\zeta \), such that
By Lemma 7.1, applied with \(t=r/\rho \), using (7.5), we deduce that
This inequality, together with (7.3) and (7.4), gives
where \(K:= c_5 (1+ c_4^{1-\alpha })+c_5c_3^{1-\alpha } C^{1-\alpha }\).
Given \(\varepsilon >0\) and \(\rho \in (0,1)\), for every \(y\in {{\mathbb {R}}}^n\) we define \( u^\rho _\varepsilon (y):= v^\rho _r (\frac{y}{\varepsilon })=v^\rho _r (\frac{r y}{\rho })\), with \(r:=\rho /\varepsilon \). Then \( u^\rho _\varepsilon \in SBV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), \( u^\rho _\varepsilon =u_{x,\zeta ,\nu }\) near \(\partial Q^\nu _\rho (x)\) and in \({{\mathbb {R}}}^n\setminus Q^\nu _\rho (x)\). By a change of variables, from the previous inequality we get that for every \(\rho \in (0,1)\)
Since the functions \( u^\rho _\varepsilon \) coincide with \(u_{x,\zeta ,\nu }\) in \(Q^\nu _{(1+\eta )\rho }(x)\setminus Q^\nu _{(1-\delta _\varepsilon )\rho }(x)\) for some \(\delta _\varepsilon \in (0,1)\), by (g4) we have \(E_\varepsilon ( u^\rho _\varepsilon ,Q^\nu _{(1+\eta )\rho }( x ))\le E_\varepsilon ( u^\rho _\varepsilon ,Q^\nu _\rho ( x )) + c_3|\zeta |2^{n-1} \rho ^{n-1}\eta \), which, together with (7.6), gives
where \({\tilde{K}}:=1+ c_3|\zeta |2^{n-1}\). Since \( u^\rho _\varepsilon \) coincides with \(u_{x,\zeta ,\nu }\) in \({{\mathbb {R}}}^n\setminus Q^\nu _\rho (x)\), using the lower bounds (f3) and (g3) and Poincaré’s inequality we deduce from (7.7) that for every \(\rho >0\) there exists \(\varepsilon (\rho )>0\) such that the functions \(u^\rho _\varepsilon \) are bounded in \(BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) uniformly with respect to \(\varepsilon \in (0,\varepsilon (\rho ))\). Then there exists a subsequence, not relabelled, of the sequence \((\varepsilon _j)\) considered in Theorem 5.1, such that \(( u^\rho _{\varepsilon _k})\) converges in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) to some \( u^\rho \in BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) with \(u^\rho =u_{x,\zeta ,\nu }\) in \(Q^\nu _{(1+\eta )\rho }(x)\setminus Q^\nu _{\rho }(x)\). As a consequence of the \(\Gamma \)-convergence of \(E_{\varepsilon _j}(\cdot , Q^\nu _{(1+\eta )\rho }(x))\) to \({\widehat{E}}(\cdot , Q^\nu _{(1+\eta )\rho }(x))\), from (7.7) we obtain
Finally, passing to the limit as \(\rho \rightarrow 0+\), from (7.2) we get
![](http://media.springernature.com/lw317/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ478_HTML.png)
Since \(\zeta := [u](x)\) and \(\nu = \nu _u(x)\), this gives (7.1) by the arbitrariness of \(\eta >0\).
Step 2: We claim that
![](http://media.springernature.com/lw445/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ99_HTML.png)
We extend u to \({{\mathbb {R}}}^n\) by setting \(u=0\) on \({{\mathbb {R}}}^n\setminus A\). By \(\Gamma \)-convergence there exists \((u_\varepsilon )\subset L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \({u_\varepsilon }|_A\in SBV(A,{{\mathbb {R}}}^m)\), such that
along the sequence \((\varepsilon _k)\) considered in Theorem 5.1.
By [5, Definition 3.67 and Step 2 in the proof of Theorem 3.77] and thanks to a generalised version of the Besicovitch Differentiation Theorem (see [31] and [26, Sections 1.2.1-1.2.2]), for \({{\mathcal {H}}}^{n-1}\)-a.e. \(x\in S_u\cap A\) we have
![](http://media.springernature.com/lw297/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ101_HTML.png)
![](http://media.springernature.com/lw350/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ102_HTML.png)
![](http://media.springernature.com/lw284/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ103_HTML.png)
Let us fix \( x \in S_u\cap A\) such that (7.10)-(7.12) are satisfied, and set \(\zeta :=[u](x)\) and \(\nu :=\nu _u(x)\).
Recalling (5.1) we have that \( {\widehat{E}}(u, Q^\nu _{\rho }(x))\le c_3|Du|(Q^\nu _{\rho }(x)) + c_4 \rho ^n \), hence by (7.10) there exists \(\rho _0\in (0,1)\) such that
for every \(\rho \in (0,\rho _0)\). Since \({\widehat{E}}(u,\cdot )\) is a Radon measure, there exists a set \(B\subset (0,\rho _0)\), with \((0,\rho _0)\setminus B\) at most countable, such that \({\widehat{E}}(u,\partial Q^\nu _\rho (x))=0\) for every \(\rho \in B\). Proceeding as in the proof of (6.18), by (7.9) we can show that for every \(\rho \in B\)
Hence, for every \(\rho \in B\) there exists \(\varepsilon (\rho )>0\) such that for every \(\varepsilon \in (0,\varepsilon (\rho ))\)
where in the last inequality we used (7.13).
The rest of this proof is devoted to modifying \(u_\varepsilon \) in order to construct a competitor for the minimisation problems appearing in (4.3), which defines \(g_{\textrm{hom}}\). To this end, for every \(\rho \in B\) and \(\varepsilon >0\) we consider the blow-up functions defined for \(y\in Q^\nu :=Q^\nu _1(0)\) by
Then \( w_\varepsilon ^\rho \in SBV(Q^\nu ,{{\mathbb {R}}}^m)\) and \(w^\rho \in BV(Q^\nu ,{{\mathbb {R}}}^m)\). Since \(u_\varepsilon \rightarrow u\) in \(L^1(Q^\nu _\rho (x), {{\mathbb {R}}}^m)\) by (7.9), for every \(\rho \in B\) we obtain
moreover, from (7.11) we have
Up to possibly reducing the values of \(\rho _0\) and \(\varepsilon (\rho )\), we may then assume that
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\). By a change of variables, we obtain the relation
where \(E^\rho _\varepsilon \) is the functional corresponding to the integrands \( f_\varepsilon ^\rho (y,\xi ):=\rho f(\tfrac{ x +\rho y}{\varepsilon },\tfrac{\xi }{\rho })\) and \(g_\varepsilon ^\rho (y,\zeta ,\nu ):=g(\tfrac{ x +\rho y}{\varepsilon },\zeta ,\nu )\); i.e.,
for every \(w\in SBV(Q^\nu ,{{\mathbb {R}}}^m)\). Note that \(f_\varepsilon ^\rho \) satisfies (f3) and (f4) (recall that \(\rho <1\)), while \(g_\varepsilon ^\rho \) satisfies (g3) and (g4).
We now modify \( w_\varepsilon ^\rho \) in a way such that it attains the boundary datum \(u_{0,\zeta ,\nu }\) near \(\partial Q^\nu \). This will be done by applying the Fundamental Estimate [11, Proposition 3.1] to the functionals \(E^\rho _\varepsilon \). Thus for \(\eta \in (0,\frac{1}{2})\) fixed there exist a constant \(L_\eta >0\) with the following property: for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\) there exists a cut-off function \(\varphi ^\rho _\varepsilon \in C^\infty _c(Q^\nu )\), with \(0\le \varphi ^\rho _\varepsilon \le 1\) in \(Q^\nu \), \(\textrm{supp}(\varphi ^\rho _\varepsilon )\subset Q^\nu _{1-\eta }:=Q^\nu _{1-\eta }(0)\), and \(\varphi ^\rho _\varepsilon =1\) in \(Q^\nu _{1-2\eta }:=Q^\nu _{1-2\eta }(0)\), such that, setting \({\hat{w}}^\rho _\varepsilon :=\varphi ^\rho _\varepsilon w^\rho _\varepsilon + (1-\varphi ^\rho _\varepsilon )u_{0,\zeta ,\nu }\), we have
By definition we clearly have \({\hat{w}}^\rho _\varepsilon =u_{0,\zeta ,\nu }\) in \(Q^\nu \setminus Q^\nu _{1-\eta }\), as desired. Moreover, from (f4) and (g4) we obtain the bound
and hence, from (7.20) and (7.21) we have that
for every \(\rho \in B\) and every \(\varepsilon \in (0,\varepsilon (\rho ))\), where \(K = 3(c_4 \rho n + c_3 |\zeta | (n-1))\). Note that (f3), (g3), (7.15), (7.18), (7.19) and (7.22) imply that
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\).
We finally set \(r:=\frac{\rho }{\varepsilon }\) and \(v_\varepsilon ^\rho (y):={\hat{w}}_\varepsilon ^\rho (\tfrac{y}{r} - \tfrac{x }{\rho })\); clearly \(v_\varepsilon ^\rho \in SBV(Q^\nu _r( \tfrac{r x}{\rho }),{{\mathbb {R}}}^m)\), \(v_\varepsilon ^\rho = u_{\frac{rx}{\rho },\zeta ,\nu }\) near \(\partial Q^\nu _r( \tfrac{r x}{\rho })\), and via a change of variables, using also (7.23), we have that
where C depends only on \(|\zeta |\). Hence by Lemma 7.1, applied with \(t=r/\rho \), using (7.24), we have
for every \(\rho \in B\) and \(\varepsilon \in (0,\varepsilon (\rho ))\), where \({\tilde{K}}:= c_5 (1+ c_4^{1-\alpha })+ c_5c_3^{1-\alpha } C^{1-\alpha }\). From (7.19), (7.22), (7.25), and (7.26) we obtain
Since \(v_\varepsilon ^\rho = u_{\frac{rx}{\rho },\zeta ,\nu }\) near \(\partial Q^\nu _r( \tfrac{r x}{\rho })\), we have that
Since \(r=\frac{\rho }{\varepsilon }\), by (4.3) with x replaced by \(\frac{x}{\rho }\), the left-hand side converges to \( g_{\textrm{hom}}(\xi )\) as \(\varepsilon \rightarrow 0+\). By (7.14) and (7.16) we can pass to the limit in the right-hand side as \(\varepsilon \rightarrow 0+\) and we obtain
By (7.12) and (7.17), passing to the limit as \(\rho \rightarrow 0+\) we get
![](http://media.springernature.com/lw295/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ479_HTML.png)
Since \(\zeta = [u](x)\) and \(\nu = \nu _u(x)\), this inequality gives (7.8) by the arbitrariness of \(\eta >0\). \(\square \)
8 Identification of the Cantor term
In Proposition 8.3 below we characterise the derivative of \({\widehat{E}}(u,\cdot )\) with respect to |C(u)|, the variaton of the Cantor part of the measure Du. At the end of this section we conclude the proof of Theorem 4.1.
The following proposition shows that the recession function of \(f_{\textrm{hom}}\), which is defined in terms of the minimum values \(m^{f,g_0}\), can be obtained from suitably rescaled limits of the minimum values \(m^{f^\infty ,g_0}\), involving now the recession function \(f^\infty \) of f.
Proposition 8.1
Let \(f\in {\mathcal {F}}\) and \(g\in {\mathcal {G}}\), and let \(m^{f,g_0}\) and \(m^{f^\infty ,g_0}\) be as in (3.4), with (f, g) replaced by \((f,g_0)\) and \((f^\infty ,g_0)\), respectively. Assume that (a) of Theorem 4.1 holds, and let \(f_{\textrm{hom}}\) be as in (4.2). Let \(f_{\textrm{hom}}^\infty \) be the recession function of \(f_{\textrm{hom}}\) (whose existence is guaranteed by the fact that \(f_{\textrm{hom}} \in {\mathcal {F}}\)). Then
for every \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), and \(k\in {{\mathbb {N}}}\).
Proof
Let \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\eta \in (0,1)\) be fixed. By (3.4) for every \(r>0\) there exists \( v_r\in SBV(Q^{\nu ,k}_r(rx),{{\mathbb {R}}}^m)\), with \( v_r=\ell _\xi \) near \(\partial Q_r^{\nu ,k}({ r x})\), such that
Note that, by (f3) and (f4), this implies that
where we used the fact that \(f^\infty \) satisfies (f4) with \(c_4=0\). Let \(t>1\); by Lemma 7.1 and by (8.3), recalling that \(\alpha \in (0,1)\), we have
where \(K=c_5 (1+ c_4^{1-\alpha })+c_5(c_3/c_2)^{1-\alpha }(c_3|\xi |+ 1)^{1-\alpha }\). Hence
where \(f_t(y,\xi ):=\frac{1}{t} f(y,t \xi )\).
Since \(v_r\in SBV(Q^{\nu ,k}_r(rx),{{\mathbb {R}}}^m)\) and \( v_r=\ell _\xi \) near \(\partial Q_r^{\nu ,k}({ r x})\), the previous inequality, together with (3.4) and (8.2), gives
We now let \(r\rightarrow +\infty \) in the previous estimate. For the left-hand side we note that, by the definition of \(f_{\textrm{hom}}\), (3.4), and the positive 1-homogeneity of \(g_0\) with respect to its second variable, by a change of variables we have
Hence, from (8.4) and (8.5) we have that
By letting \(t\rightarrow +\infty \), since \(\eta \in (0,1)\) is arbitrary, we obtain the inequality
Exchanging the roles of \(f_t\) and \(f^\infty \), an analogous argument yields the inequality
and hence (8.1) follows. \(\square \)
For later purposes it is convenient to prove that \(f^\infty _{\textrm{hom}}\) can be equivalently expressed in terms of a (double) limit involving minimisation problems where the Dirichlet conditions are prescribed only on a part of the boundary. We recall that the definitions of \(\partial ^\perp _\nu Q^{\nu ,k}_r(rx)\) and \(\partial ^\parallel _\nu Q^{\nu ,k}_r(rx)\) are given in (i) in Section 2, while the meaning of the boundary condition on a part of the boundary is explained after (3.4).
Lemma 8.2
Under the assumptions of Proposition 8.1 we have that
for every \(x\in {{\mathbb {R}}}^{n}\), \(a \in {{\mathbb {R}}}^{m}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\), where
with \( {\mathcal {U}}^{\nu ,k}_{a,r}(x):=\{v \in SBV(Q^{\nu ,k}_r(rx),{{\mathbb {R}}}^m) :v=\ell _{a\otimes \nu } \text { near }\partial ^\perp _\nu Q^{\nu ,k}_r(rx)\} \).
Proof
Let \(x\in {{\mathbb {R}}}^n\), \(a\in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) be fixed, and for every \(r>0\) and \(k>0\) let \(Q^{\nu ,k}_{x,r}:=Q^{\nu ,k}_r(rx)\). Since \(\partial ^\perp _\nu Q^{\nu ,k}_{x,r}\subset \partial Q^{\nu ,k}_{x,r}\), we have \({{\widetilde{m}}}^{f^\infty ,g_0}(\ell _{a \otimes \nu }, Q^{\nu ,k}_{x,r})\le m^{f^\infty ,g_0}(\ell _{a \otimes \nu }, Q^{\nu ,k}_{x,r})\). Due to (8.1), to obtain (8.6) we only need to prove the inequality
To this aim, let us fix \(h\in {{\mathbb {N}}}\). For every \(r\ge 1\) and \(k\in {{\mathbb {N}}}\), with \(k\ge h\), there exists \(v_r^k\in {\mathcal {U}}^{\nu ,k}_{a,r}(x)\) such that
where we used the fact that \(f^{\infty } (y,\xi ) \le c_3 |\xi |\) and \(1\le k^{n-1} r^n\). By (f3) and (g3), inequality (8.9) implies that
Changing \(v_r^k\) in an \({\mathcal {L}}^n\)-negligible set, we may assume that \(v_r^k(y)\) coincides with the approximate limit of \(v_r^k\) at y for every \(y\in Q^{\nu ,k}_{x,r}\setminus S_{v_r^k}\) (see [5, Definition 3.63]). By Fubini’s theorem we have
Since \(v_r^k-\ell _{a \otimes \nu }=0\) near \(\partial ^\perp _\nu Q^{\nu ,k}_{x,r}\), by Poincaré’s inequality on strips we have
Since \({\mathcal {H}}^{n-1}\) is \(\sigma \)-finite on \(S_{v_r^k}\), we have \({\mathcal {H}}^{n-1}(S_{v_r^k}\cap \partial ^\parallel _\nu Q^{\nu ,\lambda }_{x,r})=0\) for \({\mathcal {L}}^1\)-a.e. \(\lambda \in (k-h,k)\). From (8.10)-(8.11) we deduce that there exists \(\lambda ^k_r\in (k-h,k)\) such that \({\mathcal {H}}^{n-1}(S_{v_r^k}\cap \partial ^\parallel _\nu Q^{\nu ,\lambda ^k_r}_{x,r})=0\) and
where \(C:= 2(c_3|a|+1)/c_2 +2 |a|\).
To prove (8.8) we need to modify \(v_r^k\) so that it attains the affine boundary datum \(\ell _{a\otimes \nu }\) near the whole boundary \(\partial Q^{\nu ,k}_{x,r}\), and hence is a competitor for the minimisation problem in the definition of \(f^{\infty }_{\textrm{hom}}\). The modified function is defined by
Then \(\hat{v}_r^k \in SBV(Q^{\nu ,k}_{x,r}, {{\mathbb {R}}}^m)\) and \(\hat{v}_r^k = \ell _{a\otimes \nu }\) near \(\partial Q^{\nu ,k}_{x,r}\). Moreover, since \({\mathcal {H}}^{n-1}(S_{v_r^k}\cap \partial ^\parallel _\nu Q^{\nu ,\lambda ^k_r}_{x,r})=0\), by (f4) and (g4) we have
Since \(k^{n-1}-(\lambda ^k_r)^{n-1}\le k^{n-1}-(k-h)^{n-1}\le (n-1)k^{n-2}h\), from (8.9), (8.12), and (8.13) we obtain
We then divide both sides of the previous inequality by \(k^{n-1} r^n\), to obtain
Taking the limit first as \(r\rightarrow +\infty \), then as \(k\rightarrow +\infty \), and finally as \(h\rightarrow +\infty \), from (8.1) we obtain (8.8), and hence (8.6). \(\square \)
In the next proposition we characterise the derivative of \({\widehat{E}}(u,\cdot )\) with respect to |C(u)|, for any BV-function u.
Proposition 8.3
(Homogenised Cantor integrand) Let f, g, \(E_\varepsilon \), \((\varepsilon _k)\), and \({\widehat{E}}\) be as in Theorem 5.1. Assume that (a) of Theorem 4.1 holds, let \(f_{\textrm{hom}}\) be as in (4.2), and let \(f_{\textrm{hom}}^\infty \) denote its recession function (whose existence is guaranteed by the fact that \(f_{\textrm{hom}} \in {\mathcal {F}}\)). Then for every \(A\in {\mathscr {A}}\) and every \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\), we have that
for |C(u)|-a.e. \(x\in A\).
Proof
Let us fix \(A\in {\mathscr {A}}\) and \(u\in L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \( u|_A\in BV(A,{{\mathbb {R}}}^m)\). We divide the proof into two steps.
Step 1: We claim that
By Alberti’s rank-one theorem [2] we know that for |C(u)|-a.e. \(x\in A\) we have
for a suitable pair \((a(x),\nu (x)) \in {{\mathbb {R}}}^m \times {{\mathbb {S}}}^{n-1}\). Moreover, by (a)-(e) of Theorem 5.1 and by [10, Lemma 3.9] we have that for |C(u)|-a.e. \(x\in A\) there exists a doubly indexed positive sequence \(( t_{\rho ,k} )\), with \(\rho >0\) and \(k\in {{\mathbb {N}}}\), such that
Let \( x \in A\) be fixed such that (8.15)-(8.17) hold true and set \(a:=a( x )\) and \(\nu :=\nu ( x )\).
For every \(\rho >0\) and every \(k\in {{\mathbb {N}}}\) we have
since the above identity directly follows from (8.1) by replacing x with \(\frac{ x}{\rho }\).
Let us fix \(\eta \in (0,\frac{1}{2})\). By (3.4) for every \(k\in {{\mathbb {N}}}\), \(\rho \in (0,1)\) and \(r>0\) there exists a function \(v^{\rho ,k}_r\in SBV\big (Q^{\nu ,k}_r\big (\frac{r x }{\rho }\big ),{{\mathbb {R}}}^m\big )\) with \(v^{\rho ,k}_r= \ell _{a\otimes \nu }\) near \(\partial Q^{\nu ,k}_r(\frac{r x }{\rho })\) and such that
where we used the fact that \(f^{\infty } (y, \xi ) \le c_3 |\xi |\). We extend \( v^{\rho ,k}_r\) to \({{\mathbb {R}}}^n\) by setting \( v^{\rho ,k}_r(y)= \ell _{a\otimes \nu }(y)\) for every \(y\in {{\mathbb {R}}}^n\setminus Q^{\nu ,k}_r(\tfrac{r x}{\rho })\).
For every \(y\in {{\mathbb {R}}}^n\) we define \(w^{\rho ,k}_r(y):=\frac{1}{r} v^{\rho ,k}_r(\frac{rx}{\rho }+ ry) -\ell _{a\otimes \nu }(\frac{x}{\rho })\). Clearly \( w^{\rho ,k}_r\in SBV_{ \textrm loc}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) and \( w^{\rho ,k}_r =\ell _{a\otimes \nu }\) near \(\partial Q^{\nu ,k}\) and in \({{\mathbb {R}}}^n\setminus Q^{\nu ,k}\), where \(Q^{\nu ,k}:=Q^{\nu ,k}_1(0)\). Moreover, by a change of variables, using the 1-homogeneity of \(g_0\) in the second variable we have
where \(E^{f^\infty _{r, \rho }, g_{0}^{r, \rho }}\) is the functional with integrands \( f^\infty _{r, \rho } (y,\xi ):=f^\infty (\tfrac{r x}{\rho } +r y ,\xi )\) and \(g_{0}^{r, \rho } (y,\zeta ,\nu ):= g_0(\tfrac{r x}{\rho } + r y, \zeta ,\nu )\); i.e.,
for every \(w\in SBV(Q^{\nu ,k},{{\mathbb {R}}}^m)\). Note that \(f^\infty _{r, \rho } \in {\mathcal {F}}\) and \(g_{0}^{r, \rho } \in {\mathcal {G}}\). By the lower bounds (f3) and (g3), from (8.19) and (8.20), using also Poincaré’s inequality, we deduce that \(\Vert w^{\rho ,k}_r\Vert _{L^1(Q^{\nu ,k},{{\mathbb {R}}}^m)}+|Dw^{\rho ,k}_r|(Q^{\nu ,k})\le C k^{n-1}\) for every \(\rho \in (0,1)\) and \(r>0\), with \(C:=2(c_3|a|+1)/c_2+2|a|\).
By Lemma 4.3 there exist a constant \( M_{\eta ,k} >0\), depending also on |a| and C, such that for every \(\rho \in (0,1)\) and \(r>0\) there exists \({\tilde{w}}^{\rho ,k}_r\in SBV(Q^{\nu ,k},{{\mathbb {R}}}^m)\cap L^\infty (Q^{\nu ,k},{{\mathbb {R}}}^m)\) with the following properties: \({\tilde{w}}^{\rho ,k}_r=\ell _{a\otimes \nu }\) near \(\partial Q^{\nu ,k}\), \(\Vert {\tilde{w}}^{\rho ,k}_r\Vert _{L^\infty (Q^{\nu ,k},{{\mathbb {R}}}^m)}\le M_{\eta ,k} \), and
where the last inequality follows from (8.18) and (8.19). Let \({\tilde{v}}^{\rho ,k}_r\in SBV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) be defined by \({\tilde{v}}^{\rho ,k}_r(y):=r{\tilde{w}}^{\rho ,k}_r(\frac{y}{r}-\frac{x}{\rho })+ \ell _{a\otimes \nu }(\frac{rx}{\rho })\). Then \({\tilde{v}}^{\rho ,k}_r=\ell _{a\otimes \nu }\) near \(\partial Q^{\nu ,k}_r( \tfrac{ r x}{\rho })\) and, by a change of variables,
where the last inequality follows from (8.21). Moreover, by combining (8.19) and (8.23) with the lower bounds (f3) and (g3) we immediately deduce the existence of a constant \(C>0\), depending on |a|, such that
Let \(\rho \in (0,1)\) and \(k \in {{\mathbb {N}}}\), with \(t_{\rho ,k}>1\). By Lemma 7.1, applied with \(t=t_{\rho ,k}\), and (8.24), recalling that \(\alpha \in (0,1)\), we obtain that
where \(K_1:= c_5 (1+ c_4^{1-\alpha })+c_5c_3^{1-\alpha } C^{1-\alpha }\).
For every \(r>0\) and \(\rho \in (0,1)\) we can apply Lemma 6.1 with \(t:= \frac{\rho \, t_{\rho ,k}}{r}\). By (8.22) and (8.25) we obtain
for every \(r>0\) and \(\rho \in (0,1)\).
Estimates (8.26) and (8.27), together with (8.18) and (8.23), give
Given \(k\in {{\mathbb {N}}}\) and \(\rho \in (0,1)\), for every \(\varepsilon >0\) and \(y\in {{\mathbb {R}}}^n\) we define \( u^{\rho ,k}_\varepsilon (y):= \varepsilon \, t_{\rho ,k} {\tilde{v}}^{\rho ,k}_r (\frac{y}{\varepsilon })= \frac{\rho }{r}\, t_{\rho ,k}{\tilde{v}}^{\rho ,k}_r (\frac{r y}{\rho })\), with \(r:=\rho /\varepsilon \). Then \( u^{\rho ,k}_\varepsilon \in SBV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), \( u^{\rho ,k}_\varepsilon =t_{\rho ,k} \ell _{a \otimes \nu }\) near \(\partial Q^{\nu ,k}_\rho (x)\) and in \({{\mathbb {R}}}^n\setminus Q^{\nu ,k}_\rho (x)\). By a change of variables, from (8.28) we have
Since \( u^{\rho ,k}_\varepsilon \) coincides with \(t_{\rho ,k}\ell _{a\otimes \nu }\) in \({{\mathbb {R}}}^n\setminus Q^{\nu ,k}_\rho (x)\), using Poincaré’s inequality and the lower bounds (f3) and (g3) we deduce from (8.29) that for every \(\rho >0\) there exists \(\varepsilon (\rho )>0\) such that the functions \(u^{\rho ,k}_\varepsilon \) are bounded in \(BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) uniformly with respect to \(\varepsilon \in (0,\varepsilon (\rho ))\). Then there exists a subsequence, not relabelled, of the sequence \((\varepsilon _j)\) considered in Theorem 5.1, such that \(( u^{\rho ,k}_{\varepsilon _j})\) converges in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) to some \( u^{\rho ,k} \in BV_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) as \(j\rightarrow +\infty \) with \(u^{\rho ,k}=t_{\rho ,k} \ell _{a \otimes \nu }\) in \(Q^{\nu ,k}_{(1+\eta )\rho }(x)\setminus Q^{\nu ,k}_{\rho }(x)\). As a consequence of the \(\Gamma \)-convergence of \(E_{\varepsilon _j}(\cdot , Q^{\nu ,k}_{(1+\eta )\rho }(x))\) to \({\widehat{E}}(\cdot , Q^{\nu ,k}_{(1+\eta )\rho }(x))\), from (8.29) we obtain
Now, passing to the limit as \(\rho \rightarrow 0+\), from (8.16) and (3.8) we get
Finally, passing to the limit as \(k\rightarrow +\infty \), by (8.17) we obtain
Since \(a:= a(x)\) and \(\nu = \nu (x)\), by (8.15) this inequality gives (8.14) by the arbitrariness of \(\eta >0\).
Step 2: We claim that
We extend u to \({{\mathbb {R}}}^n\) by setting \(u=0\) on \({{\mathbb {R}}}^n\setminus A\). By \(\Gamma \)-convergence there exists \((u_\varepsilon )\subset L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), with \({u_\varepsilon }|_A\in SBV(A,{{\mathbb {R}}}^m)\), such that
along the sequence \((\varepsilon _j)\) considered in Theorem 5.1.
For |C(u)|-a.e. \(x\in A\) there exist \(a(x)\in {{\mathbb {R}}}^m\) and \(\nu (x)\in {{\mathbb {S}}}^{n-1}\) such that for every \(k\in {{\mathbb {N}}}\) we have
where (8.32) follows by [2, Corollary 3.9], (8.33) and (8.34) are consequences of [4, Proposition 2.2], while (8.35) holds true thanks to a generalised version of the Besicovitch Differentiation Theorem (see [31] and [26, Sections 1.2.1-1.2.2]).
Let us fix \(x\in A\) such that (8.32)-(8.35) hold true, and set \(a:=a(x)\) and \(\nu :=\nu (x)\). For \(k\in {{\mathbb {N}}}\) and \(\rho \in (0,1)\) we set
Then
Note that, by (8.33) and (8.34), the following properies hold:
Recalling (5.1), we have that \( {\widehat{E}}(u, Q^{\nu ,k}_{\rho }(x))\le c_3|Du|(Q^{\nu ,k}_{\rho }(x)) + c_4 k^{n-1}\rho ^n \), hence by (8.37) there exists \(\rho _k\in (0,1)\) such that
Since \({\widehat{E}}(u,\cdot )\) is a Radon measure, there exists a set \( B_k \subset (0,\rho _k)\), with \((0,\rho _k)\setminus B_k \) at most countable, such that \({\widehat{E}}(u,\partial Q^{\nu ,k}_\rho ( x ))=0\) for every \(\rho \in B_k\). Proceeding as in the proof of (6.18) and (7.14), by (8.31) we can show that for every \(\rho \in B_k\)
Hence, for every \(\rho \in B_k\) there exists \(\varepsilon (\rho ,k)>0\) such that for every \(\varepsilon \in (0,\varepsilon (\rho ,k))\)
where in the last inequality we used (8.38).
Now, for every \(\rho \in B_k \) and \(\varepsilon \in (0,\varepsilon (\rho ,k))\) we consider the blow-up functions defined for \(y\in Q^{\nu ,k}:=Q^{\nu ,k}_1(0)\) by
Then \( w_\varepsilon ^{\rho ,k}\in SBV(Q^{\nu ,k},{{\mathbb {R}}}^m)\) and \(w^{\rho ,k}\in BV(Q^{\nu ,k},{{\mathbb {R}}}^m)\). Since \(u_\varepsilon \rightarrow u\) in \(L^1(Q^{\nu ,k}_\rho ( x ), {{\mathbb {R}}}^m)\) by (8.31), for every \(\rho \in B_k\) we obtain
Moreover, recalling (8.32), we have that the function \(w^{\rho ,k}\) satisfies
By [4, Theorem 2.3] and [29, Lemma 5.1] up to a subsequence (not relabelled),
where \(w^k\in BV(Q^{\nu ,k},{{\mathbb {R}}}^m)\) can be represented as
with \(\psi _k\) nondecreasing. By monotonicity these equalities imply that \(-\frac{1}{k^{n-1}}\le \psi ^k(-\tfrac{1}{2})\le 0\le \psi ^k(\tfrac{1}{2}) \le \frac{1}{k^{n-1}}\), and so
By a change of variables we obtain the equality
where \(E^{\rho ,k}_\varepsilon \) is the functional corresponding to the integrands \( f_\varepsilon ^{\rho ,k}(y,\xi ):=\tfrac{1}{k^{n-1} t_{\rho ,k}}f(\tfrac{x +\rho y}{\varepsilon }, k^{n-1} t_{\rho ,k}\, \xi )\) and \(g_\varepsilon ^{\rho ,k}(y,\zeta ,\nu ):=\tfrac{1}{k^{n-1}\rho \, t_{\rho ,k}}g(\tfrac{ x +\rho y}{\varepsilon }, k^{n-1}\rho \, t_{\rho ,k} \zeta ,\nu ) \); i.e.,
for every \(w\in SBV(Q^{\nu ,k},{{\mathbb {R}}}^m)\). Note that \(f_\varepsilon ^{\rho ,k}\) satisfies (f3) and (f4), the latter with \(c_4\) replaced by \(c_4/(k^{n-1}t_{\rho ,k})\), while \(g_\varepsilon ^{\rho ,k}\) satisfies (g3) and (g4).
Let \(\ell ^k\) be the affine function on \({{\mathbb {R}}}^n\) which satisfies \(\ell ^k(y)=\psi ^k(\pm \frac{1}{2})a\) for \(y\cdot \nu =\pm \frac{1}{2}\); i.e.,
for every \(y\in {{\mathbb {R}}}^n\). We now want to modify \(w_\varepsilon ^{\rho ,k}\) in a way such that it attains the boundary datum \(\ell ^k\) near \(\partial ^\perp _\nu Q^{\nu ,k}\) (see (i) in Section 2 and after (3.4)). This will be done by applying the Fundamental Estimate [11, Proposition 3.1] to the functionals \(E^{\rho ,k}_\varepsilon \). First note that, since by (8.37) \(t_{\rho ,k} \rightarrow +\infty \) as \(\rho \rightarrow 0+\), we can reduce the value of the constant \(\rho _k>0\) introduced in (8.38) so that \(t_{\rho ,k}\ge 1\) for every \(\rho \in (0,\rho _k)\).
Therefore, for \(\eta \in (0,\frac{1}{2})\) fixed, by slightly modifying the proof of [11, Proposition 3.1] we obtain the following property: for every \(k\in {{\mathbb {N}}}\), \(\rho \in B_k \), and \(\varepsilon \in (0,\varepsilon (\rho ,k))\) there exists a cut-off function \(\varphi ^{\rho ,k}_\varepsilon \in C^\infty _c(Q^{\nu ,k})\), with \(0\le \varphi ^{\rho ,k}_\varepsilon \le 1\) in \(Q^{\nu ,k}\), \(\textrm{supp}(\varphi ^{\rho ,k}_\varepsilon )\subset R^{\nu ,k}_{1-\eta }:= R_\nu \big ([-\tfrac{k}{2},\tfrac{k}{2}]^{n-1}\times [-\tfrac{1-\eta }{2},\tfrac{1-\eta }{2}]\big )\), and \(\varphi ^{\rho ,k}_\varepsilon =1\) in \(R^{\nu ,k}_{1-2\eta }:=R_\nu \big ([-\tfrac{k}{2},\tfrac{k}{2}]^{n-1}\times [-\tfrac{1-2\eta }{2},\tfrac{1-2\eta }{2}]\big )\), such that, setting \({\hat{w}}^{\rho ,k}_\varepsilon :=\varphi ^{\rho ,k}_\varepsilon w^{\rho ,k}_\varepsilon + (1-\varphi ^{\rho ,k}_\varepsilon )\ell ^k\) and \(S^{\nu ,k}_{2\eta }:=Q^{\nu ,k}\setminus {{\overline{R}}}^{\nu ,k}_{1-2\eta }\), we have
where \(L >0\) is independent of \(\eta \), k, \(\rho \), and \(\varepsilon \). By definition we clearly have \({\hat{w}}^\rho _\varepsilon =\ell ^k\) in \(Q^{\nu ,k} \setminus R^{\nu ,k}_{1-\eta }\), as desired. Moreover, from the bound \(f_\varepsilon ^{\rho ,k}( y,\xi )\le c_3|\xi |+ c_4 /(k^{n-1}t_{\rho ,k})\) we obtain the bound
Hence, from (8.40), (8.46), and (8.49), using also the inequalities \(\eta <\frac{1}{2}\) and \(t_{\rho ,k}\ge 1\), we obtain
We can estimate the last term in the following way:
By (8.43) and (8.48), thanks to a change of variables we have
where \(I_\eta = (-\frac{1}{2}, -\frac{1}{2}+\eta )\) and \(J_\eta = (\frac{1}{2}-\eta , \frac{1}{2})\). Hence, by (8.44) and (8.45), by using the continuity of \(\psi ^k\) at the endpoints, there exists a continuous function \(\tau _k:[0,\tfrac{1}{2}]\rightarrow [0, 3]\), with \(\tau _k(0)=0\), such that
This gives
In particular, from (8.41), (8.42), (8.52), and (8.53), possibly reducing the values of the constants \(\rho _k>0\) and \(\varepsilon ({\rho ,k})>0\), we obtain
for every \(\rho \in B_k\) and \(\varepsilon \in (0,\varepsilon (\rho ,k))\).
Note that (f3), (g3), (8.51), and (8.54) imply that the total variation of \({\hat{w}}_\varepsilon ^\rho \) in \(Q^{\nu ,k}\) is bounded uniformly with respect to \(\rho \in B_k \) and \(\varepsilon \in (0,\varepsilon (\rho ,k))\). Since \({\hat{w}}_\varepsilon ^\rho =\ell ^k\) near \(\partial ^\perp _\nu Q^{\nu ,k}\), using Poincaré’s inequality we obtain a uniform bound also for the \(L^1\) norm of \({\hat{w}}_\varepsilon ^\rho \) in \(Q^{\nu ,k}\). Hence by Lemma 4.3 and Remark 4.4 there exists a constant \(M_{\eta ,k}>0\) with the following property: for every \(\rho \in B_k \) and \(\varepsilon \in (0,\varepsilon (\rho ,k))\) there exists \({\tilde{w}}_\varepsilon ^{\rho ,k}\in SBV(Q^{\nu ,k},{{\mathbb {R}}}^m)\cap L^\infty (Q^{\nu ,k},{{\mathbb {R}}}^m)\), with \({\tilde{w}}_\varepsilon ^{\rho ,k}=\ell ^k\) near \(\partial ^\perp _\nu Q^{\nu ,k}\), such that
We now set \(r:=\frac{\rho }{\varepsilon }\) and \( v_\varepsilon ^{\rho ,k}( y):= r {\tilde{w}}_\varepsilon ^{\rho ,k} (\tfrac{y}{r}- \tfrac{x}{\rho })+\tfrac{r}{\rho }\frac{1}{k^{n-1}} \ell _{a \otimes \nu }( x) -r\big (\psi ^k(\frac{1}{2})-\frac{1}{2k^{n-1}}\big )a\); then \(v_\varepsilon ^{\rho ,k}\in SBV(Q^{\nu ,k}_r(\frac{r x }{\rho }),{{\mathbb {R}}}^m)\), \( v_\varepsilon ^{\rho ,k} = \frac{1}{k^{n-1}}\ell _{a\otimes \nu }\) near \(\partial ^\perp _\nu Q^{\nu ,k}_r(\frac{r x }{\rho })\), and, by a change of variables
Moreover, recalling (8.47) and combining (8.51), (8.54), (8.55), and (8.57) with the lower bounds (f3) and (g3), we deduce the existence of a constant \(C>0\) such that
for every \(\rho \in B_k\) and \(\varepsilon \in (0,\varepsilon ({\rho ,k}))\).
By Lemma 7.1, applied with \(t= k^{n-1} t_{\rho ,k}\), using (8.58) and the inequality \(t_{\rho ,k}\ge 1\) we obtain
for every \(\rho \in B_k \) and \(\varepsilon \in (0,\varepsilon ({\rho ,k}))\), where, as in (8.26), \(K_1:= c_5 (1+ c_4^{1-\alpha })+c_5c_3^{1-\alpha } C ^{1-\alpha }\).
Now note that, since by (8.37) \(\rho t_{\rho ,k} \rightarrow 0+\) as \(\rho \rightarrow 0+\), we can reduce the value of the constant \(\rho _k>0\) introduced in (8.38) so that \(2 M_{\eta ,k} k^{n-1} \rho \,t_{\rho ,k}\le 1\) for every \(\rho \in (0,\rho _k)\). By Lemma 6.1, applied with \(t:= k^{n-1}\varepsilon \,t_{\rho ,k}\), using (8.56) and (8.59), we deduce that
for every \(\rho \in B_k\) and \(\varepsilon \in (0,\varepsilon ({\rho ,k}))\).
From (8.46), (8.49), (8.50), (8.54), (8.55), (8.57), (8.60), and (8.61) we obtain
By the positive 1-homogeneity of \(E^{f^{\infty },g_0}\), thanks to (8.7), and recalling that \(v^{\rho ,k}_\varepsilon = \frac{1}{k^{n-1}}\ell _{a\otimes \nu }\) near \(\partial ^\perp _\nu Q^{\nu ,k}_r(\frac{r x }{\rho })\), we have
Combining this inequality with (8.62), we obtain
Passing to the limit as \(\varepsilon \rightarrow 0+\), recalling that \(r=\frac{\rho }{\varepsilon }\), and thanks to (8.39) and (8.41), we have
Now, passing to the limit as \(\rho \rightarrow 0+\), by (3.8), (8.36), and (8.37), and (8.42),
Passing to the limit as \(\eta \rightarrow 0+\), by (8.53) we deduce that
Finally, taking the limit as \(k \rightarrow +\infty \), by (8.6) we deduce that
By (8.32), this concludes the proof of (8.30), since \(a=a(x)\) and \(\nu = \nu (x)\). \(\square \)
We are now in a position to prove the deterministic homogenisation theorem.
Proof of Theorem 4.1
By Lemma 4.2 the function \(f_{\textrm{hom}}\) defined by (4.2) belongs to \({\mathcal {F}}\) and by Lemma 4.5 the function \(g_{\textrm{hom}}\) defined by (4.3) belongs to \({\mathcal {G}}\). By Theorem 5.1 for every sequence of positive numbers converging to zero, there exist a subsequence \((\varepsilon _{j})\) and a functional \({\widehat{E}} :L^{1}_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\times {\mathscr {A}} \longrightarrow [0,+\infty ]\) such that for every \(A\in {\mathscr {A}}\) the functionals \(E_{\varepsilon _{j}}(\cdot ,A)\) \(\Gamma \)-converge to \({\widehat{E}}(\cdot ,A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), as \(j\rightarrow +\infty \).
Let us fix \(A\in {\mathscr {A}}\) and \(u\in L^{1}_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\). If \(u|_A\in BV(A,{{\mathbb {R}}}^m)\), then by Theorem 5.1(c) and (d) the function \({\widehat{E}}(u,\cdot )\) is a nonnegative bounded Radon measure on \({\mathscr {B}}(A)\), which satisfies the inequality \({\widehat{E}}(u,\cdot )\le c_3|Du|+c_4{\mathcal {L}}^n\). By the decomposition of the gradient of a BV function (see (f) in Section 2), the measure \({\widehat{E}}(u,\cdot )\) is absolutely continuous with respect to the measure . Since
, and |C(u)| are carried by disjoint Borel sets, by the properties of the Radon-Nikodym derivatives mentioned in (j) of Section 2 we have
![](http://media.springernature.com/lw532/springer-static/image/art%3A10.1007%2Fs40818-022-00119-4/MediaObjects/40818_2022_119_Equ480_HTML.png)
Using Propositions 6.2, 7.2, and 8.3 we obtain
If \(u|_A\notin BV(A,{{\mathbb {R}}}^m)\), we have \({\widehat{E}}(u,A)=+\infty \) by Theorem 5.1(c). Therefore,
where \(E_{\textrm{hom}}\) is the functional defined in (4.4). Since the limit does not depend on the subsequence, by the Urysohn property of \(\Gamma \)-convergence in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\) (see [18, Proposition 8.3]) the functionals \(E_\varepsilon (\cdot ,A)\) \(\Gamma \)-converge to \(E_{\textrm{hom}}(\cdot ,A)\) in \(L^1_{\textrm{loc}}({{\mathbb {R}}}^n,{{\mathbb {R}}}^m)\), as \(\varepsilon \rightarrow 0+\). \(\square \)
9 Stochastic homogenisation
In this section we prove Theorems 3.17 and 3.18 concerning stationary random integrands, according to Definition 3.12. We adopt the shorthand notation introduced in (3.16).
We start by proving the existence of the limits which define the the homogenised random volume integrand \(f_{\textrm{hom}}\).
Proposition 9.1
(Homogenised random volume integrand) Let f be a stationary random volume integrand and let g be a stationary random surface integrand with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Then there exists \(\text{\O}mega '\in {\mathcal {T}}\), with \(P(\text{\O}mega ')=1\), such that for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\) the limit
exists and is independent of x, \(\nu \), k, and \(\rho \). More precisely, there exists a random volume integrand \(f_{\textrm {hom}} :\text{\O}mega \times {{\mathbb {R}}}^{m\times n} \rightarrow [0,+\infty )\) such that for every \(\omega \in \text{\O}mega '\), \(x \in {\mathbb {R}}^n\), \(\xi \in {\mathbb {R}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\)
If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(f_{\textrm {hom}}\) is independent of \(\omega \) and
Proof
We divide the proof into four main steps.
Step 1: Existence of the limit in (9.1) for \(\xi \in {{\mathbb {Q}}}^{m\times n}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\) fixed.
Let \((\text{\O}mega , {\widehat{{\mathcal {T}}}}, {\widehat{P}})\) denote the completion of the probability space \((\text{\O}mega , {\mathcal {T}}, P)\). Let \(\xi \in {{\mathbb {Q}}}^{m\times n}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\) be fixed. For every \(\omega \in \text{\O}mega \) and \(A\in {\mathcal {I}}_{n}\) (see (3.15)) we set
where \(R_\nu \) is the orthogonal \(n\times n\) matrix defined in (h) in Section 2, and \(M_\nu \) is a positive integer such that \(M_\nu R_\nu \in {{\mathbb {Z}}}^{n\times n}\).
We now claim that the map \(\mu _{\xi , \nu } :\text{\O}mega \times {\mathcal {I}}_n \rightarrow {{\mathbb {R}}}\) defines an n-dimensional subadditive process on \((\text{\O}mega , {\widehat{{\mathcal {T}}}}, {\widehat{P}})\), according to Definition 3.13.
We start observing that the \({\widehat{{\mathcal {T}}}}\)-measurability of \(\omega \mapsto \mu _{\xi , \nu }(\omega ,A)\) follows from the \({\widehat{{\mathcal {T}}}}\)-measurability of \(\omega \mapsto m^{f,g_0}_{\omega }(\ell _\xi ,A)\) for every \(A\in {\mathscr {A}}\), which is ensured by Proposition A.12, taking into account Remark 3.9. We are now going to prove that \(\mu _{\xi , \nu }\) is covariant; that is, we show that there exists a group \((\tau ^\nu _{z})_{z\in {{\mathbb {Z}}}^n}\) of \({\widehat{P}}\)-preserving transformations on \((\text{\O}mega ,{\widehat{{\mathcal {T}}}}, {\widehat{P}})\) such that
We have
where \(z^\nu :=M_\nu R_\nu z \in {{\mathbb {Z}}}^n\). Then by (9.3) we get
Given \(u\in SBV(\textrm {int} ( M_\nu R_\nu A+z^\nu ),{{\mathbb {R}}}^m)\) with \(u = \ell _{\xi }\) near \(\partial (M_\nu R_\nu A + z^{\nu })\), let \(v \in SBV(\textrm {int}( M_\nu R_\nu A),{{\mathbb {R}}}^m)\) be defined as \(v(x):=u(x+z^\nu ) - \xi z^{\nu }\) for every \(x\in {{\mathbb {R}}}^n\). By a change of variables, using the stationarity of f and \(g_0\) we obtain
Since we have \(v = \ell _\xi \) near \(\partial (M_\nu R_\nu A)\), we deduce that
and hence the covariance of \(\mu _{\xi ,\nu }\) with respect to the group of \({\widehat{P}}\)-preserving transformations \((\tau ^\nu _z)_{z\in {{\mathbb {Z}}}^n}:=(\tau _{z^\nu })_{z\in {{\mathbb {Z}}}^n}\).
We now show that \(\mu _{\xi ,\nu }\) is subadditive. To this end let \(A\in {\mathcal {I}}_n\) and let \((A_i)_{i=1,\ldots , N} \subset {\mathcal {I}}_n\) be a finite family of pairwise disjoint sets such that \(A=\bigcup _{i=1}^N A_i\). For fixed \(\eta >0\) and \(i=1,\ldots , N\), let \(u_i \in SBV(\textrm {int}(M_\nu R_\nu A_i),{{\mathbb {R}}}^m)\), with \(u_i=\ell _\xi \) near \(\partial (M_\nu R_\nu A_i)\), be such that
and on \(M_\nu R_\nu A\) define \(u(x):=u_i(x)\) if \(x\in M_\nu R_\nu A_i\) for \(i=1,\ldots , N\). By construction we have that u is a competitor for \(m^{f,g_0}_{\omega }(\ell _\xi , M_\nu R_\nu A)\), since \(u\in SBV(M_\nu R_\nu A,{{\mathbb {R}}}^m)\) and \(u=\ell _\xi \) near \(\partial (M_\nu R_\nu A)\). Moreover \(S_u \cap \partial (M_\nu R_\nu A_i)=\emptyset \) for every \(i=1,\ldots , N\). Therefore it holds
thus the subadditivity of \(\mu _{\xi ,\nu }\) follows from (9.3), by the arbitrariness of \(\eta >0\). Note that the same proof shows that
for every finite disjoint family \((A_i)_{i=1,\ldots , N} \subset {\mathcal {I}}_n,\)
even when \(\bigcup _{i=1}^N A_i \notin {\mathcal {I}}_n\).
Eventually, in view of (f4) we have
for every \(\omega \in \text{\O}mega \).
We note now that for every \(x\in {{\mathbb {R}}}^n\), \(k\in {{\mathbb {N}}}\), and \(\rho > 0\), we have that \((Q_{ \rho r}^{ e_n,k}(r x) )_{r>0}\) is a regular family in \({\mathcal {I}}_n\) (cf. Definition 3.14). Therefore for every fixed \(\xi \in {{\mathbb {Q}}}^n\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\) we can apply Theorem 3.15 to the subadditive process \(\mu _{\xi ,\nu }\) on \((\text{\O}mega , {\widehat{{\mathcal {T}}}}, {\widehat{P}})\) to deduce the existence of a \({\widehat{{\mathcal {T}}}}\)-measurable function \(\varphi _{\xi ,\nu } :\text{\O}mega \rightarrow [0,+\infty )\) and a set \({\widehat{\text{\O}mega }}_{\xi , \nu }\subset \text{\O}mega \), with \({\widehat{\text{\O}mega }}_{\xi , \nu }\in {\widehat{{\mathcal {T}}}}\) and \(P({\widehat{\text{\O}mega }}_{\xi , \nu }) =1\) such that
for every \(\omega \in {\widehat{\text{\O}mega }}_{\xi ,\nu }\), \(x\in {{\mathbb {R}}}^n\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\). Then, by the properties of the completion there exist a set \(\text{\O}mega _{\xi , \nu }\in {\mathcal {T}}\), with \(P(\text{\O}mega _{\xi , \nu }) =1\), and a \({\mathcal {T}}\)-measurable function, which we still denote by \(\varphi _{\xi ,\nu }\), such that (9.6) holds for every \(\omega \in \text{\O}mega _{\xi , \nu }\). Thus choosing in (9.6) \(x=0\), \(k=1\), and \(\rho =1\), thanks to (9.3) we get
Furthermore, if \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then Theorem 3.15 ensures that \(\varphi _{\xi ,\nu }\) is independent of \(\omega \).
Step 2: Existence of the limit in (9.1) for every \(\xi \in {{\mathbb {R}}}^{m\times n}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\).
Let \({{\widetilde{\text{\O}mega }}}\) denote the intersection of the sets \(\text{\O}mega _{\xi , \nu }\) for \(\xi \in {{\mathbb {Q}}}^n\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\); clearly \({{\widetilde{\text{\O}mega }}} \in {\mathcal {T}}\) and \(P({{\widetilde{\text{\O}mega }}})=1\). For every \(k\in {{\mathbb {N}}}\) and \(\rho >0\) we now introduce the auxiliary functions \({\underline{f}}{}_{\rho , k} , {{\overline{f}}}{}_{\rho , k} :{{\widetilde{\text{\O}mega }}}\times {{\mathbb {R}}}^n \times {{\mathbb {R}}}^{m\times n} \times {{\mathbb {S}}}^{n-1}\rightarrow [0,+\infty )\) defined as
We notice that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(\xi \in {{\mathbb {Q}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\), \(k\in {{\mathbb {N}}}\), and \(\rho > 0\). The proof of property (4.8) in Lemma 4.2 can be adapted to the rectangles \(Q^{\nu ,k}_{\rho r}(rx)\), obtaining that for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\), the functions \(\xi \mapsto {\underline{f}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\) and \(\xi \mapsto {{\overline{f}}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\) are continuous on \({{\mathbb {R}}}^{m\times n}\), and their modulus of continuity does not depend on \(\omega \), x, \(\nu \), k, and \(\rho \). By (9.7) this implies that for every \(\xi \in {{\mathbb {R}}}^{m \times n}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\) there exists a \({\mathcal {T}}\)-measurable function, which we still denote by \(\varphi _{\xi ,\nu }\), such that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\).
We now show that, for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(\xi \in {{\mathbb {R}}}^{m \times n}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\), the functions \(\nu \mapsto {\underline{f}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\) and \(\nu \mapsto {{\overline{f}}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\), restricted to \(\widehat{{{\mathbb {S}}}}^{n-1}_+\) and \(\widehat{{{\mathbb {S}}}}^{n-1}_-\), are continuous. We will only prove this property for \({\underline{f}}{}_{\rho , k}\) and \(\widehat{{{\mathbb {S}}}}^{n-1}_+\), the other proofs being analogous. To this end, let \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(\xi \in {{\mathbb {R}}}^{m \times n}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\) be fixed. Let \(\nu \in \widehat{{{\mathbb {S}}}}^{n-1}_+\) and let \((\nu _j) \subset \widehat{{{\mathbb {S}}}}^{n-1}_+\) be such that \(\nu _j \rightarrow \nu \) as \(j \rightarrow +\infty \). Since \(\nu \mapsto R_{\nu }\) is continuous in \(\widehat{{{\mathbb {S}}}}^{n-1}_+\), for every \(\delta \in (0, 1/2)\) there exists an integer \({\hat{\jmath }}\), depending on \(\rho \), k, and \(\delta \), such that
for every \(j \ge {\hat{\jmath }}\) and \(r > 0\). Given \(r > 0\), \(j \ge {\hat{\jmath }}\), and \(\eta > 0\), let \(u \in SBV (Q^{\nu ,k}_{\rho r} ( rx), {{\mathbb {R}}}^m)\) be such that \(u = \ell _{\xi }\) near \(\partial Q^{\nu ,k}_{\rho r} ( rx)\) and
We define now \(v \in SBV (Q^{\nu _j,k}_{(1 + \delta )\rho r} ( rx), {{\mathbb {R}}}^m)\) as
Note that \(v = \ell _{\xi }\) near \(\partial Q^{\nu _j,k}_{(1 + \delta )\rho r} ( rx)\) and that \(\partial Q^{\nu ,k}_{\rho r} ( rx) \cap S_v = \emptyset \). Therefore,
Dividing by \( k^{n-1}\rho ^n r^n\) and passing to the liminf as \(r \rightarrow +\infty \) we obtain
Passing to the limsup first as \(j \rightarrow +\infty \), then as \(\delta \rightarrow 0+\) and \(\eta \rightarrow 0+\) we get
A similar argument, using the cubes \(Q^{\nu _j,k}_{(1 - \delta )\rho r} ( rx)\), gives
and so the continuity of \(\nu \mapsto {\underline{f}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\) follows.
It is known that \({\mathbb {Q}}^n\cap {{\mathbb {S}}}^{n-1}\) is dense in \({{\mathbb {S}}}^{n-1}\)(see, e.g., [16, Remark A.2]). Arguing as in the proof of [16, Theorem 5.1] it is easy to show that \({\mathbb {Q}}^n\cap {\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \) is dense in \({\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \). Therefore, from the continuity property proved above and from (9.8) we deduce that for every \(\xi \in {{\mathbb {R}}}^{m \times n}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) there exists a \({\mathcal {T}}\)-measurable function, which we still denote by \(\varphi _{\xi ,\nu }\), such that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\). This implies that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(x\in {{\mathbb {R}}}^n\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), \(k\in {{\mathbb {N}}}\), and \(\rho >0\), concluding the proof of Step 2.
Step 3: The limit in (9.1) is independent of \(\nu \).
We now show that \(\varphi _{\xi , \nu } (\omega )\) does not depend on \(\nu \); i.e., we show that
For every \(r>0\) let \(Q^\nu _r:=Q^\nu _r(0)\) and let \(\eta > 0\) be fixed. Let \(( Q_{\rho _i} (x_i) )\) be a family of pairwise disjoint cubes, with \(\rho _i\in (0,1)\), \(i = 1, \ldots , N_{\eta }\), with faces parallel to the coordinate axes, such that
By using arguments similar to those used to prove the subadditivity in Step 1, we can prove that
Then, by (9.4), for every \(r>0\) we have
Hence, passing to the limit as \(r \rightarrow +\infty \) and using (9.10) we obtain
thus taking the limit as \(\eta \rightarrow 0+\) we get \(\varphi _{\xi , \nu } (\omega ) \le \varphi _{\xi , e_n} (\omega )\). By repeating a similar argument, now using coverings of \(Q_{1}(0)\) by cubes of the form \(Q^\nu _{\rho _i}(x_i)\), we obtain the opposite inequality, and eventually the claim.
Step 4: Definition and properties of \(f_{\textrm{hom}}\).
For every \(\omega \in \text{\O}mega \) and \(\xi \in {{\mathbb {R}}}^{m \times n}\) we define
Then (9.2) follows from (9.10) and (9.11). From the measurability of \(\varphi _{\xi , e_n}\), proved in Step 2, we obtain that \(f_{\textrm{hom}}(\cdot , \xi )\) is \({\mathcal {T}}\)-measurable in \(\text{\O}mega \) for every \(\xi \in {{\mathbb {R}}}^{m \times n}\). Moreover, since the function \(\xi \mapsto {\underline{f}}{}_{\rho , k}(\omega , x ,\xi ,\nu )\) is continuous on \({{\mathbb {R}}}^{m\times n}\), from (9.9) we deduce that \(f_{\textrm{hom}}(\omega ,\cdot )\) is continuous in \({{\mathbb {R}}}^{m \times n}\) for every \(\omega \in \text{\O}mega \), and this implies the \({\mathcal {T}}\otimes {\mathscr {B}}^{m\times n}\)-measurability of \(f_{\textrm{hom}}\) on \(\text{\O}mega \times {{\mathbb {R}}}^{m \times n}\). Finally, Lemma 4.2 allows us to conclude that \(f_{\textrm{hom}}(\omega , \cdot ) \in {\mathcal {F}}\) for every \(\omega \in \text{\O}mega \). Therefore, \(f_{\textrm {hom}}\) is a random volume integrand according to Definition 3.7. \(\square \)
The following result is a direct consequence of Propositions 8.1 and 9.1 . In the ergodic case, (9.13) can be obtained by integrating (9.12) and observing that, thanks to (9.5), we can apply the Dominated Convergence Theorem.
Proposition 9.2
(Homogenised random Cantor integrand) Under the assumptions of Proposition 9.1, for every \(\omega \in \text{\O}mega '\) and \(\xi \in {{\mathbb {R}}}^{m\times n}\) let
(since \(f_{\textrm {hom}}(\omega ,\cdot )\in {\mathcal {F}}\), the existence of the limit is guaranteed by (f5)). Then \(f^\infty _{\textrm{hom}}\) is a random volume integrand and for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\xi \in {{\mathbb {R}}}^{m\times n}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), and \(k\in {{\mathbb {N}}}\) we have
where \(Q_r:=Q_r (0)\). If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(f^\infty _{\textrm{hom}}\) is independent of \(\omega \) and
The following proposition establishes the existence of the random surface integrand \(g_{\textrm{hom}}\).
Proposition 9.3
(Homogenised random surface integrand) Let f be a stationary random volume integrand and let g be a stationary random surface integrand with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Then there exists \(\text{\O}mega '\in {\mathcal {T}}\), with \(P(\text{\O}mega ')=1\), such that for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^{n}\), \(\zeta \in {{\mathbb {R}}}^{m}\), \(\nu \in {{\mathbb {S}}}^{n-1}\), the limit
exists and is independent of x. More precisely, there exists a random volume integrand \(g_{\textrm {hom}} :\text{\O}mega \times {{\mathbb {R}}}^{m} \times {{\mathbb {S}}}^{n-1} \rightarrow [0,+\infty )\) such that for every \(\omega \in \text{\O}mega '\), \(x \in {\mathbb {R}}^n\), \(\zeta \in {\mathbb {R}}^{m}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\)
where \(Q^{\nu }_r:=Q^{\nu }_r (0)\). If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(g_{\textrm {hom}}\) is independent of \(\omega \) and
The proof of Proposition 9.3 follows immediately from Propositions 9.4 and 9.5 below. In the first one we prove the existence of the limit in (9.14) for \(x=0\), while in the second one we consider the general case \(x\ne 0\) and prove that the limit is independent of x.
Proposition 9.4
Let f be a stationary random volume integrand and let g be a stationary random surface integrand with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Then there exist \({{\widetilde{\text{\O}mega }}}\in {\mathcal {T}}\), with \(P({{\widetilde{\text{\O}mega }}})=1\), and a random surface integrand \(g_{\textrm{hom}}:\text{\O}mega \times {{\mathbb {R}}}^m \times {{\mathbb {S}}}^{n-1} \rightarrow {{\mathbb {R}}}\) such that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\), where \(Q^{\nu }_r:=Q^{\nu }_r (0)\). If, in addition, \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic, then \(g_{\textrm {hom}}\) is independent of \(\omega \) and
Proof
We adapt the proof of [17, Theorem 5.1]. The main difference is that now the functional to be minimised depends also on \(f^\infty \), while in [17, Theorem 5.1] it depends only on g. Since this requires some changes, for completeness we prefer to give the whole proof in detail. We divide it into four steps.
Step 1: Existence of the limit in (9.15) for fixed \(\zeta \in {{\mathbb {Q}}}^{m}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\).
Let \(\nu \in {{\mathbb {S}}}^{n-1}\cap {\mathbb {Q}}^{n-1}\) and \(\zeta \in {{\mathbb {Q}}}^{m}\) be fixed, let \(R_\nu \in O(n) \cap {\mathbb {Q}}^{n \times n}\) be the orthogonal \(n\times n\) matrix as in (h) in Section 2, and let \(M_\nu \) be a positive integer such that \(M_\nu R_\nu \in {{\mathbb {Z}}}^{n\times n}\). Note that, in particular, for every \(z'\in {\mathbb {Z}}^{n-1}\) we have that \(M_\nu R_\nu (z',0)\in \Pi ^\nu _0 \cap {\mathbb {Z}}^n\), namely \(M_\nu R_\nu \) maps integer vectors perpendicular to \(e_n\) into integer vectors perpendicular to \(\nu \).
Given \(A' = [a_1,b_1)\times \dots \times [a_{n-1},b_{n-1}) \in {\mathcal {I}}_{n-1}\) (see (3.15)), we define the (rotated) n-dimensional interval \(T_\nu (A')\) as
For every \(\omega \in \text{\O}mega \) and \(A' \in {\mathcal {I}}_{n-1}\) we set
Now let \((\text{\O}mega , {\widehat{{\mathcal {T}}}}, {\widehat{P}})\) denote the completion of the probability space \((\text{\O}mega , {\mathcal {T}}, P)\). We claim that the function \(\mu _{\zeta ,\nu } :\text{\O}mega \times {\mathcal {I}}_{n -1} \rightarrow {{\mathbb {R}}}\) as in (9.18) defines an \((n-1)\)-dimensional subadditive process on \((\text{\O}mega , {\widehat{{\mathcal {T}}}}, {\widehat{P}})\). Indeed, thanks to Remark 3.9 and Proposition A.12, for every \(A\in {\mathscr {A}}\) the function \(\omega \mapsto m^{f^{\infty },g}_{\omega }(u_{0, \zeta , \nu }, A)\) is \({\widehat{{\mathcal {T}}}}\)-measurable. From this, it follows that the function \(\omega \mapsto \mu _{\zeta ,\nu } (\omega ,A')\) is \({\widehat{{\mathcal {T}}}}\)-measurable too.
We are now going to prove that \(\mu _{\zeta ,\nu }\) is covariant; that is, we show that there exists a group \((\tau ^\nu _{z'})_{z' \in {{\mathbb {Z}}}^{n-1}}\) of \({\widehat{P}}\)-preserving transformations on \((\text{\O}mega ,{\widehat{{\mathcal {T}}}},{\widehat{P}})\) such that
To this end fix \({z'}\in {\mathbb {Z}}^{n-1}\) and \(A'\in {\mathcal {I}}_{n-1}\). Note that, by (9.17),
where \(z'_\nu := M_\nu R_\nu ({z'},0)\in \Pi ^\nu _0 \cap {{\mathbb {Z}}}^n\). Then, by (9.18)
Given \(u\in SBV (\textrm {int} (T_\nu (A')+z'_\nu ),{{\mathbb {R}}}^m)\) with \(u = u_{0,\zeta ,\nu }\) near \(\partial (T_\nu (A')+z'_\nu )\), let \(v \in SBV (\textrm {int}(T_\nu (A')),{{\mathbb {R}}}^m)\) be defined as \(v(x):=u(x+ z'_\nu )\) for every \(x\in {{\mathbb {R}}}^n\). By a change of variables, using the stationarity of \(f^{\infty }\) and g we obtain
Since \(z'_\nu \) is perpendicular to \(\nu \), we have \(u_{0,\zeta ,\nu }(x)=u_{0,\zeta ,\nu }(x+ z'_\nu )\) for every \(x\in {{\mathbb {R}}}^n\). Therefore, from (9.18) and (9.19) we obtain that
where we set
We now show that \(\mu _{\zeta ,\nu }\) is subadditive in \({\mathcal {I}}_{n-1}\). To this end let \(A' \in {\mathcal {I}}_{n-1}\) and let \((A'_i)_{1\le i\le N} \subset {\mathcal {I}}_{n-1}\) be a finite family of pairwise disjoint sets such that \(A' = \bigcup _{i} A'_i\). For fixed \(\eta >0\) and \(i=1,\dots , N\), let \(u_i\in SBV ( \textrm {int}( T_\nu (A'_i)), {{\mathbb {R}}}^m)\) be such that \(u_i=u_{0,\zeta ,\nu }\) in a neighbourhood of \(\partial T_\nu (A'_i)\) and
Note that \(T_\nu (A')\) can differ from \(\bigcup _{i}T_\nu (A'_i)\) (see for instance [17, Figure 2]), but, by construction, we always have \(\bigcup _{i} T_\nu (A'_i) \subset T_\nu (A')\).
Now we define
then \(u\in SBV (T_\nu (A'), {{\mathbb {R}}}^m)\) and \(u=u_{0,\zeta ,\nu }\) near \(\partial T_\nu (A')\). Note that we also have x
Indeed, \(S_u \cap T_\nu (A') \cap \partial T_\nu (A'_i) = \emptyset \) for every \(i=1,\dots ,N\). Moreover, \(u=u_{0,\zeta ,\nu }\) in \(T_\nu (A') \setminus \bigcup _{i}T_\nu (A'_i)\), hence \(\nabla u=0\) a.e. in this set. Therefore, recalling that \(f^{\infty } (\omega , \cdot , 0) \equiv 0\), we obtain
As a consequence, by (9.20),
thus the subadditivity of \(\mu _{\zeta ,\nu }\) follows from (9.18), by the arbitrariness of \(\eta >0\).
Finally, in view of (g4) for every \(A'\in {\mathcal {I}}_{n-1}\) and for \({\widehat{P}}\)-a.e. \(\omega \in \text{\O}mega \) we have
where we used again the fact that \(f^{\infty } (\omega , \cdot , 0) \equiv 0\). This concludes the proof of the fact that \(\mu _{\zeta ,\nu }\) is an \((n-1)\)-dimensional subadditive process.
We can now apply Theorem 3.15 to the subadditive process \(\mu _{\zeta ,\nu }\), defined on \((\text{\O}mega , {\widehat{T}}, {\widehat{P}})\) by (9.18), to deduce the existence of a \({\widehat{{\mathcal {T}}}}\)-measurable function \(\psi _{\zeta ,\nu } :\text{\O}mega \rightarrow [0,+\infty )\) and a set \({\widehat{\text{\O}mega }}_{\zeta , \nu }\subset \text{\O}mega \), with \({\widehat{\text{\O}mega }}_{\zeta , \nu }\in {\widehat{{\mathcal {T}}}}\) and \(P({\widehat{\text{\O}mega }}_{\zeta , \nu }) =1\) such that
for every \(\omega \in {\widehat{\text{\O}mega }}_{\zeta ,\nu }\), where \(Q':=[-\frac{1}{2},\frac{1}{2})^{n-1}\). Then, by the properties of the completion, there exist a set \(\text{\O}mega _{\zeta , \nu } \in {\mathcal {T}}\), with \(P(\text{\O}mega _{\zeta , \nu }) =1\), and a \({\mathcal {T}}\)-measurable function, which we still denote by \(\psi _{\zeta ,\nu }\), such that (9.22) holds for every \(\omega \in \text{\O}mega _{\zeta , \nu }\). Using the definition of \(\mu _{\zeta ,\nu }\) we then have
for every \(\omega \in \text{\O}mega _{\zeta , \nu }\).
Step 2: Existence of the limit in (9.15) for every \(\zeta \in {{\mathbb {R}}}^{m}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\).
Let \({{\widetilde{\text{\O}mega }}}\) denote the intersection of the sets \(\text{\O}mega _{\zeta , \nu }\) for \(\zeta \in {{\mathbb {Q}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\); clearly \({{\widetilde{\text{\O}mega }}} \in {\mathcal {T}}\) and \(P({{\widetilde{\text{\O}mega }}})=1\). Let \({\underline{g}} , {{\overline{g}}} :{{\widetilde{\text{\O}mega }}} \times {{\mathbb {R}}}^{m} \times {{\mathbb {S}}}^{n-1}\rightarrow [0,+\infty ]\) be the functions defined as
By (9.23) we have
By Lemma 4.5 (property (4.13)), for every \(\omega \in {{\widetilde{\text{\O}mega }}}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) the functions \(\zeta \mapsto {\underline{g}}(\omega ,\zeta ,\nu )\) and \(\zeta \mapsto {{\overline{g}}}(\omega ,\zeta ,\nu )\) are continuous on \({{\mathbb {R}}}^{m}\) and their modulus of continuity does not depend on \(\omega \) and \(\nu \). More precisely, recalling (g4), for every \(\omega \in {{\widetilde{\text{\O}mega }}}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) we have
From these inequalities and from (9.26) we deduce that for every \(\zeta \in {{\mathbb {R}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\) there exists a \({\mathcal {T}}\)-measurable function, which we still denote by \(\psi _{\zeta , \nu }\), such that
We now claim that for every \(\omega \in {{\widetilde{\text{\O}mega }}}\) and every \(\zeta \in {{\mathbb {R}}}^m\) the restrictions of the functions \(\nu \mapsto {\underline{g}}(\omega ,\zeta ,\nu )\) and \(\nu \mapsto {\overline{g}}(\omega ,\zeta ,\nu )\) to the sets \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\) and \({\widehat{{{\mathbb {S}}}}}^{n-1}_-\) are continuous. We only prove this property for \({\underline{g}}\) and \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\), the other proofs being analogous. To this end, let us fix \(\zeta \in {{\mathbb {R}}}^m\), \(\nu \in {\widehat{{{\mathbb {S}}}}}^{n-1}_+\), and a sequence \((\nu _j) \subset {\widehat{{{\mathbb {S}}}}}^{n-1}_+\) such that \(\nu _j \rightarrow \nu \) as \(j\rightarrow +\infty \). Since the restriction of the function \(\nu \mapsto R_\nu \) to \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\) is continuous, for every \(\delta \in (0,\frac{1}{2})\) there exists an integer \(j_\delta \) such that
for every \(j\ge j_\delta \) and every \(r>0\). Fix \(j\ge j_\delta \), \(r>0\), and \(\eta >0\). Let \(u\in SBV (Q^\nu _r,{{\mathbb {R}}}^m)\) be such that \(u=u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\) and
We define \(v \in SBV ( Q^{\nu _j}_{(1+\delta )r},{{\mathbb {R}}}^m)\) as
Then, \(v=u_{0,\zeta ,\nu }\) near \(\partial Q^{\nu _j}_{(1+\delta )r}\) and \(S_{v}\subset S_{u}\cup \Sigma \), where
Moreover \(|[v]|\le |\zeta |\) \({\mathcal {H}}^{n-1}\)-a.e. on \(\Sigma \). By (9.29) there exists \(\varsigma _{j} (\delta )>0\), independent of r, with \(\varsigma _j(\delta )\rightarrow (1+ \delta )^{n-1} - 1\) as \(j \rightarrow + \infty \), such that \({{\mathcal {H}}}^{n-1}(\Sigma )\le \varsigma _j(\delta )r^{n-1}\). Thanks to (g4) we then have
where we used the fact that \(f^{\infty } (\omega , \cdot , 0) \equiv 0\). Recalling definition (9.24), dividing by \(r^{n-1}\), and passing to the liminf as \(r\rightarrow +\infty \), we obtain
Letting \(j\rightarrow +\infty \), then \(\delta \rightarrow 0+\), and then \(\eta \rightarrow 0+\), we deduce that
An analogous argument, now using the cubes \(Q^{\nu _j}_{(1-\delta )r}\), shows that
hence the claim follows. Note that, together with (9.27), this implies that for every \(\omega \in {{\widetilde{\text{\O}mega }}}\) the restriction of the function \((\zeta ,\nu ) \mapsto {\underline{g}}(\omega ,\zeta ,\nu )\) to \({{\mathbb {R}}}^{m}\times {\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \) is continuous, and the same holds true for \((\zeta ,\nu ) \mapsto {\overline{g}}(\omega ,\zeta ,\nu )\).
As we already observed in the proof of Step 2 of Proposition 9.1, the set \({\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \cap {{\mathbb {Q}}}^n\) is dense in \({\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \). Therefore, from the continuity property proved above and from (9.28) we deduce that for every \(\zeta \in {{\mathbb {R}}}^m\) and \(\nu \in {{\mathbb {S}}}^{n-1}\) there exists a \({\mathcal {T}}\)-measurable function, which we still denote by \(\psi _{\zeta , \nu }\), such that
By (9.24) and (9.25) this implies that
for every \(\omega \in {{\widetilde{\text{\O}mega }}}\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\), concluding the proof of Step 2.
Step 3: Definition and properties of \(g_{\textrm{hom}}\).
For every \(\omega \in \text{\O}mega \) and \(\zeta \in {{\mathbb {R}}}^{m}\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) we define
Then (9.15) follows from (9.32). From the measurability of \(\psi _{\zeta , \nu }\), proved in Step 2, we obtain that \(g_{\textrm{hom}}(\cdot , \zeta ,\nu )\) is \({\mathcal {T}}\)-measurable in \(\text{\O}mega \) for every \(\zeta \in {{\mathbb {R}}}^{m}\) and \(\nu \in {{\mathbb {S}}}^{n-1}\). Moreover, since for every \(\omega \in {{\widetilde{\text{\O}mega }}}\) the restriction of the function \((\zeta ,\nu ) \mapsto {\underline{g}}(\omega ,\zeta ,\nu )\) to \({{\mathbb {R}}}^{m}\times {\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \) is continuous, from (9.31) we deduce that for every \(\omega \in \text{\O}mega \) the restriction of \(g_{\textrm{hom}}(\omega , \cdot ,\cdot )\) to \({{\mathbb {R}}}^m\times {\widehat{{{\mathbb {S}}}}}^{n-1}_\pm \) is continuous and this implies the \({\mathcal {T}}\otimes {\mathscr {B}}^{m\times n} \otimes {\mathscr {B}}^n_S\)-measurability of \(g_{\textrm{hom}}\) on \(\text{\O}mega \times {{\mathbb {R}}}^{m}\times {{\mathbb {S}}}^{n-1}\). Finally, Lemma 4.5 allows us to conclude that \(g_{\textrm{hom}}(\omega , \cdot , \cdot ) \in {\mathcal {G}}\) for every \(\omega \in \text{\O}mega \).
Step 4: In the ergodic case \(g_{\textrm{hom}}\) is deterministic.
Set \( \widehat{\text{\O}mega }:= \bigcap _{z\in {\mathbb {Z}}^n} \tau _z ({\widetilde{\text{\O}mega }}); \) we clearly have that \({\widehat{\text{\O}mega }}\in {\mathcal {T}}\), \({\widehat{\text{\O}mega }}\subset {{\widetilde{\text{\O}mega }}}\), and \(\tau _z(\widehat{\text{\O}mega })=\widehat{\text{\O}mega }\) for every \(z\in {{\mathbb {Z}}}^n\); moreover, since \(\tau _z\) is a P-preserving transformation and \(P({{\widetilde{\text{\O}mega }}})=1\), we have \(P(\widehat{\text{\O}mega })=1\). We claim that
for every \(z\in {{\mathbb {Z}}}^n\), \(\omega \in {\widehat{\text{\O}mega }}\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\).
We start noting that to prove (9.33) it is enough to show that
for every \(z\in {{\mathbb {Z}}}^n\), \(\omega \in \widehat{\text{\O}mega }\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\). Indeed, the opposite inequality is obtained by applying (9.34) with \(\omega \) replaced by \(\tau _z(\omega )\) and z replaced by \(-z\).
Let \(z\in {\mathbb {Z}}^n\), \(\omega \in \widehat{\text{\O}mega }\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\) be fixed. For every \(r> 3|z|\), let \(u_r \in SBV ( Q^\nu _r ,{{\mathbb {R}}}^m)\) be such that \(u_r =u_{0,\zeta ,\nu }\) near \(\partial Q^\nu _r\), and
By the stationarity of \(f^\infty \) and g, a change of variables gives
We now modify \(u_r\) to obtain a competitor for a minimisation problem related to the right-hand side of (9.36). Noting that \( Q^\nu _r \subset \subset Q^\nu _{r+3 |z|}(z)\) we define
Clearly \(v_r \in SBV (Q^\nu _{r+3 |z|}(z),{{\mathbb {R}}}^m)\) and \(v_r =u_{z,\zeta ,\nu }\) near \(\partial Q^\nu _{r+3 |z|}(z)\). Moreover we notice that \(S_{v_r}= S_{u_r}\cup \Sigma _1\cup \Sigma _2\), where
Moreover \(|[v_r]|=|\zeta |\) \({{\mathcal {H}}}^{n-1}\)-a.e. on \(\Sigma _1\cup \Sigma _2\). Since \(3 |z|<r\), we have \({{\mathcal {H}}}^{n-1}(\Sigma _1)=2 (n-1) |z\cdot \nu | \,r^{n-2}\) and \({{\mathcal {H}}}^{n-1}(\Sigma _2)=(r+3 |z|)^{n-1}-r^{n-1}\le 3(n-1)|z|(r+3 |z|)^{n-2}< 2^{ n }(n-1) |z|\,r^{n-2}\). Therefore, using the fact that \(f^{\infty } (\omega , \cdot , 0) \equiv 0\), thanks to (g4) we have
where \(M_{\zeta ,z}:=c_3 (n-1) (2+2^{n}) |z||\zeta |\). This inequality, combined with (9.35) yields
Recalling that \(\tau _z(\omega )\in \widehat{\text{\O}mega }\subset {{\widetilde{\text{\O}mega }}}\), by (9.15) and (9.36) we get
where in the last equality we have used the fact that \(r^{n-1}/(r+3 |z|)^{n-1} \rightarrow 1\) as \(r\rightarrow +\infty \). Therefore, dividing all terms of (9.37) by \(r^{n-1}\) and passing to the limit as \(r\rightarrow +\infty \), from (9.15) we obtain the inequality
which proves (9.34) and hence the claim.
If \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) is ergodic we can invoke [17, Corollary 6.3] to deduce that \(g_{\textrm{hom}}\) does not depend on \(\omega \) and hence is deterministic. In this case, (9.16) can be obtained by integrating (9.15) over \(\text{\O}mega \) and observing that, thanks to (9.21), we can apply the Dominated Convergence Theorem. \(\square \)
We now prove that the limit (9.14) that defines \(g_{\textrm{hom}}\) is independent of x. More precisely we prove the following result.
Proposition 9.5
Let f be a stationary random volume integrand and let g be a stationary random surface integrand with respect to a group \((\tau _z)_{z\in {{\mathbb {Z}}}^n}\) of P-preserving transformations on \((\text{\O}mega ,{\mathcal {T}},P)\). Then there exist \(\text{\O}mega '\in {\mathcal {T}}\), with \(P(\text{\O}mega ')=1\), and a random surface integrand \(g_{\textrm{hom}}:\text{\O}mega \times {{\mathbb {R}}}^m \times {{\mathbb {S}}}^{n-1} \rightarrow {{\mathbb {R}}}\), independent of x, such that
for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), \(\nu \in {{\mathbb {S}}}^{n-1}\).
Proof
The proof closely follows that of [17, Theorem 6.1], therefore here we only discuss the main differences with respect to [17].
Let \(g_{\textrm{hom}}\) be the random surface integrand introduced in Proposition 9.4. Arguing as in the proof of [17, Theorem 6.1], we can prove the existence of \(\text{\O}mega '\in {\mathcal {T}}\), with \(P(\text{\O}mega ')=1\), such that (9.38) holds for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1} \cap {{\mathbb {Q}}}^{n-1}\). Hence, to conclude it remains to show than (9.38) holds true for every \(\nu \in {{\mathbb {S}}}^{n-1}\).
To this end, for fixed \(\omega \in \text{\O}mega '\), \(x \in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {{\mathbb {S}}}^{n-1}\), we introduce the auxiliary functions
Let \(\nu \in {\widehat{{{\mathbb {S}}}}}^{n-1}_+\) be fixed. As we already observed in the proof of Step 2 of Proposition 9.1, the set \({\widehat{{{\mathbb {S}}}}}^{n-1}_+ \cap {{\mathbb {Q}}}^n\) is dense in \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\), hence there exists a sequence \(( \nu _j ) \subset {\widehat{{{\mathbb {S}}}}}^{n-1}_+ \cap {{\mathbb {Q}}}^{n-1}\) such that \(\nu _j \rightarrow \nu \) as \(j \rightarrow \infty \). We claim that for every \(\delta \in (0, 1/2)\) there exists \(j_{\delta } \in {\mathbb {N}}\) such that
for every \(j \ge j_{\delta }\), where \(\varsigma _j(\delta )\) is such that \(\varsigma _j(\delta ) \rightarrow (1+ \delta )^{n-1} - 1\) as \(j \rightarrow + \infty \).
The proof of (9.41) and (9.42) is similar to that of (9.30) in Proposition 9.4. Thanks to the continuity of the restriction of \(\nu \mapsto R_\nu \) to \({\widehat{{{\mathbb {S}}}}}^{n-1}_+\), for every \(\delta \in (0,\frac{1}{2})\) there exists an integer \(j_\delta \) such that
for every \(j\ge j_\delta \) and every \(r>0\). Fix \(j\ge j_\delta \), \(r>0\), and \(\eta >0\). Let \(u\in SBV(Q^\nu _{r}(rx),{{\mathbb {R}}}^m)\) be such that \(u=u_{rx,\zeta ,\nu }\) near \(\partial Q^\nu _{r}(rx)\) and
We define \(v \in SBV(Q^{\nu _j}_{(1+\delta )r}(r x),{{\mathbb {R}}}^m)\) as
Then, \(v=u_{r x,\zeta ,\nu _j}\) near \(\partial Q^{\nu _j}_{(1+\delta )r}(r x)\), and \(S_{v}\subset S_{u}\cup \Sigma \), where
Moreover \(|[v]|\le |\zeta |\) \({\mathcal {H}}^{n-1}\)-a.e. on \(\Sigma \). By (9.43) there exists \(\varsigma _j(\delta )>0\), independent of r, with \(\varsigma _j(\delta )\rightarrow (1+ \delta )^{n-1} - 1\) as \(j \rightarrow + \infty \), such that \({{\mathcal {H}}}^{n-1}(\Sigma )\le \varsigma _j(\delta )r^{n-1}\). Thanks to (g4) we then have
where we used the fact that \(f^{\infty } (\omega , \cdot , 0) \equiv 0\). Recalling definition (9.39), dividing by \(r^{n-1}\), and passing to the liminf as \(r\rightarrow +\infty \), we obtain
which gives (9.41) by the arbitrariness of \(\eta \). The proof of (9.42) is analogous.
for every \(j \ge j_{\delta }\). Since \(\nu _j \in {{\mathbb {S}}}^{n-1}\cap {{\mathbb {Q}}}^n\), and (9.38) holds true for rational directions, we have
This, together with the previous inequality, yields
for every \(j \ge j_{\delta }\). Hence, taking the liminf as \(j \rightarrow +\infty \) and then the limit as \(\delta \rightarrow 0+\), we obtain
and hence
Note that, in particular, all the terms in the above chain of equalities do not depend on x. Then, in view of the definition of \({\underline{g}}\) and \({{\overline{g}}}\) (see (9.39) and (9.40)) we get that the limit
exists and is independent of x. Therefore we obtain
for every \(\omega \in \text{\O}mega '\), \(x\in {{\mathbb {R}}}^n\), \(\zeta \in {{\mathbb {R}}}^m\), and \(\nu \in {\widehat{{{\mathbb {S}}}}}^{n-1}_+\). Since the same property holds for \(\nu \in {\widehat{{{\mathbb {S}}}}}^{n-1}_-\), this concludes the proof. \(\square \)
We are now in a position to prove the theorem concerning the existence, for P-almost every \(\omega \in \text{\O}mega \), of the limits which define the homogenised integrands.
Proof of Theorem 3.17
Property (a), (3.17), and (3.20) are proved in Proposition 9.1, while property (b), (3.18), and (3.21) are proved in Proposition 9.3. Equalities (3.19) and (3.22) coincide with (9.12) and (9.13), which are proved in Proposition 9.2. \(\square \)
We now prove the main result of the paper.
Proof of Theorem 3.18
It is enough to apply Theorem 3.17 together with the deterministic homogenisation result in Theorem 4.1, applied for fixed \(\omega \in \text{\O}mega '\). \(\square \)
References
Akcoglu, M.A., Krengel, U.: Ergodic theorems for superadditive processes. J. Reine Angew. Math. 323, 53–67 (1981)
Alberti, G.: Rank one property for derivatives of functions with bounded variation. Proc. Roy. Soc. Edinburgh Sect. A 123, 239–274 (1993)
Alicandro, R., Cicalese, M., Ruf, M.: Domain formation in magnetic polymer composites: an approach via stochastic homogenization. Arch. Ration. Mech. Anal. 218, 945–984 (2015)
Ambrosio, L., Dal Maso, G.: On the relaxation in \(BV(\text{\O}mega; {{\mathbb{R}}}^m)\) of quasi-convex integrals. J. Funct. Anal. 109, 76–97 (1992)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Clarendon Press, Oxford (2000)
Barchiesi, M., Dal Maso, G.: Homogenization of fiber reinforced brittle materials: the extremal cases. SIAM J. Math. Anal. 41, 1874–1889 (2009)
Barchiesi, M., Focardi, M.: Homogenization of the Neumann problem in perforated domains: an alternative approach. Calc. Var. Partial Differential Equations 42, 257–288 (2011)
Barchiesi, M., Lazzaroni, G., Zeppieri, C.I.: A bridging mechanism in the homogenisation of brittle composites with soft inclusions. SIAM J. Math. Anal. 48, 1178–1209 (2016)
Barroso, A., Bouchitté, G., Buttazzo, G., Fonseca, I.: Relaxation of bulk and interfacial energies. Arch. Ration. Mech. Anal. 135, 103–173 (1996)
Bouchtté, G., Fonseca, I., Mascarenhas, L.: A global method for relaxation. Arch. Ration. Mech. Anal. 145, 51–98 (1998)
Braides, A., Defranceschi, A., Vitali, E.: Homogenization of free discontinuity problems. Arch. Ration. Mech. Anal. 135, 297–356 (1996)
Braides, A., Maslennikov, M., Sigalotti, L.: Homogenization by blow-up. Applicable Anal. 87, 1341–1356 (2008)
Braides, A., Piatnitski, A.: Homogenization of surface and length energies for spin systems. J. Funct. Anal. 264, 1296–1328 (2013)
Braides, A., Solci, M.: Multi-scale free-discontinuity problems with soft inclusions. Boll. Unione Mat. Ital. (9) 6, no. 1, 29–51 (2013)
Cagnetti, F., Scardia, L.: An extension theorem in \(SBV\) and an application to the homogenization of the Mumford-Shah functional in perforated domains. J. Math. Pures Appl. 95, 349–381 (2011)
Cagnetti, F., Dal Maso, G., Scardia, L., Zeppieri, C.I.: \(\Gamma \)-convergence of free-discontinuity problems. Ann. Inst. H. Poincaré Anal. Non Linéaire 36, 1035–1079 (2019)
Cagnetti, F., Dal Maso, G., Scardia, L., Zeppieri, C.I.: Stochastic homogenisation of free-discontinuity problems. Arch. Ration. Mech. Anal. 233, 935–974 (2019)
Dal Maso, G.: An introduction to \(\Gamma \)-convergence. Birkhäuser, Boston (1993)
Dal Maso, G., Modica, L.: Nonlinear stochastic homogenization and ergodic theory. J. Reine Angew. Math. 368, 28–42 (1986)
Dal Maso, G., Zeppieri, C.I.: Homogenization of fiber reinforced brittle materials: the intermediate case. Adv. Calc. Var. 3, 345–370 (2010)
De Giorgi, E., Ambrosio L.: New functionals in the calculus of variations. (Italian) Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8) 82 (1988), no. 2, 199–210 (1989)
Dellacherie, C., Meyer, P.-A.: Probabilities and Potential. North-Holland Publishing Company, Amsterdam (1978)
Dunford, N., Schwartz, J.T.: Linear Operators. Interscience, New York (1957)
Federer, H.: Geometric Measure Theory. Springer-Verlag, Berlin Heidelberg (1996)
Focardi, M., Gelli, M.S., Ponsiglione, M.: Fracture mechanics in perforated domains: a variational model for brittle porous media. Math. Models Methods Appl. Sci. 19, 2065–2100 (2009)
Fonseca, I., Leoni, G.: Modern Methods in the Calculus of Variations: \(L^p\) Spaces. Springer, New York (2007)
Fonseca, I., Müller, S.: Quasiconvex integrands and lower semicontinuity in \(L^1\). SIAM J. Math. Anal. 23, 1081–1098 (1992)
Giacomini, A., Ponsiglione, M.: A \(\Gamma \)-convergence approach to stability of unilateral minimality properties. Arch. Ration. Mech. Anal. 180, 399–447 (2006)
Larsen, C.J.: Quasiconvexification in \(W^{1,1}\) and optimal jump microstructure in \(BV\) relaxation. SIAM J. Math. Anal. 29, 823–848 (1998)
Licht, C., Michaille, G.: Global-Local subadditive ergodic theorems and application to homogenisation in elasticity. Ann. Math. Blaise Pascal 9, 21–62 (2002)
Morse, A.P.: Perfect blankets. Trans. Amer. Math. Soc. 61, 418–442 (1947)
Pellet, X., Scardia, L., Zeppieri, C.I.: Homogenization of high-contrast Mumford-Shah energies. SIAM J. Math. Anal. 51, 1696–1729 (2019)
Pellet X., Scardia L., and Zeppieri C.I.: Stochastic homogenisation of free-discontinuity functionals in random perforated domains, submitted. Arxiv preprint available at arXiv:2002.01389
Scardia, L.: Damage as \(\Gamma \)-limit of microfractures in anti-plane linearized elasticity. Math. Models Methods Appl. Sci. 18, 1703–1740 (2008)
Scardia, L.: Damage as the \(\Gamma \)-limit of microfractures in linearized elasticity under the non-interpenetration constraint. Adv. Calc. Var. 3, 423–458 (2010)
Acknowledgements
F. Cagnetti was supported by the EPSRC under the Grant EP/P007287/1 “Symmetry of Minimisers in Calculus of Variations”. The research of G. Dal Maso was partially funded by the European Research Council under Grant No. 290888 “Quasistatic and Dynamic Evolution Problems in Plasticity and Fracture”. G. Dal Maso 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 (INdAM). The work of C. I. Zeppieri was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) project 3160408400 and under the Germany Excellence Strategy EXC 2044-390685587, Mathematics Münster: Dynamics–Geometry–Structure.
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.
Appendix. Measurability issues
Appendix. Measurability issues
The purpose of this section is to prove the measurability of the functions defined in (3.16). This will be done in Proposition A.12, which requires some preliminary results.
We start by introducing some notation that will be used throughout the proofs. For every \(A\in {\mathscr {A}}\) let \({\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\) be the Banach space of all \( {{\mathbb {R}}}^{m\times n}\)-valued bounded Radon measures on A. This space is identified with the dual of the space \(C_0(A,{{\mathbb {R}}}^{m\times n})\) of all \({{\mathbb {R}}}^{m\times n}\)-valued continuous functions on \({{\overline{A}}}\) vanishing on \(\partial A\). For every \(R>0\) we set
where \(|\mu |\) denotes the variation of \(\mu \) with respect to the Euclidean norm in \({{\mathbb {R}}}^{m\times n}\). On \({\mathcal {M}}_{R,A}^{m\times n}\) we consider the topology induced by the \(\hbox {weak}^*\) topology of \({\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\), which will be called the \(\hbox {weak}^*\) topology on \({\mathcal {M}}_{R,A}^{m\times n}\). Since \( {\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\) is the dual of a separable Banach space, there exists a distance \(d_{R,A}^{m\times n}\) on \({\mathcal {M}}_{R,A}^{m\times n}\) which induces the \(\hbox {weak}^*\) topology on \({\mathcal {M}}_{R,A}^{m\times n}\) (see [23, Theorem V.5.1]). Moreover, the metric space \(({\mathcal {M}}_{R,A}^{m\times n}, d_{R,A}^{m\times n})\) is compact by the Banach-Alaoglu Theorem.
For every \(\mu \in {\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\) the absolutely continuous part of \(\mu \) with respect to the Lebesgue measure \({\mathcal {L}}^n\) is denoted with \(\mu ^a\). Note that, if \(\mu \in {\mathcal {M}}_{R,A}^{m\times n} \), then \(\mu ^a\in {\mathcal {M}}_{R,A}^{m\times n}\).
The following lemma concerns the mesurability properties of the density of \(\mu ^a\) with respect to \({\mathcal {L}}^n\).
Lemma A.1
Let \(A\in {\mathscr {A}}\) and \(R>0\). Then there exists a \({\mathscr {B}}(A) \otimes {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n})\)-measurable function \(\gamma :A \times {\mathcal {M}}_{R,A}^{m\times n} \rightarrow {{\mathbb {R}}}^{m \times n}\) such that
Proof
For every \((x,\mu )\in A\times {\mathcal {M}}_{R,A}^{m\times n}\) let \(\gamma (x,\mu ) \in {{\mathbb {R}}}^{m \times n}\) be defined as
where \(\omega _n\) denotes the volume of the unit ball of \({{\mathbb {R}}}^n\). From the theory of differentiation of measures (see, e.g., [26, Theorem 1.155]), for every \(\mu \in {\mathcal {M}}_{R,A}^{m\times n}\) we have that \(\gamma (\cdot , \mu )\in L^1(A, {{\mathbb {R}}}^{m\times n})\) and
which proves (A.1).
To prove the measurability of the function \(\gamma \) it suffices to show that for every \(\rho >0\) the function
from \(A\times {\mathcal {M}}_{R,A}^{m\times n}\) to \({{\mathbb {R}}}^{m \times n}\) is \({\mathscr {B}}(A)\otimes {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n})\)-measurable. To this end, for a fixed \(\rho >0\) we introduce an increasing sequence of nonnegative functions \((\varphi _j) \subset C_c ({{\mathbb {R}}}^n)\) pointwise converging to the characteristic function of the open ball \(B_{\rho } (0)\), and we observe that
by the Monotone Convergence Theorem.
Let \(A_{\rho }:=\{x \in A :\textrm{dist}(x,\partial A)> \rho \}\). Since for every \(j\in {{\mathbb {N}}}\) the function
is continuous on \(A_{\rho }\times {\mathcal {M}}_{R,A}^{m\times n}\) (considering on \({\mathcal {M}}_{R,A}^{m\times n}\) the \(\hbox {weak}^*\) topology), the function (A.2) from \(A_{\rho }\times {\mathcal {M}}_{R,A}^{m\times n}\) to \({{\mathbb {R}}}^{m \times n}\) is \({\mathscr {B}}(A_{\rho })\otimes {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n})\)-measurable. By the arbitrariness of \(\rho >0\) we obtain that the same function considered on \(A\times {\mathcal {M}}_{R,A}^{m\times n}\) is \({\mathscr {B}}(A)\otimes {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n})\)-measurable. \(\square \)
To prove the measurability of the map \(\mu \mapsto \mu ^a\), from \({\mathcal {M}}_{R,A}^{m\times n}\) to \({\mathcal {M}}_{R,A}^{m\times n}\), we need the following lemma.
Lemma A.2
Let \(A\in {\mathscr {A}}\), let \(R>0\), let \((Y, {\mathcal {E}})\) be a measurable space, and let \(h :A\times Y \rightarrow {{\mathbb {R}}}^{m \times n}\) be a \({\mathscr {B}}(A)\otimes {\mathcal {E}}\)-measurable function such that
For every \(y\in Y\), we define the \({{\mathbb {R}}}^{m \times n}\)-valued measure \(\lambda _y\in {\mathcal {M}}_{R,A}^{m\times n}\) as
Then the map \(y\mapsto \lambda _y\) is measurable from \((Y,{\mathcal {E}})\) to \(({\mathcal {M}}_{R,A}^{m\times n},{\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\).
Proof
We start by observing that for every \(\varphi \in C_c (A,{{\mathbb {R}}}^{m\times n})\) the scalar function
where \(\cdot \) denotes the Euclidean scalar product between matrices. Indeed, by definition we have
and the measurability with respect to y follows from the Fubini Theorem.
Note now that a basis for the open sets of the space \({\mathcal {M}}_{R,A}^{m\times n}\) (endowed with the \(\hbox {weak}^*\) topology) is given by the collection of sets
with \(\eta > 0\), \({\hat{\lambda }} \in {\mathcal {M}}_{R,A}^{m\times n}\), \(l \in {\mathbb {N}}\), and \(\varphi _1, \ldots , \varphi _l \in C_c(A,{{\mathbb {R}}}^{m\times n})\). By (A.3), the pre-image of these sets under the function \(y \mapsto \lambda _y\) belongs to \({\mathcal {E}}\). This implies that this function is measurable from \((Y,{\mathcal {E}})\) to \(({\mathcal {M}}_{R,A}^{m\times n},{\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\), since the \(\hbox {weak}^*\) topology in \( {\mathcal {M}}_{R,A}^{m\times n}\) has a countable basis. \(\square \)
The following lemma shows the measurable dependence of \(\mu ^a\) on \(\mu \).
Lemma A.3
The map \(\mu \mapsto \mu ^a\) is measurable from \(({\mathcal {M}}_{R,A}^{m\times n}, {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\) to \(({\mathcal {M}}_{R,A}^{m\times n}, {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\).
Proof
Thanks to (A.1), the conclusion follows from Lemma A.2 with \((Y,{\mathcal {E}})=({\mathcal {M}}_{R,A}^{m\times n},{\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\) and \(h = \gamma \). \(\square \)
Given \(A\in {\mathscr {A}}\), we set
On \(BV^m_{R,A}\) we consider the topology induced by the distance \(d^m_{R,A}\) defined by
where \(d^{m\times n}_{R,A}\) is the distance on \({\mathcal {M}}_{R,A}^{m\times n}\) that metrizes the \(\hbox {weak}^*\) topology.
Note that \(BV (A, {{\mathbb {R}}}^m)\) is the dual of a separable space, and that, when A has Lipschitz boundary, the topology just defined coincides with the topology induced on \(BV^m_{R,A}\) by the \(\hbox {weak}^*\) topology of \(BV (A, {{\mathbb {R}}}^m)\) (see [5, Remark 3.12]).
The following lemma will be crucial in the proof of Proposition A.12.
Lemma A.4
Assume that \(A\in {\mathscr {A}}\) has Lipschitz boundary. Then the metric space \((BV^m_{R,A},d^{m\times n}_{R,A})\) is compact.
Proof
Let \((u_k)\) be a sequence in \(BV^m_{R,A}\). By (A.4) this sequence is bounded in \(BV(A,{{\mathbb {R}}}^m)\). Recalling the compact embedding of \(BV(A,{{\mathbb {R}}}^m)\) into \(L^1(A,{{\mathbb {R}}}^m)\) and the compactness of \({\mathcal {M}}_{R,A}^{m\times n}\), there exist a subsequence, not relabelled, and a function \(u\in BV(A,{{\mathbb {R}}}^m)\) such that \(u_k\rightarrow u\) strongly in \(L^1(A,{{\mathbb {R}}}^m)\) and \(Du_k\rightharpoonup Du\) \(\hbox {weakly}^*\) in \({\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\). It is easy to see that \(u\in BV^m_{R,A}\) and that \(d^{m\times n}_{R,A}(u_k,u)\rightarrow 0\). \(\square \)
We now prove the measurability with respect to \((\omega , u)\) of the integral functional corresponding to a random volume integrand.
Lemma A.5
Let \(A\in {\mathscr {A}}\) with Lipschitz boundary, let \(R>0\), and let f be a random volume integrand as in Definition 3.7. Then, the function
from \(\text{\O}mega \times BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathcal {T}} \otimes {\mathscr {B}}(BV^m_{R,A})\)-measurable.
Proof
Let \(\gamma \) be the function introduced in Lemma A.1. We observe that for every \(u \in BV^m_{R,A}\)
Therefore,
We claim that the function \((x, u) \mapsto \gamma (x, Du)\) from \(A \times BV^m_{R,A}\) to \({{\mathbb {R}}}^{m \times n}\) is \({\mathscr {B}}(A) \otimes {\mathscr {B}}(BV^m_{R,A})\)-measurable. Indeed, it is the composition of the functions \((x, u) \mapsto (x, Du)\), which is continuous from \(A \times BV^m_{R,A} \) to \(A \times {\mathcal {M}}_{R,A}^{m\times n}\), and the function \((x, \mu ) \mapsto \gamma (x, \mu )\) from \(A \times {\mathcal {M}}_{R,A}^{m\times n}\) to \({{\mathbb {R}}}^{m \times n}\), which is \({\mathscr {B}}(A) \otimes {\mathscr {B}}(BV^m_{R,A})\)-measurable, by Lemma A.1. Therefore, the function \((\omega , x, u) \mapsto (\omega , x,\gamma (x, Du))\) is measurable from \((\text{\O}mega \times A\times BV^m_{R,A}, {\mathcal {T}} \otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}(BV^m_{R,A}))\) to \((\text{\O}mega \times {{\mathbb {R}}}^n\times {{\mathbb {R}}}^{m\times n}, {\mathcal {T}} \otimes {\mathscr {B}}^n \otimes {\mathscr {B}}^{m\times n})\). By the \({\mathcal {T}} \otimes {\mathscr {B}}^n \otimes {\mathscr {B}}^{m\times n}\)-measurability of f we deduce that the function \((\omega , x, u) \mapsto f(\omega , x,\gamma (x, Du))\) from \(\text{\O}mega \times A\times BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathcal {T}} \otimes {\mathscr {B}}(A) \otimes {\mathscr {B}}(BV^m_{R,A})\)-measurable. The conclusion then follows from Fubini’s Theorem. \(\square \)
The following two lemmas are used to prove the measurable dependence on u of the surface integral functional corresponding to a continuous surface integrand.
For every \(A\in {\mathscr {A}}\), \(\mu \in {\mathcal {M}}_b(A,{{\mathbb {R}}}^{m\times n})\), \(x\in A\), and \(\rho >0\) we set
where \(\omega _{n-1}\) denotes the volume of the unit ball of \({{\mathbb {R}}}^{n-1}\).
Lemma A.6
Let \(A\in {\mathscr {A}}\) and \(u\in BV(A,{{\mathbb {R}}}^m)\). Then
where \(\chi _{S_u}(x)=1\) if \(x\in S_u\) and \(\chi _{S_u}(x)=0\) if \(x\in A\setminus S_u\).
Proof
Step 1. We claim that
We now recall that, for a positive Radon measure \(\mu \) in A and for \(d\in {{\mathbb {N}}}\), the d-dimensional upper density of \(\mu \) at \(x\in A\) is defined as
where \(\omega _{d}\) denotes the volume of the unit ball of \({{\mathbb {R}}}^{d}\) (see, e.g., [5, Definition 2.55]). To prove (A.7) it is then sufficient to show that
To do so, for any \(t>0\) we define the set
note that
By the Lebesgue Differentiation Theorem we have \({\mathcal {L}}^n(E_t)=0\) and, since \(|D^a u|<< {\mathcal {L}}^n\), we have \(|D^a u| (E_t) = 0\).
Since \(|D^a u|\) is a finite Radon measure, for every \(k \in {\mathbb {N}}\) there exists an open set \(A_k \subset A\) with \(E_t \subset A_k\) such that
Thanks to [24, Section 2.10.19(3) and Section 2.10.6] this implies that
Taking the limit as \(k \rightarrow \infty \), we obtain that
From this, it follows that
and this proves (A.8), which gives (A.7).
Step 2. We claim that
As before, it is sufficient to show that
To do so, for any \(t>0\) we define the set
Now, let \(K\subset E_t\) be a compact set with \({\mathcal {H}}^{n-1}(K)<+\infty \) so that, in particular, \(|C( u)|(K)=0\). Then, by [24, Section 2.10.19(3) and Section 2.10.6] we have that
Since C(u) is a finite Radon measure, taking the infimum of the above inequality over all open sets V containing K we obtain that
Since \(|C( u)|(K)=0\), from the above inequality it follows that \({\mathcal {H}}^{n-1}(K) = 0\). Using the fact that \(E_t\) is a Borel (and hence Suslin) set, by [24, Corollary 2.10.48] we have that
and so \({\mathcal {H}}^{n-1}(E_t) =0\) for every \(t>0\), which implies (A.10) and, in turn, (A.9).
Step 3. We claim that
Observe that \(|D^j u|(A\setminus S_u)=0\). By [24, Section 2.10.19(4) and Section 2.10.6] we have immediately that
which implies (A.11).
Step 4. By Besicovich Derivation Theorem (see [5, Theorems 2.22, 2.83, and 3.78]) we have that
Together with the previous steps, this gives (A.6). \(\square \)
Lemma A.7
Let \(A\in {\mathscr {A}}\) and let \(g :A\times {{\mathbb {R}}}^{m\times n}\rightarrow {{\mathbb {R}}}\) be a continuous function. Assume that there exists \(a>0\) such that
for every \((x,\xi )\in A\times {{\mathbb {R}}}^{m\times n}\). Then for every \(u\in BV(A,{{\mathbb {R}}}^m)\)
where \(\theta _{A,\rho }\) is defined in (A.5).
Proof
Let \(u\in BV(A,{{\mathbb {R}}}^m)\) be fixed.
Step 1. Thanks to (A.12) and to the bound
the function \(x\mapsto g (x,[u](x)\otimes \nu _u(x))\) is \({\mathcal {H}}^{n-1}\)-integrable on \(A\cap S_u\).
Step 2. We claim that for every \(\eta >0\)
By Lemma A.6 we have that
and by (A.12) we have the inequality
The claim then follows from the Dominated Convergence Theorem, since g is continuous, \( g (x,0)= 0\), and \(|D^a u+ C(u)|\) is a bounded measure.
Step 3. Recalling (f) in Section 2, to conclude the proof it is sufficient to show that
By Lemma A.6 and by the continuity of g we have that for every \(\eta >0\)
where we used the Dominated Convergence Theorem, thanks to (A.13) and (A.14). Note that for \({\mathcal {H}}^{n-1}\)-almost every \(x\in S_u\)
since \([u](x)\ne 0\). Thanks to (A.12) and (A.13) we can apply again the Dominated Convergence Theorem and deduce the claim in the limit \(\eta \rightarrow 0+\). \(\square \)
We are now in a position to prove the measurable dependence on u of the integral functional corresponding to a continuous surface integrand.
Lemma 9.6
Let \(A\in {\mathscr {A}}\) with Lipschitz boundary, let \(R>0\), and let g be as in Lemma A.7. Then the function
from \(BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathscr {B}}( BV^m_{R,A} )\)-measurable.
Proof
By Lemma A.7 the thesis follows by proving that for every \(\rho \), \(\eta > 0\) the function
from \(BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathscr {B}}( BV^m_{R,A} )\)-measurable. Let \(\rho \), \(\eta > 0\) be fixed. First note that, by the \( {\mathscr {B}}(A)\otimes {\mathscr {B}}( {\mathcal {M}}_{R,A}^{m\times n} )\)-measurability of (A.2) and the continuity of g, the function
is \({\mathscr {B}}(A)\otimes {\mathscr {B}}( {\mathcal {M}}_{R,A}^{m\times n} )\)-measurable. Moreover it is bounded by (A.14). So by [17, Corollary A.3]
is \({\mathscr {B}}( {\mathcal {M}}_{R,A}^{m\times n} )\)-measurable. Since \(u\mapsto Du\) is continuous from \((BV^m_{R,A},d^m_{R,A})\) to \( ({\mathcal {M}}_{R,A}^{m\times n},d_{R,A}^{m\times n})\), the \({\mathscr {B}}( BV^m_{R,A} )\)-measurability of (A.15) follows. \(\square \)
We now prove the measurability with respect to \((\omega , u)\) of the integral functional corresponding to a random surface integrand, with no continuity assumption with respect to x.
Lemma A.8
Let \(A\in {\mathscr {A}}\) with Lipschitz boundary, let \(R>0\), and let \( g:\text{\O}mega \times A\times {{\mathbb {R}}}^{m}\times {{\mathbb {S}}}^{n-1}\rightarrow {{\mathbb {R}}}\) be a \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^m\otimes {\mathscr {B}}^n_S\)-measurable function. Assume that there exists \(a>0\) such that
for every \((\omega ,x,\zeta ,\nu ) \in \text{\O}mega \times A \times {{\mathbb {R}}}^{m} \times {{\mathbb {S}}}^{n-1}\). Then the function
from \(\text{\O}mega \times BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathcal {T}} \otimes {\mathscr {B}}(BV^m_{R,A})\)-measurable.
Proof
We recall that a matrix \(\xi \in {{\mathbb {R}}}^{m\times n}\) has rank \(\le 1\) if and only if \(\xi =\zeta \otimes \nu \) for some \(\zeta \in {{\mathbb {R}}}^m\) and \(\nu \in {\mathbb {S}}^{n-1}\), and that the pair \((\zeta , \nu )\) is uniquely determinded by \(\xi \), up to a change of sign of both terms. Therefore, thanks to (A.16), we can define a \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^{m\times n}\)-measurable function \({\tilde{g}} :\text{\O}mega \times A\times {{\mathbb {R}}}^{m\times n}\rightarrow {{\mathbb {R}}}\) by setting for every \( (\omega ,x,\xi )\in \text{\O}mega \times A \times {{\mathbb {R}}}^{m\times n}\)
By (A.17) we have \(|{\tilde{g}}(\omega , x, \xi )|\le a|\xi |\) for every \((\omega ,x,\xi )\in \text{\O}mega \times A \times {{\mathbb {R}}}^{m\times n}\).
To prove the thesis it is enough to show that
Note that the function \({\tilde{g}}\) can be written as
where \({\hat{g}} \) is \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}({{\mathbb {R}}}^{m\times n})\)-measurable and satisfies \(| {\hat{g}} | \le 1\).
Let \({\mathcal {R}}\) be the set of all bounded \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^{m\times n}\)-measurable functions \( {\hat{g}}:\text{\O}mega \times A\times {{\mathbb {R}}}^{m \times n}\rightarrow {{\mathbb {R}}}\) such that the function \( {\tilde{g}} \) defined as in (A.19) satisfies the claim (A.18).
In order to conclude the proof, we need to show that \({\mathcal {R}}\) contains all bounded \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^{m\times n}\)-measurable functions. To prove this property, note that \({\mathcal {R}}\) is a vector space of bounded real-valued functions that contains the constants and is closed both under uniform convergence and under monotone convergence of uniformly bounded sequences. Let \({\mathcal {C}}\) be the set of all functions \({\hat{g}} :\text{\O}mega \times A\times {{\mathbb {R}}}^{m\times n}\rightarrow {{\mathbb {R}}}\) that can be written as
where \(\alpha :\text{\O}mega \rightarrow {{\mathbb {R}}}\) is bounded and \({\mathcal {T}}\)-measurable, and \(\beta :A\times {{\mathbb {R}}}^{m\times n}\rightarrow {{\mathbb {R}}}\) is bounded and continuous. Note that \({\mathcal {C}}\) is stable under multiplication and that the \(\sigma \)-algebra generated by \({\mathcal {C}}\) is \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^{m\times n}\).
By Lemma 9.6 we have \({\mathcal {C}}\subset {\mathcal {R}}\). Hence the functional form of the Monotone Class Theorem (see [22, Chapter I, Theorem 21]), implies that \({\mathcal {R}}\) contains all bounded \({\mathcal {T}}\otimes {\mathscr {B}}(A)\otimes {\mathscr {B}}^{m\times n}\)-measurable functions, and this concludes the proof. \(\square \)
We now prove the measurability of the map \(u\mapsto D^j u\).
Lemma A.9
Let \(A\in {\mathscr {A}}\) with Lipschitz boundary and let \(R>0\). Then the map
is measurable from \((BV^m_{R,A}, {\mathscr {B}}(BV^m_{R,A}) )\) to \(({\mathcal {M}}_{R,A}^{m\times n}, {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\).
Proof
As in the proof of Lemma A.2 it is sufficient to show that
from \(BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathscr {B}}(BV^m_{R,A})\)-measurable for every \(\varphi \in C_c(A, {{\mathbb {R}}}^{m\times n})\). To this end we set \( g (x,\zeta ,\nu ):=\varphi (x){\cdot }(\zeta \otimes \nu )\), and note that \(| g(x,\zeta ,\nu )|\le a |\zeta |\), where a is the maximum of \(|\varphi |\). Therefore, by Lemma A.8 it follows that
from \(BV^m_{R,A}\) to \({{\mathbb {R}}}\) is \({\mathscr {B}}(BV^m_{R,A})\)-measurable, and hence the claim. \(\square \)
The following corollary deals with the Cantor part.
Corollary A.11
Let \(A\in {\mathscr {A}}\) with Lipschitz boundary and let \(R>0\). Then the map
is measurable from \((BV^m_{R,A}, {\mathscr {B}}(BV^m_{R,A}) )\) to \(({\mathcal {M}}_{R,A}^{m\times n}, {\mathscr {B}}({\mathcal {M}}_{R,A}^{m\times n}))\).
Proof
Since \( C(u)= Du- D^au-D^ju\), the result follows from the continuity of the map \(u\mapsto Du\) from \((BV^m_{R,A},d^m_{R,A})\) to \(({\mathcal {M}}_{R,A}^{m\times n},d_{R,A}^{m\times n})\), using Lemmas A.3 and A.9 . \(\square \)
We are now ready to prove the main result of the section.
Proposition A.12
Let f and g be random volume and surface integrands, respectively, according to Definition 3.7, and let \((\text{\O}mega ,{\widehat{{\mathcal {T}}}},{\widehat{P}})\) be the completion of the probability space \((\text{\O}mega ,{\mathcal {T}}, P)\). Let \(A\in {\mathscr {A}}\), let \(w \in SBV(A,{{\mathbb {R}}}^m)\), and for every \(\omega \in \text{\O}mega \) let \(m_\omega ^{f,g}(w,A)\) be defined as in (3.4) and (3.16). Then the function \(\omega \mapsto m_\omega ^{f,g}(w,A)\) is \({\widehat{{\mathcal {T}}}}\)-measurable.
Proof
For every \(\omega \in \text{\O}mega \), \(B\in {\mathscr {B}}(A)\), and \(u\in BV(A,{{\mathbb {R}}}^m)\), we define
Let us fix a sequence \((A_j)\) of open sets with Lipschitz boundary, with \(A_j\subset \subset A_{j+1}\) for every \(j\in {\mathbb {N}}\) and \(\cup _jA_j = A\). It follows easily from the definition that
where in the last equality we used the fact that \(E(\omega )(w,A\setminus A_{j+1}) \rightarrow 0\) as \(j \rightarrow +\infty \) since, by (f4) and (g4), we have \(E(\omega )(w,A\setminus A_{j+1})\le c_3|Dw|(A\setminus A_{j+1})+ c_4{\mathcal {L}}^n(A\setminus A_{j+1})\).
Let us fix \(j \in {\mathbb {N}}\). It is obvious that
By (f4) and (g4) we have \(E(\omega )(w,A_{j+1})\le c_3|Dw|(A_{j+1})+c_4{\mathcal {L}}^n(A_{j+1})\). Therefore, from Remark 3.2 we obtain that there exists \( R_1>0\), depending on \(A_{j+1}\) and w, such that
Thanks to Poincaré’s inequality, there exists \(R\ge R_1\), depending on \(A_{j+1}\), w, and \(R_1\), such that every function \(u\in BV(A_{j+1},{{\mathbb {R}}}^m)\), satisfying \(|Du|(A_{j+1})\le R_1\) and \( u=w\) in \(A_{j+1}\setminus A_j\), satisfies also \(\Vert u \Vert _{L^1 (A_{j+1}, {{\mathbb {R}}}^m)} \le R\). This implies that
Therefore, to prove the proposition it is enough to show that the function
is \({\widehat{{\mathcal {T}}}}\)-measurable.
We define \(H :BV^m_{R,A_{j+1}} \rightarrow [0,+\infty ]\) as
where the equality \(C(u)=0\) means that \(C( u)(B)=0\) for every \(B\in {\mathscr {B}}(A_{j+1})\). By (A.20) to conclude the proof it suffices to show that the function
is \({\widehat{{\mathcal {T}}}}\)-measurable.
To this aim, we apply the Projection Theorem. Note that the function \((\omega , u)\mapsto E(\omega )(u,A_{j+1})\) from \(\text{\O}mega \times BV^m_{R,A_{j+1}}\) to \({{\mathbb {R}}}\) is \({\mathcal {T}}\otimes {\mathscr {B}}(BV^m_{R,A_{j+1}})\)-measurable, by Lemmas A.5 and A.8 . Moreover, the function \(u\mapsto H (u)\) from \( BV^m_{R,A_{j+1}} \) to \({{\mathbb {R}}}\) is \({\mathscr {B}}(BV^m_{R,A_{j+1}})\)-measurable, since the set \(\{u\in BV^m_{R,A_{j+1}}: C(u)=0\}\) belongs to \({\mathscr {B}}( BV^m_{R,A_{j+1}})\) by Corollary A.11, while the set \(\{u\in BV^m_{R,A_{j+1}} : u=w \; \text {in } A_{j+1}\setminus A_j\}\) is closed in \( (BV^m_{R,A_{j+1}}, d^m_{R,A_{j+1}})\). Hence, for every \(t>0\) we have
Since the metric space \( (BV^m_{R,A_{j+1}},d^m_{R,A_{j+1}} )\) is compact thanks to Lemma A.4, by the Projection Theorem (see, e.g., [22, Theorem III.13 and 33(a)]) the projection onto \(\text{\O}mega \) of the set above belongs to \({\widehat{{\mathcal {T}}}}\). On the other hand, the projection onto \(\text{\O}mega \) of the set in (A.22) coincides with the set of points \(\omega \in \text{\O}mega \) such that
Since this set belongs to \({\widehat{{\mathcal {T}}}}\) for every \(t > 0\), the function in (A.21) is \({\widehat{{\mathcal {T}}}}\)-measurable. \(\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
Cagnetti, F., Dal Maso, G., Scardia, L. et al. A global method for deterministic and stochastic homogenisation in BV. Ann. PDE 8, 8 (2022). https://doi.org/10.1007/s40818-022-00119-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-022-00119-4