For a thin wire carrying current , the given magnetic vector potential reduces to . Taking its curl and using gives the Biot-Savart law
This is exactly the sign convention in the printed form using .
Let . Away from the wire, . The supplied divergence and curl of a cross product therefore gives . But , so the integrand is the total differential of along the source loop. Its closed-loop integral is zero. Thus at every point outside , as demanded by the current-free magnetostatic Ampère's law.
For , , and counterclockwise current, . At the origin, , so
For the ellipse expressed relative to a focus, . The cosine integrates to zero, giving
Here is the semilatus rectum. Reversing the current reverses the field direction.
Use the usual setting of a continuously differentiable solenoidal vector field defined on all radial segments from the origin, including the origin. More generally an open star-shaped set containing zero suffices. Differentiation under the integral sign gives
Apply divergence and curl of a cross product with the second field , using and :
The scaling identity in part (a) now converts the last expression to a one-variable derivative:
Continuity at the origin ensures the lower endpoint is zero. Hence the radial vector potential of a solenoidal vector field is
The order of the cross product matters: would produce . This construction is not valid on every punctured or multiply connected domain. For example is solenoidal away from zero, but its radial integral diverges at zero and it has nonzero flux through a surrounding sphere. The stated formula therefore implicitly needs the regular radial-domain hypothesis, rather than just local zero divergence.
In a region with no current, the Ampère-Maxwell equation and Faraday's law are
Therefore
where the last line uses the divergence and curl of a cross product. Thus Poynting's theorem takes the form
The vector is the Poynting vector.
In the inertial frame, rigid corotation gives . The ideal magnetohydrodynamics condition is the motional electric field
Apply Gauss's law in Gaussian units and use the divergence and curl of a cross product:
The exterior field is produced by currents inside the star, so there, while rotation with constant angular velocity has . Hence the required Goldreich-Julian charge density is
Here denotes electric charge per unit volume, as in the question. If each carrier has charge , its signed number density is .
Use the Levi-Civita symbol and the product rule. First,
For the second identity, the contraction
gives
In vector notation this is
These are the divergence and curl of a cross product identities.