4.4.33Multivariable Calculus

Divergence theorem (Gauss's theorem) — statement, flux-divergence connection

1,755 words8 min readdifficulty · medium6 backlinks

Setup and notation

  • VV = a solid region in 3D with a closed, outward-oriented boundary surface S=VS = \partial V.
  • F(x,y,z)=(P,Q,R)\mathbf{F}(x,y,z) = (P, Q, R) = a vector field, with continuous partial derivatives on VV.
  • n^\hat{\mathbf{n}} = outward unit normal on SS.
  • dSdS = scalar surface area element; dS=n^dSd\mathbf{S} = \hat{\mathbf{n}}\, dS.

Statement


Derivation from first principles

We derive it for a "box-friendly" region by building from a tiny cube and adding up.

Step 1 — Flux out of one tiny box. Take a box [x,x+Δx]×[y,y+Δy]×[z,z+Δz][x, x+\Delta x]\times[y,y+\Delta y]\times[z,z+\Delta z]. Consider only the PP-component (flow in xx). Flux out of the two faces perpendicular to xx: [P(x+Δx,,)P(x,,)]ΔyΔz.\big[P(x+\Delta x,\cdot,\cdot) - P(x,\cdot,\cdot)\big]\,\Delta y\,\Delta z. Why this step? The right face has outward normal +x^+\hat{x} (contributes +P+P), the left face has normal x^-\hat{x} (contributes P-P). Their areas are ΔyΔz\Delta y\,\Delta z.

Step 2 — Turn the difference into a derivative. P(x+Δx)P(x)PxΔx,P(x+\Delta x)-P(x) \approx \frac{\partial P}{\partial x}\,\Delta x, so the xx-faces contribute PxΔxΔyΔz=PxΔV\dfrac{\partial P}{\partial x}\,\Delta x\,\Delta y\,\Delta z = \dfrac{\partial P}{\partial x}\,\Delta V. Why this step? That's the definition of a partial derivative — small change in PP ≈ slope × step.

Step 3 — Do the same for QQ (y-faces) and RR (z-faces). Adding all three pairs of faces, the net flux out of the tiny box is (Px+Qy+Rz)ΔV=(F)ΔV.\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)\Delta V = (\nabla\cdot\mathbf{F})\,\Delta V. This is the local version of the theorem: divergence is flux-per-volume.

Step 4 — Glue boxes together (telescoping / cancellation). Fill VV with many tiny boxes. Where two boxes share an interior face, the outward normal of one is the inward normal of the other, so those flux contributions cancel exactly. Why this step? What leaves box A through that shared wall enters box B — internally it's a wash. Only exterior faces survive, and together they form SS.

Step 5 — Sum and take the limit. boxes(F)ΔV  =  exterior facesFn^ΔS.\sum_{\text{boxes}} (\nabla\cdot\mathbf{F})\,\Delta V \;=\; \sum_{\text{exterior faces}} \mathbf{F}\cdot\hat{\mathbf{n}}\,\Delta S. Let the boxes shrink: left side V(F)dV\to \iiint_V (\nabla\cdot\mathbf{F})\,dV, right side SFn^dS\to \iint_S \mathbf{F}\cdot\hat{\mathbf{n}}\,dS. ∎

Figure — Divergence theorem (Gauss's theorem) — statement, flux-divergence connection

Worked examples


Common mistakes


Flashcards

State the divergence theorem in one equation.
SFn^dS=V(F)dV\iint_S \mathbf{F}\cdot\hat{\mathbf{n}}\,dS = \iiint_V (\nabla\cdot\mathbf{F})\,dV, with S=VS=\partial V outward-oriented.
What does F\nabla\cdot\mathbf{F} measure physically?
The net outflow ("source strength") per unit volume at a point.
Which orientation of normal does Gauss's theorem require?
The outward unit normal.
Why do interior faces cancel in the derivation?
Outward normal of one box = inward normal of the neighbor, so shared-face fluxes are equal and opposite.
Flux of F=(x,y,z)\mathbf{F}=(x,y,z) out of the unit sphere?
4π4\pi (since F=3\nabla\cdot\mathbf{F}=3 and volume =43π=\tfrac{4}{3}\pi).
A field with F=0\nabla\cdot\mathbf{F}=0 is called?
Solenoidal; its net flux through any closed surface (with no singularity inside) is 00.
When can the divergence theorem fail to apply directly?
When F\mathbf{F} has a singularity (discontinuous/undefined partials) inside VV.
Conditions required on F\mathbf{F}?
Continuous first partial derivatives throughout the solid region VV.

Recall Feynman: explain to a 12-year-old

Picture a sealed water park with hidden taps and drains inside. The divergence at each spot tells you how fast a tap there is pumping water out (or a drain sucking it in). The flux is how much water spills out over the whole fence around the park. Gauss says: count up all the taps minus all the drains inside, and that's exactly how much water flows out over the fence. Nothing magical — water made inside has to leave somewhere!


Connections

  • Flux integrals — the surface side SFn^dS\iint_S \mathbf{F}\cdot\hat{\mathbf{n}}\,dS.
  • Divergence and curl — divergence is the scalar this theorem integrates.
  • Stokes' theorem — the curl/circulation cousin (flow along boundary curve).
  • Green's theorem — the 2D special case (flux form).
  • Gauss's law (electromagnetism) — physics application: EdS=Qenc/ε0\oint \mathbf{E}\cdot d\mathbf{S}=Q_{enc}/\varepsilon_0.
  • Continuity equation — local conservation laws come from the differential (per-box) form.

Concept Map

partial derivatives give

dotted with n over S

orients

encloses

local outflow rate

face difference becomes

sum over all boxes

equals

integrated over V equals flux

flux = volume integral of div

Vector field F = P Q R

Divergence div F

Flux through S

Outward normal n hat

Closed boundary S = dV

Solid region V

Tiny box flux

Partial derivative approx

Divergence Theorem

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Socho ek band balloon ya box hai jisme paani banane wale "taps" (sources) aur paani peene wale "drains" (sinks) andar lage hue hain. Divergence (F\nabla\cdot\mathbf{F}) batata hai ki kisi point par kitni tezi se paani ban raha hai ya khatam ho raha hai — yeh ek local quantity hai, per unit volume. Flux (SFn^dS\iint_S \mathbf{F}\cdot\hat{n}\,dS) batata hai ki poori surface (skin) ke through kitna paani bahar nikal raha hai. Gauss ka theorem in dono ko jodta hai: andar jitna total paani bana, utna hi bahar nikla — simple conservation!

Formula: SFn^dS=V(F)dV\iint_S \mathbf{F}\cdot\hat{n}\,dS = \iiint_V (\nabla\cdot\mathbf{F})\,dV. Iska sabse bada faida yeh hai ki ek mushkil surface integral ko ek aasan volume integral mein badal deta hai (ya ulta). Jaise sphere par F=(x,y,z)\mathbf{F}=(x,y,z) ka flux nikalna — surface par karo to mehnat, par divergence =3=3 hai, to bas 3×3\times volume =4π=4\pi. Done!

Derivation ka core idea: pure region ko chhote-chhote boxes mein todo. Har box ke andar ki face apne neighbor ki face ke saath cancel ho jaati hai (ek ka outward, doosre ka inward normal). Sirf bahar wali faces bachti hain, jo milke surface SS banati hain. Isliye andar ka divergence-sum exactly bahar ke flux ke barabar hota hai.

Do dhyaan dene wali baatein: (1) Hamesha outward normal use karo, warna sign ulta aa jayega. (2) Agar field ke andar koi singularity ho (jaise r/r3\mathbf{r}/|\mathbf{r}|^3 ka origin), to seedha theorem mat lagao — pehle us point ko chhoti sphere se cut karo. Yeh theorem physics mein Gauss's law ka base hai, isliye bahut important hai.

Go deeper — visual, from zero

Test yourself — Multivariable Calculus

Connections