Abstract
We study an approximation scheme for a variational theory of cohesive fracture in a one-dimensional setting. Here, the energy functional is approximated by a family of functionals depending on a small parameter \(0 < \varepsilon \ll 1\) and on two fields: the elastic part of the displacement field and an eigendeformation field that describes the inelastic response of the material beyond the elastic regime. We measure the inelastic contributions of the latter in terms of a non-local energy functional. Our main result shows that, as \(\varepsilon \rightarrow 0\), the approximate functionals \(\Gamma\)-converge to a cohesive zone model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A tension test on a bar will typically show that small deformations are completely reversible (elastic regime), while large deformations lead to complete failure (fracture regime). Only for very brittle materials, one observes a sharp transition between these two regimes (brittle fracture). By way of contrast, many materials exhibit an intermediate cohesive zone (damage regime) in which plastic flow occurs and a body shows gradually increasing damage before eventual rupture (ductile fracture).
Variational models have been extremely successfully applied to problems in fracture mechanics, cf., e.g., [2, 7, 8, 18] and the references therein including, in particular, the seminal contribution of Francfort and Marigo [23]. Here, energy functionals are considered that act on deformations in the class of functions of bounded variation (or deformation). The derivatives of these functions are merely measures, and the singular part of such a measure is directly related to the inelastic behavior of the bar. The resulting variational problems are of free discontinuity type allowing for solutions with jump discontinuity (macroscopic cracks). Moreover, within a damage regime the strain can contain a diffuse singular part describing continuous deformations beyond the elastic regime that can be related to the occurrence of microcracks, see, e.g., [1, 12, 19, 21, 22, 24, 25, 35]. In fact, when considering variational problems with stored energy functions of linear growth at infinity and surface energy contributions that scale linearly for small crack openings, all these contributions to the total strain interact, cp. [6], which renders the problem challenging, both from a theoretical and a computational point of view.
As free discontinuity problems are of great interest not only in fracture mechanics but also in image processing, several approximation schemes have been proposed with the aim to devise efficient numerical approaches to simulations. Most notably, the Ambrosio–Tortorelli approximation [3, 4] has triggered a still continuing interest in phase field models in which a second field (the ‘phase field’) is introduced that can be interpreted as a damage indicator and whose value influences the elastic response of the material.
With a particular focus on cohesive zone damage models, we refer to, e.g., [13, 15,16,17, 26]. A small parameter \(\varepsilon\) is introduced in such models that corresponds to an intrinsic length scale over which sharp interfaces of the phase field variable are smeared out. A different approach has been initiated by Braides and Dal Maso for the Mumford Shah functional and then extended to various generalized settings in, e.g., [8, 11, 14, 27,28,29,30, 32] which involves a non-local approximation of the original field u in terms of convolution kernels with intrinsic length scale \(\varepsilon \ll 1\).
Our main motivation comes from the Eigenfracture approach to brittle materials that has been developed in [37] and further considered in [33, 34, 36]. Our main aim is to extend this model to a ductile fracture regime with a significant damage zone. The variables of the model are the deformation field \(u_\varepsilon\) and an eigendeformation field \(g_\varepsilon\), which induces a decomposition of the strain \(u_\varepsilon ' = (u_\varepsilon ' - g_\varepsilon ) + g_\varepsilon\) into an elastic and an inelastic part, the latter describing deformation modes that cost no local elastic energy. (We refer to [31] for more details on the concept of eigendeformations to describe inelastic deformations and, in particular, plastic deformations.) The energy associated with the formation and increase in damage is accordingly modeled in terms of a non-local functional acting on \(g_\varepsilon\), which replaces the non-local contribution defined in terms of a simple \(\varepsilon\)-neighborhood of the crack set in the original Eigenfracture model by a more general (and softer) convolution approximation.
We would like to point out that our setup thus introduces a novel modeling aspect to damage functionals. Instead of an explicit dependence of the stored energy function on the damage as being encoded in a phase field, in our model the constitutive laws, i.e., the linear elastic energy \(|\cdot |^2\) and fracture contribution f (see below) remain unchanged. An increase in damage is rather related to a transition from the elastic deformation field to the eigendeformation field. In particular, plastic deformations at the onset of the inelastic regime need not immediately lead to softening of the material. With respect to non-local convolution approximation schemes of the deformation field u, we remark that in our model such non-local contributions need to be evaluated only near the support of \(g_\varepsilon\) but not on purely elastic regions.
In the present contribution, we focus on the one dimensional case. In this setting, our analysis will benefit from the corresponding study of Lussardi and Vitali for pure convolution functionals [29]. Indeed, we will follow along the same path in order to adapt and extend their methods to our two field setup. There are, however, a number of notable differences in our analysis which lead us, also in view of later extensions to higher dimensions [5], to provide a self-contained account of our results. A main difficulty stems from the fact that there is no pre-assigned functional relation between the eigendeformation fields \(g_\varepsilon\) and the strain fields \(u_\varepsilon '\). Rather these quantities are merely ‘coupled by regularity’ in the sense that \(u_\varepsilon ' - g_\varepsilon \in L^2\). As the limit of \(g_\varepsilon\) needs to be studied in a rather weak space, this leads to technical difficulties when transferring asymptotic properties from \(u_\varepsilon\) to \(g_\varepsilon\).
Our results also constitute the first step towards higher dimensional models. In particular, the case of antiplane shear will be addressed in a forthcoming contribution [5]. Here, the lack of a direct relation between \(g_\varepsilon\) and \(\nabla u_\varepsilon\) and hence, the absence of an underlying gradient structure will pose severe additional challenges.
1.1 Outline
We start by describing the setting of the problem and by stating the main results in Sect. 2. In Sect. 3, we remind some facts on functions of bounded variation and the flat topology. Section 4 is devoted to a compactness result. The \(\Gamma\)-lower limit for the eigendamage model is established in Sect. 5. To this end, we first derive the estimate from below of the jump part, subsequently the estimate from below of the volume term and the Cantor term, and the proof of the \(\Gamma \text {-}\liminf\) inequality is then completed by combining the previous results. In Sect. 6, we then address the estimate from above of the \(\Gamma\)-upper limit. Finally, in Sect. 7 the asymptotic behavior of the minimal energies with respect to the eigendeformation variable is studied.
2 Setting of the problem and main result
Suppose that a beam occupies the region (a, b) with \(0<a<b<+\infty\) and that a displacement \(u :(a,b) \rightarrow {\mathbb {R}}\) affects the beam. As cohesive energy associated with u, we shall consider
where \(c_0\) is a fixed positive constant, and \(\psi , f :[0,\infty ) \rightarrow [0,\infty )\) are functions defined via
Note that f is the simplest continuous function such that \(f(0)=0\),
The main ingredients in the energy (1) are a volume term, depending on the strain of the beam \(u^{\prime }\) and corresponding to the stored energy, a surface term, depending on the crack opening \([u] :=u(\cdot \, +) - u(\cdot \, -)\) on the jump set \(J_u\) and modeling the energy caused by cracks, and finally a diffuse damage term, depending on the Cantor derivative \(D^cu\) and corresponding to the energy caused by microcracks.
The natural function space in order to study such functionals in one dimension is the space BV(a, b) of functions of bounded variation on (a, b). Notice that the distributional derivative of each function \(u \in BV(a,b)\) allows for a decomposition \(Du = u^{\prime} \mathcal {L}^1 + D^s u\) into the absolutely continuous and the singular part with respect to the Lebesgue measure, and the singular part in turn into the jump part and the Cantor part, which we have used in (1). We consider both models with an a priori bound \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\), \(K < \infty\), and unrestricted models with \(K = \infty\).
We next introduce a functional depending on two fields \(u \in L^1(a,b)\) (in case \(K<\infty\)), respectively, \(u \in L^0((a,b), {\overline{{\mathbb {R}}}})\) (in case \(K=\infty\)) and \(\gamma \in \mathcal {M}(a,b)\) with a non-local approximation of the second variable \(\gamma\), given as
with \(\varepsilon > 0\), \(I_{\varepsilon }(x) :=(x -\varepsilon,x +\varepsilon)\), and either \(K>0\) a fixed constant or \(K=\infty\). We notice that \(E_{\varepsilon }(u,\gamma )\) can only be finite if \(\gamma\) is absolutely continuous with respect to the Lebesgue measure, with density in \(L^1(a,b)\). In this case, \(u^{\prime}\) represents the strain of the beam and \(\gamma\) is intended to compensate \(u^{\prime}\) in regions where \(u^{\prime }\) is above a certain strain level. Hence, \(u^{\prime}-g\) is the elastic strain of the material, while \(\gamma\) describes the deformation of the material beyond the elastic regime, indicating that a permanent deformation is exhibited if \(\gamma \ne 0\). In what follows, we are interested into the asymptotic behavior of the functionals \(\{E_\varepsilon \}_{\varepsilon >0}\) as \(\varepsilon \searrow 0\) (in the sense of \(\Gamma\)-convergence). Focusing first on the case \(K<\infty\), it will be described by the energy functional E which for \((u,\gamma ) \in L^1(a,b) \times \mathcal {M}(a,b)\) is defined as
Let us notice that for a finite energy \(E(u,\gamma )\), the displacement field u and the eigendeformation field \(\gamma\) need to be linked in a very particular way. The singular part \(\gamma ^s\) of the measure \(\gamma\) with respect to the Lebesgue measure needs to coincide with the singular part \(D^s u\) of the distributional derivative of u. The absolutely continuous part \(g \mathcal {L}^1\) of \(\gamma\) instead is not completely determined by the function u, but only the integrability restriction \(u^{\prime }- g \in L^2(a,b)\) is required. A particularly interesting choice of g for a given function \(u \in BV(a,b)\) constitutes the unique minimizer \(g^*\) of the optimization problem
By a pointwise minimization of the integrand, the minimizer \(g^*\) is explicitly given as
For later purposes, we notice that the eigendeformation field \(\gamma\) is completely described in terms of the function u as
Moreover, the corresponding energy functional \(E(u,\gamma ^{opt })\) reduces to a one-field functional depending only on the displacement \(u \in BV(a,b)\), which under the additional restriction \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\) (if \(K < \infty\)) is precisely given by the energy F(u) introduced in (1).
In order to state our \(\Gamma\)-convergence result, we need to endow \(L^1(a,b) \times \mathcal {M}(a,b)\) with a topology. A natural choice for the first component is the strong topology on \(L^1(a,b)\). One appropriate choice for the second component is the flat topology, that is the norm topology on the dual of the space of Lipschitz continuous functions with compact support, while an alternative choice is the topology induced by suitable negative \({W^{-1,q}}\)-Sobolev norms, see Sect. 3 for more details. Our main result is the following:
Theorem 2.1
Let \(L^1(a,b)\) be equipped with the strong topology and \(\mathcal {M}(a,b)\) be equipped with the flat topology. Assume \(K<\infty\). Then, the family \(\{E_{\varepsilon }\}_{\varepsilon >0}\) \(\Gamma\)-converges to E in \(L^1(a,b) \times \mathcal {M}(a,b)\), i.e., we have
-
(i)
(\(\liminf\) inequality) For every sequence \(\{(u_{\varepsilon },\gamma _{\varepsilon })\}_{\varepsilon }\) in \({L^{1}}(a,b)\times \mathcal {M}(a,b)\) converging to \((u , \gamma ) \in L^1(a,b) \times \mathcal {M}(a,b)\), i.e., \(u_{\varepsilon } \rightarrow u\) in \(L^1(a,b)\) and \(\gamma _{\varepsilon } \rightarrow \gamma\) in the flat norm, we have
$$\begin{aligned} \liminf _{\varepsilon \rightarrow 0} E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon }) \ge E(u,\gamma ). \end{aligned}$$ -
(ii)
(\(\limsup\) inequality) For every \((u,\gamma ) \in L^1(a,b) \times \mathcal {M}(a,b)\) , there exists a sequence \(\{(u_{\varepsilon },\gamma _{\varepsilon })\}_{\varepsilon }\) in \({L^{1}}(a,b)\times \mathcal {M}(a,b)\) such that \(u_{\varepsilon } \rightarrow u\) in \(L^1(a,b)\), \(\gamma _{\varepsilon } \rightarrow \gamma\) in the flat norm, and
$$\begin{aligned} \limsup _{\varepsilon \rightarrow 0} E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon })\le E(u,\gamma ). \end{aligned}$$
The associated compactness result is stated in Theorem 4.2, where we in fact establish for the second variable convergence in \({W^{-1,q}}(a,b)\) for all \(1< q < \infty\). Therefore, we obtain as a direct consequence of Theorem 2.1 also \(\Gamma\)-convergence of \(\{E_{\varepsilon }\}_{\varepsilon >0}\) to E in \(L^1(a,b) \times \mathcal {M}(a,b)\), when \(\mathcal {M}(a,b)\) is equipped with the stronger topology of convergence in \({W^{-1,q}}(a,b)\) for some \(1< q < \infty\).
Remark 2.2
Our result can be seen as a two-field extension of the setting considered in [29]. Indeed, introducing the constraints \(g = u^{\prime}\), respectively, \(\gamma = Du\), one is lead to functionals \(F_\varepsilon (u) = E_\varepsilon (u,u^{\prime}\mathcal {L}^1)\) and \(F(u) = E(u, Du)\) depending on u only. In this case, the \(\Gamma\)-convergence of the sequence \(\{F_\varepsilon \}_\varepsilon\) to F has been obtained in [29].
The unrestricted problem is in fact strongly related. Indeed, even for \(K = \infty\) an energy bound implies \(L^\infty\) bounds away from an asymptotically small exceptional set. The complement of the exceptional set can be chosen as a union of a bounded number of intervals, concentrating on the points of a finite partition \(a = x_0< x_1< \cdots < x_m = b\) of (a, b) in the limit \(\varepsilon \rightarrow 0\) such that \(\{u_\varepsilon \}_\varepsilon\) and \(\{g_{\varepsilon }\}_\varepsilon\) converge with respect to the \(L^1\) norm, respectively, the flat norm, locally on \((a, b) {\setminus } \{ x_1, \ldots , x_{m-1} \}\). On the exceptional set, however, \(u_{\varepsilon }'\) and \(g_{\varepsilon }\) can assume extremely large values, spoiling their convergence even in a weak distributional sense. As a result, large jumps can develop in the limit and parts of \(u_\varepsilon\) may elapse to \(\pm \infty\). In order to account for such a possibility, we consider limiting functions taking values in \(\overline{\mathbb {R}} = \mathbb {R} \cup \{-\infty ,+\infty \}\). More precisely, let \(\mathcal {P} = \big \{ (x_0, \ldots , x_m) : a = x_0< x_1< \cdots < x_{m} = b, \ m \in \mathbb {N} \big \}\) and consider \(BV_{\infty ,\mathcal {P}}(a,b)\) as consisting of functions \(u :(a, b) \rightarrow {\overline{{\mathbb {R}}}}\) of the form
with \(\alpha _i \in \{-\infty , 0, +\infty \}\), \(i = 1, \ldots , m\), \((x_0, \ldots , x_m) \in \mathcal {P}\) and \(w \in BV(a, b)\). We denote the part where u is finite by \(\mathcal {F}(u) = \big ( \bigcup _{i: \alpha _i = 0}[x_{i-1},x_i] \big )^\circ\), set \(J_u = \big \{x \in (a, b) :[u](x) = u(x+) - u(x-) \in {\overline{{\mathbb {R}}}} {\setminus } \{0\} \big \}\) and read \(f\left( \infty \right) = c_0\). We then extend E to \(L^0((a,b), {\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\) by setting
We say that \((u_\varepsilon , \gamma _\varepsilon ) \rightarrow (u, \gamma )\) in \(L^0((a,b), {\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\) if \(u_\varepsilon \rightarrow u\) a.e. and \(\gamma _\varepsilon \rightarrow \gamma\) in the flat norm locally in \(\mathcal {F}(u)\) on the complement of a finite set, i.e., on each open set \(A \Subset \mathcal {F}(u) {\setminus } \{x_1, \ldots , x_{m-1}\}\) for some \((x_0, \ldots , x_m) \in \mathcal {P}\). With this notion of convergence, we have:
Theorem 2.3
Assume \(K=\infty\). Then, the family \(\{E_{\varepsilon }\}_{\varepsilon >0}~\Gamma\)-converges to E in \(L^0((a,b), {\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\).
The corresponding compactness result for \(K=\infty\) with respect to this particular convergence is stated in Theorem 4.3.
Remark 2.4
In fact, \(E(u, \gamma )\) can be finite only if the restriction of u to \(\mathcal {F}(u)\) is a BV function and not merely an element of \(GBV(\mathcal {F}(u))\). In particular, if \(E(u, \gamma ) < \infty\) and \(u \in L^1(a, b)\), then \(u \in BV(a, b)\).
Remark 2.5
Our methods can easily be adapted to obtain an alternative asymptotic description by considering renormalized functionals: From the above partition \(\mathcal {P}\), one can derive a coarser one (whose members are finite unions of intervals) so that on each such set one has an \(L^\infty\) bound on \(u_\varepsilon\) modulo a single additive constant and the mutual distance of \(u_\varepsilon\) on two different sets diverges. This allows for an asymptotic description also of those parts that escape to infinity.
Remark 2.6
Our results remain true if restricted to preassigned boundary values \(u(a) = u_a\), \(u(b) = u_b\), where \(u_a, u_b \in {\mathbb {R}}\) such that \(-K \le u_a, u_b \le K\). As for a bounded energy sequence parts of the jump set could accumulate at the boundary \(\{a, b\}\), a usual way to implement boundary conditions is to consider \(E^{u_a,u_b}_\varepsilon\) and \(E^{u_a,u_b}\) on an extended interval \((a - \eta , b + \eta )\), with \(\eta > 0\) fixed, which are defined as \(E_{\varepsilon }\) and E, respectively, before but with the additional constraints \(E^{u_a,u_b}_\varepsilon (u,\gamma ) = E^{u_a,u_b}(u, \gamma ) = \infty\) if not \(u = u_a\) a.e. on \((a - \eta , a)\) and \(u = u_b\) a.e. on \((b, b + \eta )\) and . So if u does not satisfy the given boundary values on (a, b) in the limiting problem, this leads to an extra energy cost:
Indeed, the \(\Gamma\)-\(\liminf\) inequality and the compactness property are direct consequences of the case with free boundaries. The \(\Gamma\)-\(\limsup\) inequality for \(K < \infty\) follows from the observation that the recovery sequence constructed in Proposition 6.1 indeed satisfies \(u_{\varepsilon } = u\) near \(\{a,b\}\) and from Remark 6.4. The case \(K = \infty\) is a direct consequence as there the recovery sequence is built as in the case \(K < \infty\) near \(\{a,b\}\) since \(u_a, u_b \in {\mathbb {R}}\).
Remark 2.7
Our results can also be adapted to general continuous stored energy functions W leading to a general non-quadratic bulk contribution \(\int _a^b W(u^{\prime} - g) \, \mathrm{d} x\), whenever W satisfies a p-growth condition of the form \(c|r|^p - C \le W(r) \le C|r|^p + C\) for suitable constants \(c, C > 0\) and some \(p \in (1, \infty )\) and for convenience we also assume that \(\min W = W(0) = 0\). The first term in the limiting functional is then replaced by \(\int _a^b W^{**}(u^{\prime} - g) \, \mathrm{d} x\), respectively, \(\int _{\mathcal {F}(u)} W^{**}(u^{\prime} - g) \, \mathrm{d} x\), where \(W^{**}\) is the convex envelope of W. In fact, making use of the estimate \(W \ge W^{**}\), compactness and the \(\Gamma\)-\(\liminf\) inequality follow exactly as before with \(W^{**}\) instead of \(|\cdot |^2\) by taking account of the obvious adaptions such as replacing \(L^2\) by \(L^p\) and \(SBV^2\) by \(SBV^p\). The \(\Gamma\)-\(\limsup\) inequality requires an extra relaxation step, which is detailed in Remark 6.2, and is otherwise straightforward as well.
For completeness, we also give the corresponding approximation results for the minimal energies with respect to the second variable \(\gamma\), which are defined as
and
for \(u \in L^1(a,b)\) and \(u \in L^0((a,b), {\overline{{\mathbb {R}}}})\), respectively. As a direct consequence of the previous \(\Gamma\)-convergence result, we obtain:
Corollary 2.8
The family \(\{\tilde{E}_{\varepsilon }\}_{\varepsilon >0}\) \(\Gamma\)-converges to \(\tilde{E}\), on \(L^1(a,b)\) equipped with the strong topology if \(K<\infty\) and with respect to convergence a.e. on \(L^0((a,b), {\overline{{\mathbb {R}}}})\) if \(K=\infty\).
3 Preliminaries
In this section, we recall some basics on BV-functions, for simplicity on a one-dimensional interval \((a,b)\subset {\mathbb {R}}\), and convergence of measures.
Functions of bounded variation. A function \(u\in L^1(a,b)\) is said to belong to the space BV(a, b) of functions of bounded variation if its distributional derivative is a finite Radon measure, i.e., if the integration-by-parts formula
is valid for a (unique) measure \(Du \in \mathcal {M}(a,b)\). The space BV(a, b) is a Banach space endowed with the norm
where |Du|(a, b) is the total variation of Du. We here collect some basic facts from [2] for functions of bounded variation, which are relevant for our paper.
We recall the notions of weak-\(*\) and strict convergence for sequences \(\{u_n\}_n\) in BV(a, b), which are useful for compactness properties and approximation arguments, respectively. We say that \(\{u_n\}_n\) converges weakly-\(*\) to \(u \in BV(a,b)\), denoted by \(u_n \overset{*}{\rightharpoonup } u\), if \(u_n \rightarrow u\) in \(L^1(a,b)\) and \(Du_n \overset{*}{\rightharpoonup } Du\) in \(\mathcal {M}(a,b)\). We notice that every weakly-\(*\) converging sequence in BV(a, b) is norm-bounded by Banach–Steinhaus, while every norm-bounded sequence in BV(a, b) contains a weakly-\(*\) converging subsequence (see [2, Theorem 3.23]). We further say that \(\{u_n\}_n\) converges strictly to \(u \in BV(a,b)\) if \(u_n \rightarrow u\) in \(L^1(a,b)\) and \(|Du_n|(a,b) \rightarrow |Du|(a,b)\). As a matter of fact, the space \(C^{\infty }(a,b)\) is dense in BV(a, b) with respect to the strict topology (see [2, Theorem 3.9]).
We next discuss approximate continuity and discontinuity properties of a function \(u \in L^1_{\text {loc}}(a,b)\). We say that u has an approximate limit at \(x \in (a,b)\) if there exists a (unique) \({\widetilde{u}}(x) \in {\mathbb {R}}\) such that
We denote by \(S_u\) the set, where this condition fails, and call it the approximate discontinuity set of u. It is \(\mathcal {L}^1\)-negligible, and \({\widetilde{u}}\) coincides \(\mathcal {L}^1\)-a.e. in \((a,b) {\setminus } S_u\) with u. Furthermore, we say that u has an approximate jump point at \(x \in S_u\) if there exist (unique) \(u(x+), u(x-) \in {\mathbb {R}}\) with \(u(x+) \ne u(x-)\) such that
We denote by \(J_u\) the set of approximate jump points and call it the jump set of u. Notice that \(u(x+)\) and \(u(x-)\) can be considered as one-sided limits from the right and from the left, respectively.
For \(u \in BV(a,b)\), the set \(J_u\) coincides with \(S_u\) and is at most countable. It is also convenient to work with the precise representative
According to the Radon–Nikodým theorem, the measure derivative \(Du = D^au \mathcal {L}^1 + D^su\) can be decomposed into the absolutely continuous and the singular part with respect to the Lebesgue measure \(\mathcal {L}^1\). We then define the jump and the Cantor part of Du as
From the identifications \(D^au = u^{\prime} \mathcal {L}^1\) with the approximate gradient \(u^{\prime}\) for the absolutely continuous part and with \([u] :=u(\cdot \, +) - u(\cdot \, -)\) for the jump part (see [2, Theorem 3.83 and formula (3.90)]), we arrive at the decomposition
We can actually decompose the function u as
for an absolutely continuous function \(u_a \in W^{1,1}(a,b)\) with \(Du_a = D^a u\), a jump function \(u_j\) with \(Du_j=D^ju\), and a (continuous) Cantor function \(u_c\) with \(Du_c=D^cu\) (notice that these functions are determined uniquely up to additive constants). Thus, the decomposition of Du is recovered from a corresponding decomposition of the function itself (which for BV-functions defined on open subsets of \({\mathbb {R}}^d\) with \(d>1\) in general is not possible).
We finally mention the subspace SBV(a, b) of special functions of bounded variation, which contains all functions \(u \in BV(a,b)\) with \(D^cu= 0\). In addition, we define
Convergence in negative Sobolev spaces and in the flat topology. The negative Sobolev spaces \(W^{-1,q}(a,b)\) with \(1 < q \le \infty\) are defined as usual as the dual spaces of \(W^{1,q'}_0(a,b)\) (with \(q' \in [1,\infty )\) denoting the conjugate exponent to q with \(\tfrac{1}{q} + \tfrac{1}{q'}=1\)), and correspondingly the norm is defined via the duality pairing as
for every \(T \in W^{-1,q}(a,b)\). Consequently, the spaces \(W^{-1,q}(a,b)\) with \(1< q < \infty\) are reflexive and separable. For later purposes, we mention two specific situations. Let \(v \in L^q(a,b)\) and \(w \in L^r(a,b)\) with \(1 \le r \le \infty\) such that the embedding \(W^{1,q'}_0(a,b) \subset L^{r'}(a,b)\) is continuous. If we set
then, by the Hölder inequality and the continuous embedding (with constant \(C'\)), we obtain \(T_{Dv}, T_w \in W^{-1,q}(a,b)\) with
Because of the continuous and dense embedding \(W^{1,1}_0(a,b) \subset C_0(a,b)\), the negative Sobolev norms can actually be considered on the space \(\mathcal {M}(a,b)\) of all finite Radon measures on (a, b), for which the duality pairing reads as
for \(\mu \in \mathcal {M}(a,b)\). If we allow \(q' = \infty\) in this expression, we obtain the flat norm
for \(\mu \in \mathcal {M}(a,b)\). Here, we have the inequalities
for all functions \(v \in BV(a,b)\) and \(w \in L^1(a,b)\). Let us still notice that due to Schauder’s theorem and the compact embedding \(W^{1,\infty }_0(a,b) \Subset C_0(a,b)\), the flat topology metrizes weak-\(*\) convergence of (uniformly bounded) measures. Therefore, we have the following relations for the convergence of measure with respect to convergence in \(W^{-1,q}(a,b)\), the flat norm and in the weak-\(*\) sense.
Lemma 3.1
(on convergence of measures) For a measure \(\mu \in \mathcal {M}(a,b)\) and a sequence \(\{\mu _n\}_{n \in {\mathbb {N}}}\) of measures in \(\mathcal {M}(a,b)\), we have:
-
(i)
If \(\mu _n \rightarrow \mu\) in \(W^{-1,q}(a,b)\) for some \(1 < q \le \infty\), then \(\mu _n \rightarrow \mu\) in the flat norm.
-
(ii)
If \(\mu _n \overset{*}{\rightharpoonup } \mu\) in \(\mathcal {M}(a,b)\), then \(\mu _n \rightarrow \mu\) in the flat norm.
-
(iii)
If \(\mu _n \rightarrow \mu\) in the flat norm and \(\sup _{n \in {\mathbb {N}}} |\mu _n|(a,b) < \infty\), then \(\mu _n \overset{*}{\rightharpoonup } \mu\) in \(\mathcal {M}(a,b)\).
4 Compactness
In this section, we establish a compactness result for sequences in \(L^1(a,b) \times \mathcal {M}(a,b)\) with bounded energy \(E_\varepsilon\). This result together with a \({\Gamma \text {-convergence}}\) result implies the convergence of minimizers and the corresponding minimum values. In order to bound suitable norms of the two fields in terms of the energy, we first prove the following technical lemma:
Lemma 4.1
Let \(g \in L^1(a,b)\). For \(\varepsilon >0\) , there exists \(x_\varepsilon \in {\mathbb {R}}\) such that the grid
contains a subset \({\mathscr {G}}^{\prime }_{\varepsilon }\subset {\mathscr {G}}_{\varepsilon }\) with
Proof
We proceed analogously to [29, proof of Lemma 4.2]. Let \(\phi _{\varepsilon } \in C^{\infty }_0(a, b)\) be a cut-off function with \(0 \le \phi _{\varepsilon } \le 1\) in (a, b) and \(\phi _{\varepsilon } \equiv 1\) in \((a + \varepsilon ,b - \varepsilon )\). We then consider \(\psi _{\varepsilon } \in C_0({\mathbb {R}})\) defined via
for \(x \in (a,b)\) and \(\psi _{\varepsilon }(x) :=0\) for \(x \in {\mathbb {R}}{\setminus } (a,b)\). The application of [10, Lemma 4.2] (with \(\eta = 2 \varepsilon\)), which is a consequence of the mean value theorem for integrals, shows that
holds for a suitable \(x_\varepsilon \in {\mathbb {R}}\). By non-negativity of f, the choice of the cut-off function \(\phi _\varepsilon\) and the definition of \({\mathscr {G}}_{\varepsilon }\), we hence have
If we now set
then the claim follows directly from (10), after rewriting the right-hand side via the definition of f as
\(\square\)
We can now address the aforementioned compactness results.
Theorem 4.2
(Compactness for \(K<\infty\)) Assume \(K<\infty\). Let \(\{(u_{\varepsilon },\gamma _\varepsilon )\}_{\varepsilon }\) be a sequence in \({L^{1}}(a,b)\times \mathcal {M}(a,b)\) with
for a positive constant \(C_0\) and all \(\varepsilon >0\). There exist a function \(u \in BV(a,b)\) with \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\) and a measure \(\gamma \in \mathcal {M}(a,b)\) such that, up to subsequences, \(\{u_{\varepsilon }\}_{\varepsilon }\) converges to u in \(L^1(a,b)\) and \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) converges to \(\gamma =\gamma ^s+ g \mathcal {L}^1\) in \({W^{-1,q}}(a,b)\) for all \(1< q < \infty\) and in particular in the flat norm. Moreover, there holds \(\gamma ^s = D^su\) and \(u^{\prime } - g \in L^2(a,b)\).
Proof
We first observe from the finiteness of \(E_{\varepsilon }(u_\varepsilon ,\gamma _\varepsilon )\) that we necessarily have \(u_{\varepsilon }\in {W^{1,1}}(a,b)\) with \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)}\le K\) and \(\gamma _{\varepsilon }= g_{\varepsilon }\mathcal {L}^1\) for some functions \(g_{\varepsilon }\in L^1(a,b)\) for all \(\varepsilon > 0\). By the uniform boundedness of \(\left\Vert u_{\varepsilon }^{\prime }- g_{\varepsilon }\right\Vert _{L^2(a,b)}\) and \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)}\), we deduce from (8)
independently of \(\varepsilon\). Therefore, \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) is bounded in \(W^{-1, \infty }(a,b)\) and consequently contains a subsequence, which converges weakly-\(*\) in \(W^{-1, \infty }(a,b)\) to some \(\gamma \in W^{-1, \infty }(a,b)\). We next study the convergence of the sequence \(\{u_{\varepsilon }\}_{\varepsilon }\). To this end, we consider the function \(v_{\varepsilon }\) defined by
Since \(u_{\varepsilon }\in W^{1,1}(a,b)\) with \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\) is assumed, we clearly have \({v_{\varepsilon } \in SBV(a,b)}\) with \(\left\Vert v_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\), for every \(\varepsilon\). Moreover, jump discontinuities of \(v_\varepsilon\) can only occur at points \(x_\alpha \pm \varepsilon\) for \(x_\alpha \in {\mathscr {G}}_{\varepsilon }{\setminus } {\mathscr {G}}^{\prime }_{\varepsilon }\) and close to the boundary at \(\min {\mathscr {G}}^{\prime }_{\varepsilon }\) or at \(\max {\mathscr {G}}^{\prime }_{\varepsilon }\). As a consequence of Lemma 4.1 and the definition of the energy \(E_\varepsilon\), we deduce
i.e., that \(\# J_{v_{\varepsilon }}\) is bounded independently of \(\varepsilon\). By the Cauchy–Schwarz inequality and again by Lemma 4.1, we additionally have
independently of \(\varepsilon\). Hence, \(\{v_{\varepsilon }\}_{\varepsilon }\) is bounded in BV(a, b). By the Rellich–Kondrachov theorem, there exists a subsequence that converges in \(L^q(a,b)\) to some \(u \in BV(a,b)\) with \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\), for any \(1 \le q < \infty\). To identify u as the limit in \(L^q(a,b)\) of (the same subsequence of) \(\{u_{\varepsilon }\}_{\varepsilon }\), we notice from the definition of \(v_\varepsilon\)
Since \(\# ({\mathscr {G}}_{\varepsilon }{\setminus } {\mathscr {G}}^{\prime }_{\varepsilon })\) is bounded uniformly in \(\varepsilon\), this allows to conclude the convergence of \(\{u_{\varepsilon }\}_{\varepsilon }\) to u in \(L^q(a,b)\), for any \(1 \le q < \infty\).
It remains to show convergence of (the subsequence of) \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) in \(W^{-1,q}(a,b)\) for any \(1< q < \infty\) and the claimed relations between \(\gamma\) and Du. In view of (8), we have \(u^{\prime }_{\varepsilon } \mathcal {L}^1 \rightarrow Du=u^{\prime } \mathcal {L}^1 + D^su\) in \(W^{-1,q}(a,b)\) for every \(1< q < \infty\). Furthermore, by the boundedness of \(\{u^{\prime }_{\varepsilon }- g_{\varepsilon }\}_{\varepsilon }\) in \(L^2(a,b)\), we can extract a subsequence which converges weakly in \(L^2(a,b)\) to some \(w \in L^2(a,b)\). Since \(L^2(a,b)\) is compactly embedded in \(W^{-1,q}(a,b)\) for all \({1< q < \infty }\), we obtain \(\gamma _{\varepsilon }\rightarrow Du-w\mathcal {L}^1\) in \(W^{-1,q}(a,b)\) and thus, via Lemma 3.1, also in the flat norm. This shows \(\gamma =Du-w\mathcal {L}^1 \in \mathcal {M}(a,b)\), which in turn, by the Radon–Nikodým theorem, yields \(\gamma ^s= D^su\) and \(w= u^{\prime } - g \in L^2(a,b)\). \(\square\)
Theorem 4.3
(Compactness for \(K=\infty\)) Assume \(K=\infty\). Suppose \(\{(u_{\varepsilon },\gamma _\varepsilon )\}_{\varepsilon }\) is a sequence in \(L^0((a, b); {\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\) with
for a positive constant \(C_0\) and all \(\varepsilon >0\). There is a partition \(a = x_0< x_1< \cdots < x_m = b\), a function \(u \in BV_{\infty ,\mathcal {P}}(a,b)\), say
with \(\alpha _i \in \{-\infty , 0, +\infty \}\), \(i = 1, \ldots , m\) and \(w \in BV((a, b); \mathbb {R})\) and a measure \(\gamma \in \mathcal {M}(a,b)\) such that, up to subsequences, \(\{u_{\varepsilon }\}_{\varepsilon }\) converges to u a.e. and in \(L^1_\mathrm{loc}(\mathcal {F}(u) {\setminus } \{x_1, \ldots , x_m\})\) and \(\{g_{\varepsilon }\mathcal {L}^1\}_{\varepsilon }\) converges to \(\gamma =D^s w+ g \mathcal {L}^1\) in \(W^{-1,q}_\mathrm{loc}((a,b) {\setminus } \{x_1, \ldots , x_m\})\) for all \(1< q < \infty\) and in particular in the flat norm on each open I that is compactly contained in \((a,b) {\setminus } \{x_1, \ldots , x_m\}\). Moreover, \(w^{\prime } - g \in L^2(a,b)\). In particular, \((u_\varepsilon , \gamma _\varepsilon ) \rightarrow (u,\gamma )\) in \(L^0((a, b); {\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\).
Proof
We define \(\mathcal {G}'_{\varepsilon }\) exactly as in Lemma 4.1 and denote by \(J_1, \ldots , J_{m_{\varepsilon }}\) the connected components of \(\bigcup \{\overline{I_{\varepsilon }(x_{\alpha })} : x_{\alpha } \in \mathcal {G}'_{\varepsilon }\}\). We then notice that the arguments in the preceding proof show that for some constant \(C\) we have \(m_{\varepsilon } \le C\) and
while \(\mathcal {L}^1((a, b) {\setminus } (J_1 \cup \cdots \cup J_{m_{\varepsilon }})) \le C \varepsilon\).
We set \(x_{\varepsilon ,i} = \sup J_i\) and , \(i = 1, \ldots , m_{\varepsilon }\). Note that (11) implies
Passing to a subsequence, we may assume that \(m_{\varepsilon } = \tilde{m}\) for some \(\tilde{m}\) independent of \(\varepsilon\) and \(x_{\varepsilon ,i} \rightarrow \tilde{x}_i \in [a,b]\) as well as \(\alpha _{\varepsilon ,i} \rightarrow {\tilde{\alpha }}_{i} \in \overline{\mathbb {R}} = \mathbb {R} \cup \{-\infty ,+\infty \}\), for \(i = 1, \ldots , \tilde{m}\). Choose \(a = x_0< x_1< \cdots < x_{m} = b\) (\(m \le \tilde{m}\)) such that \(\{x_0, \ldots , x_m\} = \{\tilde{x}_0, \tilde{x}_1, \ldots , \tilde{x}_{\tilde{m}}\}\) (with \(\tilde{x}_0 := a\) and, by construction, \(\tilde{x}_{\tilde{m}} = b\)) and set \(\alpha _i = {\tilde{\alpha }}_j\) if \(\tilde{x}_{j-1} < \tilde{x}_j = x_i\).
If \(|\alpha _i| < \infty\), then \(\{u_\varepsilon \}_\varepsilon\) converges to a function w weakly* in \(BV_\mathrm{loc}(x_{i-1}, x_i)\) and the uniform bounds in (11) and (12) imply \(\Vert w \Vert _{L^{\infty }(x_{i-1}, x_i)} + Dw((x_{i-1}, x_i)) \le C\), in particular, \(w \in BV(x_{i-1}, x_i)\). If \(\alpha _i = \pm \infty\), then \(u_\varepsilon \rightarrow \pm \infty\) a.e. on \((x_{i-1}, x_i)\) by (12). In this case, we define \(w \in BV(x_{i-1}, x_i)\) as the weak* limit in \(BV_\mathrm{loc}(x_{i-1}, x_i)\) of \(\{u_\varepsilon - \alpha _{i,\varepsilon }\}_\varepsilon\). The convergence of \(\{\gamma _\varepsilon \}_\varepsilon\) follows directly by applying Theorem 4.2 on compact intervals I of \((x_{i-1}, x_i)\) to \(\{(u_\varepsilon , \gamma _\varepsilon )\}_\varepsilon\) and \(\{(u_\varepsilon - \alpha _{i,\varepsilon }, \gamma _\varepsilon )\}_\varepsilon\), respectively. As \(\Vert w' - g \Vert _{L^2(I)}\) is bounded independently of I by the uniform energy bound, we have indeed \(w' - g \in L^2(a,b)\). \(\square\)
Remark 4.4
For later use, we notice that Lemma 4.1 and the proof of Theorem 4.3 show that, under the assumptions of Theorem 4.3, for any open \(A \Subset (a, b) {\setminus } \{x_1, \ldots , x_{m-1}\}\)
for sufficiently small \(\varepsilon\) since \(\# ({\mathscr {G}}_{\varepsilon }{\setminus } {\mathscr {G}}^{\prime }_{\varepsilon }) \ge \tilde{m} - 1 \ge m - 1\).
Remark 4.5
According to the compactness results of Theorems 4.2 and 4.3, we may restrict ourselves to pairs \((u, \gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\) and \((u, \gamma ) \in BV_{\infty ,\mathcal {P}}(a,b) \times \mathcal {M}(a,b)\), respectively, and such that the measure \(Du - \gamma\) is absolutely continuous with respect to the Lebesgue measure with density in \(L^2(\mathcal {F}(u))\). The statements of Theorems 2.1 and 2.3 are trivial otherwise.
Remark 4.6
In principle, with the compactness result of Theorem 4.2 at hand, we could infer our \(\Gamma\)-convergence result in Theorem 2.1 from known results, by separate considerations of the elastic and inelastic contributions. To this end, given \((u_\varepsilon ,\gamma _\varepsilon ) \in W^{1,1}(a,b) \times \mathcal {M}(a,b)\) with \(\gamma _\varepsilon = g_\varepsilon \mathcal {L}^1\) and \(u_\varepsilon ' - g_\varepsilon \in L^2(a,b)\), we define \((W_\varepsilon ,G_\varepsilon ) \in W^{1,2}(a,b) \times W^{1,1}(a,b)\) via \(W_\varepsilon (a) = G_\varepsilon (a) = 0\) and \(W_\varepsilon '=u_\varepsilon -g_\varepsilon\), \(G_\varepsilon '=g_\varepsilon\) on (a, b). This allows to express
as the sum of the standard Dirichlet energy for \(W_\varepsilon\) and a non-local energy involving only \(G_\varepsilon\) considered by Lussardi and Vitali in [29]. However, the understanding of the coupling between \(u_\varepsilon\) and \(\gamma _\varepsilon\) is essential for the extension to higher dimensions addressed in [5], which cannot be traced back to the one-dimensional case via the slicing technique. For this reason, we prefer to give a self-contained proof of Theorem 2.1.
5 Estimate from below of the \(\Gamma\)-lower limit
Next, we start with the proof of the \(\Gamma\)-\(\liminf\) inequality. Except for the very last paragraph, we assume \(K < \infty\) in the whole section. To show this inequality, it is useful to introduce the localized version of the functionals \(\{E_{\varepsilon }\}_{\varepsilon }\) and E. They are defined for \((u,\gamma ) \in L^1(a,b) \times \mathcal {M}(a,b)\) and every open subset A of (a, b) via
and
We denote the \(\Gamma\)-lower and \(\Gamma\)-upper limit of \(\{E_{\varepsilon }\}_{\varepsilon }\) by
respectively. For the \(\Gamma\)-lower limit, we also need a localized version, for which we adapt the notation and write \(E^\prime (\cdot ,\cdot ,A)\) for every open subset A of (a, b).
Remark 5.1
(Properties of the localized \(\Gamma\)-lower limit) Let \((u,\gamma ) \in {L^{1}}(a,b)\times \mathcal {M}(a,b)\).
-
(i)
The properties that the set functions \({A \mapsto E_{\varepsilon }(u,\gamma ,A)}\) are increasing and superadditive (on disjoint sets) for each \(\varepsilon\) carry immediately over to \({A \mapsto E^{\prime }(u,\gamma ,A)}\).
-
(ii)
A direct consequence of (i) is that lower bounds for \(A \mapsto E'(u,\gamma ,A)\) transfer from intervals in (a, b) to arbitrary open subsets of (a, b), i.e., if for a positive Borel measure \(\lambda\) an estimate of the form
$$\begin{aligned} E^{\prime }(u,\gamma , A)\ge \lambda (A) \end{aligned}$$holds for all intervals \(A \subset (a,b)\), then the estimate actually holds for any open subset \(A \subset (a,b)\), cp. [29, Remark 4.6] for a similar statement.
In this section, we prove the \(\Gamma\)-\(\liminf\) inequality, where in view of Remark 4.5 it is sufficient to consider \((u, \gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime } - g \in L^2(a,b)\). The basic idea is to derive three separate estimates for the jump part, the volume term and the Cantor term, respectively, and to infer the desired estimate then from a combination of these estimates by means of measure theory.
5.1 Estimate from below of the jump term
Proposition 5.2
Let A be an open subset of (a, b). For every \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\) , we have
Proof
Step 1: For every \({{\bar{x}}} \in J_u \cap A\) , we have
Since only finite energy approximations are of interest, we consider a sequence \(\{(u_{\varepsilon },\gamma _{\varepsilon })\}_{\varepsilon }\) in \({W^{1,1}}(a,b)\times \mathcal {M}(a,b)\) with \(\gamma _{\varepsilon }= g_{\varepsilon } \mathcal {L}^1\) for some \(g_{\varepsilon } \in L^1(a,b)\) and \(E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon }) \le C_0\) for some uniform constant \(C_0\), for all \(\varepsilon >0\), such that \(u_{\varepsilon }\rightarrow u\) in \(L^1(a,b)\) and \(\gamma _{\varepsilon }\rightarrow \gamma\) in the flat norm. We fix an arbitrary \(\delta > 0\) such that \(({\bar{x}}-2\delta , {\bar{x}} +2\delta ) \subset A\) (recall that \(A \subset (a,b)\) is open). By definition of \((u({\bar{x}}+),u({\bar{x}}-))\) and since \(u_{\varepsilon }\rightarrow u\) in measure, we readily find points \({\bar{x}}_{\varepsilon }^- \in ({\bar{x}} - \delta , {\bar{x}})\) and \({\bar{x}}_{\varepsilon }^+ \in ({\bar{x}} , {\bar{x}}+ \delta )\) such that, for sufficiently small \(\varepsilon\),
(also cp. [29, Lemma 5.1]). Using the monotonicity of \(A \mapsto E_\varepsilon (u_{\varepsilon },\gamma _{\varepsilon },A)\) and applying the estimate (10) with (a, b) replaced by \(({\bar{x}} - 2\delta , {\bar{x}} + 2\delta )\) on an associated grid of points \(\bar{{\mathscr {G}}}_{\varepsilon }\), we obtain from the subadditivity and non-negativity of f
for all \(\varepsilon < \delta\) (notice the inclusion \(({\bar{x}}_{\varepsilon }^- ,{\bar{x}}_{\varepsilon }^+) \subset \bigcup \{I_\varepsilon (x_\alpha ) :x_\alpha \in \bar{{\mathscr {G}}}_{\varepsilon }\}\)). For the argument on the right-hand side, we observe from the Cauchy–Schwarz inequality, the inequalities in (14) and from the energy bound
Using once again the fact that f is increasing, we can continue to estimate (15) from below via
Now, passing to the \(\liminf\) as \(\varepsilon \rightarrow 0\) and then letting \(\delta \rightarrow 0^+\), we obtain (13).
Step 2. For an arbitrary \(M \in {\mathbb {N}}\) with \(M \le \#(J_u \cap A)\), we select a set \(\lbrace x_1, \ldots , x_M \rbrace\) containing M points of \(J_u \cap A\) and pairwise disjoint open intervals \(I_1, \ldots , I_M\) in A such that \(x_i \in I_i\) for all \(i = 1, \ldots , M\). First, we apply the monotonicity and superadditivity of \(E^{\prime }(u,\gamma , \, \cdot \,)\) (see Remark 5.1) and then the estimate of Step 1 for \(I_i\) instead of A. This yields
Since M is arbitrary and \(J_u\) is at most countable, the claim of the proposition follows. \(\square\)
5.2 Estimate from below of the volume and Cantor terms
We basically follow the idea of Lussardi and Vitali from [29, Lemma 4.3 and Lemma 4.4]. We start by proving that approximation sequences in \(W^{1,1}(a,b) \times \mathcal {M}(a,b)\) can be modified in such a way that in the limit we additionally have the optimal \(L^\infty\)-estimate.
Lemma 5.3
Let \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\). Furthermore, let \(\{(u_{\varepsilon },\gamma _\varepsilon )\}_{\varepsilon }\) be a sequence in \(W^{1,1}(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma _{\varepsilon }= g_{\varepsilon } \mathcal {L}^1\) and \(u_{\varepsilon }^{\prime }- g_{\varepsilon }\in L^2(a,b)\) for all \(\varepsilon >0\) such that \(\{u_{\varepsilon }\}_{\varepsilon }\) converges to u a.e. in (a, b) and in \(L^1(a,b)\) and such that \(\{\gamma _{\varepsilon }\}_{ \varepsilon }\) converges to \(\gamma\) in the flat norm. There exists a sequence \(\{({\bar{u}}_{\varepsilon }, {\bar{\gamma }}_{\varepsilon })\}_{\varepsilon }\) in \(W^{1,1}(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert {\bar{u}}_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\), \({\bar{\gamma }}_{\varepsilon }= {\bar{g}}_{\varepsilon } \mathcal {L}^1\) for some \({\bar{g}}_{\varepsilon } \in L^1(a,b)\) and \(E_{\varepsilon }({\bar{u}}_{\varepsilon }, {\bar{\gamma }}_{\varepsilon }) \le E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon })\) for all \(\varepsilon\) such that \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\) converges to u a.e. in (a, b) and in \(L^q(a,b)\) for all \(1 \le q < \infty\) and
If, in addition, the energies \(\{E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon })\}_{\varepsilon }\) are bounded, then \(\{{\bar{\gamma }}_{\varepsilon }\}_{\varepsilon }\) converges to \(\gamma\) in the flat norm.
Proof
We follow the outline of the proof for [29, Lemma 4.3], which, however, needs some modifications due to the additional variable \(\gamma\). In what follows, we may assume that the precise representatives of u and \(u_{\varepsilon }\) for each \(\varepsilon\) are considered. The function u can be decomposed as \(u_a+u_j+u_c\), see (7), where \(u_j\) is a jump function with jump discontinuities at any point of \(J_u\) and where \(u_a+u_c\) is uniformly continuous in (a, b). We set
and first claim that for every \(n \in {\mathbb {N}}\) there exists \(\delta _{n} \in (0,\tfrac{1}{n}]\) such that
In fact, there are only finitely many points \({\bar{x}}_1, \ldots , {\bar{x}}_{m(n)}\) in \(J_u\) that have to be excluded to deduce that
By choosing \(\delta _{n}>0\) sufficiently small, we can guarantee (16) by (18) and the definition of \(\sigma\) provided that each interval of length \(\delta _{n}\) contains at most one \({\bar{x}}_j\), and we can further ensure (17), by the uniform continuity of \(u_a + u_c\). We then consider a partition \(P_n\) of (a, b), i.e.,
(where the dependence of the points on n is not written explicitly) such that the mesh size is less than \(\delta _n\), i.e., \(x_{i+1} -x_{i} < \delta _n\) for all \(i \in \{ 0, \ldots , k\}\), \(x_i \notin J_u\) and \(u_{\varepsilon }(x_i) \rightarrow u(x_i)\) as \(\varepsilon \rightarrow 0\) for every \(i \in \{ 1, \ldots , k\}\), which is possible by the pointwise convergence \(u_{\varepsilon }\rightarrow u\) a.e. in (a, b). Since by construction of \(\delta _n\) at most one of the points \({\bar{x}}_1, \ldots , {\bar{x}}_{m(n)} \in J_u\), where a large jump of \(u_j\) occurs, may belong to the interval \([x_i,x_{i+1}]\), we necessarily have \(|u_j(x) - u_j(y)| < \tfrac{1}{n}\) for \(y = x_i\) or \(y=x_{i+1}\) such that as a consequence of (17) there holds
for all \(x \in [x_{i}, x_{i+1}]\) and every \(i \in \{ 1, \ldots , k-1\}\).
After having fixed the partitions \(P_n\), we can now start with the construction of the sequence \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\). Since \(u_{\varepsilon }\rightarrow u\) in measure and \(u_{\varepsilon }(x_i) \rightarrow u(x_i)\) for every \(i \in \{ 1, \ldots , k\}\), we can fix a “level” \({\bar{\varepsilon }}_n\) for each \(n \in {\mathbb {N}}\) such that
and
Notice that we can choose \(\{{\bar{\varepsilon }}_n\}_n\) strictly decreasing and such that \({\bar{\varepsilon }}_n \rightarrow 0^+\) as \(n \rightarrow \infty\). For \(\varepsilon > {\bar{\varepsilon }}_1\), we then set \({\bar{u}}_{\varepsilon }:=u_{\varepsilon }\) and \({\bar{\gamma }}_{\varepsilon } :=\gamma _{\varepsilon }\). Otherwise, if \(\varepsilon \in (0, {\bar{\varepsilon }}_1]\), we first determine the unique \(n = n(\varepsilon ) \in {\mathbb {N}}\) with \(\varepsilon \in ({\bar{\varepsilon }}_{n+1}, {\bar{\varepsilon }}_{n}]\). On the first and the last interval of \(P_n\), we set \({\bar{u}}_{\varepsilon }\) equal to \(u_{\varepsilon }(x_1)\) and \(u_{\varepsilon }(x_k)\), respectively. On an arbitrary interior interval \([\alpha , \beta ]\) of the form \([x_i, x_{i+1}]\) for some \(i \in \{1, \ldots , k-1\}\), we define, after assuming without loss of generality \(u_{\varepsilon }(\alpha ) \le u_{\varepsilon }(\beta )\),
for every \(x \in [\alpha , \beta ]\), which is the projection of \(u_{\varepsilon }\) onto \([u_{\varepsilon }(\alpha ) - 4/n ,u_{\varepsilon }(\beta ) + 4/n]\). Because of \({\bar{u}}_{\varepsilon }(x_i)=u_{\varepsilon }(x_i)\) for every \(i \in \{1, \ldots , k\}\) and \(u_{\varepsilon }\in W^{1,1}(a,b)\), we clearly have \({\bar{u}}_{\varepsilon }\in W^{1,1}(a,b)\). Moreover, the \(L^\infty\) bound on \(u_{\varepsilon }\) with constant K directly transfers to \({\bar{u}}_{\varepsilon }\).
We next study the asymptotic behavior of the sequence \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\). From the definition of \({\bar{u}}_{\varepsilon }\) and with (21), we observe for all \(\varepsilon \le {\bar{\varepsilon }}_1\)
which, via (16) and (17), implies
for all \(x \in [x_{i}, x_{i+1}]\) and every \(i \in \{ 1, \ldots , k-1\}\). Since the latter estimate is also satisfied for the first and the last interval of the partition, we then infer from \(n=n(\varepsilon ) \rightarrow \infty\) as \(\varepsilon \rightarrow 0\) the estimate
In order to show the convergence claims of \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\), we again consider an arbitrary interior interval \([\alpha ,\beta ]\) of the partition \(P_n\). If we denote the pointwise projection of \(u_{\varepsilon }\) onto \([u_{\varepsilon }(\alpha )- 3/n, u_{\varepsilon }(\beta )+3/n]\) by \(u_{\varepsilon }^*\), we have
as we know \(u(x) \in [u_{\varepsilon }(\alpha )- 3/n, u_{\varepsilon }(\beta )+3/n]\) due to (19) and (21). Since the length of the first and last interval of \(P_n\) vanish in the limit \(n \rightarrow \infty\) and hence for \(\varepsilon \rightarrow 0\), this implies the pointwise convergence of \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\) to u a.e. on (a, b). In addition, as \(\{{\bar{u}}_{\varepsilon }\}_{\varepsilon }\) is bounded in \(L^\infty (a,b)\), convergence in \(L^q(a,b)\) for all \(1 \le q < \infty\) follows from the dominated convergence theorem. For later purposes, we notice from the definition of \({\bar{u}}_{\varepsilon }\) and the previous inclusion for u that for every \(\varepsilon\) we have
We next define the sequence \(\{{\bar{\gamma }}_{\varepsilon }\}_{\varepsilon }\) in \(\mathcal {M}(a,b)\) by setting for every \(\varepsilon\)
and \({\bar{\gamma }}_{\varepsilon } :={\bar{g}}_{\varepsilon } \mathcal {L}^1\). Since there holds \({\bar{u}}_{\varepsilon }^{\prime } = 0\) on \(\{x \in (a,b) :{\bar{u}}_{\varepsilon }(x) \ne u_{\varepsilon }(x)\}\) and \({\bar{u}}_{\varepsilon }^{\prime } = {u}_{\varepsilon }'\) on \(\{x \in (a,b) :{\bar{u}}_{\varepsilon }(x) = u_{\varepsilon }(x)\}\), it follows that
If, in addition, \(\{E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon })\}_{\varepsilon }\) is a bounded sequence, then \(\{{\bar{u}}_{\varepsilon }^{\prime } - {\bar{g}}_{\varepsilon }\}_{\varepsilon }\) is a bounded sequence in \(L^2(a,b)\). In view of (9) and the Cauchy–Schwarz inequality, we then notice for \(1< q < \infty\)
If we consider the limit \(\varepsilon \rightarrow 0\) on the right-hand side, the first term disappears, since we have the convergence \({\bar{u}}_{\varepsilon } - u_{\varepsilon } \rightarrow 0\) in \(L^1(a,b)\), while the second term disappears by (22) combined with (20) and the fact that the length of the intervals in \(P_n\) vanishes for \(\varepsilon \rightarrow 0\). Therefore, we have \({\bar{\gamma }}_{\varepsilon } - \gamma _{\varepsilon }\rightarrow 0\) in the flat norm. Since by assumption there holds \(\gamma _{\varepsilon }\rightarrow \gamma\) in the flat norm, we conclude that we also have \({\bar{\gamma }}_{\varepsilon } \rightarrow \gamma\) in the flat norm, which completes the proof of the lemma. \(\square\)
For a localization procedure, we further need the following statement on the relation between \(E^{\prime }(u, \gamma , I)\) and the \(\Gamma\)-lower limit \(E^{\prime }(u^I, \gamma ^I)\), where \(I \subset (a,b)\) is an open interval, \(u^I\) is the extension of \(u|_I\) to (a, b) with inner traces and \(\gamma ^I\) is the restriction of \(\gamma\) to I.
Lemma 5.4
Let \(I = (\alpha , \beta )\) be an open interval in (a, b). Let \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\). Then, for \((u^I,\gamma ^I) \in BV(a,b) \times \mathcal {M}(a,b)\) defined via
and there holds
Proof
We proceed analogously to the proof of [29, Lemma 4.4]. By definition of \(E'\) as the \(\Gamma\)-lower limit of \(\{E_\varepsilon \}_{\varepsilon }\), there exists a sequence \(\{(u_{\varepsilon }, \gamma _{\varepsilon })\}_{\varepsilon }\) in \({W^{1,1}}(a,b)\times \mathcal {M}(a,b)\) with \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\) and \(\gamma _{\varepsilon }= g_{\varepsilon }\mathcal {L}^1\) such that \(u_{\varepsilon }\rightarrow u\) in \(L^1(a,b)\), \(\gamma _{\varepsilon }\rightarrow \gamma\) in the flat norm and \(\liminf _{\varepsilon \rightarrow 0} E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon },I) = E^{\prime }(u,\gamma ,I)\). Without loss of generality, we may also assume pointwise convergence \(u_\varepsilon \rightarrow u\) a.e. in (a, b). For an arbitrary \(\eta \in (0,(\beta -\alpha )/2)\), we then pick points \(\alpha _\eta \in (\alpha ,\alpha + \eta )\) and \(\beta _\eta \in (\beta -\eta ,\beta )\) such that on the one hand
and on the other hand
For \(I_\eta :=(\alpha _\eta , \beta _\eta ) \subset (\alpha ,\beta )\), we now consider the functions \((u^{I_\eta },\gamma ^{I_\eta })\) and the sequence \(\{(u^{I_\eta }_\varepsilon ,\gamma ^{I_\eta }_\varepsilon )\}_\varepsilon\) in \({W^{1,1}}(a,b)\times \mathcal {M}(a,b)\) defined analogously to \((u^I,\gamma ^I)\). The condition (23) guarantees \(u^{I_\eta }_\varepsilon \rightarrow u^{I_\eta }\) in \(L^1(a,b)\), while \(\gamma ^{I_\eta }_\varepsilon \rightarrow \gamma ^{I_\eta }\) in the flat norm is trivially satisfied. Moreover, we notice \(E_\varepsilon (u^{I_\eta }_\varepsilon ,\gamma ^{I_\eta }_\varepsilon )= E_\varepsilon (u^{I_\eta }_\varepsilon ,\gamma ^{I_\eta }_\varepsilon , I)\) for all \(\varepsilon < \min \{\alpha _\eta -\alpha ,\beta -\beta _\eta \}\). Therefore, we conclude from the definition of \(E_\varepsilon\) that
We next observe \(u^{I_\eta } \rightarrow u^I\) in \(L^1(a,b)\) and \(\gamma ^{I_\eta } \rightarrow \gamma ^I\) in the flat norm as \(\eta \rightarrow 0\), from (24), respectively, Lemma 3.1 since \(\gamma ^{I_\eta } \overset{*}{\rightharpoonup } \gamma ^I\) in \(\mathcal {M}(a,b)\) by dominated convergence (as we have pointwise convergence \(\mathbbm {1}_{I_\eta } \rightarrow \mathbbm {1}_I\) on (a, b)). By the lower semicontinuity of \(E^\prime\), we then arrive at the claim
\(\square\)
Now, we finally turn to the estimate from below for the volume and the Cantor terms.
Proposition 5.5
Let A be an open subset of (a, b). For every \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\) , we have
Proof
Step 1: With \(\sigma :=\sup _{x \in J_u} |u(x+)-u(x-)|\), there holds the preliminary estimate
By definition of \(E'\) as the \(\Gamma\)-lower limit of \(\{E_\varepsilon \}_{\varepsilon }\), there exists a sequence \(\{(u_{\varepsilon }, \gamma _{\varepsilon })\}_{\varepsilon }\) in \({W^{1,1}}(a,b)\times \mathcal {M}(a,b)\) with \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\) and \(\gamma _{\varepsilon }= g_{\varepsilon }\mathcal {L}^1\) for some \(g_{\varepsilon } \in L^1(a,b)\) for every \(\varepsilon >0\) such that \(u_{\varepsilon }\rightarrow u\) in \(L^1(a,b)\), \(\gamma _{\varepsilon }\rightarrow \gamma\) in the flat norm and \(\liminf _{\varepsilon \rightarrow 0} E_{\varepsilon }(u_{\varepsilon }, \gamma _{\varepsilon }) =E^{\prime }(u,\gamma )\). After assuming without loss of generality \(E^{\prime }(u,\gamma ) < \infty\) and passing to a subsequence (not relabeled) and a possible modification of the sequence via Lemma 5.3, we may further suppose
for a positive constant \(C_0\) as well as
Let \(\eta > 0\) be fixed. We may assume that \(\left\Vert u_{\varepsilon }- u\right\Vert _{L^{\infty }(a,b)} \le \sigma + \eta\) holds for all \(\varepsilon\). Analogously as in the proof of Lemma 5.3 (cf. (16) and (17)), there exists \(\delta _\eta > 0\) such that \(|u(x) - u(y)| < \sigma + \eta\) for all \(x,y \in (a,b)\) with \(|x-y| < \delta _\eta\). Thus, there holds
for all such \(\varepsilon\). Next, we apply Lemma 4.1 with \(u=u_{\varepsilon }\) and \(\gamma =\gamma _{\varepsilon }\). In this way, we find a uniform grid \({\mathscr {G}}_{\varepsilon }\) in the interval (a, b) with grid size \(2 \varepsilon\) such that
Let \(a_{*}= \min {\mathscr {G}}_{\varepsilon }- \varepsilon\) and \(b_{*}= \max {\mathscr {G}}_{\varepsilon }+\varepsilon\). We then consider a sequence \(\{\tilde{v}_{\varepsilon }\}_\varepsilon\) of functions in \(L^\infty (a,b)\), which is defined a.e. in \((a_*,b_*)\) by
and then extended to (a, b) by the constant values \(\tilde{v}_{\varepsilon }(a_{*}^+)\) and \(\tilde{v}_{\varepsilon }(b_{*}^-)\), respectively, for all \(\varepsilon\). As \(\tilde{v}_{\varepsilon }\) is bounded with \(\left\Vert \tilde{v}_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\) and coincides with \(u_{\varepsilon }\) on the set \(\bigcup \{I_\varepsilon (x_\alpha ) :x_\alpha \in {\mathscr {G}}^{\prime }_{\varepsilon }\}\), where
by (26) and (28), we observe \(\tilde{v}_{\varepsilon } \rightarrow u\) in \(L^q(a,b)\) for all \(1 \le q < \infty\). Moreover, we have \({\tilde{v}_{\varepsilon } \in SBV(a,b)}\) with
provided that \(\varepsilon\) is sufficiently small, i.e., \(4 \varepsilon < \delta _\eta\) (such that (27) is satisfied). Since the number of jumps of \(\tilde{v}_{\varepsilon }\) is bounded via (28) and the definition of \(E_\varepsilon\) by
we end up with the estimate
for the size of \(D^s\tilde{v}_{\varepsilon }\) in terms of the energy \(E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon })\). Next, we introduce a sequence \(\{{\tilde{\gamma }}_{\varepsilon }\}_\varepsilon\) of measures in \(\mathcal {M}(a,b)\), by setting \({\tilde{\gamma }}_{\varepsilon }:=\tilde{g}_{\varepsilon }\mathcal {L}^1\) with \(g_\varepsilon \in L^1(a,b)\) defined as
for all \(\varepsilon\). In order to show that \(\{{\tilde{\gamma }}_{\varepsilon }+ D^s\tilde{v}_{\varepsilon }\}_{\varepsilon }\) is an approximating sequence of \(\gamma\), we first notice from the definition of \(\tilde{v}_{\varepsilon }\) and \({\tilde{\gamma }}_{\varepsilon }= \tilde{g}_{\varepsilon }\mathcal {L}^1\) in (29) and (32), with \(\tilde{v}_{\varepsilon }' = u_{\varepsilon }'\) on \(\bigcup \{I_\varepsilon (x_\alpha ) :x_\alpha \in {\mathscr {G}}^{\prime }_{\varepsilon }\}\) and \(\tilde{v}_{\varepsilon }'=0\) on the remaining set of (a, b), that
With (9) and the Cauchy–Schwarz inequality, we can then continue to estimate
We now study the terms on the right-hand side. From (26) and the definition of \(E_\varepsilon\), we notice that \(\{u_{\varepsilon }' -g_{\varepsilon }\}_{\varepsilon }\) is a bounded sequence in \(L^2(a,b)\). Together with (30) and taking into account also the strong convergences \(u_\varepsilon \rightarrow u\) and \(\tilde{v}_{\varepsilon } \rightarrow u\) in \(L^1(a,b)\), we then arrive at
With \(\gamma _{\varepsilon }\rightarrow \gamma = D^su + g \mathcal {L}^1\) in the flat norm and Lemma 3.1, we then conclude
For the latter conclusion, we have also used the fact that \(\{|{\tilde{\gamma }}_{\varepsilon }+ D^s\tilde{v}_{\varepsilon }|(a,b)\}_\varepsilon\) with
is a bounded sequence, which is a consequence of the boundedness of \(\{\tilde{g}_\varepsilon \}_\varepsilon\) in \(L^1(a,b)\) via (28) and the estimate (31) (recall also the bound (26) on the energies).
After having discussed the convergence properties of the sequence \(\{(\tilde{v}_\varepsilon ,{\tilde{\gamma }}_{\varepsilon })\}_{\varepsilon }\), we can finally turn to the proof of the estimate (25). From the definition of \(E_\varepsilon\), we obtain via (28) and (31)
By the choice of the sequence \(\{(u_\varepsilon ,\gamma _\varepsilon )\}_\varepsilon\) with (26), it follows that
Let us comment on the second-last inequality. For the first term, we first deduce from the boundedness of the sequence \(\{u_{\varepsilon }' - g_{\varepsilon }\}_{\varepsilon }\) in \(L^2(a,b)\) combined with the convergences \(u_\varepsilon ' \mathcal {L}^1 \rightarrow Du\) and \(\gamma _\varepsilon \rightarrow \gamma = D^su + g \mathcal {L}^1\) in the flat norm that \(u_{\varepsilon }^{\prime }- g_{\varepsilon } \rightharpoonup u^{\prime } - g\) in \(L^2(a,b)\) and then employ the lower semicontinuity of the \(L^2\)-norm with respect to weak convergence in \(L^2(a,b)\). For the second and third term, we use the weak-\(*\) convergence \({\tilde{\gamma }}_{\varepsilon }+ D^s\tilde{v}_{\varepsilon } {\mathop {\rightharpoonup }\limits ^{*}} \gamma = D^su + g \mathcal {L}^1\) in \(\mathcal {M}(a,b)\) from (33) and the lower semicontinuity of the total variation with respect to weak-\(*\) convergence. By the arbitrariness of \(\eta >0\), we conclude from the previous inequality the desired estimate (25).
Step 2: Localization. We fix an arbitrary \({\bar{\sigma }} >0\) and consider the finite set of points \(\{ x_1, \ldots ,x_{N-1}\} \subset J_u\) such that \(|[u](x_i)| > {\bar{\sigma }}\) for \(i=1,\ldots , N-1\). Let \(x_0 = a\) and \(x_N=b\). Then, we have
For every open subinterval \((\alpha , \beta )\) of (a, b), we consider pairs \((u^{(\alpha ,\beta )},\gamma ^{(\alpha ,\beta )}) \in BV(a,b) \times \mathcal {M}(a,b)\) defined as in Lemma 5.4 as
and By Lemma 5.4 (with \(I=(x_i, x_{i+1})\)) and by Step 1 (applied with \(u = u^{(x_i,x_{i+1})}\) and \(\gamma =\gamma ^{(x_i,x_{i+1})})\), we obtain
for every \(i \in \{0, \ldots , N-1\}\). With the superadditivity of \(A \mapsto E'(u,\gamma ,A)\) from Remark 5.1 (i) we then deduce
which, by the arbitrariness of \({\bar{\sigma }} >0\), leads to
Applying this estimate to \((u^I,\gamma ^I)\), from Lemma 5.4 we infer that
for every open interval \(I \subset (a,b)\), where \(\lambda\) denotes the positive Borel measure on (a, b) that is given by
for every Borel subset B of (a, b). Therefore, the claim of the proposition follows from Remark 5.1 (ii). \(\square\)
5.3 Conclusion and proof of the \(\Gamma\)-lim inf inequalities
For \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\), we have proved so far in Propositions 5.2 and 5.5 the following lower bounds for the volume, the Cantor and the jump part:
-
1.
\(E^{\prime }(u,\gamma ,A) \ge \int _A |u^{\prime } - g|^2 \, \mathrm{d} x+ c_0 \int _A |g| \, \mathrm{d} x,\)
-
2.
\(E^{\prime }(u,\gamma ,A) \ge c_0 |D^cu|(A),\)
-
3.
\(E^{\prime }(u,\gamma ,A) \ge 2 \sum _{x \in J_u \cap A} f \left( \frac{1}{2} |[u](x)| \right) ,\)
for every open subset A of (a, b). These are now combined to prove the estimate from below of the \(\Gamma\)-lower limit which shows the first part of Theorem 2.1.
Theorem 5.6
For every \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\) , we have
Proof
We consider the Radon measure \(\kappa\) defined by
for every Borel subset B of (a, b). Let C be a Borel subset of \((a,b){\setminus } J_u\) with \(\vert C \vert =0\) such that \(\vert D^cu\vert ((a,b){\setminus } C)=0\). Then, we obtain
for \(i \in \{1,2,3\}\) and for every open set \(A \subset (a,b)\), where
Next, we define
By a measure theoretic result (see, e.g., [9, Lemma 15.2] applied with the set function \(\mu (\cdot ) :=E^{\prime }(u,\gamma ,\cdot )\)), we conclude that
for every open subset A of (a, b). With \(A=(a,b)\), this proves the theorem. \(\square\)
The \(\Gamma\)-\(\liminf\) in the case \(K = \infty\) is a direct consequence of Theorem 5.6.
Corollary 5.7
Let \(K = \infty\). If \((u_\varepsilon , \gamma _\varepsilon ) \rightarrow (u, \gamma )\) in \(L^0((a, b);{\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\), then
Proof
Assuming without loss of generality \(E_\varepsilon (u_\varepsilon , \gamma _\varepsilon ) < C_0\) for a positive constant \(C_0\), by Theorem 4.3, we have that \(u \in BV_{\infty ,\mathcal {P}}(a,b)\) and there is a partition \(a = x_0< x_1 \cdots < x_{m} = b\) such that \(J_u \subset \{x_1, \ldots , x_{m-1}\} \cup \mathcal {F}(u)\) and for \(A_\delta = \mathcal {F}(u) \cap \bigcup _i (x_{i-1}+\delta , x_i-\delta )\), with \(\delta > 0\), we have \(\chi _{A_\delta } u_\varepsilon \rightarrow \chi _{A_\delta } u\) in \(L^1(a,b)\) and in the flat norm. From Remark 4.4 and Theorem 5.6 (applied for a suitable K), we then get
The assertion follows in the limit \(\delta \searrow 0\) from the monotone convergence theorem. \(\square\)
6 Estimate from above of the \(\Gamma\)-upper limit
We now turn to the estimate from above of the \(\Gamma\)-upper limit \(E^{\prime \prime }\). Except for the very last paragraph, we assume \(K < \infty\) in the whole section. We again restrict ourselves to pairs \((u, \gamma )\in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime } - g \in L^2(a,b)\) since the estimates are trivial otherwise. We first show the result for the particular case \(u \in SBV^2(a,b)\) and then deduce the general result by approximation.
Proposition 6.1
For every \((u,\gamma ) \in SBV^2(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\) , we have
Proof
Since \(u \in SBV^2(a,b)\cap L^{\infty }(a,b)\), the jump set is finite, i.e., \(J_u = \{ x_1, \ldots , x_{N-1} \}\) for some \(N \in {\mathbb {N}}\), and we may further assume by the Sobolev embedding theorem that u is a piecewise continuous function with one-sided limits \(u(x\pm )\) for all \(x \in (a,b)\). Thus, \(\gamma\) is of the form
with \(g \in L^2(a,b)\). Let \(x_0 = a\) and \(x_N=b\). We then choose \(\varepsilon\) small enough such that
We first define \(u_{\varepsilon }\in W^{1,1}(a,b)\) nearby the jumps of u by linear interpolation via
(see Fig. 1 below). By construction, we have \(\left\Vert u_{\varepsilon }\right\Vert _{L^{\infty }(a,b)} \le K\) for all \(\varepsilon\), and taking advantage of the fact that u is only modified on the intervals \((x_i - \varepsilon ^2 - 2\varepsilon , x_i +\varepsilon ^2 + 2\varepsilon )\) for \(i \in \{1,\ldots ,N-1\}\), we also have
which shows strong convergence of \(\{u_{\varepsilon }\}_{\varepsilon }\) to u in \(L^1(a,b)\).
We next define \(\gamma _{\varepsilon } \in \mathcal {M}(a,b)\) as \(\gamma _{\varepsilon }= g_{\varepsilon } \mathcal {L}^1\), where \(g_{\varepsilon }\in L^2(a,b)\) is given by
We notice that
Therefore, we observe from the definition of \(u_\varepsilon ^{\prime }\) that for every function \(\varphi \in W^{1, \infty }_0(a,b)\) with \(\left\Vert \varphi \right\Vert _{W^{1, \infty }_0(a,b)}\le 1\) there holds
for every \(i \in \{1,\ldots ,N-1\}\). Since we also have \(|\varphi (x)-\varphi (x_i)| \le |x-x_i| \le \varepsilon ^2\) on \((x_i -\varepsilon ^2 , x_i +\varepsilon ^2)\), we deduce from the bound \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\) and the Cauchy–Schwarz inequality
This shows the convergence of \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) to \(\gamma\) in the flat norm. It only remains to establish the energy estimate. From the construction of \((u_\varepsilon ,\gamma _\varepsilon )\), we clearly have \(|u^{\prime}_{\varepsilon }- g_{\varepsilon }| \le |u^{\prime} - g|\) on (a, b). Therefore, the elastic energy contribution in \(E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon })\) is estimated by
Due to the monotonicity of f and \(f(t) \le c_0 t\) for all \(t \ge 0\), we estimate the non-local energy term by
With the continuity of u outside of the jump set \(J_u\), we can pass to the limit \(\varepsilon \rightarrow 0\) on the right-hand side. In this way, we finally arrive at
\(\square\)
Remark 6.2
For a general stored energy function W as described in Remark 2.7, the above argument can be augmented with a standard relaxation step by adding to \(u_\varepsilon\) a function \(v_\varepsilon \in W^{1,p}_0(a,b)\) such that \(v_\varepsilon \rightarrow 0\) in \(L^p(a,b)\) and
So also in this case, we have \(E^{\prime \prime }(u,\gamma ) \le \limsup _{\varepsilon \rightarrow 0} E_{\varepsilon }(u_{\varepsilon }+v_{\varepsilon },\gamma _{\varepsilon }) \le E(u,\gamma )\).
By approximation with \(SBV^2\)-functions, we can now give the proof of the second part of Theorem 2.1.
Theorem 6.3
For every \((u,\gamma ) \in BV(a,b) \times \mathcal {M}(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\), \(\gamma = D^su+ g \mathcal {L}^1\) and \(u^{\prime }- g \in L^2(a,b)\) , we have
Proof
We here want to construct a sequence \(\{({\hat{u}}_h,{\hat{\gamma }}_h)\}_{h}\) in \(SBV^2(a,b) \times \mathcal {M}(a,b)\) (with \(\left\Vert {\hat{u}}_h\right\Vert _{L^{\infty }(a,b)} \le K\), \({\hat{\gamma }}_h = D^s {\hat{u}}_h+ {\hat{g}}_{h} \mathcal {L}^1\) and \({\hat{u}}_h^{\prime } - {\hat{g}}_{h} \in L^2(a,b)\) for every \(h>0\)) such that \({\hat{u}}_h \rightarrow u\) in \(L^1(a,b)\), \({\hat{\gamma }}_h \rightarrow \gamma\) in the flat norm and
This is indeed sufficient since by lower semi-continuity of the \(\Gamma\)-upper limit \(E''\) and by Proposition 6.1 we then conclude with
We first recall that in dimension one every function \(u \in BV(a,b)\) can be represented as \(u_a+u_j+u_c\), see (7) where \(u_a \in W^{1,1}(a,b)\), \(u_j\) is a pure jump function and \(u_c\) is a Cantor function. This allows us to modify the three parts of u separately. We start with the jump function \(u_j\). We define \(u_{j,h}\) by
where \(J_{u_{j}}(h) :=\{y\in J_{u_j} :|[u_j](y)| > h \} = J_{u_{j,h }}\). We observe \(\# J_{u_{j,h }} < \infty\), \(u_{j,h } \rightarrow u_j\) in \(L^1(a,b)\) as \(h \rightarrow 0\), and for all h the estimate
For the Cantor function \(u_c\), we use the density of smooth functions in BV(a, b) with respect to the strict topology. In this way, we find a sequence \(\{u_{c,h }\}_{h }\) in \(W^{1,1}(a,b)\) with \(u_{c,h} \rightarrow u_c\) in \(L^1(a,b)\) and
The absolutely continuous part \(u_a\) is first extended to a \(W^{1,1}({\mathbb {R}})\) function with compact support, and we then set \(u_{a, h } :=u_a * \psi _{h }\) for all \(h >0\), where \(\psi _h\) is a standard h-mollifier given by \(\psi _{h}(x) :=h^{-1} \psi (h^{-1}x)\) for \(x \in {\mathbb {R}}\), for a fixed non-negative, symmetric function \(\psi \in C^{\infty }({\mathbb {R}})\) with compact support and normalized to \(\int _{\mathbb {R}}\psi \, \mathrm{d} x = 1\). We then have \(u_{a,h } \in C^{\infty }({\mathbb {R}})\) for all \(h>0\), \(u_{ a, h } \rightarrow u_a\) in \(L^1(a,b)\) and \(u_{a,h }^{\prime } = u_a^{\prime } * \psi _h\), see, e.g., [20, Theorem 4.2.1]. Then, we set
We clearly have \(\{u_h\}_{h}\) in \(SBV^2(a,b)\) for all \(h >0\) and \(u_h \rightarrow u\) in \(L^1(a,b)\), which implies \(Du_h \rightarrow Du\) in the flat norm.
We next address the modification of \(\gamma\). We extend the absolutely continuous part g outside of (a, b) by 0 and set \(g_{a,h } :=g * \psi _{h }\) for all \(h >0\). Then, we have \(g_{a,h } \in C^{\infty }({\mathbb {R}})\) for all \(h >0\) and
Because of \(u_a^{\prime } - g \in L^2(a,b)\) and \(u_{a,h }^{\prime } - g_{ a, h } = (u_a^{\prime } - g) * \psi _{h }\), we further notice
Now, we set
With the convergences \(Du_h \rightarrow Du\) and \(g_{a,h} - u_{a,h}' \rightarrow g - u_a'\) in the flat norm (via (38)), we infer \(\gamma _h \rightarrow \gamma\) in the flat norm. Since \(u_{c, h }^{\prime }\) is canceled in the first term, we deduce
which, via (35), (36), (37) and (38), implies
This does not yet show (34), since \(\left\Vert u_h\right\Vert _{L^{\infty }(a,b)} \le K\) might not be satisfied for all \(h >0\). We resolve this problem in two steps. With \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\) and \(u_h \rightarrow u\) in \(L^1(a,b)\), we can fix a sequence \(\{\eta _{h }\}_{h }\) in \({\mathbb {R}}^+\) with \(\eta _{h } \rightarrow 0^+\) as \(h \rightarrow 0\) and
We next define the truncated versions
We then have \(\tilde{u}_h \rightarrow u\) in \(L^1(a,b)\), \(D\tilde{u}_h \rightarrow Du\) in the flat norm and, in addition, also \(\left\Vert \tilde{u}_h\right\Vert _{L^{\infty }(a,b)} \le K + \eta _{h }\) for all \(h >0\). Correspondingly, we set
By using (9) and by applying subsequently the Cauchy–Schwarz inequality, we get
If we pass to the limit \(h \rightarrow 0\) on the right-hand side, the first term vanishes because of the uniform boundedness of \(u_h^{\prime } - g_h = u_{a,h}^{\prime } - g_{ a, h }\) in \(L^2(a,b)\) due to (38) combined with the convergence
as a consequence from (40). Since with \(u_h \rightarrow u\) and \(\tilde{u}_h \rightarrow u\) in \(L^1(a,b)\) also the second term vanishes, we conclude that \({\tilde{\gamma }}_{h } - \gamma _h \rightarrow 0\) in the flat norm. Consequently, we have established \({\tilde{\gamma }}_{h } \rightarrow \gamma\) in the flat norm. For \(h >0\), we finally define
We clearly have \(\left\Vert {\hat{u}}_{h }\right\Vert _{L^{\infty }(a,b)} \le K\), \(J_{u_{h }} \subset J_{{\hat{u}}_{h }}\) and \(|[{\hat{u}}_{h}]| \le |[u_{h}]|\) for all \(h >0\). In view of \(K /( K + \eta _{h }) \rightarrow 1\), we also have \({\hat{u}}_{h } \rightarrow u\) in \(L^1(a,b)\) and \({\hat{\gamma }}_{h } \rightarrow \gamma\) in the flat norm. Moreover, if we denote the density of \({\hat{\gamma }}_{h }\) with respect to \(\mathcal {L}^1\) by \({\hat{g}}_{h }\), we observe \(|{\hat{u}}_{h }^{\prime } - {\hat{g}}_{h}| \le |u_h^{\prime } - g_{h }|\) and \(|{\hat{g}}_{h}| \le |g_{h }|\) on (a, b) for all \(h>0\). This shows that the energy \(E({\hat{u}}_{h },{\hat{\gamma }}_{h })\) is finite for all \(h>0\), with
By taking into account (39), we then obtain the claim (34) (even for the \(\limsup\)), which ends the proof. \(\square\)
Remark 6.4
The function \({\hat{u}}_h\) can even be chosen such that \({\hat{u}}_h(x) = u(a+)\) on \((a, \delta _h)\) and \({\hat{u}}_h(x) = u(b-)\) on \((b - \delta _h, b)\) for a sequence \(\delta _h \searrow 0\). To see this, note that from \({\hat{u}}_h \rightarrow u\) a.e. and \(\lim _{x \searrow a} u(x) = u(a+)\), \(\lim _{x \nearrow b} u(x) = u(b-)\), one finds \(\delta _h \searrow 0\) such that \(a + \delta _h\) and \(b - \delta _h\) are not contained in \(J_{u_h}\) and \(\lim _{h \rightarrow \infty } u_h(a+\delta _h) = u(a+)\), \(\lim _{h \rightarrow \infty } u_h(b-\delta _h) = u(b-)\). Now, consider \(\hat{{\hat{u}}}_h \in SBV^2(a,b)\) defined by
and
The claim follows from observing that
where the last two terms on the right hand side vanish as \(h \rightarrow \infty\) by construction.
Again, the case \(K = \infty\) is a direct consequence.
Corollary 6.5
For every \((u,\gamma ) \in L^0((a, b);{\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\) , there is a sequence \(\{(u_\varepsilon , \gamma _\varepsilon )\}_\varepsilon\) converging to \((u, \gamma )\) in \(L^0((a, b);{\overline{{\mathbb {R}}}}) \times \mathcal {M}(a,b)\) such that
Proof
Without loss of generality, we assume \(u \in BV_{\infty ,\mathcal {P}}(a,b)\). Let \(a = x_0< \cdots < x_m = b\) such that \(\{x_1, \ldots , x_m\} = \{x \in (a, b) : |[u](x)| = \infty \}\). Note \(\Vert u \Vert _{L^\infty (\mathcal {F}(u))} < \infty\). With the help of Theorem 6.3, we choose \(\tilde{u}_\varepsilon , \tilde{g}_\varepsilon : (a,b) \rightarrow {\mathbb {R}}\) such that is a recovery sequence for whenever \((x_{i-1}, x_i) \subset \mathcal {F}(u)\) and \(\tilde{u}_\varepsilon \equiv \pm \varepsilon ^{-1}\), \(\tilde{g}_\varepsilon \equiv 0\) on \((x_{i-1}, x_i)\) in case \(u \equiv \pm \infty\) on \((x_{i-1}, x_i)\).
As in the proof of Proposition 6.1 now define \(u_{\varepsilon } \in W^{1,1}(a,b)\) by linear interpolation near the \(x_i\) as
Clearly, \(u_{\varepsilon } \rightarrow u\) a.e. on (a, b). Accordingly, we define \(\gamma _{\varepsilon } \in \mathcal {M}(a,b)\) as \(\gamma _{\varepsilon }= g_{\varepsilon } \mathcal {L}^1\) with
So still \(\gamma _{\varepsilon }\rightarrow \gamma\) locally in the flat norm on each \((x_{i-1}, x_i) \subset \mathcal {F}(u)\). Estimating the energy as
where the last term on the right hand side is bounded by \(2(1+\varepsilon ) (m-1) c_0 = 2(1+\varepsilon ) c_0 \# J_u {\setminus } \mathcal {F}(u)\), we find that indeed
\(\square\)
7 \(\Gamma\)-convergence for the minimal energies with respect to \(\gamma\)
We finally prove the \(\Gamma\)-convergence result in Corollary 2.8 for the minimal energies with respect to the second variable \(\gamma\), i.e., we consider the energies \(\tilde{E}_{\varepsilon }\) and \(\tilde{E}\) from (5) and (6), respectively. We only treat the case \(K < \infty\), the necessary modifications for \(K = \infty\) are straightforward. Notice that, as a direct consequence of the fact that the function \(g^*\) from (3) solves the optimization problem in (2), for every \(u \in BV(a,b)\) there holds
For completeness, we state also the corresponding compactness result.
Corollary 7.1
(Compactness of the minimal energies with respect to \(\gamma\)) Let \(\{u_{\varepsilon }\}_{\varepsilon }\) be a sequence in \({L^{1}}(a,b)\) with
for a positive constant \(C_0\) and all \(\varepsilon >0\). There exists a function \(u \in BV(a,b)\) with \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\) such that, up to a subsequence, \(\{u_{\varepsilon }\}_{\varepsilon }\) converges to u in \({L^{1}}(a,b)\).
Proof
We choose a low energy sequence \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) in \(\mathcal {M}(a,b)\) with \(E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon }) \le \tilde{E}_{\varepsilon }(u_{\varepsilon }) + 1\) for all \(\varepsilon\). Since there holds \(E_{\varepsilon }(u_{\varepsilon },\gamma _{\varepsilon }) \le C_0 +1\) for all \(\varepsilon\), according to Theorem 4.2, there exists a function \(u \in BV(a,b)\) with \(\left\Vert u\right\Vert _{{L^{\infty }}(a,b)} \le K\) such that \(u_{\varepsilon }\rightarrow u\) in \(L^1(a,b)\). \(\square\)
Proof of Corollary 2.8
It is again sufficient to establish the \(\Gamma\)-\(\liminf\) inequality and the \({\Gamma \text {-}\limsup }\) inequality only for \(u \in BV(a,b)\) with \(\left\Vert u\right\Vert _{L^{\infty }(a,b)} \le K\) since the estimates are trivial otherwise.
We first show the \(\Gamma\)-\(\liminf\) inequality. We consider an arbitrary sequence \(\{u_{\varepsilon }\}_{\varepsilon }\) in \(L^1(a,b)\) with \(u_{\varepsilon }\rightarrow u\) in \(L^1(a,b)\), for which we may assume \(\tilde{E}_{\varepsilon }(u_{\varepsilon })\le C_0\) for some positive constant \(C_0\) and all \(\varepsilon\). We then select a low energy sequence \(\{\gamma _{\varepsilon }\}_{\varepsilon }\) in \(\mathcal {M}(a,b)\) with
By passing to a subsequence if necessary, we may assume that
At this stage, we employ the compactness result of Theorem 4.2: since \(u_{\varepsilon }\rightarrow u\) in \({L^{1}}(a,b)\), there exists a function \(g \in L^1(a,b)\) with \(u^{\prime } - g \in L^2(a,b)\) such that, up to a subsequence, \(\gamma _{\varepsilon }\rightarrow D^su + g \mathcal {L}^1\) in the flat norm. Since by Theorem 2.1, we have \(\Gamma\)-convergence of \(\{E_{\varepsilon }\}_{\varepsilon >0}\) to E in \(L^1(a,b) \times \mathcal {M}(a,b)\) also for every subsequence, we obtain
which, by the choice of the sequence \(\{\gamma _{\varepsilon }\}_{\varepsilon }\), shows
We next show the \(\Gamma\)-\(\limsup\) inequality. Via Theorem 2.1 (ii) we find a recovery sequence \(\{(u_{\varepsilon },\gamma _{\varepsilon })\}_{\varepsilon }\) of \((u,\gamma ^{opt })\) in \(L^{1}(a,b) \times \mathcal {M}(a,b)\). In combination with (41), this yields the claim
\(\square\)
References
Alessi, R., Marigo, J.-J., Vidoli, S.: Gradient damage models coupled with plasticity and nucleation of cohesive cracks. Arch. Ration. Mech. Anal. 214(2), 575–615 (2014)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York (2000)
Ambrosio, L., Tortorelli, V.M.: Approximation of functionals depending on jumps by elliptic functionals via \(\Gamma\)-convergence. Commun. Pure Appl. Math. 43(8), 999–1036 (1990)
Ambrosio, L., Tortorelli, V.M.: On the approximation of free discontinuity problems. Boll. Un. Mat. Ital. B (7) 6(1), 105–123 (1992)
Auer-Volkmann, V., Beck, L., Schmidt, B.: Eigendamage: an eigendeformation model for the variational approximation of cohesive fracture—antiplane shear deformations (2022) (in preparation)
Bouchitté, G., Braides, A., Buttazzo, G.: Relaxation results for some free discontinuity problems. J. Reine Angew. Math. 458, 1–18 (1995)
Bourdin, B., Francfort, G.A., Marigo, J.-J.: The variational approach to fracture. J. Elast. 91(1–3), 5–148 (2008)
Braides, A.: Approximation of Free-Discontinuity Problems. Lecture Notes in Mathematics, vol. 1694. Springer-Verlag, Berlin (1998)
Braides, A.: \(\Gamma\)-Convergence for Beginners. Oxford Lecture Series in Mathematics and its Applications, vol. 22. Oxford University Press, Oxford (2002)
Braides, A., Dal Maso, G.: Non-local approximation of the Mumford-Shah functional. Calc. Var. Partial Differ. Equ. 5(4), 293–322 (1997)
Braides, A., Garroni, A.: On the non-local approximation of free-discontinuity problems. Commun. Partial Differ. Equ. 23(5–6), 817–829 (1998)
Cagnetti, F., Toader, R.: Quasistatic crack evolution for a cohesive zone model with different response to loading and unloading: a Young measures approach. ESAIM Control Optim. Calc. Var. 17(1), 1–27 (2011)
Conti, S., Focardi, M., Iurlano, F.: Phase field approximation of cohesive fracture models. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(4), 1033–1067 (2016)
Cortesani, G., Toader, R.: Nonlocal approximation of nonisotropic free-discontinuity problems. SIAM J. Appl. Math. 59(4), 1507–1519 (1999)
Crismale, V., Lazzaroni, G., Orlando, G.: Cohesive fracture with irreversibility: quasistatic evolution for a model subject to fatigue. Math. Models Methods Appl. Sci. 28(7), 1371–1412 (2018)
Dal Maso, G., Iurlano, F.: Fracture models as \(\Gamma\)-limits of damage models. Commun. Pure Appl. Anal. 12(4), 1657–1686 (2013)
Dal Maso, G., Orlando, G., Toader, R.: Fracture models for elasto-plastic materials as limits of gradient damage models coupled with plasticity: the antiplane case. Calc. Var. Partial Differ. Equ. 55(3), 39 (2016). (Art. 45)
Del Piero, G.: A variational approach to fracture and other inelastic phenomena. J. Elast. 112(1), 3–77 (2013)
Del Piero, G., Truskinovsky, L.: Elastic bars with cohesive energy. Contin. Mech. Thermodyn. 21(2), 141–171 (2009)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL (1992)
Francfort, G.A., Garroni, A.: A variational view of partial brittle damage evolution. Arch. Ration. Mech. Anal. 182(1), 125–152 (2006)
Francfort, G.A., Marigo, J.-J.: Stable damage evolution in a brittle continuous medium. Eur. J. Mech. A Solids 12(2), 149–189 (1993)
Francfort, G.A., Marigo, J.-J.: Revisiting brittle fracture as an energy minimization problem. J. Mech. Phys. Solids 46(8), 1319–1342 (1998)
Frémond, M., Nedjar, B.: Damage, gradient of damage and principle of virtual power. Int. J. Solids Struct. 33(8), 1083–1103 (1996)
Garroni, A., Larsen, C.J.: Threshold-based quasi-static brittle damage evolution. Arch. Ration. Mech. Anal. 194(2), 585–609 (2009)
Iurlano, F.: Fracture and plastic models as \(\Gamma\)-limits of damage models under different regimes. Adv. Calc. Var. 6(2), 165–189 (2013)
Lussardi, L.: An approximation result for free discontinuity functionals by means of non-local energies. Math. Methods Appl. Sci. 31(18), 2133–2146 (2008)
Lussardi, L., Magni, A.: \(\Gamma\)-limits of convolution functionals. ESAIM Control Optim. Calc. Var. 19(2), 486–515 (2013)
Lussardi, L., Vitali, E.: Non-local approximation of free-discontinuity functionals with linear growth: the one-dimensional case. Ann. Mat. Pura Appl. (4) 186(4), 721–744 (2007)
Lussardi, L., Vitali, E.: Non-local approximation of free-discontinuity problems with linear growth. ESAIM Control Optim. Calc. Var. 13(1), 135–162 (2007)
Mura, T.: Micromechanics of Defects in Solids. Springer, Berlin (2013)
Negri, M.: A non-local approximation of free discontinuity problems in \(SBV\) and \(SBD\). Calc. Var. Partial Differ. Equ. 25(1), 33–62 (2006)
Pandolfi, A., Ortiz, M.: An eigenerosion approach to brittle fracture. Int. J. Numer. Methods Eng. 92(8), 694–714 (2012)
Pandolfi, A., Weinberg, K., Ortiz, M.: A comparative accuracy and convergence study of eigenerosion and phase-field models of fracture. Comput. Methods Appl. Mech. Eng. 386, 114078 (2021)
Pham, K., Marigo, J.-J.: From the onset of damage to rupture: construction of responses with damage localization for a general class of gradient damage models. Contin. Mech. Thermodyn. 25(2–4), 147–171 (2013)
Qinami, A., Pandolfi, A., Kaliske, M.: Variational eigenerosion for rate-dependent plasticity in concrete modeling at small strain. Int. J. Numer. Methods Eng. 121(7), 1388–1409 (2020)
Schmidt, B., Fraternali, F., Ortiz, M.: Eigenfracture: an eigendeformation approach to variational fracture. Multiscale Model. Simul. 7(3), 1237–1266 (2008)
Acknowledgements
V. A.-V. gratefully acknowledges financial support of the Konrad-Adenauer-Stiftung. All authors are grateful to the referee for valuable suggestions that have led to substantial improvements of the results.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Auer-Volkmann, V., Beck, L. & Schmidt, B. Eigendamage: an eigendeformation model for the variational approximation of cohesive fracture—a one-dimensional case study. Annali di Matematica 201, 2161–2195 (2022). https://doi.org/10.1007/s10231-022-01196-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-022-01196-9