arxiv: v2 [math.ap] 16 Aug 2017


 Lorraine Caldwell
 5 days ago
 Views:
Transcription
1 DATADRIVEN PROBLEMS IN ELASTICITY S. CONTI 1, S. MÜLLER1,2 AND M. ORTIZ 1,2,3 arxiv: v2 [math.ap] 16 Aug 2017 Abstract. We consider a new class of problems in elasticity, referred to as DataDriven problems, defined on the space of strainstress field pairs, or phase space. The problem consists of minimizing the distance between a given material data set and the subspace of compatible strain fields and stress fields in equilibrium. We find that the classical solutions are recovered in the case of linear elasticity. We identify conditions for convergence of DataDriven solutions corresponding to sequences of approximating material data sets. Specialization to constant material data set sequences in turn establishes an appropriate notion of relaxation. We find that relaxation within this DataDriven framework is fundamentally different from the classical relaxation of energy functions. For instance, we show that in the DataDriven framework the relaxation of a bistable material leads to material data sets that are not graphs. 1. Introduction To date, the prevailing and classical scientific paradigm in materials science has been to calibrate empirical material models using observational data and then use the calibrated material models to define initialboundary value problems. This process of modelling inevitably adds error and uncertainty to the solutions, especially in systems with highdimensional phase spaces and complex material behavior. The modelling error and uncertainty arises mainly from imperfect knowledge of the functional form of the material laws, the phase space in which they are defined, and from scatter and noise in the experimental data. Against this classical backdrop, remarkable advances in experimental science over the past few decades, including atomic probing, digital imaging, microscopy, and diffraction methods, have radically changed the nature of materials science and engineering from datastarved fields to, increasingly, datarich fields. In addition, multiscale analysis presently allows for accurate and reliable Data Mining of material data from lower scales. These advances open the way for the application to materials science of concepts from the emerging field of Data Science (cf., e. g., [AD14, KDG15]). Specifically, the abundance of data suggests the possibility of a new scientific paradigm, to be referred to as the DataDriven paradigm, consisting of reformulating the classical initialboundaryvalue problems directly from material data, thus 1
2 2 S. CONTI, S. MÜLLER AND M. ORTIZ bypassing the empirical material modelling step of traditional materials science and engineering altogether. In this manner, material modelling empiricism, error and uncertainty are eliminated entirely and no loss of experimental information is incurred. Data Science currently influences primarily nonstem fields such as marketing, advertising, finance, social sciences, security, policy, and medical informatics, among others. By contrast, the full potential of Data Science as it relates to problems in materials science and engineering has yet to be explored and realized. A mathematical connection between DataScience and materials science can be forged as follows. We begin by noting that the field theories of science have a common general structure. Perhaps the simplest field theory is potential theory, which arises in the context of Newtonian mechanics, hydrodynamics, electrostatics, diffusion, and other fields of application. In this case, the field u : R that describes the state of the system is scalar. The localization law that extracts from u the local state at a given material point x is (1.1) ɛ(x) = u(x), i. e., the localization operator is simply the gradient of the field, together with essential boundary conditions of the Dirichlet type. Evidently, (1.1) constrains the field ɛ : R n to be a gradient, i. e., to be compatible. The corresponding conjugate variable is the flux σ : R n. The flux satisfies the conservation equation (1.2) σ(x) + ρ(x) = 0, where is the divergence operator and ρ is a source density, together with natural boundary conditions of the Neumann type. The pair z(x) = (ɛ(x), σ(x)) describes the local state of the system at the material point x and the function z maps to the local phase space Z loc = R n R n. The collection of state functions z : Z loc defines the global state space Z. We note that the phase space, compatibility and conservation laws are universal, i. e., material independent. We may thus define a materialindependent constraint set E Z to be the set of states z = (ɛ, σ) consistent with the compatibility and conservation laws (1.1) and (1.2), respectively, as well as corresponding essential and natural boundary conditions thereof. By way of contrast, the material law (1.3) σ(x) = σ(ɛ(x)) that closes the equations is often only known imperfectly through a local material data set D loc in local phase space Z loc that collects the totality of our empirical knowledge of the material. A typical local material data set consists of a finite number of local states, D loc = {(ɛ i, σ i ), i = 1,..., N}. A corresponding global material data set D Z can then be identified with (1.4) D = {z Z : z(x) D loc }
3 DATADRIVEN PROBLEMS IN ELASTICITY 3 Evidently, for a material data set of this type, the intersection D E is likely to be empty, i. e., there may be no points in the material data set that are compatible and satisfy the conservation laws, even in cases when solutions could reasonably be expected to exist. It is, therefore, necessary to replace the overlyrigid characterization of the solution set S = D E by a suitable relaxation thereof. One such relaxed formulation [KO16] consists of accepting as the best possible solution the state z in the material data set D that is closest to the constraint set E, i. e., which is closest to satisfying compatibility and the conservation law. Closeness is understood in terms of some appropriate distance d defined on the state space Z. The DataDriven solution set is, then, (1.5) S = argmin{d(z, D), z E}. We emphasize that DataDriven solutions are determined directly from the material data set D and that no attempt is made at modeling, i. e., at approximating the local material data sets D loc by means of a graph of the form (1.3). In general, we consider systems whose state is characterized by points z in a metric space (Z, d). The compatibility, conservation and boundary constraints acting on the system have the effect of restricting its state to a subset E Z. In addition, the behavior of the material is described by a material data set D Z. The corresponding DataDriven problem is then (1.5). A number of fundamental questions arise in connection with this new class of problems. It is clear that the range of DataDriven problems is larger than that of classical problems since the local material data sets, even if they define a curve in phase space, need not be a graph. It is therefore of interest to know if the classical solutions are recovered when the local material data sets D loc are a graph (ɛ, σ(ɛ)). Secondly, it is of interest to elucidate the dependence of the DataDriven solutions on the material data sets. In particular, we wish to ascertain the convergence properties of sequences (z h ) of DataDriven solutions generated by sequences (D h ) of material data sets. Finally, a central question of analysis concerns the existence of DataDriven solutions and, in cases of nonattainment, the relaxed form of the DataDriven problem. We investigate these questions in the special case of elasticity under the linearized kinematics approximation. We start from a situation in which the data set is weakly closed and therefore amenable to more straightforward analysis. We specifically consider the simple case of linear elasticity and seek solutions in the phase space of L 2 strainstress field pairs. The DataDriven problem then consists of minimizing the distance between a given material data set and the subspace of compatible strain fields and stress fields in equilibrium. In the case of linear elasticity, we find that the classical solutions are recovered. Similar reasoning can be applied to data sets that take the form of a monotone graph in phase space. We also identify conditions
4 4 S. CONTI, S. MÜLLER AND M. ORTIZ A onedimensional strainratedependent constitutive mo Figure 3. Experimental hysteresis loops of SMA wires at various Figure 1. Experimental hysteresis loops of NiTi shape strain amplitudes. memory alloy (SMA) wires at various strain amplitudes. Figure reproduced with permission from [RLS07, Fig. 3], c IOP Figure 4. Variation of the elastic Publishing. All rights reserved. unloading at various strain ampli is used to characterize this segment of the loading process. Upon release of the stress, the material unloads elastically with for convergence an elastic of modulus DataDriven (D). solutions When the corresponding stress reaches to sequences a reverse of approximating material data sets. Specialization to constant material data set transformation stress (σ as ), martensite begins to transform to sequences in turn establishes an appropriate notion of relaxation. We find that relaxation austenite within with an this inelastic DataDriven modulus framework that has is almost fundamentally the same different from value theas classical D y. Once relaxation this transformation of energy functions. is completed, For instance, i.e. the we show that instress the DataDriven reaches theframework austenite the finish relaxation stress (σof af a), bistable there ismaterial a final leads to material elasticdata unloading sets that in are its austenite not graphs. phase. The The relaxed arealocal enclosed material by data set is the reminiscent loop represents of the flag the energy sets that dissipated are covered through by the hysteretic loading loops in tests of unloading shape memory cycle. alloy wires, Fig. 1. This similarity suggests a useful role for DataDriven analysis in connection with the characterization of such materials. These results also illustrate the fact that DataDriven problems subsume and 3.2. Effects areof strictly the strain moreamplitude general than classical on the superelastic energy minimization problems. behavior The point of view that the nonlinear partial differential equations (pdes) of continuum The results mechanics of test can series be written (1) are as a shown set of linear in figure pdes 3. (balance The laws) and nonlinear spindle shaped pointwise hysteresis relationsloops between arethe observed quantities without in the residual balance laws (constitutive deformation, relations) which has been shows emphasized that SMAby is Luc a Tartar good candidate since the 1970s. Figure 5. Experimental hysteresi He hasfor alsoa stressed passive the damper. importance Increase to understand in the strain the amplitude relation between led the loading rates. linear to pdeanconstraints increase in andthe thearea pointwise of theconstraints hysteresis in loop, the context and thus of weak convergence. also anweak increase convergence in the energy arises naturally dissipation in the or the context damping of effective properties capacity. of heterogeneous The forward media transformation (homogenization), stress existence, (σ ms ) almost optimal control and in elucidating which quantities can effectively be measured. on experimental data, instead remains unchanged with an increasing strain level, along with Tartars method of compensated compactness (developed in collaboration phase transformations. The fit with François the slope Murat) of the elastic provides loading a powerful branches mathematical (D a ) and the framework inelastic for analyzingmodulus which nonlinear (D y ). relations The experiments are stableindicate under weak thatconvergence the elasticin the in figure 4, and the formulatio modulus during unloading has a strong dependence on the D = strain amplitude. With the strain level increasing, the slope of the elastic unloading curve decreases, and D a is generally where D is the elastic modulu greater than D, which may be the result of a larger martensite ε represents the onedimensio fraction at a higher level of strain. A correlation coefficient Studies of the dependence of elastic modulus on strain adequate to demonstrate an o
5 DATADRIVEN PROBLEMS IN ELASTICITY 5 presence of linear pde constraints. For an early exposition of these ideas, see [Tar79]. For further developments, see [Tar85, Tar90] and the monograph [Tar09]. A key result in the theory of compensated compactness is the divcurl Lemma [Mur78, Tar78, Tar79, Mur81, Tar83]. This lemma is closely related to the weak continuity of determinants, which plays a fundamental role in nonlinear elasticity and quasiconformal geometry [Reš67, Reš68, Bal77]. Many questions arising in the study of effective properties of composites may also be formulated in the present framework. For example, twomaterial composites in a geometrically linear setting correspond to the case in which the set D loc is the union of two graphs in the strainstress phase space. The computation of its relaxation D loc is then related to the computation of the Gclosure. We refer to [Wil81, MT85, Tar86, FM86, KS86a, KS86b, NM91, Nes95] for early results and to the monographs [Che00, All02, Mil02, Tar09] for modern reviews of the subject from different viewpoints. In this paper, we introduce a new approach for the variational study of materials that is not based on energy minimization but instead accords the equilibrium equations and material data set a central role. We do not aim for the most general abstract setting. For conceptual clarity we instead focus on two illustrative examples, namely, linear elasticity in Section 2 and the geometrically linear twowell problem in Section 3. Specifically, we develop a concept of relaxation in the stressstrain phase space that enforces strongly the differential constraints of the stress being divergencefree and the strain being a symmetrized gradient, while the constitutive equation is enforced only in an asymptotic sense. This notion of relaxation can also be couched in terms of Aquasiconvexity, see [Dac82, p. 14 and p ] and [FM99], but a detailed elucidation of this connection is beyond the scope of this paper. It is instructive to briefly compare the present approach to relaxation by energy minimization. By way of example, in Section 3.3 we consider the geometrically linear twowell problem. In the context of energy minimization, the twowell problem entails the study of energy densities that are the minimum of two quadratic forms, e. g., W (ξ) = min{ 1 2C(ξ a) (ξ a), 1 2C(ξ b) (ξ b)}. Of central interest is the effective energy that describes the weak lower semicontinuous envelope of the integral functional W (Du)dx. There exists a large body of literature on the subject. The geometrically linear case of interest here was addressed early on in [Kha67, KS69, Roi69, Koh91]. The corresponding geometrically nonlinear theory was developed in [BJ87] in the particular context of martensitic phase transitions. These problems have spawned a large body of research, typically concerned with finding the zeroset of the relaxation. The present approach is fundamentally different since, instead of minimizing energy, we allow for all sequences of stresses and strains that obey the compatibility and equilibrium constraints, which results in a larger envelope, see discussion in Section 3.3. In a different but related context, the observation that for problems of this type the set of solutions of the equilibrium equations is much larger
6 6 S. CONTI, S. MÜLLER AND M. ORTIZ than the set of local minimizers of the energy and that it indeed contains much wilder solutions was made in particular in [MŠ98, MŠ03]. 2. Linear elasticity (a) Σ (b) Σ Ε Ε Figure 2. a) Local material data set for linearized elasticity. b) Sampled local material data set for linearized elasticity General setting. We consider an elastic body occupying a bounded, connected Lipschitz set R n with state defined by a displacement field u : R n. The corresponding compatibility and equilibrium laws are (2.1a) (2.1b) and (2.2a) (2.2b) ɛ(x) = 1 2( u(x) + u T (x) ), in, u(x) = g(x), on Γ D, divσ(x) + f(x) = 0, in, σ(x)ν(x) = h(x), on Γ N, where ɛ L 2 (; R n n sym ) is the strain tensor field and σ L 2 (; R n n sym ) is the stress tensor field, f L 2 (; R n ) are body forces, g H 1/2 ( ; R n ) boundary displacements, h H 1/2 ( ; R n ) applied tractions and ν : S n 1 denotes the outer normal. In order to explain the meaning of the boundary conditions (2.1b) and (2.2b) we recall some properties of the function spaces involved. It is well known that there exists a unique linear continuous operator T 0 : H 1 (; R n ) L 2 ( ; R n ) such that T 0 u(x) = u(x) for all u C 1 ( ; R n ) and x. The space H 1/2 ( ; R n ) is defined as the range of this operator, namely, H 1/2 ( ; R n ) = T 0 (H 1 (; R n )) L 2 ( ; R n ), with the induced metric,
7 DATADRIVEN PROBLEMS IN ELASTICITY 7 so that T 0 is continuous from H 1 (; R n ) to H 1/2 ( ; R n ). The Dirichlet boundary condition (2.1b) means that T 0 u(x) = g(x) for H n 1 almost every x Γ D. The space H 1/2 ( ; R n ) is defined as the dual of H 1/2 ( ; R n ). Following [Tem79] we define E(; R n n ) as the set of w L 2 (; R n n ) such that div w L 2 (; R n ). Then, it can be shown that there exists a unique linear continuous operator T ν : E(; R n n ) H 1/2 ( ; R n ) such that (T ν w)(x) = (w ν)(x) for all w C 1 ( ; R n n ) and H n 1 almost all x (we recall that ν is the outer normal). Furthermore, it follows that (2.3) w Du dx + div w u dx = T ν w, T 0 u H 1/2 ( ),H 1/2 ( ). for any w E(; R n n ) and u H 1 (; R n ). Finally, T ν is surjective, in the sense that for any θ H 1/2 ( ; R n ) there is w E(; R n n ) such that T ν w = θ. Proofs of these results are given, e. g., in [Tem79, Sect. 1.2 and 1.3]. The Neumann boundary condition (2.2b) specifically means that (2.4) T ν σ, ψ H 1/2 ( ),H 1/2 ( ) = h, ψ H 1/2 ( ),H 1/2 ( ), for any ψ H 1/2 ( ; R n ) that obeys ψ = 0 H n 1 almost everywhere on \ Γ N. In the remainder of the paper we shall simply write u and σν for the traces T 0 u and T ν σ. Furthermore, we shall assume throughout that R n is a connected, open, bounded, nonempty Lipschitz set, and that Γ D, Γ N are disjoint open subsets of with (2.5) Γ D Γ N =, H n 1 (Γ N \ Γ N ) = H n 1 (Γ D \ Γ D ) = 0, Γ D. We remark that, if Γ D and Γ N are Lipschitz subsets of, then extension is possible and it is possible to take g H 1/2 (Γ D ; R n ) and h H 1/2 (Γ N ; R n ) Linear elasticity. We define the phase space as (2.6) Z = L 2 (; R n n sym ) L 2 (; R n n sym ) and metrize it by the norm ( (2.7) z = ( 1 2 Cɛ ɛ C 1 σ σ) dx) 1/2, where C L(R n n sym ), C T = C, C > 0, is a nominal elasticity tensor. We shall tacitly identify C with a tensor in L(R n ) by Cξ = C(ξ + ξ T )/2. The Data Driven problem of linear elasticity is then characterized by the material data set (2.8) D = {(ɛ, σ) Z : σ = Cɛ}, Fig. 2a, and the constraint set (2.9) E = {z Z : (2.1) and (2.2)}.
8 8 S. CONTI, S. MÜLLER AND M. ORTIZ A straightforward calculation gives (2.10) d 2 1 (z, D) = 4 C 1 (σ Cɛ) (σ Cɛ) dx, where for z Z and A Z we write d(z, A) = inf{ z a : a A}. In addition, by (2.3) on E we have the power identity (2.11) σ(x) ɛ(x) dx = f(x) u(x) dx + σν, u H 1/2 ( ),H 1/2 ( ) where ν is the outward unit normal to the boundary. We remark that (2.12) σν, u H 1/2 ( ),H 1/2 ( ) Γ = σ(x)ν(x) g(x) dh n 1 (x) D + h(x) u(x) dh n 1 (x), Γ N for regular functions that obey (2.2)(2.1). The following lemma generalizes the classical HelmholtzHodge decomposition theorem to tensor fields (cf., e. g., [GR79, Tem79]). Here and subsequently, we write (2.13) e(u) = 1 2 ( u + ut ), for the strain operator on displacement vector fields u H 1 (; R n ). Lemma 2.1 (Tensor Helmholtz decomposition). Let R n be open, bounded, Lipschitz. Let Γ D, Γ N be disjoint open subsets of that obey (2.5). Let (2.14a) (2.14b) M = {e(u), u H 1 (; R n ), u = 0 on Γ D }, N = {σ L 2 (; R n n sym ), div σ = 0, σν = 0 on Γ N }. Then, M and N are strongly (and weakly) closed in L 2 (, R n n sym ), L 2 (; R n n sym ) = M N and the decomposition is orthogonal. We recall that σν = 0 on Γ N means that the function σν H 1/2 ( ; R n ) obeys σν, g H 1/2 ( ),H 1/2 ( ) = 0 for all g H1/2 ( ; R n ) that vanish H n 1 almost everywhere on \ Γ N (this means, i. e.on Γ D ). Proof. The mapping div : L 2 (; Rsym n n ) H 1 (; R n ) is strongly continuous. Hence, L 2 div (, Rn n sym ) = preimage of {0} by div is strongly closed in L 2 (; R n n sym ). The mapping σ σν is strongly continuous from L 2 div (; Rn n to H 1/2 ( : R n ). Therefore, if σ j N converges in L 2 to σ, then for any g H 1/2 ( ; R n ) with g = 0 a. e.on Γ D, we obtain (2.15) σν, g H 1/2 ( ),H 1/2 ( ) = lim j σ jν, g H 1/2 ( ),H 1/2 ( ) = 0. Therefore N is closed. It is easily verified that M is also closed. sym )
9 DATADRIVEN PROBLEMS IN ELASTICITY 9 Let e(u) M and σ N. Then, (2.3) gives (2.16) σ e(u) dx = σν, u H 1/2 ( ),H 1/2 ( ) = 0, which proves orthogonality. Let σ (M N). Then σ M and σ N. For any u Cc (, R n ) we have e(u ) M and by the assumption σ M we obtain div σ = 0 in. Therefore σν H 1/2 ( ; R n ) and (2.17) 0 = σ e(u) dx = σν, u H 1/2 ( ),H 1/2 ( ) for all u H 1 (; R n ), u = 0 on Γ D. This means that σν = 0 on Γ N and therefore σ N. By the second inclusion, σ N N = {0}. It thus follows that L 2 (; R n n sym ) = M N and M = N. Theorem 2.2 (Existence and uniqueness). Let R n be open, bounded, Lipschitz. Let Γ D, Γ N be disjoint open subsets of that obey (2.5). Assume: i) C L(R n n sym ), C T = C, C > 0. ii) f L 2 (; R n ), g H 1/2 ( ; R n ), h H 1/2 ( ; R n ). Let D be as in (2.8) and the constraint set E as in (2.1) and (2.2). Then, the DataDriven problem (2.18) min{d(z, D), z E} has a unique solution. Moreover, the DataDriven solution satisfies (2.19) σ = Cɛ. Proof. By Lemma 2.1 and HahnBanach, the constraint set E is weakly closed in Z. In addition, we note from (2.10) that d 2 (, D) is weakly lowersemicontinuous in Z, hence in E. Let (z h ) E, d(z h, D) C <. From (2.10), (2.20) d 2 (z h, D) = 1 4 C 1 (σ h (x) Cɛ h (x)) (σ h (x) Cɛ h (x)) dx. Expanding the square and integrating by parts using the power identity (2.11), we obtain (2.21) z h 2 = 2d 2 (z h, D) + f(x) u h (x) dx + σν, u H 1/2 ( ),H 1/2 ( ). An appeal to the Korn, Poincaré and trace theorems gives the estimates (2.22) u h H 1 (;R n ) C( ɛ h L 2 (;R n n sym ) + g H 1/2 ( ;R n ) ), (2.23) u h g H 1/2 ( ;R n ) C( ɛ h L 2 (;R n n sym ) + g H 1/2 ( ;R n ) ), and (2.24) σ h ν H 1/2 ( ;R n ) C( σ h L 2 (;R n n sym ) + f L 2 (;R n )).
10 10 S. CONTI, S. MÜLLER AND M. ORTIZ Therefore, writing σν, u = σν, g + σν, u g, (2.25) and z h 2 2d 2 (z h, D) + C f L 2 (;R n )( ɛ h L 2 (;R n ) + g H 1/2 ( ;R n ) ) + C g H 1/2 ( ;R n ) ( σ h L 2 (;R n ) + f L 2 (;R n )) + C h H 1/2 ( ;R n ) ( ɛ h L 2 (;R n ) + g H 1/2 ( ;R n ) ), (2.26) z h 2 2d 2 (z h, D) + C z h. Therefore, z h is bounded in Z and (z h ) has a weaklyconvergent subsequence. The existence of DataDriven solutions then follows from Tonelli s theorem [Ton21]. Let z = (ɛ, σ) be a DataDriven solution. By minimality, (2.27) 1 4 C 1 (σ(x) Cɛ(x)) (σ (x) Cɛ (x)) dx = 0, for all z = (ɛ, σ ) E 0 = M N the constraint set for homogeneous data. The sets M and N were defined in Lemma 2.1. Choosing ɛ = 0 and σ N, from Lemma 2.1 we obtain (2.28) C 1 σ ɛ N = M, which means that there is u H 1 (; R n ) such that (2.29a) (2.29b) C 1 σ ɛ = e(u), in, u(x) = 0, on Γ D. Choosing σ = 0 and ɛ M in (2.27), we obtain σ Cɛ M = N. Since σ Cɛ = Ce(u), (2.30a) (2.30b) (2.30c) This implies (2.31) div (σ Cɛ) = div (Ce(u)) = 0 in, u = 0, on Γ D, Ce(u) ν = 0, on Γ N. Ce(u) e(u)dx = Ce(u)ν, u H 1/2 ( ),H 1/2 ( ) = 0, which requires u = 0 and (2.19) follows from (2.29a). Let now z and z be two DataDriven solutions. Then, by linearity z z D E 0 is a DataDriven solution with zero forcing. By identity (2.21), (2.32) z z 2 = 2d 2 (z z, D) = 0, and z = z in Z. We note that, by (2.19), the unique DataDriven solution coincides with the classical solution of linear elasticity. In particular, the DataDriven solution does not change if the norm (2.7) is replaced by an equivalent one, as for example the L 2 norm of z. We also note that the distance d(, D), eq. (2.10), does not control the norm of Z, which compounds the issue of
11 DATADRIVEN PROBLEMS IN ELASTICITY 11 coercivity. However, on the constraint set E we have the power identity (2.11), which in turn yields (2.20) and the requisite coercivity of d(, D) on E Approximation of the material data set. Next, we consider a sequence (D h ) of material data sets in Z, cf. Fig. 2b, and endeavor to ascertain conditions under which the solutions of the D h problems converge to solutions of a certain Dproblem for a limiting material data set D. In order to set the general framework, let the phase space space Z be a metric space and let D Z be a material data set and E Z a constraint set. The corresponding DataDriven problem then consists of finding (2.33) argmin {d 2 (z, D), z E}, or, equivalently, (2.34) argmin {I E (z) + d 2 (z, D), z Z}, where (2.35) I E (x) = { 0, if x E,, otherwise, is the indicator function of E X. In order to consider approximation of material data sets we need different concepts of convergence of sets. We specifically consider functionals with values in R = R { }.. Definition 2.3 (Γconvergence). Let (X, τ) be a topological space, F h : X R a sequence of functionals. We say that F : X R is the Γ(τ)limit of F h if (2.36) F (x) = sup lim inf inf F h(y) = U N (x) y U sup U N (x) lim sup inf F h(y) y U for all x X, where N (x) denotes the family of all open sets in X that contain x. We recall that every Γlimit is lower semicontinuous with respect to τ, see [DM93], Prop We also remark that if (X, τ) is first countable Γconvergence can be defined in terms of sequences. 1 Indeed, in this case (2.36) is equivalent to the following two conditions (see [DM93], Prop. 8.1): i) (liminf condition): For all x X and all sequences x h x, (2.37) F (x) lim inf F h(x h ). 1 We recall that a topological space is first countable if every point has a countable basis of neighbourhoods, which is in particular true for metric spaces.
12 12 S. CONTI, S. MÜLLER AND M. ORTIZ ii) (limsup condition): For any x X there is a sequence x h x such that (2.38) lim sup F h (x h ) F (x). We recall that the weak topology of a reflexive, separable Banach space is metrizable on bounded sets. Indeed, if T i X is a countable dense set of elements of X, then the metric defined by d(x, y) = i=0 2 i T i (x y) /(1 + T i (x y) ) metrizes the weak topology of X. Thus Γ convergence with respect to the weak topology can be characterized by means of sequences if the functionals (F h ) are equicoercive, see [DM93], Prop The same argument gives the following result. Lemma 2.4. Let (X, τ) be a topological space and assume that there exists a metric d on X such that on bounded sets the topology τ d defined by d agrees with τ. Assume that (2.39) X C = {x X : F h (x) < C for some h} is bounded for each C R. Then, conditions i) and ii) are equivalent to F = Γ τ lim F h. Definition 2.5 (Mosco convergence of functions). A sequence (F h ) of functions from a Banach space X to R converges to another function F : X R in the sense of Mosco, or F = M lim F h, if i) For every sequence (x h ) converging weakly to x in X, (2.40) lim inf F h(x h ) F (x). ii) For every x X, there is a sequence (x h ) converging strongly to x in X such that (2.41) lim F h(x h ) = F (x). Definition 2.6 (Mosco convergence of sets). A sequence (E h ) of subsets of a Banach space X converges to E X in the sense of Mosco, or E = M lim E h, if (2.42) I E = M lim I E h. Lemma 2.7. Every Mosco limit functional F is weakly sequentially lower semicontinuous. In particular every Mosco limit set E is weakly sequentially closed and E = M lim E if and only if E is weakly sequentially closed. Proof. If F is a Mosco limit, x k x and L = lim inf k F (x k ) we need to show that F (x) L. Passing to a subsequence we may assume that L = lim k F (x k ). By the lim sup property there exist x k,h such that x k,h x k 2 h and lim d R (F h (x k,h ), F (x k )) 2 h. Thus there exists an increasing sequence h k h such that y h = x kh,h satisfies y h x kh 2 h and d R (F (y h ), L) 2 h+1. Hence y h x and F (y h ) L. Now the lim inf property of Mosco convergence yields F (x) L. The assertions for sets follow by taking F h = I Eh.
13 DATADRIVEN PROBLEMS IN ELASTICITY 13 We have the following relation between Mconvergence of material data sets and Γconvergence of the corresponding DataDriven functionals. Theorem 2.8. Let Z be a reflexive, separable Banach space, D and (D h ) subsets of Z, E a weakly sequentially closed subset of Z. Suppose: i) (Mosco convergence) D = M lim D h in Z. ii) (Equitransversality) There are constants c > 0 and b 0 such that, for all y D h and z E, (2.43) y z c( y + z ) b. Then, ( ) (2.44) I E ( ) + d 2 (, D) = Γ lim I E ( ) + d 2 (, D h ), with respect to the weak topology of Z. If (z h ) is a sequence of elements of Z with sup h I E (z h ) + d 2 (z h, D h ) < then there is a subsequence converging weakly to some z E. Proof. a) Compactness. Let F h (z) = I E (z h ) + d 2 (z h, D h ). Then (2.45) F h (z) I E (z) + inf y D h z y inf y D h c( y + z ) b c z b. Hence, by Lemma 2.4 Γ convergence with respect to the weak topology of F h is characterized by (2.37)(2.38) (for weakly convergent sequences). b) Limsup inequality. Let z Z (otherwise there is nothing to show). By Lemma 2.7 D is weakly sequentially closed. Thus there exist y D such that z y = d(z, D). By the limsup inequality in Mosco convergence of D h there is a sequence y h D h such that y h y strongly, which implies (2.46) lim sup d(z, D h ) lim sup z y h z y = d(z, D). Therefore the constant sequence gives the limsup inequality (2.38). c) Liminf inequality. Let z h z in Z. Let L := lim inf F h(z h ) = lim inf d2 (z h, D h ). We need to show that F (z) L. We may assume that L < and passing to a subsequence (not renamed) we may assume that z h E and L = lim d 2 (z h, D h ). There exist y h D h such that L = lim z h y h 2. It follows from equitransversality that the sequence y h is bounded. Passing to a subsequence (not renamed) we may assume that y h y. By the liminf inequality in Mosco convergence of D h we get (2.47) 0 = lim inf I D h (y h ) I D (y) 0. Hence, I D (y) = 0 and y D. In addition, z h y h z y. By convexity, (2.48) L = lim inf z h y h 2 z y 2 d 2 (z, D) = F (z)
14 14 S. CONTI, S. MÜLLER AND M. ORTIZ and (2.37) is proved. We note that, by Lemma 2.7 the limiting material data set D must be necessarily weakly sequentially closed in Z. All strongly closed convex sets, including closed linear subspaces of Z, satisfy this requirement. Figure 3. Schematic of convergent sequence of material data sets. The parameter t h controls the spread of the material data sets away from the limiting data set and the parameter ρ h controls the density of material data point. Conditions for the existence of solutions of DataDriven problems with weakly sequentially closed material data sets follow directly from Theorem 2.8. Corollary 2.9. Let Z be a reflexive, separable Banach space, D and E be weakly sequentially closed subsets of Z. Suppose the transversality assumption (2.43) holds for any y D, z E. Then, the DataDriven problem (2.34) has solutions. Proof. By Lemma 2.7, Theorem 2.8 can be applied to the constant sequence D h = D, with the result that I E ( ) + d 2 (, D) is weakly lower semicontinuous and coercive. Existence of solutions then follows from Tonelli s theorem [Ton21]. We now recover the existence Theorem 2.2 for the DataDriven linear elastic problem as a special case of Theorem 2.8 and Corollary 2.9. Corollary Under the assumptions of Theorem 2.2, the linearelastic DataDriven problem (2.18) has solutions.
15 DATADRIVEN PROBLEMS IN ELASTICITY 15 Proof. It follows immediately that D = M lim D. In addition, the intersection of D and E consists of one single point corresponding to the unique solution z 0 of the linear elasticity problem. Let E 0 = M N be the constraint set for null data, i. e., (2.9) with f = 0, g = 0 and h = 0. We then have E = z 0 + E 0 for some z 0 E. We claim that there is c > 0 such that (2.49) y z c( y + z ) or every y D and z E 0. To see this, we write z = (ɛ, σ ) and by (2.10) compute (2.50) y z 2 d 2 (z 1, D) = 4 C 1 (σ Cɛ ) (σ Cɛ ) dx. By Lemma 2.1 the fields ɛ M and σ N are orthogonal, therefore (2.51) y z 2 d 2 (z 1, D) = 4 C 1 σ σ Cɛ ɛ dx = 1 2 z 2. Finally, (2.52) y z 1 2 y z d(z, D) 1 2 y z z c( y + z ) proves (2.49). Let now y D, z E, and define z = z z 0 E 0. Then a triangular inequality gives z z z 0 and we obtain (2.53) y z c( y + z ) c z 0, which is (2.43). A particular case of interest is the following, cf. Fig. 3. The case concerns approximation by sequences of material data sets that converge to a limiting material in a certain uniform sense. In practice, such approximations may result from sampling the material behavior experimentally or through multiscale computational models. Lemma Let Z and E be as in (2.6) and (2.9). Suppose that (2.54) D h = {z Z : z(x) D loc,h a. e. in }, for some sequence of local material data sets D loc,h R n n sym R n n sym. Let (2.55) D = {z Z : z(x) D loc a. e. in }, where (2.56) D loc = {(ɛ, σ) R n n sym R n n sym, σ = Cɛ}. Assume that: i) (Fine approximation) There is a sequence ρ h 0 such that (2.57) d(ξ, D loc,h ) ρ h, ξ D loc. ii) (Uniform approximation) There is a sequence t h 0 such that (2.58) d(ξ, D loc ) t h, ξ D loc,h.
16 16 S. CONTI, S. MÜLLER AND M. ORTIZ Then, D = M lim D h in Z. Proof. a) Liminf inequality. Let z h z in Z. By passing to a subsequence, not renamed, we may assume z h D h. Then, by (ii) we have d(z h, D) 0 and, by the lowersemicontinuity of d(, D), (2.59) 0 = lim inf Hence z D and d(z h, D) d(z, D). (2.60) 0 = lim inf h 0 I D h (z h ) = I D (z) = 0. b) Limsup inequality. Let z D. By (i) we can choose a measurable function z h such that z h (x) D loc,h B ρh (z(x)). Then, z h z and (2.61) I D (z) = 0 = lim h 0 I Dh (z h ), as required. A noteworthy consequence of Theorem 2.8 is that, when the material set D is weakly sequentially closed, the convergence of approximating materialset sequences (D h ) can be elucidated independently of the constraint set E. This situation is fundamentally different when the material set D fails to be weakly closed, as shown next. 3. Relaxation of the twowell problem in elasticity (a) Σ (b) Σ Ε Ε Figure 4. a) Local material data set for nonlinear elasticity. b) Sampled local material data set for nonlinear elasticity. Next, we turn attention to nonconvex material sets D failing to be weakly closed, cf. fig. 4. We first discuss abstractly the DataDriven approximation and relaxation concepts, assuming that Z is a reflexive separable Banach
17 DATADRIVEN PROBLEMS IN ELASTICITY 17 space and E a weaklyclosed subset. The corresponding DataDriven problem is again (2.33) or, equivalently, (2.34). Furthermore, since ( ) (3.1) d(z, D) = inf I D (y) + y z, y Z an alternative definition of DataDriven problem (2.34) is (3.2) argmin {F (y, z), (y, z) Z Z}, with (3.3) F (y, z) = I D (y) + I E (z) + y z 2 = I D E (y, z) + y z 2. The choice of the exponent 2 is only for definiteness and does not influence any statement. In Section 3.2 and 3.3 we shall then turn to specific examples of multistable materials, restricting attention to linearized kinematics Approximation of the material data set. In addition to its strong (S) and weak (W ) topologies, with corresponding convergence of sequences denoted and, respectively, we endow Z Z with the following intermediate topology ( ). The abstract definitions can be given for any reflexive, separable Banach space Z. Definition 3.1 (Data convergence). A sequence (y h, z h ) in Z Z is said to converge to (y, z) Z Z in the Data topology, denoted (y, z) = lim (y h, z h ), if y h y, z h z and y h z h y z. We denote by Γ(τ) lim, τ = W,, S, the Γlimit of sequences of functions over Z Z and by K(τ) lim, τ = W,, S, the Kuratowski limit of sequences of sets in Z Z. We recall that Kuratowski convergence of sets is equivalent to Γ convergence of the indicator functions. We remark that the Data convergence can be easily reformulated in terms of the weak topology. Indeed, letting O S, O W P(Z) be the families of open subsets with respect with the strong and the weak topology of Z, respectively, one considers on Z Z the coarsest topology for which the sets (A A ) {(z, z ) : z z C} are open, for all A, A O W, C O S. In particular, there exists a metric d such that the Data topology on bounded subsets of Z Z agrees with the topology τ d induced by d and thus Lemma 2.4 implies that for coercive functionals Γ convergence in the Data topology is given by the sequential characterization (2.37) (2.38). The following theorem establishes a connection between convergence of material data sets and convergence of solutions of the associated Data Driven problems. Theorem 3.2. Let D and (D h ) be subsets of a reflexive separable Banach space Z, E a weakly sequentially closed subset of Z. For (y, z) Z Z, let (3.4) F h (y, z) = I Dh (y) + I E (z) + y z 2 = I Dh E(y, z) + y z 2. Suppose: i) (Data convergence) D E = K( ) lim (D h E).
18 18 S. CONTI, S. MÜLLER AND M. ORTIZ ii) (Equitransversality) There are constants c > 0 and b 0 such that, for all y D h and z E, (3.5) y z c( y + z ) b. Then: a) If F h (y h, z h ) 0, there exists z D E such that, up to subsequences, (z, z) = lim (y h, z h ). b) If z D E, there exist a sequence (y h, z h ) in Z Z such that (z, z) = lim (y h, z h ) and F h (y h, z h ) 0. Proof. We first observe that, as in the proof of Theorem 2.8, equitransversality implies equicoercivity, so that we can work with the sequential definition of Γconvergence in (2.37)(2.38). a) Since F h (y h, z h ) 0, it follows that y h D h, z h E, y h z h 0. By (ii), (y h ) and (z h ) are bounded. Therefore, there are y Z and z Z such that y h y and z h z up to subsequences. By the weak closedness of E, z E. By weak lowersemicontinuity, (3.6) 0 y z lim inf y h z h = 0. Hence y = z and (y, z) = lim (y h, z h ). By (i), (3.7) 0 I D (y) = I D (y) + I E (z) lim inf ( ) I Dh (y h ) + I E (z h ) = 0, hence y D. b) Let z D E. Then, by (i) there exists a sequence (y h, z h ) D h E with limit (z, z) = lim (y h, z h ). In particular, we have y h z h z z = 0. Hence, by continuity of the norm, (3.8) lim F h(y h, z h ) = lim as required. ( I Dh (y h ) + I E (z h ) + y h z h 2) = 0, We also show that Data relaxation is stable with respect to fine and uniform approximation of the material data sets. Theorem 3.3. Let E Z be weakly sequentially closed, D, D Z. Suppose: i) (Data convergence) D E = K( ) lim (D E). ii) (Fine approximation) There is a sequence ρ h 0 such that (3.9) d(ξ, D h ) < ρ h, ξ D. iii) (Uniform approximation) There is a sequence t h 0 such that (3.10) d(ξ, D) < t h, ξ D h. iv) (Transversality) There are constants c > 0 and b 0 such that, for all y D and z E, (3.11) y z c( y + z ) b. Then, D E = K( ) lim (D h E).
19 DATADRIVEN PROBLEMS IN ELASTICITY 19 Figure 5. Schematic of convergent sequence of material data sets. The parameter t h controls the spread of the material data sets away from the limiting data set and the parameter ρ h controls the density of material data point. Remark 3.4. If the data sets are local, in the sense that (3.12) D h = {z Z : z(x) D loc,h a. e. in }, for some sequence of local material data sets D loc,h R n n sym R n n sym, and analogously for D and D loc R n n sym R n n sym, then the approximation properties (ii) and (iii) can be written as (3.13) d(ξ, D loc,h ) ρ h, ξ D loc and (3.14) d(ξ, D loc ) t h, ξ D loc,h, respectively. We observe that the transversality condition iv) is only used here to ensure the sequential characterization of the K( ) limit. Proof. a) Coercivity. We first show that the equitransversality (condition (ii) in Theorem 3.2) holds and the assertions of Theorem 3.2 follow. To see this, let y D h. By the uniform approximation property (iii) there is ŷ D with y ŷ < t h and therefore for all z E (3.15) y z ŷ z y ŷ c( ŷ + z ) b t h c( y + z ) b (1 + c)t h.
20 20 S. CONTI, S. MÜLLER AND M. ORTIZ The sequence t h is obviously bounded, and therefore equitransversality holds with b = b + (1 + c) max h t h. In particular, we can work with the definition of Γ convergence by sequences. b) Liminf inequality. Suppose that (y, z) = lim (y h, z h ) in Z Z. We need to prove (3.16) I D E (y, z) lim inf I D h E(y h, z h ). If lim inf I Dh E(y h, z h ) =, then (3.16) holds. Otherwise, possibly passing to a subsequence, we can assume y h D h and z h E for all h. By (iii) there are ŷ h D such that ŷ h y h t h. In particular, ŷ h y and ŷ h z h y z strongly, so that (y, z) = lim (ŷ h, z h ). By (i) (3.17) I D E (y, z) lim inf I D E(ŷ h, z h ) = 0. This concludes the proof of the lower bound. c) Limsup inequality. Let (y, z) Z Z. We need to construct a sequence (y h, z h ) D h E such that (y, z) = lim k (y h, z h ) in Z Z and (3.18) lim sup I Dh E(y h, z h ) I D E (y, z). If I D E (y, z) = a constant sequence will do, therefore we can assume y D, z E. By (i), there is a sequence (ŷ h, z h ) D E such that (y, z) = lim (ŷ h, z h ) in Z Z. By (ii), for every ŷ h there is y h D h such that ŷ h y h ρ h. This implies (y, z) = lim k (y h, z h ). Furthermore, (3.19) lim I D h E(y h, z h ) = I D E (y, z), as required. (a) (b) Figure 6. a) Twophase material data set. b) Relaxed material data set.
21 DATADRIVEN PROBLEMS IN ELASTICITY Onedimensional problems. We consider a onedimensional elasticity problem defined over the domain (0, 1) with Dirichlet boundary conditions at both ends. We assume the body to be free of body forces. Other boundary conditions may be treated likewise. The addition of body forces represents a continuous perturbation of the problem and does not affect its relaxation. In this case, the phase space is Z = L 2 (0, 1) L 2 (0, 1) and, assuming Γ D = {0, 1}, the constraint set E defined in (2.9) reduces to (3.20) E = {ɛ L 2 (0, 1), 1 0 ɛ dx = ɛ} {σ = σ R}. Here ɛ R is the macroscopic deformation, as given by the boundary conditions. For definiteness, we specifically consider the data set (3.21) D = {y Z : y(x) D loc a. e. in (0, 1)}, with (3.22) D loc = {(ɛ, Cɛ + σ 0 ), ɛ 0} {(ɛ, Cɛ σ 0 ), ɛ 0}, for some constants C > 0, σ 0 0, cf. Fig. 6a. We wish to elucidate the properties of the corresponding DataDriven solutions. To this end, we introduce the relaxed material data set (3.23) D = {y Z : y(x) Dloc a. e. in (0, 1)}, with (3.24) D loc ={(ɛ, Cɛ + σ 0 ), ɛ 2σ 0 /C} {{ɛ} [ σ 0, Cɛ + σ 0 ], 2σ 0 /C ɛ 0} {{ɛ} [Cɛ σ 0, σ 0 ], 0 ɛ 2σ 0 /C} {(ɛ, Cɛ σ 0 ), ɛ 2σ 0 /C}, cf. Fig. 6b. We proceed to show that D is indeed the relaxation of D. Theorem 3.5. Let Z = L 2 (0, 1) L 2 (0, 1), E Z as in (3.20), D as in (3.21) and (3.22) and D as in (3.23) and (3.24). Then, D E = K( ) lim D E. Proof. i) We first verify the equitransversality condition. Let y = (α, β) D, z = (ɛ, σ) E, and (3.25) y z c α ɛ L 2 + c β σ L 2. Since σ is constant, y z controls the oscillation of β. From y D we deduce α Cβ σ 0 pointwise, hence also the oscillation of α is controlled. The term α ɛ L 2 controls the distance of the average of α from ɛ. Therefore (3.26) y z c( y + z ) b with b depending on C, σ 0, ɛ.
22 22 S. CONTI, S. MÜLLER AND M. ORTIZ ii) Let (y h, z h ) be a sequence in Z Z with limit (y, z) = lim (y h, z h ). We need to show that ( ) (3.27) lim inf I D (y h ) + I E (z h ) I D(y) + I E (z). By convergence, we have: y h y; z h z; and y h z h y z. It is enough to consider the case y h D, z h E, hence z E by the weak closedness of E in Z. Therefore, it remains only to verify that y D. Let y h = (α h, β h ), y = (α, β), z h = (ɛ h, σ h ) and z = (ɛ, σ). The convergences above then give α h α in L 2 (0, 1); β h β in L 2 (0, 1); ɛ h ɛ in L 2 (0, 1); σ h σ in L 2 (0, 1); α h ɛ h α ɛ in L 2 (0, 1); and β h σ h β σ in L 2 (0, 1). Since z h E we have σ h = σ h R. Thus σ = σ R and β h β in L 2 (0, 1). Since (α h, β h ) D loc we have β h = Cα h + σ 0 χ h, for some χ h : (0, 1) {±1} that obeys χ h = 1 on the set {β h > σ 0 }, χ h = 1 on the set {β h < σ 0 }. It is immediate that β = Cα + σ 0 χ, where χ L ((0, 1); [ 1, 1]) is the weak limit of χ h. Further, from (χ h + 1)(β h σ 0 ) 0 pointwise and the strong convergence of β h we deduce (χ + 1)(β σ 0 ) 0 almost everywhere, hence χ = 1 almost everywhere on the set {β > σ 0 }. Analogously one shows that χ = 1 a. e.on {β < σ 0 }. Hence, (α(x), β(x)) D loc for a. e. x (0, 1) and y = (α, β) D. iii) Let (y, z) Z Z. We need to show that there exists a sequence (y h, z h ) in Z Z with (y, z) = lim (y h, z h ) such that (3.28) lim ( I D (y h ) + I E (z h ) ) I D(y) + I E (z). We can suppose that (y, z) D E. Let η > 0. Then for almost every x (0, 1) there is δ x > 0 such that (3.29) y(x) D loc and 1 2δ x x+δx x δ x y y(x) 2 dx < η. We cover almost all of (0, 1) by countably many such segments, I i = (x i δ i, x i +δ i ), and construct a function y η D that is constant on each of these segments and obeys y η y L 2 < η. We consider one of the segments and set (α i, β i ) = y(x i ) D loc. By the definition of D loc there is λ i [0, 1] such that (3.30) α i = λ i C 1 (β i σ 0 ) + (1 λ i )C 1 (β i + σ 0 ). (if β i > σ 0 then necessarily λ i = 0, if β i < σ 0 then necessarily λ i = 1). Let α i,η h L (I i, {C 1 (β i + σ 0 ), C 1 (β i σ 0 )}) be a sequence that converges weakly to α i and such that each α i,η h has average α i (over the domain I i ). We set α η h = αi,η h on I i. One can then verify that α η h is bounded in L2 uniformly in h and η and converges weakly as h to α η. Finally, we let (ɛ, σ) = z, define (3.31) ɛ η h = ɛ + αη h αη
23 DATADRIVEN PROBLEMS IN ELASTICITY 23 and set z η h = (ɛη h, σ). Then zη h of y, E and, denoting by α the first component (3.32) (α η h ɛη h ) (α ɛ) L 2 = αη α L 2 η. Taking a diagonal subsequence we obtain (y h, z h ) Z Z such that y h D, z h E and (y, z) = lim (y h, z h ), whereupon (3.28) reduces to (3.33) lim y h z h = y z, which is indeed satisfied by the convergence of (y h, z h ) to (y, z). We note that the relaxed DataDriven problem differs markedly from the classical relaxation of the twowell problem. Indeed, the classical variational formulation deals with minimizing 1 0 W (u )dx over all u H 1 ((0, 1)) with u(1) u(0) = ɛ, where the energy density takes the form (3.34) W (ɛ) = min{ 1 2 C(ɛ + C 1 σ 0 ) 2, 1 2 C(ɛ C 1 σ 0 ) 2 }. The relaxation of this scalar problem is obtained replacing W by its convex envelope, 1 (3.35) W 2 C(ɛ + C 1 σ 0 ) 2 if ɛ < σ 0 /C (ɛ) = 0 if σ 0 /C ɛ σ 0 /C 1 2 C(ɛ C 1 σ 0 ) 2 if ɛ > σ 0 /C. This convex envelope corresponds to the data set (3.36) D loc ={(ɛ, Cɛ + σ 0), ɛ σ 0 /C} {(ɛ, 0), σ 0 /C ɛ σ 0 /C}, {(ɛ, Cɛ σ 0 ), ɛ σ 0 /C}. which is markedly different from the Data relaxation D loc. Interestingly, the Data relaxed material data set (3.24) has the flag form that observed experimentally in materials undergoing displacive phase transitions when tested under cyclic loading, including unloading/reloading from partially transformed states, Fig. 1. We may also characterize directly the distanceminimizing solutions. Indeed, the DataDriven problem reduces to minimizing (3.37) { d 2 (z, D), z = (ɛ, σ), ɛ L 2 (0, 1), σ R, 1 0 } ɛ(x) dx = ɛ. We write D = D + D, where D ± = {(ɛ, Cɛ σ 0 ) : ±ɛ 0}. We subdivide (0, 1) into ω + = {x : d(z(x), D + ) < d(z(x), D )} and ω = (0, 1) \ ω +. By convexity and Jensen s inequality, ɛ may be taken to be a constant in each
24 24 S. CONTI, S. MÜLLER AND M. ORTIZ (a) (b) Figure 7. a) Sampled twophase material data set. b) Relaxed material data set. of them, and the problem reduces to minimizing (3.38) { λ A d 2 ((ɛ A, σ), D + ) + λ B d 2 ((ɛ B, σ), D ) : λ A + λ B = 1, λ A,B 0, } σ R, λ A ɛ A + λ B ɛ B = ɛ. It follows that the minimum is zero if and only if ( ɛ, σ) D loc, in agreement with Theorem 3.2. We note that, by Theorem 3.3, cf. also Remark 3.4, the same Data relaxation is obtained under uniform sampling of D loc, as in Fig. 4. Also, a similar analysis shows that D loc = D loc when D loc is a monotonic graph. Therefore, monotonic graphs are stable with respect to Data relaxation, as expected The multidimensional twowell problem. We illustrate the setvalued character of Data relaxation in multiple dimensions with the aid of the twowell problem with equal elastic moduli. This twowell problem of linearized elasticity has been studied by many authors, including in particular Khachaturyan [Kha67, KS69, Kha83], Roitburg [Roi69, Roi78] and Kohn [Koh91], who obtained the classical relaxation of the problem. Again, we restrict attention to linearized kinematics and identify the phase space Z with L 2 (; R n n sym ) L 2 (; R n n sym ) metrized by norm (2.7). We recall that the constraint set E, eq. (2.9), consists of the elements of Z that are compatible and in equilibrium.
25 DATADRIVEN PROBLEMS IN ELASTICITY 25 Let a, b R n n sym. Given an elasticity tensor (3.39) C L(R n n sym ), C T = C, C > 0, we consider a local material data set of the form (3.40) where we write D loc ={(ɛ, C(ɛ a)) : ɛ R n n sym with W (ɛ a) W (ɛ b)} {(ɛ, C(ɛ b)) : ɛ Rsym n n with W (ɛ b) W (ɛ a)}, (3.41) W (ɛ) = 1 Cɛ ɛ. 2 Equivalently, (3.42) D loc ={(ɛ, C(ɛ a)) : ɛ Rsym n n with Cɛ (b a) W (b) W (a)} {(ɛ, C(ɛ b)) : ɛ R n n sym with Cɛ (b a) W (b) W (a)}. This local material data set represents a material that can be in one of two phases characterized by transformation strains a and b. The classical variational formulation of the problem deals then with the minimization of min{w (e(u) a), W (e(u) b)}dx. After a translation, we may and will assume without loss of generality that a = b. Then (3.43) D loc = D + loc D loc where (3.44) (3.45) D + loc := {(C 1 σ + b, σ) : σ R n n sym, σ b Cb b}, D loc := {(C 1 σ b, σ) : σ R n n sym, σ b Cb b} = D + loc. For c, ν R n, we define the symmetrized tensor product c ν by (c ν) ij = (c i ν j + c j ν i )/2. Our main result is the following. Theorem 3.6. Consider the global material data sets (3.46) D = {y Z : y(x) D loc a. e. in }, where D loc is given by (3.43) (3.45), and (3.47) D = {y Z : y(x) Dloc a. e. in }, with D loc given by (3.48) D loc =D loc {(C 1 σ + µb, σ) for µ ( 1, 1), σ R n n sym, σ b + α µ Cb b α }. The parameter α is defined by (3.49) α := min { C ( c ν b ) (c ν b ) : c R n, ν S n 1}