576 CHAPTER 29. CALCULUS OF VECTOR FIELDS

As in the above you could do this by brute force. A parametrization of the ∂V isobtained as

x = sinφ cosθ , y = sinφ sinθ , z = cosφ

where (φ ,θ) ∈ (0,π)× (0,2π]. Now this does not include all the ball but it includes all butthe point at the top and at the bottom. As far as the flux integral is concerned these pointscontribute nothing to the integral so you can neglect them. Then you can grind away andget the flux integral which is desired. However, it is so much easier to use the divergencetheorem! Using spherical coordinates,∫

∂VF ·ndS =

∫V

div(F )dV =∫

V(2x+1+1)dV

=∫

π

0

∫ 2π

0

∫ 1

0(2+2ρ sin(φ)cosθ)ρ

2 sin(φ)dρdθdφ =83

π

Example 29.3.7 Suppose V is an open set in R3 for which the divergence theorem holds.Let F (x,y,z) = xi+ yj+ zk. Then show that∫

∂VF ·ndS = 3× volume(V ).

This follows from the divergence theorem.∫∂V

F ·ndS =∫

Vdiv(F )dV = 3

∫V

dV = 3×volume(V ).

The message of the divergence theorem is the relation between the volume integral andan area integral. This is the exciting thing about this marvelous theorem. It is not its utilityas a method for evaluations of boring problems. This will be shown in the examples of itsuse which follow.

29.3.1 Coordinate Free Concept of DivergenceThe divergence theorem also makes possible a coordinate free definition of the divergence.

Theorem 29.3.8 Let B(x,δ ) be the ball centered at x having radius δ and let F bea C1 vector field. Then letting v(B(x,δ )) denote the volume of B(x,δ ) given by

∫B(x,δ ) dV,

it follows

divF (x) = limδ→0+

1v(B(x,δ ))

∫∂B(x,δ )

F ·ndA. (29.4)

Proof: The divergence theorem holds for balls because they are cylindrical in everydirection. Therefore,

1v(B(x,δ ))

∫∂B(x,δ )

F ·ndA =1

v(B(x,δ ))

∫B(x,δ )

divF (y) dV.

Therefore, since divF (x) is a constant,∣∣∣∣divF (x)− 1v(B(x,δ ))

∫∂B(x,δ )

F ·ndA∣∣∣∣

=

∣∣∣∣divF (x)− 1v(B(x,δ ))

∫B(x,δ )

divF (y) dV∣∣∣∣

576 CHAPTER 29. CALCULUS OF VECTOR FIELDSAs in the above you could do this by brute force. A parametrization of the oV isobtained asx =singcos@, y=singsinO, z=cos¢where (@, @) € (0,2) x (0,27]. Now this does not include all the ball but it includes all butthe point at the top and at the bottom. As far as the flux integral is concerned these pointscontribute nothing to the integral so you can neglect them. Then you can grind away andget the flux integral which is desired. However, it is so much easier to use the divergencetheorem! Using spherical coordinates,F-nds = [wav = [ axti+iavov V Vnm p2a pl ¢a [ (2+2psin()cos6) p? sin() dpdedg = 5Example 29.3.7 Suppose V is an open set in IR? for which the divergence theorem holds.Let F (x,y,z) =xt+yj+zk. Then show thatEF -ndS =3 x volume(V).ovThis follows from the divergence theorem.[ F-ndS= / div (F)dV = 3 | dV =3 x volume(V).av Vv VvThe message of the divergence theorem is the relation between the volume integral andan area integral. This is the exciting thing about this marvelous theorem. It is not its utilityas a method for evaluations of boring problems. This will be shown in the examples of itsuse which follow.29.3.1 Coordinate Free Concept of DivergenceThe divergence theorem also makes possible a coordinate free definition of the divergence.Theorem 29.3.8 LetB (a, 6) be the ball centered at x having radius 6 and let F' beaC! vector field. Then letting v (B(a,6)) denote the volume of B(a,5) given by Ja(w,s) LV;it follows1div F = lim ———— F-nda.iv F(x) 5304 V (B(ax,5)) Lnes: ”Proof: The divergence theorem holds for balls because they are cylindrical in everydirection. Therefore,! [ F-ndA ! | div F (y) dv.——- -ndA = ——~ iv .v(B(@,5)) Jane) »(B(@,5)) Javea)Therefore, since div F' (a) is a constant,(29.4). 1div F (x) — v(B(w.8)) a)div F (x) — v(B(a.5)) =e) bcs div F (y) w|