Series ISSN: 1938-1743 ANEASY PATH AND APPLICATIONS TOCONVEX ANALYSIS • NAM MORDUKHOVICH
SYNTHESIS LECTURES ON M Morgan& Claypool Publishers COMPUTER MATHEMATICS AND STATISTICS &C
Series Editor: Steven G. Krantz, Washington University, St. Louis An Easy Path to Convex Analysis and An Easy Path to Convex Applications Analysis and Applications Boris S. Mordukhovich, Wayne State University Nguyen Mau Nam, Portland State University
Convex optimization has an increasing impact on many areas of mathematics, applied sciences, and practical applications. It is now being taught at many universities and being used by researchers of different fields. As convex analysis is the mathematical foundation for convex optimization, having deep knowledge of convex analysis helps students and researchers apply its tools more effectively. The main goal of this book is to provide an easy access to the most fundamental parts of convex analysis and its applications to optimization. Modern techniques of variational analysis are employed to clarify and simplify some basic proofs in convex analysis and build the theory of generalized differentiation for convex functions and sets in finite dimensions. We also present new applications of convex analysis to location problems in connection with many interesting geometric problems such as the Fermat-Torricelli problem, the Heron problem, the Sylvester problem, and their generalizations. Of course, we do not expect to touch every aspect of convex analysis, but the book consists of sufficient material for a first course on this subject. It can also serve as supplemental reading material for a Boris S. Mordukhovich course on convex optimization and applications. Nguyen Mau Nam
About SYNTHESIs
This volume is a printed version of a work that appears in the Synthesis MORGAN Digital Library of Engineering and Computer Science. Synthesis Lectures provide concise, original presentations of important research and development topics, published quickly, in digital and print formats. For more information visit www.morganclaypool.com & CLAYPOOL ISBN: 978-1-62705-237-5 SYNTHESIS LECTURES ON Morgan & Claypool Publishers 90000 MATHEMATICS AND STATISTICS www.morganclaypool.com 9 781627 052375 Steven G. Krantz, Series Editor
An Easy Path to Convex Analysis and Applications Synthesis Lectures on Mathematics and Statistics
Editor Steven G. Krantz, Washington University, St. Louis An Easy Path to Convex Analysis and Applications Boris S. Mordukhovich and Nguyen Mau Nam 2014 Applications of Affine and Weyl Geometry Eduardo García-Río, Peter Gilkey, Stana Nikčević, and Ramón Vázquez-Lorenzo 2013 Essentials of Applied Mathematics for Engineers and Scientists, Second Edition Robert G. Watts 2012 Chaotic Maps: Dynamics, Fractals, and Rapid Fluctuations Goong Chen and Yu Huang 2011 Matrices in Engineering Problems Marvin J. Tobias 2011 e Integral: A Crux for Analysis Steven G. Krantz 2011 Statistics is Easy! Second Edition Dennis Shasha and Manda Wilson 2010 Lectures on Financial Mathematics: Discrete Asset Pricing Greg Anderson and Alec N. Kercheval 2010 iii Jordan Canonical Form: eory and Practice Steven H. Weintraub 2009 e Geometry of Walker Manifolds Miguel Brozos-Vázquez, Eduardo García-Río, Peter Gilkey, Stana Nikčević, and Ramón Vázquez-Lorenzo 2009 An Introduction to Multivariable Mathematics Leon Simon 2008 Jordan Canonical Form: Application to Differential Equations Steven H. Weintraub 2008 Statistics is Easy! Dennis Shasha and Manda Wilson 2008 A Gyrovector Space Approach to Hyperbolic Geometry Abraham Albert Ungar 2008 Copyright © 2014 by Morgan & Claypool
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means—electronic, mechanical, photocopy, recording, or any other except for brief quotations in printed reviews, without the prior permission of the publisher.
An Easy Path to Convex Analysis and Applications Boris S. Mordukhovich and Nguyen Mau Nam www.morganclaypool.com
ISBN: 9781627052375 paperback ISBN: 9781627052382 ebook
DOI 10.2200/S00554ED1V01Y201312MAS014
A Publication in the Morgan & Claypool Publishers series SYNTHESIS LECTURES ON MATHEMATICS AND STATISTICS
Lecture #14 Series Editor: Steven G. Krantz, Washington University, St. Louis Series ISSN Synthesis Lectures on Mathematics and Statistics Print 1938-1743 Electronic 1938-1751 An Easy Path to Convex Analysis and Applications
Boris S. Mordukhovich Wayne State University
Nguyen Mau Nam Portland State University
SYNTHESIS LECTURES ON MATHEMATICS AND STATISTICS #14
M &C Morgan& cLaypool publishers ABSTRACT Convex optimization has an increasing impact on many areas of mathematics, applied sciences, and practical applications. It is now being taught at many universities and being used by re- searchers of different fields. As convex analysis is the mathematical foundation for convex opti- mization, having deep knowledge of convex analysis helps students and researchers apply its tools more effectively. e main goal of this book is to provide an easy access to the most fundamental parts of convex analysis and its applications to optimization. Modern techniques of variational analysis are employed to clarify and simplify some basic proofs in convex analysis and build the theory of generalized differentiation for convex functions and sets in finite dimensions. We also present new applications of convex analysis to location problems in connection with many in- teresting geometric problems such as the Fermat-Torricelli problem, the Heron problem, the Sylvester problem, and their generalizations. Of course, we do not expect to touch every aspect of convex analysis, but the book consists of sufficient material for a first course on this subject. It can also serve as supplemental reading material for a course on convex optimization and applications.
KEYWORDS Affine set, Carathéodory theorem, convex function, convex set, directional deriva- tive, distance function, Fenchel conjugate, Fermat-Torricelli problem, generalized differentiation, Helly theorem, minimal time function, Nash equilibrium, normal cone, Radon theorem, optimal value function, optimization, smallest enclosing ball problem, set-valued mapping, subdifferential, subgradient, subgradient algorithm, support function, Weiszfeld algorithm vii
e first author dedicates this book to the loving memory of his father S M (1924–1993), a kind man and a brave warrior.
e second author dedicates this book to the memory of his parents.
ix Contents
Preface ...... xi
Acknowledgments ...... xiii
List of Symbols ...... xv
1 Convex Sets and Functions ...... 1 1.1 Preliminaries ...... 1 1.2 Convex Sets ...... 5 1.3 Convex Functions ...... 10 1.4 Relative Interiors of Convex Sets ...... 21 1.5 e Distance Function ...... 28 1.6 Exercises for Chapter 1 ...... 32 2 Subdifferential Calculus ...... 37 2.1 Convex Separation ...... 37 2.2 Normals to Convex Sets ...... 42 2.3 Lipschitz Continuity of Convex Functions ...... 49 2.4 Subgradients of Convex Functions ...... 53 2.5 Basic Calculus Rules ...... 61 2.6 Subgradients of Optimal Value Functions ...... 70 2.7 Subgradients of Support Functions ...... 75 2.8 Fenchel Conjugates ...... 77 2.9 Directional Derivatives ...... 82 2.10 Subgradients of Supremum Functions ...... 86 2.11 Exercises for Chapter 2 ...... 90 3 Remarkable Consequences of Convexity...... 95 3.1 Characterizations of Differentiability ...... 95 3.2 Carathéodory eorem and Farkas Lemma ...... 97 3.3 Radon eorem and Helly eorem ...... 102 x 3.4 Tangents to Convex Sets ...... 103 3.5 Mean Value eorems ...... 106 3.6 Horizon Cones ...... 108 3.7 Minimal Time Functions and Minkowski Gauge ...... 111 3.8 Subgradients of Minimal Time Functions ...... 117 3.9 Nash Equilibrium ...... 120 3.10 Exercises for Chapter 3 ...... 124 4 Applications to Optimization and Location Problems ...... 129 4.1 Lower Semicontinuity and Existence of Minimizers ...... 129 4.2 Optimality Conditions ...... 135 4.3 Subgradient Methods in Convex Optimization ...... 140 4.4 e Fermat-Torricelli Problem ...... 146 4.5 A Generalized Fermat-Torricelli Problem ...... 154 4.6 A Generalized Sylvester Problem ...... 168 4.7 Exercises for Chapter 4 ...... 178
Solutions and Hints for Exercises ...... 183
Bibliography ...... 195
Authors’ Biographies ...... 199
Index ...... 201 xi Preface
Some geometric properties of convex sets and, to a lesser extent, of convex functions had been studied before the 1960s by many outstanding mathematicians, first of all by Hermann Minkowski and Werner Fenchel. At the beginning of the 1960s convex analysis was greatly de- veloped in the works of R. Tyrrell Rockafellar and Jean-Jacques Moreau who initiated a systematic study of this new field. As a fundamental part of variational analysis, convex analysis contains a generalized differentiation theory that can be used to study a large class of mathematical mod- els with no differentiability assumptions imposed on their initial data. e importance of convex analysis for many applications in which convex optimization is the first to name has been well recognized. e presence of convexity makes it possible not only to comprehensively investigate qualitative properties of optimal solutions and derive necessary and sufficient conditions for opti- mality but also to develop effective numerical algorithms to solve convex optimization problems, even with nondifferentiable data. Convex analysis and optimization have an increasing impact on many areas of mathematics and applications including control systems, estimation and signal processing, communications and networks, electronic circuit design, data analysis and modeling, statistics, economics and finance, etc. ere are several fundamental books devoted to different aspects of convex analysis and optimization. Among them we mention “Convex Analysis” by Rockafellar [26], “Convex Analysis and Minimization Algorithms” (in two volumes) by Hiriart-Urruty and Lemaréchal [8] and its abridge version [9], “Convex Analysis and Nonlinear Optimization” by Borwein and Lewis [4], “Introductory Lectures on Convex Optimization” by Nesterov [21], and “Convex Optimization” by Boyd and Vandenberghe [3] as well as other books listed in the bibliography below. In this big picture of convex analysis and optimization, our book serves as a bridge for students and researchers who have just started using convex analysis to reach deeper topics in the field. We give detailed proofs for most of the results presented in the book and also include many figures and exercises for better understanding the material. e powerful geometric approach developed in modern variational analysis is adopted and simplified in the convex case in order to provide the reader with an easy path to access generalized differentiation of convex objects in finite dimensions. In this way, the book also serves as a starting point for the interested reader to continue the study of nonconvex variational analysis and applications. It can be of interest from this viewpoint to experts in convex and variational analysis. Finally, the application part of this book not only concerns the classical topics of convex optimization related to optimality conditions and subgradient algorithms but also presents some recent while easily understandable qualitative and numerical results for important location problems. xii PREFACE e book consists of four chapters and is organized as follows. In Chapter 1 we study fundamental properties of convex sets and functions while paying particular attention to classes of convex functions important in optimization. Chapter 2 is mainly devoted to developing basic calculus rules for normals to convex sets and subgradients of convex functions that are in the mainstream of convex theory. Chapter 3 concerns some additional topics of convex analysis that are largely used in applications. Chapter 4 is fully devoted to applications of basic results of convex analysis to problems of convex optimization and selected location problems considered from both qualitative and numerical viewpoints. Finally, we present at the end of the book Solutions and Hints to selected exercises. Exercises are given at the end of each chapter while figures and examples are provided throughout the whole text. e list of references contains books and selected papers, which are closely related to the topics considered in the book and may be helpful to the reader for advanced studies of convex analysis, its applications, and further extensions. Since only elementary knowledge in linear algebra and basic calculus is required, this book can be used as a textbook for both undergraduate and graduate level courses in convex analysis and its applications. In fact, the authors have used these lecture notes for teaching such classes in their universities as well as while visiting some other schools. We hope that the book will make convex analysis more accessible to large groups of undergraduate and graduate students, researchers in different disciplines, and practitioners.
Boris S. Mordukhovich and Nguyen Mau Nam December 2013 xiii Acknowledgments
e first author acknowledges continued support by grants from the National Science Foundation and the second author acknowledges support by the Simons Foundation.
Boris S. Mordukhovich and Nguyen Mau Nam December 2013
xv List of Symbols
R the real numbers R . ; the extended real line D 1 1 R the nonnegative real numbers C R> the positive real numbers N the positive integers co ˝ convex hull of ˝ aff ˝ affine hull of ˝ int ˝ interior of ˝ ri ˝ relative interior of ˝ span ˝ linear subspace generated by ˝ cone ˝ cone generated by ˝ K˝ convex cone generated by ˝ dim ˝ dimension of ˝ ˝ closure of ˝ bd ˝ boundary of ˝ IB closed unit ball IB.x r/ closed ball with center x and radius r NI N dom f domain of f epi f epigraph of f gph F graph of mapping F LŒa; b line connecting a and b d.x ˝/ distance from x to ˝ I ˘.x ˝/ projection of x to ˝ I x; y inner product of x and y h i A adjoint/transpose of linear mapping/matrix A N.x ˝/ normal cone to ˝ at x NI N ker A kernel of linear mapping A D F.x; y/ coderivative to F at .x; y/ N N N N T.x ˝/ tangent cone to ˝ at x NI N F horizon/asymptotic cone of F T1F ˝ minimal time function defined by constant dynamic F and target set ˝ L.x; / Lagrangian F Minkowski gauge of F xvi LIST OF SYMBOLS
˘F . ˝/ generalized projection defined by the minimal time function I GF .x; t/ generalized ball defined by dynamic F with center x and radius t N N 1 C H A P T E R 1 Convex Sets and Functions
is chapter presents definitions, examples, and basic properties of convex sets and functions in the Euclidean space Rn and also contains some related material.
1.1 PRELIMINARIES We start with reviewing classical notions and properties of the Euclidean space Rn. e proofs of the results presented in this section can be found in standard books on advanced calculus and linear algebra. n n Let us denote by R the set of all n tuples of real numbers x .x1; : : : ; xn/. en R is D a linear space with the following operations:
.x1; : : : ; xn/ .y1; : : : ; yn/ .x1 y1; : : : ; xn yn/; C D C C .x1; : : : ; xn/ .x1; : : : ; xn/; D n n where .x1; : : : ; xn/; .y1; : : : ; yn/ R and R. e zero element of R and the number zero 2 2 of R are often denoted by the same notation 0 if no confusion arises. n T For any x .x1; : : : ; xn/ R , we identify it with the column vector x Œx1; : : : ; xn , D 2 D n where the symbol “T ” stands for vector transposition. Given x .x1; : : : ; xn/ R and y n D 2 D .y1; : : : ; yn/ R , the inner product of x and y is defined by 2 n
x; y X xi yi : h i WD i 1 D e following proposition lists some important properties of the inner product in Rn.
Proposition 1.1 For x; y; z Rn and R, we have: 2 2 (i) x; x 0, and x; x 0 if and only if x 0. h i h i D D (ii) x; y y; x . h i D h i (iii) x; y x; y . h i D h i (iv) x; y z x; y x; z . h C i D h i C h i n e Euclidean norm of x .x1; : : : ; xn/ R is defined by D 2 x qx2 ::: x2: k k WD 1 C C n 2 1. CONVEX SETS AND FUNCTIONS It follows directly from the definition that x p x; x . k k D h i Proposition 1.2 For any x; y Rn and R, we have: 2 2 (i) x 0, and x 0 if and only if x 0. k k k k D D (ii) x x . k k D j j k k (iii) x y x y .the triangle inequality/. k C k Ä k k C k k (iv) x; y x y .the Cauchy-Schwarz inequality/. jh ij Ä k k k k Using the Euclidean norm allows us to introduce the balls in Rn, which can be used to define other topological notions in Rn.
Definition 1.3 e centered at x with radius r 0 and the of Rn N are defined, respectively, by
IB.x r/ ˚x Rn ˇ x x r« and IB ˚x Rn ˇ x 1«: NI WD 2 ˇ k Nk Ä WD 2 ˇ k k Ä It is easy to see that IB IB.0 1/ and IB.x r/ x rIB. D I NI DN C Definition 1.4 Let ˝ Rn. en x is an of ˝ if there is ı > 0 such that N IB.x ı/ ˝: NI e set of all interior points of ˝ is denoted by int ˝. Moreover, ˝ is said to be if every point of ˝ is its interior point.
We get that ˝ is open if and only if for every x ˝ there is ı > 0 such that IB.x ı/ ˝. N 2 NI It is obvious that the empty set and the whole space Rn are open. Furthermore, any open ball ; B.x r/ x Rn x x < r centered at x with radius r is open. NI WD f 2 j k Nk g N Definition 1.5 A set ˝ Rn is if its complement ˝c Rn ˝ is open in Rn. D n It follows that the empty set, the whole space, and any ball IB.x r/ are closed in Rn. NI Proposition 1.6 (i) e union of any collection of open sets in Rn is open. (ii) e intersection of any finite collection of open sets in Rn is open. (iii) e intersection of any collection of closed sets in Rn is closed. (iv) e union of any finite collection of closed sets in Rn is closed.
n Definition 1.7 Let xk be a sequence in R . We say that xk to x if f g f g N xk x 0 as k . In this case we write k Nk ! ! 1
lim xk x: k DN !1 1.1. PRELIMINARIES 3 is notion allows us to define the following important topological concepts for sets.
Definition 1.8 Let ˝ be a nonempty subset of Rn. en: (i) e of ˝, denoted by ˝ or cl ˝, is the collection of limits of all convergent sequences be- longing to ˝. (ii) e of ˝, denoted by bd ˝, is the set ˝ int ˝. n We can see that the closure of ˝ is the intersection of all closed sets containing ˝ and that the interior of ˝ is the union of all open sets contained in ˝. It follows from the definition that x ˝ if and only if for any ı > 0 we have IB.x ı/ ˝ . Furthermore, x bd ˝ if and only N 2 NI \ ¤ ; N 2 if for any ı > 0 the closed ball IB.x ˝/ intersects both sets ˝ and its complement ˝c. NI n Definition 1.9 Let xk be a sequence in R and let k` be a strictly increasing sequence of positive f g f g integers. en the new sequence xk is called a of xk . f ` g f g We say that a set ˝ is bounded if it is contained in a ball centered at the origin with some radius r > 0, i.e., ˝ IB.0 r/. us a sequence xk is bounded if there is r > 0 with I f g
xk r for all k N : k k Ä 2 e following important result is known as the Bolzano-Weierstrass theorem.
eorem 1.10 Any bounded sequence in Rn contains a convergent subsequence.
e next concept plays a very significant role in analysis and optimization.
Definition 1.11 We say that a set ˝ is in Rn if every sequence in ˝ contains a subsequence converging to some point in ˝.
e following result is a consequence of the Bolzano-Weierstrass theorem.
eorem 1.12 A subset ˝ of Rn is compact if and only if it is closed and bounded.
n For subsets ˝, ˝1, and ˝2 of R and for R, we define the operations: 2
˝1 ˝2 ˚x y ˇ x ˝1; y ˝2«; ˝ ˚x ˇ x ˝«: C WD C ˇ 2 2 WD ˇ 2 e next proposition can be proved easily.
n Proposition 1.13 Let ˝1 and ˝2 be two subsets of R .
(i) If ˝1 is open or ˝2 is open, then ˝1 ˝2 is open. C (ii) If ˝1 is closed and ˝2 is compact, then ˝2 ˝2 is closed. C 4 1. CONVEX SETS AND FUNCTIONS Recall now the notions of bounds for subsets of the real line.
Definition 1.14 Let D be a subset of the real line. A number m R is a of D if we 2 have x m for all x D: 2 If the set D has a lower bound, then it is . Similarly, a number M R is an 2 of D if x M for all x D; Ä 2 and D is if it has an upper bound. Furthermore, we say that the set D is if it is simultaneously bounded below and above.
Now we are ready to define the concepts of infimum and supremum of sets.
Definition 1.15 Let D R be nonempty and bounded below. e infimum of D, denoted by inf D, is the greatest lower bound of D. When D is nonempty and bounded above, its supremum, denoted by sup D, is the least upper bound of D. If D is not bounded below .resp. above/, then we set inf D WD 1 .resp. sup D /. We also use the convention that inf and sup . WD 1 ; WD 1 ; WD 1 e following fundamental axiom ensures that these notions are well-defined. Completeness Axiom. For every nonempty subset D of R that is bounded above, the least upper bound of D exists as a real number. Using the Completeness Axiom, it is easy to see that if a nonempty set is bounded below, then its greatest lower bound exists as a real number. roughout the book we consider for convenience extended-real-valued functions, which take values in R . ; . e usual conventions of extended arithmetics are that a WD 1 1 C 1 D for any a R, , and t for t > 0. 1 2 1 C 1 D 1 1 D 1
Definition 1.16 Let f ˝ R be an extended-real-valued function and let x ˝ with f .x/ < W ! N 2 N . en f is at x if for any > 0 there is ı > 0 such that 1 N f .x/ f .x/ < whenever x x < ı; x ˝: j N j k Nk 2 We say that f is continuous on ˝ if it is continuous at every point of ˝.
It is obvious from the definition that if f ˝ R is continuous at x (with f .x/ < ), W ! N N 1 then it is finite on the intersection of ˝ and a ball centered at x with some radius r > 0. Further- N more, f ˝ R is continuous at x (with f .x/ < ) if and only if for every sequence xk in ˝ W ! N N 1 f g converging to x the sequence f .xk/ converges to f .x/. N f g N 1.2. CONVEX SETS 5 Definition 1.17 Let f ˝ R and let x ˝ with f .x/ < . We say that f has a - W ! N 2 N 1 at x relative to ˝ if there is ı > 0 such that N f .x/ f .x/ for all x IB.x ı/ ˝: N 2 NI \ We also say that f has a / at x relative to ˝ if N f .x/ f .x/ for all x ˝: N 2 e notions of local and global maxima can be defined similarly. Finally in this section, we formulate a fundamental result of mathematical analysis and optimization known as the Weierstrass existence theorem.
eorem 1.18 Let f ˝ R be a continuous function, where ˝ is a nonempty, compact subset W ! of Rn. en there exist x ˝ and u ˝ such that N 2 N 2 f .x/ inf ˚f .x/ ˇ x ˝« and f .u/ sup ˚f .x/ ˇ x ˝«: N D ˇ 2 N D ˇ 2 In Section 4.1 we present some “unilateral” versions of eorem 1.18.
1.2 CONVEX SETS We start the study of convexity with sets and then proceed to functions. Geometric ideas play an underlying role in convex analysis, its extensions, and applications. us we implement the geometric approach in this book. Given two elements a and b in Rn, define the interval/line segment
Œa; b ˚a .1 /b ˇ Œ0; 1«: WD C ˇ 2 Note that if a b, then this interval reduces to a singleton Œa; b a . D D f g
Definition 1.19 A subset ˝ of Rn is if Œa; b ˝ whenever a; b ˝. Equivalently, ˝ is 2 convex if a .1 /b ˝ for all a; b ˝ and Œ0; 1. C 2 2 2 n m m Given !1;:::;!m R , the element x Pi 1 i !i , where Pi 1 i 1 and i 0 for 2 D D D D some m N, is called a convex combination of !1;:::;!m. 2
Proposition 1.20 A subset ˝ of Rn is convex if and only if it contains all convex combinations of its elements. 6 1. CONVEX SETS AND FUNCTIONS
Figure 1.1: Convex set and nonconvex set.
Proof. e sufficient condition is trivial. To justify the necessity, we show by induction that any m convex combination x P i !i of elements in ˝ is an element of ˝. is conclusion follows D i 1 directly from the definition forD m 1; 2. Fix now a positive integer m 2 and suppose that every D convex combination of k N elements from ˝, where k m, belongs to ˝. Form the convex 2 Ä combination m 1 m 1 C C y X i !i ; X i 1; i 0 WD D i 1 i 1 D D and observe that if m 1 1, then 1 2 ::: m 0, so y !m 1 ˝. In the case C D D D D D D C 2 where m 1 < 1 we get the representations C m m i X i 1 m 1 and X 1; D C 1 m 1 D i 1 i 1 C D D which imply in turn the inclusion
m i z X !i ˝: WD 1 m 1 2 i 1 C D It yields therefore the relationships
m i y .1 m 1/ X !i m 1!m 1 .1 m 1/z m 1!m 1 ˝ D C 1 m 1 C C C D C C C C 2 i 1 C D and thus completes the proof of the proposition.
n p Proposition 1.21 Let ˝1 be a convex subset of R and let ˝2 be a convex subset of R . en the n p Cartesian product ˝1 ˝2 is a convex subset of R R . 1.2. CONVEX SETS 7
Proof. Fix a .a1; a2/; b .b1; b2/ ˝1 ˝2, and .0; 1/. en we have a1; b1 ˝1 and D D 2 2 2 a2; b2 ˝2. e convexity of ˝1 and ˝2 gives us 2
ai .1 /bi ˝i for i 1; 2; C 2 D which implies therefore that
a .1 /b a1 .1 /b1; a2 .1 /b2 ˝1 ˝2: C D C C 2
us the Cartesian product ˝1 ˝2 is convex. Let us continue with the definition of affine mappings.
Definition 1.22 A mapping B Rn Rp is if there exist a linear mapping A Rn Rp W ! W ! and an element b Rp such that B.x/ A.x/ b for all x Rn. 2 D C 2 Every linear mapping is affine. Moreover, B Rn Rp is affine if and only if W ! B.x .1 /y/ B.x/ .1 /B.y/ for all x; y Rn and R : C D C 2 2 Now we show that set convexity is preserved under affine operations.
Proposition 1.23 Let B Rn Rp be an affine mapping. Suppose that ˝ is a convex subset of Rn W p ! p 1 and is a convex subset of R . en B.˝/ is a convex subset of R and B ./ is a convex subset of Rn.
Proof. Fix any a; b B.˝/ and .0; 1/. en a B.x/ and b B.y/ for x; y ˝. Since ˝ 2 2 D D 2 is convex, we have x .1 /y ˝. en C 2 a .1 /b B.x/ .1 /B.y/ B.x .1 /y/ B.˝/; C D C D C 2 which justifies the convexity of the image B.˝/. Taking now any x; y B 1./ and .0; 1/, we get B.x/; B.y/ . is gives us 2 2 2 B.x/ .1 /B.y/ B x .1 /y C D C 2 1 by the convexity of . us we have x .1 /y B ./, which verifies the convexity of 1 C 2 the inverse image B ./.
n Proposition 1.24 Let ˝1; ˝2 R be convex and let R. en both sets ˝1 ˝2 and ˝1 2 C are also convex in Rn.
Proof. It follows directly from the definitions. 8 1. CONVEX SETS AND FUNCTIONS Next we proceed with intersections of convex sets.
n Proposition 1.25 Let ˝˛ ˛ I be a collection of convex subsets of R . en T˛ I ˝˛ is also a convex f g 2 subset of Rn. 2
Proof. Taking any a; b T˛ I ˝˛, we get that a; b ˝˛ for all ˛ I . e convexity of each 2 2 2 2 ˝˛ ensures that a .1 /b ˝˛ for any .0; 1/. us a .1 /b T˛ I ˝˛ and C 2 2 C 2 2 the intersection T˛ I ˝˛ is convex. 2
Definition 1.26 Let ˝ be a subset of Rn. e of ˝ is defined by
n ˇ o co ˝ \ C ˇ C is convex and ˝ C : WD ˇ e next proposition follows directly from the definition and Proposition 1.25.
Figure 1.2: Nonconvex set and its convex hull.
Proposition 1.27 e convex hull co ˝ is the smallest convex set containing ˝.
Proof. e convexity of the set co ˝ ˝ follows from Proposition 1.25. On the other hand, for any convex set C that contains ˝ we clearly have co ˝ C , which verifies the conclusion.
Proposition 1.28 For any subset ˝ of Rn, its convex hull admits the representation
m m
co ˝ n X i ai ˇ X i 1; i 0; ai ˝; m No: D ˇ D 2 2 i 1 ˇ i 1 D D 1.2. CONVEX SETS 9 Proof. Denoting by C the right-hand side of the representation to prove, we obviously have ˝ C . Let us check that the set C is convex. Take any a; b C and get 2 p q
a X ˛i ai ; b X ˇj bj ; WD WD i 1 j 1 D D p q where ai ; bj ˝, ˛i ; ˇj 0 with P ˛i P ˇj 1, and p; q N. It follows easily that 2 i 1 D j 1 D 2 for every number .0; 1/, we have D D 2 p q
a .1 /b X ˛i ai X.1 /ˇj bj : C D C i 1 j 1 D D en the resulting equality
p q p q
X ˛i X.1 /ˇj X ˛i .1 / X ˇj 1 C D C D i 1 j 1 i 1 j 1 D D D D ensures that a .1 /b C , and thus co ˝ C by the definition of co ˝. Fix now any a m C 2 D P i ai C with ai ˝ co ˝ for i 1; : : : ; m. Since the set co ˝ is convex, we conclude i 1 2 2 D by PropositionD 1.20 that a co ˝ and thus co ˝ C . 2 D
Proposition 1.29 e interior int ˝ and closure ˝ of a convex set ˝ Rn are also convex.
Proof. Fix a; b int ˝ and .0; 1/. en find an open set V such that 2 2 a V ˝ and so a .1 /b V .1 /b ˝: 2 C 2 C Since V .1 /b is open, we get a .1 /b int ˝, and thus the set int ˝ is convex. C C 2 To verify the convexity of ˝, we fix a; b ˝ and .0; 1/ and then find sequences ak 2 2 f g and bk in ˝ converging to a and b, respectively. By the convexity of ˝, the sequence ak f g f C .1 /bk lies entirely in ˝ and converges to a .1 /b. is ensures the inclusion a g C C .1 /b ˝ and thus justifies the convexity of the closure ˝. 2 To proceed further, for any a; b Rn, define the interval 2 Œa; b/ ˚a .1 /b ˇ .0; 1«: WD C ˇ 2 We can also define the intervals .a; b and .a; b/ in a similar way.
Lemma 1.30 For a convex set ˝ Rn with nonempty interior, take any a int ˝ and b ˝. 2 2 en Œa; b/ int ˝. 10 1. CONVEX SETS AND FUNCTIONS
Proof. Since b ˝, for any > 0, we have b ˝ IB. Take now .0; 1 and let x 2 22 C 2 WD a .1 /b. Choosing > 0 such that a IB ˝ gives us C C
x IB a .1 /b IB C D C C a .1 /˝ IB IB C C C a .1 /˝ .1 /IB IB D C 2 C C ha IBi .1 /˝ C C ˝ .1 /˝ ˝: C
is shows that x int ˝ and thus verifies the inclusion Œa; b/ int ˝. 2 Now we establish relationships between taking the interior and closure of convex sets.
Proposition 1.31 Let ˝ Rn be a convex set with nonempty interior. en we have: (i) int ˝ ˝ and .ii/ int ˝ int ˝. D D
Proof. (i) Obviously, int ˝ ˝. For any b ˝ and a int ˝, define the sequence xk by 2 2 f g 1 1 xk a 1 Áb; k N: WD k C k 2
Lemma 1.30 ensures that xk int ˝. Since xk b, we have b int ˝ and thus verify (i). 2 ! 2 (ii) Since the inclusion int ˝ int ˝ is obvious, it remains to prove the opposite inclusion int ˝ int ˝. To proceed, fix any b int ˝ and a int ˝. If > 0 is sufficiently small, then 2 2 1 c b .b a/ ˝, and hence b a c .a; c/ int ˝; WD C 2 D 1 C 1 2 C C which verifies that int ˝ int ˝ and thus completes the proof. 1.3 CONVEX FUNCTIONS is section collects basic facts about general (extended-real-valued) convex functions including their analytic and geometric characterizations, important properties as well as their specifications for particular subclasses. We also define convex set-valued mappings and use them to study a re- markable class of optimal value functions employed in what follows.
Definition 1.32 Let f ˝ R be an extended-real-valued function define on a convex set ˝ W ! Rn. en the function f is on ˝ if
f x .1 /y f.x/ .1 /f .y/ for all x; y ˝ and .0; 1/: (1.1) C Ä C 2 2 1.3. CONVEX FUNCTIONS 11 If the inequality in (1.1) is strict for x y, then f is on ˝. ¤ Given a function f ˝ R, the extension of f to Rn is defined by W ! (f .x/ if x ˝; f .x/ 2 e WD otherwise: 1 Obviously, if f is convex on ˝, where ˝ is a convex set, then f is convex on Rn. Furthermore, e if f Rn R is a convex function, then it is also convex on every convex subset of Rn. is W ! allows to consider without loss of generality extended-real-valued convex functions on the whole space Rn.
Figure 1.3: Convex function and nonconvex function.
Definition 1.33 e and of f Rn R are defined, respectively, by W ! dom f ˚x Rn ˇ f .x/ < « and WD 2 ˇ 1 epi f ˚.x; t/ Rn R ˇ x Rn; t f .x/« ˚.x; t/ Rn R ˇ x dom f; t f .x/«: WD 2 ˇ 2 D 2 ˇ 2 Let us illustrate the convexity of functions by examples.
Example 1.34 e following functions are convex: (i) f .x/ a; x b for x Rn, where a Rn and b R. WD h i C 2 2 2 (ii) g.x/ x for x Rn. WD k k 2 (iii) h.x/ x2 for x R. WD 2 12 1. CONVEX SETS AND FUNCTIONS Indeed, the function f in (i) is convex since
f x .1 /y a; x .1 /y b a; x .1 / a; y b C D h C i C D h i C h i C . a; x b/ .1 /. a; y b/ D h i C C h i C f.x/ .1 /f .y/ for all x; y Rn and .0; 1/: D C 2 2 e function g in (ii) is convex since for x; y Rn and .0; 1/, we have 2 2 g x .1 /y x .1 /y x .1 / y g.x/ .1 /g.y/; C D k C k Ä k k C k k D C which follows from the triangle inequality and the fact that ˛u ˛ u whenever ˛ R k k D j j k k 2 and u Rn. e convexity of the simplest quadratic function h in (iii) follows from a more general 2 result for the quadratic function on Rn given in the next example.
Example 1.35 Let A be an n n symmetric matrix. It is called positive semidefinite if Au; u 0 h i for all u Rn. Let us check that A is positive semidefinite if and only if the function f Rn R 2 W ! defined by 1 f .x/ Ax; x ; x Rn; WD 2h i 2 is convex. Indeed, a direct calculation shows that for any x; y Rn and .0; 1/ we have 2 2 1 f.x/ .1 /f .y/ f x .1 /y .1 / A.x y/; x y : (1.2) C C D 2 h i If the matrix A is positive semidefinite, then A.x y/; x y 0, so the function f is convex h i by (1.2). Conversely, assuming the convexity of f and using equality (1.2) for x u and y 0 D D verify that A is positive semidefinite.
e following characterization of convexity is known as the Jensen inequality.
n eorem 1.36 A function f R R is convex if and only if for any numbers i 0 as i m W ! n D 1; : : : ; m with Pi 1 i 1 and for any elements xi R , i 1; : : : ; m, it holds that D D 2 D m m
f X i xi Á X i f .xi /: (1.3) Ä i 1 i 1 D D Proof. Since (1.3) immediately implies the convexity of f , we only need to prove that any convex function f satisfies the Jensen inequality (1.3). Arguing by induction and taking into account that for m 1 inequality (1.3) holds trivially and for m 2 inequality (1.3) holds by the definition D D of convexity, we suppose that it holds for an integer m k with k 2. Fix numbers i 0, k 1 WDn i 1; : : : ; k 1, with P C i 1 and elements xi R , i 1; : : : ; k 1. We obviously have D C i 1 D 2 D C the relationship D k
X i 1 k 1: D C i 1 D 1.3. CONVEX FUNCTIONS 13
If k 1 1, then i 0 for all i 1; : : : ; k and (1.3) obviously holds for m k 1 in this C D D D WD C case. Supposing now that 0 k 1 < 1, we get Ä C k X i 1 1 D i 1 k 1 D C and by direct calculations based on convexity arrive at
k 1 k C Pi 1 i xi f X i xi Á f h.1 k 1/ D k 1xk 1i D C 1 k 1 C C C i 1 C D k Pi 1 i xi .1 k 1/f D Á k 1f .xk 1/ Ä C 1 k 1 C C C k C i .1 k 1/f X xi Á k 1f .xk 1/ D C 1 k 1 C C C i 1 C k D i .1 k 1/ X f .xi / k 1f .xk 1/ Ä C 1 k 1 C C C i 1 C k 1 D C X i f .xi /: D i 1 D is justifies inequality (1.3) and completes the proof of the theorem. e next theorem gives a geometric characterization of the function convexity via the con- vexity of the associated epigraphical set.
eorem 1.37 A function f Rn R is convex if and only if its epigraph epi f is a convex W ! subset of the product space Rn R.
Proof. Assuming that f is convex, fix pairs .x1; t1/; .x2; t2/ epi f and a number .0; 1/. 2 2 en we have f .xi / ti for i 1; 2. us the convexity of f ensures that Ä D f x1 .1 /x2 f.x1/ .1 /f .x2/ t1 .1 /t2: C Ä C Ä C is implies therefore that
.x1; t1/ .1 /.x2; t2/ .x1 .1 /x2; t1 .1 /t2/ epi f; C D C C 2 and thus the epigraph epi f is a convex subset of Rn R. Conversely, suppose that the set epi f is convex and fix x1; x2 dom f and a number 2 .0; 1/. en .x1; f .x1//; .x2; f .x2// epi f . is tells us that 2 2 x1 .1 /x2; f.x1/ .1 /f .x2/ x1; f .x1/ .1 / x2; f .x2/ epi f C C D C 2 14 1. CONVEX SETS AND FUNCTIONS and thus implies the inequality
f x1 .1 /x2 f.x1/ .1 /f .x2/; C Ä C which justifies the convexity of the function f .
Figure 1.4: Epigraphs of convex function and nonconvex function.
Now we show that convexity is preserved under some important operations.
n Proposition 1.38 Let fi R R be convex functions for all i 1; : : : ; m. en the following W ! D functions are convex as well: (i) e multiplication by scalars f for any > 0. m (ii) e sum function Pi 1 fi . D (iii) e maximum function max1 i m fi . Ä Ä
Proof. e convexity of f in (i) follows directly from the definition. It is sufficient to prove (ii) and (iii) for m 2, since the general cases immediately follow by induction. D (ii) Fix any x; y Rn and .0; 1/. en we have 2 2 f1 f2 x .1 /y f1 x .1 /y f2 x .1 /y C C D C C C f1.x/ .1 /f1.y/ f2.x/ .1 /f2.y/ Ä C C C .f1 f2/.x/ .1 /.f1 f2/.y/; D C C C which verifies the convexity of the sum function f1 f2. C n (iii) Denote g max f1; f2 and get for any x; y R and .0; 1/ that WD f g 2 2 fi x .1 /y fi .x/ .1 /fi .y/ g.x/ .1 /g.y/ C Ä C Ä C for i 1; 2. is directly implies that D g x .1 /y max ˚f1 x .1 /y; f2 x .1 /y« g.x/ .1 /g.y/; C D C C Ä C which shows that the maximum function g.x/ max f1.x/; f2.x/ is convex. D f g 1.3. CONVEX FUNCTIONS 15 e next result concerns the preservation of convexity under function compositions.
Proposition 1.39 Let f Rn R be convex and let ' R R be nondecreasing and convex on W ! W ! a convex set containing the range of the function f . en the composition ' f is convex. ı
n Proof. Take any x1; x2 R and .0; 1/. en we have by the convexity of f that 2 2 f x1 .1 /x2 f.x1/ .1 /f .x2/: C Ä C Since ' is nondecreasing and it is also convex, it follows that