Find global extrema of f ( x , y ) = x 2 </msup>

Find global extrema of $f\left(x,y\right)=\frac{{x}^{2}}{2}+3{y}^{2}$ on the set $M\left(g\right):=\left\{\left(x,y\right)\in {\mathbb{R}}^{2}\mid g\left(x,y\right)=0\right\}$ where $g\left(x,y\right)={x}^{2}+{y}^{4}-25$.

$M\left(g\right)$ is compact and $f$ continuous so we know that there must exists a global maximum and global minimum. The conditions of the Lagrange multiplier methods are satisfied and if we solve the equations that result from the Lagrange multiplier method we get the following points:
$\left(0,\sqrt{5}\right),\left(0,-\sqrt{5}\right),\left(5,0\right),\left(-5,0\right),\left(4,\sqrt{3}\right),\left(-4,\sqrt{3}\right),\left(4,-\sqrt{3}\right),\left(-4,-\sqrt{3}\right).$
and
$f\left(0,\sqrt{5}\right)=15,f\left(0,-\sqrt{5}\right)=15,\phantom{\rule{0ex}{0ex}}f\left(5,0\right)=\frac{25}{2},f\left(-5,0\right)=\frac{25}{2},\phantom{\rule{0ex}{0ex}}f\left(4,\sqrt{3}\right)=17,f\left(-4,\sqrt{3}\right)=17,f\left(4,-\sqrt{3}\right)=17,f\left(-4,-\sqrt{3}\right)=17.$
So far so good.

However our sample solution says that "from the above values we see that $\frac{25}{2}$ is the global minimum and 17 the global maximum. "

As far as I have understood the Lagrange multiplier method it only delivers a necessary but not sufficient condition. So we don't know if one of the three points $\frac{25}{2},15,17$ is a saddle point. To make sure that the points are indeed extrema we have to resort to another method (e.g. plug in the condition into $f$).

Am I am right or is there something I don't see or didn't understand correctly?
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

trajeronls
You are misunderstanding how a necessary condition works, I think.

In this problem, once you have found the set of ordered pairs from the method of Lagrange multipliers, you can be sure that the global maximizer and minimizer are in this set (if they exist). This is because being in this set is a necessary condition for being the global maximizer or minimizer. This condition isn't sufficient for being a global maximizer or minimizer - this means that it is not true that every ordered pair in the set corresponds to a global maximizer or minimizer.

Since we know that the global maximizer and minimizer are in this set of ordered pairs, we can simply plug all these points into the function and see what values we get. Whichever one gives the biggest (resp. smallest) value corresponds to the global maximizer (resp. minimizer).
Not exactly what you’re looking for?
cazinskup3
The Lagrange multiplier method says that IF you are at a extreme value, it must be at a critical point. So that by itself does not guarantee they exist.
However, as you noted, the domain is compact and the function is continuous, so the extreme value theorem guarantees existence. So once you know they exist and they must be at one of the multiplier points, calculating the values there is sufficient.