Abstract
We consider integral functionals \( \mathcal {F}^{(j)}_{\varepsilon } \), doubly indexed by \( \varepsilon > 0 \) and \(j \in \mathbb N\cup \{ \infty \}\), satisfying a standard linear growth condition. We investigate the question of \( \Gamma \)-closure, i.e., when the \( \Gamma \)-convergence of all families \( \{ \mathcal {F}^{(j)}_{\varepsilon } \}_{\varepsilon }\) with finite j implies \( \Gamma \)-convergence of \(\{ \mathcal {F}^{(\infty )}_{\varepsilon } \}_{\varepsilon }\). This has already been explored for p-growth with \( p > 1 \). We show by an explicit counterexample that due to the differences between the spaces \( W^{1,1} \) and \( W^{1,p} \) with \( p > 1 \), an analog cannot hold. Moreover, we find a sufficient condition for a positive answer.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A possibility to formulate a mathematical problem is by means of calculus of variations. The solution has to minimize a given functional. Often, functionals are of the form
with \( \Omega \) being an open bounded subset of \( \mathbb R^{n} \) and \( 1 \le p \le \infty \). The choice of the ambient space \( L^{p}( \Omega ) \) instead of the domain \( W^{1,p}( \Omega ) \) is motivated by the direct method and good properties of the weak topology of \( W^{1,p}( \Omega ) \).
Depending on the model, the density f of a functional may be quite complicated. It is desirable, if possible, to find a good efficient model, i.e., a functional that is simpler but, however, whose minimizers are good approximations of the solutions of the original functional.
In order for an efficient model to have the desired properties, the right notion of convergence is \( \Gamma \)-convergence. We state some fundamental definitions and results regarding this concept in Appendix. There is an extensive literature, let us mention only the works [9, 12].
A typical example of such efficient model is homogenization. Having a heterogeneous material with regular structure (e.g., periodic) on a small scale, it is to be expected that this material behaves on the macroscopic level as some theoretical homogeneous material. A homogenization procedure for a periodic stored energy function of the material dates back to the works [6, 17].
Suppose two models are in some sense close to each other. If one of them can be homogenized, then one would expect the same for the other one. This was addressed and covered, e.g., in [7, Section 3] and [8, Section 4] as ‘homogenization closure’. An example can be found in [18] where the model for finite elasticity is approximated by a linearized one.
In [16], instead of specializing to homogenization, an arbitrary \( \Gamma \)-converging family was taken. The setting can be summarized with the following diagram:
For each \( j \in \mathbb N\) the family \( \{ \mathcal {F}^{(j)}_{\varepsilon } \}_{ \varepsilon > 0 } \) is supposed to \( \Gamma \)-converge as \( \varepsilon \rightarrow 0 \). These families converge in some sense to a family \( \{ \mathcal {F}^{(\infty )}_{\varepsilon } \}_{ \varepsilon > 0 }\) as \(j \rightarrow \infty \). The authors investigate when this family \( \Gamma \)-converges as well and what is the relation between the \( \Gamma \)-limits. Let us below briefly present their assumptions and results.
Assumption
Throughout the whole work, we assume:
-
\( \Omega \subset \mathbb R^{n} \) is a bounded Lipschitz open set.
-
Each function \( f: \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\) is a Carathéodory function.
Regarding the densities of functionals, the following property is assumed.
Definition 1.1
Function \( f: \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\) fulfills a standard p-growth condition if there are \( \alpha , \beta > 0 \) such that
for almost every \(x \in \Omega \) and all \(X \in \mathbb R^{m \times n}\). (For \( p = 1 \), we also say a standard linear growth condition.) For a family of functions, we say that they fulfill the standard p-growth condition uniformly if the double inequality above holds for all members of the family with the same \( \alpha \) and \( \beta \).
For the proximity of families, it turns out that the following generalization of equivalence introduced in [7] is the right one.
Definition 1.2
Let us have functions \( f^{(j)}_{\varepsilon }: \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\) for all \( j \in \mathbb N\cup \{\infty \} \) and \( \varepsilon > 0 \). We say that the a doubly indexed family \( \{ f^{(j)}_{\varepsilon } \}_{ \varepsilon > 0 }^{ j \in \mathbb N} \) is equivalent to a family \( \{ f^{(\infty )}_{\varepsilon } \}_{ \varepsilon > 0 }\) if
for every \(R \ge 0\).
We are not in the position to state [16, Theorem 2.2]:
Theorem 1.3
Let \( 1< p < \infty \), and let us have functions \( f^{(j)}_{\varepsilon }: \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\), \(j \in \mathbb N\cup \{ \infty \} \), \( \varepsilon > 0\), that uniformly fulfill a standard p-growth condition. We define the corresponding functionals \( \mathcal {F}^{(j)}_{\varepsilon } \) on \( L^{p}( \Omega ; \mathbb R^{m} ) \) as in (1) and assume that
-
(a)
For each \( j \in \mathbb N\) the \(\Gamma \)-limit \(\Gamma (L^p)\text {-}\lim _{\varepsilon \rightarrow 0} \mathcal {F}^{(j)}_{\varepsilon } =: \mathcal {F}^{(j)}_0\) exists and that
-
(b)
The families \( \{ f^{(j)}_{\varepsilon } \}^{j \in \mathbb N}_{\varepsilon > 0} \) and \( \{ f^{(\infty )}_{\varepsilon } \}_{\varepsilon > 0} \) are equivalent on \(\Omega \).
Then also \(\Gamma (L^p)\text{- }\lim _{\varepsilon \rightarrow 0} \mathcal {F}^{(\infty )}_{\varepsilon } =: \mathcal {F}^{(\infty )}_{0} \) exists. It is the pointwise and the \(\Gamma \)-limit of \( \mathcal {F}^{(j)}_{0} \) as \( j \rightarrow \infty \):
Schematically,
In [16] this result is called ‘\(\Gamma \)-closure on a single domain’ since also the complementing result for variable domains, i.e., for functionals that depend also on the domain, is proved. Moreover, more general growth conditions, the Gårding growth conditions, are explored, and the question about simultaneous limits is addressed. Great emphasis is then laid on applying this results to homogenization, also in the stochastic setting. We mention below only one special case, which will be important for a current work, namely the perturbation result [16, Theorem3.1].
Let us have a situation as in Theorem 1.3 but suppose, however, that the family \( \{ f^{(j)}_{\varepsilon } \}^{j \in \mathbb N}_{\varepsilon > 0} \) is actually constant in j. In other words, let us have families \( \{ f_{\varepsilon } \}_{ \varepsilon > 0 } \) and \( \{ g_{\varepsilon } \}_{ \varepsilon > 0 } \) that are equivalent. This condition now reads
for every \( R > 0 \). If the family \( \{ \mathcal {F}_{ \varepsilon } \}_{\varepsilon > 0} \) with densities \( f_{\varepsilon } \) \( \Gamma (L^p) \)-converges to a functional \( \mathcal {F}_{0} \) as \( \varepsilon \rightarrow 0 \), then so does the analogously defined family \( \{ \mathcal {G}_{ \varepsilon } \}_{\varepsilon > 0} \):
The results in [16] for \( p > 1 \) lead to a natural question if the same holds for \( p = 1 \). The answer is negative, as we will show with an explicit counterexample, the problem being that in \( W^{1,1} \) boundedness of gradients does not imply their equiintegrability. As already known from the literature, in this case the behavior at \(\infty \), described by the recession function, also must be taken into account. Therefore, for analogous commutability results an additional assumption is needed.
Our aim is not to find a counterpart to all results in [16]. We will only look at the basic deterministic setting from Theorem 1.3 since the proof already contains the most important ideas.
2 Counterexample
For \( p = 1 \), integral functionals with convex densities defined as in (1) are not lower semicontinuous as is the case for \( p > 1 \). More precisely, for a convex function \(f: \mathbb R^{m \times n} \rightarrow \mathbb R\) with a standard linear growth, the lower semicontinuous envelope of the functional
is
This was first proved in [15, Theorem 5]. It actually holds in this form for quasiconvex f, see [1, Theorem 4.1] and [14, Theorem 2.16]. Here, \( BV( \Omega ) \) is the space of functions with bounded variation (see, e.g., [2]), and Du is the distributional derivative of u having decomposition with respect to the Lebesgue measure \( D u = \nabla u \mathcal {L}^{n} + D^s u \). Moreover, \( f^{\infty } \) is the recession function f:
For the counterexample we employ [4, Example 6.4]. We consider the scalar case \( m = 1 \) with \( \Omega = J:= ( -1, 1 ) \) and show that even the analog to the perturbation result described above ([16, Theorem 3.1]) does not hold.
Let us choose the convex function
Clearly, \(f^{\infty }( \xi ) = \lim _{ t \rightarrow \infty } \frac{ f( t \xi ) }{ t } = 2 | \xi |. \)
For the first family of functions, we choose the constant family given by f, i.e., for all \( \varepsilon > 0 \) let \( f_{\varepsilon }(x,\_):= f \) for all \( x \in J \). The corresponding constant family of functionals is thus
It \( \Gamma ( L^{1} ) \)-converges to the relaxed functional \( \mathcal {F}_{0} \) with domain BV(J) . By (2), for \( u \in {BV(J)} \) we have
For the second family let
We define densities \( g_{ \varepsilon }: J \times \mathbb R\rightarrow \mathbb R\) by
Then the families \( \{ f_{ \varepsilon } \}_{ \varepsilon > 0 } \) and \( \{ g_{ \varepsilon } \}_{ \varepsilon > 0 } \) are equivalent since for any \( R > 0 \)
Let us denote \( \lambda _{ \varepsilon }:= a_{ \varepsilon } \mathcal{L}^{1} \in M(J) \). For any \( u \in W^{1,1}(J) \), we may write
Hence, the corresponding functionals \( \mathcal {G}_{ \varepsilon } \) have on \( W^{1,1}(J) \) the following representation
Since
it follows from [11, Theorem 2.2] that \( \mathcal {G}_{ \varepsilon } \) \( \Gamma ( L^{1} ) \)-converges to \( \mathcal {G}_{0} \) where
if \( u \in \textit{BV(J)} \) and \( \infty \) otherwise with \( D_{\lambda }^{a} u \) and \( D_{\lambda }^{s} u \) being the absolutely continuous resp. singular part of Du with respect to \( \lambda \). We compare these two decompositions
and arrive at
Therefore
Hence,
If we choose \( u:= 1_{(0,1)} \), we have \( Du = \delta _{0} \) and
Hence
This example shows also another important issue (which is the reason of the discussion in [4]). In the case \( p > 1 \), the limiting functional even has a density, i.e., it is given by some Borel function \( \varphi : \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\) with the same growth properties such that the values on \( W^{1,p}( \Omega ; \mathbb R^{m} ) \) are given by \( \int _{ \Omega } \varphi ( x, \nabla u(x) ) \ \textrm{d}x\) (and \( \infty \) elsewhere). For \( p = 1 \), it is still true that there is such a density that determines the values on \( W^{1,1}( \Omega ; \mathbb R^{m} ) \) (see in [10, Theorem 12.5] or [13, Teorema]). However, it is in general wrong that the values on \( BV( \Omega ; \mathbb R^{m} ) \) are given by
Indeed, in the example above the density on \( W^{1,1}(J) \) is \( {\varvec{f}} \) in both cases. However, the formula above yields \( \mathcal {F}_{0} \). The limiting functional \( \mathcal {G}_{0} \) for the family \( \{ \mathcal {G}_{\varepsilon } \}_{\varepsilon > 0} \) has a different structure.
3 \(\Gamma \)-Closure
The counterexample in Sect. 2 indicates that the problem occurs when dealing with families whose difference grows linearly for large X at least on some set of x. The equivalence condition from Definition 1.2 does not exclude such behavior, and consequently, we have to impose an additional condition.
Theorem 1.4
Let functions \( f^{(j)}_{\varepsilon }: \Omega \times \mathbb R^{m \times n} \rightarrow \mathbb R\), \(j \in \mathbb N\cup \{ \infty \}\), \( \varepsilon > 0\), uniformly fulfill the standard linear growth condition, and define
Assume that
-
(a)
For each \( j \in \mathbb N\) the \( \Gamma \)-limit \( \Gamma ( L^{1} ) \text {-} \lim _{\varepsilon \rightarrow 0} \mathcal {F}^{(j)}_{\varepsilon } =: \mathcal {F}^{(j)}_{0} \) exists,
-
(b)
The families \( \big \{ \{ f^{(j)}_{\varepsilon } \}_{\varepsilon > 0} \big \}_{j \in \mathbb N} \) and \( \{ f^{(\infty )}_{\varepsilon } \}_{\varepsilon > 0} \) are equivalent on \( \Omega \),
-
(c)
For
$$\begin{aligned} r^{(j)}_{\varepsilon }(R):= \mathop {\mathrm {ess\,sup}}_{ x \in \Omega } \sup _{|X| \ge R} \frac{ | f^{(j)}_{\varepsilon }(x, X) - f^{(\infty )}_{\varepsilon }(x, X) |}{ |X| } \end{aligned}$$it holds
$$\begin{aligned} \lim _{ R \rightarrow \infty } \ \limsup _{j \rightarrow \infty } \ \limsup _{\varepsilon \rightarrow 0} \ r^{(j)}_{\varepsilon }(R) = 0. \end{aligned}$$
Then also \( \Gamma ( L^{1} ) \text{- } \lim _{\varepsilon \rightarrow 0} \mathcal {F}^{(\infty )}_{\varepsilon } =: \mathcal {F}^{(\infty )}_{0}\) exists. It is the pointwise and the \( \Gamma \)-limit of \( \mathcal {F}^{(j)}_{0} \) as \( j \rightarrow \infty \):
Remark 3.2
-
(a)
The equivalence condition is a sort of combination of the local uniform convergence in X and the \( L^{1} \)-convergence in x. We now add a uniform convergence of the slopes for large X and the \( L^{\infty } \)-convergence in x.
-
(b)
The assumption (c) is met if for some \( \delta \in (0,1) \) and \( \gamma > 0 \) it holds for all \( j \in \mathbb N\) and \( \varepsilon > 0 \)
$$\begin{aligned} | f^{ (j) }_{ \varepsilon } (x, X) - f^{ (\infty ) }_{ \varepsilon } (x, X) | \le \gamma | X |^{ 1 - \delta } \end{aligned}$$for a.e. \( x \in \Omega \) and \( X \in \mathbb R^{m \times n} \). An analogous condition was already introduced when dealing with the relaxation for \( p = 1 \), see, e.g., [3, Section 3] and [5, Section 4].
-
(c)
Although the recession function plays an important role in the relaxation, it does not suffice to impose just their convergence in some sense. Bear in mind that in our counterexample they even coincide, but still the statement does not hold.
For the proof of Theorem (3.1), we use the same strategy as in [16] incorporating the additional assumption on the behavior for large X.
Proof
First we assume that
exists. This will be justified in Step 3. From the growth assumption, it follows immediately that the domain of \( \mathcal {F}^{(\infty )}_{0} \) is \( BV( \Omega ; \mathbb R^m ) \) with
for \( u \in BV( \Omega ; \mathbb R^m ) \).
Step 1: For \( u \in L^{1}( \Omega ; \mathbb R^m ) \), we claim that
By our assumption, this is obvious if \( u \in L^{1}( \Omega ; \mathbb R^{m} ) \setminus BV( \Omega ; \mathbb R^{m} )\).
Let us take arbitrary \( u \in BV( \Omega ; \mathbb R^{m} ) \). Fix any \( \eta > 0 \), and choose a sequence \( \{ u_{\varepsilon } \}_{ \varepsilon } \subset L^{1}( \Omega ; \mathbb R^{m} ) \) such that
Such sequence surely exists as \(\Gamma \text {- }\lim _{\varepsilon \rightarrow 0} \mathcal {F}^{(\infty )}_{ \varepsilon } = \mathcal {F}^{(\infty )}_{0}\). We may suppose that \( \{ \mathcal {F}^{(\infty )}_{ \varepsilon }( u_{\varepsilon } ) \}_{ \varepsilon } \) is bounded and consequently \( \{ u_{\varepsilon } \}_{\varepsilon } \subset W^{1,1}( \Omega ; \mathbb R^{m} ) \) with \( \sup _{ \varepsilon } \Vert \nabla u_{\varepsilon } \Vert _{ L^{1} } =: B < \infty \). We choose \( M > 0 \) such that
and define the sets \( E_{ \varepsilon }:= \{ x \in \Omega : | \nabla u_{ \varepsilon }(x) | \ge M \} \). After splitting
we bound both terms from below by using \( f^{ (j) }_{ \varepsilon } \). Obviously
and furthermore
Hence,
Taking \( \liminf \) as \( \varepsilon \rightarrow 0 \) on both sides of the inequality above and employing the \(\liminf \)-inequality for \( \Gamma (L^1)\text {-}\lim _{ \varepsilon \rightarrow 0 } \mathcal {F}^{(j)}_{ \varepsilon } = \mathcal {F}^{(j)}_{0} \) yields
By sending also \( j \rightarrow \infty \), we arrive at
The claim now follows from the equivalence of the families and the arbitrariness of \( \eta \).
Step 2: Lower bound. We claim that
whenever \( u_{j} \rightarrow u \) in \( L^{1}( \Omega ; \mathbb R^m ) \).
Suppose
From
it follows that there is an increasing unbounded sequence \( \{ M_{k} \}_{k \in \mathbb N} \) such that
We may find a subsequence \( \{ j_{k} \}_{k \in \mathbb N} \) such that
-
all \( \mathcal {F}^{(j_k)}_{0}( u_{j_k} ) \) are finite with \( {\displaystyle \lim _{k \rightarrow \infty } \mathcal {F}^{(j_k)}_{0}( u_{j_k} ) = \liminf _{j \rightarrow \infty } \mathcal {F}^{(j)}_{0}(u_j), } \)
-
\( {\displaystyle \limsup _{ \varepsilon \rightarrow 0 } \int _{\Omega } \sup _{ |X| \le M_{k} } | f^{(j_k)}_{\varepsilon }(x, X) - f^{(\infty )}_{\varepsilon }(x, X) | \ \textrm{d}x\le \tfrac{1}{k}, } \)
-
\( {\displaystyle \limsup _{ \varepsilon \rightarrow 0 } \ r^{ (j_{k}) }_{\varepsilon }( M_{k} ) \le \tfrac{1}{k} + \limsup _{j \rightarrow \infty } \ \limsup _{\varepsilon \rightarrow 0} \ r^{(j)}_{\varepsilon }( M_{k} ) \le \tfrac{2}{k}. } \)
From
it follows that \( \{ u_{ j_{k} } \}_{ k \in \mathbb N} \) is bounded in \( BV( \Omega ; \mathbb R^m ) \). Then we choose \( \varepsilon _{k} \) (with \( \varepsilon _{k} \searrow 0 \)) so small that there is a \( w_{k} \in L^1(\Omega ; \mathbb R^m) \) with
-
\( {\displaystyle \Vert w_{k} - u_{ j_{k} } \Vert _{ L^1 } \le \tfrac{1}{ j_{k} } } \),
-
\( {\displaystyle \mathcal {F}^{(j_k)}_{0}( u_{j_k} ) + \tfrac{1}{j_k} \ge \mathcal {F}^{(j_k)}_{ \varepsilon _{k} } ( w_{k} ) } \),
-
\( {\displaystyle \int _{\Omega } \sup _{ |X| \le M_{k} } | f^{(j_k)}_{ \varepsilon _{k} } (x, X) - f^{(\infty )}_{ \varepsilon _{k} } (x, X) | \ \textrm{d}x\le \tfrac{2}{k} } \),
-
\( {\displaystyle r^{ (j_{k}) }_{ \varepsilon _{k} }( M_{k} ) \le \tfrac{3}{k} } \).
Notice that \( \mathcal {F}^{ (j_k) }_{ \varepsilon _{k} } ( w_{k} ) \) are finite. Due to our construction, the sequence \( \{ w_{k} \}_{ k \in \mathbb N} \) lies in \( W^{1,1}( \Omega ; \mathbb R^{m} ) \), is there bounded and converges in \( L^{1}( \Omega ; \mathbb R^{m} ) \) toward u as well. We proceed similarly as in Step 1, the only difference being that we now pass in the superscript from \( {\varvec{j}} \) to \( \infty \). Define
Then
From the construction, the last inequality and the \( \liminf \)-inequality for \( \{ \mathcal {F}^{ (\infty ) }_{ \varepsilon } \}_{\varepsilon } \), it follows
The inequalities from Steps 1 and 2 yield
for each \( u \in L^{1}( \Omega ; \mathbb R^{m} ) \).
Step 3: Justification of our assumption.
Let us not assume a priori that \(\{ \mathcal {F}^{ (\infty ) }_{ \varepsilon } \}_{ \varepsilon > 0 } \) \( \Gamma \)-converges. We know, however, that for every subsequence \( \{ \varepsilon _{k} \}_{k \in \mathbb N} \) there exists a further subsequence \( \{ \varepsilon _{k_i} \}_{ i \in \mathbb N}\) such that
exists (see Appendix). From Steps 1 and 2, it follows that \( \mathcal {F}^{(\infty )}_{0} \) does not depend on the particular subsequence \( \{ \varepsilon _{k_i} \}_{i \in \mathbb N} \). By the Urysohn property for \( \Gamma \)-limits, it follows that \( \Gamma (L^1) {-} \lim _{\varepsilon \rightarrow 0} \mathcal {F}^{ (\infty ) }_{\varepsilon } = \mathcal {F}^{(\infty )}_{0}. \) \(\square \)
References
Ambrosio, L., Dal Maso, G.: On the relaxation in \({\rm BV}(\Omega; { R}^m)\) of quasi-convex integrals. J. Funct. Anal. 109(1), 76–97 (1992)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. The Clarendon Press, New York (2000)
Barroso, A.C., Fonseca, I., Toader, R.: A relaxation theorem in the space of functions of bounded deformation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 29(1), 19–49 (2000)
Bouchitté, G., Dal Maso, G.: Integral representation and relaxation of convex local functionals on \({\rm BV}(\Omega )\). Ann. Scuola Norm. Sup. Pisa Cl. Sci. 20(4), 483–533 (1993)
Bouchitté, G., Fonseca, I., Mascarenhas, L.: A global method for relaxation. Arch. Ration. Mech. Anal. 145(1), 51–98 (1998)
Braides, A.: Homogenization of some almost periodic coercive functional. Rend. Accad. Naz. Sci. XL Mem. Mat. 9(1), 313–321 (1985)
Braides, A.: A homogenization theorem for weakly almost periodic functionals. Rend. Accad. Naz. Sci. XL Mem. Mat. 10(1), 261–281 (1986)
Braides, A.: Almost periodic methods in the theory of homogenization. Appl. Anal. 47(4), 259–277 (1992)
Braides, A.: \(\Gamma \)-Convergence for Beginners. Oxford Lecture Series in Mathematics and its Applications, vol. 22. Oxford University Press, Oxford (2002)
Braides, A., Defranceschi, A.: Homogenization of Multiple Integrals. Oxford Lecture Series in Mathematics and its Applications, vol. 12. The Clarendon Press, Oxford University Press, New York (1998)
Buttazzo, G., Freddi, L.: Functionals defined on measures and applications to non-equi-uniformly elliptic problems. Ann. Mat. Pura Appl. 4(159), 133–149 (1991)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence. Progress in Nonlinear Differential Equations and their Applications, vol. 8. Birkhäuser Boston Inc, Boston (1993)
De Giorgi, E.: Sulla convergenza di alcune successioni d’integrali del tipo dell’area. Rend. Mat. 6(8), 277–294 (1975)
Fonseca, I., Müller, S.: Relaxation of quasiconvex functionals in \({\rm BV}(\Omega ,{ R}^p)\) for integrands \(f(x, u,\nabla u)\). Arch. Ration. Mech. Anal. 123(1), 1–49 (1993)
Goffman, C., Serrin, J.: Sublinear functions of measures and variational integrals. Duke Math. J. 31, 159–178 (1964)
Jesenko, M., Schmidt, B.: Closure and commutability results for \(\Gamma \)-limits and the geometric linearization and homogenization of multiwell energy functionals. SIAM J. Math. Anal. 46(4), 2525–2553 (2014)
Müller, S.: Homogenization of nonconvex integral functionals and cellular elastic materials. Arch. Ration. Mech. Anal. 99(3), 189–212 (1987)
Müller, S., Neukamm, S.: On the commutability of homogenization and linearization in finite elasticity. Arch. Ration. Mech. Anal. 201(2), 465–500 (2011)
Acknowledgements
I would like to thank Bernd Schmidt (Augsburg) for interesting and useful discussions on the subject.
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.
\(\Gamma \)-Convergence
\(\Gamma \)-Convergence
Here we recall the definition and some important properties of \(\Gamma \)-convergence that are used frequently in our proofs. They are taken from [9, Chapter 1].
Definition A.1
Let \( \mathcal {F}_{j}: M \rightarrow [-\infty ,\infty ]\), be functionals on a metric space (M, d) . We say that the sequence \( \{ \mathcal {F}_{j} \}_{j \in \mathbb N} \) \( \Gamma \)-converges at \( x \in M \) to some \(\lambda \in [ - \infty , \infty ]\), and denote this by
if and only if the following conditions are satisfied:
-
(a)
(\(\liminf \)-inequality:) If \( x_{j} \rightarrow x \) in M, then \(\liminf _{j \rightarrow \infty } \mathcal {F}_{j}( x_{j} ) \ge \lambda \).
-
(b)
(Existence of a recovery sequence:) There exists a sequence \( x_{j} \rightarrow x \) in M such that \( \lim _{j \rightarrow \infty } \mathcal {F}_{j}( x_{j} ) = \lambda \).
Moreover, if for a functional \( \mathcal {F}_{\infty }: M \rightarrow [-\infty ,\infty ] \), it holds \( \Gamma (d) \text{- } \lim _{ j \rightarrow \infty } \mathcal {F}_{j}(x) = \mathcal {F}_{\infty }(x) \) for every \( x \in M \), then we say that \( \{ \mathcal {F}_{j} \}_{j \in \mathbb N} \) \( \Gamma \)-converges to \( \mathcal {F}_{\infty } \).
The following theorem shows the importance of the \( \Gamma \)-convergence in the calculus of variations.
Theorem A.2
Let us have functionals \( \mathcal {F}_{j}: M \rightarrow (-\infty ,\infty ] \), \( j \in \mathbb N\cup \{ \infty \} \). Suppose
-
(a)
There exists a compact set \( K \subset M \) with \( {\displaystyle \inf _{ x \in K } \mathcal {F}_{j}(x) = \inf _{ x \in M } \mathcal {F}_{j}(x) } \) for all \( j \in \mathbb N\),
-
(b)
\( {\displaystyle \Gamma (d) \text{- } \lim _{ j \rightarrow \infty } \mathcal {F}_{j} = \mathcal {F}_{\infty } } \).
Then
Moreover, if \( \{ x_{j} \}_{ j \in \mathbb N} \) is a precompact sequence such that \({\displaystyle \lim _{ j \rightarrow \infty } \mathcal {F}_{j}( x_{j} ) = \lim _{ j \rightarrow \infty } \inf _{ x \in M } \mathcal {F}_{j}(x) } \), then every limit of a subsequence of \( \{ x_{j} \}_{ j \in \mathbb N} \) is a minimum point for \(\mathcal {F}_{ \infty } \).
Below we state some useful properties:
-
\( \Gamma \)-limits are always lower semicontinuous.
-
For a given functional \( \mathcal {F}\), its lower semicontinuous envelope is called the relaxed functional. It is the \( \Gamma \)-limit of the corresponding constant family.
-
\( \Gamma \)-convergence possesses the Urysohn property. Namely, \(\lambda = \Gamma (d) \text {- } \lim _{ j \rightarrow \infty } \mathcal {F}_{j}( x )\) if and only if for every subsequence \( \{ \mathcal {F}_{ j_{k} } \}_{k \in \mathbb N} \) there exists a further subsequence \( \{ \mathcal {F}_{ j_{k_{l}} } \}_{l \in \mathbb N} \) such that \( \lambda = \Gamma (d) \text {- } \lim _{ l \rightarrow \infty } \mathcal {F}_{ j_{k_{l}} }( x ) \).
-
On a separable metric space every sequence of functionals always contains at least a subsequence that \( \Gamma \)-converges.
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
Jesenko, M. Closure result for \( \Gamma \)-limits of functionals with linear growth. Annali di Matematica 202, 2333–2343 (2023). https://doi.org/10.1007/s10231-023-01322-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-023-01322-1