v2010.10.26 - Convex Optimization

v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization

convexoptimization.com
from convexoptimization.com More from this publisher
12.07.2015 Views

216 CHAPTER 2. CONVEX GEOMETRYa point x from its coordinates t ⋆ (x) via (489), but does not prescribe theindex set I . There are at least two computational methods for specifying{Γj(i) ∗ } : one is combinatorial but sure to succeed, the other is a geometricmethod that searches for a minimum of a nonconvex function. We describethe latter:Convex problem (P)(P)maximize tt∈Rsubject to x − tv ∈ Kminimize λ T xλ∈R nsubject to λ T v = 1λ ∈ K ∗ (D) (490)is equivalent to definition (486) whereas convex problem (D) is its dual; 2.88meaning, primal and dual optimal objectives are equal t ⋆ = λ ⋆T x assumingSlater’s condition (p.285) is satisfied. Under this assumption of strongduality, λ ⋆T (x − t ⋆ v)= t ⋆ (1 − λ ⋆T v)=0; which implies, the primal problemis equivalent tominimize λ ⋆T (x − tv)t∈R(P) (491)subject to x − tv ∈ Kwhile the dual problem is equivalent tominimize λ T (x − t ⋆ v)λ∈R nsubject to λ T v = 1 (D) (492)λ ∈ K ∗Instead given coordinates t ⋆ (x) and a description of cone K , we proposeinversion by alternating solution of primal and dual problemsN∑minimize Γ ∗Tx∈R n i (x − t ⋆ iΓ i )i=1(493)subject to x − t ⋆ iΓ i ∈ K , i=1... N2.88 Form a Lagrangian associated with primal problem (P):L(t, λ) = t + λ T (x − tv) = λ T x + t(1 − λ T v) ,λ ≽K ∗ 0suptL(t, λ) = λ T x , 1 − λ T v = 0Dual variable (Lagrange multiplier [250, p.216]) λ generally has a nonnegative sense forprimal maximization with any cone membership constraint, whereas λ would have anonpositive sense were the primal instead a minimization problem having a membershipconstraint.

2.13. DUAL CONE & GENERALIZED INEQUALITY 217N∑minimize Γ ∗TΓ ∗ i (x ⋆ − t ⋆ iΓ i )i ∈Rn i=1subject to Γ ∗Ti Γ i = 1 ,Γ ∗ i ∈ K ∗ ,i=1... Ni=1... N(494)where dual extreme directions Γ ∗ i are initialized arbitrarily and ultimatelyascertained by the alternation. Convex problems (493) and (494) areiterated until convergence which is guaranteed by virtue of a monotonicallynonincreasing real sequence of objective values. Convergence can be fast.The mapping t ⋆ (x) is uniquely inverted when the necessarily nonnegativeobjective vanishes; id est, when Γ ∗Ti (x ⋆ − t ⋆ iΓ i )=0 ∀i. Here, a zeroobjective can occur only at the true solution x . But this global optimalitycondition cannot be guaranteed by the alternation because the commonobjective function, when regarded in both primal x and dual Γ ∗ i variablessimultaneously, is generally neither quasiconvex or monotonic. (3.8.0.0.3)Conversely, a nonzero objective at convergence is a certificate thatinversion was not performed properly. A nonzero objective indicates thatthe global minimum of a multimodal objective function could not be foundby this alternation. That is a flaw in this particular iterative algorithm forinversion; not in theory. 2.89 A numerical remedy is to reinitialize the Γ ∗ i todifferent values.2.89 The Proof 2.13.12.0.2, that suitable dual extreme directions {Γj ∗ } always exist, meansthat a global optimization algorithm would always find the zero objective of alternation(493) (494); hence, the unique inversion x. But such an algorithm can be combinatorial.

2.13. DUAL CONE & GENERALIZED INEQUALITY 217N∑minimize Γ ∗TΓ ∗ i (x ⋆ − t ⋆ iΓ i )i ∈Rn i=1subject to Γ ∗Ti Γ i = 1 ,Γ ∗ i ∈ K ∗ ,i=1... Ni=1... N(494)where dual extreme directions Γ ∗ i are initialized arbitrarily and ultimatelyascertained by the alternation. <strong>Convex</strong> problems (493) and (494) areiterated until convergence which is guaranteed by virtue of a monotonicallynonincreasing real sequence of objective values. Convergence can be fast.The mapping t ⋆ (x) is uniquely inverted when the necessarily nonnegativeobjective vanishes; id est, when Γ ∗Ti (x ⋆ − t ⋆ iΓ i )=0 ∀i. Here, a zeroobjective can occur only at the true solution x . But this global optimalitycondition cannot be guaranteed by the alternation because the commonobjective function, when regarded in both primal x and dual Γ ∗ i variablessimultaneously, is generally neither quasiconvex or monotonic. (3.8.0.0.3)Conversely, a nonzero objective at convergence is a certificate thatinversion was not performed properly. A nonzero objective indicates thatthe global minimum of a multimodal objective function could not be foundby this alternation. That is a flaw in this particular iterative algorithm forinversion; not in theory. 2.89 A numerical remedy is to reinitialize the Γ ∗ i todifferent values.2.89 The Proof 2.13.12.0.2, that suitable dual extreme directions {Γj ∗ } always exist, meansthat a global optimization algorithm would always find the zero objective of alternation(493) (494); 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!