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_inline8055 , tex2html_wrap_inline8057 and y

  equation1215

subject to the constraints

  equation1221

  equation1224

  equation1230

and the simple bounds

  equation1233

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_inline8059 . The group contains a single linear element; the element function is y. There is also a nonlinear element tex2html_wrap_inline8061 . This element function has three elemental variables, tex2html_wrap_inline7935 , tex2html_wrap_inline7937 and tex2html_wrap_inline8009 , say (with tex2html_wrap_inline7949 , tex2html_wrap_inline8071 and tex2html_wrap_inline8073 ); there is a useful transformation from elemental to internal variables of the form tex2html_wrap_inline8075 and tex2html_wrap_inline8077 and the element function may then be represented as tex2html_wrap_inline8079 .
  2. The next set of groups, inequality constraints, tex2html_wrap_inline8081 are of the form (2.4) with no lower bounds. Each uses the trivial group function tex2html_wrap_inline7971 and contains a single linear element, y, and two nonlinear elements tex2html_wrap_inline8087 and tex2html_wrap_inline8089 . Both nonlinear elements are of the same type, tex2html_wrap_inline7955 , for appropriate variables tex2html_wrap_inline7935 and tex2html_wrap_inline7937 and parameter tex2html_wrap_inline7957 , and there is no useful transformation to internal variables.
  3. The following set of groups, again inequality constraints, tex2html_wrap_inline8099 for tex2html_wrap_inline8101 , are of the form (2.4) with both lower and upper bounds. Each uses the non-trivial group function tex2html_wrap_inline8103 and contains a single nonlinear element of the type tex2html_wrap_inline8105 for an appropriate variable tex2html_wrap_inline7935 . Notice that the group types for these groups and for the objective function group are both of the form tex2html_wrap_inline7967 , for some parameter tex2html_wrap_inline7957 , 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_inline8113 , is of the form (2.3). Again, this group uses the trivial group function tex2html_wrap_inline7971 and contains a single linear element, -1, and a single nonlinear element of the type tex2html_wrap_inline8119 for appropriate elemental variables tex2html_wrap_inline7935 and tex2html_wrap_inline7937 . Once more, a single internal variable, tex2html_wrap_inline7923 can be used and the element is then represented as tex2html_wrap_inline8127 .

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