v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
182 CHAPTER 2. CONVEX GEOMETRY 2.13.10 Dual cone-translate First-order optimality condition (319) inspires a dual-cone variant: For any set K , the negative dual of its translation by any a∈ R n is −(K − a) ∗ ∆ = { y ∈ R n | 〈y , x − a〉≤0 for all x ∈ K } = { y ∈ R n | 〈y , x〉≤0 for all x ∈ K − a } (403) a closed convex cone called the normal cone to K at point a . (E.10.3.2.1) From this, a new membership relation like (288) for closed convex cone K : y ∈ −(K − a) ∗ ⇔ 〈y , x − a〉≤0 for all x ∈ K (404) 2.13.10.1 first-order optimality condition - restatement The general first-order necessary and sufficient condition for optimality of solution x ⋆ to a minimization problem with real differentiable convex objective function f(x) : R n →R over convex feasible set C is [265,3] (confer (319)) −∇f(x ⋆ ) ∈ −(C − x ⋆ ) ∗ , x ⋆ ∈ C (405) id est, the negative gradient (3.1.8) belongs to the normal cone at x ⋆ as in Figure 59. 2.13.10.1.1 Example. Normal cone to orthant. Consider proper cone K = R n + , the self-dual nonnegative orthant in R n . The normal cone to R n + at a∈ K is (1968) K ⊥ R n + (a∈ Rn +) = −(R n + − a) ∗ = −R n + ∩ a ⊥ , a∈ R n + (406) where −R n += −K ∗ is the algebraic complement of R n + , and a ⊥ is the orthogonal complement of point a . This means: When point a is interior to R n + , the normal cone is the origin. If n p represents the number of nonzero entries in point a∈∂R n + , then dim(−R n + ∩ a ⊥ )= n − n p and there is a complementary relationship between the nonzero entries in point a and the nonzero entries in any vector x∈−R n + ∩ a ⊥ .
2.13. DUAL CONE & GENERALIZED INEQUALITY 183 α α ≥ β ≥ γ β C x ⋆ −∇f(x ⋆ ) γ {z | f(z) = α} {y | ∇f(x ⋆ ) T (y − x ⋆ ) = 0, f(x ⋆ )=γ} Figure 59: Shown is a plausible contour plot in R 2 of some arbitrary differentiable real convex function f(x) at selected levels α , β , and γ ; id est, contours of equal level f (level sets) drawn (dashed) in function’s domain. Function is minimized over convex set C at point x ⋆ iff negative gradient −∇f(x ⋆ ) belongs to normal cone to C there. In circumstance depicted, normal cone is a ray whose direction is coincident with negative gradient. From results in3.1.9 (p.229), ∇f(x ⋆ ) is normal to the γ-sublevel set by Definition E.9.1.0.1.
- Page 131 and 132: 2.10. CONIC INDEPENDENCE (C.I.) 131
- Page 133 and 134: 2.12. CONVEX POLYHEDRA 133 It follo
- Page 135 and 136: 2.12. CONVEX POLYHEDRA 135 Coeffici
- Page 137 and 138: 2.12. CONVEX POLYHEDRA 137 2.12.3 U
- Page 139 and 140: 2.12. CONVEX POLYHEDRA 139
- Page 141 and 142: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 143 and 144: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 145 and 146: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 147 and 148: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 149 and 150: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 151 and 152: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 153 and 154: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 155 and 156: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 157 and 158: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 159 and 160: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 161 and 162: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 163 and 164: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 165 and 166: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 167 and 168: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 169 and 170: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 171 and 172: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 173 and 174: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 175 and 176: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 177 and 178: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 179 and 180: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 181: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 185 and 186: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 187 and 188: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 189 and 190: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 191 and 192: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 193 and 194: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 195 and 196: Chapter 3 Geometry of convex functi
- Page 197 and 198: 3.1. CONVEX FUNCTION 197 f 1 (x) f
- Page 199 and 200: 3.1. CONVEX FUNCTION 199 3.1.3 norm
- Page 201 and 202: 3.1. CONVEX FUNCTION 201 A B 1 Figu
- Page 203 and 204: 3.1. CONVEX FUNCTION 203 k/m 1 0.9
- Page 205 and 206: k∑ i=1 3.1. CONVEX FUNCTION 205 S
- Page 207 and 208: 3.1. CONVEX FUNCTION 207 rather x >
- Page 209 and 210: 3.1. CONVEX FUNCTION 209 rather ] x
- Page 211 and 212: 3.1. CONVEX FUNCTION 211 3.1.6.0.2
- Page 213 and 214: 3.1. CONVEX FUNCTION 213 q(x) f(x)
- Page 215 and 216: 3.1. CONVEX FUNCTION 215 3.1.7.0.2
- Page 217 and 218: 3.1. CONVEX FUNCTION 217 We learned
- Page 219 and 220: 3.1. CONVEX FUNCTION 219 Since opti
- Page 221 and 222: 3.1. CONVEX FUNCTION 221 2 1.5 1 0.
- Page 223 and 224: 3.1. CONVEX FUNCTION 223 Setting th
- Page 225 and 226: 3.1. CONVEX FUNCTION 225 Similarly,
- Page 227 and 228: 3.1. CONVEX FUNCTION 227 For vector
- Page 229 and 230: 3.1. CONVEX FUNCTION 229 This means
- Page 231 and 232: 3.1. CONVEX FUNCTION 231 f(Y ) −
2.13. DUAL CONE & GENERALIZED INEQUALITY 183<br />
α<br />
α ≥ β ≥ γ<br />
β<br />
C<br />
x ⋆ −∇f(x ⋆ )<br />
γ<br />
{z | f(z) = α}<br />
{y | ∇f(x ⋆ ) T (y − x ⋆ ) = 0, f(x ⋆ )=γ}<br />
Figure 59: Shown is a plausible contour plot in R 2 of some arbitrary<br />
differentiable real convex function f(x) at selected levels α , β , and γ ;<br />
id est, contours of equal level f (level sets) drawn (dashed) in function’s<br />
domain. Function is minimized over convex set C at point x ⋆ iff negative<br />
gradient −∇f(x ⋆ ) belongs to normal cone to C there. In circumstance<br />
depicted, normal cone is a ray whose direction is coincident with negative<br />
gradient. From results in3.1.9 (p.229), ∇f(x ⋆ ) is normal to the γ-sublevel<br />
set by Definition E.9.1.0.1.