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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

where the inverse always exists by (1427). This function is <strong>convex</strong><br />

simultaneously in both variables over the entire positive semidefinite cone S n +<br />

and all x∈ R n : Consider Schur-form (1487) fromA.4: for t ∈ R<br />

[ ] A + ǫI z<br />

G(A, z , t) =<br />

z T ǫ −1 ≽ 0<br />

t<br />

⇔<br />

t − ǫz T (A + ǫI) −1 z ≥ 0<br />

A + ǫI ≻ 0<br />

(545)<br />

Inverse image <strong>of</strong> the positive semidefinite cone S n+1<br />

+ under affine mapping<br />

G(A, z , t) is <strong>convex</strong> by Theorem 2.1.9.0.1. Function f(A, z) is <strong>convex</strong> on<br />

S+×R n n because its epigraph is that inverse image:<br />

epi f(A, z) = { (A, z , t) | A + ǫI ≻ 0, ǫz T (A + ǫI) −1 z ≤ t } = G −1( )<br />

S n+1<br />

+<br />

(546)<br />

<br />

3.6.1 matrix fractional projector function<br />

Consider nonlinear function f having orthogonal projector W as argument:<br />

f(W , x) = ǫx T (W + ǫI) −1 x (547)<br />

Projection matrix W has property W † = W T = W ≽ 0 (1875). Any<br />

orthogonal projector can be decomposed into an outer product <strong>of</strong><br />

orthonormal matrices W = UU T where U T U = I as explained in<br />

E.3.2. From (1830) for any ǫ > 0 and idempotent symmetric W ,<br />

ǫ(W + ǫI) −1 = I − (1 + ǫ) −1 W from which<br />

Therefore<br />

f(W , x) = ǫx T (W + ǫI) −1 x = x T( I − (1 + ǫ) −1 W ) x (548)<br />

lim<br />

ǫ→0 +f(W<br />

, x) = lim (W + ǫI) −1 x = x T (I − W )x (549)<br />

ǫ→0 +ǫxT<br />

where I − W is also an orthogonal projector (E.2).<br />

We learned from Example 3.6.0.0.4 that f(W , x)= ǫx T (W +ǫI) −1 x is<br />

<strong>convex</strong> simultaneously in both variables over all x ∈ R n when W ∈ S n + is

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

Saved successfully!

Ooh no, something went wrong!