## 1. Introduction

Shape Memory Alloys (SMAs) are a unique class of metal alloys which can be deformed severely and afterwards recover their original shape after a thermomechanical cycle (shape memory effect), or a stress cycle within some appropriate temperature regimes (pseudoelasticity, also sometimes called in the literature superelasticity, *not* to be confused with *hyperelasticity*). The mechanisms of this recovery are either a diffusionless transformation between the austenite phase (which is a highly ordered phase and is also called the parent phase) and the martensite phase (which is a less ordered one) or the reorientation (detwinning) of martensite variants. Detailed exposures to the physics of the subject may be found in Wayman (1964), Smallman and Bishop (2000) and Bhattacharya (2003). As is shown in these studies the thermomechanical response of SMAs is extremely complex, a fact that in conjunction with the continuously increasing use of SMAs in several innovating applications in many engineering fields results in a greater need for a better understanding of these materials. For the past decades several constitutive models have appeared within the literature (e.g., Raniecki et al., 1992; Abeyaratne and Knowles, 1993; Ivshin and Pence, 1994; Boyd and Lagoudas, 1996; Lubliner and Auricchio, 1996; Panoskaltsis et al., 2004), which within the context of a geometrical linear theory can capture several aspects of the experimentally observed response. Nevertheless, the physics of the problem (e.g., see Smallman and Bishop, 2000), together with some basic results of the crystallographic theory of martensitic phase transformations (e.g., Ball and James, 1987; James and Hane, 2000; Abeyaratne et al. 2001), suggest that a geometrically non – linear approach is more appropriate. Levitas and Preston, (2005) discuss the drawbacks of the infinitesimal models and they report that finite rotations of the crystal lattice can occur at small transformation strains (small strains and finite rotations) and can crucially affect the phase transformation conditions. Rather recently, several researchers have started to develop constitutive models for SMAs within the finite deformation regime. The approaches used for the description of the behavior of these materials are many and almost encompass all branches of mathematics, physics, material science and continuum mechanics. The existing models may be roughly classified in the following categories: (a) Constitutive models based on phase field or Landau – Ginzburg theory, (b) models based on irreversible thermodynamics and (c) models based on plastic flow theories.

The basic idea of the phase field theory is that out of all complexities of statistical mechanics one can reduce the behavior of a system undergoing a phase transformation to that of a few order parameters (i.e., parameters that give a measure of the transformation development), governed by a free energy function, which depends on stress (or deformation), temperature and those parameters. A characteristic example of modeling phase transformations by Landau – Ginsburg theory is provided by Levitas and Preston, 2005.

Also, in the realm of the so – called non equilibrium (or irreversible) thermodynamics several models have been proposed which are based on the use of a set of thermomechanical equations describing the kinetics of the martensitic transformations. The constitutive equations are developed in a non – linear manner on the basis of the laws of thermodynamics. Depending on whether they utilize the full microscopic deformation or the phenomenological one, the thermodynamical models may be classified further as microscopic (e.g., Levitas and Ozsoy, 2009) or macroscopic (e.g., Müller and Bruhns, 2006).

Another approach, which besides being thermodynamically consistent may also furnish a concrete micromechanical justification, is through the employment of plastic flow theories. Recall that the martensite transformation is a diffusionless one during which there is no interchange on the position of neighboring atoms but atom movements resulting in changes in the crystal structure (e.g., see Smallman and Bishop, 2000, pp. 278 – 279). Based on this observation the martensite formation has been explained by a shear mechanism or by a sequence of two shear mechanisms. The shear mechanism can take place either by twinning or by sliding, depending on the composition and on the thermodynamical conditions (Smallman and Bishop, 2000, p. 280). Although in the book of Smallman and Bishop mainly martensitic transformation in steel is described, the authors discuss efforts for the development of a general theory of the crystallography of martensitic transformations. The crystallographic mechanisms of martensite in nickel titanium (NiTi, also known as Nitinol) are similar, i.e., slip or twinning, as in the alloys described in the book of Smallman and Bishop. As a result it can be considered that the role played by the different transformation systems in the martensitic transformations may be suitably parallelized by the role played by the slip systems in crystal plasticity. Models based on this idea have been proposed among others by Diani and Parks (1998), Thamburaja and Anand (2000) and Anand and Gurtin (2003). It should be emphasized that these models are also computationally attractive because a lot of work has been put recently in the algorithms of crystal plasticity, both in their purely algorithmic as well as in their mathematical aspects, resulting in the development of robust algorithms well suited for finite element applications. Accordingly, complex constitutive representations may be considered, since their numerical implementation is no longer intractable, no matter how complex they may be.

An alternative approach, within the context of plastic flow theories, has been proposed by Lubliner and Auricchio (1996) and Panoskaltsis et al. (2004), who developed three – dimensional thermomechanical constitutive models based on generalized plasticity theory in the small deformation regime, and by Panoskaltsis et al. (2011a, 2011b) within finite strains and rotations.

Generalized plasticity is a general theory of rate – independent inelastic behavior which is physically motivated by loading – unloading irreversibility and it may be mathematically founded on set theory and topology (Lubliner 1974, 1984, 1987). Its particular structure provides the theory with the ability to address “non – standard” cases such as non – connected elastic domains.

The objective of this work is twofold: First, to extend the previous works of SMAs modeling based on generalized plasticity, providing a general geometrical framework. This general framework will in turn constitute a basis for the derivation of constitutive models for materials undergoing phase transformations and for *arbitrary* deformations. Second, as an application, to develop a finite strain model, which can simulate several patterns of the extremely complex response of SMAs under isothermal and *non – isothermal* loadings.

This chapter is organized as follows: In section 2, a general multi – surface formulation of non – isothermal generalized plasticity, capable of describing the multiple and interacting loading mechanisms which occur during phase transformations (see Panoskaltsis et al., 2011a, 2011b)) is presented within the context of tensor analysis in Euclidean spaces. The derivation of the thermomechanical state equations on the basis of *the invariance properties of the local form of the balance of energy equation under some groups of transformations,* is attained in section 3; this is a purely geometrical approach. In particular, the fundamental theorem of the covariant constitutive theory of non – linear elasticity (see Marsden and Hughes, 1994, pp. 202 – 203) is revisited and is used *in place of the second law of thermodynamics,* as a basic constitutive hypothesis for the subsequent derivation of the SMAs thermomechanical state equations. Rate constitutive equations are derived as well. Finally, as an application a specific model is derived within a fully thermomechanical framework in section 4. Computational aspects and numerical simulations are presented in section 5.

## 2. Generalized plasticity for phase transformations

### 2.1. Formulation of the governing equations in the reference configuration

Generalized plasticity is a local internal variable theory of rate – independent behavior, which is based primarily on loading – unloading irreversibility. As in all internal – variable type theories, it is assumed that the local thermomechanical state in a body is determined uniquely by the couple (**G, Q**) where **G** – belonging to a space **Q** – belonging to a space *phase transformations.* Following the ideas presented in the review paper of Naghdi (1990) we follow a material (referential) approach within a strain – space formulation. Accordingly, **G** may be identified by (**E**, T) where **E** is the referential (Green – St. Venant) strain tensor and T is the (absolute) temperature. Depending on the nature of the (material) internal variable vector **Q**, the theory may, in principle, be formulated equivalently with respect to the *macro –, meso –, or micro – scale structure* of the material.

The central concept of generalized plasticity is that of the *elastic range,* which is defined at any material state as the region in the strain – temperature space comprising the strains which can be attained elastically (i.e., with no change in the internal variables) from the current strain – temperature point. It is assumed that the elastic range is a regular set in the sense that it is the closure of an open set. The boundary of this set is defined as a *loading surface* at **Q**, (see Eisenberg and Phillips, 1971; Lubliner, 1987). In turn, a *material state* may be defined as *elastic* if it is an interior point of its elastic range and *inelastic* if it is a boundary point of its elastic range; in the latter case the material state lies on a loading surface. It should be added that the notion of *process* is introduced implicitly here. By assuming that the loading surface is smooth at the current strain - temperature point and by invoking some basic axioms and results from set theory and topology, Lubliner (1987) showed that the rate equations for the evolution of the internal variable vector may be written in the form

where < > stands for the Macauley bracket which is defined as:

and **L** stands for a non - vanishing (tensorial) function of the state variables associated with the properties of the phase transformation, **N** is the outward normal to the loading surface at the current state, while the colon between two tensors denotes their double contraction operation. Furthermore, the set of the material states defined as *elastic domain* and its projection on the set defined by **Q** = const. is defined at the elastic domain at **Q**. In general, the elastic domain at **Q** is a subset of the elastic range (Lubliner, 1987). The particular case in which the two sets coincide corresponds to classical plasticity and the boundary of the elastic domain, that is the *initial loading surface,* constitutes the *yield surface* (see Eisenberg and Phillips, 1971; Lubliner, 1987; Panoskaltsis et al., 2008a, 2008b, 2011c).

It is emphasized that Eq. (1) has been derived under the assumption of a smooth loading surface at the current strain – temperature point, which implies that only one loading mechanism can be considered. On the other hand, phase transformations include multiple and sometimes interacting loading mechanisms, which may result in the appearance of a vertex or a corner at the current strain – temperature point. This fact calls for an appropriate modification of the rate Equation (1).

In order to accomplish this goal we assume that the loading surfaces are defined in the state space by a number – say n – of smooth surfaces, which are defined by expressions of the form

These surfaces can be either disjoint, or intersect in a possibly non – smooth fashion. Each of these surfaces is associated with a particular transformation mechanism which may be active at the current strain – temperature point. Then, by assuming that each equation

where *loading – unloading criteria* for the proposed formulation as follows: Let us denote by

Then Eq. (3) implies the following loading – unloading conditions:

Hence, if we denote further by

the loading criteria in terms of the sets

### 2.2. Equivalent spatial formulation

The equivalent assessment of the governing equations in the spatial configuration can be done on the basis of a push – forward operation (e.g., see Marsden and Hughes, 1994, pp. 67 – 68; Stumpf and Hoppe, 1997) to the basic equations. For instance, by performing a push – forward operation onto Eq. (3) the latter is written in the form

where F stands for the deformation gradient and g stands for the vector of the controllable variables in the spatial configuration and is composed by the Almansi strain tensor e – defined as the push – forward of the Green – St. Venant strain tensor – and the (scalar invariant) temperature T. Moreover in Eq. (5), q stands for the push forward of the internal variable vector, and

where

where the sets

### 2.3. Description of rate effects

Rather recent experimental results (see, Nemat – Nasser et al., 2005a, 2005b) on a NiTi shape memory alloy, show that some of the phase transformations depend on the rate of loading. Such a behavior can be accommodated by the (geometrical) framework developed here, by noting that generalized plasticity can be combined consistently with a rate – dependent (viscoplastic) theory. In this case the rate equations for the internal variables may be written in the form

where the

### 2.4. Transformation induced plasticity

From a further study of the experimental results of Nemat – Nasser et al. (2005a, 2005b) (see also Delville et al., 2011) it is observed that after a stress cycle within the appropriate limits for pseudo-elastic behavior permanent deformations appear, a fact which implies that a yielding behavior appears within the martensitic transformations.

Such a response can be described within our framework by introducing m additional (plastic) loading surfaces, which control the yielding characteristics of the material. These are assumed to be given by expressions of the form

where **P** is *an additional internal variable vector,* which stands for the description of plastic phenomena within the material. In turn, the rate equations for the evolution of the plastic variables within the generalized plasticity context – which includes classical plasticity as a special case (see Lubliner, 1987; Panoskaltsis et al., 2008a, 2011c) – may be stated as

where the functions

A further observation of Eqs. (9) and (10) and their comparison with the basic Eqs. (2) and (3) reveal that both sets of equations show exactly the same qualitative characteristics. Accordingly, it is concluded that from a geometrical standpoint the phase transformation loading surfaces are indistinguishable from the plastic loading surfaces, which means that the internal variable vector **P** may be absorbed in **Q** so that the basic equations can simulate both phase transformation and plasticity phenomena in a unified format. *This implies that plastic yielding can be understood within the proposed framework as a phase transition*.

## 3. The invariant energy balance equation and the thermomechanical state equations

The concept of invariance plays a fundamental role in several branches of mechanics and physics. In particular, within the context of continuum mechanics the invariance properties of the balance of energy equation, under some groups of transformations, may be systematically used in order to derive the conservation laws, the balance laws and/or to determine some restrictions imposed on the equations describing the material constitutive response (e.g., Ericksen, 1961; Green and Rivlin, 1964; Marsden and Hughes, 1994, pp. 163 – 167, 200 – 203; Yavari et al., 2006; Panoskaltsis et al., 2011c). For instance, Marsden and Hughes (1994, pp. 202 – 203) by studying the invariant properties of the local form of the material balance of energy equation, under the action of arbitrary spatial diffeomorphisms, determined the thermomechanical state equations for a non – linear elastic material. The basic objective of this section is to revisit the approach given in Marsden and Hughes (1994, pp. 202 – 203), within the context of the Euclidean space used herein and to show how this can used as a basic constitutive hypothesis *in place of the second law of thermodynamics* for the derivation of the constitutive response of the SMA material in question.

### 3.1. Revisiting Marsden and Hughes’ theorem

Unlike the original approach of Marsden and Hughes where manifold spaces are used and the invariance of the local form of the material balance of energy equation is examined under the action of arbitrary spatial diffeomorphisms, which include also a temperature rescaling, we examine the invariance properties of the local form of the *spatial balance* of energy equation under the action of the same kind of transformations, within the context of a Euclidean space. Within this framework the basic axioms of Marsden and Hughes (1994, pp. 202 – 203) may be modified as follows:

*Axiom 1 (Local energy balance or first law of thermodynamics):* For a spatial point with coordinates *elastic* thermomechanical process (e, T) the balance of energy holds

where

where

*Axiom 2 (Invariance of Helmholtz free energy):* We denote by

where

*Axiom 3 (Invariance of the energy balance):* For curves *apparent heat supply” due to entropy production,*

Then the basic theorem of Marsden and Hughes (Theorem 3.6 p. 203), takes in our case the form:

**Theorem 1:**Under axioms 1, 2 and 3 the thermomechanical state equations for the Cauchy stress tensor and the entropy density are given as:

*Proof:* The proof relies crucially, as in the case examined by Marsden and Hughes, on the evaluation of Eq. (13) at time

in which *autonomous* Lie derivative (e.g., see Marsden and Hughes, 1994, pp. 96 – 98; Yavari et al., 2006). Furthermore it holds that

since (see Marsden and Hughes, 1994, p. 98)

In light of Eqs. (15) and (16) and the transformation formulae for the heat flux vector and the “apparent heat supply” due to entropy production, Eq. (13) at

Subtracting Eq. (12) from Eq. (17) gives the identity

or

from which and by noting that

where S stands for the second Piola – Kirchhoff stress tensor,

**Proposition 1:**The invariance of the local form of the balance of energy equation under the superposition of arbitrary spatial diffeomorphisms, which also include a temperature rescaling, gives identical results with respect to the thermomechanical state equations, irrespectively of whether the energy balance equation is considered in its material or its spatial form.

### 3.2. Thermomechanical state equations for a SMA material

Building on the previous developments we will derive the thermomechanical state equations for a *shape memory material with internal variables,* which obeys the rate Equations (5). The development relies crucially on establishing a new set of axioms which will incorporate the presence of the internal variables and their evolution in the course of the phase transformations. We proceed as follows:

*Axiom 1:* Since the internal variables are not involved explicitly in the balance laws, for a process which is either elastic or inelastic (

Axiom 2 is modified as follows:

*Axiom 2:* In addition to the adopted notation, we denote by

*Axiom 3:* In addition to the energy invariance axiom it is assumed that under the application of the diffeomorphism

In this case, as in the previous one, the derivation procedure is the following:

We evaluate Eq. (13) at time

The critical step is the evaluation of the loading rates at

Accordingly, the rate equation for the internal variables evaluated at time

which in view of the rate Equations (5), reads

Upon substitution of Eq. (24), Eq. (21) takes the form

Now, by working in a similar manner as in the previous (i.e., the elastic) case, in light of Eq. (25) the basic Eq. (13) evaluated at

from which by subtracting the balance of energy Eq. (12) we can derive the identity

or equivalently

from which and by noting that

Therefore, unlike the classical elastic case, for the SMA material considered, the invariance of the local form of the energy balance under superposed spatial diffeomorphisms does not yield the standard thermomechanical state equations *unless a* *further assumption* *is made,* namely that an unloading process from an inelastic state (i.e., a process with*quasi-reversible*, which means that in such a process both the *mechanical* and the *thermal dissipations*, defined as

vanish. If this is the case, the classical thermomechanical state equations (Eqs. (14)) can be derived, as in the classical elastic case, directly from Eqs. (29). Thus, we can state the following theorem:

**Theorem 2:** For the rate – independent SMA material with internal variables whose evolution in the course of martensitic transformations is described by the rate equations (5), (or equivalently by Eqs. (3)), the invariance of the spatial local balance of energy equation under superimposed diffeomorphisms, which also include a temperature rescaling, does not yield the standard thermomechanical state equations, unless further assumptions are made.

It is interesting to note that in the classical theory of thermodynamics with internal variables Lubliner (1974, 1987) has arrived at a similar result by working entirely in the reference configuration and *on the basis of the second law of thermodynamics expressed in the form of the Clausius – Plank inequality*, which is a stronger (i.e., less general) form of the Clausius - Duhem inequality since it ignores dissipation due to heat conduction. In order to obtain the standard thermomechanical state equations, Lubliner modifies further the Clausius – Planck inequality, by assuming that it holds as an *equality* for elastic unloading and neutral loading. It is remarkable to note that by working with the covariance axiom we do not have to ignore dissipation due to heat conduction. Also, in comparing the two approaches we note that while in the second law of thermodynamics *we focus on all processes, in the covariance axiom we focus on all transformations of a given process* (Marsden and Hughes, 1994, p. 201).

## 4. A constitutive model

Up to now, the proposed formulation was presented largely in an abstract manner by leaving the kinematics of the problem and the number and the nature of the internal variables unspecified. The basic objective of this section is the introduction of a material model that will help make the application of the generalized plasticity concept in modeling phase transformations clearer. The model is based on a geometrically linear model proposed earlier within a stress space formulation by Panoskaltsis and co-workers (Panoskaltsis et al., 2004, Ramanathan et al., 2002) and which has been extensively used in several applications of engineering interesting (e.g., see Freed et al., 2008; Videnic et al., 2008; Freed and Aboudi, 2008; Freed and Banks – Sills, 2007).

There are two fundamental assumptions underlying the new model which is developed here. The first consists of the additive decomposition of the material strain tensor

Such a decomposition has its origins in the work of Green and Naghdi (1965). The second fundamental assumption is that the response of the material is isotropic. Accordingly, it is assumed that it can be described in terms of a *single* scalar internal variable Z, which, as it is common within the literature (e.g., Boyd and Lagoudas, 1996; Lubliner and Auricchio, 1996; Panoskaltsis et al., 2004; Müller and Bruhns, 2006; Thamburaja, 2010), is identified by the fraction of a single (favorably oriented) martensite variant. In turn, and in view of Eq. (31), the internal variable vector is assumed to be composed by the transformation strain tensor

By noting that the martensitic transformations to be considered are accompanied by variations of the elastic properties of the SMA material and in view of the additive decomposition of strain (Eq. (31)), the Helmholtz free energy can be additively decomposed in elastic and inelastic (transformation) parts, as follows

It is emphasized that this is *not* the conventional decomposition of the free energy function performed within the classical inelastic theories (e.g., plasticity, viscoelasticity, viscoplasticity), since the elastic part

where the terms *U,* *M* will be defined next. *U* is the mechanical part of

where *tr* denotes the trace operator. These parameters are assumed to be dependent on the martensite fraction of the SMA, according to the following (power) law

where

For the thermal part of the stored energy function, that is for the functions

where

Finally, the transformation part of the Helmholtz free energy is given as

where

where

Then in light of the first of Eqs. (20) the second Piola – Kirchhoff stress tensor, after extensive calculations, is found to be

where the dependence of the involved quantities on Z has been dropped for convenience.

The loading surfaces are assumed to be given in the *stress – space* as a two parameter family of von - Mises type of surfaces, that is

where *strain – space* may be derived as

For the evolution of the transformation strain we assume a normality rule in the strain – space which is given as

where

The rate equation for the evolution of the martensite fraction Z, is determined on the basis of the geometrical framework described in section 2 as follows:

For the austenite to martensite transformation

where

where

where the parameters

For the function

In view of Eqs. (45) and (46) the rate equation for the evolution of the martensite fraction of the material during the

where

Similarly, for the inverse

where

and the parameters

where

As a result, the final form for the rate equation for the evolution of the internal variable Z (see Eq. (3)) takes the form

The thermomechanical coupling phenomena, which occur during the martensitic transformations may be studied on the basis of the energy balance equation. It should be mentioned here that with the aid of the fundamental concept of energy it is possible to relate different physical phenomena to one another, as well as to evaluate their relative significance in a given process in mechanics and more generally in physics (Lubliner, 2008, p. 44). This will be accomplished as follows:

The energy balance Eq. (12) can be written in a material setting as

where **H** is the heat flux vector and R is the heat supply per unit mass, all expressed in the material description. By taking the time derivative of the Helmholtz free energy function and inserting it in Eq. (54) we obtain

This equation in turn, upon substitution of the thermomechanical state Eqs. (20), yields

The time derivative of the entropy density is determined by the second of Eqs. (20) as

Upon definition of the specific heat

and upon substitution of Eqs. (57) and (58) into Eq. (56), the latter yields the temperature evolution equation as

If we now define the *heating due to thermoelastic effects* as

and the *inelastic (transformation) contribution to heating* as

where *inelastic dissipation due to phase transformations,* the temperature evolution equation takes the following, remarkably simple, form (see also Rosakis et al., 2000)

This expression has the obvious advantage of decoupling the elastic and inelastic contributions to material heating and is well suited for computational use.

It is noted that in an adiabatic process, that is in a process with

Eq. (62) takes the form

from which and by assuming that the temperature evolution due to *structural heating*

Finally, as a constitutive law for the heat flux vector we assume the standard Fourier’s law (e.g., Simo and Miehe, 1992; Müller and Bruhns, 2006):

## 5. Computational aspects and numerical simulations

As a final step we examine the ability of our model in simulating qualitatively several patterns of the extremely complex behavior of SMAs under simple states of straining. Isothermal and non – isothermal problems are considered.

### 5.1. Isothermal problems

Focusing our attention first in the isothermal case we note that when the total strain tensor **E** is known, the rate equations for the evolution of the internal variables (Eqs. (42) and (53)) and the mechanical state (thermoelastic stress-strain law) equation (Eq. (39)) together with the appropriate initial and boundary conditions form a system of three equations in the three unknowns **S**. The numerical solution of this system of equations and accordingly the numerical implementation of the proposed model relies crucially on the general loading – unloading criteria (see Eq. (4)), which can be expressed in a remarkably simple form, based on the following observation:

As it has been mentioned the

Then the governing equations, along with the aforementioned loading – unloading criteria, can be solved by a time discretization scheme based on backward Euler. The resulting system of the discretized equations is solved by means of a *three step predictor - corrector algorithm*, the steps of which are dictated by the time discrete loading - unloading criteria. Algorithmic details regarding the enforcement of the time discrete loading – unloading criteria and the solution of the system, within the framework of large deformation generalized plasticity in the case of a single loading surface, can be found in Panoskaltsis et al. (2008a, b).

To this end it is emphasized that predictor – corrector algorithms work well in case of domains which are connected. The commonly used predictor – corrector algorithms for elastoplasticity employ an elastic predictor and an inelastic corrector. The most important assumption is that the solution is unique for a particular set of values of the state variables. The predictor step *freezes* the plastic flow and checks for an elastic solution. The yield criterion then is checked and if it is satisfied the elastic solution is acceptable, otherwise the inelastic corrector is activated. In the cases of elastic – plastic analysis there exists a set of consistency conditions the enforcement of which “returns” the (wrong) elastic solution onto the exact solution point on the evolving yield surface. However, in the case of disconnected elastic zones separated by inelastic zones the predictor – corrector algorithm is very sensitive on the strain step used, while going from an inelastic zone to an elastic one.

This is the case of SMAs, which have a transformation (inelastic) zone separating the fully martensite and fully austenite zones (being treated as elastic zones). During forward or reverse transformation, the predictor strain step is very important as we near the elastic – plastic (i.e. transformation) boundary. If the predicted solution lies within the transformation zone (i.e., outside the elastic range) the corrector step is activated and the resulting set of non –linear equations are solved. However, *as we approach the end of the transformation zone and therefore the boundary between the inelastic and the elastic zones, the predictor could predict an elastic solution,* which the algorithm accepts as a valid one, but which is within the next elastic zone, achieved *without the transformation being fully complete* (i.e., achieved while the state is still inelastic) and is therefore an unacceptable solution. This would cause errors in the minimization process and results in jumps in the solution and kinks in the stress strain curve. This problem is resolved here by making the strain step very small and by checking the limits of the transformation.

The first problem we study is a standard problem within the context of finite inelasticity and is that of *finite* shear, defined as

where *γ* is the shearing parameter. For this problem the model parameters are set equal to those reported in the work of Boyd and Lagoudas (1994), that is:

All numerical tests that performed start with the specimen in the parent (austenite) phase, (Z=0).

The first simulation demonstrates the pseudoelastic phenomena within the SMA material. In this case the temperature is held constant at some value above

Next, the model is tested under *multiple shear stress cycles*, by subjecting it to partial unloading (incomplete *slight ratcheting which stabilizes in a few cycles*. The response of the model is absolutely compatible with that described by other investigators (e.g., see Ivshin and Pence, 1994; Lubliner and Auricchio, 1996). In view of Figure 4 and since the dissipated energy can be estimated by the area of the

The ability of the model to simulate phase transformations and the corresponding stiffness variations under cyclic loading is demonstrated further by three additional tests. The first one illustrates the case of *partial loading with complete unloading*, the second the case of *partial unloading with complete loading* and the third the case of a series *of partial loading and partial unloading*. The results are shown in Figures 5, 6 and 7 respectively.

### 5.2. Non – isothermal problems

In this section we examine the ability of the model in predicting pseudoelastic phenomena under *non – isothermal* conditions. In general, the numerical treatment of the coupled thermomechanical problems is performed on the basis of a split of the governing equations (equations of motion, constitutive equations, energy balance equation and the appropriate boundary conditions) into their mechanical and thermal parts. Most popular among the several computational schemes which have been proposed within the literature is the *isothermal split* proposed in the work of Simo and Miehe (1992). However, this rather straight forward numerical scheme has the disadvantage of not being unconditionally stable. An alternative time integration algorithm relies on the so-called adiabatic split (see Armero and Simo, 1993). In this approach, the problem is divided in a mechanical phase during which the entropy is held constant, followed by a thermal phase in which the configuration is held constant, leading to an unconditionally stable algorithm.

Nevertheless, since our objective is to discuss the proposed framework in its simplest setting, we consider two rather simple problems, namely a simple shear and a plane strain problem, where the equations of motion and the (mechanical) boundary conditions are trivially satisfied. Accordingly, within our simulations, *a simultaneous solution of the remaining governing equations, namely the constitutive equations and the balance of energy equation, is performed*.

First, an adiabatic test in finite simple shear is considered. We assume that due to the dynamic rates resulting in adiabatic response, heat exchanges due to conduction, convection and radiation can be neglected in comparison to the temperature changes induced by inelastic (transformation) dissipation, which leads to thermomechanical processes that can be considered as homogeneous. The elastic constants, the mass density and the thermal parameters used in this simulation are those considered in the work of Müller and Bruhns (2006), that is:

while the other parameters are set equal to those used in the isothermal problems studied before. The shear stress – strain curves predicted by the model, for both adiabatic and isothermal cases, are shown in Figure 8. It is observed that the stress – strain curves have similar qualitative characteristics with the adiabatic and the isothermal curves of a perfect gas in a pressure – volume diagram, with the adiabatic stress curve being above the corresponding isothermal one. This fact has to be attributed to material heating due to inelastic dissipation during the

Next, we study a plane strain model, that of the biaxial extension of a material block. The straining occurs along

where λ and ω are the straining parameters.

The *isothermal* stress – displacement curves for the limiting cases

The isothermal tests for

The results of these tests are illustrated in Figures 14 and 15, where the elongation along

## 6. Concluding remarks

In this chapter we developed a geometrical framework for the establishment of constitutive models for materials undergoing phase transformations and in particular for shape memory alloys. The proposed framework has the following characteristics:

It is quite general for the derivation of the kinetic equations governing the transformation behavior and it can describe multiple and interacting loading mechanisms.

It formulates general loading – unloading criteria, in both their material and spatial settings, that can be systematically employed for the numerical implementation of the derived constitutive models.

It can describe rate effects.

It can model non-isothermal conditions.

It can model transformation induced plasticity by considering it as an additional phase transformation.

It employs the invariance of the spatial balance of energy equation under the superposition of arbitrary spatial diffeomorphisms – that is spatial transformations which can change the Euclidean metric – as a basic constitutive hypothesis, in place of the second law of thermodynamics.

As an application a specific three – dimensional thermomechanical constitutive model for SMA materials is derived. The model can simulate several patterns – under isothermal and *non-isothermal* conditions – of the extremely complex behavior of these materials such as:

The pseudoelastic behavior observed under monotonic loading.

The pseudoelastic behavior observed under several cyclic loadings.

The stiffness variations occurring during phase transformations.

The shape memory effect.

Additionally, the basic differences between the classical return mapping algorithms and the one used here for the case of not connected regions, have been outlined.