Professional Documents
Culture Documents
201110014
Magnetic Shape Memory Alloys (MSMAs) present the usual superelastic and shape memory effects of SMAs combined with an impressive magnetostrictive behavior up to strains of
5-8%. This is the effect of the ferromagnetic nature of martensites in MSMAs which present
the classical magnetic domain structure (domains with uniform magnetization). Local magnetization tends to align with external magnetic elds. Generally, this alignment corresponds
to two mechanisms: the magnetic domain wall motion and the magnetization vector rotation.
In MSMAs, a third phenomenon arises for martensitic variants rearrange in order to minimize
the magnetic energy.
Our focus here is on the phenomenological description of MSMA behavior in three dimensions. We concentrate our attention on so-called magnetically uniaxial materials, namely
those presenting a single easy axis (preferred magnetization axis) at the martensitic crystal
level. This is the case for MSMAs featuring a cubic-to-tetragonal martensitic transformation
as Ni2 MnGa, FePd, FePt. By applying a magnetic eld, one variant may be favored with
respect to the others. This results in a variant reorientation and a macroscopic strain.
Some alternative phenomenological modeling of MSMAs are proposed in [4] and [5].
The referred papers, albeit taking their origin from the same basic principles, differ from
the present approach as they are essentially restricted to two dimensions (or two martensitic
variants), and they feature a scalar internal variable (local proportion of one martensitic variant with respect to the others) and a different choice of the relevant potentials. On the contrary,
the present model is three-dimensional and tensorial in nature.
Corresponding author
E-mail: ulisse.stefanelli@imati.cnr.it
91
2
=
3
2 1
,
3 L
Aijj
1
=
3
2 1
,
3 L
Aijk = 0
Here L > 0 is the maximum strain modulus obtainable due to alignment of martensitic
variants and A0 represents the mean easy axis vector related to the so-called equivariant state
z = 0 (equal proportion of the three martensitic variants).
Our main modeling choice consists of directly linking the magnetization M with the transformation strain z by means of the afne relation
M := Az = msat A0 + A:z .
Here, [1, 1] describes the local (signed) proportion of magnetic domains oriented in the
direction of the easy axis and msat > 0 is the saturation magnetization. This specic choice
relies on the assumption that the magnetic anisotropy of the material is sufciently strong so
that the magnetization stays rigidly attached to the easy axes of the martensitic variants and
no magnetization rotation occurs [9].
It is worth pointing out that, for any z R33
dev , the vectors A0 and A:z are orthogonal.
Thus, along with this specic form of the operator A, the magnetization M satises the usual
constraint |M | msat . Furthermore, for every z R33
dev , we get Az = 0 and M = 0
will be possibly achieved for = 0. Eventually, it can be checked that the choice of A is
compatible with material symmetries, see [3] for additional modeling details and motivation.
The constitutive relations for the model are derived from the Gibbs free energy density of
the material (assumed of a constant and normalized density) as a function of , H, T , and of
the internal variables z and as
1
h
G (, H, T, z, ) := :C1 : :z + (T Tcrit )+ |z| + |z|2 + IL (z)
2
2
1 2
+ + I[1,1] () 0 H Az.
(1)
2
The rst line in (1) is exactly the Gibbs energy density of the non-magnetic SMA model
originally advanced by Souza, Mamiya, & Zouain [8] and developed in [1, 2]. In particular,
Tcrit > 0 is a critical stress-free martensite-austenite switching temperature, > 0 is a material parameter, h > 0 is an isotropic hardening modulus, and IL R33 {0, } is the
indicator function of the set Z := {z R33
dev : |z| L } (namely IL (z) = 0 if z Z and
wileyonlinelibrary.com
92
h 2
|z| + IL (z).
2
The second line in the expression of the Gibbs energy (1) describes the magnetic behavior of the material. The term 0 H Az is nothing but the classical Zeeman energy term
0 HM . Note that H stands here for the internal magnetic eld. Namely, H is the magnetic eld which is actually experienced by the material when subjected to some (externally)
applied eld and corresponds to the sum of the applied external eld and the corresponding
induced demagnetization eld. The indicator function I[1,1] is constraining the scalar to
take values in [1, 1] and 1/ is a user-dened hardening parameter.
We focus here on the isothermal situation. Hence, we let := (T Tcrit )+ be xed.
The constitutive equations are classically derived as
G
= C1 : + z,
1 G
= A z,
M =
0 H
G
= |z| hz IL (z) + 0 msat HA ,
g
z
1
G
= I[1,1] () + 0 HA z,
(2)
(3)
(4)
(5)
R|z|
if z R33
dev
=
D(z)
else
where R > 0 is the transformation radius. As the dissipation function D is independent of ,
we have that = 0. Therefore, from relation (5) we obtain that the internal variable can be
directly obtained as a function of H and z as
= proj[1,1] (0 HA z) := max 1, min 1, 0 HA z .
Let us introduce the function Fmagn : R R as
Fmagn (r) :=
wileyonlinelibrary.com
1
min (0 r)2 , 2|0 r| 1 for all r R,
2
c 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
93
z(0) = z 0 .
(6)
Z
z
(S)
Fmech (z(t)) Fmagn (H(t)A z(t)) (t):z(t) + DissD (z, [0, t])
= Fmech (z 0 ) Fmagn (H(0)A z 0 ) (0):z 0
t
+
(HA z)H(s)A
z(s) ds
(s):z(s)
Fmagn
(E)
N
where DissD (z, [0, T ]) := sup{ i=1 D(z(ti ) z(ti1 ))} is the supremum taken over all
partitions {0 = t0 < t1 < . . . < tN = T } of [0, T ].
Theorem 0.1 (Existence for the constitutive relation problem) Assume to be given
1,1
W 1,1 (0, T ; R33
(0, T ; R3 ), and a suitable initial condition z 0 . Then, there
sym ), H W
exists an energetic solution of the constitutive relation (6), namely, a solution of the system
(S)-(E).
Let us now turn to the three-dimensional quasi-static evolution problem. Let R3 be
the reference conguration of the material and 0 with positive surface measure. The
quasi-static evolution problem is obtained by coupling the constitutive relation and ow rule
(U )
0
G(, H, z)
(7)
+
0
z G(, H, z)
D(z)
with the equilibrium equation
div + F = 0
in ,
(8)
for some given body force F and some prescribed boundary conditions. Note that Maxwells
system is not considered here. In particular, the internal magnetic eld H is assumed to be
given. We introduce the sets
U := V H 1 (, R3 ) : V = 0 on 0
Z := z BV (, R33 ) L2 (, R33 ) : z Z a.e. in .
Then, the total energy of the MSMA body is given by the functional W : [0, T ]U Z R
1
W(t, U , z) :=
((U ) z):C:((U ) z) dx +
Fmech (z) dx + Var(z)
2
wileyonlinelibrary.com
94
where (t), U
is the work of the external loading and Var(z) = |Dz| stands for the total
variation of z. Existence of a solution for the full quasi-static evolution problem is again
obtained by means of the energetic approach. Being given , H and a suitable initial datum
(U 0 , z 0 ), an energetic solution of the quasi-static evolution problem is a function t [0, T ]
(U (t), z(t)) U Z such that (U (0), z(0)) = (U 0 , z 0 ) and, for every t [0, T ],
,z
,z
) + D(z(t), z
) (U
) U Z
W(t, U (t), z(t)) W(t, U
(S)
t
Fmagn
(HA z)H(s)A
z(s) dx ds
(s),
U (s)
+
(E)
where DissD (z, [0, t]) is dened as DissD , now starting from the distance D(a, b) :=
D(a b) dx.
Theorem 0.2 (Existence for the quasi-static evolution) Let be given W 1,1 (0, T ; U ),
H W 1,1 (0, T ; L1 (, R3 )), and a suitable initial datum (U 0 , z 0 ). Then, there exists an
energetic solution for the quasi-static evolution problem.
Theorems 0.1-0.2 are proved by means of the classical existence proof for rate-independent
systems [6] via an implicit time discretization. Note however that the specic form of the
magnetic part of the energy requires some slight modication of the usual argument [3].
The present model reduces to the referred original non-magnetic SMA model from [1, 2, 8]
as H 0. Moreover, by letting 0, one can rigorously check this asymptotics by convergence. Note that = 0 corresponds to assume innite hardening on the magnetic
domain proportion . Let G0 be dened by
1 :C1 : :z + F
mech (T , z) if = 0
G0 (, H, T, z, ) :=
2
else.
Theorem 0.3 (Convergence as 0 for the constitutive relation) Assume to be given
1,1
W 1,1 (0, T ; R33
(0, T ; R3 ), and a suitable initial condition z 0 . For all > 0,
sym ), H W
33
let t ( (t), z (t), (t)) R33
sym Rdev R be an energetic solution associated with the
constitutive relation problem corresponding to the pair (G , D). Then, up to a not relabeled
subsequence, we have that ( (t), z (t), (t)) ((t), z(t), (t)) for all t [0, T ], where
(, z, ) is an energetic solution of the constitutive relation problem associated with (G0 , D),
i.e. the non-magnetic model.
The latter convergence result is obtained within the general -limiting scheme for rateindependent processes developed in [7] and can be obtained for quasi-static evolution problem
as well.
Let us conclude this discussion by presenting the outcome of some numerical experiment
on the MSMA model. To this aim, let us specify the material parameters of our model as
E = 800 MPa (Youngs modulus), = 0.3 (Poissons ratio), = 3 MPa/K, Tcrit = 313 K,
T = 315 K, h = 7.9 MPa, L = 6.2 %, msat = 5.14 104 A/m, 1/ = 1 MPa. A rst
experimental test case consists of applying a compressive stress in such a way to bias a certain
structure (single variant state), and then to apply a competing variable magnetic eld to induce
the reorientation. Figure 1 below reports the predicted curves in 2D for two different and
wileyonlinelibrary.com
95
xed compressions along the (1, 0, 0)-axis and a variable (0, 1, 0)-directed magnetic eld. A
second classical experimental benchmark is to reproduce the so-called super-elastic stressstrain hysteretic behavior under different choices for the magnetic eld, see Figure 2.
18
compressive stress [MPa]
16
14
0 A/m
0.1x106 A/m
12
10
8
6
4
2
0
0
0.01
0.02
0.03
0.04
compressive strain
0.05
0.06
Fig. 2 (online colour at: wileyonlinelibrary.com) Stress-induced transformation strain under xed magnetic eld: compressive stress vs. compressive strain
References
[1] F. Auricchio and L. Petrini, Improvements and algorithmical considerations on a recent threedimensional model describing stress-induced solid phase transformations, Internat. J. Numer.
Methods Engrg. 55, 12551284 (2002).
[2] F. Auricchio and L. Petrini, A three-dimensional model describing stress-temperature induced solid
phase transformations. Part II: thermomechanical coupling and hybrid composite applications, Internat. J. Numer. Methods Engrg.61 716737 (2004).
[3] A.-L. Bessoud and U. Stefanelli, Magnetic Shape Memory Alloys: three-dimensional modeling
and analysis, Math.Models Methods Appl. Sci., to appear (2010).
[4] L. Hirsinger and C. Lexcellent, Internal variable model for magneto-mechanical behaviour of ferromagnetic shape memory alloys Ni-Mn-Ga, J. Phys. IV 112 977980 (2003).
[5] B. Kiefer and D.C. Lagoudas, Modeling the coupled strain and magnetization response of magnetic
shape memory alloys under magnetomechanical loading, J. Intell. Mater. Syst. Struct. 20 143170
(2009).
[6] A. Mielke, Evolution of rate-independent systems, in: Evolutionary Equations Vol. II, edited by
C. M. Dafermos and E. Feireisl, Handbook of Differential Equations. (Elsevier/North-Holland,
Amsterdam, 2005), chap. 6.
wileyonlinelibrary.com
96
[7] A. Mielke, T. Roubcek, and U. Stefanelli, -imits and relaxations for rate-independent evolutionary problems, Calc. Var. Partial Differential Equations 31 3:387416 (2008).
[8] A. C. Souza, E. N. Mamiya, and N. Zouain, Three-dimensional model for solids undergoing stressinduces transformations, Eur. J. Mech. A Solids 17 789-806 (1998).
[9] R. Tickle and R. D. James, Magnetic and magnetomechanical properties of Ni2 MnGa, J. Magn.
Magn. Mater. 195 627638 (1999).
wileyonlinelibrary.com