Professional Documents
Culture Documents
Editors:
J.M. Morel, Cachan
F. Takens, Groningen
B. Teissier, Paris
1803
3
Berlin
Heidelberg
New York
Hong Kong
London
Milan
Paris
Tokyo
Georg Dolzmann
13
Author
Georg Dolzmann
Department of Mathematics
University of Maryland
College Park
MD 20742
Maryland, USA
e-mail: dolzmann@math.umd.edu
http://www.math.umd.edu/dolzmann/
Preface
Georg Dolzmann
Contents
1.
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1 Martensitic Transformations and Quasiconvex Hulls . . . . . . . .
1.2 Outline of the Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
3
8
2.
11
13
26
49
51
53
55
57
3.
69
70
72
75
77
80
4.
83
86
101
102
109
115
120
122
5.
127
128
134
135
143
151
VIII
Contents
6.
7.
Bibliographic Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Semiconvex Hulls of Compact Sets . . . . . . . . . . . . . . . . . . . . . . . .
7.3 Macroscopic Energy for Nematic Elastomers . . . . . . . . . . . . . . .
7.4 Uniqueness and Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5 Applications to Martensitic Transformations . . . . . . . . . . . . . . .
7.6 Algorithmic Aspects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
177
177
178
179
180
181
182
1. Introduction
1. Introduction
(1.1)
(1.2)
where Pa is the point group of the material in the high temperature phase.
Here we restrict ourselves to invariance under the point group since the assumption that the energy be invariant under all bijections of the underlying
crystalline lattice onto itself leads to a very degenerated situation with a
uid-like behavior of the material under dead-load boundary conditions. The
two hypotheses (1.1) and (1.2) have far reaching consequences which we are
now going to discuss briey (see the Appendix for notation and terminology).
We focus on isothermal situations, and we assume therefore that W 0 and
that the zero set K is not empty,
K(T ) = {X : W (X, T ) = 0} = for all T.
We deduce from (1.1) and (1.2) that
U K(T )
(1.3)
This implies that K(T ) is typically a nite union so-called energy wells,
K(T ) = SO(3)U1 . . . SO(3)Uk .
(1.4)
We refer to sets with such a structure often as multi-well sets. Here the
matrices Ui describe the k dierent variants of the phases and k is determined
from the point groups of the austenite and the martensite alone. A set of the
form SO(3)Ui will in the sequel frequently be called energy well.
We now describe the framework for the mathematical analysis of martensitic transformations and its connection with quasiconvex hulls.
T > Tc
T < Tc
Fig. 1.2. The cubic to tetragonal phase transformation.
2 0 0
1 0 0
1 0 0
U1 = 0 1 0 , U2 = 0 2 0 , U3 = 0 1 0
0 0 1
0 0 1
0 0 2
with 2 > 1 > 1 > 0 (if the lattice parameter of the cubic unit cell is equal
to one, then 1 and 2 are the lattice parameters of the tetragonal cell, i.e.,
are the lengths of the shorter and the longer sides of the tetragonal cell,
respectively). In accordance with (1.3), the variants are related by
U2 = R2T U1 R2 ,
U3 = R3T U1 R3 ,
01 0
0 01
R2 = 1 0 0 , R3 = 0 1 0 .
0 0 1
1 00
A short calculation shows that no further variants can be generated by the
action of the cubic point group.
The origin for the formation of microstructure lies in the fact that the different variants can coexist in one single crystal. They can be formed purely
1. Introduction
(1.5)
[0,1]n
0000000000
1111111111
00000000000
11111111111
0000000000
1111111111
00000000000 T<T
11111111111
111111
000000
0000000000
00000000000
11111111111
c
000000 1111111111
111111
0000000000
1111111111
00000000000
11111111111
000000
111111
0000000000
1111111111
00000000000
11111111111
000000
111111
0000000000
1111111111
00000000000
11111111111
000000
111111
0000000000
000000 1111111111
111111
000000
111111
1111111111
000000
111111
000000000000000000000
11111111111
0000000000
1111111111
000000
00000000000
11111111111
0000000000111111
1111111111
000000
111111
00000000000
11111111111
0000000000
000000
111111
000000000001111111111
11111111111
0000000000
1111111111
000000
00000000000
11111111111
0000000000111111
1111111111
000000
111111
000000000001111111111
11111111111
0000000000
000000
111111
00000000000
11111111111
0000000000
1111111111
000000
111111
00000000000
11111111111
0000000000
1111111111
000000
00000000000
11111111111
0000000000111111
1111111111
000000
111111
00000000000
11111111111
0000000000
1111111111
000000
00000000000
11111111111
0000000000111111
1111111111
00000000000
11111111111
00000000000
11111111111
deform
heat
T>Tc
00000000
11111111
0000
1111
11111111
00000000
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
00000000
11111111
0000
1111
0000000000
1111111111
000000000
111111111
0000000000
1111111111
000000000
111111111
00000000000
11111111111
00000
11111
0000000000
1111111111
000000000
111111111
00000000000
11111111111
00000111111111
11111
0000000000
1111111111
000000000
00000000000
11111111111
00000
11111
0000000000
1111111111
000000000
00000000000
11111111111
00000111111111
11111
0000000000
1111111111
000000000
111111111
00000000000
11111111111
00000111111111
11111
0000000000
1111111111
000000000
00000000000
11111111111
00000
11111
0000000000
1111111111
000000000
111111111
00000000000
11111111111
00000
11111
0000000000
1111111111
000000000
111111111
00000000000
11111111111
00000
11111
00000000000
11111111111
00000
11111
00000000000
11111111111
00000
11111
00000000000
11111111111
00000
11111
heat
T<Tc
Fig. 1.4. The shape memory eect. The gure shows two macroscopically dierent
deformations of the same lattice by using dierent arrangements of the martensitic
variants. The upper conguration uses just two deformation gradients, the lower
one six.
The following exemplary construction shows that K qc is typically nontrivial, i.e., K qc = K, and provides at the same time a link between the
computation of K qc and the ne-scale oscillations (or microstructure) between dierent variants observed in experiments, see Figure 1.1. Suppose that
QU1 U2 = a n and let
1. Introduction
F = QU1 + (1 )U2 = U2 + a n.
(1.6)
Then F K for all (0, 1), except for possibly a nite number of values
since the assumption Fi = U2 + i a n = Qi U with Qi SO(3), i = 1, 2,
and {1, . . . , k} leads to
(1 2 )a UT n = Q1 Q2 .
This contradicts the fact that there are no rank-one connections in SO(3).
We now choose (0, 1) such that
F = QU1 + (1 )U2 = U2 + a n K,
and assert that F K qc . To prove this, we construct a minimizing sequence
uj such that J (uj ) 0 as j . Let be the one-periodic function
R {0, 1} with (0) = 0 given in (0, 1 ] by
0 if t (0, ],
(t) =
1 if t (, 1 ],
and dene
(t) =
0
(s)ds,
,j (t) =
1
(jt) for j N.
j
Then
j (x) = U2 x + ,j x, n a
u
j converges to F x strongly in L and
satises D
uj (x) {QU1 , U2 } a.e., u
1,
j close to the boundary of
weakly in W
, and we only need to modify u
in order to correct the boundary data. This can be done for example by
choosing a cut-o function C ([ 0, )) such that 0 in [ 0, 12 ) and
1 in [ 1, ). Then
uj (x) = 1 (j dist(x, )) F x + (j dist(x, ))
uj (x)
(1.7)
has the desired properties, and a short calculation shows that the energy
in the boundary layer converges to zero as j . Hence J (uj ) 0,
while J (F x) > 0. Therefore it is energetically advantageous for the material
to form ne microstructure, i.e., minimizing sequences develop increasingly
rapid oscillations. This argument shows that F K qc .
It is clear that this process for the construction of oscillating sequences
and elements in K qc can be iterated. In fact, if F and G are matrices with
the foregoing properties that satisfy additionally rank(F G ) = 1, then
F + (1 )G K qc for [ 0, 1 ].
We denote by K lc the set of all matrices that can be generated in nitely
many iterations, the so-called lamination convex hull of K. It yields an important lower bound for the quasiconvex hull K qc :
K lc K qc .
This is an extremely useful way to construct elements in K qc , which we will
refer to as lamination method, but it has also its limitations, mainly due to
the fact that it requires to nd explicitly rank-one connected matrices in the
set K. Therefore the following equivalent denition of K qc , which is in nice
analogy with the dual denition of the convex hull of a compact set, is of
fundamental importance
K qc = F : f (F ) sup f (X) for all f : Mmn R quasiconvex . (1.8)
XK
Thus K qc is the set of all matrices that cannot be separated from K by quasiconvex functions. While this characterization seems to be at a rst glance
of little interest (the list of quasiconvex functions that is known in closed
form is rather short), it allows us to relate K qc to two more easily accessible
hulls of K, the rank-one convex hull K rc and the polyconvex hull K pc which
are dened analogously to (1.8) by replacing quasiconvexity with rank-one
convexity and polyconvexity, respectively (see Section A.1 for further information). All these hulls will be referred to as semiconvex hulls. The method
for calculating the dierent semiconvex hulls based on this denition - separating points from a set by semiconvex functions - will be called the separation method in the sequel. Since rank-one convexity is a necessary condition
for quasiconvexity and polyconvexity a sucient one, we have the chain of
inclusions
K lc K rc K qc K pc ,
and frequently the most practicable way to obtain formulae for K qc is to
identify K lc and K pc .
There exists an equivalent characterization of the semiconvex hulls of K
that turns out to be a suitable generalization of the representation of the
convex hull of K as the set of all centers of mass of (nonnegative) probability
measures supported on K. This formulation arises naturally by the search
for a good description of the behavior of minimizing sequences for the energy
functional. The sequence uj constructed in (1.7) converges weakly in W 1, to
the ane function u(x) = F x. This limit does not provide any information
about the oscillations present in the sequence uj . The right limiting object,
that encodes essential information about these oscillations, is the Young measure {x }x generated by the sequence of deformation gradients Duj . This
approach was developed by L. C. Young in the context of optimal control
problems, and introduced to the analysis of oscillations in partial dierential
equations by Tartar. By the fundamental theorem on Young measures (see
Section A.1 for a statement) we may choose a subsequence (not relabeled)
of the sequence uj such that the sequence Duj generates a gradient Young
measure {x }x that allows us to calculate the limiting energy along the
subsequence via the formula
1. Introduction
lim J (uj ) = lim
W (Duj )dx =
M33
W (A)dx (A)dx.
We conclude that supp x K a.e. since J (uj ) 0 as j . The averaging technique for gradient Young measures ensures the existence of a
homogeneous gradient Young measure with
, id = F and supp K.
Here we say that the gradient Young measure {x }x is homogeneous if
there exists a probability measure such that x = for a.e. x, see Section
A.1 for details. For example, the sequence uj in (1.7) generates the homogeneous gradient Young measure = QU1 + (1 )U2 which is usually
referred to as a simple laminate. It turns out that K qc is exactly the set
of centers of mass of homogeneous gradient Young measures supported on
K. Since this special class of probability measures is by the work of Kinderlehrer and Pedregal characterized by the validity of Jensens inequality for
quasiconvex functions we obtain
K qc = F = , id : P(K), f (, id) , f
for all f : Mmn R quasiconvex ,
where P(K) denotes the set of all probability measures supported on K.
This formula gives the convex hull of K if we replace in the denition quasiconvexity by convexity, since Jensens inequality holds for all probability
measures. The obvious generalizations to rank-one convexity and polyconvexity provide equivalent denitions for the other semiconvex hulls which
are extremely useful in the analysis of properties of generic elements in these
hulls. In particular, since the minors M of a matrix F are polyane functions
(i.e., both M and M are polyconvex) we conclude that the polyconvex hull
is determined from measures P that satisfy the so-called minor relations
, M = M (, id) for all minors M.
In the three-dimensional situation this reduces to
K pc = F = , id : P(K), cof F = , cof , det F = , det . (1.9)
instructive example for the separation and the splitting method, we analyze
a discrete set of eight points. Then we characterize the semiconvex hulls for
compact sets in 22 matrices with xed determinant that are invariant under
multiplication form the left by SO(2). We thus nd a closed formula for all sets
arising in two-dimensional models for martensitic phase transformations. The
results are then extended to sets invariant under O(2, 3) which are relevant
for the description of thin lm models proposed by Bhattacharya and James.
As a preparation for the relaxation results in Chapter 3 we conclude with the
analysis of sets dened by singular values.
Chapter 3 is inspired by the experimental pictures of striped domain patterns in nematic elastomers, see Figure 1.1, which arise in connection with a
nematic to isotropic phase transformation. For this material, Bladon, Terentjev and Warner derived a closed formula WBTW for the free energy density
which depends on the deformation gradient F and the nematic director n,
but not on derivatives of n. From the point of view of energy minimization,
one can rst minimize in the director eld n and one obtains a new energy W
that depends only on the singular values of the deformation gradient. This
is a consequence of the isotropy of the high temperature phase which has
in contrast to crystalline materials no distinguished directions. We derive an
explicit formula for the macroscopic energy W qc of the system which takes
into account the energy reduction by (asymptotically) optimal ne structures
in the material.
We begin the discussion of aspects related to the numerical analysis of
microstructures in Chapter 4. The standard nite element method seeks a
minimizer of the nonconvex energy in a nite dimensional space. Assume for
example that h is a quasiuniform triangulation of and that Sh (h ) is a
nite element space on h (a typical choice being the space of all continuous
functions that are ane on the triangles in h ). Suitable growth conditions
on the energy density imply the existence of a minimizer uh Sh (h ) that
satises J (uh ) J (v h ) for all v h Sh (h ). To be more specic, let us
assume that we minimize the energy subject to ane boundary conditions
of the form (1.6). If one chooses for v h an interpolation of the functions uj
in (1.7) with j carefully chosen depending on h, then one obtains easily that
the energy converges to zero at a certain rate for h 0,
J (uh ) ch ,
, c > 0.
(1.10)
The fundamental question is now what this information about the energy
implies about the nite element minimizer. Recent existence results for nonconvex problems indicate that minimizers of J are not unique (if they exist),
and in this case the bound (1.10) is rather weak. It merely shows that the
inmum can be well approximated in the nite element space (absence of
the Lavrentiev or gap phenomenon). On the other hand, if J fails to have a
minimizer, then it is interesting to investigate whether for a suitable set of
boundary conditions the minimizing microstructure (the Young measure )
10
1. Introduction
Quasiconvex hulls of sets and envelopes of functions are at the heart of the
analysis of phase transformations by variational techniques. In this chapter we
address the question of how to nd for a given compact set K its quasiconvex
hull K qc . In general, this is an open problem since all characterizations of K qc
are intimately connected to the notion of quasiconvexity of functions in the
sense of Morrey, and the understanding of quasiconvexity is one of the great
challenges in the calculus of variations. However, three conceptual approaches
can be identied that allow one to resolve the problem for important classes
of sets K.
The separation method. By denition, K qc is the set of all matrices F that
cannot be separated by quasiconvex functions from K. If an inner bound
for K qc is known, i.e., a set A with A K qc , for example A = K lc or
A = K rc , then it suces to nd for all F Mmn \ A a quasiconvex function
f with f 0 in A and f (F ) > 0. An example of this approach is our
proof for the formulae of the semiconvex hulls of the set K with eight points
aks examples of quasiconvex functions on
in Theorem 2.1.1 based on Sver
symmetric matrices.
The lamination method. Since quasiconvexity implies rank-one convexity,
the segments F1 + (1 )F2 , [ 0, 1 ] are contained in K qc if the end
points F1 and F2 belong to K qc and satisfy rank(F1 F2 ) = 1. This fact
motivated the denition of the lamination convex hull K lc which is one of the
fundamental inner bounds for K qc . The lamination method tries to identify
K lc and then to use K lc as an inner bound for the separation method.
The splitting method. This method is well adapted to situations where a
good outer bound A for K qc is known, i.e., K qc A. It can be interpreted
as a reversion of the lamination method. Assume for example that A is given
by a nite number of inequalities, as for example in Theorems 2.1.1 or 2.2.3
below. We call a point F an unconstrained point, if we have strict inequality
in all inequalities dening A, and a constrained point else. Assume that F is
an unconstrained point. By continuity, Ft = F (I + ta b) belongs to A for
all a Rm , b Rn and t suciently small. Since K is compact, all the hulls
are compact and we may suppose that A is compact. We now dene t to
be the smallest positive (largest negative) parameter t for which the matrix
Ft satises equality in at least one of the inequalities in the denition of A,
12
(2.1)
Consider now the special class of all probability measures Mpc (K) that
are supported on three points,
= 1 X1 + 2 X2 + 3 X3 ,
Xi K, i (0, 1), 1 + 2 + 3 = 1.
3
1 2
det(X2 X1 )
1 3
2
1
3 (1 3 ) det
X1 +
X2 X3
1 3
1 3
i det Xi
i=1
rank X3
1
2
X1 +
X2 = 1,
1 + 2
1 + 2
13
i.e., that Mrc (K) is a second order laminate. In order to prove that
Mpc (K) = Mqc (K) it suces to construct a solution of (2.1) with matrices
Xi that are not rank-one connected. For a specic example, we choose > 1
to be the solution of ( + 1/)2 = 8 and we dene
0 1/
0
X1 = U1 , X2 = JU1 =
, X3 = JU2 =
,
0
1/ 0
where J denotes the counter-clockwise rotation by /2, and we x = 1/3.
Then
3
1
1
1
( + 1/)
det
= 1 + ( + )2 = 1,
i X i =
1/
9 + 1/
9
i=1
14
(2.2)
g0 , id , g0 .
It is an open problem whether these functions can be extended to all n n
matrices and whether they can be used directly for separation on Mnn .
The statement of the following theorem emphasizes the fact that the description of K pc (K qc , K rc ) involves additional conditions compared to the
formulae for conv(K) (K pc , K qc ).
Theorem 2.1.1. Let
xy
K= F =
: |x| = a, |y| = b, |z| = c
yz
with constants a, b, c > 0. Then
xy
conv(K) = F =
: |x| a, |y| b, |z| c
yz
and
K pc = F conv(K) : (x a)(z + c) y 2 b2 , (x + a)(z c) y 2 b2 .
15
b
b
b
b
b
b
b
b
and
= (x, z, y, xz y 2 ) : (x, z, y) K .
K
.
,...,f
by f
We denote the eight points in K
1
8
Since K is a nite set, conv(K) is a polyhedron in R4 , which is the inter
section of a nite number of half spaces. Moreover, on each face of conv(K)
we must have at least four points in K that span a three-dimensional hyperplane in R4 . A short calculation shows that the following list of six normals
completely describes the convex hull of K:
n1 = (c, a, 0, 1),
n3 = (c, a, 0, 1),
n5 = (0, 0, 1, 0),
n2 = (c, a, 0, 1, ),
n4 = (c, a, 0, 1),
n6 = (0, 0, 1, 0).
16
i {4, 8},
i {3, 7},
i {2, 6},
i {1, 5},
and that the faces of the polyhedron dened by n5 and n6 contain four
points,
, n5 = b < b = f
, n5 ,
f
j
i
i = 1, 2, 3, 4, j = 5, 6, 7, 8,
, n6 ,
, n6 = b < b = f
f
j
i
i = 5, 6, 7, 8, j = 1, 2, 3, 4.
0 2a 0 0
2c 2c 0 2c
A=
2b 2b 2b 0
2ac 0 0 2ac
f
,
is three (if one deletes the second column which corresponds to f
2
7
then the rank is only two). The corresponding normal vector has to satisfy
AT n = 0 and this leads to the linear system
0 c b ac
a c b 0
0 0 b 0 n = 0
0 c 0 ac
that has the solution n1 = (c, a, 0, 1). The corresponding equation in the
description of K pc is
, n1 = cx + az (xz y 2 ) ac + b2 .
f
17
sf
PP
0010
P
sf
s
0 1 0 an = 0
P
P
Ps
100c
sf
PP
sf
P
and the solution gives n1 = (c, a, 0, 1).
Separating hyperboloid 2: We choose j = 1, 2, 4, 6.
sf
The corresponding system for the normal is given by
P
P
Psf
sf
PP
1 0 0c
P
sf
sf
0 0 1 0n = 0
P
P
Psf
0 1 0 a
sP
P
s
P
and the solution gives n2 = (c, a, 0, 1).
Separating hyperboloid 3: We choose j = 1, 3, 4, 7.
sP
The corresponding system for the normal is given by
P
Ps
sf
PP
001 0
P
sf
sf
0 1 0 a n = 0
P
P
Psf
1 0 0 c
sf
PP
sf
P
and the solution gives n3 = (c, a, 0, 1).
Separating hyperboloid 4: We choose j = 2, 3, 4, 8.
sf
The corresponding system for the normal is given by
P
P
Psf
sP
P
1 0 0 c
P
s
sf
0 0 1 0 n = 0
P
P
Psf
0 1 0 a
sf
PP
sf
P
and the solution gives n4 = (c, a, 0, 1).
18
sP
100c
P
Psf
0 1 0 an = 0
s
P
P
P
f
s
ac00
s
PP
P
sf
and the solution gives n5 = (0, 0, 1, 0). Replacing b by
b leads to n6 = (0, 0, 1, 0).
In view of the representation (2.3) for the polyconvex hull and the formulae for the normals, this implies that all points in K pc must satisfy the
convex inequality
|y| b
(2.4)
cx + az + (xz y 2 ) ac b2 ,
cx az + (xz y 2 ) ac b2 ,
cx az (xz y 2 ) ac + b2 ,
(2.5)
|z| c,
|y| b
(2.6)
(x a)(z + c) y 2 b2 .
(2.7)
This proves the formula for the polyconvex hull of K. In fact, the sum of the
two upper and the two lower inequalities in (2.5) implies
az ac
and
az ac,
and the sum of the two left and the two right inequalities, respectively, gives
cx ac
and
cx ac.
Therefore |z| c and |x| a and this proves that (2.4) and (2.5) imply (2.6)
and (2.7). Conversely, if the convex inequalities |x| a, |z| c, and |y| b
in (2.6) hold, then x a 0, z c 0 and y 2 + b2 0. Consequently
(x a)(z c) y 2 + b2 . Similarly, we have x + a 0, z + c 0 and
thus (x + a)(z + c) y 2 + b2 , as asserted. This concludes the proof of the
formula for K pc for all parameters a, b, c > 0.
19
(2.8)
Clearly, all elements in A can be constructed using the rank-one connections between the four matrices in K with y = b and y = b, respectively. The observation is now that the polyconvex hull is not connected, since
K pc {F : |y| } = for > 0 so small that 2 < b2 ac. Indeed, summation of the two inequalities in the denition of K pc implies ac xz b2 y 2
or, equivalently, 0 > ac b2 + y 2 xz. Thus necessarily either x > 0 and
z < 0 or x < 0 and z > 0. In the former case the rst inequality cannot hold
since
(z a)(z + c) y 2 b2
0 x(z + c) az ac b2 + y 2 < 0.
In the latter case the second inequality is violated. We may now apply Proposition 2.1.5 and we conclude that K lc = K rc = A.
The Lamination Convex Hull of K for ac b2 0. Assume now that
ac b2 0, and let A be given by
A = F K pc : (x a)(z c) (|y| b)2 , (x + a)(z + c) (|y| b)2 .
By symmetry, we may suppose in the following arguments that y 0. Then
this set is described by three types of inequalities, namely the stripes
|x| a,
|z| c,
|y| b
(2.9)
(x + a)(z c) y 2 b2 ,
(2.10)
(x + a)(z + c) (y b)2 .
(2.11)
20
F =
F =
+ (1 )
,
= 2ce2 e2 .
bc
b c
bc
b c
The argument is similar for || = c. Finally, if || = b and 0, then
(, ) conv (a, c), (a, c), (a, c), (a, c) ,
and therefore F K (2) .
Assume next that F lies on the surface of one of the cones
(x a)(z c) (y b)2 ,
(x + a)(z + c) (y b)2 .
These cones are the rank-one cones centered at points in K, and we may
suppose that F is contained in the rank-one cone C1 given by
ab
= (x a)(z c) (y b)2 = 0 ;
C1 = F : det F
bc
the argument is similar in the other case. The cone C1 intersects the part of
the boundary of the convex hull of K that is contained in the plane {y = b},
which by the foregoing arguments is contained in K (2) . We will show that F
belongs to a rank-one segment between a point G in this intersection and the
point F1 K, where F1 and G are given by
x b
ab
and G =
F1 =
,
|x| a, |z| c.
b z
bc
21
.
R = F1 F =
b c
By assumption, det R = 0, and we seek a t R such that
a + t(a ) b + t(b )
= G.
F1 + tR =
b + t(b ) c + t(c )
This implies
t=
2b
b
and thus
x=a
2b(a )
,
b
z =c
2b(c )
.
b
b
b
To establish this inequality, we subtract the equality (x a)(z c) = (y b)2
in the denition of C1 from the inequality (x + a)(z c) y 2 b2 in the
denition of K pc , and we obtain that F satises
2a( c) (2b)(b ).
Therefore, again in view of the denition of C1 ,
b
a
a
=
,
b
c
b
and this proves the bounds for x; the arguments for z are similar. Since
G K (2) we conclude
b+
1
b
1+t
F1 G =
F1 +
G K (3) .
F =
t
t
2b
2b
It remains to consider the case that F A satises equality in one of the
inequalities dening the one-sheeted hyperboloids. Assume thus that
( + a)( c) = 2 b2 .
The idea is to use the geometric property of one-sheeted hyperboloids H
ak, namely that for each point F on H there exist two
already observed by Sver
straight lines intersecting at F that are contained in H, and that correspond
22
or
b
.
c
The strategy is now to split F into two points F along one of these rank-one
lines that satisfy equality in at least two of the inequalities in the denition
of A. Let
t = sup{t < 0 : F + tw w realizes two equalities in A},
t+ = inf {t > 0 : F + tw w realizes two equalities in A}.
By assumption, t < 0 < t+ and we dene F = F + t w w. In view
of the foregoing arguments, the matrices F belong either to K (3) or to the
of the two hyperboloids,
intersection H
= F : (x + a)(z c) = y 2 b2 , (x a)(z + c) = y 2 b2 .
H
The formula for the lamination convex hull is therefore established if we show
K lc . By symmetry it suces again to prove this for all F H
with
that H
y 0. Now, if F H, then
az = cx,
and
xz ac = y 2 b2 .
23
(x a)(z c) (y b)2 .
(2.12)
and
2z(x + a) + 2y(b y) 0,
(2.13)
24
t
t
y
y c + (y b)2 /(t a)
t Iy =
ay
b(y b)
,a +
,
b
c
y [ 0, b), t Iy ,
and show rst that fy,t = 0 on K. In order to do this, it suces to prove that
all the matrices of the form F F (y, t) with F K are not positive denite.
In fact,
a b
det
Fy,t = (a t)(c c) + (y b)2 (b y)2 0,
b c
and thus all matrices of the form F Fy,t , with F K and F11 = a are not
positive denite. Moreover,
"
!
a t
b y
a b
2
,
Fy,t =
b c
b y c c (yb)
ta
and consequently all the matrices X = F Fy,t with F K and F11 = a
satisfy X11 0 and are therefore not positive denite.
Separation of Points from K lc with Quasiconvex Functions. Recall
that we assume that
F =
with , , 0 and = a, = c, = b.
(2.14)
and
(x a)(z c) = 2 b2 .
In the following we consider four dierent regions for 0 which are dened
by the points where two of these hyperbolic arcs intersect (see Figure 2.1).
More precisely, the hyperbola (xa)(zc) = (b)2 intersects the hyperbola
(x+a)(zc) = 2 b2 for x1 = a/b and the hyperbola (xa)(z+c) = 2 b2
for x2 = a + b( b)/c. The four cases now correspond to [ 0, x1 ],
(x1 , x2 ), = x2 , and (x2 , a), respectively. We begin with the last case
rst.
25
(xa)(z+c)=y2b2
z
(xa)(zc)=(yb) 2
x
(x+a)(z+c)=(yb)2
(x+a)(zc)=y 2b 2
Fig. 2.1. The polyconvex hull (bounded by the thick solid lines) and the quasiconvex
hull (the intersection of the four hyperbolic arcs) of K in the plane {y = > 0}.
b2 2
c(b2 2 )
c
> c
= .
a
b( b)
b
We dene
b( b)
, Z = F G =
G = F , a +
c
a b( b)/c
0
0
c/b
Z = F F (, x
) =
x a)
0 c ( b)2 /(
is positive denite. This follows easily since F is positive denite if and only
if > x
and
c
( b)2
>0
x
a
or
(
x a)( c) ( b)2 < 0.
Case c) Assume that a/b, a + b( b)/c . The
conclusion
follows
as in case b), since we can choose by continuity x
a/b, such that
F F (, x
) is positive denite.
26
( b)2
.
a
However, for
x=x
=
a
b
and
z = z = c +
( b)2
x
a
a
b
and
>c+
( b)2
,
x
a
27
Incompatible Wells. The result for the one-well problem has the following
generalization. Assume that K = SO(2)U1 . . . SO(2)Uk , k 1, where the
wells SO(2)Ui and SO(2)Uj are incompatible for i = j, i.e., det(QUi Uj ) = 0
ak proved that the hulls are
for i = j and Q SO(2). In this situation, Sver
still trivial,
K rc = K qc = K pc = SO(2)U1 . . . SO(2)Uk .
Motivated by applications to phase transformations we analyze next the
so-called k-well problem in two dimensions where K is given by
F = SO(2)U1 . . . SO(2)Uk ,
k 2,
H = diag(, ), 0 < 1 .
(2.15)
In view of Proposition A.2.5, the two wells are compatible. A short calculation
shows that there exists only one rank-one connection between the wells if one
of the two eigenvalues of H is equal to one (in fact, rank(I H) = 1), and
that there exist two rank-one connections if both eigenvalues are dierent
from one.
Remark 2.2.1. Assume that > 1 = , (the case < 1 = is similar) and
let
0
K = SO(2) SO(2)U, U =
.
01
Then K pc = K qc = K rc = K lc = K (1) and
K qc = F : F = QUs , Q SO(2), Us =
s0
01
, s [ 1, ] .
We include a short proof of this fact which is a nice application of the minors
relation.
Proof. Assume that Mpc (K) is a polyconvex measure represented
by = t + (1 t)U , where and are probability measures supported on
SO(2) and t [ 0, 1 ]. Let
s1 s2
r1 r2
, S = , id =
conv(SO(2)).
R = , id =
r2 r1
s2 s1
28
det F = t + (1 t).
It follows from
R : cof(SU ) = (r1 s1 + r2 s2 )(1 + ),
the expansion (C.3) for the determinant, and Youngs inequality that
det F = t2 det R + t(1 t)R : cof(SU ) + (1 t)2 det S det U
t2 + t(1 t)( + 1) + (1 t)2
= t + (1 t)
with strict inequality unless
r1 = s1 , r2 = s2 , det R = 1, det S = 1.
It follows that R = S SO(2) and that is given by
= tR + (1 t)R U,
i.e., F K (1) . This proves the assertion.
ak. The crucial observaThe general two-well problem was solved by Sver
tion is that any element in the convex hull of K is of the form F = Y + ZH
where Y and Z are conformal matrices. Therefore it is natural to introduce
new coordinates in M22 by
z1 z2
0
y1 y2
+
F =
0
y2 y1
z2 z1
and to write F = (y, z) with y, z R2 .
Theorem 2.2.2. Assume that K is given by (2.15) with 0 < < 1 < .
Then K pc = K qc = K rc = K (3) . Moreover, for det H = 1,
K pc = X = (y, z) : |y| + |z| 1 and det F = 1 ,
while for det H > 1
det X 1
det X 1
.
K pc = X = (y, z) : |y| 1
and |z|
det H 1
det H 1
A dierent formula follows for the case of equal determinant ( = 1) from
the results below.
29
The k-well Problem with Equal Determinant. In the following we assume that
K = SO(2)U1 . . . SO(2)Uk ,
det Ui = > 0, i = 1, . . . , k.
The characterization of the semiconvex hulls in this case relies on the fact
that every pair of wells SO(2)Ui and SO(2)Uj , i = j, is rank-one connected,
see Proposition A.2.5. In order to describe the semiconvex hulls of K, we
= {C = F T F : F K} as a subset of all positive denite
consider the set K
pc , K
qc , and K
rc analogously. It is
and symmetric matrices. We dene K
an immediate consequence of the representations of the semiconvex hulls as
centers of mass of probability measures or as zero sets of semiconvex functions
that all matrices F K pc satisfy
|F e|2 max{|U1 e|2 , . . . , |Uk e|2 }
for all e S1 .
(2.16)
The second part of the theorem asserts that there exists a nite description of
the hulls of K, in the sense that they are described by a nite number k of
inequalities. These inequalities are related to matrices Ui that correspond to
30
a corner of the hulls, i.e., to matrices for which there exists a vector v S1
such that
|Ui v|2 > max |Uj v|2 .
j=i
max
V U \{U }
|V v|2 .
(2.17)
Proof. Let
A = F : det F = , |F ei |2 max |U ei |2 , i = 1, . . . , .
U C
We rst show that the set A is dened by polyconvex conditions, that is,
K pc A, and then we apply the splitting method to prove that A K (2) .
Therefore K pc A K (2) K pc and all inclusions are equalities. This
establishes the theorem.
In order to demonstrate the inclusion K pc A we dene functions g and
hi : M22 R by
+
g(X) = (det X )2 , hi (X) = |Xei | max |U ei | , i = 1, . . . , ,
U C
|Ui e| = |Uj e|
max
U C\{Ui , Uj }
31
|U e|.
Ui v, Ui v = Uj v, Uj v ,
|Ui v |2 = |Uj v |2 ,
and hence UiT Ui = UjT Uj . Since det Ui = det Uj , this implies by the polar
decomposition theorem that there exists a Q SO(2) with Ui = QUj .
Step 2: The set C is well-dened and contains at least two matrices, that
is, 2.
We dene for v S1 the set A(v)
A(v) = i {1, . . . , k} : |Ui v| = max |Uj v| .
j=1,...,k
We conclude by Step 1, that A(v) is a singleton for all but nitely many v.
Let
G = i : A(v) = {i} on a (relatively) open subset of S1
C = {Ui , i G}.
We have to show that G contains at least two points. Suppose that G contains
only one element, C = {Ui }. Then |Uj v| |Uj v| for all v S1 , j = i, and
therefore in particular max (Uj ) max (Ui ) and min (Uj ) min (Ui ). Since
det Ui = det Uj , we also have min (Uj ) min (Ui ) and this allows us to
conclude min (Uj ) = min (Ui ) as well as max (Uj ) = max (Ui ). Moreover,
the matrices UiT Ui and UjT Uj have the same system of eigenvectors, and
32
max
U C\{Ui , Up }
|U ep |, |Ui eq | = |Uq eq |
max
U C\{Ui , Uq }
|U eq |.
Note that Proposition 2.2.4 below implies that the inequality is necessarily
strict. We rst show that there are at least two maximal arcs with end point
Ui . For the arguments below, it is convenient to identify vectors e S1 with
angles in [ 0, ) by e = v() = (cos , sin ) or e = v(). We dene
g : [ 0, ] R by
g() = |Ui v()|
max
U C\{Ui }
|U v()|.
Then g is continuous and periodic, and since 2 there exist at least two
angles p , q with 0 p < q < and g(p ) = g(q ) = 0. Let ep and eq
be the corresponding vectors. Then
|Ui ep | =
max
U C\{Ui }
|U ep |,
|Ui eq | =
max
U C\{Ui }
|U eq |,
max
U C\{Ui ,Us }
|U es |,
s = p, q,
as asserted. Assume now that there exist three maximal arcs with end point
Ui , that is, there exist indices p, q, r dierent from i and corresponding vectors es = v(s ), s = p, q, r, with 0 p < q < r < such that
|Ui es | = |Us es |
max
U C\{Ui ,Us }
|U es |,
s = p, q, r.
s = p, q, r.
33
e
r , ep 0,
e
q , er 0,
e
r , eq 0,
e
q , ep 0,
e
p , eq 0,
(2.18a)
(2.18b)
(2.18c)
(2.18d)
(2.18e)
(2.18f)
34
Step 4: Denition of E.
The results in Step 3 allow us to dene a graph G of degree two (that
is, all nodes are end points of exactly two edges in the graph) with nodes
corresponding to the matrices in C and edges corresponding to the maximal
arcs. Two nodes Ui , Uj C are connected by an edge if and only if Ui and
Uj are the endpoints of a maximal arc. It is easy to see that G is the union of
a nite number of disjoint cycles. We assert now that G consists of a single
cycle. Otherwise we choose one cycle in the graph and denote the set of
indices corresponding to the matrices in this cycle by M1 . By assumption,
M2 = {1, . . . , } \ M1 = and we dene
g(e) = max |Uj e| max |Uj e|.
jM1
jM2
By denition of C, there exist e such that g(e+ ) > 0 and g(e ) < 0. The
continuity of g implies the existence of a vector e with g(e) = 0. Hence
max |Uj e| = max |Uj e|.
jM1
jM2
max
U C\{Up , Uq }
|U e|.
Then Cpq (e) is a maximal arc and consequently there exists at least three
maximal arcs with end points Up and Uq . This contradicts the assertion of
Step 3. The graph G consists therefore of a single cycle with edges corresponding to maximal arcs given by distinct vectors e1 , . . . , e S1 . We
dene E = {e1 , . . . , e }.
Step 5: The set A is compact.
If follows from Step 3 that 2 and from Step 4 that A contains at
least two conditions of the form |F ei | Ci with linearly independent vectors
2 = e2 e1 , e2 e1 and dene an orthonormal basis with
e1 and e2 . Let v
#2 /|#
v 1 = e1 and v 2 = v
v 2 |. Then
|F v 1 | C1 ,
|F v 2 |
C1 + C2
for all F A.
|#
e2 |
Thus the coordinates of the vectors formed by the rows of F are uniformly
bounded in the orthonormal basis {v 1 , v 2 } and hence A is bounded. Since all
functions in the denition of A are continuous, A is closed and thus compact.
Step 6: The set of constrained points,
B = F A : e S1 such that |F e| = max |U e|
U C
35
B = F A : i {1, . . . , } such that |F ei | = max |U ei | .
(2.19)
U C
max
U C\{Uq }
|U e|
with e E.
(2.20)
By Step 3, Uq is the end point of two maximal arcs pq (ep ) and qr (eq ). By
construction, ep and eq are not parallel and therefore e
p , eq = 0. Moreover,
e E and thus e , ep = 0 and e , eq = 0. We nd by Proposition A.2.5
rotations QF , Qp , Qr SO(2) and scalars tF , tp , tr R with tp = 0 and
tq = 0 such that
QF F Uq = tF Uq e e ,
Qp Up Uq = tp Uq ep e
p,
(2.21b)
e
q .
(2.21c)
Qr Ur Uq = tr Uq eq
(2.21a)
imply that
2tF Uq ep , Uq ee , ep < 0,
2tF Uq eq , Uq ee , eq < 0.
(2.22)
Similarly,
2
2
|Up e|2 = |Uq e|2 + 2tp Uq e, Uq ep e
p , e + tp |Uq ep | ep , e ,
2
2
2
|Ur e|2 = |Uq e|2 + 2tr Uq e, Uq eq e
q , e + tr |Uq eq | eq , e ,
2
and by (2.20)
2tr Uq e, Uq eq e
q , e < 0,
2tp Uq e, Uq ep e
p , e < 0.
(2.23)
Finally,
2
2
|Up eq |2 = |Uq eq |2 + 2tp Uq eq , Uq ep e
p , eq + tp |Uq ep | ep , eq ,
2
2
2
|Ur ep |2 = |Uq ep |2 + 2tr Uq ep , Uq eq e
q , ep + tr |Uq eq | eq , ep ,
2
36
2tr Uq ep , Uq eq e
q , ep < 0,
2tp Uq eq , Uq ep e
p , eq < 0.
(2.24)
It follows from e
p , e = e , ep and (2.22), (2.23) that
tF Uq ep , Uq ee , ep < 0,
tp Uq ep , Uq ee , ep < 0.
tr Uq eq , Uq ee , eq < 0,
tp Uq ep , Uq eq e
q , ep < 0.
tF tr < 0,
tp tr < 0,
with eq E.
QF F Uq = tF Uq eq e
q ,
(2.25)
F SO(2) and
q , Q
tq ,
tF R,
tq =
0,
tF =
0 with
as well as Q
q Uq Ur =
tq Ur eq e
Q
q ,
F F Ur =
Q
tF Ur eq e
q .
(2.26)
tF [ tr , 0 ] if tr < 0.
(2.27)
(2.28)
|Ur ep |2 = |Uq ep |2 + 2 tr Uq ep , Uq eq e
q , ep + tr |Uq eq | eq , ep ,
2
2
2
|F ep |2 = |Uq ep |2 + 2 tF Uq ep , Uq eq e
q , ep + tF |Uq eq | eq , ep .
2
37
|Uq ep | |F ep |,
and we deduce
2
2
2 tr Uq ep , Uq eq e
q , ep + tr |Uq eq | eq , ep 0,
2
2
2
2 tF Uq ep , Uq eq e
q , ep + tF |Uq eq | eq , ep 0.
2
tq = tr ,
(tF tr ) tr > 0.
U C
38
j = 2, . . . , .
In particular,
lc
j
(0, 1),
j = 2, . . . , 1.
We obtain
j U1 + (1 j )Q U = j U1 + (1 j ) U1 + U1 e e
= U1 + j U1 e e = Qj Uj .
Hence
lc
Uj SO(2)U1 SO(2)U ,
and the assertion of the proposition is immediate. If 2 < 0 then we use
i SO(2)
Proposition A.2.5 for U2 instead of for U1 and we nd
i = 0 and Q
with
i Ui U2 =
i U2 e e ,
Q
i = 1, 3, . . . , .
By denition,
Q2 U2 U1 = 2 U1 e e ,
1 U1 U2 =
Q
1 U2 e e ,
and thus
1 U1 e e .
1 Q2 U2 U2 +
1 U2 e e = 2 Q
Q
(2.29)
39
1 Q2 U2 U2 )e = 0
Multiplication of (2.29) with e from the right yields (Q
1 Q2 U2 U2 = 0 since there are no rank-one connecwhich is equivalent to Q
1 U1 e = U2 e that (
1 + 2 )U2 e = 0
tions in SO(2). We thus obtain from Q
and hence
1 = 2 > 0.
(2.30)
Similarly, for j 3,
Qj Uj U1 = j U1 e e ,
and
j Uj U2 =
j U2 e e ,
Q
1 U1 U2 =
Q
1 U2 e e .
j =
(2.31)
3
3
+ 0
2
2
2
2
U1 =
, U3 =
.
, U2 =
3
0
23 + 2
+ 2
2
A short calculation shows that the matrices
prop Ui satisfy the extremality
erty (2.17) with v 1 = (1, 0), v 2 = 12 (1, 3) and v 3 = 12 (1, 3) (see below).
The rank-one connections between the wells are given by Qi U1 U2 = ai ni ,
i = 1, 2, with
2
3
a1 =
=
,
n
,
1
3
3
2( 2 + 2 )
and
a2 =
2
2( + + 2 )
3
( + 2)
3
n2 =
;
3
40
moreover, Qi U1 U3 = ai ni , i = 3, 4, with
,
a3 =
2( 2 + 2 ) 3
and
a4 =
2
2( + + 2 )
3
+ 2
n3 =
n4 =
3
;
3
nally, Qi U2 U3 = ai ni , i = 5, 6, with
3(2 )
,
a5 = 2
3
+ 2
and
a6 = 2
+ + 2
3
3(2 + )
3
3
0
,
n5 =
1
1
,
n6 =
0
C3
n3
n5
C2
41
C1
n1
Fig. 2.2. The three-well problem in two dimensions. The left gure shows the
matrices Ci = UiT Ui and the normals ni dening the extremal curves. The right
gure (generated by a ray tracing programme) displays the convex hulls for = 2
and = 1.5 on the surface det C = 2 . In this case, the quasiconvex hull of K is
given by the union of the quasiconvex hull of the two-well problems formed with
pairs of wells in K.
and barycenters of laminates in the other twinning systems that do not correspond to maximal arcs,
Gs = U3 + (1 s)a3 n3 ,
Hs = U3 + (1 s)a5 n5 .
and
FtT Ft = HsT Hs ,
4 ,
3
s13 =
4 ,
3
t23 =
+ 1 ,
3
s23 =
4 .
3
and
4 ,
3
2 =
+ 1 .
3
Since
1 2
5
+ ,
42
n3
C1
C3
e1
e2
C4
C2
n4
Fig. 2.3. The four-well problem. The left gure shows in a schematic sketch the
matrices Ci = UiT Ui and the normals dening the extremal curves. Here {e1 , e2 }
denotes the standard basis of R2 and n3 and n4 are parallel to e1 + e2 and e1 e2 ,
respectively. The right gure displays the semiconvex hulls for = 2, = 1.5 and
= 0.5 on the surface det C = 2 .
we obtain that
K qc =
SO(2)Ui SO(2)Uj
qc
i=j
+ .
, U2 =
, U3 =
, U4 =
.
U1 =
As in the case of the three-well problem, it is easy to see that the matrices
Ui satisfy the maximality property (2.17). For example, taking
e parallel to
(1 + , 1) for > 0 small enough, one obtains
|U1
e|2 > max |U3
e|2 , |U4
e|2 , and |U1
e|2 > |U2
e|2 2 > 2 .
A short calculation shows that there exist rotations Qi and vectors ai R2
such that
Q1 U1 U2 = a1 e1 ,
Q7 U3 U4 = a7 e1 ,
Q2 U1 U2 = a2 e2 ,
Q8 U3 U4 = a8 e2 ,
1
Q4 U1 U3 = a4 (e1 e2 ),
2
1
Q5 U2 U4 = a5 (e1 e2 ),
2
1
Q6 U2 U4 = a6 (e1 + e2 ),
2
and
43
The General Theorem. The results for k wells can easily be generalized
to any compact set of matrices with xed determinant.
Theorem 2.2.5. Assume that 0, that K {F M22 : det F = }
is compact, and that K is invariant under SO(2), i.e.,
K = SO(2)K = F = QU : Q SO(2), U K .
Then K (2) = K rc = K qc = K pc and
K qc = F M22 : det F = , |F e|2 max |U e|2 for all e S1 . (2.32)
U K
Proof. Let A denote the formula for the hulls in (2.32). Since A is dened
by polyconvex conditions, it is clear that K pc A and it remains to show
that A K (2) . This follows immediately form the splitting method if we
prove that F K (1) whenever F A is a constrained point, i.e., F satises
equality in one of the inequalities in the denition of A. We consider rst the
case > 0 and mention the necessary modications for = 0 at the end of
the proof. Assume thus that F K and that for at least one e S1
|F e|2 = max |U e|2 = |U1 e|2 , U1 K.
U K
2
1
Q1 U1 +
Q2 U2 ,
1 2
1 2
(1)
and thus F SO(2)U1 SO(2)U2
. In order to show this, assume that
> 0 is small enough such that B (F ) K = . By compactness, there exists
a c0 > 0 with
dist(F + sF e e , K) > c0 for all s < 0 such that F + sF e e B (F ),
and by continuity we may choose t0 > 0 such that
dist(F + sF et e
t , K) >
c0
2
(2.33)
44
= |F e|2 2st |F e|2 + tF e, F e + s2 t2 |F et |2 .
(2.34)
(2.35)
(2.36)
t [ t1 , 0).
(2.37)
(2.38)
Qk Uk F = k F v k v
k,
k ,
with
Qk Q,
45
v k e.
A short calculation shows that there exist always two rank-one connections
between SO(2)Uk and F ,
(i)
(i)
(i)
Qk Uk F = ak bk ,
i = 1, 2,
(2.39)
(i)
for which the rotations Qk do not have (for a suitable subsequence) the same
limit. We may pass to the limit in (2.39) and obtain
(i)
(i)
Q U F = a(i) b ,
(1)
(2)
= Q
and comparison with (2.38) establishes the assertion for a suitable subsequence since there are only two rank-one connections between SO(2)U . In
view of (2.34) we must have k > 0. We deduce
2
|Uk ek |2 = |F ek + k v
k , ek F v k |
2
2
= |F ek |2 + 2k v
k , ek F ek , F v k + k v k , ek |F v k |
2
v
k , ek = e k e, e + tk e = tk k < 0,
F ek , F v k > 0
for k big enough. This establishes (2.35) and hence a contradiction to the
assumption F A. This concludes the proof of the theorem for > 0.
Assume now that = 0 and that K is thus contained in the rank-one
cone {X : det X = 0}. Suppose that F A is a constrained point, i.e., there
exists an e S1 such that
|F e|2 = max |U e|2 = |U1 e|2 ,
U K
U1 K.
46
Let
K = SO(2) SO(2)U1 SO(2)U2 .
(2.40)
(2.41)
( )2
(0, 1).
( )2 + 4( 1)( 1)
Then there exists a polyconvex measure Mpc (K) with the representation
(2.41) and 0 {0, 1} if and only if 0 (0, ]. In particular,
K pc SO(2) (SO(2)U1 SO(2)U2 )pc .
Moreover, Mrc (K) does not contain any measure that is supported on SO(2)
and SO(2)U1 SO(2)U2 , i.e.,
Mrc (K) = Mrc (SO(2)) Mrc (SO(2)U1 SO(2)U2 ),
and in particular
rc
K rc = SO(2) SO(2)U1 SO(2)U2 .
Remark 2.2.7. For 0 = one obtains
F = I +
1
2
(U1 + U2 ) =
I K pc \ K rc .
2
+2
47
det F = 0 + (1 + 2 ).
+ 0 1 (r1 s1 + r2 s2 ) + 2 (r1 t1 + r2 t2 ) ( + )
+ 1 2 (s1 t1 + s2 t2 )(2 + 2 ).
The right hand side is quadratic in the coecients of R, S1 and S2 and
can therefore be made arbitrarily small. In order to show the existence of a
solution of this equation we only need to derive conditions which imply that
the right hand side can in fact be made greater than or equal to the left hand
side. The right hand side is maximal if R = S1 = S2 SO(2) and we have to
nd 0 , 1 and 2 such that
0 + (1 + 2 )
20 + (21 + 22 ) + 0 (1 + 2 )( + ) + 1 2 (2 + 2 ).
This is equivalent to
0 (1 0 )( 1)( 1) + 1 2 ( )2 0.
(2.42)
2
( )2 = 0.
4
48
This implies
=
4( 1)( 1)
( )2 + 4( 1)( 1)
0 + (1 + 2 )
.
20 + (21 + 22 ) + 0 (1 + 2 )( + ) + 1 2 (2 + 2 )
1 0
1 U1 + 2 U2 Mpc .
2
(2.43)
(n)
(n)
(n)
(n)
(n)
1 + 2
+
F (n) F =
0 R
1 S1 + 2 S2 SO(2)
with
0 + 1 + 2 = 1, and 1 + 2 1 . On the other hand, the
minors relations for F (n) imply
(n)
(n)
(n)
= lim 0 + (1 + 2 )
0 + (1 + 2 ) = 1,
n
49
(2.45)
F11 F12
K = SO(3)%
O(2)U1 . . . O(2)Uk ,
and therefore it is natural to consider rst sets invariant under O(2). Their
semiconvex hulls have open interior and are therefore much bigger than the
hulls for SO(2) invariant sets. This is due to the remarkable fact that any pair
of proper and improper rotations is rank-one connected in two dimensions.
Theorem 2.3.1. Assume that > 0, that K {F M22 : | det F | = }
is compact, and that K is invariant under O(2), i.e.,
K = O(2)K = F = QU : Q O(2), U K .
Then K (3) = K rc = K qc = K pc and
K qc = F M22 : | det F | , |F e|2 max |U e|2 e S1 .
U K
(2.47)
50
Proof. Let A denote the formula for the hulls in (2.47). Clearly A is a
polyconvex set, and it suces to prove that F K (2) for all F A with
det F 0 and |F e|2 = maxU K |U e|2 for at least one e S1 . The idea is
= det F for all U
K
such that the
K (1) with det U
to dene a set K
following assertions hold:
v|2 for all v S1 ,
|F v|2 max |U
K
U
e|2 .
|F e|2 = max |U
K
U
(2.48)
rank(I R) = 1 for all R O (2). This fact motivates us to choose for all
w S1 a matrix Uw K with det Uw = and |Uw w|2 = maxU K |U w|2 .
w with det U
w = det F by
We then dene a matrix U
w = (1 w )Uw + w Qw Uw = Uw
U
det Uw det F
U T w w ,
T 2 w
(det Uw )|Uw
w |
det Uw det F
,
2 det Uw
Qw = I 2
T
T
w
w
Uw
Uw
.
T
T
|Uw w | |Uw w |
Let
= QU
w : w S1 , Q SO(2) K (1) ,
K
and
M (v) = max |U v|2
U K
and
#(v) = max |U
v|2 .
M
K
U
= QU
w K
#(v) for all v S1 . In fact, if U
We rst assert that M (v) = M
1
with Q O(2) and w S , then by denition
51
% = O(2)U1 . . . O(2)Uk .
K
1
qc
1
T =
SO(2) f f + f f SO(2) f f + f f
.
1
f S
This bound is called the Taylor bound and it ensures that the ane deformation can be accommodated in each grain individually; it does not take into
account compensation eects between dierent grains.
Theorem 2.4.1. Assume that K = SO(2)U1 SO(2)U2 describes a twovariant elastic material with U1 = diag(, 1 ) and U2 = diag( 1 , ). Then
1
T = F M22 : i (F ) [ , ], det F = 1 ,
52
where
1/2
1
,
= B + B 2 3
3
with B = 2 +
1
.
2
1
1
K(f ) = SO(2) f f + f f SO(2) f f + f f .
QF QT K(Qf )pc .
We will rst show that T is invariant under SO(2), i.e., RF Q T for all
R, Q SO(2) and F T . Indeed, if F T , then F K pc (f ) for all
f S1 , and since the sets K(f )pc are invariant under SO(2), we have that
QF K(f )pc for all f S1 and Q SO(2). Thus QF T . It thus suces
to show that QF QT T for all Q SO(2). Let us suppose that F T , and
that there exists a Q SO(2) such that QF QT T . Then there exists an
f S1 such that QF QT K(f )pc , i.e.,
1
pc
1
.
QF Q SO(2) f f + f f SO(2) f f + f f
This implies that F QT K(f )pc Q = K(Qf )pc , contradicting the assumption that F T .
We show next that is the maximal strain that can be recovered in any
basis in a single crystal in standard orientation. To do so, we rst consider
the quasiconvex hull for the grain in its standard orientation in some detail.
It follows from Theorem 2.2.3 that for K = K(e1 )
'
'2
1
1 '
'
qc
22
K = F M
: det F = 1, 'F
' 2 + 2 .
1
1
f f K qc .
f S
If we write f = (cos , sin ), then this is equivalent to
2 +
53
1
1
1
2 2 sin cos 2 + 2 ,
2
1
1
1
+ 2 2 | sin cos | 2 + 2 .
2
B B 2 + 4A2 4
2
(A) =
2(1 + A)
(the square root is always real since B > 2 for > 1). For xed B the
function A g(A) = 2 (A) satises
4(1 + A) B 2 B B 2 + 4A2 4
4(1 + A) 4 4A
g (A) =
<
=0
2
2
2
2B + 4A 4(1 + A)
2B 2 + 4A2 4(1 + A)2
and therefore 2+ (A) is minimal for A = 12 or 2 , 3
2 . We conclude
that the maximal strain that
is given by and that the
1can be recovered
corresponding basis is F =
(e1 e2 ) .
2
Assume now that there exists a matrix F = f f + 1 f f T
with > . Let Q = (f , f ) and observe that by the invariance of T under
SO(2) we have
QT F Q = e1 e1 +
1
e2 e2 T K pc ,
.
, where F =
1
1
1
1
22 1
2
2
54
To be more specic, assume that the matrices Ui , i = 1, . . . , k, are symmetric with a common eigenvector v and corresponding eigenvalue . In a
suitable basis, the matrices are therefore block diagonal,
i
U
i M22 ,
Ui =
, U
2 0 0
1 0 0
1 0 0
(2.50)
U1 = 0 1 0 , U2 = 0 2 0 , U3 = 0 1 0 .
0 0 1
0 0 1
0 0 2
% = SO(3)U1 SO(3)U2 , is given
Then the quasiconvex hull of two wells, say K
by
% qc = F : det F = 12 2 , |F (e1 e2 )|2 12 + 22 , (F T F )e3 = 12 e3 .
K
55
with
H = diag h1 , h2 , h3
(2.51)
56
K pc = K.
The next theorem demonstrates that additional assumptions on the parameters hi are needed for the assertion to be true, even if both wells have
the same determinant.
Proposition 2.6.5. Let H = diag(h2 , h1 , h1 ) with h h where h is the
largest solution of the equation
2h
4 h
= 1.
(2.52)
1 + h 1 + h2
Suppose that K = SO(3) SO(3)H. Then K pc \ K rc = .
Proof. We have to nd (0, 1) and R, S conv(SO(3)) such that
F = R + (1 )SH satises the minors relations,
cof F =R + (1 )S cof H,
det F = + (1 ) det H = 1.
We x =
1
2
R = S = diag(r1 , r2 , r2 ).
Since all matrices in the construction are diagonal, the minors relations reduce
to three nonlinear equations,
r22
r1
1
1
(1 + )2 = (1 + 2 ),
4
h
2
h
r2
r1 r2
1
2
(1 + h )(1 + ) = (1 + h),
4
h
2
r1 r22
1 2
2
(1 + h )(1 + ) =1.
8
h
These equations can be solved explicitly for r1 and r2 ,
57
2h
2 h
.
, r2 =
1 + h2
1+h
It remains to check whether R conv(SO(3)). Since r1 , r2 [ 0, 1 ] and
r1 r2 this is in view of (A.4) true if 2r2 r1 1, i.e. if h h where h is
the solution of (2.52).
r1 =
58
The Two-dimensional Case. We now consider sets that are invariant under multiplication by SO(2) from the left and the right. We restrict ourselves
to the case of sets with constant determinant, since sets of this form are
important in the analysis of nematic elastomers in Chapter 3.
Assume that K is given by
K = F M22 : 1 (F ) = 1 , 2 (F ) = 2 , det F = 1 2 ,
(2.53)
where 0 < 1 2 and 0 1 (F ) 2 (F ) are the singular values of F .
Equivalently, K can be represented as
$
SO(2) 1 e e + 2 e e .
K=
eS1
1 2
min
RO (2)
RO+ (2)
F :R
max F : R 1 + 2 .
RO (2)
qc
SO(2) diag(1 , 2 ) SO(2) diag(2 , 1 ) ,
and this establishes the assertion.
59
2
( 1 ,2)
( 2, 1)
1
( 2, 1)
(1, 2)
Fig. 2.4. Semiconvex hulls of sets dened by singular values. The solid dots are the
four diagonal matrices in K in (2.53), the four circles are the additional diagonal
matrices in K if the condition of positive determinant is dropped. The convex hull
of the set K in (2.53) is the solid rectangle, the polyconvex hull consist of the two
hyperbolic arcs.
1
diag (1 3 , 2 , (1 3 ) P.
2
Proposition 2.7.3. Assume that 0 < 1 2 3 and dene the set E by
E = (i i , j j , k k ) : i,j,k {1}, i j k = 1, {i, j, k} = {1, 2, 3} .
Then conv(E) = P where P is given by
P = R3 : |, | 1 + 2 + 3 , i {1}, 1 2 3 = 1,
|, | 1 + 2 + 3 , i {1}, 1 2 3 = 1,
|i | i , i = 1, 2, 3 .
Remark 2.7.4. If all i are distinct, then E contains 24 points and its convex
hull is the intersection of the 14 halfspaces dened by the normals ei and
1 (e1 e2 e3 ), see Figure 2.5.
3
Proof. It is clear that P contains conv(E) since P is a convex set that
contains all points in E. We therefore have to show that P conv(E). Since
P is a compact set it suces to show that P conv(E), where P consist
60
( 1 , 2 , 3 )
2
( 1 , 3 , 2 )
z 0
( 3 , 1 , 2 )
-2
( 2 , 3 , 1 )
-2
( 3 , 2 , 1 )
0
y
0
x
-2
Fig. 2.5. The convex hull of E. The left gure shows the generation of one of the
hexagons in the boundary of the convex hull, the right gure shows the convex hull
of E. The boundary of the polygon consists of six rectangles,with normals ei , six
small hexagons, with normals (1 , 2 , 3 ), i {1} with 1 2 3 = 1, and six large
hexagons, corresponding to 1 2 3 = 1, respectively.
of all points in P for which at least one of the inequalities in the denition
of P is an equality. We choose two representative cases, namely 3 = 3 and
1 + 2 + 3 = 1 + 2 + 3 ; all the other cases can be handled similarly.
Assume rst that p = (1 , 2 , 3 ) P with 3 = 3 . We assert rst that
p C = conv (1 , 2 , 3 ), (2 , 1 , 3 ), (1 , 2 , 3 ), (2 , 1 , 3 )
(see Figure 2.5). In fact, it follows from the inequalities in the denition of
P that
1 + 2 + 3 1 + 2 + 3
1 2 + 3 1 + 2 + 3
1 + 2 + 3 1 + 2 + 3
1 + 2
1 + 2 ,
1 2
1 + 2 ,
1 + 2 1 + 2 ,
1 2 + 3 1 + 2 + 3
1 2 1 + 2 .
1 1 ,
2 1 ,
61
3 1 ,
and
1 + 2 3 1 + 2 + 3 ,
1 2 + 3 1 + 2 + 3 ,
1 + 2 + 3 1 + 2 + 3 .
These inequalities are contained in the denition of P and thus p conv(E).
All the remaining cases can be handled similarly.
The next theorem describes the fundamental construction for the generation of the lamination convex hull of K. To simplify the notation, we assume
that 1 2 3 = 1. We use the convention that 0 = 3 , 4 = 1 and 0 = 3 ,
4 = 1 and we write (F ) = 1 (F ), 2 (F ), 3 (F )} for the set of the singular
values of F .
Theorem 2.7.5. Assume that 0 < 1 2 3 with 1 2 3 = 1 and that
K = F M33 : det F = 1, i (F ) = i , i = 1, 2, 3 .
Then the sets Mi dened by
Mi = F M33 : det F = 1, i (F ),
(F ) \ {i } [ min{i1 , i+1 }, max{i1 , i+1 } ]
if
1 = 2
and
K (1) = M3
if
2 = 3 .
%
%
.
F = diag(1 , F ) K where F =
0 3
62
Then
F + F = 2e2 e3
and
We dene
% = (F% )T F% =
C
F =
1 + 1
F + F K (1) .
2
2
22 2
.
2 23 + 2
22 + 23 + 2 2
22 + 23 + 2
t =
22 23
2
2
be equal to 32 leads to
=
1
3
)
)
32 22 32 23 > 0.
(2.54)
F1 F2 = a n.
n
.
F 1 F 2 = a
63
To prove that 1 is the smallest singular value of F , let ()+ denote the convex,
nondecreasing function t (t)+ = max{t, 0}. Then the functions
g1 (F ) =
g2 (F ) =
sup |F e| 3
eS2
sup | cof F e|
eS2
1 +
1
and
1 = min{2 , 3 } 2 (F ) 3 (F ) max{2 , 3 }.
(2.55)
(2.56)
Moreover,
conv(K) = F M33 : 1 (F ), 2 (F ), 3 (F ) P ,
where P has been dened in Proposition 2.7.3. In particular,
K pc = conv(K) {F M33 : det F = 1}.
Proof. Let A be the set given in (2.56). Since det F = 1, we have
min (F ) = 1 (F ) =
1
1
=
,
max (cof F )
3 (cof F )
(2.57)
64
and
2 3
3 .
3
By Theorem 2.7.5,
M1 = F M33 : det F = 1, 1 (F ) = 1 ,
2 3
2 3
, 3 }, 3 (F ) = max{
, 3 }
2 (F ) = min{
3
3
2 3
is contained in K (1) . Now 1 1 2
since
3
2
2 3
3
2 3 2 3
1 1 .
F M33 : i (F ) = i ,
(1)
M1
K (2) .
1 2
Suppose now that 1 1 2 3 2 . Then 1
2 , and we
1
conclude from Theorem 2.7.5 that
M3 = F M33 : det F = 1, 3 (F ) = 3 ,
1 2
1 2
}, 2 (F ) = max{1 ,
}
1 (F ) = min{1 ,
1
1
1 2
is contained in K (1) . In this situation,
2 3 3 , since
1
1 2
2
1
1 2 1 2
3 3 ,
(1)
F M33 : det F = 1, i (F ) = i , i = 1, 2, 3 M3
65
K (2) .
U K
max U : R = 1 + 2 + 3 .
U K
(2.58)
1 + 2 + 3 1 + 2 + 3 .
By (2.58)
min F : R = 1 2 3 1 2 3 ,
RSO(3)
max F : R = 1 + 2 + 3 1 + 2 + 3 ,
RSO(3)
U K eS
66
In the characterization of the semiconvex hulls for sets depending on singular values we used the following fact. For simplicity, we rst state the
two-dimensional result.
Proposition 2.7.8. Assume that F M22 and that 1 2 are the signed
singular values of F which satisfy |1 | 2 . Then
max F : R = 1 + 2 ,
RO+ (2)
min
RO+ (2)
F : R = 1 2 ,
and
max F : R = 1 + 2 ,
RO (2)
min
RO (2)
F : R = +1 2 .
RO (2)
min
RO (2)
RO (2)
F :R=
min (Q1 F Q2 ) : R.
RO (2)
We rst prove the formula for the maximum in the compact set O+ . Assume
that R = ei (in complex notation) realizes one of the extremal values and
consider for > 0 any smooth curve : (, ) R with (0) = . Then
d ''
cos (t) sin (t)
F :
= ( sin )(
1 + 2 ) = 0.
'
sin (t) cos (t)
dt t=0
If 1 + 2 = 0, then F = 2 diag(1, 1) and F : R = 0 for all R O+ (2).
We may therefore assume that 1 + 2 = 0. In this case {0, }, and thus
R = I. This implies the assertion of the proposition. Similarly, if R O (2)
realizes one of the extrema, then
d ''
cos (t) sin (t)
F :
= (sin )(1 2 ) = 0.
'
sin (t) cos (t)
dt t=0
If 1 2 = 0, then F = 2 diag(1, 1) and F : R = 0 for all R O (2).
Otherwise, {0, } and therefore R = diag(1, 1) and this concludes
the proof of the proposition.
We now turn to the three-dimensional situation. To simplify the statement, we introduce some notation. Let D be any set. If f : D R and
f (x) f (y) for all y D then we write x argmax(f, D) or simply
x argmax(f ) if the domain D is clearly dened in the context. We dene argmin(f ) similarly.
Proposition 2.7.9. Assume that F M33 and that 1 , 2 , 3 are the
signed singular values which satisfy |1 | 2 3 are the signed singular
values of F . Then the following assertions hold:
67
RO+ (3)
min
RO+ (3)
F : R = +1 2 3 ,
and
max F : R = 1 + 2 + 3 ,
RO (3)
min
RO (3)
F : R = 1 2 3 .
d ''
Q(t) : F = QX : F = 0.
'
dt t=0
68
In view of the identity tr(AB) = tr(BA) for all A, B Mnn we have (recall
that F is diagonal) XQ : F = tr(F XQ) = tr(QF X) = QF : X = 0 and
QX : F = tr(F QX) = F Q : X = 0, and this implies that both the matrices
QF and F Q must be symmetric. The resulting equations QF = F QT and
F Q = QT F (or Qij j = Qji i and i Qij = j Qji ) can be rewritten in
dierent ways, in particular as
(i j )(Qij + Qji ) = 0,
(i + j )(Qij Qji ) = 0,
(i2 j2 )Qij = 0.
(2.59)
RO (3)
min
RO (3)
F : (R) =
min
RO+ (3)
F : R.
This identity and the analogous one for the minimum prove the formulae in
parts 1 and 3 of the proposition.
It describes the energy of the system for ane boundary conditions, if the
system is allowed to form locally energetically optimal microstructures. In
particular, this formulation allows innitesimally ne structures by neglecting
all higher order eects such as surface energies or the atomistic structure of
the material that typically introduce nite length scales.
The energy W qc governs the macroscopic behavior of the system and is from a practical point of view - the right quantity for the computation of averaged quantities such as the macroscopic stress. Since W qc is quasiconvex, the
variational problem has a minimizer, and numerical schemes are expected
to provide reliable and mesh independent results without oscillations on a
scale comparable to the underlying triangulation. However, it is one of the
unresolved challenges in the eld to derive a characterization of W qc . Even
in the case of the cubic to tetragonal transition, which has been investigated
extensively and for which Ericksen and James proposed a quartic model energy, nothing in known about its relaxation. It is surprising or perhaps an
indication of the true complexity of the matter that the zero set of W qc , the
quasiconvex hull of the three martensitic wells in (5.3), has not been found
yet, despite numerous attacks.
This motivates us to go in this chapter beyond the analysis of crystalline
microstructures and to study a dierent physical system, nematic elastomers,
a class of polymers that undergo a nematic to isotropic phase transformation.
As a result of the isotropy of the high temperature phase, the energy in
the nematic phase depends only on the singular values of the deformation
gradient. We have seen in Section 2 that this invariance allows one for example
a characterization of the semiconvex hulls of the zero set, and we show in this
chapter how to nd the macroscopic energy for the system.
70
00
11
11
00
00
11
00
11
00
11
00
11
000
111
111
000
000
111
1111
0000
0000
1111
000
111
111
000
000
111
000
111
000
111
00
11
11
00
00
11
00
11
00
11
00
11
0000
1111
1111
0000
111
000
000111
111
000
000
111
000
111
111
000
000
111
000
111
0000
1111
1111
0000
0000
1111
0000
1111
000
111
000
111
000
111
0000
1111
1111
0000
0000
1111
1111
0000
0000
1111
0000
1111
0000
1111
0000
1111
111
000
000
111
1111
0000
0000
1111
0000
1111
Fig. 3.1. The isotropic-nematic phase transformation in nematic elastomers, polymers consisting of weakly cross-linked side-chain polymer liquid crystals. The nematic elements (rigid, rod-like molecules) are attached to the backbone chain. They
have a random orientation in the high temperature (isotropic) phase due to thermal uctuations. In the low temperature (nematic) phase, a local alignment of the
mesogens causes a stretch of the network in direction of the director n (indicated
by the arrow in the right gure) and a contraction in the directions perpendicular
to it.
71
2 + 2 + 2 3 if det F = 1,
1
2
3
Wiso (F ) = 2
+
otherwise,
where 0 < 1 2 3 are the singular values of F . Below the transformation temperature we have r > 1 in the prolate case which we will consider
here. Since the formula for the energy does not contain derivatives of the director n, we can minimize rst in n and then consider the variational problem
for the deformation u. We dene
Wne (F ) = min2 WBTW (F, n)
nS
nS2
that
r1/3 2 + 2 + 1 2 3 , if det F = 1,
1
2
r 3
Wne (F ) = 2
+
otherwise.
1 (F
+
+
3 if det F = 1,
p
1
2p
3p
(3.1)
W (F ) =
+
else,
with 0 < 1 2 3 , 1 2 3 = 1, and p 2. The relaxation result that we
prove in the subsequent sections provides us with the following formula for
the relaxation of the free energy,
if F L
0
2
1/3 2
2 r1/6 1 (F ) + r 1 (F ) 3 if F I1 ,
qc
Wne
(F ) =
W (F )
if F S,
+
else,
where
L = F M33 : det F = 1, max (F ) r1/3 ,
I1 = F M33 : det F = 1, min (F )2max (F ) r1/2 ,
S = F M33 : det F = 1, min (F )2max (F ) r1/2 .
72
r 1/6
1
r 1/3
max (F)
Fig. 3.2. The macroscopic phase diagram for nematic elastomers. The phase
boundary between the intermediate phase and the solid phase is given by
min (F )2max (F ) = r1/2 .
The formula for the macroscopic energy reveals three dierent types of mechanical response of the system to applied strains, see Figure 3.2. In the liquid
phase L, the energy is identical to zero and the system shows no resistance
to applied stretches and has a completely soft behavior. In the intermediate
phase I1 , the expression for the energy depends only on the smallest singular
value 1 , and therefore the system behaves like a liquid along transformation paths that leave 1 xed; all other deformations lead to a change in the
stress. In the solid phase, nally, the material has the properties of a neoHookean rubber and all deformations change the stresses in the material. The
liquid like behavior has been reported in the experimental literature (within
certain limits) and rst numerical experiments with the macroscopic energy
qc
Wne
by Conti, DeSimone, and Dolzmann show a qualitative agreement with
the experimental results.
73
In the framework of envelopes of functions, the inner and the outer bound
are replaced by a lower and an upper bound for the relaxed energy, i.e.,
functions W and W with W W qc W . If it turns out that W W ,
then equality holds in this chain of inequalities and one obtains a formula for
W qc . As in the case of semiconvex hulls, there are two canonical choices for
W and W , namely the polyconvex envelope W pc and the rank-one convex
envelope W rc , and the goal is then to prove that W rc = W pc . If W is a
real valued function, then this identity implies that W rc = W qc = W pc and
one obtains a formula for the relaxed energy. In the situation at hand, the
incompressibility constraint causes a slight diculty since extended valued
quasiconvex functions are not necessarily rank-one convex. To resolve this
ak to show that W qc W rc .
issue, we use a construction by M
uller and Sver
Since polyconvexity implies quasiconvexity for extended valued functions, we
conclude W qc W rc = W pc W qc and this demonstrates that all the
envelopes are in fact equal.
Based on this approach, we prove in the subsequent sections the general
relaxation result. In order to simplify the notation, we dene the parameters
=
2
<1
3
and
2
> 1,
1
(3.2)
E0 = [ 0, 3 ] [ 0,
74
see Figure 3.3 for a sketch of these domains in the phase plane.
We now state our relaxation result.
Theorem 3.2.1. Suppose that 0 < 1 2 3 with 1 2 3 = 1 and that
p 2. Let W : M33 R be given by
p
) p2 (F ) p3 (F )
1 (F
+
+
3 if det F = 1,
p
1
2p
3p
W (F ) =
(3.3)
+
else.
Then the relaxed energy W qc of the system is given by
if det F = 1,
max (F ), max (cof F )
qc
W (F ) =
+
else,
where the function : [ 0, ) [ 0, ) R is given by
0
if (s, t) E0 ,
1
+ 2(1 t)p/2 3
if (s, t) I1 E1 ,
(s, t) =
1 t
1 p + t p + s p 3 if (s, t) S,
2 s
3
1t
p
p/2
s
3
3
if (s, t) I3 E3 .
3 + 2 s
(3.4)
We split the proof into several steps in which we follow the general strategy
outlined above. The rst step is the construction of an upper bound W .
Then W is shown to be polyconvex and hence to be a lower bound and
this establishes the theorem, up to the additional argument that is needed in
order to show that W qc W rc . We conclude the proof in Section 3.5.
75
for all F K rc ,
p/2
1 p
+
2
3
1 p 1 p p
1
2
3
W (F ) =
+
+
3
1
2
3
p/2
p
3
3
+2
3
3
3
if F L,
if F I1 ,
if F S,
(3.5)
if F I3 ,
if det F = 1.
Moreover, for all F M33 with det F = 1 there exist pairs (i , Fi )i=1,...,k ,
k 4, with i [ 0, 1 ], Fi M33 , and det Fi = 1 satisfying condition Hk
such that
F =
k
i Fi ,
and
W (F ) = W (Fi ),
i = 1, . . . , k.
i=1
Remark 3.3.2. It turns out that k = 2 for matrices in the intermediate phases,
and that k = 4 for matrices in the liquid phase.
Proof. It follows from the inequality between the geometric and the arithmetic mean that W 0 and that
K = X : W (X) = 0 = F : det F = 1, i (F ) = i for i = 1, 2, 3 .
By the denition of L and Theorem 2.7.7, we have K rc = K (2) = L and thus
W rc (F ) max W (X) = 0
XK
for all F L.
76
It therefore suces to prove the assertion for the matrices contained in the
sets I1 and I3 . By the isotropy of W , we may assume that F is a diagonal
matrix, F = diag(1 , 2 , 3 ) with 1 2 3 = 1.
Assume rst that 1 (F ) = 1 1 . All diagonal matrices with this
property can be parameterized by
1
t
,
t 1 (t) = 1 , ,
t 1
1
3/2
3/2
t [ 1 , 1
where the domain of t is chosen in such a way that 1 is the smallest eigenvalue
of F . The energy along this curve is given by
p t p 1 p
1
3/2
+
+
3 if t [ 1 , 1],
1
2 1
t3 1
w1 (t) =
1 p 1 p t p
3/2
+
+
3 if t [ 1, 1
].
1
t2 1
3 1
3/2
ptp1
p/2
2p 1
p
p/2
tp+1 3p 1
=0
t = t0 =
1/2
2
In view of 1 2 3 and 3 2 1 = 1,
1/2
2
3/2
= (22 1 )1/2 1
3/2
3/2
p(p 1)tp2
p/2
2p 1
p(p + 1)
p/2
tp+2 3p 1
> 0,
t (0, 1),
3
2
1
= 1 , ,
,
1 (t0 ) = 1 ,
2 1
3 1
1 1
with
p/2 p
1
1
w1 (t0 ) = 2
+
3.
1
1
We have in view of the isotropy of the energy that W (F ) = w1 (t0 ) on
R,
Q,
R
SO(3)
,
,
K(t0 ) = Q diag 1 ,
1
1
77
and the denition of quasiconvexity implies that W (F ) w1 (t0 ) for all points
in the quasiconvex hull of K(t0 ) which is given by Theorem 2.7.5 by
1
1
W (F ) w1 (t0 ) if 1 (F ) = 1 , 3 (F ) ,
.
1
1
Since 1 (F ) = max (cof F ), this establishes the formula for W in I1 . The
remaining case, F = diag(1 , 2 , 3 ) with 3 3 is analogous.
W = W pc = W rc .
g2 : S R,
g3 : E3 I3 R
by
1 p
+ 2(1 t)p/2 3,
1 t
1 p
t p
s p
g2 (s, t) =
+
+
3,
1 t
2 s
3
s p
3 p/2
+2
3.
g3 (s, t) =
3
s
g1 (s, t) =
g2 (s, t) =
1 p
t p/2
t p/2
+
+
3 = g1 (s, t).
1 t
2 3
2 3
78
Dg1 (s, t) = 0,
Dg2 (s, t) =
Dg3 (s, t) =
p
1p tp+1
p
p/2
+ p1 tp/21 ,
pt
psp1
p
ptp1
,
+
,
+
2p sp+1
3p
1p tp+1
2p sp
p/2
psp1
p3
+ p/2+1
,0 .
p
3
s
s g2 (s, t) 0
t g2 (s, t) 0
1 3p/2
t3p/2
,
1
t p
s2p
,
t2p ( s)p ,
s g3 (s, t) 0
s3p/2 3
3p/2
All these inequalities are satised in the domains of the functions gi , and we
conclude that is nondecreasing in its arguments. We now show that is
continuously dierentiable. Since
1
) = 0,
1
we only need to check this along the curves t = s and t = s2 , respectively. A short calculation shows that
s g3 (3 , t) = 0,
2 1/2
s = Dg3 (s, t),
Dg2 s,
1
t g1 (s,
Dg2
3 1/2
t, t = Dg1 (s, t),
2
p(p 1)sp2
p2 tp1
p(p + 1)tp
p p+1
p sp+2 +
3p
2 s
2
D2 g2 (s, t) =
2
p1
and thus the determinant of the matrix of the second derivatives is given by
p2 (p + 1)2 3p
p2 t2p2
p2 (p2 1)2p sp2
p2 (p 1)2 1p tp2
+
+
.
sp+2 t2
tp+2
s2
22p s2p+2
79
p p p 2 = 0.
2
2
s
s
3 2 t s
2 s2p+2
Since also (D2 g)11 > 0, we conclude that g2 is convex on its domain and this
nishes the proof of the proposition.
The next proposition is the analogue of the fact that convex and nondecreasing functions of convex functions are convex. We use this to show that
(max (F ), max (cof F )) is a polyconvex function since the maximal singular
value of a matrix is a convex function.
Proposition 3.4.2. Assume that : R2+ R is given by (3.4). Then the
function 1 : M33 R, given by
1 (F ) = max (F ), max (cof F )
is polyconvex.
Proof. By denition, 1 is polyconvex if there exists a convex function
g : M33 M33 R R
such that 1 (F ) = g(F, cof F, det F ). We dene
g(X, Y, ) = sup |Xe|, sup |Y e| .
eS2
eS2
g (X1 , Y1 , 1 ) + (1 )(X2 , Y2 , 2 )
= sup |(X1 + (1 )Y1 )e|, sup |(X2 + (1 )Y2 )e|
2
2
eS
eS
sup |X1 e| + (1 ) sup |Y1 e|, sup |X2 e| + (1 ) sup |Y2 e|
eS2
eS2
eS2
eS2
= sup |X1 e|, sup |X2 e| + (1 ) sup |Y1 e|, sup |Y2 e|
eS2
eS2
eS2
eS2
sup |X1 e|, sup |Y1 e| + (1 ) sup |X2 e|, sup |Y2 e|
2
2
2
2
eS
eS
eS
eS
= g X1 , Y1 , 1 + (1 )g X2 , Y2 , 2 .
Here we used the triangle inequality for the norm and the fact that is
nondecreasing in the rst inequality, and the convexity of for the second
inequality. This establishes the polyconvexity of 1 and concludes the proof.
We are now in a position to establish a characterization for the rank-one
convex and the polyconvex envelope of W .
80
+
else.
Proof. We dene
0
2 (F ) = I1 (det F )
where
I1 (t) =
if t = 1,
else.
1
max (cof F )
and
2 (F ) =
1
min (F )max (F )
0
if F L,
p
p/2
min (F )
1
+2
3
if F I1 ,
1
min F
+ (F ) = W (F )
W
if F S,
p/2
max (F ) p + 2
3
3 if F I3 ,
(F
)
max
+
else,
+ = W W rc . Therefore
and a comparison with (3.5) shows that W
+ W pc W rc ,
W rc W = W
and hence equality holds throughout this chain of inequalities. This proves
the assertion of the theorem.
81
4
i Fi ,
and
W pc (F ) = W (Fi ), i = 1, . . . , 4.
i=1
(2) where K
= {F1 , F2 , F3 , F4 }. We choose
Moreover, F K
= F M33 : det F = 1 ,
and dene for > 0
< , = sup W (X) : X V W pc (F ).
V = F : dist(F, K)
Since W is continuous on we have 0 as 0. Lemma 3.5.1
guarantees the existence of a piecewise linear map F, : R3 with
DF, (x) Vrc a.e. and
'
'
F, (x) = F x on , and ' x : DF, (x) V ' ||.
Therefore, if M is an upper bound for W on V1 ,
'
'
W (DF, )dx ' DF, (x) V ' W pc (F ) + + M ||
||W pc (F ) + || + M .
The assertion of the theorem follows as 0.
0
,
U1 =
0 +
3
2 2
,
U2 =
2 + 2
U3 =
3
2
3
2
84
form the boundary of K qc which consists of maximal arcs between the matrices Ui . Consequently these points satisfy for some e S1 the inequality
|F e| = |Ui e| = |Uj e| > |Uk e|,
This is exactly the condition (Cb ) in Denition 4.1.4 since in two dimensions
conditions on the cofactor of a matrix are equivalent to conditions on the
matrix itself.
The main results in this chapter can now be summarized as follows: We
prove in Section 4.1 for bulk materials (i.e., three-dimensional models) that
F K qc satises (Cb ) Mqc (K; F ) is unique is stable .
In the two-dimensional situation, our results are optimal in the sense that
F K qc satises (Cb ) Mqc (K; F ) is unique is stable.
We extend our theory in Section 4.4 to the analysis of thin lms and we
obtain again an optimal criterion for uniqueness and stability since
F K qc satises (Ctf ) Mqc (K; F ) is unique is stable.
The most detailed analysis is given in Section 4.1 for bulk materials in two and
three dimensions. We briey sketch the underlying ideas in the framework of
the three-well problem mentioned above. Suppose that
F = Q2 U2 + (1 )Q3 U3 ,
Q2 U2 Q3 U3 = a b,
i P(SO(2)Ui ), i 0, 1 + 2 + 3 = 1.
|F e|
(4.1)
85
= Q2 U2 + (1 )Q3 U3
is the unique gradient Young measure with center of mass equal to F . Now let
d(, ) be a distance on the set of all probability measures. The foregoing observation can be stated equivalently by saying that for every Mpc (K; F )
with
dist(A, K)d(A) = 0 d(, ) = 0.
M22
X supp : (X) SO(2)U1 c
dist(A, K)d(A).
M22
M22
86
(4.3)
Throughout this section we assume that the matrices Ui Mnn are positive
denite with det Ui = > 0 for i = 1, . . . , k. Moreover, we assume that
SO(n)Ui = SO(n)Uj for i = j. We present applications of our approach to
several three-dimensional models of phase transformations in Chapter 5.
We begin with a precise denition of uniqueness. Since we try to identify the weakest possible conditions for uniqueness, we carry out most of
the analysis for polyconvex measures which form a much larger class than
gradient Young measures realizing microstructures. We dene uniqueness of
microstructures analogously.
Denition 4.1.1. A polyconvex measure Mpc (K) is said to be unique
if Mpc (K; , id) = {}. Similarly, a microstructure Mqc (K) is said to
be unique if Mqc (K; , id) = {}.
Assume now that is unique and let F = , id. The main motivation
behind our denition of stability is to give a quantitative statement of the
intuitive idea that any polyconvex measure with center of mass F and
support close to K should be close to in a suitable distance d on the space
of all probability measures. It turns out that a convenient way to measure
the distance of the support of to K is the integral
E() =
dist(A, K) + distmax{2,n1} (A, K) d(A).
Mnn
Here dist() denotes the Euclidean distance in Mnn . In order to dene the
distance d(, ) on the set of all probability measures supported on Mmn , let
M1 = M(Mmn ) : M 1
and let C0 (Mmn ) be the closure of C0 (Mmn ) in the supremum norm (in
our applications below, we have either m = n or m = 3 and n = 2). Choose
a dense set {i }iN of Lipschitz continuous functions in C0 (Mmn ) with
compact support and i 0 for all i N. We then dene a metric d(, ) that
induces the weak- topology on M1 by
d(, ) =
i=1
2i
|, i , i |
.
i 1,
87
dist(A, K) + distmax{2,n1} (A, K) d(A)
Mmn
|(X) X| = dist X, {Q U , Q U }
(4.4)
(4.5)
= , ,
88
SO(n)U3
SO(n)U2
M3
M2
M1
SO(n)U1
Fig. 4.1. Sketch of the sets Mi dened by the projection for k = 3 (see the example
in the introduction to this chapter). The three wells are indicated by dots and the
projection denes three regions in the matrix space in which the nearest point in K
is contained in SO(n)Ui . The estimates on the volume fractions ensure that most
of the support of a polyconvex measure (indicated by the shaded areas) is close to
two of the wells.
= (M ) =
1 d(A),
(4.6)
M
and
%=
M
1 d(A),
% =
,
M
1 d(A).
(4.7)
M .
(4.8)
Finally, we set
M = M M ,
N=
$
{,}
89
C(k, F ) = min C Dk : dist(F, K) = dist(F, K C) .
Since the sets {F : dist(F, K) = dist(F, K C)} are closed for all dyadic
cubes, it is easy to see that k is Borel measurable. Moreover, the denition
of the linear orderings implies that C(k + 1, F ) C(k, F ) and therefore
the functions k converge uniformly to a Borel measurable function that
satises |(F ) F | = dist(F, K) for all F Mmn .
Now we dene rst the condition (Cb ) on which our estimates are based,
and then we discuss the implications of the two hypotheses in (Cb ).
The Condition (Cb ). We begin with the denition of the condition (Cb )
that is at the heart of our analysis of uniqueness and stability of microstructure underlying a global deformation F in bulk materials.
Denition 4.1.4 (Condition (Cb ) for uniqueness in bulk materials).
Let U1 , . . . , Uk be positive denite n n matrices with det Ui = > 0 for
i = 1, . . . , k. Assume that K is given by
K = SO(n)U1 . . . SO(n)Uk ,
(4.9)
max
{ij+1 ,...,i }
|U wj |,
and
|F wj | > |Uij wj |,
or
| cof F wj | = | cof U wj | = | cof U wj |
max
{ij+1 ,...,i }
and
| cof F wj | > | cof Uij wj |.
Here = k 2 if = and = k 1 if = .
| cof U wj |
90
Remark 4.1.5. Throughout the rest of the chapter we are mostly concerned
with the case = . The same arguments imply for = that the microstructure is supported on one well and thus a Dirac mass placed at a
single matrix in SO(n)U . In this case we refer also to a single Dirac mass as
a simple laminate in order to simplify the notation.
Remark 4.1.6. An apparently weaker formulation of condition (Cb ) would be
to allow dierent indices and in i) and ii) for n 3. However, the subsequent analysis shows that they are automatically identical and this justies
the formulation in Denition 4.1.4.
Remark 4.1.7. We show in Theorem 4.2.1 that ii) implies i) for n = 2.
In the next two propositions, we analyze the importance of the two assumptions i) and ii). The observation here is that the algebraic condition ii)
on the matrix F and the set K ensures that every polyconvex measure
Mpc (K; F ) is supported on the two wells SO(n)U SO(n)U , see
Proposition 4.1.9. The relevance of the rst condition, namely that F has
a representation as a barycenter of a simple laminate, lies in the fact that
simple laminates supported on two wells are unique, and this is the assertion
of the rst proposition.
Proposition 4.1.8. Assume that U1 , U2 Mnn with det U1 = det U2 > 0,
and that SO(n)U1 = SO(n)U2 . If F is the center of mass of a simple laminate
supported on the wells SO(n)U1 SO(n)U2 , then the Mpc (K; , id) = {}.
Proof. Assume rst that SO(n)U1 and SO(n)U2 are not rank-one connected and let F = Q1 U1 + (1 )Q2 U2 be the representation of F as the
barycenter of a simple laminate which exists by assumption. Since any polyconvex measure supported on two incompatible matrices has to be a single
Dirac mass, we conclude {0, 1}, and the assertion is immediate. We may
thus assume that Q1 U1 and Q2 U2 are rank-one connected, and we have to
show that Q1 , Q2 and are uniquely determined.
To simplify the notation, we let A = Q1 U1 , B = Q2 U2 , and we dene
a, b Rn by
Q1 U1 Q2 U2 = A B = a b.
(4.10)
F = F B 1 = AB 1 + (1 )I =
, id.
Step 1: The matrix AB 1 has one as an eigenvalue with algebraic multiplicity at least equal to n 2, i.e., there exist n 2 orthonormal eigenvectors
v i , i = 1, . . . , n 2, with
AB 1 v i = v i ,
i = 1, . . . , n 2.
91
= RQa,
a
b = RB T b.
=a
= a
Then A B = a b is equivalent to Q
b or Q
b and
T Q
= I = T T a
+ |
Q
b
b.
b
b T a
a|2
. Then T I is a matrix of rank one
Suppose rst that
b is parallel to T a
T
and has at least n1 eigenvalues equal to one. Since det = 1 it follows
that = I and this contradicts the assumption that the wells SO(n)A and
are not parallel.
SO(n)B are distinct. We may thus assume that
b and T a
In this situation, let
= span{
},
L
b, T a
=L
.
H
v = v
and since is diagonal with positive
if and only if v
H,
Then T
entries in the diagonal, we obtain
v = v
T
v = v
H.
v
Therefore has at least n 2 eigenvalues equal to one, and since there exists
a rank-one connection between and SO(n) we conclude that
= diag(1 , 1, . . . , 1, n ),
1 1 n .
Moreover,
= span {
= span {e2 , . . . , en1 },
} H
L
b, T a
92
QAB 1 v = v
v H.
(4.11)
F ) = {
Then Mpc (K;
}.
We rst show that {F v 1 , . . . , F v n2 , F e} is an orthogonal system. It
i v i = i v i and the minors relations that
follows from U
|F v i |2 2i ,
1 )2
(det U
| cof F v i |2
,
2i
i = 1, . . . , n 2,
and consequently
'1
'2
i
1
2i
0 ' F v i
cof F v i ' = 2 |F v i |2 2 +
| cof F v i |2 0.
1
1 )2
i
i
det U
(det U
This implies
F v i =
93
2i
cof F v i ,
1
det U
F v i , F e = 0,
i, j = 1, . . . , n 2.
Therefore
|F v i |2 = 2i = |Av i |2
for i = 1, . . . , n 2 and A supp , and thus
0
|F v i Av i |2 d(A)
supp
2
F v i , Av i d(A) +
|Av i |2 d(A)
= |F v i | 2
supp
supp
2
|Av i |2 d(A) = 0.
= |F v i | +
(4.12)
supp
(4.13)
supp
Equations (4.12) and (4.13) show that for a.e. A supp the identities
Av i = F v i ,
Ae = F e
1 e = F e,
QU
1 v i , U
1 e onto the
i.e., the rotation Q maps the n 1 orthogonal vectors U
n 1 orthogonal vectors F v i , F e. This uniquely determines Q and a similar
2 . Consequently the support of is uniquely
argument holds for A = QU
determined and is given by = Q1 U1 + (1 )Q2 U2 with [ 0, 1 ] and
Q1 , Q2 SO(n). To prove uniqueness of the volume fraction , assume that
there exist [ 0, 1 ], = , such that = Q1 U1 + (1 )Q2 U2 . Then
1 = SO(n)U
2 and this contradicts
1 Q2 U
2 ) = 0. Hence SO(n)U
( )(Q1 U
2 . The proof of the assertion of the
1 = SO(n)U
the assumption that SO(n)U
second step is thus complete.
The assertion of the proposition is now an immediate consequence of
Steps 1 and 2.
94
We now prove that hypothesis ii) in condition (Cb ) implies that the support of any Mpc (K; F ) is contained in the two wells SO(n)U SO(n)U .
This result is a special case of the proposition below since E() = 0 for measures with support in K. The more general statement which we provide here
is an important ingredient in the applications to stability and error estimates
for nite element minimizers in Section 4.5.
Proposition 4.1.9. Assume that K is given by (4.3), that F satises condition ii) in (Cb ) and that Mpc (Mnn ; F ). Then there exists a constant
c that depends only on F and n, but not on such that
cE()
(4.14)
c
dist(A, K) + dist2 (A, K) d(A), {1, . . . , k} \ {, }
supp
if the condition on the cofactor in condition (Cb ) is not used in the estimates.
The additional term involving distn1 (A, K) reects the fact that the cofactor
is a polynomial of degree n 1 in the entries of A. The same is true for the
estimates below that are based on these estimates for the volume fractions.
Proof. By denition of , we have for all w Sn1
k
2
2
|F w| |U w| =
=1
=
|F w|2 |(A)w|2 d(A)
supp
2F w, Aw (A)w |(A)w F w|2 d(A),
supp
and thus
k
|F w|2 |U w|2 +
=1
supp
2|F w|
(4.15)
We obtain similarly from the minors relation for the cofactor that
k
| cof F w|2 | cof U w|2
=1
2 cof F w, cof Aw cof((A))w | cof((A))w cof F w|2 d(A).
supp
95
n1
Li (A, B) = cof B +
i=0
n1
Li (A, B)
i=1
'
' cof((A)) cof A' = ' cof((A)) cof A (A) + (A) '
c
n1
'
' '
'
'A (A)'i '(A)'n1i .
i=1
| cof F w|2 | cof U w|2
=1
| cof (A)w cof F w|2 d(A) cE().
(4.16)
supp
j = 2, . . . , k.
It follows from (4.15) that 1 cE() with a constant c that depends only
on K and F . We conclude similarly with inequality (4.16) if the assumption
on the cofactor holds. Assume now that the assertion has been proved for
= 1, . . . , j 1 < k 2, and that the assumption on F in condition ii) in
(Cb ) is satised for the index j. Thus there exists a vector wj such that
|F wj | > |Uj wj | and |F wj | > |U wj |,
= j + 1, . . . , k.
|F w|2 |U w|2 cE(),
=j
96
dist(A, K) + distmax{2,n1} (A, K) d(A) = 0
Mnn
and hence is supported on the two wells SO(n)U and SO(n)U . The assertion of the theorem is an immediate consequence of Proposition 4.1.8.
Stability of Microstructure. We now turn towards the analysis of stability
of microstructure. Throughout this section we assume that n 3, i.e., we
concentrate on the situation with the additional hypothesis in (Cb ) that
F K pc has a representation as the barycenter of a simple laminate given
by
= Q U + (1 )Q U ,
Q U Q U = a b
(4.17)
on M = M M .
97
Q U
Fig. 4.2. Sketch of the estimate for the excess rotation. The set SO(n)U is represented by a circle. The projection maps the points in M onto SO(n)U . Proposition 4.1.12 ensures that the projected points are close to Q U , the points in the
support of the unique microstructure realizing the center of mass.
supp
cE(),
and by the denition of W ,
98
'
'2
'(R(A)
I)ei ' d(A) cE()
for i = 1, . . . , n 1.
(4.19)
In order to prove (4.18) it thus suces to establish that (R(A)
I)en is
2
bounded in L (M, d). Since cof Q = Q for all Q SO(n), we have that
jn = cof jn (R)
where cof jn (R)
is (up to the sign (1)j+n ) the determinant
R
obtained by deleting the jth row and the nth column of
of the submatrix of R
R. A cofactor expansion for this subdeterminant down the jth column shows
that for j < n all terms in the expansion contain at least one o-diagonal
(the diagonal element in the jth row has been crossed out), and
element of R
thus Rjn is bounded by E(), i.e.,
2
jn
(A)d(A) cE().
R
M
(4.20)
k=2
Then
'
'
11 1) (R
(n1)(n1) 1)'2 + . . . + c|R(n1)(n1) 1|2 ,
|p1 1|2 c'(R
where the dots stand for products with less than n 1 terms. In view of
(4.19) we deduce
|p1 1|2 d(A) cE()
M
and the assertion follows now from (4.20) since the products pk with k 2
which is again bounded by (4.19)
contain at least one o-diagonal entry in R
With the estimates for the volume fractions and the excess rotation at
hand, we can prove the following list of estimates for microstructures with
small energy.
Theorem 4.1.13. Suppose that K is given by (4.3) and that F satises
condition (Cb ). Let Mpc (K; F ) given by (4.17) be the unique polyconvex
measure with center of mass F . Then the following estimates hold for all
Mpc (Mnn ; F ):
i) Estimate orthogonal to the layering normal: for w Sn1 with w, b = 0,
|Aw F w|2 d(A) cE().
supp
99
% and
%
be dened as in (4.7). Then
iii) Let
% | cE 1/2 (),
|
%
|
|
c 1/2
E ().
=1
|(A (A))w|2 + |((A) F )w|2 d(A) cE().
2
supp
Here we use the fact that by denition |A (A)|2 = dist2 (A, K).
We observe for the proof of ii) that by the triangle inequality
2
|A (A)|2 + |(A) (A)|2 d(A).
|A (A)| d(A) 2
supp
supp
By the denition of M and N in (4.8) and the estimates for the volume
fractions, (N ) cE(). Thus by (4.18)
|(A) (A)|2 d(A)
supp
2
|(R(A) I)(A)| d(A) +
|(A) (A)|2 d(A) cE(),
=
M
supp
100
and therefore
%
%
1
M
|A Q U |d(A)
c 1/2
E ().
2i
i=1
i=1
|, i , i |
i 1,
21
i 1, E 1/2 ()
cE 1/2 ().
i 1,
The assertion follows therefore for (/c)2 .
Equivalence of uniqueness and stability of microstructure is now an immediate consequence of the foregoing analysis.
101
Corollary 4.1.15. Assume that K is given by (4.3), and that is a microstructure supported on K, i.e., Mqc (K; F ). Then
is stable
is unique.
d Av Dui () ,
for i suciently large. This contradicts the denition of stability and concludes the proof.
(4.21)
102
max
U U \{Up ,Uq }
|U e|.
If strict inequality does not hold, then there exists an Ur U \ {Up , Uq } such
that
|Up e| = |Uq e| = |Ur e| = |F e|,
and Proposition 2.2.4 implies that we may assume without loss of generality
that Ur is contained in the polyconvex hull of SO(2)Up SO(2)Uq . We then
nd by the construction in (2.28) in the proof of Theorem 2.2.3 rotations
Qq , Qr , QF SO(2) and scalars tr , tF [ 0, 1 ] with tr = 0, tF = 0, such
that
QF F = (1 F )Up + F Qq Uq ,
Qr Ur = (1 r )Up + r Qq Uq .
r F
F
Up +
Qr Ur ,
r
r
and we conclude again that is not unique. This establishes the assertion of
the theorem.
We summarize the results in the following corollary.
Corollary 4.2.2. Let K be given by (4.21) and Mqc (K). Then
stable
unique
F = , id satises (Cb ).
103
the extension of the analysis of uniqueness and stability to sets with a multiwell structure invariant under O(2). We assume that
K = O(2)U1 . . . O(2)Uk
(4.22)
where the matrices Ui are positive denite and satisfy det Ui = > 0 for
i = 1, . . . , k. Furthermore we suppose that O(2)Ui = O(2)Uj for i = j. As a
rst step we formulate the analogue of condition (Cb ) for bulk materials for
the case of O(2) invariant sets.
Denition 4.3.1. Assume that K is given by (4.22) and that F M22 .
b ) if one of the following criteria is
Then F is said to satisfy condition (C
satised:
i) | det F | = and (Cb ) holds for F with K = SO(2)U1 . . .SO(2)Uk where
F = F if det F = and F = diag(1, 1)F if det F = ;
ii) there exists an {1, . . . , k} and an e S1 such that
|F e| = |U e| > max |Uj e|;
j=
iii) may relabel the matrices such that there exists an {1, . . . , k}, 2,
and an e S1 such that
|F e| = |U1 e| = . . . = |U e| > max |Uj e|.
j+1
max
j{1,...,k}, j=
|Uj v|,
and
U e, U e = F e, F e .
Remark 4.3.2. The three cases are not exclusive, for example F = Ui satises
the assumptions in i), ii), and iii).
As in the case of bulk materials, our analysis reveals that uniqueness and
stability of polyconvex measures is closely related to simple laminates. We
b ).
show that Mpc (K; F ) is a simple laminate if satises condition (C
We represent this simple laminate by
= Q U + (1 )Q U ,
Q U Q U = a b
104
|(X) X| = dist(X, K)
|(X) X| = dist X, {Q U , Q U }
M
1 d(A),
= + + ,
% =
,
M
1 d(A).
N = supp \ M.
dist(A, K) + dist2 (A, K) d(A),
E() =
supp
and we let
b ),
0 if condition i) or ii) holds in (C
b ).
1 if condition iii) holds in (C
c E() + E 1/2 ()
for
105
1 , . . . , k \ , .
b ) with
Moreover, { , } = { , } if assumption i) holds in condition (C
|R(A) I|2 d(A) c E() + E 1/2 () .
supp
j |F w|2 |Uj w|2 +
|(A)w F w|2 d(A) cE().
(4.23)
supp
j=1
The second estimate relies on the fact that the determinant is a nullLagrangian and that therefore
k
j ( det Uj ) det F =
j=1
det (A) det(A) d(A).
supp
' '
' det(A) det (A)' ' det A (A) ' + ' cof((A)) : (A (A))'
c |A (A)|2 + |A (A)| ,
that
k
'
'
'
'
j ( det Uj ) det F ' cE().
'
(4.24)
j=1
The third estimate is in the same spirit as the two foregoing ones, but not
b ). Then
based on a null-Lagrangian. Assume that iii) holds in condition (C
k
'
'
'
'
j Uj e, Uj e F e, F e '
'
j=1
'
'
'
'
|(A)e, (A)e F e, Ae d(A)'
='
supp
'
' '
'
'((A) F )e, (A)e ' + 'F e, (A (A))e 'd(A)
supp
c
supp
1/2
|((A) F )e|2 d(A)
+c
|A (A)|d(A).
supp
106
''
'
j Uj e, Uj e F e, F e ' c E() + E 1/2 () .
'
j=1
b ).
We now distinguish three cases corresponding to the three conditions in (C
Case 1: Condition i) holds in (Cb ). We obtain from (4.23) that j E()
for j {, } and from (4.24) and the arguments in Section 4.1, see in
particular the proof of Theorem 4.1.9, that j cE() if det F = . This
proves the assertion.
b ). In this case we conclude from (4.23)
Case 2: Condition ii) holds in (C
that j E() for j = .
b ). We rst derive some algebraic inforCase 3: Condition iii) holds in (C
mation about the matrices U1 , . . . , U (here has been dened in the state b ); we relabel the matrices again, if necessary). Proposiment of condition (C
tion 2.2.4 ensures the existence of rotations Qj SO(2) and scalars j R,
j = 2, . . . , such that
Qj Uj U1 = j U1 e e ,
for j = + 1, . . . , k.
'
'
j 'Uj e, Uj e F e, F e '
j=2
'
''
'
j Uj e, Uj e F e, F e '
='
j=2
k
'
''
'
'
j Uj e, Uj e F e, F e ' + cE()
j=1
c E() + E 1/2 () .
It remains to prove the estimate for the excess rotations R. This is analogous
to the proof of Proposition 4.1.12. By assumption,
F b = Q U b = Q U b = (A)b
and thus by (4.23)
for A M
107
O(2)U
We deduce that Ae = F e for almost all A supp . There are exactly two
matrices Q O(2) with Q U e = F e and consequently
= Q+ U + (1 )Q U .
The minors relation det F = 2 1 uniquely determines and hence is
unique.
b ). This is analogous to Case 2 since by
Case 3: Condition iii) holds in (C
Proposition 4.3.3 the measure is supported on O(2)U .
We now turn to the converse implication that uniqueness of implies the
b ) for F = , id. By the splitting method, cannot
validity of condition (C
be an unconstrained point. We may thus assume that F is a constrained
point. For | det F | = the argument is identical to one in the proof of
Theorem 4.2.1 for bulk materials. Suppose now that | det F | < , and that
there exists an {1, . . . , k}, 2, and an e S1 such that
|F e| = |U1 e| = . . . = |U e| > max |Uj e|.
j+1
108
Ui e, Ui e = F e, F e .
and
j=i
(4.25)
F e, F e = U1 e, U1 e + F |U1 e|2 .
Q
1 , Q O(2) such that Q1 U1 e = F e and Q U1 e = F e. Moreover, for all
2
1 , [ 0, 1 ] we nd vectors a, b, c R with
Q+
1 U1 Q1 U1 = a e ,
Q+
U Q U = b e ,
and
V1 V = c e ,
where
!
Vj =
+
j
+
j +
Q+
j Uj
j
+
j +
"
Q
j Uj
j = 1, .
Consequently,
= +
1 Q+ U1 + 1 Q U1 + Q+ U + Q U
1
Mpc (F ) = = +
1 Q+ U1 + 1 Q U1 + Q+ U + Q U :
1
1 , [ 0, 1 ], 1 + 1 + + = 1,
+
(+
1 + ) (1 + ) = det F,
(+
1 + 1 )U1 e, U1 e + ( + )U e, U e = F e, F e
109
Xe , F e = F e , F e,
det X = det F,
and consequently
Xe , (F e) = Xe , (Xe) = det X = det F = F e , (F e) .
We obtain that Xe = F e and hence X = F . The assertion follows now if
we can solve the linear system
1+
det F
1 1
F
1 =
1 1 1 1
1
where we used the notation x = Ux e, Ux e for x {1, , F }. The augmented matrix of this system is row equivalent to
1 0 0 1 1 1 2
0 1 0 1
1
0 0 1 1
2
with
1 =
F 1
(0, 1),
1
2 =
det F
1
1
(0, 1),
2
1 1 2
1
+s
s
2
0
1
1
1 .
1
The solutions
1 , satisfy the constraints 1 , [ 0, 1 ] for
110
(4.27)
F = Q%
(F%) with Q SO(3), F% SO(2)U1 . . . SO(2)Uk
and
% : M22 M32 dened by
F11 F12
F11 F12
%) = F F .
%
(
F
F% =
21 22
F21 F22
0 0
The results in this section show that as is the case of the two-dimensional
theories in Sections 4.2 and 4.3 uniqueness and stability are equivalent for
thin lms. The main dierence is the at rst sight surprising result that
the microstructures underlying globally ane deformations F K qc are not
unique unless F is area preserving. This is a consequence of the extraordinarily rich folding patterns for thin lms in three dimensions and can be nicely
illustrated by the following example.
Let U1 = diag(, ) and F =
%(diag(, t)) with t (1, 1). We dene
(0, 1) by 2 1 = t and (0, ) by cos = t. Then
F =
0
0
0
0
0
1
1
+ (1 ) 0 = 2 0 cos + 2 0 cos
,
0
0 0
0 sin
0 sin
0
0
0 sin
0 sin
The rst construction is a two-dimensional one, but the second construction
is the limit of genuinely three-dimensional folding patterns. This demonstrates that the behavior of thin lms is qualitatively dierent from the twodimensional setting in which
111
O(2, 3)U1 qc
0 t
determines a unique microstructure.
We begin our analysis with the denition of condition (Ctf ) for thin lms
which replaces condition (Cb ) for bulk materials.
Denition 4.4.1. Assume that K is given by (4.27). Then F K pc (K) is
said to satisfy condition (Ctf ) if det(F T F ) = 2 and if there exists an e S1
and , {1, . . . , k} such that
|F e| = |U e| = |U e| >
max
j{1,...,k}\{,}
|Uj e|.
E() =
dist(A, K) + dist2 (A, K) d(A).
supp
Proposition 4.4.2. Suppose that Mpc (M32 ) and that F = , id satises condition (Ctf ). Then
cE()
and
for {1, . . . , k} \ {, },
|R(A) I|2 d(A) c E() + E 1/2 () .
supp
|F w|2 |U w|2 +
=1
supp
112
and the bounds on the volume fractions follow from (Ctf ). If Mpc (K; F ),
then E() = 0 and is supported on O(2, 3)U O(2, 3)U . We rst show
that
(4.28)
% SO(2)U SO(2)U .
supp
Let adjij (A) denote the determinant of the 2 2 matrix formed by the ith
and the jth row in A M32 . Then
= adj12 (F )
| adj12 (A)|d(A) ,
supp
and thus adj12 (A) = for almost all A supp . A short calculation shows
that
det(F T F ) = adj212 (F ) + adj223 (F ) + adj213 (F )
adj212 (A) + adj223 (A) + adj213 (A) d(A) 2 ,
2 = det(F T F )
supp
and consequently adj13 (A) = adj23 (A) = 0 for almost all A supp . We
deduce that for almost all A supp the third row of A has to be parallel
to the rst and the second row and therefore the third row must be equal
to the zero vector. This establishes (4.28). The analysis has therefore been
reduced to the case of two-dimensional bulk materials and we conclude by
Theorem 4.1.1 that the polyconvex measures are unique,
= (Q U ) + (1 )(Q U ) ,
Q U Q U = a b
(4.29)
% F%b = |F%b |%
% 1) SO(3).
be the rotation with Q
e1 , and dene Q = diag(Q,
I| where
As in the proof of Proposition 4.1.12, it suces to estimate |R
T
%
R = QRQ . By denition, F b = Q U b = Q U b and thus we deduce
that R(A)F b = (A)b on M and that
|(R(A)
I)e1 |2 d(A)
|F%b |2
M
|(QR(A)QT I)QF b |2 d(A)
=
M
(4.30)
2
=
|(R(A) I)F b | d(A)
M
=
|((A) F )b |2 d(A) E().
M
113
I)e2 .
The crucial estimate that requires some care is the estimate for (R
We suppress the dependence on A in the following calculations. Since Q is a
block diagonal matrix,
21 R
22 R
12 = cof 33 (R)
11 R
R
R11 R12
%
%T
Q
= det Q
R21 R22
% 2 R11 R22 R21 R12 ,
= (det Q)
and
R11 R12
%
Q
adj12 (A) = det
U
R21 R22
= R11 R22 R12 R21 on M.
% = 1 that
Hence we infer from det Q
21 R
11 R
22 R
12 = 1 adj12 (A)
R
on M,
and hence
=
adj12 F adj12 (A) d(A)
adj12 F adj12 (A) d(A)
supp
N
adj12 A adj12 (A) d(A)
| adj12 F adj12 (A)|d(A)
=
supp
N
| adj12 A adj12 (A)|d(A) + c
.
supp
{,}
114
det A det B = det (A B) + B det B
= det(A B) + cof(A B) : B,
and we therefore conclude that
| adj12 F adj12 (A)|d(A)
M
cE().
In view of
11 R
12 R
22 ) + R
22 (1 R
11 ) + R
12 R
22 R
21 ) = (1 R
21 ,
1 (R
we infer
22 = R
22 (1 R
11 ) R
12 R
11 R
12 R
21 + 1 (R
22 R
21 )
1R
11 ) R
12 R
21 + 1 adj12 (F ) adj12 (A) .
22 (1 R
= R
1 2
2 d(A).
12 + R
c E() + E 1/2 () +
R
21
4
M
2 S2 , and therefore
On the other hand, Re
2
2
2
22 |d(A)
(R12 + R32 )d(A) =
(1 R22 )d(A) 2
|1 R
M
M
M
1 2
2 d(A).
12 + 2R
c E() + E 1/2 () +
R
21
M 2
2 on the right hand side can now be absorbed on the
The term involving R
12
left hand side and we infer in view of (4.30)
1 2
2 d(A) c E() + E 1/2 () .
12 + R
R
32
2
M
This in turn implies, again in view of (4.33) that
22 1|2 d(A) 2
|R
and
115
22 1|d(A) c E() + E 1/2 () ,
|R
I)e2 |2 d(A) c E(u) + E 1/2 (u) .
|(R
Finally,
2
1 Re
2 e1 e2 |2 d(A)
|(R I)e3 | d(A) =
|Re
M
M
1 e1 ) Re
2 + e1 (Re
2 e2 )|2 d(A)
=
|(Re
M
1 e1 |2 + |Re
2 e2 |2 d(A)
c
|Re
M
c E() + E 1/2 () .
This concludes the proof of the estimate for the excess rotation.
is unique.
% = SO(2)U SO(2)U ,
K
with
is unique
is stable.
116
on bulk materials since the adaption of the techniques to the case of thin
lms is straight forward.
Suppose that is a polygonal domain and that we want to minimize
1
J (u) =
W (Du)dx
(4.34)
||
in the class of admissible functions
AF = u W 1,max{2,n1} (; Rn ) : u(x) = F x on .
We assume furthermore that the zero set K of W has a multi-well structure (4.3) and that W satises the coercivity condition
W (X) dist(X, K) + distmax{2,n1} (X, K) , > 0.
(4.35)
The simplest nite element method for the numerical solution of the minimization problem is obtained by choosing a triangulation Th of and by minimizing J in AF Sh where Sh is the space of all continuous functions that
are piecewise ane on the elements in Th . The coercivity assumption (4.35)
implies the existence of a nite element minimizer uh Sh and the goal of
the numerical analysis is to describe the qualitative behavior of uh . In order to obtain rigorous estimates, one needs uniqueness of the minimizer and
this leads naturally to the situation in Section 4.1. We thus assume that F
satises condition (Cb ). Consequently, the inmum of J is not attained in
AF , but the underlying microstructure is unique by Theorem 4.1.11. The
question is therefore whether the oscillations in the nite element minimizer
Duh have the statistics recorded in . In order to compare Duh and we
follow Collins, Kinderlehrer, and Luskin and associate with Duh the gradient
Young measure
h = Duh (x) x
and pass to its average Av h which is dened via duality by
1
Duh (x) , dx
Av h , = Av Duh () , =
||
1
(Duh (x))dx for all C0 (Mnn ).
=
||
It turns out that the stability results in Section 4.1 together with some standard interpolation results lead to explicit error estimates for uh , see Corollary 4.5.2 below. We begin with a more general statement about functions
u with small energy that does not require that u be contained in a nite
element space. We dene for = , the sets
= x : (Du(x)) SO(3)U ,
,
= x : (Du(x)) SO(3)U , |Du(x) Q U | < .
117
Theorem 4.5.1. Let > 0 and suppose that F satises condition (Cb ).
Assume that u AF with J (u) . Then there exists a constant c that
depends only on F , n, and such that the following assertions hold:
i) (estimates for directional derivatives tangential to the layering direction):
for all w Sn1 with w, b,
'
'
1
'(Du(x) F )w'2 dx c,
||
ii) (estimates for the deformation)
1
|u(x) F x|dx c,
||
iii) (total distance form the wells)
1
|Du (A)|2 dx c,
||
iv) (estimates for volume fractions)
' | |
' c
' ,
'
' 1/2 ,
'
||
' | |
'
'
'
' c 1/2 ,
'
||
''
'
f (Du) [ f (Q U ) + (1 )f (Q U ) ] dx' cf 1, 1/2 .
'
||
Proof. Let = Av Du(x) be the homogeneous gradient Young measure
associated with . Then
dist(A, K) + distmax{2,n1} (A, K) d(A)
E() =
supp
1
(4.36)
dist(Du, K) + distmax{2,n1} (Du, K) dx
=
||
1 1
W (Du)dx .
||
118
d Av Duh (x) ch1/4 .
Proof. It is easy to see that there exists a nite element function uh with
1
W (Duh )dx ch1/2 .
||
119
The informal idea of this construction is the following. Consider for > 0
the function
u (x) = Q U x (x, b)a.
Here (x) = (x/) and : R R is the continuous function with (0) = 0
and
0 if s (0, )
(z + s) =
for all z Z.
1 if s (, 1)
Then Du {Q U , Q U } and u is ane on layers separated by ane
hyperplanes with normal b. The goal is now to choose for h > 0 xed in
such a way that the nodal interpolation of u onto Th has minimal energy.
This requires to balance the following two contributions to the energy.
(a) For each interface across which Du changes from Q U to Q U one
needs a neighborhood of diameter O(h) which contributes a term of order
O(h/) to the energy.
(b) The function u satises |u (x) F x| = O() and thus a boundary
layer along of width O() is required to interpolate u and the correct
boundary values F x.
This shows that one can construct a function u,h with energy
1
W (Du,h ) = O(h/) + O().
||
> 0.
1
dist(Du, K) + dist2 (Du, K) dx
E() =
||
1
1/2
1
W (Du)dx
+
W (Du)dx
||
||
c h1/2 + h1/4 .
120
1
|uh (x) F x|2 dx c h1/2 + h1/4 ,
||
'
'
1
'(Duh F )w'2 dx c h1/2 + h1/4 ,
||
U2 = diag(1 , 2 , 1 ),
U3 = diag(1 , 1 , 2 ).
(4.37)
The polyconvex hull of two of the wells, say SO(3)U1 SO(3)U2 , is equal to
the second lamination convex hull and a polyconvex measure underlying a
global ane deformation F is unique if and only if F is a rst order laminate
(or a matrix in K). Iqbals results show that even the mass of on the two
wells is not uniquely determined from its center of mass.
Suppose now that Mpc (SO(3)U1 SO(3)U2 ) (in particular, could be
a second order laminate). It follows from the example following Theorem 2.5.1
that F = , id satises
| cof F e3 | = | cof U1 e3 | = | cof U2 e3 | > | cof U3 e3 |.
(4.38)
121
E() =
dist(A, K) + dist2 (A, K) d(A).
supp
Theorem 4.6.1. Suppose that F satises (4.38) and that Mpc (M33 ).
Then
|Ae3 F e3 |2 d(A) cE().
supp
|F e3 |2 |U e3 |2 +
|(A)e3 F e3 |2 d(A) cE()
supp
=1
and
3
| cof F e3 |2 | cof U e3 |2 cE().
=1
The second inequality implies with (4.38) that 3 cE(). The rst estimate
yields in view of this bound and |F e3 | = |U1 e3 | = |U2 e2 | that
|((A) F )e3 |2 d(A) cE().
(4.39)
supp
The assertion follows now by the triangle inequality from the two foregoing
estimates since |(A) A| = dist(A, K).
As a corollary, we obtain estimates similar to those in Section 4.1 for rst
order laminates.
Corollary 4.6.2. Let K be given by (4.37) and suppose that F Mpc (K)
satises (4.38). Assume that u AF with J (u) with > 0 where J has
been dened in (4.34). Then there exists a constant c that depends only on F
and such that the following assertions hold:
i) (estimates for directional derivatives tangential to the layering direction)
'
'
1
'(Du(x) F )e3 '2 dx c,
||
ii) (estimates for the deformation)
1
|u(x) F x|dx c,
||
iii) (weak convergence, averages): the following estimate holds for all
with Lipschitz boundary,
'
'
'
'
' (Du F )dx' c(, ) 1/2 .
122
Proof. The rst two assertions follow from Theorem 4.6.1 and Poincares
inequality. The proof of last result is identical to the proof of v) in Theorem 4.5.1.
s = sL + (1 )sU .
The same behavior is expected for nite element minimizers, and the authors
note: ... we shall show that uh (x) and nonlinear functions of uh (x) converge
weakly. We show below that the topology of this convergence is metrizable
since it is convergence in the weak- topology of a suitable Banach space,
and we give an error estimate for this convergence in an appropriate metric.
([CKL91], page 322). Indeed, the fundamental estimate in their paper is
d(Av uh () , ) ch1/4 ,
(4.40)
where d denotes a metric that metrizes the weak- convergence. The crucial
estimate in the proof of this convergence result states that the distribution
123
of the values of uh is determined by the unique Young measure. The values
of uh lie in a neighborhood of sL and sU on a set of measure close to and
1 , respectively. Surprisingly, estimates in the metric d were not further
pursued in the literature. Our notion of stability in Denition 4.1.4 is based
on exactly the same ideas.
The analysis of higher dimensional scalar problems started in [C91, CC92],
where properties of minimizers in nite element spaces of the functional
E(v) =
(Dv(x)) + v(x) a, x dx
k
i wi .
i=1
k
i wi for a.e. x .
i=1
Thus all minimizing sequences generate the same Young measure and consequently the distribution of the gradients of functions with small energy should
be determined from the Young measure. This intuitive statement is made precise by what the authors in [C91, CC92] call the probabilistic analysis of the
oscillations.
Dene the projection : Rn K such that () = wi where i is the
smallest index such that | wi | = minj=1,...,k | wj |. Suppose that and
satisfy the growth conditions
() 1 | ()|p
and
(t) 2 |t|q
124
u W 1,2 ()
(4.42)
implies that
'
'
'
'
' (Dv a)dx' c E 1/4 (v) + E 1/8 (v)
(4.43)
(see Lemma 3 in [CC92]). These estimates allow one to prove estimates for
the distribution of the values of Dv. For > 0 with < 12 mini=j |wi wj |
we dene
i,
(v) = x : Dv(x) B(wi , ) ,
where B(wi , ) is the ball with center wi and radius . Then we have for all
v W 1,2 () with u(x) = a, x on 0
'
'
'
'
for i = 1, . . . , k.
(4.44)
'|i,
(v)| i ||' c E 1/2 (v) + E 1/16 (v)
One of the many consequences of this precise control of the volume fractions
is the error estimate in Theorem 6 in [CC92]. Let f : Rn R be Lipschitz
continuous in its second argument, i.e.
|f (x, ) f (x, )| L| |
for all , Rn .
Then
k
'
'
'
'
f (x, Dv(x))
i f (x, wi ) dx' c(L) E 1/2 (v) + E 1/16 (v) ,
'
i=1
125
scalar situation and the estimates for the volume fractions can be obtained
as in the scalar case.
The paper [CCK95] also presents an adaption of the methods used for
point wells to the physically relevant case of energies with potential wells
in the exemplary case of the two-well problem in two dimensions (see also
[Gd94] for results with nonconforming elements on grids with specic, problem adapted orientations). Assume that 0 satises (F ) = (RF ) for all
R SO(2) and that (X) = 0 if and only if X K = SO(2)U1 SO(2)U2
where Q1 U1 and Q2 U2 with Q1 , Q2 SO(2) are rank-one connected. Let
A = Q1 U1 + (1 )Q2 U2 with (0, 1)
(4.45)
and
Q1 U1 Q2 U2 = a n,
a, n R2 ,
Due to the choice of the boundary data, there does not exist a minimizer
for the energy. However, minimizing sequences show exactly the expected
behavior: the estimates (4.41) and (4.43) follow as in the case of point wells
(with slightly modied exponents) and only the proof for the estimates (4.44)
of the volume fractions requires some modications. Dene
(F ) = QUi where QUi satises dist(F, K) = |QUi F |,
and
126
center of mass of a simple laminate (4.45) are imposed. This paper improves
the foregoing estimates in several aspects. Dene : M33 {Q1 U1 , Q2 U2 }
by
|(X) X| = dist(X, SO(3)U1 SO(3)U2 ),
and let
i,
(v) = x : (Dv(x)) = Qi Ui , |Dv(x) (Dv(x))| .
The estimate
|(Dv A)w|2 c E(v) + E 1/2 (v) ,
for all w R3 , w, n = 0,
|v(x) F x|2 dx c E(v) + E 1/2 (v) ,
'
'
'
'
' (Dv A)dx' c E 1/2 (v) + E 1/8 (v) .
'|1,
| ||' c E 1/2 (v) + E 1/8 (v) ,
'
'
'|2,
| (1 )||' c E 1/2 (v) + E 1/8 (v)
follow from the sharper inequality
|Dv (Dv)|2 dx c E(v) + E 1/2 (v) ,
Q SO(3), a, n R3 ,
(5.1)
for which the general solutions have been given in Proposition A.2.1. Since
all the transformations considered here lead to symmetry related wells, that
is,
Ui = RUj R,
(5.2)
we may apply the result in Proposition A.2.4 which provides explicit formulae
for the two solutions of (5.1). We refer to the solutions as type-I and type-II
twinning systems, respectively. In the special case that there are two distinct
rotations that satisfy (5.2) we call the twinning systems a compound twinning
system. We summarize the information for the various transformations in
Tables 5.1-5.5, in which we omit occasionally lengthy expressions that are
Qi Ui Uj = a n, [ 0, 1 ],
128
and
w, n = 0
or
| cof Ui w|2 = | cof Uj w|2 > max | cof Uk w|2 ,
k=i,j
and
w, Uj1 a = 0.
Then automatically |F w|2 = |Ui w|2 and | cof F w|2 = | cof Ui w|2 , respectively, and the assumptions ii) in condition (Cb ) are satised. The rst equality is immediate and the second follows from formula (C.2) for the cofactor
since det Ui = det Uj implies Uj1 a, n = 0. We frequently take advantage
of the fact that by Proposition A.2.4 the vectors n and Uj1 a are parallel if
the wells are symmetry related. The examples below illustrate that a proof
of uniqueness for type-I twins using a vector w as a test vector on F typically also proves uniqueness for the corresponding type-II twin by testing the
cofactor matrices by the same vector w.
Carrying out this program in the subsequent sections, we rederive some
of Luskins results as a simple application of our general approach. In particular we nd that for cubic to orthorhombic and tetragonal to orthorhombic
transformations simple laminates are uniquely determined by their center of
mass F unless the lattice parameters describing the energy wells satisfy a
certain algebraic condition. The new results are explicit characterizations of
the sets Mpc (K; F ) in these special cases, and this answers a question raised
by James.
2 0 0
1 0 0
1 0 0
,
U
,
U
=
=
U1 =
0 1 0 2 0 2 0 3 0 1 0
0 0 1
0 0 1
0 0 2
(5.3)
Let
K = SO(3)U1 SO(3)U2 SO(3)U3
and suppose that Mpc (K) is a simple laminate with F = , id. Then
is unique and Mpc (K; F ) = {}.
129
Table 5.1. Rank-one connections (twins) in the tetragonal variants (we abbreviate
in this table type by tp and compound by cp).
(ij)
tp
Uj1 a
(12)
R1+2
cp
1 (1, 1, 0)
2
2
2
2(2
1
)
(1 , 2 , 0)
2 + 2
2
1
2
2
2(2
1
)
(1, 1, 0)
2 + 2
2
1
(12)
R12
cp
1 (1, 1, 0)
2
2
2
2(2
1
)
(1 , 2 , 0)
2 + 2
2
1
2
2
2(2
1
)
(1, 1, 0)
2 + 2
2
1
1
for w = (1, 1, 0),
2
1
for w = (1, 1, 0).
2
Assume now that 2 < 1 . In this case we have for both twinning systems
that
|F w|2 = |U1 w|2 = |U2 w|2 > |U3 w|2
130
(5.4)
Then
F (SO(3)U1 SO(3)U2 )(1)
if
2 > 1 ,
and
F (SO(3)U1 SO(3)U2 )(2) = (SO(3)U1 SO(3)U2 )pc
if
2 < 1 .
Remark 5.1.3. Assumption (5.4) for 2 < 1 can be interpreted as an assumption for cof F in the case 2 > 1 . Thus there is a surprising dierence
in the implications of assumption on F and cof F for matrices F K pc .
Proof. In view of Proposition 4.1.9, assumption (5.4) implies that any
polyconvex measure with barycenter F has to be supported on the two wells
SO(3)U1 SO(3)U2 . Suppose rst that 2 > 1 . In order to conclude from
Step 2 in the proof of Proposition 4.1.8 that F is the center of mass of a
simple laminate, we have to prove the existence of vectors v, e R3 such
that v, e = 0, v is a common eigenvector of U1 and U2 , and
|F e|2 = |U1 e|2 = |U2 e|2 .
In view of (5.3) we choose v = (0, 0, 1) and deduce from Theorem 2.5.1 that
F T F v = 12 v. Moreover, by assumption the vector w = (w1 , w2 , w3 ) satises
|U1 w|2 = |U2 w|2
and
131
Remark 5.1.4. Suppose that 2 > 1 . The proof of Theorem 5.1.2 shows in
fact the following implication. Assume that F is any matrix in the polyconvex
hull of the three martensitic wells (5.3). Suppose that there exists a w S2
with |w1 | |w2 | > |w3 | and
|F w|2 = max |U w|2 .
U K
w S2
U K
|F v|2 + c(v, w)| cof F w|2 max |U v|2 + c(v, w)| cof U w|2
(5.5)
U K
for all v, w S2 .
The foregoing arguments imply in particular that one needs to understand
matrices that realize equality in conditions involving
pairs of vectors (v,
w)
with |Ui v|2 + c(v, w)| cof Ui w|2 = maxU K |U v|2 + c(v, w)| cof U w|2 for
i = 1, 2, 3.
The following proposition shows that it is also dicult to construct explicitly laminates that are supported on all three wells. In fact, any laminate
supported on three wells must contain at least four Dirac masses.
Proposition 5.1.5. Suppose that K = SO(3)U1 SO(3)U2 SO(3)U3 , where
the matrices Ui are given by (5.3) with 2 > 1 . Suppose that Mqc (K)
is supported on all three wells, i.e., that has positive mass on SO(3)Ui for
i = 1, 2, 3. Then the support of must contain at least four points.
Proof. Assume that is supported on three points, i.e., that is given
by
= 1 X 1 + 2 X 2 + 3 X 3 ,
Xi SO(3)Ui , i > 0, 1 + 2 + 3 = 1,
132
rank
1
2
X1 +
X2 X3 = 1.
1 3
1 3
2
1
X1 +
X2 X3 = 1.
1 3
1 3
(5.6)
3
1 2
cof(X2 X1 )
1 3
2
1
3 (1 3 ) cof
X1 +
X2 X3
1 3
1 3
i cof Xi
i=1
2
1
X1 +
X2 X3 = 0.
1 3
1 3
Step 2: We have
= sup |Xe|
< 2
max (X)
eS2
where
=
X
1
2
X1 +
X2 .
1 3
1 3
1
.
1 3
In particular, |U1
e has to be pare| = 2 and |U2
e| = 2 which implies that
allel to e1 and e2 , respectively. This is only possible if
e = 0, a contradiction.
and SO(3)U3 are incompatible.
Step 3: The wells SO(3)X
Without loss of generality we may assume that X2 = U2 . Since there are
exactly two rank-one connections between the wells SO(3)U1 and SO(3)U2 ,
133
22 12
22 12
21 2
21 2
0
0
22 2+12 2 22 +12
222 +122 22 +12
2 1 21 2
21 2
1
Q2 = 22
Q1 = 2 +2 2 +2 0 ,
0 .
2 1 2 1
2 +12 22 +12
0
0 1
0
0
1
We may suppose that X1 = Q1 U1 , and thus
2 2 )
2 2 )
(
1 (
2
1
2
1
0
1 + 1 2 +
2
2
2
2 +1
2
1
2 2 )
2 2 )
2 (
= diag(X,
% 1 ) =
2
1
2
1
X
.
1 (
0
2
22 +12
22 +12
0
0
1
(5.7)
% 1 ),
Z = diag(Z,
22
% M22
Z
with
% = 1 Y% T Y% = 1 X
% T X,
%
Z
12
12
%=
det Z
22
.
12
By Step 2,
2
% < 2 for
max (Z)
{0, 1}.
12
This implies
mid
2
22
% = 2
>
=
det
Z
max
mid
12
12
{0, 1}.
and hence the middle eigenvalue of Z is strictly bigger than one for
The wells are therefore incompatible.
This contradicts (5.6) and the assertion of the proposition follows.
134
type
Uj1 a
(12)
R2
compound
(0, 1, 0)
2(2+)
(1, 0, 1)
a2 +2+3 2
(12)
R13
compound
1 (1, 0, 1)
2
2(2+)
(0, 1, 0)
a2 +2 2
U2 = ,
U1 = ,
U3 = ,
U4 = .
In this situation, we have the following result.
Corollary 5.2.1. Assume that > , > 0 and that the set K is given by
K = SO(3)U1 . . .SO(3)U4 . Suppose that Mpc (K) is a simple laminate
and let F = , id. Then Mpc (K; F ) = {}.
Proof. By symmetry and invariance under the point group it suces to
prove the statement of the corollary for i = 1 and j = 2. If F is generated
from the compound twinning system with n = e2 (cf. Table 5.2), then
|U1 w|2 = |U2 w|2 = ( + )2 + 2 2 > ( )2 = |U3 w|2 = |U4 w|2
1 (e1
2
e3 ). We conclude as before.
135
Fig. 5.1. The second type of the cubic to orthorhombic phase transformation. The
tetragonal unit cell within the cubic lattice is stretched.
00
0 0
00
U1 = 0 0 , U2 = 0 0 , U3 = 0 0 ,
0 0
0 0
0 0
0 0
0 0
0 0
U4 = 0 0 , U5 = 0 0 , U6 = 0 0 .
00
0 0
00
There seems to be no material known with this symmetry in the martensitic
phase. A second type of cubic to orthorhombic transformations occurs in
materials with a fcc parent phase, see Figure 5.1. It is characterized by two
axes of symmetry along face diagonals of the cubic cell and one along the
edge orthogonal to this face. The six variants are usually described by the
matrices
0
0
0
U1 = 0 , U2 = 0 , U3 = 0 0 , (5.8)
0 0
0 0
0
0
0 0
0 0
U4 = 0 0 , U5 = 0 , U6 = 0
0
0
0
with
=
>=
> 0,
2
2
= > 0.
(5.9)
This transformation is for example found in CuAlNi alloys, the high temperature phase is body centered cubic, the low temperature phase has orthorhombic symmetry.
136
type
Uj1 a
(12)
R1
compound
(1, 0, 0)
4
(, , 0)
2 +2
4
(0, 1, 0)
2 +2
(12)
R2
compound
(0, 1, 0)
4
(, , 0)
2 +2
4
(1, 0, 0)
2 +2
(13)
R23
type-I
(0, 1, 1)
2
(13)
R23
type-II
1 (, , )
2
(0, 1, 1)
2
Theorem 5.3.1. Assume that K = SO(3)U1 . . . SO(3)U6 where the matrices Ui are dened in (5.8). Suppose that Mpc (K) is a simple laminate
supported on K and let F = , id.
1. Suppose the rank-one connection used in the denition of F determines
a compound twin. Then Mpc (K; F ) = {} for all the parameters , ,
and satisfying (5.9), except those such that
2 = 2 + 2 ,
or
2 =
( 2 2 )2
.
2 + 2
If these identities hold, then Mpc (K; F ) consists of a one-parameter family of simple laminates supported on at most four matrices. Moreover, F
has two distinct representations as a simple laminate if and only if = 12 .
2. If F is generated by a type-I twinning system, then Mpc (K; F ) = {}
for all the parameters , , and satisfying (5.9), except those such that
= + .
If this identity holds, then Mpc (K; F ) can be obtained from a three-well
problem in two dimensions. Moreover, F has two distinct representations
as a simple laminate with mass on one well and mass 1 on the other
well in the type-I twinning system if and only if is equal to one of the
two values 1 and 2 dened by
1 =
1
4
3
and
2 =
1
+ 1
3
137
= .
If this identity holds, then Mpc (K; F ) can be obtained from a three-well
problem in two dimensions. Moreover, F has two distinct representations
as a simple laminate if and only if the mass on one of the two wells is
equal to one of the two values 1 and 2 dened in 2.
Remark 5.3.2. It follows from the results in Chapter 2 that the semiconvex
hulls are all equal for the three-well problems. Therefore the characterizations
of the polyconvex hulls in the exceptional cases are also characterizations for
the quasiconvex hulls.
Proof. We divide the proof into two parts. We rst prove the uniqueness
assertions and then the characterizations for the sets Mpc (K; F ) for the
exceptional cases.
In order to prove uniqueness, it suces to consider laminates for which
one of the matrices is in SO(3)U1 . Assume rst that F is a compound twin
with normal n = e1 .
We have
|U1 e3 |2 = |U2 e3 |2 > max |Ui e3 |2 ,
i=3,...,6
2 > 2 + 2 ,
2 < 2 + 2 .
Moreover,
| cof U1 e1 |2 = . . . = | cof U4 e1 |2 > | cof U5 e1 |2 = | cof U6 e1 |2
for ( 2 + 2 ) 2 > ( 2 2 )2 and
| cof U1 e3 |2 = | cof U2 e3 |2 > max | cof Ui e3 |2
i=3,...,6
for ( 2 + 2 ) 2 < ( 2 2 )2 , and we can therefore choose appropriate vectors wi if the assumptions in the theorem hold. The nonuniqueness part is
discussed in detail below.
Suppose now that F is obtained from the type-I twinning system between
SO(3)U1 and SO(3)U3 . Let w = (, , ). Then
|U1 w|2 = |U3 w|2 = |U5 w|2 > |U2 w|2 = |U4 w|2 = |U6 w|2 .
(5.10)
Therefore it only remains to show that U5 cannot be part of the microstructure. We have to prove the existence of a vector v = (t, s, s) such that
|U1 v|2 = |U3 v|2 > |U5 v|2
(since n is parallel to (0, 1, 1) we have automatically that |F v|2 = |U1 v|2 ).
This is equivalent to
138
g(s, t) = s2 2 + (t + s)2 + (s + t)2 t2 2 + 2s2 ( + )2 > 0.
Since g(t, t) = 0 and
s g(t, t) = 2t( 2 2( + )2 ),
this is possible if 2 = ( + )2 , i.e., the hypothesis of the theorem holds.
Similarly, if F is a type-II twin, then we have for w = (, , ) that
| cof U1 w|2 = | cof U3 w|2 = | cof U6 w|2
> | cof U2 w|2 = | cof U4 w|2 = | cof U5 w|2
and we only have to exclude U6 from the microstructure. Let v = (s, t, t).
Then
| cof U1 v|2 = | cof U3 v|2
and we have to determine s, t R such that
g(s, t) = | cof U1 v|2 | cof U6 v|2 > 0.
Since g(t, t) = 0 and
s g(t, t) = 2t( + )2 ( 2 ( )2 )
this is possible if the assumptions in ii) hold. Finally, the remaining cases
follow by symmetry.
We now turn towards the characterizations in the case that the polyconvex
measure is not uniquely determined. We discuss the three dierent cases
separately.
1) We assume rst that 2 = 2 + 2 and that
F = tQU1 + (1 t)U2 = U2 + ta n,
where Q and a are given by Proposition A.2.4 with n = e1 , i.e.
2
(1 4t
2 + 2 ) 0
F = (1 + 4t
.
)
0
2 + 2
0
0
Assume that Mpc (K) satises , id = F . Since
|F e2 |2 = |Ui e2 |2 ,
|F e3 |2 = |Ui e3 |2 ,
i = 1, . . . , 6,
and
| cof F e1 |2 = = | cof U4 e1 |2 > | cof U5 e1 |2 > | cof U6 e1 |2 ,
(5.11)
139
4
i i Ui ,
i P(SO(3)),
i 0,
1 + 2 + 3 + 4 = 1.
i=1
,4
i=1
i Xi Ui and
4
4
'
'
'
'
|F e2 | = '
i Xi Ui e2 '
i |Xi Ui e2 | |F e2 |.
i=1
i=1
0
0
X 1 = X 2 = X3 = X 4 ,
0
0
0
0
and
0
0
X1 0 = X2 0 = X3 0 = X4 0 ,
X1 = X2 = X3 0 = X4 0 .
0
0
Since
0 '2
'
'2 '
'
'
'
'
'X1 ' = 'X1 0 ' = 2 + 2 = 2 ,
0
the matrices Xi are length preserving on an orthogonal frame and have singular values bounded by one, since they are a convex combination of matrices
in SO(3). This implies by Lemma 5.3.3 below that Xi O(3). On the other
hand, Xi = i , id with i P(SO(3)) and thus Xi = Qi SO(3). The
proper rotation mapping one orthogonal frame {v 1 , v 2 , v 3 } onto another orthogonal frame {w1 , w2 , w3 } is given by Q = w1 v 1 + w2 v 2 + w3 v 3 ,
and we obtain
140
0
1 24
2
+
X2T X1 U1 = 1 + 24
,
0
2
+
0
0
2
0
1 22
+ 2
0
X2T X3 U3 = 1 + 22
,
2
+
2
2 2
0
+
0
1 22
2
+
0.
X2T X4 U4 = 1 + 22
+ 2
2
0
2
2
+
We conclude
F 11 0
X2T F = F 21 0
F 31 0
(5.12)
with
4 2
2 2
+ 2 + (3 + 4 ) 1 2
,
2
+
+ 2
4 2
2 2
,
= 1 1 + 2
+
(
+
1
+
2
3
4
+ 2
2 + 2
2
= (3 4 )
.
2 + 2
F 11 = 1 1
F 21
F 31
1 + 3 = t,
1 + 2 + 3 + 4 = 1,
i 0.
2 (s) = 1 t s,
3 (s) = s,
4 (s) = s
141
1
2
ts
1ts
X1 U1 +
U2 =
X1 U1 +
U2 ,
1 23
1 23
1 2s
1 2s
1
G2 = (X3 U3 + X4 U4 ),
2
G1 =
This proves the assertion for the case that n = e1 in the denition of the
compound twins. The other case with n = e2 follows by symmetry. Assume
now that 2 = ( 2 2 )2 /( 2 + 2 ), i.e. 2 < 2 + 2 . If F is generated from
the compound twin system with n = e1 , then |Ui e2 |2 = |F e2 |2 > |U3 e2 |2 =
|U4 e2 |2 for i = 1, 2, 5, 6, and thus the polyconvex measure must be supported
on SO(3)U1 SO(3)U2 SO(3)U5 SO(3)U6 . Since | cof Ui e1 |2 =| cof F e1 |2
and | cof Ui e3 |2 =| cof F e3 |2 for i = 1, 2, 5, 6, we conclude as before. The last
case, the compound twin with n = e2 , follows again by symmetry.
2) Assume now that = + . We consider the case that F is obtained
from the type-I twinning system between SO(3)U1 and SO(3)U3 , i.e.
0
1
F = U3 + ta n, n = 1
2 1
and a is given by Proposition A.2.4. It follows from (5.10) that every measure
Mpc (K) with , id is supported on SO(3)U1 SO(3)U3 SO(3)U5 . Since
1 (1, 1, 1) is a common eigenvector of U1 , U3 and U5 under the assumption
3
that = + we are in a situation in which Theorem 2.5.1 applies. In order
to simplify the calculations, we choose a new basis B of R3 by
1
1
1
1
1
1
B = 1 , 1 , 1 ,
3
6 2
2
1
0
i of Ui in this basis as
and obtain the representations U
%1 ),
1 = diag( + , U
U
with
%1 =
U
3 = diag( + , U
%3 ),
U
%3 =
U
2
23
3
2
+ 2
5 = diag( + , U
%5 )
U
%5 =
U
3
2
3
2
+ 2
142
1
4
.
s = t =
3
1
1
1
1
1
1
B = 1, 1, 1 .
3
6 2
2 0
1
The transformed matrices are given by
%1 ),
1 = diag( , U
U
with
%1 =
U
3 = diag( , U
%3 ),
U
%3 =
U
2
23
3
2
2
6 = diag( , U
%6 )
U
%6 =
U
3
2
3
2
2
The analysis has thus been reduced to the three-well problem in Section 2.2,
%j J T are identical to the matrices considered there. The
since the matrices J U
proof of the theorem is now complete.
The proof of the foregoing theorem used the following fact.
Lemma 5.3.3. Assume that A Mnn satises |Av i | = 1 on an orthonormal basis {v 1 , . . . , v n } and that the singular values of A are bounded by one.
Then A O(n).
Proof. We may assume that A is symmetric. Let {i , ei } be an eigensystem
,
, (j)
(j)
for A, A = i ei ei , and dene i by vj = i ei . Then
143
for all j,
i=1
(j)
since |i | 1. If |i | < 1, then i = 0 for all j and hence v j = 0, contradicting the assumption that |Av j | = 1. Hence i {1}, and we conclude
that AT A = I with det A {1}.
1 0 4
1 0 4
U1 = 0 2 0 , U2 = 0 2 0 ,
4 0 3
4 0 3
2 0 0
2 0 0
U3 = 0 1 4 ,
U4 = 0 1 4 .
0 4 3
0 4 3
The matrices Ui are positive denite for 1 , 2 , 3 > 0 and 1 3 42 > 0, and
we may assume that 4 > 0. We summarize the relevant rank-one connections
in Table 5.4.
The matrices for the type-II transformation are given by
1 3 4
1 3 4
U2 = 3 1 4 ,
U1 = 3 1 4 ,
4 4 2
4 4 2
1 3 4
1 3 4
U3 = 3 1 4 ,
U4 = 3 1 4 ,
4 4 2
4 4 2
and we assume that
1 , 2 > 0,
12 > 32 ,
These conditions imply that the matrices Ui are positive denite. The relevant
rank-one connections are summarized in Table 5.5. Finally, the transformation of type-III is described by the following matrices:
144
Table 5.4. Rank-one connections for the type-I tetragonal to monoclinic transformation.
(ij)
type
Uj1 a parallel to
(12)
R1
compound
(1, 0, 0)
(0, 0, 1)
(12)
R3
compound
(0, 0, 1)
(1, 0, 0)
(13)
R12
type-I
1 (1, 1, 0)
2
(13)
R12
type-II
(1, 1, 0)
Table 5.5. Rank-one connections for the type-II tetragonal to monoclinic transformation.
(ij)
type
Uj1 a parallel to
(12)
R2
type-I
(0, 1, 0)
(12)
R2
type-II
(0, 1, 0)
(13)
R3
compound
(0, 0, 1)
(1, 1, 0)
(13)
R12
compound
1 (1, 1, 0)
2
(0, 0, 1)
1 4 0
1 4 0
U1 = 4 2 0 , U2 = 4 2 0 ,
0 0 3
0 0 3
2 4 0
2 4 0
U3 = 4 1 0 , U4 = 4 1 0
0 0 3
0 0 3
145
QUi Uj = a n,
and
22 (32 + 42 ) = (1 3 4 )2
or
n = (0, 0, 1)
and
22 = 12 + 42 .
146
1 0 4
4 0 0
2(
+
)
1
3
4
0 0 0 .
= 0 2 0 +
32 + 42
3 0 0
4 0 3
We assume as in the proof of Theorem 5.3.1 that Mpc (K; F ) is given by
= 1 X1 U1 + 2 X2 U2 + 3 X3 U3 + 4 X4 U4
with Xi conv SO(3). It follows that the matrices Xi map the orthogonal
vectors {cof Ui e1 , cof Ui e2 , Ui e3 }, i = 1, . . . , 4, onto the orthogonal vectors
{cof F e1 , cof F e2 , F e3 } of same length. We may apply Lemma 5.3.3 and
conclude that Xi SO(3) for i = 1, . . . , 4. Therefore the matrices Xi are
uniquely determined and a short calculation shows that
2 2 (1 +3 )
0 4
1 42 +
2
3
4
X1 U1 =
0
2 0 ,
1 +3 )
4 + 23 42(
0
2
3
+
3
2 (1 +3 )
2 (1 +3 )
1 42 +
42 +
4
2
2
3
3
4
4
X3 U3 =
0
2
0 ,
1 +3 ) 3 4 (1 +3 )
4 + 3 42(+
2
2
2
3
+
3
147
X4 U4 =
42 (1 +3 )
32 +42
42 (1 +3 )
32 +42
0
4 +
3 4 (1 +3 )
32 +42
1 +3 )
3 42(+
2
3
0 .
We may now solve for the unknown volume fractions i , and if we consider
4 = s [ 0, 1 ] as a free parameter, then we nd the solutions
1 = s,
2 = 1 s,
3 = 4 = s.
Let
Z1 =
s
1s
X1 U1 +
U2 ,
1 2s
1 2s
Z2 =
1
1
X3 U3 + X4 U4 .
2
2
rank(X3 U3 X4 U4 ) = 1,
rank(Z1 Z2 ) = 1,
and hence
Mpc (K; F ) = =( s)X1 U1 + (1 s)U2 + sX3 U3 + sX4 U4 ,
s [ 0, min{, 1 } ] .
A short calculation shows that there exist two dierent representations of F
as a simple laminate if and only if = 12 .
Case i = 1, j = 2, n = e3 = (0, 0, 1): We may use w1 = e1 and w2 = e2
as test vectors for the matrices and we deduce
|F w1 |2 = |U1 w1 |2 = |U2 w1 |2 = 12 + 42 ,
|U3 w1 |2 = |U4 w1 |2 = 22 ,
and
|F w2 |2 = |U1 w2 |2 = |U2 w2 |2 = 22 ,
|U3 w2 |2 = |U4 w2 |2 = 12 + 42 ,
1 0 4
0 0 1
2(
+
)
1
3
4
0 0 0 .
= 0 2 0 +
22
4 0 3
0 0 4
148
1 +3 )
1 0 4 + 21 4 (
2
2
X1 U1 = 0 2
,
0
2
2 ( + )
4 0 3 4 12 3
2
1 0 4 + 1 4 (21 +3 )
2
4 (1 +3
X3 U3 = 0 2
,
2
2
42 (1 +3 )
4 0 3
2
2
X4 U4 = 0 2
4 0
1 4 (1 +3 )
22
4 (1 +3
.
2
2
2
( + )
3 4 12 3
2
1 0 4 +
2 = 1 s,
3 = 4 = s.
149
2
= (1 + 3 )2 (1 3 4 )2 + (1 + 3 )4 (1 2 42 )
2
+ (1 + 3 )4 (2 3 + 42 )
and
| cof U3 w|2 = | cof U4 w|2
2
= (1 + 3 )2 (1 3 4 )2 + (1 + 3 )4 (1 2 42 )
2
+ (1 + 3 )4 (2 3 + 42 ) ,
and hence
| cof U1 w|2 | cof U3 w|2 = 4(1 + 2 3 )(1 + 3 )2 4 .
We conclude uniqueness as before.
Case i = 1, j = 3, n = e3 = (0, 0, 1): Assume rst that 21 3 = 42 . We
choose w = (1, 1, 0) and obtain
150
0 0 1 3
1 3 4
2
(
+
)
4 1
2
3
0 0 (1 3 ) .
F = U3 + a n = 3 1 4 +
(1 + 3 )2
4 4 2
00
24
To simplify notation, we dene
=
24 (1 + 2 3 )
(1 + 3 )2
1 3 4 + (1 3 )
X1 U1 = 3 1 4 (1 3 ) ,
4 4
2 24
that
1 3 4 + 1
X2 U2 = 3 1 4 + 3
4 4 2 4
1 3 4 3
X4 U4 = 3 1 4 1 .
4 4 2 4
151
2 = s,
3 = 1 s,
4 = s.
1,2 = RQ1,2 RT , a
= Ra, n
= Rn. The results for {Uk , U } follow
with Q
therefore from those for {Ui , Uj }.
The Cubic to Tetragonal Transformation. In this case it suces to
analyze the simple laminates supported on the two wells SO(3)U1 SO(3)U2
since
R23
{U1 , U3 }R23
= R13
{U2 , U3 }R13
= {U1 , U2 }.
152
R12
{U1 , U4 }R12
= {U1 , U2 },
R23
{U2 , U4 }R23
= {U2 , U1 },
R12
{U2 , U3 }R12
= {U2 , U1 }.
R12
{U1 , U6 }R12
= {U1 , U3 },
R12
{U2 , U6 }R12
= {U2 , U3 },
R12
{U1 , U5 }R12
= {U1 , U3 },
R13
{U3 , U5 }R13
= {U2 , U3 },
R13
{U5 , U6 }R13
= {U1 , U2 }.
R13
{U3 , U6 }R13
= {U2 , U3 },
R12
{U2 , U5 }R12
= {U2 , U3 },
R23
{U3 , U4 }R23
= {U1 , U2 },
R12
{U2 , U4 }R12
= {U1 , U2 },
R12
{U1 , U4 }R12
= {U1 , U2 },
R12
{U2 , U3 }R12
= {U2 , U1 },
6. Algorithmic Aspects
Here W
qc
(6.1)
u(x)=F x on
154
6. Algorithmic Aspects
155
jh
(j1)h
(i1)h
ih
However, there are two fundamental diculties with this approach. First, the
maximum of two functions in S1 (h ) is not necessarily in S1 (h ). Secondly,
nite element spaces are too rigid to approximate convex functions from
below. Indeed, we assert that
|gh f |; 1
see Figure 6.1. Let Mi,j = (i 12 )h, (j 12 )h be its center. Since gh is ane
on the two triangles in Ci,j , we have
gh (Mi,j ) =
gh (ni1,j1 ) + gh (ni,j ) ,
2
gh (ni1,j ) + gh (ni,j1 ) .
2
We dene
di,j = gh (ni1,j ) gh (ni1,j1 ) + gh (ni,j1 ) gh (ni,j )
and we deduce from the two foregoing estimates that
di,j 0.
156
6. Algorithmic Aspects
2
i,j=1
157
i := 0; fih := f |Gh,Q
?
g := fih
h
R Dh , F Gh,Q
g h := convexify(g h , F, R, Gh,Q )
h
fi+1
:= g h ; i := i + 1
?
HH
H
H
H
NO
h
fih fi1
<
EP
S H
HH
HH
HH
Y ES
ST OP (fih )
Fig. 6.2. The algorithm for the computation of the rank-one convex envelope.
158
6. Algorithmic Aspects
0.4
0.2
2
-0.2
-0.4
-0.6
Fig. 6.3. Sketch of the functions g h (F,R) (solid line) and gh (dotted line) in
the algorithm for the computation of discretely D-convex functions.
fi+1 (F ) = inf fi (A) + (1 )fi (B) : F = A + (1 )B, [ 0, 1 ],
and A B parallel to a non-zero direction in D .
Then
f D = lim fi .
i
fi+1 (F ) = inf (fi )F,R (0) : R D ,
where g denotes the convex envelope of the function g. This interpretation
of the formula can easily be translated into an algorithm which we describe
schematically in Figure 6.2. In the ow chart we use a parameter EP S to
control the performance of the algorithm. Since it is a priori not clear whether
the discretely rank-one convex function can be determined with nitely many
iterations, one needs to introduce a stop criterion. The proposed algorithm
h
terminates if the dierence between the functions fih and fi+1
are small.
The input consists of the restriction of the given function f to a uniform
grid of width h and a set Dh Gh of directions; the output is (for EP S > 0
an approximation to) a discretely Dh convex function dened on Gh,Q . The
central part of the algorithm is a subroutine convexify(g h , F, R, Gh,Q ) which
computes the convexication of the restriction of the function g h to the intersection of the grid Gh with a line (F, R). The convexication
is dened as
'
the largest convex and piecewise ane function gh g h '(F,R) restricted
to the nodes in Gh on (F, R), see Figure 6.3.
The next theorem describes the properties of the functions fih .
Theorem 6.1.4. Assume that h > 0 and that f : Mmn R is continuous.
Then there exists a discretely Dh -convex function f h : Gh,Q R such that
the functions fih dened in the ow-chart of the algorithm in Figure 6.2 with
EP S = 0 converge to f h .
159
The case of the rank-one convex envelope, which corresponds to the choice
of all rank-one matrices for D, has attracted a lot of attention because of
its close connection to the quasiconvex envelope. In particular, a reliable
algorithm for the computation of the rank-one convex envelope can be used
to get upper bounds on the quasiconvex envelope. There are two important
assumptions one has to make in order to state an explicit convergence result:
On the one hand, the D-convexication of any function f depends in general
on the values of f on the entire space Mmn , not only on a nite neighborhood
of a given point. Since computations can be performed only on compact sets,
one has to assume a condition of the form (f D )|Q = (f|Q )D (see also the
remark following the theorem below). This will ensure convergence of the
functions f h to f D as h 0. A sucient condition is, for example, that
f g D on Mmn with f = g D on Mmn \ Q. On the other hand, the proof
relies on the representation
f rc (F ) = inf
N
i (Fi ) : (i , Fi ) HN , F =
N
i=1
i Fi ,
(6.2)
i=1
where the inmum is taken over all pairs (i , Fi )i=1,...,N satisfying condition
HN in Denition A.1.4. There is no criterion known that ensures that the
envelope for a given function can be obtained with a nite N . Therefore
convergence can only be obtained if this is assumed. In this situation the
following convergence result holds.
Theorem 6.1.5. Assume that f is Lipschitz continuous and that there exists
a rank-one convex function g : Mmn R such that f g on Q and f = g
on Mmn \ Q. Suppose in addition that f rc can be computed by formula (6.2)
with N N0 , and that
Dh = h(a b) : a Zm , b Zn , |a| , |b| h1/3 .
Then there exists a constant C which depends only on m, and n such that
f rc f h L (Gh,Q ) C|f |1,;Q h1/3 ,
where f h is the rank-one convex function the existence of which is guaranteed
in Theorem 6.1.4.
Remark 6.1.6. The condition that f coincides with a rank-one convex function outside a compact set can of course be weakened. For example, to get
convergence of the algorithm at the established rate on a compact set Q1 , it
is sucient that the rank-one convex envelope can be obtained by using only
points in some compact set Q2 . Then one runs the algorithm on Q2 .
The proof of the theorem relies on the following approximation result.
160
6. Algorithmic Aspects
0
-0.5
-1
-1.5
-2
-1.4 -1.2
Fig. 6.4. The logarithm (base 10) of the L -norm versus the logarithm of the
width of the grid for the modied Kohn-Strang example. The dashed line has slope
one.
Lemma 6.1.7. Assume that h (0, 1), that f and Dh are as in Theorem 6.1.5. and that the pairs (i , Fi ), i = 1, . . . , N satisfy condition HN
,N
with F = i=1 i Fi . Suppose that F h Gh satises |F F h | c0 h1/3 . Then
there exist pairs (hi , Fih ), i = 1, . . . , N , which satisfy condition HN and a
constant c1 which depends only on m, n, and maxi=1,...,N |Fi | such that
,N
h
i) Fih Gh and
F h = i=1 hi F
;
i 1/3
h
ii) |Fi Fi | c0 + (N 1)c1 h
for i = 1, . . . , N ;
iii)we have the estimate
N
'
''
'
i f (Fi ) hi f (Fih ) ' c0 + (N 1)c1 |f |1, h1/3 .
'
i=1
This lemma is also the key ingredient in the convergence proof for the
computation of laminates in Section 6.2 below.
We now present the results of some numerical experiments for the computation of envelopes of functions and sets. In our examples we use the sets
Dh of rank-one directions dened by
Dh,k = {hR : R = a b, a Zm , b Zn , |a| , |b| k}.
161
Table 6.1. Numerical results for the modied Kohn-Strang function in (6.4), see
also Figure 6.4. The formula for the minimizing laminate (6.3) shows that the full
rank-one cone is used in the constructions. This is reected in the fact that the error
decreases as the parameter k in the sets Dk increases. In addition, a third iteration
of the algorithm further reduces the error.
h
Dk
1st iteration
2nd iteration
3rd iteration
0.125
0.070 718
0.067 708
0.067 188
0.035 938
0.031 250
0.031 250
0.034 636
0.031 250
0.031 250
0.034 636
0.031 250
0.031 250
0.077 139
0.076 384
0.076 384
0.022 042
0.021 856
0.021 354
0.019 142
0.013 951
0.013 238
0.019 142
0.013 951
0.013 238
0.076 660
0.076 489
0.076 488
0.027 269
0.026 795
0.026 795
0.012 500
0.009 863
0.009 732
0.010 326
0.004 561
0.004 390
0.0625
0.03125
1 + |F |2 if (F ) 1,
2( D) if (F ) 1,
where D = | det F | and (F ) = |F |2 + 2D. We sketch the proof of this
formula following Kohn and Strang for the convenience of the reader and in
order to emphasize two important consequences of the calculation.
Since f is convex on all rank-one lines that do not pass through zero, it
is clear that
0
if F = 0,
2|F | if rank(F ) = 1, |F | 1,
f1 (F ) =
1 + |F |2 otherwise.
f rc (F ) =
2
u2 v 2 ,
F = 1 u1 v 1 + (1 ) 1 u1 v 1 +
1
(6.3)
162
6. Algorithmic Aspects
and thus
2
u2 v 2 .
f2 (F ) f1 1 u1 v 1 + (1 )f2 1 u1 v 1 +
1
For 1 1 this implies the estimate
f2 (F ) 21 + (1 ) 1 + 21 +
22
.
(1 )2
1
+ |F |2 if |F | 2 1,
f (F ) =
(6.4)
2 2|F | if |F | 2 1.
We use this function in our numerical experiments and summarize our results
in Figure 6.4.
Secondly, the entire rank-one cone is used in the construction of the second order laminates. The impact of this on the computation can be seen in
Table 6.1: the approximation error decreases as we pass from D1 to D4 , and
the fact that the error is further reduced in a third iteration of the convexication routine is another manifestation of the fact that not all the directions
used in the construction of the relaxation are contained in the discrete sets
Dh .
The Eight Point Example. We now consider the eight point set in Section 2.1. Let f be the 1 -distance to the set K given by
x y
K=
: |x| = a, |y| = b, |z| = c
yz
with a, b, c > 0 and ac b2 0. For our experiments we chose a = 34 , b = 12 ,
and c = 14 . In this case,
K (4) = K lc = K rc = K qc K pc ,
see Theorem 2.1.1. The results of our computation with Q = [ 1, 1]4 and
h = 1/16 are summarized in Figure 6.5.
163
Fig. 6.5. Computation of the rank-one convex hull for the eight point set. The left
gure shows the intersection of K pc with the diagonal matrices (y = 0) which is
formed by the intersection of two hyperbolae. The right gure displays the smaller
set K rc , which is K pc intersected with two additional cones. The dots correspond to
the grid points in Gh with h = 1/16 in which the discrete rank-one convex envelope
of the
1 -distance to K is smaller than 0.0001.
164
; ; ; ; ; ; ; ; ;
; ; ; ; ; ;
;
;
;
;
;
; ; ; ; ; ;
; ; ; ; ; ; ; ; ;
6. Algorithmic Aspects
2
Fig. 6.6. A typical problem with splitting algorithms if one tries to split a xed
matrix. The computation for the point in the center with directions (1, 0) and (0, 1)
(corresponding to separate convexity) gets stuck after the rst step, in which the
value is found to be 1. However, the correct value in the center is 2, see also
Table 6.2. The right gure shows the values of the function f1 in (6.5), which is generated at each node by minimizing among all splittings with direction {(1, 0), (0, 1)}.
(R, t+ , t ) =
t+
t
W
(F
t
R)
+
W (F + t+ R)
t + t+
t + t+
k =
i Fi Lk (Q), M 2k , i > 0,
i=1
M
165
i = 1,
i=1
then all laminates that can be generated by splitting (up to relabeling) the
rst M , M M , of the matrices Fi along rank-one lines belong to Lk+1 (Q):
k+1 =
M
+
i F + + i F +
i=1
M
i Fi Lk+1 (Q),
i=M +1
if
i > 0, i = i + i , and
Fi Q, rank(Fi+ Fi ) = 1, Fi =
i
Fi+ + i Fi
i
i
for i = 1, . . . , M .
M
i Fi Lk (Gh,Q , Dh ), M 2k , i > 0,
i=1
M
i = 1,
i=1
then all laminates that can be generated by splitting (up to relabeling) the rst
M , M M , of the matrices Fi into matrices Fi+ , Fi Gh,Q along lines
parallel to directions in Dh belong to Lk+1 (Gh,Q , Dh ):
k+1 =
M
i=1
+
i Fi+
i Fi
M
i Fi Lk+1 (Gh,Q , Dh ),
i=M +1
if
i > 0, i = i + i , Fi Gh,Q , Fi Fi D Dh , and
rank(Fi+ Fi ) = 1, Fi =
i
Fi+ + i Fi
i
i
for i = 1, . . . , M .
Remark 6.2.2. If Lk (Gh,Q , Dh ), then can be written as a convex combination = + + (1 ) with + , Lk1 (Gh,Q , Dh ) such that
F + = + , id and F = , id belong to Gh,Q , F + and F are rank-one
connected with F + F D Dh , and F = F + + (1 )F . This follows from the fact that in the rst step F is split into two Dirac masses
centered in points in Gh,Q along a rank-one line parallel to a direction in
Dh , F = F + + (1 )F . The subsequent splitting steps generate Young
measures + and with center of mass equal to F + and F , if the weights
are rescaled by and 1 , respectively.
166
6. Algorithmic Aspects
Remark 6.2.3. If
=
N
i Fi Lk (Gh,Q , Dh ),
i=1
F = (f, F )F + (f, F ) + 1 (f, F ) F (f, F )
with [ 0, 1 ] and F + F parallel to a direction D Dh by requiring
that
h
(Fj ) = (fih , Fj )fih F + (fih , Fj ) + 1 (fih , Fj ) fih F (fih , Fj ) .
fi+1
Similarly we construct from the output variables fractions and atoms laminates j,i Li (Gh,Q , Dh ) with center of mass Fj and i splitting levels by
j,0 = Fj
and
j,i+1 = fraction[j, i] ,i + 1 fraction[j, i] ,i
where
F = F + (fih , Fj ) = atoms[j, 2i],
and
167
are the matrices arising in the optimal splitting of Fj in the (i + 1)st step. It
follows from the foregoing denitions that
fih (Fj ) = j,i , f .
(6.5)
Indeed, f0h (Fj ) = f (Fj ) = j,0 , f , and if the assertion holds for fi and j,i ,
then
h
fi+1
(Fj ) = (fih , Fj )fih F + (fih , Fj ) + 1 (fih , Fj ) fih F (fih , Fj )
= (fih , Fj ),i , f + 1 (fih , Fj ) ,i , f
= j,i , f .
168
6. Algorithmic Aspects
Table 6.2. Output of the algorithm with depth = 2 (many of the splitting steps have
more than one minimizing splitting, and therefore the output generated depends in
general on the implementation of the algorithm). A indicates that the measure
is not split in this step, and that only one atom is dened.
matrix
atoms
fractions
20
10
30
20
1
2
21
21
20
24
22
21
23
20
24
1
2
23
23
20
24
3
4
1
2
1
4
24
14
34
24
1
2
1
1
21 + 23 ,
2
2
20,1 =
1
1
10 + 30 ,
2
2
24,1 =
1
1
14 + 34 ,
2
2
and hence
1
1
1
1
1
1
20,1 + 24,1 = 10 + 30 + 14 + 34 .
2
2
4
4
4
4
It is important to note that 22,2 is obtained by starting from the splitting
generated in the second iteration of the algorithm and not by further splitting
the matrices found in the rst splitting step. We now state our convergence
result for laminates in Lk (Q) which are supported on at most 2k points.
Recall that we assume that the points in Gh,Q have been labeled from 1 to .
22,2 =
(6.6)
is greater than zero. Finally, let h = j,k be the Young measure computed by
the algorithm in Figure 6.7 with depth= k and
Dh = h(a b) : a Zm , b Zn , |a| , |b| h1/3 .
Then
(6.7)
169
Proof. We divide the proof in two steps. The rst step shows that the measures j,i are minimizing in Li , and the second one proves the estimate (6.7)
based on the construction of discrete laminates in Lemma 6.1.7.
Step 1: Optimality of j,i . We have for i = 0, . . . , k, and j = 1, . . . , , that
j,i , f = min , f : Li (Gh,Q , Dh ), , id = Fj .
This statement is obvious for i = 0 and i = 1, since the algorithm chooses
an optimal splitting. Assume now that the assertion has been established for
i1, and suppose that it does not hold for i. Then there exists a j {1, . . . , }
such that
j,i , f > min , f : Li (Gh,Q , Dh ), , id = Fj ,
and let be an element in Li (Gh,Q , Dh ) realizing the minimum on the right
hand side (this minimum exists since Li (Gh,Q , Dh ) is a nite set). We may
split as
+ + (1 )
,
=
Li1 (Gh,Q , Dh ),
[ 0, 1 ]
rank(F + F ) 1.
f h (F ) + (1 )
f h (F ).
=
i1
i1
This implies that there exists a better splitting for Fj in the i-th step, and
this contradicts the denition of the loop in the algorithm.
Step 2: Proof of the error estimate (6.7). We now construct explicitly
a Young measure h Lk (Gh,Q , Dh ) which is close to in the sense of
Lemma 6.1.7. The estimate (6.7) is then a consequence of the Lipschitz continuity of f . The only diculty here is that we cannot apply Lemma 6.1.7
directly, since the generated Young measure might not belong to Lk (Gh,Q , Dh )
(the constructed laminate is supported on matrices which lie in an O(h1/3 )neighborhood of the support of ). The remedy here is to construct from
by rescaling a Young measure Lk (Q) for which the distance of the atoms
170
6. Algorithmic Aspects
N
i Xi ,
i=1
and let
=
N
i Yi
with
Yi = (Xi )
and
Fj =
i=1
N
i Yi .
i=1
N
hi Yih
and Fj =
i=1
N
i=1
for i = 1, . . . , N,
hi Yih .
F4
171
F1
J3
J4
J2
J1
F2
F3
Fig. 6.8. The four point conguration in the diagonal matrices that supports an
innite laminate. The lamination convex hull is given by the four line segments and
the square with corners J1 , . . . , J4 .
N
'
''
'
i f (Yi ) hi f (Yih ) ' (N 1)c1 |f |1, h1/3 .
'
i=1
N
N
'
'' ''
''
'
'
i f (Yih ) i f (Yi ) ' + '
i f (Yi ) i f (Xi ) '
i=1
N
'
'
'
'
+'
i f (Xi )'
i=1
i=1
Numerical Experiments for the Computation of Laminates. We conclude this section with two numerical experiments for the generation of laminates by the algorithm in Figure 6.7. We rst use our scheme to nd approximations of the innite laminate supported on four points. Then we report
on computations for eight point set in Theorem 2.1.1.
An Innite Laminate. A canonical example for the performance of an
algorithm is the following four point set. Let
172
6. Algorithmic Aspects
1 1
1 1
,
), F2 = diag(
, ),
4 2
2 4
1 1
1 1
),
F3 = diag( , ), F4 = diag( ,
4 2
2 4
F1 = diag(
39
40
40
39
2
2
F +
F +
F +
F +
J +
J
162 1 162 2 162 3 162 4 162 2 162 4
F = 0,
1
F = diag( , 0).
4
One obtains the corresponding subtrees if one uses less than ve splittings
(this is not surprising, since the algorithm is completely deterministic).
The Eight Point Example. Recall that the eight point set K is given by
xy
K=
: |x| = a, |y| = b, |z| = c
yz
with a, b, c > 0 and ac b2 > 0. In this case,
K (4) = K lc = K rc = K qc = K pc ,
see Theorem 2.1.1 for the precise statement. For our experiments we choose
f to be the 1 distance to K with a = 34 , b = 12 , and c = 14 . In our rst
experiment we chose F = 0 and computed on Gh,Q with h = 1/8 and Dh,2 , a
set of 64 directions. The algorithm correctly nds that F K (2) and produces
the laminate
=
with
34 14
,
F1 =
14 12
7
5
5
7
F + F + F + F
24 1 24 2 24 3 24 4
3
4
14
,
F2 =
14 12
34
F3 =
1
4
1
4
1
2
3
F3 F4 = e1 e1 ,
2
F4 =
3 1
4 4
1 1
4 2
1/3
2/3
F2
F1
F4
2/3 1/3
F3
1/2
F1
1/2
F2
1/3 2/3
F+
2/3
F3
1/3
J1
2/3
F4
1/3
J2
2/3
1/3
J3
J4
Fig. 6.9. Approximation of an innite laminate with nite ones. The laminate computed with the algorithm
using ve splitting steps. The shaded squares correspond to the points in which the Young measure is supported.
The volume fractions in the splittings are indicated along the lines denoting rank-one connections.
J2
J1
1/3 2/3
J4
1/3 2/3
J3
F1
3/4
F2
1/3
F3
3/4 1/4
G2
F4
F5
G3
1/4 3/4
1/2
F6
1/3
H2
2/3
F7
1/4 3/4
G4
Fig. 6.10. The laminate generated for the eight point set with center of mass equal to zero.
1/4
G1
2/3
H1
1/2
F8
174
6. Algorithmic Aspects
and
175
7
5
14 12
5
7
.
F1 +
F2
F3 +
F4 =
12
12
12
12
12 1
It is not surprising that the result is exact since all the necessary rank-one
directions are contained in the set Dh . Minimizing laminates are not unique,
and if we restrict Dh to Dh,1 , a set of 16 matrices, then we we obtain the
following laminate supported on all eight matrices in K and with center of
mass equal to zero:
=
6
2
3
1
1
3
2
6
F +
F +
F +
F +
F +
F +
F +
F ,
24 1 24 2 24 3 24 4 24 5 24 6 24 7 24 8
3
1
34 14
34 14
4
, F2 =
, F3 = 4
F1 =
,
14 12
14 21
14 12
34 14
34 41
34 41
, F6 =
, F7 =
,
F5 =
1
1
1
1
1
1
4
2
4
2
4
2
3
4
F4 =
14
3
F8 = 4
1
4
1
4
1
2
1
4
1
2
G1 =
1
F2 ,
4
3
F6 ,
4
3
F3 +
4
1
G4 = F 7 +
4
G2 =
1
F4 ,
4
3
F8 ,
4
2
1
G1 + G2 ,
3
3
H2 =
1
2
G3 + G4 ,
3
3
1
1
H1 + H2 .
2
2
7. Bibliographic Remarks
We begin by describing some important contributions that form the background for the mathematical theory in a broader context. Then we provide
detailed references for the material presented in the chapters of this text.
Ball&James [BJ87, BJ92] and Chipot&Kinderlehrer [CK88] derived the
mathematical description of fundamental mechanisms for the appearance of
microstructure in single crystals based on energy minimization, and Bhattacharya&Kohn [BhK96, BhK97] extended the theory to polycrystals. Magnetic eects, and the coupling of magnetic and elastic properties were analyzed by DeSimone [DS93], James&Kinderlehrer [JK93], Tartar [Ta95] and
DeSimone&James [DSJ97]. Kohn&M
uller [KM92, KM94] presented an analysis of domain branching which was then applied to magnetic domain patterns
in Choksi, Kohn&Otto [CKO99]. James&Hane [JH00] and Pitteri&Zanzotto
[PZ00] provided a detailed description of the crystallographic aspects. Further
applications include studies of formation of blisters by Ortiz&Gioia [OG94]
and Ben Belgacem, Conti, DeSimone&M
uller [BCDM00] and of dislocation
patterns by Ortiz&Repetto [OR99].
This research has led to new, simply stated, but deep questions in the calculus of variations which are closely related to Tartars earlier work and his far
reaching programme on oscillations in nonlinear partial dierential equations
and compensated compactness [Ta79, Ta83, Ta90]. At the heart of the analysis of microstructures in variational problems lie the notions of quasiconvexity
and of quasiconvex hulls which remain fty years after Morreys seminal work
[Mo52, Mo66] one of the fundamental challenges in the calculus of variations
with ramications to a number of other problems [Sv95, A98, B98].
7.1 Introduction
The fundamental contribution in the recent work by Ball&James [BJ87,
BJ92] and Chipot&Kinderlehrer [CK88] is to start from a variational approach and not from kinematic theories as in [BMK54, Er80, Er86, WLR53].
The degeneracies of the theory if one assumes invariance under all bijections
of the lattice were analyzed in [Er77, Er89, Fo87, Pa77, Pa81, Pi84, Za92].
Applications of the shape memory eect can be found in the conference proceedings [SMST97]. A beautiful account of the relations between the quasi-
178
7. Bibliographic Remarks
convex hull of a set and properties of sequences converging to the set is given
in [Sv95]. The denition of the Young measure goes back to L. C. Young
and was introduced to the analysis of oscillations in partial dierential equations by Tartar, see, e.g., [Ta79, Ta83]. The version of the fundamental theorem on Young measures given in Section A.1 follows [B89]. Young measures
generated by sequences of gradients were characterized in [KP91], see Theorem A.1.6 for a statement of the result, and the averaging technique is one of
their technical tools. A detailed discussion of the dierent denitions for the
semiconvex hulls and the proofs of their equivalence can be found in [M99b].
Surprising existence results for nonconvex variational principles have been
ak by an adaption of Gromovs convex integration
obtained by M
uller&Sver
method [MS99a] and by Dacorogna&Marcellini [DcM99] using the Baire category argument. However, the rigidity results in [DM95] show that geometry
of these solutions is very dierent from laminates of nite order. The Lavrientiev phenomenon has been studied in [BM85, BK87, NM90] and in [Li95] in
connection with the approximation of singular minimizers. Approximations
of Young measures can be found in [NW93, NW95, CR00] for scalar problems
and in [AP00] for two-dimensional vector valued problems.
179
and 2.3 as well as the dimension reduction in Section 2.5. The proofs given
here simplify the original arguments. The theory of martensitic thin lms has
been described in [BJ99]. The results about the two-well problem in three dimensions can be found in [DKMS00]. Note that Theorem 2.6.4 establishes
the existence of a neighborhood of order one about the identity such that
the polyconvex hull of SO(3) SO(3)H is trivial for all H in this neighborhood. A rst result in this direction was obtained in [KL00] where the
authors prove that the quasiconvex hull is trivial if H is suciently close to
the identity. The proof relies on a linearization argument, Johns estimates
for deformations with bounded strains [Jo72a, Jo72b], and the quasiconvexity of the quadratic function q : M33 R, q(X) = (cof(X + X T ))33 ,
see Theorem A.1.3. The rst example of two incompatible wells with nontrivial polyconvex hull was constructed in [DKMS00], and the parameters
hi in this example violate the second set of inequalities in condition ii) in
Theorem 2.6.4 with h1 = h2 193.995 and h2 = h3 = h. Here h is the
larger of the two solutions of the equation h + 1/h = 14. The example given
in Proposition 2.6.5 slightly improves the original one. It is not known what
the optimal value for h is for which the polyconvex hull is trivial and how
the topology of the hulls changes as soon as they become larger. The formula
for the polyconvex hull of K in (2.53) has rst been proven in [DSD00]. This
paper contains also the result for the three-dimensional situation in the special case of 1 = 2 , and the same proof yields the result in the general case.
It follows also from the characterization of the semiconvex hulls without the
constraint that the determinant be positive in [DcT98], see Remark 11 in
[DcT00]. Our proof for the representation of K pc follows [DSD00]. The case
of arbitrary sets in 2 2 matrices that are given by conditions on the singular
values (with and without the restriction that the determinant be positive)
has been solved in [CT00]. The paper [B77] contains a characterization of
convex and polyconvex functions that depend on singular values. The function F 1 (F ) + 2 (F ) which we use is just an example of a rich family
of convex functions depending on the singular values of F . A more general
version of Theorem 2.7.5 can be found in [CDDMO01]. The proof presented
here is taken from [DSD01]. The problem to maximize the expression F : R
for R O(n) was also considered in [Ja86], Appendix 3.
180
7. Bibliographic Remarks
layered texture. The formation of these microstructures was explained by energy minimization in the framework of continuum models in [WB96, WT96].
The model considered here is due to Bladon, Terentjev&Warner [BTW93].
The mathematical analysis of this model started in [DSD00], where an explicit formula for the relaxation of the energy in a two-dimensional model
was obtained. The results presented here are based on [D01, DSD01]. The
crucial construction in the proof of the quasiconvexity of the envelope is due
ak [MS99a]. The relaxation result for nematic elastomers conto M
uller&Sver
stitutes one of the few explicitly know relaxation results and seems to be the
rst for an SO(3) invariant energy related to phase transformations, see e.g.
[Kh67, Pi91, K91, LDR95] for related relaxation questions. In particular it
allows one to explore the features of the relaxed energy in numerical simulations, and rst results in this direction have been reported in [CDD01]. A
dierent approach has been pursued in [ACF99], and an extension of the results to compressible models was proposed in [Sy01]. The maximal eigenvalue
of the cofactor matrix was also used in [BC97, BC99] to separate points from
polyconvex hulls of sets.
181
measures originates in [CKL91]. Our results cover all triangulations that are
regular in the sense of Ciarlet [Ci78].
182
7. Bibliographic Remarks
184
f convex
f convex
f polyconvex
f polyconvex
and
f quasiconvex
f quasiconvex
(m 3)
If f : Mmn R, then
f convex
f polyconvex
f rank-one convex
(A.1)
and
f polyconvex
f quasiconvex.
185
g(t) = f (F + tD)
are convex for all F Mmn and all D D (see [MP98] for a detailed
discussion).
Based on these notions of convexity, we dene semiconvex hulls of compact
sets K Mmn in the following way:
K pc = {F Mmn : f (F ) sup f (X) f : Mmn R polyconvex }.
XK
The quasiconvex hull K qc , the rank-one convex hull K rc , the convex hull
conv(K), and the D-convex hull K D are dened analogously (in [MP98] the
set K D is called the functionally D-convex hull). In particular for the description of constructions it is convenient to introduce a further hull which has
no immediate characterization in terms of convex functions. The lamination
convex hull K lc is dened in the following way (see [MS96]): Let K (0) = K
and dene
K (i+1) = A + (1 )B : A, B K (i) , rank(A B) = 1, (0, 1) K (i) .
Then
K lc =
K (i) .
i=0
The relations in the rst part of Proposition A.1.2 between the dierent
notions of convexity imply immediately the following chain of inclusions:
K lc K rc K qc K pc conv(K).
Similarly we dene semiconvex envelopes of functions f : Mmn R. The
largest polyconvex function less than or equal to f is called the polyconvex
envelope of f and denoted by f pc . The quasiconvex, the rank-one convex, the
convex, and the D-convex envelopes are dened correspondingly and denoted
by f qc , f rc , f , f D , respectively. In view of Proposition A.1.2 we have for
functions f : Mmn R the following inequalities,
f rc f qc f pc .
186
For extended valued functions f : Mmn R we dene the envelopes analogously, but in this case the inequalities between the envelopes might not
hold.
The condition HN has been introduced in [Dc85].
F1 s
s F6
G1 s
F2
s F3
s
F4 s
s
s F5
Fig. A.1. Graphic interpretation of condition HN : the solid lines in the gure
correspond to the rank-one connections, the dots at the end of the lines represent
the matrices Fi , and the dots in the middle of the lines indicate the matrices Gi
which are recursively constructed.
1
2
F1 +
F2 ,
1 + 2
1 + 2
Gi = Fi+1 , i = 2, . . . , N 1,
G1 =
satisfy condition HN 1 .
It is an immediate consequence of the foregoing denitions that F K (i)
implies the existence of at most 2i pairs (i , Fi )i=1,...,k with Fi K satisfying
condition Hk .
We nally describe classes of (homogeneous) probability measures based
on these notions of convexity. We denote by M(K) the set of all Radon
measures supported on K equipped with the total variation norm M and
by P(K) the subset of all nonnegative Radon measures with mass one. We
write
, f =
f (A)d(A) P(K), f : K R,
K
187
for every R > 0, where BR = B(0, R). Then x M = 1 for a.e. x (i.e.,
x is a probability measure), and given any measurable subset A of ,
f (z ) x , f
in L1 (A)
188
N
i Fi
i=1
rank(F3 F4 ) = 1,
rank(G1 G2 ) = 1
where
G1 =
1
2
F1 +
F2 ,
1 + 2
1 + 2
G2 =
3
4
F3 +
F4 ,
3 + 4
3 + 4
a b
, a2 + b2 1 .
conv(SO(2)) =
(A.2)
b a
The convex hull of SO(3) is given by
conv(SO(3)) = F = QU : Q SO(3), U = U T ,
3
i i 1 for |i | = 1 and 1 2 3 = 1 ,
189
(A.3)
(A.4)
i=1
e S2 , F conv SO(3).
We will frequently use the important fact that SO(n) does not support any
(nontrivial) gradient Young measure.
Theorem A.1.8 ([Ki88]). Suppose that Du SO(n) a.e. in . Then Du
is constant and u(x) = Qx + b with Q SO(n) and b Rn . If uj
W 1, (; Rn ) satises
dist(Duj , SO(n)) 0 in measure,
then Duj Q in measure where Q SO(n) is a constant.
The rank-one convex hull has a certain locality property which we will
use in order to show that certain rank-one convex hulls are trivial.
Proposition A.1.9 ([Pe93, MP98, Mt00, Kir00]). Assume that K is
compact and that K rc consists of two compact components C1 and C2 with
C1 C2 = . Then
K rc = (K C1 )rc (K C2 )rc .
(A.5)
190
RU2 U11 = I + a n,
n = U11 m.
By the polar decomposition theorem this equation holds if and only if the
matrix C = U11 U22 U11 has the representation
C = (I + n a)(I + a n),
1 + a, n > 0.
(A.6)
Therefore the existence of rank-one connections is equivalent to nding solutions a, n R3 of (A.6) with C given.
Proposition A.2.1 ([BJ87, Kh83]). Necessary and sucient conditions
for a symmetric (3 3)-matrix C = I with eigenvalues 1 2 3 to be
expressible in the form
C = (I + n a)(I + a n)
with 1 + a, n > 0 and a = 0, n = 0 are that 1 > 0 (i.e., C is positive
denite) and 2 = 1. The solutions are given by
.
.
3 (1 1 )
1 (3 1)
e1 +
e3 ,
b =
3 1
3 1
1 3 1
m=
1 1 e1 + 3 1e3 ,
3 1
where = 0 is a constant and e1 , e3 are normalized eigenvectors of C corresponding to 1 , 3 , respectively, and where can take the values 1.
In the n-dimensional situation we obtain after suitable transformations
the condition that at least n 2 eigenvalues have to be equal to one, while
the smaller eigenvalue is less than or equal to one, and the larger is larger
than or equal to one.
Proposition A.2.2 ([DM95], Proposition 5.2). Assume that A = I and
B = diag(1 , . . . , n ) with 0 < 1 n . Then the two wells SO(n)
and SO(n)B are rank-one connected if and only if 2 = = n1 = 1.
Moreover, the vectors a and b in the representations Q B = a b lie in
the plane spanned by e1 and en .
In twinning calculations one often encounters the situation that U1 and U2
are related by some rotation R SO(3), through U2 = RT U1 R and therefore
C2 = U2T U2 = RT U1T U1 R = RT C1 R = C1 .
(A.7)
Q SO(3),
(A.8)
191
Proposition A.2.3 ([Er91]). Assume that the symmetric and positive definite (3 3)-matrices C1 and C2 are related by a rotation in the sense of
identity (A.7). Then the following assertions hold:
1. If there exists a solution of the twinning equation (A.8), then at least one
of the following conditions must hold:
a) R represents a 180 rotation.
b) e is an eigenvector of C1 .
c) e is perpendicular to an eigenvector of C1 , which can be taken as (C1 e)
e, if (b) does not hold.
2. If any of the above conditions holds, and C2 = C1 , then the twinning
equation (A.8) can be solved.
3. If the twinning equation (A.8) can be solved, and (a) does not hold, then
with R
a 180 rotation.
(A.7) must hold with R replaced by R
Condition (1a) is particularly important, since in this case the two solutions can easily be obtained, as discussed in [Er81, Er85, Gr83]. The following
version can be found in [Bh92].
Proposition A.2.4. Let R = I+2ee be a 180 rotation about e S2 and
assume that U1 and U2 M33 are symmetric matrices with U1T U1 = U2T U2
and U2 = RT U1 R. Then there are two solutions of the equation
QU1 U2 = a n,
Q SO(3), a, n R3 ,
(A.9)
U2T e
a1 = 2
U2 e
T 2
|U2 e|
and
n2 =
U T U2 e
2
e 2 2 ,
|U2 e|
a2 = U2 e,
192
Remark A.2.6. The observation that two wells with equal determinant in two
dimensions are always rank-one connected is at the heart of the characterization of the semiconvex hulls in two dimensions. While this can be proven by a
direct calculation, it is worthwhile noting that this fact is also a consequence
the following decomposition of matrices (see, e.g., [CK88], Proposition 3.4).
Proposition A.2.7. Let A M33 with det A > 0. Then there is a rotation
Q SO(3) and vectors a1 , n1 , a2 , n2 R3 with ai , ni = 0, i = 1, 2, such
that
A = (det A)1/3 Q(I + a2 n2 )(I + a1 n1 ).
If A M22 , then the same result holds with a2 = n2 = 0 and the exponent
1
1
3 replaced by 2 .
B. Elements of Crystallography
A set of points L is called a Bravais lattice if and only if there exist three
linearly independent vectors g 1 , g 2 , g 3 R3 such that
L = L(g i ) = x =
3
n i g i , ni Z .
i=1
3
Mij g j .
i=1
2
3
4
5
6
7
8
9
10
194
B. Elements of Crystallography
a point and n
an improper rotation, i.e., a rotation by 2/n followed by an
inversion through a point on the axis. The position of the operation within
the symbol refers to a dierent direction in the lattice related to the operation
(axis of rotation, normal to the plane of reection), see [S69], Chapter 3.5 for
further details. For a given lattice L(g i ), we dene the point group P(g i ) to
be the maximal group under which the lattice is invariant. For example, the
point group of the cube is the group of 48 orthogonal transformations that
map the cube to the cube11 .
There are several ways to choose unit cells for the fourteen dierent lattices, and the standard cells (highest degree of symmetry) are shown in Figure B.1. The conventional symbols are P for primitive (the unit cell contains
just one point), C for C-centered (a lattice point in the center of the C side
of the unit cell), F or fc for face centered (lattice points in the center of each
face) and I or bc for body centered (a lattice point in the center of the unit
cell; German: innenzentriert) (see e.g. [S69] for a discussion of the notation).
Note that the face centered and the body centered tetragonal systems are
equivalent.
The dierent crystal systems are in particular of importance in diusionless solid-solid phase transformations which are characterized by a break of
symmetry of the underlying Bravais lattice. We call martensite12 the phase
that forms as the result of such a transformation. The high temperature phase
is frequently called austenite13 . A given system can undergo several transformations at several critical temperatures. For example, immediately after
solidication iron forms a body centered cubic (bcc) structure, called -ferrite.
Upon further cooling, iron transforms to a face centered cubic structure (fcc),
called or austenite. Finally, iron transforms back to the bcc structure at
lower temperatures; this structure is called , or ferrite. In higher carbon
steels, the fcc austenite transforms to a body centered tetragonal martensite,
thus showing the characteristic break of symmetry during the transformation.
The following examples describe typical phase transformations and the
corresponding transformation matrices where we always assume that the reference conguration is given in the undistorted austenitic phase. The number
N of variants in the low temperature phase is given by
N=
see e.g. [VTA74, BJ92] for a discussion of the mathematical concepts. A detailed analysis of the point groups associated with the dierent variants is
contained in [PZ00]. A nice summary of the matrices describing the energy
11
12
13
B. Elements of Crystallography
triclinic P
195
monoclinic P monoclinic C
tetragonal P
tetragonal I
hexagonal P
cubic P
trigonal P
cubic I
cubic F
wells (under the assumption that the austenitic phase is the reference conguration) and the relation of their elements to the transformation strains can
be found in [H97, JH00]. We include some examples and collect the relevant
information about the twinning systems. We dene twins to be continuous
and piecewise homogeneous deformations with constant deformation gradients F1 and F2 in layers separated by a hyperplane. Necessarily the two
deformation gradients must be rank-one connected and the normal n on the
hyperplane is determined from F1 F2 = a n. Since we are interested in
zero-energy deformations, we focus on rank-one connections between energy
wells SO(3)Ui and SO(3)Uj , i = j. By Propositions A.2.3 and A.2.4 the situation Ui = RT Uj R with R a 180 degree rotation is particularly important.
196
B. Elements of Crystallography
Table B.1. Crystallographic point groups.
crystal system
char, symmetry
restrictions
symbol
order
Triclinic
onefold symmetry
none
Monoclinic
one diad
= = 90
Orthorhombic
three mutually
perpendicular diads
= = = 90
Tetragonal
one tetrad
a=b
= = = 90
Trigonal
one triad
Hexagonal
one hexad
a = b = c and
= = or
a=b
= = 90
= 120
a=b
= = 90
= 120
Cubic
four triads
1
2
m
2/m
222
mm2
mmm
4
4
4m
422
4mm
42m
4/mmm
3
3
32
3m
3m
6
6
6/m
622
6mm
6m2
6/mmm
23
m3
432
43m
m3m
1
2
2
2
4
4
4
8
4
4
8
8
8
8
16
3
6
6
6
12
6
6
12
12
12
12
24
12
24
24
24
48
a=b=c
= = = 90
We call the two solutions given in Proposition A.2.4 a type-I and a type-II
twin, respectively. A twin is called a compound twin if it is at the same time a
type-I and a type-II twin, i.e., if there exist two distinct 180 degree rotations
R1 , R2 with Ui = R1T Uj R1 and Ui = R2T Uj R2 .
C. Notation
We write,Rn for the n-dimensional real vector space with scalar product
u, v = i ui vi , Rn+ for the positive octant {x : xi 0 for i = 1, . . . , n} in
Rn , and Sn for the unit sphere in Rn+1 . We use Mmn for the space of all
T
nm
(real) (m n)-matrices with the norm |F |2 = tr(F T F ), where
,F M
is the transposed matrix, and the scalar product F : G =
i,j Fij Gij . If
e R2 , then e = Je, where J is the counter-clockwise rotation by 2 .
If m = n, then the cofactor matrix cof F Mnn of F is dened to be
the matrix of all (n 1) (n 1) minors of F which satises
cof F = (det F )F T i.e. (cof F )F T = (det F )I F Mnn ,
(C.1)
(C.2)
c, d Rn
implies that
det F = det(G + a b) = (det G)(1 + G1 a, b).
We have for F M22 the expansion
198
C. Notation
(C.3)
(C.4)
(C.5)
We denote the group of all orthogonal matrices by O(n), the group of all
proper rotations by SO(n) or O+ (n) and we dene O (n) = O(n) \ O+ (n)
to be the set of all orthogonal matrices with determinant minus one. Finally
O(n, m) = {Q Mmn : QT Q = I}.
We will frequently use the following polar decomposition result (see e.g.
Theorem 9 in Chapter IX, 14 in [Gnt58]).
Proposition C.1. Any matrix F Mnn can be represented as F =
Q1 S1 = S2 Q2 with Q1 , Q2 O(n) and uniquely determined symmetric and
positive semidenite matrices S1 and S2 . Moreover, if det F = 0, then also
Q1 and Q2 are uniquely determined.
Denition C.2. Assume that F Mnn and that the polar decomposition
of F is given by F = QS with Q O(n) and S symmetric and positive
denite. We call the (nonnegative) eigenvalues 0 1 . . . n of S the
singular values of F . Moreover, if det F < 0, then we call the values i = i ,
i = 2, . . . , n, and 1 = 1 the signed singular values of F . By denition,
|1 | 2 . . . n , 1 < 0.
Remark C.3. Assume det F < 0 and that F = QS is the polar decomposition of F . If + = diag(1 , . . . , n ) denotes the diagonal matrix of the
singular values of F then S = QT1 + Q1 with Q1 SO(n). Similarly, if
= diag(1 , . . . , n ) is the diagonal matrix of the signed singular values
of F , then there exists a proper orthogonal matrix Q2 SO(n) such that
F = Q2 Q1 . The convention to put the minus sign in front of the smallest
singular value of F is convenient in the statements of Proposition 2.7.8 and
Proposition 2.7.9.
C. Notation
Rij
, Ri
ab
J
v
%
e1 , %
e2
e1 , e2 , e3
Hulls of matrices
K (i)
K lc
K rc
K qc
K pc
conv K
199
200
C. Notation
Sets of measures
supp
, f
U
P(K)
Mrc (K)
Mrc (K; F )
Mqc (K)
Mqc (K; F )
Mpc (K)
Mpc (K; F )
Lebesgue space
Sobolev space
H
older Spaces
space of p-summable sequences
|x1 | + . . . + |xn | for x Rn
maxi=1,...,n |xi | for x Rn
max{t, 0}
rank-one convex envelope of f
quasiconvex envelope of f
polyconvex envelope of f
embedding M22 M32
projection from Mmn onto a multi-well set K
projection from Mmn onto two wells
References
[AcF84] E. Acerbi, N. Fusco, Semicontinuity problems in the calculus of variations, Arch. Rational Mech. Anal. 86 (1984), 125-145
[AcF88] E. Acerbi, N. Fusco, An approximation lemma for W 1,p functions, in:
Material instabilities in continuum mechanics and related mathematical problems (J. M. Ball, ed.), Oxford University Press, 1988, 217-242
[AF98] G. Allaire, G. Francfort, Existence of minimizers for non-quasiconvex
functionals arising in optimal design, Ann. Inst. H. Poincare Anal. Non Lineaire
15 (1998), 301-339
[ACF99] D. R. Anderson, D. E. Carlson, E. Fried, A continuum-mechanical
theory for nematic elastomers, J. Elasticity 56 (1999), 33-58
[AP00] E. Aranda, P. Pedregal, On the computation of the rank-one convex
hull of a function, SIAM J. Sci. Comput. 22 (2000), 1772-1790
[A98] K. Astala, Analytic aspects of quasiconformality, Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998), Doc. Math. 1998,
Extra Vol. II, 617-626
[AH86] R. J. Aumann, S. Hart, Bi-convexity and bi-martingales, Israel J. Math.
54 (1986), 159-180
[B77] J. M. Ball, Convexity conditions and existence theorems in nonlinear elasticity, Arch. Rational Mech. Anal. 63 (1976/77), 337403
[B84] J. M. Ball, Dierentiability properties of symmetric and isotropic functions,
Duke Math. J. 51 (1984), 699-728
[B85] J. M. Ball, On the paper Basic calculus of variations, Pacic J. Math.
116 (1985), 7-10
[B89] J. M. Ball, A version of the fundamental theorem for Young measures, in:
PDEs and continuum models of phase transitions, Lecture Notes in Phys. 344,
Springer, 1989, 207-215
[B98] J. M. Ball, The calculus of variations and materials science. Current and
future challenges in the applications of mathematics (Providence, RI, 1997),
Quart. Appl. Math. 56 (1998), 719-740
[BC97] J. M. Ball, C. Carstensen, Nonclassical austenite-martensite interfaces,
J. Phys. IV France 7 (1997), 35-40
[BC99] J. M. Ball, C. Carstensen, Compatibility conditions for microstructures
and the austenite martensite transition, Mater. Sc. Engin. A 273-275 (1999),
231-236
[BJ87] J. M. Ball, R. D. James, Fine phase mixtures as minimizers of energy,
Arch. Rational Mech. Anal. 100 (1987), 13-52
[BJ92] J. M. Ball, R. D. James, Proposed experimental tests of a theory of ne
microstructure and the two-well problem, Phil. Trans. Roy. Soc. London A 338
(1992), 389-450
[BK87] J. M. Ball, G. Knowles, A numerical method for detecting singular minimizers, Numer. Math. 51 (1987), 181-197
202
References
References
203
204
References
[DK02] G. Dolzmann, B. Kirchheim, Liquid-like response of shape-memory materials, MPI MIS Preprint 53, 2002
ller, V. Sver
k, The two-well
[DKMS00] G. Dolzmann, B. Kirchheim, S. Mu
a
problem in three dimensions, Calc. Var. Partial Dierential Equations 10 (2000),
21-40
ller, Microstructures with nite surface energy: the
[DM95] G. Dolzmann, S. Mu
two-well problem, Arch. Rational Mech. Anal. 132 (1995), 101-141
[DW00] G. Dolzmann, N. J. Walkington, Estimates for numerical approximations of rank-one convex envelopes, Numer. Math. 85 (2000), 647-663
[DR64] M. J. Duggin, W. A. Rachinger, The nature of the martensite transformation in a copper-nickel-aluminum alloy, Acta Metall. 12 (1964), 529-535
[EL01] Y. Efendiev, M Luskin, Stability of microstructures for some martensitic
transformations, Math. Comput. Modelling 34 (2001), 1289-1305
[Er77] J. L. Ericksen, Special topics in nonlinear elastostatics, in: Advances in
applied mechanics 17 (C. S. Yih, ed.), Academic Press, 1977, 189-244
[Er80] J. L. Ericksen, Some phase transitions in crystals, Arch. Rational Mech.
Anal. 73 (1980), 99-124
[Er81] J. L. Ericksen, Continuous martensitic transitions on thermoelastic solids,
J. Thermal Stresses 4 (1981), 107-119
[Er85] J. L. Ericksen, Some surface defects in unstressed thermoelastic solids,
Arch. Rational Mech. Anal. 88 (1985), 337-345
[Er86] J. L. Ericksen, Constitutive theory for some constrained elastic crystals,
Int. J. Solids and Structures 22, (1986), 951-964
[Er89] J. L. Ericksen, Weak martensitic transformations in Bravais lattices, Arch.
Rational Mech. Anal. 107 (1989), 23-36
[Er91] J. L. Ericksen, On kinematic conditions of compatibility, J. Elasticity 26
(1991), 65-74
[FKR81] H. Finkelmann, H. J. Koch, G. Rehage, Liquid crystalline elastomers
A new type of liquid crystalline materials, Macromol. Chem. Rapid Commun.
2 (1981), 317-325
[Fo87] I. Fonseca, Variational methods for elastic crystals, Arch. Rational Mech.
Anal. 97 (1987), 189-220
[FH90] R. L. Fosdick, B. Hertog, Material symmetry and crystals, Arch. Rational Mech. Anal. 110 (1990), 43-72
[Fr90] D. A. French, On the convergence of nite-element approximations of a
relaxed variational problem, SIAM J. Numer. Anal. 27 (1990), 419-436
[Fr00] G. Friesecke, Quasiconvex hulls and recoverable strains in shape-memory
alloys, TMR meeting Phase transitions in crystalline solids, Max Planck Institute for Mathematics in the Sciences, Leipzig, 2000
[Gnt58] F. R. Gantmacher, Matrizenrechnung, Teil I, VEB Deutscher Verlag der
Wissenschaften, Berlin, 1958
[GP99] M. K. Gobbert, A. Prohl, A discontinuous nite element method for
solving a multiwell problem, SIAM J. Numer. Anal. 37 (1999), 246-268
[GP00] M. K. Gobbert, A. Prohl, A comparison of classical and new nite
element methods for the computation of laminate microstructure, Appl. Num.
Math. 36 (2001), 155-178
[GL89] L. Golubovic, T. C. Lubensky, Nonlinear elasticity of amorphous solids,
Phys. Rev. Lett. 63 (1989), 1082-1085
[Gd94] P. A. Gremaud, Numerical analysis of a nonconvex variational problem
related to solid-solid phase transitions, SIAM J. Numer. Anal. 31 (1994), 111127
[Gr83] M. E. Gurtin, Two-phase deformations of elastic solids, Arch. Rational
Mech. Anal. 84 (1984), 1-29
References
205
206
References
References
207
[Mi02] G. W. Milton, The theory of composites, Cambridge monographs on applied and computational mathematics, Cambridge University Press, 2002
[Mo52] C. B. Morrey, Quasi-convexity and the lower semicontinuity of multiple
integrals, Pacic J. Math. 2 (1952), 25-53
[Mo66] C. B. Morrey, Multiple integrals in the calculus of variations, Springer,
1966
ller, Microstructures, phase transitions and geometry, in: Proceed[M98] S. Mu
ings European Congress of Mathematics, Budapest, July 22-26, 1996 (A. Balog
et al., eds), Progress in Mathematics, Birkh
auser 1998
ller, A sharp version of Zhangs theorem on truncating sequences
[M99a] S. Mu
of gradients, Trans. Amer. Math. Soc. 351 (1999), 4585-4597
ller, Variational methods for microstructure and phase transitions,
[M99b] S. Mu
in: Proc. C.I.M.E. summer school Calculus of variations and geometric evolution problems, Cetraro, 1996, (F. Bethuel, G. Huisken, S. M
uller, K. Steen,
S. Hildebrandt, M. Struwe, eds.), Springer LNM 1713, 1999
ller, V. Sver
k, Attainment results for the two-well problem by
[MS96] S. Mu
a
convex integration, in: Geometric analysis and the calculus of variations (J.
Jost, ed.), International Press, 1996, 239-251
ller, V. Sver
k, Convex integration with constraints and applica[MS99a] S. Mu
a
tions to phase transitions and partial dierential equations, J. Eur. Math. Soc.
(JEMS) 1 (1999), 393-442
ller, V. Sver
k, Convex integration for Lipschitz mappings and
[MS99b] S. Mu
a
counterexamples to regularity, Ann. of Math. (2), to appear
n-Marrero, A numerical method for detecting singular min[NM90] P. V. Negro
imizers of multidimensional problems in nonlinear elasticity, Numer. Math. 58
(1990), 135-144
[NW93] R. A. Nicolaides, N. J. Walkington, Computation of microstructure
utilizing Young measure representations, Transactions of the Tenth Army Conference on Applied Mathematics and Computing (West Point, NY, 1992), ARO
Rep., 93-1, 1993, 57-68
[NW95] R. A. Nicolaides, N. J. Walkington, Strong convergence of numerical
solutions to degenerate variational problems, Math. Comp. 64 (1995), 117-127
[OG94] M. Ortiz, G. Gioia, The morphology and folding patterns of bucklingdriven thin-lm blisters, J. Mech. Phys. Solids 42 (1994), 531-559
[OR99] M. Ortiz, E. Repetto, Nonconvex energy minimization and dislocation
structures in ductile single crystals, J. Mech. Phys. Solids 47 (1999), 397-462
[Pa77] G. P. Parry, On the crystallographic point groups and on Cauchy symmetry, Math. Proc. Cambridge Philos. Soc. 82 (1977), 165-175
[Pa81] G. P. Parry, On the relative strengths of stability criteria in anisotropic
materials, Mech. Res. Comm. 7 (1980), 93-98
[Pe93] P. Pedregal, Laminates and microstructure, Europ. J. Appl. Math. 4
(1993), 121-149
[SMST97] SMST-97-Proceedings, Proceedings of the Second International Conference on Shape Memory and Superelastic Technology Conference held in March
1997, Asilomar, California, USA, (A. Pelton, D. Hodgson, S. Russell, and T.
Duerig, eds.), Shape Memory Applications, Inc., 2380 Owen Street, Santa Clara,
CA
[Pi91] A. C. Pipkin, Elastic materials with two preferred sates, Q. J. Mech. Appl.
Math. 44 (1991), 1-15
[Pi84] M. Pitteri, Reconciliation of local and global symmetries of crystals, J.
Elasticity 14 (1984), 175-190
[PZ98] M. Pitteri, G. Zanzotto, Generic and non-generic cubic-to-monoclinic
transitions and their twins, Acta. Mater. 46 (1998), 225-237
208
References
k, On the problem of two wells, in: Microstructure and phase tran[Sv93] V. Sver
a
sitions, IMA Vol. Appl Math. 54, (D. Kinderlehrer, R. D. James, M. Luskin
and J. Ericksen, eds.), Springer, 1993, 183-189
References
209
Index
algorithm
for the computation of envelopes, 156
for the computation of laminates, 166
austenite, 194
austenite-martensite transformation, 3,
193
body centered unit cell, 194
Bravais lattice, 193
cofactor, 197
compatible wells, 189
compound twin, 196
computation
of laminates, 163
of rank-one convex envelopes, 154
condition HN , 186
conditions for uniqueness of microstructure
condition (Cb ), 89
b ), 103
condition (C
condition (Ctf ), 111
constrained point, 11
convexity conditions, 183
crystallographic point groups, 193
cubic, 193
D-convexity, 185
Dirac mass, 187
eight point set, 13
energy well, 2
excess rotation, 85, 96
face centered unit cell, 194
four-well problem, 42
212
Index
two-well problem
in three dimensions, 55
in two dimensions, 27
unconstrained point, 11
uniqueness
in cubic to orthorhombic transformations, 135
in cubic to tetragonal transformations, 128
in cubic to trigonal transformations,
134
in tetragonal to monoclinic transformations, 143
of microstructure, 83
unit cell, 194
Young measure, 7