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.
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
The curl of is . Thus for it cannot be a gradient field, while for it is zero and all its vector-field potentials are constants. This zero-vector case is allowed by the question.
For the radial vector field , write . Choose a radial primitive
For , the chain rule gives
Hence all vector-field potentials on a connected domain where the field is defined are
The assumed existence of the needed derivatives and integrals justifies this construction. If the domain includes the origin and the field is regular there, choose and extend the primitive there. Any two vector-field potentials differ by a constant on each connected component.
For , the vector field is . On the cone,
The first term has zero integral by symmetry. Using polar coordinates for the remaining double integral gives
On the paraboloid ,
Again the term cancels by symmetry, giving
Therefore direct surface integral yields
No separate disk at is included: that rim joins the two surfaces and is not an additional face of the closed boundary.
Both patches project onto the unit disk in the -plane. Their outward oriented surface elements are
The cone's apex has zero area and does not affect the surface integral. For , the vector field is , so
The terms involving vanish by reflection symmetry of the disk. Thus the total outward flux is
This calculation evaluates the two surface integrals directly.
Let be the enclosed region with piecewise smooth closed boundary , oriented by its outward unit normal . For a continuously differentiable vector field on a neighbourhood of , the divergence theorem states
The outward flux integral equals the volume integral of the divergence.
For , all three curl components vanish for every . More constructively,
Hence is conservative for every real . Its endpoint vector-field potential difference is , checking both line integrals.
For the other vector field, direct partial differentiation gives
It therefore has a vector-field potential exactly when , with no restriction on :
The value of is irrelevant to . Its rotational part for general is . Both selected paths lie in , and this rotational part has zero dot product with every tangent vector to that plane. That explains why these paths cannot detect its nonzero curl when .
Near a nonzero stationary point , Taylor expansion of the gradient gives . Since the Hessian matrix is positive definite, for sufficiently small nonzero . Thus the gradient arrows point away from each of the four local minima, with different strengths in the two eigenvector directions.
At the origin, on the -axis the gradient is and on the -axis it is , so arrows point outward. On the gradient is , and on it is , so arrows point toward the origin for small . Away from the axes the leading terms are , pointing inward in both coordinate signs. The narrow outward sectors close to the axes are visible in the exact vector field.
Figure 1.
Gradient directions near all five stationary points
. Arrows show normalized gradient directions, not the direction of descent. They point outward near the four minima, while the degenerate origin has outward axis directions and inward diagonal directions. Details.
For , the product rule for the curl gives
Since , this is not identically zero on . A gradient field has zero curl, so no scalar potential exists for on the whole space.
For the radial vector field , observe that
Thus all vector-field potentials are
These are smooth everywhere, including the origin. Any two differ by a constant because their gradient difference vanishes on the connected whole space.
The relevant mixed partial derivatives agree:
The vector field is smooth on the entire simply connected plane, so this condition establishes that it is a conservative vector field. We can also construct its vector-field potential explicitly. From , take an antiderivative in :
Then requires . Hence
The fundamental theorem for line integrals checks the previous answer: .
Put and . All vector fields and their spatial partial derivatives below are evaluated at . The product rule for a dot product gives
Because the vector field has no explicit time dependence, the multivariable chain rule gives , where the Jacobian matrix has entries . Consequently
The first term measures the change of the curl sampled as the point moves; the second measures the change in the velocity vector used in the dot product.
To give the result explicitly in , define the directional derivative operator . Since
the same expression is
For example ; the other two terms expand in the same way. Thus only the first and second spatial partial derivatives of , together with the velocity and acceleration of the parametric curve, occur.
The divergence of the position vector field is . At height , the horizontal cross-section is a disk of area . By the divergence theorem, the outward flux integral is three times the enclosed volume:
Therefore
A direct check separates the two pieces of the surface integral. On the unit sphere, the outward unit normal is , so and the curved contribution is . On the top disk, , giving . Their sum is the same flux.
Choose
or add any constant. Then , so the vector field is exactly and necessarily has the same flux as in part (a). The formula from part (b)(i) confirms this:
Vector identity. Work in Cartesian coordinates and use the Einstein summation convention. Contraction of the two Levi-Civita symbols gives
Thus the convective acceleration identity is
Each term is a geometrically defined vector field: the directional derivative of a vector along itself, the gradient of a scalar field, and a cross product with the curl. Equality in a Cartesian frame is equality of these vectors, so it holds in every coordinate system. When using a varying coordinate basis, derivatives of the varying basis vectors must be included; differentiating only the component functions would describe a different operation.
Spherical metric. Let
Differentiating gives the coordinate tangent vectors
Their pairwise dot products vanish, proving that spherical coordinates are orthogonal coordinates. Their lengths are the scale factors of orthogonal coordinates:
These formulas use the usual chart ; the origin and polar axis are coordinate singularities.
Azimuthal field. Write the speed as to distinguish it from the velocity field . Using the curl in spherical coordinates,
Also . Since and ,
The terms cancel in the convective acceleration identity, giving
This centripetal acceleration of an azimuthal flow points toward the polar axis. A streamline is a circle of cylindrical radius , so its acceleration is , with . This independent geometric argument recovers both nonzero components and explains why cannot appear: the particle travels at fixed .
For , the positive constant- surfaces in elliptic cylindrical coordinates satisfy
They are confocal elliptic cylinders with focal lines . For a generic fixed , eliminating gives
Because , a fixed selects the half-branch with the signs of and fixed by and . These are hyperbolic cylinders. The degenerate surface is , , extended in . At the cross-sections are the two exterior horizontal rays; at they are vertical half-axes.
Figure 1.
Confocal elliptic and hyperbolic coordinate curves
. Original cross-section with focal points marked. Ellipses are constant-u curves and the hyperbola half-branches are constant-v curves; extruding in z gives their coordinate surfaces. Details.
Differentiate the position vector to get the coordinate tangent vectors
Their pairwise dot products vanish. Their squared lengths are , and one. This proves orthogonality and gives the scale factors of orthogonal coordinates:
The Riemannian metric is . Away from the focal lines, divide the coordinate tangent vectors by their lengths to obtain the local orthonormal unit vectors . For physical vector field components , the formulas for vector calculus in elliptic cylindrical coordinates are
The gradient of a scalar function has components . Apply the divergence formula to this gradient; Laplace's equation becomes
The formulas apply where ; the focal lines require a limit or another coordinate chart.
For an axisymmetric azimuthal vector field, the curl in spherical coordinates has components
The angular expressions are and , each with derivative . Also is independent of , so the second component vanishes. Consequently, on each potential's regular patch,