29.12.2013 Views

Chapter 3 Quadratic Programming

Chapter 3 Quadratic Programming

Chapter 3 Quadratic Programming

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Optimization I; <strong>Chapter</strong> 3 70<br />

problem<br />

minimize Q(x) := 1 2 xT Bx − x T b (3.58a)<br />

over<br />

x ∈ lR n<br />

subject to c T i x = c i , 1 ≤ i ≤ m , (3.58b)<br />

a T i x = d i , i ∈ I ac (x (ν) ) .<br />

(3.58c)<br />

Since feasibility is not required, any startiterate (x (0) , λ (0) , µ (0) ) can be chosen.<br />

The following results show that we can expect convergence of the primal-dual<br />

active set strategy, provided the matrix B is symmetric positive definite.<br />

Theorem 3.3<br />

Reduction of the objective functional<br />

Assume B ∈ lR n×n to be symmetric, positive definite and refer to ‖ · ‖ E :=<br />

((·) T B(·)) 1/2 as the associated energy norm. Let x (ν) , ν ≥ 0, be the iterates<br />

generated by the primal-dual active set strategy. Then, for Q(x) := 1 2 xT Bx−x T b<br />

and ν ≥ 1 there holds<br />

Q(x (ν) ) − Q(x (ν−1) ) = (3.59)<br />

= − 1 2 ‖x(ν) − x (ν−1) ‖ 2 E − ∑<br />

µ (ν)<br />

i (d i − a T i x (ν−1) ) ≤ 0 .<br />

i∈I ac(x (ν)<br />

i/∈I ac(x (ν−1) )<br />

Proof.<br />

Observing the KKT conditions for (3.58a)-(3.58c), we obtain<br />

Q(x (ν) ) − Q(x (ν−1) ) =<br />

= − 1 2 ‖x(ν) − x (ν−1) ‖ 2 E + (x (ν) − x (ν−1) ) T (Bx (ν) − b) =<br />

= − 1 ∑<br />

2 ‖x(ν) − x (ν−1) ‖ 2 E − µ (ν)<br />

i a T i (x (ν) − x (ν−1) ) .<br />

i∈I ac (x (ν) )<br />

For i ∈ I ac (x (ν) ) we have a T i x (ν) = d i , whereas a T i x (ν−1) = d i for i ∈ I ac (x (ν−1) ).<br />

we thus get<br />

Q(x (ν) ) − Q(x (ν−1) ) =<br />

= − 1 2 ‖x(ν) − x (ν−1) ‖ 2 E −<br />

∑<br />

i∈I ac(x (ν) )<br />

i/∈I ac (x (ν−1) )<br />

µ (ν)<br />

i (d i − a T i x (ν−1) ) .<br />

But µ (ν)<br />

i ≥ 0, i ∈ I ac (x (ν) ) and a T i x (ν−1) ≤ d i , i /∈ I ac (x (ν−1) ) which gives the<br />

assertion.<br />

•<br />

Corollary 3.4<br />

Convergence of a subsequence to a local minimum

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

Saved successfully!

Ooh no, something went wrong!