Basic optimization

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\CancelColor }[0]{} \newcommand {\cancelto }[0]{1} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$ $% This file was *autogenerated* from digInOptimization.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %ab6de72bcc60a9ff12d229811d515cff% md5sum of corresponding .sage file (minus "goboom","current_tex_line",and pause/unpause lines)$

Now we put our optimization skills to work.

An optimization problem is a problem where you need to maximize or minimize some quantity given some constraints. This can be accomplished using the tools of differential calculus that we have already developed.

Perhaps the most basic optimization problems is generated by the following question:

Among all rectangles of a fixed perimeter, which has the greatest area?

Let’s not do this problem in the abstract, let’s do it with numbers.

Of all rectangles of perimeter $12$ , which side lengths give the greatest area?

If a rectangle has perimeter $12$ and one side is length $x$ , then the length of the other side is $\answer [given]{6-x}$ . Hence the area of a rectangle of perimeter $12$ can be given by $A(x) = \answer [given]{x(6-x)}.$ However, for the side lengths to be physically relevant, we must assume that $x$ is in the interval $(\answer [given]{0},\answer [given]{6}]$ .

So to maximize the area of the rectangle, we need to find the maximum value of $A(x)$ on the appropriate interval.

At this point, you should graph the function if you can.

We’ll continue on without the aid of a graph, and use the derivative. Write $A'(x) = \answer [given]{6-2x}$ Now we find the critical points, solving the equation $\answer [given]{6-2x} = 0,$ we see that the only critical point of $A$ is at $x=\answer [given]{3}$

Since $A'(x) = \answer [given]{6-2x}$ is

positivenegative on $(0,3)$ and positivenegative on $(3,6]$ , $x=3$ is where the maximum value of $A$ happens. This is exactly when the rectangle is a square!

A key step to note, is when we explained why $x=3$ is actually the maximum. Above we basically used facts about the derivative. Below we use a similar argument.

Of all rectangles of area $100$ , which has the smallest perimeter?

First we draw a picture, Here is a rectangle with an area of $100$ .

If $x$ denotes one of the sides of the rectangle, then the adjacent side must be $\answer [given]{100/x}$ .

The perimeter of this rectangle is given by $P(x)=\answer [given]{2x+2\cdot 100/x}.$ We wish to minimize $P(x)$ . Note, not all values of $x$ make sense in this problem: lengths of sides of rectangles must be positive, so $x>0$ . If $x>0$ then so is $100/x$ , so we need no second condition on $x$ .

At this point, you should graph the function if you can.

We next find $P'(x)$ and set it equal to zero. Write $P'(x)=\answer [given]{2-200/x^2} = 0.$ Solving for $x$ gives us $x=\pm \answer [given]{10}$ . We are interested only in $x>0$ , so only the value $x=\answer [given]{10}$ is of interest. Since $P'(x)$ is defined everywhere on the interval $(0,\infty )$ , there are no more critical values, and there are no endpoints. Is there a local maximum, minimum, or neither at $x=10$ ? The second derivative is $P''(x)=\answer [given]{400/x^3},$ and $P''(10)>0$ , so there is a local minimum. Since there is only one critical point, this is also the global minimum, so the rectangle with smallest perimeter is the $10\times 10$ square.

Hence, calculus gives a reason for why a square is the rectangle with both

the largest area for a given perimeter.
the smallest perimeter for a given area.

We may be done with rectangles, but they aren’t done with us. Here is a problem where there are more constraints on the possible side lengths of the rectangle.

Find the rectangle with largest area that fits inside the graph of the parabola $y=x^2$ below the line $y=a$ , where $a$ is an unspecified constant value, with the top side of the rectangle on the horizontal line $y=a$ . See the figure below:

We want to maximize value of $A(x)$ . The lower right corner of the rectangle is at $(x,x^2)$ , and once this is chosen the rectangle is completely determined. Then the area is $A(x)=\answer [given]{(2x)(a-x^2)}.$ We want the maximum value of $A(x)$ when $x$ is in $[0,\sqrt {a}]$ . You might object to allowing $x=0$ or $x=\sqrt {a}$ , since then the ‘‘rectangle’’ has either no width or no height, so is not ‘‘really’’ a rectangle. But the problem is somewhat easier if we simply allow such rectangles, which have zero area as we may then apply the Extreme Value Theorem and see that we indeed have a maximum and minimum value.

At this point, you should graph the function if you can.

Setting $0=A'(x)=\answer [given]{-6x^2+2a}$ we find $x=\answer [given]{\sqrt {a/3}}$ as the only critical point. Testing this and the two endpoints (as the maximum could also be there), we have $A(0)=A(\sqrt {a})=\answer [given]{0}$ and $A(\sqrt {a/3})=\answer [given]{(4/9)\sqrt {3}a^{3/2}}$ . Hence, the maximum area occurs when the rectangle has dimensions $2\sqrt {a/3}\times (2/3)a$ .

Again, note that above we used the Extreme Value Theorem to guarantee that we found the maximum.