Chapter 3 Quadratic Programming
Chapter 3 Quadratic Programming
Chapter 3 Quadratic Programming
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