For a unit direction , the Cauchy-Schwarz inequality gives , with equality in the gradient direction. Its norm here is , so the direction of fastest increase is
The maximal directional derivative itself is .
The gradient is , so its value at the point is . Since the specified direction is already a unit vector, the directional derivative is its dot product with that gradient:
The normal line to a plane curve is perpendicular to the tangent line, so its slope is the negative reciprocal . The required equation is
The normal direction also agrees with the gradient of the defining level function.
The curl of the first vector field is
which is not identically zero. Thus is not conservative on and cannot equal a negative gradient there.
For the second field, direct differentiation shows
Therefore is conservative, and the requested negative-gradient potential is
Its curl vanishes, consistently with the curl of a gradient identity.
At a regular constrained stationary point, the change in along every allowed tangent direction must vanish. Thus its gradient is normal to the constraint curve, giving the Lagrange multiplier equations
provided . Solve these equations for , then classify the candidates using the constraint or a constrained second-derivative test. Points where the constraint gradient vanishes require separate analysis.
For variables and regular independent constraints , use one multiplier per constraint:
There are scalar equations in the unknowns. Independence of the constraint gradients is the regularity condition; boundary points must be treated separately when present.
Yes. For any sufficiently smooth scalar , the gauge transformation
leaves its curl unchanged because . This freedom is much larger than adding a constant vector: for example, adds the nonconstant vector . Two vector potentials for the same field differ by a curl-free field; on a simply connected domain that difference is a gradient, while nontrivial topology may allow additional global freedom.
On a connected domain, a vector field is a conservative vector field if and only if it is the gradient of a single-valued scalar potential, . Equivalently, its line integral is path independent, or its integral around every closed curve is zero. For a continuously differentiable field on a simply connected domain, this is equivalent to . Without the domain hypothesis, vanishing curl alone is only a local test and is not the necessary-and-sufficient global statement.
The gradient vanishes at the origin. Its Hessian matrix there is
with eigenvalues and . The quadratic term is therefore indefinite, so the origin is a saddle point of a scalar function. Equivalently, the leading term is positive along and negative along .
For , the gradient is , and
Away from the origin, both and lie in the one-dimensional subspace perpendicular to , so they are parallel. More precisely,
for some scalar , including . If , this can also be inverted to express as a multiple of . At a stationary point of with , that literal inverse wording is not valid; the geometric assertion is parallelism of the nonzero gradient directions.
The homogeneous equation is the dot product condition . A suitable vector field is therefore
Where nonzero, it is tangent to the level curves of and perpendicular to its gradient. At the origin this vector vanishes, so no direction is defined there.
An interior stationary point has vanishing gradient:
For a differentiable function, this is the necessary first-order condition for an interior local minimum or local maximum.
For a twice continuously differentiable scalar potential, the curl of its gradient is
Equality of mixed partial derivatives makes every component zero. Thus
This is the curl of a gradient identity.
Evaluate the line integral along the three coordinate segments, treating coordinates not changing along a segment as constants. On the first segment, , so and the contribution is zero. On the second segment,
On the final segment,
The fundamental theorem for line integrals therefore gives
Taking its gradient verifies each component of the field. The constant is ; the field specifies only potential differences because the gradient of every constant is zero.
Set both components of the gradient to zero. After dividing out the nonzero exponential, they are equivalent to
Adding and subtracting gives and . If , the first equation reduces to , giving the origin and the two diagonal points. If , it reduces to , giving the origin and the two opposite-diagonal points. The alternative simultaneous values and are incompatible, so these cases exhaust the possibilities. Thus the five stationary points are
They are marked in both panels of the figure.
At , the gradient is . The requested direction must be normalized to the unit vector . The directional derivative is therefore
Using without normalization would instead measure change per unit of a differently scaled path parameter.
In the positive quadrant, both components of the gradient are positive. Along the arrows point along ; near the horizontal axis they point mainly upwards, and near the vertical axis mainly rightwards. The level sets are the hyperbolas , including the coordinate axes for level zero. The gradient is orthogonal to each regular level set and points towards increasing values of .
Figure 1.
Gradient vectors and hyperbolic level sets of twice the coordinate product
. Details.
Let . Using Lagrange multipliers with gives
The third equation fixes . The first two then reduce to and . If , their solution and the constraint give
At , the second equation requires and makes the first inconsistent; at , it requires and gives the same inconsistency. Thus there is no constrained stationary point when . The constraint gradient never vanishes because its vertical component is one, so the multiplier condition has not excluded any regular constrained stationary points.
For , the partial derivatives of radius are , and . Applying the chain rule to the outer sine and then the radial profile gives the Cartesian coordinates of the gradient:
At the origin these coordinate formulas require a differentiable radial extension; differentiability of as a one-variable profile alone does not guarantee it.
The gradient components are
Away from the vertical axis, , so forces . The other stationary point equation then gives . Therefore the two requested points are
Every point with also has zero gradient, but those points are explicitly excluded.