next up previous
Next: 3 The Standard Data Up: 2 An introduction to Previous: 2.4 A Second Example

 

2.5 A Final Example

As a third example, consider the constrained problem in the variables tex2html_wrap_inline5385 , tex2html_wrap_inline5387 and y

  equation1201

subject to the constraints

  equation1207

  equation1210

  equation1216

and the simple bounds

  equation1219

As before, there are a number of ways of casting this problem in the form (2.1)-(2.4). We chose to decompose the problem as follows:

  1. the objective function group uses the non-trivial group function tex2html_wrap_inline5389 . The group contains a single linear element; the element function is y. There is also a nonlinear element tex2html_wrap_inline5391 . This element function has three elemental variables, tex2html_wrap_inline5265 , tex2html_wrap_inline5267 and tex2html_wrap_inline5339 , say (with tex2html_wrap_inline5279 , tex2html_wrap_inline5401 and tex2html_wrap_inline5403 ); there is a useful transformation from elemental to internal variables of the form tex2html_wrap_inline5405 and tex2html_wrap_inline5407 and the element function may then be represented as tex2html_wrap_inline5409 .
  2. The next set of groups, inequality constraints, tex2html_wrap_inline5411 are of the form (2.4) with no lower bounds. Each uses the trivial group function tex2html_wrap_inline5301 and contains a single linear element, y, and two nonlinear elements tex2html_wrap_inline5417 and tex2html_wrap_inline5419 . Both nonlinear elements are of the same type, tex2html_wrap_inline5285 , for appropriate variables tex2html_wrap_inline5265 and tex2html_wrap_inline5267 and parameter tex2html_wrap_inline5287 , and there is no useful transformation to internal variables.
  3. The following set of groups, again inequality constraints, tex2html_wrap_inline5429 for tex2html_wrap_inline5431 , are of the form (2.4) with both lower and upper bounds. Each uses the non-trivial group function tex2html_wrap_inline5433 and contains a single nonlinear element of the type tex2html_wrap_inline5435 for an appropriate variable tex2html_wrap_inline5265 . Notice that the group types for these groups and for the objective function group are both of the form tex2html_wrap_inline5297 , for some parameter tex2html_wrap_inline5287 , and it may prove more convenient to use this form to cover both sets of groups.
  4. The last group, an equality constraint, tex2html_wrap_inline5443 , is of the form (2.3). Again, this group uses the trivial group function tex2html_wrap_inline5301 and contains a single linear element, -1, and a single nonlinear element of the type tex2html_wrap_inline5449 for appropriate elemental variables tex2html_wrap_inline5265 and tex2html_wrap_inline5267 . Once more, a single internal variable, tex2html_wrap_inline5253 can be used and the element is then represented as tex2html_wrap_inline5457 .

Thus we see that we can consider our problem to be made up of 201 groups of two different types so we will have to provide our optimization procedure with function and derivative values for these at some stage. There are 200 nonlinear elements of four different types and again this means that we shall have to provide function and derivative values for these. As for the previous example, there is so much structure to this problem that it would be inefficient to pass the data group-by-group and element-by-element. Again, we will introduce ways to specify this repetitious structure using a convenient shorthand.


next up previous
Next: 3 The Standard Data Up: 2 An introduction to Previous: 2.4 A Second Example