10.03.2015 Views

Chapter 3 Geometry of convex functions - Meboo Publishing ...

Chapter 3 Geometry of convex functions - Meboo Publishing ...

Chapter 3 Geometry of convex functions - Meboo Publishing ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

230 CHAPTER 3. GEOMETRY OF CONVEX FUNCTIONS<br />

f(z)<br />

A<br />

z 2<br />

z 1<br />

C<br />

H−<br />

H+<br />

a<br />

{z ∈ R 2 | a T z = κ1 }<br />

{z ∈ R 2 | a T z = κ2 }<br />

{z ∈ R 2 | a T z = κ3 }<br />

Figure 71: Three hyperplanes intersecting <strong>convex</strong> set C ⊂ R 2 from Figure 28.<br />

Cartesian axes in R 3 : Plotted is affine subset A = f(R 2 )⊂ R 2 × R ; a plane<br />

with third dimension. Sequence <strong>of</strong> hyperplanes, w.r.t domain R 2 <strong>of</strong> affine<br />

function f(z)= a T z + b : R 2 → R , is increasing in direction <strong>of</strong> gradient a<br />

(3.7.0.0.3) because affine function increases in normal direction (Figure 26).<br />

Minimization <strong>of</strong> a T z + b over C is equivalent to minimization <strong>of</strong> a T z .<br />

3.5.0.0.1 Example. Engineering control. [381,2.2] 3.13<br />

For X ∈ S M and matrices A,B, Q, R <strong>of</strong> any compatible dimensions, for<br />

example, the expression XAX is not affine in X whereas<br />

[ ]<br />

R B<br />

g(X) =<br />

T X<br />

XB Q + A T (529)<br />

X + XA<br />

is an affine multidimensional function.<br />

engineering control. [57] [147]<br />

Such a function is typical in<br />

<br />

(confer Figure 16) Any single- or many-valued inverse <strong>of</strong> an affine function<br />

is affine.<br />

3.13 The interpretation from this citation <strong>of</strong> {X ∈ S M | g(X) ≽ 0} as “an intersection<br />

between a linear subspace and the cone <strong>of</strong> positive semidefinite matrices” is incorrect.<br />

(See2.9.1.0.2 for a similar example.) The conditions they state under which strong<br />

duality holds for semidefinite programming are conservative. (confer4.2.3.0.1)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!