10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

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

3.1.7.0.4 Example. Matrix fractional function. (confer3.2.2.0.1)<br />

Continuing Example 3.1.7.0.2, now consider a real function of two variables<br />

on domf = S n +×R n for small positive constant ǫ (confer (1746))<br />

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

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

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

and all x∈ R n : Consider Schur-form (1413) 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 />

(504)<br />

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

+ under affine mapping<br />

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

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

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

+<br />

(505)<br />

<br />

3.1.7.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 (506)<br />

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

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

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

E.3.2. From (1746) 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 (507)<br />

lim<br />

ǫ→0 +f(W<br />

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

ǫ→0 +ǫxT<br />

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

)

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

Saved successfully!

Ooh no, something went wrong!