At fixed , differentiating gives . Also, gives . At fixed , eliminate to write , giving . Finally, the previous part gave . Thus
The held-fixed subscripts matter: substituting a reciprocal partial derivative while silently changing what is held fixed would not preserve these cancellations.
For , the real domain has . Its partial derivatives are and . At they equal and , respectively. Thus implicit differentiation gives , and the tangent line is
The coordinate partial derivatives are , , , and . Apply the multivariable chain rule to :
All partial derivatives of are evaluated at . This is a logarithmic polar coordinate change; its Jacobian determinant is , so it is locally invertible away from the origin. A full angular turn repeats the same point, as usual for polar coordinates.
Set both first partial derivatives equal to zero:
Thus and , independently, giving exactly nine stationary points. The Hessian matrix is diagonal everywhere:
Its diagonal entries are its eigenvalues, so the second-derivative test immediately classifies the points:
In particular,
All nine stationary points are nondegenerate, so no higher-order test is needed. Neither type of local extremum is global: as , whereas as .
To organize the contour plot, complete the squares:
The level set through all four outer saddle points of a scalar function factors exactly:
It is therefore the union of the circle and the hyperbola , which cross at those four saddle points of a scalar function. Near the origin, , so the zero contours have tangents . These two exact structural features, together with the nested contours around the four local extrema, determine the requested sketch. They are an example of a separable quartic landscape with nine stationary points.
Figure 1.
All nine stationary points and contours of the separable quartic
. Original contour plot of . The two maxima, two minima and five saddles are marked. The exact level is highlighted as a circle and a hyperbola intersecting at the four outer saddles; the zero contour crosses at the origin. Details.
Away from the origin, the chain rule gives and . Differentiating once more yields the two-dimensional case of the Hessian of the Euclidean norm:
These partial derivatives are smooth wherever , so Clairaut's theorem gives . None of these formulas supplies a derivative at the origin: even the restriction has no two-sided derivative there.
No scalar potential exists on the full three-dimensional domain. A sufficiently smooth gradient field has zero curl, since mixed partial derivatives commute. The calculated curl is not identically zero. The fact that it vanishes at some individual points does not make the whole field a gradient field.
Integrating the first component and checking the remaining partial derivatives gives
This explicit scalar potential proves that the field is conservative.
Differentiate the rewritten expression. Its new kernel vanishes at the moving upper endpoint, and its partial derivative is an integrable inverse square root. The derivative of an Abel integral is
For a rigorous route, rewrite as using Fubini's theorem, and apply the fundamental theorem of calculus to the continuous inner integral. The assumption implies , so the extension has no finite right derivative at zero.
Each component depends only on its own coordinate, so all cross partial derivatives vanish. Therefore the curl is
This also follows from the identity that the curl of a gradient vanishes for a twice continuously differentiable potential energy.
If with continuous second partial derivatives of , then and . The symmetry of second derivatives gives the necessary condition for an exact differential form:
This condition is also locally sufficient on a small rectangle for continuously differentiable coefficients; global sufficiency additionally needs suitable topology of the domain.
Holding fixed, the chain rule gives
where the local change of variable from to is valid.
For the internal energy , its exact differential identifies and . The Maxwell relation from equality of mixed partial derivatives is . At fixed volume, the constant-volume heat capacity satisfies
so , assuming nonzero and a locally invertible relation. Applying the chain rule to gives the isentropic temperature-volume derivative
For the stated one-mole ideal gas, the equation of state gives and , so the right side is . Along an isentropic process, and , giving the same left side:
Differentiate the equation for with respect to , commuting mixed partial derivatives for a sufficiently smooth solution. With this gives
This is the viscous Burgers equation when .
The denominator is positive away from the origin. The partial derivatives are
They both vanish exactly on
These are lines of stationary points, with values and , respectively.
The proposed function has partial derivatives and . Substitution in the heat equation requires , hence
The coefficient remains arbitrary.
For an exact differential , equality of mixed partial derivatives requires . Here this gives
On an open two-dimensional domain the coefficient relation is , so on a connected interval avoiding zero. The normalization gives on the positive interval through . Integrating and checking yields
There is no smooth extension of this normalized integrating factor across ; an independently specified factor on is not fixed by data at one.
Let and work where both and are nonzero, so the required inverse partial derivatives exist. At fixed , the total differential gives , hence . At fixed , . Their product with is : this is the cyclic partial derivative identity.
For explicit verification in this example, put and . Direct differentiation gives
Therefore
The identity is local to regular branches: for these explicit formulas require . At singular points one cannot justify cancellation of nonexistent inverse derivatives merely by writing a formal product.
Assume , so is an invertible coordinate change. The chain rule gives
For a twice continuously differentiable solution the mixed partial derivatives commute. Squaring the two operators therefore gives
Thus the one-dimensional wave equation becomes
If with twice differentiable , its mixed partial derivative vanishes because each summand depends on only one coordinate. Conversely means is independent of ; integration in supplies and an integration function . Hence, on a characteristic rectangle, the general solution is
These terms travel in opposite directions without changing profile, as in D'Alembert's formula.