[Math] Find absolute maximum of $f(x,y)=(x-1)^2+(y-2)^2$ within square $0\le x ,y\le 1$ (long but interesting)

calculusoptimization


Notice:

*"There is another possible and common interpretation for 0≤x,y≤1, namely 0≤x∧y≤1. Hence the OP's references to the infinite. – Git Gud"

If anyone ever stumbles upon this post in the future, and wonders what this post is all about…the above pretty much sums it up.
Confused 0≤x,y≤1, with 0≤x∧y≤1.
Nevertheless, I've gained from this by learning not to put both partial derivatives equal to each other and that it was possible to treat both x and y as independent.
Case closed :)*


**strong text**Background:
This problem is part of a list given to us in order to prepare for the final multivariable calculus exam. It's not a honours course, so I suspect a few of the problems(such as this one!) on the list are intended to be difficult in order to "calibrate" the class average. The problems on the list will closely mirror those on the exam.


First of all, I began setting the partial derivatives equal to zero to find critical points.

$$f'_x=2x-2, f'_y=2y-4$$
I set $f'_y=f'_x, 2x-2=2y-4\dots$.it gives the critical point $(0,1)$.

Then I used the $D(a,b)$ formula and found that $(0,1)$ corresponds to a local minimum point, $f(x,y)=2$ or $(0,1,2)$.


I used a graphing tool and realized that the graph of $f(x,y)$ represents an ellipsoid, which, as far as I know, has no absolute maximum on an unbounded domain.
The problem states that $f(x,y)$ is bounded by a square $0\le x, y\le 1$.

After some thinking, I realized that since the "square" was bounded by $y=1$ and $x=0$, it made the situation complicated because it did not represent a "square" of finite proportions. Another problem is that $0\le x, y\le 1$ can also represent a rectangle…

I tried to think of a function that could "act" as a constraint which would limit the domain to a set of points which represented a family of squares, such as y=-x+1 which would generate points which make the domain square-shaped.

For example: $0\le x, y\le 1$, gives $(0,1)$ and with the function ${y=-x+1|0\le x,y\le 1}$, I can generate points such as $(1,0), (2,-1),\dots,(x,-x+1),$ which give squares when paired with point $(0,1)$.

But since the problem asks for the Absolute Maximum, I realized that depending on which point I used, I would get a different "Absolute Maximum" represented by a contour line of the ellipsoid depending on the size of the square I take as a domain.

First of all, I'm not even sure if my approach is mathematically correct.
Secondly, I'm confused about the definition of "Absolute maximum"…

wikipedia: "The function $\cos(x)$ has infinitely many global maxima at $0, \pm 2\pi, \pm 4\pi, \dots,$ and infinitely many global minima at $\pm \pi, \pm 3\pi, \dots$." I understand this.

But in the case of this problem, can I say that the family of squares defined by constraints ${y=-x+1|0\le x,y\le 1} ; 0\le x,; y\le 1,$ each give a different global maxima?(contour line of the ellipsoid.)


While not related to the question, a second problem arose…

Using wolfram, I found that the point $(1,1)$ gives the absolute minima.
In class, we only saw the partial derivative and second derivative test method for finding critical points. What methods were used to find this?

Thank you!

Best Answer

This is much easier than you think! You can just maximise $(x-1)^2$ and $(y-2)^2$ independently, because the constraints for $x$ and $y$ are independent of each other. Specifically:

Let $M_x$ be the maximum of $(x-1)^2$ subject to $0 \le x \le 1$.
Let $M_y$ be the maximum of $(y-2)^2$ subject to $0 \le y \le 1$.

Then the maximum value of $f(x,y)$ is just $M_x + M_y$.

Hint: you don't need calculus to find $M_x$ and $M_y$!

Related Question