Show that for a vector field A
∇×(∇×A)=∇(∇⋅A)−∇2A
Hence find an A(x), with ∇⋅A=0, such that u=(y2,z2,x2)=∇×A. [Hint: Note that A(x) is not defined uniquely. Choose your expression for A(x) to be as simple as possible.
Now consider the cone x2+y2⩽z2tan2α,0⩽z⩽h. Let S1 be the curved part of the surface of the cone (x2+y2=z2tan2α,0⩽z⩽h) and S2 be the flat part of the surface of the cone (x2+y2⩽h2tan2α,z=h).
Using the variables z and ϕ as used in cylindrical polars (r,ϕ,z) to describe points on S1, give an expression for the surface element dS in terms of dz and dϕ.
Evaluate ∫S1u⋅dS.
What does the divergence theorem predict about the two surface integrals ∫S1u⋅dS and ∫S2u⋅dS where in each case the vector dS is taken outwards from the cone?
What does Stokes theorem predict about the integrals ∫S1u⋅dS and ∫S2u⋅dS (defined as in the previous paragraph) and the line integral ∫CA⋅dl where C is the circle x2+y2=h2tan2α,z=h and the integral is taken in the anticlockwise sense, looking from the positive z direction?
Evaluate ∫S2u⋅dS and ∫CA⋅dl, making your method clear and verify that each of these predictions holds.