Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2008 Paper 2 18 b Solution Created 2026-10-18 Updated 2026-10-20
Since is constant, componentwise differentiation gives . Applying the divergence theorem to this vector field givesThis 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
Parametrize the directed segment by , . Its tangent is , while the restricted vector field is . The line integral is thereforeAlternatively, , so the fundamental theorem for line integrals gives the same endpoint difference.
For a sufficiently smooth vector field on a volume and its closed boundary , the divergence theorem stateswith the unit normal directed outwards. HereHence the net volume flux through every closed surface in the liquid is zero. This verifies incompressible flow directly. It does not require the velocity to vanish pointwise on an arbitrary closed surface; inward and outward contributions can cancel.
The curl of the first vector field iswhich is not identically zero. Thus is not conservative on and cannot equal a negative gradient there.
For the second field, direct differentiation showsTherefore is conservative, and the requested negative-gradient potential isIts curl vanishes, consistently with the curl of a gradient identity.
Write . The cross product gives , whose three diagonal partial derivatives vanish. For the second vector field, direct differentiation gives , , and . Thus
Direct calculation of the curl givesSince , the first vector field cannot be a gradient field: the curl of a gradient is zero. The second is a smooth polynomial field on all of the simply connected space , so its vanishing curl makes it a conservative vector field. A potential is also constructed explicitly in the next part. Thus is a conservative vector field and is not. A vanishing divergence alone, as for , is a different property and does not establish conservativity.
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.
For a smooth oriented surface with piecewise smooth boundary and a continuously differentiable vector field , the Stokes theorem statesThe boundary orientation is fixed by the right-hand rule: curling the fingers along the positive boundary direction makes the thumb point along the surface normal. For an outward upper cap, its boundary ellipse is traversed counterclockwise when viewed from the positive direction. The figure shows two possible caps with the same oriented boundary, anticipating the last part.
The homogeneous equation is the dot product condition . A suitable vector field is thereforeWhere 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.
The curl of the constant vector field vanishes. The curl of the position field also vanishes, since all its cross-coordinate partial derivatives are zero. Thus
Take the outward orientation of the complete closed surface, including its flat base. The constant part of the vector field has zero divergence, and the radial part has divergence . The divergence theorem gives its flux as that constant times the solid hemisphere's volume, :The constant field may have nonzero flux through the curved part alone, but its curved and base contributions cancel on the closed surface.
The vector field has only a vertical component, namely . Its divergence is therefore its vertical partial derivative:
The vector field is radial, while the differential displacement along a centred circle is tangential. These directions are orthogonal, so the dot product vanishes at every point. Hence
Write . The vector field is undefined at because diverges there, but this component is tangential to that face. The face fluxes have finite improper integral limits. In particular, the substitution givesUsing the outward unit normal on each face, the flux contributions areHenceFor a precise justification at the singular face, first use the truncated cube . Its opposite -face integrals cancel, the -faces contribute , and the upper -face contributes . The limit as is . On each truncated cube the divergence theorem gives the same answer, since . Thus the result is a flux of a vector field with an integrable tangential singularity, rather than an application of the classical smooth-field theorem directly at .
Compute the flux directly using the outward vector area element, as required. Restrict the vector field to the surface parametric equation and take the dot product:The terms quadratic in cancel. Therefore the surface integral isThis is a direct evaluation of the flux of the position vector through a cone.
The new cone can be parametrized byThe outward vector area element is . This is ; reversing the order is needed to retain the outward orientation after the exchange of coordinates. Its dot product with is again . HenceThis equality also follows because a rigid rotation takes the first cone into the second and leaves the radial vector field invariant.
Parametrize the segment in its stated direction by , . Then , and substitution into the two vector fields givesTaking each dot product with evaluates the line integrals:
The proposed parametric equation traces precisely the same oriented segment, with a different speed. Set , which increases from zero to one, and . Direct substitution gives the line integralsThus both values are unchanged. The derivative of vanishes at the initial endpoint for , but the monotone integration by substitution is still valid. This is invariance under reparametrization of one curve, which applies even to a nonconservative vector field; it is not evidence of general path independence.
