This note deals with a three-dimensional model for thermal stress-induced transformations in shape-memory materials. Microstructure, like twined martensites, is described mesoscopically by a vector of internal variables containing the volume fractions of each phase. The problem is formulated mathematically within the energetic framework of rate-independent processes. An existence result is proved and we study space-time discretizations and establish convergence of these approximations.
Mathematical formulationWe consider a material with a reference configuration Ω ⊂ R d with d ∈ {2, 3}. This body may undergo displacements u : Ω → R d and phase transformations. The latter will be characterized by a mesoscopic internal variable z : Ω → Z where Z is the Gibbs simplex, associated with the N pure phases e 1 , . . . e N ∈ R N , where e j is the jth unit vector, i.e.,The set of admissible displacements F is chosen as a suitable subspace ofWe consider here the extension of u Dir (t) to Ω, but actually only the trace on Γ Dir would be needed. The internal variable z lives inWe assume also that the material behavior depends on the temperature θ, which will be considered as a time dependent given parameter. Therefore we will not solve an associated heat equation but we will treat θ as an applied load and we denote it by θ appl :This approximation for the temperature is used in engineering models and is justified when the changes of the loading are slow and the body is small in at least one direction: in such a case, excess of heat can be transported very fast to the surface of the body and then radiated into the environment. The linearized strain tensor is given by e(u) def = 1 2 (∇u+∇u T ). The stored-energy potential takes the following formwhere the stored-energy density W (e(u+u Dir (t)), z, θ appl (t)) describes the material behavior. Here σ is a positive coefficient that is expected to measure some nonlocal interaction effect for the internal variable z and l(t) denotes an applied mechanical loading. The total dissipation distance between two internal states z 0 , z 1 ∈ Z is defined viawhere D is a quasi-distance, namelyFinally our problem is assumed to be governed by the energetic formulation of rate independent processes as introduced in [1,2,4,5]. A function (u, z) : [0, T ] → F × Z is called an energetic solution of the rate-independent problem associated with E and D if for all t ∈ [0, T ], the global stability condition (S) and the global energy balance (E) are satisfied, i.e.
(S) ∀(ū,z) ∈ F × Z : E(t, u(t), z(t)) ≤ E(t,ū,z) + D(z(t),z), (E) E(t, u(t), z(t)) + Var