Question Number 203526 by Mastermind last updated on 21/Jan/24
$$\mathrm{Determine}\:\mathrm{the}\:\mathrm{maximum}\:\mathrm{and}\:\mathrm{minimum}\:\mathrm{of} \\ $$$$\mathrm{the}\:\mathrm{function}: \\ $$$$\mathrm{f}\left(\mathrm{x},\mathrm{y}\right)=\mathrm{x}^{\mathrm{4}} +\mathrm{4x}^{\mathrm{2}} \mathrm{y}^{\mathrm{2}} −\mathrm{2x}^{\mathrm{2}} +\mathrm{2y}^{\mathrm{2}} −\mathrm{1} \\ $$$$ \\ $$$$\mathrm{Thank}\:\mathrm{you} \\ $$
Answered by aleks041103 last updated on 21/Jan/24
$${let}\:{us}\:{see}\:{for}\:{which}\:{c}\in\mathbb{R},\:\exists\left({x},{y}\right):{f}\left({x},{y}\right)={c} \\ $$$${x}^{\mathrm{2}} ={a},\:{y}^{\mathrm{2}} ={b} \\ $$$$\Rightarrow{f}={a}^{\mathrm{2}} +\mathrm{4}{ab}−\mathrm{2}{a}+\mathrm{2}{b}−\mathrm{1}={c} \\ $$$$\left({a}^{\mathrm{2}} −\mathrm{2}{a}−\mathrm{1}\right)+\mathrm{2}{b}\left(\mathrm{2}{a}+\mathrm{1}\right)={c} \\ $$$$\Rightarrow{b}=\frac{−{a}^{\mathrm{2}} +\mathrm{2}{a}+{c}+\mathrm{1}}{\mathrm{2}{a}+\mathrm{1}}={y}^{\mathrm{2}} \geqslant\mathrm{0} \\ $$$${also}\:{a}={x}^{\mathrm{2}} \geqslant\mathrm{0} \\ $$$$−{a}^{\mathrm{2}} +\mathrm{2}{a}+{c}+\mathrm{1}=\mathrm{0}\Rightarrow{a}_{\mathrm{1},\mathrm{2}} =\frac{−\mathrm{2}\pm\sqrt{\mathrm{8}+\mathrm{4}{c}}}{−\mathrm{2}}=\mathrm{1}\pm\sqrt{\mathrm{2}+{c}} \\ $$$$\mathrm{2}{a}+\mathrm{1}=\mathrm{0}\:\Rightarrow\:{a}_{\mathrm{3}} =−\mathrm{1}/\mathrm{2} \\ $$$$\Rightarrow{a}\geqslant\mathrm{0},\:\mathrm{2}{a}+\mathrm{1}>\mathrm{0} \\ $$$$ \\ $$$$\mathrm{1}{st}\:{case}:\:{c}<−\mathrm{2}\:\Rightarrow\:−{a}^{\mathrm{2}} +\mathrm{2}{a}+\mathrm{1}+{c}<\mathrm{0} \\ $$$$\Rightarrow{b}<\mathrm{0}\rightarrow{contradiction} \\ $$$$ \\ $$$$\mathrm{2}{nd}\:{case}:\:{c}=−\mathrm{2}\:\Rightarrow\:−{a}^{\mathrm{2}} +\mathrm{2}{a}+\mathrm{1}+{c}\leqslant\mathrm{0} \\ $$$${where}\:{for}\:{a}=\mathrm{1}\:{and}\:{b}=\mathrm{0} \\ $$$${and}\:{for}\:{a}>\mathrm{0},\:{b}<\mathrm{0}\:\rightarrow\:{contradict} \\ $$$$ \\ $$$$\mathrm{3}{rd}\:{case}:\:−\mathrm{1}\geqslant{c}>−\mathrm{2} \\ $$$$\Rightarrow{b}\geqslant\mathrm{0}\:{for}\:\mathrm{1}−\sqrt{\mathrm{2}+{c}}\leqslant{a}\leqslant\mathrm{1}+\sqrt{\mathrm{2}+{c}} \\ $$$$ \\ $$$$\mathrm{4}{th}\:{case}:\:{c}>−\mathrm{1} \\ $$$$\Rightarrow{b}\geqslant\mathrm{0}\:{for}\:\mathrm{0}\leqslant{a}\leqslant\mathrm{1}+\sqrt{\mathrm{2}+{c}} \\ $$$$ \\ $$$$\Rightarrow\:{for}\:{all}\:{c}\geqslant−\mathrm{2},\:\exists\left({x},{y}\right):{f}\left({x},{y}\right)={c} \\ $$$$ \\ $$$$\Rightarrow{min}\:{of}\:{f}\left({x},{y}\right)\:{at}\:\begin{cases}{{x}=\pm\mathrm{1}}\\{{y}=\mathrm{0}}\end{cases}\:{with}\:{min}\left({f}\right)=−\mathrm{2} \\ $$$$\nexists{max}\:{of}\:{f}\left({x},{y}\right) \\ $$
Answered by AST last updated on 21/Jan/24
$${f}\left({x},{y}\right):\:\left({x}^{\mathrm{2}} −\mathrm{1}\right)^{\mathrm{2}} +\left(\mathrm{2}{xy}\right)^{\mathrm{2}} +\left({y}\sqrt{\mathrm{2}}\right)^{\mathrm{2}} −\mathrm{2}\geqslant−\mathrm{2}\: \\ $$$$\left({Equality}:{x}=\underset{−} {+}\mathrm{1},{y}=\mathrm{0}\right) \\ $$$${No}\:{maximum},{f}\left({x},{y}\right)\rightarrow\infty\:{as}\:\mid{x}\mid,\mid{y}\mid\rightarrow\infty \\ $$