A Class of Functions That Are Quasiconvex but Not Polyconvex
Total Page:16
File Type:pdf, Size:1020Kb
University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Masters Theses Graduate School 12-2003 A Class of Functions That Are Quasiconvex But Not Polyconvex Catherine S. Remus University of Tennessee - Knoxville Follow this and additional works at: https://trace.tennessee.edu/utk_gradthes Part of the Mathematics Commons Recommended Citation Remus, Catherine S., "A Class of Functions That Are Quasiconvex But Not Polyconvex. " Master's Thesis, University of Tennessee, 2003. https://trace.tennessee.edu/utk_gradthes/2219 This Thesis is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Masters Theses by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a thesis written by Catherine S. Remus entitled "A Class of Functions That Are Quasiconvex But Not Polyconvex." I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Master of Science, with a major in Mathematics. Henry C. Simpson, Major Professor We have read this thesis and recommend its acceptance: Charles Collins, G. Samuel Jordan Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) To the Graduate Council: I am submitting herewith a thesis written by Catherine S. Remus entitled “A Class of Functions That Are Quasiconvex But Not Polyconvex”. I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the requirements for the degree of Master of Science, with a major in Mathematics. Henry C. Simpson________ Major Professor We have read this thesis and recommend its acceptance: Charles Collins____________ G. Samuel Jordan__________ Acceptance for the Council: Anne Mayhew___________ Vice Provost and Dean of Graduate Studies (Original signatures are on file with official student records.) A Class of Functions That Are Quasiconvex But Not Polyconvex A Thesis Presented for the Masters of Science Degree The University of Tennessee, Knoxville Catherine S. Remus December 2003 Acknowledgements I would like to thank everyone who helped me earn the Master of Science degree and master the discipline of Mathematics. I wish to thank Dr. Simpson for sharing his vast knowledge of Convex Analysis with me, but mostly for opening my eyes to the beauty of theoretical Mathematics and for drawing out my analytic abilities. I want to thank Dr. Jordan for pulling together all the mathematical concepts and tools I had learned into one integrated body of knowledge and for introducing me to the Calculus of Variations that led me to my thesis topic. I would also like to thank Dr. Collins for serving on my committee. I wish to thank my mother and son for their unflagging support and love during this journey of discovery I have taken us on. Even when I doubted, they never did. Finally, I thank God for all His Grace in guiding me and wish always to follow where He leads. ii Abstract In 1991 V. Sverak [11] gave an example of a function that was invariant and quasiconvex but not polyconvex. We have generalized this example to a wide class of functions that meet certain ellipticity and growth conditions. Quasiconvexity is one necessary and sufficient condition for the existence of solutions to the minimization problem in elliptic P.D.E. theory. Invariance is frequently a requirement of the stored energy function in Calculus of Variation approaches to elasticity problems. iii Table of Contents Chapter Page I Introduction ………………………………………………………………….. 1 II Background ……………………………………………………………...…… 3 III Theorem 1 ………………………………………………………………...…. 12 IV Theorem 2 ………………………………………………………………….... 16 V Theorem 3 ………………………………………………………………….... 17 VI Examples ……………………………………………………………….……. 21 List of References ………………………………………………………….. 27 Vita ……………………………………………………………………………. 30 iv Chapter I Introduction In this thesis a class of functions which are continuous, subject to certain growth and ellipticity conditions, and quasiconvex are shown not to be polyconvex. The study of convex analysis concerns itself with four types of convexity: convex functions, polyconvex functions, quasiconvex functions, and rank-one convex functions. The easiest way to visualize the relationships between these types of convexity is the analogy of nested sets where convex functions is the smallest, most stringent, set and rank-one convex functions is the largest, least stringent, set. The “proper subset” relationship of these convexity conditions has been a source of study for some years. In applications, quasiconvexity is very difficult to determine whereas polyconvexity is easier to show and the two concepts are near each other. V. Sverak [11] gave a new example of a function that is quasiconvex but not polyconvex in 1991. Other examples have been given in the past, but his new example was suggestive of an entire class of such functions. We construct a wide class of functions that are quasiconvex but not polyconvex. Sverak’s example is a special case of our examples. Quasiconvexity is a necessary and sufficient condition (along with others) to ensure the existence of solutions to the minimization problem in elliptic P.D.E. theory. Techniques of variational calculus have long been utilized in elasticity problems and the stored energy function, our f , is often required to be objective, i.e., frame indifferent or Galilean invariant, and isotropic, i.e., rotationally invariant (see Dacorogna [5]). 1 In Chapter II we give background information such as definitions, notation, and a lemma needed in the proof of Theorem 1. Chapter III states and proves a needed preliminary theorem, Theorem 1, guaranteeing specific growth and quasiconvexity conditions on our class of functions. In Chapter IV we have the primary emphasis of this thesis, Theorem 2. This theorem deals with the nonpolyconvexity of a class of quasiconvex functions subject to subquadratic growth and ellipticity conditions. Chapter V presents Theorem 3 that addresses the invariance of functions in our class of quasiconvex functions. Finally, in Chapter VI we give four examples of functions in this class of functions we have constructed. Three of the four examples meet the criteria of all three of our theorems, but Example 2 is convex and therefore polyconvex and does not meet the criteria for Theorem 2. This alleged failure highlights the difficulty in constructing nontrivial examples of functions in this class satisfying all three theorems. 2 Chapter II Background In this thesis, + is the set of positive real numbers and M n×n is the space of all n× n real matrices, n ≥1, and ⋅ is any norm on this space. The 4-tensor, C , is a linear n transformation M n×n → M n×n and is of the general form C [ X ] = C X , ij ijkl kl k,l=1 n×n n ∞ n ¡ ¡ ∈ ¡ ∈ Ω ⊂ φ ∈ (Ω) Cijkl , for all X M . For , C with values in , we denote £ ¢ ∂φ ∂φ ¤ ¥ 1 ( x) ¨ 1 ( x) ¥ ¤ ∂ ∂ x1 xn n ¤ ¥ © ∂φ k ¥ ∇φ ( x) = ¤ , so that C ∇φ ( x) = C (x) . ij ijkl ∂ ¥ ¤ x ∂φ ∂φ k,l=1 l ¤ ¥ n ( ) ¨ n ( ) § ¦ x x ∂ ∂ x1 xn n×n For this work we will be considering functions f : M → ¡ having various convexity properties. These are seen in physical theories such as elasticity, phase transition and many other applications that are considered the minimization of energy functionals, f (∇φ ( x))dx . The function f represents a potential energy function and Ω φ is the deformation variable. There exist many theorems discussing this type of function, f , and all require some kind of convexity and associated conditions, e.g., growth and coercivity estimates (see Dacorogna [5]). 3 Definitions and Notation n > ∀ ∈ n { } C is strongly elliptic if and only if Cijkl aibjakbl 0 a,b \ 0 i, j,k,l=1 (Note this is a strengthened Legendre-Hadamard condition; the Legendre-Hadamard condition has ≥ in place of >.) (see Gelfand-Fomin [7], Wan [12], Morrey [9]). n Let K ⊂ ¡ . K is a convex set if, for any two points x, y ∈ K and t ∈[0,1] the point z = tx + (1− t) y is also in K . ⊂ n = Let K ¡ . The convex hull of K , co(K ) : the smallest convex set that contains K = {tx + (1− t) y | x, y ∈ K, t ∈[0,1]} . A function g : n → is convex if and only if, for all x, y ∈ n and for all t ∈[0,1], g (tx + (1− t) y) ≤ tg ( x) + (1− t) g ( y) . For the following several definitions, let f : M n×n → and let Ω be the open unit ball in n . The function f is rank-one convex if and only if, for every A∈ M n×n and for all ∈ n ¡ + ⊗ ∈ ⊗ a,b the mapping t f ( A ta b) , t ¢ is convex. Here, a b is the element of n×n T M with components (a ⊗b) = a b , i.e., a ⊗b = a b ; this is the general rank one ij i j n× n matrix (provided either a or b is nonzero). The function f is quasiconvex if and only if, for every A∈ M n×n and for every φ ∈ ∞ (Ω) ( ) ≤ + ∇φ ( ) C0 , f A dx f ( A x )dx is true. Ω Ω 4 n×n The function f is polyconvex if and only if, for every A∈ M , there exists a τ n → = ¢ convex function g mapping ¢ , such that f ( A) g (T ( A)) where × τ n n → n = ¢ ( ) ( ) T : M and T is defined by T A : A, adj2 A, , adjn A . Here, adjs A is the n × ∈ n×n ≤ ≤ τ = σ adjugate matrix of all s s minors of the matrix A M , 2 s n , and n s s=1 ¢ £ £ ¢ £ ¢ 2 ¤ ¥ ¥ ¤ ¥ ¤ n n ¥ σ = = ¤ n! ¦ § ¦ § § where ¦ .