Cut a small square from each corner of a sheet of cardboard, fold up the sides, and you have an open box. Cut tiny squares and the box is flat, cut huge ones and there is no base left. Somewhere in between the volume is as large as it can be. Optimization problems ask for that best value, and derivatives find it.
Key terms
Objective function
Definition The objective function is the quantity to be made as large or as small as possible, written as a function of one or more variables that describe the situation.
In plain words Decide exactly what you are maximizing or minimizing, and write a formula for it.
Example A square sheet is centimeters on a side. Cutting a square of side from each corner leaves a base on a side and walls of height , so the volume is
Feasible domain
Definition The feasible domain is the set of all inputs that the situation allows. It comes from the physical meaning of the variables (lengths are nonnegative, the cut cannot exceed half the sheet) and not just from where the formula is defined.
In plain words The formula may make sense for any , but the problem does not. Write down which inputs are actually possible.
Example The cut must satisfy and , so the feasible domain for the box is . At and the box has zero volume, which is allowed but clearly not the best.
Using the constraint to reduce variables
Definition When the objective depends on several variables tied together by a constraint equation, solve the constraint for one variable and substitute it into the objective. The result is a function of a single variable on a domain that also respects the constraint.
In plain words Use the extra condition to cut the problem down to one variable, then use single variable calculus.
Example A rectangle has perimeter meters, and you want the largest area. The area is and the constraint is , so and
Then gives , , and square meters, which beats the endpoint values .
Local versus global optimum
Definition A function with domain has an absolute (global) maximum at in if for every in , and an absolute minimum at if for every in . A local maximum or minimum only compares with values of at points of near . Every absolute extremum at an interior point is also a local one, but a local extremum need not be absolute.
In plain words A local maximum is the top of one hill. The global maximum is the highest point on the whole domain, and an optimization problem asks for that one.
Example On the function has a local maximum . Yet , so the local maximum is not the absolute maximum. The absolute maximum is at , and the absolute minimum is , reached at both and .
Endpoints and the closed interval method
Definition By the extreme value theorem, a function continuous on a closed interval has an absolute maximum and an absolute minimum there. Each is attained at a critical point in or at an endpoint or . So compare the values of at the critical points in and at and . The largest is the absolute maximum and the smallest is the absolute minimum.
In plain words On a closed interval the winner is either at a flat spot inside or at one of the ends. Check them all.
Example For the box the product rule gives
In the only critical point is .
The largest box comes from cutting centimeter squares and holds cubic centimeters. Endpoints can also win. If the rectangle above must have , then on the function has no critical point in , and the best choice is the endpoint with .
Open and unbounded domains
Definition On an open or unbounded interval an absolute extremum need not exist, so the closed interval method does not apply. One test that works is the first derivative test for absolute extrema. Let be continuous on an interval and let be a critical point in . If for all in with and for all in with , then is the absolute minimum of on . With the inequalities reversed, is the absolute maximum.
In plain words If the function falls all the way up to and rises all the way after it, nothing anywhere on the interval can be lower than .
Example A closed cylindrical can must hold cubic centimeters with as little metal as possible. From the surface area becomes
Its derivative is
which is zero when , so centimeters. For smaller the derivative is negative and for larger it is positive, so this is the absolute minimum on . Since at this radius, the height is
centimeters, so the best can is as tall as it is wide.
Checking the model
Definition Model validation means checking the answer against the original situation. Confirm that it lies in the feasible domain, that it is an absolute and not merely local extremum, that the units are right, and that it answers the question that was asked, for example a length or a cost rather than the value of alone.
In plain words Before you trust the number, ask whether a real person could build or use it and whether nearby choices really do worse.
Example The box answer is inside , and also at , which is rejected because that box has no base. Nearby values do worse, since and , both below . The units of are cubic centimeters, as a volume should have.
Check yourself
- Two positive numbers add up to . What is the largest possible product?
Show the answer
The product is for . Here is positive for and negative for , so gives the absolute maximum on this open interval. The largest product is .
- A farmer has meters of fence to enclose a rectangle along a straight river, with no fence needed on the river side. What is the largest area?
Show the answer
With two sides of length perpendicular to the river, the side parallel to it is , so on . The derivative is zero at , and square meters, while both endpoints give .
- Find the point on the curve closest to .
Show the answer
Minimize the squared distance for . Its derivative is negative for and positive for , so gives the absolute minimum. The point is , at distance .