# Difference between revisions of "Sequential quadratic programming"

Ben Goodman (Talk | contribs) |
Ben Goodman (Talk | contribs) |
||

Line 20: | Line 20: | ||

The active set method alone must be performed with only the first order term of the Taylor Series so that the resulting sub-problem is linear. Newton's method in tandem allows the second order term of the Taylor Series to be added, forming a quadratic sub-problem, because Newton's method converges in one iteration for quadratic problems. <br/> | The active set method alone must be performed with only the first order term of the Taylor Series so that the resulting sub-problem is linear. Newton's method in tandem allows the second order term of the Taylor Series to be added, forming a quadratic sub-problem, because Newton's method converges in one iteration for quadratic problems. <br/> | ||

As with the active set method alone, the Lagrangian function is used under KKT conditions:<br/> | As with the active set method alone, the Lagrangian function is used under KKT conditions:<br/> | ||

− | <math>L(x,\lambda,\mu)</math><math>\text{ = f(x) +}</math> <br/> | + | <math>L(x,\lambda,\mu)</math><math>\text{ = f(x) +}</math><math>\sum_i</math><math>\lambda_i h_i(x)+</math><math>\sum_i</math><math>\mu_i g_i(x)</math> <br/> |

The KKT conditions form the system of equations below. In the active set method alone, this system is solved directly for values of <math>x</math> and <math>\lambda</math> <br/> | The KKT conditions form the system of equations below. In the active set method alone, this system is solved directly for values of <math>x</math> and <math>\lambda</math> <br/> | ||

− | In SQP, the system is not solved but rather fed the incumbent guess for <math>x</math> and <math>\lambda</math> | + | In SQP, the system is not solved but rather fed the incumbent guess for <math>x</math> and <math>\lambda</math>. Similarly, the second derivative of the Lagrangian function is also fed the incumbent guess, and these computed values then scale terms in the system of equation for the improvement parameters <math>p_x</math> and <math>p_\lambda</math>. The system to solve is then:<br/> |

+ | |||

=Convergence Analysis= | =Convergence Analysis= | ||

=Example= | =Example= |

## Revision as of 19:24, 25 May 2015

Authored by: Ben Goodman (ChE 345 Spring 2016)

Steward: Dajun Yue and Fenqi You

## Contents |

# Introduction

Sequential quadratic programming (SQP) combines two fundamental algorithms for solving non-linear optimization problems: an active set method and Newton’s method. The approach creates quadratic sub-problems using the active set method, and these subproblems reveal the best improvement to be made to a current guess. Newton’s method can then find the solution to this sub-problem in one iteration because it is quadratic. The added efficiency from this dual approach makes SQP appropriate for larger non-linear problems and problems with high non-linearity in the constraints.

The abstracted, general problem below will be used for the remainder of this page to explain and discuss SQP:

with f(x), h(x), and g(x) each potentially non-linear.

# Background

Previous knowledge of the component methods is helpful in understanding sequential quadratic programming. Briefly, the active set method confines the search for optimal solutions to regions where the objective function is increasing significantly with respect to constraint functions. Lagrangian Parameters and KKT conditions provide the framework to find these regions and converge to the optimum solution. Newton’s method is an algorithm for converging to critical values of any function with improvement steps that follow the form below:

Briefly, the idea with this algorithm is to improve a guess in proportion to how quickly the function is changing at the guess and inversely proportional to how the function is accelerating at the guess.

The final concept fundamental to SQP is Taylor Series expansions; the idea that any function can be well represented by an infinite series of polynomial terms. This concept extends to expressing derivatives as a series of polynomial deviations from a given starting point with each term scaled by the analytical derivative evaluated at the starting point. When the deviation is small, one or two terms can be used with adequate accuracy. This concept allows highly non-linear problems to be handled using linear and quadratic methods.

# SQP Algorithm

The active set method alone must be performed with only the first order term of the Taylor Series so that the resulting sub-problem is linear. Newton's method in tandem allows the second order term of the Taylor Series to be added, forming a quadratic sub-problem, because Newton's method converges in one iteration for quadratic problems.

As with the active set method alone, the Lagrangian function is used under KKT conditions:

The KKT conditions form the system of equations below. In the active set method alone, this system is solved directly for values of and

In SQP, the system is not solved but rather fed the incumbent guess for and . Similarly, the second derivative of the Lagrangian function is also fed the incumbent guess, and these computed values then scale terms in the system of equation for the improvement parameters and . The system to solve is then: