Back to The Divergence of a Vector Field

Exercise 8

Avg difficulty 2.5
  1. Let F⃗=⟨F1,F2,F3⟩\vF=\langle{F_1,F_2,F_3}\rangle and let G⃗=(∂F3∂y−∂F2∂z)ı^−(∂F3∂x−∂F1∂z)ȷ^+(∂F2∂x−∂F1∂y)k^\begin{gathered} \vG = (\frac{\partial F_3}{\partial y}-\frac{\partial F_2}{\partial z})\vi- (\frac{\partial F_3}{\partial x}-\frac{\partial F_1}{\partial z})\vj + (\frac{\partial F_2}{\partial x}-\frac{\partial F_1}{\partial y})\vk \end{gathered} Show that div⁡(G⃗)=0⃗\divg(\vG)=\vec{0}.
  2. Vector fields with a zero divergence everywhere in their domain are called divergence-free or incompressible vector fields. Which of the following vector fields are divergence-free?

    1. F⃗=⟨−y,z,x⟩\vF=\langle{-y,z,x}\rangle
    2. F⃗=⟨cos⁡(yz),3xez−x,6(x+y+z)3⟩\vF=\langle{\cos(yz),3xe^{z-x},6(x+y+z)^3}\rangle
    3. F⃗=⟨4xyz,y2z,yz2⟩\vF=\langle{4xyz,y^2z,yz^2}\rangle
    4. F⃗=∇f\vF=\nabla f where ff is a scalar function of xx, yy, and zz
  3. Let F⃗1=⟨3(x−z)2,2cos⁡(x)+3yz+y,−(z−1)2+exy⟩\vF_1=\langle{3(x-z)^2,2\cos(x)+3yz+y,-(z-1)^2+e^{xy}}\rangle. Calculate the divergence of F⃗1\vF_1 and give a point where div⁡(F⃗1)=0\divg(\vF_1)=0.
  4. Is F⃗1\vF_1 a divergence free vector field?

Long, Keller & Schlicker, Active Calculus Multivariable, §13.7 The Divergence of a Vector Field, Exercise 8

AI Tutor

Adapted from Active Calculus Multivariable © 2013–2026 Nicholas Long, Mitchel T. Keller, and Steven Schlicker. Licensed under CC BY-SA 4.0. Source: Active Calculus Multivariable. Imported at revision 692c03c.