This example shows how to minimize a nonlinear function subject to linear equality constraints by using the problem-based approach, where you formulate the constraints in terms of optimization variables. This example also shows how to convert an objective function file to an optimization expression by using
The example Minimization with Linear Equality Constraints, Trust-Region Reflective Algorithm uses a solver-based approach involving the gradient and Hessian. Solving the same problem using the problem-based approach is straightforward, but takes more solution time because the problem-based approach currently does not use gradient or Hessian information.
The problem is to minimize
subject to a set of linear equality constraints
Aeq*x = beq. Start by creating an optimization problem and variables.
prob = optimproblem; N = 1000; x = optimvar('x',N);
The objective function is in the
brownfgh.m file included in your Optimization Toolbox™ installation. You must convert the function to an optimization expression using
fcn2optimexpr because optimization variables are excluded from appearing in an exponent. See Supported Operations for Optimization Variables and Expressions and Convert Nonlinear Function to Optimization Expression.
prob.Objective = fcn2optimexpr(@brownfgh,x,'OutputSize',[1,1]);
To obtain the
beq matrices in your workspace, execute this command.
Include the linear constraints in the problem.
prob.Constraints = Aeq*x == beq;
Review the problem objective.
The problem has one hundred linear equality constraints, so the resulting constraint expression is too lengthy to include in the example. To show the constraints, uncomment and run the following line.
Set an initial point as a structure with field
x0.x = -ones(N,1); x0.x(2:2:N) = 1;
Solve the problem by calling
[sol,fval,exitflag,output] = solve(prob,x0)
Solving problem using fmincon. Solver stopped prematurely. fmincon stopped because it exceeded the function evaluation limit, options.MaxFunctionEvaluations = 3.000000e+03.
sol = struct with fields: x: [1000x1 double]
fval = 207.5463
exitflag = SolverLimitExceeded
output = struct with fields: iterations: 2 funcCount: 3007 constrviolation: 2.3698e-13 stepsize: 1.9303 algorithm: 'interior-point' firstorderopt: 2.6432 cgiterations: 0 message: '...' bestfeasible: [1x1 struct] objectivederivative: "finite-differences" constraintderivative: "closed-form" solver: 'fmincon'
The solver stops prematurely because it exceeds the function evaluation limit. To continue the optimization, restart the optimization from the final point, and allow for more function evaluations.
options = optimoptions(prob,'MaxFunctionEvaluations',1e5); [sol,fval,exitflag,output] = solve(prob,sol,'Options',options)
Solving problem using fmincon. Local minimum found that satisfies the constraints. Optimization completed because the objective function is non-decreasing in feasible directions, to within the value of the optimality tolerance, and constraints are satisfied to within the value of the constraint tolerance.
sol = struct with fields: x: [1000x1 double]
fval = 205.9313
exitflag = OptimalSolution
output = struct with fields: iterations: 32 funcCount: 33065 constrviolation: 2.4869e-14 stepsize: 7.0542e-06 algorithm: 'interior-point' firstorderopt: 4.2570e-06 cgiterations: 3 message: '...' bestfeasible: [1x1 struct] objectivederivative: "finite-differences" constraintderivative: "closed-form" solver: 'fmincon'
To solve the problem using the solver-based approach as shown in Minimization with Linear Equality Constraints, Trust-Region Reflective Algorithm, convert the initial point to a vector. Then set options to use the gradient and Hessian information provided in
xstart = x0.x; fun = @brownfgh; opts = optimoptions('fmincon','SpecifyObjectiveGradient',true,'HessianFcn','objective',... 'Algorithm','trust-region-reflective'); [x,fval,exitflag,output] = ... fmincon(fun,xstart,,,Aeq,beq,,,,opts);
Local minimum possible. fmincon stopped because the final change in function value relative to its initial value is less than the value of the function tolerance.
fprintf("Fval = %g\nNumber of iterations = %g\nNumber of function evals = %g.\n",... fval,output.iterations,output.funcCount)
Fval = 205.931 Number of iterations = 22 Number of function evals = 23.
The solver-based solution in Minimization with Linear Equality Constraints, Trust-Region Reflective Algorithm uses the gradients and Hessian provided in the objective function. By using that derivative information, the solver
fmincon converges to the solution in 22 iterations, using only 23 function evaluations. The solver-based solution has the same final objective function value as this problem-based solution.
However, constructing the gradient and Hessian functions without using symbolic math is difficult and prone to error. For an example showing how to use symbolic math to calculate derivatives, see Calculate Gradients and Hessians Using Symbolic Math Toolbox™.