calculusoptimization
Find minimum and maximum value of function $$f(x,y,z) = x^3 + y^3 + z^3$$ on set $$ \left\{ (x,y,z): x^2 + y^2 + z^2 = 1 \wedge x+y+z = \sqrt{3} \right\} $$
I don't know what is this set. We have sphere and plane so I suppose that it may be circle or point. How find it?
Your treatment of the given function as "piecewise" is proper, but I believe your parameterization isn't quite correct. Since the "split" in the absolute-value term occurs at $ \ x - y \ \ge \ 0 \ $ versus $ \ x - y \ < \ 0 \ $ , there is a single "dividing line" between the "branches" of the function at $ \ y \ = \ x \ $ . So the parameterized form of the function should simply be
$$ f(t) = \begin{cases} 4 \cos t \ + \ 3 \sin t \ \ , \quad -\frac{3\pi}{4} \ \le \ t \ < \ \frac{\pi}{4} \\ 2 \cos t \ + \ 5 \sin t \ \ , \quad \frac{\pi}{4} \ \le \ t \ < \ \frac{5 \pi}{4} \end{cases} \ \ . $$
[Other choices for "angle-names" can be used: these intervals were chosen to keep calculations simpler below.]
In a more conventional Cartesian form, we can write the function as
$$ f(x, \ y) = \begin{cases} 3x \ + \ 4y \ + \ (x - y) \ = \ 4x \ + \ 3y \ \ , \quad y \ \le \ x \\ 3x \ + \ 4y \ - \ (x - y) \ = \ 2x \ + \ 5y \ \ , \quad y \ \ge \ x \end{cases} \ \ . $$
We will approach the problem of extremization in two ways.
$$ \ \ $$
In the first, we can look for critical points by solving $ \ \frac{df}{dt} \ = \ 0 \ $ on the two halves of the circle as you did. Another method would be to write the linear functions in sine and cosine as a single sine (or cosine) function. We have (neglecting a constant factor for each)
$$ \frac{4}{\sqrt{4^2 + 3^2}} \cos t \ + \ \frac{3}{\sqrt{4^2 + 3^2}} \sin t $$ $$ \rightarrow \ \sin \ \alpha \ \cos t \ + \ \cos \ \alpha \ \sin t \ = \ \sin (t + \alpha) \ \ , \ \ \alpha \ = \ \arctan \left( \frac{4}{3} \right) \ \approx \ 0.9273 $$
and
$$ \frac{2}{\sqrt{2^2 + 5^2}} \cos t \ + \ \frac{5}{\sqrt{2^2 + 5^2}} \sin t $$ $$ \rightarrow \ \sin \ \beta \ \cos t \ + \ \cos \ \beta \ \sin t \ = \ \sin (t + \beta) \ \ , \ \ \beta \ = \ \arctan \left( \frac{2}{5} \right) \ \approx \ 0.3805 \ \ . $$
The maximal and minimal values of these sine functions occur for
$$ \sin (t + \alpha) \ = \ \pm 1 \ \ \Rightarrow \ \ \begin{cases} t \ + \ \alpha \ = \ \frac{\pi}{2} \ \ \Rightarrow \ \ t \ \approx \ 0.6435 \\ t \ + \ \alpha \ = \ \frac{3 \pi}{2} \ \ \Rightarrow \ \ t \ \approx \ 3.7851 \end{cases} \ \ \text{and} $$
$$ \sin (t + \beta) \ = \ \pm 1 \ \ \Rightarrow \ \ \begin{cases} t \ + \ \beta \ = \ \frac{\pi}{2} \ \ \Rightarrow \ \ t \ \approx \ 1.1903 \\ t \ + \ \beta \ = \ \frac{3 \pi}{2} \ \ \Rightarrow \ \ t \ \approx \ 4.3319 \end{cases} \ \ . $$
For our choice of parameterization here, the domains of the "branches" of $ \ f(t) \ $ permit only the "maximum value" solutions for both linear functions [indicated on the graph above by the blue and purple asterisks, respectively]. The "minimum value" solutions, which are at the diametrically-opposite locations marked by six-pointed stars, are not in the appropriate domains. Upon comparing the maximal values of the function in the two branches, we find
$$ f(0.6435) \ = \ 4 \ \cos \ 0.6435 \ + \ 3 \ \sin \ 0.6435 \ = \ 5 \ \ \text{[exact]} \ \ , $$
$$ f(1.1903) \ = \ 2 \ \cos \ 1.1903 \ + \ 5 \ \sin \ 1.1903 \ \approx \ 5.385 \ \ . $$
We also need to examine the "boundary points" between the two branches, $ \ t \ = \ \frac{\pi}{4} \ $ [green star] and $ \ t \ = \ \frac{5 \pi}{4} \ $ [green asterisk] . The function proves to be continuous through these points (if we allow the parameter $ \ t \ $ to continue tracing the circle indefinitely). We obtain
$$ f\left( \frac{\pi}{4} \right) \ = \ 4 \ \cos \frac{\pi}{4} \ + \ 3 \ \sin \frac{\pi}{4} \ = \ 2 \ \cos \frac{\pi}{4} \ + \ 5 \ \sin \frac{\pi}{4} \ = \ \frac{7 \ \sqrt{2}}{2} \ \approx \ 4.949 \ \ , $$
$$ f\left( \frac{5 \pi}{4} \right) \ = \ 4 \ \cos \frac{5 \pi}{4} \ + \ 3 \ \sin \frac{5 \pi}{4} \ = \ 2 \ \cos \frac{5 \pi}{4} \ + \ 5 \ \sin \frac{5 \pi}{4} \ = \ -\frac{7 \ \sqrt{2}}{2} \ \approx \ -4.949 \ \ . $$
We have determined then that the maximum value of $ \ f(x, \ y) \ $ is about $ \ 5.385 \ $ and the minimum value is $ \ - \frac{7 \ \sqrt{2}}{2} \ $ . (There is something "off" about the posted WolframAlpha result -- for example, the coordinates of the point for the minimum is not quite on the unit circle, so the function value is also slightly in error. We will also not confirm the maximum value shown.)
$$ \ \ $$
We can confirm these results by another approach, which is to use Lagrange multipliers. The constraint function throughout is $ \ g(x, \ y) \ = \ x^2 \ + y^2 \ - \ 1 \ $ .
In the "lower" ( $ \ y \ \le \ x \ $ ) semicircle, we have $ \ f(x, \ y) \ = \ 4x \ + \ 3y \ $ , giving us the Lagrange equations
$$ \ \nabla f \ = \ \lambda \nabla g \ \ \Rightarrow \ \ 4 \ = \ \lambda \cdot 2x \ \ , \ \ 3 \ = \ \lambda \cdot 2y \ \ \Rightarrow \ \ \lambda \ = \ \frac{4}{2x} \ = \ \frac{3}{2y} $$
$$ \Rightarrow \ \ y \ = \ \frac{3}{4} x \ \ \Rightarrow \ \ x^2 \ + \ \left( \frac{3}{4} x \right)^2 \ = \ 1 \ \ \Rightarrow \ \ (x, \ y) \ = \ ( \ \pm \frac{4}{5}, \ \pm \frac{3}{5} \ ) \ . $$
The domain only gives us the single point $ \ ( \ \frac{4}{5}, \ \frac{3}{5} \ ) \ $ , for which the function value is $ \ f \left(\frac{4}{5}, \ \frac{3}{5} \right) \ = \ 4 \cdot \frac{4}{5} \ + \ 3 \cdot \frac{3}{5} \ = \ \frac{25}{5} \ = \ 5 \ $ . This is the tangent point [the blue asterisk] of the [blue] line described by $ \ f(x, \ y) \ $ , in this portion of its domain, with the constraint circle.
[Side note -- If this single function were applicable over the full circle, the minimum value of $ \ 4x \ + \ 3y \ $ would be given by the tangent line $ \ 4x \ + \ 3y \ = \ -5 \ $ [the light-blue line] , meeting the circle at the diametrically-opposite point $ \ ( \ -\frac{4}{5}, \ -\frac{3}{5} \ ) \ $ [the light-blue star] . ]
For the "upper" ( $ \ y \ \ge \ x \ $ ) semicircle, the function is $ \ f(x, \ y) \ = \ 2x \ + \ 5y \ $ , making the Lagrange equations
$$ \ \ 2 \ = \ \lambda \cdot 2x \ \ , \ \ 5 \ = \ \lambda \cdot 2y \ \ \Rightarrow \ \ \lambda \ = \ \frac{2}{2x} \ = \ \frac{5}{2y} \ \ \Rightarrow \ \ y \ = \ \frac{5}{2} x $$ $$ \Rightarrow \ \ x^2 \ + \ \left( \frac{5}{2} x \right)^2 \ = \ 1 \ \ \Rightarrow \ \ (x, \ y) \ = \ ( \ \pm \frac{2}{\sqrt{29}}, \ \pm \frac{5}{\sqrt{29}} \ ) \ . $$
The domain again only permits $ \ ( \ \frac{2}{\sqrt{29}}, \ \frac{5}{\sqrt{29}} \ ) \ $ , where the function value is $ \ f \left(\frac{2}{\sqrt{29}}, \ \frac{5}{\sqrt{29}} \right) \ = \ 2 \cdot \frac{2}{\sqrt{29}} \ + \ 5 \cdot \frac{5}{\sqrt{29}} \ = \ \frac{29}{\sqrt{29}} \ = \ \sqrt{29} \ \approx \ 5.385 \ $ . This is the tangent point [purple asterisk] of the [purple] line. (The light purple line and star shown where the minimum of $ \ 2x \ + \ 5y \ $ would be on the full circle.)
The Lagrange-multiplier method will not give us any information about the points where the "halves" of the circle meet, since the level curves of $ \ f (x, \ y) \ $ are not tangent there. Upon inspecting $ \ f ( \ \pm \frac{\sqrt{2}}{2}, \ \pm \frac{\sqrt{2}}{2}) \ $ , we obtain the minimum value for the function on the unit circle as
$$ \ f ( \ - \frac{\sqrt{2}}{2}, \ - \frac{\sqrt{2}}{2} \ ) \ = \ -\frac{7 \ \sqrt{2}}{2} \ \ ; $$
the maximum value is
$$ f \left(\frac{2}{\sqrt{29}}, \ \frac{5}{\sqrt{29}} \right) \ = \ \sqrt{29} \ \ . $$
These also agree with the results for user64494's graph.
Let's look at what happens when we perturb $(x,y,z)$ infinitesimally in the direction $(\delta x,\delta y,\delta z)$.
To stay on $x^2+y^2+z^2=1$, we need $x\,\delta x+y\,\delta y+z\,\delta z=0$ and to stay on $3x+y=3$, we need $3\delta x+\delta y=0$.
That is, we want to consider only $(\delta x,\delta y,\delta z)$ which are perpendicular to both $(x,y,z)$ and $(3,1,0)$.
We want to find the point at which $\delta f(x,y,z)=(0,1,1)\cdot(\delta x,\delta y,\delta z)=0$ for all $(\delta x,\delta y,\delta z)$ which are perpendicular to both $(x,y,z)$ and $(3,1,0)$. For that to be true, $(0,1,1)$ must be a linear combination of $(3,1,0)$ and $(x,y,z)$. This means that $(x,y,z)$ is also a linear combination of $(3,1,0)$ and $(0,1,1)$; that is, on the plane $x-3y+3z=0$.
Thus, we are looking for a point on the unit sphere that is on the planes $x-3y+3z=0$ and $3x+y=3$. The intersection of these two planes is the line $(0,3,3)+(-3,9,10)t$. So we need to solve $$ \begin{align} 1&=(0-3t)^2+(3+9t)^2+(3+10t)^2\\ &=18+114t+190t^2 \end{align} $$ that is $t=\dfrac{-57\pm\sqrt{19}}{190}$. Note that $$ \begin{align} f((0,3,3)+(-3,9,10)t) &=(0,1,1)\cdot((0,3,3)+(-3,9,10)t)\\ &=6+19t \end{align} $$ Plugging in the values of $t$ give us the extreme values: $\dfrac{3+\sqrt{19}}{10}$ and $\dfrac{3-\sqrt{19}}{10}$
Best Answer
note $$(x^2+y^2+z^2)(1+1+1)\ge (x+y+z)^2$$ so if $$x^2+y^2+z^2=1,x+y+z=\sqrt{3}$$ then we have $$3(x^2+y^2+z^2)=(x+y+z)^2$$ $$\Longrightarrow x^2+y^2+z^2-xy-yz-xz=0$$ so $x=y=z$