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.

660 APPENDIX E. PROJECTION<br />

where y p is any solution to Ay = b , and where the columns of<br />

Z ∈ R n×n−rank A constitute a basis for N(A) so that y = Zξ + y p ∈ A for<br />

all ξ ∈ R n−rank A .<br />

The infimum is found by setting the gradient of the strictly convex<br />

norm-square to 0. The minimizing argument is<br />

so<br />

and from (1786),<br />

ξ ⋆ = −(Z T Z) −1 Z T (y p − x) (1826)<br />

y ⋆ = ( I − Z(Z T Z) −1 Z T) (y p − x) + x (1827)<br />

Px = y ⋆ = x − A † (Ax − b)<br />

= (I − A † A)x + A † Ay p<br />

(1828)<br />

which is a projection of x on N(A) then translated perpendicularly with<br />

respect to the nullspace until it meets the affine subset A . <br />

E.5.0.0.7 Example. Projection on affine subset, vertex-description.<br />

Suppose now we instead describe the affine subset A in terms of some given<br />

minimal set of generators arranged columnar in X ∈ R n×N (68); id est,<br />

A ∆ = aff X = {Xa | a T 1=1} ⊆ R n (1829)<br />

Here minimal set means XV N = [x 2 −x 1 x 3 −x 1 · · · x N −x 1 ]/ √ 2 (865) is<br />

full-rank (2.4.2.2) where V N ∈ R N×N−1 is the Schoenberg auxiliary matrix<br />

(B.4.2). Then the orthogonal projection Px of any point x∈ R n on A is<br />

the solution to a minimization problem:<br />

‖Px − x‖ 2<br />

= inf ‖Xa − x‖ 2<br />

a T 1=1<br />

(1830)<br />

= inf ‖X(V N ξ + a p ) − x‖ 2<br />

ξ∈R N−1<br />

where a p is any solution to a T 1=1. We find the minimizing argument<br />

ξ ⋆ = −(V T NX T XV N ) −1 V T NX T (Xa p − x) (1831)<br />

and so the orthogonal projection is [179,3]<br />

Px = Xa ⋆ = (I − XV N (XV N ) † )Xa p + XV N (XV N ) † x (1832)<br />

a projection of point x on R(XV N ) then translated perpendicularly with<br />

respect to that range until it meets the affine subset A .

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

Saved successfully!

Ooh no, something went wrong!