This then yields the following partial derivatives fx : ℝ2 → ℝ and fy : ℝ2 → ℝ for nonzero points
and
Thus there are no points in ℝ2 - (0,0) for which fx and fy don’t exist. It remains to be proven that the partial derivatives exist at the origin. Since the following expression evaluates to zero:
then the partial derivative fx exists at (0,0). A symmetrical argument proves the existence of fy at (0,0).
Note that g is well defined because the range of ϕ is a subset of U due to U being convex. So taking the derivative of g we get g′(t) = f′(ϕ(t))ϕ′(t) by the chain rule so that g′(t) = f′(ϕ(t))(p - q) due to the fact that ϕ the function for the points on the line segment connecting p and q. Taking the norm of both sides then yields
| (2.1) |
Now Rudin Theorem 5.19 tells us that |g(1) - g(0)|≤ (1 - 0)|g′(t)| for all t ∈ [0,1], which implies
| (2.2) |
Combining equations 2.1 and 2.2 gives to us the desired result:
Then the partial derivatives of f are
then
and
implying that the point (,0) is a local minimum and (1,0) is a saddle point.
We see this function graphed with the following sketch:
Then the partial derivatives of f are
is completely independent of x and y. So because det(H) = 4ac- 4b2 then the critical point (0,0) will be a local minimum if ac > b2 and a,c > 0, a local maximum if ac > b2 and a,c < 0, saddle point if ac < b2, nondegenerate if ac - b2≠0, and degenerate if ac = b2.
Then the partial derivatives of f are
then
implying that the point (0,0) is a nondegenerate critical point.
We see this function graphed with the following sketch:
Given this graph, a monkey saddle is a saddle with depressions for three legs…or in the case of a monkey, two legs and a tail.
Then the partial derivatives of f are
then
and
Thus all critical points are nondegenerate.
We see this function graphed with the following sketch: