Abstract
The paper studies the asymptotic analysis of a model coupling elastoplasticity and damage depending on three parameters—governing viscosity, plastic hardening, and convergence rate of plastic strain and displacement to equilibrium—as they vanish in different orders. The notion of limit evolution obtained is proven to coincide in any case with a notion introduced by Crismale and Rossi (SIAM J Math Anal 53(3):3420–3492, 2021), moreover, such solutions are closely related to those obtained in the vanishing-viscosity limit by Crismale and Lazzaroni (Calc Var Part Differ Equ 55(1):17, 2016), for the analogous model where only the viscosity parameter was present.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Rate-independent processes model evolutionary phenomena where the external loading is much slower than the internal oscillations of materials, while viscosities may be neglected. Despite a wide literature on the subject (see [24] and references therein), a further understanding is needed of the relations between the different notions of solution that have been proposed. In particular, a problem of interest in applications is to determine which kind of solution captures the limiting behavior of dynamical systems for small viscosity or inertia. For this reason, in this paper we compare different notions of solution, obtained with different approximation methods as viscosities tend to zero at different rates (but with no inertia).
We focus on a rate-independent system modeling damage in an elasto-plastic body occupying a bounded Lipschitz domain \(\Omega \subset \mathbb {R}^n\), \(n\ge 2\). The model was advanced and first studied in [5, 6], while the existence of globally minimizing quasistatic evolutions (or, equivalently, Energetic solutions) was first proved in [11]. In [8, 10], the vanishing-viscosity approach was instead exploited to find the so-called Balanced Viscosity solutions, obtaining the rate-independent system as the limit of a viscously perturbed system. Indeed, vanishing viscosity was advanced as a selection criterion for solutions with a mechanically feasible behavior at jumps, motivated by the observation that Energetic solutions jump ‘too long and too early’, cf. the characterization proved in [29] and the references therein. We refer to the pioneering [16], and the subsequent [26, 27], for the definition and properties of such solutions in the context of an ‘abstract’ rate-independent system. The vanishing-viscosity technique has also been adopted in various concrete applications, ranging from plasticity (cf., e.g., [7, 12, 14, 18, 32]), to damage, fracture, and fatigue (see for instance [1, 4, 9, 20, 21, 23]).
In this paper, we aim to gain further insight into the different ways of constructing Balanced Viscosity solutions to the model for damage and plasticity from [6], which were explored in [8] and [10]. We show that these notions of solutions essentially coincide if the hardening vanishes together with viscosities, while they retain different features if the hardening parameter is positive. In particular, it turns out that perfect plasticity coupled with damage may equivalently be approximated by means of processes where viscosity is confined to the flow rule for damage, or with viscosity also in the momentum equation and in the plastic flow rule.
1.1 The model
The rate-independent process we are going to address describes the evolution, in the time interval (0, T), of the displacement \(u: (0,T) \times \Omega \rightarrow \mathbb {R}^n\), of the plastic strain \(p: (0,T)\times \Omega \rightarrow {\mathbb M}^{n{\times }n}_{\mathrm {D}}\), and of the damage variable \(z: (0,T)\times \Omega \rightarrow [0,1]\) that describes the soundness of the material: for \(z(t,x)=1\) (respectively, \(z(t,x)=0\)) the material is in the undamaged (fully damaged, resp.) state, at the time \(t\in (0,T)\) and ‘locally’ around the point \(x\in \Omega\). In fact, the related PDE system consists of
-
The momentum balance
with \(f,\,g\) some external forces, \({\mathrm {n}}\) the outer unit normal vector to \(\Omega\), \(\sigma\) the stress tensor
\(\mathbb {C}\) the elastic stress tensor, and \(e: (0,T)\times \Omega \rightarrow {\mathbb {M}^{n\times n}_{\mathrm {sym}}}\) the elastic strain; together with the plastic strain p, the elastic strain e concurs to the kinematic admissibility condition for the strain \({\mathrm {E}}(u) = \frac{\nabla u + \nabla u^T}{2}\), i.e.,
-
The flow rule for the damage variable z
where \(\partial \mathrm {R}: \mathbb {R}\rightrightarrows \mathbb {R}\) denotes the convex analysis subdifferential of the density of dissipation potential
encompassing the unidirectionality in the evolution of damage, \(A_{\mathrm {m}}\) is the \(\mathrm {m}\)-Laplacian operator, with \(\mathrm {m}>\tfrac{n}{2}\), and W is a suitable nonlinear, possibly nonsmooth, function;
-
The flow rule for the plastic tensor
with \(\sigma _\mathrm {D}\) the deviatoric part of the stress tensor \(\sigma\) and \(\mathrm {H}(z, \cdot )\) the density of the plastic dissipation potential.
System (1.1a)–(1.1e) is complemented by the boundary conditions
where \(\Gamma _{\mathrm {Dir}}\) is the Dirichlet part of the boundary \(\partial \Omega\) and w a time-dependent Dirichlet loading, while \(\Gamma _{\mathrm {Neu}}\) is the Neumann part of \(\partial \Omega\) and g an assigned traction.
Alternative models for damage and plasticity have been analyzed in, e.g., [15, 30, 31], albeit from a different perspective. In fact, those papers address the rate-independent evolution of the damage and plastic processes coupled with a rate-dependent momentum balance, featuring viscosity and even inertial terms. Therefore, the resulting system has a mixed rate-dependent/independent character and is formulated in terms of a weak, energetic-type notion of solution. Instead, both in [8] and [10], (two distinct) viscous regularization procedures, described below, were advanced to construct Balanced Viscosity solutions to the fully rate-independent system (1.1).
1.2 Balanced viscosity solutions
In [8], the vanishing-viscosity approximation of system (1.1) was carried out by perturbing the damage flow rule by a viscous term, which led to the viscously regularized system
supplemented by the boundary conditions
Passing to the limit in a reparameterized version of (1.2) led to a first construction of \(\mathrm {BV}\) solutions to system (1.1). We shall illustrate the notion of parameterized Balanced Viscosity solution thus obtained in the forthcoming Sect. 3.3. In what follows, for quicker reference we will call the \(\mathrm {BV}\) solutions from [8] \(\mathrm {BV}_0\) solutions to system (1.1), where the subscript 0 indicates that the solutions are obtained in the limit as \(\varepsilon \downarrow 0\).
In [10], a different construction of \(\mathrm {BV}\) solutions to system (1.1) was proposed, based on a viscous regularization of the momentum balance and of the plastic flow rule, in addition to that of the damage flow rule. This alternative approach was first proposed in [28] in a finite-dimensional context and extended to infinite-dimensional systems in the recent [25]. Both papers address the vanishing-viscosity analysis of an abstract evolutionary system, that can be thought of as prototypical of rate-dependent systems in solid mechanics, governing the evolution of an elastic variable \(\mathsf {u}\) and of an internal variable \(\mathsf {z}\). In those papers, \(\mathsf {z}\) has relaxation time \(\varepsilon\), while \(\mathsf {u}\) has a viscous damping with relaxation time \(\varepsilon ^\alpha\), \(\alpha >0\). To emphasize the occurrence of these three time scales (the time scale \(\varepsilon ^0=1\) of the external loading, the relaxation time \(\varepsilon\) of \(\mathsf {z}\), and the - possibly different - relaxation time \(\varepsilon ^\alpha\) of \(\mathsf {u}\)), the term ‘multi-rate system’ was used in [28]. Therein, as well as in [25], it was shown that, in the three cases \(\alpha \in (0,1)\), \(\alpha =1\) and \(\alpha >1\), the vanishing-viscosity analysis as \(\varepsilon \downarrow 0\) leads to different notions of Balanced-Viscosity solutions, including in particular different descriptions of time discontinuities. Indeed, the transition corresponding to a jump in time is characterized by a PDE system. In contrast, in the case of global minimization, the only condition to be satisfied at jumps is energy conservation.
Thus, along the lines of [28], in [10] the authors addressed the following, alternative, viscous regularization of system (1.1):
supplemented by the boundary conditions
where \(\mathbb {D}\) is a positive-definite fourth-order tensor. System (1.3) features a viscous regularization both in the damage flow rule and in the displacement equation and the plastic flow rule. Let us now illustrate the role of the various parameters appearing therein, namely the
-
(Vanishing-)viscosity parameter \(\varepsilon >0\),
-
(Vanishing-)hardening parameter \(\mu >0\),
-
Additional parameter \(\nu >0\), which was required to fulfill \(\nu \le \mu\) in order to get suitable a priori estimates. We have referred to \(\nu\) as a rate parameter, since it sets the mutual rate at which, on the one hand, the displacement and the plastic strain converge to equilibrium and rate-independent evolution, and, on the other hand, the damage parameter converges to rate-independent evolution. More precisely, if \(\nu >0\) stays fixed then u and p converge at the same rate as z, while their convergence occurs at a faster rate if \(\nu \downarrow 0\). This is clear if one chooses, e.g., \(\nu = \mu = \varepsilon\), so that the viscous terms \({\mathrm {E}}{(\dot{u})}\) and \(\dot{p}\) in (1.3a) and (1.3c) are modulated by the coefficient \(\varepsilon ^2\), as opposed to the coefficient \(\varepsilon\) in the damage flow rule. Observe that, upon taking the vanishing-hardening limit \(\mu \downarrow 0\), the constraint \(\nu \le \mu\) forces the joint vanishing-viscosity and vanishing-hardening limit to occur at a faster rate for u and p than for z.
We will refer to the vanishing-viscosity analyses in system (1.3) as full, as opposed to the partial vanishing-viscosity approximation provided by system (1.2), where only the damage flow rule is regularized.
Indeed, in [10] three full vanishing-viscosity analyses have been carried out for system (1.3), leading to three different notions of solution for system (1.1), possibly regularized by a hardening term. Let us briefly illustrate them.
-
(1)
\(\mathrm {BV}_0^{\mu ,\nu }\) solutions The limit passage in a (reparameterized) version of (1.3) as \(\varepsilon \downarrow 0\), while the positive parameters \(\mu\) and \(\nu\) stayed fixed, has led to \(\mathrm {BV}\) solutions for a variant of the system (1.1), where the plastic flow rule was regularized by the hardening term \(\mu p\), i.e., for the rate-independent system with hardening
$$\begin{aligned}&- \mathrm {div} ( \mathbb {C}(z) e) = f&\text { in } \Omega \times (0,T), \end{aligned}$$(1.4a)$$\begin{aligned}&\partial \mathrm {R}(\dot{z}) + A_{\mathrm {m}}(z)+ W'(z) \ni - \tfrac{1}{2}\mathbb {C}'(z)e : e&\text { in } \Omega \times (0,T), \end{aligned}$$(1.4b)$$\begin{aligned}&\partial _{\dot{p}} \mathrm {H}(z,\dot{p}) + { \mu }p \ni \sigma _{\mathrm {D}}&\text { in } \Omega \times (0,T), \end{aligned}$$(1.4c)coupled with the boundary conditions
$$\begin{aligned}& u=w \text { on } \Gamma _{\mathrm {Dir}}\times (0,T), \quad \sigma {\mathrm {n}}=g \text { on } \Gamma _{\mathrm {Neu}}\times (0,T),\\ &\partial _{\mathrm {n}}z =0 \text { on } \partial \Omega \times (0,T). \end{aligned}$$(1.4d)The \(\mathrm {BV}\) solutions to system (1.4) thus constructed reflect their origin from a system viscously regularized in all of the three variables u, z, p. In fact, in the jump regime the system may switch to viscous behavior in the three variables u, z, and p. This means that the states of the system before and after a time discontinuity are connected by a trajectory (reparameterized in a certain time scale), whose evolution may be governed by viscosity in u, z, and p, similarly to (1.3). Since the convergence of u, z, and p to elastic equilibrium and rate-independent evolution has occurred at the same rate (as \(\nu >0\) stayed fixed), viscous behavior in u, z, and p may equally intervene in the jump regime. We shall refer to such solutions as \(\mathrm {BV}_0^{\mu ,\nu }\) solutions to system (1.4). The subscript 0 suggests that they have been obtained in the vanishing-viscosity limit \(\varepsilon \downarrow 0\), while the occurrence of the parameter \(\mu\) keeps track of the presence of hardening. Also, the parameter \(\nu\) appears in the notation, since it still features in the limiting evolution as a coefficient of the viscous terms in the displacement equation and in the plastic flow rule, which may be active in the jump regime.
-
(2)
\(\mathrm {BV}_{0}^{\mu ,0}\) solutions The limit passage in a (reparameterized) version of (1.3) as \(\varepsilon \downarrow 0\) simultaneously with \(\nu \downarrow 0\), while \(\mu >0\) stayed fixed, has again led to \(\mathrm {BV}\) solutions for the rate-independent elasto-plastic damage system with hardening (1.4). These solutions still have the feature that, in the jump regime, the system may switch to viscous behavior in u, z, and p. However, \(\mathrm {BV}\) solutions thus obtained reflect the fact that the convergence of u and p to elastic equilibrium and rate-independent evolution has occurred at a faster rate (as \(\nu \downarrow 0\)) than that for z. To emphasize this, such solutions were termed \(\mathrm {BV}\) solutions to the multi-rate system for damage with hardening. We will refer to them as \(\mathrm {BV}_{0}^{\mu ,0}\) solutions to system (1.1). In this notation, the double occurrence of 0 relates to the fact that such solutions were obtained in the limit \(\varepsilon , \nu \downarrow 0\), as opposed to the \(\mathrm {BV}_0\) solutions from [8] (arising in the limit of system (1.3) as \(\varepsilon \downarrow 0\) and \(\mu =\nu =0\)).
-
(3)
\(\mathrm {BV}_0^{0,0}\) solutions The limit passage in a (reparameterized) version of (1.3) as \(\varepsilon , \, \mu , \, \nu \downarrow 0\) jointly led to \(\mathrm {BV}\) solutions to the multi-rate system for damage and perfect plasticity (1.1), again reflecting the fact that the convergence of u and p to elastic equilibrium and rate-independent, perfectly plastic evolution happened at a rate faster than that for z. The vanishing-viscosity solutions arising from this joint limit will receive specific attention in this paper. In what follows, we will refer to them as \(\mathrm {BV}_0^{0,0}\) solutions to system (1.1). Here, the triple occurrence of 0 relates to the fact that such solutions were obtained in the limit \(\varepsilon , \, \mu , \, \nu \downarrow 0\) and thus immediately suggests the comparison with the \(\mathrm {BV}_0\) solutions from [8].
1.3 Our results
The aim of this paper is twofold:
-
(i)
We propose to gain further insight into \(\mathrm {BV}_0^{0,0}\) solutions to system (1.1) (cf. item \(\#3\) in the above list). More precisely, first of all we shall provide a differential characterization of such solutions, cf. Proposition 3.11 ahead. This will be compared with a corresponding characterization of \(\mathrm {BV}_0\) solutions proved in Proposition 3.5. Moreover, relying on Proposition 3.11, in Theorem 4.1 we will subsequently prove that, after an initial phase in which z is constant while u and p, evolving by viscosity, relax to elastic equilibrium and to rate-independent evolution, respectively, it turns out that u never leaves the equilibrium, and p the rate-independent regime. Afterward, the evolution of system (1.1) is captured by the notion of \(\mathrm {BV}_0\) solution as obtained in [8] by taking the vanishing-viscosity limit as \(\varepsilon \downarrow 0\) of system (1.2). In other words, viscosity in u and p (may) intervene only in an initial phase in the reparameterized time scale, corresponding to a time discontinuity in the time scale of the loading. After this initial phase, the \(\mathrm {BV}_0^{0,0}\) solutions to the perfectly plastic system for damage (1.1) arising by the full vanishing-viscosity approach of [10] comply with the same notion of solution of [8], where viscosity for u and p was neglected.
We point out that an analogous characterization can be proved for the \(\mathrm {BV}_{0}^{\mu ,0}\) solutions to the multi-rate system with fixed hardening parameter \(\mu >0\), obtained in the limit passage \(\#2\) of the above list; see Remark 5.2 ahead.
-
(ii)
We aim to ‘close the circle’ in the analysis of the singular limits of system (1.3), by showing that, for two given sequences \((\mu _k)_k,\, (\nu _k)_k \subset (0,+\infty )\) with \(0 < \nu _k \le \mu _k \downarrow 0\) as \(k\rightarrow \infty\),
-
(1)
\(\mathrm {BV}_0^{\mu _k,\nu _k}\) solutions to the single-rate system with hardening converge as \(k\rightarrow \infty\) to a \(\mathrm {BV}_0^{0,0}\) solution of the perfectly plastic damage system, which will be shown in Theorem 5.6 ahead;
-
(2)
\(\mathrm {BV}_{0}^{\mu _k,0}\) solutions to the multi-rate system with hardening converge as \(k\rightarrow \infty\) to a \(\mathrm {BV}_0^{0,0}\) solution, cf. Theorem 5.3.
In particular, we will prove that the diagram in Fig. 1 commutes.
-
(1)
The diagram displays the asymptotic relations between different notions of solution. The symbol \(\mathrm {V}_\varepsilon ^{\mu ,\nu }\) indicates solutions to the viscous system (1.3). Solid lines represent convergences (along sequences) to the limiting solutions of type \(\mathrm {BV}_0^{\mu ,\nu }\), \(\mathrm {BV}_{0}^{\mu ,0}\), \(\mathrm {BV}_0^{0,0}\), already proved in [10, Sections 6.1, 6.2, 7]. Dashed lines represent convergences proved in the present paper, the corresponding theorems being referred to in the diagram. Starting from \(\mathrm {V}_\varepsilon ^{\mu ,\nu }\) one may either pass to the limit as \(\varepsilon \downarrow 0\) and then as \(\mu ,\,\nu \downarrow 0\); or pass to the limit as \(\varepsilon ,\,\nu \downarrow 0\) and then as \(\mu \downarrow 0\). Since there is no uniqueness, it is not guaranteed that one gets the very same solution found in the joint limit \(\varepsilon , \, \mu , \, \nu \downarrow 0\). However, we prove that through the three different procedures one finds evolutions satisfying the same notion of solution. In this sense, we may say that the diagram commutes
We emphasize that these results establish asymptotic relations between \(\mathrm {BV}\) solutions, already obtained as vanishing-viscosity limits. These convergence analyses show that \(\mathrm {BV}_0^{0,0}\) solutions are robust enough to capture the asymptotic behavior of a wide class of \(\mathrm {BV}\) solutions depending on different parameters. However, \(\mathrm {BV}_0^{0,0}\) solutions reduce to \(\mathrm {BV}_0\) solutions after an initial phase in which u and p converge to elastic equilibrium and stability, respectively; in particular, if the initial conditions are at equilibrium, then the two notions of solution coincide. This feature may be traced back to the convex character of perfect plasticity and to the multi-rate character inherent to the system, since with \(\nu \downarrow 0\) we have forced faster convergence to equilibrium in u and stability in p.
1.4 Plan of the paper
In Sect. 2, we detail the setup of the problem, list our assumptions and provide some preliminary results. In Sect. 3, we illustrate the notion of \(\mathrm {BV}_0\) solution to system (1.1) arising from the partial vanishing-viscosity approach of [8], and that of \(\mathrm {BV}_0^{0,0}\) solution via the full vanishing-viscosity analysis in [10]. In Sect. 4, we establish Theorem 4.1, providing a complete characterization of \(\mathrm {BV}_0^{0,0}\) solutions. Section 5 is devoted to the vanishing-hardening analysis of \(\mathrm {BV}_{0}^{\mu ,0}\) and \(\mathrm {BV}_0^{\mu ,\nu }\) solutions to the system with hardening. The proofs of Theorems 5.3 and 5.6 rely on some technical results collected in the “Appendix”.
2 Setup and preliminaries
Throughout the paper, we will use the following
Notation 2.1
(General notation and preliminaries) Let X be a Banach space. By \(_{ }\mathop {{\mathop {\mathop {\langle \cdot , \cdot \rangle }}\nolimits _{ X }}}\limits\), we denote the duality between \(X^*\) and X or between \((X^n)^*\) and \(X^n\) (whenever X is a Hilbert space, \(_{ }\mathop {{\mathop {\mathop {\langle \cdot , \cdot \rangle }}\nolimits _{ X }}}\limits\) will be the inner product), while \(\Vert \cdot \Vert _{X}\) stands for the norm in X or in \(X^n\). The inner Euclidean product in \(\mathbb {R}^n\), \(n\ge 1\), is denoted by \(_{ }\mathop {{\mathop {\mathop {\langle \cdot , \cdot \rangle }}\nolimits _{ }}}\limits\) and the Euclidean norm in \(\mathbb {R}^n\) by \(|\cdot |\). The symbol \(B_r(0)\) stands for the open ball in \(\mathbb {R}^n\) with radius r and center 0.
We write \(\Vert \cdot \Vert _{L^p}\) for the \(L^p\)-norm on the space \(L^p(O;\mathbb {R}^d)\), with O a measurable subset of \(\mathbb {R}^n\) and \(1\le p<+\infty\), and similarly \(\Vert \cdot \Vert _{H^{\mathrm {m}}}\) for the norm of the Sobolev-Slobodeskij space \(H^{\mathrm {m}}(O)\), for \(0\le \mathrm{m}\in \mathbb {R}\). The symbol \(\mathrm {M}_{\mathrm {b}}(O;\mathbb {R}^d)\) stands for the space of \(\mathbb {R}^d\)-valued bounded Radon measures in O.
The space of symmetric \((n{\times }n)\)-matrices is denoted by \({\mathbb {M}^{n\times n}_{\mathrm {sym}}}\), while the subspace of the deviatoric matrices with null trace is denoted by \({\mathbb M}^{n{\times }n}_{\mathrm {D}}\). One has \({\mathbb {M}^{n\times n}_{\mathrm {sym}}}= {\mathbb M}^{n{\times }n}_{\mathrm {D}}\oplus \mathbb {R}I\), where I is the identity matrix, i.e., any \(\eta \in {\mathbb {M}^{n\times n}_{\mathrm {sym}}}\) can be decomposed as \(\eta = \eta _\mathrm {D}+ \frac{\mathrm {tr}(\eta )}{n} I\), where \(\eta _\mathrm {D}\) is the orthogonal projection of \(\eta\) onto \({\mathbb M}^{n{\times }n}_{\mathrm {D}}\). The latter is called the deviatoric part of \(\eta\). The symbol \(\mathrm {Sym}({\mathbb M}^{n{\times }n}_{\mathrm {D}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\) stands for the set of symmetric endomorphisms on \({\mathbb M}^{n{\times }n}_{\mathrm {D}}\).
Given a function \(v:\Omega \times (0,T)\rightarrow \mathbb {R}\) differentiable, w.r.t. time a.e. on \(\Omega \times (0,T)\), its (almost everywhere defined) partial time derivative is indicated by \(\dot{v}:\Omega \times (0,T)\rightarrow \mathbb {R}\). A different notation will be employed when considering v as a (Bochner) function, from (0, T) with values in a Lebesgue or Sobolev space X (with the Radon–Nikodým property): if \(v\in \mathrm {AC}([0,T];X)\), then its (almost everywhere defined) time derivative is indicated by \(v':(0,T) \rightarrow X\).
The symbols \(c,\,c',\, C,\,C'\) will denote positive constants whose precise value may vary from line to line (or within the same line). We will sometimes employ the symbols \(I_i\), \(i = 0, 1,...\), as place-holders for terms appearing in inequalities: also in this case, such symbols may appear in different proofs with different meaning.
2.1 Functions of bounded deformation
The state space for the displacement variable for the systems with hardening will be
(recall that \(\Gamma _\mathrm {Dir}\) is the Dirichlet part of \(\partial \Omega\), cf. (2.\(\Omega\)) ahead).
For the perfectly plastic damage system, displacements will belong to the space of functions of bounded deformations, defined by
with \(\mathrm {M}_{\mathrm {b}}(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) the space of \({\mathbb {M}^{n\times n}_{\mathrm {sym}}}\)-valued bounded Radon measures on \(\Omega\).
We recall that \(\mathrm {M}_{\mathrm {b}}(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) can be identified with the dual of the space \(\mathrm {C}^0_0(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) of continuous \({\mathbb {M}^{n\times n}_{\mathrm {sym}}}\)-valued functions vanishing at the boundary of \(\Omega\). The space \(\mathrm {BD}(\Omega )\) has a Banach structure if equipped with the norm
Indeed, \(\mathrm {BD}(\Omega )\) is the dual of a normed space, cf. [33], and such duality provides a weak\(^*\) convergence on \(\mathrm {BD}(\Omega )\): a sequence \((u_k)_k\) converges to u weakly\(^*\) in \(\mathrm {BD}(\Omega )\) if \(u_k\rightharpoonup u\) in \(L^1(\Omega ;\, \mathbb {R}^n)\) and \(\mathrm {E}(u_k)\overset{*}{\rightharpoonup }\mathrm {E}(u)\) in \(\mathrm {M}_{\mathrm {b}}(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\). It holds \(\mathrm {BD}(\Omega )\subset L^{n/(n{-}1)}(\Omega ;\, \mathbb {R}^n)\). Up to subsequences, every bounded sequence in \(\mathrm {BD}(\Omega )\) converges weakly*, weakly in \(L^{n/(n{-}1)}(\Omega ;\, \mathbb {R}^n)\), and strongly in \(L^{p}(\Omega ;\, \mathbb {R}^n)\) for any \(1\le p <\frac{n}{n-1}\). Finally, we recall that the trace \(u|_{\partial \Omega }\) of a function \(u \in \mathrm {BD}(\Omega )\) is well defined and is an element in \(L^1(\partial \Omega ;\, \mathbb {R}^n)\).
2.1.1 A divergence operator
First of all, we observe that any \(\sigma \in {L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})}\) such that \(\mathrm {div}\, \sigma \in L^2(\Omega ;\, \mathbb {R}^n)\) induces the distribution \([\sigma {\mathrm {n}}]\) defined by
By [22, Theorem 1.2] and [13, (2.24)] we have that \([\sigma {\mathrm {n}}] \in H^{-1/2}(\partial \Omega ;\, \mathbb {R}^n)\); moreover, if \(\sigma \in \mathrm {C}^0(\overline{\Omega };{\mathbb {M}^{n\times n}_{\mathrm {sym}}})\), then the distribution \([\sigma {\mathrm {n}}]\) fulfills \([\sigma {\mathrm {n}}] = \sigma {\mathrm {n}}\), where the right-hand side is the standard pointwise product of the matrix \(\sigma\) and the normal vector \({\mathrm {n}}\) in \(\partial \Omega\).
For the treatment of the perfectly plastic system for damage, it will be crucial to work with the space
Furthermore, our choice of external loadings (see (2.8a)) will ensure that the stress fields \(\sigma\) that we consider, at equilibrium, have the additional property that \([\sigma {\mathrm {n}}] \in L^\infty (\Omega ;\, \mathbb {R}^n)\) and \(\sigma \in \Sigma (\Omega )\) (cf. Lemma 3.1). Therefore, any of such fields induces a functional \(-\mathrm {Div}\,\sigma \in \mathrm {BD}(\Omega )^*\) via
With slight abuse of notation, we shall denote by \(-\mathrm {Div}\,\sigma\) also the restriction of the above functional to \(H^1(\Omega ;\, \mathbb {R}^n)^*\).
2.1.2 The \(A_{\mathrm {m}}\)-Laplacian
The damage flow rule features a gradient regularizing contribution in terms of the \(A_{\mathrm {m}}\)-Laplacian operator, that is defined from the bilinear form \(a_{\mathrm {m}}: H^{\mathrm {m}}(\Omega ) \times H^{\mathrm {m}}(\Omega ) \rightarrow \mathbb {R},\)
Then,
The inner product \(_{ }\mathop {{\mathop {\mathop {\langle z_1 , z_2 \rangle }}\nolimits _{ H^{\mathrm {m}}(\Omega ) }}}\limits : = \int _\Omega z_1 z_2 \;\!\mathrm {d}x + a_{\mathrm {m}}(z_1,z_2)\) makes \(H^{\mathrm {m}}(\Omega )\) a Hilbert space. Throughout the paper, we shall assume \(\mathrm {m}>\tfrac{n}{2}\) and rely on the compact embedding \(H^{\mathrm {m}}(\Omega )\Subset \mathrm {C}^0({\overline{\Omega }})\).
2.2 Assumptions and preliminary results
This section and Sect. 2.3 collect all our assumptions on the constitutive functions of the model and on the problem data. We will omit to invoke them explicitly in the statement of the various results.
2.2.1 The reference configuration
In what follows, we will assume that \(\Omega \subset \mathbb {R}^n\), \(n\in \{2,3\}\), is a bounded Lipschitz domain satisfying the so-called Kohn–Temam condition:
Notice that the additional \(\mathrm {C}^2\) regularity is only required close to the set \(\Sigma\) where the Dirichlet and the Neumann boundary meet. This is a technical assumption needed to interpret the stress-strain duality (2.9) as a measure.
2.2.2 The elasticity and viscosity tensors
We assume that the elastic tensor \(\mathbb {C}: [0,+\infty ) \rightarrow \mathrm {Lin}({\mathbb {M}^{n\times n}_{\mathrm {sym}}};{\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) fulfills the following conditions
For the viscosity tensor \(\mathbb {D}\), we require that
Thus, \(\mathbb {D}\) induces an equivalent (by a Korn–Poincaré-type inequality) Hilbert norm on \(H_\mathrm {Dir}^1(\Omega ;\, \mathbb {R}^n)\), i.e.,
The related ‘dual norm’ is
2.2.3 The potential energy for the damage variable
In addition to the regularizing, nonlocal gradient contribution featuring the bilinear form \(a_{\mathrm {m}}\), the z-dependent part of the mechanical energy functional shall feature a further term with density W satisfying
where \(W\in \mathrm{C}^0([0,+\infty ); \mathbb {R}^+\cup \{+\infty \})\) means that \(W(0)=\infty\) and \(W(z)\rightarrow +\infty\) if \(z\downarrow 0\), in accordance with (\(2.W_2\)).
Indeed, the energy contribution involving W forces z to be strictly positive; consequently, the material never reaches the most damaged state at any point.
2.2.4 The plastic and the damage dissipation densities
The plastic dissipation potential shall reflect the requirement that the admissible stresses belong to given constraint sets which, in turn, depend on the damage variable z. More precisely, as in [8] we ask that the constraint sets \((K(z))_{z\in [0,+\infty )}\) fulfill
with \(d_{\mathscr {H}}\) the Hausdorff distance between two subsets of \({\mathbb M}^{n{\times }n}_{\mathrm {D}}\), defined by
The associated support function \(H:[0,+\infty ) \times {\mathbb M}^{n{\times }n}_{\mathrm {D}}\rightarrow [0,+\infty )\), defined by
will act as density function for the plastic dissipation potential, cf. (2.14) later on.
We choose as damage dissipation density the function \(\mathrm {R} : \mathbb {R}\rightarrow [0,+\infty ]\) given by
with \(\kappa >0\) a constant related to the toughness of the material.
2.2.5 Body and surface forces, Dirichlet loading, and initial data
We assume that the volume force f and the assigned traction g fulfill
The induced total load is the function \(F:[0,T] \rightarrow \mathrm {BD}(\Omega )^*, \)
Furthermore, as customary for perfect plasticity, we shall impose a uniform safe load condition, namely that there exists
and there exists \(\alpha >0\) such that for every \(t\in [0,T]\) (recall (2.1))
Observe that, combining (2.8a) with (2.8b)–(2.8d) yields \(-\mathrm {Div}\,\varrho (t)=F(t)\) for all \(t \in [0,T]\).
As for the time-dependent Dirichlet boundary condition w, we assume that
Finally, we shall consider initial data \(q_0=(u_0, z_0, p_0)\) with
2.2.6 The stress-strain duality
For the treatment of the perfectly plastic damage system, it is essential to resort to a suitable notion of stress-strain duality that we borrow from [13, 22], also relying on [17] for the extension to Lipschitz boundaries satisfying (2.\(\Omega\)). Following [13], we introduce the class A(w) of admissible displacements and strains associated with a function \(w \in H^1(\mathbb {R}^n; \mathbb {R}^n)\), that is
where \(\mathrm {n}\) denotes the normal vector to \(\partial \Omega\) and \(\odot\) the symmetrized tensorial product. The space of admissible plastic strains is
Given \(\sigma \in \Sigma (\Omega )\) (cf. (2.2)), \(p \in \Pi (\Omega )\), and \(u,\,e\) such that \((u,e,p)\in A(w)\), we define
for every \(\varphi \in \mathrm {C}^\infty _c(\mathbb {R}^n)\); in fact, this definition is independent of u and e. Under these assumptions, \(\sigma \in L^r(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) for every \(r < \infty\), and \([\sigma _\mathrm {D}:p]\) is a bounded Radon measure with \(\Vert [\sigma _\mathrm {D}:p]\Vert _1\le \Vert \sigma _\mathrm {D}\Vert _{ L^\infty }\Vert p\Vert _1\) in \(\mathbb {R}^n\). Restricting such measure to \(\Omega \cup \Gamma _{\mathrm {Dir}}\), we set
By (2.\(\Omega\)) and (2.9), since \(u\in \mathrm {BD}(\Omega ) \subset L^{\frac{n}{n-1}}(\Omega ;\, \mathbb {R}^n)\), we get the following integration by parts formula, valid if the distribution \([\sigma {\mathrm {n}}]\) defined in (2.1) belongs to \(\in L^\infty (\Gamma _{\mathrm {Neu}};\mathbb {R}^n)\):
for every \(\sigma \in \Sigma (\Omega )\) and \((u,e,p)\in A(w)\). We refer to [17] for the properties mentioned above.
2.3 Energetics
A key ingredient for the construction of \(\mathrm {BV}\) solutions to the rate-independent systems (1.1) (damage with perfect plasticity) and (1.4) (damage and plasticity with hardening) is the observation that their rate-dependent regularizations (1.2) and (1.3) have a gradient-system structure. Namely, they can be reformulated in terms of the generalized gradient flow
for suitable choices of
-
The state space \({\mathbf {Q}}\) for the triple \(q= (u,z,p)\);
-
The driving energy functional \({\mathcal {E}}: (0,T) \times {\mathbf {Q}}\rightarrow \mathbb {R}\cup \{+\infty \}\);
-
The dissipation potential \(\Psi : {\mathbf {Q}}\rightarrow [0,+\infty ]\), with convex analysis subdifferential \(\partial \Psi : {\mathbf {Q}}\rightrightarrows {\mathbf {Q}}^*\),
as rigorously proved in [10]. Observe that also the rate-independent systems (1.1) and (1.4) have a gradient structure that is, however, only formal due to the fact that the functions u, z, and p may have jumps as functions of time. Nonetheless, for our analysis it is crucial to detail the energetics underlying both the rate-dependent and the rate-independent systems.
2.3.1 The state spaces
The state space for the rate-dependent/independent damage systems with hardening is
For the rate-independent damage system with perfect plasticity, the displacements are just functions of bounded deformation and the plastic strains are only bounded Radon measures on \(\Omega \cup \Gamma _\mathrm {Dir}\), so that the associated state space is
Observe that in the definition of \({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) it is in fact required that \((u,e,p) \in A(0)\): indeed, the condition \(u \odot \mathrm {n} \, \mathscr {H}^{n-1} + p =0\) is a relaxation of the homogeneous Dirichlet condition \(u=0\) on \(\Gamma _{\mathrm {Dir}}\).
2.3.2 The energy functionals
The energy functional governing the rate-dependent and rate-independent systems with hardening (1.3) and (1.4), respectively, consists of
-
(1)
a contribution featuring the elastic energy
$$\begin{aligned} {\mathcal {Q}}(z,e) = \int _\Omega \tfrac{1}{2} \mathbb {C}(z) e: e \;\!\mathrm {d}x; \end{aligned}$$ -
(2)
the potential energy for the damage variable and for the hardening term;
-
(3)
the time-dependent volume and surface forces.
Namely, for \(\mu >0\) given, \({\mathcal {E}}_{\mu } :[0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\rightarrow \mathbb {R}\cup \{ +\infty \}\) is defined by
In what follows, we will use the short-hand notation
for the elastic part of the strain tensor.
The energy functional for the rate-independent perfectly plastic damage system (1.1) is \({\mathcal {E}}_0: [0,T]\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\rightarrow \mathbb {R}{\cup }\{+\infty \}\) given by
Observe that
2.3.3 The dissipation potentials
The dissipation density \(\mathrm {R}\) from (2.7) clearly induces an integral functional \({\mathcal {R}}:L^1(\Omega ) \rightarrow [0,+\infty ]\). However, since the damage flow rule will be posed in \(H^{\mathrm {m}}(\Omega )^*\) (cf. (2.20) ahead), we will restrict \({\mathcal {R}}\) to the space \(H^{\mathrm {m}}(\Omega )\), denoting the restriction by the same symbol. Hence, we will work with the functional
and with its convex analysis subdifferential \(\partial {\mathcal {R}}: H^{\mathrm {m}}(\Omega ) \rightrightarrows H^{\mathrm {m}}(\Omega )^*\). We will often use the following characterization of \(\partial {\mathcal {R}}\), due to the 1-homogeneity of the potential \({\mathcal {R}}\):
For the systems with hardening (i.e., (1.3) and (1.4)), the plastic dissipation potential \(\mathcal {H} :{\mathrm {C}}^0(\overline{\Omega }; [0,+\infty )) \times L^1(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}}) \rightarrow \mathbb {R}\) is defined by
where H is given by (2.6) and \(\pi\) is a place-holder for the plastic rate \(\dot{p}\). Its convex analysis subdifferential \(\partial _\pi {\mathcal {H}}:{\mathrm {C}}^0(\overline{\Omega }; [0,+\infty )) \times L^1(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\rightrightarrows L^\infty (\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\), w.r.t. the second variable \(\pi\), given by
fulfills
A characterization analogous to (2.17) holds for the subdifferential \(\partial _\pi {\mathcal {H}}(z,\cdot ) :L^1(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\rightrightarrows L^\infty (\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\).
In order to handle the perfectly plastic system for damage, the plastic dissipation potential \(\mathcal {H}(z,\cdot )\) has to be extended to the space \({\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\). We define \(\mathcal {H}_{\scriptstyle \tiny \mathrm {PP}}:{\mathrm {C}}^0(\overline{\Omega }; [0,1]) \times {\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\rightarrow \mathbb {R}\) by
where \(\mu \in {\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\) is a positive measure such that \(\pi \ll \mu\) and \(\frac{\mathrm {d} \pi }{\mathrm {d}\mu }\) is the Radon–Nikodým derivative of p with respect to \(\mu\); by one-homogeneity of \(H(z(x),\cdot )\), the definition of \(\mathcal {H}_{\scriptstyle \tiny \mathrm {PP}}\) does not depend of \(\mu\). For the theory of convex functions of measures, we refer to [19]. By [2, Proposition 2.37], for every \(z \in {\mathrm {C}}^0(\overline{\Omega };[0,1])\) the functional \(p \mapsto \mathcal {H}_{\scriptstyle \tiny \mathrm {PP}}(z,p)\) is convex and positively one-homogeneous. We recall that by Reshetnyak’s lower semicontinuity theorem, if \((z_k)_k\subset {\mathrm {C}}^0({\overline{\Omega }};[0,1])\) and \((\pi _k)_k\subset {\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\) are such that \(z_k \rightarrow z\) in \({\mathrm {C}}^0({\overline{\Omega }})\) and \(\pi _k \rightharpoonup \pi\) weakly\(^*\) in \({\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\), then
Finally, from [17, Proposition 3.9] it follows that for every \(\sigma \in \mathcal {K}_z(\Omega )\)
In particular, we have
The (partially) viscously regularized system (1.2) also features the 2-homogeneous dissipation potential
while the (fully) viscously regularized system (1.3) additionally involves the quadratic potentials
2.3.4 The gradient structure for system (1.3)
It was proved in [10, Lemma 3.3] that for every \(t\in [0,T]\) the functional \((u,z,p) = q \mapsto {\mathcal {E}}_\mu (t,q)\) is Fréchet differentiable on its domain \([0,T]\times \mathbf {D}\), with \(\mathbf {D}= \{ (u,z,p) \in {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\, : \ z>0 \text { in } \overline{\Omega }\}\), and that for all \(q \in {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\) the function \(t\mapsto {\mathcal {E}}_\mu (t,q)\) belongs to \(H^1(0,T)\). Relying on this, it was shown that system (1.3) reformulates as the generalized gradient system
involving the overall dissipation potential
and its rescaled version
3 The partial versus the full vanishing-viscosity approach
In this section, we aim to gain further insight into the notion of \(\mathrm {BV}_0^{0,0}\) solution to system (1.1) arising from the full vanishing-viscosity approach of [10] and compare it with the \(\mathrm {BV}_0\) concept from [8]. In order to properly introduce both notions, it can be useful to recall the reparameterized energy-dissipation balance where one passes to the limit to obtain Balanced Viscosity solutions.
At this heuristic stage, we will treat the partial vanishing-viscosity approximation of [8] and the full approximation of [10] in a unified way, although at the level of the viscous approximation in [8] there is the significant difference that the plastic strain evolves rate-independently. Still, we will disregard this and instead focus on the similarities between the rate-dependent systems (1.3) (wherefrom the \(\mathrm {BV}_0^{0,0}\) solutions of [10] stem), and (1.2) (wherefrom the \(\mathrm {BV}_0\) solutions of [8]). In fact, (1.2) can be formally obtained from [10] by setting \(\nu =\mu =0\). That is why, in what follows to fix the main ideas we will illustrate the limit passage in the energy-dissipation balance associated with system (1.3).
Throughout this section and the remainder of the paper, we will suppose that the assumptions of Sect. 2 are in force without explicitly invoking them.
3.1 The energy-dissipation balance for the viscous system
As observed in [10, Proposition 3.4], a curve \(q = (u,z,p)\in H^1(0,T;\, {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\) is a solution to (1.3), namely to the generalized gradient system (2.20), if and only if it satisfies the energy-dissipation balance
for every \(t\in [0,T]\). Let us now consider a family \((q_{\varepsilon ,\nu }^\mu )\) of solutions to (2.20). In [10], suitable a priori estimates, uniform w.r.t. the parameters \(\varepsilon , \nu , \mu >0\), for the length (measured in an appropriate norm) of the curves \(q_{\varepsilon ,\nu }^\mu\) were derived. Based on such estimates, it is possible to reparameterize such curves, obtaining parameterized curves defined on an ‘artificial’ time interval [0, S]
and \(\textsf {s} _{\varepsilon ,\nu }^\mu\) (suitable) arclength functions associated with the curves \((q_{\varepsilon ,\nu }^\mu )\). Now, in terms of the parameterized curves \((\textsf {t} _{\varepsilon ,\nu }^\mu ,\textsf {q} _{\varepsilon ,\nu }^\mu )\), (3.1) translates into the reparameterized energy-dissipation balance
featuring the functional \({\mathcal {M}}_{\varepsilon }^{\mu ,\nu }: [0,T]\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\times (0,+\infty ) \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\rightarrow [0,+\infty ]\)
with the reduced functional
and
In (3.4), \(\Vert \cdot \Vert _{ H^1, \mathbb {D}}\) and \(\Vert \cdot \Vert _{( H^1, \mathbb {D})^*}\) are the norms introduced in (2.4) and (2.5), while the distance functional \(\widetilde{d}_{L^2(\Omega )}( \cdot , \partial {\mathcal {R}}(0)): H^{\mathrm {m}}(\Omega )^* \rightarrow [0,+\infty ]\) is defined by
Clearly, the functional \({\mathcal {M}}_{\varepsilon }^{\mu ,\nu }\) from (3.3) encompasses, in the energy-dissipation balance (3.2), the competition between viscous dissipation and tendency to relax toward equilibrium & rate-independent behavior. In fact, viscous dissipation is encoded in the term \(\mathcal {D}_\nu ({q}')\), which is modulated by the viscosity parameter \(\varepsilon\). In turn, the relaxation to rate-independent behavior is encompassed in the term \(\mathcal {D}_\nu ^{*,\mu }({t},{q})\), modulated by \(\tfrac{1}{\varepsilon }\).
Now, the concepts of \(\mathrm {BV}_0\) and \(\mathrm {BV}_0^{0,0}\) solutions to system (1.1) are defined in terms of parameterized energy-dissipation balances akin to (3.2). These energy identities involve a (positive) vanishing-viscosity potential \({\mathcal {M}}\) that is defined on \([0,T]\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\times [0,+\infty ) \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) (recall that \({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) is the state space for the perfectly plastic damage system, cf. (2.11)). At least formally, \({\mathcal {M}}\) arises as \(\Gamma\)-limit
-
Of the functionals \(({\mathcal {M}}_{\varepsilon }^{0,0})_\varepsilon\) as \(\varepsilon \downarrow 0\), in the case of the vanishing-viscosity analysis in [8] (recall that system (1.2) is formally a particular case of (1.3), with \(\nu =\mu =0\));
-
Of \(({\mathcal {M}}_{\varepsilon }^{\mu ,\nu })_{\varepsilon ,\nu ,\mu }\) as \(\varepsilon , \, \nu ,\, \mu \downarrow 0\), in the case of the joint vanishing-viscosity and hardening analysis in [10].
However, in order to rigorously define the vanishing-viscosity contact potentials \({\mathcal {M}}\) relevant for the two concepts of \(\mathrm {BV}\) solutions we will need to provide some technical preliminaries in the following section.
3.2 Preliminary definitions
The vanishing-viscosity potentials at the core of the definitions of \(\mathrm {BV}_0\) solutions in [8] and \(\mathrm {BV}_0^{0,0}\) solutions in [10] have a structure akin to that of the functional \({\mathcal {M}}_{\varepsilon }^{\mu ,\nu }\) from (3.3), but they are tailored to the driving energy \({\mathcal {E}}_0\) (2.12) for the perfectly plastic system. Recalling the definition of \({\mathcal {M}}_{\varepsilon }^{\mu ,\nu }\), it is thus clear that, in order to define such vanishing-viscosity potentials, one needs suitable surrogates of the \((\mathbb {D}, H^1)^*\)-norm of \({\mathrm {D}}_u {\mathcal {E}}_0(t,q)\), and of the \(L^2\)-distance of \({\mathrm {D}}_p {\mathcal {E}}_0(t,q)\) from the stable set \(\partial _\pi \mathcal {H}(z,0)\), cf. (3.4). Indeed, such quantities are no longer well defined for the functional \({\mathcal {E}}_0\) at every \((t,q) \in [0,T]\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\); instead, note that the \(L^2\)-distance, in the sense of (3.5), of \({\mathrm {D}}_z {\mathcal {E}}_0(t,q)\) from the stable set \(\partial {\mathcal {R}}(0)\) still makes sense. Following [10, Sect. 7], we will set at every \((t,q) \in \mathrm {dom}({\mathcal {E}}_0) =[0,T]\times \mathbf {D}\) (cf. (2.13))
with \(\sigma (t)= \mathbb {C}(z) e(t)\) and \(e(t) = {\mathrm {E}}(u+w(t))-p\). Observe that the expressions in (3.6a) and (3.6b) are well defined since e(t) and, a fortiori, \(\sigma (t)\) are elements in \(L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\) whenever \((u,z,p) \in {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\). Formulae (3.6a) and (3.6b) have been inspired by the obvious fact that
and by the formula
\(\text {for every } \varsigma \in L^2(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}}),\) which was proved in [10, Lemma 3.6]. In particular, we note that for every \(q\in \mathrm {D}\)
while
For later use, we also record here the following result.
Lemma 3.1
For every \((t,q)\in [0,T]\times \mathbf {D}\), there holds
with \(\sigma (t) = \mathbb {C}(z) e(t)\) and \(e(t) = \mathrm {E}(e+w(t)) -p\).
Proof
The implication \(\Rightarrow\) was proved in [10, Lemma 7.4]. A close perusal of the proof, also mimicking the convexity arguments from [13, Prop. 3.5], also yields the converse implication. \(\square\)
We then set
We are now in a position to define the vanishing-viscosity contact potentials involved in the definitions of \(\mathrm {BV}\) solutions in [8] and [10]. We will use the notation \(I_{\{0\}}\) for the indicator function of the singleton \(\{0\}\), namely
3.3 \(\mathrm {BV}_0\) solutions via the partial vanishing-viscosity approach
The vanishing-viscosity contact potential for the \(\mathrm {BV}_0\) solutions from [8] is the functional
where for \(q=(u,z,p)\) and \(q'=(u',z',p')\) we have
and
Observe that the definition of \({\mathcal {M}}_0(t,q,0,q')\) again reflects, in the jump regime, the tendencies of the system to evolve viscously and to relax toward equilibrium and rate-independent evolution. However, here viscous dissipation only affects the damage variable. Likewise, rate-independent behavior is solely encompassed by the relation \(\widetilde{d}_{L^2} ({-}\mathrm {D}_z {\mathcal {E}}_0 (t,q),\partial {\mathcal {R}}(0)) =0\).
Let us now detail the properties of the parameterized curves providing \(\mathrm {BV}_0\) solutions.
Definition 3.2
We call a parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} ):[0,S] \rightarrow [0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) admissible if it satisfies
We will denote by \(\mathcal {A}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) the class of admissible parameterized curves from [0, S] to \([0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\).
We are now in a position to give the definition of Balanced Viscosity solution in the sense of [8].
Definition 3.3
We call an admissible parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} )\in \mathcal {A}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) a Balanced Viscosity solution for the perfectly plastic damage system (1.1) in the sense of [8] (a \(\mathrm {BV}_0^{0,0}\) solution, for short), if it satisfies the energy-dissipation balance
for every \(0 \le s_1 \le s_2 \le S\).
The existence of \(\mathrm {BV}_0\) solutions was proved in [8, Thm. 5.4] under the condition that the initial data \(q_0=(u_0, z_0, p_0)\) for the perfectly plastic damage system (1.1) fulfill (2.8f) and the additional condition that
3.4 A differential characterization for \(\mathrm {BV}_0\) solutions
We now aim to provide a differential characterization for the notion of \(\mathrm {BV}\) solution from Definition 3.2, in terms of a suitable system of subdifferential inclusions for the displacement variable (which in fact shall satisfy the elastic equilibrium equation), the damage variable, and the plastic strain. In order to properly formulate the flow rule governing the latter, we need the following result; the proof of one implication can be found [8], in turn based on arguments from [13].
Lemma 3.4
Let an admissible parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {e} , \textsf {p} ) \in \mathcal {A}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) satisfy
with \({\upsigma }(s) = \mathbb {C}(\textsf {z} (s)) \textsf {e} (s)\), \(\textsf {e} (s) = e (\textsf {t} (s))\), and \(\langle \cdot \, |\, \cdot \rangle\) the stress-strain duality from (2.10).
Then, \((\textsf {t} ,\textsf {q} )\) satisfies Hill’s maximum work principle
where the above equality holds in the sense of measures on \(\Omega \cup \Gamma _{\mathrm {Dir}}\), with \([{\upsigma }_\mathrm {D}(s):\textsf {p} '(s)]\) the distribution defined in (2.9). Furthermore, defining \(\mu (s): = \mathcal {L}^n + | \textsf {p} '(s)|\) for every \(s\in [0,S]\), there exists \(\widehat{{\upsigma }}_\mathrm {D}(s) \in L_{\mu (s)}^\infty (\Omega {\cup } \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\) such that for almost all \(s\in (0,S)\) the following properties hold:
Conversely, (3.16) imply (3.15) which, in turn, gives (3.14).
Proof
We refer to [8, Prop. 6.5] for the proof of the fact that (3.14) implies (3.15) and (3.16). In turn, recalling (2.15), from (3.16c) we infer that
Combining this with (3.16a) and (3.16b), we conclude (3.15), which yields (3.14) in view of the definition (2.16) of \(\mathcal {H}_{\scriptstyle \tiny \mathrm {PP}}\), and of the definition (2.10) of the stress-strain duality product. \(\square\)
It is in the sense of (3.16) that we need to understand the (formally written) inclusion \(\partial _\pi H(\textsf {z} , \textsf {p} '\ni {\upsigma }_\mathrm {D}\).
We are now in a position to prove the following differential characterization for the concept of \(\mathrm {BV}\) solution from [8]. We mention in advance that, for notational simplicity, in (3.18b) we have simply written \(\textsf {z} '(s)\) in place of \(J( \textsf {z} '(s) )\), with \(J: L^2(\Omega ) \rightarrow H^{\mathrm {m}}(\Omega )^*\) the Riesz operator.
Proposition 3.5
An admissible parameterized curve \((\textsf {t} ,\textsf {q} )\in \mathcal {A}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) is a \(\mathrm {BV}_0\) solution to system (1.1) if and only if there exists a measurable function \(\lambda _{\mathsf {z}}: [0,S]\rightarrow [0,1]\) such that
and \((\textsf {t} ,\textsf {q} )\) satisfies for a.a. \(s \in (0,S)\)
In fact, (3.18a) holds at every \(s\in (0,S]\).
Remark 3.6
System (3.18) illustrates in a clear way how viscous behavior, only w.r.t. the variable z, may arise in the jump regime, namely when the system still evolves while \(\textsf {t} '=0\) (i.e., the external time, recorded by the function \(\textsf {t}\), is frozen). In that case, the parameter \(\lambda _{\textsf {z} }\) may be nonzero, thus activating the viscous contribution to the flow rule (3.18b).
Prior to carrying out the proof of Proposition 3.5, we record the following key chain-rule inequality, whose proof may be immediately inferred from that of [10, Lemma 7.6] (cf. also Lemma 3.13 ahead).
Lemma 3.7
Along any admissible parameterized curve
we have that \(s \mapsto {\mathcal {E}}_{0}(\textsf {t} (s),\textsf {q} (s))\) is absolutely continuous on [0, S] and there holds
As an immediate consequence of Lemma 3.7, we have the following characterization of the \(\mathrm {BV}_0\) solutions from Definition 3.2, which complements the other characterizations provided in [8, Prop. 5.3].
Corollary 3.8
An admissible parameterized curve \((\textsf {t} ,\textsf {q} )\in \mathcal {A}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) is a \(\mathrm {BV}_0\) solution to system (1.1) if and only if the function \([0,S] \ni s \mapsto {\mathcal {E}}_{0}(\textsf {t} (s),\textsf {q} (s))\) is absolutely continuous and there holds
for almost all \(s\in (0,S)\).
We are now in a position to carry out the
Proof of Proposition 3.5
By Corollary 3.8, \(\mathrm {BV}_0\) solutions in the sense of Def. 3.2 can be characterized in terms of (3.20), whence we deduce that \(\mathcal {M}_0(\textsf {t} (s),\textsf {q} (s),\textsf {t} '(s),\textsf {q} '(s))<\infty\) for almost all \(s\in (0,S)\). Therefore,
In turn, (3.21) is equivalent to the validity of (3.18a). Observe that (3.18a) extends to every \(s\in [0,S]\) by the continuity of the functions \(s \mapsto {\upsigma }(s)\), \(s\mapsto f(\textsf {t} (s))\), \(s\mapsto g(\textsf {t} (s))\) and by the continuity w.r.t. the Hausdorff distance of \(s\mapsto {\mathcal {K}}_{\textsf {z} (s)}(\Omega )\) thanks to (2.\(K_3\)).
In view of (3.21) and recalling the definition (3.10) of \({\mathcal {M}}_0\), (3.20) can be then rewritten as
for a.a. \(s\in (0,S)\). Now, on the one hand the right-hand side of the above equality is positive thanks to (2.19). On the other hand, let \(\omega \in \partial {\mathcal {R}}(0)\) satisfy \(\widetilde{d}_{L^2} ({-}\mathrm {D}_z {\mathcal {E}}_0 (t,q),\partial {\mathcal {R}}(0)) = \Vert {-} {\mathrm {D}}_z {\mathcal {E}}_0(\textsf {t} (s),\textsf {q} (s)){-}\omega \Vert _{L^2}\). Then, we may estimate the left-hand side of the above equality via
where we have used that \(T_1 \le 0\) by the very definition of \(\widetilde{{\mathcal {M}}}_{0, \mathrm {red}}\) (cf. (3.10c)), while \(T_2\le 0\) thanks to (2.15). Therefore, (3.20) is ultimately equivalent to
for every \(\omega \in \partial {\mathcal {R}}(0)\) such that \(\Vert {-} {\mathrm {D}}_z {\mathcal {E}}_0(\textsf {t} (s),\textsf {q} (s)){-}\omega \Vert _{L^2} = \widetilde{d}_{L^2(\Omega )} ({-}\mathrm {D}_z {\mathcal {E}}_0 (t,q),\partial {\mathcal {R}}(0))\).
Now, the same argument as in, e.g., [21, Prop. 5.1] allows us to infer that (3.22a) and (3.22b) are equivalent to (3.18b), together with (3.17). In turn, by Lemma 3.4 it follows that (3.22c) is equivalent to (3.16). All in all, we have shown the equivalence between (3.20) and (3.17) &(3.18). This concludes the proof. \(\square\)
3.5 \(\mathrm {BV}\) solutions via the full vanishing-viscosity approach
The vanishing-viscosity contact potential for the \(\mathrm {BV}\) solutions from [10] is the functional \({\mathcal {M}}^{0,0}_0: [0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\times [0,+\infty ) \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\rightarrow [0,+\infty ]\) defined via
where for \(q=(u,z,p)\) and \(q'=(u',z',p')\) we have
with
As previously remarked, for every \((t,q) \in [0,T]\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) we have that \({\mathcal {S}}_u {\mathcal {E}}_0 (t,q)<+\infty\) and \({\mathcal {W}}_p{\mathcal {E}}_0(t,q)<+\infty\), hence \(\mathcal {D}^*(t,q)<+\infty\) and the product \(\mathcal {D}(u',p') \, \mathcal {D}^*(t,q)\) is well defined as soon as \(u'\in H^1(\Omega ;\, \mathbb {R}^n)\) and \(p'\in L^2(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\); otherwise, we mean \(\mathcal {D}(u',p') \, \mathcal {D}^*(t,q)=+\infty\).
The (reduced) vanishing-viscosity contact potentials \({\mathcal {M}}_{0, \mathrm {red}}\) from (3.10b) and \({\mathcal {M}}^{0,0}_{0,\mathrm {red}}\) differ from each other, both in their definition for \(t'>0\) and for \(t'=0\). For \(t'>0\), \({\mathcal {M}}^{0,0}_{0,\mathrm {red}}\) has to additionally enforce elastic equilibrium (i.e., \({\mathcal {S}}_u {\mathcal {E}}_0 (t,q)=0\)) and the stability constraint that \(\sigma _\mathrm {D}\in \partial _\pi \mathcal {H}(z,0)\) (i.e., \({\mathcal {W}}_p{\mathcal {E}}_0(t,q)=0\)) since, for the fully rate-dependent viscous systems, these constraints are no longer fulfilled. Accordingly, viscous behavior in u and p may intervene in the jump regime of the rate-independent limit system. This is encoded in the new term \(\mathcal {D}(u',p') \, \mathcal {D}^*(t,q)\) featuring in (3.23c), which appears in the energy-dissipation balance at jumps (i.e., for \(t'=0\)), when \(z'=0\).
The following definition specifies the properties of the parameterized curves that are \(\mathrm {BV}_0^{0,0}\) solutions and is to be compared with Definition 3.2 of admissible parameterized curves in the sense of [8].
Definition 3.9
We call a parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} ):[0,S] \rightarrow [0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) admissible in an enhanced sense (‘enhanced admissible’ for short) if it satisfies (3.11a), (3.11b), (3.11c) and, in addition,
We will denote by \(\mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) the class of enhanced admissible parameterized curves from [0, S] to \([0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\).
Hence, enhanced admissible curves enjoy better spatial regularity, with \(\textsf {u} (\cdot ) \in H^1(\Omega ;\, \mathbb {R}^n)\) and \(\textsf {p} (\cdot ) \in L^2(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\), in the set in which either \({\mathcal {S}}_u {\mathcal {E}}_0 (\textsf {t} (\cdot ),\textsf {q} (\cdot ))>0\) or \({\mathcal {W}}_p{\mathcal {E}}_0(\textsf {t} (\cdot ),\textsf {q} (\cdot ))>0\). With that definition at hand, we are now in a position to give the definition of \(\mathrm {BV}\) solution in the sense of [10].
Definition 3.10
We call an enhanced admissible parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} )\in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) a Balanced Viscosity solution for the perfectly plastic damage system (1.1) in the sense of [10] (a \(\mathrm {BV}_0^{0,0}\) solution, for short), if it satisfies the energy-dissipation balance
for every \(0 \le s_1 \le s_2 \le S\).
The existence of \(\mathrm {BV}_0^{0,0}\) solutions to system (1.1) was proved in [10, Thm. 7.9] for initial data \(q_0 = (u_0,z_0,p_0)\) complying with (2.8f) and (3.13).
3.6 A differential characterization for \(\mathrm {BV}_0^{0,0}\) solutions
In this section, we provide a differential characterization for \(\mathrm {BV}_0^{0,0}\) solutions. Preliminarily, we need to make precise in which sense we are going to understand the subdifferential inclusions governing the evolution of the reparameterized displacement and of the plastic variables. Indeed, by formally writing
with \(\lambda : [0,S]\rightarrow [0,1]\) a measurable function (below we will have \(\lambda =\lambda _{\textsf {u} ,\textsf {p} }\)), we shall mean
where in (3.26) \(\mathrm {Div}\,{\upsigma }(s)\) denotes the restriction of the functional from (2.3) to \(H^1(\Omega ;\, \mathbb {R}^n)\). In particular, let us emphasize that, when \(\lambda >0\) the displacement variable enjoys additional spatial regularity, and the quasistatic momentum balance (3.26b) allows for test functions in \(H^1(\Omega ;\, \mathbb {R}^n)\). Likewise, by writing
with \(\lambda : [0,S]\rightarrow [0,1]\) a measurable function, we shall mean
Namely, the plastic flow rule improves to a pointwise-in-space formulation in the set \(\{ \lambda >0\}\), whereas in the set \(\{\lambda =0\}\) it only holds in the weak form (3.16).
We are now in a position to state our differential characterization of \(\mathrm {BV}_0^{0,0}\) solutions. Observe that the definition of enhanced admissible curve is tailored to the subdifferential inclusions (3.29).
Proposition 3.11
An enhanced admissible parameterized curve \((\textsf {t} ,\textsf {q} ) \in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) is a \(\mathrm {BV}_0^{0,0}\) solution to system (1.1) if and only if there exist two measurable functions \(\lambda _{\textsf {u} ,\textsf {p} }\, \lambda _{\textsf {z} }: [0; S] \rightarrow [0; 1]\) such that
and the curves \((\textsf {t} ,\textsf {q} )\) satisfy for a.a. \(s \in (0,S)\) the system of subdifferential inclusions
where (3.29a) and (3.29c) need to be interpreted as (3.26) and (3.27), respectively.
Remark 3.12
In comparison with the differential characterization for \(\mathrm {BV}_0\) solutions provided by system (3.5), system (3.29) features two parameters, instead of one. Both \(\lambda _{\textsf {z} }\) and \(\lambda _{\textsf {u} ,\textsf {p} }\) have the role of activating the viscous contributions to the damage flow rule, and to the displacement equation/plastic flow rule, respectively, in the jump regime (i.e., when \(\textsf {t} '=0\)). In fact, the viscous terms in (3.29a) and (3.29c) are modulated by the same parameter, which reflects the fact that viscous behavior intervenes for the variables \(\textsf {u}\) and \(\textsf {p}\) equally (or, in other terms, that \(\textsf {u}\) and \(\textsf {p}\) relax to elastic equilibrium and rate-independent evolution at the same rate, faster than \(\textsf {z}\)).
As in the case of Prop. 3.5, the proof of Prop. 3.11 will rely on a suitable chain-rule inequality, which we recall below.
Lemma 3.13
[10, Lemma 7.6] Along any enhanced admissible parameterized curve
we have that
For later use, we also record the following consequence of the chain-rule inequality, cf. [10, Proposition 7.7].
Corollary 3.14
An enhanced admissible parameterized curve \((\textsf {t} ,\textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} )\in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) is a \(\mathrm {BV}_0^{0,0}\) solution if and only if it satisfies one of the following equivalent conditions:
-
(1)
the energy-dissipation balance (3.25) holds as the inequality \(\le\);
-
(2)
\((\textsf {t} ,\textsf {q} )\) fulfills (3.30) as a chain of equalities, i.e.,
$$\begin{aligned} \begin{aligned}& -\frac{\;\!\mathrm {d}}{\;\!\mathrm {d}s} {\mathcal {E}}_{0}(\textsf {t} (s),\textsf {q} (s)) +\partial _t {\mathcal {E}}_{0}(\textsf {t} (s),\textsf {q} (s))\, \textsf {t} '(s)\\&\quad = - \langle {\mathrm {D}}_z {\mathcal {E}}_0(\textsf {t} (s),\textsf {q} (s)), \textsf {z} '(s) \rangle _{H^m} + \langle {\upsigma }_\mathrm {D}(s) \, |\, \textsf {p} '(s) \rangle + \langle \mathrm {Div}\,{\upsigma }(s) {+} F(\textsf {t} (s)), \textsf {u} '(s) \rangle _{\mathrm {BD}}\\&\quad = \mathcal {M}^{0,0}_0(\textsf {t} (s),\textsf {q} (s),\textsf {t} '(s),\textsf {q} '(s)) \qquad \text {for a.a.} \, s \in (0,S). \end{aligned} \end{aligned}$$(3.31)
We are now in a position to carry out the
Proof of Proposition 3.11
We exploit the characterization of \(\mathrm {BV}_0^{0,0}\) solutions in terms of the chain of equalities (3.31). Now, we shall distinguish three cases:
\({Case\,1:\,\textsf {t} '(s)>0}\). Then, by the definition (3.23) of \({\mathcal {M}}^{0,0}_0\), from \(\mathcal {M}^{0,0}_0(\textsf {t} (s),\textsf {q} (s),\textsf {t} '(s),\textsf {q} '(s))<\infty\) we infer \(\widetilde{d}_{L^2} ({-}{\mathrm {D}}_z {\mathcal {E}}_0 (\textsf {t} (s),\textsf {q} (s)),\partial {\mathcal {R}}(0))=0\) and
By (3.8), the latter property is equivalent to (3.18a); hence, we find the validity of (3.29a) with \(\lambda _{\textsf {u} ,\textsf {p} }(s)=0\). All in all, identity (3.31) reduces to
Now, since \({\upsigma }(s) \in \mathcal {K}_{\textsf {z} (s)}\) for a.a. \(s\in (0,S)\), by (2.18) the above left-hand-side is negative. On the other hand, from \(\widetilde{d}_{L^2} ({-}{\mathrm {D}}_z {\mathcal {E}}_0 (\textsf {t} (s),\textsf {q} (s)),\partial {\mathcal {R}}(0))=0\) we infer that \({\mathcal {R}}(v) \ge \langle {-}{\mathrm {D}}_z {\mathcal {E}}_0(\textsf {t} (s),\textsf {q} (s)), v \rangle _{H^{\mathrm {m}}}\) for every \(v\in H^{\mathrm {m}}(\Omega )\). Therefore, the above right-hand side is positive. Hence, both sides are equal to zero. From
we infer (recall Lemma 3.4) that (3.29c) holds with \(\lambda _{\textsf {u} ,\textsf {p} }(s)=0.\) Likewise, from
recalling (2.15) we deduce that \(- {\mathrm {D}}_z {\mathcal {E}}_0(\textsf {t} (s),\textsf {q} (s) \in \partial {\mathcal {R}}(\textsf {z} '(s))\), i.e., the validity of (3.29b) with \(\lambda _{\textsf {z} }(s) =0\).
Conversely, from (3.29b) with \(\lambda _{\textsf {z} }(s) =0\) and (3.29c) with \(\lambda _{\textsf {u} ,\textsf {p} }(s)=1\) we deduce (3.33) and (3.34), respectively, hence (3.32) which, in this case, is equivalent to (3.31).
\({Case\,2: \textsf {t} '(s)=0 \,\,and\,\,s\in B^\circ }\) (with \(B^\circ\) the set from (3.24a)). Then, from \(\mathcal {M}^{0,0}_0(\textsf {t} (s),\textsf {q} (s),\textsf {t} '(s),\textsf {q} '(s))<\infty\) we infer that
and (3.31) reduces to
For (3.36), we have used that, on the left-hand side, the duality pairing involving \(\textsf {u} '\) is between \(H^1(\Omega ;\, \mathbb {R}^n)\) and \(H^1(\Omega ;\, \mathbb {R}^n)^*\) since the admissible curve \((\textsf {t} ,\textsf {q} )\) enjoys the enhanced spatial regularity \(\textsf {u} ' \in H^1(\Omega ;\, \mathbb {R}^n)\) on the set \(B^\circ\). In turn, the right-hand side of (3.36) has been rewritten in view of (3.7). Likewise, \(\mathcal {H}_{\scriptstyle \tiny \mathrm {PP}}(\textsf {z} (s), \textsf {p} '(s)) = {\mathcal {H}}(\textsf {z} (s), \textsf {p} '(s))\) and the stress-strain duality reduces to the scalar product in \(L^2\) because \(\textsf {p} '(s) \in L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})\). Let us now consider a measurable selection \(s\mapsto \zeta (s) \in \partial _\pi {\mathcal {H}}(\textsf {z} (s),0)\) such that
Then, (3.36) rewrites as
While the left-hand side is negative by Cauchy–Schwarz inequality, the right-hand side is positive since \(\zeta (s) \in \partial _\pi {\mathcal {H}}(\textsf {z} (s),0)\), cf. (2.15). All in all, we conclude that both sides are equal to zero. Now, combining the fact that \(\zeta (s) \in \partial _\pi {\mathcal {H}}(\textsf {z} (s),0)\) with the identity
and again resorting to (2.15), we find that
From the equality
we infer that
Combining (3.35), (3.37), and (3.38), we deduce the validity of system (3.29) with
Conversely, it can be easily checked that, if \(\textsf {t} '(s)=0\) and \(s\in B^\circ\), the validity of system (3.29) yields (3.36), hence (3.31).
\({Case\,3:\,\textsf {t} '(s)=0\,\,and\,\,s\notin B^\circ }\). Hence, \(\mathcal {D}^*(\textsf {t} (s), \textsf {q} (s)) =0\), yielding
i.e., (3.29a) with \(\lambda _{\textsf {u} ,\textsf {p} }(s) =0\). Then, (3.31) reduces to
and, arguing in the same way as in the proof of Proposition 3.5 we conclude the validity of (3.29b) and (3.29c) with \(\lambda _{\textsf {u} ,\textsf {p} }(s) =0\) and some \(\lambda _{\textsf {z} }(s) \ge 0\).
Conversely, it can be proved that (3.29b) and (3.29c) with \(\lambda _{\textsf {u} ,\textsf {p} }(s) =0\) and some \(\lambda _{\textsf {z} }(s) \ge 0\) yield (3.39).
With this, we conclude the proof. \(\square\)
4 A complete characterization of \(\mathrm {BV}_0^{0,0}\) solutions
The main result of this section is the following theorem, whose proof adapts that of [28, Prop. 5.5].
Theorem 4.1
Let \((\textsf {t} ,\textsf {q} ) \in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) be a \(\mathrm {BV}_0^{0,0}\) solution to the perfectly plastic rate-independent system for damage (1.1). Suppose that \((\textsf {t} ,\textsf {q} )\) is non-degenerate, namely that
Set
Then, \({\mathfrak {S}}\) is either empty or it has the form \([s_*, S]\) for some \(s_*\in [0,S]\).
-
(a)
Assume \(s_*>0\), then for \(s\in [0,s_*)=[0,S]\setminus {\mathfrak {S}}\) we have \(\textsf {t} (s) \equiv \textsf {t} (0)\) and \(\textsf {z} (s) \equiv \textsf {z} (0)\), whereas
$$\begin{aligned}&\mathcal {D}^*(\textsf {t} (0),\textsf {q} (0))>0 \end{aligned}$$(4.2a)and \((\textsf {u} ,\textsf {p} )\) is a solution to the system
$$\begin{aligned}&\begin{aligned}&-\lambda _{\textsf {u} ,\textsf {p} }(s) \mathrm {div}\,\mathbb {D}\mathrm {E}(\textsf {u} '(s)) - (1{-} \lambda _{\textsf {u} ,\textsf {p} }(s)) \mathrm {Div}\,\mathbb {C}(\textsf {z} (0))\textsf {e} (s) =(1{-} \lambda _{\textsf {u} ,\textsf {p} }(s)) F(\textsf {t} (s))\,,\\&(1{-} \lambda _{\textsf {u} ,\textsf {p} }(s)) \, \partial _{\pi } \mathcal {H}(\textsf {z} (0), \textsf {p} '(s)) + \lambda _{\textsf {u} ,\textsf {p} }(s)\, \textsf {p} '(s) \ni (1{-} \lambda _{\textsf {u} ,\textsf {p} }(s)) \, (\mathbb {C}(\textsf {z} (0))\textsf {e} (s))_\mathrm {D}. \end{aligned} \end{aligned}$$(4.2b) -
(b)
Suppose that \(s_*<S\). Then, \(\mathcal {D}^*(\textsf {t} (s),\textsf {q} (s)) \equiv 0\) for every \(s\in {\mathfrak {S}}=[s_*,S],\) and the curve \((\textsf {t} ,\textsf {q} )\) is a \(\mathrm {BV}\) solution to system (1.1) in the sense of Definition 3.3.
Thus, Theorem 4.1 provides a complete characterization of (non-degenerate) \(\mathrm {BV}_0^{0,0}\) solutions. It asserts that, if a \(\mathrm {BV}_0^{0,0}\) solution \((\textsf {t} ,\textsf {q} )\) starts from an unstable datum \(q_0\) with \(\mathcal {D}^*(0,q_0)>0\), then during an initial interval the damage variable \(\textsf {z}\) is frozen and the pair \((\textsf {u} ,\textsf {p} )\) evolves, possibly governed by viscosity in both variables. If it reaches, at some time \(s^*\), the state in which elastic equilibrium (\({\mathcal {S}}_u {\mathcal {E}}_0 (\textsf {t} (s^*),\textsf {q} (s^*))=0\)) and the plastic constraint (\({\mathcal {W}}_p{\mathcal {E}}_0(\textsf {t} (s^*),\textsf {q} (s^*))=0\)) are fulfilled, then it never leaves that state afterwards, and subsequently \((\textsf {t} ,\textsf {q} )\) behaves as a \(\mathrm {BV}_0\) solution.
Proof
Step 1: As in the proof of [28, Prop. 5.5], we start by analyzing the behavior of a \(\mathrm {BV}_0^{0,0}\) solution \((\textsf {t} ,\textsf {q} )\) on an interval \((s_1,s_2) \subset [0,S] \setminus \mathfrak {S}\). Since \(\mathcal {D}^*(\textsf {t} (s),\textsf {q} (s))>0\) for all \(s\in (s_1, s_2)\), we read from (3.29a) and (3.29c) that \(\lambda _{\textsf {u} ,\textsf {p} }>0\) on \((s_1, s_2)\). Thus, (3.28a) yields \(\textsf {t} ' \equiv 0\) on \((s_1, s_2)\), so that \(\textsf {t} (s) \equiv \textsf {t} (s_1)\) for all \(s\in [s_1, s_2]\). Furthermore, (3.28b) gives \(\lambda _{\textsf {z} } \equiv 1\) on \((s_1, s_2)\). Combining this with (3.29b), we gather that \(\textsf {z} ' \equiv 0\) on \((s_1, s_2)\), so that \(\textsf {z} (s) \equiv \textsf {z} (s_1)\) for all \(s\in [s_1, s_2]\). From (4.1), we conclude that
and, therefore, from (3.29a) and (3.29c) we infer that \(\lambda _{\textsf {u} ,\textsf {p} }(s)<1\) for almost all \(s\in (s_1,s_2)\). Hence, the evolution of \((\textsf {t} ,\textsf {q} )\) in \((s_1,s_2)\) is characterized by property (4.3a), joint with the previously found
(observe that \(\widehat{\lambda } = \tilde{\lambda }^{-1}\) with \({\tilde{\lambda }}\) from, (3.38)). In turn, it can be easily checked that, for a given function \(\widehat{\lambda } : (s_1,s_2) \rightarrow [0,+\infty )\), the Cauchy problem for system (4.3b)—(4.3d) does admit a unique solution.
Step 2: Since the function \([0,S] \ni s\mapsto \mathcal {D}^*(\textsf {t} (s),\textsf {q} (s))\) is lower semicontinuous by [10, Lemma 7.8], the set \(\mathfrak {S}\) is closed; hence, its complement \([0,S]\setminus \mathfrak {S}\) is relatively open, and thus, it is the finite or countable union of disjoint intervals. Its connected components are of the form \((s_1,S]\), \((s_2,s_3)\), \([0,s_4)\) or [0, S] (if \(\mathfrak {S} = \emptyset\)). By the lower semicontinuity of \(s\mapsto \mathcal {D}^*(\textsf {t} (s),\textsf {q} (s))\), it is immediate to check that \(s_j \in \mathfrak {S}\) for all \(j \in \{1,\ldots , 4\}\).
Now, we aim to show that connected components of the type \((s_1,S]\) and \((s_2,s_3)\) cannot occur. To this end, let us study the properties of the \(\mathrm {BV}_0^{0,0}\) solution \((\textsf {t} ,\textsf {q} )\) on an interval of the type \((s_1,S]\) or \((s_2,s_3)\), with \(s_1,\, s_2 \in \mathfrak {S}\). Since \(\mathcal {D}^*(\textsf {t} (s_j),\textsf {q} (s_j)) = 0\), we have that \({\mathcal {S}}_u {\mathcal {E}}_0(\textsf {t} (s_j), \textsf {q} (s_j))= \mathcal {W}_p {\mathcal {E}}_0(\textsf {t} (s_j),\textsf {q} (s_j))=0\) for \(j=1,2\). As shown in Step 1, the evolution on the intervals \((s_1,S)\) and \((s_2,s_3)\) is characterized by (4.3). Recall that system (4.3b)–(4.3d) admits a unique solution. Now, since \({\mathcal {S}}_u {\mathcal {E}}_0(\textsf {t} (s_j), \textsf {q} (s_j))= \mathcal {W}_p {\mathcal {E}}_0(\textsf {t} (s_j),\textsf {q} (s_j))=0\) for \(j=1,2\), it is immediate to check that the constant functions \(\widehat{\textsf {u} }(s) \equiv \textsf {u} (s_j)\) and \(\widehat{\textsf {p} }(s) \equiv \textsf {p} (s_j)\) provide the unique solution to (4.3b)–(4.3d). Thus, we conclude that \(\mathrm {BV}_0^{0,0}\) solution \((\textsf {t} ,\textsf {q} )\) on an interval of the type \((s_1,S]\) or \((s_2,s_3)\) must be constant, which is a contradiction to (4.3a).
Therefore, \([0,S]\setminus \mathfrak {S}\) does not possess connected components of the form \((s_1,S]\) or \((s_2,s_3)\). Hence, either \(\mathfrak {S}=\emptyset\), or \(\mathfrak {S} = [s_*,S]\) for some \(s_*>0\). In the latter case, the calculations from Step 1 show that on \([0,S]\setminus \mathfrak {S} = [0,s_*)\) the evolution of \((\textsf {t} ,\textsf {q} )\) is characterized by (4.2).
Step 3: Suppose that \(s_*<S\). Clearly, \(\mathcal {D}^*(\textsf {t} (s),\textsf {q} (s)) \equiv 0\) for every \(s\in \mathfrak S=[s_*,S]\). Hence, it satisfies system (3.29) with \(\lambda _{\mathsf {u}, \mathsf {p}} (s) \equiv 0\) for every \(s\in [s_*,S]\), which coincides with system (3.18). This concludes the proof. \(\square\)
5 Vanishing-hardening limit of \(\mathrm {BV}\) solutions
In this section, we carry out the asymptotic analysis as the hardening parameter \(\mu\) tends to 0 for the \(\mathrm {BV}\) solutions to system (1.4), both in the single-rate case (i.e., for \(\mathrm {BV}_{0}^{\mu ,\nu }\) solutions, with \(0<\nu \le \mu\)), and in the multi-rate case (i.e, for \(\mathrm {BV}_{0}^{\mu ,0}\) solutions). Indeed, we first address the latter case in Sect. 5.1 ahead, while the former will be sketched in Sect. 5.2. For both analyses, we will resort to some technical results collected in the “Appendix”.
5.1 Vanishing-hardening analysis for multi-rate solutions
As recalled in the Introduction, \(\mathrm {BV}\) solutions to the multi-rate system with hardening have been constructed in [10] (cf. Theorem 6.13 therein) by passing to the limit in the (reparameterized) version of (1.3) as the viscosity parameter \(\varepsilon\) tends to 0 simultaneously with the rate parameter \(\nu \downarrow 0\), while the hardening parameter \(\mu >0\) stayed fixed. The solutions accordingly obtained, hereafter referred to as \(\mathrm {BV}_{0}^{\mu ,0}\) solutions, thus account for multiple rates in the system with hardening. In particular, like for \(\mathrm {BV}_0^{0,0}\) solutions, the way in which viscous behavior in u, z, and p manifests itself in the jump regime reflects the fact that the convergence of u and p to elastic equilibrium and rate-independent evolution has occurred at a faster rate (as \(\nu \downarrow 0\)) than that for z, cf. Remark 5.2 ahead.
In order to recall the definition of \(\mathrm {BV}_{0}^{\mu ,0}\) solutions for fixed \(\mu >0\), we need to introduce the related vanishing-viscosity contact potential
where
In (5.1), we have employed the notation
We are now in a position to recall the notion of solution to system (1.4) from [10, Def. 6.10]. Observe that it involves (reparameterized) curves that are absolutely continuous on the whole interval [0, S], with values in \({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\).
Definition 5.1
We call a parameterized curve \((\textsf {t} ,\textsf {q} ) = (\textsf {t} ,\textsf {u} ,\textsf {z} ,\textsf {p} ) \in \mathrm {AC}([0,S]; [0,T]{\times } {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\) a (parameterized) Balanced Viscosity solution to the multi-rate system with hardening (1.4) (a \(\mathrm {BV}_{0}^{\mu ,0}\) solution, for short), if \(\textsf {t} :[0,S] \rightarrow [0,T]\) is nondecreasing and \((\textsf {t} , \textsf {q} )\) fulfills for all \(0\le s \le S\) the energy-dissipation balance
We say that \((\textsf {t} ,\textsf {q} )\) is non-degenerate if it fulfills (4.1).
Remark 5.2
In [10, Prop. 6.11], a characterization was provided for \(\mathrm {BV}_{0}^{\mu ,0}\) solutions in terms of a subdifferential system that features two positive parameters \(\lambda _{\textsf {u} ,\textsf {p} }\) and \(\lambda _{\textsf {z} }\) activating viscous terms in the displacement equation & plastic flow rule, and in the damage flow rule, respectively. We refrain from recalling that system because it is completely analogous to (3.29) (with the same switching conditions (3.28)).
Accordingly, repeating the very same arguments as in the proof of Theorem 4.1, it is possible to provide an additional characterization of \(\mathrm {BV}_{0}^{\mu ,0}\) solutions completely analogous to that from the latter result. In particular, if a \(\mathrm {BV}_{0}^{\mu ,0}\) solution \((\textsf {t} ,\textsf {q} )\) originates from an unstable datum \(q_0\) with \(\mathcal {D}^{*,\mu }(0,q_0)>0\), then, during an initial interval the damage variable \(\textsf {z}\) is frozen and the pair \((\textsf {u} ,\textsf {p} )\) evolves, possibly in a viscous way. If \((\textsf {t} ,\textsf {q} )\) reaches, at some time \(s^*\), the state in which elastic equilibrium (\(-\mathrm {D}_u {\mathcal {E}}_\mu (\textsf {t} ,\textsf {q} )=0\)) and stability (\(-\mathrm {D}_p {\mathcal {E}}_\mu (\textsf {t} ,\textsf {q} ) \in \partial _\pi {\mathcal {H}}(z,0)\)) are fulfilled, then it never leaves that state afterwards and subsequently behaves as a Balanced Viscosity solution with viscous behavior in the variable \(\textsf {z}\), only (namely, the counterpart, for the system with hardening, of the \(\mathrm {BV}_0\) concept).
We mention in advance that the analogue of Theorem 4.1 does not hold, instead, for \(\mathrm {BV}_0^{\mu ,\nu }\) solutions.
We now consider a vanishing sequence \((\mu _k)_k\) and set \(\mu =\mu _k\). By [10, Theorem 6.13], under the assumptions of Sects. 2 and (3.13) (cf. also Remark 5.4 below), for any fixed k there exists a parameterized Balanced Viscosity solution \((\textsf {t} _k,\textsf {q} _k)\) in the sense of the previous definition. Moreover, for the sequence \((\textsf {t} _k,\textsf {q} _k)_k\) we may assume the validity of the following a priori estimates:
Indeed, the existence of a sequence \((\textsf {t} _k,\textsf {q} _k)_k\) enjoying the bounds (5.3) follows by time-discretization, cf. [10, Prop. 4.4], and by a reparameterization argument. Up to a further time reparameterization, we may also assume that the solutions are non-degenerate, cf. (4.1) and [10, Remark 6.9].
Theorem 5.3
Let \((\mu _k)_k\) be a vanishing sequence and \((\textsf {t} _k,\textsf {q} _k)_k\) be a sequence of \(\mathrm {BV}_{0}^{\mu _k,0}\) solutions to system (1.4), such that estimate (5.3) holds.
Then, there exist a (not relabeled) subsequence and a curve \((\textsf {t} , \textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} ) \in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) such that
-
(1)
for all \(s\in [0,S]\), the following convergences hold as \(k\rightarrow +\infty\)
$$\begin{aligned} \begin{aligned}&\textsf {t} _{k}(s)\rightarrow \textsf {t} (s) , \quad \textsf {u} _{k}(s) \overset{*}{\rightharpoonup }\textsf {u} (s) \text { in } \mathrm {BD}(\Omega ) , \quad \textsf {z} _{k}(s) \rightharpoonup \textsf {z} (s) \text { in } H^{\mathrm {m}}(\Omega ) , \\&\textsf {e} _k(s) \rightharpoonup \textsf {e} (s) \text { in } {L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})},\quad \textsf {p} _{k}(s) \overset{*}{\rightharpoonup }\textsf {p} (s) \text { in } {\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}; \end{aligned} \end{aligned}$$(5.4) -
(2)
there exists \(\overline{C}>0\) such that for a.e. \(s\in (0, S)\) there holds
$$\begin{aligned} \begin{aligned}&{\textsf {t} }'(s) {+} \Vert \textsf {u} '(s)\Vert _{\mathrm {BD}(\Omega )} {+} \Vert \textsf {z} '(s)\Vert _{H^{\mathrm {m}}(\Omega )} {+} \Vert \textsf {p} '(s)\Vert _{{\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}}\\&{+} \Vert \textsf {e} '(s)\Vert _{{L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})}} {+} \mathcal {D}(\textsf {u} '(s), \textsf {p} '(s))\, \mathcal {D}^* (\textsf {t} (s), \textsf {q} (s))\le \overline{C}; \end{aligned} \end{aligned}$$(5.5) -
(3)
\((\textsf {t} ,\textsf {q} )\) is a Balanced Viscosity solution for the perfectly plastic damage system (1.1) in the sense of Definition 3.10.
Remark 5.4
The validity of Theorem 5.3 extends to sequences \((\textsf {t} _k,\textsf {q} _k)_k\) originating from initial data \(q_0^k = (u_0^k,z_0^k,p_0^k)_k\) fulfilling
with C independent of k.
In particular, the last condition yields \(\mu _k \, p_0^k \rightarrow 0\) in \(L^2(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\), as needed for (5.10) below.
Proof
The proof is divided in two steps.
Step 1: Compactness. For later use, we observe that, due to estimate (5.3),
By the assumptions on initial data and external loading and by (5.3), we have \(\sup _{s\in [0,S]}{\mathcal {E}}_{ \mu _k }(\textsf {t} _k(s),\textsf {q} _k(s))\le C\) for a constant independent of k. In particular, this implies that, as \(k\rightarrow \infty\),
In view of (5.3), we find a (not relabeled) subsequence and a Lipschitz curve \((\textsf {t} ,\textsf {q} ) \in\) \(W^{1,\infty } ([0,S];[0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) such that the following convergences hold as \(k\rightarrow \infty\)
where \(\textsf {e} = \mathrm {E}(\textsf {u} {+}w(\textsf {t} )) - \textsf {p}\). Furthermore, an argument based on the Ascoli-Arzelà theorem (cf. [3, Prop. 3.3.1]) also yields
Indeed, convergences (5.9a) and (5.9d) are to be intended in the spaces \(\mathrm {C}^0([0,S]; (\mathrm {BD}(\Omega ), d_{\mathrm {BD},\mathrm {weak}^*}))\) and in \(\mathrm {C}^0([0,S]; ({\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\,\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}, d_{\mathrm {M}_\mathrm {b},\mathrm {weak}^*}))\), where \(d_{\mathrm {BD},\mathrm {weak}^*}\) and \(d_{\mathrm {M}_\mathrm {b},\mathrm {weak}^*}\) metrize the weak\(^*\) topologies of \(\mathrm {BD}(\Omega )\) and \({\mathrm {M}_{\mathrm {b}}(\Omega \cup \Gamma _{\mathrm {Dir}};\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})}\), respectively, on the balls of radius R that contain \((\textsf {u} _k)_k\) and \((\textsf {p} _k)_k\), resp. (cf. (5.6); here, we use that \(\mathrm {BD}(\Omega )\) is the dual of a separable space). The second and third convergences have an analogous meaning. Hence, (5.4) follows.
With the very same arguments as in the proof of [10, Prop. 7.9], based on the estimate
we also prove the enhanced regularity \((\textsf {t} ,\textsf {q} ) \in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\).
Step 2: energy-dissipation upper estimate. By Corollary 3.14, it is sufficient to show that the pair \((\textsf {t} ,\textsf {q} )\) complies with the energy-dissipation inequality
for every \(s\in [0,S]\). We start from (5.2) for the solution \((\textsf {t} _k,\textsf {q} _k)\) with \(\mu =\mu _k\). It is straightforward to see that
and
It remains to show that
In fact, it will be sufficient to obtain the above estimate only for the reduced functionals \({\mathcal {M}}_{0,\mathrm {red}}^{0,0}\) and \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,0}\). In view of (3.23), we distinguish two cases. Let \(A: = \{ s\in [0,S]\,: \ \textsf {t} '(s)>0\}\).
Case \(\textsf {t} '>0\). We prove that the function \(s \mapsto {\mathcal {M}}_{0,\mathrm {red}}^{0,0}(\textsf {t} (s), \textsf {q} (s), \textsf {t} '(s), \textsf {q} '(s))\) is finite for a.a. \(s\in A\). We apply Lemma A.1 ahead with the choices \(\mathsf {f}_k: = \textsf {t} _k\), \(\mathsf {f}: = \textsf {t}\). Thus, we conclude that for a.a. \(s\in A\) there is a subsequence \((k_j)_{j}\) and, for every j, there is \(s_{k_j}\in (0,S)\) such that \(|s_{k_j}{-}s|<\frac{1}{j}\) and \(\textsf {t} '_{k_j}(s_{k_j})>0\). In particular, \({\mathcal {M}}_{0}^{\mu _k,0}(\textsf {t} _{k_j}(s_{k_j}), \textsf {q} _{k_j}(s_{k_j}), \textsf {t} _{k_j}'(s_{k_j}), \textsf {q} '_{k_j}(s_{k_j}))=0\). By (3.23), (5.7), convergences (5.9), and Lemma A.2 ahead, we obtain
which is equivalent to state that \({\mathcal {M}}_{0,\mathrm {red}}^{0,0}(\textsf {t} (s), \textsf {q} (s), \textsf {t} '(s), \textsf {q} '(s))=0\). Hence, we obviously have the pointwise estimate
Case \(\textsf {t} '=0\). By virtue of Lemma A.2, we are in a position to apply Lemma A.3 below in the context of the space \(\varvec{Q}: = {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\), with \(\varvec{S}\) the ball of radius R from (5.6), to the functionals \(\mathscr {M}_k: = {\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,0}\) and \(\mathscr {M}_0: = {\mathcal {M}}_{0,\mathrm {red}}^{0,0}\), with \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,0}\) extended to \(\mathbb {R}\times ({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}{\setminus } {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}) \times \mathbb {R}\times ({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}{\setminus } {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\) by setting \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,0}(t,q,t',q')=+\infty\) when q or \(q' \in {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}{\setminus } {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\). We may then observe that the \(\Gamma\)-\(\liminf\) estimate (A.2) in Lemma A.3 follows from Lemma A.2. Thus, we conclude
All in all, (5.11) follows.
This finishes the proof. \(\square\)
5.2 Vanishing-hardening analysis for single-rate solutions
\(\mathrm {BV}\) solutions to the single-rate system with hardening have been obtained in [10, Section 6.1] by performing the asymptotic analysis of the reparameterized energy-dissipation balance (3.2) as the viscosity parameter \(\varepsilon\) tends to 0, while keeping the hardening and the rate parameters \(\mu\) and \(\nu\) fixed. That is why we refer to them as \(\mathrm {BV}_0^{\mu ,\nu }\) solutions to the system with hardening. Their definition involves the corresponding vanishing-viscosity contact potential \({\mathcal {M}}_{0}^{\mu ,\nu }: [0,T] \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\times [0,+\infty ) \times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}}\rightarrow [0,+\infty ]\) given by
For better readability, we also recall that
It is worthwhile to remark that the reduced functional \({\mathcal {M}}_{0,\mathrm {red}}^{\mu ,\nu }\), at \(t'=0\), simultaneously encompasses viscosity for the three variables u, z, and p. Instead, its counterpart \({\mathcal {M}}_{0,\mathrm {red}}^{\mu ,0}\) for \(\mathrm {BV}_{0}^{\mu ,0}\) solutions features, in the jump regime \(t'=0\), a viscous contribution in the variables (u, p) when \(z'=0\), and viscosity in z when \(\mathcal {D}^{*,\mu }(t,q)=0\), i.e., when u is at elastic equilibrium and p is locally stable.
We are now in a position to recall the notion of \(\mathrm {BV}_0^{\mu ,\nu }\) solution, cf. [10, Definition 6.2].
Definition 5.5
We call a parameterized curve \((\textsf {t} ,\textsf {q} ) = (\textsf {t} ,\textsf {u} ,\textsf {z} ,\textsf {p} ) \in \mathrm {AC}([0,S]; [0,T]{\times } {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\) a (parameterized) Balanced Viscosity solution to the single-rate system with hardening (1.4) (a \(\mathrm {BV}_0^{\mu ,\nu }\) solution, for short), if \(\textsf {t} :[0,S] \rightarrow [0,T]\) is nondecreasing and \((\textsf {t} , \textsf {q} )\) fulfills for all \(0\le s \le S\) the energy-dissipation balance
We say that \((\textsf {t} ,\textsf {q} )\) is non-degenerate if it fulfills (4.1).
Let us now address the asymptotic analysis of the above solutions for a vanishing sequence \((\mu _k)_k\). As mentioned in the Introduction, in the construction of \(\mathrm {BV}_0^{\mu ,\nu }\) solutions the rate parameter is always supposed smaller than the hardening parameter, which forces us to also consider a sequence \((\nu _k)_k\) such that \(\nu _k\le \mu _k\) for all \(k\in \mathbb {N}\), so that \(\nu _k\rightarrow 0\) as well. In fact, the technical condition \(\nu _k \le \mu _k\) comes into play in the proof of [10, Prop. 4.4]. The latter result and [10, Theorem 6.8] ensure the existence of \(\mathrm {BV}_0^{\mu _k,\nu _k}\) solutions \((\textsf {t} _k,\textsf {q} _k)_k\) enjoying the following a priori estimates
(and, up to a reparametrization, the non-degeneracy condition).
In Theorem 5.6 below, we are going to show that, as the hardening and rate parameters \(\mu _k\) and \(\nu _k\) vanish, (up to a subsequence) \(\mathrm {BV}_0^{\mu _k,\nu _k}\) solutions converge to a \(\mathrm {BV}_0^{0,0}\) solution of system (1.1).
Theorem 5.6
Let \((\mu _k)_k,\, (\nu _k)_k\) be two vanishing sequences, and let \((\textsf {t} _k,\textsf {q} _k)_k\) be a sequence of \(\mathrm {BV}_0^{\mu _k, \nu _k}\) solutions to system (1.4) such that estimate (5.15) holds.
Then, there exist a (not relabeled) subsequence and a curve \((\textsf {t} , \textsf {q} )=(\textsf {t} , \textsf {u} , \textsf {z} , \textsf {p} ) \in \mathcal{EA}\mathcal{}(0,S;\, [0,T]{\times }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}})\) such that items (1), (2), (3) of the statement of Theorem 5.3 hold.
Proof
The argument is split in the same steps as the proof of Theorem 5.3.
Step 1: Compactness. With minor changes, from estimate (5.15) we derive estimate (5.6) and convergences (5.8) and (5.9), whence convergences (5.4), for the sequence of \(\mathrm {BV}_0^{\mu _k, \nu _k}\) solutions. Analogously, for the limiting curve \((\textsf {t} , \textsf {q} )\) estimate (5.5) holds.
Step 2a: energy-dissipation upper estimate when \(\textsf {t} '>0\). The analogue of (5.12) at all \(s\in A: = \{ s\in [0,S]\,: \ \textsf {t} '(s)>0\}\) can be obtained in the same way as in the proof of Theorem 5.3, taking into account that
Step 2b: energy-dissipation upper estimate when \(\textsf {t} '=0\) . We will now show that
As in the proof of Thm. 5.3, we will apply Lemma A.3 below in the context of the space \(\varvec{Q}: = {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\), with \(\varvec{S}\) the ball of radius R from (5.6), to the functionals \(\mathscr {M}_k: = {\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,\nu _k}\) (extended to \(\mathbb {R}\times ({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}{\setminus }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\times \mathbb {R}\times ({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}{\setminus }{\mathbf {Q}}_{\scriptstyle \tiny \mathrm {H}})\) as described for \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,0}\) in the proof of Thm 5.3), and \(\mathscr {M}_0: = {\mathcal {M}}_{0,\mathrm {red}}^{0,0}\). With this aim, we only need to check that the \(\Gamma\)-liminf estimate in (A.2) holds in our context. Clearly, it is sufficient to check that for any sequence \((t_k,q_k,t_k',q_k')_k\) with \((t_k,q_k,t_k',q_k') \overset{*}{\rightharpoonup }(t,q,0,q') \text { in } \mathbb {R}\times \varvec{S} \times \mathbb {R}\times {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\text { as } k \rightarrow \infty\) there holds
The above estimate easily follows from Lemma A.2 in the case in which \((t_k)_k\) admits a strictly positive subsequence. Instead, if there exists \({\bar{k}} \in \mathbb {N}\) such that \(t_k' \equiv 0\) for \(k \ge {\bar{k}}\), then \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,\nu _k}(t_k,q_k,t_k',q_k') = \mathcal {D}_{\nu _k}(q_k') \, \mathcal {D}_{\nu _k}^{*,\mu _k}(t_k,q_k)\) for all \(k\ge {\bar{k}}\) and we may argue in the following way. When \(z'=0\) and \(\mathcal {D}^*(t,q)=0\), we use that
which follows by neglecting some terms in the expression for \({\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,\nu _k}\). Then, as in Thm. 5.3 we use Lemma A.2 to pass to the limit in the two terms on the right-hand side of the above inequality in the cases \(z'=0\) and \(\mathcal {D}^{*,\mu }(t,q)=0\), respectively. In the remaining case \(\Vert z'\Vert _{L^2} \mathcal {D}^*(t,q)>0\), it holds \(\lim _{k \rightarrow \infty } {\mathcal {M}}_{0,\mathrm {red}}^{\mu _k,\nu _k}(t_k,q_k,t_k',q_k') =+\infty\): indeed, by Lemma A.2 and since \(z_{k}'\rightharpoonup z'\) in \(L^2(\Omega )\), we have that \(\Vert z'_k\Vert _{L^2} \mathcal {D}^{*,\mu _k}(t_k,q_k)>c\) for a suitable \(c>0\). Since
we again conclude estimate (5.17) as \((\mu _k)_k\) and \((\nu _k)_k\) vanish.
Thus, by Lemma A.3, we have proven (5.16). This finishes the proof. \(\square\)
References
Alessi, R., Crismale, V., Orlando, G.: Fatigue effects in elastic materials with variational damage models: a vanishing viscosity approach. J. Nonlinear Sci. 29(3), 1041–1094 (2019)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford University Press, Oxford (2005)
Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows in Metric Spaces and in the Space of Probability Measures, 2nd edn. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel (2008)
Almi, S.: Energy release rate and quasi-static evolution via vanishing viscosity in a fracture model depending on the crack opening. ESAIM Control Optim. Calc. Var. 23(3), 791–826 (2017)
Alessi, R., Marigo, J.J., Vidoli, S.: Gradient damage models coupled with plasticity and nucleation of cohesive cracks. Arch. Ration. Mech. Anal. 214, 575–615 (2014)
Alessi, R., Marigo, J.J., Vidoli, S.: Gradient damage models coupled with plasticity: variational formulation and main properties. Mech. Mater. 80, Part B:351-367 (2015)
Babadjian, J.-F., Francfort, G., Mora, M.G.: Quasistatic evolution in non-associative plasticity - the cap model. SIAM J. Math. Anal. 44, 245–292 (2012)
Crismale, V., Lazzaroni, G.: Viscous approximation of quasistatic evolutions for a coupled elastoplastic-damage model. Calc. Var. Part. Differ. Equ. 55(1), 17 (2016)
Crismale, V., Lazzaroni, G.: Quasistatic crack growth based on viscous approximation: a model with branching and kinking. NoDEA Nonlinear Differ. Equ. Appl. 24(1), 7 (2017)
Crismale, V., Rossi, R.: Balanced Viscosity solutions to a rate-independent coupled elasto-plastic damage system. SIAM J. Math. Anal. 53(3), 3420–3492 (2021)
Crismale, V.: Globally stable quasistatic evolution for a coupled elastoplastic-damage model. ESAIM Control Optim. Calc. Var. 22, 883–912 (2016)
Dal Maso, G., DeSimone, A., Solombrino, F.: Quasistatic evolution for cam-clay plasticity: a weak formulation via viscoplastic regularization and time rescaling. Calc. Var. Part. Differ. Equ. 40, 125–181 (2011)
Dal Maso, G., DeSimone, A., Mora, M.G.: Quasistatic evolution problems for linearly elastic-perfectly plastic materials. Arch. Ration. Mech. Anal. 180, 237–291 (2006)
Dal Maso, G., DeSimone, A., Mora, M.G., Morini, M.: A vanishing viscosity approach to quasistatic evolution in plasticity with softening. Arch. Ration. Mech. Anal. 189, 469–544 (2008)
Davoli, E., Roubíček, T., Stefanelli, U.: Dynamic perfect plasticity and damage in viscoelastic solids. ZAMM Z. Angew. Math. Mech. 99(7), e201800161 (2019)
Efendiev, M., Mielke, A.: On the rate-independent limit of systems with dry friction and small viscosity. J. Convex Anal. 13(1), 151–167 (2006)
Francfort, G.A., Giacomini, A.: Small-strain heterogeneous elastoplasticity revisited. Comm. Pure Appl. Math. 65(9), 1185–1241 (2012)
Francfort, G., Stefanelli, U.: Quasistatic evolution for the Armstrong-Frederick hardening-plasticity model. Appl. Math. Res. Express 2, 297–344 (2013)
Goffman, C., Serrin, J.: Sublinear functions of measures and variational integrals. Duke Math. J. 31, 159–178 (1964)
Knees, D., Mielke, A., Zanini, C.: On the inviscid limit of a model for crack propagation. Math. Models Methods Appl. Sci. 18(9), 1529–1569 (2008)
Knees, D., Rossi, R., Zanini, C.: A vanishing viscosity approach to a rate-independent damage model. Math. Models Methods Appl. Sci. 23(4), 565–616 (2013)
Kohn, R., Temam, R.: Dual spaces of stresses and strains, with applications to Hencky plasticity. Appl. Math. Optim. 10(1), 1–35 (1983)
Lazzaroni, G., Toader, R.: A model for crack propagation based on viscous approximation. Math. Models Methods Appl. Sci. 21(10), 2019–2047 (2011)
Mielke, A., Roubíček, T.: Rate-Independent Systems: Theory and Application. Applied Mathematical Sciences, 193. Springer, New York (2015)
Mielke, A., Rossi, R.: Balanced viscosity solutions to infinite-dimensional multi-rate systems. Preprint arXiv:2112.01794 (2021)
Mielke, A., Rossi, R., Savaré, G.: BV solutions and viscosity approximations of rate-independent systems. ESAIM Control Optim. Calc. Var. 18(1), 36–80 (2012)
Mielke, A., Rossi, R., Savaré, G.: Balanced viscosity (BV) solutions to infinite-dimensional rate-independent systems. J. Eur. Math. Soc. (JEMS) 18(9), 2107–2165 (2016)
Mielke, A., Rossi, R., Savaré, G.: Balanced-viscosity solutions for multi-rate systems. J. Phys. Conf. Ser. 727, 010210 (2016)
Rossi, R., Savaré, G.: A characterization of energetic and BV solutions to one-dimensional rate-independent systems. Discrete Contin. Dyn. Syst. Ser. S 6(1), 167–191 (2013)
Roubíček, T., Valdman, J.: Perfect plasticity with damage and healing at small strains, its modeling, analysis, and computer implementation. SIAM J. Appl. Math. 76(1), 314–340 (2016)
Roubíček, T., Valdman, J.: Stress-driven solution to rate-independent elasto-plasticity with damage at small strains and its computer implementation. Math. Mech. Solids 22(6), 1267–1287 (2017)
Solombrino, F.: Quasistatic evolution in perfect plasticity for general heterogeneous materials. Arch. Ration. Mech. Anal. 212(1), 283–330 (2014)
Temam, R., Strang, G.: Duality and relaxation in the variational problems of plasticity. J. Mécanique 19, 493–527 (1980)
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors have been funded by the Italian Ministry of University and Research through two different projects: MIUR - PRIN project 2017BTM7SN Variational Methods for stationary and evolution problems with singularities and interfaces, MIUR - PRIN project 2017TEXA3H Gradient Flows, Optimal Transport and Metric Measure Structures. G.L. and R.R. have been partially supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Appendix A: Some technical results
Appendix A: Some technical results
We collect the results employed in the proofs of Theorems 5.3 and 5.6.
Lemma A.1
Let \(\textsf {f} , \textsf {f} _k\,:\ [0,S]\rightarrow [0,T]\) be nondecreasing functions such that \(\textsf {f} _k\rightarrow \textsf {f}\) uniformly. Let \(A: = \{ s\in [0,S]\,: \ \textsf {f} '(s)>0\}\). Then for a.a. \(s\in A\), there is a subsequence \(k_j\) and, for every j, there is \(s_{k_j}\in (0,S)\) such that \(|s_{k_j}{-}s|<\frac{1}{j}\) and \(\textsf {f} '_{k_j}(s_{k_j})>0\).
Proof
Let
We shall prove that \(\Xi\) is at most countable, which implies the statement of the lemma. Let \(s^1,s^2\in \Xi\). Then, one has \(\textsf {f} (s^1)\ne \textsf {f} (s^2)\); indeed, since \(\textsf {f}\) is nondecreasing, \(\textsf {f} (s^1)=\textsf {f} (s^2)\) would imply that \(\textsf {f}\) is constant in \((s^1,s^2)\), which is in contrast with the assumption \(s^1,s^2\in A\) (and thus \(\textsf {f} '(s^1),\textsf {f} '(s^2)>0\)). Let now \(y^i_k:=\textsf {f} _k(s^i)\) for \(i=1,2\). Since \(y^i_k\rightarrow \textsf {f} (s^i)\) for \(i=1,2\), for k sufficiently large one has \(|y^1_k-y^2_k|>\frac{1}{2}|\textsf {f} (s^1)-\textsf {f} (s^2)|>0\). Let \(\phi _k\in \mathrm {BV}(0,T)\) denote the inverse function of \(\textsf {f} _k\). It turns out that \(y^1_k,y^2_k\) are both jump points of \(\phi _k\) for every \(k>\max \{k(s^1),k(s^2)\}\). Since the jump points of a \(\mathrm {BV}\) function are countable, it follows that \(\Xi\) is countable, too. \(\square\)
Lemma A.2
[10, Lemma 7.8] Let \(t_k \rightarrow t\) in [0, T], \(\mu _k \rightarrow 0\), \((q_k)_k=(u_k, z_k, p_k) _k\subset {\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\) such that the following convergences hold as \(k\rightarrow +\infty\): \(q_k \overset{*}{\rightharpoonup }q=(u, z, p)\) in \({\mathbf {Q}}_{\scriptstyle \tiny \mathrm {PP}}\), \(e(t_k)={\mathrm {E}}(u_k+w(t_k))-p_k \rightarrow e(t)={\mathrm {E}}(u+w(t))-p\) in \({L^2(\Omega ;\, {\mathbb {M}^{n\times n}_{\mathrm {sym}}})}\) and \(\mu _k \, p_k \rightarrow 0\) in \(L^2(\Omega ;\, {\mathbb M}^{n{\times }n}_{\mathrm {D}})\). Then,
We borrow our final auxiliary result from [25]. The proof, therein developed in the case of a sequence \((t_k,q_k)\) with values in \(\mathbb {R}\times \varvec{Q}\) with \(\varvec{Q}\) a reflexive space, can be straightforwardly adapted to the case of the dual of a separable space.
Lemma A.3
[25, Prop. 5.2] Let \(\varvec{Q}\) be the dual of a separable Banach space, let \(\varvec{S}\) be a weakly\(^*\) closed subset of \(\varvec{Q}\), and let \((\mathscr {M}_k)_k, \, \mathscr {M}_0: \mathbb {R}\times \varvec{S} \times \mathbb {R}\times \varvec{Q} \rightarrow [0,\infty ]\) be measurable and weakly\(^*\) lower semicontinuous functionals fulfilling the \(\Gamma\)-\(\liminf\) estimate
Suppose that, the functionals \(\mathscr {M}_0(t,q,\cdot ,\cdot )\) and \(\mathscr {M}_k(t,q,\cdot ,\cdot )\) are convex for every \(k\in \mathbb {N}\) and \((t,q) \in \mathbb {R}\times \varvec{S}\). Let \((\textsf {t} _k,\textsf {q} _k), \, (\textsf {t} ,\textsf {q} ) \subset \mathrm {AC}([a,b];\mathbb {R}\times \varvec{S})\) fulfill
Then,
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
Crismale, V., Lazzaroni, G. & Rossi, R. Singular limits of a coupled elasto-plastic damage system as viscosity and hardening vanish. Annali di Matematica 202, 1271–1312 (2023). https://doi.org/10.1007/s10231-022-01280-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-022-01280-0
Keywords
- Rate-independent systems
- Variational models
- Vanishing viscosity and hardening
- Balanced Viscosity solutions
- Damage
- Elasto-plasticity