The gradient vanishes when
If , the second equation gives or . If , it gives . These exhaust the possibilities. The stationary points and their values are
At each regular point, the gradient
is normal to the level set and points towards increasing . The arrows in the contour plot above show this direction; their lengths have been normalized to keep the outer arrows legible. Near the origin they point outwards, as expected for a local minimum. Near , write ; the linear approximation is . Thus the arrows point away along the horizontal direction and towards the point along the vertical direction. The other two saddle points have the same behaviour after rotations through . All four stationary points have zero gradient, so no direction arrow is assigned at the points themselves.
It is helpful first to separate an exact gradient:
The fundamental theorem for line integrals makes the gradient contribution for either path. On the curved path, , , and , so the remaining contribution is
Thus
Put . The gradient components are
A stationary point requires both components to vanish. If , then ; the second component subsequently forces , giving . If , either or, writing ,
Only is nonnegative. Thus there are five stationary points, with values
The cases and exhaust the first partial derivative equation, so no other stationary points have been lost by division.
The contour plot is symmetric under either or , because depends only on their squares. Denote the three critical heights by , and , where .
For , the level set consists of separate closed curves around the two minima. At the branches meet at the two saddle points. For , there is an inner closed curve surrounding the local maximum and an outer closed curve surrounding all five stationary points. At the inner curve shrinks to the origin; for only the outer closed curve remains. At each saddle point the critical level set crosses in the two directions determined by
The figure plots representative level sets, including the critical saddle height; its second panel adds the gradient directions requested below.
Figure 1.
Contour topology and gradient directions around two minima, a maximum and two saddles
. Details.
The gradient is orthogonal to each regular level set and points towards increasing . Near either minimum, the linear approximation is , so arrows point away from the point. Near the maximum at the origin it is , so arrows point inwards. Near either saddle point it is : arrows point towards the vertical axis horizontally and away from the saddle vertically.
On the horizontal axis the gradient is . Its arrows point left on , right on , left on , and right on . On the vertical axis it is
Consequently its arrows point down on , up on , down on , and up on . These directions, and representative arrows near each stationary point, appear in the right-hand panel. The gradient itself is zero at all five stationary points.
For the second vector field, the curl is
It is nonzero, for example at . A differentiable scalar potential would have zero curl of its gradient, so is not conservative. The fact that its curl vanishes on the line does not make it vanish throughout the domain.
By implicit differentiation of the ellipse equation,
The tangent line through is therefore
Its normal vector is , parallel to the gradient of at that point.
The original PDF specifies evaluation at ; the local TeX incorrectly gives . Write the scalar field explicitly as . Its gradient is
A directional derivative measures rate per unit distance, so normalize the direction to the unit vector . Then
Using the unnormalized direction vector would instead differentiate with respect to a path parameter, not distance, and would give a different scale.
For , completing the square gives the conic section
The possible levels follow from
For , the contours are ellipses centred at , shrinking to the maximum as . The zero contour is the parabola from part (c). For , the contours are vertical-opening hyperbolas. At they degenerate into the intersecting straight lines, and for they are horizontal-opening hyperbolas. These descriptions specify the remaining contour families and their symmetry about the axis. The lower bound is approached as at fixed but is never attained.
Figure 1.
Contours and an ascending gradient trajectory
. Original contours of the rational scalar field. The critical points are marked; the green parabola is the zero contour and the crossing dashed lines have level . The red trajectory starts at and follows the positive gradient towards the maximum, as discussed in part (e). Details.
Use the gradient flow of , namely ; any positive change of speed leaves the same trajectory. At the starting point,
so the path initially points up and left, with slope . At every regular point it crosses the level sets orthogonally, because the gradient is normal to the contours. Along it,
until a stationary point is approached.
The red curve in the plot first rises above , then bends down towards the maximum . It stays on the side and approaches the maximum without crossing it in finite gradient-flow time. Indeed preserves the sign of , and the critical level increases from its starting value towards . The requested curve is an ascending trajectory, not a contour or a straight segment joining the initial and final points.
Split the vector field into and . The second part is the gradient of , so its curl vanishes. The first part has only a vertical curl component, . Hence
For , differentiate the proposed scalar potential directly:
Thus
For , the curl is the nonzero vector . A gradient of a twice differentiable scalar field has zero curl, so no such scalar field exists. Equivalently the closed line integral in part (d) is nonzero, contradicting the path independence of a conservative vector field. The field is smooth on all of , so no excluded singular set complicates this conclusion.
At , the gradient is . The position vector has length , so its normalized direction is . Hence the directional derivative is
The zero level set is especially simple:
The two axes and the unit circle divide the plane into regions where the signs alternate. Inside the circle, has the opposite sign to ; outside it has the same sign. Closed level curves surround the two interior local minima and two interior local maxima; the zero curves cross at the five saddle points of a scalar function. Farther out, the nonzero level curves are open within the displayed square.
Figure 1.
Contours, stationary points and gradient directions of the quartic surface
. Left: signed level curves and the exact zero set consisting of both axes and the unit circle. Right: normalized gradient directions, including arrows on the zero curves. The nine stationary points are marked in both panels. Details.
Near each local minimum, the gradient points outward; near each local maximum, it points inward. The five remaining points have saddle directions, determined by their indefinite Hessian matrices.
On the -axis the exact gradient is , and on the -axis it is . Thus arrows are perpendicular to the axes and reverse direction at the origin and the unit-axis stationary points.
On the unit circle, substitute into the gradient to obtain
It is radial outward in quadrants I and III, radial inward in quadrants II and IV, and zero at the four axis intersections. These arrows, together with the nearby saddle and extremum patterns, are shown in the right panel of the contour figure. The gradient is normal to every regular level curve and points toward increasing values of .
Use . The Lagrange multiplier equations are
Taking the dot product with gives , so .
If , the first and third equations give . The middle equation then gives , so . The norm constraint gives and . Thus the hottest points and their temperature are
The coldest points are
For , the equations give , , and hence the other two constrained stationary points are
They are saddle points of the restriction to the sphere: with and as local tangent coordinates there, changes sign in every neighbourhood. The surface is compact and smooth, so the listed extreme temperatures are global. Here “zero gradient on the surface” means zero surface gradient; the ambient gradient at the hottest and coldest points is normal to the sphere, rather than zero.
Introduce the second constraint and a second Lagrange multiplier . At points where the two constraint gradients are linearly independent, solve
These are five scalar equations for . The two constraint normal vectors span the normal plane to the feasible curve. Points where those gradients become dependent must be examined separately; the regular two-multiplier condition need not cover them.