10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

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.

2.13. DUAL CONE & GENERALIZED INEQUALITY 193<br />

N∑<br />

minimize Γ ∗T<br />

x∈R n i (x − t ⋆ iΓ i )<br />

i=1<br />

subject to x − t ⋆ iΓ i ∈ K ,<br />

i=1... N<br />

(439)<br />

N∑<br />

minimize Γ ∗T<br />

Γ ∗ i (x ⋆ − t ⋆ iΓ i )<br />

i ∈Rn i=1<br />

subject to Γ ∗T<br />

i Γ i = 1 ,<br />

Γ ∗ i ∈ K ∗ ,<br />

i=1... N<br />

i=1... N<br />

(440)<br />

where dual extreme directions Γ ∗ i are initialized arbitrarily and ultimately<br />

ascertained by the alternation. <strong>Convex</strong> problems (439) and (440) are<br />

iterated until convergence which is guaranteed by virtue of a monotonically<br />

nonincreasing real sequence of objective values. Convergence can be fast.<br />

The mapping t ⋆ (x) is uniquely inverted when the necessarily nonnegative<br />

objective vanishes; id est, when Γ ∗T<br />

i (x ⋆ − t ⋆ iΓ i )=0 ∀i. Here, a zero<br />

objective can occur only at the true solution x . But this global optimality<br />

condition cannot be guaranteed by the alternation because the common<br />

objective function, when regarded in both primal x and dual Γ ∗ i variables<br />

simultaneously, is generally neither quasiconvex or monotonic.<br />

Conversely, a nonzero objective at convergence is a certificate that<br />

inversion was not performed properly. A nonzero objective indicates that<br />

the global minimum of a multimodal objective function could not be found<br />

by this alternation. That is a flaw in this particular iterative algorithm for<br />

inversion; not in theory. 2.76 A numerical remedy is to reinitialize the Γ ∗ i to<br />

different values.<br />

2.76 The Proof 2.13.11.0.5 that suitable dual extreme directions {Γj ∗ } always exist means<br />

that a global optimization algorithm would always find the zero objective of alternation<br />

(439) (440); hence, the unique inversion x. But such an algorithm can be combinatorial.

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

Saved successfully!

Ooh no, something went wrong!