How to use Lagrange's multipliers to solve a problem?

170 Views Asked by At

A carpenter wants to manufacture a box with a volume of $1 \text{m}^3$. The box has sides parallel to the coordinate plane, and the side lengths are given by $x$, $y$, and $z$, where $0 \leq x \leq 10$, $0 \leq y \leq 10$, and $0 \leq z \leq 10$. The front and top sides of the box will be made of an expensive type of wood that costs $900$ per $\text{m}^2$, while the bottom and other sides will be made of a cheaper type of wood that costs $300$ per $\text{m}^2$. The carpenter wants to choose the side lengths to minimize the cost.

a) Formulate the carpenter's problem mathematically as a minimization problem with constraints.

b) Use the Lagrange multiplier method to solve the minimization problem in part (a) of the question. No points will be awarded for using other methods.

A) :

$$f(x,y,z) = 1200xz+1200xy+600yz$$ $$g(x,y,z) = xyz = 1$$ My expression of the the function was correct but when it comes to the constraints there is something wrong.

B) Here I used my constraint and function and used Lagrange multipliers to get:

$$x= 2^{-\frac23}$$ $$y= 2^{\frac13}$$ $$z= 2^{\frac13}$$ $$f(x,y,z) = 1800 \times 2^{\frac23} $$

So far I'm correct and I thought it was the answer but they continued in the answers They said:

Here we have to check edge points, i.e. $x = 10, y = 10 or z = 10. If x = 10$, then we get minimization problems.

After this they did a computation that took over one page to complete but I couldn't understand anything because I'm totally confused. Why aren't we done where I was "done"? What is my constraint to begin with? What is the point of $0 \leq x \leq 10$, $0 \leq y \leq 10$, and $0 \leq z \leq 10$?

1

There are 1 best solutions below

12
On BEST ANSWER

The point of the constraints $0 \leq x \leq 10$ etc. is to make the problem not silly (read: maybe make it realistic?), in two ways.

First, the lower bound of $0$ both makes us think about physical quantities (what does it mean for a box to have negative width?) and prevents us from just taking e.g. $x \to -\infty$, which definitely minimises the cost, but in a way that's totally meaningless.

Second, the upper bound of $10$ is about making the problem physically meaningful even after we decide negative quantities are silly. Without it, we could for example let $x$ and $y$ be really, really close to $0$ and then let $z$ blow up (so as to still satisfy $x y z = 1$). This kind of thing may or may not be an issue when optimising (in this case it is not; the cost grows big as you do this), but either way it's somehow unrealistic to build an arbitrarily tall but skinny box (for instance). Think of this as perhaps the carpenter doesn't have too large a sheet of the material for each side (maybe it comes in $10$ by $10$ metre sheets).

With all of this said, the reason they go on to check the endpoints ($x = 10$ etc.) isn't that your answer is incorrect (it's not), it's that without checking the endpoints we can't know if we've found a local or a global extremum. Lagrange multipliers find a particular kind of local extrema, so it could be that whilst your calculations are correct, a point with lower cost exists somewhere undetectable by Lagrange multipliers.

This is similar to how, for example, if you want to find the global minimum of, say, $f(x) = -x^3 + x^2 + x$ on $[{-2},2]$, you compute the derivative, find where it's zero ($x = -1/3$ and $x = 1$), figure out that at $x = -1/3$ the function is concave up (or some other similar strategy) and think "then it must be the minimum I want..!" except of course that's not quite right; you've only found a local minimum, but it's possible the constraints $x \in [{-2},2]$ gives minima (and indeed they do in this made up example).