Since is constant, componentwise differentiation gives . Applying the divergence theorem to this vector field gives
This holds for every constant vector , so the vector integrals agree. This is the vector gradient form of the divergence theorem. With , the gradient is the constant unit vector . Therefore
Put and . The gradient components are and . If either or vanishes, both must vanish. Otherwise both squared coordinates must be one. Therefore the five stationary points in the original coordinates are
The gradients are and . Equality of their three components therefore gives the unique point
As printed, the function is undefined at the origin. For , its gradient is
The scalar prefactor is positive, and , so this gradient never vanishes. Thus there are no stationary points on the stated domain. Its infimum is three, approached as , but that value is not attained there.
If the intended definition includes the natural extension , that extension has a unique strict global minimum at the origin, with value three. Indeed, off zero, and proves differentiability at zero with zero gradient. More strongly, subtracting three gives the radial Gaussian flat function: every derivative of that difference vanishes at the origin. The vanishing Hessian matrix does not turn this minimum into an inflection point. These are two different domain interpretations; the extension must be stated rather than silently inserted.
Write , where . Because this hyperbolic function has strictly positive derivative , stationary points under an increasing outer function have the same positions and types for and . For ,
The first equation requires or . If , the second gives . If , it gives . These are all the nonzero stationary points. At the origin, , so its gradient is ; the origin is not stationary.
At the Hessian matrix of is , and at it is . At and its Hessian matrices are respectively and . Therefore
The extrema are local: is unbounded above and below on the full plane.
For the level curve geometry, a level is . In particular, the zero level curve is the union of the entire axis and the circle , crossing at the two saddle points. Inside the circle, above the axis and below it; outside, these signs reverse. Levels between and zero have closed loops around the upper minimum as well as unbounded lower-half-plane components. Reflection across the axis reverses the sign and gives the loops about the lower maximum. At the two extremal heights, the corresponding closed loop shrinks to its extremum. These features determine the sketch.
The first field is , so direct curl calculation gives
It is not conservative because its curl is nonzero. The second is a radial gradient field:
The scalar expression is a smooth function and single-valued on all of space, so is a conservative vector field. Its potential of a conservative vector field is . Parts (a) and (b) check path dependence directly.
The gradient part contributes zero around a closed path by the fundamental theorem for line integrals:
Along the parametrization, , so the first two components of vanish wherever the printed expression is defined. The remaining component gives . Thus
The printed field needs a qualification: is undefined at the isolated parameters where , so cannot literally be evaluated. The result above is the improper line integral, or equivalently the integral of the continuous extension of the restricted field along the curve. That restricted field tends to at each omitted parameter. No extension of the full field to a neighbourhood is being assumed.
Writing , the gradient is . Its divergence, equivalently the Laplacian of , is
On the unit sphere this scalar is the constant . The lower hemisphere has surface area , so
This is a scalar surface integral of the divergence, not the electric- or vector-field flux integral. There is no normal component to insert.
The specified unit vector is ; the positive component selects that direction. The gradient is , giving at the point. The directional derivative is therefore
Since , a level can occur only for . Taking its natural logarithm gives . Thus produces rectangular hyperbolas in the first and third quadrants, produces them in the second and fourth quadrants, and consists of both coordinate axes.
The gradient vanishes only at , where . The Hessian matrix there is , with negative determinant. Equivalently, while for nonzero small . Hence the only stationary point is a saddle point at on the graph; its location in the contour plane is the origin.
Figure 1.
Contours of the exponential of xy, showing the unique saddle at the origin
. Details.
A directional derivative measures change per unit distance, so first normalize the direction: . The gradient is
Taking the dot product with the unit vector,
Using the unnormalized vector would instead give , the change per unit parameter along ; it is not the rate per unit distance requested here.
Minimize the squared distance , which has the same minimizers as the distance. The Lagrange multiplier equations for the constraint are
The constraint gradient cannot vanish on this branch, since its second component is . Eliminate to obtain . Put ; then , so . But the constraint says , requiring and selecting . It follows that
To prove a global minimum on the whole branch, substitute into :
The arithmetic-geometric mean inequality proves this bound, with equality only when , namely . Thus the stationary point is the unique closest point on the required branch. Numerically it is approximately and its distance is in coordinate units.
The gradient factors as
If a coordinate is zero, the solutions are , and . With both coordinates nonzero, subtracting the two bracket equations gives , hence . These give four more stationary points.
The Hessian matrix has equal diagonal entries and off-diagonal entry . At the origin its eigenvalues are , and at the four nonzero axis points they are , so all five are saddles. At the two same-sign interior points the eigenvalues are , while at the opposite-sign points they are . Therefore
The extrema are not global, since the quartic takes arbitrarily large positive and negative values along suitable rays.
For the contour sketch, the zero level is exactly the two axes together with the unit circle. Inside the circle, is negative in the first and third quadrants and positive in the other two; outside, those signs reverse. Small negative levels contain closed loops around the two minima as well as unbounded branches in the second and fourth quadrants. Small positive levels similarly contain two loops around the maxima and unbounded branches in the first and third quadrants. The closed loops shrink to the extrema at levels , and disappear beyond those levels. This is the unit-scale quartic surface with axes and a circle as its zero set.
Figure 1.
The quartic's nine stationary points and its zero set of axes and a unit circle
. Details.
The gradient is , with value at the point. Normalize the direction to a unit vector: . The directional derivative is therefore
The gradient equations factor as
For they give . Otherwise , which gives and the matching . Thus there are exactly four stationary points.
The Hessian matrix is
At it is , and at it is . At and its determinant is . The second-derivative test therefore yields
The extrema are local: along the cubic is unbounded both above and below.
Maximizing the squared distance avoids differentiating a square root. The Lagrange multiplier equations for are
Adding and subtracting the first two gives and . The feasible stationary points therefore lie on or . The first case gives and squared distance . The second gives and , with squared distance .
The ellipse is compact and its constraint gradient does not vanish on the curve, so an extremum exists among these points. A direct global check is , using . Equality occurs when . Consequently
At a regular constrained stationary point, the Lagrange multiplier equations are , . Eliminating the multiplier gives
Thus the required Lagrange multiplier determinant condition in two variables is
If the constraint gradient vanishes, this determinant is zero automatically, although the regular multiplier theorem cannot be applied. The condition is necessary and is not sufficient to classify the constrained point. This addresses the original unnumbered task before part (a).
The first field has vanishing curl and is the gradient of a monomial:
For the second field, direct component differentiation gives
It is not identically zero. Thus is conservative and is not on . The conditional path-integral requests therefore apply to .
For , the multivariable chain rule gives , with the corresponding expressions for . Thus the gradient of a radial function is
The origin needs a separate check because is undefined there. If the one-variable function has a finite right derivative at zero, the radial composite is differentiable at the origin exactly when , in which case its gradient is zero. A nonzero radial slope gives incompatible opposite-direction derivatives.