This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
1, the existence of equilibrium configurations may be compromised. For this reason, we may take the admissible deformations u in (2.1) to belong to W liJ) (fi). Typically, the deformation UQ giving the boundary conditions on dfl will be a Lipschitz mapping UQ G W 1>oc (fi) (we will not indicate the target space for deformations W^ llp (f2;R 3 ) since it is always understood by the context) such that /(WQ) < oo. In particular, det VUQ(X) > 0 for a.e. x 6 fJ. It is also usual to assume UQ : fl —>• uo(O) to be a 1-1 mapping. Other, more general possibilities may also be allowed. Under these conditions, we would like to analyze the problem of the existence of equilibrium configurations; that is, we are interested in understanding when we can find an admissible deformation U so that for all admissible u. The so-called direct method will lead us to become concerned about the weak lower semicontinuity of the functional /. This property in turn relies on the quasi convexity of W, which is the central issue of this chapter. In the appendix at the end of the chapter, some important points about Sobolev spaces and weak convergence are stated.
2.2
The Direct Method
In order to appreciate the simplicity and elegance of the direct method, let us look for a moment at the finite-dimensional situation. Let / : R™ -» R*. We would like to find x0 e R™ such that I(x0) < I(x) for all x € Rn. The first
2.2
THE DIRECT METHOD
11
condition we need to ensure is that / be bounded from below, I ( x ) > c> —oo, for all x € R™. Otherwise, there is nothing we can do about the analysis of the minimization problem: there cannot exist a minimizer. Let
and let {xj} be a minimizing sequence: T(XJ) \ m. If {xj} is relatively compact in Rra (this is the case if lim inf x^oc I(x) > rn) and I is continuous, then for some appropriate subsequence, not relabeled, x} -»• XQ and I(xj) -> m. Therefore I(x0) = m and x0 is a minimizer. In fact, since we are interested in minimizers it is enough to demand the lower semicontinuity of /:
whenever Xj —> x. The direct method consists of imitating the finite-dimensional case in the infinite-dimensional situation. The various important ingredients are 1. 7 is not identically +00; 2. 7 is bounded from below; 3. good compactness properties exist for the topology on the set of competing functions; 4. 7 should be lower semicontinuous with respect to the chosen topology. The function spaces of competing functions are usually Banach spaces with integral norms Lp(£l), Wl'p(£l), and the appropriate topologies with good compactness properties are the weak topologies over these spaces. In particular, if X is one of these spaces and is reflexive, it is well known that
possibly for a subsequence (Banach-Alaoglu-Bourbaki theorem). This property is extremely convenient and explains, from our perspective, why weak convergence is so important and why we are interested in deepening our understanding of it. Finally, the most difficult step in applying the direct method is enforcing the sequential lower semicontinuity property with respect to these weak topologies:
We can summarize the previous considerations in the following abstract theorem, whose proof has been sketched above. THEOREM 2.1. Let us consider the variational principle
where (i) A is a closed, convex subset of a reflexive Banach space X; (ii) 7 is coercive:
12
CHAPTER 2
QUASI CONVEXITY AND YOUNG MEASURES
(iii) / is sequentially lower semicontinuous with respect to the weak topology in X; (iv) there exists u £. A such that I(u] < oo. Then there exists UQ e A with I(UQ) < I(u] for all u e A. In our context, the functional I is given by (2.1), and because of property 3 in the previous section, minimizing sequences {uj} will converge weakly to some u in W 1>p (£l) (remember p > 1). According to the direct method, we must concern ourselves with the property of (sequential) weak lower semicontinuity of the functional /. The real issue is to decide when
This (sequential) weak lower semicontinuity property is the topic of this chapter. Those readers not familiar with weak convergence are advised to take a look at the appendix at the end of this chapter so that they can fully understand and appreciate the discussion that follows. From now on we will omit the term "sequential" when referring to weak lower semicontinuity, taking for granted that we always mean weak lower semicontinuity along sequences.
2.3
Young Measures
To study the weak lower semicontinuity property for a functional
where for the sake of simplicity we drop the dependence on x and u, is to concern ourselves with the possible behavior of the integrals
when the sequence {uj} converges weakly in W 1>p (fl). If this weak convergence is in fact strong so that Uj ->• u in W 1>p (f2) and, possibly for some subsequence, Uj(x) ->• u(x) and Vuj(x) —» Vu(x) for a.e. x € fi, then if W > 0 is continuous, by Fatou's lemma,
If W is continuous and bounded from below (by zero or some other constant), the associated functional enjoys the property of strong lower semicontinuity. Could one reasonably expect this inequality to hold even if the convergence is only weak? What further hypotheses do we need to impose on W to ensure the weak lower semicontinuity? Notice that in the case of weak convergence we can also apply Fatou's lemma, but in this case liminfj^oo W(Vuj(x)) is not, in general, W(Vu(x)).
2.3
YOUNG MEASURES
13
We study some simple examples to emphasize the behavior of weak convergence with respect to nonlinear functionals so as to gain some insight into the questions raised. 1. Let n = (0,7r/2) and fj(x] = sin(jx), g^x) = ff(x), x 6 H. Prom elementary trigonometry we have
Hence
for any interval (a, b) C fl. This actually means that
Observe that the square of the weak limit does not coincide with the weak limit of the squares. Nonetheless, we have the right inequality for weak lower semicontinuity
where 0 is the weak limit of {/_>•}Let us further take
0, and let us examine the weak limit of the sequence {ip(gj)}. In this case, using the periodicity of sine, we get
where (a) stands for the integer part of a. We conclude that the last two terms in the computations above converge to 0, and therefore
Notice that once again the weak limit of {<X
14
CHAPTER 2
QUASI CONVEXITY AND YOUNG MEASURES
while
In this case we do not have the weak lower semicontinuity inequality. We apparently need more conditions on W in order to have the weak lower semicontinuity property. 2. Let f(x) = 2x(0,i/2](x) - 1 for z € [0,1], and extend / to all of R by periodicity. Take fj(x) = f ( j x ) . It is easy to see that the jumps from 1 to -1 occur on a smaller and smaller scale as j tends to oo. On the other hand it is not hard to see that fj ->• 0 for fi = (0,1). However, fj = 1 for all j so that /? —^ 1 and once again the square of the weak limit is not the weak limit of the squares. Moreover, if ip : R —» R is any continuous function, then
and
for any interval (a, b) C (0,1); hence for any such y>,
In this particular case we have been able to describe the limit behavior of the integrals
for any function (p in terms of the expression (1/2)(^(1) + tp(—l)). This is the main feature of the Young measure device. Through this property, weak lower semicontinuity can be understood in a rather general way. The examples examined above should have convinced us that there is something special about sequences of a highly oscillatory nature when the convergence is only weak and not strong. In general terms, the problem we are trying to understand can be formulated as follows. Suppose that fj -^ / in L°°(fi) so that ||/j|| L oom) < C < co and (f is a continuous function. {
0 such that where We finally recall the classical Jensen's inequality. THEOREM 2.15. Let p be a positive measure over a a-algebra in a set fl such that fj,(fl) — 1. Let f be a vector-valued function in Ll(^) such that f ( x ) £ K for n a.e. x 6 f2, where K c Rm is a convex set. If (p is a convex function defined in K, then
Chapter 3
Polyconvexity and Existence Theorems 3.1
Introduction
We would like to specify situations in nonlinear elasticity where the general techniques described in the previous chapter lead to explicit existence results for equilibrium configurations. The central contribution of this chapter is to provide the main source of nontrivial (nonconvex) examples of functions that satisfy condition (2.6). Many of the typical energy densities for various classes of materials fall into this category and hence we will show that equilibrium configurations for these materials exist.
3.2
Polyconvexity
We showed in Chapter 2 that if the energy density of a hyperelastic material is convex with respect to the gradient variable, then we have equilibrium configurations under prescribed boundary conditions. Under the assumption of convexity of the energy density W, our existence theorem, Theorem 2.5, applies almost immediately. We would like to argue, however, that this hypothesis contradicts the physical requirements imposed on W. Indeed, for a convex function W : M -> R*, the set where it is finite has to be convex, but the set {F e M : det F < 0} is not. On the other hand, the axiom of frame indifference implies some inequalities that the eigenvalues of the Cauchy stress tensor in any point of any deformed configuration must verify. Nonetheless, these inequalities cannot always be expected to hold. There are counterexamples, although they are beyond the scope of this book. Hence, we have to rule out convexity as a basic assumption. If we cannot reasonably rely on the convexity assumption for our free energy densities W, how can we find some other condition on W to guarantee (2.6)? 25
26
CHAPTER 3
POLYCONVEXITY AND EXISTENCE THEOREMS
One fundamental idea is the following. Suppose we have found a function M : M —> R that has the property
for any homogeneous Wljp-Young measure v or for a selected subclass of those measures. If g : R -» R* is convex, the composition W(A) = g(M(A)} will verify (2.6), which is elementary to check by the usual Jensen's inequality. Likewise, if M(A) now represents the vector, in some order, of all (essentially different, i.e., linearly independent) functions verifying (3.1) and g is a convex function of all its arguments, the composition W(A) = g(M(A)} will verify (2.6) as well. What does (3.1) mean in terms of a sequence {Vwj} that generates vl If the two sequences {Vu,-} and {M(Vuj)} converge weakly in L1(Q) to Vw and M, respectively, then (3.1) means precisely that M = M(Vu), which is again elementary to check using the fundamental property of the Young measure and (3.1). Conversely, if we would like (3.1) to be true, we would have to show that v can be generated by a sequence {Vw-,-} such that Vuj —*• Vw and Af(Vwj) ->> M(Vw) in Ll(£l), where u e W1>P(JT). In practice, since if p > 1 the convergence VMJ —*• VM is always guaranteed, the fact M(Vuj) —*• M(Vu) in L 1 (n) is directly achieved as a result of the following two main ingredients: 1. {M(Vuj)} converges weakly in L1(J7) (which is a consequence of uniform bounds in some Lr(fl) with r > 1); 2. M(Vuj) —*• M(Vu) in the sense of distributions. Where can we look for functions M satisfying (3.1)? Since the weak convergence M(Vuj) —*• Af(Vu) in W 1|30 (fi) implies that both M and —M have to be quasi convex, we are thus led to determine continuous functions M, defined on matrices, such that both M and — M are quasi convex. An initial idea is that since quasi convexity implies rank-one convexity (this will be proved in Chapter 4), M and — M will have to be rank-one convex, i.e., the function M(A + tB) must be affine in t whenever B has rank one. The functions that enjoy this property are called quasi-afRne functions and they are identified in the following theorem. THEOREM 3.1. Affine functions of the minors of a matrix are the only quasi-affine functions. In the case of 2 x 2 matrices, there are five minors: the four entries (the 1x1 minors) and the determinant. For 3 x 3 matrices, we have 19 minors: the nine entries, nine 2 x 2 minors, and the unique 3 x 3 minor, the determinant. And so on it goes. The fact that these minors are quasi affine is easy to check. As a matter of fact, it is not hard to convince oneself that for one of these minors, M, the function of t, M(A + tB), is a polynomial of degree rank(B). To show that these are the only quasi-affine functions requires more work and a little bit of algebraic manipulation. For the complete proof of Theorem 3.1, let M(F) denote a quasi-affine function and let, for notational convenience, M^(F) denote the constant M(0).
3.2
POLYCONVEXITY
27
The difference M^)(F) = M(F) - M^(F) vanishes on rank-zero matrices, that is to say, on the zero matrix. Let et denote the standard basis in R3 so that €i
and let
We claim that this function vanishes on rank-one matrices. In order to prove this claim we state the following elementary property of quasi-affine functions that we are going to use several times: if M is a quasi-affine function such that
then M(A + B) = 0. The proof of this fact is almost trivial. Since A — B is of rank one, we can write
Certainly, M(2) is quasi affine (difference of two quasi-amne functions) and vanishes on gj ® ej by definition of M^. It is also true, bearing in mind that M^ is quasi affine, that for any scalar s,
By using the above-mentioned property, we can write
Proceeding in this way, one can easily show that
for any vector a. By using the same technique with respect to the second factor, we prove that for any two vectors a, n. For given indices i, j, fc, and I, let A.l^(F) be the 2 x 2 minor of F corresponding to rows i, j and columns k, I. Define
28
CHAPTER 3
POLYCONVEXITY AND EXISTENCE THEOREMS
We know that M^ is quasi affine so that the difference
is also quasi affine. We claim that M(3) vanishes on matrices of rank two or less. This is clearly the case for matrices of rank one or less and also, by definition, for all the matrices ti ® ek + €j ®ei. By again using repeatedly the elementary property mentioned earlier, one can show successively
for arbitrary vectors a, n, 6, m. This proves the claim. Finally, set
Once again M* is quasi affine, and just as before it can be shown that M* vanishes on matrices of rank three or less. This means that M* identically vanishes on M and therefore
Our main task consists now of showing that the minors indeed generate weak continuous functionals. For a matrix A 6 M, let A' denote some square submatrix of order r of A. The adjugate of A' is denned by the identity
where 1 is the identity matrix (of order r). THEOREM 3.2. Ifuj -± u in Wl
r, then det(Vuj)' ->• det(Vu)' in the sense of distributions. Proof. Because of the importance of this result and in order to make the argument for the general case more transparent, we are going to first give the proof in the particular case of 2 x 2 matrices and N = r = 2 so that there are no primes in the proof and
We divide the proof into two steps.
3.2
POLYCONVEXITY
29
Step 1. Let v 6 W^> P (Q). We claim that div(adj(Vu)) = 0 in the sense of distributions. If v is smooth, then it is very easy to check that
due to the equality of the mixed partial derivatives. For a nonsmooth function in W l t p ( f l ) , take a sequence of smooth functions {vj} converging strongly to v in W 1|p (fi). Obviously, adj(Vwj) will converge strongly to adj(Vu) so that for any test function,
as desired. Step 2. If uW is the ith component of u and adj^(Vw) is the ith row of adj(Vu), then, as a consequence of Step 1, we obtain that
as distributions. This identity is rather easy to check in this situation. Since (adj(Vuj)} is bounded in Lp(£l), some subsequence (not relabeled) will converge weakly in Lp(^l) precisely to adj(Vu) (notice that adj(Vw) are just the single derivatives of u). If ^ is a smooth test function, then
The first term is bounded by
which tends to 0 as j —>• oc because, by the compactness theorem for Sobolev functions, {uj} converges strongly to u in Lq(£l) for any finite q. The second term converges to 0 due to the weak convergence of the adjugates in LP(Q). This is the conclusion of the theorem in this particular situation. In the general setting, we require a little bit of notation. For a given deformation u, let (Vw)' denote the corresponding submatrix of order r of Vu. There are r independent variables and r components of the deformation u associated with the choice of this submatrix indicated by '. Let i correspond to some component of u chosen in the submatrix. div will indicate the divergence operator with respect to the independent variables involved in the submatrix, and the same will be understood for the vector operator V.
30
CHAPTER 3
POLYCONVEXITY AND EXISTENCE THKOREMS
We divide the proof again into two steps. Step 1. Let v e W l ' p ( S l ) . We claim that div'(adj(Vv)') = 0 in the sense of distributions. Assume first that v is actually smooth. Based on the equality of the mixed partial derivatives, we find indeed that div'(adj(Vu)') = 0. For a general v 6 Wl>p(fl), take a sequence of smooth functions {vj} converging strongly to v in VF lip (ft). adj(Vuj)' converges strongly to adj(Vu)' in Lp/(-T-1\tl) (by Holder's inequality and pointwise convergence) because the terms in adj(Vuj)' are products of at most r -1 factors. For a smooth test function ip,
for all j. By the strong convergence just pointed out,
and this is our claim. Step 2. If u^ is the tth component of u (one of the chosen ones in A') and adj^(Vu)' is the ith row of adj(Vu)', then, as a consequence of Step 1, we obtain that
as distributions. By induction, let us assume that adj(Vuj)' —*• adj(Vw)' in the sense of distributions. Since adj(Vuj)' involves terms with r — 1 products, it will be bounded in £,p^r~^(0), p/(r — 1) > 1, and therefore that sequence of adjugates will converge weakly (in Lp/(r~^(£l)) precisely to adj(Vu)' due to the uniqueness of both weak limits. If tp is a smooth test function, then
The first term is bounded by
which tends to 0 as j -» oo because, by the compactness theorem for Sobolev functions, {u.j} converges strongly to u in £*(fi) for q < 3p/(3 — p) if p < 3
3.3
COERCIVITY AND THE CASE p < CO
31
and in L°°($7) if p > 3. Notice that p / ( p - r + 1) < 3p/(3 - p) if p > r. The second term converges to 0 due to the weak convergence of the adjugates in £p/(r-i)(Q)_ The theorem is proved. This result is important because it allows us to conclude that whenever Uj —>• u in W l i p (fi) and {M(Vuj)} converges weakly in Ll(£l), M being any minor of order r and p > r, then we have in fact M(Vw^) —^ M(Vu) in and consequently (3.1) will hold for the Young measure associated with {Vuj}. For instance, in the case p = oo we always have the weak convergence in L°°(Q) of {M(Vitj)} for any minor M so that M(Vuj) ->• M(Vu) in L°°(n) if u is the weak limit of {«?}. PROPOSITION 3.3. // M is any minor and v is any homogeneous jy1'00Young measure, then (3.1) holds. Let M(A) denote the vector of all possible minors of a matrix A considered in some fixed order. A function W : M —> R* is called polyconvex if it can be rewritten in the form W(A) = g ( M ( A ) ) , where g is a convex (in the usual sense) function of all its arguments. A direct consequence of our previous discussion is that every polyconvex function W verifies (2.6) for any homogeneous W1'00Young measure, and consequently we have the following result. PROPOSITION 3.4. IfW : M -> R* is polyconvex and Uj -^ u in W1'00^), then
It is very easy to give examples of polyconvex integrands that are not convex. For instance, g(det A) is always polyconvex for any convex function g.
3.3
Coercivity and the Case
In variational principles, the weak convergence Uj —^ u of minimizing sequences is usually enforced through coercivity assumptions on the integrand W. Unfortunately, this weak convergence can very rarely be obtained in W1'°°(17) unless W(A) = +00 whenever |.4| > R for some R > 0, but this hypothesis is not interesting. Much more natural are coercivity assumptions assuming a certain rate of power growth for W:
The exponent p is crucial, and in particular its size relative to the dimension 3. Note that if no such coercivity assumption holds (for instance, if W( A) = det A), then the direct method cannot be implemented and the existence theorem proved in section 3.4 is compromised. This is the reason why the technical details that follow, although tedious to some extent, are important. The growth exponent p determines the Sobolev space in which we have to work, and in particular we need hypotheses to ensure (3.1) for homogeneous Wrl'p-Young measures precisely for that value of p.
32
CHAPTER 3 POLYCONVEXITY AND EXISTENCE THEOREMS
The following result lists several situations in which we can achieve the weak convergence of (M(Vuj)} in Lp(fl) for finite p. THEOREM 3.5. Let v = {vx}xeft be a Wl'p(£l)-Young measure with p > 2. If v can be generated by the gradients of a sequence {uj} such that one of the following conditions holds, then (3.1) holds for a.e. vx: 1. {uj} is bounded in Wl>p(£l) and p > 3; 2. {uj} is bounded in Wl's(£l) and {|V«j|3} is equi-integrable; 3. {uj} is bounded in W lip (Q), 2 < p < 3, and (adj(Vtij)} is bounded in L"(SI), q > 3/2; 4. {uj} is bounded in W1'"(&.), 2
3p/(4p - 3), and {det(Vu.,-)} is bounded in Lr($l), r > 1. Proof. The proof reduces to showing in each case that
and then concluding that F = adj(Vw) and / = det(Vu). Cases 1 and 2 are taken almost directly from Theorem 3.2 and the equiintegrability for the case p = 3. In case 3, notice that Theorem 3.2 applies for r = 2 so that the adjugates converge in the sense of distributions. Since the exponent of boundedness is greater than 1. the convergence takes place weakly in L 3 / 2 (Q). For the determinant we cannot directly apply Theorem 3.2. However, under these assumptions on the adjugate, (3.2) shows that the determinants converge in the sense of distributions by using Holder's inequality with the exponents 3p/(4p - 3) and 3p/(3 - p) rather than p/(r - 1) and p/(p - r + I). Notice that 3/2 > 3p/(4p - 3) if 2 < p < 3. On the other hand, the inequality |detv4| < <7|adj J 4| 3/2 shows that {detVwj} converges weakly in L1^). Case 4 is left to the reader.
3.4
Existence Theorems
Our main existence theorem for polyconvex integrands yields minimizers for the energy
under Dirichlet boundary conditions u = UQ on <9fi. THEOREM 3.6. Assume the following assumptions on the energy density W: 1. W : tt x R3 x M ->• R* is a Caratheodory function; 2. W(x,u, •) is polyconvex for a.e. x e fl and every u 6 R3;
3.4
EXISTENCE THEOREMS
33
3, one of the following coerciveness conditions holds for some constant c > 0:
If I(UQ) < oo for some UQ 6 W l i p (f2), the variational principle
admits minimizers. Note that our situation in nonlinear elasticity, where W(x, u, A) = +00 when det^4 < 0 and W(x,u,A) ~> +00 when det/1 -> 0 + , is covered by assumption 1 in Theorem 3.6. Proof. After Theorem 3.5, the only delicate point in this proof is the case p = 3. The following remarkable lemma yields the clue to the proof. Its complete proof can be found in Chapter 5. LEMMA 3.7. Let {vj} be a bounded sequence in W l > p ( f y , p > 1. There always exists another sequence {uj} of Lipschitz functions (uj € Wl'°°(£l) for all j) such that {|Vttj p} is equi-integrable and the two sequences of gradients, {V?Xj} and {Vuj}, have the, same underlying Wl>p(ty-Young measure. Note that in the cases when 2 < p < 3, discontinuous deformations are allowed in the variational principle. In certain cases some of them might be the optimal configurations (cavitation and fracture). This issue is, however, far beyond the scope of this text. We finally provide some results concerning the orientation-preserving and injectivity requirements. Concerning the former we have the following elementary lemma. LEMMA 3.8. Assume z3 is such that Zj(x) > 0 a.e. x S fi and
where h > 0 is continuous and h(t) = +00 when t < 0. // Zj —>• z in Lp($l), p > 1, then z(x) > 0 a.e. x e fi. Proof. Since Zj -*• z in I/ p (fi), for any measurable subset A C 0 we have
The nonnegativity of the integrals on the left-hand side and the arbitrariness of A imply that z > 0 a.e. x e SI. Let E = {z = 0}. Define w in E by
34
CHAPTER 3
POLYCONVEXITY AND EXISTENCE THEOREMS
w is nonnegative and by Fatou's lemma,
Due to the weak convergence Zj -*• 0 in E where z = 0, we conclude that
This implies w(x) = 0 a.e. in E, and hence
By Fatou's lemma,
Since h(0) = +00, \E\ must be For our purposes, it is enough to apply Lemma 3.8 in the context of Theorem 3.6 to Zj = det Vttj, z = det Vu, and
Note that this function h is continuous due to the uniform coercivity of W with respect to (x,u). The injectivity issue is much more delicate. We simply state without proof the following fact that is sufficient in many cases. THEOREM 3.9. Assume thatuo is a continuous-up-to-the-boundary, injective deformation of a domain fl and let u be another deformation such that u G Wltp(£i) for some p > 3, det Vu > 0, a.e. x € J7; and u = UQ on <9fi. Then u is a.e. injective.
3.5
Hyperelastic Materials
In this section we seek to analyze the examples of hyperelastic materials included in the last section of Chapter 1, in the context of Theorem 3.6. The main example to which Theorem 3.6 can be applied is the case of Ogden materials whose energy densities are of the form
3.5
HYPERELASTIC MATERIALS
35
where r, s are positive integers, a« > 0, bj > 0, a^ > 1, /3j > 1, and 5 is a convex function. We must demonstrate the poly convexity and coerciveness for this W. We treat these two issues successively. Concerning the polyconvexity, it is convenient to express W(F) in terms of the singular values of F and adj.F. We know that if Uj are the singular values of F then t^fs, ui^s, and v\v^ are the singular values for adjF. We can rewrite W(F) as
In this case, it suffices to check the convexity of the function
when 7 > 1, in order to show the polyconvexity of W. The convexity of such a (p is a consequence of the next two lemmas. LEMMA 3.10. Let n > r 2 > r3 > 0 be given. The function
where Vi > V2 > v$ > 0, is convex. Proof. The conclusion of the lemma will follow from the identity
where the maximum is taken among orthogonal matrices. Note that for fixed Q and R, the function ti(FQDR) is linear in F, and the maximum of linear functions is convex. In order to establish the equality (3.4), by Theorem 1.3 we have
By Theorem 1.4, the particular choices Q = T^1 and R — S'1 yield the equality. LEMMA 3.11. Let g : [0, +oc)3 —>• R be a convex, symmetric function, nondecreasing with respect to each variable. The composition
is convex.
36
CHAPTER 3 POLYCONVEXITY AND EXISTENCE THEOREMS
Proof. The symmetry requirement on g means that it is invariant under any permutation of its variables. Let a, 6, and u denote the vectors of singular values of the matrices A, B, and XA+(1— A)J5, respectively, ordered in a nondecreasing fashion, A e (0,1). We have to check that
Since g is convex, it suffices to show that
Let V consist of the vectors (0,0,0), (ui,0,0), (vi,V2,Q), («i, ^2,^3), and all those obtained by permutations of the last three vectors. V contains at most 13 vectors. We would like to show that u belongs to the convex hull of V. If this is so, since g is convex, we can write
However, since g is symmetric we can actually put
where s« > 0 and J]isi = 1- Moreover, g is nondecreasing with respect to any of its variables so that
and hence The lemma will then have been proved. It remains to show then that u G co(V) (the convex hull of V). To this end, assume we have a vector d e R3 and e e R such that
We would like to conclude that in this case u • d < e as well. First, observe that because (0,0,0) 6 V, e > 0. Consequently, if all coordinates di < 0 we would trivially have u • d < e because all coordinates Ui > 0. For a suitable permutation of indices a, one of the three following possibilities must hold:
3.5
HYPERELASTIC MATERIALS
37
Whatever the situation, let j denote the greatest index such that da-\^ > 0. The following chain of inequalities proves our claim:
The first inequality is an easy exercise if you bear in mind that the coordinates of u are ordered in a nondecreasing fashion. The third inequality is a direct consequence of Lemma 3.10 for an appropriate choice of TJ. The last inequality is true because the vector with coordinates va^ for i < j and 0 for i > j belongs to V. Since the function
verifies all the requirements of Lemma 3.11, keeping in mind the observation made earlier about the singular values of adj(F), we conclude that the polyconvexity property holds for the energy density of Ogden materials. Concerning the coerciveness, simply notice that the map
is a norm in R3 if 7 > 1. Since all norms are equivalent in finite-dimensional spaces, there exists some positive constant c7 such that
Because |.F|2 = tr FTF = Vi(F)2 +2(F)2 v + vz(F)2, this inequality means that
Applying this fact to all terms in (3.3), we get the coercivity
where a, b > 0, a = maxQi, j3 = max/?i. We can apply our main existence theorem provided we have the proper relationship between the exponents a, j3 and the one for the coercivity of g. The particular case of Mooney-Rivlin materials for which
38
CHAPTER 3
POLYCONVEXITY AND EXISTENCE THEOREMS
is also covered by Theorem 3.6. This is not so for neo-Hookean materials
due to the absence of the term involving the adjugate: coercivity fails. Nevertheless, in dimension N = 2 the existence theorem is recovered because we regain the necessary coercivity. The St. Venant-Kirchhoff materials with energy densities of the form
where a, (3 are constants, exhibit a real difficulty in the sense that these energy densities are not polyconvex. In this regard, the failure of the existence theorem is deeper. PROPOSITION 3.12. An energy density of the form
is not polyconvex if a < 0 and b, c > 0. Proof. Consider the matrices
It is a matter of careful arithmetic to check that
where M is the vector of all minors for 3 x 3 matrices, in other words, M(F) = (F,adjF,detF). If W(F) were polyconvex, there would exist a convex function g such that
and in this case,
However, if one performs these computations, the following inequality must hold:
3.5
HYPERELASTIC MATERIALS
39
for any e > 0. This is clearly impossible, and hence W cannot be polyconvex. The energy density of a St. Venant-Kirchhoff material can be easily rewritten in the form where a < 0 and b,c,d> 0. By the previous proposition such a function cannot be polyconvex. Nonetheless, such energy densities can be approximated near the identity by integrands corresponding to Ogden materials.
This page intentionally left blank
Chapter 4
Rank-one Convexity and Microstructure 4.1
Introduction
We describe a class of materials whose stored-energy densities lack the property of quasi convexity. This situation leads us to consider generalized variational principles where Wl'p-Young measures are allowed to enter the minimization problem. These objects are physically interpreted as microstructures and represent highly oscillatory minimizing sequences on smaller and smaller spatial scales. Here we study a particularly important class of such microstructures: the so-called laminates. The title of this chapter refers to the relationship between rank-one convexity and laminates. Although the issue is beyond the scope of the book, it turns out that this kind of microstructure can be characterized in terms of Jensen's inequality for rank-one convex functions and so rank-one convexity is central to this chapter. The reader will not find applications to real materials. Our objective is to stress the ideas in order to understand, from an energetic point of view, the appearance of microstructure and fine-phase mixtures in elastic crystals.
4.2
Elastic Crystals
We will consider a crystal as a countable set of atoms arranged in a periodic fashion. Probably the simplest way of describing this array is to place the origin at one of the atoms and then refer the position of the remaining atoms to the chosen origin using three independent lattice vectors {HI, n2,713}. We let N € M be the matrix with columns n;. We postulate the existence of a nonnegative, free energy $ that depends on the change of shape and on temperature as well. As before, it is a function of each particular periodic array of the atoms of the 41
42
CHAPTER 4 RANK-ONE CONVEXITY AND MICROSTRUCTURE
crystal given by matrix N. We assume that $ is frame indifferent as usual ($(JV) = $(QN) for any rotation Q), but it should also be invariant under any change of lattice basis: if N' is an equivalent choice of lattice basis (equivalent in the sense that the positions of the atoms are the same for TV and for N'), then <E>(./V) — $(JV'). Since N and N' must be related by a matrix of the set
where Z is the set of integers, we can write
Once a basis of lattice vectors has been chosen and the corresponding matrix N is fixed, we define the energy density per unit reference volume by putting
Altogether we have the invariance
where Q is any rotation and H £ NGL(Z>3) N~l, which is a conjugate group of GL(Z3). Furthermore, we also impose the conditions
In practice, however, the invariance above is assumed only when H e P, where P is the point group of the reference crystal lattice consisting of all the matrices H e N GL(Z3) N"1 that are rotations. This is a finite group. For example, if the atoms in the reference configuration aligned themselves on cubic cells, then P would include the 24 rotations that leave a cube invariant. As mentioned, W and $ depend on temperature 6. Above a certain critical temperature 90 there is a stable phase, taken as reference. By "stable" we simply mean that it minimizes W, so that Wg(\) = 0, where 1 is the identity matrix and B > 90. At the transition temperature OQ, there is a change of stability or of crystal structure so that below 6*0 the stable phase is no longer represented by 1 but by some other nonsingular matrix f/o describing the change in crystal structure that has taken place. Thus Wg(U0) = 0 but Wg(l) > 0 for Q < 00. At the transition temperature 9 — OQ both phases may coexist: WgQ(Uo) — Wg0(l) — 0. Because of the invariance that the energy density W — Wg0 must satisfy, we should have at the critical temperature
for any H £ P and any rotation R. We have found many matrices for which the free energy density W vanishes:
4.3
LACK OF QUASI CONVEXITY
43
where P = {l,Hi,Hi,...,Hn} and R is any rotation. We call each one of the sets a potential well associated with U% = HiUQH:[ and make the further assumption that the free energy density W is positive outside the set of the wells: the zero set for W, {W = 0}, is exactly the set of the wells. Under these circumstances, we are looking for minimizers of the energy functional among all deformations u of the reference configuration ft c R3 satisfying appropriate boundary conditions. We are explicitly assuming that W is the same for all points in the reference domain (i.e., no dependence on or).
4.3
Lack of Quasi Convexity
The most striking consequence of the previous description is that the energy density for an elastic crystal cannot be closed Wlip-quasi convex. Recall that W : M —> R* enjoys this property when Jensen's inequality holds for all homogeneous Wl'p-Young measures. There is a necessary condition for a function to be closed W1>p-quasi convex (or quasi convex for that matter) that is also very important for the description of equilibrium configurations of elastic crystals. This condition is called rank-one convexity and it requires the usual convexity condition along directions of rank one: W is said to be rank-one convex if
whenever FI — F% is a matrix of rank one. In order to establish the necessity of this condition we rely on the following convenient reformulation of the quasi convexity condition. LEMMA 4.1. // a function W : M —>• R* is closed W1'1'-quasi convex for some p > 1, then
for all T'-periodic Lipschitz deformations u and every matrix F, where T is any unit cube in R 3 . The converse of this result requires suitable upper bounds on W for finite p or the finiteness of W for p = +oc. Because the format of the statement of the lemma is not the usual one in which this result is presented, we give the proof here. Proof. We may take F = 0 without loss of generality. Given a T-periodic Lipschitz deformation u, consider the sequence
44
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
Trivially, Vu}(x) = Vu(jx] for x e T. We would like to identify the Young measure associated with this sequence of gradients. This is in fact a homogenization result in the spirit of Theorem 5.12. Indeed, let £ be a continuous function in T and
• R* is rank-one convex and v is a laminate, then
This is easy to derive because of the recursive way in which (Hi) conditions are defined. It turns out that this condition is also sufficient so that laminates are to rank-one convexity what gradient Young measures are to quasi convexity. The proof of Theorem 4.7 or its rank-one convex counterpart cannot be found in Chapter 5. We refer readers to the Bibliographical Comments at the end of the book for further reading on these issues.
4.6
The Two-Well Problem
An interesting way of making precise some of the ideas described in the previous sections, and of demonstrating how complicated some issues might be concerning
4.6
THE TWO-WELL PROBLEM
51
the description of microstructures, is to study the two-well problem, where we assume that the zero set of the energy density W7, {W = 0}, is the union of two disjoint wells. We restrict our attention to dimension 2 so that M denotes throughout this section the set of 2 x 2 matrices. The case of dimension 3 is considerably more complex. The problem we want to address is the search for minimizers of the variational problem
where UQ is some prescribed Lipschitz deformation with finite energy I(UQ) < oo. Our main assumption here is that the free energy density W is nonnegative, W(F) = +00 if det F < 0, and
SO(2) designates the space of rotations in the plane. We are interested in finding stress-free microstructures I ( v ) = 0 and would like to draw some conclusions on the following issues: 1. conditions on the wells to ensure the existence of nontrivial, stress-free microstructures; 2. affine boundary values UF(X) = Fx that may support such microstructures; 3. examples of stress-free microstructures. Before analyzing these topics, and as a preparation for the discussion that will follow, we first focus on several elementary facts. The convex hull of the set SO(2) consists of all matrices P of the form
Furthermore, if /j, is a probability measure on SO(2),
is in the convex hull of SO(2). If det P = 1, then P e SO(2) and /j, = SP. The main tool in deriving necessary conditions in this context is the minor relation
which should be valid whenever v is a gradient Young measure. This equality is also true for i'p(A) = det(A — F) for a fixed matrix F because t/j is also a weak continuous function. This fact can also be proved by using the formula that follows, which will play a role in some proofs. It is only valid for 2 x 2 matrices:
Note that (adj A)T • B is a linear function on the entries of A.
52
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
We would like to consider whether it is possible to have nontrivial gradient Young measures supported in a single well SO(1)F. This is impossible because if v is a gradient Young measure supported in SO(2)F, we must have
The right-hand side is detF and the left-hand side can be written as det(PF), where P G co(SO(2)). Hence, detP — I and by the observation above this implies that v has to be trivial, i.e., a delta measure. A second step is to consider gradient Young measures supported in just two matrices, F\ and F%, rather than two wells. In this case any probability measure can be decomposed as Again by the weak continuity of the determinant, The left-hand side can be factored out as This formula is also valid only for 2 x 2 matrices. It clearly implies that det(Pi — F2) — 0 and thus FI — F2 must be a rank-one matrix. Otherwise, v must be a Dirac mass. We now get into the two-well problem fully and treat the three issues indicated above sucessively. Our main result concerning restrictions on the set of two wells is the following. We say that the wells 5O(2)F: and SO(2)F2 are incompatible if FI - QF2 is never a rank-one matrix for all rotations Q. THEOREM 4.8. Let v be a homogeneous gradient Young measure with If the wells SO(2)Fi and SO(2)F2 are not compatible, v = &QHi is a Dirac mass. A crucial technical fact in the proof is the next lemma. LEMMA 4.9. Let A be a matrix such that det(A — Q) > 0 for all rotations Q e 50(2). Then det(A - P) > 0 for every P € co(5O(2)). Proof. Write
After some algebra,
4.6
THE TWO-WELL PROBLEM
53
If det(A - Q) > 0 for all (a, 0) in the unit circle, this means that the unit circle does not meet the circle centered at
with radius
By continuity, this last circle does not meet the solid unit circle either. This is the conclusion of the lemma Proof of Theorem 4.8. Set
Consider the weak continuous function On the one hand, by direct substitution. On the other hand, and due to the weak continuity of det and by (4.7),
As an intermediate step, we have used the fact
By putting together these two ways of computing ift(F), we obtain the equality
54
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
or
Assume that A 6 (0,1) and the wells are incompatible, so that det(RFi — QF2) > 0 for all rotations Q and R. Multiplying by F^1 to the right and letting A — RFiF^1 we have det(A - Q) > 0 for all rotations Q. By Lemma 4.9, det(^4 — P) > 0 for all P in the convex hull. This is equivalent to having det(RFl - PF2) > 0 for all such P. In particular, det(fif\ - P2F2) > 0 for all rotations R. Therefore
If we consider again the decomposition
we observe that the first term on the right-hand side is positive by (4.11), and the second one is nonnegative by (4.9). Hence tl>(F) > 0, and by (4.8), det(Pi.Fi — P2F2) > 0. This is a clear contradiction to (4.10) because the sum of three nonnegative terms vanishes only if each one vanishes individually. The conclusion is that if the wells are incompatible, then either A = 0 or A = 1 and in this case the probability measure is trivial (the case of one well). We would like to characterize the affine boundary conditions Uo(x) = Fx, F e M, that may support nontrivial, stress-free microstructures. We assume accordingly that the two wells are compatible. After an appropriate change of coordinates we can take
where 6 > 0 is a fixed parameter and a is the canonical basis for R2. If v is a homogeneous gradient Young measure, we write
and hence
where P; e co(SO(2)) and
4.6
THE TWO-WELL PROBLEM
55
We have kept the notation -F\ = -Fo, -Fj = F^1 for convenience. Placing these expressions into F,
and for C — FTF, the Cauchy-Green tensor, write
We have the inequalities
On the other hand, by the weak continuity of det,
so that and consequently In the Cn-c22 plane we have found the constraints
These determine a region D that is easy to draw. Does every point in D come from the Cauchy-Green tensor corresponding to a gradient Young measure v supported in Kl In order to answer this question, we need to review briefly how laminates supported in four matrices can be easily constructed. Given four matrices, A, B, (7, D, a set of compatibility conditions that allows us to build a laminate consists of
for some X, a G (0,1). In this case, any convex combination of X$A + (1 — A)£B and crSc + (1 — cr)So will be a gradient Young measure (a laminate), using again the idea of layers within layers to find the corresponding sequence of gradients.
56
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
Let v be the laminate supported in K:
(FQ and Fg"1 are rank-one related). For this v,
and the corresponding Cauchy-Green tensor
As A moves from 0 to 1, c22 = 1 + 52(1 - 2A) 2 decreases from 1 + S2 to 1 and then increases back to 1 + 52, while en stays constant at 1. There is another matrix Qg € 5O(2) with the property that Q$F0 is rank-one related to F^1. Namely, after some computations,
The matrix QgF0 is called the reciprocal twin of F^1. Thus we may consider the laminate and find
In this case one obtains
so as A runs through [0,1], 032 is fixed at 1 + 52 but en goes from 1 to 1/(1 + ^ 2 ) and back to 1. The same computations show that for a given A S [0,1] and Q(\) — Qs(i-"2,\)^ given by (4.12) with 6(1 — 2A) replacing S, the matrix
is the reciprocal twin of
because (1 — A)_Fo + AFg"1 is a matrix of the same type as FQ. For
4.6
THE TWO-WELL PROBLEM
57
we eventually reach every point in D as (cr, A) e [0,1] x [0,1], for A lets us move up and down and a from left to right. This F corresponds to the measure
where
This probability measure is a laminate because the rotation Q(\) was so determined. The next step is to study, for each possible F whose Cauchy-Green tensor lies in D, the set of gradient Young measures supported in the two wells with such an underlying deformation or at least to say something about the structure or the complexity of that set. As we will see shortly, this is a much harder problem that cannot be solved completely except for some special matrices. Suppose that v = {VX}X€Q is a nonhomogeneous gradient Young measure supported in K where we take again FI = FQ, F% = F^1, vx = (1 — A(or)) v]. + \(x)v^,. Denote by y(x] the deformation underlying is, that is,
where
belong to the convex hull of SO(2). We have the following uniqueness result. THEOREM 4.10. Suppose thaty(x] satisfies for some 8, 0 < 9 < 1. Then Proof. Assuming that |fi| — 1, by the divergence theorem,
58
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
where A is the average of A over fJ. Now
are probability measures, and hence reduce to Dirac masses if the Mt are rotations. Furthermore, the M, are averages of rotations, and hence lie in the convex hull of 5O(2). We now have the equation Multiplying to the right by where H - (F^1)2 = I + tei
Then Ictil < 1 and imply QJ = 1. Moreover, forces j3z — 0. Finally, can only happen if j3\ = 0, and likewise implies 9 = A. Consequently, the matrices Mi = 1, v\. — Si, i = 1,2, and We now need to show that \(x) is actually a constant function. First, using the mixed second partial derivatives in (4.14) with P, = 1, we conclude that A(or) is a function of x<2 alone. Then Applying the boundary condition, we see that f(xz) = 9tx2, and going back to (4.14), we obtain A(x) = 0 This uniqueness result is very special. Indeed, for most of the matrices that may support nontrivial microstructures such uniqueness fails drastically: there even exist continuously distributed gradient Young measures supported in the two wells. This is the aim of the final section of this chapter.
4.7 CONTINUOUSLY DISTRIBUT
4.7
59
Continuously Distributed Laminates
We provide here some insight into how complicated a laminate can be. We will show that for a given affine deformation F supporting nontrivial stress-free microstructures there is a whole continuum of laminates. As a consequence, by taking convex combinations of these we can build microstructures in which a continuum of matrices participates. These are continuously distributed laminates. We stick to the notation of the previous section. In particular, we designate by Qi, i = 1,2, the rotations for which
One of the Qj's is precisely the identity matrix 1 and the other one yields the reciprocal twin. Let the underlying affine deformation F be given that supports nontrivial, stress-free microstructures such that
The additional constraint (a2 + c 2 )(6 2 + d2) > I is a direct consequence of the fact that detF = 1. THEOREM 4.11. Let A e K. A sufficient condition for the existence of a stress-free laminate with first moment F whose support contains A and is contained in a set of at most four matrices from K is the following, according to whether
Proof. We will concentrate on the first case. The second one is similar. Let us set
By (4.7), we get
which says that F is rank-one related to the matrix
60
CHAPTER 4
RANK-ONE CONVEXITY AND MICROSTRUCTURE
If we put
consider the half-line F + sBi, s > 0. It is easy to check that for small values of s such matrices may support nontrivial laminates (i.e., verify the three requirements on the Cauchy-Green tensor of the last section) and moreover, if so > 0 is the infimum of the values of s such that F + sBi does not admit stress-free laminates, then either the square of its first column is 1 or the square of the norm of its second column is 1 + 62. According to our discussion in the preceding section, F + s$Bi must be a convex combination of two rank-one related matrices, one on each well,
for some rotation Q, ii £ [0,1], j = 1 or 2. By construction, it must be clear that for some A € [0,1],
is a laminate with barycenter F and whose support contains A — RF0 and is contained in K. We would like to solve the inequalities expressed in the statement of the previous result and see how often those conditions can be met. For the sake of simplicity in the computations, we will take 5 = 1. In this case,
and we set
with
Let us first take Q, — 1. If we solve explicitly for t in
we obtain The condition t G [0,1] translates, after some manipulation, into either
or
4.7
CONTINUOUSLY DISTRIBUTED LAMINATES
61
The two lines
intersect at the unique point
Under the condition a2 + c2 < 1, the point P lies inside the unit circle, and therefore the above two families of inequalities will hold when R is a rotation of angle B with 0i < 9 < <92 or 03 < 0 < 04, where 6»i < 6>2 < 6»3 < 6>4. If
the computations are similar. The value of t is given by
Again the restriction t £ [0,1] holds true if
or
If we consider the line
then r\ and r3 meet in the point
This point lies inside the unit circle provided that b2 + d2 < 2. Notice that r3 is orthogonal to rz- This final situation is similar to the one previously discussed but for different values of the angles 9r. The important conclusion is, anyway, that we have a whole continuum of laminates supported in K for the same underlying deformation F. By combining more and more laminates of these families through convex combinations, we can eventually have continuously distributed laminates supported on the set of the two wells. This makes it clear that there exist very complex stress-free microstruetures.
This page intentionally left blank
Chapter 5
Technical Remarks 5.1
Introduction
We gather in this chapter several remarks on the proofs of the main results and facts about Young measures used in the previous chapters. We have tried to keep these remarks to a minimum, including only the necessary results and facts to facilitate understanding of the structure of the complete proofs. Prom this perspective, this chapter should be referred to when the reader might be interested in a particular technical proof. The complete proofs themselves have not been included here because they can all be found in [176]. The statements of the main results to be discussed are taken from this reference. We have, however, given some hints on some of the nontechnical parts of some proofs and even some selected proofs, so as to avoid this chapter becoming a mere list of results. Nevertheless, we warn the reader that it is not intended to be read in the same spirit as the preceding chapters.
5.2
The Existence Theorem for Young Measures
The starting point for the use of Young measures in variational principles is the following existence theorem. THEOREM 2.2. Let fi C R w be a measurable set and let Zj : £1 -> Rm be measurable functions such that
where g : [0, 00} —» [0, oo] is a continuous, nondecreasing function such that limt^oo g(t) = oo. There exist a subsequence, not relabeled, and a family of probability measures v = {vx}X£fi (the associated Young measure) depending measurably on x with the property that whenever the sequence {i/j(x,Zj(x})} is 63
64
CHAPTER 5
TECHNICAL REMARKS
weakly convergent in Ll(fl) for any Caratheodory function ifr(x, A) : Q x Rm —>• R*, the weak limit is the function
It is therefore important to understand the weak convergence in i 1 (fJ) of uniformly bounded sequences in the i1-norm because it is this condition that enables us to represent weak limits through Young measures. Remember that a sequence of ^-functions {fj} is said to be equi-integrable if, for given e > 0, one can find 5 > 0 (depending only on e) such that
for all j, if \E\ < 6. The following version of this property turns out to be very useful. LEMMA 5.1. Let {fj} be a bounded sequence in Ll(Q),
The sequence is weakly relatively compact in i1(r2) if and only if
The limit (5.2) prevents the existence of concentration effects. For the proof of the existence theorem of Young measures, we need a few basic notions of Lp-spaces when the target space for functions is some general Banach space X with dual X'. For £7 c RN we write f is strongly measurable and
Such a function / is said to be strongly measurable if there exists a sequence of simple (i.e., taking a finite number of values) measurable functions {fj} such that fj(x) —>• f ( x ) a.e. x e 0 and
We write Lpw($l;X} = I f : fi -> X : f is weakly measurable, ||/(o;)||x is a measurable function of x, and
5.2
THE EXISTENCE THEOREM FOR YOUNG MEASURES
65
A function / is weakly measurable if for every T € X' the function of a;, x i—> (/(x),T), is measurable. In the same way,
measurable function of x, and Lp(tt;X), L£, (fl;X), and L ^ , t ( f l ; X ' ) are Banach spaces under the Lp-norm. THEOREM 5.2. Let X be a separable Banach space with dual X'. Then
under the duality
where / 6 U>(Sl; X) and g e Ll*(Sl;X'). The particular case we are interested in is
In this case we have the duality
Sketch of the proof of Theorem 2.2. The proof proceeds in several steps. The first step consists of showing the existence of the Young measure. This is the nontechnical part of the proof, because it relates to where the Young measure comes from. The vector space
is a Banach space under the supremum norm. Its dual space is the space of Radon measures supported in R m , denoted M(Hm), with the dual norm of the bounded variation. Since C 0 (R m ) is separable, we have, according to the above discussion, that under the duality
for t/j e L 1 (Q;C 0(Rm)) and p. £ L~ (ft; M(Rm)). The norm in L%f(fl;M(Rm)) is
66
CHAPTER 5 TECHNICAL REMARKS
For each j, we define Vj e L^x(£l\M(Rm)) through the identification Vj = &zj(x)-> where Sa is the usual Dirac mass centered at a € R m . For ip € Ll(Cl;C0(R.m)),
It is easy to check that By the Banach-Alaoglu-Bourbaki theorem there exist some subsequence, not relabeled, and v e L^(tt; M(Rm)) such that Vj -^ v:
for every $ € L 1 (fi;C 0 (R m )). The rest of the proof is an extension of (5.3) for an arbitrary Caratheodory function ijj such that {^(x, Zj(x})} converges weakly in L1^). It is of a highly technical nature. An important remark to bear in mind when working with Young measures is that in order to identify the one associated with a particular sequence of functions {zj} (obtained perhaps in some constructive way or using some scheme), it is enough to check for every
It is even enough to have
for £ and (p belonging to dense, countable subsets of Ll(fl) and C 0 (R TO ), respectively. If this is so for a given family of probability measures v = {vx}x&n and a sequence of functions {zj} satisfying (5.1), then v must be the Young measure associated with {zj} and therefore
for every Caratheodory function i/> such that {i{>(x, Zj(x))} is weakly convergent in L 1 (ri). The reason for this is that probability measures v are identified by their action on Co(R m ). Equation (5.4) identifies each vx for a.e. x 6 Q. There are two interesting situations for which this remark can have some relevance. For reference, we include them in the following lemma. LEMMA 5.3. Assume that we have two sequences, {zj} and {wj}, both bounded in Lp(fl).
5.3
BITING. WEAK. AND STRONG CONVERGENCE
67
(i) If \{zj ^ Wj}\ —> 0, the Young measure for both sequences is the same. (ii) // {zj} and {wj} share the Young measure. Sketch of the proof. Let 99 e C 0 (R m ) and £, e L l ( S l ) . Then
The integrand on the right-hand side is an L 1 (Q)-function and it is integrated over a sequence of sets of vanishing measure. Hence the limit vanishes as j ->• oc, and this in turn implies that the weak limits for {
f o r ^ e l , 1 ^ ) and (,2 e C 0 (R m ). A helpful example of this situation is the following. Assume {zj} is uniformly bounded in Lp($l) and let v — {vx}x€fl be its associated Young measure. Consider the truncation operators
We claim that for any subsequence k(j) —> oc as j —>• oc the Young measure corresponding to { T k ^ ) ( z j ) } is also v. To this end, we simply notice that
if
5.3
Biting, Weak, and Strong Convergence
Whenever a bounded sequence in L 1 (fi) is not equi-integrable, one can "bite" (remove) the set where concentrations occur and be left with a well-behaved sequence. This is essentially Chacon's biting lemma. The proof can be made in a very general and abstract setting. We restrict our attention, however, to the framework in which we will be using this fact. THEOREM 5.4. Let {/j} be a uniformly bounded sequence in L l ( f l ) , where
68
CHAPTER 5
TECHNICAL REMARKS
There exist a subsequence, not relabeled, a nonincreasing sequence of measurable sets fin C fi, | fin \ 0, and f e Ll(£l) such that
for all n. The exceptional sets fira may be taken to be
where the subsequence {j'TO} is appropriately chosen (again we have to discard the places where concentrations may occur). Lemma 5.1 is used to show the weak convergence outside the exceptional sets. In order to formalize this important fact, we say that the sequence {fj} C i 1 (fi) converges in the biting sense to / e i 1 (fi) and is denoted
if there exists a nonincreasing sequence of measurable sets {fin} such that |fi n | \ 0 a n d for all n. We may restate Chacon's biting lemma by saying that a uniformly bounded sequence in L 1 (fi) contains a subsequence converging in the biting sense to a function in L 1 (J7). The relationship between biting convergence and Young measures is given in the following theorem. THEOREM 5.5. Let {zj} be a sequence of functions with associated Young measure v = {v?\x^. If (p '. SI x. Rm —>• R* is a Caratheodory function such that the sequence {
Sketch of the proof. By Chacon's biting lemma, there exists a collection of subsets {fln} and (p e Ll(fl) such that |fin \ 0 and
for all n. By Theorem 2.2, whenever weak convergence in Ll(E) holds for any subset E C fi, the weak limit has to be !p in (5.5). Since |fin| \ 0, we conclude that <£ = ip a.e. x e fi. In some circumstances, biting convergence may be improved to weak convergence so that Young measures will provide weak limits. This amounts to discarding the possibility of concentrations. The following lemma gives a necessary and sufficient condition for such an improvement.
5.3
BITING, WEAK, AND STRONG CONVERGENCE
69
LEMMA 5.6. Let fj : Q —> R+ (fj > Oj be a sequence of measurable functions in Ll(Q,), converging in the biting sense to f 6 Ll(Q}. A subsequence converges weakly in Ll(Q) if and only if
Moreover, the whole sequence {fj} if
converges weakly in Ll(£l) to f if and only
The proof is not difficult. Assuming biting convergence and the failure of the Dunford-Pettis criterion leads to the failure of (5.6). The following corollary is a straightforward fact. COROLLARY 5.7. Let {zj} be a sequence of functions with associated Young measure v = {^x}x^^- If, for po, a nonnegative Caratheodory function, we have
then
for any measurable subset E C £1 and for any tp in the space
If, in spite of all efforts, Corollary 5.7 cannot be applied to a particular situation so that concentrations may arise, we can still deduce some information that might be helpful in some circumstances. This is Theorem 2.3. Notice the direction in which the inequality holds and how it is exactly what we need for weak lower semicontinuity. THEOREM 2.3. If{zj} is a sequence of measurable functions with associated Young measure v = {fz}xeQ, then
for every Caratheodory function ifr, bounded from below, and every measurable subset E C fi. Sketch of the proof. If the left-hand side of (5.7) is infinite, there is nothing to be proved. If it is finite, the sequence {i/)(x, Zj(x}}} is a bounded sequence in Ll(E). If we set
70
CHAPTER 5
TECHNICAL REMARKS
then by Theorem 5.5
By Lemma 5.6, it is not possible to have the strict inequality
and this proves the statement. Strict inequality in (5.7) occurs when the sequence {ip(x,Zj(x))} develops concentrations. In this sense we say that Young measures do not capture concentration effects. Finally, we would like to understand how strong convergence gets translated into the Young measure. Since Young measures are used to keep track of oscillations and strong convergence rules out this phenomenon, one can expect that Young measures associated with strong convergent sequences are trivial. We restrict our attention to the case in which g(i) = tp. LEMMA 5.8. Let {zj} be a sequence in Lp(Sl] such that {\ZJ\P} is weakly convergent in L 1 (O) for p < oo and v — {^x}zen is the associated Young measure. Then Zj —> z strongly in Lp(£i] if and only if vx — &z(x) f°r a-ex e ft. It is also helpful to consider Young measures coming from sequences for which we have strong convergence only for some components of the sequence. In this case strong convergence reflects the triviality of the Young measure for the corresponding components. LEMMA 2.6. Let Zj — (uj,Vj) : O —>• Rd x Rm be a bounded sequence in P L (Q) such that {uj} converges strongly to u in Lp($l). Ijv — {vx}x<E£i is the Young measure associated with {zj}, then vx = 6U(X) ® ^x for a.e. x € Q, where {^x}x€.fi is the Young measure corresponding to {vj}.
5.4
Homogenization and Localization
Homogenization and localization are two basic operations used to analyze Young measures. We first define in general terms homogenization and localization in the next two lemmas and then apply them to the situation of gradients. LEMMA 5.9. Let 0 and D be two regular, bounded domains in TtN with 1901 = \dD — 0. Let {zj} be a sequence of measurable functions over O such that for g a continuous, nondecreasing, nonnegative function with lim^oo g(t) = oo. Let v = {vx}X£n be the Young measure associated with some subsequence, still denoted {zj}. There exists a sequence {wj} of measurable functions defined over D such that
5.4
HOMOGENIZATION AND LOCALIZATION
71
and its homogeneous Young measure v is given by
The main technique for the proof of this lemma is the Vitali covering lemma (Theorem 5.10 below). It requires the notion of a Vitali covering of a set. For a given point x & R m , a sequence of sets {Ei} shrinks suitably to x if there is a > 0 such that each Ei c 5(x, r^), where B(x,Ti} is a ball centered at x and radius TI > 0 and where r^ —»• 0 as i —> oo. A family of open subsets {^AJA^A ^s called a Vitali covering of f2 C Rm if for every x 6 fJ there exists a sequence {^i} of subsets of the given family that shrinks suitably to x. THEOREM 5.10. Let A = {A\}XEA be a Vitali covering of Ft. There is a sequence \i e A such that
and the subsets A\i are pairwise disjoint. Sketch of the proof of Lemma 5.9. The sequence {wj} is defined in terms of {zj} as follows:
is obtained by means of Theorem 5.10. It is not hard to see that the sequence {wj} (or a suitable subsequence) gives rise to the homogeneous Young measure. The rest of the proof is essentially technical. LEMMA 5.11. Let $1 and D be defined as in Lemma 5.9. Let {zj} be such that
where, as usual, g is a continuous, nonnegative, nondecreasing function with limt-j.oo g(t) = oo. Let v = \yx}x^$i be its Young measure. For a.e. a G £1 there exists a sequence {z^ defined on D such that
and its homogeneous Young measure is va.
72
CHAPTER 5
TECHNICAL REMARKS
Sketch of the proof. The sequence generating the localized Young measure is obtained through a typical blow-up argument around each point a £ fi:
{z"} is then defined as a suitable subsequence of the above functions. Technicalities involve several tools from measure theory. The case to which we would like to apply Lemmas 5.9 and 5.11 is Zj•, = Vuj, where {uj} is a bounded sequence in W 1)P (J7). Going back to Lemma 5.9, we realize that all we need is a sequence of functions Wj e W l i p (ft) such that
for x € dij + 6jjJ7, where once again by Vitali's covering lemma
Condition (5.8) can be fulfilled by simply putting
for x G dij + €{j£l. It may not be true, however, that such a Wj belongs to W 1>p (fi). Indeed, we know that Wj should be much more regular than simply belonging to Lp(£l). For p sufficiently large, Wj even ought to be continuous, and this might not be the case if we are not more careful about our definition of Wj. The only known way of ensuring the continuity property for Wj is to enforce affine boundary values for Uj. Let Y £ M mxAr and let UY be the affine function UY(X) = Yx. If Uj <E W 1)P (Q) and Uj - UY £ W01>P(O), the function
otherwise is well defined as a function in W1)P(Q) since it is continuous (easy to check), Wj — My e WQ >p (fi), and its gradient satisfies (5.8). Hence we have the following theorem. THEOREM 5.12. Let {uj} be a bounded sequence of functions in W1)P(O) with affine boundary values given by UY- Let v — \yx\x^i be the Young measure associated with {Vuj}. There exists a sequence {wj}, bounded in W1>P(J1) with the same boundary values, such that the homogeneous Young measure 17 associated with {Vwj} is given by
Lemma 2.7 is a direct corollary of this theorem.
5.4
HOMOGENIZATION AND LOCALIZATION
73
For the localization property, we should have
The sequence {Vu£p} is uniformly bounded in LP(J7) in j and p for a.e. a e O, and if z/ = {^j^g^ is the Young measure associated with {Vwj}, then {Vw°>p} generates the homogeneous va for an appropriate subsequence. In order to have a bounded sequence of W 1>p (fi)-functions {UJP} as p —> 0, define
the linear function ua(x) = F(a)x for a e O, and its average over f2,
Take
where the constant M0(^p is chosen so that
By Poincare's inequality, the sequence [u'j p} is truly bounded in W 1>P (J7) independently of j and p and for almost every a 6 J7. We would also like to incorporate the affine boundary values for the new sequence defining the localized, homogeneous Young measure at almost every point in Ct. In order to do this we have the following lemma. LEMMA 5.13. Let {vj} be a bounded sequence in W 1>p (fi) such that the sequence {Vvj} generates the Young measure v = {^x}x&^- Let
so that Vj —^ u in W 1>p (f2). There exists a new sequence {uk}, bounded in W lip (Q), such that {Vwfc} generates the same Young measure v and u^ — u G W 0 ' P (O) for allk. If for p < oo {|V^j|p} is equi-integrable, then so is {|Vwfc| P }The proof of this lemma makes use of a standard sequence of cut-off functions in order to enforce the appropriate boundary values. If we apply this lemma to the subsequence of {W")P} given in (5.9), we obtain our version of the localization property for gradients. PROPOSITION 2.4. Let v = {vx}x&^ be a Wl'p(0,}-Young measure. For a.e. a 6 il and for any domain Q, there exists a bounded sequence in Wl>p(Q), {va,j}, such that the homogeneous Young measure associated with {Vvaj} is va.
74
CHAPTER 5 TECHNICAL REMARKS
Moreover, each function vaj can be chosen such that where up (x) is the linear function Fx and
Notice that in all these facts about homogenization and localization, Lemma 5.3 is used to identify the Young measure determined by the particular sequence of functions tailored for a specific purpose.
5.5
A Remarkable Lemma
This section contains the proof of Lemma 3.7. We have decided to include this proof so that the reader may get a feeling for the type of technicalities involved, and because it is a good example of Young measure techniques. We remind the reader of some facts about maximal operators. For any v G (^(R^) we set
where
is the maximal function of /. It is well known that if v 6 (^(R^), -M*^ € C(RN) and
and, in particular, for any A > 0,
This last inequality is also valid for p — I even though the previous one is not. LEMMA 5.14. Let v e C^(RN) and A > 0. Set Hx = [M*v < A}. Then
where C(N) depends only on N. It is also interesting to remember that any Lipschitz function denned on a subset of R^ may be extended to all of R^ without increasing its Lipschitz constant. LEMMA 3.7. Let {vj} be a bounded sequence in Wl>p(£l), p > I. There always exists another sequence {uj} of Lipschitz functions (uj e W 1>00 (Q) for all j) such that {\Vuj p} is equi-integrable and the two sequences of gradients, {Vuj} and {Vvj}, have the same underlying Wl'p(£l)-Young measure.
5.5
A REMARKABLE LEMMA
75
Proof.
Step 1. Assume, in addition to all the hypotheses of the statement, that Vj € (^(R^) and replace 0 by R^. Consider the sequence { M * ( v j ) } , where M* is the maximal operator of a function and its gradient. This sequence is bounded in LP(HN). Let \i = {A*a;}x6R>jv be its corresponding Young measure (possibly for an appropriate subsequence). Consider the truncation operators Tfe defined by
Since for fixed fe, {TkM*(vj}} is bounded in L°°(RN),
We have used the monotone convergence theorem for the second limit. Notice that is an L 1 (R Ar )-function. We can find a subsequence k(j) —> oo as j —> oo such that On the other hand, by the observation made about these truncation operators after Lemma 5.3, the Young measure associated with the sequence {Tk(j)M*(Vvj}} is also IJL. By Corollary 5.7, we conclude that
Let
\Aj\ -)• 0 because {M*(vj}} is bounded in LP(RN) and k(j) -)• oo. By Lemma 5.14, there exist Lipschitz functions Uj such that Uj = Vj (and therefore Vwj = Vfj) outside Aj and, moreover,
The fact that \Aj\ —>• 0 implies that the Young measure for both sequences is the same (Lemma 5.3). It follows easily (because M*(VJ) > \Vvj\} that
Since the right-hand side is equi-integrable in I/ 1 (R JV ), the conclusion of the lemma follows.
76
CHAPTER 5 TECHNICAL REMARKS
Step 2 (Approximation). We can assume that Vj —^ u in W lip (J7) for some u G Wl'p(£l). Moreover, by Lemma 5.13, we can assume that v3•, - u G W01>P(Q). Let Wj = Vj — u be extended by 0 to all of R^. By density, we can find Zj € Cg°(RN) such that
Apply Step 1 to {zj} and find a sequence of Lipschitz functions {%} such that {|V%|P} is equi-integrable in Ll(RN) and {V^-^Vuj}| -»• 0. Therefore, again by Lemma 5.3, the Young measures for the sequences (now considered restricted to Q) {Vuj}, {Vzj}, and {Vwj} are the same. Take Uj = uj n + u. The sequence {wj} verifies the conclusion of the theorem.
Bibliographical Comments Our comments on the bibliography are intended to suggest further reading on the topics covered in this book and new directions which follow after going through the material of this book. The comments also serve to complete our exposition or to fill gaps which have purposely been left for the sake of brevity, or because according to our judgment the material does not focus on the main objectives of this book. In this way we seek to point out new directions where more work is needed, where open problems are still waiting to be understood, or where new situations need to be clearly stated. The subject is far from a rounded, closed, well-established, well-understood field, and there is room for much improvement. The final section of this chapter is devoted to the review of possible research directions that can be pursued by interested readers. At the same time, we caution the reader that our references may be incomplete in some regards. We do not pretend to have exhausted all related works, and many people could probably enrich our comments and list of references. We have included only the items most closely connected to the topics covered in the preceding chapters. In this sense, the same principle of brevity has led us in the selection of references, which we have tried to keep specific to the topics of the book. We divide our remarks on the bibliography according to the previous five chapters of the book.
Chapter 1 The expository nature of the first chapter forces us to include several references in which the reader may find proofs, further reading, more discussions, etc., about the foundations of continuum mechanics and elasticity. Since this is not the aim of this work, our list of references for this chapter is rather short. The reader interested in these topics will have to perform a more in-depth analysis of the literature. Some elementary texts which could help someone not yet exposed to continuum mechanics or whose main interest is the underlying mathematical problems but who would like to better understand the general theory of continua are [78] and [114]. References [9], [135], and [145] treat the theory and the mathematical problems in elasticity more closely and hence are more advanced. The inter77
78
BIBLIOGRAPHICAL COMMENTS
play between mechanics and thermodynamics can be explored in [192], where some material related to our main interests in variational problems can also be found. Reference [52] is also a good book that shares some of our goals but offers information on many more topics.
Chapter 2 Variational problems have always been an important part of applied mathematics. Reference [209] is a nice way to be exposed to such problems for the first time. Some interesting, more classical approaches are found in [80] and [183], while for more complete treatments based on the direct method and weak lower semicontinuity where vector problems are considered, the reader may look at [41], [65], and [67]. Reference [110] is encyclopedic in character but deals with the indirect method through optimality conditions associated with minimizers. A full discussion of frame indifference, behavior for extreme deformations, and appropriate physical requirements is contained in [52]. Young measures (also called parametrized measures) were introduced in analysis many years ago in [211], [212], and [213]. Since then, many applications in applied mathematics and analysis have been explored. More recent books such as [13], [176], and [210] treat them from a more modern perspective. See also [36] and [188]. The use of Young measures in examining weak lower semicontinuity has systematically been considered in [28], [88], and [171]. See also [129] and [201]. The notion of quasi convexity and its pivotal role in weak lower semicontinuity for vector problems was identified in [150]. See [151] for a full analysis of this issue. Recently, the quasi convexity condition has been examined in more general settings in [4], [25], and [140]. This condition was introduced in terms of gradient Young measures in [171]. General existence results similar to the one included here can be found in many places, in particular in almost all the above references dealing with vector problems. See also [133], [143], and [144]. Reference [112] contains a different approach to existence theorems in nonlinear elasticity. If the reader would like to study more deeply the facts contained in the appendix, some general references have been included to cover them: [6], [38], [77], [113], [115], and [189].
Chapter 3 The fundamental ideas in this chapter were fully explored for the first time in [14]. The key fact for the weak continuity of determinants was also noted and proved in [181] and [182]. Since then, polyconvexity has been reexamined from the point of view of weak continuity in different settings and under various sets of assumptions in an attempt to improve previous and known results. In particular, the effort to push weak continuity of determinants to the limit, and consequently
BIBLIOGRAPHICAL COMMENTS
79
obtain new weak lower semicontinuity results and existence theorems, is taken as the main motivation for a series of papers: [3], [45], [71], [72], [107], [138], [139], [152], [153], [154], and [214]. Weak continuous functionals of higher order are analyzed in [19]. The existence theorem presented in section 3.4 is classical, except perhaps for the case p = 3, which is based on a quite remarkable lemma (see [176], [214]). Concerning the issue of discontinuous deformations and cavitation, see some comments in the final section of this chapter. The injectivity and interpenetration of matter is a complex issue. Some references in this direction are [15], [53], [98], and [120]. The topics covered in this chapter are essentially contained in [52] (in particular, the treatment in section 3.5) where many other references can be found. Some of those topics can also be studied in [192].
Chapter 4 Nonconvexity has played an important role in leading important research efforts in many distinct areas in the past 15 years. The incredible number of works dealing with this topic almost certainly makes our list appear incomplete in this regard. In the context of phase transitions in crystals, nonconvexity was raised in a number of important papers. We would like to mention some of them: [20], [21], [50], [81], and [84]. The interest in such variational problems motivated a number of important mathematical developments: [94], [117], [118], [123], and [155]. In particular, the analysis of Young measures generated by gradients was recognized as central to the understanding of microstructure in [124], [125], [129], [147], [148], and [186]. See [131] for nonconvexity in a different context. New and fundamental applications to materials science have been made in [1], [30], [31], [32], and many others. Some texts dealing with all these ideas and the description and interaction of energy minimization related to materials models are [22], [157], and [179]. Some papers dealing specifically with laminates and the two-well problem are [147], [148], [160], [169], [170], [200], and [216]. The notion of the (Hn) condition was first recognized and studied in [66]. The remarkable example of the laminate supported on four matrices not pairwise rank-one related, as well as similar examples, can be explored in [32], [149], [206], and in other references not listed here.
Chapter 5 Our main source for Chapter 5 is [176]. Further reading related to the technical facts involved is suggested in this book. Some relevant references we would like to mention here are [17], [26], and [40]. The technical tools from measure theory used in this chapter can be studied in [190]. Reference [77] contains material about Lp-spaces when the target space is another Banach space. The main
80
BIBLIOGRAPHICAL COMMENTS
results concerning maximal operators that have been invoked can be discovered in [194].
Additional Areas of Research It is probably worthwhile to point out several areas that can be pursued in more depth once the main ideas we have tried to convey in this book are understood. In most cases, challenging and fascinating problems are waiting to be answered. We have selected a number of key references for each area, again without attempting to be exhaustive either in the list of different areas or in the references within each area. A survey with very interesting comments on some of these areas can be found in [156]. 1. Characterization of Young measures: [99], [124], [125], [129], [158], [172], [186], [201]. 2. Polyconvexity, quasi convexity and rank-one convexity: [7], [8], [10], [18], [24], [27], [44], [68], [69], [105], [116], [130], [168], [174], [177], [178], [191], [196], [197], [198], [199], [208], [215]. 3. Relaxation and convex envelopes: [2], [12], [37], [42], [64], [66], [92], [93], [95], [100], [102], [106], [126], [142]. 4. Regularity: [5], [89], [90], [91], [111], [141]. 5. Materials science and phase transitions: [34], [35], [46], [73], [74], [76], [82], [83], [84], [85], [86], [87], [119]. 6. Existence without convexity: [11], [70], [79], [109], [146], [180], [187], [195]. 7. Compensated compactness: [54], [55], [108], [162], [163], [164], [184], [202], [203], [204], [205], [207]. 8. Fracture and cavitation: [16], [159], [161]. 9. Surface energy: [96], [97], [127], [128]. 10. Dynamics: [23], [29], [33], [75], [103], [104], [121], [122], [193]. 11. Computations: [39], [43], [47], [48], [49], [51], [56], [57], [58], [59], [60], [61], [62], [63], [101], [132], [134], [137], [149], [165], [166], [167], [173], [175], [185].
Bibliography [I] R. ABEYARATNE, C. CHU, AND R. JAMES, Kinetics of materials with wiggly energies: Theory and application to the evolution of twinning microstructures in a Cu-Al-Ni shape-memory alloy, Philos. Mag. A, 73 (1996), pp. 457-497. [2] E. ACERBI AND G. BUTTAZZO, Semicontinuous envelopes of poly convex integrals, Proc. Roy. Soc. Edinburgh Sect. A, 96 (1984), pp. 51-54. [3] E. ACERBI AND G. DAL MASO, New lower semicontinuity results for poly convex integrals, Calc. Var. Partial Differential Equations, 2 (1994), pp. 329-372. [4] E. ACERBI AND N. Fusco, Semicontinuity problems in the calculus of variations, Arch. Rational Mech. Anal., 86 (1984), pp. 125-145. [5] E. ACERBI AND N. Fusco, A regularity theorem for minimizers of quasiconvex integrals, Arch. Rational Mech. Anal., 99 (1987), pp. 261-281. [6] R. A. ADAMS, Sobolev Spaces, Academic Press, New York, 1975. [7] A. A. ALBERT, A quadratic form problem in the calculus of variations, Bull. Amer. Math. Soc., 44 (1983), pp. 250-253. [8] J. J. ALIBERT AND B. DACOROGNA, An example of a quasiconvex function not polyconvex in dimension two, Arch. Rational Mech. Anal., 117 (1992), pp. 55-166. [9] S. ANTMAN, Nonlinear Problems of Elasticity, Springer-Verlag, New York, 1995. [10] G. AUBERT, A counterexample of a rank-one convex function which is not polyconvex in the case n — 2, Proc. Roy. Soc. Edinburgh Sect. A, 106 (1987), pp. 237-240. [11] G. AUBERT AND R. TAHRAOUI, Sur la minimisation d'une fonctionnelle non convexe, non differentiate en dimension 1, Boll. Un. Mat. Ital. B(5), 17 (1980), pp. 244-258. 81
82
BIBLIOGRAPHY
[12] G. AUBERT AND R. TAHRAOUl, Young measures and relaxation of functionals for integrands f(x,u(x),u'(x)), Differential Integral Equations, 9 (1996), pp. 27-43. [13] E. J. BALDER, Lectures on Young Measures, Cahiers de Mathematiques de la Decision, No. 9517, CEREMADE, Universite Paris IX, Paris, Prance, 1995. [14] J. M. BALL, Convexity conditions and existence theorems in nonlinear elasticity, Arch. Rational Mech. Anal., 63 (1977), pp. 337-403. [15] J. M. BALL, Global invertibility of Sobolev functions and the interpenetration of matter, Proc. Roy. Soc. Edinburgh Sect. A, 88 (1981), pp. 315-328. [16] J. M. BALL, Discontinuous equilibrium solutions and cavitation in nonlinear elasticity, Philos. Trans. Roy. Soc. London Ser. A, 306 (1982), pp. 557611. [17] J. M. BALL, A version of the fundamental theorem for Young measures, in PDE's and Continuum Models of Phase Transitions, Lecture Notes in Phys. 344, M. Rascle, D. Serre, and M. Slemrod, eds., Springer-Verlag, Berlin, 1989, pp. 207-215. [18] J. M. BALL, Sets of gradients with no rank-one connections, J. Math Pures Appl., 69 (1990), pp. 241-259. [19] J. M. BALL, J. C. CURRIE, AND P. J. OLVER, Null Lagrangians, weak continuity, and variational problems of arbitrary order, J. Funct. Anal., 41 (1981), pp. 135-174. [20] J. M. BALL AND R. D. JAMES, Fine phase mixtures as minimizers of energy, Arch. Rational Mech. Anal., 100 (1987), pp. 13-52. [21] J. M. BALL AND R. JAMES, Proposed experimental tests of a theory of fine microstructure and the two well problem, Philos. Trans. Roy. Soc. London Ser. A, 338 (1992), pp. 389-450. [22] J. M. BALL AND R. D. JAMES, From Microscales to Macroscales in Materials, book in preparation. [23] J. M. BALL, P. J. HOLMES, R. D. JAMES, R. L. PEGO, AND P. J. SWART, On the dynamics of fine structure, J. Nonlinear Sci., 1 (1991), pp. 17-70. [24] J. M. BALL, B. KIRCHHEIM, AND J. KRISTENSEN, Regularity of quasiconvex envelopes, in preparation. [25] J. M. BALL AND F. MURAT, Wl'p-quasiconvexity and variational problems for multiple integrals, J. Funct. Anal., 58 (1984), pp. 225-253.
BIBLIOGRAPHY
83
[26] J. M. BALL AND F. MURAT, Remarks on Chacon's biting lemma, Proc. Amer. Math. Soc., 107 (1989), pp. 655-663. [27] J. M. BALL AND F. MURAT, Remarks on rank-one convexity and quasiconvexity, in Proc. Ordinary and Partial Differential Equations, Dundee, 1990, R. D. Sleeman and R. J. Jarvis, eds., Pitman, Boston, 1991, pp. 2537. [28] J. M. BALL AND K. ZHANG, Lower semicontinuity of multiple integrals and the biting lemma, Proc. Roy. Soc. Edinburgh Sect. A, 114 (1990), pp. 367-379. [29] P. W. BATES, P. C. FIFE, X. REN, AND X. WANG, Traveling waves in a convolution model for phase transitions, Arch. Rational Mech. Anal., 138 (1997), pp. 105-136. [30] K. BATTACHARYA, Wedge-like microstructure in martensite, Acta Metal., 39 (1991), pp. 2431-2444. [31] K. BATTACHARYA, Self accommodation in martensite, Arch. Rational Mech. Anal, 120 (1992), pp. 201-244. [32] K. BATTACHARYA, N. FIROOZYE, R. D. JAMES, AND R. V. KOHN, Restrictions on microstructure, Proc. Roy. Soc. Edinburgh Sect. A, 124 (1994), pp. 843-878. [33] K. BHATTACHARYA, R. JAMES, AND P. SWART, Relaxation in shapememory alloys, part I: Mechanical model, Acta Materialia, 45 (1997), pp. 4547-4560; part II: Thermo-mechanical model and proposed experiments, pp. 4561-4568. [34] K. BHATTACHARYA AND R. V. KOHN, Elastic energy minimization and the recoverable strains of poly crystalline shape memory materials, Arch. Rational Mech. Anal, 139 (1997), pp. 99-180. [35] P. BAUMAN AND D. PHILLIPS, A nonconvex variational problem related to change of phase, J. Appl. Math. Optim., 21 (1990), pp. 113-138. [36] H. BERLIOCCHI AND J. M. LASRY, Integrandes normales et mesures parametrees en calcul des variations, Bull. Soc. Math. France, 101 (1973), pp. 129-184. [37] M. BOUSSELSAL AND M. CniPOT, Relaxation of some functionals of the calculus of variations, Arch. Math. (Basel), 65 (1995), pp. 316-326. [38] H. BREZIS, Analyse Fonctionnelle, Masson, Paris, 1983. [39] B. BRIGHI AND M. CHIPOT, Approximated convex envelope of a function, SIAM J. Numer. Anal, 31 (1994), pp. 128-148.
M
BIBLIOGRAPHY
[40] J. K. BROOKS AND R. V. CHACON, Continuity and compactness of measures, Adv. Math., 37 (1980), pp. 16-26. [41] G. BUTTAZZO, Semicontinuity, Relaxation and Integral Representations in the Calculus of Variations, Pitman Res. Notes Math. Ser., 207, Longman Scientific and Technical, Harlow, U.K., 1989. [42] G. BUTTAZZO AND G. DAL MASO, Integral representation and relaxation of local functionals, Nonlinear Anal., 9 (1985), pp. 515-532. [43] C. CARSTENSEN AND P. PLECHAC, Numerical solution of the scalar double-well problem allowing microstructure, Math. Comp., 66 (1997), pp. 997-1026. [44] E. CASADIO TARABUSI, An algebraic characterization of quasiconvex functions, Ricerche Mat., XLII (1993), pp. 11-24. [45] P. CELADA AND G. DAL MASO, Further remarks on the lower semicontinuity of poly convex integrals, Ann. Inst. H. Poincare Anal. Non Lineaire, 11 (1994), pp. 661-691. [46] M. CHIPOT, Hyperelasticity for crystals, European J. Appl. Math., 1 (1990), pp. 113-129. [47] M. CHIPOT, Numerical analysis of oscillations in nonconvex problems, Numer. Math., 59 (1991), pp. 747-767. [48] M. CHIPOT AND C. COLLINS, Numerical approximations in variational problems with potential wells, SIAM J. Numer. Anal., 29 (1992), pp. 10021019. [49] M. CHIPOT, C. COLLINS, AND D. KINDERLEHRER, Numerical analysis of oscillations in multiple well problems, Numer. Math., 70 (1995), pp. 259282. [50] M. CHIPOT AND D. KINDERLEHRER, Equilibrium configurations of crystals, Arch. Rational Mech. Anal., 103 (1988), pp. 237-277. [51] M. CHIPOT AND V. LECUYER, Analysis and computations in the fourwell problem, in Nonlinear Analysis and Applications, Gakuto Internat. Ser., Math. Sci. Appl., 7, Gakkotosho, Tokyo, 1996, pp. 67-78. [52] P. G. ClARLET, Mathematical Elasticity, Vol.1: Three-Dimensional Elasticity, North-Holland, Amsterdam, 1987. [53] P. G. CIARLET AND J. NECAS, Injectivity and self-contact in non-linear elasticity, Arch. Rational Mech. Anal., 97 (1987), pp. 171-188. [54] R. COIFMAN, P.-L. LIONS, Y. MEYER, AND S. SEMMES, Compacitepar compensation et espaces de Hardy, C. R. Acad. Sci. Paris Ser. 1 Math., 309 (1989), pp. 945-949.
BIBLIOGRAPHY
85
[55] R. COIFMAN, P.-L. LIONS, Y. MEYER, AND S. SEMMES, Compensated compactness and Hardy spaces, J. Math. Pures Appl., 72 (1993), pp. 247286. [56] C. COLLINS, Computation of twinning, in Microstructure and Phase Transition, D. Kinderlehrer, R. James, M. Luskin, and J. Ericksen, eds., IMA Vol. Math. Appl. 54, Springer-Verlag, New York, 1993, pp. 39-50. [57] C. COLLINS AND M. LUSKIN, The computation of the austeniticmartensitic phase transition, in PDE's and Continuum Models of Phase Transitions, Lecture Notes in Phys. 344, M. Rascle, D. Serre, and M. Slemrod, eds., Springer-Verlag, New York, 1989, pp. 34-50. [58] C. COLLINS AND M. LUSKIN, Computational results for phase transitions in shape memory materials, in Smart Materials, Structures, and Mathematical Issues, C. Rogers, ed., Technomic Publishing, Lancaster, PA, 1989, pp. 198-215. [59] C. COLLINS AND M. LUSKIN, Numerical modeling of the microstructure of crystals with symmetry-related variants, in Proc. ARO US-Japan Workshop on Smart/Intelligent Materials and Systems, Technomic Publishing, Lancaster, PA, 1990, pp. 309-318. [60] C. COLLINS AND M. LUSKIN, Optimal order error estimates for the finite element approximation of the solution of a nonconvex variational problem, Math. Comp., 57 (1991), pp. 621-637. [61] C. COLLINS, M. LUSKIN, AND J. RIORDAN, Computational images of crystalline microstructure, in Computing Optimal Geometries, J. Taylor, ed., AMS Special Lectures in Mathematics and AMS Videotape Library, AMS, Providence, RI, 1991, pp. 16-18. [62] C. COLLINS, M. LUSKIN, AND J. RIORDAN, Computational results for a two-dimensional model of crystalline microstructure, in Microstructure and Phase Transitions, D. Kinderlehrer, R. James, M. Luskin, and J. Ericksen, eds., IMA Vol. Math. Appl. 54, Springer-Verlag, New York, 1993, pp. 51-56. [63] C. COLLINS, D. KINDERLEHRER, AND M. LUSKIN, Numerical approximation of the solution of a variational problem with a double well potential, SIAM J. Numer. Anal, 28 (1991), pp. 321-332. [64] B. DACOROGNA, Quasiconvexity and relaxation ofnon convex variational problems, J. Funct. Anal., 46 (1982), pp. 102-118. [65] B. DACOROGNA, Weak Continuity and Weak Lower Semicontinuity of Non-linear Functionals, Lecture Notes in Math. 922, Springer-Verlag, Berlin, 1982.
16
BIBLIOGRAPHY
[66] B. DACOROGNA, Remarques sur les notions de polyconvexite, quasiconvexite et convexite de rang 1, J. Math. Pures Appl., 64 (1985), pp. 403438. [67] B. DACOROGNA, Direct Methods in the Calculus of Variations, SpringerVerlag, Berlin, 1989. [68] B. DACOROGNA, J. DOUCHET, W. GANGBO, AND J. RAPPAZ, Some examples of rank-one convex functions in dimension two, Proc. Roy. Soc. Edinburgh Sect. A, 114 (1990), pp. 135-150. [69] B. DACOROGNA AND P. MARCELLINI, A counterexample in the vectorial calculus of variations, in Material Instabilities in Continuum Mechanics, J. M. Ball, ed., Clarendon Press, Oxford, 1988, pp. 77-83. [70] B. DACOROGNA AND P. MARCELLINI, Existence of minimizers for nonquasiconvex integrals, Arch. Rational Mech. Anal., 131 (1995), pp. 359399. [71] B. DACOROGNA AND F. MURAT, On the optimality of certain Sobolev exponents for the weak continuity of determinants, J. Funct. Anal., 105 (1992), pp. 42-62. [72] G. DAL MASO AND C. SBORDONE, Weak lower semicontinuity of polyconvex integrals: A borderline case, Math. Z., 218 (1995), pp. 603-609. [73] C. DAVINI, A proposal for a continuum theory of defective crystals, Arch. Rational Mech. Anal, 96 (1986), pp. 295-317. [74] C. DAVINI AND G. PARRY, On defect-preserving deformations in crystals, Internat. J. Plasticity, 5 (1989), pp. 337-369. [75] S. DEMOULINI, Young measure solutions for a nonlinear parabolic equation of forward-backward type, SIAM J. Math. Anal., 27 (1996), pp. 376403. [76] A. DE SIMONE AND G. FRIESECKE, On the problem of two linearized wells, Calc. Var. Partial Differential Equations, 4 (1996), pp. 293-304. [77] R. E. EDWARDS, Functional Analysis, Holt, Rinehart and Winston, New York, 1965. [78] M. E. EGLIT AND D. H. HODGES, Continuum Mechanics via Problems and Exercises, World Scientific, River Edge, NJ, 1996. [79] I. EKELAND, Nonconvex minimization problems, Bull. Amer. Math. Soc., 1 (1979), pp. 443-475. [80] I. EKELAND AND R. TEMAM, Convex Analysis and Variational Problems, North-Holland, Amsterdam, 1976.
BIBLIOGRAPHY
87
[81] J. L. ERICKSEN, Some phase transitions in crystals, Arch. Rational Mech. Anal., 73 (1980), pp. 99-124. [82] J. L. ERICKSEN, The Cauchy-Born hypotheses for crystals, in Phase Transformations and Material Instabilities in Solids, M. Gurtin, ed., Academic Press, New York, 1984, pp. 61-78. [83] J. L. ERICKSEN, Constitutive theory for some constrained elastic crystals, Internat. J. Solids Structures, 22 (1986), pp. 951-964. [84] J. L. ERICKSEN, Stable equilibrium configurations of elastic crystals, Arch. Rational Mech. Anal., 94 (1986), pp. 1-14. [85] J. L. ERICKSEN, Twinning of crystals, in Metastability and Incompletely Posed Problems, S. Antman, J. L. Ericksen, D. Kinderlehrer, and L Miiller, eds., IMA Vol. Math. Appl. 3, Springer-Verlag, Berlin, 1987, pp. 77-96. [86] J. L. ERICKSEN, Some constrained elastic crystals, in Material Instabilities in Continuum Mechanics, J. M. Ball, ed., Oxford University Press, London, 1988, pp. 119-136. [87] J. L. ERICKSEN, Weak martensitic transformations in Bravais lattices, Arch. Rational Mech. Anal, 107 (1989), pp. 23-36. [88] L. C. EVANS, Weak Convergence Methods for Nonlinear Partial Differential Equations, CBMS Regional Conference Series in Mathematics 74, American Mathematical Society, Providence, RI, 1990. [89] L. C. EVANS AND R. F. GARIEPY, Blow-up, compactness, and partial regularity in the calculus of variations, Indiana Univ. Math. J., 36 (1987), pp. 361-371. [90] L. C. EVANS AND R. F. GARIEPY, Some remarks on quasiconvexity and strong convergence, Proc. Roy. Soc. Edinburgh Sect. A, 106 (1987), pp. 5361. [91] L. C. EVANS AND R. F. GARIEPY, Quasiconvexity and partial regularity in the calculus of variations, Arch. Rational Mech. Anal., 95 (1986), pp. 227-252. [92] N. B. FIROOZYE, Optimal use of the translation method and relaxation of variational problems, Comm. Pure Appl. Math., 44 (1991), pp. 643-678. [93] N. B. FIROOZYE AND R. V. KOHN, Geometric parameters and the relaxation of multiwell energies, in Microstructure and Phase Transition, D. Kinderlehrer et al., eds., IMA Vol. Math. 54, Springer-Verlag, New York, 1993, pp. 85-110. [94] I. FONSECA, Variational methods for elastic crystals, Arch. Rational Mech. Anal., 97 (1985), pp. 189-220.
88
BIBLIOGRAPHY
[95] I. FONSECA, The lower quasiconvex envelope of the stored energy function for an elastic crystal, J. Math. Pures Appl., 67 (1988), pp. 175-195. [96] I. FONSECA, The Wulff theorem revisited, Proc. Roy. Soc. London Ser. A, 432 (1991), pp. 125-145. [97] I. FONSECA, Lower semicontinuity of surface energies, Proc. Roy. Soc. Edinburgh Sect. A, 120 (1992), pp. 99-115. [98] I. FONSECA AND W. GANGBO, Local invertibility of Sobolev functions, SIAM J. Math. Anal, 26 (1995), pp. 280-304. [99] I. FONSECA, D. KINDERLEHRER, AND P. PEDREGAL, Energy functional depending on elastic strain and chemical composition, Calc. Var. Partial Differential Equations, 2 (1994), pp. 283-313. [100] I. FONSECA AND J. MALY, Relaxation of multiple integrals below the growth exponent, Ann. Inst. H. Poincare Anal. Non Lineaire., 14 (1997), pp. 309-338. [101] D. A. FRENCH, On the convergence of finite-element approximations of a relaxed variational problem, SIAM J. Numer. Anal., 27 (1990), pp. 419436. [102] G. FRIESECKE, A necessary and sufficient condition for nonattainment and formation of micro structure almost everywhere in scalar variational problems, Proc. Roy. Soc. Edinburgh Sect. A, 124 (1994), pp. 437-472. [103] G. FRIESECKE AND G. DOLZMANN, Implicit time discretization and global existence for a quasi-linear evolution equation with nonconvex energy, SIAM J. Math. Anal, 28 (1997), pp. 363-380. [104] G. FRIESECKE AND J. B. McLEOD, Dynamics as a mechanism preventing the formation of finer and finer microstructure, Arch. Rational Mech. Anal., 133 (1996), pp. 199-247. [105] N. Fusco, Quasiconvessitd e semicontinuitd per integrali multipli de ordine superiore, Ricerche Mat., 29 (1980), pp. 307-323. [106] N. Fusco, Remarks on the relaxation of integrals of the calculus of variations, in Systems of Nonlinear PDE, J. M. Ball, ed., D. Reidel, Philadelphia, PA, 1983, pp. 401-408. [107] W. GANGBO, On the weak lower semicontinuity of energies with poly convex integrands, J. Math. Pures Appl., 73 (1994), pp. 455-463. [108] P. GERARD, Compacite par compensation et regularite 2-microlocale, Seminaire Sur les Equations aux Derivees Partialles, 1988-1989, Exp. No. VI, Ecole Polytech., Palaiseau, 1989.
BIBLIOGRAPHY
89
[109] D. GIACHETTI AND R. ScHlANCHi, Minima of some non convex, non coercive problems, Ann. Mat. Pura Appl., 165 (1993), pp. 109-120. [110] M. GIAQUINTA AND S. HiLDEBRANDT, Calculus of Variations, I and II, Springer-Verlag, Berlin, 1996. [Ill] M. GIAQUINTA AND G. MODICA, Partial regularity ofminimizers of quasiconvex integrals, Ann. Inst. H. Poincare Anal. Non Lineaire, 3 (1986), pp. 185-208. [112] M. GIAQUINTA, G. MODICA, AND J. SOUCEK, Cartesian currents, weak diffeomorphisms and existence theorems in nonlinear elasticity, Arch. Rational Mech. Anal., 106 (1989), pp. 97-159; Erratum, 109 (1990), pp. 385392. [113] D. GILBARG AND N. S. TRUDINGER, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, Berlin, 1977. [114] M. E. GURTIN, An Introduction to Continuum Mechanics, Academic Press, New York, 1981. [115] P. R. HALMOS, Measure Theory, Van Nostrand, Princeton, NJ, 1950. [116] T. IWANIEC AND A. LuTOBORSKl, Integral Estimates for Null Lagrangians, Arch. Rational Mech. Anal., 125 (1993), pp. 25-79. [117] R. D. JAMES, Microstructure and weak convergence, in Proc. Symp. Material Instabilities in Cont. Mech., J. M. Ball, ed., Heriot-Watt, Oxford, 1988, pp. 175-196. [118] R. D. JAMES AND D. KINDERLEHRER, Theory of diffusionless phase transitions, in PDE's and Continuum Models of Phase Transitions, Lecture Notes in Phys. 344, M. Rascle, D. Serre, and M. Slemrod, eds., SpringerVerlag, Berlin, 1989, pp. 51-84. [119] R. D. JAMES AND D. KINDERLEHRER, Mathematical approaches to the study of smart materials, in Proc. SPIE Conference on Smart Materials 1919, H. T. Banks, ed., 1993, pp. 2-18. [120] R. D. JAMES AND S. SPECTOR, Wpl,p-quasiconvexity, interpenetration of matter and function spaces for elasticity, Ann. Inst. H. Poincare Anal. Non Lineaire, 9 (1992), pp. 263-280. [121] R. JORDAN, D. KINDERLEHRER, AND F. OTTO, The Variational Formulation of the Fokker-Planck Equation, CNA preprint, Carnegie Mellon University, Pittsburgh, PA, 1996. [122] R. JORDAN, D. KINDERLEHRER, AND F. OTTO, The route to stability through Fokker-Planck dynamics, in Differential Equations and Applications, Internat. Press, Cambridge, MA, 1996, pp. 108-126.
90
BIBLIOGRAPHY
[123] D. KINDERLEHRER, Remarks about the equilibrium configurations of crystals, in Proc. Symp. Material Instabilities in Cont. Mech., J. M. Ball, ed., Heriot-Watt, Oxford, 1988, pp. 217-242. [124] D. KINDERLEHRER AND P. PEDREGAL, Characterizations of Young measures generated by gradients, Arch. Rational Mech. Anal., 115 (1991), pp. 329-365. [125] D. KINDERLEHRER AND P. PEDREGAL, Gradient Young measures generated by sequences in Sobolev spaces, J. Geom. Anal., 4 (1994), pp. 59-90. [126] R. KOHN, The relaxation of a double-well energy, Contin. Mech. Thermodyn., 3 (1991), pp. 193-236. [127] R. V. KOHN AND S. MULLER, Branching of twins near an austenite/twinned martensite interface, Philos. Mag. A, 66 (1992), pp. 697-715. [128] R. V. KOHN AND S. MULLER, Surface energy and microstructure in coherent phase transitions, Comm. Pure Appl. Math., 47 (1994), pp. 405435. [129] J. KRISTENSEN, Finite Functionals and Young Measures Generated by Gradients of Sobolev Functions, Mat-Report No. 1994-34, Mathematical Institute, Technical University of Denmark, Lyngby, Denmark, 1994. [130] J. KRISTENSEN, On the non-locality of quasiconvexity, Ann. Inst. H. Poincare Anal. Non Lineaire, 16 (1999), pp. 1-13. [131] H. LE DRET AND A. RAOULT, Enveloppe quasi-convexe de la densite d'energie de Saint Venant-Kirchhoff, C. R. Acad. Sci. Paris Ser. I Math., 318 (1994), pp. 93-98. [132] Z. P. Li, A numerical method for computing singular minimizers, Numer. Math., 71 (1995), pp. 317-330. [133] Z. P. Li, A theorem on lower semicontinuity of integral functionals, Proc. Roy. Soc. Edinburgh Sect. A, 126 (1996), pp. 363-374. [134] B. Li AND M. LUSKIN, Finite element analysis of microstructure for the cubic to tetragonal transformation, SIAM J. Numer. Anal., 35 (1998), pp. 376-392. [135] A. I. LURIE, Nonlinear Theory of Elasticity, North-Holland, Amsterdam, 1990. [136] M. LUSKIN, Approximation of a laminated microstructure for a rotationally invariant, double well energy density, Numer. Math., 75 (1996), pp. 205-221. [137] M. LUSKIN, On the computation of crystalline microstructure, Acta Numerica, 5 (1996), pp. 191-257.
BIBLIOGRAPHY
91
[138] J. MALY, Weak lower semicontinuity of poly convex integrals, Proc. Roy. Soc. Edinburgh Sect. A, 123 (1993), pp. 681-691. [139] J. MALY, Lower semicontinuity of quasiconvex integrals, Manuscripta Math., 85 (1994), pp. 419-428. [140] P. MARCELLINI, Approximation of quasiconvex functions and lower seracontinuity of multiple integrals, Manuscripta Math., 51 (1985), pp. 1-28. [141] P. MARCELLINI, Regularity of minimizers of integrals of the calculus of variations with nonstandard growth conditions, Arch. Rational Mech. Anal, 105 (1989), pp. 267-284. [142] P. MARCELLINI, Nonconvex integrals of the calculus of variations, in Methods of Nonconvex Analysis, Lectures Notes in Math. 1446, SpringerVerlag, New York, 1990, pp. 16-57. [143] P. MARCELLINI AND C. SBORDONE, Semicontinuity problems in the calculus of variations, Nonlinear Anal., 4 (1980), pp. 241-257. [144] P. MARCELLINI AND C. SBORDONE, On the existence of minima of multiple integrals of the calculus of variations, J. Math. Pures Appl. (9), 62 (1983), pp. 1-9. [145] J. E. MARSDEN AND J. R. HUGHES, Mathematical Foundations of Elasticity, Dover, New York, 1993. [146] E. MASCOLO AND R. SCHIANCHI, Existence theorems for non-convex problems, J. Math. Pures Appl., 62 (1983), pp. 349-359. [147] J. MATOS, Young measures and the absence of fine micro structures in a class of phase transitions, European J. Appl. Math., 3 (1992), pp. 31-54. [148] J. MATOS, On Gradient Young Measures Supported on a Point and a Well, personal communication, 1996. [149] J. MATOUSEK AND P. PLECHAC, On functional separately convex hulls, Discrete Comput. Geom., 19 (1998), pp. 105-130. [150] CH. B. MORREY, Quasiconvexity and the lower semicontinuity of multiple integrals, Pacific J. Math., 2 (1952), pp. 25-53. [151] CH. B. MORREY, Multiple Integrals in the Calculus of Variations, Springer-Verlag, Berlin, 1966. [152] S. MULLER, Weak continuity of determinants and nonlinear elasticity, C. R. Acad. Sci. Paris Ser. I Math., 307 (1988), pp. 501-506. [153] S. MULLER, Higher integrability of determinants and weak convergence in L1, J. Reine Angew. Math., 412 (1990), pp. 20-34.
92
BIBLIOGRAPHY
[154] S. MULLER, Det=det. A remark on the distributional determinant, C. R. Acad. Sci. Paris Ser. I Math., 311 (1990), pp. 13-17. [155] S. MULLER, Minimizing sequences for non-convex functionals, phase transitions and singular perturbations, in Problems Involving Change of Type, Lecture Notes in Phys., Springer-Verlag, Berlin, 1990, pp. 31-44. [156] S. MULLER, Microstructure, Phase Transitions and Geometry, preprint, Max-Planck Institute, 359, Leipzig, 1997. [157] S. MULLER, Variational models for microstructure and phase transitions, Lecture Notes No. 2, Max-Planck Institute, Leipzig, 1998. [158] S. MULLER AND I. FONSECA, A-Quasiconvexity, Lower Semicontinuity and Young Measures, preprint, Max-Planck Institute, Leipzig, 1998. [159] S. MULLER AND S. SPECTOR, An existence theory for nonlinear elasticity that allows for cavitation, Arch. Rational Mech. Anal., 131 (1995), pp. 166. [160] S. MULLER AND V. SVERAK, Attainment results for the two-well problem by convex integration, in Geometric Analysis and the Calculus of Variations, Internat. Press, Cambridge, MA, 1996, pp. 239-251. [161] S. MULLER, Q. TANG, AND B. S. YAN, On a new class of elastic deformations not allowing for cavitation, Ann. Inst. H. Poincare Anal. Non Lineaire, 11 (1994), pp. 217-243. [162] F. MURAT, Compacite par compensation, Ann. Scuola Norm. Sup. Pisa Sci. Fis. Mat. (IV), 5 (1978), pp. 489-507. [163] F. MURAT, Compacite par compensation II, in Recent Methods in Nonlinear Analysis, Proceedings, E. De Giorgi, E. Magenes, and U. Mosco, eds., Pitagora, Bologna, 1979, pp. 245-256. [164] F. MURAT, A survey on compensated compactness, in Contributions to the Modern Calculus of Variations, L. Cesari, ed., Pitman, Boston, MA, 1987, pp. 145-183. [165] R. A. NICOLAIDES AND N. WALKINGTON, Computation of microstructure utilizing Young measure representations, in Transactions of the 10th Army Conf. on Appl. Math, and Comput., West Point, NY, 1992, ARO Report 93-1, U.S. Army Res. Office, Research Triangle Park, NC, 1993. [166] R. A. NICOLAIDES AND N. WALKINGTON, Strong convergence of numerical solutions to degenerate variational problems, Math. Comp., 64 (1995), pp. Ill-Ill. [167] R. A. NICOLAIDES, N. WALKINGTON, AND H. WANG, Numerical Methods for a Non-convex Optimization Problem Modeling Martensitic Phase
BIBLIOGRAPHY
93
Transitions, CNA preprint, Center for Nonlinear Analysis, Carnegie Mellon University, Pittsburgh, PA, 1995. [168] G. P. PARRY, On the planar rank-one convexity condition, Proc. Roy. Soc. Edinburgh Sect. A, 125 (1995), pp. 247-264. [169] P. PEDREGAL, Ph.D. Thesis, University of Minnesota, Minneapolis, MN, 1989. [170] P. PEDREGAL, Laminates and micro structure, European J. Appl. Math., 4 (1993), pp. 121-149. [171] P. PEDREGAL, Jensen's inequality in the calculus of variations, Differential Integral Equations, 7 (1994), pp. 57-72. [172] P. PEDREGAL, Relaxation in ferromagnetism: The rigid case, J. Nonlinear Sci., 4 (1994), pp. 105-125. [173] P. PEDREGAL, Numerical computation of Young measures, Numer. Funct. Anal. Optim., 16 (1995), pp. 1049-1066. [174] P. PEDREGAL, Some remarks on quasiconvexity and rank-one convexity, Proc. Roy. Soc. Edinburgh Sect. A, 126 (1996), pp. 1055-1065. [175] P. PEDREGAL, On the numerical analysis of nonconvex variational problems, Numer. Math., 74 (1996), pp. 325-336. [176] P. PEDREGAL, Parametrized Measures and Variational Principles, Birkhauser-Verlag, Basel, Switzerland, 1997. [177] P. PEDREGAL AND V. SVERAK, The quasiconvexification of a cubic polynomial at the origin, Nonlinear Anal., Proc. Second World Congress of Nonlinear Analysts, 30 (1997), pp. 5093-5100. [178] P. PEDREGAL AND V. SVERAK, A note on quasiconvexity and rank-one convexity in the case of 2x2 matrices, J. Convex Anal., 5 (1998), pp. 107117. [179] M. PITTERI AND G. ZANZOTTO, Continuum Models for Phase Transitions and Twinning in Crystals, Chapman and Hall, London, to appear, 1998. [180] J. P. RAYMOND, Existence of minimizers for vector problems without quasiconvexity condition, Nonlinear Anal., 18 (1992), pp. 815-828. [181] Y. RESHETNYAK, General theorems on semicontinuity and on convergence with a functional, Siberian Math. J., 8 (1967), pp. 801-816. [182] Y. RESHETNYAK, Weak convergence and completely additive vector functions on a set, Siberian Math. J., 9 (1968), pp. 1039-1045.
94
BIBLIOGRAPHY
[183] R. T. ROCKAFELLAR, Convex Analysis, Princeton University Press, Princeton, NJ, 1972. [184] V. ROYTBURD AND M. SLEMROD, An application of the method of compensated compactness to a problem in phase transitions, in Material Instabilities in Continuum Mechanics, J. M. Ball, ed., Oxford University Press, London, 1988. [185] T. ROUBICEK, Numerical approximation of relaxed variational problems, J. Convex Anal., 3 (1996), pp. 329-347. [186] T. ROUBICEK, Effective characterization of generalized Young measures generated by gradients, Boll. Un. Mat. Ital. (7), 9-B (1995), pp. 755-779. [187] T. ROUBICEK, Existence results for some nonconvex optimization problems governed by nonlinear processes, in Proc. 12th Conf. on Variational Calculus, Optimal Control and Applications, Trassenheide, September 1996, R. Bulirsch, L. Bittner, W. Schmidt, and K. Heier, eds., BirkhaiiserVerlag, Basel, Switzerland, 1996. [188] T. ROUBICEK, Relaxation in Optimization Theory and Variational Calculus, W. De Gruyter, Berlin, 1997. [189] W. RUDIN, Real and Complex Analysis, McGraw-Hill, New York, 1974. [190] S. SAKS, Theory of the Integral, G. E. Stechert, New York, 1937. [191] D. SERRE, Formes quadratiques et calcul des variations, J. Math. Pures Appl., 62 (1983), pp. 177-196. [192] M. SILHAVY, The Mechanics and Thermodynamics of Continuous Media, Springer-Verlag, Berlin, 1997. [193] M. SLEMROD AND V. ROYTBURD, Measure-valued Solutions to a Problem in Dynamic Phase Transitions, Contemporary Mathematics, Vol. 50, American Mathematical Society, Providence, RI, 1987. [194] E. M. STEIN, Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, NJ, 1970. [195] P. STERNBERG, Vector valued local minimizers of non-convex variational problems, Rocky Mountain J. Math., 21 (1991), pp. 799-807. [196] V. SVERAK, Examples of rank-one convex functions, Proc. Roy. Soc. Edinburgh Sect. A, 114 (1990), pp. 237-242. [197] V. SVERAK, Quasiconvex functions with subquadratic growth, Proc. Roy. Soc. London Ser. A, 433 (1991), pp. 723-725. [198] V. SVERAK, Rank-one convexity does not imply quasiconvexity, Proc. Roy. Soc. Edinburgh Sect. A, 120 (1992), pp. 185-189.
BIBLIOGRAPHY
95
[199] V. SVERAK, New examples of quasiconvex functions, Arch. Rational Mech. Anal, 119 (1992), pp. 293-300. [200] V. SVERAK, On the problem of two wells, in Microstructure and Phase Transition, IMA Vol. Math. Appl. 54, D. Kinderlehrer et al., eds., Springer-Verlag, New York, 1993, pp. 183-190. [201] M. A. SYCHEV, A New Approach to Young Measure Theory, Relaxation, and Convergence in Energy, manuscript, 1997. [202] L. TARTAR, Compensated compactness and applications to partial differential equations, in Nonlinear analysis and mechanics: Heriot-Watt Symposium, Vol. IV, R. Knops, ed., Res. Notes in Math. 39, Pitman, Boston, MA, 1979, pp. 136-212. [203] L. TARTAR, The compensated compactness method applied to systems of conservation laws, in Systems of Nonlinear Partial Differential Equations, J. M. Ball, ed., D. Reidel, Boston, MA, 1983. [204] L. TARTAR, H-measures, a new approach for studying homogenisation, oscillations and concentration effects in partial differential equations, Proc. Roy. Soc. Edinburgh Sect. A, 115 (1990), pp. 193-230. [205] L. TARTAR, On mathematical tools for studying partial differential equations of continuum physics: H-measures and Young measures, in Developments in Partial Differential Equations and Applications to Mathematical Physics, C. Buttazzo, C. P. Galdi, and L. Zanghirati, eds., Plenum, New York, 1992, pp. 201-217. [206] L. TARTAR, Some remarks on separately convex functions, in Microstructure and Phase Transition, D. Kinderlehrer et al., eds., IMA Vol. Math. Appl. 54, Springer-Verlag, New York, 1993, pp. 191-204. [207] L. TARTAR, Beyond Young measures, Meccanica, 30 (1995), pp. 505-526. [208] F. J. TERPSTRA, Die Darstellung der biquadratischen Formen als Summen von Quadraten mit Anwendung auf die Variationsrechnung, Math. Ann., 116 (1938), pp. 166-180. [209] J. L. TROUTMAN, Variational Calculus and Optimal Control, SpringerVerlag, New York, 1998. [210] M. VALADIER, Young measures, in Methods of Nonconvex Analysis, Lecture Notes in Math. 1446, Springer-Verlag, New York, 1990, pp. 152-188. [211] L. C. YOUNG, Generalized curves and the existence of an attained absolute minimum in the calculus of variations, Comptes Rendus de la Societe des Sciences et des Lettres de Varsovie, classe III, 30 (1937), pp. 212-234. [212] L. C. YOUNG, Generalized surfaces in the calculus of variations, I and II, Ann. Math., 43 (1942), pp. 84-103 and pp. 530-544.
96
BIBLIOGRAPHY
[213] L. C. YOUNG, Lectures on Calculus of Variations and Optimal Control Theory, W. B. Saunders, Philadelphia, PA, 1969. [214] K. ZHANG, Biting theorems for Jacobians and their applications, Ann. Inst. H. Poincare Anal. Nonlineaire, 7 (1990), pp. 345-366. [215] K. ZHANG, A construction of quasiconvex functions with linear growth at infinity, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 19 (1992), pp. 313-326. [216] K. ZHANG, Rank-one connections and the three well problem, Trans. Amer. Math. Soc., to appear.
Index Adjugate matrix, 6 Affine functionals, 18 Affine Lipschitz function, 21 Banach spaces, 11, 22 Banach-Alaoglu-Bourbaki theorem, 11, 66 Blow-up argument, 72 Boundary conditions, 10, 25 affine boundary values, 21, 73 Dirichlet boundary conditions, 32
environmental conditions, 9 global condition of place, 1, 4, 9 Bounded variation, 65 Calculus of variations, 16 Caratheodory function, 17, 32 Cauchy theorem, 2 Cauchy-Green tensor, 55 Cavitation, 79 Chacon's biting lemma, 67 biting convergence, 68 exceptional sets, 68 Characteristic function, 15 Coerciveness, 10, 17, 19, 21, 33, 37 coercivity, 31, 34 coercivity exponent, 10 growth exponent, 31 Cofactor matrix, 3, 6 Compactness, 11 Compactness theorem, 24, 30 Compactness theorem of Sobolev spaces, 20
Compatibility condition, 48, 55 Compensated compactness, 80 97
Computations, 80 Concentration effects, 23, 64 Concentrations, 68 Constitutive equation, 4 Continuum mechanics, 1, 77 Convexity convex envelopes, 80 convex functions, 18 convex hull of 50(2), 51 nonconvexity, 79 Crystal structure, 42 change of lattice basis, 42 change of shape, 41 conjugate group of GL(Z3), 42 lattice basis, 42 lattice vectors, 41 point group, 42 reciprocal twin, 56 Deformation, 2, 9 deformation gradient, 2, 4 deformed configuration, 2 discontinuous deformations, 33, 79 extreme deformations, 10 extreme strains, 5 periodic Lipschitz deformation, 43 underlying deformation, 57 Direct method, 10, 78 Duality, 65 Dynamics, 80 Elastic bar, 46 Energy energy densities, 1, 9, 25 free energy, 41
INDEX
98
Energy (cont'd.) stored-energy functions, 4 strain energy, 4 surface energy, 80 total energy functional, 4 Equilibrium equilibrium configuration, 1, 4, 9, 10, 25 equilibrium equation, 4 static equilibrium, 1, 2 Euler variable, 3 Euler-Lagrange system, 4 Existence existence results, 78 existence theorem, 19, 32 existence without convexity, 80 nonexistence, 45 Fatou's lemma, 12, 34 Forces body forces, 2, 4 surface forces, 2, 4 Fracture and cavitation, 80 Frame indifference, 5, 10 Generalized variational principles, 41 Gradient requirement, 47 Holder's inequality, 22, 30 Homogenization, 21 Indirect method, 78 Injectivity, 33, 79 Jensen's inequality, 16, 18, 24, 26, 50 Laminates, 41 (Hi) conditions, 49 (Hn) conditions, 79 continuously distributed laminates, 59 continuum of laminates, 59 fine layers, 46 layers within layers, 49 Localization result, 18
Maximal operators, 74, 80 Microstructure, 41, 79 fine-phase mixtures, 41, 46 stress-free microstructure, 47, 51 Minimizers minimizing sequences, 10, 12 of the total energy, 4, 9 uniqueness of, 20 Minors, 26, 31 minor relation, 51 Mixed problems, 1 Mooney-Rivlin materials, 6, 37 Neo-Hookean materials, 6, 38 Nonlinear functionals, 13 Ogden material, 6, 34 Optimality conditions, 78 Orientation-preserving requirement, 2, 33 Oscillatory minimizing sequences, 41 Phase transitions, 79, 80 change of stability, 42 critical temperature, 42 stable phase, 42 transition temperature, 42 Poincare's inequality, 10, 20, 24, 73 Polar decomposition, 7 Potential wells, 43 single well, 52 two-well problem, 51, 79 Probability measures, 14 Pure traction problems, 1 Quasi convexity closed W^1'°°-quasi convexity, 21 closed Vt^'P-quasi convexity, 1921 lack of, 45 Quasi-affine functions, 26 Radon measures, 65 Rank-one matrix, 15 Reference configuration, 2, 9 Regularity, 80 Relaxation, 80
INDEX Response function, 4 Riemann-Lebesgue lemma, 21 Singular values, 6, 35 Sobolev spaces, 10, 22 St. Venant-Kirchhoff materials, 5, 38 Stress Cauchy stress tensor, 2, 4, 7 principal stretches, 7 stress principle of Euler and Cauchy, 2 Strong convergence, 20, 70 strong lower semicontinuity, 12 Strongly measurable, 64 Tensor product, 15 Thermodynamics, 78 Truncation operators, 67, 75 Uniform bounds, 21 Uniqueness, 58 Vector problems, 78 Vitali covering lemma, 71 Weak continuity, 55 weak continuity of determinants, 78
99
weak continuous functionals, 28 weak continuous functionals of higher order, 79 Weak convergence, 10 weak * convergence of measures, 49 weak compactness, 23 weak limit, 13, 15, 17, 20 weak topologies, 11 Weak convergence in L 1 (O), 64 Dunford-Pettis criterion, 23 equi-integrability property, 23 Weak lower semicontinuity, 10, 12 Weakly measurable, 65 Young measures characterization of, 80 homogeneous gradient Young measures, 52 homogeneous W1'00-Young measures, 31 homogeneous Wl'p-Young measures, 19, 26, 31 parametrized measures, 78 W1>P(Q)-Young measures, 18, 41 Zero set, 43, 47